Showing 1–50 of 184 results for author: Müller, S

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 non symplectic automorphisms, with or without trivial discriminant action. In the case of nontrivial discriminant actions, we show that such automorphisms exist… ▽ 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 non symplectic 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 July, 2024; originally announced July 2024.

Comments: 41 pages, 7 tables. Comments welcome!

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.

Comments: Survey article. arXiv admin note: text overlap with arXiv:2302.02248

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 20 June, 2024; v1 submitted 24 May, 2024; originally announced May 2024.

Comments: 19 pages, 3 tables, 1 figure. Previous sections 3.1 and 3.2 on degenerations removed. New theorem 0.1 with focus on birational automorphisms. Appendix moved as a proper section. Comments welcome!

MSC Class: 14J42; 14J50; 14J60

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.

Comments: Dedicated to Professor Vladimir \v Sverák on the occasion of his 65th birthday

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 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 31 January, 2024; originally announced February 2024.

MSC Class: 14G40 (Primary) 11G50; 11S80; 14G05; 14F30 (Secondary)

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.

MSC Class: 05C92; 92E10

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.

Comments: 27 pages, 4 figures, 2 tables

MSC Class: 35L65; 35R02; 65M08

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.

Comments: 38 pages

MSC Class: Primary: 11G50; 14G40. Secondary: 14H42; 14K25; 11S40; 11S80

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, up to deformation there are 367 birational conjugacy classes of pairs $(X,G)$, consisting of an IHS manifold $X$ of $OG10$ type and a saturated, finite subgroup $G\leq \mathrm{Bir}_s(X)$. We determine the action of $G$ on… ▽ More We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of $OG10$ type. In particular, up to deformation there are 367 birational conjugacy classes of pairs $(X,G)$, consisting of an IHS manifold $X$ of $OG10$ type and a saturated, finite subgroup $G\leq \mathrm{Bir}_s(X)$. We determine the action of $G$ on $H^2(X,\mathbb{Z})$ for each case. 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. △ Less

Submitted 20 February, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: 38 pages, 1 table, comments welcome. Full classification available in Table 2 (ancillary file). Data recomputed, duplicate results removed, and figures updated

MSC Class: 14J42; 14Q15; 14E07; 14J50; 11H56

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 10 January, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: 24 pages

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.

Comments: 20 pages

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}^+ + \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}^+ + \mathsf{AD}_{\mathbb{R}}+ω_1$ is supercompact, assuming a proper class of Woodin cardinals that are limits of Woodin cardinals. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Comments: 22 pages

Parametrized systems of polynomial inequalitites with real exponents via linear algebra and convex geometry

Authors: Stefan Müller, Georg Regensburger

Abstract: We consider parametrized systems of generalized polynomial inequalities (with real exponents) in $n$ positive variables $x$ and involving $m$ monomial terms $c \circ x^B$ (with exponent matrix $B$, positive parameters $c$, and component-wise product $\circ$). More generally, we study solutions $x \in \mathbb{R}^n_>$ to $(c \circ x^B) \in C$ for a "coefficient cone" $C \subseteq \mathbb{R}^m_>$. Ou… ▽ More We consider parametrized systems of generalized polynomial inequalities (with real exponents) in $n$ positive variables $x$ and involving $m$ monomial terms $c \circ x^B$ (with exponent matrix $B$, positive parameters $c$, and component-wise product $\circ$). More generally, we study solutions $x \in \mathbb{R}^n_>$ to $(c \circ x^B) \in C$ for a "coefficient cone" $C \subseteq \mathbb{R}^m_>$. Our framework encompasses systems of generalized polynomial equations, as studied in real fewnomial and reaction network theory. We identify the relevant geometric objects of the problem, namely a bounded set $P$ arising from the coefficient cone and two subspaces representing monomial differences and dependencies. The dimension of the latter subspace (the monomial dependency $d$) is crucial. As our main result, we rewrite the problem in terms of $d$ binomial conditions on the "coefficient set" $P$, involving $d$ monomials in the parameters. In particular, we obtain a classification of polynomial inequality systems. If $d=0$, solutions exist (for all $c$) and can be parametrized explicitly, thereby generalizing monomial parametrizations (of the solutions). Even if $d>0$, solutions on the coefficient set can often be determined more easily than solutions of the original system. Our framework allows a unified treatment of multivariate polynomial inequalities, based on linear algebra and convex geometry. We demonstrate its novelty and relevance in 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 for univariate trinomials, we provide a "solution formula" involving discriminants and "roots". △ Less

