Sensitivity-Driven Adaptive Surrogate Modeling for Simulation and Optimization of Dynamical Systems

2026-05-29T00:41:26Z

This paper develops a surrogate model refinement approach for the simulation of dynamical systems and the solution of optimization problems governed by dynamical systems in which surrogates replace expensive-to-compute state- and control-dependent component functions in the dynamics or objective function. For example, trajectory simulation and optimization tasks for an aircraft depend on aerodynamic coefficient functions whose evaluation requires expensive computational fluid dynamics simulations for every value of the state and control encountered in simulation and optimization algorithms, which would result in prohibitively long run times, often exacerbated further by the lack of derivative information. To overcome this bottleneck, this work employs differentiable surrogates that are computed from values of the true component functions at a few points. The proposed approach updates the current surrogates on an as-needed basis as follows: given a surrogate and corresponding solution of the simulation or optimization problem, the approach combines solution sensitivity information with pointwise error estimates between the true component functions and their surrogates to define an acquisition function that is used to determine new points at which to evaluate the true component function to refine the surrogate. The performance of the proposed approach is demonstrated on a numerical example of a notional hypersonic vehicle with aerodynamic coefficient models that are approximated using kernel interpolation.

On hyperbolic corners and unit-area triangles in planar sets of large measure

2026-05-28T14:54:41Z

For large $R$, we consider measurable sets $A\subseteq [0,R]^2$ that avoid triples of points of the form $(x,y)$, $(x+t,y)$, $(x,y+1/t)$ with $x,y\in\mathbb{R}$ and $t>0$, i.e., the vertices of upward-oriented, axis-aligned right triangles of area $1/2$. We prove that the measures of such sets satisfy $|A|= O_c(R^2/(\log R)^c)$ for any constant $c<1/4$. An ingredient in the proof is a hyperbolic variant of the two-dimensional trilinear smoothing inequality by Christ, Durcik, and Roos. The aforementioned upper bound is complemented with an example of a set of measure $Ω(R\log R)$ avoiding the same point configuration. Next, we study measurable sets $A\subseteq [0,R]^2$ that avoid triples of points spanning a triangle of a given fixed area and establish a sharpening of the aforementioned upper bound to any $c<1/2$. This makes partial progress on a question by Erdős, who conjectured an upper bound $O(1)$, and improves over a quantitatively weak $o(R^2)$ result by Graham. The latter proof additionally uses induction on scales to interchangeably control the density and the Riesz energy of the set $A$.

Where not to find the spectrum of the partial theta function

2026-05-28T13:23:39Z

The spectrum of Ramanujan's partial theta function $θ(q,x):=\sum _{j=0}^{\infty}q^{j(j+1)/2}x^j$, $q\in \mathbb{D}_1$ (the unit disk centered at the origin), $x\in \mathbb{C}$, is the set of values of the parameter $q$ for which $θ(q,.)$ has a multiple zero. We show that there is no spectral value in the set $\mathbb{S}\cup \mathbb{D}_{c_0}$, $c_0=0.2078750206\ldots$, where $\mathbb{S}$ is the sector $\{ 0<|z|<0.6,{\rm arg}(z)\in [π/4 ,7π/4 ]\}$. There is a single spectral value in the set $\mathbb{S}\cup \mathbb{D}_{0.31}$ which equals $0.309249\ldots$. For $q\in \mathbb{S}\cup \mathbb{D}_{c_0}$, the moduli of the zeros of $θ$ are separated by the negative half-integer powers of $|q|$.

On the WALA conjecture, Alberti representations and applications

2026-05-28T11:49:16Z

In this paper we prove the WALA conjecture.

The manufacture of examples: the $(-1)$-classical orthogonal polynomials

2026-05-28T11:41:55Z

The $(-1)$-Jacobi, Bannai-Ito, and $(-1)$-Meixner-Pollaczek polynomials are studied in [Trans. Amer. Math. Soc. 364 (2012), 5491-5507], [Adv. Math. 229 (2012), 2123-2158], and [Stud. Appl. Math. 153 (2024), e12728], respectively, through polynomial eigenfunctions of first-order Dunkl operators. The purpose of the present note is to show that these families are not isolated phenomena, but particular instances of a single alternating mechanism which is most naturally formulated at the level of orthogonality functionals, transpose operators, and structural identities. This functional-analytic point of view also leads to an explicit algorithm which, starting from an ordinary orthogonal polynomial sequence in the quadratic variable, systematises the construction of such $(-1)$-classical families.

