https://arxiv.org/api/QkAtdWrTqeYno5SJ9aop0dm+KnY 2026-06-18T19:00:47Z 25088 360 15 http://arxiv.org/abs/2512.21935v2 2026-05-02T10:20:15Z

We study the homogeneous Kuramoto model on a graph and the geometry of its underlying optimization landscape $\min_{\boldsymbol θ\in \mathbb R^n}-\sum_{1\leq i,j\leq n} A_{ij}\cos(θ_i-θ_j).$ This problem admits a dual interpretation. On the one hand, it can be viewed as an unconstrained optimization problem, seeking configurations of points on the unit circle that minimize the energy function. On the other hand, the same function serves as a Lyapunov potential governing the dynamics of the homogeneous Kuramoto model. A central question is to identify which graphs induce a benign energy landscape, in the sense that every second-order stationary point is a global minimizer, corresponding to the fully synchronized state. In this case, the graph is said to be globally synchronizing. Most existing results establish global synchronization by exploiting the fact that the complete graph is globally synchronizing, and by showing that graphs sufficiently close to it inherit this property. In contrast, we uncover a fundamentally different mechanism: on highly-structured graph classes, namely quasi-threshold graphs, global synchronization unfolds through a sequential process of local synchronization that propagates along their underlying skeletons. Our approach relies on a detailed analysis of the phasor geometry at second-order stationary points of the nonconvex energy landscape.

2025-12-26T09:20:12Z Hongjin Wu Ulrik Brandes http://arxiv.org/abs/2604.26722v2 2026-05-02T10:05:13Z

We prove that if a small Hankel operator on the product Hardy space belongs to some Schatten class $S^p$, $p < \infty$, then it has a symbol in product BMO. In other words, the conclusion of Nehari's theorem holds under the hypothesis that the operator belongs to a Schatten class.

2026-04-29T14:24:17Z Ver2: Added a remark after Theorem 1.1. Fixed a typo in the statement of Lemma 3.1 Konstantinos Bampouras Karl-Mikael Perfekt http://arxiv.org/abs/2604.25593v2 2026-05-02T09:16:36Z

We prove the following estimate \[ \|{e^{it\partial_x^2}f}\|_{L_{(t,x)\in \mathbb{T}^2}^6}\leq C (\log N)^{1/6} \|f\|_{L^2_x(\mathbb{T})}, \] assuming $\mbox{supp} (\hat f)\subset [-N,N]$ for $N>1$. The bound $(\log N)^{1/6}$ is sharp in view of the lower bound by Bourgain \cite{Bourgain}.

2026-04-28T12:58:58Z There is a serious gap in the proof Puti Dai Zihua Guo http://arxiv.org/abs/2605.01287v1 2026-05-02T06:54:15Z

We consider time-periodic competitive systems of ordinary differential equations of Kolmogorov type. However, compared with standard assumptions, we relax the regularity of the time-dependent per-capita growth rates by imposing much weaker regularity, namely Carathéodory conditions. An important tool in investigating such systems is the concept of carrying simplex, that is, of an unordered invariant manifold of codimension one that attracts all nonzero orbits. We define the carrying simplex via the compact attractor of compact sets of an extended flow, and that attractor can be obtained as the limit of the actions of the solution operator on some set. Compared with previous papers, our approach has more dynamical flavour, and, further, provides a method of numerical approximation of the carrying simplex. Another feature of our paper is that we prove that the system restricted to the extended carrying simplex is topologically conjugate to a system of one dimension less. This property, appearing in the path-breaking paper by Morris W. Hirsch, has been almost universally neglected in the later papers.

2026-05-02T06:54:15Z 39 pages Stephen Baigent Janusz Mierczyński http://arxiv.org/abs/2604.21347v2 2026-05-01T10:19:58Z