Submitted 19 October, 2023; v1 submitted 24 June, 2023; originally announced June 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2304.05273. author note: we now separated material between this manuscript and arXiv:2304.05273, in particular, there is no overlap anymore regarding examples. there is still overlap in the outline of the underlying geometric objects objects, but this is required for a self-contained presentation

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.

Comments: 26 pages, 6 figures, 2 tables

MSC Class: 35L65; 35R02; 65M08

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, 2023; originally announced April 2023.

Parametrized systems of polynomial equations with real exponents: applications to fewnomials

Authors: Stefan Müller, Georg Regensburger

Abstract: We consider parametrized systems of generalized polynomial equations (with real exponents) in $n$ positive variables and 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 componentwi… ▽ More We consider parametrized systems of generalized polynomial equations (with real exponents) in $n$ positive variables and 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$. We instantiate a general result for polynomial inequalities obtained in parallel work. In the setting of equations, the relevant geometric objects of the problem are a polytope arising from the coefficients and two subspaces representing monomial differences and dependencies. The dimension of the latter subspace (the monomial dependency $d$) is crucial. Indeed, we rewrite the problem in terms of $d$ binomial conditions on the "coefficient polytope", involving $d$ monomials in the parameters. Thereby, we obtain a classification of polynomial equation systems. If $d=0$, solutions exist (for all $c$) and can be parametrized explicitly. If $d>0$, the analysis requires additional objects and methods such as sign-characteristic functions, Descartes' rule of signs for functions, and Wronskians. Our framework allows a unified treatment of multivariate polynomial equations. We demonstrate its novelty and relevance in three examples and two classes of examples from real fewnomial theory. In particular, we study (i) $n$ trinomials involving ${n+2}$ monomials in $n$ variables and (ii) one trinomial and one $t$-nomial in two variables. For (ii), we improve previous upper bounds for the number of positive solutions. △ Less

Submitted 19 October, 2023; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: author note: this manuscript (about polynomial EQUATIONS) is parallel work to arXiv:2306.13916 (about INEQUALITIES). there is overlap in the outline of the underlying geometric objects objects, but this is required for a self-contained presentation. more specifically, in this manuscript, we apply results from arXiv:2306.13916, and we modified the title, accordingly

MSC Class: 14P15; 52B99; 12D10

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.

Comments: 6 figures

MSC Class: 60K25; 68M14; 68M20

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.

Comments: 20 pages; comments welcome

MSC Class: 14G05 (Primary) 11G30; 11D45 (Secondary)

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.

Comments: Fixed typos; to appear in Research in Number Theory

MSC Class: 11G10; 11G30; 14H40; 14K15

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.

