Dynamical Systems · Cross-listed from eess.SY
Papers
Fresh from arXiv, typeset properly. Highlighted words trade on the market.
Sunday 27 September
Nonlinear sustained oscillations involving inverter-based resources can happen when device and network interactions produce an attracting limit cycle around an unstable equilibrium. A damping controller must then describe nonlinear dynamics over the region between the two invariant sets, where a local equilibrium linearization can be insufficient. In this paper, a controlled phase–isostable model is first developed on a two-dimensional invariant manifold connecting the equilibrium and the limit cycle. Dynamics on this surface are represented by phase and isostable coordinates, while physical states and control inputs are related to these coordinates through nonlinear reconstruction and response functions. The required functions are computed from connecting trajectories and periodic-orbit data. A control strategy is then designed to provide extra damping while limiting phase distortion. Case studies on a two-area system and an IEEE 39-bus system demonstrate more effective oscillation damping than the compared equilibrium-linearized designs under the same conditions.
Functional Analysis
Von Neumann-Jordan Constants in Banach Tensor Products
We investigate the von Neumann–Jordan constant of Banach tensor products equipped with the injective and projective tensor norms. We first establish lower estimates in terms of the geometric properties of the factor spaces and show that, whenever both factors are infinite-dimensional, the von Neumann–Jordan constants of both canonical tensor products attain the maximal value \(2\). For finite-dimensional factors, we obtain explicit results for classical sequence spaces and characterize the extremal case through operator-space and orthogonal-contact conditions. We further derive dimension-sensitive estimates based on Euclidean sections. Finally, we study the constant under equivalent renormings and determine its exact renorming envelope for injective and projective tensor products. As consequences, we characterize when these tensor products are superreflexive and when they are weak Hilbert spaces. These results clarify the influence of tensor norms, dimension, and renorming on the von Neumann–Jordan geometry of Banach tensor products.
Read the full abstract
Optimization and Control
A Two-Stage Stochastic Facility Location Problem with Endogenous Demand Learning
In facility location problems, planners can reduce demand uncertainty by collecting data, but these actions are costly. In this paper, we ask how a planner should jointly decide where to open facilities and invest in demand learning, which comes with a cost. The challenge is that learning changes how future random costs should be evaluated, creating a model that is both endogenous and nonlinear in location decisions. We model this problem within a two-stage stochastic framework, where both location and learning decisions have to be made here-and-now. Under some mild assumptions, we obtain a closed-form reformulation, which further enables a theoretical analysis of the sensitivity of learning decisions to model parameters and design of convergent solution algorithms that alternate between updating location and learning decisions. Numerical experiments on benchmark instances show that learning is most valuable when initial demand uncertainty is high, learning is effective, and learning costs are low. Moreover, the proposed solution algorithms find high-quality solutions much faster than exhaustive search and a standard commercial nonlinear solver. These findings show how information-acquisition decisions can be built directly into strategic facility planning. They help decision makers target limited learning resources where better demand information has the greatest value.
Read the full abstract
Logic
A Special $\Pi^0_1$ Class with the Join Property but without Pseudojump Inversion
Jananthan and Simpson showed that special $\Pi^0_1$ classes exist in three of the four possible cases determined by whether the Join Property and the Pseudojump Inversion Property hold, leaving open the existence of a special $\Pi^0_1$ class with the Join Property but not the Pseudojump Inversion Property. We construct such a class, thereby answering their question affirmatively and completing the four-way existence pattern. Moreover, the class can be chosen to consist entirely of generalized low reals, with the Join Property holding locally on every nonempty relatively basic open subclass. More generally, every special $\Pi^0_1$ class contained in $\mathrm{GL}_1$ has a special $\Pi^0_1$ extension, still contained in $\mathrm{GL}_1$, on which the Join Property holds locally. We also show that no class contained in $\mathrm{GL}_1$ has the Pseudojump Inversion Property. An independent appendix proves that, for any class with the Join Property, every jump-inversion fibre above $0'$ is countably infinite.
Read the full abstract
Logic
Pseudo-Hyperjump Inversion Fails for Turing Degrees
Jananthan and Simpson asked in Conjecture~4.5 whether every pseudo-hyperjump $\operatorname{HJ}_e(X)=X\oplus V_e^X$, with $V_e^X$ uniformly $\Pi^1_1(X)$, admits Turing-degree inversion above Kleene's $\mathcal{O}$. We settle their conjecture in the negative. We construct one index $e_*$ such that $X<_{\mathrm T}\operatorname{HJ}_{e_*}(X)$ for every real $X$, while the range of $\operatorname{HJ}_{e_*}$ omits every Turing degree $\mathbf d$ such that $\deg_{\mathrm T}(\mathcal{O})\leq\mathbf d<\deg_{\mathrm T}(\mathcal{O}^{\mathcal{O}})$. Thus Conjecture~4.5 fails even for an operator which strictly raises the Turing degree of every input. Each of Properties~4.6–4.8 implies Conjecture~4.5; consequently, the accompanying class-characterisation problems collapse: no class of reals, even without a definability assumption, satisfies any one of these properties.
Read the full abstract
Number Theory
Weighted equidistribution of factorial prime valuations in fixed power bands
For a fixed modulus h and residue class c, we study the logarithmic mass of primes p in a fixed power band for which the exponent of p in n! is congruent to c modulo h. We establish the asymptotic ((b-a)/h + o(1)) log(n!) for primes satisfying n^a < p <= n^b, where 0 <= a < b <= 1. The argument combines a fixed-order derivative estimate, Vaughan's identity, and finite Fourier approximation of a discontinuous valuation function. We also derive a necessary capacity condition for infinite families of solutions to polynomial-factorial equations P(x) = n!.
Read the full abstract
Combinatorics
Minimal Resolving Sets in Rectangular Grid Graphs: A Complete Characterization and Enumeration
Let $m,n \geq 3$. A set of vertices $S$ of the rectangular grid graph $P_m \square P_n$ is resolving if the taxicab distance vectors of the vertices of $P_m \square P_n$ with respect to $S$ are pairwise distinct. A resolving set $S$ is minimal if no proper subset of $S$ is resolving, and a minimal resolving set of cardinality $k$ is called a $k$-minimal. We extend the work of Andersen et al., who characterized $3$-minimals, established the maximum cardinality $2\min(m,n)-2$, and posed the complete characterization and enumeration of minimal resolving sets for grids as an open problem, and Adar and Epstein, who showed that $3$ is the only possible odd cardinality and that every minimal resolving set of cardinality at least $4$ can be ordered to form a sequence corresponding to a zigzag sequence. We provide a recursive construction that generates exactly the minimal resolving sets of cardinality at least $4$ for grids. We derive from the construction closed-form formulas to enumerate the $k$-minimals for all even $4 \leq k \leq 2\min(m,n) -2$. Together with the known characterizations for cardinalities $2$ and $3$ and a direct enumeration of the $3$-minimals, this yields a complete characterization and enumeration of the minimal resolving sets of rectangular grid graphs of every possible cardinality.
Read the full abstract
Mathematical Physics · Cross-listed from nlin.SI
Generalized Charlier Recurrence Coefficients: Hankel Formulas, Laguerre–Freud Dynamics, and Painlevé V Connections
We study the monic recurrence coefficients of the generalized Charlier polynomials associated with the discrete weight \[ \rho_\mu(k) = \frac{\mu^k}{(k!)^2}, \qquad k\in\mathbb N_0, \qquad \mu>0. \] The coefficients $\beta_n$ and $\gamma_n$ in the recurrence relation \[ P_{n+1}(x) = (x-\beta_n)P_n(x)-\gamma_nP_{n-1}(x) \] are described through complementary moment, determinant, discrete dynamical, and continuous integrable formulations. We give a consistent normalization of the Markov function and its Jacobi continued fraction, and express the recurrence coefficients in terms of Hankel determinants, using a bordered determinant for the diagonal coefficient $\beta_n$. Starting from the original Laguerre–Freud equations, we derive the local recursive system used for computation and relate it to the Toda deformation. We also recall the known Painlevé~V representations associated with the two-parameter generalized Charlier family, in a normalization consistent with the present specialization. Moment/Hankelconstructions provide complementary moment-theoretic realizations of the recurrence coefficients, while the local Laguerre–Freud recursion provides an independent dynamical construction. Their comparison is used for numerical cross-validation. The numerical results are consistent with the leading large-degree behavior \[ \beta_n\sim n, \qquad \gamma_n\sim\mu. \]
Read the full abstract
Mathematical Physics · Cross-listed from physics.flu-dyn
Wave-Particle Decomposition for Kinetic Equations II: Full Boltzmann equation
The wave-particle decomposition of kinetic relaxation equations is extended to the full Boltzmann equation. An identity transformation writes the collision term as a relaxation toward the local Maxwellian plus a conservative remainder. Along characteristics, the equilibrium integral over a local kinetic horizon defines the wave, and its exact complement, the particle, carries the remainder. The moments of the wave and particle equations are extended Navier-Stokes equations, and the total conservation law and the particle equation form the wave-particle multiscale equations, a closed system, exact for every horizon, that spans a continuous spectrum from the Boltzmann equation to Navier-Stokes hydrodynamics, parametrized by the horizon-to-relaxation ratio. A coupled implicit wave-particle iteration solves this system, updating the conservative variables with the particle fixed and the particle with the predicted wave and an endpoint traction from the macroscopic prediction. Under discrete compatibility assumptions the iteration preserves the discrete Boltzmann solution as its fixed point, and its near-continuum convergence factor is bounded by a particle transport share decaying exponentially with this ratio. Tests on a normal shock, Couette and cavity flows, and hypersonic cylinder and Apollo flows agree with the conventional iterative scheme in rarefied and transition regimes and with Navier-Stokes solutions near the continuum limit. There the wave-particle iteration needs about three to more than four orders of magnitude fewer iterations than this scheme or, where it did not converge, its Shakhov version, and the Boltzmann solution costs one to four times the wall time of a Navier-Stokes solver on the same mesh.
Read the full abstract
Number Theory
Proofs of some conjectures by Bringmann, Han, Heim, and Kane on periodic sign changes in eta-quotients
Bringmann, Han, Heim, and Kane recently investigated periodic sign patterns in the Fourier coefficients of weakly holomorphic modular forms arising from eta-quotients and posed numerous conjectures in the appendix to their work. Using classical theta-function identities, dissections, and coefficientwise positivity, we prove 72 of these conjectural sign patterns. The eta-quotients considered here have periods 2, 3, 4, 5, 6, 8, and 12. Our proofs are elementary at the level of $q$-series and yield explicit generating functions for the coefficients in each relevant residue class.
Read the full abstract
Numerical Analysis · Cross-listed from cs.LG
Structure-Adaptive Tree Field Integrators
We present a new class of near-linear algorithms for efficiently integrating general tensor fields defined on trees with distance dependent kernels, the Structure-Adaptive Tree Field Integrators (STAD-TFIs). STAD-TFIs exploit the tree's underlying structure through decompositions built around path backbones and single vertex separators, and use two-dimensional fast Fourier transforms to compute interactions jointly. By exploiting this structural information, STAD-TFIs achieve more computationally efficient integration than their regular efficient tree field integrators (TFI) counterparts. We provide a detailed theoretical analysis of our proposed approach and complement it with an exhaustive empirical evaluation, ranging from speed tests on synthetic trees, through accelerated Sinkhorn-based relaxations of the Optimal Transport algorithms on real meshes, to Topological Attention Transformers for vision tasks. To the best of our knowledge, we provide some of the first results showing that efficient to compute and accurate relaxations of the geodesic Sinkhorn-based solutions of the Optimal Transport problem can be derived by applying fast TFI methods.
Read the full abstract
Combinatorics
Strong Edge Colouring of Disk Graphs: A 6-Approximation and an Improved Unit-Disk Bound
A strong edge colouring of a graph $G$ is an edge colouring in which every colour class is an induced matching. The minimum number of colours is the strong chromatic index $\chi'_s(G)$. If each edge $e$ is assigned a list $L'(e)$ and its colour must belong to $L'(e)$, the corresponding parameter is the strong list chromatic index $\chi'_{s,\ell}(G)$. From the definitions, $\chi'_s(G)\le\chi'_{s,\ell}(G)$. Barrett et al. gave an $8$-approximation for strong edge colouring on unit disk graphs and Grelier et al. improved the approximation factor to $6$. Our first result extends this factor-$6$ guarantee from unit disk graphs to the strictly larger class of disk graphs. In another direction, Erdős and Nešetřil conjectured that the strong chromatic index of a graph of maximum degree $\Delta$ is asymptotically at most $1.25\Delta^2$. The best published general asymptotic upper bound has leading coefficient $1.772$, due to Hurley et al. For unit disk graphs, Dębski et al. proved that $\chi'_s(G) \leq 1.625 \Delta^2$. Our second result improves this leading coefficient to $225/142 \approx 1.5845$. In fact, the proof establishes a stronger bound $\chi'_{s,\ell}(G)\le\frac{225}{142} \Delta^2+O(\Delta)$ for unit disk graphs.
Read the full abstract
Commutative Algebra
DG Algebra Structures on Mapping Cones with an Application to Edge Ideals
We generalize a construction of Herzog and Takayama pertaining to differential graded algebra structures on mapping cones. Via this generalization, we provide the minimal free resolution of the edge ideal of a new graph built from suspension over a vertex cover of an old graph, and we discuss when this process preserves differential graded algebra structure on the respective resolutions.
Read the full abstract
Number Theory
Coxeter Symmetry in Hypergeometric Functions and Elliptic Integral Moments
We develop a hypergeometric framework for elliptic integral moments organized around Mishev's completed Saalschützian $L$-function and its $W(D_5)$ symmetry. The Bailey–Mishev very-well-poised ${}_7F_6(1)$ representation places complementary elliptic integral moments and harmonic hypergeometric sums in a common parameter space. We first give collision-based hypergeometric derivations of the three complementary-modulus moment families involving $K'^2$, $E'K'$, and $E'^2$. The $E'^2$ identity is also recovered independently from a Barnes-contiguous relation mirroring the differential system of the elliptic integrals. We then derive a hypergeometric evaluation of the harmonic-series representation of the four-Bessel moment $s_{4,0}$. At symmetric parameter points, Coxeter symmetry forces selected Taylor coefficients to vanish along symmetry-adapted paths, producing families of harmonic and special-value identities involving values of the Riemann zeta function and the same Bessel period. The resulting picture shows that these elliptic-moment, harmonic-sum, and special-value identities arise from a common $W(D_5)$ symmetry of generalized hypergeometric functions.
Read the full abstract
Algebraic Topology
A study of $n$-valued non-split maps and applications
For a given $n$-valued map, there exists a suitable minimal covering of the domain such that the composition of this covering with the map yields a split map, composed of $n$ single-valued maps, called the lift factors. Using the group action of the deck-transformation group we construct intermediate covering spaces as well as intermediate configuration spaces, allowing the original map to lift to these spaces, building a tower to illustrate at which level the lift factors split off. We then display two applications of these new tools. The first is to derive results concerning the Borsuk-Ulam property for certain coverings of the tower. The second is to obtain a sharp formula for the Nielsen number of an $n$-valued non-split map, using the coincidence number of specific single-valued maps that arise in the lifts of the tower.
Read the full abstract
Operator Algebras
Selfless nonnuclear crossed products
For a strictly ergodic action of a countable discrete group with Ozawa's property PHP on the Cantor set, we prove that dynamical comparison implies complete selflessness of its reduced crossed product. Therefore these crossed products have stable rank one, strict comparison, a unique quasitracial state, and real rank zero. Applications include probability-measure-preserving Cantor actions of C*-simple acylindrically hyperbolic and C*-simple linear groups for which an infinite amenable subgroup acts strictly ergodically. The results also apply to subodometers and infinite regular Toeplitz subshifts of residually finite groups with PHP.
Read the full abstract
Differential Geometry
Codimension-four regularity of noncollapsed Ricci limit spaces under an integral volume-deficit bound
Let $(X,d,p)$ be an $n$-dimensional noncollapsed Ricci limit space, where $n\ge4$. Under an integral volume-deficit bound, we prove that the metric singular set has Hausdorff codimension at least four and sigma-finite $(n-4)$-dimensional Hausdorff measure. This establishes a special case of the codimension-four regularity conjecture. Moreover, the nonmanifold locus is closed and has locally finite $(n-4)$-dimensional Hausdorff measure, and its intersection with each bounded ball satisfies a tubular-volume estimate of order $r^4$. In dimension four, the nonmanifold points form a locally finite set. A flat quotient example shows that the codimension bound is sharp.
Read the full abstract
Combinatorics
Edge-Defect Spectral Methods for Higher-Order Rankings of Spanning Tree Counts
In this paper, we study the higher-order ranking, by spanning-tree count, of graphs obtained from a complete graph by deleting a fixed number of edges. Using the edge-defect matrix determined by the deleted edges and the interaction number measuring the local overlap among them, we derive a stability inequality that quantitatively estimates the decrease in the number of spanning trees from the matching-deletion case. Combining this stability estimate with a classification of deletion graphs having small interaction number, we determine, up to isomorphism, the nine deletion graphs with the largest spanning-tree counts for $p\geq6$ and $n\geq2p$. We also clarify the relation between the interaction number, the local structure of the deletion graph, and the decrease in the number of spanning trees through a logarithmic expansion of the normalized spanning-tree count.
Read the full abstract
Numerical Analysis · Cross-listed from cs.CE
Adapting neural operators for mechanics decisions under changing operating conditions
Neural operators can accelerate repeated nonlinear mechanics calculations, but their accuracy can deteriorate as operating conditions move beyond the training range. This work studies whether high-fidelity solutions acquired during use can be reused to adapt a neural operator and improve subsequent mechanics-based command selection. Two hard-magnetic soft-material systems are simulated using high-fidelity finite-element (FE) models, providing reference solutions for evaluating surrogate predictions and selected commands. A neural operator predicts deformation from known material, loading, and magnetic-field inputs, while an empirical error estimator determines which predictions may be used for command selection. Selected FE evaluations supplement these predictions, and their complete loading paths are retained for periodic updates of the neural operator and estimator. In both examples, the fixed operator loses substantial accuracy when stiffness and loading move outside the training range. Updates using 16 acquired paths recover much of the lost accuracy while preserving accuracy in the nominal regime. Under the same FE evaluation budget, the updated operators also improve command selection, although the benefit varies with the operating condition. Error estimation is less consistent, with inaccurate predictions sometimes accepted and accurate predictions rejected. These results demonstrate that reusing high-fidelity loading paths can extend the useful operating range of a neural operator. However, improved forward accuracy alone does not guarantee reliable prediction acceptance, highlighting prediction-specific error assessment as a separate requirement for trustworthy decision making.
Read the full abstract
Combinatorics
Covering Families for DP-Coloring of Cartesian Products with Complete Bipartite Graphs
A famous folklore result in list coloring demonstrating that the gap between the list chromatic number and chromatic number of a graph can be arbitrarily large is: $\chi_{\ell}(K_{l,t}) = 1+l$ if and only if $t \geq l^l$. DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced in 2015. In 2018, Mudrock studied the DP analogue of the aforementioned folklore result. He proved that for $l \in\mathbb{N}$, if $\mu(l)$ is the smallest integer $t$ such that $\chi_{DP}(K_{l,t})=1+l$, then $\left\lceil l^l/l!\right\rceil \leq \mu(l) \leq 1+l^l(\log(l!)+1)/l!$. Recently, Kaul, Mudrock, and Sharma studied a more general version of this problem by studying the smallest $t$ for which $\chi_{DP}(G \square K_{l,t}) = k + l$, where $G$ satisfies certain criticality conditions and $G \square K_{l,t}$ denotes the Cartesian product of $G$ and $K_{l,t}$. In this paper, we introduce a notion we call covering families that gives a new perspective on these DP-coloring questions. In particular, if $\kappa(l)$ denotes the minimum size of a covering family of $[l]^l$, we show that $\mu(l)=\kappa(l)$. We use this equivalence to prove $\mu(4)=12$ and to obtain new general lower bounds on $\mu(l)$. We also prove a general upper bound on the minimum size of covering families which yields an improved general upper bound on $\mu(l)$ and gives improvements on known bounds for related DP-coloring questions involving Cartesian products with complete bipartite graphs.
Read the full abstract
Information Theory
SymNetPro: LOS-Aware Directional Multi-Transmitter Localization from Sparse Radio Observations
Directional multi-transmitter localization from sparse received-power observations is difficult because the receiver observes only the source-unresolved aggregate field: multiple directional sources superpose, building blockage fragments their visible regions, and stronger sources can mask weaker ones. We present SymNetPro, which retains the dual-task radio-map reconstruction and localization backbone of SymNet and adds two targeted components. First, a sparse line-of-sight (LOS)-aware attention bias injects obstruction-aware spatial relations into selected token interactions. Second, transmitter-drop augmentation recomposes training scenes after removing one sample-supported transmitter, exposing the model to controlled source-cardinality variation. Experiments on directional ray-traced urban environments show substantially lower OSPA than representative localization baselines under extreme sparse sampling, with consistent gains under measurement noise and increasing transmitter count. A transmitter-specific evidence analysis further shows that remaining misses concentrate in regimes where the target contributes little distinguishable power to the aggregate observation.
Read the full abstract
Functional Analysis
Tensor Products of Almost \(f\)-Algebras: A Counterexample
We show that the natural tensor product multiplication of two Archimedean almost \(f\)-algebras does not, in general, extend to their Fremlin tensor product. The two algebras in the counterexample have the same underlying vector lattice \(C[0,1]\). Their multiplications are explicit, positive and nilpotent of index three. The obstruction is the fact that the function \((s,t)\mapsto e^{st}\) does not belong to \(C[0,1]\ftensor C[0,1]\). The same construction gives Banach almost \(f\)-algebras and has consequences for previously published assertions on Riesz and Fremlin projective tensor products of almost \(f\)-algebras.
Read the full abstract
Analysis of PDEs
PV-Wave Decomposition and Combined Wave Effects for Stratified Couette Flows
Motivated by a class of three-component Fourier ODE systems consisting of a conserved mode coupled to a pair of oscillatory modes, we develop a "potential-vorticity-wave" (PV-Wave) decomposition strategy for constructing adapted energy variables in the stability analysis of Couette flows. The strategy separates the conserved potential-vorticity component, symmetrizes the remaining wave subsystem, and introduces an additional correction to control the couplings generated by time-dependent Fourier coefficients. We apply this framework to study the linearized dynamics of 3D Boussinesq MHD system and Rotating Boussinesq system for Couette flows and quantify the inviscid damping and parameter-dependent amplification arising from the interaction of Alfvén-gravity waves and inertial-gravity waves.
Read the full abstract
Analysis of PDEs
Stability of 3D Stratified Plane Couette Flow: A New Lift-up Mechanism and Potential Vorticity
Since the pioneering work of Taylor and Goldstein in 1931 laid the foundation for the study of parallel stratified shear flows, non-parallel configurations have received comparatively little attention. We study the stability of the 3D Boussinesq system near the plane Couette flow $V^*=(y,0,0)$ under the vertically stratified background $\eta^*=\alpha z$. The shear and stratification directions are perpendicular. This geometry produces two structural effects that are absent in the parallel configuration: an additional nonlocal coupling in the non-zero-mode system, which obstructs a directly useful symmetrization, and a wave-shear coupled lift-up mechanism for the zero modes. The $L^p$ transient growth due to the lift-up effect can be suppressed either by sufficiently strong stratification (for $p>2$) or under suitable assumptions on the initial data (for $p\geq 2$). To study the nonzero-mode system, we introduce a reformulation based on the linearized potential vorticity (PV), a fundamental quantity in geophysical fluid dynamics, to recover a better energy structure. We establish the inviscid damping of $u_{1,\neq}$ and $u_{2,\neq}$. We further apply the linearized PV formulation to study the linear stability of the tilted Couette flow. Finally, we use this formulation to prove the nonlinear stability for perturbations on $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$.
Read the full abstract
Classical Analysis and ODEs
The Guo-Zhang-Qi conjecture and positive Laplace kernels for a digamma power family
We study logarithmic complete monotonicity of a power family built from the digamma function. An explicit Laplace representation of its negative logarithmic derivative reduces the question to positivity of a continuous kernel. We prove a strict kernel bound on an explicit parameter range and obtain uniform lower bounds for all alternating logarithmic derivatives. In particular, this gives an independent proof of the property conjectured by Guo, Zhang, and Qi on the entire positive half-line. We also characterize the exact admissible parameter threshold by a variational minimum and show that the explicit sufficient bound is not optimal. The argument combines monotonicity of an auxiliary digamma kernel with a regularized logarithmic convolution. An appendix identifies a false auxiliary inequality in an earlier proof, while the present argument independently establishes its stated conclusion.
Read the full abstract
Spectral Theory
Off-diagonal bounds for spectral projector kernels
We study the growth of the spectral function of the Laplace-Beltrami operator on a Riemannian manifold $M$ of dimension $n$. For $n\geq 3$ we show that for any $x\in M$ there is a full measure subset $Z_x\subset M$ such that for all $y\in Z_x$ \[E_{\Lambda}(x,y) = O_{M,x,y,\varepsilon}(\Lambda^{n/2}(\log\Lambda)^{3/2}(\log\log\Lambda)^{1/2+\varepsilon}). \] For $n=2$ we prove a stronger statement. For any $x\in M$ there is a full measure subset $Z_x\subset M$ such that for all $y\in Z_x$ \[E_{\Lambda}(x,y) = O_{M,x,y,\varepsilon}(\Lambda^{5/6}(\log\Lambda)^{1/6}(\log\log\Lambda)^{1/6+\varepsilon}) .\]
Read the full abstract
Numerical Analysis
Mathematical modeling, simulation and optimization via (port-Hamiltonian) differential-algebraic equations
Differential-algebraic equations (DAEs) present a ubiquitous model class in the automated modeling, simulation, control and optimization of complex finite or infinite dimensional dynamical systems, in particular in the construction of digital twins. When combined with adequate space and time discretization methods they present the work-horse of developments in many engineering domains. However, this approach comes with certain challenges for the numerical methods and in particular in the coupling of systems from different physical domains with different scales or regularity requirements. We survey the modeling with DAEs and address how to overcome some of the challenges via the framework of port-Hamiltonian differential-algebraic systems (pHDAEs) and their simulation and optimization with space-time-model adaptive methods.
Read the full abstract
Number Theory
Sums of von Mangoldt convolutions via trace-sum averages over $U(N)$
We study piecewise polynomial functions $\delta_k(c)$ that appear in the conjectured asymptotics for the variance of short-interval sums of von Mangoldt convolutions $\Lambda^{*k}$. By a theorem of Kuperberg and Lalín, a unitary matrix integral involving a sum of trace products governs the large-$q$ limit of the function-field analogue of this variance. We identify $\delta_k(c)$ as the leading-order coefficient of this integral when the total trace degree and matrix size grow with a fixed ratio $c$. Through an asymptotic analysis of two lattice-point representations for the matrix integral, we obtain explicit forms of $\delta_k(c)$. A finite spline expansion and a contour-integral representation expressing $\delta_k(c)$ as the inverse Laplace transform of a two-weight block Hankel determinant are also obtained.
Read the full abstract
Number Theory
An improved high-low method for the parabola
We demonstrate a modification of the high-low method of Guth-Maldague-Wang that yields a decoupling theorem which gives the sharp estimate for the discrete restriction constant for the parabola and also a diameter-free bound for the three-fold additive energy of rational points on the parabola and circle. These results were recently obtained by Deng-Fan-Guo-Guo-Luo and Cushman-Demeter-Wu, respectively. The novel features in this argument are an orthogonal expansion of $F^3$ and a new square function that also keeps the wavepackets discarded after pruning, resulting in new and more efficient high and low lemmas.
Read the full abstract
Optimization and Control
An Intersection Cutting Plane Algorithm for Chance-Constrained Programs with Finite Support
Standard Big-M mixed-integer programming reformulations of chance-constrained programs (CCPs) with finite support often yield weak linear relaxations and scale poorly as the number of scenarios increases. To address this limitation, we derive two families of intersection cuts from problem-specific S-free sets and develop decomposition-based branch-and-cut frameworks. The first one exploits the submodular structure of the scenario requirement function, while the second one uses probability covers. We propose hybrid separation strategies that combine classical mixing inequalities and quantile cuts with the proposed intersection cuts. Computational experiments on integrated production-distribution planning instances show that the proposed hybrid methods reduce computational time compared to pure methods.