Operator Michelson Contrast: Logarithmic Parametrisation, Subadditivity, and a Sharp Noncommutativity Threshold

• URL: http://arxiv.org/abs/2609.06997v2
• Date: Thu, 10 Sep 2026 00:29:34 GMT
• Title: Operator Michelson Contrast: Logarithmic Parametrisation, Subadditivity, and a Sharp Noncommutativity Threshold
• Abstract summary: We study the operator Michelson contrast Delta(A) = (kappa(A)-1)/(kappa(A)+1) for positive invertible operators, and introduce its logarithmic parametrization via arctanh(Delta(A)) = (1/2) ln(A)<n>This defines the Operator Logarithmic Contrast (OLC), extended to all invertible operators via polar decomposition.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We study the operator Michelson contrast Delta(A) = (kappa(A)-1)/(kappa(A)+1), with kappa(A)=||A|| ||A^{-1}||, for positive invertible operators, and introduce its logarithmic parametrization via arctanh(Delta(A)) = (1/2) ln kappa(A). This defines the Operator Logarithmic Contrast (OLC), extended to all invertible operators via polar decomposition. We prove OLC is subadditive under multiplication: OLC(AB) <= OLC(A)+OLC(B). For positive invertible A, we identify OLC(A) exactly as the projective Thompson distance from the identity ray to the ray of A. We establish a sharp dimensional threshold for equality in subadditivity: for dimensions 2 and 3, equality forces commutativity, while n=4 is the smallest dimension admitting noncommuting equality examples. Moreover, equality still forces commutativity in any total dimension if the operators factor as pure Kronecker products X = tensor X_i and Y = tensor Y_i with each factor dimension <= 3. We derive contraction inequalities, sum bounds, trace estimates for density operators, Lipschitz continuity (including singular limits), and limiting behavior for Cesaro means and infinite products. For density operators, we obtain an exact closed-form bijection between OLC and von Neumann entropy for qubits; prove this bijection does not exist for d >= 3; and establish upper/lower entropy envelopes at fixed condition number, showing the admissible range [S_min(kappa), S_max(kappa)] satisfies ln 2 <= S_max(kappa) < ln 3 for every kappa > 1. The qubit case recovers, as an operator lift, the classical Michelson-Jensen-Shannon equivalence of Bruni, Rossi, and Vitulano, while a counterexample shows this equivalence fails for d > 2 as a direct consequence of the non-bijectivity.

Related papers

• Operator-Theoretic Generalization Bounds for Multitask Deep Learning [0.0254890465057467]
  We develop operator-theoretic generalization bounds for deep multi-output function classes.<n>We derive Rademacher bounds complexity for invertible and width-expanding injective architectures.
  arXiv  Detail & Related papers  (2026-08-17T00:36:57Z)
• Sharp Plucker Geometry for Three-Copy Werner Distillation [3.625255312508848]
  A longstanding problem in quantum information theory is whether negative-partial-transpose entanglement can remain undistillable.<n>We analyze the first unresolved three-copy Werner endpoint using a sharp dimension-free inequality for complementary partial traces and an optimal exterior-square inequality for orthonormal tripartite vectors.<n>Explicit anti-state and rank-boundary families establish optimality of the constants and the rank restriction.
  arXiv  Detail & Related papers  (2026-07-31T18:01:38Z)
• A Difference Operator Approach to Quantum Random Walks: Parseval Identity, Krawtchouk Matrices, and Hermite Limits [0.0]
  We study the one-dimensional quantum random walk (QRW) with the Hadamard coin.<n>Explicit expressions are obtained for the probability amplitudes a(n,k) and b(n,k)<n>We prove by induction that the amplitudes satisfy a Parseval identity sum (a2+b2)=2n-1.
  arXiv  Detail & Related papers  (2026-07-24T04:23:13Z)
• The Collapse of Unentangled Stoquastic Merlin-Arthur Proof Systems [46.657699628769336]
  Entanglement and interference are among the most fundamental properties of quantum mechanics.<n>We prove that entanglement gives no additional power to stoquastic verification.
  arXiv  Detail & Related papers  (2026-05-15T17:52:33Z)
