Related papers: De Finetti theorems for a Boolean analogue of easy…
We establish a Tukia-type theorem for uniform quasiconformal groups of a Carnot group. More generally we establish a fiber bundle version (or foliated version) of Tukia theorem for uniform quasiconformal groups of a nilpotent Lie group…
We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory,…
An asymptotic formula for the number of states of Boson gas whose Hamiltonian is given by a positive elliptic pseudo-differential operator of order one on a compact manifold is given under a integrality assumption on the spectrum of the…
The de Finetti theorem and its extensions concern the structure of multipartite probability distributions with certain symmetry properties, the paradigmatic original example being permutation symmetry. These theorems assert that such…
In the present paper I formulate a framework that accommodates many unambiguous discrimination problems. I show that the prior information about any type of constituent (state, channel, or observable) allows us to reformulate the…
The IA-automorphism group is the group of automorphisms of the free group $F_n$ that act trivially on the abelianization $F_n^{\mathrm{ab}}$. This group is in many ways analoguous to Torelli groups of surfaces and their higher dimensional…
We address the problem of the persistence of entanglement of quantum light under mode transformations, where orthogonal modes define the parties between which quantum correlations can occur. Since the representation of a fixed photonic…
Motivated by the theory of Painlev\'e equations and associated hierarchies, we study non-autonomous Hamiltonian systems that are Frobenius integrable. We establish sufficient conditions under which a given finite-dimensional Lie algebra of…
We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.
We consider the Lie group of smooth diffeomorphisms Diff$(M)$ of a simple polytope $M$ in the euclidean space. Simple polytopes are special cases of manifolds with corners. The geometric setting allows to study in particular, the subgroup…
We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable. Intuitively, with Boolean dependence…
Written with respect to an appropriate Poisson structure, a partially integrable Hamiltonian system is viewed as a completely integrable system with parameters. Then, the theorem on quasi-periodic stability in Ref. [1] (the KAM theorem) can…
We investigate a general class of dissipative quantum circuit capable of computing arbitrary Conjunctive Normal Form (CNF) Boolean formulas. In particular, the clauses in a CNF formula define a local generator of Markovian quantum dynamics…
A discrete model of Lorentzian quantum gravity is proposed. The theory is completely background free, containing no reference to absolute space, time, or simultaneity. The states at one slice of time are networks in which each vertex is…
We consider a class of homogeneous manifolds over a simple Lie group which appears in the problem of classification of homogeneous manifolds with reductive subgroups of maximal rank as stabilizer of a point. We prove that any manifold of…
We define the gauge-equivariant index of a family of elliptic operators invariant with respect to the free action of a family $\GR \to B$ of Lie groups (these families are called ``gauge-invariant families'' in what follows). If the fibers…
Haar random states are fundamental objects in quantum information theory and quantum computing. We study the density matrix resulting from sampling $t$ copies of a $d$-dimensional quantum state according to the Haar measure on the…
Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in…
In quantum process tomography, it is possible to express the experimenter's prior information as a sequence of quantum operations, i.e., trace-preserving completely positive maps. In analogy to de Finetti's concept of exchangeability for…
The quantum de Finetti theorem asserts that the k-body density matrices of a N-body bosonic state approach a convex combination of Hartree states (pure tensor powers) when N is large and k fixed. In this note we review a construction due to…