-
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
Authors:
Sandra Müller,
Bartosz Wcisło
Abstract:
We describe a construction of a model of second order arithmetic in which (boldface) $\bm{Π^1_n}$-determinacy holds, but (lightface) $Π^1_{n+2}$-$\mathsf{DC}$ fails, thus showing that no projective level of determinacy implies full $\mathsf{DC}_{\mathbb{R}}$. The construction builds upon the work of Gitman, Friedman, and Kanovei.
We describe a construction of a model of second order arithmetic in which (boldface) $\bm{Π^1_n}$-determinacy holds, but (lightface) $Π^1_{n+2}$-$\mathsf{DC}$ fails, thus showing that no projective level of determinacy implies full $\mathsf{DC}_{\mathbb{R}}$. The construction builds upon the work of Gitman, Friedman, and Kanovei.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
A Scalable Gradient-Based Optimization Framework for Sparse Minimum-Variance Portfolio Selection
Authors:
Sarat Moka,
Matias Quiroz,
Vali Asimit,
Samuel Muller
Abstract:
Portfolio optimization involves selecting asset weights to minimize a risk-reward objective, such as the portfolio variance in the classical minimum-variance framework. Sparse portfolio selection extends this by imposing a cardinality constraint: only $k$ assets from a universe of $p$ may be included. The standard approach models this problem as a mixed-integer quadratic program and relies on comm…
▽ More
Portfolio optimization involves selecting asset weights to minimize a risk-reward objective, such as the portfolio variance in the classical minimum-variance framework. Sparse portfolio selection extends this by imposing a cardinality constraint: only $k$ assets from a universe of $p$ may be included. The standard approach models this problem as a mixed-integer quadratic program and relies on commercial solvers to find the optimal solution. However, the computational costs of such methods increase exponentially with $k$ and $p$, making them too slow for problems of even moderate size. We propose a fast and scalable gradient-based approach that transforms the combinatorial sparse selection problem into a constrained continuous optimization task via Boolean relaxation, while preserving equivalence with the original problem on the set of binary points. Our algorithm employs a tunable parameter that transmutes the auxiliary objective from a convex to a concave function. This allows a stable convex starting point, followed by a controlled path toward a sparse binary solution as the tuning parameter increases and the objective moves toward concavity. In practice, our method matches commercial solvers in asset selection for most instances and, in rare instances, the solution differs by a few assets whilst showing a negligible error in portfolio variance.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
The $λ$-PSP at $λ$-coanalytic sets
Authors:
Fernando Barrera,
Vincenzo Dimonte,
Sandra Müller
Abstract:
Given a strong limit cardinal $λ$ of countable cofinality, we show that if every $λ$-coanalytic subset of the generalised Cantor space ${}^λ2$ has the $λ$-$\mathsf{PSP}$, then there is an inner model with $λ$-many measurable cardinals. The paper, a contribution to the ongoing research on generalised regularity properties in generalised descriptive set theory at singular cardinals of countable cofi…
▽ More
Given a strong limit cardinal $λ$ of countable cofinality, we show that if every $λ$-coanalytic subset of the generalised Cantor space ${}^λ2$ has the $λ$-$\mathsf{PSP}$, then there is an inner model with $λ$-many measurable cardinals. The paper, a contribution to the ongoing research on generalised regularity properties in generalised descriptive set theory at singular cardinals of countable cofinality, is aimed at descriptive set theorists, and so it presents the main result in small steps, slowly increasing the consistency strength lower bound from the existence of an inner model with a measurable cardinal up to the already mentioned one. For this, the inner model theory and covering properties of the Dodd-Jensen core model, $L[U]$ and Koepke's canonical model are used. By giving as much detail as needed at any step, we intend to provide the community with the necessary tools to deal with consistency strength arguments at the corresponding levels.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
Decomposable and essentially univariate mass-action systems: Extensions of the deficiency one theorem
Authors:
Abhishek Deshpande,
Stefan Müller
Abstract:
The classical and extended deficiency one theorems by Feinberg apply to reaction networks with mass-action kinetics that have independent linkage classes or subnetworks, each with a deficiency of at most one and exactly one terminal strong component. The theorems assume the existence of a positive equilibrium and guarantee the existence of a unique positive equilibrium in every stoichiometric comp…
▽ More
The classical and extended deficiency one theorems by Feinberg apply to reaction networks with mass-action kinetics that have independent linkage classes or subnetworks, each with a deficiency of at most one and exactly one terminal strong component. The theorems assume the existence of a positive equilibrium and guarantee the existence of a unique positive equilibrium in every stoichiometric compatibility class.
In our work, we use the $\textit{monomial dependency}$ which extends the concept of deficiency. First, we provide a dependency one theorem for parametrized systems of polynomial equations that are essentially univariate and decomposable. As our main result, we present a corresponding theorem for mass-action systems, which permits subnetworks with arbitrary deficiency and arbitrary number of terminal strong components. Finally, to complete the picture, we derive the extended deficiency one theorem as a special case of our more general dependency one theorem.
△ Less
Submitted 28 February, 2025;
originally announced February 2025.
-
High-dimensional stochastic finite volumes using the tensor train format
Authors:
Juliette Dubois,
Michael Herty,
Siegfried Müller
Abstract:
We propose a method for the uncertainty quantification of nonlinear hyperbolic equations with many uncertain parameters. The method combines the stochastic finite volume method and tensor trains in a novel way: the physical space and time dimensions are kept as full tensors, while all stochastic dimensions are compressed together into a tensor train. The resulting hybrid format has one tensor trai…
▽ More
We propose a method for the uncertainty quantification of nonlinear hyperbolic equations with many uncertain parameters. The method combines the stochastic finite volume method and tensor trains in a novel way: the physical space and time dimensions are kept as full tensors, while all stochastic dimensions are compressed together into a tensor train. The resulting hybrid format has one tensor train for each spatial cell and each time step. We adapt a MUSCL scheme to this hybrid format and show the feasibility of the approach using several classical test cases. A convergence study is done on the Burgers' equation with three stochastic parameters. We also solve the Burgers' equation for an increasing number of stochastic dimensions and show an example with the Euler equations. The presented method opens new avenues for combining uncertainty quantification with well-known numerical schemes for conservation law.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Rational points on the non-split Cartan modular curve of level 27 and quadratic Chabauty over number fields
Authors:
Jennifer S. Balakrishnan,
L. Alexander Betts,
Daniel Rayor Hast,
Aashraya Jha,
J. Steffen Müller
Abstract:
Thanks to work of Rouse, Sutherland, and Zureick-Brown, it is known exactly which subgroups of GL$_2(\mathbf{Z}_3)$ can occur as the image of the $3$-adic Galois representation attached to a non-CM elliptic curve over $\mathbf{Q}$, with a single exception: the normaliser of the non-split Cartan subgroup of level 27. In this paper, we complete the classification of 3-adic Galois images by showing t…
▽ More
Thanks to work of Rouse, Sutherland, and Zureick-Brown, it is known exactly which subgroups of GL$_2(\mathbf{Z}_3)$ can occur as the image of the $3$-adic Galois representation attached to a non-CM elliptic curve over $\mathbf{Q}$, with a single exception: the normaliser of the non-split Cartan subgroup of level 27. In this paper, we complete the classification of 3-adic Galois images by showing that the normaliser of the non-split Cartan subgroup of level 27 cannot occur as a 3-adic Galois image of a non-CM elliptic curve.
Our proof proceeds via computing the $\mathbf{Q}(ζ_3)$-rational points on a certain smooth plane quartic curve $X'_H$ (arising as a quotient of the modular curve $X_{ns}^+(27)$) defined over $\mathbf{Q}(ζ_3)$ whose Jacobian has Mordell--Weil rank 6. To this end, we describe how to carry out the quadratic Chabauty method for a modular curve $X$ defined over a number field $F$, which, when applicable, determines a finite subset of $X(F\otimes\mathbf{Q}_p)$ in certain situations of larger Mordell--Weil rank than previously considered. Together with an analysis of local heights above 3, we apply this quadratic Chabauty method to determine $X'_H(\mathbf{Q}(ζ_3))$. This allows us to compute the set $X_{ns}^+(27)(\mathbf{Q})$, finishing the classification of 3-adic images of Galois.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
Gödel's Program in Set Theory
Authors:
Sandra Müller,
Grigor Sargsyan
Abstract:
Gödel proved in the 1930s in his famous Incompleteness Theorems that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms. A few years later he showed the celebrated result that Cantor's Continuum Hypothesis is consistent. Afterwards, Gödel raised the question whether, despite the fact that there is no reasonable axiomatic framework for all mathematical stateme…
▽ More
Gödel proved in the 1930s in his famous Incompleteness Theorems that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms. A few years later he showed the celebrated result that Cantor's Continuum Hypothesis is consistent. Afterwards, Gödel raised the question whether, despite the fact that there is no reasonable axiomatic framework for all mathematical statements, natural statements, such as Cantor's Continuum Hypothesis, can be decided via extending ZFC by large cardinal axioms. While this question has been answered negatively, the problem of finding good axioms that decide natural mathematical statements remains open. There is a compelling candidate for an axiom that could solve Gödel's problem: V = Ultimate-L. In addition, due to recent results the Sealing scenario has gained a lot of attention. We describe these candidates as well as their impact and relationship.
△ Less
Submitted 12 December, 2024; v1 submitted 10 December, 2024;
originally announced December 2024.
-
Automorphisms of Nikulin-type orbifolds
Authors:
Simon Brandhorst,
Grégoire Menet,
Stevell Muller
Abstract:
We show that the monodromoy group of Nikulin-type orbifolds is maximal and classify finite order symplectic automorphisms up to deformation in terms of their action on the second integral cohomology group.
We show that the monodromoy group of Nikulin-type orbifolds is maximal and classify finite order symplectic automorphisms up to deformation in terms of their action on the second integral cohomology group.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Numerical Boundary Control of Multi-Dimensional Hyperbolic Equations
Authors:
Michael Herty,
Kai Hinzmann,
Siegfried Müller,
Ferdinand Thein
Abstract:
Existing theoretical stabilization results for linear, hyperbolic multi-dimensional problems are extended to the discretized multi-dimensional problems. In contrast to existing theoretical and numerical analysis in the spatially one-dimensional case the effect of the numerical dissipation is analyzed and explicitly quantified. Further, using dimensional splitting, the numerical analysis is extende…
▽ More
Existing theoretical stabilization results for linear, hyperbolic multi-dimensional problems are extended to the discretized multi-dimensional problems. In contrast to existing theoretical and numerical analysis in the spatially one-dimensional case the effect of the numerical dissipation is analyzed and explicitly quantified. Further, using dimensional splitting, the numerical analysis is extended to the multi-dimensional case. The findings are confirmed by numerical simulations for low-order and high-order DG schemes both in the one-dimensional and two-dimensional case.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Existence of a unique solution to parametrized systems of generalized polynomial equations
Authors:
Abhishek Deshpande,
Stefan Müller
Abstract:
We consider solutions to parametrized systems of generalized polynomial equations (with real exponents) in $n$ positive variables, involving $m$ monomials with positive parameters; that is, $x\in\mathbb{R}^n_>$ such that ${A \, (c \circ x^B)=0}$ with coefficient matrix $A\in\mathbb{R}^{l \times m}$, exponent matrix $B\in\mathbb{R}^{n \times m}$, parameter vector $c\in\mathbb{R}^m_>$, and component…
▽ More
We consider solutions to parametrized systems of generalized polynomial equations (with real exponents) in $n$ positive variables, involving $m$ monomials with positive parameters; that is, $x\in\mathbb{R}^n_>$ such that ${A \, (c \circ x^B)=0}$ with coefficient matrix $A\in\mathbb{R}^{l \times m}$, exponent matrix $B\in\mathbb{R}^{n \times m}$, parameter vector $c\in\mathbb{R}^m_>$, and componentwise product $\circ$.
As our main result, we characterize the existence of a unique solution (modulo an exponential manifold) for all parameters in terms of the relevant geometric objects of the polynomial system, namely the $\textit{coefficient polytope}$ and the $\textit{monomial dependency subspace}$. We show that unique existence is equivalent to the bijectivity of a certain moment/power map, and we characterize the bijectivity of this map using Hadamard's global inversion theorem. Furthermore, we provide sufficient conditions in terms of sign vectors of the geometric objects, thereby obtaining a multivariate Descartes' rule of signs for exactly one solution.
△ Less
Submitted 17 September, 2024;
originally announced September 2024.
-
A relaxation approach to the coupling of a two-phase fluid with a linear-elastic solid
Authors:
Niklas Kolbe,
Siegfried Müller
Abstract:
A recently developed coupling strategy for two nonconservative hyperbolic systems is employed to investigate a collapsing vapor bubble embedded in a liquid near a solid. For this purpose, an elastic solid modeled by a linear system of conservation laws is coupled to the two-phase Baer-Nunziato-type model for isothermal fluids, a nonlinear hyperbolic system with non-conservative products. For the c…
▽ More
A recently developed coupling strategy for two nonconservative hyperbolic systems is employed to investigate a collapsing vapor bubble embedded in a liquid near a solid. For this purpose, an elastic solid modeled by a linear system of conservation laws is coupled to the two-phase Baer-Nunziato-type model for isothermal fluids, a nonlinear hyperbolic system with non-conservative products. For the coupling of the two systems the Jin-Xin relaxation concept is employed and embedded in a second order finite volume scheme. For a proof of concept simulations in one space dimension are performed.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks
Authors:
Marcus S. Aichmayr,
Stefan Müller,
Georg Regensburger
Abstract:
We present our SageMath package elementary_vectors for computing elementary and sign vectors of real subspaces. In this setting, elementary vectors are support-minimal vectors that can be determined from maximal minors of a real matrix representing a subspace. By applying the sign function, we obtain the cocircuits of the corresponding oriented matroid, which in turn allow the computation of all s…
▽ More
We present our SageMath package elementary_vectors for computing elementary and sign vectors of real subspaces. In this setting, elementary vectors are support-minimal vectors that can be determined from maximal minors of a real matrix representing a subspace. By applying the sign function, we obtain the cocircuits of the corresponding oriented matroid, which in turn allow the computation of all sign vectors of a real subspace.
As an application, we discuss sign vector conditions for existence and uniqueness of complex-balanced equilibria of chemical reaction networks with generalized mass-action kinetics. The conditions are formulated in terms of sign vectors of two subspaces arising from the stoichiometric coefficients and the kinetic orders of the reactions. We discuss how these conditions can be checked algorithmically, and we demonstrate the functionality of our package sign_vector_conditions in several examples.
△ Less
Submitted 17 July, 2024;
originally announced July 2024.
-
Algebraically trivial automorphisms of irreducible holomorphic symplectic manifolds
Authors:
Stevell Muller
Abstract:
We extend the lattice-theoretic approach of Brandhorst--Cattaneo to classify algebraically trivial actions on the known IHS manifolds, up to deformation and birational conjugacy. In particular, we classify even order algebraically trivial nonsymplectic automorphisms, with or without trivial discriminant action. In the case of nontrivial discriminant actions, we show that such automorphisms exist o…
▽ More
We extend the lattice-theoretic approach of Brandhorst--Cattaneo to classify algebraically trivial actions on the known IHS manifolds, up to deformation and birational conjugacy. In particular, we classify even order algebraically trivial nonsymplectic automorphisms, with or without trivial discriminant action. In the case of nontrivial discriminant actions, we show that such automorphisms exist only for finitely many known deformation types and orders.
△ Less
Submitted 8 January, 2025; v1 submitted 8 July, 2024;
originally announced July 2024.
-
Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
Authors:
Sandra Müller
Abstract:
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt Gödel's famous incompleteness theorems, we nowadays know numerous concrete examples for such questions. A large number of problems in set theory, for example, regularity properties such as Lebesgue measurability and the Baire property…
▽ More
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt Gödel's famous incompleteness theorems, we nowadays know numerous concrete examples for such questions. A large number of problems in set theory, for example, regularity properties such as Lebesgue measurability and the Baire property are not decided - for even rather simple (for example, projective) sets of reals - by ZFC. Even many problems outside of set theory have been showed to be unsolvable, meaning neither their truth nor their failure can be proven from ZFC. A major part of set theory is devoted to attacking this problem by studying various extensions of ZFC and their properties. We outline some of these extensions and explain current obstacles in understanding their impact on the set theoretical universe together with recent progress on these questions and future scenarios. This work is related to the overall goal to identify the "right" axioms for mathematics.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
On birational automorphisms of double EPW-cubes
Authors:
Simone Billi,
Stevell Muller,
Tomasz Wawak
Abstract:
We give a classification of finite groups of symplectic birational automorphisms on a manifold of K3^[3]-type with stable and stably saturated cohomological action. We describe the group of polarized automorphisms of a smooth double EPW-cube. Using this description, we exhibit examples of projective hyperkaehler manifolds of K3^[3]-type of maximal Picard rank with a symplectic action of a large gr…
▽ More
We give a classification of finite groups of symplectic birational automorphisms on a manifold of K3^[3]-type with stable and stably saturated cohomological action. We describe the group of polarized automorphisms of a smooth double EPW-cube. Using this description, we exhibit examples of projective hyperkaehler manifolds of K3^[3]-type of maximal Picard rank with a symplectic action of a large group.
△ Less
Submitted 27 December, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Rigidity of Euclidean product structure: breakdown for low Sobolev exponents
Authors:
Bruce Kleiner,
Stefan Müller,
László Székelyhidi Jr.,
Xiangdong Xie
Abstract:
We develop a general toolbox to study $W^{1,p}$ solutions of differential inclusions $\nabla u \in K$ for unbounded sets $K$. A key notion is the concept that a subset $K$ of the space $\mathbb{R}^{d \times m}$ of $d \times m$ matrices can be reduced to another set $K'$. We then use this framework to show that the product rigidity for Sobolev maps fails for $p<2$, and also apply our toolbox to sim…
▽ More
We develop a general toolbox to study $W^{1,p}$ solutions of differential inclusions $\nabla u \in K$ for unbounded sets $K$. A key notion is the concept that a subset $K$ of the space $\mathbb{R}^{d \times m}$ of $d \times m$ matrices can be reduced to another set $K'$. We then use this framework to show that the product rigidity for Sobolev maps fails for $p<2$, and also apply our toolbox to simplify several examples from the literature.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
Outward compactness
Authors:
Peter Holy,
Philipp Lücke,
Sandra Müller
Abstract:
We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We refer to this type of compactness property as outward compactness, and we show that instances of this type of principle for second-order logic can be used to char…
▽ More
We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We refer to this type of compactness property as outward compactness, and we show that instances of this type of principle for second-order logic can be used to characterize various large cardinal notions between measurability and extendibility, directly generalizing a classical result of Magidor that characterizes extendible cardinals as the strong compactness cardinals of second-order logic. In addition, we generalize a result of Makowsky that shows that Vopěnka's Principle is equivalent to the existence of compactness cardinals for all abstract logics by characterizing the principle "Ord is Woodin" through outward compactness properties of abstract logics.
△ Less
Submitted 24 April, 2025; v1 submitted 24 February, 2024;
originally announced February 2024.
-
Optimal rigidity estimates for maps of a compact Riemannian manifold to itself
Authors:
Sergio Conti,
Georg Dolzmann,
Stefan Müller
Abstract:
Let $M$ be a smooth, compact, connected, oriented Riemannian manifold, and let $\imath: M \to \mathbb R^d$ be an isometric embedding. We show that a Sobolev map $f: M \to M$ which has the property that the differential $df(q)$ is close to the set $SO(T_q M, T_{f(q)} M)$ of orientation preserving isometries (in an $L^p$ sense) is already $W^{1,p}$ close to a global isometry of $M$. More precisely w…
▽ More
Let $M$ be a smooth, compact, connected, oriented Riemannian manifold, and let $\imath: M \to \mathbb R^d$ be an isometric embedding. We show that a Sobolev map $f: M \to M$ which has the property that the differential $df(q)$ is close to the set $SO(T_q M, T_{f(q)} M)$ of orientation preserving isometries (in an $L^p$ sense) is already $W^{1,p}$ close to a global isometry of $M$. More precisely we prove for $p \in (1,\infty)$ the optimal linear estimate $$\inf_{φ\in \mathrm{Isom}_+(M)} \| \imath \circ f - \imath \circ φ\|_{W^{1,p}}^p \le C E_p(f)$$ where $$ E_p(f) := \int_M {\rm dist}^p(df(q), SO(T_q M, T_{f(q)} M)) \, d{\rm vol}_M$$ and where $\mathrm{Isom}_+(M)$ denotes the group of orientation preserving isometries of $M$.
This extends the Euclidean rigidity estimate of Friesecke-James-Müller [Comm. Pure Appl. Math. {\bf 55} (2002), 1461--1506] to Riemannian manifolds. It also extends the Riemannian stability result of Kupferman-Maor-Shachar [Arch. Ration. Mech. Anal. {\bf 231} (2019), 367--408] for sequences of maps with $E_p(f_k) \to 0$ to an optimal quantitative estimate.
The proof relies on the weak
Riemannian Piola identity of Kupferman-Maor-Shachar, a uniform $C^{1,α}$ approximation through the harmonic map heat flow, and a linearization argument which reduces the estimate to the well-known Riemannian version of Korn's inequality.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction
Authors:
Francesca Bianchi,
Enis Kaya,
J. Steffen Müller
Abstract:
In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We als…
▽ More
In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We also discuss an alternative method to compute these for odd degree genus 2 curves via $p$-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus $2$ that has semistable ordinary reduction at $p$. We provide an algorithm to compute Blakestad's splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.
△ Less
Submitted 28 February, 2025; v1 submitted 31 January, 2024;
originally announced February 2024.
-
Every atom-atom map can be explained by electron pushing diagrams
Authors:
Christoph Flamm,
Stefan Müller,
Peter F. Stadler
Abstract:
Chemical reactions can be understood as transformations of multigraphs (molecules) that preserve vertex labels (atoms) and degrees (sums of bonding and non-bonding electrons), thereby implying the atom-atom map of a reaction. The corresponding reaction mechanism is often described by an electron pushing diagram that explains the transformation by consecutive local relocations of invidudal edges (e…
▽ More
Chemical reactions can be understood as transformations of multigraphs (molecules) that preserve vertex labels (atoms) and degrees (sums of bonding and non-bonding electrons), thereby implying the atom-atom map of a reaction. The corresponding reaction mechanism is often described by an electron pushing diagram that explains the transformation by consecutive local relocations of invidudal edges (electron pairs). Here, we show that every degree-preserving map between multigraphs, and thus every atom-atom map, can be generated by cyclic electron pushing. Moreover, it is always possible to decompose such an explanation into electron pushing diagrams involving only four electron pairs. This in turn implies that every reaction can be decomposed into a sequence of elementary reactions that involve at most two educt molecules and two product molecules. Hence, the requirement of a mechanistic explantion in terms of electron pushing and small imaginary transition states does not impose a combinatorial constraint on the feasibility of hypothetical chemical reactions.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Numerical schemes for coupled systems of nonconservative hyperbolic equations
Authors:
Niklas Kolbe,
Michael Herty,
Siegfried Müller
Abstract:
A new linear relaxation system for nonconservative hyperbolic systems is introduced, in which a nonlocal source term accounts for the nonconservative product of the original system. Using an asymptotic analysis the relaxation limit and its stability are investigated. It is shown that the path-conservative Lax-Friedrichs scheme arises from a discrete limit of an implicit-explicit scheme for the rel…
▽ More
A new linear relaxation system for nonconservative hyperbolic systems is introduced, in which a nonlocal source term accounts for the nonconservative product of the original system. Using an asymptotic analysis the relaxation limit and its stability are investigated. It is shown that the path-conservative Lax-Friedrichs scheme arises from a discrete limit of an implicit-explicit scheme for the relaxation system. The relaxation approach is further employed to couple two nonconservative systems at a static interface. A coupling strategy motivated from conservative Kirchhoff conditions is introduced and a corresponding Riemann solver provided. A fully discrete scheme for coupled nonconservative products is derived and studied in terms of path-conservation. Numerical experiments applying the approach to a coupled model of vascular blood flow are presented.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Coleman-Gross Heights and $p$-adic Néron Functions on Jacobians of Genus $2$ Curves
Authors:
Francesca Bianchi,
Enis Kaya,
J. Steffen Müller
Abstract:
We develop a theory of $p$-adic Néron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic Néron functions if the same auxiliary choices are made. We also decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by C…
▽ More
We develop a theory of $p$-adic Néron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic Néron functions if the same auxiliary choices are made. We also decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by Colmez and Besser, into a sum of local height functions for Jacobians of odd degree genus $2$ curves. We show that this local height function is equal to the $p$-adic Néron function with the same auxiliary choices, regardless of the reduction type of the curve. This extends work of Balakrishnan and Besser for elliptic curves. When the curve has semistable reduction and the reduction of the Jacobian is ordinary, we also describe the $p$-adic Néron function that arises from the canonical Mazur-Tate splitting explicitly in terms of a generalisation of the $p$-adic sigma function constructed by Blakestad.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Finite groups of symplectic birational transformations of IHS manifolds of $OG10$ type
Authors:
Lisa Marquand,
Stevell Muller
Abstract:
We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of OG10 type. In particular, if X is an IHS manifold of OG10 type and G a finite subgroup of symplectic birational transformations of X, then the action of G on H2(X, Z) is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for…
▽ More
We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of OG10 type. In particular, if X is an IHS manifold of OG10 type and G a finite subgroup of symplectic birational transformations of X, then the action of G on H2(X, Z) is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for when such a group is determined by a group of automorphisms acting on a cubic fourfold, and apply it to our classification. Our proof is computer aided and our results are available in a Zenodo dataset.
△ Less
Submitted 23 June, 2025; v1 submitted 10 October, 2023;
originally announced October 2023.
-
Computing p-adic heights on hyperelliptic curves
Authors:
Stevan Gajović,
J. Steffen Müller
Abstract:
We describe an algorithm to compute the local Coleman-Gross p-adic height at p on a hyperelliptic curve. Previously, this was only possible using an algorithm due to Balakrishnan and Besser, which was limited to odd degree. While we follow their general strategy, our algorithm is significantly faster and simpler and works for both odd and even degree. We discuss a precision analysis and an impleme…
▽ More
We describe an algorithm to compute the local Coleman-Gross p-adic height at p on a hyperelliptic curve. Previously, this was only possible using an algorithm due to Balakrishnan and Besser, which was limited to odd degree. While we follow their general strategy, our algorithm is significantly faster and simpler and works for both odd and even degree. We discuss a precision analysis and an implementation in SageMath. Our work has several applications, also discussed in this article. These include various versions of the quadratic Chabauty method, and numerical evidence for a p-adic version of the conjecture of Birch and Swinnerton-Dyer in cases where this was not previously possible.
△ Less
Submitted 12 November, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Linear quadratic Chabauty
Authors:
Stevan Gajović,
J. Steffen Müller
Abstract:
We present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic height to a linear function; we can then express this restriction in terms of holomorphic Coleman integrals under the standard quadratic Chabauty assumption. Th…
▽ More
We present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic height to a linear function; we can then express this restriction in terms of holomorphic Coleman integrals under the standard quadratic Chabauty assumption. Then we use this linear relation to extract the integral points on the curve. We also generalize our method to integral points over number fields. Our method is significantly simpler and faster than all other existing versions of the quadratic Chabauty method. We give examples over $\Q$ and $\Q(\sqrt{7})$.
△ Less
Submitted 2 August, 2023; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Chang models over derived models with supercompact measures
Authors:
Takehiko Gappo,
Sandra Müller,
Grigor Sargsyan
Abstract:
Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $δ$ that is both a limit of Woodin cardinals and a limit of ${<}δ$-strong cardinals. The existence of such a hod mouse is consistent relative to a Woodin cardinal that is a limit of Woodin cardinals. We argue that our Chang-typ…
▽ More
Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $δ$ that is both a limit of Woodin cardinals and a limit of ${<}δ$-strong cardinals. The existence of such a hod mouse is consistent relative to a Woodin cardinal that is a limit of Woodin cardinals. We argue that our Chang-type model satisfies $\mathsf{AD}_{\mathbb{R}} + Θ$ is regular + $ω_1$ is ${<}δ_{\infty}$-supercompact for some regular cardinal $δ_{\infty}>Θ$. This complements Woodin's generalized Chang model, which satisfies $\mathsf{AD}_{\mathbb{R}}+ω_1$ is supercompact, assuming a proper class of Woodin cardinals that are limits of Woodin cardinals.
△ Less
Submitted 13 February, 2025; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Parametrized systems of generalized polynomial inequalitites via linear algebra and convex geometry
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
We provide fundamental results on positive solutions to parametrized systems of generalized polynomial $\textit{inequalities}$ (with real exponents and positive parameters), including generalized polynomial $\textit{equations}$. In doing so, we also offer a new perspective on fewnomials and (generalized) mass-action systems.
We find that geometric objects, rather than matrices, determine general…
▽ More
We provide fundamental results on positive solutions to parametrized systems of generalized polynomial $\textit{inequalities}$ (with real exponents and positive parameters), including generalized polynomial $\textit{equations}$. In doing so, we also offer a new perspective on fewnomials and (generalized) mass-action systems.
We find that geometric objects, rather than matrices, determine generalized polynomial systems: a bounded set/"polytope" $P$ (arising from the coefficient matrix) and two subspaces representing monomial differences and dependencies (arising from the exponent matrix). The dimension of the latter subspace, the monomial dependency $d$, is crucial.
As our main result, we rewrite $\textit{polynomial inequalities}$ in terms of $d$ $\textit{binomial equations}$ on $P$, involving $d$ monomials in the parameters. In particular, we establish an explicit bijection between the original solution set and the solution set on $P$ via exponentiation.
(i) Our results apply to any generalized polynomial system. (ii) The dependency $d$ and the dimension of $P$ indicate the complexity of a system. (iii) Our results are based on methods from linear algebra and convex/polyhedral geometry, and the solution set on $P$ can be further studied using methods from analysis such as sign-characteristic functions (introduced in this work).
We illustrate our results (in particular, the relevant geometric objects) through three examples from real fewnomial and reaction network theory. For two mass-action systems, we parametrize the set of equilibria and the region for multistationarity, respectively, and even for univariate trinomials, we offer new insights: We provide a "solution formula" involving discriminants and "roots".
△ Less
Submitted 4 October, 2024; v1 submitted 24 June, 2023;
originally announced June 2023.
-
A central scheme for coupled hyperbolic systems
Authors:
Michael Herty,
Niklas Kolbe,
Siegfried Müller
Abstract:
A novel numerical scheme to solve coupled systems of conservation laws is introduced. The scheme is derived based on a relaxation approach and does not require information on the Lax curves of the coupled systems, which simplifies the computation of suitable coupling data. The coupling condition for the underlying relaxation system plays a crucial role as it determines the behavior of the scheme i…
▽ More
A novel numerical scheme to solve coupled systems of conservation laws is introduced. The scheme is derived based on a relaxation approach and does not require information on the Lax curves of the coupled systems, which simplifies the computation of suitable coupling data. The coupling condition for the underlying relaxation system plays a crucial role as it determines the behavior of the scheme in the zero relaxation limit. The role of this condition is discussed, a consistency concept with respect to the original problem is introduced, well-posedness is analyzed and explicit, nodal Riemann solvers are provided. Based on a case study considering the p-system of gas dynamics a strategy for the design of the relaxation coupling condition within the new scheme is provided.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
Towards a generic absoluteness theorem for Chang models
Authors:
Sandra Müller,
Grigor Sargsyan
Abstract:
Let $Γ^\infty$ be the set of all universally Baire sets of reals. Inspired by recent work of the second author and Nam Trang, we introduce a new technique for establishing generic absoluteness results for models containing $Γ^\infty$.
Our main technical tool is an iteration that realizes $Γ^\infty$ as the sets of reals in a derived model of some iterate of $V$. We show, from a supercompact cardi…
▽ More
Let $Γ^\infty$ be the set of all universally Baire sets of reals. Inspired by recent work of the second author and Nam Trang, we introduce a new technique for establishing generic absoluteness results for models containing $Γ^\infty$.
Our main technical tool is an iteration that realizes $Γ^\infty$ as the sets of reals in a derived model of some iterate of $V$. We show, from a supercompact cardinal $κ$ and a proper class of Woodin cardinals, that whenever $g \subseteq Col(ω, 2^{2^κ})$ is $V$-generic and $h$ is $V[g]$-generic for some poset $\mathbb{P}\in V[g]$, there is an elementary embedding $j: V\rightarrow M$ such that $j(κ)=ω_1^{V[g*h]}$ and $L(Γ^\infty, \mathbb{R})$ as computed in $V[g*h]$ is a derived model of $M$ at $j(κ)$.
As a corollary we obtain that $\mathsf{Sealing}$ holds in $V[g]$, which was previously demonstrated by Woodin using the stationary tower forcing. Also, using a theorem of Woodin, we conclude that the derived model of $V$ at $κ$ satisfies $\mathsf{AD}_{\mathbb{R}}+``Θ$ is a regular cardinal".
Inspired by core model induction, we introduce the definable powerset $\mathcal{A}^\infty$ of $Γ^\infty$ and use our derived model representation mentioned above to show that the theory of $L(\mathcal{A}^\infty)$ cannot be changed by forcing. Working in a different direction, we also show that the theory of $L(Γ^\infty, \mathbb{R})[\mathcal{C}]$, where $\mathcal{C}$ is the club filter on $\wp_{ω_1}(Γ^\infty)$, cannot be changed by forcing. Proving the two aforementioned results is the first step towards showing that the theory of $L(Ord^ω, Γ^\infty, \mathbb{R})([μ_α: α\in Ord])$, where $μ_α$ is the club filter on $\wp_{ω_1}(α)$, cannot be changed by forcing.
△ Less
Submitted 15 April, 2025; v1 submitted 15 April, 2023;
originally announced April 2023.
-
Parametrized systems of generalized polynomial equations: first applications to fewnomials
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
We consider positive solutions to parametrized systems of generalized polynomial equations (with real exponents and positive parameters). By a fundamental result obtained in parallel work, polynomial systems are determined by geometric objects, rather than matrices: a polytope $P$ (arising from the coefficient matrix) and two subspaces representing monomial differences and dependencies (arising fr…
▽ More
We consider positive solutions to parametrized systems of generalized polynomial equations (with real exponents and positive parameters). By a fundamental result obtained in parallel work, polynomial systems are determined by geometric objects, rather than matrices: a polytope $P$ (arising from the coefficient matrix) and two subspaces representing monomial differences and dependencies (arising from the exponent matrix). The dimension of the latter subspace, the monomial dependency $d$, is crucial. Indeed, we rewrite $\textit{polynomial}$ equations in terms of $d$ $\textit{binomial}$ equations on the coefficient polytope $P$, involving $d$ monomials in the parameters. We further study the solution set on $P$ using methods from analysis such as sign-characteristic functions and Wronskians.
In this work, we present first applications to fewnomial systems through five (classes of) examples. In particular, we study (i) $n$ trinomials involving ${n+2}$ monomials in $n$ variables, having dependency $d=1$, and (ii) one trinomial and one $t$-nomial (with $t\ge3$) in two variables, having $d=t-1\ge2$. For (i), we bound the number of positive solutions using the number of roots of a univariate polynomial of degree at most $n$. We also show that this number is always less than or equal to the number of sign changes in an optimal Descartes' rule given in Bihan et al. (2021). For (ii), we improve upper bounds given in Li et al. (2003) and Koiran et al. (2015). Further, for two trinomials ($t=3$), we refine the known upper bound of five in terms of the exponents, and we find an example with five positive solutions that is even simpler than the smallest "Haas system".
△ Less
Submitted 4 October, 2024; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Model adaptation for hyperbolic balance laws
Authors:
Jan Giesselmann,
Hrishikesh Joshi,
Siegfried Müller,
Aleksey Sikstel
Abstract:
In this work, we devise a model adaptation strategy for a class of model hierarchies consisting of two levels of model complexity. In particular, the fine model consists of a system of hyperbolic balance laws with stiff reaction terms and the coarse model consists of a system of hyperbolic conservation laws. We employ the relative entropy stability framework to obtain an a posteriori modeling erro…
▽ More
In this work, we devise a model adaptation strategy for a class of model hierarchies consisting of two levels of model complexity. In particular, the fine model consists of a system of hyperbolic balance laws with stiff reaction terms and the coarse model consists of a system of hyperbolic conservation laws. We employ the relative entropy stability framework to obtain an a posteriori modeling error estimator. The efficiency of the model adaptation strategy is demonstrated by conducting simulations for chemically reacting fluid mixtures in one space dimension.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
Determinacy and Large Cardinals
Authors:
Sandra Müller
Abstract:
The study of inner models was initiated by Gödel's analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by Jensen, Mitchell, Steel, and others. Around the same time, the study of infinite two-player games was driven forward by Martin's proof of analytic determinacy fr…
▽ More
The study of inner models was initiated by Gödel's analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by Jensen, Mitchell, Steel, and others. Around the same time, the study of infinite two-player games was driven forward by Martin's proof of analytic determinacy from a measurable cardinal, Borel determinacy from ZFC, and Martin and Steel's proof of levels of projective determinacy from Woodin cardinals with a measurable cardinal on top. First Woodin and later Neeman improved the result in the projective hierarchy by showing that in fact the existence of a countable iterable model, a mouse, with Woodin cardinals and a top measure suffices to prove determinacy in the projective hierarchy. This opened up the possibility for an optimal result stating the equivalence between local determinacy hypotheses and the existence of mice in the projective hierarchy. This article outlines the main concepts and results connecting determinacy hypotheses with the existence of mice with large cardinals as well as recent progress in the area.
△ Less
Submitted 4 February, 2023;
originally announced February 2023.
-
Stability of local tip pool sizes
Authors:
Sebastian Müller,
Isabel Amigo,
Alexandre Reiffers-Masson,
Santiago Ruano-Rincón
Abstract:
In distributed ledger technologies (DLTs) with a directed acyclic graph (DAG) data structure, a block-issuing node can decide where to append new blocks and, consequently, how the DAG grows. This DAG data structure is typically decomposed into two pools of blocks, dependent on whether another block already references them. The unreferenced blocks are called the tips. Due to network delay, nodes ca…
▽ More
In distributed ledger technologies (DLTs) with a directed acyclic graph (DAG) data structure, a block-issuing node can decide where to append new blocks and, consequently, how the DAG grows. This DAG data structure is typically decomposed into two pools of blocks, dependent on whether another block already references them. The unreferenced blocks are called the tips. Due to network delay, nodes can perceive the set of tips differently, giving rise to local tip pools.
We present a new mathematical model to analyse the stability of the different local perceptions of the tip pools and allow heterogeneous and random network delay in the underlying peer-to-peer communication layer. Under natural assumptions, we prove that the number of tips is ergodic, converges to a stationary distribution, and provide quantitative bounds on the tip pool sizes. We conclude our study with agent-based simulations to illustrate the convergence of the tip pool sizes and the pool sizes' dependence on the communication delay and degree of centralization.
△ Less
Submitted 3 February, 2023;
originally announced February 2023.
-
Epsilon-Identifiability of Causal Quantities
Authors:
Ang Li,
Scott Mueller,
Judea Pearl
Abstract:
Identifying the effects of causes and causes of effects is vital in virtually every scientific field. Often, however, the needed probabilities may not be fully identifiable from the data sources available. This paper shows how partial identifiability is still possible for several probabilities of causation. We term this epsilon-identifiability and demonstrate its usefulness in cases where the beha…
▽ More
Identifying the effects of causes and causes of effects is vital in virtually every scientific field. Often, however, the needed probabilities may not be fully identifiable from the data sources available. This paper shows how partial identifiability is still possible for several probabilities of causation. We term this epsilon-identifiability and demonstrate its usefulness in cases where the behavior of certain subpopulations can be restricted to within some narrow bounds. In particular, we show how unidentifiable causal effects and counterfactual probabilities can be narrowly bounded when such allowances are made. Often those allowances are easily measured and reasonably assumed. Finally, epsilon-identifiability is applied to the unit selection problem.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Linear and quadratic Chabauty for affine hyperbolic curves
Authors:
Marius Leonhardt,
Martin Lüdtke,
J. Steffen Müller
Abstract:
We give sufficient conditions for finiteness of linear and quadratic refined Chabauty-Kim loci of affine hyperbolic curves. We achieve this by constructing depth $\leq 2$ quotients of the fundamental group, following a construction of Balakrishnan-Dogra in the projective case. We also apply Betts' machinery of weight filtrations to give unconditional explicit upper bounds on the number of S-integr…
▽ More
We give sufficient conditions for finiteness of linear and quadratic refined Chabauty-Kim loci of affine hyperbolic curves. We achieve this by constructing depth $\leq 2$ quotients of the fundamental group, following a construction of Balakrishnan-Dogra in the projective case. We also apply Betts' machinery of weight filtrations to give unconditional explicit upper bounds on the number of S-integral points when our conditions are satisfied.
△ Less
Submitted 27 July, 2023; v1 submitted 26 January, 2023;
originally announced January 2023.
-
Sufficient conditions for linear stability of complex-balanced equilibria in generalized mass-action systems
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
Generalized mass-action systems are power-law dynamical systems arising from chemical reaction networks. Essentially, every nonnegative ODE model used in chemistry and biology (for example, in ecology and epidemiology) and even in economics and engineering can be written in this form. Previous results have focused on existence and uniqueness of special steady states (complex-balanced equilibria) f…
▽ More
Generalized mass-action systems are power-law dynamical systems arising from chemical reaction networks. Essentially, every nonnegative ODE model used in chemistry and biology (for example, in ecology and epidemiology) and even in economics and engineering can be written in this form. Previous results have focused on existence and uniqueness of special steady states (complex-balanced equilibria) for all rate constants, thereby ruling out multiple (special) steady states. Recently, necessary conditions for linear stability have been obtained.
In this work, we provide sufficient conditions for the linear stability of complex-balanced equilibria for all rate constants (and also for the non-existence of other steady states). In particular, via sign-vector conditions (on the stoichiometric coefficients and kinetic orders), we guarantee that the Jacobian matrix is a $P$-matrix. Technically, we use a new decomposition of the graph Laplacian which allows to consider orders of (generalized) monomials. Alternatively, we use cycle decomposition which allows a linear parametrization of all Jacobian matrices. In any case, we guarantee stability without explicit computation of steady states. We illustrate our results in examples from chemistry and biology: generalized Lotka-Volterra systems and SIR models, a two-component signaling system, and an enzymatic futile cycle.
△ Less
Submitted 20 November, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3
Authors:
J. Steffen Müller,
Berno Reitsma
Abstract:
We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature.…
▽ More
We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points over finite fields using the Kummer variety and to check whether they are rational using heights. Both have been made explicit for Jacobians of hyperelliptic curves of genus 3 by Stoll. This article is partially based on the second-named author's Master thesis.
△ Less
Submitted 16 March, 2023; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Invariant Grassmannians and a K3 surface with an action of order 192*2
Authors:
Stevell Muller
Abstract:
Given a complex vector space $V$ of finite dimension, its Grassmannian variety parametrizes all subspaces of $V$ of a given dimension. Similarly, if a finite group $G$ acts on $V$, its invariant Grassmannian parametrizes all the $G$-invariant subspaces of $V$ of a given dimension. Based on this fact, we develop an algorithm for computing $G$-invariant projective varieties arising as an intersectio…
▽ More
Given a complex vector space $V$ of finite dimension, its Grassmannian variety parametrizes all subspaces of $V$ of a given dimension. Similarly, if a finite group $G$ acts on $V$, its invariant Grassmannian parametrizes all the $G$-invariant subspaces of $V$ of a given dimension. Based on this fact, we develop an algorithm for computing $G$-invariant projective varieties arising as an intersection of hypersurfaces of the same degree.
We apply the algorithm to find a projective model of a polarized K3 surface with a faithful action of $T_{192}\rtimes μ_2$ and some further symmetric K3 surfaces with a degree 8 polarization.
△ Less
Submitted 30 April, 2024; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Central schemes for networked scalar conservation laws
Authors:
Michael Herty,
Niklas Kolbe,
Siegfried Müller
Abstract:
We propose a novel scheme to numerically solve scalar conservation laws on networks without the necessity to solve Riemann problems at the junction. The scheme is derived using the relaxation system introduced in [Jin and Xin, Comm. Pure Appl. Math. 48(3), 235-276 (1995)] and taking the relaxation limit also at the nodes of the network. The scheme is mass conservative and yields well defined and e…
▽ More
We propose a novel scheme to numerically solve scalar conservation laws on networks without the necessity to solve Riemann problems at the junction. The scheme is derived using the relaxation system introduced in [Jin and Xin, Comm. Pure Appl. Math. 48(3), 235-276 (1995)] and taking the relaxation limit also at the nodes of the network. The scheme is mass conservative and yields well defined and easy-to-compute coupling conditions even for general networks. We discuss higher order extension of the scheme and applications to traffic flow and two-phase flow. In the former we compare with results obtained in literature.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Multilevel Geometric Optimization for Regularised Constrained Linear Inverse Problems
Authors:
Sebastian Müller,
Stefania Petra,
Matthias Zisler
Abstract:
We present a geometric multilevel optimization approach that smoothly incorporates box constraints. Given a box constrained optimization problem, we consider a hierarchy of models with varying discretization levels. Finer models are accurate but expensive to compute, while coarser models are less accurate but cheaper to compute. When working at the fine level, multilevel optimisation computes the…
▽ More
We present a geometric multilevel optimization approach that smoothly incorporates box constraints. Given a box constrained optimization problem, we consider a hierarchy of models with varying discretization levels. Finer models are accurate but expensive to compute, while coarser models are less accurate but cheaper to compute. When working at the fine level, multilevel optimisation computes the search direction based on a coarser model which speeds up updates at the fine level. Moreover, exploiting geometry induced by the hierarchy the feasibility of the updates is preserved. In particular, our approach extends classical components of multigrid methods like restriction and prolongation to the Riemannian structure of our constraints.
△ Less
Submitted 22 April, 2024; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Classification of Symplectic Birational Involutions of Manifolds of $OG10$ type
Authors:
Lisa Marquand,
Stevell Muller
Abstract:
We give a complete classification of symplectic birational involutions of manifolds of $OG10$ type. We approach this classification with three techniques -- via involutions of the Leech lattice, via involutions of cubic fourfolds and finally lattice enumeration via a modified Kneser's neighbour algorithm. The classification consists of three involutions with an explicit geometric realisation via c…
▽ More
We give a complete classification of symplectic birational involutions of manifolds of $OG10$ type. We approach this classification with three techniques -- via involutions of the Leech lattice, via involutions of cubic fourfolds and finally lattice enumeration via a modified Kneser's neighbour algorithm. The classification consists of three involutions with an explicit geometric realisation via cubic fourfolds, and three exceptional involutions which cannot be obtained by any known construction.
△ Less
Submitted 27 January, 2025; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Rational points on $X^+_0(125)$
Authors:
Vishal Arul,
J. Steffen Müller
Abstract:
We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the work of several authors, this completes the proof of a conjecture of Galbraith.
We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the work of several authors, this completes the proof of a conjecture of Galbraith.
△ Less
Submitted 26 December, 2022; v1 submitted 29 May, 2022;
originally announced May 2022.
-
A new decomposition of the graph Laplacian and the binomial structure of mass-action systems
Authors:
Stefan Müller
Abstract:
We provide a new decomposition of the Laplacian matrix (for labeled directed graphs with strongly connected components), involving an invertible $\textit{core matrix}$, the vector of tree constants, and the incidence matrix of an auxiliary graph, representing an order on the vertices. Depending on the particular order, the core matrix has additional properties. Our results are graph-theoretic/alge…
▽ More
We provide a new decomposition of the Laplacian matrix (for labeled directed graphs with strongly connected components), involving an invertible $\textit{core matrix}$, the vector of tree constants, and the incidence matrix of an auxiliary graph, representing an order on the vertices. Depending on the particular order, the core matrix has additional properties. Our results are graph-theoretic/algebraic in nature.
As a first application, we further clarify the binomial structure of (weakly reversible) mass-action systems, arising from chemical reaction networks. Second, we extend a classical result by Horn and Jackson on the asymptotic stability of special steady states (complex-balanced equilibria). Here, the new decomposition of the graph Laplacian allows us to consider regions in the positive orthant with given $\textit{monomial evaluation orders}$ (and corresponding polyhedral cones in logarithmic coordinates). As it turns out, all dynamical systems are asymptotically stable that can be embedded in certain $\textit{binomial differential inclusions}$. In particular, this holds for complex-balanced mass-action systems, and hence we also obtain a polyhedral-geometry proof of the classical result.
△ Less
Submitted 20 November, 2023; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Sobolev mappings and the spectral sequence for Rumin's filtration on the de Rham complex
Authors:
Bruce Kleiner,
Stefan Muller,
Xiangdong Xie
Abstract:
We consider Rumin's filtration on the de Rham complex of a Carnot group. Although Pansu pullback by a Sobolev map is filtration preserving, it need not be a chain mapping. Nonetheless, we show that Pansu pullback induces a mapping of the associated spectral sequences. This gives an alternate interpretation of the Pullback Theorem from our previous paper.
We consider Rumin's filtration on the de Rham complex of a Carnot group. Although Pansu pullback by a Sobolev map is filtration preserving, it need not be a chain mapping. Nonetheless, we show that Pansu pullback induces a mapping of the associated spectral sequences. This gives an alternate interpretation of the Pullback Theorem from our previous paper.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Multiresolution-analysis for stochastic hyperbolic conservation laws
Authors:
Michael Herty,
Adrian Kolb,
Siegfried Müller
Abstract:
A multiresolution analysis for solving stochastic conservation laws is proposed. Using a novel adaptation strategy and a higher dimensional deterministic problem, a discontinuous Galerkin (DG) solver is derived. A multiresolution analysis of the DG spaces for the proposed adaptation strategy is presented. Numerical results show that in the case of general stochastic distributions the performance o…
▽ More
A multiresolution analysis for solving stochastic conservation laws is proposed. Using a novel adaptation strategy and a higher dimensional deterministic problem, a discontinuous Galerkin (DG) solver is derived. A multiresolution analysis of the DG spaces for the proposed adaptation strategy is presented. Numerical results show that in the case of general stochastic distributions the performance of the DG solver is significantly improved by the novel adaptive strategy. The gain in efficiency is validated in computational experiments.
△ Less
Submitted 27 January, 2023; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Learning the random variables in Monte Carlo simulations with stochastic gradient descent: Machine learning for parametric PDEs and financial derivative pricing
Authors:
Sebastian Becker,
Arnulf Jentzen,
Marvin S. Müller,
Philippe von Wurstemberger
Abstract:
In financial engineering, prices of financial products are computed approximately many times each trading day with (slightly) different parameters in each calculation. In many financial models such prices can be approximated by means of Monte Carlo (MC) simulations. To obtain a good approximation the MC sample size usually needs to be considerably large resulting in a long computing time to obtain…
▽ More
In financial engineering, prices of financial products are computed approximately many times each trading day with (slightly) different parameters in each calculation. In many financial models such prices can be approximated by means of Monte Carlo (MC) simulations. To obtain a good approximation the MC sample size usually needs to be considerably large resulting in a long computing time to obtain a single approximation. In this paper we introduce a new approximation strategy for parametric approximation problems including the parametric financial pricing problems described above. A central aspect of the approximation strategy proposed in this article is to combine MC algorithms with machine learning techniques to, roughly speaking, learn the random variables (LRV) in MC simulations. In other words, we employ stochastic gradient descent (SGD) optimization methods not to train parameters of standard artificial neural networks (ANNs) but to learn random variables appearing in MC approximations. We numerically test the LRV strategy on various parametric problems with convincing results when compared with standard MC simulations, Quasi-Monte Carlo simulations, SGD-trained shallow ANNs, and SGD-trained deep ANNs. Our numerical simulations strongly indicate that the LRV strategy might be capable to overcome the curse of dimensionality in the $L^\infty$-norm in several cases where the standard deep learning approach has been proven not to be able to do so. This is not a contradiction to lower bounds established in the scientific literature because this new LRV strategy is outside of the class of algorithms for which lower bounds have been established in the scientific literature. The proposed LRV strategy is of general nature and not only restricted to the parametric financial pricing problems described above, but applicable to a large class of approximation problems.
△ Less
Submitted 8 June, 2023; v1 submitted 6 February, 2022;
originally announced February 2022.
-
Rigidity of flag manifolds
Authors:
Bruce Kleiner,
Stefan Muller,
Xiangdong Xie
Abstract:
Let $N\subset GL(n,R)$ be the group of upper triangular matrices with $1$s on the diagonal, equipped with the standard Carnot group structure. We show that quasiconformal homeomorphisms between open subsets of $N$, and more generally Sobolev mappings with nondegenerate Pansu differential, are rigid when $n \geq 4$; this settles the Regularity Conjecture for such groups. This result is deduced from…
▽ More
Let $N\subset GL(n,R)$ be the group of upper triangular matrices with $1$s on the diagonal, equipped with the standard Carnot group structure. We show that quasiconformal homeomorphisms between open subsets of $N$, and more generally Sobolev mappings with nondegenerate Pansu differential, are rigid when $n \geq 4$; this settles the Regularity Conjecture for such groups. This result is deduced from a rigidity theorem for the manifold of complete flags in $R^n$. Similar results also hold in the complex and quaternion cases.
△ Less
Submitted 1 August, 2022; v1 submitted 5 January, 2022;
originally announced January 2022.
-
What makes a reaction network "chemical"?
Authors:
Stefan Müller,
Christoph Flamm,
Peter F. Stadler
Abstract:
Reaction networks (RNs) comprise a set $X$ of species and a set $\mathscr{R}$ of reactions $Y\to Y'$, each converting a multiset of educts $Y\subseteq X$ into a multiset $Y'\subseteq X$ of products. RNs are equivalent to directed hypergraphs. However, not all RNs necessarily admit a chemical interpretation. Instead, they might contradict fundamental principles of physics such as the conservation o…
▽ More
Reaction networks (RNs) comprise a set $X$ of species and a set $\mathscr{R}$ of reactions $Y\to Y'$, each converting a multiset of educts $Y\subseteq X$ into a multiset $Y'\subseteq X$ of products. RNs are equivalent to directed hypergraphs. However, not all RNs necessarily admit a chemical interpretation. Instead, they might contradict fundamental principles of physics such as the conservation of energy and mass or the reversibility of chemical reactions. The consequences of these necessary conditions for the stoichiometric matrix $\mathbf{S} \in \mathbb{R}^{X\times\mathscr{R}}$ have been discussed extensively in the literature. Here, we provide sufficient conditions for $\mathbf{S}$ that guarantee the interpretation of RNs in terms of balanced sum formulas and structural formulas, respectively.
Chemically plausible RNs allow neither a perpetuum mobile, i.e., a "futile cycle" of reactions with non-vanishing energy production, nor the creation or annihilation of mass. Such RNs are said to be thermodynamically sound and conservative. For finite RNs, both conditions can be expressed equivalently as properties of $\mathbf{S}$. The first condition is vacuous for reversible networks, but it excludes irreversible futile cycles and - in a stricter sense - futile cycles that even contain an irreversible reaction. The second condition is equivalent to the existence of a strictly positive reaction invariant. Furthermore, it is sufficient for the existence of a realization in terms of sum formulas, obeying conservation of "atoms". In particular, these realizations can be chosen such that any two species have distinct sum formulas, unless $\mathbf{S}$ implies that they are "obligatory isomers". In terms of structural formulas, every compound is a labeled multigraph, in essence a Lewis formula, and reactions comprise only a rearrangement of bonds such that the total bond order is preserved.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
p-adic adelic metrics and Quadratic Chabauty I
Authors:
Amnon Besser,
J. Steffen Müller,
Padmavathi Srinivasan
Abstract:
We give a new construction of $p$-adic heights on varieties over number fields using $p$-adic Arakelov theory. In analogy with Zhang's construction of real-valued heights in terms of adelic metrics, these heights are given in terms of $p$-adic adelic metrics on line bundles. In particular, we describe a construction of canonical $p$-adic heights on abelian varieties and we show that we recover the…
▽ More
We give a new construction of $p$-adic heights on varieties over number fields using $p$-adic Arakelov theory. In analogy with Zhang's construction of real-valued heights in terms of adelic metrics, these heights are given in terms of $p$-adic adelic metrics on line bundles. In particular, we describe a construction of canonical $p$-adic heights on abelian varieties and we show that we recover the canonical Mazur--Tate height and, for Jacobians, the height constructed by Coleman and Gross. Our main application is a new and simplified approach to the Quadratic Chabauty method for the computation of rational points on certain curves over the rationals, by pulling back the canonical height on the Jacobian with respect to a carefully chosen line bundle. We show that our construction allows us to reprove, without using $p$-adic Hodge theory or arithmetic fundamental groups, several results due to Balakrishnan and Dogra. Our method also extends to primes $p$ of bad reduction. One consequence of our work is that for any canonical height ($p$-adic or $\mathbb{R}$-valued) on an abelian variety (and hence on pull-backs to other varieties), the local contribution at a finite prime $q$ can be constructed using $q$-analytic methods.
△ Less
Submitted 23 November, 2022; v1 submitted 7 December, 2021;
originally announced December 2021.
-
Sobolev mappings between nonrigid Carnot groups
Authors:
Bruce Kleiner,
Stefan Muller,
Xiangdong Xie
Abstract:
We consider mappings between Carnot groups. In this paper, which is a continuation of "Pansu pullback and rigidity of mappings between Carnot groups" (arXiv:2004.09271), we focus on Carnot groups which are nonrigid in the sense of Ottazzi-Warhurst. We show that quasisymmetric homeomorphisms are reducible in the sense that they preserve a special type of coset foliation, unless the group is isomorp…
▽ More
We consider mappings between Carnot groups. In this paper, which is a continuation of "Pansu pullback and rigidity of mappings between Carnot groups" (arXiv:2004.09271), we focus on Carnot groups which are nonrigid in the sense of Ottazzi-Warhurst. We show that quasisymmetric homeomorphisms are reducible in the sense that they preserve a special type of coset foliation, unless the group is isomorphic to R^n or a real or complex Heisenberg group (where the assertion fails). We use this to prove the quasisymmetric rigidity conjecture for such groups. The starting point of the proof is the pullback theorem established our previous paper.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
