The Quantum Formalization Drive

A simple unifying view of the exceptional Lie algebras is presented. The underlying Jordan pair content and role are exhibited. Each algebra contains three Jordan pairs sharing the same Lie algebra of automorphisms and the same external su(3) symmetry. Eventual physical applications and implications of the theory are outlined.

We study the product formula $(fg)(A) = f(A)g(A)$ in the framework of (unbounded) functional calculus of sectorial operators $A$. We give an abstract result, and, as corollaries, we obtain new product formulas for the holomorphic functional calculus, an extended Stieltjes functional calculus and an extended Hille-Phillips functional calculus. Our results…

These lecture notes provide an elementary introduction, within the framework of finite quantum systems, to recent developments in the theory of entropic fluctuations.

We present a generalized version of classical geometric invariant theory `a la Mumford where we consider an affine algebraic group $G$ acting on a specific affine algebraic variety $X$. We define the notions of linearly reductive and of unipotent action in terms of the $G$ fixed point functor in the category of $(G,\Bbbk [X])$--modules. In the case that $X=\{\star\}$…

We give a fresh account of the astonishing interplay between abelian von Neumann algebras, L^\infty-spaces and measure algebras, including an exposition of Maharam's theorem from the von Neumann algebra perspective.

The quantum Schur transform is a fundamental building block that maps the computational basis to a coupled basis consisting of irreducible representations of the unitary and symmetric groups. Equivalently, it may be regarded as a change of basis from the computational basis to a simultaneous spin eigenbasis of Permutational Quantum Computing (PQC) [Quantum…

We give an efficient randomized algorithm for approximating an arbitrary element of $SU(2)$ by a product of Clifford+$T$ operators, up to any given error threshold $\epsilon>0$. Under a mild hypothesis on the distribution of primes, the algorithm's expected runtime is polynomial in $\log(1/\epsilon)$. If the operator to be approximated is a $z$-rotation, the…

The celebrated Evans-Searles, respectively Gallavotti-Cohen, fluctuation theorem concerns certain universal statistical features of the entropy production rate of a classical system in a transient, respectively steady, state. In this paper, we consider and compare several possible extensions of these fluctuation theorems to quantum systems. In addition to…

This paper attempts to develop a theory of sufficiency in the setting of non-commutative algebras parallel to the ideas in classical mathematical statistics. Sufficiency of a coarse-graining means that all information is extracted about the mutual relation of a given family of states. In the paper sufficient coarse-grainings are characterized in several…

We present a phase space formulation of quantum mechanics in the Schr"odinger representation and derive the associated Weyl pseudo-differential calculus. We prove that the resulting theory is unitarily equivalent to the standard "configuration space" formulation and show that it allows for a uniform treatment of both pure and mixed quantum states. In the…

We investigate whether the use of a noiseless, classical feedback channel will increase the capacity of a quantum discrete memoryless channel to transmit classical information. This problem has been previously analyzed by Bowen and Nagarajan for the case of protocols restricted to product input states. They showed that feedback did not increase the…

This paper is devoted to the study of various maximal ergodic theorems in noncommutative $L_p$-spaces. In particular, we prove the noncommutative analogue of the classical Dunford-Schwartz maximal ergodic inequality for positive contractions on $L_p$ and the analogue of Stein's maximal inequality for symmetric positive contractions. We also obtain the…

We study the Weyl representation of metaplectic operators associated to a symplectic matrix having no non-trivial fixed point, and justify a formula suggested in earlier work of Mehlig and Wilkinson. We give precise calculations of the associated Maslov-type indices; these indices intervene in a crucial way in Gutzwiller's formula of semiclassical…

We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra in characteristic zero. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of independent interest.

In this note we show that the representation of the additive group of the Hilbert space $L^2([0,1],\R)$ on $L^2([0,1],\C)$ given by the multiplication operators $\pi(f) := e^{if}$ is continuous but its space of smooth vectors is trivial. This example shows that a continuous unitary representation of an infinite dimensional Lie group need not be smooth.

Based on the ideas in [CKP], we introduce the weighted analogue of the branching rule for the classical hook length formula, and give two proofs of this result. The first proof is completely bijective, and in a special case gives a new short combinatorial proof of the hook length formula. Our second proof is probabilistic, generalizing the (usual) hook walk…

A single-party strategy in a multi-round quantum protocol can be implemented by sequential networks of quantum operations connected by internal memories. Here provide the most efficient realization in terms of computational-space resources.

In this paper, a new axiomatization for unbounded functional calculi is proposed and the associated theory is elaborated comprising, among others, uniqueness and compatibility results and extension theorems of algebraic and topological nature. In contrast to earlier approaches, no commutativity assumptions need to be made about the underlying algebras. In a…

Any multiplicity-free family of finite dimensional algebras has a canonical complete set of of pairwise orthogonal primitive idempotents in each level. We give various methods to compute these idempotents. In the case of symmetric group algebras over a field of characteristic zero, the set of canonical idempotents is precisely the set of seminormal…

We describe an efficient quantum algorithm for the quantum Schur transform. The Schur transform is an operation on a quantum computer that maps the standard computational basis to a basis composed of irreducible representations of the unitary and symmetric groups. We simplify and extend the algorithm of Bacon, Chuang, and Harrow, and provide a new practical…

Relations between states and maps, which are known for quantum systems in finite-dimensional Hilbert spaces, are formulated rigorously in geometrical terms with no use of coordinate (matrix) interpretation. In a tensor product realization they are represented simply by a permutation of factors. This leads to natural generalizations for infinite-dimensional…

New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such…

Inspired by a recent experiment by Steinhauer and co-workers, we present a simple model which describes the formation of an acoustic black hole in a Bose-Einstein condensate, allowing an analytical computation of the evolution in time of the corresponding density-density correlator. We show the emergence of analog Hawking radiation out of a "quantum…

We formalize a multivariate quantifier elimination (QE) algorithm in the theorem prover Isabelle/HOL. Our algorithm is complete, in that it is able to reduce any quantified formula in the first-order logic of real arithmetic to a logically equivalent quantifier-free formula. The algorithm we formalize is a hybrid mixture of Tarski's original QE algorithm…

text of abstract (We present a utilitarian review of the family of matrix groups $Sp(2n,\Re)$, in a form suited to various applications both in optics and quantum mechanics. We contrast these groups and their geometry with the much more familiar Euclidean and unitary geometries. Both the properties of finite group elements and of the Lie algebra are studied,…