Stephan Weis

Stephan Weis

Dr. rer. nat. Dipl.-Math. MSc
Freelance Scientist

About

34
Publications
3,051
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
296
Citations
Citations since 2017
17 Research Items
179 Citations
2017201820192020202120222023010203040
2017201820192020202120222023010203040
2017201820192020202120222023010203040
2017201820192020202120222023010203040
Introduction
I have been a researcher in mathematics. I obtained a PhD from the University of Erlangen, Germany, and took up five post-doctoral positions in Erlangen, Leipzig (Germany), Campinas (Brazil), Bruxelles (Belgium), and Coimbra (Portugal).
Additional affiliations
July 2018 - December 2018
University of Coimbra
Position
  • PostDoc Position
Description
  • research
July 2016 - June 2018
Université Libre de Bruxelles
Position
  • PostDoc Position
Description
  • research
June 2015 - June 2016
University of Campinas
Position
  • PostDoc Position
Description
  • Research and teaching
Education
December 2004 - December 2009
September 2001 - September 2002
University of Bristol
Field of study
  • Mathematics (MSc)
March 2000 - November 2000

Publications

Publications (34)
Article
Full-text available
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 discont...
Article
Full-text available
We quantify higher-order correlations in a composite quantum system in terms of the divergence from a family of Gibbs states with well-specified interaction patterns, known as hierarchical model. We begin with a review of factoring in a classical hierarchical model. This is just one aspect of our critical discussion of the divergence from a hierarc...
Article
Full-text available
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 i...
Article
Full-text available
The lattice of faces of the convex set of reduced density matrices is essential for the construction of the information projection to a hierarchical model. The lattice of faces is also important in quantum state tomography. Yet, the description and computation of these faces is elusive in the simplest examples. Here, we study the face lattice of th...
Preprint
Full-text available
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 descri...
Preprint
Full-text available
Here we prove that every symmetric separable state admits a convex decomposition into symmetric pure product states. The same proof shows that every antisymmetric state is entangled. The decomposition sheds new light on numerical ranges useful to study ground state problems of infinite bosonic systems.
Preprint
Full-text available
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 t...
Preprint
Full-text available
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 con...
Preprint
Full-text available
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 t...
Conference Paper
We investigate weak coin flipping, 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 flipping the players have known opposite preferred values. A weak coin-flipping protocol has a bias є if neit...
Article
Full-text available
We analyze the smoothness of the ground state energy of a one-parameter Hamiltonian by studying the differential geometry of the numerical range and continuity of the maximum-entropy inference. The domain of the inference map is the numerical range, a convex compact set in the plane. We show that its boundary, viewed as a manifold, has the same ord...
Preprint
Full-text available
We investigate weak coin flipping, 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 flipping the players have known opposite preferred values. A weak coin-flipping protocol has a bias $\epsilon...
Preprint
Full-text available
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 d...
Article
Full-text available
We prove that the ground space projections of a subspace of energy operators in a matrix *-algebra are the greatest projections of the algebra under certain operator cone constraints. The lattice of ground space projections being coatomistic, we also discuss its maximal elements as building blocks. We demonstrate the results with (commutative) two-...
Preprint
Full-text available
Predicting quantum phase transitions by signatures in finite models has a long tradition. Here we consider the numerical range $W$ of a finite dimensional one-parameter Hamiltonian, which is a planar projection of the convex set of density matrices. We propose the new geometrical signature of non-analytic points of class $C^2$ on the boundary of $W...
Article
Full-text available
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 imag...
Article
Full-text available
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 co...
Article
Full-text available
The joint numerical range of three hermitian matrices of order three is a convex and compact subset W ⊂ R^3 which is an image of the unit sphere S^5 ⊂ C^3 under the hermitian form defined by the three matrices. We label classes of the analyzed set W by pairs of numbers counting the exposed faces of dimension one and two. Generically, W belongs to t...
Article
Full-text available
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 lat...
Conference Paper
Full-text available
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 e...
Article
Full-text available
The maximum-entropy inference assigns to the mean values with respect to a fixed set of observables the unique density matrix, which is consistent with the mean values and which maximizes the von Neumann entropy. A discontinuity was recently found in this inference method for three-level quantum systems. For arbitrary finite-level quantum systems,...
Article
Full-text available
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...
Conference Paper
Full-text available
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 continuo...
Conference Paper
Full-text available
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$...
Article
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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 an...
Article
Full-text available
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.
Thesis
Full-text available
This work generalizes the interaction measure of multi-information known in probability theory to finite-level quantum systems. This is done in the more general context of the entropy distance from an exponential family. One of the most well-known measures of stochastic dependence is multi-information, applied in various fields including Neuroscien...

Network

Cited By