Mathematics

2024-11-01 | | Total: 193

#1 Effective bounds on characterising slopes for all knots [PDF] [Copy] [Kimi] [REL]

Authors: Patricia Sorya, Laura Wakelin

A slope $p/q$ is characterising for a knot $K \subset \mathbb{S}^3$ if the orientation-preserving homeomorphism type of the manifold $\mathbb{S}^3_K(p/q)$ obtained by performing Dehn surgery of slope $p/q$ along $K$ uniquely determines the knot $K$. We combine new applications of results from hyperbolic geometry with previous individual work of the authors to determine, for any given knot $K$, an explicit bound $\mathcal{C}(K)$ such that $|q| > \mathcal{C}(K)$ implies that $p/q$ is a characterising slope for $K$.

Subject: Geometric Topology

Publish: 2024-10-31 17:58:35 UTC


#2 Coherence-free Entrywise Estimation of Eigenvectors in Low-rank Signal-plus-noise Matrix Models [PDF] [Copy] [Kimi] [REL]

Authors: Hao Yan, Keith Levin

Spectral methods are widely used to estimate eigenvectors of a low-rank signal matrix subject to noise. These methods use the leading eigenspace of an observed matrix to estimate this low-rank signal. Typically, the entrywise estimation error of these methods depends on the coherence of the low-rank signal matrix with respect to the standard basis. In this work, we present a novel method for eigenvector estimation that avoids this dependence on coherence. Assuming a rank-one signal matrix, under mild technical conditions, the entrywise estimation error of our method provably has no dependence on the coherence under Gaussian noise (i.e., in the spiked Wigner model), and achieves the optimal estimation rate up to logarithmic factors. Simulations demonstrate that our method performs well under non-Gaussian noise and that an extension of our method to the case of a rank-$r$ signal matrix has little to no dependence on the coherence. In addition, we derive new metric entropy bounds for rank-$r$ singular subspaces under $\ell_{2,\infty}$ distance, which may be of independent interest. We use these new bounds to improve the best known lower bound for rank-$r$ eigenspace estimation under $\ell_{2,\infty}$ distance.

Subject: Statistics Theory

Publish: 2024-10-31 17:53:46 UTC


#3 On the Tamagawa number conjecture for newforms at Eisenstein primes [PDF] [Copy] [Kimi] [REL]

Author: Mulun Yin

We extend the results of [CGLS22] to higher weight modular forms and prove a rank $0$ Tamagawa number formula (also known as the Bloch-Kato conjecture) for modular forms at good Eisenstein primes. Under standard hypotheses (i.e. the injectivity of the $p$-adic Abel-Jabobi map and the non-degeneracy of the Gillet-Soulé height pairing), we also discuss some partial results towards a rank $1$ result. A conditional higher weight $p$-converse theorem to Gross-Zagier-Zhang-Kolyvagin-Nekovář is also obtained as a consequence of the anticyclotomic Iwasawa Main Conjectures.

Subject: Number Theory

Publish: 2024-10-31 17:52:26 UTC


#4 Indices of nilpotency in certain spaces of modular forms [PDF] [Copy] [Kimi] [REL]

Authors: Matthew Boylan, Swati

We study the index of nilpotency relative to certain Hecke operators in spaces of modular forms with integer weight and level $N$ with integer coefficients modulo primes $p$ for $(p, N) \in \{(3, 1), (5, 1), (7, 1), (4, 3)\}$. In these settings, we prove upper bounds on certain indices of nilpotency. Our numerical computations suggest precise formulas analogous to the formula of Nicolas and Serre when $p = 2$ and $N = 1$. As applications, we prove infinite families of congruences for $p^t$-core partition functions modulo $p$ for $p\in \{3, 5, 7\}$ and $t\geq 1$, and we prove an infinite family of congruences modulo $3$ for the $r$th power partition function, $p_r(n)$, when $r = 12k$ with $\gcd(k,6) = 1$.

Subject: Number Theory

Publish: 2024-10-31 17:45:34 UTC


#5 Taft algebra actions on preprojective algebras [PDF] [Copy] [Kimi] [REL]

Authors: Jason Gaddis, Amrei Oswald

We classify actions of generalized Taft algebras on preprojective algebras of extended Dynkin quivers of type $A$. This may be viewed as an extension of the problem of classifying actions on the polynomial ring in two variables. In cases where the grouplike element acts via rotation on the underlying quiver, we compute invariants of the Taft action and, in certain cases, show that the invariant ring is isomorphic to the center of the preprojective algebra.

Subjects: Rings and Algebras ; Quantum Algebra

Publish: 2024-10-31 17:44:01 UTC


