On the connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity

• URL: http://arxiv.org/abs/2509.02529v1
• Date: Tue, 02 Sep 2025 17:29:25 GMT
• Title: On the connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity
• Authors: Sohail, Sahil,
• Abstract summary: We establish a connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity.<n>It is demonstrated that Bochner's theorem reduces to Choi theorem on completely positive maps when the inverse semigroup of matrix units is considered.
• Score: 0.007186737422124123
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In this work, we establish a connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity. We begin by defining a convolution product between maps from the contracted semigroup algebra $\mathbb{C}_0[S]$ of a semigroup $S$ to an arbitrary associative algebra $\mathcal{A}$. The convolution product makes the space $L(\mathbb{C}_0[S],\mathcal{A})$ of linear maps from $\mathbb{C}_0[S]$ to $\mathcal{A}$ an associative algebra. We prove that the convolution algebra $L(\mathbb{C}_0[S],\mathcal{A})$ and the tensor product algebra $\mathbb{C}_0[S] \otimes \mathcal{A}$ are isomorphic. As a consequence, in the specific case of the inverse semigroup of matrix units, we identify the product in the space of maps on the matrix algebras which is preserved by the Choi-Jamio{\l}kowski isomorphism as convolution. Then, by defining the Fourier transform of a map from $\mathbb{C}_0[S]$ to $M_n(\mathbb{C})$, we derive the Fourier inversion formula when $S$ is a finite inverse semigroup. As a corollary of this formula, we show that in the case of the inverse semigroup of matrix units, the Fourier transformation of a map with respect to the identity representation becomes the Choi matrix of the map and the Fourier inversion formula becomes the Choi inversion formula. Then, by defining the notion of matrix valued positive definite maps, we prove Bochner's theorem in the context of finite inverse semigroup. It is demonstrated that Bochner's theorem reduces to Choi theorem on completely positive maps when the inverse semigroup of matrix units is considered. Additionally, the necessary and sufficient condition on a representation $\rho:M_m \to M_{d_{\rho}}(\mathbb{C})$ such that the Complete positivity vs. positivity correspondence holds between a linear map $\Phi: M_m(\mathbb{C}) \to M_n(\mathbb{C})$ and its Fourier Transform $\widehat{\Phi}(\rho)$ is obtained.

Related papers

• Schwarz maps with symmetry [0.0]
  Theory of symmetry of quantum mechanical systems is applied to study the structure and properties of several classes of relevant maps in quantum information theory.<n>We develop the general structure that equivariant maps $:mathcal A to mathcal B$ between $Cast$-algebras satisfy.<n>We then undertake a systematic study of unital, Hermiticity-preserving maps that are equivariant under natural unitary group actions.
  arXiv  Detail & Related papers  (2026-01-05T17:11:03Z)
• Discrete symmetries in classical and quantum oscillators [51.56484100374058]
  We show the eigenfunctions $_n=zn$ of the quantum Hamiltonian in the complex Bargmann-Fock-Segal representation.<n>The superposition $=sum_n c_n_n$ arises only with incomplete knowledge of the initial data for solving the Schrdinger equation.
  arXiv  Detail & Related papers  (2026-01-05T10:04:39Z)
• Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals [41.99844472131922]
  It includes the Smorodinsky-Winternitz potentials I-II (the Holt potential), the Fokas-Lagerstrom model, the 3-body Calogero and Wolfes (equivalently, $G$ rational, or $I_6$) models.<n>It is shown that all of them are exactly-solvable, thus, confirming the Montreal conjecture.<n>Each model is characterized by infinitely-many finite-dimensional invariant subspaces, which form the infinite flag.
  arXiv  Detail & Related papers  (2025-12-30T07:39:35Z)
