arXiv subjects

Tim Netzer

Publications and source records attributed to Tim Netzer.

At least 19 recordsLinked to original sources

arXiv2026

On the Topology of the Set of Nonnegative Forms That Are Not Sums of Squares

We study the topology of the normalized space of real nonnegative forms of degree $2d$ in $n$ variables that are not sums of squares. Whenever it is nonempty, we prove that it is path-connected but not acyclic, and in particular not contractible. We give explicit bounds on the degrees in which its reduced homology can be nonzero. In the two minimal nonempty cases, we show an embedding of an exterior algebra into the cohomology ring, and prove containment of the binary octahedral and binary icosahedral groups, respectively, in its fundamental group.

math.AT↗

arXiv2026

The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials

We report a proof found by an artificial intelligence system for the following statement: The hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral. This establishes the generalized Lax conjecture for the generic case, while the full conjecture remains open.

math.AG↗

arXiv2026

Clifford Realizations of Hyperbolic Cubics

We prove the generalized Lax conjecture for cubics in five variables: their hyperbolicity cones are spectrahedral. Our approach constructs spectrahedral realizations from completely positive maps on Clifford algebras. The construction passes through quaternionic determinantal representations of certain extremal cubics. Convexity of the set of Clifford-realizable cubics then yields the result for all cubics in five variables. The approach also covers all previously known cubic cases of the generalized Lax conjecture: forms in at most four variables and symmetric forms in arbitrarily many variables. We further establish a sufficient criterion for Clifford realizability in arbitrary dimension and use it to obtain a neighborhood of the origin in the cubic norm ball consisting of Clifford-realizable cubics. Finally, we prove spectrahedrality for sparse hyperbolic quartics in four variables.

math.AG↗

arXiv2026

Constructive Quantifier Elimination with a Focus on Matrix Rings

We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for certain matrix rings. The original proof uses model theory, and while it is very elegant and insightful, the proof we propose is much shorter and provides a constructive algorithm.

math.LO↗

arXiv2026

Non-Subhomogeneity of Minimal Operator Systems over Positive Semidefinite and Lorentz Cones

The minimal operator systems over ${\rm Mat}_k(\mathbb C)_+$, $k\geqslant2$, and the Lorentz cones $\mathcal L_m$, $m\geqslant4$, are not subhomogeneous. For the $2\times2$ cone we construct extreme positive maps of arbitrarily large output dimension. Positive retracts give the remaining cases. Equivalently, for fixed $k\geqslant2$ and $d$, there exist $s>d$ and an entangled positive operator on $\mathbb C^k\otimes\mathbb C^s$ such that every compression of the second factor to $\mathbb C^d$ is separable.

math.OA↗

arXiv2026

Operator Systems in Duality

The usual dual of an infinite-dimensional order-unit space need not carry an order unit, and this is the main reason why duality for operator systems is notoriously hard. Rather than trying to compute a canonical dual object, we introduce a relative notion of duality for operator systems: Two systems are in duality when a pairing of their underlying vector spaces induces conic pairings at every matrix level. We develop basic properties of this notion, showing that beyond finite-dimensional operator systems, also separable $B(H)$ and $C^*$-algebras with a faithful trace admit duals, while some other operator systems do not. We prove that subsystems, quotients and suitable tensor products of systems with duals again admit duals. As consequences, we show that finite-level maximality is dual to finite-level minimality, and we establish weakly continuous and weak$^*$ closed realizations into $\ell^\infty$-products of matrix algebras.

math.OA↗

arXiv2026

Subhomogeneity and Arveson Boundary of Free Polyhedra

We study subhomogeneity of the minimal operator system over a polyhedral cone, or equivalently the size of irreducible Arveson boundary points of free polyhedra. We obtain a complete classification in dimension three for cones (equivalently, dimension two for polytopes): cones with three extreme rays are 1-subhomogeneous, cones with four extreme rays are 2-subhomogeneous, and cones with at least five extreme rays are not subhomogeneous. In the last case, we construct irreducible Arveson boundary points at every even matrix level. We prove that subhomogeneity passes to faces and face quotients. We also determine the size of irreducible Arveson boundary points of free polyhedra over products of two simplices, obtaining a dichotomy between the product of two segments and all remaining cases. As applications, we classify n-dimensional cones with n+1 extreme rays. More generally, when every facet omits at most two extreme rays, we show that subhomogeneity occurs exactly for direct sums of simplicial cones and three-dimensional four-ray cones. We also construct, for a range of fixed dimensions and ray counts, cones exhibiting both subhomogeneous and non-subhomogeneous behavior.