#6 The mod p cohomology of the Morava stabilizer group at large primes [PDF] [Copy] [Kimi] [REL]

Authors: Mohammad Behzad Kang, Andrew Salch

We calculate the cohomology of the extended Morava stabilizer group of height $n$, with trivial mod $p$ coefficients, for all heights $n$ and all primes $p>>n$. The result is an exterior algebra on $n$ generators. A brief sketch of the method: we introduce a family of deformations of Ravenel's Lie algebra model $L(n,n)$ for the Morava stabilizer group scheme. This yields a family of DGAs, parameterized over an affine line and smooth except at a single point. The singular fiber is the Chevalley-Eilenberg DGA of Ravenel's Lie algebra. Consequently the cohomology of the singular fiber is the cohomology of the Morava stabilizer group, at large primes. We prove a derived version of the invariant cycles theorem from Hodge theory, which allows us to compare the cohomology of the singular fiber to the fixed-points of the Picard-Lefschetz (monodromy) operator on the cohomology of a smooth fiber. Finally, we use some new methods for constructing small models for cohomology of reductive Lie algebras to show that the cohomology of the Picard-Lefschetz fixed-points on a smooth fiber agrees with the singular cohomology $H^*(U(n);\mathbb{F}_p)$ of the unitary group, which is the desired exterior algebra.

Subjects: Algebraic Topology ; Algebraic Geometry

Publish: 2024-10-31 17:38:15 UTC


#7 Persistent hubs in CMJ branching processes with independent increments and preferential attachment trees [PDF] [Copy] [Kimi] [REL]

Author: Tejas Iyer

A sequence of trees $(\mathcal{T}_{n})_{n \in \mathbb{N}}$ contains a \emph{persistent hub}, or displays \emph{degree centrality}, if there is a fixed node of maximal degree for all sufficiently large $n \in \mathbb{N}$. We derive sufficient criteria for the emergence of a persistent hub in genealogical trees associated with Crump-Mode-Jagers branching processes with independent waiting times between births of individuals, and sufficient criteria for the non-emergence of a persistent hub. We also derive criteria for uniqueness of these persistent hubs. As an application, we improve results in the literature concerning the emergence of unique persistent hubs in generalised preferential attachment trees, in particular, allowing for cases where there may not be a \emph{Malthusian parameter} associated with the process. The approach we use is mostly self-contained, and does not rely on prior results about Crump-Mode-Jagers branching processes.

Subject: Probability

Publish: 2024-10-31 17:37:22 UTC


#8 Derivative-Free Data-Driven Control of Continuous-Time Linear Time-Invariant Systems [PDF] [Copy] [Kimi] [REL]

Authors: Alessandro Bosso, Marco Borghesi, Andrea Iannelli, Giuseppe Notarstefano, Andrew R. Teel

This paper develops a data-driven stabilization method for continuous-time linear time-invariant systems with theoretical guarantees and no need for signal derivatives. The framework, based on linear matrix inequalities (LMIs), is illustrated in the state-feedback and single-input single-output output-feedback scenarios. Similar to discrete-time approaches, we rely solely on input and state/output measurements. To avoid differentiation, we employ low-pass filters of the available signals that, rather than approximating the derivatives, reconstruct a non-minimal realization of the plant. With access to the filter states and their derivatives, we can solve LMIs derived from sample batches of the available signals to compute a dynamic controller that stabilizes the plant. The effectiveness of the framework is showcased through numerical examples.

Subjects: Optimization and Control ; Systems and Control

Publish: 2024-10-31 17:31:53 UTC


#9 Egyptian fractions on groups [PDF] [Copy] [Kimi] [REL]

Author: David A. Ross

Results about the structure of the set of Egyptian Primary 11D68, 11D85, 26E35, 54J05; Secondary 11A67, 11B75, 54H11.fractions on the line are extended to subsets of topological groups.

Subject: Number Theory

Publish: 2024-10-31 17:22:30 UTC


#10 Convex optimization with $p$-norm oracles [PDF] [Copy] [Kimi] [REL]

Authors: Deeksha Adil, Brian Bullins, Arun Jambulapati, Aaron Sidford

