Quantum Message Passing for Factor Graphs over Finite Abelian Groups

• URL: http://arxiv.org/abs/2604.12186v1
• Date: Tue, 14 Apr 2026 01:33:18 GMT
• Title: Quantum Message Passing for Factor Graphs over Finite Abelian Groups
• Abstract summary: We develop a quantum message-passing framework for factor graphs over finite abelian groups.<n>The framework applies directly to several standard code families over finite abelian groups, including polar codes, LDPC codes, and convolutional and turbo codes.
• Score: 5.8151438956682115
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We develop a quantum message-passing framework for factor graphs over finite abelian groups. Our starting point is the task of discriminating between a collection of quantum states indexed by the elements of a finite abelian group $\mathcal{G}$ whose overlaps respect the structure of a group-covariant pure-state channel (PSC). For such channels, we show that the Gram matrix constructed from the output states is diagonalized by the character basis of the dual group $\widehat{\mathcal{G}}$. Hence, the channel is characterized, up to isometric equivalence, by its character-indexed eigen list. Based on this representation, we analyze the induced classical-quantum channels associated with check, equality, homomorphism, marginalization, and automorphism factors. For each factor, we derive explicit update rules showing that if the incoming messages are heralded mixtures of group-covariant PSCs, then the outgoing message remains in the same class. This provides a closed quantum message-passing framework for tree-structured factor graphs assembled from these primitives. The framework applies directly to several standard code families over finite abelian groups, including polar codes, LDPC codes, and convolutional and turbo codes. It recovers the previously studied $q$-ary formulation as the special case $(\mathcal{G}=\mathbb{Z}_q)$, while extending the belief propagation with quantum messages (BPQM) framework introduced by Renes to non-cyclic alphabets and more general factor-graph constraints described by homomorphisms between products of abelian groups.

Related papers

• Quantum non-local games: Quantum relations, projection lattices and rule operators [51.56484100374058]
  (mathcal R)-projection-test quantum games with finite-dimensional input and output von Neumann algebras.<n>(mathcal R)-projection-test quantum games with finite-dimensional input and output von Neumann algebras.<n>(mathcal R)-projection-test quantum games with finite-dimensional input and output von Neumann algebras.<n>(mathcal R)-projection-test quantum games with finite-dimensional input and output von Neumann algebras.
  arXiv  Detail & Related papers  (2026-08-31T09:41:14Z)
• Renormalization flows for 1D mixed states and a quantum Goursat lemma [0.0]
  We study the boundary states of non-chiral two-dimensional topologically ordered models.<n>Data consist of renormalization fixed points built from representations of finite-dimensional $C*$-Hopf algebras.<n>We formulate and prove a quantum generalization of Goursat's lemma for finite-dimensional $C*$-Hopf algebras.
  arXiv  Detail & Related papers  (2026-07-09T14:56:47Z)
• Quantum state isomorphism problems for groups [41.49556721904551]
  We study the computational complexity of quantum state isomorphism problems under group actions.<n>For pure-state version, we show that the problem is BQP-hard for all nontrivial groups.<n>For the mixed-state version, for nontrivial, finite and efficiently representable groups, the problem is QSZK-complete.
  arXiv  Detail & Related papers  (2026-05-12T18:05:27Z)
• Commutation Groups and State-Independent Contextuality [0.0]
  We study state-independent contextuality arguments, a key form of quantum non-classicality exemplified by the Peres-Mermin magic square.<n>We introduce emphcommutation groups presented by generators and relations, and analyse them in terms of a string rewriting system.<n>There is also a linear algebraic construction, a directed version of the Heisenberg group.
  arXiv  Detail & Related papers  (2026-03-12T17:26:19Z)
• Equivariance by Contrast: Identifiable Equivariant Embeddings from Unlabeled Finite Group Actions [18.11344454990819]
  We learn equivariant embeddings from observation pairs $(mathbfy, g cdot mathbfy)$, where $g$ is drawn from a finite group acting on the data.<n>Our method jointly learns a latent space and a group representation in which group actions correspond to invertible linear maps.
  arXiv  Detail & Related papers  (2025-10-24T17:59:46Z)
• The Structure and Interpretation of Quantum Programs I: Foundations [0.0]
  Qubits are a great way to build a quantum computer, but a limited way to program one.<n>We replace the usual "states and gates" formalism with a "props and ops" (propositions and operators) model.<n>We show how measurement modifies state, proving an operator-algebraic version of the Knill-Laflamme conditions.
  arXiv  Detail & Related papers  (2025-09-03T18:00:23Z)
• Characterizing the Kirkwood-Dirac positivity on second countable LCA groups [0.0]
  We define the Kirkwood-Dirac representation of quantum mechanics associated with the Fourier transform over second countable locally compact abelian groups.<n>We show that the classical fragment of quantum mechanics associated with the Kirkwood-Dirac distribution is non-trivial if and only if the group has a compact connected component.
  arXiv  Detail & Related papers  (2025-07-31T15:08:39Z)
• Unified Structural Embedding of Orbifold Sigma Models [0.0]
  This study introduces a new unified structural framework for orbifold sigma models.<n>The formalism is shown to recover conventional sigma model results in the smooth limit where $G$ approaches the trivial group.<n>Examples demonstrate the applicability, including explicit calculations for the $mathbbC/mathbbZ$ orbifold.
  arXiv  Detail & Related papers  (2025-05-09T20:20:08Z)
• Learning with Errors over Group Rings Constructed by Semi-direct Product [26.148950348885972]
  Group ring LWE (GR-LWE) is an extension of the Learning with Errors (LWE) problem. As an extension of Ring-LWE, GR-LWE maintains computational hardness and can be potentially applied in many scenarios. GR-LWE samples can be leveraged to construct semantically secure public-keysystems.
  arXiv  Detail & Related papers  (2023-11-27T14:38:36Z)
• Quantum scrambling of observable algebras [0.0]
  quantum scrambling is defined by how the associated physical degrees of freedom get mixed up with others by the dynamics. This is accomplished by introducing a measure, the geometric algebra anti-correlator (GAAC) of the self-orthogonalization of the commutant of $cal A$ induced by the dynamics. For generic energy spectrum we find explicit expressions for the infinite-time average of the GAAC which encode the relation between $cal A$ and the full system of Hamiltonian eigenstates.
  arXiv  Detail & Related papers  (2021-07-02T14:30:58Z)
• Finite-Function-Encoding Quantum States [52.77024349608834]
  We introduce finite-function-encoding (FFE) states which encode arbitrary $d$-valued logic functions. We investigate some of their structural properties.
  arXiv  Detail & Related papers  (2020-12-01T13:53:23Z)
• A Unified Approach to Synchronization Problems over Subgroups of the Orthogonal Group [29.714239628405515]
  We consider the class of synchronization problems which the group is a closed subgroup. We propose a unified approach for solving this class of problems. We show that our approach outperforms existing approaches.
  arXiv  Detail & Related papers  (2020-09-16T07:25:50Z)

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.