-
Heavy Ball and Nesterov Accelerations with Hessian-driven Damping for Nonconvex Optimization
Authors:
N. Hadjisavvas,
F. Lara,
R. T. Marcavillaca,
P. T. Vuong
Abstract:
In this work, we investigate a second-order dynamical system with Hessian-driven damping tailored for a class of nonconvex functions called strongly quasiconvex. Buil\-ding upon this continuous-time model, we derive two discrete-time gra\-dient-based algorithms through time discretizations. The first is a Heavy Ball method with Hessian correction, incorporating cur\-va\-tu\-re-dependent terms that…
▽ More
In this work, we investigate a second-order dynamical system with Hessian-driven damping tailored for a class of nonconvex functions called strongly quasiconvex. Buil\-ding upon this continuous-time model, we derive two discrete-time gra\-dient-based algorithms through time discretizations. The first is a Heavy Ball method with Hessian correction, incorporating cur\-va\-tu\-re-dependent terms that arise from discretizing the Hessian damping component. The second is a Nesterov-type accelerated method with adaptive momentum, fea\-tu\-ring correction terms that account for local curvature. Both algorithms aim to enhance stability and convergence performance, particularly by mi\-ti\-ga\-ting oscillations commonly observed in cla\-ssi\-cal momentum me\-thods. Furthermore, in both cases we establish li\-near convergence to the optimal solution for the iterates and functions values. Our approach highlights the rich interplay between continuous-time dynamics and discrete optimization algorithms in the se\-tting of strongly quasiconvex objectives. Numerical experiments are presented to support obtained results.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Proper Actions and Representation Theory
Authors:
Toshiyuki Kobayashi
Abstract:
This exposition presents recent developments on proper actions,
highlighting their connections to representation theory. It begins with geometric aspects,
including criteria for the properness of homogeneous spaces in the setting of reductive groups. We then explore the interplay between the properness of group actions and the discrete decomposability of unitary representations realized on fun…
▽ More
This exposition presents recent developments on proper actions,
highlighting their connections to representation theory. It begins with geometric aspects,
including criteria for the properness of homogeneous spaces in the setting of reductive groups. We then explore the interplay between the properness of group actions and the discrete decomposability of unitary representations realized on function spaces. Furthermore, two contrasting new approaches to quantifying proper actions are examined:
one based on the notion of sharpness, which measures how strongly a given action satisfies properness;
and another based on dynamical volume estimates,
which measure deviations from properness. The latter quantitative estimates have proven especially fruitful in establishing temperedness criterion for regular unitary representations on $G$-spaces. Throughout,
key concepts are illustrated with concrete geometric and representation-theoretic examples.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Minimal W-algebras of $\mathfrak{so}_N$ at level minus one
Authors:
Thomas Creutzig,
Justine Fasquel,
Vladimir Kovalchuk,
Andrew R. Linshaw,
Shigenori Nakatsuka
Abstract:
For $N \in\mathbb Z_{\geq 7}$ we show that the simple minimal $\mathcal{W}$-algebra of $\mathfrak{so}_N$ at level minus one is isomorphic to the even subalgebra of the tensor product of the simple affine vertex superalgebra of $\mathfrak{osp}_{1|2}$ at level $\frac{N-6}{2}$ with $N-4$ free fermions. In particular when $N$ is even this minimal $\mathcal{W}$-algebra is strongly rational as conjectur…
▽ More
For $N \in\mathbb Z_{\geq 7}$ we show that the simple minimal $\mathcal{W}$-algebra of $\mathfrak{so}_N$ at level minus one is isomorphic to the even subalgebra of the tensor product of the simple affine vertex superalgebra of $\mathfrak{osp}_{1|2}$ at level $\frac{N-6}{2}$ with $N-4$ free fermions. In particular when $N$ is even this minimal $\mathcal{W}$-algebra is strongly rational as conjectured by Arakawa-Moreau.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Matrix Weighted $L^p$ Estimates in the Nonhomogeneous Setting
Authors:
Fernando Benito-de la Cigoña,
Tainara Borges,
Francesco D'Emilio,
Marcus Pasquariello,
Nathan A. Wagner
Abstract:
We establish a modified pointwise convex body domination for vector-valued Haar shifts in the nonhomogeneous setting, strengthening and extending the scalar case developed in arXiv:2309.13943. Moreover, we identify a subclass of shifts, called $L^1$-normalized, for which the standard convex body domination holds without requiring any regularity assumption on the measure. Finally, we extend the bes…
▽ More
We establish a modified pointwise convex body domination for vector-valued Haar shifts in the nonhomogeneous setting, strengthening and extending the scalar case developed in arXiv:2309.13943. Moreover, we identify a subclass of shifts, called $L^1$-normalized, for which the standard convex body domination holds without requiring any regularity assumption on the measure. Finally, we extend the best-known matrix weighted $L^p$ estimates for sparse forms to the nonhomogeneous setting. The key difficulty here is the lack of a reverse-Hölder inequality for scalar weights, which was used in arXiv:1710.0339 to establish $L^p$ matrix weighted estimates and only works in the doubling setting. Our approach relies instead on a generalization of the weighted Carleson embedding theorem which allows to control not only a fixed weight, but also collections of weights localized on different dyadic cubes that satisfy a certain compatibility condition.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Measure and integration
Authors:
Teo Banica
Abstract:
This is an introduction to measure theory, integration and function spaces, with all the needed preliminaries included, and with some applications included as well. We first discuss some basic motivations, coming from discrete probability, that we develop in detail, as a preliminary to general measure theory. Then we discuss measure theory, integration and function spaces, all developed in a stand…
▽ More
This is an introduction to measure theory, integration and function spaces, with all the needed preliminaries included, and with some applications included as well. We first discuss some basic motivations, coming from discrete probability, that we develop in detail, as a preliminary to general measure theory. Then we discuss measure theory, integration and function spaces, all developed in a standard way, and with emphasis on the explicit computation of various integrals. Finally, we come back to probability, discrete and continuous, with a more advanced discussion, of quantum flavor.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Automatic computation of the glycemic index: data driven analysis of the glucose standard
Authors:
Fabio Credali,
Maria Teresa Venuti,
Daniele Boffi,
Paola Rossi
Abstract:
The Glycemic Index (GI) is a tool for classifying carbohydrates based on their impact on postprandial glycemia, useful for diabetes prevention and management. This study applies a mathematical model for a data driven simulation of the glycemic response following glucose ingestion. The analysis reveals a direct correlation between glucose response profiles and parameters describing glucose absorpti…
▽ More
The Glycemic Index (GI) is a tool for classifying carbohydrates based on their impact on postprandial glycemia, useful for diabetes prevention and management. This study applies a mathematical model for a data driven simulation of the glycemic response following glucose ingestion. The analysis reveals a direct correlation between glucose response profiles and parameters describing glucose absorption, enabling the classification of subjects into three groups based on the timing of their glycemic peak. Our results offer potential applications for both glycemic index simulation and advancing biological studies on diabetes.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Garding cones and positivity of curvature operators
Authors:
Teng Huang,
Jiaogen Zhang
Abstract:
This article explores the relationship between Garding cones, demonstrating that the shift cone $\overlineΓ^{+}_{2}(α)$ is contained in $\overline{\mathcal{P}}_{m}$. By combining these results with the study of positivity properties of curvature operators, we establish several new connections between algebraic positivity conditions and the geometry of underlying Riemannian manifolds. Our main theo…
▽ More
This article explores the relationship between Garding cones, demonstrating that the shift cone $\overlineΓ^{+}_{2}(α)$ is contained in $\overline{\mathcal{P}}_{m}$. By combining these results with the study of positivity properties of curvature operators, we establish several new connections between algebraic positivity conditions and the geometry of underlying Riemannian manifolds. Our main theorems reveal how shifted cone conditions on curvature operators-both standard and of the second kind-constrain topology, including vanishing theorems for Betti numbers and characterizations of spherical space forms.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
On polynomial inequalities for cone-volumes of polytopes
Authors:
Tom Baumbach,
Martin Henk
Abstract:
Motivated by the discrete logarithmic Minkowski problem we study for a given matrix $U\in\mathbb{R}^{n\times m}$ its cone-volume set $C_{\tt cv}(U)$ consisting of all the cone-volume vectors of polytopes $P(U,b)=\{ x\in\mathbb{R}^n : U^\intercal x\leq b\}$, $b\in\mathbb{R}^n_{\geq 0}$. We will show that $C_{\tt cv}(U)$ is a path-connected semialgebraic set which extends former results in the plana…
▽ More
Motivated by the discrete logarithmic Minkowski problem we study for a given matrix $U\in\mathbb{R}^{n\times m}$ its cone-volume set $C_{\tt cv}(U)$ consisting of all the cone-volume vectors of polytopes $P(U,b)=\{ x\in\mathbb{R}^n : U^\intercal x\leq b\}$, $b\in\mathbb{R}^n_{\geq 0}$. We will show that $C_{\tt cv}(U)$ is a path-connected semialgebraic set which extends former results in the planar case or for particular polytopes. Moreover, we define a subspace concentration polytope $P_{\tt scc}(U)$ which represents geometrically the subspace concentration conditions for a finite discrete Borel measure on the sphere. This is up to a scaling the basis matroid polytope of $U$, and these two sets, $P_{\tt scc}(U)$ and $C_{\tt cv}(U)$, also offer a new geometric point of view to the discrete logarithmic Minkowski problem.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Patterns in Growth and Distribution of Unbounded Prime Number Walks
Authors:
Alberto Fraile,
Daniel Fernández,
Roberto Martínez,
Theophanes E. Raptis
Abstract:
In our previous work, we defined a prime walk (PW) on a square grid and presented several intriguing numerical results. Here, we demonstrate the main conjecture presented there, namely, that the area covered by the prime walk is unbounded. Taking this fact into account, we examine in further detail the properties of the PW and explore new questions that arise naturally in this analysis.
In our previous work, we defined a prime walk (PW) on a square grid and presented several intriguing numerical results. Here, we demonstrate the main conjecture presented there, namely, that the area covered by the prime walk is unbounded. Taking this fact into account, we examine in further detail the properties of the PW and explore new questions that arise naturally in this analysis.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Pencils of projective hypersurfaces, Griffiths heights and geometric invariant theory. I
Authors:
Thomas Mordant
Abstract:
We study the Griffiths heights associated to the middle-dimensional cohomology of pencils of projective hypersurfaces, by comparing them to heights defined by means of geometric invariant theory (GIT). Kato and Koshikawa have conjectured a Northcott property for the Kato heights attached to motives over number fields, and investigated its consequences. Bounding these Griffiths heights in terms of…
▽ More
We study the Griffiths heights associated to the middle-dimensional cohomology of pencils of projective hypersurfaces, by comparing them to heights defined by means of geometric invariant theory (GIT). Kato and Koshikawa have conjectured a Northcott property for the Kato heights attached to motives over number fields, and investigated its consequences. Bounding these Griffiths heights in terms of the GIT heights would constitute a geometric counterpart, valid over function fields of characteristic zero, of Kato and Koshikawa's conjecture.
Part of our results follows from our earlier works on the computation of these Griffiths heights in the case of pencils with generic singularities, and on semistability criteria for singular projective hypersurfaces, combined with a general formalism of GIT heights over function fields.
We also establish estimates between the Griffiths and GIT heights associated to pencils of projective hypersurfaces, which are valid beyond the case of generic singularities. To achieve this, we establish diverse results of independent interest. Notably we extend our previous computations of Griffiths heights to pencils of projective hypersurfaces with semihomogeneous singularities, and we show the lower semicontinuity of the stable Griffiths height attached to polarized variations of Hodge structures over complex algebraic curves.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Metric Poissonian pair correlationa and additive energy
Authors:
Tanmoy Bera,
E. Malavika
Abstract:
In this article we prove that if the additive energy of a strictly increasing sequence $(a_n)$ of natural numbers is less than $N^3/(\log N)^C$ for some $C\geq13.155$, then $(\{a_nα\})$ has Poissonian pair correlation for almost all $α\in\mathbb{R}.$ This provides a lower bound for the exponent $C$ in the additive energy bound established by Bloom and Walker[3].
In this article we prove that if the additive energy of a strictly increasing sequence $(a_n)$ of natural numbers is less than $N^3/(\log N)^C$ for some $C\geq13.155$, then $(\{a_nα\})$ has Poissonian pair correlation for almost all $α\in\mathbb{R}.$ This provides a lower bound for the exponent $C$ in the additive energy bound established by Bloom and Walker[3].
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Minimizing Structural Vibrations via Guided Flow Matching Design Optimization
Authors:
Jan van Delden,
Julius Schultz,
Sebastian Rothe,
Christian Libner,
Sabine C. Langer,
Timo Lüddecke
Abstract:
Structural vibrations are a source of unwanted noise in engineering systems like cars, trains or airplanes. Minimizing these vibrations is crucial for improving passenger comfort. This work presents a novel design optimization approach based on guided flow matching for reducing vibrations by placing beadings (indentations) in plate-like structures. Our method integrates a generative flow matching…
▽ More
Structural vibrations are a source of unwanted noise in engineering systems like cars, trains or airplanes. Minimizing these vibrations is crucial for improving passenger comfort. This work presents a novel design optimization approach based on guided flow matching for reducing vibrations by placing beadings (indentations) in plate-like structures. Our method integrates a generative flow matching model and a surrogate model trained to predict structural vibrations. During the generation process, the flow matching model pushes towards manufacturability while the surrogate model pushes to low-vibration solutions. The flow matching model and its training data implicitly define the design space, enabling a broader exploration of potential solutions as no optimization of manually-defined design parameters is required. We apply our method to a range of differentiable optimization objectives, including direct optimization of specific eigenfrequencies through careful construction of the objective function. Results demonstrate that our method generates diverse and manufacturable plate designs with reduced structural vibrations compared to designs from random search, a criterion-based design heuristic and genetic optimization. The code and data are available from https://github.com/ecker-lab/Optimizing_Vibrating_Plates.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
On 3-periodic tangled networks and their untangling number
Authors:
Toky Andriamanalina,
Sonia Mahmoudi,
Myfanwy E. Evans
Abstract:
Periodic networks serve as models for the structural organisation of biological and chemical crystalline systems. A single or multiple networks can have different configurations in space, where entanglement may arise due to the way the edges weave around each other. This entanglement influences the functional, physical, and chemical properties of the materials modelled by the networks, which highl…
▽ More
Periodic networks serve as models for the structural organisation of biological and chemical crystalline systems. A single or multiple networks can have different configurations in space, where entanglement may arise due to the way the edges weave around each other. This entanglement influences the functional, physical, and chemical properties of the materials modelled by the networks, which highlights the need to quantify its complexity. In this paper, we describe a diagrammatic representation of 3-periodic tangled networks that allows the definition of the untangling number, which can be used as a measure of entanglement complexity. The untangling number, first defined elsewhere for 3-periodic entanglements of filaments and reminiscent of the unknotting number in knot theory, quantifies the minimum distance between a given 3-periodic structure and its least tangled version, called ground state. This distance is measured through a sequence of operations called untangling operations performed on a diagram of a given structure.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
A Specht Filtration of Permutation Modules Over KLR Algebras
Authors:
Tao Qin
Abstract:
In type A, Kleshchev-Ram-Mathas realize Specht modules as quotient of Permutation modules, in this paper, we construct a Specht filtration of Permutation modules indexed by hook partition in affine type A; and construct a generalized Specht filtration of Permutation modules indexed by any partition in linear quiver case.
In type A, Kleshchev-Ram-Mathas realize Specht modules as quotient of Permutation modules, in this paper, we construct a Specht filtration of Permutation modules indexed by hook partition in affine type A; and construct a generalized Specht filtration of Permutation modules indexed by any partition in linear quiver case.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Quintic del Pezzo threefolds in positive and mixed characteristic
Authors:
Tetsushi Ito,
Akihiro Kanemitsu,
Teppei Takamatsu,
Yuuji Tanaka
Abstract:
We prove that, over arbitrary base schemes, quintic del Pezzo threefolds are classified by non-degenerate ternary symmetric bilinear forms. As applications, we describe the automorphism groups, the Hilbert schemes of lines, the orbit decompositions, and the normalizations of the orbit closures of quintic del Pezzo threefolds, by placing special emphasis on the case of characteristic two, where sym…
▽ More
We prove that, over arbitrary base schemes, quintic del Pezzo threefolds are classified by non-degenerate ternary symmetric bilinear forms. As applications, we describe the automorphism groups, the Hilbert schemes of lines, the orbit decompositions, and the normalizations of the orbit closures of quintic del Pezzo threefolds, by placing special emphasis on the case of characteristic two, where symmetric bilinear forms behave differently. Furthermore, we refine a known result on arithmetic finiteness of quintic del Pezzo threefolds.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
2BSDE with uncertain horizon and application to stochastic control in erratic environments
Authors:
Alberto Gennaro,
Thibaut Mastrolia
Abstract:
We investigate the existence and uniqueness of non-Markovian second-order backward stochastic differential equations with an uncertain terminal horizon and establish comparison principles under the assumption that the driver is Lipschitz continuous. The terminal time is both random and exogenous, and it may not be adapted to the Brownian filtration, leading to a singular jump in the 2BSDE decompos…
▽ More
We investigate the existence and uniqueness of non-Markovian second-order backward stochastic differential equations with an uncertain terminal horizon and establish comparison principles under the assumption that the driver is Lipschitz continuous. The terminal time is both random and exogenous, and it may not be adapted to the Brownian filtration, leading to a singular jump in the 2BSDE decomposition. We also provide a connection between this new class of 2BSDE and a fully nonlinear PDE in a Markovian setting. Our theoretical results are applied to non-Markovian stochastic control problems in two settings: (1) when an agent seeks to maximize utility from a payoff received at an uncertain terminal time by controlling both the drift and volatility of a diffusion process; and (2) when the agent contends with volatility uncertainty stemming from an external source, referred to as Nature, and optimizes the drift in a worst-case scenario for the ambiguous volatility. We term this class of problems erratic stochastic control, reflecting the dual uncertainty in both model parameters and the timing of the terminal horizon.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Intersection numbers between horizontal foliations of quadratic differentials
Authors:
Dragomir Saric,
Taro Shima
Abstract:
We establish that the intersection number between the horizontal foliations of any two finite-area holomorphic quadratic differentials on an arbitrary Riemann surface is finite. Our main result shows that the intersection number is jointly continuous in the $L^1$-norm on the quadratic differentials. A corollary is that the Jenkins-Strebel differentials are not dense in the space of all finite-area…
▽ More
We establish that the intersection number between the horizontal foliations of any two finite-area holomorphic quadratic differentials on an arbitrary Riemann surface is finite. Our main result shows that the intersection number is jointly continuous in the $L^1$-norm on the quadratic differentials. A corollary is that the Jenkins-Strebel differentials are not dense in the space of all finite-area holomorphic quadratic differentials when the infinite Riemann surface is not parabolic.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Analysis and conditional optimization of projection estimates for the distribution of random variable using Legendre polynomials
Authors:
Tatyana A. Averina,
Konstantin A. Rybakov
Abstract:
Algorithms for jointly obtaining projection estimates of the density and distribution function of a random variable using the Legendre polynomials are proposed. For these algorithms, a problem of the conditional optimization is solved. Such an optimization allows one increasing the approximation accuracy with a minimum computational costs. The proposed algorithms are tested on examples with differ…
▽ More
Algorithms for jointly obtaining projection estimates of the density and distribution function of a random variable using the Legendre polynomials are proposed. For these algorithms, a problem of the conditional optimization is solved. Such an optimization allows one increasing the approximation accuracy with a minimum computational costs. The proposed algorithms are tested on examples with different degree of smoothness of the density.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Discrete time shadow price revisited
Authors:
Tomasz Rogala,
Łukasz Stettner
Abstract:
In the paper discrete time shadow price is constructed for the market with several assets with given bid and ask prices. Shadow price is the price such that the problem of optimal utility from terminal wealth on the market without transaction costs gives the same value function as in the case of bid and ask prices. In the paper we solve first static problem for two assets and then we construct the…
▽ More
In the paper discrete time shadow price is constructed for the market with several assets with given bid and ask prices. Shadow price is the price such that the problem of optimal utility from terminal wealth on the market without transaction costs gives the same value function as in the case of bid and ask prices. In the paper we solve first static problem for two assets and then we construct the shadow price for dynamic model. Finally we present construction of the shadow price for several assets.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Convergence of generalized cross-validation with applications to ill-posed integral equations
Authors:
Tim Jahn,
Mikhail Kirilin
Abstract:
In this article, we rigorously establish the consistency of generalized cross-validation as a parameter-choice rule for solving inverse problems. We prove that the index chosen by leave-one-out GCV achieves a non-asymptotic, order-optimal error bound with high probability for polynomially ill-posed compact operators. Hereby it is remarkable that the unknown true solution need not satisfy a self-si…
▽ More
In this article, we rigorously establish the consistency of generalized cross-validation as a parameter-choice rule for solving inverse problems. We prove that the index chosen by leave-one-out GCV achieves a non-asymptotic, order-optimal error bound with high probability for polynomially ill-posed compact operators. Hereby it is remarkable that the unknown true solution need not satisfy a self-similarity condition, which is generally needed for other heuristic parameter choice rules. We quantify the rate and demonstrate convergence numerically on integral equation test cases, including image deblurring and CT reconstruction.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
On the Residue Sequence in Logarithmic Topological Cyclic Homology
Authors:
Tommy Lundemo
Abstract:
As a localizing invariant, THH participates in localization sequences of cyclotomic spectra. We resolve a conjecture of Rognes by relating these to residue sequences in logarithmic THH. Consequently, logarithmic THH, TR, and TC serve as strict generalizations of the constructions of Hesselholt--Madsen and Blumberg--Mandell, which moreover enjoy localization sequences without the regularity hypothe…
▽ More
As a localizing invariant, THH participates in localization sequences of cyclotomic spectra. We resolve a conjecture of Rognes by relating these to residue sequences in logarithmic THH. Consequently, logarithmic THH, TR, and TC serve as strict generalizations of the constructions of Hesselholt--Madsen and Blumberg--Mandell, which moreover enjoy localization sequences without the regularity hypotheses usually required for dévissage. Combined with work of Ramzi--Sosnilo--Winges, our results imply that there exists a stable infinity-category C such that THH(C), TR(C), and TC(C) realize the relevant logarithmic term for specific log structures, such as the natural ones on discrete valuation rings, connective complex K-theory, and truncated Brown--Peterson spectra. Finally, we conjecture that the category C can be chosen to reflect the additional structure present on the logarithmic terms, and we give evidence for this in the case of discrete valuation rings.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Sharp Generalization Bounds for Foundation Models with Asymmetric Randomized Low-Rank Adapters
Authors:
Anastasis Kratsios,
Tin Sum Cheng,
Aurelien Lucchi,
Haitz Sáez de Ocáriz Borde
Abstract:
Low-Rank Adaptation (LoRA) has emerged as a widely adopted parameter-efficient fine-tuning (PEFT) technique for foundation models. Recent work has highlighted an inherent asymmetry in the initialization of LoRA's low-rank factors, which has been present since its inception and was presumably derived experimentally. This paper focuses on providing a comprehensive theoretical characterization of asy…
▽ More
Low-Rank Adaptation (LoRA) has emerged as a widely adopted parameter-efficient fine-tuning (PEFT) technique for foundation models. Recent work has highlighted an inherent asymmetry in the initialization of LoRA's low-rank factors, which has been present since its inception and was presumably derived experimentally. This paper focuses on providing a comprehensive theoretical characterization of asymmetric LoRA with frozen random factors. First, while existing research provides upper-bound generalization guarantees based on averages over multiple experiments, the behaviour of a single fine-tuning run with specific random factors remains an open question. We address this by investigating the concentration of the typical LoRA generalization gap around its mean. Our main upper bound reveals a sample complexity of $\tilde{\mathcal{O}}\left(\frac{\sqrt{r}}{\sqrt{N}}\right)$ with high probability for rank $r$ LoRAs trained on $N$ samples. Additionally, we also determine the fundamental limits in terms of sample efficiency, establishing a matching lower bound of $\mathcal{O}\left(\frac{1}{\sqrt{N}}\right)$. By more closely reflecting the practical scenario of a single fine-tuning run, our findings offer crucial insights into the reliability and practicality of asymmetric LoRA.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Transparent Rectangle Visibility Graphs
Authors:
Chaipattana Juntarapomdach,
Teeradej Kittipassorn
Abstract:
A transparent rectangle visibility graph (TRVG) is a graph whose vertices can be represented by a collection of non-overlapping rectangles in the plane whose sides are parallel to the axes such that two vertices are adjacent if and only if there is a horizontal or vertical line intersecting the interiors of their rectangles.
We show that every threshold graph, tree, cycle, rectangular grid graph…
▽ More
A transparent rectangle visibility graph (TRVG) is a graph whose vertices can be represented by a collection of non-overlapping rectangles in the plane whose sides are parallel to the axes such that two vertices are adjacent if and only if there is a horizontal or vertical line intersecting the interiors of their rectangles.
We show that every threshold graph, tree, cycle, rectangular grid graph, triangular grid graph and hexagonal grid graph is a TRVG. We also obtain a maximum number of edges of a bipartite TRVG and characterize complete bipartite TRVGs. More precisely, a bipartite TRVG with $n$ vertices has at most $2n-2$ edges. The complete bipartite graph $K_{p,q}$ is a TRVG if and only if $\min\{p,q\} \le 2$ or $(p,q) \in \{(3,3), (3,4)\}$. We prove similar results for the torus. Moreover, we study whether powers of cycles and their complements are TRVGs.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Almost uniform convergence for noncommutative Vilenkin-Fourier series
Authors:
Yong Jiao,
Sijie Luo,
Tiantian Zhao,
Dejian Zhou
Abstract:
In the present paper, we study almost uniform convergence for noncommutative Vilenkin-Fourier series. Precisely, we establish several noncommutative (asymmetric) maximal inequalities for the Cesàro means of the noncommutative Vilenkin-Fourier series, which in turn give the corresponding almost uniform convergence. The primary strategy in our proof is to explore a noncommutative generalization of S…
▽ More
In the present paper, we study almost uniform convergence for noncommutative Vilenkin-Fourier series. Precisely, we establish several noncommutative (asymmetric) maximal inequalities for the Cesàro means of the noncommutative Vilenkin-Fourier series, which in turn give the corresponding almost uniform convergence. The primary strategy in our proof is to explore a noncommutative generalization of Sunouchi square function operator, and the very recent advance of the noncommutative Calderón-Zygmund decomposition.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Surjective and closed range differentiation operator
Authors:
Tesfa Mengestie
Abstract:
We identify Fock-type spaces $\mathcal{F}_{(m,p)}$ on which the differentiation operator $D$ has closed range. We prove that $D$ has closed range only if it is surjective, and this happens if and only if
$m=1$. Moreover, since the operator is unbounded on the classical Fock spaces, we consider the modified or the weighted composition--differentiation operator,…
▽ More
We identify Fock-type spaces $\mathcal{F}_{(m,p)}$ on which the differentiation operator $D$ has closed range. We prove that $D$ has closed range only if it is surjective, and this happens if and only if
$m=1$. Moreover, since the operator is unbounded on the classical Fock spaces, we consider the modified or the weighted composition--differentiation operator, $D_{(u,ψ,n)} f= u\cdot\big( f^{(n)}\circ ψ\big)$, on these spaces and describe conditions under which the operator admits closed range, surjective, and order bounded structures.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
The Shortest-Path distance on graphons
Authors:
Cédric Simal,
Julien Petit,
Timoteo Carletti
Abstract:
We define an analogue of the shortest-path distance for graphons. The proposed method is rooted on the extension to graphons of Varadhan's formula, a result that links the solution of the heat equation on a Riemannian manifold to its geodesic distance. The resulting metric is integer-valued, and for step graphons obtained from finite graphs it is essentially equivalent to the usual shortest-path d…
▽ More
We define an analogue of the shortest-path distance for graphons. The proposed method is rooted on the extension to graphons of Varadhan's formula, a result that links the solution of the heat equation on a Riemannian manifold to its geodesic distance. The resulting metric is integer-valued, and for step graphons obtained from finite graphs it is essentially equivalent to the usual shortest-path distance. We further draw a link between the Varadhan distance and the communicability distance, that contains information from all paths, not just shortest-paths, and thus provides a finer distance on graphons along with a natural isometric embedding into a Hilbert space.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Partial Group Symmetry in Figures I: Semidirect Products and the Six Coins
Authors:
Takahiro Hayashi
Abstract:
In this paper, we construct a partial group \(\mathcal{P}(F)\) that represents the "partial symmetry" inherent in a subset \(F\) of \(d\)-dimensional Euclidean space. In cases where \(F\) is not connected, \(\mathcal{P}(F)\) captures more detailed information than the conventional symmetry group \(G(F)\). To establish a stronger connection between \(\mathcal{P}(F)\) and \(F\), we introduce a novel…
▽ More
In this paper, we construct a partial group \(\mathcal{P}(F)\) that represents the "partial symmetry" inherent in a subset \(F\) of \(d\)-dimensional Euclidean space. In cases where \(F\) is not connected, \(\mathcal{P}(F)\) captures more detailed information than the conventional symmetry group \(G(F)\). To establish a stronger connection between \(\mathcal{P}(F)\) and \(F\), we introduce a novel definition of partial group action. Furthermore, to characterize \(\mathcal{P}(F)\) in specific cases, we define partial group actions on other partial groups and present a construction of the corresponding semidirect product.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Examples of complete Calabi--Yau metrics on affine smoothings of irregular toric Calabi--Yau cones
Authors:
Ronan J. Conlon,
Tran-Trung Nghiem
Abstract:
We present new examples of affine Calabi--Yau manifolds of Euclidean volume growth and quadratic curvature decay, whose tangent cones at infinity are irregular and have smooth links. In the process, we demonstrate (and provide the relevant computer code) how to explicitly compute the Reeb field and all Minkowski decompositions of a given toric Calabi--Yau cone with smooth link from the data of its…
▽ More
We present new examples of affine Calabi--Yau manifolds of Euclidean volume growth and quadratic curvature decay, whose tangent cones at infinity are irregular and have smooth links. In the process, we demonstrate (and provide the relevant computer code) how to explicitly compute the Reeb field and all Minkowski decompositions of a given toric Calabi--Yau cone with smooth link from the data of its toric polytope. Minkowski decompositions of this polytope into lattice segments and/or triangles give rise to smoothings of the given cone. Furthermore, we propose an effective strategy to generate smoothable Calabi--Yau cones from a given non-smoothable one by taking Minkowski sums of certain toric diagrams, and provide an example to illustrate the method.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Numerical approximation of effective diffusivities in homogenization of nondivergence-form equations with large drift by a Lagrangian method
Authors:
Timo Sprekeler,
Han Wu,
Zhiwen Zhang
Abstract:
In this paper, we study numerical methods for the homogenization of linear second-order elliptic equations in nondivergence-form with periodic diffusion coefficients and large drift terms. Upon noting that the effective diffusion matrix can be characterized through the long-time variance of an associated diffusion process, we construct a Lagrangian numerical scheme based on a direct simulation of…
▽ More
In this paper, we study numerical methods for the homogenization of linear second-order elliptic equations in nondivergence-form with periodic diffusion coefficients and large drift terms. Upon noting that the effective diffusion matrix can be characterized through the long-time variance of an associated diffusion process, we construct a Lagrangian numerical scheme based on a direct simulation of the underlying stochastic differential equation and utilizing the framework of modified equations, thereby avoiding the need to solve the Fokker--Planck--Kolmogorov equation. Through modified equation analysis, we derive higher-order weak convergence rates for our method. Finally, we conduct numerical experiments to demonstrate the accuracy of the proposed method. The results show that the method efficiently computes effective diffusivities, even in high dimensions.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Linear Geometry and Algebra
Authors:
Taras Banakh
Abstract:
Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So, Linear Geometry studies liners. Imposing some additional axioms on a liner, we obtain some special classes of liners: regular, projective, affine, proaffine, etc.…
▽ More
Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So, Linear Geometry studies liners. Imposing some additional axioms on a liner, we obtain some special classes of liners: regular, projective, affine, proaffine, etc. Linear Geometry includes Affine and Projective Geometries and is a part of Incidence Geometry. The aim of this book is to present a self-contained logical development of Linear Geometry, starting with some intuitive acceptable geometric axioms and ending with algebraic structures that necessarily arise from studying the structure of geometric objects that satisfy those simple and intuitive geometric axioms. We shall meet many quite exotic algebraic structures that arise this way: magmas, loops, ternary-ring, quasi-fields, alternative rings, procorps, profields, etc. We strongly prefer (synthetic) geometric proofs and use tools of analytic geometry only when no purely geometric proof is available. Liner Geometry has been developed by many great mathematicians since times of Antiquity (Thales, Euclides, Proclus, Pappus), through Renaissance (Descartes, Desargues), Early Modernity (Playfair, Gauss, Lobachevski, Bolyai, Poncelet, Steiner, Möbius), Late Modernity Times (Steinitz, Klein, Hilbert, Moufang, Hessenberg, Jordan, Beltrami, Fano, Gallucci, Veblen, Wedderburn, Lenz, Barlotti) till our contempories (Hartshorne, Hall, Buekenhout, Gleason, Kantor, Doyen, Hubault, Dembowski, Klingenberg, Grundhöfer).
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Adding machines and open dynamical systems
Authors:
Filippo Ciavattini,
T. H. Steele
Abstract:
Let $f:\mathcal{M}\rightarrow\mathcal{M}$ be a continuous map defined on a compact metric space $\mathcal{M}$. An open dynamical system introduces disjoint open balls centered at points in $\mathcal{M}$, and considers the trajectories of points from $\mathcal{M}$, and the balls that they visit first. As the balls in question are allowed to shrink, a point is considered indecisive if its trajectory…
▽ More
Let $f:\mathcal{M}\rightarrow\mathcal{M}$ be a continuous map defined on a compact metric space $\mathcal{M}$. An open dynamical system introduces disjoint open balls centered at points in $\mathcal{M}$, and considers the trajectories of points from $\mathcal{M}$, and the balls that they visit first. As the balls in question are allowed to shrink, a point is considered indecisive if its trajectory changes infinitely many times the ball first visited. Here, we let $\mathcal{M}$ be an adding machine, a simple system and a solenoidal system. In each case, we show that the set of points which generate indecisive trajectories is residual.
Keywords: Open dynamical system, Adding machine, Solenoidal system, Baire category
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Nowhere dense competing holes in open dynamical systems
Authors:
Filippo Ciavattini,
T. H. Steele
Abstract:
Let $\mathcal{M}$ be a compact metric space with no isolated points, and $f:\mathcal{M}\longrightarrow\mathcal{M}$ a homeomorphism. Consider a sequence of shrinking open balls $\{B^i_n\}_{n\in\mathbb{N}}^{i\in\mathbb{N}}$ with centers $\{p_i\}_{i=1}^\infty\subseteq\mathcal{M}$ and radii $\{ρ^i_n\}_{n=1}^\infty$. For every point $x\in\mathcal{M}$ and $n\in\mathbb{N}$, consider which ball the trajec…
▽ More
Let $\mathcal{M}$ be a compact metric space with no isolated points, and $f:\mathcal{M}\longrightarrow\mathcal{M}$ a homeomorphism. Consider a sequence of shrinking open balls $\{B^i_n\}_{n\in\mathbb{N}}^{i\in\mathbb{N}}$ with centers $\{p_i\}_{i=1}^\infty\subseteq\mathcal{M}$ and radii $\{ρ^i_n\}_{n=1}^\infty$. For every point $x\in\mathcal{M}$ and $n\in\mathbb{N}$, consider which ball the trajectory $\{x,f(x),f^2(x),\dots\}$ of the point first visits. We find that whenever the closure of $\{p_i\}_{i=1}^\infty$ is nowhere dense, and with very minor restrictions on $\{ρ_n^i\}_{n\in\mathbb{N}}^{i\in\mathbb{N}}$, the typical trajectory $\{f^k(x)\}_{k=0}^\infty$ will first visit, for each $i$, the ball $B^i_n$, for infinitely many $n$. This is never the case, should $\{p_i\}_{i=1}^\infty$ be somewhere dense. Keywords: Open Dynamical System, Topological Dynamics, Transitive Homeomorphism, Baire category. MSC2020: 37B05, 37B20, 18F60, 54E52.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Hypersheaves and bases
Authors:
Tobias Dyckerhoff,
Till Heine,
Simon Schneider
Abstract:
Let $X$ be a topological space equipped with a basis. We prove that, for every $\infty$-category $\mathcal{C}$ with limits, the restriction functor from $\mathcal{C}$-valued hypersheaves on $X$ to basic hypersheaves is an equivalence of $\infty$-categories.
Let $X$ be a topological space equipped with a basis. We prove that, for every $\infty$-category $\mathcal{C}$ with limits, the restriction functor from $\mathcal{C}$-valued hypersheaves on $X$ to basic hypersheaves is an equivalence of $\infty$-categories.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Nonlinear Nonlocal Diffusion Equations for the Analysis of Continuous Coordination and Anti-Coordination Type Games
Authors:
John S. McAlister,
Nina H. Fefferman,
Tadele A. Mengesha
Abstract:
Coordination games with explicit spatial or relational structure are of interest to economists, ecologists, sociologists, and others studying emergent global properties in collective behavior. When assemblies of individuals seek to coordinate action with one another through myopic best response or other replicator dynamics, the resulting dynamical system can exhibit many rich behaviors. However, t…
▽ More
Coordination games with explicit spatial or relational structure are of interest to economists, ecologists, sociologists, and others studying emergent global properties in collective behavior. When assemblies of individuals seek to coordinate action with one another through myopic best response or other replicator dynamics, the resulting dynamical system can exhibit many rich behaviors. However, these behaviors have been studied only in the case where the number of players is countable and the relational structure is described discretely. By giving an extension of a general class of coordination-like games, including true coordination games themselves, into a continuous setting, we can begin to study coordination and cooperative behavior with a new host of tools from PDEs and nonlocal equations. In this study, we propose a rigorously supported extension of structured coordination-type games into a setting with continuous space and continuous strategies and show that, under certain hypotheses, the dynamics of these games are described through a nonlinear, nonlocal diffusion equation. We go on to prove existence and uniqueness for the initial value problem in the case where no boundary data are prescribed. For true coordination games, we go further and prove a maximum principle, weak regularity results, as well as some numerical results toward understanding how solutions to the coordination equation behave. We present several modeling results, characterizing stationary solutions both rigorously and through numerical experiments and conclude with a result towards the inhomogeneous problem.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Understanding Lookahead Dynamics Through Laplace Transform
Authors:
Aniket Sanyal,
Tatjana Chavdarova
Abstract:
We introduce a frequency-domain framework for convergence analysis of hyperparameters in game optimization, leveraging High-Resolution Differential Equations (HRDEs) and Laplace transforms. Focusing on the Lookahead algorithm--characterized by gradient steps $k$ and averaging coefficient $α$--we transform the discrete-time oscillatory dynamics of bilinear games into the frequency domain to derive…
▽ More
We introduce a frequency-domain framework for convergence analysis of hyperparameters in game optimization, leveraging High-Resolution Differential Equations (HRDEs) and Laplace transforms. Focusing on the Lookahead algorithm--characterized by gradient steps $k$ and averaging coefficient $α$--we transform the discrete-time oscillatory dynamics of bilinear games into the frequency domain to derive precise convergence criteria. Our higher-precision $O(γ^2)$-HRDE models yield tighter criteria, while our first-order $O(γ)$-HRDE models offer practical guidance by prioritizing actionable hyperparameter tuning over complex closed-form solutions. Empirical validation in discrete-time settings demonstrates the effectiveness of our approach, which may further extend to locally linear operators, offering a scalable framework for selecting hyperparameters for learning in games.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Eight-dimensional non completely reducible symplectic Lie algebras
Authors:
T. Aït Aissa,
S. El Bourkadi,
M. W. Mansouri,
SM. Sbai
Abstract:
A non completely reducible symplectic Lie algebra is a symplectic Lie algebra which cannot be symplectically reduced to the trivial symplectic Lie algebra. Our aim is to provide a complete classification, up to symplectomorphism of non completely reducible symplectic Lie algebras in dimensions $n \leq 8$ and, furthermore, to provide a complete description of symplectic Lie algebras admitting one-d…
▽ More
A non completely reducible symplectic Lie algebra is a symplectic Lie algebra which cannot be symplectically reduced to the trivial symplectic Lie algebra. Our aim is to provide a complete classification, up to symplectomorphism of non completely reducible symplectic Lie algebras in dimensions $n \leq 8$ and, furthermore, to provide a complete description of symplectic Lie algebras admitting one-dimensional isotropic ideals.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Extensional Independence
Authors:
Taishi Kurahashi,
Albert Visser
Abstract:
Joel Hamkins asks whether there is a $Π^0_1$-formula $ρ(x)$ such that $ρ(φ)$ is independent over ${\sf PA}+φ$, if this theory is consistent, where this construction is extensional in $φ$ with respect to {\sf PA}-provable equivalence. We show that there can be no such extensional Rosser formula of any complexity.
We give a positive answer to Hamkins' question for the case where we replace Extensi…
▽ More
Joel Hamkins asks whether there is a $Π^0_1$-formula $ρ(x)$ such that $ρ(φ)$ is independent over ${\sf PA}+φ$, if this theory is consistent, where this construction is extensional in $φ$ with respect to {\sf PA}-provable equivalence. We show that there can be no such extensional Rosser formula of any complexity.
We give a positive answer to Hamkins' question for the case where we replace Extensionality by a weaker demand \emph{Consistent Extensionality}. We also prove that we can demand the negation of $ρ$ to be $Π^0_1$-conservative, if we ask for the still weaker \emph{Conditional Extensionality}.
We show that an intensional version of the result for Conditional Extensionality cannot work.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Formal derivation of an isentropic two-phase flow model from the multi-species Boltzmann equation
Authors:
Gabriella Puppo,
Thomas Rey,
Tommaso Tenna
Abstract:
Starting from the multi-species Boltzmann equation for a gas mixture, we propose the formal derivation of the isentropic two-phase flow model introduced in [Romenski, E., and Toro, E. F., Comput. Fluid Dyn. J., 13 (2004)]. We examine the asymptotic limit as the Knudsen numbers approach zero, in a regime characterized by resonant intra-species collisions, where interactions between particles of the…
▽ More
Starting from the multi-species Boltzmann equation for a gas mixture, we propose the formal derivation of the isentropic two-phase flow model introduced in [Romenski, E., and Toro, E. F., Comput. Fluid Dyn. J., 13 (2004)]. We examine the asymptotic limit as the Knudsen numbers approach zero, in a regime characterized by resonant intra-species collisions, where interactions between particles of the same species dominate. This specific regime leads to a multi-velocity and multi-pressure hydrodynamic model, enabling the explicit computation of the coefficients for the two-phase macroscopic model. Our derivation also accounts for the inclusion of the evolution of the volume fraction, which is a key variable in many macroscopic multiphase models
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Serre's question on thin sets in projective space
Authors:
Tijs Buggenhout,
Raf Cluckers,
Tim Santens,
Floris Vermeulen
Abstract:
We answer a question of Serre on rational points of bounded height on projective thin sets in degree at least $4$. For degrees $2$ and $3$ we improve the known bounds in general. The focus is on thin sets of type II, namely corresponding to the images of ramified dominant quasi-finite covers of projective space, as thin sets of type I are already well understood via dimension growth results. We ob…
▽ More
We answer a question of Serre on rational points of bounded height on projective thin sets in degree at least $4$. For degrees $2$ and $3$ we improve the known bounds in general. The focus is on thin sets of type II, namely corresponding to the images of ramified dominant quasi-finite covers of projective space, as thin sets of type I are already well understood via dimension growth results. We obtain a uniform affine variant of Serre's question which implies the projective case and for which the implicit constant is polynomial in the degree. We are able to avoid logarithmic factors when the degree is at least $5$ and we prove our results over any global field. To achieve this we adapt the determinant method to the case of weighted polynomials and we use recently obtained quadratic dependence on the degree when bounding rational points on curves.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Using Model Predictive Control To Reduce Traffic Emissions on Urban Freeways
Authors:
Alexander Hammerl,
Ravi Seshadri,
Thomas Kjær Rasmussen,
Otto Anker Nielsen
Abstract:
Urban traffic congestion significantly impacts regional air quality and contributes substantially to pollutant emissions. Suburban freeway corridors are a major source of traffic-related emissions, particularly nitrogen oxides (NOx) and carbon dioxide (CO2). This paper proposes a Model Predictive Control (MPC) framework aimed at emission reduction on peripheral freeway corridors. Emission rates on…
▽ More
Urban traffic congestion significantly impacts regional air quality and contributes substantially to pollutant emissions. Suburban freeway corridors are a major source of traffic-related emissions, particularly nitrogen oxides (NOx) and carbon dioxide (CO2). This paper proposes a Model Predictive Control (MPC) framework aimed at emission reduction on peripheral freeway corridors. Emission rates on freeways exhibit high sensitivity to speed fluctuations and congestion recovery processes. To address this relationship, we develop and analyze a bounded-acceleration continuum traffic flow model. By introducing an upper limit on vehicle acceleration capabilities, we enhance behavioral realism through the incorporation of driver responses to congestion, which is widely recognized as a main cause of the important capacity drop phenomenon. Our approach implements dynamically optimized variable speed limits (VSLs) at strategic corridor locations, balancing the dual objectives of minimizing both travel time and emissions as quantified by the COPERT V [1] model. Numerical simulations demonstrate that this framework effectively manages congestion and reduces emissions across various traffic demand scenarios.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Joint Quantile Shrinkage: A State-Space Approach toward Non-Crossing Bayesian Quantile Models
Authors:
David Kohns,
Tibor Szendrei
Abstract:
Crossing of fitted conditional quantiles is a prevalent problem for quantile regression models. We propose a new Bayesian modelling framework that penalises multiple quantile regression functions toward the desired non-crossing space. We achieve this by estimating multiple quantiles jointly with a prior on variation across quantiles, a fused shrinkage prior with quantile adaptivity. The posterior…
▽ More
Crossing of fitted conditional quantiles is a prevalent problem for quantile regression models. We propose a new Bayesian modelling framework that penalises multiple quantile regression functions toward the desired non-crossing space. We achieve this by estimating multiple quantiles jointly with a prior on variation across quantiles, a fused shrinkage prior with quantile adaptivity. The posterior is derived from a decision-theoretic general Bayes perspective, whose form yields a natural state-space interpretation aligned with Time-Varying Parameter (TVP) models. Taken together our approach leads to a Quantile- Varying Parameter (QVP) model, for which we develop efficient sampling algorithms. We demonstrate that our proposed modelling framework provides superior parameter recovery and predictive performance compared to competing Bayesian and frequentist quantile regression estimators in simulated experiments and a real-data application to multivariate quantile estimation in macroeconomics.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Federated ADMM from Bayesian Duality
Authors:
Thomas Möllenhoff,
Siddharth Swaroop,
Finale Doshi-Velez,
Mohammad Emtiyaz Khan
Abstract:
ADMM is a popular method for federated deep learning which originated in the 1970s and, even though many new variants of it have been proposed since then, its core algorithmic structure has remained unchanged. Here, we take a major departure from the old structure and present a fundamentally new way to derive and extend federated ADMM. We propose to use a structure called Bayesian Duality which ex…
▽ More
ADMM is a popular method for federated deep learning which originated in the 1970s and, even though many new variants of it have been proposed since then, its core algorithmic structure has remained unchanged. Here, we take a major departure from the old structure and present a fundamentally new way to derive and extend federated ADMM. We propose to use a structure called Bayesian Duality which exploits a duality of the posterior distributions obtained by solving a variational-Bayesian reformulation of the original problem. We show that this naturally recovers the original ADMM when isotropic Gaussian posteriors are used, and yields non-trivial extensions for other posterior forms. For instance, full-covariance Gaussians lead to Newton-like variants of ADMM, while diagonal covariances result in a cheap Adam-like variant. This is especially useful to handle heterogeneity in federated deep learning, giving up to 7% accuracy improvements over recent baselines. Our work opens a new Bayesian path to improve primal-dual methods.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Mixed Finite element method for stress gradient elasticity
Authors:
Ting Lin,
Shudan Tian
Abstract:
This paper develops stable finite element pairs for the linear stress gradient elasticity model, overcoming classical elasticity's limitations in capturing size effects. We analyze mesh conditions to establish parameter-robust error estimates for the proposed pairs, achieving unconditional stability for finite elements with higher vertex continuity and conditional stability for Continuous Galerkin…
▽ More
This paper develops stable finite element pairs for the linear stress gradient elasticity model, overcoming classical elasticity's limitations in capturing size effects. We analyze mesh conditions to establish parameter-robust error estimates for the proposed pairs, achieving unconditional stability for finite elements with higher vertex continuity and conditional stability for Continuous Galerkin-Discontinuous Galerkin (CG-DG) pairs when no interior vertex has edges lying on three or fewer lines. Numerical experiments validate the theoretical results, demonstrating optimal convergence rates.
△ Less
Submitted 15 June, 2025;
originally announced June 2025.
-
Recovery of initial displacement and velocity in anisotropic elastic systems by the time dimensional reduction method
Authors:
Trong D. Dang,
Chanh V. Le,
Khoa D. Luu,
Loc H Nguyen
Abstract:
We introduce a time-dimensional reduction method for the inverse source problem in linear elasticity, where the goal is to reconstruct the initial displacement and velocity fields from partial boundary measurements of elastic wave propagation. The key idea is to employ a novel spectral representation in time, using an orthonormal basis composed of Legendre polynomials weighted by exponential funct…
▽ More
We introduce a time-dimensional reduction method for the inverse source problem in linear elasticity, where the goal is to reconstruct the initial displacement and velocity fields from partial boundary measurements of elastic wave propagation. The key idea is to employ a novel spectral representation in time, using an orthonormal basis composed of Legendre polynomials weighted by exponential functions. This Legendre polynomial-exponential basis enables a stable and accurate decomposition in the time variable, effectively reducing the original space-time inverse problem to a sequence of coupled spatial elasticity systems that no longer depend on time. These resulting systems are solved using the quasi-reversibility method. On the theoretical side, we establish a convergence theorem ensuring the stability and consistency of the regularized solution obtained by the quasi-reversibility method as the noise level tends to zero. On the computational side, two-dimensional numerical experiments confirm the theory and demonstrate the method's ability to accurately reconstruct both the geometry and amplitude of the initial data, even in the presence of substantial measurement noise. The results highlight the effectiveness of the proposed framework as a robust and computationally efficient strategy for inverse elastic source problems.
△ Less
Submitted 15 June, 2025;
originally announced June 2025.
-
On preservation of normality and determinism under arithmetic operations
Authors:
Vitaly Bergelson,
Tomasz Downarowicz
Abstract:
In this paper we develop a general ergodic approach which reveals the underpinnings of the effect of arithmetic operations involving normal and deterministic numbers. This allows us to recast in new light and amplify the result of Rauzy, which states that a number $y$ is deterministic if and only if $x+y$ is normal for every normal number $x$. Our approach is based on the notions of lower and uppe…
▽ More
In this paper we develop a general ergodic approach which reveals the underpinnings of the effect of arithmetic operations involving normal and deterministic numbers. This allows us to recast in new light and amplify the result of Rauzy, which states that a number $y$ is deterministic if and only if $x+y$ is normal for every normal number $x$. Our approach is based on the notions of lower and upper entropy of a point in a topological dynamical system. The ergodic approach to Rauzy theorem naturally leads to the study of various aspects of normality and determinism in the general framework of dynamics of endomorphisms of compact metric groups. In particular, we generalize Rauzy theorem to ergodic toral endomorphisms. Also, we show that the phenomena described by Rauzy do not occur when one replaces the base $2$ normality associated with the $(\frac12,\frac12)$-Bernoulli measure by the variant of normality associated with a $(p,1-p)$-Bernoulli measure, where $p\neq\frac12$. Finally, we present some rather nontrivial examples which show that Rauzy-type results are not valid when addition is replaced by multiplication.
△ Less
Submitted 15 June, 2025;
originally announced June 2025.
-
On the attainment of the Wasserstein--Cramer--Rao lower bound
Authors:
Hayato Nishimori,
Takeru Matsuda
Abstract:
Recently, a Wasserstein analogue of the Cramer--Rao inequality has been developed using the Wasserstein information matrix (Otto metric). This inequality provides a lower bound on the Wasserstein variance of an estimator, which quantifies its robustness against additive noise. In this study, we investigate conditions for an estimator to attain the Wasserstein--Cramer--Rao lower bound (asymptotical…
▽ More
Recently, a Wasserstein analogue of the Cramer--Rao inequality has been developed using the Wasserstein information matrix (Otto metric). This inequality provides a lower bound on the Wasserstein variance of an estimator, which quantifies its robustness against additive noise. In this study, we investigate conditions for an estimator to attain the Wasserstein--Cramer--Rao lower bound (asymptotically), which we call the (asymptotic) Wasserstein efficiency. We show a condition under which Wasserstein efficient estimators exist for one-parameter statistical models. This condition corresponds to a recently proposed Wasserstein analogue of one-parameter exponential families (e-geodesics). We also show that the Wasserstein estimator, a Wasserstein analogue of the maximum likelihood estimator based on the Wasserstein score function, is asymptotically Wasserstein efficient in location-scale families.
△ Less
Submitted 17 June, 2025; v1 submitted 15 June, 2025;
originally announced June 2025.
-
Orbit structures on real double flag varieties for symmetric pairs
Authors:
Kyo Nishiyama,
Taito Tauchi
Abstract:
Let $ G $ be a connected reductive algebraic group over $ \mathbb{R} $, and $ H $ its symmetric subgroup. For parabolic subgroups $ P_{G} \subset G $ and $ P_{H} \subset H $, the product of flag varieties $ \mathfrak{X} = H/P_H \times G/P_G $ is called a double flag variety, on which $ H $ acts diagonally.
Now let $G$ be either $\mathrm{U}(n,n)$ or $\mathrm{Sp}_{2n}(\mathbb{R})$. We classify the…
▽ More
Let $ G $ be a connected reductive algebraic group over $ \mathbb{R} $, and $ H $ its symmetric subgroup. For parabolic subgroups $ P_{G} \subset G $ and $ P_{H} \subset H $, the product of flag varieties $ \mathfrak{X} = H/P_H \times G/P_G $ is called a double flag variety, on which $ H $ acts diagonally.
Now let $G$ be either $\mathrm{U}(n,n)$ or $\mathrm{Sp}_{2n}(\mathbb{R})$. We classify the $H$-orbits on $ \mathfrak{X} $ in both cases and show that they admit exactly the same parametrization. Concretely, each orbit corresponds to a signed partial involution, which can be encoded by simple combinatorial graphs. The orbit structure reduces to several families of smaller flag varieties, and we find an intimate relation of the orbit decomposition to Matsuki duality and Matsuki-Oshima's notion of clans.
We also compute the Galois cohomology of each orbit, which exhibits another classification of the orbits by explicit matrix representatives.
△ Less
Submitted 14 June, 2025;
originally announced June 2025.
-
On the structure of perfectly divisible graphs
Authors:
Chính T. Hoàng
Abstract:
A graph $G$ is perfectly divisible if every induced subgraph $H$ of $G$ contains a set $X$ of vertices such that $X$ meets all largest cliques of $H$, and $X$ induces a perfect graph. The chromatic number of a perfectly divisible graph $G$ is bounded by $ω^2$ where $ω$ denotes the number of vertices in a largest clique of $G$. A graph $G$ is minimally non-perfectly divisible if $G$ is not perfectl…
▽ More
A graph $G$ is perfectly divisible if every induced subgraph $H$ of $G$ contains a set $X$ of vertices such that $X$ meets all largest cliques of $H$, and $X$ induces a perfect graph. The chromatic number of a perfectly divisible graph $G$ is bounded by $ω^2$ where $ω$ denotes the number of vertices in a largest clique of $G$. A graph $G$ is minimally non-perfectly divisible if $G$ is not perfectly divisible but each of its proper induced subgraph is. A set $C$ of vertices of $G$ is a clique cutset if $C$ induces a clique in $G$, and $G-C$ is disconnected. We prove that a $P_5$-free minimally non-perfectly divisible graph cannot contain a clique cutset. This result allows us to re-establish several theorems on the perfect divisibility of some classes of $P_5$-free graphs. We will show that recognizing perfectly divisible graphs is NP-hard.
△ Less
Submitted 17 June, 2025; v1 submitted 14 June, 2025;
originally announced June 2025.
-
Permutation invariance in last-passage percolation and the distribution of the Busemann process
Authors:
Erik Bates,
Elnur Emrah,
James Martin,
Timo Seppäläinen,
Evan Sorensen
Abstract:
In i.i.d. exponential last-passage percolation, we describe the joint distribution of Busemann functions, over all edges and over all directions, in terms of a joint last-passage problem in a finite inhomogeneous environment. More specifically, the Busemann increments within a $k\times\ell$ grid, and associated to $d$ different directions, are equal in distribution to a particular collection of la…
▽ More
In i.i.d. exponential last-passage percolation, we describe the joint distribution of Busemann functions, over all edges and over all directions, in terms of a joint last-passage problem in a finite inhomogeneous environment. More specifically, the Busemann increments within a $k\times\ell$ grid, and associated to $d$ different directions, are equal in distribution to a particular collection of last-passage increments inside a $(k+d-1)\times(\ell+d-1)$ grid. The joint Busemann distribution was previously described along a horizontal line by Fan and the fourth author, using certain queuing maps. By contrast, our new description explicitly gives the joint distribution for any collection of edges (not just along a horizontal line) using only finitely many random variables. Our result thus provides an exact and accessible way to sample from the joint distribution. In the proof, we rely on one-directional marginal distributions of the inhomogeneous Busemann functions recently studied by Janjigian and the second and fourth authors. Another innovation of our argument is a joint invariance of inhomogeneous last-passage times under permutation of the inhomogeneity parameters. This result does not appear to be contained among the last-passage invariances recently described by Dauvergne. Our proof of invariance is also rather different, using the Burke property instead of the RSK correspondence, and leading to an explicit coupling of the weights before and after the permutation of the parameters.
△ Less
Submitted 14 June, 2025;
originally announced June 2025.
-
Abelianization of $\text{SL}_2$ over Dedekind domains of arithmetic type
Authors:
Behrooz Mirzaii,
Bruno R. Ramos,
Thiago Verissimo
Abstract:
We determine the exact group structure of the abelianization of $\text{SL}_2(A)$, where $A$ is a Dedekind domain of arithmetic type with infinitely many units. In particular, our results show that $\text{SL}_2(A)^\text{ab}$ is finite, with exponent dividing $12$ when $\text{char}(A)=0$, and dividing $6$ when $\text{char}(A)>0$. As illustrative cases, we compute $\text{SL}_2(A)^\text{ab}$ explicitl…
▽ More
We determine the exact group structure of the abelianization of $\text{SL}_2(A)$, where $A$ is a Dedekind domain of arithmetic type with infinitely many units. In particular, our results show that $\text{SL}_2(A)^\text{ab}$ is finite, with exponent dividing $12$ when $\text{char}(A)=0$, and dividing $6$ when $\text{char}(A)>0$. As illustrative cases, we compute $\text{SL}_2(A)^\text{ab}$ explicitly for instances where $A$ is the ring of integers of a real quadratic field or a cyclotomic extension.
△ Less
Submitted 14 June, 2025;
originally announced June 2025.
