Mathematics
See recent articles
Showing new listings for Friday, 21 February 2025
- [1] arXiv:2502.13993 [pdf, html, other]
-
Title: Noise-driven Synchronization of Vicsek Model in MeanSubjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS); Optimization and Control (math.OC); Adaptation and Self-Organizing Systems (nlin.AO)
The Vicsek model has long stood as a pivotal framework in exploring collective behavior and self-organization, captivating the scientific community with its compelling dynamics. However, understanding how noise influences synchronization within this model and its associated phase transition characteristics has presented significant challenges. While numerous studies have focused on simulations due to the model's mathematical complexity, comprehensive theoretical analyses remain sparse. In this paper, we deliver a rigorous mathematical proof demonstrating that for any initial configuration of the Vicsek model, there exists a bound on noise amplitude such that if the noise amplitude is maintained within this bound, the system will achieve synchronization in mean. This finding not only lays a solid mathematical groundwork for the Vicsek model's phase transition theory but also underscores the critical role of noise in collective dynamics, enhancing our understanding of self-organizing systems in stochastic environments.
- [2] arXiv:2502.14015 [pdf, other]
-
Title: The Weighted Grand Herz-Morrey-Lizorkin-Triebel Spaces with Variable ExponentsComments: arXiv admin note: text overlap with arXiv:2502.13848Subjects: Functional Analysis (math.FA)
Let a vector-valued sublinear operator satisfy the size condition and be bounded on weighted Lebesgue spaces with variable exponent. Then we obtain its boundedness on weighted grand Herz-Morrey spaces with variable exponents. Next we introduce weighted grand Herz-Morrey-Triebel-Lizorkin spaces with variable exponents and provide their equivalent quasi-norms via maximal functions.
- [3] arXiv:2502.14016 [pdf, html, other]
-
Title: Exploring Triality Explicitly: Convenient bases for $\mathrm{SO}(8)$, $\mathrm{Spin}(1, 7)$, and $\mathrm{G}_2$Comments: 15 pagesSubjects: Representation Theory (math.RT); Mathematical Physics (math-ph)
The property of triality only appears in one linear simple Lie algebra: $D_4$, a.k.a. $\mathfrak{so}(8, \mathbb{C})$. Though often explored in abstract, it is desirable to have an explicit realization of the concept since there are no other linear examples to gain intuition from. In this paper several convenient representations and bases are constructed in order to facilitate the exploration of the three fold symmetry known as the triality of representations. In particular the three $8$ dimensional representations for the Euclidean and Lorentzian real forms of $\mathfrak{so}(8,\mathbb{C})$ are constructed, and the maps between representations are given in each case, respectively. It is also seen explicitly how $\mathfrak{g}_2 \subset \mathfrak{so}(8, \mathbb{R})$ arises as the intersection of non-conjugate $\mathfrak{spin}(7,\mathbb{R})$ sub-algebras, and also as the stabilizer of the outer automorphism group $\mathrm{Out}(\mathfrak{so}(8,\mathbb{R}))$. It is argued that $\mathfrak{spin}(1,7)$ is in some sense the more natural stage for triality to play out upon, and it is shown that triality can be seen to be simply the multiplication of bases by third roots of unity, just as dualities are often the application of second roots of unity upon Lie algebra bases. Once these are understood a short discussion is had about obstacles to a theory of triality which attempt to explain the three generations of matter via some form of triality.
- [4] arXiv:2502.14042 [pdf, other]
-
Title: Measure rigidity for generalized u-Gibbs states and stationary measures via the factorization methodComments: 278 pages, 4 figuresSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Geometric Topology (math.GT)
We obtain measure rigidity results for stationary measures of random walks generated by diffeomorphisms, and for actions of $\operatorname{SL}(2,\mathbb{R})$ on smooth manifolds. Our main technical result, from which the rest of the theorems are derived, applies also to the case of a single diffeomorphism or $1$-parameter flow and establishes extra invariance of a class of measures that we call ``generalized u-Gibbs states''.
- [5] arXiv:2502.14049 [pdf, html, other]
-
Title: Rectifiability of the singular strata for harmonic maps to Euclidean buildingsComments: 2 figuresSubjects: Differential Geometry (math.DG)
We define a natural notion of the singular strata for harmonic maps into $F$-connected complexes (which include locally finite Euclidean buildings), and prove the rectifiability of these strata. We additionally establish bounds on the Minkowski content for certain quantitative strata, following the rectifiable Reifenberg program of [NV17]. This builds on a result of the second author [D], which showed that the full singular set is $(n-2)$-rectifiable.
- [6] arXiv:2502.14053 [pdf, html, other]
-
Title: Goggin's corrected Kalman Filter: Guarantees and Filtering RegimesComments: 24 Pages, Single spacing, single columnSubjects: Information Theory (cs.IT)
In this paper we revisit a non-linear filter for {\em non-Gaussian} noises that was introduced in [1]. Goggin proved that transforming the observations by the score function and then applying the Kalman Filter (KF) to the transformed observations results in an asymptotically optimal filter. In the current paper, we study the convergence rate of Goggin's filter in a pre-limit setting that allows us to study a range of signal-to-noise regimes which includes, as a special case, Goggin's setting. Our guarantees are explicit in the level of observation noise, and unlike most other works in filtering, we do not assume Gaussianity of the noises.
Our proofs build on combining simple tools from two separate literature streams. One is a general posterior Cramér-Rao lower bound for filtering. The other is convergence-rate bounds in the Fisher information central limit theorem.
Along the way, we also study filtering regimes for linear state-space models, characterizing clearly degenerate regimes -- where trivial filters are nearly optimal -- and a {\em balanced} regime, which is where Goggin's filter has the most value. \footnote{This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible. - [7] arXiv:2502.14054 [pdf, html, other]
-
Title: A Low-Complexity Scheme for Multi-Message Private Information RetrievalComments: arXiv admin note: text overlap with arXiv:2208.13237Subjects: Information Theory (cs.IT)
Private Information Retrieval (PIR) is a fundamental problem in the broader fields of security and privacy. In recent years, the problem has garnered significant attention from the research community, leading to achievability schemes and converse results for many important PIR settings.
This paper focuses on the Multi-message Private Information Retrieval (MPIR) setting, where a user aims to retrieve \(D\) messages from a database of \(K\) messages, with identical copies of the database available on \(N\) remote servers. The user's goal is to maximize the download rate while keeping the identities of the retrieved messages private. Existing approaches to the MPIR problem primarily focus on either scalar-linear solutions or vector-linear solutions, the latter requiring a high degree of subpacketization. Furthermore, prior scalar-linear solutions are restricted to the special case of \(N = D+1\). This limitation hinders the practical adoption of these schemes, as real-world applications demand simple, easily implementable solutions that support a broad range of scenarios.
In this work, we present a solution for the MPIR problem, which applies to a broader range of system parameters and requires a limited degree of subpacketization. In particular, the proposed scheme applies to all values of \(N=DL+1\) for any integer \(L\geq 1\), and requires a degree of subpacketization \(L\). Our scheme achieves capacity when \(D\) divides \(K\), and in all other cases, its performance matches or comes within a small additive margin of the best-known scheme that requires a high degree of subpacketization. - [8] arXiv:2502.14056 [pdf, html, other]
-
Title: Quasimodular Asymptotics of Spherical IntegralsComments: 15 pages, no figuresSubjects: Combinatorics (math.CO); Mathematical Physics (math-ph); Number Theory (math.NT)
We show that the spherical integral of the Circular Unitary Ensemble converges in expectation to Euler's generating function for integer partitions, and that subleading corrections to this high-dimensional limit are quasimodular forms.
- [9] arXiv:2502.14057 [pdf, html, other]
-
Title: The Motzkin subproduct systemSubjects: Operator Algebras (math.OA); Quantum Algebra (math.QA)
We introduce a subproduct system of finite-dimensional Hilbert spaces using the Motzkin planar algebra and its Jones-Wenzl idempotents, which generalizes the Temperley-Lieb subproduct system of Habbestad and Neshveyev. We provide a description of the corresponding Toeplitz C$^*$-algebra as a universal C$^*$-algebra, defined in terms of generators and relations, and we highlight properties of its representation theory.
- [10] arXiv:2502.14069 [pdf, html, other]
-
Title: Finite sample bounds for barycenter estimation in geodesic spacesSubjects: Statistics Theory (math.ST); Probability (math.PR); Machine Learning (stat.ML)
We study the problem of estimating the barycenter of a distribution given i.i.d. data in a geodesic space. Assuming an upper curvature bound in Alexandrov's sense and a support condition ensuring the strong geodesic convexity of the barycenter problem, we establish finite-sample error bounds in expectation and with high probability. Our results generalize Hoeffding- and Bernstein-type concentration inequalities from Euclidean to geodesic spaces.
- [11] arXiv:2502.14079 [pdf, html, other]
-
Title: Population Dynamics Control with Partial ObservationsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
We study the problem of controlling population dynamics, a class of linear dynamical systems evolving on the probability simplex, from the perspective of online non-stochastic control. While Golowich this http URL. 2024 analyzed the fully observable setting, we focus on the more realistic, partially observable case, where only a low-dimensional representation of the state is accessible.
In classical non-stochastic control, inputs are set as linear combinations of past disturbances. However, under partial observations, disturbances cannot be directly computed. To address this, Simchowitz this http URL. 2020 proposed to construct oblivious signals, which are counterfactual observations with zero control, as a substitute. This raises several challenges in our setting: (1) how to construct oblivious signals under simplex constraints, where zero control is infeasible; (2) how to design a sufficiently expressive convex controller parameterization tailored to these signals; and (3) how to enforce the simplex constraint on control when projections may break the convexity of cost functions.
Our main contribution is a new controller that achieves the optimal $\tilde{O}(\sqrt{T})$ regret with respect to a natural class of mixing linear dynamic controllers. To tackle these challenges, we construct signals based on hypothetical observations under a constant control adapted to the simplex domain, and introduce a new controller parameterization that approximates general control policies linear in non-oblivious observations. Furthermore, we employ a novel convex extension surrogate loss, inspired by Lattimore 2024, to bypass the projection-induced convexity issue. - [12] arXiv:2502.14081 [pdf, html, other]
-
Title: Asymptotic invariants for fusion algebras associated with compact quantum groupsComments: 39 pagesSubjects: Operator Algebras (math.OA); Quantum Algebra (math.QA)
We introduce and study certain asymptotic invariants associated with fusion algebras (equipped with a dimension function), which arise naturally in the representation theory of compact quantum groups. Our invariants generalise the analogous concepts studied for classical discrete groups. Specifically we introduce uniform Følner constants and the uniform Kazhdan constant for a regular representation of a fusion algebra, and establish a relationship between these, amenability, and the exponential growth rate considered earlier by Banica and Vergnioux. Further we compute the invariants for fusion algebras associated with % discrete duals of quantum $SU_q(2)$ and $SO_q(3)$ and determine the uniform exponential growth rate for the fusion algebras of all $q$-deformations of semisimple, simply connected, compact Lie groups and for all free unitary quantum groups.
- [13] arXiv:2502.14097 [pdf, html, other]
-
Title: A comprehensive study of bound-states for the nonlinear Schrödinger equation on single-knot metric graphsComments: 36 pagesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
We study the existence and qualitative properties of action ground-states (that is, bound-states with minimal action) {of the nonlinear Schrödinger equation} over single-knot metric graphs -- which are made of half-lines, loops and pendants, all connected at a single vertex. First, we prove existence of action ground-state for generic single-knot graphs, even in the absence of an associated variational problem. Second, for regular single-knot graphs of length $\ell$, we perform a complete analysis of positive monotone bound-states. Furthermore, we characterize all positive bound-states when $\ell$ is small and prove some symmetry-breaking results for large $\ell$. Finally, we apply the results to some particular graphs to illustrate the complex relation between action ground-states and the topological {and metric} features of the underlying metric graph.
The proofs are nonvariational, using a careful phase-plane analysis, the study of sections of period functions, asymptotic estimates and blowup arguments. We show, in particular, how nonvariational techniques are complementary to variational ones in order to deeply understand bound-states of the nonlinear Schrödinger equation on metric graphs. - [14] arXiv:2502.14104 [pdf, html, other]
-
Title: A modified two-stage search framework for constrained multi-gradient descentSubjects: Optimization and Control (math.OC)
\cite{desideri2012multiple} proposed a multi-gradient descent algorithm (MGDA) that can improve all objectives based on seeking the minim norm point in the convex hull consisting of objectives function gradients as the common descent direction, which has become the cornerstone of the multi-musk learning and multi-objective optimization. However, the logic to seek a common descent direction through finding the minim-norm point in the gradient convex hull may fail under constraints, no matter whether taking the constraints into consideration directly or projecting it into the feasible region after finding the common descent direction with no constraints. Therefore, we proposed a two-stage search framework. In the first stage, a min-max search algorithm is implemented to minimize the upper bound of the directional derivatives under constraints, and the weak Pareto stationary can be theoretically reached in the first stage. In the second stage, the Pareto stationary can be theoretically obtained through the minimization of the lower bound of the directional derivatives under constraints. In numerical studies, we show the effectiveness of our proposed framework from the calibration of the multi-regime fundamental diagram model and large-scale multi-objective portfolio problem.
- [15] arXiv:2502.14109 [pdf, other]
-
Title: p-adic Borel extension for local Shimura varietiesComments: 25 pp, comments welcomeSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We show that the moduli spaces of Scholze's $p$-adic shtukas with framing satisfy a $p$-adic rigid analytic version of Borel's extension theorem. In particular, this holds for local Shimura varieties, for all local Shimura data $(G,[b],\{\mu\})$, even for exceptional groups $G$, and extends work of Oswal-Shankar-Zhu-Patel who proved a $p$-adic Borel extension property for Rapoport-Zink spaces. As a corollary, we deduce that all these spaces satisfy a $p$-adic rigid analytic version of Brody hyperbolicity.
- [16] arXiv:2502.14117 [pdf, html, other]
-
Title: Regularized interacting scalar quantum field theoriesComments: 35 pagesSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th)
In this paper we consider self interacting scalar quantum field theories over a $d$ dimensional Minkowski spacetime with various interaction Lagrangians which are suitable functions of the field. The interacting field observables are represented as power series over the free theory by means of perturbation theory. The object which is employed to obtain this power series is the time ordered exponential of the interaction Lagrangian which is the $S$-matrix of the theory and thus itself a power series in the coupling constant of the theory. We analyze a regularization procedure which makes the $S$-matrix convergent to well defined unitary operators. This regularization depends on two parameters. One describes how much the high frequency contributions in the propagators are tamed and a second one which describes how much the large field contributions are suppressed in the interaction Lagrangian. We finally discuss how to remove the parameters in lower dimensional theories and for specific interaction Lagrangians. In particular, we show that in three spacetime dimensions for a $\phi^4_3$ theory one obtains sequences of unitary operators which are weakly-$*$ convergent to suitable unitary operators in the limit of vanishing parameters. The coefficients of the asymptotic expansion in powers of the coupling constant of all the possible limit points coincide and furthermore agree with the predictions of perturbation theory. Finally we discuss how to extend these results to the case of a $\phi^4_4$ theory were the final results turns out to be very similar to the three dimensional case.
- [17] arXiv:2502.14134 [pdf, other]
-
Title: Additive Enrichment from CoderelictionsSubjects: Category Theory (math.CT)
Differential linear categories provide the categorical semantics of the multiplicative and exponential fragments of Differential Linear Logic. Briefly, a differential linear category is a symmetric monoidal category that is enriched over commutative monoids (called additive enrichment) and has a monoidal coalgebra modality that is equipped with a codereliction. The codereliction is what captures the ability of differentiating non-linear proofs via linearization in Differential Linear Logic. The additive enrichment plays an important role since it allows one to express the famous Leibniz rule. However, the axioms of a codereliction can be expressed without any sums or zeros. Therefore, it is natural to ask if one can consider a possible non-additive enriched version of differential linear categories. In this paper, we show that even if a codereliction can be technically defined in an non-additive setting, it nevertheless induces an additive enrichment via bialgebra convolution. Thus we obtain a novel characterization of a differential linear category as a symmetric monoidal category with a monoidal bialgebra modality equipped with a codereliction. Moreover, we also show that coderelictions are, in fact, unique. We also introduce monoidal Hopf coalgebra modalities and discuss how antipodes relate to enrichment over Abelian groups.
- [18] arXiv:2502.14141 [pdf, html, other]
-
Title: Gaining efficiency in deep policy gradient method for continuous-time optimal control problemsComments: 20 pages, 4 figuresSubjects: Optimization and Control (math.OC); Computational Finance (q-fin.CP)
In this paper, we propose an efficient implementation of deep policy gradient method (PGM) for optimal control problems in continuous time. The proposed method has the ability to manage the allocation of computational resources, number of trajectories, and complexity of architecture of the neural network. This is, in particular, important for continuous-time problems that require a fine time discretization. Each step of this method focuses on a different time scale and learns a policy, modeled by a neural network, for a discretized optimal control problem. The first step has the coarsest time discretization. As we proceed to other steps, the time discretization becomes finer. The optimal trained policy in each step is also used to provide data for the next step. We accompany the multi-scale deep PGM with a theoretical result on allocation of computational resources to obtain a targeted efficiency and test our methods on the linear-quadratic stochastic optimal control problem.
- [19] arXiv:2502.14152 [pdf, html, other]
-
Title: Retraction maps: A seed of geometric integrators. Part II: Symmetry and reductionSubjects: Numerical Analysis (math.NA); Symplectic Geometry (math.SG)
In this paper we use retraction and discretization maps (see [Barbero Liñán and Martín de Diego, 2022]) as a tool for deriving in a systematic way numerical integrators preserving geometric structures (such as symplecticity or Lie-Poisson structure), as well as methods that preserve symmetry and the associated discrete momentum map. The classical notion of a retraction map leads to the notion of discretization map extended here to the Lie algebroid of a Lie groupoid so that the configuration manifold is discretized, instead of the equations of motion. As a consequence, geometric integrators are obtained preserving the Lie-Poisson structure of the corresponding reduced system.
- [20] arXiv:2502.14159 [pdf, html, other]
-
Title: Homological properties of the module of differentialsComments: To appear in a volume dedicated to Wolmer VasconcelosSubjects: Commutative Algebra (math.AC)
These notes were produced by Jürgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then the ring must be complete intersection. The notes present an accessible and self-contained account of the strongest results known at the time in connection with these problems; this includes a number of ideas that have not appeared elsewhere. In the last section, Herzog turns his attention to the cotangent complex, and conjectures himself that if the cotangent complex of a local ring has bounded homology groups, then the ring must be complete intersection. Among other results, he proves that the conjecture holds for local rings of characteristic zero over which all modules have rational Poincaré series.
Sadly Jürgen Herzog passed away in April of 2024. The notes in this form have been prepared in his memory, newly typeset and lightly edited. A short appendix has been added to survey some of the results of the intervening decades. - [21] arXiv:2502.14174 [pdf, other]
-
Title: Weighted Low-rank Approximation via Stochastic Gradient Descent on ManifoldsSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
We solve a regularized weighted low-rank approximation problem by a stochastic gradient descent on a manifold. To guarantee the convergence of our stochastic gradient descent, we establish a convergence theorem on manifolds for retraction-based stochastic gradient descents admitting confinements. On sample data from the Netflix Prize training dataset, our algorithm outperforms the existing stochastic gradient descent on Euclidean spaces. We also compare the accelerated line search on this manifold to the existing accelerated line search on Euclidean spaces.
- [22] arXiv:2502.14188 [pdf, html, other]
-
Title: Small Gain Theorem-Based Robustness Analysis of Discrete-Time MJLSs with the Markov Chain on a Borel Space and Its Application to NCSsSubjects: Optimization and Control (math.OC)
This paper is concerned with the robustness of discrete-time Markov jump linear systems (MJLSs) with the Markov chain on a Borel space. For this general class of MJLSs, a small gain theorem is first established and subsequently applied to derive a lower bound of the stability radius. On this basis, with the aid of the extended bounded real lemma and Schur complements, the robust stability problems for the MJLSs are tackled via linear matrix inequality (LMI) techniques. The novel contribution, primarily founded on the scenario where the state space of the Markov chain is restricted in a continuous set, lies in the formulation of a griding approach. The approach converts the existence problem of solutions of an inequality related to $H_{\infty}$ analysis, which is an infinite-dimensional challenge, into a finite-dimensional LMI feasibility problem. As an application, within the framework of MJLSs, a robustness issue of the sampled-data systems is addressed by using a Markov chain, which is determined by the initial distribution and the stochastic kernel, to model transmission delays existing in networked control systems (NCSs). Finally, the feasibility of the results is verified through two examples.
- [23] arXiv:2502.14198 [pdf, html, other]
-
Title: Antenna Position and Beamforming Optimization for Movable Antenna Enabled ISAC: Optimal Solutions and Efficient AlgorithmsComments: 13 pages, 7 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In this paper, we propose an integrated sensing and communication (ISAC) system enabled by movable antennas (MAs), which can dynamically adjust antenna positions to enhance both sensing and communication performance for future wireless networks. To characterize the benefits of MA-enabled ISAC systems, we first derive the Cramér-Rao bound (CRB) for angle estimation error, which is then minimized for optimizing the antenna position vector (APV) and beamforming design, subject to a pre-defined signal-to-noise ratio (SNR) constraint to ensure the communication performance. In particular, for the case with receive MAs only, we provide a closed-form optimal antenna position solution, and show that employing MAs over conventional fixed-position antennas (FPAs) can achieve a sensing performance gain upper-bounded by 4.77 dB. On the other hand, for the case with transmit MAs only, we develop a boundary traversal breadth-first search (BT-BFS) algorithm to obtain the global optimal solution in the line-of-sight (LoS) channel scenario, along with a lower-complexity boundary traversal depth-first search (BT-DFS) algorithm to find a local optimal solution efficiently. While in the scenario with non-LoS (NLoS) channels, a majorization-minimization (MM) based Rosen's gradient projection (RGP) algorithm with an efficient initialization method is proposed to obtain stationary solutions for the considered problem, which can be extended to the general case with both transmit and receive MAs. Extensive numerical results are presented to verify the effectiveness of the proposed algorithms, and demonstrate the superiority of the considered MA-enabled ISAC system over conventional ISAC systems with FPAs in terms of sensing and communication performance trade-off.
- [24] arXiv:2502.14206 [pdf, other]
-
Title: Adaptive Mesh Refinement for Variational InequalitiesComments: 60 pages, 26 figures, 1 tableSubjects: Numerical Analysis (math.NA)
Variational inequalities play a pivotal role in a wide array of scientific and engineering applications. This project presents two techniques for adaptive mesh refinement (AMR) in the context of variational inequalities, with a specific focus on the classical obstacle problem.
We propose two distinct AMR strategies: Variable Coefficient Elliptic Smoothing (VCES) and Unstructured Dilation Operator (UDO). VCES uses a nodal active set indicator function as the initial iterate to a time-dependent heat equation problem. Solving a single step of this problem has the effect of smoothing the indicator about the free boundary. We threshold this smoothed indicator function to identify elements near the free boundary. Key parameters such as timestep and threshold values significantly influence the efficacy of this method.
The second strategy, UDO, focuses on the discrete identification of elements adjacent to the free boundary, employing a graph-based approach to mark neighboring elements for refinement. This technique resembles the dilation morphological operation in image processing, but tailored for unstructured meshes.
We also examine the theory of variational inequalities, the convergence behavior of finite element solutions, and implementation in the Firedrake finite element library. Convergence analysis reveals that accurate free boundary estimation is pivotal for solver performance. Numerical experiments demonstrate the effectiveness of the proposed methods in dynamically enhancing mesh resolution around free boundaries, thereby improving the convergence rates and computational efficiency of variational inequality solvers. Our approach integrates seamlessly with existing Firedrake numerical solvers, and it is promising for solving more complex free boundary problems. - [25] arXiv:2502.14210 [pdf, html, other]
-
Title: Sample Complexity of Linear Quadratic Regulator Without Initial StabilitySubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)
Inspired by REINFORCE, we introduce a novel receding-horizon algorithm for the Linear Quadratic Regulator (LQR) problem with unknown parameters. Unlike prior methods, our algorithm avoids reliance on two-point gradient estimates while maintaining the same order of sample complexity. Furthermore, it eliminates the restrictive requirement of starting with a stable initial policy, broadening its applicability. Beyond these improvements, we introduce a refined analysis of error propagation through the contraction of the Riemannian distance over the Riccati operator. This refinement leads to a better sample complexity and ensures improved convergence guarantees. Numerical simulations validate the theoretical results, demonstrating the method's practical feasibility and performance in realistic scenarios.
- [26] arXiv:2502.14213 [pdf, html, other]
-
Title: Asynchronous Stochastic Block Projection Algorithm for Solving Linear Systems under Predefined Communication PatternsComments: 24 pages, 5 figuresSubjects: Numerical Analysis (math.NA)
Distributed computation over networks is now receiving an increasing attention in many fields such as engineering and machine learning, where the solution of a linear system of equations is a basic task. This paper presents an asynchronous distributed randomized block Kaczmarz projection algorithm for solving large-scale linear systems over a multi-agent networks, where each agent only holds a part of the problem data. An event-triggered communication mechanism is integrated to minimize the communication overhead and reduce the overall communication costs. This communication mechanism allows each agent to update independently in an asynchronous environment and dynamically regulate communication frequency. In addition, this article analyzes the inefficiency caused by communication in asynchronous algorithms, explores the potential of event triggering mechanisms in alleviating these problems, and provides general conditions for global convergence in such environments. Moreover, a modified stochastic block Kaczmarz algorithm is used for each agent to update their local estimate. Through rigorous mathematical analysis, the exponential convergence rate of the proposed algorithm is established for a consistent system and its computational efficiency, robustness, and communication efficiency is validated through extensive numerical experiments. Furthermore, to address inconsistent systems, the algorithm introduces auxiliary variables to facilitate convergence toward an approximate least-squares solution, accompanied by a formal error analysis. The experimental results demonstrate that the algorithm maintains stability even under extreme asynchrony, communication failures, and node failures, while achieving significantly lower communication overhead and faster convergence rates compared to traditional methods.
- [27] arXiv:2502.14216 [pdf, html, other]
-
Title: Interior control for surfaces with positive scalar curvature and its applicationComments: 20 pages, comments welcomeSubjects: Differential Geometry (math.DG)
Let $M^n$, $n\in\{3,4,5\}$, be a closed aspherical $n$-manifold and $S\subset M$ a subset consisting of disjoint incompressible embedded closed aspherical submanifolds (possibly with different dimensions). When $n =3,4$, we show that $M\setminus S$ cannot admit any complete metric with positive scalar curvature. When $n=5$, we obtain the same result either when $S$ contains a submanifold of codimension 1 or 2, or when $S$ itself is a connected submaifold of codimension $\ge 3.$ The key ingredient is a new interior control for the extrinsic diameter of surfaces with positive scalar curvature.
- [28] arXiv:2502.14237 [pdf, html, other]
-
Title: Compactness of the $Q$-curvature problemSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We provide a complete resolution to the question of the $C^4$-compactness for the solution set of the constant $Q$-curvature problem on a smooth closed Riemannian manifold of dimension $5 \leq n \leq 24$. For dimensions $n\geq 25$, an example of an $L^{\infty}$-unbounded sequence of solutions for $n \geq 25$ has been known for over a decade (Wei-Zhao). On the other hand, Li-Xiong established compactness in dimensions $5\leq n \leq 9$ (under some conditions). Our principal observation is that the linearized equation associated with the $Q$-curvature problem can be transformed into an overdetermined linear system, which admits a nontrivial solution due to an unexpected algebraic structure of the Paneitz operator. This key insight plays a crucial role in extending the compactness result to higher dimensions.
- [29] arXiv:2502.14246 [pdf, html, other]
-
Title: Asymptotics of the occupation measure defined on a nonnegative matrix of two-dimensional quasi-birth-and-death typeComments: 23 pages, 4 figuresSubjects: Probability (math.PR)
We consider a nonnegative matrix having the same block structure as that of the transition probability matrix of a two-dimensional quasi-birth-and-death process (2d-QBD process for short) and define two kinds of measure for the nonnegative matrix. One corresponds to the mean number of visits to each state before the 2d-QBD process starting from the level zero returns to the level zero for the first time. The other corresponds to the probabilities that the 2d-QBD process starting from each state visits the level zero. We call the former the occupation measure and the latter the hitting measure. We obtain asymptotic properties of the occupation measure such as the asymptotic decay rate in an arbitrary direction. Those of the hitting measure can be obtained from the results for the occupation measure by using a kind of duality between the two measures.
- [30] arXiv:2502.14266 [pdf, html, other]
-
Title: Divisibility Relations Between Ring Homomorphisms and Surjective Group Homomorphisms in Finite Cyclic StructuresComments: 7 pagesSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
In this article, we delve into the intricate relationship between the number of ring homomorphisms and surjective group homomorphisms between two finite cyclic structures, specifically $\mathbb{Z}_m$ and $\mathbb{Z}_n$. We demonstrate that the number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$ is a divisor of the number of surjective group homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$, provided that $n$ is not of the form $2 \cdot \alpha$, where each prime factor $p$ of $\alpha$ satisfies $p \equiv 3 \pmod{4}$.
- [31] arXiv:2502.14269 [pdf, html, other]
-
Title: Anderson Accelerated Operator Splitting Methods for Convex-nonconvex Regularized ProblemsComments: 13 pages, 6 figuresSubjects: Optimization and Control (math.OC); Computation (stat.CO)
Convex-nonconvex (CNC) regularization is a novel paradigm that employs a nonconvex penalty function while maintaining the convexity of the entire objective function. It has been successfully applied to problems in signal processing, statistics, and machine learning. Despite its wide application, the computation of CNC regularized problems remains challenging and under-investigated. To fill the gap, we study several operator splitting methods and their Anderson accelerated counterparts for solving least squares problems with CNC regularization. We establish the global convergence of the proposed algorithm to an optimal point and demonstrate its practical speed-ups in various applications.
- [32] arXiv:2502.14274 [pdf, html, other]
-
Title: Categorification of Rainbow Paths on Odd Reflection Graphs through Homomorphisms between Verma SupermodulesComments: 32 pagesSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
We examine the interplay between different highest weight structures in the BGG category O of basic Lie superalgebras arising from distinct choices of Borel subalgebras-an aspect that has no analogous theory in the classical Lie algebra setting.
We describe the compositions of homomorphisms between Verma supermodules arising from different highest weight structure but sharing the same character. This requires us to define a class of edge-colored graphs, defined purely graph theoretically, by extracting the exchange property of odd reflections. As an application of these homomorphisms, we generalize results of Coulembier-Serganova and Chen-Mazorchuk concerning the associated varieties and projective dimensions of Verma supermodules. - [33] arXiv:2502.14284 [pdf, html, other]
-
Title: An efficient and accurate semi-implicit time integration scheme for dynamics in nearly- and fully-incompressible hyperelastic solidsSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
The choice of numerical integrator in approximating solutions to dynamic partial differential equations depends on the smallest time-scale of the problem at hand. Large-scale deformations in elastic solids contain both shear waves and bulk waves, the latter of which can travel infinitely fast in incompressible materials. Explicit schemes, which are favored for their efficiency in resolving low-speed dynamics, are bound by time step size restrictions that inversely scale with the fastest wave speed. Implicit schemes can enable larger time step sizes regardless of the wave speeds present, though they are much more computationally expensive. Semi-implicit methods, which are more stable than explicit methods and more efficient than implicit methods, are emerging in the literature, though their applicability to nonlinear elasticity is not extensively studied. In this research, we develop and investigate the functionality of two time integration schemes for the resolution of large-scale dynamics in nearly- and fully-incompressible hyperelastic solids: a Modified Semi-implicit Backward Differentiation Formula integrator (MSBDF2) and a forward Euler / Semi-implicit Backward Differentiation Formula Runge-Kutta integrator (FEBDF2). We prove and empirically verify second order accuracy for both schemes. The stability properties of both methods are derived and numerically verified. We find FEBDF2 has a maximum time step size that inversely scales with the shear wave speed and is unaffected by the bulk wave speed -- the desired stability property of a semi-implicit scheme. Finally, we empirically determine that semi-implicit schemes struggle to preserve volume globally when using nonlinear incompressibility conditions, even under temporal and spatial refinement.
- [34] arXiv:2502.14292 [pdf, html, other]
-
Title: Denjoy-Wolff like set for rational semigroupsComments: 11 pagesSubjects: Complex Variables (math.CV)
In this paper, we introduce the concept of Denjoy-Wolff set in rational semigroups. We show that for finitely generated Abelian rational semigroups, the Denjoy-Wolff like set is countable. Some results concerning the Denjoy-Wolff like set and the Julia set are also discussed. Then we consider a special class of rational semigroups and discuss various properties of Denjoy-Wolff like set for this class. We use the concept of Denjoy-Wolff like set to classify the class into 3 sub-classes. We also show that for any semigroup in this class, the semigroup can be partitioned into k partitions where k is the cardinality of the Denjoy-Wolff like set.
- [35] arXiv:2502.14304 [pdf, html, other]
-
Title: The unoriented band unknotting numbers of torus knotsComments: 19 pages, 27 figuresSubjects: Geometric Topology (math.GT)
The unoriented band unknotting number of a knot is the minimum number of oriented or non-oriented band surgeries that turn the knot into the unknot. Batson introduced a certain non-oriented band surgery for a torus knot. The minimum number of these operations required to turn a torus knot into the unknot is called the pinch number, and it can be easily calculated from the parameters of the torus knot. In this paper, we show that the unoriented band unknotting number and the pinch number coincide for torus knots. In the proof, we use the torsion order of the unoriented knot Floer homology.
- [36] arXiv:2502.14306 [pdf, html, other]
-
Title: Noetherianity of polynomial rings up to group actionsSubjects: Representation Theory (math.RT); Commutative Algebra (math.AC); Rings and Algebras (math.RA)
Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring with indeterminates parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to actions of permutation groups on $S$ satisfying certain combinatorial conditions. Moreover, there is a special linear order on every infinite $S$ such that $k[S]$ is Noetherian up to the action of the order-preserving permutation group, and the existence of such a linear order is equivalent to the Axiom of Choice. These Noetherian results are proved via a sheaf theoretic approach and the work of Nagel-Römer.
- [37] arXiv:2502.14308 [pdf, html, other]
-
Title: On the Lyapunov spectrum of the twisted cocycle for substitutionsComments: 16 pagesSubjects: Dynamical Systems (math.DS)
The paper is devoted to the properties of a complex matrix ``twisted,'' otherwise called ``spectral,'' cocycle, associated with substitution dynamical systems. Following a recent finding of Rajabzadeh and Safaee [arXiv:2501.16824] of an invariant section for the twisted cocycle, we indicate that this implies presence of a zero Lyapunov exponent. This has consequences for the spectral properties of substitution dynamical systems; in particular, this extends the scope and simplifies the proof of singular spectrum for a large class of substitutions on two symbols. We also obtain some results on positivity of the top exponent. In the appendix we compute the Lebesgue almost everywhere local dimension of spectral measures of some ``simple'' test functions, for almost every irrational rotation. This sheds some light on the earlier work of Bufetov and the author, relating the local dimension of spectral measures to pointwise Lyapunov exponents of the twisted cocycle. It should be noted that the paper has some (mutually acknowledged) overlap with [arXiv:2501.16824, Appendix].
- [38] arXiv:2502.14312 [pdf, html, other]
-
Title: Modelling Capillary Rise with a Slip Boundary Condition: Well-posedness and Long-time Dynamics of Solutions to Washburn's EquationIsidora Rapajić (1), Srboljub Simić (2), Endre Süli (3) ((1) Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia, (2) Department of Mathematics and Informatics, Faculty of Sciences, Trg Dositeja Obradovića 4, 21000 Novi Sad, Serbia, (3) Mathematical Institute, University of Oxford, Andrew Wiles Building, Woodstock Road, Oxford OX2 6GG, United Kingdom)Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
The aim of this paper is to extend Washburn's capillary rise equation by incorporating a slip condition at the pipe wall. The governing equation is derived using fundamental principles from continuum mechanics. A new scaling is introduced, allowing for a systematic analysis of different flow regimes. We prove the global-in-time existence and uniqueness of a bounded positive solution to Washburn's equation that includes the slip parameter, as well as the continuous dependence of the solution in the maximum norm on the initial data. Thus, the initial-value problem for Washburn's equation is shown to be well-posed in the sense of Hadamard. Additionally, we show that the unique equilibrium solution may be reached either monotonically or in an oscillatory fashion, similarly to the no-slip case. Finally, we determine the basin of attraction for the system, ensuring that the equilibrium state will be reached from the initial data we impose. These results hold for any positive value of the nondimensional slip parameter in the model, and for all values of the ratio $h_0/h_e$ in the range $[0,3/2]$, where $h_0$ is the initial height of the fluid column and $h_e$ is its equilibrium height.
- [39] arXiv:2502.14319 [pdf, html, other]
-
Title: Crystal Structure of Localized Quantum Unipotent Coordinate CategoryComments: 62 pagesSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
A localized quantum unipotent coordinate category $\widetilde{\mathscr{C}_w}$ associated with a Weyl group element $w$ is a rigid monoidal category which is obtained by applying the localization process to a subcategory of the category of finite-dimensional graded modules of a quiver Hecke algebra. We shall show that the family of the isomorphism classes (up to grading shifts) of simple objects in $\widetilde{\mathscr{C}_w}$ possesses a crystal structure and it is isomorphic to the cellular crystal associated with $w$. As an application of this result, we shall show the connectedness of the crystal graph of an arbitrary cellular crystal.
- [40] arXiv:2502.14329 [pdf, html, other]
-
Title: On linguistic subsets of groups and monoidsComments: 24 pages. Comments welcome!Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)
We study subsets of groups and monoids defined by language-theoretic means, generalizing the classical approach to the word problem. We expand on results by Herbst from 1991 to a more general setting, and for a class of languages $\mathbf{C}$ we define the classes of $\mathbf{C}^\forall$-flat and $\mathbf{C}^\exists$-flat groups. We prove several closure results for these classes of groups, prove a connection with the word problem, and characterize $\mathbf{C}^\forall$-flat groups for several classes of languages. In general, we prove that the class of $\mathbf{C}^\forall$-flat groups is a strict subclass of the class of groups with word problem in $\mathbf{C}$, including for the class $\mathrm{REC}$ of recursive languages, for which $\mathbf{C}^\forall$-flatness for a group resp. monoid is proved to be equivalent to the decidability of the subgroup membership problem resp. the submonoid membership problem. We provide a number of examples, including the Tarski monsters of Ol'shanskii, showing the difficulty of characterizing $\mathbf{C}^\exists$-flat groups. As an application of our general methods, we also prove in passing that if $\mathbf{C}$ is a full semi-$\mathrm{AFL}$, then the class of epi-$\mathbf{C}$ groups is closed under taking finite index subgroups. This answers a question recently posed by Al Kohli, Bleak & Elliot.
- [41] arXiv:2502.14330 [pdf, html, other]
-
Title: Fractional revival on quasi-abelian Cayley graphsComments: 16 pagesSubjects: Combinatorics (math.CO)
Fractional revival, a quantum transport phenomenon critical to entanglement generation in quantum spin networks, generalizes the notion of perfect state transfer on graphs. A Cayley graph $\mathrm{Cay}(G,S)$ is called quasi-abelian if its connection set $S$ is a union of conjugacy classes of the group $G$. In this paper, we establish a necessary and sufficient condition for quasi-abelian Cayley graphs to have fractional revival. This extends a result of Cao and Luo (2022) on the existence of fractional revival in Cayley graphs over abelian groups.
- [42] arXiv:2502.14331 [pdf, html, other]
-
Title: Clustering-based Low Rank Approximation MethodSubjects: Optimization and Control (math.OC)
We propose a clustering-based generalized low rank approximation method, which takes advantage of appealing features from both the generalized low rank approximation of matrices (GLRAM) and cluster analysis. It exploits a more general form of clustering generators and similarity metrics so that it is more suitable for matrix-structured data relative to conventional partitioning methods. In our approach, we first pre-classify the initial matrix collection into several small subset clusters and then sequentially compress the matrices within the clusters. This strategy enhances the numerical precision of the low-rank approximation. In essence, we combine the ideas of GLRAM and clustering into a hybrid algorithm for dimensionality reduction. The proposed algorithm can be viewed as the generalization of both techniques. Theoretical analysis and numerical experiments are established to validate the feasibility and effectiveness of the proposed algorithm.
- [43] arXiv:2502.14336 [pdf, html, other]
-
Title: Data-Driven Cooperative Output Regulation via Distributed Internal ModelSubjects: Optimization and Control (math.OC)
The existing result on the cooperative output regulation problem for unknown linear multi-agent systems using a data-driven distributed internal model approach is limited to the case where each follower is a single-input and single-output system and the communication network among all agents is an acyclic static digraph. In this paper, we further address the same problem for unknown linear multi-agent systems with multi-input and multi-output followers over a general static and connected digraph. Further we make two main improvements over the existing result. First, we derive a set of much simplified linear systems to be applied by the integral reinforcement learning technique. Thus, the number of the unknown variables governed by a sequence of linear algebraic equations is much smaller than that of the existing approach. Second, we show that the sequence of linear algebraic equations can be further decoupled to two sequences of linear algebraic equations. As a result of these two improvements, our approach not only drastically reduces the computational cost, but also significantly weakens the solvability conditions in terms of the the full column rank requirements for these equations.
- [44] arXiv:2502.14341 [pdf, html, other]
-
Title: Domination Parameters of Graph CoversSubjects: Combinatorics (math.CO)
A graph $G$ is a \emph{cover} of a graph $F$ if there exists an onto mapping $\pi : V(G) \to V(F)$, called a (\emph{covering}) \emph{projection}, such that $\pi$ maps the neighbours of any vertex $v$ in $G$ bijectively onto the neighbours of $\pi(v)$ in $F$. This paper is the first attempt to study the connection between domination parameters and graph covers. We focus on the domination number, the total domination number, and the connected domination number. We prove tight upper bounds for the domination parameters of $G$. Moreover, we prove lower bounds for the domination parameters of $G$. Finally, we propose a conjecture on the lower bound for the domination number of $G$ and provide evidence to support the conjecture.
- [45] arXiv:2502.14343 [pdf, html, other]
-
Title: On the Birman exact sequence of the subgroups of the mapping class group of genus threeSubjects: Algebraic Topology (math.AT)
We prove that for any finite index subgroup of the mapping class group containing the Johnson subgroup, the profinite Birman exact sequence does not split in genus $g\ge 3$, extending prior results of Hain and the second author for $g\ge 4$. For the Torelli group, we prove that the graded Lie algebra version of the Birman exact sequence admits no section with symplectic equivariance, extending Hain's result from $g\ge 4$ to $g=3$. These results are deduced by our main tool, relative completion, with the help of Hodge theory and representation theory of symplectic groups, along with explicit structural obstructions coming from hyperelliptic mapping class groups.
- [46] arXiv:2502.14346 [pdf, html, other]
-
Title: Représentations des quaternions de norme 1Comments: 14 pages, in French languageSubjects: Representation Theory (math.RT)
Let F be a local field with finite residue field of characteristic p, D the quaternion division algebra with centre F, and R an algebraically closed field of any characteristic. We classify the smooth irreducible R-representations V of the group D^1 of elements of D* with reduced norm 1. Such a V occurs in the restriction of a smooth irreducible R-representation V* of D*. When the dimension of V*is >1, following our previous work in the case of SL_2(F), we show that the restriction of V* to D^1 is irreducible or the sum of two irreducible representations. When the characteristic of R is not p, that restriction is the sum of two irreducible equivalent representations if and only if the representation of GL_2(F) image of V* by the Jacquet-Langlands correspondence restricts to SL_2(F) as a sum of four inequivalent irreducible representations (this is never the case if the characteristic of R is not 2).
- [47] arXiv:2502.14378 [pdf, html, other]
-
Title: Extremal Self-Dual Codes and Linear Complementary Dual Codes from Double Circulant CodesSubjects: Information Theory (cs.IT)
This paper explores extremal self-dual double circulant (DC) codes and linear complementary dual (LCD) codes of arbitrary length over the Galois field $\mathbb F_2$. We establish the sufficient and necessary conditions for DC codes and bordered DC codes to be self-dual and identify the conditions for self-dual DC codes of length up to 44 to be extremal or non-extremal. Additionally, The self-duality and extremality between DC codes and bordered DC codes are also examined. Finally, sufficient conditions for bordered DC codes to be LCD codes over $\mathbb F_2$ under Euclidean inner product are presented.
- [48] arXiv:2502.14390 [pdf, html, other]
-
Title: Hardy-Littlewood maximal, generalized Bessel-Riesz and generalized fractional integral operators in generalized Morrey and $BMO_ϕ$ spaces associated with Dunkl operator on the real lineSubjects: Functional Analysis (math.FA)
The analysis of Morrey spaces, generalized Morrey spaces and $BMO_\phi$ spaces related to the Dunkl operators on $\mathbb{R}$ are covered in this paper. We prove the boundedness of the Hardy-Littlewood maximal operators, Bessel-Riesz operators, generalized Bessel-Riesz operators, and generalized fractional integral operators associated with Dunkl operators on $\mathbb{R}$ in the generalized Dunkl-type Morrey spaces. Further, we derive the boundedness of the modified version of the generalized fractional integral operators associated with the Dunkl operators on $\mathbb{R}$ in Dunkl-type $BMO_\phi$ spaces.
- [49] arXiv:2502.14392 [pdf, other]
-
Title: Orientation-Reversing Crystallographic RigidityComments: 22 pagesSubjects: Combinatorics (math.CO)
This paper provides a combinatorial characterisation for generic forced symmetric rigidity of bar-joint frameworks in the Euclidean plane that are symmetric with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, also known as $pm$ in crystallography, under a fixed lattice representation. Corresponding results for the wallpaper groups $cm$ and $pg$ follow directly from this. The method used also provides an inductive construction for the corresponding gain graphs, in terms of Henneberg-type graph operations.
- [50] arXiv:2502.14395 [pdf, html, other]
-
Title: Central Limit Theorem for Irregular Discretization Scheme of Multilevel Monte Carlo MethodSubjects: Probability (math.PR)
In this paper, we study the asymptotic error distribution for a two-level irregular discretization scheme of the solution to the stochastic differential equations (SDE for short) driven by a continuous semimartingale and obtain a central limit theorem for the error processes with the rate $\sqrt{n}$. As an application, in the spirit of the result of Ben Alaya and Kebaier, we get a central limit theorem of the Linderberg-Feller type for the irregular discretization scheme of the multilevel Monte Carlo method.
- [51] arXiv:2502.14396 [pdf, other]
-
Title: Fully spectral scheme for the linear BGK equation on the whole spaceBastien Grosse (LMJL)Subjects: Numerical Analysis (math.NA)
In this article, we design a fully spectral method in both space and velocity for a linear inhomogeneous kinetic equation with mass, momentum and energy conservation. We focus on the linear BGK equation with a confinement potential $\phi$, even if the method could be applied to different collision operators. It is based upon the projection on Hermite polynomials in velocity and orthonormal polynomials with respect to the weight $e^{-\phi}$ in space. The potential $\phi$ is assumed to be a polynomial. It is, to the author's knowledge, the first scheme which preserves hypocoercive behavior in addition to the conservation laws. These different properties are illustrated numerically on both quadratic and double well potential.
- [52] arXiv:2502.14398 [pdf, html, other]
-
Title: Circular sortingComments: 15 pagesSubjects: Combinatorics (math.CO)
We determine the maximal number of steps required to sort $n$ labeled points on a circle by adjacent swaps. Lower bounds for sorting by all swaps, not necessarily adjacent, are given as well.
- [53] arXiv:2502.14407 [pdf, html, other]
-
Title: Sharp Phase Transitions in Estimation with Low-Degree PolynomialsComments: 64 pagesSubjects: Statistics Theory (math.ST); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Probability (math.PR)
High-dimensional planted problems, such as finding a hidden dense subgraph within a random graph, often exhibit a gap between statistical and computational feasibility. While recovering the hidden structure may be statistically possible, it is conjectured to be computationally intractable in certain parameter regimes. A powerful approach to understanding this hardness involves proving lower bounds on the efficacy of low-degree polynomial algorithms. We introduce new techniques for establishing such lower bounds, leading to novel results across diverse settings: planted submatrix, planted dense subgraph, the spiked Wigner model, and the stochastic block model. Notably, our results address the estimation task -- whereas most prior work is limited to hypothesis testing -- and capture sharp phase transitions such as the "BBP" transition in the spiked Wigner model (named for Baik, Ben Arous, and Péché) and the Kesten-Stigum threshold in the stochastic block model. Existing work on estimation either falls short of achieving these sharp thresholds or is limited to polynomials of very low (constant or logarithmic) degree. In contrast, our results rule out estimation with polynomials of degree $n^{\delta}$ where $n$ is the dimension and $\delta > 0$ is a constant, and in some cases we pin down the optimal constant $\delta$. Our work resolves open problems posed by Hopkins & Steurer (2017) and Schramm & Wein (2022), and provides rigorous support within the low-degree framework for conjectures by Abbe & Sandon (2018) and Lelarge & Miolane (2019).
- [54] arXiv:2502.14408 [pdf, html, other]
-
Title: Approximate rootsComments: 37 pages, 6 figuresJournal-ref: In Valuation Theory and its Applications II, F.-V. Kuhlmann, S.Kuhlmann, M.Marshall eds., Fields Institute Communications 33, AMS 2003, 285--321Subjects: Algebraic Geometry (math.AG)
Given an integral domain $A$, a monic polynomial $P$ of degree $n$ with coefficients in $A$ and a divisor $p$ of $n$, invertible in $A$, there is a unique monic polynomial $Q$ such that the degree of $P-Q^{p}$ is minimal for varying $Q$. This $Q$, whose $p$-th power best approximates $P$, is called the $p$-th approximate root of $P$. If $f \in \mathbf{C}[[X]][Y]$ is irreducible, there is a sequence of characteristic approximate roots of $f$, whose orders are given by the singularity structure of $f$. This sequence gives important information about this singularity structure. We study its properties in this spirit and we show that most of them hold for the more general concept of semiroot. We show then how this local study adapts to give a proof of Abhyankar-Moh's embedding line theorem.
- [55] arXiv:2502.14411 [pdf, other]
-
Title: Uncertainty principle for solutions of the Schr{ö}dinger equation on the Heisenberg groupPhilippe Jaming (IMB), Somnath Gosh (IISc Bangalore)Comments: Proceedings of the American Mathematical Society, In pressSubjects: Classical Analysis and ODEs (math.CA); Complex Variables (math.CV); Functional Analysis (math.FA)
The aim of this paper is two prove two versions of the Dynamical Uncertainty Principlefor the Schrödinger equation $i\partial_s u=\mathcal{L}u+Vu$, $u(s=0)=u_0$ where$\mathcal{L}$ is the sub-Laplacian on the Heisenberg this http URL show two results of this type. For the first one, the potential $V=0$, we establish a dynamical version of Amrein-Berthier-Benedicks's Uncertainty Principle that shows that if $u_0$ and $u_1=u(s=1)$ have both small support then $u=0$. For the second result, we add some potential to the equation and we obtain a dynamical version of the Paley-Wiener Theorem in the spirit of the result of Kenig, Ponce, Vega \cite{KPV}. Both results are obtained by suitably transfering results from the Euclidean this http URL also establish some limitations to Dynamical Uncertainty Principles.
- [56] arXiv:2502.14414 [pdf, html, other]
-
Title: Evaluation codes arising from symmetric polynomialsSubjects: Algebraic Geometry (math.AG)
Datta and Johnsen (Des. Codes and Cryptogr., {\bf{91}} (2023), 747-761) introduced a new family of evalutation codes in an affine space of dimension $\ge 2$ over a finite field $\mathbb{F}_q$ where linear combinations of elementary symmetric polynomials are evaluated on the set of all points with pairwise distinct coordinates. In this paper, we propose a generalization by taking low dimensional linear systems of symmetric polynomials. Computation for small values of $q=7,9$ shows that carefully chosen generalized Datta-Johnsen codes $\left[\frac{1}{2}q(q-1),3,d\right]$ have minimum distance $d$ equal to the optimal value minus 1.
- [57] arXiv:2502.14415 [pdf, html, other]
-
Title: Absolute convergence of Ramanujan expansions admits coefficients' coexistence of Ramanujan expansionsComments: Plain TeX, 7pages, onePageBibSubjects: Number Theory (math.NT)
In this self-contained short note, we prove that {\it every arithmetic function} $F$ {\it has infinitely many Ramanujan coefficients} $G$ {\it giving an absolutely convergent Ramanujan expansion for $F$}. This is "coefficients' coexistence": the non-uniqueness, once fixed any $F$, of these $G$. They are infinitely many !
- [58] arXiv:2502.14436 [pdf, html, other]
-
Title: New estimates for character sums over sparse elements of finite fieldsComments: 11 pages, 1 table, 1 figureSubjects: Number Theory (math.NT); Cryptography and Security (cs.CR)
Let $q$ be a prime power and $r$ a positive integer. Let $\mathbb{F}_q$ be the finite field with $q$ elements, and let $\mathbb{F}_{q^r}$ be its extension field of degree $r$. Let $\chi$ be a nontrivial multiplicative character of $\mathbb{F}_{q^r}$. In this paper, we provide new estimates for the character sums $\sum_{g\in\mathcal{G}}\chi(f(g))$, where $\mathcal{G}$ is a given sparse subsets of $\mathbb{F}_{q^r}$ and $f(X)$ is a polynomial over $\mathbb{F}_{q^r}$ of certain type. Specifically, by extending a sum over sparse subsets to subfields, rather than to general linear spaces, we obtain significant improvements of previous estimates.
- [59] arXiv:2502.14441 [pdf, html, other]
-
Title: An N-to-1 Smale HorseshoeSubjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph); Chaotic Dynamics (nlin.CD)
In this work we extend the Conley-Moser Theorem for $N$-to-1 local diffeomorphisms. By the aim of some extended symbolic dynamics we encode generalized $N$-to-1 horseshoe maps and as a corollary their structural stability is verified.
- [60] arXiv:2502.14459 [pdf, html, other]
-
Title: Algorithms for min-buying in networksComments: 27 pages, 16 figuresSubjects: Optimization and Control (math.OC)
The paper is motivated by pricing decisions faced by forecourt fuel retailers across their outlets on a road network. Through our modelling approach we are able adapt the network structure to a bipartite graph with demand nodes representing volumes of fuel from customers using a specific route that connects to the seller's outlet nodes that intersect that route on the network. Customers may have their demand satisfied at the lowest priced competitor on their route. However, the seller can satisfy some or all of this demand by matching or beating this price via one of their outlets intersecting the route. We give a practical extension to min-pricing by considering a binary logit variant for buyers evaluating the choice between two sellers. We derive two MIP formulations for min-buying in the case of general demand. We also propose several constructive heuristics, based on insertion and selection operations, suitable for problem instances beyond the scope of the exact methods. The performance of models and algorithms are evaluated in a numerical study and develop insights from the results. Importantly, we are able to highlight the value of price-matching decisions under buyer demand sensitivity.
- [61] arXiv:2502.14466 [pdf, html, other]
-
Title: A multi-model study of the air pollution related to traffic flow in a two-dimensional porous metropolitan areaSubjects: Numerical Analysis (math.NA)
In this paper, a useful reinterpretation of the city as a porous medium justifies the application of well-known models on fluid dynamics to develop a multi-model study of urban air pollution due to traffic flow in a large city. Thus, to simulate the traffic flow through the city we use a nonconservative macroscopic traffic model combining the continuity equation with the Darcy-Brinkman-Forchheimer equations. For the air flow, regarding the emission rate of CO$_2$ and its dispersion in the atmosphere, we combine a microscopic model -- based on regression techniques but depending on vehicles' velocity and acceleration -- with a classical convection-diffusion-reaction transport model. To solve numerically above PDEs models, the finite element method of Lagrange $\rm{P_1}$ type along with suitable time marching schemes (like the strong stability preserving scheme) were sufficient to obtain stable numerical solutions. Several computational tests were run on a realistic scenario inspired by the Metropolitan Area of Guadalajara (Mexico), showing not only the influence of the urban landscape (that is, the porosity) on traffic flow, air flow, and pollution transport, but also other interesting phenomena such as rarefaction traffic waves.
- [62] arXiv:2502.14468 [pdf, html, other]
-
Title: Non-radiating elastic sources in inhomogeneous elastic media at corners with applicationsSubjects: Analysis of PDEs (math.AP)
This paper is concerned with non-radiating elastic sources in inhomogeneous elastic media. We demonstrate that the value of non-radiating elastic sources must vanish at convex corners of their support, provided the sources exhibit Hölder continuous regularity near the corner. Additionally, their gradient must satisfy intricate algebraic relationships with the angles defining the underlying corners, assuming the sources have $C^{1,\alpha}$ regularity with $\alpha\in (0,1)$ in the neighborhood of the corners. To perform microlocal analysis around the corners, we employ the so-called complex geometrical optics (CGO) solutions as test functions within a partial differential system. These characterizations of non-radiating elastic sources in inhomogeneous elastic media at corners enable us to establish the unique identifiability results for determining the position and shape of radiating elastic sources by a single far-field measurement, both locally and globally. The uniqueness result by a single far-field measurement is a challenging problem with a colorful history in inverse scattering. Indeed, when the support of a radiating elastic source is a convex polygon, we can simultaneously determine the shape of the elastic source and its values at the corners, provided the source is Hölder continuous at the corner. Furthermore, when the source function exhibits $C^{1,\alpha}$ regularity in the neighborhood of a corner, the gradient of the source function at that corner can also be generically determined.
- [63] arXiv:2502.14480 [pdf, html, other]
-
Title: Groups with 5 nontrivial conjugacy classes of non self-normalizing subgroups are solvableSubjects: Group Theory (math.GR)
For any $n$ nonnegative integer a family of groups, denoted by $ \mathcal{D}_n $, was introduce by Bianchi et al., as the collection of all finite groups with exactly $n$ conjugacy classes of nontrivial, non self-normalizing subgroups. It was conjectured that $\mathcal{D}_5$ consists of solvable groups with derived length at most $3$. In this note we verify their conjecture.
- [64] arXiv:2502.14483 [pdf, html, other]
-
Title: Concentration phenomena for a mixed local/nonlocal Schrödinger equation with Dirichlet datumComments: 51 pages,Subjects: Analysis of PDEs (math.AP)
We consider the mixed local/nonlocal semilinear equation
\begin{equation*}
-\epsilon^{2}\Delta u +\epsilon^{2s}(-\Delta)^s u +u=u^p\qquad \text{in } \Omega
\end{equation*} with zero Dirichlet datum, where $\epsilon>0$ is a small parameter, $s\in(0,1)$, $p\in(1,\frac{n+2}{n-2})$ and $\Omega$ is a smooth, bounded domain. We construct a family of solutions that concentrate, as $\epsilon\rightarrow 0$, at an interior point of $\Omega$ having uniform distance to $\partial\Omega$ (this point can also be characterized as a local minimum of a nonlocal functional).
In spite of the presence of the Laplace operator, the leading order of the relevant reduced energy functional in the Lyapunov-Schmidt procedure is polynomial rather than exponential in the distance to the boundary, in light of the nonlocal effect at infinity. A delicate analysis is required to establish some uniform estimates with respect to $\epsilon$, due to the difficulty caused by the different scales coming from the mixed operator. - [65] arXiv:2502.14484 [pdf, other]
-
Title: Polycyclic Geometric Realizations of the Gray ConfigurationComments: 27 pages, 18 figures, 3 tablesSubjects: Combinatorics (math.CO)
The Gray configuration is a (27_3) configuration which typically is realized as the points and lines of the 3 x 3 x 3 integer lattice. It occurs as a member of an infinite family of configurations defined by Bouwer in 1972. Since their discovery, both the Gray configuration and its Levi graph (i.e., its point-line incidence graph) have been the subject of intensive study. Its automorphism group contains cyclic subgroups isomorphic to Z_3 and Z_9, so it is natural to ask whether the Gray configuration can be realized in the plane with any of the corresponding rotational symmetry. In this paper, we show that there are two distinct polycyclic realizations with Z_3 symmetry. In contrast, the only geometric polycyclic realization with straight lines and Z_9 symmetry is only a "weak" realization, with extra unwanted incidences (in particular, the realization is actually a (27_4) configuration).
- [66] arXiv:2502.14489 [pdf, html, other]
-
Title: Paley-Wiener Theorems For Slice Regular FunctionsComments: 29 pagesSubjects: Complex Variables (math.CV)
We prove two theorems of Paley and Wiener in the slice regular setting. As an application, we can compute the reproducing kernel for the slice regular Paley-Wiener space, and obtain a related sampling theorem.
- [67] arXiv:2502.14490 [pdf, html, other]
-
Title: Paley-Wiener theorems for slice monogenic functionsComments: 33 pagesSubjects: Complex Variables (math.CV)
In this paper, we prove some Paley-Wiener theorems for function spaces consisting of slice monogenic functions such as Paley-Wiener, Hardy and Bergman spaces. As applications, we can compute the reproducing kernel functions for the related function spaces.
- [68] arXiv:2502.14492 [pdf, html, other]
-
Title: The effect of Q-condition in elliptic equations involving Hardy potential and singular convection termSubjects: Analysis of PDEs (math.AP)
Using an approach by contradiction we prove the existence and uniqueness of a weak solution to a quasi-linear elliptic boundary value problem with singular convection term and Hardy Potential. Whose simplest model is
\begin{equation*} \Scale[0.8]{\ds u \in W_0^{1,2}(\mathcal{O})\cap L^\infty(\mathcal{O}) : -\Delta u=-\mathcal{A}\text{div}\left(\frac{x}{\vert x\vert^2}u\right)+\lambda \frac{u}{\vert x\vert^2}+f(x),} \end{equation*} where \(\mathcal{O}\) is a bounded open set in \(\mathbb{R}^N\), $\left(\mathcal{A},\lambda\right) \in \left(0, \infty\right)^2$ and \(f\in W^{-1,2}(\mathcal{O})\).
Additionally, by taking advantage of the regularizing effect of the interaction between the coefficient of the zero order term and the datum, we establish the existence, uniqueness and regularity of a weak solution to a quasi-linear boundary value problem whose simplest example is \begin{equation*} \Scale[0.8]{\ds u \in W_0^{1,2}(\mathcal{O})\cap L^\infty(\mathcal{O}) : -\Delta u +a(x)\vert u\vert^{p-2}u=-\mathcal{A}\text{div}\left(\frac{x}{\vert x\vert^2}u\right)+\lambda \frac{u}{\vert x\vert^2}+f(x),} \end{equation*} under suitable assumptions on $a$ and $f$. - [69] arXiv:2502.14498 [pdf, html, other]
-
Title: Nadaraya-Watson Type Estimator of the Transition Density Function for Diffusion ProcessesComments: 21 pages, 4 figuresSubjects: Statistics Theory (math.ST)
This paper deals with a nonparametric Nadaraya-Watson (NW) estimator of the transition density function computed from independent continuous observations of a diffusion process. A risk bound is established on this estimator. The paper also deals with an extension of the penalized comparison to overfitting bandwidths selection method for our NW estimator. Finally, numerical experiments are provided.
- [70] arXiv:2502.14505 [pdf, html, other]
-
Title: Bounds on Derivatives in Compositions of Two Rational Functions with Prescribed PolesSubjects: Complex Variables (math.CV)
This paper explores a class of rational functions r(s(z)) with degree
mn, where s(z) is a polynomial of degree m. Inequalities are derived for
rational functions with specified poles, extending and refining previous
results in the eld. - [71] arXiv:2502.14513 [pdf, html, other]
-
Title: Metric results of the intersection of sets in Diophantine approximationSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
Let $\psi : \mathbb{R}_{>0}\rightarrow \mathbb{R}_{>0}$ be a non-increasing function. Denote by $W(\psi)$ the set of $\psi$-well-approximable points and by $E(\psi)$ the set of points such that for any $0 < \epsilon < 1$ there exist infinitely many $(p,q)\in\mathbb{Z}\times\mathbb{N} $ with $$\left(1-\epsilon\right)\psi(q)< \left| x-p/q\right|< \psi(q) .$$ In this paper, we investigate the metric properties of set $E(\psi).$ Specifically, we compute the Hausdorff $\mathcal{H}^s$-measure of $E(\psi)$ for a large class numbers of $s \in (0,1).$ Additionally, we establish that $$\dim_{\mathcal H} E(\psi_1) \times \cdots \times E(\psi_n) =\min \{ \dim_{\mathcal H} E(\psi_i)+n-1: 1\le i \le n \},$$ where $\psi_i:\mathbb{R}_{> 0}\rightarrow \mathbb{R}_{> 0} $ is a non-increasing function satisfying $\psi_i(x)=o(x^{-2}) $ for all $1\le i \le n.$
- [72] arXiv:2502.14515 [pdf, html, other]
-
Title: Sharp thresholds for higher powers of Hamilton cycles in random graphsComments: 15 pagesSubjects: Combinatorics (math.CO)
For $k \geq 4$, we establish that $p = (e/n)^{1/k}$ is a sharp threshold for the existence of the $k$-th power $H$ of a Hamilton cycle in the binomial random graph model. Our proof builds upon an approach by Riordan based on the second moment method, which previously established a weak threshold for $H$. This method expresses the second moment bound through contributions of subgraphs of $H$, with two key quantities: the number of copies of each subgraph in $H$ and the subgraphs' densities. We control these two quantities more precisely by carefully restructuring Riordan's proof and treating sparse and dense subgraphs of $H$ separately. This allows us to determine the exact constant in the threshold.
- [73] arXiv:2502.14528 [pdf, other]
-
Title: Dynamic Preference-based Multi-modal Trip Planning of Public Transport and Shared MobilitySubjects: Optimization and Control (math.OC)
The shift from private vehicles to public and shared transport is crucial to reducing emissions and meeting climate targets. Consequently, there is an urgent need to develop a multimodal transport trip planning approach that integrates public transport and shared mobility solutions, offering viable alternatives to private vehicle use. To this end, we propose a preference-based optimization framework for multi-modal trip planning with public transport, ride-pooling services, and shared micro-mobility fleets. We introduce a mixed-integer programming model that incorporates preferences into the objective function of the mathematical model. We present a meta-heuristic framework that incorporates a customized Adaptive Large Neighborhood Search algorithm and other tailored algorithms, to effectively manage dynamic requests through a rolling horizon approach. Numerical experiments are conducted using real transport network data in a suburban area of Rotterdam, the Netherlands. Model application results demonstrate that the proposed algorithm can efficiently obtain near-optimal solutions. Managerial insights are gained from comprehensive experiments that consider various passenger segments, costs of micro-mobility vehicles, and availability fluctuation of shared mobility.
- [74] arXiv:2502.14530 [pdf, html, other]
-
Title: Projectivity of the moduli of higher rank PT-stable pairs on a threefoldComments: 30 pages; comments welcomeSubjects: Algebraic Geometry (math.AG)
We construct a globally generated line bundle on the moduli stack of higher-rank PT-semistable objects over a smooth projective threefold and analyze the extent to which it separates points. Furthermore, when the rank and degree are coprime, we refine our construction to obtain an explicit ample line bundle on the corresponding coarse moduli space of PT-stable objects, thereby establishing its projectivity.
- [75] arXiv:2502.14533 [pdf, html, other]
-
Title: Real Einstein lociSubjects: Differential Geometry (math.DG)
The aim of this article is to study the interplay between the complex, and underlying real geometries of a Kaehler manifold. We prove that certain anti-holomorphic automorphisms of a compact Kaehler-Einstein manifold give rise to real Einstein submanifolds.
- [76] arXiv:2502.14543 [pdf, html, other]
-
Title: On strong nodal domains for eigenfunctions of Hamming graphsSubjects: Combinatorics (math.CO)
The Laplacian matrix of the $n$-dimensional hypercube has $n+1$ distinct eigenvalues $2i$, where $0\leq i\leq n$. In 2004, Bıyıkoğlu, Hordijk, Leydold, Pisanski and Stadler initiated the study of eigenfunctions of hypercubes with the minimum number of weak and strong nodal domains. In particular, they proved that for every $1\leq i\leq \frac{n}{2}$ there is an eigenfunction of the hypercube with eigenvalue $2i$ that have exactly two strong nodal domains. Based on computational experiments, they conjectured that the result also holds for all $1\leq i\leq n-2$. In this work, we confirm their conjecture for $i\leq \frac{2}{3}(n-\frac{1}{2})$ if $i$ is odd and for $i\leq \frac{2}{3}(n-1)$ if $i$ is even. We also consider this problem for the Hamming graph $H(n,q)$, $q\geq 3$ (for $q=2$, this graph coincides with the $n$-dimensional hypercube), and obtain even stronger results for all $q\geq 3$.
- [77] arXiv:2502.14549 [pdf, html, other]
-
Title: Infinitely many solutions for elliptic system with Hamiltonian typeSubjects: Analysis of PDEs (math.AP)
In this paper, we use Legendre-Fenchel transform and a space decomposition to carry out Fountain theorem and dual Fountain theorem for the following elliptic system of Hamiltonian type: \[ \begin{cases} \begin{aligned} -\Delta u&=H_v(u, v) \,\quad&&\text{in}~\Omega,\\ -\Delta v&=H_u(u, v) \,\quad&&\text{in}~\Omega,\\ u,\,v&=0~~&&\text{on} ~ \partial\Omega,\\ \end{aligned} \end{cases} \] where $N\ge 1$, $\Omega \subset \mathbb{R}^N$ is a bounded domain and $H\in C^1( \mathbb{R}^2)$ is strictly convex, even and subcritical. We mainly present two results: (i) When $H$ is superlinear, the system has infinitely many solutions, whose energies tend to infinity. (ii) When $H$ is sublinear, the system has infinitely many solutions, whose energies are negative and tend to 0. As a byproduct, the Lane-Emden system under subcritical growth has infinitely many solutions.
- [78] arXiv:2502.14554 [pdf, html, other]
-
Title: Restriction of modular forms on $E_{7,3}$ to $Sp_6$Comments: 31 pagesSubjects: Number Theory (math.NT)
In this paper, we study the restriction of modular forms such as Ikeda type lifts and the Eisenstein series on the exceptional group of type $E_{7,3}$ to the symplectic group $Sp_6$ (rank 3). As an application, we explicitly write down the restriction when modular forms have small weight. The restriction may contain Miyawaki lifts of type I,II (CAP forms) and genuine forms whose description is compatible with Arthur's classification.
- [79] arXiv:2502.14559 [pdf, html, other]
-
Title: Convergence analysis of decoupled mixed FEM for the Cahn-Hilliard-Navier-Stokes equationsSubjects: Numerical Analysis (math.NA)
We develop a decoupled, first-order, fully discrete, energy-stable scheme for the Cahn-Hilliard-Navier-Stokes equations. This scheme calculates the Cahn-Hilliard and Navier-Stokes equations separately, thus effectively decoupling the entire system. To further separate the velocity and pressure components in the Navier-Stokes equations, we use the pressure-correction projection method. We demonstrate that the scheme is primitively energy stable and prove the optimal $L^2$ error estimate of the fully discrete scheme in the $P_r\times P_r\times P_r\times P_{r-1}$ finite element spaces, where the phase field, chemical potential, velocity and pressure satisfy the first-order accuracy in time and the $\left(r+1,r+1,r+1,r\right)th$-order accuracy in space, respectively. Furthermore, numerical experiments are conducted to support these theoretical findings. Notably, compared to other numerical schemes, our algorithm is more time-efficient and numerically shown to be unconditionally stable.
- [80] arXiv:2502.14564 [pdf, html, other]
-
Title: Thermal phototactic bioconvection in an isotropic porous medium heated from aboveSubjects: Dynamical Systems (math.DS)
This study investigates thermal phototactic bioconvection in an isotropic porous medium using the Darcy-Brinkman model. The top boundary of the medium is exposed to normal collimated light and subjected to heating. A linear analysis of bio-thermal convection is performed using a fourth-order accurate finite difference scheme, employing Newton-Raphson-Kantorovich iterations for both rigid-free and rigid-rigid boundary conditions. The effects of the Lewis number, Darcy number, and thermal Rayleigh number on bioconvective processes are examined and presented graphically. The findings reveal that increasing the thermal Rayleigh number stabilizes the suspension, whereas a higher Lewis number enhances instability.
- [81] arXiv:2502.14577 [pdf, html, other]
-
Title: Regularity of SupersolutionsSubjects: Analysis of PDEs (math.AP)
The regularity for the supersolutions of the Evolutionary p-Laplace Equation is considered. In particular,the equivalence of viscosity supersolutions and p-supercaloric functions (lower semicontinuous supersolutions defined via a comparison principle) is considered. Bounded viscosity supersolutions are, in fact, weak supersolutions belonging to a natural Sobolev Space.
- [82] arXiv:2502.14582 [pdf, html, other]
-
Title: A new measure of robustness of Erdős--Ko--Rado Theorems on permutation groupsComments: 29 pagesSubjects: Combinatorics (math.CO)
In this paper we introduce a new way of measuring the robustness of Erdős--Ko--Rado (EKR) Theorems on permutation groups. EKR-type results can be viewed as results about the independence numbers of certain corresponding graphs, namely the derangement graphs, and random subgraphs of these graphs have been used to measure the robustness of these extremal results. In the context of permutation groups, the derangement graphs are Cayley graphs on the permutation group in question. We propose studying extremal properties of subgraphs of derangement graphs, that are themselves Cayley graphs of the group, to measure robustness.
We present a variety of results about the robustness of the EKR property of various permutation groups using this new measure. - [83] arXiv:2502.14589 [pdf, html, other]
-
Title: Explicit adaptive time stepping for the Cahn-Hilliard equation by exponential Krylov subspace and Chebyshev polynomial methodsComments: 22 pages, 12 figuresSubjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE); Computational Physics (physics.comp-ph)
The Cahn-Hilliard equation has been widely employed within various mathematical models in physics, chemistry and engineering. Explicit stabilized time stepping methods can be attractive for time integration of the Cahn-Hilliard equation, especially on parallel and hybrid supercomputers. In this paper, we propose an exponential time integration method for the Cahn-Hilliard equation and describe its efficient Krylov subspace based implementation. We compare the method to a Chebyshev polynomial local iteration modified (LIM) time stepping scheme. Both methods are explicit (i.e., do not involve linear system solution) and tested with both constant and adaptively chosen time steps.
- [84] arXiv:2502.14590 [pdf, html, other]
-
Title: Random walks with homotopic spatial inhomogeneitiesSubjects: Mathematical Physics (math-ph); Data Analysis, Statistics and Probability (physics.data-an)
In this work we study a generalization of the standard random walk, an homotopic random walk (HRW), using a deformed translation unitary step that arises from a homotopy of the position-dependent masses associated to the Tsallis and Kaniadakis nonexensive statistics. The HRW implies an associated homotopic Fokker-Planck equation (HFPE) provided with a bi-parameterized inhomogeneous diffusion. The trajectories of the HRW exhibit convergence to a position, randomness as well as divergence, according to deformation and homotopic parameters. The HFPE obtained from associated master equation to the HRW presents the features: a) it results an special case of the van Kampen diffusion equation (5) of Ref. [N. G. van Kampen, \emph{Z. Phys. B Condensed Matter} \textbf{68}, 135 (1987)]; b) it exhibits a superdiffusion in function of deformation and homotopic parameters; c) Tsallis and Kaniadakis deformed FPE are recovered as special cases; d) a homotopic mixtured diffusion is observed; and e) it has a stationary entropic density, characterizing a inhomogeneous screening of the medium, obtained from a homotopic version of the H-Theorem.
- [85] arXiv:2502.14593 [pdf, html, other]
-
Title: Alternative set-theoretical algorithms for efficient computations of cliques in Vietoris-Rips complexesDanillo Barros de Souza, Jonatas Teodomiro, Fernando A. N. Santos, Mathieu Desroches, Serafim RodriguesSubjects: Combinatorics (math.CO)
Identifying cliques in dense networks remains a formidable challenge, even with significant advances in computational power and methodologies. To tackle this, numerous algorithms have been developed to optimize time and memory usage, implemented across diverse programming languages. Yet, the inherent NP-completeness of the problem continues to hinder performance on large-scale networks, often resulting in memory leaks and slow computations. In the present study, we critically evaluate classic algorithms to pinpoint computational bottlenecks and introduce novel set-theoretical approaches tailored for network clique computation. Our proposed algorithms are rigorously implemented and benchmarked against existing Python-based solutions, demonstrating superior performance. These findings underscore the potential of set-theoretical techniques to drive substantial performance gains in network analysis.
- [86] arXiv:2502.14596 [pdf, html, other]
-
Title: A note on plane trees with decreasing labelsComments: 9 pages, 2 figuresSubjects: Combinatorics (math.CO)
This note derives asymptotic upper and lower bounds for the number of planted plane trees on $n$ nodes assigned labels from the set $\{1,2,\ldots, k\}$ with the restriction that on any path from the root to a leaf, the labels must strictly decrease. We illustrate an application to calculating the largest eigenvalue of the adjacency matrix of a tree.
- [87] arXiv:2502.14602 [pdf, html, other]
-
Title: Qualitative derivation of a density dependent incompressible Darcy lawSubjects: Analysis of PDEs (math.AP)
This paper provides the first study of the homogenization of the 3D non-homogeneous incompressible Navier--Stokes system in perforated domains with holes of supercritical size. The diameter of the holes is of order $\varepsilon^{\alpha} \ (1<\alpha<3)$, where $\varepsilon > 0$ is a small parameter measuring the mutual distance between the holes. We show that as $\varepsilon\to 0$, the asymptotic limit behavior of velocity and density is governed by Darcy's law under the assumption of a strong solution of the limiting system. Moreover, convergence rates are obtained. Finally, we show the existence of strong solutions to the inhomogeneous incompressible Darcy law, which might be of independent interest.
- [88] arXiv:2502.14609 [pdf, html, other]
-
Title: Uniform estimates for elliptic equations with Carathéodory nonlinearities at the interior and on the boundaryEdgar Alejandro Antonio Martínez, Rosa María Pardo San Gil, Jorge Sánchez Ortiz, Martín Patricio Árciga AlejandreComments: key words: A priori estimates, slightly subcritical non-linearities, $L^\infty$ a priori bounds, nonlinear boundary conditionsSubjects: Analysis of PDEs (math.AP)
We establish an explicit uniform a priori estimate for weak solutions to slightly subcritical elliptic problems with nonlinearities simultaneously at the interior and on the boundary. Our explicit $L^{\infty}(\Omega )$ a priori estimates are in terms of powers of their $H^{1}(\Omega )$ norms. To prove our result, we combine a De Giorgi-Nash-Moser's iteration scheme together with elliptic regularity and the Gagliardo-Nirenberg's interpolation inequality.
- [89] arXiv:2502.14640 [pdf, html, other]
-
Title: Spider's webs and sharp $L^p$ bounds for the Hardy--Littlewood maximal operator on Gromov hyperbolic spacesSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
In this paper we prove that if $1<a\leq b<a^2$ and $X$ is a locally doubling $\delta$-hyperbolic complete connected length metric measure space with $(a,b)$-pinched exponential growth at infinity, then the centred Hardy--Littlewood maximal operator $\mathcal M$ is bounded on $L^p(X)$ for all $p>\tau$, and it is of weak type $(\tau,\tau)$, where $\tau := \log_ab$. A key step in the proof is a new structural theorem for Gromov hyperbolic spaces with $(a,b)$-pinched exponential growth at infinity, consisting in a discretisation of $X$ by means of certain graphs, introduced in this paper and called spider's webs, with ``good connectivity properties". Our result applies to trees with bounded geometry, and Cartan--Hadamard manifolds of pinched negative curvature, providing new boundedness results in these settings. The index $\tau$ is optimal in the sense that if $p<\tau$, then there exists $X$ satisfying the assumptions above such that $\mathcal M$ is not of weak type $(p,p)$. Furthermore, if $b>a^2$, then there are examples of spaces $X$ satisfying the assumptions above such that $\mathcal M$ bounded on $L^p(X)$ if and only if $p=\infty$.
- [90] arXiv:2502.14646 [pdf, html, other]
-
Title: On the spectral properties of the quantum cohomology of odd quadricsSubjects: Algebraic Geometry (math.AG)
Let $H^\bullet(\mbox{OG})$ be the quantum cohomology (specialized at $q=1$) of the $2n-1$ dimensional quadric $\mbox{OG}$. We will calculate the characteristic polynomial of the linear operators induced by quantum multiplication in $H^\bullet(\mbox{OG})$ and the Frobenius-Perron dimension. We also check that Galkin's lower bound conjecture holds for $\mbox{OG}$.
- [91] arXiv:2502.14655 [pdf, html, other]
-
Title: Sharp conditions for the BBM formula and asymptotics of heat content-type energiesComments: 38 pagesSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Given $p\in[1,\infty)$, we provide sufficient and necessary conditions on the non-negative measurable kernels $(\rho_t)_{t\in(0,1)}$ ensuring convergence of the associated Bourgain-Brezis-Mironescu (BBM) energies $(\mathscr{F}_{t,p})_{t\in(0,1)}$ to a variant of the $p$-Dirichlet energy on $\mathbb R^N$ as $t\to0^+$ both in the pointwise and in the $\Gamma$-sense. We also devise sufficient conditions on $(\rho_t)_{t\in(0,1)}$ yielding local compactness in $L^p(\mathbb R^N)$ of sequences with bounded BBM energy. Moreover, we give sufficient conditions on $(\rho_t)_{t\in(0,1)}$ implying pointwise and $\Gamma$-convergence and compactness of $(\mathscr{F}_{t,p})_{t\in(0,1)}$ when the limit $p$-energy is of non-local type. Finally, we apply our results to provide asymptotic formulas in the pointwise and $\Gamma$-sense for heat content-type energies both in the local and non-local settings.
- [92] arXiv:2502.14656 [pdf, html, other]
-
Title: A hybrid minimizing movement and neural network approach to Willmore flowSubjects: Numerical Analysis (math.NA)
We present a hybrid method combining a minimizing movement scheme with neural operators for the simulation of phase field-based Willmore flow. The minimizing movement component is based on a standard optimization problem on a regular grid whereas the functional to be minimized involves a neural approximation of mean curvature flow proposed by Bretin et al. Numerical experiments confirm stability for large time step sizes, consistency and significantly reduced computational cost compared to a traditional finite element method. Moreover, applications demonstrate its effectiveness in surface fairing and reconstructing of damaged shapes. Thus, the approach offers a robust and efficient tool for geometry processing.
- [93] arXiv:2502.14657 [pdf, html, other]
-
Title: 3D permutations and triangle solitaireComments: 17 pages, 15 figuresSubjects: Combinatorics (math.CO)
We provide a bijection between a class of 3-dimensional pattern avoiding permutations and triangle bases, special sets of integer points arising from the theory of tilings and TEP subshifts. This answers a conjecture of Bonichon and Morel.
- [94] arXiv:2502.14661 [pdf, html, other]
-
Title: Quasi-Monte Carlo for Bayesian shape inversion governed by the Poisson problem subject to Gevrey regular domain deformationsComments: 18 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
We consider the application of a quasi-Monte Carlo cubature rule to Bayesian shape inversion subject to the Poisson equation under Gevrey regular parameterizations of domain uncertainty. We analyze the parametric regularity of the associated posterior distribution and design randomly shifted rank-1 lattice rules which can be shown to achieve dimension-independent, faster-than-Monte Carlo cubature convergence rates for high-dimensional integrals over the posterior distribution. In addition, we consider the effect of dimension truncation and finite element discretization errors for this model. Finally, a series of numerical experiments are presented to validate the theoretical results.
- [95] arXiv:2502.14663 [pdf, html, other]
-
Title: The Restricted Isometry Property for Measurements from Group OrbitsSubjects: Information Theory (cs.IT)
It is known that sparse recovery by measurements from random circulant matrices provides good recovery bounds. We generalize this to measurements that arise as a random orbit of a group representation for some finite group G. We derive estimates for the number of measurements required to guarantee the restricted isometry property with high probability. Following this, we present several examples highlighting the role of appropriate representation-theoretic assumptions.
- [96] arXiv:2502.14670 [pdf, html, other]
-
Title: Lipschitz continuity and equivalence of positive viscosity and weak solutions to Trudinger's equationSubjects: Analysis of PDEs (math.AP)
We show that stricty positive viscosity supersolutions to Trudinger's equation are local weak supersolutions when $1<p<\infty$. As an application, we show using the Ishii-Lions method that not only viscosity but also weak solutions are Lipschitz continuous in the space variable. To the best of our knowledge, there is no preceding valid Lipschitz proofs in the literature.
- [97] arXiv:2502.14674 [pdf, html, other]
-
Title: New classes of permutation trinomials over finite fields with even characteristicComments: 22 pagesSubjects: Number Theory (math.NT)
The construction of permutation trinomials of the form $X^r(X^{\alpha (2^m-1)}+X^{\beta(2^m-1)} + 1)$ over $\F_{2^{2m}}$ where $\alpha > \beta$ and $r$ are positive integers, is an active area of research. To date, many classes of permutation trinomials with $\alpha \leq 6$ have been introduced in the literature. Here, we present three new classes of permutation trinomials with $\alpha>6$ and $r \geq 7$ over $\F_{2^{2m}}$. Additionally, we prove the nonexistence of a class of permutation trinomials over $\F_{2^{2m}}$ of the same type for $r=9$, $\alpha=7$, and $\beta=3$ when $m > 3$. Moreover, we show that the newly obtained classes are quasi-multiplicative inequivalent to both the existing permutation trinomials and to one another. Furthermore, we provide a proof for the recent conjecture on the quasi-multiplicative equivalence of two classes of permutation trinomials, as proposed by Yadav, Gupta, Singh, and Yadav (Finite Fields Appl. 96:102414, 2024).
- [98] arXiv:2502.14680 [pdf, html, other]
-
Title: Nonlinear approximation of harmonic functions from shifts of the Newtonian kernel in BMOComments: arXiv admin note: text overlap with arXiv:1808.08641Subjects: Classical Analysis and ODEs (math.CA)
We study nonlinear n-term approximation of harmonic functions on the unit ball in $R^d$ from linear combinations of shifts of the Newtonian kernel (fundamental solution of the Laplace equation) in BMO. A sharp Jackson estimate is established that naturally involves certain Besov spaces. The method for obtaining this result is based on the construction of highly localized frames for Besov spaces and VMO on the sphere whose elements are linear combinations of a fixed number of shifts of the Newtonian kernel.
- [99] arXiv:2502.14687 [pdf, html, other]
-
Title: A posteriori error bounds for finite element approximations of steady-state mean field gamesSubjects: Numerical Analysis (math.NA)
We analyze a posteriori error bounds for stabilized finite element discretizations of second-order steady-state mean field games. We prove the local equivalence between the $H^1$-norm of the error and the dual norm of the residual. We then derive reliable and efficient estimators for a broad class of stabilized first-order finite element methods. We also show that in the case of affine-preserving stabilizations, the estimator can be further simplified to the standard residual estimator. Numerical experiments illustrate the computational gains in efficiency and accuracy from the estimators in the context of adaptive methods.
- [100] arXiv:2502.14694 [pdf, html, other]
-
Title: Revisiting Near-Far Field Boundary in Dual-Polarized XL-MIMO SystemsComments: 16 pages, 8 figuresSubjects: Information Theory (cs.IT)
Extremely large-scale multiple-input multiple-output (XL-MIMO) is expected to be an important technology in future sixth generation (6G) networks. Compared with conventional single-polarized XL-MIMO, where signals are transmitted and received in only one polarization direction, dual-polarized XL-MIMO systems achieve higher data rate by improving multiplexing performances, and thus are the focus of this paper. Due to enlarged aperture, near-field regions become non-negligible in XL-MIMO communications, necessitating accurate near-far field boundary characterizations. However, existing boundaries developed for single-polarized systems only consider phase or power differences across array elements while irrespective of cross-polarization discrimination (XPD) variances in dual-polarized XL-MIMO systems, deteriorating transmit covariance optimization performances. In this paper, we revisit near-far field boundaries for dual-polarized XL-MIMO systems by taking XPD differences into account, which faces the following challenge. Unlike existing near-far field boundaries, which only need to consider co-polarized channel components, deriving boundaries for dual-polarized XL-MIMO systems requires modeling joint effects of co-polarized and cross-polarized components. To address this issue, we model XPD variations across antennas and introduce a non-uniform XPD distance to complement existing near-far field boundaries. Based on the new distance criterion, we propose an efficient scheme to optimize transmit covariance. Numerical results validate our analysis and demonstrate the proposed algorithm's effectiveness.
- [101] arXiv:2502.14723 [pdf, html, other]
-
Title: Dynamics of the Drinfeld-Sokolov-Wilson system: well-posedness and (in)stability of the traveling wavesSubjects: Analysis of PDEs (math.AP)
We analyze the Drinfeld-Sokolob-Wilson system, which features a dispersive, KdV type evolution with a dispersionless conservation law. We establish well-posedness with low regularity initial data $L^2({\mathbb T})\times L^2({\mathbb T})$ for the Cauchy problem on periodic background, which is then extrapolated to global solutions, due to $L^2$ conservation law. We also establish a dynamically more relevant result, namely a global persistence of solutions with (large) initial data in $H^1({\mathbb T})\times L^2({\mathbb T})$. This is obtained by following a more sophisticated approach, specifically the method of normal forms.
Finally, for a fixed period $L$, we construct an explicit one parameter family of periodic waves, see \eqref{2.16} below. We show that they are all spectrally unstable with respect to co-periodic perturbations. Specifically, we show that the Hamiltonian instability index is equal to one, which identifies the instability as a single positive growing mode. - [102] arXiv:2502.14725 [pdf, html, other]
-
Title: Asymptotic behavior of solutions of a time-space fractional diffusive Volterra equationSubjects: Analysis of PDEs (math.AP)
In this paper, we study the time-space fractional differential equation of the Volterra type:
\begin{align*}
{D}^\alpha_{0 \vert t} (u) +(-\Delta_N)^{\sigma}u &= u(1+au-bu^2)-au\int_0^t {K}(t-s) u(\cdot) \, ds,
\end{align*}
where $a,b>0$ are given constants, $\alpha,\sigma \in (0,1)$, equipped with a homogeneous Neumann's boundary condition and a positive initial data. The boundedness and uniform continuity of the solution on the entire $\mathbb{R}^+$ are established. Moreover, the asymptotic behavior of the positive solution is investigated. - [103] arXiv:2502.14733 [pdf, html, other]
-
Title: Orthogonally connected setsComments: 13 pages, 11 figuresSubjects: Combinatorics (math.CO)
In this paper, we further investigate the orthogonally connected sets and establish necessary and sufficient conditions for a set to be staircase connected.
- [104] arXiv:2502.14746 [pdf, html, other]
-
Title: Classical and quantum Coxeter codes: Extending the Reed-Muller familySubjects: Information Theory (cs.IT); Combinatorics (math.CO); Quantum Physics (quant-ph)
We introduce a class of binary linear codes that generalizes the Reed-Muller family by replacing the group $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Similar to the Reed-Muller codes, this class is closed under duality and has rate determined by a Gaussian distribution. We also construct quantum CSS codes arising from the Coxeter codes, which admit transversal logical operators outside of the Clifford group.
- [105] arXiv:2502.14749 [pdf, html, other]
-
Title: The formation of a soliton gas condensate for the focusing Nonlinear Schrödinger equationComments: 11 figures - 52 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Pattern Formation and Solitons (nlin.PS); Exactly Solvable and Integrable Systems (nlin.SI)
In this work, we carry out a rigorous analysis of a multi-soliton solution of the focusing nonlinear Schrödinger equation as the number, $N$, of solitons grows to infinity. We discover configurations of $N$-soliton solutions which exhibit the formation (as $N \to \infty$) of a soliton gas condensate. Specifically, we show that when the eigenvalues of the Zakharov - Shabat operator for the NLS equation accumulate on two bounded horizontal segments in the complex plane with norming constants bounded away from $0$, then, asymptotically, the solution is described by a rapidly oscillatory elliptic-wave with constant velocity, on compact subsets of $(x,t)$. This is to be distinguished from previous analyses of soliton gasses where the norming constants were tending to zero with $N$, and the asymptotic description only included elliptic waves in the long-time asymptotics.
- [106] arXiv:2502.14750 [pdf, html, other]
-
Title: Maslov class of exact Lagrangians and cylindrical handlesComments: 14 pages, 1 figureSubjects: Symplectic Geometry (math.SG)
A fundamental and deep result in symplectic topology due to Abouzaid and Kragh states that the Maslov class vanishes for closed exact Lagrangians in cotangent bundles of closed manifolds. In this article we prove by an explicit construction that the Maslov class does not vanish in general for closed exact Lagrangians in Weinstein domains obtained by performing a critical handle attachment to a cotangent bundle. We also define cylindrical handles as a generalization of Weinstein handles.
- [107] arXiv:2502.14751 [pdf, html, other]
-
Title: A note on finiteness properties of vertex stabilisersComments: 8 pagesSubjects: Group Theory (math.GR)
We prove a criterion for the geometric and algebraic finiteness properties of vertex stabilisers of $G$-CW-complexes, given the finiteness properties of the group $G$ and of the stabilisers of positive dimensional cells. This generalises a result of Haglund--Wise for groups acting on trees to higher dimensions. As an application, for $n\ge 2$, we deduce the existence of uncountably many quasi-isometry classes of one-ended groups that are of type $\mathsf{FP}_n$ and not of type $\mathsf{FP}_{n+1}$.
- [108] arXiv:2502.14754 [pdf, html, other]
-
Title: Kharitonov's Theorem with Degree Drop: a Wronskian ApproachComments: 14 pages, 2 figuresSubjects: Optimization and Control (math.OC); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
In this paper, we present a simplified proof of Kharitonov's Theorem, an important result on determining the Hurwitz stability of interval polynomials. Our new approach to the proof, which is based on the Wronskian of a pair of polynomials, is not only more elementary in comparison to known methods, but is able to handle the degree drop case with ease.
- [109] arXiv:2502.14771 [pdf, html, other]
-
Title: Flows driven by multi-indices Rough PathsComments: 29 pagesSubjects: Probability (math.PR); Classical Analysis and ODEs (math.CA)
In this work, we introduce a solution theory for scalar-valued rough differential equations driven by multi-indices rough paths. To achieve this task, we will show how the flow approach using the log-ODE method introduced by Bailleul fits perfectly in this setting. In addition, we also describe the action of multi-indices rough paths at the level of rough differential equations.
- [110] arXiv:2502.14774 [pdf, html, other]
-
Title: Branching with selection and mutation II: Mutant fitness of Gumbel typeComments: 44 pages, 2 figuresSubjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Biological Physics (physics.bio-ph)
We study a model of a branching process subject to selection, modeled by giving each family an individual fitness acting as a branching rate, and mutation, modeled by resampling the fitness of a proportion of offspring in each generation. For two large classes of fitness distributions of Gumbel type we determine the growth of the population, almost surely on survival. We then study the empirical fitness distribution in a simplified model, which is numerically indistinguishable from the original model, and show the emergence of a Gaussian travelling wave.
- [111] arXiv:2502.14775 [pdf, html, other]
-
Title: Every Graph is Essential to Large TreewidthComments: 21 pages, 6 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth. This refutes several conjectures and critically thwarts the quest for the unavoidable induced subgraphs in classes of unbounded treewidth, a wished-for counterpart of the Grid Minor theorem. We actually show a stronger result: For every positive integer $t$, there is a hereditary graph class $\mathcal C_t$ of unbounded treewidth such that for any graph $H$ of treewidth at most $t$, the $H$-free graphs of $\mathcal C_t$ have bounded treewidth. Our construction is a variant of so-called layered wheels. We also introduce a framework of abstract layered wheels, based on their most salient properties. In particular, we streamline and extend key lemmas previously shown on individual layered wheels. We believe that this should greatly help develop this topic, which appears to be a very strong yet underexploited source of counterexamples.
- [112] arXiv:2502.14783 [pdf, html, other]
-
Title: Tracking and Assigning Jobs to a Markov MachineSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY)
We consider a time-slotted communication system with a machine, a cloud server, and a sampler. Job requests from the users are queued on the server to be completed by the machine. The machine has two states, namely, a busy state and a free state. The server can assign a job to the machine in a first-in-first-served manner. If the machine is free, it completes the job request from the server; otherwise, it drops the request. Upon dropping a job request, the server is penalized. When the machine is in the free state, the machine can get into the busy state with an internal job. When the server does not assign a job request to the machine, the state of the machine evolves as a symmetric Markov chain. If the machine successfully accepts the job request from the server, the state of the machine goes to the busy state and follows a different dynamics compared to the dynamics when the machine goes to the busy state due to an internal job. The sampler samples the state of the machine and sends it to the server via an error-free channel. Thus, the server can estimate the state of the machine, upon receiving an update from the source. If the machine is in the free state but the estimated state at the server is busy, the sampler pays a cost. We incorporate the concept of the age of incorrect information to model the cost of the sampler. We aim to find an optimal sampling policy such that the cost of the sampler plus the penalty on the machine gets minimized. We formulate this problem in a Markov decision process framework and find how an optimal policy changes with several associated parameters. We show that a threshold policy is optimal for this problem. We show a necessary and sufficient condition for a threshold policy to be optimal. Finally, we find the optimal threshold without bounding the state space.
- [113] arXiv:2502.14794 [pdf, html, other]
-
Title: Sharp thresholds for spanning regular subgraphsSubjects: Combinatorics (math.CO)
We prove that $(1+o(1))\sqrt{e/n}$ is the sharp threshold for the appearance of the square of a Hamilton cycle in $G(n,p)$, confirming the conjecture of Kahn, Narayanan, and Park. We also find the exact asymptotics of the threshold for the emergence of a spanning subgraph isomorphic to a fixed graph $F$ for a wide family of $d$-regular graphs $F$. This family includes almost all $d$-regular graphs.
- [114] arXiv:2502.14805 [pdf, html, other]
-
Title: New classes of IYB groupsSubjects: Group Theory (math.GR); Quantum Algebra (math.QA)
It is proven that every finite group of odd order with all Sylow subgroups of nilpotency class at most two is an involutive Yang-Baxter group (IYB group for short), i.e. it admits a structure of left brace. It is also proven that every finite solvable group of even order with all Sylow subgroups of nilpotency class at most two and abelian Sylow 2-subgroups is an IYB group. These results contribute to the open problem asking which finite solvable groups are IYB, in particular they generalize a result of Ben David and Ginosar concerned with finite solvable groups with abelian Sylow subgroups.
- [115] arXiv:2502.14811 [pdf, html, other]
-
Title: Formalism 25Comments: 29 pages; to appear, in abridged form, in Journal for General Philosophy of ScienceSubjects: History and Overview (math.HO)
Abraham Robinson's philosophical stance has been the subject of several recent studies. Erhardt following Gaifman claims that Robinson was a finitist, and that there is a tension between his philosophical position and his actual mathematical output. We present evidence in Robinson's writing that he is more accurately described as adhering to the philosophical approach of Formalism. Furthermore, we show that Robinson explicitly argued {against} certain finitist positions in his philosophical writings. There is no tension between Robinson's mathematical work and his philosophy because mathematics and metamathematics are distinct fields: Robinson advocates finitism for metamathematics but no such restriction for mathematics. We show that Erhardt's analysis is marred by historical errors, by routine conflation of the generic and the technical meaning of several key terms, and by a philosophical {parti pris}. Robinson's Formalism remains a viable alternative to mathematical Platonism.
- [116] arXiv:2502.14813 [pdf, html, other]
-
Title: On universal-homogeneous hyperbolic graphs and spaces and their isometry groupsSubjects: Metric Geometry (math.MG); Logic (math.LO)
The Urysohn space is the unique separable metric space that is universal and homogeneous for finite metric spaces, i.e., it embeds any finite metric space any isometry between finite subspaces extends to an isometry of the whole space. We here consider the existence of a universal-homogeneous hyperbolic space. We show that for $\delta>0$ there is no $\delta$-hyperbolic space which is universal and homogeneous in the above sense for all finite $\delta$-hpyerbolic spaces.
We then show that for any $\delta\geq 0$ and any countable class $\mathcal{C}$ of $\delta$-hyperbolic spaces with countably many distinguished $\delta$-closed subspaces there exists a $\delta$-hyperbolic metric space $\mathbb{H}_\mathcal{C}$ such that every $X\in \mathcal{C}$ can be embedded into $\mathbb{H}_\mathcal{C}$ as a $\delta$-closed subspace and any isometry between distinguished $\delta$-closed subspaces extends to an isometry of $\mathbb{H}_\mathcal{C}$.
If $\mathcal{C}$ consists of $\delta$-hyperbolic geodesic spaces, then $\mathbb{H}_\mathcal{C}$ contains the quasi-tree of spaces as defined by Bestvina et al..
For $\mathcal{C}_\delta$ the class of all finite $\delta$-hyperbolic spaces with rational distances or the class of finite $\delta$-hyperbolic graphs, the limit $\mathbb{H}_\delta$ is a $\delta$-hyperbolic space (or graph, respectively) universal for all finite $\delta$-hyperbolic spaces with rational distances (or finite $\delta$-hyperbolic graphs) and such that any isometry between $\delta$-closed subspaces extends to an isometry of $\mathbb{H}_\delta$.
We show that the isometry group of $\mathbb{H}_\delta$ does not contain elements of bounded displacement and has no dense conjugacy class. - [117] arXiv:2502.14821 [pdf, html, other]
-
Title: Meshless Shape Optimization using Neural Networks and Partial Differential Equations on GraphsComments: 13 pages, 5 figures, accepted at SSVM 2025Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Optimization and Control (math.OC)
Shape optimization involves the minimization of a cost function defined over a set of shapes, often governed by a partial differential equation (PDE). In the absence of closed-form solutions, one relies on numerical methods to approximate the solution. The level set method -- when coupled with the finite element method -- is one of the most versatile numerical shape optimization approaches but still suffers from the limitations of most mesh-based methods. In this work, we present a fully meshless level set framework that leverages neural networks to parameterize the level set function and employs the graph Laplacian to approximate the underlying PDE. Our approach enables precise computations of geometric quantities such as surface normals and curvature, and allows tackling optimization problems within the class of convex shapes.
- [118] arXiv:2502.14824 [pdf, html, other]
-
Title: The R$_{\infty}$-property for braid groups over orientable surfacesComments: 18 pagesSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
Let $\Sigma_{g,p}$ be an orientable surface of genus $g$ and of finite type without boundary (i.e. an orientable closed surface with a finite number $p$ of points removed). In this paper we study the R$_{\infty}$-property for the surface pure braid groups $P_n(\Sigma_{g,p})$ as well as for the full surface braid groups $B_n(\Sigma_{g,p})$. We show that, with few exceptions, these groups have the R$_{\infty}$-property.
- [119] arXiv:2502.14832 [pdf, html, other]
-
Title: Pandey-Upadhyay's wavelet transform and microlocal Sobolev singularities of functionsSubjects: Functional Analysis (math.FA)
The aim of the paper is to define the microlocal Sobolev singularities of functions using Pandey-Upadhyay's wavelet transform and provide a comparison with Hörmander's microlocal singularities.
- [120] arXiv:2502.14839 [pdf, html, other]
-
Title: The law of thin processes: a law of large numbers for point processesComments: 6 pagesSubjects: Probability (math.PR)
If you take a superposition of n IID copies of a point process and thin that by a factor of 1/n, then the resulting process tends to a Poisson point process as n tends to infinity. We give a simple proof of this result that highlights its similarity to the law of large numbers and to the law of thin numbers of Harremoës et al.
- [121] arXiv:2502.14852 [pdf, other]
-
Title: Derived invariants of gentle ordersSubjects: Representation Theory (math.RT)
This article is concerned with the derived representation theory of certain infinite-dimensional gentle algebras called gentle orders. For a gentle order, we provide a factorization of the derived Nakayama functor, study its fractionally Calabi-Yau objects and exceptional cycles, and establish that certain combinatorial invariants of its underlying quiver are derived invariants, analogous to results for finite-dimensional gentle algebras.
- [122] arXiv:2502.14857 [pdf, html, other]
-
Title: A Correlation Inequality on Three FunctionsSubjects: Combinatorics (math.CO)
Let $X$ and $Y$ be upward closed set systems in the lattice of $\{0,1\}^n$. The celebrated Harris-Kleitman inequality implies that if $|X|=\alpha 2^n$, $|Y|=\beta 2^n$, the density of the set of points in exactly one of $X$ and $Y$ is maximal when $X$ and $Y$ are independent, meaning $|X\cap Y|=\alpha\beta 2^n$. Is the same true of three upward closed systems, $X$, $Y$, and $Z$? Suppose $|X|=|Y|=|Z|$. Kahn asked whether the set of points in exactly one of $X$, $Y$, $Z$ has density at most $\frac49$. We answer this question in the negative.
- [123] arXiv:2502.14858 [pdf, html, other]
-
Title: The $p$-adic Galois Cohomology of Valuation FieldsComments: 45 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Number Theory (math.NT)
We compute the Galois cohomology of any $p$-adic valuation field extension of a pre-perfectoid field. Moreover, we obtain a generalization and also a new proof of the classical results of Tate and Hyodo on discrete valuation fields, without using higher ramification group, local class field theory or Epp's elimination of ramifications. A key ingredient is Gabber-Ramero's computation of cotangent complexes for valuation rings.
- [124] arXiv:2502.14863 [pdf, html, other]
-
Title: The Fourier coefficients of the holomorphic multiplicative chaos in the limit of large frequencySubjects: Probability (math.PR)
The holomorphic multiplicative chaos (HMC) is a holomorphic analogue of the Gaussian multiplicative chaos. It arises naturally as the limit in large matrix size of the characteristic polynomial of Haar unitary, and more generally circular-$\beta$-ensemble, random matrices.
We consider the Fourier coefficients of the holomorphic multiplicative chaos in the $L^1$-phase, and we show that appropriately normalized, this converges in distribution to a complex normal random variable, scaled by the total mass of the Gaussian multiplicative chaos measure on the unit circle. We further generalize this to a process convergence, showing the joint convergence of consecutive Fourier coefficients. As a corollary, we derive convergence in law of the secular coefficients of sublinear index of the circular-$\beta$-ensemble for all $\beta > 2$.
New submissions (showing 124 of 124 entries)
- [125] arXiv:1907.10082 (cross-list from quant-ph) [pdf, other]
-
Title: Uncomputability and complexity of quantum controlComments: 10 pages, 1 figure [expanded explanations]Journal-ref: Scientific Reports 10, 1195 (2020)Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In laboratory and numerical experiments, physical quantities are known with a finite precision and described by rational numbers. Based on this, we deduce that quantum control problems both for open and closed systems are in general not algorithmically solvable, i.e., there is no algorithm that can decide whether dynamics of an arbitrary quantum system can be manipulated by accessible external interactions (coherent or dissipative) such that a chosen target reaches a desired value. This conclusion holds even for the relaxed requirement of the target only approximately attaining the desired value. These findings do not preclude an algorithmic solvability for a particular class of quantum control problems. Moreover, any quantum control problem can be made algorithmically solvable if the set of accessible interactions (i.e., controls) is rich enough. To arrive at these results, we develop a technique based on establishing the equivalence between quantum control problems and Diophantine equations, which are polynomial equations with integer coefficients and integer unknowns. In addition to proving uncomputability, this technique allows to construct quantum control problems belonging to different complexity classes. In particular, an example of the control problem involving a two-mode coherent field is shown to be NP-hard, contradicting a widely held believe that two-body problems are easy.
- [126] arXiv:2104.11937 (cross-list from quant-ph) [pdf, other]
-
Title: Non-commutative graphs based on finite-infinite system couplings: quantum error correction for a qubit coupled to a coherent fieldJournal-ref: Phys. Rev. A, 103:4, 042407 (2021)Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Quantum error correction plays a key role for quantum information transmission and quantum computing. In this work, we develop and apply the theory of non-commutative operator graphs to study error correction in the case of a finite-dimensional quantum system coupled to an infinite dimensional system. We consider as an explicit example a qubit coupled via the Jaynes-Cummings Hamiltonian with a bosonic coherent field. We extend the theory of non-commutative graphs to this situation and construct, using the Gazeau-Klauder coherent states, the corresponding non-commutative graph. As the result, we find the quantum anticlique, which is the projector on the error correcting subspace, and analyze it as a function of the frequencies of the qubit and the bosonic field. The general treatment is also applied to the analysis of the error correcting subspace for certain experimental values of the parameters of the Jaynes-Cummings Hamiltonian. The proposed scheme can be applied to any system that possess the same decomposition of spectrum of the Hamiltonian into a direct sum as in JC model, where eigenenergies in the two direct summands form strictly increasing sequences.
- [127] arXiv:2109.04384 (cross-list from quant-ph) [pdf, other]
-
Title: Reachable sets for two-level open quantum systems driven by coherent and incoherent controlsJournal-ref: J. Phys. A: Math. Theor. 54, 395304 (2021)Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In this work, we study controllability in the set of all density matrices for a two-level open quantum system driven by coherent and incoherent controls. In [A. Pechen, Phys. Rev. A 84, 042106 (2011)] an approximate controllability, i.e., controllability with some precision, was shown for generic $N$-level open quantum systems driven by coherent and incoherent controls. However, the explicit formulation of this property, including the behavior of this precision as a function of transition frequencies and decoherence rates of the system, was not known. The present work provides a rigorous analytical study of reachable sets for two-level open quantum systems. First, it is shown that for $N=2$ the presence of incoherent control does not affect the reachable set (while incoherent control may affect the time necessary to reach particular state). Second, the reachable set in the Bloch ball is described and it is shown that already just for one coherent control any point in the Bloch ball can be achieved with precision $\delta\sim \gamma/\omega$, where $\gamma$ is the decoherence rate and $\omega$ is the transition frequency. Typical values are $\delta\lesssim10^{-3}$ that implies high accuracy of achieving any density matrix. Moreover, we show that most points in the Bloch ball can be exactly reached, except of two lacunae of size $\sim\delta$. For two coherent controls, the system is shown to be completely controllable in the set of all density matrices. Third, the reachable set as a function of the final time is found and shown to exhibit a non-trivial structure.
- [128] arXiv:2204.13671 (cross-list from quant-ph) [pdf, html, other]
-
Title: On the detailed structure of quantum control landscape for fast single qubit phase-shift gate generationComments: 12 pages, 2 figures, final versionJournal-ref: Izvestiya: Mathematics, 2023, 87:5, 906--919Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In this work, we study the detailed structure of quantum control landscape for the problem of single-qubit phase shift gate generation on the fast time scale. In previous works, the absence of traps for this problem was proven on various time scales. A special critical point which was known to exist in quantum control landscapes was shown to be either a saddle or a global extremum, depending on the parameters of the control system. However, in the case of saddle the numbers of negative and positive eigenvalues of Hessian at this point and their magnitudes have not been studied. At the same time, these numbers and magnitudes determine the relative ease or difficulty for practical optimization in a vicinity of the critical point. In this work, we compute the numbers of negative and positive eigenvalues of Hessian at this saddle point and moreover, give estimates on magnitude of these eigenvalues. We also significantly simplify our previous proof of the theorem about this saddle point of the Hessian [Theorem~3 in B.O.~Volkov, O.V.~Morzhin, A.N.~Pechen, J.~Phys.~A: Math. Theor. {\bf 54}, 215303 (2021)].
- [129] arXiv:2304.03355 (cross-list from quant-ph) [pdf, html, other]
-
Title: Higher order traps for some strongly degenerate quantum control systemsComments: 4 pages, final versionJournal-ref: Russian Math. Surveys, 78:2 (2023), 390--392Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Quantum control is necessary for a variety of modern quantum technologies as it allows to optimally manipulate quantum systems. An important problem in quantum control is to establish whether the control objective functional has trapping behaviour or no, namely if it has or no traps -- controls from which it is difficult to escape by local search optimization methods. Higher order traps were previously introduced in [A. N. Pechen, D. J. Tannor, "Are there traps in quantum control landscapes?", Phys. Rev. Lett., 106 (2011), 120402], where 3-rd order traps were found. In this note we show that traps of arbitrarily high order exist for controllable quantum systems with special symmetry in the Hamiltonian.
- [130] arXiv:2401.10099 (cross-list from quant-ph) [pdf, html, other]
-
Title: Time-optimal state transfer for an open qubitJournal-ref: Journal of Physics A: Mathematical and Theoretical, 57, 275302 (2024)Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Optimization and Control (math.OC)
Finding minimal time and establishing the structure of the corresponding optimal controls which can transfer a given initial state of a quantum system into a given target state is a key problem of quantum control. In this work, this problem is solved for a basic component of various quantum technology processes -- a qubit interacting with the environment and experiencing an arbitrary time-dependent coherent driving. We rigorously derive both upper and lower estimates for the minimal steering time. Surprisingly, we discover that the optimal controls have a very special form -- they consist of two impulses, at the beginning and at the end of the control period, which can be assisted by a smooth time-dependent control in between. Moreover, an important for practical applications explicit almost optimal state transfer protocol is provided which only consists of four impulses and gives an almost optimal time of motion. The results can be directly applied to a variety of experimental situations for estimation of the ultimate limits of state control for quantum technologies.
- [131] arXiv:2403.06733 (cross-list from quant-ph) [pdf, html, other]
-
Title: On the construction of a quantum channel corresponding to non-commutative graph for a qubit interacting with quantum oscillatorComments: 6 pagesJournal-ref: Lobachevskii J. Math., 42:10 (2021), 2280-2284Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We consider error correction, based on the theory of non-commutative graphs, for a model of a qubit interacting with quantum oscillator. The dynamics of the composite system is governed by the Schrödinger equation which generates positive operator-valued measure (POVM) for the system dynamics. We construct a quantum channel generating the non-commutative graph as a linear envelope of the POVM. The idea is based on applying a generalized version of a quantum channel using the apparatus of von Neumann algebras. The results are analyzes for a non-commutative graph generated by a qubit interacting with quantum oscillator. For this model the quantum anticlique which determines the error correcting subspace has an explicit expression.
- [132] arXiv:2502.13978 (cross-list from physics.data-an) [pdf, html, other]
-
Title: On the perceptions of empirical randomness of an experiment: Extending the Golden TheoremSubjects: Data Analysis, Statistics and Probability (physics.data-an); Probability (math.PR)
In this work, Bernoulli's Law of Large Numbers, also known as the Golden theorem, has been extended to study the relations between empirical probability and empirical randomness of an otherwise random experiment. Using the example of a coin toss and a dice role, some interesting results are drawn. Analytically and using numerical computations, empirical randomness of each outcome has been shown to increase by \textit{ chance}, which itself depends on the growth rate of empirical probabilities. The analyses presented in this work, apart form depicting the nature of flow of random experiments in repetitions, also present dynamical behaviours of the random experiment, and experimental and simulation-based verifications of the mathematical analyses. It also presents an appreciation of the beauty of Bernoulli's Golden theorem and its applications by extension.
- [133] arXiv:2502.14022 (cross-list from cs.DC) [pdf, html, other]
-
Title: A General Framework for Augmenting Lossy Compressors with Topological GuaranteesComments: 18 pages, 19 figures, to be published in IEEE TVCGSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)
Topological descriptors such as contour trees are widely utilized in scientific data analysis and visualization, with applications from materials science to climate simulations. It is desirable to preserve topological descriptors when data compression is part of the scientific workflow for these applications. However, classic error-bounded lossy compressors for volumetric data do not guarantee the preservation of topological descriptors, despite imposing strict pointwise error bounds. In this work, we introduce a general framework for augmenting any lossy compressor to preserve the topology of the data during compression. Specifically, our framework quantifies the adjustments (to the decompressed data) needed to preserve the contour tree and then employs a custom variable-precision encoding scheme to store these adjustments. We demonstrate the utility of our framework in augmenting classic compressors (such as SZ3, TTHRESH, and ZFP) and deep learning-based compressors (such as Neurcomp) with topological guarantees.
- [134] arXiv:2502.14060 (cross-list from stat.ML) [pdf, html, other]
-
Title: New Lower Bounds for Stochastic Non-Convex Optimization through Divergence CompositionSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
We study fundamental limits of first-order stochastic optimization in a range of nonconvex settings, including L-smooth functions satisfying Quasar-Convexity (QC), Quadratic Growth (QG), and Restricted Secant Inequalities (RSI). While the convergence properties of standard algorithms are well-understood in deterministic regimes, significantly fewer results address the stochastic case, where only unbiased and noisy gradients are available. We establish new lower bounds on the number of noisy gradient queries to minimize these classes of functions, also showing that they are tight (up to a logarithmic factor) in all the relevant quantities characterizing each class. Our approach reformulates the optimization task as a function identification problem, leveraging divergence composition arguments to construct a challenging subclass that leads to sharp lower bounds. Furthermore, we present a specialized algorithm in the one-dimensional setting that achieves faster rates, suggesting that certain dimensional thresholds are intrinsic to the complexity of non-convex stochastic optimization.
- [135] arXiv:2502.14084 (cross-list from cond-mat.dis-nn) [pdf, other]
-
Title: High-dimensional random landscapes: from typical to large deviationsComments: Notes for a course at the Les Houches school "Theory of Large Deviations and Applications". Comments are welcomeSubjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistics Theory (math.ST)
In these notes we discuss tools and concepts that emerge when studying high-dimensional random landscapes, i.e., random functions on high-dimensional spaces. As an example, we consider a high-dimensional inference problem in two forms: matrix denoising (Case 1) and tensor denoising (Case 2). We show how to map the inference problem onto the optimization problem of a high-dimensional landscape, which exhibits distinct geometrical properties in the two Cases. We discuss methods for characterizing typical realizations of these landscapes and their optimization through local dynamics. We conclude by highlighting connections between the landscape problem and Large Deviation Theory.
- [136] arXiv:2502.14096 (cross-list from cs.LG) [pdf, html, other]
-
Title: Aligned Multi Objective OptimizationSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
To date, the multi-objective optimization literature has mainly focused on conflicting objectives, studying the Pareto front, or requiring users to balance tradeoffs. Yet, in machine learning practice, there are many scenarios where such conflict does not take place. Recent findings from multi-task learning, reinforcement learning, and LLMs training show that diverse related tasks can enhance performance across objectives simultaneously. Despite this evidence, such phenomenon has not been examined from an optimization perspective. This leads to a lack of generic gradient-based methods that can scale to scenarios with a large number of related objectives. To address this gap, we introduce the Aligned Multi-Objective Optimization framework, propose new algorithms for this setting, and provide theoretical guarantees of their superior performance compared to naive approaches.
- [137] arXiv:2502.14105 (cross-list from stat.ML) [pdf, html, other]
-
Title: Conformal Prediction under Lévy-Prokhorov Distribution Shifts: Robustness to Local and Global PerturbationsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
Conformal prediction provides a powerful framework for constructing prediction intervals with finite-sample guarantees, yet its robustness under distribution shifts remains a significant challenge. This paper addresses this limitation by modeling distribution shifts using Lévy-Prokhorov (LP) ambiguity sets, which capture both local and global perturbations. We provide a self-contained overview of LP ambiguity sets and their connections to popular metrics such as Wasserstein and Total Variation. We show that the link between conformal prediction and LP ambiguity sets is a natural one: by propagating the LP ambiguity set through the scoring function, we reduce complex high-dimensional distribution shifts to manageable one-dimensional distribution shifts, enabling exact quantification of worst-case quantiles and coverage. Building on this analysis, we construct robust conformal prediction intervals that remain valid under distribution shifts, explicitly linking LP parameters to interval width and confidence levels. Experimental results on real-world datasets demonstrate the effectiveness of the proposed approach.
- [138] arXiv:2502.14108 (cross-list from gr-qc) [pdf, html, other]
-
Title: On Lorentzian-Euclidean black holes and Lorentzian to Riemannian metric transitionsComments: REVTeX 4.2, 7 pagesSubjects: General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)
In recent papers on spacetimes with a signature-changing metric, the concept of a Lorentzian-Euclidean black hole and new elements for Lorentzian-Riemannian signature change have been introduced. A Lorentzian-Euclidean black hole is a signature-changing modification of the Schwarzschild spacetime satisfying the vacuum Einstein equations in a weak sense. Here the event horizon serves as a boundary beyond which time becomes imaginary. We demonstrate that the proper time needed to reach the horizon remains finite, consistently with the classical Schwarzschild solution. About Lorentzian to Riemannian metric transitions, we stress that the hypersurface where the metric signature changes is naturally a spacelike hypersurface which might be identified with the future or past causal boundary of the Lorentzian sector. Moreover, a number of geometric interpretations appear, as the degeneracy of the metric corresponds to the collapse of the causal cones into a line, the degeneracy of the dual metric corresponds to collapsing into a hyperplane, and additional geometric structures on the transition hypersurface (Galilean and dual Galilean) might be explored.
- [139] arXiv:2502.14114 (cross-list from cs.LG) [pdf, html, other]
-
Title: Zero loss guarantees and explicit minimizers for generic overparametrized Deep Learning networksComments: AMS Latex, 9 pagesSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Analysis of PDEs (math.AP); Optimization and Control (math.OC); Machine Learning (stat.ML)
We determine sufficient conditions for overparametrized deep learning (DL) networks to guarantee the attainability of zero loss in the context of supervised learning, for the $\mathcal{L}^2$ cost and {\em generic} training data. We present an explicit construction of the zero loss minimizers without invoking gradient descent. On the other hand, we point out that increase of depth can deteriorate the efficiency of cost minimization using a gradient descent algorithm by analyzing the conditions for rank loss of the training Jacobian. Our results clarify key aspects on the dichotomy between zero loss reachability in underparametrized versus overparametrized DL.
- [140] arXiv:2502.14123 (cross-list from cs.LG) [pdf, html, other]
-
Title: Understanding SGD with Exponential Moving Average: A Case Study in Linear RegressionComments: 34 pages, 4 figuresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Exponential moving average (EMA) has recently gained significant popularity in training modern deep learning models, especially diffusion-based generative models. However, there have been few theoretical results explaining the effectiveness of EMA. In this paper, to better understand EMA, we establish the risk bound of online SGD with EMA for high-dimensional linear regression, one of the simplest overparameterized learning tasks that shares similarities with neural networks. Our results indicate that (i) the variance error of SGD with EMA is always smaller than that of SGD without averaging, and (ii) unlike SGD with iterate averaging from the beginning, the bias error of SGD with EMA decays exponentially in every eigen-subspace of the data covariance matrix. Additionally, we develop proof techniques applicable to the analysis of a broad class of averaging schemes.
- [141] arXiv:2502.14208 (cross-list from cs.LG) [pdf, other]
-
Title: A Non-Asymptotic Theory of Seminorm Lyapunov Stability: From Deterministic to Stochastic Iterative AlgorithmsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
We study the problem of solving fixed-point equations for seminorm-contractive operators and establish foundational results on the non-asymptotic behavior of iterative algorithms in both deterministic and stochastic settings. Specifically, in the deterministic setting, we prove a fixed-point theorem for seminorm-contractive operators, showing that iterates converge geometrically to the kernel of the seminorm. In the stochastic setting, we analyze the corresponding stochastic approximation (SA) algorithm under seminorm-contractive operators and Markovian noise, providing a finite-sample analysis for various stepsize choices.
A benchmark for equation solving is linear systems of equations, where the convergence behavior of fixed-point iteration is closely tied to the stability of linear dynamical systems. In this special case, our results provide a complete characterization of system stability with respect to a seminorm, linking it to the solution of a Lyapunov equation in terms of positive semi-definite matrices. In the stochastic setting, we establish a finite-sample analysis for linear Markovian SA without requiring the Hurwitzness assumption.
Our theoretical results offer a unified framework for deriving finite-sample bounds for various reinforcement learning algorithms in the average reward setting, including TD($\lambda$) for policy evaluation (which is a special case of solving a Poisson equation) and Q-learning for control. - [142] arXiv:2502.14223 (cross-list from q-bio.PE) [pdf, html, other]
-
Title: Counting spinal phylogenetic networksComments: 22 pages, 5 tables, 4 figuresSubjects: Populations and Evolution (q-bio.PE); Combinatorics (math.CO)
Phylogenetic networks are an important way to represent evolutionary histories that involve reticulations such as hybridization or horizontal gene transfer, yet fundamental questions such as how many networks there are that satisfy certain properties are very difficult. A new way to encode a large class of networks, using expanding covers, may provide a way to approach such problems. Expanding covers encode a large class of phylogenetic networks, called labellable networks. This class does not include all networks, but does include many familiar classes, including orchard, normal, tree-child and tree-sibling networks. As expanding covers are a combinatorial structure, it is possible that they can be used as a tool for counting such classes for a fixed number of leaves and reticulations, for which, in many cases, a closed formula has not yet been found. More recently, a new class of networks was introduced, called spinal networks, which are analogous to caterpillar trees for phylogenetic trees and can be fully described using covers. In the present article, we describe a method for counting networks that are both spinal and belong to some more familiar class, with the hope that these form a base case from which to attack the more general classes.
- [143] arXiv:2502.14295 (cross-list from hep-th) [pdf, html, other]
-
Title: Fusion rules and structure constants of E-series minimal modelsComments: 22 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
In the ADE classification of Virasoro minimal models, the E-series is the sparsest: their central charges $c=1-6\frac{(p-q)^2}{pq}$ are not dense in the half-line $c\in (-\infty,1)$, due to $q=12,18,30$ taking only 3 values -- the Coxeter numbers of $E_6, E_7, E_8$. The E-series is also the least well understood, with few known results beyond the spectrum.
Here, we use a semi-analytic bootstrap approach for numerically computing 4-point correlation functions. We deduce non-chiral fusion rules, i.e. which 3-point structure constants vanish. These vanishings can be explained by constraints from null vectors, interchiral symmetry, simple currents, extended symmetries, permutations, and parity, except in one case for $q=30$. We conjecture that structure constants are given by a universal expression built from the double Gamma function, times polynomial functions of $\cos(\pi\frac{p}{q})$ with values in $\mathbb{Q}\big(\cos(\frac{\pi}{q})\big)$, which we work out explicitly for $q=12$.
We speculate on generalizing E-series minimal models to generic integer values of $q$, and recovering loop CFTs as $p,q\to \infty$. - [144] arXiv:2502.14309 (cross-list from cs.LG) [pdf, html, other]
-
Title: On Theoretical Limits of Learning with Label Differential PrivacySubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
Label differential privacy (DP) is designed for learning problems involving private labels and public features. While various methods have been proposed for learning under label DP, the theoretical limits remain largely unexplored. In this paper, we investigate the fundamental limits of learning with label DP in both local and central models for both classification and regression tasks, characterized by minimax convergence rates. We establish lower bounds by converting each task into a multiple hypothesis testing problem and bounding the test error. Additionally, we develop algorithms that yield matching upper bounds. Our results demonstrate that under label local DP (LDP), the risk has a significantly faster convergence rate than that under full LDP, i.e. protecting both features and labels, indicating the advantages of relaxing the DP definition to focus solely on labels. In contrast, under the label central DP (CDP), the risk is only reduced by a constant factor compared to full DP, indicating that the relaxation of CDP only has limited benefits on the performance.
- [145] arXiv:2502.14358 (cross-list from cs.CC) [pdf, html, other]
-
Title: An exposition of recent list-size bounds of FRS CodesComments: 14 pagesSubjects: Computational Complexity (cs.CC); Information Theory (cs.IT); Combinatorics (math.CO)
In the last year, there have been some remarkable improvements in the combinatorial list-size bounds of Folded Reed Solomon codes and multiplicity codes. Starting from the work on Kopparty, Ron-Zewi, Saraf and Wootters (SIAM J. Comput. 2023) (and subsequent simplifications due to Tamo (IEEE Trans. Inform. Theory 2024), we have had dramatic improvements in the list-size bounds of FRS codes due to Srivastava (SODA 2025) and Chen & Zhang (STOC 2025). In this note, we give a short exposition of these three results (Tamo, Srivastava and Chen-Zhang).
- [146] arXiv:2502.14367 (cross-list from cond-mat.stat-mech) [pdf, other]
-
Title: Walks in Rotation Spaces Return Home When Doubled and ScaledSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
The dynamics of numerous physical systems can be described as a series of rotation operations, i.e., walks in the manifold of the rotation group. A basic question with practical applications is how likely and under what conditions such walks return to the origin (the identity rotation), which means that the physical system returns to its initial state. In three dimensions, we show that almost every walk in SO(3), even a very complicated one, will preferentially return to the origin simply by traversing the walk twice in a row and uniformly scaling all rotation angles. We explain why traversing the walk only once almost never suffices to return, and comment on the problem in higher dimensions of SO(n).
- [147] arXiv:2502.14368 (cross-list from physics.optics) [pdf, html, other]
-
Title: Langevin model for soliton molecules in ultrafast fiber ring laser cavity: investigating experimentally the interplay between noise and inertiaSubjects: Optics (physics.optics); Mathematical Physics (math-ph)
The dynamics of soliton molecules in ultrafast fiber ring laser cavity is strongly influenced by noise. We show how a parsimonious Langevin model can be constructed from experimental data, resulting in a mathematical description that encompasses both the deterministic and stochastic properties of the evolution of the soliton molecules. In particular, we were able to probe the response dynamics of the soliton molecule to an external kick in a sub-critical approach, namely without the need to actually disturb the systems under investigation. Moreover, the noise experienced by the dissipative solitonic system, including its distribution and correlation, can now be also analyzed in details. Our strategy can be applied to any systems where the individual motion of its constitutive particles can be traced; the case of optical solitonic-system laser presented here serving as a proof-of-principle demonstration.
- [148] arXiv:2502.14372 (cross-list from quant-ph) [pdf, html, other]
-
Title: Discovering highly efficient low-weight quantum error-correcting codes with reinforcement learningComments: 18 pages, 14 figures, 4 tablesSubjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Machine Learning (cs.LG)
The realization of scalable fault-tolerant quantum computing is expected to hinge on quantum error-correcting codes. In the quest for more efficient quantum fault tolerance, a critical code parameter is the weight of measurements that extract information about errors to enable error correction: as higher measurement weights require higher implementation costs and introduce more errors, it is important in code design to optimize measurement weight. This underlies the surging interest in quantum low-density parity-check (qLDPC) codes, the study of which has primarily focused on the asymptotic (large-code-limit) properties. In this work, we introduce a versatile and computationally efficient approach to stabilizer code weight reduction based on reinforcement learning (RL), which produces new low-weight codes that substantially outperform the state of the art in practically relevant parameter regimes, extending significantly beyond previously accessible small distances. For example, our approach demonstrates savings in physical qubit overhead compared to existing results by 1 to 2 orders of magnitude for weight 6 codes and brings the overhead into a feasible range for near-future experiments. We also investigate the interplay between code parameters using our RL framework, offering new insights into the potential efficiency and power of practically viable coding strategies. Overall, our results demonstrate how RL can effectively advance the crucial yet challenging problem of quantum code discovery and thereby facilitate a faster path to the practical implementation of fault-tolerant quantum technologies.
- [149] arXiv:2502.14421 (cross-list from hep-th) [pdf, other]
-
Title: Bootstrapping SU(3) Lattice Yang-Mills TheoryComments: 52 pages, 16 figuresSubjects: High Energy Physics - Theory (hep-th); High Energy Physics - Lattice (hep-lat); Mathematical Physics (math-ph)
We apply the positivity bootstrap approach to SU(3) lattice Yang-Mills (YM) theory, extending previous studies of large N and SU(2) theories by incorporating multiple-trace Wilson loop operators. Utilizing Hermitian and reflection positivity conditions, along with Schwinger-Dyson (SD) loop equations, we compute rigorous bounds for the expectation values of plaquette Wilson loop in 2D, 3D, and 4D YM theories. Our results exhibit clear convergence and are consistent with known analytic or numerical results. To enhance the approach, we introduce a novel twist-reflection positivity condition, which we prove to be exact in the 2D YM theory. Additionally, we propose a dimensional-reduction truncation, where Wilson loop operators are effectively restricted to a lower-dimensional subplane, significantly simplifying the computations. SD equations for double-trace Wilson loops are also derived in detail. Our findings suggest that the positivity bootstrap method is broadly applicable to higher-rank gauge theories beyond the single-trace cases, providing a solid foundation for further non-perturbative investigations of gauge theories using positivity-based methods.
- [150] arXiv:2502.14431 (cross-list from q-fin.ST) [pdf, html, other]
-
Title: Causality Analysis of COVID-19 Induced Crashes in Stock and Commodity Markets: A Topological PerspectiveBuddha Nath Sharma (1), Anish Rai (1) (2), SR Luwang (1), Md. Nurujjaman (1), Sushovan Majhi (3) ((1) National Institute of Technology Sikkim, India, (2) AlgoLabs, Chennai Mathematical Institute, India, (3) Data Science Program, George Washington University, Washington, DC, USA)Subjects: Statistical Finance (q-fin.ST); Algebraic Topology (math.AT); Data Analysis, Statistics and Probability (physics.data-an)
The paper presents a comprehensive causality analysis of the US stock and commodity markets during the COVID-19 crash. The dynamics of different sectors are also compared. We use Topological Data Analysis (TDA) on multidimensional time-series to identify crashes in stock and commodity markets. The Wasserstein Distance WD shows distinct spikes signaling the crash for both stock and commodity markets. We then compare the persistence diagrams of stock and commodity markets using the WD metric. A significant spike in the $WD$ between stock and commodity markets is observed during the crisis, suggesting significant topological differences between the markets. Similar spikes are observed between the sectors of the US market as well. Spikes obtained may be due to either a difference in the magnitude of crashes in the two markets (or sectors), or from the temporal lag between the two markets suggesting information flow. We study the Granger-causality between stock and commodity markets and also between different sectors. The results show a bidirectional Granger-causality between commodity and stock during the crash period, demonstrating the greater interdependence of financial markets during the crash. However, the overall analysis shows that the causal direction is from stock to commodity. A pairwise Granger-causal analysis between US sectors is also conducted. There is a significant increase in the interdependence between the sectors during the crash period. TDA combined with Granger-causality effectively analyzes the interdependence and sensitivity of different markets and sectors.
- [151] arXiv:2502.14443 (cross-list from hep-th) [pdf, html, other]
-
Title: Intrinsic Regularization via Curved Momentum Space: A Geometric Solution to Divergences in Quantum Field TheoryComments: 24 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Differential Geometry (math.DG); Quantum Physics (quant-ph)
The problem of UV divergences in QFT has long been a fundamental challenge. Standard regularization techniques modify high-energy behavior to ensure well-defined integrals. However, these approaches often introduce unphysical parameters, rely on arbitrary prescriptions, or break fundamental symmetries, making them mathematically effective but conceptually unsatisfactory.
We propose a novel and self-consistent approach in which UV regularization emerges naturally from the curved geometry of momentum space. Through curved momentum space, imposed by a geodesic metric, we construct an integral measure that inherently suppresses high-energy divergences while preserving fundamental symmetries, including full Lorentz invariance. This framework is self-sufficient, i.e. requires no external regulators. It retains equations of motion and is fully compatibility with standard field theory
Our approach guarantees the weakest possible suppression necessary for convergence, avoiding excessive modifications to quantum behavior, still achieving convergence. While formulated in Riemannian Geometry, we show seamless extension to Minkowski space, maintainining regularization properties in relativistic QFT. This offers an alternative to ad hoc renormalization, providing an intrinsic and mathematically well-motivated suppression mechanism, purely rooted in curved geometry of momentum space.
We rigorously construct the measure-theoretic framework and demonstrate its effectiveness by proof of finiteness for key QFT integrals. Beyond resolving divergences, this work suggests broader applications in spectral geometry, effective field theory, and potential extensions to quantum gravity. - [152] arXiv:2502.14449 (cross-list from quant-ph) [pdf, html, other]
-
Title: Bohmian Mechanics fails to compute multi-time correlationsComments: 14 pagesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); History and Philosophy of Physics (physics.hist-ph)
The violation of Bell type inequalities in quantum systems manifests that quantum states cannot be described by classical probability distributions. Yet, Bohmian mechanics is a realistic, non-local theory of classical particle trajectories that is claimed to be indistinguishable by observations from more traditional approaches to quantum mechanics. We set up a spatial version of the GHZ system with qubits realised as positional observables that demonstrates that the Bohmian theory fails to match predictions of textbook quantum mechanics (and most likely experients) unless enlarged by a microscopic theory of collapse of the wave function after observation. For this discrepancy to occur it is essential that positions at different times do not commute.
- [153] arXiv:2502.14460 (cross-list from quant-ph) [pdf, html, other]
-
Title: Signless Laplacian State Transfer on Vertex Complemented CoronaeComments: 16 pagesSubjects: Quantum Physics (quant-ph); Combinatorics (math.CO)
Given a graph $G$ with vertex set $V(G)=\{v_1,v_2,\ldots,v_{n_1}\}$ and a graph $H$ of order $n_2$, the vertex complemented corona, denoted by $G\tilde{\circ}{H}$, is the graph produced by copying $H$ $n_1$ times, with the $i$-th copy of $H$ corresponding to the vertex $v_i$, and then adding edges between any vertex in $V(G)\setminus\{v_{i}\}$ and any vertex of the $i$-th copy of $H$. The present article deals with quantum state transfer of vertex complemented coronae concerning signless Laplacian matrix. Our research investigates conditions in which signless Laplacian perfect state transfer exists or not on vertex complemented coronae. Additionally, we also provide some mild conditions for the class of graphs under consideration that allow signless Laplacian pretty good state transfer.
- [154] arXiv:2502.14580 (cross-list from quant-ph) [pdf, html, other]
-
Title: Quantum computer formulation of the FKP-operator eigenvalue problem for probabilistic learning on manifoldsComments: 27 pages, 6 FiguresSubjects: Quantum Physics (quant-ph); Statistics Theory (math.ST)
We present a quantum computing formulation to address a challenging problem in the development of probabilistic learning on manifolds (PLoM). It involves solving the spectral problem of the high-dimensional Fokker-Planck (FKP) operator, which remains beyond the reach of classical computing. Our ultimate goal is to develop an efficient approach for practical computations on quantum computers. For now, we focus on an adapted formulation tailored to quantum computing. The methodological aspects covered in this work include the construction of the FKP equation, where the invariant probability measure is derived from a training dataset, and the formulation of the eigenvalue problem for the FKP operator. The eigen equation is transformed into a Schrödinger equation with a potential V, a non-algebraic function that is neither simple nor a polynomial representation. To address this, we propose a methodology for constructing a multivariate polynomial approximation of V, leveraging polynomial chaos expansion within the Gaussian Sobolev space. This approach preserves the algebraic properties of the potential and adapts it for quantum algorithms. The quantum computing formulation employs a finite basis representation, incorporating second quantization with creation and annihilation operators. Explicit formulas for the Laplacian and potential are derived and mapped onto qubits using Pauli matrix expressions. Additionally, we outline the design of quantum circuits and the implementation of measurements to construct and observe specific quantum states. Information is extracted through quantum measurements, with eigenstates constructed and overlap measurements evaluated using universal quantum gates.
- [155] arXiv:2502.14611 (cross-list from cs.DS) [pdf, html, other]
-
Title: Enumerating minimal dominating sets and variants in chordal bipartite graphsComments: 21 pages, 2 figuresSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Enumerating minimal dominating sets with polynomial delay in bipartite graphs is a long-standing open problem. To date, even the subcase of chordal bipartite graphs is open, with the best known algorithm due to Golovach, Heggernes, Kanté, Kratsch, Saether, and Villanger running in incremental-polynomial time. We improve on this result by providing a polynomial delay and space algorithm enumerating minimal dominating sets in chordal bipartite graphs. Additionally, we show that the total and connected variants admit polynomial and incremental-polynomial delay algorithms, respectively, within the same class. This provides an alternative proof of a result by Golovach et al. for total dominating sets, and answers an open question for the connected variant. Finally, we give evidence that the techniques used in this paper cannot be generalized to bipartite graphs for (total) minimal dominating sets, unless P = NP, and show that enumerating minimal connected dominating sets in bipartite graphs is harder than enumerating minimal transversals in general hypergraphs.
- [156] arXiv:2502.14621 (cross-list from stat.ME) [pdf, html, other]
-
Title: Asymptotic Analysis and Practical Evaluation of Jump Rate Estimators in Piecewise-Deterministic Markov ProcessesComments: 33 pagesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Piecewise-deterministic Markov processes (PDMPs) offer a powerful stochastic modeling framework that combines deterministic trajectories with random perturbations at random times. Estimating their local characteristics (particularly the jump rate) is an important yet challenging task. In recent years, non-parametric methods for jump rate inference have been developed, but these approaches often rely on distinct theoretical frameworks, complicating direct comparisons. In this paper, we propose a unified framework to standardize and consolidate state-of-the-art approaches. We establish new results on consistency and asymptotic normality within this framework, enabling rigorous theoretical comparisons of convergence rates and asymptotic variances. Notably, we demonstrate that no single method uniformly outperforms the others, even within the same model. These theoretical insights are validated through numerical simulations using a representative PDMP application: the TCP model. Furthermore, we extend the comparison to real-world data, focusing on cell growth and division dynamics in Escherichia coli. This work enhances the theoretical understanding of PDMP inference while offering practical insights into the relative strengths and limitations of existing methods.
- [157] arXiv:2502.14648 (cross-list from cs.LG) [pdf, html, other]
-
Title: Variance Reduction Methods Do Not Need to Compute Full Gradients: Improved Efficiency through ShufflingComments: 30 pages, 6 figures, 1 tableSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
In today's world, machine learning is hard to imagine without large training datasets and models. This has led to the use of stochastic methods for training, such as stochastic gradient descent (SGD). SGD provides weak theoretical guarantees of convergence, but there are modifications, such as Stochastic Variance Reduced Gradient (SVRG) and StochAstic Recursive grAdient algoritHm (SARAH), that can reduce the variance. These methods require the computation of the full gradient occasionally, which can be time consuming. In this paper, we explore variants of variance reduction algorithms that eliminate the need for full gradient computations. To make our approach memory-efficient and avoid full gradient computations, we use two key techniques: the shuffling heuristic and idea of SAG/SAGA methods. As a result, we improve existing estimates for variance reduction algorithms without the full gradient computations. Additionally, for the non-convex objective function, our estimate matches that of classic shuffling methods, while for the strongly convex one, it is an improvement. We conduct comprehensive theoretical analysis and provide extensive experimental results to validate the efficiency and practicality of our methods for large-scale machine learning problems.
- [158] arXiv:2502.14738 (cross-list from stat.ML) [pdf, html, other]
-
Title: Robust Information Selection for Hypothesis Testing with Misclassification PenaltiesComments: 23 pages, 2 figuresSubjects: Machine Learning (stat.ML); Signal Processing (eess.SP); Systems and Control (eess.SY); Combinatorics (math.CO); Optimization and Control (math.OC)
We study the problem of robust information selection for a Bayesian hypothesis testing / classification task, where the goal is to identify the true state of the world from a finite set of hypotheses based on observations from the selected information sources. We introduce a novel misclassification penalty framework, which enables non-uniform treatment of different misclassification events. Extending the classical subset selection framework, we study the problem of selecting a subset of sources that minimize the maximum penalty of misclassification under a limited budget, despite deletions or failures of a subset of the selected sources. We characterize the curvature properties of the objective function and propose an efficient greedy algorithm with performance guarantees. Next, we highlight certain limitations of optimizing for the maximum penalty metric and propose a submodular surrogate metric to guide the selection of the information set. We propose a greedy algorithm with near-optimality guarantees for optimizing the surrogate metric. Finally, we empirically demonstrate the performance of our proposed algorithms in several instances of the information set selection problem.
- [159] arXiv:2502.14756 (cross-list from gr-qc) [pdf, html, other]
-
Title: Geometric analysis for the Pontryagin action and boundary termsComments: 21 pages, no figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
In this article, we analyze the Pontryagin model adopting different geometric-covariant approaches. In particular, we focus on the manner in which boundary conditions must be imposed on the background manifold in order to reproduce an unambiguous theory on the boundary. At a Lagrangian level, we describe the symmetries of the theory and construct the Lagrangian covariant momentum map which allows for an extension of Noether's theorems. Through the multisymplectic analysis we obtain the covariant momentum map associated with the action of the gauge group on the covariant multimomenta phase-space. By performing a space plus time decomposition by means of a foliation of the appropriate bundles, we are able to recover not only the $t$-instantaneous Lagrangian and Hamiltonian of the theory, but also the generator of the gauge transformations. In the polysymplectic framework we perform a Poisson-Hamilton analysis with the help of the De Donder-Weyl Hamiltonian and the Poisson-Gerstenhaber bracket. Remarkably, as long as we consider a background manifold with boundary, in all of these geometric formulations, we are able to recover the so-called differentiability conditions as a straightforward consequence of Noether's theorem.
- [160] arXiv:2502.14760 (cross-list from cs.AI) [pdf, html, other]
-
Title: EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization FormulationsSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Optimization and Control (math.OC)
A fundamental problem in combinatorial optimization is identifying equivalent formulations, which can lead to more efficient solution strategies and deeper insights into a problem's computational complexity. The need to automatically identify equivalence between problem formulations has grown as optimization copilots--systems that generate problem formulations from natural language descriptions--have proliferated. However, existing approaches to checking formulation equivalence lack grounding, relying on simple heuristics which are insufficient for rigorous validation. Inspired by Karp reductions, in this work we introduce quasi-Karp equivalence, a formal criterion for determining when two optimization formulations are equivalent based on the existence of a mapping between their decision variables. We propose EquivaMap, a framework that leverages large language models to automatically discover such mappings, enabling scalable and reliable equivalence verification. To evaluate our approach, we construct the first open-source dataset of equivalent optimization formulations, generated by applying transformations such as adding slack variables or valid inequalities to existing formulations. Empirically, EquivaMap significantly outperforms existing methods, achieving substantial improvements in correctly identifying formulation equivalence.
- [161] arXiv:2502.14769 (cross-list from hep-th) [pdf, other]
-
Title: Meromorphic higher-genus integration kernels via convolution over homology cyclesComments: approx. 5+5 pagesSubjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Number Theory (math.NT)
Polylogarithms on arbitrary higher-genus Riemann surfaces can be constructed from meromorphic integration kernels with at most simple poles, whose definition was given by Enriquez via functional properties. In this work, homotopy-invariant convolution integrals over homology cycles are shown to provide a direct construction of Enriquez kernels solely from holomorphic Abelian differentials and the prime form. Our new representation is used to demonstrate the closure of the space of Enriquez kernels under convolution over homology cycles and under variations of the moduli. The results of this work further strengthen the remarkable parallels of Enriquez kernels with the non-holomorphic modular tensors recently developed in an alternative construction of higher-genus polylogarithms.
- [162] arXiv:2502.14772 (cross-list from cs.DS) [pdf, html, other]
-
Title: Efficient Multivariate Robust Mean Estimation Under Mean-Shift ContaminationSubjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
We study the algorithmic problem of robust mean estimation of an identity covariance Gaussian in the presence of mean-shift contamination. In this contamination model, we are given a set of points in $\mathbb{R}^d$ generated i.i.d. via the following process. For a parameter $\alpha<1/2$, the $i$-th sample $x_i$ is obtained as follows: with probability $1-\alpha$, $x_i$ is drawn from $\mathcal{N}(\mu, I)$, where $\mu \in \mathbb{R}^d$ is the target mean; and with probability $\alpha$, $x_i$ is drawn from $\mathcal{N}(z_i, I)$, where $z_i$ is unknown and potentially arbitrary. Prior work characterized the information-theoretic limits of this task. Specifically, it was shown that, in contrast to Huber contamination, in the presence of mean-shift contamination consistent estimation is possible. On the other hand, all known robust estimators in the mean-shift model have running times exponential in the dimension. Here we give the first computationally efficient algorithm for high-dimensional robust mean estimation with mean-shift contamination that can tolerate a constant fraction of outliers. In particular, our algorithm has near-optimal sample complexity, runs in sample-polynomial time, and approximates the target mean to any desired accuracy. Conceptually, our result contributes to a growing body of work that studies inference with respect to natural noise models lying in between fully adversarial and random settings.
- [163] arXiv:2502.14790 (cross-list from cs.LG) [pdf, other]
-
Title: An Adversarial Analysis of Thompson Sampling for Full-information Online Learning: from Finite to Infinite Action SpacesSubjects: Machine Learning (cs.LG); Computer Science and Game Theory (cs.GT); Statistics Theory (math.ST); Machine Learning (stat.ML)
We develop an analysis of Thompson sampling for online learning under full feedback - also known as prediction with expert advice - where the learner's prior is defined over the space of an adversary's future actions, rather than the space of experts. We show regret decomposes into regret the learner expected a priori, plus a prior-robustness-type term we call excess regret. In the classical finite-expert setting, this recovers optimal rates. As an initial step towards practical online learning in settings with a potentially-uncountably-infinite number of experts, we show that Thompson sampling with a certain Gaussian process prior widely-used in the Bayesian optimization literature has a $\mathcal{O}(\beta\sqrt{T\log(1+\lambda)})$ rate against a $\beta$-bounded $\lambda$-Lipschitz~adversary.
- [164] arXiv:2502.14817 (cross-list from quant-ph) [pdf, html, other]
-
Title: On the role of symmetry and geometry in global quantum sensingComments: 17 pages, 5 figuresSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Data Analysis, Statistics and Probability (physics.data-an)
Global sensing enables parameter estimation across arbitrary parameter ranges with a finite number of shots. While various formulations exist, the Bayesian paradigm offers a flexible approach to optimal protocol design under minimal assumptions. However, there are several sets of assumptions capturing the notions of prior ignorance and uninformed estimation, leading to two main approaches: invariance of the prior distribution under specific parameter transformations, and adherence to the geometry of a state space. While the first approach often leads to simpler priors and estimators and is more broadly applicable in adaptive settings, the second can lead to faster posterior convergence in a well-defined measurement setting. We examine the practical consequences of both approaches and show how to apply them in examples of rate and coherence estimation in noisy scenarios. More importantly, by employing the notion of location-isomorphic parameters, we unify the two approaches into a practical and versatile framework for optimal global quantum sensing, detailing when and how each set of assumptions should be employed - a blueprint for the design of quantum sensors.
Cross submissions (showing 40 of 40 entries)
- [165] arXiv:1811.08972 (replaced) [pdf, html, other]
-
Title: A logarithmic bound for the chromatic number of the associahedronComments: 11 pagesSubjects: Combinatorics (math.CO)
We show that the chromatic number of the $n$-dimensional associahedron grows at most logarithmically with $n$, improving a bound from and proving a conjecture of Fabila-Monroy et al. (2009).
- [166] arXiv:1904.00578 (replaced) [pdf, html, other]
-
Title: On the circle, Gaussian Multiplicative Chaos and Beta Ensembles match exactlyComments: 65 pages, no figures. v2: Added comments on the supercritical phase, and more bibliographic references. v3: Published version at JEMSSubjects: Probability (math.PR); Mathematical Physics (math-ph); Spectral Theory (math.SP)
We identify an equality between two objects arising from different contexts of mathematical physics: Kahane's Gaussian Multiplicative Chaos ($GMC^\gamma$) on the circle, and the Circular Beta Ensemble $(C\beta E)$ from Random Matrix Theory. This is obtained via an analysis of related random orthogonal polynomials, making the approach spectral in nature. In order for the equality to hold, the simple relationship between coupling constants is $\gamma = \sqrt{\frac{2}{\beta}}$, which we establish only when $\gamma \leq 1$ or equivalently $\beta \geq 2$. This corresponds to the sub-critical and critical phases of the $GMC$.
As a side product, we answer positively a question raised by Virag. We also give an alternative proof of the Fyodorov-Bouchaud formula concerning the total mass of the $GMC^\gamma$ on the circle. This conjecture was recently settled by Rémy using Liouville conformal field theory. We can go even further and describe the law of all moments.
Furthermore, we notice that the ``spectral construction'' has a few advantages. For example, the Hausdorff dimension of the support is efficiently described for all $\beta>0$, thanks to existing spectral theory. Remarkably, the critical parameter for $GMC^\gamma$ corresponds to $\beta=2$, where the geometry and representation theory of unitary groups lie. - [167] arXiv:2102.05273 (replaced) [pdf, html, other]
-
Title: On the Hofer-Zehnder conjecture for non-contractible periodic orbits in Hamiltonian dynamicsSubjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS)
In this paper, we treat an open problem related to the number of periodic orbits of Hamiltonian diffeomorphisms on closed symplectic manifolds. Hofer-Zehnder conjecture states that a Hamiltonian diffeomorphisms has infinitely many periodic orbits if it has "homologically unnecessary periodic orbits"". For example, non-contractible periodic orbits are homologically unnecessary periodic orbits because Floer homology of non-contractible periodic orbits is trivial. We prove Hofer-Zehnder conjecture for non-contractible periodic orbits for very wide classes of symplectic manifolds.
- [168] arXiv:2104.00280 (replaced) [pdf, other]
-
Title: GenEO spectral coarse spaces in SPD domain decompositionNicole Spillane (CMAP)Comments: A major revision (with a change of title) was uploaded in 2025Subjects: Numerical Analysis (math.NA)
Two-level domain decomposition methods are preconditioned Krylov solvers. What separates one and two-level domain decomposition method is the presence of a coarse space in the latter. The abstract Schwarz framework is a formalism that allows to define and study a large variety of two-level methods. The objective of this article is to define, in the abstract Schwarz framework, a family of coarse spaces called the GenEO coarse spaces (for Generalized Eigenvalues in the Overlaps). This is a generalization of methods that exist already for particular choices of domain decomposition methods. Bounds for the condition numbers of the preconditioned operators are proved that are independent of the parameters in the problem (e.g., any coefficients in an underlying PDE or the number of subdomains). The coarse spaces are computed by finding low or high frequency spaces of some well chosen generalized eigenvalue problems in each subdomain. The abstract framework is illustrated by defining two-level Additive Schwarz, Neumann-Neumann and Inexact Schwarz preconditioners for a two dimensional linear elasticity problem. Explicit theoretical bounds as well as numerical results are provided for this example.
- [169] arXiv:2201.03124 (replaced) [pdf, other]
-
Title: Minimum quantum degrees with Maya diagramsSubjects: Algebraic Geometry (math.AG)
We use Maya diagrams to refine the criterion by Fulton and Woodward for the smallest powers of the quantum parameter $q$ that occur in a product of Schubert classes in the (small) quantum cohomology of partial flags. Our approach using Maya diagrams yields a combinatorial proof that the minimal quantum degrees are unique for partial flags. Furthermore, visual combinatorial rules are given to perform precise calculations.
- [170] arXiv:2201.13375 (replaced) [pdf, other]
-
Title: Structural Stability Properties of Antithetic Integral (Rein) Control with Output InhibitionComments: 72 pages, 22 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Molecular Networks (q-bio.MN)
Perfect adaptation is a well-studied biochemical homeostatic behavior lying at the core of biochemical regulation. While the concepts of homeostasis and perfect adaptation are not new, their underlying mechanisms and associated biochemical regulation motifs are not yet fully understood. Insights from control theory unraveled the connections between perfect adaptation and integral control, a prevalent engineering control strategy. In particular, the recently introduced Antithetic Integral Controller (AIC) has been shown to successfully ensure perfect adaptation properties to the network it is connected to. The complementary structure of the two molecules the AIC relies upon allows for a versatile way to control biochemical networks, a property which gave rise to an important body of literature pertaining to mathematically elucidating its properties, generalizing its structure, and developing experimental methods for its implementation. The Antithetic Integral Rein Controller (AIRC), an extension of the AIC in which both controller molecules are used for control, holds many promises as it supposedly overcomes certain limitations of the AIC. We focus here on an AIRC structure with output inhibition that combines two AICs in a single structure. We demonstrate that rhis controller ensure structural stability and structural perfect adaptation properties for the controlled network under mild assumptions, meaning that this property is independent of the parameters of the network and the controller. The results are very general and valid for the class of unimolecular mass-action networks as well as more general networks, including cooperative and Michaelis-Menten networks. We also provide a systematic and accessible computational way for verifying whether a given network satisfies the conditions under which the structural property would hold.
- [171] arXiv:2202.00039 (replaced) [pdf, html, other]
-
Title: Geometric local systems on very general curves and isomonodromyComments: 57 pages, comments welcome! Updated to match journal versionSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
We show that the minimum rank of a non-isotrivial local system of geometric origin, on a suitably general $n$-pointed curve of genus $g$, is at least $2\sqrt{g+1}$. We apply this result to resolve conjectures of Esnault-Kerz and Budur-Wang. The main input is an analysis of stability properties of flat vector bundles under isomonodromic deformation, which additionally answers questions of Biswas, Heu, and Hurtubise.
- [172] arXiv:2205.15352 (replaced) [pdf, html, other]
-
Title: Canonical representations of surface groupsComments: Updated to match journal versionSubjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG); Number Theory (math.NT); Representation Theory (math.RT)
Let $\Sigma_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the mapping class group of $\Sigma_{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$\rho: \pi_1(\Sigma_{g,n})\to GL_r(\mathbb{C})$$ is a representation whose conjugacy class has finite orbit under the mapping class group, and $r<\sqrt{g+1}$, then $\rho$ has finite image. This answers questions of Junho Peter Whang and Mark Kisin. We give applications of our methods to the Putman-Wieland conjecture, the Fontaine-Mazur conjecture, and a question of Esnault-Kerz.
The proofs rely on non-abelian Hodge theory, our earlier work on semistability of isomonodromic deformations, and recent work of Esnault-Groechenig and Klevdal-Patrikis on Simpson's integrality conjecture for cohomologically rigid local systems. - [173] arXiv:2208.09131 (replaced) [pdf, html, other]
-
Title: Polyhedral and Tropical Geometry of Flag PositroidsComments: 43 pages New version containing an updated version of the main theorem, which originally contained an error. An erratum, available at this https URL, has been submitted to supplement the published version of this articleJournal-ref: Alg. Number Th. 18 (2024) 1333-1374Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
A flag positroid of ranks $\boldsymbol{r}:=(r_1<\dots <r_k)$ on $[n]$ is a flag matroid that can be realized by a real $r_k \times n$ matrix $A$ such that the $r_i \times r_i$ minors of $A$ involving rows $1,2,\dots,r_i$ are nonnegative for all $1\leq i \leq k$. In this paper we explore the polyhedral and tropical geometry of flag positroids, particularly when $\boldsymbol{r}:=(a, a+1,\dots,b)$ is a sequence of consecutive numbers. In this case we show that the nonnegative tropical flag variety TrFl$_{\boldsymbol{r},n}^{\geq 0}$ equals the nonnegative flag Dressian FlDr$_{\boldsymbol{r},n}^{\geq 0}$, and that the points $\boldsymbol{\mu} = (\mu_a,\ldots, \mu_b)$ of TrFl$_{\boldsymbol{r},n}^{\geq 0} =$ FlDr$_{\boldsymbol{r},n}^{\geq 0}$ give rise to coherent subdivisions of the flag positroid polytope $P(\underline{\boldsymbol{\mu}})$ into flag positroid polytopes. Our results have applications to Bruhat interval polytopes: for example, we show that a complete flag matroid polytope is a Bruhat interval polytope if and only if its $(\leq 2)$-dimensional faces are Bruhat interval polytopes. Our results also have applications to realizability questions. We define a positively oriented flag matroid to be a sequence of positively oriented matroids $(\chi_1,\dots,\chi_k)$ which is also an oriented flag matroid. We then prove that every positively oriented flag matroid of ranks $\boldsymbol{r}=(a,a+1,\dots,b)$ is realizable.
- [174] arXiv:2209.00717 (replaced) [pdf, html, other]
-
Title: An introduction to the algebraic geometry of the Putman-Wieland conjectureComments: Updating numberingJournal-ref: European Journal of Mathematics 9, 40 (2023)Subjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
We give algebraic and geometric perspectives on our prior results toward the Putman-Wieland conjecture. This leads to interesting new constructions of families of "origami" curves whose Jacobians have high-dimensional isotrivial isogeny factors. We also explain how a hyperelliptic analogue of the Putman-Wieland conjecture fails, following work of Marković.
- [175] arXiv:2209.09851 (replaced) [pdf, html, other]
-
Title: Root polytopes, tropical types, and toric edge idealsComments: Final version, to appear in Algebraic CombinatoricsSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data, analogous to the covectors of an oriented matroid. By work of Develin-Sturmfels and Fink-Rincón, these `tropical complexes' are dual to (regular) subdivisions of root polytopes, which in turn are in bijection with mixed subdivisions of certain generalized permutohedra. Extending previous work with Joswig-Sanyal, we show how a natural monomial labeling of these complexes describes polynomial relations (syzygies) among `type ideals' which arise naturally from the combinatorial data of the arrangement. In particular, we show that the cotype ideal is Alexander dual to a corresponding initial ideal of the lattice ideal of the underlying root polytope. This leads to novel ways of studying algebraic properties of various monomial and toric ideals, as well as relating them to combinatorial and geometric properties. In particular, our methods of studying the dimension of the tropical complex leads to new formulas for homological invariants of toric edge ideals of bipartite graphs, which have been extensively studied in the commutative algebra community.
- [176] arXiv:2209.12958 (replaced) [pdf, html, other]
-
Title: Prill's problemComments: 5 pages, comments welcomeSubjects: Algebraic Geometry (math.AG)
We solve Prill's problem, originally posed by David Prill in the late 1970s and popularized in ACGH's "Geometry of Algebraic Curves." That is, for any curve $Y$ of genus $2$, we produce a finite étale degree $36$ connected cover $f: X \to Y$ where, for every point $y \in Y$, $f^{-1}(y)$ moves in a pencil.
- [177] arXiv:2211.06096 (replaced) [pdf, html, other]
-
Title: Relation between intersection homology and homotopy groupsComments: Final versionSubjects: Algebraic Topology (math.AT)
As Goresky and MacPherson intersection homology is not the homology of a space, there is no preferred candidate for intersection homotopy groups. Here, they are defined as the homotopy groups of a simplicial set which P. Gajer associates to a couple $(X,\overline{p})$ of a filtered space and a perversity. We first establish some basic properties for the intersection fundamental groups, as a Van Kampen theorem.
For general intersection homotopy groups on Siebenmann CS sets, we prove a Hurewicz theorem between them and the Goresky and MacPherson intersection homology. If the CS set and its intrinsic stratification have the same regular part, we establish the topological invariance of the $\overline{p}$-intersection homotopy groups. Several examples justify the hypotheses made in the statements. Finally, intersection homotopy groups also coincide with the homotopy groups of the topological space itself, for the top perversity on a connected, normal Thom-Mather space. - [178] arXiv:2211.15609 (replaced) [pdf, html, other]
-
Title: Regularity of the Schramm-Loewner evolution: Up-to-constant variation and modulus of continuityComments: paper is extended in v3Subjects: Probability (math.PR); Complex Variables (math.CV)
We find optimal (up to constant) bounds for the following measures for the regularity of the Schramm-Loewner evolution (SLE): variation regularity, modulus of continuity, and law of the iterated logarithm. For the latter two we consider the SLE with its natural parametrisation. More precisely, denoting by $d\in(0,2]$ the dimension of the curve, we show the following.
1. The optimal $\psi$-variation is $\psi(x)=x^d(\log\log x^{-1})^{-(d-1)}$ in the sense that $\eta$ is a.s. of finite $\psi$-variation for this $\psi$ and not for any function decaying more slowly as $x \downarrow 0$.
2. The optimal modulus of continuity is $\omega(s) = c\,s^{1/d}(\log s^{-1})^{1-1/d}$, i.e. for some random $c>0$ we have $|\eta(t)-\eta(s)| \le \omega(t-s)$ a.s., while this does not hold for any function $\omega$ decaying faster as $s \downarrow 0$.
3. $\limsup_{t\downarrow 0} |\eta(t)|\,\big(t^{1/d}(\log\log t^{-1})^{1-1/d}\big)^{-1}$ is a.s. equal to a deterministic constant in $(0,\infty)$.
We also show that the natural parametrisation of SLE is given by the fine mesh limit of the $\psi$-variation. As part of our proof, we show that every stochastic process whose increments satisfy a particular moment condition attains a certain variation regularity. - [179] arXiv:2212.00084 (replaced) [pdf, other]
-
Title: A model-free first-order method for linear quadratic regulator with $\tilde{O}(1/\varepsilon)$ sampling complexityComments: Pre-print. 25 pages, 1 figure. Restructure paper to remove unnecessary assumptions and magnify imagesSubjects: Optimization and Control (math.OC)
We consider the classic stochastic linear quadratic regulator (LQR) problem under an infinite horizon average stage cost. By leveraging recent policy gradient methods from reinforcement learning, we obtain a first-order method that finds a stable feedback law whose objective function gap to the optima is at most $\varepsilon$ with high probability using $\tilde{O}(1/\varepsilon)$ samples, where $\tilde{O}$ hides polylogarithmic dependence on $\varepsilon$. Our proposed method seems to have the best dependence on $\varepsilon$ within the model-free literature without the assumption that all policies generated by the algorithm are stable almost surely, and it matches the best-known rate from the model-based literature, up to logarithmic factors. The improved dependence on $\varepsilon$ is achieved by showing the accuracy scales with the variance rather than the standard deviation of the gradient estimation error. Our developments that result in this improved sampling complexity fall in the category of actor-critic algorithms. The actor part involves a variational inequality formulation of the stochastic LQR problem, while in the critic part, we utilize a conditional stochastic primal-dual method and show that the algorithm has the optimal rate of convergence when paired with a shrinking multi-epoch scheme.
- [180] arXiv:2302.01498 (replaced) [pdf, html, other]
-
Title: Equilibrium transport with time-inconsistent costs: An application to matching problems in the job marketComments: Add a toy exampleSubjects: Optimization and Control (math.OC)
Given two probability measures on sequential data, we investigate the transport problem with time-inconsistent preferences in a discrete-time setting. Motivating examples are nonlinear objectives, state-dependent costs, and regularized optimal transport with general $f$-divergence. Under the bicausal constraint, we introduce the concept of equilibrium transport. Existence is proved in the semi-discrete Markovian case and the continuous non-Markovian case with strict quasiconvexity, while uniqueness also holds in the second case. We apply our framework to study inertia of two job markets, top-ranking executives and academia. The empirical analysis shows that a job market with stronger inertia is less efficient. The University of California (UC) postdoc job market has the strongest inertia even than that of executives, while there is no evidence of inertia in the UC faculty job market.
- [181] arXiv:2303.06648 (replaced) [pdf, html, other]
-
Title: On locally conformally flat manifolds with positive pinched Ricci curvatureComments: to appear in Calc. Var. Partial DifferSubjects: Differential Geometry (math.DG)
By using the Yamabe flow, we prove that if $(M^n,g)$, $n\geq3$, is an $n$-dimensional locally conformally flat complete Riemannian manifold $Rc\geq \epsilon Rg>0$, where $\epsilon>0$ is a uniformly constant, then $M^n$ must be compact. Our result shows that Hamilton's pinching conjecture also holds for higher dimensional case if we assume additionally the metric is locally conformally flat.
- [182] arXiv:2303.08165 (replaced) [pdf, html, other]
-
Title: Division rings for group algebras of virtually compact special groups and $3$-manifold groupsComments: 32 pages. Corrected titleSubjects: Group Theory (math.GR)
Let $k$ be a division ring and let $G$ be either a torsion-free virtually compact special group or a finitely generated torsion-free $3$-manifold group. We embed the group algebra $kG$ in a division ring and prove that the embedding is Hughes-free whenever $G$ is locally indicable. In particular, we prove that Kaplansky's Zero Divisor Conjecture holds for all group algebras of torsion-free $3$-manifold groups. The embedding is also used to confirm a conjecture of Kielak and Linton. Thanks to the work of Jaikin-Zapirain and Linton, another consequence of the embedding is that $kG$ is coherent whenever $G$ is a virtually compact special one-relator group.
If $G$ is a torsion-free one-relator group, let $\overline{kG}$ be the division ring containing $kG$ constructed by Lewin and Lewin. We prove that $\overline{kG}$ is Hughes-free whenever a Hughes-free $kG$-division ring exists. This is always the case when $k$ is of characteristic zero; in positive characteristic, our previous result implies that this happens when $G$ is virtually compact special. - [183] arXiv:2303.11025 (replaced) [pdf, html, other]
-
Title: Lattices of acyclic pipe dreamsComments: 35 pages, 20 figures. Version 3: Corrections from refereeSubjects: Combinatorics (math.CO)
We show that for any permutation $\omega$, the increasing flip graph on acyclic pipe dreams with exiting permutation $\omega$ is a lattice quotient of the interval $[e,\omega]$ of the weak order. We then discuss conjectural generalizations of this result to acyclic facets of subword complexes on arbitrary finite Coxeter groups.
- [184] arXiv:2304.03444 (replaced) [pdf, html, other]
-
Title: Smoothness of conformal heat flow of harmonic mapsSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
The conformal heat flow of harmonic maps is a system of evolution equations combined with harmonic map flow with metric evolution in conformal direction. It is known that global weak solution of the flow exists and smooth except at mostly finitely many singular points. In this paper, we show that no finite time singularity occurs, unlike the usual harmonic map flow. And if the initial energy is small, we can obtain the uniform convergence of the map to a point and the conformal factor of the metric under some time sequence $t_n \to \infty$. Also, under the assumption that energy concentration is uniform in time, we show that there exists a sequence of time $t_n \to \infty$ such that $f(\cdot,t_n)$ converges to a harmonic map in $W^{1,2}$ on any compact set away from at most finitely many points.
- [185] arXiv:2305.05720 (replaced) [pdf, html, other]
-
Title: Sobolev embeddings on domains involving two types of symmetriesComments: 17 pagesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
It is well known that Sobolev embeddings can be improved in the presence of symmetries. In this article, we considere the situation in which given a domain $\Omega=\Omega_1 \times \Omega_2$ in $\mathbb{R}^N$ with a cylindrical symmetry, and acting a group $G$ in $\Omega_1$, for this situation it is shown that the critical Sobolev exponent increases in the case of embeddings into weighted spaces $L^{q}_{h}(\Omega)$. In this paper, we will enunciate several results related to compact embeddings of a Sobolev space with radially symmetric functions into some weighted space $L^{q}$, with $q$ higher than the usual critical exponent.
- [186] arXiv:2305.07993 (replaced) [pdf, html, other]
-
Title: The Nonstationary Newsvendor with (and without) PredictionsSubjects: Optimization and Control (math.OC); Econometrics (econ.EM)
The classic newsvendor model yields an optimal decision for a ``newsvendor'' selecting a quantity of inventory, under the assumption that the demand is drawn from a known distribution. Motivated by applications such as cloud provisioning and staffing, we consider a setting in which newsvendor-type decisions must be made sequentially, in the face of demand drawn from a stochastic process that is both unknown and nonstationary. All prior work on this problem either (a) assumes that the level of nonstationarity is known, or (b) imposes additional statistical assumptions that enable accurate predictions of the unknown demand. Our research tackles the Nonstationary Newsvendor without these assumptions, both with and without predictions.
We first, in the setting without predictions, design a policy which we prove achieves order-optimal regret -- ours is the first policy to accomplish this without being given the level of nonstationarity of the underlying demand. We then, for the first time, introduce a model for generic (i.e. with no statistical assumptions) predictions with arbitrary accuracy, and propose a policy that incorporates these predictions without being given their accuracy. We upper bound the regret of this policy, and show that it matches the best achievable regret had the accuracy of the predictions been known.
Our findings provide valuable insights on inventory management. Managers can make more informed and effective decisions in dynamic environments, reducing costs and enhancing service levels despite uncertain demand patterns. We empirically validate our new policy with experiments based on three real-world datasets containing thousands of time-series, showing that it succeeds in closing approximately 74% of the gap between the best approaches based on nonstationarity and predictions alone. - [187] arXiv:2305.14545 (replaced) [pdf, html, other]
-
Title: Liouville property for groups and conformal dimensionComments: 41 pages, 5 figures, v3: revised version after referee reportsSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Probability (math.PR)
Conformal dimension is a fundamental invariant of metric spaces, particularly suited to the study of self-similar spaces, such as spaces with an expanding self-covering (e.g. Julia sets of complex rational functions). The dynamics of these systems are encoded by the associated iterated monodromy groups, which are examples of contracting self-similar groups. Their amenability is a well-known open question. We show that if $G$ is an iterated monodromy group, and if the (Alfhors-regular) conformal dimension of the underlying space is strictly less than 2, then every symmetric random walk with finite second moment on $G$ has the Liouville property. As a corollary, every such group is amenable. This criterion applies to all examples of contracting groups previously known to be amenable, and to many new ones. In particular, it implies that for every sub-hyperbolic complex rational function $f$ whose Julia set is not the whole sphere, the iterated monodromy group of $f$ is amenable.
- [188] arXiv:2306.16239 (replaced) [pdf, html, other]
-
Title: Equal area partitions of the sphere with diameter bounds, via optimal transportComments: 13pages. Comments welcome! Accepted to the Bulletin of the London Mathematical SocietySubjects: Optimization and Control (math.OC); Computational Geometry (cs.CG)
We prove existence of equal area partitions of the unit sphere via optimal transport methods, accompanied by diameter bounds written in terms of Monge--Kantorovich distances. This can be used to obtain bounds on the expectation of the maximum diameter of partition sets, when points are uniformly sampled from the sphere. An application to the computation of sliced Monge--Kantorovich distances is also presented.
- [189] arXiv:2307.02418 (replaced) [pdf, html, other]
-
Title: Positivity determines the quantum cohomology of the odd symplectic Grassmannian of linesSubjects: Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
Let $\mbox{IG}:=\mbox{IG}(2,2n+1)$ denote the odd symplectic Grassmannian of lines which is a horospherical variety of Picard rank 1. The quantum cohomology ring $\mbox{QH}^*(\mbox{IG})$ has negative structure constants. For $n \geq 3$, we give a positivity condition that implies the quantum cohomology ring $\mbox{QH}^*(\mbox{IG})$ is the only quantum deformation of the cohomology ring $\mbox{H}^*(\mbox{IG})$ up to the scaling of the quantum parameter. This is a modification of a conjecture by Fulton.
- [190] arXiv:2307.03127 (replaced) [pdf, html, other]
-
Title: Quantitative analysis of optimal Sobolev-Lorentz embeddings with $α$-homogeneous weightsComments: 19 pages, minor revision, accepted for publication in the Journal of Geometric AnalysisSubjects: Functional Analysis (math.FA)
Optimal weighted Sobolev-Lorentz embeddings with homogeneous weights in open convex cones are established, with the exact value of the optimal constant. These embeddings are non-compact, and this paper investigates the structure of their non-compactness quantitatively. Opposite to the previous results in this direction, the non-compactness in this case does not occur uniformly over all sub-domains of the underlying domain, and the problem is not translation invariant, and so these properties cannot be exploited here. Nevertheless, by developing a new approach based on a delicate interplay between the size of suitable extremal functions and the size of their supports, the exact values of the (ball) measure of non-compactness and of all injective strict s-numbers (in particular, of the Bernstein numbers) are obtained. Moreover, it is also shown that the embedding is not strictly singular.
- [191] arXiv:2307.06098 (replaced) [pdf, html, other]
-
Title: On the coordinate rings of Calogero-Moser spaces and the invariant commuting variety of a pair of matricesSubjects: Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
This paper presents a comprehensive description of the coordinate rings and Poisson brackets associated with the fourth Calogero-Moser space and invariant commuting pairs of matrices of size four. As an application, we compute their respective classes in the Grothendieck ring of the category of complex varieties and we offer some novel insights about the geometry of the Hilbert scheme of points on the affine plane.
- [192] arXiv:2307.09108 (replaced) [pdf, html, other]
-
Title: Stochastic dynamics of particle systems on unbounded degree graphsSubjects: Functional Analysis (math.FA); Probability (math.PR)
We consider an infinite system of coupled stochastic differential equations (SDE) describing dynamics of the following infinite particle system. Each partricle is characterised by its position $x\in \mathbb{R}^{d}$ and internal parameter (spin) $\sigma _{x}\in \mathbb{R}$. While the positions of particles form a fixed ("quenched") locally-finite set (configuration) $ \gamma \subset $ $\mathbb{R}^{d}$, the spins $\sigma _{x}$ and $\sigma _{y}$ interact via a pair potential whenever $\left\vert x-y\right\vert <\rho $, where $\rho >0$ is a fixed interaction radius. The number $n_{x}$ of particles interacting with a particle in positionn $x$ is finite but unbounded in $x$. The growth of $n_{x}$ as $x\rightarrow \infty $ creates a major technical problem for solving our SDE system. To overcome this problem, we use a finite volume approximation combined with a version of the Ovsjannikov method, and prove the existence and uniqueness of the solution in a scale of Banach spaces of weighted sequences. As an application example, we construct stochastic dynamics associated with Gibbs states of our particle system.
- [193] arXiv:2307.14931 (replaced) [pdf, html, other]
-
Title: How long are the arms in DBM?Comments: 19 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
Diffusion Limited Aggregation and its generalization, Dielectric Breakdown model play an important role in physics, approximating a range of natural phenomena. Yet little is known about them, with the famous Kesten's estimate on the DLAs growth being perhaps the most important result. Using a different approach we prove a generalisation of this result for the DBM in $\mathbb{Z}^2$ and $\mathbb{Z}^3$. The obtained estimate depends on the DBM parameter, and matches with the best known results for DLA. In particular, since our methods are different from Kesten's, our argument provides a new proof for Kesten's result both in $\mathbb{Z}^2$ and $\mathbb{Z}^3$.
- [194] arXiv:2308.13635 (replaced) [pdf, html, other]
-
Title: Letter-braiding: bridging combinatorial group theory and topologyComments: Corrected and added references, simplified introduction; 59 pagesSubjects: Group Theory (math.GR); Algebraic Topology (math.AT); Geometric Topology (math.GT)
We define invariants of words in arbitrary groups, measuring how letters in a word are interleaving, perfectly detecting the dimension series of a group. These are the letter-braiding invariants. On free groups, braiding invariants coincide with coefficients in the Magnus expansion. In contrast with Magnus' coefficients, our invariants are defined on all groups and over any PID. They respect products in the group and are a complete invariant of the dimension series, so they are the coefficients of a universal multiplicative finite-type invariant, depending functorially on the group.
Letter-braiding invariants arise from the bar construction on a cochain model of a space with a prescribed fundamental group. This approach specializes to simplicial presentations of a group as well as to more geometric contexts, which we illustrate in examples. As an application, we define variants of the Johnson filtration and the Johnson homomorphism on the automorphisms of arbitrary groups, and use them to constrain automorphisms of finite p-groups. - [195] arXiv:2309.05456 (replaced) [pdf, html, other]
-
Title: Top-degree rational cohomology in the symplectic group of a number ringComments: 18 pages, 1 figure; v2: corrected typos and improved the exposition; v3: final version, to appear in Selecta Math. (N.S.)Subjects: Number Theory (math.NT); Algebraic Topology (math.AT); Group Theory (math.GR)
Let $K$ be a number field with ring of integers $R = \mathcal{O}_K$. We show that if $R$ is not a principal ideal domain, then the symplectic group $\operatorname{Sp}_{2n}(R)$ has non-trivial rational cohomology in its virtual cohomological dimension. This demonstrates a sharp contrast to the situation where $R$ is Euclidean. To prove our result, we study the symplectic Steinberg module, i.e. the top-dimensional homology group of the spherical building associated to $\operatorname{Sp}_{2n}(K)$. We show that this module is not generated by integral apartment classes.
- [196] arXiv:2309.07744 (replaced) [pdf, html, other]
-
Title: Random Turán and counting results for general position sets over finite fieldsSubjects: Combinatorics (math.CO)
Let $\alpha(\mathbb{F}_q^d,p)$ denote the maximum size of a general position set in a $p$-random subset of $\mathbb{F}_q^d$. We determine the order of magnitude of $\alpha(\mathbb{F}_q^2,p)$ up to polylogarithmic factors for all possible values of $p$, improving the previous results obtained by Roche-Newton--Warren and Bhowmick--Roche-Newton. For $d \ge 3$ we prove upper bounds for $\alpha(\mathbb{F}_q^d,p)$ that are essentially tight within certain ranges for $p$.
We establish the upper bound $2^{(1+o(1))q}$ for the number of general position sets in $\mathbb{F}_q^d$, which matches the trivial lower bound $2^{q}$ asymptotically in the exponent. We also refine this counting result by proving an asymptotically tight (in the exponent) upper bound for the number of general position sets with a fixed size. The latter result for $d=2$ improves a result of Roche-Newton--Warren.
Our proofs are grounded in the hypergraph container method, and additionally, for $d=2$ we also leverage the pseudorandomness of the point-line incidence graph of $\mathbb{F}_{q}^2$. - [197] arXiv:2309.10207 (replaced) [pdf, html, other]
-
Title: Moments and non-vanishing of $L$-functions over thin subgroupsSubjects: Number Theory (math.NT)
We obtain an asymptotic formula for all moments of Dirichlet $L$-functions $L(1,\chi)$ modulo $p$ when averaged over a subgroup of characters $\chi$ of size $(p-1)/d$ with $\varphi(d)=o(\log p)$. Assuming the infinitude of Mersenne primes, the range of our result is optimal and improves and generalises the previous result of S. Louboutin and M. Munsch (2022) for second moments. We also use our ideas to get an asymptotic formula for the second moment of $L(1/2,\chi)$ over subgroups of characters of similar size. This leads to non-vanishing results in this family where the proportion obtained depends on the height of the smallest rational number lying in the dual group. Additionally, we prove that, in both cases, we can take much smaller subgroups for almost all primes $p$. Our method relies on pointwise and average estimates on small solutions of linear congruences which in turn leads us to use and modify some results for product sets of Farey fractions.
- [198] arXiv:2311.01750 (replaced) [pdf, html, other]
-
Title: Ramsey properties of randomly perturbed hypergraphsComments: 47 pages, 1 figure. In this version two proofs are provided for the tuple lemma; a short one employing the hypergraph counting lemma and longer one avoids the counting lemmaSubjects: Combinatorics (math.CO)
We study Ramsey properties of randomly perturbed $3$-uniform hypergraphs. For~$t\geq 2$, write $\tilde K^{(3)}_t$ to denote the $3$-uniform {\it expanded} clique hypergraph obtained from the complete graph $K_t$ by expanding each of the edges of the latter with a new additional vertex. For an even integer $t\geq 4$, let~$M$ denote the asymmetric maximal density of the pair $(\tilde K^{(3)}_t,\tilde K^{(3)}_{t/2})$. We prove that adding a set~$F$ of random hyperedges satisfying $|F|\gg n^{3-1/M}$ to a given $n$-vertex $3$-uniform hypergraph~$H$ with non-vanishing edge density asymptotically almost surely results in a perturbed hypergraph enjoying the Ramsey property for $\tilde K^{(3)}_t$ and two colours. We conjecture that this result is asymptotically best possible with respect to the size of $F$ whenever $t\geq 6$ is even. The key tools of our proof are a new variant of the hypergraph regularity lemma accompanied with a \emph{tuple lemma} providing appropriate control over joint link graphs.
Our variant combines the so called strong and the weak hypergraph regularity lemmata. - [199] arXiv:2311.03013 (replaced) [pdf, html, other]
-
Title: Generalizations of Koga's version of the Wiener-Ikehara theoremComments: 14 pages. Theorem 1.2, Theorem 1.3, Corollary 1.4, and Theorem 1.5 have been substantially improved in this new versionSubjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA); Number Theory (math.NT); Probability (math.PR)
We establish new versions of the Wiener-Ikehara theorem where only boundary assumptions on the real part of the Laplace transform are imposed. Our results generalize and improve a recent theorem of T. Koga [J. Fourier Anal. Appl. 27 (2021), Article No. 18]. As an application, we give a quick Tauberian proof of Blackwell's renewal theorem.
- [200] arXiv:2311.04041 (replaced) [pdf, html, other]
-
Title: Hilbert's projective metric for functions of bounded growth and exponential convergence of Sinkhorn's algorithmComments: This version: Added discussion of main results in introduction, simplified notation and fixed many typos. Accepted for publication in PTRFSubjects: Probability (math.PR); Optimization and Control (math.OC); Machine Learning (stat.ML)
Motivated by the entropic optimal transport problem in unbounded settings, we study versions of Hilbert's projective metric for spaces of integrable functions of bounded growth. These versions of Hilbert's metric originate from cones which are relaxations of the cone of all non-negative functions, in the sense that they include all functions having non-negative integral values when multiplied with certain test functions. We show that kernel integral operators are contractions with respect to suitable specifications of such metrics even for kernels which are not bounded away from zero, provided that the decay to zero of the kernel is controlled. As an application to entropic optimal transport, we show exponential convergence of Sinkhorn's algorithm in settings where the marginal distributions have sufficiently light tails compared to the growth of the cost function.
- [201] arXiv:2311.12218 (replaced) [pdf, html, other]
-
Title: Characterizing traces of processes defined by precedence and response constraints: an order theory approachComments: 15 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In this paper we consider a general system of activities that can, but do not have to, occur. This system is governed by a set containing two types of constraints: precedence and response. A precedence constraint dictates that an activity can only occur if it has been preceded by some other specified activity. Response constraints are similarly defined. An execution of the system is a listing of activities in the order they occur and which satisfies all constraints. These listings are known as traces. Such systems naturally arise in areas of theoretical computer science and decision science. An outcome of the freedom with which activities can occur is that there are many different possible executions, and gaining a combinatorial insight into these is a non-trivial problem.
We characterize all of the ways in which such a system can be executed. Our approach uses order theory to provide a classification in terms of the linear extensions of posets constructed from the constraint sets. This characterization is essential in calculating the stakeholder utility metrics that have been developed by the first author that allow for quantitative comparisons of such systems/processes. It also allows for a better understanding of the theoretical backbone to these processes. - [202] arXiv:2311.12910 (replaced) [pdf, html, other]
-
Title: The Hanna Neumann Conjecture for graphs of free groups with cyclic edge groupsComments: Version accepted for publication in Compos. Math. 40 pages, 3 figuresSubjects: Group Theory (math.GR)
The Hanna Neumann Conjecture (HNC) for a free group $G$ predicts that $\overline{\chi}(U\cap V)\leq \overline{\chi} (U)\overline{\chi}(V)$ for all finitely generated subgroups $U$ and $V$, where $\overline{\chi}(H) = \max\{-\chi(H),0\}$ denotes the reduced Euler characteristic of $H$. A strengthened version of the HNC was proved independently by Friedman and Mineyev in 2011. Recently, Antolín and Jaikin-Zapirain introduced the $L^2$-Hall property and showed that if $G$ is a hyperbolic limit group that satisfies this property, then $G$ satisfies the HNC. Antolín and Jaikin-Zapirain established the $L^2$-Hall property for free and surface groups, which Brown and Kharlampovich extended to all limit groups. In this article, we prove the $L^2$-Hall property for graphs of free groups with cyclic edge groups that are hyperbolic relative to virtually abelian subgroups. We also give another proof of the $L^2$-Hall property for limit groups. As a corollary, we show that all these groups satisfy a strengthened version of the HNC.
- [203] arXiv:2312.04478 (replaced) [pdf, html, other]
-
Title: On $L^p$-semigroup to Stokes equation with dynamic slip boundary condition in the half-spaceSubjects: Analysis of PDEs (math.AP)
We consider evolutionary Stokes system, coupled with the so-called dynamic slip boundary condition, in the simple geometry of a $d$-dimensional half-space. Using the Fourier transform, we obtain an explicit formula for the resolvent. Optimal regularity estimates and existence of analytic semigroup in the $L^p$-setting are then deduced using the methods of $\mathcal{H}^{\infty}$-calculus.
- [204] arXiv:2312.09385 (replaced) [pdf, other]
-
Title: Cylindrical Networks and Total NonnegativityComments: 26 pages. Significant revision of v1, with main result greatly expanded in its scopeSubjects: Combinatorics (math.CO); Classical Analysis and ODEs (math.CA)
We prove that an infinite block-Toeplitz matrix with finite diagonal support is totally nonnegative if and only if it is the weight matrix of a cylindrical network. This generalizes a well-known theorem of Brenti concerning finite totally nonnegative matrices and planar networks; in particular, our work gives an alternative, self-contained proof of the non-square case. Our argument employs Temperley-Lieb immanants, first introduced by Rhoades and Skandera, which are certain elements of Lusztig's dual canonical bases. As an application, we also obtain a new proof of a well-known theorem relating totally nonnegative block-Toeplitz matrices to interlacing polynomials.
- [205] arXiv:2312.09677 (replaced) [pdf, html, other]
-
Title: Deformations of morphisms of sheavesComments: 22 pages, revised version according to referee's comments, accepted for publication in Canadian Journal of MathematicsSubjects: Algebraic Geometry (math.AG)
We analyse infinitesimal deformations of morphisms of locally free sheaves on a smooth projective variety $X$ over an algebraically closed field of characteristic zero. In particular, we describe a differential graded Lie algebra controlling the deformation problem. As an application, we study infinitesimal deformations of pairs given by a locally free sheaf and a subspace of it sections with a view towards Brill-Noether theory.
- [206] arXiv:2312.13387 (replaced) [pdf, html, other]
-
Title: Asymptotic properties of adaptive designs through differentiability in quadratic meanSubjects: Statistics Theory (math.ST)
There exist multiple regression applications in engineering, industry and medicine where the outcomes follow an adaptive experimental design in which the next measurement depends on the previous observations, so that the observations are not conditionally independent given the covariates. In the existing literature on such adaptive designs, results asserting asymptotic normality of the maximum likelihood estimator require regularity conditions involving the second or third derivatives of the log-likelihood. Here we instead extend the theory of differentiability in quadratic mean (DQM) to the setting of adaptive designs, which requires strictly fewer regularity assumptions than the classical theory. In doing so, we discover a new DQM assumption, which we call summable differentiability in quadratic mean (S-DQM). As applications, we first verify asymptotic normality for two classical adaptive designs, namely the Bruceton 'up-and-down' design and the Robbins-Monro design. Next, we consider a more complicated problem, namely a Markovian version of the Langlie design.
- [207] arXiv:2312.16008 (replaced) [pdf, other]
-
Title: Potts and random cluster measures on locally regular-tree-like graphsComments: 48 pages, minor changes in v2Subjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
Fixing $\beta \ge 0$ and an integer $q \ge 2$, consider the ferromagnetic $q$-Potts measures $\mu_n^{\beta,B}$ on finite graphs ${\sf G}_n$ on $n$ vertices, with external field strength $B \ge 0$ and the corresponding random cluster measures $\varphi^{q,\beta,B}_{n}$. Suppose that as $n \to \infty$ the uniformly sparse graphs ${\sf G}_n$ converge locally to an infinite $d$-regular tree ${\sf T}_{d}$, $d \ge 3$. We show that the convergence of the Potts free energy density to its Bethe replica symmetric prediction (which has been proved in case $d$ is even, or when $B=0$), yields the local weak convergence of $\varphi^{q,\beta,B}_n$ and $\mu_n^{\beta,B}$ to the corresponding free or wired random cluster measure, Potts measure, respectively, on ${\sf T}_{d}$. The choice of free versus wired limit is according to which has the larger Potts Bethe functional value, with mixtures of these two appearing {as limit points on} the critical line $\beta_c(q,B)$ where these two values of the Bethe functional coincide. For $B=0$ and $\beta>\beta_c$, we further establish a pure-state decomposition by showing that conditionally on the same dominant color $1 \le k \le q$, the $q$-Potts measures on such edge-expander graphs ${\sf G}_n$ converge locally to the $q$-Potts measure on ${\sf T}_{d}$ with a boundary wired at color $k$.
- [208] arXiv:2401.00614 (replaced) [pdf, html, other]
-
Title: On Nontrivial Winning and Losing Parameters of Schmidt GamesComments: Some issues are corrected // 21 pages, 7 figuresSubjects: Number Theory (math.NT)
In this paper we study the classical Schmidt game on two families of sets: one related to frequencies of digits in base-$2$ expansions, and one connected to the set of the badly approximable numbers. Namely, we describe some nontrivial winning and losing parameters $(\alpha, \beta)$ for these sets.
- [209] arXiv:2401.16130 (replaced) [pdf, other]
-
Title: A polytopal discrete de Rham complex on manifolds, with application to the Maxwell equationsSubjects: Numerical Analysis (math.NA)
We design in this work a discrete de Rham complex on manifolds. This complex, written in the framework of exterior calculus, has the same cohomology as the continuous de Rham complex, is of arbitrary order of accuracy and, in principle, can be designed on meshes made of generic elements (that is, elements whose boundary is the union of an arbitrary number of curved edges/faces). Notions of local (full and trimmed) polynomial spaces are developed, with compatibility requirements between polynomials on mesh entities of various dimensions. We give explicit constructions of such polynomials in 2D, for some meshes made of curved triangles or quadrangles (such meshes are easy to design in many cases, starting from a few charts describing the manifold). The discrete de Rham complex is then used to set up a scheme for the Maxwell equations on a 2D manifold without boundary, and we show that a natural discrete version of the constraint linking the electric field and the electric charge density is satisfied. Numerical examples are provided on the sphere and the torus, based on bespoke analytical solutions and meshes on each of these manifolds.
- [210] arXiv:2402.18316 (replaced) [pdf, html, other]
-
Title: Stability and instability of the quasilinear Gross--Pitaevskii dark solitonsComments: 16 pages, 2 figures, typos correctedSubjects: Analysis of PDEs (math.AP)
We study a quasilinear Schrödinger equation with nonzero conditions at infinity. In previous works, we obtained a continuous branch of traveling waves, given by dark solitons indexed by their speed. Neglecting the quasilinear term, one recovers the Gross--Pitaevskii equation, for which the branch of dark solitons is stable. Moreover, Z.~Lin showed that the Vakhitov--Kolokolov~(VK) stability criterion (in terms of the momentum of solitons) holds for general semilinear equations with nonvanishing conditions at infinity.
In the quasilinear case, we prove that the VK stability criterion still applies, by generalizing Lin's arguments. Therefore, we deduce that the branch of dark solitons is stable for weak quasilinear interactions. For stronger quasilinear interactions, a cusp appears in the energy-momentum diagram, implying the stability of fast waves and the instability of slow waves. - [211] arXiv:2403.03178 (replaced) [pdf, html, other]
-
Title: Reduction of Cosymplectic groupoids by cosymplectic moment mapsComments: 16 pagesSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG)
The Marsden-Weinstein-Meyer symplectic reduction has an analogous version for cosymplectic manifolds. In this paper we extend this cosymplectic reduction to the context of groupoids. Moreover, we prove how in the case of an algebroid associated to a cosymplectic groupoid, the integration commutes with the reduction (analogously to what happens in Poisson geometry). On the other hand, we show how the cosymplectic reduction of a groupoid induces a symplectic reduction on a canonical symplectic subgroupoid. Finally, we study what happens to the multiplicative Chern class associated with the $S^1$-central extensions of the reduced groupoid.
- [212] arXiv:2403.10527 (replaced) [pdf, html, other]
-
Title: The Graph Fractional Fourier Transform in Hilbert SpaceComments: 16 pages, 15 figuresSubjects: General Mathematics (math.GM)
Graph signal processing (GSP) leverages the inherent signal structure within graphs to extract high-dimensional data without relying on translation invariance. It has emerged as a crucial tool across multiple fields, including learning and processing of various networks, data analysis, and image processing. In this paper, we introduce the graph fractional Fourier transform in Hilbert space (HGFRFT), which provides additional fractional analysis tools for generalized GSP by extending Hilbert space and vertex domain Fourier analysis to fractional order. First, we establish that the proposed HGFRFT extends traditional GSP, accommodates graphs on continuous domains, and facilitates joint time-vertex domain transform while adhering to critical properties such as additivity, commutativity, and invertibility. Second, to process generalized graph signals in the fractional domain, we explore the theory behind filtering and sampling of signals in the fractional domain. Finally, our simulations and numerical experiments substantiate the advantages and enhancements yielded by the HGFRFT.
- [213] arXiv:2403.12941 (replaced) [pdf, html, other]
-
Title: Sinaĭ excursionsComments: v4: many small improvements; added Corollary 5.1Subjects: Probability (math.PR); Combinatorics (math.CO)
Sinaĭ initiated the study of random walks with persistently positive area processes, motivated by shock waves in solutions to the inviscid Burgers' equation. We find the precise asymptotic probability that the area process of a random walk bridge is an excursion. A key ingredient is an analogue of Sparre Andersen's classical formula. The asymptotics are related to von Sterneck's subset counting formulas from additive number theory. Our results sharpen bounds by Aurzada, Dereich and Lifshits and respond to a question of Caravenna and Deuschel, which arose in their study of the wetting model. In this context, Sina\uı excursions are a class of random polymer chains exhibiting entropic repulsion.
- [214] arXiv:2403.15929 (replaced) [pdf, html, other]
-
Title: Counting induced subgraphs with the Kromatic symmetric functionComments: 12 pages, comments welcome! v2: corrected a small error with one of the order 5 graphsSubjects: Combinatorics (math.CO)
The chromatic symmetric function $X_G$ is a sum of monomials corresponding to proper vertex colorings of a graph $G$. Crew, Pechenik, and Spirkl (2023) recently introduced a $K$-theoretic analogue $\overline{X}_G$ called the Kromatic symmetric function, where each vertex is instead assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. $X_G$ does not distinguish all graphs, but a longstanding open question is whether it distinguishes all trees. We conjecture that $\overline{X}_G$ does distinguish all graphs. As evidence towards this conjecture, we show that $\overline{X}_G$ determines the number of copies in $G$ of certain induced subgraphs on 4 and 5 vertices as well as the number of induced subgraphs isomorphic to each graph consisting of a star plus some number of isolated vertices.
- [215] arXiv:2403.16775 (replaced) [pdf, html, other]
-
Title: Stochastic Inertial Dynamics Via Time Scaling and AveragingComments: 35 pages. arXiv admin note: text overlap with arXiv:2403.06708Subjects: Optimization and Control (math.OC)
Our work is part of the close link between continuous-time dissipative dynamical systems and optimization algorithms, and more precisely here, in the stochastic setting. We aim to study stochastic convex minimization problems through the lens of stochastic inertial differential inclusions that are driven by the subgradient of a convex objective function. This will provide a general mathematical framework for analyzing the convergence properties of stochastic second-order inertial continuous-time dynamics involving vanishing viscous damping and measurable stochastic subgradient selections. Our chief goal in this paper is to develop a systematic and unified way that transfers the properties recently studied for first-order stochastic differential equations to second-order ones involving even subgradients in lieu of gradients. This program will rely on two tenets: time scaling and averaging, following an approach recently developed in the literature by one of the co-authors in the deterministic case.
Under a mild integrability assumption involving the diffusion term and the viscous damping, our first main result shows that almost surely, there is weak convergence of the trajectory towards a minimizer of the objective function and fast convergence of the values and gradients. We also provide a comprehensive complexity analysis by establishing several new pointwise and ergodic convergence rates in expectation for the convex, strongly convex, and (local) Polyak-Lojasiewicz case. Finally, using Tikhonov regularization with a properly tuned vanishing parameter, we can obtain almost sure strong convergence of the trajectory towards the minimum norm solution. - [216] arXiv:2403.18390 (replaced) [pdf, html, other]
-
Title: Sails for universal quadratic formsComments: Published version, 22 pagesJournal-ref: Selecta Math. (N.S.) 31 (2025), article 26Subjects: Number Theory (math.NT)
We establish a new connection between sails, a key notion in the geometric theory of generalised continued fractions, and arithmetic of totally real number fields, specifically, universal quadratic forms and additively indecomposable integers. Our main application is to biquadratic fields, for which we show that if their signature rank is at least 3, then ranks of universal forms and numbers of indecomposables grow as a power of the discriminant. We also construct a family in which these numbers grow only logarithmically.
- [217] arXiv:2404.00652 (replaced) [pdf, html, other]
-
Title: Principal polarizations on products of abelian varieties over finite fieldsSubjects: Algebraic Geometry (math.AG)
We refine and generalize the results of K. E. Lauter and E. W. Howe on principal polarizations on products of abelian varieties over finite fields. Firstly, we study the reasons for the absence of an irreducible principal polarization in the isogeny class of the product of an ordinary and a supersingular abelian variety. Secondly, we provide a necessary condition for the existence of a principal polarization on an abelian variety in the isogeny class of the product of a geometrically simple abelian surface and an elliptic curve. As an application, we prove that this abelian threefold or its quadratic twist is a Jacobian.
- [218] arXiv:2404.01756 (replaced) [pdf, html, other]
-
Title: Antiparticles in non-relativistic quantum mechanicsComments: 20 pages; v4: some clarificationsSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Quantum Physics (quant-ph)
Non-relativistic quantum mechanics was originally formulated to describe particles. Using ideas from the geometric quantization approach, we show how the concept of antiparticles can and should be introduced in the non-relativistic case without appealing to quantum field theory. We discuss this in detail using the example of the one-dimensional harmonic oscillator.
- [219] arXiv:2404.06849 (replaced) [pdf, html, other]
-
Title: Higher Order Lipschitz Sandwich TheoremsComments: Version Accepted for Publication in the Journal of the London Mathematical Society. arXiv admin note: substantial text overlap with arXiv:2205.07495Subjects: Classical Analysis and ODEs (math.CA); Differential Geometry (math.DG); Numerical Analysis (math.NA)
We investigate the consequence of two Lip$(\gamma)$ functions, in the sense of Stein, being close throughout a subset of their domain. A particular consequence of our results is the following. Given $K_0 > \varepsilon > 0$ and $\gamma > \eta > 0$ there is a constant $\delta = \delta(\gamma,\eta,\varepsilon,K_0) > 0$ for which the following is true. Let $\Sigma \subset \mathbb{R}^d$ be closed and $f , h : \Sigma \to \mathbb{R}$ be Lip$(\gamma)$ functions whose Lip$(\gamma)$ norms are both bounded above by $K_0$. Suppose $B \subset \Sigma$ is closed and that $f$ and $h$ coincide throughout $B$. Then over the set of points in $\Sigma$ whose distance to $B$ is at most $\delta$ we have that the Lip$(\eta)$ norm of the difference $f-h$ is bounded above by $\varepsilon$. More generally, we establish that this phenomenon remains valid in a less restrictive Banach space setting under the weaker hypothesis that the two Lip$(\gamma)$ functions $f$ and $h$ are only close in a pointwise sense throughout the closed subset $B$. We require only that the subset $\Sigma$ be closed; in particular, the case that $\Sigma$ is finite is covered by our results. The restriction that $\eta < \gamma$ is sharp in the sense that our result is false for $\eta := \gamma$.
- [220] arXiv:2404.10858 (replaced) [pdf, other]
-
Title: Koszulity, supersolvability, and Stirling representationsComments: v3: final version, to appear in Annals of Representation TheorySubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Rings and Algebras (math.RA)
Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.
- [221] arXiv:2404.11188 (replaced) [pdf, html, other]
-
Title: Representations of $SL_2(F)$Comments: 44 pages This is the final version,Subjects: Representation Theory (math.RT)
Let $p$ be a prime number, $F $ a non-archimedean local field with residue characteristic $p$, and $R$ an algebraically closed field of characteristic different from $ p$. We thoroughly investigate the irreducible smooth $R$-representations of $SL_2(F)$. The components of an irreducible smooth $R$-representation $\Pi$ of $GL_2(F)$ restricted to $SL_2(F)$ form an $L$-packet $L(\Pi)$. We use the classification of such $\Pi$ to determine the cardinality of $L(\Pi)$, which is $1,2$ or $4$. When $p=2$ we have to use the Langlands correspondence for $GL_2(F)$. When $\ell$ is a prime number distinct from $p$ and $R=\mathbb Q_\ell^{ac}$, we establish the behaviour of an integral $L$-packet under reduction modulo $\ell$. We prove a Langlands correspondence for $SL_2(F)$, and even an enhanced one when the characteristic of $R$ is not $2$. Finally, pursuing a theme of \cite{HV23}, which studied the case of inner forms of $GL_n(F)$, we show that near identity an irreducible smooth R-representation of $SL_2(F)$ is, up to a finite dimensional representation, isomorphic to a sum of $1,2$ or $4$ representations in an $L$-packet of size $4$ (when $p$ is odd there is only one such $L$-packet).
- [222] arXiv:2404.12137 (replaced) [pdf, html, other]
-
Title: Estimation of subcritical Galton Watson processes with correlated immigrationYacouba Boubacar Mainassara (UPHF, INSA Hauts-De-France, CERAMATHS), Landy Rabehasaina (UFC, LMB)Subjects: Statistics Theory (math.ST)
We consider an observed subcritical Galton Watson process $\{Y_n,\ n\in \mathbb{Z} \}$ with correlated stationary immigration process $\{\epsilon_n,\ n\in \mathbb{Z} \}$. Two situations are presented. The first one is when $\mbox{Cov}(\epsilon_0,\epsilon_k)=0$ for $k$ larger than some $k_0$: a consistent estimator for the reproduction and mean immigration rates is given, and a central limit theorem is proved. The second one is when $\{\epsilon_n,\ n\in \mathbb{Z} \}$ has general correlation structure: under mixing assumptions, we exhibit an estimator for the the logarithm of the reproduction rate and we prove that it converges in quadratic mean with explicit speed. In addition, when the mixing coefficients decrease fast enough, we provide and prove a two terms expansion for the estimator. Numerical illustrations are provided.
- [223] arXiv:2404.18505 (replaced) [pdf, html, other]
-
Title: R3MG: R-tree based agglomeration of polytopal grids with applications to multilevel methodsComments: 26 pages, 22 figures, 5 tablesJournal-ref: Journal of Computational Physics, Volume 526, 2025, 113773, ISSN 0021-9991Subjects: Numerical Analysis (math.NA)
We present a novel approach to perform agglomeration of polygonal and polyhedral grids based on spatial indices. Agglomeration strategies are a key ingredient in polytopal methods for PDEs as they are used to generate (hierarchies of) computational grids from an initial grid. Spatial indices are specialized data structures that significantly accelerate queries involving spatial relationships in arbitrary space dimensions. We show how the construction of the R-tree spatial database of an arbitrary fine grid offers a natural and efficient agglomeration strategy with the following characteristics: i) the process is fully automated, robust, and dimension-independent, ii) it automatically produces a balanced and nested hierarchy of agglomerates, and iii) the shape of the agglomerates is tightly close to the respective axis aligned bounding boxes. Moreover, the R-tree approach provides a full hierarchy of nested agglomerates which permits fast query and allows for efficient geometric multigrid methods to be applied also to those cases where a hierarchy of grids is not present at construction time. We present several examples based on polygonal discontinuous Galerkin methods, confirming the effectiveness of our approach in the context of challenging three-dimensional geometries and the design of geometric multigrid preconditioners.
- [224] arXiv:2406.02792 (replaced) [pdf, html, other]
-
Title: Weak Degeneracy of Planar GraphsComments: 13 pages, 3 figuresSubjects: Combinatorics (math.CO)
The weak degeneracy of a graph $G$ is a numerical parameter that was recently introduced by the first two authors with the aim of understanding the power of greedy algorithms for graph coloring. Every $d$-degenerate graph is weakly $d$-degenerate, but the converse is not true in general (for example, all connected $d$-regular graphs except cycles and cliques are weakly $(d-1)$-degenerate). If $G$ is weakly $d$-degenerate, then the list-chromatic number of $G$ is at most $d+1$, and the same upper bound holds for various other parameters such as the DP-chromatic number and the paint number. Here we rectify a mistake in a paper of the first two authors and give a correct proof that planar graphs are weakly $4$-degenerate, strengthening the famous result of Thomassen that planar graphs are $5$-list-colorable.
- [225] arXiv:2406.08852 (replaced) [pdf, other]
-
Title: On Fukaya categories and prequantization bundlesComments: 55 pagesSubjects: Symplectic Geometry (math.SG)
We show: the Floer homology over the Novikov ring of (nonexact!) rational Lagrangians in an (nonexact!) integral symplectic manifold can be computed in terms of exact Lagrangians in an exact filling of the prequantization bundle. As a consequence, we give a Fukaya-sheaf correspondence for rational (nonexact!) Lagrangians in Weinstein manifolds, as conjectured by Ike and the first-named author. We also show that bounding cochains for immersed rational Lagrangians transform naturally under Legendrian isotopy, as conjectured by Akaho and Joyce. As an illustration, we show that quantum cohomology of the complex projective line -- which requires the counting of one holomorphic sphere -- can be recovered from purely sheaf-theoretic calculations.
- [226] arXiv:2406.14414 (replaced) [pdf, html, other]
-
Title: Normal forms for ordinary differential operators, IComments: V2: minor changes, 62 p; V3: minor changes, 64 pSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Rings and Algebras (math.RA)
In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain two applications in different directions of algebra/algebraic geometry.
The first application is a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups.
The second application is a commutativity criterion for operators in the Weyl algebra or, more generally, in the ring of ordinary differential operators, which we prove in the case when operators have a normal form with the restriction top line (for details see Introduction).
Both applications are obtained with the help of normal forms. Namely, considering the ring of ordinary differential operators $D_1=K[[x]][\partial ]$ as a subring of a certain complete non-commutative ring $\hat{D}_1^{sym}$, the normal forms of differential operators mentioned here are obtained after conjugation by some invertible operator ("Schur operator"), calculated using one of the operators in a ring. Normal forms of commuting operators are polynomials with constant coefficients in the differentiation, integration and shift operators, which have a restricted finite order in each variable, and can be effectively calculated for any given commuting operators. - [227] arXiv:2406.16832 (replaced) [pdf, html, other]
-
Title: Numerical methods for eigenvalues of singular polynomial eigenvalue problemsSubjects: Numerical Analysis (math.NA)
Recently, three numerical methods for the computation of eigenvalues of singular matrix pencils, based on a rank-completing perturbation, a rank-projection, or an augmentation were developed. We show that all three approaches can be generalized to treat singular polynomial eigenvalue problems. The common denominator of all three approaches is a transformation of a singular into a regular matrix polynomial whose eigenvalues are a disjoint union of the eigenvalues of the singular polynomial, called true eigenvalues, and additional fake eigenvalues. The true eigenvalues can then be separated from the fake eigenvalues using information on the corresponding left and right eigenvectors. We illustrate the approaches on several interesting applications, including bivariate polynomial systems and ZGV points.
- [228] arXiv:2406.19962 (replaced) [pdf, html, other]
-
Title: Deletion formulas for equivariant Kazhdan-Lusztig polynomials of matroidsComments: 14 pages. To appear on SIAM Journal on Discrete MathematicsSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
We study equivariant Kazhdan--Lusztig (KL) and $Z$-polynomials of matroids. We formulate an equivariant generalization of a result by Braden and Vysogorets that relates the equivariant KL and $Z$-polynomials of a matroid with those of a single-element deletion. We also discuss the failure of equivariant $\gamma$-positivity for the $Z$-polynomial. As an application of our main result, we obtain a formula for the equivariant KL polynomial of the graphic matroid gotten by gluing two cycles. Furthermore, we compute the equivariant KL polynomials of all matroids of corank~$2$ via valuations. This provides an application of the machinery of Elias, Miyata, Proudfoot, and Vecchi to corank $2$ matroids, and it extends results of Ferroni and Schröter.
- [229] arXiv:2407.00800 (replaced) [pdf, html, other]
-
Title: Boundedness of weak solutions to degenerate Kolmogorov equations of hypoelliptic type in bounded domainsComments: 18 pages, fixed mistakes in Section 2Subjects: Analysis of PDEs (math.AP)
We establish the boundedness of weak subsolutions for a class of degenerate Kolmogorov equations of hypoelliptic type, compatible with a homogeneous Lie group structure, within bounded product domains using the De Giorgi iteration. We employ the renormalization formula to handle boundary values and provide energy estimates. An $L^1$-$L^p$ type embedding estimate derived from the fundamental solution is utilized to incorporate lower-order divergence terms. This work naturally extends the boundedness theory for uniformly parabolic equations, with matching exponents for the coefficients.
- [230] arXiv:2407.01841 (replaced) [pdf, html, other]
-
Title: An infinite server system with packing constraints and ranked serversComments: Revision. 18 pagesSubjects: Probability (math.PR); Networking and Internet Architecture (cs.NI)
A service system with multiple types of customers, arriving as Poisson processes, is considered. The system has infinite number of servers, ranked by $1,2,3, \ldots$; a server rank is its ``location." Each customer has an independent exponentially distributed service time, with the mean determined by its type. Multiple customers (possibly of different types) can be placed for service into one server, subject to ``packing'' constraints. Service times of different customers are independent, even if served simultaneously by the same server. The large-scale asymptotic regime is considered, such that the mean number of customers $r$ goes to infinity.
We seek algorithms with the underlying objective of minimizing the location (rank) $U$ of the right-most (highest ranked) occupied (non-empty) server. Therefore, this objective seeks to minimize the total number $Q$ of occupied servers {\em and} keep the set of occupied servers as far at the ``left'' as possible, i.e., keep $U$ close to $Q$. In previous work, versions of {\em Greedy Random} (GRAND) algorithm have been shown to asymptotically minimize $Q/r$ as $r\to\infty$. In this paper we show that when these algorithms are combined with the First-Fit rule for ``taking'' empty servers, they asymptotically minimize $U/r$ as well. - [231] arXiv:2407.02289 (replaced) [pdf, html, other]
-
Title: Some properties of a non-hydrostatic stochastic oceanic primitive equations modelSubjects: Probability (math.PR); Mathematical Physics (math-ph)
In this paper, we study how relaxing the classical hydrostatic balance hypothesis affects theoretical aspects of the LU primitive equations well-posedness. We focus on models that sit between incompressible 3D LU Navier-Stokes equations and standard LU primitive equations, aiming for numerical manageability while capturing non-hydrostatic phenomena. Our main result concerns the well-posedness of a specific stochastic interpretation of the LU primitive equations. This holds with rigid-lid type boundary conditions, and when the horizontal component of noise is independent of z. In fact these conditions can be related to the dynamical regime in which the primitive equations remain valid. Moreover, under these conditions, we show that the LU primitive equations solution tends toward the one of the deterministic primitive equations for a vanishing noise, thus providing a physical coherence to the LU stochastic model.
- [232] arXiv:2407.08465 (replaced) [pdf, html, other]
-
Title: Finite model property of pretransitive analogues of (w)K4 and GLComments: 21 pages. The whole document is reworked. One new result about the Löb's rule is addedSubjects: Logic (math.LO)
A normal modal logic is pretransitive, if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. In the present work we establish the finite model property for pretransitive generalizations of K4, wK4, GL, and their extensions by canonical subframe-hereditary formulas.
- [233] arXiv:2407.13464 (replaced) [pdf, html, other]
-
Title: Critical values of $L$-functions of residual representations of $\mathrm{GL}_4$Comments: Minor changesSubjects: Number Theory (math.NT)
In this paper we prove rationality results of critical values for $L$-functions attached to representations in the residual spectrum of $\mathrm{GL}_4(\mathbb{A})$. We use the Jacquet-Langlands correspondence to describe their partial $L$-functions via cuspidal automorphic representations of the group $\mathrm{GL}_2'(\mathbb{A})$ over a quaternion algebra. Using ideas inspired by results of Grobner and Raghuram we are then able to compute the critical values as a Shalika period up to a rational multiple.
- [234] arXiv:2407.13651 (replaced) [pdf, html, other]
-
Title: Roos axiom holds for quasi-coherent sheavesComments: LaTeX 2e, 27 pages; v.2: the first version v1 corresponds to Section 3 of the updated version v2; new Sections 1, 2, and 4 added; v.3: several misprints corrected, references updatedSubjects: Algebraic Geometry (math.AG); Category Theory (math.CT)
Let $X$ be either a quasi-compact semi-separated scheme, or a Noetherian scheme of finite Krull dimension. We show that the Grothendieck abelian category $X{-}\mathsf{Qcoh}$ of quasi-coherent sheaves on $X$ satisfies the Roos axiom $\mathrm{AB}4^*$-$n$: the derived functors of infinite direct product have finite homological dimension in $X{-}\mathsf{Qcoh}$. In each of the two settings, two proofs of the main result are given: a more elementary one, based on the Cech coresolution, and a more conceptual one, demonstrating existence of a generator of finite projective dimension in $X{-}\mathsf{Qcoh}$ in the semi-separated case and using the co-contra correspondence (with contraherent cosheaves) in the Noetherian case. The hereditary complete cotorsion pair (very flat quasi-coherent sheaves, contraadjusted quasi-coherent sheaves) in the abelian category $X{-}\mathsf{Qcoh}$ for a quasi-compact semi-separated scheme $X$ is discussed.
- [235] arXiv:2407.16147 (replaced) [pdf, html, other]
-
Title: Nonlocal Liouville theorems with gradient nonlinearityComments: 30 pages, Introduction revisedSubjects: Analysis of PDEs (math.AP)
In this article we consider a large family of nonlinear nonlocal equations involving gradient nonlinearity and provide a unified approach, based on the Ishii-Lions type technique, to establish Liouville properties of the solutions. We also answer an open problem raised by [24]. Some applications to regularity issues are also studied.
- [236] arXiv:2407.18286 (replaced) [pdf, html, other]
-
Title: A note on meromorphic functions on a compact Riemann surface having poles at a single pointComments: 7 pages. arXiv admin note: substantial text overlap with arXiv:2206.14572Subjects: Complex Variables (math.CV)
The Riemann -Rock theorem plays a central role in the theory of Riemann surfaces with applications to several branches in Mathematics and Physics. Suppose $X$ ia a compact Riemann surface of genus $g$ and $P \in X$. By the Riemann-Roch theorem there exists a meromorphic function on $X$ having a pole at $P$ and is holomorphic in $X \setminus \{P\}$. The Weierstrass gap theorem gives more information on the order of the pole at $P$. It determines a sequence of $g$ distinct numbers $1 < n_k < 2g$, $1 \leq k \leq g$ for which a meromorphic function with the order $n_k$, fails to exist at $P$ and it can be obtained again as an application of Riemann-Roch theorem. In this note, we give proof of the Weierstrass gap theorem, using the dimensions of the cohomology groups and find an interesting combinatorial problem, which may be seen as a byproduct from the statement of the Weierstrass gap theorem. A short note is given at the end on Weierstrass points where a meromorphic function with lower order pole $\leq g$ exists and obtain some consequences of Weierstrass gap theorem.
- [237] arXiv:2407.20721 (replaced) [pdf, html, other]
-
Title: On the cyclicity of hyperbolic polycyclesSubjects: Dynamical Systems (math.DS)
Let $X$ be a planar smooth vector field with a polycycle $\Gamma^n$ with $n$ sides and all its corners, that are at most $n$ singularities, being hyperbolic saddles. In this paper we study the cyclicity of $\Gamma^n$ in terms of the hyperbolicity ratios of these saddles, giving explicit conditions that ensure that it is at least $k,$ for any $k\leqslant n.$ Our result extends old results and also provides a more accurate proof of the known ones because we rely on some recent powerful works that study in more detail the regularity with respect to initial conditions and parameters of the Dulac map of hyperbolic saddles for families of vector fields. We also prove that when $X$ is polynomial there is a polynomial perturbation (in general with degree much higher that the one of $X$) that attains each of the obtained lower bounds for the cyclicities. Finally, we also study some related inverse problems and provide concrete examples of applications in the polynomial world.
- [238] arXiv:2407.21420 (replaced) [pdf, other]
-
Title: Whitney extensions on symmetric spacesComments: 27 pagesSubjects: Representation Theory (math.RT); Machine Learning (stat.ML)
In 1934, H. Whitney introduced the problem of extending a function on a set of points in $\mathbb{R}^n$ to an analytic function on the ambient space. In this article we prove Whitney type extension theorems for data on some homogeneous spaces. We use harmonic analysis on the homogeneous spaces and representation theory of compact as well as noncompact reductive groups.
- [239] arXiv:2408.05311 (replaced) [pdf, html, other]
-
Title: Key-avoidance for alternating sign matricesComments: 28 pagesSubjects: Combinatorics (math.CO)
We initiate a systematic study of key-avoidance on alternating sign matrices (ASMs) defined via pattern-avoidance on an associated permutation called the \emph{key} of an ASM. We enumerate alternating sign matrices whose key avoids a given set of permutation patterns in several instances. We show that ASMs whose key avoids $231$ are permutations, thus any known enumeration for a set of permutation patterns including $231$ extends to ASMs. We furthermore enumerate by the Catalan numbers ASMs whose key avoids both $312$ and $321$. We also show ASMs whose key avoids $312$ are in bijection with the gapless monotone triangles of [Ayyer, Cori, Gouyou-Beauchamps 2011]. Thus key-avoidance generalizes the notion of $312$-avoidance studied there. Finally, we enumerate ASMs with a given key avoiding $312$ and $321$ using a connection to Schubert polynomials, thereby deriving an interesting Catalan identity.
- [240] arXiv:2408.05944 (replaced) [pdf, html, other]
-
Title: Uncertainty Quantification of Spectral Estimator and MLE for Orthogonal Group SynchronizationSubjects: Statistics Theory (math.ST); Information Theory (cs.IT); Optimization and Control (math.OC)
Orthogonal group synchronization aims to recover orthogonal group elements from their noisy pairwise measurements. It has found numerous applications including computer vision, imaging science, and community detection. Due to the orthogonal constraints, it is often challenging to find the least squares estimator in presence of noise. In the recent years, semidefinite relaxation (SDR) and spectral methods have proven to be powerful tools in recovering the group elements. In particular, under additive Gaussian noise, the SDR exactly produces the maximum likelihood estimator (MLE), and both MLE and spectral methods are able to achieve near-optimal statistical error. In this work, we take one step further to quantify the uncertainty of the MLE and spectral estimators by considering their distributions. By leveraging the orthogonality constraints in the likelihood function, we obtain a second-order expansion of the MLE and spectral estimator with the leading terms as an anti-symmetric Gaussian random matrix that is on the tangent space of the orthogonal matrix. This also implies state-of-the-art min-max risk bounds and a confidence region of each group element as a by-product. Our works provide a general theoretical framework that is potentially useful to find an approximate distribution of the estimators arising from many statistical inference problems with manifold constraints. The numerical experiments confirm our theoretical contribution.
- [241] arXiv:2408.08370 (replaced) [pdf, html, other]
-
Title: When invariance implies exchangeability (and applications to invariant Keisler measures)Comments: 58 pages, 5 figuresSubjects: Logic (math.LO); Combinatorics (math.CO); Dynamical Systems (math.DS); Probability (math.PR)
We study the problem of when, given a countable homogeneous structure $M$ and a space $S$ of expansions of $M$, every $\mathrm{Aut}(M)$-invariant probability measure on $S$ is exchangeable (i.e. invariant under all permutations of the domain). We show, for example, that if $M$ is a finitely bounded homogeneous $3$-hypergraph with free amalgamation (including the generic tetrahedron-free $3$-hypergraph), all $\mathrm{Aut}(M)$-invariant random expansions by graphs are exchangeable. Moreover, we extend and recover both the work of Angel, Kechris, and Lyons on invariant random orderings and some of the work of Crane and Towsner, and Ackerman on relative exchangeability.
In the second part of the paper, we apply our results to the study of invariant Keisler measures, which we prove to be particular invariant random expansions. Thus, we describe the spaces of invariant Keisler measures of various homogeneous structures, obtaining the first results of this kind since the work of Albert and Ensley. We also show there are $2^{\aleph_0}$ supersimple homogeneous ternary structures for which there are non-forking formulas which are universally measure zero. - [242] arXiv:2408.12278 (replaced) [pdf, html, other]
-
Title: Generalized Fruit Diophantine equation over number fieldsComments: 6 pagesSubjects: Number Theory (math.NT)
Let $K$ be a number field, and $\mathcal{O}_K$ be the ring of integers of $K$. In this article, we study the solutions of the generalized fruit Diophantine equation $ax^d-y^2-z^2 +xyz-c=0$ over $K$, where $a,c\in \mathcal{O}_K\setminus \{0\}$. We also provide explicit values of square-free integers $t$ such that the equation $ax^d-y^2-z^2 +xyz-c=0$ has no solution $(x_0, y_0, z_0) \in \mathcal{O}_{\mathbb{Q}(\sqrt{t})}^3$ with $2 | x_0$ and show that the set of all such square-free integers $t$ with $t \geq 2$ has density at least $\frac{1}{6}$. As an application, we construct infinitely many elliptic curves $E$ defined over number fields $K$ having no integral point $(x_0,y_0) \in \mathcal{O}_K^2$ with $2|x_0$.
- [243] arXiv:2408.13043 (replaced) [pdf, html, other]
-
Title: Commutator-free Cayley methodsComments: 18 pages, 3 figures, submitted for a review in SINUM (SIAM Journal on Numerical Analysis)Subjects: Numerical Analysis (math.NA)
Differential equations posed on quadratic matrix Lie groups arise in the context of classical mechanics and quantum dynamical systems. Lie group numerical integrators preserve the constants of motions defining the Lie group. Thus, they respect important physical laws of the dynamical system, such as unitarity and energy conservation in the context of quantum dynamical systems, for instance. In this article we develop a high-order commutator free Lie group integrator for non-autonomous differential equations evolving on quadratic Lie groups. Instead of matrix exponentials, which are expensive to evaluate and need to be approximated by appropriate rational functions in order to preserve the Lie group structure, the proposed method is obtained as a composition of Cayley transforms which naturally respect the structure of quadratic Lie groups while being computationally efficient to evaluate. Unlike Cayley-Magnus methods the method is also free from nested matrix commutators.
- [244] arXiv:2408.13650 (replaced) [pdf, html, other]
-
Title: Primes and polygonal numbersComments: 7 pagesSubjects: Number Theory (math.NT)
For all integers $r,s>2$, each linear combination of an \mbox{$r$-gonal} number and an $s$-gonal number with coprime positive integer coefficients produces infinitely many primes. However, for any given pair of coprime positive integer coefficients of the polygonal numbers, the sum of the reciprocals of such primes diverges if and only if $r=s=4$.
- [245] arXiv:2408.13839 (replaced) [pdf, html, other]
-
Title: On a question of Erdős and Gimbel on the cochromatic numberComments: Minor edits and correctionsJournal-ref: Electron. J. Comb. 31(4), P4.72, 2024Subjects: Combinatorics (math.CO)
In this note, we show that the difference between the chromatic and the cochromatic number of the random graph $G_{n,1/2}$ is not whp bounded by $n^{1/2-o(1)}$, addressing a question of Erdős and Gimbel.
- [246] arXiv:2408.15786 (replaced) [pdf, html, other]
-
Title: Cohomological integrality for symmetric quotient stacksComments: v2: 46 pages, corrections. v1: 42 pages, comments welcomeSubjects: Algebraic Geometry (math.AG)
In this paper, we establish the sheafified version of the cohomological integrality conjecture for stacks obtained as a quotient of a smooth affine symmetric algebraic variety by a reductive algebraic group equipped with an invariant function. A crucial step is the definition of the BPS sheaf as a complex of monodromic mixed Hodge modules. We prove the purity of the BPS sheaf when the situation arises from a smooth affine weakly symplectic algebraic variety with a weak moment map. This situation gives local models for 1-Artin derived stacks with self-dual cotangent complex. We then apply these results to prove a conjecture of Halpern-Leistner predicting the purity of the Borel-Moore homology of $0$-shifted symplectic stacks (or more generally, derived stacks with self-dual cotangent complex) having a proper good moduli space. One striking application is the purity of the Borel--Moore homology of the moduli stack of principal Higgs bundles over a smooth projective curve for a reductive group.
- [247] arXiv:2409.00311 (replaced) [pdf, other]
-
Title: The 3D kinetic Couette flow via the Boltzmann equation in the diffusive limitSubjects: Analysis of PDEs (math.AP)
In the paper we study the Boltzmann equation in the diffusive limit in a channel domain $\mathbb{T}^2\times (-1,1)$ for the 3D kinetic Couette flow. Our results demonstrate that the first-order approximation of the solutions is governed by the perturbed incompressible Navier-Stokes-Fourier system around the fluid Couette flow. Moverover, in the absence of external forces, the 3D kinetic Couette flow asymptotically converges over time to the 1D steady planar kinetic Couette flow. Our proof relies on (i) the Fourier transform on $\mathbb{T}^2$ to essentially reduce the 3D problem to a one-dimensional one, (ii) anisotropic Chemin-Lerner type function spaces, incorporating the Wiener algebra, to control nonlinear terms and address the singularity associated with a small Knudsen number in the diffusive limit, and (iii) Caflisch's decomposition, combined with the $L^2\cap L^\infty$ interplay technique, to manage the growth of large velocities.
- [248] arXiv:2409.06320 (replaced) [pdf, other]
-
Title: Generalized Approximate Message-Passing for Compressed Sensing with Sublinear SparsityComments: submitted to IEEE Trans. Inf. TheorySubjects: Information Theory (cs.IT)
This paper addresses the reconstruction of an unknown signal vector with sublinear sparsity from generalized linear measurements. Generalized approximate message-passing (GAMP) is proposed via state evolution in the sublinear sparsity limit, where the signal dimension $N$, measurement dimension $M$, and signal sparsity $k$ satisfy $\log k/\log N\to \gamma\in[0, 1)$ and $M/\{k\log (N/k)\}\to\delta$ as $N$ and $k$ tend to infinity. While the overall flow in state evolution is the same as that for linear sparsity, each proof step for inner denoising requires stronger assumptions than those for linear sparsity. The required new assumptions are proved for Bayesian inner denoising. When Bayesian outer and inner denoisers are used in GAMP, the obtained state evolution recursion is utilized to evaluate the prefactor $\delta$ in the sample complexity, called reconstruction threshold. If and only if $\delta$ is larger than the reconstruction threshold, Bayesian GAMP can achieve asymptotically exact signal reconstruction. In particular, the reconstruction threshold is finite for noisy linear measurements when the support of non-zero signal elements does not include a neighborhood of zero. As numerical examples, this paper considers linear measurements and 1-bit compressed sensing. Numerical simulations for both cases show that Bayesian GAMP outperforms existing algorithms for sublinear sparsity in terms of the sample complexity.
- [249] arXiv:2409.06658 (replaced) [pdf, html, other]
-
Title: String theory amplitudes and partial fractionsComments: version 2: minor changesSubjects: Classical Analysis and ODEs (math.CA); High Energy Physics - Theory (hep-th); Number Theory (math.NT)
We give rigorous proofs and generalizations of partial fraction expansions for string amplitudes that were recently discovered by Saha and Sinha.
- [250] arXiv:2409.14242 (replaced) [pdf, html, other]
-
Title: Design of Wavelet Filter Banks for Any Dilation Using Extended Laplacian Pyramid MatricesComments: Version accepted for publication in Bulletin of the Korean Mathematical SocietySubjects: Information Theory (cs.IT)
In this paper, we present a new method for designing wavelet filter banks for any dilation matrices and in any dimension. Our approach utilizes extended Laplacian pyramid matrices to achieve this flexibility. By generalizing recent tight wavelet frame construction methods based on the sum of squares representation, we introduce the sum of vanishing products (SVP) condition, which is significantly easier to satisfy. These flexible design methods rely on our main results, which establish the equivalence between the SVP and mixed unitary extension principle conditions. Additionally, we provide illustrative examples to showcase our main findings.
- [251] arXiv:2409.15787 (replaced) [pdf, other]
-
Title: Rates of convergence in the central limit theorem for Banach valued dependent variablesAurélie Bigot (LAMA)Subjects: Probability (math.PR)
We provide rates of convergence in the central limit theorem in terms of projective criteria for adapted stationary sequences of centered random variables taking values in Banach spaces, with finite moment of order $p \in ]2,3]$ as soon as the central limit theorem holds for the partial sum normalized by $n^{-1/2}$. This result applies to the empirical distribution function in $L^p(\mu)$, where $p\geq 2$ and $\mu$ is a real $\sigma$-finite measure: under some $\tau$-mixing conditions we obtain a rate of order $O(n^{-(p-2)/2})$. In the real case, our result leads to new conditions to reach the optimal rates of convergence in terms of Wasserstein distances of order $p\in ]2,3]$.
- [252] arXiv:2409.17614 (replaced) [pdf, html, other]
-
Title: The difference between the chromatic and the cochromatic number of a random graphComments: 15 pages. Minor edits and correctionsSubjects: Combinatorics (math.CO)
The cochromatic number $\zeta(G)$ of a graph $G$ is the minimum number of colours needed for a vertex colouring where every colour class is either an independent set or a clique. Let $\chi(G)$ denote the usual chromatic number. Around 1991 Erdős and Gimbel asked: For the random graph $G \sim G_{n, 1/2}$, does $\chi(G)-\zeta(G) \rightarrow \infty$ whp? Erdős offered \$100 for a positive and \$1,000 for a negative answer.
We give a positive answer to this question for roughly 95% of all values $n$. - [253] arXiv:2410.09959 (replaced) [pdf, html, other]
-
Title: Restrictions of mixed Hodge modules using generalized V-filtrationsComments: 36 pages; v2: Improved the result of Theorem A to both restriction functors and its exposition. Fixed typos. 42 pagesSubjects: Algebraic Geometry (math.AG)
We study generalized $V$-filtrations, defined by Sabbah, on $\mathcal D$-modules underlying mixed Hodge modules on $X\times \mathbf A^r$. Using cyclic covers, we compare these filtrations to the usual $V$-filtration, which is better understood. The main result shows that these filtrations can be used to compute the restriction functors $\sigma^!, \sigma^*$, where $\sigma \colon X \times \{0\} \to X \times \mathbf A^r$ is the inclusion of the zero section.
As an application, we use the restriction result to study singularities of complete intersection subvarieties. These filtrations can be used to study the local cohomology mixed Hodge module. In particular, we classify when weighted homogeneous isolated complete intersection singularities in $\mathbf A^n$ are $k$-Du Bois and $k$-rational. - [254] arXiv:2410.11836 (replaced) [pdf, html, other]
-
Title: The Paquette-Zeitouni law of fractional logarithms for the GUE minor process and the Plancherel growth processComments: 24 pages, 4 figures. Law of fractional logarithm for Plancherel growth process is addedSubjects: Probability (math.PR)
It is well-known that the largest eigenvalue of an $n\times n$ GUE matrix and the length of a longest increasing subsequence in a uniform random permutation of length $n$, both converge weakly to the GUE Tracy-Widom distribution as $n\to \infty$. We consider the sequences of the largest eigenvalues of the $n\times n$ principal minor of an infinite GUE matrix, and the the lengths of longest increasing subsequences of a growing sequence of random permutations (which, by the RSK bijection corresponds to the top row of the Young diagrams growing according to the Plancherel growth process), and establish laws of fractional logarithms for these. That is, we show that, under a further scaling of $(\log n)^{2/3}$ and $(\log n)^{1/3}$, the $\limsup$ and $\liminf$ respectively of these scaled quantities converge almost surely to explicit non-zero and finite constants. Our results provide complete solutions to two questions raised by Kalai in 2013. We affirm a conjecture of Paquette and Zeitouni (Ann. Probab., 2017), and give a new proof of $\limsup$, due to Paquette and Zeitouni (Ann. Probab., 2017), who provided a partial solution in the case of GUE minor process.
- [255] arXiv:2410.14870 (replaced) [pdf, html, other]
-
Title: The Benjamin-Ono Initial-Value Problem for Rational Data with Application to Long-Time Asymptotics and ScatteringComments: 40 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
We show that the initial-value problem for the Benjamin-Ono equation on $\mathbb{R}$ with $L^2(\mathbb{R})$ rational initial data with only simple poles can be solved in closed form via a determinant formula involving contour integrals. The dimension of the determinant depends on the number of simple poles of the rational initial data only and the matrix elements depend explicitly on the independent variables $(t,x)$ and the dispersion coefficient $\epsilon$. This allows for various interesting asymptotic limits to be resolved quite efficiently. As an example, and as a first step towards establishing the soliton resolution conjecture, we prove that the solution with initial datum equal to minus a soliton exhibits scattering.
- [256] arXiv:2410.22596 (replaced) [pdf, html, other]
-
Title: Continuous-Time Line-of-Sight Constrained Trajectory Planning for 6-Degree of Freedom SystemsComments: This paper is accepted for the IEEE Robotics and Automation Letters (RA-L)Subjects: Optimization and Control (math.OC); Robotics (cs.RO)
Perception algorithms are ubiquitous in modern autonomy stacks, providing necessary environmental information to operate in the real world. Many of these algorithms depend on the visibility of keypoints, which must remain within the robot's line-of-sight (LoS), for reliable operation. This paper tackles the challenge of maintaining LoS on such keypoints during robot movement. We propose a novel method that addresses these issues by ensuring applicability to various sensor footprints, adaptability to arbitrary nonlinear system dynamics, and constant enforcement of LoS throughout the robot's path. Our experiments show that the proposed approach achieves significantly reduced LoS violation and runtime compared to existing state-of-the-art methods in several representative and challenging scenarios.
- [257] arXiv:2410.24147 (replaced) [pdf, html, other]
-
Title: The evolving surface Cahn-Hilliard equation with a degenerate mobilityComments: 33 pages, fixed a few mistakes and added more exposition where suitableSubjects: Analysis of PDEs (math.AP)
We consider the existence of suitable weak solutions to the Cahn-Hilliard equation with a non-constant (degenerate) mobility on a class of evolving surfaces. We also show weak-strong uniqueness for the case of a positive mobility function, and under some further assumptions on the initial data we show uniqueness for a class of strong solutions for a degenerate mobility function.
- [258] arXiv:2411.01397 (replaced) [pdf, html, other]
-
Title: Automatic optimal-rate convergence of randomized nets using median-of-meansSubjects: Numerical Analysis (math.NA)
We study the sample median of independently generated quasi-Monte Carlo estimators based on randomized digital nets and prove it approximates the target integral value at almost the optimal convergence rate for various function spaces. In contrast to previous methods, the algorithm does not require a priori knowledge of underlying function spaces or even an input of pre-designed $(t,m,s)$-digital nets, and is therefore easier to implement. This study provides further evidence that quasi-Monte Carlo estimators are heavy-tailed when applied to smooth integrands and taking the median can significantly improve the error by filtering out the outliers.
- [259] arXiv:2411.05606 (replaced) [pdf, html, other]
-
Title: Rigidly breaking potential flows and a countable Alexandrov theorem for polytopesComments: 36 pages, 3 figures, recast results, improved proofs, added referencesSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
We study all the ways that a given convex body in $d$ dimensions can break into countably many pieces that move away from each other rigidly at constant velocity, with no rotation or shearing. The initial velocity field is locally constant, but may be continuous and/or fail to be integrable. For any choice of mass-velocity pairs for the pieces, such a motion can be generated by the gradient of a convex potential that is affine on each piece. We classify such potentials in terms of a countable version of a theorem of Alexandrov for convex polytopes, and prove a stability theorem. For bounded velocities, there is a bijection between the mass-velocity data and optimal transport flows (Wasserstein geodesics) that are locally incompressible.
Given any rigidly breaking velocity field that is the gradient of a continuous potential, the convexity of the potential is established under any of several conditions, such as the velocity field being continuous, the potential being semi-convex, the mass measure generated by a convexified transport potential being absolutely continuous, or there being a finite number of pieces. Also we describe a number of curious and paradoxical examples having fractal structure. - [260] arXiv:2411.07878 (replaced) [pdf, html, other]
-
Title: Bernstein-type and Bennett-type inequalities for unbounded matrix martingalesComments: 32 pagesSubjects: Probability (math.PR); Statistics Theory (math.ST)
We derive explicit Bernstein-type and Bennett-type concentration inequalities for matrix-valued martingale processes with unbounded observations from the Hermitian space $\mathbb{H}(d)$. Specifically, we assume that the $\psi_{\alpha}$-Orlicz (quasi-)norms of their difference process are bounded for some $\alpha > 0$. Further, we generalize the obtained result by replacing the ambient dimension $d$ with the effective rank of the covariance of the observations. To illustrate the applicability of the results, we prove several corollaries, including an empirical version of Bernstein's inequality and an extension of the bounded difference inequality, also known as McDiarmid's inequality.
- [261] arXiv:2411.14587 (replaced) [pdf, html, other]
-
Title: Internal waves in a 2D subcritical channelComments: 17 pages, 3 figures. The first version of this manuscript contained an account of the limiting absorption principle, together with consequences for the long-time asymptotics in the time-dependent problem with periodic forcing. We have, however, discovered an error in this work, and anticipate returning to the question of the limiting absorption principle in a future workSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Spectral Theory (math.SP)
We analyze the scattering of linear internal waves in a two dimensional channel with subcritical bottom topography. We construct the scattering matrix for the internal wave problem in a channel with straight ends, mapping incoming data to outgoing data; this operator turns out to differ by a smoothing operator from the pullback by the ``bounce map'' for boundary data obtained by ray-tracing. As a consequence we obtain unique solvability of the inhomogeneous stationary scattering problem subject to an appropriate outgoing radiation condition.
- [262] arXiv:2411.15522 (replaced) [pdf, html, other]
-
Title: On the magnetic Dirichlet to Neumann operator on the disk -- strong diamagnetism and strong magnetic field limit--Comments: 25 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Spectral Theory (math.SP)
Inspired by a paper by T. Chakradhar, K. Gittins, G. Habib and N. Peyerimhoff, we analyze their conjecture that the ground state energy of the magnetic Dirichlet-to-Neumann operator on the disk tends to $+\infty$ as the magnetic field tends to $+\infty$. This is an important step towards the analysis of the curvature effect in the case of general domains in $\mathbb R^2$.
- [263] arXiv:2411.19716 (replaced) [pdf, html, other]
-
Title: Stability of Poiseuille Flow of Navier-Stokes Equations on $\mathbb{R}^2$Subjects: Analysis of PDEs (math.AP)
We consider solutions to the Navier-Stokes equations on $\mathbb{R}^2$ close to the Poiseuille flow with viscosity $0< \nu < 1$. For the linearized problem, we prove that when the $x$-frequency satisfy $|k| \ge \nu^{-\frac{1}{3}}$, the perturbation decays on a time-scale proportional to $\nu^{-\frac{1}{2}}|k|^{-\frac{1}{2}}$. Since it decays faster than the heat equation, this phenomenon is referred to as enhanced dissipation. Then we concern the non-linear equations. We show that if the initial perturbation $\omega_{in}$ is of size at most $\nu^\frac{7}{3}$ in an anisotropic Sobolev space, then it remains so for all time.
- [264] arXiv:2412.00297 (replaced) [pdf, html, other]
-
Title: The Carleman Contraction Mapping Method for a Coefficient Inverse Problem of the EpidemiologyComments: 26 pagesSubjects: Numerical Analysis (math.NA)
It is proposed to monitor spatial and temporal spreads of epidemics via solution of a Coefficient Inverse Problem for a system of three coupled nonlinear parabolic equations. To solve this problem numerically, a version of the so-called Carleman contraction mapping method is developed for this problem. On each iteration, a linear problem with the incomplete lateral Cauchy data is solved by the weighted Quasi-Reversibility Method, where the weight is the Carleman Weight Function. This is the function, which is involved as the weight in the Carleman estimate for the corresponding parabolic operator. Convergence analysis ensures the global convergence of this procedure. Numerical results demonstrate an accurate performance of this technique for noisy data.
- [265] arXiv:2412.02064 (replaced) [pdf, html, other]
-
Title: Vanishing of Schubert CoefficientsComments: 30 pages, with a joint appendix with David E Speyer. The type D background now appears in Appendix A. The BSS model results are now in Appendix B. The type D results, joint with Speyer, appear in Appendix CSubjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Algebraic Geometry (math.AG)
Schubert coefficients are nonnegative integers $c^w_{u,v}$ that arise in Algebraic Geometry and play a central role in Algebraic Combinatorics. It is a major open problem whether they have a combinatorial interpretation, i.e, whether $c^w_{u,v} \in \#{\sf P}$. We study the closely related vanishing problem of Schubert coefficients: $\{c^w_{u,v}=^? 0\}$. Until this work it was open whether this problem is in the polynomial hierarchy ${\sf PH}$. We prove that $\{c^w_{u,v}=^? 0\}$ in ${\sf coAM}$ assuming the GRH. In particular, the vanishing problem is in ${\Sigma_2^{\text{p}}}$. Our approach is based on constructions lifted formulations, which give polynomial systems of equations for the problem. The result follows from a reduction to Parametric Hilbert's Nullstellensatz, recently studied in arXiv:2408.13027. We extend our results to all classical types. Type $D$ is resolved in the appendix (joint with David Speyer).
- [266] arXiv:2412.04196 (replaced) [pdf, html, other]
-
Title: Malle's conjecture and Brauer groups of stacksComments: 109 pages. Comments welcome. Revised intro (Section 1.4) to make main theorems more clearSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We put forward a conjecture for the leading constant in Malle's conjecture on number fields of bounded discriminant, guided by stacky versions of conjectures of Batyrev-Manin, Batyrev-Tschinkel, and Peyre on rational points of bounded height on Fano varieties. A new framework for Brauer groups of stacks plays a key role in our conjecture, and we define a new notion of the unramified Brauer group of an algebraic stack.
- [267] arXiv:2412.07361 (replaced) [pdf, other]
-
Title: Optimizing quasi-dissipative evolution equations with the moment-SOS hierarchySaroj Prasad Chhatoi (LAAS-POP), Didier Henrion (LAAS-POP), Swann Marx (LS2N), Nicolas Seguin (IMAG, CRISAM)Subjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
We prove that there is no relaxation gap between a quasi-dissipative nonlinear evolution equation in a Hilbert space and its linear Liouville equation reformulation on probability measures. In other words, strong and generalized solutions of such equations are unique in the class of measure-valued solutions. As a major consequence, non-convex numerical optimization over these non-linear partial differential equations can be carried out with the infinite-dimensional moment-SOS hierarchy with global convergence guarantees. This covers in particular all reaction-diffusion equations with polynomial nonlinearity.
- [268] arXiv:2412.07394 (replaced) [pdf, html, other]
-
Title: Numerical approximations for a hyperbolic integrodifferential equation with a non-positive variable-sign kernel and nonlinear-nonlocal dampingSubjects: Numerical Analysis (math.NA)
This work considers the Galerkin approximation and analysis for a hyperbolic integrodifferential equation, where the non-positive variable-sign kernel and nonlinear-nonlocal damping with both the weak and viscous damping effects are involved. We derive the long-time stability of the solution and its finite-time uniqueness. For the semi-discrete-in-space Galerkin scheme, we derive the long-time stability of the semi-discrete numerical solution and its finite-time error estimate by technical splitting of intricate terms. Then we further apply the centering difference method and the interpolating quadrature to construct a fully discrete Galerkin scheme and prove the long-time stability of the numerical solution and its finite-time error estimate by designing a new semi-norm. Numerical experiments are performed to verify the theoretical findings.
- [269] arXiv:2412.16952 (replaced) [pdf, html, other]
-
Title: Mixing Phases and Metastability for the Glauber Dynamics on the p-Spin Curie-Weiss ModelSubjects: Probability (math.PR); Statistics Theory (math.ST)
The Glauber dynamics for the classical $2$-spin Curie-Weiss model on $N$ nodes with inverse temperature $\beta$ and zero external field is known to mix in time $\Theta(N\log N)$ for $\beta < \frac{1}{2}$, in time $\Theta(N^{3/2})$ at $\beta = \frac{1}{2}$, and in time $\exp(\Omega(N))$ for $\beta >\frac{1}{2}$. In this paper, we consider the $p$-spin generalization of the Curie-Weiss model with an external field $h$, and identify three disjoint regions almost exhausting the parameter space, with the corresponding Glauber dynamics exhibiting three different orders of mixing times in these regions. The construction of these disjoint regions depends on the number of local maximizers of a certain function $H_{\beta,h,p}$, and the behavior of the second derivative of $H_{\beta,h,p}$ at such a local maximizer. Specifically, we show that if $H_{\beta,h,p}$ has a unique local maximizer $m_*$ with $H_{\beta,h,p}''(m_*) < 0$ and no other stationary point, then the Glauber dynamics mixes in time $\Theta(N\log N)$, and if $H_{\beta,h,p}$ has multiple local maximizers, then the mixing time is $\exp(\Omega(N))$. Finally, if $H_{\beta,h,p}$ has a unique local maximizer $m_*$ with $H_{\beta,h,p}''(m_*) = 0$, then the mixing time is $\Theta(N^{3/2})$. We provide an explicit description of the geometry of these three different phases in the parameter space, and observe that the only portion of the parameter plane that is left out by the union of these three regions, is a one-dimensional curve, on which the function $H_{\beta,h,p}$ has a stationary inflection point. Finding out the exact order of the mixing time on this curve remains an open question. Finally, we show that if $H_{\beta,h,p}$ has multiple local maximizers (metastable states), then one can create a restricted version of the original Glauber dynamics, which still mixes in time $\Theta(N\log N)$.
- [270] arXiv:2412.17167 (replaced) [pdf, other]
-
Title: Unital embeddings of Cuntz algebras from path homomorphisms of graphsSubjects: Operator Algebras (math.OA)
Cuntz algebras $\mathcal{O}_n$, $n>1$, are celebrated examples of a separable infinite simple C*-algebra with a number of fascinating properties. Their K-theory allows an embedding of $\mathcal O_m$ in $\mathcal O_n$ whenever $n-1$ divides $m-1$. In 2009, Kawamura provided a simple and explicit formula for all such embeddings. His formulas can be easily deduced by viewing Cuntz algebras as graph C*-algebras. Our main result is that, using both the covariant and contravariant functoriality of assigning graph C*-algebras to directed graphs, we can provide explicit polynomial formulas for all unital embeddings of Cuntz algebras into matrices over Cuntz algebras allowed by K-theory.
- [271] arXiv:2412.18402 (replaced) [pdf, html, other]
-
Title: Removable singularities for Lipschitz fractional caloric functions in time varying domainsSubjects: Analysis of PDEs (math.AP)
In this paper we study removable singularities for regular $(1,\frac{1}{2s})$-Lipschitz solutions of the $s$-fractional heat equation for $1/2<s<1$. To do so, we define a Lipschitz fractional caloric capacity and study its critical dimension and the $L^2$-boundedness of a pair of singular integral operators, whose kernels will be the gradient of the fundamental solution of the fractional heat equation and its conjugate.
- [272] arXiv:2412.20260 (replaced) [pdf, html, other]
-
Title: Functorial, operadic and modular operadic combinatorics of circuit algebrasComments: 36 pages, many figures. Relative to version 1, the title has been changed, the introduction has been tidied and a table added. Other changes are minor. This paper and "Modular operads, distributive laws and a nerve theorem for circuit algebras" supercede "Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras" arXiv:2108.04557. Comments welcomeSubjects: Quantum Algebra (math.QA); Category Theory (math.CT); Representation Theory (math.RT)
Circuit algebras are a symmetric analogue of Jones's planar algebras introduced to study finite-type invariants of virtual knotted objects. Circuit algebra structures appear, in different forms, across mathematics. This paper provides a dictionary for translating between their diverse incarnations and describing their wider context. A formal definition of a broad class of circuit algebras is established and three equivalent descriptions of circuit algebras are provided: in terms of operads of wiring diagrams, modular operads and categories of Brauer diagrams. As an application, circuit algebra characterisations of algebras over the orthogonal and symplectic groups are given.
- [273] arXiv:2501.04360 (replaced) [pdf, html, other]
-
Title: Totally Concave RegressionSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
Shape constraints in nonparametric regression provide a powerful framework for estimating regression functions under realistic assumptions without tuning parameters. However, most existing methods$\unicode{x2013}$except additive models$\unicode{x2013}$impose too weak restrictions, often leading to overfitting in high dimensions. Conversely, additive models can be too rigid, failing to capture covariate interactions. This paper introduces a novel multivariate shape-constrained regression approach based on total concavity, originally studied by T. Popoviciu. Our method allows interactions while mitigating the curse of dimensionality, with convergence rates that depend only logarithmically on the number of covariates. We characterize and compute the least squares estimator over totally concave functions, derive theoretical guarantees, and demonstrate its practical effectiveness through empirical studies on real-world datasets.
- [274] arXiv:2501.09698 (replaced) [pdf, html, other]
-
Title: Nonuniqueness analysis on the Navier-Stokes equation in $C_{t}L^{q}$ spaceComments: 27 pages, minor revisionSubjects: Analysis of PDEs (math.AP)
In the presence of any prescribed kinetic energy, we implement the intermittent convex integration scheme with $L^{q}$-normalized intermittent jets to give a direct proof for the existence of solution to the Navier-Stokes equation in $C_{t}L^{q}$ for some uniform $2<q\ll3$ without the help of interpolation inequality. The result shows the sharp nonuniqueness that there evolve infinite nontrivial weak solutions of the Navier-Stokes equation starting from zero initial data. Furthermore, we improve the regularity of solution to be of $C_{t}W^{\alpha,q}$ in virtue of the fractional Gagliardo-Nirenberg inequalities with some $0<\alpha\ll1$. More importantly, the proof framework provides a stepping stone for future progress on the method of intermittent convex integration due to the fact that $L^{q}$-normalized building blocks carry the threshold effect of the exponent $q$ arbitrarily close to the critical value $3$.
- [275] arXiv:2501.11355 (replaced) [pdf, html, other]
-
Title: Relax-and-round strategies for solving the Unit Commitment problem with AC Power Flow constraintsSubjects: Optimization and Control (math.OC)
The Unit Commitment problem with AC power flow constraints (UC-ACOPF) is a non-convex mixed-integer nonlinear programming (MINLP) problem encountered in power systems. Its combination of combinatorial complexity and non-convex nonlinear constraints makes it particularly challenging. A common approach to tackle this issue is to relax the integrality condition, but this often results in infeasible solutions. Consequently, rounding heuristics are frequently employed to restore integer feasibility. This paper addresses recent advancements in heuristics aimed at quickly obtaining feasible solutions for the UC-ACOPF problem, focusing specifically on direct relax-and-round strategies. We propose a model-based heuristic that rescales the solution of the integer-relaxed problem before rounding. Furthermore, we introduce rounding formulas designed to enforce combinatorial constraints and aim to maintain AC feasibility in the resulting solutions. These methodologies are compared against standard direct rounding techniques in the literature, applied to a 6-bus and a 118-bus test systems. Additionally, we integrate the proposed heuristics into an implementation of the Feasibility Pump (FP) method, demonstrating their utility and potential to enhance existing rounding strategies.
- [276] arXiv:2501.12124 (replaced) [pdf, html, other]
-
Title: On de Bruijn Array Codes Part II: Linear CodesSubjects: Information Theory (cs.IT)
An M-sequence generated by a primitive polynomial has many interesting and desirable properties. A pseudo-random array is the two-dimensional generalization of an M-sequence. Similarly to primitive polynomials, there are irreducible and reducible polynomials whose all nonzero sequences have the same length. In this paper, a two-dimensional generalization for such sequences is given. This generalization is for a pseudo-random array code which is a set of $r_1 \times r_2$ arrays in which each $n_1 \times n_2$ nonzero matrix is contained exactly once as a window in one of the arrays. Moreover, these arrays have the shift-and-add property, i.e., the bitwise addition of two arrays (or a nontrivial shift of such arrays) is another array (or a shift of another array) from the code. All the known arrays can be formed by folding sequences generated from an irreducible polynomial or a reducible polynomial whose factors have the same degree and the same exponent. Two proof techniques are used to prove the parameters of the constructed arrays. The first one is based on another method for constructing some of these arrays. The second one is a generalization of a known proof technique. This generalization enables to present pseudo-random arrays with parameters not known before and also a variety of pseudo-random array codes which cannot be generated by the first method. The two techniques also suggest two different hierarchies between pseudo-random array codes. Finally, a method to verify whether a folding of sequences, generated by these polynomials, yields a pseudo-random array or a pseudo-random array code, will be presented.
- [277] arXiv:2501.14444 (replaced) [pdf, other]
-
Title: $p$-adic symplectic geometry of integrable systems and Weierstrass-Williamson theoryComments: 107 pages, 18 figures. Replaced Theorems 10.4, 10.5 and Corollary 10.6 in the first version, by the much stronger results Theorems 10.4 and 10.6 in the new versionSubjects: Symplectic Geometry (math.SG); Mathematical Physics (math-ph)
We establish the foundations of the local linear symplectic geometry of $p$-adic integrable systems on $p$-adic analytic symplectic $4$\--dimensional manifolds, by classifiying all their possible local linear models. In order to do this we develop a new approach, of independent interest, to the theory of Weierstrass and Williamson concerning the diagonalization of real matrices by real symplectic matrices. We show that this approach can be generalized to $p$\--adic matrices, leading to a classification of real $(2n)$-by-$(2n)$ matrices and of $p$-adic $2$-by-$2$ and $4$-by-$4$ matrix normal forms, including, up to dimension $4$, the classification in the degenerate case, for which the literature is limited even in the real case. A combination of these results and the Hardy-Ramanujan formula shows that both the number of $p$-adic matrix normal forms and the number of local linear models of $p$-adic integrable systems grow almost exponentially with their dimensions, in strong contrast with the real case. The paper also includes a number of results concerning symplectic linear algebra over arbitrary fields in arbitrary dimensions as well as applications to $p$-adic mechanical systems and singularity theory for $p$-adic analytic maps on $4$-manifolds. These results fit in a program, proposed a decade ago by Voevodsky, Warren and the second author, to develop a $p$-adic theory of integrable systems with the goal of later implementing it using proof assistants.
- [278] arXiv:2501.14662 (replaced) [pdf, html, other]
-
Title: Efficient Sparse Flow Decomposition Methods for RNA Multi-AssemblySubjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)
Decomposing a flow on a Directed Acyclic Graph (DAG) into a weighted sum of a small number of paths is an essential task in operations research and bioinformatics. This problem, referred to as Sparse Flow Decomposition (SFD), has gained significant interest, in particular for its application in RNA transcript multi-assembly, the identification of the multiple transcripts corresponding to a given gene and their relative abundance. Several recent approaches cast SFD variants as integer optimization problems, motivated by the NP-hardness of the formulations they consider. We propose an alternative formulation of SFD as a fitting problem on the conic hull of the flow polytope. By reformulating the problem on the flow polytope for compactness and solving it using specific variants of the Frank-Wolfe algorithm, we obtain a method converging rapidly to the minimizer of the chosen loss function while producing a parsimonious decomposition. Our approach subsumes previous formulations of SFD with exact and inexact flows and can model different priors on the error distributions. Computational experiments show that our method outperforms recent integer optimization approaches in runtime, but is also highly competitive in terms of reconstruction of the underlying transcripts, despite not explicitly minimizing the solution cardinality.
- [279] arXiv:2501.15333 (replaced) [pdf, html, other]
-
Title: Convexification With Viscosity Term for an Inverse Problem of TikhonovSubjects: Numerical Analysis (math.NA)
In 1965 A.N. Tikhonov, the founder of the theory of Ill-Posed and Inverse Problems, has posed an coefficient inverse problem of the recovery of the unknown electric conductivity coefficient from measurements of the back reflected electrical signal. In the geophysical application targeted by Tikhonov, this coefficient depends only on the depth and characterizes the electrical conductivity of the ground. The goal of this paper is to construct for this problem a version of the globally convergent convexification numerical method for this problem. In this version, the viscosity term is introduced. A Carleman estimate allows to prove global convergence of this method.
- [280] arXiv:2501.15550 (replaced) [pdf, html, other]
-
Title: Markov's Conjecture on integral necklacesComments: 7 pages, 1 figureSubjects: Geometric Topology (math.GT); Combinatorics (math.CO); Number Theory (math.NT)
We use the geometric reformulation of Markov's uniqueness conjecture in terms of the simple length spectrum on the modular torus to rewrite the conjecture in combinatorial terms by explicitly describing this set of lengths.
- [281] arXiv:2501.16152 (replaced) [pdf, html, other]
-
Title: Parametrized homotopic distanceComments: Version 2: Some minor changes have been made to the abstract, the introduction has been shortened, and several redundancies have been removed. Comments are welcomeSubjects: Algebraic Topology (math.AT)
We introduce the concept of parametrized homotopic distance, extending the classical notion of homotopic distance to the fibrewise setting. We establish its correspondence with the fibrewise sectional category of a specific fibrewise fibration and derive cohomological lower bounds and connectivity upper bounds under mild conditions. We also analyze the behavior of parametrized homotopic distance under compositions and products of fibrewise maps, along with its interaction with the triangle inequality.
We establish several sufficient conditions for fibrewise $H$-spaces to admit a fibrewise division map and prove that their parametrized topological complexity equals their fibrewise unpointed Lusternik-Schnirelman category, extending Lupton and Scherer's theorem to the fibrewise setting. Additionally, we give sharp estimates for the parametrized topological complexity of a class fibrewise $H$-spaces which arises as sphere bundles with fibre $S^7$. Furthermore, we estimate the parametrized homotopic distance of fibre-preserving, fibrewise maps between fibrewise fibrations, in terms of the parametrized homotopic distance of the induced fibrewise maps between individual fibres, as well as the fibrewise unpointed Lusternik-Schnirelman category of the base space.
Finally, we define and study a pointed version of parametrized homotopic distance, establishing cohomological bounds and identifying key conditions for its equivalence with the unpointed version, thus providing a finer classification of fibrewise homotopy invariants. - [282] arXiv:2501.16449 (replaced) [pdf, html, other]
-
Title: The Gaussian Minkowski-type problems for $C$-pseudo-conesComments: This version merges the initially submitted article with the authors separate work titled "The Gaussian log-Minkowski problem for C-pseudo-cones'' into a unified paperSubjects: Metric Geometry (math.MG); Probability (math.PR)
The Gaussian surface area measure and the Gaussian cone measure for $C$-pseudo-cones are introduced as a new family of geometric measures. The corresponding Gaussian Minkowski-type problems for $C$-pseudo-cones are posed, and the existence and uniqueness results are established.
- [283] arXiv:2501.16479 (replaced) [pdf, html, other]
-
Title: Geometric calculations on density manifolds from reciprocal relations in hydrodynamicsComments: Comments are welcomeSubjects: Mathematical Physics (math-ph); Differential Geometry (math.DG); Dynamical Systems (math.DS)
Hydrodynamics are systems of equations describing the evolution of macroscopic states in non-equilibrium thermodynamics. From generalized Onsager reciprocal relationships, one can formulate a class of hydrodynamics as gradient flows of free energies. In recent years, Onsager gradient flows have been widely investigated in optimal transport-type metric spaces with nonlinear mobilities, namely hydrodynamical density manifolds. This paper studies geometric calculations in these hydrodynamical density manifolds. We first formulate Levi-Civita connections, gradient, Hessian, and parallel transport and then derive Riemannian and sectional curvatures on density manifolds. We last present closed formulas for sectional curvatures of density manifolds in one dimensional spaces, in which the sign of curvatures is characterized by the convexities of mobilities. For example, we present density manifolds and their sectional curvatures in zero-range models, such as independent particles, simple exclusion processes, and Kipnis-Marchioro-Presutti models.
- [284] arXiv:2501.17389 (replaced) [pdf, html, other]
-
Title: A lower bound on end-periodic stretch factorsComments: 6 pages, 3 figures, added the statement and proof of a slightly more general lemma (see Lemma 2.2) than the lemma of Penner which we previously cited, updated figuresSubjects: Geometric Topology (math.GT); Dynamical Systems (math.DS)
Given an end-periodic homeomorphism $f: S \to S$ we give a lower bound on the Handel--Miller stretch factor of $f$ in terms of the core characteristic of $f$, which is a measure of topological complexity for an end-periodic homeomorphism. We also show that this bound is asymptotically sharp.
- [285] arXiv:2501.18379 (replaced) [pdf, html, other]
-
Title: Optimal Poincaré-Hardy-type Inequalities on Manifolds and GraphsComments: 31 pagesSubjects: Analysis of PDEs (math.AP); Spectral Theory (math.SP)
We review a method to obtain optimal Poincaré-Hardy-type inequalities on the hyperbolic spaces, and discuss briefly generalisations to certain classes of Riemannian manifolds.
Afterwards, we recall a corresponding result on homogeneous regular trees and provide a new proof using the aforementioned method. The same strategy will then be applied to obtain new optimal Hardy-type inequalities on weakly spherically symmetric graphs which include fast enough growing trees and anti-trees. In particular, this yields optimal weights which are larger at infinity than the optimal weights classically constructed via the Fitzsimmons ratio of the square root of the minimal positive Green's function. - [286] arXiv:2502.01254 (replaced) [pdf, html, other]
-
Title: Necessary and sufficient conditions for convergence in distribution of quantile and P-P processes in $L^1(0,1)$Comments: 44 pagesSubjects: Statistics Theory (math.ST)
We establish a necessary and sufficient condition for the quantile process based on iid sampling to converge in distribution in $L^1(0,1)$. The condition is that the quantile function is locally absolutely continuous on the open unit interval and satisfies a slight strengthening of square integrability. We further establish a necessary and sufficient condition for the P-P process based on iid sampling from two populations to converge in distribution in $L^1(0,1)$. The condition is that the P-P curve is locally absolutely continuous on the open unit interval. If either process converges in distribution then it may be approximated using the bootstrap.
- [287] arXiv:2502.03585 (replaced) [pdf, html, other]
-
Title: Combinatorics in (2,1)-categoriesSubjects: Category Theory (math.CT); Combinatorics (math.CO)
Groupoid cardinality is an invariant of locally finite groupoids which has many of the properties of the cardinality of finite sets, but which takes values in all non-negative real numbers, and accounts for the morphisms of a groupoid. Several results on groupoid cardinality are proved, analogous to the relationship between cardinality of finite sets and i.e. injective or surjective functions. We also generalize to a broad class of (2,1)-categories a famous theorem of Lovász which characterizes the isomorphism type of relational structures by counting the number of homomorphisms into them.
- [288] arXiv:2502.03694 (replaced) [pdf, html, other]
-
Title: Improved high-index saddle dynamics for finding saddle points and solution landscapeComments: 19 pages, 5 figuresSubjects: Numerical Analysis (math.NA)
We present an improved high-index saddle dynamics (iHiSD) for finding saddle points and constructing solution landscapes, which is a crossover dynamics from gradient flow to traditional HiSD such that the Morse theory for gradient flow could be involved. We propose analysis for the reflection manifold in iHiSD, and then prove its stable and nonlocal convergence from outside of the region of attraction to the saddle point, which resolves the dependence of the convergence of HiSD on the initial value. We then present and analyze a discretized iHiSD that inherits these convergence properties. Furthermore, based on the Morse theory, we prove that any two saddle points could be connected by a sequence of trajectories of iHiSD. Theoretically, this implies that a solution landscape with a finite number of stationary points could be completely constructed by means of iHiSD, which partly answers the completeness issue of the solution landscape for the first time and indicates the necessity of integrating the gradient flow in HiSD. Different methods are compared by numerical experiments to substantiate the effectiveness of the iHiSD method.
- [289] arXiv:2502.05890 (replaced) [pdf, html, other]
-
Title: Uniqueness of generalized conformal restriction measures and Malliavin-Kontsevich-Suhov measures for $c \in (0,1]$Comments: 21 pages. Minor changes on the last versionSubjects: Probability (math.PR)
In this paper, we present a unified approach to establish the uniqueness of generalized conformal restriction measures with central charge $c \in (0, 1]$ in both chordal and radial cases, by relating these measures to the Brownian loop soup. Our method also applies to the uniqueness of the Malliavin-Kontsevich-Suhov loop measures for $c \in (0,1]$, which was recently obtained in [Baverez-Jego, arXiv:2407.09080] for all $c \leq 1$ from a CFT framework of SLE loop measures. In contrast, though only valid for $c \in (0,1]$, our approach provides additional probabilistic insights, as it directly links natural quantities of MKS measures to loop-soup observables.
- [290] arXiv:2502.06410 (replaced) [pdf, html, other]
-
Title: A multiplication formula for cluster characters in gentle algebrasComments: 31 pages, 11 figures. v2: corrected typo in the statement of Theorem 4.4 and added references. Comments are welcomeSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We prove a multiplication formula for cluster characters induced by generating extensions in a gentle algebra A, generalizing a result of Cerulli Irelli, Esposito, Franzen, Reineke. In the case where A is the gentle algebra of a triangulation T of an unpunctured marked surface, this provides a representation-theoretic interpretation of the exchange relations in the cluster algebra with principal coefficients in T. As an application, we interpret a formula that relates cluster variables of type B to cluster variables of type A in the symmetric module category of the algebras arising from special triangulations of a regular polygon.
- [291] arXiv:2502.06754 (replaced) [pdf, html, other]
-
Title: A switching identity for cable-graph loop soups and Gaussian free fieldsSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We derive a "switching identity" that can be stated for critical Brownian loop-soups or for the Gaussian free field on a cable graph: It basically says that at the level of cluster configurations and at the more general level of the occupation time fields, conditioning two points on the cable-graph to belong to the same cluster of Brownian loops (or equivalently to the same sign-cluster of the GFF) amounts to adding a random odd number of independent Brownian excursions between these points to an otherwise unconditioned configuration. This explicit simple description of the conditional law of the clusters when a connection occurs has various direct consequences, in particular about the large scale behaviour of these sign-clusters on infinite graphs.
- [292] arXiv:2502.08422 (replaced) [pdf, html, other]
-
Title: An Auslander-Buchsbaum formula for higher Auslander algebras and applicationsComments: 19 pages, comments are welcome! It contains one more example and a new appendix explaining how to use QPA to test whether a given higher Auslander algebra is QF-1. More details were added in the introductionSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We provide a new non-commutative generalisation of the Auslander-Buchsbaum formula for higher Auslander algebras and use this to show that the class of tilted Auslander algebras, studied recently by Zito, and QF-1 algebras of global dimension at most 2, studied by Ringel in the 1970s, coincide. We furthermore give an explicit classification of this class of algebras and present generalisations to higher homological dimensions with a new local characterisation of QF-1 higher Auslander algebras.
- [293] arXiv:2502.08799 (replaced) [pdf, other]
-
Title: Strong completeness of SDEs and non-explosion for RDEs with coefficients having unbounded derivativesComments: 31 pages; Added figure for Lemma 4.6Subjects: Probability (math.PR); Classical Analysis and ODEs (math.CA)
We establish a non-explosion result for rough differential equations (RDEs) in which both the noise and drift coefficients together with their derivatives are allowed to grow at infinity. Additionally, we prove the existence of a bi-continuous solution flow for stochastic differential equations (SDEs). In the case of RDEs with additive noise, we show that our result is optimal by providing a counterexample.
- [294] arXiv:2502.09349 (replaced) [pdf, html, other]
-
Title: On the Zariski density of rational curves on IHS manifoldsComments: v2: Section 5 addedSubjects: Algebraic Geometry (math.AG)
In analogy with recent works on $K3$ surfaces, we study the existence of infinitely many ruled divisors on projective irreducible holomorphic symplectic (IHS) manifolds. We prove such an existence result for any projective IHS manifold of $K3^{[n]}$ or generalized Kummer type which is not a variety defined over $\overline{\mathbb{Q}}$ with Picard number one. The result is obtained as a combination of the regeneration principle and of a generalization to higher dimension of a controlled degeneration technique, invented by Chen, Gounelas and Liedtke in dimension 2.
- [295] arXiv:2502.10987 (replaced) [pdf, html, other]
-
Title: Hypercubic Decomposition of Verma Supermodules and Semibricks Realizing the Khovanov Algebra of Defect OneSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We study some variants of Verma modules of basic Lie superalgebras obtained via changing Borel subalgebras. These allow us to demonstrate that the principal block of \(\mathfrak{gl}(1|1)\) is realized as (non-Serre) full subcategories of any atypical block of BGG category \( \mathcal{O} \) of basic Lie superalgebras.
- [296] arXiv:2502.11170 (replaced) [pdf, html, other]
-
Title: A signless Laplacian spectral Erdös-Stone-Simonovits theoremSubjects: Combinatorics (math.CO)
The celebrated Erdös-Stone-Simonovites theorem states that $$ex(n,F)=\bigg(1-\frac{1}{\chi(F)-1}+o(1)\bigg)\frac{n^{2}}{2},$$ where $\chi(F)$ is the chromatic number of $F$. In $2009$, Nikiforov proved a spectral analogue of the Erdös-Stone-Simonovits theorem. However, some known counterexamples (even cycles of length at least four) indicate that Erdös-Stone-Simonovites type result do not hold generally for the signless Laplacian spectral radius. In this note, we present a signless Laplacian spectral version of the Erdös-Stone-Simonovits theorem. More precisely, we show that if $F$ is a graph with $\chi(F)\geq3$, then $$ex_{q}(n,F)=\bigg(1-\frac{1}{\chi(F)-1}+o(1)\bigg)2n,$$ where $ex_{q}(n,F):=\max \{q(G):|G|=n ~\mbox{and}~F\nsubseteq G\}$ and $q(G)$ is the signless Laplacian spectral radius of $G$.
- [297] arXiv:2502.11914 (replaced) [pdf, other]
-
Title: Positive Biorthogonal Curvature on $S^2 \times T^2$: An open problem no more?Comments: unfortunately the verification with a more precise numerical tool has reported an error and even after the correction it is no longer possible to obtain a positive result for the analysis carried out by the paper, therefore ultimately the theory of the paper is incorrect. Thank you and sorry for the inconvenienceSubjects: Differential Geometry (math.DG)
This work addresses the long-standing open problem regarding the existence of a Riemannian metric on $ S^2 \times T^2 $ with strictly positive biorthogonal curvature: "Does $S^2 \times T^2$ admit a Riemannian metric with positive biorthogonal curvature?". Biorthogonal curvature, defined as the average of the sectional curvatures of a plane and its orthogonal complement, represents an intermediate condition between positive sectional curvature and positive scalar curvature. By rigorously analyzing topological and geometric constraints, we show the existence of such a metric.
- [298] arXiv:2502.13039 (replaced) [pdf, html, other]
-
Title: ${\mathbf Q}$-independence and the construction of $B_h$-sets of integers and lattice pointsComments: ; Minor improvements; 9 pagesSubjects: Number Theory (math.NT)
This paper gives a simple ${\mathbf Q}$-vector space construction of finite $B_h$-sets of integers and lattice points.
- [299] arXiv:1212.3817 (replaced) [pdf, other]
-
Title: Probability Bracket Notation: Markov Sequence Projector of Visible and Hidden Markov Models in Dynamic Bayesian NetworksComments: 32 pages. Added Sec. 5.4, Sec. 6, keywords, abbreviations, and several references; edited textSubjects: Artificial Intelligence (cs.AI); Probability (math.PR)
With the symbolic framework of Probability Bracket Notation (PBN), the Markov Sequence Projector (MSP) is introduced to expand the evolution formula of Homogeneous Markov Chains (HMCs). The well-known weather example, a Visible Markov Model (VMM), illustrates that the full joint probability of a VMM corresponds to a specifically projected Markov state sequence in the expanded evolution formula. In a Hidden Markov Model (HMM), the probability basis (P-basis) of the hidden Markov state sequence and the P-basis of the observation sequence exist in the sequential event space. The full joint probability of an HMM is the product of the (unknown) projected hidden sequence of Markov states and their transformations into the observation P-bases. The Viterbi algorithm is applied to the famous Weather-Stone HMM example to determine the most likely weather-state sequence given the observed stone-state sequence. Our results are verified using the Elvira software package. Using the PBN, we unify the evolution formulas for Markov models like VMMs, HMMs, and factorial HMMs (with discrete time). We briefly investigated the extended HMM, addressing the feedback issue, and the continuous-time VMM and HMM (with discrete or continuous states). All these models are subclasses of Dynamic Bayesian Networks (DBNs) essential for Machine Learning (ML) and Artificial Intelligence (AI).
- [300] arXiv:1804.02980 (replaced) [pdf, other]
-
Title: Compact Formulation of the First Evolution Equation for Optimal Control ComputationComments: arXiv admin note: substantial text overlap with arXiv:1802.04663, arXiv:1801.10486, arXiv:1801.01383, arXiv:1802.02140, arXiv:1801.07395Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
The first evolution equation is derived under the Variation Evolving Method (VEM) that seeks optimal solutions with the variation evolution principle. To improve the performance, its compact form is developed. By replacing the states and costates variation evolution with that of the controls, the dimension-reduced Evolution Partial Differential Equation (EPDE) only solves the control variables along the variation time to get the optimal solution, and its definite conditions may be arbitrary. With this equation, the scale of the resulting Initial-value Problem (IVP), transformed via the semi-discrete method, is significantly reduced. Illustrative examples are solved and it is shown that the compact form evolution equation outperforms the primary form in the precision, and the efficiency may be higher for the dense discretization. Moreover, in discussing the connections to the classic iteration methods, it is uncovered that the computation scheme of the gradient method is the discrete implementation of the third evolution equation, and the compact form of the first evolution equation is a continuous realization of the Newton type iteration mechanism.
- [301] arXiv:2204.03077 (replaced) [pdf, html, other]
-
Title: Control Barrier Function based Attack-Recovery with Provable GuaranteesComments: V1: Conference version (IEEE CDC'2022) V2: Journal version (submitted to IEEE Transactions on Automatic Control)Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper studies provable security guarantees for cyber-physical systems (CPS) under actuator attacks. In particular, we consider CPS safety and propose a new attack detection mechanism based on zeroing control barrier function (ZCBF) conditions. In addition, we design an adaptive recovery mechanism based on how close the system is to violating safety. We show that under certain conditions, the attack-detection mechanism is sound, i.e., there are no false negatives for adversarial attacks. We propose sufficient conditions for the initial conditions and input constraints so that the resulting CPS is secure by design. We also propose a novel hybrid control to account for attack detection delays and avoid Zeno behavior. Next, to efficiently compute the set of initial conditions, we propose a sampling-based method to verify whether a set is a viability domain. Specifically, we devise a method for checking a modified barrier function condition on a finite set of points to assess whether a set can be rendered forward invariant. Then, we propose an iterative algorithm to compute the set of initial conditions and input constraints set to limit the effect of an adversary if it compromises vulnerable inputs. Finally, we use a Quadratic Programming (QP) approach for online recovery (as well as nominal) control synthesis. We demonstrate the effectiveness of the proposed method in a simulation case study involving a quadrotor with an attack on its motors.
- [302] arXiv:2304.06060 (replaced) [pdf, html, other]
-
Title: European Option Pricing Under Generalized Tempered Stable Process: Empirical AnalysisComments: 15 pageSubjects: Pricing of Securities (q-fin.PR); Probability (math.PR)
The paper investigates the performance of the European option price when the log asset price follows a rich class of Generalized Tempered Stable (GTS) distribution. The GTS distribution is an alternative to Normal distribution and $\alpha$-stable distribution for modeling asset return and many physical and economic systems. The data used in the option pricing computation comes from fitting the GTS distribution to the underlying S\&P 500 Index return distribution. The Esscher transform method shows that the GTS distribution preserves its structure. The extended Black-Scholes formula and the Generalized Black-Scholes Formula are applied in the study. The 12-point rule Composite Newton-Cotes Quadrature and the Fractional Fast Fourier (FRFT) algorithms were implemented, and they yield the same European option price at two decimal places. Compared to the option price under the GTS distribution, the Black-Scholes (BS) model is underpriced for the Near-The-Money (NTM) and the in-the-money (ITM) options. However, the BS model and GTS European options yield the same option price for the deep out-of-the-money (OTM) and the deep-in-the-money (ITM) options.
- [303] arXiv:2305.00137 (replaced) [pdf, other]
-
Title: Spatially-Coupled QDLPC CodesComments: 36 pages, 10 figuresSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
Spatially-coupled (SC) codes is a class of convolutional LDPC codes that has been well investigated in classical coding theory thanks to their high performance and compatibility with low-latency decoders. We describe toric codes as quantum counterparts of classical two-dimensional spatially-coupled (2D-SC) codes, and introduce spatially-coupled quantum LDPC (SC-QLDPC) codes as a generalization. We use the convolutional structure to represent the parity check matrix of a 2D-SC code as a polynomial in two indeterminates, and derive an algebraic condition that is both necessary and sufficient for a 2D-SC code to be a stabilizer code. This algebraic framework facilitates the construction of new code families. While not the focus of this paper, we note that small memory facilitates physical connectivity of qubits, and it enables local encoding and low-latency windowed decoding. In this paper, we use the algebraic framework to optimize short cycles in the Tanner graph of 2D-SC hypergraph product (HGP) codes that arise from short cycles in either component code. While prior work focuses on QLDPC codes with rate less than 1/10, we construct 2D-SC HGP codes with small memories, higher rates (about 1/3), and superior thresholds.
- [304] arXiv:2308.05713 (replaced) [pdf, html, other]
-
Title: Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problemsComments: Update September 2024: This revised version corrects earlier minor errors in the Arbitrary Numerical problems 3 and 17. See pages 18 and 24. Update Feb. 2025: This revised version updates the reference to (Ye et al. 2023)Subjects: Artificial Intelligence (cs.AI); History and Overview (math.HO); Popular Physics (physics.pop-ph)
This report describes a test of the large language model GPT-4 with the Wolfram Alpha and the Code Interpreter plug-ins on 105 original problems in science and math, at the high school and college levels, carried out in June-August 2023. Our tests suggest that the plug-ins significantly enhance GPT's ability to solve these problems. Having said that, there are still often "interface" failures; that is, GPT often has trouble formulating problems in a way that elicits useful answers from the plug-ins. Fixing these interface failures seems like a central challenge in making GPT a reliable tool for college-level calculation problems.
- [305] arXiv:2308.11738 (replaced) [pdf, html, other]
-
Title: Lifted Inference beyond First-Order LogicComments: Conditionally accepted (Minor revisions) Artificial Intelligence Journal. Explanation for practical implementation of cardinality constraints added in Appendix .arXiv admin note: text overlap with arXiv:2302.09830Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
Weighted First Order Model Counting (WFOMC) is fundamental to probabilistic inference in statistical relational learning models. As WFOMC is known to be intractable in general ($\#$P-complete), logical fragments that admit polynomial time WFOMC are of significant interest. Such fragments are called domain liftable. Recent works have shown that the two-variable fragment of first order logic extended with counting quantifiers ($\mathrm{C^2}$) is domain-liftable. However, many properties of real-world data, like acyclicity in citation networks and connectivity in social networks, cannot be modeled in $\mathrm{C^2}$, or first order logic in general. In this work, we expand the domain liftability of $\mathrm{C^2}$ with multiple such properties. We show that any $\mathrm{C^2}$ sentence remains domain liftable when one of its relations is restricted to represent a directed acyclic graph, a connected graph, a tree (resp. a directed tree) or a forest (resp. a directed forest). All our results rely on a novel and general methodology of "counting by splitting". Besides their application to probabilistic inference, our results provide a general framework for counting combinatorial structures. We expand a vast array of previous results in discrete mathematics literature on directed acyclic graphs, phylogenetic networks, etc.
- [306] arXiv:2309.01080 (replaced) [pdf, html, other]
-
Title: Quantum geometric formulation of Brans-Dicke theory for Bianchi I spacetimeComments: 15 pages, 4 figures, Replaced with the version matching the one published in the Physical Review DSubjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and Nongalactic Astrophysics (astro-ph.CO); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
This paper investigates Bianchi I spacetimes within the Jordan frame of Brans-Dicke theory, incorporating the framework of effective loop quantum gravity. After developing general formulas, we analyze the robustness of classical singularity resolution due to quantum geometric effects using two common quantization schemes. We then compare the resulting physical properties. We find that both schemes replace classical singularities with regular quantum bounces. Notably, in contrast to similar studies based on general relativity, we find that all three directional scale factors of the Bianchi I spacetimes increase and after the quantum bounce they reach values similar to their initial values, leading to a merging with classical spacetimes in both schemes.
- [307] arXiv:2309.10775 (replaced) [pdf, html, other]
-
Title: $O(k)$-Equivariant Dimensionality Reduction on Stiefel ManifoldsComments: Minor updates to introduction. To appear in SIAM Journal on Mathematics of Data ScienceSubjects: Computational Geometry (cs.CG); Machine Learning (cs.LG); Algebraic Topology (math.AT)
Many real-world datasets live on high-dimensional Stiefel and Grassmannian manifolds, $V_k(\mathbb{R}^N)$ and $Gr(k, \mathbb{R}^N)$ respectively, and benefit from projection onto lower-dimensional Stiefel and Grassmannian manifolds. In this work, we propose an algorithm called \textit{Principal Stiefel Coordinates (PSC)} to reduce data dimensionality from $ V_k(\mathbb{R}^N)$ to $V_k(\mathbb{R}^n)$ in an \textit{$O(k)$-equivariant} manner ($k \leq n \ll N$). We begin by observing that each element $\alpha \in V_n(\mathbb{R}^N)$ defines an isometric embedding of $V_k(\mathbb{R}^n)$ into $V_k(\mathbb{R}^N)$. Next, we describe two ways of finding a suitable embedding map $\alpha$: one via an extension of principal component analysis ($\alpha_{PCA}$), and one that further minimizes data fit error using gradient descent ($\alpha_{GD}$). Then, we define a continuous and $O(k)$-equivariant map $\pi_\alpha$ that acts as a "closest point operator" to project the data onto the image of $V_k(\mathbb{R}^n)$ in $V_k(\mathbb{R}^N)$ under the embedding determined by $\alpha$, while minimizing distortion. Because this dimensionality reduction is $O(k)$-equivariant, these results extend to Grassmannian manifolds as well. Lastly, we show that $\pi_{\alpha_{PCA}}$ globally minimizes projection error in a noiseless setting, while $\pi_{\alpha_{GD}}$ achieves a meaningfully different and improved outcome when the data does not lie exactly on the image of a linearly embedded lower-dimensional Stiefel manifold as above. Multiple numerical experiments using synthetic and real-world data are performed.
- [308] arXiv:2311.18323 (replaced) [pdf, html, other]
-
Title: Squashed quantum non-Markovianity: a measure of genuine quantum non-Markovianity in statesComments: 22+6 pages, Publised versionSubjects: Quantum Physics (quant-ph); Other Condensed Matter (cond-mat.other); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Quantum non-Markovianity in tripartite quantum states $\rho_{ABC}$ represents a correlation between systems $A$ and $C$ when conditioned on the system $B$ and is known to have both classical and quantum contributions. However, a systematic characterization of the latter is missing. To address this, we propose a faithful measure for non-Markovianity of genuine quantum origin called squashed quantum non-Markovianity (sQNM). It is based on the quantum conditional mutual information and is defined by the left-over non-Markovianity after squashing out all non-quantum contributions. It is lower bounded by the squashed entanglement between non-conditioning systems in the reduced state and is delimited by the extendibility of either of the non-conditioning systems. We show that the sQNM is monogamous, asymptotically continuous, convex, additive on tensor-product states, and generally super-additive. We characterize genuine quantum non-Markovianity as a resource via a convex resource theory after identifying free states with vanishing sQNM and free operations that do not increase sQNM in states. We use our resource-theoretic framework to bound the rate of state transformations under free operations and to study state transformation under non-free operations; in particular, we find the quantum communication cost from Bob ($B$) to Alice ($A$) or Charlie ($C$) is lower bounded by the change in sQNM in the states. The sQNM finds operational meaning; in particular, the optimal rate of private communication in a variant of conditional one-time pad protocol is twice the sQNM. Also, the minimum deconstruction cost for a variant of quantum deconstruction protocol is given twice the sQNM of the state.
- [309] arXiv:2312.11061 (replaced) [pdf, html, other]
-
Title: Stability Analysis of Compartmental and Cooperative SystemsSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)
The present article considers stability of the solutions to nonlinear and nonautonomous compartmental systems governed by ordinary differential equations (ODEs). In particular, compartmental systems with a right-hand side that can be written as a product of a matrix function and vector function. Sufficient, and on occasion necessary, conditions on the matrix function are provided to conclude exponential stability of the null solution. The conditions involve verifying that the matrix function takes its values in a set of compartmental matrices on a certain canonical form, and are easy to check. Similar conditions are provided to establish incremental exponential stability for compartmental systems governed by cooperative systems of ODEs. The solutions to such systems satisfy a so-called ordering. Systems that are cooperative in a box, are shown to be incrementally asymptotically stable if and only if every pair of initially ordered solutions converge to each other. Traffic Reaction Models are used to illustrate the results, which are numerical schemes to solve conservation laws in one spatial dimension. Suitable conditions on the flux function of the conservation law are given such that the numerical scheme gives rise to an incrementally exponentially stable system.
- [310] arXiv:2402.02502 (replaced) [pdf, html, other]
-
Title: Quantum reversal: a general theory of coherent quantum absorbersComments: 21 pages, 1 figure. v3: revised and accepted by QuantumSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
The fascinating concept of coherent quantum absorber - which can absorb any photon emitted by another system while maintaining entanglement with that system - has found diverse implications in open quantum system theory and quantum metrology. This work generalizes the concept by proposing the so-called reversal conditions for the two systems, in which a "reverser" coherently reverses any effect of the other system on a field. The reversal conditions are rigorously boiled down to concise formulas involving the Petz recovery map and Kraus operators, thereby generalizing as well as streamlining the existing treatments of coherent absorbers.
- [311] arXiv:2403.01421 (replaced) [pdf, html, other]
-
Title: Predicting the Unpredictable under Subjective Expected UtilityComments: 35 pages, 4 figuresSubjects: Theoretical Economics (econ.TH); Probability (math.PR)
We consider a decision maker who is unaware of objects to be sampled and thus cannot form beliefs about the occurrence of particular objects. Ex ante she can form beliefs about the occurrence of novelty and the frequencies of yet to be known objects. Conditional on any sampled objects, she can also form beliefs about the next object being novel or being one of the previously sampled objects. We characterize behaviorally such beliefs under subjective expected utility. In doing so, we relate "reverse" Bayesianism, a central property in the literature on decision making under growing awareness, with exchangeable random partitions, the central property in the literature on the discovery of species problem and mutations in statistics, combinatorial probability theory, and population genetics. Partition exchangeable beliefs do not necessarily satisfy "reverse" Bayesianism. Yet, the most prominent models of exchangeable random partitions, the model by De Morgan (1838), the one parameter model of Ewens (1972), and the two parameter model of Pitman (1995) and Zabell (1997), do satisfy "reverse" Bayesianism. Our characterization allows us to interpret these models as subjective beliefs of a decision maker and to derive the parameters from choice behavior.
- [312] arXiv:2405.14973 (replaced) [pdf, html, other]
-
Title: Efficiently Training Deep-Learning Parametric Policies using Lagrangian DualityComments: 8 Main Pages, 8 Appendices, 7 FiguresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Constrained Markov Decision Processes (CMDPs) are critical in many high-stakes applications, where decisions must optimize cumulative rewards while strictly adhering to complex nonlinear constraints. In domains such as power systems, finance, supply chains, and precision robotics, violating these constraints can result in significant financial or societal costs. Existing Reinforcement Learning (RL) methods often struggle with sample efficiency and effectiveness in finding feasible policies for highly and strictly constrained CMDPs, limiting their applicability in these environments. Stochastic dual dynamic programming is often used in practice on convex relaxations of the original problem, but they also encounter computational challenges and loss of optimality. This paper introduces a novel approach, Two-Stage Deep Decision Rules (TS-DDR), to efficiently train parametric actor policies using Lagrangian Duality. TS-DDR is a self-supervised learning algorithm that trains general decision rules (parametric policies) using stochastic gradient descent (SGD); its forward passes solve {\em deterministic} optimization problems to find feasible policies, and its backward passes leverage duality theory to train the parametric policy with closed-form gradients. TS-DDR inherits the flexibility and computational performance of deep learning methodologies to solve CMDP problems. Applied to the Long-Term Hydrothermal Dispatch (LTHD) problem using actual power system data from Bolivia, TS-DDR is shown to enhance solution quality and to reduce computation times by several orders of magnitude when compared to current state-of-the-art methods.
- [313] arXiv:2405.19637 (replaced) [pdf, html, other]
-
Title: Inference in semiparametric formation models for directed networksComments: 69 pages, 9 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
We propose a semiparametric model for dyadic link formations in directed networks. The model contains a set of degree parameters that measure different effects of popularity or outgoingness across nodes, a regression parameter vector that reflects the homophily effect resulting from the nodal attributes or pairwise covariates associated with edges, and a set of latent random noises with unknown distributions. Our interest lies in inferring the unknown degree parameters and homophily parameters. The dimension of the degree parameters increases with the number of nodes. Under the high-dimensional regime, we develop a kernel-based least squares approach to estimate the unknown parameters. The major advantage of our estimator is that it does not encounter the incidental parameter problem for the homophily parameters. We prove consistency of all the resulting estimators of the degree parameters and homophily parameters. We establish high-dimensional central limit theorems for the proposed estimators and provide several applications of our general theory, including testing the existence of degree heterogeneity, testing sparse signals and recovering the support. Simulation studies and a real data application are conducted to illustrate the finite sample performance of the proposed methods.
- [314] arXiv:2406.01857 (replaced) [pdf, html, other]
-
Title: Neural Green's Operators for Parametric Partial Differential EquationsSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
This work introduces neural Green's operators (NGOs), a novel neural operator network architecture that learns the solution operator for a parametric family of linear partial differential equations (PDEs). Our construction of NGOs is derived directly from the Green's formulation of such a solution operator. Similar to deep operator networks (DeepONets) and variationally mimetic operator networks (VarMiONs), NGOs constitutes an expansion of the solution to the PDE in terms of basis functions, that is returned from a sub-network, contracted with coefficients, that are returned from another sub-network. However, in accordance with the Green's formulation, NGOs accept weighted averages of the input functions, rather than sampled values thereof, as is the case in DeepONets and VarMiONs. Application of NGOs to canonical linear parametric PDEs shows that, while they remain competitive with DeepONets, VarMiONs and Fourier neural operators when testing on data that lie within the training distribution, they robustly generalize when testing on finer-scale data generated outside of the training distribution. Furthermore, we show that the explicit representation of the Green's function that is returned by NGOs enables the construction of effective preconditioners for numerical solvers for PDEs.
- [315] arXiv:2406.03213 (replaced) [pdf, other]
-
Title: Doubly minimized sandwiched Renyi mutual information: Properties and operational interpretation from strong converse exponentComments: 17+30 pages, 1 figure, 2 tables, see similar work: arXiv:2406.01699Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
In this paper, we deepen the study of properties of the doubly minimized sandwiched Renyi mutual information, which is defined as the minimization of the sandwiched divergence of order $\alpha$ of a fixed bipartite state relative to any product state. In particular, we prove a novel duality relation for $\alpha\in [\frac{2}{3},\infty]$ by employing Sion's minimax theorem, and we prove additivity for $\alpha\in [\frac{2}{3},\infty]$. Previously, additivity was only known for $\alpha\in [1,\infty]$, but has been conjectured for $\alpha\in [\frac{1}{2},\infty]$. Furthermore, we show that the doubly minimized sandwiched Renyi mutual information of order $\alpha\in [1,\infty]$ attains operational meaning in the context of binary quantum state discrimination as it is linked to certain strong converse exponents.
- [316] arXiv:2406.10195 (replaced) [pdf, html, other]
-
Title: Matrix-product unitaries: Beyond quantum cellular automataComments: Accepted for publication in QuantumSubjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single repeated tensor are known to coincide with 1D quantum cellular automata (QCA), i.e., unitaries with an exact light cone. However, this correspondence breaks down for MPU with open boundary conditions, even if the resulting operator is translation-invariant. Such unitaries can turn short- to long-range correlations and thus alter the underlying phase of matter. Here we make the first steps towards a theory of MPU with uniform bulk but arbitrary boundary. In particular, we study the structure of a subclass with a direct-sum form which maximally violates the QCA property. We also consider the general case of MPU formed by site-dependent (nonuniform) tensors and show a correspondence between MPU and locally maximally entanglable states.
- [317] arXiv:2407.13892 (replaced) [pdf, html, other]
-
Title: Sackin Indices for Labeled and Unlabeled Classes of Galled TreesComments: Dedicated to Michael Drmota on the occasion of his 60th birthday. Revised version, 27 pagesSubjects: Populations and Evolution (q-bio.PE); Combinatorics (math.CO)
The Sackin index is an important measure for the balance of phylogenetic trees. We investigate two extensions of the Sackin index to the class of galled trees and two of its subclasses (simplex galled trees and normal galled trees) where we consider both labeled and unlabeled galled trees. In all cases, we show that the mean of the Sackin index for a network which is uniformly sampled from its class is asymptotic to $\mu n^{3/2}$ for an explicit constant $\mu$. In addition, we show that the scaled Sackin index convergences weakly and with all its moments to the Airy distribution.
- [318] arXiv:2409.19437 (replaced) [pdf, html, other]
-
Title: Strongly-polynomial time and validation analysis of policy gradient methodsComments: Some fixes to notationSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
This paper proposes a novel termination criterion, termed the advantage gap function, for finite state and action Markov decision processes (MDP) and reinforcement learning (RL). By incorporating this advantage gap function into the design of step size rules and deriving a new linear rate of convergence that is independent of the stationary state distribution of the optimal policy, we demonstrate that policy gradient methods can solve MDPs in strongly-polynomial time. To the best of our knowledge, this is the first time that such strong convergence properties have been established for policy gradient methods. Moreover, in the stochastic setting, where only stochastic estimates of policy gradients are available, we show that the advantage gap function provides close approximations of the optimality gap for each individual state and exhibits a sublinear rate of convergence at every state. The advantage gap function can be easily estimated in the stochastic case, and when coupled with easily computable upper bounds on policy values, they provide a convenient way to validate the solutions generated by policy gradient methods. Therefore, our developments offer a principled and computable measure of optimality for RL, whereas current practice tends to rely on algorithm-to-algorithm or baselines comparisons with no certificate of optimality.
- [319] arXiv:2410.21676 (replaced) [pdf, html, other]
-
Title: How Does Critical Batch Size Scale in Pre-training?Hanlin Zhang, Depen Morwani, Nikhil Vyas, Jingfeng Wu, Difan Zou, Udaya Ghai, Dean Foster, Sham KakadeComments: ICLR 2025Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Machine Learning (stat.ML)
Training large-scale models under given resources requires careful design of parallelism strategies. In particular, the efficiency notion of critical batch size (CBS), concerning the compromise between time and compute, marks the threshold beyond which greater data parallelism leads to diminishing returns. To operationalize it, we propose a measure of CBS and pre-train a series of auto-regressive language models, ranging from 85 million to 1.2 billion parameters, on the C4 dataset. Through extensive hyper-parameter sweeps and careful control of factors such as batch size, momentum, and learning rate along with its scheduling, we systematically investigate the impact of scale on CBS. Then we fit scaling laws with respect to model and data sizes to decouple their effects. Overall, our results demonstrate that CBS scales primarily with data size rather than model size, a finding we justify theoretically through the analysis of infinite-width limits of neural networks and infinite-dimensional least squares regression. Of independent interest, we highlight the importance of common hyper-parameter choices and strategies for studying large-scale pre-training beyond fixed training durations.
- [320] arXiv:2411.02140 (replaced) [pdf, html, other]
-
Title: Quantum complexity and generalized area law in fully connected modelsComments: 8 pages + 33 pages Supplementary materials, 4 figuresSubjects: Quantum Physics (quant-ph); Quantum Gases (cond-mat.quant-gas); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
The area law for entanglement entropy fundamentally reflects the complexity of quantum many-body systems, demonstrating ground states of local Hamiltonians to be represented with low computational complexity. While this principle is well-established in one-dimensional systems, little is known beyond 1D cases, and attempts to generalize the area law on infinite-dimensional graphs have largely been disproven. In this work, for non-critical ground states of Hamiltonians on fully connected graphs, we establish a generalized area law up to a polylogarithmic factor in system size, by effectively reducing the boundary area to a constant scale for interactions between subsystems. This result implies an efficient approximation of the ground state by the matrix product state up to an approximation error of $1/\text{poly}(n)$. As the core technique, we develop the mean-field renormalization group approach, which rigorously guarantees efficiency by systematically grouping regions of the system and iteratively approximating each as a product state. This approach provides a rigorous pathway to efficiently simulate ground states of complex systems, advancing our understanding of infinite-dimensional quantum many-body systems and their entanglement structures.
- [321] arXiv:2411.06612 (replaced) [pdf, html, other]
-
Title: An exact active sensing strategy for a class of bio-inspired systemsSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)
We consider a general class of translation-invariant systems with a specific category of output nonlinearities motivated by biological sensing. We show that no dynamic output feedback can stabilize this class of systems to an isolated equilibrium point. To overcome this fundamental limitation, we propose a simple control scheme that includes a low-amplitude periodic forcing function akin to so-called "active sensing" in biology, together with nonlinear output feedback. Our analysis shows that this approach leads to the emergence of an exponentially stable limit cycle. These findings offer a provably stable active sensing strategy and may thus help to rationalize the active sensing movements made by animals as they perform certain motor behaviors.
- [322] arXiv:2411.13167 (replaced) [pdf, html, other]
-
Title: Anomalous propagators and the particle-particle channel: Bethe-Salpeter equationComments: 19 pages, 8 figuresSubjects: Chemical Physics (physics.chem-ph); Materials Science (cond-mat.mtrl-sci); Mathematical Physics (math-ph); Nuclear Theory (nucl-th)
The Bethe-Salpeter equation has been extensively employed to compute the two-body electron-hole propagator and its poles which correspond to the neutral excitation energies of the system. Through a different time-ordering, the two-body Green's function can also describe the propagation of two electrons or two holes. The corresponding poles are the double ionization potentials and double electron affinities of the system. In this work, a Bethe-Salpeter equation for the two-body particle-particle propagator is derived within the linear-response formalism using a pairing field and anomalous propagators. This framework allows us to compute kernels corresponding to different self-energy approximations ($GW$, $T$-matrix, and second-Born) as in the usual electron-hole case. The performance of these various kernels is gauged for singlet and triplet valence double ionization potentials using a set of 23 small molecules. The description of double core hole states is also analyzed.
- [323] arXiv:2412.00380 (replaced) [pdf, html, other]
-
Title: Inhomogeneous transformations in a gauged twistor formulation of a massive particleComments: 12 pages, no figures, v2: minor correction, v3: published versionSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
In this paper, we show that the mass-shell constraints in the gauged twistor formulation of a massive particle given in [Deguchi and Okano, Phys. Rev. D 93, 045016 (2016) [Erratum 93, 089906(E) (2016)]] are incorporated in an action automatically by extending the local $U(2)$ transformation to its inhomogeneous extension denoted by $IU(2)$. Therefore, it turns out that all the necessary constraints are incorporated into an action by virtue of the local $IU(2)$ symmetry of the system.
- [324] arXiv:2412.17224 (replaced) [pdf, html, other]
-
Title: Analytic 3D vector non-uniform Fourier crystal optics in arbitrary $\bar{\bar{\varepsilon}}$ dielectricComments: Main info: 34 pages, 8 figures, 2 tables; Supplementary info: 1 Note_pdf, 4 Videos_mp4 (SV_1.1: this https URL, SV_1.2: this https URL, SV_2.1: this https URL, SV_2.2: this https URL)Subjects: Optics (physics.optics); Materials Science (cond-mat.mtrl-sci); Analysis of PDEs (math.AP); Exactly Solvable and Integrable Systems (nlin.SI); Quantum Physics (quant-ph)
To find a suitable incubator for nonlinear crystal optics(NCO), we have revisited linear crystal optics(LCO). At the methodological level, three widely used plane wave bases are compared in terms of eigenanalysis in reciprocal space and light field propagation in real space. Inspired by complex ray tracing, we expand M.V. Berry's 2003 uniform plane wave model to non-uniform Fourier crystal optics(FCO) and ultimately derive the explicit form of its 3$\times$2 transition matrix, bridging the two major branches of crystal optics(CO) in reciprocal space, where either ray direction $\hat{k}$ or spatial frequency $\bar{k}_{\mathrm{\rho}}$ serves as the input variable. Using this model, we create the material-matrix tetrahedral compass(M-M TC) to conduct a detailed analysis of how the four fundamental characteristics of materials (linear/circular birefringence/dichroism) influence the eigensystems of the vector electric field in two-dimensional(2D) spatial frequency $\bar{k}_{\mathrm{\rho}}$ domain and its distribution in three-dimensional(3D) $\bar{r}$ space with a crystal-2f system. Along this journey, we have uncovered new territories in LCO in both real and reciprocal space, such as infinite singularities arranged in disk-, ring-, and crescent-like shapes, ``L shorelines'' resembling hearts, generalized haunting theorem, double conical refraction, and optical knots it induces. We also present our model's early applications in focal engineering and NCO.
- [325] arXiv:2501.08634 (replaced) [pdf, html, other]
-
Title: Transport theory in moderately anisotropic plasmas: I, Collisionless aspects of axisymmetric velocity spaceComments: 17 pages, 1 figureSubjects: Plasma Physics (physics.plasm-ph); Mathematical Physics (math-ph)
A novel transport theory, based on the finitely distinguishable independent features (FDIF) hypothesis, is presented for scenarios when velocity space exhibits axisymmetry. In this theory, the transport equations are derived from the 1D-2V Vlasov equation, employing the Spherical harmonics expansions (SHE) together with the King function expansion (KFE) in velocity space. The characteristic parameter equations (CPEs) are provided based on the general King mixture model (GKMM), serving as the constraint equations of the transport equations. It is a nature process to present the closure relations of transport equations based on SHE and KFE, successfully providing a kinetic moment-closed model (KMCM). This model is typically a nonlinear system, effective for moderately anisotropic non-equilibrium plasmas.
- [326] arXiv:2501.11192 (replaced) [pdf, html, other]
-
Title: Non-crossing $H$-graphs: a generalization of proper interval graphs admitting FPT algorithmsSubjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We prove new parameterized complexity results for the FO Model Checking problem and in particular for Independent Set, for two recently introduced subclasses of $H$-graphs, namely proper $H$-graphs and non-crossing $H$-graphs. It is known that proper $H$-graphs, and thus $H$-graphs, may have unbounded twin-width. However, we prove that for every connected multigraph $H$ with no self-loops, non-crossing $H$-graphs have bounded proper mixed-thinness, and thus bounded twin-width. Consequently, we can apply a well-known result of Bonnet, Kim, Thomassé, and Watrigant (2021) to find that the FO Model Checking problem is in $\mathsf{FPT}$ for non-crossing $H$-graphs when parameterized by $\Vert H \Vert+\ell$, where $\Vert H \Vert$ is the size of $H$ and $\ell$ is the size of a formula. In particular, this implies that Independent Set is in $\mathsf{FPT}$ on non-crossing $H$-graphs when parameterized by $\Vert H \Vert+k$, where $k$ is the solution size. In contrast, Independent Set for general $H$-graphs is $\mathsf{W[1]}$-hard when parameterized by $\Vert H \Vert +k$. We strengthen the latter result by proving thatIndependent Set is $\mathsf{W[1]}$-hard even on proper $H$-graphs when parameterized by $\Vert H \Vert+k$. In this way, we solve, subject to $\mathsf{W[1]}\neq \mathsf{FPT}$, an open problem of Chaplick (2023), who asked whether there exist problems that can be solved faster for non-crossing $H$-graphs than for proper $H$-graphs.
- [327] arXiv:2502.02318 (replaced) [pdf, html, other]
-
Title: Courant Algebroid Relations, T-Dualities and Generalised Ricci FlowComments: 49 pages; v2: typos fixed, reference addedSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Differential Geometry (math.DG)
The notion of Courant algebroid relation is used to introduce a definition of relation between divergence operators on Courant algebroids. By introducing invariant divergence operators, a notion of generalised T-duality between divergences is presented through an existence and uniqueness result for related divergence operators on T-dual pairs of exact Courant algebroids, which naturally incorporates the dilaton shift. When combined with the notion of generalised isometry, this establishes circumstances under which generalised Ricci tensors are related, proving that T-duality is compatible with generalised string background equations. This enables an analysis of the compatibility between T-duality and generalised Ricci flow, showing that the T-dual of a solution of generalised Ricci flow is also a solution of generalised Ricci flow. Our constructions are illustrated through many explicit examples.
- [328] arXiv:2502.04555 (replaced) [pdf, html, other]
-
Title: Decomposing Multivariate Information Rates in Networks of Random ProcessesLaura Sparacino, Gorana Mijatovic, Yuri Antonacci, Leonardo Ricci, Daniele Marinazzo, Sebastiano Stramaglia, Luca FaesSubjects: Methodology (stat.ME); Information Theory (cs.IT)
The Partial Information Decomposition (PID) framework has emerged as a powerful tool for analyzing high-order interdependencies in complex network systems. However, its application to dynamic processes remains challenging due to the implicit assumption of memorylessness, which often falls in real-world scenarios. In this work, we introduce the framework of Partial Information Rate Decomposition (PIRD) that extends PID to random processes with temporal correlations. By leveraging mutual information rate (MIR) instead of mutual information (MI), our approach decomposes the dynamic information shared by multivariate random processes into unique, redundant, and synergistic contributions obtained aggregating information rate atoms in a principled manner. To solve PIRD, we define a pointwise redundancy rate function based on the minimum MI principle applied locally in the frequency-domain representation of the processes. The framework is validated in benchmark simulations of Gaussian systems, demonstrating its advantages over traditional PID in capturing temporal correlations and showing how the spectral representation may reveal scale-specific higher-order interactions that are obscured in the time domain. Furthermore, we apply PIRD to a physiological network comprising cerebrovascular and cardiovascular variables, revealing frequency-dependent redundant information exchange during a protocol of postural stress. Our results highlight the necessity of accounting for the full temporal statistical structure and spectral content of vector random processes to meaningfully perform information decomposition in network systems with dynamic behavior such as those typically encountered in neuroscience and physiology.
- [329] arXiv:2502.06072 (replaced) [pdf, html, other]
-
Title: ID policy (with reassignment) is asymptotically optimal for heterogeneous weakly-coupled MDPsComments: 37 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Probability (math.PR)
Heterogeneity poses a fundamental challenge for many real-world large-scale decision-making problems but remains largely understudied. In this paper, we study the fully heterogeneous setting of a prominent class of such problems, known as weakly-coupled Markov decision processes (WCMDPs). Each WCMDP consists of $N$ arms (or subproblems), which have distinct model parameters in the fully heterogeneous setting, leading to the curse of dimensionality when $N$ is large. We show that, under mild assumptions, a natural adaptation of the ID policy, although originally proposed for a homogeneous special case of WCMDPs, in fact achieves an $O(1/\sqrt{N})$ optimality gap in long-run average reward per arm for fully heterogeneous WCMDPs as $N$ becomes large. This is the first asymptotic optimality result for fully heterogeneous average-reward WCMDPs. Our techniques highlight the construction of a novel projection-based Lyapunov function, which witnesses the convergence of rewards and costs to an optimal region in the presence of heterogeneity.
- [330] arXiv:2502.08494 (replaced) [pdf, html, other]
-
Title: All Hilbert spaces are the same: consequences for generalized coordinates and momentaSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Making use of the simple fact that all separable complex Hilbert spaces of given dimension are isomorphic, we show that there are just six basic ways to define generalized coordinate operators in Quantum Mechanics. In each case a canonically conjugate generalized momentum operator can be defined, but it may not be self-adjoint. Even in those cases we show there is always either a self-adjoint extension of the operator or a Neumark extension of the Hilbert space that produces a self-adjoint momentum operator. In one of the six cases both extensions work, thus leading to seven basic pairs of coordinate and momentum operators. We also show why there are more ways of defining basic coordinate and momentum measurements. A special role is reserved for measurements that simultaneously measure both.
- [331] arXiv:2502.08816 (replaced) [pdf, html, other]
-
Title: The Statistical Mechanics of Hawking RadiationComments: (Version 3: in style of PLB preprint): 5 pages, 1 figure; typo errors were addressedSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Hawking radiation and black hole thermodynamics are well understood in the frameworks of quantum field theory and general relativity, with contemporary extensions in string theory, AdS/CFT, and loop quantum gravity. However, an open question remains: Can Hawking radiation be consistently described using statistical mechanics? This challenge arises due to the ambiguous quantum nature of Hawking particles and constraints imposed by information conservation. This study develops a heuristic statistical model using a worldine Lagrangian formalism, treating Hawking particles as timelike with an effective mass and following an arbitrary statistical distribution. The flow of information is modeled as a transfer of microstates from the event horizon to the radiation background within a closed ensemble. From this framework, the Hawking particle mass $m_H=\hbar/(2\pi r_S)$ is recovered, and the worldline Lagrangian yields the black hole's thermal energy, $E=\hbar/(8\pi GM)$. Beyond preserving conventional insights, reinforcing the statistical nature of black hole evaporation, this approach introduces novel perspectives: modeling the black hole as a structured energy well containing microstates, quantifying the evaporation rate of individual microstates, and determining the total number of microstates from the horizon's surface area. This study leaves the door open for a stochastic mechanical analysis, which is introduced in the Discussion section.
- [332] arXiv:2502.12196 (replaced) [pdf, other]
-
Title: Integrated Scheduling Model for Arrivals and Departures in Metroplex Terminal AreaComments: 37 pages, 28 figuresSubjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
In light of the rapid expansion of civil aviation, addressing the delays and congestion phenomena in the vicinity of metroplex caused by the imbalance between air traffic flow and capacity is crucial. This paper first proposes a bi-level optimization model for the collaborative flight sequencing of arrival and departure flights in the metroplex with multiple airports, considering both the runway systems and TMA (Terminal Control Area) entry/exit fixes. Besides, the model is adaptive to various traffic scenarios. The genetic algorithm is employed to solve the proposed model. The Shanghai TMA, located in China, is used as a case study, and it includes two airports, Shanghai Hongqiao International Airport and Shanghai Pudong International Airport. The results demonstrate that the model can reduce arrival delay by 51.52%, departure delay by 18.05%, and the runway occupation time of departure flights by 23.83%. Furthermore, the model utilized in this study significantly enhances flight scheduling efficiency, providing a more efficient solution than the traditional FCFS (First Come, First Served) approach. Additionally, the algorithm employed offers further improvements over the NSGA II algorithm.