math.OA↗

arXiv2026

Topology of the Set of Entangled State

We investigate the topology of the set $\mathsf E$ of entangled bipartite density operators acting on $\mathbb{C}^{n_1}\otimes\mathbb{C}^{n_2}$. We start by showing that $\mathsf E$ is path-connected, and even simply connected except in the two-qubit case. In this exceptional case $\mathsf E$ turns out to be homotopy equivalent to the set of maximally entangled states, which itself is homeomorphic to $\mathbb{RP}^3$. Here we also compute the complete homology of the closure and interior of $\mathsf E$. In all larger dimensions, we show that the homology and homotopy groups of $\mathsf E$ vanish in degrees $1\leq k\leq 2(n_1-1)(n_2-1)-2$, and all homology groups of degree $k\geq (n_1n_2)^2-3$ also vanish. This range is controlled by the space $\mathsf W$ of entanglement witnesses, which we show is highly connected beyond two qubits and homotopy equivalent to $\mathsf E$. By computing the Euler characteristic, using a torus-action fixed point argument together with Alexander duality, we show that $\mathsf E$ nevertheless has non-trivial reduced homology over every field for all $n_1, n_2 \geq 2$.

quant-ph↗

arXiv2026

Purifications for Convex Cones

Motivated by the importance of the purification principle in quantum theory and generalized probabilistic theories, we study purifications using only the geometry of a finite-dimensional proper convex cone. We prove an existence theorem for indecomposable cones and intermediate tensor cones containing the maximally entangled state; in particular, every interior point of an indecomposable homogeneous cone admits a purification. This applies to Lorentz cones, for example. We also give a criterion for uniqueness up to local automorphisms. On the boundary, we show that if every proper face of $C$ is simplicial, then only pure points can admit purifications, and we demonstrate that this conclusion fails in the presence of non-simplicial faces. Examples involving positive semidefinite cones, Lorentz cones, $k$-positive maps, PPT tensors, and polyhedral cones illustrate both existence and non-uniqueness phenomena.

quant-ph↗

arXiv2026

Nonunital Operator Systems as Modules in Enriched Category Theory

An operator system is similar to a module over a ring, with the role of scalar multiplication played by the action of completely positive maps. Using enriched category theory, we make this analogy into a precise categorical equivalence, namely between a certain category of nonunital operator systems and a certain category of left modules over the category of matrix algebras enriched over regularly ordered Banach spaces. Using right modules instead yields an equivalence with a certain category of nonunital dual operator systems. We also develop general separation, representation and extension theorems for modules in enriched category theory. Specializing these to our nonunital operator systems recovers results which partly recover the corresponding classical theorems for operator systems.

math.CT↗

arXiv2026

On Subhomogeneous Operator Systems

We study subhomogeneity for finite-dimensional operator systems, and collect and extend characterizations in terms of the $C^*$-envelope, $d$-maximality, complete positivity, dual $d$-minimality, and non-commutative boundary conditions. We then show that the dual of a subhomogeneous operator system, while not necessarily subhomogeneous itself, is always a quotient of a subhomogeneous system. We complement these characterizations with examples and counterexamples, including minimal and maximal systems over certain polyhedral cones.

math.OA↗

arXiv2025

Lifts of Operator Systems

We transfer the theory of slack operators and sums-of-squares-criteria for lifts from convex cones to operator systems. These allow to study the following question, among others: Given an abstract operator system, is its enveloping $C^*$-algebra finite-dimensional, or is it the linear image of a system with a finite-dimensional enveloping algebra?

math.OA↗

arXiv2025

Positive Moments Forever: Undecidable and Decidable Cases

