Showing 1–39 of 39 results for author: Weis, S

A note on faces of convex sets

Authors: Stephan Weis

Abstract: At the core of convex analysis, we find the concept of a face of a convex set, which was systematically studied by R. T. Rockafellar. With the exception of the one-point faces known as extreme points, faces received little attention in the theory of infinite-dimensional convexity, perhaps due to their lack of relative interior points. Circumventing this peculiarity, M. E. Shirokov and the present… ▽ More At the core of convex analysis, we find the concept of a face of a convex set, which was systematically studied by R. T. Rockafellar. With the exception of the one-point faces known as extreme points, faces received little attention in the theory of infinite-dimensional convexity, perhaps due to their lack of relative interior points. Circumventing this peculiarity, M. E. Shirokov and the present author explored faces generated by points. These faces possess relative interior points and they can serve as building blocks for general faces. Here we deepen this approach, taking into account ideas by E. M. Alfsen and L. E. Dubins. We also indicate possible application in probability theory. △ Less

Submitted 31 March, 2024; originally announced April 2024.

Comments: 15 pages, 1 figure, comments welcomed

MSC Class: 52A05; 46E27

Protocols for Quantum Weak Coin Flip**

Authors: Atul Singh Arora, Jérémie Roland, Chrysoula Vlachou, Stephan Weis