Restriction problems on the three-dimensional Heisenberg nilmanifold

2026-05-28T11:31:02Z

In this paper, we prove a spectral restriction theorem on the three-dimensional Heisenberg nilmanifold. Since this manifold is an $\mathbb S^1$-bundle over the flat torus $\mathbb T^2$, the result provides a sub-elliptic counterpart of Zygmund's restriction theorem on $\mathbb T^2$ \cite{zygmund}. We also establish its sharpness by means of the discrete short-time Fourier transform.

Sharp gradient stability for a class of Hardy-Sobolev-Maz'ya inequalities

2026-05-28T05:54:29Z

In this paper, we proved the sharp gradient stability for a class of Hardy-Sobolev-Maz'ya inequalities with partial (stronger) singular weight and non-radial extremal functions. Our result seems to be the first stability result for non-radial extremal functions. The presence of partial (stronger) singular weight brings substantial new challenges, requiring us to significantly refine the techniques from Deng-Tian 2025, Figalli-Neumayer 2019 and Figalli-Zhang 2022, and introduce some new ideas to handle both the cylindrical symmetry of non-radial extremal functions and the partial (stronger) singular weight structure. Key technical innovations include new compact embedding with strong singularity, non-degeneracy and spectral property of the linearized operator $\mathcal{L}_{v}$ generated by non-radial extremal function $v$ and new refined spectral inequalities, which are crucial for our analysis. Since the extremal function $v$ is non-radial, ODE approach fails, we use binary PDE to prove the spectral property of $\mathcal{L}_{v}$. Surprisingly, the sharp exponent $γ=\max\{2,p\}$ in our sharp gradient stability inequality (1.12) is independent of the partial weight dimension $k$, while the extremal manifold depends on $k$.

On the Riemann-Hilbert problem for hyperplane arrangements with a good line

2026-05-28T01:22:33Z

We study a variant of the Riemann-Hilbert problem on the complements of hyperplane arrangements. This problem asks whether a given local system on the complement can be realized as the solution sheaf of a logarithmic Pfaffian system with constant coefficients. In this paper, we generalize Katz's middle convolution as a functor for local systems on hyperplane complements and show that it preserves the solvability of this problem.

Asymptotics of the Number of Components of Random Polynomial Lemniscates

2026-05-27T20:53:17Z

Consider a sequence of random polynomials $P_n(z) = \prod_{k=1}^{n}(z - X_k)$, where $\{X_k\}_k$ are i.i.d. random variables distributed uniformly on the unit disc $\mathbb{D}$. Let $Λ_n = \{z \in \mathbb{C}: |P_n(z)| < 1\}$ be the lemniscate of $P_n$, and let $\mathscr{C}(Λ_n)$ be the number of connected components of $Λ_n$. In this paper, we prove that $\lim_{n\to\infty}\frac{\mathbb{E}[\mathscr{C}(Λ_n)]}{\sqrt{n}}= γ$, and identify the constant $γ$.

The sharp log Sobolev inequality on finite cycles

2026-05-27T19:34:59Z

We settle the problem of finding the sharp constant in the log Sobolev inequality on the $n$-cycle for all $n\ge 4$, by showing that it is equal to half of the spectral gap. We deduce this result from an optimal cubic Sobolev inequality.

Weighted Uniform Endpoint Majorants for Integrals Involving Modified Bessel Functions

2026-05-27T17:59:15Z

