2026-02-10 | | Total: 403
This paper considers an important inverse problem in topological data analysis (TDA): How many different barcodes produce the same Betti curve? Equivalently, given a function $β\colon [n]=\{1<\cdots< n\} \to \mathbb{Z}_{\geq 0}$, how many different ways can we write $β$ as a sum of indicator functions supported on intervals in $[n]$? Our answer to this question is to connect persistent homology with the study of the Kostant partition function and the enumerative combinatorics for so-called "magic" juggling sequences studied by Ronald Graham and others. Specifically, we prove an equivalence between our inverse problem and corresponding statements in these other two settings. From an applications and statistics point of view, our work provides a quantification of how lossy the TDA pipeline is when moving from persistent homology to persistent Betti numbers.
We develop a theory of partially defined complete positivity preservers, extending Schoenberg's classical characterization to functions defined only on discrete subsets or constrained domains. We frame the extension problem through the theory of completely positive maps on operator systems -- we characterize general partially defined completely positive definite functions on general homogeneous spaces. We apply our interpolation to constrained packing problems and Delsarte theory, where one uses positive definite functions on homogeneous spaces to obtain bounds on various packing problems. We prove the specific positive definite function witnesses that a code is sharp for constrained angle codes must be from polynomials.
Weather regimes provide a useful framework for describing large-scale atmospheric variability and its impacts on regional weather. Despite extensive study, there is still no universally accepted definition or method for identifying weather regimes. Recent work has shown that weather regimes can be interpreted geometrically as topological structures in the phase space of the atmospheric system. In this approach, regimes are identified using a density--radius bifiltration combined with persistent homology, a well-established tool from Topological Data Analysis (TDA). This topological perspective provides a unifying view of regimes and, unlike traditional methods, does not require the number of regimes to be specified in advance. However, the method relies on density estimation techniques (typically Gaussian kernel density estimation), which can over--smooth weakly populated but dynamically important regions of the phase space.
We study homology of ample groupoids via the compactly supported Moore complex of the nerve. Let $A$ be a topological abelian group. For $n\ge 0$ set $C_n(\mathcal G;A) := C_c(\mathcal G_n,A)$ and define $\partial_n^A=\sum_{i=0}^n(-1)^i(d_i)_*$. This defines $H_n(\mathcal G;A)$. The theory is functorial for continuous étale homomorphisms. It is compatible with standard reductions, including restriction to saturated clopen subsets. In the ample setting it is invariant under Kakutani equivalence. We reprove Matui type long exact sequences and identify the comparison maps at chain level. For discrete $A$ we prove a natural universal coefficient short exact sequence $$0\to H_n(\mathcal G)\otimes_{\mathbb Z}A\xrightarrow{\ ι_n^{\mathcal G}\ }H_n(\mathcal G;A)\xrightarrow{\ κ_n^{\mathcal G}\ }\operatorname{Tor}_1^{\mathbb Z}\bigl(H_{n-1}(\mathcal G),A\bigr)\to 0.$$ The key input is the chain level isomorphism $C_c(\mathcal G_n,\mathbb Z)\otimes_{\mathbb Z}A\cong C_c(\mathcal G_n,A)$, which reduces the groupoid statement to the classical algebraic UCT for the free complex $C_c(\mathcal G_\bullet,\mathbb Z)$. We also isolate the obstruction for non-discrete coefficients. For a locally compact totally disconnected Hausdorff space $X$ with a basis of compact open sets, the image of $Φ_X:C_c(X,\mathbb Z)\otimes_{\mathbb Z}A\to C_c(X,A)$ is exactly the compactly supported functions with finite image. Thus $Φ_X$ is surjective if and only if every $f\in C_c(X,A)$ has finite image, and for suitable $X$ one can produce compactly supported continuous maps $X\to A$ with infinite image. Finally, for a clopen saturated cover $\mathcal G_0=U_1\cup U_2$ we construct a short exact sequence of Moore complexes and derive a Mayer-Vietoris long exact sequence for $H_\bullet(\mathcal G;A)$ for explicit computations.
We establish the existence of many holomorphic Hecke eigenforms $f$ of large weight $k$ for the full modular group, for which the least positive integer $n_f$ such that $λ_f(n_f)<0$ satisfies $n_f \ge (\log k)^{1-o(1)}.$ This is believed to be best possible up to the $o(1)$ term in the exponent, and improves on a result of Kowalski, Lau, Soundararajan and Wu, who showed that, when restricted to primes, the least prime $p$ such that $λ_f(p)<0$ can be as large as $(\log k)^{1/2+o(1)}$. We also discuss an extension of our result to primitive holomorphic cusp forms of weight $k$ and squarefree level $N\geq 1$.
We consider various notions of completeness in symplectic topology and ask two related questions. Does a complete open symplectic manifold remain complete after excising a subset? Can two sets be made arbitrarily far apart by adjusting the almost complex structure within an appropriate class of complete almost complex structures? We find rigidity phenomena when the excised set is a symplectic hypersurface. These arise from certain open Gromov-Witten invariants. We contrast this with flexibility that often occurs when the excised set is coisotropic. We also briefly touch on the opposite question of obstructions to existence of a complete symplectic structure compatible with a given complex structure. For the notion of completeness we first consider the traditional notion of geometric boundedness. We then introduce a broader notion of normalized completeness, related to the notion of intermittent boundedness of \cite{GromanFloerOpen}, which depends on $C^0$ properties and is a contractible condition. Finally we speculate about the relation to a Fukaya-categorical notion of completeness.
We consider a scalar valued elliptic partial differential equation on a sufficiently smooth domain $Ω$, subject to a regularized Tresca friction-type boundary condition on a subset $Γ$ of $\partial Ω$. The friction threshold, a positive function appearing in this boundary condition, is assumed to be unknown and serves as the coefficient to be recovered in our inverse problem. Assuming that (i) the friction threshold lies in a finite dimensional space with known basis functions, (ii) the right hand sides of the partial differential equation are known, and (iii) the solution to the partial differential equation on some small open subset $ω\subset Ω$ is available, we develop an iterative computational method for the recovery of the friction threshold. This algorithm is simple to implement and is based on piecewise linear finite elements. We show that the proposed algorithm converges in second order to a function $a_h$ and, moreover, that $a_h$ converges in second order in the finite element's mesh size $h$ to the true (unknown) friction threshold. We highlight our theoretical results by simulations that confirm our rates numerically.
The primary objective of this section is to demonstrate that the actual pseudorandom measures of our construction are significantly smaller than the theoretical upper bounds derived from the Weil theorem. Regarding the family of sequences, we note that the construction $E_{f,g,h}$ allows for a large variety of sequences by choosing different triples of polynomials. While the detailed analysis of the cross-correlation measure of such a family is a challenging problem and lies beyond the scope of the present paper, the structure of the construction suggests that sequences generated by different polynomials will remain nearly orthogonal. Indeed, since each sequence is built from distinct Legendre symbol sequences with proven low correlation, their combinations are expected to maintain the same level of independence.
For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative). This induces a list of equivalent definitions of fusion category. As an application, we describe the connectness of a class of weak Hopf algebras by the separability of tensor functors. We also consider applications to transfer of simplicity between the unit objects, semisimple indecomposable module category and Grothendieck ring.
We study the construction of $d$-deletion-correcting binary codes by formulating the problem as a Maximum Clique Problem (MCP). In this formulation, vertices represent candidate codewords and edges connect pairs whose longest common subsequence (LCS) distance guarantees correction of up to $d$ deletions. A valid codebook corresponds to a clique in the resulting graph, and finding the largest codebook is equivalent to identifying a maximum clique. While MCP-based formulations for deletion-correcting codes have previously been explored, we demonstrate that applying Penalty-Guided Clique Search (PGCS), a lightweight stochastic clique-search heuristic inspired by Dynamic Local Search (DLS), consistently yields larger codebooks than existing graph-based heuristics, including minimum-degree and coloring methods, for block lengths $n = 8,9,\dots,14$ and deletion parameters $d = 1,2,3$. In several finite-length regimes, the resulting codebooks match known optimal sizes and outperform classical constructions such as Helberg codes. For decoding under segmented reception, where codeword boundaries are known, we propose an optimized LCS-based decoder that exploits symbol-count filtering and early termination to substantially reduce the number of LCS evaluations while preserving exact decoding guarantees. These optimizations lead to significantly lower average-case decoding complexity than the baseline $O(|C| n^2)$ approach.
We prove local $W^{1,q}$-regularity for weak solutions to fractional $p$-Laplacian type equations with right-hand side $f\in L^r_{\mathrm{loc}}(Ω)$. Assuming $p>1$, $s\in(0,1)$, and $sp'>1$, solutions belong to $W^{1,q}_{\mathrm{loc}}(Ω)$ for the optimal exponent $q=q(n,p,s,r)$. We obtain quantitative local gradient estimates involving nonlocal tail terms. The optimality of $q$ is confirmed by a counterexample.
This paper studies how the theory of derived algebras (in the sense of Bhatt-Mathew and Raksit) interacts with formal derived geometry, specifically the formal derived stacks which show up in the theory of prismatization. As an application we prove some classification theorems for derived algebras in quasi-coherent sheaves on a certain class of filtered \emph{formal} stacks, which includes those whose quasi-coherent sheaves are prismatic gauges over a perfectoid ring. Along the way, among other things, we study the behavior of derived algebras along schematic quasi-affine morphisms in derived geometry, and for example, classify derived algebras on the source as precisely those derived algebras on the target which receive a map from the pushforward of the structure sheaf of the source. We also indicate how to extend some of our results to (formal) classifying stacks of diagonalizable group schemes. As an aside, we also show some classification theorems even for quasi-coherent sheaves on formal stacks which (to our knowledge) weren't available in the literature on derived geometry previously. These results are motivated by forthcoming work of the author but hoped to be generally useful.
We show the existence of non-trivial self-expanding harmonic map flows starting from non-energy-minimizing 0-homogeneous maps to a regular ball or a closed hemisphere. In particular, given a non-minimizing but stationary 0-homogeneous harmonic map $u_0$ to a closed hemisphere, we construct infinitely many different weak solutions to harmonic map flow starting from $u_0$, all of which satisfy the parabolic monotonicity formula. This answers a question of Struwe.
We initiate the study of a multivariate graph polynomial $Φ_G(x,y,z)$ that interpolates between classical counting polynomials for matchings and for cycle structures arising in the Harary--Sachs expansion of the characteristic polynomial. We focus on analytic properties and computational consequences. Our main contribution is an explicit, degree-uniform zero-free region for $Φ_G$ on bounded-degree graphs, obtained via the Fernández--Procacci convergence criterion for abstract polymer gases.
Our main objective in this paper is to study the average rank of the $2$-Selmer group of the elliptic curve associated with the $\fracπ{3}$-congruent number problem. Following Heath-Brown's strategy, we could find an asymptotic formula for the size of the relaxed $2$-Selmer groups, which has several consequences towards the average of $2$-Selmer ranks and $\fracπ{3}$-congruent number problem. Indeed, we could find an unconditional positive density of $2$-Selmer rank being $1$ or $3$, among the positive square-free integers $n\equiv 13\pmod{24}$ having all the prime divisors congruent to $1$ modulo $4$ and an unconditional positive density of $2$-Selmer rank being $0$ or $2$, among the positive square-free integers $n\equiv 5\pmod{24}$ having all the prime divisors congruent to $1$ modulo $4$.
This work is concerned with a switching point optimization problem governed by a semilinear parabolic equation in abstract function spaces. It is shown that the switching-point-to-control mapping is continuously Fréchet-differentiable when considered with values in the dual of Hölder continuous functions in time. By treating the state equation in weak form based on the concept of maximal parabolic regularity, one can then show that the reduced objective is continuously differentiable w.r.t.\ the switching points which allows to use gradient-based method like the proximal gradient method for its minimization. In order to apply the known convergence results of this method, the gradient of the reduced objective must be Lipschitz continuous, which requires additional assumptions on the data. Numerical experiments confirm our theoretical findings, but also illustrate that such a method will in general not be able to solve the problem up to global optimality due to the non-convex nature of the switching-point-to-control map.
In this note we analyse the scrollar invariants of $k:1$ covers of $\mathbb P^1$ that factor through the normalisation of a nodal curve in the $m$-th Hirzebruch surface $\mathbb F_m$. We then give an existence theorem for nodal curves in $\mathbb F_m$ having fixed class and singular locus.
The bounded mean betting procedure serves as a crucial interface between the domains of (1) sequential, anytime-valid statistical inference, and (2) online learning and portfolio selection algorithms. While recent work in both domains has established the exponential wealth growth of numerous betting strategies under any alternative distribution, the tightness of the inverted confidence sets, and the pathwise minimax regret bounds, little has been studied regarding the asymptotics of these strategies under the null hypothesis. Under the null, a strategy induces a wealth martingale converging to some random variable that can be zero (bankrupt) or non-zero (non-bankrupt, e.g. when it eventually stops betting). In this paper, we show the conceptually intuitive but technically nontrivial fact that these strategies (universal portfolio, Krichevsky-Trofimov, GRAPA, hedging, etc.) all go bankrupt with probability one, under any non-degenerate null distribution. Part of our analysis is based on the subtle almost sure divergence of various sums of $\sum O_p(n^{-1})$ type, a result of independent interest. We also demonstrate the necessity of null bankruptcy by showing that non-bankrupt strategies are all improvable in some sense. Our results significantly deepen our understanding of these betting strategies as they qualify their behavior on "almost all paths", whereas previous results are usually on "all paths" (e.g. regret bounds) or "most paths" (e.g. concentration inequalities and confidence sets).
We propose a geometric model predictive control framework for quantum systems subject to smoothness and state constraints. By formulating quantum state evolution intrinsically on the projective Hilbert space, we penalize covariant accelerations to generate smooth trajectories in the form of Riemannian cubics, while incorporating state-dependent constraints through potential functions. A structure-preserving variational discretization enables receding-horizon implementation, and a Lyapunov-type stability result is established for the closed-loop system. The approach is illustrated on the Bloch sphere for a two-level quantum system, providing a viable pathway toward predictive feedback control of constrained quantum dynamics.
In this note, we show that the category of Latin (resp. commutative) medial quandles is equivalent to the category of affine modules over a certain Laurent polynomial ring (resp. the dyadic rationals). As applications, we describe free objects in these categories and obtain a structure theorem for finitely generated medial commutative quandles. We also characterize racks whose duals are commutative. Collectively, this solves two open problems of Bardakov and Elhamdadi (arXiv:2601.07057v2).
We establish the global well-posedness theory of small BV weak solutions to a one-dimensional compressible Navier--Stokes model for reacting gas mixtures in dynamic combustion. The unknowns of the PDE system consist of the specific volume, velocity, temperature, and mass fraction of the reactant. For initial data that are small perturbations around the constant equilibrium state $(1, 0, 1, 0)$ in the $L^1(\mathbb{R}) \cap {\rm BV}(\mathbb{R})$-norm, we establish the local-in-time existence of weak solutions via an iterative scheme, show the stability and uniqueness of local weak solutions, and prove the global-in-time existence of solutions for initial data with small BV-norm via an analysis of the Green's function of the linearised system. The large-time behaviour of the global BV weak solutions is also characterised. This work is motivated by and extends the recent global well-posedness theory for BV weak solutions to the one-dimensional isentropic Navier--Stokes and Navier--Stokes--Fourier systems developed in [T.-P. Liu, S.-H. Yu, Commun. Pure Appl. Math. 75 (2022), 223--348] and [H. Wang, S.-H. Yu, X. Zhang, Arch. Ration. Mech. Anal. 245 (2022), 375--477].
In this short paper, we show that any Lamé system whose Dirichlet-to-Neumann map for the elastic wave equation agrees with the one arising from the homogeneous Lamé system must actually be homogeneous. We do not need to impose any assumptions for the Lamé coefficients that we aim to recover. We use the fact that the homogeneous system gives rise to a geometry that is both simple and admits a strictly convex foliation.
We prove that an admissible $p$-adic Banach representation of $\text{GL}_2K$ whose locally analytic vectors have an infinitesimal character has Gelfand-Kirillov dimension $\leq[K\colon\mathbf Q_p]$, where $p>2$ and $K$ is a $p$-adic field. We also prove this for the group of units of the quaternions over $K$ replacing $\text{GL}_2K$. In the process, we make some observations in the theory of $p$-adic Banach representations that might be of independent interest.
This paper defines a Mitchell rank for supercompact cardinals. If $κ$ is a $θ$-supercompact cardinal then $o_{θ-sc}(κ) = \sup \{ o_{θ-sc}(μ) + 1 \ | \ μ\in m(κ)\}$, where $m(κ)$ is the collection of normal fine measures on $P_κθ$. We show how to force to kill the degree of a measurable cardinal $κ$ to any specified degree which is less than or equal to the degree of $κ$ in the ground model. We will also show how to softly kill the Mitchell rank for supercompactness of any supercompact cardinal so that in the forcing extension it is any desired degree less than or equal to it's degree in the ground model, along with some results concerning strongly compact cardinals.
In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear $\infty$-cooperads from our previous paper (arXiv:2105.11943) to their categories of algebras and coalgebras. This duality theorem specialises to the known duality in the case of algebras over classical (non-infinity) operads, but our proof is different. In fact, it is based on a much more general duality between presheaves and copresheaves on a category of trees. The latter duality is a priori independent of the (co)algebra structures, but we show that it can be lifted to (co)presheaves supporting such a structure. Based on this duality, we define the homology of an algebra over an $\infty$-operad, and prove that it can be described in terms of the homology of the same category of trees with coefficients in a presheaf.