The Quantum Formalization Drive

Many spaces used in differential geometry are described by the maps permitted into them from simple domains. For a diffeological space, the domains are open subsets of Euclidean space; for a Chen space, they are convex subsets. A map between spaces is smooth when it sends permitted plots to permitted plots. Baez and Hoffnung use the language of concrete…

The extension problem for groups asks for a description of all groups $E$ that contain a given group $H$ as a normal subgroup with quotient isomorphic to a given group $G$. Schreier (1926) answered it by showing that every such extension can be rebuilt from $H$, $G$ and two maps: a map $\alpha : G \to \mathrm{Aut}(H)$ and a map $f : G \times G \to H$, subject to two…

Permutation of tensor factors is a basic operation in quantum information and in the algebra of braids. A braid representation assigns an operator to each crossing so that different drawings of the same braid act identically. A Yang–Baxter equation adds spectral parameters to this local consistency condition; such families appear in integrable lattice…

In this paper, we show the equivalence of the set of unitaries computable by the circuits over the Clifford and T library and the set of unitaries over the ring $\mathbb{Z}[\frac{1}{\sqrt{2}},i]$, in the single-qubit case. We report an efficient synthesis algorithm, with an exact optimality guarantee on the number of Hadamard and T gates used. We conjecture…

A moving dielectric appears to light as an effective gravitational field. At low flow velocities the dielectric acts on light in the same way as a magnetic field acts on a charged matter wave. We develop in detail the geometrical optics of moving dispersionless media. We derive a Hamiltonian and a Lagrangian to describe ray propagation. We elucidate how the…

We establish what we consider to be the definitive versions of Jensen's operator inequality and Jensen's trace inequality for functions defined on an interval. This is accomplished by the introduction of genuine non-commutative convex combinations of operators, as opposed to the contractions used in earlier versions of the theory. As a consequence, we no…

A Bell test certifies that correlations between two separated parties cannot be produced by any classical mechanism, that is, by a local hidden variable (LHV) model (Bell 1964). The same tests are the basis of device-independent protocols, where an adversary is only constrained by the no-signaling condition: neither party can learn the other's input from…

In the present paper we introduce and study Bosonic Gaussian classical-quantum (c-q) channels; the embedding of the classical input into quantum is always possible and therefore the classical entanglement-assisted capacity C_{ea} under appropriate input constraint is well defined. We prove a general property of entropy increase for weak complementary…

Building on the ideas in L E Labuschagne, Composition Operators on Non-commutative $L^p$-spaces, \textit{Expo. Math} \textbf{17}(1999), 429--468, we indicate how the concept of a composition operator may be extended to the context of Haagerup $L^p$-spaces.

We explore complementarity between output and environment of a quantum channel (or, more generally, CP map), making an observation that the output purity characteristics for complementary CP maps coincide. Hence, validity of the mutiplicativity/additivity conjecture for a class of CP maps implies its validity for complementary maps. The class of CP maps…

We study the Braunstein-Kimble setup for teleportation of quantum state of a single mode of optical field. We assume that the sender and receiver share a two-mode Gaussian state and we identify optimum local Gaussian operations that maximize the teleportation fidelity. We consider fidelity of teleportation of pure Gaussian states and we also introduce…

Quantum error correction (QEC) is an essential element of physical quantum information processing systems. Most QEC efforts focus on extending classical error correction schemes to the quantum regime. The input to a noisy system is embedded in a coded subspace, and error recovery is performed via an operation designed to perfectly correct for a set of…

Many quantum information tasks use inputs of the form $\rho^{\otimes m}$, which naturally induce permutation and unitary symmetries. We classify all quantum channels that respect both symmetries - i.e. unitary-equivariant and permutation-invariant quantum channels from $(\mathbb{C}^{d})^{\otimes m}$ to $(\mathbb{C}^{d})^{\otimes n}$ - via their extremal points.…

Quantum communications promises reliable transmission of quantum information, efficient distribution of entanglement and generation of completely secure keys. For all these tasks, we need to determine the optimal point-to-point rates that are achievable by two remote parties at the ends of a quantum channel, without restrictions on their local operations…

We ask when qubit controls can produce an effective generator that drives every initial state to the same pure state. Lie-algebra closure alone cannot answer this question because it loses the distinction between reversible control and irreversible dissipation. Lie wedges retain this distinction by enforcing nonnegative strengths for dissipative generators.…

Coherences between different energy levels are strongly constrained by thermodynamics. Here we ask a related question: if several coherence transfers can be optimized separately, can they also be optimized simultaneously by the same thermodynamic process? We show that this is in general a compatibility problem. Using an energy-resolved Stinespring…

The use of quantum resources in the work extraction from a quantum system is an emerging research topic. Recently, [arXiv:2602.22893] established the necessity of measurement coherence for obtaining advantage in work extraction from an unknown isolated quantum system. However, a quantitative relation between the magnitude of this advantage and established…

We investigate the relaxation dynamics and steady state of a qubit interacting with a coherent environment through an energy-conserving flip-flop interaction within the Markovian repeated-interaction framework. We derive an exact analytical solution for the evolving and stationary state, nonperturbative in the environmental coherence. We show that…

Randomized measurement protocols give experimental access to low-degree polynomial invariants of a quantum state rather than to the state itself, which raises the question of what the best entanglement criterion is that can be built from finitely many such invariants. In this work we answer this question through convex duality. For each degree we introduce…

Quantum entanglement is a fundamental resource in quantum information theory, yet its general characterization and quantification remain challenging, especially in multipartite systems. In this work we investigate entanglement from a geometric perspective, focusing on the Riemannian structure induced by the Fubini--Study metric on the projective Hilbert…

This is a continuation of the expository article \cite{krp} with some new remarks. Let $S_n$ denote the set of all Gaussian states in the complex Hilbert space $L^2 (\mathbb{R}^n),$ $K_n$ the convex set of all momentum and position covariance matrices of order $2n$ in Gaussian states and let $\mathcal{G}_n$ be the group of all unitary operators in $L^2 (\mathbb{R}^n)$ c…

Simple optical instruments are linear optical networks where the incident light modes are turned into equal numbers of outgoing modes by linear transformations. For example, such instruments are beam splitters, multiports, interferometers, fibre couplers, polarizers, gravitational lenses, parametric amplifiers, phase-conjugating mirrors and also black…

We give a mathematical formulation for the Choi-Jamiolkowski (CJ) correspondence in the infinite-dimensional case in the form close to one used in quantum information theory. We show that there is no need to use a limiting procedure to define "unnormalized maximally entangled state" and the corresponding analog of the Choi matrix since they can be defined…

Fast and fault-tolerant logical measurements: Auxiliary hypergraphs and transversal surgery.

A simple formula for the average gate fidelity of a quantum dynamical operation establishes the selected mathematical guarantees below. The mission turns those original paper results into precise Lean proof targets.