arXiv preprints from January 1, 2026 through July 21, 2026 — 14:11:43 EST
In this work we discuss the notion of stationary curves of the length functional, the so-called (weak) geodesics, on a Riemannian manifold. The motivation behind this work is to give a detailed description of many key concepts from differential geometry that one needs in order to understand the important notion of a (weak) geodesic....
A 1983 conjecture of Bouchet states that every flow-admissible signed graph has a nowhere-zero six-flow. We prove this conjecture for cyclically five-edge-connected, cubic signed graphs.
We give a complete proof of the Bénabou-Roubaud monadic descent theorem using the graphical calculus of string diagrams. Our proof links the monadic and Grothendieck's original viewpoint on descent via an internal-category-based characterization of the category of descent data, equivalent to the one of Janelidze and Tholen.
We prove local boundedness and a Harnack inequality for nonnegative weak solutions of the equation $-\nabla\cdot(\mathbf{a}(x)\nabla u)=0$ under a coarse-grained ellipticity assumption on the symmetric coefficient field $\mathbf{a}$. Coarse-grained ellipticity is a scale-dependent condition, defined for fields with only...
We compare two singularly perturbed elliptic systems modeling partially phase segregation. Although the formulations are fundamentally different, we prove that their limiting configurations have identical free boundaries. The result shows that interface geometry depends only on basic structural properties of the limit segregation,...
A reductive homogeneous space $G/H$ is always diffeomorphic to the normal bundle of an orbit of a maximal compact subgroup of $G$. We prove that if $G/H$ admits compact quotients, then the sphere bundle associated to this normal bundle is fiber-homotopically trivial. We deduce that many reductive homogeneous spaces do not admit...
We consider the classical $n$-queens problem, which asks how many ways one can place $n$ mutually non-attacking queens on an $n$ x $n$ chessboard. We prove that the total number of solutions to the $n$-queens problem $Q(n)$ is divisible by 4 whenever $n \ge 6$.
In this paper, we present and analyze an unfitted finite element method for the elliptic interface problem. We consider the case that the interface is $C^2$-smooth or polygonal, and the exact solution $u \in H^{1+s}(Ω_0 \cup Ω_1)$ for any $s > 0$. The stability near the interface is guaranteed by a local polynomial extension technique...
In this paper we prove that the Torelli group of a surface of genus at least 3 with 2 boundary components is finitely generated. As a consequence, we answer Putman's question on the finite generation of the stabilizer subgroup of the Torelli group of a non separating simple closed curve. Furthermore, we prove that the Johnson's kernel...
We analyze the stability and dynamics of bistable planar fronts in multicomponent reaction-diffusion systems on $\mathbb{R}^{d}$. Under standard spectral stability assumptions, we establish Lyapunov stability of the front against fully nonlocalized perturbations. Such perturbations could previously be treated only for scalar equations...
We address an optimal control problem governed by a system coupling a Brinkman-type momentum equation for the velocity field with a sixth-order Cahn-Hilliard equation for the phase variable, incorporating curvature effects in the free energy. The control acts as a distributed velocity control, allowing for the manipulation of the flow...
We employ the summation-by-parts (SBP) framework to extend the recent domain-of-dependence (DoD) stabilization for cut cells to linear kinetic models in diffusion scaling. Numerical methods for these models are challenged by increased stiffness for small scaling parameters and the necessity of asymptotics preservation regarding a...
The Fourier restriction problem asks when it is meaningful to restrict the Fourier transform of a function to a given set. Many of the key examples are smooth co-dimension 1 manifolds, although there is increasing interest in fractal sets. Here we propose a natural intermediary problem where one considers the fractal surface generated...
The \emph{Imry-Ma phenomenon} refers to the dramatic effect that disorder can have on first-order phase transitions for two-dimensional spin systems. The most famous example is the absence of a phase transition for the two-dimensional random-field Ising model. This paper establishes that a similar phenomena takes place for the...
This papers studies centralizers of an element, $a$, in the nucleus of a non-associative algebra with a special type of valuation. We prove that the centralizer of $a$ is a free module of finite rank over the algebra generated by $a$.
For a smooth, projective scheme $X$ over a field $k$ or any variety $X$ if $k$ has characteristic zero, we compute the compactly supported $\mathbb{A}^1$-Euler characteristic of $\operatorname{Sym}^2(X)$ if $\operatorname{char}(k) \ne 2$ and of $\operatorname{Sym}^3(X)$ if $\operatorname{char}(k) \ne 2,3$. We do so by extending the...
The solution of Apollonius' problem on constructing a circle (line), tangent to three given circles (lines), is presented in terms of oriented circles and inversive invariants. Tangency is understood as the coincidence of tangent vectors at the common point, in contrast to counter-tangency. The problem has 0, 1 or 2 solutions. By...
We study in which settings we have a composition AKE principle, i.e. when the theory of the coarsening $(K,w)$ and the theory of the induced valuation $(Kw,\overline{v})$ determine the theory of the composition $(K,v)$. We show that this is the case when $(K,w)$ is tame of equal characteristic, and provide counterexamples in mixed...
The phase field crystal (PFC) method is an efficient technique for simulating the evolution of crystalline microstructures at atomistic length scales and diffusive time scales. Due to the high-order derivatives (sixth-order) and the strongly nonlinear term (locally Lipschitz), developing high-order stable schemes and establishing...
We present randomized algorithms for estimating the log-determinant of regularized symmetric positive semi-definite matrices. The algorithms access the matrix only through matrix vector products, and are based on the introduction of a preconditioner and stochastic trace estimator. We claim that preconditioning as much as we can and...
The algebraic connectivity $a(G)$, defined as the second smallest eigenvalue of the Laplacian matrix $L(G)$, admits a well-known variational characterization involving the minimization of a quadratic form subject to an $\ell_{2}$-norm constraint. In a recent work, Andrade and Dahl (2024) proposed an analogous formulation based on the...
Edge expansion is a parameter indicating how well-connected a graph is. It is useful for designing robust networks, analysing random walks or information flow through a network and is an important notion in theoretical computer science. Modularity is a measure of how well a graph can be partitioned into communities and is widely used...
We study the large-scale behaviour of a class of driven diffusive systems modelled by a Stochastic Partial Differential Equation, the Stochastic Burgers Equation (SBE) with general nonlinearity, at the critical dimension and in infinite volume. Our main result shows that, under a logarithmically superdiffusive space-time scaling, it...
Recent progress in LLM-driven algorithm discovery, exemplified by DeepMind's AlphaEvolve, has produced new best-known solutions for a range of hard geometric and combinatorial problems. This raises a natural question: to what extent can modern off-the-shelf global optimization solvers match such results when the problems are...
We develop a new method for the computation of $(3,3)$-isogenies between principally polarized abelian surfaces. The idea is to work with models in $\mathbb{P}^8$ induced by a symmetric level-$3$ theta structure. In this setting, the action of three-torsion points is linear, and the isogeny formulas can be described in a simple way as...