• Optimal Scalar Quantization for Matrix Multiplication: Closed-Form Density and Phase Transition [50.36362492608702]
  We study entrywise scalar quantization of two matrices prior to multiplication.<n>We obtain a closed-form optimal point density [ star(u) propto exp!left(-fracu26right)bigl( (1-2)+2u22bigr), qquad u=fracx_X,, and prove a correlation-driven phase transition.
  arXiv  Detail & Related papers  (2026-03-20T01:53:44Z)
• Non-representable quantum measures [55.2480439325792]
  Grade-$d$ measures on a $sigma$-algebra $mathcalAsubseteq 2X$ over a set $X$ are generalizations of measures satisfying one of a hierarchy of weak additivity-type conditions.<n>Every signed polymeasure $lambda$ on $(X,mathcalA)d$ produces a grade-$d$ measure as its diagonal $widetildelambda(A):=lambda(A,cdots,A)$.
  arXiv  Detail & Related papers  (2025-08-20T00:47:24Z)
• On the algebraic degree stability of vectorial Boolean functions when restricted to affine subspaces [23.743046820103057]
  We study the behaviour of the degree of vectorial Boolean functions when their inputs are restricted to an affine subspace of their domain.<n>This behaviour is particularly interesting for cryptographic applications.
  arXiv  Detail & Related papers  (2025-04-04T09:33:03Z)
• Pseudo-Hermiticity, Anti-Pseudo-Hermiticity, and Generalized Parity-Time-Reversal Symmetry at Exceptional Points [0.0]
  We prove the equivalence of pseudo-Hermiticity and generalized $PT$-symmetry for diagonalizable operators to block-diagonalizable operators.<n>For a pair of pseudo-Hermitian operators acting respectively in two-dimensional and infinite-dimensional Hilbert spaces, we obtain explicit expressions for the antlinear operators $tau$ and $X$.
  arXiv  Detail & Related papers  (2025-03-22T08:08:16Z)
• The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
  We show that this problem has randomized communication complexity $Omega(frac1kcdot n2log|mathbbF|)$. As an application, we obtain an $Omega(frac1kcdot n2log|mathbbF|)$ space lower bound for any streaming algorithm with $k$ passes.
  arXiv  Detail & Related papers  (2024-10-26T06:21:42Z)
• Quantization of Length in Spaces with Position-Dependent Noncommutativity [0.0]
  We present a novel approach to quantizing the length in noncommutative spaces with positional-dependent noncommutativity. The method involves constructing ladder operators that change the length not only along a plane but also along the third direction.
  arXiv  Detail & Related papers  (2023-09-22T07:09:20Z)
• More on symmetry resolved operator entanglement [0.0]
  We focus on spin chains with a global $U(1)$ conservation law, and on operators $O$ with a well-defined $U(1)$ charge. We employ the notion of symmetry resolved operator entanglement (SROE) introduced in [PRX Quantum 4, 010318 (2023) and extend the results of the latter paper in several directions. Our main results are: i) the SROE of $rho_beta$ obeys the operator area law; ii) for free fermions, local operators in Heisenberg picture can have a SROE that grows logarithmically in time or saturate
  arXiv  Detail & Related papers  (2023-09-07T21:58:18Z)
• An Order Relation between Eigenvalues and Symplectic Eigenvalues of a Class of Infinite-Dimensional Operators [0.0]
  We prove an inequality between the eigenvalues and symplectic eigenvalues of a special class of infinite dimensional operators. The only possible accumulation point for the symplectic eigenvalues is $alpha$.
  arXiv  Detail & Related papers  (2022-12-07T19:00:32Z)
• On parametric resonance in the laser action [91.3755431537592]
  We consider the selfconsistent semiclassical Maxwell--Schr"odinger system for the solid state laser. We introduce the corresponding Poincar'e map $P$ and consider the differential $DP(Y0)$ at suitable stationary state $Y0$.
  arXiv  Detail & Related papers  (2022-08-22T09:43:57Z)
• $O(N^2)$ Universal Antisymmetry in Fermionic Neural Networks [107.86545461433616]
  We propose permutation-equivariant architectures, on which a determinant Slater is applied to induce antisymmetry. FermiNet is proved to have universal approximation capability with a single determinant, namely, it suffices to represent any antisymmetric function. We substitute the Slater with a pairwise antisymmetry construction, which is easy to implement and can reduce the computational cost to $O(N2)$.
  arXiv  Detail & Related papers  (2022-05-26T07:44:54Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• Annihilating Entanglement Between Cones [77.34726150561087]
  We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied. Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
  arXiv  Detail & Related papers  (2021-10-22T15:02:39Z)
• Spectral properties of sample covariance matrices arising from random matrices with independent non identically distributed columns [50.053491972003656]
  It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$. Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
  arXiv  Detail & Related papers  (2021-09-06T14:21:43Z)
• Robust Differentiable SVD [117.35644933471401]
  Eigendecomposition of symmetric matrices is at the heart of many computer vision algorithms. Instability arises in the presence of eigenvalues that are close to each other. We show that the Taylor expansion of the SVD gradient is theoretically equivalent to the gradient obtained using PI without relying on an iterative process.
  arXiv  Detail & Related papers  (2021-04-08T15:04:15Z)
• Coupled Susy, pseudo-bosons and a deformed $\mathfrak{su}(1,1)$ Lie algebra [0.0]
  We show that a pair of operators $a$ and $b$ satisfying the equations $adagger a=bbdagger+gamma1$ and $aadagger=bdagger b+delta1$ are ladder operators. We show their connection with biorthogonal families of vectors and with the so-called $D$-pseudo bosons.
  arXiv  Detail & Related papers  (2021-02-23T15:03:33Z)
• Sparse sketches with small inversion bias [79.77110958547695]
  Inversion bias arises when averaging estimates of quantities that depend on the inverse covariance. We develop a framework for analyzing inversion bias, based on our proposed concept of an $(epsilon,delta)$-unbiased estimator for random matrices. We show that when the sketching matrix $S$ is dense and has i.i.d. sub-gaussian entries, the estimator $(epsilon,delta)$-unbiased for $(Atop A)-1$ with a sketch of size $m=O(d+sqrt d/
  arXiv  Detail & Related papers  (2020-11-21T01:33:15Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.