arXiv subjects

Elke Neuhaus

Publications and source records attributed to Elke Neuhaus.

5 recordsLinked to original sources

arXiv2026

The Euler Stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^n$

We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $\Delta_1 \times \Delta_1 \times \Delta_n$ as the coefficients of the defining polynomial vary. Each member of this hypersurface family corresponds to a three-way independence model from algebraic statistics, and the (signed) Euler characteristic is equal to the maximum likelihood degree (ML degree) of the model. We show in the case of $\Delta_1 \times \Delta_1 \times \Delta_1$ this Euler characteristic depends only on the vanishing patterns of the factors of the principal $A$-determinant, but this fails for $\Delta_1 \times \Delta_1 \times \Delta_n$ with $n \geq 2$. We prove that, for all $n\geq 1$, all positive integers up to the maximum possible ML degree can be realized as the Euler characteristic. Furthermore, we completely determine the Euler stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ and provide partial information for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$.

math.AG↗

arXiv2026

On the Coupled Cluster Doubles Truncation Variety of Four Electrons

We extend recent algebro-geometric results for coupled cluster theory of quantum many-body systems to the truncation varieties arising from the doubles approximation (CCD), focusing on the first genuinely nonlinear doubles regime of four electrons. Since this doubles truncation variety does not coincide with previously studied varieties, we initiate a systematic investigation of its basic algebro-geometric invariants. Combining theoretical and numerical results, we show that for $4$ electrons on $n\leq 12$ orbitals, the CCD truncation variety is a complete intersection of degree $2^{\binom{n-4}{4}}$. Using representation-theoretic arguments, we uncover a Pfaffian structure governing the quadratic relations that define the truncation variety for any $n$, and show that an exact tensor product factorization holds in a distinguished limit of disconnected doubles. We connect these structural results to the computation of the beryllium insertion into molecular hydrogen ({Be$\cdots$H$_2$ $\to$ H--Be--H}), a small but challenging bond formation process where multiconfigurational effects become pronounced.

math.AG↗

arXiv2025

Torus Actions on Matrix Schubert and Kazhdan-Lusztig Varieties, and their Links to Statistical Models

We investigate the toric geometry of two families of generalised determinantal varieties arising from permutations: Matrix Schubert varieties ($\overline{X_w}$) and Kazhdan-Lusztig varieties ($\mathcal{N}_{v,w}$). Matrix Schubert varieties can be written as $\overline{X_w} = Y_w \times \mathbb C^d$, where $d$ is maximal. We are especially interested in the structure and complexity of these varieties $Y_w$ and $\mathcal{N}_{v,w}$ under the so-called usual torus actions. In the case when $Y_w$ is toric, we provide a full characterisation of the simple reflections $s_i$ that render ${Y_{w \cdot s_i}}$ toric, as well as the corresponding changes to the weight cone. For Kazhdan-Lusztig varieties, we consider how moving one of the two permutations $v,w$ along a chain in the Bruhat poset affects their complexity. Additionally, we study the complexity of these varieties, for permutations $v$ and $w$ of a specific structure. Finally, we consider the links between these determinantal varieties and two classes of statistical models; namely conditional independence and quasi-independence models.

math.AG↗

arXiv2025

The GameTheory package for Macaulay2

We describe the GameTheory package version 1.0 for computing equilibria in game theory available since version 1.25.05 of Macaulay2. We briefly explain the four equilibrium notions, Nash, correlated, dependency, and conditional independence, and demonstrate their implementation in the package with examples.

math.AG↗

arXiv2025

Elliptic curves in game theory

We investigate Spohn curves, the algebro-geometric models of totally mixed dependency equilibria for $2 \times 2$ normal-form games. These curves arise as the intersection of two quadrics in $\mathbb{P}^3$ and are generically elliptic curves. We examine the reduction of Spohn curves to plane curves, providing a full classification of conditions under which they are reducible. Notably, we prove that the real points are dense on the Spohn curve in all cases, which is relevant for applications. These computations are further supported by Macaulay2 and stored in Mathrepo. We review methods to compute the $j$-invariants of elliptic curves arising as the intersection of quadrics in $\mathbb P^3$ which we apply to the case of Spohn curves aimed at game theorists. We propose a definition of equivalence of generic $2\times 2$ games based on the $j$-invariant of the Spohn curve.

math.AG↗