Order structure and signalling in higher order quantum maps

• URL: http://arxiv.org/abs/2604.09192v1
• Date: Fri, 10 Apr 2026 10:23:46 GMT
• Title: Order structure and signalling in higher order quantum maps
• Abstract summary: We study the signalling structure of higher order quantum maps from an order-theoretic perspective.<n>We characterize the lattice generated by all type functions with fixed indices of input and output systems.<n>We show that all signalling relations can be read off directly from the structure poset via a rank parity condition.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We study the signalling structure of higher order quantum maps from an order-theoretic perspective, building on the combinatorial characterization of higher order types by Bisio and Perinotti. We have shown in a previous work arxiv:2411.09256 that types are represented by boolean functions called type functions, and that each such function is characterized by a related structure poset. We characterize the distributive lattice generated by all type functions with fixed indices of input and output systems - whose elements we call regular subtypes - by a monotonicity condition. Unlike the set of type functions, the lattice of regular subtypes is closed under the one-way signalling product, moreover, it is generated by a specific family of causally ordered types. We then study signalling relations for maps belonging to a regular subtype, showing that the no-signalling conditions between an input and an output system are determined by a single evaluation of the corresponding function. For higher order types specifically, we show that all signalling relations can be read off directly from the structure poset via a rank parity condition. Finally, we study relations between the structure poset of a type and its normal forms, that is, expressions of the type in terms of causally ordered types. We illustrate construction of normal forms on some examples, demonstrating the possibility that the normal form can be systematically derived from maximal chains of the poset and signalling relations between them.

Related papers

• A Compositional Theory of Causally Masked Transformers [50.88598486616582]
  We develop a formalization that derives expressivity directly from the model's implemented dynamics.<n>Each attention head updates its own state independently within a layer.<n>A modified form of soft attention supports irreversible, checklist-like state.
  arXiv  Detail & Related papers  (2026-07-29T14:47:19Z)
• On Counts and Densities of Homogeneous Bent Functions: An Evolutionary Approach [60.00535100780336]
  This paper examines the use of Evolutionary Algorithms (EAs) to evolve homogeneous bent Boolean functions.<n>We introduce the notion of density of homogeneous bent functions, facilitating the algorithmic design that results in finding quadratic and cubic bent functions in different numbers of variables.
  arXiv  Detail & Related papers  (2025-11-16T15:33:40Z)
• On the structure of higher order quantum maps [0.0]
  We study higher order quantum maps in the context of a *-autonomous category of affine subspaces. Type functions can be identified with certain Boolean functions that we call type functions. On the level of higher order maps, maxima and minima correspond to affine mixtures and intersections.
  arXiv  Detail & Related papers  (2024-11-14T07:45:20Z)
• An Efficient VCGen-based Modular Verification of Relational Properties [1.567576360103422]
  Deductive verification typically relies on function contracts that specify the behavior of each function for a single function call. Recent work proposed a new technique for relational property verification that relies on a verification condition generator.
  arXiv  Detail & Related papers  (2024-01-16T14:19:04Z)
• Invertible bimodule categories and generalized Schur orthogonality [0.0]
  We use a generalization to weak Hopf algebras to determine whether a given bimodule category is invertible. We show that our condition for invertibility is equivalent to the notion of MPO-injectivity.
  arXiv  Detail & Related papers  (2022-11-03T16:34:01Z)
• Unifying Causal Inference and Reinforcement Learning using Higher-Order Category Theory [4.119151469153588]
  We present a unified formalism for structure discovery of causal models and predictive state representation models in reinforcement learning. Specifically, we model structure discovery in both settings using simplicial objects.
  arXiv  Detail & Related papers  (2022-09-13T19:04:18Z)
• Amortized Inference for Causal Structure Learning [72.84105256353801]
  Learning causal structure poses a search problem that typically involves evaluating structures using a score or independence test. We train a variational inference model to predict the causal structure from observational/interventional data. Our models exhibit robust generalization capabilities under substantial distribution shift.
  arXiv  Detail & Related papers  (2022-05-25T17:37:08Z)
• A Mathematical Framework for Transformations of Physical Processes [0.7614628596146599]
  We observe that the existence of sequential and parallel composition supermaps in higher order physics can be formalised using enriched category theory. We use the enriched monoidal setting to construct a suitable definition of structure preserving map between higher order physical theories. In a second application we use our definition of structure preserving map to show that categories containing infinite towers of enriched monoidal categories with full and faithful structure preserving maps between them inevitably lead to closed monoidal structures.
  arXiv  Detail & Related papers  (2022-04-08T22:53:02Z)
• Compositional Generalization Requires Compositional Parsers [69.77216620997305]
  We compare sequence-to-sequence models and models guided by compositional principles on the recent COGS corpus. We show structural generalization is a key measure of compositional generalization and requires models that are aware of complex structure.
  arXiv  Detail & Related papers  (2022-02-24T07:36:35Z)
• 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)
• Relevant OTOC operators: footprints of the classical dynamics [68.8204255655161]
  The OTOC-RE theorem relates the OTOCs summed over a complete base of operators to the second Renyi entropy. We show that the sum over a small set of relevant operators, is enough in order to obtain a very good approximation for the entropy. In turn, this provides with an alternative natural indicator of complexity, i.e. the scaling of the number of relevant operators with time.
  arXiv  Detail & Related papers  (2020-07-31T19:23:26Z)
• Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
  We present the construction of quantum Hamiltonians for a three-body system consisting of identical bosons mutually coupled by a two-body interaction of zero range. For a large part of the presentation, infinite scattering length will be considered.
  arXiv  Detail & Related papers  (2020-06-03T17:54:43Z)

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.