• Group Representational Position Encoding [66.33026480082025]
  We present GRAPE, a unified framework for positional encoding based on group actions.<n>Two families of mechanisms: (i) multiplicative rotations (Multiplicative GRAPE) in $mathrmSO(d)$ and (ii) additive logit biases (Additive GRAPE) arising from unipotent actions in the general linear group $mathrmGL$.
  arXiv  Detail & Related papers  (2025-12-08T18:39:13Z)
• Group theoretic quantization of punctured plane [0.0]
  We establish an algebra homomorphism between the Lie algebra corresponding to the canonical group, $mathscrG = R2 rtimes (SO(2)times R+)$.<n>We deduce a quantization map that maps a subspace of classical observables, $fin Cinfty(M)$, to self-adjoint operators on the Hilbert space, $mathscrH$.
  arXiv  Detail & Related papers  (2025-10-28T21:54:37Z)
• Iterative construction of $\mathfrak{S}_p \ imes \mathfrak{S}_p$ group-adapted irreducible matrix units for the walled Brauer algebra [0.5735035463793009]
  We present an algorithmic treatment of the representation theory of the algebra of partially transposed permutation operators.<n>We provide an explicit and fully developed framework for constructing irreducible matrix units within the algebra.
  arXiv  Detail & Related papers  (2025-09-22T12:34:50Z)
• A Classifying Space for Phases of Matrix Product States [0.0]
  A topological space $mathcalB$ is defined as the quotient of a contractible space $mathcalE$ of MPS tensors.<n>We prove that the projection map $p:mathcalE rightarrow mathcalB$ is a quasifibration.
  arXiv  Detail & Related papers  (2025-01-24T04:58:32Z)
• Irreducible matrix representations for the walled Brauer algebra [0.9374652839580183]
  This paper investigates the representation theory of the algebra of partially transposed permutation operators, $mathcalAd_p,p$.<n>It provides a matrix representation for the abstract walled Brauer algebra.<n>This algebra has recently gained significant attention due to its relevance in quantum information theory.
  arXiv  Detail & Related papers  (2025-01-22T18:22:20Z)
• Scaling of symmetry-restricted quantum circuits [42.803917477133346]
  In this work, we investigate the properties of $mathcalMSU(2N)$, $mathcalM$-invariant subspaces of the special unitary Lie group $SU(2N)$.
  arXiv  Detail & Related papers  (2024-06-14T12:12:15Z)
• Antiparticles in non-relativistic quantum mechanics [55.2480439325792]
  Non-relativistic quantum mechanics was originally formulated to describe particles.<n>We show how the concept of antiparticles can and should be introduced in the non-relativistic case without appealing to quantum field theory.
  arXiv  Detail & Related papers  (2024-04-02T09:16:18Z)
• Structured Semidefinite Programming for Recovering Structured Preconditioners [41.28701750733703]
  We give an algorithm which, given positive definite $mathbfK in mathbbRd times d$ with $mathrmnnz(mathbfK)$ nonzero entries, computes an $epsilon$-optimal diagonal preconditioner in time. We attain our results via new algorithms for a class of semidefinite programs we call matrix-dictionary approximation SDPs.
  arXiv  Detail & Related papers  (2023-10-27T16:54:29Z)
• DHR bimodules of quasi-local algebras and symmetric quantum cellular automata [0.0]
  We show that for the double spin flip action $mathbbZ/2mathbbZtimes mathbbZ/2mathbbZZcurvearrowright mathbbC2otimes mathbbC2$, the group of symmetric QCA modulo symmetric finite depth circuits in 1D contains a copy of $S_3$, hence is non-abelian.
  arXiv  Detail & Related papers  (2023-03-31T18:33:07Z)
• 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)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)
• Positively Factorizable Maps [6.09170287691728]
  We study linear maps on $M_n(mathbbC)$ that factor through a tracial von Neumann algebra. The Choi matrix of a map of this kind which factors through an abelian von-Neumann algebra turns out to be a completely positive (CP) matrix.
  arXiv  Detail & Related papers  (2020-12-04T06:27:59Z)

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.