arXiv Science⌕ Search

arXiv subjects

Stephan Weis

Publications and source records attributed to Stephan Weis.

At least 19 recordsLinked to original sources
arXiv2026

Extreme points and faces in the moment problem

The polyconvex envelope, used in the calculus of variations and elasticity theory, was expressed by Dacorogna pointwise as a linear program on finitely atomic measures on the space of $m\times n$ matrices. Weizs\"acker and Winkler proved that the corresponding linear program on Borel measures restricts to the extreme points without increasing the infimum. Combining the two, one obtains a speed-up of grid-based algorithms and a new proof that the polyconvex envelope can be computed by the moment sum-of-squares hierarchy. Motivated by these applications, we seize the essence of extreme points in moment problems. First, we characterize extreme points of an affinely constrained convex set by the injectivity of the constraint map on the smallest faces containing them. We then study finitely many moment constraints. The extreme points are finitely atomic measures that have an affine independence property, under natural assumptions. We retrieve this known result with a simplified proof and apply it to faces of the probability simplex, among them the face of Radon measures. In the converse, we find that the assumption of a simplex is redundant. The Richter-Tchakaloff theorem allows us to show that the infimum of an integral functional restricts to the extreme points without increasing the infimum, not just for the known case of Radon measures but for any convex set of probability measures that contains the point measures.

math.PR↗
arXiv2026

Polyconvexity with Moments and Sums of Squares

A function of a matrix is polyconvex when it can be expressed as a convex function of the matrix minors. Polyconvexity is a regularity condition ensuring existence of minimizers in nonlinear elasticity and, more broadly, in vectorial problems of the calculus of variations, when minimizing integral gradient functionals. The polyconvex envelope of a function is the largest polyconvex lower bound. Yet deciding whether a given energy is polyconvex, or computing the polyconvex envelope, are generally difficult problems. This paper focuses on polynomial matrix functions. We propose (i) tractable convex-optimization based sufficient conditions to certify polyconvexity via sum-of-squares (SOS) technology, and (ii) a principled numerical method to compute the polyconvex envelope pointwise, based on the moment-SOS hierarchy from polynomial optimization.

math.OC↗
arXiv2025

The joint numerical range of three hermitian $4\times 4$ matrices

We analyze the joint numerical range $W$ of three hermitian matrices of order four. In the generic case, this three-dimensional convex set has a smooth boundary. We analyze non-generic structures. Fifteen possible classes regarding the numbers of non-elliptic faces in the boundary of $W$ are identified and an explicit example is presented for each class. Secondly, it is shown that a nonempty intersection of three mutually distinct one-dimensional faces is a corner point. Thirdly, introducing a tensor product structure into $\mathbb C^4=\mathbb C^2\otimes\mathbb C^2$, one defines the separable joint numerical range - a subset of $W$ useful in studies of quantum entanglement. The boundary of the separable numerical range is compared with that of $W$.

math.FA↗
arXiv2025

Matrix systems, algebras, and open maps

Every state on the algebra $M_n$ of complex nxn matrices restricts to a state on any matrix system. Whereas the restriction to a matrix system is generally not open, we prove that the restriction to every *-subalgebra of $M_n$ is open. This simplifies topology problems in matrix theory and quantum information theory.

math.FA↗
arXiv2024

A note on faces of convex sets

The faces of a convex set owe their relevance to an interplay between convexity and topology that is systematically studied in the work of Rockafellar. Infinite-dimensional convex sets are excluded from this theory as their relative interiors may be empty. Shirokov and the present author answered this issue by proving that every point in a convex set lies in the relative algebraic interior of the face it generates. This theorem is proved here in a simpler way, connecting ideas scattered throughout the literature. This article summarizes and develops methods for faces and their relative algebraic interiors and applies them to spaces of probability measures.

math.MG↗
arXiv2024

Protocols for Quantum Weak Coin Flipping

Weak coin flipping is an important cryptographic primitive$\unicode{x2013}$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, his proof relied on the existence of certain unitary operators which was established by a non-constructive argument. Consequently, explicit protocols have remained elusive. In this work, we give exact constructions of related unitary operators. These, together with a new formalism, yield a family of protocols approaching perfect security thereby also simplifying Mochon's proof of existence. We illustrate the construction of explicit weak coin flipping protocols by considering concrete examples (from the aforementioned family of protocols) that are more secure than all previously known protocols.

quant-ph↗
arXiv2023

Kippenhahn's construction revisited

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.

math.FA↗
arXiv2021

Quantum marginals, faces, and coatoms

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.

quant-ph↗
arXiv2020

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

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.

math.FA↗
arXiv2020

Extreme points of the set of quantum states with bounded energy

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.

quant-ph↗
arXiv2019

Kippenhahn's Theorem for joint numerical ranges and quantum states

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.

math.AG↗
arXiv2018

Quantum Weak Coin Flipping

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$ if neither player can force the outcome towards their preferred value with probability more than $\frac{1}{2}+\epsilon$. While it is known that all classical protocols have $\epsilon=\frac{1}{2}$, Mochon showed in 2007 [arXiv:0711.4114] that quantumly weak coin flipping 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.

quant-ph↗
arXiv2017

On a theorem by Kippenhahn

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.

math.AG↗
arXiv2017

A variation principle for ground spaces

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.

math-ph↗
arXiv2017

A new signature of quantum phase transitions from the numerical range

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).

math-ph↗
arXiv2016

Operator systems and convex sets with many normal cones

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.

math.MG↗
arXiv2016

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

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.

math.FA↗