Mathematics
See recent articles
Showing new listings for Monday, 13 October 2025
- [1] arXiv:2510.08579 [pdf, html, other]
-
Title: Spectral and Nilpotent Matrix Orderings: Comparison and Applications in Dynamic SystemsSubjects: Rings and Algebras (math.RA); Operator Algebras (math.OA); Spectral Theory (math.SP)
In our earlier work, we proposed the \emph{Spectral and Nilpotent Ordering} (SNO) as a new framework that extends matrix comparison beyond the Hermitian setting by incorporating both spectral and nilpotent structures. Building on that foundation, the present paper develops concrete certificates and applications of SNO. First, we employ generalized Gershgorin theorems to design certificates for spectral ordering that avoid direct eigenvalue computation and analyze their robustness under perturbations. Second, we introduce rank-based criteria that provide certificates for ordering the nilpotent parts of matrices without requiring a full Jordan decomposition. Finally, we apply the SNO framework to linear dynamical systems, where we construct a hierarchy of stability orderings that capture both asymptotic and transient behaviors. These contributions advance the theoretical underpinnings of SNO and demonstrate its potential as a versatile tool for operator analysis, computational methods, and stability studies in complex systems.
- [2] arXiv:2510.08639 [pdf, html, other]
-
Title: Multiplexons: Limits of Multiplex NetworksComments: 43 pages, 4 figuresSubjects: Probability (math.PR); Social and Information Networks (cs.SI); Combinatorics (math.CO); Statistics Theory (math.ST); Physics and Society (physics.soc-ph)
In a multiplex network, a set of nodes is connected by different types of interactions, each represented as a separate layer within the network. Multiplexes have emerged as a key instrument for modeling large-scale complex systems, due to the widespread coexistence of diverse interactions in social, industrial, and biological domains. This motivates the development of a rigorous and readily applicable framework for studying properties of large multiplex networks. In this article, we provide a self-contained introduction to the limit theory of dense multiplex networks, analogous to the theory of graphons (limit theory of dense graphs). As applications, we derive limiting analogues of commonly used multiplex features, such as degree distributions and clustering coefficients. We also present a range of illustrative examples, including correlated versions of Erdős-Rényi and inhomogeneous random graph models and dynamic networks. Finally, we discuss how multiplex networks fit within the broader framework of decorated graphs, and how the convergence results can be recovered from the limit theory of decorated graphs. Several future directions are outlined for further developing the multiplex limit theory.
- [3] arXiv:2510.08652 [pdf, other]
-
Title: Divergent Infinite Series -- Ramanujan's Initial IntuitionSubjects: Combinatorics (math.CO); Number Theory (math.NT)
This paper investigates Srinivasa Ramanujan's initial intuitive methodology for assigning the finite value -1/12 to the sum of the divergent infinite series of all positive integers. We systematically examine Ramanujan's initial method, originally sketched in his notebooks, and set the methodology into an algebraic framework. The methodology has limited applicability to other classes of divergent series. The methodology is extended to assign a Ramanujan smoothed sum to the infinite sequences of integers raised to a positive integer power and to figurate binomial number sequences, including triangular numbers, tetrahedral numbers, and higher-dimensional analogues, avoiding analytical continuation. A key finding establishes that the Ramanujan smoothed sums of figurate binomial sequences are intrinsically connected to logarithmic numbers (Gregory coefficients), providing a novel perspective on Ramanujan summation through the lens of classical combinatorial functions. The paper applies asymptotic expansions of associated rational generating functions to demonstrate consistency with established results from analytic continuation methods. The results illuminate the deeper mathematical structures underlying Ramanujan's intuitive insights and suggest new avenues for research in divergent series summation.
- [4] arXiv:2510.08670 [pdf, html, other]
-
Title: Hausdorff dimension of the singular set for Griffith almost-minimizers in the planeComments: Second part of separation of arXiv:2310.07670v1. arXiv admin note: text overlap with arXiv:2310.07670Subjects: Analysis of PDEs (math.AP)
We consider regularity of the crack set associated to a minimizer of the Griffith fracture energy, often used in modeling brittle materials. We show that the crack is uniformly rectifiable which in conjunction with our previous epsilon-regularity result allows us to prove that the singular set has dimension strictly less than $1$. This size estimate also applies to almost-minimizers. As a byproduct, we prove higher integrability for the gradient of local minimizers of the Griffith energy, providing a positive answer to the analog of De Giorgi's conjecture for the Mumford--Shah functional.
- [5] arXiv:2510.08692 [pdf, other]
-
Title: An introduction to representations of p-adic groupsComments: 17 pages, 2 figures, to appear in the Proceedings of the 9th European Congress of MathematicsSubjects: Representation Theory (math.RT); Number Theory (math.NT)
An explicit understanding of the (category of all smooth, complex) representations of p-adic groups provides an important tool not just within representation theory. It also has applications to number theory and other areas, and, in particular, it enables progress on various different forms of the Langlands program. In this write-up of the author's ECM 2024 colloquium-style talk, we will introduce p-adic groups and explain how the category of representations of p-adic groups decomposes into subcategories, called Bernstein blocks. We also provide an overview of what we know about the structure of these Bernstein blocks including a sketch of recent results of the author with Adler, Mishra and Ohara that allow to reduce a lot of problems about the (category of) representations of p-adic groups to problems about representations of finite groups of Lie type, where answers are often already known or are at least easier to achieve. Moreover, we provide an overview of what is known about the construction of supercuspidal representations, which are the building blocks of all smooth representations and whose construction is also the key to obtain the above results about the structure of the whole category of smooth representations. We will, in particular, focus on recent advances which include the work of the author mentioned in the EMS prize citation as well as a hint towards her recent joint work with David Schwein.
- [6] arXiv:2510.08701 [pdf, html, other]
-
Title: Automorphisms of locally string algebrasComments: 23 pagesSubjects: Rings and Algebras (math.RA)
It is known that automorphisms of finite-dimensional bound quiver algebras decompose into inner automorphisms and automorphisms which permute the vertices. In this paper, we show that for string algebras, automorphisms permuting vertices further decompose into a graded automorphism and a composition of certain types of exponential automorphisms. Moreover, the same decomposition applies to automorphisms of locally string algebras, which are an analogue of string algebras wherein the finite-dimensional condition is omitted.
- [7] arXiv:2510.08706 [pdf, html, other]
-
Title: A Lipschitz Refinement of the Multidimensional Bebutov--Kakutani Dynamical Embedding TheoremComments: 31 pages, 2 figuresSubjects: Dynamical Systems (math.DS)
We prove that a continuous action of $\mathbb{R}^n$ on a compact metrizable space equivariantly embeds into the shift action on the space of one-Lipschitz functions from $\mathbb{R}^n$ to $[0,1]$ if and only if the set of fixed points topologically embeds in $[0,1]$. This is a Lipschitz refinement of classical dynamical embedding theorems of Bebutov, Kakutani, Jaworski and Chen.
- [8] arXiv:2510.08708 [pdf, other]
-
Title: On higher regulators of Picard modular surfacesComments: Based on the author's Ph.D. thesis at the University of Connecticut (2025); 100 pages. Comments welcomeSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); K-Theory and Homology (math.KT); Representation Theory (math.RT)
We prove the motivic classes in the motivic cohomology groups of Picard modular surfaces with non-trivial coefficients constructed in a paper of Loeffler\textendash Skinner\textendash Zerbes are in the motivic cohomology groups of the interior motives. Then we establish a relation between the motivic classes and non-critical values of the motivic $L$-functions associated to cuspidal automorphic representations of $\mathrm{GU}(2,1)$, thus deducing non-triviality of the motivic classes and providing evidence for Beilinson's conjectures.
- [9] arXiv:2510.08714 [pdf, html, other]
-
Title: Re$^3$MCN: Cubic Newton + Variance Reduction + Momentum + Quadratic Regularization for Finite-sum Non-convex ProblemsComments: 10 pagesSubjects: Optimization and Control (math.OC)
We analyze a stochastic cubic regularized Newton method for finite sum optimization $\textstyle\min_{x\in\mathbb{R}^d} F(x) \;=\; \frac{1}{n}\sum_{i=1}^n f_i(x)$, that uses SARAH-type recursive variance reduction with mini-batches of size $b\sim n^{1/2}$ and exponential moving averages (EMA) for gradient and Hessian estimators. We show that the method achieves a $(\varepsilon,\sqrt{L_2\varepsilon})$-second-order stationary point (SOSP) with total stochastic oracle calls $n + \widetilde{\mathcal{O}}(n^{1/2}\varepsilon^{-3/2})$ in the nonconvex case (Theorem 8.3) and convergence rate $\widetilde{\mathcal{O}}(\frac{L R^3}{T^2} + \frac{\sigma_2 R^2}{T^2} + \frac{\sigma_1 R}{\sqrt{T}})$ in the convex case (Theorem 6.1). We also treat the matrix-free variant based on Hutchinson's estimator for Hessian and present a fast inner solver for the cubic subproblem with provable attainment of the required inexactness level.
- [10] arXiv:2510.08717 [pdf, html, other]
-
Title: A probabilistic approach to strong natural boundariesSubjects: Probability (math.PR); Complex Variables (math.CV)
We study the local non-extendability of random power series beyond their disk of convergence. We show that random power series formed by independent coefficients which are asymptotically anti-concentrated admit the circle of radius of convergence as strong natural boundary, even in a Nevanlinna sense. Our results complement and extend previous works of Ryll-Nardzewski (1953), and Breuer and Simon (2011).
- [11] arXiv:2510.08749 [pdf, html, other]
-
Title: Theoretical guarantees for change localization using conformal p-valuesComments: 53 pages, 8 figuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
Changepoint localization aims to provide confidence sets for a changepoint (if one exists). Existing methods either relying on strong parametric assumptions or providing only asymptotic guarantees or focusing on a particular kind of change(e.g., change in the mean) rather than the entire distributional change. A method (possibly the first) to achieve distribution-free changepoint localization with finite-sample validity was recently introduced by \cite{dandapanthula2025conformal}. However, while they proved finite sample coverage, there was no analysis of set size. In this work, we provide rigorous theoretical guarantees for their algorithm. We also show the consistency of a point estimator for change, and derive its convergence rate without distributional assumptions. Along that line, we also construct a distribution-free consistent test to assess whether a particular time point is a changepoint or not. Thus, our work provides unified distribution-free guarantees for changepoint detection, localization, and testing. In addition, we present various finite sample and asymptotic properties of the conformal $p$-value in the distribution change setup, which provides a theoretical foundation for many applications of the conformal $p$-value. As an application of these properties, we construct distribution-free consistent tests for exchangeability against distribution-change alternatives and a new, computationally tractable method of optimizing the powers of conformal tests. We run detailed simulation studies to corroborate the performance of our methods and theoretical results. Together, our contributions offer a comprehensive and theoretically principled approach to distribution-free changepoint inference, broadening both the scope and credibility of conformal methods in modern changepoint analysis.
- [12] arXiv:2510.08751 [pdf, html, other]
-
Title: A complete classification of control sets for singular linear control systems on the Heisenberg groupSubjects: Optimization and Control (math.OC)
In this paper, we investigate the control sets of linear control systems on the Heisenberg group associated with singular derivations. Under the Lie algebra rank condition, we provide a complete characterization of these sets by analyzing the trace and determinant of an associated 2 \times 2 submatrix.
- [13] arXiv:2510.08760 [pdf, html, other]
-
Title: Further Investigation on Cyclotomic Mapping Permutation Polynomials over Finite FieldsComments: 9 pagesSubjects: Number Theory (math.NT)
We explore the connection between cyclotomic mapping permutation polynomials and permutation polynomials of the form $x^rf(x^{\frac{q-1}{l}})$ over finite fields. We present a new necessary and a new sufficient condition to verify permutation behavior of such polynomials over finite field. As its application, for particular values of $r$, we point out some permutation trinomials of the form $P(x)=2x^{r+8}+x^{r+4}+2x^r \in \mathbb{F}_{13}[x]$, and work on few classes of permutation binomials.
- [14] arXiv:2510.08782 [pdf, html, other]
-
Title: A generalized alternating NGMRES method for PDE-constrained optimization problems governed by transport equationsComments: 35 pages, 10 figuresSubjects: Optimization and Control (math.OC)
In this work, we propose a generalized alternating nonlinear generalized minimal residual method (GA-NGMRES) to accelerate first-order optimization schemes for PDE-constrained optimization problems governed by transport equations. We apply GA-NGMRES to a preconditioned first-order optimization scheme by interpreting the update rule as a fixed-point (FP) iteration. Our approach introduces a novel periodic mixing strategy that integrates NGMRES updates with FP steps. This new scheme improves efficiency in terms of both iteration count and runtime compared to the state-of-the-art. We include a comparison to first-order preconditioned gradient descent and preconditioned, inexact Gauss--Newton--Krylov methods. Since the proposed optimization scheme only relies on first-order derivative information, its implementation is straightforward. We evaluate performance as a function of hyperparameters, the mesh size, and the regularization parameter. We consider advection, incompressible flows, and mass-preserving transport (i.e., optimal transport-type problems) as PDE models. Stipulating adequate smoothness requirements based on variational regularization of the control variable ensures that the computed transport maps are diffeomorphic. Numerical experiments on real-world and synthetic problems highlight the robustness and effectiveness of the proposed method. Our approach yields runtimes that are up to 5x faster than state-of-the-art Newton--Krylov methods, without sacrificing accuracy. Additionally, our GA-NGMRES algorithm outperforms the well-known Anderson acceleration for the models and numerical approach considered in this work.
- [15] arXiv:2510.08785 [pdf, html, other]
-
Title: FORWARD: A Feasible Radial Reconfiguration Algorithm for Multi-Source Distribution NetworksSubjects: Optimization and Control (math.OC)
This paper considers an optimal radial reconfiguration problem in multi-source distribution networks, where the goal is to find a radial configuration that minimizes quadratic distribution costs while ensuring all sink demands are met. This problem arises in critical infrastructure systems such as power distribution, water networks, and gas distribution, where radial configurations are essential for operational safety and efficiency. Optimal solution for this problem is known to be NP-hard. In this paper, we prove further that constructing a feasible radial distribution configuration is weakly NP-complete, making exact solution methods computationally intractable for large-scale networks. We propose FORWARD (Feasibility Oriented Random-Walk Inspired Algorithm for Radial Reconfiguration in Distribution Networks), a polynomial-time algorithm that leverages graph-theoretic decomposition and random walk principles to construct feasible radial configurations. Our approach introduces novel techniques including strategic graph partitioning at articulation points, dual graph condensation to address greedy shortsightedness, and capacity-aware edge swapping for infeasibility resolution. We provide rigorous theoretical analysis proving feasibility guarantees and establish a compositional framework enabling parallel processing while preserving optimality properties. Comprehensive numerical evaluation on networks ranging from IEEE standard test systems to 400-node small-world networks demonstrates that FORWARD consistently outperforms commercial MINLP solvers, achieving optimal or near-optimal solutions in seconds where traditional methods require hours or fail entirely. The algorithm's polynomial-time complexity and scalability make it particularly suitable for real-time distribution network management and as an effective initialization strategy for iterative optimization solvers.
- [16] arXiv:2510.08786 [pdf, html, other]
-
Title: The p-adic distance of special points to subvarietiesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
In a paper of Tate and the author, we conjectured a uniform bound for the p-adic distance of torsion points on a semiabelian variety, not lying in a subvariety, to that subvariety. We survey the progress made on that conjecture and on similar statements in analogous situations.
- [17] arXiv:2510.08793 [pdf, html, other]
-
Title: On Estimation of Angles of Arrival in Monostatic ISAC Without Instantaneous Transmit CSIComments: 7 pages, 5 figures, Accepted at 61st Allerton Conference on Communication, Control, and Computing, 2025Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper explores the fundamental limits of Integrated Sensing and Communication (ISAC) in a more realistic setting compared to previous literature when the Base Staion (BS) has only statistical CSI of the communication user rather than full CSI. We analyze a monostatic setting where the BS performs multi-target Angle of Arrival (AoA) estimation while simultaneously communicating with one of the targets. We assume that the BS has statistical CSI about all AoAs, with less uncertainty in the AoA of the communication receiver. The communication receiver is assumed to have perfect CSI. Utilizing a Bayesian Cramér-Rao Bound (BCRB) framework to characterize the fundamental limits of sensing under minimum mean square error (MMSE) criteria, we derive achievable BCRB-rate trade-off regions. Our approach introduces a number of transmission strategies that share power across sensing and communication beams over a coherence time. Our analysis reveals that beam allocation strategies leveraging the principal eigenvectors of the target-specific sensing matrices minimize individual AoA estimation errors, while strategies balancing sensing and communication directions optimize joint estimation performance at the cost of individual accuracy. We demonstrate that leveraging updated BCRB-based sensing information for the communication receiver, due to its lower channel uncertainty, enables significantly improved communication rates.
- [18] arXiv:2510.08806 [pdf, html, other]
-
Title: CoNeT-GIANT: A compressed Newton-type fully distributed optimization algorithmComments: 20 pages, 3 figures, submitted to an IEEE conferenceSubjects: Optimization and Control (math.OC)
Compression techniques are essential in distributed optimization and learning algorithms with high-dimensional model parameters, particularly in scenarios with tight communication constraints such as limited bandwidth. This article presents a communication-efficient second-order distributed optimization algorithm, termed as CoNet-GIANT, equipped with a compression module, designed to minimize the average of local strongly convex functions. CoNet-GIANT incorporates two consensus-based averaging steps at each node: gradient tracking and approximate Newton-type iterations, inspired by the recently proposed Network-GIANT. Under certain sufficient conditions on the step size, CoNet-GIANT achieves significantly faster linear convergence, comparable to that of its first-order counterparts, both in the compressed and uncompressed settings. CoNet-GIANT is efficient in terms of data usage, communication cost, and run-time, making it a suitable choice for distributed optimization over a wide range of wireless networks. Extensive experiments on synthetic data and the widely used CovType dataset demonstrate its superior performance.
- [19] arXiv:2510.08821 [pdf, html, other]
-
Title: Wild Stacky Curves and Rings of Mod p Modular FormsComments: 47 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We extend work of Voight and the second author to compute the log canonical ring of a wild stacky curve over a field of characteristic $p > 0$, which allows us to compute rings of mod $p$ modular forms of level $\Gamma_{0}(N)$. Our approach also reveals that in characteristics $2$ and $3$, there are infinitely many levels $N$ for which there are weight $2$ modular forms of level $\Gamma_{0}(N)$ that do not lift to characteristic $0$.
- [20] arXiv:2510.08822 [pdf, html, other]
-
Title: Stability Estimates for Commutativity Properties of the Dirichlet-to-Neumann OperatorSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG); Spectral Theory (math.SP)
The Laplacian $\Delta_{\mathbb{S}^{n-1}}$ on the unit sphere $\mathbb{S}^{n-1}\subset \mathbb{R}^n$ has the property that it can explicitly be expressed in terms of $\Lambda$, the Dirichlet-to-Neumann map of the unit ball, as $\Delta_{\mathbb{S}^{n-1}}=\Lambda^2+(n-2)\Lambda$. In this paper, we seek to characterize those manifolds for which such an exact relationship holds, and more generally measure the discrepancy of such a relationship holding in terms of geometric data. To this end, we obtain a stability estimate which shows that, for a smoothly bounded domain in $\mathbb{R}^3$, if the commutator $[\Lambda,\Delta_{\mathbb{S}^{n-1}}]$ is small then that domain is itself close to a ball. We then study the case of manifolds conformal to the ball, show that a relationship as above implies a radial metric structure, and discuss stability in this setting. Finally, we provide a modern exposition of Gohberg's lemma, a foundational result in microlocal analysis which we employ as a starting step for our reasoning.
- [21] arXiv:2510.08823 [pdf, html, other]
-
Title: Fourier transform pairs and Eisenstein-type series related to Jacobi elliptic functionsSubjects: Classical Analysis and ODEs (math.CA); Number Theory (math.NT)
We compute Fourier transforms of functions expressed as a ratio of one of the Jacobi elliptic functions divided by $\sinh(\pi x)$ or $\cosh(\pi x)$. In many cases, the resulting Fourier transform remains within the same class of functions. Applying the Mellin transform, we obtain sixteen Eisenstein-type series $\zeta_{j,l}(s,\tau)$, for which we establish several results: analytic continuation with respect to the variable $s$, a functional equation connecting $\zeta_{j,l}(s,\tau)$ and $\zeta_{l,j}(1-s,-1/\tau)$, and explicit expressions for $\zeta_{j,l}(s,\tau)$ when $s$ runs through a sequence of positive even or odd integers.
- [22] arXiv:2510.08826 [pdf, html, other]
-
Title: Measure theory via LocalesSubjects: General Topology (math.GN); Category Theory (math.CT); Logic (math.LO)
We present an approach to measure theory using the theory of locales. This includes concrete constructions of measure algebras associated to Radon measures, such as the Lebesgue measure on $\mathbb{R}^n$, via Grothendieck topologies constructed from valuations, that circumvent the classical approach via $\sigma$-algebras. As an application we obtain a functorial construction of the induced measure $\mu_*$ on the locale of sublocales $\mathfrak{Sl}(X)$ of a Hausdorff space $X$ equipped with a Radon measure $\mu$, which in particular shows that $\mu_*$ is invariant under measure-preserving homeomorphisms. We furthermore give a construction of the measurable locale associated to a smooth manifold, functorial in submersions, as well as comparison results to classical measure theory.
- [23] arXiv:2510.08830 [pdf, html, other]
-
Title: Data-driven multifidelity and multiscale topology optimization based on phasor-based evolutionary de-homogenizationSubjects: Optimization and Control (math.OC)
Multiscale topology optimization is crucial for designing porous infill structures with high stiffness-to-weight ratios and excellent energy absorption. Although gradient-based methods provide a rigorous framework, they are computationally expensive and struggle to capture cross-scale sensitivities in nonlinear settings. Moreover, the resulting hierarchical geometries are often overly complex and lack macroscopically meaningful features. To overcome these issues, we propose an evolutionary de-homogenization framework that couples MultiFidelity Topology Design (MFTD) with a phasor-based de-homogenization technique. The framework translates low-dimensional geometric descriptors into manufacturable high-resolution structures through a hybrid evolutionary algorithm integrating NSGA-II selection, VAE-enabled latent space crossover, and a novel image deformation-based mutation operator. This gradient-free approach achieves efficient optimization while ensuring geometric continuity. Numerical results confirm that the method effectively balances efficiency and design flexibility, offering a scalable pathway for fabrication-aware multiscale structural optimization.
- [24] arXiv:2510.08841 [pdf, html, other]
-
Title: Remoteness, order, size and connectivity constraints in digraphsSubjects: Combinatorics (math.CO)
Let \( D \) be a strongly connected digraph. The average distance of a vertex \( v \) in \( D \) is defined as the arithmetic mean of the distances from \( v \) to all other vertices in \( D \). The remoteness \( \rho(D) \) of \( D \) is the maximum of the average distances of the vertices in \( D \).
In this paper, we provide a sharp upper bound on the remoteness of a strong digraph with given order, size, and vertex-connectivity. We then characterise the extremal digraphs that maximise remoteness among all strong digraphs of order \(n\), size at least \(m\), and vertex-connectivity \(\kappa\). Finally, we demonstrate that the upper bounds on the remoteness of a graph given its order, size, and connectivity constraints (see \cite{DanMafMal2025}) can be extended to a larger class of digraphs containing all graphs, the Eulerian digraphs. - [25] arXiv:2510.08843 [pdf, html, other]
-
Title: Smooth Uncertainty Sets: Dependence of Uncertain Parameters via a Simple Polyhedral SetSubjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE)
We propose a novel polyhedral uncertainty set for robust optimization, termed the smooth uncertainty set, which captures dependencies of uncertain parameters by constraining their pairwise differences. The bounds on these differences may be dictated by the underlying physics of the problem and may be expressed by domain experts. When correlations are available, the bounds can be set
to ensure that the associated probabilistic constraints are satisfied for any given probability. We explore specialized solution methods for the resulting optimization problems, including compact reformulations that exploit special structures when
they appear, a column generation algorithm, and a reformulation of the adversarial problem as a minimum-cost flow problem. Our numerical experiments, based on problems from literature, illustrate (i) that the performance of the smooth uncertainty set model solution is similar to that of the ellipsoidal uncertainty model solution, albeit, it is computed within significantly shorter running times, and (ii) our column-generation algorithm can outperform the classical cutting plane algorithm and dualized reformulation, respectively in terms of solution time and memory consumption. - [26] arXiv:2510.08846 [pdf, html, other]
-
Title: Positive Hermitian curvature flow on 2-step nilpotent Lie groupsSubjects: Differential Geometry (math.DG)
We study the positive Hermitian curvature flow for left-invariant metrics on $2$-step nilpotent Lie groups with a left-invariant complex structure $J$. We describe the long-time behavior of the flow under the assumption that $J[\mathfrak{g}, \mathfrak{g}]$ is contained in the center of $\mathfrak{g}$. We show that under our assumption the flow $g_{t}$ exists for all positive $t$ and $(G,(1+t)^{-1}g_{t})$ converges, in the Cheeger-Gromov topology, to a $2$-step nilpotent Lie group with a non flat semi-algebraic soliton. Moreover, we prove that, in our class of Lie groups, there exists at most one semi-algebraic soliton solution, up to homothety. Similar results were proved by M. Pujia and J. Stanfield for nilpotent complex Lie groups \cite{P2021, S2021}. In the last part of the paper we study the Hermitian curvature flow for the same class of Lie groups.
- [27] arXiv:2510.08854 [pdf, html, other]
-
Title: Optimal Control with Lyapunov Stability Guarantees for Space ApplicationsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper investigates the infinite horizon optimal control problem (OCP) for space applications characterized by nonlinear dynamics. The proposed approach divides the problem into a finite horizon OCP with a regularized terminal cost, guiding the system towards a terminal set, and an infinite horizon linear regulation phase within this set. This strategy guarantees global asymptotic stability under specific assumptions. Our method maintains the system's fully nonlinear dynamics until it reaches the terminal set, where the system dynamics is linearized. As the terminal set converges to the origin, the difference in optimal cost incurred reduces to zero, guaranteeing an efficient and stable solution. The approach is tested through simulations on three problems: spacecraft attitude control, rendezvous maneuver, and soft landing. In spacecraft attitude control, we focus on achieving precise orientation and stabilization. For rendezvous maneuvers, we address the navigation of a chaser to meet a target spacecraft. For the soft landing problem, we ensure a controlled descent and touchdown on a planetary surface. We provide numerical results confirming the effectiveness of the proposed method in managing these nonlinear dynamics problems, offering robust solutions essential for successful space missions.
- [28] arXiv:2510.08857 [pdf, html, other]
-
Title: Iterated sumset expansion in $\mathbb{F}_p^n$Comments: 10 pages, comments welcome!Subjects: Combinatorics (math.CO)
Given a set $A \subseteq \mathbb{F}_p^n$, what conditions does one need to guarantee that iterated sumsets of the form $A+\cdots+A$ expand quickly (say, within $O(p)$ terms) to the whole space? When only the size of $A$ is known, such expansion results are only possible when $|A|>\frac{1}{p}|\mathbb{F}_p^n|$. However, heuristic considerations suggest that expansion should begin with much smaller sets under just mild ``nondegeneracy'' conditions. In this paper, we confirm this intuition by showing a sufficient algebraic condition for the asymmetric version of this problem: We have $A_1+\dots+A_m=\mathbb{F}_p^n$ as long as each $A_i$ is not contained in the zero set of any low degree polynomial ($\text{deg} = O(n)$ when $m=O(p)$). We close with a discussion of the behavior of random sets, as well as extensions of these results and connections with the Erdős-Ginzburg-Ziv problem. Our proofs make use of the shift operator polynomial method developed by the second author.
- [29] arXiv:2510.08860 [pdf, html, other]
-
Title: Two-cardinal Kurepa HypothesesSubjects: Logic (math.LO)
We consider the two-cardinal Kurepa Hypothesis $\mathsf{KH}(\kappa,\lambda)$. We observe that if $\kappa\leq\lambda<\mu$ are infinite cardinals then $\lnot\mathsf{KH}(\kappa,\lambda)\land\mathsf{KH}(\kappa,\mu)\rightarrow\mathsf{KH}(\lambda^+,\mu)$, and show that in some sense this is the only $\mathsf{ZFC}$ constraint. The case of singular $\lambda$ and its relation to Chang's Conjecture and scales is discussed. We also extend an independence result about Kurepa and Aronszajn trees due to Cummings to the case of successors of singular cardinal.
- [30] arXiv:2510.08861 [pdf, other]
-
Title: Instances of models of double-categorical theoriesComments: 51 ppSubjects: Category Theory (math.CT)
We contribute a chapter in common to categorical database theory and to the study of higher morphisms between double categories. The common thread here is the notion of instance, or right module, which we generalize from functors from a plain category into Set to the models of a (cartesian) double theory. This provides a concept of instance for such objects as a category equipped with a monad, or a (symmetric) multicategory, recovering the multifunctors into Set in the latter case. We also show that instances of models are equivalent to an appropriate concept of discrete opfibration over that model, not recoverable as the representable discrete opfibrations in the 2-category of models. Finally, we give comprehensive factorization systems with these discrete opfibrations as the right class.
- [31] arXiv:2510.08862 [pdf, html, other]
-
Title: An inverse theorem on sets with rich additive structure modulo primesComments: 21 pagesSubjects: Number Theory (math.NT)
In this paper, we prove several results on the structure of maximal sets $S \subseteq [N]$ such that $S$ mod $p$ is contained in a short arithmetic progression, or the union of short progressions, where $p$ ranges over a subset of primes in an interval $[y,2y]$, where $(\log N)^C < y \leq N$. We also provide several constructions showing that our results cannot be improved. As an application, we provide several improvements on the larger sieve bound for $|S|$ when $S$ mod $p$ has strong additive structure, parallel to the work of Green-Harper and Shao for improvements on the large sieve.
- [32] arXiv:2510.08866 [pdf, html, other]
-
Title: Spectral theory for Lévy and Lévy-Ornstein-Uhlenbeck semigroups on step 2 Carnot groupsComments: 50 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We consider non-local perturbations $\Delta^\psi_G$ of sub-Laplacians on a step $2$ Carnot group $G$. The perturbations are by translation-invariant non-local operators acting along the vertical directions in $G$. We use harmonic analysis on $G$ to obtain intertwining relationship between the semigroups generated by $\Delta^\psi_G$ and some strongly continuous contraction semigroups on Euclidean spaces with purely continuous spectrum, and as a result we identify the spectrum of $\Delta^\psi_G$. Further we introduce the Lévy-Ornstein-Uhlenbeck (OU) semigroup corresponding to $\Delta^\psi_G$. We prove that these Markov semigroups are ergodic, though they are not normal operators on $L^2$ space with respect to the invariant distribution $\mathsf{p}_\psi$. The intertwining relationships allow us to show that all Lévy-OU generators on $G$ are isospectral, that is, they have the same eigenvalues with the same multiplicities. As a byproduct, we obtain a precise description of the eigenspaces, and also derive explicit formula for the co-eigenfunctions corresponding to some eigenvalues.
- [33] arXiv:2510.08871 [pdf, html, other]
-
Title: Experimental investigations on Lehmer's conjecture for elliptic curvesComments: to appear in Proceedings of LuCaNT IISubjects: Number Theory (math.NT)
In this short note, we give a method for computing a non-torsion point of smallest canonical height on a given elliptic curve $E/\mathbb{Q}$ over all number fields of a fixed degree. We then describe data collected using this method, and investigate related conjectures of Lehmer and Lang using these data.
- [34] arXiv:2510.08887 [pdf, html, other]
-
Title: Observation Matrix Design for Densifying MIMO Channel Estimation via 2D Ice FillingComments: 17 pages, 8 figuresSubjects: Information Theory (cs.IT); Information Retrieval (cs.IR); Signal Processing (eess.SP); Systems and Control (eess.SY)
In recent years, densifying multiple-input multiple-output (MIMO) has attracted much attention from the communication community. Thanks to the subwavelength antenna spacing, the strong correlations among densifying antennas provide sufficient prior knowledge about channel state information (CSI). This inspires the careful design of observation matrices (e.g., transmit precoders and receive combiners), that exploits the CSI prior knowledge, to boost channel estimation performance. Aligned with this vision, this work proposes to jointly design the combiners and precoders by maximizing the mutual information between the received pilots and densifying MIMO channels. A two-dimensional ice-filling (2DIF) algorithm is proposed to efficiently accomplish this objective. The algorithm is motivated by the fact that the eigenspace of MIMO channel covariance can be decoupled into two sub-eigenspaces, which are associated with the correlations of transmitter antennas and receiver antennas, respectively. By properly setting the precoder and the combiner as the eigenvectors from these two sub-eigenspaces, the 2DIF promises to generate near-optimal observation matrices. Moreover, we further extend the 2DIF method to the popular hybrid combining systems, where a two-stage 2DIF (TS-2DIF) algorithm is developed to handle the analog combining circuits realized by phase shifters. Simulation results demonstrate that, compared to the state-of-the-art schemes, the proposed 2DIF and TS-2DIF methods can achieve superior channel estimation accuracy.
- [35] arXiv:2510.08890 [pdf, html, other]
-
Title: Quantitative Carleman-type estimates for holomorphic sections over bounded domainsSubjects: Complex Variables (math.CV); Differential Geometry (math.DG)
This paper establishes quantitative Carleman-type inequalities for holomorphic sections of Hermitian vector bundles over bounded domains in $\mathbb{C}^n$ with $n \geq 2$. We first prove a Sobolev-type inequality with explicit constants for the Laplace operator, which leads to quantitative Carleman-type estimates for holomorphic functions. These results are then extended to holomorphic sections of Hermitian vector bundles satisfying certain curvature restrictions, yielding quantitative versions where previously only non-quantitative forms were available. The proofs refine existing methods through careful constant tracking and by estimating the radius of the uniform sphere condition of the boundary through the Lipschitz constant of its outward unit normal vector.
- [36] arXiv:2510.08895 [pdf, html, other]
-
Title: Travel Bans vs. Social Distancing: A Mathematical AnalysisSubjects: Probability (math.PR)
As the world grows increasingly connected, infectious disease transmission and outbreaks become a pressing global concern for public health officials and policymakers. While policy interventions to contain and prevent the spread of disease have been proposed and implemented, there has been little rigorous quantitative analysis of the effectiveness of such interventions. In this paper, we study the susceptible-infected-recovered (SIR) infection process on a dynamic network model that models two communities with travel between them. In particular, we consider two Erdős--Rényi graphs where edges are dynamically changing based on node travel between the graphs. We characterize the time evolution of the outbreaks in both communities and pin down the time for when the infection first reaches the second community. Finally, we analyze two interventions, social distancing and travel bans, and show that while social distancing is effective at reducing the burden of the disease in the second community, travel bans are not.
- [37] arXiv:2510.08904 [pdf, html, other]
-
Title: A new approach to inverse Sturm-Liouville problems based on point interaction II. The singular caseSubjects: Classical Analysis and ODEs (math.CA)
In this paper, further to the point interaction method for inverse Sturm-Liouville problems on finite intervals firstly proposed in our previous work, we will continue to generalize this method to the inverse eigenvalue problems for singular Sturm-Liouville problems on the half real axis.
- [38] arXiv:2510.08934 [pdf, html, other]
-
Title: The Fractal Logic of $Φ$-adic RecursionComments: Comments: 17 pages, 2 figures. Presents a Fibonacci-based Gödel numbering with polynomial-time modus ponens verification via linear Diophantine witnesses. Key result: modus ponens tautology checking reduces to $Δ_0$ algebraic constraint satisfaction in geometrySubjects: Logic (math.LO); Logic in Computer Science (cs.LO)
We establish that valid $\Sigma_1$ propositional inference admits reduction to Fibonacci-indexed witness equations. Specifically, modus ponens verification reduces to solving a linear Diophantine equation in $O(M(\log n))$ time, where $M$ denotes integer multiplication complexity. This reduction is transitive: tautology verification proceeds via Fibonacci index arithmetic, bypassing semantic evaluation entirely. The core discovery is a transitive closure principle in $\Phi$-scaled space (Hausdorff dimension $\log_\Phi 2$), where logical consequence corresponds to a search problem over Fibonacci arcs -- a geometric invariant encoded in Zeckendorf representations. This yields a computational model wherein proof verification is achieved through \emph{arithmetic alignment} rather than truth-functional analysis, preserving soundness while respecting incompleteness. The construction synthesizes Lovelace's anticipation of symbolic computation (Note G) with the Turing-Church formalism, revealing a geometric interpretability of logic relative to a $\Sigma_1$ or $\omega$-consistent theory.
- [39] arXiv:2510.08947 [pdf, html, other]
-
Title: On positive solutions of Lane-Emden equations on the integer lattice graphsComments: Page 45Subjects: Analysis of PDEs (math.AP)
In this paper, we investigate the existence and nonexistence of positive solutions to the Lane-Emden equations $$ -\Delta u = Q |u|^{p-2}u $$ on the $d$-dimensional integer lattice graph $\mathbb{Z}^d$, as well as in the half-space and quadrant domains, under the zero Dirichlet boundary condition in the latter two cases. Here, $d \geq 2$, $p > 0$, and $Q$ denotes a Hardy-type positive potential satisfying $Q(x) \sim (1+|x|)^{-\alpha}$ with $\alpha \in [0, +\infty]$. \smallskip
We identify the Sobolev super-critical regions of the parameter pair $(\alpha, p)$ for which the existence of positive solutions is established via variational methods. In contrast, within the Serrin sub-critical regions of $(\alpha, p)$, we demonstrate nonexistence by iteratively analyzing the decay behavior at infinity, ultimately leading to a contradiction. Notably, in the full-space and half-space domains, there exists an intermediate regions between the Sobolev critical line and the Serrin critical line where the existence of positive solutions remains an open question. Such an intermediate region does not exist in the quadrant domain. - [40] arXiv:2510.08957 [pdf, html, other]
-
Title: Complete Resolution of B.Shapiro's Conjecture 12Subjects: Complex Variables (math.CV)
For any real polynomial $p(x)$ of even degree $n$, Shapiro [{\it Arnold Math. J.} 1(1) (2015), 91--99] conjectured that the sum of the number of real zeros of $(n-1)(p')^2 - np p''$ and the number of real zeros of $p$ is positive. We resolve this conjecture completely: it holds in nine mutually exclusive cases and fails in four, as characterized by the root locus properties of general real rational functions. Our results provide a complete classification of real polynomials of even degree with respect to this conjecture.
- [41] arXiv:2510.08961 [pdf, html, other]
-
Title: Stability Conditions and Algebraic Hearts for Acyclic QuiversComments: 23 pages, comments welcome!Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
We study stability conditions on the derived category of a finite connected acyclic quiver. We prove that, for any stability condition on the derived category, its heart can be obtained from an algebraic heart by a rotation of phases. Consequently, we establish the connectedness of the space of stability conditions. Furthermore, we prove that every stability condition $\sigma$ admits a full $\sigma$-exceptional collection.
- [42] arXiv:2510.08982 [pdf, html, other]
-
Title: Some capacitary strong type inequalities and related function spacesComments: 42 pagesSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We verify a conjecture of D. R. Adams on a capacitary strong type inequality that generalizes the classical capacitary strong type inequality of V. G. Maz'ya. As a result, we characterize related function spaces as Köthe duals to a class of Sobolev multiplier type spaces. Moreover, using tools from nonlinear potential theory, weighted norm inequalities, and Banach function space theory, we show that these spaces are also isomorphic to more concrete spaces that are easy to use and fit in well with the modern theory of function spaces of harmonic analysis.
- [43] arXiv:2510.09005 [pdf, html, other]
-
Title: Note on large quadratic character sumsComments: 7 pagesSubjects: Number Theory (math.NT)
In this article, we investigate the conditional large values of quadratic Dirichlet character sums. We prove an Omega result for quadratic character sums under the assumption of the generalized Riemann hypothesis.
- [44] arXiv:2510.09015 [pdf, html, other]
-
Title: Soft Guessing Under Logarithmic Loss Allowing Errors and Variable-Length Source CodingSubjects: Information Theory (cs.IT)
This paper considers the problem of soft guessing under a logarithmic loss distortion measure while allowing errors. We find an optimal guessing strategy, and derive single-shot upper and lower bounds for the minimal guessing moments as well as an asymptotic expansion for i.i.d. sources. These results are extended to the case where side information is available to the guesser. Furthermore, a connection between soft guessing allowing errors and variable-length lossy source coding under logarithmic loss is demonstrated. The Rényi entropy, the smooth Rényi entropy, and their conditional versions play an important role.
- [45] arXiv:2510.09026 [pdf, html, other]
-
Title: Bigraded Lie algebras and nilpotent fundamental groups of smooth complex algebraic varietiesComments: 16 pages, comments are welcome!Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Differential Geometry (math.DG)
Let $X$ be a smooth complex algebraic variety. Assume that the fundamental group $\pi_1(X,x)$ is torsion-free nilpotent. We show that if the betti number $b_1(X)$ is less than or equal to $3$, then $\pi_1(X,x)$ is isomorphic to $\mathbb{Z}$, $\mathbb{Z}^2$, $\mathbb{Z}^3$, a lattice in the Heisenberg group $H_3(\mathbb{R})$ or $\mathbb{R}\times H_3(\mathbb{R})$. Moreover we show that $\pi_1(X,x)$ is abelian or $2$-step nilpotent if the rank of $\pi_1(X,x)$ is less than or equal to seven. We prove the main theorems by using the bigraded structures of mixed Hodge structures on nilpotent Lie algebras. In particular, if the rank of $\pi_1(X,x)$ is less than or equal to six, then we show that $\pi_1(X,x)$ is a lattice in an abelian Lie group $\mathbb{R}^n$ or a $(2k+1)$-dimensional Heisenberg group $H_{2k+1}(\mathbb{R})$ or a product group $\mathbb{R}^m\times H_{2l+1}(\mathbb{R})$ or $H_3(\mathbb{R})\times H_3(\mathbb{R})$ for some $n=1,2,3,4,5,6$, $k=1,2$ or $(m,l)=(1,3),(2,3),(3,3),(1,5)$. Our main result supports a conjecture of nilpotent (quasi-) Kähler group provided by Aguilar and Campana.
- [46] arXiv:2510.09028 [pdf, other]
-
Title: Drift estimation for rough processes under small noise asymptotic : QMLE approachArnaud Gloter (LaMME), Nakahiro YoshidaSubjects: Statistics Theory (math.ST)
We consider a process X^$\epsilon$ solution of a stochastic Volterra equation with an unknown parameter $\theta$ in the drift function. The Volterra kernel is singular and given by K(u) = cu $\alpha$-1 __u>0 with $\alpha$ $\in$ (1/2, 1) and it is assumed that the diffusion coefficient is proportional to $\epsilon$ $\rightarrow$ 0 Based on the observation of a discrete sampling with mesh h $\rightarrow$ 0 of the Volterra process, we build a Quasi Maximum Likelihood Estimator. The main step is to assess the error arising in the reconstruction of the path of a semi-martingale from the inversion of the Volterra kernel. We show that this error decreases as h^{1/2} whatever is the value of $\alpha$. Then, we can introduce an explicit contrast function, which yields an efficient estimator when $\epsilon$ $\rightarrow$ 0.
- [47] arXiv:2510.09039 [pdf, html, other]
-
Title: Low Complexity Detector for XL-MIMO Uplink: A Cross Splitting Based Information Geometry ApproachSubjects: Information Theory (cs.IT)
In this paper, we propose the cross splitting based information geometry approach (CS-IGA), a novel and low complexity iterative detector for uplink signal recovery in extralarge-scale MIMO (XL-MIMO) systems. Conventional iterative detectors, such as the approximate message passing (AMP) algorithm and the traditional information geometry algorithm (IGA), suffer from a per iteration complexity that scales with the number of base station (BS) antennas, creating a computational bottleneck. To overcome this, CS-IGA introduces a novel cross matrix splitting of the natural parameter in the a posteriori distribution. This factorization allows the iterative detection based on the matched filter, which reduces per iteration computational complexity. Furthermore, we extend this framework to nonlinear detection and propose nonlinear CSIGA (NCS-IGA) by seamlessly embedding discrete constellation constraints, enabling symbol-wise processing without external interference cancellation loops. Comprehensive simulations under realistic channel conditions demonstrate that CS-IGA matches or surpasses the bit error rate (BER) performance of Bayes optimal AMP and IGA for both linear and nonlinear detection, while achieving this with fewer iterations and a substantially lower computational cost. These results establish CS-IGA as a practical and powerful solution for high-throughput signal detection in next generation XL-MIMO systems.
- [48] arXiv:2510.09052 [pdf, html, other]
-
Title: On the Proof of the Genčev-Rucki Conjecture for Multiple Apéry-Like SeriesSubjects: Number Theory (math.NT)
In this paper, we employ the theories and techniques of hypergeometric functions to provide two distinct proofs of the conjectured identities involving multiple Apéry-like series with central binomial coefficients and multiple harmonic star sums, as recently proposed by Genčev and Rucki. Furthermore, we establish several more general identities for multiple Apéry-like series. Furthermore, by utilizing the method of iterated integrals, a class of multiple mixed values can be expressed as combinations of the multiple Apéry-like series identities conjectured by Genčev and Rucki and $\zeta(2,\ldots,2)$, thus allowing explicit formulas for these multiple mixed values to be derived in terms of Riemann zeta values.
- [49] arXiv:2510.09057 [pdf, html, other]
-
Title: Optimal binary codes from $\mathcal{C}_{D}$-codes over a non-chain ringSubjects: Information Theory (cs.IT)
In \cite{shi2022few-weight}, Shi and Li studied $\mathcal{C}_D$-codes over the ring $\mathcal{R}:=\mathbb{F}_2[x,y]/\langle x^2, y^2, xy-yx\rangle$ and their binary Gray images, where $D$ is derived using certain simplicial complexes. We study the subfield codes $\mathcal{C}_{D}^{(2)}$ of $\mathcal{C}_{D}$-codes over $\mathcal{R},$ where $D$ is as in \cite{shi2022few-weight} and more. We find the Hamming weight distribution and the parameters of $\mathcal{C}_D^{(2)}$ for various $D$, and identify several infinite families of codes that are distance-optimal. Besides, we provide sufficient conditions under which these codes are minimal and self-orthogonal. Two families of strongly regular graphs are obtained as an application of the constructed two-weight codes.
- [50] arXiv:2510.09063 [pdf, html, other]
-
Title: Graphs Excluding a Minor in Blowups of Treewidth 3 GraphsSubjects: Combinatorics (math.CO)
Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] famously showed that every $n$-vertex $K_h$-minor-free graph has treewidth $O_h(\sqrt{n})$. Recently, Distel, Dujmović, Eppstein, Hickingbotham, Joret, Micek, Morin, Seweryn, and Wood [SIAM J. Discrete Math. 2024] refined this by showing that these graphs are $O_h(\sqrt{n})$-blowups of treewidth $4$ graphs. We improve this by showing that these graphs are $O_h(\sqrt{n})$-blowups of treewidth $3$ graphs.
- [51] arXiv:2510.09068 [pdf, html, other]
-
Title: Improved bounds for the minimum degree of minimal multicolor Ramsey graphsSubjects: Combinatorics (math.CO)
We provide two novel constructions of $r$ edge-disjoint $K_{k+1}$-free graphs on the same vertex set, each of which has the property that every small induced subgraph contains a complete graph on $k$ vertices. The main novelty of our argument is the combination of an algebraic and a probabilistic coloring scheme, which utilizes the beneficial algebraic and combinatorial properties of the Hermitian unital. These constructions improve on a number of upper bounds on the smallest possible minimum degree of minimal $r$-color Ramsey graphs for the clique $K_{k+1}$ when $r\geq c\frac{k}{\log^2 k}$ and $k$ is large enough.
- [52] arXiv:2510.09086 [pdf, html, other]
-
Title: An algebraic approach to Latin squares of prime power order by local permutation polynomialsComments: 23 pagesSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
Every Latin square of prime power order $q$ is uniquely described by a local permutation polynomial (LPP) in the polynomial ring $\mathbb{F}_q[x,y]$. Despite this equivalence, one may find in the literature only some preliminary results on the relationship among Latin squares and LPPs. This paper delves into this topic by showing how the coefficients of any LPP are identified with the zeros of an algebraic set over $\mathbb{F}_q$. This allows for an algebraic description of all Latin squares of order $q$ by means of a unique polynomial in $\mathbb{F}_q[x,y]$, whose coefficients satisfy the constraints defined by the algebraic set under consideration. In order to make much easier the construction of this polynomial, we also deal with the natural translation to LPPs of both notions of reduced and isotopic Latin squares. Our algebraic approach is readily adapted to identify both types of Latin squares. All of the above is constructively illustrated for $q\in\{4,5\}$. We finish our study with the natural translation to LPPs of both notions of complete mappings and orthomorphisms of quasigroups, showing their relationship with transversals and isotopisms of Latin squares.
- [53] arXiv:2510.09102 [pdf, html, other]
-
Title: Sum of short exponential sums with prime numbersSubjects: Number Theory (math.NT)
For sufficiently large integers $K$, $x$, $y$, and $q$ satisfying $K \le y < x$, where $f(u) = \alpha u^n + \alpha_{n-1}u^{n-1} + \ldots + \alpha_1 u$ is a polynomial of degree $n$ with real coefficients, $n$ is a fixed positive integer, $\alpha$ is a real number such that $\left|\alpha - \frac{a}{q}\right| \le \frac{1}{q^2}$, $(a, q) = 1$, $q \ge 1$ and $\mathscr{L} = \ln x$, an estimate of the form $$ \sum_{k=1}^K \left| \sum_{x - y < p \le x} e(kf(p)) \right| \ll K y \left( \frac{1}{q} + \frac{1}{y} + \frac{q}{K y^n} + \frac{1}{K^{2^{n-1}}} \right)^{2^{-n-1}} {\mathscr{L}}^{\frac{n^2}{2^{n+1}}}, $$ is obtained, which represents a strengthening and generalization of the corresponding estimate of this http URL.
Keywords: short exponential sum of this http URL with prime numbers, uniform distribution modulo one, nontrivial estimate, fractional part.
Bibliography: 18 references. - [54] arXiv:2510.09123 [pdf, html, other]
-
Title: Energy distance and evolution problems: a promising tool for kinetic equationsComments: 13 pagesSubjects: Analysis of PDEs (math.AP); Physics and Society (physics.soc-ph)
We study the rate of convergence to equilibrium of the solutions to Fokker-Planck type equations with linear drift by means of Cramér and Energy distances, which have been recently widely used in problems related to AI, in particular for tasks related to machine learning. In all cases in which the Fokker-Planck type equations can be treated through these distances, it is shown that the rate of decay is improved with respect to known results which are based on the decay of relative entropy.
- [55] arXiv:2510.09131 [pdf, html, other]
-
Title: A classification algorithm for reflexive simplicesComments: 13 pagesSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
We present a general classification algorithm for reflexive simplices, which allows us to determine all reflexive simplices in dimensions five and six. In terms of algebraic geometry this means that we classify the Gorenstein fake weighted projective spaces in dimensions five and six. As a byproduct of our methods, we obtain explicit formulae for the Picard group and the Gorenstein index of any fake weighted projective space.
- [56] arXiv:2510.09142 [pdf, html, other]
-
Title: Local Lipschitz continuity for energy integrals with fast growth and lower order termsSubjects: Analysis of PDEs (math.AP)
We consider integral functionals with fast growth and the lagrangian explicitly depending on $u$. We prove that the local minimizers are locally Lipschitz continuous.
- [57] arXiv:2510.09143 [pdf, html, other]
-
Title: Multiparty equality in the local broadcast modelSubjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)
In this paper we consider the multiparty equality problem in graphs, where every vertex of a graph $G$ is given an input, and the goal of the vertices is to decide whether all inputs are equal. We study this problem in the local broadcast model, where a message sent by a vertex is received by all its neighbors and the total cost of a protocol is the sum of the lengths of the messages sent by the vertices. This setting was studied by Khan and Vaidya, who gave in 2021 a protocol achieving a 4-approximation in the general case.
We study this multiparty communication problem through the lens of network topology. We design a new protocol for 2-connected graphs, whose efficiency relies on the notion of total vertex cover in graph theory. This protocol outperforms the aforementioned 4-approximation in a number of cases. To demonstrate its applicability, we apply it to obtain optimal or asymptotically optimal protocols for several natural network topologies such as cycles, hypercubes, and grids. On the way we also provide new bounds of independent interest on the size of total vertex covers in regular graphs. - [58] arXiv:2510.09166 [pdf, html, other]
-
Title: On the Strength of Linear Relaxations in Ordered OptimizationComments: 30 pages, 8 figues, 2 tablesSubjects: Optimization and Control (math.OC)
We study the conditions under which the convex relaxation of a mixed-integer linear programming formulation for ordered optimization problems, where sorting is part of the decision process, yields integral optimal solutions. Thereby solving the problem exactly in polynomial time. Our analysis identifies structural properties of the input data that influence the integrality of the relaxation. We show that incorporating ordered components introduces additional layers of combinatorial complexity that invalidate the exactness observed in classical (non-ordered) settings. In particular, for certain ordered problems such as the min--max case, the linear relaxation never recovers the integral solution. These results clarify the intrinsic hardness introduced by sorting and reveal that the strength of the relaxation depends critically on the ``proximity'' of the ordered problem to its classical counterpart: problems closer to the non-ordered case tend to admit tighter relaxations, while those further away exhibit substantially weaker behavior. Computational experiments on benchmark instances confirm the predictive value of the integrality conditions and demonstrate the practical implications of exact relaxations for ordered location problems.
- [59] arXiv:2510.09179 [pdf, html, other]
-
Title: Directional Subdifferentials at Infinity and Its ApplicationsComments: 29 pagesSubjects: Optimization and Control (math.OC)
This paper investigates the behavior of sets and functions at infinity by introducing new concepts, namely directional normal cones at infinity for unbounded sets, along with limiting and singular subdifferentials at infinity in the direction for extended real-valued functions. We develop several calculus rules for these concepts and then apply them to nonsmooth optimization problems. The applications include establishing directional optimality conditions at infinity, analyzing the coercivity, proving the compactness of the global solution set, and examining properties such as weak sharp minima and error bounds at infinity. To demonstrate the effectiveness of the proposed approach, illustrative examples are provided and compared with existing results.
- [60] arXiv:2510.09192 [pdf, html, other]
-
Title: Augmented data and neural networks for robust epidemic forecasting: application to COVID-19 in ItalySubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
In this work, we propose a data augmentation strategy aimed at improving the training phase of neural networks and, consequently, the accuracy of their predictions. Our approach relies on generating synthetic data through a suitable compartmental model combined with the incorporation of uncertainty. The available data are then used to calibrate the model, which is further integrated with deep learning techniques to produce additional synthetic data for training. The results show that neural networks trained on these augmented datasets exhibit significantly improved predictive performance. We focus in particular on two different neural network architectures: Physics-Informed Neural Networks (PINNs) and Nonlinear Autoregressive (NAR) models. The NAR approach proves especially effective for short-term forecasting, providing accurate quantitative estimates by directly learning the dynamics from data and avoiding the additional computational cost of embedding physical constraints into the training. In contrast, PINNs yield less accurate quantitative predictions but capture the qualitative long-term behavior of the system, making them more suitable for exploring broader dynamical trends. Numerical simulations of the second phase of the COVID-19 pandemic in the Lombardy region (Italy) validate the effectiveness of the proposed approach.
- [61] arXiv:2510.09195 [pdf, other]
-
Title: Linear sections of Grassmannians and resonance of vector bundlesComments: 27 pages, to appear in International Mathematics Research NoticesSubjects: Algebraic Geometry (math.AG)
This work revolves around the question of whether a given resonance variety is associated with a vector bundle. We show the existence of a family of natural morphisms on a stratification of the resonance variety to a suitable family of a Quot scheme and provide some applications in the curve case. The existence of this family of morphisms represents an obstruction to affirmatively answering the main question. In addition, we study the resonance of restricted universal rank-two quotient bundles over transversal linear sections of the Grassmann varieties $\operatorname{Gr}_2(\mathbb{C}^n)$, with a special attention to low-dimensional Grassmannians. These bundles are among the most natural to consider in this context. The analysis for $\operatorname{Gr}_2(\mathbb{C}^6)$ shows that any resonance variety in $\mathbb{P}^5$ consisting of fourteen disjoint lines is the resonance of some bundle which appeared in the work of Mukai.
- [62] arXiv:2510.09196 [pdf, other]
-
Title: Rare event probabilities in Random Geometric GraphsComments: 25 pagesSubjects: Probability (math.PR)
In this paper, we study rare events in spherical and Gaussian random geometric graphs in high dimensions. In these models, the vertices correspond to points sampled uniformly at random on the $d$ dimensional unit sphere or correspond to $d$ dimensional standard Gaussian vectors, and edges are added between two vertices if the inner-product between their corresponding points are greater than a threshold $t_p$, chosen such that the probability of having an edge is equal to $p$. We focus on two problems: (a) the probability that the RGG is a complete graph, and (b) the probability of observing an atypically large number of edges. We obtain asymptotically exponential decay rates depending on $n$ and $d$ of the probabilities of these rare events through a combination of geometric and probabilistic arguments.
- [63] arXiv:2510.09197 [pdf, html, other]
-
Title: On The Roots of Independence Polynomial: Quantifying The GapComments: 23 pages, 1 figureSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
The independence polynomial of a graph $G$ is the generating polynomial corresponding to its independent sets of different sizes. More formally, if $a_k(G)$ denotes the number of independent sets of $G$ of size $k$ then
\[I(G,z) \as \sum_{k}^{} (-1)^k a_k(G) z^k.\] The study of evaluating $I(G,z)$ has several deep connections to problems in combinatorics, complexity theory and statistical physics. Consequently, the roots of the independence polynomial have been studied in detail. In particular, many works have provided regions in the complex plane that are devoid of any roots of the polynomial. One of the first such results showed a lower bound on the absolute value of the smallest root $\beta(G)$ of the polynomial. Furthermore, when $G$ is connected, Goldwurm and Santini established that $\beta(G)$ is a simple real root of $I(G,z)$ smaller than one. An alternative proof was given by Csikvári. Both proofs do not provide a gap from $\beta(G)$ to the smallest absolute value amongst all the other roots of $I(G,z)$. In this paper, we quantify this gap. - [64] arXiv:2510.09202 [pdf, html, other]
-
Title: Unique continuation and Hardy's uncertainty principle for hyperbolic Schrödinger equationsComments: 31 pagesSubjects: Analysis of PDEs (math.AP)
We prove unique continuation properties related to the Hardy uncertainty principle for solutions of the hyperbolic nonlinear Schrödinger equation and the hyperbolic Schrödinger equation with potential. Under suitable conditions on the nonlinearity, or the potential, we show that if $u$ is a solution with Gaussian decay at two different times, then $u\equiv 0$. These results extend to the hyperbolic setting the work of Escauriaza, Kenig, Ponce, and Vega (JEMS, 10, 2008) for the classical Schrödinger equation. The proofs rely on Carleman estimates based on calculus and convexity arguments, with the main challenge being to provide a rigorous justification of these estimates. Although our approach follows the general strategy of Escauriaza, Kenig, Ponce, and Vega, several technical modifications are required to handle the hyperbolic character of the equation.
- [65] arXiv:2510.09206 [pdf, html, other]
-
Title: A reverse entropy power inequality for i.i.d. log-concave random variablesSubjects: Probability (math.PR); Information Theory (cs.IT); Functional Analysis (math.FA)
Let $X$ and $Y$ be independent identically distributed log-concave random variables. We show that $h_\infty(X+Y)-h_\infty(X)$ is maximized when $X$ and $Y$ have exponential distributions. Here, $h_\infty(\cdot)$ is the Rényi entropy of order $\infty$. Analogs for integer-valued log-concave random variables are also obtained.
- [66] arXiv:2510.09207 [pdf, html, other]
-
Title: Operator-Consistent Physics-Informed Learning for Wafer Thermal Reconstruction in LithographyComments: 4 figuresSubjects: Mathematical Physics (math-ph)
Thermal field reconstruction in post-exposure bake (PEB) is critical for advanced lithography, but current methods lack consistent accuracy and physical alignment. To bridge this gap, we introduce a physics-informed neural model that unifies coordinates, fields, and differential operators on a single computation graph using gated liquid layers. Applied to a 2D PEB scenario with internal heat generation and convective boundaries, the model formulates residuals via differential forms and a loss functional integrating closure, balance, and trace misfits. The results demonstrate rapid convergence, uniformly low errors, and strong agreement with FEM benchmarks, achieving stable training without oscillation. Our framework outperforms existing baselines in accuracy and robustness, establishing a reliable foundation for high-fidelity thermal modeling and offering a transferable strategy for operator-consistent neural surrogates in other physical domains.
- [67] arXiv:2510.09208 [pdf, html, other]
-
Title: A further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebrasComments: 40 pagesSubjects: Rings and Algebras (math.RA)
In order to generalize the fact that an averaging commutative algebra gives rise to a perm algebra to the bialgebra level, the notion of a special apre-perm algebra was introduced as a new splitting of perm algebras, and it has been shown that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra. In this paper, we give a further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebras. A solution of the averaging associative Yang-Baxter equation whose symmetric part is invariant gives rise to an averaging commutative and cocommutative infinitesimal bialgebra that is called quasi-triangular, and such solutions can be equivalently characterized as $\mathcal{O}$-operators of admissible averaging commutative algebras with weights. Moreover assuming the symmetric parts of such solutions to be zero or nondegenerate, we obtain typical subclasses of quasi-triangular averaging commutative and cocommutative infinitesimal bialgebras, namely the triangular and factorizable ones respectively. Both of them are shown to closely relate to symmetric averaging Rota-Baxter Frobenius commutative algebras. There is a parallel procedure developed for special apre-perm bialgebras. In particular, the fact that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra is still available when these bialgebras are limited to the quasi-triangular cases.
- [68] arXiv:2510.09213 [pdf, html, other]
-
Title: A Morphology-Adaptive Random Feature Method for Inverse Source Problem of the Helmholtz EquationSubjects: Mathematical Physics (math-ph)
The inverse source problem for the Helmholtz equation poses significant challenges, particularly when sources exhibit complex or discontinuous geometries. Traditional numerical methods suffer from prohibitive computational costs, while machine learning-based approaches such as Physics-Informed Neural Networks (PINNs) and the Random Feature Method (RFM) -- though computationally efficient for inverse problems -- lack the intrinsic machinery to handle the sharp morphological features in such singular problems, leading to inaccurate solutions. To address this issue, we propose the Morphology-Adaptive Random Feature Method (MA-RFM), a novel two-phase framework that adaptively locates critical regions and adds morphology activation functions for tackling the multi-frequency inverse source problem with complex geometry. Our framework recasts the ill-posed inverse problem into a well-posed, strictly convex optimization problem by reformulating the governing Helmholtz equation as a Tikhonov-regularized integral equation via its fundamental solution. In the first stage, the Integral Adaptive RFM (IA-RFM), employs an adaptive algorithm to rapidly localize the source support, thereby reducing computational overhead and accelerating convergence.
In the second stage, posterior geometric information is progressively integrated into the solver via hybrid basis functions, enabling a precise reconstruction of complex morphologies. The MA-RFM extends the capabilities of RFM to handle PDEs with singular solutions while preserving its mesh-free efficiency. We demonstrate the superior performance of our approach through ample challenging 2D and 3D benchmark problems, even under limited and noisy measurement conditions, highlighting its robustness and accuracy in reconstructing complex and disjoint sources. - [69] arXiv:2510.09214 [pdf, html, other]
-
Title: A class of Truncated Freud polynomialsSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph)
Consider the following truncated Freud linear functional $\mathbf{u}_z$ depending on a parameter $z$, $$\langle\mathbf{u}_z,p\rangle=\int_0^\infty p(x)e^{-zx^4}dx,\quad z>0.$$ The aim of this work is to analyze the properties of the sequence of orthogonal polynomials $(P_n)_{n\geq 0}$ with respect to $\mathbf{u}_z$. Such a linear functional is semiclassical and, as a consequence, we get the system of nonlinear difference equations (Laguerre-Freud equations) that the coefficients of the three-term recurrence satisfy. The asymptotic behavior of such coefficients is given. On the other hand, the raising and lowering operators associated with such a linear functional are obtained, and thus a second-order linear differential equation of holonomic type that $(P_n)_{n\geq 0}$ satisfies is deduced. From this fact, an electrostatic interpretation of their zeros is given. Finally, some illustrative numerical tests concerning the behavior of the least and greatest zeros of these polynomials are presented.
- [70] arXiv:2510.09215 [pdf, html, other]
-
Title: A Hybrid I/O Relation Estimation Scheme for Zak-OTFS ReceiversComments: Accepted in IEEE Open Journal of the Communications SocietySubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In this paper, we consider the problem of estimating the delay-Doppler (DD) domain input-output (I/O) relation in Zak-OTFS modulation, which is needed for signal detection. Two approaches, namely, model-dependent and model-free approaches, can be employed for this purpose. The model-dependent approach requires explicit estimation of the physical channel parameters (path delays, Dopplers, and gains) to obtain the I/O relation. Such an explicit estimation is not required in the model-free approach, where the I/O relation can be estimated by reading off the samples in the fundamental DD period of the received pilot frame. Model-free approach has the advantage of acquiring fractional DD channels with simplicity. However, the read-off in the model-free approach provides an estimate of the effective channel only over a limited region in the DD plane but it does not provide an estimate for the region outside, and this can affect the estimation performance depending on the pulse shaping characteristics of the DD pulse shaping filter used. A poorly localized DD pulse shape leads to an increased degradation in performance. Motivated by this, in this paper, we propose a novel, yet simple, I/O relation estimation scheme that alleviates the above issue in the model-free approach. We achieve this by obtaining a coarse estimate of the effective channel outside the model-free estimation region using a novel model-dependent scheme and using this estimate along with the model-free estimate to obtain an improved estimate of the overall I/O relation. We devise the proposed estimation scheme for both exclusive and embedded pilot frames. Our simulation results using Vehicular-A, TDL-A and TDL-C channel models with fractional DDs show that the proposed hybrid estimation approach achieves superior performance compared to the pure model-free approach.
- [71] arXiv:2510.09219 [pdf, html, other]
-
Title: Étude de quelques familles de $λ$-quiddités et minoration de la taille maximale des $λ$-quiddités irréductibles sur un corps finiComments: in French languageSubjects: Combinatorics (math.CO)
$\lambda$-quiddities of size $n$ are $n$-tuples of elements from a fixed set that are solutions to a matrix equation which is fundamental in the study of the combinatorics of the modular group and Coxeter's friezes. To gain further insight into these objects, we use a notion of irreducibility, which allows restricting the study to a limited number of elements that must be determined for each set. Our goal here is to define several families of $\lambda$-quiddities over finite fields and to study their irreducibility properties, with the specific aim of establishing lower bounds on the maximal size of irreducible elements over $\mathbb{F}_{q}$.
- [72] arXiv:2510.09220 [pdf, html, other]
-
Title: Serial Polar Automorphism Ensemble Decoders for Physical Unclonable FunctionsComments: 7 Pages, 7 Figures, submitted to IEEE for possible publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Physical unclonable functions (PUFs) involve challenging practical applications of error-correcting codes (ECCs), requiring extremely low failure rates on the order of $10^{-6}$ and below despite raw input bit error rates as high as 22%. These requirements call for an efficient ultra-low rate code design. In this work, we propose a novel coding scheme tailored for PUFs based on Polar codes and a low-complexity version of automorphism ensemble decoding (AED). Notably, our serial AED scheme reuses a single successive cancellation (SC) decoder across multiple decoding attempts. By introducing cascaded and recursive interleavers, we efficiently scale the number of AED candidates without requiring expensive large multiplexers. An aggressive quantization strategy of only 3 bits per message further reduces the area requirements of the underlying SC decoder. The resulting coding scheme achieves the same block error rate of $10^{-6}$ as our baseline based on Bose-Ray-Chaudhuri-Hocquenghem (BCH) codes while requiring 1.75x fewer codeword bits to encode the same K = 312 payload bits. This reduction translates directly into 1.75x less helper data storage and, consequently, a smaller overall chip area.
- [73] arXiv:2510.09231 [pdf, html, other]
-
Title: Li-Yau-Hamilton Inequality on the JKO Scheme for the Granular-Medium EquationSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
We establish a version of the Li--Yau--Hamilton inequality for the Granular-Medium equation on the torus, both at the PDE level and for its time-discrete approximation given by the JKO scheme. We then apply this estimate to derive further quantitative results for the continuous and discrete JKO flows, including Lipschitz and $L^\infty$ bounds, as well as a quantitative Harnack inequality. Finally, we use the regularity provided by this estimate to show that the JKO scheme for the Fokker--Planck equation converges in $L^2_{\mathrm{loc}}((0,+\infty); H^2(\mathbb{T}^d))$.
- [74] arXiv:2510.09241 [pdf, html, other]
-
Title: Boundaries of multiply connected Fatou components. A unified approachComments: 28 pages, 6 figuresSubjects: Dynamical Systems (math.DS)
We analyze the boundaries of multiply connected Fatou components of transcendental maps by means of universal covering maps and associated inner functions. A unified approach is presented, which includes invariant Fatou components (of any type) as well as wandering domains. We prove that any Fatou component admits a harmonic measure on its boundary whose support is the whole boundary. Consequently, we relate, in a successful way, the geometric structure of such Fatou components (in terms of the limit sets of their universal covering maps), the dynamics induced on their boundary from an ergodic point of view, and analytic properties of the associated inner function.
- [75] arXiv:2510.09258 [pdf, html, other]
-
Title: Nonexistence of global solutions to the Grushin heat equation with nonlocal and local nonlinearitiesSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate the nonexistence of global solutions to the Grushin-type heat equation with nonlinear reaction terms, including cases involving memory effects: $$
\left\{\begin{array}{ll}
\displaystyle {u_{t}-\Delta_{\mathcal{G}}
u = k_1 \int_0^t(t-s)^{-\gamma}\abs{u}^{p_1-1}u(s)\,\mathrm{d}s} + k_2|u|^{p_2-1}u, & (z,t)\in {\mathbb{R}}^{N+k}\times (0,\infty),
\displaystyle{u(z,0)= u_0(z),\qquad\qquad}&\displaystyle{z\in {\mathbb{R}}^{N+k},}
\end{array}
\right. $$
where $\Delta_{\mathcal{G}}$ denotes the Grushin operator, $u_0 \in L^1_{\mathrm{loc}}(\mathbb{R}^{N+k})$, $\gamma\in[0,1)$, $k_1,k_2 \geq 0$, and $p_1,p_2>1$.
We establish sharp nonexistence results for global-in-time positive solutions, thereby completing the picture of global existence versus blow-up and allow us to identify the corresponding Fujita-type critical exponents in certain parameter regimes. The analysis relies on the test function method, adapted to handle both the degeneracy of the Grushin operator and the influence of the memory term. - [76] arXiv:2510.09265 [pdf, other]
-
Title: Combinatorics of slices of cubesComments: Complementary code and dataset available onlineSubjects: Combinatorics (math.CO)
We present a complete computational classification of the combinatorial types of hyperplane sections, or slices, of the regular cube up to dimension six. For each dimension, we determine the exact number of distinct combinatorial types. When restricted to slices through the origin, our computations extend to dimension seven. The classification combines combinatorial, algebraic, and numerical techniques, with all results certified. Beyond enumeration, we analyze the distribution of types by number of vertices, establish new theoretical results about the combinatorics of slices of cubes, and propose conjectures motivated by our computational findings.
- [77] arXiv:2510.09270 [pdf, html, other]
-
Title: Fast Wasserstein rates for estimating probability distributions of probabilistic graphical modelsSubjects: Statistics Theory (math.ST); Probability (math.PR)
Using i.i.d. data to estimate a high-dimensional distribution in Wasserstein distance is a fundamental instance of the curse of dimensionality. We explore how structural knowledge about the data-generating process which gives rise to the distribution can be used to overcome this curse. More precisely, we work with the set of distributions of probabilistic graphical models for a known directed acyclic graph. It turns out that this knowledge is only helpful if it can be quantified, which we formalize via smoothness conditions on the transition kernels in the disintegration corresponding to the graph. In this case, we prove that the rate of estimation is governed by the local structure of the graph, more precisely by dimensions corresponding to single nodes together with their parent nodes. The precise rate depends on the exact notion of smoothness assumed for the kernels, where either weak (Wasserstein-Lipschitz) or strong (bidirectional Total-Variation-Lipschitz) conditions lead to different results. We prove sharpness under the strong condition and show that this condition is satisfied for example for distributions having a positive Lipschitz density.
- [78] arXiv:2510.09277 [pdf, html, other]
-
Title: On character tables for fusion systemsComments: 12 pages, 7 tablesSubjects: Representation Theory (math.RT)
A character table $X$ for a saturated fusion system $\mathcal{F}$ on a finite $p$-group $S$ is the square matrix of values associated to a basis of virtual $\mathcal{F}$-stable ordinary characters of $S$. We investigate a conjecture of the second author which equates the $p$-part of $|\det(X)|^2$ with the product of the orders of $S$-centralisers of fully $\mathcal{F}$-centralised $\mathcal{F}$-class representatives. This statement is exactly column orthogonality for the character table of $S$ when $\mathcal{F}=\mathcal{F}_S(S)$. We prove the conjecture when $\mathcal{F}=\mathcal{F}_S(G)$ is realised by some finite group $G$ with Sylow $p$-subgroup $S$, and for all simple fusion systems when $|S| \le p^4$.
- [79] arXiv:2510.09279 [pdf, html, other]
-
Title: Quasisimilarity and compact perturbationsSubjects: Functional Analysis (math.FA)
In this paper we show that quasisimilar $n$-tuples of tensor products of $m$-isometric operators have the same spectra, essential spectra and indices. The properties of single Fredholm operators possess \cite{4} is related to an important property which has a leading role on the theory of Fredholm operators: Fredholm n-tuples of operators. It is well known that a Fredholm operator of index zero can be perturbed by a compact operator to an invertible operator. In \cite[Problem 3]{5} the author asked if this property holds in several variables. R. Gelca in \cite{10} gave an example showing that this perturbation property fails in several variables. In this paper we give a positive answer to this question in case of tensor products of some classes of operators.
- [80] arXiv:2510.09280 [pdf, html, other]
-
Title: Uniqueness of solutions to MFG systems with large discountSubjects: Analysis of PDEs (math.AP)
We prove that solutions to a class of Mean Field Game systems with discount are unique provided that the discount factor is large enough, and the Lagrangian term is (proportionally) small enough. This identifies an asymptotic uniqueness regime that falls outside the usual ones involving monotonicity.
- [81] arXiv:2510.09287 [pdf, html, other]
-
Title: Non-linear stability of shock profiles in dissipative hyperbolic-hyperbolic systemsSubjects: Analysis of PDEs (math.AP)
We give the first proof of nonlinear stability for smooth shock profiles of second-order dissipative hyperbolic-hyperbolic systems under the assumption of spectral stability, showing stability of smooth small-amplitude profiles in dimensions greater than or equal to two. This class of systems notably includes the two types of causal viscous relativistic gas models introduced respectively by Freistühler-Temple and Bemfica-Disconzi-Noronha, and (the equivalent second-order form of) a class of first-order numerical relaxation systems generalizing the well-known Jin-Xin relaxation schemes. A significant technical innovation is a new para-differential type of nonlinear damping estimate similar to that used by the first author to study stability of constant states, allowing the treatment of systems far from the symmetric structure required for the standard ``Kawashima-type'' energy estimates that are typically used for that purpose.
- [82] arXiv:2510.09289 [pdf, html, other]
-
Title: On the stability of the Bishop's property($β$) under compact perturbationsSubjects: Functional Analysis (math.FA)
Let $B(X)$ be the Banach algebra of all bounded linear operators acting on a Banach space $X$. Are sums and products of commuting decomposable operators on Banach spaces decomposable? This is one of the most important open problems in the local spectral theory of operators on Banach spaces. Similarly, it is not known if local spectral properties such as the single valued extension property, Dunfords property $(C)$, Bishops property $(\beta)$, or the decomposition property ($\delta$) are preserved under sums and products of commuting operators. But it is shown by Bourhim and Muller that the single-valued extension property is not preserved under the sums and products of commuting operators. On the positive side, Sun proved that the sum and the product of two commuting operators with Dunfords property $(C)$ have the single-valued extension property. Very recently, Aiena and Muller showed that the (localized) single-valued extension property is stable under commuting Riesz perturbations. In this paper, we show that Bishops property ($\beta$), the decomposition property ($\delta$), or decomposable operators $T\in B(X)$ are stable under quasinilpotent, compact, and algebraic commuting perturbations.
- [83] arXiv:2510.09291 [pdf, html, other]
-
Title: All toric Hermitian ALE gravitational instantonsComments: 22 pagesSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We prove that the only smooth, Ricci flat, ALE instanton with a toric Hermitian non-Kähler structure is the Eguchi-Hanson instanton. The proof is analogous to the classification of toric Hermitian ALF instantons by Biquard and Gauduchon, although we avoid the use of toric Kähler geometry and instead perform a direct global analysis of the Tod form of the metric in Weyl-Papapetrou coordinates. This supports a conjecture by Gibbons and Bando-Kasue-Nakajima which states that any Ricci flat ALE instanton is self-dual.
- [84] arXiv:2510.09313 [pdf, html, other]
-
Title: Polyhedral surfaces in anti-de Sitter (2+1)-spacetimesSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Metric Geometry (math.MG)
We prove that given a Fuchsian representation $\rho_\circ: \pi_1S \rightarrow {\rm PSL}(2,\mathbb R)$, where $S$ is a closed oriented surface of genus $\geq 2$, any hyperbolic cone-metric on $S$ with cone-angles $>2\pi$ isometrically embeds as a future-convex bent Cauchy surface in a globally hyperbolic maximal Cauchy compact anti-de Sitter (2+1)-spacetime whose left representation is $\rho_\circ$. Furthermore, we show that such a spacetime and an embedding are unique provided that $d$ is sufficiently small.
- [85] arXiv:2510.09318 [pdf, html, other]
-
Title: Global existence and asymptotic decay for small solutions of general quasilinear hyperbolic balance lawsSubjects: Analysis of PDEs (math.AP)
This paper establishes global existence and asymptotic decay for small solutions to quasilinear systems of hyperbolic balance laws, where, generalizing previous works, the hyperbolic operator does not need to admit an entropy nor does the source term need to satisfy any symmetry assumptions. Dissipative properties are characterized by three conditions corresponding to regimes of small, intermediate and large wave numbers in Fourier space and the fully non-linear system is treated by using methods of para-differential calculus recently developed in the context for proofs of global existence and decay in second-order hyperbolic systems. The present work leads, in particular, to asymptotic stability of rest-states for multidimensional Jin-Xin relaxation system, a result not accessible through previous methods.
- [86] arXiv:2510.09319 [pdf, html, other]
-
Title: On Dynamics of the Bungee set and the Filled Julia set of a Transcendental SemigroupComments: 12 pages. Comments are welcomeSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
We have introduced the notion of the bungee set and the filled Julia set of a transcendental semigroup using Fatou-Julia theory. Numerous results of the bungee set of a single transcendental entire function have been generalized to a transcendental semigroup. For a transcendental semigroup having no oscillatory wandering domain, we provide some conditions for the containment of the bungee set inside the Julia set. The filled Julia set has also been explored in the context of a transcendental semigroup, and some of its properties are discussed. We have also explored some new features of the escaping set of a transcendental semigroup. The bungee set of a conjugate semigroup and an abelian transcendental semigroup has also been investigated.
- [87] arXiv:2510.09322 [pdf, html, other]
-
Title: Metaplectic time-frequency representationsSubjects: Analysis of PDEs (math.AP); Signal Processing (eess.SP); Quantum Physics (quant-ph)
Time-frequency representations stemmed in 1932 with the introduction of the Wigner distribution. For most of the 20th century, research in this area primarily focused on defining joint probability distributions for position and momentum in quantum mechanics. Applications to electrical engineering were soon established with the seminal works of Gabor and the researchers at Bell Labs. In 2012, Bai, Li and Cheng used for the first time metaplectic operators, defined in the middle of 20th century by Van Hove, to generalize the Wigner distribution and unify effectively the most used time-frequency representations under a common framework. This work serves as a comprehensive up-to-date survey on time-frequency representations defined by means of metaplectic operators, with particular emphasis on the recent contributions by Cordero and Rodino, who exploited metaplectic operators to their limits to generalize the Wigner distributions. Their idea provides a fruitful framework where properties of time-frequency representations can be explained naturally by the structure of the symplectic group.
- [88] arXiv:2510.09323 [pdf, html, other]
-
Title: Parametrized Topological Complexity for a Multi-Robot System with Variable TasksComments: 25 pages. All comments are welcomeSubjects: Algebraic Topology (math.AT); Robotics (cs.RO)
We study a generalized motion planning problem involving multiple autonomous robots navigating in a $d$-dimensional Euclidean space in the presence of a set of obstacles whose positions are unknown a priori. Each robot is required to visit sequentially a prescribed set of target states, with the number of targets varying between robots. This heterogeneous setting generalizes the framework considered in the prior works on sequential parametrized topological complexity by Farber and the second author of this article. To determine the topological complexity of our problem, we formulate it mathematically by constructing an appropriate fibration. Our main contribution is the determination of this invariant in the generalized setting, which captures the minimal algorithmic instability required for designing collision-free motion planning algorithms under parameter-dependent constraints. We provide a detailed analysis for both odd and even-dimensional ambient spaces, including the essential cohomological computations and explicit constructions of corresponding motion planning algorithms.
- [89] arXiv:2510.09324 [pdf, html, other]
-
Title: Geometry over finite local rings: Rigidity and IsospectralitySubjects: Group Theory (math.GR); Combinatorics (math.CO); Rings and Algebras (math.RA)
We study the simplicial order complexes obtained from free modules over finite local rings. These complexes arise naturally as geodesic spheres in Bruhat-Tits buildings over non-archimedean local fields. We establish two forms of rigidity, showing that their automorphism groups arise from the underlying algebraic group, and that they are determined by sparse induced subgraphs. We compute the spectra of these subgraphs and show that they form excellent expanders, which results in expansion for geodesic powers of Bruhat-Tits buildings. The computation also reveals that local rings with the same residue order give rise to isospectral induced subgraphs. Combining this with our rigidity results we show that the graphs arising from $n$-spaces over $\mathbb{Z}/p^{r}$ and $\mathbb{F}_{p}[t]/(t^{r})$ are isospectral and non-isomorphic.
- [90] arXiv:2510.09335 [pdf, html, other]
-
Title: Quantum Adams operations in quasimap K-theoryComments: 41 pages, 2 figures. Comments welcome!Subjects: Algebraic Geometry (math.AG); Representation Theory (math.RT); Symplectic Geometry (math.SG)
We define quantum deformations of Adams operations in $K$-theory, in the framework of quasimap quantum $K$-theory. They provide $K$-theoretic analogs of the quantum Steenrod operations from equivariant symplectic Gromov--Witten theory. We verify the compatibility of these operations with the Kahler and equivariant $q$-difference module structures, provide sample computations via $\mathbb{Z}/k$-equivariant localization, and identify them with $p$-curvature operators of the Kahler $q$-difference connections as studied in Koroteev-Smirnov. We also formulate and verify a $K$-theoretic quantum Hikita conjecture at roots of unity, and propose an indirect algebro-geometric definition of quantum Steenrod operations
- [91] arXiv:2510.09336 [pdf, html, other]
-
Title: Quantum Trigonometric Bézier CurvesSubjects: Classical Analysis and ODEs (math.CA); Graphics (cs.GR); Numerical Analysis (math.NA)
In order to construct quantum trigonometric Bézier curves with shape parameter, one parameter family of trigonometric Bernstein basis functions are introduced. We study the total positivity of the basis functions to analyze the shape preserving properties of the quantum trigonometric Bézier curves. We also showed that quantum trigonometric Bézier curves can be evaluated by two different recursive evaluation algorithms. Finally, we have defined rational counterpart of quantum trigonometric Bézier curves and show that the rational quantum trigonometric Bézier curves posses nice shape preserving properties.
- [92] arXiv:2510.09345 [pdf, html, other]
-
Title: Generalized Bishop frames of regular time-like curves in 4-dimensional Lorentz space $\mathbb{L}^{4}$Comments: 10 pagesSubjects: Differential Geometry (math.DG)
We introduced generalized Bishop frames on curves in 4-dimensional Euclidean space $\mathbb{E}^{4}$, which are orthonormal frames such that the derivatives of the vectors of the frames along the curve can be expressed, via a certain matrix, as a linear combination of the vectors of the frame.
In relation to that, we study generalized Bishop frames of regular time-like curves. In a previous work, we showed that there is a hierarchy among different types of generalized Bishop frames for regular curves in the Euclidean space. Building upon this study, we further investigate it in the 4-dimensional Lorentz space $\mathbb{L}^4$. There are four types of generalized Bishop frames of regular time-like curves in $\mathbb{L}^{4}$ up to the change of the order of vectors fixing the first one which is the tangent vector. Unlike other types of curves, such as light-like and space-like ones, the time-like curve can be investigated in a manner analogous to the Euclidean case. We find that a hierarchy of frames exists, similar to that in the Euclidean setting. Based on this hierarchy, we propose a new classification of curves. - [93] arXiv:2510.09346 [pdf, html, other]
-
Title: Shape optimization of a small favorable region in a periodically fragmented environmentComments: 19 pagesSubjects: Analysis of PDEs (math.AP)
We consider a shape optimization problem for the persistence threshold of a biological species dispersing in a periodically fragmented environment, the unknown shape corresponding to the portion of the habitat which is favorable to the population. Analytically, this translates in the minimization of a weighted eigenvalue of the periodic Laplacian, with respect to a bang-bang indefinite weight. For such problem, we exploit some recent results obtained in the framework of Dirichlet or Neumann boundary conditions, to provide a full description of the singularly perturbed regime in which the volume of the favorable zone vanishes.
First, we show that the optimal favorable zone shrinks to a connected, convex, nearly spherical set, in $C^{1,1}$ sense. Secondly, we show that the spherical asymmetry of the optimal favorable zone decays exponentially, with respect to a negative power of its volume, in the $C^{1,\alpha}$ sense, for every $\alpha<1$. - [94] arXiv:2510.09352 [pdf, html, other]
-
Title: LR-WaveHoltz: A Low-Rank Helmholtz SolverSubjects: Numerical Analysis (math.NA)
We propose a low-rank method for solving the Helmholtz equation. Our approach is based on the WaveHoltz method, which computes Helmholtz solutions by applying a time-domain filter to the solution of a related wave equation. The wave equation is discretized by high-order multiblock summation-by-parts finite differences. In two dimensions we use the singular value decomposition and in three dimensions we use tensor trains to compress the numerical solution. To control rank growth we use step-truncation during time stepping and a low-rank Anderson acceleration for the WaveHoltz fixed point iteration. We have carried out extensive numerical experiments demonstrating the convergence and efficacy of the iterative scheme for free- and half-space problems in two and three dimensions with constant and piecewise constant wave speeds.
- [95] arXiv:2510.09353 [pdf, html, other]
-
Title: Automorphism Orbits of the Group of Unitriangular MatricesSubjects: Group Theory (math.GR)
Let $G$ be a group. The orbits of the natural action of $Aut(G)$ on $G$ are called the automorphism orbits of $G$, and their number is denoted by $\omega(G)$. Let $\mathbb{F}$ be an infinite field, and let $UT_n(\mathbb{F})$ denote the group of unitriangular matrices over $\mathbb{F}$. We show that $\omega(UT_n(\mathbb{F}))$ is finite for $n \leq 5$ and infinite for $n \geq 6$.
- [96] arXiv:2510.09356 [pdf, html, other]
-
Title: Fundamental domains for quaternionic S-arithmetic groups over totally real fieldsComments: 14 pages, comments welcomeSubjects: Number Theory (math.NT)
Let $B$ be a totally-definite quaternion algebra over a totally real field $F$, let $\mathfrak{p}$ be a prime ideal of $F$, and let $\Gamma$ be the group of reduced norm-$1$ elements of an Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-order $R$ inside $B$. We give an algorithm to compute the fundamental domain for the action of $\Gamma$ on the Bruhat-Tits tree of $\operatorname{GL}_2(F_\mathfrak{p})$. Using this, we tabulate Shimura curves of genus up to $3$ over any totally real field which can be $\mathfrak{p}$-adically uniformized for some prime $\mathfrak{p}$.
- [97] arXiv:2510.09357 [pdf, html, other]
-
Title: What Are We Clustering For? Establishing Performance Guarantees for Time Series Aggregation in Generation Expansion PlanningSubjects: Optimization and Control (math.OC)
Generation expansion planning (GEP) is a prominent example of capacity expansion problems in operations research. Being generally NP-hard, GEP optimization models can become intractable when nonconvex dynamics, time-coupling constraints, and complex asset interactions are involved. Time series aggregation (TSA) tackles this by reducing temporal complexity via input data clustering. However, existing TSA methods either focus solely on preserving the statistical features of the input data, yielding heuristics without guarantees on the aggregated model's accuracy, or provide error bounds limited to linear models, neglecting time-coupling constraints and applying only to specific clustering techniques. Moreover, these bounds typically pertain solely to the GEP objective function and do not extend to other stakeholder-specific metrics, such as decision vector partitions. To tackle these issues, we demonstrate that an appropriately constructed aggregated model always provides a lower bound on the optimal objective function value of the full-scale GEP model in both mixed-integer linear and mixed-integer quadratic formulations with time-coupling, independent of the clustering technique employed. Building on this, we propose a performance-guaranteed TSA-based solution algorithm that iteratively refines objective function bounds while generating feasible solutions to the full-scale model at each iteration. We then discuss a comparison with Benders decomposition and demonstrate how the derived bounds can be extended to error estimates for stakeholder-specific metrics. Numerical results show the computational advantages of our method over both full-scale optimization and classical Benders decomposition.
- [98] arXiv:2510.09368 [pdf, html, other]
-
Title: Characterizing Maximal Monotone Operators with Unique RepresentationComments: 26 pagesSubjects: Functional Analysis (math.FA); Optimization and Control (math.OC)
We study maximal monotone operators $A : X \rightrightarrows X^*$ whose Fitzpatrick family reduces to a singleton; such operators will be called uniquely representable. We show that every such operator is cyclically monotone (hence, $A=\partial f$ for some convex function $f$) if and only if it is 3-monotone. In Radon-Nikodým spaces, under mild conditions (which become superfluous in finite dimensions), we prove that a subdifferential operator $A=\partial f$ is uniquely representable if and only if $f$ is the sum of a support and an indicator function of suitable convex sets.
- [99] arXiv:2510.09370 [pdf, html, other]
-
Title: On norms on Harish-Chandra modulesComments: 67 pagesSubjects: Representation Theory (math.RT)
The Casselman-Wallach theorem is a foundational result in the theory of representations of real reductive groups connecting algebraic representations to topological representations. We provide a quantitative version of this theorem. For that we introduce the notion of {\it Sobolev gap} for a Harish-Chandra module. This is a new invariant whose finiteness is highly non-trivial. We determine the Sobolev gap for representations in the unitary dual of the group $\SL(2,\R)$ and establish uniform finiteness results in general for representations of the discrete series and the minimal principal series. We use these notions to reformulate and extend classical results of Bernstein and Reznikov concerning automorphic functionals with respect to cocompact lattices. In particular, we prove an abstract convexity bound which applies to automorphic functionals with respect to general lattices in $\SL(2,\R)$ and is independent of the type of unitarizable irreducible Harish-Chandra module. Finally, we offer an extensive list of open problems.
- [100] arXiv:2510.09383 [pdf, html, other]
-
Title: Existence of martingale solutions for a stochastic weighted mean curvature flow of graphsComments: 29 pagesSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We are concerned with a stochastic mean curvature flow of graphs with extra force over a periodic domain of any dimension. Based on compact embedding method of variational SPDE, we prove the existence of martingale solution. Moreover, we derive the small perturbation limit of the stochastic weighted mean curvature flow.
- [101] arXiv:2510.09385 [pdf, html, other]
-
Title: Inverse obstacle scattering with a single moving emitterSubjects: Numerical Analysis (math.NA)
This paper is concerned with time domain forward scattering and inverse scattering problems with a single moving point source as the emitter. Approximate solutions are provided for the forward scattering problem with a moving emitter. Regarding the inverse problem, in addition to a basic indicator function based on the approximate solutions, a novel indicator function is developed to construct the direct sampling method to recover both point-like and extended scatterers. Numerical experiments demonstrate that the proposed algorithms are effective in reconstructing both two-dimensional and three-dimensional scatterers with a single moving emitter.
- [102] arXiv:2510.09397 [pdf, html, other]
-
Title: A class of vertex operator algebras generated by Virasoro vectorsSubjects: Quantum Algebra (math.QA)
In this paper, we study a class of simple OZ-type vertex operator algebras $V$ generated by simple Virasoro vectors $\omega^{ij}=\omega^{ji}$, $1\leq i<j\leq n$, $n\geq 3$. We prove that $V$ is uniquely determined by its Griess algebra $V_2$. The automorphism group of $V$ is also determined. Furthermore, we give the necessary conditions for $V$ to be unitary.
- [103] arXiv:2510.09399 [pdf, other]
-
Title: Cobordism maps in Khovanov homology and singular instanton homology IIComments: 61 pagesSubjects: Geometric Topology (math.GT)
This paper is a continuation of our previous work, where we defined an embedded cobordism map on the instanton cube complex that recovers the cobordism maps both in Khovanov homology and singular instanton theory. In this paper, we extend this construction to immersed cobordisms. As an application, we show that, for any smooth, oriented (not necessarily ribbon) concordance $C$ from a two-bridge torus knot, the induced map $\widetilde{Kh}(C)$ on reduced Khovanov homology is injective, with the left inverse given by the reversal of $C$.
- [104] arXiv:2510.09402 [pdf, html, other]
-
Title: Complex Gaussianity and spatio-frequential memory effect of random wave processesSubjects: Analysis of PDEs (math.AP); Probability (math.PR); Optics (physics.optics)
Wavefield speckle patterns are generated by interference of randomly scattered coherent light. In the weak-coupling regime of the Itô-Schrödinger paraxial model for long-distance wave propagation, we show the following multiscale character: a macroscopic envelope solves a deterministic diffusion equation while the local wavefield (the speckle) is described by a complex Gaussian process both in terms of spatial axial and lateral displacements as well as frequency and angular variations of the incident wavebeam. These results describe speckle patterns and corroborate chromato-spatial memory effects observed in laser light propagation through heterogeneous media.
- [105] arXiv:2510.09408 [pdf, html, other]
-
Title: A time-space B-spline integrator for the Burgers' equationSubjects: Numerical Analysis (math.NA)
The purpose of this paper is to propose a new algorithm for obtaining approximate solutions to the Burgers' equation (BE). Integration in time by a quadratic B-spline collocation method is shown. To the best of our knowledge, B-splines have not previously been used to integrate partial differential equations in both time and space. First, the BE is integrated using quadratic B-spline functions in time, and then the time-integrated BE is further solved in space via the cubic B-spline collocation method. The resulting recursive algebraic equation is used to obtain both shock wave and front propagation solutions of the BE, demonstrating the effectiveness of the space--time B-spline collocation method.
- [106] arXiv:2510.09429 [pdf, html, other]
-
Title: The poset of maximal tubings of the cycle graph is a latticeBen Adenbaum, Emily Barnard, Max Hlavacek, Bryson Kagy, Nathan R. T. Lesnevich, George D. Nasr, Katie WaddleComments: 37 pagesSubjects: Combinatorics (math.CO)
The poset of maximal tubings of a graph generalizes several well-known and remarkable partial orders. Notable examples include the weak Bruhat order and the Tamari lattice, posets of maximal tubings for the complete graph and the path graph, respectively. It is an open problem to characterize graphs for which the poset of maximal tubings is a lattice. In this paper, we prove that the poset of maximal tubings for the cycle graph is a lattice, and moreover that it is semidistributive and congruence uniform. As main tools, we characterize all order relations in the poset, and introduce a useful map from maximal tubings of the cycle graph to maximal tubings of the path graph.
- [107] arXiv:2510.09442 [pdf, html, other]
-
Title: A Localized Orthogonal Decomposition method for heterogeneous mixed-dimensional problemsComments: 22 pages, 8 figuresSubjects: Numerical Analysis (math.NA)
We propose a multiscale method for mixed-dimensional elliptic problems with highly heterogeneous coefficients arising, for example, in the modeling of fractured porous media. The method is based on the Localized Orthogonal Decomposition (LOD) framework and constructs locally supported, problem-adapted basis functions on a coarse mesh that does not need to resolve the coefficient oscillations. These basis functions are obtained in parallel by solving localized fine-scale problems. Our a priori error analysis shows that the method achieves optimal convergence with respect to the coarse mesh size, independent of the coefficient regularity, with an exponentially decaying localization error. Numerical experiments validate these theoretical findings and demonstrate the computational viability of the method.
- [108] arXiv:2510.09448 [pdf, other]
-
Title: Lecture notes on the symplectic geometry of graded manifolds and higher Lie groupoidsComments: 88 pagesSubjects: Symplectic Geometry (math.SG); Mathematical Physics (math-ph); Differential Geometry (math.DG)
In this work, we study symplectic structures on graded manifolds and their global counterparts, higher Lie groupoids. We begin by introducing the concept of graded manifold, starting with the degree 1 case, and translating key geometric structures into classical differential geometry terms. We then extend our discussion to the degree 2 case, presenting several illustrative examples with a particular emphasis on equivariant cohomology and Lie bialgebroids. Next, we define symplectic Q-manifolds and their Lagrangian Q-submanifolds, introducing a graded analogue of Weinstein's tubular neighborhood theorem and applying it to the study of deformations of these submanifolds.
Shifting focus, we turn to higher Lie groupoids and the shifted symplectic structures introduced by Getzler. We examine their Morita invariance and provide several examples drawn from the literature. Finally, we introduce shifted Lagrangian structures and explore their connections to moment maps and symplectic reduction procedures.
Throughout these notes, we illustrate the key constructions and results with concrete examples, highlighting their applications in mathematics and physics. These lecture notes are based on two mini-courses delivered by the first author at Geometry in Algebra and Algebra in Geometry VII (2023) in Belo Horizonte, Brazil, and at the INdAM Intensive Period: Poisson Geometry and Mathematical Physics (2024) in Napoli, Italy. - [109] arXiv:2510.09449 [pdf, other]
-
Title: A posteriori analysis for nonlinear convection-diffusion systemsComments: 33 pages, 13 figuresSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
This work provides reliable a posteriori error estimates for Runge-Kutta discontinuous Galerkin approximations of nonlinear convection-diffusion systems. The classes of systems we study are quite general with a focus on convection-dominated and degenerate parabolic problems. Our a posteriori error bounds are valid for a family of discontinuous Galerkin spatial discretizations and various temporal discretizations that include explicit and implicit-explicit time-stepping schemes, popular tools for practical simulations of this class of problem. We prove that our estimators provide reliable upper bounds for the error of the numerical method and present numerical evidence showing that they achieve the same order of convergence as the error. Since one of our main interests is the convection dominant case, we also track the dependence of the estimator on the viscosity coefficient.
- [110] arXiv:2510.09455 [pdf, html, other]
-
Title: On the preservation of unification type of Heyting algebras and interior algebrasSubjects: Logic (math.LO)
The purpose of this note is to shed some light on the preservation of unification types of locally finite varieties of interior algebras and varieties of Heyting algebras under the functors presented by W. Blok in his dissertation.
- [111] arXiv:2510.09460 [pdf, html, other]
-
Title: On the approximation of finite-time Lyapunov exponents for the stochastic Burgers equationComments: 26 pagesSubjects: Probability (math.PR); Dynamical Systems (math.DS)
We analyze stochastic partial differential equations (SPDEs) with quadratic nonlinearities close to a change of stability. To this aim we compute finite-time Lyapunov exponents (FTLEs), observing a change of sign based on the interplay between the distance towards the bifurcation and the noise intensity. A technical challenge is to provide a suitable control of the nonlinear terms coupling the dominant and stable modes of the SPDE and of the corresponding linearization. In order to illustrate our results we apply them to the stochastic Burgers equation.
- [112] arXiv:2510.09478 [pdf, html, other]
-
Title: Site-Specific RIS Deployment in Cellular Networks via Calibrated Ray TracingSubjects: Information Theory (cs.IT)
This work introduces a fully-automated RIS deployment strategy validated through a digital twin, powered by Sionna ray tracing, of a UK city. On a scene calibrated with measured data, the method jointly optimizes RIS placement, orientation, configuration, and BS beamforming across 4G, 5G, and hypothetical 6G frequencies. Candidate RIS sites are identified via scattering-based rays, while user clustering reduces deployment overhead. Results show that meaningful coverage enhancement requires dense, large-aperture RIS deployments, raising questions about the practicality and cost of large-scale RIS adoption.
- [113] arXiv:2510.09479 [pdf, html, other]
-
Title: Modeling Protein Diffusion Across ER-Nuclear Envelope Junctions Reveals Efficient Transport via Simple DiffusionComments: 15 pages, 2 figuresSubjects: Mathematical Physics (math-ph)
The endoplasmic reticulum (ER) is the largest continuous membrane-bound organelle in the cell and plays a central role in the synthesis and turnover of many lipids and proteins. It connects directly to the nucleus through specialized contact points known as ER-nuclear envelope (NE) junctions. In our recent study, we found that these ER-NE junctions are both narrow and infrequent, measuring less than 20 nanometers in diameter and occurring at a frequency of approximately 0.1 per square micrometer. However, it remains unclear whether such limited and narrow connections are sufficient to support efficient transport between the ER and NE. Here, we built a mathematical model of ER-to-NE protein diffusion, incorporating ultrastructural parameters, the frequency of ER-NE junctions, and the diffusion coefficient of proteins within the ER lumen. To validate the model, we experimentally quantified the transport rate of ER luminal proteins to the NE using fluorescence recovery after photobleaching (FRAP). Our model and experimental data demonstrate that simple diffusion is sufficient to account for the rapid transport of proteins from the ER to the NE, despite the limited and narrow nature of the connecting junctions. Together, these findings offer mechanistic insight into how ER-NE connectivity enables rapid protein transport and lay the groundwork for future studies on ER-nucleus communication.
- [114] arXiv:2510.09488 [pdf, html, other]
-
Title: Intersection cohomology without spacesComments: To appear in the Proceedings of the ICM 2026Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)
We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.
- [115] arXiv:2510.09495 [pdf, html, other]
-
Title: Precoder Design in Multi-User FDD Systems with VQ-VAE and GNNComments: Submitted to IEEE ICASSP 2026Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Signal Processing (eess.SP)
Robust precoding is efficiently feasible in frequency division duplex (FDD) systems by incorporating the learnt statistics of the propagation environment through a generative model. We build on previous work that successfully designed site-specific precoders based on a combination of Gaussian mixture models (GMMs) and graph neural networks (GNNs). In this paper, by utilizing a vector quantized-variational autoencoder (VQ-VAE), we circumvent one of the key drawbacks of GMMs, i.e., the number of GMM components scales exponentially to the feedback bits. In addition, the deep learning architecture of the VQ-VAE allows us to jointly train the GNN together with VQ-VAE along with pilot optimization forming an end-to-end (E2E) model, resulting in considerable performance gains in sum rate for multi-user wireless systems. Simulations demonstrate the superiority of the proposed frameworks over the conventional methods involving the sub-discrete Fourier transform (DFT) pilot matrix and iterative precoder algorithms enabling the deployment of systems characterized by fewer pilots or feedback bits.
- [116] arXiv:2510.09501 [pdf, html, other]
-
Title: A Note on Idempotent Matrices: The Poset Structure and The ConstructionSubjects: Rings and Algebras (math.RA)
Idempotent elements play a fundamental role in ring theory, as they encode significant information about the underlying algebraic structure. In this paper, we study idempotent matrices from two perspectives. First, we analyze the partially ordered set of idempotents in matrix rings over a division ring. We characterize the partial order relation explicitly in terms of block decompositions of idempotent matrices. Second, over principal ideal domains, we establish an equivalent condition for a matrix to be idempotent, derived from matrix factorizations using the Smith normal form. We also consider extensions over unique factorization domains and constructions via the Kronecker product and the anti-transpose. Together, these results clarify both the structural and constructive aspects of idempotents in matrix rings. Moreover, the set of idempotent matrices over a field can be viewed as an affine algebraic variety.
- [117] arXiv:2510.09514 [pdf, html, other]
-
Title: Optimal higher-order convergence rates for parabolic multiscale problemsSubjects: Numerical Analysis (math.NA)
In this paper, we introduce a higher-order multiscale method for time-dependent problems with highly oscillatory coefficients. Building on the localized orthogonal decomposition (LOD) framework, we construct enriched correction operators to enrich the multiscale spaces, ensuring higher-order convergence without requiring assumptions on the coefficient beyond boundedness. This approach addresses the challenge of a reduction of convergence rates when applying higher-order LOD methods to time-dependent problems. Addressing a parabolic equation as a model problem, we prove the exponential decay of these enriched corrections and establish rigorous a priori error estimates. Numerical experiments confirm our theoretical results.
- [118] arXiv:2510.09518 [pdf, html, other]
-
Title: A family of non-simple surfaces whose transport twistor spaces admit global blow-down mapsComments: 16 pages, 1 figureSubjects: Differential Geometry (math.DG)
In the literature on X-ray transform and Transport Twistor (TT) spaces, blow-down maps (or maps with holomorphic blow-down structure as defined in [BMP24]) are maps that desingularize the degenerate complex structure of the TT space of an oriented Riemannian surface, while collapsing (yet separating) geodesics of the unit tangent bundle of that surface. Such maps were originally constructed in [BMP24] for near-constant curvature simple surfaces, showing that the interior of their TT space is biholomorphic to an open set in standard $\mathbb{C}^2$. The construction there relied on a microlocal argument leveraging the absence of conjugate points. In this note, we construct an explicit example of a family of convex, non-trapping Riemannian surfaces, some of which have conjugate points, yet all of whose TT spaces admit a global blow-down map. We also discuss a consequence on the existence of special geodesically invariant functions and its application to geometric inverse problems.
- [119] arXiv:2510.09527 [pdf, html, other]
-
Title: Minimality and effectiveness of the groupoid associated to a self-similar ultragraphComments: 27 pagesSubjects: Operator Algebras (math.OA)
The notion of a self-similar ultragraph $(G,\mathcal{U},\varphi)$ and its $C^*$-algebra $\mathcal{O}_{G,\mathcal{U}}$ were introduced in our recent work, where we proposed inverse semigroup and groupoid models for such $C^*$-algebras as well. In this paper, we investigate minimality and effectiveness of the groupoid of a self-similar ultragraph $(G,\mathcal{U},\varphi)$. In particular, we obtain a result for simplicity of the $C^*$-algebras $\mathcal{O}_{G,\mathcal{U}}$ in a certain case.
- [120] arXiv:2510.09540 [pdf, html, other]
-
Title: $H$-Equivariant Morita equivalences of Loewy-graded comodule algebrasComments: 20 pagesSubjects: Quantum Algebra (math.QA); Representation Theory (math.RT)
Let $H$ be a coradically graded Hopf algebra. For every Loewy-graded exact $H$-comodule algebra $A=\oplus_{n\geq 0} A(n)$ and $H_0$-equivariant Morita equivalence $A(0)\simeq_{H_0} X$, there exists a Loewy-graded $H$-comodule algebra $B$ (isomorphic to $X$ in degree zero) realizing an $H$-equivariant Morita equivalence $A\simeq_H B$. In addition, if every exact $H_0$-comodule algebra is $H_0$-equivariant Morita equivalent to a coideal subalgebra of $H_0$, then every Loewy-graded exact $H$-comodule algebra is $H$-equivariant Morita equivalent to a coideal subalgebra of $H$. We also discuss Loewy-graded $H$-comodule algebras with $H_0=\mathcal{KP}$, the Kac-Paljutkin Hopf algebra.
- [121] arXiv:2510.09545 [pdf, html, other]
-
Title: Multi-Level Hybrid Monte Carlo / Deterministic Methods for Particle Transport ProblemsComments: 27 pages, 10 figures, 15 tablesSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
This paper presents multi-level hybrid transport (MLHT) methods for solving the neutral particle Boltzmann transport equation. The proposed MLHT methods are formulated on a sequence of spatial grids using a multi-level Monte Carlo (MLMC) approach. The general MLMC algorithm is defined by the recursive estimation of the expected value of a solution functional's correction with respect to a neighboring grid. MLMC theory optimizes the total computational cost for estimating a functional to within a target accuracy. The proposed MLHT algorithms are based on the quasidiffusion (Variable Eddington Factor) and second-moment methods. For these methods, the low-order equations for the angular moments of the high-order transport solution are discretized in space. Monte Carlo techniques compute the closures for the low-order equations; then, the equations are solved, yielding a single realization of the global flux solution. The ensemble average of the realizations yields the level solution. The results for 1-D slab transport problems demonstrates weak convergence of the functionals considered. We observe that the variance of the correction factors decreases faster than the increase in computational costs of generating an MLMC sample. In the problems considered, the variance and costs of the MLMC solution are driven by the coarse grid calculations.
- [122] arXiv:2510.09552 [pdf, html, other]
-
Title: Degree 4 cohomological invariants of algebraic toriSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
In this paper, we determine the motive of the classifying torsor of an algebraic torus. As a result, we give an exact sequence describing the degree 4 cohomological invariants of algebraic tori. Using results by Blinstein and Merkurjev, this provides a formula for the degree 4 unramified cohomology group of an algebraic torus, via a flasque resolution.
- [123] arXiv:2510.09562 [pdf, html, other]
-
Title: Generalized Taylor's Law for Dependent and Heterogeneous Heavy-Tailed DataSubjects: Statistics Theory (math.ST)
Taylor's law, also known as fluctuation scaling in physics and the power-law variance function in statistics, is an empirical pattern widely observed across fields including ecology, physics, finance, and epidemiology. It states that the variance of a sample scales as a power function of the mean of the sample. We study generalizations of Taylor's law in the context of heavy-tailed distributions with infinite mean and variance. We establish the probabilistic limit and analyze the associated convergence rates. Our results extend the existing literature by relaxing the i.i.d. assumption to accommodate dependence and heterogeneity among the random variables. This generalization enables application to dependent data such as time series and network-structured data. We support the theoretical developments by extensive simulations, and the practical relevance through applications to real network data.
- [124] arXiv:2510.09564 [pdf, html, other]
-
Title: Architecture Induces Structural Invariant Manifolds of Neural Network Training DynamicsComments: 36 pages, 1 figureSubjects: Dynamical Systems (math.DS)
While architecture is recognized as key to the performance of deep neural networks, its precise effect on training dynamics has been unclear due to the confounding influence of data and loss functions. This paper proposed an analytic framework based on the geometric control theory to characterize the dynamical properties intrinsic to a model's parameterization. We prove that the Structural Invariant Manifolds (SIMs) of an analytic model $F(\mathbf{\theta})(\mathbf{x})$--submanifolds that confine gradient flow trajectories independent of data and loss--are unions of orbits of the vector field family $\{\nabla_{\mathbf{\theta}} F(\cdot)(\mathbf{x})\mid\mathbf{x}\in\mathbb{R}^d\}$. We then prove that a model's symmetry, e.g., permutation symmetry for neural networks, induces SIMs. Applying this, we characterize the hierarchy of symmetry-induced SIMs in fully-connected networks, where dynamics exhibit neuron condensation and equivalence to reduced-width networks. For two-layer networks, we prove all SIMs are symmetry-induced, closing the gap between known symmetries and all possible invariants. Overall, by establishing the framework for analyzing SIMs induced by architecture, our work paves the way for a deeper analysis of neural network training dynamics and generalization in the near future.
- [125] arXiv:2510.09576 [pdf, html, other]
-
Title: On elastic and non-elastic wave superpositions for the Euler systemComments: 4 figures. arXiv admin note: text overlap with arXiv:2504.14756Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
The paper contains an analysis of the conditions for the existence of elastic versus non-elastic wave superpositions governed by the Euler system in (1+1)-dimensions. This system admits entropic solutions and two types of sound wave solutions. It is shown that the smallest real Lie algebra containing vector fields (associated with these waves) is isomorphic to a semidirect sum of the infinite-dimensional Abelian real Lie algebra and the non-Abelian finite-dimensional real Lie algebra. Based on this fact, we are able to find a parametrization of the region of non-elastic wave superpositions which allows for the construction of the reduced form of the Euler system. It is proven that, in this case, the manifold spanned by the vector fields associated with waves possesses the structure of a local Lie group. It is also shown that this manifold has a torsion-free affine connection and the one-parameter subgroups of the Lie group are geodesics. Based on this fact, a description of the non-elastic wave superposition is given in terms of motion of the quasi-rectifiable surfaces spanned by the pair of vector fields associated with sound waves.
- [126] arXiv:2510.09582 [pdf, html, other]
-
Title: Cohomology theories in the moduli of ring stacksComments: 51 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We show that the natural map from the syntomification of a ring $R$ to the stack of $R$-algebra stacks is fully faithful, answering a question of Drinfeld, and we describe its essential image in terms of underlying monoid stacks. We also give similar statements in the characteristic 0 filtered de Rham, $\ell = p$ étale, and Betti settings.
- [127] arXiv:2510.09584 [pdf, other]
-
Title: The Hurwitz problem for abelian differentialsComments: 46 pages, 1 figure, comments welcome!Subjects: Geometric Topology (math.GT); Number Theory (math.NT)
Fix $g \geq 2$. Let $\mathsf{t}(g)$ be the maximal order of the translation group among all genus-$g$ abelian differentials. By work of Schlage-Puchta and Weitze-Schmithüsen, $\mathsf{t}(g) \leq 4(g - 1)$. They also classify the $g$ attaining this bound. We assume $g$ is outside this class.
We first prove that either $\mathsf{t}(g) = (2(m + 1) / m) (g - 1)$ for some $m \in \mathbb{N} \setminus \{0\}$, when regular genus-$g$ origamis exist, or $\mathsf{t}(g) = 2(g - 1)$, when they do not exist.
In the former case, only some values of $m > 1$ are realizable; $m = 5$ is the smallest. The resulting set of genera, those satisfying $\mathsf{t}(g) = (12/5)(g - 1)$, contains infinitely long arithmetic progressions. The same holds for any odd prime $m$ congruent to $2$ modulo $3$.
In the latter case, "many" strata of the form $\mathcal{H}(g - 1, g - 1)$, $\mathcal{H}(2k^q)$ or $\mathcal{H}(k^{2q})$, where $k \geq 1$ is an integer and $q$ is prime, contain no regular origamis; we derive a complete classification. As an application, we exhibit infinite families of genera $g$ for which $\mathsf{t}(g) = 2(g - 1)$: $g = p + 1$ for prime $p \geq 5$; $g = p^2 + 1$ for prime, but not Sophie Germain prime, $p$; and $g = pq + 1$, for distinct primes $p, q \geq 5$. - [128] arXiv:2510.09588 [pdf, html, other]
-
Title: On a sequence of singular ball quotient surfaces on the line $K^2=9χ-18$Subjects: Algebraic Geometry (math.AG)
Starting from computer experiments with the fundamental group of the Cartwright--Steger surface, we construct an infinite tower $(X_n)_{n\ge 1}$ of normal projective surfaces obtained by successive $\mathbb Z/3$-Galois covers $X_{n}\to X_{n-1}$. For $n>1$, their minimal resolutions $\widetilde{X}_n$ lie on the line $K^2 = 9\chi - 18$ (equivalently $c_1^2 = 3c_2 - 72$), which is parallel to the Bogomolov--Miyaoka--Yau line $K^2 = 9\chi$ of ball quotients. We compute the fundamental groups for the first cases, showing that $\pi_1(\widetilde{X}_n)=1$ for $n=1,\ldots,5$. Motivated by the geometry of the construction, we conjecture that all $\widetilde{X}_n$ are simply connected.
- [129] arXiv:2510.09603 [pdf, html, other]
-
Title: Some new cases of Zilber-Pink in $Y(1)^3$Comments: 29 pages; preliminary draft; comments welcomeSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We prove the Zilber-Pink conjecture for curves in $Y(1)^3$ that intersect a modular curve in the boundary. We also give an unconditional result for points having few places of supersingular reduction. Both results are proved using the G-function method for unlikely intersections.
New submissions (showing 129 of 129 entries)
- [130] arXiv:2509.12694 (cross-list from cs.LG) [pdf, html, other]
-
Title: Soft Graph Transformer for MIMO DetectionComments: 5 pages with 3 figures and 2 tables, submitted to IEEE for a possible publicationSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Signal Processing (eess.SP)
We propose the Soft Graph Transformer (SGT), a soft-input-soft-output neural architecture designed for MIMO detection. While Maximum Likelihood (ML) detection achieves optimal accuracy, its exponential complexity makes it infeasible in large systems, and conventional message-passing algorithms rely on asymptotic assumptions that often fail in finite dimensions. Recent Transformer-based detectors show strong performance but typically overlook the MIMO factor graph structure and cannot exploit prior soft information. SGT addresses these limitations by combining self-attention, which encodes contextual dependencies within symbol and constraint subgraphs, with graph-aware cross-attention, which performs structured message passing across subgraphs. Its soft-input interface allows the integration of auxiliary priors, producing effective soft outputs while maintaining computational efficiency. Experiments demonstrate that SGT achieves near-ML performance and offers a flexible and interpretable framework for receiver systems that leverage soft priors.
- [131] arXiv:2509.14305 (cross-list from cs.CC) [pdf, html, other]
-
Title: An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XORComments: 11 pages, 3 tables. Appendices A and B (switching parameters and correlation exponent; 2-core facts). Ancillary dataset on Zenodo (DOI https://doi.org/10.5281/zenodo.17138272). ORCID 0009-0008-0768-5184Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT); Logic in Computer Science (cs.LO)
We introduce a model-agnostic MDL-style cost functional $K_C$ for resource-bounded classifiers and prove a Total-Variation stable reduction lemma ($A2^d$) for distribution-preserving many-to-one reductions. On a balanced distribution of random 3XOR instances (with co-rank $t'=\Theta(n)$) we obtain a size-aware lower bound against P-uniform AC^0+log models: $\Pr[M=\chi] \le \frac{1}{2} + s(N)\exp(-\alpha_d m^{c/d})$ with an absolute $c \in (0,1)$ (e.g., $c=1/3$ gives $\beta_d=1/(3d)$). A deterministic, injective 3XOR->3SAT translation (four 3-clauses per XOR, no auxiliaries) is $\delta=0$ measure-preserving on its image window; by $A2^d$ the bound transfers to 3SAT. This yields, to our knowledge, the first explicit $K_C$-reading of such size-aware bounds under a $\delta=0$ measure-preserving reduction in small-depth circuit lower bounds. We provide artifacts (generator -> DIMACS -> verification) with match-rate 1.0.
- [132] arXiv:2510.08167 (cross-list from quant-ph) [pdf, html, other]
-
Title: Generalised fractional Rabi problemComments: 16 pages, 4 figuresSubjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Fractional quantum dynamics provides a natural framework to capture nonlocal temporal behavior and memory effects in quantum systems. In this work, we analyze the physical consequences of fractional-order quantum evolution using a Green's function formulation based on the Caputo fractional derivative. Explicit iterative expressions for the evolved state are derived and applied to an extended two-level Rabi model, a paradigmatic setting for coherent quantum control. We find that even in the absence of external driving, the static Hamiltonian term induces non-trivial spin dynamics with damping features directly linked to the fractional temporal nonlocality. When a periodically varying driving field is introduced, the competition between energy injection and memory effects gives rise to a richer dynamical behavior, manifest in the evolution of spin polarization, autocorrelation function, and fidelity. Unlike the standard Rabi oscillations characterized by a fixed frequency, the fractional regime introduces controllable damping and dephasing governed by the degree of fractionality. These distinctive signatures could be observable through the Loschmidt echo and autocorrelation function, and would offer potential routes to probe fractional quantum dynamics experimentally. Our findings open pathways toward exploring memory-induced dynamical phenomena in other systems effectively described by a two-level approximation, such as graphene-like materials and topological SSH chains, where non-integer order evolution may reveal novel topological or relaxation effects.
- [133] arXiv:2510.08582 (cross-list from cs.NE) [pdf, html, other]
-
Title: A Neural Surrogate-Enhanced Multi-Method Framework for Robust Wing Design OptimizationSubjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
This paper introduces a modular and scalable design optimization framework for the wing design process that enables faster early-phase design while ensuring aerodynamic stability. The pipeline starts with the generation of initial wing geometries and then proceeds to optimize the wing using several algorithms. Aerodynamic performance is assessed using a Vortex Lattice Method (VLM) applied to a carefully selected dataset of wing configurations. These results are employed to develop surrogate neural network models, which can predict lift and drag rapidly and accurately. The stability evaluation is implemented by setting the control surfaces and components to fixed positions in order to have realistic flight dynamics. The approach unifies and compares several optimization techniques, including Particle Swarm Optimization (PSO), Genetic Algorithms (GA), gradient-based MultiStart methods, Bayesian optimization, and Lipschitz optimization. Each method ensures constraint management via adaptive strategies and penalty functions, where the targets for lift and design feasibility are enforced. The progression of aerodynamic characteristics and geometries over the optimization iterations will be investigated in order to clarify each algorithm's convergence characteristics and performance efficiency. Our results show improvement in aerodynamic qualities and robust stability properties, offering a mechanism for wing design at speed and precision. In the interest of reproducibility and community development, the complete implementation is publicly available at this https URL.
- [134] arXiv:2510.08642 (cross-list from q-bio.PE) [pdf, html, other]
-
Title: Modeling Predator-Prey Dynamics with Stochastic Differential Equations: Patterns of Collective Hunting and Nonlinear Predation EffectsSubjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)
We investigate predator-prey school interactions in aquatic environments using a stochastic differential equation (SDE)-based, particle-level model that incorporates attraction, repulsion, alignment, and environmental noise. Two predation strategies-center attack and nearest attack-are examined to assess their effects on prey survival, predator efficiency, and group dynamics. Simulations reveal diverse emergent behaviors such as prey dispersal and regrouping, oscillatory predation with collective defense, and predator encirclement. Results show that collective hunting enhances capture efficiency compared to solitary attacks, but benefits diminish beyond a critical predator group size due to intra-predator competition. This work provides new insights into cooperative predation and introduces a generalizable SDE framework for analyzing predator-prey interactions.
- [135] arXiv:2510.08644 (cross-list from quant-ph) [pdf, html, other]
-
Title: Block encoding with low gate count for second-quantized HamiltoniansComments: 32 pages, 23 figuresSubjects: Quantum Physics (quant-ph); Numerical Analysis (math.NA)
Efficient block encoding of many-body Hamiltonians is a central requirement for quantum algorithms in scientific computing, particularly in the early fault-tolerant era. In this work, we introduce new explicit constructions for block encoding second-quantized Hamiltonians that substantially reduce Clifford+T gate complexity and ancilla overhead. By utilizing a data lookup strategy based on the SWAP architecture for the sparsity oracle $O_C$, and a direct sampling method for the amplitude oracle $O_A$ with SELECT-SWAP architecture, we achieve a T count that scales as $\mathcal{\tilde{O}}(\sqrt{L})$ with respect to the number of interaction terms $L$ in general second-quantized Hamiltonians. We also achieve an improved constant factor in the Clifford gate count of our oracle. Furthermore, we design a block encoding that directly targets the $\eta$-particle subspace, thereby reducing the subnormalization factor from $\mathcal{O}(L)$ to $\mathcal{O}(\sqrt{L})$, and improving fault-tolerant efficiency when simulating systems with fixed particle numbers. Building on the block encoding framework developed for general many-body Hamiltonians, we extend our approach to electronic Hamiltonians whose coefficient tensors exhibit translation invariance or possess decaying structures. Our results provide a practical path toward early fault-tolerant quantum simulation of many-body systems, substantially lowering resource overheads compared to previous methods.
- [136] arXiv:2510.08729 (cross-list from physics.flu-dyn) [pdf, html, other]
-
Title: An investigation into the combined effect of steady and pulsatile flow within a wavy channel filled with an anisotropic porous mediumComments: 36 pages, 48 figuresSubjects: Fluid Dynamics (physics.flu-dyn); Mathematical Physics (math-ph)
We provide an analytical solution to examine the impact of steady and pulsatile flow in a symmetric wavy channel filled with an anisotropic porous medium. The flow inside the wavy channel with a porous substrate is governed by the Darcy-Brinkman equation. We used the perturbation approach to ascertain the solution to the problem, assuming that the ratio between the channel width and the wavelength is very small (i.e., $\delta^2 \ll 1$). We solved the problem up to $O(\delta^2)$ by assuming $\lambda^2 \delta^2 \ll 1$, where $\lambda$ is the ratio of anisotropic permeability. Our primary objective is to investigate how the anisotropic permeability ratio influences flow reversal near the crest and trough of a wavy wall under both steady flow conditions and when a pulsatile component is superimposed on the steady flow. In the case of steady flow, flow separation occurs near the crest region of the wavy wall, leading to the formation of recirculating zones where fluid becomes trapped. In contrast, for pulsatile flow as well as combined effects of steady and pulsatile flow, vortices form transiently at certain phases of the pulsation cycle. Subsequently, these vortices bulge into the mainstream, resulting in a complete backflow. We explored the approximate flow reversal zone using Darcy's approximation theory far from the wavy wall. The flow recirculation associated with steady flow is critical for mass transport and enhances convective mixing. On the other hand, flow reversal at different time instances can optimize oxygen transfer in devices such as membrane oxygenators.
- [137] arXiv:2510.08745 (cross-list from physics.flu-dyn) [pdf, html, other]
-
Title: Intelligent backpropagated neural networks application on Couette-Poiseuille flow of variable viscosity in a composite porous channel filled with an anisotropic porous layerComments: 35 pages, 41 figuresSubjects: Fluid Dynamics (physics.flu-dyn); Mathematical Physics (math-ph); Numerical Analysis (math.NA)
This study examines Couette-Poiseuille flow of variable viscosity within a channel that is partially filled with a porous medium. To enhance its practical relevance, we assume that the porous medium is anisotropic with permeability varying in all directions, making it a positive semidefinite matrix in the momentum equation. We assume the Navier-Stokes equations govern the flow in the free flow region, while the Brinkman-Forchheimer-extended Darcy's equation governs the flow inside the porous medium. The coupled system contains a nonlinear term from the Brinkman-Forchheimer equation. We propose an approximate solution using an iterative method valid for a wide range of porous media parameter values. For both high and low values of the Darcy number, the asymptotic solutions derived from the regular perturbation method and matched asymptotic expansion show good agreement with the numerical results. However, these methods are not effective in the intermediate range. To address this, we employ the artificial Levenberg-Marquardt method with a back-propagated neural network (ALMM-BNN) paradigm to predict the solution in the intermediate range. While it may not provide the exact solutions, it successfully captures the overall trend and demonstrates good qualitative agreement with the numerical results. This highlights the potential of the ALMM-BNN paradigm as a robust predictive tool in challenging parameter ranges where numerical solutions are either difficult to obtain or computationally expensive. The current model provides valuable insights into the shear stress distribution of arterial blood flow, taking into account the variable viscosity of the blood in the presence of inertial effects. It also offers a framework for creating glycocalyx scaffolding and other microfluidic systems that can mimic the biological glycocalyx.
- [138] arXiv:2510.08780 (cross-list from cs.LG) [pdf, html, other]
-
Title: Weights initialization of neural networks for function approximationComments: 19 pages, 10 figuresSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
Neural network-based function approximation plays a pivotal role in the advancement of scientific computing and machine learning. Yet, training such models faces several challenges: (i) each target function often requires training a new model from scratch; (ii) performance is highly sensitive to architectural and hyperparameter choices; and (iii) models frequently generalize poorly beyond the training domain. To overcome these challenges, we propose a reusable initialization framework based on basis function pretraining. In this approach, basis neural networks are first trained to approximate families of polynomials on a reference domain. Their learned parameters are then used to initialize networks for more complex target functions. To enhance adaptability across arbitrary domains, we further introduce a domain mapping mechanism that transforms inputs into the reference domain, thereby preserving structural correspondence with the pretrained models. Extensive numerical experiments in one- and two-dimensional settings demonstrate substantial improvements in training efficiency, generalization, and model transferability, highlighting the promise of initialization-based strategies for scalable and modular neural function approximation. The full code is made publicly available on Gitee.
- [139] arXiv:2510.08788 (cross-list from cs.GT) [pdf, html, other]
-
Title: Robust autobidding for noisy conversion prediction modelsAndrey Pudovikov, Alexandra Khirianova, Ekaterina Solodneva, Gleb Molodtsov, Aleksandr Katrutsa, Yuriy Dorn, Egor SamosvatSubjects: Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC)
Managing millions of digital auctions is an essential task for modern advertising auction systems. The main approach to managing digital auctions is an autobidding approach, which depends on the Click-Through Rate and Conversion Rate values. While these quantities are estimated with ML models, their prediction uncertainty directly impacts advertisers' revenue and bidding strategies. To address this issue, we propose RobustBid, an efficient method for robust autobidding taking into account uncertainty in CTR and CVR predictions. Our approach leverages advanced, robust optimization techniques to prevent large errors in bids if the estimates of CTR/CVR are perturbed. We derive the analytical solution of the stated robust optimization problem, which leads to the runtime efficiency of the RobustBid method. The synthetic, iPinYou, and BAT benchmarks are used in our experimental evaluation of RobustBid. We compare our method with the non-robust baseline and the RiskBid algorithm in terms of total conversion volume (TCV) and average cost-per-click ($CPC_{avg}$) performance metrics. The experiments demonstrate that RobustBid provides bids that yield larger TCV and smaller $CPC_{avg}$ than competitors in the case of large perturbations in CTR/CVR predictions.
- [140] arXiv:2510.08795 (cross-list from cs.LG) [pdf, html, other]
-
Title: PO-CKAN:Physics Informed Deep Operator Kolmogorov Arnold Networks with Chunk Rational StructureSubjects: Machine Learning (cs.LG); Mathematical Physics (math-ph)
We propose PO-CKAN, a physics-informed deep operator framework based on Chunkwise Rational Kolmogorov--Arnold Networks (KANs), for approximating the solution operators of partial differential equations. This framework leverages a Deep Operator Network (DeepONet) architecture that incorporates Chunkwise Rational Kolmogorov--Arnold Network (CKAN) sub-networks for enhanced function approximation. The principles of Physics-Informed Neural Networks (PINNs) are integrated into the operator learning framework to enforce physical consistency. This design enables the efficient learning of physically consistent spatio-temporal solution operators and allows for rapid prediction for parametric time-dependent PDEs with varying inputs (e.g., parameters, initial/boundary conditions) after training. Validated on challenging benchmark problems, PO-CKAN demonstrates accurate operator learning with results closely matching high-fidelity solutions. PO-CKAN adopts a DeepONet-style branch--trunk architecture with its sub-networks instantiated as rational KAN modules, and enforces physical consistency via a PDE residual (PINN-style) loss. On Burgers' equation with $\nu=0.01$, PO-CKAN reduces the mean relative $L^2$ error by approximately 48\% compared to PI-DeepONet, and achieves competitive accuracy on the Eikonal and diffusion--reaction benchmarks.
- [141] arXiv:2510.08820 (cross-list from quant-ph) [pdf, html, other]
-
Title: Real-Time Instantons in Complex-Driven QubitsComments: 6 pages, 2 figuresSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We consider the dynamics of the quantum Rabi model driven parametrically by a periodic modulation of a complex coupling. We show both analytically and numerically that instead of Rabi oscillations, this nonunitary coherent driving leads to a unidirectional instanton solution which mediates the rapid and deterministic one-way tunneling of any initial coherent state to the ground state, making the ground state a strong attractor in the quantum dynamics of the qubit. The timescale of this tunneling is shown to be inversely proportional to the effective resonant coupling, allowing for exceptionally fast, deterministic, and high-fidelity qubit reset through a purely coherent, PT-symmetric drive--without coupling to external dissipative baths, lossy resonators, or employing measurement-based feedback. Finally, we show how the drive can be engineered to place the strong attractor at any arbitrary point on the Bloch sphere.
- [142] arXiv:2510.08908 (cross-list from cs.LG) [pdf, html, other]
-
Title: A Frequency-Domain Analysis of the Multi-Armed Bandit Problem: A New Perspective on the Exploration-Exploitation Trade-offComments: 6 pagesSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Optimization and Control (math.OC); Machine Learning (stat.ML)
The stochastic multi-armed bandit (MAB) problem is one of the most fundamental models in sequential decision-making, with the core challenge being the trade-off between exploration and exploitation. Although algorithms such as Upper Confidence Bound (UCB) and Thompson Sampling, along with their regret theories, are well-established, existing analyses primarily operate from a time-domain and cumulative regret perspective, struggling to characterize the dynamic nature of the learning process. This paper proposes a novel frequency-domain analysis framework, reformulating the bandit process as a signal processing problem. Within this framework, the reward estimate of each arm is viewed as a spectral component, with its uncertainty corresponding to the component's frequency, and the bandit algorithm is interpreted as an adaptive filter. We construct a formal Frequency-Domain Bandit Model and prove the main theorem: the confidence bound term in the UCB algorithm is equivalent in the frequency domain to a time-varying gain applied to uncertain spectral components, a gain inversely proportional to the square root of the visit count. Based on this, we further derive finite-time dynamic bounds concerning the exploration rate decay. This theory not only provides a novel and intuitive physical interpretation for classical algorithms but also lays a rigorous theoretical foundation for designing next-generation algorithms with adaptive parameter adjustment.
- [143] arXiv:2510.08937 (cross-list from eess.SY) [pdf, html, other]
-
Title: Cognitive Radio for Asymmetric Cellular Downlink with Multi-User MIMOSubjects: Systems and Control (eess.SY); Information Theory (cs.IT)
Cognitive radio (CR) is an important technique for improving spectral efficiency, letting a secondary system operate in a wireless spectrum when the primary system does not make use of it. While it has been widely explored over the past 25 years, many common assumptions are not aligned with the realities of 5G networks. In this paper, we consider the CR problem for the following setup: (i) infrastructure-based systems, where downlink transmissions might occur to receivers whose positions are not, or not exactly, known; (ii) multi-beam antennas at both primary and secondary base stations. We formulate a detailed protocol to determine when secondary transmissions into different beam directions can interfere with primary users at potential locations and create probability-based interference rules. We then analyze the "catastrophic interference" probability and the "missed transmission opportunity" probability, as well as the achievable throughput, as a function of the transmit powers of the primary and secondary base stations and the sensing window of the secondary base station. Results can serve to more realistically assess the spectral efficiency gains in 5G infrastructure-based cognitive systems.
- [144] arXiv:2510.08974 (cross-list from stat.CO) [pdf, html, other]
-
Title: Bayesian Model Inference using Bayesian Quadrature: the Art of Acquisition Functions and BeyondComments: 47 pages, 15 figures, submitted to Elsevier journalSubjects: Computation (stat.CO); Numerical Analysis (math.NA)
Estimating posteriors and the associated model evidences is a core issue of Bayesian model inference, and can be of great challenge given complex features of the posteriors such as multi-modalities of unequal importance, nonlinear dependencies and high sharpness. Bayesian Quadrature (BQ) has emerged as a competitive framework for tackling this challenge, as it provides flexible balance between computational cost and accuracy. The performance of a BQ scheme is fundamentally dictated by the acquisition function as it exclusively governs the generation of integration points. After reexamining one of the most advanced acquisition function from a prospective inference perspective and reformulating the quadrature rules for prediction, four new acquisition functions, inspired by distinct intuitions on expected rewards, are primarily developed, all of which are accompanied by elegant interpretations and highly efficient numerical estimators. Mathematically, these four acquisition functions measure, respectively, the prediction uncertainty of posterior, the contribution to prediction uncertainty of evidence, as well as the expected reduction of prediction uncertainties concerning posterior and evidence, and thus provide flexibility for highly effective design of integration points. These acquisition functions are further extended to the transitional BQ scheme, along with several specific refinements, to tackle the above-mentioned challenges with high efficiency and robustness. Effectiveness of the developments is ultimately demonstrated with extensive benchmark studies and application to an engineering example.
- [145] arXiv:2510.08989 (cross-list from quant-ph) [pdf, html, other]
-
Title: Beyond the Carnot limit: work extraction via an entropy batteryComments: 21 pages, 8 figures, 2 tablesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We explore the consequences of generalized thermodynamics, as interpreted from the perspective of information theory, on an ensemble's capacity to extract energetic work. We demonstrate that by utilizing unitary heat engines of different kinds, we can capitalize on the full entropy capacity of the ensemble across multiple conserved quantities. This leads to the extraction of energetic work with efficiencies surpassing the standard Carnot efficiency limit, all the while running at maximum power. This is achieved without requiring modified thermal sources, which is a method commonly used in the field of quantum heat engines. We pay particular attention to spin angular momentum, and show that when treated as a mutually independent conserved quantity, spin baths exhibit thermodynamic behaviour analogous to conventional heat baths, with corresponding quantities and models. This includes spin-analogous heat capacities, Einstein solid and Debye models, entropic responses, and Bose-Einstein and Fermi-Dirac statistics. Spin baths also follow the fluctuation-dissipation theorem. Further, we examine the role of particle statistics in determining the maximum entropy capacity of the battery. In doing so, we argue that indistinguishability is necessary for interactions to occur, motivating a perspective in which information itself is treated as the indistinguishable property of particles, with information (in the form of coherence) transferable between both physical degrees of freedom such as energy and spin, and particles when the system acts unitarily. This work will find application in fields that require near energy degenerate spin statistics, such as in spinor Bose-Einstein condensates and spintronics. Further, our method will have implications for the fields of quantum heat engines, quantum batteries, quantum error correction, and in information and resource theories.
- [146] arXiv:2510.09034 (cross-list from cs.LG) [pdf, other]
-
Title: Convergence of optimizers implies eigenvalues filtering at equilibriumSubjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Optimization and Control (math.OC)
Ample empirical evidence in deep neural network training suggests that a variety of optimizers tend to find nearly global optima. In this article, we adopt the reversed perspective that convergence to an arbitrary point is assumed rather than proven, focusing on the consequences of this assumption. From this viewpoint, in line with recent advances on the edge-of-stability phenomenon, we argue that different optimizers effectively act as eigenvalue filters determined by their hyperparameters. Specifically, the standard gradient descent method inherently avoids the sharpest minima, whereas Sharpness-Aware Minimization (SAM) algorithms go even further by actively favoring wider basins. Inspired by these insights, we propose two novel algorithms that exhibit enhanced eigenvalue filtering, effectively promoting wider minima. Our theoretical analysis leverages a generalized Hadamard--Perron stable manifold theorem and applies to general semialgebraic $C^2$ functions, without requiring additional non-degeneracy conditions or global Lipschitz bound assumptions. We support our conclusions with numerical experiments on feed-forward neural networks.
- [147] arXiv:2510.09054 (cross-list from nlin.SI) [pdf, html, other]
-
Title: On a matrix constrained CKP hierarchySubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)
The algebraic structures of integrable hierarchies play an important role in the study of soliton equations. In this paper, we use splitting theory to give a matrix representation of a constrained CKP hierarchy, which can be considered as a generalization of the $\hat{A}_{2n}^{(2)}$-KdV hierarchy and the constrained KP hierarchy. An equivalent construction in terms of the pseudo-differential operator is discussed. Darboux transformations, scaling transformation and tau functions $\ln \tau_f$ for this constrained hierarchy are studied. Moreover, we present formulas for the Virasoro vector fields on $\ln \tau_f$ for the $\hat{A}_{2 n}^{(2)}$-KdV hierarchy.
- [148] arXiv:2510.09128 (cross-list from cs.DM) [pdf, html, other]
-
Title: A CSP approach to Graph Sandwich ProblemsComments: 31 pages; accepted for publication in the proceedings of SODA 2026Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Combinatorics (math.CO)
The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$ where $E_1\subseteq E \subseteq E_2$ such that the graph $(V,E)$ belongs to $\calC$. In this paper we show that many SPs correspond to the constraint satisfaction problem (CSP) of an infinite $2$-edge-coloured graph $H$. We then notice that several known complexity results for SPs also follow from general complexity classifications of infinite-domain CSPs, suggesting a fruitful application of the theory of CSPs to complexity classifications of SPs. We strengthen this evidence by using basic tools from constraint satisfaction theory to propose new complexity results of the SP for several graph classes including line graphs of multigraphs, line graphs of bipartite multigraphs, $K_k$-free perfect graphs, and classes described by forbidding finitely many induced subgraphs, such as $\{I_4,P_4\}$-free graphs, settling an open problem of Alvarado, Dantas, and Rautenbach (2019). We also construct a graph sandwich problem which is in coNP, but neither in P nor coNP-complete (unless P = coNP).
- [149] arXiv:2510.09133 (cross-list from cs.AI) [pdf, html, other]
-
Title: PAC Reasoning: Controlling the Performance Loss for Efficient ReasoningSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Statistics Theory (math.ST)
Large reasoning models (LRMs) have achieved remarkable progress in complex problem-solving tasks. Despite this success, LRMs typically suffer from high computational costs during deployment, highlighting a need for efficient inference. A popular direction of efficiency improvement is to switch the LRM between thinking and nonthinking modes dynamically. However, such approaches often introduce additional reasoning errors and lack statistical guarantees for the performance loss, which are critical for high-stakes applications. In this work, we propose Probably Approximately Correct (PAC) reasoning that controls the performance loss under the user-specified performance loss tolerance. In particular, we construct an upper confidence bound on the performance loss, formulated as a monotone function of the uncertainty score, and subsequently determine a threshold for switching to the nonthinking model. Theoretically, using the threshold to switch between the thinking and nonthinking modes ensures bounded performance loss in a distribution-free manner. Our comprehensive experiments on reasoning benchmarks show that the proposed method can save computational budgets and control the user-specified performance loss.
- [150] arXiv:2510.09177 (cross-list from stat.ML) [pdf, html, other]
-
Title: Distributionally robust approximation property of neural networksSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Functional Analysis (math.FA); Probability (math.PR)
The universal approximation property uniformly with respect to weakly compact families of measures is established for several classes of neural networks. To that end, we prove that these neural networks are dense in Orlicz spaces, thereby extending classical universal approximation theorems even beyond the traditional $L^p$-setting. The covered classes of neural networks include widely used architectures like feedforward neural networks with non-polynomial activation functions, deep narrow networks with ReLU activation functions and functional input neural networks.
- [151] arXiv:2510.09191 (cross-list from cond-mat.stat-mech) [pdf, html, other]
-
Title: An exactly solvable asymmetric simple inclusion processComments: 31 pages, 12 figuresSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Combinatorics (math.CO); Probability (math.PR)
We study a generalization of the asymmetric simple inclusion process (ASIP) on a periodic one-dimensional lattice, where the integers in the particles rates are deformed to their $t$-analogues. We call this the $(q, t, \theta)$~ASIP, where $q$ is the asymmetric hopping parameter and $\theta$ is the diffusion parameter. We show that this process is a misanthrope process, and consequently the steady state is independent of $q$. We compute the steady state, the one-point correlation and the current in the steady state. In particular, we show that the single-site occupation probabilities follow a \emph{beta-binomial} distribution at $t=1$. We compute the two-dimensional phase diagram in various regimes of the parameters $(t, \theta)$ and perform simulations to justify the results. We also show that a modified form of the steady state weights at $t \neq 1$ satisfy curious palindromic and antipalindromic symmetries. Lastly, we define an enriched process at $t=1$ and $\theta$ an integer which projects onto the $(q, 1, \theta)$~ASIP and whose steady state is uniform, which may be of independent interest.
- [152] arXiv:2510.09317 (cross-list from cs.LG) [pdf, html, other]
-
Title: Residual-Informed Learning of Solutions to Algebraic LoopsComments: 16 pages, 16 figures, 5 tables, submitted to IDaS-Schriftenreihe from Hochschule Bielefeld - University of Applied Sciences and Arts (HSBI)Subjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
This paper presents a residual-informed machine learning approach for replacing algebraic loops in equation-based Modelica models with neural network surrogates. A feedforward neural network is trained using the residual (error) of the algebraic loop directly in its loss function, eliminating the need for a supervised dataset. This training strategy also resolves the issue of ambiguous solutions, allowing the surrogate to converge to a consistent solution rather than averaging multiple valid ones. Applied to the large-scale IEEE 14-Bus system, our method achieves a 60% reduction in simulation time compared to conventional simulations, while maintaining the same level of accuracy through error control mechanisms.
- [153] arXiv:2510.09391 (cross-list from cs.NE) [pdf, html, other]
-
Title: Fast and robust parametric and functional learning with Hybrid Genetic Optimisation (HyGO)Comments: 27 pages, 14 figuresSubjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
The Hybrid Genetic Optimisation framework (HyGO) is introduced to meet the pressing need for efficient and unified optimisation frameworks that support both parametric and functional learning in complex engineering problems. Evolutionary algorithms are widely employed as derivative-free global optimisation methods but often suffer from slow convergence rates, especially during late-stage learning. HyGO integrates the global exploration capabilities of evolutionary algorithms with accelerated local search for robust solution refinement. The key enabler is a two-stage strategy that balances exploration and exploitation. For parametric problems, HyGO alternates between a genetic algorithm and targeted improvement through a degradation-proof Dowhill Simplex Method (DSM). For function optimisation tasks, HyGO rotates between genetic programming and DSM. Validation is performed on (a) parametric optimisation benchmarks, where HyGO demonstrates faster and more robust convergence than standard genetic algorithms, and (b) function optimisation tasks, including control of a damped Landau oscillator. Practical relevance is showcased through aerodynamic drag reduction of an Ahmed body via Reynolds-Averaged Navier-Stokes simulations, achieving consistently interpretable results and reductions exceeding 20% by controlled jet injection in the back of the body for flow reattachment and separation bubble reduction. Overall, HyGO emerges as a versatile hybrid optimisation framework suitable for a broad spectrum of engineering and scientific problems involving parametric and functional learning.
- [154] arXiv:2510.09409 (cross-list from eess.SY) [pdf, html, other]
-
Title: 3C Resources Joint Allocation for Time-Deterministic Remote Sensing Image Backhaul in the Space-Ground Integrated NetworkSubjects: Systems and Control (eess.SY); Information Theory (cs.IT)
Low-Earth-orbit (LEO) satellites assist observation satellites (OSs) to compress and backhaul more time-determined images (TDI) has become a new paradigm, which is used to enhance the timeout caused by the limited computing resources of OSs. However, how to capture the time-varying and dynamic characteristics of multi-dimensional resources is challenging for efficient collaborative scheduling. Motivated by this factor, we design a highly succinct multi-dimensional resource time-expanded graph (MDR-TEG) modell. Specifically, by employing a slots division mechanism and introducing an external virtual node, the time-varying communication, caching, and computing (3C) resources are depicted in low complexity by the link weights within, between, and outside the slots. Based on the MDR-TEG, the maximizing successful transmission ratio of TDI (MSTR-TDI) is modeled as a mixed integer linear programming (MILP) problem. Which further relaxed decomposed into two tractable sub-problems: maximizing the successful transmission rate of images (MSTRI) and ensuring the timeliness problem (ETP). Subsequently, an efficient subgradient of relaxation computing constraint (SRCC) algorithm is proposed. The upper and lower bounds of MSTR-TDI are obtained by solving the two subproblems and the dual problem (DP), and the direction of the next iteration is obtained by feedback. Furthermore, arranging the sending sequences of images to improve the quality of the solution. The approximate optimal solution of MSTR-TDI is eventually obtained through repeated iterations. The simulation results verify the superiority of the proposed MDR-TEG model and the effectiveness of the SRCC.
- [155] arXiv:2510.09457 (cross-list from quant-ph) [pdf, other]
-
Title: Nonlocal Games Through Communication Complexity and Quantum CryptographyComments: 378 pages, 47 figures, PhD thesisSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Combinatorics (math.CO)
This thesis explores foundational aspects of quantum information theory and quantum cryptography.
First, we investigate quantum correlations in interactive settings, including the CHSH and graph isomorphism games. We aim to distinguish quantum correlations from non-signaling correlations by leveraging the principle of communication complexity. To this end, we employ techniques such as distributed computation, majority-function-based distillation protocols, the algebraic and geometric properties of nonlocal box wirings, and variations of some graph properties such as isomorphism, transitivity, and equitable partitions. This inquiry advances our understanding of non-physical correlations.
Second, we address a key open problem in cryptography: the feasibility of unclonable encryption. We aim to construct an encryption scheme that prevents two distant parties from simultaneously obtaining information about a shared encrypted message. We introduce a candidate for unclonable encryption in the plain model, i.e. without assumptions, in working towards an unconditional proof. Our protocol is based on Clifford algebra, utilizing complex Hermitian unitary matrices that anti-commute. For small key sizes, we rigorously prove security using sum-of-squares methods, while for larger key sizes, we provide strong numerical evidence via the NPA hierarchy. - [156] arXiv:2510.09481 (cross-list from gr-qc) [pdf, html, other]
-
Title: Particle creation in a cosmological background in analogy to the Schwinger effectComments: 22 pages; 12 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We consider a gravitational analogue of the Schwinger effect in a cosmological context. While the Schwinger effect is usually attributed to a static electric background, its derivation is actually based on a switching on/off of the electric field in the infinite past/future. Motivated by this, and our previous work on particle production in a gravitational background, we consider a long pulse of the gravitational field in an FLRW-spacetime, thus simulating a static background. We rigorously derive particle production by a novel application of the Heun equation. In fact, the recently obtained connecting formulas between its local solutions can be used to determine the Bogolyubov coefficients, and subsequently the particle production probabilities, in the limit of an infinitely long pulse.
The particle production in the FLRW-model is found to have a lower threshold on the outgoing frequencies, which can be related to the duration of the time interval of the switching on/off the background field. For large frequencies and in the spatially flat case, we find black-body radiation whose temperature is inversely proportional to the radius of the apparent horizon that appears in the FLRW-model during the phase of scale change.
We compare our findings to Schwinger's result on particle production for a long pulse of an electromagnetic background field, for which we also include a detailed derivation. - [157] arXiv:2510.09485 (cross-list from cs.LG) [pdf, html, other]
-
Title: Locally Optimal Private Sampling: Beyond the Global MinimaxComments: 44 pages, 11 figures. Accepted at NeurIPS 2025Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Computers and Society (cs.CY); Information Theory (cs.IT)
We study the problem of sampling from a distribution under local differential privacy (LDP). Given a private distribution $P \in \mathcal{P}$, the goal is to generate a single sample from a distribution that remains close to $P$ in $f$-divergence while satisfying the constraints of LDP. This task captures the fundamental challenge of producing realistic-looking data under strong privacy guarantees. While prior work by Park et al. (NeurIPS'24) focuses on global minimax-optimality across a class of distributions, we take a local perspective. Specifically, we examine the minimax risk in a neighborhood around a fixed distribution $P_0$, and characterize its exact value, which depends on both $P_0$ and the privacy level. Our main result shows that the local minimax risk is determined by the global minimax risk when the distribution class $\mathcal{P}$ is restricted to a neighborhood around $P_0$. To establish this, we (1) extend previous work from pure LDP to the more general functional LDP framework, and (2) prove that the globally optimal functional LDP sampler yields the optimal local sampler when constrained to distributions near $P_0$. Building on this, we also derive a simple closed-form expression for the locally minimax-optimal samplers which does not depend on the choice of $f$-divergence. We further argue that this local framework naturally models private sampling with public data, where the public data distribution is represented by $P_0$. In this setting, we empirically compare our locally optimal sampler to existing global methods, and demonstrate that it consistently outperforms global minimax samplers.
- [158] arXiv:2510.09512 (cross-list from cs.DS) [pdf, html, other]
-
Title: Parameterized Algorithms for Diversity of Networks with Ecological DependenciesSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
For a phylogenetic tree, the phylogenetic diversity of a set A of taxa is the total weight of edges on paths to A. Finding small sets of maximal diversity is crucial for conservation planning, as it indicates where limited resources can be invested most efficiently. In recent years, efficient algorithms have been developed to find sets of taxa that maximize phylogenetic diversity either in a phylogenetic network or in a phylogenetic tree subject to ecological constraints, such as a food web. However, these aspects have mostly been studied independently. Since both factors are biologically important, it seems natural to consider them together. In this paper, we introduce decision problems where, given a phylogenetic network, a food web, and integers k, and D, the task is to find a set of k taxa with phylogenetic diversity of at least D under the maximize all paths measure, while also satisfying viability conditions within the food web. Here, we consider different definitions of viability, which all demand that a "sufficient" number of prey species survive to support surviving predators. We investigate the parameterized complexity of these problems and present several fixed-parameter tractable (FPT) algorithms. Specifically, we provide a complete complexity dichotomy characterizing which combinations of parameters - out of the size constraint k, the acceptable diversity loss D, the scanwidth of the food web, the maximum in-degree in the network, and the network height h - lead to W[1]-hardness and which admit FPT algorithms. Our primary methodological contribution is a novel algorithmic framework for solving phylogenetic diversity problems in networks where dependencies (such as those from a food web) impose an order, using a color coding approach.
- [159] arXiv:2510.09542 (cross-list from hep-ph) [pdf, html, other]
-
Title: Lie symmetry analysis of the two-Higgs-doublet model field equationsComments: 38 pagesSubjects: High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)
We apply Lie symmetry analysis of partial differential equations (PDEs) to the Euler-Lagrange equations of the two-Higgs-doublet model (2HDM), to determine its scalar Lie point symmetries. A Lie point symmetry is a structure-preserving transformation of the spacetime variables and the fields of the model, which is also continuous and connected to the identity. Symmetries of PDEs may in general be divided into strict variational symmetries, divergence symmetries and non-variational symmetries, where the first two are collectively referred to as variational symmetries. Variational symmetries are usually preserved under quantization, and variational Lie symmetries yield conservation laws. We demonstrate that there are no scalar Lie point divergence symmetries or non-variational Lie point symmetries in the 2HDM, and re-derive its well-known strict variational Lie point symmetries, thus confirming the consistency of our implementation of Lie's method. Moreover, we prove three general results which may simplify Lie symmetry calculations for a wide class of particle physics models. Lie symmetry analysis of PDEs is a broadly applicable method for determining Lie symmetries. As demonstrated here by example, it can be applied to models with many variables, parameters and reparametrization freedom, while any missing discrete symmetries may be identified through the automorphism groups of the resulting Lie symmetry algebras.
- [160] arXiv:2510.09565 (cross-list from hep-th) [pdf, html, other]
-
Title: Unveiling dynamical quantum error correcting codes via non-invertible symmetriesComments: 10 pages, 8 figuresSubjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
Dynamical stabilizer codes (DSCs) have recently emerged as a powerful generalization of static stabilizer codes for quantum error correction, replacing a fixed stabilizer group with a sequence of non-commuting measurements. This dynamical structure unlocks new possibilities for fault tolerance but also introduces new challenges, as errors must now be tracked across both space and time. In this work, we provide a physical and topological understanding of DSCs by establishing a correspondence between qudit Pauli measurements and non-invertible symmetries in 4+1-dimensional 2-form gauge theories. Sequences of measurements in a DSC are mapped to a fusion of the operators implementing these non-invertible symmetries. We show that the error detectors of a DSC correspond to endable surface operators in the gauge theory, whose endpoints define line operators, and that detectable errors are precisely those surface operators that braid non-trivially with these lines. Finally, we demonstrate how this framework naturally recovers the spacetime stabilizer code associated with a DSC.
Cross submissions (showing 31 of 31 entries)
- [161] arXiv:0705.1329 (replaced) [pdf, html, other]
-
Title: Third Order Newton's Method for Zernike Polynomial ZerosComments: Version 4 corrects a term in the 3rd line of Eq. (21)Subjects: Numerical Analysis (math.NA)
The Zernike radial polynomials are a system of orthogonal polynomials over the unit interval with weight x. They are used as basis functions in optics to expand fields over the cross section of circular pupils. To calculate the roots of Zernike polynomials, we optimize the generic iterative numerical Newton's Method that iterates on zeros of functions with third order convergence. The technique is based on rewriting the polynomials as Gauss Hypergeometric Functions, reduction of second order derivatives to first order derivatives, and evaluation of some ratios of derivatives by terminating continued fractions.
A PARI program and a short table of zeros complete up to polynomials of 40th order are included. - [162] arXiv:1907.11973 (replaced) [pdf, html, other]
-
Title: Concentration Inequalities and UQ Bounds for Hypocoercive MCMC SamplersComments: 16 pagesSubjects: Probability (math.PR)
In this work we provide performance guarantees for hypocoercive non-reversible MCMC samplers $X_t$ with invariant measure $\mu_*$; our results apply in particular to the Langevin equation, Hamiltonian Monte-Carlo, and the bouncy particle and zig-zag samplers. Specifically, we establish a concentration inequality of Bernstein type for ergodic averages $\frac{1}{T} \int_0^T f(X_t)\, dt$. As a consequence we provide two types of performance guarantees: (a) explicit non-asymptotic confidence intervals for $\int f d\mu_*$ when using a finite time ergodic average with given initial condition $\mu$ and (b) uncertainty quantification (UQ) bounds, expressed in terms of relative entropy rate, on the bias of $\int f d\mu_*$ when using an alternative or approximate processes $\widetilde{X}_t$. (Results in (b) generalize results (arXiv:1812.05174) from the authors for coercive dynamics.) The concentration inequality is proved by combining the approach via Feynman-Kac semigroups first noted by Wu with the hypocoercive estimates of Dolbeault, Mouhot and Schmeiser (arXiv:1005.1495) developed for the Langevin equation and generalized to partially deterministic Markov processes by Andrieu et al. (arXiv:1808.08592).
- [163] arXiv:2105.09911 (replaced) [pdf, html, other]
-
Title: Sharp exponent of acceleration in general nonlocal equations with a weak Allee effectSubjects: Analysis of PDEs (math.AP)
We study an acceleration phenomenon arising in monostable integro-differential equations with a weak Allee effect. Previous works have shown its occurrence and have given correct upper bounds on the rate of expansion in some particular cases, but precise lower bounds were still missing. In this paper, we provide a sharp lower bound for this acceleration rate, valid for a large class of dispersion operators. Our results manage to cover fractional Laplace operators and standard convolutions in a unified way, which is new in the literature. A first very important result of the paper is a general flattening estimate of independent interest: this phenomenon appears regularly in acceleration situations, but getting quantitative estimates is most of the time open. This estimate at hand, we construct a very subtle sub-solution that captures the expected dynamics of the accelerating solution (rates of expansion and flattening) and identifies several various regimes that appear in the dynamics depending on the parameters of the problem.
- [164] arXiv:2111.10228 (replaced) [pdf, html, other]
-
Title: Impact of spatial coarsening on Parareal convergence for the linear advection equationSubjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE)
The Parareal parallel-in-time integration method often performs poorly when applied to hyperbolic partial differential equations. This effect is even more pronounced when the coarse propagator uses a reduced spatial resolution. However, some combinations of spatial discretization and numerical time stepping nevertheless allow for Parareal to converge with monotonically decreasing errors. This raises the question how these configurations can be distinguished theoretically from those where the error initially increases, sometimes over many orders of magnitude. For linear problems, we prove a theorem that implies that the 2-norm of the Parareal iteration matrix is not a suitable tool to predict convergence for hyperbolic problems when spatial coarsening is used. We then show numerical results that suggest that the pseudo-spectral radius can reliably indicate if a given configuration of Parareal will show transient growth or monotonic convergence. For the studied examples, it also provides a good quantitative estimate of the convergence rate in the first few Parareal iterations.
- [165] arXiv:2206.01117 (replaced) [pdf, html, other]
-
Title: On a construction of some homology $d$-manifoldsComments: 23 pages, 1 figure. To appear in Discrete MathematicsSubjects: Combinatorics (math.CO); Geometric Topology (math.GT)
The $g$-vector of a simplicial complex contains a lot of information about the combinatorial and topological structure of that complex. Several classification results regarding the structure of normal pseudomanifolds and homology manifolds have been established concerning the value of $g_2$. It is known that when $g_2=0$, all normal pseudomanifolds of dimensions at least three are stacked spheres. In the cases of $g_2=1$ and $2$, all homology manifolds are polytopal spheres and can be obtained through retriangulation or join operations from the previous ones. In this article, we provide a combinatorial characterization of the homology $d$-manifolds, where $d\geq 3$ and $g_2=3$. These are spheres and can be obtained through operations such as joins, some retriangulations, and connected sums from spheres with $g_2\leq 2$. Furthermore, we have presented a structural result on prime normal $d$-pseudomanifolds with $g_2=3$.
- [166] arXiv:2211.10367 (replaced) [pdf, html, other]
-
Title: Some Obstructions to Solvable Points on Higher Genus CurvesComments: Version appearing in the Bordeaux Journal of Number TheoryJournal-ref: Journal de th\'eorie des nombres de Bordeaux, Volume 36 (2024) no. 3, pp. 1009-1019Subjects: Number Theory (math.NT)
It is known that for a curve defined over $\mathbb{Q}$ of genus $g \leq 4$, there exists a point on the curve defined over a solvable extension of $\mathbb{Q}$. We relate points on curves of genus $g \geq 5$ over solvable extensions to the Bombieri-Lang conjecture. Specifically, we show that varieties parametrising points defined over extensions with a fixed solvable Galois group are of general type. Moreover, we show the existence of certain subvarieties in these varieties imply the existence of solvable morphisms from the curve.
- [167] arXiv:2211.10587 (replaced) [pdf, html, other]
-
Title: On transcendental meromorphic solutions of Hayman's equationComments: 14 pages; this version concerns particularly the transcendental meromorphic solutions of Hayman's equationSubjects: Complex Variables (math.CV)
We present a complete description of the form of transcendental meromorphic solutions of the second order differential equation \begin{equation}\tag† w''w-w'^2+a w'w+b w^2=\alpha w+\beta w'+\gamma, \end{equation} where $a$, $b$, $\alpha$, $\beta$ and $\gamma$ are all rational functions. Together with the Wiman--Valiron theory, we then show that any transcendental meromorphic solution $w$ of equation $(†)$ has hyper-order $\varsigma(w)\leq n$ for some integer $n\geq 0$. Moreover, if $w$ has finite order $\sigma(w)$, then $2\sigma(w)$ is a positive integer; if $\beta\equiv\gamma\equiv0$ and $w$ has infinite order or if $\gamma\not\equiv0$ and $w$ has infinite order, then the hyper-order $\varsigma(w)$ is a positive integer.
- [168] arXiv:2302.07638 (replaced) [pdf, html, other]
-
Title: The Hoffman-Wielandt inequality for quaternion matrices and quaternion matrix polynomialsComments: Theorem 3.1 has been revised for claritySubjects: Spectral Theory (math.SP)
The purpose of this paper is to derive the Hoffman-Wielandt inequality and its
generalization for quaternion matrices. Diagonalizability of the block companion matrix
of certain quadratic (linear) quaternion matrix polynomials is brought out. As a
consequence, we prove that if $Q(\lambda)$ is another quadratic (linear) quaternion
matrix polynomial, then under certain conditions on the coefficients, a generalization of the
Hoffman-Wielandt inequality for their corresponding block companion matrices holds. We also prove
that if $P(\lambda)$ is a quaternion matrix polynomial with unitary coefficients, then any right
eigenvalue $\lambda_0$ of $P(\lambda)$ lies in the annular region $\frac{1}{2} < |\lambda_0| < 2$. - [169] arXiv:2303.18233 (replaced) [pdf, html, other]
-
Title: Hypothesis testing on invariant subspaces of non-diagonalizable matrices with applications to network statisticsSubjects: Statistics Theory (math.ST); Econometrics (econ.EM); Machine Learning (stat.ML)
We generalise the inference procedure for eigenvectors of symmetrizable matrices of Tyler (1981) to that of invariant and singular subspaces of non-diagonalizable matrices. Wald tests for invariant vectors and $t$-tests for their individual coefficients perform well in simulations, despite the matrix being not symmetric. Using these results, it is now possible to perform inference on network statistics that depend on eigenvectors of non-symmetric adjacency matrices as they arise in empirical applications from directed networks. Further, we find that statisticians only need control over the first-order Davis-Kahan bound to control convergence rates of invariant subspace estimators to higher-orders. For general invariant subspaces, the minimal eigenvalue separation dominates the first-order bound potentially slowing convergence rates considerably. In an example, we find that accounting for uncertainty in network estimates changes empirical conclusions about the ranking of nodes' popularity.
- [170] arXiv:2305.06023 (replaced) [pdf, html, other]
-
Title: Structure algebras of finite set-theoretic solutions of the Yang--Baxter equationComments: This is a revised version, in which we settle the left Noetherianity problem for any finite left non-degenerate solution (see Theorem A). 34 pagesSubjects: Rings and Algebras (math.RA)
Quadratic algebras related to some classes of finite left non-degenerate solutions (X,r) of the Yang--Baxter equation have been intensively studied since they are the associative ring-theoretical tool to study solutions. These are the monoid algebras K[M(X,r)] and K[A(X,r)], over a field K, of its structure monoid M(X,r) and left derived structure monoid A(X,r). In case r is bijective (and thus also right non-degenerate) it is known that these algebras are representable (hence PI), left and right Noetherian and have finite Gelfand-Kirillov dimension. Moreover, such algebras are domains (or equivalently prime) if and only if they have finite global dimension, which also is equivalent to r being an involutive map. In this paper we deal with structure algebras of arbitrary finite left non-degenerate solutions (X,r), except for the last section. If (X,r) satisfies additional conditions, such as being bijective, idempotent or left derived, it has been shown in a series of papers that K[M(X,r)] is left Noetherian. In the first part of the paper we show that the algebra K[M(X,r)] always is left Noetherian. Via divisibility by generators, we construct an ideal chain in M(X,r) that has very strong algebraic structural properties on its Rees factors. This allows to obtain characterizations of when the algebras K[M(X,r)] and K[A(X,r)] are right Noetherian. Intricate relationships between ring-theoretical and homological properties of these algebras and properties of the solution (X,r) are proven. Furthermore, we describe the cancellative congruences of A(X,r) and M(X,r) as well as the prime spectrum of K[A(X,r)]. This then leads to an explicit formula for the Gelfand-Kirillov dimension of K[M(X,r)] and it equals the classical Krull dimension.
- [171] arXiv:2308.11353 (replaced) [pdf, other]
-
Title: Filtered complexes and cohomologically equivalent subcomplexesComments: 21 pagesSubjects: Differential Geometry (math.DG); Algebraic Topology (math.AT)
Inspired by Rumin's work on a subcomplex in sub-Riemannian manifolds which is cohomologically equivalent to the de Rham complex, we present a more general construction that produces subcomplexes from any filtered cochain complex of finite depth and still computes the cohomology of the original filtered complex. A priori these subcomplexes depend not only on the filtration itself, but also on the choice of additional structures. However, we show that the construction only depends on the given filtration up to isomorphism. Finally, we show how such subcomplexes relate to spectral sequences, a cohomological machinery that arises naturally when considering a filtered complex.
- [172] arXiv:2308.11908 (replaced) [pdf, other]
-
Title: Strong Characterization for the Airy Line EnsembleComments: 263 pages, 45 figures; Version 2: Incorporated referee comments, including reordering and splitting chapters of the paperSubjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
In this paper we show that a Brownian Gibbsian line ensemble whose top curve approximates a parabola must be given by the parabolic Airy line ensemble. More specifically, we prove that if $\boldsymbol{\mathcal{L}} = (\mathcal{L}_1, \mathcal{L}_2, \ldots )$ is a line ensemble satisfying the Brownian Gibbs property, such that for any $\varepsilon > 0$ there exists a constant $\mathfrak{K} (\varepsilon) > 0$ with $$\mathbb{P} \Big[ \big| \mathcal{L}_1 (t) + 2^{-1/2} t^2 \big| \le \varepsilon t^2 + \mathfrak{K} (\varepsilon) \Big] \ge 1 - \varepsilon, \qquad \text{for all $t \in \mathbb{R}$},$$ then $\boldsymbol{\mathcal{L}}$ is the parabolic Airy line ensemble, up to an independent affine shift. Specializing this result to the case when $\boldsymbol{\mathcal{L}} (t) + 2^{-1/2} t^2$ is translation-invariant confirms a prediction of Okounkov and Sheffield from 2006 and Corwin-Hammond from 2014.
- [173] arXiv:2308.13412 (replaced) [pdf, html, other]
-
Title: $\hbar$-Vertex algebras and chiralization of star productsComments: Exposition has been improved. The paper is now built on Huang's construction of the Zhu algebra. Minor mistakes in section 4 have been correctedSubjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Rings and Algebras (math.RA); Representation Theory (math.RT)
We develop the theory of $\hbar$-vertex algebras, algebraic structures closely related to vertex algebras but with a deformed translation covariance axiom. We establish their structure theory, including analogues of Goddard's Uniqueness Theorem, the Reconstruction Theorem, Borcherds Identity, and the OPE Expansion Formula, and introduce the associated notions of $\hbar$-Lie conformal and $\hbar$-Poisson vertex algebras. The formalism provides a natural and simplified construction of the Zhu algebra. The main application is to the chiralization of classical star-products: we show that every star-product on the symmetric algebra of a Lie algebra (or its central extensions) admits a chiralization, and we derive explicit formulae for these chiral star-products, including the Moyal-Weyl and Gutt star-products. Setting $\hbar=0$ recovers explicit deformation quantizations of a broad class of Poisson vertex algebras, including the classical limits of free-boson, $\beta \gamma$-system, affine, and Virasoro vertex algebras.
- [174] arXiv:2308.14096 (replaced) [pdf, html, other]
-
Title: Arrow algebrasComments: Revised version after comments by second refereeSubjects: Category Theory (math.CT); Logic (math.LO)
In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as well as various realizability toposes, in particular, those realizability toposes which are obtained from partial combinatory algebras. Since there are many examples of arrow algebras and arrow algebras have a number of closure properties, including a notion of subalgebra given by a nucleus, arrow algebras provide a flexible tool for constructing toposes; we illustrate this by providing some general tools for creating toposes for Kreisel's modified realizability.
- [175] arXiv:2310.07949 (replaced) [pdf, other]
-
Title: Global logarithmic deformation theoryComments: 347 pages, 16 figures; final version of the preprint (post-acceptance improvements not included); the monograph is now published as Springer LNM 2373Subjects: Algebraic Geometry (math.AG)
A classical problem in algebraic geometry is to construct smooth algebraic varieties with prescribed properties. In the approach via smoothings, one first constructs a degenerate scheme with the prescribed properties, and then shows the existence of a smooth variety degenerating to this scheme. Logarithmic geometry has given important new impulses to the second step of this approach, which we explore in this book. Degenerations, in particular in the context of mirror symmetry, often enjoy similar formal properties as smooth morphisms once considered from the logarithmic perspective. Logarithmic deformation theory has therefore become an effective tool for the construction of smoothings and the transfer of properties between smooth nearby fibers and the singular special fiber.
The strongest existence result for deformations in classical algebraic geometry is the Bogomolov--Tian--Todorov theorem for Calabi--Yau varieties. A logarithmic variant, once established, constructs log smooth deformations. However, the logarithmic Bogomolov--Tian--Todorov theorem has resisted efforts to its proof for a while. Finally, a method to prove it was discovered in 2019 by Chan, Leung, and Ma.
In this book, we explore this new approach to the logarithmic Bogomolov--Tian--Todorov theorem. We prove several variants of the abstract unobstructedness theorem, some of which are new and stronger than previously known results. We investigate its application to the global deformation theory of log smooth and mildly log singular spaces, obtaining unobstructedness results for log Calabi--Yau spaces, some log Fano spaces, and line bundles. Special care is taken to allow sufficiently mild log singularities, including all log singularities that appear in the Gross--Siebert construction of toric log Calabi--Yau mirror pairs. - [176] arXiv:2311.02491 (replaced) [pdf, html, other]
-
Title: Duistermaat-Heckman measures for Hamiltonian groupoid actionsComments: 16 pages. Updated with more examples; mistakes and typos fixedSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG)
Consider a source proper, source connected regular symplectic groupoid acting locally freely and effectively in a Hamiltonian way, and assume that the moment map is proper and has connected fibres. In this case there is an associated Duistermaat-Heckman measure on the quotient orbifold. We show that this measure is polynomial with respect to the natural affine measure.
- [177] arXiv:2312.00684 (replaced) [pdf, html, other]
-
Title: Heitmann dimension of distributive lattices and commutative ringsComments: A French translation follows the English version. arXiv admin note: substantial text overlap with arXiv:1712.01958Subjects: Commutative Algebra (math.AC)
This paper is the English translation of the first 4 sections of the article ``Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématiques de Besançon. Algèbre et théorie des nombres, 2006'', after some corrections.
Sections 5-7 of the original article are treated a bit more simply in the book ``Henri Lombardi and Claude Quitté. Commutative algebra: constructive methods. Finite projective modules. Springer, 2015.''
We study the notion of dimension introduced by Heitmann in his remarkable article ``Generating non-Noetherian modules efficiently, Mich. Math. J., 31, (1084)'' as well as a related notion, only implicit in his proofs. We first develop this within the general framework of the theory of distributive lattices and spectral spaces. -- Cet article est une version corrigée des 4 premières sections de l'article ``Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématiques de Besançon. Algèbre et théorie des nombres, 2006''
Les sections 5 à 7 de l'article original sont traitées de manière un peu plus simple dans ``Henri Lombardi and Claude Quitté. Commutative algebra: constructive methods. Finite projective modules. Springer, 2015.''
Nous étudions la notion de dimension introduite par Heitmann dans son article remarquable ``Generating non-Noetherian modules efficiently, Mich. Math. J., 31, (1084)'', ainsi qu'une notion voisine, seulement implicite dans ses démonstrations. Nous développons ceci d'abord dans le cadre général de la théorie des treillis distributifs et des espaces spectraux. Nous appliquons ensuite cette problématique dans le cadre de l'algèbre commutative. - [178] arXiv:2312.13388 (replaced) [pdf, html, other]
-
Title: Multi-period Stochastic Network Design for Combined Natural Gas and Hydrogen DistributionSubjects: Optimization and Control (math.OC)
Hydrogen is produced from water using renewable electricity. Unlike electricity, hydrogen can be stored in large quantities for long periods. This storage ability acts as a green battery, allowing solar and wind energy to be generated and used at different times. As a result, green hydrogen plays a central role in facilitating a climate-neutral economy. However, the logistics for hydrogen are complex. As new pipelines are developed for hydrogen, there is a trend toward repurposing the natural gas network for hydrogen, due to its economic and environmental benefits. Yet, a rapid conversion could disrupt the balance of natural gas supply and demand. Furthermore, technical and economic developments surrounding the transition contribute additional complexity, which introduces uncertainty in future supply and demand levels for both commodities. To address these challenges, we introduce a multi-period stochastic network design problem for the transition of a natural gas pipeline network into a green hydrogen pipeline network. We develop a progressive-hedging-based metaheuristic to solve the problem. Results demonstrate our matheuristic is efficient, both in computation time and in solution quality. We show that factoring in uncertainty avoids premature expansion and ensures the development of an adequate pipeline network meeting long-term needs. In a case study in the Northern Netherlands for Hydrogen Energy Applications in Valley Environments for Northern Netherlands initiative, we focus on two key scenarios: local production and importation, exploring their impacts on performance indicators. Our case insights exemplify the solid foundation for strategic decision-making in energy transitions through our approach.
- [179] arXiv:2401.03758 (replaced) [pdf, html, other]
-
Title: Berry phases and connection matrices defined on homogeneous spaces attached to Siegel-Jacobi groupsComments: 49 pages, Latex, amsart, AMS fonts. The content of the paper is the same as that of paper arXiv:2401.03758v2, except for 9 minor changes in some formulas at pages 16, 17Subjects: Differential Geometry (math.DG)
The relation between the Berry phase and connection matrix on the Siegel-Jacobi disk $\mathcal{D}^J_1$ and Siegel-Jacobi upper half-plane$\mathcal{X}^J_1$ are analyzed. The connection matrix and the covariant derivative of one-forms on the extended Siegel-Jacobi upper half-plane $\tilde{\mathcal{X}}^J_1$ are calculated.
- [180] arXiv:2401.13577 (replaced) [pdf, html, other]
-
Title: Three-Torsion Subgroups and Wild Conductor Exponents of Plane QuarticsComments: Major changes: change of title, re-organised structure and added implementation. Comments are welcome! v4: Version appearing in Research in Number TheoryJournal-ref: Research in Number Theory Volume 11, Article 92 (2025)Subjects: Number Theory (math.NT)
In this paper we give an algorithm to find the 3-torsion subgroup of the Jacobian of a smooth plane quartic curve with a marked rational point. We describe $3-$torsion points in terms of cubics which triply intersect the curve, and use this to define a system of equations whose solution set corresponds to the coefficients of these cubics. We compute the points of this zero-dimensional, degree $728$ scheme first by approximation, using homotopy continuation and Newton-Raphson, and then using continued fractions to obtain accurate expressions for these points. We describe how the Galois structure of the field of definition of the $3$-torsion subgroup can be used to compute local wild conductor exponents, including at $p=2$.
- [181] arXiv:2401.15567 (replaced) [pdf, html, other]
-
Title: Positive Semidefinite Matrix SupermartingalesComments: EJPSubjects: Probability (math.PR); Functional Analysis (math.FA); Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
We explore the asymptotic convergence and nonasymptotic maximal inequalities of supermartingales and backward submartingales in the space of positive semidefinite matrices. These are natural matrix analogs of scalar nonnegative supermartingales and backward nonnegative submartingales, whose convergence and maximal inequalities are the theoretical foundations for a wide and ever-growing body of results in statistics, econometrics, and theoretical computer science.
Our results lead to new concentration inequalities for either martingale dependent or exchangeable random symmetric matrices under a variety of tail conditions, encompassing now-standard Chernoff bounds to self-normalized heavy-tailed settings. Further, these inequalities are usually expressed in the Loewner order, are sometimes valid simultaneously for all sample sizes or at an arbitrary data-dependent stopping time, and can often be tightened via an external randomization factor. - [182] arXiv:2402.03015 (replaced) [pdf, html, other]
-
Title: On open-separating dominating codes in graphsJournal-ref: Discrete Applied Mathematics, Volume 375, 15 November 2025, Pages 215-238Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Using dominating sets to separate vertices of graphs is a well-studied problem in the larger domain of identification problems. In such problems, the objective is to choose a suitable dominating set $C$ of a graph $G$ which is also separating in the sense that the neighbourhoods of any two distinct vertices of $G$ have distinct intersections with $C$. Such a dominating and separating set $C$ of a graph is often referred to as a code in the literature. Depending on the types of dominating and separating sets used, various problems arise under various names in the literature. In this paper, we introduce a new problem in the same realm of identification problems whereby the code, called open-separating dominating code, or OD-code for short, is a dominating set and uses open neighbourhoods for separating vertices. The paper studies the fundamental properties concerning the existence, hardness and minimality of OD-codes. Due to the emergence of a close and yet difficult to establish relation of the OD-code with another well-studied code in the literature called open (neighborhood)-locating dominating code (referred to as the open-separating total-dominating code and abbreviated as OTD-code in this paper), we compare the two codes on various graph families. Finally, we also provide an equivalent reformulation of the problem of finding OD-codes of a graph as a covering problem in a suitable hypergraph and discuss the polyhedra associated with OD-codes, again in relation to OTD-codes of some graph families already studied in this context.
- [183] arXiv:2402.03178 (replaced) [pdf, other]
-
Title: Bounds of restriction of characters to submanifoldsComments: Referees' comments incorporated, final version to appear in Mathematische ZeitschriftSubjects: Representation Theory (math.RT); Spectral Theory (math.SP)
A fruitful approach to studying the concentration of Laplace--Beltrami eigenfunctions on a compact manifold, as the eigenvalue tends to infinity, is to bound their restriction to submanifolds. In this paper, we adopt this approach in the setting of compact Lie groups and provide sharp restriction bounds for general Laplace--Beltrami eigenfunctions, as well as for important special cases such as sums of matrix coefficients and, in particular, characters of irreducible representations. We prove sharp asymptotic $L^p$ bounds for the restriction of general Laplace--Beltrami eigenfunctions to maximal flats and all of their submanifolds, for all $p \geq 2$. Furthermore, we establish sharp asymptotic $L^p$ bounds for the restriction of characters to maximal tori and all of their submanifolds for all $p>0$, and to torus-generated conjugation-invariant submanifolds for all $p \geq 2$. We also obtain sharp $L^p$ bounds for the restriction of general sums of matrix coefficients to maximal flats and all of their submanifolds, for all $p \geq 2$.
- [184] arXiv:2403.04223 (replaced) [pdf, html, other]
-
Title: Spectrum of the Laplacian and the Jacobi operator on Generalized rotational minimal hypersurfaces of spheresComments: Accepted for publication in the Journal of Geometric Analysis. This version includes all corrections and clarifications recommended by the referee during the review processSubjects: Differential Geometry (math.DG); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
Let $M\subset S^{n+1}$ be the hypersurface generated by rotating a hypersurface $M_0$ contained in the interior of the unit ball of $\mathbb{R}^{n-k+1}$. More precisely, $M=\{(\sqrt{1-|m|^2}\, y, m):y\in S^k, m\in M_0\}$. We derive the equation for the mean curvature of $M$ in terms of the principal curvatures of $M_0$. For the particular case when $M_0$ is a surface of revolution in $\mathbb{R}^3$, we provide a method for finding the eigenvalues of the Laplace and stability operators. To illustrate this method, we consider an example of a minimal embedded hypersurface in $S^6$ and numerically compute all the eigenvalues of the Laplace operator less than 12, as well as all non-positive eigenvalues of the stability operators. For this example, we show that the stability index (the number of negative eigenvalues of the stability operator, counted with multiplicity) is 77, and the nullity (the multiplicity of the eigenvalue $\lambda=0$ of the stability operator) is 14. Similar results are found in the case where $M_0$ is a hypersurface in $\mathbb{R}^{l+2}$ of the form $(f_2(u)z, f_1(u))$, with $z$ in the $l$-dimensional unit sphere $S^l$. Carlotto and Schulz have found examples of embedded minimal hypersurfaces in the case where $M_0=S^k\times S^1$.
- [185] arXiv:2403.04610 (replaced) [pdf, html, other]
-
Title: WondertopesComments: 33 pages, 10 figures; comments welcome! v2: to appear in AiMSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
Positive geometries were introduced by Arkani-Hamed--Bai--Lam as a method of computing scattering amplitudes in theoretical physics. We show that a positive geometry from a polytope admits a log resolution of singularities to another positive geometry. Our result states that the regions in a wonderful compactification of a hyperplane arrangement complement, which we call wondertopes, are positive geometries. A familiar wondertope is the curvy associahedron, which tiles the moduli space of pointed stable rational curves. Thus our work generalizes the known positive geometry structure on this moduli space.
- [186] arXiv:2403.13172 (replaced) [pdf, html, other]
-
Title: Identifying codes in graphs of given maximum degree: Characterizing treesJournal-ref: Discrete Mathematics, Volume 349, Issue 2, February 2026, 114826Subjects: Combinatorics (math.CO)
An identifying code of a closed-twin-free graph $G$ is a dominating set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhoods and $S$. It was conjectured that there exists an absolute constant $c$ such that for every connected graph $G$ of order $n$ and maximum degree $\Delta$, the graph $G$ admits an identifying code of size at most $( \frac{\Delta-1}{\Delta} )n +c$. We provide significant support for this conjecture by exactly characterizing every tree requiring a positive constant $c$ together with the exact value of the constant. Hence, proving the conjecture for trees. For $\Delta=2$ (the graph is a path or a cycle), it is long known that $c=3/2$ suffices. For trees, for each $\Delta\ge 3$, we show that $c=1/\Delta\le 1/3$ suffices and that $c$ is required to have a positive value only for a finite number of trees. In particular, for $\Delta = 3$, there are 12 trees with a positive constant $c$ and, for each $\Delta \ge 4$, the only tree with positive constant $c$ is the $\Delta$-star. Our proof is based on induction and utilizes recent results from [F. Foucaud, T. Lehtilä. Revisiting and improving upper bounds for identifying codes. SIAM Journal on Discrete Mathematics, 2022]. We remark that there are infinitely many trees for which the bound is tight when $\Delta=3$; for every $\Delta\ge 4$, we construct an infinite family of trees of order $n$ with identification number very close to the bound, namely $\left( \frac{\Delta-1+\frac{1}{\Delta-2}}{\Delta+\frac{2}{\Delta-2}} \right) n > (\frac{\Delta-1}{\Delta} ) n -\frac{n}{\Delta^2}$. Furthermore, we also give a new tight upper bound for identification number on trees by showing that the sum of the domination and identification numbers of any tree $T$ is at most its number of vertices.
- [187] arXiv:2403.19771 (replaced) [pdf, html, other]
-
Title: On a conjecture of Pappas and RapoportComments: Minor changes. In particular, proofs to some functoriality results in Section 4.1 have been corrected. 52 pages, comments welcome!Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We prove a conjecture of Pappas and Rapoport about the existence of ''canonical'' integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime $p$. For these integral models, we moreover show uniformization of isogeny classes by integral local Shimura varieties, and prove a conjecture of Kisin and Pappas on local model diagrams.
- [188] arXiv:2404.15026 (replaced) [pdf, other]
-
Title: (Non-)Vanishing of high-dimensional group cohomologyComments: 18 pages, 5 figures; contribution to the proceedings of the conference Model theory and groups 2023; v2: updated references and corrected typos; v3: revision after referee report; v4: corrected a mistake in Figure 1Subjects: Group Theory (math.GR); Algebraic Topology (math.AT); Number Theory (math.NT)
Church-Farb-Putman formulated stability and vanishing conjectures for the high-dimensional cohomology of $\operatorname{SL}_n(\mathbb{Z})$, surface mapping class groups and automorphism groups of free groups. This is a survey on the current status of these conjectures and their generalisations.
- [189] arXiv:2404.19496 (replaced) [pdf, other]
-
Title: Online and Offline Robust Multivariate Linear RegressionAntoine Godichon-Baggioni (LPSM (UMR\_8001)), Stephane S. Robin (LPSM (UMR\_8001)), Laure Sansonnet (MIA Paris-Saclay, LPSM (UMR\_8001))Subjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
We consider the robust estimation of the parameters of multivariate Gaussian linear regression models. To this aim we consider robust version of the usual (Mahalanobis) least-square criterion, with or without Ridge regularization. We introduce two methods each considered contrast: (i) online stochastic gradient descent algorithms and their averaged versions and (ii) offline fix-point algorithms. Under weak assumptions, we prove the asymptotic normality of the resulting estimates. Because the variance matrix of the noise is usually unknown, we propose to plug a robust estimate of it in the Mahalanobis-based stochastic gradient descent algorithms. We show, on synthetic data, the dramatic gain in terms of robustness of the proposed estimates as compared to the classical least-square ones. Well also show the computational efficiency of the online versions of the proposed algorithms. All the proposed algorithms are implemented in the R package RobRegression available on CRAN.
- [190] arXiv:2405.00866 (replaced) [pdf, html, other]
-
Title: IR-fixed Euclidean vacuum for linearized gravity on de Sitter spaceComments: v2: substantial revision, section 6 corrected and simplified, appendix C addedSubjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th)
We consider the Euclidean vacuum for linearized gravity on the global de Sitter space, obtained from the Euclidean Green's function on the 4-sphere. We use the notion of Calderón projectors to recover a quantum state for the Lorentzian theory on de Sitter space. We show that while the state is gauge invariant and Hadamard, it is not positive on the whole of the phase space. We show however that a suitable modification at low energies yields a well-defined Hadamard state on global de Sitter space.
- [191] arXiv:2405.04347 (replaced) [pdf, other]
-
Title: Development of discontinuous Galerkin methods for hyperbolic systems that preserve a curl or a divergence constraint: the case of linear systemsVincent Perrier (CAGIRE, LMAP)Subjects: Numerical Analysis (math.NA)
Some hyperbolic systems are known to include implicit preservation of differential constraints: these are for example the time conservation of the curl or the divergence of a vector that appear as an implicit constraint. In this article, we show that this kind of constraint can be easily conserved at the discrete level with the classical discontinuous Galerkin method, provided the right approximation space is used for the vectorial space, and under some mild assumption on the numerical flux. For this, we recall a discrete de-Rham framework in which discontinuous approximation spaces for vectors fits. The discrete adjoint divergence and curl are proven to be exactly preserved by the discontinuous Galerkin method under a small assumption on the numerical flux. Numerical tests are performed on the wave system, the two dimensional Maxwell system and the induction equation, and confirm that the differential constraints are preserved at machine precision while keeping the high order of accuracy.
- [192] arXiv:2405.13743 (replaced) [pdf, html, other]
-
Title: Cyclic Cubic Points on Higher Genus CurvesComments: Comments welcome (14 pages). Version appearing in the Journal of the London Mathematical Society. Added a section to address deficiencies in Abramovich--Harris 1991, and re-structured the section on integral points to incorporate Levin 2016Journal-ref: Journal of the London Mathematical Society, Volume 112, Issue 3 (2025)Subjects: Number Theory (math.NT)
The distribution of degree $d$ points on curves is well understood, especially for low degrees. We refine this study to include information on the Galois group in the simplest interesting case: $d = 3$. For curves of genus at least 5, we show cubic points with Galois group $C_3$ arise from well-structured morphisms, along with providing computable tests for the existence of such morphisms. We prove the same for curves of lower genus under some geometric or arithmetic assumptions.
- [193] arXiv:2405.18157 (replaced) [pdf, html, other]
-
Title: Some ergodic theorems over squarefree numbers and squarefull numbersComments: 21 pages. Accepted by Acta Arithmetica. The preprint arXiv:2406.15698 has been merged into this paperSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
In 2022, Bergelson and Richter gave a new dynamical generalization of the prime number theorem by establishing an ergodic theorem along the number of prime factors of integers. They also showed that this generalization holds as well if the integers are restricted to be squarefree. In this paper, we present the concept of invariant averages under multiplications for arithmetic functions. Utilizing the properties of these invariant averages, we derive several ergodic theorems over squarefree numbers and squarefull numbers. These theorems have significant connections to the Erdős-Kac Theorem, the Bergelson-Richter Theorem, and the Loyd Theorem.
- [194] arXiv:2406.06970 (replaced) [pdf, html, other]
-
Title: Reality determining subgraphs and strongly real modulesComments: This is the version which was accepted for publication by J. Alg. and contains corrections and additions suggested by the referee as well as a corrected link to one of the referencesSubjects: Representation Theory (math.RT); Combinatorics (math.CO); Quantum Algebra (math.QA)
The concept of pseudo q-factorization graphs was recently introduced by the last two authors as a combinatorial language which is suited for capturing certain properties of Drinfeld polynomials. Using certain known representation theoretic facts about tensor products of Kirillov Reshetikhin modules and qcharacters, combined with special topological/combinatorial properties of the underlying q-factorization graphs, the last two authors showed that, for algebras of type A, modules associated to totally ordered graphs are prime, while those associated to trees are real. In this paper, we extend the latter result. We introduce the notions of strongly real modules and that of trees of modules satisfying certain properties. In particular, we can consider snake trees, i.e., trees formed from snake modules. Among other results, we show that a certain class of such generalized trees, which properly contains the snake trees, give rise to strongly real modules.
- [195] arXiv:2406.15698 (replaced) [pdf, other]
-
Title: Some ergodic theorems over $k$-full numbersComments: This preprint has been merged into the preprint at arXiv:2405.18157Subjects: Number Theory (math.NT); Dynamical Systems (math.DS)
In 2022, Bergelson and Richter established a new dynamical generalization of the prime number theorem. Later, Loyd showed a disjoint form with the Erdős-Kac theorem. Recently, the author and his coauthors proved some ergodic theorems over squarefree numbers related to these results. In this paper, building on the previous work, we will derive the analogues of Bergelson-Richter's theorem, Erdős-Kac theorem and Loyd's theorem over $k$-full numbers for any integer $k\geq2$.
- [196] arXiv:2407.00580 (replaced) [pdf, html, other]
-
Title: On the modulus of meromorphic solutions of a first order differential equationComments: 32 pagesSubjects: Complex Variables (math.CV)
Let $h(z)=S(z)e^{P(z)}$, where $P(z)=z^{n}+a_{n-2}z^{n-2}+\cdots+a_0$ is a polynomial of degree $n\geq 1$ and $S(z)$ is a nonzero rational function. Let $\theta\in(0,\pi/2n)$ be a constant. It is shown that if $f(z)$ is a meromorphic solution of the first order differential equation $f'(z)=h(z)f(z)+1$, then, for any small constant $\varepsilon>0$, there is a union $\Psi=\cup_{k=1}^{\infty}\Phi_k$, where $\Phi_k=\Phi([\bar{x}_{k-1},\bar{x}_k])$ along the ray $\Phi:[x_0,\infty)\to \mathbb{C}$, $\Phi(x)=x+iy$ and $y=x\tan\theta$, such that for all $z\in \Psi$, \begin{equation}\tag† |f(z)|\geq (1-\varepsilon)\left(\frac{\sqrt[n]{\sin n\theta}}{n\cos\theta}\right)x\exp\left(e^{(1-\varepsilon)\frac{\cos n\theta}{\cos^n\theta}x^n}\sin\varepsilon\right). \end{equation} In the simplest case $h(z)=e^{z}$, we also give a lower bound for $|f(z)|$ on the rest of the ray $\Phi$. The estimate in $(†)$ together with the Wiman--Valiron theory implies that the hyper-order $\varsigma(f)$ of $f(z)$ is equal to $n$, providing partial answers to Brück's conjecture in uniqueness theory of meromorphic functions and also a problem on a second order algebraic differential equation of Hayman.
- [197] arXiv:2407.00819 (replaced) [pdf, html, other]
-
Title: On the monogenity of pure number fields: application to the existence of canonical number systemsSubjects: Number Theory (math.NT)
Let $m$ be a rational integer with $m \neq 0, \pm 1$, and consider the pure number field $K = \mathbb{Q}(\sqrt[n]{m})$ with $n \ge 3$. Most papers discussing the monogenity of pure number fields focus exclusively on the case where $m$ is square-free. For every integer $n \ge 4$, the monogenity of number fields of degree $n$ is not completely characterized. For example, the monogenity of the pure quartic field $\mathbb{Q}(\sqrt[4]{m})$ is not yet fully described, even when $m$ is square-free (see the recent 2024 paper \cite{Nyul} by Arnóczki and Nyul). In this paper, based on a classical theorem of Ore concerning prime ideal decomposition in number fields \cite{MN92, O}, we study the monogenity of $K$ without assuming $m$ to be square-free. As an application, we present several examples related to canonical number systems (CNS). In particular, we observe that our results extend some of those presented in \cite{BFC, BF, HNHCNS}.
- [198] arXiv:2407.01498 (replaced) [pdf, html, other]
-
Title: On the Capacity of Vector Linear Computation over a Noiseless Quantum Multiple Access Channel with Entangled TransmittersSubjects: Information Theory (cs.IT)
Network function computation is an active topic in network coding, with much recent progress for linear (over a finite field) computations over broadcast (LCBC) and multiple access (LCMAC) channels. Over a quantum multiple access channel (QMAC) with quantum-entanglement shared among transmitters, the linear computation problem (LC-QMAC) is non-trivial even when the channel is noiseless, because of the challenge of optimally exploiting transmit-side entanglement through distributed coding. Given an arbitrary linear function of data streams defined in a finite field $\mathbb{F}_d$, the LC-QMAC problem seeks the optimal communication cost (minimum number of qudits that need to be sent by the transmitters to the receiver, per computation instance) over a noise-free QMAC, when the independent input data streams originate at the corresponding transmitters, who share quantum entanglement in advance. As our main result, we fully solve this problem for $K=3$ transmitters ($K\geq 4$ settings remain open). Coding schemes based on the $N$-sum box protocol (along with time-sharing and batch-processing) are shown to be information theoretically optimal in all cases.
- [199] arXiv:2407.06575 (replaced) [pdf, html, other]
-
Title: Ricci-DeTurck Flow from Initial Metric with Morrey-type Integrability ConditionComments: 23 pages; abstract updated; references updated and revised according to reviewer comments. To appear, Pacific Journal of MathematicsSubjects: Differential Geometry (math.DG)
In this work, we study the short-time existence theory of Ricci-DeTurck flow starting from rough metrics which satisfy a Morrey-type integrability condition. Using the rough existence theory, we show the preservation and improvement of distributional scalar curvature lower bounds provided the singular set for such metrics is not too large. As an application, we use the Ricci flow smoothing to study the removable singularity for scalar curvature rigidity in the compact case under Morrey regularity conditions. Our result supplements those of Jiang-Sheng-Zhang.
- [200] arXiv:2407.12048 (replaced) [pdf, html, other]
-
Title: On the arithmetic and algebraic properties of Minkowski balls and spheresComments: 34 pages, Added sections on algebraic dynamics, on activity measures and on elements of history of matroids. Several typos fixedSubjects: Number Theory (math.NT)
This paper gives a brief overview of some new work in number theory
and algebra, and also studies the arithmetic and algebraic properties of Minkowski balls and spheres. The content of the paper is presented in more detail in the table of Contents and in the Introduction. - [201] arXiv:2407.16603 (replaced) [pdf, html, other]
-
Title: Stability of quaternion matrix polynomialsComments: Section 2.2 has been rewritten for claritySubjects: Spectral Theory (math.SP)
A right quaternion matrix polynomial is an expression of the form $P(\lambda)= \displaystyle \sum_{i=0}^{m}A_i \lambda^i$, where $A_i$'s are $n \times n$ quaternion matrices with $A_m \neq 0$. The aim of this manuscript is to determine the location of right eigenvalues of $P(\lambda)$ relative to certain subsets of the set of quaternions. In particular, we extend the notion of (hyper)stability of complex matrix polynomials to quaternion matrix polynomials and obtain location of right eigenvalues of $P(\lambda)$ using the following methods: $(1)$ we give a relation between (hyper)stability of a quaternion matrix polynomial and its complex adjoint matrix polynomial, $(2)$ we prove that $P(\lambda)$ is stable with respect to an open (closed) ball in the set of quaternions, centered at a complex number if and only if it is stable with respect to its intersection with the set of complex numbers and $(3)$ as a consequence of $(1)$ and $(2)$, we prove that right eigenvalues of $P(\lambda)$ lie between two concentric balls of specific radii in the set of quaternions centered at the origin. A generalization of the Enestr{ö}m-Kakeya theorem to quaternion matrix polynomials is obtained as an application. We identify classes of quaternion matrix polynomials for which stability and hyperstability are equivalent. We finally deduce hyperstability of certain univariate quaternion matrix polynomials via stability of certain multivariate quaternion matrix polynomials.
- [202] arXiv:2408.01015 (replaced) [pdf, other]
-
Title: On a generalisation sum involving the Euler functionComments: During subsequent research, it has been identified that there is a logical flaw in Lemma 2.6 of this paper. Specifically, this flaw has led to errors in the derivation process of the theorem, which may render the conclusion invalidSubjects: Number Theory (math.NT)
Let $j \ge1$, $k\ge 0$ be real numbers and $\varphi(n)$ be the Euler function. In this paper, we study the asymptotical behaviour of the summation function $$S_{j,k}(x):=\sum_{n\le x}\frac{\varphi\left ( \left [ \frac{x}{n} \right ]^{j} \right ) }{\left [ \frac{x}{n} \right ]^{k} } $$ as $x\to \infty $, where $\left [ \cdot \right ] $ is the integral part function. Our results combine and generalize the recent work of Zhai, Wu and Ma.
- [203] arXiv:2408.05313 (replaced) [pdf, html, other]
-
Title: Discrete-time treatment numberN.E. Clarke (Acadia Univ.), K.L. Collins (Wesleyan Univ.), M.E. Messinger (Mt. Allison Univ.), A.N. Trenk (Wellesley Coll.), A. Vetta (McGill Univ.)Comments: 18 pages, 6 figures, 2 tables. Changed names of parameter and vertex states; improved abstract; updated references; added comparison to one-proximity number; added new applications; added open question; theorems and proofs unchangedSubjects: Combinatorics (math.CO); Physics and Society (physics.soc-ph)
We introduce the discrete-time treatment number of a graph, in which each vertex is in exactly one of three states at any given time-step: compromised, vulnerable, or treated. Our treatment number is distinct from other graph searching parameters that use only two states, such as the firefighter problem or Bernshteyn and Lee's inspection number. Vertices represent individuals and edges exist between individuals with close connections. Each vertex starts out as compromised; it can become compromised again even after treatment. Our objective is to treat the entire population so that at the last time-step, no members are vulnerable or compromised, while minimizing the maximum number of treatments that occur at each time-step. This minimum is the treatment number, and it depends on the choice of a pre-determined length of time $r$ that a vertex can remain in a treated state and length of time $s$ that a vertex can remain in a vulnerable state without being treated again.
We denote the pathwidth of graph $H$ by $pw(H)$ and prove that the treatment number of $H$ is bounded above by $\lceil \frac{1+pw(H)}{r+s}\rceil$. This equals the best possible lower bound for a cautious treatment plan, defined as one in which each vertex, after being treated for the first time, is treated again within every consecutive $r+s$ time-steps until its last treatment. However, many graphs admit a plan that is not cautious. When $r=s=1$, we find a useful tool for proving lower bounds, show that the treatment number of an $n\times n$ grid equals $\lceil\frac{1+n}{2}\rceil$, characterize graphs that require only one treatment per time-step, and prove that subdividing one edge can reduce the treatment number. It is known that there are trees with arbitrarily large pathwidth; surprisingly, we prove that for any tree $T$, there is a subdivision of $T$ that requires at most two treatments per time-step. - [204] arXiv:2408.17173 (replaced) [pdf, html, other]
-
Title: Existence and approximate controllability results for time-fractional stochastic Navier-Stokes equationsSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
This paper deals with time-fractional stochastic Navier-Stokes equations, which are characterized by the coexistence of stochastic noise and a fractional power of the Laplacian. We establish sufficient conditions for the existence and approximate controllability of a unique mild solution to time-fractional stochastic Navier-Stokes equations. Using a fixed point technique, we first demonstrate the existence and uniqueness of a mild solution to the equation under consideration. We then establish approximate controllability results by using the concepts of fractional calculus, semigroup theory, functional analysis and stochastic analysis.
- [205] arXiv:2409.08220 (replaced) [pdf, other]
-
Title: Steady Ring-Shaped Vortex SheetsComments: To appear in the Journal of the European Mathematical SocietySubjects: Analysis of PDEs (math.AP)
In this work, we construct traveling wave solutions to the two-phase Euler equations, featuring a vortex sheet at the interface between the two phases. The inner phase exhibits a uniform vorticity distribution and may represent a vacuum, forming what is known as a hollow vortex. These traveling waves take the form of ring-shaped vortices with a small cross-sectional radius, referred to as thin rings. Our construction is based on the implicit function theorem, which also guarantees local uniqueness of the solutions. Additionally, we derive asymptotics for the speed of the ring, generalizing the well-known Kelvin--Hicks formula to cases that include surface tension.
- [206] arXiv:2410.17091 (replaced) [pdf, html, other]
-
Title: Randomized methods for dynamical low-rank approximationComments: In version 3, minor modifications have been made to the text and typos were correctedSubjects: Numerical Analysis (math.NA)
We introduce novel dynamical low-rank methods for solving large-scale matrix differential equations, motivated by algorithms from randomized numerical linear algebra. In terms of performance (cost and accuracy), our methods overperform existing dynamical low-rank techniques. Several applications to stiff differential equations demonstrate the robustness, accuracy and low variance of the new methods, despite their inherent randomness. Allowing augmentation of the range and corange, the new methods have a good potential for preserving critical physical quantities such as the energy, mass and momentum. Numerical experiments on the Vlasov-Poisson equation are particularly encouraging.
The new methods comprise two essential steps: a range estimation step followed by a post-processing step. The range estimation is achieved through a novel dynamical rangefinder method. Subsequently, we propose two methods for post-processing, leading to two time-stepping methods: dynamical randomized singular value decomposition (DRSVD) and dynamical generalized Nyström (DGN). The new methods naturally extend to the rank-adaptive framework by estimating the error via Gaussian sampling. - [207] arXiv:2410.19703 (replaced) [pdf, html, other]
-
Title: Pesin theory for transcendental maps and applicationsSubjects: Dynamical Systems (math.DS)
In this paper, we develop Pesin theory for the boundary map of some Fatou components of transcendental functions, under certain hyptothesis on the singular values and the Lyapunov exponent. That is, we prove that generic inverse branches for such maps are well-defined and conformal. In particular, we study in depth the Lyapunov exponents with respect to harmonic measure, providing results which are of independent interest. As an application of our results, we describe in detail generic inverse branches for centered inner functions, and we prove density of periodic boundary points for a large class of Fatou components. Our proofs use techniques from measure theory, ergodic theory, conformal analysis, and inner functions, as well as estimates on harmonic measure.
- [208] arXiv:2411.02593 (replaced) [pdf, html, other]
-
Title: Noncommutative geometry on the Berkovich projective lineSubjects: Functional Analysis (math.FA); Number Theory (math.NT); Operator Algebras (math.OA); Quantum Algebra (math.QA)
We construct several $C^*$-algebras and spectral triples associated to the Berkovich projective line $\mathbb{P}^1_{\mathrm{Berk}}({\mathbb{C}_p})$. In the commutative setting, we construct a spectral triple as a direct limit over finite $\mathbb{R}$-trees. More general $C^*$-algebras generated by partial isometries are also presented. We use their representations to associate a Perron-Frobenius operator and a family of projection valued measures. Finally, we show that invariant measures, such as the Patterson-Sullivan measure, can be obtained as KMS-states of the crossed product algebra with a Schottky subgroup of $\mathrm{PGL}_2(\mathbb{C}_p)$.
- [209] arXiv:2411.13538 (replaced) [pdf, html, other]
-
Title: An Isometric Representation for the Lipschitz-Free Space of Length Spaces Embedded in Finite-Dimensional SpacesComments: Revised versionSubjects: Functional Analysis (math.FA)
For a domain $\Omega$ in a finite-dimensional space $E$, we consider the space $M=(\Omega,d)$ where $d$ is the intrinsic distance in $\Omega$. We obtain an isometric representation of the space $\mathrm{Lip}_{0}(M)$ as a subspace of $L^{\infty}(\Omega;E^{*})$ and we use this representation in order to obtain the corresponding isometric representation for the Lipschitz-free space $\mathcal{F}(M)$ as a quotient of the space $L^{1}(\Omega;E)$. We compare our result with those existent in the literature for bounded domains with Lipschitz boundary, and for convex domains, which can be then deduced as a corollaries of our result.
- [210] arXiv:2411.19413 (replaced) [pdf, html, other]
-
Title: $S_h$-sets and linear codes over $\mathbb{F}_q$Comments: 17 pages, 2 figures. In this version some mistakes are correctedSubjects: Number Theory (math.NT)
Let $(G,+)$ be an Abelian group. Given $h\in \mathbb{Z}^+$, a non-empty subset $A$ of $G$ is called an $S_h$-set if all the sums of $h$ distinct elements of $A$ are different. We extend the concept of $S_h$-set to a more general context in the context of finite vectorial spaces over finite fields. More precisely, a $\emptyset \neq A\subseteq \mathbb{F}_q^r$ is called an $S_h$-linear set if all the linear combinations of $h$ elements of $A$ are different. We establish a correspondence between $q$-ary linear codes and $S_h$-linear sets. This connection allow us to find lower bounds for the maximum size of $S_h$-sets in $\mathbb{F}_q^r$.
- [211] arXiv:2412.03234 (replaced) [pdf, html, other]
-
Title: $\mathrm{PGL}_n(\mathbb{C})$-character stacks and Langlands duality over finite fieldsComments: v4. Improved the exposition. v3 We generalized the results of the old version from $n=2$ to any $n$. All comments and questions are welcome!Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
In this paper we study the mixed Poincaré polynomial of generic $\mathrm{PGL}_n(\mathbb{C})$-character stacks with coefficients in some local systems arising from the conjugacy classes of $\mathrm{PGL}_n(\mathbb{C})$ which have non-connected stabiliser. We give a conjectural formula that we prove to be true under the Euler specialisation. We then prove that this conjectured formula interpolates the structure coefficients of the two based rings$ \left(\mathcal{C}(\mathrm{PGL}_n(\mathbb{F}_q)),Loc(\mathrm{PGL}_n),*\right)$ and $\left(\mathcal{C}(\mathrm{SL}_n(\mathbb{F}_q)), CS(\mathrm{SL}_n),\cdot\right) $ where for a group $H$, $\mathcal{C}(H)$ denotes the space of complex valued class functions on $H$, $Loc(\mathrm{PGL}_n)$ denotes the basis of characteristic functions of intermediate extensions of equivariant local systems on conjugacy classes of $\mathrm{PGL}_n$ and $CS(\mathrm{SL}_n)$ the basis of characteristic functions of Lusztig's character-sheaves on $\mathrm{SL}_n$. Our result reminds us of a non-abelian Fourier transform.
- [212] arXiv:2412.05409 (replaced) [pdf, html, other]
-
Title: Multilinear analysis of quaternion arrays: theory and computationComments: 27 pages, 1 figureSubjects: Numerical Analysis (math.NA); Signal Processing (eess.SP)
Multidimensional quaternion arrays (often referred to as "quaternion tensors") and their decompositions have recently gained increasing attention in various fields such as color and polarimetric imaging or video processing. Despite this growing interest, the theoretical development of quaternion tensors remains limited. This paper introduces a novel multilinear framework for quaternion arrays, which extends the classical tensor analysis to multidimensional quaternion data in a rigorous manner. Specifically, we propose a new definition of quaternion tensors as $\mathbb{H}\mathbb{R}$-multilinear forms, addressing the challenges posed by the non-commutativity of quaternion multiplication. Within this framework, we establish the Tucker decomposition for quaternion tensors and develop a quaternion Canonical Polyadic Decomposition (Q-CPD). We thoroughly investigate the properties of the Q-CPD, including trivial ambiguities, complex equivalent models, and sufficient conditions for uniqueness. Additionally, we present two algorithms for computing the Q-CPD and demonstrate their effectiveness through numerical experiments. Our results provide a solid theoretical foundation for further research on quaternion tensor decompositions and offer new computational tools for practitioners working with quaternion multiway data.
- [213] arXiv:2412.15927 (replaced) [pdf, html, other]
-
Title: Maximizing Satisfied Vertex Requests in List ColoringTimothy Bennett, Michael C. Bowdoin, Haley Broadus, Daniel Hodgins, Jeffrey A. Mudrock, Adam K. Nusair, Gabriel Sharbel, Joshua SilvermanComments: 18 pagesSubjects: Combinatorics (math.CO)
Suppose $G$ is a graph and $L$ is a list assignment for $G$. A request of $L$ is a function $r$ with nonempty domain $D\subseteq V(G)$ such that $r(v) \in L(v)$ for each $v \in D$. The triple $(G,L,r)$ is $\epsilon$-satisfiable if there exists a proper $L$-coloring $f$ of $G$ such that $f(v) = r(v)$ for at least $\epsilon|D|$ vertices in $D$. We say $G$ is $(k, \epsilon)$-flexible if $(G,L',r')$ is $\epsilon$-satisfiable whenever $L'$ is a $k$-assignment for $G$ and $r'$ is a request of $L'$. It is known that a graph $G$ is not $(k, \epsilon)$-flexible for any $k$ if and only if $\epsilon > 1/ \rho(G)$ where $\rho(G)$ is the Hall ratio of $G$. The list flexibility number of a graph $G$, denoted $\chi_{\ell flex}(G)$, is the smallest $k$ such that $G$ is $(k,1/ \rho(G))$-flexible. A fundamental open question on list flexibility numbers asks: Is there a graph with list flexibility number greater than its coloring number?
In this paper, we show that the list flexibility number of any complete multipartite graph $G$ is at most the coloring number of $G$. We also initiate the study of list epsilon flexibility functions of complete bipartite graphs which was first suggested by Kaul, Mathew, Mudrock, and Pelsmajer in 2024. Specifically, we completely determine the list epsilon flexibility function of $K_{m,n}$ when $m \in \{1,2\}$ and establish some additional bounds for small $m$. Our proofs reveal a connection to list coloring complete bipartite graphs with asymmetric list sizes which is a topic that was explored by Alon, Cambie, and Kang in 2021. - [214] arXiv:2412.20630 (replaced) [pdf, html, other]
-
Title: Computing with D-Algebraic SequencesComments: 29 pages, 1 figure. More comprehensive version. Specific results for $C^2$-finite sequencesSubjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
A sequence is difference algebraic (or D-algebraic) if finitely many shifts of its general term satisfy a polynomial relationship; that is, they are the coordinates of a generic point on an affine hypersurface. The corresponding equations are denoted algebraic difference equations (ADEs). We propose a formal definition of D-algebraicity for sequences and investigate algorithms for their closure properties. We show that subsequences of D-algebraic sequences, indexed by arithmetic progressions, satisfy ADEs of the same orders as the original sequences. Additionally, we discuss the special difference-algebraic nature of holonomic and $C^2$-finite sequences.
- [215] arXiv:2501.07427 (replaced) [pdf, other]
-
Title: Novel Numerical Method for Simultaneous Design and Control Optimization of Seasonal Thermal Energy Storage SystemsSubjects: Optimization and Control (math.OC)
The transition to a carbon-neutral energy system requires widespread deployment of renewable energy sources and economically feasible energy storage solutions. This study presents a comprehensive optimization framework that jointly addresses the design and control of a nonlinear energy system supplying both heat and electricity to the Dietenbach district in Freiburg, Germany. The proposed system integrates solar and wind power with battery storage and seasonal thermal energy storage coupled via a heat pump, enhancing self-sufficiency and mitigating seasonal supply-demand mismatches. A multi-node lumped-parameter model captures heat transfer within the pit thermal energy storage, forming the basis of a periodic optimal control problem solved numerically. An averaging method reduces computation time by 80.5% while preserving fidelity for year-long optimization. A case study shows a projected total yearly energy cost of 5.93 EUR/m2 for combined heat and electricity, which is 73% lower than the German average. This study underscores the feasibility of designing economically viable, autonomous energy communities in real-world scenarios and provides an efficient, robust optimization framework for designing system components and operational control strategies.
- [216] arXiv:2501.08770 (replaced) [pdf, html, other]
-
Title: Major-Minor Mean Field Game of Stopping: An Entropy Regularization ApproachComments: keywords: Major-minor mean field game of stopping, Markov decision processes, relaxed equilibrium, entropy regularization, linear programming, fixed pointSubjects: Optimization and Control (math.OC)
This paper studies a discrete-time major-minor mean field game of stopping where the major player can choose either an optimal control or stopping time. We look for the relaxed equilibrium as a randomized stopping policy, which is formulated as a fixed point of a set-valued mapping, whose existence is challenging by direct arguments. To overcome the difficulties caused by the presence of a major player, we propose to study an auxiliary problem by considering entropy regularization in the major player's problem while formulating the minor players' optimal stopping problems as linear programming over occupation measures. We first show the existence of regularized equilibria as fixed points of some simplified set-valued operator using the Kakutani-Fan-Glicksberg fixed-point theorem. Next, we prove that the regularized equilibrium converges as the regularization parameter $\lambda$ tends to 0, and the limit corresponds to a fixed point of the original operator, thereby confirming the existence of a relaxed equilibrium in the original mean field game problem. We also extend this entropy regularization method to the mean-field game problem where the minor players choose optimal controls.
- [217] arXiv:2501.17122 (replaced) [pdf, html, other]
-
Title: Convergence of two-timescale gradient descent ascent dynamics: finite-dimensional and mean-field perspectivesComments: v3: added analysis of preconditioned GDA for finite-dimensional case and improved results for mean-field caseSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Numerical Analysis (math.NA)
The two-timescale gradient descent-ascent (GDA) is a canonical gradient algorithm designed to find Nash equilibria in min-max games. We analyze the two-timescale GDA by investigating the effects of learning rate ratios on convergence behavior in both finite-dimensional and mean-field settings. In particular, for finite-dimensional quadratic min-max games, we obtain long-time convergence in near quasi-static regimes through the hypocoercivity method. For mean-field GDA dynamics, we investigate convergence under a finite-scale ratio using a mixed synchronous-reflection coupling technique.
- [218] arXiv:2502.01156 (replaced) [pdf, other]
-
Title: On the impact of the parametrization of deep convolutional neural networks on post-training quantizationSubjects: Information Theory (cs.IT)
This paper introduces novel theoretical approximation bounds for the output of quantized neural networks, with a focus on convolutional neural networks (CNN). By considering layerwise parametrization and focusing on the quantization of weights, we provide bounds that gain several orders of magnitude compared to state-of-the-art results on classical deep convolutional neural networks such as MobileNetV2 or ResNets. These gains are achieved by improving the behaviour of the approximation bounds with respect to the depth parameter, which has the most impact on the approximation error induced by quantization. To complement our theoretical result, we provide a numerical exploration of our bounds on MobileNetV2 and ResNets.
- [219] arXiv:2502.04726 (replaced) [pdf, html, other]
-
Title: Lollipops, dense cycles and chordsComments: Added explanations, mostly about the application of Marcus Tardos TheoremSubjects: Combinatorics (math.CO)
In 1980, Gupta, Kahn and Robertson proved that every graph $G$ with minimum degree at least $k\geq 2$ contains a cycle $C$ containing at least $k+1$ vertices each having at least $k$ neighbors in $C$ (so $C$ has at least $\frac{(k+1)(k-2)}{2}$ chords). In this work, we go further by showing that some of its edges can be contracted to obtain a graph with high minimum degree (we call such a minor of $C$ a \emph{cyclic minor}). We then investigate further cycles having cliques as cyclic minors, and show that minimum degree at least $O(k^2)$ guarantees a cyclic $K_k$-minor.
- [220] arXiv:2502.12357 (replaced) [pdf, html, other]
-
Title: The Japanese and universally Japanese properties for valuation rings and Prüfer domainsComments: 16 pages. Final versionSubjects: Commutative Algebra (math.AC)
We discuss the Japanese and universally Japanese properties for valuation rings and Prüfer domains. These properties, regarding finiteness of integral closure, have been studied extensively for Noetherian rings, but very rarely, if ever, for non-Noetherian rings. Among other results, we show that for valuation rings and Prüfer domains, the Japanese and universally Japanese properties are equivalent. This result can be seen as a counterpart to Nagata's classical result for Noetherian rings. This result also tells us many non-Noetherian rings, including all absolutely integrally closed valuation rings and Prüfer domains, are universally Japanese.
- [221] arXiv:2502.13051 (replaced) [pdf, html, other]
-
Title: Hausdorff dimension OF dynamical Dophantine approximation associated with ergodic mixing systemsSubjects: Dynamical Systems (math.DS); Metric Geometry (math.MG)
In this article, we estimate the Hausdorff dimension of dynamical coverings with respect to mixing ergodic systems. More precisely, if the ergodic measure is exact-dimensionnal, we establish a formula provided that the system is polynomially fast mixing and if the measure is not exact-dimensionnal, we establish a similar result under super-polynomial speed of mix assumpetion. As an application of our result, we extend the result of Fan-Shmeling-Troubetzkoy for the doubling map on the circle to the case of the times 2, times 3 map on the two dimensional torus.
- [222] arXiv:2502.17974 (replaced) [pdf, html, other]
-
Title: On the existence and the stability of solutions in nonconvex vector optimizationComments: 24 pagesSubjects: Optimization and Control (math.OC)
The paper is devoted to the existence of weak Pareto solutions and the weak sharp minima at infinity property for a general class of constrained nonconvex vector optimization problems with unbounded constraint set via asymptotic cones and generalized asymptotic functions. Then we show that these conditions are useful for studying the solution stability of nonconvex vector optimization problems with linear perturbation. We also provide some applications for a subclass of robustly quasiconvex vector optimization problems.
- [223] arXiv:2503.07449 (replaced) [pdf, html, other]
-
Title: The piston effect in supercritical fluids investigated via a reversible-irreversible vector field splitting-based explicit time integration schemeSubjects: Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)
In the vicinity of the liquid--vapor critical point, supercritical fluids behave strongly compressibly and, in parallel, thermophysical properties have strong state dependence. These lead to various peculiar phenomena, one of which being the piston effect where a sudden heating induces a mechanical pulse. The coupling between thermal and mechanical processes, in the linear approximation, yields a non-trivially rich thermoacoustics. The numerous applications of supercritical fluids raise the need for reliable yet fast and efficient numerical solution for thermoacoustic time and space dependence in this sensitive domain. Here, we present a second-order accurate, fully explicit staggered space-time grid finite difference method for such coupled linear thermoacoustic problems. Time integration is based on the splitting of the state space vector field representing the interactions that affect the dynamics into reversible and irreversible parts, which splitting procedure leads to decoupled wave and heat equations. The former is a hyperbolic partial differential equation, while the latter is a parabolic one, therefore, different time integration algorithms must be amalgamated to obtain a reliable, dispersion error-free, and dissipation error-free numerical solution. Finally, the thermoacoustic approximation of the supercritical piston effect is investigated via the developed method.
- [224] arXiv:2503.07895 (replaced) [pdf, html, other]
-
Title: The translation geometry of Pólya's shiresComments: 52 pages, 12 figures, to appear in Duke Mathematical JournalSubjects: Geometric Topology (math.GT); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
In his shire theorem, G. Pólya proves that the zeros of iterated derivatives of a meromorphic function in the complex plane accumulate on the union of edges of the Voronoi diagram of the poles of this function. By recasting the local arguments of Pólya into the language of translation surfaces, we prove its generalisation describing the asymptotic distribution of the zeros of a meromorphic function on a compact Riemann surface under the iterations of a linear differential operator $T_\omega: f \mapsto \frac{df}{\omega}$ where $\omega$ is a given meromorphic $1$-form. The accumulation set of these zeros is the union of edges of a generalised Voronoi diagram defined by the initial function $f$ together with the singular flat metric on the Riemann surface induced by $\omega$. This result provides the ground for a novel approach to the problem of finding a flat geometric presentation of a translation surface initially defined in terms of algebraic or complex-analytic data.
- [225] arXiv:2503.15040 (replaced) [pdf, html, other]
-
Title: Generation of Hecke fields by squares of cyclotomic twists of modular $L$-valuesComments: 32 pagesSubjects: Number Theory (math.NT)
Let $f$ be a non-CM elliptic newform without a quadratic inner twist, $p$ an odd prime and $\chi$ a Dirichlet character of $p$-power order and sufficiently large $p$-power conductor. We show that the compositum $\mathbb{Q}_{f}(\chi)$ of the Hecke fields associated to $f$ and $\chi$ is generated by the square of the absolute value of the corresponding central $L$-value $L^{\rm alg}(1/2, f \otimes \chi)$ over $\mathbb{Q}(\mu_p)$. The proof is based among other things on techniques used for the recent resolution of unipotent mixing conjecture by the first and third named authors.
- [226] arXiv:2504.01011 (replaced) [pdf, other]
-
Title: Fibrational approach to Grandis exactness for 2-categoriesComments: Improved versionSubjects: Category Theory (math.CT)
In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structure of a category. Indeed, as it was shown by the second author and T.~Weighill, categories equipped with a proper factorization system such that the opfibration of subobjects relative to the factorization system is isomorphic to the fibration of relative quotients are precisely the Grandis exact categories. In this paper we characterize those (1,1)-proper factorization systems on a 2-category in the sense of M.~Dupont and E.~Vitale, for which the weak 2-opfibration of relative 2-subobjects is biequivalent to the weak 2-fibration of relative 2-quotients. This results in a new notion of 2-dimensional exactness, which we then compare with similar notions in the context of categories enriched in pointed groupoids arising in the work of M.~Dupont and H.~Nakaoka.
- [227] arXiv:2504.13106 (replaced) [pdf, html, other]
-
Title: Maximum number of points of intersection of a non-degenerate Hermitian variety and a cubic hypersurfaceComments: The title of the article has been changed, although the main results remain unchanged. Accepted for publication in "Designs, Codes and Cryptography"Subjects: Algebraic Geometry (math.AG)
Edoukou, Ling and Xing in 2010, conjectured that in \mathbb{P}^n(\mathbb{F}_{q^2}), n \geq 3, the maximum number of common points of a non-degenerate Hermitian variety \mathcal{U}_n and a hypersurface of degree d is achieved only when the hypersurface is a union of d distinct hyperplanes meeting in a common linear space \Pi_{n-2} of codimension 2 such that \Pi_{n-2} \cap \mathcal{U}_n is a non-degenerate Hermitian variety. Furthermore, these d hyperplanes are tangent to \mathcal{U}_n if n is odd and non-tangent if n is even. In this paper, we show that the conjecture is true for d = 3 and q \geq 7.
- [228] arXiv:2504.20386 (replaced) [pdf, html, other]
-
Title: Safe and Optimal N-Spacecraft Swarm Reconfiguration in Non-Keplerian Cislunar OrbitsComments: 41 pages, 19 figures. Submitted and accepted to Journal of Guidance, Control, and DynamicsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Dynamical Systems (math.DS)
This paper presents a novel fuel-optimal guidance and control methodology for spacecraft swarm reconfiguration in Restricted Multi-Body Problems (RMBPs) with a guarantee of passive safety, maintaining miss distance even under abrupt loss of control authority. A new set of constraints exploits a quasi-periodic structure of RMBPs to guarantee passive safety. Particularly, the condition for passive safety is expressed as simple geometric constraints by solving optimal control in Local Toroidal Coordinates, which is based on a local eigenspace of a quasi-periodic motion around the corresponding periodic orbit. The proposed formulation enables a significant simplification of problem structure, which is applicable to large-scale swarm reconfiguration in cislunar orbits. The method is demonstrated in the Circular Restricted Three-Body Problem, the Elliptic Restricted Three-Body Problem, and the Bi-Circular Restricted Four-Body Problem. Furthermore, the optimized control profiles are validated in the full-ephemeris dynamics model. By extending and generalizing well-known concepts of relative orbital elements within the restricted two-body problem to the three- and four-body problems, this paper lays the foundation for practical control schemes of relative motion in cislunar space.
- [229] arXiv:2505.01131 (replaced) [pdf, html, other]
-
Title: New optima for the deletion shadowComments: 11 pages; various minor revisions, argument and results unchangedSubjects: Combinatorics (math.CO)
For a family $\mathcal{F}$ of words of length $n$ drawn from an alphabet $A=[r]=\{1,\dots,r\}$, Danh and Daykin defined the deletion shadow $\Delta \mathcal{F}$ as the family containing all words that can be made by deleting one letter of a word of $\mathcal{F}$. They asked, given the size of such a family, how small its deletion shadow can be, and answered this with a Kruskal-Katona type result when the alphabet has size $2$. However, Leck showed that no ordering can give such a result for larger alphabets. The minimal shadow has been known for families of size $s^n$, where the optimal family has form $[s]^n$. We give the minimal shadow for many intermediate sizes between these levels, showing that families of the form 'all words in $[s]^n$ in which the symbol $s$ appears at most $k$ times' are optimal. Our proof uses some fractional techniques that may be of independent interest.
- [230] arXiv:2505.04458 (replaced) [pdf, html, other]
-
Title: On the Serrin problem for ring-shaped domains: the $n$-dimensional caseSubjects: Analysis of PDEs (math.AP)
We provide several characterizations of ring-shaped rotationally symmetric solutions to the Serrin problem in arbitrary dimensions.
- [231] arXiv:2505.10980 (replaced) [pdf, html, other]
-
Title: Spray-Invariant Sets in Infinite-Dimensional ManifoldsSubjects: Differential Geometry (math.DG)
We introduce the concept of spray-invariant sets on infinite-dimensional manifolds, where any geodesic of a spray starting in the set stays within it for its entire domain. These sets, possibly including singular spaces such as stratified spaces, exhibit different geometric properties depending on their regularity: sets that are not differentiable submanifolds may show sensitive dependence, for example, on parametrization, whereas for differentiable submanifolds invariance is preserved under reparametrization.
This framework offers a broader perspective on geodesic preservation than the rigid notion of totally geodesic submanifolds, with examples arising naturally even in simple settings, such as linear spaces equipped with flat sprays. - [232] arXiv:2506.08275 (replaced) [pdf, html, other]
-
Title: The stochastic heat inclusion with fractional time driven by time-space Brownian and Lévy white noiseSubjects: Probability (math.PR)
We study a time-fractional stochastic heat inclusion driven by additive time-space Brownian and Lévy white noise. The fractional time derivative is interpreted as the Caputo derivative of order $\alpha \in (0,2).$ We show the following: \\ a) If a solution exists, then it is a fixed point of a specific set-valued map.\\ b) Conversely, any fixed point of this map is a solution of the heat inclusion.\\ c) Finally, we show that there is at least one fixed point of this map, thereby proving that there is at least one solution of the time-fractional stochastic heat inclusion.
A solution $Y(t,x)$ is called \emph{mild} if $\E[Y^2(t,x)] < \infty$ for all $t,x$. We show that the solution is mild if\\ $\alpha=1$ \& $d=1,$ \ or \ $\alpha \geq 1$ \& $d\in \{1,2\}$.
On the other hand, if $\alpha < 1$ we show that the solution is not mild for any space dimension $d$. - [233] arXiv:2506.19050 (replaced) [pdf, html, other]
-
Title: Low complexity binary words avoiding $(5/2)^+$-powersComments: 11 pages; main structure theorem restated to cover all cases for complementation/reversal of factorsSubjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)
Rote words are infinite words that contain $2n$ factors of length $n$ for every $n \geq 1$. Shallit and Shur, as well as Ollinger and Shallit, showed that there are Rote words that avoid $(5/2)^+$-powers and that this is best possible. In this note we give a structure theorem for the Rote words that avoid $(5/2)^+$-powers, confirming a conjecture of Ollinger and Shallit.
- [234] arXiv:2507.02895 (replaced) [pdf, html, other]
-
Title: Symplectic structures and globally hyperbolic spacetimesComments: 16 pages; the contents of the previous version are now an exampleSubjects: General Mathematics (math.GM)
The aim of this note is to present a construction of symplectic structures on orientable globally hyperbolic 4-dimensional lorentzian manifolds. Said structures are defined on the manifold itself, not on its cotangent bundle. It also includes a discussion about their geometric quantisation.
- [235] arXiv:2507.05185 (replaced) [pdf, html, other]
-
Title: An operator algebraic approach to fusion category symmetry on the latticeSubjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Operator Algebras (math.OA); Quantum Algebra (math.QA)
We propose a framework for fusion category symmetry on the (1+1)D lattice in the thermodynamic limit by giving a formal interpretation of SymTFT decompositions. Our approach is based on axiomatizing physical boundary subalgebra of quasi-local observables, and applying ideas from algebraic quantum field theory to derive the expected categorical structures. We show that given a physical boundary subalgebra $B$ of a quasi-local algebra $A$, there is a canonical fusion category $\mathcal{C}$ that acts on $A$ by bimodules and whose fusion ring acts by locality preserving quantum channels on the quasi-local algebra such that $B$ is recovered as the fixed point operators. We show that a fusion category can be realized as symmetries on a tensor product quasi-local algebra if and only if all of its objects have integer dimensions, and that it admits an ``on-site" action on a tensor product spin chain if and only if it admits a fiber functor. We give a formal definition of a topological symmetric state, and prove two anomaly enforced gaplessness theorems, one for internal categorical symmetries and one for anomalous duality channels. Using the first, we show that for any fusion category $\mathcal{C}$ with no fiber functor there always exist gapless pure symmetric states on an anyon chain.
- [236] arXiv:2507.07281 (replaced) [pdf, html, other]
-
Title: Convergence Rate for the Last Iterate of Stochastic Gradient Descent SchemesSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
We study the convergence rate for the last iterate of stochastic gradient descent (SGD) and stochastic heavy ball (SHB) in the parametric setting when the objective function $F$ is globally convex or non-convex whose gradient is $\gamma$-Hölder. Using only discrete Gronwall's inequality without Robbins-Siegmund theorem, we recover results for both SGD and SHB: $\min_{s\leq t} \|\nabla F(w_s)\|^2 = o(t^{p-1})$ for non-convex objectives and $F(w_{\tau \wedge t}) - F_* = o(t^{2\gamma/(1+\gamma) \cdot \max(p-1,-2p+1)-\eps})$ for $\beta \in (0, 1)$, $\tau := \inf \{ t > 0 : F(w_t) = F_*\}$, and $\min_{s \leq t} F(w_s) - F_* = o(t^{p-1})$ for convex objectives $F$ whose minimum is $F_*$. In addition, we proved that SHB with constant momentum parameter $\beta \in (0, 1)$ attains a convergence rate of $F(w_t) - F_* = O(t^{\max(p-1,-2p+1)} \log^2 \frac{t}{\delta})$ with probability at least $1-\delta$ when $F$ is convex and $\gamma = 1$ and step size $\alpha_t = \Theta(t^{-p})$ with $p \in (\frac{1}{2}, 1)$.
- [237] arXiv:2507.11643 (replaced) [pdf, html, other]
-
Title: Notes on the equiconsistency of ZFC without the Power Set axiom and second order PAComments: Hopefully close to be the final versionSubjects: Logic (math.LO)
We demonstrate that theories $\text{Z}^-$, $\text{ZF}^-$, $\text{ZFC}^-$ (minus means the absence of the Power Set axiom) and $\text{PA}_2$, $\text{PA}_2^-$ (minus means the absence of the Countable Choice schema) are equiconsistent to each other. The methods used include the interpretation of a power-less set theory in $\text{PA}_2^-$ via well-founded trees, as well as the Gödel constructibility in the said power-less set theory.
- [238] arXiv:2507.12169 (replaced) [pdf, html, other]
-
Title: Phase-field modelling of cohesive fracture. Part I: $Γ$-convergence resultsSubjects: Analysis of PDEs (math.AP)
The main aim of this three-part work is to provide a unified consistent framework for the phase-field modeling of cohesive fracture.
In this first paper we establish the mathematical foundation of a cohesive phase-field model by proving a $\Gamma$-convergence result in a one-dimensional setting. Specifically, we consider a broad class of phase-field energies, encompassing different models present in the literature, thereby both extending the results in \cite{ContiFocardiIurlano2016} and providing an analytical validation of all the other approaches. Additionally, by modifying the functional scaling, we demonstrate that our formulation also generalizes the Ambrosio-Tortorelli approximation for brittle fracture, therefore laying the groundwork for a unified framework for variational fracture problems.
The Part~II paper presents a systematic procedure for constructing phase-field models that reproduce prescribed cohesive laws, whereas the Part~III paper validates the theoretical results with applied examples. - [239] arXiv:2507.13865 (replaced) [pdf, html, other]
-
Title: Moments and the Basic Equilibrium EquationsSubjects: Mathematical Physics (math-ph)
We develop the classical theory of moments of configurations of weighted points with a focus on systems with an identically vanishing first moment. The latter condition produces equations for equilibrium configurations of systems of interacting particles under the sole condition that interactions are pairwise and along the line determined by each pair of particles. Complying external forces are admitted, so the description of some dynamical equilibrium configurations, such as relative equilibria in Celestial Mechanics, is included in our approach. Moments provide a unified framework for equilibrium problems in arbitrary dimensions. The equilibrium equations are homogeneous, of relatively low degree, invariant by oriented isometries (for interactions depending only on mutual distances), and are obtained through simple algebraic procedures requiring neither reduction by isometries nor a variational principle for their determination. Our equations include the renowned sets of $n$-body central configuration equations by O. Dziobek, and by A. Albouy and A. Chenciner. These equations are extended to a rather broad class of equilibrium problems, and several new sets of equilibrium equations are introduced. We also apply moments to establish a theory of constraints for mutual distances of configurations of fixed dimension and of co-spherical configurations, thus re-obtaining and adding to classical results by A. Cayley, among others.
- [240] arXiv:2507.20735 (replaced) [pdf, html, other]
-
Title: Every conformal net has an associated unitary VOAComments: 75 pages. Version 3 contains new Sections 8 and 9 which address smeared fields and representations, respectivelySubjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
Unitary vertex operator algebras (VOAs) and conformal nets are the two most prominent mathematical axiomatizations of two-dimensional unitary chiral conformal field theories. They are conjectured to be equivalent, but a rigorous comparison has proven challenging. We resolve one direction of the conjecture by showing that every conformal net has an associated unitary VOA. We also show that every representation of a conformal net in which the generator of rotation acts with discrete spectrum and finite-dimensional eigenspaces yields a unitary module of the corresponding VOA. A talk describing our results is available at: this https URL .
- [241] arXiv:2508.00343 (replaced) [pdf, html, other]
-
Title: Streamlined WZ method proofs of Van Hamme supercongruencesComments: Rename a function in Section 5 for clarity. Update a reference to point to the publication rather than to the preprint. Cosmetic typographical and text improvementsSubjects: Number Theory (math.NT)
Using the WZ method to prove supercongruences critically depends on an inspired WZ pair choice. This paper demonstrates a procedure for finding WZ pair candidates to prove a given supercongruence. When suitable WZ pairs are thus obtained, coupling them with the $p$-adic approximation of $\Gamma_p$ by Long and Ramakrishna enables uniform proofs for the Van Hamme supercongruences B.2, C.2, D.2, E.2, F.2, G.2, and H.2. This approach also yields the known extensions of G.2 modulo $p^4$, and of H.2 modulo $p^3$ when $p$ is $3$ modulo $4$. Finally, the Van Hamme supercongruence I.2 is shown to be a special case of the WZ method where Gosper's algorithm itself succeeds.
- [242] arXiv:2508.02907 (replaced) [pdf, html, other]
-
Title: Lorentzian polynomials and matroids over triangular hyperfields 1: Topological aspectsSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
Lorentzian polynomials serve as a bridge between continuous and discrete convexity, connecting analysis and combinatorics. In this article, we study the topology of the space $\mathbb{P}\textrm{L}_J$ of Lorentzian polynomials on $J$ modulo $\mathbb{R}_{>0}$, which is nonempty if and only if $J$ is the set of bases of a polymatroid. We prove that $\mathbb{P}\textrm{L}_J$ is a manifold with boundary of dimension equal to the Tutte rank of $J$, and more precisely, that it is homeomorphic to a closed Euclidean ball with the Dressian of $J$ removed from its boundary. Furthermore, we show that $\mathbb{P}\textrm{L}_J$ is homeomorphic to the thin Schubert cell $\textrm{Gr}_J(\mathbb{T}_q)$ of $J$ over the triangular hyperfield $\mathbb{T}_q$, introduced by Viro in the context of tropical geometry and Maslov dequantization, for any $q>0$. This identification enables us to apply the representation theory of polymatroids developed in a companion paper, as well as earlier work by the first and fourth authors on foundations of matroids, to give a simple explicit description of $\mathbb{P}\textrm{L}_J$ up to homeomorphism in several key cases. Our results show that $\mathbb{P}\textrm{L}_J$ always admits a compactification homeomorphic to a closed Euclidean ball. They can also be used to answer a question of Brändén in the negative by showing that the closure of $\mathbb{P}\textrm{L}_J$ within the space of all polynomials modulo $\mathbb{R}_{>0}$ is not homeomorphic to a closed Euclidean ball in general. In addition, we introduce the Hausdorff compactification of the space of rescaling classes of Lorentzian polynomials and show that the Chow quotient of a complex Grassmannian maps naturally to this compactification. This provides a geometric framework that connects the asymptotic structure of the space of Lorentzian polynomials with classical constructions in algebraic geometry.
- [243] arXiv:2508.05698 (replaced) [pdf, html, other]
-
Title: Iteration Sums of The Euler Totient Function Regarding Powers of Fermat PrimesComments: 24 pages, 0 figuresSubjects: General Mathematics (math.GM)
Euler Totient function, a cornerstone of number theory, has attracted extensive study and applications across many disciplines. In this paper, we explore the patterns that the iterations of the Totient function exhibit. This paper first covers the foundational definitions and well-established theorems. Then, we build upon those results to investigate applying the Totient function multiple times, such as $\phi(\phi(\phi(n)))$. Theorems regarding the end behavior of such iterations are presented. Next, we apply an innovative summation approach to the iterations of the Totient function, which is in the form of $\phi(n)+\phi(\phi(n))+\phi(\phi(\phi(n)))+\cdots$ that could also be expressed as $\sum \phi^i(n)$. We prove novel theorems regarding this sum for all powers of Fermat Primes, and we derive an elegant result for powers of three. This paper initiates investigations into the sums of iterated Totient function values.
- [244] arXiv:2508.06956 (replaced) [pdf, html, other]
-
Title: Neural Beam Field for Spatial Beam RSRP PredictionComments: Keywords: Neural Beam Field, Multipath Conditional Power Profile, Channel Knowledge Map, Beam-level RSRP, Transformer. Revised technical presentation and added more benchmark comparisonsSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
Accurately predicting beam-level reference signal received power (RSRP) is essential for beam management in dense multi-user wireless networks, yet challenging due to high measurement overhead and fast channel variations. This paper proposes Neural Beam Field (NBF), a hybrid neural-physical framework for efficient and interpretable spatial beam RSRP prediction. Central to our approach is the introduction of the Multi-path Conditional Power Profile (MCPP), a learnable physical intermediary representing the site-specific propagation environment. This approach decouples the environment from specific antenna/beam configurations, which helps the model learn site-specific multipath features and enhances its generalization capability. We adopt a decoupled ``blackbox-whitebox" design: a Transformer-based deep neural network (DNN) learns the MCPP from sparse user measurements and positions, while a physics-inspired module analytically infers beam RSRP statistics. To improve convergence and adaptivity, we further introduce a Pretrain-and-Calibrate (PaC) strategy that leverages ray-tracing priors for physics-grounded pretraining and then RSRP data for on-site calibration. Extensive simulation results demonstrate that NBF significantly outperforms conventional table-based channel knowledge maps (CKMs) and pure blackbox DNNs in prediction accuracy, training efficiency, and generalization, while maintaining a compact model size. The proposed framework offers a scalable and physically grounded solution for intelligent beam management in next-generation dense wireless networks.
- [245] arXiv:2508.07938 (replaced) [pdf, html, other]
-
Title: Proximality and selflessness for group C*-algebrasComments: 15 pages; minor changes (v2); major changes, a new result on product stability added (v3); more new results added (v4); more new results added (v5)Subjects: Operator Algebras (math.OA); Dynamical Systems (math.DS); Functional Analysis (math.FA)
We prove that the reduced group C*-algebras of infinite countable discrete groups having topologically-free extreme boundaries, or more generally groups that satisfy certain combinatorial property including all acylindrically hyperbolic groups with no nontrivial finite normal subgroups, are selfless in the sense of L. Robert. This generalizes the recent result of Amrutam, Gao, Kunnawalkam Elayavalli, and Patchell. We also prove that selflessness is stable under tensor product among exact C*-algebras and that a C*-probability space is selfless provided that it is either simple and purely infinite or simple, exact, Z-stable, and uniquely tracial.
- [246] arXiv:2508.07979 (replaced) [pdf, html, other]
-
Title: Well-posedness for a fourth-order nonisothermal tumor growth model of Caginalp typeComments: 35 pages. The keywords are: nonlinear initial-boundary value problem, Cahn-Hilliard equation, nonisothermal model, well-posedness, regularity results, tumor growthSubjects: Analysis of PDEs (math.AP)
We introduce a nonisothermal phase-field system of Caginalp type that describes tumor growth under hyperthermia. The model couples a possibly viscous Cahn-Hilliard equation, governing the evolution of the healthy and tumor phases, with an equation for the heat balance, and a reaction-diffusion equation for the nutrient concentration. The resulting nonlinear system incorporates chemotaxis and active transport effects, and is supplemented with no-flux boundary conditions. The analysis is carried out through a two-step approximation procedure, involving a regularization of the potential and a Faedo-Galerkin discretization scheme. Under stronger regularity assumptions, we further establish the existence of strong solutions and their uniqueness via a continuous dependence result.
- [247] arXiv:2508.08156 (replaced) [pdf, html, other]
-
Title: Existence of Anisotropic Minkowski ContentSubjects: Classical Analysis and ODEs (math.CA)
This paper is devoted to the existence of anisotropic Minkowski content and anisotropic outer Minkowski content. Our result is that the Minkowski content of the topological boundary of a given set of finite perimeter $E$ coincides with the perimeter of $E$ if and only if the anisotropic Minkowski content of the topological boundary of $E$ coincides with half of the sum of the anisotropic perimeter of $E$ and the anisotropic perimeter of the complement of $E.$ As a consequence, we find that the existence of anisotropic outer Minkowski content of a given set of finite perimeter and its complement ensures the existence of outer Minkowski content of the set and its complement.
- [248] arXiv:2508.09052 (replaced) [pdf, html, other]
-
Title: Bilinear maps having Jordan product propertyComments: Final versionJournal-ref: Linear Algebra and its Applications 728 (2026) 435--448Subjects: Operator Algebras (math.OA); Rings and Algebras (math.RA)
We study symmetric continuous bilinear maps $V$ on a C$^*$-algebra $A$ that have the Jordan product property at a fixed element $z\in A$. We show that, whenever $A$ is a finite direct sum or a $c_0$-sum of infinite simple von Neumann algebras, such a map $V$ has the square-zero property. Then, it is proved that $V(a,b)=T(a\circ b)$ for some bounded linear map $T$ on $A$. As a consequence, Jordan homomorphisms and derivations at $z\in A$ are characterized.
- [249] arXiv:2508.10139 (replaced) [pdf, html, other]
-
Title: Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalenceComments: Improved second version, some results added in the last sectionsSubjects: Information Theory (cs.IT); Rings and Algebras (math.RA)
Employing isomorphisms between their ambient algebras, we propose new definitions of equivalence and isometry for skew polycyclic codes that will lead to tighter classifications than existing ones. This reduces the number of previously known isometry and equivalence classes. In the process, we classify classes of skew $(f,\sigma,\delta)$-polycyclic codes with the same performance parameters, to avoid duplicating already existing codes, and state precisely when different notions of equivalence coincide.
The generator of a skew polycyclic code is in one-one correspondence with the generator of a principal left ideal in its ambient algebra. We allow the ambient algebras to be nonassociative, thus eliminating the need on restrictions on the length of the codes. Algebra isomorphisms that preserve the Hamming distance (called isometries) map generators of principal left ideals to generators of principal left ideals and preserve length, dimension and Hamming distance of the codes. The isometries between the ambient algebras can also be used to classify corresponding linear codes equipped with the rank metric. - [250] arXiv:2508.11288 (replaced) [pdf, html, other]
-
Title: On the foundations of signed graphs I: chain groups, frame matroid, and bivariate flow polynomialSubjects: Combinatorics (math.CO)
This paper studies signed graphs with possible outer-edges. We introduce and investigate the chain group, the boundary operator, the co-boundary operator, the flow group, the tension group, the homology group, the cohomology group, with coefficients in an abelian group. We also introduce and investigate the bivariate flow polynomial for signed graphs. The guiding principle is the correspondence between representable matroids over $\mathbb{R}$ on a ground set $E$ of edges and the subspaces of the vector space of real-valued chains on the same ground set. The frame matroid of signed graph emerges naturally by defining circuits as minimal supports of nonzero flows, rather than listing circuit patterns abruptly. Likewise, bonds, or co-circuits, can be obtained as minimal supports of nonzero tensions. In addition to standardizing the concepts and their meanings of signed graphs, we update the following results: (1) Characterization of cuts and bonds of signed graph with outer-edges. (2) The structures of flow group, boundary group, and homology group, with coefficients in an arbitrary abelian group. (3) Introduction of bivariate flow polynomial of signed graph, revealing the mystery of inexistence of univariate flow polynomial of signed graph in the literature.
- [251] arXiv:2508.14376 (replaced) [pdf, html, other]
-
Title: A generalized Hurwitz stability criterion via rectangular block Hankel matrices for nonmonic matrix polynomialsSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
We develop a Hurwitz stability criterion for nonmonic matrix polynomials via column reduction, generalizing existing approaches constrained by the monic assumption, as well as Gantmacher's classical stability criterion via Markov parameters. Starting from redefining the associated Markov parameters through a column-wise adaptive splitting method, our framework constructs two structured matrices whose rectangular Hankel blocks are obtained via the extraction of these parameters. We establish an explicit interrelation between the inertias of column reduced matrix polynomials and the derived structured matrices. Furthermore, we demonstrate that the Hurwitz stability of column reduced matrix polynomials can be determined by the Hermitian positive definiteness of these rectangular block Hankel matrices.
- [252] arXiv:2508.16892 (replaced) [pdf, html, other]
-
Title: A Variant Of Chaitin's Omega functionSubjects: Logic (math.LO)
We investigate the continuous function $f$ defined by $$x\mapsto \sum_{\sigma\le_L x }2^{-K(\sigma)}$$ as a variant of Chaitin's Omega from the perspective of analysis, computability, and algorithmic randomness. Among other results, we obtain that: (i) $f$ is differentiable precisely at density random points; (ii) $f(x)$ is $x$-random if and only if $x$ is weakly low for $K$ (low for $\Omega$); (iii) the range of $f$ is a null, nowhere dense, perfect $\Pi^0_1(\emptyset')$ class with Hausdorff dimension $1$; (iv) $f(x)\oplus x\ge_T\emptyset'$ for all $x$; (v) there are $2^{\aleph_0}$ many $x$ such that $f(x)$ is not 1-random; (vi) $f$ is not Turing invariant but is Turing invariant on the ideal of $K$-trivial reals. We also discuss the connection between $f$ and other variants of Omega.
- [253] arXiv:2508.17421 (replaced) [pdf, html, other]
-
Title: Moving boundary problems with Ermakov symmetry reduction: nonlinear superposition principle and reciprocal transformation applicationsComments: 11 pagesJournal-ref: Communications in Nonlinear Mathematical Physics, Vol. 5, ocnmp:16483, pp. 90-100, 2025Subjects: Analysis of PDEs (math.AP)
Moving boundary problems of Stefan-type for a novel third order nonlinear evolution equation with temporal modulation are here shown to be amenable to exact Airy-type solution via a classical Ermakov equation with its admitted nonlinear superposition principle. Application of the latter together with a class of involutory transformations sets the original moving boundary problem in a wide class with temporal modulation. As an appendix, reciprocally associated exactly solvable moving boundary problems are derived.
- [254] arXiv:2508.20598 (replaced) [pdf, html, other]
-
Title: Free energy of the Coulomb gas in the determinantal case on Riemann surfacesLucas Bourgoin (IRMA)Subjects: Differential Geometry (math.DG); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We derive the asymptotic expansion of the partition function of a Coulomb gas system in the determinantal case on compact Riemann surfaces of any genus g. Our main tool is the bosonization formula relating the analytic torsion and geometric quantities including the Green functions appearing in the definition of this partition function. As a result, we prove the geometric version of the Zabrodin-Wiegmann conjecture in the determinantal case.
- [255] arXiv:2509.08474 (replaced) [pdf, other]
-
Title: Restarting the Numerical Flow Iteration through low rank tensor approximationsSubjects: Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)
The numerical flow iteration method has recently been proposed as a memory-slim solution method for the Vlasov--Poisson system. It stores the temporal evolution of the electric field and reconstructs the solution in each time step by following the characteristics backwards in time and reconstructing the solution from the initial distribution. If the number of time steps gets large, the computational cost of this reconstruction may get prohibitive. Given a representation of the intermediate solution, the time intervals over which the characteristic curves need to be solved backwards in time can be reduced by restarting the Numerical Flow Iteration (NuFI) after certain time intervals. In this paper, we propose an algorithm that reconstructs a low-rank representation of the solution at the restart times using a randomized singular value decomposition (RSVD) algorithm with lazy evaluation. The proposed algorithm reduces the computational complexity compared to the pure Numerical Flow Iteration from quadratic to linear in the number of times step while still keeping its memory complexity. On the other hand, our numerical results demonstrate that the methods preserves the property of the Numerical Flow Iteration of showing much less dissipation of filaments compared to the semi-Lagrangian method.
- [256] arXiv:2509.09455 (replaced) [pdf, html, other]
-
Title: The Negation Of Singer's Conjecture For The Sixth Algebraic TransferComments: 23 pages. The algorithm has been optimized to its fullest extent and can execute efficiently for higher degrees. Constructive comments are always welcomeSubjects: Algebraic Topology (math.AT); Rings and Algebras (math.RA); Representation Theory (math.RT)
Let $\mathscr A$ be the Steenrod algebra over the field of characteristic two, $\mathbb F_2.$ Denote by $GL(q)$ the general linear group of rank $q$ over $\mathbb F_2.$ The algebraic transfer, introduced by W. Singer [Math. Z. 202 (1989), 493-523], is a rather effective tool for unraveling the intricate structure of the (mod-2) cohomology of the Steenrod algebra, ${\rm Ext}_{\mathscr A}^{q,*}(\mathbb F_2, \mathbb F_2).$ The Kameko homomorphism is one of the useful tools to study the dimension of the domain of the Singer transfer. Singer conjectured that the algebraic transfer is always a monomorphism, but this remains open for all homology degrees $q\geq 5.$ In this paper, by constructing a novel algorithm implemented in the computer algebra system OSCAR for computing $GL(q)$-invariants of the kernel of the Kameko homomorphism, we disprove Singer's conjecture for bidegree $(6,6+36).$
- [257] arXiv:2509.14359 (replaced) [pdf, html, other]
-
Title: On the extension of a class of Hermite multivariate interpolation problemsComments: 19 pagesSubjects: Numerical Analysis (math.NA)
We characterize the sets of solvability for Hermite multivariate interpolation problems when the sum of multiplicities is at most $2n + 2$, with $n$ the degree of the polynomial space. This result extends an earlier theorem (2000) by one of the authors concerning the case $2n+1$. The latter theorem, in turn, can be regarded as a natural extension of a classical Theorem of Severi (1921).
- [258] arXiv:2509.20122 (replaced) [pdf, html, other]
-
Title: Unifying HJB and Riccati equations: A Koopman operator approach to nonlinear optimal controlSubjects: Optimization and Control (math.OC)
This paper proposes an operator-theoretic framework that recasts the minimal value function of a nonlinear optimal control problem as an abstract bilinear form on a suitable function space. The resulting bilinear form is shown to satisfy an operator equation with quadratic nonlinearity obtained by formulating the Lyapunov equation for a Koopman lift of the optimal closed-loop dynamics to an infinite-dimensional state space. It is proven that the minimal value function admits a rapidly convergent sum-of-squares expansion, a direct consequence of the fast spectral decay of the bilinear form. The framework thereby establishes a natural link between the Hamilton-Jacobi-Bellman and a Riccati-like operator equation and further motivates numerical low-rank schemes.
- [259] arXiv:2509.22328 (replaced) [pdf, html, other]
-
Title: Duality of Lipschitz-free spaces over ultrametric spacesComments: 23 pages; Corrected typos and imprecisions, improved presentationSubjects: Functional Analysis (math.FA)
We give a metric characterisation of when the Lipschitz-free space over a separable ultrametric space is a dual Banach space. In the case where the Lipschitz-free space has a predual, we show that this predual is M-embedded if and only if the metric space is proper. We show that for ultrametric spaces, the little Lipschitz space is always an M-ideal in the corresponding space of Lipschitz functions, and we show that this is not the case for metric spaces in general, thus answering a question posed by Werner in the negative. Finally, we show that the space of Lipschitz functions of an ultrametric space contains a strongly extreme point.
- [260] arXiv:2509.24249 (replaced) [pdf, html, other]
-
Title: An Augmented Lagrangian Value Function Method for Lower-level Constrained Stochastic Bilevel OptimizationSubjects: Optimization and Control (math.OC)
Recently, lower-level constrained bilevel optimization has attracted increasing attention. However, existing methods mostly focus on either deterministic cases or problems with linear constraints. The main challenge in stochastic cases with general constraints is the bias and variance of the hyper-gradient, arising from the inexact solution of the lower-level problem. In this paper, we propose a novel stochastic augmented Lagrangian value function method for solving stochastic bilevel optimization problems with nonlinear lower-level constraints. Our approach reformulates the original bilevel problem using an augmented Lagrangian-based value function and then applies a penalized stochastic gradient method that carefully manages the noise from stochastic oracles. We establish an equivalence between the stochastic single-level reformulation and the original constrained bilevel problem and provide a non-asymptotic rate of convergence for the proposed method. The rate is further enhanced by employing variance reduction techniques. Extensive experiments on synthetic problems and real-world applications demonstrate the effectiveness of our approach.
- [261] arXiv:2509.25891 (replaced) [pdf, other]
-
Title: On a fractional Alt-Caffarelli-Friedman-type monotonicity formulaSubjects: Analysis of PDEs (math.AP)
In this note, by exploiting mean value properties of $s$-harmonic functions, we introduce some monotonicity formulas in the nonlocal setting. We take into account intrinsically nonlocal functionals mimicking those introduced by Alt, Caffarelli and Friedman in the seminal work [Alt-Caffarelli-Friedman, Trans. Amer. Math. Soc. (1984)]. Our approach is purely nonlocal and does not rely on the extension technique. As a byproduct we also established interior nonlocal gradient estimates and a nonlocal analogue of the Bochner identity.
- [262] arXiv:2509.26438 (replaced) [pdf, html, other]
-
Title: Finite element discretizations of bending plates with prestrained microstructureComments: Improvement of a quadrature estimate (Lemma A.2), removal of an incorrect statement in a footnote, 32 pages, 2 figures,Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
We investigate a finite element discretization of an elastic bending-plate model with an effective prestrain. The model has been obtained via homogenization and dimension reduction by Bönlein at al. (2023). Its energy functional is the $\Gamma$-limit of a three-dimensional nonlinear microstructured elasticity functional. In the derived effective model, the microstructure is incorporated as a local corrector problem, a system of linear elliptic partial differential equations posed on a three-dimensional representative volume element. The discretization uses Discrete Kirchhoff Triangle elements for the macroscopic bending-plate problem on a mesh of scale $H$, and first-order Lagrange elements for the microscopic corrector problem on an axis-aligned mesh of scale $h$. We show that the discretized model $\Gamma$-converges to the continuous one as $(h,H)\to 0$,provided that there exists a microstructure mesh such that the elasticity tensor is Lipschitz continuous on each mesh element. This extends earlier results by Rumpf et al. (2024) to prestrained composites. Our argument does not require any rate of convergence for the microscopic discretization error. As a corollary, we also obtain convergence when $h \to 0$ and $H \to 0$ consecutively, and we prove that these limit processes commute.
- [263] arXiv:2510.00456 (replaced) [pdf, html, other]
-
Title: On the exponential integrability of the derivative of intersection and self-intersection local time for fractional Brownian motion and a limit theorem related to the self-intersection local time for fractional Brownian motionSubjects: Probability (math.PR)
We give the correct condition for existence of the $k$-th derivative of the intersection local time for fractional Brownian motion, which was originally discussed in [Guo, J., Hu, Y., and Xiao, Y., Higher-order derivative of intersection local time for two independent fractional Brownian motions, Journal of Theoretical Probability 32, (2019), pp. 1190-1201]. We also show that the $k$-th derivative of the intersection and self-intersection local times of fractional Brownian motion are exponentially integrable for certain parameter values. In addition, we show convergence in distribution when the existence condition is violated for the $k$-th derivative of self-intersection local time of fractional Brownian motion under scaling.
- [264] arXiv:2510.00464 (replaced) [pdf, html, other]
-
Title: Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functionsComments: 14 pages, 5 figures, small errors are corrected, some arguments and remarks are addedSubjects: General Topology (math.GN); Combinatorics (math.CO); Geometric Topology (math.GT)
We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse.
The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty.
We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds. - [265] arXiv:2510.01488 (replaced) [pdf, html, other]
-
Title: Tate-valued Characteristic Classes II: ApplicationsComments: 26 pages, comments welcome (in v2 we fixed some misused terminology and added references)Subjects: Algebraic Topology (math.AT)
We present a construction that manufactures $\E_\infty$ orientations of Tate fixed-point objects together with useful formulas for these maps, and then give a number of applications. For example, we produce a formula for the Frobenius homomorphisms of Thom spectra such as $\MU$ as well as certain lifts of Frobenius. We prove a rigidity property of $\MU$ as a \emph{cyclotomic} object. We construct a general obstruction theory for $\E_n$ complex orientations and establish various non-existence results for $p$-typical $\E_n$ orientations for low values of $p$ and $n$. We end with some miscellaneous further applications.
- [266] arXiv:2510.04255 (replaced) [pdf, html, other]
-
Title: Characteristic polynomials of non-Hermitian random band matricesComments: 38 pp; some references addedSubjects: Mathematical Physics (math-ph)
We consider the asymptotic local behavior of the second correlation functions of the characteristic polynomials of a certain class of Gaussian $N\times N$ non-Hermitian random band matrices with a bandwidth $W$. Given $W,N\to\infty$, we show that this behavior near the point in the bulk of the spectrum exhibits the crossover at $W\sim \sqrt{N}$: it coincides with those for Ginibre ensemble for $W\gg \sqrt{N}$, and factorized as $1\ll W\ll \sqrt{N}$. The result is the first step toward the proof of Anderson's type transition for non-Hermitian random band matrices.
- [267] arXiv:2510.04379 (replaced) [pdf, html, other]
-
Title: Geometry of Distance ProtectionSubjects: Optimization and Control (math.OC); Information Theory (cs.IT); Systems and Control (eess.SY)
Distance relays detect faults on transmission lines. They face uncertainty from the fault's location and resistance, as well as the current from the line's remote terminal. In this paper, we aggregate this uncertainty with the Minkowski sum. This allows us to explicitly model the power grid surrounding the relay's line, and in turn accommodate any mix of synchronous machines and inverter-based resources. To make the relay's task easier, inverters can inject perturbations, or auxiliary signals, such as negative-sequence current. We use Farkas' lemma to construct an optimization for designing inverter auxiliary signals.
- [268] arXiv:2510.04422 (replaced) [pdf, html, other]
-
Title: The smallest eigenvalue of $β$-Laguerre and $β$-Jacobi ensembles and multivariate orthogonal polynomialsComments: 19 pages, 4 FiguresSubjects: Mathematical Physics (math-ph)
We study the smallest eigenvalue statistics of the $\beta$-Laguerre and $\beta$-Jacobi ensembles. Using Kaneko's integral formula, we show that the smallest eigenvalue marginal density and distribution functions of the two ensembles for any $\beta>0$ can be represented in terms of multivariate Laguerre and Jacobi polynomials evaluated at a multiple of the identity, provided that the exponent of $x$ in the Laguerre and Jacobi weights is an integer. These representations are readily computable in explicit form using existing symbolic algorithms for multivariate orthogonal polynomials.
From these expressions, we derive new differentiation formulas for the multivariate Laguerre and Jacobi polynomials. Furthermore, we derive explicit solutions to the Painleve V and VI differential equations associated with the smallest eigenvalue of the LUE and JUE. We provide numerical experiments and examples. - [269] arXiv:2510.05455 (replaced) [pdf, html, other]
-
Title: Optimization via a Control-Centric FrameworkComments: This work has been submitted to the IEEE for possible publication. 12 pages, 3 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Optimization plays a central role in intelligent systems and cyber-physical technologies, where speed and reliability of convergence directly impact performance. In control theory, optimization-centric methods are standard: controllers are designed by repeatedly solving optimization problems, as in linear quadratic regulation, $H_\infty$ control, and model predictive control. In contrast, this paper develops a control-centric framework for optimization itself, where algorithms are constructed directly from Lyapunov stability principles rather than being proposed first and analyzed afterward. A key element is the stationarity vector, which encodes first-order optimality conditions and enables Lyapunov-based convergence analysis. By pairing a Lyapunov function with a selectable decay law, we obtain continuous-time dynamics with guaranteed exponential, finite-time, fixed-time, or prescribed-time convergence. Within this framework, we introduce three feedback realizations of increasing restrictiveness: the Hessian-gradient, Newton, and gradient dynamics. Each realization shapes the decay of the stationarity vector to achieve the desired rate. These constructions unify unconstrained optimization, extend naturally to constrained problems via Lyapunov-consistent primal-dual dynamics, and broaden the results for minimax and generalized Nash equilibrium seeking problems beyond exponential stability. The framework provides systematic design tools for optimization algorithms in control and game-theoretic problems.
- [270] arXiv:2510.05546 (replaced) [pdf, html, other]
-
Title: Constant $k$th-mixed curvatureComments: arXiv admin note: substantial text overlap with arXiv:2501.03749Subjects: Differential Geometry (math.DG)
In this paper, we consider general $k$th-mixed curvature $\mathcal{C}^{(k)}_{\alpha,\beta}$ ($\beta\neq0$) for Hermitian manifolds, which is a convex combination of the $k$th Chern Ricci curvature and holomorphic sectional curvature. We prove that any compact Hermitian surface with constant $k$th-mixed curvature is self-dual. Furthermore, we show that if a compact Hermitian surface has constant 2th-mixed curvature $c$, then the Hermitian metric must be Kähler. For the higher-dimensional case, when the parameters $\alpha$ and $\beta$ satisfy certain conditions, we can also obtain partial results.
- [271] arXiv:2510.05638 (replaced) [pdf, html, other]
-
Title: Global fixed point in low-dimensional surface group deformation spaceComments: 9 pages. Ver.2: exposition added in section 2.2, and typo fixedSubjects: Geometric Topology (math.GT)
Under the natural action of the pure mapping class group of a surface, we show that any global fixed point in the low-dimensional deformation space of the fundamental group of the surface corresponds to the trivial representation, assuming the surface has genus greater than two. This result provides an alternative proof for a special case of a theorem by Landesman and Litt with a slight refinement. We also discuss a similar approach that may potentially lead to an alternative proof of the entirety of the theorem.
- [272] arXiv:2510.06364 (replaced) [pdf, html, other]
-
Title: $π_1$ of trigonal loci of strata of abelian differentialsComments: 13 pages, in v2 a reference was added to acknowledge a previous proof of a claim in the preprintSubjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
We investigate locally closed subspaces of projectivized strata of abelian differentials which classify trigonal curves with canonical divisor a multiple of a trigonal divisor. We describe their orbifold structure using linear systems on Segre-Hirzebruch surfaces and obtain results for their orbifold fundamental groups.
Most notable among these orbifolds is the connected component $\mathbf P\mathcal H^{ev}_4(6)$, the projectivisation of the space $\mathcal H^{ev}_4(6)$ of abelian differentials on non-hyperelliptic genus $4$ curves with a single zero of multiplicity 6 providing an even spin structure. Its orbifold fundamental group is identified with the quotient of the Artin group of type $E_8$ by its maximal central subgroup. - [273] arXiv:2510.06462 (replaced) [pdf, html, other]
-
Title: The quasi-Assouad dimension of $(1,2t)$-Furstenberg sets in $\mathbb{R}^3$ is extremized by sticky setsComments: The main result of this papers also follows from Corollary 1.10 of \cite{WZ25}, which is in fact a strictly stronger result. We thank Josh Zahl for bringing this to the author's attention. The manuscript will be updated to reflect this soonSubjects: Classical Analysis and ODEs (math.CA)
A $(1,2t)$-Furstenberg set in $\mathbb{R}^3$ is naturally defined as a set containing a union of unit line segments forming a $2t$-dimensional subset of the affine Grassmannian in $\mathbb{R}^3$ and satisfying a suitable variant of the Frostman Convex Wolff Axiom. Some of these sets have a multi-scale self-similarity property called stickiness. We investigate the extremizers of the quasi-Assouad dimension of $(1,2t)$-Furstenberg sets, a slightly stronger variant of the Assouad dimension. We prove that sticky $(1,2t)$-Furstenberg sets have the least possible quasi-Assouad dimension among all $(1,2t)$-Furstenberg sets.
This result also follows from Corollary 1.10 of Wang and Zahl's solution to the Kakeya conjecture, which implies that all $(1,2t)$-Furstenberg sets have Hausdorff dimension $2t+1$. - [274] arXiv:2510.07482 (replaced) [pdf, html, other]
-
Title: Potent categorical representationsComments: submitted to proceedings of 2026 ICMSubjects: Representation Theory (math.RT); Mathematical Physics (math-ph); Algebraic Geometry (math.AG)
We introduce and motivate -- based on ongoing joint work with Germán Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent categorical representations of $G$ and its Langlands dual $\check G$. We emphasize the symplectic nature of potent categorical representations in their simultaneous dependence on parameters in maximal tori for $G$ and $\check G$, specifically how their conjectural Langlands correspondence fits within a 2-categorical Fourier transform. Our key tool to make various ideas precise is higher sheaf theory and its microlocalization, specifically a theory of ind-coherent sheaves of categories on stacks. The constructions are inspired by the physics of 3d mirror symmetry and S-duality on the one hand, and the theory of double affine Hecke algebras on the other. We also highlight further conjectures related to ongoing programs in and around geometric representation theory.
- [275] arXiv:2510.07687 (replaced) [pdf, html, other]
-
Title: Elastic-plastic cell-based smoothed finite element method solving geotechnical problemsComments: 39 pages;21 figuresSubjects: Numerical Analysis (math.NA)
An elastic-plastic cell-based smoothed finite element method (CSFEM) is proposed for geotechnical analysis of soils and rocks exhibiting nonlinear and path-dependent behaviors. By introducing strain smoothing over subcell domains and employing a consistent stress return-mapping algorithm, the method enhances stress accuracy, alleviates volumetric locking, and reduces sensitivity to mesh distortion while retaining the flexibility of polygonal elements. The formulation is implemented in ABAQUS via a user-defined element and validated through benchmark and practical problems, including a pressurized thick cylinder, biaxial soil test, strip footing bearing capacity, tunnel excavation, and slope stability. Numerical results show excellent agreement with analytical solutions and conventional FEM, with smoother stress fields, improved convergence, and higher accuracy in ultimate load prediction. These findings demonstrate that CSFEM provides a stable and efficient framework for elastic-plastic analysis of complex geotechnical problems.
- [276] arXiv:2510.08264 (replaced) [pdf, html, other]
-
Title: Hölder regularity of the solutions of Fredholm integral equations on upper Ahlfors regular setsSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We extend to the context of metric measured spaces, with a measure that satisfies upper Ahlfors growth conditions the validity of (generalized) Hölder continuity results for the solution of a Fredholm integral equation of the second kind. Here we note that upper Ahlfors growth conditions include also cases of nondoubling measures.
- [277] arXiv:2510.08384 (replaced) [pdf, html, other]
-
Title: A study of 2-periodic weft-knitted textiles using the theory of knots and linksComments: 43 pages, 27 figures, 4 tablesSubjects: Geometric Topology (math.GT); General Topology (math.GN)
In this study, we use a correspondence between two-periodic weft-knitted textiles and links in the thickened torus to study the former using link invariants. We establish a criterion to identify the set of links whose elements are realized through techniques of weft-knitting leading to new, unconventional types of weft-knitting stitch patterns. A crucial topological underpinning of these links is shown to be their correspondence with ribbon knots and links in Euclidean three-space and equivalently in the three-sphere. Using the mechanics of weft-knitting, we propose a protocol for constructing and enumerating links in the thickened torus that can be knitted as a motif of a weft-knitted textile, and we call such links \emph{swatches}. Based on our analysis of link invariants of swatches, we propose conjectures on hyperbolic structure of the link complements of swatches and their multivariable Alexander polynomials.
- [278] arXiv:2107.02445 (replaced) [pdf, html, other]
-
Title: Generalised holonomies and K(E$_9$)Comments: 22 pages. v2: minor modifications and updated references; JHEP version. v3: Eq. (3.11) corrected and explanations addedSubjects: High Energy Physics - Theory (hep-th); Representation Theory (math.RT)
The involutory subalgebra K(E$_9$) of the affine Kac-Moody algebra E$_9$ was recently shown to admit an infinite sequence of unfaithful representations of ever increasing dimensions arXiv:2102.00870. We revisit these representations and describe their associated ideals in more detail, with particular emphasis on two chiral versions that can be constructed for each such representation. For every such unfaithful representation we show that the action of K(E$_9$) decomposes into a direct sum of two mutually commuting (`chiral' and `anti-chiral') parabolic algebras with Levi subalgebra $\mathfrak{so}(16)_+\,\oplus\,\mathfrak{so}(16)_-$. We also spell out the consistency conditions for uplifting such representations to unfaithful representations of K(E$_{10}$). From these results it is evident that the holonomy groups so far discussed in the literature are mere shadows (in a Platonic sense) of a much larger structure.
- [279] arXiv:2302.08424 (replaced) [pdf, other]
-
Title: From Contextual Data to Newsvendor Decisions: On the Actual Performance of Data-Driven AlgorithmsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Methodology (stat.ME)
In this work, we study how the relevance/quality and quantity of past data influence performance by analyzing a contextual Newsvendor problem, in which a decision-maker trades off between underage and overage costs under uncertain demand. We consider a setting in which past demands observed under ``close by'' contexts come from close by distributions and analyze the performance of data-driven algorithms through a notion of context-dependent worst-case expected regret. We analyze the broad class of Weighted Empirical Risk Minimization (WERM) policies which weigh past data according to their similarity in the contextual space. This class includes classical policies such as ERM, k-Nearest Neighbors and kernel-based policies. Our main methodological contribution is to characterize exactly the worst-case regret of any WERM policy on any given configuration of contexts. To the best of our knowledge, this provides the first understanding of tight performance guarantees in any contextual decision-making problem, with past literature focusing on upper bounds via concentration inequalities. We instead take an optimization approach, and isolate a structure in the Newsvendor loss function that allows to reduce the infinite-dimensional optimization problem over worst-case distributions to a simple line search. This in turn allows us to unveil fundamental insights that were obfuscated by previous general-purpose bounds. We characterize actual guaranteed performance as a function of the contexts, as well as granular insights on the learning curve of algorithms.
- [280] arXiv:2311.04014 (replaced) [pdf, html, other]
-
Title: A Method to Improve the Performance of Reinforcement Learning Based on the Y Operator for a Class of Stochastic Differential Equation-Based Child-Mother SystemsComments: 15 pages, 2 figuresSubjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
This paper introduces a novel operator, termed the Y operator, to elevate control performance in Actor-Critic(AC) based reinforcement learning for systems governed by stochastic differential equations(SDEs). The Y operator ingeniously integrates the stochasticity of a class of child-mother system into the Critic network's loss function, yielding substantial advancements in the control performance of RL this http URL, the Y operator elegantly reformulates the challenge of solving partial differential equations for the state-value function into a parallel problem for the drift and diffusion functions within the system's SDEs.A rigorous mathematical proof confirms the operator's this http URL transformation enables the Y Operator-based Reinforcement Learning(YORL) framework to efficiently tackle optimal control problems in both model-based and data-driven this http URL superiority of YORL is demonstrated through linear and nonlinear numerical examples showing its enhanced performance over existing methods post convergence.
- [281] arXiv:2405.04147 (replaced) [pdf, html, other]
-
Title: Multiparameter regularization and aggregation in the context of polynomial functional regressionElke R. Gizewski, Markus Holzleitner, Lukas Mayer-Suess, Sergiy Pereverzyev Jr., Sergei V. PereverzyevComments: 24 pages, to appear in Analysis and ApplicationsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA); Statistics Theory (math.ST)
Most of the recent results in polynomial functional regression have been focused on an in-depth exploration of single-parameter regularization schemes. In contrast, in this study we go beyond that framework by introducing an algorithm for multiple parameter regularization and presenting a theoretically grounded method for dealing with the associated parameters. This method facilitates the aggregation of models with varying regularization parameters. The efficacy of the proposed approach is assessed through evaluations on both synthetic and some real-world medical data, revealing promising results.
- [282] arXiv:2412.08814 (replaced) [pdf, html, other]
-
Title: Universal finite-size scaling in high-dimensional critical phenomenaComments: 13 pages, 13 figures, 2 tablesSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Probability (math.PR)
We present a new unified theory of critical finite-size scaling for lattice statistical mechanical models with periodic boundary conditions above the upper critical dimension. Our theory is based on recent mathematically rigorous results for linear and branched polymers, multi-component spin systems, and percolation. Both short-range and long-range interactions are included. The universal finite-size scaling is inherited from the scaling of the system unwrapped to the infinite lattice. We also present conjectures for universal scaling profiles for the susceptibility and two-point function plateau in a critical window. For free boundary conditions, the universal scaling has been proven to apply at a pseudocritical point for hierarchical spins, and we conjecture that this holds generally.
- [283] arXiv:2412.20015 (replaced) [pdf, html, other]
-
Title: A Family of Vertex Algebras from Argyres-Douglas TheoryComments: 29 pages, 6 figures, v3: minor correctionSubjects: High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA)
We find that multiple vertex algebras can arise from a single 4d $\mathcal{N}=2$ superconformal field theory (SCFT). The connection is given by the BPS monodromy operator $M$, which is a wall-crossing invariant quantity that captures the BPS spectrum on the Coulomb branch. For a class of low-rank Argyres-Douglas theories, we find that the trace of the multiple powers of the monodromy operator $\mathrm{Tr} M^N$ yield modular functions that can be identified with the vacuum characters of certain vertex algebra for each $N$. In particular, we realize unitary VOAs of the Deligne-Cvitanović exceptional series type $(A_2)_1$, $(G_2)_1$, $(D_4)_1$, $(F_4)_1$, $(E_6)_1$ from Argyres-Douglas theories. We also find the modular invariant characters of the `intermediate vertex algebras' $(E_{7\frac{1}{2}})_1$ and $(X_1)_1$. Our analysis allows us to construct 3d $\mathcal{N}=2$ gauge theories that flow to $\mathcal{N}=4$ SCFTs in the IR, whose specialized half-index can be identified with these modular invariant characters.
- [284] arXiv:2501.13180 (replaced) [pdf, html, other]
-
Title: The Strong Cosmic Censorship ConjectureComments: v2: references updatesJournal-ref: Comptes Rendus, Mecanique, Volume 353 (2025), pp. 415-454. Recent advances in general relativity: an issue in memory of Yvonne Choquet-BruhatSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Differential Geometry (math.DG)
In the wake of major breakthroughs in General Relativity during the 1960s, Roger Penrose introduced Strong Cosmic Censorship, a profound conjecture regarding the deterministic nature of the theory. Penrose's proposal has since opened far-reaching new mathematical avenues, revealing connections to fundamental questions about black holes and the nature of gravitational singularities. We review recent advances arising from modern techniques in the theory of partial differential equations as applied to Strong Cosmic Censorship, maintaining a focus on the context of gravitational collapse that gave birth to the conjecture.
- [285] arXiv:2502.05896 (replaced) [pdf, html, other]
-
Title: Complexity and accessibility of random landscapesComments: Lecture notes for the Les Houches summer school "Theory of Large Deviations and Applications"; 22 pages, 7 figures. The discussion of basins of attraction has been expanded and additional references have been addedSubjects: Populations and Evolution (q-bio.PE); Disordered Systems and Neural Networks (cond-mat.dis-nn); Probability (math.PR)
These notes introduce probabilistic landscape models defined on high-dimensional discrete sequence spaces. The models are motivated primarily by fitness landscapes in evolutionary biology, but links to statistical physics and computer science are mentioned where appropriate. Elementary and advanced results on the structure of landscapes are described with a focus on features that are relevant to evolutionary searches, such as the number of local maxima and the existence of fitness-monotonic paths. The recent discovery of submodularity as a biologically meaningful property of fitness landscapes and its consequences for their accessibility is discussed in detail.
- [286] arXiv:2502.19499 (replaced) [pdf, html, other]
-
Title: On the Interpolation Effect of Score Smoothing in Diffusion ModelsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Score-based diffusion models have achieved remarkable progress in various domains with the ability to generate new data samples that do not exist in the training set. In this work, we study the hypothesis that such creativity arises from an interpolation effect caused by a smoothing of the empirical score function. Focusing on settings where the training set lies uniformly in a one-dimensional subspace, we show theoretically how regularized two-layer ReLU neural networks tend to learn approximately a smoothed version of the empirical score function, and further probe the interplay between score smoothing and the denoising dynamics with analytical solutions and numerical experiments. In particular, we demonstrate how a smoothed score function can lead to the generation of samples that interpolate the training data along their subspace while avoiding full memorization. Moreover, we present experimental evidence that learning score functions with neural networks indeed induces a score smoothing effect, including in simple nonlinear settings and without explicit regularization.
- [287] arXiv:2504.00853 (replaced) [pdf, html, other]
-
Title: Universality of the topological phase transition in the interacting Haldane modelComments: 19 pages, 3 figures. Final version, accepted for publication on Phys. Rev. B. Compared to the previous version, a few typos spotted during the proofreading process have been correctedSubjects: Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
The Haldane model is a standard tight-binding model describing electrons hopping on a hexagonal lattice subject to a transverse, dipolar magnetic field. We consider its interacting version for values of the interaction strength that are small compared to the bandwidth. We study the critical case at the transition between the trivial and the `topological' insulating phases, and we rigorously establish that the transverse conductivity on the dressed critical line is quantized at a half-integer multiple of $e^2/h$: this is the average of the integer values of the Hall conductivity in the insulating phases on either side of the dressed critical line. Together with previous results, this fully characterizes the nature of the phase transition between different Hall plateaus and proves its universality with respect to many-body interactions. The proof is based on a combination of constructive renormalization group methods and exact lattice Ward identities.
- [288] arXiv:2504.12370 (replaced) [pdf, html, other]
-
Title: The coexistence of null and spacelike singularities inside spherically symmetric black holesComments: 49 pages, 6 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
In our previous work [Van de Moortel, The breakdown of weak null singularities, Duke Mathematical Journal 172 (15), 2957-3012, 2023], we showed that dynamical black holes formed in charged spherical collapse generically feature both a null weakly singular Cauchy horizon and a stronger (presumably spacelike) singularity, confirming a longstanding conjecture in the physics literature. However, this previous result, based on a contradiction argument, did not provide quantitative estimates on the stronger singularity.
In this study, we adopt a new approach by analyzing local initial data inside the black hole that are consistent with a breakdown of the Cauchy horizon. We prove that the remaining portion is spacelike and obtain sharp spacetime estimates near the null-spacelike transition. Notably, we show that the Kasner exponents of the spacelike portion are positive, in contrast to the well-known Oppenheimer-Snyder model of gravitational collapse. Moreover, these exponents degenerate to (1,0,0) towards the null-spacelike transition.
Our result provides the first quantitative instances of a null-spacelike singularity transition inside a black hole. In our companion paper, we moreover apply our analysis to carry out the construction of a large class of asymptotically flat one or two-ended black holes featuring coexisting null and spacelike singularities. - [289] arXiv:2505.21429 (replaced) [pdf, other]
-
Title: Scalar field stochastic dynamics in de Sitter spacetime from exact solutions of quantum deficient oscillatorsComments: 32 pages, 8 figuresSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
The stochastic dynamics of a scalar field in de Sitter spacetime can be regarded as a non-perturbative diffusion process, to which exact distribution and correlation functions are constructed by utilising the correspondence between diffusion and Schrödinger equations. The Krein--Adler transformation of the quantum harmonic oscillator deletes several pairs of the energy levels to define anharmonic oscillators that we dub quantum deficient oscillators, based on which this article constructs a new class of exact solutions in stochastic inflation. In addition to the simplest single-well model, an exactly solvable double-well model is also presented. The results are further extended to exactly solvable models with multiple wells, allowing analytical studies on various cosmological phenomenologies.
- [290] arXiv:2506.03668 (replaced) [pdf, html, other]
-
Title: The Yang-Baxter integrability of the critical Ising chainComments: v3 closer to the published version 29 pages + appendices + referencesJournal-ref: J. Stat. Mech. (2025) 103102Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI); Quantum Physics (quant-ph)
We show that the one dimensional, critical transverse field Ising model is Yang-Baxter integrable. This is done by constructing commuting transfer matrices built out of a $R$-matrix satisfying the Yang-Baxter equation with additive spectral parameters. The $R$-matrix is non-local, as it is expressed in terms of Majorana fermions. It is also non-regular. Nevertheless, we show that the quantum inverse scattering method can still be suitably adapted. We then recursively obtain the conserved quantities [in the infinite volume] by the boost operator method. Remarkably, among the conserved charges we also find the Kramers-Wannier duality and other non-invertible symmetries for the periodic transverse field Ising model.
- [291] arXiv:2508.09143 (replaced) [pdf, html, other]
-
Title: An Angle-Based Algorithmic Framework for the Interval Discretizable Distance Geometry ProblemWagner A. A. da Rocha, Carlile Lavor, Leo Liberti, Leticia de Melo Costa, Leonardo D. Secchin, Therese E. MalliavinSubjects: Biomolecules (q-bio.BM); Metric Geometry (math.MG)
Distance Geometry plays a central role in determining protein structures from Nuclear Magnetic Resonance (NMR) data, a task known as the Molecular Distance Geometry Problem (MDGP). A subclass of this problem, the Discretizable Distance Geometry Problem (DDGP), allows a recursive solution via the combinatorial Branch-and-Prune (BP) algorithm by exploiting specific vertex orderings in protein backbones. To accommodate the inherent uncertainty in NMR data, the interval Branch-and-Prune (\textit{i}BP) algorithm was introduced, incorporating interval distance constraints through uniform sampling. In this work, we propose two new algorithmic frameworks for solving the three-dimensional interval DDGP (\textit{i}DDGP): the interval Angular Branch-and-Prune (\textit{i}ABP), and its extension, the interval Torsion-angle Branch-and-Prune (\textit{i}TBP). These methods convert interval distances into angular constraints, enabling structured sampling over circular arcs. The \textit{i}ABP method guarantees feasibility by construction and removes the need for explicit constraint checking. The \textit{i}TBP algorithm further incorporates known torsion angle intervals, enforcing local chirality and planarity conditions critical for protein geometry. We present formal mathematical foundations for both methods and a systematic strategy for generating biologically meaningful \textit{i}DDGP instances from the Protein Data Bank (PDB) structures. Computational experiments demonstrate that both \textit{i}ABP and \textit{i}TBP consistently outperform \textit{i}BP in terms of solution rate and computational efficiency. In particular, \textit{i}TBP yields solutions with lower RMSD variance relative to the original PDB structures, better reflecting biologically plausible conformations.
- [292] arXiv:2508.10168 (replaced) [pdf, other]
-
Title: Statistical methods: Basic concepts, interpretations, and cautionsComments: 64 pages. For Pigeot I, Ahrens W, eds., Handbook of Epidemiology, 3rd edn. Springer, 2025, Ch. 54-1Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
The study of associations and their causal explanations is a central research activity whose methodology varies tremendously across fields. Even within specialized subfields, comparisons across textbooks and journals reveals that the basics are subject to considerable variation and controversy. This variation is often obscured by the singular viewpoints presented within textbooks and journal guidelines, which may be deceptively written as if the norms they adopt are unchallenged. Furthermore, human limitations and the vastness within fields imply that no one can have expertise across all subfields and that interpretations will be severely constrained by the limitations of studies of human populations.
The present chapter outlines an approach to statistical methods that attempts to recognize these problems from the start, rather than assume they are absent as in the claims of 'statistical significance' and 'confidence' ordinarily attached to statistical tests and interval estimates. It does so by grounding models and statistics in data description, and treating inferences from them as speculations based on assumptions that cannot be fully validated or checked using the analysis data. - [293] arXiv:2508.19386 (replaced) [pdf, html, other]
-
Title: Numerical simulations of oscillations for axisymmetric solar backgrounds with differential rotation and gravityComments: 67 pages, 16 figuresSubjects: Solar and Stellar Astrophysics (astro-ph.SR); Instrumentation and Methods for Astrophysics (astro-ph.IM); Analysis of PDEs (math.AP)
Local helioseismology comprises of imaging and inversion techniques employed to reconstruct the dynamic and interior of the Sun from correlations of oscillations observed on the surface, all of which require modeling solar oscillations and computing Green's kernels. In this context, we implement and investigate the robustness of the Hybridizable Discontinuous Galerkin (HDG) method in solving the equation modeling stellar oscillations for realistic solar backgrounds containing gravity and differential rotation. While a common choice for modeling stellar oscillations is the Galbrun's equation, our working equations are derived from an equivalent variant, involving less regularity in its coefficients, working with Lagrangian displacement and pressure perturbation as unknowns. Under differential rotation and axisymmetric assumption, the system is solved in azimuthal decomposition with the HDG method. Compared to no-gravity approximations, the mathematical nature of the wave operator is now linked to the profile of the solar buoyancy frequency N which encodes gravity, and leads to distinction into regions of elliptic or hyperbolic behavior of the wave operator at zero attenuation. While small attenuation is systematically included to guarantee theoretical well-posedness, the above phenomenon affects the numerical solutions in terms of amplitude and oscillation pattern, and requires a judicious choice of stabilization. We investigate the stabilization of the HDG discretization scheme, and demonstrate its importance to ensure the accuracy of numerical results, which is shown to depend on frequencies relative to N, and on the position of the Dirac source. As validations, the numerical power spectra reproduce accurately the observed effects of the solar rotation on acoustic waves.
- [294] arXiv:2509.03088 (replaced) [pdf, html, other]
-
Title: Nonlinear realisation approach to extended supergravity theories in three dimensionsComments: 32 pages; v2: comments and references addedSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We elaborate on the nonlinear realisation approach to spontaneously broken supergravity in three dimensions presented in arXiv:2304.09506. Using this approach we provide a novel derivation of $\mathcal{N}$-extended supergravity, with and without a cosmological term. It corresponds to a Stückelberg-type extension of the following theories: (i) the $(p,q)$ anti-de Sitter (AdS) supergravity theories with $p+q=\mathcal{N}$, $p\geq q\geq 0$ proposed by Achúcarro and Townsend; and (ii) the $\mathcal{N}$-extended Poincaré supergravity of Marcus and Schwarz. We also apply the approach to obtain a Stückelberg reformulation of the supersymmetric Lorentz Chern-Simons action for arbitrary $\mathcal{N}$. In our construction, the pure supergravity actions (Poincaré and AdS) share the invariance under two different local $\mathcal{N}$-extended supersymmetries. One of them acts on the Goldstini, while the other supersymmetry leaves the Goldstini inert. The $\mathcal{N}$-extended supersymmetric Lorentz Chern-Simons action proposed in our setting shares the former supersymmetry, but differs in the one that leaves the Goldstini inert. The supersymmetry that acts on the Goldstini can be used to gauge them away, and then the resulting actions coincide with that given in the literature.
- [295] arXiv:2509.05454 (replaced) [pdf, html, other]
-
Title: Continuous-Time Quantum State Transfer with a Generalized LaplacianSubjects: Quantum Physics (quant-ph); Combinatorics (math.CO)
Quantum walks generated by the adjacency matrix or the Laplacian are known to exhibit low transfer fidelity on general graphs. In this paper, we study continuous-time quantum walks governed by the generalized Laplacian operator L_k = A+kD, where A is the adjacency matrix, D is the degree matrix, and k is a real-valued parameter. Recent work of Duda, McLaughlin, and Wong showed that in the single-excitation Heisenberg (XYZ) spin model, one can realize walks generated by this family of operators on signed weighted graphs. Motivated by earlier studies on vertex-weighted graphs, we demonstrate that for certain graphs, tuning the parameter k can significantly enhance the fidelity of state transfer between endpoints.
- [296] arXiv:2509.13944 (replaced) [pdf, html, other]
-
Title: Bridging Control Variates and Regression Adjustment in A/B Testing: From Design-Based to Model-Based FrameworksComments: 20 pages, 44 figuresSubjects: Methodology (stat.ME); Probability (math.PR)
A B testing serves as the gold standard for large scale, data driven decision making in online businesses. To mitigate metric variability and enhance testing sensitivity, control variates and regression adjustment have emerged as prominent variance reduction techniques, leveraging pre experiment data to improve estimator performance. Over the past decade, these methods have spawned numerous derivatives, yet their theoretical connections and comparative properties remain underexplored. In this paper, we conduct a comprehensive analysis of their statistical properties, establish a formal bridge between the two frameworks in practical implementations, and extend the investigation from design based to model-based frameworks. Through simulation studies and real world experiments at ByteDance, we validate our theoretical insights across both frameworks. Our work aims to provide rigorous guidance for practitioners in online controlled experiments, addressing critical considerations of internal and external validity. The recommended method control variates with group specific coefficient estimates has been fully implemented and deployed on ByteDance's experimental platform.
- [297] arXiv:2509.24625 (replaced) [pdf, html, other]
-
Title: Information Loss and Cost in Symmetry BreakingComments: 24 pages, v2 includes a new appendix, 6 figuresSubjects: Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We develop an algebraic and information-theoretic framework to characterize symmetry breaking of generalized, non-invertible symmetries in two spatial dimensions. The reduction of symmetry is modeled within subfactor theory, where condensable Frobenius algebras play the role of subgroups in the categorical setting. This perspective naturally connects to the description of anyon condensation in topological phases of matter. Central to our approach are coarse-graining maps, or conditional expectations, which act as quantum channels projecting observables from a phase with higher symmetry onto one where the symmetry is partially or completely broken by condensation. By employing relative entropy as an entropic order parameter, we quantify the information loss induced by condensation and establish a universal bound governed by the Jones index, which is equal to the quantum dimension of the condensate. We illustrate the framework through explicit examples, including the toric code, abelian groups $\mathbb{Z}_N$, and the representation category Rep($S_3$), and show how dualities give rise to equivalence classes of condensation patterns. Our results forge new connections between operator algebras, tensor category theory, and quantum information in the study of generalized symmetries.
- [298] arXiv:2509.24665 (replaced) [pdf, html, other]
-
Title: Hierarchical Analysis and Control of Epidemic Spreading over Networks using Dissipativity and Mesh StabilityComments: To be submitted to AutomaticaSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Analyzing and controlling spreading processes are challenging problems due to the involved non-linear node (subsystem) dynamics, unknown disturbances, complex interconnections, and the large-scale and multi-level nature of the problems. The dissipativity concept provides a practical framework for addressing such concerns, thanks to the energy-based representation it offers for subsystems and the compositional properties it provides for the analysis and control of interconnected (networked) systems comprised of such subsystems. Therefore, in this paper, we utilize the dissipativity concept to analyze and control a spreading process that occurs over a hierarchy of nodes, groups, and a network (i.e., a spreading network). We start by generalizing several existing results on dissipativity-based topology design for networked systems. Next, we model the considered spreading network as a networked system and establish the dissipativity properties of its nodes. The generalized topology design method is then applied at multiple levels of the considered spreading network to formulate its analysis and control problems as Linear Matrix Inequality (LMI) problems. We identify and enforce localized necessary conditions to support the feasibility of the LMI problem solved at each subsequent hierarchical level of the spreading network. Consequently, the proposed method does not involve iterative multi-level optimization stages that are computationally inefficient. The proposed control solution ensures that the spreading network is not only stable but also dissipative and mesh-stable. Compared to conventional methods, such as threshold pruning and high-degree edge removal, our approach offers superior performance in terms of infection containment, control efficiency, and disturbance robustness. Extensive numerical results demonstrate the effectiveness of the proposed technique.
- [299] arXiv:2509.26135 (replaced) [pdf, other]
-
Title: Progress in the study of the (non)existence of genuinely unextendible product basesComments: 27 pages, 22 figures (TikZ), 3 tables; v2 with minor changesSubjects: Quantum Physics (quant-ph); Combinatorics (math.CO)
We investigate the open problem of the existence of genuinely unextendible product bases (GUPBs), that is, multipartite unextendible product bases (UPBs) which remain unextendible even with respect to biproduct vectors across all bipartitions of the parties. To this end, we exploit the well-known connection between UPBs and graph theory through orthogonality graphs and orthogonal representations, together with recent progress in this framework, and employ forbidden induced subgraph characterizations to single out the admissible local orthogonality graphs for GUPBs. Using this approach, we establish that GUPBs of size thirteen in three-qutrit systems-the smallest candidate GUPBs-do not exist. We further provide a partial characterization of graphs relevant to larger bases and systems with ququart subsystems.
- [300] arXiv:2510.04267 (replaced) [pdf, html, other]
-
Title: Turning Down the Noise: Power-Law Decay and Temporal Phase TransitionsComments: 18 pages, 6 figures, updated figures and referencesSubjects: Quantum Physics (quant-ph); Quantum Gases (cond-mat.quant-gas); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We determine the late-time dynamics of a generic spin ensemble with inhomogeneous broadening - equivalently, qubits with arbitrary Zeeman splittings - coupled to a dissipative environment with strength decreasing as $1/t$. The approach to the steady state follows a power law, reflecting the interplay between Hamiltonian dynamics and vanishing dissipation. The decay exponents vary non-analytically with the ramp rate, exhibiting a cusp singularity, and $n$-point correlation functions factorize into one- and two-point contributions. Our exact solution anchors a universality class of open quantum systems with explicitly time-dependent dissipation.
- [301] arXiv:2510.06080 (replaced) [pdf, html, other]
-
Title: Mechanistic-statistical inference of mosquito dynamics from mark-release-recapture dataSubjects: Populations and Evolution (q-bio.PE); Analysis of PDEs (math.AP)
Biological control strategies against mosquito-borne diseases--such as the sterile insect technique (SIT), RIDL, and Wolbachia-based releases--require reliable estimates of dispersal and survival of released males. We propose a mechanistic--statistical framework for mark--release--recapture (MRR) data linking an individual-based 2D diffusion model with its reaction--diffusion limit. Inference is based on solving the macroscopic system and embedding it in a Poisson observation model for daily trap counts, with uncertainty quantified via a parametric bootstrap. We validate identifiability using simulated data and apply the model to an urban MRR campaign in El Cano (Havana, Cuba) involving four weekly releases of sterile Aedes aegypti males. The best-supported model suggests a mean life expectancy of about five days and a typical displacement of about 180 m. Unlike empirical fits of survival or dispersal, our mechanistic approach jointly estimates movement, mortality, and capture, yielding biologically interpretable parameters and a principled framework for designing and evaluating SIT-based interventions.
- [302] arXiv:2510.07532 (replaced) [pdf, html, other]
-
Title: On Quantum Computation Using Bias-Preserving GatesComments: Submitted to QIP 2026Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
Certain types of quantum computing platforms, such as those realized using Rydberg atoms or Kerr-cat qubits, are natively more susceptible to Pauli-Z noise than Pauli-X noise, or vice versa. On such hardware, it is useful to ensure that computations use only gates that maintain the Z-bias (or X-bias) in the noise. This is so that quantum error-correcting codes tailored for biased-noise models can be used to provide fault-tolerance on these platforms. In this paper, we follow up on the recent work of Fellous-Asiani et al. (npj Quantum Inf., 2025) in studying the structure and properties of bias-preserving gates. Our main contributions are threefold: (1) We give a novel characterization of Z-bias-preserving gates based on their decomposition as a linear combination of Pauli operators. (2) We show that any Z-bias-preserving gate can be approximated arbitrarily well using only gates from the set {X,R_z(\theta),CNOT,CCNOT}, where \theta is any irrational multiple of 2\pi. (3) We prove, by drawing a connection with coherence resource theory, that any Z-bias-preserving logical operator acting on the logical qubits of a Calderbank-Shor-Steane (CSS) code can be realized by applying Z-bias-preserving gates on the physical qubits. Along the way, we also demonstrate that Z-bias-preserving gates are far from being universal for quantum computation.
- [303] arXiv:2510.08539 (replaced) [pdf, html, other]
-
Title: On the optimization dynamics of RLVR: Gradient gap and step size thresholdsSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Optimization and Control (math.OC); Machine Learning (stat.ML)
Reinforcement Learning with Verifiable Rewards (RLVR), which uses simple binary feedback to post-train large language models, has shown significant empirical success. However, a principled understanding of why it works has been lacking. This paper builds a theoretical foundation for RLVR by analyzing its training process at both the full-response (trajectory) and token levels. Central to our analysis is a quantity called the Gradient Gap, which formalizes the direction of improvement from low-reward to high-reward regions of the response space. We prove that convergence critically depends on aligning the update direction with this Gradient Gap. Moreover, we derive a sharp step-size threshold based on the magnitude of the Gradient Gap: below it, learning converges, whereas above it, performance collapses. Our theory further predicts how the critical step size must scale with response length and the success rate, thereby explaining why practical heuristics such as length normalization improve stability and showing that, with a fixed learning rate, the success rate can stagnate strictly below $100\%$. We validate these predictions through controlled bandit simulations.