Mathematics
See recent articles
Showing new listings for Friday, 8 November 2024
- [1] arXiv:2411.04140 [pdf, html, other]
-
Title: Bayesian inference for geophysical fluid dynamics using generative modelsSubjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)
Data assimilation plays a crucial role in numerical modeling, enabling the integration of real-world observations into mathematical models to enhance the accuracy and predictive capabilities of simulations. This approach is widely applied in fields such as meteorology, oceanography, and environmental science, where the dynamic nature of systems demands continuous updates to model states. However, the calibration of models in these high-dimensional, nonlinear systems poses significant challenges. In this paper, we explore a novel calibration methodology using diffusion generative models. We generate synthetic data that statistically aligns with a given set of observations (in this case the increments of the numerical approximation of a solution of a partial differential equation). This allows us to efficiently implement a model reduction and assimilate data from a reference system state modeled by a highly resolved numerical solution of the rotating shallow water equation of order 104 degrees of freedom into a stochastic system having two orders of magnitude less degrees of freedom. To do so, the new samples are incorporated into a particle filtering methodology augmented with tempering and jittering for dynamic state estimation, a method particularly suited for handling complex and multimodal distributions. This work demonstrates how generative models can be used to improve the predictive accuracy for particle filters, providing a more computationally efficient solution for data assimilation and model calibration.
- [2] arXiv:2411.04145 [pdf, html, other]
-
Title: Tensor tomography using V-line transforms with vertices restricted to a circleComments: 1 figureSubjects: Numerical Analysis (math.NA); Classical Analysis and ODEs (math.CA)
In this article, we study the problem of recovering symmetric $m$-tensor fields (including vector fields) supported in a unit disk $\mathbb{D}$ from a set of generalized V-line transforms, namely longitudinal, transverse, and mixed V-line transforms, and their integral moments. We work in a circular geometric setup, where the V-lines have vertices on a circle, and the axis of symmetry is orthogonal to the circle. We present two approaches to recover a symmetric $m$-tensor field from the combination of longitudinal, transverse, and mixed V-line transforms. With the help of these inversion results, we are able to give an explicit kernel description for these transforms. We also derive inversion algorithms to reconstruct a symmetric $m$-tensor field from its first $(m+1)$ moment longitudinal/transverse V-line transforms.
- [3] arXiv:2411.04146 [pdf, html, other]
-
Title: Stiefel filtersComments: 13 pages, 5 figuresJournal-ref: Transactions of Moscow Mathematical Society, 85:2, 2024Subjects: Complex Variables (math.CV)
The best uniform rational approximation of the Sign function on two intervals separated by zero was explicitly found by E.I. Zolotarëv in 1877. The natural extension of this problem to three bands was solved by this http URL in 1961. We indicate the solutions overlooked by the prominent geometer and study their properties.
- [4] arXiv:2411.04147 [pdf, other]
-
Title: Regular structures of an intractable enumeration problem: a diagonal recurrence relation of monomer-polymer coverings on two-dimensional rectangular latticesSubjects: Combinatorics (math.CO); Statistical Mechanics (cond-mat.stat-mech)
The enumeration of polymer coverings on two-dimensional rectangular lattices is considered as "intractable". We prove that the number of coverings of $s$ polymer satisfies a simple recurrence relation $ \sum_{i=0}^{2s} (-1)^i \binom{2s}{i} a_{n-i, m-i} = 2^s {(2s)!} / {s!} $ on a $n \times m$ rectangular lattice with open boundary conditions in both directions.
- [5] arXiv:2411.04154 [pdf, html, other]
-
Title: On $K$-frames for Quaternionic Hilbert SpacesComments: arXiv admin note: text overlap with arXiv:2411.03790Subjects: Functional Analysis (math.FA)
The aim of this paper is to study $K$-frames for quaternionic Hilbert spaces. First, we present the quaternionic version of Douglas's theorem and then investigate $K$-frames for a quaternionic Hilbert space $\mathcal{H}$, where $K \in \mathbb{B}(\mathcal{H})$. Given two quaternionic Hilbert spaces $\mathcal{H}_1$ and $\mathcal{H}_2$, along with two right $\mathbb{H}$-linear bounded operators $K_1 \in \mathbb{B}(\mathcal{H}_1)$ and $K_2 \in \mathbb{B}(\mathcal{H}_2)$, we study the $K_1 \oplus K_2$-frames for the super space $\mathcal{H}_1 \oplus \mathcal{H}_2$ and their relationship with $K_1$-frames and $K_2$-frames for $\mathcal{H}_1$ and $\mathcal{H}_2$, respectively. We also explore the $K_1 \oplus K_2$-duality in relation to $K_1$-duality and $K_2$-duality.
- [6] arXiv:2411.04157 [pdf, html, other]
-
Title: Stochastic homogenization of dynamical discrete optimal transportSubjects: Probability (math.PR)
The aim of this paper is to examine the large-scale behavior of dynamical optimal transport on stationary random graphs embedded in $\R^n$. Our primary contribution is a stochastic homogenization result that characterizes the effective behavior of the discrete problems in terms of a continuous optimal transport problem, where the homogenized energy density results from the geometry of the discrete graph.
- [7] arXiv:2411.04161 [pdf, html, other]
-
Title: A note on the Hurwitz-Lerch zeta functionSubjects: General Mathematics (math.GM)
In this work we derive a functional equation in terms of the Hurwitz-Lerch zeta function along with definite integrals in terms of the incomplete gamma and Hurwitz-Lerch zeta functions. The method used in these derivations is contour integration. Special cases in terms of fundamental constants are produced.
- [8] arXiv:2411.04195 [pdf, html, other]
-
Title: Quantum Groups and Symplectic ReductionsSubjects: Representation Theory (math.RT); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
Let $G$ be a reductive algebraic group with Lie algebra $\mathfrak{g}$ and $V$ a finite-dimensional representation of $G$. Costello-Gaiotto studied a graded Lie algebra $\mathfrak{d}_{\mathfrak{g}, V}$ and the associated affine Kac-Moody algebra. In this paper, we show that this Lie algebra can be made into a sheaf of Lie algebras over $T^*[V/G]=[\mu^{-1}(0)/G]$, where $\mu: T^*V\to \mathfrak{g}^*$ is the moment map. We identify this sheaf of Lie algebras with the tangent Lie algebra of the stack $T^*[V/G]$. Moreover, we show that there is an equivalence of braided tensor categories between the bounded derived category of graded modules of $\mathfrak{d}_{\mathfrak{g}, V}$ and graded perfect complexes of $[\mu^{-1}(0)/G]$.
- [9] arXiv:2411.04200 [pdf, html, other]
-
Title: A Capacitated Collection-and-Delivery-Point Location Problem with Random Utility Maximizing CustomersSubjects: Optimization and Control (math.OC)
We consider a strategic decision-making problem where a logistics provider (LP) seeks to locate collection and delivery points (CDPs) with the objective to reduce total logistics costs. The customers maximize utility that depends on their perception of home delivery service as well as the characteristics of the CDPs, including their location. At the strategic planning level, the LP does not have complete information about customers' preferences and their exact location. We introduce a mixed integer non-linear formulation of the problem and propose two linear reformulations. The latter involve sample average approximations and closest assignment constraints, and in one of the formulations we use scenario aggregation to reduce its size. We solve the formulations with a general-purpose solver using a standard Benders decomposition method. Based on extensive computational results and a realistic case study, we find that the problem can be solved efficiently. However, the level of uncertainty in the instances determines which approach is the most efficient. We use an entropy measure to capture the level of uncertainty that can be computed prior to solving. Furthermore, the results highlight the value of accurate demand modeling, as customer preferences have an important impact on the solutions and associated costs.
- [10] arXiv:2411.04206 [pdf, html, other]
-
Title: Uniformity of Strong Asymptotics in Angelesco SystemsSubjects: Classical Analysis and ODEs (math.CA)
Let $ \mu_1 $ and $ \mu_2 $ be two, in general complex-valued, Borel measures on the real line such that $ \mathrm{supp} \,\mu_1 =[\alpha_1,\beta_1] < \mathrm{supp}\,\mu_2 =[\alpha_2,\beta_2] $ and $ d\mu_i(x) = -\rho_i(x)dx/2\pi\mathrm{i} $, where $ \rho_i(x) $ is the restriction to $ [\alpha_i,\beta_i] $ of a function non-vanishing and holomorphic in some neighborhood of $ [\alpha_i,\beta_i] $. Strong asymptotics of multiple orthogonal polynomials is considered as their multi-indices $ (n_1,n_2) $ tend to infinity in both coordinates. The main goal of this work is to show that the error terms in the asymptotic formulae are uniform with respect to $ \min\{n_1,n_2\} $.
- [11] arXiv:2411.04209 [pdf, other]
-
Title: Machine Learning Mutation-Acyclicity of QuiversComments: 30 pages, 14 figures, 8 tablesSubjects: Combinatorics (math.CO); Machine Learning (cs.LG); High Energy Physics - Theory (hep-th); Representation Theory (math.RT)
Machine learning (ML) has emerged as a powerful tool in mathematical research in recent years. This paper applies ML techniques to the study of quivers--a type of directed multigraph with significant relevance in algebra, combinatorics, computer science, and mathematical physics. Specifically, we focus on the challenging problem of determining the mutation-acyclicity of a quiver on 4 vertices, a property that is pivotal since mutation-acyclicity is often a necessary condition for theorems involving path algebras and cluster algebras. Although this classification is known for quivers with at most 3 vertices, little is known about quivers on more than 3 vertices. We give a computer-assisted proof of a theorem to prove that mutation-acyclicity is decidable for quivers on 4 vertices with edge weight at most 2. By leveraging neural networks (NNs) and support vector machines (SVMs), we then accurately classify more general 4-vertex quivers as mutation-acyclic or non-mutation-acyclic. Our results demonstrate that ML models can efficiently detect mutation-acyclicity, providing a promising computational approach to this combinatorial problem, from which the trained SVM equation provides a starting point to guide future theoretical development.
- [12] arXiv:2411.04212 [pdf, html, other]
-
Title: General monotonicityComments: 36 pages, preprint, ssSubjects: Functional Analysis (math.FA); Optimization and Control (math.OC)
This article employs techniques from convex analysis to present characterizations of (maximal) $n-$monotonicity, similar to the well-established characterizations of (maximal) monotonicity found in the existing literature. These characterizations are further illustrated through examples.
- [13] arXiv:2411.04213 [pdf, html, other]
-
Title: Cyclotomic primesComments: 12 pagesSubjects: Number Theory (math.NT)
Mersenne primes and Fermat primes may be thought of as primes of the form $\Phi_m(2)$, where $\Phi_m(x)$ is the $m$th cyclotomic polynomial. This paper discusses the more general problem of primes and composites of this form.
- [14] arXiv:2411.04214 [pdf, html, other]
-
Title: Introducing Multidimensional Dirac-Hestenes EquationComments: 20 pagesSubjects: Mathematical Physics (math-ph)
It is easier to investigate phenomena in particle physics geometrically by exploring a real solution to the Dirac-Hestenes equation instead of a complex solution to the Dirac equation. The present research outlines the multidimensional Dirac-Hestenes equation. Since the matrix representation of the complexified (Clifford) geometric algebra $\mathbb{C}\otimes{C \kern -0.1em \ell}_{1,n}$ depends on a parity of $n$, we explore even and odd cases separately. In the geometric algebra ${C \kern -0.1em \ell}_{1,3}$, there is a lemma on a unique decomposition of an element of the minimal left ideal into the product of the idempotent and an element of the real even subalgebra. The lemma is used to construct the four-dimensional Dirac-Hestenes equation. The analogous lemma is not valid in the multidimensional case, since the dimension of the real even subalgebra of ${C \kern -0.1em \ell}_{1,n}$ is bigger than the dimension of the minimal left ideal for $n>4$. Hence, we consider the auxiliary real subalgebra of ${C \kern -0.1em \ell}_{1,n}$ to prove a similar statement. We present the multidimensional Dirac-Hestenes equation in ${C \kern -0.1em \ell}_{1,n}$. We prove that one might obtain a solution to the multidimensional Dirac-Hestenes equation using a solution to the multidimensional Dirac equation and vice versa. We also show that the multidimensional Dirac-Hestenes equation has gauge invariance.
- [15] arXiv:2411.04220 [pdf, html, other]
-
Title: Complete asymptotic analysis of low energy scattering for Schrodinger operators with a short-range potentialComments: 48 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
Recent work by Hintz--Vasy provides a partial asymptotic analysis of the low-energy limit of scattering for Schrodinger operators with a short-range potential. Using a slight refinement of Hintz's algorithm, we complete the asymptotic analysis by providing full asymptotic expansions in every possible asymptotic regime. Moreover, the analysis is done in any dimension $d\geq 3$, for any asymptotically conic manifold, and we keep track of partial multipole expansions.
- [16] arXiv:2411.04222 [pdf, html, other]
-
Title: Cubic fourfolds of discriminant 24 and rationalityComments: 31 pagesSubjects: Algebraic Geometry (math.AG)
Cubic fourfolds of discriminant 24 contain special codimension-two algebraic cycles of degree 6 and self-intersection 20. Such cycles may be represented by singular scrolls or del Pezzo surfaces. A discriminant 24 cubic fourfold gives rise to a twisted surface, consisting of a degree-six K3 surface and a two-torsion element of its Brauer group. We show that the cubic fourfold is rational if the Brauer class vanishes. This yields a countably-infinite collection of new examples of rational cubic fourfolds, each of codimension two in moduli.
- [17] arXiv:2411.04231 [pdf, html, other]
-
Title: On the Work of Cartan and M\"{u}nzner on Isoparametric HypersurfacesSubjects: Differential Geometry (math.DG)
A hypersurface $M^n$ in a real space form ${\bf R}^{n+1}$, $S^{n+1}$, or $H^{n+1}$ is isoparametric if it has constant principal curvatures. This paper is a survey of the fundamental work of Cartan and Münzner on the theory of isoparametric hypersurfaces in real space forms, in particular, spheres. This work is contained in four papers of Cartan published during the period 1938--1940, and two papers of Münzner that were published in preprint form in the early 1970's, and as journal articles in 1980--1981. These papers of Cartan and Münzner have been the foundation of the extensive field of isoparametric hypersurfaces, and they have all been recently translated into English by the author. The paper concludes with a brief survey of the recently completed classification of isoparametric hypersurfaces in spheres.
- [18] arXiv:2411.04235 [pdf, html, other]
-
Title: Geometric studies on the class $\mathcal{M}(\lambda)$ and the Bohr radius for a certain subclass of starlike functionsComments: 26 Pages, 9 figures, Latex-V1Subjects: Complex Variables (math.CV)
Let $\mathcal{H}$ be the space of all functions that are analytic in $\mathbb{D}$. Let $\mathcal{A}$ denote the family of all functions $f\in\mathcal{H}$ and normalized by the conditions $f(0)=0=f'(0)-1$. In 2011, Obradović and Ponnusamy introduced the class $\mathcal{M}(\lambda)$ of all functions $f\in\mathcal{A}$ satisfying the condition $\left|z^2\left(z/f(z)\right)''+f'(z)\left(z/f(z)\right)^2-1\right|\leq \lambda$ for $z\in\mathbb{D}$ with $\lambda>0$. We show that the class $\mathcal{M}(\lambda)$ is preserved under omitted-value transformation, but this class is not preserved under dilation. In this paper, we investigate the largest disk in which the property of preservation under dilation of the class $\mathcal{M}:=\mathcal{M}(1)$ holds. We also address a radius property of the class $\mathcal{M}(\lambda)$ and a number of associated results pertaining to $\mathcal{M}$. Furthermore, we examine the largest disks with sharp radius for which the functions $F$ defined by the relations $g(z)h(z)/z$, $z^2/g(z)$, and $z^2/\int_0^z (t/g(t))dt$ belong to the class $\mathcal{M}$, where $g$ and $h$ belong to some suitable subclasses of $\mathcal{S}$, the class of univalent functions from $\mathcal{A}$. In the final analysis, we obtain the sharp Bohr radius, Bohr-Rogosinski radius and improved Bohr radius for a certain subclass of starlike functions.
- [19] arXiv:2411.04237 [pdf, html, other]
-
Title: Chance-Constrained Set Multicover ProblemSubjects: Optimization and Control (math.OC)
We consider a variant of the set covering problem with uncertain parameters, which we refer to as the chance-constrained set multicover problem (CC-SMCP). In this problem, we assume that there is uncertainty regarding whether a selected set can cover an item, and the objective is to determine a minimum-cost combination of sets that covers each item $i$ at least $k_i$ times with a prescribed probability. To tackle CC-SMCP, we employ techniques of enumerative combinatorics, discrete probability distributions, and combinatorial optimization to derive exact equivalent deterministic reformulations that feature a hierarchy of bounds, and develop the corresponding outer-approximation (OA) algorithm. Additionally, we consider reducing the number of chance constraints via vector dominance relations and reformulate two special cases of CC-SMCP using the ``log-transformation" method and binomial distribution properties. Theoretical results on sampling-based methods, i.e., the sample average approximation (SAA) method and the importance sampling (IS) method, are also studied to approximate the true optimal value of CC-SMCP under a finite discrete probability space. Our numerical experiments demonstrate the effectiveness of the proposed OA method, particularly in scenarios with sparse probability matrices, outperforming sampling-based approaches in most cases and validating the practical applicability of our solution approaches.
- [20] arXiv:2411.04238 [pdf, html, other]
-
Title: Holomorphic jump-diffusionsSubjects: Probability (math.PR)
We introduce a class of jump-diffusions, called holomorphic, of which the well-known classes of affine and polynomial processes are particular instances. The defining property concerns the extended generator, which is required to map a (subset of) holomorphic functions to themselves. This leads to a representation of the expectation of power series of the process' marginals via a potentially infinite dimensional linear ODE. We apply the same procedure by considering exponentials of holomorphic functions, leading to a class of processes named affine-holomorphic for which a representation for quantities as the characteristic function of power series is provided. Relying on powerful results from complex analysis, we obtain sufficient conditions on the process' characteristics which guarantee the holomorphic and affine-holomorphic properties and provide applications to several classes of jump-diffusions.
- [21] arXiv:2411.04247 [pdf, html, other]
-
Title: On Positive Vectors in Indefinite Inner Product SpacesSubjects: Functional Analysis (math.FA); Mathematical Physics (math-ph)
Let $\mathcal{H}$ be a linear space equipped with an indefinite inner product $[\cdot, \cdot]$. Denote by $\mathcal{F}_{++}=\{f\in\mathcal{H} \ : \ [f,f]>0\}$ the nonlinear set of positive vectors in $\mathcal{H}$. We demonstrate that the properties of a linear operator $W$ in $\mathcal{H}$ can be uniquely determined by its restriction to $\mathcal{F}_{++}$. In particular, we prove that the bijectivity of $W$ on $\mathcal{F}_{++}$ is equivalent to $W$ being {\em close} to a unitary operator with respect to $[\cdot, \cdot]$. Furthermore, we consider a one-parameter semi-group of operators $W_+ = \{W(t) : t \geq 0\}$, where each $W(t)$ maps $\mathcal{F}_{++}$ onto itself in a one-to-one manner. We show that, under this natural restriction, the semi-group $W_+$ can be transformed into a one-parameter group $U = \{U(t) : t\in\mathbb{R}\}$ of operators that are unitary with respect to $[\cdot, \cdot]$. By imposing additional conditions, we show how to construct a suitable definite inner product $\langle\cdot, \cdot\rangle$, based on $[\cdot, \cdot]$, which guarantees the unitarity of the operators $U(t)$ in the Hilbert space obtained by completing $\mathcal{H}$
with respect to $\langle\cdot, \cdot\rangle$. - [22] arXiv:2411.04248 [pdf, html, other]
-
Title: Maximal $\Lambda(p)$-subsets of manifoldsSubjects: Classical Analysis and ODEs (math.CA); Probability (math.PR)
We construct maximal $\Lambda(p)$-subsets on a large class of curved manifolds, in an optimal range of Lebesgue exponents $p$. Our arguments combine restriction estimates and decoupling with old and new probabilistic estimates.
- [23] arXiv:2411.04250 [pdf, html, other]
-
Title: A Tits alternative for $\mathbb{R}$-buildings of type $\tilde{A}_2$Comments: 25 pagesSubjects: Group Theory (math.GR)
Let $G$ be a group with a non-elementary action on a (not necessarily discrete) $\tilde{A}_2$-buildings. We prove that, given a random walk on $G$, isometries in $G$ are strongly regular hyperbolic with high probability. As a consequence, we prove a Tits alternative for $G$, as well as a local-to-global fixed point result. We also prove that isometries of (not necessarily complete) $\mathbb{R}$-buildings are semi-simple.
- [24] arXiv:2411.04254 [pdf, html, other]
-
Title: $L^2$-torsion of fibrationsSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
The paper studies the $L^2$-torsion of fibrations, focusing on cases that relax acyclicity and the determinant class condition. We prove the sum formula and the product formula for $L^2$-torsion in the extended abelian category. The desired formula for $L^2$-torsion of a simple fibration is obtained under the assumption that the fibers have zero Euler characteristic.
- [25] arXiv:2411.04262 [pdf, html, other]
-
Title: Sequential optimal contracting in continuous timeSubjects: Optimization and Control (math.OC); Theoretical Economics (econ.TH); Probability (math.PR)
In this paper we study a principal-agent problem in continuous time with multiple lump-sum payments (contracts) paid at different deterministic times. We reduce the non-zero sum Stackelberg game between the principal and agent to a standard stochastic optimal control problem. We apply our result to a benchmark model for which we investigate how different inputs (payment frequencies, payments' distribution, discounting factors, agent's reservation utility) affect the principal's value and agent's optimal compensations.
- [26] arXiv:2411.04267 [pdf, html, other]
-
Title: Ramsey Number Counterexample Checking and One Vertex Extension Linearly Related to $s$ and $t$Comments: 5 pages, 1 theorem, 2 algorithms, 0 figuresSubjects: Combinatorics (math.CO)
The Ramsey number $R(s,t)$ is the smallest integer $n$ such that all graphs of size $n$ contain a clique of size $s$ or an independent set of size $t$. $\mathcal{R}(s,t,n)$ is the set of all counterexample graphs without this property for a given $n$. We prove that if a graph $G_{n+1}$ of size $n+1$ has $\max\{s,t\}+1$ subgraphs in $\mathcal{R}(s,t,n)$, then $G_{n+1}$ is in $\mathcal{R}(s,t,n+1)$. Based on this, we introduce algorithms for one-vertex extension and counterexample checking with runtime linearly bound by $s$ and $t$. We prove the utility of these algorithms by verifying $\mathcal{R}(4,6,36)$ and $\mathcal{R}(5,5,43)$ are empty given current sets $\mathcal{R}(4,6,35)$ and $\mathcal{R}(5,5,42)$.
- [27] arXiv:2411.04287 [pdf, html, other]
-
Title: On Uniqueness Theorems for the Inverse q-Sturm-Liouville problemsSubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
We establish two theorems that illustrate the uniqueness of inverse q-Sturm-Liouville problems based on a specified set of spectral data. The first uniqueness theorem employs the method of transformation operators to provide a q-analog of the Levinson-Marchenko uniqueness theorem. The second uniqueness theorem is a q-analog of the Ashrafyan uniqueness theorem. We introduced a q-analog of the Gelfand-Levitan approach, which involves converting q-difference operators into q-integral operators to prove the theorem.
- [28] arXiv:2411.04292 [pdf, html, other]
-
Title: Stochastic Optimization Using Ricci FlowSubjects: Differential Geometry (math.DG); Optimization and Control (math.OC)
This paper proposes a theoretical framework for modeling and optimizing the bounded functions based on the Fourier series approximation and Ricci flow. Specifically, the initial manifold, $\mathcal{M}_0$ is approximated using Fourier series approximation in conjunction with the center and boundary sampling procedure introduced in the paper. The manifold is iteratively evolved using an algorithm that involves sampling along circles defined by the Riemannian metric tensor. Furthermore, the function is optimized by applying inverse Ricci flow i.e. instead of regularizing the manifold, flow allows for the high curvature regions to be accentuated. This allows for the singularities to occur at potential global optima assuming the deviation of the manifold at any point is smaller than the optimum.
- [29] arXiv:2411.04301 [pdf, html, other]
-
Title: The one-shot problem: Solution to an open question of finite-fuel singular control with discretionary stoppingComments: 51 pages, 9 figuresSubjects: Optimization and Control (math.OC)
We introduce a novel 'one-shot' solution technique resolving an open problem (Karatzas et al., Finite-fuel singular control with discretionary stopping, Stochastics 71:1-2 (2000)). Unexpectedly given the convexity of the latter problem, its waiting region is not necessarily connected. Along a typical sample path, the state process may even spend positive time in both of its connected components. The analysis reveals more generally that when fuel is limited, contrary to intuition, the solution without fuel is not necessarily indicative of the solution for small amounts of fuel. To resolve this, we recommend solving the `one-shot' problem, which is one of optimal stopping, prior to employing the usual `guess and verify' solution approach.
- [30] arXiv:2411.04302 [pdf, html, other]
-
Title: Super major index and Thrall's problemComments: 23 pagesSubjects: Combinatorics (math.CO)
Thrall's problem asks for the Schur decomposition of the higher Lie modules $\mathcal{L}_\lambda$, which are defined using the free Lie algebra and decompose the tensor algebra as a general linear group module. Although special cases have been solved, Thrall's problem remains open in general. We generalize Thrall's problem to the free Lie superalgebra, and prove extensions of three known results in this setting: Brandt's formula, Klyachko's identification of the Schur--Weyl dual of $\mathcal{L}_n$, and Kr{á}skiewicz--Weyman's formula for the Schur decomposition of $\mathcal{L}_n$. The latter involves a new version of the major index on super tableaux, which we show corresponds to a $q,t$-hook formula of Macdonald.
- [31] arXiv:2411.04306 [pdf, html, other]
-
Title: List Decodable Quantum LDPC CodesSubjects: Information Theory (cs.IT); Quantum Physics (quant-ph)
We give a construction of Quantum Low-Density Parity Check (QLDPC) codes with near-optimal rate-distance tradeoff and efficient list decoding up to the Johnson bound in polynomial time. Previous constructions of list decodable good distance quantum codes either required access to a classical side channel or were based on algebraic constructions that preclude the LDPC property.
Our construction relies on new algorithmic results for codes obtained via the quantum analog of the distance amplification scheme of Alon, Edmonds, and Luby [FOCS 1995]. These results are based on convex relaxations obtained using the Sum-of-Squares hierarchy, which reduce the problem of list decoding the distance amplified codes to unique decoding the starting base codes. Choosing these base codes to be the recent breakthrough constructions of good QLDPC codes with efficient unique decoders, we get efficiently list decodable QLDPC codes. - [32] arXiv:2411.04307 [pdf, html, other]
-
Title: Correction to: A Lagrangian dual method for two-stage robust optimization with binary uncertaintiesComments: 16 pagesSubjects: Optimization and Control (math.OC)
We provide a correction to the sufficient conditions under which closed-form expressions for the optimal Lagrange multiplier are provided in arXiv:2112.13138 [math.OC]. We first present a simple counterexample where the original conditions are insufficient, highlight where the original proof fails, and then provide modified conditions along with a correct proof of their validity. Finally, although the original paper discusses modifications to their method for problems that may not satisfy any sufficient conditions, we substantiate that discussion along two directions. We first show that computing an optimal Lagrange multiplier can still be done in polynomial time. We then provide complete and correct versions of the corresponding Benders and column-and-constraint generation algorithms in which the original method is used. We also discuss the implications of our findings on computational performance.
- [33] arXiv:2411.04317 [pdf, html, other]
-
Title: Variational Analysis of a Nonconvex and Nonsmooth Optimization Problem: An IntroductionSubjects: Optimization and Control (math.OC)
Variational analysis provides the theoretical foundations and practical tools for constructing optimization algorithms without being restricted to smooth or convex problems. We survey the central concepts in the context of a concrete but broadly applicable problem class from composite optimization in finite dimensions. While prioritizing accessibility over mathematical details, we introduce subgradients of arbitrary functions and the resulting optimality conditions, describe approximations and the need for going pointwise and uniform convergence, and summarize proximal methods. We derive dual problems from parametrization of the actual problem and the resulting relaxations. The paper ends with an introduction to second-order theory and its role in stability analysis of optimization problems.
- [34] arXiv:2411.04320 [pdf, html, other]
-
Title: Adaptive signal recovery in sparse nonparametric modelsComments: 15 pages, 0 figuresSubjects: Statistics Theory (math.ST)
We observe an unknown regression function of $d$ variables $f(\boldsymbol{t})$, $\boldsymbol{t} \in[0,1]^d$, in the Gaussian white noise model of intensity $\varepsilon>0$. We assume that the function $f$ is regular and that it is a sum of $k$-variate functions, where $k$ varies from $1$ to $s$ ($1\leq s\leq d$). These functions are unknown to us and only few of them are nonzero. In this article, we address the problem of identifying the nonzero components of $f$ in the case when $d=d_\varepsilon\to \infty$ as $\varepsilon\to 0$ and $s$ is either fixed or $s=s_\varepsilon\to \infty$, $s=o(d)$ as $\varepsilon\to \infty$. This may be viewed as a variable selection problem. We derive the conditions when exact variable selection in the model at hand is possible and provide a selection procedure that achieves this type of selection. The procedure is adaptive to a degree of model sparsity described by the sparsity parameter $\beta\in(0,1)$. We also derive conditions that make the exact variable selection impossible. Our results augment previous work in this area.
- [35] arXiv:2411.04322 [pdf, html, other]
-
Title: Bounding Hellinger Distance with Stein's MethodSubjects: Probability (math.PR)
This work introduces a new, explicit bound on the Hellinger distance between a continuous random variable and a Gaussian with matching mean and variance. As example applications, we derive a quantitative Hellinger central limit theorem and efficient concentration inequalities for sums of dependent random variables.
- [36] arXiv:2411.04327 [pdf, html, other]
-
Title: Volume entropy and rigidity for RCD-spacesSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT); Metric Geometry (math.MG)
We develop the barycenter technique of Besson--Courtois--Gallot so that it can be applied on RCD metric measure spaces. Given a continuous map $f$ from a non-collapsed RCD$(-(N-1),N)$ space $X$ without boundary to a locally symmetric $N$-manifold we show a version of BCG's entropy-volume inequality. The lower bound involves homological and homotopical indices which we introduce. We prove that when equality holds and these indices coincide $X$ is a locally symmetric manifold, and $f$ is homotopic to a Riemannian covering whose degree equals the indices. Moreover, we show a measured Gromov--Hausdorff stability of $X$ and $Y$ involving the homotopical invariant. As a byproduct, we extend a Lipschitz volume rigidity result of Li--Wang to RCD$(K,N)$ spaces without boundary. Finally, we include an application of these methods to the study of Einstein metrics on $4$-orbifolds.
- [37] arXiv:2411.04345 [pdf, html, other]
-
Title: Hausdorff moment sequences and hypergeometric functionsComments: 15 pagesSubjects: Complex Variables (math.CV)
Pólya in 1926 showed that the hypergeometric function $F(z)=\null_2F_1(a,b;c;z)$ has a totally monotone sequence as its coefficients; that is, $F$ is the generating function of a Hausdorff moment sequence, when $0\le a\le 1$ and $0\le b\le c.$ In this paper, we give a complete characterization of such hypergeometric functions $F$ in terms of complex parameters $a,b,c.$ To this end, we study the class of general properties of generating functions of Hausdorff moment sequences and, in particular, we provide a sufficient condition for the class by making use of a Phragmèn-Lindelöf type theorem. As an application, we give also a necessary and sufficient condition for a shifted hypergeometric function to be universally starlike.
- [38] arXiv:2411.04346 [pdf, html, other]
-
Title: Characterization of Colorings Obtained by a Method of SzlamJournal-ref: Geombinatorics Quarterly 33 (2024) 147-152Subjects: Combinatorics (math.CO)
Szlam's Lemma began life as a way of getting upper bounds on the chromatic numbers of distance graphs in normed vector spaces. Now analogs are available in a variety of hypergraph settings, but the method always involves a shrewdly chosen 2-coloring of the vertex set of a hypergraph, together with a subset of the vertex set which satisfies certain requirements with reference to the 2-coloring. From these ingredients a proper coloring of the hypergraphs is cooked up.
In this paper, we separate the process from the conclusion of Szlam's Lemma by defining Szlam colorings of the vector spaces $\mathbb R^d$, and then a more regimented variety of these, which we call ordered Szlam colorings, which we characterize. - [39] arXiv:2411.04347 [pdf, html, other]
-
Title: Characters of symmetric groups: sharp bounds on virtual degrees and the Witten zeta functionComments: 37 pages, 11 figures, comments welcome!Subjects: Representation Theory (math.RT); Combinatorics (math.CO); Probability (math.PR)
We prove sharp bounds on the virtual degrees introduced by Larsen and Shalev. This leads to improved bounds on character of symmetric groups. We then sharpen bounds of Liebeck and Shalev concerning the Witten zeta function. As an application, we characterize the fixed-point free conjugacy classes whose associated random walk mixes in 2 steps.
- [40] arXiv:2411.04349 [pdf, html, other]
-
Title: The intersection of a random geometric graph with an Erd\H{o}s-R\'enyi graphSubjects: Combinatorics (math.CO)
We study the intersection of a random geometric graph with an Erdős-Rényi graph. Specifically, we generate the random geometric graph $G(n, r)$ by choosing $n$ points uniformly at random from $D=[0, 1]^2$ and joining any two points whose Euclidean distance is at most $r$. We let $G(n, p)$ be the classical Erdős-Rényi graph, i.e. it has $n$ vertices and every pair of vertices is adjacent with probability $p$ independently. In this note we study $G(n, r, p):=G(n, r) \cap G(n, p)$. One way to think of this graph is that we take $G(n, r)$ and then randomly delete edges with probability $1-p$ independently. We consider the clique number, independence number, connectivity, Hamiltonicity, chromatic number, and diameter of this graph where both $p(n)\to 0$ and $r(n)\to 0$; the same model was studied by Kahle, Tian and Wang (2023) for $r(n)\to 0$ but $p$ fixed.
- [41] arXiv:2411.04359 [pdf, other]
-
Title: Strong convergence rates of Galerkin finite element methods for SWEs with cubic polynomial nonlinearitySubjects: Numerical Analysis (math.NA)
In the present work, strong approximation errors are analyzed for both the spatial semi-discretization and the spatio-temporal fully discretization of stochastic wave equations (SWEs) with cubic polynomial nonlinearities and additive noises. The fully discretization is achieved by the standard Galerkin ffnite element method in space and a novel exponential time integrator combined with the averaged vector ffeld approach. The newly proposed scheme is proved to exactly satisfy a trace formula based on an energy functional. Recovering the convergence rates of the scheme, however, meets essential difffculties, due to the lack of the global monotonicity condition. To overcome this issue, we derive the exponential integrability property of the considered numerical approximations, by the energy functional. Armed with these properties, we obtain the strong convergence rates of the approximations in both spatial and temporal direction. Finally, numerical results are presented to verify the previously theoretical findings.
- [42] arXiv:2411.04362 [pdf, html, other]
-
Title: A Categorical Approach to M\"obius Inversion via Derived FunctorsComments: 23 pagesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT); K-Theory and Homology (math.KT)
We develop a cohomological approach to Möbius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define Möbius cohomology as the derived functors of an enriched hom functor on the category of $P$-modules. We prove that the Euler characteristic of our cohomology theory recovers the classical Möbius inversion, providing a natural categorification. As a key application, we prove a categorical version of Rota's Galois Connection. Our approach unifies classical ideas from combinatorics with homological algebra.
- [43] arXiv:2411.04377 [pdf, html, other]
-
Title: Some new characterizations of BLO and Campanato spaces in the Schr\"{o}dinger settingComments: 36 pages. arXiv admin note: substantial text overlap with arXiv:2311.03407Subjects: Classical Analysis and ODEs (math.CA)
Let us consider the Schrödinger operator $\mathcal{L}=-\Delta+V$ on $\mathbb R^d$ with $d\geq3$, where $\Delta$ is the Laplacian operator on $\mathbb R^d$ and the nonnegative potential $V$ belongs to certain reverse Hölder class $RH_s$ with $s\geq d/2$. In this paper, the authors first introduce two kinds of function spaces related to the Schrödinger operator $\mathcal{L}$. A real-valued function $f\in L^1_{\mathrm{loc}}(\mathbb R^d)$ belongs to the (BLO) space $\mathrm{BLO}_{\rho,\theta}(\mathbb R^d)$ with $0\leq\theta<\infty$ if \begin{equation*} \|f\|_{\mathrm{BLO}_{\rho,\theta}} :=\sup_{\mathcal{Q}}\bigg(1+\frac{r}{\rho(x_0)}\bigg)^{-\theta}\bigg(\frac{1}{|Q(x_0,r)|} \int_{Q(x_0,r)}\Big[f(x)-\underset{y\in\mathcal{Q}}{\mathrm{ess\,inf}}\,f(y)\Big]\,dx\bigg), \end{equation*} where the supremum is taken over all cubes $\mathcal{Q}=Q(x_0,r)$ in $\mathbb R^d$, $\rho(\cdot)$ is the critical radius function in the Schrödinger context. For $0<\beta<1$, a real-valued function $f\in L^1_{\mathrm{loc}}(\mathbb R^d)$ belongs to the (Campanato) space $\mathcal{C}^{\beta,\ast}_{\rho,\theta}(\mathbb R^d)$ with $0\leq\theta<\infty$ if \begin{equation*} \|f\|_{\mathcal{C}^{\beta,\ast}_{\rho,\theta}} :=\sup_{\mathcal{B}}\bigg(1+\frac{r}{\rho(x_0)}\bigg)^{-\theta} \bigg(\frac{1}{|B(x_0,r)|^{1+\beta/d}}\int_{B(x_0,r)}\Big[f(x)-\underset{y\in\mathcal{B}}{\mathrm{ess\,inf}}\,f(y)\Big]\,dx\bigg), \end{equation*} where the supremum is taken over all balls $\mathcal{B}=B(x_0,r)$ in $\mathbb R^d$. Then we establish the corresponding John--Nirenberg inequality suitable for the space $\mathrm{BLO}_{\rho,\theta}(\mathbb R^d)$ with $0\leq\theta<\infty$ and $d\geq3$. Moreover, we give some new characterizations of the BLO and Campanato spaces related to $\mathcal{L}$ on weighted Lebesgue spaces, which is the extension of some earlier results.
- [44] arXiv:2411.04389 [pdf, html, other]
-
Title: Approximate Frank-Wolfe Algorithm over Graph-structured Support SetSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
In this project, we reviewed a paper that deals graph-structured convex optimization (GSCO) problem with the approximate Frank-Wolfe (FW) algorithm. We analyzed and implemented the original algorithm and introduced some extensions based on that. Then we conducted experiments to compare the results and concluded that our backtracking line-search method effectively reduced the number of iterations, while our new DMO method (Top-g+ optimal visiting) did not make satisfying enough improvements.
- [45] arXiv:2411.04400 [pdf, html, other]
-
Title: Improved Approximation Bounds for Moore-Penrose Inverses of Banded Matrices with Applications to Continuous-Time Linear Quadratic ControlSubjects: Optimization and Control (math.OC)
We present improved approximation bounds for the Moore-Penrose inverses of banded matrices, where the bandedness is induced by an arbitrary metric space. We show that the pseudoinverse of a banded matrix can be approximated by another banded matrix, and the error of approximation is exponentially small in the bandwidth of the approximation. An intuitive corollary can be obtained: the off-diagonal blocks of the pseudoinverse decay exponentially with the distance between the node sets associated with row and column indices, on the given metric space. Our bounds are expressed in terms of the bound of singular values of the system. For saddle point systems, commonly encountered in optimization, we provide the bounds of singular values associated with standard regularity conditions (linear independence constraint qualifications and second-order sufficiency conditions). Our bounds improve previously reported ones (Demko,1984; Bickel, 2012; Shin, 2022). Remarkably, our bounds allow us to establish a perturbation bound for continuous-domain optimal control problems by analyzing the asymptotic limit of their finite difference discretization, which has been challenging with previously reported bounds.
- [46] arXiv:2411.04431 [pdf, html, other]
-
Title: Projective Rigidity of Once-Punctured Torus Bundles via the Twisted Alexander PolynomialComments: 25 pagesSubjects: Geometric Topology (math.GT); Representation Theory (math.RT)
In this paper we provide a means of certifying infinitesimal projective rigidity relative to the cusp for hyperbolic once punctured torus bundles in terms of twisted Alexander polynomials of representations associated to the holonomy. We also relate this polynomial to an induced action on the tangent space of the character variety of the free group of rank 2 into PGL(4,R) that arises from the holonomy of a hyperbolic once-punctured torus bundle. We prove the induced action on the tangent space of the character variety is the same as the group theoretic action that arises in the Lyndon Hochschild Serre spectral sequence on cohomology.
- [47] arXiv:2411.04432 [pdf, html, other]
-
Title: Relations between generalised Gelfand-Tsetlin and Kazhdan-Lusztig bases of $S_n$Comments: 10 pages, extended abstract for submission to FPSAC 2025Subjects: Representation Theory (math.RT); Combinatorics (math.CO)
We prove that the Kazhdan-Lusztig basis of Specht modules is upper triangular with respect to all generalized Gelfand-Tsetlin bases constructed from any multiplicity-free tower of standard parabolic subgroups.
- [48] arXiv:2411.04438 [pdf, html, other]
-
Title: A Kakeya maximal estimate for regulus stripsSubjects: Classical Analysis and ODEs (math.CA)
We prove Kakeya-type estimates for regulus strips. As a result, we obtain another epsilon improvement over the Kakeya conjecture in $\mathbb{R}^3$, by showing that the regulus strips in the ${\rm SL}_2$ example are essentially disjoint. We also establish an $L^p$ inequality regarding Nikodym-type maximal function in the first Heisenberg group.
- [49] arXiv:2411.04445 [pdf, html, other]
-
Title: Large Sets of Asymptotically Optimal and Near-Optimal Quasi-Complementary SequencesSubjects: Information Theory (cs.IT)
Perfect complementary sequence sets (PCSSs) are widely used in multi-carrier code-division multiple-access (MC-CDMA) communication system. However, the set size of a PCSS is upper bounded by the number of row sequences of each two-dimensional matrix in PCSS. Then quasi-complementary sequence set (QCSS) was proposed to support more users in MC-CDMA communications. For practical applications, it is desirable to construct an $(M,K,N,\vartheta_{max})$-QCSS with $M$ as large as possible and $\vartheta_{max}$ as small as possible, where $M$ is the number of matrices with $K$ rows and $N$ columns in the set and $\vartheta_{max}$ denotes its periodic tolerance. There exists a tradoff among these parameters and constructing QCSSs achieving or nearly achieving the known correlation lower bound has been an interesting research topic. Up to now, only a few constructions of asymptotically optimal or near-optimal periodic QCSSs were reported in the literature. In this paper, we construct five families of asymptotically optimal or near-optimal periodic QCSSs with large set sizes and low periodic tolerances. These families of QCSSs have set size $\Theta(q^2)$ or $\Theta(q^3)$ and flock size $\Theta(q)$, where $q$ is a power of a prime. To the best of our knowledge, only three known families of periodic QCSSs with set size $\Theta(q^2)$ and flock size $\Theta(q)$ were constructed and all other known periodic QCSSs have set sizes much smaller than $\Theta(q^2)$. Our new constructed periodic QCSSs with set size $\Theta(q^2)$ and flock size $\Theta(q)$ have better parameters than known ones. They have larger set sizes or lower periodic this http URL periodic QCSSs with set size $\Theta(q^3)$ and flock size $\Theta(q)$ constructed in this paper have the largest set size among all known families of asymptotically optimal or near-optimal periodic QCSSs.
- [50] arXiv:2411.04447 [pdf, html, other]
-
Title: Self-orthogonal codes from plateaued functionsComments: arXiv admin note: text overlap with arXiv:2401.01135Subjects: Information Theory (cs.IT)
Self-orthogonal codes are of interest as they have important applications in quantum codes, lattices and many areas. In this paper, based on the weakly regular plateaued functions or plateaued Boolean functions, we construct a family of linear codes with four nonzero weights. This family of linear codes is proved to be not only self-orthogonal but also optimally or almost optimally extendable. Besides, we derive binary and ternary linearly complementary dual codes (LCD codes for short) with new parameters from this family of codes. Some families of self-dual codes are also obtained as byproducts.
- [51] arXiv:2411.04449 [pdf, html, other]
-
Title: Maximizing the number of rational-value sums or zero-sumsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
What is the maximum number of $r$-term sums admitting rational values in $n$-element sets of irrational numbers? We determine the maximum when $r<4$ or $r\geq n/2$ and also in case when we drop the condition on the number of summands. It turns out that the $r$-term sum problem is equivalent to determine the maximum number of $r$-term zero-sum subsequences in $n$-element sequences of integers, which can be seen as a variant of the famous Erdős-Ginzburg-Ziv theorem.
- [52] arXiv:2411.04456 [pdf, html, other]
-
Title: Properties of BV-G structures + textures decomposition models. Application to road detection in satellite imagesJournal-ref: IEEE Transactions on Image Processing, Vol.19, No.11, 2793-2800, Nov. 2010Subjects: Functional Analysis (math.FA); Computer Vision and Pattern Recognition (cs.CV)
In this paper we present some theoretical results about a structures-textures image decomposition model which was proposed by the second author. We prove a theorem which gives the behavior of this model in different cases. Finally, as a consequence of the theorem we derive an algorithm for the detection of long and thin objects applied to a road networks detection application in aerial or satellite images.
- [53] arXiv:2411.04458 [pdf, html, other]
-
Title: Measures of closeness to cordiality for graphsComments: 13 pages, 3 tables, 11 referencesSubjects: Combinatorics (math.CO)
A graph $G$ is cordial if there exists a function $f$ from the vertices of $G$ to $\{0,1\}$ such that the number of vertices labelled $0$ and the number of vertices labelled $1$ differ by at most $1$, and if we assign to each edge $xy$ the label $|f(x)-f(y)|$, the number of edges labelled $0$ and the number of edges labelled $1$ also differ at most by $1$. We introduce two measures of how close a graph is to being cordial, and compute these measures for a variety of classes of graphs.
- [54] arXiv:2411.04461 [pdf, html, other]
-
Title: Intelligent acceleration adaptive control of linear $2\times2$ hyperbolic PDE systemsComments: 12 pages,19 figures, be submittingSubjects: Analysis of PDEs (math.AP)
Traditional approaches to stabilizing hyperbolic PDEs, such as PDE backstepping, often encounter challenges when dealing with high-dimensional or complex nonlinear problems. Their solutions require high computational and analytical costs. Recently, neural operators (NOs) for the backstepping design of first-order hyperbolic partial differential equations (PDEs) have been introduced, which rapidly generate gain kernel without requiring online numerical solution. In this paper we apply neural operators to a more complex class of $2\times2$ hyperbolic PDE systems for adaptive stability control. Once the NO has been well-trained offline on a sufficient training set obtained using a numerical solver, the kernel equation no longer needs to be solved again, thereby avoiding the high computational cost during online this http URL, we introduce the deep operator network (DeepONet), a neural network framework, to learn the nonlinear operator of the system parameters to the kernel gain. The approximate backstepping kernel is obtained by utilizing the network after learning, instead of numerically solving the kernel equations in the form of PDEs, to further derive the approximate controller and the target system. We analyze the existence and approximation of DeepONet operators and provide stability and convergence proofs for the closed-loop systems with NOs. Finally, the effectiveness of the proposed NN-adaptive control scheme is verified by comparative simulation, which shows that the NN operator achieved up to three orders of magnitude faster compared to conventional PDE solvers, significantly improving real-time control performance.
- [55] arXiv:2411.04463 [pdf, html, other]
-
Title: Morse inequalities for noncompact manifoldsComments: 28 pagesSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Differential Geometry (math.DG)
We establish Morse inequalities for a noncompact manifold with a cocompact and properly discontinuous action of a discrete group, where Morse functions are not necessarily invariant under the group action. The inequalities are given in terms of the $L^2$-Betti numbers and functions on the acting group which describe rough configurations of critical points of a Morse function.
- [56] arXiv:2411.04465 [pdf, html, other]
-
Title: On the Frobenius Problem for Some Generalized Fibonacci Subsequences -- IComments: 18 pages, 9 referencesSubjects: Number Theory (math.NT)
For a set $A$ of positive integers with $\gcd(A)=1$, let $\langle A \rangle$ denote the set of all finite linear combinations of elements of $A$ over the non-negative integers. The it is well known that only finitely many positive integers do not belong to $\langle A \rangle$. The Frobenius number and the genus associated with the set $A$ is the largest number and the cardinality of the set of integers non-representable by $A$. By a generalized Fibonacci sequence $\{V_n\}_{n \ge 1}$ we mean any sequence of positive integers satisfying the recurrence $V_n=V_{n-1}+V_{n-2}$ for $n \ge 3$. We study the problem of determining the Frobenius number and genus for sets $A=\{V_n,V_{n+d},V_{n+2d},\ldots\}$ for arbitrary $n$, where $d$ odd or $d=2$.
- [57] arXiv:2411.04477 [pdf, html, other]
-
Title: Finite linear Alexander quandle's inability to detect causality and properties of their coloring on links and knotsSubjects: Geometric Topology (math.GT)
I investigated the capability of finite linear Alexander quandles coloring invariant, a type of relatively easily computable knot invariants, to detect causality in (2+1)- dimensional globally hyperbolic spacetime by determining if they can distinguished the connected sum of two Hopf links with an infinit series of relevant three-component links constructed by Allen and Swenberg in 2020, who suggested that any link invariant must be able to distinguish those links for them to detect causality in the given setting. I showed that finite linear Alexander quandles are unable to distinguish any of them, therefore fail to capture causality in the given spacetime. Inspired by this result, I also derived a generalized theorem about the coloring of finite linear Alexander quandles on a specific type of tangles, which help to determine whether this quandles can distinguish between a wider range of knots and links or not.
- [58] arXiv:2411.04478 [pdf, html, other]
-
Title: Finite groups in which every irreducible character has either $p'$-degree or $p'$-codegreeSubjects: Group Theory (math.GR)
For an irreducible complex character $\chi$ of a finite group $G$, the codegree of $\chi$ is defined by $|G:\ker(\chi)|/\chi(1)$, where $\ker(\chi)$ is the kernel of $\chi$. Given a prime $p$, we provide a classification of finite groups in which every irreducible complex character has either $p'$-degree or $p'$-codegree.
- [59] arXiv:2411.04479 [pdf, html, other]
-
Title: On the number of partitions of the hypercube ${\bf Z}_q^n$ into large subcubesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We prove that the number of partitions of the hypercube ${\bf Z}_q^n$ into $q^m$ subcubes of dimension $n-m$ each for fixed $q$, $m$ and growing $n$ is asymptotically equal to $n^{(q^m-1)/(q-1)}$.
For the proof, we introduce the operation of the bang of a star matrix and demonstrate that any star matrix, except for a fractal, is expandable under some bang, whereas a fractal remains to be a fractal under any bang. - [60] arXiv:2411.04485 [pdf, html, other]
-
Title: Interpolatory Dual Framelets with a General Dilation MatrixSubjects: Functional Analysis (math.FA)
Interpolatory filters are of great interest in subdivision schemes and wavelet analysis. Due to the high-order linear-phase moment property, interpolatory refinement filters are often used to construct wavelets and framelets with high-order vanishing moments. In this paper, given a general dilation matrix $\mathsf{M}$, we propose a method that allows us to construct a dual $\mathsf{M}$-framelet from an arbitrary pair of $\mathsf{M}$-interpolatory filters such that all framelet generators/high-pass filters (1) have the interpolatory properties; (2) have high-order vanishing moments. Our method is easy to implement, as the high-pass filters are either given in explicit formulas or can be obtained by solving specific linear systems. Motivated by constructing interpolatory dual framelets, we can further deduce a method to construct an interpolatory quasi-tight framelet from an arbitrary interpolatory filter. If, in addition, the refinement filters have symmetry, we will perform a detailed analysis of the symmetry properties that the high-pass filters can achieve. We will present several examples to demonstrate our theoretical results.
- [61] arXiv:2411.04488 [pdf, html, other]
-
Title: A generalization of the second Pappus-Guldin theoremComments: 14 pages, 4 figuresSubjects: Metric Geometry (math.MG); Classical Analysis and ODEs (math.CA); Differential Geometry (math.DG)
This paper deals with the question of how to calculate the volume of a body in the three-dimensional Euclidean space when it is cut into slices perpendicular to a given curve. The answer is provided by a formula that can be considered as a generalized version of the second Pappus-Guldin theorem. It turns out that the computation becomes very simple if the curve passes directly through the centroids of the perpendicular cross-sections. In this context, the question arises whether a curve with this centroid property exists. We investigate this problem for a convex body $K$ by using the volume distance and certain features of the so-called floating bodies of $K$. As an example, we further determine the non-trivial centroid curves of a triaxial ellipsoid, and finally we apply our results to derive a rather simple formula for determining the centroid of a bent rod.
- [62] arXiv:2411.04495 [pdf, html, other]
-
Title: Finite groups whose commuting graphs are line graphsSubjects: Combinatorics (math.CO)
The commuting graph ${\Gamma(G)}$ of a group $G$ is the simple undirected graph with group elements as a vertex set and two elements $x$ and $y$ are adjacent if and only if $xy=yx$ in $G$. By eliminating the identity element of $G$ and all the dominant vertices of $\Gamma(G)$, the resulting subgraphs of $\Gamma(G)$ are $\Gamma^*(G)$ and $\Gamma^{**}(G)$, respectively. In this paper, we classify all the finite groups $G$ such that the graph $\Delta(G) \in \{\Gamma(G), \Gamma^*(G), \Gamma^{**}(G)\}$ is the line graph of some graph. We also classify all the finite groups $G$ whose graph $\Delta(G) \in \{\Gamma(G), \Gamma^*(G), \Gamma^{**}(G)\}$ is the complement of line graph.
- [63] arXiv:2411.04497 [pdf, html, other]
-
Title: Uniformly higher order accurate schemes for dynamics of charged particles under fast oscillating magnetic fieldsSubjects: Numerical Analysis (math.NA)
This work deals with the numerical approximation of plasmas which are confined by the effect of a fast oscillating magnetic field (see \cite{Bostan2012}) in the Vlasov model. The presence of this magnetic field induces oscillations (in time) to the solution of the characteristic equations. Due to its multiscale character, a standard time discretization would lead to an inefficient solver. In this work, time integrators are derived and analyzed for a class of highly oscillatory differential systems. We prove the uniform accuracy property of these time integrators, meaning that the accuracy does not depend on the small parameter $\varepsilon$. Moreover, we construct an extension of the scheme which degenerates towards an energy preserving numerical scheme for the averaged model, when $\varepsilon\to 0$. Several numerical results illustrate the capabilities of the method.
- [64] arXiv:2411.04500 [pdf, html, other]
-
Title: Probabilistic Approaches to The Energy Equality in Forced Surface Quasi-Geostrophic EquationsComments: 42 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We explore probabilistic approaches to the deterministic energy equality for the forced Surface Quasi-Geostrophic (SQG) equation on a torus. First, we prove the zero-noise dynamical large deviations for a corresponding stochastic SQG equation, where the lower bound matches the upper bound on a certain closure of the weak-strong uniqueness class for the deterministic forced SQG equation. Furthermore, we show that the energy equality for the deterministic SQG equation holds on arbitrary time-reversible subsets of the domain, where we match the upper bound and the lower bound. Conversely, the violation of the deterministic energy equality breaks the lower bound of large deviations. These results extend the existing techniques in Gess, Heydecker, and the second author \cite{arXiv:2311.02223} to generalized Sobolev spaces with negative indices. Finally, we provide an analysis of the restricted quasi-potential and prove a conditional equivalence compared to the rate function of large deviations for the Gaussian distribution. This suggests a potential connection between non-Gaussian large deviations in equilibrium for the stochastic SQG equation and the open problem regarding the uniqueness of the deterministic SQG equation.
- [65] arXiv:2411.04504 [pdf, html, other]
-
Title: Closed orbits of MHD equilibria with orientation-reversing symmetryComments: 42 pages, 1 figureSubjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph); Differential Geometry (math.DG)
As a generalisation of the periodic orbit structure often seen in reflection or mirror symmetric MHD equilibria, we consider equilibria with other orientation-reversing symmetries. An example of such a symmetry, which is a not a reflection, is $(x,y,z) \mapsto (-x,-y,-z)$ in $\mathbb{R}^3$. It is shown under any orientation-reversing isometry, that if the pressure function is assumed to have a nested toroidal structure, then all orbits on the tori are necessarily periodic. The techniques involved are almost entirely topological in nature and give rise to a handy index describing how a diffeomorphism of $\mathbb{R}^3$ alters the poloidal and toroidal curves of an invariant embedded 2-torus.
- [66] arXiv:2411.04506 [pdf, html, other]
-
Title: Butterfly factorization with error guaranteesSubjects: Optimization and Control (math.OC)
In this paper, we investigate the butterfly factorization problem, i.e., the problem of approximating a matrix by a product of sparse and structured factors. We propose a new formal mathematical description of such factors, that encompasses many different variations of butterfly factorization with different choices of the prescribed sparsity patterns. Among these supports, we identify those that ensure that the factorization problem admits an optimum, thanks to a new property called "chainability". For those supports we propose a new butterfly algorithm that yields an approximate solution to the butterfly factorization problem and that is supported by stronger theoretical guarantees than existing factorization methods. Specifically, we show that the ratio of the approximation error by the minimum value is bounded by a constant, independent of the target matrix.
- [67] arXiv:2411.04514 [pdf, html, other]
-
Title: Cotorsion pairs and Tor-pairs over commutative noetherian ringsComments: 27 pagesSubjects: Commutative Algebra (math.AC); Rings and Algebras (math.RA)
For a commutative noetherian ring $R$, we classify all the hereditary cotorsion pairs cogenerated by pure-injective modules of finite injective dimension. The classification is done in terms of integer-valued functions on the spectrum of the ring. Each such function gives rise to a system of local depth conditions which describes the left-hand class in the corresponding cotorsion pair. Furthermore, we show that these cotorsion pairs correspond by explicit duality to hereditary Tor-pairs generated by modules of finite flat dimension.
- [68] arXiv:2411.04518 [pdf, html, other]
-
Title: Unipotent mixing for general moduliComments: 36 pages; Comments welcomeSubjects: Number Theory (math.NT)
In this note we prove a joint equidistribution result for discrete low lying horocycles. This generalizes previous work of Blomer and Michel, where it was crucially assumed that the number of discrete points is prime.
- [69] arXiv:2411.04522 [pdf, html, other]
-
Title: Testing for changes in the error distribution in functional linear modelsSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
We consider linear models with scalar responses and covariates from a separable Hilbert space. The aim is to detect change points in the error distribution, based on sequential residual empirical distribution functions. Expansions for those estimated functions are more challenging in models with infinite-dimensional covariates than in regression models with scalar or vector-valued covariates due to a slower rate of convergence of the parameter estimators. Yet the suggested change point test is asymptotically distribution-free and consistent for one-change point alternatives. In the latter case we also show consistency of a change point estimator.
- [70] arXiv:2411.04523 [pdf, html, other]
-
Title: Countable tightness is not discretely reflexive in $\sigma$-compact spacesComments: 7 pagesSubjects: General Topology (math.GN)
Answering a question raised by V. V. Tkachuk, we present several examples of $\sigma$-compact spaces, some only consistent and some in ZFC, that are not countably tight but in which the closure of any discrete subset is countably tight. In fact, in some of our examples the closures of all discrete subsets are even first countable.
- [71] arXiv:2411.04528 [pdf, html, other]
-
Title: On the projections of almost Ahlfors regular setsComments: 11 pages, 2 figuresSubjects: Classical Analysis and ODEs (math.CA)
We show that the "sharp Kaufman projection theorem" from 2023 is sharp in the class of Ahlfors $(1,\delta^{-\epsilon})$-regular sets. This is in contrast with a recent result of the first author, which improves the projection theorem in the class of Ahlfors $(1,C)$-regular sets.
- [72] arXiv:2411.04536 [pdf, html, other]
-
Title: Beyond Peano's theorem: a variational look at discontinuous ODE systemsComments: 14 pages, no figureSubjects: Classical Analysis and ODEs (math.CA)
We propose a framework to define solutions of ODE systems under a novel condition that goes well beyond the usual continuity condition required in the classical theory of ODEs (Peano's or Picard's theorems). We illustrate our results with some simple but enlightening examples, including some facts about Sobolev fields, and mention some relevant questions to proceed with this analysis further.
- [73] arXiv:2411.04551 [pdf, other]
-
Title: Measure-to-measure interpolation using TransformersSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
Transformers are deep neural network architectures that underpin the recent successes of large language models. Unlike more classical architectures that can be viewed as point-to-point maps, a Transformer acts as a measure-to-measure map implemented as specific interacting particle system on the unit sphere: the input is the empirical measure of tokens in a prompt and its evolution is governed by the continuity equation. In fact, Transformers are not limited to empirical measures and can in principle process any input measure. As the nature of data processed by Transformers is expanding rapidly, it is important to investigate their expressive power as maps from an arbitrary measure to another arbitrary measure. To that end, we provide an explicit choice of parameters that allows a single Transformer to match $N$ arbitrary input measures to $N$ arbitrary target measures, under the minimal assumption that every pair of input-target measures can be matched by some transport map.
- [74] arXiv:2411.04552 [pdf, html, other]
-
Title: Invariant Hulls and Geometric Variational PrinciplesComments: 20 pages, no figureSubjects: Differential Geometry (math.DG)
We investigate functionals defined on manifolds through parameterizations. If they are to be meaningful, from a geometrical viewpoint, they ought to be invariant under reparameterizations. Standard, local, integral functionals with this invariance property are well-known. We would like to focus though on the passage from a given arbitrary functional to its invariant realization or invariant hull through the use of inner-variations, much in the same way as with the convex or quasiconvex hulls of integrands in the vector Calculus of Variations. These two processes are, however, very different in nature. After examining some basic, interesting, general properties about the mutual relationship between a functional and its invariant realization, we deal with the one dimensional case to gain some initial familiarity with such a transformation and calculations, before proceeding to the higher dimensional situation. As one would anticipate, explicit computations in the latter are much harder to perform, if not impossible, as one is to work with vector variational problems. In particular, we are able to reach some modest conclusion about the volume functional of a piece of a manifold in the general $N$-dimensional situation, especially in the two-dimensional case $N=2$. Various problems and conjectures are stated along the way.
- [75] arXiv:2411.04553 [pdf, html, other]
-
Title: The asymptotic behavior of the steady gradient K\"ahler-Ricci soliton of the Taub-NUT type of Apostolov and CifarelliComments: 38 pagesSubjects: Differential Geometry (math.DG)
We first determine the asymptotic cone of the steady gradient Kähler-Ricci soliton of the Taub-NUT type constructed by Apostolov and Cifarell. Then we study a special case and prove that it is an ALF Calabi-Yau metric in a certain sense. Finally we construct new ALF Calabi-Yau metrics on crepant resolution of its quotients modeled on it using the method of Tian-Yau-Hein.
- [76] arXiv:2411.04559 [pdf, other]
-
Title: Nearly higher Coleman theory and p-adic L-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ and $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$Comments: 54 pagesSubjects: Number Theory (math.NT)
We construct four-variable $p$-adic $L$-functions for the spin Galois representation of a Siegel modular form of genus 2 twisted by the Galois representation of a cuspidal modular form as the modular forms vary in Coleman families. The main ingredient is the construction of a space of nearly overconvergent modular forms in the coherent cohomology of the Siegel threefold, extending the spaces of overconvergent modular forms appearing in higher Coleman theory. In addition to this, we construct $p$-adic distributions interpolating the Gan-Gross-Prasad automorphic periods for $(\mathrm{GSpin}(5), \mathrm{GSpin}(4))$ which, conditional on the local and global Gan-Gross-Prasad conjectures for this pair of groups, provides a construction of "square-root" $p$-adic $L$-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$ as the automorphic forms vary in Coleman families.
- [77] arXiv:2411.04560 [pdf, html, other]
-
Title: Characterization of graphs with orientable total domination number equal to $|V|-1$Subjects: Combinatorics (math.CO)
In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $\gamma_t(D)$, is the size of the smallest total dominating set of $D$. For an undirected graph $G$, we investigate the upper (or lower) orientable total domination number of $G$, denoted by $\mathrm{DOM}_t(G)$ (or $\mathrm{dom}_t(G)$), that is the maximum (or minimum) of the total domination numbers over all valid orientations of $G$. We characterize those graphs for which $\mathrm{DOM}_t(G)=|V(G)|-1$, and consequently we show that there exists a family of graphs for which $\mathrm{DOM}_t(G)$ and $\mathrm{dom}_t(G)$ can be as far as possible, namely $\mathrm{DOM}_t(G)=|V(G)|-1$ and $\mathrm{dom}_t(G)=3$.
- [78] arXiv:2411.04572 [pdf, other]
-
Title: A notion of homotopy for directed graphs and their flag complexesSubjects: Algebraic Topology (math.AT)
Directed graphs can be studied by their associated directed flag complex. The homology of this complex has been successful in applications as a topological invariant for digraphs. Through comparison with path homology theory, we derive a homotopy-like equivalence relation on digraph maps such that equivalent maps induce identical maps on the homology of the directed flag complex. Thus, we obtain an equivalence relation on digraphs such that equivalent digraphs have directed flag complexes with isomorphic homology. With the help of these relations, we can prove a generic stability theorem for the persistent homology of the directed flag complex of filtered digraphs. In particular, we show that the persistent homology of the directed flag complex of the shortest-path filtration of a weighted directed acyclic graph is stable to edge subdivision. In contrast, we also discuss some important instabilities that are not present in persistent path homology. We also derive similar equivalence relations for ordered simplicial complexes at large. Since such complexes can alternatively be viewed as simplicial sets, we verify that these two perspectives yield identical relations.
- [79] arXiv:2411.04574 [pdf, html, other]
-
Title: RIS-Assisted Space Shift Keying with Non-Ideal Transceivers and Greedy DetectionComments: 12 pages, 8 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Reconfigurable intelligent surfaces (RIS) and index modulation (IM) represent key technologies for enabling reliable wireless communication with high energy efficiency. However, to fully take advantage of these technologies in practical deployments, comprehending the impact of the non-ideal nature of the underlying transceivers is paramount. In this context, this paper introduces two RIS-assisted IM communication models, in which the RIS is part of the transmitter and space-shift keying (SSK) is employed for IM, and assesses their performance in the presence of hardware impairments. In the first model, the RIS acts as a passive reflector only, reflecting the oncoming SSK modulated signal intelligently towards the desired receive diversity branch/antenna. The second model employs RIS as a transmitter, employing M-ary phase-shift keying for reflection phase modulation (RPM), and as a reflector for the incoming SSK modulated signal. Considering transmissions subjected to Nakagami-m fading, and a greedy detection rule at the receiver, the performance of both the system configurations is evaluated. Specifically, the pairwise probability of erroneous index detection and the probability of erroneous index detection are adopted as performance metrics, and their closed-form expressions are derived for the RIS-assisted SSK and RIS-assisted SSK-RPM system models. Monte-Carlo simulation studies are carried out to verify the analytical framework, and numerical results are presented to study the dependency of the error performance on the system parameters. The findings highlight the effect of hardware impairment on the performance of the communication system under study.
- [80] arXiv:2411.04590 [pdf, html, other]
-
Title: Singular stochastic delay equations driven by fractional Brownian motion: Dynamics, longtime behaviour, and pathwise stabilitySubjects: Probability (math.PR); Dynamical Systems (math.DS)
We study differential equations with a linear, path dependent drift and discrete delay in the diffusion term driven by a $\gamma$-Hölder rough path for $\gamma > \frac{1}{3}$. We prove well-posedness of these systems and establish a priori bounds for their solutions. Applying these results to an equation driven by a multidimensional fractional Brownian motion with Hurst paramter $H \in \big(\frac{1}{3},1\big)$, we can prove the existence of a Lyapunov spectrum for the linearized system that describes its long-time behaviour. Furthermore, we can deduce the existence of local stable, unstable, and center manifolds for the nonlinear equation. As an application, we can prove that under suitable conditions, the solution exhibits pathwise local exponential stability. En passant, we present new, concise and relatively short proofs for some classical results for $\mathcal{C}_0$-semigroups that build on the Multiplicative Ergodic Theorem formulated on Banach spaces.
- [81] arXiv:2411.04591 [pdf, html, other]
-
Title: Compatible finite element interpolated neural networksSubjects: Numerical Analysis (math.NA)
We extend the finite element interpolated neural network (FEINN) framework from partial differential equations (PDEs) with weak solutions in $H^1$ to PDEs with weak solutions in $H(\textbf{curl})$ or $H(\textbf{div})$. To this end, we consider interpolation trial spaces that satisfy the de Rham Hilbert subcomplex, providing stable and structure-preserving neural network discretisations for a wide variety of PDEs. This approach, coined compatible FEINNs, has been used to accurately approximate the $H(\textbf{curl})$ inner product. We numerically observe that the trained network outperforms finite element solutions by several orders of magnitude for smooth analytical solutions. Furthermore, to showcase the versatility of the method, we demonstrate that compatible FEINNs achieve high accuracy in solving surface PDEs such as the Darcy equation on a sphere. Additionally, the framework can integrate adaptive mesh refinements to effectively solve problems with localised features. We use an adaptive training strategy to train the network on a sequence of progressively adapted meshes. Finally, we compare compatible FEINNs with the adjoint neural network method for solving inverse problems. We consider a one-loop algorithm that trains the neural networks for unknowns and missing parameters using a loss function that includes PDE residual and data misfit terms. The algorithm is applied to identify space-varying physical parameters for the $H(\textbf{curl})$ model problem from partial or noisy observations. We find that compatible FEINNs achieve accuracy and robustness comparable to, if not exceeding, the adjoint method in these scenarios.
- [82] arXiv:2411.04599 [pdf, html, other]
-
Title: Increasing stability for inverse acoustic source problemsSubjects: Analysis of PDEs (math.AP)
In this paper, we show the increasing stability of the inverse source problems for the acoustic wave equation in the full space this http URL goal is to understand increasing stability for wave equation in the time domain. If the time and spatial variables of the source term can be separated with compact support, the increasing stability estimates of the $L^2$-norm of the acoustic source function can be established. The stability estimates consist of two parts: the Lipschitz type data discrepancy and the high time tail of the source functions. As the time increases, the latter decreases and thus becomes negligible.
- [83] arXiv:2411.04600 [pdf, html, other]
-
Title: Polynomial normal forms for ODEs near a center-saddle equilibrium pointSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
In this work we consider a saddle-center equilibrium for general vector fields as well as Hamiltonian systems, and we transform it locally into a polynomial normal form in the saddle variables by a change of coordinates. This problem was first solved by Bronstein and Kopanskii in 1995, as well as by Banyaga, de la Llave and Wayne in 1996 [BLW] in the saddle case. The proof used relies on the deformation method used in [BLW], which in particular implies the preservation of the symplectic form for a Hamiltonian system, although our proof is different and, we believe, simpler. We also show that if the system has sign-symmetry, then the transformation can be chosen so that it also has sign-symmetry. This issue is important in our study of shadowing non-transverse heteroclinic chains (Delshams and Zgliczynski 2018 and 2024) for the toy model systems (TMS) of the cubic defocusing nonlinear Schrödinger equation (NLSE) on $2D$-torus or similar Hamiltonian PDE, which are used to prove energy transfer in these PDE.
- [84] arXiv:2411.04601 [pdf, html, other]
-
Title: Matching Complexes of Outerplanar GraphsSubjects: Combinatorics (math.CO)
An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.
- [85] arXiv:2411.04603 [pdf, html, other]
-
Title: The nonexplosive solution of explosive autoregressionsSubjects: Probability (math.PR)
We establish several features of the stationary solution of purely explosive autoregressions of order d based on nonstandard initial values.
- [86] arXiv:2411.04614 [pdf, html, other]
-
Title: Crossed modules and cohomology of algebras over an operadComments: 21 pagesSubjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT); Category Theory (math.CT)
We introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism between the abelian group of equivalence classes of $n$-crossed modules over a pair $(A,M)$ for an operad $P$ and the $(n+1)^\text{th}$ operadic cohomology group of $A$ with coefficients in $M$.
- [87] arXiv:2411.04618 [pdf, html, other]
-
Title: Upper bounds for the size of ordered $L$-intersecting set systemsSubjects: Combinatorics (math.CO)
A family $\mbox{$\cal F$}=\{F_1,\ldots,F_m\}$ of subsets of $[n]$ is said to be ordered, if there exists an $1\leq r\leq m$ index such that $n\in F_i$ for each $1\leq i\leq r$, $n\notin F_i$ for each $i>r$ and $|F_i|\leq |F_j|$ for each $1\leq i<j\leq m$.
Our main result is a new upper bound for the size of ordered $L$-intersecting set systems. - [88] arXiv:2411.04621 [pdf, html, other]
-
Title: Quasi-positive curvature and projectivitySubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
In this paper, we first prove that a compact Kähler manifold is projective if it satisfies certain quasi-positive curvature conditions, including quasi-positive $S_2^\perp,\, S_2^+,\,\mbox{Ric}_3^\perp, \,\mbox{Ric}_3^+$ or $2$-quasi-positive $\mbox{Ric}_k$. Subsequently, we prove that a compact Kähler manifold with a restricted holonomy group is both projective and rationally conected if it satisfies some non-negative curvature condition, including non-negative $S_2^\perp,\, S_2^+,\,\mbox{Ric}_3^\perp, \,\mbox{Ric}_3^+$ or $2$-non-negative $\mbox{Ric}_k$.
- [89] arXiv:2411.04626 [pdf, html, other]
-
Title: Loop Weierstrass RepresentationComments: 33 pages, 5 figuresSubjects: Differential Geometry (math.DG)
We introduce the Loop Weierstrass Representation for minimal surfaces in Euclidean space and constant mean curvature 1 surfaces in hyperbolic space by applying integral system methods to the Weierstrass and Bryant representations. We unify associated families, dual surfaces and Goursat transformations under the same holomorphic data, we introduce a simple factor dressing for minimal surfaces, and we compute and classify various examples.
- [90] arXiv:2411.04628 [pdf, html, other]
-
Title: Plc pairs with good asymptotic base lociSubjects: Algebraic Geometry (math.AG)
In this paper, we give a characterization of Fano type varieties of plc pairs. This extends a result due to Choi and Park for pklt pairs. Moreover, we show that for a plc pair $(X,\Delta)$, if no plc centers are contained in the augmented base locus $\mathbf{B}_{+}(-(K_X+\Delta))$, then $(X,\Delta)$ admits a good $-(K_X+\Delta)$-minimal model.
- [91] arXiv:2411.04631 [pdf, html, other]
-
Title: Existence of Martingale Solutions to Stochastic Constrained Heat EquationSubjects: Probability (math.PR)
This article extends the work on stochastic constrained heat equation in \cite{brzezniak2020global}. We will show the existence of Martingale solutions to the stochastic-constrained heat equations. The proof is based on compactness, tightness of measure, quadratic variations, and Martingale representation theorem.
- [92] arXiv:2411.04636 [pdf, other]
-
Title: Mirror symmetry, tropical geometry and representation theoryComments: PhD thesis, 153 pages, 57 figures, 2 tablesSubjects: Representation Theory (math.RT)
An ideal filling is a combinatorial object introduced by Judd that amounts to expressing a dominant weight $\lambda$ of $SL_n$ as a rational sum of the positive roots in a canonical way, such that the coefficients satisfy a $\max$ relation. He proved that whenever an ideal filling has integral coefficients it corresponds to a lattice point in the interior of the string polytope which parametrises the canonical basis of the representation with highest weight $\lambda$. The work of Judd makes use of a construction of string polytopes via the theory of geometric crystals, and involves tropicalising the superpotential of the flag variety $SL_n/B$ in certain `string' coordinates. He shows that each ideal filling relates to a positive critical point of the superpotential over the field of Puiseux series, through a careful analysis of the critical point conditions.
In this thesis we give a new interpretation of ideal fillings, together with a parabolic generalisation. For every dominant weight $\lambda$ of $GL_n$, we also define a new family of polytopes in $\mathbb{R}^{R_+}$, where $R_+$ denotes the positive roots of $GL_n$, with one polytope for each reduced expression of the longest element of the Weyl group. These polytopes are related by piecewise-linear transformations which fix the ideal filling associated to $\lambda$ as a point in the interior of each of these polytopes.
Our main technical tool is a new coordinate system in which to express the superpotential, which we call the `ideal' coordinates. We describe explicit transformations between these coordinates and string coordinates in the $GL_n/B$ case.
Finally, we demonstrate a close relation between our new interpretation of ideal fillings and factorisations of Toeplitz matrices into simple root subgroups. - [93] arXiv:2411.04643 [pdf, html, other]
-
Title: A Micro-Macro Decomposition-Based Asymptotic-Preserving Random Feature Method for Multiscale Radiative Transfer EquationsSubjects: Numerical Analysis (math.NA)
This paper introduces the Asymptotic-Preserving Random Feature Method (APRFM) for the efficient resolution of multiscale radiative transfer equations. The APRFM effectively addresses the challenges posed by stiffness and multiscale characteristics inherent in radiative transfer equations through the application of a micro-macro decomposition strategy. This approach decomposes the distribution function into equilibrium and non-equilibrium components, allowing for the approximation of both parts through the random feature method (RFM) within a least squares minimization framework. The proposed method exhibits remarkable robustness across different scales and achieves high accuracy with fewer degrees of freedom and collocation points than the vanilla RFM. Additionally, compared to the deep neural network-based method, our approach offers significant advantages in terms of parameter efficiency and computational speed. These benefits have been substantiated through numerous numerical experiments conducted on both one- and two-dimensional problems.
- [94] arXiv:2411.04647 [pdf, html, other]
-
Title: Neighbors, neighbor graphs and invariant rings in coding theoryComments: 26 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR); Number Theory (math.NT); Rings and Algebras (math.RA)
In the present paper, we discuss the class of Type III and Type IV codes from the perspectives of neighbors. Our investigation analogously extends the results originally presented by Dougherty [8] concerning the neighbor graph of binary self-dual codes. Moreover, as an application of neighbors in invariant theory, we show that the ring of the weight enumerators of Type II code $d_{n}^{+}$ and its neighbors in arbitrary genus is finitely generated. Finally, we obtain a minimal set of generators of this ring up to the space of degree 24 and genus 3.
- [95] arXiv:2411.04651 [pdf, html, other]
-
Title: Well-Posedness and Regularity of the Heat Equation with Robin Boundary Conditions in the Two-Dimensional WedgeSubjects: Analysis of PDEs (math.AP)
Well-posedness and higher regularity of the heat equation with Robin boundary conditions in an unbounded two-dimensional wedge is established in an $L^{2}$-setting of monomially weighted spaces. A mathematical framework is developed which allows to obtain arbitrarily high regularity without a smallness assumption on the opening angle of the wedge. The challenging aspect is that the resolvent problem exhibits two breakings of the scaling invariance, one in the equation and one in the boundary condition.
- [96] arXiv:2411.04661 [pdf, html, other]
-
Title: A novel splitting strategy to accelerate solving generalized eigenvalue problem from Kohn--Sham density functional theoryComments: arXiv admin note: text overlap with arXiv:2310.15651Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
In this paper, we propose a novel eigenpair-splitting method, inspired by the divide-and-conquer strategy, for solving the generalized eigenvalue problem arising from the Kohn-Sham equation. Unlike the commonly used domain decomposition approach in divide-and-conquer, which solves the problem on a series of subdomains, our eigenpair-splitting method focuses on solving a series of subequations defined on the entire domain. This method is realized through the integration of two key techniques: a multi-mesh technique for generating approximate spaces for the subequations, and a soft-locking technique that allows for the independent solution of eigenpairs. Numerical experiments show that the proposed eigenpair-splitting method can dramatically enhance simulation efficiency, and its potential towards practical applications is also demonstrated well through an example of the HOMO-LUMO gap calculation. Furthermore, the optimal strategy for grouping eigenpairs is discussed, and the possible improvements to the proposed method are also outlined.
- [97] arXiv:2411.04668 [pdf, html, other]
-
Title: Automorphisms of Nikulin-type orbifoldsSubjects: Algebraic Geometry (math.AG)
We show that the monodromoy group of Nikulin-type orbifolds is maximal and classify finite order symplectic automorphisms up to deformation in terms of their action on the second integral cohomology group.
- [98] arXiv:2411.04673 [pdf, html, other]
-
Title: Birational geometry of hypersurfaces in products of weighted projective spacesComments: v1, 21 pages. Comments are welcome!Subjects: Algebraic Geometry (math.AG)
We study the birational geometry of hypersurfaces in products of weighted projective spaces, extending results previously established by J. C. Ottem. For most cases where these hypersurfaces are Mori dream spaces, we determine all relevant cones and characterise their birational models, along with the small $\mathbf{Q}$-factorial modifications to them. We also provide a presentation of their Cox ring. Finally, we establish the birational form of the Kawamata-Morrison cone conjecture for terminal Calabi-Yau hypersurfaces in Gorenstein products of weighted projective spaces.
- [99] arXiv:2411.04676 [pdf, html, other]
-
Title: A Comparative Study of Distributed Feedback Optimizing Control ArchitecturesComments: Accepted to IEEE Transactions on Control Systems TechnologySubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper considers the problem of steady-state real-time optimization (RTO) of interconnected systems with a common constraint that couples several units, for example, a shared resource. Such problems are often studied under the context of distributed optimization, where decisions are made locally in each subsystem, and are coordinated to optimize the overall performance. Here, we use distributed feedback-optimizing control framework, where the local systems and the coordinator problems are converted into feedback control problems. This is a powerful scheme that allows us to design feedback control loops, and estimate parameters locally, as well as provide local fast response, allowing different closed-loop time constants for each local subsystem. This paper provides a comparative study of different distributed feedback optimizing control architectures using two case studies. The first case study considers the problem of demand response in a residential energy hub powered by a common renewable energy source, and compares the different feedback optimizing control approaches using simulations. The second case study experimentally validates and compares the different approaches using a lab-scale experimental rig that emulates a subsea oil production network, where the common resource is the gas lift that must be optimally allocated among the wells. %The pros and cons of the different approaches are discussed.
- [100] arXiv:2411.04690 [pdf, html, other]
-
Title: Asymptotic distribution of the derivative of the taut string accompanying Wiener processComments: 27 pagesSubjects: Probability (math.PR)
In the article, we find the asymptotic distribution of the derivative of the taut string accompanying a Wiener process in a strip of fixed width on long time intervals. This enables to find explicit expressions for minimal energy (averaged function of the derivative) of an absolutely continuous function in this strip. For example, for kinetic energy which was considered earlier by Lifshits and Setterqvist, the minimal energy per unit of time tends to $\pi^2/6r^2$ where $r$ is the strip width.
- [101] arXiv:2411.04701 [pdf, html, other]
-
Title: A high-order accurate moving mesh finite element method for the radial Kohn--Sham equationSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
In this paper, we introduce a highly accurate and efficient numerical solver for the radial Kohn--Sham equation. The equation is discretized using a high-order finite element method, with its performance further improved by incorporating a parameter-free moving mesh technique. This approach greatly reduces the number of elements required to achieve the desired precision. In practice, the mesh redistribution involves no more than three steps, ensuring the algorithm remains computationally efficient. Remarkably, with a maximum of $13$ elements, we successfully reproduce the NIST database results for elements with atomic numbers ranging from $1$ to $92$.
- [102] arXiv:2411.04705 [pdf, html, other]
-
Title: What is... Random Algebraic Geometry?Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG); Probability (math.PR)
We survey some ideas from the subject of Random Algebraic Geometry, a field that introduces a probabilistic perspective on classical topics in real algebraic geometry. This offers a modern approach to classical problems, such as Hilbert's Sixteenth Problem.
- [103] arXiv:2411.04716 [pdf, html, other]
-
Title: Non-singular and probability measure-preserving actions of infinite permutation groupsComments: 15 pagesSubjects: Dynamical Systems (math.DS); Logic (math.LO)
We prove two theorems in the ergodic theory of infinite permutation groups. First, generalizing a theorem of Nessonov for the infinite symmetric group, we show that every non-singular action of a non-archimedean, Roelcke precompact, Polish group on a measure space $(\Omega, \mu)$ admits an invariant $\sigma$-finite measure equivalent to $\mu$. Second, we prove the following de Finetti type theorem: if $G \curvearrowright M$ is a primitive permutation group with no algebraicity verifying an additional uniformity assumption, which is automatically satisfied if $G$ is Roelcke precompact, then any $G$-invariant, ergodic probability measure on $Z^M$, where $Z$ is a Polish space, is a product measure.
- [104] arXiv:2411.04725 [pdf, html, other]
-
Title: An example of semiquandle and u-polynomials for flat virtual knots via this semiquandle coloringComments: 20 pages, 12 figuresSubjects: Geometric Topology (math.GT)
Flat virtual links are some variant of links, and semiquandles are counterparts of quandles or biquandles, which axiomize the Reidemeister-like moves. In this paper, we give some example of semiquandle and introduce an invariant for flat virtual knot using it. We also explain that it relates to the u-polynomials for flat virtual knots.
- [105] arXiv:2411.04726 [pdf, html, other]
-
Title: On the positive coefficients of two families of $q$-seriesComments: 20 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Let $S$ be a finite set of pairwise coprime positive integers and $Ax^2+Bx$ be an integer valued polynomial with $A> B\ge 0$. For integers $k\ge 1$ and $n\ge 0$, the coefficients $\gamma_{S,A,B}^k (n)$ are defined as \begin{align*} \prod_{s\in S}\frac{1}{1-q^s}\sum_{j\not\in [-k,k-1]} (-1)^{j+k}q^{Aj^2+Bj}=\sum_{n= 0}^{\infty}\gamma_{S,A,B}^k (n)q^n. \end{align*} In this paper, we investigate the positivity of $\gamma_{S,A,B}^k (n)$ for $|S|=4,5$.
- [106] arXiv:2411.04737 [pdf, html, other]
-
Title: Many-body physics and resolvent algebrasComments: 18 pages, no figuresSubjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
Some advantages of the algebraic approach to many body physics, based on resolvent algebras, are illustrated by the simple example of non-interacting bosons which are confined in compact regions with soft boundaries. It is shown that the dynamics of these systems converges to the spatially homogeneous dynamics for increasing regions and particle numbers and a variety of boundary forces. The corresponding correlation functions of thermal equilibrium states also converge in this limit. Depending on the filling of the regions with particles, the limits can either be spatially homogeneous, including the Bose-Einstein condensates, or they become inhomogeneous with varying, but finite local particle densities. In case of this spontaneous breakdown of the spatial symmetry, the presence of condensates can be established by exhibiting temporal correlations over large temporal distances (memory effects).
- [107] arXiv:2411.04743 [pdf, other]
-
Title: Trace methods for stable categories I: The linear approximation of algebraic K-theorySubjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the former defined in terms of additivity and the latter via trace invariance. We then use these universal properties in order to construct a trace map from laced K-theory to THH, and show that it exhibits THH as the first Goodwillie derivative of laced K-theory in the bimodule direction, generalizing the celebrated identification of stable K-theory by Dundas-McCarthy, a result which is the entryway to trace methods.
- [108] arXiv:2411.04745 [pdf, other]
-
Title: Coarse homological invariants of metric spacesComments: 82 Pages. Comments are welcomeSubjects: Group Theory (math.GR); Metric Geometry (math.MG)
Inspired by group cohomology, we define several coarse topological invariants of metric spaces. We define the coarse cohomological dimension of a metric space, and demonstrate that if G is a countable group, then the coarse cohomological dimension of G as a metric space coincides with the cohomological dimension of $G$ as a group whenever the latter is finite. Extending a result of Sauer, it is shown that coarse cohomological dimension is monotone under coarse embeddings, and hence is invariant under coarse equivalence. We characterise unbounded quasi-trees as quasi-geodesic metric spaces of coarse cohomological dimension one. A classical theorem of Hopf and Freudenthal states that if G is a finitely generated group, then the number of ends of G is either 0, 1, 2 or $\infty$. We prove a higher-dimensional analogue of this result, showing that if F is a field, G is countable, and $H^k(G,FG)=0$ for k<n, then $\dim H^n(G,FG)$=0,1 or $\infty$, significantly extending a result of Farrell from 1975. Moreover, in the case $\dim H^n(G,FG)=1$, then G must be a coarse Poincaré duality group. We prove an analogous result for metric spaces.
- [109] arXiv:2411.04764 [pdf, html, other]
-
Title: On the largest value of the solutions of Erd\H{o}s's last equationComments: 14 pagesSubjects: Number Theory (math.NT)
Let $n$ be a positive integer. The Diophantine equation $n(x_1+x_2+\dots +x_n)=x_1x_2\dots x_n$, $1 \le x_1\le x_2\le \dots \le x_n$ is called Erdős's last equation. We prove that $x_n\to \infty $ as $n\to \infty$ and determine all tuples $(n,x_1,\dots ,x_n)$ with $x_n\le 10$.
- [110] arXiv:2411.04768 [pdf, other]
-
Title: A Practical Example of the Impact of Uncertainty on the One-Dimensional Single-Diode ModelJournal-ref: 2024 IEEE International Symposium on Systems Engineering (ISSE)Subjects: Numerical Analysis (math.NA)
The state of health of solar photovoltaic (PV) systems is assessed by measuring the current-voltage (I-V) curves, which present a collection of three cardinal points: the short-circuit point, the open-circuit point, and the maximum power point. To understand the response of PV systems, the I-V curve is typically modeled using the well-known single-diode model (SDM), which involves five parameters. However, the SDM can be expressed as a function of one parameter when the information of the cardinal points is incorporated into the formulation. This paper presents a methodology to address the uncertainty of the cardinal points on the parameters of the single-diode model based on the mathematical theory. Utilizing the one-dimensional single-diode model as the basis, the study demonstrates that it is possible to include the uncertainty by solving a set of nonlinear equations. The results highlight the feasibility and effectiveness of this approach in accounting for uncertainties in the SDM parameters.
- [111] arXiv:2411.04770 [pdf, html, other]
-
Title: A characterization of graphs $G$ with $m_G(\lambda)= 2c(G) + q_s(G) - 1$Subjects: Spectral Theory (math.SP); Combinatorics (math.CO)
Let $G$ be a simple connected graph. If every pendant path in $G$ is at least $P_s$, we denote that $G\in \mathbb{G}_s$. Furthermore, if every pendant path in $G$ is at least $P_s$ and $g(G) \geq k \geq 3$, where $g(G)$ is the girth of $G$, we say that $G\in \mathbb{G}_{s,k}$. For $G \in \mathbb{G}_s$, let $Q_s(G)$ be the set of vertices in $G$ that are distance $s$ from the pendant vertex, and let $|Q_s(G)| = q_s(G)$. For $G \in \mathbb{G}_s$, Li et al. (2024) proved that when $\lambda$ is not an eigenvalue of $P_s$ and $G$ is neither a cycle nor a starlike tree $T_k$, it holds that $m_G(\lambda) \leq 2c(G) + q_s(G) - 1$ and characterized the extremal graphs when $G$ is a tree. In this article, we characterize the extremal graphs for which $m_G(\lambda) = 2c(G) + q_s(G) - 1$ when $G \in G_{s,s+2}$. Furthermore, we extend some of the results of Li et al. using star sets.
- [112] arXiv:2411.04773 [pdf, html, other]
-
Title: Meeting of squared Bessel flow lines and application to the skew Brownian motionComments: 52 pages, 8 figuresSubjects: Probability (math.PR)
We study the meeting level between squared Bessel (BESQ) flow lines of different dimensions, and show that it gives rise to a jump Markov process. We apply these results to the skew Brownian flow introduced by Burdzy and Chen \cite{burdzy2001local} and Burdzy and Kaspi \cite{burdzy2004lenses}. It allows us to extend the results of \cite{burdzy2001local} and of Gloter and Martinez \cite{gloter2013distance} describing the local time flow of skew Brownian motions. Finally, we compute the Hausdorff dimension of exceptional times revealed by Burdzy and Kaspi \cite{burdzy2004lenses} when skew Brownian flow lines bifurcate.
- [113] arXiv:2411.04775 [pdf, html, other]
-
Title: Learning dynamical systems from data: Gradient-based dictionary optimizationSubjects: Dynamical Systems (math.DS); Machine Learning (cs.LG); Machine Learning (stat.ML)
The Koopman operator plays a crucial role in analyzing the global behavior of dynamical systems. Existing data-driven methods for approximating the Koopman operator or discovering the governing equations of the underlying system typically require a fixed set of basis functions, also called dictionary. The optimal choice of basis functions is highly problem-dependent and often requires domain knowledge. We present a novel gradient descent-based optimization framework for learning suitable and interpretable basis functions from data and show how it can be used in combination with EDMD, SINDy, and PDE-FIND. We illustrate the efficacy of the proposed approach with the aid of various benchmark problems such as the Ornstein-Uhlenbeck process, Chua's circuit, a nonlinear heat equation, as well as protein-folding data.
- [114] arXiv:2411.04778 [pdf, html, other]
-
Title: Coupling between Brownian motion and random walks on the infinite percolation clusterComments: 32 pagesSubjects: Probability (math.PR)
For the supercritical $\mathbb{Z}^d$-Bernoulli percolation ($d \geq 2$), we give a coupling between the random walk on the infinite cluster and its limit Brownian motion, such that the typical distance between the paths during $[0,T]$ is of order $T^{\frac{1}{3}+o(1)}$. This partially answers an open question posed by Biskup [Probab. Surv., 8:294-373, 2011]. The construction of the coupling utilizes the optimal transport tool, and the analysis relies on local CLT and percolation density concentration. As an application, our result implies the law of the iterated logarithm proved by Duminil-Copin [arXiv:0809.4380], and further identifies the limit constant.
- [115] arXiv:2411.04783 [pdf, html, other]
-
Title: Sharp extinction rates for positive solutions of fast diffusion equationsComments: 33 pages, comments welcome!Subjects: Analysis of PDEs (math.AP)
Let $s \in (0, 1]$ and $N > 2s$. It is known that positive solutions to the (fractional) fast diffusion equation $\partial_t u + (-\Delta)^s (u^\frac{N-2s}{N+2s}) = 0$ on $(0, \infty) \times \mathbb R^N$ with regular enough initial datum extinguish after some finite time $T_* > 0$. More precisely, one has $\frac{u(t,\cdot)}{U_{T_*, z, \lambda}(t,\cdot)} - 1 =o(1)$ as $t \to T_*^-$ for a certain extinction profile $U_{T_*, z, \lambda}$, uniformly on $\mathbb R^N$. In this paper, we prove the quantitative bound $ \frac{u(t,\cdot)}{U_{T_*, z, \lambda}(t,\cdot)} - 1 = \mathcal O( (T_*-t)^\frac{N+2s}{N-2s+2})$, in a natural weighted energy norm. The main point here is that the exponent $\frac{N+2s}{N-2s+2}$ is sharp. This is the analogue of a recent result by Bonforte and Figalli (CPAM, 2021) valid for $s = 1$ and bounded domains $\Omega \subset \mathbb R^N$. Our result is new also in the local case $s = 1$. The main obstacle we overcome is the degeneracy of an associated linearized operator, which generically does not occur in the bounded domain setting.
For a smooth bounded domain $\Omega \subset \mathbb R^N$, we prove similar results for positive solutions to $\partial_t u + (-\Delta)^s (u^m) = 0$ on $(0, \infty) \times \Omega$ with Dirichlet boundary conditions when $s \in (0,1)$ and $m \in (\frac{N-2s}{N+2s}, 1)$, under a non-degeneracy assumption on the stationary solution. An important step here is to prove the convergence of the relative error, which is new for this case. - [116] arXiv:2411.04786 [pdf, html, other]
-
Title: The Limits of Determinacy in Higher-Order ArithmeticSubjects: Logic (math.LO)
We prove level-by-level upper and lower bounds on the strength of determinacy for finite differences of sets in the hyperarithmetical hierarchy in terms of subsystems of finite-and transfinite-order arithmetic, extending the Montalbán-Shore theorem to each of the levels of the Borel hierarchy beyond the one they treated. We also prove equivalences between reflection principles for higher-order arithmetic and quantified determinacy axioms, answering two questions of Pacheco and Yokoyama.
- [117] arXiv:2411.04792 [pdf, html, other]
-
Title: $L^p - L^q$ resolvent restriction estimates for submanifoldsSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA); Spectral Theory (math.SP)
We consider restriction analogues on hypersurfaces of the uniform Sobolev inequalities in Kenig, Ruiz, and Sogge and the resolvent estimates in Dos Santos Ferreira, Kenig, and Salo.
- [118] arXiv:2411.04795 [pdf, html, other]
-
Title: Metastable Distributions of Semi-Markov ProcessesSubjects: Probability (math.PR)
In this paper, we consider semi-Markov processes whose transition times and transition probabilities depend on a small parameter $\varepsilon$. Understanding the asymptotic behavior of such processes is needed in order to study the asymptotics of various randomly perturbed dynamical and stochastic systems. The long-time behavior of a semi-Markov process $X^\varepsilon_t$ depends on how the point $(1/\varepsilon, t(\varepsilon))$ approaches infinity. We introduce the notion of complete asymptotic regularity (a certain asymptotic condition on transition probabilities and transition times), originally developed for parameter-dependent Markov chains, which ensures the existence of the metastable distribution for each initial point and a given time scale $t(\varepsilon)$. The result may be viewed as a generalization of the ergodic theorem to the case of parameter-dependent semi-Markov processes.
- [119] arXiv:2411.04800 [pdf, html, other]
-
Title: Configuration spaces of circles in the planeComments: 27 pages, 13 figuresSubjects: Algebraic Topology (math.AT); Group Theory (math.GR); Geometric Topology (math.GT)
We consider the space of all configurations of finitely many (potentially nested) circles in the plane. We prove that this space is aspherical, and compute the fundamental group of each of its connected components. It turns out these fundamental groups are obtained as iterated semdirect products of braid groups, with the structure for each component dictated by a finite rooted tree. These groups can be viewed as "braided" versions of the automorphism groups of such trees. We also discuss connections to statistical mechanics, topological data analysis, and geometric group theory.
- [120] arXiv:2411.04801 [pdf, html, other]
-
Title: Zilber dichotomy for $DCF_{0,m}$Subjects: Logic (math.LO)
We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal to the (algebraically closed) field of constants. This dichotomy is well known for finite-dimensional types; however, a proof that includes the possible case of infinite dimension does not explicitly appear elsewhere.
- [121] arXiv:2411.04802 [pdf, html, other]
-
Title: Dynkin ghost games with asymmetry and consolationSubjects: Probability (math.PR); Optimization and Control (math.OC)
We study a stopping game of preemption type between two players who both act under uncertain competition. In this framework we introduce, and study the effect of, (i) asymmetry of payoffs, allowing e.g. for different investment costs, and (ii) consolation, i.e. partial compensation to the forestalled stopper. In general, this setting does not offer an explicit equilibrium. Instead, we provide a general verification theorem, which we then use to explore various situations in which a solution can be constructed so that an equilibrium is obtained.
- [122] arXiv:2411.04809 [pdf, html, other]
-
Title: Minimax Linear Regulator Problems for Positive SystemsComments: 26 pages, 5 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Exceptional are the instances where explicit solutions to optimal control problems are obtainable. Of particular interest are the explicit solutions derived for minimax problems, which provide a framework for tackling challenges characterized by adversarial conditions and uncertainties. This work builds on recent discrete-time research, extending it to a multi-disturbance minimax linear framework for linear time-invariant systems in continuous time. Disturbances are considered to be bounded by elementwise linear constraints, along with unconstrained positive disturbances. Dynamic programming theory is applied to derive explicit solutions to the Hamilton-Jacobi-Bellman (HJB) equation for both finite and infinite horizons. For the infinite horizon a fixed-point method is proposed to compute the solution of the HJB equation. Moreover, the Linear Regulator (LR) problem is introduced, which, analogous to the Linear-Quadratic Regulator (LQR) problem, can be utilized for the stabilization of positive systems. A linear program formulation for the LR problem is proposed which computes the associated stabilizing controller, it it exists. Additionally necessary and sufficient conditions for minimizing the $l_1$-induced gain of the system are derived and characterized through the disturbance penalty of the cost function of the minimax problem class. We motivate the prospective scalability properties of our framework with a large-scale water management network.
- [123] arXiv:2411.04829 [pdf, html, other]
-
Title: An exploration of connections and curvature in the presence of singularitiesSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
We develop the notions of connections and curvature for general Lie-Rinehart algebras without using smoothness assumptions on the base space. We present situations when a connection exists. E.g., this is the case when the underlying module is finitely generated. We show how the group of module automorphism acts as gauge transformations on the space of connections. When the underlying module is projective we define a version of the Chern character reproducing results of Hideki Ozeki. We discuss various examples of flat connections and the associated Maurer-Cartan equations. We provide examples of Levi-Civita connections on singular varieties and singular differential spaces with non-zero Riemannian curvature. The main observation is that for quotient singularities, even though the metric degenerates along strata, the poles of the Christoffel symbols are removable.
- [124] arXiv:2411.04831 [pdf, html, other]
-
Title: Multiplicities of weakly graded families of idealsComments: 15 pages, Comments are welcomeSubjects: Commutative Algebra (math.AC)
We extend the notion of multiplicity for weakly graded families of ideals. We prove the ``volume=multiplicity" formula and Minkowski inequality for weakly graded families of ideals. For weakly graded families of ideals of the form $\{(I_n:K)\}$ where $\{I_n\}$ is a graded family, we relate this multiplicity with multiplicity of $\{I_n\}$ and provide a necessary and sufficient condition for the equality in Minkowski inequality if $\{I_n\}$ is a bounded filtration. We generalize a result of Rees characterizing the inclusion of ideals with the same multiplicity for weakly graded families of ideals $\{(I_n:K)\}$. We also explore the asymptotic behaviour of $\ell_R(H_{\mathfrak m}^0(R/(I_n:K)))$.
- [125] arXiv:2411.04835 [pdf, html, other]
-
Title: Martin's Axiom and Weak Kurepa HypothesisComments: 15 pagesSubjects: Logic (math.LO)
I show that it is consistent relative to the consistency of a Mahlo cardinal that Martin's axiom holds at $\omega_2$, but the weak Kurepa Hypothesis fails. This answers a question posed by Honzik, Lambie-Hanson and Stejskalová. The consistency result is obtained by constructing a model where the weak Kurepa Hypothesis fails in any c.c.c. forcing extension.
- [126] arXiv:2411.04837 [pdf, html, other]
-
Title: On Sobolev and Besov Spaces With Hybrid RegularitySubjects: Functional Analysis (math.FA)
The present article is concerned with the nonlinear approximation of functions in the Sobolev space H^q with respect to a tensor-product, or hyperbolic wavelet basis on the unit n-cube. Here, q is a real number, which is not necessarily positive. We derive Jackson and Bernstein inequalities to obtain that the approximation classes contain Besov spaces of hybrid regularity. Especially, we show that all functions that can be approximated by classical wavelets are also approximable by tensor-product wavelets at least at the same rate. In particular, this implies that for nonnegative regularity, the classical Besov spaces of regularity q+sn, integrability and weak index t, with 1/t = s + 1/2, are included in the Besov spaces of hybrid regularity with isotropic regularity q and additional mixed regularity s.
- [127] arXiv:2411.04840 [pdf, html, other]
-
Title: Localized KBO with genetic dynamics for multi-modal optimizatSubjects: Numerical Analysis (math.NA)
In this paper, we introduce a novel approach to multi-modal optimization by enhancing the recently developed kinetic-based optimization (KBO) method with genetic dynamics (GKBO). The proposed method targets objective functions with multiple global minima, addressing a critical need in fields like engineering design, machine learning, and bioinformatics. By incorpo rating leader-follower dynamics and localized interactions, the algorithm efficiently navigates high-dimensional search spaces to detect multiple optimal solutions. After providing a binary description, a mean-field approximation is derived, and different numerical experiments are conducted to validate the results.
- [128] arXiv:2411.04842 [pdf, html, other]
-
Title: Online learning in bifurcating dynamic systems via SINDy and Kalman filteringComments: 20 pages, 8 figuresSubjects: Dynamical Systems (math.DS)
We propose the use of the Extended Kalman Filter (EKF) for online data assimilation and update of a dynamic model, preliminary identified through the Sparse Identification of Nonlinear Dynamics (SINDy). This data-driven technique may avoid biases due to incorrect modelling assumptions and exploits SINDy to approximate the system dynamics leveraging a predefined library of functions, where active terms are selected and weighted by a sparse set of coefficients. This results in a physically-sound and interpretable dynamic model allowing to reduce epistemic uncertainty often affecting machine learning approaches. Treating the SINDy model coefficients as random variables, we propose to update them while acquiring (possibly noisy) system measurements, thus enabling the online identification of time-varying systems. These changes can stem from, e.g., varying operational conditions or unforeseen events. The EKF performs model adaptation through joint state-parameters estimation, with the Jacobian matrices required to computed the model sensitivity inexpensively evaluated from the SINDy model formulation. The effectiveness of this approach is demonstrated through three case studies: (i) a Lokta-Volterra model in which all parameters simultaneously evolve during the observation period; (ii) a Selkov model where the system undergoes a bifurcation not seen during the SINDy training; (iii) a MEMS arch exhibiting a 1:2 internal resonance. The ability of EKF of recovering inactivated functional terms from the SINDy library, or discarding unnecessary contribution, is also highlighted. Based on the presented applications, this method shows strong promise for handling time-varying nonlinear dynamic systems possibly experiencing bifurcating behaviours.
- [129] arXiv:2411.04845 [pdf, html, other]
-
Title: Asymptotic regularity of a generalised stochastic Halpern scheme with applicationsComments: 29 pagesSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Probability (math.PR)
We provide abstract, general and highly uniform rates of asymptotic regularity for a generalized stochastic Halpern-style iteration, which incorporates a second mapping in the style of a Krasnoselskii-Mann iteration. This iteration is general in two ways: First, it incorporates stochasticity in a completely abstract way rather than fixing a sampling method; secondly, it includes as special cases stochastic versions of various schemes from the optimization literature, including Halpern's iteration as well as a Krasnoselskii-Mann iteration with Tikhonov regularization terms in the sense of Boţ, Csetnek and Meier. For these particular cases, we in particular obtain linear rates of asymptotic regularity, matching (or improving) the currently best known rates for these iterations in stochastic optimization, and quadratic rates of asymptotic regularity are obtained in the context of inner product spaces for the general iteration. We utilize these rates to give bounds on the oracle complexity of such iterations under suitable variance assumptions and batching strategies, again presented in an abstract style. Finally, we sketch how the schemes presented here can be instantiated in the context of reinforcement learning to yield novel methods for Q-learning.
- [130] arXiv:2411.04853 [pdf, other]
-
Title: The Group Cohomology of Peroidized Hypertoric VarietyComments: 31 pages, 5 figuresSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
To a graph $\Gamma$, one can associate a hypertoric variety $\mathcal{M}(\Gamma)$ and its multiplicative version $\mathcal{M}^{\mathrm{mul}}(\Gamma)$. It was shown in [DMS24] that the cohomology of $\mathcal{M}^{\mathrm{mul}}(\Gamma)$ is computed by the CKS complex, which is a finite dimensional complex attached to $\Gamma$. The multiplicative hypertoric variety can be realized as the quotient of a periodized hypertoric variety by a lattice action. In this paper, we show that the group cohomology of the lattice with coefficients in the cohomology of the prequotient is isomorphic to the cohomology of the CKS complex using a spectral sequence argument. Therefore, the group cohomology can serve as an alternative way to compute the cohomology of multiplicative hypertoric varieties.
We also found graph-theoretic descriptions for the Euler characteristics of the graded pieces in a certain decomposition of $\mathrm{H}^\bullet(\mathcal{M}^{\mathrm{mul}}(\Gamma))$. - [131] arXiv:2411.04856 [pdf, html, other]
-
Title: Born Lie algebrasComments: 22 pages. Comments are welcome!Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
We show that every Born Lie algebra can be obtained by the bicross product construction starting from two pseudo-Riemannian Lie algebras. We then obtain a classification of all Lie algebras up to dimension four and all six-dimensional nilpotent Lie algebras admitting an integrable Born structure. Finally, we study the curvature properties of the pseudo-Riemannian metrics of the integrable Born structures obtained in our classification results.
- [132] arXiv:2411.04860 [pdf, html, other]
-
Title: Hyperrigidity II: $R$-dilations and idealsSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
In this paper, we study hyperrigidity for $C^*$-algebras. The absence of the unit in hyperrigid set creates the possibility of the existence of $R$-dilations with non-isometric $R$. This gives rise to the study of when a hyperrigid set is annihilated by a state, or more generally, by a UCP map, which in turn, is closely related to the concept of rigidity at $0$ introduced by G. Salomon, who studied hyperrigid subsets of Cuntz-Krieger algebras. Moreover, we obtain a characterization of hyperrigid sets analogous to that obtained by Hansen and Pedersen for operator convex functions.
- [133] arXiv:2411.04870 [pdf, other]
-
Title: Manifold Diagrams for Higher CategoriesComments: originally submitted version, before correctionsSubjects: Algebraic Topology (math.AT); Logic in Computer Science (cs.LO); Category Theory (math.CT)
We develop a graphical calculus of manifold diagrams which generalises string and surface diagrams to arbitrary dimensions. Manifold diagrams are pasting diagrams for $(\infty, n)$-categories that admit a semi-strict composition operation for which associativity and unitality is strict. The weak interchange law satisfied by composition of manifold diagrams is determined geometrically through isotopies of diagrams. By building upon framed combinatorial topology, we can classify critical points in isotopies at which the arrangement of cells changes. This allows us to represent manifold diagrams combinatorially and use them as shapes with which to probe $(\infty, n)$-categories, presented as $n$-fold Segal spaces. Moreover, for any system of labels for the singularities in a manifold diagram, we show how to generate a free $(\infty, n)$-category.
- [134] arXiv:2411.04875 [pdf, html, other]
-
Title: Upper bounds of numerical radius and $a$-numerical radius in $\mathcal{C}^*$-algebra setting using Orlicz functionsSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
In this paper, several significant upper bounds for the numerical radius and $a$-numerical radius of an element in a $\mathcal{C}^*$-algebra are obtained using Orlicz functions. Many well-known results are obtained from our findings, depending on specific choices of Orlicz functions.
- [135] arXiv:2411.04881 [pdf, html, other]
-
Title: Some results on $\sigma_{t}$-irregularitySubjects: Combinatorics (math.CO)
The $\sigma_{t}$-irregularity (or sigma total index) is a graph invariant which is defined as $\sigma_{t}(G)=\sum_{\{u,v\}\subseteq V(G)}(d(u)-d(v))^{2},$ where $d(z)$ denotes the degree of $z$. This irregularity measure was proposed by R\' {e}ti [Appl. Math. Comput. 344-345 (2019) 107-115], and recently rediscovered by Dimitrov and Stevanović [Appl. Math. Comput. 441 (2023) 127709]. In this paper we remark that $\sigma_{t}(G)=n^{2}\cdot Var(G)$, where $Var(G)$ is the degree variance of the graph. Based on this observation, we characterize irregular graphs with maximum $\sigma_{t}$-irregularity. We show that among all connected graphs on $n$ vertices, the split graphs $S_{\lceil\frac{n}{4}\rceil, \lfloor\frac{3n}{4}\rfloor }$ and $S_{\lfloor\frac{n}{4}\rfloor, \lceil\frac{3n}{4}\rceil }$ have the maximum $\sigma_{t}$-irregularity, and among all complete bipartite graphs on $n$ vertices, either the complete bipartite graph $K_{\lfloor\frac{n}{4}(2-\sqrt{2})\rfloor, \lceil\frac{n}{4}(2+\sqrt{2})\rceil }$ or $K_{\lceil\frac{n}{4}(2-\sqrt{2})\rceil, \lfloor\frac{n}{4}(2+\sqrt{2})\rfloor }$ has the maximum sigma total index. Moreover, various upper and lower bounds for $\sigma_{t}$-irregularity are provided; in this direction we give a relation between the graph energy $\mathcal{E}(G)$ and sigma total index $\sigma_{t}(G)$ and give another proof of two results by Dimitrov and Stevanović. Applying Fiedler's characterization of the largest and the second smallest Laplacian eigenvalue of the graph, we also establish new relationships between $\sigma_{t}$ and $\sigma$. We conclude the paper with two conjectures.
- [136] arXiv:2411.04888 [pdf, html, other]
-
Title: Energy Dissipation and Regularity in Quaternionic Fluid Dynamics using Sobolev-Besov SpacesComments: 13 pagesSubjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.flu-dyn)
This study investigates the dynamics of incompressible fluid flows through quaternionic variables integrated within Sobolev-Besov spaces. Traditional mathematical models for fluid dynamics often employ Sobolev spaces to analyze the regularity of the solution to the Navier-Stokes equations. However, with the unique ability of Besov spaces to provide localized frequency analysis and handle high-frequency behaviors, these spaces offer a refined approach to address complex fluid phenomena such as turbulence and bifurcation. Quaternionic analysis further enhances this approach by representing three-dimensional rotations directly within the mathematical framework. The author presents two new theorems to advance the study of regularity and energy dissipation in fluid systems. The first theorem demonstrates that energy dissipation in quaternionic fluid systems is dominated by the higher-frequency component in Besov spaces, with contributions decaying at a rate proportional to the frequency of the quaternionic component. The second theorem provides conditions for regularity and existence of solutions in quaternionic fluid systems with external forces. By integrating these hypercomplex structures with Sobolev-Besov spaces, our work offers a new mathematically rigorous framework capable of addressing frequency-specific dissipation patterns and rotational symmetries in turbulent flows. The findings contribute to fundamental questions in fluid dynamics, particularly by improving our understanding of high Reynolds number flows, energy cascade behaviors, and quaternionic bifurcation. This framework therefore paves the way for future research on regularity in complex fluid dynamics.
- [137] arXiv:2411.04897 [pdf, other]
-
Title: Minimal modularity lifting theorems for definite special orthogonal groupsSubjects: Number Theory (math.NT)
Let $G$ be a definite special orthogonal group over a totally real number field $F$. The work of Arthur associates Galois representations to automorphic representations of $G(\mathbb{A}_F)$ under certain conditions. In this article, we apply the method of Wiles and Taylor-Wiles to $G$ and establish minimal modularity lifting theorems. This is based on a careful study of smooth representations of and Hecke algebras on $G(F_v)$ where $G$ is split at $v$.
- [138] arXiv:2411.04903 [pdf, html, other]
-
Title: A note on $\varepsilon$-stabilityComments: 15 pagesSubjects: Logic (math.LO)
We study $\varepsilon$-stability in continuous logic. We first consider stability in a model, where we obtain a definability of types result with a better approximation than that in the literature. We also prove forking symmetry for $\varepsilon$-stability and briefly discuss finitely satisfiable types. We then do a short survey of $\varepsilon$-stability in a theory. Finally, we consider the map that takes each formula to its "degree" of stability in a given theory and show that it is a seminorm. All of this is done in the context of a first-order formalism that allows predicates to take values in arbitrary compact metric spaces.
- [139] arXiv:2411.04908 [pdf, html, other]
-
Title: Gluing methods for quantitative stability of optimal transport mapsSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We establish quantitative stability bounds for the quadratic optimal transport map $T_\mu$ between a fixed probability density $\rho$ and a probability measure $\mu$ on $\mathbb{R}^d$. Under general assumptions on $\rho$, we prove that the map $\mu\mapsto T_\mu$ is bi-Hölder continuous, with dimension-free Hölder exponents. The linearized optimal transport metric $W_{2,\rho}(\mu,\nu)=\|T_\mu-T_\nu\|_{L^2(\rho)}$ is therefore bi-Hölder equivalent to the $2$-Wasserstein distance, which justifies its use in applications.
We show this property in the following cases: (i) for any log-concave density $\rho$ with full support in $\mathbb{R}^d$, and any log-bounded perturbation thereof; (ii) for $\rho$ bounded away from $0$ and $+\infty$ on a John domain (e.g., on a bounded Lipschitz domain), while the only previously known result of this type assumed convexity of the domain; (iii) for some important families of probability densities on bounded domains which decay or blow-up polynomially near the boundary. Concerning the sharpness of point (ii), we also provide examples of non-John domains for which the Brenier potentials do not satisfy any Hölder stability estimate.
Our proofs rely on local variance inequalities for the Brenier potentials in small convex subsets of the support of $\rho$, which are glued together to deduce a global variance inequality. This gluing argument is based on two different strategies of independent interest: one of them leverages the properties of the Whitney decomposition in bounded domains, the other one relies on spectral graph theory. - [140] arXiv:2411.04910 [pdf, html, other]
-
Title: Optimal vaccination strategies in the control of an infectious disease: a SEIRV model for administration of two vaccinesSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
In this paper, we study the optimal control for an SEIR model adapted to the vaccination strategy of susceptible individuals. There are factors associated with a vaccination campaign that make this strategy not only a public health issue but also an economic one. In this case, optimal control is important as it minimizes implementation costs. We consider the availability of two vaccines with different efficacy levels, and the control indicates when each vaccine should be used. The optimal strategy specifies in all cases how vaccine purchases should be distributed. For similar efficacy values, we perform a sensitivity analysis on parameters that depend on the intrinsic characteristics of the vaccines. Additionally, we investigate the behavior of the number of infections under the optimal vaccination strategy.
- [141] arXiv:2411.04911 [pdf, html, other]
-
Title: When is a CPD weighted shift similar to a subnormal operator?Comments: 29 pagesSubjects: Functional Analysis (math.FA)
We prove that a CPD unilateral weighted shift $W_{\lambda}$ of type III is a quasi-affine transform of the operator $M_z$ of multiplication by the independent variable on the $L^2(\rho)$-closure of analytic complex polynomials on the complex plane, where $\rho$ is a measure precisely determined by $W_{\lambda}$. By using this model, we provide necessary and sufficient conditions for similarity of $W_{\lambda}$ to $M_z$. Necessary conditions for a CPD operator to be similar to a subnormal one are given. A variety of concrete classes of non-subnormal CPD unilateral weighted shifts similar to subnormal operators are established.
- [142] arXiv:2411.04916 [pdf, html, other]
-
Title: Improved kissing numbers in seventeen through twenty-one dimensionsComments: 13 pagesSubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
We prove that the kissing numbers in 17, 18, 19, 20, and 21 dimensions are at least 5730, 7654, 11692, 19448, and 29768, respectively. The previous records were set by Leech in 1967, and we improve on them by 384, 256, 1024, 2048, and 2048. Unlike the previous constructions, the new configurations are not cross sections of the Leech lattice minimal vectors. Instead, they are constructed by modifying the signs in the lattice vectors to open up more space for additional spheres.
- [143] arXiv:2411.04917 [pdf, html, other]
-
Title: Optimal control under unknown intensity with Bayesian learningSubjects: Optimization and Control (math.OC); Probability (math.PR)
We consider an optimal control problem inspired by neuroscience, where the dynamics is driven by a Poisson process with a controlled stochastic intensity and an uncertain parameter. Given a prior distribution for the unknown parameter, we describe its evolution according to Bayes' rule. We reformulate the optimization problem using Girsanov's theorem and establish a dynamic programming principle. Finally, we characterize the value function as the unique viscosity solution to a finite-dimensional Hamilton-Jacobi-Bellman equation, which can be solved numerically.
- [144] arXiv:2411.04921 [pdf, html, other]
-
Title: A geometric boundary for the moduli space of grafted surfacesComments: 50 pages, 8 figures. Comments welcome!Subjects: Geometric Topology (math.GT)
Let $S$ be a closed orientable surface of genus at least two. We introduce a bordification of the moduli space $\mathcal{PT}(S)$ of complex projective structures, with a boundary consisting of projective classes of half-translation surfaces. Thurston established an equivalence between complex projective structures and hyperbolic surfaces grafted along a measured lamination, leading to a homeomorphism $\mathcal{PT}(S) \cong \mathcal{T}(S) \times \mathcal{ML}(S)$. Our bordification is geometric in the sense that convergence to points on the boundary corresponds to the geometric convergence of grafted surfaces to half-translation surfaces (up to rescaling). This result relies on recent work by Calderon and Farre on the orthogeodesic foliation construction. Finally, we introduce a change of perspective, viewing grafted surfaces as a deformation (which we term "inflation") of half-translation surfaces, consisting of inserting negatively curved regions.
- [145] arXiv:2411.04922 [pdf, html, other]
-
Title: Existence and Uniqueness of Solutions to the Generalized Hydrodynamics EquationComments: 50 pagesSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech)
The generalized hydrodynamics (GHD) equation is the equivalent of the Euler equations of hydrodynamics for integrable models. Systems of hyperbolic equations such as the Euler equations usually develop shocks and are plagued by problems of uniqueness. We establish for the first time the existence and uniqueness of solutions to the full GHD equation and the absence of shocks, from a large class of initial conditions with bounded occupation function. We assume only absolute integrability of the two-body scattering shift. In applications to quantum models of fermionic type, this includes all commonly used physical initial states, such as locally thermal states and zero-entropy states. We show in particular that differentiable initial conditions give differentiable solutions at all times and that weak initial conditions such as the Riemann problem have unique weak solutions which preserve entropy. For this purpose, we write the GHD equation as a new fixed-point problem (announced in a companion paper). We show that the fixed point exists, is unique, and is approached, under an iterative solution procedure, in the Banach topology on functions of momenta.
- [146] arXiv:2411.04929 [pdf, other]
-
Title: Study of the stability of solutions for perturbed random differential systemsSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP)
In this research, we define two concepts; random matrix and mean square stability. Studying the stability of solutions for perturbed random differential systems is included. Partial moments of the second order were verified, which determines the stability conditions of the studied systems, ensuring stability through Lyapunov functions. The differential equations that determine Lyapunov functions were obtained. The necessary conditions for Lyapunov matrices to ensure asymptotic stability were established.
- [147] arXiv:2411.04938 [pdf, html, other]
-
Title: Baby Mandelbrot sets and Spines in some one-dimensional subspaces of the parameter space for generalized McMullen MapsComments: 38 pages, 13 figures with 32 subfiguresSubjects: Dynamical Systems (math.DS)
For the family of complex rational functions of the form $R_{n,c,a}(z) = z^n + \dfrac{a}{z^n}+c$,
known as ``Generalized McMullen maps'', for $a\neq 0$ and $n \geq 3$ fixed, we study the boundedness locus in some one-dimensional slices of the $(a,c)$-parameter space, by fixing a parameter or imposing a relation.
First, if we fix $c$ with $|c|\geq 6$ while allowing $a$ to vary, assuming a modest lower bound on $n$ in terms of $|c|$, we establish the location in the $a$-plane of $n$ ``baby" Mandelbrot sets, that is, homeomorphic copies of the original Mandelbrot set. We use polynomial-like maps, introduced by Douady and Hubbard and applied for the subfamily $R_{n,a,0}$ by Devaney.
Second, for slices in which $c=ta$, we again observe what look like baby Mandelbrot sets within these slices, and begin the study of this subfamily by establishing a neighborhood containing the boundedness locus. - [148] arXiv:2411.04946 [pdf, html, other]
-
Title: SPGD: Steepest Perturbed Gradient Descent OptimizationComments: 28 pages, 26 figures, submitted to Journal of Mechanical DesignSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Mathematical Physics (math-ph)
Optimization algorithms are pivotal in advancing various scientific and industrial fields but often encounter obstacles such as trapping in local minima, saddle points, and plateaus (flat regions), which makes the convergence to reasonable or near-optimal solutions particularly challenging. This paper presents the Steepest Perturbed Gradient Descent (SPGD), a novel algorithm that innovatively combines the principles of the gradient descent method with periodic uniform perturbation sampling to effectively circumvent these impediments and lead to better solutions whenever possible. SPGD is distinctively designed to generate a set of candidate solutions and select the one exhibiting the steepest loss difference relative to the current solution. It enhances the traditional gradient descent approach by integrating a strategic exploration mechanism that significantly increases the likelihood of escaping sub-optimal local minima and navigating complex optimization landscapes effectively. Our approach not only retains the directed efficiency of gradient descent but also leverages the exploratory benefits of stochastic perturbations, thus enabling a more comprehensive search for global optima across diverse problem spaces. We demonstrate the efficacy of SPGD in solving the 3D component packing problem, an NP-hard challenge. Preliminary results show a substantial improvement over four established methods, particularly on response surfaces with complex topographies and in multidimensional non-convex continuous optimization problems. Comparative analyses with established 2D benchmark functions highlight SPGD's superior performance, showcasing its ability to navigate complex optimization landscapes. These results emphasize SPGD's potential as a versatile tool for a wide range of optimization problems.
- [149] arXiv:2411.04949 [pdf, html, other]
-
Title: Global Optimal Closed-Form Solutions for Intelligent Surfaces With Mutual Coupling: Is Mutual Coupling Detrimental or Beneficial?Comments: Submitted to IEEE for publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Reconfigurable Intelligent Surface (RIS) is a breakthrough technology enabling the dynamic control of the propagation environment in wireless communications through programmable surfaces. To improve the flexibility of conventional diagonal RIS (D-RIS), beyond diagonal RIS (BD-RIS) has emerged as a family of more general RIS architectures. However, D-RIS and BD-RIS have been commonly explored neglecting mutual coupling effects, while the global optimization of RIS with mutual coupling, its performance limits, and scaling laws remain unexplored. This study addresses these gaps by deriving global optimal closed-form solutions for BD-RIS with mutual coupling to maximize the channel gain, specifically fully- and tree-connected RISs. Besides, we provide the expression of the maximum channel gain achievable in the presence of mutual coupling and its scaling law in closed form. By using the derived scaling laws, we analytically prove that mutual coupling increases the channel gain on average under Rayleigh fading channels. Our theoretical analysis, confirmed by numerical simulations, shows that both fully- and tree-connected RISs with mutual coupling achieve the same channel gain upper bound when optimized with the proposed global optimal solutions. Furthermore, we observe that a mutual coupling-unaware optimization of RIS can cause a channel gain degradation of up to 5 dB.
- [150] arXiv:2411.04959 [pdf, html, other]
-
Title: Bounding the dimension of exceptional sets for orthogonal projectionsSubjects: Classical Analysis and ODEs (math.CA)
It is well known that if $A\subseteq\R^n$ is an analytic set of Hausdorff dimension $a$, then $\dim_H(\pi_VA)=\min\{a,k\}$ for a.e. $V\in G(n,k)$, where $\pi_V$ is the orthogonal projection of $A$ onto $V$. In this paper we study how large the exceptional set
\begin{center}
$\{V\in G(n,k) \mid \dim_H(\pi_V A) < s\}$ \end{center} can be for a given $s\le\min\{a,k\}.$ We improve previously known estimates on the dimension of the exceptional set, and we show that our estimates are sharp for $k=1$ and for $k=n-1$. - [151] arXiv:2411.04971 [pdf, html, other]
-
Title: A non-homogeneous generalization of Burgers equationsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
In this article we study generalizations of the inhomogeneous Burgers equation. First at the operator level, in the sense that we replace classical differential derivations by operators with certain properties, and then we increase the spatial dimensions of the Burgers equation, which is usually studied in one spatial dimension. This allows us, in one dimension, to find mathematical relationships between solutions of hyperbolic Brownian motion and the Burgers equations, which usually study the behaviour of mechanical fluids, and also, through appropriate transformations, to obtain in some cases exact solutions that depend on Hermite polynomials composed of appropriate functions. In the multi-dimensional case, this generalization allows us, by means of the method of invariant spaces, to find exact solutions on Riemannian and pseudo-Riemannian varieties, such as Schwarzschild and Ricci Solitons space, with time dictated by fractional derivatives, such as a Caputo-type operator of fractional evolution.
- [152] arXiv:2411.04973 [pdf, html, other]
-
Title: Siegel Vectors for Nongeneric Depth Zero Supercuspidals of $GSp(4)$Subjects: Representation Theory (math.RT)
Let $F$ be a non-archimedean local field of characteristic zero. If $F$ has even residual characteristic, we assume $F/\mathbb{Q}_2$ is unramified. Let $V$ be a depth zero, irreducible, nongeneric supercuspidal representation of $GSp(4, F)$. We calculate the dimensions of the spaces of Siegel-invariant vectors in $V$ of level $\mathfrak{p}^n$ for all $n\geq0$.
- [153] arXiv:2411.04988 [pdf, html, other]
-
Title: A relation between isoperimetry and total variation decay with applications to graphs of non-negative Ollivier-Ricci curvatureComments: 12 pagesSubjects: Probability (math.PR); Differential Geometry (math.DG)
We prove an inequality relating the isoperimetric profile of a graph to the decay of the random walk total variation distance $\sup_{x\sim y} ||P^n(x,\cdot)-P^n(y,\cdot)||_{\mathrm{TV}}$. This inequality implies a quantitative version of a theorem of Salez (GAFA 2022) stating that bounded-degree graphs of non-negative Ollivier-Ricci curvature cannot be expanders. Along the way, we prove universal upper-tail estimates for the random walk displacement $d(X_0,X_n)$ and information $-\log P^n(X_0,X_n)$, which may be of independent interest.
New submissions (showing 153 of 153 entries)
- [154] arXiv:2411.04166 (cross-list from stat.ME) [pdf, html, other]
-
Title: Kernel density estimation with polyspherical data and its applicationsComments: 20 pages, 4 figures. Supplementary material: 23 pages, 8 figures, 1 tableSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
A kernel density estimator for data on the polysphere $\mathbb{S}^{d_1}\times\cdots\times\mathbb{S}^{d_r}$, with $r,d_1,\ldots,d_r\geq 1$, is presented in this paper. We derive the main asymptotic properties of the estimator, including mean square error, normality, and optimal bandwidths. We address the kernel theory of the estimator beyond the von Mises-Fisher kernel, introducing new kernels that are more efficient and investigating normalizing constants, moments, and sampling methods thereof. Plug-in and cross-validated bandwidth selectors are also obtained. As a spin-off of the kernel density estimator, we propose a nonparametric $k$-sample test based on the Jensen-Shannon divergence. Numerical experiments illuminate the asymptotic theory of the kernel density estimator and demonstrate the superior performance of the $k$-sample test with respect to parametric alternatives in certain scenarios. Our smoothing methodology is applied to the analysis of the morphology of a sample of hippocampi of infants embedded on the high-dimensional polysphere $(\mathbb{S}^2)^{168}$ via skeletal representations ($s$-reps).
- [155] arXiv:2411.04182 (cross-list from cond-mat.str-el) [pdf, html, other]
-
Title: Non-invertible duality and symmetry topological order of one-dimensional lattice models with spatially modulated symmetryComments: 7 pages, 2 figuresSubjects: Strongly Correlated Electrons (cond-mat.str-el); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We investigate the interplay between self-duality and spatially modulated symmetry of generalized $N$-state clock models, which include the transverse-field Ising model and ordinary $N$-state clock models as special cases. The spatially modulated symmetry of the model becomes trivial when the model's parameters satisfy a specific number-theoretic relation. We find that the duality is non-invertible when the spatially modulated symmetry remains nontrivial, and show that this non-invertibility is resolved by introducing a generalized $\mathbb{Z}_N$ toric code, which manifests ultraviolet/infrared mixing, as the bulk topological order. In this framework, the boundary duality transformation corresponds to the boundary action of a bulk symmetry transformation, with the endpoint of the bulk symmetry defect realizing the boundary duality defect. Our results illuminate not only a holographic perspective on dualities but also a relationship between spatially modulated symmetry and ultraviolet/infrared mixing in one higher dimension.
- [156] arXiv:2411.04183 (cross-list from hep-th) [pdf, html, other]
-
Title: Superadditivity in large $N$ field theories and performance of quantum tasksComments: 67 pages, 18 figuresSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Field theories exhibit dramatic changes in the structure of their operator algebras in the limit where the number of local degrees of freedom ($N$) becomes infinite. An important example of this is that the algebras associated to local subregions may not be additively generated in the limit. We investigate examples and explore the consequences of this ``superadditivity'' phenomenon in large $N$ field theories and holographic systems. In holographic examples we find cases in which superadditive algebras can probe the black hole interior, while the additive algebra cannot. We also discuss how superaddivity explains the sucess of quantum error correction models of holography. Finally we demonstrate how superadditivity is intimately related to the ability of holographic field theories to perform quantum tasks that would naievely be impossible. We argue that the connected wedge theorems (CWTs) of May, Penington, Sorce, and Yoshida, which characterize holographic protocols for quantum tasks, can be re-phrased in terms of superadditive algebras and use this re-phrasing to conjecture a generalization of the CWTs that is an equivalence statement.
- [157] arXiv:2411.04194 (cross-list from hep-th) [pdf, other]
-
Title: Tannakian QFT: from spark algebras to quantum groupsSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)
We propose a nonperturbative construction of Hopf algebras that represent categories of line operators in topological quantum field theory, in terms of semi-extended operators (spark algebras) on pairs of transverse topological boundary conditions. The construction is a direct implementation of Tannakian formalism in QFT. Focusing on d=3 dimensional theories, we find topological definitions of R-matrices, ribbon twists, and the Drinfeld double construction for generalized quantum groups. We illustrate our construction in finite-group gauge theory, and apply it to obtain new results for B-twisted 3d $\mathcal{N}=4$ gauge theories, a.k.a. equivariant Rozansky-Witten theory, or supergroup BF theory (including ordinary BF theory with compact gauge group). We reformulate our construction mathematically in terms of abelian and dg tensor categories, and discuss connections with Koszul duality.
- [158] arXiv:2411.04270 (cross-list from quant-ph) [pdf, html, other]
-
Title: Optimizing Multi-level Magic State Factories for Fault-Tolerant Quantum ArchitecturesAllyson Silva, Artur Scherer, Zak Webb, Abdullah Khalid, Bohdan Kulchytskyy, Mia Kramer, Kevin Nguyen, Xiangzhou Kong, Gebremedhin A. Dagnew, Yumeng Wang, Huy Anh Nguyen, Katiemarie Olfert, Pooya RonaghComments: 21 pages, 6 figuresSubjects: Quantum Physics (quant-ph); Hardware Architecture (cs.AR); Optimization and Control (math.OC)
We propose a novel technique for optimizing a modular fault-tolerant quantum computing architecture, taking into account any desired space-time trade--offs between the number of physical qubits and the fault-tolerant execution time of a quantum algorithm. We consider a concept architecture comprising a dedicated zone as a multi-level magic state factory and a core processor for efficient logical operations, forming a supply chain network for production and consumption of magic states. Using a heuristic algorithm, we solve the multi-objective optimization problem of minimizing space and time subject to a user-defined error budget for the success of the computation, taking the performance of various fault-tolerant protocols such as quantum memory, state preparation, magic state distillation, code growth, and logical operations into account. As an application, we show that physical quantum resource estimation reduces to a simple model involving a small number of key parameters, namely, the circuit volume, the error prefactors ($\mu$) and error suppression rates ($\Lambda$) of the fault-tolerant protocols, and an allowed slowdown factor ($\beta$). We show that, in the proposed architecture, $10^5$--$10^8$ physical qubits are required for quantum algorithms with $T$-counts in the range $10^6$--$10^{15}$ and logical qubit counts in the range $10^2$--$10^4$, when run on quantum computers with quantum memory $\Lambda$ in the range 3--10, for all slowdown factors $\beta \geq 0.2$.
- [159] arXiv:2411.04278 (cross-list from cs.LG) [pdf, html, other]
-
Title: The Recurrent Sticky Hierarchical Dirichlet Process Hidden Markov ModelSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS); Machine Learning (stat.ML)
The Hierarchical Dirichlet Process Hidden Markov Model (HDP-HMM) is a natural Bayesian nonparametric extension of the classical Hidden Markov Model for learning from (spatio-)temporal data. A sticky HDP-HMM has been proposed to strengthen the self-persistence probability in the HDP-HMM. Then, disentangled sticky HDP-HMM has been proposed to disentangle the strength of the self-persistence prior and transition prior. However, the sticky HDP-HMM assumes that the self-persistence probability is stationary, limiting its expressiveness. Here, we build on previous work on sticky HDP-HMM and disentangled sticky HDP-HMM, developing a more general model: the recurrent sticky HDP-HMM (RS-HDP-HMM). We develop a novel Gibbs sampling strategy for efficient inference in this model. We show that RS-HDP-HMM outperforms disentangled sticky HDP-HMM, sticky HDP-HMM, and HDP-HMM in both synthetic and real data segmentation.
- [160] arXiv:2411.04280 (cross-list from cs.LG) [pdf, html, other]
-
Title: Bayesian Inference in Recurrent Explicit Duration Switching Linear Dynamical SystemsSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS); Machine Learning (stat.ML)
In this paper, we propose a novel model called Recurrent Explicit Duration Switching Linear Dynamical Systems (REDSLDS) that incorporates recurrent explicit duration variables into the rSLDS model. We also propose an inference and learning scheme that involves the use of Pólya-gamma augmentation. We demonstrate the improved segmentation capabilities of our model on three benchmark datasets, including two quantitative datasets and one qualitative dataset.
- [161] arXiv:2411.04297 (cross-list from q-bio.PE) [pdf, html, other]
-
Title: Dynamics of a Tuberculosis Outbreak Model in a Multi-scale EnvironmentSubjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)
Modeling and simulation approaches for infectious disease dynamics have proven to be essential tools for effective control of the spread of epidemics in the population. Among these approaches, it is obvious that compartmental mathematical models, such as SIS, SIR, SEIR, etc. are the most widely used by researchers. However, they are difficult to apply in a multi-scale environment, especially if we want to take into account the heterogeneous behaviors of individuals. The aim of this paper is to present a hybrid model in which an Equation-Based Model (EBM) of tuberculosis dynamics is coupled to an Agent-Based Model (ABM) in a two-scale environment. In this model, individuals are placed in cities considered as agents in which the dynamics of the disease is modeled by eight compartments and managed by solving a system of differential equations. Individual agents move between these cities using an ABM that controls their mobility. Considering some parametric values and assumptions, the results obtained show that human mobility has a significant impact on the spread of tuberculosis within the population. The management of population and disease dynamics at different levels (microscopic and macroscopic) testifies to the robustness of the proposed approach.
- [162] arXiv:2411.04300 (cross-list from quant-ph) [pdf, html, other]
-
Title: Slow Mixing of Quantum Gibbs SamplersSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Probability (math.PR)
Preparing thermal (Gibbs) states is a common task in physics and computer science. Recent algorithms mimic cooling via system-bath coupling, where the cost is determined by mixing time, akin to classical Metropolis-like algorithms. However, few methods exist to demonstrate slow mixing in quantum systems, unlike the well-established classical tools for systems like the Ising model and constraint satisfaction problems. We present a quantum generalization of these tools through a generic bottleneck lemma that implies slow mixing in quantum systems. This lemma focuses on quantum measures of distance, analogous to the classical Hamming distance but rooted in uniquely quantum principles and quantified either through Bohr spectrum jumps or operator locality.
Using our bottleneck lemma, we establish unconditional lower bounds on the mixing times of Gibbs samplers for several families of Hamiltonians at low temperatures. For classical Hamiltonians with mixing time lower bounds $T_\mathrm{mix} = 2^{\Omega(n^\alpha)}$, we prove that quantum Gibbs samplers also have $T_\mathrm{mix} = 2^{\Omega(n^\alpha)}$. This applies to models like random $K$-SAT instances and spin glasses. For stabilizer Hamiltonians, we provide a concise proof of exponential lower bounds $T_\mathrm{mix} = 2^{\Omega(n)}$ on mixing times of good $n$-qubit stabilizer codes at low constant temperature, improving upon previous bounds of $T_\mathrm{mix} = 2^{\Omega(\sqrt n)}$. Finally, for $H = H_0 + h\sum_i X_i$ with $H_0$ diagonal in $Z$ basis, we show that a linear free energy barrier in $H_0$ leads to $T_\mathrm{mix} = 2^{\Omega(n)}$ for local Gibbs samplers at low temperature and small $h$. Even with sublinear barriers, we use Poisson Feynman-Kac techniques to lift classical bottlenecks to quantum ones establishing an asymptotically tight lower bound $T_\mathrm{mix} = 2^{n^{1/2-o(1)}}$ for the 2D transverse field Ising model. - [163] arXiv:2411.04352 (cross-list from physics.plasm-ph) [pdf, html, other]
-
Title: The High-Order Magnetic Near-Axis Expansion: Ill-Posedness and RegularizationComments: 43 pages, 8 figuresSubjects: Plasma Physics (physics.plasm-ph); Numerical Analysis (math.NA)
When analyzing stellarator configurations, it is common to perform an asymptotic expansion about the magnetic axis. This so-called near-axis expansion is convenient for the same reason asymptotic expansions often are, namely, it reduces the dimension of the problem. This leads to convenient and quickly computed expressions of physical quantities, such as quasisymmetry and stability criteria, which can be used to gain further insight. However, it has been repeatedly found that the expansion diverges at high orders, limiting the physics the expansion can describe. In this paper, we show that the near-axis expansion diverges in vacuum due to ill-posedness and that it can be regularized to improve its convergence. Then, using realistic stellarator coil sets, we show that the near-axis expansion can converge to ninth order in the magnetic field, giving accurate high-order corrections to the computation of flux surfaces. We numerically find that the regularization improves the solutions of the near-axis expansion under perturbation, and we demonstrate that the radius of convergence of the vacuum near-axis expansion is correlated with the distance from the axis to the coils.
- [164] arXiv:2411.04452 (cross-list from quant-ph) [pdf, html, other]
-
Title: Optimal Allocation of Pauli Measurements for Low-rank Quantum State TomographySubjects: Quantum Physics (quant-ph); Signal Processing (eess.SP); Optimization and Control (math.OC)
The process of reconstructing quantum states from experimental measurements, accomplished through quantum state tomography (QST), plays a crucial role in verifying and benchmarking quantum devices. A key challenge of QST is to find out how the accuracy of the reconstruction depends on the number of state copies used in the measurements. When multiple measurement settings are used, the total number of state copies is determined by multiplying the number of measurement settings with the number of repeated measurements for each setting. Due to statistical noise intrinsic to quantum measurements, a large number of repeated measurements is often used in practice. However, recent studies have shown that even with single-sample measurements--where only one measurement sample is obtained for each measurement setting--high accuracy QST can still be achieved with a sufficiently large number of different measurement settings. In this paper, we establish a theoretical understanding of the trade-off between the number of measurement settings and the number of repeated measurements per setting in QST. Our focus is primarily on low-rank density matrix recovery using Pauli measurements. We delve into the global landscape underlying the low-rank QST problem and demonstrate that the joint consideration of measurement settings and repeated measurements ensures a bounded recovery error for all second-order critical points, to which optimization algorithms tend to converge. This finding suggests the advantage of minimizing the number of repeated measurements per setting when the total number of state copies is held fixed. Additionally, we prove that the Wirtinger gradient descent algorithm can converge to the region of second-order critical points with a linear convergence rate. We have also performed numerical experiments to support our theoretical findings.
- [165] arXiv:2411.04454 (cross-list from quant-ph) [pdf, html, other]
-
Title: Mixing time of quantum Gibbs sampling for random sparse HamiltoniansComments: 31 pages, 1 figureSubjects: Quantum Physics (quant-ph); Data Structures and Algorithms (cs.DS); Mathematical Physics (math-ph)
Providing evidence that quantum computers can efficiently prepare low-energy or thermal states of physically relevant interacting quantum systems is a major challenge in quantum information science. A newly developed quantum Gibbs sampling algorithm by Chen, Kastoryano, and Gilyén provides an efficient simulation of the detailed-balanced dissipative dynamics of non-commutative quantum systems. The running time of this algorithm depends on the mixing time of the corresponding quantum Markov chain, which has not been rigorously bounded except in the high-temperature regime. In this work, we establish a polylog(n) upper bound on its mixing time for various families of random n by n sparse Hamiltonians at any constant temperature. We further analyze how the choice of the jump operators for the algorithm and the spectral properties of these sparse Hamiltonians influence the mixing time. Our result places this method for Gibbs sampling on par with other efficient algorithms for preparing low-energy states of quantumly easy Hamiltonians.
- [166] arXiv:2411.04464 (cross-list from quant-ph) [pdf, html, other]
-
Title: Decoding Quasi-Cyclic Quantum LDPC CodesSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
Quantum low-density parity-check (qLDPC) codes are an important component in the quest for quantum fault tolerance. Dramatic recent progress on qLDPC codes has led to constructions which are asymptotically good, and which admit linear-time decoders to correct errors affecting a constant fraction of codeword qubits. These constructions, while theoretically explicit, rely on inner codes with strong properties only shown to exist by probabilistic arguments, resulting in lengths that are too large to be practically relevant. In practice, the surface/toric codes, which are the product of two repetition codes, are still often the qLDPC codes of choice.
A previous construction based on the lifted product of an expander-based classical LDPC code with a repetition code (Panteleev & Kalachev, 2020) achieved a near-linear distance (of $\Omega(N/\log N)$ where $N$ is the number of codeword qubits), and avoids the need for such intractable inner codes. Our main result is an efficient decoding algorithm for these codes that corrects $\Theta(N/\log N)$ adversarial errors. En route, we give such an algorithm for the hypergraph product version these codes, which have weaker $\Theta(\sqrt{N})$ distance (but are simpler). Our decoding algorithms leverage the fact that the codes we consider are quasi-cyclic, meaning that they respect a cyclic group symmetry.
Since the repetition code is not based on expanders, previous approaches to decoding expander-based qLDPC codes, which typically worked by greedily flipping code bits to reduce some potential function, do not apply in our setting. Instead, we reduce our decoding problem (in a black-box manner) to that of decoding classical expander-based LDPC codes under noisy parity-check syndromes. For completeness, we also include a treatment of such classical noisy-syndrome decoding that is sufficient for our application to the quantum setting. - [167] arXiv:2411.04547 (cross-list from cs.AI) [pdf, html, other]
-
Title: Dynamic Detection of Relevant Objectives and Adaptation to Preference Drifts in Interactive Evolutionary Multi-Objective OptimizationSubjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
Evolutionary Multi-Objective Optimization Algorithms (EMOAs) are widely employed to tackle problems with multiple conflicting objectives. Recent research indicates that not all objectives are equally important to the decision-maker (DM). In the context of interactive EMOAs, preference information elicited from the DM during the optimization process can be leveraged to identify and discard irrelevant objectives, a crucial step when objective evaluations are computationally expensive. However, much of the existing literature fails to account for the dynamic nature of DM preferences, which can evolve throughout the decision-making process and affect the relevance of objectives. This study addresses this limitation by simulating dynamic shifts in DM preferences within a ranking-based interactive algorithm. Additionally, we propose methods to discard outdated or conflicting preferences when such shifts occur. Building on prior research, we also introduce a mechanism to safeguard relevant objectives that may become trapped in local or global optima due to the diminished correlation with the DM-provided rankings. Our experimental results demonstrate that the proposed methods effectively manage evolving preferences and significantly enhance the quality and desirability of the solutions produced by the algorithm.
- [168] arXiv:2411.04597 (cross-list from quant-ph) [pdf, html, other]
-
Title: Extendibility of Brauer statesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We investigate the extendibility problem for Brauer states, focusing on the symmetric two-sided extendibility and the de Finetti extendibility. By employing the representation theory of the unitary and orthogonal groups, we provide a general recipe for finding the $(n,m)$-extendible and $n$-de Finetti-extendible Brauer states. In the two-sided case we describe the special symmetry that only appears for $(n,n)$-extendible symmetric states. From the concrete form of the commutant to the diagonal action of the orthogonal group, we explicitly determine the set of parameters for which the Brauer states are $(1,2)$-, $(1,3)$- and $(2,2)$-extendible in any dimension $d$. Using the branching rules from $\mathrm{SU}(d)$ to $\mathrm{SO}(d)$, we obtain the set of $n$-de Finetti-extendible Brauer states in low dimensions, and analytically describe the $n\to\infty$ limiting shape for $d=3$. Finally, we derive some general properties pertaining to the extendibility of Werner, isotropic and Brauer states.
- [169] arXiv:2411.04639 (cross-list from cs.CC) [pdf, html, other]
-
Title: Complexity theory of orbit closure intersection for tensors: reductions, completeness, and graph isomorphism hardnessComments: 38 pages, 3 figuresSubjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG); Representation Theory (math.RT)
Many natural computational problems in computer science, mathematics, physics, and other sciences amount to deciding if two objects are equivalent. Often this equivalence is defined in terms of group actions. A natural question is to ask when two objects can be distinguished by polynomial functions that are invariant under the group action. For finite groups, this is the usual notion of equivalence, but for continuous groups like the general linear groups it gives rise to a new notion, called orbit closure intersection. It captures, among others, the graph isomorphism problem, noncommutative PIT, null cone problems in invariant theory, equivalence problems for tensor networks, and the classification of multiparty quantum states. Despite recent algorithmic progress in celebrated special cases, the computational complexity of general orbit closure intersection problems is currently quite unclear. In particular, tensors seem to give rise to the most difficult problems.
In this work we start a systematic study of orbit closure intersection from the complexity-theoretic viewpoint. To this end, we define a complexity class TOCI that captures the power of orbit closure intersection problems for general tensor actions, give an appropriate notion of algebraic reductions that imply polynomial-time reductions in the usual sense, but are amenable to invariant-theoretic techniques, identify natural tensor problems that are complete for TOCI, including the equivalence of 2D tensor networks with constant physical dimension, and show that the graph isomorphism problem can be reduced to these complete problems, hence GI$\subseteq$TOCI. As such, our work establishes the first lower bound on the computational complexity of orbit closure intersection problems, and it explains the difficulty of finding unconditional polynomial-time algorithms beyond special cases, as has been observed in the literature. - [170] arXiv:2411.04655 (cross-list from cs.LG) [pdf, html, other]
-
Title: Centrality Graph Shift Operators for Graph Neural NetworksSubjects: Machine Learning (cs.LG); Social and Information Networks (cs.SI); Spectral Theory (math.SP); Applications (stat.AP); Machine Learning (stat.ML)
Graph Shift Operators (GSOs), such as the adjacency and graph Laplacian matrices, play a fundamental role in graph theory and graph representation learning. Traditional GSOs are typically constructed by normalizing the adjacency matrix by the degree matrix, a local centrality metric. In this work, we instead propose and study Centrality GSOs (CGSOs), which normalize adjacency matrices by global centrality metrics such as the PageRank, $k$-core or count of fixed length walks. We study spectral properties of the CGSOs, allowing us to get an understanding of their action on graph signals. We confirm this understanding by defining and running the spectral clustering algorithm based on different CGSOs on several synthetic and real-world datasets. We furthermore outline how our CGSO can act as the message passing operator in any Graph Neural Network and in particular demonstrate strong performance of a variant of the Graph Convolutional Network and Graph Attention Network using our CGSOs on several real-world benchmark datasets.
- [171] arXiv:2411.04675 (cross-list from eess.SP) [pdf, html, other]
-
Title: Advancing Multi-Connectivity in Satellite-Terrestrial Integrated Networks: Architectures, Challenges, and ApplicationsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Systems and Control (eess.SY)
Multi-connectivity (MC) in satellite-terrestrial integrated networks (STINs), included in 3GPP standards, is regarded as a promising technology for future networks. The significant advantages of MC in improving coverage, communication, and sensing through satellite-terrestrial collaboration have sparked widespread interest. In this article, we first introduce three fundamental deployment architectures of MC systems in STINs, including multi-satellite, single-satellite single-base-station, and multi-satellite multi-base-station configurations. Considering the emerging but still evolving satellite networking, we explore system design challenges such as satellite networking schemes, e.g., cell-free and multi-tier satellite networks. Then, key technical challenges that severely influence the quality of mutual communications, including beamforming, channel estimation, and synchronization, are discussed subsequently. Furthermore, typical applications such as coverage enhancement, traffic offloading, collaborative sensing, and low-altitude communication are demonstrated, followed by a case study comparing coverage performance in MC and single-connectivity (SC) configurations. Several essential future research directions for MC in STINs are presented to facilitate further exploration.
- [172] arXiv:2411.04683 (cross-list from physics.plasm-ph) [pdf, html, other]
-
Title: Construction of an invertible mapping to boundary conforming coordinates for arbitrarily shaped toroidal domainsSubjects: Plasma Physics (physics.plasm-ph); Mathematical Physics (math-ph)
Boundary conforming coordinates are commonly used in plasma physics to describe the geometry of toroidal domains, for example, in three-dimensional magnetohydrodynamic equilibrium solvers. The magnetohydrodynamic equilibrium configuration can be approximated with an inverse map, defining nested surfaces of constant magnetic flux. For equilibrium solvers that solve for this inverse map iteratively, the initial guess for the inverse map must be well defined and invertible. Even if magnetic islands are to be included in the representation, boundary conforming coordinates can still be useful, for example to parametrize the interface surfaces in multi-region, relaxed magnetohydrodynamics. Given a fixed boundary shape, finding a valid boundary conforming mapping can be challenging, especially for the non-convex boundaries from recent developments in stellarator optimization. In this work, we propose a new algorithm to construct such a mapping, by solving two Dirichlet-Laplace problems via a boundary integral method. We can prove that the generated harmonic map is always smooth and has a smooth inverse. Furthermore, we can find a discrete approximation of the mapping that preserves this property.
- [173] arXiv:2411.04686 (cross-list from cs.DC) [pdf, html, other]
-
Title: Precision-Aware Iterative Algorithms Based on Group-Shared Exponents of Floating-Point NumbersComments: 13 pages, 9 figuresSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
Iterative solvers are frequently used in scientific applications and engineering computations. However, the memory-bound Sparse Matrix-Vector (SpMV) kernel computation hinders the efficiency of iterative algorithms. As modern hardware increasingly supports low-precision computation, the mixed-precision optimization of iterative algorithms has garnered widespread attention. Nevertheless, existing mixed-precision methods pose challenges, including format conversion overhead, tight coupling between storage and computation representation, and the need to store multiple precision copies of data. This paper proposes a floating-point representation based on the group-shared exponent and segmented storage of the mantissa, enabling higher bit utilization of the representation vector and fast switches between different precisions without needing multiple data copies. Furthermore, a stepped mixed-precision iterative algorithm is proposed. Our experimental results demonstrate that, compared with existing floating-point formats, our approach significantly improves iterative algorithms' performance and convergence residuals.
- [174] arXiv:2411.04689 (cross-list from eess.SP) [pdf, html, other]
-
Title: Over-the-Air DPD and Reciprocity Calibration in Massive MIMO and BeyondComments: This work has been submitted to the IEEE for possible publicationSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
In this paper we study an over-the-air (OTA) approach for digital pre-distortion (DPD) and reciprocity calibration in massive multiple-input-multiple-output systems. In particular, we consider a memory-less non-linearity model for the base station (BS) transmitters and propose a methodology to linearize the transmitters and perform the calibration by using mutual coupling OTA measurements between BS antennas. We show that by only using the OTA-based data, we can linearize the transmitters and design the calibration to compensate for both the non-linearity and non-reciprocity of BS transceivers effectively. This allows to alleviate the requirement to have dedicated hardware modules for transceiver characterization. Moreover, exploiting the results of the DPD linearization step, our calibration method may be formulated in terms of closed-form transformations, achieving a significant complexity reduction over state-of-the-art methods, which usually rely on costly iterative computations. Simulation results showcase the potential of our approach in terms of the calibration matrix estimation error and downlink data-rates when applying zero-forcing precoding after using our OTA-based DPD and calibration method.
- [175] arXiv:2411.04702 (cross-list from eess.SP) [pdf, html, other]
-
Title: Large Intelligent Surfaces with Low-End Receivers: From Scaling to Antenna and Panel SelectionComments: This work has been submitted to the IEEE for possible publicationSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
We analyze the performance of large intelligent surface (LIS) with hardware distortion at its RX-chains. In particular, we consider the memory-less polynomial model for non-ideal hardware and derive analytical expressions for the signal to noise plus distortion ratio after applying maximum ratio combining (MRC) at the LIS. We also study the effect of back-off and automatic gain control on the RX-chains. The derived expressions enable us to evaluate the scalability of LIS when hardware impairments are present. We also study the cost of assuming ideal hardware by analyzing the minimum scaling required to achieve the same performance with a non-ideal hardware. Then, we exploit the analytical expressions to propose optimized antenna selection schemes for LIS and we show that such schemes can improve the performance significantly. In particular, the antenna selection schemes allow the LIS to have lower number of non-ideal RX-chains for signal reception while maintaining a good performance. We also consider a more practical case where the LIS is deployed as a grid of multi-antenna panels, and we propose panel selection schemes to optimize the complexity-performance trade-offs and improve the system overall efficiency.
- [176] arXiv:2411.04727 (cross-list from quant-ph) [pdf, html, other]
-
Title: Quantum Speedup for Polar Maximum Likelihood DecodingComments: 5pages, 6 figuresSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Signal Processing (eess.SP)
Conventional decoding algorithms for polar codes strive to balance achievable performance and computational complexity in classical computing. While maximum likelihood (ML) decoding guarantees optimal performance, its NP-hard nature makes it impractical for real-world systems. In this letter, we propose a novel ML decoding architecture for polar codes based on the Grover adaptive search, a quantum exhaustive search algorithm. Unlike conventional studies, our approach, enabled by a newly formulated objective function, uniquely supports Gray-coded multi-level modulation without expanding the search space size compared to the classical ML decoding. Simulation results demonstrate that our proposed quantum decoding achieves ML performance while providing a pure quadratic speedup in query complexity.
- [177] arXiv:2411.04728 (cross-list from cs.LG) [pdf, html, other]
-
Title: Neuromorphic Wireless Split Computing with Multi-Level SpikesSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Neural and Evolutionary Computing (cs.NE)
Inspired by biological processes, neuromorphic computing utilizes spiking neural networks (SNNs) to perform inference tasks, offering significant efficiency gains for workloads involving sequential data. Recent advances in hardware and software have demonstrated that embedding a few bits of payload in each spike exchanged between the spiking neurons can further enhance inference accuracy. In a split computing architecture, where the SNN is divided across two separate devices, the device storing the first layers must share information about the spikes generated by the local output neurons with the other device. Consequently, the advantages of multi-level spikes must be balanced against the challenges of transmitting additional bits between the two devices.
This paper addresses these challenges by investigating a wireless neuromorphic split computing architecture employing multi-level SNNs. For this system, we present the design of digital and analog modulation schemes optimized for an orthogonal frequency division multiplexing (OFDM) radio interface. Simulation and experimental results using software-defined radios provide insights into the performance gains of multi-level SNN models and the optimal payload size as a function of the quality of the connection between a transmitter and receiver. - [178] arXiv:2411.04729 (cross-list from stat.CO) [pdf, html, other]
-
Title: Conjugate gradient methods for high-dimensional GLMMsSubjects: Computation (stat.CO); Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
Generalized linear mixed models (GLMMs) are a widely used tool in statistical analysis. The main bottleneck of many computational approaches lies in the inversion of the high dimensional precision matrices associated with the random effects. Such matrices are typically sparse; however, the sparsity pattern resembles a multi partite random graph, which does not lend itself well to default sparse linear algebra techniques. Notably, we show that, for typical GLMMs, the Cholesky factor is dense even when the original precision is sparse. We thus turn to approximate iterative techniques, in particular to the conjugate gradient (CG) method. We combine a detailed analysis of the spectrum of said precision matrices with results from random graph theory to show that CG-based methods applied to high-dimensional GLMMs typically achieve a fixed approximation error with a total cost that scales linearly with the number of parameters and observations. Numerical illustrations with both real and simulated data confirm the theoretical findings, while at the same time illustrating situations, such as nested structures, where CG-based methods struggle.
- [179] arXiv:2411.04753 (cross-list from eess.SP) [pdf, html, other]
-
Title: Efficient Channel Estimation With Shorter Pilots in RIS-Aided Communications: Using Array Geometries and Interference StatisticsComments: 16 pages, 9 figures, to appear in IEEE Transactions on Wireless CommunicationsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Accurate estimation of the cascaded channel from a user equipment (UE) to a base station (BS) via each reconfigurable intelligent surface (RIS) element is critical to realizing the full potential of the RIS's ability to control the overall channel. The number of parameters to be estimated is equal to the number of RIS elements, requiring an equal number of pilots unless an underlying structure can be identified. In this paper, we show how the spatial correlation inherent in the different RIS channels provides this desired structure. We first optimize the RIS phase-shift pattern using a much-reduced pilot length (determined by the rank of the spatial correlation matrices) to minimize the mean square error (MSE) in the channel estimation under electromagnetic interference. In addition to considering the linear minimum MSE (LMMSE) channel estimator, we propose a novel channel estimator that requires only knowledge of the array geometry while not requiring any user-specific statistical information. We call this the reduced-subspace least squares (RS-LS) estimator and optimize the RIS phase-shift pattern for it. This novel estimator significantly outperforms the conventional LS estimator. For both the LMMSE and RS-LS estimators, the proposed optimized RIS configurations result in significant channel estimation improvements over the benchmarks.
- [180] arXiv:2411.04754 (cross-list from hep-th) [pdf, html, other]
-
Title: Scaling law for membrane lifetimeComments: 14 pages, 6 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Chaotic Dynamics (nlin.CD)
Membrane configurations in the Banks-Fischler-Shenker-Susskind matrix model are unstable due to the existence of flat directions in the potential and the decay process can be seen as a realization of chaotic scattering. In this note, we compute the lifetime of a membrane in a reduced model. The resulting lifetime exhibits scaling laws with respect to energy, coupling constant and a cut-off scale. We numerically evaluate the scaling exponents, which cannot be fixed by the dimensional analysis. Finally, some applications of the results are discussed.
- [181] arXiv:2411.04767 (cross-list from quant-ph) [pdf, other]
-
Title: Why quantum state verification cannot be both efficient and secure: a categorical approachSubjects: Quantum Physics (quant-ph); Cryptography and Security (cs.CR); Category Theory (math.CT)
The advantage of quantum protocols lies in the inherent properties of the shared quantum states. These states are sometimes provided by sources that are not trusted, and therefore need to be verified. Finding secure and efficient quantum state verification protocols remains a big challenge, and recent works illustrate trade-offs between efficiency and security for different groups of states in restricted settings. However, whether a universal trade-off exists for all quantum states and all verification strategies remains unknown. In this work, we instantiate the categorical composable cryptography framework to show a fundamental limit for quantum state verification for all cut-and-choose approaches used to verify arbitrary quantum states. Our findings show that the prevailing cut-and-choose techniques cannot lead to quantum state verification protocols that are both efficient and secure.
- [182] arXiv:2411.04803 (cross-list from cs.DS) [pdf, html, other]
-
Title: Unbounded Error Correcting CodesSubjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Combinatorics (math.CO)
We introduce a variant of Error Correcting Codes with no predetermined length. An Unbounded ECC with rate $R$ and distance $\varepsilon$ is an encoding of a possibly infinite message into a possibly infinite codeword, such that for every large enough $k$ we may recover the first $Rk$ symbols of the message from the first $k$ symbols of the codeword -- even when up to $\frac{1}{2}\varepsilon k$ of these codeword symbols are adversarially corrupted. We study unbounded codes over a binary alphabet in the regime of small distance $\varepsilon$, and obtain nearly-tight upper and lower bounds in several natural settings. We show that the optimal rate of such a code is between $R<1-\Omega(\sqrt{\varepsilon})$ and $R>1-O\left(\sqrt{\varepsilon\log\log\left(1/\varepsilon\right)}\right)$. Surprisingly, our construction is non-linear, and we show that the optimal rate of a linear unbounded code is the asymptotically worse $R=1-\Theta\left(\sqrt{\varepsilon\log\left(1/\varepsilon\right)}\right)$. In the setting of random noise, the optimal rate of unbounded codes improves and matches the rate of standard codes at $R=1-\Theta({\varepsilon\log{\left(1/\varepsilon\right)}})$.
- [183] arXiv:2411.04849 (cross-list from hep-th) [pdf, other]
-
Title: 5d-4d Correspondence in Twisted M-theory on a ConifoldComments: 38 pages, 2 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We study twisted M-theory in a general conifold background, and describe it in terms of a 5d non-commutative Chern-Simons-matter theory. In an equivalent description as twisted type IIA string theory, the matter degrees of freedom arise from topological strings stretched between stacks of D6-branes. In order to study the 5d Chern-Simons-matter theory with a boundary, we first construct and investigate the properties of a 4d non-commutative gauged chiral WZW model. We prove the gauge invariant coupling of this 4d theory to the bulk 5d Chern-Simons theory defined on $\mathbb{R}_+ \times \mathbb{C}^2 $, and further generalize our results to the 5d Chern-Simons-matter theory. We also investigate the toroidal current algebra of the 4d chiral WZW model that arises from radial quantization along one of the complex planes. Finally, we show that a gauged non-commutative chiral 4d WZW model arises from the partition function for quantum 5d non-commutative Chern-Simons theory with boundaries in the BV-BFV formalism, and further generalize this 5d-4d correspondence to the 5d non-commutative Chern-Simons-matter theory for the case of adjoint matter.
- [184] arXiv:2411.04885 (cross-list from quant-ph) [pdf, html, other]
-
Title: Optimal quantum algorithm for Gibbs state preparationComments: 5+10 pages. Comments welcomeSubjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
It is of great interest to understand the thermalization of open quantum many-body systems, and how quantum computers are able to efficiently simulate that process. A recently introduced disispative evolution, inspired by existing models of open system thermalization, has been shown to be efficiently implementable on a quantum computer. Here, we prove that, at high enough temperatures, this evolution reaches the Gibbs state in time scaling logarithmically with system size. The result holds for Hamiltonians that satisfy the Lieb-Robinson bound, such as local Hamiltonians on a lattice, and includes long-range systems. To the best of our knowledge, these are the first results rigorously establishing the rapid mixing property of high-temperature quantum Gibbs samplers, which is known to give the fastest possible speed for thermalization in the many-body setting. We then employ our result to the problem of estimating partition functions at high temperature, showing an improved performance over previous classical and quantum algorithms.
- [185] arXiv:2411.04886 (cross-list from hep-th) [pdf, html, other]
-
Title: Curtright-Zachos Supersymmetric Deformations of the Virasoro algebra in Quantum Superspace and Bloch Electron SystemsComments: 16 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We introduce supersymmetric extensions of the Hom-Lie deformation of the Virasoro algebra, as realized in the GL(1,1) quantum superspace, for Bloch electron systems under Zeeman effects. The construction is achieved by defining generators through magnetic translations and spin matrix bases, specifically for the N=1 and N=2 supersymmetric deformed algebras. This approach reveals a structural parallel between the deformed algebra in quantum superspace and its manifestation in Bloch electron systems.
- [186] arXiv:2411.04891 (cross-list from physics.optics) [pdf, html, other]
-
Title: Peregrine solitons and resonant radiation in cubic and quadratic mediaMarcos Caso-Huerta (1), Lili Bu (1 and 2), Shihua Chen (2 and 3), Stefano Trillo (4), Fabio Baronio (1) ((1) Department of Information Engineering, University of Brescia, Italy (2) School of Physics and Frontiers Science Center for Mobile Information, Communication and Security, Southeast University, Nanjing, China, (3) Purple Mountain Laboratories, Nanjing, China, (4) Department of Engineering, University of Ferrara, Italy)Journal-ref: Chaos 34, 072104 (2024)Subjects: Optics (physics.optics); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Pattern Formation and Solitons (nlin.PS); Exactly Solvable and Integrable Systems (nlin.SI)
We present the fascinating phenomena of resonant radiation emitted by transient rogue waves in cubic and quadratic nonlinear media, particularly those shed from Peregrine solitons, one of the main wavepackets used today to model real-world rogue waves. In cubic media, it turns out that the emission of radiation from a Peregrine soliton can be attributed to the presence of higher-order dispersion, but is affected by the intrinsic local longitudinal variation of the soliton wavenumber. In quadratic media, we reveal that a two-color Peregrine rogue wave can resonantly radiate dispersive waves even in the absence of higher-order dispersion, subjected to a phase-matching mechanism that involves the second harmonic wave, and to a concomitant difference-frequency generation process. In both cubic and quadratic media, we provide simple analytic criteria for calculating the radiated frequencies in terms of material parameters, showing excellent agreement with numerical simulations.
- [187] arXiv:2411.04893 (cross-list from quant-ph) [pdf, other]
-
Title: Efficient quantum pseudorandomness under conservation lawsComments: 8 + 48 pagesSubjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT); Mathematical Physics (math-ph)
The efficiency of locally generating unitary designs, which capture statistical notions of quantum pseudorandomness, lies at the heart of wide-ranging areas in physics and quantum information technologies. While there are extensive potent methods and results for this problem, the evidently important setting where continuous symmetries or conservation laws (most notably U(1) and SU(d)) are involved is known to present fundamental difficulties. In particular, even the basic question of whether any local symmetric circuit can generate 2-designs efficiently (in time that grows at most polynomially in the system size) remains open with no circuit constructions provably known to do so, despite intensive efforts. In this work, we resolve this long-standing open problem for both U(1) and SU(d) symmetries by explicitly constructing local symmetric quantum circuits which we prove to converge to symmetric unitary 2-designs in polynomial time using a combination of representation theory, graph theory, and Markov chain methods. As a direct application, our constructions can be used to efficiently generate near-optimal random covariant quantum error-correcting codes, confirming a conjecture in [PRX Quantum 3, 020314 (2022)].
- [188] arXiv:2411.04898 (cross-list from quant-ph) [pdf, other]
-
Title: Convergence efficiency of quantum gates and circuitsComments: 50 pages + 8 tables + 6 figuresSubjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Computational Complexity (cs.CC); Information Theory (cs.IT); Mathematical Physics (math-ph)
We consider quantum circuit models where the gates are drawn from arbitrary gate ensembles given by probabilistic distributions over certain gate sets and circuit architectures, which we call stochastic quantum circuits. Of main interest in this work is the speed of convergence of stochastic circuits with different gate ensembles and circuit architectures to unitary t-designs. A key motivation for this theory is the varying preference for different gates and circuit architectures in different practical scenarios. In particular, it provides a versatile framework for devising efficient circuits for implementing $t$-designs and relevant applications including random circuit and scrambling experiments, as well as benchmarking the performance of gates and circuit architectures. We examine various important settings in depth. A key aspect of our study is an "ironed gadget" model, which allows us to systematically evaluate and compare the convergence efficiency of entangling gates and circuit architectures. Particularly notable results include i) gadgets of two-qubit gates with KAK coefficients $\left(\frac{\pi}{4}-\frac{1}{8}\arccos(\frac{1}{5}),\frac{\pi}{8},\frac{1}{8}\arccos(\frac{1}{5})\right)$ (which we call $\chi$ gates) directly form exact 2- and 3-designs; ii) the iSWAP gate family achieves the best efficiency for convergence to 2-designs under mild conjectures with numerical evidence, even outperforming the Haar-random gate, for generic many-body circuits; iii) iSWAP + complete graph achieve the best efficiency for convergence to 2-designs among all graph circuits. A variety of numerical results are provided to complement our analysis. We also derive robustness guarantees for our analysis against gate perturbations. Additionally, we provide cursory analysis on gates with higher locality and found that the Margolus gate outperforms various other well-known gates.
- [189] arXiv:2411.04909 (cross-list from stat.ME) [pdf, html, other]
-
Title: Doubly robust inference with censoring unbiased transformationsSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
This paper extends doubly robust censoring unbiased transformations to a broad class of censored data structures under the assumption of coarsening at random and positivity. This includes the classic survival and competing risks setting, but also encompasses multiple events. A doubly robust representation for the conditional bias of the transformed data is derived. This leads to rate double robustness and oracle efficiency properties for estimating conditional expectations when combined with cross-fitting and linear smoothers. Simulation studies demonstrate favourable performance of the proposed method relative to existing approaches. An application of the methods to a regression discontinuity design with censored data illustrates its practical utility.
- [190] arXiv:2411.04913 (cross-list from cs.LG) [pdf, html, other]
-
Title: Structure Matters: Dynamic Policy GradientComments: 46 pages, 4 figuresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Probability (math.PR)
In this work, we study $\gamma$-discounted infinite-horizon tabular Markov decision processes (MDPs) and introduce a framework called dynamic policy gradient (DynPG). The framework directly integrates dynamic programming with (any) policy gradient method, explicitly leveraging the Markovian property of the environment. DynPG dynamically adjusts the problem horizon during training, decomposing the original infinite-horizon MDP into a sequence of contextual bandit problems. By iteratively solving these contextual bandits, DynPG converges to the stationary optimal policy of the infinite-horizon MDP. To demonstrate the power of DynPG, we establish its non-asymptotic global convergence rate under the tabular softmax parametrization, focusing on the dependencies on salient but essential parameters of the MDP. By combining classical arguments from dynamic programming with more recent convergence arguments of policy gradient schemes, we prove that softmax DynPG scales polynomially in the effective horizon $(1-\gamma)^{-1}$. Our findings contrast recent exponential lower bound examples for vanilla policy gradient.
- [191] arXiv:2411.04945 (cross-list from cond-mat.stat-mech) [pdf, html, other]
-
Title: Proof of the absence of local conserved quantities in the spin-1 bilinear-biquadratic chain and its anisotropic extensionsComments: 22 pages, 1 figure, 3 tablesSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We provide a complete classification of the integrability and nonintegrability of the spin-1 bilinear-biquadratic model with a uniaxial anisotropic field, which includes the Heisenberg model and the Affleck-Kennedy-Lieb-Tasaki model. It is rigorously shown that all systems, except for the known integrable systems, are nonintegrable, meaning that they do not have nontrivial local conserved quantities. In particular, this result guarantees the nonintegrability of the Affleck-Kennedy-Lieb-Tasaki model, which is a fundamental assumption for quantum many-body scarring. Furthermore, we give simple necessary conditions for integrability in an extended model of the bilinear-biquadratic model with anisotropic interactions. Our result has accomplished a breakthrough in nonintegrability proofs by expanding their scope to spin-1 systems.
- [192] arXiv:2411.04948 (cross-list from cond-mat.soft) [pdf, html, other]
-
Title: On the Nonlinear Eshelby Inclusion Problem and its Isomorphic Growth LimitSubjects: Soft Condensed Matter (cond-mat.soft); Mathematical Physics (math-ph); Differential Geometry (math.DG)
In the late 1950's, Eshelby's linear solutions for the deformation field inside an ellipsoidal inclusion and, subsequently, the infinite matrix in which it is embedded were published. The solutions' ability to capture the behavior of an orthotropically symmetric shaped inclusion made it invaluable in efforts to understand the behavior of defects within, and the micromechanics of, metals and other stiff materials throughout the rest of the 20th century. Over half a century later, we wish to understand the analogous effects of microstructure on the behavior of soft materials; both organic and synthetic; but in order to do so, we must venture beyond the linear limit, far into the nonlinear regime. However, no solutions to these analogous problems currently exist for non-spherical inclusions. In this work, we present an accurate semi-inverse solution for the elastic field in an isotropically growing spheroidal inclusion embedded in an infinite matrix, both made of the same incompressible neo-Hookean material. We also investigate the behavior of such an inclusion as it grows infinitely large, demonstrating the existence of a non-spherical asymptotic shape and an associated asymptotic pressure. We call this the isomorphic limit, and the associated pressure the isomorphic pressure.
- [193] arXiv:2411.04990 (cross-list from cs.LG) [pdf, html, other]
-
Title: Clustering in Causal Attention MaskingComments: 38th Conference on Neural Information Processing Systems (NeurIPS 2024), 22 pages, 6 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
This work presents a modification of the self-attention dynamics proposed by Geshkovski et al. (arXiv:2312.10794) to better reflect the practically relevant, causally masked attention used in transformer architectures for generative AI. This modification translates into an interacting particle system that cannot be interpreted as a mean-field gradient flow. Despite this loss of structure, we significantly strengthen the results of Geshkovski et al. (arXiv:2312.10794) in this context: While previous rigorous results focused on cases where all three matrices (Key, Query, and Value) were scaled identities, we prove asymptotic convergence to a single cluster for arbitrary key-query matrices and a value matrix equal to the identity. Additionally, we establish a connection to the classical Rényi parking problem from combinatorial geometry to make initial theoretical steps towards demonstrating the existence of meta-stable states.
- [194] arXiv:2411.04992 (cross-list from cs.LG) [pdf, html, other]
-
Title: Which bits went where? Past and future transfer entropy decomposition with the information bottleneckComments: NeurIPS 2024 workshop "Machine learning and the physical sciences" Camera readySubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
Whether the system under study is a shoal of fish, a collection of neurons, or a set of interacting atmospheric and oceanic processes, transfer entropy measures the flow of information between time series and can detect possible causal relationships. Much like mutual information, transfer entropy is generally reported as a single value summarizing an amount of shared variation, yet a more fine-grained accounting might illuminate much about the processes under study. Here we propose to decompose transfer entropy and localize the bits of variation on both sides of information flow: that of the originating process's past and that of the receiving process's future. We employ the information bottleneck (IB) to compress the time series and identify the transferred entropy. We apply our method to decompose the transfer entropy in several synthetic recurrent processes and an experimental mouse dataset of concurrent behavioral and neural activity. Our approach highlights the nuanced dynamics within information flow, laying a foundation for future explorations into the intricate interplay of temporal processes in complex systems.
Cross submissions (showing 41 of 41 entries)
- [195] arXiv:1602.00856 (replaced) [pdf, html, other]
-
Title: Bayesian Dynamic Quantile Model AveragingSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
This article introduces a novel dynamic framework to Bayesian model averaging for time-varying parameter quantile regressions. By employing sequential Markov chain Monte Carlo, we combine empirical estimates derived from dynamically chosen quantile regressions, thereby facilitating a comprehensive understanding of the quantile model instabilities. The effectiveness of our methodology is initially validated through the examination of simulated datasets and, subsequently, by two applications to the US inflation rates and to the US real estate market. Our empirical findings suggest that a more intricate and nuanced analysis is needed when examining different sub-period regimes, since the determinants of inflation and real estate prices are clearly shown to be time-varying. In conclusion, we suggest that our proposed approach could offer valuable insights to aid decision making in a rapidly changing environment.
- [196] arXiv:1705.01621 (replaced) [pdf, other]
-
Title: Existence of Infinite Product MeasuresComments: This article is duplicated with arXiv:1910.04914Subjects: Functional Analysis (math.FA)
A construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques without imposing any condition on the underlying measure spaces. This approach concludes finally the problem of the existence of product measures in an elementary manner. Moreover, the $L_{p}$ spaces of this measures are simplified in terms of finite product measures following the approach of [21]. This decomposition simplifies infinite dimensional integration and gives to this theory a computational framework.
- [197] arXiv:2007.00379 (replaced) [pdf, html, other]
-
Title: On asymptotic properties of high moments of compound Poisson distributionComments: 29 pages, Version 4: references updated, text slightly modifiedSubjects: Probability (math.PR); Combinatorics (math.CO)
We study asymptotic behavior of the moments $M_k(\lambda)$ of the sum $X_1+\dots+X_{N_\lambda}$, where $N_\lambda$ follows the Poisson probability distribution with mean value $\lambda$ and $\{X_j\}$ is a family of i.i.d. random variables also independent from $N_\lambda$. We obtain an explicit expression for the leading term of $M_k(\lambda)$ as $k\to\infty$ and study it in dependence of the asymptotic behavior of $\lambda= \lambda_k$.
In application, we establish a concentration property of maximal vertex degree of large weighted random graphs. Another application is related with a variable that arises in the studies of high moments of large random matrices. Finally, regarding three particular cases of probability distribution of $X_j$, we comment on the asymptotic behavior of certain combinatorial polynomials, including the Bell polynomials of even partitions. - [198] arXiv:2011.10067 (replaced) [pdf, other]
-
Title: Intransitive dice tournament is not quasirandomSubjects: Probability (math.PR); Combinatorics (math.CO)
We settle a version of the conjecture about intransitive dice posed by Conrey, Gabbard, Grant, Liu and Morrison in 2016 and Polymath in 2017. We consider generalized dice with $n$ faces and we say that a die $A$ beats $B$ if a random face of $A$ is more likely to show a higher number than a random face of $B$. We study random dice with faces drawn iid from the uniform distribution on $[0,1]$ and conditioned on the sum of the faces equal to $n/2$. Considering the "beats" relation for three such random dice, Polymath showed that each of eight possible tournaments between them is asymptotically equally likely. In particular, three dice form an intransitive cycle with probability converging to $1/4$. In this paper we prove that for four random dice not all tournaments are equally likely and the probability of a transitive tournament is strictly higher than $3/8$.
- [199] arXiv:2110.14427 (replaced) [pdf, html, other]
-
Title: The ODE Method for Asymptotic Statistics in Stochastic Approximation and Reinforcement LearningComments: 2 figuresSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG)
The paper concerns the $d$-dimensional stochastic approximation recursion, $$ \theta_{n+1}= \theta_n + \alpha_{n + 1} f(\theta_n, \Phi_{n+1}) $$ where $ \{ \Phi_n \}$ is a stochastic process on a general state space, satisfying a conditional Markov property that allows for parameter-dependent noise. The main results are established under additional conditions on the mean flow and a version of the Donsker-Varadhan Lyapunov drift condition known as (DV3):
{(i)} An appropriate Lyapunov function is constructed that implies convergence of the estimates in $L_4$.
{(ii)} A functional central limit theorem (CLT) is established, as well as the usual one-dimensional CLT for the normalized error. Moment bounds combined with the CLT imply convergence of the normalized covariance $\textsf{E} [ z_n z_n^T ]$ to the asymptotic covariance in the CLT, where $z_n{=:} (\theta_n-\theta^*)/\sqrt{\alpha_n}$.
{(iii)} The CLT holds for the normalized version $z^{\text{PR}}_n{=:} \sqrt{n} [\theta^{\text{PR}}_n -\theta^*]$, of the averaged parameters $\theta^{\text{PR}}_n {=:} n^{-1} \sum_{k=1}^n\theta_k$, subject to standard assumptions on the step-size. Moreover, the covariance in the CLT coincides with the minimal covariance of Polyak and Ruppert.
{(iv)} An example is given where $f$ and $\bar{f}$ are linear in $\theta$, and $\Phi$ is a geometrically ergodic Markov chain but does not satisfy (DV3). While the algorithm is convergent, the second moment of $\theta_n$ is unbounded and in fact diverges.
{\bf This arXiv version 3 represents a major extension of the results in prior versions.} The main results now allow for parameter-dependent noise, as is often the case in applications to reinforcement learning. - [200] arXiv:2111.01443 (replaced) [pdf, html, other]
-
Title: The decomposition of permutation module for infinite Chevalley groups, IIComments: 16 pages, accepted by Nagoya Mathematical JournalSubjects: Representation Theory (math.RT)
Let $\bf G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ and ${\bf B}$ be an Borel subgroup of ${\bf G}$. In this paper we completely determine the composition factors of the permutation module $\mathbb{F}[{\bf G}/{\bf B}]$ for any field $\mathbb{F}$.
- [201] arXiv:2202.03698 (replaced) [pdf, html, other]
-
Title: Functional convergence to the local time of a sticky diffusionJournal-ref: Electron. J. Probab. 28: 1-26 (2023)Subjects: Probability (math.PR)
We establish the consistency of a local time approximation of a diffusion at a sticky threshold based on high-frequency observations. First, we prove the result for sticky Brownian motion, and then extend it to Itô diffusions with a sticky point (SID). For this, we derive the pathwise formulation of an SID along with respective versions of key stochastic calculus results (Itô formula, Girsanov theorem). Based on the local time approximation, we develop a consistent estimator for the stickiness parameter. We conclude with numerical experiments and assess statistical properties of the stickiness estimator and the local time approximation.
- [202] arXiv:2203.17183 (replaced) [pdf, html, other]
-
Title: Ground state energy of dilute Bose gases in 1DComments: 47 pagesSubjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We study the ground state energy of a gas of 1D bosons with density $\rho$, interacting through a general, repulsive 2-body potential with scattering length $a$, in the dilute limit $\rho |a|\ll1$. The first terms in the expansion of the thermodynamic energy density are $\pi^2\rho^3/3(1+2\rho a)$, where the leading order is the 1D free Fermi gas. This result covers the Tonks-Girardeau limit of the Lieb-Liniger model as a special case, but given the possibility that $a>0$, it also applies to potentials that differ significantly from a delta function. We include extensions to spinless fermions and 1D anyonic symmetries, and discuss an application to confined 3D gases.
- [203] arXiv:2205.03837 (replaced) [pdf, html, other]
-
Title: Generalized Jouanolou duality, weakly Gorenstein rings, and applications to blowup algebrasComments: to appear in Journal für die reine und angewandte Mathematik (Crelle's journal)Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
We provide a generalization of Jouanolou duality that is applicable to a plethora of situations. The environment where this generalized duality takes place is a new class of rings, that we introduce and call weakly Gorenstein. As a main consequence, we obtain a new general framework to investigate blowup algebras. We use our results to study and determine the defining equations of the Rees algebra of certain families of ideals.
- [204] arXiv:2205.06385 (replaced) [pdf, html, other]
-
Title: Degree Based Topological Indices of a General Random ChainComments: Random chains, Topological indices, Extreme values, Markov processesSubjects: Probability (math.PR)
In this paper, we examine a specific type of random chains and propose an unified approach to studying the degree-based topological indices, including their extreme values. We derive explicit analytical expressions for the expected values and variances of these indices and we establish the asymptotic behavior of the indices. Specifically, we analyze the first Zagreb index, Sombor index, Harmonic index, Geometric-Arithmetic index, Inverse Sum Index, and the second Zagreb index for various general random chains, including random phenylene, random polyphenyl, random hexagonal, and linear chains.
- [205] arXiv:2206.02888 (replaced) [pdf, html, other]
-
Title: The Emerton--Gee stack of rank one $(\varphi,\Gamma)$-modulesComments: Final versionJournal-ref: Doc. Math. 29 (2024), no. 3, 733--746Subjects: Number Theory (math.NT)
We give a classification of rank one $(\varphi,\Gamma)$-modules with coefficients in a $p$-adically complete $\mathbf{Z}_p$-algebra. As a consequence, we obtain a new proof of Proposition 7.2.17 in {arXiv:1908.07185}, which gives an explicit description of the Emerton--Gee stack of $(\varphi,\Gamma)$-modules in the rank one case. In fact, our method also applies in the context of rank one \' etale $\varphi$-modules (i.e. in the absence of a $\Gamma$-action), generalizing another result of Emerton--Gee.
- [206] arXiv:2210.06403 (replaced) [pdf, html, other]
-
Title: On the location of ratios of zeros of special trinomialsComments: 17 pages, 4 figures, 1 tableSubjects: Complex Variables (math.CV)
Given coprime integers $k, \ell$ with $k > \ell \geqslant 1$ and arbitrary complex polynomials $A(z), B(z)$ with $°(A(z)B(z))\geqslant 1$, we consider the polynomial sequence $\{P_n(z)\}$ satisfying a three-term recurrence $P_n(z)+B(z)P_{n-\ell}(z)+A(z)P_{n-k}(z)=0$ subject to the initial conditions $P_0(z)=1$, $P_{-1}(z)=\cdots=P_{1-k}(z)=0$ and fully characterize the real algebraic curve $\Gamma$ on which the zeros of the polynomials in $\{P_n(z)\}$ lie. In addition, we show that, for any (randomly chosen) $n\in \mathbb{Z}_{\geqslant 1}$ and zero $z_0$ of $P_n(z)$ with $A(z_0)\neq 0$, at-least two of the distinct zeros of the trinomial $D(t;z_0):={A(z_0)t^{k}+ B(z_0)t^{\ell}+1} $ have a ratio that lies on the real line and / or on the unit circle centred at the origin. This reveals a previously unknown geometric property exhibited by the zeros of trinomials of the form $t^k+at^{\ell}+1$ where $a\in \mathbb{C}-\{0\}$ is such that $a^k\in \mathbb{R}$.
- [207] arXiv:2210.06607 (replaced) [pdf, html, other]
-
Title: Handle decomposition complexity and representation spacesComments: 22 pages. This version covers more general three-manifoldsSubjects: Geometric Topology (math.GT)
We prove that there are homology three-spheres that bound definite four-manifolds, but any such bounding four-manifold must be built out of many handles. The argument uses the homology cobordism invariant $\Gamma$ from instanton Floer homology.
- [208] arXiv:2210.14996 (replaced) [pdf, html, other]
-
Title: Automated Tour Design in the Saturnian SystemComments: This article was presented at the 33rd AAS/AIAA Space Flight Mechanics Meeting, Austin, TX 2023 (paper ID:23-313). The results in this article are obsolete, and readers are encouraged to peruse the alternate version of the article published in Celestial Mechanics and Dynamical Astronomy (this https URL). 19 pages, 11 figures, 8 tablesSubjects: Optimization and Control (math.OC)
Future missions to Enceladus would benefit from multi-moon tours that leverage V-infinity on resonant orbits to progressively transfer between moons. Such "resonance family hopping" trajectories present a vast search space for global optimization due to the different combinations of available resonances and flyby speeds. The proposed multi-objective tour design algorithm optimizes entire moon tours from Titan to Enceladus via grid-based dynamic programming, in which the computation time is significantly reduced by utilizing a database of V-infinity-leveraging transfers. The result unveils a complete trade space of the moon tour design to Enceladus in a tractable computation time and global optimality.
- [209] arXiv:2210.15015 (replaced) [pdf, html, other]
-
Title: $L^2$ affine Fourier restriction theorems for smooth surfaces in $\mathbb{R}^3$Comments: Accepted by Indiana University Mathematics Journal in Nov 2024; incorporated referee's comments, and updated references. This version is finalSubjects: Classical Analysis and ODEs (math.CA)
We prove sharp $L^2$ Fourier restriction inequalities for compact, smooth surfaces in $\mathbb{R}^3$ equipped with the affine surface measure or a power thereof. The results are valid for all smooth surfaces and the bounds are uniform for all surfaces defined by the graph of polynomials of degrees up to $d$ with bounded coefficients. The primary tool is a decoupling theorem for these surfaces.
- [210] arXiv:2211.02576 (replaced) [pdf, other]
-
Title: The equifibered approach to $\infty$-properadsComments: 90 pages, 4 figures. v2: Many improvements in response to a report. Added an appendix about factorisation systemsSubjects: Algebraic Topology (math.AT); Category Theory (math.CT)
We define a notion of $\infty$-properads that generalises $\infty$-operads by allowing operations with multiple outputs. Specializing to the case where each operation has a single output provides a simple new perspective on $\infty$-operads, but at the same time the extra generality allows for examples such as bordism categories. We also give an interpretation of our $\infty$-properads as Segal presheaves on a category of graphs by comparing them to the Segal $\infty$-properads of Hackney-Robertson-Yau. Combining these two approaches yields a flexible tool for doing higher algebra with operations that have multiple inputs and outputs. Crucially, this allows for a definition of algebras over an $\infty$-properad such that, for example, topological field theories are algebras over the bordism $\infty$-properad. The key ingredient to this paper is the notion of an equifibered map between $E_\infty$-monoids, which is a well-behaved generalisation of free maps. We also use this to prove facts about free $E_\infty$-monoids, for example that free $E_\infty$-monoids are closed under pullbacks along arbitrary maps.
- [211] arXiv:2212.11156 (replaced) [pdf, html, other]
-
Title: Injectivity, stability, and positive definiteness of max filteringSubjects: Functional Analysis (math.FA); Information Theory (cs.IT)
Given a real inner product space V and a group G of linear isometries, max filtering offers a rich class of G-invariant maps. In this paper, we identify nearly sharp conditions under which these maps injectively embed the orbit space V/G into Euclidean space, and when G is finite, we estimate the map's distortion of the quotient metric. We also characterize when max filtering is a positive definite kernel.
- [212] arXiv:2212.14858 (replaced) [pdf, html, other]
-
Title: A class of sparse Johnson--Lindenstrauss transforms and analysis of their extreme singular valuesComments: 21 pagesSubjects: Probability (math.PR); Statistics Theory (math.ST)
The Johnson--Lindenstrauss (JL) lemma is a powerful tool for dimensionality reduction in modern algorithm design. The lemma states that any set of high-dimensional points in a Euclidean space can be flattened to lower dimensions while approximately preserving pairwise Euclidean distances. Random matrices satisfying this lemma are called JL transforms (JLTs). Inspired by existing $s$-hashing JLTs with exactly $s$ nonzero elements on each column, the present work introduces an ensemble of sparse matrices encompassing so-called $s$-hashing-like matrices whose expected number of nonzero elements on each column is~$s$. The independence of the sub-Gaussian entries of these matrices and the knowledge of their exact distribution play an important role in their analyses. Using properties of independent sub-Gaussian random variables, these matrices are demonstrated to be JLTs, and their smallest and largest singular values are estimated non-asymptotically using a technique from geometric functional analysis. As the dimensions of the matrix grow to infinity, these singular values are proved to converge almost surely to fixed quantities (by using the universal Bai--Yin law), and in distribution to the Gaussian orthogonal ensemble (GOE) Tracy--Widom law after proper rescalings. Understanding the behaviors of extreme singular values is important in general because they are often used to define a measure of stability of matrix algorithms. For example, JLTs were recently used in derivative-free optimization algorithmic frameworks to select random subspaces in which are constructed random models or poll directions to achieve scalability, whence estimating their smallest singular value in particular helps determine the dimension of these subspaces.
- [213] arXiv:2302.06447 (replaced) [pdf, html, other]
-
Title: A stochastic use of the Kurdyka-Lojasiewicz property: Investigation of optimization algorithms behaviours in a non-convex differentiable frameworkSubjects: Optimization and Control (math.OC)
Stochastic differentiable approximation schemes are widely used for solving high dimensional problems. Most of existing methods satisfy some desirable properties, including conditional descent inequalities, and almost sure (a.s.) convergence guarantees on the objective function, or on the involved gradient. However, for non-convex objective functions, a.s. convergence of the iterates, i.e., the stochastic process, to a critical point is usually not guaranteed, and remains an important challenge. In this article, we develop a framework to bridge the gap between descent-type inequalities and a.s. convergence of the associated stochastic process. Leveraging a novel Kurdyka-Lojasiewicz property, we show convergence guarantees of stochastic processes under mild assumptions on the objective function. We also provide examples of stochastic algorithms benefiting from the proposed framework and derive a.s. convergence guarantees on the iterates.
- [214] arXiv:2302.09058 (replaced) [pdf, html, other]
-
Title: Unit and distinct distances in typical normsSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
Erdős' unit distance problem and Erdős' distinct distances problem are among the most classical and well-known open problems in discrete mathematics. They ask for the maximum number of unit distances, or the minimum number of distinct distances, respectively, determined by $n$ points in the Euclidean plane. The question of what happens in these problems if one considers normed spaces other than the Euclidean plane has been raised in the 1980s by Ulam and Erdős and attracted a lot of attention over the years. We give an essentially tight answer to both questions for almost all norms on $\mathbb{R}^d$, in a certain Baire categoric sense.
For the unit distance problem we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$, any set of $n$ points defines at most $\frac{1}{2} d \cdot n \log_2 n$ unit distances according to $\|.\|$. We also show that this is essentially tight, by proving that for every norm $\|.\|$ on $\mathbb{R}^d$, for any large $n$, we can find $n$ points defining at least $\frac{1}{2}(d-1-o(1))\cdot n \log_2 n$ unit distances according to $\|.\|$.
For the distinct distances problem, we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$ any set of $n$ points defines at least $(1-o(1))n$ distinct distances according to $\|.\|$. This is clearly tight up to the $o(1)$ term.
We also answer the famous Hadwiger--Nelson problem for almost all norms on $\mathbb{R}^2$, showing that their unit distance graph has chromatic number $4$.
Our results settle, in a strong and somewhat surprising form, problems and conjectures of Brass, Matoušek, Brass-Moser-Pach, Chilakamarri, and Robertson. The proofs combine combinatorial and geometric ideas with tools from Linear Algebra, Topology and Algebraic Geometry. - [215] arXiv:2304.12785 (replaced) [pdf, other]
-
Title: Topological expansion of unitary integrals and mapsThomas Buc-d'Alché (UMPA-ENSL, CNRS, ENS de Lyon)Subjects: Probability (math.PR)
In this article, we study integrals on the unitary group with respect to the Haar measure. We give a combinatorial interpretation in terms of maps of the asymptotic topological expansion, established previously by Guionnet and Novak. The maps we introduce -- the maps of unitary type -- satisfy Tutte like equations. It allows us to show that in the perturbative regime they describe the different orders of the asymptotic topological expansion. Furthermore, they generalize the monotone Hurwitz numbers.
- [216] arXiv:2305.03469 (replaced) [pdf, html, other]
-
Title: Data-inspired modeling of accidents in traffic flow networks using the Hawkes processComments: 29 pages, 14 figuresSubjects: Numerical Analysis (math.NA)
We consider hyperbolic partial differential equations (PDEs) for a dynamic description of the traffic behavior in road networks. These equations are coupled to a Hawkes process that models traffic accidents taking into account their self-excitation property which means that accidents are more likely in areas in which another accident just occurred. We discuss how both model components interact and influence each other. A data analysis reveals the self-excitation property of accidents and determines further parameters. Numerical simulations using risk measures underline and conclude the discussion of traffic accident effects in our model.
- [217] arXiv:2305.06059 (replaced) [pdf, html, other]
-
Title: A characterization of socular highest weight modules and Richardson orbits of classical typesComments: 24 pagesSubjects: Representation Theory (math.RT)
Let $\mathfrak{g}$ be a simple complex Lie algebra of classical type with a Cartan subalgebra $\mathfrak{h}$. We fix a standard parabolic subalgebra $\mathfrak{p}\supset \mathfrak{h}$. The socular simple modules are just those highest weight modules with largest possible Gelfand-Kirillov dimension in the corresponding parabolic category $\mathcal{O}^{\mathfrak{p}}$. In this article, we will give an explicit characterization for these modules. When the module is integral, our characterization is given by the information of the corresponding Young tableau associated to the given highest weight module. When the module is nonintegral, we still have some characterization by using the results in the integral case. In our characterization, we define a particular Young diagram called Z-diagram. From this diagram, we can describe the partition type of the unique Richardson orbit associated to the given parabolic subalgebra $\mathfrak{p}$.
- [218] arXiv:2306.07202 (replaced) [pdf, html, other]
-
Title: On the rotational invariance and hyperbolicity of shallow water moment equations in two dimensionsSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
In this paper, we investigate the two-dimensional extension of a recently introduced set of shallow water models based on a regularized moment expansion of the incompressible Navier-Stokes equations \cite{kowalski2017moment,koellermeier2020analysis}. We show the rotational invariance of the proposed moment models with two different approaches. The first proof involves the split of the coefficient matrix into the conservative and non-conservative parts and proves the rotational invariance for each part, while the second one relies on the special block structure of the coefficient matrices. With the aid of rotational invariance, the analysis of the hyperbolicity for the moment model in 2D is reduced to the real diagonalizability of the coefficient matrix in 1D. Then we analyze the real diagonalizability by deriving the analytical form of the characteristic polynomial. We find that the moment model in 2D is hyperbolic in most cases and weakly hyperbolic in a degenerate edge case. With a simple modification to the coefficient matrices, we fix this weakly hyperbolicity and propose a new global hyperbolic model. Furthermore, we extend the model to include a more general class of closure relations than the original model and establish that this set of general closure relations retains both rotational invariance and hyperbolicity.
- [219] arXiv:2306.09897 (replaced) [pdf, html, other]
-
Title: The Marker-Steinhorn TheoremComments: Identified a gap in the proof in the previous version, which is also present in the original proofs of the theorem. Rewrote the paper to fix this gap. I have two family names: Andújar Guerrero. The BibTeX citation generated by arXiv incorrectly outputs "Andújar" as a middle nameSubjects: Logic (math.LO)
We give a proof of the Marker-Steinhorn Theorem which fills a gap in previous proofs of the result.
- [220] arXiv:2306.14158 (replaced) [pdf, html, other]
-
Title: Dyer-Lashof operations as extensions of Brown-Gitler ModulesComments: 21 pages The November, 2024 version is a major revision of the original (including the abstract), which hopefully makes everything easier to follow, with clearer motivation. There is also one new result - Theorem 1.7 - which I likeSubjects: Algebraic Topology (math.AT)
At the prime 2, let T(n) be the n dual of the nth Brown-Gitler spectrum with mod 2 homology G(n). Our previous work on computing the homology of an infinite loopspaces led us to observe that there are extensions between various of the right A-modules G(n) such that splicing with these gives an action of the Dyer-Lashof algebra on the sum over s and n of Ext_A^{s,s}(G(n),M).
We give explicit constructions of these `Dyer-Lashof operation' extensions: one construction relates them to the cofiber sequence associated to the C_2-transfer. Another relates key `squaring' Dyer-Lashof operations to the Mahowald short exact sequences. Finally, properties of the spectra T(n) allow us to geometrically realize our extensions by cofibration sequences, with the implication that the sum over n of all the Adams spectral sequences computing [T(n),X] is a spectral sequence of modules over the Dyer-Lashof algebra. - [221] arXiv:2307.02158 (replaced) [pdf, other]
-
Title: Computation of excited states for the nonlinear Schr{\"o}dinger equation: numerical and theoretical analysisSubjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
Our goal is to compute excited states for the nonlinear Schr{ö}dinger equation in the radial setting. We introduce a new technique based on the Nehari manifold approach and give a comparison with the classical shooting method. We observe that the Nehari method allows to accurately compute excited states on large domains but is relatively slow compared to the shooting method.
- [222] arXiv:2307.15940 (replaced) [pdf, html, other]
-
Title: Mirror symmetric Gamma conjecture for Fano and Calabi-Yau manifoldsComments: 16 pages, no figure, submitted to the proceedings of the online Nottingham algebraic geometry seminar, v2: corrected an error on the 1st page (the limit z->0 should have been z->infinity)Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Symplectic Geometry (math.SG)
The mirror symmetric Gamma conjecture roughly speaking says that the Gamma class of a manifold determines the asymptotics of (exponential) periods of the mirror. We recast the method in [Iri11] in a more general context and show that the mirror symmetric Gamma conjecture for a Fano manifold F implies, via Laplace transformation, that for the total space K_F of the canonical bundle or for anticanonical sections in F. More generally, we discuss the mirror symmetric Gamma conjecture for the total space of a sum of anti-nef line bundles over F or for nef complete intersections in F.
- [223] arXiv:2308.04512 (replaced) [pdf, other]
-
Title: An introduction to graph theoryComments: 426 pages, 200+ figures. Comments are welcome! The version at this https URL will be updated more frequently. Some older materials are included as ancillary files, but can also be found at this https URL . v2 extends §5.19.6 and corrects a few typosSubjects: History and Overview (math.HO); Combinatorics (math.CO)
This is a graduate-level introduction to graph theory, corresponding to a quarter-long course. It covers simple graphs, multigraphs as well as their directed analogues, and more restrictive classes such as tournaments, trees and arborescences. Among the features discussed are Eulerian circuits, Hamiltonian cycles, spanning trees, the matrix-tree and BEST theorems, proper colorings, Turan's theorem, bipartite matching and the Menger and Gallai--Milgram theorems. The basics of network flows are introduced in order to prove Hall's marriage theorem.
Around a hundred exercises are included (without solutions). - [224] arXiv:2308.16513 (replaced) [pdf, html, other]
-
Title: Lie groups with all left-invariant semi-Riemannian metrics completeComments: TOC added, minor correctionsJournal-ref: Trans. Amer. Math. Soc., 377(8):5837-5862, 2024Subjects: Differential Geometry (math.DG)
For each left-invariant semi-Riemannian metric $g$ on a Lie group $G$, we introduce the class of bi-Lipschitz Riemannian Clairaut metrics, whose completeness implies the completeness of $g$. When the adjoint representation of $G$ satisfies an at most linear growth bound, then all the Clairaut metrics are complete for any $g$. We prove that this bound is satisfied by compact and 2-step nilpotent groups, as well as by semidirect products $K \ltimes_\rho \mathbb{R}^n$ , where $K$ is the direct product of a compact and an abelian Lie group and $\rho(K)$ is pre-compact; they include all the known examples of Lie groups with all left-invariant metrics complete. The affine group of the real line is considered to illustrate how our techniques work even in the the absence of linear growth and suggest new questions.
- [225] arXiv:2309.02437 (replaced) [pdf, other]
-
Title: A priori error estimates of a diffusion equation with Ventcel boundary conditions on curved meshesJournal-ref: SIAM Journal on Numerical Analysis, 2024, 62 (4), pp.1929--1955Subjects: Numerical Analysis (math.NA)
In this work is considered an elliptic problem, referred to as the Ventcel problem, involvinga second order term on the domain boundary (the Laplace-Beltrami operator). A variationalformulation of the Ventcel problem is studied, leading to a finite element discretization. Thefocus is on the construction of high order curved meshes for the discretization of the physicaldomain and on the definition of the lift operator, which is aimed to transform a functiondefined on the mesh domain into a function defined on the physical one. This lift is definedin a way as to satisfy adapted properties on the boundary, relatively to the trace this http URL Ventcel problem approximation is investigated both in terms of geometrical error and offinite element approximation error. Error estimates are obtained both in terms of the meshorder r $\ge$ 1 and to the finite element degree k $\ge$ 1, whereas such estimates usually have beenconsidered in the isoparametric case so far, involving a single parameter k = r. The numericalexperiments we led, both in dimension 2 and 3, allow us to validate the results obtained andproved on the a priori error estimates depending on the two parameters k and r. A numericalcomparison is made between the errors using the former lift definition and the lift defined inthis work establishing an improvement in the convergence rate of the error in the latter case.
- [226] arXiv:2309.07611 (replaced) [pdf, html, other]
-
Title: On geometric-type approximations with applicationsComments: 14 pages, 3 figuresSubjects: Probability (math.PR)
We explore two aspects of geometric approximation via a coupling approach to Stein's method. Firstly, we refine precision and increase scope for applications by convoluting the approximating geometric distribution with a simple translation selected based on the problem at hand. Secondly, we give applications to several stochastic processes, including the approximation of Poisson processes with random time horizons and Markov chain hitting times. Particular attention is given to geometric approximation of random sums, for which explicit bounds are established. These are applied to give simple approximations, including error bounds, for the infinite-horizon ruin probability in the compound binomial risk process.
- [227] arXiv:2309.08091 (replaced) [pdf, html, other]
-
Title: Geodesic flows of compact higher genus surfaces without conjugate points have expansive factorsComments: 22 pagesJournal-ref: Nonlinearity 37 (2024) 055019 (22pp)Subjects: Dynamical Systems (math.DS); Differential Geometry (math.DG)
In this paper we show that a geodesic flow of a compact surface without conjugate points of genus greater than one is time-preserving semi-conjugate to a continuous expansive flow which is topologically mixing and has a local product structure. As an application we show that the geodesic flow of a compact surface without conjugate points of genus greater than one has a unique measure of maximal entropy. This gives an alternative proof of Climenhaga-Knieper-War Theorem.
- [228] arXiv:2309.11459 (replaced) [pdf, html, other]
-
Title: New closed forms for a dilogarithmic integral, related integrals, and seriesComments: 25 pagesSubjects: Classical Analysis and ODEs (math.CA)
In this study, we present a new closed form for the generalized integral $$\int_0^1 \frac{\mathrm{Li}_2(z) \ln(1+az)}{z}\, \mathrm{d}z,$$ where $a \in \mathbb{C} \setminus(-\infty, -1)$ and $\mathrm{Li}_2(z)$ is the dilogarithm function. This generalization is achieved by leveraging our established findings in conjunction with Vălean's results. Furthermore, we provide explicit closed forms for associated integrals, prove a transformation formula for double infinite series, expressing them as the sum of the square of an infinite series and another infinite series. We utilize this relationship to derive a novel closed form for the generalized series $$\sum_{k=1}^\infty \frac{ \zeta\left(m, \frac{rk-s}{r}\right) }{(rk-s)^m},$$ for $\Re(m) > 1$, $r, s \in \mathbb{C}$, where $r \neq 0$, $rk \neq s$, for any positive integer $k$, and $\zeta(s, z)$ denotes the Hurwitz zeta function. Utilizing Hermite's integral representation for $\zeta(s, z)$, we derive a family of integrals from this series.
- [229] arXiv:2310.00903 (replaced) [pdf, html, other]
-
Title: Symmetric Solutions to Symmetric Partial Difference EquationsComments: To appear in Journal of Difference Equations and ApplicationsSubjects: Classical Analysis and ODEs (math.CA); Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper studies systems of linear difference equations on the lattice $\Z^n$ that are invariant under a finite group of symmetries, and shows that there exist solutions to such systems that are also invariant under this group of symmetries.
- [230] arXiv:2310.03722 (replaced) [pdf, html, other]
-
Title: Anytime-valid t-tests and confidence sequences for Gaussian means with unknown varianceComments: Substantive revision in v3 (Apr 23 2024); Final revision in v4 (Nov 6 2024) accepted by the journal Sequential AnalysisSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Methodology (stat.ME); Machine Learning (stat.ML)
In 1976, Lai constructed a nontrivial confidence sequence for the mean $\mu$ of a Gaussian distribution with unknown variance $\sigma^2$. Curiously, he employed both an improper (right Haar) mixture over $\sigma$ and an improper (flat) mixture over $\mu$. Here, we elaborate carefully on the details of his construction, which use generalized nonintegrable martingales and an extended Ville's inequality. While this does yield a sequential t-test, it does not yield an "e-process" (due to the nonintegrability of his martingale). In this paper, we develop two new e-processes and confidence sequences for the same setting: one is a test martingale in a reduced filtration, while the other is an e-process in the canonical data filtration. These are respectively obtained by swapping Lai's flat mixture for a Gaussian mixture, and swapping the right Haar mixture over $\sigma$ with the maximum likelihood estimate under the null, as done in universal inference. We also analyze the width of resulting confidence sequences, which have a curious polynomial dependence on the error probability $\alpha$ that we prove to be not only unavoidable, but (for universal inference) even better than the classical fixed-sample t-test. Numerical experiments are provided along the way to compare and contrast the various approaches, including some recent suboptimal ones.
- [231] arXiv:2310.16558 (replaced) [pdf, html, other]
-
Title: A multiplicity formula for the Milnor number of smoothable curvesComments: 16 pages, corrected typos, references added, improved introduction. The proof of the flatness result in Section 3 is simplified. Linkage is used to show that the formation of W specializes with passage to the fibers. Part of the proof of Theorem 1.1 is now displayed as Proposition 4.3Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Complex Variables (math.CV)
For a reduced complex analytic curve germ we introduce an algebraic invariant we call the complete intersection discrepancy. We determine some of its basic properties. As an application we derive a multiplicity formula for the Milnor number of a reduced smoothable curve singularity generalizing a well-known formula due to Lê, Greuel and Teissier for complete intersection curves. We obtain a multiplicity characterization of Whitney equisingularity for families of locally smoothable curves.
- [232] arXiv:2310.19529 (replaced) [pdf, html, other]
-
Title: Finite subgroups of automorphisms of free productsComments: 12 pagesSubjects: Group Theory (math.GR)
We study finite subgroups of outer automorphisms of free products. We give upper bounds for the orders of these finite subgroups as well as bounds for the orders of individual torsion outer automorphisms under some (necessary) conditions for the free factors.
- [233] arXiv:2311.14548 (replaced) [pdf, html, other]
-
Title: On von Neumann's inequality on the polydiscComments: 28 pages; small changesSubjects: Functional Analysis (math.FA); Complex Variables (math.CV)
Given a $d$-tuple $T$ of commuting contractions on Hilbert space and a polynomial $p$ in $d$-variables, we seek upper bounds for the norm of the operator $p(T)$. Results of von Neumann and Andô show that if $d=1$ or $d=2$, the upper bound $\|p(T)\| \le \|p\|_\infty$, holds, where the supremum norm is taken over the polydisc $\mathbb{D}^d$. We show that for $d=3$, there exists a universal constant $C$ such that $\|p(T)\| \le C \|p\|_\infty$ for every homogeneous polynomial $p$. We also show that for general $d$ and arbitrary polynomials, the norm $\|p(T)\|$ is dominated by a certain Besov-type norm of $p$.
- [234] arXiv:2312.06508 (replaced) [pdf, html, other]
-
Title: Asynchronous Distributed Optimization with Delay-free ParametersComments: 18 pages. arXiv admin note: text overlap with arXiv:2303.18034Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Existing asynchronous distributed optimization algorithms often use diminishing step-sizes that cause slow practical convergence, or use fixed step-sizes that depend on and decrease with an upper bound of the delays. Not only are such delay bounds hard to obtain in advance, but they also tend to be large and rarely attained, resulting in unnecessarily slow convergence. This paper develops asynchronous versions of two distributed algorithms, Prox-DGD and DGD-ATC, for solving consensus optimization problems over undirected networks. In contrast to alternatives, our algorithms can converge to the fixed point set of their synchronous counterparts using step-sizes that are independent of the delays. We establish convergence guarantees for convex and strongly convex problems under both partial and total asynchrony. We also show that the convergence speed of the two asynchronous methods adjusts to the actual level of asynchrony rather than being constrained by the worst-case. Numerical experiments demonstrate a strong practical performance of our asynchronous algorithms.
- [235] arXiv:2312.07734 (replaced) [pdf, html, other]
-
Title: Hopf's lemmas and boundary point results for the fractional $p$-LaplacianComments: article accepted in Discrete and Continuous Dynamical Systems. Final versionSubjects: Analysis of PDEs (math.AP)
In this paper, we consider different versions of the classical Hopf's boundary lemma in the setting of the fractional $p-$Laplacian for $p \geq 2$. We start by providing for a new proof to a Hopf's lemma based on comparison principles. Afterwards, we give a Hopf's result for sign-changing potential describing the behavior of the fractional normal derivative of solutions around boundary points. The main contribution here is that we do not need to impose a global condition on the sign of the solution. Applications of the main results to boundary point lemmas and non-local non-linear overdetermined problems are also provided.
- [236] arXiv:2312.11684 (replaced) [pdf, html, other]
-
Title: Infinite simple characteristic quotientsComments: 17 pages. v2: added results on quasi-isometric diversity. v3: all groups constructed are now 2-generatedSubjects: Group Theory (math.GR)
We construct continuum many infinite, simple, characteristic quotients of non-abelian free groups, answering a 1978 question of James Wiegold. The method is very flexible, allowing to impose certain properties on the quotients, to generalize the construction to large classes of groups with hyperbolic features, and to produce quasi-isometrically diverse examples.
- [237] arXiv:2312.15754 (replaced) [pdf, html, other]
-
Title: Simplicity of crossed products of the actions of totally disconnected locally compact groups on their boundariesComments: 11 pages(v1), 14 pages(v2, v3); major restructuring. proof of the main theorem changed(v2); typos corrected(v3)Subjects: Operator Algebras (math.OA); Group Theory (math.GR)
We prove that if a totally disconnected locally compact group admits a topologically free boundary, then the reduced crossed product of continuous functions on its Furstenberg boundary by the group is simple. We also prove a partial converse of this result.
- [238] arXiv:2401.00299 (replaced) [pdf, html, other]
-
Title: Partitioning the hypercube into smaller hypercubesComments: Proofs slightly shortened and referee comments addressedSubjects: Combinatorics (math.CO)
Denote by Q_d the d-dimensional hypercube. Addressing a recent question we estimate the number of ways the vertex set of Q_d can be partitioned into vertex disjoint smaller cubes. Among other results, we prove that the asymptotic order of this function is not much larger than the number of perfect matchings of Q_d. We also describe several new (and old) questions.
- [239] arXiv:2401.00561 (replaced) [pdf, html, other]
-
Title: QGLAB: A MATLAB Package for Computations on Quantum GraphsComments: 41 pages, 18 figures. Major rewrite. Examples moved from appendix to body. Comments Welcome! Code associated with this publication available at this https URLSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
We describe QGLAB, a new MATLAB package for analyzing partial differential equations on quantum graphs. The software is built on the existing, object-oriented MATLAB directed-graph class, inheriting its structure and adding additional easy-to-use features. The package allows one to construct a quantum graph and accurately compute the spectrum of elliptic operators, solutions to Poisson problems, the linear and nonlinear time evolution of a variety of PDEs, the continuation of branches of steady states (including locating and switching branches at bifurcations) and more. It overcomes the major challenge of discretizing quantum graphs -- the enforcement of vertex conditions -- using non-square differentiation matrices. It uses a unified framework to implement finite-difference and Chebyshev discretizations of differential operators on a quantum graph. For simplicity, the package overloads many built-in MATLAB functions to work on the class.
- [240] arXiv:2401.14519 (replaced) [pdf, html, other]
-
Title: Sobolev Regularity of the Bergman Projection on a Smoothly Bounded Stein Domain that is not HyperconvexSubjects: Complex Variables (math.CV)
For every $0<r<\frac{1}{2}$, we will construct a flat Kähler manifold $M$ and a relatively compact domain with smooth boundary $\Omega\subset M$ that is Stein but not hyperconvex such that the Bergman projection $P$ on $\Omega$ is regular in the $L^2$ Sobolev space $W^s(\Omega)$ for all $0\leq s<r$ but irregular in $W^r(\Omega)$. On these domains, we will also construct $f\in C^\infty(\overline\Omega)$ such that $Pf\notin C^\infty(\overline\Omega)$. We will prove the same result for the invariant Bergman projection on $(2,0)$-forms. These domains are modelled on a construction of Diederich and Ohsawa.
- [241] arXiv:2402.03382 (replaced) [pdf, other]
-
Title: On a class of non-integer dimensional continuous functions with one unbounded variation pointComments: I am writing to request the withdrawal of my paper. After a thorough review, I have identified several improvements that would enhance the clarity and presentation of the work. I plan to incorporate these adjustments and resubmit a revised version in the near futureSubjects: Classical Analysis and ODEs (math.CA)
This paper constructs a class of non-integer dimensional continuous functions with one unbounded variation point, discusses their Hölder condition and variation on their domains. Specifically, the fractal dimension of a continuous function with one unbounded variation point can reach two.
- [242] arXiv:2402.05625 (replaced) [pdf, html, other]
-
Title: Coded Many-User Multiple Access via Approximate Message PassingComments: 25 pages, 8 figures. A shorter version of this paper appeared in the Proceedings of IEEE ISIT 2024Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
We consider communication over the Gaussian multiple-access channel in the regime where the number of users grows linearly with the codelength. In this regime, schemes based on sparse superposition coding can achieve a near-optimal tradeoff between spectral efficiency and signal-to-noise ratio. However, these schemes are feasible only for small values of user payload. This paper investigates efficient schemes for larger user payloads, focusing on coded CDMA schemes where each user's information is encoded via a linear code before being modulated with a signature sequence. We propose an efficient approximate message passing (AMP) decoder that can be tailored to the structure of the linear code, and provide an exact asymptotic characterization of its performance. Based on this result, we consider a decoder that integrates AMP and belief propagation and characterize its tradeoff between spectral efficiency and signal-to-noise ratio, for a given target error rate. Simulation results show that the decoder achieves state-of-the-art performance at finite lengths, with a coded CDMA scheme defined using LDPC codes and a spatially coupled matrix of signature sequences.
- [243] arXiv:2402.11852 (replaced) [pdf, other]
-
Title: Forcing techniques for Cicho\'n's Maximum: Lecture notes for the mini-course at the University of ViennaComments: Lecture notes corresponding to a mini-course of six sessions at the University of Vienna, from November 30th, 2023 to January 25th, 2024. More details have been added to the second versionSubjects: Logic (math.LO)
Cichoń's diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010's, Goldstern, Kellner and Shelah constructed a forcing model of Cichoń's Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichoń's Maximum model and much more.
- [244] arXiv:2402.17341 (replaced) [pdf, html, other]
-
Title: Circulant graphs with valency up to 4 that admit perfect state transfer in Grover walksComments: 24 pages, 6 figuresSubjects: Combinatorics (math.CO); Quantum Physics (quant-ph)
We completely characterize circulant graphs with valency up to $4$ that admit perfect state transfer. Those of valency $3$ do not admit it. On the other hand, circulant graphs with valency $4$ admit perfect state transfer only in two infinite families: one discovered by Zhan and another new family, while no others do. The main tools for deriving these results are symmetry of graphs and eigenvalues. We describe necessary conditions for perfect state transfer to occur based on symmetry of graphs, which mathematically refers to automorphisms of graphs. As for eigenvalues, if perfect state transfer occurs, then certain eigenvalues of the corresponding isotropic random walks must be the halves of algebraic integers. Taking this into account, we utilize known results on the rings of integers of cyclotomic fields.
- [245] arXiv:2403.02633 (replaced) [pdf, html, other]
-
Title: Spatially Non-Stationary XL-MIMO Channel Estimation: A Three-Layer Generalized Approximate Message Passing MethodComments: A revised manuscript has been submitted to the IEEE journal for possible publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In this paper, channel estimation problem for extremely large-scale multi-input multi-output (XL-MIMO) systems is investigated with the considerations of the spherical wavefront effect and the spatially non-stationary (SnS) property. Due to the diversities of SnS characteristics among different propagation paths, the concurrent channel estimation of multiple paths becomes intractable. To address this challenge, we propose a two-phase channel estimation scheme. In the first phase, the angles of departure (AoDs) on the user side are estimated, and a carefully designed pilot transmission scheme enables the decomposition of the received signal from different paths. In the second phase, the subchannel estimation corresponding to different paths is formulated as a three-layer Bayesian inference problem. Specifically, the first layer captures block sparsity in the angular domain, the second layer promotes SnS property in the antenna domain, and the third layer decouples the subchannels from the observed signals. To efficiently facilitate Bayesian inference, we propose a novel three-layer generalized approximate message passing (TL-GAMP) algorithm based on structured variational massage passing and belief propagation rules. Simulation results validate the convergence and effectiveness of the proposed algorithm, showcasing its robustness to different channel scenarios.
- [246] arXiv:2403.03614 (replaced) [pdf, html, other]
-
Title: On the mod $k$ chromatic index of graphsSubjects: Combinatorics (math.CO)
For a graph $G$ and an integer $k\geq 2$, a $\chi'_{k}$-coloring of $G$ is an edge coloring of $G$ such that the subgraph induced by the edges of each color has all degrees congruent to $1 ~ (\mod k)$, and $\chi'_{k}(G)$ is the minimum number of colors in a $\chi'_{k}$-coloring of $G$. In ["The mod $k$ chromatic index of graphs is $O(k)$", J. Graph Theory. 2023; 102: 197-200], Botler, Colucci and Kohayakawa proved that $\chi'_{k}(G)\leq 198k-101$ for every graph $G$. In this paper, we show that $\chi'_{k}(G) \leq 177k-93$.
- [247] arXiv:2403.06613 (replaced) [pdf, html, other]
-
Title: Maxitive functions with respect to general ordersSubjects: Statistics Theory (math.ST)
In decision-making, maxitive functions are used for worst-case and best-case evaluations. Maxitivity gives rise to a rich structure that is well-studied in the context of the pointwise order. In this article, we investigate maxitivity with respect to general preorders and provide a representation theorem for such functionals. The results are illustrated for different stochastic orders in the literature, including the usual stochastic order, the increasing convex/concave order, and the dispersive order.
- [248] arXiv:2403.17438 (replaced) [pdf, html, other]
-
Title: Parking functions and {\L}ukasiewicz pathsComments: 11 pages, 5 figures. Comments welcome!Journal-ref: Discrete Mathematics Letters, 14: 77-84 (2024)Subjects: Combinatorics (math.CO)
We present a bijection between two well-known objects in the ubiquitous Catalan family: non-decreasing parking functions and Łukasiewicz paths. This bijection maps the maximal displacement of a parking function to the height of the corresponding Łukasiewicz path, and the total displacement to the area of the path. We also study this bijection restricted to two specific families of parking-functions: unit-interval parking functions, and prime parking functions.
- [249] arXiv:2403.17573 (replaced) [pdf, html, other]
-
Title: Functional differential equations driven by c\`adl\`ag rough pathsComments: 32 pages, v2: modification of Assumption 2.1. and the respective proofs, additional comments and minor correctionsSubjects: Probability (math.PR); Classical Analysis and ODEs (math.CA)
The existence of unique solutions is established for rough differential equations (RDEs) with path-dependent coefficients and driven by càdlàg rough paths. Moreover, it is shown that the associated solution map, also known as Itô-Lyons map, is locally Lipschitz continuous. These results are then applied to various classes of rough differential equations, such as controlled RDEs and RDEs with delay, as well as stochastic differential equations with delay. To that end, a joint rough path is constructed for a càdlàg martingale and its delayed version, that corresponds to stochastic Itô integration.
- [250] arXiv:2403.18382 (replaced) [pdf, html, other]
-
Title: On distributions of $L'$-values and orders of Sha groups in families of quadratic twistsComments: 27 pages, a major revision, comments welcomeSubjects: Number Theory (math.NT)
In this article, we aim to establish a prototype result regarding lower bounds of (joint) distributions of central $L'$-values through extending a method of Radziwill and Soundararajan of proving conditional bounds for distributions of central $L$-values (via the one-level density of low-lying zeros of involving $L$-functions). To illustrate this, we give several conditional bounds towards joint distributions of central $L'$-values and orders of Tate-Shafarevich groups in rank-one families of quadratic twists. As an application, we derive a simultaneous non-vanishing result for central $L'$-values in families of quadratic twists of triples of holomorphic modular forms.
- [251] arXiv:2404.06719 (replaced) [pdf, html, other]
-
Title: Shannon's inequality on non-collapsing RCD spacesSubjects: Metric Geometry (math.MG)
We prove the Shannon's inequality on non-collapsing $\mathsf{RCD}(0,N)$ spaces. In the proof, we use the characterization of the $\mathsf{EVI}_{0,N}$-gradient flow of the relative entropy and the infinitesimal behavior of the heat kernel. Also we have a cone rigidity result. As an application, we have the so-called uncertainty principle inequality on such spaces.
- [252] arXiv:2404.10958 (replaced) [pdf, html, other]
-
Title: $L^p$ estimates of the maximal Schr\"odinger operator in $\mathbb R^n$Comments: Accepted by Journal of Functional Analysis in Nov 2024; incorporated referee's commentsSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)
We obtain $L^p$ estimates of the maximal Schrödinger operator in $\mathbb R^n$ using polynomial partitioning, bilinear refined Strichartz estimates, and weighted restriction estimates.
- [253] arXiv:2404.11629 (replaced) [pdf, html, other]
-
Title: Rules and Algorithms for Objective Construction of Fuzzy SetsSubjects: General Mathematics (math.GM)
This paper aims to present objective methods for constructing new fuzzy sets from known fuzzy or classical sets, defined over the elements of a finite universe's superstructure. The paper proposes rules for assigning membership functions to these new fuzzy sets, leading to two important findings. Firstly, the property concerning the cardinality of a power set in classical theory has been extended to the fuzzy setting, whereby the scalar cardinality of a fuzzy set $\tilde B$ defined on the power set of a finite universe of a fuzzy set $\tilde A$ satisfies $\text{card}(\tilde B)=2^{\text{card}(\tilde A)}$. Secondly, the novel algorithms allow for an arbitrary membership value to be objectively achieved and represented by a specific binary sequence.
- [254] arXiv:2404.18110 (replaced) [pdf, other]
-
Title: Some three dimensional smooth transonic flows for the steady Euler equations with an external forceComments: 59 pagesSubjects: Analysis of PDEs (math.AP)
We establish the existence and uniqueness of some smooth accelerating transonic flows governed by the three dimensional steady compressible Euler equations with an external force in cylinders with arbitrary cross sections, which include both irrotational flows and Beltrami flows with nonuniform proportionality factors. One of the key ingredients in the analysis of smooth transonic irrotational flows is the well-posedness theory of classical solutions in $H^4$ to a linear elliptic-hyperbolic mixed second order differential equation of Keldysh type in cylinders with mixed boundary conditions. This is achieved by extending the problem to an auxiliary linear elliptic-hyberbolic-elliptic mixed problem in a longer cylinder where the governing equation becomes elliptic at the exit of the new cylinder, so that one can use the multiplier method and the cut-off techniques to derive the $H^2$ and higher order estimates in transonic regions. It is further shown that the energy estimate can be closed in the $H^4$ framework. For smooth transonic Beltrami flows, we solve a transport equation for the proportionality factor and a type-changing enlarged deformation-curl system with mixed boundary conditions. The compatibility conditions for the $H^4$ estimate to the enlarged deformation-curl system near the intersection between the entrance and the cylinder wall play a crucial role in the analysis.
- [255] arXiv:2405.11600 (replaced) [pdf, other]
-
Title: Equal Sum and Product Problem IIIComments: The main result of the manuscript has been proved earlierSubjects: Number Theory (math.NT)
Denote by $N(n)$ the number of integer solutions $(x_1,\,x_2,\ldots ,x_n)$ of the equation $x_1+x_2+\ldots+x_n=x_1x_2\cdot\ldots\cdot x_n$ such that $x_1\ge x_2\ge\ldots\ge x_n\ge 1$, $n \in \mathbb{Z}^+$. The aim of this paper are is twofold: first we present an asymptotic formula for $\sum\limits_{2\le n\le x}N(n)$, then we verify that the counting function $N(n)$ takes very large value compared to its average value.
- [256] arXiv:2405.12597 (replaced) [pdf, html, other]
-
Title: Are zero-symmetric simple nearrings with identity equiprime?Subjects: Rings and Algebras (math.RA)
We show that there exist zero-symmetric simple nearrings with identity which are not equiprime, solving a longstanding open problem.
- [257] arXiv:2406.19481 (replaced) [pdf, other]
-
Title: The Galois-equivariant $K$-theory of finite fieldsComments: Fixed typos and added section on multiplicative structure. Comments welcome!Subjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT)
We compute the $RO(G)$-graded equivariant algebraic $K$-groups of a finite field with an action by its Galois group $G$. Specifically, we show these $K$-groups split as the sum of an explicitly computable term and the well-studied $RO(G)$-graded coefficient groups of the equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb Z}$. Our comparison between the equivariant $K$-theory spectrum and $H\underline{\mathbb Z}$ further shows they share the same Tate spectra and geometric fixed point spectra. In the case where $G$ has prime order, we provide an explicit presentation of the equivariant $K$-groups.
- [258] arXiv:2406.19839 (replaced) [pdf, html, other]
-
Title: Periodicity of atomic structure in a Thomas-Fermi mean-field modelComments: 41 pages, 0 figuresSubjects: Mathematical Physics (math-ph)
We consider a Thomas-Fermi mean-field model for large neutral atoms. That is, Schrödinger operators $H_Z^{\text{TF}}=-\Delta-\Phi_Z^{\text{TF}}$ in three-dimensional space, where $Z$ is the nuclear charge of the atom and $\Phi_Z^{\text{TF}}$ is a mean-field potential coming from the Thomas-Fermi density functional theory for atoms. For any sequence $Z_n\to\infty$ we prove that the corresponding sequence $H_{Z_n}^{\text{TF}}$ is convergent in the strong resolvent sense if and only if $D_{\text{cl}}Z_n^{1/3}$ is convergent modulo $1$ for a universal constant $D_{\text{cl}}$. This can be interpreted in terms of periodicity of large atoms. We also characterize the possible limiting operators (infinite atoms) as a periodic one-parameter family of self-adjoint extensions of $-\Delta-C_\infty\vert\,x\,\vert^{-4}$ for an explicit number $C_\infty$.
- [259] arXiv:2406.20025 (replaced) [pdf, html, other]
-
Title: Monogamous subvarieties of the nilpotent coneComments: 16 pagesSubjects: Representation Theory (math.RT)
Let $G$ be a reductive algebraic group over an algebraically closed field $k$ of prime characteristic not $2$, whose Lie algebra is denoted $\mathfrak{g}$. We call a subvariety $\mathfrak{X}$ of the nilpotent cone $N \subset \mathfrak{g}$ monogamous if for every $e\in \mathfrak{X}$, the $\mathfrak{sl}_2$-triples $(e,h,f)$ with $f\in \mathfrak{X}$ are conjugate under the centraliser $C_G(e)$. Building on work by the first two authors, we show there is a unique maximal closed $G$-stable monogamous subvariety $V \subset N$ and that it is an orbit closure, hence irreducible. We show that $V$ can also be characterised in terms of Serre's $G$-complete reducibility.
- [260] arXiv:2407.03357 (replaced) [pdf, html, other]
-
Title: Elementary Formulas for Greatest Common Divisors and Semiprime FactorsComments: Version 1 of this preprint was published to the Cryptology ePrint Archive. Updates in this version include: Restating the polynomial GCD formula as a conjecture, due to an issue in the previous proof. Addition of lemmas for square root formulaSubjects: General Mathematics (math.GM)
We conjecture new elementary formulas for computing the greatest common divisor (GCD) of two integers, alongside an elementary formula for extracting the prime factors of semiprimes. These formulas are of fixed-length and require only the basic arithmetic operations of: addition, subtraction, multiplication, division with remainder, and exponentiation. Our GCD formulas result from simplifying a formula of Mazzanti and are derived using Kronecker substitution techniques from our earlier research. By applying these GCD formulas together with our recent discovery of an arithmetic expression for $\sqrt{n}$, we are able to derive explicit elementary formulas for the prime factors of a semiprime $n=p q$.
- [261] arXiv:2407.06224 (replaced) [pdf, html, other]
-
Title: Measures in the dual of $BV$: perimeter bounds and relations with divergence-measure fieldsComments: 42 pages. arXiv admin note: text overlap with arXiv:2302.10592Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We analyze some properties of the measures in the dual of the space $BV$, by considering (signed) Radon measures satisfying a perimeter bound condition, which means that the absolute value of the measure of a set is controlled by the perimeter of the set itself, and whose total variations also belong to the dual of $BV$. We exploit and refine the results of [25](Phuc, Torres 2017), in particular exploring the relation with divergence-measure fields and proving the stability of the perimeter bound from sets to $BV$ functions under a suitable approximation of the given measure. As an important tool, we obtain a refinement of Anzellotti-Giaquinta approximation for $BV$ functions, which is of separate interest in itself and, in the context of Anzellotti's pairing theory for divergence-measure fields, implies a new way of approximating $\lambda$-pairings, as well as new bounds for their total variation. These results are also relevant due to their application in the study of weak solutions to the non-parametric prescribed mean curvature equation with measure data, which is explored in a subsequent work.
- [262] arXiv:2407.07910 (replaced) [pdf, html, other]
-
Title: About zero counting of Riemann Z functionComments: 15 pages, 10 figuresSubjects: General Mathematics (math.GM)
An approximate formula for complex Riemann Xi function, previously developed, is used to refine Backlund's estimate of the number of zeros till a chosen imaginary coordinate
- [263] arXiv:2407.09323 (replaced) [pdf, html, other]
-
Title: Improved polynomial decay for unbounded semigroupsComments: accepted for publication in Journal of Evolution EquationsSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP)
We obtain polynomial decay rates for $C_{0}$-semigroups, assuming that the resolvent grows polynomially at infinity in the complex right half-plane. Our results do not require the semigroup to be uniformly bounded, and for unbounded semigroups we improve upon previous results by, for example, removing a logarithmic loss on non-Hilbertian Banach spaces.
- [264] arXiv:2407.14132 (replaced) [pdf, html, other]
-
Title: Reduced Data-Driven Turbulence Closure for Capturing Long-Term StatisticsComments: 19 pages, 15 figures, submitted to ElsevierJournal-ref: Computers & Fluids 285(2024)106469Subjects: Dynamical Systems (math.DS); Numerical Analysis (math.NA)
We introduce a simple, stochastic, a-posteriori, turbulence closure model based on a reduced subgrid scale term. This subgrid scale term is tailor-made to capture the statistics of a small set of spatially-integrate quantities of interest (QoIs), with only one unresolved scalar time series per QoI. In contrast to other data-driven surrogates the dimension of the "learning problem" is reduced from an evolving field to one scalar time series per QoI. We use an a-posteriori, nudging approach to find the distribution of the scalar series over time. This approach has the advantage of taking the interaction between the solver and the surrogate into account. A stochastic surrogate parametrization is obtained by random sampling from the found distribution for the scalar time series. Compared to an a-priori trained convolutional neural network, evaluating the new method is computationally much cheaper and gives similar long-term statistics.
- [265] arXiv:2407.18163 (replaced) [pdf, other]
-
Title: Statistical optimal transportComments: Lecture Notes for École d'Été de Probabilités de Saint-Flour XLIX 2019Subjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
We present an introduction to the field of statistical optimal transport, based on lectures given at École d'Été de Probabilités de Saint-Flour XLIX.
- [266] arXiv:2407.20385 (replaced) [pdf, html, other]
-
Title: Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomainsComments: Minor corrections and adjustmentsSubjects: Analysis of PDEs (math.AP)
Let $\Omega \subset \mathbb{R}^{n+1}$ be a bounded chord-arc domain, let $\mathcal L=-{\rm div} A\nabla$ be an elliptic operator in $\Omega$ associated with a matrix $A$ having Dini mean oscillation coefficients, and let $1<p\leq 2$. In this paper we show that if the regularity problem for $\mathcal L$ is solvable in $L^q$ for some $q>p$ in $\Omega$, $\partial \Omega$ supports a weak $p$-Poincaré inequality, and $\Omega$ has very big pieces of superdomains for which the Neumann problem for $\mathcal L$ is solvable uniformly in $L^q$, then the Neumann problem for $\mathcal L$ is solvable in $L^p$ in $\Omega$.
- [267] arXiv:2408.00220 (replaced) [pdf, html, other]
-
Title: Persistent de Rham-Hodge Laplacians in Eulerian representation for manifold topological learningSubjects: Differential Geometry (math.DG); Machine Learning (cs.LG)
Recently, topological data analysis has become a trending topic in data science and engineering. However, the key technique of topological data analysis, i.e., persistent homology, is defined on point cloud data, which does not work directly for data on manifolds. Although earlier evolutionary de Rham-Hodge theory deals with data on manifolds, it is inconvenient for machine learning applications because of the numerical inconsistency caused by remeshing the involving manifolds in the Lagrangian representation. In this work, we introduce persistent de Rham-Hodge Laplacian, or persistent Hodge Laplacian (PHL) as an abbreviation, for manifold topological learning. Our PHLs are constructed in the Eulerian representation via structure-persevering Cartesian grids, avoiding the numerical inconsistency over the multiscale manifolds. To facilitate the manifold topological learning, we propose a persistent Hodge Laplacian learning algorithm for data on manifolds or volumetric data. As a proof-of-principle application of the proposed manifold topological learning model, we consider the prediction of protein-ligand binding affinities with two benchmark datasets. Our numerical experiments highlight the power and promise of the proposed method.
- [268] arXiv:2408.05988 (replaced) [pdf, html, other]
-
Title: Eigenvalue Based Active User Enumeration for Grant-Free Access Under Carrier Frequency OffsetsComments: This work has been submitted to the IEEE for possible publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper investigates a grant-free non-orthogonal multiple access (GF-NOMA) system in the presence of carrier frequency offsets. We propose two schemes for enumerating active users in such a GF-NOMA system, which is equivalent to estimating the sparsity level. Both schemes utilize a short common pilot and the eigenvalues of the sample covariance matrix of the received signal. The two schemes differ in their treatment of noise variance: one exploits known variance information, while the other is designed to function without this knowledge. Simulation results demonstrate the effectiveness of the proposed schemes in terms of the normalized root-mean-squared error.
- [269] arXiv:2408.14835 (replaced) [pdf, html, other]
-
Title: Expression of Farhi's integral in terms of known mathematical constantsSubjects: Number Theory (math.NT)
In an interesting article entitled "A curious formula related to the Euler Gamma function", Bakir Farhi posed the open question of whether it was possible to obtain an expression of $$ \boldsymbol{\eta}=2\int_0^1\log\Gamma(x)\,\cdot\sin(2\pi x)\,\mathrm{d}x=0.7687478924\dots $$ in terms of the known mathematical constants as $\pi$, $\log\pi$, $\log 2$, $\Gamma(1/4)$, $e$, etc. In the present work, we show that $$ \boldsymbol{\eta}=\frac{1}{\pi}\left[\gamma+\log(2\pi)\right], $$ where $\gamma$ is the usual Euler-Mascheroni constant, and provide two different proofs, the first one involving the Glaisher-Kinkelin constant, and the second one based on the Malmstén integral representation of $\log\Gamma(x)$. The resulting formula can also be obtained directly from the knowledge of the Fourier series expansion of $\log\Gamma(x)$.
- [270] arXiv:2408.15352 (replaced) [pdf, html, other]
-
Title: Discrete Imprecise CopulasSubjects: Statistics Theory (math.ST)
In this paper, we study discrete quasi-copulas associated with imprecise copulas. We focus on discrete imprecise copulas that are in correspondence with the Alternating Sign Matrices and provide some construction techniques of dual pairs. Additionally, we show how to obtain (full-domain) self-dual imprecise copulas through patchwork techniques. We further investigate the properties of the constructed dual pairs and prove that they are coherent and avoid sure loss.
- [271] arXiv:2409.03510 (replaced) [pdf, html, other]
-
Title: A Deceptively Simple Quadratic RecurrenceComments: 9 pagesSubjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Standard techniques for treating linear recurrences no longer apply for quadratic recurrences. It is not hard to determine asymptotics for a specific parametrized model over a wide domain of values (all $p \neq 1/2$ here). The gap between theory and experimentation seems insurmountable, however, at a single outlier ($p = 1/2$).
- [272] arXiv:2409.06344 (replaced) [pdf, html, other]
-
Title: On semitopological simple inverse $\omega$-semigroups with compact maximal subgroupsComments: 14 pagesSubjects: Group Theory (math.GR); General Topology (math.GN)
We describe the structure of ($0$-)simple inverse Hausdorff semitopological $\omega$-semigroups with compact maximal subgroups. In particular, we show that if $S$ is a simple inverse Hausdorff semitopological $\omega$-semigroup with compact maximal subgroups, then $S$ is topologically isomorphic to the Bruck--Reilly extension $\left(\textbf{BR}(T,\theta),\tau_{\textbf{BR}}^{\oplus}\right)$ of a finite semilattice $T=\left[E;G_\alpha,\varphi_{\alpha,\beta}\right]$ of compact groups $G_\alpha$ in the class of topological inverse semigroups, where $\tau_{\textbf{BR}}^{\oplus}$ is the sum direct topology on $\textbf{BR}(T,\theta)$. Also we prove that every Hausdorff locally compact shift-continuous topology on the simple inverse Hausdorff semitopological $\omega$-semigroups with compact maximal subgroups with adjoined zero is either compact or the zero is an isolated point.
- [273] arXiv:2409.08394 (replaced) [pdf, html, other]
-
Title: Random walks with stochastic resetting in complex networks: a discrete time approachSubjects: Probability (math.PR)
We consider a discrete-time Markovian random walk with resets on a connected undirected network. The resets, in which the walker is relocated to randomly chosen nodes, are governed by an independent discrete-time renewal process. Some nodes of the network are target nodes, and we focus on the statistics of first hitting of these nodes. In the non-Markov case of the renewal process, we consider both light- and fat-tailed inter-reset distributions. We derive the propagator matrix in terms of discrete backward recurrence time PDFs and in the light-tailed case we show the existence of a non-equilibrium steady state. In order to tackle the non-Markov scenario, we derive a defective propagator matrix which describes an auxiliary walk characterized by killing the walker as soon as it hits target nodes. This propagator provides the information on the mean first passage statistics to the target nodes. We establish sufficient conditions for ergodicity of the walk under resetting. Furthermore, we discuss a generic resetting mechanism for which the walk is non-ergodic. Finally, we analyze inter-reset time distributions with infinite mean where we focus on the Sibuya case. We apply these results to study the mean first passage times for Markovian and non-Markovian (Sibuya) renewal resetting protocols in realizations of Watts-Strogatz and Barabási-Albert random graphs. We show non trivial behavior of the dependence of the mean first passage time on the proportions of the relocation nodes, target nodes and of the resetting rates. It turns out that, in the large-world case of the Watts-Strogatz graph, the efficiency of a random searcher particularly benefits from the presence of resets.
- [274] arXiv:2409.10513 (replaced) [pdf, other]
-
Title: KPZ equation from ASEP plus general speed-change driftComments: Revised introductionSubjects: Probability (math.PR)
We derive the KPZ equation as a continuum limit of height functions in asymmetric simple exclusion processes with a hyperbolic-scale drift that depends on the local particle configuration. To our knowledge, it is a first such result for a general class of particle systems with neither duality nor explicit invariant measures. The new tools to handle the lack of an invariant measure are estimates for Kolmogorov equations that produce a more robust proof of the Kipnis-Varadhan inequality. These tools are not exclusive to KPZ.
- [275] arXiv:2409.20421 (replaced) [pdf, other]
-
Title: The supercooled Stefan problem with transport noise: weak solutions and blow-upComments: 37 pages, 3 figuresSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We derive two weak formulations for the supercooled Stefan problem with transport noise on a half-line: one captures a continuously evolving system, while the other resolves blow-ups by allowing for jump discontinuities in the evolution of the temperature profile and the freezing front. For the first formulation, we establish a probabilistic representation in terms of a conditional McKean--Vlasov problem, and we then show that there is finite time blow-up with positive probability when part of the initial temperature profile exceeds a critical value. On the other hand, the system is shown to evolve continuously when the initial profile is everywhere below this value. In the presence of blow-ups, we show that the conditional McKean--Vlasov problem provides global solutions of the second weak formulation. Finally, we identify a solution of minimal temperature increase over time and we show that its discontinuities are characterized by a natural resolution of emerging instabilities with respect to an infinitesimal external heat transfer.
- [276] arXiv:2409.20529 (replaced) [pdf, html, other]
-
Title: Ford Spheres in the Clifford-Bianchi SettingSubjects: Number Theory (math.NT)
We define Ford Spheres $\mathcal{P}$ in hyperbolic $n$-space associated to Clifford-Bianchi groups $PSL_2(O)$ for $O$ orders in rational Clifford algebras associated to positive definite, integral, primitive quadratic forms. For $\mathcal{H}^2$ and $\mathcal{H}^3$ these spheres correspond to the classical Ford circles and Ford spheres (these are non-maximal subsets of classical Apollonian packings).
We prove the Ford spheres are integral, have disjoint interiors, and intersect tangentially when they do intersect. If we assume that $O$ is Clifford-Euclidean then $\mathcal{P}$ is also connected. We also give connections to Dirichlet's Theorem and Farey fractions.
In a discussion section, we pose some questions related to existing packings in the literature. - [277] arXiv:2410.08415 (replaced) [pdf, html, other]
-
Title: On Gizatullin's Problem for quartic surfaces of Picard rank $2$Comments: 22 pages, v2: dropped the generality assumption in the main theoremSubjects: Algebraic Geometry (math.AG)
In this paper we determine which automorphisms of general smooth quartic surfaces $S\subset \mathbb{P}^3$ of Picard rank $2$ are restrictions of Cremona transformations of $\mathbb{P}^3$.
- [278] arXiv:2410.16466 (replaced) [pdf, html, other]
-
Title: An Immersed Interface Method for Incompressible Flows and Geometries with Sharp FeaturesComments: 21 pages, 14 figuresSubjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)
The immersed interface method (IIM) for models of fluid flow and fluid-structure interaction imposes jump conditions that capture stress discontinuities generated by forces that are concentrated along immersed boundaries. Most prior work using the IIM for fluid dynamic applications has focused on smooth interfaces, but boundaries with sharp features such as corners and edges can appear in practical analyses, particularly on engineered structures. The present study builds on our work to integrate finite element-type representations of interface geometries with the IIM. Initial realizations of this approach used a continuous Galerkin (CG) finite element discretization for the boundary, but as we show herein, these approaches generate large errors near sharp geometrical features. To overcome this difficulty, this study introduces an IIM approach using discontinuous Galerkin (DG) representation of the jump conditions. Numerical examples explore the impacts of different interface representations on accuracy for both smooth and sharp boundaries, particularly flows interacting with fixed interface configurations. We demonstrate that using a DG approach provides accuracy that is comparable to the CG method for smooth cases. Further, we identify a time step size restriction for the CG representation that is directly related to the sharpness of the geometry. In contrast, time step size restrictions imposed by DG representations are demonstrated to be insensitive to the presence of sharp features.
- [279] arXiv:2410.17848 (replaced) [pdf, html, other]
-
Title: Frozen planet orbits for the $n$-electron atomComments: Updated bibliographySubjects: Dynamical Systems (math.DS)
We seek periodic trajectories of a system of multiple mutually repelling electrons on a half-line, with an attractive nucleus sitting at the origin. We adopt a variational viewpoint and study critical points of the associated Lagrange-action functional, by means of a modified Lusternik-Schnirelmann theory for manifolds with boundary. Additionally, when the charges of the electrons tend to zero, we show that frozen planet orbits converge to segments of a brake orbit for a Kepler-type problem, establishing a strong analogy with the Schubart orbits of the gravitational $n$-body problem.
- [280] arXiv:2410.20416 (replaced) [pdf, other]
-
Title: The unstable homotopy groups of 2-cell complexesSubjects: Algebraic Topology (math.AT)
In this paper, we develop the new method, initiated by B. Gray (1972), to compute the unstable homotopy groups of the mapping cone, especially for $2$-cell complex $X=S^m\cup_{\alpha} e^{n}$. By Gray's work mentioned above or the traditional method given by this http URL (1957) which were widely used in previous related work to compute $\pi_{i}(X)$, the dimension $i\leq 2n+m-4$. By our method, we can compute $\pi_{i}(X)$ for $i>2n+m-4$. We use this different technique to generalize this http URL's work, at Mem. of AMS, on homotopy groups of mod $2$ Moore spaces to higher dimensional homotopy groups of mod $2^r$ Moore spaces $P^{n}(2^r)$ for all $r\geq 1$. This practice shows that the technique given here is a new general method to compute the unstable homotopy groups of CW complexes with higher dimension.
- [281] arXiv:2410.21039 (replaced) [pdf, html, other]
-
Title: Scale-Dependent Poincar\'{e} inequalities and the stability of the Heisenberg Uncertainty Principle on the hyperbolic spaceSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We establish a general scale-dependent Poincaré-Hardy type identity involving a vector field on the hyperbolic space. By choosing suitable parameter, potential and vector field in this identity, we can recover, as well as derive new versions of several Poincaré type, Hardy type and Poincaré-Hardy type inequalities in the literature. We also investigate weighted Poincaré inequalities on hyperbolic space, where the weight functions depend on a scaling parameter. This leads to a new family of scale-dependent Poincaré inequalities with Gaussian type measure on the hyperbolic space which is of independent interest. As a result, we derive both scale-dependent and scale-invariant $L^{2}$-stability results for the Heisenberg uncertainty principle in this setting.
- [282] arXiv:2410.21103 (replaced) [pdf, html, other]
-
Title: Stability of nearly K\"ahler and nearly parallel $G_2$-manifoldsComments: 36 pages; minor typos and references correctedSubjects: Differential Geometry (math.DG)
We investigate generalisations of Hitchin's functionals, whose critical points correspond to nearly Kähler and nearly parallel $G_2$-structures. Our focus is on the gradient flow of these functionals and the spectral decomposition of their Hessians with respect to natural indefinite inner products.
We introduce a Morse-like index for these functionals, termed the Hitchin index. We prove this index provides a lower bound for the Einstein co-index and explore its relationship with the deformation theory of $G_2$- and $\operatorname{Spin}(7)$-conifolds. - [283] arXiv:2410.21106 (replaced) [pdf, html, other]
-
Title: The Hitchin index in cohomogeneity one nearly K\"ahler structuresComments: 25 pages; minor typos and references correctedSubjects: Differential Geometry (math.DG)
Nearly Kähler and Einstein structures admit a variational characterization, where the second variation is associated with a strongly elliptic operator. This allows us to associate a Morse-like index to each structure. Our study focuses on how these indices behave under the assumption that the nearly Kähler structure admits a cohomogeneity one action. Specifically, we investigate elements of the index that also exhibit cohomogeneity one symmetry, reducing the analysis to an ODE eigenvalue problem.
We apply our discussion to the two inhomogeneous examples constructed by Foscolo and Haskins. We obtain non-trivial lower bounds on the Hitchin index and Einstein co-index for the inhomogeneous nearly Kähler structure on $S^3\times S^3$, answering a question of Karigiannis and Lotay. - [284] arXiv:2410.21217 (replaced) [pdf, other]
-
Title: Symmetric similarity 3D coordinate transformation based on dual quaternion algorithmComments: 31 pages, 0 figureSubjects: Numerical Analysis (math.NA)
Nowadays, we have seen that dual quaternion algorithms are used in 3D coordinate transformation problems due to their advantages. 3D coordinate transformation problem is one of the important problems in geodesy. This transformation problem is encountered in many application areas other than geodesy. Although there are many coordinate transformation methods (similarity, affine, projective, etc.), similarity transformation is used because of its simplicity. The asymmetric transformation is preferred to the symmetric coordinate transformation because of its ease of use. In terms of error theory, the symmetric transformation should be preferred. In this study, the topic of symmetric similarity 3D coordinate transformation based on the dual quaternion algorithm is discussed, and the bottlenecks encountered in solving the problem and the solution method are discussed. A new iterative algorithm based on the dual quaternion is presented. The solution is implemented in two different models: with constraint equations and without constraint equations. The advantages and disadvantages of the two models compared to each other are also evaluated. Not only the transformation parameters but also the errors of the transformation parameters are determined. The detailed derivation of the formulas for estimating the symmetric similarity of 3D transformation parameters is presented step by step. Since symmetric transformation is the general form of asymmetric transformation, we can also obtain asymmetric transformation results with a simple modification of the model we developed for symmetric transformation. The proposed algorithm is capable of performing both 2D and 3D symmetric and asymmetric similarity transformations. For the 2D transformation, it is sufficient to replace the z and Z coordinates in both systems with zero.
- [285] arXiv:2410.21863 (replaced) [pdf, html, other]
-
Title: On invariance of observability for BSDEs and its applications to stochastic control systemsComments: 26 PagesSubjects: Optimization and Control (math.OC)
In this paper, we establish the invariance of observability for the observed backward stochastic differential equations (BSDEs) with constant coefficients, relative to the filtered probability space. This signifies that the observability of these observed BSDEs with constant coefficients remains unaffected by the selection of the filtered probability space. As an illustrative application, we demonstrate that for stochastic control systems with constant coefficients, weak observability, approximate null controllability with cost, and stabilizability are equivalent across some or any filtered probability spaces.
- [286] arXiv:2410.22351 (replaced) [pdf, html, other]
-
Title: The characterization of general pseudo-homogeneous t-normsComments: 18Subjects: General Mathematics (math.GM)
This article first introduces the concept of a general pseudo-homogeneous triangular norm. It then gives some properties of general pseudo-homogeneous triangular norms. Finally, it characterizes all general pseudo-homogeneous triangular norms completely.
- [287] arXiv:2410.22620 (replaced) [pdf, other]
-
Title: Geometric leaf of symplectic groupoidSubjects: Quantum Algebra (math.QA)
We consider the symplectic groupoid of pairs $(B, A)$ with $A$ real unipotent upper-triangular matrix and $B\in GL_n$ being such that $\tilde A=BAB^T$ is also a unipotent upper-triangular matrix. Fock and Chekhov defined a Poisson map of Teichmüller space ${\mathcal T_{g,s}$ of genus $g$ surfaces with $s$ holes into the space of unipotent upper-triangular $n\times n$ matrices whose image forms the \emph{geometric locus}. The elements of geometric locus satisfy \emph{rank condition}. We describe the Hamiltonian reduction of the Poisson cluster variety of symplectic groupoid by the rank condition for $n=5$ and $6$. In both cases, we analyze the induced cluster structures on the results of Hamiltonian reduction and recover celebrated cluster structure on ${\mathcal T}_{2,1}$ for $n=5$ and ${\mathcal T}_{2,2}$ for $n=6$.
- [288] arXiv:2410.23021 (replaced) [pdf, other]
-
Title: Hyperbolic absolutely continuous invariant measures for C^r one-dimensional mapsAlexandre Delplanque (LPSM, SU)Comments: 41 pages. Fixed the bibliography and a typo in the index of notations. Comments are welcomeSubjects: Dynamical Systems (math.DS)
For r > 1, we show, using the Ledrappier-Young entropy characterization of SRB measures for non-invertible maps, that if a C^r map f of the interval or the circle has its Lyapunov exponent greater than 1/r log ||f ' || $\infty$ on a set E of positive Lebesgue measure, then it admits hyperbolic ergodic invariant measures that are absolutely continuous with respect to the Lebesgue measure. We also show that the basins of these measures cover E Lebesgue-almost everywhere.
- [289] arXiv:2410.23078 (replaced) [pdf, other]
-
Title: $q$-Witt vectors and $q$-Hodge complexesComments: 78 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
In this article, we'll introduce a $q$-variant of Witt vectors and de Rham-Witt complexes. This variant is closely related to the Habiro ring of a number field constructed by Garoufalidis, Scholze, Wheeler, and Zagier, to $q$-Hodge cohomology, and to $\operatorname{THH}(-/\mathrm{ku})$. While most of these connections will only be explored in forthcoming work, the goal of this article is to provide the necessary technical foundation.
- [290] arXiv:2411.00797 (replaced) [pdf, html, other]
-
Title: On Schauder Bases in Hilbert SpaceSubjects: Functional Analysis (math.FA); Mathematical Physics (math-ph)
In this short note we present a far generalization of the following very well-known assertion: assume that we have two orthonormal sequences in a Hilbert space and these sequences are quadratically close to each other. Then if one of these sequences is a basis in the Hilbert space then so is the other one.
- [291] arXiv:2411.00905 (replaced) [pdf, other]
-
Title: Group-Convolutional Extended Dynamic Mode DecompositionSubjects: Dynamical Systems (math.DS)
This paper explores the integration of symmetries into the Koopman-operator framework for the analysis and efficient learning of equivariant dynamical systems using a group-convolutional approach. Approximating the Koopman operator by finite-dimensional surrogates, e.g., via extended dynamic mode decomposition (EDMD), is challenging for high-dimensional systems due to computational constraints. To tackle this problem with a particular focus on EDMD, we demonstrate -- under suitable equivarance assumptions on the system and the observables -- that the optimal EDMD matrix is equivariant. That is, its action on states can be described by group convolutions and the generalized Fourier transform. We show that this structural property has many advantages for equivariant systems, in particular, that it allows for data-efficient learning, fast predictions and fast eigenfunction approximations. We conduct numerical experiments on the Kuramoto--Sivashinsky equation, a nonlinear and chaotic partial differential equation, providing evidence of the effectiveness of this approach, and highlighting its potential for broader applications in dynamical systems analysis.
- [292] arXiv:2411.01211 (replaced) [pdf, html, other]
-
Title: Spatial Transformers for Radio Map EstimationSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
Radio map estimation (RME) involves spatial interpolation of radio measurements to predict metrics such as the received signal strength at locations where no measurements were collected. The most popular estimators nowadays project the measurement locations to a regular grid and complete the resulting measurement tensor with a convolutional deep neural network. Unfortunately, these approaches suffer from poor spatial resolution and require a great number of parameters. The first contribution of this paper addresses these limitations by means of an attention-based estimator named Spatial TransfOrmer for Radio Map estimation (STORM). This scheme not only outperforms the existing estimators, but also exhibits lower computational complexity, translation equivariance, rotation equivariance, and full spatial resolution. The second contribution is an extended transformer architecture that allows STORM to perform active sensing, by which the next measurement location is selected based on the previous measurements. This is particularly useful for minimization of drive tests (MDT) in cellular networks, where operators request user equipment to collect measurements. Finally, STORM is extensively validated by experiments with one ray-tracing and two real-measurement datasets.
- [293] arXiv:2411.02568 (replaced) [pdf, html, other]
-
Title: Viscosity under infinite acceleration assumptions and Navier Stokes equationsSubjects: Analysis of PDEs (math.AP)
We consider a pseudo-parabolic approximations to the Navier-Stokes equations and prove existence and uniqueness of smooth solutions. We also consider convergence of family of pseudo-parabolic approximations.
- [294] arXiv:2411.02826 (replaced) [pdf, html, other]
-
Title: Difference of composition operators on Korenblum spaces over tube domainSubjects: Functional Analysis (math.FA)
The Korenblum space, often referred to as a growth space, is a special type of analytic function space. This paper investigates the properties of the difference of composition operators on the Korenblum space over the product of upper half planes, characterizing their boundedness and compactness. Using the result on boundedness, we show that all bounded differences of composition operators are absolutely summable operators.
- [295] arXiv:2411.02838 (replaced) [pdf, html, other]
-
Title: The fundamental group and the magnitude-path spectral sequence of a directed graphComments: 33 pagesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO)
The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The fundamental group of a directed graph is related to path homology through the Hurewicz theorem. The magnitude-path spectral sequence connects magnitude homology and path homology of a directed graph, and it may be thought of as a sequence of homology of a directed graph, including path homology. In this paper, we study relations of the $r$-fundamental groups and the magnitude-path spectral sequence through the Hurewicz theorem and the Seifert-van Kampen theorem.
- [296] arXiv:2411.04123 (replaced) [pdf, other]
-
Title: The monoid representation of upho posets and total positivityComments: 37 pages, 6 figures. An extended abstract of this work was presented at FPSAC 2024Subjects: Combinatorics (math.CO)
We show that all totally positive formal power series with integer coefficients and constant term $1$ are precisely the rank-generating functions of Schur-positive upho posets, thereby resolving the main conjecture proposed by Gao, Guo, Seetharaman, and Seidel. To achieve this, we construct a bijection between finitary colored upho posets and atomic, left-cancellative, invertible-free monoids, which restricts to a correspondence between $\mathbb{N}$-graded colored upho posets and left-cancellative homogeneous monoids. Furthermore, we introduce semi-upho posets and develop a convolution operation on colored upho posets with colored semi-upho posets within this monoid-theoretic framework.
- [297] arXiv:2008.13309 (replaced) [pdf, html, other]
-
Title: Preference Robust Optimization with Quasi-Concave Choice Functions in Multi-Attribute Decision-Making: Characterization and ComputationComments: 56 pages, 5 figures, submittedSubjects: Risk Management (q-fin.RM); Optimization and Control (math.OC)
In behavioural economics, a decision maker's (DM's) preferences are often expressed by a preference functional such as expected utility or a distortion risk measure, which assigns a numerical value to a risky prospect. Preference robust optimization (PRO) is about decision making where the DM's preference functional is ambiguous and the optimal decision is based on the worst-case preference functional from a set of plausible ones constructed from available partial information about the DM's true preferences. In this paper, we propose a choice function (a particular class of preference functionals) based PRO model where the DM's preferences over a prospect space satisfy Von Neumann-Morgenstern's (VNM's) axioms of completeness, monotonicity, and continuity. We concentrate on the class of choice functions which are monotonic, quasi-concave, and multi-attribute. The resulting PRO model is broader than the existing expected utility-based PRO models in that: (a) it captures a broader class of DM's preferences; and (b) it can be effectively applied to multi-attribute decision making problems where the DM's preferences over different attributes are related in a nonlinear manner. We propose a cutting plane-type method for evaluating the worst-case choice function and solve the resulting PRO problem by solving a sequence of convex optimization problems. We examine the behavior and scalability of the proposed model and computational schemes numerically on a multi-portfolio optimization problem and a capital allocation problem.
- [298] arXiv:2204.04119 (replaced) [pdf, html, other]
-
Title: Using negative controls to identify causal effects with invalid instrumental variablesComments: 65 pagesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Many proposals for the identification of causal effects require an instrumental variable that satisfies strong, untestable unconfoundedness and exclusion restriction assumptions. In this paper, we show how one can potentially identify causal effects under violations of these assumptions by harnessing a negative control population or outcome. This strategy allows one to leverage sup-populations for whom the exposure is degenerate, and requires that the instrument-outcome association satisfies a certain parallel trend condition. We develop the semiparametric efficiency theory for a general instrumental variable model, and obtain a multiply robust, locally efficient estimator of the average treatment effect in the treated. The utility of the estimators is demonstrated in simulation studies and an analysis of the Life Span Study.
- [299] arXiv:2311.18386 (replaced) [pdf, other]
-
Title: A Novel Variational Approach for Multiphoton Microscopy Image Restoration: from PSF Estimation to 3D DeconvolutionJulien Ajdenbaum (OPIS, CVN), Emilie Chouzenoux (OPIS, CVN), Claire Lefort (XLIM), Ségolène Martin (OPIS, CVN), Jean-Christophe Pesquet (OPIS, CVN)Journal-ref: Inverse Problems, 2024, 40 (6)Subjects: Image and Video Processing (eess.IV); Optimization and Control (math.OC)
In multi-photon microscopy (MPM), a recent in-vivo fluorescence microscopy system, the task of image restoration can be decomposed into two interlinked inverse problems: firstly, the characterization of the Point Spread Function (PSF) and subsequently, the deconvolution (i.e., deblurring) to remove the PSF effect, and reduce noise. The acquired MPM image quality is critically affected by PSF blurring and intense noise. The PSF in MPM is highly spread in 3D and is not well characterized, presenting high variability with respect to the observed objects. This makes the restoration of MPM images challenging. Common PSF estimation methods in fluorescence microscopy, including MPM, involve capturing images of sub-resolution beads, followed by quantifying the resulting ellipsoidal 3D spot. In this work, we revisit this approach, coping with its inherent limitations in terms of accuracy and practicality. We estimate the PSF from the observation of relatively large beads (approximately 1$\mu$m in diameter). This goes through the formulation and resolution of an original non-convex minimization problem, for which we propose a proximal alternating method along with convergence guarantees. Following the PSF estimation step, we then introduce an innovative strategy to deal with the high level multiplicative noise degrading the acquisitions. We rely on a heteroscedastic noise model for which we estimate the parameters. We then solve a constrained optimization problem to restore the image, accounting for the estimated PSF and noise, while allowing a minimal hyper-parameter tuning. Theoretical guarantees are given for the restoration algorithm. These algorithmic contributions lead to an end-to-end pipeline for 3D image restoration in MPM, that we share as a publicly available Python software. We demonstrate its effectiveness through several experiments on both simulated and real data.
- [300] arXiv:2401.13083 (replaced) [pdf, html, other]
-
Title: Generalized Models for Inflationary Preheating: Oscillations and SymmetriesComments: 35 pages, 15 figuresSubjects: Cosmology and Nongalactic Astrophysics (astro-ph.CO); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)
The paradigm of the inflationary universe provides a possible explanation for several observed cosmological properties. In order for such solutions to be successful, the universe must convert the energy stored in the inflaton potential into standard model particles through a process known as reheating. In this paper, we reconsider the reheating process for the case where the inflaton potential respects an approximate (but spontaneously broken) conformal symmetry during the reheating epoch. After reviewing the Effective Field Theory of Reheating, we present solutions for the nonlinear oscillations of the inflaton field, derive the corresponding Hill's equation for the coupled reheating field, and determine the stability diagram for parametric resonance. For this class of models -- the simplest realization being a scalar field with a quartic term -- the expansion of the universe drives the coupled field toward a more unstable part of parameter space, in contrast to the standard case. We also generalize this class of models to include quadratic breaking terms in the potential during the reheating epoch and address the process of stability in that universality class of models.
- [301] arXiv:2402.02520 (replaced) [pdf, html, other]
-
Title: A minimal model of cognition based on oscillatory and current-based reinforcement processesSubjects: Neurons and Cognition (q-bio.NC); Social and Information Networks (cs.SI); Dynamical Systems (math.DS); Adaptation and Self-Organizing Systems (nlin.AO); Biological Physics (physics.bio-ph)
Building mathematical models of brains is difficult because of the sheer complexity of the problem. One potential starting point is through basal cognition, which gives abstract representation of a range of organisms without central nervous systems, including fungi, slime moulds and bacteria. We propose one such model, demonstrating how a combination of oscillatory and current-based reinforcement processes can be used to couple resources in an efficient manner, mimicking the way these organisms function. A key ingredient in our model, not found in previous basal cognition models, is that we explicitly model oscillations in the number of particles (i.e. the nutrients, chemical signals or similar, which make up the biological system) and the flow of these particles within the modelled organisms. Using this approach, we find that our model builds efficient solutions, provided the environmental oscillations are sufficiently out of phase. We further demonstrate that amplitude differences can promote efficient solutions and that the system is robust to frequency differences. In the context of these findings, we discuss connections between our model and basal cognition in biological systems and slime moulds, in particular, how oscillations might contribute to self-organised problem-solving by these organisms.
- [302] arXiv:2402.07193 (replaced) [pdf, html, other]
-
Title: Parameter Symmetry and Noise Equilibrium of Stochastic Gradient DescentComments: NeurIPS camera readySubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Symmetries are prevalent in deep learning and can significantly influence the learning dynamics of neural networks. In this paper, we examine how exponential symmetries -- a broad subclass of continuous symmetries present in the model architecture or loss function -- interplay with stochastic gradient descent (SGD). We first prove that gradient noise creates a systematic motion (a ``Noether flow") of the parameters $\theta$ along the degenerate direction to a unique initialization-independent fixed point $\theta^*$. These points are referred to as the {\it noise equilibria} because, at these points, noise contributions from different directions are balanced and aligned. Then, we show that the balance and alignment of gradient noise can serve as a novel alternative mechanism for explaining important phenomena such as progressive sharpening/flattening and representation formation within neural networks and have practical implications for understanding techniques like representation normalization and warmup.
- [303] arXiv:2402.10262 (replaced) [pdf, other]
-
Title: Explicit large $N$ von Neumann algebras from matrix modelsComments: 86 pages + appendices, 23 figures. v2: improvements and clarifications added, journal versionSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Operator Algebras (math.OA); Quantum Physics (quant-ph)
We construct a large family of quantum mechanical systems that give rise to an emergent type III$_1$ von Neumann algebra in the large $N$ limit. Their partition functions are matrix integrals that appear in the study of various gauge theories. We calculate the real-time, finite temperature correlation functions in these systems and show that they are described by an emergent type III$_1$ von Neumann algebra at large $N$. The spectral density underlying this algebra is computed in closed form in terms of the eigenvalue density of a discrete matrix model. Furthermore, we explain how to systematically promote these theories to systems with a Hagedorn transition, and show that a type III$_1$ algebra only emerges above the Hagedorn temperature. Finally, we empirically observe in examples a correspondence between the space of states of the quantum mechanics and Calabi--Yau manifolds.
- [304] arXiv:2402.18591 (replaced) [pdf, html, other]
-
Title: Stochastic contextual bandits with graph feedback: from independence number to MAS numberSubjects: Machine Learning (cs.LG); Computer Science and Game Theory (cs.GT); Statistics Theory (math.ST)
We consider contextual bandits with graph feedback, a class of interactive learning problems with richer structures than vanilla contextual bandits, where taking an action reveals the rewards for all neighboring actions in the feedback graph under all contexts. Unlike the multi-armed bandits setting where a growing literature has painted a near-complete understanding of graph feedback, much remains unexplored in the contextual bandits counterpart. In this paper, we make inroads into this inquiry by establishing a regret lower bound $\Omega(\sqrt{\beta_M(G) T})$, where $M$ is the number of contexts, $G$ is the feedback graph, and $\beta_M(G)$ is our proposed graph-theoretic quantity that characterizes the fundamental learning limit for this class of problems. Interestingly, $\beta_M(G)$ interpolates between $\alpha(G)$ (the independence number of the graph) and $\mathsf{m}(G)$ (the maximum acyclic subgraph (MAS) number of the graph) as the number of contexts $M$ varies. We also provide algorithms that achieve near-optimal regret for important classes of context sequences and/or feedback graphs, such as transitively closed graphs that find applications in auctions and inventory control. In particular, with many contexts, our results show that the MAS number essentially characterizes the statistical complexity for contextual bandits, as opposed to the independence number in multi-armed bandits.
- [305] arXiv:2403.04655 (replaced) [pdf, html, other]
-
Title: Closed-loop Performance Optimization of Model Predictive Control with Robustness GuaranteesSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Model mismatch and process noise are two frequently occurring phenomena that can drastically affect the performance of model predictive control (MPC) in practical applications. We propose a principled way to tune the cost function and the constraints of linear MPC schemes to improve the closed-loop performance and robust constraint satisfaction on uncertain nonlinear dynamics with additive noise. The tuning is performed using a novel MPC tuning algorithm based on backpropagation developed in our earlier work. Using the scenario approach, we provide probabilistic bounds on the likelihood of closed-loop constraint violation over a finite horizon. We showcase the effectiveness of the proposed method on linear and nonlinear simulation examples.
- [306] arXiv:2403.11267 (replaced) [pdf, html, other]
-
Title: Barely Random Algorithms and Collective Metrical Task SystemsSubjects: Data Structures and Algorithms (cs.DS); Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC)
We consider metrical task systems on general metric spaces with $n$ points, and show that any fully randomized algorithm can be turned into a randomized algorithm that uses only $2\log n$ random bits, and achieves the same competitive ratio up to a factor $2$. This provides the first order-optimal barely random algorithms for metrical task systems, i.e., which use a number of random bits that does not depend on the number of requests addressed to the system. We discuss implications on various aspects of online decision-making such as: distributed systems, advice complexity, and transaction costs, suggesting broad applicability. We put forward an equivalent view that we call collective metrical task systems where $k$ agents in a metrical task system team up, and suffer the average cost paid by each agent. Our results imply that such a team can be $O(\log^2 n)$-competitive as soon as $k\geq n^2$. In comparison, a single agent is always $\Omega(n)$-competitive.
- [307] arXiv:2403.18184 (replaced) [pdf, html, other]
-
Title: Topology Optimization for the Full-Cell Design of Porous Electrodes in Electrochemical Energy Storage DevicesHanyu Li, Giovanna Bucci, Nicholas W. Brady, Nicholas R. Cross, Victoria M. Ehlinger, Tiras Y. Lin, Miguel Salazar de Troya, Daniel Tortorelli, Marcus A. Worsley, Thomas RoyJournal-ref: Struct Multidisc Optim 67, 188 (2024)Subjects: Applied Physics (physics.app-ph); Optimization and Control (math.OC)
In this paper, we introduce a density-based topology optimization framework to design porous electrodes for maximum energy storage. We simulate the full cell with a model that incorporates electronic potential, ionic potential, and electrolyte concentration. The system consists of three materials, namely pure liquid electrolyte and the porous solids of the anode and cathode, for which we determine the optimal placement. We use separate electronic potentials to model each electrode, which allows interdigitated designs. As a result, a penalization is required to ensure that the anode and cathode do not touch, i.e., causing a short circuit. We compare multiple 2D designs generated for different fixed conditions, e.g. material properties. A 3D design with complex channel and interlocked structure is also created. All optimized designs are far superior to the traditional monolithic electrode design with respect to energy storage metrics. We observe up to a 750% increase in energy storage for cases with slow effective ionic diffusion within the porous electrode.
- [308] arXiv:2404.04753 (replaced) [pdf, other]
-
Title: RIS in Cellular Networks -- Challenges and IssuesComments: Submitted to IEEE AccessSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
Reconfigurable intelligent surface (RIS) has been suggested to be a key 6G feature and was suggested to be considered as a study-item in both 3GPP Releases 18 and 19. However, in both releases, it has been decided not to continue with it as a study-item, and to leave it for possible future specification. In this paper, we present the rationale for such a decision. Particularly, we demonstrate the practical issues which may affect the feasibility or usefulness of RIS in cellular networks, and present open problems to be addressed before RIS can be used in practice. Moreover, we compare the performance of RIS with network-controlled repeater, the node with the most similar characteristics to RIS and which has been standardized in 3GPP Release 18. Finally, different simulations are presented to evaluate the performance of RIS-assisted networks.
- [309] arXiv:2405.01331 (replaced) [pdf, html, other]
-
Title: On Nanowire Morphological Instability and Pinch-Off by Surface ElectromigrationSubjects: Materials Science (cond-mat.mtrl-sci); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph); Applied Physics (physics.app-ph)
Surface diffusion and surface electromigration may lead to a morphological instability of thin solid films and nanowires. In this paper two nonlinear analyses of a morphological instability are developed for a single-crystal cylindrical nanowire that is subjected to an axial current. These treatments extend the conventional linear stability analyses without surface electromigration, that manifest a Rayleigh-Plateau instability. A weakly nonlinear analysis is done slightly above the Rayleigh-Plateau (longwave) instability threshold. It results in a one-dimensional Sivashinsky amplitude equation that describes a blow-up of a surface perturbation amplitude in a finite time. This is a signature of a pinching singularity of a cylinder radius, which leads to a wire separation into a disjoint segments. The time- and electric field-dependent dimensions of the focusing self-similar amplitude profile approaching a blow-up are characterized via the scaling analysis. Also, a weakly nonlinear multi-scale analysis is done at the arbitrary distance above a longwave or a shortwave instability threshold. The time- and electric field-dependent Fourier amplitudes of the major instability modes are derived and characterized.
- [310] arXiv:2405.09422 (replaced) [pdf, html, other]
-
Title: Was there a Big Bang?Comments: 8 pages, 2 figures; minor correctionsSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
New one parameter family of exact solutions in General Relativity with a scalar field is found. The metric is of Liouville type which admits complete separation of variables in the geodesic Hamilton-Jacobi equation. This solution exists for the exponential potential for a scalar field and is invariant with respect to global Lorentz transformations. It describes, in particular, evolution of the space-time with the naked singularity. Solutions corresponding to the naked singularity provide accelerating expansion of the homogeneous and isotropic Universe, and can be smoothly continued along geodesics to infinite past without Big Bang.
- [311] arXiv:2405.10649 (replaced) [pdf, html, other]
-
Title: Efficient Recovery of Sparse Graph Signals from Graph Filter OutputsComments: This work has been submitted to the IEEE for possible publicationSubjects: Signal Processing (eess.SP); Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper investigates the recovery of a node-domain sparse graph signal from the output of a graph filter. This problem, which is often referred to as the identification of the source of a diffused sparse graph signal, is seminal in the field of graph signal processing (GSP). Sparse graph signals can be used in the modeling of a variety of real-world applications in networks, such as social, biological, and power systems, and enable various GSP tasks, such as graph signal reconstruction, blind deconvolution, and sampling. In this paper, we assume double sparsity of both the graph signal and the graph topology, as well as a low-order graph filter. We propose three algorithms to reconstruct the support set of the input sparse graph signal from the graph filter output samples, leveraging these assumptions and the generalized information criterion (GIC). First, we describe the graph multiple GIC (GM-GIC) method, which is based on partitioning the dictionary elements (graph filter matrix columns) that capture information on the signal into smaller subsets. Then, the local GICs are computed for each subset and aggregated to make a global decision. Second, inspired by the well-known branch and bound (BNB) approach, we develop the graph-based branch and bound GIC (graph-BNB-GIC), and incorporate a new tractable heuristic bound tailored to the graph and graph filter characteristics. In addition, we propose the graph-based first order correction (GFOC) method, which improves existing sparse recovery methods by iteratively examining potential improvements to the GIC cost function by replacing elements from the estimated support set with elements from their one-hop neighborhood. In addition, we investigate the application of our graph-based sparse recovery methods in blind deconvolution scenarios where the graph filter is unknown.
- [312] arXiv:2405.17299 (replaced) [pdf, other]
-
Title: Simplicity Bias of Two-Layer Networks beyond Linearly Separable DataComments: ICML 2024, camera-ready version (expanded related work)Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
Simplicity bias, the propensity of deep models to over-rely on simple features, has been identified as a potential reason for limited out-of-distribution generalization of neural networks (Shah et al., 2020). Despite the important implications, this phenomenon has been theoretically confirmed and characterized only under strong dataset assumptions, such as linear separability (Lyu et al., 2021). In this work, we characterize simplicity bias for general datasets in the context of two-layer neural networks initialized with small weights and trained with gradient flow. Specifically, we prove that in the early training phases, network features cluster around a few directions that do not depend on the size of the hidden layer. Furthermore, for datasets with an XOR-like pattern, we precisely identify the learned features and demonstrate that simplicity bias intensifies during later training stages. These results indicate that features learned in the middle stages of training may be more useful for OOD transfer. We support this hypothesis with experiments on image data.
- [313] arXiv:2406.12895 (replaced) [pdf, html, other]
-
Title: Temporal Complexity of a Hopfield-Type Neural Model in Random and Scale-Free GraphsSubjects: Neurons and Cognition (q-bio.NC); Disordered Systems and Neural Networks (cond-mat.dis-nn); Mathematical Physics (math-ph); Numerical Analysis (math.NA); Adaptation and Self-Organizing Systems (nlin.AO)
The Hopfield network model and its generalizations were introduced as a model of associative, or content-addressable, memory. They were widely investigated both as an unsupervised learning method in artificial intelligence and as a model of biological neural dynamics in computational neuroscience. The complexity features of biological neural networks have attracted the scientific community's interest for the last two decades. More recently, concepts and tools borrowed from complex network theory were applied to artificial neural networks and learning, thus focusing on the topological aspects. However, the temporal structure is also a crucial property displayed by biological neural networks and investigated in the framework of systems displaying complex intermittency. The Intermittency-Driven Complexity (IDC) approach indeed focuses on the metastability of self-organized states, whose signature is a power-decay in the inter-event time distribution or a scaling behaviour in the related event-driven diffusion processes. The investigation of IDC in neural dynamics and its relationship with network topology is still in its early stages. In this work, we present the preliminary results of an IDC analysis carried out on a bio-inspired Hopfield-type neural network comparing two different connectivities, i.e., scale-free vs. random network topology. We found that random networks can trigger complexity features similar to that of scale-free networks, even if with some differences and for different parameter values, in particular for different noise levels
- [314] arXiv:2406.16700 (replaced) [pdf, html, other]
-
Title: Anomalies in mirror symmetry enriched topological ordersComments: 13 pages, 5 figuresJournal-ref: Phys. Rev. B 110, 155151 (2024)Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Two-dimensional mirror symmetry enriched topological (SET) orders can be studied using the folding approach: it can be folded along the mirror axis and turned into a bilayer system on which the mirror symmetry acts as a $\mathbb Z_2$ layer-exchange symmetry. How mirror symmetry enriches the topological order is then encoded at the mirror axis, which is a gapped boundary of the folded bilayer system. Based on anyon-condensation theory, we classify possible $\mathbb Z_2$-symmetric gapped boundaries of the folded system. In particular, we derive an $H^2$ obstruction function, which corresponds to an $H^3$ obstruction for topological orders enriched by the time-reversal symmetry instead of mirror symmetry. We demonstrate that states with a nontrivial $H^2$ obstruction function can be constructed on the surface of a three-dimensional mirror SET order.
- [315] arXiv:2408.06685 (replaced) [pdf, html, other]
-
Title: Faster Lattice Basis Computation via a Natural Generalization of the Euclidean AlgorithmComments: 22 pages. arXiv admin note: text overlap with arXiv:2311.15902Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Algebraic Geometry (math.AG)
The Euclidean algorithm is the oldest algorithms known to mankind. Given two integral numbers $a_1$ and $a_2$, it computes the greatest common divisor (gcd) of $a_1$ and $a_2$ in a very elegant way. From a lattice perspective, it computes a basis of the sum of two one-dimensional lattices $a_1 \mathbb{Z}$ and $a_2 \mathbb{Z}$ as $\gcd(a_1,a_2) \mathbb{Z} = a_1 \mathbb{Z} + a_2 \mathbb{Z}$. In this paper, we show that the classical Euclidean algorithm can be adapted in a very natural way to compute a basis of a general lattice $L(A_1, \ldots , A_n)$ given vectors $A_1, \ldots , A_n \in \mathbb{Z}^d$ with $n> \mathrm{rank}(a_1, \ldots ,a_d)$. Similar to the Euclidean algorithm, our algorithm is very easy to describe and implement and can be written within 12 lines of pseudocode.
As our main result, we obtain an algorithm to compute a lattice basis for given vectors $A_1, \ldots , A_n \in \mathbb{Z}^d$ in time (counting bit operations) $LS + \tilde{O}((n-d)d^2 \cdot \log(||A||)$, where $LS$ is the time required to obtain the exact fractional solution of a certain system of linear equalities. The analysis of the running time of our algorithms relies on fundamental statements on the fractionality of solutions of linear systems of equations.
So far, the fastest algorithm for lattice basis computation was due to Storjohann and Labhan [SL96] having a running time of $\tilde{O}(nd^\omega\log ||A||)$. For current upper bounds of $LS$, our algorithm has a running time improvement of a factor of at least $d^{0.12}$ over [SL96]. Our algorithm is therefore the first general algorithmic improvement to this classical problem in nearly 30 years. At last, we present a postprocessing procedure which yields an improved size bound of $\sqrt{d} ||A||$ for vectors of the resulting basis matrix. - [316] arXiv:2408.11400 (replaced) [pdf, html, other]
-
Title: On estimates of trace-norm distance between quantum Gaussian statesComments: 18 pages, more typos corrected, norm estimate for pure states improved, Appendix on Gaussian states of CAR addedSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In the paper of F.A. Mele, A.A. Mele, L. Bittel, J. Eisert, V. Giovannetti, L. Lami, L. Leone, S.F.E. Oliviero, arXiv:2405.01431, estimates for the trace-norm distance between two quantum Gaussian states in terms of the mean vectors and covariance matrices were derived and used to evaluate the number of elements in the $\varepsilon -$net in the set of energy-constrained Gaussian states. In the present paper we obtain different estimates; our proof is based on a fidelity-like quantity which we call states overlap, and is more straightforward leading to estimates which are sometimes even more stringent, especially in the cases of pure or gauge-invariant states. They do not depend on number of modes and hence can be extended to the case of bosonic field with infinite number of modes. These derivations are not aimed to replace the useful inequalities from arXiv:2405.01431; they just show an alternative approach to the problem leading to different results. In the Appendix we briefly recall our results concerning estimates of the overlap for general fermionic Gaussian states of CAR. The problem studied in this paper can be considered as a noncommutative analog of estimation of the total variance distance between Gaussian probability distributions in the classical probability theory.
- [317] arXiv:2409.13608 (replaced) [pdf, html, other]
-
Title: A Krasnoselskii-Mann Proximity Algorithm for Markowitz Portfolios with Adaptive Expected Return LevelComments: 29 pages, 2 figuresSubjects: Portfolio Management (q-fin.PM); Numerical Analysis (math.NA); Optimization and Control (math.OC)
Markowitz's criterion aims to balance expected return and risk when optimizing the portfolio. The expected return level is usually fixed according to the risk appetite of an investor, then the risk is minimized at this fixed return level. However, the investor may not know which return level is suitable for her/him and the current financial circumstance. It motivates us to find a novel approach that adaptively optimizes this return level and the portfolio at the same time. It not only relieves the trouble of deciding the return level during an investment but also gets more adaptive to the ever-changing financial market than a subjective return level. In order to solve the new model, we propose an exact, convergent, and efficient Krasnoselskii-Mann Proximity Algorithm based on the proximity operator and Krasnoselskii-Mann momentum technique. Extensive experiments show that the proposed method achieves significant improvements over state-of-the-art methods in portfolio optimization. This finding may contribute a new perspective on the relationship between return and risk in portfolio optimization.
- [318] arXiv:2410.14116 (replaced) [pdf, html, other]
-
Title: Robustness to Model Approximation, Empirical Model Learning, and Sample Complexity in Wasserstein Regular MDPsComments: 35 pages; submitted to Mathematics of Operations ResearchSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
The paper studies the robustness properties of discrete-time stochastic optimal control under Wasserstein model approximation for both discounted cost and average cost criteria. Specifically, we study the performance loss when applying an optimal policy designed for an approximate model to the true dynamics compared with the optimal cost for the true model under the sup-norm-induced metric, and relate it to the Wasserstein-1 distance between the approximate and true transition kernels. A primary motivation of this analysis is empirical model learning, as well as empirical noise distribution learning, where Wasserstein convergence holds under mild conditions but stronger convergence criteria, such as total variation, may not. We discuss applications of the results to the disturbance estimation problem, where sample complexity bounds are given, and also to a general empirical model learning approach, obtained under either Markov or i.i.d.~learning settings. Further applications regarding the continuity of invariant probability measures with respect to transition kernels are also discussed.
- [319] arXiv:2410.14837 (replaced) [pdf, html, other]
-
Title: Topological obstruction to the training of shallow ReLU neural networksComments: 23 pages, 5 figures, Conference on Neural Information Processing Systems (NeurIPS 2024)Subjects: Machine Learning (cs.LG); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
Studying the interplay between the geometry of the loss landscape and the optimization trajectories of simple neural networks is a fundamental step for understanding their behavior in more complex settings. This paper reveals the presence of topological obstruction in the loss landscape of shallow ReLU neural networks trained using gradient flow. We discuss how the homogeneous nature of the ReLU activation function constrains the training trajectories to lie on a product of quadric hypersurfaces whose shape depends on the particular initialization of the network's parameters. When the neural network's output is a single scalar, we prove that these quadrics can have multiple connected components, limiting the set of reachable parameters during training. We analytically compute the number of these components and discuss the possibility of mapping one to the other through neuron rescaling and permutation. In this simple setting, we find that the non-connectedness results in a topological obstruction, which, depending on the initialization, can make the global optimum unreachable. We validate this result with numerical experiments.
- [320] arXiv:2410.16103 (replaced) [pdf, html, other]
-
Title: LDAdam: Adaptive Optimization from Low-Dimensional Gradient StatisticsComments: 36 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
We introduce LDAdam, a memory-efficient optimizer for training large models, that performs adaptive optimization steps within lower dimensional subspaces, while consistently exploring the full parameter space during training. This strategy keeps the optimizer's memory footprint to a fraction of the model size. LDAdam relies on a new projection-aware update rule for the optimizer states that allows for transitioning between subspaces, i.e., estimation of the statistics of the projected gradients. To mitigate the errors due to low-rank projection, LDAdam integrates a new generalized error feedback mechanism, which explicitly accounts for both gradient and optimizer state compression. We prove the convergence of LDAdam under standard assumptions, and show that LDAdam allows for accurate and efficient fine-tuning and pre-training of language models.
- [321] arXiv:2411.00708 (replaced) [pdf, html, other]
-
Title: Simplifying and Characterizing DAGs and Phylogenetic Networks via Least Common Ancestor ConstraintsSubjects: Populations and Evolution (q-bio.PE); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Rooted phylogenetic networks, or more generally, directed acyclic graphs (DAGs), are widely used to model species or gene relationships that traditional rooted trees cannot fully capture, especially in the presence of reticulate processes or horizontal gene transfers. Such networks or DAGs are typically inferred from genomic data of extant taxa, providing only an estimate of the true evolutionary history. However, these inferred DAGs are often complex and difficult to interpret. In particular, many contain vertices that do not serve as least common ancestors (LCAs) for any subset of the underlying genes or species, thus lacking direct support from the observed data. In contrast, LCA vertices represent ancestral states substantiated by the data, offering important insights into evolutionary relationships among subsets of taxa. To reduce unnecessary complexity and eliminate unsupported vertices, we aim to simplify a DAG to retain only LCA vertices while preserving essential evolutionary information.
In this paper, we characterize $\mathrm{LCA}$-relevant and $\mathrm{lca}$-relevant DAGs, defined as those in which every vertex serves as an LCA (or unique LCA) for some subset of taxa. We introduce methods to identify LCAs in DAGs and efficiently transform any DAG into an $\mathrm{LCA}$-relevant or $\mathrm{lca}$-relevant one while preserving key structural properties of the original DAG or network. This transformation is achieved using a simple operator ``$\ominus$'' that mimics vertex suppression. - [322] arXiv:2411.03961 (replaced) [pdf, html, other]
-
Title: Regularized stress tensor of vector fields in de Sitter spaceComments: 42 pages, 10 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We study the Stueckelberg field in de Sitter space, which is a massive vector field with the gauge fixing (GF) term $\frac{1}{2\zeta} (A^\mu\,_{;\, \mu})^2$. We obtain the vacuum stress tensor, which consists of the transverse, longitudinal, temporal, and GF parts, and each contains various UV divergences. By the minimal subtraction rule, we regularize each part of the stress tensor to its pertinent adiabatic order. The transverse stress tensor is regularized to the 0th adiabatic order, the longitudinal, temporal, and GF stress tensors are regularized to the 2nd adiabatic order. The resulting total regularized vacuum stress tensor is convergent and maximally-symmetric, has a positive energy density, and respects the covariant conservation, and thus can be identified as the cosmological constant that drives the de Sitter inflation. Under the Lorenz condition $A^\mu\,_{;\, \mu}=0$, the regularized Stueckelberg stress tensor reduces to the regularized Proca stress tensor that contains only the transverse and longitudinal modes. In the massless limit, the regularized Stueckelberg stress tensor becomes zero, and is the same as that of the Maxwell field with the GF term, and no trace anomaly exists. If the order of adiabatic regularization were lower than our prescription, some divergences would remain. If the order were higher, say, under the conventional 4th-order regularization, more terms than necessary would be subtracted off, leading to an unphysical negative energy density and the trace anomaly simultaneously.