We give an affirmative full-range solution to Gaunt's 2019 Open Problem~2.10. The problem asks whether, for every $ν>-1/2$ and $0<γ<1$, the reciprocal-power integral $\int_0^x e^{-γt}I_ν(t)t^{-ν}\,\dd t$ is bounded by a constant multiple of $e^{-γx}I_{ν+1}(x)x^{-ν}$, uniformly for all $x>0$. Earlier exponential-tilt estimates proved such endpoint majorants only under an additional smallness condition on $γ$. We prove the estimate throughout the natural range $0<γ<1$, with an explicit admissible constant. More generally, if $μ>-1$, $q>-1$, $0<γ<1$, and $w(x)x^{-q}$ is nondecreasing on $(0,\infty)$, then for every $θ\in(γ,1)$, $\int_0^x e^{-γt}w(t)t^{-μ}I_μ(t)\,\dd t$ is controlled by an explicit multiple of $e^{-γx}w(x)x^{-μ}I_{μ+1}(x)$. The case $w\equiv1$, $q=0$, and $μ=ν$ resolves Gaunt's problem. The weighted theorem also yields shifted-order and moment estimates, applies to approximate power weights and monotone regularly varying amplitudes, and provides two-sided estimates under a reversed comparison. We further analyze the sharp power-weighted quotient via endpoint expansions, a stationary equation, and parameter monotonicity.

A solution to the polarization problem

2026-05-27T17:02:11Z

In this paper we solve the polarization problem for real Hilbert spaces, a long-standing conjecture that had remained open for nearly three decades. We also confirm that the only extremal configurations are orthonormal sets. These are consequences of our proof of a stronger statement conjectured by Ball.

Additive structures imply more distances in $\mathbb{F}_q^d$

2026-05-27T16:08:54Z

For a set $E \subseteq \mathbb{F}_q^d$, the distance set is defined as $Δ(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}$, where $\|\cdot\|$ denotes the standard quadratic form. We investigate the Erdős--Falconer distance problem within the flexible class of $(u, s)$--Salem sets introduced by Jonathan M. Fraser, with emphasis on the even case $u = 4$. By exploiting the exact identity between $\|\widehat{E}\|_4$ and the fourth additive energy $Λ_4(E)$, we prove that quantitative gains in $Λ_4(E)$ force the existence of many distances. In particular, for a $(4, s)$--Salem set $E\subset \mathbb{F}_q^d$ with $d \geq 2$, if \[ |E|\gg q^{\min\left\{\frac{d+2}{4s+1}, \frac{d+4}{8s}\right\}}, \] then $E$ determines a positive proportion of all distances. This strictly improves Fraser's threshold of $\frac{d}{4s}$ and the Iosevich-Rudnev bound of $q^{\frac{d+1}{2}}$ in certain parameter ranges. As applications, we obtain improved thresholds for multiplicative subgroups and sets on arbitrary varieties, and establish a sharp incidence bound for Salem sets that is of independent interest in incidence geometry. Moreover, our methods give sharp lower bounds for the number of distinct distances determined by two different sets. We also propose a unified conjecture for $(4, s)$--Salem sets that reconciles known bounds and pinpoints the odd-dimensional sphere regime: in odd dimensions $d \geq 3$, the often-cited $\frac{d-1}{2}$ threshold does not follow without additional structures. This provides a clear picture of the spherical distance conjecture.

Pólya's conjecture up to $ε$-loss and quantitative estimates for the remainder of Weyl's law

2026-05-27T15:41:09Z

Let $Ω\subset\mathbb{R}^n$ be a bounded Lipschitz domain. For any $ε\in (0,1)$ we show that for any Dirichlet eigenvalue $λ_k(Ω)>Λ(ε,Ω)$, it holds \begin{align*} k&\le (1+ε)\frac{|Ω|ω(n)}{(2π)^n}λ_k(Ω)^{n/2}, \end{align*} where $Λ(ε,Ω)$ is given explicitly. This reduces the $ε$-loss version of Pólya's conjecture to a computational problem. This estimate is based on quantitative estimates on the remainder of the Weyl law with explicit constants, which we give a new proof without using Neumann eigenvalues. Our arguments in deriving such uniform estimates yield also, in all dimensions $n\ge 2$, classes of domains that may even have rather irregular shapes or boundaries but satisfy Pólya's conjecture. Another key observation is that on strip-tiling domains (and therefore any triangles for instance) one actually has better eigenvalue estimates than Pólya conjectured.

A note on the Erdös minimal area problem

2026-05-27T11:40:15Z

We answer a question of Erdös, Herzog, and Piranian on the minimal area of polynomial lemniscates when all the zeros of the polynomial are constrained to lie on a compact set K whose logarithmic capacity is strictly larger than 1.