Abstract: Weak coin flip** is an important cryptographic primitive -- it is the strongest known secure two-party computation primitive that classically becomes secure only under certain assumptions (e.g. computational hardness), while quantumly there exist protocols that achieve arbitrarily close to perfect security. This breakthrough result was established by Mochon in 2007 [arXiv:0711.4114]. However, hi… ▽ More Weak coin flip** is an important cryptographic primitive -- it is the strongest known secure two-party computation primitive that classically becomes secure only under certain assumptions (e.g. computational hardness), while quantumly there exist protocols that achieve arbitrarily close to perfect security. This breakthrough result was established by Mochon in 2007 [ar** protocols by considering concrete examples (from the aforementioned family of protocols) that are more secure than all previously known protocols. △ Less

Submitted 24 February, 2024; originally announced February 2024.

Comments: 51 pages (+ 9 appendix), 12 figures. This is a self-contained, concise version of our main results in arXiv:1811.02984 (STOC '19) and arXiv:1911.13283v2 (SODA '21). The Cryptology ePrint 2022/1101 is the comprehensive version, subsuming the above

Design, fabrication, and characterization of electrostatic comb-drive actuators for nanoelectromechanical silicon photonics

Authors: Thor August Schimmell Weis, Babak Vosoughi Lahijani, Konstantinos Tsoukalas, Marcus Albrechtsen, Søren Stobbe

Abstract: Nanoelectromechanical systems offer unique functionalities in photonics: The ability to elastically and reversibly deform dielectric beams with subwavelength dimensions enable electrical control of the propagation of light with a power consumption orders of magnitude below that of competing technologies, such as thermo-optic tuning. We present a study of the design, fabrication, and characterizati… ▽ More Nanoelectromechanical systems offer unique functionalities in photonics: The ability to elastically and reversibly deform dielectric beams with subwavelength dimensions enable electrical control of the propagation of light with a power consumption orders of magnitude below that of competing technologies, such as thermo-optic tuning. We present a study of the design, fabrication, and characterization of compact electrostatic comb-drive actuators tailored for integrated nanoelectromechanical silicon photonic circuits. Our design has a footprint of $1.2 \times 10^{3} μ$m$^{2}$ and is found to reach displacements beyond 50 nm at 5 V with a mechanical resonance above 200 kHz, or, using different spring constants and skeletonization, a mechanical resonance above 2.5 MHz with displacements beyond 50 nm at 28 V. This is sufficient to induce very large phase shifts and other optical effects in nanoelectromechanical reconfigurable photonic circuits. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: 7 pages, 4 figure, 1 supplementary animation

Kippenhahn's construction revisited

Authors: Stephan Weis

Abstract: Kippenhahn discovered that the numerical range of a complex square matrix is the convex hull of a plane real algebraic curve. Here, we present an example of a convex set, which has a similar algebraic description as the numerical range, whereas the analogue of Kippenhahn's construction fails regarding isolated, singular points of the curve. This example prompted us to carefully review Kippenhahn's… ▽ More Kippenhahn discovered that the numerical range of a complex square matrix is the convex hull of a plane real algebraic curve. Here, we present an example of a convex set, which has a similar algebraic description as the numerical range, whereas the analogue of Kippenhahn's construction fails regarding isolated, singular points of the curve. This example prompted us to carefully review Kippenhahn's assertion and to highlight aspects of a complete proof that was achieved with methods of convex geometry and real algebraic geometry. △ Less

Submitted 31 August, 2023; v1 submitted 13 January, 2023; originally announced January 2023.

Comments: 10 pages, accepted for publication in the proceedings of IWOTA 2022

MSC Class: 15A60; 14P99

Confound-leakage: Confound Removal in Machine Learning Leads to Leakage

Authors: Sami Hamdan, Bradley C. Love, Georg G. von Polier, Susanne Weis, Holger Schwender, Simon B. Eickhoff, Kaustubh R. Patil

Abstract: Machine learning (ML) approaches to data analysis are now widely adopted in many fields including epidemiology and medicine. To apply these approaches, confounds must first be removed as is commonly done by featurewise removal of their variance by linear regression before applying ML. Here, we show this common approach to confound removal biases ML models, leading to misleading results. Specifical… ▽ More Machine learning (ML) approaches to data analysis are now widely adopted in many fields including epidemiology and medicine. To apply these approaches, confounds must first be removed as is commonly done by featurewise removal of their variance by linear regression before applying ML. Here, we show this common approach to confound removal biases ML models, leading to misleading results. Specifically, this common deconfounding approach can leak information such that what are null or moderate effects become amplified to near-perfect prediction when nonlinear ML approaches are subsequently applied. We identify and evaluate possible mechanisms for such confound-leakage and provide practical guidance to mitigate its negative impact. We demonstrate the real-world importance of confound-leakage by analyzing a clinical dataset where accuracy is overestimated for predicting attention deficit hyperactivity disorder (ADHD) with depression as a confound. Our results have wide-reaching implications for implementation and deployment of ML workflows and beg caution against naïve use of standard confound removal approaches. △ Less

Submitted 27 October, 2022; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: Revised Introduction, added CoI, results unchanged

Quantum marginals, faces, and coatoms

Authors: Stephan Weis, João Gouveia

Abstract: Many problems of quantum information theory rely on the set of quantum marginals. A precise knowledge of the faces of this convex set is necessary, for example, in the reconstruction of states from their marginals or in the evaluation of complexity measures of many-body systems. Yet, even the two-body marginals of just three qubits were only described in part. Here, we propose an experimental meth… ▽ More Many problems of quantum information theory rely on the set of quantum marginals. A precise knowledge of the faces of this convex set is necessary, for example, in the reconstruction of states from their marginals or in the evaluation of complexity measures of many-body systems. Yet, even the two-body marginals of just three qubits were only described in part. Here, we propose an experimental method to search for the coatoms in the lattice of exposed faces of the convex set of quantum marginals. The method is based on sampling from the extreme points of the dual spectrahedron. We provide an algebraic certificate of correctness, employing ground projectors of local Hamiltonians. Using this method, we present an explicit family of coatoms of rank five in the lattice of ground projectors of two-local three-qubit Hamiltonians (the rank is always six for bits). This family describes a family of coatoms in the lattice of exposed faces of the convex set of two-body marginals of three qubits. Besides introducing the experimental method, we show that the support sets of probability distributions that factor are the ground projectors of frustration-free Hamiltonians in the commutative setting. We also discuss nonexposed points of the set of marginals. △ Less

Submitted 10 March, 2023; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: The Version of Record of this article is S. Weis and J. Gouveia, "The face lattice of the set of reduced density matrices and its coatoms", Information Geometry, 2023. A full-text view-only version is available online at https://rdcu.be/c7b2s

MSC Class: 81P45; 94A15; 90C22; 52A20

Journal ref: Information Geometry, 2023

Decomposition of symmetric separable states and ground state energy of bosonic systems

Authors: Stephan Weis

Abstract: We prove that every symmetric separable state admits a convex decomposition into symmetric pure product states. While the result is not new in itself, here we focus on convex geometry. We discuss the decomposition in the context of numerical ranges and ground state problems of infinite bosonic systems. We prove that every symmetric separable state admits a convex decomposition into symmetric pure product states. While the result is not new in itself, here we focus on convex geometry. We discuss the decomposition in the context of numerical ranges and ground state problems of infinite bosonic systems. △ Less

Submitted 2 May, 2021; v1 submitted 23 May, 2020; originally announced May 2020.

Comments: Version v3: Error corrected. Version v2: Literature updated. Any comments are welcome

MSC Class: 15A69; 15A60; 47L07; 81V70; 81P40

The face generated by a point, generalized affine constraints, and quantum theory

Authors: Stephan Weis, Maksim Shirokov

Abstract: We analyze faces generated by points in an arbitrary convex set and their relative algebraic interiors, which are nonempty as we shall prove. We show that by intersecting a convex set with a sublevel or level set of a generalized affine functional, the dimension of the face generated by a point may decrease by at most one. We apply the results to the set of quantum states on a separable Hilbert sp… ▽ More We analyze faces generated by points in an arbitrary convex set and their relative algebraic interiors, which are nonempty as we shall prove. We show that by intersecting a convex set with a sublevel or level set of a generalized affine functional, the dimension of the face generated by a point may decrease by at most one. We apply the results to the set of quantum states on a separable Hilbert space. Among others, we show that every state having finite expected values of any two (not necessarily bounded) positive operators admits a decomposition into pure states with the same expected values. We discuss applications in quantum information theory. △ Less

Submitted 4 June, 2020; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: Any comments are welcome, v2: labels have changed

MSC Class: 52Axx; 47Axx; 81Qxx

Journal ref: Journal of Convex Analysis, 28:3 (2021), 847-870

Extreme points of the set of quantum states with bounded energy

Authors: Stephan Weis, Maksim Shirokov

Abstract: We show that for any energy observable every extreme point of the set of quantum states with bounded energy is a pure state. This allows us to write every state with bounded energy in terms of a continuous convex combination of pure states of bounded energy. Furthermore, we prove that any quantum state with finite energy can be represented as a continuous convex combination of pure states with the… ▽ More We show that for any energy observable every extreme point of the set of quantum states with bounded energy is a pure state. This allows us to write every state with bounded energy in terms of a continuous convex combination of pure states of bounded energy. Furthermore, we prove that any quantum state with finite energy can be represented as a continuous convex combination of pure states with the same energy. We discuss examples from quantum information theory. △ Less

Submitted 10 February, 2020; originally announced February 2020.

Comments: Preliminary version. Any comments and references are welcome

MSC Class: 47Axx; 52Axx; 81Qxx

Journal ref: Russian Math. Surveys, 76:1 (2021), 190-192

Kippenhahn's Theorem for joint numerical ranges and quantum states

Authors: Daniel Plaumann, Rainer Sinn, Stephan Weis

Abstract: Kippenhahn's Theorem asserts that the numerical range of a matrix is the convex hull of a certain algebraic curve. Here, we show that the joint numerical range of finitely many Hermitian matrices is similarly the convex hull of a semi-algebraic set. We discuss an analogous statement regarding the dual convex cone to a hyperbolicity cone and prove that the class of bases of these dual cones is clos… ▽ More Kippenhahn's Theorem asserts that the numerical range of a matrix is the convex hull of a certain algebraic curve. Here, we show that the joint numerical range of finitely many Hermitian matrices is similarly the convex hull of a semi-algebraic set. We discuss an analogous statement regarding the dual convex cone to a hyperbolicity cone and prove that the class of bases of these dual cones is closed under linear operations. The result offers a new geometric method to analyze quantum states. △ Less

Submitted 22 June, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: 28 pages, 5 figures; version v2 extends version v1 in applications and examples and has more detailed proofs. Any comments are welcomed

MSC Class: 47A12; 14P10; 52A20; 81P99

Journal ref: SIAM Journal on Applied Algebra and Geometry 5:1 (2021), 86-113

Quantum Weak Coin Flip**

Authors: Atul Singh Arora, Jérémie Roland, Stephan Weis

Abstract: We investigate weak coin flip**, a fundamental cryptographic primitive where two distrustful parties need to remotely establish a shared random bit. A cheating player can try to bias the output bit towards a preferred value. For weak coin flip** the players have known opposite preferred values. A weak coin-flip** protocol has a bias $ε$ if neither player can force the outcome towards their p… ▽ More We investigate weak coin flip**, a fundamental cryptographic primitive where two distrustful parties need to remotely establish a shared random bit. A cheating player can try to bias the output bit towards a preferred value. For weak coin flip** the players have known opposite preferred values. A weak coin-flip** protocol has a bias $ε$ if neither player can force the outcome towards their preferred value with probability more than $\frac{1}{2}+ε$. While it is known that all classical protocols have $ε=\frac{1}{2}$, Mochon showed in 2007 [ar** can be achieved with arbitrarily small bias (near perfect) but the best known explicit protocol has bias $1/6$ (also due to Mochon, 2005 [Phys. Rev. A 72, 022341]). We propose a framework to construct new explicit protocols achieving biases below $1/6$. In particular, we construct explicit unitaries for protocols with bias approaching $1/10$. To go below, we introduce what we call the Elliptic Monotone Align (EMA) algorithm which, together with the framework, allows us to numerically construct protocols with arbitrarily small biases. △ Less

Submitted 26 November, 2019; v1 submitted 6 November, 2018; originally announced November 2018.

Comments: 98 pages split into 3 parts, 10 figures; For updates and contact information see https://atulsingharora.github.io/WCF. Version 2 has minor improvements. arXiv admin note: text overlap with arXiv:1402.7166 by other authors

Journal ref: STOC 2019 Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing Pages 205-216

Skinny emulsions take on granular matter

Authors: Anaïs Giustiniani, Simon Weis, Christophe Poulard, Paul H. Kamm, Francisco García-Moreno, Matthias Schröter, Wiebke Drenckhan

Abstract: Our understanding of the structural features of foams and emulsions has advanced significantly over the last 20 years. However, with a search for "super-stable" liquid dispersions, foam and emulsion science employs increasingly complex formulations which create solid-like visco-elastic layers at the bubble/drop surfaces. These lead to elastic, adhesive and frictional forces between bubbles/drops,… ▽ More Our understanding of the structural features of foams and emulsions has advanced significantly over the last 20 years. However, with a search for "super-stable" liquid dispersions, foam and emulsion science employs increasingly complex formulations which create solid-like visco-elastic layers at the bubble/drop surfaces. These lead to elastic, adhesive and frictional forces between bubbles/drops, impacting strongly how they pack and deform against each other, asking for an adaptation of the currently available structural description. The possibility to modify systematically the interfacial properties makes these dispersions ideal systems for the exploration of soft granular materials with complex interactions. We present here a first systematic analysis of the structural features of such a system using a model silicone emulsion containing millimetre-sized polyethylene glycol drops (PEG). Solid-like drop surfaces are obtained by polymeric cross-linking reactions at the PEG-silicone interface. Using a novel droplet-micromanipulator, we highlight the presence of elastic, adhesive and frictional interactions between two drops. We then provide for the first time a full tomographic analysis of the structural features of these emulsions. An in-depth analysis of the angle of repose, local volume fraction distributions, pair correlation functions and the drop deformations for different skin formulations allow us to put in evidence the striking difference with "ordinary" emulsions having fluid-like drop surfaces. While strong analogies with frictional hard-sphere systems can be drawn, these systems display a set of unique features due to the high deformability of the drops which await systematic exploration. △ Less

Submitted 18 September, 2018; originally announced September 2018.

Journal ref: Soft Matter, 2018,14, 7310-7323

Structural similarity between dry and wet sphere packings

Authors: Simon Weis, Gerd Schröder-Turk, Matthias Schröter

Abstract: The mechanical properties of granular materials change significantly in the presence of a wetting liquid which creates capillary bridges between the particles. Here we demonstrate, using X-ray tomographies of dry and wet sphere packings, that this change in mechanical properties is not accompanied by structural differences between the packings. We characterize the latter by the average numbers of… ▽ More The mechanical properties of granular materials change significantly in the presence of a wetting liquid which creates capillary bridges between the particles. Here we demonstrate, using X-ray tomographies of dry and wet sphere packings, that this change in mechanical properties is not accompanied by structural differences between the packings. We characterize the latter by the average numbers of contacts of each sphere $\langle Z\rangle$ and the shape isotropy $\langle β_0^{2,0} \rangle$ of the Voronoi cells of the particles. Additionally, we show that the number of liquid bridges per sphere $\langle B\rangle$ is approximately equal to $\langle Z\rangle + 2$, independent of the volume fraction of the packing. These findings will be helpful in guiding the development of both particle-based models and continuum mechanical descriptions of wet granular matter. △ Less

Submitted 22 January, 2019; v1 submitted 13 August, 2018; originally announced August 2018.

Comments: slightly revised version

Journal ref: New J. Phys. 21 043020 (2019)

On a theorem by Kippenhahn

Authors: Stephan Weis

Abstract: Kippenhahn discovered a real algebraic plane curve whose convex hull is the numerical range of a matrix. The correctness of this theorem was called into question when Chien and Nakazato found an example where the spatial analogue fails. They showed that the mentioned plane curve indeed lies inside the numerical range. We prove the easier converse direction of the theorem. Finding higher-dimensiona… ▽ More Kippenhahn discovered a real algebraic plane curve whose convex hull is the numerical range of a matrix. The correctness of this theorem was called into question when Chien and Nakazato found an example where the spatial analogue fails. They showed that the mentioned plane curve indeed lies inside the numerical range. We prove the easier converse direction of the theorem. Finding higher-dimensional generalizations of Kippenhahn's theorem is a challenge in real algebraic geometry. △ Less

Submitted 2 May, 2017; originally announced May 2017.

Comments: 7 pages

MSC Class: 47A12; 14P05; 81P16

A variation principle for ground spaces

Authors: Stephan Weis

Abstract: The ground spaces of a vector space of hermitian matrices, partially ordered by inclusion, form a lattice constructible from top to bottom in terms of intersections of maximal ground spaces. In this paper we characterize the lattice elements and the maximal lattice elements within the set of all subspaces using constraints on operator cones. Our results contribute to the geometry of quantum margin… ▽ More The ground spaces of a vector space of hermitian matrices, partially ordered by inclusion, form a lattice constructible from top to bottom in terms of intersections of maximal ground spaces. In this paper we characterize the lattice elements and the maximal lattice elements within the set of all subspaces using constraints on operator cones. Our results contribute to the geometry of quantum marginals, as their lattices of exposed faces are isomorphic to the lattices of ground spaces of local Hamiltonians. △ Less

Submitted 21 March, 2018; v1 submitted 25 April, 2017; originally announced April 2017.

Comments: 18 pages, 2 figures, version v3 has an improved exposition, v4 has a new non-commutative example and catches a glimpse of three qubits

MSC Class: 52A20; 52B05; 51D25; 47L07; 47A12; 81P16; 62F30; 94A17

Journal ref: Reports on Mathematical Physics 82 (2018), 317-336

Charging changes contact composition in binary sphere packings

Authors: Andre Schella, Simon Weis, Matthias Schroeter

Abstract: Equal volume mixtures of small and large polytetrafluorethylene (PTFE) spheres are shaken in an atmosphere of controlled humidity which allows to also control their tribo-charging. We find that the contact numbers are charge-dependent: as the charge density of the beads increases, the number of same-type contacts decreases and the number of opposite-type contacts increases. This change is not caus… ▽ More Equal volume mixtures of small and large polytetrafluorethylene (PTFE) spheres are shaken in an atmosphere of controlled humidity which allows to also control their tribo-charging. We find that the contact numbers are charge-dependent: as the charge density of the beads increases, the number of same-type contacts decreases and the number of opposite-type contacts increases. This change is not caused by a global segregation of the sample. Hence, tribo-charging can be a way to tune the local composition of a granular material. △ Less

Submitted 11 May, 2017; v1 submitted 24 March, 2017; originally announced April 2017.

Comments: 7 Pages, 5 Figures

Journal ref: Phys. Rev. E 95, 062903 (2017)

Pomelo, a tool for computing Generic Set Voronoi Diagrams of Aspherical Particles of Arbitrary Shape

Authors: Simon Weis, Philipp W. A. Schönhöfer, Fabian M. Schaller, Matthias Schröter, Gerd E. Schröder-Turk

Abstract: We describe the development of a new software tool, called "Pomelo", for the calculation of Set Voronoi diagrams. Voronoi diagrams are a spatial partition of the space around the particles into separate Voronoi cells, e.g. applicable to granular materials. A generalization of the conventional Voronoi diagram for points or monodisperse spheres is the Set Voronoi diagram, also known as navigational… ▽ More We describe the development of a new software tool, called "Pomelo", for the calculation of Set Voronoi diagrams. Voronoi diagrams are a spatial partition of the space around the particles into separate Voronoi cells, e.g. applicable to granular materials. A generalization of the conventional Voronoi diagram for points or monodisperse spheres is the Set Voronoi diagram, also known as navigational map or tessellation by zone of influence. In this construction, a Set Voronoi cell contains the volume that is closer to the surface of one particle than to the surface of any other particle. This is required for aspherical or polydisperse systems. Pomelo is designed to be easy to use and as generic as possible. It directly supports common particle shapes and offers a generic mode, which allows to deal with any type of particles that can be described mathematically. Pomelo can create output in different standard formats, which allows direct visualization and further processing. Finally, we describe three applications of the Set Voronoi code in granular and soft matter physics, namely the problem of packings of ellipsoidal particles with varying degrees of particle-particle friction, mechanical stable packings of tetrahedra and a model for liquid crystal systems of particles with shapes reminiscent of pears △ Less

Submitted 10 March, 2017; originally announced March 2017.

Comments: 4 pages, 9 figures, Submitted to Powders and Grains 2017

Journal ref: EPJ Web of Conferences 140, 06007 (2017 )

A new signature of quantum phase transitions from the numerical range

Authors: Ilya M. Spitkovsky, Stephan Weis

Abstract: The ground state energy of a finite-dimensional one-parameter Hamiltonian and the continuity of a maximum-entropy inference map are discussed in the context of quantum critical phenomena. The domain of the inference map is a convex compact set in the plane, called the numerical range. We study the differential geometry of its boundary in relation to the ground state energy. We prove that discontin… ▽ More The ground state energy of a finite-dimensional one-parameter Hamiltonian and the continuity of a maximum-entropy inference map are discussed in the context of quantum critical phenomena. The domain of the inference map is a convex compact set in the plane, called the numerical range. We study the differential geometry of its boundary in relation to the ground state energy. We prove that discontinuities of the inference map correspond to $C^1$-smooth crossings of the ground state energy with a higher energy level. Discontinuities may appear only at $C^1$-smooth points of the boundary of the numerical range considered as a manifold. Discontinuities exist at all $C^2$-smooth non-analytic boundary points and are essentially stronger than at analytic points or at points which are merely $C^1$-smooth (non-exposed points). △ Less

Submitted 30 November, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 25 pages, 1 figure, 1 table (new in v2: proofs are simplified and exposition is improved)

MSC Class: 82B26; 52A10; 47A12; 15A18; 32C25; 62F30; 94A17; 54C08; 46T20

Journal ref: Journal of Mathematical Physics 59 (2018), 121901

Analyzing X-Ray tomographies of granular packings

Authors: Simon Weis, Matthias Schröter

Abstract: Starting from three-dimensional volume data of a granular packing, as e.g. obtained by X-ray Computed Tomography, we discuss methods to first detect the individual particles in the sample and then analyze their properties. This analysis includes the pair correlation function, the volume and shape of the Voronoi cells and the number and type of contacts formed between individual particles. We mainl… ▽ More Starting from three-dimensional volume data of a granular packing, as e.g. obtained by X-ray Computed Tomography, we discuss methods to first detect the individual particles in the sample and then analyze their properties. This analysis includes the pair correlation function, the volume and shape of the Voronoi cells and the number and type of contacts formed between individual particles. We mainly focus on packings of monodisperse spheres, but we will also comment on other monoschematic particles such as ellipsoids and tetrahedra. This paper is accompanied by a package of free software containing all programs (including source code) and an example three-dimensional dataset which allows the reader to reproduce and modify all examples given. △ Less

Submitted 20 March, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 18 pages, 12 figures, submitted to review of scientific instruments, Issue 18

Journal ref: Review of Scientific Instruments 88, 051809 (2017)

Operator systems and convex sets with many normal cones

Authors: Stephan Weis

Abstract: The state space of an operator system of $n$-by-$n$ matrices has, in a sense, many normal cones. Merely this convex geometrical property implies smoothness qualities and a clustering property of exposed faces. The latter holds since each exposed face is an intersection of maximal exposed faces. An isomorphism translates these results to the lattice of ground state projections of the operator syste… ▽ More The state space of an operator system of $n$-by-$n$ matrices has, in a sense, many normal cones. Merely this convex geometrical property implies smoothness qualities and a clustering property of exposed faces. The latter holds since each exposed face is an intersection of maximal exposed faces. An isomorphism translates these results to the lattice of ground state projections of the operator system. We work on minimizing the assumptions under which a convex set has the mentioned properties. △ Less

Submitted 13 September, 2016; v1 submitted 12 June, 2016; originally announced June 2016.

Comments: 20 pages, one figure, discrepancy to v1: minor corrections, discussion of operator systems added (-> change of title)

MSC Class: 52A20; 52B05; 47L07; 51D25; 47A12 (Primary); 81P16; 14P10 (Secondary)

Journal ref: Journal of Convex Analysis 25 (2018), 41-64

Classification of joint numerical ranges of three hermitian matrices of size three

Authors: Konrad Szymański, Stephan Weis, Karol Życzkowski

Abstract: The joint numerical range $W(F)$ of three hermitian $3$-by-$3$ matrices $F=(F_1,F_2,F_3)$ is a convex and compact subset in $\mathbb{R}^3$. Generically we find that $W(F)$ is a three-dimensional oval. Assuming $\dim(W(F))=3$, every one- or two-dimensional face of $W(F)$ is a segment or a filled ellipse. We prove that only ten configurations of these segments and ellipses are possible. We identify… ▽ More The joint numerical range $W(F)$ of three hermitian $3$-by-$3$ matrices $F=(F_1,F_2,F_3)$ is a convex and compact subset in $\mathbb{R}^3$. Generically we find that $W(F)$ is a three-dimensional oval. Assuming $\dim(W(F))=3$, every one- or two-dimensional face of $W(F)$ is a segment or a filled ellipse. We prove that only ten configurations of these segments and ellipses are possible. We identify a triple $F$ for each class and illustrate $W(F)$ using random matrices and dual varieties. △ Less

Submitted 11 February, 2018; v1 submitted 20 March, 2016; originally announced March 2016.

Comments: 23 pages, 4 figures. This version includes some minor improvements which could not be taken into account in the proofs of the published version

MSC Class: 47A12 (Primary) 47L07; 52A20; 52A15; 52B05; 05C10 (Secondary)

Journal ref: Linear Algebra and its Applications 545 (2018) 148-173

Pre-images of extreme points of the numerical range, and applications

Authors: Ilya M. Spitkovsky, Stephan Weis

Abstract: We extend the pre-image representation of exposed points of the numerical range of a matrix to all extreme points. With that we characterize extreme points which are multiply generated, having at least two linearly independent pre-images, as the extreme points which are Hausdorff limits of flat boundary portions on numerical ranges of a sequence converging to the given matrix. These studies addres… ▽ More We extend the pre-image representation of exposed points of the numerical range of a matrix to all extreme points. With that we characterize extreme points which are multiply generated, having at least two linearly independent pre-images, as the extreme points which are Hausdorff limits of flat boundary portions on numerical ranges of a sequence converging to the given matrix. These studies address the inverse numerical range map and the maximum-entropy inference map which are continuous functions on the numerical range except possibly at certain multiply generated extreme points. This work also allows us to describe closures of subsets of 3-by-3 matrices having the same shape of the numerical range. △ Less

Submitted 19 May, 2016; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: 19 pages, no figures, v2 has corrected proofs of Lemma 2.2 and Lemma 3.3

MSC Class: 47A12; 54C10; 62F30; 94A17

Journal ref: Operators and Matrices 10 (2016), 1043-1058

Maximum-entropy inference and inverse continuity of the numerical range

Authors: Stephan Weis

Abstract: We study the continuity of the maximum-entropy inference map for two observables in finite dimensions. We prove that the continuity is equivalent to the strong continuity of the set-valued inverse numerical range map. This gives a continuity condition in terms of analytic eigenvalue functions which implies that discontinuities are very rare. It shows also that the continuity of the MaxEnt inferenc… ▽ More We study the continuity of the maximum-entropy inference map for two observables in finite dimensions. We prove that the continuity is equivalent to the strong continuity of the set-valued inverse numerical range map. This gives a continuity condition in terms of analytic eigenvalue functions which implies that discontinuities are very rare. It shows also that the continuity of the MaxEnt inference method is independent of the prior state. △ Less

Submitted 13 August, 2015; v1 submitted 13 February, 2015; originally announced February 2015.

Comments: 15 pages, no figures, correction of v1 in Coro. 5.1 and Thm. 5.3

MSC Class: Primary 81P16; 62F30; 94A17; 54C10; 47A12; 54C08; Secondary 47N50; 82B26

Journal ref: Reports on Mathematical Physics 77 (2016) 251-263

Continuity of the maximum-entropy inference: Convex geometry and numerical ranges approach

Authors: Leiba Rodman, Ilya M. Spitkovsky, Arleta Szkoła, Stephan Weis

Abstract: We study the continuity of an abstract generalization of the maximum-entropy inference - a maximizer. It is defined as a right-inverse of a linear map restricted to a convex body which uniquely maximizes on each fiber of the linear map a continuous function on the convex body. Using convex geometry we prove, amongst others, the existence of discontinuities of the maximizer at limits of extremal po… ▽ More We study the continuity of an abstract generalization of the maximum-entropy inference - a maximizer. It is defined as a right-inverse of a linear map restricted to a convex body which uniquely maximizes on each fiber of the linear map a continuous function on the convex body. Using convex geometry we prove, amongst others, the existence of discontinuities of the maximizer at limits of extremal points not being extremal points themselves and apply the result to quantum correlations. Further, we use numerical range methods in the case of quantum inference which refers to two observables. One result is a complete characterization of points of discontinuity for $3\times 3$ matrices. △ Less

Submitted 6 February, 2015; originally announced February 2015.

Comments: 27 pages

MSC Class: 81P16; 62F30; 52A20; 54C10; 62H20; 47A12; 52A10

Journal ref: Journal of Mathematical Physics 57 (2016) 015204

Local analysis of the history dependence in tetrahedra packings

Authors: N. Nirmal Thyagu, Max Neudecker, Simon Weis, Fabian M. Schaller, Matthias Schröter

Abstract: The mechanical properties of a granular sample depend frequently on the way the packing was prepared. However, is not well understood which properties of the packing store this information. Here we present an X-ray tomography study of three pairs of tetrahedra packings prepared with three different tap** protocols. The packings in each pair differs in the number of mechanical constraints $C$ imp… ▽ More The mechanical properties of a granular sample depend frequently on the way the packing was prepared. However, is not well understood which properties of the packing store this information. Here we present an X-ray tomography study of three pairs of tetrahedra packings prepared with three different tap** protocols. The packings in each pair differs in the number of mechanical constraints $C$ imposed on the particles by their contacts, while their bulk volume fraction $φ_{global}$ is approximately the same. We decompose $C$ into the contributions of the three different contact types possible between tetrahedra -- face-to-face (F2F), edge-to-face (E2F), and point contacts -- which each fix a different amount of constraints. We then perform a local analysis of the contact distribution by grou** the particles together according to their individual volume fraction $φ_{local}$ computed from a Voronoi tessellation. We find that in samples which have been tapped sufficiently long the number of F2F contacts becomes an universal function of $φ_{local}$. In contrast the number of E2F and point contacts varies with the applied tap** protocol. Moreover, we find that the anisotropy of the shape of the Voronoi cells depends on the tap** protocol. This behavior differs from spheres and ellipsoids and posses a significant constraint for any mean-field approach to tetrahedra packings. △ Less

Submitted 1 March, 2018; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: completely revised version, Voronoi volumes are now based on Set Voronoi Tesselation

The MaxEnt extension of a quantum Gibbs family, convex geometry and geodesics

Authors: Stephan Weis

Abstract: We discuss methods to analyze a quantum Gibbs family in the ultra-cold regime where the norm closure of the Gibbs family fails due to discontinuities of the maximum-entropy inference. The current discussion of maximum-entropy inference and irreducible correlation in the area of quantum phase transitions is a major motivation for this research. We extend a representation of the irreducible correlat… ▽ More We discuss methods to analyze a quantum Gibbs family in the ultra-cold regime where the norm closure of the Gibbs family fails due to discontinuities of the maximum-entropy inference. The current discussion of maximum-entropy inference and irreducible correlation in the area of quantum phase transitions is a major motivation for this research. We extend a representation of the irreducible correlation from finite temperatures to absolute zero. △ Less

Submitted 31 October, 2014; originally announced November 2014.

Comments: 8 pages, 3 figures, 34th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, 21-26 September 2014, Château du Clos Lucé, Amboise, France

Journal ref: AIP Conference Proceedings 1641 (2015) 173-180

Maximizing the divergence from a hierarchical model of quantum states

Authors: Stephan Weis, Andreas Knauf, Nihat Ay, Ming-**g Zhao

Abstract: We study many-party correlations quantified in terms of the Umegaki relative entropy (divergence) from a Gibbs family known as a hierarchical model. We derive these quantities from the maximum-entropy principle which was used earlier to define the closely related irreducible correlation. We point out differences between quantum states and probability vectors which exist in hierarchical models, in… ▽ More We study many-party correlations quantified in terms of the Umegaki relative entropy (divergence) from a Gibbs family known as a hierarchical model. We derive these quantities from the maximum-entropy principle which was used earlier to define the closely related irreducible correlation. We point out differences between quantum states and probability vectors which exist in hierarchical models, in the divergence from a hierarchical model and in local maximizers of this divergence. The differences are, respectively, missing factorization, discontinuity and reduction of uncertainty. We discuss global maximizers of the mutual information of separable qubit states. △ Less

Submitted 12 February, 2015; v1 submitted 3 June, 2014; originally announced June 2014.

Comments: 18 pages, 1 figure, v2: improved exposition, v3: less typos

MSC Class: 62H20; 62F30; 94A17; 81P16; 81P45

Journal ref: Open Systems & Information Dynamics 22 (2015) 1550006

Discontinuities in the Maximum-Entropy Inference

Authors: Stephan Weis

Abstract: We revisit the maximum-entropy inference of the state of a finite-level quantum system under linear constraints. The constraints are specified by the expected values of a set of fixed observables. We point out the existence of discontinuities in this inference method. This is a pure quantum phenomenon since the maximum-entropy inference is continuous for mutually commuting observables. The questio… ▽ More We revisit the maximum-entropy inference of the state of a finite-level quantum system under linear constraints. The constraints are specified by the expected values of a set of fixed observables. We point out the existence of discontinuities in this inference method. This is a pure quantum phenomenon since the maximum-entropy inference is continuous for mutually commuting observables. The question arises why some sets of observables are distinguished by a discontinuity in an inference method which is still discussed as a universal inference method. In this paper we make an example of a discontinuity and we explain a characterization of the discontinuities in terms of the openness of the (restricted) linear map that assigns expected values to states. △ Less

Submitted 28 August, 2013; originally announced August 2013.

Comments: 8 pages, 3 figures, 32nd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Garching, Germany, 15-20 July 2012

MSC Class: 81P45; 62F30; 54C10

Journal ref: 32nd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Garching, Germany, 15-20 July 2012, ed. von Toussaint, U., AIP Conference Proceedings 1553 (2013) 192-199

Continuity of the Maximum-Entropy Inference

Authors: Stephan Weis

Abstract: We study the inverse problem of inferring the state of a finite-level quantum system from expected values of a fixed set of observables, by maximizing a continuous ranking function. We have proved earlier that the maximum-entropy inference can be a discontinuous map from the convex set of expected values to the convex set of states because the image contains states of reduced support, while this m… ▽ More We study the inverse problem of inferring the state of a finite-level quantum system from expected values of a fixed set of observables, by maximizing a continuous ranking function. We have proved earlier that the maximum-entropy inference can be a discontinuous map from the convex set of expected values to the convex set of states because the image contains states of reduced support, while this map restricts to a smooth parametrization of a Gibbsian family of fully supported states. Here we prove for arbitrary ranking functions that the inference is continuous up to boundary points. This follows from a continuity condition in terms of the openness of the restricted linear map from states to their expected values. The openness condition shows also that ranking functions with a discontinuous inference are typical. Moreover it shows that the inference is continuous in the restriction to any polytope which implies that a discontinuity belongs to the quantum domain of non-commutative observables and that a geodesic closure of a Gibbsian family equals the set of maximum-entropy states. We discuss eight descriptions of the set of maximum-entropy states with proofs of accuracy and an analysis of deviations. △ Less

Submitted 21 April, 2014; v1 submitted 14 February, 2012; originally announced February 2012.

Comments: 34 pages, 1 figure

MSC Class: 62F30; 54C10; 52A05; 81P16; 94A17; 54A10

Journal ref: Communications in Mathematical Physics 330 1263-1292 (2014)

Geometry of the set of mixed quantum states: An apophatic approach

Authors: Ingemar Bengtsson, Stephan Weis, Karol Życzkowski

Abstract: The set of quantum states consists of density matrices of order $N$, which are hermitian, positive and normalized by the trace condition. We analyze the structure of this set in the framework of the Euclidean geometry naturally arising in the space of hermitian matrices. For N=2 this set is the Bloch ball, embedded in $\mathbb R^3$. For $N \geq 3$ this set of dimensionality $N^2-1$ has a much rich… ▽ More The set of quantum states consists of density matrices of order $N$, which are hermitian, positive and normalized by the trace condition. We analyze the structure of this set in the framework of the Euclidean geometry naturally arising in the space of hermitian matrices. For N=2 this set is the Bloch ball, embedded in $\mathbb R^3$. For $N \geq 3$ this set of dimensionality $N^2-1$ has a much richer structure. We study its properties and at first advocate an apophatic approach, which concentrates on characteristics not possessed by this set. We also apply more constructive techniques and analyze two dimensional cross-sections and projections of the set of quantum states. They are dual to each other. At the end we make some remarks on certain dimension dependent properties. △ Less

Submitted 14 December, 2011; v1 submitted 11 December, 2011; originally announced December 2011.

Comments: 13 pages, 12 figures, v2: 5 figures changed from bw to color

MSC Class: 81P16 (Primary) 52A20 (Secondary)

Journal ref: Geometric Methods in Physics. XXX Workshop 2011, Trends in Mathematics, pp 175-197 Springer Basel 2013

Quantum-coherent coupling of a mechanical oscillator to an optical cavity mode

Authors: E. Verhagen, S. Deléglise, S. Weis, A. Schliesser, T. J. Kippenberg

Abstract: Quantum control of engineered mechanical oscillators can be achieved by coupling the oscillator to an auxiliary degree of freedom, provided that the coherent rate of energy exchange exceeds the decoherence rate of each of the two sub-systems. We achieve such quantum-coherent coupling between the mechanical and optical modes of a micro-optomechanical system. Simultaneously, the mechanical oscillato… ▽ More Quantum control of engineered mechanical oscillators can be achieved by coupling the oscillator to an auxiliary degree of freedom, provided that the coherent rate of energy exchange exceeds the decoherence rate of each of the two sub-systems. We achieve such quantum-coherent coupling between the mechanical and optical modes of a micro-optomechanical system. Simultaneously, the mechanical oscillator is cooled to an average occupancy of n = 1.7 \pm 0.1 motional quanta. Pulsed optical excitation reveals the exchange of energy between the optical light field and the micromechanical oscillator in the time domain at the level of less than one quantum on average. These results provide a route towards the realization of efficient quantum interfaces between mechanical oscillators and optical fields. △ Less

Submitted 19 July, 2011; originally announced July 2011.

Comments: 23 pages, 11 figures

Duality of non-exposed faces

Authors: Stephan Weis

Abstract: Given any polar pair of convex bodies we study its conjugate face maps and we characterize conjugate faces of non-exposed faces in terms of normal cones. The analysis is carried out using the positive hull operator which defines lattice isomorphisms linking three Galois connections. One of them assigns conjugate faces between the convex bodies. The second and third Galois connection is defined bet… ▽ More Given any polar pair of convex bodies we study its conjugate face maps and we characterize conjugate faces of non-exposed faces in terms of normal cones. The analysis is carried out using the positive hull operator which defines lattice isomorphisms linking three Galois connections. One of them assigns conjugate faces between the convex bodies. The second and third Galois connection is defined between the touching cones and the faces of each convex body separately. While the former is well-known, we introduce the latter in this article for any convex set in any finite dimension. We demonstrate our results about conjugate faces with planar convex bodies and planar self-dual convex bodies, for which we also include constructions. △ Less

Submitted 28 November, 2011; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: 20 pages, 2 figures

MSC Class: 52A10; 52A20

Journal ref: Journal of Convex Analysis 19 815-835 (2012)

Quantum Convex Support

Authors: Stephan Weis

Abstract: Convex support, the mean values of a set of random variables, is central in information theory and statistics. Equally central in quantum information theory are mean values of a set of observables in a finite-dimensional C*-algebra A, which we call (quantum) convex support. The convex support can be viewed as a projection of the state space of A and it is a projection of a spectrahedron. Spectra… ▽ More Convex support, the mean values of a set of random variables, is central in information theory and statistics. Equally central in quantum information theory are mean values of a set of observables in a finite-dimensional C*-algebra A, which we call (quantum) convex support. The convex support can be viewed as a projection of the state space of A and it is a projection of a spectrahedron. Spectrahedra are increasingly investigated at least since the 1990's boom in semidefinite programming. We recall the geometry of the positive semi-definite cone and of the state space. We write a convex duality for general self-dual convex cones. This restricts to projections of state spaces and connects them to results on spectrahedra. Really new in this article is an analysis of the face lattice of convex support by map** this lattice to a lattice of orthogonal projections, using natural isomorphisms. The result encodes the face lattice of the convex support into a set of projections in A and enables the integration of convex geometry with matrix calculus or algebraic techniques. △ Less

Submitted 8 September, 2011; v1 submitted 16 January, 2011; originally announced January 2011.

Comments: 27 pages, 5 figures, minor errors corrected, font changed from small to normal

MSC Class: Primary 81P16; 62B10; 52A20 Secondary 94A17; 90C22; 90C30

Journal ref: Linear Algebra and its Applications 435 3168-3188 (2011); correction: ibid 436 xvi (2012)

Optomechanical sideband cooling of a micromechanical oscillator close to the quantum ground state

Authors: Remi Riviere, Samuel Deleglise, Stefan Weis, Emanuel Gavartin, Olivier Arcizet, Albert Schliesser, Tobias J. Kippenberg

Abstract: Cooling a mesoscopic mechanical oscillator to its quantum ground state is elementary for the preparation and control of low entropy quantum states of large scale objects. Here, we pre-cool a 70-MHz micromechanical silica oscillator to an occupancy below 200 quanta by thermalizing it with a 600-mK cold 3He gas. Two-level system induced dam** via structural defect states is shown to be strongly re… ▽ More Cooling a mesoscopic mechanical oscillator to its quantum ground state is elementary for the preparation and control of low entropy quantum states of large scale objects. Here, we pre-cool a 70-MHz micromechanical silica oscillator to an occupancy below 200 quanta by thermalizing it with a 600-mK cold 3He gas. Two-level system induced dam** via structural defect states is shown to be strongly reduced, and simultaneously serves as novel thermometry method to independently quantify excess heating due to the cooling laser. We demonstrate that dynamical backaction sideband cooling can reduce the average occupancy to 9+-1 quanta, implying that the mechanical oscillator can be found (10+- 1)% of the time in its quantum ground state. △ Less

Submitted 1 November, 2010; originally announced November 2010.

Comments: 11 pages, 5 figures

A Note on Touching Cones and Faces

Authors: Stephan Weis

Abstract: We study touching cones of a (not necessarily closed) convex set in a finitedimensional real Euclidean vector space and we draw relationships to other concepts in Convex Geometry. Exposed faces correspond to normal cones by an antitone lattice isomorphism. Poonems generalize the former to faces and the latter to touching cones, these extensions are non-isomorphic, though. We study the behavior of… ▽ More We study touching cones of a (not necessarily closed) convex set in a finitedimensional real Euclidean vector space and we draw relationships to other concepts in Convex Geometry. Exposed faces correspond to normal cones by an antitone lattice isomorphism. Poonems generalize the former to faces and the latter to touching cones, these extensions are non-isomorphic, though. We study the behavior of these lattices under projections to affine subspaces and intersections with affine subspaces. We prove a theorem that characterizes exposed faces by assumptions about touching cones. For a convex body K the notion of conjugate face adds an isotone lattice isomorphism from the exposed faces of the polar body to the normal cones of K. This extends to an isomorphism between faces and touching cones. △ Less

Submitted 3 May, 2011; v1 submitted 14 October, 2010; originally announced October 2010.

Comments: 28 pages, 9 figures, typos corrected, reference added

MSC Class: 52A10; 52A20; 94A17

Journal ref: Journal of Convex Analysis 19 323-353 (2012)

Entropy Distance: New Quantum Phenomena

Authors: Andreas Knauf, Stephan Weis

Abstract: We study a curve of Gibbsian families of complex 3x3-matrices and point out new features, absent in commutative finite-dimensional algebras: a discontinuous maximum-entropy inference, a discontinuous entropy distance and non-exposed faces of the mean value set. We analyze these problems from various aspects including convex geometry, topology and information geometry. This research is motivated by… ▽ More We study a curve of Gibbsian families of complex 3x3-matrices and point out new features, absent in commutative finite-dimensional algebras: a discontinuous maximum-entropy inference, a discontinuous entropy distance and non-exposed faces of the mean value set. We analyze these problems from various aspects including convex geometry, topology and information geometry. This research is motivated by a theory of info-max principles, where we contribute by computing first order optimality conditions of the entropy distance. △ Less

Submitted 5 September, 2012; v1 submitted 30 July, 2010; originally announced July 2010.

Comments: 34 pages, 5 figures

MSC Class: 62B10; 81P45; 94A17

Journal ref: Journal of Mathematical Physics 53 102206 (2012)

Optomechanically induced transparency

Authors: S. Weis, R. Riviere, S. Deleglise, E. Gavartin, O. Arcizet, A. Schliesser, T. J. Kippenberg

Abstract: Coherent interaction of laser radiation with multilevel atoms and molecules can lead to quantum interference in the electronic excitation pathways. A prominent example observed in atomic three-level-systems is the phenomenon of electromagnetically induced transparency (EIT), in which a control laser induces a narrow spectral transparency window for a weak probe laser beam. The concomitant rapid va… ▽ More Coherent interaction of laser radiation with multilevel atoms and molecules can lead to quantum interference in the electronic excitation pathways. A prominent example observed in atomic three-level-systems is the phenomenon of electromagnetically induced transparency (EIT), in which a control laser induces a narrow spectral transparency window for a weak probe laser beam. The concomitant rapid variation of the refractive index in this spectral window can give rise to dramatic reduction of the group velocity of a propagating pulse of probe light. Dynamic control of EIT via the control laser enables even a complete stop, that is, storage, of probe light pulses in the atomic medium. Here, we demonstrate optomechanically induced transparency (OMIT)--formally equivalent to EIT--in a cavity optomechanical system operating in the resolved sideband regime. A control laser tuned to the lower motional sideband of the cavity resonance induces a dipole-like interaction of optical and mechanical degrees of freedom. Under these conditions, the destructive interference of excitation pathways for an intracavity probe field gives rise to a window of transparency when a two-photon resonance condition is met. As a salient feature of EIT, the power of the control laser determines the width and depth of the probe transparency window. OMIT could therefore provide a new approach for delaying, slowing and storing light pulses in long-lived mechanical excitations of optomechanical systems, whose optical and mechanical properties can be tailored in almost arbitrary ways in the micro- and nano-optomechanical platforms developed to date. △ Less

Submitted 4 July, 2010; originally announced July 2010.

Information topologies on non-commutative state spaces

Authors: Stephan Weis

Abstract: We define an information topology (I-topology) and a reverse information topology (rI-topology) on the state space of a C*-subalgebra of Mat(n,C). These topologies arise from sequential convergence with respect to the relative entropy. We prove that open disks, with respect to the relative entropy, define a base for them, while Csiszar has shown in 1967 that the analogue is wrong for probability m… ▽ More We define an information topology (I-topology) and a reverse information topology (rI-topology) on the state space of a C*-subalgebra of Mat(n,C). These topologies arise from sequential convergence with respect to the relative entropy. We prove that open disks, with respect to the relative entropy, define a base for them, while Csiszar has shown in 1967 that the analogue is wrong for probability measures on a countably infinite set. The I-topology is finer than the norm topology, it disconnects the convex state space into its faces. The rI-topology is intermediate between these topologies. We complete two fundamental theorems of information geometry to the full state space, by taking the closure in the rI-topology. The norm topology is too coarse for this aim only for a non-commutative algebra, so its discrepancy to the rI-topology belongs to the quantum domain. We apply our results to the maximization of the von Neumann entropy under linear constraints and to the maximization of quantum correlations. △ Less

Submitted 18 January, 2013; v1 submitted 29 March, 2010; originally announced March 2010.

Comments: 57 pages, 4 figures, v4 proofs simplified and exposition improved

MSC Class: 81P45; 81P16; 54D55; 94A17; 90C26

Journal ref: Journal of Convex Analysis 21(2) 339-399 (2014)

Polyhedral Voronoi Cells

Authors: Ina Voigt, Stephan Weis

Abstract: Voronoi cells of a discrete set in Euclidean space are known as generalized polyhedra. We identify polyhedral cells of a discrete set through a direction cone. For an arbitrary set we distinguish polyhedral from non-polyhedral cells using inversion at a sphere and a theorem of semi-infinite linear programming. Voronoi cells of a discrete set in Euclidean space are known as generalized polyhedra. We identify polyhedral cells of a discrete set through a direction cone. For an arbitrary set we distinguish polyhedral from non-polyhedral cells using inversion at a sphere and a theorem of semi-infinite linear programming. △ Less

Submitted 22 March, 2010; originally announced March 2010.

Comments: 12 pages, 6 figures

MSC Class: 52C22; 51M20

Journal ref: Contributions to Algebra and Geometry 51 587-598 (2010)