We study properties of $A^p_α$ spaces in the Dirichlet range, recently defined by Brevig, Kulikov, Seip and Zlotnikov as the set of all holomorphic functions on the unit disc $\mathbb{D}$ such that \[ \int_{\mathbb{D}} |f(z)|^{p-2} |f'(z)|^2 (1 - |z|^2)^α \, dA(z) < \infty, \] when $0<α< 1$ and $p > 0$. We answer in the negative two questions posed by Brevig et al. by showing that, if $p\ne2$ and $p > \frac{1}{2}$, $A^p_α$ is not a vector space and that the norm is in general not increasing in $p$. This is achieved by means of an equivalent description for $A^p_α$ which is given in terms of the Poisson integral of the boundary function of its inhabitants. Such norm also leads to a description of $A^p_α$ functions in the Dirichlet range given in terms of their inner and outer factors. As a corollary, we show that $A^1_α$ is contained in the weak product of a Dirichlet-type space.

2026-04-23T07:05:43Z Some minor typos have been corrected Alberto Dayan Adrián Llinares Miguel Monsalve-López http://arxiv.org/abs/2605.00311v1 2026-05-01T00:46:49Z

This paper presents a unified derivation of transversality conditions in optimal control problems using exact penalty functions. The key regularity condition is that the origin is uniformly separated from the subdifferential of the penalty function in a neighborhood of the admissible set. This condition, hereafter referred to as the Unified Separation Condition (USC), generalizes the classical Mangasarian-Fromovitz condition for inequalities and linear independence of gradients for equalities; in the smooth case, these classical conditions are equivalent to USC, as shown via Gordan's theorem. The USC remains applicable even when constraint functions are nondifferentiable, where classical constraint qualifications are not defined. Assuming exactness, we derive transversality conditions for all major cases: fixed and free terminal time, equality and inequality constraints, moving manifolds, and free left endpoint. Remarkably, this approach yields these classical results in a concise and transparent manner, avoiding the need for constructing cones of endpoint variations or applying separation theorems. The theoretical results are complemented by a numerical implementation applied to the time-optimal control of a harmonic oscillator. The numerical implementation converges to the exact solution obtained via Pontryagin's maximum principle combined with transversality conditions, confirming the consistency and practical applicability of the proposed methodology.

2026-05-01T00:46:49Z Majid Abbasov http://arxiv.org/abs/2601.05080v3 2026-04-30T14:02:29Z

This article investigates the well-posedness of weak solutions to non-linear parabolic PDEs driven by rough coefficients with rough initial data in critical homogeneous Besov spaces. Well-posedness is understood in the sense of existence and uniqueness of maximal weak solutions in suitable weighted $Z$-spaces in the absence of smallness conditions. We showcase our theory with an application to rough reaction--diffusion equations. Subsequent articles will treat further classes of equations, including equations of Burgers-type and quasi-linear problems, using the same approach. Our toolkit includes a novel theory of hypercontractive singular integral operators (SIOs) on weighted $Z$-spaces and a self-improving property for super-linear reverse Hölder inequalities.

2026-01-08T16:25:16Z Corrected a typo in Table 1 Pascal Auscher Sebastian Bechtel http://arxiv.org/abs/2604.27698v1 2026-04-30T10:41:28Z

Let $k\in\mathbb{N}$. Wigert's divisor function $d^{\left(\frac{1}{k}\right)}(j)$ counts the number of representations of $j$ of the form $m^k+mn$ with $m\geq1 , n\geq0$. Let $\mathcal{F}_k(s)$ denote the Dirichlet series of $d^{\left(\frac{1}{k}\right)}(j)$. While $\mathcal{F}_2(s)$ is essentially a well-known special case of the Euler-Zagier double zeta function, and hence well-studied, very little is known about $\mathcal{F}_k(s)$ for $k>2$. We offer three new representations for $\mathcal{F}_k(s)$ for $k\geq2$, one of which is an analogue of the Chowla-Selberg formula as well as of a formula of Atkinson. The meromorphicity of $\mathcal{F}_k(s)$ is also discussed. The special value $\mathcal{F}_3\left(\frac{3}{2}\right)$ is expressed in terms of an infinite series of Bessel functions and a generalized divisor function.

2026-04-30T10:41:28Z 28 pages, submitted for publication Debika Banerjee Atul Dixit Rajat Gupta http://arxiv.org/abs/2604.27662v1 2026-04-30T09:58:04Z

We construct pulse-type approximate solutions to nonlinear hyperbolic equations near diffractive points, allowing arbitrary (even infinite) order of grazing. We show that in low regularity spaces and the high frequency limit, such solutions can be approximated by a sum of incoming and reflected pulses constructed using incoming and reflected phases and profiles that satisfy transport equations. New low-regularity estimates comparing the size of pulses to the size of their profiles are required. Earlier geometric optics results for pulses assumed much higher regularity, and considered only propagation in free space or transversal reflection at boundaries.

2026-04-30T09:58:04Z Comments are welcome! Jian Wang Mark Williams http://arxiv.org/abs/2506.13103v4 2026-04-29T21:21:16Z

This survey synthesizes the principal descriptive set-theoretic perspectives on deterministic Cantor sets on the real line and charts directions for future study. After recounting their historical genesis and compiling an up-to-date taxonomy, we review the Borel hierarchy and four hierarchically ordered representations-general, nested, iterated-function-system (IFS), and q-ary expansion-presented from the most general to the most specific set-theoretic description of deterministic Cantor sets. We then present explicit and recursive descriptions for two thin families of measure-zero Cantor sets and an augmented "tick" family of positive measure, respectively, showing that the classical middle-third set lies in the intersection of all three families of after-mentioned Cantor sets. The survey closes by isolating several open problems in four directions, aiming to provide mathematicians with a coherent platform for further descriptive set-theoretic investigations into Cantor-type sets on the real line.

2025-06-16T05:22:21Z 19 pages, 1 figure, 1 table Mohsen Soltanifar http://arxiv.org/abs/2604.26944v1 2026-04-29T17:54:47Z

We consider series expansions in bases of classical orthogonal polynomials. When such a series solves a linear differential equation with polynomial coefficients, its coefficients satisfy a linear recurrence equation. We interpret this equation as the numerator of a fraction of linear recurrence operators. This interpretation lets us give a simple and unified view of previous algorithms computing these recurrences, with a noncommutative Euclidean algorithm as the algorithmic engine. Finally, we demonstrate the effectiveness of our approach on various examples.

2026-04-29T17:54:47Z Alexandre Benoit Nicolas Brisebarre Bruno Salvy http://arxiv.org/abs/2503.07023v2 2026-04-29T14:12:34Z

It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real analytic version) to suitable closed sets, notably, sets with Hölder boundary and fat subanalytic sets satisfying a necessary topological condition. In this paper, we prove that the resulting set-theoretic identities of function spaces are bornological isomorphisms with respect to their natural locally convex topologies. Extending the results to maps with values in convenient vector spaces, we obtain corresponding exponential laws. Additionally, we show analogous results for special ultradifferentiable Braun-Meise-Taylor classes.