Comments: Revised version after referees' reports; accepted for publication in Journal of Computational Algebra

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 [** 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 [** 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.

Comments: 29 pages, 8 figures

MSC Class: 65M08; 35R02; 35L02

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.

Comments: 25 pages, 6 figures

MSC Class: 65K10; 49J40; 49M37; 68U10; 74P20; 90C06

Journal ref: Pure and Applied Functional Analysis, Vol. 8 (2023), No. 3, pp. 855-880

Classification of Symplectic Birational Involutions of Manifolds of $OG10$ type

Authors: Lisa Marquand, Stevell Muller

Abstract: In this paper we give a 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. In particular, the classification consists of three involutions with an explicit geometri… ▽ More In this paper we give a 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. In particular, 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 5 July, 2023; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 28 pages. Corrected minor typos and updated references

MSC Class: 14J42 (Primary); 14E07; 14J70; 14J50

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.

Comments: 8 pages; minor changes following referee report

MSC Class: 14g05; 11g30; 11g18

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.

MSC Class: 05C20; 37A50; 92C45; 34D20; 52B11

Sobolev map**s 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 map**. Nonetheless, we show that Pansu pullback induces a map** 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 map**. Nonetheless, we show that Pansu pullback induces a map** 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.

MSC Class: 30C65 (Primary); 30L10; 53C17 (Secondary)

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.

Comments: 71 pages, 4 Figures, 14 Tables; to appear in Math. Finance

MSC Class: 35K15; 65C05; 65M75; 68T99; 91G20

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 map**s 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 map**s 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.

Comments: Added citations to earlier work which had been overlooked in the previous version of the paper

MSC Class: 30C65 (Primary); 30L10; 53C17 (Secondary)

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.

Comments: Updates include a p-adic Arakelov-theory proof that the method extends when $r>g$ and $r<g+\mathrm{rank}(\mathrm{NS}(J))-1$ (Sections 3.4 and 7.2), comparison to Colmez's work (Sections 4.5 and 9.3), an updated comparison to Balakrishnan and Dogra's work (Section 8), and a new unified q-analytic construction of local heights (p-adic and real) on abelian varieties at a finite prime q (Section 9.2)

Sobolev map**s between nonrigid Carnot groups

Authors: Bruce Kleiner, Stefan Muller, Xiangdong Xie

Abstract: We consider map**s between Carnot groups. In this paper, which is a continuation of "Pansu pullback and rigidity of map**s 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 map**s between Carnot groups. In this paper, which is a continuation of "Pansu pullback and rigidity of map**s 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.

Comments: The contents of this paper originally appeared as the latter part of the ar**s between Carnot groups'' (arXiv:2004.09271)

MSC Class: 30C65 (Primary); 30L10; 53C17 (Secondary)

$Σ_1$-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders

Authors: Philipp Lücke, Sandra Müller

Abstract: Given an uncountable cardinal $κ$, we consider the question of whether subsets of the power set of $κ$ that are usually constructed with the help of the Axiom of Choice are definable by $Σ_1$-formulas that only use the cardinal $κ$ and sets of hereditary cardinality less than $κ$ as parameters. For limits of measurable cardinals, we prove a perfect set theorem for sets definable in this way and us… ▽ More Given an uncountable cardinal $κ$, we consider the question of whether subsets of the power set of $κ$ that are usually constructed with the help of the Axiom of Choice are definable by $Σ_1$-formulas that only use the cardinal $κ$ and sets of hereditary cardinality less than $κ$ as parameters. For limits of measurable cardinals, we prove a perfect set theorem for sets definable in this way and use it to generalize two classical non-definability results to higher cardinals. First, we show that a classical result of Mathias on the complexity of maximal almost disjoint families of sets of natural numbers can be generalized to measurable limits of measurables. Second, we prove that for a limit of countably many measurable cardinals, the existence of a simply definable well-ordering of subsets of $κ$ of length at least $κ^+$ implies the existence of a projective well-ordering of the reals. In addition, we determine the exact consistency strength of the non-existence of $Σ_1$-definitions of certain objects at singular strong limit cardinals. Finally, we show that both large cardinal assumptions and forcing axioms cause analogs of these statements to hold at the first uncountable cardinal $ω_1$. △ Less

Submitted 19 September, 2023; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: Revised version. 40 pages

MSC Class: 03E47; 03E35; 03E45; 03E55

Uniformization and Internal Absoluteness

Authors: Sandra Müller, Philipp Schlicht

Abstract: Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a given ideal. We prove that for all $σ$-ideals $I$ such that the ideal forcing $\mathbb{P}_I$ of Borel sets modulo $I$ is proper, this uniformization principle is… ▽ More Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a given ideal. We prove that for all $σ$-ideals $I$ such that the ideal forcing $\mathbb{P}_I$ of Borel sets modulo $I$ is proper, this uniformization principle is equivalent to an absoluteness principle for projective formulas with respect to $\mathbb{P}_I$ that we call internal absoluteness. In addition, we show that it is equivalent to measurability with respect to $I$ together with $1$-step absoluteness for the poset $\mathbb{P}_I$. These equivalences are new even for Cohen and random forcing and they are, to the best of our knowledge, the first precise equivalences between regularity and absoluteness beyond the second level of the projective hierarchy. △ Less

Submitted 27 May, 2022; v1 submitted 22 August, 2021; originally announced August 2021.

An undecidable extension of Morley's theorem on the number of countable models

Authors: Christopher J. Eagle, Clovis Hamel, Sandra Müller, Franklin D. Tall

Abstract: We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory. We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory. △ Less

Submitted 5 July, 2023; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 29 pages

The consistency strength of determinacy when all sets are universally Baire

Authors: Sandra Müller

Abstract: It is known that the large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is much stronger than the Axiom of Determinacy itself. Sargsyan conjectured it to be as strong as the existence of a cardinal that is both a limit of Woodin cardinals and a limit of strong cardinals. Larson, Sargsyan and Wilson used a generalizatio… ▽ More It is known that the large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is much stronger than the Axiom of Determinacy itself. Sargsyan conjectured it to be as strong as the existence of a cardinal that is both a limit of Woodin cardinals and a limit of strong cardinals. Larson, Sargsyan and Wilson used a generalization of Woodin's derived model construction to show that this conjectured result would be optimal. In this paper we introduce a new translation procedure for hybrid mice extending work of Steel, Zhu and Sargsyan and apply it to prove Sargsyan's conjecture. △ Less

Submitted 2 June, 2024; v1 submitted 8 June, 2021; originally announced June 2021.

MSC Class: 03E45; 03E60; 03E55; 03E15

Scaling of the elastic energy of small balls for maps between manifolds with different curvature tensors

Authors: Milan Krömer, Stefan Müller

Abstract: Motivated by experiments and formal asymptotic expansions in the physics literature, Maor and Shachar (J. Elasticity 134 (2019), 149-173) studied the behaviour of a model elastic energy of maps between manifolds with incompatible metrics. For thin objects they analysed the scaling of the minimal elastic energy as a function of the thickness. In particular they showed that for maps from a ball of r… ▽ More Motivated by experiments and formal asymptotic expansions in the physics literature, Maor and Shachar (J. Elasticity 134 (2019), 149-173) studied the behaviour of a model elastic energy of maps between manifolds with incompatible metrics. For thin objects they analysed the scaling of the minimal elastic energy as a function of the thickness. In particular they showed that for maps from a ball of radius h in an oriented Riemannian manifold to Euclidean space, the infimum of a model elastic energy per unit volume scales like the fourth power of h and after rescaling one gets convergence to a quadratic expression in the curvature tensor R(p), where p denotes the centre of the ball. In this paper we show the same result for general compact oriented Riemannian targets with R(p) replaced by a suitable difference of the curvature tensors in the target and the domain, thus answering Open Question 1 in the paper by Maor and Shachar. The result extends noncompact targets provided they satisfy a uniform regularity condition. A key idea in the proof is to use Lipschitz approximations to define a suitable notion of convergence. △ Less

Submitted 9 December, 2022; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: Typos corrected, exposition slightly expanded, reference [2] added

MSC Class: 49J45; 74B20

On asymptotic fairness in voting with greedy sampling

Authors: Abraham Gutierrez, Sebastian Müller, Stjepan Šebek

Abstract: The basic idea of voting protocols is that nodes query a sample of other nodes and adjust their own opinion throughout several rounds based on the proportion of the sampled opinions. In the classic model, it is assumed that all nodes have the same weight. We study voting protocols for heterogeneous weights with respect to fairness. A voting protocol is fair if the influence on the eventual outcome… ▽ More The basic idea of voting protocols is that nodes query a sample of other nodes and adjust their own opinion throughout several rounds based on the proportion of the sampled opinions. In the classic model, it is assumed that all nodes have the same weight. We study voting protocols for heterogeneous weights with respect to fairness. A voting protocol is fair if the influence on the eventual outcome of a given participant is linear in its weight. Previous work used sampling with replacement to construct a fair voting scheme. However, it was shown that using greedy sampling, i.e., sampling with replacement until a given number of distinct elements is chosen, turns out to be more robust and performant. In this paper, we study fairness of voting protocols with greedy sampling and propose a voting scheme that is asymptotically fair for a broad class of weight distributions. We complement our theoretical findings with numerical results and present several open questions and conjectures. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 31 pages, 12 figures

Sobolev map**s and the Rumin complex

Authors: Bruce Kleiner, Stefan Muller, Xiangdong Xie

Abstract: We consider contact manifolds equipped with Carnot-Caratheodory metrics, and show that the Rumin complex is respected by Sobolev map**s: Pansu pullback induces a chain map** between the smooth Rumin complex and the distributional Rumin complex. As a consequence, the Rumin flat complex -- the analog of the Whitney flat complex in the setting of contact manifolds -- is bilipschitz invariant. W… ▽ More We consider contact manifolds equipped with Carnot-Caratheodory metrics, and show that the Rumin complex is respected by Sobolev map**s: Pansu pullback induces a chain map** between the smooth Rumin complex and the distributional Rumin complex. As a consequence, the Rumin flat complex -- the analog of the Whitney flat complex in the setting of contact manifolds -- is bilipschitz invariant. We also show that for Sobolev map**s between general Carnot groups, Pansu pullback induces a chain map** when restricted to a certain differential ideal of the de Rham complex. Both results are applications of the Pullback Theorem from our previous paper. △ Less

Submitted 12 January, 2021; originally announced January 2021.

MSC Class: 30C65 (Primary); 30L10; 53C17 (Secondary)

Quadratic Chabauty for modular curves: Algorithms and examples

Authors: Jennifer S. Balakrishnan, Netan Dogra, Jan Steffen Müller, Jan Tuitman, Jan Vonk

Abstract: We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad re… ▽ More We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin--Lehner quotients $X_0^+(N)$ of prime level $N$, the curve $X_{S_4}(13)$, as well as a few other curves relevant to Mazur's Program B. We also describe the computation of rational points on the genus 6 non-split Cartan modular curve $X_{\textrm{ns}} ^+ (17)$. △ Less

Submitted 7 March, 2023; v1 submitted 5 January, 2021; originally announced January 2021.

Comments: Updated following referee's comments. To appear in Comp. Math

On Fairness in Voting Consensus Protocols

Authors: Sebastian Müller, Andreas Penzkofer, Darcy Camargo, Olivia Saa

Abstract: Voting algorithms have been widely used as consensus protocols in the realization of fault-tolerant systems. These algorithms are best suited for distributed systems of nodes with low computational power or heterogeneous networks, where different nodes may have different levels of reputation or weight. Our main contribution is the construction of a fair voting protocol in the sense that the influe… ▽ More Voting algorithms have been widely used as consensus protocols in the realization of fault-tolerant systems. These algorithms are best suited for distributed systems of nodes with low computational power or heterogeneous networks, where different nodes may have different levels of reputation or weight. Our main contribution is the construction of a fair voting protocol in the sense that the influence of the eventual outcome of a given participant is linear in its weight. Specifically, the fairness property guarantees that any node can actively participate in the consensus finding even with low resources or weight. We investigate effects that may arise from weighted voting, such as loss of anonymity, centralization, scalability, and discuss their relevance to protocol design and implementation. △ Less

Submitted 15 December, 2020; originally announced December 2020.

Comments: conference paper, SAI Computing21. arXiv admin note: text overlap with arXiv:2006.00928

Korn inequalities for incompatible tensor fields in three space dimensions with conformally invariant dislocation energy

Authors: Peter Lewintan, Stefan Müller, Patrizio Neff

Abstract: Let $Ω\subset \mathbb{R}^3$ be an open and bounded set with Lipschitz boundary and outward unit normal $ν$. For $1<p<\infty$ we establish an improved version of the generalized $L^p$-Korn inequality for incompatible tensor fields $P$ in the new Banach space $… ▽ More Let $Ω\subset \mathbb{R}^3$ be an open and bounded set with Lipschitz boundary and outward unit normal $ν$. For $1<p<\infty$ we establish an improved version of the generalized $L^p$-Korn inequality for incompatible tensor fields $P$ in the new Banach space $$ W^{1,\,p,\,r}_0(\operatorname{dev}\operatorname{sym}\operatorname{Curl}; Ω,\mathbb R^{3\times3}) = \{ P \in L^p(Ω,\mathbb R^{3\times3}) \mid \operatorname{dev} \operatorname{sym} \operatorname{Curl} P \in L^r(Ω,\mathbb R^{3\times3}),\ \operatorname{dev} \operatorname{sym} (P \times ν) = 0 \text{ on $\partial Ω$}\} $$ where $$ r \in [1, \infty), \qquad \frac1r \le \frac1p + \frac13, \qquad r >1 \quad \text{if $p = \frac32$.}$$ Specifically, there exists a constant $c=c(p,Ω,r)>0$ such that the inequality \[ \|P \|_{L^p}\leq c\,\left(\|\operatorname{sym} P \|_{L^p} + \|\operatorname{dev}\operatorname{sym} \operatorname{Curl} P \|_{L^{r}}\right) \] holds for all tensor fields $P\in W^{1,\,p, \, r}_0(\operatorname{dev}\operatorname{sym}\operatorname{Curl})$. Here, $\operatorname{dev} X := X -\frac13 \operatorname{tr}(X)\,\mathbb{1}$ denotes the deviatoric (trace-free) part of a $3 \times 3$ matrix $X$ and the boundary condition is understood in a suitable weak sense. △ Less

Submitted 5 July, 2021; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: Ref.numbers are now visible

MSC Class: Primary: 35A23; Secondary: 35B45; 35Q74; 46E35

Journal ref: Calculus of Variations and Partial Differential Equations (2021)

Long Games and $σ$-Projective Sets

Authors: Juan P. Aguilera, Sandra Müller, Philipp Schlicht

Abstract: We prove a number of results on the determinacy of $σ$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between $σ$-projective determinacy and the determinacy of certain classes of games of variable length ${<}ω^2$ (Theorem 2.4). We then give an element… ▽ More We prove a number of results on the determinacy of $σ$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between $σ$-projective determinacy and the determinacy of certain classes of games of variable length ${<}ω^2$ (Theorem 2.4). We then give an elementary proof of the determinacy of $σ$-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof to obtain proofs of the determinacy of $σ$-projective games of a given countable length and of games with payoff in the smallest $σ$-algebra containing the projective sets, from corresponding assumptions (Theorems 5.1 and 5.4). △ Less

Submitted 16 January, 2021; v1 submitted 10 November, 2020; originally announced November 2020.

MSC Class: 03E60; 03E45; 03E15; 03E30; 03E55

Estimations of means and variances in a Markov linear model

Authors: Abraham Gutierrez, Sebastian Müller

Abstract: Multivariate regression models and ANOVA are probably the most frequently applied methods of all statistical analyses. We study the case where the predictors are qualitative variables, and the response variable is quantitative. In this case, we propose an alternative to the classic approaches that does not assume homoscedasticity but assumes that a Markov chain can describe the covariates' correla… ▽ More Multivariate regression models and ANOVA are probably the most frequently applied methods of all statistical analyses. We study the case where the predictors are qualitative variables, and the response variable is quantitative. In this case, we propose an alternative to the classic approaches that does not assume homoscedasticity but assumes that a Markov chain can describe the covariates' correlations. This approach transforms the dependent covariates using a change of measure to independent covariates. The transformed estimates allow a pairwise comparison of the mean and variance of the contribution of different values of the covariates. We show that under standard moment conditions, the estimators are asymptotically normally distributed. We test our method with data from simulations and apply it to several classic data sets. △ Less

Submitted 3 May, 2021; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 25 pages, 7 figures

MSC Class: 62H12; 62J99; 62M05; 60F05; 60J20