English
Related papers

Related papers: On the structure of higher order quantum maps

200 papers

We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures…

Programming Languages · Computer Science 2017-01-11 James Laird

An operational description of quantum phenomena concerns developing models that describe experimentally observed behaviour. $\textit{Higher-order quantum operations}\unicode{x2014}$quantum operations that transform quantum…

Quantum Physics · Physics 2025-03-14 Philip Taranto , Simon Milz , Mio Murao , Marco Túlio Quintino , Kavan Modi

Affine Cartesian codes are defined by evaluating multivariate polynomials at a cartesian product of finite subsets of a finite field. In this work we examine properties of these codes as batch codes. We consider the recovery sets to be…

Information Theory · Computer Science 2020-05-18 Travis Baumbaugh , Haley Colgate , Timothy Jackman , Felice Manganiello

We provide a new characterisation of quantum supermaps in terms of an axiom that refers only to sequential and parallel composition. Consequently, we generalize quantum supermaps to arbitrary monoidal categories and operational…

Quantum Physics · Physics 2026-03-11 Matt Wilson , Giulio Chiribella , Aleks Kissinger

In this work we introduce the concept of a sub-space decomposition, subject to a partition of the coordinates. Considering metrics determined by partial orders in the set of coordinates, the so called poset metrics, we show the existence of…

Information Theory · Computer Science 2017-07-03 Jerry Anderson Pinheiro , Marcelo Firer

Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query processing, at the expense of completeness. In this…

Logic in Computer Science · Computer Science 2016-08-14 Kevin Henshall , Peter Schachte , Harald Søndergaard , Leigh Whiting

Quantum processors enable computational speedups for machine learning through parallel manipulation of high-dimensional vectors. Early demonstrations of quantum machine learning have focused on processing information with qubits. In such…

Quantum Physics · Physics 2021-04-12 Chi-Huan Nguyen , Ko-Wei Tseng , Gleb Maslennikov , H. C. J. Gan , Dzmitry Matsukevich

The perception of high-definition maps is an integral component of environmental perception in autonomous driving systems. Existing research have often focused on online construction of high-definition maps. For instance, the Maptr[9]…

Computer Vision and Pattern Recognition · Computer Science 2025-11-11 Shiyu Gao , Hao Jiang

We construct actions of the affine Yangian of type A on higher level Fock spaces by extending known actions of the Yangian of finite type A due to Uglov. This is a degenerate analog of a result by Takemura-Uglov, which constructed actions…

Representation Theory · Mathematics 2016-07-13 Ryosuke Kodera

A connected component labeling algorithm is developed for implicitly-defined domains specified by multivariate polynomials. The algorithm operates by recursively subdividing the constraint domain into hyperrectangular subcells until the…

Numerical Analysis · Mathematics 2022-11-29 Robert I. Saye

A combinatorial code $\mathcal{C}$ is a collection of subsets of $[n]$, or equivalently a set of points in $\{0,1\}^n$. A morphism of codes is a map from one combinatorial code to another such that the coordinates of points in the image can…

Combinatorics · Mathematics 2026-03-12 Juliann Geraci , Alexander B. Kunin , Alexandra Seceleanu

In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all…

Logic · Mathematics 2013-04-10 Saugata Basu , Andrei Gabrielov , Nicolai Vorobjov

We introduce a quantum data embedding protocol based on the preparation of a ground state of a parameterized Hamiltonian. We analyze the corresponding quantum feature map, recasting it as an adiabatic state preparation procedure with…

Quantum Physics · Physics 2024-12-09 Chukwudubem Umeano , Oleksandr Kyriienko

In many instances one has to deal with parametric models. Such models in vector spaces are connected to a linear map. The reproducing kernel Hilbert space and affine- / linear- representations in terms of tensor products are directly…

Numerical Analysis · Mathematics 2018-11-26 Hermann G. Matthies , Roger Ohayon

Each degree $n+k$ polynomial of the form $(x+1)^k(x^n+c_1x^{n-1}+\cdots +c_n)$, $k\in \mathbb{N}$, is representable as Schur-Szeg\H{o} composition of $n$ polynomials of the form $(x+1)^{n+k-1}(x+a_j)$. We study properties of the affine…

Classical Analysis and ODEs · Mathematics 2015-04-09 Vladimir Petrov Kostov

Let $R=\mathbb{F}_p$ or a field of characteristic $0$. For each $R$-good topological space $Y$, we define a collection of higher cohomology operations which, together with the cohomology algebra $H^*(Y;R)$ suffice to determine $Y$ up to…

Algebraic Topology · Mathematics 2017-12-12 David Blanc , Debasis Sen

We classify affine operators on a unitary or Euclidean space U up to topological conjugacy. An affine operator is a map f: U-->U of the form f(x)=Ax+b, in which A: U-->U is a linear operator and b in U. Two affine operators f and g are said…

General Topology · Mathematics 2010-10-19 Tetiana Budnitska

Parametric models in vector spaces are shown to possess an associated linear map. This linear operator leads directly to reproducing kernel Hilbert spaces and affine- / linear- representations in terms of tensor products. From the…

Numerical Analysis · Mathematics 2018-06-19 Hermann G. Matthies , Roger Ohayon

In this paper, we show that a suitably chosen covariance function of a continuous time, second order stationary stochastic process can be viewed as a symmetric higher order kernel. This leads to the construction of a higher order kernel by…

Statistics Theory · Mathematics 2020-01-22 Soumya Das , Subhajit Dutta , Radhenduhska Srivastava

Our approach to higher order Fourier analysis is to study the ultra product of finite (or compact) Abelian groups on which a new algebraic theory appears. This theory has consequences on finite (or compact) groups usually in the form of…

Combinatorics · Mathematics 2009-11-09 Balazs Szegedy