Related papers: General de Finetti type theorems in noncommutative…
Universality of quantum mechanics -- its applicability to physical systems of quite different nature and scales -- indicates that quantum behavior can be a manifestation of general mathematical properties of systems containing…
We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…
Duan, Giedke, Cirac and Zoller (quant-ph/9908056) and, independently, Simon (quant-ph/9909044) have recently found necessary and sufficient conditions for the separability (classical correlation) of the Gaussian two-party (continuous…
Symmetry is a cornerstone of much of mathematics, and many probability distributions possess symmetries characterized by their invariance to a collection of group actions. Thus, many mathematical and statistical methods rely on such…
We point out that the quantum de Finetti representation, unique for infinitely extendable exchangeable systems, assigns a non-zero Quantum Discord to uncorrelated systems and thus cannot serve as an universal prior distribution in the…
We provide new bounds for the divisibility function of the free group F_2 and construct short laws for the symmetric groups Sym(n). The construction is random and relies on the classification of the finite simple groups. We also give bounds…
The paper gives a general condition on permutations, condition under which a semicircular matrix is free independent, or asymptotically free independent from the semicircular matrix obtained by permuting its entries. In particular, it is…
We consider Hamiltonians of models describing non-relativistic quantum mechanical matter coupled to a relativistic field of bosons. If the free Hamiltonian has an eigenvalue, we show that this eigenvalue persists also for nonzero coupling.…
The goal of the present account is to review our efforts to obtain and apply a ``collective'' Hamiltonian for a few, approximately decoupled, adiabatic degrees of freedom, starting from a Hamiltonian system with more or many more degrees of…
The Witten index for certain supersymmetric lattice models treated by de Boer, van Eerten, Fendley, and Schoutens, can be formulated as a topological invariant of simplicial complexes arising as independence complexes of graphs. We prove a…
In [BB] Benjamin Baumslag proved that being fully residually free is equivalent to being residually free and commutative transitive (CT). Gaglione and Spellman [GS] and Remeslennikov [Re] showed that this is also equivalent to being…
Arbitrarily small changes in the commutation relations suffice to transform the usual singular quantum theories into regular quantum theories. This process is an extension of canonical quantization that we call general quantization. Here we…
We prove Banach, Newton-Raphson and Brouwer fixed point theorems in the framework of generalized smooth functions, a minimal extension of Colombeau's theory (and hence of classical distribution theory) which makes it possible to model…
We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…
The symmetric function theorem states that a polynomial that is invariant under permutation of variables, is a polynomial in the elementary symmetric polynomials. We deduce this classical result, in the analytic setting, from the…
We prove an explicit finite-sample version of the Borel--Cantelli lemma under $m$-dependence. Given any $m$-dependent sequence of events $(A_k)_{1\leq k\leq N}$, we show that \[ \mathbb{P}\Bigl(\bigcup_{k=1}^N A_k\Bigr) \ge 1 -…
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators…
Inhomogeneous quantum groups are shown to be an effective algebraic tool in the study of integrable systems and to provide solutions equivalent to the Bethe ansatz. The method is illustrated on the 1D Heisenberg ferromagnet whose symmetry…
Thoma's theorem states that a group algebra $C^*(\Gamma)$ is of type I if and only if $\Gamma$ is virtually abelian. We discuss here some similar questions for the quantum groups, our main result stating that, under suitable virtually…
We prove the semi-Riemannian bumpy metric theorem using equivariant variational genericity. The theorem states that, on a given compact manifold $M$, the set of semi-Riemannian metrics that admit only nondegenerate closed geodesics is…