Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Wed, 4 Feb 26
- [1] arXiv:2602.02508 [pdf, ps, other]
-
Title: Precoding-Oriented CSI Feedback Design with Mutual Information Regularized VQ-VAEComments: 5 pages, submitted to IEEE VTC conferenceSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Image and Video Processing (eess.IV)
Efficient channel state information (CSI) compression at the user equipment plays a key role in enabling accurate channel reconstruction and precoder design in massive multiple-input multiple-output systems. A key challenge lies in balancing the CSI feedback overhead with the achievable downlink rate, i.e., maximizing the utility of limited feedback to maintain high system performance. In this work, we propose a precoding-oriented CSI feedback framework based on a vector quantized variational autoencoder, augmented with an information-theoretic regularization. To achieve this, we introduce a differentiable mutual information lower-bound estimator as a training regularizer to promote effective utilization of the learned codebook under a fixed feedback budget. Numerical results demonstrate that the proposed method achieves rates comparable to variable-length neural compression schemes, while operating with fixed-length feedback. Furthermore, the learned codewords exhibit significantly more uniform usage and capture interpretable structures that are strongly correlated with the underlying channel state information.
- [2] arXiv:2602.02549 [pdf, ps, other]
-
Title: Error Analysis of Matrix Multiplication Emulation Using Ozaki-II SchemeComments: 18 pages, 4 figuresSubjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC)
The Ozaki-II scheme is an emulation method that leverages the Chinese Remainder Theorem to compute high-precision matrix multiplication via a sequence of low-precision matrix multiplications. In this scheme, the attainable numerical accuracy improves as the number of low-precision matrix multiplications increases. Previous numerical studies have shown that single- and double-precision matrix multiplication using the Ozaki-II scheme achieves higher throughput than that of standard BLAS routines on modern AI hardware equipped with fast INT8 matrix multiply-accumulate units with INT8 inputs and INT32 accumulation. However, the accuracy of the Ozaki-II scheme can degrade when the exponent distribution of the input matrices is wide, in which case a large number of low-precision matrix multiplications is required to obtain high-precision results. In this paper, we present a rigorous deterministic error analysis of the Ozaki-II scheme. The proposed analysis not only clarifies the accuracy behavior of the method but also enables the estimation of the number of low-precision matrix multiplications required to achieve a desired level of numerical accuracy.
- [3] arXiv:2602.02616 [pdf, other]
-
Title: A space-time LATIN-PGD strategy for solving Newtonian compressible flowsAuthors: Élise Foulatier (LMPS), Pierre-Alain Boucard (LMPS), François Louf (LMPS), David Néron (LMPS), Philipp JunkerSubjects: Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn); Medical Physics (physics.med-ph)
Simulating flow problems is at the core of many engineering applications but often requires high computational effort, especially when dealing with complex models. This work presents a novel approach for resolving flow problems using the LATIN-PGD solver. In this contribution, we place ourselves within the framework of Newtonian compressible and laminar flows. This specific and relatively simple case enables focusing on flows for which a state equation provides a direct relation between pressure and density. It is then possible to use the LATIN solver to set up a pressure-velocity decoupling algorithm. Moreover, Proper Generalised Decomposition (PGD) is natively included in the solver and yields two independent space-time decompositions for the velocity and the pressure fields. As a first step, the solver is validated on a problem for which an analytical solution is available. It is then applied to slightly more complex problems. The results show good agreement with the literature, and we expect that the solver could be used to compute more complicated material laws in the future.
- [4] arXiv:2602.02631 [pdf, ps, other]
-
Title: Revisiting Non-Rotating Star Models: Classical Existence and Uniqueness Theory and Scaling RelationsAuthors: Hangsheng ChenComments: 41 pages, comments welcomeSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This paper presents a systematic study of the properties of non-rotating stellar models governed by the Euler-Poisson system under general equations of state, including the case of polytropic gaseous stars. We revisit and extend existence results by Auchmuty and Beals \cite{AB71}, adapt the uniqueness results from the quantum mechanical framework of Lieb and Yau \cite{LY87} to the classical Newtonian mechanical setting. The results are also synthesized in McCann \cite{McC06} but without proof. The second work we do is applying a scaling method to establish relations between solutions with different total masses. As the mass tends to zero, we analyze convergence properties of the density functions and identify precise rates for the contraction or extension of their supports.
- [5] arXiv:2602.02642 [pdf, ps, other]
-
Title: Grid Diagrams of Fibered KnotsAuthors: Paul Leon ItzlingerComments: 17 pages, 6 figuresSubjects: Geometric Topology (math.GT); Combinatorics (math.CO); Symplectic Geometry (math.SG)
Grid diagrams are special representations of knots in the three-sphere that are used to define a combinatorial version of knot Floer homology. Paolo Ghiggini and Yi Ni showed that knot Floer homology detects fibered knots. Their results imply, in particular, that grid diagrams with a unique grid state whose Alexander grading is maximal only exist for fibered knots. Whether every fibered knot admits such a diagram remains an open question. Here, we investigate the existence of such special grid diagrams for fibered knots. We develop an efficient method for deciding whether a given grid diagram meets the even stricter condition of having a unique grid state that realizes an upper bound for the Alexander function. By implementing this method in a Python package, we find suitable grid diagrams for 5385 of the 5397 fibered prime knots with crossing number at most 13.
- [6] arXiv:2602.02664 [pdf, ps, other]
-
Title: A moduli space of character sheavesAuthors: Gabriel RibeiroComments: 59 pages, comments appreciatedSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We study de Rham character sheaves on a commutative connected algebraic group $G$, defined as multiplicative line bundles with integrable connection. We construct a group algebraic space $G^\flat$ representing their moduli problem on seminormal test schemes, and we investigate its functoriality and geometry. The main technical ingredient is a study of extension sheaves on the de Rham space $G_\text{dR}$. An appendix provides self-contained, elementary proofs of basic results on de Rham spaces that may be of independent interest.
- [7] arXiv:2602.02668 [pdf, ps, other]
-
Title: Marvelous slices of orthogonal matricesComments: 12 pages, one table, 5 figuresSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
The space of $4 \times 4$ special orthogonal matrices with zeros on the diagonal decomposes into the union of $14$ irreducible surfaces whose intersections are beautifully encoded by the cuboctahedron. Using this decomposition, we exhibit a totally real witness set for $SO(4)$. We explain how to obtain a similar decomposition for $SO(5)$, where the $64$ components can be grouped to obtain such a correspondence with the face lattice of a $3$-polytope. We show that no such pattern exists for $SO(6)$.
- [8] arXiv:2602.02715 [pdf, ps, other]
-
Title: Scattering and stability for ODE-type blow-up surfaces for focusing nonlinear wave equationsComments: 45 pagesSubjects: Analysis of PDEs (math.AP)
We study the focusing power nonlinear wave equation with any power, in Minkowski space of any spacetime dimension. We present a complete understanding of the local stability and scattering theory (both in high regularity spaces) for solutions exhibiting ODE type blow-up on spacelike hypersurfaces, with the blow-up at each point modelled by the explicit solution $\phi_{\mathrm{model}} = c_p t^{-\alpha_p}$.
Given a sufficiently regular spacelike hypersurface $\Sigma_f$, together with auxiliary scattering data $\psi$, we construct the unique corresponding solution to the nonlinear wave equation that (locally) forms an ODE type singularity on $\Sigma_f$ attaining $\psi$ as scattering data. Conversely, we show that such ODE type singularities are (locally) stable to suitably regular perturbations away from the singularity, and that the blow-up surface and scattering data remain regular, in a continuously dependent manner, following such perturbations. - [9] arXiv:2602.02723 [pdf, ps, other]
-
Title: Locally conformally homogeneous Lorentzian spacesSubjects: Differential Geometry (math.DG)
We study locally conformally homogeneous Lorentzian manifolds of dimension at least $3$, admitting an essential pseudo-group of local conformal transformations. Generalizing a recent result of Alekseevsky and Galaev, we show that any such manifold $(M,g)$ is either conformally flat, or locally conformally equivalent to a homogeneous plane wave. When the manifold is non-conformally flat, we show the existence of a codimension-one lightlike foliation of Heisenberg type, which leads to the plane wave structure. Our approach relies on tools from Gromov's theory of rigid transformations. Finally, we observe that the plane wave metric in the conformal class coincides with the Penrose limit of $(M,g)$ along some null geodesic.
- [10] arXiv:2602.02744 [pdf, ps, other]
-
Title: An introduction to local differential privacy protocols using block designsSubjects: Combinatorics (math.CO); Cryptography and Security (cs.CR)
The design of protocols for local differential privacy (or LDP) has been a topic of considerable research interest in recent years. LDP protocols utilise the randomised encoding of outcomes of an experiment using a transition probability matrix (TPM). Several authors have observed that balanced incomplete block designs (BIBDs) provide nice examples of TPMs for LDP protocols. Indeed, it has been shown that such BIBD-based LDP protocols provide optimal estimators.
In this primarily expository paper, we give a detailed introduction to LDP protocols and their connections with block designs. We prove that a subclass of LDP protocols known as pure LDP protocols are equivalent to $(r,\lambda)$-designs (which contain balanced incomplete block designs as a special case). An unbiased estimator for an LDP scheme is a left inverse of the transition probability matrix. We show that the optimal estimators for BIBD-based TPMs are precisely those obtained from the Moore-Penrose inverse of the corresponding TPM. We also review some existing work on optimal LDP protocols in the context of pure protocols. - [11] arXiv:2602.02747 [pdf, ps, other]
-
Title: Visualizing the Matrix Product as a Transformation: A Task Design Using GeoGebra in Secondary Mathematics EducationAuthors: Felix De La Cruz SerranoComments: in Spanish languageSubjects: History and Overview (math.HO)
The teaching of matrix multiplication in secondary education is often limited to the mechanical application of the row-by-column algorithm, leaving aside its interpretation as a geometric transformation. This study analyzes the impact of a GeoGebra-mediated instructional sequence, grounded in the Mathematical Working Space (MWS) framework, on students learning of the matrix product. Ten fifth-year secondary students from a school in Lima (Peru) participated in the study. The intervention was carried out over four sessions, combining manual activities with digital exploration using GeoGebra. The results show notable progress in students semiotic genesis, reflected in the coordination of algebraic, graphical, and numerical representations; in instrumental genesis, through the increasingly meaningful use of GeoGebra as a cognitive tool; and in discursive genesis, as students developed explanations of the geometric effects of matrices. A transition is observed from an algorithmic execution of matrix multiplication toward a conceptual understanding based on linear transformations. These findings suggest that task designs integrating manual work, dynamic visualization, and mathematical argumentation support deeper understanding of matrix multiplication and provide criteria for the reflective use of digital technologies in secondary linear algebra instruction.
- [12] arXiv:2602.02761 [pdf, ps, other]
-
Title: Existence for Stable Rotating Star-Planet SystemsAuthors: Hangsheng ChenComments: 53 pages, comments welcomeSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This paper investigates the existence and properties of stable, uniformly rotating star-planet systems, i.e. mass ratio is sufficiently small. It is modeled by the Euler-Poisson equations. Following the framework established by McCann for binary stars \cite{McC06}, we adopt a variational approach, and prove the existence of local energy minimizers with respect to the Wasserstein $L^\infty$ metric, under the assumed equation of state $P(\rho)=K\rho^\gamma$ and under the condition that the mass ratio $m$ is sufficiently small, corresponding to a star-planet system. Such minimizers correspond to solutions of the Euler-Poisson system. We consider two cases. For $\gamma > 2$, we not only prove existence but also show, via scaling arguments, that the radii (to be precise, the bounds of the supports of the minimizers) tend to zero. For $\frac{3}{2} < \gamma \leq 2$, we estimate an upper bound for the (potential) expansion rates of the radii, and it turns out that the existence result remains valid in this case as well. Finally, we provide estimates for the distances between different connected components of supports of minimizers and propose a conjecture regarding the number of connected components.
- [13] arXiv:2602.02764 [pdf, ps, other]
-
Title: Radicals of Biduals of Beurling Algebras Can Be Different for the Two Arens ProductsAuthors: Jared T. WhiteComments: 21 pagesSubjects: Functional Analysis (math.FA); Group Theory (math.GR)
Let $\operatorname{rad}$ denote the Jacobson radical of a Banach algebra, and let $\Box$ and $\Diamond$ denote the two Arens products on its bidual. We give an example of a Beurling algebra $\mathcal{A}$ for which $\operatorname{rad}(\mathcal{A}^{**}, \Box) \neq \operatorname{rad}(\mathcal{A}^{**}, \Diamond)$, answering a question of Dales and Lau. The underlying group in our example is the free group on three generators.
- [14] arXiv:2602.02768 [pdf, ps, other]
-
Title: Rate-Distortion Analysis of Optically Passive Vision CompressionSubjects: Information Theory (cs.IT)
The use of remote vision sensors for autonomous decision-making poses the challenge of transmitting high-volume visual data over resource-constrained channels in real-time. In robotics and control applications, many systems can quickly destabilize, which can exacerbate the issue by necessitating higher sampling frequencies. This work proposes a novel sensing paradigm in which an event camera observes the optically generated cosine transform of a visual scene, enabling high-speed, computation-free video compression inspired by modern video codecs. In this study, we simulate this optically passive vision compression (OPVC) scheme and compare its rate-distortion performance to that of a standalone event camera (SAEC). We find that the rate-distortion performance of the OPVC scheme surpasses that of the SAEC and that this performance gap increases as the spatial resolution of the event camera increases.
- [15] arXiv:2602.02779 [pdf, ps, other]
-
Title: Comparison of Trefftz-Based PINNs and Standard PINNs Focusing on Structure PreservationAuthors: Koji KoyamadaSubjects: Numerical Analysis (math.NA)
In this study, we investigate the capability of physics-informed neural networks (PINNs) to preserve global physical structures by comparing standard PINNs with a Trefftz-based PINN (Trefftz-PINN). The target problem is the reproduction of mag-netic field-line structures in a helical fusion reactor configuration. Using identical training data sampled from exact solutions, we perform comparisons under matched mean squared error (MSE) levels. Visualization of magnetic field lines reveals that standard PINNs may exhibit structural collapse across magnetic surfaces even when the MSE is sufficiently small, whereas Trefftz-PINNs successfully preserve the global topology of magnetic field lines. Furthermore, the proposed framework is extended to computational fluid dynamics (CFD) problems, where streamline structures of veloc-ity fields are analyzed. Similar tendencies are observed, demonstrating that Trefftz-PINNs provide superior structure preservation compared to standard PINNs. These results indicate that minimizing numerical error alone does not guarantee physical consistency, and that constraining the solution space prior to learning is an effective strategy for physics-consistent surrogate modeling.
- [16] arXiv:2602.02800 [pdf, ps, other]
-
Title: Decision-Focused Optimal TransportSubjects: Statistics Theory (math.ST)
We propose a fundamental metric for measuring the distance between two distributions. This metric, referred to as the decision-focused (DF) divergence, is tailored to stochastic linear optimization problems in which the objective coefficients are random and may follow two distinct distributions. Traditional metrics such as KL divergence and Wasserstein distance are not well-suited for quantifying the resulting cost discrepancy, because changes in the coefficient distribution do not necessarily change the optimizer of the underlying linear program. Instead, the impact on the objective value depends on how the two distributions are coupled (aligned). Motivated by optimal transport, we introduce decision-focused distances under several settings, including the optimistic DF distance, the robust DF distance, and their entropy-regularized variants. We establish connections between the proposed DF distance and classical distributional metrics. For the calculation of the DF distance, we develop efficient computational methods. We further derive sample complexity guarantees for estimating these distances and show that the DF distance estimation avoids the curse of dimensionality that arises in Wasserstein distance estimation. The proposed DF distance provides a foundation for a broad range of applications. As an illustrative example, we study the interpolation between two distributions. Numerical studies, including a toy newsvendor problem and a real-world medical testing dataset, demonstrate the practical value of the proposed DF distance.
- [17] arXiv:2602.02814 [pdf, ps, other]
-
Title: Sub-optimality bounds for certainty equivalent policies in partially observed systemsComments: 12 pages, 0 figuresSubjects: Optimization and Control (math.OC); Robotics (cs.RO); Systems and Control (eess.SY)
In this paper, we present a generalization of the certainty equivalence principle of stochastic control. One interpretation of the classical certainty equivalence principle for linear systems with output feedback and quadratic costs is as follows: the optimal action at each time is obtained by evaluating the optimal state-feedback policy of the stochastic linear system at the minimum mean square error (MMSE) estimate of the state. Motivated by this interpretation, we consider certainty equivalent policies for general (non-linear) partially observed stochastic systems that allow for any state estimate rather than restricting to MMSE estimates. In such settings, the certainty equivalent policy is not optimal. For models where the cost and the dynamics are smooth in an appropriate sense, we derive upper bounds on the sub-optimality of certainty equivalent policies. We present several examples to illustrate the results.
- [18] arXiv:2602.02818 [pdf, ps, other]
-
Title: Lack of uniqueness for an elliptic equation with nonlinear and nonlocal drift posed on a torusComments: 11 pagesSubjects: Analysis of PDEs (math.AP)
We study a nonlinear and nonlocal elliptic equation posed on the flat torus. While constant solutions always exist, we show that uniqueness fails in general. Using spectral analysis and the Crandall--Rabinowitz bifurcation theorem, we prove the existence of branches of non-constant periodic solutions bifurcating from constant states. This result is qualitative and non-constructive. Using a conceptually different argument, we construct explicit multiple solutions for a specific one--dimensional formulation of our target problem.
- [19] arXiv:2602.02826 [pdf, ps, other]
-
Title: Fast Near Time-Optimal Motion Planning for Holonomic Vehicles in Structured EnvironmentsSubjects: Optimization and Control (math.OC); Robotics (cs.RO)
This paper proposes a novel and efficient optimization-based method for generating near time-optimal trajectories for holonomic vehicles navigating through complex but structured environments. The approach aims to solve the problem of motion planning for planar motion systems using magnetic levitation that can be used in assembly lines, automated laboratories or clean-rooms. In these applications, time-optimal trajectories that can be computed in real-time are required to increase productivity and allow the vehicles to be reactive if needed. The presented approach encodes the environment representation using free-space corridors and represents the motion of the vehicle through such a corridor using a motion primitive. These primitives are selected heuristically and define the trajectory with a limited number of degrees of freedom, which are determined in an optimization problem. As a result, the method achieves significantly lower computation times compared to the state-of-the-art, most notably solving a full Optimal Control Problem (OCP), OMG-tools or VP-STO without significantly compromising optimality within a fixed corridor sequence. The approach is benchmarked extensively in simulation and is validated on a real-world Beckhoff XPlanar system
- [20] arXiv:2602.02837 [pdf, ps, other]
-
Title: Monotonicity versus positivity in modal logicsAuthors: Lev DvorkinComments: 35 pages, comments are welcomeSubjects: Logic (math.LO)
We say that a logic L has the Lyndon positivity property (LPP) if all formulas which are monotone in L (that is, are preserved under increasing the valuation on L-algebras) are L-equivalent to positive formulas (formulas without negation and implication symbols). In the present paper, we investigate LPP in propositional monotone modal logics. First, we transfer Lyndon's result from classical predicate calculus and prove LPP for all normal modal logics with the Lyndon interpolation property (LIP). Then we prove that all logics between K4.3 and S4.3 do not have LPP. We also show that among tabular extensions of S4 there are infinitely many logics with LPP and infinitely many logics without this property. Finally, we prove that all canonical monotone modal logics which are preserved under bisimulation products have both LIP and LPP. In particular, we show LIP and LPP for all logics that are axiomatizable over the minimal monotone logic EM by means of closed formulas and formulas of the form A(p) -> <>p, where A is positive.
- [21] arXiv:2602.02854 [pdf, ps, other]
-
Title: Categoricity for inferential $ω$-logic and $L_{ω_1,ω}$Subjects: Logic (math.LO)
This paper provides two extensions of first order logic by `$\omega$-rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a unique model). In the one-sorted inferential $\omega$-logic, both Robinson's system $Q$ and Peano Arithmetic become categorical. In the two-sorted generalized $\omega$-logic we show
each complete $L_{\omega_1,\omega}$ sentence defines the same class of structures as a first-order theory with the appropriate $G-\omega$-rule. These logics are much weaker than second order logic and we argue that they do not appeal to the arithmetical concepts that the categoricity theorems themselves aim to secure. The results depend on proving that the inferential rules for the logics are categorical, i.e. they uniquely determine certain truth-conditions for the logical connectives and quantifiers. We provide an extensive answer to the doxological challenge (on referential determinacy) proposed in \cite{ButtonWalshbook} and we develop a philosophical view of mathematics -which we call {\em cognitive modelism}- according to which classical mathematics is best understood as a complex process of constructing and developing a distinctive class of concepts, rather than merely describing a fixed pre-existing realm of structures.
KEYWORDS: categoricity, inferentialism, first-order logic, first-order theories, $\omega$-rules, $L_{\omega_1,\omega}$. - [22] arXiv:2602.02856 [pdf, ps, other]
-
Title: Crystal Growth on Locally Finite Partially Ordered SetsSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We consider a Markovian growth process on a partially ordered set $\Lambda$, equivalent to last passage percolation (LPP) with independent (not necessarily identical) exponentially distributed weights on the elements of $\Lambda$. Such a process includes inhomogeneous exponential LPP on the Euclidean lattice $\mathbb{N}_0^d$. We give non-asymptotic bounds on the mean and variance, as well as higher, central, and exponential moments of the passage time $\tau_A$ to grow any set $A \subseteq \Lambda$ in terms of characteristics of $A$. We also give a limit shape theorem when $\Lambda$ is equipped with a monoid structure. Methods involve making use of the backward equation associated to the Markovian evolution and comparison inequalities with respect to the time-reversed generator.
- [23] arXiv:2602.02876 [pdf, ps, other]
-
Title: Frugal coloring of graphs revisitedSubjects: Combinatorics (math.CO)
Given a graph $G$ and a positive integer $t$, an independent set $S\subseteq V(G)$ is $t$-frugal if every vertex has at most $t$ neighbors in $S$. A $t$-frugal coloring of $G$ is a partition of its vertex set into $t$-frugal independent sets. The maximum cardinality of a $t$-frugal independent set in $G$ is denoted by $\alpha_t^f(G)$, while the minimum cardinality of a $t$-frugal coloring of $G$, $\chi_t^f(G)$, is called the $t$-frugal chromatic number of $G$. Frugal colorings were introduced in 1998 and studied later in just a handful of papers. In this paper, we revisit this concept. While the NP-hardness of frugal coloring is known, we prove that the decision version of $\alpha_t^f$ is NP-complete even for bipartite graphs, and present a linear-time algorithm to determine its value for trees. We prove a general sharp lower bound on $\chi_{t}^{f}(G)$ expressed in terms of $\alpha_{t}^{f}(G)$ and size of $G$. We also give a sharp upper bound on the $\alpha_2^f$ of any graph $G$, which in the case of graphs with minimum degree $\delta\geq2$ simplifies to $\alpha_2^f(G)\le 2n/(\delta+2)$. We prove that $3\le\chi_2^f(G)\le 5$ holds for any graph $G$ with $\Delta(G)=3$. For several classes of graphs such as block graphs, the Cartesian and strong products of multiple two-way infinite paths, we determine the exact values of $\alpha_2^f$. We provide sharp bounds on the $\alpha_2^f$ in all four standard graph products, which are expressed as different invariants of their factors. Finally, we obtain Nordhaus-Gaddum type inequalities for the sum of the $2$-frugal chromatic numbers of $G$ and its complement from below and from above by functions of the order of $G$. For the upper bound $\chi_{2}^{f}(G)+\chi_{2}^{f}(\overline{G})\leq 3n/2$, we characterize the family of extremal graphs $G$.
- [24] arXiv:2602.02885 [pdf, ps, other]
-
Title: Obstruction theory and the complexity of counting group homomorphismsSubjects: Group Theory (math.GR); Computational Complexity (cs.CC); Geometric Topology (math.GT)
Fix a finite group $G$. We study the computational complexity of counting problems of the following flavor: given a group $\Gamma$, count the number of homomorphisms $\Gamma \to G$. Our first result establishes that this problem is $\#\mathsf{P}$-hard whenever $G$ is a non-abelian group and $\Gamma$ is provided via a finite presentation. We give several improvements showing that this hardness conclusion continues to hold for restricted $\Gamma$ satisfying various promises. Our second result, in contrast, shows that if $G$ is class 2 nilpotent and $\Gamma = \pi_1(M^3)$ for some input 3-manifold triangulation $M^3$, then there is a polynomial time algorithm. The difference in complexity is explained by the fact that 3-manifolds are close enough to being Eilenberg-MacLane spaces for us to be able to solve the necessary group cohomological obstruction problems efficiently using the given triangulation. A similar polynomial time algorithm for counting maps to finite, class 2 nilpotent $G$ exists when $\Gamma$ is itself a finite group encoded via a multiplication table.
- [25] arXiv:2602.02889 [pdf, ps, other]
-
Title: Chebyshev centers and radius of the set of permutonsAuthors: Balázs MagaComments: 10 pages, 1 figureSubjects: Combinatorics (math.CO); Metric Geometry (math.MG); Probability (math.PR)
We study the metric geometry of the set of permutons under the rectangular distance $d_{\square}$. We determine the Chebyshev radius to be 1/4 and characterize all Chebyshev centers: a permuton is a center if and only if it is 1/2- periodic in each coordinate. We also describe permutons that attain the extremal distance 1/4 from a given center.
- [26] arXiv:2602.02911 [pdf, ps, other]
-
Title: Structure and paucity in affine diagonal systems, IComments: 17 pagesSubjects: Number Theory (math.NT)
Let $\varepsilon>0$ and $\mathbf h\in \mathbb Z^3$. We show that whenever $P$ is large and the system \[ x_1^j+x_2^j-y_1^j-y_2^j=h_j\quad (j=1,2,3) \] has more than $P^\varepsilon$ integral solutions with $1\le x_i,y_i\le P$, then there exist natural numbers $a$ and $b$ with $h_j=a^j-b^j$ $(j=1,2,3)$. This example illustrates the theme that, either the Diophantine system has a paucity of integral solutions, or else the coefficient tuple $\mathbf h$ is highly structured. We examine related paucity problems as well as some consequences for problems involving more variables.
- [27] arXiv:2602.02913 [pdf, ps, other]
-
Title: Poset Partitions and the Combinatorics of the $\textbf{cd}$-IndexComments: 23 pages, 14 figuresSubjects: Combinatorics (math.CO)
We introduce a new class of Eulerian posets, called S-partitionable posets, which have a non-negative cd-index. These posets are a generalization of S-shellable complexes introduced by Stanley in 1994. We prove that S-partitionable posets have a non-negative cd-index via a recursive formula. Then, we introduce a semi-Eulerian version of S-partitionable posets, which we call SE-partitionable posets. We show that SE-partitionable posets also have a non-negative semi-Eulerian cd-index as defined by Juhnke-Kubitzke, Samper and Venturello in 2024.
- [28] arXiv:2602.02921 [pdf, ps, other]
-
Title: The Weyl-von Neumann theorem for antilinear skew-self-adjoint operatorsAuthors: G. RameshComments: 15 pages. Submitted to a journal. Comments are welcomeSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
In this article, we prove the Weyl-von Neumann theorem for antilinear skew-self-adjoint operators. More specifically, we prove the following:
Let $A$ be an antilinear skew-self-adjoint operator on a separable Hilbert space $H$ whose kernel is either even dimensional or infinite dimensional. Let $1<p<\infty$. Then for every $\epsilon>0$ there exists an antilinear skew block diagonal operator $D$ and an antilinear Schatten $p$-class operator $K$ such that $A=K+D$ with $\|K\|_{p}<\epsilon$.
As a consequence of this, we prove the Weyl-von Neumann theorem for complex skew-symmetric operators:
Let $\tau$ be a conjugation on $H$ and let $T$ be a $\tau$-skew-symmetric bounded linear operator with $\dim N(T)=\infty$ or $\dim N(T)$ is even. Let $1<p<\infty$. Then for every $\epsilon>0$, there exists a $\tau$-skew-symmetric Schatten $p$-class operator $K$, a skew-symmetric block diagonal operator $D$ and a unitary operator $U$ such that $T=K+UDU^{tr}$ and $\|K\|_{p}<\epsilon$, where $U^{tr}$ is the transpose of $U$ with respect to an orthonormal basis ${\{e_n:n\in \mathbb N}\}$ such that $\tau(e_n)=e_n$ for each $n\in \mathbb N$.
Furthermore, the above result holds even without any assumption on the dimension of $N(T)$, provided that $N(T)=N(T^*)$. - [29] arXiv:2602.02926 [pdf, ps, other]
-
Title: Topologically free non-Hausdorff groupoidsSubjects: Operator Algebras (math.OA); Logic (math.LO)
We study three conditions that control the behaviour of isotropy in \'etale groupoids, and their relationships under the additional assumptions of second-countability and Hausdorffness. We examine a number of examples that show these properties are distinct. Working under the assumption of the Zermelo-Fraenkel axioms, excluding choice, we then examine an alternate characterization of topological freeness, first introduced by Anantharaman-Delaroche, in the non-Hausdorff setting. Finally, we prove an equivalence between the Baire Category Theorem and an \'etale groupoid theorem, along with similar equivalences to other weakenings of the Axiom of Choice.
- [30] arXiv:2602.02933 [pdf, ps, other]
-
Title: Nonstandard free groupsComments: 25 pagesSubjects: Group Theory (math.GR); Logic (math.LO)
Interpretation of a structure $\mathbb A$ in $\mathbb B$ allows to produce structures elementarily equivalent to $\mathbb A$ given those elementarily equivalent to $\mathbb B$. In particular, interpretation of the free group in $\mathbb N$ enables us to introduce and study a family of elementary free groups, which we call nonstandard free groups. More generally, for a wide class of groups we introduce nonstandard models arising from interpretation in $\mathbb N$. We exploit interpretation to show that under mild assumptions, ultrapowers of a group can be viewed as nonstandard models of that group. This leads us to describe the structure of the ultrapowers in terms of structure of nonstandard models of natural numbers, offering insight into a longstanding question of Malcev. We also introduce fundamentals of nonstandard combinatorial group theory such as the notions of nonstandard subgroups, nonstandard normal subgroups, and nonstandard group presentations.
- [31] arXiv:2602.02935 [pdf, ps, other]
-
Title: Commuting varieties in bad characteristicAuthors: Vlad RomanSubjects: Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
Let $k$ be an algebraically closed field of characteristic $2$. We consider the commuting variety and the commuting nilpotent variety of the Lie algebra $\mathfrak{sp}_{2n}$, namely the sets $\mathcal{C}_2(\mathfrak{sp}_{2n})=\{ (x,y) \in \mathfrak{sp}_{2n} \times \mathfrak{sp}_{2n} \mid [x,y]=0\}$ and $\mathcal{C}_2^{\text{nil}}(\mathfrak{sp}_{2n})=\{ (x,y) \in \mathfrak{sp}_{2n} \times \mathfrak{sp}_{2n} \mid x,y \text{ nilpotent, } [x,y]=0\}$ and prove that they are both irreducible, of dimensions $\dim(\mathfrak{sp}_{2n}) + 2n$ and $\dim(\mathfrak{sp}_{2n}) + n-1$, respectively.
- [32] arXiv:2602.02938 [pdf, ps, other]
-
Title: A Correspondence between Billiards and GeodesicsAuthors: Daniele GiannettoComments: 19 pages, 4 figures, submitted to NonlinearitySubjects: Differential Geometry (math.DG)
From a geometric viewpoint, billiard trajectories and geodesics are related by mutual approximation results. In one direction, it is known that every geodesic curve in the boundary of a smooth convex body can be approximated by a sequence of billiard trajectories inside of it. We establish the other direction by proving that, for Riemannian billiard tables (under mild assumptions), there exists a family of fold-type surfaces such that every sequence of geodesic segments on these surfaces has a subsequence that converges to a billiard trajectory in the table. In particular, this is true for convex Euclidean tables. We also describe a more general class of tables to which this result applies and present explicit non-Euclidean examples.
- [33] arXiv:2602.02940 [pdf, ps, other]
-
Title: A vector logic for intensional formal semanticsAuthors: Daniel QuigleyComments: 25 pages; 68 sourcesSubjects: Logic (math.LO); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensional spaces shaped by usage. This paper proves that these frameworks are structurally compatible for intensional semantics. We establish that Kripke-style intensional models embed injectively into vector spaces, with semantic functions lifting to (multi)linear maps that preserve composition. The construction accommodates multiple index sorts (worlds, times, locations) via a compound index space, representing intensions as linear operators. Modal operators are derived algebraically: accessibility relations become linear operators, and modal conditions reduce to threshold checks on accumulated values. For uncountable index domains, we develop a measure-theoretic generalization in which necessity becomes truth almost everywhere and possibility becomes truth on a set of positive measure, a non-classical logic natural for continuous parameters.
- [34] arXiv:2602.02954 [pdf, ps, other]
-
Title: The index of a certain quotient of the Hecke algebra in its normalizationAuthors: Amod AgasheSubjects: Number Theory (math.NT)
Let $\Gamma$ be a congruence subgroup of $SL_2(Z)$, and let $f$ be a normalized eigenform of weight $k$ on $\Gamma$. Let $K$ denote the number field generated over $Q$ by the Fourier coefficients of $f$. Let $R$ denote the the order in $K$ generated by the Fourier coefficients of $f$, which is contained in the ring of integers $O$ of $K$. We relate the primes that divide the index of $R$ in $O$ to primes $p$ such that $f$ is congruent to a conjugate of $f$ modulo a prime ideal of residue characteristic $p$. The index mentioned above is the same as the index of the quotient of the Hecke algebra by the annihilator ideal of $f$ in its normalization.
- [35] arXiv:2602.02976 [pdf, ps, other]
-
Title: Computational techniques for sheaf cohomology of locally profinite setsAuthors: Mark SchachnerComments: 22 pages, 4 figuresSubjects: Logic (math.LO); Algebraic Topology (math.AT)
We compute the sheaf cohomology with constant $\mathbb{Z}_2$ coefficients of a concrete class of locally profinite sets of independent interest. We introduce $k$-Fubini partitions to aid in constructions, which witness a failure of a Fubini theorem analog for these spaces. It is also shown that questions of intermediate cohomology degrees can be reduced to questions about top cohomology degrees by exhibiting nontrivial top cocycles as pointwise limits of coboundaries.
- [36] arXiv:2602.02981 [pdf, ps, other]
-
Title: Fisher-Information-Based Sensor Placement for Structural Digital Twins: Analytic Results and BenchmarksSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
High-fidelity digital twins rely on the accurate assimilation of sensor data into physics-based computational models. In structural applications, such twins aim to identify spatially distributed quantities--such as elementwise weakening fields, material parameters, or effective thermal loads--by minimizing discrepancies between measured and simulated responses subject to the governing equations of structural mechanics. While adjoint-based methods enable efficient gradient computation for these inverse problems, the quality and stability of the resulting estimates depend critically on the choice of sensor locations, measurement types, and directions.
This paper develops a rigorous and implementation-ready framework for Fisher-information-based sensor placement in adjoint-based finite-element digital twins. Sensor configurations are evaluated using a D-optimal design criterion derived from a linearization of the measurement map, yielding a statistically meaningful measure of information content. We present matrix-free operator formulas for applying the Jacobian and its adjoint, and hence for computing Fisher-information products $Fv = J^\top R^{-1} Jv$ using only forward and adjoint solves. Building on these operator evaluations, we derive explicit sensitivity expressions for D-optimal sensor design with respect to measurement parameters and discuss practical strategies for evaluating the associated log-determinant objectives. To complement the general framework, we provide analytically tractable sensor placement results for a canonical one-dimensional structural model, clarifying the distinction between detectability and localizability and proving that D-optimal placement of multiple displacement sensors yields approximately uniform spacing. - [37] arXiv:2602.02992 [pdf, ps, other]
-
Title: Data-driven stabilization of continuous-time systems with noisy input-output dataAuthors: Masashi WakaikiComments: 18 pagesSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We study data-driven stabilization of continuous-time systems in autoregressive form when only noisy input-output data are available. First, we provide an operator-based characterization of the set of systems consistent with the data. Next, combining this characterization with behavioral theory, we derive a necessary and sufficient condition for the noisy data to be informative for quadratic stabilization. This condition is formulated as linear matrix inequalities, whose solution yields a stabilizing controller. Finally, we characterize data informativity for system identification in the noise-free setting.
- [38] arXiv:2602.02997 [pdf, ps, other]
-
Title: Entire area-minimizing surfaces in R^4 are algebraicSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We classify entire 2-dimensional area-minimizing or stable surfaces in R^4 with quadratic area growth as algebraic, cut out by a finite union of holomorphic polynomials whose collective degrees are controlled by the density at infinity. As a consequence, we obtain bounds on the singular set size and genus in terms of the density at infinity.
- [39] arXiv:2602.02998 [pdf, ps, other]
-
Title: Symmetrization of the Maxwell--Neumann--Poincar'e operator, spectral decomposition in $\mathbf{H}(\mathrm{curl},D)$ traces, and boundary localisation of SPRsComments: 34pagesSubjects: Analysis of PDEs (math.AP)
The Neumann--Poincar\'{e} (NP) operator, a fundamental operator in potential theory, has attracted renewed attention for its central role in the analysis of surface plasmon resonances (SPRs). SPRs, characterized by non-radiative electromagnetic waves at material interfaces with opposing permittivities, underpin advanced technologies such as bio-sensing and cloaking devices. While spectral properties of the scalar NP operator and SPR dynamics for scalar waves are well-established, their vectorial counterparts in Maxwell's framework remain poorly understood. This work bridges this gap by introducing a novel symmetrization principle for the matrix-valued Maxwell Neumann--Poincar\'{e} (MNP) operator, enabling a spectral decomposition of traces in the $\mathbf{H}(\mathrm{curl},D)$ space--a foundational advance for electromagnetic theory. Building on this framework, we rigorously characterize the quantum-ergodic localization of weak surface plasmon resonances at material boundaries in the full Maxwell system, thereby settling a long-standing question concerning their quantitative description.
- [40] arXiv:2602.03016 [pdf, ps, other]
-
Title: A counterexample to Hickingbotham's conjecture about $k$-ghost-edgesAuthors: Rong ChenSubjects: Combinatorics (math.CO)
Fix $k\in \mathbb{N}$ and let $G$ be a connected graph with $tw(G)\leq k$. We say that $xy\in E(G^c)$ is a {\em $k$-ghost-edge} of $G$ if for every tree decomposition $(T,\cB)$ of $G$ with width at most $k$, the set $\{x,y\}$ is contained in a bag of $(T,\cB)$. Although a $k$-ghost-edge of $G$ is not an edge of $G$, but it behaves like real edges with respect to tree decomposition of $G$ with width at most $k$. For any graph $G$ with treewidth $k$ and $xy\in E(G^c)$, when there are at least $k+1$ internally vertex disjoint $(x,y)$-paths, Hickingbotham proved that $xy$ is a $k$-ghost-edge of $G$; while when there are at most $k$ internally vertex disjoint $(x,y)$-paths, he conjectured that it is not a $k$-ghost-edge of $G$. In this paper, we prove that this conjecture is wrong.
- [41] arXiv:2602.03021 [pdf, ps, other]
-
Title: Norms and Hermitian $\mathrm{K}$-TheoryAuthors: Brian ShinComments: An expository account of arXiv:2305.12684; Comments welcome!Subjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
Over the past century, cohomology operations have played a crucial role in homotopy theory and its applications. A powerful framework for constructing such operations is the theory of commutative algebras in spectra. In this article, we discuss an algebro-geometric analogue of this framework, called the theory of normed algebras in motivic spectra. Specifically, we show that the motivic spectrum $\mathrm{ko}$ representing very effective hermitian $\mathrm{K}$-theory can be equipped with a normed algebra structure, and that the orientation map $\mathrm{MSL} \to \mathrm{ko}$ respects this structure. The main step will be showing that the motivic infinite loop space machine is compatible with norms.
- [42] arXiv:2602.03027 [pdf, ps, other]
-
Title: Analytic Proof of a Quartic Continued Fraction Identity for $8/π^2$ via Operator FactorizationAuthors: Chao WangComments: 8 pagesSubjects: General Mathematics (math.GM)
We present a rigorous analytic proof of a generalized continued fraction (GCF) identity for the transcendental constant $8/\pi^2$, a result recently conjectured via the algorithmic framework of the Ramanujan Machine. Distinct from canonical GCFs derived from classical hypergeometric series, the identity at hand features a complex polynomial architecture characterized by quartic partial numerators. Our approach utilizes an algebraic decomposition of the second-order shift operator $\mathcal{L} = \mathcal{T}^2 - b_n \mathcal{T} - a_n$ into a coupled first-order system. This decomposition enables an exact mapping of the higher-order recurrence to a cascaded system, from which the continued fraction is identified as the reciprocal of an Ap\'ery-like summation involving central binomial coefficients. The convergence is established through Pincherle's Theorem, confirming that the numerator sequence constitutes the minimal solution to the associated difference equation. This work provides a systematic operator-theoretic methodology for verifying automated conjectures of transcendental constants with high-degree polynomial coefficients.
- [43] arXiv:2602.03029 [pdf, ps, other]
-
Title: On the number of 3APs in fractal setsComments: Revision of a manuscript from 2017Subjects: Classical Analysis and ODEs (math.CA)
We use techniques from the study of the Falconer distance conjecture to explore conditions which guarantee largeness (in terms of bounded $L^2$ density/Lebesgue measure and Hausdorff measure) of the set of lengths of step-sizes of three-term arithmetic progressions which occur within fractal sets, as well as analogous statements in discrete settings. Our main result is a version of {\L}aba and Pramanik's result in arxiv:0712.3882 that relies only on an assumption of a lower bound, $\delta$, on the mass of the measure $\mu$ together with an upper bound, $M$ on the $L^q$ norm of its Fourier transform for some $q\in(2,3]$ depending on the parameters $\delta$ and $M$.
- [44] arXiv:2602.03041 [pdf, ps, other]
-
Title: Special Lagrangians and Bridgeland stable objects beyond geometric stability conditions: the product caseAuthors: Yu-Wei FanComments: 29 pages. Comments are welcome!Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)
We construct a family of non-geometric Bridgeland stability conditions on certain wrapped Fukaya categories, using homological mirror symmetry and categorical K\"unneth formulae. These stability conditions correspond to certain holomorphic volume forms, under which we prove that every stable object admits a special Lagrangian representative. This provides the first higher-dimensional examples of stability conditions away from the large complex structure limit for which ``stable implies special Lagrangian" is proved.
- [45] arXiv:2602.03044 [pdf, ps, other]
-
Title: On very weak solutions of certain elliptic systems with double phase growthAuthors: Yoshiki KaihoComments: 74 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, we prove a higher integrability result for very weak solutions of higher-order elliptic systems involving a double phase operator as the principal part. As a model case, we consider \begin{equation} \int_{\Omega} \left( |D^m u|^{p-2}D^m u + a(x)|D^m u|^{q-2}D^m u \right) \cdot D^m \varphi = 0 \quad \text{for any } \varphi \in C_c^{\infty}(\Omega), \end{equation} where $n,m \in \mathbb{N},\ n\ge 2,\,1 < p \le q < \infty,\,\Omega \subset \mathbb{R}^n$ is an open set and $a:\Omega \rightarrow [0,\infty)$ is a measurable function. The proof is based on a construction of an appropriate test function by the Lipschitz truncation technique, a deduction of a reverse H\"older inequality and an application of Gehring's lemma. Our contributions include estimates for weighted mean value polynomials and sharp Sobolev--Poincar\'e-type inequalities for the double phase operator. Our result can be viewed as a generalization with respect to the derivative order, the coefficient function and the growth conditions of the recent paper by Baasandorj, Byun and Kim (Trans. Amer. Math. Soc. 376:8733-8768,2023).
- [46] arXiv:2602.03047 [pdf, ps, other]
-
Title: Equilibrium measures for higher dimensional rotationally symmetric Riesz gasesComments: 31 pages, 2 figuresSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
We study equilibrium measures for Riesz gases in dimension $d$ with pairwise interaction kernel $|x-y|^{-s}$, subject to radially symmetric external fields. We characterise broad classes of confining potentials for which the equilibrium measure is supported on the unit ball and admits an explicit density. Our main contribution is a converse construction: starting from a prescribed radially symmetric equilibrium density given as a power series in the squared radius, we determine the associated external potential and establish the corresponding Euler-Lagrange variational conditions. A key ingredient in the proof is an identity between two ${}_3F_2$ hypergeometric functions evaluated at unit argument, which is of independent interest. As applications, we identify the external potentials corresponding to equilibrium densities proportional to $(1-|x|^2)^\alpha$, $\alpha>-1$, and show that these potentials can be expressed in terms of Gauss hypergeometric functions ${}_2F_1$, reducing to polynomials for special values of $\alpha$. We also determine the equilibrium measure associated with purely power-type external potentials, often referred to as Freud or Mittag--Leffler potentials in the context of log gases, for which the equilibrium density admits an explicit ${}_2F_1$ representation. Furthermore, we apply our framework to a Coulomb gas in dimension $d+1$ confined by a harmonic potential to the half-space. We derive a necessary condition under which the equilibrium measure is fully supported on the boundary hyperplane of dimension $d$, with the induced density corresponding to that of a Riesz gas with exponent $s=d-1$.
- [47] arXiv:2602.03058 [pdf, ps, other]
-
Title: Moments of sums of exponentials, beyond CHSSubjects: Probability (math.PR)
We establish a sharp lower bound on the $L_p$-norm of sums of independent exponential random variables with fixed variance, for $p \geq 2$, thus extending Hunter's positivity theorem (1976) for completely homogeneous polynomials. We determine the exact regime of $p$ where such sums enjoy Schur-monotonicity.
- [48] arXiv:2602.03063 [pdf, ps, other]
-
Title: The Small Dispersion Limit of the Intermediate Long Wave Equation via Semiclassical Soliton EnsemblesAuthors: Matthew Dominique MitchellComments: 56 pages, 8 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We study the small dispersion limit of the intermediate long wave (ILW) equation, specifically on a class of well-behaved initial conditions $u_0$ where the number of solitons in the solution increases without bound. First, we conduct a formal WKB-style analysis on the ILW direct scattering problem, generating approximate eigenvalues and norming constants. We then use this to define a modified set of scattering data and rigorously analyze the associated inverse scattering problem. The main results include demonstrating $L^2$-convergence of the solution at $t = 0$ to the original initial condition $u_0$ and for $0 < t < t_\mathrm{c}$ to the associated solution of invicid Burgers' equation, where $t_\mathrm{c}$ is the time of gradient catastrophe.
- [49] arXiv:2602.03074 [pdf, ps, other]
-
Title: Straggler-Aware Coded Polynomial AggregationComments: 6 pages, 1 figureSubjects: Information Theory (cs.IT)
Coded polynomial aggregation (CPA) in distributed computing systems enables the master to directly recover a weighted aggregation of polynomial computations without individually decoding each term, thereby reducing the number of required worker responses. However, existing CPA schemes are restricted to an idealized setting in which the system cannot tolerate stragglers. In this paper, we extend CPA to straggler-aware distributed computing systems with a pre-specified non-straggler pattern, where exact recovery is required for a given collection of admissible non-straggler sets. Our main results show that exact recovery of the desired aggregation is achievable with fewer worker responses than that required by polynomial codes based on individual decoding, and that feasibility is characterized by the intersection structure of the non-straggler patterns. In particular, we establish necessary and sufficient conditions for exact recovery in straggler-aware CPA. We identify an intersection-size threshold that is sufficient to guarantee exact recovery. When the number of admissible non-straggler sets is sufficiently large, we further show that this threshold is necessary in a generic sense. We also provide an explicit construction of feasible CPA schemes whenever the intersection size exceeds the derived threshold. Finally, simulations verify our theoretical results by demonstrating a sharp feasibility transition at the predicted intersection threshold.
- [50] arXiv:2602.03080 [pdf, ps, other]
-
Title: Automorphisms and antiautomorphisms of quandlesAuthors: Birama SangareSubjects: Group Theory (math.GR)
In this paper we provide the conditions under which an automorphism or an antiautomorphism of a group $G$ induces an automorphism or an antiautomorphism of the $m$-conjugation quandle $\operatorname{Conj_{m}}(G),\,\, m\in \mathbb{Z} $, the core quandle $\operatorname{Core}(G)$, the generalized Alexander quandle $\operatorname{Alex}(G,\phi)$ where $\phi\in \operatorname{Aut}(G)$ and some others. We also construct automorphisms of these quandles that do not originate from $G$.
- [51] arXiv:2602.03083 [pdf, ps, other]
-
Title: Scaling Optimized Spectral Approximations on Unbounded Domains: The Generalized Hermite and Laguerre MethodsComments: 40 pagesSubjects: Numerical Analysis (math.NA)
We propose a novel error analysis framework for scaled generalized Laguerre and generalized Hermite approximations.This framework can be regarded as an analogue of the Nyquist-Shannon sampling theorem: It characterizes the spatial and frequency bandwidths that can be effectively captured by Laguerre or Hermite sampling points. Provided a function satisfies the corresponding bandwidth constraints, it can be accurately approximated within this framework. The proposed framework is notably more powerful than classical theory -- it not only provides systematic guidance for choosing the optimal scaling factor, but also predicts root-exponential and other intricate convergence behaviors that classical approaches fail to capture. Leveraging this framework, we conducted a detailed comparative study of Hermite and Laguerre approximations. We find that functions with similar decay and oscillation characteristics may nonetheless display markedly different convergence rates. Furthermore, approximations based on two concatenated sets of Laguerre functions may offer significant advantages over those using a single set of Hermite functions.
- [52] arXiv:2602.03091 [pdf, ps, other]
-
Title: On Dual Algebras of Hopf AlgebroidsAuthors: Jingbang GuoComments: 38 pagesSubjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG)
We study the dual algebras of (discrete) Hopf algebroids. In particular, we understand comodules over a Hopf algebroid as (discrete) modules over its dual algebra.
- [53] arXiv:2602.03106 [pdf, ps, other]
-
Title: Regulated $L^2$ Norm on Certain Wild Higgs Bundles Over $\mathbb{CP}^1$Subjects: Differential Geometry (math.DG)
We define and analyse certain $L^2$ norm on moduli space of Higgs bundles over $\mathbb{CP}^1$ with certain singularity. We prove that certain limit of our metrics here is the regulated $L^2$ norm proposed on the central fiber, first appearing in Fredrickson-Neitzke's work.
- [54] arXiv:2602.03111 [pdf, ps, other]
-
Title: Sharp $C^{1,\bar1}$ estimates in Kähler quantization and non-pluripolar Radon measuresSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Complex Variables (math.CV)
Let $K_\varphi$ denote the weighted Bergman kernel associated to a plurisubharmonic function $\varphi$. We obtain upper bounds and positive lower bounds for the Bergman metric $i\partial \bar{\partial} \log K_\varphi$, expressed solely in terms of upper bounds and positive lower bounds of $i\partial \bar{\partial}\varphi$. Our approach applies in both local and compact K\"ahler settings. As an immediate application we obtain the optimal $C^{1,\alpha}$-convergence for the quantization of K\"ahler currents with bounded coefficients. We also show that any non-pluripolar Radon measure on a compact K\"ahler manifold admits a quantization.
- [55] arXiv:2602.03118 [pdf, ps, other]
-
Title: The High Cost of Data Augmentation for Learning Equivariant ModelsComments: 33 pages, 13 figuresSubjects: Numerical Analysis (math.NA)
According to Noether's theorem the presence of a continuous symmetry in a Hamiltonian systems is equivalent to the existence of a conserved quantity, yet these symmetries are not always explicitly enforced in data-driven models. There remains a debate whether or not encoding of symmetry into a model architecture is the optimal approach. A competing approach is to target approximate symmetry through data augmentation. In this work, we study two approaches aimed at improving the symmetry properties of such an approximation scheme: one based on a quadrature rule for the Haar measure on the compact Lie group encoding the continuous symmetry of interest and one based on a random sampling of that Haar measure. We demonstrate both theoretically and empirically that the quadrature augmentation leads to exact symmetry preservation in polynomial models, while the random augmentation has only square-root convergence of the symmetrization error.
- [56] arXiv:2602.03131 [pdf, ps, other]
-
Title: Existence and partial regularity of suitable weak solutions to the 3D Navier-Stokes-Vlasov-Fokker-Planck equationsSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate the incompressible Navier-Stokes equations coupled with the Vlasov-Fokker-Planck equation, which describes a two-phase mixture of the viscous incompressible fluid with particles or bubbles through a frictional force term. In the three-dimensional whole space, we construct a new class of suitable weak solutions to the Navier-Stokes-Vlasov-Fokker-Planck system satisfying energy estimates and three local or global energy inequalities of different forms. These obtained local energy inequalities play an important role in characterizing the measure of the singularity set of weak solutions. The main difficulties in deriving these inequalities lie in establishing the convergence of the density function $f$ in bounded or unbounded domains and dealing with the convergence of the non-local frictional force term. The strong convergence of both $f$ and $f \log f$ weighted by $|v|^k$ is proved by exploring some new a priori quantities of the velocity with the help of Tao's $L^p$ decomposition and the DiPerna-Lions compactness method. Moreover, as an immediate consequence of the existence result, we are able to describe the Hausdorff dimension of set of singular points of the fluid velocity $u$ and also establish the $\alpha$-H\"{o}lder continuity of $f$ at the regular points of $u$.
- [57] arXiv:2602.03133 [pdf, ps, other]
-
Title: Associative Rota--Baxter operators on the Sweedler algebra $H_4$Authors: Maxim V. PodkorytovSubjects: Rings and Algebras (math.RA)
In this paper, we classify all Rota--Baxter operators on the Sweedler algebra $H_4$ up to conjugation and dualization. Modulo algebra (anti)automorphisms of $H_4$, we first describe its subalgebras and then analyse the kernel of a Rota--Baxter operator. The classification is carried out according to the dimension of this kernel, yielding a complete description of such operators. A complete list of operators is given in the theorem of the final section.
- [58] arXiv:2602.03136 [pdf, ps, other]
-
Title: Phase transitions with bounded index: Parallels to De Giorgi's conjectureAuthors: Enric Florit-SimonSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
A well-known conjecture of De Giorgi -- motivated by analogy with the Bernstein problem for minimal surfaces -- asserts the rigidity of monotone solutions to the Allen--Cahn equation in $\mathbb{R}^{d+1}$, with $d\leq 7$.
We establish close parallels to De Giorgi's conjecture for general solutions of bounded Morse index, far stronger than the minimal surface analogy would suggest: Namely, any finite index solution to the Allen--Cahn equation with bounded energy density in $\mathbb{R}^4$ is one-dimensional, and -- conditionally on the classification of stable solutions -- the same holds for all $4\leq n \leq 7$.
As a geometric application, phase transitions with bounded energy and index in closed four-manifolds have smooth transition layers which behave like minimal hypersurfaces.
Consequently, phase transitions exhibit a remarkably rigid behaviour in higher dimensions. This is in stark contrast with the 3D case, in which a wealth of nontrivial entire solutions with finite index (and energy density) is conversely known to exist, by work pioneered by Del Pino--Kowalczyk--Wei. The authors conjectured that any such solution must have parallel ends which are either planar or catenoidal, suggesting it as a parallel to De Giorgi's conjecture in this framework. We confirm this picture under the bounded energy density assumption. - [59] arXiv:2602.03149 [pdf, ps, other]
-
Title: Homodular pseudofunctors and bicategories of modulesAuthors: Ross StreetComments: 18 pagesSubjects: Category Theory (math.CT)
The universal property for the B\'enabou bicategory of distributors (although we call them "modules") presented here is somewhat implicitly spread over a series of papers and yet, to my knowledge, does not appear in print. The inclusion of a bicategory $\CW$ into the bicategory $\CW\text{-}\mathrm{Mod}$ of $\CW$-enriched categories and modules between them does have a completion property with respect to freely adjoining lax colimits (collages); see \cite{85, CKW}. Here we are interested in the universal property of the construction of $\CW\text{-}\mathrm{Mod}$ from $\CW\text{-}\mathrm{Cat}$. What we have in mind is an objective version of the notion of {\em homological functor} used by Andr\'e Joyal in 1985.
- [60] arXiv:2602.03150 [pdf, ps, other]
-
Title: Une remarque sur l'arborification de MatulaAuthors: Dominique ManchonComments: Article in FrenchSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Nous esquissons une application de l'arborification de Matula \`a l'\'etude de la fonction sommatoire des fonctions de M\" obius et de Liouville sur les entiers naturels - We sketch an application of Matula's arborification to the study of the partial sums of both M\" obius and Liouville function.
- [61] arXiv:2602.03162 [pdf, ps, other]
-
Title: The Simplicial Geometry of Integer Partitions: An Exact $O(1)$ Formula via $A_{k-1}$ Root SystemsAuthors: Antonio BonelliComments: 8 pages, 3 figures, 3 tables. Includes Python algorithm for complexity validationSubjects: Combinatorics (math.CO); Metric Geometry (math.MG); Number Theory (math.NT)
We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, addressing the limitations of traditional recursive and asymptotic methods. By introducing the Simplicial Successive Decomposition (SSD) framework, we demonstrate that the partition polytope $\mathcal{P}_{n,k}$ is not an arbitrary geometric object, but admits a rigid minimal unimodular triangulation into exactly $N_k = \binom{k}{2}$ simplices. This cardinality is determined by the positive root system of the $A_{k-1}$ Weyl chamber.We decompose Euler's generating function into a finite sum of simplicial rational transforms. By applying Brion's localization theorem and the negative binomial expansion, we derive an exact closed-form formula with $O(1)$ computational complexity. The validity of the model is confirmed through Ehrhart-Macdonald reciprocity, ensuring accuracy in the "Core Collapse" regime where the polytope's interior is empty and continuous volume approximations are inapplicable.
- [62] arXiv:2602.03163 [pdf, ps, other]
-
Title: A U-match Algorithm for Persistent Relative HomologyComments: 11 pages, 3 figuresSubjects: Algebraic Topology (math.AT)
A central problem in data-driven scientific inquiry is how to interpret structure in noisy, high-dimensional data. Topological data analysis (TDA) provides a solution via persistent homology, which encodes features of interest as topological holes within a filtration of data. The present work extends this framework to a related invariant which uncovers topological structure of a space relative to a subspace: persistent relative homology (PRH). We show that this invariant can be computed in a simple, highly transparent and general manner, using a two-step matrix reduction technique with worst-case time complexity comparable to ordinary persistent homology. We provide proofs demonstrating the correctness and computational complexity of this approach in addition to a performance-optimized implementation for a special case.
- [63] arXiv:2602.03166 [pdf, ps, other]
-
Title: Event-Level Probabilistic Prediction of Extreme Rainfall over India Using Physics-Gated Latent DynamicsAuthors: Arun Govind NeelanSubjects: Numerical Analysis (math.NA)
Extreme rainfall over the Indian monsoon region poses severe societal and infrastructural risks but remains difficult to predict at daily time scales due to stochastic convective triggering and multiscale atmospheric interactions. While large-scale atmospheric fields provide important environmental context, their ability to localize extreme rainfall events is fundamentally limited. In this study, we examine how large-scale atmospheric information from ERA5 reanalysis can be leveraged for event-level probabilistic prediction of daily rainfall extremes over India. We compare an adaptive ConvLSTM baseline with a proposed Physics-Gated Latent Ordinary Differential Equation (PG-LODE) framework, which models atmospheric evolution as a continuous-time latent process whose dynamics are explicitly modulated by a physics-based gating mechanism under convectively unstable conditions. Extreme events are defined using the local 95th percentile of the India Meteorological Department gridded rainfall dataset during the June to September monsoon season. Pixel-wise evaluation shows limited skill for both models due to spatial displacement errors, whereas event-level tile-based verification reveals a clear performance contrast. The ConvLSTM remains highly conservative, detecting only 27 percent of extreme events, while PG-LODE achieves near-complete detection with a substantially higher critical success index and a moderate false alarm rate. These results demonstrate that physics-gated continuous-time latent dynamics offer a robust pathway for translating large-scale atmospheric predictability into reliable assessments of extreme rainfall risk.
- [64] arXiv:2602.03167 [pdf, ps, other]
-
Title: Reverse square function estimates for degenerate curves and its applicationsComments: 24 pagesSubjects: Classical Analysis and ODEs (math.CA)
Building on the classical work of C\'{o}rdoba--Fefferman and the recent work of Schippa, we establish $L^4$ reverse square function estimates for functions whose Fourier support is contained in a $\delta$-neighborhood of the curve $\{(\xi,\xi^a): |\xi|\leq 1\}$ in $\mathbb{R}^2$, for all exponents $a\in(0,\infty)\backslash\{1\}$. As applications, we derive sharp $L^4$ Strichartz estimates on the one-dimensional torus for fractional Schr\"{o}dinger equations and establish new local smoothing estimates in modulation spaces. In the latter application, orthogonal Strichartz-type estimates also play a crucial role.
- [65] arXiv:2602.03170 [pdf, ps, other]
-
Title: Refined invariants for Abelian surfaces: between polynomiality and modularitySubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
Tropical refined invariants for toric surfaces, introduced Block and G{\"o}ttsche, are obtained couting tropical curves with a Laurent polynomial multiplicity. Brugall{\'e} and Jaramillo-Puentes then exhibited a polynomial behavior of the coefficients of this Laurent polynomial, seen as function on the curve degree. The authors provided explicit formula for small genus, involving quasi-modular forms. Inspired by the toric setting, the first-named author defined refined invariants for abelian surfaces and extended the polynomiality result. In this paper, we further study this regularity for abelian surfaces, providing explicit formulas involving quasi-modular forms. This resonates with the small genus cases of the toric setting.
- [66] arXiv:2602.03174 [pdf, ps, other]
-
Title: Quantitative sensitivity analysis for Fokker-Planck equation with respect to the Wasserstein distanceAuthors: Martin Morange (ANANKE)Subjects: Analysis of PDEs (math.AP)
We analyze the sensitivity of solutions to the Fokker-Planck equation with respect to some unknown parameter. Our main result is to provide quantitative upper bounds for the $p$-Wasserstein distance $\mathcal{W}_p$ between two solutions with different parameters, for every $p \geq 2$. We are able to give two proofs of this result, the first relying on synchronous coupling between two solutions of an SDE, and another one that relies on the differentiation of Kantorovitch dual formulation of optimal transport. We also provide more specific bounds in the case of the overdamped Langevin process, for which we are able to compare convergence to the invariant measure and sensitivity to the parameter.
- [67] arXiv:2602.03178 [pdf, ps, other]
-
Title: Fully Automated Adaptive Parameter Selection for 3-D High-order Nyström Boundary Integral Equation MethodsSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
We present an adaptive Chebyshev-based Boundary Integral Equation (CBIE) solver for electromagnetic scattering from smooth perfect electric conductor (PEC) objects. The proposed approach eliminates manual parameter tuning by introducing (i) a unified adaptive quadrature strategy for automatic selection of the near-singular interaction distance and (ii) an adaptive computation of all self- and near-singular precomputation integrals to a prescribed accuracy using Gauss-Kronrod (h-adaptive) or Clenshaw-Curtis (p-adaptive) rules and singularity-resolving changes of variables. Both h-adaptive and p-adaptive schemes are explored within this framework, ensuring high-order accuracy and robustness across a broad range of geometries without loss of efficiency. Numerical results for canonical and complex CAD geometries demonstrate that the adaptive solver achieves accuracy and convergence rates comparable to optimally tuned fixed-grid CBIE implementations, while offering automation and scalability to electrically large, geometrically complex problems.
- [68] arXiv:2602.03179 [pdf, ps, other]
-
Title: An algebraic approach to the existence of valuative interpolationComments: 18 pagesSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
An algebraic approach is presented for the valuative interpolation problem, which recovers and generalizes prior characterizations known in the complex analytic setting by the authors. We use the asymptotic Samuel function to give the characterization of the existence of valuative interpolation. We also give a characterization of the existence in the infinite valuative interpolation problem.
- [69] arXiv:2602.03191 [pdf, ps, other]
-
Title: Bivariate Hardy-Sobolev Inequality and Its Sharp StabilitySubjects: Analysis of PDEs (math.AP)
This paper establishes a bivariate Hardy-Sobolev inequality. Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be an open domain, $s \in (0,2)$, $\alpha > 1$, $\beta > 1$ with $\alpha + \beta = 2^*(s)$, and $\kappa \in \mathbb{R}$. For any functions $u, v \in D_0^{1,2}(\Omega)$, we prove the inequality:
\begin{multline*}
\int_{\Omega} |\nabla u|^2 \, \mathrm{d}x + \int_{\Omega} |\nabla v|^2 \, \mathrm{d}x
\ge S_{\alpha,\beta,\lambda,\mu}(\Omega) \left( \int_{\Omega} \Big( \lambda \frac{|u|^{2^*(s)}}{|x|^s} + \mu \frac{|v|^{2^*(s)}}{|x|^s} + 2^*(s) \kappa \frac{|u|^\alpha |v|^\beta}{|x|^s} \Big)\, \mathrm{d}x \right)^{\frac{2}{2^*(s)}}.
\end{multline*}
We derive the best constant $S_{\alpha,\beta,\lambda,\mu}(\Omega)$ and characterize the set of minimizers. Moreover, for $\Omega = \mathbb{R}^N$ and $\kappa > 0$, we obtain sharp stability results for nonnegative functions. - [70] arXiv:2602.03192 [pdf, ps, other]
-
Title: Resonant scattering for tunable quantum walks on graphs with tailsSubjects: Mathematical Physics (math-ph); Spectral Theory (math.SP)
We study the resonant scattering for discrete time quantum walks on graphs with some tails. In our arguments, we reduce the study of resonances to the perturbation of eigenvalues of a finite rank matrix associated with the internal graph. Then we can apply Kato's perturbation theory of matrices, and the reduction process of generalized eigenspaces allows us to derive an explicit asymptotic expansion of the scattering matrix. As a consequence, we obtain the resonant scattering at resonant energies.
- [71] arXiv:2602.03193 [pdf, ps, other]
-
Title: Permutation groups and symmetric Hecke algebrasComments: 21 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR); Rings and Algebras (math.RA)
The endomorphism algebras of the permutation modules for transitive permutation groups, known as Hecke algebras, are fundamental objects in representation theory. While group algebras are known to be symmetric over any field, it is natural to ask whether this property extends to Hecke algebras. To study this, we introduce the new concepts of $p$-$S$-permutation groups (for a prime $p$) and $S$-permutation groups. A \emph{ $p$-$S$-permutation group} is a transitive permutation group whose associated Hecke algebra is symmetric over every field of characteristic $p$. An \emph{ $S$-permutation group} is a transitive permutation group that is a $p$-$S$-permutation group for all primes $p$. In this paper, we study Hecke algebras from a group-theoretical perspective and we show that several classes of permutation groups are $p$-$S$-permutation groups and $S$-permutation groups in our sense. This result represents a substantial extension of earlier work by Li and He. (Transform Groups, 30(4), 2025), and reframes the question of determining when the algebra \(\End_{KG}(K\Omega)\) is symmetric within a more general theoretical framework.
- [72] arXiv:2602.03194 [pdf, ps, other]
-
Title: A mutation invariant for skew-symmetrizable matricesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
Matrix mutation of skew-symmetrizable matrices is foundational in cluster algebra theory. Effective mutation invariants are essential for determining whether two matrices lie in the same mutation class. Casals~\cite{Casals} introduced a binary mutation invariant for skew-symmetric matrices. In this paper, we extend Casals' construction to the skew-symmetrizable setting. When the skew-symmetrizer $d_1,\dots, d_n$ is pairwise coprime, we obtain two distinct extensions of this invariant.
- [73] arXiv:2602.03202 [pdf, ps, other]
-
Title: Sharp Inequalities between Total Variation and Hellinger Distances for Gaussian MixturesComments: 34 pagesSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
We study the relation between the total variation (TV) and Hellinger distances between two Gaussian location mixtures. Our first result establishes a general upper bound: for any two mixing distributions supported on a compact set, the Hellinger distance between the two mixtures is controlled by the TV distance raised to a power $1-o(1)$, where the $o(1)$ term is of order $1/\log\log(1/\mathrm{TV})$. We also construct two sequences of mixing distributions that demonstrate the sharpness of this bound. Taken together, our results resolve an open problem raised in Jia et al. (2023) and thus lead to an entropic characterization of learning Gaussian mixtures in total variation. Our inequality also yields optimal robust estimation of Gaussian mixtures in Hellinger distance, which has a direct implication for bounding the minimax regret of empirical Bayes under Huber contamination.
- [74] arXiv:2602.03206 [pdf, ps, other]
-
Title: The Riesz-Kantorovich formulas for $\mathbb{L}$-vector latticesComments: 9 pagesSubjects: Functional Analysis (math.FA)
Let $\mathbb{L}$ be a Dedekind complete unital $f$-algebra. We prove the Riesz-Kantorovich formulas for order bounded $\mathbb{L}$-module homomorphisms from a directed partially ordered $\mathbb{L}$-module with the Riesz Decomposition Property into a Dedekind complete $\mathbb{L}$-vector lattice satisfying an additional mild condition.
- [75] arXiv:2602.03236 [pdf, ps, other]
-
Title: Classification of noncommutative central conicsComments: 47 pages; all comments are welcomeSubjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG)
Classification of noncommutative quadric hypersurfaces is one of the major projects in noncommutative algebraic geometry. In recent years, we are dedicated to complete the classification of noncommutative central conics. To achieve this goal, we and other authors develop some theories to study and classify some classes of noncommutative quadric hypersurfaces in a series of papers. Finally, in this paper, we completely classify noncommutative central conics by developing the general theory of homogenization and dehomogenization for noncommutative algebras and by previous results. As a main result, we show that there are bijections among the following sets of objects (i) the set of isomorphism classes of $4$-dimensional Frobenius algebras, (ii) the set of isomorphism classes of noncommutative affine pencils of conics, and (iii) the set of isomorphism classes of noncommutative central conics.
- [76] arXiv:2602.03239 [pdf, ps, other]
-
Title: Deterministic and randomized Kaczmarz methods for $AXB=C$ with applications to color image restorationSubjects: Numerical Analysis (math.NA)
We study Kaczmarz type methods to solve consistent linear matrix equations. We first present a block Kaczmarz (BK) method that employs a deterministic cyclic row selection strategy. Assuming that the associated coefficient matrix has full column or row rank, we derive matrix formulas for a cycle of this BK method. Moreover, we propose a greedy randomized block Kaczmarz (GRBK) method and further extend it to a relaxed variant (RGRBK) and a deterministic counterpart (MWRBK). We establish the convergence properties of the proposed methods. Numerical tests verify the theoretical findings, and we apply the proposed methods to color image restoration problems.
- [77] arXiv:2602.03241 [pdf, ps, other]
-
Title: Non-homothetic complete periodic contact forms with constant Tanaka--Webster scalar curvatureComments: 17 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Complex Variables (math.CV)
We study the existence problem for complete contact forms with constant Tanaka--Webster scalar curvature on non-compact strictly pseudoconvex CR manifolds. We prove that, under mild assumptions, the universal cover of a compact strictly pseudoconvex CR manifold admits infinitely many non-homothetic such contact forms whenever its fundamental group has infinite profinite completion. As applications, we treat complements of real or complex spheres in the standard CR sphere, as well as circle bundles over compact K\"{a}hler manifolds and the boundary of a Reinhardt domain.
- [78] arXiv:2602.03247 [pdf, ps, other]
-
Title: Physics informed learning of orthogonal features with applications in solving partial differential equationsSubjects: Numerical Analysis (math.NA)
The random feature method (RFM) constructs approximation spaces by initializing features from generic distributions, which provides universal approximation properties to solve general partial differential equations. However, such standard initializations lack awareness of the underlying physical laws and geometry, which limits approximation. In this work, we propose the Physics-Driven Orthogonal Feature Method (PD-OFM), a framework for constructing feature representations that are explicitly tailored to both the differential operator and the computational domain by pretraining features using physics-informed objectives together with orthogonality regularization. This pretraining strategy yields nearly orthogonal feature bases. We provide both theoretical and empirical evidence that physics-informed pretraining improves the approximation capability of the learned feature space. When employed to solve Helmholtz, Poisson, wave, and Navier-Stokes equations, the proposed method achieves residual errors 2-3 orders of magnitude lower than those of comparable methods. Furthermore, the orthogonality regularization improves transferability, enabling pretrained features to generalize effectively across different source terms and domain geometries for the same PDE.
- [79] arXiv:2602.03251 [pdf, ps, other]
-
Title: Squares in arithmetic progression over quadratic extensions of number fieldsAuthors: Enrique González-JiménezComments: To appear in International Journal of Number TheorySubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We study arithmetic progressions of squares over quadratic extensions of number fields. Using a method inspired by an approach of Mordell, we characterize such progressions as quadratic points on a genus $5$ curve. Specifically, we determine the set of $K$-quadratic points on this curve under certain conditions on the base field $K$. Our main results rely on the algebraic properties of specific elliptic curves after performing a base change to suitable number fields. As a consequence, we establish that, under appropriate assumptions, any non-elementary arithmetic progression of five or six squares properly defined over a quadratic extension of $K$ must be of a specific form. Moreover, we prove the non-existence of such progressions of length greater than six under these assumptions.
- [80] arXiv:2602.03254 [pdf, ps, other]
-
Title: Values of finite distortion: Reshetnyak's theorem and the Lusin (N) -propertyComments: 26 pagesSubjects: Complex Variables (math.CV)
Let $\Omega \subset \mathbb{R}^n$ be a domain and $f \in W^{1,n}_{\text{loc}} (\Omega,\mathbb{R}^n) $. We say that $f$ has a value of finite distortion at $y_0 \in \mathbb{R}^n$ if there exist measurable functions $K \colon \Omega \to [0,\infty) $ and $\Sigma \in L^1_{\text{loc}} (\Omega)$ such that \[
\lvert Df(x)\rvert^n \le K(x) \det Df (x) + \Sigma(x) \lvert f(x)-y_0 \rvert^n
\quad \text{for a.e. } x \in \Omega. \] This notion unifies the classical theory of mappings of finite distortion with the recently introduced theory of quasiregular values.
We establish a single-value analogue of Reshetnyak's theorem in this setting. Specifically, if $f$ is nonconstant and has a value of finite distortion at $y_0$, with $K \in L^p_{\text{loc}}(\Omega) $, $\Sigma/K \in L^q_{\text{loc}}(\Omega)$, $p>n-1$, and $p^{-1}+q^{-1}<1$, then the preimage $f^{-1}\{y_0\}$ is discrete, the local topological index is positive at every point of $f^{-1}\{y_0\}$, and every neighborhood of a point in $f^{-1}\{y_0\}$ is mapped onto a neighborhood of $y_0$. We also prove that mappings satisfying a more general distortion inequality with defect preserve sets of Lebesgue measure zero. - [81] arXiv:2602.03259 [pdf, ps, other]
-
Title: On a conjecture about the strong odd chromatic number of planar graphsSubjects: Combinatorics (math.CO)
A proper coloring of a graph $G$ is said to be a strong odd coloring of $G$, if for every vertex $v$ and every color $c$, either $c$ appears on an odd number of vertices in the neighborhood of $v$ or $c$ is absent in the neighborhood of $v$. The strong odd chromatic number of $G$ is defined as the smallest integer $k$ for which $G$ admits a strong odd coloring using $k$ colors. In this paper, we evaluate the strong odd chromatic number of join of cycles and empty graphs and one point union of graphs. Using these results, we construct infinite family of planar graphs that serves as counter examples to a recent conjecture regarding the upper bound of the strong odd chromatic number of planar graphs.
- [82] arXiv:2602.03261 [pdf, ps, other]
-
Title: On some NIP Fragments of FieldsAuthors: Paulo Andrés Soto MorenoSubjects: Logic (math.LO)
In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued Fields of any characteristic and any imperfection degree are NIP, and use this result to fill some gaps of a proof of the so-called NIP Transfer Theorem for henselian valued fields of equal characteristic. Second, we prove a variant of a theorem of Johnson: every positive characteristic valued field whose existential formulas are NIP is henselian. Finally, we set the ground for the finer question of transfer of NIP formulas of valued fields with bounded quantifier rank. Namely, we prove that for any henselian equicharacteristic valued field, any formula of quantifier rank at most $n\geq 1$ is NIP if and only if the same is true for the residue field and the value group, provided that the valued field is separably defectless Kaplansky and conditional on a multi-variable generalization of a well known statement about indiscernible sequences of singletons in ac-valued fields.
- [83] arXiv:2602.03267 [pdf, ps, other]
-
Title: The Mutual-Visibility Problem In Directed GraphsAuthors: Vanja StojanovićSubjects: Combinatorics (math.CO)
The mutual-visibility problem, originally defined for undirected graphs, asks for the size of the maximum set of vertices $S$ such that every pair of vertices in $S$ is connected by a shortest path passing only through vertices in $V \setminus S$. In this paper, we extend this concept to directed graphs, establishing fundamental results for several graph classes. We prove that for Directed Acyclic Graphs (DAGs), the mutual-visibility number $\mu(D)$ is always 1, and for directed cycles of length $n \geq 3$, it is strictly 2. In contrast, we demonstrate that tournaments can support arbitrarily large mutual-visibility sets; specifically, using properties of Paley tournaments, we show that $\mu(T)$ grows linearly with the size of the tournament. On the algorithmic side, we show that while verifying a candidate set is polynomial-time solvable ($O(|S|(|V|+|A|))$), the problem of determining $\mu(D)$ is NP-hard for general digraphs. We also analyze the impact of strong bridges and strongly connected components on the upper bounds of $\mu(D)$.
- [84] arXiv:2602.03280 [pdf, ps, other]
-
Title: Gromov-Hausdorff and intrinsic flat convergence of RCD(K,N) and Kato spacesSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
We consider metric measure spaces $(X,\mathsf{d},\mathscr{H}^N)$ satisfying the properties (ETR), (LBD), and with an almost everywhere connected regular set. In particular, these assumptions are fulfilled by non-collapsed RCD$(K,N)$ spaces without boundary, as well as by non-collapsed strong Kato limit spaces without boundary. For both classes, we study orientability in the sense of metric currents, establish stability of orientation under pointed Gromov--Hausdorff convergence, and show that the pointed Gromov--Hausdorff limit coincides with the local flat limit.
- [85] arXiv:2602.03283 [pdf, ps, other]
-
Title: Orthogonal Approximate Message Passing Algorithms for Rectangular Spiked Matrix Models with Rotationally Invariant NoiseComments: To appear in the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2026Subjects: Statistics Theory (math.ST); Information Theory (cs.IT); Machine Learning (stat.ML)
We propose an orthogonal approximate message passing (OAMP) algorithm for signal estimation in the rectangular spiked matrix model with general rotationally invariant (RI) noise. We establish a rigorous state evolution that exactly characterizes the high-dimensional dynamics of the algorithm. Building on this framework, we derive an optimal variant of OAMP that minimizes the predicted mean-squared error at each iteration. For the special case of i.i.d. Gaussian noise, the fixed point of the proposed OAMP algorithm coincides with that of the standard AMP algorithm. For general RI noise models, we conjecture that the optimal OAMP algorithm is statistically optimal within a broad class of iterative methods, and achieves Bayes-optimal performance in certain regimes.
- [86] arXiv:2602.03298 [pdf, ps, other]
-
Title: Uniformity of extremal graph-codesSubjects: Combinatorics (math.CO)
It is an important fact that extremal discrete structures -- that is, discrete structures of maximal size among those that avoid certain configurations -- exhibit strong pseudorandom behavior. We present instances of this phenomenon in the context of graph-codes, a notion put forth recently by Alon, as well as on related problems related to density polynomial Hales--Jewett conjecture.
- [87] arXiv:2602.03299 [pdf, ps, other]
-
Title: On Poincaré-Sobolev level involving fractional GJMS operators on hyperbolic spaceSubjects: Analysis of PDEs (math.AP)
This paper is devoted to a qualitative analysis of the Poincar\'e--Sobolev level associated with the fractional GJMS operators \(\mathcal{P}_s\) \(\bigl(s\in(0,\tfrac n2)\setminus\mathbb N\bigr)\) on the hyperbolic space \(\mathbb H^n\). In contrast to the integer-order case, when \(s\notin\mathbb N\) the operator \(\mathcal{P}_s\) does not enjoy the conformal covariance that allows one, in the upper half-space or ball model, to relate it to the Euclidean fractional Laplacian \((-\Delta)^s\); this link is crucial for importing Euclidean theory. We therefore introduce \(\widetilde{\mathcal{P}}_s\) (\(s>0\)), which is conformally related to \((-\Delta)^s\). Our purpose in the paper is to analyze the monotonicity, attainability, and strict-gap regions of the Poincar\'e--Sobolev levels associated with \(\mathcal{P}_s\) and with \(\widetilde{\mathcal{P}}_s\) with \(s\in(0,\tfrac n2)\setminus\mathbb N\). First, we reinterpret the Brezis--Nirenberg problem through the lens of Poincar\'e--Sobolev levels, connecting earlier results for the Euclidean Laplacian and for operators \(\mathcal{P}_k\) on \(\mathbb H^n\) with integer \(k\in(0,\tfrac n2)\). We then establish new, explicit lower bounds for the Hardy term in fractional Hardy--Sobolev--Maz'ya inequalities involving both \(\mathcal{P}_s\) and \(\widetilde{\mathcal{P}}_s\). By applying the concentration--compactness principle together with a detailed analysis of the strict-gap regions for the Poincar\'e--Sobolev levels, we prove the existence of solutions to the Brezis--Nirenberg problem on \(\mathbb H^n\) for both operators. Finally, combining the Hardy lower bounds with criteria for attainability, we obtain a complete characterization of the Poincar\'e--Sobolev levels \(H_{n,s}\) and \(\widetilde H_{n,s}\).
- [88] arXiv:2602.03322 [pdf, ps, other]
-
Title: Weighted finite difference methods for a nonlinear Klein--Gordon equation with high oscillations in space and timeSubjects: Numerical Analysis (math.NA)
We consider a nonlinear Klein--Gordon equation in the nonrelativistic limit regime with initial data in the form of a modulated highly oscillatory exponential. In this regime of a small scaling parameter $\varepsilon$, the solution exhibits rapid oscillations in both time and space, posing challenges for numerical approximation. We propose an explicit and an implicit exponentially weighted finite difference method. While the explicit weighted leapfrog method needs to satisfy a CFL-type stability condition, the implicit weighted Crank--Nicolson method is unconditionally stable. Both methods achieve second-order accuracy with time steps and mesh sizes that are not restricted in magnitude by $\varepsilon$. The methods are uniformly convergent in the range from arbitrarily small to moderately bounded $\varepsilon$. Numerical experiments illustrate the theoretical results.
- [89] arXiv:2602.03330 [pdf, ps, other]
-
Title: Invariant Extremal Projections for Operator-Ordered FamiliesAuthors: Philip KennerbergSubjects: Functional Analysis (math.FA)
We study an extremal projection principle for families of operators ordered by domination, induced by fixed bounded linear mappings acting on a source with an additive baseline. Stability is defined through domination of second--order structure, leading to a covariance envelope of admissible sources ordered by the L\"owner relation.
Our main result establishes an envelope extremal principle: the maximal value of the quadratic functional over the entire envelope coincides with that of a single extremal configuration, which may lie only in the closure of the admissible class. This identification is obtained without convexity, compactness, or any global Hilbert space structure governing all components of the system, and relies instead on an operator--theoretic approximation scheme.
As a consequence, minimax optimization over stability sets reduces to an ordinary quadratic minimization problem with well--posed existence and uniqueness properties for the associated minimizing operators. Structural properties of covariance envelopes are also derived, including density, closure, and spectral characterizations in stationary settings. - [90] arXiv:2602.03332 [pdf, ps, other]
-
Title: $L^2$-Dolbeault resolutions and Nadel vanishing on weakly pseudoconvex complex spaces with singular Hermitian metricsAuthors: Yuta WatanabeComments: 24 pagesSubjects: Complex Variables (math.CV)
In this paper, in order to develop a more general $L^2$-theory for the $\overline{\partial}$-operator on complex spaces, we provide $L^2$-Dolbeault fine resolutions and isomorphisms, and $L^2$-estimates, for holomorphic line bundles on complex spaces equipped with singular Hermitian metrics. As applications, we obtain several generalizations of the Nadel vanishing theorem.
- [91] arXiv:2602.03341 [pdf, ps, other]
-
Title: Local profiles of self-similar solutions of the planar stationary Navier--Stokes equationsComments: 25 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
In this paper, we revisit self-similar solutions of the two-dimensional stationary incompressible Navier-Stokes equations under scaling symmetries, also known as Jeffery-Hamel solutions. We investigate the local patterns of smooth Jeffery-Hamel solutions in a conical subdomain $\Omega$ with vertex at the origin, without imposing any boundary conditions on $\Omega$. For radial Jeffery-Hamel solutions, we obtain all the explicit local profiles in $\Omega$ with arbitrary opening angles. In the non-radial case, we show that some Jeffery-Hamel solutions can be obtained via solving a Li\'enard equation, and we derive new explicit local profiles expressible in terms of Weierstrass elliptic functions.
- [92] arXiv:2602.03348 [pdf, ps, other]
-
Title: A Comparative Study of Low-Dissipation Numerical Schemes for Hyperbolic Conservation LawsComments: arXiv admin note: substantial text overlap with arXiv:2504.01699Subjects: Numerical Analysis (math.NA)
This work provides a comparative assessment of several low-dissipation numerical schemes for hyperbolic conservation laws, highlighting their performance relative to the classical Harten-Lax-van Leer (HLL) schemes. The schemes under consideration include the classical Harten-Lax-van Leer-Contact (HLLC), the recently proposed TV flux splitting, the low-dissipation Central-Upwind (LDCU), and the local characteristic decomposition-based Central-Upwind (LCDCU) schemes. These methods are extended to higher orders of accuracy, up to the fifth order, within both finite-volume and finite-difference frameworks. A series of numerical experiments for the one- and two-dimensional Euler equations of gas dynamics are performed to evaluate the accuracy, robustness, and computational efficiency of the studied schemes. The comparison highlights the trade-offs between resolution of contact and shear waves, robustness in the presence of shocks, and computational cost. The investigated low-dissipation schemes show comparable levels of numerical dissipation, with only subtle differences appearing in selected benchmark problems. The results provide practical guidance for selecting efficient low-dissipation solvers for the simulation of complex compressible flows.
- [93] arXiv:2602.03356 [pdf, ps, other]
-
Title: On characteristic foliations of metric contact-symplectic structuresAuthors: Amine HadjarComments: 8 pagesSubjects: Differential Geometry (math.DG)
We study compatible and associated metrics for a contact-symplectic pair $(\eta , \omega)$ on a manifold. We show that the integral curves of the Reeb vector field are geodesics for any compatible metric. We prove that all associated metrics share a common volume element, which we give explicitly. When the characteristic foliations of $\eta$ and $\omega$ are orthogonal with respect to an associated metric, their leaves, as well as those of the characteristic foliation of $d\eta$, are minimal. We construct explicit examples on nilpotent Lie groups and nilmanifolds where the characteristic foliations are not both totally geodesic.
- [94] arXiv:2602.03363 [pdf, ps, other]
-
Title: Entropy Functions on Two-Dimensional Faces of Polymatroid Region with One Extreme Ray Containing Rank-One MatroidSubjects: Information Theory (cs.IT)
Characterization of entropy functions is of fundamental importance in information theory. By imposing constraints on their Shannon outer bound, i.e., the polymatroidal region, one obtains the faces of the region and entropy functions on them with special structures. In this paper, we characterize entropy functions on 2-dimensional faces of polymatroid region of degree n with one extreme ray containing rank-1 matroid. We classify all such 2-dimensional faces with another extreme ray containing a matroid into four types.
- [95] arXiv:2602.03385 [pdf, ps, other]
-
Title: On the Fano dimension of an Enriques surfaceAuthors: Federico TufoComments: 9 pages. Comments are welcome!Subjects: Algebraic Geometry (math.AG)
We construct a family of Fano fourfolds with the derived category of coherent sheaves of a general Enriques surface as semiorthogonal component. This improves a result of Kuznetsov, lowering the Fano dimension of a general Enriques surface from six to four.
- [96] arXiv:2602.03391 [pdf, ps, other]
-
Title: Forcing and classes of $\mathsf{HYP}$-dominating functionsSubjects: Logic (math.LO)
This paper is aimed at showing separations between three subsets of $\omega^{\omega}$, namely $\mathsf{HYP}\text{-}\mathsf{SNE}$, $\mathsf{HYP}\text{-}\mathsf{SME}$, and $\mathsf{HYP}\text{-}\mathsf{DOM}$. These classes are natural computational analogues of cardinal characteristics from Cichon's diagram and are known to satisfy $\mathsf{HYP}\text{-}\mathsf{SNE} \subseteq \mathsf{HYP}\text{-}\mathsf{SME} \subseteq \mathsf{HYP}\text{-}\mathsf{DOM}$. To show that both of these inclusions are strict we introduce effectivizations of Laver and Hechler forcing, which we believe are of independent interest. Our techniques allow us to show similar results relative to any Turing ideal closed under $\leq_{\mathsf{HYP}}$.
- [97] arXiv:2602.03399 [pdf, ps, other]
-
Title: Möbius Disjointness Conjecture for a skew product on a circle and the Heisenberg nilmanifoldSubjects: Number Theory (math.NT)
We establish Sarnak's conjecture on M\"obius disjointness for the dynamical system of a skew product on a circle and the three-dimensional Heisenberg nilmanifold, first studied by Wen Huang, Jianya Liu and Ke Wang. We advance the work of Huang, Liu, Wang, and their followers to a broad generality by removing the previously imposed restrictive symmetry condition.
- [98] arXiv:2602.03407 [pdf, ps, other]
-
Title: Universal Costas Matrices: Towards a General Framework for Costas Array ConstructionComments: Accepted for IEEE International Conference on Communications (ICC) 2026Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
Costas arrays are a special type of permutation matrices with ideal autocorrelation and low cross-correlation properties, making them valuable for radar, wireless communication, and integrated sensing and communication applications. This paper presents a novel unified framework for analyzing and discovering new Costas arrays. We introduce Universal Costas Matrices (UCMs) and Universal Costas Frequency Matrices (UCFMs) and investigate their structural characteristics. A framework integrating UCMs and UCFMs is proposed to pave the way for future artificial intelligence-assisted Costas array discovery. Leveraging the structural properties of UCMs and UCFMs, a reconstruction-based search method is developed to generate UCMs from UCFMs. Numerical results demonstrate that the proposed approach significantly accelerates the search process and enhances structural insight into Costas array generation.
- [99] arXiv:2602.03408 [pdf, ps, other]
-
Title: In Search of Approximate Polynomial Dependencies Among the Derivatives of the Alternating Zeta FunctionAuthors: Yuri MatiyasevichJournal-ref: Journal of Experimental Mathematics 1 (2025) 239--256Subjects: Number Theory (math.NT)
It is well-known that the Riemann zeta function does not satisfy any exact polynomial differential equation. Here we present numerical evidence for the existence of approximate polynomial dependencies between the values of the alternating zeta function and its initial derivatives.
A number of conjectures is stated. - [100] arXiv:2602.03421 [pdf, ps, other]
-
Title: On (Im)possibility of Network Oblivious Transfer via Noisy Channels and Non-Signaling CorrelationsSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
This work investigates the fundamental limits of implementing network oblivious transfer via noisy multiple access channels and broadcast channels between honest-but-curious parties when the parties have access to general tripartite non-signaling correlations. By modeling the shared resource as an arbitrary tripartite non-signaling box, we obtain a unified perspective on both the channel behavior and the resulting correlations. Our main result demonstrates that perfect oblivious transfer is impossible. In the asymptotic regime, we further show that even negligible leakage cannot be achieved, as repeated use of the resource amplifies the receiver(s)'s ability to distinguish messages that were not intended for him/them. In contrast, the receiver(s)'s own privacy is not subject to a universal impossibility limitation.
- [101] arXiv:2602.03428 [pdf, ps, other]
-
Title: On singular Galerkin discretizations for three models in high-frequency scatteringSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
We consider three common mathematical models for time-harmonic high frequency scattering: the Helmholtz equation in two and three spatial dimensions, a transverse magnetic problem in two dimensions, and Maxwell's equation in three dimensions with dissipative boundary conditions such that the continuous problem is well posed. In this paper, we construct meshes for popular (low order) Galerkin finite element discretizations such that the discrete system matrix becomes singular and the discrete problem is not well posed. This implies that a condition "the finite element space has to be sufficiently rich" in the form of a resolution condition - typically imposed for discrete well-posedness - is not an artifact from the proof by a compact perturbation argument but necessary for discrete stability of the Galerkin discretization.
- [102] arXiv:2602.03440 [pdf, ps, other]
-
Title: A New Expression for the Bernoulli Numbers and its ApplicationsSubjects: Number Theory (math.NT); Combinatorics (math.CO)
This paper shows that a finite discrete convolution involving Stirling numbers of both kinds and harmonic numbers can be expressed in terms of the Bernoulli numbers. As applications of this expression, the linear recurrence relation for the Bernoulli numbers given by Agoh is reproved, and a new recurrence relation for the Bernoulli numbers is obtained. Furthermore, it is shown that a cumulative sum of the Bernoulli numbers can be written in terms of the Bernoulli and di-Bernoulli numbers. Finally, congruences for the sums of the Bernoulli and Euler numbers are established.
- [103] arXiv:2602.03441 [pdf, ps, other]
-
Title: Symmetries and Higher-Form Connections in Derived Differential GeometryComments: 118 pagesSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
We introduce a general definition of higher-form connections on principal $\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and integration of maps from smooth manifolds to derived stacks with sufficient deformation theory. That allows us to introduce the Atiyah $L_\infty$-algebroid of a principal $\infty$-bundle and establish its global sections as the $L_\infty$-algebra of the derived higher symmetry group of the bundle. We define the space of $p$-form connections on an $\infty$-bundle as the space of order $p$ splittings of its Atiyah $L_\infty$-algebroid. We demonstrate that our new concept of derived geometric $p$-form connections recovers the known notion of connections on higher U(1)-bundles defined via \v{C}ech-Deligne differential cocycles. We further relate the $L_\infty$-algebras of derived higher symmetries of higher U(1)-bundles and higher Courant algebroids. Some applications in higher gauge theory and in supergravity are mentioned.
- [104] arXiv:2602.03446 [pdf, ps, other]
-
Title: Base norm spaces--classical, complex, and noncommutativeComments: 32 pagesSubjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Functional Analysis (math.FA)
We generalize the theory of base norm spaces to the complex case, and further to the noncommutative setting relevant to `quantum convexity'. In particular, we establish the duality between complex Archimedean order unit spaces and complex base norm spaces, as well as the corresponding duality between their noncommutative counterparts. Additional topics include an exploration of natural connections with various notions of quantum convexity and regularity of noncommutative convex sets, and an analysis of how these concepts interact with complexification. We also define, as in the classical case, a class that contains and generates the noncommutative base norm spaces, but is defined by fewer axioms. We show how this may be applied to provide new and interesting examples of noncommutative base norm spaces.
- [105] arXiv:2602.03450 [pdf, ps, other]
-
Title: $λ$-ring structure in differential K-theoryComments: 17 pagesSubjects: K-Theory and Homology (math.KT); Differential Geometry (math.DG)
We establish the splitting principle for differential K-theory, a refinement of topological K-theory that incorporates geometric data via differential forms. Using this principle, we prove that the differential $K^0$-ring associated to closed smooth manifolds admits a $\lambda$-ring structure. This structure enables a concrete construction of the Adams operations in differential K-theory introduced by Bunke. At last, we extend all these results to an equivariant setting associated with a compact Lie group action.
- [106] arXiv:2602.03451 [pdf, ps, other]
-
Title: A low-regularity Riemannian positive mass theorem for non-spin manifolds with distributional curvatureAuthors: Eduardo HafemannSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc)
This article establishes a low-regularity Riemannian positive mass theorem for non-spin manifolds whose metrics are only $C^0 \cap W_{\mathrm{loc}}^{1,n}$ and smooth outside a compact set. The main theorem asserts that asymptotically flat manifolds with nonnegative distributional scalar curvature have nonnegative ADM mass. The proof uses smooth approximations of the metric together with a Sobolev version of Friedrichs' Lemma, which yields improved convergence for commutators between differentiation and convolution operators. Rigidity is obtained for $C^0 \cap W_{\mathrm{loc}}^{1,p}$ metrics with $p>n$ via the comparison theory of $\sf{RCD}$-spaces and a rigidity theorem for compact manifolds with metrics of nonnegative distributional curvature by Jiang-Sheng-Zhang. The argument relies on either elementary techniques or generalisations of the standard argument. In essence, a version of the main theorem of Lee-LeFloch is presented in which the spin condition is removed under the assumption that the metric is smooth outside a compact set.
- [107] arXiv:2602.03460 [pdf, ps, other]
-
Title: Cholesky factorisation, and intrinsically sparse linear quadratic regulationComments: 15 pages, 7 figures, under reviewSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We classify a family of matrices of shift operators that can be factorised in a computationally tractable manner with the Cholesky algorithm. Such matrices arise in the linear quadratic regulator problem, and related areas. We use the factorisation to uncover intrinsic sparsity properties in the control laws for transportation problems with an underlying tree structure. This reveals that the optimal control can be applied in a distributed manner that is obscured by standard solution methods.
- [108] arXiv:2602.03463 [pdf, ps, other]
-
Title: Internal free boundary problem for cold plasma equationsComments: 14 pages, 8 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
For the system of cold plasma equations describing the motion of electrons in the field of stationary ions, we consider the Riemann problem posed at an impenetrable interface between two media. These media differ in the magnitude of the constant ion field. The interface between the media is assumed to be free. Its position is determined from the generalized Rankine-Hugoniot conditions and the stability condition, that is, the intersection of Lagrangian particle trajectories at the interface.
- [109] arXiv:2602.03465 [pdf, ps, other]
-
Title: On Rubio de Francia's maximal theoremComments: 25 pages, 1 figureSubjects: Classical Analysis and ODEs (math.CA)
In his influential 1986 paper, Rubio de Francia established $L^p$ bounds for the maximal function generated by dilations of measures $\mu$ whose Fourier transforms $\widehat{\mu}$ satisfy specific decay condition. In the present work, we obtain results that complement his work in several directions. In particular, we obtain restricted weak-type endpoint bound on the maximal function and $L^p$--$L^q$ bounds on its local variant. We also investigate how Frostman's growth condition on the measure influences those maximal bounds. While a key feature of Rubio de Francia's result is that $L^p$ boundedness is determined solely by the decay order of $\widehat{\mu}$, we show that the Frostman condition plays a significant role when the growth order exceeds $d-1$ or when $L^p$--$L^q$ estimates are considered.
- [110] arXiv:2602.03475 [pdf, ps, other]
-
Title: On the uniform dimension of subextensions in skew polynomial ringsAuthors: Bertrand NguefackSubjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
This work investigates the invariance of the non-necessarily finite uniform dimension and related concepts for subextensions in skew polynomial rings \mbox{$ \mathbb{S}=R[ \mathbf{\mathrm{X}}; \mathbf{\alpha} , \mathbf{\delta} ]$} of bijective type over a well-ordered set of variables. When the coefficient ring has enough uniform left ideals, in the commuting variables case we show that classical results on this topic for polynomial rings extend to subextensions of skew Laurent polynomial rings \mbox{$ \mathbb{S}=R[ \mathbf{\mathrm{X}}^{\pm1}; \mathbf{\alpha}]$}, generated over $R$ by any family of (standard) terms. The situation in the non-commuting variables context is more complex; easily formed polynomial-like subrings can behave very oddly from the ambient ring.
We provide easy examples of a (semi)prime left Goldie skew polynomial ring of bijective type containing a monoid subring isomorphic to a free non-commutative polynomial ring. We then study the so-called subclass of \emph{essentially special subextensions} and obtain for them the preservation of the uniform dimension and related concepts. - [111] arXiv:2602.03481 [pdf, ps, other]
-
Title: On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenizationAuthors: Alexander ZlotnikComments: 30 pagesSubjects: Analysis of PDEs (math.AP)
We deal with the global in time weak solutions to the 1D compressible Navier-Stokes system of equations for large discontinuous initial data and nonhomogeneous boundary conditions of three standard types. We prove the Lipschitz-type continuous dependence of the solution $(\eta,u,\theta)$, in a norm slightly stronger than $L^{2,\infty}(Q)\times L^2(Q)\times L^2(Q)$, on the initial data $(\eta^0,u^0,e^0)$ in a norm of $L^2(\Omega)\times H^{-1}(\Omega)\times H^{-1}(\Omega)$-type and also on the free terms in all the equations in some dual norms. Here $\eta$, $u$ and $\theta$ are the specific volume, velocity and absolute temperature as well as $\eta^0$, $u^0$ and $e^0$ are the initial specific volume, velocity and specific total energy, and $Q=\Omega\times (0,T)$. We also apply this result to the case of discontinuous rapidly oscillating, with the period $\varepsilon$, initial data and free terms and derive an estimate $O(\varepsilon)$ for the difference between the solutions to the Navier-Stokes equations and their Bakhvalov-Eglit two-scale homogenized version with averaged data.
- [112] arXiv:2602.03492 [pdf, ps, other]
-
Title: Dynamics of the leftmost particle in heterogeneous semi-infinite exclusion systemsComments: 24 pages, 1 figureSubjects: Probability (math.PR)
We study the behaviour of the leftmost particle in a semi-infinite particle system on $\mathbb{Z}$, where each particle performs a continuous-time nearest-neighbour random walk, with particle-specific jump rates, subject to the exclusion interaction (i.e., no more than one particle per site). We give conditions, in terms of the jump rates on the system, under which the leftmost particle is recurrent or transient, and develop tools to study its rate of escape in the transient case, including by comparison with an $M/G/\infty$ queue. In particular we show examples in which the leftmost particle can be null recurrent, positive recurrent, ballistically transient, or subdiffusively transient. Finally we indicate the role of the initial condition in determining the dynamics, and show, for example, that sub-ballistic transience can occur started from close-packed initial configurations but not from stationary initial conditions.
- [113] arXiv:2602.03500 [pdf, ps, other]
-
Title: n-th Tropical Nevanlinna TheoryComments: 48 pagesSubjects: Algebraic Geometry (math.AG)
In this paper, the tropical Nevanlinna theory is extended for piecewise polynomial continuous functions. By constructing the $n$-th Poisson-Jensen formula, the $n$-th tropical counting, proximity, and characteristic functions are introduced, which have some different properties compared to the classical tropical setting. Then, not only is the $n$-th version of the second main theorem for tropical homogeneous polynomials obtained, but also a tropical second main theorem for ordinary Fermat type polynomials is acquired. Moreover, by estimating the tropical logarithmic derivative with a growth assumption pointwise, a strong equality is proved. This equality illustrates the relationship between $\sum_{i=0}^{m}N(r, 1_{0}\oslash f_{i})$ and the ramification term $N(r, C_{0}(f_{0}, \cdots, f_{m}))$, implying that there is no natural tropical truncated version of the second main theorem for shift operators.
- [114] arXiv:2602.03503 [pdf, ps, other]
-
Title: Shot-noise processes with logarithmic response function and their scaling limitsComments: 15 pages, 2 figuresSubjects: Probability (math.PR)
We consider shot-noise processes with an impulse response written in terms of the logarithm of the ratio between current and event time (instead of the usual absolute time difference). We study its finite-time properties as well as its weak convergence, under appropriate scaling and with general assumptions on the dependence of noises on event times. The limiting process coincides with the so-called Hadamard fractional Brownian motion (introduced in Beghin, Cristofaro, Polito (2026)), which represents a middle ground between standard Brownian motion and fractional Brownian motion. It shares the one-dimensional distribution with the former, while possessing the long-memory property (within a certain parameter range) of the latter, though with smaller intensity.
- [115] arXiv:2602.03505 [pdf, ps, other]
-
Title: Generative Decompression: Optimal Lossy Decoding Against Distribution MismatchSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
This paper addresses optimal decoding strategies in lossy compression where the assumed distribution for compressor design mismatches the actual (true) distribution of the source. This problem has immediate relevance in standardized communication systems where the decoder acquires side information or priors about the true distribution that are unavailable to the fixed encoder. We formally define the mismatched quantization problem, demonstrating that the optimal reconstruction rule, termed generative decompression, aligns with classical Bayesian estimation by taking the conditional expectation under the true distribution given the quantization indices and adapting it to fixed-encoder constraints. This strategy effectively performs a generative Bayesian correction on the decoder side, strictly outperforming the conventional centroid rule. We extend this framework to transmission over noisy channels, deriving a robust soft-decoding rule that quantifies the inefficiency of standard modular source--channel separation architectures under mismatch. Furthermore, we generalize the approach to task-oriented decoding, showing that the optimal strategy shifts from conditional mean estimation to maximum a posteriori (MAP) detection. Experimental results on Gaussian sources and deep-learning-based semantic classification demonstrate that generative decompression closes a vast majority of the performance gap to the ideal joint-optimization benchmark, enabling adaptive, high-fidelity reconstruction without modifying the encoder.
- [116] arXiv:2602.03508 [pdf, ps, other]
-
Title: A necessary and sufficient condition for discrete-time consensus on star boundariesComments: 14 pages, 8 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
It is intuitive and well known, that if agents in a multi-agent system iteratively update their states in the Euclidean space as convex combinations of neighbors' states, all states eventually converge to the same value (consensus), provided the interaction graph is sufficiently connected. However, this seems to be also true in practice if the convex combinations of states are mapped or radially projected onto any unit $l_p$-sphere or even boundaries of star-convex sets, herein referred to as star boundaries. In this paper, we present insight into this matter by providing a necessary and sufficient condition for asymptotic consensus of the normalized states (directions) for strongly connected directed graphs, which is equivalent to asymptotic consensus of states when the star boundaries are the same for all agents. Furthermore, we show that when asymptotic consensus occurs, the states converge linearly and the point of convergence is continuous in the initial states. Assuming a directed strongly connected graph provides a more general setting than that considered, for example, in gradient-based consensus protocols, where symmetric graphs are assumed. Illustrative examples and a vast number of numerical simulations showcase the theoretical results.
- [117] arXiv:2602.03513 [pdf, ps, other]
-
Title: Torsion groups of elliptic curves that appear infinitely often over septic fieldsAuthors: Filip NajmanComments: 5 pagesSubjects: Number Theory (math.NT)
In this short note we determine the set $\Phi^\infty(7)$ of Abelian groups that appear as torsion groups of infinitely many elliptic curves (up to $\overline \mathbb Q$-isomorphism) over number fields of degree 7.
- [118] arXiv:2602.03519 [pdf, ps, other]
-
Title: Open modular functors from non-finite tensor categoriesAuthors: Deniz YeralComments: 14 pagesSubjects: Quantum Algebra (math.QA)
We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider non-finite tensor categories is the theory of vertex operator algebras where such categories arise as categories of modules. The mapping class group representations presented in this article admit a factorization homology description. In other words, they are of three-dimensional origin and hence obey a holographic principle. A compact projective symmetric Frobenius algebra endows the representations with a pointing that is mapping class group invariant and compatible with the gluing along intervals. This shows that, at least to some extent, many of the tools for the construction and study of spaces of conformal blocks and correlators remain available in a non-finite, but rigid setting.
- [119] arXiv:2602.03526 [pdf, ps, other]
-
Title: Q-Learning for 3D Coverage in VCSEL-based Optical Wireless SystemsComments: Accepted for oral presentation at the IEEE ICC 2026 symposiumSubjects: Optimization and Control (math.OC)
Beam divergence control is a key factor in maintaining reliable coverage in indoor optical wireless communication (OWC) systems as receiver height varies.Conventional systems employ fixed divergence angles, which result in significant coverage degradation due to the non-convex tradeoff between optical power concentration and spatial spread. In this paper, we introduce a reinforcement learning (RL)-based framework for dynamic divergence adaptation in vertical-cavity surface-emitting laser (VCSEL)-based OWC networks. By continuously interacting with the environment, the RL agent autonomously learns a near-optimal mapping between receiver height and beam divergence, thereby eliminating the need for analytical modeling or computationally intensive exhaustive search. Simulation results demonstrate that the proposed approach achieves up to 92% coverage at low receiver heights and maintains robust performance under challenging conditions, enabling scalable, real-time, and energy-efficient beam control for dense VCSEL array deployments in next-generation OWC systems.
- [120] arXiv:2602.03532 [pdf, ps, other]
-
Title: An operator algebraic approach for generalized Cardano polynomialsSubjects: Mathematical Physics (math-ph)
We develop an operator algebraic framework for generalized Cardano polynomials and show how their structure naturally leads to an operator formulation of Cardano method that is compatible with tools and concepts from quantum information theory. The generalized Cardano polynomials are constructed as a generalization of classical theory of Cardano formula for cubic equation, as well as through the spectral properties of the circular operator, that embeds Cardano type identities into their spectral theory. The construction clarifies the algebraic structure and solvability of a family of two parameters odd order polynomials, classically and through operator methods familiar in QIT, including Fourier transforms and spectral calculus on operator algebras. As applications, we show connections to Cebyshev polynomials and the solution of the quartic order Ferrari equation.
- [121] arXiv:2602.03539 [pdf, ps, other]
-
Title: Optimal neural network approximation of smooth compositional functions on sets with low intrinsic dimensionSubjects: Statistics Theory (math.ST)
We study approximation and statistical learning properties of deep ReLU networks under structural assumptions that mitigate the curse of dimensionality. We prove minimax-optimal uniform approximation rates for $s$-H\"older smooth functions defined on sets with low Minkowski dimension using fully connected networks with flexible width and depth, improving existing results by logarithmic factors even in classical full-dimensional settings. A key technical ingredient is a new memorization result for deep ReLU networks that enables efficient point fitting with dense architectures. We further introduce a class of compositional models in which each component function is smooth and acts on a domain of low intrinsic dimension. This framework unifies two common assumptions in the statistical learning literature, structural constraints on the target function and low dimensionality of the covariates, within a single model. We show that deep networks can approximate such functions at rates determined by the most difficult function in the composition. As an application, we derive improved convergence rates for empirical risk minimization in nonparametric regression that adapt to smoothness, compositional structure, and intrinsic dimensionality.
- [122] arXiv:2602.03559 [pdf, ps, other]
-
Title: Asymptotic behavior of solutions to a planar Hartree equation with isolated singularitiesSubjects: Analysis of PDEs (math.AP)
In this paper we investigate the isolated singularities of the Hartree type equation
\begin{equation*}
-\Delta u (x)= \left(\frac{1}{|x|^\alpha}*e^u\right)e^{u(x)}\quad \text{in } B_{1}\setminus\{0\} ,
\end{equation*}
where $\alpha>0$, $\displaystyle \frac{1}{|x|^\alpha}*e^u\triangleq\int_{B_{1} \setminus \{0\}}\frac{e^u(y)}{|x-y|^\alpha}dy$, and the punctured ball $B_{1}\setminus\{0\}\subset \mathbb{R}^2$. Under the finite total curvature condition, by establishing a representation formula for singular solutions, we obtain the asymptotic behavior of the solutions near the origin. We also extend this asymptotic behavior results to the case with a general non-negative coefficient $K(x)$, and to the higher-order Hartree-type equations in any dimension $n \geq 3$. - [123] arXiv:2602.03561 [pdf, ps, other]
-
Title: Regularity of compact convex sets--classical and noncommutativeAuthors: David P. BlecherComments: 29 pagesSubjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Functional Analysis (math.FA)
The classical theory of regularity of embeddings of compact convex sets was developed in the 1970s, exclusively in the real case, and even there it does not appear to have been stated in its simplest form. We begin by revisiting this setting, showing that under a reasonable condition, every locally convex topological vector space $E$ that contains and is spanned by a compact convex set lying in a hyperplane not passing through the origin, is a (specific) dual Banach space equipped with the weak* topology. Second, we establish the corresponding regularity theory for convex sets in complex LCTVS's. Third, we develop a theory of regular embeddings for complex noncommutative convex sets, in the sense of Davidson and Kennedy. Finally, we use the complex theory to derive a theory of regular embeddings for real noncommutative convex sets. Interestingly, at present there appears to be no direct route to the latter.
- [124] arXiv:2602.03568 [pdf, ps, other]
-
Title: Stability of Haagerup property under graph productJournal-ref: Archiv der Mathematik 121 2023 257 - 265Subjects: Group Theory (math.GR)
In this paper, we prove that any graph product of finitely many groups, all satisfying the Haagerup property (or Gromov's a-T-menability) also satisfies Haagerup property.
- [125] arXiv:2602.03575 [pdf, ps, other]
-
Title: The compressible Euler system with damping in hybrid Besov spaces: global well-posedness and relaxation limitSubjects: Analysis of PDEs (math.AP)
We investigate the global well-posedness of the compressible Euler system with damping in Rd (d\geq1) and its relaxation limit toward the porous medium equation. In [12], the first author and Danchin studied these two problems in hybrid Besov spaces, where the high-frequency components of the solution are bounded in L2-based norms, while the low-frequency components are controlled in Lp-based norms with p\in[2,\max{4,\frac{2d}{d-2}}]. Motivated by the observation that the limit system is well-posed in Lp-based spaces for p\in[2, \infty), we extend the low-frequency analysis to this full range, thereby providing a more unified framework for studying such relaxation limits.
The core of our proof consists in establishing refined product and commutator estimates describing sharply the interactions between the high, medium, and low-frequency regimes. A key observation underlying our analysis is that the product of two functions localized at low frequencies generates only interactions between low and medium frequencies, never purely high-frequency ones. Consequently, for a suitable choice of frequency threshold, the high-frequency projection of the product of two functions localized low frequencies vanishes. - [126] arXiv:2602.03577 [pdf, ps, other]
-
Title: Stability of the weak Haagerup property under graph productsSubjects: Group Theory (math.GR)
In this paper we prove that: Any graph product of finitely many groups, all of them satisfying weak Haagerup property with $\Lambda_{WH}=1$, also satisfies weak Haagerup property and as a corollary of this result we obtain that the free product of weakly Haagerup groups with $\Lambda_{WH}=1$, again has weak Haagerup property with $\Lambda_{WH}=1$.
- [127] arXiv:2602.03579 [pdf, ps, other]
-
Title: Secure Decentralized Pliable Index Coding for Target Data SizeComments: 12 pagesSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
Decentralized Pliable Index Coding (DPIC) problem addresses efficient information exchange in distributed systems where clients communicate among themselves without a central server. An important consideration in DPIC is the heterogeneity of side-information and demand sizes. Although many prior works assume homogeneous settings with identical side-information cardinality and single message demands, these assumptions limit real-world applicability where clients typically possess unequal amounts of prior information. In this paper, we study DPIC problem under heterogeneous side-information cardinalities. We propose a transmission scheme that coordinates client broadcasts to maximize coding efficiency while ensuring that each client achieves a common target level $T$. In addition, we impose a strict security constraint that no client acquires more than the target $T$ number of messages, guaranteeing that each client ends up with exactly $T$ messages. We analyze the communication cost incurred by the proposed scheme under this security constraint.
- [128] arXiv:2602.03601 [pdf, ps, other]
-
Title: Double integrals and transformation formulas for Appell--Lauricella hypergeometric functions $F_D$Comments: 20 pages, 9 figures, comments welcome!Subjects: Classical Analysis and ODEs (math.CA); Algebraic Geometry (math.AG)
The monodromy of hypergeometric functions can govern the properties of the functions themselves. Previously, the second and third authors studied the commensurability relations among monodromy groups of the Appell--Lauricella hypergeometric functions using Deligne--Mostow theory and the geometric correspondence between curves and surfaces. In this paper, we apply the same construction to obtain transformation formulas among these hypergeometric functions. This also provides an alternative approach to some of Goursat's quadratic transformations via double integrals and Fubini's theorem.
- [129] arXiv:2602.03602 [pdf, ps, other]
-
Title: On enumeration of spanning trees of complete multipartite graphs containing a fixed spanning forestComments: 11 pagesSubjects: Combinatorics (math.CO)
We present a determinantal formula for the number of spanning trees of a complete multipartite graph containing a given spanning forest $F$. Our approach relies on the Generalized Matrix Determinant Lemma and Jacobi's formula for the derivative of a determinant. This work generalizes known results for complete bipartite graphs and offers an algebraic perspective on the problem.
- [130] arXiv:2602.03606 [pdf, ps, other]
-
Title: Bekenstein's bound for wave packetsComments: 25 pagers, no figuresSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Operator Algebras (math.OA)
Let $B$ be a spatial region of width $2R$ and $\Phi$ a Klein-Gordon wave packet localized in $B$ at time zero. We show the inequality $S \leq 2\pi R E$; here, $S$ is the entropy of $\Phi$ contained in a region $B$, and $E$ is the energy content of $\Phi$ within $B$. We consider a wider setting and formulate a variational problem aimed at minimizing our bound when $\Phi$ is not localized in $B$. Our inequality holds in more generality in the framework of local, Poincar\'e covariant nets of standard subspaces and is related to the Bekenstein inequality. We point out a general bound that is compatible with the recent numerical computations by Bostelmann, Cadamuro, and Minz concerning the one-particle modular Hamiltonian of a scalar massive quantum Klein-Gordon field. We also provide a version of the entropy balance and ant formulas for wave packets.
- [131] arXiv:2602.03607 [pdf, ps, other]
-
Title: Sleep or Transmit: Dual-Mode Energy-Efficient Design for NOMA-Enabled Backscatter NetworksSubjects: Information Theory (cs.IT); Optimization and Control (math.OC)
The rapid growth of Internet-of-Things (IoT) devices demands communication systems that are both spectrally efficient and energy frugal. Backscatter communication (BackCom) is an attractive low-power paradigm, but its spectral efficiency declines in dense deployments. This paper presents an uplink BackCom design that integrates non-orthogonal multiple access (NOMA) and maximizes system energy efficiency (EE). In a bistatic network where multiple backscatter nodes (BNs) harvest RF energy and alternate between sleep and active modes, we formulate a fractional program with coupled time, power, and reflection variables and develop a Dinkelbach-based alternating optimization (AO) algorithm with closed-form updates. Analysis reveals two operating modes depending on power availability, circuit demands and propagation conditions. Simulations show the proposed design adapts the time allocation, achieving up to 8% higher EE than fixed-power and 68% than no-sleep baselines, and delivering up to 127% EE gains over orthogonal multiple access (OMA). These results establish NOMA-enabled BackCom as a scalable, energy efficient solution for large-scale IoT deployments.
- [132] arXiv:2602.03610 [pdf, ps, other]
-
Title: Length spectrum of periodic rays for billard flowAuthors: Vesselin PetkovSubjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph)
We study for several compact strictly convex disjoint obstacles the length spectrum $\mathcal L$ formed by the lengths of all primitive periodic reflecting rays. We prove the existence of sequences $\{\ell_j\},\: \{m_j\}$ with $\ell_j \in \mathcal L,\: m_j \in \mathbb N$ such that the condition (LB) related to the dynamical zeta function $\eta_D(s)$ is satisfied. This condition implies the existence of lower bounds for the number of the scattering resonances for Dirichlet Laplacian. We construct such sequences under some separation condition for a small subset of $\mathcal L$ corresponding to lengths of the periodic rays with even reflexions. Our separation condition is weaker than the assumption of exponentially separated length spectrum $\mathcal L.$ Moreover, we show that the periodic orbits in the phase space are exponentially separated.
- [133] arXiv:2602.03626 [pdf, ps, other]
-
Title: Numerical Computations Concerning Landau-Siegel ZerosComments: 20 pages, 2 figures, and 1 tableSubjects: Number Theory (math.NT)
We computationally verify that if $L(s,\chi)$ is a quadratic Dirichlet $L$-function modulo $q \leq 10^{10}$ then $L(\sigma,\chi) \neq 0$ for real $\sigma \ge 1-1/(5\log q)$. The number of verified moduli exceeds benchmarks due to Watkins (2004), Platt (2016), and Languasco (2023) by a factor between 66 and 25,000. Our new algorithm draws from zero-free region arguments.
- [134] arXiv:2602.03628 [pdf, ps, other]
-
Title: The R-Shilov boundary for a local operator spaceSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
To extend the notion of the injective envelope of a unital operator space to the locally convex case, Dosi (2014) first introduced the notion of the injective R-envelope for a unital operator space and then defined the injective R-envelope for a unital local operator space as the closure of the injective R-envelope for its bounded part. In this paper, we investigate the existence of the Shilov boundary ideal in this context, as defined by Arveson (1969). To do this, by following the conceptual frameworks underlying Hamana's constructions of the injective envelope and the C*-envelope, respectively, we define the notions of the injective R-envelope and the R-C*-envelope for a unital local operator space. Furthermore, we show that the injective R-envelope construction given by us coincides with the one given by Dosi (2014).
- [135] arXiv:2602.03642 [pdf, ps, other]
-
Title: The largest prime factor of an irreducible cubic polynomialAuthors: Ivan ErmoshinSubjects: Number Theory (math.NT)
Heath-Brown proved that for a positive proportion of integers $n$, $n^3+2$ has a prime factor larger than $n^{1+c}$ with $c=10^{-303}$.
We generalize this result to arbitrary monic irreducible cubic polynomial of $\mathbb{Z}[x]$ with $c$ replaced by an exponent $c_p$ dependent on the polynomial. - [136] arXiv:2602.03644 [pdf, ps, other]
-
Title: On the criticality and the principal eigenvalue of almost periodic elliptic operatorsAuthors: Luca RossiSubjects: Analysis of PDEs (math.AP)
We review the notion and the properties of the generalised \pe\ for elliptic operators in unbounded domains, and we relate it with the criticality theory. We focus on operators with almost periodic coefficients. We present a Liouville-type result in dimension $N\leq2$. Next, we show with a counter-example that criticality is not equivalent to the existence of an almost periodic principal eigenvalue, even for self-adjoint operators. Finally, we exhibit an almost periodic operator which is subcritical but which admits a critical limit operator. This is a manifestation of the instability character of the criticality property in the almost periodic setting.
- [137] arXiv:2602.03653 [pdf, ps, other]
-
Title: Cohomological properties and Hermitian metrics of complex non-Kähler manifoldsComments: These notes expand on the course delivered by the authors at the summer school on "Singular K\"ahlerian metrics and Hermitian geometry'', held at the R\'enyi Institute in Budapest, August 11-15, 2025. They were also conceived in view of the first edition of the Critical Math "Cohomological and Homotopical Methods in Complex Geometry'', held on August 18-22, 2025, in the Black ForestSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
We give a partial account of some problems concerning cohomological invariants and metric properties of complex non-K\"ahler manifolds.
- [138] arXiv:2602.03659 [pdf, ps, other]
-
Title: Higher torsion classes, $τ_d$-tilting theory and silting complexesAuthors: Jenny August, Johanne Haugland, Karin M. Jacobsen, Sondre Kvamme, Yann Palu, Hipolito TreffingerComments: 48 pages, comments welcomeSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
Initiated in work by Adachi, Iyama and Reiten, the area known as $\tau$-tilting theory plays a fundamental role in contemporary representation theory. In this paper we explore a higher-dimensional analogue of this theory, formulated with respect to the higher Auslander-Reiten translation $\tau_d$. In particular, we associate to any functorially finite $d$-torsion class a maximal $\tau_d$-rigid pair and a $(d+1)$-term silting complex. In the case $d=1$, the notions of maximal $\tau_d$-rigid and support $\tau$-tilting pairs coincide, and our theory recovers the classical bijections. However, the proof strategies for $d>1$ differ significantly. As an intermediate step, we prove that a $d$-cluster tilting subcategory of a module category induces a $d$-cluster tilting subcategory of the category of $(d+1)$-term complexes, producing novel examples of $d$-exact categories. We introduce the notion of a $d$-torsion class in the exact setup, and use this to obtain the aforementioned $(d+1)$-term silting complex. We moreover apply our theory to study $d$-APR tilting modules and slices. To illustrate our results, we provide explicit combinatorial descriptions of maximal $\tau_d$-rigid pairs and $(d+1)$-term silting complexes for higher Auslander and higher Nakayama algebras.
- [139] arXiv:2602.03660 [pdf, ps, other]
-
Title: Recent advances in Brill--Noether theory and the geometry of Brill--Noether curvesAuthors: Isabel VogtSubjects: Algebraic Geometry (math.AG)
The first goal of this article is to survey recent progress in Brill--Noether theory, including both the study of the moduli space of maps from a curve to projective space and the geometry of the resulting curves in projective space. The second goal is to introduce newcomers to some of the important techniques that have been introduced or developed in the last decade that made these advances possible.
- [140] arXiv:2602.03679 [pdf, ps, other]
-
Title: Footprints of the Walking of Numbers: A Dynamic Visualization Task for Understanding Decimal Numbers in Secondary EducationAuthors: Felix De la Cruz SerranoComments: in Spanish languageSubjects: History and Overview (math.HO)
The study of decimal numbers in secondary education is often approached from algorithmic perspectives, which limits students' understanding of their structure. This paper presents the task Footprints of the Walking of Numbers, a dynamic visualization proposal aimed at supporting the understanding of decimal numbers through the exploration of their infinite decimal expansions. The task is based on assigning vectors to the decimal digits from 0 to 9, so that the sequence of digits of a number generates a dynamic geometric path in the plane. Through the use of GeoGebra as a visualization environment, students can observe, compare, and interpret traces associated with different types of numbers, such as terminating decimals, repeating decimals, and irrational numbers, identifying visual regularities linked to their decimal behavior. The analysis is developed from a theoretical-didactical perspective, using the Mathematical Working Space as an interpretative lens to characterize the potential of the task design. In addition, the paper discusses the punctual use of generative AI tools exclusively as instrumental support for computation, without shifting the focus away from mathematical reasoning.
- [141] arXiv:2602.03684 [pdf, ps, other]
-
Title: Point Vortex Dynamics on Closed SurfacesAuthors: Marcel PadillaComments: Master Thesis, Technical University of BerlinSubjects: Differential Geometry (math.DG); Computational Geometry (cs.CG); Graphics (cs.GR); Dynamical Systems (math.DS); Fluid Dynamics (physics.flu-dyn)
The theory of point vortex dynamics has existed since Kirchhoff's proposal in 1891 and is still under development with connections to many fields in mathematics. As a strong simplification of the concept of vorticity it excels in computational speed for vorticity based fluid simulations at the cost of accuracy. Recent finding by Stefanella Boatto and Jair Koiller allowed the extension of this theory on to closed surfaces. A comprehensive guide to point vortex dynamics on closed surfaces with genus zero and vanishing total vorticity is presented here. Additionally fundamental knowledge of fluid dynamics and surfaces are explained in a way to unify the theory of point vortex dynamics of the plane, the sphere and closed surfaces together with implementation details and supplement material.
- [142] arXiv:2602.03694 [pdf, ps, other]
-
Title: Angles Between Intermediate Operator SubalgebrasSubjects: Operator Algebras (math.OA)
Motivated by [2] and [5], the notions of interior and exterior angles between a pair of compatible intermediate W*-subalgebras of an inclusion of W*-algebras with a normal conditional expectation with finite probabilistic index are introduced. This is then employed effectively to define the interior angle between a pair of compatible intermediate C*-subalgebras of an inclusion of non-unital C*-algebras with a conditional expectation with finite Watatani index. It is also shown that the interior angle is stable under the minimal tensor product of unital C*-algebras.
- [143] arXiv:2602.03703 [pdf, ps, other]
-
Title: On Zero-Dimensional Glicci Monomial IdealsAuthors: Benjamin MudrakSubjects: Commutative Algebra (math.AC)
Consider the polynomial ring $R_n = k[x_1,...,x_n]$, where $k$ is a field. Let $m = (x_1,...,x_n)$ and $I$ be an $m$-primary monomial ideal in $R$. We consider the problem of determining whether such ideals are in the Gorenstein liasion class of a complete intersection (glicci). We prove that all $m$-primary monomial ideals in $k[x,y,z]$ with at most eight generators are homogeneously glicci. We also construct a large class of $m$-primary monomial ideals in $R_n$ for any $n$ with any number of minimal generators that are homogeneously glicci but not in the complete intersection liaison class of a complete intersection (licci). All Gorenstein links used are constructed explicitly and every second step links to another $m$-primary monomial ideal.
- [144] arXiv:2602.03705 [pdf, ps, other]
-
Title: Non-perturbative renormalization for lattice massive QED$_2$: the ultraviolet problemSubjects: Mathematical Physics (math-ph)
We consider a lattice regularization, preserving Ward Identities (WI) and with a Wilson term, of the Massive QED$_2$, describing a fermion with mass $m$ and charge $\mathsf{e}$ interacting with a vector field with mass $M$, in the regime $m\ll M\ll a^{-1}$ ($a$ being the lattice spacing) which is the suitable one to mimic a realistic 4d massive gauge theory like the Electroweak sector. The presence of the lattice and of the mass $m$ breaks any solvability property. In this paper we prove that the effective action obtained after the integration of the ultraviolet degrees of freedom is expressed by expansions which are convergent for values of the coupling $|\mathsf{e}|\le \mathsf{e}_0$, with $\mathsf{e}_0$ independent on $a$ and $m$, and with cut-off-independent bare parameters. By combining this result with the analysis of the infrared part in previous papers we get a complete construction of the model and a number of properties whose analogous are expected to hold in 4d. The analysis is done by integrating out the bosons and reducing to a fermionic theory; however, with respect to the case with momentum regularizations (which break essential features like the WI), the resulting effective fermionic action has not a simple form and this requires the developments of new methods to get the necessary bounds.
- [145] arXiv:2602.03715 [pdf, ps, other]
-
Title: Timelike curves: homotopies and domain of determinacyComments: 43 pages, 35 figuresSubjects: Analysis of PDEs (math.AP)
This paper studies domains of determination of linear strictly hyperbolic second order operators $P$. For an open set $\mathcal O$, a set $Z$ is a domain of determination when the values of solutions of the differential equation $Pu=0$ are determined on $Z$ by their values in $\mathcal O$. Fritz John's global H\"olmgren theorem implies that points that can be reached by deformations of noncharacteristic hypersufaces with initial surface and boundaries in $\mathcal O$ belong to a domain of determination provided that local uniqueness holds at noncharacteristic surfaces. Using spacelike hypersurfaces yields sharp finite speed results whose domains of determination are described in terms of influence curves that never exceed the local speed of propagation. This paper studies deformations of noncharacteristic nonspacelike hypersurfaces. We prove that points reachable by (repeated) deformations by noncharacteristic nonspacelike hypersurfaces coincide exactly with the set of points reachable by (repeated) homotopies of timelike arcs whose initial curves and endpoints belong to $\mathcal O$. When the set $\mathcal O$ is a small neighborhood of a forward timelike arc connecting $a$ to $b$, a natural candidate for $Z$ is the intesection of the future of $a$ with the past of $b$. This candidate is exact for D'Alembert's equation. We prove that it is also exact when $a,b$ are points close together on a fixed timelike arc. The timelike homotopy criterion fuels the construction of surprising examples for which the domain of determination is strictly larger (resp. strictly smaller) than the future-intersect-past candidate.
- [146] arXiv:2602.03716 [pdf, ps, other]
-
Title: Fel's Conjecture on Syzygies of Numerical SemigroupsAuthors: Evan Chen, Chris Cummins, GSM, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Aram Markosyan, Ken Ono, Manooshree Patel, Gaurang Pendharkar, Vedant Rathi, Alex Schneidman, Volker Seeker, Shubho Sengupta, Ishan Sinha, Jimmy Xin, Jujian ZhangSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Number Theory (math.NT)
Let $S=\langle d_1,\dots,d_m\rangle$ be a numerical semigroup and $k[S]$ its semigroup ring. The Hilbert numerator of $k[S]$ determines normalized alternating syzygy power sums $K_p(S)$ encoding alternating power sums of syzygy degrees. Fel conjectured an explicit formula for $K_p(S)$, for all $p\ge 0$, in terms of the gap power sums $G_r(S)=\sum_{g\notin S} g^r$ and universal symmetric polynomials $T_n$ evaluated at the generator power sums $\sigma_k=\sum_i d_i^k$ (and $\delta_k=(\sigma_k-1)/2^k$). We prove Fel's conjecture via exponential generating functions and coefficient extraction, solating the universal identities for $T_n$ needed for the derivation. The argument is fully formalized in Lean/Mathlib, and was produced automatically by AxiomProver from a natural-language statement of the conjecture.
- [147] arXiv:2602.03717 [pdf, ps, other]
-
Title: Curious crossing-critical edges -- variations on an example of ŠiráňSubjects: Combinatorics (math.CO)
Motivated by Kuratowski's theorem, a Kuratowski subgraph of a graph is a subgraph that is a subdivided $K_5$ or a subdivided $K_{3,3}$. An edge is crossing-critical if the crossing number decreases after removing the edge. In this note, we present the following examples: a graph with an edge that is crossed in every optimal drawing of the graph, but the edge is not in any Kuratowski subgraph of the graph; a graph with an edge that is in every Kuratowski subgraph but is not crossed in any optimal drawing of the graph; and a graph with a crossing-critical edge that is not present in any Kuratowski subgraph and is not crossed in any optimal drawing of the graph.
- [148] arXiv:2602.03722 [pdf, ps, other]
-
Title: Parity of $k$-differentials in genus zero and oneSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Geometric Topology (math.GT)
Here we completely determine the spin parity of $k$-differentials with prescribed zero and pole orders on Riemann surfaces of genus zero and one. This result was previously obtained conditionally by the first author and Quentin Gendron assuming the truth of a number-theoretic hypothesis Conjecture A.10. We prove this hypothesis by reformulating it in terms of Jacobi symbols, reducing the proof to a combinatorial identity and standard facts about Jacobi symbols. The proof was obtained by AxiomProver and the system formalized the proof of the combinatorial identity in Lean/Mathlib (see the Appendix).
- [149] arXiv:2602.03726 [pdf, ps, other]
-
Title: Spectral gap for Pollicott-Ruelle resonances on random coverings of Anosov surfacesAuthors: Julien MoyComments: 60 pages, 3 figures. Comments welcomeSubjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
Let $(M,g)$ be a closed Riemannian surface with Anosov geodesic flow. We prove the existence of a spectral gap for Pollicott--Ruelle resonances on random finite coverings of $M$ in the limit of large degree, which is expected to be optimal. The proof combines the recent strong convergence results of Magee, Puder and van Handel for permutation representations of surface groups with an analysis of the spherical mean operator on the universal cover of $M$.
- [150] arXiv:2602.03736 [pdf, ps, other]
-
Title: A combinatorial approach to the stronger Central Sets Theorem for semigroupsAuthors: Pintu DebnathSubjects: Combinatorics (math.CO)
H. Furstenberg introduced the notion of central sets in terms of topological dynamics and established the famous Central Sets Theorem. Later in [A new and stronger Central Sets Theorem, Fund. Math. 199 (2008), 155-175], D. De, N. Hindman, and D. Strauss established a stronger version of the Central Sets Theorem that uses the algebra of the Stone-\v Cech compactification of discrete semigroups. In this article, We will provide a new and combinatorial proof of the stronger Central Sets Theorem.
- [151] arXiv:2602.03739 [pdf, ps, other]
-
Title: Semiseparability of induction functors in a monoidal categorySubjects: Category Theory (math.CT); Quantum Algebra (math.QA); Rings and Algebras (math.RA); Representation Theory (math.RT)
For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove that the semiseparability of the induction functor is preserved if one applies a lax monoidal functor. Similar results are shown for the coinduction functors attached to coalgebra morphisms in a monoidal category. As an application, we study the semiseparability of combinations of (co)induction functors in the context of duoidal categories.
- [152] arXiv:2602.03740 [pdf, ps, other]
-
Title: On the compatibility between the spatial moments and the codomain of a real random fieldSubjects: Probability (math.PR); Statistics Theory (math.ST)
While any symmetric and positive semidefinite mapping can be the non-centered covariance of a Gaussian random field, it is known that these conditions are no longer sufficient when the random field is valued in a two-point set. The question therefore arises of what are the necessary and sufficient conditions for a mapping $\rho: \X \times \X \to \R$ to be the non-centered covariance of a random field with values in a subset ${\cE}$ of $\R$. Such conditions are presented in the general case when ${\cE}$ is a closed subset of the real line, then examined for some specific cases. In particular, if ${\cE}=\R$ or $\Z$, it is shown that the conditions reduce to $\rho$ being symmetric and positive semidefinite. If ${\cE}$ is a closed interval or a two-point set, the necessary and sufficient conditions are more restrictive: the symmetry, positive semidefiniteness, upper and lower boundedness of $\rho$ are no longer enough to guarantee the existence of a random field valued in ${\cE}$ and having $\rho$ as its non-centered covariance. Similar characterizations are obtained for semivariograms and higher-order spatial moments, as well as for multivariate random fields.
- [153] arXiv:2602.03746 [pdf, ps, other]
-
Title: Factor-balancedness, linear recurrence, and factor complexityComments: 43 pages, 3 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)
In the study of infinite words, various notions of balancedness provide quantitative measures for how regularly letters or factors occur, and they find applications in several areas of mathematics and theoretical computer science. In this paper, we study factor-balancedness and uniform factor-balancedness, making two main contributions. First, we establish general sufficient conditions for an infinite word to be (uniformly) factor-balanced, applicable in particular to any given linearly recurrent word. These conditions are formulated in terms of $\mathcal{S}$-adic representations and generalize results of Adamczewski on primitive substitutive words, which show that balancedness of length-2 factors already implies uniform factor-balancedness. As an application of our criteria, we characterize the Sturmian words and ternary Arnoux--Rauzy words that are uniformly factor-balanced as precisely those with bounded weak partial quotients. Our second main contribution is a study of the relationship between factor-balancedness and factor complexity. In particular, we analyze the non-primitive substitutive case and construct an example of a factor-balanced word with exponential factor complexity, thereby making progress on a question raised in 2025 by Arnoux, Berth\'e, Minervino, Steiner, and Thuswaldner on the relation between balancedness and discrete spectrum.
- [154] arXiv:2602.03758 [pdf, ps, other]
-
Title: A concept of largeness of monochromatic sums and products in large ideal domainAuthors: Pintu DebnathSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
An infinite integral domain $R$ is called a large ideal domain (LID) if every nontrivial ideal of $R$ has finite index in $R$. Recently, N. Hindman and D. Strauss have established a refinement of Moreira's theorem for the set of natural numbers and infinite fields. In this article, we prove the same result of N. Hindman and D. Strauss for large ideal domains (LID) and a polynomial extension.
- [155] arXiv:2602.03763 [pdf, ps, other]
-
Title: Optimizing Weighted Hodge Laplacian Flows on Simplicial ComplexesComments: 6 pages, 4 figures, presented at 2025 Conference on Decision and ControlJournal-ref: 2025 IEEE 64th Conference on Decision and Control (CDC), 5276-5281Subjects: Optimization and Control (math.OC)
Simplicial complexes are generalizations of graphs that describe higher-order network interactions among nodes in the graph. Network dynamics described by graph Laplacian flows have been widely studied in network science and control theory, and these can be generalized to simplicial complexes using Hodge Laplacians. We study weighted Hodge Laplacian flows on simplicial complexes. In particular, we develop a framework for weighted consensus dynamics based on weighted Hodge Laplacian flows and show some decomposition results for weighted Hodge Laplacians. We then show that two key spectral functions of the weighted Hodge Laplacians, the trace of the pseudoinverse and the smallest non-zero eigenvalue, are jointly convex in upper and lower simplex weights and can be formulated as semidefinite programs. Thus, globally optimal weights can be efficiently determined to optimize flows in terms of these functions. Numerical experiments demonstrate that optimal weights can substantially improve these metrics compared to uniform weights.
- [156] arXiv:2602.03768 [pdf, ps, other]
-
Title: Global existence for the fully parabolic Keller--Segel system with critical mass on the planeAuthors: Tatsuya HosonoSubjects: Analysis of PDEs (math.AP)
We study the global existence of solutions to the Cauchy problem for the two-dimensional fully parabolic Keller--Segel system at the critical mass. It is known that global-in-time existence holds for initial data with critical mass under radial symmetry or suitable moment conditions, whereas the behavior of general solutions in the critical regime remains delicate. In this paper, we establish global-in-time existence for general initial data with critical mass, without imposing any symmetry or moment assumptions. The proof relies on the construction of a reconstructed Lyapunov functional, combined with refined regularity estimates for the associated dissipative terms, which enable us to control the solution dynamics in the critical regime.
- [157] arXiv:2602.03774 [pdf, ps, other]
-
Title: Minimum Number of Monochromatic Subgraphs of a Random GraphComments: 19 pagesSubjects: Combinatorics (math.CO); Probability (math.PR)
We consider the problem of minimizing the number of monochromatic subgraphs of a random graph, when each node of the host graph is assigned one of the two colors. Using a recently discovered contiguity between appearance of strictly balanced subgraphs $F$ in a random graph, and random hypergraphs where copies of $F$ are generated independently, we show that the minimum value converges to a limit, when the expected number of copies of $F$ is linear in the number of nodes $|V|$. Furthermore, using the connections with mean field spin glass models, we obtain an asymptotic expression for this limit as the normalized expected number of copies of $F$ and the size of $F$ diverge to infinity.
- [158] arXiv:2602.03803 [pdf, ps, other]
-
Title: Computing submodules of points of general Drinfeld modules over finite fieldsSubjects: Number Theory (math.NT)
We present an algorithm for computing the structure of any submodule of the module of points of a Drinfeld $A$-module over a finite field, where $A$ is a function ring over $\mathbb F_q$. When the function ring is $A = \mathbb F_q[T]$, we additionally compute a Frobenius decomposition of said submodule. Our algorithms apply in particular to kernels of isogenies and torsion submodules. They are presented within the frameworks of Frobenius normal forms, presentations of modules, and Fitting ideals. They rely largely on efficient and classical linear algebra methods, combined with fast arithmetic of Ore polynomials. We analyze the complexity of our algorithms, explore optimizations, and provide an implementation in SageMath. Finally, we compute a simple invariant attached to a Drinfeld $\mathbb F_q[T]$-module that encodes all the polynomials in $\mathbb F_q[T]$ whose associated torsion is rational.
- [159] arXiv:2602.03807 [pdf, ps, other]
-
Title: Highly symmetric unstable maniplexesSubjects: Combinatorics (math.CO)
A maniplex of rank n s an n-valent properly edge-coloured graph that generalises, simultaneously, maps on surfaces and abstract polytopes. The problem of stability in maniplexes is a natural variant of the problem of stability in graphs. A maniplex is stable if every automorphism of its canonical double cover is a lift of some automorphism of the original maniplex. Due to their very rich structure, regular (maximally symmetric) maniplexes are always stable. It is thus natural to ask what is the maximum possible degree of symmetry that a maniplex that is not stable can admit. Symmetry in maniplexes is usually measured by the number of orbits on flags (nodes) of their automorphism group. A few families of unstable maniplexes with 4 flag-orbits are known for rank 3. In this paper, we show that 2-orbit maniplexes exist for every rank n > 2$.
- [160] arXiv:2602.03810 [pdf, ps, other]
-
Title: On the Quantization-Dequantization Correspondence for (co)Poisson Hopf AlgebrasComments: 37 pages + Applications and Appendix. Comments welcome!Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph)
In this paper, we construct a functorial quantization of (co)Poisson Hopf algebras within a broad categorical framework. We further introduce categories naturally associated with (co)Poisson Hopf algebras, namely Drinfeld-Yetter modules. These categories provide a canonical setting in which we define explicit dequantization functors that are inverse to the quantization functors. Using this framework, we also establish functorial (de)quantization results for the corresponding module categories. Finally, we recover the classical results of Etingof and Kazhdan as special cases of our construction and discuss applications to deformation quantization \`a la Tamarkin.
- [161] arXiv:2602.03830 [pdf, ps, other]
-
Title: Generation of Iterated Wreath Products Constructed from Almost Simple GroupsAuthors: Jiaping LuSubjects: Group Theory (math.GR)
Let G1, G2, ... be a sequence of almost simple groups and construct a sequence (Wi) of wreath products via W1 = G1 and, for each i > 1, Wi+1 = Gi+1 wr Wi via the regular action of each Gi. We determine the minimum number d(Wi) of generators required for each wreath product in this sequence.
- [162] arXiv:2602.03831 [pdf, ps, other]
-
Title: On the maximal perimeter of isotropic log-concave probability measuresComments: 20 pagesSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA); Probability (math.PR)
We study the maximal perimeter constant of isotropic log-concave probability measures on $\mathbb{R}^n$. For a measure $\mu$, this quantity, denoted by $\Gamma(\mu)$, is defined as the supremum of the $\mu$-perimeter over all convex bodies and measures the largest possible boundary contribution of convex sets with respect to $\mu$. Let $$\Gamma_n := \sup\{\Gamma(\mu) : \mu \text{ is an isotropic log-concave probability measure on } \mathbb{R}^n\}.$$ We prove that $\Gamma_n \leqslant Cn^{3/2}$, where $C>0$ is an absolute constant. This result improves the previously known $O(n^2)$ upper bound. Under additional structural assumptions, we obtain sharp linear bounds of order $O(n)$.
- [163] arXiv:2602.03832 [pdf, ps, other]
-
Title: On a conjecture of Peter Neumann on fixed points in permutation groupsComments: 72 ppSubjects: Group Theory (math.GR)
We prove a conjecture of Peter Neumann from 1966, predicting that every finite non-regular primitive permutation group of degree $n$ contains an element fixing at least one point and at most $n^{1/2}$ points. In fact, we prove a stronger version, where $n^{1/2}$ is replaced by $n^{1/3}$, and this is best possible. The case where $G$ is affine was proved by Guralnick and Malle; in this paper we address the case where $G$ is non-affine.
- [164] arXiv:2602.03833 [pdf, ps, other]
-
Title: Excluding an apex-forest or a fan as quickly as possibleSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We show that every graph $G$ excluding an apex-forest $H$ as a minor has layered pathwidth at most $|V(H)|-2$, and that every graph $G$ excluding an apex-linear forest (such as a fan) $H$ as a minor has layered treedepth at most $|V(H)|-2$. We further show that both bounds are optimal. These results improve on recent results of Hodor, La, Micek, and Rambaud (2025): The first result improves the previous best-known bound by a multiplicative factor of $2$, while the second strengthens a previous quadratic bound. In addition, we reduce from quadratic to linear the bound on the $S$-focused treedepth $\mathrm{td}(G,S)$ for graphs $G$ with a prescribed set of vertices $S$ excluding models of paths in which every branch set intersects~$S$.
Cross-lists for Wed, 4 Feb 26
- [165] arXiv:2602.02500 (cross-list from cs.LG) [pdf, ps, other]
-
Title: UNSO: Unified Newton Schulz OrthogonalizationSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)
The Newton-Schulz (NS) iteration has gained increasing interest for its role in the Muon optimizer and the Stiefel manifold. However, the conventional NS iteration suffers from inefficiency and instability. Although various improvements have been introduced to NS iteration, they fail to deviate from the conventional iterative paradigm, which could increase computation burden largely due to the matrix products along the long dimension repeatedly. To address this, we consolidate the iterative structure into a unified framework, named Unified Newton-Schulz Orthogonalization (UNSO). To do so, we could avoid a polynomial expansion. Instead, we evaluate the role of each matrix power, remove the insignificant terms, and provide a recommended polynomial with learnable coefficients. These learnable coefficients are then optimized, and achieve an outstanding performance with stable convergence. The code of our method is available: https://github.com/greekinRoma/Unified_Newton_Schulz_Orthogonalization.
- [166] arXiv:2602.02503 (cross-list from eess.SP) [pdf, ps, other]
-
Title: Joint single-shot ToA and DoA estimation for VAA-based BLE ranging with phase ambiguity: A deep learning-based approachSubjects: Signal Processing (eess.SP); Artificial Intelligence (cs.AI); Information Theory (cs.IT)
Conventional direction-of-arrival (DoA) estimation methods rely on multi-antenna arrays, which are costly to implement on size-constrained Bluetooth Low Energy (BLE) devices. Virtual antenna array (VAA) techniques enable DoA estimation with a single antenna, making angle estimation feasible on such devices. However, BLE only provides a single-shot two-way channel frequency response (CFR) with a binary phase ambiguity issue, which hinders the direct application of VAA. To address this challenge, we propose a unified model that combines VAA with BLE two-way CFR, and introduce a neural network based phase recovery framework that employs row / column predictors with a voting mechanism to resolve the ambiguity. The recovered one-way CFR then enables super resolution algorithms such as MUSIC for joint time of arrival (ToA) and DoA estimation. Simulation results demonstrate that the proposed method achieves superior performance under non-uniform VAAs, with mean square errors approaching the Cramer Rao bound at SNR $\geq$ 5 dB.
- [167] arXiv:2602.02541 (cross-list from physics.soc-ph) [pdf, ps, other]
-
Title: The Spectral Topology of Global Imbalances:A Graph-Theoretic Framework for Systemic Risk in the Balance of PaymentsAuthors: Chandrasekhar Gokavarapu (Government College (A), Rajahmundry, A.P., India)Subjects: Physics and Society (physics.soc-ph); Rings and Algebras (math.RA)
Traditional balance-of-payments (BoP) analysis treats national external positions as largely idiosyncratic time series. This misses an essential structural fact: global imbalances are jointly realized on a directed, weighted network of cross-border current-account and financial claims. We propose a network-theoretic paradigm in which the world economy is a directed graph whose edge weights encode net bilateral exposures. In this setting, systemic fragility is an emergent property of the spectral topology of the global exposure matrix. We develop (i) a mathematically explicit construction of a BoP adjacency operator, (ii) a \textbf{Spectral Stability Criterion} proving that the system is globally asymptotically stable if and only if the spectral radius $\rho(A) < 1$, and (iii) a \textbf{Spectral Stability Margin} ($\delta = 1 - \rho(B)$) that quantifies the proximity of the global economy to a ``Critical Slowing Down'' phase transition. Furthermore, we define a systemic-risk index using eigenvector centrality to identify nodes whose failure is mathematically indistinguishable from global collapse. Finally, we employ a \textbf{Non-backtracking (Hashimoto) operator} to derive a precise \textbf{topological threshold} for sovereign debt contagion, filtering bilateral ``noise'' to isolate deep-network circulation. Our results demonstrate that systemic risk is a latent property of the global spectral topology, requiring macroprudential interventions targeted at the network's spectral gaps rather than individual debt-to-GDP ratios.
- [168] arXiv:2602.02553 (cross-list from physics.soc-ph) [pdf, ps, other]
-
Title: Indirect Reciprocity with Environmental FeedbackSubjects: Physics and Society (physics.soc-ph); Dynamical Systems (math.DS); Populations and Evolution (q-bio.PE)
Indirect reciprocity maintains cooperation in stranger societies by mapping individual behaviors onto reputation signals via social norms. Existing theoretical frameworks assume static environments with constant resources and fixed payoff structures. However, in real-world systems, individuals' strategic behaviors not only shape their reputation but also induce collective-level resource changes in ecological, economic, or other external environments, which in turn reshape the incentives governing future individual actions. To overcome this limitation, we establish a co-evolutionary framework that couples moral assessment, strategy updating, and environmental dynamics, allowing the payoff structure to dynamically adjust in response to the ecological consequences of collective actions. We find that this environmental feedback mechanism helps lower the threshold for the emergence of cooperation, enabling the system to spontaneously transition from a low-cooperation state to a stable high-cooperation regime, thereby reducing the dependence on specific initial conditions. Furthermore, while lenient norms demonstrate adaptability in static environments, norms with strict discrimination are shown to be crucial for curbing opportunism and maintaining evolutionary resilience in dynamic settings. Our results reveal the evolutionary dynamics of coupled systems involving reputation institutions and environmental constraints, offering a new theoretical perspective for understanding collective cooperation and social governance in complex environments.
- [169] arXiv:2602.02562 (cross-list from physics.soc-ph) [pdf, ps, other]
-
Title: A Distinct Communication Strategies Model of the Double Empathy ProblemComments: 16 pages, 5 figuresSubjects: Physics and Society (physics.soc-ph); Dynamical Systems (math.DS); Neurons and Cognition (q-bio.NC)
The double empathy problem recasts the difficulty of forming empathy bonds in social interactions between autistic and neurotypical individuals as a bidirectional problem, rather than due to a deficit exclusive to the person on the spectrum. However, no explicit mechanism to explain such a phenomenon has been proposed. Here we build a feedback-loop mathematical model that would theoretically induce the empathy degradation observed during communication in neurotypical-autistic pairs solely due to differences in communication preferences between neurotypical and neurodivergent individuals. Numerical simulations of dyadic interactions show the model, whose mechanism is based solely on communication preferences, can illustrate the breakdown of empathic bonding observed clinically. Stability analysis of the model provides a way to predict the overall trajectory of the interaction in the empathy space. Furthermore, we suggest experimental designs to measure several parameters outlined here and discuss the future directions for testing the proposed model.
- [170] arXiv:2602.02577 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Relaxed Triangle Inequality for Kullback-Leibler Divergence Between Multivariate Gaussian DistributionsSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG)
The Kullback-Leibler (KL) divergence is not a proper distance metric and does not satisfy the triangle inequality, posing theoretical challenges in certain practical applications. Existing work has demonstrated that KL divergence between multivariate Gaussian distributions follows a relaxed triangle inequality. Given any three multivariate Gaussian distributions $\mathcal{N}_1, \mathcal{N}_2$, and $\mathcal{N}_3$, if $KL(\mathcal{N}_1, \mathcal{N}_2)\leq \epsilon_1$ and $KL(\mathcal{N}_2, \mathcal{N}_3)\leq \epsilon_2$, then $KL(\mathcal{N}_1, \mathcal{N}_3)< 3\epsilon_1+3\epsilon_2+2\sqrt{\epsilon_1\epsilon_2}+o(\epsilon_1)+o(\epsilon_2)$. However, the supremum of $KL(\mathcal{N}_1, \mathcal{N}_3)$ is still unknown. In this paper, we investigate the relaxed triangle inequality for the KL divergence between multivariate Gaussian distributions and give the supremum of $KL(\mathcal{N}_1, \mathcal{N}_3)$ as well as the conditions when the supremum can be attained. When $\epsilon_1$ and $\epsilon_2$ are small, the supremum is $\epsilon_1+\epsilon_2+\sqrt{\epsilon_1\epsilon_2}+o(\epsilon_1)+o(\epsilon_2)$. Finally, we demonstrate several applications of our results in out-of-distribution detection with flow-based generative models and safe reinforcement learning.
- [171] arXiv:2602.02593 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Effective Frontiers: A Unification of Neural Scaling LawsSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Neural scaling laws govern the prediction power-law improvement of test loss with respect to model capacity ($N$), datasize ($D$), and compute ($C$). However, existing theoretical explanations often rely on specific architectures or complex kernel methods, lacking intuitive universality. In this paper, we propose a unified framework that abstracts general learning tasks as the progressive coverage of patterns from a long-tail (Zipfian) distribution. We introduce the Effective Frontier ($k_\star$), a threshold in the pattern rank space that separates learned knowledge from the unlearned tail. We prove that reducible loss is asymptotically determined by the probability mass of the tail a resource-dependent frontier truncation. Based on our framework, we derive the precise scaling laws for $N$, $D$, and $C$, attributing them to capacity, coverage, and optimization bottlenecks, respectively. Furthermore, we unify these mechanisms via a Max-Bottleneck principle, demonstrating that the Kaplan and Chinchilla scaling laws are not contradictory, but equilibrium solutions to the same constrained optimization problem under different active bottlenecks.
- [172] arXiv:2602.02628 (cross-list from cs.GT) [pdf, ps, other]
-
Title: A two-player version of the assignment problemSubjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We introduce the competitive assignment problem, a two-player version of the well-known assignment problem. Given a set of tasks and a set of agents with different efficiencies for different tasks, Alice and Bob take turns picking agents one by one. Once all agents have been picked, Alice and Bob compute the optimal values $s_A$ and $s_B$ for the assignment problem on their respective sets of agents, i.e. they assign their own agents to tasks (with at most one agent per task and at most one task per agent) so as to maximize the sum of the efficiencies. The score of the game is then defined as $s_A-s_B$. Alice aims at maximizing the score, while Bob aims at minimizing it. This problem can model drafts in sports and card games, or more generally situations where two entities fight for the same resources and then use them to compete against each other. We show that the problem is PSPACE-complete, even restricted to agents that have at most two nonzero efficiencies. On the other hand, in the case of agents having at most one nonzero efficiency, the problem lies in XP parameterized by the number of tasks, and the optimal score can be computed in linear time when there are only two tasks.
- [173] arXiv:2602.02644 (cross-list from hep-th) [pdf, ps, other]
-
Title: Carrollian Physics and HolographyAuthors: Romain RuzziconiComments: 158 pages, 15 figures. Comments are welcomeSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
This report reviews key developments in Carrollian physics with an emphasis on their role in the emerging framework of holography in asymptotically flat spacetimes. We begin by introducing the Carrollian limit, understood as the non-relativistic contraction of the Poincar\'e group obtained by formally taking the speed of light to zero. The geometric structures associated with this limit are described and argued to arise naturally on null hypersurfaces, most notably on null infinity, as well as black hole and cosmological horizons. Building on this, we examine the relation between the Bondi-Metzner-Sachs symmetries governing asymptotically flat gravity and the conformal Carrollian symmetries. Explicit examples of Carrollian field theories are constructed by implementing the limit on well-known relativistic field theories, with particular attention to Carrollian CFTs. We then present the Carrollian holography proposal, according to which gravity in asymptotically flat spacetimes is dual to a Carrollian CFT living at null infinity in one lower dimension. In this framework, the massless $\mathcal{S}$-matrix written in position space at null infinity is naturally reinterpreted in terms of boundary Carrollian CFT correlators, called Carrollian amplitudes. We highlight their relation to celestial amplitudes and show how they naturally emerge from holographic CFT correlators through a correspondence between the flat space limit in the bulk and the Carrollian limit at the boundary. Using this correspondence, we provide strong evidence that flat space holography arises from a controlled and consistent limiting procedure applied to both sides of the AdS/CFT duality. We conclude by outlining future directions and open questions in the program.
- [174] arXiv:2602.02645 (cross-list from hep-th) [pdf, ps, other]
-
Title: Complexity and the Hilbert space dimension of 3D gravityAuthors: Vijay Balasubramanian, Rathindra Nath Das, Johanna Erdmenger, Jonathan Karl, Herman VerlindeComments: 11 pagesSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
A central problem in formulating a theory of quantum gravity is to determine the size and structure of the Hilbert space of black holes. Here we use a quantum dynamical Krylov complexity approach to calculate the Hilbert space dimension of a black hole in 2+1-dimensional Anti-de Sitter space. We achieve this by obtaining the spread of an initial thermofield double state over the Krylov basis. The associated Lanczos coefficients match those for chaotic motion on the $SL(2,\mathbb{R})$ group. By including non-perturbative effects in the path integral, which computes coarse-grained ensemble averages, we find that the complexity saturates at late times. The saturation value is given by the exponential of the Bekenstein-Hawking entropy. Our results introduce a new way to compute the Hilbert space dimension of complex interacting systems from the saturating value of spread complexity.
- [175] arXiv:2602.02695 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Integration of Variational Quantum Algorithms into Atomistic Simulation WorkflowsAuthors: Wilke DononelliSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In this work, we present the integration of Qiskit Nature's quantum chemistry solvers into the Atomic Simulation Environment (ASE), enabling hybrid quantum-classical workflows for force-driven atomistic simulations. This coupling allows the use of the Variational Quantum Eigensolver (VQE) and its adaptive variant (ADAPT-VQE) not only for ground-state energy calculations, but also for geometry optimisation, vibrational frequency analysis, strain evaluation, and molecular dynamics, all managed through ASE's calculator interface. By applying ADAPT-VQE to multi-electron systems such as BeH2, we obtain vibrational and structural properties in close agreement with high-level classical CCSD calculations within the same minimal basis. These results demonstrate that adaptive variational quantum algorithms can deliver stable and chemically meaningful forces within an atomistic modelling workflow, enabling downstream applications such as molecular dynamics and active-learning accelerated simulations.
- [176] arXiv:2602.02700 (cross-list from hep-th) [pdf, ps, other]
-
Title: Verlinde lines, anyon permutations and commutant pairs inside $E_{8,1}$ CFTComments: 95 pages, 1 table, 1 figure. Comments are welcome!Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We develop a defect-theoretic refinement of meromorphic 2d CFTs in which the ordinary torus partition function -- often just the vacuum character -- does not reveal how states organize under symmetry lines. Our central proposal is an \emph{equatorial projection} framework: from a commutant decomposition into commuting rational chiral algebras with categories $\mathcal{C}$ and $\widetilde{\mathcal{C}}$, we encode genus-one couplings by a non-negative integer matrix $M$ pairing characters and satisfying modular intertwiner relations. Invertible topological defect lines act directly on this gluing data (Verlinde lines diagonally via $S$-matrix eigenvalues, and anyon-permuting lines by braided-autoequivalence permutations), making modular covariance of defect amplitudes automatic and sharply distinguishing insertions that yield genuine modular invariants from those defining consistent non-holomorphic interfaces. We further show that the \emph{replacement rules} of \cite{Hegde:2021sdm, Lin:2019hks} arise as equatorial projections of defect actions, and we extend these constructions beyond two-character examples by systematically treating three-character commutant pairs in the $E_{8,1}$ theory. The unique $c=8$ meromorphic CFT $E_{8,1}$ serves as a universal testbed, producing new defect partition functions and clarifying the roles of $\mathrm{Pic}(\mathcal{C})$ and $\mathrm{Aut}^{\mathrm{br}}(\mathcal{C})$. Finally, we outline extensions to higher central charges (e.g.\ $c=32,40$), yielding modular-invariant non-meromorphic theories beyond the $c=24$ Schellekens landscape \cite{Schellekens:1992db} as defect/interface descendants of meromorphic parents.
- [177] arXiv:2602.02753 (cross-list from stat.ME) [pdf, ps, other]
-
Title: Effect-Wise Inference for Smoothing Spline ANOVA on Tensor-Product Sobolev SpaceSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Functional ANOVA provides a nonparametric modeling framework for multivariate covariates, enabling flexible estimation and interpretation of effect functions such as main effects and interaction effects. However, effect-wise inference in such models remains challenging. Existing methods focus primarily on inference for entire functions rather than individual effects. Methods addressing effect-wise inference face substantial limitations: the inability to accommodate interactions, a lack of rigorous theoretical foundations, or restriction to pointwise inference. To address these limitations, we develop a unified framework for effect-wise inference in smoothing spline ANOVA on a subspace of tensor product Sobolev space. For each effect function, we establish rates of convergence, pointwise confidence intervals, and a Wald-type test for whether the effect is zero, with power achieving the minimax distinguishable rate up to a logarithmic factor. Main effects achieve the optimal univariate rates, and interactions achieve optimal rates up to logarithmic factors. The theoretical foundation relies on an orthogonality decomposition of effect subspaces, which enables the extension of the functional Bahadur representation framework to effect-wise inference in smoothing spline ANOVA with interactions. Simulation studies and real-data application to the Colorado temperature dataset demonstrate superior performance compared to existing methods.
- [178] arXiv:2602.02791 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Plug-In Classification of Drift Functions in Diffusion Processes Using Neural NetworksSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
We study a supervised multiclass classification problem for diffusion processes, where each class is characterized by a distinct drift function and trajectories are observed at discrete times. Extending the one-dimensional multiclass framework of Denis et al. (2024) to multidimensional diffusions, we propose a neural network-based plug-in classifier that estimates the drift functions for each class from independent sample paths and assigns labels based on a Bayes-type decision rule. Under standard regularity assumptions, we establish convergence rates for the excess misclassification risk, explicitly capturing the effects of drift estimation error and time discretization. Numerical experiments demonstrate that the proposed method achieves faster convergence and improved classification performance compared to Denis et al. (2024) in the one-dimensional setting, remains effective in higher dimensions when the underlying drift functions admit a compositional structure, and consistently outperforms direct neural network classifiers trained end-to-end on trajectories without exploiting the diffusion model structure.
- [179] arXiv:2602.02816 (cross-list from q-fin.MF) [pdf, ps, other]
-
Title: Habit Formation, Labor Supply, and the Dynamics of Retirement and AnnuitizationComments: 34 pages, 9 figuresSubjects: Mathematical Finance (q-fin.MF); Optimization and Control (math.OC); Probability (math.PR)
The decision to annuitize wealth in retirement planning has become increasingly complex due to rising longevity risk and changing retirement patterns, including increased labor force participation at older ages. While an extensive literature studies consumption, labor, and annuitization decisions, these elements are typically examined in isolation. This paper develops a unified stochastic control and optimal stopping framework in which habit formation and endogenous labor supply shape retirement and annuitization decisions under age-dependent mortality. We derive optimal consumption, labor, portfolio, and annuitization policies in a continuous-time lifecycle model. The solution is characterized via dynamic programming and a Hamilton-Jacobi-Bellman variational inequality. Our results reveal a rich sequence of retirement dynamics. When wealth is low relative to habit, labor is supplied defensively to protect consumption standards. As wealth increases, agents enter a work-to-retire phase in which labor is supplied at its maximum level to accelerate access to retirement. Human capital acts as a stabilizing asset, justifying a more aggressive pre-retirement investment portfolio, followed by abrupt de-risking upon annuitization. Subjective mortality beliefs are a key determinant in shaping retirement dynamics. Agents with pessimistic longevity beliefs rationally perceive annuities as unattractive, leading them to avoid or delay annuitization. This framework provides a behavior-based explanation for low annuity demand and offers guidance for retirement planning jointly linking labor supply, portfolio choice, and the timing of annuitization.
- [180] arXiv:2602.02821 (cross-list from cs.CL) [pdf, ps, other]
-
Title: When Efficient Communication Explains ConvexitySubjects: Computation and Language (cs.CL); Information Theory (cs.IT)
Much recent work has argued that the variation in the languages of the world can be explained from the perspective of efficient communication; in particular, languages can be seen as optimally balancing competing pressures to be simple and to be informative. Focusing on the expression of meaning -- semantic typology -- the present paper asks what factors are responsible for successful explanations in terms of efficient communication. Using the Information Bottleneck (IB) approach to formalizing this trade-off, we first demonstrate and analyze a correlation between optimality in the IB sense and a novel generalization of convexity to this setting. In a second experiment, we manipulate various modeling parameters in the IB framework to determine which factors drive the correlation between convexity and optimality. We find that the convexity of the communicative need distribution plays an especially important role. These results move beyond showing that efficient communication can explain aspects of semantic typology into explanations for why that is the case by identifying which underlying factors are responsible.
- [181] arXiv:2602.02855 (cross-list from cs.LG) [pdf, ps, other]
-
Title: When pre-training hurts LoRA fine-tuning: a dynamical analysis via single-index modelsSubjects: Machine Learning (cs.LG); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistics Theory (math.ST)
Pre-training on a source task is usually expected to facilitate fine-tuning on similar downstream problems. In this work, we mathematically show that this naive intuition is not always true: excessive pre-training can computationally slow down fine-tuning optimization. We study this phenomenon for low-rank adaptation (LoRA) fine-tuning on single-index models trained under one-pass SGD. Leveraging a summary statistics description of the fine-tuning dynamics, we precisely characterize how the convergence rate depends on the initial fine-tuning alignment and the degree of non-linearity of the target task. The key take away is that even when the pre-training and down- stream tasks are well aligned, strong pre-training can induce a prolonged search phase and hinder convergence. Our theory thus provides a unified picture of how pre-training strength and task difficulty jointly shape the dynamics and limitations of LoRA fine-tuning in a nontrivial tractable model.
- [182] arXiv:2602.02875 (cross-list from stat.ME) [pdf, ps, other]
-
Title: Shiha Distribution: Statistical Properties and Applications to Reliability Engineering and Environmental DataAuthors: F. A. ShihaSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
This paper introduces a new two-parameter distribution, referred to as the Shiha distribution, which provides a flexible model for skewed lifetime data with either heavy or light tails. The proposed distribution is applicable to various fields, including reliability engineering, environmental studies, and related areas. We derive its main statistical properties, including the moment generating function, moments, hazard rate function, quantile function, and entropy. The stress--strength reliability parameter is also derived in closed form. A simulation study is conducted to evaluate its performance. Applications to several real data sets demonstrate that the Shiha distribution consistently provides a superior fit compared with established competing models, confirming its practical effectiveness for lifetime data analysis.
- [183] arXiv:2602.02945 (cross-list from stat.CO) [pdf, ps, other]
-
Title: Bayesian Methods for the Navier-Stokes EquationsSubjects: Computation (stat.CO); Numerical Analysis (math.NA)
We develop a Bayesian methodology for numerical solution of the incompressible Navier--Stokes equations with quantified uncertainty. The central idea is to treat discretized Navier--Stokes dynamics as a state-space model and to view numerical solution as posterior computation: priors encode physical structure and modeling error, and the solver outputs a distribution over states and quantities of interest rather than a single trajectory. In two dimensions, stochastic representations (Feynman--Kac and stochastic characteristics for linear advection--diffusion with prescribed drift) motivate Monte Carlo solvers and provide intuition for uncertainty propagation. In three dimensions, we formulate stochastic Navier--Stokes models and describe particle-based and ensemble-based Bayesian workflows for uncertainty propagation in spectral discretizations. A key computational advantage is that parameter learning can be performed stably via particle learning: marginalization and resample--propagate (one-step smoothing) constructions avoid the weight-collapse that plagues naive sequential importance sampling on static parameters. When partial observations are available, the same machinery supports sequential observational updating as an additional capability. We also discuss non-Gaussian (heavy-tailed) error models based on normal variance-mean mixtures, which yield conditionally Gaussian updates via latent scale augmentation.
- [184] arXiv:2602.02948 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Variational Sparse Paired Autoencoders (vsPAIR) for Inverse Problems and Uncertainty QuantificationSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
Inverse problems are fundamental to many scientific and engineering disciplines; they arise when one seeks to reconstruct hidden, underlying quantities from noisy measurements. Many applications demand not just point estimates but interpretable uncertainty. Providing fast inference alongside uncertainty estimates remains challenging yet desirable in numerous applications.
We propose the Variational Sparse Paired Autoencoder (vsPAIR) to address this challenge. The architecture pairs a standard VAE encoding observations with a sparse VAE encoding quantities of interest, connected through a learned latent mapping. The variational structure enables uncertainty estimation, the paired architecture encourages interpretability by anchoring QoI representations to clean data, and sparse encodings provide structure by concentrating information into identifiable factors rather than diffusing across all dimensions. We also propose modifications to existing sparse VAE methods: a hard-concrete spike-and-slab relaxation for differentiable training and a beta hyperprior for adaptive sparsity levels. To validate the effectiveness of our proposed architecture, we conduct experiments on blind inpainting and computed tomography, demonstrating that vsPAIR is a capable inverse problem solver that can provide interpretable and structured uncertainty estimates. - [185] arXiv:2602.02950 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Asymptotically Optimal Quantum Universal Quickest Change DetectionAuthors: Arick Grootveld, Haodong Yang, Nandan Sriranga, Biao Chen, Venkata Gandikota, Jason PollackSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
This paper investigates the quickest change detection of quantum states in a universal setting: specifically, where the post-change quantum state is not known a priori. We establish the asymptotic optimality of a two-stage approach in terms of worst average delay to detection. The first stage employs block POVMs with classical outputs that preserve quantum relative entropy to arbitrary precision. The second stage leverages a recently proposed windowed-CUSUM algorithm that is known to be asymptotically optimal for quickest change detection with an unknown post-change distribution in the classical setting.
- [186] arXiv:2602.02972 (cross-list from cs.SC) [pdf, ps, other]
-
Title: Learning Fast Monomial Orders for Gröbner Basis ComputationsAuthors: R. Caleb Bunch, Alperen A. Ergür, Melika Golestani, Jessie Tong, Malia Walewski, Yunus E. ZeytuncuSubjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
The efficiency of Gr\"obner basis computation, the standard engine for solving systems of polynomial equations, depends on the choice of monomial ordering. Despite a near-continuum of possible monomial orders, most implementations rely on static heuristics such as GrevLex, guided primarily by expert intuition. We address this gap by casting the selection of monomial orderings as a reinforcement learning problem over the space of admissible orderings. Our approach leverages domain-informed reward signals that accurately reflect the computational cost of Gr\"obner basis computations and admits efficient Monte Carlo estimation. Experiments on benchmark problems from systems biology and computer vision show that the resulting learned policies consistently outperform standard heuristics, yielding substantial reductions in computational cost. Moreover, we find that these policies resist distillation into simple interpretable models, providing empirical evidence that deep reinforcement learning allows the agents to exploit non-linear geometric structure beyond the scope of traditional heuristics.
- [187] arXiv:2602.02987 (cross-list from cs.DC) [pdf, ps, other]
-
Title: Large-Scale LLM Inference with Heterogeneous Workloads: Prefill-Decode Contention and Asymptotically Optimal ControlSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)
Large Language Models (LLMs) are rapidly becoming critical infrastructure for enterprise applications, driving unprecedented demand for GPU-based inference services. A key operational challenge arises from the two-phase nature of LLM inference: a compute-intensive \emph{prefill} phase that processes user input, followed by a memory-bound \emph{decode} phase that generates output tokens. When these phases share GPU resources, prefill tasks throttle the processing speed of concurrent decodes, creating state-dependent contention. This contention is further complicated by workload heterogeneity, as different applications exhibit vastly different input and output lengths. We develop a stochastic control framework for scheduling heterogeneous LLM workloads across large GPU clusters. We formulate LLM inference as a multiclass many-server queueing network with state-dependent service rates, grounded in empirical iteration-time measurements. We analyze the fluid approximation of this system and solve steady-state linear programs that characterize optimal resource allocation. We design gate-and-route policies that regulate prefill admission and decode routing, and prove that they are asymptotically optimal in the many-GPU limit under both bundled and separate token-pricing schemes. We further extend the framework to incorporate Service Level Indicators (SLIs) such as latency and fairness, providing a general approach to constrained scheduling. Numerical experiments calibrated to empirical iteration-time data demonstrate that our policies outperform standard serving heuristics.
- [188] arXiv:2602.02996 (cross-list from q-fin.MF) [pdf, ps, other]
-
Title: Dual Attainment in Multi-Period Multi-Asset Martingale Optimal Transport and Its ComputationSubjects: Mathematical Finance (q-fin.MF); Theoretical Economics (econ.TH); Optimization and Control (math.OC); Probability (math.PR); Computational Finance (q-fin.CP)
We establish dual attainment for the multimarginal, multi-asset martingale optimal transport (MOT) problem, a fundamental question in the mathematical theory of model-independent pricing and hedging in quantitative finance. Our main result proves the existence of dual optimizers under mild regularity and irreducibility conditions, extending previous duality and attainment results from the classical and two-marginal settings to arbitrary numbers of assets and time periods. This theoretical advance provides a rigorous foundation for robust pricing and hedging of complex, path-dependent financial derivatives. To support our analysis, we present numerical experiments that demonstrate the practical solvability of large-scale discrete MOT problems using the state-of-the-art primal-dual linear programming (PDLP) algorithm. In particular, we solve multi-dimensional (or vectorial) MOT instances arising from the robust pricing of worst-of autocallable options, confirming the accuracy and feasibility of our theoretical results. Our work advances the mathematical understanding of MOT and highlights its relevance for robust financial engineering in high-dimensional and model-uncertain environments.
- [189] arXiv:2602.03049 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Unified Inference Framework for Single and Multi-Player Performative Prediction: Method and Asymptotic OptimalitySubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
Performative prediction characterizes environments where predictive models alter the very data distributions they aim to forecast, triggering complex feedback loops. While prior research treats single-agent and multi-agent performativity as distinct phenomena, this paper introduces a unified statistical inference framework that bridges these contexts, treating the former as a special case of the latter. Our contribution is two-fold. First, we put forward the Repeated Risk Minimization (RRM) procedure for estimating the performative stability, and establish a rigorous inferential theory for admitting its asymptotic normality and confirming its asymptotic efficiency. Second, for the performative optimality, we introduce a novel two-step plug-in estimator that integrates the idea of Recalibrated Prediction Powered Inference (RePPI) with Importance Sampling, and further provide formal derivations for the Central Limit Theorems of both the underlying distributional parameters and the plug-in results. The theoretical analysis demonstrates that our estimator achieves the semiparametric efficiency bound and maintains robustness under mild distributional misspecification. This work provides a principled toolkit for reliable estimation and decision-making in dynamic, performative environments.
- [190] arXiv:2602.03061 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Evaluating LLMs When They Do Not Know the Answer: Statistical Evaluation of Mathematical Reasoning via Comparative SignalsSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
Evaluating mathematical reasoning in LLMs is constrained by limited benchmark sizes and inherent model stochasticity, yielding high-variance accuracy estimates and unstable rankings across platforms. On difficult problems, an LLM may fail to produce a correct final answer, yet still provide reliable pairwise comparison signals indicating which of two candidate solutions is better. We leverage this observation to design a statistically efficient evaluation framework that combines standard labeled outcomes with pairwise comparison signals obtained by having models judge auxiliary reasoning chains. Treating these comparison signals as control variates, we develop a semiparametric estimator based on the efficient influence function (EIF) for the setting where auxiliary reasoning chains are observed. This yields a one-step estimator that achieves the semiparametric efficiency bound, guarantees strict variance reduction over naive sample averaging, and admits asymptotic normality for principled uncertainty quantification. Across simulations, our one-step estimator substantially improves ranking accuracy, with gains increasing as model output noise grows. Experiments on GPQA Diamond, AIME 2025, and GSM8K further demonstrate more precise performance estimation and more reliable model rankings, especially in small-sample regimes where conventional evaluation is pretty unstable.
- [191] arXiv:2602.03067 (cross-list from cs.LG) [pdf, ps, other]
-
Title: FlashSinkhorn: IO-Aware Entropic Optimal TransportSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)
Entropic optimal transport (EOT) via Sinkhorn iterations is widely used in modern machine learning, yet GPU solvers remain inefficient at scale. Tensorized implementations suffer quadratic HBM traffic from dense $n\times m$ interactions, while existing online backends avoid storing dense matrices but still rely on generic tiled map-reduce reduction kernels with limited fusion. We present \textbf{FlashSinkhorn}, an IO-aware EOT solver for squared Euclidean cost that rewrites stabilized log-domain Sinkhorn updates as row-wise LogSumExp reductions of biased dot-product scores, the same normalization as transformer attention. This enables FlashAttention-style fusion and tiling: fused Triton kernels stream tiles through on-chip SRAM and update dual potentials in a single pass, substantially reducing HBM IO per iteration while retaining linear-memory operations. We further provide streaming kernels for transport application, enabling scalable first- and second-order optimization. On A100 GPUs, FlashSinkhorn achieves up to $32\times$ forward-pass and $161\times$ end-to-end speedups over state-of-the-art online baselines on point-cloud OT, improves scalability on OT-based downstream tasks. For reproducibility, we release an open-source implementation at https://github.com/ot-triton-lab/ot_triton.
- [192] arXiv:2602.03082 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Geometry-Preserving Neural Architectures on Manifolds with BoundaryAuthors: Karthik Elamvazhuthi, Shiba Biswal, Kian Rosenblum, Arushi Katyal, Tianli Qu, Grady Ma, Rishi SonthaliaSubjects: Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)
Preserving geometric structure is important in learning. We propose a unified class of geometry-aware architectures that interleave geometric updates between layers, where both projection layers and intrinsic exponential map updates arise as discretizations of projected dynamical systems on manifolds (with or without boundary). Within this framework, we establish universal approximation results for constrained neural ODEs. We also analyze architectures that enforce geometry only at the output, proving a separate universal approximation property that enables direct comparison to interleaved designs. When the constraint set is unknown, we learn projections via small-time heat-kernel limits, showing diffusion/flow-matching can be used as data-based projections. Experiments on dynamics over S^2 and SO(3), and diffusion on S^{d-1}-valued features demonstrate exact feasibility for analytic updates and strong performance for learned projections
- [193] arXiv:2602.03185 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: Impulse-induced liquid jets from bubbles with arbitrary contact anglesSubjects: Fluid Dynamics (physics.flu-dyn); Mathematical Physics (math-ph)
This paper investigates the relationship between the contact angle of a spherical bubble attached to a tube submerged in a container and the jet speed induced by an impulsive acceleration at its base. While it has been well established that bubble geometry strongly influences the ejection speeds of liquid jets, mathematical studies of liquid jets with arbitrary bubble shapes remain limited. In this work, we derive a pressure impulse in the small-cavity limit as a tractable integral of classical Legendre functions. It is shown that the jet speed can be divided into two components: (i) the velocity induced by the hydrostatic pressure impulse distribution created by the curvature of the bubble, and (ii) the velocity induced by the distribution of the submersion of the tube in a container. This decomposition reveals that an optimal bubble curvature emerges only when the tube is submerged: the optimality is absent for non-submerged configurations, where the jet speed increases monotonically with bubble depth. Experiments confirm this non-monotonicity and quantitatively support the predicted shift of the optimal geometry with submersion depth.
- [194] arXiv:2602.03212 (cross-list from gr-qc) [pdf, ps, other]
-
Title: Linear perturbations of an exact gravitational wave in the Bianchi IV universeAuthors: Konstantin OsetrinComments: 17 pagesSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
The proper-time method for constructing perturbative dynamical gravitational fields is presented. Using the proper-time method, a perturbative analytical model of gravitational waves against the backdrop of an exact wave solution of Einstein's equations in a Bianchi IV universe is constructed. To construct the perturbative analytical wave model a privileged wave coordinate system and a synchronous time function associated with the proper time of an observer freely moving in a gravitational wave were used. Reduction of the field equations, taking into account compatibility conditions, reduces the mathematical model of gravitational waves to a system of coupled ordinary differential equations for functions of the wave variable. Analytical solutions for the components of the gravitational-wave metric have been found. The stability of the resulting perturbative solutions is proven. The stability of the exact solution for a gravitational wave in the anisotropic Bianchi IV universe is demonstrated.
- [195] arXiv:2602.03240 (cross-list from q-bio.NC) [pdf, ps, other]
-
Title: Estimating measures of information processing during cognitive tasks using functional magnetic resonance imagingSubjects: Neurons and Cognition (q-bio.NC); Information Theory (cs.IT)
Cognition is increasingly framed in terms of information processing, yet most fMRI analyses focus on activation or functional connectivity rather than quantifying how information is stored and transferred. To remedy this problem, we propose a framework for estimating measures of information processing: active information storage (AIS), transfer entropy (TE), and net synergy from task-based fMRI. AIS measures information maintained within a region, TE captures directed information flow, and net synergy contrasts higher-order synergistic to redundant interactions. Crucially, to enable this framework we utilised a recently developed approach for calculating information-theoretic measures: the cross mutual information. This approach combines resting-state and task data to address the challenges of limited sample size, non-stationarity and context in task-based fMRI. We applied this framework to the working memory (N-back) task from the Human Connectome Project (470 participants). Results show that AIS increases in fronto-parietal regions with working memory load, TE reveals enhanced directed information flows across control pathways, and net synergy indicates a global shift to redundancy. This work establishes a novel methodology for quantifying information processing in task-based fMRI.
- [196] arXiv:2602.03246 (cross-list from cs.DC) [pdf, ps, other]
-
Title: Joint Network-and-Server Congestion in Multi-Source Traffic Allocation: A Convex Formulation and Price-Based DecentralizationComments: 10pages, 7 figures, submitted a version conferenceSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper studies an important rate allocation problem that arises in many networked and distributed systems: steady-state traffic rate allocation from multiple sources to multiple service nodes when both (i) the access-path delay on each source-node route is rate-dependent (capacity-constrained) and convex, and (ii) each service node (also capacity-constrained) experiences a load-dependent queueing delay driven by aggregate load from all sources. We show that the resulting flow-weighted end-to-end delay minimization is a convex program, yielding a global system-optimal solution characterized by KKT conditions that equalize total marginal costs (a path marginal access term plus a node congestion price) across all utilized routes. This condition admits a Wardrop-type interpretation: for each source, all utilized options equalize total marginal cost, while any option with strictly larger total marginal cost receives no flow. Building on this structure, we develop a lightweight distributed pricing-based algorithm in which each service node locally computes and broadcasts a scalar congestion price from its observed aggregate load, while each source updates its traffic split by solving a small separable convex allocation problem under the advertised prices. Numerical illustrations demonstrate convergence of the distributed iteration to the centralized optimum and highlight the trade-offs induced by jointly modeling access and service congestion.
- [197] arXiv:2602.03290 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Universal Approximation of Continuous Functionals on Compact Subsets via Linear Measurements and Scalar NonlinearitiesComments: 10 pagesSubjects: Machine Learning (cs.LG); Functional Analysis (math.FA)
We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear measurements of the inputs and then combine these measurements through continuous scalar nonlinearities. We also extend the approximation principle to maps with values in a Banach space, yielding finite-rank approximations. These results provide a compact-set justification for the common ``measure, apply scalar nonlinearities, then combine'' design pattern used in operator learning and imaging.
- [198] arXiv:2602.03319 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Information-Theoretic Multi-Model Fusion for Target-Oriented Adaptive Sampling in Materials DesignComments: 37 pages, 5 figures, 2 tablesSubjects: Machine Learning (cs.LG); Materials Science (cond-mat.mtrl-sci); Information Theory (cs.IT)
Target-oriented discovery under limited evaluation budgets requires making reliable progress in high-dimensional, heterogeneous design spaces where each new measurement is costly, whether experimental or high-fidelity simulation. We present an information-theoretic framework for target-oriented adaptive sampling that reframes optimization as trajectory discovery: instead of approximating the full response surface, the method maintains and refines a low-entropy information state that concentrates search on target-relevant directions. The approach couples data, model beliefs, and physics/structure priors through dimension-aware information budgeting, adaptive bootstrapped distillation over a heterogeneous surrogate reservoir, and structure-aware candidate manifold analysis with Kalman-inspired multi-model fusion to balance consensus-driven exploitation and disagreement-driven exploration. Evaluated under a single unified protocol without dataset-specific tuning, the framework improves sample efficiency and reliability across 14 single- and multi-objective materials design tasks spanning candidate pools from $600$ to $4 \times 10^6$ and feature dimensions from $10$ to $10^3$, typically reaching top-performing regions within 100 evaluations. Complementary 20-dimensional synthetic benchmarks (Ackley, Rastrigin, Schwefel) further demonstrate robustness to rugged and multimodal landscapes.
- [199] arXiv:2602.03329 (cross-list from cs.LG) [pdf, ps, other]
-
Title: From Inexact Gradients to Byzantine Robustness: Acceleration and Optimization under SimilaritySubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Standard federated learning algorithms are vulnerable to adversarial nodes, a.k.a. Byzantine failures. To solve this issue, robust distributed learning algorithms have been developed, which typically replace parameter averaging by robust aggregations. While generic conditions on these aggregations exist to guarantee the convergence of (Stochastic) Gradient Descent (SGD), the analyses remain rather ad-hoc. This hinders the development of more complex robust algorithms, such as accelerated ones. In this work, we show that Byzantine-robust distributed optimization can, under standard generic assumptions, be cast as a general optimization with inexact gradient oracles (with both additive and multiplicative error terms), an active field of research.
This allows for instance to directly show that GD on top of standard robust aggregation procedures obtains optimal asymptotic error in the Byzantine setting. Going further, we propose two optimization schemes to speed up the convergence. The first one is a Nesterov-type accelerated scheme whose proof directly derives from accelerated inexact gradient results applied to our formulation. The second one hinges on Optimization under Similarity, in which the server leverages an auxiliary loss function that approximates the global loss. Both approaches allow to drastically reduce the communication complexity compared to previous methods, as we show theoretically and empirically. - [200] arXiv:2602.03337 (cross-list from cs.DM) [pdf, ps, other]
-
Title: Vigemers: on the number of $k$-mers sharing the same XOR-based minimizerSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
In bioinformatics, minimizers have become an inescapable method for handling $k$-mers (words of fixed size $k$) extracted from DNA or RNA sequencing, whether for sampling, storage, querying or partitioning. According to some fixed order on $m$-mers ($m<k$), the minimizer of a $k$-mer is defined as its smallest $m$-mer -- and acts as its fingerprint. Although minimizers are widely used for partitioning purposes, there is almost no theoretical work on the quality of the resulting partitions. For instance, it has been known for decades that the lexicographic order empirically leads to highly unbalanced partitions that are unusable in practice, but it was not until very recently that this observation was theoretically substantiated. The rejection of the lexicographic order has led the community to resort to (pseudo-)random orders using hash functions. In this work, we extend the theoretical results relating to the partitions obtained by the lexicographical order, departing from it to a (exponentially) large family of hash functions, namely where the $m$-mers are XORed against a fixed key. More precisely, provided a key $\gamma$ and a $m$-mer $w$, we investigate the function that counts how many $k$-mers admit $w$ as their minimizer (i.e. where $w\oplus\gamma$ is minimal among all $m$-mers of said $k$-mers). This number, denoted by $\pi_k^{\gamma}(w)$, represents the maximum size of the bucket associated with $w$, if all possible $k$-mers were to be seen and partitioned. We adapt the (lexicographical order) method of the literature to our framework and propose combinatorial equations that allow to compute, using dynamic programming, $\pi_k^{\gamma}(w)$ in $O(km^2)$ time and $O(km)$ space.
- [201] arXiv:2602.03357 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Achieving Linear Speedup for Composite Federated LearningComments: 27 pages, 12 figuresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
This paper proposes FedNMap, a normal map-based method for composite federated learning, where the objective consists of a smooth loss and a possibly nonsmooth regularizer. FedNMap leverages a normal map-based update scheme to handle the nonsmooth term and incorporates a local correction strategy to mitigate the impact of data heterogeneity across clients. Under standard assumptions, including smooth local losses, weak convexity of the regularizer, and bounded stochastic gradient variance, FedNMap achieves linear speedup with respect to both the number of clients $n$ and the number of local updates $Q$ for nonconvex losses, both with and without the Polyak-{\L}ojasiewicz (PL) condition. To our knowledge, this is the first result establishing linear speedup for nonconvex composite federated learning.
- [202] arXiv:2602.03386 (cross-list from cs.LG) [pdf, ps, other]
-
Title: An Approximate Ascent Approach To Prove Convergence of PPOAuthors: Leif Doering, Daniel Schmidt, Moritz Melcher, Sebastian Kassing, Benedikt Wille, Tilman Aach, Simon WeissmannSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Proximal Policy Optimization (PPO) is among the most widely used deep reinforcement learning algorithms, yet its theoretical foundations remain incomplete. Most importantly, convergence and understanding of fundamental PPO advantages remain widely open. Under standard theory assumptions we show how PPO's policy update scheme (performing multiple epochs of minibatch updates on multi-use rollouts with a surrogate gradient) can be interpreted as approximated policy gradient ascent. We show how to control the bias accumulated by the surrogate gradients and use techniques from random reshuffling to prove a convergence theorem for PPO that sheds light on PPO's success. Additionally, we identify a previously overlooked issue in truncated Generalized Advantage Estimation commonly used in PPO. The geometric weighting scheme induces infinite mass collapse onto the longest $k$-step advantage estimator at episode boundaries. Empirical evaluations show that a simple weight correction can yield substantial improvements in environments with strong terminal signal, such as Lunar Lander.
- [203] arXiv:2602.03461 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Soft-Radial Projection for Constrained End-to-End LearningSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Computational Finance (q-fin.CP); Machine Learning (stat.ML)
Integrating hard constraints into deep learning is essential for safety-critical systems. Yet existing constructive layers that project predictions onto constraint boundaries face a fundamental bottleneck: gradient saturation. By collapsing exterior points onto lower-dimensional surfaces, standard orthogonal projections induce rank-deficient Jacobians, which nullify gradients orthogonal to active constraints and hinder optimization. We introduce Soft-Radial Projection, a differentiable reparameterization layer that circumvents this issue through a radial mapping from Euclidean space into the interior of the feasible set. This construction guarantees strict feasibility while preserving a full-rank Jacobian almost everywhere, thereby preventing the optimization stalls typical of boundary-based methods. We theoretically prove that the architecture retains the universal approximation property and empirically show improved convergence behavior and solution quality over state-of-the-art optimization- and projection-based baselines.
- [204] arXiv:2602.03514 (cross-list from cs.LG) [pdf, ps, other]
-
Title: A Function-Space Stability Boundary for Generalization in Interpolating Learning SystemsAuthors: Ronald KatendeComments: 10 pages, 8 figures,Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Modern learning systems often interpolate training data while still generalizing well, yet it remains unclear when algorithmic stability explains this behavior. We model training as a function-space trajectory and measure sensitivity to single-sample perturbations along this trajectory.
We propose a contractive propagation condition and a stability certificate obtained by unrolling the resulting recursion. A small certificate implies stability-based generalization, while we also prove that there exist interpolating regimes with small risk where such contractive sensitivity cannot hold, showing that stability is not a universal explanation.
Experiments confirm that certificate growth predicts generalization differences across optimizers, step sizes, and dataset perturbations. The framework therefore identifies regimes where stability explains generalization and where alternative mechanisms must account for success. - [205] arXiv:2602.03535 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Sparse Training of Neural Networks based on Multilevel Mirror DescentSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC)
We introduce a dynamic sparse training algorithm based on linearized Bregman iterations / mirror descent that exploits the naturally incurred sparsity by alternating between periods of static and dynamic sparsity pattern updates. The key idea is to combine sparsity-inducing Bregman iterations with adaptive freezing of the network structure to enable efficient exploration of the sparse parameter space while maintaining sparsity. We provide convergence guaranties by embedding our method in a multilevel optimization framework. Furthermore, we empirically show that our algorithm can produce highly sparse and accurate models on standard benchmarks. We also show that the theoretical number of FLOPs compared to SGD training can be reduced from 38% for standard Bregman iterations to 6% for our method while maintaining test accuracy.
- [206] arXiv:2602.03566 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Riemannian Neural Optimal TransportComments: 58 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Computational optimal transport (OT) offers a principled framework for generative modeling. Neural OT methods, which use neural networks to learn an OT map (or potential) from data in an amortized way, can be evaluated out of sample after training, but existing approaches are tailored to Euclidean geometry. Extending neural OT to high-dimensional Riemannian manifolds remains an open challenge. In this paper, we prove that any method for OT on manifolds that produces discrete approximations of transport maps necessarily suffers from the curse of dimensionality: achieving a fixed accuracy requires a number of parameters that grows exponentially with the manifold dimension. Motivated by this limitation, we introduce Riemannian Neural OT (RNOT) maps, which are continuous neural-network parameterizations of OT maps on manifolds that avoid discretization and incorporate geometric structure by construction. Under mild regularity assumptions, we prove that RNOT maps approximate Riemannian OT maps with sub-exponential complexity in the dimension. Experiments on synthetic and real datasets demonstrate improved scalability and competitive performance relative to discretization-based baselines.
- [207] arXiv:2602.03581 (cross-list from eess.SP) [pdf, ps, other]
-
Title: Low-Complexity Distributed Combining Design for Near-Field Cell-Free XL-MIMO SystemsComments: 15 pages, 10 figures, to appear in IEEE Transactions on Wireless CommunicationsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
In this paper, we investigate the low-complexity distributed combining scheme design for near-field cell-free extremely large-scale multiple-input-multiple-output (CF XL-MIMO) systems. Firstly, we construct the uplink spectral efficiency (SE) performance analysis framework for CF XL-MIMO systems over centralized and distributed processing schemes. Notably, we derive the centralized minimum mean-square error (CMMSE) and local minimum mean-square error (LMMSE) combining schemes over arbitrary channel estimators. Then, focusing on the CMMSE and LMMSE combining schemes, we propose five low-complexity distributed combining schemes based on the matrix approximation methodology or the symmetric successive over relaxation (SSOR) algorithm. More specifically, we propose two matrix approximation methodology-aided combining schemes: Global Statistics \& Local Instantaneous information-based MMSE (GSLI-MMSE) and Statistics matrix Inversion-based LMMSE (SI-LMMSE). These two schemes are derived by approximating the global instantaneous information in the CMMSE combining and the local instantaneous information in the LMMSE combining with the global and local statistics information by asymptotic analysis and matrix expectation approximation, respectively. Moreover, by applying the low-complexity SSOR algorithm to iteratively solve the matrix inversion in the LMMSE combining, we derive three distributed SSOR-based LMMSE combining schemes, distinguished from the applied information and initial values.
- [208] arXiv:2602.03590 (cross-list from eess.SP) [pdf, ps, other]
-
Title: Statistics Approximation-Enabled Distributed Beamforming for Cell-Free Massive MIMOComments: 6 pages, 3 figures, accepted by IEEE International Conference on Communications (ICC) 2026Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)
We study a distributed beamforming approach for cell-free massive multiple-input multiple-output networks, referred to as Global Statistics \& Local Instantaneous information-based minimum mean-square error (GSLI-MMSE). The scenario with multi-antenna access points (APs) is considered over three different channel models: correlated Rician fading with fixed or random line-of-sight (LoS) phase-shifts, and correlated Rayleigh fading. With the aid of matrix inversion derivations, we can construct the conventional MMSE combining from the perspective of each AP, where global instantaneous information is involved. Then, for an arbitrary AP, we apply the statistics approximation methodology to approximate instantaneous terms related to other APs by channel statistics to construct the distributed combining scheme at each AP with local instantaneous information and global statistics. With the aid of uplink-downlink duality, we derive the respective GSLI-MMSE precoding schemes. Numerical results showcase that the proposed GSLI-MMSE scheme demonstrates performance comparable to the optimal centralized MMSE scheme, under the stable LoS conditions, e.g., with static users having Rician fading with a fixed LoS path.
- [209] arXiv:2602.03654 (cross-list from nlin.AO) [pdf, ps, other]
-
Title: Noisy nonlocal aggregation model with gradient flow structuresComments: 15 pages; 4 figuresSubjects: Adaptation and Self-Organizing Systems (nlin.AO); Numerical Analysis (math.NA); Physics and Society (physics.soc-ph)
Interacting particle systems provide a fundamental framework for modeling collective behavior in biological, social, and physical systems. In many applications, stochastic perturbations are essential for capturing environmental variability and individual uncertainty, yet their impact on long-term dynamics and equilibrium structure remains incompletely understood, particularly in the presence of nonlocal interactions. We investigate a stochastic interacting particle system governed by potential-driven interactions and its continuum density formulation in the large-population limit. We introduce an energy functional and show that the macroscopic density evolution has a gradient-flow structure in the Wasserstein-2 space. The associated variational framework yields equilibrium states through constrained energy minimization and illustrates how noise regulates the density and mitigates singular concentration. We demonstrate the connection between microscopic and macroscopic descriptions through numerical examples in one and two dimensions. Within the variational framework, we compute energy minimizers and perform a linear stability analysis. The numerical results show that the stable minimizers agree with the long-time dynamics of the macroscopic density model.
- [210] arXiv:2602.03663 (cross-list from gr-qc) [pdf, ps, other]
-
Title: Dirac Observables for Gowdy Cosmologies regular at the Big BangComments: 41 pages + 22 pages appendices; 2 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Gowdy cosmologies are exact, spatially inhomogeneous solutions of the vacuum Einstein equations which describe nonlinear gravitational waves coalescing at the Big Bang singularity. With toroidal spatial sections they provenly have the Asymptotic Velocity Domination property, in that close to the Big Bang dynamical spatial gradients fade out and the dynamics is governed by a Carroll-type gravity theory. Here we construct an infinite set of Dirac observables for Gowdy cosmologies, valid off-shell, strongly, and without gauge fixing. These observables stay regular at the Big Bang and can be matched to much simpler Dirac observables of the Carroll-type gravity theory. Conversely, in an adapted foliation there is a systematic anti-Newtonian expansion (in inverse powers of the reduced Newton constant) of the full Dirac observables whose leading terms are the Carroll ones. In particular, this provides an off-shell generalization of the Asymptotic Velocity Domination property.
- [211] arXiv:2602.03670 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Equilibrium Propagation for Non-Conservative SystemsComments: 19 pages (9 pages main text), 7 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Dynamical Systems (math.DS); Classical Physics (physics.class-ph)
Equilibrium Propagation (EP) is a physics-inspired learning algorithm that uses stationary states of a dynamical system both for inference and learning. In its original formulation it is limited to conservative systems, $\textit{i.e.}$ to dynamics which derive from an energy function. Given their importance in applications, it is important to extend EP to nonconservative systems, $\textit{i.e.}$ systems with non-reciprocal interactions. Previous attempts to generalize EP to such systems failed to compute the exact gradient of the cost function. Here we propose a framework that extends EP to arbitrary nonconservative systems, including feedforward networks. We keep the key property of equilibrium propagation, namely the use of stationary states both for inference and learning. However, we modify the dynamics in the learning phase by a term proportional to the non-reciprocal part of the interaction so as to obtain the exact gradient of the cost function. This algorithm can also be derived using a variational formulation that generates the learning dynamics through an energy function defined over an augmented state space. Numerical experiments using the MNIST database show that this algorithm achieves better performance and learns faster than previous proposals.
- [212] arXiv:2602.03674 (cross-list from cs.MA) [pdf, ps, other]
-
Title: When Should Agents Coordinate in Differentiable Sequential Decision Problems?Comments: 15 content pages, 2 pages for references, 4 figuresSubjects: Multiagent Systems (cs.MA); Computer Science and Game Theory (cs.GT); Robotics (cs.RO); Optimization and Control (math.OC)
Multi-robot teams must coordinate to operate effectively. When a team operates in an uncoordinated manner, and agents choose actions that are only individually optimal, the team's outcome can suffer. However, in many domains, coordination requires costly communication. We explore the value of coordination in a broad class of differentiable motion-planning problems. In particular, we model coordinated behavior as a spectrum: at one extreme, agents jointly optimize a common team objective, and at the other, agents make unilaterally optimal decisions given their individual decision variables, i.e., they operate at Nash equilibria. We then demonstrate that reasoning about coordination in differentiable motion-planning problems reduces to reasoning about the second-order properties of agents' objectives, and we provide algorithms that use this second-order reasoning to determine at which times a team of agents should coordinate.
- [213] arXiv:2602.03682 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Improved Analysis of the Accelerated Noisy Power Method with Applications to Decentralized PCASubjects: Machine Learning (stat.ML); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Numerical Analysis (math.NA)
We analyze the Accelerated Noisy Power Method, an algorithm for Principal Component Analysis in the setting where only inexact matrix-vector products are available, which can arise for instance in decentralized PCA. While previous works have established that acceleration can improve convergence rates compared to the standard Noisy Power Method, these guarantees require overly restrictive upper bounds on the magnitude of the perturbations, limiting their practical applicability. We provide an improved analysis of this algorithm, which preserves the accelerated convergence rate under much milder conditions on the perturbations. We show that our new analysis is worst-case optimal, in the sense that the convergence rate cannot be improved, and that the noise conditions we derive cannot be relaxed without sacrificing convergence guarantees. We demonstrate the practical relevance of our results by deriving an accelerated algorithm for decentralized PCA, which has similar communication costs to non-accelerated methods. To our knowledge, this is the first decentralized algorithm for PCA with provably accelerated convergence.
- [214] arXiv:2602.03691 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched UncertaintiesComments: To appear at the 2026 American Control ConferenceSubjects: Systems and Control (eess.SY); Robotics (cs.RO); Optimization and Control (math.OC)
Guaranteeing safety in the presence of unmatched disturbances -- uncertainties that cannot be directly canceled by the control input -- remains a key challenge in nonlinear control. This paper presents a constructive approach to safety-critical control of nonlinear systems with unmatched disturbances. We first present a generalization of the input-to-state safety (ISSf) framework for systems with these uncertainties using the recently developed notion of an Optimal Decay CBF, which provides more flexibility for satisfying the associated Lyapunov-like conditions for safety. From there, we outline a procedure for constructing ISSf-CBFs for two relevant classes of systems with unmatched uncertainties: i) strict-feedback systems; ii) dual-relative-degree systems, which are similar to differentially flat systems. Our theoretical results are illustrated via numerical simulations of an inverted pendulum and planar quadrotor.
- [215] arXiv:2602.03702 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Anytime Pretraining: Horizon-Free Learning-Rate Schedules with Weight AveragingSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Machine Learning (stat.ML)
Large language models are increasingly trained in continual or open-ended settings, where the total training horizon is not known in advance. Despite this, most existing pretraining recipes are not anytime: they rely on horizon-dependent learning rate schedules and extensive tuning under a fixed compute budget. In this work, we provide a theoretical analysis demonstrating the existence of anytime learning schedules for overparameterized linear regression, and we highlight the central role of weight averaging - also known as model merging - in achieving the minimax convergence rates of stochastic gradient descent. We show that these anytime schedules polynomially decay with time, with the decay rate determined by the source and capacity conditions of the problem. Empirically, we evaluate 150M and 300M parameter language models trained at 1-32x Chinchilla scale, comparing constant learning rates with weight averaging and $1/\sqrt{t}$ schedules with weight averaging against a well-tuned cosine schedule. Across the full training range, the anytime schedules achieve comparable final loss to cosine decay. Taken together, our results suggest that weight averaging combined with simple, horizon-free step sizes offers a practical and effective anytime alternative to cosine learning rate schedules for large language model pretraining.
- [216] arXiv:2602.03718 (cross-list from eess.SP) [pdf, ps, other]
-
Title: A Narrowband Fully-Analog Multi-Antenna TransmitterAuthors: Nikola ZlatanovSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
This paper proposes a narrowband fully-analog $N$-antenna transmitter that emulates the functionality of a narrowband fully-digital $N$-antenna transmitter. Specifically, in symbol interval $m$, the proposed fully-analog transmitter synthesizes an arbitrary complex excitation vector $\bm x[m]\in\mathbb{C}^N$ with prescribed total power $\|\bm x[m]\|_2^2=P$ from a single coherent RF tone, using only tunable phase-control elements embedded in a passive interferometric programmable network. The programmable network is excited through one input port while the remaining $N - 1$ input ports are impedance matched. In the ideal lossless case, the network transfer is unitary and therefore redistributes RF power among antenna ports without dissipative amplitude control.
The synthesis task is posed as a unitary state-preparation problem: program a unitary family so that $\bm V(\bm\varphi)\bm e_1=\bm c$, where $\bm c=\bm x/\sqrt{P}$ and $\|\bm c\|_2=1$. We provide a constructive realization and a closed-form programming rule: a binary magnitude-splitting tree allocates the desired per-antenna magnitudes $|c_n|$ using $N -1$ tunable split ratios, and a per-antenna output phase bank assigns the target phases using $N$ tunable phase shifts. The resulting architecture uses $2N-1$ real tunable degrees of freedom and admits a deterministic $O(N)$ programming procedure with no iterative optimization, enabling symbol-by-symbol updates when the chosen phase-control technology supports the required tuning speed.
Using representative COTS components, we model the RF-front-end DC power of the proposed fully-analog transmitter and compare it against an equivalent COTS fully-digital array. For $N\le 16$, the comparison indicates significant RF-front-end power savings for the fully-analog architecture.
The results in this paper are intended as a proof-of-concept for a narrowband fully-analog transmitter. - [217] arXiv:2602.03738 (cross-list from physics.soc-ph) [pdf, ps, other]
-
Title: Emergent structures in coupled opinion and network dynamicsSubjects: Physics and Society (physics.soc-ph); Dynamical Systems (math.DS)
This paper investigates a model of opinion formation on an adaptive social network, consisting of a system of coupled ordinary differential equations for individuals' opinions and corresponding network edge weights. A key driver of the system's behaviour is the form of the interaction function, which determines the strength of interactions based on the distance between individuals' opinions and appears in both opinion and network dynamics. Two cases are examined: in the first the interaction function is always positive and in the second case the interaction function is of bounded-confidence type. In both cases there is positive feedback between opinion clustering and the emergence of community structure in the social network. This is confirmed through analytical results on long-term behaviour, extending existing results for a fixed network, as well as through numerical simulations. Transient network dynamics are also examined through a short-time approximation that captures the `typical' early network dynamics. Each approach improves some aspect of our understanding of the interplay between opinion and network evolution.
- [218] arXiv:2602.03744 (cross-list from physics.med-ph) [pdf, ps, other]
-
Title: Reducing acquisition time and radiation damage: data-driven subsampling for spectro-microscopySubjects: Medical Physics (physics.med-ph); Numerical Analysis (math.NA); Optics (physics.optics)
Spectro-microscopy is an experimental technique which can be used to observe spatial variations in chemical state and changes in chemical state over time or under experimental conditions. As a result it has broad applications across areas such as energy materials, catalysis, environmental science and biological samples. However, the technique is often limited by factors such as long acquisition times and radiation damage. We present two measurement strategies that allow for significantly shorter experiment times and total doses applied. The strategies are based on taking only a small subset of all the measurements (e.g. sparse acquisition or subsampling), and then computationally reconstructing all unobserved measurements using mathematical techniques. The methods are data-driven, using spectral and spatial importance subsampling distributions to identify important measurements. As a result, taking as little as 4-6\% of the measurements is sufficient to capture the same information as in a conventional scan.
- [219] arXiv:2602.03800 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Emergent correlations in the selected link-times along optimal pathsSubjects: Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
In the context of first-passage percolation (FPP), we investigate the statistical properties of the selected link-times (SLTs) -the random link times comprising the optimal paths (or geodesics) connecting two given points. We focus on weakly disordered square lattices, whose geodesics are known to fall under the Kardar-Parisi-Zhang (KPZ) universality class. Our analysis reveals universal power-law decays with the end-to-end distance for both the average and standard deviation of the SLTs, along with an intricate pattern of long-range correlations, whose scaling exponents are directly linked to KPZ universality. Crucially, the SLT distributions for diagonal and axial paths exhibit significant differences, which we trace back to the distinct directed and undirected nature, respectively, of the underlying geodesics. Moreover, we demonstrate that the SLT distribution violates the conditions of the central limit theorem. Instead, SLT sums follow the Tracy-Widom distribution characteristic of the KPZ class, which we associate with evidence for the emergence of high-order long-range correlations in the ensemble.
- [220] arXiv:2602.03802 (cross-list from cs.DC) [pdf, ps, other]
-
Title: Do We Need Asynchronous SGD? On the Near-Optimality of Synchronous MethodsSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA); Optimization and Control (math.OC)
Modern distributed optimization methods mostly rely on traditional synchronous approaches, despite substantial recent progress in asynchronous optimization. We revisit Synchronous SGD and its robust variant, called $m$-Synchronous SGD, and theoretically show that they are nearly optimal in many heterogeneous computation scenarios, which is somewhat unexpected. We analyze the synchronous methods under random computation times and adversarial partial participation of workers, and prove that their time complexities are optimal in many practical regimes, up to logarithmic factors. While synchronous methods are not universal solutions and there exist tasks where asynchronous methods may be necessary, we show that they are sufficient for many modern heterogeneous computation scenarios.
Replacements for Wed, 4 Feb 26
- [221] arXiv:math/0608330 (replaced) [pdf, ps, other]
-
Title: Club guessing and the universal modelsAuthors: Mirna DžamonjaJournal-ref: Notre Dame Journal of Formal Logic, vol. 46, No. 3, (2005), pg. 283-300Subjects: Logic (math.LO)
- [222] arXiv:1501.01602 (replaced) [pdf, ps, other]
-
Title: A Framework for Non-Gaussian Functional Integrals with Applications to Quantum Field Theory and Number TheoryAuthors: J. LaChapelleComments: This is the first of two papers representing an expanded version of arXiv:1308.1063Subjects: Mathematical Physics (math-ph)
- [223] arXiv:2102.02941 (replaced) [pdf, ps, other]
-
Title: Invertible phases for mixed spatial symmetries and the fermionic crystalline equivalence principleAuthors: Arun DebrayComments: 105 pages. Comments welcome! v3: a few more errors have been correctedSubjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Algebraic Topology (math.AT)
- [224] arXiv:2102.10853 (replaced) [pdf, ps, other]
-
Title: Geometry of the Space of Sections of Twistor Spaces with Circle ActionJournal-ref: SIGMA 22 (2026), 008, 43 pagesSubjects: Differential Geometry (math.DG)
- [225] arXiv:2111.00749 (replaced) [pdf, ps, other]
-
Title: Lefschetz fibrations on the Milnor fibers of cusp and simple elliptic singularitiesComments: 48 pages, 8 figuresSubjects: Geometric Topology (math.GT); Complex Variables (math.CV); Symplectic Geometry (math.SG)
- [226] arXiv:2111.01675 (replaced) [pdf, ps, other]
-
Title: The Lagrange-D'Alembert Principle from the Viewpoint of ODEAuthors: Oleg ZubelevichComments: 8 pages in RussianSubjects: History and Overview (math.HO); Mathematical Physics (math-ph)
- [227] arXiv:2201.02514 (replaced) [pdf, ps, other]
-
Title: Efficiency of ANS Entropy EncodersAuthors: Dmitry KosolobovComments: 25 pages, 5 figures, 1 table, 2 listingsSubjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)
- [228] arXiv:2211.12582 (replaced) [pdf, ps, other]
-
Title: Spectral conditions for spherical two-distance setsComments: 12 pagesJournal-ref: Discrete Mathematics, Volume 349, Issue 3, 2026Subjects: Combinatorics (math.CO); Metric Geometry (math.MG)
- [229] arXiv:2302.08949 (replaced) [pdf, ps, other]
-
Title: Equivariant Trees and Partition ComplexesComments: Final versionSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT)
- [230] arXiv:2305.12306 (replaced) [pdf, ps, other]
-
Title: On compactifications of the SL(2,C) character varieties of punctured surfacesComments: V3: accepted versionSubjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
- [231] arXiv:2307.15209 (replaced) [pdf, ps, other]
-
Title: Finite Stature in Artin groupsAuthors: Kasia JankiewiczComments: v2: 27 pages, 17 figures. Substantial changes and corrections, version accepted for publication in Michigan Math JournalSubjects: Group Theory (math.GR); Geometric Topology (math.GT)
- [232] arXiv:2311.08366 (replaced) [pdf, ps, other]
-
Title: Random Surfaces and Higher AlgebraComments: 38 pages, substantially shortened exposition and proofs, now use H\"older regularity instead of p-variationSubjects: Probability (math.PR); Algebraic Topology (math.AT); Category Theory (math.CT); Differential Geometry (math.DG)
- [233] arXiv:2312.07397 (replaced) [pdf, ps, other]
-
Title: Neural Entropic Optimal Transport and Gromov-Wasserstein AlignmentSubjects: Statistics Theory (math.ST)
- [234] arXiv:2312.13957 (replaced) [pdf, ps, other]
-
Title: Two invariant subalgebras of rational Cherednik algebrasComments: 45 pages; minor changes; accepted by Journal of Pure and Applied AlgebraSubjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Representation Theory (math.RT)
- [235] arXiv:2401.04000 (replaced) [pdf, ps, other]
-
Title: Joint distribution of primes in multiple short intervalsAuthors: Sun-Kai LeungComments: 43 pages; to appear in Adv. MathSubjects: Number Theory (math.NT); Probability (math.PR)
- [236] arXiv:2402.08651 (replaced) [pdf, ps, other]
-
Title: Induced saturation for complete bipartite posetsAuthors: Dingyuan LiuComments: 10 pages, 9 figures, minor typos correctedSubjects: Combinatorics (math.CO)
- [237] arXiv:2402.13342 (replaced) [pdf, ps, other]
-
Title: Fine Mixed Subdivisions of a Dilated TriangleComments: 15 pages, 14 figuresSubjects: Combinatorics (math.CO)
- [238] arXiv:2403.01831 (replaced) [pdf, ps, other]
-
Title: Cohomological flatness over discrete valuation rings: numerical and logarithmic criteriaComments: Revised with main results strengthenedSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
- [239] arXiv:2404.02070 (replaced) [pdf, ps, other]
-
Title: Asymptotics of resampling without replacement in robust and logistic regressionComments: 27 pages, 8 figuresSubjects: Statistics Theory (math.ST)
- [240] arXiv:2405.00735 (replaced) [pdf, ps, other]
-
Title: Exterior stability of Minkowski spacetime with borderline decayAuthors: Dawei ShenComments: 39 pages, 2 figures. Accepted for publication in Annales scientifiques de l'\'Ecole normale sup\'erieureSubjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)
- [241] arXiv:2405.05457 (replaced) [pdf, ps, other]
-
Title: Link groups of Kishino knot stacksAuthors: Blake K WinterComments: Final versionSubjects: Geometric Topology (math.GT)
- [242] arXiv:2405.13506 (replaced) [pdf, ps, other]
-
Title: Large Deviations in Safety-Critical Systems with Probabilistic Initial ConditionsSubjects: Optimization and Control (math.OC); Statistical Mechanics (cond-mat.stat-mech)
- [243] arXiv:2405.14273 (replaced) [pdf, ps, other]
-
Title: Exact Solution to Data-Driven Inverse Optimization of MILPs in Finite Time via Gradient-Based MethodsAuthors: Akira KitaokaComments: 42 pages; comments are welcomeSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
- [244] arXiv:2405.14448 (replaced) [pdf, ps, other]
-
Title: Integration of Hochschild cohomology, derived Picard groups and uniqueness of liftsAuthors: Sebastian OpperComments: 57 pages; v3: added references and fixed a few typosSubjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG); Representation Theory (math.RT)
- [245] arXiv:2406.01418 (replaced) [pdf, ps, other]
-
Title: Chromatic symmetric functions of conjoined graphsComments: 21 pages, 5 figuresSubjects: Combinatorics (math.CO)
- [246] arXiv:2406.18231 (replaced) [pdf, ps, other]
-
Title: Return time sets and product recurrenceComments: 32 pages, to appear in Fund. MathSubjects: Dynamical Systems (math.DS)
- [247] arXiv:2407.14674 (replaced) [pdf, ps, other]
-
Title: Equivariant Smoothing Processes on Currents and Spaces with Bounded CurvatureAuthors: Andrés Ahumada GómezComments: 12 pagesSubjects: Differential Geometry (math.DG)
- [248] arXiv:2407.17100 (replaced) [pdf, ps, other]
-
Title: Generalized Morse Functions, Excision and Higher TorsionsComments: 127 pages, 3 figures, any comments are welcomed!Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Spectral Theory (math.SP)
- [249] arXiv:2407.18182 (replaced) [pdf, ps, other]
-
Title: Convergence rates for ensemble-based solutions to optimal control of uncertain dynamical systemsSubjects: Optimization and Control (math.OC)
- [250] arXiv:2408.00436 (replaced) [pdf, ps, other]
-
Title: A Search for High-Threshold Qutrit Magic State Distillation RoutinesComments: 31 pages, 5 figures, one ancillary fileSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Combinatorics (math.CO)
- [251] arXiv:2408.07049 (replaced) [pdf, ps, other]
-
Title: On the slow phase for fixed-energy Activated Random WalksSubjects: Probability (math.PR)
- [252] arXiv:2408.14377 (replaced) [pdf, ps, other]
-
Title: On the existence of balanced metrics of Hodge-Riemann typeComments: Published versionJournal-ref: Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 120, 39 (2026)Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
- [253] arXiv:2409.02159 (replaced) [pdf, ps, other]
-
Title: Generalized Tube Algebras, Symmetry-Resolved Partition Functions, and Twisted Boundary StatesComments: 107 pages + appendices, referee suggestions adopted, accepted in Commun. Math. PhysSubjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Quantum Algebra (math.QA)
- [254] arXiv:2409.06063 (replaced) [pdf, ps, other]
-
Title: Counting List Colorings of Unlabeled GraphsComments: 14 pagesSubjects: Combinatorics (math.CO)
- [255] arXiv:2409.06878 (replaced) [pdf, ps, other]
-
Title: Deformed Homogeneous Polynomials and the Generalized $q$-Exponential OperatorAuthors: Ronald Orozco LópezSubjects: Combinatorics (math.CO)
- [256] arXiv:2409.12700 (replaced) [pdf, ps, other]
-
Title: Topological normal generation of big mapping class groupsAuthors: Juhun BaikComments: 25 pages, 9 figures, Comments are welcome!Subjects: Group Theory (math.GR); Geometric Topology (math.GT)
- [257] arXiv:2409.17809 (replaced) [pdf, ps, other]
-
Title: Preserving Besov (fractional Sobolev) energies under sphericalization and flatteningSubjects: Functional Analysis (math.FA)
- [258] arXiv:2409.18547 (replaced) [pdf, ps, other]
-
Title: Two remarks on asymptotically log Fano pairsAuthors: Jesus Martinez-GarciaComments: For publication on the ZAG seminar proceedings. 3 pagesJournal-ref: Published as Chapter 127 (PP 488-492) in: Cheltsov, I., & Martinez-Garcia, J. (Eds.). (2025). ZAG Handbook of Algebraic Geometry (1st ed.). Chapman and Hall/CRCSubjects: Algebraic Geometry (math.AG)
- [259] arXiv:2410.03619 (replaced) [pdf, ps, other]
-
Title: Functional-SVD for Heterogeneous Trajectories: Case Studies in HealthComments: Journal of the American Statistical Association, to appearSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP); Computation (stat.CO)
- [260] arXiv:2411.06982 (replaced) [pdf, ps, other]
-
Title: Path decompositions of oriented graphsComments: 17 pages, 2 figuresJournal-ref: European Journal of Combinatorics 134 (2026), 104346Subjects: Combinatorics (math.CO)
- [261] arXiv:2411.11314 (replaced) [pdf, ps, other]
-
Title: Hamiltonian stationary Lagrangian surfaces with harmonic mean curvature in complex space formsAuthors: Toru SasaharaSubjects: Differential Geometry (math.DG)
- [262] arXiv:2411.13397 (replaced) [pdf, ps, other]
-
Title: Stability of the Inviscid Power-Law VortexComments: The previous version had an error in Lemma 6.4. The operator K is not dissipative unless a weighted L^2 space is used. If the space is thus changed, we can obtain stability without symmetry conditions. The result for the unweighted L^2 required a mild symmetry condition. The proof is otherwise unchanged. 34 pagesSubjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.flu-dyn)
- [263] arXiv:2412.01492 (replaced) [pdf, ps, other]
-
Title: Simultaneous symplectic spectral decomposition of positive semidefinite matricesComments: 12 pagesSubjects: Mathematical Physics (math-ph)
- [264] arXiv:2412.10625 (replaced) [pdf, ps, other]
-
Title: Certainty-Equivalence Model Predictive Control: Stability, Performance, and BeyondComments: To appear in IEEE Transactions on Automatic Control (July 2026)Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [265] arXiv:2412.19144 (replaced) [pdf, ps, other]
-
Title: Hom complexes of graphs whose codomains are square-freeAuthors: Takahiro MatsushitaComments: 22 pages, final versionJournal-ref: Journal of Combinatorial Theory, Series B, volume 178, 267-293, 2026Subjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
- [266] arXiv:2501.05955 (replaced) [pdf, ps, other]
-
Title: A Contact Topological Glossary for Non-Equilibrium ThermodynamicsComments: 29 pages, 5 figures; revised version, the discussion of the sign of the entropy has been correctedSubjects: Symplectic Geometry (math.SG); Mathematical Physics (math-ph)
- [267] arXiv:2501.11076 (replaced) [pdf, ps, other]
-
Title: Almost sure bounds for weighted sums of Rademacher random multiplicative functionsAuthors: Christopher AtherfoldComments: 50 pages. Comments welcome. Rewritten section 6.3 to attain a sharper bound, added references and improved introductionSubjects: Number Theory (math.NT); Probability (math.PR)
- [268] arXiv:2501.15535 (replaced) [pdf, ps, other]
-
Title: Steklov isospectrality of conformal metricsAuthors: Benjamin FlorentinComments: Accepted for publication in \emph{Annales de l'Institut Fourier} (to appear). 38 pagesSubjects: Spectral Theory (math.SP); Differential Geometry (math.DG)
- [269] arXiv:2502.00086 (replaced) [pdf, ps, other]
-
Title: Polynomial Tail Decay for Stationary MeasuresComments: 10 pages. Version accpected at Proceedings of the American Mathematical SocietySubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Probability (math.PR)
- [270] arXiv:2502.08608 (replaced) [pdf, ps, other]
-
Title: Injective envelopes for locally C*-algebrasJournal-ref: Linear and Multilinear Algebra, 2025, VOL.73, NO. 16, 3738-3761Subjects: Operator Algebras (math.OA)
- [271] arXiv:2502.11343 (replaced) [pdf, ps, other]
-
Title: SPLD polynomial optimization and bounded degree SOS hierarchiesComments: 31 pages, 2 figuresSubjects: Optimization and Control (math.OC)
- [272] arXiv:2502.13485 (replaced) [pdf, ps, other]
-
Title: Infinitely many accumulation points of codegree Turán densitiesComments: 8 pagesSubjects: Combinatorics (math.CO)
- [273] arXiv:2502.15173 (replaced) [pdf, ps, other]
-
Title: Mixed Berndt-Type Integrals and Generalized Barnes Multiple Zeta FunctionsAuthors: Jianing ZhouComments: 27 page, 5 figuresSubjects: Number Theory (math.NT); Mathematical Physics (math-ph)
- [274] arXiv:2503.00014 (replaced) [pdf, ps, other]
-
Title: LSD of the Commutator of two data MatricesComments: arXiv admin note: substantial text overlap with arXiv:2409.16780Subjects: Statistics Theory (math.ST); Probability (math.PR)
- [275] arXiv:2503.00227 (replaced) [pdf, ps, other]
-
Title: The Learning Approach to GamesSubjects: Computer Science and Game Theory (cs.GT); Theoretical Economics (econ.TH); Optimization and Control (math.OC)
- [276] arXiv:2503.07009 (replaced) [pdf, ps, other]
-
Title: A splitting theorem for manifolds with spectral nonnegative Ricci curvature and mean-convex boundaryComments: Final versionJournal-ref: J. Funct. Anal. 290 (2026), no. 8Subjects: Differential Geometry (math.DG)
- [277] arXiv:2503.08475 (replaced) [pdf, ps, other]
-
Title: The generic extension map and modular standard modulesAuthors: Johannes DroschlComments: v3 There was a mistake in Proposition 2.2. in the previous version. This forced us to change the statement of Proposition 2.2 and 3.3 and Corollary 4.3.2. Moreover, several minor changes have been made throughout the paperSubjects: Representation Theory (math.RT); Number Theory (math.NT)
- [278] arXiv:2503.14101 (replaced) [pdf, ps, other]
-
Title: On the $\mathcal{D}^+_J$ operator on higher-dimensional almost Kähler manifoldsSubjects: Differential Geometry (math.DG)
- [279] arXiv:2503.15437 (replaced) [pdf, ps, other]
-
Title: On the topological ranks of Banach $^*$-algebras associated with groups of subexponential growthAuthors: Felipe I. FloresComments: 14 pages. The last section was restructured, the rest of the paper only had minimal changes. To appear in Bull. Lond. Math. SocSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
- [280] arXiv:2503.19859 (replaced) [pdf, ps, other]
-
Title: An Overview of Low-Rank Structures in the Training and Adaptation of Large ModelsAuthors: Laura Balzano, Tianjiao Ding, Benjamin D. Haeffele, Soo Min Kwon, Qing Qu, Peng Wang, Zhangyang Wang, Can YarasComments: Authors are listed alphabetically; 37 pages, 15 figures; minor revision at IEEE Signal Processing MagazineSubjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Optimization and Control (math.OC); Computation (stat.CO); Machine Learning (stat.ML)
- [281] arXiv:2503.22366 (replaced) [pdf, ps, other]
-
Title: Conditional Extreme Value Estimation for Dependent Time SeriesJournal-ref: Bladt, M., Glargaard, L. & Henningsen, T. Conditional extreme value estimation for dependent time series. Extremes (2026)Subjects: Statistics Theory (math.ST)
- [282] arXiv:2504.03139 (replaced) [pdf, ps, other]
-
Title: Gopakumar-Vafa invariants associated to $cA_n$ singularitiesAuthors: Hao ZhangComments: Revised version. Numerous improvements to proofs and notationSubjects: Algebraic Geometry (math.AG)
- [283] arXiv:2504.09464 (replaced) [pdf, ps, other]
-
Title: Some Geometric Aspects Related to Lim's ConditionComments: Previous version was named as Lim's condition and differentiability. The new file consists of the discussion from a different viewpoint and some new results like the equivalence of property $(\ddagger)$ and Lim's condition in $C^*$-algebras have been obtainedSubjects: Functional Analysis (math.FA)
- [284] arXiv:2504.16299 (replaced) [pdf, ps, other]
-
Title: Towards Quantum Universal Hypothesis TestingComments: Accepted at ITW 2025Journal-ref: Published in: ITW 2025Subjects: Information Theory (cs.IT); Quantum Physics (quant-ph)
- [285] arXiv:2504.17477 (replaced) [pdf, ps, other]
-
Title: Mean convergence rates for Gaussian-smoothed Wasserstein distances and classical Wasserstein distancesSubjects: Probability (math.PR)
- [286] arXiv:2505.04049 (replaced) [pdf, ps, other]
-
Title: A piezoelectric beam model with nonlinear interior dampings and supercritical sourcesComments: 50 pagesSubjects: Analysis of PDEs (math.AP)
- [287] arXiv:2505.04283 (replaced) [pdf, ps, other]
-
Title: On multiplicities of interpoint distancesComments: 11 pages, 4 figures, minor typos correctedSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [288] arXiv:2505.04494 (replaced) [pdf, ps, other]
-
Title: A Two-Timescale Primal-Dual Framework for Reinforcement Learning via Online Dual Variable GuidanceComments: 54 pages, 1 figure; Revised version with additional finite-time convergence resultsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [289] arXiv:2505.06927 (replaced) [pdf, ps, other]
-
Title: Stability Regularized Cross-ValidationComments: Some of this material previously appeared in 2306.14851v2, which we have split into two papers (this one and 2306.14851v3), because it contained two ideas that need separate papersSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [290] arXiv:2505.08677 (replaced) [pdf, ps, other]
-
Title: Evolving genealogies in cultural evolution, the descendant process, and the number of cultural traitsComments: 46 pages, 16 figuresJournal-ref: Theor. Popul. Biol. 168 (2026) 1-18Subjects: Populations and Evolution (q-bio.PE); Probability (math.PR)
- [291] arXiv:2505.11345 (replaced) [pdf, ps, other]
-
Title: Long-Term Average Impulse Control with Mean Field InteractionsSubjects: Optimization and Control (math.OC); Probability (math.PR)
- [292] arXiv:2505.12387 (replaced) [pdf, ps, other]
-
Title: Neural Thermodynamics: Entropic Forces in Deep and Universal Representation LearningComments: Published at NeurIPS 2025Subjects: Machine Learning (cs.LG); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Neurons and Cognition (q-bio.NC); Machine Learning (stat.ML)
- [293] arXiv:2505.12940 (replaced) [pdf, ps, other]
-
Title: Multi-Level Monte Carlo Training of Neural OperatorsComments: Accepted in Computer Methods in Applied Mechanics and EngineeringSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
- [294] arXiv:2505.15543 (replaced) [pdf, ps, other]
-
Title: Heavy-tailed and Horseshoe priors for regression and sparse Besov ratesComments: 36 pages, 6 figuresSubjects: Statistics Theory (math.ST)
- [295] arXiv:2505.15964 (replaced) [pdf, ps, other]
-
Title: Bad approximability, bounded ratios and Diophantine exponentsComments: This version is corrected in accordance with referee's reportSubjects: Number Theory (math.NT)
- [296] arXiv:2505.16644 (replaced) [pdf, ps, other]
-
Title: Learning non-equilibrium diffusions with Schrödinger bridges: from exactly solvable to simulation-freeComments: 10 pages, 5 figures, NeurIPS 2025Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
- [297] arXiv:2505.17961 (replaced) [pdf, ps, other]
-
Title: Federated Causal Inference from Multi-Site Observational Data via Propensity Score AggregationSubjects: Methodology (stat.ME); Artificial Intelligence (cs.AI); Statistics Theory (math.ST); Applications (stat.AP)
- [298] arXiv:2506.02317 (replaced) [pdf, ps, other]
-
Title: Period matrices and homological quasi-trees on discrete Riemann surfacesComments: 30 pages, 4 figure. Examples added in the revisionSubjects: Complex Variables (math.CV); Mathematical Physics (math-ph); Combinatorics (math.CO); Geometric Topology (math.GT)
- [299] arXiv:2506.02530 (replaced) [pdf, ps, other]
-
Title: Strongly regular and strongly walk-regular graphs that admit perfect state transferComments: 21 pages,Subjects: Combinatorics (math.CO); Quantum Physics (quant-ph)
- [300] arXiv:2506.04883 (replaced) [pdf, ps, other]
-
Title: On the number of divisors of Mersenne numbersComments: 13 pages, 5 figures, 2 tables; v4: incorporated editorial suggestionsSubjects: Number Theory (math.NT)
- [301] arXiv:2506.08848 (replaced) [pdf, ps, other]
-
Title: Low degree subvarieties of universal hypersurfacesComments: accepted for publication in Crelle's journalSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
- [302] arXiv:2506.19148 (replaced) [pdf, ps, other]
-
Title: On complete integral closedness of the $p$-adic completion of absolute integral closureComments: 15 pages, minor updates, final versionSubjects: Commutative Algebra (math.AC)
- [303] arXiv:2506.20074 (replaced) [pdf, ps, other]
-
Title: A Family of Berndt-Type Integrals and Associated Barnes Multiple Zeta FunctionsSubjects: Mathematical Physics (math-ph); Number Theory (math.NT)
- [304] arXiv:2506.20498 (replaced) [pdf, ps, other]
-
Title: The Steklov Spectrum of Spherical CylindersAuthors: Spencer BullentComments: 38 pages, 1 figure. Version 1Subjects: Spectral Theory (math.SP)
- [305] arXiv:2506.23559 (replaced) [pdf, ps, other]
-
Title: On Exponential Instability of an Inverse Problem for the Wave EquationComments: 13 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
- [306] arXiv:2507.14773 (replaced) [pdf, ps, other]
-
Title: Poor man's transcendence for Frobenius traces of elliptic curvesComments: 3 pagesSubjects: Number Theory (math.NT)
- [307] arXiv:2507.18554 (replaced) [pdf, ps, other]
-
Title: How weak are weak factors? Uniform inference for signal strength in signal plus noise modelsComments: 76 pages, 6 figures. v2: extended discussion and additional referencesSubjects: Methodology (stat.ME); Econometrics (econ.EM); Probability (math.PR); Statistics Theory (math.ST)
- [308] arXiv:2507.20734 (replaced) [pdf, ps, other]
-
Title: Degeneracy slopes, boundary slopes and exceptional surgery slopesAuthors: Kazuhiro IchiharaComments: 13 pages. ver.2, Corollary 2 is corrected, and a reference about Theorem 2 is added. ver. 3, dedication added, minor changesSubjects: Geometric Topology (math.GT)
- [309] arXiv:2507.21399 (replaced) [pdf, ps, other]
-
Title: $\mathfrak{G}$-Quotients of Grassmannians and EquationsAuthors: Yi HuComments: Subsection 5b is substantially revised, enhancing and clarifying several key points. A new Section 6 is added. 71 pagesSubjects: Algebraic Geometry (math.AG)
- [310] arXiv:2508.03348 (replaced) [src]
-
Title: Global smooth solutions of 2-D quadratically quasilinear wave equations with null conditions in exterior domains, IIComments: This work has been merged with arXiv:2411.06984Subjects: Analysis of PDEs (math.AP)
- [311] arXiv:2508.07159 (replaced) [pdf, ps, other]
-
Title: Queue Replacement Approach to Dynamic User Equilibrium Assignment with Route and Departure Time ChoiceComments: 29 pages, 18 figuresSubjects: Optimization and Control (math.OC)
- [312] arXiv:2508.13232 (replaced) [pdf, ps, other]
-
Title: On Modeling and Solving the Boltzmann EquationAuthors: Liliane Basso BarichelloSubjects: Mathematical Physics (math-ph); Numerical Analysis (math.NA)
- [313] arXiv:2508.18044 (replaced) [pdf, ps, other]
-
Title: Diophantine approximation with sums of two squares IIComments: This is a reworked version. We have managed to establish the same result by simpler means, resulting in a reduction of pages from 17 to 15Subjects: Number Theory (math.NT)
- [314] arXiv:2508.19264 (replaced) [pdf, ps, other]
-
Title: The Variance Paradox: How AI Reduces Diversity but Increases NoveltyAuthors: Bijean GhafouriSubjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Information Theory (cs.IT)
- [315] arXiv:2508.20598 (replaced) [pdf, ps, other]
-
Title: Free energy of the Coulomb gas in the determinantal case on Riemann surfacesAuthors: Lucas Bourgoin (IRMA)Subjects: Differential Geometry (math.DG); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [316] arXiv:2509.05843 (replaced) [pdf, ps, other]
-
Title: Uniformly S-pseudo-injective modulesSubjects: Commutative Algebra (math.AC)
- [317] arXiv:2509.08936 (replaced) [pdf, ps, other]
-
Title: Quasi-Trefftz spaces for a first-order formulation of the Helmholtz equationSubjects: Numerical Analysis (math.NA)
- [318] arXiv:2509.12417 (replaced) [pdf, ps, other]
-
Title: Lattice isomorphic Banach lattices of polynomialsComments: 20 pagesSubjects: Functional Analysis (math.FA)
- [319] arXiv:2509.14300 (replaced) [pdf, ps, other]
-
Title: Computing fault-tolerant metric dimension of graphs using their primary subgraphsSubjects: Combinatorics (math.CO)
- [320] arXiv:2509.14763 (replaced) [pdf, ps, other]
-
Title: Large-order perturbation theory of linear eigenvalue problemsAuthors: Stephen Jonathan ChapmanComments: 5 figuresSubjects: Classical Analysis and ODEs (math.CA); General Relativity and Quantum Cosmology (gr-qc); Quantum Physics (quant-ph)
- [321] arXiv:2509.15069 (replaced) [pdf, ps, other]
-
Title: Efficient Computation of Time-Index Powered Weighted Sums Using Cascaded AccumulatorsComments: This work has been submitted to the IEEE for possible publicationSubjects: Signal Processing (eess.SP); Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA)
- [322] arXiv:2509.17382 (replaced) [src]
-
Title: Bias-variance Tradeoff in Tensor EstimationAuthors: Shivam Kumar, Haotian Xu, Carlos Misael Madrid Padilla, Yuehaw Khoo, Oscar Hernan Madrid Padilla, Daren WangComments: We are withdrawing the paper in order to update it with more consistent results and improved presentation. We plan to strengthen the analysis and ensure that the results are aligned more clearly throughout the manuscriptSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
- [323] arXiv:2509.19491 (replaced) [pdf, ps, other]
-
Title: Martingale Projections and Quantum DecoherenceComments: 21 pagesSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Probability (math.PR)
- [324] arXiv:2509.24894 (replaced) [pdf, ps, other]
-
Title: Improved Stochastic Optimization of LogSumExpComments: 17 pages, 5 figures, 2 tables; updated experiment in subsection 3.3Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [325] arXiv:2509.26096 (replaced) [pdf, ps, other]
-
Title: EVODiff: Entropy-aware Variance Optimized Diffusion InferenceComments: NeurIPS 2025, 41 pages, 14 figuresSubjects: Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [326] arXiv:2509.26240 (replaced) [pdf, ps, other]
-
Title: A Single-Loop Gradient Algorithm for Pessimistic Bilevel Optimization via Smooth ApproximationSubjects: Optimization and Control (math.OC)
- [327] arXiv:2510.00888 (replaced) [pdf, ps, other]
-
Title: Compactness of conformal metrics with constant $Q$-curvature of higher orderComments: One inconsequential typo corrected in V2 (there was an additional term in $\mathcal{R}(r;u)$ in p.29 that cancels in the proof)Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
- [328] arXiv:2510.01294 (replaced) [pdf, ps, other]
-
Title: On the variety of general position problems under vertex and edge removalSubjects: Combinatorics (math.CO)
- [329] arXiv:2510.03961 (replaced) [pdf, ps, other]
-
Title: Abnormal boundary decay for stable operatorsComments: 46 pages. Revised version; accepted for publication in the Journal of Differential EquationsSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
- [330] arXiv:2510.04995 (replaced) [pdf, ps, other]
-
Title: Power Transform Revisited: Numerically Stable, and FederatedComments: 24 pages, 17 figures, 4 tables. AISTATS 2026. Project page see this https URLSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
- [331] arXiv:2510.10000 (replaced) [pdf, ps, other]
-
Title: Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural NetworksSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [332] arXiv:2510.20728 (replaced) [pdf, ps, other]
- [333] arXiv:2510.25710 (replaced) [pdf, ps, other]
-
Title: The complex of $r$-co-connected subgraphs, chordality and Fröberg's theoremComments: 35 pages, 3 figures. Comments are welcomeSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
- [334] arXiv:2510.26820 (replaced) [pdf, ps, other]
-
Title: Dynamics of stochastic oscillator chains with harmonic and FPUT potentialsSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Probability (math.PR)
- [335] arXiv:2511.01467 (replaced) [pdf, ps, other]
-
Title: Quantum Information Ordering and Differential PrivacyComments: 36 pages, 2 figures; Significant revision: This manuscript has been restructured to focus exclusively on Quantum Information Ordering and Privacy definitions. The results regarding Stability, which appeared in earlier versions of this preprint, have been moved to a separate companion paper: arXiv:2602.01177Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Machine Learning (cs.LG)
- [336] arXiv:2511.03500 (replaced) [pdf, ps, other]
-
Title: An injective Model for Twisted Derived Categories and Curved Koszul TrialitySubjects: Category Theory (math.CT)
- [337] arXiv:2511.03804 (replaced) [pdf, ps, other]
-
Title: Kenyon's identities for the height function and compactified free field in the dimer modelAuthors: Mikhail BasokSubjects: Mathematical Physics (math-ph)
- [338] arXiv:2511.04188 (replaced) [pdf, ps, other]
- [339] arXiv:2511.05098 (replaced) [pdf, ps, other]
-
Title: On global regular axially-symmetric solutions to the Navier-Stokes equations in a cylinderComments: arXiv admin note: substantial text overlap with arXiv:2507.14964, arXiv:2405.16670, arXiv:2501.18302Subjects: Analysis of PDEs (math.AP)
- [340] arXiv:2511.05674 (replaced) [pdf, ps, other]
-
Title: On $\{k\}$-Roman graphs: complexity of recognition and the case of split graphsAuthors: Kenny Bešter Štorgel, Nina Chiarelli, Lara Fernández, J. Pascal Gollin, Claire Hilaire, Valeria Leoni, Martin MilaničComments: An extended abstract of this work was accepted for the proceedings of the XIII Latin American Algorithms, Graphs, and Optimization Symposium (LAGOS 2025)Subjects: Combinatorics (math.CO)
- [341] arXiv:2511.09517 (replaced) [pdf, ps, other]
-
Title: From Cannings model to Brownian motion conditioned on local time profileComments: 50 pages, 3 figuresSubjects: Probability (math.PR)
- [342] arXiv:2511.10290 (replaced) [pdf, ps, other]
-
Title: The Askey--Wilson algebras, the Lie algebra $\mathfrak{so}_{3}$, and their fermionic realizationsAuthors: Hau-Wen HuangComments: 31 pagesSubjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph)
- [343] arXiv:2511.10718 (replaced) [pdf, ps, other]
-
Title: Online Price Competition under Generalized Linear DemandsSubjects: Computer Science and Game Theory (cs.GT); Statistics Theory (math.ST); Methodology (stat.ME)
- [344] arXiv:2511.12284 (replaced) [pdf, ps, other]
-
Title: Leading terms of relations on a level 5 module over the twisted affine Lie algebra $A_2^{(2)}$Comments: 15 pages, submitted to a Special Volume in honor of Jim Lepowsky's 80th birthdaySubjects: Combinatorics (math.CO); Representation Theory (math.RT)
- [345] arXiv:2511.12323 (replaced) [pdf, ps, other]
-
Title: Computational and Categorical Frameworks of Finite Ternary $Γ$-Semirings: Foundations, Algorithms, and Industrial Modeling ApplicationsAuthors: Chandrasekhar Gokavarapu (Lecturer in Mathematics, Government College (A), Rajahmundry, A.P., India & Research Scholar, Department of Mathematics, Acharya Nagarjuna University, Guntur, A.P., India), Dr D Madhusudhana Rao (Lecturer in Mathematics, Government College For Women (A), Guntur, Andhra Pradesh, India, & Research Supervisor, Dept. of Mathematics, Acharya Nagarjuna University, Guntur, A.P., India)Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO)
- [346] arXiv:2511.15867 (replaced) [pdf, ps, other]
-
Title: On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theoryAuthors: Akihiko AraiSubjects: Operator Algebras (math.OA); Logic (math.LO)
- [347] arXiv:2511.16420 (replaced) [pdf, ps, other]
-
Title: A Fast Relax-and-Round Approach to Unit Commitment for Data Center Own GenerationComments: Limited to 5 pages and this format for IEEE PESGM conferenceSubjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
- [348] arXiv:2511.21173 (replaced) [pdf, ps, other]
-
Title: Scales of Fréchet means and Karcher quasi-arithmetic meansAuthors: Frank NielsenComments: 14 pages, 1 figureSubjects: Computational Geometry (cs.CG); Information Theory (cs.IT)
- [349] arXiv:2511.22358 (replaced) [pdf, ps, other]
-
Title: On Universal Graphs for Trees and Tree-Like GraphsComments: v4: minor technical revisions, slight improvement to treewidth boundSubjects: Combinatorics (math.CO)
- [350] arXiv:2511.22600 (replaced) [pdf, ps, other]
-
Title: b-divisorial valuations and Berkovich positivity functionsComments: Minor expository and bibliographic changes. 40 pages. Comments very welcome!Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
- [351] arXiv:2512.02537 (replaced) [pdf, ps, other]
-
Title: Numerical Verification of PolyDG Algebraic Solvers for the Pseudo-Stress Stokes ProblemSubjects: Numerical Analysis (math.NA)
- [352] arXiv:2512.13614 (replaced) [pdf, ps, other]
-
Title: Quantum channel tomography and estimation by local testComments: 22 pages; v2: revised the Discussion sectionSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
- [353] arXiv:2512.16825 (replaced) [pdf, ps, other]
-
Title: Quantum spheres as Leavitt path algebras: Quivers with Quantum Yang-Baxter equation, and Hecke conditionSubjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA); Representation Theory (math.RT)
- [354] arXiv:2512.17458 (replaced) [pdf, ps, other]
-
Title: The center of the BMW algebras and an Okounkov-Vershik like approachAuthors: Christoforos MilionisComments: v.2 minor changes. Comments welcome!Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
- [355] arXiv:2512.19893 (replaced) [pdf, ps, other]
-
Title: A generic transformation is invertibleAuthors: Tanja EisnerComments: 6 pages, result improved using a different methodSubjects: Dynamical Systems (math.DS); Functional Analysis (math.FA)
- [356] arXiv:2512.25057 (replaced) [pdf, ps, other]
-
Title: The Logical Structure of Physical Laws: A Fixed Point ReconstructionAuthors: Eren Volkan KüçükSubjects: History and Philosophy of Physics (physics.hist-ph); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Logic (math.LO)
- [357] arXiv:2601.02642 (replaced) [pdf, ps, other]
-
Title: Quasiconvexity in the Riemannian settingSubjects: Analysis of PDEs (math.AP)
- [358] arXiv:2601.03107 (replaced) [pdf, ps, other]
-
Title: On the monotonicity of the entropy production in the Landau-Maxwell equationAuthors: Côme TabarySubjects: Analysis of PDEs (math.AP)
- [359] arXiv:2601.03548 (replaced) [pdf, ps, other]
-
Title: Improving bounds for value sets of polynomials over finite fieldsComments: 17 pages, 1 figure, corrected typos, added clarifications, result basically unchangedSubjects: Number Theory (math.NT)
- [360] arXiv:2601.07057 (replaced) [pdf, ps, other]
-
Title: Idempotents and Powers of Ideals in Quandle RingsComments: 16 pages. Added reference [26] and edited Examples 5.1. Comments are welcomeSubjects: Rings and Algebras (math.RA); Group Theory (math.GR)
- [361] arXiv:2601.07112 (replaced) [pdf, ps, other]
-
Title: Center-freeness of finite-step solvable groups arising from anabelian geometryAuthors: Naganori YamaguchiComments: 16 pagesSubjects: Group Theory (math.GR); Algebraic Geometry (math.AG)
- [362] arXiv:2601.07265 (replaced) [pdf, ps, other]
-
Title: Integrable Stochastic Processes Associated with the $D_2$ AlgebraSubjects: Mathematical Physics (math-ph)
- [363] arXiv:2601.09325 (replaced) [pdf, ps, other]
-
Title: Emergent order spectrum for transitive homeomorphismsSubjects: Dynamical Systems (math.DS)
- [364] arXiv:2601.09392 (replaced) [pdf, ps, other]
-
Title: The wanted extension of Fujii and Tsurumaru's formula for the spectral radius of the Bell-CHSH operatorComments: 16 pages, 7 figures This version differs from v2 only in that the unfortunate labeling caused there by a compilation problem is fixedSubjects: Functional Analysis (math.FA)
- [365] arXiv:2601.10028 (replaced) [pdf, ps, other]
-
Title: Fundamental Limits of Coded Polynomial AggregationComments: 7 pages, 1 figureSubjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC)
- [366] arXiv:2601.12453 (replaced) [pdf, ps, other]
-
Title: Unbounded banded matrices, shifted positive bidiagonal factorizations, and mixed-type multiple orthogonalitySubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph)
- [367] arXiv:2601.15138 (replaced) [pdf, ps, other]
-
Title: Inequalities of Miyaoka-Yau type $\&$ Uniformisation of varieties of intermediate Kodaira DimensionAuthors: Niklas MüllerComments: 40 pages, Comments are still very welcome! v.2: Corrected some typosSubjects: Algebraic Geometry (math.AG)
- [368] arXiv:2601.17490 (replaced) [pdf, ps, other]
-
Title: Smooth Fractal Trees: Analytic Generators and Discrete EquivalenceAuthors: Henk MulderComments: Clarified scope and framing; no changes to resultsSubjects: Dynamical Systems (math.DS); Computational Geometry (cs.CG); Differential Geometry (math.DG)
- [369] arXiv:2601.17748 (replaced) [pdf, ps, other]
-
Title: Logarithmic Sobolev inequality in manifolds with nonnegative curvature via the ABP methodAuthors: Lingen LuComments: All comments are welcome!Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
- [370] arXiv:2601.19274 (replaced) [pdf, ps, other]
-
Title: Variable Elliptic Structures on the Plane: Transport Dynamics, Rigidity, and Function TheoryAuthors: Daniel Alayón-SolarzComments: Work in progress. Added appendices and presentation as well as stylistic improvements. Comments and corrections are welcomeSubjects: Complex Variables (math.CV); Analysis of PDEs (math.AP)
- [371] arXiv:2601.19283 (replaced) [pdf, ps, other]
-
Title: Secondary terms in the distribution of genus numbers of cubic fieldsAuthors: Tatsuya YamadaComments: Corrected coefficients in Theorem 2.1 and the derived results (including the main theorems). Also simplified the arguments by removing the unnecessary twisting by quadratic charactersSubjects: Number Theory (math.NT)
- [372] arXiv:2601.19418 (replaced) [pdf, ps, other]
-
Title: Dismantling the Surprise Test "Paradox"Authors: Martin DietzfelbingerComments: 49 pagesSubjects: Logic (math.LO)
- [373] arXiv:2601.21442 (replaced) [pdf, ps, other]
-
Title: Irrationality of rapidly converging series: a problem of Erdős and GrahamComments: The raw output directory is specified; minor additional remarks; simplified abstractSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)
- [374] arXiv:2601.21588 (replaced) [pdf, ps, other]
-
Title: Explicit Construction of Maass Wave Forms and Their Petersson Inner ProductsAuthors: Daichi TanakaSubjects: Number Theory (math.NT); Representation Theory (math.RT)
- [375] arXiv:2601.22370 (replaced) [pdf, ps, other]
-
Title: Operator Splitting with Hamilton-Jacobi-based ProximalsComments: 27 pages, 5 Figures. arXiv admin note: substantial text overlap with arXiv:2509.07914Subjects: Optimization and Control (math.OC)
- [376] arXiv:2601.22413 (replaced) [pdf, ps, other]
- [377] arXiv:2601.22940 (replaced) [pdf, ps, other]
-
Title: Local well-posedness and blow-up for the restricted fourth-order Prandtl equationAuthors: Ik Hyun ChoiComments: 30 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
- [378] arXiv:2602.00118 (replaced) [pdf, ps, other]
-
Title: A Structural Characterization of the Hit Image in the Motivic Steenrod AlgebraAuthors: Dang Vo PhucComments: 14 pages. Comments are welcome!Subjects: Algebraic Topology (math.AT)
- [379] arXiv:2602.00206 (replaced) [pdf, ps, other]
-
Title: A $p$-adic ($p\equiv 3\!\!\pmod 4$) depth-$5$ supercongruence for Gaussian $p$-th power sums over a squareSubjects: General Mathematics (math.GM)
- [380] arXiv:2602.00284 (replaced) [pdf, ps, other]
-
Title: Remarks on Dirac-Bergmann algorithm, Dirac's conjecture and the extended HamiltonianAuthors: Kirill RusskovComments: 19 pages, prepared as a contribution to the VIII International Conference "Models in Quantum Field Theory" (MQFT-2025) dedicated to professor Alexander Nikolaevich Vasiliev, Saint Petersburg, Russia, 6-10 October 2025, minor correctionsSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
- [381] arXiv:2602.00872 (replaced) [pdf, ps, other]
-
Title: Learning Heat-based Equations in Self-similar variablesSubjects: Machine Learning (cs.LG); Mathematical Physics (math-ph)
- [382] arXiv:2602.00906 (replaced) [pdf, ps, other]
-
Title: Hallucination is a Consequence of Space-Optimality: A Rate-Distortion Theorem for Membership TestingSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
- [383] arXiv:2602.01168 (replaced) [pdf, ps, other]
-
Title: Large deviations for sums of multivariate stretched-exponential random variables: the few-big-jumps principleSubjects: Probability (math.PR)
- [384] arXiv:2602.01377 (replaced) [pdf, ps, other]
-
Title: Approximating Univariate Factored Distributions via Message-Passing AlgorithmsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
- [385] arXiv:2602.01882 (replaced) [pdf, ps, other]
-
Title: The price of homogeneity is polynomialComments: 49 pages, 18 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [386] arXiv:2602.01926 (replaced) [pdf, ps, other]
-
Title: Local bounds for nonlinear higher-order vector fields for the p-Laplace equationSubjects: Analysis of PDEs (math.AP)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2602, contact, help (Access key information)