We investigate the generalized moment membership problem for matrices, a formulation equivalent to Skolem's problem for linear recurrence sequences. We show decidability for orthogonal, unitary, and real eigenvalue matrices, and undecidability for matrices over certain commutative and non-commutative polynomial rings. As consequences, we deduce that positivity is decidable for simple unitary linear recurrence sequences and undecidable for linear recurrence sequences over commutative polynomial rings. As a byproduct, we also prove a free version of Polya's theorem.

math.AG↗

arXiv2025

Homotopy Methods for Convex Optimization

Convex optimization encompasses a wide range of optimization problems that contain many efficiently solvable subclasses. Interior point methods are currently the state-of-the-art approach for solving such problems, particularly effective for classes like semidefinite programming, quadratic programming, and geometric programming. However, their success hinges on the construction of self-concordant barrier functions for feasible sets. In this work, we investigate and develop a homotopy-based approach to solve convex optimization problems. While homotopy methods have been considered in optimization before, their potential for general convex programs remains underexplored. This approach gradually transforms the feasible set of a trivial optimization problem into the target one while tracking solutions by solving a differential equation, in contrast to traditional central path methods. We establish a criterion that ensures that the homotopy method correctly solves the optimization problem and prove the existence of such homotopies for several important classes, including semidefinite and hyperbolic programs. Furthermore, we demonstrate that our approach numerically outperforms state-of-the-art methods in hyperbolic programming, highlighting its practical advantages.

math.OC↗

arXiv2025

Border Ranks of Positive and Invariant Tensor Decompositions: Applications to Correlations

The matrix rank and its positive versions are robust for small approximations, i.e. they do not decrease under small perturbations. In contrast, the multipartite tensor rank can collapse for arbitrarily small errors, i.e. there may be a gap between rank and border rank, leading to instabilities in the optimization over sets with fixed tensor rank. Can multipartite positive ranks also collapse for small perturbations? In this work, we prove that multipartite positive and invariant tensor decompositions exhibit gaps between rank and border rank, including tensor rank purifications and cyclic separable decompositions. We also prove a correspondence between positive decompositions and membership in certain sets of multipartite probability distributions, and leverage the gaps between rank and border rank to prove that these correlation sets are not closed. It follows that testing membership of probability distributions arising from resources like translational invariant Matrix Product States is impossible in finite time. Overall, this work sheds light on the instability of ranks and the unique behavior of bipartite systems.

quant-ph↗

arXiv2024

A Note on the Carathéodory Number of the Joint Numerical Range

We show that the Carathéodory number of the joint numerical range of $d$ many bounded self-adjoint operators is at most $d-1$, and even at most $d-2$ if the underlying Hilbert space has dimension at least $3$. This extension of the classical convexity results for numerical ranges shows that also joint numerical ranges are significantly less non-convex than general sets.

math.FA↗

arXiv2024

Self-Dual Cone Systems and Tensor Products

We prove the existence of self-dual tensor products for finite-dimensional convex cones and operator systems. This is a consequence of a more general result: Every cone system, which is contained in its dual, can be enlarged to a self-dual cone system. Using the setup of cone systems, we further describe how all functorial tensor products of finite-dimensional cones and operator systems explicitly arise from the minimal and maximal tensor product.

math.FA↗

arXiv2024

Polynomial decompositions with invariance and positivity inspired by tensors

We present a framework to decompose real multivariate polynomials while preserving invariance and positivity. This framework has been recently introduced for tensor decompositions, in particular for quantum many-body systems. Here we transfer results about decomposition structures, invariance under permutations of variables, positivity, rank inequalities and separations, approximations, and undecidability to real polynomials. Specifically, we define invariant decompositions of polynomials and characterize which polynomials admit such decompositions. We then include positivity: We define invariant separable and sum-of-squares decompositions, and characterize the polynomials similarly. We provide inequalities and separations between the ranks of the decompositions, and show that the separations are not robust with respect to approximations. For cyclically invariant decompositions, we show that it is undecidable whether the polynomial is nonnegative or sum-of-squares for all system sizes. Our work sheds new light on polynomials by putting them on an equal footing with tensors, and opens the door to extending this framework to other tensor product structures.

math-ph↗