
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
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
July 2016 - June 2018
June 2015 - June 2016
Education
December 2004 - December 2009
September 2001 - September 2002
March 2000 - November 2000
Publications
Publications (34)
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...
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...
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...
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...
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...
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.
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...
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...
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...
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...
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...
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...
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...
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-...
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...
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...
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...
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...
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...
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...
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,...
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...
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...
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$...
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...
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...
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...
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.
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...