2025-03-10T08:02:52Z 26 pages; final version accepted by Collect. Math Armin Rainer 10.1007/s13348-026-00510-5 http://arxiv.org/abs/2604.26699v1 2026-04-29T14:06:12Z

In 2014, Michal Lewicki and Andrzej Olbryś proved that if a real valued function $f$ defined on the real line satisfies the conditional functional equation \[ f(tx + (1-t)y) = t f(x) + (1-t) f(y),\qquad x\leq y, \] called non-symmetrically $t$-affine, then it is $t$-affine. That is, they concluded that $f$ must fulfill the above equality without any restriction on $x$ and $y$. In the current study, first we show that the above conditional equation implies that the function in question is locally $t$-affine. Then we derive $t$-affinity on open intervals. Finally, we formulate our main result, which generalizes the theorem of Lewicki and Olbryś for any subinterval of $\mathbb{R}$.

2026-04-29T14:06:12Z Tibor Kiss Dóra Koroknai http://arxiv.org/abs/2512.16973v3 2026-04-29T09:20:01Z

It is not uncommon in analysis that existence of extremal objects is obtained via an iterative procedure: we start from a given admissible object, then modify it, then modify again etc... If being extremal means maximimizing a real valued quantity and we are sure to approach the supremum fast enough, after a countable number of steps and a limiting procedure we are done. In this short note we want to advertise a slightly different line of thought, where rather than trying to approach the supremum fast enough, we: try to increase, if possible, the function to be maximized and, at the same time, index our recursive procedure over ordinals. Since there are no increasing functions from $ω_1$ to $\R$, the procedure must stop at some countable ordinal and existence is proved anyway. The advantage of this line of reasoning is that it can be helpful even in situations where it is not so evident how to measure `being maximal' via a real valued function. This is the case, for instance, for existence of a Maximal Globally Hyperbolic Development of an initial data set in General Relativity. Speaking of this particular example, we also show that such `real-valued quantification' of the size of a development is actually possible, thus existence of a maximal one can be obtained in a countable number of steps using the original argument in [2] together with the standard procedure depicted above. This provides a way alternative to the one given in [5] to `dezornify' the proof in [2].

2025-12-18T14:48:20Z Final version, to appear in General Relativity and Gravitation Nicola Gigli http://arxiv.org/abs/2604.26440v1 2026-04-29T08:51:48Z

Motivated by existing blend-to-zero techniques, a formal framework is developed for defining and constructing blend-to-zero operators on closed intervals for the generation of sufficiently smooth transitions between functions. Such transitions are first formulated as a two-point Hermite-type interpolation that is not necessarily polynomial. It is shown that, in the polynomial case, the corresponding interpolant can be explicitly represented in terms of the regularized incomplete Beta-function. This representation is then used to generate linear blend-to-zero operators. Following this, additional blend-to-zero operators are constructed by considering the algebraic and geometric properties of functions with sufficiently flat ends (e.g., smooth staircase functions and smooth step functions). Finally, explicit formulas for a family of trigonometric smooth step functions are provided, and these functions are shown to be related to certain higher-order two-point boundary value problems.

2026-04-29T08:51:48Z Ivan Méndez-Cruz LMPS Faisal Amlani LMPS