In recent years, there have been significant advances in efficiently solving $\ell_s$-regression using linear system solvers and $\ell_2$-regression [Adil-Kyng-Peng-Sachdeva, J. ACM'24]. Would efficient $\ell_p$-norm solvers lead to even faster rates for solving $\ell_s$-regression when $2 \leq p < s$? In this paper, we give an affirmative answer to this question and show how to solve $\ell_s$-regression using $\tilde{O}(n^{\frac{\nu}{1+\nu}})$ iterations of solving smoothed $\ell_s$ regression problems, where $\nu := \frac{1}{p} - \frac{1}{s}$. To obtain this result, we provide improved accelerated rates for convex optimization problems when given access to an $\ell_p^s(\lambda)$-proximal oracle, which, for a point $c$, returns the solution of the regularized problem $\min_{x} f(x) + \lambda \|x-c\|_p^s$. Additionally, we show that the rates we establish for the $\ell_p^s(\lambda)$-proximal oracle are near-optimal.

Subjects: Optimization and Control ; Data Structures and Algorithms

Publish: 2024-10-31 17:17:42 UTC


#11 2D magnetic stability [PDF] [Copy] [Kimi] [REL]

Author: Douglas Lundholm

This article is a contribution to the proceedings of the 33rd/35th International Colloquium on Group Theoretical Methods in Physics (ICGTMP, Group33/35) held in Cotonou, Benin, July 15-19, 2024. The stability of matter is an old and mathematically difficult problem, relying both on the uncertainty principle of quantum mechanics and on the exclusion principle of quantum statistics. We consider here the stability of the self-interacting almost-bosonic anyon gas, generalizing the Gross-Pitaevskii / nonlinear Schrödinger energy functionals to include magnetic self interactions. We show that there is a type of supersymmetry in the model which holds only for higher values of the magnetic coupling but is broken for lower values, and that in the former case supersymmetric ground states exist precisely at even-integer quantized values of the coupling. These states constitute a manifold of explicit solitonic vortex solutions whose densities solve a generalized Liouville equation, and can be regarded as nonlinear generalizations of Landau levels. The reported work is joint with Alireza Ataei and Dinh-Thi Nguyen and makes an earlier analysis of self-dual abelian Chern-Simons-Higgs theory by Jackiw and Pi, Hagen, and others, mathematically rigorous.

Subjects: Mathematical Physics ; Quantum Gases ; Exactly Solvable and Integrable Systems ; Quantum Physics

Publish: 2024-10-31 17:12:27 UTC


#12 The evolving surface Cahn-Hilliard equation with a degenerate mobility [PDF] [Copy] [Kimi] [REL]

Authors: Charles M. Elliott, Thomas Sales

We consider the existence of suitable weak solutions to the Cahn-Hilliard equation with a non-constant (degenerate) mobility on a class of evolving surfaces. We also show weak-strong uniqueness for the case of a positive mobility function, and under some further assumptions on the initial data we show uniqueness for a class of strong solutions for a degenerate mobility function.

Subject: Analysis of PDEs

Publish: 2024-10-31 17:07:36 UTC


#13 Some informational inequalities involving generalized trigonometric functions and a new class of generalized moments [PDF] [Copy] [Kimi] [REL]

Authors: David Puertas-Centeno, Steeve Zozor

In this work, we define a family of probability densities involving the generalized trigonometric functions defined by Drábek and Manásevich, we name Generalized Trigonometric Densities. We show their relationship with the generalized stretched Gaussians and other types of laws such as logistic, hyperbolic secant, and raised cosine probability densities. We prove that, for a fixed generalized Fisher information, this family of densities is of minimal Rényi entropy. Moreover, we introduce generalized moments via the mean of the power of a deformed cumulative distribution. The latter is defined as a cumulative of the power of the probability density function, this second parameter tuning the tail weight of the deformed cumulative distribution. These generalized moments coincide with the usual moments of a deformed probability distribution with a regularized tail. We show that, for any bounded probability density, there exists a critical value for this second parameter below which the whole subfamily of generalized moments is finite for any positive value of the first parameter (power of the moment). In addition, we show that such generalized moments satisfy remarkable properties like order relation w.r.t. the first parameter, or adequate scaling behavior. Finally, we highlight that, if we constrain such a generalized moment, both the Rényi entropy and generalized Fisher information achieve respectively their maximum and minimum for the generalized trigonometric densities.

Subject: Mathematical Physics

Publish: 2024-10-31 17:04:12 UTC


#14 Nonlinear Two-Level Schwarz Methods: A Parallel Implementation in FROSch [PDF] [Copy] [Kimi] [REL]

Authors: Alexander Heinlein, Kyrill Ho, Axel Klawonn, Martin Lanser

Owing to the ability of nonlinear domain decomposition methods to improve the nonlinear convergence behavior of Newton's method, they have experienced a rise in popularity recently in the context of problems for which Newton's method converges slowly or not at all. This article introduces a novel parallel implementation of a two-level nonlinear Schwarz solver based on the FROSch (Fast and Robust Overlapping Schwarz) solver framework, part of Sandia's Trilinos library. First, an introduction to the key concepts underlying two-level nonlinear Schwarz methods is given, including a brief overview of the coarse space used to build the second level. Next, the parallel implementation is discussed, followed by preliminary parallel results for a scalar nonlinear diffusion problem and a 2D nonlinear plane-stress Neo-Hooke elasticity problem with large deformations.

Subject: Numerical Analysis

Publish: 2024-10-31 17:02:33 UTC


#15 Using polynomials to find lower bounds for $r$-bond bootstrap percolation [PDF] [Copy] [Kimi] [REL]

Authors: Natasha Morrison, Shannon Ogden

The $r$-bond bootstrap percolation process on a graph $G$ begins with a set $S$ of infected edges of $G$ (all other edges are healthy). At each step, a healthy edge becomes infected if at least one of its endpoints is incident with at least $r$ infected edges (and it remains infected). If $S$ eventually infects all of $E(G)$, we say $S$ percolates. In this paper we provide recursive formulae for the minimum size of percolating sets in several large families of graphs. We utilise an algebraic method introduced by Hambardzumyan, Hatami, and Qian, and substantially extend and generalise their work.

Subject: Combinatorics

Publish: 2024-10-31 16:53:47 UTC


#16 The Atiyah-Sutcliffe conjecture and $E_n$-algebras [PDF] [Copy] [Kimi] [REL]

Authors: Lorenzo Guerra, Paolo Salvatore

We show that a certain conjecture by Atiyah and Sutcliffe implies the existence of an E3-algebra (respectively E2-algebra) structure on the disjoint union of all complex (respectively real) full flag manifolds modulo symmetric groups. Moreover, we show that these structures are liftings of exotic E3 (respectively E2) structures on the free infinite loop spaces on BU(1)+ (respectively BO(1)+), that do not extend to E4 (respectively E3) structures. We also provide some (co=homological calculations supporting the conjecture.

Subject: Algebraic Topology

Publish: 2024-10-31 16:49:41 UTC


#17 Representations induced by positive or completely positive sesquilinear maps [PDF] [Copy] [Kimi] [REL]

Authors: Giorgia Bellomonte, Stefan Ivkovic, Camillo Trapani

The representations that can be defined starting from positive sesquilinear maps {\Phi} with values in an ordered Banach module are essentially of two types: if {\Phi} is positive, a natural generalization follows the path of the GNS construction; if {\Phi} is completely positive, one can move toward a possible generalization of the Stinespring dilation theorem. In this paper, both possibilities are studied.

Subjects: Functional Analysis ; Operator Algebras

Publish: 2024-10-31 16:43:08 UTC


#18 Lagrangian Reformulation for Nonconvex Optimization: Tailoring Problems to Specialized Solvers [PDF] [Copy] [Kimi] [REL]

Authors: Rodolfo A. Quintero, Juan C. Vera, Luis F. Zuluaga

In recent years, there has been a surge of interest in studying different ways to reformulate nonconvex optimization problems, especially those that involve binary variables. This interest surge is due to advancements in computing technologies, such as quantum and Ising devices, as well as improvements in quantum and classical optimization solvers that take advantage of particular formulations of nonconvex problems to tackle their solutions. Our research characterizes the equivalence between equality-constrained nonconvex optimization problems and their Lagrangian relaxation, enabling the aforementioned new technologies to solve these problems. In addition to filling a crucial gap in the literature, our results are readily applicable to many important situations in practice. To obtain these results, we bridge between specific optimization problem characteristics and broader, classical results on Lagrangian duality for general nonconvex problems. Further, our approach takes a comprehensive approach to the question of equivalence between problem formulations. We consider this question not only from the perspective of the problem's objective but also from the viewpoint of its solution. This perspective, often overlooked in existing literature, is particularly relevant for problems featuring continuous and binary variables.

Subject: Optimization and Control

Publish: 2024-10-31 16:41:05 UTC


#19 Phase-field modeling of ductile fracture across grain boundaries in polycrystals [PDF] [Copy] [Kimi] [REL]

Authors: Kim Louisa Auth, Jim Brouzoulis, Magnus Ekh

In this study, we address damage initiation and micro-crack formation in ductile failure of polycrystalline metals. We show how our recently published thermodynamic framework for ductile phase-field fracture of single crystals can be extended to polycyrstalline structures. A key feature of this framework is that is accounts for size effects by adopting gradient-enhanced (crystal) plasticity. Gradient-enhanced plasticity requires the definition of boundary conditions representing the plastic slip transmission resistance of the boundaries. In this work, we propose a novel type of micro-flexible boundary condition for gradient-plasticity, which couples the slip transmission resistance with the phase-field damage such that the resistance locally changes during the fracturing process. The formulation permits to maintain the effect of grain boundaries as obstacles for plastic slip during plastification, while also accounting for weakening of their resistance during the softening phase. In numerical experiments, the new damage-dependent boundary condition is compared to classical micro-free and micro-hard boundary conditions in polycrystals and it is demonstrated that it indeed produces a response that transitions from micro-hard to micro-free as the material fails. We show that the formulation maintains resistance to slip transmission during hardening, but can generate micro-cracks across grain boundaries during the fracture process. We further show examples of how the model can be used to simulate void coalescence and three-dimensional crack fronts in polycrystals.

Subjects: Numerical Analysis ; Materials Science

Publish: 2024-10-31 16:38:12 UTC


#20 A counterexample to Lagrangian Poincaré recurrence in dimension four [PDF] [Copy] [Kimi] [REL]

Author: Joel Schmitz

Counterexamples to Lagrangian Poincaré recurrence were recently found in dimensions $\geq 6$ by Broćić and Shelukhin. We construct counterexamples in dimension 4 using almost toric fibrations.

Subjects: Symplectic Geometry ; Dynamical Systems

Publish: 2024-10-31 16:33:09 UTC


#21 A space-adiabatic approach for bulk-defect correspondences in lattice models of topological insulators [PDF] [Copy] [Kimi] [REL]

Authors: Danilo Polo Ojito, Emil Prodan, Tom Stoiber

In space-adiabatic approaches one can approximate Hamiltonians that are modulated slowly in space by phase-space functions that depend on position and momentum. In this paper, we establish a rigorous relation between this approach and the operator-theoretic approach for topological insulators with defects, which employs $C^*$-algebras and operator K-theory. Using such tools, we show that by quantizing phase-space functions one can construct lattice Hamiltonians which are gapped at certain spatial limits and carry protected states at defects such as boundaries, hinges, and corners. Moreover, we show that the topological invariants that protect the latter can be computed in terms of the symbol functions. This enables us to compute boundary maps in K-theory that are relevant for bulk-defect correspondences.

Subject: Mathematical Physics

Publish: 2024-10-31 16:28:39 UTC


#22 $p$-adic equidistribution and an application to $S$-units [PDF] [Copy] [Kimi] [REL]

Author: Gerold Schefer

We prove a Galois equidistribution result for torsion points in $\mathbb G_m^n$ in the $p$-adic setting for test functions of the form $\log |F|_p$ where $F$ is a nonzero polynomial with coefficients in the $p$-adic numbers. Our result includes a power saving quantitative estimate of the decay rate rate of the equidistribution. As an application we show that Ih's Conjecture is true for a class of divisors of $\mathbb G_m^n$.

Subject: Number Theory

Publish: 2024-10-31 16:20:31 UTC


#23 The twistor space of a compact hypercomplex manifold is never Moishezon [PDF] [Copy] [Kimi] [REL]

Author: Yulia Gorginyan

Let (X,I,J,K) be a compact hypercomplex manifold, i.e. a smooth manifold X with an action of the quaternion algebra (Id,I,J,K) on the tangent bundle TX, inducing integrable almost complex structures. For any $(a, b, c) \in S^2$, the linear combination $L := aI + bJ + cK$ defines another complex structure on X. This results in a $C P^1$-family of complex structures called the twistor family. Its total space is called the twistor space. We show that the twistor space of a compact hypercomplex manifold is never Moishezon and, moreover, it is never Fujiki class C (in particular, never Kahler and never projective).

Subjects: Algebraic Geometry ; Differential Geometry

Publish: 2024-10-31 16:18:50 UTC


#24 Asymptotic completeness for short-range N-body systems revisited [PDF] [Copy] [Kimi] [REL]

Author: Erik Skibsted

We review Yafaev's approach to asymptotic completeness for systems of particles mutually interacting with short-range potentials. The theory is based on computation of commutators with time-independent (mostly bounded) observables yielding a sufficient supply of Kato smoothness bounds.

Subjects: Spectral Theory ; Mathematical Physics

Publish: 2024-10-31 16:15:29 UTC


#25 Derived Stone Embedding [PDF] [Copy] [Kimi] [REL]

Author: Amos Kaminski

A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of $\pi$-finite spaces into pyknotic spaces, this thesis uses the $\infty$-topoi machinery to partially characterize the essential image of this embedding, extending the classical characterization to the derived setting.

Subjects: Algebraic Topology ; Category Theory

Publish: 2024-10-31 16:15:07 UTC