Essential Unitarity for Higher-Order Quantum Computation

• URL: http://arxiv.org/abs/2606.04080v1
• Date: Tue, 02 Jun 2026 17:55:36 GMT
• Title: Essential Unitarity for Higher-Order Quantum Computation
• Abstract summary: Morphisms are polarized boundary linkings composed by execution, with a unit-free monoidal sum providing reversible control and branching.<n> Essential unitarity is the unique predicate compatible with dagger-monoidal structure, coherence reindexing, and currying.<n>The framework realizes the coherent quantum switch and other one-slot, equal-ratio, purity-preserving supermaps as coherent pure-comb dilations.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We develop a semantic framework for higher-order quantum computation based on a boundary-centric presentation of compact closed categories, building on Kelly--Laplaza and Abramsky.Morphisms are polarized boundary linkings composed by execution, with a unit-free monoidal sum providing reversible control and branching. We identify a notion of \emph{essential unitarity} generalizing unitarity from first-order processes to higher-order interfaces;at first order it coincides with standard unitarity, and at higher order it characterizes when information is preserved relative tothe boundary. Essential unitarity is the unique predicate compatible with dagger-monoidal structure, coherence reindexing, and currying, and reducing to ordinary unitarity at first order. Every morphism of the quantum core is essentially unitary. The framework realizes the coherent quantum switch and other one-slot, equal-ratio, purity-preserving supermaps as coherent pure-comb dilations. Extended Abstract appears in QPL 2026

Related papers

• The Quantum Composition Paradox [0.0]
  Quantum theory does not generally permit the probability laws obtained from individual unitary steps to be sewn into a consistent genealogy.<n>We show that faithful composition can hold from an initial boundary yet fail after an internal restart.<n>This connection provides a foundation for a quantum theory of music, in which unitary operations are notes and temporal boundaries are cues.
  arXiv  Detail & Related papers  (2026-09-10T11:34:01Z)
• Many-Body Protection of Topological Edge Memory in Strong Interacting Quenches [0.0]
  We study whether the memory of a topological initial state survives in a non-integrable, interacting system.<n>We analyze quenches across all combinations of single-particle and many-body initial and final Hamiltonians.
  arXiv  Detail & Related papers  (2026-06-17T18:00:02Z)
• Unitary discretization of the Koopman-von Neumann equation for quantum simulation of fluid and plasma dynamics [45.88028371034407]
  KvN framework embeds the Liouville equation into a Hilbert space with norm-preserving, unitary evolution.<n>Weyl-ordered KvN generator is derived as the unique anti-Hermitian operator symmetrization for real velocity fields.
  arXiv  Detail & Related papers  (2026-05-18T23:27:02Z)
• Quantum Fuzzy Sets Revisited: Density Matrices, Decoherence, and the Q-Matrix Framework [0.0]
  In 2006 we proposed Quantum Fuzzy Sets, observing that states of a quantum register could serve as characteristic functions of fuzzy subsets.<n>In the two decades since, the idea has been taken up by researchers working on quantum annealers, intuitionistic fuzzy connectives, and quantum machine learning.
  arXiv  Detail & Related papers  (2026-03-22T19:51:08Z)
• Universal Limits on Quantum Correlations [0.0]
  The limits of quantum correlations set the foundation of quantum mechanics and quantum information science.<n>Here we introduce a general framework from which all known correlation limits, as well as new ones, can be derived.<n>We show that every correlation bound, old or new, exhibits local catastrophe-theoretic structure.
  arXiv  Detail & Related papers  (2025-10-28T20:33:38Z)
• Quartic quantum speedups for community detection [84.14713515477784]
  We develop a quantum algorithm for hypergraph community detection that achieves a quartic quantum speedup.<n>Our algorithm is based on the Kikuchi method, which we extend beyond previously considered problems such as PCA and $p$XORSAT.
  arXiv  Detail & Related papers  (2025-10-09T17:35:17Z)
• Towards the simulation of higher-order quantum resources: a general type-theoretic approach [0.0]
  We develop a theoretical framework that addresses all orders in a uniform manner.<n>We introduce a family of convex cones that generalize the notion of complete positivity to all orders.
  arXiv  Detail & Related papers  (2025-10-04T02:07:54Z)
• QAMA: Scalable Quantum Annealing Multi-Head Attention Operator for Deep Learning [48.12231190677108]
  Quantum Annealing Multi-Head Attention (QAMA) is proposed, a novel drop-in operator that reformulates attention as an energy-based Hamiltonian optimization problem.<n>In this framework, token interactions are encoded into binary quadratic terms, and quantum annealing is employed to search for low-energy configurations.<n> Empirically, evaluation on both natural language and vision benchmarks shows that, across tasks, accuracy deviates by at most 2.7 points from standard multi-head attention.
  arXiv  Detail & Related papers  (2025-04-15T11:29:09Z)
• First-order coherent quantum Zeno dynamics and its appearance in tight-binding chains [0.0]
  We show that coherent QZD can be categorized by orders for the first time, where only the zeroth-order type has been investigated. We construct some chain-like systems described by the tight-binding model which establishes FC-QZD in the form of a surprisingly nonlocal end-to-end population transition.
  arXiv  Detail & Related papers  (2023-11-30T20:43:58Z)
• Branching States as The Emergent Structure of a Quantum Universe [0.0]
  We show that the so-called branching structure of the joint state of the system and environment is the only one compatible with zero discord. We reinforce the existing evidence that this class of branching states is the only one compatible with the emergence of classical phenomenology.
  arXiv  Detail & Related papers  (2022-08-10T18:00:03Z)
• A Quantum Optimal Control Problem with State Constrained Preserving Coherence [68.8204255655161]
  We consider a three-level $Lambda$-type atom subjected to Markovian decoherence characterized by non-unital decoherence channels. We formulate the quantum optimal control problem with state constraints where the decoherence level remains within a pre-defined bound.
  arXiv  Detail & Related papers  (2022-03-24T21:31:34Z)
• No-signalling constrains quantum computation with indefinite causal structure [45.279573215172285]
  We develop a formalism for quantum computation with indefinite causal structures. We characterize the computational structure of higher order quantum maps. We prove that these rules, which have a computational and information-theoretic nature, are determined by the more physical notion of the signalling relations between the quantum systems.
  arXiv  Detail & Related papers  (2022-02-21T13:43:50Z)
• Quantum Geometric Confinement and Dynamical Transmission in Grushin Cylinder [68.8204255655161]
  We classify the self-adjoint realisations of the Laplace-Beltrami operator minimally defined on an infinite cylinder. We retrieve those distinguished extensions previously identified in the recent literature, namely the most confining and the most transmitting.
  arXiv  Detail & Related papers  (2020-03-16T11:37:23Z)

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.