Mathematics
- [1] arXiv:2405.10330 [pdf, ps, other]
-
Title: Tropical friezes and cluster-additive functions via Fock-Goncharov duality and a conjecture of RingelComments: arXiv admin note: substantial text overlap with arXiv:2311.17712Subjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We study tropical friezes and cluster-additive functions associated to symmetrizable generalized Cartan matrices in the framework of Fock-Goncharov duality in cluster algebras. In particular, we generalize and prove a conjecture of C. M. Ringel on cluster-additive functions associated to arbitrary Cartan matrices of finite type. For a Fock-Goncharov dual pair of positive spaces of finite type, we use tropical friezes and cluster-additive functions to explicitly express the Fock-Goncharov pairing between their tropical points and the bijections between global monomials on one and tropical points of the other.
- [2] arXiv:2405.10332 [pdf, ps, html, other]
-
Title: A Categorical Development of Right Derived FunctorsSubjects: General Mathematics (math.GM)
Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm of pure abstract category theory in their development of the field, leveraging the Freyd-Mitchell embedding theorem or similar results, or otherwise using set-theoretic language to augment a general categorical discussion. This paper seeks to demonstrate that - while it is not necessary for most mathematicians' purposes - a development of homological concepts can be contrived from purely categorical notions. We begin by outlining the categories we will work within, namely Abelian categories (building off additive categories). We continue to develop cohomology groups of sequences, eventually culminating in a development of right derived functors. This paper is designed to be a minimalist construction, supplying no examples or motivation beyond what is necessary to develop the ideas presented.
- [3] arXiv:2405.10333 [pdf, ps, html, other]
-
Title: A holographic global uniqueness in passive imagingSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We consider a radiation solution $\psi$ for the Helmholtz equation in an exterior region in $\mathbb R^3$. We show that the restriction of $\psi$ to any ray $L$ in the exterior region is uniquely determined by its imaginary part $\Im\psi$ on an interval of this ray. As a corollary, the restriction of $\psi$ to any plane $X$ in the exterior region is uniquely determined by $\Im\psi$ on an open domain in this plane. These results have holographic prototypes in the recent work [Novikov, arXiv:2310.11127]. In particular, these and known results imply a holographic type global uniqueness in passive imaging and for the Gelfand-Krein-Levitan inverse problem in the monochromatic case. Some other surfaces for measurements instead of the planes $X$ are also considered.
- [4] arXiv:2405.10334 [pdf, ps, html, other]
-
Title: The jet problem for three-dimensional axisymmetric compressible subsonic flows with large vorticityComments: arXiv admin note: substantial text overlap with arXiv:2405.06213; text overlap with arXiv:2404.16377, arXiv:2006.05672Subjects: Analysis of PDEs (math.AP)
In this paper, we establish the existence of three-dimensional axisymmetric compressible jet flows for steady Euler system with large vorticity by using the variational method. More precisely, for given axial velocity of the flow at the upstream, if the mass flux is sufficiently large, we can find a unique outer pressure such that a smooth subsonic three-dimensional axisymmetric jet flow with large vorticity exists and has certain far fields behavior.
- [5] arXiv:2405.10337 [pdf, ps, other]
-
Title: Suppression of blow-up in Patlak-Keller-Segel system coupled with linearized Navier-Stokes equations via the 3D Couette flowComments: arXiv admin note: substantial text overlap with arXiv:2401.15982Subjects: Analysis of PDEs (math.AP)
It is known that finite-time blow-up in the 3D Patlak-Keller-Segel system may occur for arbitrarily small values of the initial mass. It's interesting whether one can prevent the finite-time blow-up via the stabilizing effect of the moving fluid. Consider the three-dimensional Patlak-Keller-Segel system coupled with the linearized Navier-Stokes equations near the Couette flow $(\ Ay, 0, 0 \ )$ in a finite channel $\mathbb{T}\times\mathbb{I}\times\mathbb{T}$ with $ \mathbb{T}=[0,2\pi) $ and $ \mathbb{I}=[-1,1] $, with the non-slip boundary condition, and we show that if the shear flow is sufficiently strong (A is large enough), then the solutions to Patlak-Keller-Segel-Navier-Stokes system are global in time as long as the initial cell mass is sufficiently small (for example, $M<\frac49$) and $ A\left(\|u_{2,0}(0)\|_{L^{2}}+\|u_{3,0}(0)\|_{L^{2}} \right)\leq C_{0} $, which seems to be the first result of considering the suppression effect of Couette flow in the 3D Patlak-Keller-Segel-Navier-Stokes model, and also the first time considering the non-slip boundary condition.
- [6] arXiv:2405.10341 [pdf, ps, html, other]
-
Title: Bounds for asymptotic characters of simple Lie groupsComments: 18 pages, latex; the paper subsumes our previous note arXiv:1811.05293Subjects: Representation Theory (math.RT); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(\lambda,x)$ (where $\lambda,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_\lambda(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $\lambda$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(\lambda,x)$ for fixed $\lambda$ is strictly negative. We quantify this result by providing a lower bound for $c(G)$ in terms of $\dim G$. We also provide upper and lower bounds for $DH_\lambda(0)$ when $|\lambda|=1$. This allows us to show that $|X(\lambda,x)|\le C(G)|\lambda|^{-1}|x|^{-1}$ for some constant $C(G)$ depending only on $G$, which implies the conjecture in Remark 17.16 of arXiv:2312.03101. We also show that $c(SL_n)\le (\frac{4}{\pi^2})^{n-2}$. Finally, in the appendix, which subsumes our previous paper arXiv:1811.05293, we prove Conjecture 1 in arXiv:1706.02793 about Mittag-Leffler type sums for $G$.
- [7] arXiv:2405.10342 [pdf, ps, other]
-
Title: Diffusive Limit of the Vlasov-Maxwell-Boltzmann System without Angular CutoffComments: 51 pages. arXiv admin note: substantial text overlap with arXiv:2312.16588; text overlap with arXiv:1310.2726 by other authorsSubjects: Analysis of PDEs (math.AP)
Diffusive limit of the non-cutoff Vlasov-Maxwell-Boltzmann system in perturbation framework still remains open. By employing a new weight function and making full use of the anisotropic dissipation property of the non-cutoff linearized Boltzmann operator, we solve this problem with some novel treatments for non-cutoff potentials $\gamma > \max\{-3, -\frac{3}{2}-2s\}$, including both strong angular singularity $\frac{1}{2} \leq s <1$ and weak angular singularity $0 < s < \frac{1}{2}$. Uniform estimate with respect to the Knudsen number $\varepsilon\in (0,1]$ is established globally in time, which eventually leads to the global existence of solutions to the non-cutoff Vlasov-Maxwell-Boltzmann system as well as hydrodynamic limit to the two-fluid incompressible Navier-Stokes-Fourier-Maxwell system with Ohm's law. The indicators $\gamma > \max\{-3, -\frac{3}{2}-2s\}$ and $0 < s <1$ in this paper cover all ranges that can be achieved by the previously established global solutions to the non-cutoff Vlasov-Maxwell-Boltzmann system in perturbation framework.
- [8] arXiv:2405.10344 [pdf, ps, html, other]
-
Title: Feasibility of Nash-Moser iteration for Cheng-Yau-type gradient estimates of nonlinear equations on complete Riemannian manifoldsSubjects: Differential Geometry (math.DG)
In this manuscript, we employ the Nash-Moser iteration technique to determine a condition under which the positive solution $u$ of the generalized nonlinear Poisson equation $$\operatorname{div} (\varphi(|\nabla u|^2)\nabla u) + \psi(u^2)u = 0,$$ on a complete Riemannian manifold with Ricci curvature bounded from below can be shown to satisfy a Cheng-Yau-type gradient estimate. We define a class of $\varphi$-Laplacian operators by $\Delta_{\varphi}(u):=\operatorname{div} (\varphi(|\nabla u|^2)\nabla u)$, where $\varphi$ is a $C^2$ function under some certain growth conditions. This can be regarded as a natural generalization of the $p$-Laplacian, the $(p,q)$-Laplacian and the exponential Laplacian, as well as having a close connection to the prescribed mean curvature problem. We illustrate the feasibility of applying the Nash-Moser iteration for such Poisson equation to get the Cheng-Yau-type gradient estimates in different cases with various $\varphi$ and $\psi$. Utilizing these estimates, we proves the related Harnack inequalities and a series of Liouville theorems. Our results can cover a wide range of quasilinear Laplace operator (e.g. $p$-Laplacian for $\varphi(t)=t^{p/2-1}$), and Lichnerowicz-type nonlinear equations (i.e. $\psi(t) = At^{p} + Bt^{q} + Ct\log t + D$).
- [9] arXiv:2405.10349 [pdf, ps, html, other]
-
Title: Limiting Korn-Maxwell-Sobolev inequalities for general incompatibilitiesSubjects: Analysis of PDEs (math.AP)
We give sharp conditions for the limiting Korn-Maxwell-Sobolev inequalities \begin{align*}
\lVert P\rVert_{\dot{W}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}\le c\big(\lVert\mathscr{A}[P]\rVert_{\dot{W}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}+\lVert\mathbb{B}P\rVert_{L^{1}(\mathbb{R}^n)}\big)
\end{align*} to hold for all $P\in C_{c}^{\infty}(\mathbb{R}^{n};V)$, where $\mathscr{A}$ is a linear map between finite dimensional vector spaces and $\mathbb{B}$ is a $k$-th order, linear and homogeneous constant-coefficient differential operator. By the appearance of the $L^{1}$-norm of the differential expression $\mathbb{B}P$ on the right-hand side, such inequalities generalise previously known estimates to the borderline case $p=1$, and thereby answer an open problem due to Müller, Neff and the second author (Calc. Var. PDE, 2021) in the affirmative. - [10] arXiv:2405.10352 [pdf, ps, html, other]
-
Title: Sums of binomial coefficients modulo $p$ and groups of exponent $p^n$Subjects: Number Theory (math.NT); Group Theory (math.GR)
We give a simple matrix-based proof of congruence equations modulo a prime $p$ involving sums of binomial coefficients appearing in Pascal's triangle. These equations can be used to construct some groups of exponent $p^n$. These groups, as well as others of exponent $p^{n+1}$, explain why $p=2$ is not really an exceptional prime in relation to the Heisenberg group over the field with $p$ elements.
- [11] arXiv:2405.10356 [pdf, ps, html, other]
-
Title: Sylow subgroups of the Macdonald group on 2 parametersSubjects: Group Theory (math.GR)
Consider the Macdonald group $G(\alpha,\beta)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\beta\rangle$, where $\alpha$ and $\beta$ are integers different from one. We fill a gap in Macdonald's original proof that $G(\alpha,\beta)$ is nilpotent, and find the order and nilpotency class of each Sylow subgroup of $G(\alpha,\beta)$.
- [12] arXiv:2405.10381 [pdf, ps, other]
-
Title: Game theory in the case of a geopolitical operation between two personsSubjects: Optimization and Control (math.OC)
This article explores the interaction of two agents during a geopolitical operation. Collaborative work is considered, rather than being done alone. However, each agent has the goal of maximizing personal net profit. We will have 3 different situations depending on the order of the players moves, in each of which we will present the game in both expanded and normal form. In each of them we find optimal strategies for both players and possible Nash equilibrium.
- [13] arXiv:2405.10382 [pdf, ps, html, other]
-
Title: Cartan subalgebras for restrictions of $\mathfrak{g}$-modulesComments: 31 pagesSubjects: Representation Theory (math.RT)
In this paper, we deal with the $\mathcal{U}(\mathfrak{g})$-action on a $\mathfrak{g}$-module on which a larger algebra $\mathcal{A}$ acts irreducibly. Under a mild condition, we will show that the support of the $\mathcal{Z}(\mathfrak{g})$-action is a union of affine subspaces in the dual of a Cartan subalgebra modulo the Weyl group action. As a consequence, we propose a definition of a Cartan subalgebra for such a $\mathfrak{g}$-module.
The support of the $\mathcal{Z}(\mathfrak{g})$-module is an algebraic counterpart of the support of the measure in the irreducible decomposition of a unitary representation. This consideration is motivated by the theory of the discrete decomposability initiated by T. Kobayashi. Defining a Cartan subalgebra for a $\mathfrak{g}$-module is motivated by the study of I. Losev on Poisson $G$-varieties. These are related each other through the associated variety and the nilpotent orbit associated to a $\mathfrak{g}$-module. - [14] arXiv:2405.10383 [pdf, ps, html, other]
-
Title: Colocalizing subcategories on schemesComments: 16 pagesSubjects: Algebraic Geometry (math.AG); Category Theory (math.CT)
A full triangulated subcategory $\mathsf{C} \subset \mathsf{T}$ of triangulated category $\mathsf{T}$ is colocalizing if it is stable for products. If, further, $\mathsf{T}$ is monoidal and closed, i.e. $(\mathsf{T}, \otimes)$ is tensor-triangulated with internal homs (denoted $[-,-]$), we say that $\mathsf{C}$ is an $\mathcal{H}$-coideal if $[F, G] \in \mathsf{C}$ for all $G \in \mathsf{C}$ and all $F \in \mathsf{T}$. We prove, for a noetherian scheme $X$, that all $\mathcal{H}$-coideal colocalizing subcategories of $\mathsf{D}_{\mathrm{qc}}(X)$ are classified by subsets of $X$. Every such colocalizing subcategory $\mathsf{C}$ is of the form $\mathsf{C} = \mathsf{L}^\perp$, where $\mathsf{L}$ is a $\otimes$-ideal localizing subcategory.
- [15] arXiv:2405.10387 [pdf, ps, html, other]
-
Title: Grothendieck's use of equalityComments: Write-up of my talk given at the conference "Grothendieck, a Multifarious Giant: Mathematics, Logic and Philosophy" at Chapman UniversitySubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We discuss how the concept of equality is used by mathematicians (including Grothendieck), and what effect this has when trying to formalise mathematics. We challenge various reasonable-sounding slogans about equality.
- [16] arXiv:2405.10388 [pdf, ps, html, other]
-
Title: Partial Model Theory -- Ultraproducts and CompactnessSubjects: Logic (math.LO)
In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures approach, which is a philosophical conception that emerged in the context of contemporary philosophy of science. Nevertheless, the notions developed within this conception, in particular the two mentioned, have a model-theoretic content that has not been explored so far, so that this paper is part of a project where we intend to analyze their formal properties by means of the development of a partial model theory, which is an extension of traditional model theory to partial structures.
- [17] arXiv:2405.10390 [pdf, ps, other]
-
Title: Two-point stress approximation: A simple and robust finite volume method for linearized (poro-)mechanics and Stokes flowSubjects: Numerical Analysis (math.NA)
We construct a simple and robust finite volume discretization for linearized mechanics, Stokes and poromechanics, based only on co-located, cell-centered variables. The discretization has a minimal stencil, using only the two neighboring cells to a face to calculate numerical stresses and fluxes.
We fully justify the method theoretically in terms of stability and convergence, both of which are robust in terms of the material parameters. Numerical experiments support the theoretical results, and shed light on grid families not explicitly treated by the theoretical results. - [18] arXiv:2405.10392 [pdf, ps, html, other]
-
Title: Transport based particle methods for the Fokker-Planck-Landau equationComments: 26 pages, 6 figures, code this https URLSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Analysis of PDEs (math.AP)
We propose a particle method for numerically solving the Landau equation, inspired by the score-based transport modeling (SBTM) method for the Fokker-Planck equation. This method can preserve some important physical properties of the Landau equation, such as the conservation of mass, momentum, and energy, and decay of estimated entropy. We prove that matching the gradient of the logarithm of the approximate solution is enough to recover the true solution to the Landau equation with Maxwellian molecules. Several numerical experiments in low and moderately high dimensions are performed, with particular emphasis on comparing the proposed method with the traditional particle or blob method.
- [19] arXiv:2405.10393 [pdf, ps, html, other]
-
Title: Remarks on the uniqueness of weak solutions of the incompressible Navier-Stokes equationsComments: 24 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This article studies the uniqueness of the weak solution of the incompressible Navier-Stokes Equations in the 3-dimensional case. Here, the investigation is provided using two different approaches. The first (the main) result is obtained for given functions possessing a certain smoothness using the new approach. The second result is without the complementary conditions but is, in some sense, the "local" result investigated by another approach. In addition, here the solvability and uniqueness of the weak solutions to auxiliary problems lead out from the main problem are investigated.
- [20] arXiv:2405.10395 [pdf, ps, html, other]
-
Title: Totally real algebraic numbers in generalized Mandelbrot setComments: 13 pagesSubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
In this article, we study some potential theoretical and topological aspects of the generalized Mandelbrot set introduced by Baker and DeMarco. For $\alpha$ real, we study the set of all totally real algebraic parameters $c$ such that $\alpha$ is preperiodic under the iteration of the one-parameter family $f_c(x) = x^2 + c$. We show that when $|\alpha| < 2$ and rational then the set of totally real algebraic parameters $c$ with this property is finite, whereas if $|\alpha| \geq 2$ and rational then this set is countably infinite. As an unexpected consequence of this study, we also show that when $|\alpha| \geq 2$ then parameters $c$ such that $\alpha$ is $f_c$-periodic are necessarily real. As a special case, we classify all totally real algebraic integers $c$ such that $\alpha = \pm1$ is preperiodic.
- [21] arXiv:2405.10402 [pdf, ps, other]
-
Title: Formulae and transformations for simplicial tensorial finite elements via polytopal templatesSubjects: Numerical Analysis (math.NA)
We introduce a unified method for constructing the basis functions of a wide variety of partially continuous tensor-valued finite elements on simplices using polytopal templates. These finite element spaces are essential for achieving well-posed discretisations of mixed formulations of partial differential equations that involve tensor-valued functions, such as the Hellinger-Reissner formulation of linear elasticity. In our proposed polytopal template method, the basis functions are constructed from template tensors associated with the geometric polytopes (vertices, edges, faces etc.) of the reference simplex and any scalar-valued $H^1$-conforming finite element space. From this starting point we can construct the Regge, Hellan-Herrmann-Johnson, Pechstein-Schöberl, Hu-Zhang, Hu-Ma-Sun and Gopalakrishnan-Lederer-Schöberl elements. Because the Hu-Zhang element and the Hu-Ma-Sun element cannot be mapped from the reference simplex to a physical simplex via standard double Piola mappings, we also demonstrate that the polytopal template tensors can be used to define a consistent mapping from a reference simplex even to a non-affine simplex in the physical mesh. Finally, we discuss the implications of element regularity with two numerical examples for the Reissner-Mindlin plate problem.
- [22] arXiv:2405.10407 [pdf, ps, html, other]
-
Title: The $r$-equilibrium ProblemComments: 11 pages, all comments are welcomeSubjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph)
In this paper we introduce the $r$-equilibrium problem and discuss connections to the map $det^{S^r}$. The case $r=2$ is an application of Newton's third law of motion, while $r=3$ deals with equilibrium of torque-like forces.
- [23] arXiv:2405.10410 [pdf, ps, html, other]
-
Title: The fast committor machine: Interpretable prediction with kernelsComments: 10 pages, 7 figuresSubjects: Numerical Analysis (math.NA); Machine Learning (stat.ML)
In the study of stochastic dynamics, the committor function describes the probability that a process starting from an initial configuration $x$ will reach set $A$ before set $B$. This paper introduces a fast and interpretable method for approximating the committor, called the "fast committor machine" (FCM). The FCM is based on simulated trajectory data, and it uses this data to train a kernel model. The FCM identifies low-dimensional subspaces that optimally describe the $A$ to $B$ transitions, and the subspaces are emphasized in the kernel model. The FCM uses randomized numerical linear algebra to train the model with runtime that scales linearly in the number of data points. This paper applies the FCM to example systems including the alanine dipeptide miniprotein: in these experiments, the FCM is generally more accurate and trains more quickly than a neural network with a similar number of parameters.
- [24] arXiv:2405.10412 [pdf, ps, html, other]
-
Title: Property testing in graphical models: testing small separation numbersSubjects: Statistics Theory (math.ST)
In many statistical applications, the dimension is too large to handle for standard high-dimensional machine learning procedures. This is particularly true for graphical models, where the interpretation of a large graph is difficult and learning its structure is often computationally impossible either because the underlying graph is not sufficiently sparse or the number of vertices is too large. To address this issue, we develop a procedure to test a property of a graph underlying a graphical model that requires only a subquadratic number of correlation queries (i.e., we require that the algorithm only can access a tiny fraction of the covariance matrix). This provides a conceptually simple test to determine whether the underlying graph is a tree or, more generally, if it has a small separation number, a quantity closely related to the treewidth of the graph. The proposed method is a divide-and-conquer algorithm that can be applied to quite general graphical models.
- [25] arXiv:2405.10414 [pdf, ps, html, other]
-
Title: A Reliability Theory of Compromise Decisions for Large-Scale Stochastic ProgramsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Stochastic programming models can lead to very large-scale optimization problems for which it may be impossible to enumerate all possible scenarios. In such cases, one adopts a sampling-based solution methodology in which case the reliability of the resulting decisions may be suspect. For such instances, it is advisable to adopt methodologies that promote variance reduction. One such approach goes under a framework known as "compromise decision", which requires multiple replications of the solution procedure. This paper studies the reliability of stochastic programming solutions resulting from the "compromise decision" process. This process is characterized by minimizing an aggregation of objective function approximations across replications, presumably conducted in parallel. We refer to the post-parallel-processing problem as the problem of "compromise decision". We quantify the reliability of compromise decisions by estimating the expectation and variance of the "pessimistic distance" of sampled instances from the set of true optimal decisions. Such pessimistic distance is defined as an estimate of the largest possible distance of the solution of the sampled instance from the "true" optimal solution set. The Rademacher average of instances is used to bound the sample complexity of the compromise decision.
- [26] arXiv:2405.10418 [pdf, ps, html, other]
-
Title: The free boundary for semilinear problems with highly oscillating singular termsSubjects: Analysis of PDEs (math.AP)
We investigate general semilinear (obstacle-like) problems of the form $\Delta u = f(u)$, where $f(u)$ has a singularity/jump at $\{u=0\}$ giving rise to a free boundary. Unlike many works on such equations where $f$ is approximately homogeneous near $u = 0$, we work under assumptions allowing for highly oscillatory behavior.
We establish the $C^\infty$ regularity of the free boundary $\partial \{u>0\}$ at flat points. Our approach is to first establish that flat free boundaries are Lipschitz, using a comparison argument with the Kelvin transform. For higher regularity, we study the highly degenerate PDE satisfied by ratios of derivatives of $u$, using changes of variable and then the hodograph transform. Along the way, we prove and make use of new Caffarelli-Peral type $W^{1, p}$ estimates for such degenerate equations. Much of our approach appears new even in the case of Alt-Phillips and classical obstacle problems. - [27] arXiv:2405.10438 [pdf, ps, html, other]
-
Title: Optimization-Aided Construction of Multivariate Chebyshev PolynomialsSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
This article is concerned with an extension of univariate Chebyshev polynomials of the first kind to the multivariate setting, where one chases best approximants to specific monomials by polynomials of lower degree relative to the uniform norm. Exploiting the Moment-SOS hierarchy, we devise a versatile semidefinite-programming-based procedure to compute such best approximants, as well as associated signatures. Applying this procedure in three variables leads to the values of best approximation errors for all mononials up to degree six on the euclidean ball, the simplex, and the cross-polytope. Furthermore, inspired by numerical experiments, we obtain explicit expressions for Chebyshev polynomials in two cases unresolved before, namely for the monomial $x_1^2 x_2^2 x_3$ on the euclidean ball and for the monomial $x_1^2 x_2 x_3$ on the simplex.
- [28] arXiv:2405.10447 [pdf, ps, html, other]
-
Title: Codes for Limited-Magnitude Probability Error in DNA StorageComments: Part of work is published in ICC 2022-IEEE International Conference on CommunicationsSubjects: Information Theory (cs.IT)
DNA, with remarkable properties of high density, durability, and replicability, is one of the most appealing storage media. Emerging DNA storage technologies use composite DNA letters, where information is represented by probability vectors, leading to higher information density and lower synthesizing costs than regular DNA letters. However, it faces the problem of inevitable noise and information corruption. This paper explores the channel of composite DNA letters in DNA-based storage systems and introduces block codes for limited-magnitude probability errors on probability vectors. First, outer and inner bounds for limited-magnitude probability error correction codes are provided. Moreover, code constructions are proposed where the number of errors is bounded by t, the error magnitudes are bounded by l, and the probability resolution is fixed as k. These constructions focus on leveraging the properties of limited-magnitude probability errors in DNA-based storage systems, leading to improved performance in terms of complexity and redundancy. In addition, the asymptotic optimality for one of the proposed constructions is established. Finally, systematic codes based on one of the proposed constructions are presented, which enable efficient information extraction for practical implementation.
- [29] arXiv:2405.10455 [pdf, ps, html, other]
-
Title: Subtractive random forests with two choicesSubjects: Probability (math.PR)
Recommendation systems are pivotal in aiding users amid vast online content. Broutin, Devroye, Lugosi, and Oliveira proposed Subtractive Random Forests (\textsc{surf}), a model that emphasizes temporal user preferences. Expanding on \textsc{surf}, we introduce a model for a multi-choice recommendation system, enabling users to select from two independent suggestions based on past interactions. We evaluate its effectiveness and robustness across diverse scenarios, incorporating heavy-tailed distributions for time delays. By analyzing user topic evolution, we assess the system's consistency. Our study offers insights into the performance and potential enhancements of multi-choice recommendation systems in practical settings.
- [30] arXiv:2405.10458 [pdf, ps, html, other]
-
Title: Decision theory via model-free generalized fiducial inferenceSubjects: Statistics Theory (math.ST)
Building on the recent development of the model-free generalized fiducial (MFGF) paradigm (Williams, 2023) for predictive inference with finite-sample frequentist validity guarantees, in this paper, we develop an MFGF-based approach to decision theory. Beyond the utility of the new tools we contribute to the field of decision theory, our work establishes a formal connection between decision theories from the perspectives of fiducial inference, conformal prediction, and imprecise probability theory. In our paper, we establish pointwise and uniform consistency of an {\em MFGF upper risk function} as an approximation to the true risk function via the derivation of nonasymptotic concentration bounds, and our work serves as the foundation for future investigations of the properties of the MFGF upper risk from the perspective of new decision-theoretic, finite-sample validity criterion, as in Martin (2021).
- [31] arXiv:2405.10465 [pdf, ps, other]
-
Title: Error Analysis of Randomized Symplectic Model Order Reduction for Hamiltonian systemsComments: 27 pages, 4 figuresSubjects: Numerical Analysis (math.NA)
Solving high-dimensional dynamical systems in multi-query or real-time applications requires efficient surrogate modelling techniques, as e.g., achieved via model order reduction (MOR). If these systems are Hamiltonian systems their physical structure should be preserved during the reduction, which can be ensured by applying symplectic basis generation techniques such as the complex SVD (cSVD). Recently, randomized symplectic methods such as the randomized complex singular value decomposition (rcSVD) have been developed for a more efficient computation of symplectic bases that preserve the Hamiltonian structure during MOR. In the current paper, we present two error bounds for the rcSVD basis depending on the choice of hyperparameters and show that with a proper choice of hyperparameters, the projection error of rcSVD is at most a constant factor worse than the projection error of cSVD. We provide numerical experiments that demonstrate the efficiency of randomized symplectic basis generation and compare the bounds numerically.
- [32] arXiv:2405.10466 [pdf, ps, html, other]
-
Title: Maximal \delta-separated sets in separable metric spaces and weak forms of choiceSubjects: Logic (math.LO)
We show that the statement ``In every separable pseudometric space there is a maximal non-strictly \delta-separated set.'' implies the axiom of choice for countable families of sets. This gives answers to a question of Dybowski and Górka in [M. Dybowski and P. Górka, The axiom of choice in metric measure spaces and maximal \delta-separated sets, Archive for Mathematical Logic 62, 735-749, 2023.]. We also prove several related results.
- [33] arXiv:2405.10470 [pdf, ps, html, other]
-
Title: On embeddability of Coxeter groups into the Riordan groupComments: 13 pagesSubjects: Group Theory (math.GR); Combinatorics (math.CO)
We prove that a Coxeter group containing an element of finite order, which is generated by two non-commuting involutions, can not be embedded into the Riordan group.
- [34] arXiv:2405.10479 [pdf, ps, html, other]
-
Title: Convexification for a Coefficient Inverse Problem for a System of Two Coupled Nonlinear Parabolic EquationsComments: arXiv admin note: text overlap with arXiv:2310.08878Subjects: Numerical Analysis (math.NA)
A system of two coupled nonlinear parabolic partial differential equations with two opposite directions of time is considered. In fact, this is the so-called "Mean Field Games System" (MFGS), which is derived in the mean field games (MFG) theory. This theory has numerous applications in social sciences. The topic of Coefficient Inverse Problems (CIPs) in the MFG theory is in its infant age, both in theory and computations. A numerical method for this CIP is developed. Convergence analysis ensures the global convergence of this method. Numerical experiments are presented.
- [35] arXiv:2405.10491 [pdf, ps, html, other]
-
Title: Formal self-duality and numerical self-duality for symmetric association schemesSubjects: Rings and Algebras (math.RA)
Let ${\mathcal X} = (X, \{R_i\}_{i=0}^d)$ denote a symmetric association scheme. Fix an ordering $\{E_i\}_{i=0}^d$ of the primitive idempotents of $\mathcal{X}$, and let $P$ (resp.\ $Q$) denote the corresponding first eigenmatrix (resp.\ second eigenmatrix) of $\mathcal X$. The scheme $\mathcal X$ is said to be formally self-dual (with respect to the ordering $\{E_i\}_{i=0}^d$) whenever $P=Q$. We define $\mathcal X$ to be numerically self-dual (with respect to the ordering $\{E_i\}_{i=0}^d$) whenever the intersection numbers and Krein parameters satisfy $p^h_{i,j} =q^h_{i,j}$ for $0 \leq h,i,j \leq d$. It is known that with respect to the ordering $\{E_i\}_{i=0}^d$, formal self-duality implies numerical self-duality. This raises the following question: is it possible that with respect to the ordering $\{E_i\}_{i=0}^d$, $\mathcal X$ is numerically self-dual but not formally self-dual? This is possible as we will show. We display an example of a symmetric association scheme and an ordering the primitive idempotents with respect to which the scheme is numerically self-dual but not formally self-dual. We have the following additional results about self-duality. Assume that $\mathcal X$ is $P$-polynomial. We show that the following are equivalent: (i) $\mathcal X$ is formally self-dual with respect to the ordering $\{E_i\}_{i=0}^d$; (ii)
$\mathcal X$ is numerically self-dual with respect to the ordering $\{E_i\}_{i=0}^d$. Assume that the ordering $\{E_i\}_{i=0}^d$ is $Q$-polynomial. We show that the following are equivalent: (i) $\mathcal X$ is formally self-dual with respect to the ordering $\{E_i\}_{i=0}^d$; (ii)
$\mathcal X$ is numerically self-dual with respect to the ordering $\{E_i\}_{i=0}^d$. - [36] arXiv:2405.10495 [pdf, ps, html, other]
-
Title: Rigidity of eigenvalues of shrinking Ricci solitonsSubjects: Differential Geometry (math.DG)
In this paper, we study the rigidity of eigenvalues of shring Ricci solitons. It is known that the drifted Laplacian on shrinking Ricci solitons has discrete spectrum, its eigenvalues have a lower bound and a rigidity result holds. Firstly, we show that if the $n^\text{th}$ eigenvalue is close to this lower bound, then the $n$-soliton must be the trivial Gaussian soliton $\mathbb{R}^n$. Secondly, we show similar results for the $(n-1)^\text{th}$ and $(n-2)^\text{th}$ eigenvalue under a non-collapsing condition. Lastly, we give an alomost rigidity for the $k^\text{th}$ eigenvalue with general $k$. Part of our results could be viewed as an soliton (could be noncompact) analog of Theorem 1.1 (which only holds for compact manifolds) in Peterson (Invent. Math. 138 (1999): 1-21).
- [37] arXiv:2405.10496 [pdf, ps, html, other]
-
Title: Electromagnetic Information Theory for Holographic MIMO CommunicationsLi Wei, Tierui Gong, Chongwen Huang, Zhaoyang Zhang, Wei E. I. Sha, Zhi Ning Chen, Linglong Dai, Merouane Debbah, Chau YuenSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Holographic multiple-input multiple-output (HMIMO) utilizes a compact antenna array to form a nearly continuous aperture, thereby enhancing higher capacity and more flexible configurations compared with conventional MIMO systems, making it attractive in current scientific research. Key questions naturally arise regarding the potential of HMIMO to surpass Shannon's theoretical limits and how far its capabilities can be extended. However, the traditional Shannon information theory falls short in addressing these inquiries because it only focuses on the information itself while neglecting the underlying carrier, electromagnetic (EM) waves, and environmental interactions. To fill up the gap between the theoretical analysis and the practical application for HMIMO systems, we introduce electromagnetic information theory (EIT) in this paper. This paper begins by laying the foundation for HMIMO-oriented EIT, encompassing EM wave equations and communication regions. In the context of HMIMO systems, the resultant physical limitations are presented, involving Chu's limit, Harrington's limit, Hannan's limit, and the evaluation of coupling effects. Field sampling and HMIMO-assisted oversampling are also discussed to guide the optimal HMIMO design within the EIT framework. To comprehensively depict the EM-compliant propagation process, we present the approximate and exact channel modeling approaches in near-/far-field zones. Furthermore, we discuss both traditional Shannon's information theory, employing the probabilistic method, and Kolmogorov information theory, utilizing the functional analysis, for HMIMO-oriented EIT systems.
- [38] arXiv:2405.10500 [pdf, ps, html, other]
-
Title: A Branch and Bound Algorithm for Multiobjective Optimization Problems Using General Ordering ConesComments: arXiv admin note: substantial text overlap with arXiv:2402.18015Subjects: Optimization and Control (math.OC)
Many existing branch and bound algorithms for multiobjective optimization problems require a significant computational cost to approximate the entire Pareto optimal solution set. In this paper, we propose a new branch and bound algorithm that approximates a part of the Pareto optimal solution set by introducing the additional preference information in the form of ordering cones. The basic idea is to replace the Pareto dominance induced by the nonnegative orthant with the cone dominance induced by a larger ordering cone in the discarding test. In particular, we consider both polyhedral and non-polyhedral cones, and propose the corresponding cone dominance-based discarding tests, respectively. In this way, the subboxes that do not contain efficient solutions with respect to the ordering cone will be removed, even though they may contain Pareto optimal solutions. We prove the global convergence of the proposed algorithm. Finally, the proposed algorithm is applied to a number of test instances as well as to 2- to 5-objective real-world constrained problems.
- [39] arXiv:2405.10505 [pdf, ps, html, other]
-
Title: Local Time-Stepping for the Shallow Water Equations using CFL Optimized Forward-Backward Runge-Kutta SchemesSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
The Courant-Friedrichs-Lewy (CFL) condition is a well known, necessary condition for the stability of explicit time-stepping schemes that effectively places a limit on the size of the largest admittable time-step for a given problem. We formulate and present a new local time-stepping (LTS) scheme optimized, in the CFL sense, for the shallow water equations (SWEs). This new scheme, called FB-LTS, is based on the CFL optimized forward-backward Runge-Kutta schemes from Lilly et al. (2023). We show that FB-LTS maintains exact conservation of mass and absolute vorticity when applied to the TRiSK spatial discretization (Ringler et al., 2010), and provide numerical experiments showing that it retains the temporal order of the scheme on which it is based (second order). In terms of computational performance, we show that when applied to a real-world test case on a highly-variable resolution mesh, the MPAS-Ocean implementation of FB-LTS is up to 10 times faster than the classical four-stage, fourth-order Runge-Kutta method (RK4), and 2.3 times faster than an existing strong stability preserving Runge-Kutta based LTS scheme (LTS3). Despite this significant increase in efficiency, the solutions produced by FB-LTS are qualitatively equivalent to those produced by both RK4 and LTS3.
- [40] arXiv:2405.10514 [pdf, ps, html, other]
-
Title: Secrecy Performance Analysis of Multi-Functional RIS-Assisted NOMA NetworksComments: 14 pages, 9 figures, submitted to IEEE transactions on wireless communicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Although reconfigurable intelligent surface (RIS) can improve the secrecy communication performance of wireless users, it still faces challenges such as limited coverage and double-fading effect. To address these issues, in this paper, we utilize a novel multi-functional RIS (MF-RIS) to enhance the secrecy performance of wireless users, and investigate the physical layer secrecy problem in non-orthogonal multiple access (NOMA) networks. Specifically, we derive closed-form expressions for the secrecy outage probability (SOP) and secrecy throughput of users in the MF-RIS-assisted NOMA networks with external and internal eavesdroppers. The asymptotic expressions for SOP and secrecy diversity order are also analyzed under high signal-to-noise ratio (SNR) conditions. Additionally, we examine the impact of receiver hardware limitations and error transmission-induced imperfect successive interference cancellation (SIC) on the secrecy performance. Numerical results indicate that: i) under the same power budget, the secrecy performance achieved by MF-RIS significantly outperforms active RIS and simultaneously transmitting and reflecting RIS; ii) with increasing power budget, residual interference caused by imperfect SIC surpasses thermal noise as the primary factor affecting secrecy capacity; and iii) deploying additional elements at the MF-RIS brings significant secrecy enhancements for the external eavesdropping scenario, in contrast to the internal eavesdropping case.
- [41] arXiv:2405.10519 [pdf, ps, html, other]
-
Title: Primes and Bivariate Polynomials without Constant TermsComments: 5 PagesSubjects: Number Theory (math.NT)
We show some recursive results when a positive bivariate polynomial with no constant term can represent prime. We also give a simple condition and algorithm to check if the polynomial can represent any prime.
- [42] arXiv:2405.10520 [pdf, ps, html, other]
-
Title: Witten deformation and divergence-free symmetric Killing 2-tensorsSubjects: Differential Geometry (math.DG)
Using a Morse function and a Witten deformation argument, we obtain an upper bound for the dimension of the space of divergence-free symmetric Killing $p$-tensors on a closed Riemannian manifold, and calculate it explicitly for $p=2$.
- [43] arXiv:2405.10532 [pdf, ps, html, other]
-
Title: Local Rigidity of the Couette Flow for the Stationary Triple-Deck EquationsComments: 24 pagesSubjects: Analysis of PDEs (math.AP)
The Triple-Deck equations are a classical boundary layer model which describes the asymptotics of a viscous flow near the separation point, and the Couette flow is an exact stationary solution to the Triple-Deck equations. In this paper we prove the local rigidity of the Couette flow in the sense that there are no other stationary solutions near the Couette flow in a scale invariant space. This provides a stark contrast to the well-studied stationary Prandtl counterpart, and in particular offers a first result towards the rigidity question raised by R. E. Meyer in 1983.
- [44] arXiv:2405.10533 [pdf, ps, html, other]
-
Title: Anticanonical minimal models and Zariski decompositionSubjects: Algebraic Geometry (math.AG)
Birkar and Hu showed that if a pair $(X,\Delta)$ is lc and $K_{X}+\Delta$ admits a birational Zariski decomposition, then $(X,\Delta)$ has a minimal model. Analogously, we prove that if a pair $(X,\Delta)$ is pklt and $-(K_{X}+\Delta)$ admits a birational Zariski decomposition, then $(X,\Delta)$ has an anticanonical minimal
- [45] arXiv:2405.10538 [pdf, ps, html, other]
-
Title: Measure theoretic properties of large products of consecutive partial quotientsComments: 26 pagesSubjects: Number Theory (math.NT)
The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to\mathbb{R}_{>0}$ and $\ell\in \mathbb{N}$, we determine the Lebesgue measure and Hausdorff dimension of the set $\mathcal{F}_{\ell}(\varphi)$ of irrational numbers $x$ whose regular continued fraction $x~=~[a_1(x),a_2(x),\ldots]$ is such that for infinitely many $n\in\mathbb{N}$ there are two numbers $1\leq j<k \leq n$ satisfying \[ a_{k}(x)\cdots a_{k+\ell-1}(x)\geq \varphi(n), \; a_{j}(x)\cdots a_{j+\ell-1}(x)\geq \varphi(n). \] One of the consequences of the results is that the strong law of large numbers for products of $\ell$ consecutive partial quotients is impossible even if the block with the largest product is removed.
- [46] arXiv:2405.10541 [pdf, ps, other]
-
Title: Segre surfaces and geometry of the Painlev\'e equationsComments: 66 pages, 4 figuresSubjects: Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
In this paper, we consider a six parameter family of affine Segre surfaces embedded in $\mathbb C^6$. For generic values of the parameters, this family is associated to the $q$-difference sixth Painlevé equation. We show that different limiting forms of this family give Segre surfaces that are isomorphic as affine varieties to the the monodromy manifolds of each Painlevé differential equation.
- [47] arXiv:2405.10549 [pdf, ps, html, other]
-
Title: Spectral energy of Dirac operators for fermion scattering on topological solitons in the nonlinear $O(3)$ $\sigma$-modelComments: 12 pagesSubjects: Mathematical Physics (math-ph); Functional Analysis (math.FA)
We present a criteria affirming the existence of discrete ground states of the Dirac operators which describe the fermion scattering on topological solitons in the nonlinear $O(3)$ $\sigma$-model. Additionally, we investigate a sufficient condition that elucidates the phenomenon of supersymmetry breaking within the supersymmetric quantum mechanics associated with this Dirac operator.
- [48] arXiv:2405.10560 [pdf, ps, html, other]
-
Title: The Artin-Maur zeta function for interval mapsComments: 33 pages, 7 figuresSubjects: Dynamical Systems (math.DS)
In this work we study the Artin-Mazur zeta function for piecewise monotone functions acting on a compact interval of real numbers. In the case of unimodal maps, Milnor and Thurston gave a characterization for the rationality of the Artin-Mazur zeta function in terms of the orbit of the unique turning point. We show that for multimodal maps, the previous characterization does not hold.
- [49] arXiv:2405.10569 [pdf, ps, html, other]
-
Title: An optimal design problem for a charge qubitComments: 33 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
In this paper we introduce a simple variational model describing the ground state of a superconducting charge qubit. The model gives rise to a shape optimization problem that aims at maximizing the number of qubit states at a given gating voltage. We show that for small values of the charge optimal shapes exist and are $C^{2,\alpha}$-nearly spherical sets. In contrast, for large values of the charge the optimal shape does not exist, with the energy favoring disjoint collections of sets.
- [50] arXiv:2405.10572 [pdf, ps, html, other]
-
Title: Resonances as a computational toolSubjects: Numerical Analysis (math.NA)
A large toolbox of numerical schemes for dispersive equations has been established, based on different discretization techniques such as discretizing the variation-of-constants formula (e.g., exponential integrators) or splitting the full equation into a series of simpler subproblems (e.g., splitting methods). In many situations these classical schemes allow a precise and efficient approximation. This, however, drastically changes whenever non-smooth phenomena enter the scene such as for problems at low regularity and high oscillations. Classical schemes fail to capture the oscillatory nature of the solution, and this may lead to severe instabilities and loss of convergence. In this article we review a new class of resonance-based schemes. The key idea in the construction of the new schemes is to tackle and deeply embed the underlying nonlinear structure of resonances into the numerical discretization. As in the continuous case, these terms are central to structure preservation and offer the new schemes strong properties at low regularity.
- [51] arXiv:2405.10580 [pdf, ps, html, other]
-
Title: A stochastic version of the Hopfield-Ninio kinetic proofreading modelSubjects: Probability (math.PR)
In this paper we study a simple stochastic version of the Hopfield-Ninio kinetic proofreading model. The model is characterized by means of two parameters, the unbinding time, which depends on the binding energy between a ligand and a receptor, and the number of times $M \geq 1$ that a ligand attaches to a receptor. We prove that, under suitable assumptions on M, our model has an extreme specificity, i.e. it is capable to discriminate between different ligands, and a high sensitivity, i.e. the response of the system does not change in a significant manner for ranges of ligands varying within several orders of magnitude. Additional quantities like the amount of energy used by the network or the time required to yield a response will be also computed. We also show that our results are robust, i.e., they do not depend on the specific choice of parameters that we make in this paper.
- [52] arXiv:2405.10582 [pdf, ps, other]
-
Title: General oracle inequalities for a penalized log-likelihood criterion based on non-stationary dataJulien Aubert (UniCA, LJAD, CNRS), Luc Lehéricy (LJAD, UniCA, CNRS), Patricia Reynaud-Bouret (LJAD, UniCA, CNRS)Subjects: Statistics Theory (math.ST)
We prove oracle inequalities for a penalized log-likelihood criterion that hold even if the data are not independent and not stationary, based on a martingale approach. The assumptions are checked for various contexts: density estimation with independent and identically distributed (i.i.d) data, hidden Markov models, spiking neural networks, adversarial bandits. In each case, we compare our results to the literature, showing that, although we lose some logarithmic factors in the most classical case (i.i.d.), these results are comparable or more general than the existing results in the more dependent cases.
- [53] arXiv:2405.10588 [pdf, ps, other]
-
Title: Decompounding with unknown noise through several independents channelsGuillaume Garnier (LJLL, MERGE)Subjects: Statistics Theory (math.ST)
In this article, we consider two different statistical models. First, we focus on the estimation of the jump intensity of a compound Poisson process in the presence of unknown noise. This problem combines both the deconvolution problem and the decompounding problem. More specifically, we observe several independent compound Poisson processes but we assume that all these observations are noisy due to measurement noise. We construct an Fourier estimator of the jump density and we study its mean integrated squared error. Then, we propose an adaptive method to correctly select the cutoff of the estimator and we illustrate the efficiency of the method with numerical results. Secondly, we introduce in this paper the multiplicative decompounding problem. We study this problem with Mellin density estimators. We develop an adaptive procedure to select the optimal cutoff parameter.
- [54] arXiv:2405.10594 [pdf, ps, html, other]
-
Title: Combinatorics of generic 5-degree polynomialsComments: 4 pages, 10 figuresSubjects: Combinatorics (math.CO)
We consider the space $P$ of generic complex 5-degree polynomials. Critical values of such polynomial, i.e. four points in the complex plane, either are vertices of a convex quadrangle $Q$, or vertices of a triangle $T$ with one point inside $T$. The inverse image of $Q$ is a tree-like connected structure of five ovals (a cactus). The inverse image of $T$ is also a cactus, but of four ovals. Transformations of cacti of the first type into cacti of the second type and vice versa allow one to represent the space $P$ as a ribbon bipartite graph of genus 3.
- [55] arXiv:2405.10600 [pdf, ps, other]
-
Title: Dirichlet problem for a class of nonlinear degenerate elliptic operators with critical growth and logarithmic perturbationSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate the existence of weak solutions for a class of degenerate elliptic Dirichlet problems with critical nonlinearity and a logarithmic perturbation
- [56] arXiv:2405.10602 [pdf, ps, html, other]
-
Title: Isomorphism classes and stably isomorphisms of double Danielewski varietiesSubjects: Algebraic Geometry (math.AG)
The interest in Danielewski varieties arose from the study of the Cancellation Problem. In this paper, we study the isomorphism classes and stably isomorphisms of double Danielewski varieties, and show that they are counterexamples of the Cancellation Problem.
- [57] arXiv:2405.10607 [pdf, ps, html, other]
-
Title: On the existence and estimates of nested spherical designsSubjects: Functional Analysis (math.FA); Combinatorics (math.CO)
In this paper, we prove the existence of a spherical $t$-design formed by adding extra points to an arbitrarily given point set on the sphere and, subsequently, deduce the existence of nested spherical designs. Estimates on the number of required points are also given. For the case that the given point set is a spherical $t_1$-design such that $t_1 < t$ and the number of points is of optimal order $t_1^d$, we show that the upper bound of the total number of extra points and given points for forming nested spherical $t$-design is of order $t^{2d+1}$. A brief discussion concerning the optimal order in nested spherical designs is also given.
- [58] arXiv:2405.10609 [pdf, ps, html, other]
-
Title: Quasi-polynomial extensions of nonsymmetric Macdonald-Koornwinder polynomialsComments: 43 pagesSubjects: Representation Theory (math.RT)
In a recent preprint of the author with Sahi and Venkateswaran families of actions of the double affine Hecke algebra on spaces of quasi-polynomials were introduced. These so-called quasi-polynomial representations led to the introduction of quasi-polynomial extensions of the nonsymmetric Macdonald polynomials which reduce to metaplectic Iwahori-Whittaker functions in the $\mathfrak{p}$-adic limit. In this paper we extend the quasi-polynomial representations to Sahi's 5-parameter double affine Hecke algebra and introduce the quasi-polynomial extensions of the nonsymmetric Koornwinder polynomials.
- [59] arXiv:2405.10617 [pdf, ps, html, other]
-
Title: On Growth Functions of Coxeter GroupsComments: 11 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR)
Let $(W, S)$ be a Coxeter system of rank $n$ and let $p_{(W, S)}(t)$ be its growth function. It is known that $p_{(W, S)}(q^{-1}) < \infty$ holds for all $n \leq q \in \mathbb{N}$. In this paper we will show that this still holds for $q = n-1$, if $(W, S)$ is $2$-spherical. Moreover, we will prove that $p_{(W, S)}(q^{-1}) = \infty$ holds for $q = n-2$, if the Coxeter diagram of $(W, S)$ is the complete graph. These two results provide a complete characterization of the finiteness of the growth function in the case of $2$-spherical Coxeter systems with complete Coxeter diagram.
- [60] arXiv:2405.10619 [pdf, ps, other]
-
Title: La structure des courbes analytiquesComments: French, 357 pSubjects: Algebraic Geometry (math.AG)
This is a work in progress, far from being in its final form whose purpose is to investigate thoroughly the structure of Berkovich analytic curves and its relation with the semi-stable reduction theorem (of which a new proof is given here, starting from the local study of Berkovich curves) through the formalism of "triangulations". It has been already on the author's webpage for years, but it seems better to make it available on a public preprint server.
- [61] arXiv:2405.10631 [pdf, ps, html, other]
-
Title: A \emph{$\Gamma$}-convergence of level-two large deviation for metastable systems: The case of zero-range processesComments: 58 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
This study explores the relationship between the precise asymptotics of the level-two large deviation rate function and the behavior of metastable stochastic systems. Initially identified for overdamped Langevin dynamics (Ges{ù} et al., \textit{SIAM J Math Anal} 49(4), 3048-3072, 2017), this connection has been validated across various models, including random walks in a potential field. We extend this connection to condensing zero-range processes, a complex interacting particle system.
Specifically, we investigate a certain class of zero-range processes on a fixed graph $G$ with $N > 0$ particles and interaction parameter $\alpha > 1$. On the time scale $N^2$, this process behaves like an absorbing-type diffusion and converges to a condensed state where all particles occupy a single vertex of $G$ as $N$ approaches infinity. Once condensed, on the time scale $N^{1+\alpha}$, the condensed site moves according to a Markov chain on $G$, showing metastable behavior among condensed states. The time scales $N^2$ and $N^{1+\alpha}$ are called the pre-metastable and metastable time scales. It is conjectured that this behavior is encapsulated in the level-two large deviation rate function $\mathcal{I}_N$ of the zero-range process. Specifically, it is expected that the $\Gamma$-expansion of $\mathcal{I}_N$ can be expressed as:$$\mathcal{I}_N = \frac{1}{N^2} \mathcal{K} + \frac{1}{N^{1+\alpha}} \mathcal{J},$$ where $\mathcal{K}$ and $\mathcal{J}$ are the level-two large deviation rate functions of the absorbing diffusion processes and the Markov chain on $G$. We rigorously prove this $\Gamma$-expansion by developing a methodology for $\Gamma$-convergence in the pre-metastable time scale and establishing a link between the resolvent approach to metastability (Landim et al., \textit{J Eur Math Soc}, 2023. \texttt{arXiv:2102.00998}) and the $\Gamma$-expansion in the metastable time scale. - [62] arXiv:2405.10636 [pdf, ps, html, other]
-
Title: Localization and unique continuation for non-stationary Schr\"odinger operators on the 2D latticeComments: 49 pages, comments welcomeSubjects: Mathematical Physics (math-ph); Probability (math.PR)
We extend methods of Ding and Smart from their breakthrough paper in 2020 which showed Anderson localization for certain random Schrödinger operators on $\ell^2(\mathbb{Z}^2)$ via a quantitative unique continuation principle and Wegner estimate. We replace the requirement of identical distribution with the requirement of a uniform bound on the essential range of potential and a uniform positive lower bound on the variance of the variables giving the potential. Under those assumptions, we recover the unique continuation and Wegner lemma results, using Bernoulli decompositions and modifications of the arguments therein. This leads to a localization result at the bottom of the spectrum.
- [63] arXiv:2405.10638 [pdf, ps, html, other]
-
Title: Deterministic computation of quantiles in a Lipschitz frameworkSubjects: Probability (math.PR)
In this article, our focus lies on computing the quantiles of a random variable $f(X)$, where $X$ is a $[0,1]^d$-valued random variable, $d \in \mathbb{N}^{\ast}$, and $f:[0,1]^d\to \mathbb{R}$ is a deterministic Lipschitz function. We are particularly interested in scenarios where the cost of a single function call is high, while assuming the law of $X$ is known. In this context, we propose a deterministic algorithm to obtain exact deterministic lower and upper bounds for the quantile of $f(X)$ at a given level $\alpha \in (0,1)$. With a fixed budget of $N$ function calls, we demonstrate that our algorithm achieves exponential convergence rate for $d=1$ ($\sim \rho^N$ with $\rho \in (0,1)$) and polynomial convergence rate for $d>1$ ($\sim N^{-\frac{1}{d-1}}$) and show the optimality of those rates within the class of deterministic algorithms. Furthermore, we design two algorithms based on whether the Lipschitz constant of $f$ is known or unknown.
- [64] arXiv:2405.10639 [pdf, ps, html, other]
-
Title: Note on the union-closed sets conjecture and Reimer's average set size theoremSubjects: Combinatorics (math.CO)
The Union-Closed Sets Conjecture, often attributed to Péter Frankl in 1979, remains an open problem in discrete mathematics. It posits that for any finite family of sets $S\neq\{\emptyset\}$, if the union of any two sets in the family is also in the family, then $\underline{\text{there must exist an element that belongs to at least half of the member sets}}$. We will refer to the underlined text as the abundance condition. In 2001, David Reimer proved that the average set size of a union-closed family $S$ must be at least $\frac{1}{2}\log_{2}|S|$. When proving this result, he showed that a family being union-closed implies that the family satisfies certain conditions, which we will refer to as the Reimer's conditions. Therefore, as seen in the context of Tim Gowers' polymath project on the Union-Closed Sets Conjecture, it is natural to ask if all families that satisfy Reimer's conditions meet the abundance condition. A minimal counterexample to this question was offered by Raz in 2017. In this paper, we will discuss a general method to construct infinitely many such counterexamples with any fixed lower bound on the size of the member sets. Furthermore, we will discuss some properties related to these counterexamples, especially those focusing on how far these counterexamples are from being union-closed.
- [65] arXiv:2405.10646 [pdf, ps, html, other]
-
Title: On pressureless Euler equation with external forceComments: 24 pages, 4 figuresSubjects: Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI); Fluid Dynamics (physics.flu-dyn)
Hodograph equations for the n-dimensional Euler equations with the constant pressure and external force linear in velocity are presented. They provide us with solutions of the Euler in implicit form and information on existence or absence of gradient catastrophes. It is shown that in even dimensions the constructed solutions are periodic in time for particular subclasses of external forces. Several particular examples in one, two and three dimensions are considered, including the case of Coriolis external force.
- [66] arXiv:2405.10651 [pdf, ps, html, other]
-
Title: A metaplectic perspective of uncertainty principles in the Linear Canonical Transform domainComments: 55 pages, to appear in J. Funct. AnalSubjects: Functional Analysis (math.FA); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We derive Heisenberg uncertainty principles for pairs of Linear Canonical Transforms of a given function, by resorting to the fact that these transforms are just metaplectic operators associated with free symplectic matrices. The results obtained synthesize and generalize previous results found in the literature, because they apply to all signals, in arbitrary dimension and any metaplectic operator (which includes Linear Canonical Transforms as particular cases). Moreover, we also obtain a generalization of the Robertson-Schrödinger uncertainty principle for Linear Canonical Transforms. We also propose a new quadratic phase-space distribution, which represents a signal along two intermediate directions in the time-frequency plane. The marginal distributions are always non-negative and permit a simple interpretation in terms of the Radon transform. We also give a geometric interpretation of this quadratic phase-space representation as a Wigner distribution obtained upon Weyl quantization on a non-standard symplectic vector space. Finally, we derive the multidimensional version of the Hardy uncertainty principle for metaplectic operators and the Paley-Wiener theorem for Linear Canonical Transforms.
- [67] arXiv:2405.10652 [pdf, ps, html, other]
-
Title: Endpoint Schatten class properties of commutatorsComments: 41 pagesSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Operator Algebras (math.OA); Spectral Theory (math.SP)
We study trace ideal properties of the commutators $[(-\Delta)^{\frac{\epsilon}{2}},M_f]$ of a power of the Laplacian with the multiplication operator by a function $f$ on $\mathbb R^d$. For a certain range of $\epsilon\in\mathbb R$, we show that this commutator belongs to the weak Schatten class $\mathcal L_{\frac d{1-\epsilon},\infty}$ if and only if the distributional gradient of $f$ belongs to $L_{\frac d{1-\epsilon}}$. Moreover, in this case we determine the asymptotics of the singular values. Our proofs use, among other things, the tool of Double Operator Integrals.
- [68] arXiv:2405.10660 [pdf, ps, html, other]
-
Title: There is no 290-Theorem for higher degree formsComments: 11 pagesSubjects: Number Theory (math.NT)
We study the universality of forms of degree greater than 2 over rings of integers of totally real number fields. We show that such universal forms always exist, but cannot be characterized by any variant of the 290-Theorem of Bhargava-Hanke.
- [69] arXiv:2405.10664 [pdf, ps, html, other]
-
Title: Uniqueness of tangent flows at infinity for finite-entropy shortening curvesSubjects: Differential Geometry (math.DG)
In this paper, we prove that an ancient smooth curve shortening flow with finite-entropy embedded in $\mathbb{R}^2$ has a unique tangent flow at infinity. To this end, we show that its rescaled flows backwardly converge to a line with multiplity $m\geq 3$ exponentially fast in any compact region, unless the flow is a shrinking circle, a static line, a paper clip, or a translating grim reaper. In addition, we figure out the exact numbers of tips, vertices, and inflection points of the curves at negative enough time. Moreover, the exponential growth rate of graphical radius and the convergence of vertex regions to grim reaper curves will be shown.
- [70] arXiv:2405.10669 [pdf, ps, html, other]
-
Title: Local theory of wave equations with timelike curves of conic singularitiesComments: 71 pages, 13 figuresSubjects: Analysis of PDEs (math.AP)
We develop a general theory for the existence, uniqueness, and higher regularity of solutions to wave-type equations on Lorentzian manifolds with timelike curves of cone-type singularities. These singularities may be of geometric type (cone points with time-dependent cross sectional metric), of analytic type (such as asymptotically inverse square singularities or first order asymptotically scaling-critical singular terms), or any combination thereof. We can treat tensorial equations without any symmetry assumptions; we only require a condition of mode stability type for the stationary model operators defined at each point along the curve of cone points. In symmetric ultrastatic settings, we recover the solvability theory given by the functional calculus for the Friedrichs extension.
- [71] arXiv:2405.10677 [pdf, ps, html, other]
-
Title: Conditional indicatorsSubjects: Probability (math.PR)
In this paper, we introduce a large class of (so-called) conditional indicators, on a complete probability space with respect to a sub $\sigma$-algebra. A conditional indicator is a positive mapping, which is not necessary linear, but may share common features with the conditional expectation, such as the tower property or the projection property. Several characterizations are formulated. Beyond the definitions, we provide some non trivial examples that are used in finance and may inspire new developments in the theory of operators on Riesz spaces.
- [72] arXiv:2405.10693 [pdf, ps, html, other]
-
Title: Diagonal del Pezzo of degree 2 with a Brauer-Manin obstructionSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
In this paper we give an asymptotic formula for the quantity of diagonal del Pezzo surfaces of degree 2 which have a Brauer-Manin obstruction to the Hasse principle when ordered by height.
- [73] arXiv:2405.10694 [pdf, ps, html, other]
-
Title: On the iterates of the Laguerre operatorSubjects: Functional Analysis (math.FA)
We use the iterates of the Laguerre operator to introduce Pilipović spaces on positive orthants. It is shown that such spaces coincide with $G-$type spaces $g_\alpha^\alpha(\mathbb{R}^d_+)$ and $G_\alpha^\alpha(\mathbb{R}^d_+)$, when $\alpha > 1$, and $\alpha \geq 1$, respectively. However, in contrast to $G$-type spaces, Pilipović spaces on positive orthants are nontrivial below the critical index $\alpha = 1$. We also remark that there is a natural isomorphism between subspaces of Pilipović spaces on $\mathbb{R}^d$ consisting of even functions, and Pilipović spaces on positive orthants.
- [74] arXiv:2405.10695 [pdf, ps, other]
-
Title: On the Design of Super ConstellationsThrassos K. Oikonomou, Dimitrios Tyrovolas, Sotiris A. Tegos, Panagiotis D. Diamantoulakis, Panagiotis Sarigiannidis, George K. KaragiannidisSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In the evolving landscape of sixth-generation (6G) wireless networks, which demand ultra high data rates, this study introduces the concept of super constellation communications. Also, we present super amplitude phase shift keying (SAPSK), an innovative modulation technique designed to achieve these ultra high data rate demands. SAPSK is complemented by the generalized polar distance detector (GPD-D), which approximates the optimal maximum likelihood detector in channels with Gaussian phase noise (GPN). By leveraging the decision regions formulated by GPD-D, a tight closed-form approximation for the symbol error probability (SEP) of SAPSK constellations is derived, while a detection algorithm with O(1) time complexity is developed to ensure fast and efficient SAPSK symbol detection. Finally, the theoretical performance of SAPSK and the efficiency of the proposed O(1) algorithm are validated by numerical simulations, highlighting both its superiority in terms of SEP compared to various constellations and its practical advantages in terms of fast and accurate symbol detection.
- [75] arXiv:2405.10704 [pdf, ps, html, other]
-
Title: Optimal Control of Two-Phase Membrane ProblemSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
We consider an optimal control problem where the state is governed by a free boundary problem called the two-phase membrane problem and the control appears in the coefficients of the characteristic function of the positivity and negativity parts of the solution. Our investigation focuses on various properties associated with the control-to-state map. Due to the non-differentiability of this map, we regularize the state equation. The existence, uniqueness, and characterization of the optimal pairs are established.
- [76] arXiv:2405.10708 [pdf, ps, html, other]
-
Title: Numerical Recovery of the Diffusion Coefficient in Diffusion Equations from Terminal MeasurementComments: 22 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
In this work, we investigate a numerical procedure for recovering a space-dependent diffusion coefficient in a (sub)diffusion model from the given terminal data, and provide a rigorous numerical analysis of the procedure. By exploiting decay behavior of the observation in time, we establish a novel H{ö}lder type stability estimate for a large terminal time $T$. This is achieved by novel decay estimates of the (fractional) time derivative of the solution. To numerically recover the diffusion coefficient, we employ the standard output least-squares formulation with an $H^1(\Omega)$-seminorm penalty, and discretize the regularized problem by the Galerkin finite element method with continuous piecewise linear finite elements in space and backward Euler convolution quadrature in time. Further, we provide an error analysis of discrete approximations, and prove a convergence rate that matches the stability estimate. The derived $L^2(\Omega)$ error bound depends explicitly on the noise level, regularization parameter and discretization parameter(s), which gives a useful guideline of the \textsl{a priori} choice of discretization parameters with respect to the noise level in practical implementation. The error analysis is achieved using the conditional stability argument and discrete maximum-norm resolvent estimates. Several numerical experiments are also given to illustrate and complement the theoretical analysis.
- [77] arXiv:2405.10710 [pdf, ps, html, other]
-
Title: Webs and squabs of conics over finite fieldsSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
This paper is a contribution towards a solution for the longstanding open problem of classifying linear systems of conics over finite fields initiated by L. E. Dickson in 1908, through his study of the projective equivalence classes of pencils of conics in $\mathrm{PG}(2,q)$, for $q$ odd. In this paper a set of complete invariants is determined for the projective equivalence classes of webs and of squabs of conics in $\mathrm{PG}(2,q)$, both for $q$ odd and even. Our approach is mainly geometric, and involves a comprehensive study of the geometric and combinatorial properties of the Veronese surface in $\mathrm{PG}(5,q)$. The main contribution is the determination of the distribution of the different types of hyperplanes incident with the $K$-orbit representatives of points and lines of $\mathrm{PG}(5,q)$, where $K\cong\mathrm{PGL}(3,q)$, is the subgroup of $\mathrm{PGL}(6,q)$ stabilizing the Veronese surface.
- [78] arXiv:2405.10720 [pdf, ps, html, other]
-
Title: Symplectic duality via log topological recursionComments: 28 pagesSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Combinatorics (math.CO)
We review the notion of symplectic duality earlier introduced in the context of topological recursion. We show that the transformation of symplectic duality can be expressed as a composition of $x-y$ dualities in a broader context of log topological recursion. As a corollary, we establish nice properties of symplectic duality: various convenient explicit formulas, invertibility, group property, compatibility with topological recursion and KP integrability. As an application of these properties, we get a new and uniform proof of topological recursion for large families of weighted double Hurwitz numbers; this encompasses and significantly extends all previously known results on this matter.
- [79] arXiv:2405.10722 [pdf, ps, html, other]
-
Title: About the Burton-Miller factor in the low frequency regionComments: 12 pages, 9 figuresSubjects: Numerical Analysis (math.NA)
The Burton-Miller method is a widely used approach in acoustics to enhance the stability of the boundary element method for exterior Helmholtz problems at so-called critical frequencies. This method depends on a coupling parameter $\eta$ and it can be shown that as long as $\eta$ has an imaginary part different from 0, the boundary integral formulation for the Helmholtz equation has a unique solution at all frequencies. A popular choice for this parameter is $\eta = \frac{\mathrm{i}}{k}$, where $k$ is the wavenumber. It can be shown that this choice is quasi optimal. However, especially in the low frequency region, where the critical frequencies are still sparsely distributed, different choices for this factor result in a smaller condition number and a smaller error of the solution. In this work, alternative choices for this factor are compared based on numerical experiments. Additionally, a way to enhance the Burton-Miller solution with $\eta = \frac{\mathrm{i}}{k}$ for a sound hard scatterer in the low frequency region by an additional step of a modified Richardson iteration is introduced.
- [80] arXiv:2405.10724 [pdf, ps, html, other]
-
Title: On Freiman's Theorem in a function field settingSubjects: Number Theory (math.NT); Combinatorics (math.CO)
We prove some new instances of a conjecture of Bachoc, Couvreur and Zémor that generalizes Freiman's $3k-4$ Theorem to a multiplicative version in a function field setting. As a consequence we find that if $F$ is a rational function field over an algebraically closed field $K$ and $S \subset F$ a finite dimensional $K$-vector space such that $\dim S^2 = 2\dim S + 1$, then the conjecture holds.
- [81] arXiv:2405.10726 [pdf, ps, html, other]
-
Title: $\tau$-Tilting finiteness of group algebras over generalized symmetric groupsComments: 15 pages. arXiv admin note: text overlap with arXiv:2405.10021Subjects: Representation Theory (math.RT); Group Theory (math.GR); Rings and Algebras (math.RA)
In this paper, we show that weakly symmetric $\tau$-tilting finite algebras have positive definite Cartan matrices, which implies that we can prove $\tau$-tilting infiniteness of weakly symmetric algebras by calculating their Cartan matrices. Similarly, we obtain the condition on Cartan matrices that selfinjective algebras are $\tau$-tilting infinite. By applying this result, we show that a group algebra of $(\mathbb{Z}/p^l\mathbb{Z})^n\rtimes H$ is $\tau$-tilting infinite when $p^l\geq n$ and $\#\mathrm{IBr}\,H\geq\min\{p,3\}$, where $p>0$ is the characteristic of the ground field, $H$ is a subgroup of the symmetric group $\mathfrak{S}_n$ of degree $n$, the action of $H$ permutes the entries of $(\mathbb{Z}/p^l\mathbb{Z})^n$, and $\mathrm{IBr}\,H$ denotes the set of irreducible $p$-Brauer characters of $H$. Moreover, we show that under the assumption that $p^l\geq n$ and $H$ is a $p'$-subgroup of $\mathfrak{S}_n$, $\tau$-tilting finiteness of a group algebra of a group $(\mathbb{Z}/p^l\mathbb{Z})^n\rtimes H$ is determined by its $p$-hyperfocal subgroup.
- [82] arXiv:2405.10728 [pdf, ps, html, other]
-
Title: On dimension stable spaces of measuresComments: 30 pagesSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
In this paper, we define spaces of measures $DS_\beta(\mathbb{R}^d)$ with dimensional stability $\beta \in (0,d)$. These spaces bridge between $M_b(\mathbb{R}^d)$, the space of finite Radon measures, and $DS_d(\mathbb{R}^d)= \mathrm{H}^1(\mathbb{R}^d)$, the real Hardy space. We show the spaces $DS_\beta(\mathbb{R}^d)$ support Sobolev inequalities for $\beta \in (0,d]$, while for any $\beta \in [0,d]$ we show that the lower Hausdorff dimension of an element of $DS_\beta(\mathbb{R}^d)$ is at least $\beta$.
- [83] arXiv:2405.10732 [pdf, ps, other]
-
Title: Renormalization group and elliptic homogenization in high contrastComments: 155 pages; announcement at this https URLSubjects: Probability (math.PR); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We prove a quantitative estimate on the homogenization length scale in terms of the ellipticity ratio $\Lambda/\lambda$ of the coefficient field. This upper bound is applicable to high contrast elliptic equations demonstrating near-critical behavior. Specifically, we show that, given a suitable decay of correlation, the length scale at which homogenization is observed is at most $\exp(C \log^3(1+\Lambda/\lambda))$. The proof introduces the new concept of coarse-grained ellipticity, which measures the effective ellipticity ratio of the equation -- and thus the strength of the disorder -- after integrating out smaller scales. By a direct analytic argument, we obtain an approximate differential inequality for this coarse-grained ellipticity as a function of the length scale. This approach can be interpreted as a rigorous renormalization group argument, and provides a quantitative framework for homogenization that can be iteratively applied across an arbitrary number of length scales.
- [84] arXiv:2405.10734 [pdf, ps, html, other]
-
Title: Bakry-\'Emery, Hardy, and Spectral Gap Estimates on Manifolds with Conical SingularitiesSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
We study spectral properties and geometric functional inequalities on Riemannian manifolds of dimension $\ge3$ with (finite or countably many) conical singularities $\{z_i\}_{i\in\mathfrak I}$ in the neighborhood of which the largest lower bound for the Ricci curvature is \begin{equation}\label{d2} k(x)\simeq K_i-\frac{s_i}{d^2(z_i,x)}. \end{equation} Thus none of the existing Bakry-Émery inequalities or curvature-dimension conditions apply. In particular, $k$ does not belong to the Kato (or (extended Kato) class, and $(M,g)$ is not tamed. Manifolds with such a singular Ricci bound appear quite naturally., e.g. as cones over spheres of radius $>1$
For such manifolds with conical singularities we will prove
* a version of the Bakry-Émery inequality
* a novel Hardy inequality
* a spectral gap estimate. - [85] arXiv:2405.10735 [pdf, ps, html, other]
-
Title: Variance-reduction for Variational Inequality Problems with Bregman Distance FunctionSubjects: Optimization and Control (math.OC)
In this paper, we address variational inequalities (VI) with a finite-sum structure. We introduce a novel single-loop stochastic variance-reduced algorithm, incorporating the Bregman distance function, and establish an optimal convergence guarantee under a monotone setting. Additionally, we explore a structured class of non-monotone problems that exhibit weak Minty solutions, and analyze the complexity of our proposed method, highlighting a significant improvement over existing approaches. Numerical experiments are presented to demonstrate the performance of our algorithm compared to state-of-the-art methods
- [86] arXiv:2405.10737 [pdf, ps, html, other]
-
Title: A dual pair for the group of volume preserving diffeomorphismsComments: 32 pages, one figureSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG)
We use cotangent bundles of spaces of smooth embeddings to construct symplectic dual pairs involving the group of volume preserving diffeomorphisms. Via symplectic reduction we obtain descriptions of coadjoint orbits of this group in terms of nonlinear Grassmannians of augmented submanifolds. For codimension one embeddings these submanifolds are further constrained to the leaves of isodrastic foliations with finite codimensions.
- [87] arXiv:2405.10747 [pdf, ps, html, other]
-
Title: Number of Polynomials Vanishing on a Basis of $S_m(\Gamma_0(N))$Subjects: Number Theory (math.NT)
In this paper we find the number of homogeneous polynomials of degree d such that they vanish on cuspidal modular forms of even weight $m\geq 2$ that form a basis for $S_m(\Gamma_0(N))$. We use these cuspidal forms to embedd $X_0(N)$ to projective space and we find the Hilbert polynomial of the graded ideal of the projective curve that is the image of this embedding.
- [88] arXiv:2405.10751 [pdf, ps, html, other]
-
Title: Some remarks on a mathematical model for water flow in porous media with competition between transport and diffusionComments: 7 pagesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
The contribution deals with the mathematical modelling of fluid flow in porous media, in particular water flow in soils. The motivation is to describe the competition between gravity and capillarity, or, in other words, between transport and diffusion. The analysis is based on a mathematical model developed by B. Detmann, C. Gavioli, and P. Krejčí, in which the effects of gravity are included in a novel way. The model consists of a nonlinear partial differential equation describing both the gravitational transport and the capillary diffusion of water. Although analytical solutions can be obtained for some special cases, only numerical solutions are available in more general situations. The solving algorithm is based on a time discretisation and the finite element method, and is written in Matlab. The results of the numerical simulations are shown and the behaviour of the model is discussed.
- [89] arXiv:2405.10754 [pdf, ps, html, other]
-
Title: Stable Phase Retrieval with Mirror DescentSubjects: Optimization and Control (math.OC); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)
In this paper, we aim to reconstruct an n-dimensional real vector from m phaseless measurements corrupted by an additive noise. We extend the noiseless framework developed in [15], based on mirror descent (or Bregman gradient descent), to deal with noisy measurements and prove that the procedure is stable to (small enough) additive noise. In the deterministic case, we show that mirror descent converges to a critical point of the phase retrieval problem, and if the algorithm is well initialized and the noise is small enough, the critical point is near the true vector up to a global sign change. When the measurements are i.i.d Gaussian and the signal-to-noise ratio is large enough, we provide global convergence guarantees that ensure that with high probability, mirror descent converges to a global minimizer near the true vector (up to a global sign change), as soon as the number of measurements m is large enough. The sample complexity bound can be improved if a spectral method is used to provide a good initial guess. We complement our theoretical study with several numerical results showing that mirror descent is both a computationally and statistically efficient scheme to solve the phase retrieval problem.
- [90] arXiv:2405.10756 [pdf, ps, html, other]
-
Title: Hitting times in the binomial random graphComments: 14 pagesSubjects: Combinatorics (math.CO); Probability (math.PR)
Fix $k\geq 2$, choose $\frac{\log n}{n^{(k-1)/k}}\leq p\leq 1-\Omega(\frac{\log^4 n}{n})$, and consider $G\sim G(n,p)$. For any pair of vertices $v,w\in V(G)$, we give a simple and precise formula for the expected number of steps that a random walk on $G$ starting at $w$ needs to first arrive at $v$. The formula only depends on basic structural properties of $G$. This improves and extends recent results of Ottolini and Steinerberger, as well as Ottolini, who considered this problem for constant as well as for mildly vanishing $p$.
- [91] arXiv:2405.10764 [pdf, ps, html, other]
-
Title: Deformable porous media with degenerate hysteresis in gravity fieldComments: 26 pages. arXiv admin note: text overlap with arXiv:2402.01278Subjects: Analysis of PDEs (math.AP)
Hysteresis in the pressure-saturation relation in unsaturated porous media, which is due to surface tension on the liquid-gas interface, exhibits strong degeneracy in the resulting mass balance equation. Solutions to such degenerate equations have been recently constructed by the method of convexification even if the permeability coefficient depends on the hysteretic saturation. The model is extended here to the case that the solid matrix material is viscoelastic and that the system is coupled with a gravity driven moisture flux. The existence of a solution is proved by compact anisotropic embedding involving Orlicz spaces with respect to the time variable.
- [92] arXiv:2405.10770 [pdf, ps, html, other]
-
Title: On Paszkiewicz's conjecture about a product of positive contractionsComments: 20 pagesSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA); Spectral Theory (math.SP)
The Paszkiewicz conjecture about a product of positive contractions asserts that given a decreasing sequence $T_1\ge T_2\ge \dots$ of positive contractions on a separable infinite-dimensional Hilbert space, the product $S_n=T_n\dots T_1$ converges strongly. Recently, the first named author verified the conjecture for certain classes of sequences. In this paper, we take a new approach by analysing the limit of the positive part $\displaystyle A=\lim_{n\to \infty}|S_n|$ (which always exists, regardless of the existence of $\displaystyle \lim_{n\to \infty}S_n$) and extend the class of examples for which the conjecture holds. We also show how an operator algebraic viewpoint can be useful to study the Paszkiewicz conjecture. Finally, we also show that the Paszkiewicz conjecture is true for all spectrally ordered sequences, i.e., those sequences for which $T_1^k\ge T_2^k\ge \dots$ holds for every $k\in \mathbb{N}$.
- [93] arXiv:2405.10771 [pdf, ps, html, other]
-
Title: Fully nonlinear elliptic equations for some prescribed curvature problems on Hermitian manifoldsSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We study fully nonlinear elliptic equations on Hermitian manifolds through blow-up argument and partial uniform ellipticity. We apply our results to draw geometric conclusions on finding conformal Hermitian metrics with prescribed Chern-Ricci curvature functions. By some obstruction from geometric function theory, our assumptions are almost sharp.
- [94] arXiv:2405.10783 [pdf, ps, html, other]
-
Title: Wrapped Fukaya category of plumbingsSubjects: Symplectic Geometry (math.SG); Representation Theory (math.RT)
Plumbing spaces have drawn significant attention among symplectic topologists due to their natural occurrence as examples of Weinstein manifolds. In our paper, we provide a general formula for the wrapped Fukaya category of plumbings (with arbitrary grading structure) of cotangent bundles along any quiver. Our approach relies on "local-to-global" computations. Specifically, we compute the wrapped Fukaya category of "plumbing sectors" that serve as local models for the singularities of Lagrangian skeletons of plumbing spaces. As corollaries, we fully describe the wrapped Fukaya category of plumbing spaces in dimension $4$ and plumbings of $T^*S^n$ for $n \geq 3$. We show that any Ginzburg dg algebra/category of a graded quiver without potential is equivalent to the wrapped Fukaya category of a plumbing of $T^*S^n$ (with the corresponding grading structure).
- [95] arXiv:2405.10789 [pdf, ps, html, other]
-
Title: On Minimal Transversals of Maximal Cliques in GraphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
A hypergraph is conformal if it is the family of maximal cliques of a graph. In this paper we are interested in the problem of determining when is the family of minimal transversal of maximal cliques of a graph conformal. Such graphs are called clique dually conformal (CDC for short). As our main results, we completely characterize CDC graphs within the families of triangle-free graphs and split graphs. Both characterizations lead to polynomial-time recognition algorithms. We also show that the class of CDC graphs is closed under substitution, in the strong sense that substituting a graph $H$ for a vertex of a graph $G$ results in a CDC graph if and only if both $G$ and $H$ are CDC.
- [96] arXiv:2405.10795 [pdf, ps, html, other]
-
Title: Non trivial optimal sampling rate for estimating a Lipschitz-continuous function in presence of mean-reverting Ornstein-Uhlenbeck noiseComments: 14 pages, 5 figuresSubjects: Statistics Theory (math.ST); Probability (math.PR); Methodology (stat.ME)
We examine a mean-reverting Ornstein-Uhlenbeck process that perturbs an unknown Lipschitz-continuous drift and aim to estimate the drift's value at a predetermined time horizon by sampling the path of the process. Due to the time varying nature of the drift we propose an estimation procedure that involves an online, time-varying optimization scheme implemented using a stochastic gradient ascent algorithm to maximize the log-likelihood of our observations. The objective of the paper is to investigate the optimal sample size/rate for achieving the minimum mean square distance between our estimator and the true value of the drift. In this setting we uncover a trade-off between the correlation of the observations, which increases with the sample size, and the dynamic nature of the unknown drift, which is weakened by increasing the frequency of observation. The mean square error is shown to be non monotonic in the sample size, attaining a global minimum whose precise description depends on the parameters that govern the model. In the static case, i.e. when the unknown drift is constant, our method outperforms the arithmetic mean of the observations in highly correlated regimes, despite the latter being a natural candidate estimator. We then compare our online estimator with the global maximum likelihood estimator.
- [97] arXiv:2405.10797 [pdf, ps, other]
-
Title: K-stability of special Gushel-Mukai manifoldsComments: 31 pages, comments are very welcomeSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
Gushel-Mukai manifolds are specific families of $n$-dimensional Fano manifolds of Picard rank $1$ and index $n-2$ where $3\leq n \leq 6$. A Gushel-Mukai $n$-fold is either ordinary, i.e. a hyperquadric section of a quintic Del Pezzo $(n+1)$-fold, or special, i.e. it admits a double cover over the quintic Del Pezzo $n$-fold branched along an ordinary Gushel-Mukai $(n-1)$-fold. In this paper, we prove that a general special Gushel-Mukai $n$-fold is K-stable for every $3\leq n\leq 6$. Furthermore, we give a description of the first and last walls of the K-moduli of the pair $(M,cQ)$, where $M$ is the quintic Del Pezzo fourfold (or fivefold) and $Q$ is an ordinary Gushel-Mukai threefold (or fourfold). Besides, we compute $\delta$-invariants of quintic Del Pezzo fourfolds and fivefolds which were shown to be K-unstable by K. Fujita, and show that they admit Kähler-Ricci solitons.
- [98] arXiv:2405.10809 [pdf, ps, html, other]
-
Title: Framization and DeframizationSubjects: Rings and Algebras (math.RA); Combinatorics (math.CO); General Topology (math.GN)
Starting from the geometric construction of the framed braid group, we define and study the framization of several Brauer-type monoids and also the set partition monoid, all of which appear in knot theory. We introduce the concept of deframization, which is a procedure to obtain a tied monoid from a given framed monoid. Furthermore, we show in detail how this procedure works on the monoids mentioned above. We also discuss the framization and deframization of some algebras, which are deformations, respectively, of the framized and deframized monoids discussed here.
- [99] arXiv:2405.10814 [pdf, ps, html, other]
-
Title: Data-Driven Symbol Detection for Intersymbol Interference Channels with Bursty Impulsive NoiseComments: This work has been submitted to the IEEE for possible publicationSubjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)
We developed machine learning approaches for data-driven trellis-based soft symbol detection in coded transmission over intersymbol interference (ISI) channels in presence of bursty impulsive noise (IN), for example encountered in wireless digital broadcasting systems and vehicular communications. This enabled us to obtain optimized detectors based on the Bahl-Cocke-Jelinek-Raviv (BCJR) algorithm while circumventing the use of full channel state information (CSI) for computing likelihoods and trellis state transition probabilities. First, we extended the application of the neural network (NN)-aided BCJR, recently proposed for ISI channels with additive white Gaussian noise (AWGN). Although suitable for estimating likelihoods via labeling of transmission sequences, the BCJR-NN method does not provide a framework for learning the trellis state transitions. In addition to detection over the joint ISI and IN states we also focused on another scenario where trellis transitions are not trivial: detection for the ISI channel with AWGN with inaccurate knowledge of the channel memory at the receiver. Without access to the accurate state transition matrix, the BCJR- NN performance significantly degrades in both settings. To this end, we devised an alternative approach for data-driven BCJR detection based on the unsupervised learning of a hidden Markov model (HMM). The BCJR-HMM allowed us to optimize both the likelihood function and the state transition matrix without labeling. Moreover, we demonstrated the viability of a hybrid NN and HMM BCJR detection where NN is used for learning the likelihoods, while the state transitions are optimized via HMM. While reducing the required prior channel knowledge, the examined data-driven detectors with learned trellis state transitions achieve bit error rates close to the optimal full CSI-based BCJR, significantly outperforming detection with inaccurate CSI.
- [100] arXiv:2405.10815 [pdf, ps, html, other]
-
Title: A Functional Model Method for Nonconvex Nonsmooth Conditional Stochastic OptimizationSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
We consider stochastic optimization problems involving an expected value of a nonlinear function of a base random vector and a conditional expectation of another function depending on the base random vector, a dependent random vector, and the decision variables. We call such problems conditional stochastic optimization problems. They arise in many applications, such as uplift modeling, reinforcement learning, and contextual optimization. We propose a specialized single time-scale stochastic method for nonconvex constrained conditional stochastic optimization problems with a Lipschitz smooth outer function and a generalized differentiable inner function. In the method, we approximate the inner conditional expectation with a rich parametric model whose mean squared error satisfies a stochastic version of a Łojasiewicz condition. The model is used by an inner learning algorithm. The main feature of our approach is that unbiased stochastic estimates of the directions used by the method can be generated with one observation from the joint distribution per iteration, which makes it applicable to real-time learning. The directions, however, are not gradients or subgradients of any overall objective function. We prove the convergence of the method with probability one, using the method of differential inclusions and a specially designed Lyapunov function, involving a stochastic generalization of the Bregman distance. Finally, a numerical illustration demonstrates the viability of our approach.
- [101] arXiv:2405.10823 [pdf, ps, html, other]
-
Title: The well-posedness and blow up phenomenon for a Tsunamis model with time-fractional derivativeSubjects: Analysis of PDEs (math.AP)
This paper is concerned with the well-posedness of a time-fractional shallow-water equations, which has received little attention. In the realm of fractional calculus, numerous types of fractional derivatives have been explored in the literature. Among these, one of the most notable and well-structured ones is the conformable fractional derivative. In this paper, we delve into the local well-posedness of the fractional tsunami shallow-water mathematical model in the critical Besov space $B^{\frac{3}{2}}_{2,1}$. Under some symmetric and sign conditions, we show that the strong solution will blow up in finite time.
- [102] arXiv:2405.10827 [pdf, ps, html, other]
-
Title: Moments of symmetric square L-functions on GL(3)Comments: 38 pagesSubjects: Number Theory (math.NT)
We give an asymptotic formula with power saving error term for the twisted first moment of symmetric square L-functions on GL(3) in the level aspect. As applications, we obtain non-vanishing results as well as lower bounds of the expected order of magnitude for all even moments, supporting the random matrix model for a unitary ensemble. Besides the GL(3) Kuznetsov formula, the ingredients include detailed local computations at ramified places, including root numbers and orthonormalization of oldforms and Eisenstein series.
- [103] arXiv:2405.10831 [pdf, ps, html, other]
-
Title: Willmore surfaces in spheres via loop groups: a surveyComments: 20 pagesSubjects: Differential Geometry (math.DG)
In the past decades, the authors made some systematic research on global and local properties of Willmore surfaces in terms of the DPW method. In this note we give a survey, mainly including the basic framework of the DPW method for the global geometry of Willmore surfaces via the conformal Gauss map, applications on constructions of Willmore $2$-spheres, characterizations of minimal surfaces, Willmore deformations of Willmore surfaces and Bjoerling problems for Willmore surfaces. Moreover, we also obtained some results on harmonic maps via DPW, including a duality theorem for harmonic maps into an inner non-compact symmetric space and its dual inner compact symmetric space, and harmonic maps of finite uniton type.
- [104] arXiv:2405.10834 [pdf, ps, other]
-
Title: May's Conjecture on Bimonoidal Functors and Multiplicative Infinite Loop Space TheoryComments: 27 pagesSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); K-Theory and Homology (math.KT)
A conjecture of May states that there is an up-to-adjunction strictification of symmetric bimonoidal functors between bipermutative categories. The main result of this paper proves a weaker form of May's conjecture that starts with multiplicatively strong symmetric bimonoidal functors. As the main application, for May's multiplicative infinite loop space machine from bipermutative categories to either E-infinity ring spaces or E-infinity ring spectra, multiplicatively strong symmetric bimonoidal functors can be replaced by strict symmetric bimonoidal functors.
- [105] arXiv:2405.10836 [pdf, ps, html, other]
-
Title: Existence and non-existence of cohomogeneity one Einstein metricsSubjects: Differential Geometry (math.DG)
This paper derives sufficient conditions for the existence and non-existence of cohomogeneity one Einstein metrics on double disk bundles of two summands type. These conditions are inequalities that only involve geometric data from the principal orbits. The existence theorem yields five infinite families and ten other sporadic examples of new Einstein metrics. The non-existence theorem yields five examples whose principal orbits and singular orbits admit invariant Einstein metrics.
- [106] arXiv:2405.10843 [pdf, ps, html, other]
-
Title: On the index of minimal hypersurfaces in $\mathbb{S}^{n+1}$ with $\lambda_1<n$Comments: 9 pagesSubjects: Differential Geometry (math.DG)
In this paper, we prove that a closed minimal hypersurface in $\SSS$ with $\lambda_1<n$ has Morse index at least $n+4$, providing a partial answer to a conjecture of Perdomo. As a corollary, we re-obtain a partial proof of the famous Urbano Theorem for minimal tori in $\mathbb{S}^3$: a minimal torus in $\mathbb{S}^3$ has Morse index at least $5$, with equality holding if and only if it is congruent to the Clifford torus. The proof is based on a comparison theorem between eigenvalues of two elliptic operators, which also provides us simpler new proofs of some known results on index estimates of both minimal and $r$-minimal hypersurfaces in a sphere.
- [107] arXiv:2405.10848 [pdf, ps, html, other]
-
Title: Skew derivations of quantum tori and quantum spacesSubjects: Rings and Algebras (math.RA); Quantum Algebra (math.QA)
We determine the $\sigma$-derivations of quantum tori and quantum affine spaces for a toric automorphism $\sigma$. By standard results, every toric automorphism $\sigma$ of a quantum affine space $\mathcal{A}$ and every $\sigma$-derivation of $\mathcal{A}$ extend uniquely to the corresponding quantum torus $\mathcal{T}$. We shall see that, for a toric automorphism $\sigma$, every $\sigma$-derivation of $\mathcal{T}$ is a unique sum of an inner $\sigma$-derivation and a $\sigma$-derivation that is conjugate to a derivation and that the latter is non-zero only if $\sigma$ is an inner automorphism of $\mathcal{T}$. This is applied to determine the $\sigma$-derivations of $\mathcal{A}$ for a toric automorphism $\sigma$, generalizing results of Alev and Chamarie for the derivations of quantum affine spaces and of Almulhem and Brzeziński for $\sigma$-derivations of the quantum plane.
We apply the results to iterated Ore extensions $A$ of the base field for which all the defining endomorphisms are automorphisms and each of the adjoined indeterminates is an eigenvector for all the subsequent defining automorphisms. We present an algorithm which, in characteristic zero, will, for such an algebra $A$, either construct a quantum torus between $A$ and its quotient division algebra or show that no such quantum torus exists.
Also included is a general section on skew derivations which become inner on localization at the powers of a normal element which is an eigenvector for the relevant automorphism. This section explores a connection between such skew derivations and normalizing sequences of length two. This connection is illustrated by known examples of skew derivations and by the construction of a family of skew derivations for the parametric family of subalgebras of the Weyl algebra that has been studied in three papers by Benkart, Lopes and Ondrus. - [108] arXiv:2405.10854 [pdf, ps, html, other]
-
Title: Strong log-convexity of genus sequencesSubjects: Combinatorics (math.CO)
For a graph $G$, and a nonnegative integer $g$, let $a_g(G)$ be the number of $2$-cell embeddings of $G$ in an orientable surface of genus $g$ (counted up to the combinatorial homeomorphism equivalence). In 1989, Gross, Robbins, and Tucker [Genus distributions for bouquets of circles, J. Combin. Theory Ser. B 47 (1989), 292-306] proposed a conjecture that the sequence $a_0(G),a_1(G),a_2(G),\dots$ is log-concave for every graph $G$. This conjecture is reminiscent to the Heron-Rota-Welsh Log Concavity Conjecture that was recently resolved in the affirmative by June Huh et al., except that it is closer to the notion of $\Delta$-matroids than to the usual matroids. In this short paper, we disprove the Log Concavity Conjecture of Gross, Robbins, and Tucker by providing examples that show strong deviation from log-concavity at multiple terms of their genus sequences.
- [109] arXiv:2405.10856 [pdf, ps, html, other]
-
Title: Morse index of minimal products of minimal submanifolds in spheresJournal-ref: Sci. China Math. 66, 799-818 (2023)Subjects: Differential Geometry (math.DG)
Tang-Zhang, Choe-Hoppe, showed independently that one can produce minimal submanifolds in spheres via Clifford type minimal product of minimal submanifolds. In this note, we show that the minimal product is immersed by its first eigenfunctions (of its Laplacian) if and only if the two beginning minimal submanifolds are immersed by their first eigenfunctions. Moreover, we give estimates of Morse index and nullity of the minimal product. In particular, we show that the Clifford minimal submanifold $\left(\sqrt{\frac{n_1}{n}}S^{n_1},\cdots,\sqrt{\frac{n_k}{n}}S^{n_k}\right)\subset S^{n+k-1}$ has index $(k-1)(n+k+1)$ and nullity $(k-1)\sum_{1\leq i<j\leq k}(n_i+1)(n_j+1)$ (with $n=\sum n_j$).
- [110] arXiv:2405.10857 [pdf, ps, html, other]
-
Title: Diagnosing and Decoupling the Degradation Mechanisms in Lithium Ion Cells: An Estimation ApproachRaja Abhishek Appana, Faissal El Idrissi, Prashanth Ramesh, Marcello Canova, Chun Yong Kang, Kimoon UmComments: 6 pages, 13 figures, Submitted to 2024 Modeling, Estimation, and Control ConferenceSubjects: Optimization and Control (math.OC)
Understanding battery degradation in electric vehicles (EVs) under real-world conditions remains a critical yet under-explored area of research. Central to this investigation is the challenge of estimating the specific degradation modes in aged cells with no available information on usage history, bypassing the conventional yet invasive method of tear-down tests. Using an electrochemical model, this study pioneers a methodology to decouple and isolate the aging mechanisms in batteries sourced from EVs with varying mileages. A robust correlation is established between the model parameters and distinct degradation processes, enabling the diagnosis and estimation of each mechanism's impact on the battery's parameters. This paper sheds light on battery degradation in real-world scenarios and demonstrates the feasibility of their identification, isolation, and approximate quantification of their effects.
- [111] arXiv:2405.10858 [pdf, ps, html, other]
-
Title: Diffusion GeometryComments: 31 pages, 13 figures, and appendices. Comments welcome!Subjects: Metric Geometry (math.MG); Algebraic Topology (math.AT)
We introduce diffusion geometry as a new framework for geometric and topological data analysis. Diffusion geometry uses the Bakry-Emery $\Gamma$-calculus of Markov diffusion operators to define objects from Riemannian geometry on a wide range of probability spaces. We construct statistical estimators for these objects from a sample of data, and so introduce a whole family of new methods for geometric data analysis and computational geometry. This includes vector fields and differential forms on the data, and many of the important operators in exterior calculus. Unlike existing methods like persistent homology and local principal component analysis, diffusion geometry is explicitly related to Riemannian geometry, and is significantly more robust to noise, significantly faster to compute, provides a richer topological description (like the cup product on cohomology), and is naturally vectorised for statistics and machine learning. We find that diffusion geometry outperforms multiparameter persistent homology as a biomarker for real and simulated tumour histology data and can robustly measure the manifold hypothesis by detecting singularities in manifold-like data.
- [112] arXiv:2405.10867 [pdf, ps, html, other]
-
Title: Transverse geometric formalityComments: 30 pagesSubjects: Differential Geometry (math.DG)
A Riemannian metric on a closed manifold is said to be geometrically formal if the wedge product of any two harmonic forms is harmonic; equivalently, the interior product of any two harmonic forms is harmonic. Given a Riemannian foliation on a closed manifold, we say that a bundle-like metric is transversely geometrically formal if the interior product of any two basic harmonic forms is basic harmonic. In this paper, we examine the geometric and topological consequences of this condition.
- [113] arXiv:2405.10869 [pdf, ps, html, other]
-
Title: A flat perspective on moduli spaces of hyperbolic surfacesSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
Volumes of moduli spaces of hyperbolic cone surfaces were previously defined and computed when the angles of the cone singularities are at most 2pi. We propose a general definition of these volumes without restriction on the angles. This construction is based on flat geometry as our proposed volume is a limit of Masur-Veech volumes of moduli spaces of multi-differentials. This idea generalizes the observation in quantum gravity that the Jackiw-Teitelboim partition function is a limit of minimal string partition functions from Liouville gravity. Finally, we use the properties of these volumes to recover Mirzakhani's recursion formula for Weil-Petersson polynomials. This provides a new proof of Witten-Kontsevich's theorem.
- [114] arXiv:2405.10876 [pdf, ps, html, other]
-
Title: Steady-State Convergence of the Continuous-Time JSQ System with General Distributions in Heavy TrafficComments: arXiv admin note: text overlap with arXiv:2401.14647Subjects: Probability (math.PR)
This paper studies the continuous-time join-the-shortest-queue (JSQ) system with general interarrival and service distributions. Under a much weaker assumption than the one in the literature, we prove that each station's scaled steady-state queue length weakly converges to an identical exponential random variable in heavy traffic. Specifically, we establish our results by only assuming $2+\delta_0$ moment on the arrival and service distributions for some $\delta_0>0$. Our proof exploits the Palm version of the basic adjoint relationship (BAR) approach as a key technique.
- [115] arXiv:2405.10888 [pdf, ps, html, other]
-
Title: The fourth moment of the Hurwitz zeta functionComments: 34 pagesSubjects: Number Theory (math.NT)
We prove a sharp upper bound for the fourth moment of the Hurwitz zeta function $\zeta(s,\alpha)$ on the critical line when the shift parameter $\alpha$ is irrational and of irrationality exponent strictly less than 3. As a consequence, we determine the order of magnitude of the $2k$th moment for all $0 \leqslant k \leqslant 2$ in this case. In contrast to the Riemann zeta function and other $L$-functions from arithmetic, these grow like $T (\log T)^k$. This suggests, and we conjecture, that the value distribution of $\zeta(s,\alpha)$ on the critical line is Gaussian.
- [116] arXiv:2405.10897 [pdf, ps, html, other]
-
Title: Efficient Line Search Method Based on Regression and Uncertainty QuantificationComments: To be featured in LION18 2024Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Unconstrained optimization problems are typically solved using iterative methods, which often depend on line search techniques to determine optimal step lengths in each iteration. This paper introduces a novel line search approach. Traditional line search methods, aimed at determining optimal step lengths, often discard valuable data from the search process and focus on refining step length intervals. This paper proposes a more efficient method using Bayesian optimization, which utilizes all available data points, i.e., function values and gradients, to guide the search towards a potential global minimum. This new approach more effectively explores the search space, leading to better solution quality. It is also easy to implement and integrate into existing frameworks. Tested on the challenging CUTEst test set, it demonstrates superior performance compared to existing state-of-the-art methods, solving more problems to optimality with equivalent resource usage.
- [117] arXiv:2405.10898 [pdf, ps, html, other]
-
Title: Filtrations associated with singularitiesComments: 10 pagesSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
We fix a complex analytic normal singularity germ $(X,o)$ of dimension $\geq 2$ and a (not necessarily irreducible) reduced Weil divisor $(S,o)\subset (X,o)$. The embedded resolution of the pair determines a multi-index filtration of the local ring $\mathcal{O}_{X,o}$, which measures the embedded geometry of the pair. Furthermore, from the (induced) resolution of $(S,o)$ we also consider a multi-index filtration associated with $(S,o)$. This latter one can be lifted to a filtration of $\mathcal{O}_{X,o}$ too. The main result proves that the second filtration of $\mathcal{O}_{X,o}$ can be realized as a `limit' filtration of the first one (if we blow up certain centers sufficiently many times).
- [118] arXiv:2405.10910 [pdf, ps, html, other]
-
Title: Harmonic operators on convolution quantum group algebrasSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
Let ${\Bbb G}$ be a locally compact quantum group and ${\mathcal T}(L^2({\Bbb G}))$ be the Banach algebra of trace class operators on $L^2({\Bbb G})$ with the convolution induced by the right fundamental unitary of ${\Bbb G}$. We study the space of harmonic operators $\widetilde{\mathcal H}_\omega$ in ${\mathcal B}(L^2({\Bbb G}))$ associated to a contractive element $\omega\in {\mathcal T}(L^2({\Bbb G}))$. We characterize the existence of non-zero harmonic operators in ${\mathcal K}(L^2({\Bbb G}))$ and relate them with some properties of the quantum group ${\Bbb G}$, such as finiteness, amenability and co-amenability.
- [119] arXiv:2405.10915 [pdf, ps, html, other]
-
Title: Strategic control for a Boltzmann like decision-making modelLuis Guillermo Venegas-Pineda, Hildeberto Jardón-Kojakhmetov, Maximilian Engel, Jobst Heitzig, Muhittin Cenk Eser, Ming CaoComments: 40 pages, 20 figuresSubjects: Dynamical Systems (math.DS)
We study a prototypical non-polynomial decision-making model for which agents in a population potentially alternate between two consumption strategies, one related to the exploitation of an unlimited but considerably expensive resource and the other a comparably cheaper but restricted and slowly renewable source. In particular, we study a model following a Boltzmann-like exploration policy, enhancing the accuracy at which the exchange rates are captured with respect to classical polynomial approaches by considering sigmoidal functions to represent the cost-profit relation in both exploit strategies. Additionally, given the intrinsic timescale separation between the decision-making process and recovery rates of the renewable resource, we use geometric singular perturbation theory to analyze the model. We further use numerical analysis to determine parameter ranges for which the model undergoes bifurcations. These bifurcations, being related to critical states of the system, are relevant to the fast transitions between strategies. Hence, we design controllers to regulate such rapid transitions by taking advantage of the system's criticality.
- [120] arXiv:2405.10916 [pdf, ps, html, other]
-
Title: Nearly self-similar blowup of generalized axisymmetric Navier-Stokes and Boussinesq equationsComments: 34 pages, 28 figures. arXiv admin note: text overlap with arXiv:2107.06509Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
We perform numerical investigation of nearly self-similar blowup of generalized axisymmetric Navier-Stokes equations and Boussinesq system with a time-dependent fractional dimension. The dynamic change of the space dimension is proportional to the ratio R(t)/Z(t), where (R(t),Z(t)) is the position at which the maximum vorticity achieves its global maximum. This choice of space dimension is to ensure that the advection along the r-direction has the same scaling as that along the z-direction, thus preventing formation of two-scale solution structure. For the generalized axisymmetric Navier-Stokes equations with solution dependent viscosity, we show that the solution develops a self-similar blowup with dimension equal to 3.188 and the self-similar profile satisfies the axisymmetric Navier-Stokes equations with constant viscosity. We also study the nearly self-similar blowup of the axisymmetric Boussinesq system with constant viscosity. The generalized axisymmetric Boussinesq system preserves almost all the known properties of the 3D Navier-Stokes equations except for the conservation of angular momentum. We present convincing numerical evidence that the generalized axisymmetric Boussinesq system develops a stable nearly self-similar blowup solution with maximum vorticity increased by O(10^{30}).
- [121] arXiv:2405.10921 [pdf, ps, html, other]
-
Title: A new class of $\alpha$-Farey maps and an application to normal numbersComments: 9 figuresSubjects: Dynamical Systems (math.DS)
We define two types of the $\alpha$-Farey maps $F_{\alpha}$ and $F_{\alpha, \flat}$ for $0 < \alpha < \tfrac{1}{2}$, which were previously defined only for $\tfrac{1}{2} \le \alpha \le 1$ by R.~Natsui (2004). Then, for each $0 < \alpha < \tfrac{1}{2}$, we construct the natural extension maps on the plane and show that the natural extension of $F_{\alpha, \flat}$ is metrically isomorphic to the natural extension of the original Farey map. As an application, we show that the set of normal numbers associted with $\alpha$-continued fractions does not vary by the choice of $\alpha$, $0 < \alpha < 1$. This extends the result by C.~Kraaikamp and H.~Nakada (2000).
- [122] arXiv:2405.10922 [pdf, ps, html, other]
-
Title: Kernel Expansions for High-Dimensional Mean-Field Control with Non-local InteractionsSubjects: Optimization and Control (math.OC)
Mean-field control (MFC) problems aim to find the optimal policy to control massive populations of interacting agents. These problems are crucial in areas such as economics, physics, and biology. We consider the non-local setting, where the interactions between agents are governed by a suitable kernel. For $N$ agents, the interaction cost has $\mathcal{O}(N^2)$ complexity, which can be prohibitively slow to evaluate and differentiate when $N$ is large. To this end, we propose an efficient primal-dual algorithm that utilizes basis expansions of the kernels. The basis expansions reduce the cost of computing the interactions, while the primal-dual methodology decouples the agents at the expense of solving for a moderate number of dual variables. We also demonstrate that our approach can further be structured in a multi-resolution manner, where we estimate optimal dual variables using a moderate $N$ and solve decoupled trajectory optimization problems for large $N$. We illustrate the effectiveness of our method on an optimal control of 5000 interacting quadrotors.
- [123] arXiv:2405.10923 [pdf, ps, html, other]
-
Title: Randomized Householder QRSubjects: Numerical Analysis (math.NA)
This paper introduces a randomized Householder QR factorization (RHQR). This factorization can be used to obtain a well conditioned basis of a set of vectors and thus can be employed in a variety of applications. The RHQR factorization of the input matrix $W$ is equivalent to the standard Householder QR factorization of matrix $\Psi W$, where $\Psi$ is a sketching matrix that can be obtained from any subspace embedding technique. For this reason, the RHQR algorithm can also be reconstructed from the Householder QR factorization of the sketched problem, yielding a single-synchronization randomized QR factorization (reconstructRHQR). In most contexts, left-looking RHQR requires a single synchronization per iteration, with half the computational cost of Householder QR, and a similar cost to Randomized Gram-Schmidt (RGS) overall. We discuss the usage of RHQR factorization in the Arnoldi process and then in GMRES, showing thus how it can be used in Krylov subspace methods to solve systems of linear equations. Based on Charles Sheffield's connection between Householder QR and Modified Gram-Schmidt (MGS), a BLAS2-RGS is also derived.
Numerical experiments show that RHQR produces a well conditioned basis whose sketch is numerically orthogonal even for the most difficult inputs, and an accurate factorization. The same results were observed with the high-dimensional operations made in half-precision. The reconstructed RHQR from the HQR factorization of the sketch was stabler than the standard Randomized Cholesky QR.
The first version of this work was made available on HAL on the 7th of July 2023 and can be found at https://hal.science/hal-04156310/ - [124] arXiv:2405.10926 [pdf, ps, html, other]
-
Title: Stretching Newton polygons using pure polynomialsComments: 10 pagesSubjects: Number Theory (math.NT)
Fix a prime $p$ and polynomials $f,g\in \mathbb{Q}_p[x]$. If the Newton polygon of $g$ consists of a single segment with negative slope, we show under some mild conditions that the Newton polygon of $f\circ g$ is identical to that of $f$, but stretched horizontally by a factor of $\operatorname{deg} g$. Specializing to the case $f=g$, this implies that all iterates of certain pure polynomials are irreducible, recovering a classical result of Odoni on the dynamical irreducibility of Eisenstein polynomials. We also prove that the Taylor polynomials of the exponential function (a well-known family of irreducible polynomials) remain irreducible upon composition with all iterates of certain pure polynomials of large enough degree.
- [125] arXiv:2405.10932 [pdf, ps, html, other]
-
Title: Coloring spheres in 3--manifoldsComments: 7 pages, 2 figuresSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
The sphere graph of $M_r$, a connect sum of $r$ copies of $S^1\times S^2$ was introduced by Hatcher as an analog of the curve graph of a surface to study the outer automorphism group of a free group $F_r$. Bestvina, Bromberg, and Fujiwara proved that the chromatic number of the curve graph is finite; bounds were subsequently improved by Gaster, Greene, and Vlamis. Motivated by the analogy, we provide upper and lower bounds for the chromatic number of the sphere graph of $M_r$. As a corollary to the prime decomposition of 3-manifolds, this gives bounds on the chromatic number of the sphere graph for any orientable 3-manifold.
New submissions for Monday, 20 May 2024 (showing 125 of 125 entries )
- [126] arXiv:2306.01049 (cross-list from hep-th) [pdf, ps, html, other]
-
Title: Internal symmetries in Kaluza-Klein modelsComments: 96 pages, 2 figures; comments welcome; v3: small revisionsJournal-ref: JHEP 05 (2024) 178Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
The usual approach to Kaluza-Klein considers a spacetime of the form $M_4 \times K$ and identifies the isometry group of the internal vacuum metric, $g_K^0$, with the gauge group in four dimensions. In these notes we discuss a variant approach where part of the gauge group does not come from full isometries of $g_K^0$, but instead comes from weaker internal symmetries that only preserve the Einstein-Hilbert action on $K$. Then the weaker symmetries are spontaneously broken by the choice of vacuum metric and generate massive gauge bosons within the Kaluza-Klein framework, with no need to introduce ad hoc Higgs fields. Using the language of Riemannian submersions, the classical mass of a gauge boson is calculated in terms of the Lie derivatives of $g_K^0$. These massive bosons can be arbitrarily light and seem able to evade the standard no-go arguments against chiral fermionic interactions in Kaluza-Klein. As a second main theme, we also question the traditional assumption of a Kaluza-Klein vacuum represented by a product Einstein metric. This should not be true when that metric is unstable. In fact, we argue that the unravelling of the Einstein metric along certain instabilities is a desirable feature of the model, since it generates inflation and allows some metric components to change length scale. In the case of the Lie group $K = SU(3)$, the unravelling of the bi-invariant metric along an unstable perturbation also breaks the isometry group from $( SU(3) \times SU(3)) / Z_3$ down to $( SU(3) \times SU(2) \times U(1) )/ Z_6$, the gauge group of the Standard Model. We briefly discuss possible ways to stabilize the internal metric after that first symmetry breaking and produce an electroweak symmetry breaking at a different mass scale.
- [127] arXiv:2405.10372 (cross-list from eess.SY) [pdf, ps, html, other]
-
Title: Efficient model predictive control for nonlinear systems modelled by deep neural networksComments: 8 pages, 5 figuresSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
This paper presents a model predictive control (MPC) for dynamic systems whose nonlinearity and uncertainty are modelled by deep neural networks (NNs), under input and state constraints. Since the NN output contains a high-order complex nonlinearity of the system state and control input, the MPC problem is nonlinear and challenging to solve for real-time control. This paper proposes two types of methods for solving the MPC problem: the mixed integer programming (MIP) method which produces an exact solution to the nonlinear MPC, and linear relaxation (LR) methods which generally give suboptimal solutions but are much computationally cheaper. Extensive numerical simulation for an inverted pendulum system modelled by ReLU NNs of various sizes is used to demonstrate and compare performance of the MIP and LR methods.
- [128] arXiv:2405.10399 (cross-list from stat.ML) [pdf, ps, html, other]
-
Title: A note on continuous-time online learningSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC)
In online learning, the data is provided in a sequential order, and the goal of the learner is to make online decisions to minimize overall regrets. This note is concerned with continuous-time models and algorithms for several online learning problems: online linear optimization, adversarial bandit, and adversarial linear bandit. For each problem, we extend the discrete-time algorithm to the continuous-time setting and provide a concise proof of the optimal regret bound.
- [129] arXiv:2405.10484 (cross-list from astro-ph.HE) [pdf, ps, html, other]
-
Title: A Relativistic Formula for the Multiple Scattering of PhotonsRohta Takahashi, Masayuki Umemura, Ken Ohsuga, Yuta Asahina, Rintaro Takeda, Mikiya M. Takahashi, Norita Kawanaka, Kohkichi Konno, Tomoaki NagasawaComments: The version accepted by ApJ LettersJournal-ref: The Astrophysical Journal Letters, 967, L10 (2024)Subjects: High Energy Astrophysical Phenomena (astro-ph.HE); Statistical Mechanics (cond-mat.stat-mech); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We have discovered analytical expressions for the probability density function (PDF) of photons that are multiply scattered in relativistic flows, under the assumption of isotropic and inelastic scattering. These expressions characterize the collective dynamics of these photons, ranging from free-streaming to diffusion regions. The PDF, defined within the light cone to ensure the preservation of causality, is expressed in a three-dimensional space at a constant time surface. This expression is achieved by summing the PDFs of photons that have been scattered $n$ times within four-dimensional spacetime. We have confirmed that this formulation accurately reproduces the results of relativistic Monte Carlo simulations.We found that the PDF in three-dimensional space at a constant time surface can be represented in a separable variable form. We demonstrate the behavior of the PDF in the laboratory frame across a wide range of Lorentz factors for the relativistic flow. When the Lorentz factor of the fluid is low, the behavior of scattered photons evolves sequentially from free propagation to diffusion, and then to dynamic diffusion, where the mean effective velocity of the photons equates to that of the fluid. On the other hand, when the Lorentz factor is large, the behavior evolves from anisotropic ballistic motion, characterized by a mean effective velocity approaching the speed of light, to dynamic diffusion.
- [130] arXiv:2405.10490 (cross-list from stat.ME) [pdf, ps, other]
-
Title: Neural Optimization with Adaptive Heuristics for Intelligent Marketing SystemChangshuai Wei, Benjamin Zelditch, Joyce Chen, Andre Assuncao Silva T Ribeiro, Jingyi Kenneth Tay, Borja Ocejo Elizondo, Keerthi Selvaraj, Aman Gupta, Licurgo Benemann De AlmeidaComments: KDD 2024Subjects: Methodology (stat.ME); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG); Optimization and Control (math.OC)
Computational marketing has become increasingly important in today's digital world, facing challenges such as massive heterogeneous data, multi-channel customer journeys, and limited marketing budgets. In this paper, we propose a general framework for marketing AI systems, the Neural Optimization with Adaptive Heuristics (NOAH) framework. NOAH is the first general framework for marketing optimization that considers both to-business (2B) and to-consumer (2C) products, as well as both owned and paid channels. We describe key modules of the NOAH framework, including prediction, optimization, and adaptive heuristics, providing examples for bidding and content optimization. We then detail the successful application of NOAH to LinkedIn's email marketing system, showcasing significant wins over the legacy ranking system. Additionally, we share details and insights that are broadly useful, particularly on: (i) addressing delayed feedback with lifetime value, (ii) performing large-scale linear programming with randomization, (iii) improving retrieval with audience expansion, (iv) reducing signal dilution in targeting tests, and (v) handling zero-inflated heavy-tail metrics in statistical testing.
- [131] arXiv:2405.10527 (cross-list from stat.ME) [pdf, ps, html, other]
-
Title: Hawkes Models And Their ApplicationsSubjects: Methodology (stat.ME); Probability (math.PR); Applications (stat.AP)
The Hawkes process is a model for counting the number of arrivals to a system which exhibits the self-exciting property - that one arrival creates a heightened chance of further arrivals in the near future. The model, and its generalizations, have been applied in a plethora of disparate domains, though two particularly developed applications are in seismology and in finance. As the original model is elegantly simple, generalizations have been proposed which: track marks for each arrival, are multivariate, have a spatial component, are driven by renewal processes, treat time as discrete, and so on. This paper creates a cohesive review of the traditional Hawkes model and the modern generalizations, providing details on their construction, simulation algorithms, and giving key references to the appropriate literature for a detailed treatment.
- [132] arXiv:2405.10563 (cross-list from cs.LG) [pdf, ps, html, other]
-
Title: Function Extrapolation with Neural Networks and Its Application for ManifoldsComments: 32 pages, 11 figuresSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
This paper addresses the problem of accurately estimating a function on one domain when only its discrete samples are available on another domain. To answer this challenge, we utilize a neural network, which we train to incorporate prior knowledge of the function. In addition, by carefully analyzing the problem, we obtain a bound on the error over the extrapolation domain and define a condition number for this problem that quantifies the level of difficulty of the setup. Compared to other machine learning methods that provide time series prediction, such as transformers, our approach is suitable for setups where the interpolation and extrapolation regions are general subdomains and, in particular, manifolds. In addition, our construction leads to an improved loss function that helps us boost the accuracy and robustness of our neural network. We conduct comprehensive numerical tests and comparisons of our extrapolation versus standard methods. The results illustrate the effectiveness of our approach in various scenarios.
- [133] arXiv:2405.10581 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Future Aware Safe Active Learning of Time Varying Systems using Gaussian ProcessesSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Probability (math.PR)
Experimental exploration of high-cost systems with safety constraints, common in engineering applications, is a challenging endeavor. Data-driven models offer a promising solution, but acquiring the requisite data remains expensive and is potentially unsafe. Safe active learning techniques prove essential, enabling the learning of high-quality models with minimal expensive data points and high safety. This paper introduces a safe active learning framework tailored for time-varying systems, addressing drift, seasonal changes, and complexities due to dynamic behavior. The proposed Time-aware Integrated Mean Squared Prediction Error (T-IMSPE) method minimizes posterior variance over current and future states, optimizing information gathering also in the time domain. Empirical results highlight T-IMSPE's advantages in model quality through toy and real-world examples. State of the art Gaussian processes are compatible with T-IMSPE. Our theoretical contributions include a clear delineation which Gaussian process kernels, domains, and weighting measures are suitable for T-IMSPE and even beyond for its non-time aware predecessor IMSPE.
- [134] arXiv:2405.10618 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Distributed Event-Based Learning via ADMMComments: 29 pages, 12 figuresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
We consider a distributed learning problem, where agents minimize a global objective function by exchanging information over a network. Our approach has two distinct features: (i) It substantially reduces communication by triggering communication only when necessary, and (ii) it is agnostic to the data-distribution among the different agents. We can therefore guarantee convergence even if the local data-distributions of the agents are arbitrarily distinct. We analyze the convergence rate of the algorithm and derive accelerated convergence rates in a convex setting. We also characterize the effect of communication drops and demonstrate that our algorithm is robust to communication failures. The article concludes by presenting numerical results from a distributed LASSO problem, and distributed learning tasks on MNIST and CIFAR-10 datasets. The experiments underline communication savings of 50% or more due to the event-based communication strategy, show resilience towards heterogeneous data-distributions, and highlight that our approach outperforms common baselines such as FedAvg, FedProx, and FedADMM.
- [135] arXiv:2405.10622 (cross-list from cs.GT) [pdf, ps, html, other]
-
Title: Differentially Private Machine Learning-powered Combinatorial Auction DesignSubjects: Computer Science and Game Theory (cs.GT); Information Theory (cs.IT)
We present a new approach to machine learning-powered combinatorial auctions, which is based on the principles of Differential Privacy. Our methodology guarantees that the auction mechanism is truthful, meaning that rational bidders have the incentive to reveal their true valuation functions. We achieve this by inducing truthfulness in the auction dynamics, ensuring that bidders consistently provide accurate information about their valuation functions.
Our method not only ensures truthfulness but also preserves the efficiency of the original auction. This means that if the initial auction outputs an allocation with high social welfare, our modified truthful version of the auction will also achieve high social welfare. We use techniques from Differential Privacy, such as the Exponential Mechanism, to achieve these results. Additionally, we examine the application of differential privacy in auctions across both asymptotic and non-asymptotic regimes. - [136] arXiv:2405.10648 (cross-list from cs.NI) [pdf, ps, html, other]
-
Title: Optimal Service Placement, Request Routing and CPU Sizing in Cooperative Mobile Edge Computing Networks for Delay-Sensitive ApplicationsSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
We study joint optimization of service placement, request routing, and CPU sizing in a cooperative MEC system. The problem is considered from the perspective of the service provider (SP), which delivers heterogeneous MEC-enabled delay-sensitive services, and needs to pay for the used resources to the mobile network operators and the cloud provider, while earning revenue from the served requests. We formulate the problem of maximizing the SP's total profit subject to the computation, storage, and communication constraints of each edge node and end-to-end delay requirements of the services as a mixed-integer non-convex optimization problem, and prove it to be NP-hard.
To tackle the challenges in solving the problem, we first introduce a design trade-off parameter for different delay requirements of each service, which maintains flexibility in prioritizing them, and transform the original optimization problem by the new delay constraints. Then, by exploiting a hidden convexity, we reformulate the delay constraints into an equivalent form. Next, to handle the challenge of the complicating (integer) variables, using primal decomposition, we decompose the problem into an equivalent form of master and inner sub-problems over the mixed and real variables, respectively. We then employ a cutting-plane approach for building up adequate representations of the extremal value of the inner problem as a function of the complicating variables and the set of values of the complicating variables for which the inner problem is feasible. Finally, we propose a solution strategy based on generalized Benders decomposition and prove its convergence to the optimal solution within a limited number of iterations. Extensive simulation results demonstrate that the proposed scheme significantly outperforms the existing mechanisms in terms of the SP's profit, cache hit ratio, running time, and end-to-end delay. - [137] arXiv:2405.10649 (cross-list from eess.SP) [pdf, ps, html, other]
-
Title: Recovery of Sparse Graph SignalsComments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessibleSubjects: 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, 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. Finally, 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 through replacing elements from the estimated support set with elements from their one-hop neighborhood. We conduct simulations that demonstrate that the proposed sparse recovery methods outperform existing methods in terms of support set recovery accuracy, and without a significant computational overhead.
- [138] arXiv:2405.10653 (cross-list from physics.chem-ph) [pdf, ps, html, other]
-
Title: Heisenberg dynamics of mixed quantum-classical systemsComments: 22 pages, 1 figure. Submitted as a conribution to the Focus Point "Mathematics and Physics at the Quantum-Classical Interface" in the European Physical Journal PlusSubjects: Chemical Physics (physics.chem-ph); Symplectic Geometry (math.SG)
We consider the dynamics of interacting quantum and classical systems in the Heisenberg representation. Unlike the usual construction in standard quantum mechanics, mixed quantum-classical systems involve the interplay of unitary operators acting on the quantum observables and the Lagrangian trajectories sweeping the classical degrees of freedom. This interplay reflects an intricate structure which is made particularly challenging by the backreaction excerpted on the classical trajectories by the quantum degrees of freedom. While the backreaction is underestimated in the common Ehrenfest model, more recent methodologies succeed in capturing this important effect by resorting to Koopman wavefunctions in classical mechanics. Luckily, both Ehrenfest and Koopman models enjoy a variational framework which is exploited here to unfold the geometric structure underlying quantum-classical coupling. A special role is played by the action of the diffeomorphic Lagrangian paths on a non-Abelian pure-gauge potential which comprises statistical correlations. After presenting the treatment in the simple case of Ehrenfest dynamics, we move on to the Koopman model and present the role of the backreaction terms therein. Finally, we compare both models in the context of pure-dephasing systems.
- [139] arXiv:2405.10698 (cross-list from cond-mat.stat-mech) [pdf, ps, html, other]
-
Title: Ratchet-mediated resetting: Current, efficiency, and exact solutionComments: 23 pages (14 pages main), 13 figuresSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We model an overdamped Brownian particle that is subject to resetting facilitated by a periodic ratchet potential. This asymmetric potential switches on with a constant rate, but switches off again only upon the particle's first passage to a resetting point at the minimum of the potential. Repeating this cycle sustains a non-equilibrium steady-state, as well as a directed steady-state current which can be harnessed to perform useful work. We derive exact analytic expressions for the probability densities of the free-diffusion and resetting phases, the associated currents for each phase, and an efficiency parameter that quantifies the return in current for given power input. These expressions allow us to fully characterise the system and obtain experimentally relevant results such as the optimal current and efficiency. Our results are corroborated by simulations, and have implications for experimentally viable finite-time resetting protocols.
- [140] arXiv:2405.10719 (cross-list from stat.ME) [pdf, ps, html, other]
-
Title: $\ell_1$-Regularized Generalized Least SquaresComments: 13 pages, 6 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
In this paper we propose an $\ell_1$-regularized GLS estimator for high-dimensional regressions with potentially autocorrelated errors. We establish non-asymptotic oracle inequalities for estimation accuracy in a framework that allows for highly persistent autoregressive errors. In practice, the Whitening matrix required to implement the GLS is unkown, we present a feasible estimator for this matrix, derive consistency results and ultimately show how our proposed feasible GLS can recover closely the optimal performance (as if the errors were a white noise) of the LASSO. A simulation study verifies the performance of the proposed method, demonstrating that the penalized (feasible) GLS-LASSO estimator performs on par with the LASSO in the case of white noise errors, whilst outperforming it in terms of sign-recovery and estimation error when the errors exhibit significant correlation.
- [141] arXiv:2405.10763 (cross-list from cond-mat.dis-nn) [pdf, ps, html, other]
-
Title: Integer Traffic Assignment Problem: Algorithms and Insights on Random GraphsComments: 37 pages, 15 figuresSubjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Discrete Mathematics (cs.DM); Optimization and Control (math.OC); Computation (stat.CO)
Path optimization is a fundamental concern across various real-world scenarios, ranging from traffic congestion issues to efficient data routing over the internet. The Traffic Assignment Problem (TAP) is a classic continuous optimization problem in this field. This study considers the Integer Traffic Assignment Problem (ITAP), a discrete variant of TAP. ITAP involves determining optimal routes for commuters in a city represented by a graph, aiming to minimize congestion while adhering to integer flow constraints on paths. This restriction makes ITAP an NP-hard problem. While conventional TAP prioritizes repulsive interactions to minimize congestion, this work also explores the case of attractive interactions, related to minimizing the number of occupied edges. We present and evaluate multiple algorithms to address ITAP, including a message passing algorithm, a greedy approach, simulated annealing, and relaxation of ITAP to TAP. Inspired by studies of random ensembles in the large-size limit in statistical physics, comparisons between these algorithms are conducted on large sparse random regular graphs with a random set of origin-destination pairs. Our results indicate that while the simplest greedy algorithm performs competitively in the repulsive scenario, in the attractive case the message-passing-based algorithm and simulated annealing demonstrate superiority. We then investigate the relationship between TAP and ITAP in the repulsive case. We find that, as the number of paths increases, the solution of TAP converges toward that of ITAP, and we investigate the speed of this convergence. Depending on the number of paths, our analysis leads us to identify two scaling regimes: in one the average flow per edge is of order one, and in another the number of paths scales quadratically with the size of the graph, in which case the continuous relaxation solves the integer problem closely.
- [142] arXiv:2405.10765 (cross-list from cs.RO) [pdf, ps, html, other]
-
Title: Fast Collision Probability Estimation for Automated Driving using Multi-circular Shape ApproximationsComments: Accepted for the 2024 Intelligent Vehicles Symposium, 8 pagesSubjects: Robotics (cs.RO); Probability (math.PR)
Many state-of-the-art methods for safety assessment and motion planning for automated driving require estimation of the probability of collision (POC). To estimate the POC, a shape approximation of the colliding actors and probability density functions of the associated uncertain kinematic variables are required. Even with such information available, the derivation of the POC is in general, i.e., for any shape and density, only possible with Monte Carlo sampling (MCS). Random sampling of the POC, however, is challenging as computational resources are limited in real-world applications. We present expressions for the POC in the presence of Gaussian uncertainties, based on multi-circular shape approximations. In addition, we show that the proposed approach is computationally more efficient than MCS. Lastly, we provide a method for upper and lower bounding the estimation error for the POC induced by the used shape approximations.
- [143] arXiv:2405.10817 (cross-list from stat.ML) [pdf, ps, html, other]
-
Title: Restless Linear BanditsSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG)
A more general formulation of the linear bandit problem is considered to allow for dependencies over time. Specifically, it is assumed that there exists an unknown $\mathbb{R}^d$-valued stationary $\varphi$-mixing sequence of parameters $(\theta_t,~t \in \mathbb{N})$ which gives rise to pay-offs. This instance of the problem can be viewed as a generalization of both the classical linear bandits with iid noise, and the finite-armed restless bandits. In light of the well-known computational hardness of optimal policies for restless bandits, an approximation is proposed whose error is shown to be controlled by the $\varphi$-dependence between consecutive $\theta_t$. An optimistic algorithm, called LinMix-UCB, is proposed for the case where $\theta_t$ has an exponential mixing rate. The proposed algorithm is shown to incur a sub-linear regret of $\mathcal{O}\left(\sqrt{d n\mathrm{polylog}(n) }\right)$ with respect to an oracle that always plays a multiple of $\mathbb{E}\theta_t$. The main challenge in this setting is to ensure that the exploration-exploitation strategy is robust against long-range dependencies. The proposed method relies on Berbee's coupling lemma to carefully select near-independent samples and construct confidence ellipsoids around empirical estimates of $\mathbb{E}\theta_t$.
- [144] arXiv:2405.10846 (cross-list from nucl-th) [pdf, ps, html, other]
-
Title: The Convergence Problem Of Gradient Expansion In The Relaxation Time ApproximationComments: 12 pages, 0 figuresSubjects: Nuclear Theory (nucl-th); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We obtain a formal integral solution to the 3+1 D Boltzmann Equation in relaxation time approximation. The gradient series obtained from this integral solution contains exponentially decaying non-hydrodynamic terms. It is shown that this gradient expansion can have a finite radius of convergence under certain assumptions of analyticity. We then argue that, in the relaxation time model, proximity to local thermal equilibrium is not necessary for the system to be described by hydrodynamic equations.
- [145] arXiv:2405.10887 (cross-list from cs.LO) [pdf, ps, html, other]
-
Title: Preservation theorems on sparse classes revisitedComments: 16 pagesSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
We revisit the work studying homomorphism preservation for first-order logic in sparse classes of structures initiated in [Atserias et al., JACM 2006] and [Dawar, JCSS 2010]. These established that first-order logic has the homomorphism preservation property in any sparse class that is monotone and addable. It turns out that the assumption of addability is not strong enough for the proofs given. We demonstrate this by constructing classes of graphs of bounded treewidth which are monotone and addable but fail to have homomorphism preservation. We also show that homomorphism preservation fails on the class of planar graphs. On the other hand, the proofs of homomorphism preservation can be recovered by replacing addability by a stronger condition of amalgamation over bottlenecks. This is analogous to a similar condition formulated for extension preservation in [Ateserias et al., SiCOMP 2008].
- [146] arXiv:2405.10930 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Submodular Information Selection for Hypothesis Testing with Misclassification PenaltiesComments: 23 pages, 4 figuresSubjects: Machine Learning (stat.ML); Computational Complexity (cs.CC); Information Theory (cs.IT); Machine Learning (cs.LG); Optimization and Control (math.OC)
We consider the problem of selecting an optimal subset of information sources for a hypothesis testing/classification task where the goal is to identify the true state of the world from a finite set of hypotheses, based on finite observation samples from the sources. In order to characterize the learning performance, we propose a misclassification penalty framework, which enables non-uniform treatment of different misclassification errors. In a centralized Bayesian learning setting, we study two variants of the subset selection problem: (i) selecting a minimum cost information set to ensure that the maximum penalty of misclassifying the true hypothesis remains bounded and (ii) selecting an optimal information set under a limited budget to minimize the maximum penalty of misclassifying the true hypothesis. Under mild assumptions, we prove that the objective (or constraints) of these combinatorial optimization problems are weak (or approximate) submodular, and establish high-probability performance guarantees for greedy algorithms. Further, we propose an alternate metric for information set selection which is based on the total penalty of misclassification. We prove that this metric is submodular and establish near-optimal guarantees for the greedy algorithms for both the information set selection problems. Finally, we present numerical simulations to validate our theoretical results over several randomly generated instances.
- [147] arXiv:2405.10933 (cross-list from quant-ph) [pdf, ps, html, other]
-
Title: Learning low-degree quantum objectsComments: 26+4 pagesSubjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Functional Analysis (math.FA)
We consider the problem of learning low-degree quantum objects up to $\varepsilon$-error in $\ell_2$-distance. We show the following results: $(i)$ unknown $n$-qubit degree-$d$ (in the Pauli basis) quantum channels and unitaries can be learned using $O(1/\varepsilon^d)$ queries (independent of $n$), $(ii)$ polynomials $p:\{-1,1\}^n\rightarrow [-1,1]$ arising from $d$-query quantum algorithms can be classically learned from $O((1/\varepsilon)^d\cdot \log n)$ many random examples $(x,p(x))$ (which implies learnability even for $d=O(\log n)$), and $(iii)$ degree-$d$ polynomials $p:\{-1,1\}^n\to [-1,1]$ can be learned through $O(1/\varepsilon^d)$ queries to a quantum unitary $U_p$ that block-encodes $p$. Our main technical contributions are new Bohnenblust-Hille inequalities for quantum channels and completely bounded~polynomials.
Cross submissions for Monday, 20 May 2024 (showing 22 of 22 entries )
- [148] arXiv:1211.0529 (replaced) [pdf, ps, other]
-
Title: Gray categories with duals and their diagramsComments: Authors' accepted manuscript. 143 pages, 57 figures; contains sections 1-6 of v3, with improved presentation. Sections 7,8 of v3 removed to appear elsewhereSubjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Category Theory (math.CT)
The geometric and algebraic properties of Gray categories with duals are investigated by means of a diagrammatic calculus. The diagrams are three-dimensional stratifications of a cube, with regions, surfaces, lines and vertices labelled by Gray category data. These can be viewed as a generalisation of ribbon diagrams. The Gray categories present two types of duals, which are extended to functors of strict tricategories with natural isomorphisms, and correspond directly to symmetries of the diagrams. It is shown that these functors can be strictified so that the symmetries of a cube are realised exactly. A new condition on Gray categories with duals called the spatial condition is defined. A class of diagrams for which the evaluation for spatial Gray categories is invariant under homeomorphisms is exhibited. This relation between the geometry of the diagrams and structures in the Gray categories proves useful in computations and has potential applications in topological quantum field theory.
- [149] arXiv:1508.07926 (replaced) [pdf, ps, html, other]
-
Title: The rectilinear local crossing number of $K_n$Comments: Changes from v3: A few typos were corrected (ceiling symbols were missing)Subjects: Combinatorics (math.CO)
We determine ${\bar{\rm{lcr}}}(K_n)$, the rectilinear local crossing number of the complete graph $K_n$ for every $n$. More precisely, for every $n \notin \{8, 14 \}, $ \[ {\bar{\rm{lcr}}}(K_n)=\left\lceil \frac{1}{2} \left( n-3-\left\lceil \frac{n-3}{3} \right\rceil \right) \left\lceil \frac{n-3}{3} \right\rceil \right\rceil, \] ${\bar{\rm{lcr}}}(K_8)=4$, and ${\bar{\rm{lcr}}}(K_{14})=15$.
- [150] arXiv:1512.06022 (replaced) [pdf, ps, html, other]
-
Title: On the local negativity of surfaces with numerically trivial canonical classComments: 16 pagesJournal-ref: Rend. Lincei Mat. Appl. 29: 237 - 253 (2018)Subjects: Algebraic Geometry (math.AG)
In this note we study the local negativity for certain configurations of smooth rational curves in smooth surfaces with numerically trivial canonical class. We show that for such rational curves there is a bound for the so-called local Harbourne constants, which measure the local negativity phenomenon. Moreover, we provide explicit examples of interesting configurations of rational curves in some K3 and Enriques surfaces and compute their local Harbourne constants.
- [151] arXiv:1604.05755 (replaced) [pdf, ps, html, other]
-
Title: Algebras of conjugacy classes in symmetric groupsComments: 19p., 6 fig, extended versionJournal-ref: Mosc. Math. J., 2024Subjects: Group Theory (math.GR); Representation Theory (math.RT)
In 1999 V. Ivanov and S. Kerov observed that structure constants of algebras of conjugacy classes of symmetric groups $S_n$ admit a stabilization (in a non-obvious sense) as $n\to \infty$. We extend their construction to a class of pairs of groups $G\supset K$ and algebras of conjugacy classes of $G$ with respect to $K$. In our basic example $G$ is a product of symmetric groups, $G=S_n \times S_n$, $K$ is the diagonal subgroup $S_n$.
- [152] arXiv:1607.00131 (replaced) [pdf, ps, html, other]
-
Title: Book crossing numbers of the complete graph and small local convex crossing numbersComments: Version 3 changes: Old Section 2.1 was removed as it distracted from the main results ofthe paper. The proof of Theorem 2 was simplified. Section 3.1 was rewritten to explicitly show the constructions. An overview for the proof of Theorem 5 (now Theorem 4) was added, including a flow chart figureSubjects: Combinatorics (math.CO)
A $ k $-page book drawing of a graph $ G $ is a drawing of $ G $ on $ k $ halfplanes with common boundary $ l $, a line, where the vertices are on $ l $ and the edges cannot cross $ l $. The $ k $-page book crossing number of the graph $ G $, denoted by $ \nu_k(G) $, is the minimum number of edge-crossings over all $ k $-page book drawings of $ G $. Let $G=K_n$ be the complete graph on $n$ vertices. We improve the lower bounds on $ \nu_k(K_n) $ for all $ k\geq 14 $ and determine $ \nu_k(K_n) $ whenever $ 2 < n/k \leq 3 $. Our proofs rely on bounding the number of edges in convex graphs with small local crossing numbers. In particular, we determine the maximum number of edges that a convex graph with local crossing number at most $ \ell $ can have for $ \ell\leq 4 $.
- [153] arXiv:1609.00712 (replaced) [pdf, ps, html, other]
-
Title: Model structures on the category of complexes of quiver representationsComments: We have decided to divide the paper into two parts. The first part, the present version, has been published by Payam Behiraei in the Bulletin of the Iranian Mathematical Society. In the second part, where we delve into the examination of morphism categories, we have separated it as we aim to achieve better and stronger results. Currently, we are working on this partSubjects: Representation Theory (math.RT)
In this paper, we study the category $C(Rep(\mathcal{Q}, \mathcal{A}))$ of complexes of representations of quiver $\mathcal{Q}$ with values in an abelian category $\mathcal{A}$. We develop a method for constructing some model structures on $C(Rep(\mathcal{Q}, \mathcal{A}))$ based on componentwise notion. Moreover, we also show that these model structures are monoidal. As an application of these model structures, we introduce some descriptions of the derived category of complexes of representations of $\mathcal{Q}$ in $\Mod R$.
- [154] arXiv:1703.06089 (replaced) [pdf, ps, html, other]
-
Title: Hasse-Minkowski theorem for quadratic forms on groupsSubjects: Number Theory (math.NT)
Consider groups such as Mordell-Weil groups of abelian varieties over number fields, odd algebraic $K$-theory groups of number fields, or finitely generated subgroups of the multiplicative groups of number fields. They are all equipped with systems of reduction maps; thus, one can investigate the Hasse-Minkowski theorem for quadratic forms with coefficients in such groups. In this paper, we prove that the theorem holds for the forms whose rank equals $2$ or $3$, and we demonstrate that it does not hold for higher ranks by providing a counterexample. We also show that our results constitute a generalization of the classic Hasse-Minkowski theorem for binary and ternary integral forms.
- [155] arXiv:1909.11184 (replaced) [pdf, ps, html, other]
-
Title: A Note on Fuzzy Automorphism and Inner Automorphism of GroupsComments: 13 pagesSubjects: Group Theory (math.GR)
The fuzzification of classical set theory came into existence when Zadeh [1] laid down the concept of a fuzzy set as a generalization of a crisp set. The objective of this paper is to extend the concept of fuzzy endomorphism to fuzzy automorphism. Notions of fuzzy inner automorphism and fuzzy inner automorphism induced by a fuzzy subgroup are introduced. Finally, we obtain the fuzzy analogues of well-known results of classical group theory.
- [156] arXiv:2007.10792 (replaced) [pdf, ps, other]
-
Title: Models of Jacobians of curvesSubjects: Algebraic Geometry (math.AG)
We show that the Jacobians of prestable curves over toroidal varieties always admit Néron models. These models are rarely quasi-compact or separated, but we also give a complete classification of quasi-compact separated group-models of such Jacobians. In particular we show the existence of a maximal quasi-compact separated group model, which we call the saturated model, which has the extension property for all torsion sections. The Néron model and the saturated model coincide over a Dedekind base, so the saturated model gives an alternative generalisation of the classical notion of Néron models to higher-dimensional bases; in the general case we give necessary and sufficient conditions for the Néron model and saturated model to coincide. The key result, from which most others descend, is that the logarithmic Jacobian of \cite{Molcho2018The-logarithmic} is a log Neron model of the Jacobian.
- [157] arXiv:2009.07908 (replaced) [pdf, ps, html, other]
-
Title: Generic spectrum of the weighted Laplacian operator on Cayley graphsComments: 18 pages, 2 figures; typos correctedSubjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Combinatorics (math.CO)
In this paper, we investigate the spectrum of a class of weighted Laplacians on Cayley graphs and determine under what conditions the corresponding eigenspaces are generically irreducible. Specifically, we analyze the spectrum on left-invariant Cayley graphs endowed with an invariant metric, and we give some criteria for generically irreducible eigenspaces. Additionally, we introduce an operator that is comparable to the Laplacian and show that the same criterion holds.
- [158] arXiv:2012.14723 (replaced) [pdf, ps, html, other]
-
Title: Topological recursion for Kadomtsev-Petviashvili tau functions of hypergeometric typeComments: 49 pages; several clarifications and correctionsSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Combinatorics (math.CO)
We study the $n$-point differentials corresponding to Kadomtsev-Petviashvili tau functions of hypergeometric type (also known as Orlov-Scherbin partition functions), with an emphasis on their $\hbar^2$-deformations and expansions. Under the naturally required analytic assumptions, we prove certain higher loop equations that, in particular, contain the standard linear and quadratic loop equations, and thus imply the blobbed topological recursion. We also distinguish two large families of the Orlov-Scherbin partition functions that do satisfy the natural analytic assumptions, and for these families we prove in addition the so-called projection property and thus the full statement of the Chekhov-Eynard-Orantin topological recursion. A particular feature of our argument is that it clarifies completely the role of $\hbar^2$-deformations of the Orlov-Scherbin parameters for the partition functions, whose necessity was known from a variety of earlier obtained results in this direction but never properly understood in the context of topological recursion. As special cases of the results of this paper one recovers new and uniform proofs of the topological recursion to all previously studied cases of enumerative problems related to weighted double Hurwitz numbers. By virtue of topological recursion and the Grothendieck-Riemann-Roch formula this, in turn, gives new and uniform proofs of almost all ELSV-type formulas discussed in the literature.
- [159] arXiv:2108.02790 (replaced) [pdf, ps, html, other]
-
Title: Adams' cobar construction as a monoidal $E_{\infty}$-coalgebra model of the based loop spaceComments: Final versionSubjects: Algebraic Topology (math.AT)
We prove that the classical map comparing Adams' cobar construction on the singular chains of a pointed space and the singular cubical chains on its based loop space is a quasi-isomorphism preserving explicitly defined monoidal $E_\infty$-coalgebra structures. This contribution extends to its ultimate conclusion a result of Baues, stating that Adams' map preserves monoidal coalgebra structures.
- [160] arXiv:2110.15060 (replaced) [pdf, ps, html, other]
-
Title: Growth of bilinear maps II: Bounds and ordersComments: 18 pages; minor update for the final version of publicationSubjects: Combinatorics (math.CO)
A good range of problems on trees can be described by the following general setting: Given a bilinear map $*:\mathbb R^d\times\mathbb R^d\to\mathbb R^d$ and a vector $s\in\mathbb R^d$, we need to estimate the largest possible absolute value $g(n)$ of an entry over all vectors obtained from applying $n-1$ applications of $*$ to $n$ instances of $s$. When the coefficients of $*$ are nonnegative and the entries of $s$ are positive, the value $g(n)$ is known to follow a growth rate $\lambda=\lim_{n\to\infty} \sqrt[n]{g(n)}$. In this article, we prove that for such $*$ and $s$ there exist nonnegative numbers $r,r'$ and positive numbers $a,a'$ so that for every $n$,
\[
a n^{-r}\lambda^n\le g(n)\le a' n^{r'}\lambda^n.
\]
While proving the upper bound, we actually also provide another approach in proving the limit $\lambda$ itself. The lower bound is proved by showing a certain form of submultiplicativity for $g(n)$. Corollaries include a lower bound and an upper bound for $\lambda$, which are followed by a good estimation of $\lambda$ when we have the value of $g(n)$ for an $n$ large enough. - [161] arXiv:2202.10197 (replaced) [pdf, ps, html, other]
-
Title: Linear first order differential operators and their Hutchinson-invariant setsComments: 46 pagesSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using this interpretation of $T$, we introduce its continuously Hutchinson invariant subsets of the complex plane and investigate a variety of their properties. In particular, we prove that for any $T$ with non-constant coefficients, there exists a unique minimal under inclusion invariant set $\mathrm{M}^T_{CH}$ and find explixitly when it equals $\mathbb{C}$.
- [162] arXiv:2207.04936 (replaced) [pdf, ps, html, other]
-
Title: PL homeomorphisms of surfaces and codimension $2$ PL foliationsComments: 19 pages, this version to appear in Compositio Mathematica. arXiv admin note: text overlap with arXiv:2202.00052Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Group Theory (math.GR)
Haefliger-Thurston's conjecture predicts that Haefliger's classifying space for $C^r$-foliations of codimension $n$ whose normal bundles are trivial is $2n$-connected. In this paper, we confirm this conjecture for PL foliations of codimension $2$. As a consequence, we use a version of Mather-Thurston's theorem for PL homeomorphisms due to the author to derive new homological properties for PL surface homeomorphisms. In particular, we answer a question of Epstein in dimension $2$ and prove the simplicity of the identity component of PL surface homeomorphisms.
- [163] arXiv:2209.02568 (replaced) [pdf, ps, html, other]
-
Title: The $P=W$ conjecture for $\mathrm{GL}_n$Comments: 25 pages. Final version; to appear at Annals of MathSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
We prove the $P=W$ conjecture for $\mathrm{GL}_n$ for all ranks $n$ and curves of arbitrary genus $g\geq 2$. The proof combines a strong perversity result on tautological classes with the curious Hard Lefschetz theorem of Mellit. For the perversity statement, we apply the vanishing cycles constructions in our earlier work to global Springer theory in the sense of Yun, and prove a parabolic support theorem.
- [164] arXiv:2209.08069 (replaced) [pdf, ps, html, other]
-
Title: Faces of Cosmological PolytopesComments: Revised expositionSubjects: Combinatorics (math.CO); High Energy Physics - Theory (hep-th)
A cosmological polytope is a lattice polytope introduced by Arkani-Hamed, Benincasa, and Postnikov in their study of the wavefunction of the universe in a class of cosmological models. More concretely, they construct a cosmological polytope for any Feynman diagram, i.e. an undirected graph. In this paper, we initiate a combinatorial study of these polytopes. We give a complete description of their faces, identify minimal faces that are not simplices and compute the number of faces in specific instances. In particular, we give a recursive description of the $f$-vector of cosmological polytopes of trees.
- [165] arXiv:2211.01033 (replaced) [pdf, ps, html, other]
-
Title: Non-reversible stationary states for majority voter and Ising dynamics on treesComments: 16 pages, 2 figures; added figures and improved expositionSubjects: Probability (math.PR)
We study three Markov processes on infinite, unrooted, regular trees: the stochastic Ising model (also known as the Glauber heat bath dynamics of the Ising model), a majority voter dynamic, and a coalescing particle model. In each of the three cases the tree exhibits a preferred direction encoded into the model. For all three models, our main result is the existence of a stationary but non-reversible measure. For the Ising model, this requires imposing that the inverse temperature is large and choosing suitable non-uniform couplings, and our theorem implies the existence of a stationary measure which looks nothing like a low-temperature Gibbs measure. The interesting aspect of our results lies in the fact that the analogous processes do not have non-Gibbsian stationary measures on $\mathbb Z^d$, owing to the amenability of that graph. In fact, no example of a stochastic Ising model with a non-reversible stationary state was known to date.
- [166] arXiv:2211.05681 (replaced) [pdf, ps, html, other]
-
Title: An Overview on Laakso SpacesComments: 21 pagesSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
Laakso's construction is a famous example of an Ahlfors $Q$-regular metric measure space admitting a weak $(1,1)$-Poincaré inequality that can not be embedded in $\mathbb{R}^n$ for any $n$. The construction is of particular interest because it works for any fixed dimension $Q>1$, even fractional ones. In this paper we will shed some light on Laakso's work by expanding some of his statements and proving results that were left unproved in the original paper.
- [167] arXiv:2301.09827 (replaced) [pdf, ps, html, other]
-
Title: On multiplicative spectral sequences for nerves and the free loop spacesComments: 29 pagesSubjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
We construct a multiplicative spectral sequence converging to the cohomology algebra of the diagonal complex of a bisimplicial set with coefficients in a field. The construction provides a spectral sequence converging to the cohomology algebra of the classifying space of a topological category. By applying the machinery to a Borel construction, we determine explicitly the mod $p$ cohomology algebra of the free loop space of the real projective space for each odd prime $p$. This is highlighted as an important computational example of such a spectral sequence. Moreover, we try to represent generators in the singular de Rham cohomology algebra of the diffeological free loop space of a non-simply connected manifold $M$ with differential forms on the universal cover of $M$ via Chen's iterated integral map.
- [168] arXiv:2301.10671 (replaced) [pdf, ps, html, other]
-
Title: Birkhoff generic points on curves in horospheresSubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
Let $\{a_t: t \in \mathbb{R}\}< SL_{d}(\mathbb{R})$ be a diagonalizable subgroup whose expanding horospherical subgroup $U < SL_{d}(\mathbb{R})$ is abelian. By the Birkhoff ergodic theorem, for any $x \in SL_{d}(\mathbb{R})/SL_{d}(\mathbb{Z})$ and for almost every point $u \in U$ the point $ux$ is Birkhoff generic for $a_t$ when $t \to \infty$. We prove that the same is true when $U$ is replaced by any non-degenerate analytic curve in $U$. This Birkhoff genericity result has various applications in Diophantine approximation. For instance, we obtain density estimates for Dirichlet improvability along typical points on a curve in Euclidean space. Other applications address approximations by algebraic numbers and best approximations (in the sense of Lagarias).
- [169] arXiv:2302.00913 (replaced) [pdf, ps, html, other]
-
Title: Degree of the 3-secant varietyComments: 15 pagesJournal-ref: J. Pure Appl. Algebra, 228(9)(2024)Subjects: Algebraic Geometry (math.AG)
In this paper, we present a formula for the degree of the 3-secant variety of a nonsingular projective variety embedded by a 5-very ample line bundle. The formula is provided in terms of Segre classes of the tangent bundle of a given variety. We use the generalized version of double point formula to reduce the calculation into the case of the 2-secant variety. Due to the singularity of the 2-secant variety, we use secant bundle as a nonsingular birational model and compute multiplications of desired algebraic cycles.
- [170] arXiv:2302.09386 (replaced) [pdf, ps, html, other]
-
Title: Renormalization on the DFR Quantum SpacetimeJ. F. López (1), A. F. Reyes-Lega (1) ((1) Universidad de los Andes)Comments: Final version, to appear in Reviews in Mathematical PhysicsSubjects: Mathematical Physics (math-ph)
An approach to renormalization of scalar fields on the Doplicher-Fredenhagen-Roberts (DFR) quantum spacetime is presented. The effective non-local theory obtained through the use of states of optimal localization for the quantum spacetime is reformulated in the language of (perturbative) Algebraic Quantum Field Theory. The structure of the singularities associated to the non-local kernel that codifies the effects of noncommutativity is analyzed using the tools of microlocal analysis.
- [171] arXiv:2302.13680 (replaced) [pdf, ps, html, other]
-
Title: A multigrid solver for PDE-constrained optimization with uncertain inputsComments: 37, 3 figuresSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
In this manuscript, we present a collective multigrid algorithm to solve efficiently the large saddle-point systems of equations that typically arise in PDE-constrained optimization under uncertainty, and develop a novel convergence analysis of collective smoothers and collective two-level methods. The multigrid algorithm is based on a collective smoother that at each iteration sweeps over the nodes of the computational mesh, and solves a reduced saddle-point system whose size is proportional to the number $N$ of samples used to discretized the probability space. We show that this reduced system can be solved with optimal $O(N)$ complexity.
The multigrid method is tested both as a stationary method and as a preconditioner for GMRES on three problems: a linear-quadratic problem, possibly with a local or a boundary control, for which the multigrid method is used to solve directly the linear optimality system; a nonsmooth problem with box constraints and $L^1$-norm penalization on the control, in which the multigrid scheme is used as an inner solver within a semismooth Newton iteration; a risk-averse problem with the smoothed CVaR risk measure where the multigrid method is called within a preconditioned Newton iteration. In all cases, the multigrid algorithm exhibits excellent performances and robustness with respect to the parameters of interest. - [172] arXiv:2303.10407 (replaced) [pdf, ps, other]
-
Title: Inverting log blow-ups in log geometryComments: 40 pages. Final version, to appear in Tunisian Journal of MathematicsSubjects: Algebraic Geometry (math.AG)
In the category of log schemes, it is unclear how to define the blow-ups for non-strict closed immersions. In this article, we introduce the notion of divided log spaces. We obtain the category of divided log spaces by locally inverting log blow-ups in the category of log schemes. We show that blow-ups exist for closed immersions of log smooth divided log spaces. This is an ingredient of the motivic six-functor formalism for log schemes.
- [173] arXiv:2303.10833 (replaced) [pdf, ps, other]
-
Title: Linear Codes Constructed From Two Weakly Regular Plateaued Functions with Index (p-1)/2Comments: 35 pagesSubjects: Information Theory (cs.IT)
Linear codes are the most important family of codes in cryptography and coding theory. Some codes have only a few weights and are widely used in many areas, such as authentication codes, secret sharing schemes and strongly regular graphs. By setting $ p\equiv 1 \pmod 4 $, we construct an infinite family of linear codes using two distinct weakly regular unbalanced (and balanced) plateaued functions with index $ (p-1)/2 $. Their weight distributions are completely determined by applying exponential sums and Walsh transform. As a result, most of our constructed codes have a few nonzero weights and are minimal.
- [174] arXiv:2304.00598 (replaced) [pdf, ps, html, other]
-
Title: Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural NetworksComments: 8 pages, 4 figures, 1 table, Submitted to the Conference on Decision and Control 2024Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper poses a theoretical characterization of the stochastic reachability problem in terms of probability measures, capturing the probability measure of the state of the system that satisfies the reachability specification for all probabilities over a finite horizon. We achieve this by constructing the level sets of the probability measure for all probability values and, since our approach is only for autonomous systems, we can determine the level sets via forward simulations of the system from a point in the state space at some time step in the finite horizon to estimate the reach probability. We devise a training procedure which exploits this forward simulation and employ it to design a deep neural network (DNN) to predict the reach probability provided the current state and time step. We validate the effectiveness of our approach through three examples.
- [175] arXiv:2304.07913 (replaced) [pdf, ps, html, other]
-
Title: On algebraic normalisers of maximal tori in simple groups of Lie typeComments: Cases that were missed earlier are now added. New computational method is providedSubjects: Group Theory (math.GR)
Let $G$ be a finite simple group of Lie type and let $T$ be a maximal torus of $G$. It is well known that if the defining field of $G$ is large enough, then the normaliser of $T$ in $G$ is equal to the algebraic normaliser $N(G,T)$. We identify explicitly all the cases when $N_G(T)$ is not equal to $N(G,T).$
- [176] arXiv:2305.06634 (replaced) [pdf, ps, other]
-
Title: Solution of the Hurwitz problem with a length-2 partitionComments: 37 pages, 21 figures. Incorporated reviewer's suggestions. To appear in Illinois J. MathSubjects: Geometric Topology (math.GT)
In this note we provide a new partial solution to the Hurwitz existence problem for surface branched covers. Namely, we consider candidate branch data with base surface the sphere and one partition of the degree having length two, and we fully determine which of them are realizable and which are exceptional. The case where the covering surface is also the sphere was solved somewhat recently by Pakovich, and we deal here with the case of positive genus. We show that the only other exceptional candidate data, besides those of Pakovich (five infinite families and one sporadic case), are a well-known very specific infinite family in degree 4 (indexed by the genus of the candidate covering surface, which can attain any value), five sporadic cases (four in genus 1 and one in genus 2), and another infinite family in genus 1 also already known. Since the degree is a composite number for all these exceptional data, our findings provide more evidence for the prime-degree conjecture. Our argument proceeds by induction on the genus and on the number of branching points, so our results logically depend on those of Pakovich, and we do not employ the technology of constellations on which his proof is based.
- [177] arXiv:2305.17602 (replaced) [pdf, ps, html, other]
-
Title: Orthogonal Dualities and Asymptotics of Dynamic Stochastic Higher Spin Vertex Models, using the Drinfeld TwisterComments: version 2 shows a degeneration to orthogonal polynomial dualities of arXiv:2306.12318 and adds Tracy-Widom asymptotics version 3 fills a gap in the proof of asymptotics; clarifies the computer simulations; is formatted to be more dyslexia friendlySubjects: Probability (math.PR); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
We introduce a new, algebraic method to construct duality functions for integrable dynamic models. This method will be implemented on dynamic stochastic higher spin vertex models, where we prove the duality functions are the $ _3 \varphi_2$ functions. A degeneration of these duality functions are orthogonal polynomial dualities of Groenevelt--Wagener arXiv:2306.12318. The method involves using the universal twister of $\mathcal{U}_q(\mathfrak{sl}_2)$, viewed as a quasi--triangular, quasi--$^*$--Hopf algebra. The algebraic method is presented very generally and is expected to produce duality functions for other dynamic integrable models. As an application of the duality, we prove that the asymptotic fluctuations of the dynamic stochastic six vertex model with step initial conditions are governed by the Tracy--Widom distribution.
- [178] arXiv:2306.11685 (replaced) [pdf, ps, html, other]
-
Title: $W$-triviality of low dimensional manifoldsComments: 12 pages, Accepted in Manuscripta MathematicaSubjects: Algebraic Topology (math.AT)
A space $X$ is $W$-trivial if for every real vector bundle $\alpha$ over $X$ the total Stiefel-Whitney class $w(\alpha)$ is 1. It follows from a result of Milnor that if $X$ is an orientable closed smooth manifold of dimension $1,2,4$ or $8$, then $X$ is not $W$-trivial. In this note we completely characterize $W$-trivial orientable connected closed smooth manifolds in dimensions $3,5$ and $6$. In dimension $7$, we describe necessary conditions for an orientable connected closed smooth $7$-manifold to be $W$-trivial.
- [179] arXiv:2306.15979 (replaced) [pdf, ps, html, other]
-
Title: Automatic continuity of Polynomial maps and cocyclesComments: 6 pages. Added a short proof for continuity of polynomials in the abelian case using Steinhaus's theorem as a black box. Some background, context and corrections addedSubjects: Geometric Topology (math.GT)
By classical theorems of Steinhaus and Weil, any Haar measurable homomorphism between locally compact groups is continuous. In particular, any Lebesgue-measurable homomorphism $\phi:\mathbb{R} \to \mathbb{R}$ is of the form $\phi(x)=ax$ for some $a \in \mathbb{R}$. In this short note, we prove that any Lebesgue measurable function $\phi:\R \to \R$ that vanishes under any $d+1$ "difference operators" is a polynomial of degree at most $d$. More generally, we prove the continuity of any Haar measurable polynomial map between locally compact groups, in the sense of Leibman. We deduce the above result as a direct consequence of a theorem about the automatic continuity of cocycles.
- [180] arXiv:2307.06155 (replaced) [pdf, ps, html, other]
-
Title: Relative Fractional Independence Number and Its ApplicationsSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
We define the relative fractional independence number of a graph $G$ with respect to another graph $H$, as $$\alpha^*(G|H)=\max_{W}\frac{\alpha(G\boxtimes W)}{\alpha(H\boxtimes W)},$$ where the maximum is taken over all graphs $W$, $G\boxtimes W$ is the strong product of $G$ and $W$, and $\alpha$ denotes the independence number. We give a non-trivial linear program to compute $\alpha^*(G|H)$ and discuss some of its properties. We show that $\alpha^*(G|H)\geq \frac{X(G)}{X(H)} \geq \frac{1}{\alpha^*(H|G)},$ where $X(G)$ can be the independence number, the zero-error Shannon capacity, the fractional independence number, the Lovász number, or the Schrijver's or Szegedy's variants of the Lovász number of a graph $G$. This inequality is the first explicit non-trivial upper bound on the ratio of the invariants of two arbitrary graphs, as mentioned earlier, which can also be used to obtain upper or lower bounds for these invariants. As explicit applications, we present new upper bounds for the ratio of the zero-error Shannon capacity of two Cayley graphs and compute new lower bounds on the Shannon capacity of certain Johnson graphs (yielding the exact value of their Haemers number). Moreover, we show that $\alpha^*(G|H)$ can be used to present a stronger version of the well-known No-Homomorphism Lemma.
- [181] arXiv:2307.12829 (replaced) [pdf, ps, html, other]
-
Title: Scattered trinomials of $\mathbb{F}_{q^6}[X]$ in even characteristicSubjects: Combinatorics (math.CO)
In recent years, several families of scattered polynomials have been investigated in the literature. However, most of them only exist in odd characteristic. In [B. Csajbók, G. Marino and F. Zullo: New maximum scattered linear sets of the projective line, Finite Fields Appl. 54 (2018), 133-150; G. Marino, M. Montanucci and F. Zullo: MRD-codes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in\mathbb{F}_{q^6}[x]$, Linear Algebra Appl. 591 (2020), 99-114], the authors proved that the trinomial $f_c(X)=X^{q}+X^{q^{3}}+cX^{q^{5}}$ of $\mathbb{F}_{q^6}[X]$ is scattered under the assumptions that $q$ is odd and $c^2+c=1$. They also explicitly observed that this is false when $q$ is even. In this paper, we provide a different set of conditions on $c$ for which this trinomial is scattered in the case of even $q$. Using tools of algebraic geometry in positive characteristic, we show that when $q$ is even and sufficiently large, there are roughly $q^3$ elements $c \in \mathbb{F}_{q^6}$ such that $f_{c}(X)$ is scattered. Also, we prove that the corresponding MRD-codes and $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^6)$ are not equivalent to the previously known ones.
- [182] arXiv:2307.14779 (replaced) [pdf, ps, html, other]
-
Title: Partial regularity for degenerate parabolic systems with general growth via caloric approximationsJournal-ref: Calculus of Variations and Partial Differential Equations 63 (2024), paper no. 105Subjects: Analysis of PDEs (math.AP)
We establish a partial regularity result for solutions of parabolic systems with general $\varphi$-growth, where $\varphi$ is an Orlicz function. In this setting we can develop a unified approach that is independent of the degeneracy of system and relies on two caloric approximation results: the $\varphi$-caloric approximation, which was introduced in Diening, Schwarzacher, Stroffolini and Verde (2017) (arXiv:1606.01706), and an improved version of the \mathcal{A}-caloric approximation, which we prove without using the classical compactness method.
- [183] arXiv:2307.16826 (replaced) [pdf, ps, html, other]
-
Title: Noetherian theoriesSubjects: Logic (math.LO)
A first-order theory is Noetherian with respect to the collection of formulae $\mathcal{F}$ if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}$ and the topology whose subbasis of closed sets is the collection of instances of arbitrary formulae in $\mathcal{F}$ is Noetherian. Noetherianity is a strengthening of equationality, which itself implies stability. We show the Noetherianity of the theory of proper pairs of algebraically closed fields in any characteristic.
- [184] arXiv:2308.02064 (replaced) [pdf, ps, html, other]
-
Title: Infinitesimal Operators and the Distribution of Anticommutators and CommutatorsJames A. Mingo (Queen's University), Pei-Lun Tseng (New York University Abu Dhabi)Comments: 26 pages, we have corrected some typos, updated the references and added a comment on the connection to the Markov-Krein transformSubjects: Operator Algebras (math.OA)
In an infinitesimal probability space we consider operators which are infinitesimally free and one of which is infinitesimal, in that all its moments vanish. Many previously analysed random matrix models are captured by this framework. We show that there is a simple way of finding non-commutative distributions involving infinitesimal operators and apply this to the commutator and anticommutator. We show the joint infinitesimal distribution of an operator and an infinitesimal idempotent gives us the Boolean cumulants of the given operator. We also show that Boolean cumulants can be expressed as infinitesimal moments thus giving matrix models which exhibit asymptotic Boolean independence and monotone independence. Finally we demonstrate a connection to the Markov-Krein transform.
- [185] arXiv:2308.03232 (replaced) [pdf, ps, html, other]
-
Title: Absolute zeta functions arising from ceiling and floor Puiseux polynomialsComments: 16 pages. Some typos are corrected. To appear in International Journal of Number TheorySubjects: Number Theory (math.NT)
For the $\mathbb{Z}$-lift $X_\mathbb{Z}$ of a monoid scheme $X$ of finite type, Deitmar-Koyama-Kurokawa calculated its absolute zeta function by interpolating $\#X_\mathbb{Z}(\mathbb{F}_q)$ for all prime powers $q$ using the Fourier expansion. This absolute zeta function coincides with the absolute zeta function of a certain polynomial. In this article, we characterize the polynomial as a ceiling polynomial of the sequence $\left(\#X_\mathbb{Z}(\mathbb{F}_q)\right)_q$, which we introduce independently. Extending this idea, we introduce a certain pair of absolute zeta functions of a separated scheme $X$ of finite type over $\mathbb{Q}$ by means of a pair of Puiseux polynomials which estimate "$\#X(\mathbb{F}_{p^m})$" for sufficiently large $p$. We call them the ceiling and floor Puiseux polynomials of $X$. In particular, if $X$ is an elliptic curve, then our absolute zeta functions of $X$ do not depend on its isogeny class.
- [186] arXiv:2308.13750 (replaced) [pdf, ps, html, other]
-
Title: Quantifying Inequities and Documenting Elitism in PhD-granting Mathematical Sciences Departments in the United StatesRon Buckmire, Carrie Diaz Eaton, Joseph E. Hibdon Jr., Jakini Kauba, Drew Lewis, Omayra Ortega, José L. Pabón, Rachel Roca, Andrés R. Vindas-Meléndez, Sam ZhangComments: 15 pages, 4 figures, 3 tables, comments welcomedSubjects: History and Overview (math.HO)
In this paper we provide an example of the application of quantitative techniques, tools, and topics from mathematics and data science to analyze the mathematics community itself in order to quantify inequity and document elitism. This work is a contribution to the new and growing field recently termed "mathematics of Mathematics," or "MetaMath." Our goal is to rebut, rebuke, and refute the idea that the mathematical sciences in the United States is a meritocracy by using data science and quantitative analysis. Using research and data about PhD-granting institutions in the United States, we quantify, document, and highlight inequities in departments at U.S. institutions of higher education that produce PhDs in the mathematical sciences. Specifically, we determine that a small fraction of mathematical sciences departments receive a large majority of federal funding awarded to support mathematics in the United States and that women are dramatically underrepresented in these departments. Additionally, we quantify the extent to which women are underrepresented in almost all mathematical sciences PhD-granting institutions in the United States.
- [187] arXiv:2308.14506 (replaced) [pdf, ps, html, other]
-
Title: Stochastic optimal control problems with delays in the state and in the control via viscosity solutions and applications to optimal advertising and optimal investment problemsComments: arXiv admin note: substantial text overlap with arXiv:2302.08809Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Probability (math.PR)
In this manuscript we consider optimal control problems of stochastic differential equations with delays in the state and in the control. First, we prove an equivalent Markovian reformulation on Hilbert spaces of the state equation. Then, using the dynamic programming approach for infinite-dimensional systems, we prove that the value function is the unique viscosity solution of the infinite-dimensional Hamilton-Jacobi-Bellman equation. We apply these results to problems coming from economics: stochastic optimal advertising problems and stochastic optimal investment problems with time-to-build.
- [188] arXiv:2309.00520 (replaced) [pdf, ps, html, other]
-
Title: Robust Online Learning over NetworksSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Systems and Control (eess.SY)
The recent deployment of multi-agent networks has enabled the distributed solution of learning problems, where agents cooperate to train a global model without sharing their local, private data. This work specifically targets some prevalent challenges inherent to distributed learning: (i) online training, i.e., the local data change over time; (ii) asynchronous agent computations; (iii) unreliable and limited communications; and (iv) inexact local computations. To tackle these challenges, we apply the Distributed Operator Theoretical (DOT) version of the Alternating Direction Method of Multipliers (ADMM), which we call "DOT-ADMM". We prove that if the DOT-ADMM operator is metric subregular, then it converges with a linear rate for a large class of (not necessarily strongly) convex learning problems toward a bounded neighborhood of the optimal time-varying solution, and characterize how such neighborhood depends on (i)-(iv). We first derive an easy-to-verify condition for ensuring the metric subregularity of an operator, followed by tutorial examples on linear and logistic regression problems. We corroborate the theoretical analysis with numerical simulations comparing DOT-ADMM with other state-of-the-art algorithms, showing that only the proposed algorithm exhibits robustness to (i)-(iv).
- [189] arXiv:2309.03819 (replaced) [pdf, ps, html, other]
-
Title: On isomorphisms to a free group and beyondComments: 5 pages. Published in journal of Groups, Complexity, CryptologySubjects: Group Theory (math.GR)
The isomorphism problem for infinite finitely presented groups is probably the hardest among standard algorithmic problems in group theory. Classes of groups where it has been completely solved are nilpotent groups, hyperbolic groups, and limit groups. In this short paper, we address the problem of isomorphism to particular groups, including free groups. We also address the algorithmic problem of embedding a finitely presented group in a given limit group.
- [190] arXiv:2309.08490 (replaced) [pdf, ps, other]
-
Title: Bessel Periods on $U(2,1) \times U(1,1)$, Relative Trace Formula and Non-Vanishing of Central $L$-valuesComments: 152 pages; updated the arxiv abstractSubjects: Number Theory (math.NT)
In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(\pi, \pi')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $\pi$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, \pi \times \pi')$, which are of degree twelve over $\mathbb{Q}$, with concomitant difficulty in applying standard methods, especially since we are in a `conductor dropping' situation. We use the relative trace formula, and the orbital integrals are evaluated rather than compared with others. Besides their intrinsic interest, non-vanishing of these critical values also lead, by known results, to deducing certain associated Selmer groups have rank zero.
- [191] arXiv:2310.04873 (replaced) [pdf, ps, html, other]
-
Title: Unbounded Perturbation of Linear Partial Functional Differential Equations via Yosida DistanceComments: arXiv admin note: text overlap with arXiv:2301.12080Subjects: Dynamical Systems (math.DS)
This paper is concerned with perturbation of evolution equation with delay $u'(t)=Au(t)+Bu_t \ (*)$ where $A,B$ are linear operators in a Banach space $\mathbb{X}$ and from $C([-r,0],\mathbb{X})$ to $\mathbb{X}$, respectively; $r>0$ is a given constant. To measure the size of unbounded perturbation we introduce the so-called \textit{Yosida distance} of linear operators $U$ and $V$ in a Banach space $\mathbb{X}$ as $d_Y(U,V):=\limsup_{\mu\to +\infty} \| U_\mu-V_\mu\|$, where $U_\mu$ and $V_\mu$ are the Yosida approximations of $U$ and $V$, respectively. The obtained results states that if $d_Y(A, A_1)$ and $d_Y(B, B_1)$ are sufficiently small, then the equation $u'(t)=A_1u(t)+B_1u_t \ (**)$ also has an exponential dichotomy, if (*) has it. The proofs are based on estimates of the Yosida distance of the generators of the solution semigroups generated by (*) and (**) in the phase space $C([-r,0],\mathbb{X})$ whose domains have no relations at all. The obtained results seem to be new.
- [192] arXiv:2310.07635 (replaced) [pdf, ps, html, other]
-
Title: Gaussian deconvolution and the lace expansionComments: 20 pages. Correction to Lemma A.3 (does not affect conclusions)Subjects: Probability (math.PR); Mathematical Physics (math-ph)
We give conditions on a real-valued function $F$ on $\mathbb{Z}^d$, for $d>2$, which ensure that the solution $G$ to the convolution equation $(F*G)(x) = \delta_{0,x}$ has Gaussian decay $|x|^{-(d-2)}$ for large $|x|$. Precursors of our results were obtained in the 2000s, using intricate Fourier analysis. In 2022, a very simple deconvolution theorem was proved, but its applicability was limited. We extend the 2022 theorem to remove its limitations while maintaining its simplicity -- our main tools are Hölder's inequality and basic Fourier theory in $L^p$ space. Our motivation comes from critical phenomena in equilibrium statistical mechanics, where the convolution equation is provided by the lace expansion and the deconvolution $G$ is a critical two-point function. Our results significantly simplify existing proofs of critical $|x|^{-(d-2)}$ decay in high dimensions for self-avoiding walk, Ising and $\varphi^4$ models, percolation, and lattice trees and lattice animals. We also improve previous error estimates.
- [193] arXiv:2310.07640 (replaced) [pdf, ps, html, other]
-
Title: Gaussian deconvolution and the lace expansion for spread-out modelsComments: 21 pages. Minor edits. To appear in Ann. Inst. H. Poincaré Probab. StatistSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We present a new proof of $|x|^{-(d-2)}$ decay of critical two-point functions for spread-out statistical mechanical models on $\mathbb{Z}^d$ above the upper critical dimension, based on the lace expansion and assuming appropriate diagrammatic estimates. Applications include spread-out models of the Ising model and self-avoiding walk in dimensions $d>4$, and spread-out percolation for $d>6$. The proof is based on an extension of the new Gaussian deconvolution theorem we obtained in a recent paper. It provides a technically simpler and conceptually more transparent approach than the method of Hara, van der Hofstad and Slade (2003).
- [194] arXiv:2310.12788 (replaced) [pdf, ps, html, other]
-
Title: Continuous Time Locally Stationary Wavelet ProcessesComments: 38 pages, 12 figuresSubjects: Statistics Theory (math.ST)
This article introduces the class of continuous time locally stationary wavelet processes. Continuous time models enable us to properly provide scale-based time series models for irregularly-spaced observations for the first time, while also permitting a spectral representation of the process over a continuous range of scales. We derive results for both the theoretical setting, where we assume access to the entire process sample path, and a more practical one, which develops methods for estimating the quantities of interest from sampled time series. The latter estimates are accurately computable in reasonable time by solving the relevant linear integral equation using the iterative thresholding method due to Daubechies, Defrise and De Mol. Appropriate smoothing techniques are also developed and applied in this new setting. We exemplify our new methods by computing spectral and autocovariance estimates on irregularly-spaced heart rate data obtained from a recent sleep-state study.
- [195] arXiv:2310.13181 (replaced) [pdf, ps, html, other]
-
Title: Locational Marginal Pricing of Energy in Pipeline Transport of Natural Gas and Hydrogen with Carbon Offset IncentivesSubjects: Optimization and Control (math.OC)
We propose an optimization formulation for locational pricing of energy transported through a pipeline network that carries mixtures of natural gas and hydrogen from distributed sources to consumers. The objective includes the economic value provided by the pipeline to consumers of energy and suppliers of natural gas and green hydrogen, as well as incentives to lower carbon emissions by consuming the latter instead of the former. The optimization is subject to the physics of gas flow and mixing in the pipeline network as well as engineering limits. In addition to formulating this mathematical program, we synthesize the Lagrangian and derive analytical expressions for the dual variables. We propose that the dual solution can be used to derive locational marginal prices of natural gas, hydrogen, and energy, as well as the decarbonization premium paid by consumers that receive hydrogen. We derive several properties of solutions obtained using the proposed market mechanism, and demonstrate them using case studies for standard 8-node and 40-node pipeline test networks. Finally, we show that optimization-based analysis of the type proposed here is critical for making sound decisions about economic policy and infrastructure expansion for blending green hydrogen into existing natural gas pipelines.
- [196] arXiv:2310.13621 (replaced) [pdf, ps, other]
-
Title: Principal 2-blocks with wreathed defect groups up to splendid Morita equivalenceComments: Revised version, 25 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
We classify principal $2$-blocks of finite groups $G$ with Sylow $2$-subgroups isomorphic to a wreathed $2$-group $C_{2^n}\wr C_2$ with $n\geq 2$ up to Morita equivalence and up to splendid Morita equivalence. As a consequence, we obtain that Puig's Finiteness Conjecture holds for such blocks. Furthermore, we obtain a classification of such groups modulo $O_{2'}(G)$, which is a pure group theoretical result and of independent interest. Methods previously applied to blocks of tame representation type are used. They are, however, further developed in order to deal with blocks of wild representation type.
- [197] arXiv:2310.14691 (replaced) [pdf, ps, html, other]
-
Title: Identifiability of total effects from abstractions of time series causal graphsComments: Accepted to the 40th Conference on Uncertainty in Artificial Intelligence (UAI) 2024, Barcelona, SpainSubjects: Statistics Theory (math.ST); Artificial Intelligence (cs.AI)
We study the problem of identifiability of the total effect of an intervention from observational time series in the situation, common in practice, where one only has access to abstractions of the true causal graph. We consider here two abstractions: the extended summary causal graph, which conflates all lagged causal relations but distinguishes between lagged and instantaneous relations, and the summary causal graph which does not give any indication about the lag between causal relations. We show that the total effect is always identifiable in extended summary causal graphs and provide sufficient conditions for identifiability in summary causal graphs. We furthermore provide adjustment sets allowing to estimate the total effect whenever it is identifiable.
- [198] arXiv:2311.00905 (replaced) [pdf, ps, html, other]
-
Title: Data-driven fixed-point tuning for truncated realized variationsSubjects: Statistics Theory (math.ST); Econometrics (econ.EM)
Many methods for estimating integrated volatility and related functionals of semimartingales in the presence of jumps require specification of tuning parameters for their use in practice. In much of the available theory, tuning parameters are assumed to be deterministic and their values are specified only up to asymptotic constraints. However, in empirical work and in simulation studies, they are typically chosen to be random and data-dependent, with explicit choices often relying entirely on heuristics. In this paper, we consider novel data-driven tuning procedures for the truncated realized variations of a semimartingale with jumps based on a type of random fixed-point iteration. Being effectively automated, our approach alleviates the need for delicate decision-making regarding tuning parameters in practice and can be implemented using information regarding sampling frequency alone. We show our methods can lead to asymptotically efficient estimation of integrated volatility and exhibit superior finite-sample performance compared to popular alternatives in the literature.
- [199] arXiv:2311.01980 (replaced) [pdf, ps, html, other]
-
Title: Quantitative convergence in relative entropy for a moderately interacting particle system on $\mathbb{R}^d$Comments: 20 pagesSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
This article shows how to combine the relative entropy method by D. Bresch, P.-E. Jabin, and Z. Wang in arXiv:1706.09564, arXiv:1906.04093 and the regularized $L^2(\mathbb{R}^d)$-estimate by Oelschläger (Probability theory and related fields, 1987) to prove a strong propagation of chaos result for the viscous porous medium equation from a moderately interacting particle system in $L^\infty(0,T; L^1(\mathbb{R}^d))$-norm. In the moderate interacting setting, the interacting potential is a smoothed Dirac Delta distribution, however, current results regarding the relative entropy methods for singular potentials do not apply. The result holds on $\mathbb{R}^d$ for any dimension $d\geq 1$ and provides a quantitative result where the rate of convergence depends on the moderate scaling parameter and the dimension $d\geq 1$. Additionally, the presented method can be adapted for moderately interacting systems for which a certain convergence probability holds -- thus a propagation of chaos result in relative entropy can be obtained for kernels approximating Coulomb potentials.
- [200] arXiv:2311.03091 (replaced) [pdf, ps, html, other]
-
Title: Abstract dissipative Hamiltonian differential-algebraic equations are everywhereSubjects: Functional Analysis (math.FA); Optimization and Control (math.OC)
In this paper we study the representation of partial differential equations (PDEs) as abstract differential-algebraic equations (DAEs) with dissipative Hamiltonian structure (adHDAEs). We show that these systems not only arise when there are constraints coming from the underlying physics, but many standard PDE models can be seen as an adHDAE on an extended state space. This reflects the fact that models often include closure relations and structural properties. We present a unifying operator theoretic approach to analyze the properties of such operator equations and illustrate this by several applications.
- [201] arXiv:2311.04407 (replaced) [pdf, ps, html, other]
-
Title: Boundary Control for Suppressing Chaotic Response to Dynamic Hydrogen Blending in a Gas PipelineSubjects: Dynamical Systems (math.DS); Optimization and Control (math.OC); Chaotic Dynamics (nlin.CD); Fluid Dynamics (physics.flu-dyn)
It is known that periodic forcing of nonlinear flows can result in a chaotic response under certain conditions. Such non-periodic and chaotic solutions have been observed in simulations of heterogeneous gas flow in a pipeline with periodic, time-varying boundary conditions. In this paper, we examine a proportional feedback law for boundary control of a parabolic partial differential equation system that represents the flow of two gases through a pipe. We demonstrate that periodic variation of the mass fraction of the lighter gas at the pipe inlet can result in the chaotic propagation of gas pressure waves, and show that appropriate flow control can suppress this response. We examine phase space solutions for the single pipe system subject to boundary control, and use numerical experiments to characterize conditions for the controller gain to suppress chaos.
- [202] arXiv:2311.05637 (replaced) [pdf, ps, html, other]
-
Title: Non-absolute integrable function spaces on metric measure spacesComments: 14 pagesSubjects: Functional Analysis (math.FA)
Kuelbs-Steadman spaces are introduced in this article on a separable metric space with finite diameter and finite positive Borel measure. Kuelbs-Steadman spaces of the Lipschitz type are also discussed. Various inclusion properties are also discussed. In the sequel, we introduce HK-Sobolev spaces on metric mesure space which coincides with HK-Sobolev space in the Euclidean case. In application, we discuss the boundedness of Hardy-Littlewood maximal operator on Kuelbs-Steadman spaces and HK-Sobolev spaces over a metric measure space.
- [203] arXiv:2311.06448 (replaced) [pdf, ps, html, other]
-
Title: A Sparse Smoothing Newton Method for Solving Discrete Optimal Transport ProblemsComments: 29 pages, 17 figuresSubjects: Optimization and Control (math.OC)
The discrete optimal transport (OT) problem, which offers an effective computational tool for comparing two discrete probability distributions, has recently attracted much attention and played essential roles in many modern applications. This paper proposes to solve the discrete OT problem by applying a squared smoothing Newton method via the Huber smoothing function for solving the corresponding KKT system directly. The proposed algorithm admits appealing convergence properties and is able to take advantage of the solution sparsity to greatly reduce computational costs. Moreover, the algorithm can be extended to solve problems with similar structures including the Wasserstein barycenter (WB) problem with fixed supports. To verify the practical performance of the proposed method, we conduct extensive numerical experiments to solve a large set of discrete OT and WB benchmark problems. Our numerical results show that the proposed method is efficient compared to state-of-the-art linear programming (LP) solvers. Moreover, the proposed method consumes less memory than existing LP solvers, which demonstrates the potential usage of our algorithm for solving large-scale OT and WB problems.
- [204] arXiv:2311.09375 (replaced) [pdf, ps, html, other]
-
Title: Distributed Constrained Combinatorial Optimization leveraging Hypergraph Neural NetworksSubjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC)
Scalable addressing of high dimensional constrained combinatorial optimization problems is a challenge that arises in several science and engineering disciplines. Recent work introduced novel application of graph neural networks for solving quadratic-cost combinatorial optimization problems. However, effective utilization of models such as graph neural networks to address general problems with higher order constraints is an unresolved challenge. This paper presents a framework, HypOp, which advances the state of the art for solving combinatorial optimization problems in several aspects: (i) it generalizes the prior results to higher order constrained problems with arbitrary cost functions by leveraging hypergraph neural networks; (ii) enables scalability to larger problems by introducing a new distributed and parallel training architecture; (iii) demonstrates generalizability across different problem formulations by transferring knowledge within the same hypergraph; (iv) substantially boosts the solution accuracy compared with the prior art by suggesting a fine-tuning step using simulated annealing; (v) shows a remarkable progress on numerous benchmark examples, including hypergraph MaxCut, satisfiability, and resource allocation problems, with notable run time improvements using a combination of fine-tuning and distributed training techniques. We showcase the application of HypOp in scientific discovery by solving a hypergraph MaxCut problem on NDC drug-substance hypergraph. Through extensive experimentation on various optimization problems, HypOp demonstrates superiority over existing unsupervised learning-based solvers and generic optimization methods.
- [205] arXiv:2311.12248 (replaced) [pdf, ps, html, other]
-
Title: Sparse graph counting and Kelley-Meka bounds for binary systemsComments: [v3] This version proves the Kelley-Meka type bounds for all Binary systems of linear forms over any finite abelian group. [v4] This revised version includes a correction to Corollary 1.6, which is now stated for the Cayley sum graphSubjects: Combinatorics (math.CO)
In a recent breakthrough, Kelley and Meka (FOCS 2023) obtained a strong upper bound on the density of sets of integers without nontrivial three-term arithmetic progressions. In this work, we extend their result, establishing similar bounds for all linear patterns defined by binary systems of linear forms, where "binary" indicates that every linear form depends on exactly two variables. Prior to our work, no strong bounds were known for such systems even in the finite field model setting. A key ingredient in our proof is a graph counting lemma. The classical graph counting lemma, developed by Thomason (Random Graphs 1985) and Chung, Graham, and Wilson (Combinatorica 1989), is a fundamental tool in combinatorics. For a fixed graph $H$, it states that the number of copies of $H$ in a pseudorandom graph $G$ is similar to the number of copies of $H$ in a purely random graph with the same edge density as $G$. However, this lemma is only non-trivial when $G$ is a dense graph. In this work, we prove a graph counting lemma that is also effective when $G$ is sparse. Moreover, our lemma is well-suited for density increment arguments in additive number theory. As an immediate application, we obtain a strong bound for the Turán problem in abelian Cayley sum graphs: let $\Gamma$ be a finite abelian group with odd order. If a Cayley sum graph on $\Gamma$ does not contain any $r$-clique as a subgraph, it must have at most $2^{-\Omega_r(\log^{1/16}|\Gamma|)}\cdot |\Gamma|^2$ edges. These results hinge on the technology developed by Kelley and Meka and the follow-up work by Kelley, Lovett, and Meka (STOC 2024).
- [206] arXiv:2312.02691 (replaced) [pdf, ps, html, other]
-
Title: Edge coloring of products of signed graphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
In 2020, Behr defined the problem of edge coloring of signed graphs and showed that every signed graph $(G, \sigma)$ can be colored using exactly $\Delta(G)$ or $\Delta(G) + 1$ colors, where $\Delta(G)$ is the maximum degree in graph $G$.
In this paper, we focus on products of signed graphs. We recall the definitions of the Cartesian, tensor, strong, and corona products of signed graphs and prove results for them. In particular, we show that $(1)$ the Cartesian product of $\Delta$-edge-colorable signed graphs is $\Delta$-edge-colorable, $(2)$ the tensor product of a $\Delta$-edge-colorable signed graph and a signed tree requires only $\Delta$ colors and $(3)$ the corona product of almost any two signed graphs is $\Delta$-edge-colorable. We also prove some results related to the coloring of products of signed paths and cycles. - [207] arXiv:2312.02840 (replaced) [pdf, ps, html, other]
-
Title: A note on generation and descent for derived categories of noncommutative schemesComments: Current version: Minor typos. Previous: Improved results and expositionSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Rings and Algebras (math.RA); Representation Theory (math.RT)
This work demonstrates classical generation is preserved by the derived pushforward along the canonical morphism of a noncommutative scheme to its underlying scheme. There are intriguing examples illustrating this phenomenon, particularly from noncommutative resolutions, categorical resolutions, and homological projective duality. Additionally, we establish that the Krull dimension of a variety over a field is a lower bound for the Rouquier dimension of the bounded derived category associated with a noncommutative scheme on it. This is an extension of a classical result of Rouquier to the noncommutative context.
- [208] arXiv:2312.04536 (replaced) [pdf, ps, html, other]
-
Title: Invisibility of the integers for the discrete Gaussian chain via a Caffarelli-Silvestre extension of the discrete fractional LaplacianComments: 65 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
The Discrete Gaussian Chain is a model of interfaces $\Psi : \mathbf{Z} \to \mathbf{Z}$ governed by the Hamiltonian $$ H(\Psi)= \sum_{i\neq j} J_\alpha(|i-j|) |\Psi_i -\Psi_j|^2 $$ with long-range coupling constants $J_\alpha(k)\asymp k^{-\alpha}$. For any $\alpha\in [2,3)$ and at high enough temperature, we prove an invariance principle for such an $\alpha$-Discrete Gaussian Chain towards a $H(\alpha)$-fractional Gaussian process where the Hurst index $H$ satisfies $H=H(\alpha)=\frac {\alpha-2} 2$. This result goes beyond a conjecture by Fröhlich and Zegarlinski [FZ91] which conjectured fluctuations of order $n^{\tfrac 1 2 (\alpha-2) \wedge 1}$ for the Discrete Gaussian Chain.
More surprisingly, as opposed to the case of the $2D$ Discrete Gaussian $\Psi : \mathbf{Z}^2 \to \mathbf{Z}$, we prove that the integers do not affect the {\em effective temperature} of the discrete Gaussian Chain at large scales. Such an {\em invisibility of the integers} had been predicted by Slurink and Hilhorst in the special case $\alpha_c=2$ in [SH83]. We also identify a similar invisibility of integers when a $2D$ Gaussian Free Field at high temperature is conditioned to take integer values on a dilute enough "fractal subset" of $\mathbf{Z}^2$.
Our proof relies on four main ingredients:
(1) A Caffareli-Silvestre extension for the discrete fractional Laplacian (which may be of independent interest)
(2) A localisation of the chain in a smoother sub-domain
(3) A Coulomb gas-type expansion in the spirit of Fröhlich-Spencer [FS82]
(4) Controlling the amount of Dirichlet Energy supported by a $1D$ band for the Green functions of $\mathbf{Z}^2$ Bessel-type random walks
Finally, we also analyse the (easier) regime $\alpha\in(1,2) \cup (3,\infty)$ as well as the $2D$ Discrete Gaussian with long-range coupling constants (for any $\alpha>\alpha_c=4$). - [209] arXiv:2312.07792 (replaced) [pdf, ps, html, other]
-
Title: Differentially private projection-depth-based mediansComments: 44 pages, 1 figureSubjects: Statistics Theory (math.ST); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Methodology (stat.ME)
We develop $(\epsilon,\delta)$-differentially private projection-depth-based medians using the propose-test-release (PTR) and exponential mechanisms. Under general conditions on the input parameters and the population measure, (e.g. we do not assume any moment bounds), we quantify the probability the test in PTR fails, as well as the cost of privacy via finite sample deviation bounds. We then present a new definition of the finite sample breakdown point which applies to a mechanism, and present a lower bound on the finite sample breakdown point of the projection-depth-based median. We demonstrate our main results on the canonical projection-depth-based median, as well as on projection-depth-based medians derived from trimmed estimators. In the Gaussian setting, we show that the resulting deviation bound matches the known lower bound for private Gaussian mean estimation. In the Cauchy setting, we show that the "outlier error amplification" effect resulting from the heavy tails outweighs the cost of privacy. This result is then verified via numerical simulations. Additionally, we present results on general PTR mechanisms and a uniform concentration result on the projected spacings of order statistics, which may be of general interest.
- [210] arXiv:2312.15303 (replaced) [pdf, ps, html, other]
-
Title: The log moments of smallest denominatorsComments: 10 pages, 2 figures,1 table, to appear in IntegersSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
This paper studies the logarithmic moments of the smallest denominator of all rationals in a shrinking interval with random center. Convergence follows from the more general results in [arXiv:2310.11251, Bull. Lond. Math. Soc., to appear], and the key point of this note is the derivation of explicit formulas for the moments of the limit distribution in dimension one. This answers questions raised by Meiss and Sander in their numerical study of minimal resonance orders for torus maps with random rotation vectors [arXiv:2310.11600].
- [211] arXiv:2312.15374 (replaced) [pdf, ps, html, other]
-
Title: Symplectic embeddings of toric domains with boundary a lens spaceComments: 42 pages, 8 figures. arXiv admin note: text overlap with arXiv:2110.02312, arXiv:2001.01792, arXiv:1303.5789, arXiv:1310.6647, arXiv:2007.13883, arXiv:2211.13876 by other authorsSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG)
We give a combinatorial description of the embedded contact complex (ECC) of a certain family of contact toric lens spaces that we call concave lens spaces. We also define a notion of a concave toric domain that generalizes the usual concave toric domain in a way that possesses a singularity point and has a boundary a lens space. After desingularization these toric domains include the unitary cotangent bundle of $\mathbb{S}^2$ and the unitary cotangent bundle of $\mathbb{R}P^2$. We use the combinatorial expression of the ECC to compute the ECH capacities of these toric domains. Furthermore, for certain concave toric domains we describe a packing of symplectic manifolds that recovers their ECH capacities.
- [212] arXiv:2401.05082 (replaced) [pdf, ps, html, other]
-
Title: A new characterization of $L^2$-domains of holomorphy with null thin complements via $L^2$-optimal conditionsComments: Comments are welcomeSubjects: Complex Variables (math.CV)
In this paper, we show that the $L^2$-optimal condition implies the $L^2$-divisibility of $L^2$-integrable holomorphic functions. As an application, we offer a new characterization of bounded $L^2$-domains of holomorphy with null thin complements using the $L^2$-optimal condition, which appears to be advantageous in addressing a problem proposed by Deng-Ning-Wang. Through this characterization, we show that a domain in a Stein manifold with a null thin complement, admitting an exhaustion of complete Kähler domains, remains Stein. By the way, we construct an $L^2$-optimal domain that does not admit any complete Kähler metric.
- [213] arXiv:2402.03101 (replaced) [pdf, ps, other]
-
Title: A flow approach to the generalized KPZ equationComments: Fixing an issue about the initial data, which must be smoother. Fixing some typosSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We show that the flow approach of Duch [Duc21] can be adapted to prove local well-posedness for the generalised KPZ equation. The key step is to extend the flow approach so that it can accommodate semilinear equations involving smooth functions of the solution instead of only polynomials - this is accomplished by introducing coordinates for the flow built out of the elementary differentials associated to the equation.
- [214] arXiv:2402.04098 (replaced) [pdf, ps, other]
-
Title: Random L\'evy Looptrees and L\'evy MapsComments: 62 pages but 11 nice figures. Minor changes in the presentation compared to V1Subjects: Probability (math.PR)
What is the analogue of Lévy processes for random surfaces? Motivated by scaling limits of random planar maps in random geometry, we introduce and study Lévy looptrees and Lévy maps. They are defined using excursions of general Lévy processes with no negative jump and extend the known stable looptrees and stable maps, associated with stable processes. We compute in particular their fractal dimensions in terms of the upper and lower Blumenthal-Getoor exponents of the coding Lévy process. In a second part, we consider excursions of stable processes with a drift and prove that the corresponding looptrees interpolate continuously as the drift varies from $-\infty$ to $\infty$, or as the self-similarity index varies from $1$ to $2$, between a circle and the Brownian tree, whereas the corresponding maps interpolate between the Brownian tree and the Brownian sphere.
- [215] arXiv:2402.05984 (replaced) [pdf, ps, html, other]
-
Title: A note on uncountably chromatic graphsComments: 3 pages; V2 corrects a mistake in the last line of the proofSubjects: Combinatorics (math.CO); Logic (math.LO)
We present an elementary construction of an uncountably chromatic graph without uncountable, infinitely connected subgraphs.
- [216] arXiv:2402.08783 (replaced) [pdf, ps, html, other]
-
Title: Remarks on MacMahon's $q$-seriesComments: Minor revisions based on two referee reportSubjects: Combinatorics (math.CO)
In his important 1920 paper on partitions, MacMahon defined the partition generating functions \begin{align*} A_k(q)=\sum_{n=1}^{\infty}\mathfrak{m}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{s_1+s_2+\cdots+s_k}}{(1-q^{s_1})^2(1-q^{s_2})^2\cdots(1-q^{s_k})^2},\\ C_k(q)=\sum_{n=1}^{\infty} \mathfrak{m}_{odd}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{2s_1+2s_2+\cdots+2s_k-k}}{(1-q^{2s_1-1})^2(1-q^{2s_2-1})^2\cdots(1-q^{2s_k-1})^2}. \end{align*} These series give infinitely many formulas for two prominent generating functions. For each non-negative $k$, we prove that $A_k(q), A_{k+1}(q), A_{k+2}(q),\dots$ (resp. $C_k(q), C_{k+1}(q), C_{k+2}(q),\dots$) give the generating function for the 3-colored partition function $p_3(n)$ (resp. the overpartition function $\overline{p}(n)$).
- [217] arXiv:2402.12013 (replaced) [pdf, ps, other]
-
Title: Degenerate conformal blocks for the $W_3$ algebra at c=2 and Specht polynomialsComments: Correction of some typosSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th)
We study a homogeneous system of $d+8$ linear partial differential equations (PDEs) in $d$ variables arising from two-dimensional Conformal Field Theories (CFTs) with a $W_3$-symmetry algebra. In the CFT context, $d$ PDEs are third order and correspond to the null-state equations, whereas the remaining 8 PDEs (five being second order and three being first order) correspond to the $W_3$ global Ward identities. In the case of central charge $c=2$, we construct a subspace of the space of all solutions which grow no faster than a power law. We call this subspace the space of $W_3$ conformal blocks, and we provide a basis expressed in terms of Specht polynomials associated with column-strict, rectangular Young tableaux with three columns. The dimension of this space is a Kotska number and it coincides with CFT predictions, hence we conjecture that it exhausts the space of all solutions having a power law bound. Moreover, we prove that the space of $W_3$ conformal blocks is an irreducible representation of a certain diagram algebra defined from $\mathfrak{sl}_3$ webs that we call Kuperberg algebra. Finally, we formulate a precise conjecture relating the $W_3$ conformal blocks at $c=2$ to scaling limits of probabilities in the triple dimer model recently studied by Kenyon and Shi. We verify the conjecture for explicit examples up to $d=6$. For more general central charges, we expect that $W_3$ conformal blocks are related to scaling limits of probabilities in lattice models based on $\mathfrak{sl}_3$ webs.
- [218] arXiv:2402.17357 (replaced) [pdf, ps, html, other]
-
Title: A robust parameterized enhanced shift-splitting preconditioner for three-by-three block saddle point problemsSubjects: Numerical Analysis (math.NA)
This paper proposes a new parameterized enhanced shift-splitting (PESS) preconditioner to solve the three-by-three block saddle point problem (SPP). Additionally, we introduce a local PESS (LPESS) preconditioner by relaxing the PESS preconditioner. Necessary and sufficient criteria are established for the convergence of the proposed PESS iterative process for any random initial guess. Furthermore, we meticulously investigate the spectral bounds of the PESS and LPESS preconditioned matrices. Moreover, empirical investigations have been performed for the sensitivity analysis of the proposed PESS preconditioner, which unveils its robustness. Numerical experiments are carried out to demonstrate the enhanced efficiency and robustness of the proposed PESS and LPESS preconditioners compared to the existing block diagonal and shift-splitting preconditioners.
- [219] arXiv:2403.00498 (replaced) [pdf, ps, html, other]
-
Title: Spectral analysis of a class of linear hyperbolic partial differential equationsSubjects: Functional Analysis (math.FA)
A class of linear hyperbolic partial differential equations, sometimes called networks of waves, is considered. For this class of systems, necessary and sufficient conditions are formulated on the system matrices for the operator dynamics to be a Riesz-spectral operator. In that case, its spectrum is computed explicitly, together with the corresponding eigenfunctions, which constitutes the main result of our note. In particular, this enables to characterize easily many different concepts, such as stability. We apply our results to characterize exponential stability of a co-current heat exchanger.
- [220] arXiv:2403.03789 (replaced) [pdf, ps, html, other]
-
Title: Recovering orthogonality from quasi-nature of Spectral transformationsComments: 26 pages, 6 figuresSubjects: Classical Analysis and ODEs (math.CA)
In this contribution, quasi-orthogonality of polynomials generated by Geronimus and Uvarov transformations is analyzed. An attempt is made to discuss the recovery of the source orthogonal polynomial from the quasi-Geronimus and quasi-Uvarov polynomials of order one. Moreover, the discussion on the difference equation satisfied by quasi-Geronimus and quasi-Uvarov polynomials is presented. Furthermore, the orthogonality of quasi-Geronimus and quasi-Uvarov polynomials is achieved through the reduction of the degree of coefficients in the difference equation. During this procedure, alternative representations of the parameters responsible for achieving orthogonality are derived. One of these representations involves the Stieltjes transform of the measure. Finally, the recurrence coefficients ensuring the existence of a measure that makes the quasi-Geronimus Laguerre polynomial of order one an orthogonal polynomial are calculated.
- [221] arXiv:2403.06703 (replaced) [pdf, ps, html, other]
-
Title: A viscoelastic model for skin via homogenization theorySubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We carry out the homogenization of a fluid-structure interaction problem consisting in the periodic inclusions of a viscous fluid in an elastic body. We get a macrostructure model where the body behaves as a viscoelastic material with a long-range memory term. Our aim is not only to get this limit problem but also to study its main properties. Using the micro-structure variables it is simple to check that it satisfies an energy conservation law assuring in particular the existence and uniqueness of solution. The difficulty is to characterize these properties using only the macroscopic system. We prove that the nonlocal term is given through a convolution kernel which exponentially decreases to zero and satisfies some positive conditions which we write in terms of the Laplace transform. These conditions can be used to directly prove the existence and uniqueness of solution. The results apply to modeling the mechanical behavior of skin as an indicator of what kind of models we should use. In a naive interpretation the fluid inclusions represent the cells and the elastic medium the extracellular matrix.
- [222] arXiv:2403.16165 (replaced) [pdf, ps, html, other]
-
Title: Input-to-State Stability of Newton Methods for Generalized Equations in Nonlinear OptimizationComments: Submitted to 2024 Conference on Decision and ControlSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We show that Newton methods for generalized equations are input-to-state stable with respect to disturbances such as due to inexact computations. We then use this result to obtain convergence and robustness of a multistep Newton-type method for multivariate generalized equations. We demonstrate the usefulness of the results with other applications to nonlinear optimization. In particular, we provide a new proof for (robust) local convergence of the augmented Lagrangian method.
- [223] arXiv:2403.16249 (replaced) [pdf, ps, html, other]
-
Title: Three Examples of Quasisymmetric Compatible $\mathfrak{S}_n$-modulesComments: 21 pages, 3 figuresSubjects: Combinatorics (math.CO)
The Schur functions, a basis for the symmetric polynomials (Sym), encode the irreducible representations of the symmetric group, $\mathfrak{S}_n$, via the Frobenius characteristic map. In 1996, Krob and Thibon defined a quasisymmetric Frobenius map on the representations of $\mathcal{H}_n(0)$, mapping them to the quasisymmetric functions (QSym). Despite the obvious inclusion of Sym in QSym and the close relationship between $\mathfrak{S}_n$ and $\mathcal{H}_n(0)$, there is no known direct link between these two Frobenius characteristic maps and the related representations. We explore three specific situations in which a deformation of an $\mathfrak{S}_n$ action results in a valid $\mathcal{H}_n(0)$ action and gives a quasisymmetric Frobenius characteristic that is equal to the symmetric Frobenius characteristic. We introduce the concept of quasisymmetric compatibility, which formalizes a link between the two maps, and we show it applies to all $\mathfrak{S}_n$-modules.
- [224] arXiv:2403.18653 (replaced) [pdf, ps, html, other]
-
Title: Indecomposable involutive set-theoretical solutions to the Yang-Baxter equation of size $p^2$Comments: 20 Pages, Comments Welcome!Subjects: Quantum Algebra (math.QA); Group Theory (math.GR); Rings and Algebras (math.RA)
The quantum Yang-Baxter equation is a braiding condition on vector spaces which is of high relevance in several fields of mathematics, such as knot theory and quantum group theory. Their combinatorial counterpart are set-theoretic solutions to the Yang--Baxter equation, whose investigation is strongly driven by the study of algebraic objects called (skew) braces. In this article, we focus on indecomposable involutive non-degenerate set-theoretic solutions to the Yang-Baxter equation. More specifically, through a thorough analysis of their associated braces, we give a full classification of those which are of size $p^2$, for $p$ a prime.
- [225] arXiv:2404.04039 (replaced) [pdf, ps, html, other]
-
Title: Reconstructing a pseudotree from the distance matrix of its boundarySubjects: Combinatorics (math.CO)
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The distance matrix $\hat{D}_G$ of the boundary of a graph $G$ is the square matrix of order $\kappa$, being $\kappa$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$. Given a square matrix $\hat{B}$ of order $\kappa$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary. We show that if $G$ is either a tree or a unicyclic graph with girth $g\geq 5$ vertices, then $G$ is uniquely determined by the distance matrix $\hat{D}_{G}$ of the boundary of $G$ and we also conjecture that this statement holds for every connected graph. Moreover, two algorithms for reconstructing a tree and a unicyclic graph from the distance matrix of their boundaries are given, whose time complexities in the worst case are, respectively, $O(\kappa n)$ and $O(n^2)$.
- [226] arXiv:2404.10870 (replaced) [pdf, ps, html, other]
-
Title: Monotone parameters on Cayley graphs of finitely generated groupsComments: In v2, Thm 1.2 is strengthened to close the gap. Also, we revised attributions, added references, expanded final and historical remarks; 19 pagesSubjects: Group Theory (math.GR); Probability (math.PR)
We construct a new large family of finitely generated groups with continuum many values of the following monotone parameters: spectral radius, critical percolation, and asymptotic entropy. We also present several open problems on other monotone parameters.
- [227] arXiv:2404.12723 (replaced) [pdf, ps, html, other]
-
Title: Virasoro constraints for K3 surfaces and monodromy operatorsComments: 28 pages, added more explanatory text about the proofs in introduction, changed abstract, fixed reference issuesSubjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th)
The Virasoro constraints for moduli spaces of stable torsion free sheaves on a surface with only $(p,p)$-cohomology were recently proved by Bojko-Moreira-Lim. The rank 1 case, which is not restricted to surfaces with only $(p,p)$-cohomology, was established by Moreira. We prove Virasoro constraints for K3 surfaces using Markman monodromy operators, which allow us to reduce to the rank 1 case. We also prove new Virasoro constraints in rank 0. Finally, for K3 surfaces, we introduce new Virasoro operators in negative degree which, together with the previous Virasoro operators, give a representation of Virasoro algebra with central charge $24$.
- [228] arXiv:2404.15200 (replaced) [pdf, ps, html, other]
-
Title: An algebraic-geometric construction of "lump" solutions of the KP1 equationComments: 15 pages, 5 figures. Revised and reorganized version giving more details on background from the article by Agostini, Celik, and Little; a second construction method; and an additional exampleSubjects: Algebraic Geometry (math.AG); Analysis of PDEs (math.AP)
In this note, we show how certain everywhere-regular real rational function solutions of the KP1 equation ("multi-lumps") can be constructed via the polynomial analogs of theta functions from singular rational curves with cusps. We use two methods, one direct and the other producing a degeneration of the well-understood soliton solutions from nodal singular curves. The second approach can be seen as a variation on the long-wave limit technique of Ablowitz and Satsuma, as developed by Zhang, Yang, Li, Guo, and Stepanyants. We present an explicit example of a three-lump solution constructed via the polynomial analog of the theta function from a rational curve with two cuspidal singular points, each with semigroup $\langle 2,5\rangle$. (In the theory of curve singularities, these are known as $A_4$ double points.) We conjecture that these ideas will generalize to give similar $M$-lump solutions with $M = \frac{N(N+1)}{2}$ for $N > 2$ starting from rational curves with two singular points with semigroup $\langle 2,2N+1\rangle$ ($A_{2N}$ double points). We also show a five-lump solution obtained from a curve with two cusps with semigroup $\langle 3,4\rangle$. Similar solutions have been constructed by other methods previously; our contribution is to show how they arise from the algebraic-geometric setting by considering singular curves with several cusps, as in previous work of Agostini, Celik, and Little.
- [229] arXiv:2404.16703 (replaced) [pdf, ps, html, other]
-
Title: Conformal paraquaternionic contact curvature and the local flatness theoremComments: 29 pages, no figures, misprints and typos corrected. arXiv admin note: substantial text overlap with arXiv:0707.1289Subjects: Differential Geometry (math.DG)
A tensor invariant is defined on a paraquaternionic contact manifold in terms of the curvature and torsion of the canonical paraquaternionic connection involving derivatives up to third order of the contact form. This tensor, called paraquaternionic contact conformal curvature, is similar to the Weyl conformal curvature in Riemannian geometry, the Chern-Moser tensor in CR geometry, the para contact curvature in para CR geometry and to the quaternionic contact conformal curvature in quaternionic contact geometry.
It is shown that a paraquaternionic contact manifold is locally paraquaternionic contact conformal to the standard flat paraquaternionic contact structure on the paraquaternionic Heisenberg group, or equivalently, to the standard para 3-Sasakian structure on the paraquaternionic pseudo-sphere iff the paraquaternionic contact conformal curvature vanishes. - [230] arXiv:2404.18348 (replaced) [pdf, ps, other]
-
Title: Bilinear optimal control for the Stokes-Brinkman equations: a priori and a posteriori error analysesSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
We analyze a bilinear optimal control problem for the Stokes--Brinkman equations: the control variable enters the state equations as a coefficient. In two- and three-dimensional Lipschitz domains, we perform a complete continuous analysis that includes the existence of solutions and first- and second-order optimality conditions. We also develop two finite element methods that differ fundamentally in whether the admissible control set is discretized or not. For each of the proposed methods, we perform a convergence analysis and derive a priori error estimates; the latter under the assumption that the domain is convex. Finally, assuming that the domain is Lipschitz, we develop an a posteriori error estimator for each discretization scheme and obtain a global reliability bound.
- [231] arXiv:2405.02924 (replaced) [pdf, ps, html, other]
-
Title: Optimal Sampling for Uncertainty-of-Information Minimization in a Remote Monitoring SystemSubjects: Information Theory (cs.IT)
In this paper, we study a remote monitoring system where a receiver observes a remote binary Markov source and decides whether to sample and transmit the state through a randomly delayed channel. We adopt uncertainty of information (UoI), defined as the entropy conditional on past observations at the receiver, as a metric of value of information, in contrast to the traditional state-agnostic nonlinear age of information (AoI) penalty functions. To address the limitations of prior UoI research that assumes one-time-slot delays, we extend our analysis to scenarios with random delays. We model the problem as a partially observable Markov decision process (POMDP) problem and simplify it to a semi-Markov decision process (SMDP) by introducing the belief state. We propose two algorithms: A globally optimal bisection relative value iteration (bisec-RVI) algorithm and a computationally efficient sub-optimal index-based threshold algorithm to solve the long-term average UoI minimization problem. Numerical simulations demonstrate that our sampling policies surpass traditional zero wait and AoI-optimal policies, particularly under conditions of large delay, with the sub-optimal policy nearly matching the performance of the optimal one.
- [232] arXiv:2405.03179 (replaced) [pdf, ps, html, other]
-
Title: Solutions of the equation $a_n + (a_{n-1} + \cdots (a_2 + (a_1 + x^{r_1})^{r_2}\cdots )^{r_{n}} = b\, x$Daniel Panazzolo (Université de Haute-Alsace)Subjects: Dynamical Systems (math.DS)
We establish a novel upper bound for the real solutions of the equation specified in the title, employing a generalized derivation-division algorithm. As a consequence, we also derive a new set of Chebyshev functions adapted specifically for this problem.
- [233] arXiv:2405.03888 (replaced) [pdf, ps, html, other]
-
Title: Measurized Discounted Markov Decision ProcessesSubjects: Optimization and Control (math.OC)
In this paper, we build a framework that facilitates the analysis of discounted infinite horizon Markov Decision Processes (MDPs) by visualizing them as deterministic processes where the states are probability measures on the original state space and the actions are stochastic kernels on the original action space. We provide a simple general algebraic approach to lifting any MDP to this space of measures; we call this to measurize the original stochastic MDP. We show that measurized MDPs are in fact a generalization of stochastic MDPs, thus the measurized framework can be deployed without loss of fidelity. Lifting an MDP can be convenient because the measurized framework enables constraints and value function approximations that are not easily available from the standard MDP setting. For instance, one can add restrictions or build approximations based on moments, quantiles, risk measures, etc. Moreover, since the measurized counterpart to any MDP is deterministic, the measurized optimality equations trade the complexity of dealing with the expected value function that appears in the stochastic optimality equations with a more complex state space.
- [234] arXiv:2405.05388 (replaced) [pdf, ps, html, other]
-
Title: The Asymptotic Behavior of the Mayer Series Coefficients for a Dimer Gas on a Rectangular LatticeComments: four pagesSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech)
The first 20 Mayer series coefficients for a dimer gas on a rectangular lattice are now known in every dimension, by the work of Butera, Pernici, and the author, [1]. In the present work we initiate a numerical study of a very promising asymptotic form. In a restricted setup we study the following limited precise problem. We note eqs. (A1) and (A2).
\begin{equation} \label{A1} \tag{A1} b(n) \sim f(n)=\bigg((-1)^{n+1}\bigg)\left(\frac{1}{n}\right) \left(\dfrac{n!}{\left(\left(\frac{n}{2d}\right)!\right)^{2d}}\right)ft(n) \end{equation}
\begin{equation} \label{A2} \tag{A2} ft(n)=\hat{c} \prod\limits_{k}^{n}\left(c_0+\frac{c_1}{n} +\ldots+ \frac{c_r}{n^{r}}\right) \end{equation}
For $d \le 20$ and $n \le 20$ we define $\hat{b}(n)$ so that $\hat{b}(n)$ equals $b(n)$ if $n \leq N+1$, and equals $f(n)$ if $ n \geq N - r$. We pick $k=N- r$ and then $\hat{c}$, $c_{0}$. $c_{1}$,...,$c_{r}$ are uniquely determined. $N$ and $r$ must be chosen satisfying $N < 20$ and $N - r > 0$. In fact we work with $N = 10$ and $r \leq 6$ in this note and hope further exploration in many directions will follow. We have not explicitly indicated $d$ dependence of many of the variables. We will see that $\hat{b}(n)$ is a good approximation to $b(n)$, in a sense we will define. Theoretical analysis of these approximations, we envision, will be very difficult. We will indicate the form of theorems we should want to have proved. - [235] arXiv:2405.06488 (replaced) [pdf, ps, html, other]
-
Title: Can Neural Networks learn Finite Elements?Subjects: Numerical Analysis (math.NA)
The aim of this note is to construct a neural network for which the linear finite element approximation of a simple one dimensional boundary value problem is a minimum of the cost function to find out if the neural network is able to reproduce the finite element approximation. The deepest goal is to shed some light on the problems one encounters when trying to use neural networks to approximate partial differential equations
- [236] arXiv:2405.07291 (replaced) [pdf, ps, html, other]
-
Title: Robust Beamforming with Gradient-based Liquid Neural NetworkXinquan Wang, Fenghao Zhu, Chongwen Huang, Ahmed Alhammadi, Faouzi Bader, Zhaoyang Zhang, Chau Yuen, Merouane DebbahSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Millimeter-wave (mmWave) multiple-input multiple-output (MIMO) communication with the advanced beamforming technologies is a key enabler to meet the growing demands of future mobile communication. However, the dynamic nature of cellular channels in large-scale urban mmWave MIMO communication scenarios brings substantial challenges, particularly in terms of complexity and robustness. To address these issues, we propose a robust gradient-based liquid neural network (GLNN) framework that utilizes ordinary differential equation-based liquid neurons to solve the beamforming problem. Specifically, our proposed GLNN framework takes gradients of the optimization objective function as inputs to extract the high-order channel feature information, and then introduces a residual connection to mitigate the training burden. Furthermore, we use the manifold learning technique to compress the search space of the beamforming problem. These designs enable the GLNN to effectively maintain low complexity while ensuring strong robustness to noisy and highly dynamic channels. Extensive simulation results demonstrate that the GLNN can achieve 4.15% higher spectral efficiency than that of typical iterative algorithms, and reduce the time consumption to only 1.61% that of conventional methods.
- [237] arXiv:2405.07737 (replaced) [pdf, ps, html, other]
-
Title: Symmetries and periodic orbits for the $n$-body problem: about the computational approachSubjects: Classical Analysis and ODEs (math.CA)
The main problem is to understand and to find periodic symmetric orbits in the $n$-body problem, in the sense of finding methods to prove or compute their existence, and more importantly to describe their qualitative and quantitative properties. In order to do so, and in order to classify such orbits and their symmetries, computers have been extensively used in many ways since decades. We will focus on some very special symmetric orbits, which occur as symmetric critical points (local minimizers) of the gravitational Lagrangean action functional. The exploration of the loop space of the $n$-point configuration space, raised some computational and mathematical questions that couldd be interesting. The aim of the article is to explain how such questions and issues were % considered in the development of a software package that combined symbolic algebra, numerical and scientific libraries, human interaction and visualization.
- [238] arXiv:2405.08781 (replaced) [pdf, ps, html, other]
-
Title: Total coloring of graphs via efficient dominating setsComments: 7 pages, 2 figuresSubjects: Combinatorics (math.CO)
A totally efficient coloring of a regular graph with color set formed by one unit more than its degree is a total coloring in which each vertex color class is an efficient dominating set, that is a perfect code. We find that the 3-cube graph has a totally efficient coloring and conjecture that this is the only existing case of a totally effective coloring. We also deal with a related problem exemplified by star transposition graphs and related graphs, leading to edge-girth colorings on their prism graphs.
- [239] arXiv:2405.09210 (replaced) [pdf, ps, html, other]
-
Title: A refined Weyl character formula for comodules on $\operatorname{GL}(2,A)$Subjects: Algebraic Geometry (math.AG); Group Theory (math.GR); Representation Theory (math.RT)
Let $A$ be any commutative unital ring and let $\operatorname{GL}(2,A)$ be the general linear group scheme on $A$ of rank $2$. We study the representation theory of $\operatorname{GL}(2,A)$ and the symmetric powers $\operatorname{Sym}^d(V)$, where $(V, \Delta)$ is the standard right comodule on $\operatorname{GL}(2,A)$. We prove a refined Weyl character formula for $\operatorname{Sym}^d(V)$. There is for any integer $d \geq 1$ a (canonical) refined weight space decomposition $\operatorname{Sym}^d(V) \cong \oplus_i \operatorname{Sym}^d(V)^i$ where each direct summand $\operatorname{Sym}^d(V)^i$ is a comodule on $N \subseteq \operatorname{GL}(2,A)$. Here $N$ is the schematic normalizer of the diagonal torus $T \subseteq \operatorname{GL}(2,A)$. We prove a character formula for the direct summands of $\operatorname{Sym}^d(V)$ for any integer $d \geq 1$. This refined Weyl character formula implies the classical Weyl character formula. As a Corollary we get a refined Weyl character formula for the pull back $\operatorname{Sym}^d(V \otimes K)$ as a comodule on $\operatorname{GL}(2,K)$ where $K$ is any field. We also calculate explicit examples involving the symmetric powers, symmetric tensors and their duals. The refined weight space decomposition exists in general for group schemes such as $\operatorname{GL}(n,A)$ and $\operatorname{SL}(n,A)$. The methods introduced in the paper may have applications to the study of finite rank torsion free comodules on $\operatorname{SL}(n,Z)$ and $\operatorname{GL}(n,Z)$. There is no "highest weight theory" or "complete reducibility property" for such comodules, and we want to give a definition of the notion "good filtration". The study may have applications to the study of groups $G$ such as $\operatorname{SL}(n,k)$ and $\operatorname{GL}(n,k)$ and quotients $G/H$ where $k$ is an arbitrary field and $H \subseteq G$ is a closed subgroup.
- [240] arXiv:2405.09214 (replaced) [pdf, ps, other]
-
Title: Hypergraph C*-algebrasComments: 30 pages + appendix; v2: updates in the referencesSubjects: Operator Algebras (math.OA)
We give a definition of hypergraph C*-algebras. These generalize the well-known graph C*-algebras as well as ultragraph C*-algebras. In contrast to those objects, hypergraph C*-algebras are not always nuclear. We provide a number of non-nuclear examples, we prove a Gauge-Invariant Uniqueness Theorem for a subclass of hypergraph C*-algebras and we study moves on hypergraphs which generalize the moves in the theory of graph C*-algebras.
- [241] arXiv:2405.09252 (replaced) [pdf, ps, html, other]
-
Title: An Exponential Diophantine equation $x^2+3^{\alpha} 113^{\beta}=y^{\mathfrak{n}}$Subjects: Number Theory (math.NT)
The objective of the paper is to determine the complete solutions for the Diophantine equation $x^2 + 3^{\alpha}113^{\beta} = y^{\mathfrak{n}}$ in positive integers $x$ and $y$ (where $x, y \geq 1$), non-negative exponents $\alpha$ and $\beta$, and an integer $\mathfrak{n}\geq 3$, subject to the condition $\text{gcd}(x, y) = 1$.
- [242] arXiv:2405.09268 (replaced) [pdf, ps, html, other]
-
Title: On the orbital stability of solitary waves for the fourth order nonlinear Schr\"odinger equationComments: 21 pages and 20 figuresSubjects: Analysis of PDEs (math.AP)
In this paper, we present new results regarding the orbital stability of solitary standing waves for the general fourth-order Schrödinger equation with mixed dispersion. The existence of solitary waves can be determined both as minimizers of a constrained complex functional and by using a numerical approach. In addition, for specific values of the frequency associated with the standing wave, one obtains explicit solutions with a hyperbolic secant profile. Despite these explicit solutions being minimizers of the constrained functional, they cannot be seen as a smooth curve of solitary waves, and this fact prevents their determination of stability using classical approaches in the current literature. To overcome this difficulty, we employ a numerical approach to construct a smooth curve of solitary waves. The existence of a smooth curve is useful for showing the existence of a threshold power $\alpha_0\approx 4.8$ of the nonlinear term such that if $\alpha\in (0,\alpha_0),$ the explicit solitary wave is stable, and if $\alpha>\alpha_0$, the wave is unstable. An important feature of our work, caused by the presence of the mixed dispersion term, concerns the fact that the threshold value $\alpha_0 \approx 4.8$ is not the same as that established for proving the existence of global solutions in the energy space, as is well known for the classical nonlinear Schrödinger equation.
- [243] arXiv:2405.09604 (replaced) [pdf, ps, html, other]
-
Title: On the existence of geodesic vector fields on closed surfacesComments: 4 pages, 1 figure. Certain misprints correctedSubjects: Differential Geometry (math.DG)
We construct an example of a Riemannian metric on the 2-torus such that its universal cover does not admit global Riemann normal coordinates.
- [244] arXiv:2405.09726 (replaced) [pdf, ps, other]
-
Title: Boundary layer expansions of the steady MHD equations in a bounded domainSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate the validity of boundary layer expansions for the MHD system in a rectangle. We describe the solution up to the third order when the tangential magnetic field is much smaller or much larger than the tangential velocity field, thereby extending a previous work of S.J. Ding, Z.L. Lin and F. Xie.
- [245] arXiv:2405.09736 (replaced) [pdf, ps, html, other]
-
Title: On the conjugacy separability of ordinary and generalized Baumslag-Solitar groupsComments: 13 pages; the English version of the previously published Russian originalSubjects: Group Theory (math.GR)
Let $\mathcal{C}$ be a class of groups. A group $X$ is said to be residually a $\mathcal{C}$-group (conjugacy $\mathcal{C}$-separable) if, for any elements $x,y \in X$ that are not equal (not conjugate in $X$), there exists a homomorphism $\sigma$ of $X$ onto a group from $\mathcal{C}$ such that the elements $x\sigma$ and $y\sigma$ are still not equal (respectively, not conjugate in $X\sigma$). A generalized Baumslag-Solitar group or GBS-group is the fundamental group of a finite connected graph of groups whose all vertex and edge groups are infinite cyclic. An ordinary Baumslag-Solitar group is the GBS-group that corresponds to a graph containing only one vertex and one loop. Suppose that the class $\mathcal{C}$ consists of periodic groups and is closed under taking subgroups and unrestricted wreath products. We prove that a non-solvable GBS-group is conjugacy $\mathcal{C}$-separable if and only if it is residually a $\mathcal{C}$-group. We also find a criterion for a solvable GBS-group to be conjugacy $\mathcal{C}$-separable. As a corollary, we prove that an arbitrary GBS-group is conjugacy (finite) separable if and only if it is residually finite.
- [246] arXiv:2405.09982 (replaced) [pdf, ps, html, other]
-
Title: Dynamical behavior and optimal control of a stochastic SAIRS epidemic model with two saturated incidencesComments: 18 pages, 5 figuresSubjects: Probability (math.PR); Optimization and Control (math.OC); Physics and Society (physics.soc-ph)
Stochastic models are widely used to investigate the spread of epidemics in a complex environment. This paper extends a deterministic SAIRS epidemic model to a stochastic case with limited patient capacity and exposure. We first study the dynamical properties of the model under certain conditions, including persistence, extinction, and ergodic. Then, we introduce vaccination and isolation into the model as control variables. The optimal control strategies are obtained based on the Pontryagin minimum principle. Finally, numerical simulations are given to illustrate our theoretical results.
- [247] arXiv:2112.03242 (replaced) [pdf, ps, html, other]
-
Title: Aspect Ratio Universal Rectangular LayoutsComments: 25 pages, 12 figures, full version of a 12-page extended abstract to appear in WALCOM 2022Subjects: Computational Geometry (cs.CG); Combinatorics (math.CO)
A \emph{generic rectangular layout} (for short, \emph{layout}) is a subdivision of an axis-aligned rectangle into axis-aligned rectangles, no four of which have a point in common. Such layouts are used in data visualization and in cartography. The contacts between the rectangles represent semantic or geographic relations. A layout is weakly (strongly) \emph{aspect ratio universal} if any assignment of aspect ratios to rectangles can be realized by a weakly (strongly) equivalent layout. We give combinatorial characterizations for weakly and strongly aspect ratio universal layouts. Furthermore, we describe a quadratic-time algorithm that decides whether a given graph is the dual graph of a strongly aspect ratio universal layout, and finds such a layout if one exists.
- [248] arXiv:2210.07376 (replaced) [pdf, ps, other]
-
Title: ScionFL: Efficient and Robust Secure Quantized AggregationYaniv Ben-Itzhak, Helen Möllering, Benny Pinkas, Thomas Schneider, Ajith Suresh, Oleksandr Tkachenko, Shay Vargaftik, Christian Weinert, Hossein Yalame, Avishay YanaiComments: Published in 2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT); Machine Learning (cs.LG)
Secure aggregation is commonly used in federated learning (FL) to alleviate privacy concerns related to the central aggregator seeing all parameter updates in the clear. Unfortunately, most existing secure aggregation schemes ignore two critical orthogonal research directions that aim to (i) significantly reduce client-server communication and (ii) mitigate the impact of malicious clients. However, both of these additional properties are essential to facilitate cross-device FL with thousands or even millions of (mobile) participants.
In this paper, we unite both research directions by introducing ScionFL, the first secure aggregation framework for FL that operates efficiently on quantized inputs and simultaneously provides robustness against malicious clients. Our framework leverages (novel) multi-party computation (MPC) techniques and supports multiple linear (1-bit) quantization schemes, including ones that utilize the randomized Hadamard transform and Kashin's representation.
Our theoretical results are supported by extensive evaluations. We show that with no overhead for clients and moderate overhead for the server compared to transferring and processing quantized updates in plaintext, we obtain comparable accuracy for standard FL benchmarks. Moreover, we demonstrate the robustness of our framework against state-of-the-art poisoning attacks. - [249] arXiv:2304.12751 (replaced) [pdf, ps, other]
-
Title: Node Feature Augmentation Vitaminizes Network AlignmentComments: 18 pages, 12 figures, 5 tables; its conference version was presented at the ACM International Conference on Information and Knowledge Management (CIKM 2022)Subjects: Social and Information Networks (cs.SI); Information Theory (cs.IT); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Networking and Internet Architecture (cs.NI)
Network alignment (NA) is the task of discovering node correspondences across multiple networks. Although NA methods have achieved remarkable success in a myriad of scenarios, their effectiveness is not without additional information such as prior anchor links and/or node features, which may not always be available due to privacy concerns or access restrictions. To tackle this challenge, we propose Grad-Align+, a novel NA method built upon a recent state-of-the-art NA method, the so-called Grad-Align, that gradually discovers a part of node pairs until all node pairs are found. In designing Grad-Align+, we account for how to augment node features in the sense of performing the NA task and how to design our NA method by maximally exploiting the augmented node features. To achieve this goal, Grad-Align+ consists of three key components: 1) centrality-based node feature augmentation (CNFA), 2) graph neural network (GNN)-aided embedding similarity calculation alongside the augmented node features, and 3) gradual NA with similarity calculation using aligned cross-network neighbor-pairs (ACNs). Through comprehensive experiments, we demonstrate that Grad-Align+ exhibits (a) the superiority over benchmark NA methods, (b) empirical validations as well as our theoretical findings to see the effectiveness of CNFA, (c) the influence of each component, (d) the robustness to network noises, and (e) the computational efficiency.
- [250] arXiv:2306.01104 (replaced) [pdf, ps, html, other]
-
Title: Large N instantons from topological stringsComments: 31 pages, added comments about the Fermi gasSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
The $1/N$ expansion of matrix models is asymptotic, and it requires non-perturbative corrections due to large $N$ instantons. Explicit expressions for large $N$ instanton amplitudes are known in the case of Hermitian matrix models with one cut, but not in the multi-cut case. We show that the recent exact results on topological string instanton amplitudes provide the non-perturbative contributions of large $N$ instantons in generic multi-cut, Hermitian matrix models. We present a detailed test in the case of the cubic matrix model by considering the asymptotics of its $1/N$ expansion, which we obtain at relatively high genus for a generic two-cut background. These results can be extended to certain non-conventional matrix models which admit a topological string theory description. As an application, we determine the large $N$ instanton corrections for the free energy of ABJM theory on the three-sphere, which correspond to D-brane instanton corrections in superstring theory. We also illustrate the applications of topological string instantons in a more mathematical setting by considering orbifold Gromov-Witten invariants. By focusing on the example of $\mathbb{C}^3/\mathbb{Z}_3$, we show that they grow doubly-factorially with the genus and we obtain and test explicit asymptotic formulae for them.
- [251] arXiv:2309.05075 (replaced) [pdf, ps, html, other]
-
Title: Secure Set-Based State Estimation for Linear Systems under Adversarial Attacks on SensorsSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Set-based state estimation plays a vital role in the safety verification of dynamical systems, which becomes significantly challenging when the system's sensors are susceptible to cyber-attacks. Existing methods often impose limitations on the attacker's capabilities, restricting the number of attacked sensors to be strictly less than half of the total number of sensors. This paper proposes a Secure Set-Based State Estimation (S3E) algorithm that addresses this limitation. The S3E algorithm guarantees that the true system state is contained within the estimated set, provided the initialization set encompasses the true initial state and the system is redundantly observable from the set of uncompromised sensors. The algorithm gives the estimated set as a collection of constrained zonotopes, which can be employed as robust certificates for verifying whether the system adheres to safety constraints. Furthermore, we demonstrate that the estimated set remains unaffected by attack signals of sufficiently large and also establish sufficient conditions for attack detection, identification, and filtering. This compels the attacker to inject only stealthy signals of small magnitude to evade detection, thus preserving the accuracy of the estimated set. When a few number of sensors (less than half) can be compromised, we prove that the estimated set remains bounded by a contracting set that converges to a ball whose radius is solely determined by the noise magnitude and is independent of the attack signals. To address the computational complexity of the algorithm, we offer several strategies for complexity-performance trade-offs. The efficacy of the proposed algorithm is illustrated through its application to a three-story building model.
- [252] arXiv:2310.09319 (replaced) [pdf, ps, html, other]
-
Title: Topological Data Analysis in smart manufacturingComments: Preprint still under reviewSubjects: Machine Learning (cs.LG); Algebraic Topology (math.AT); Applications (stat.AP)
Topological Data Analysis (TDA) is a discipline that applies algebraic topology techniques to analyze complex, multi-dimensional data. Although it is a relatively new field, TDA has been widely and successfully applied across various domains, such as medicine, materials science, and biology. This survey provides an overview of the state of the art of TDA within a dynamic and promising application area: industrial manufacturing and production, particularly within the Industry 4.0 context. We have conducted a rigorous and reproducible literature search focusing on TDA applications in industrial production and manufacturing settings. The identified works are categorized based on their application areas within the manufacturing process and the types of input data. We highlight the principal advantages of TDA tools in this context, address the challenges encountered and the future potential of the field. Furthermore, we identify TDA methods that are currently underexploited in specific industrial areas and discuss how their application could be beneficial, with the aim of stimulating further research in this field. This work seeks to bridge the theoretical advancements in TDA with the practical needs of industrial production. Our goal is to serve as a guide for practitioners and researchers applying TDA in industrial production and manufacturing systems. We advocate for the untapped potential of TDA in this domain and encourage continued exploration and research.
- [253] arXiv:2310.13797 (replaced) [pdf, ps, html, other]
-
Title: The Measure Preserving Martingale Sinkhorn AlgorithmSubjects: Computational Finance (q-fin.CP); Probability (math.PR)
We contribute to the recent studies of the so-called Bass martingale. Backhoff-Veraguas et al. (2020) showed it is the solution to the martingale Benamou-Brenier (mBB) problem, i.e., among all martingales with prescribed initial and terminal distributions it is the one closest to the Brownian motion. We link it with semimartingale optimal transport and deduce an alternative way to derive the dual formulation recently obtained in Backhoff-Veraguas et al. (2023). We then consider computational methods to compute the Bass martingale. The dual formulation of the transport problem leads to an iterative scheme that mirrors to the celebrated Sinkhorn algorithm for entropic optimal transport. We call it the measure preserving martingale Sinkhorn (MPMS) algorithm. We prove that in any dimension, each step of the algorithm improves the value of the dual problem, which implies its convergence. Our MPMS algorithm is equivalent to the fixed-point method of Conze and Henry-Labordere (2021), studied in Acciaio et al. (2023), and performs very well on a range of examples, including real market data.
- [254] arXiv:2310.17582 (replaced) [pdf, ps, html, other]
-
Title: Convergence of flow-based generative models via proximal gradient descent in Wasserstein spaceSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC); Statistics Theory (math.ST)
Flow-based generative models enjoy certain advantages in computing the data generation and the likelihood, and have recently shown competitive empirical performance. Compared to the accumulating theoretical studies on related score-based diffusion models, analysis of flow-based models, which are deterministic in both forward (data-to-noise) and reverse (noise-to-data) directions, remain sparse. In this paper, we provide a theoretical guarantee of generating data distribution by a progressive flow model, the so-called JKO flow model, which implements the Jordan-Kinderleherer-Otto (JKO) scheme in a normalizing flow network. Leveraging the exponential convergence of the proximal gradient descent (GD) in Wasserstein space, we prove the Kullback-Leibler (KL) guarantee of data generation by a JKO flow model to be $O(\varepsilon^2)$ when using $N \lesssim \log (1/\varepsilon)$ many JKO steps ($N$ Residual Blocks in the flow) where $\varepsilon $ is the error in the per-step first-order condition. The assumption on data density is merely a finite second moment, and the theory extends to data distributions without density and when there are inversion errors in the reverse process where we obtain KL-$W_2$ mixed error guarantees. The non-asymptotic convergence rate of the JKO-type $W_2$-proximal GD is proved for a general class of convex objective functionals that includes the KL divergence as a special case, which can be of independent interest. The analysis framework can extend to other first-order Wasserstein optimization schemes applied to flow-based generative models.
- [255] arXiv:2311.03682 (replaced) [pdf, ps, html, other]
-
Title: Incentive Design for Eco-driving in Urban Transportation NetworksSubjects: Systems and Control (eess.SY); Social and Information Networks (cs.SI); Optimization and Control (math.OC)
Eco-driving emerges as a cost-effective and efficient strategy to mitigate greenhouse gas emissions in urban transportation networks. Acknowledging the persuasive influence of incentives in shaping driver behavior, this paper presents the `eco-planner,' a digital platform devised to promote eco-driving practices in urban transportation. At the outset of their trips, users provide the platform with their trip details and travel time preferences, enabling the eco-planner to formulate personalized eco-driving recommendations and corresponding incentives, while adhering to its budgetary constraints. Upon trip completion, incentives are transferred to users who comply with the recommendations and effectively reduce their emissions. By comparing our proposed incentive mechanism with a baseline scheme that offers uniform incentives to all users, we demonstrate that our approach achieves superior emission reductions and increased user compliance with a smaller budget.
- [256] arXiv:2311.14363 (replaced) [pdf, ps, html, other]
-
Title: High order unfitted finite element discretizations for explicit boundary representationsSubjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
When modeling scientific and industrial problems, geometries are typically modeled by explicit boundary representations obtained from computer-aided design software. Unfitted (also known as embedded or immersed) finite element methods offer a significant advantage in dealing with complex geometries, eliminating the need for generating unstructured body-fitted meshes. However, current unfitted finite elements on nonlinear geometries are restricted to implicit (possibly high-order) level set geometries. In this work, we introduce a novel automatic computational pipeline to approximate solutions of partial differential equations on domains defined by explicit nonlinear boundary representations. For the geometrical discretization, we propose a novel algorithm to generate quadratures for the bulk and surface integration on nonlinear polytopes required to compute all the terms in unfitted finite element methods. The algorithm relies on a nonlinear triangulation of the boundary, a kd-tree refinement of the surface cells that simplify the nonlinear intersections of surface and background cells to simple cases that are diffeomorphically equivalent to linear intersections, robust polynomial root-finding algorithms and surface parameterization techniques. We prove the correctness of the proposed algorithm. We have successfully applied this algorithm to simulate partial differential equations with unfitted finite elements on nonlinear domains described by computer-aided design models, demonstrating the robustness of the geometric algorithm and showing high-order accuracy of the overall method.
- [257] arXiv:2311.14495 (replaced) [pdf, ps, html, other]
-
Title: StableSSM: Alleviating the Curse of Memory in State-space Models through Stable ReparameterizationComments: 27 pages, 7 figures, ICML 2024Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Dynamical Systems (math.DS)
In this paper, we investigate the long-term memory learning capabilities of state-space models (SSMs) from the perspective of parameterization. We prove that state-space models without any reparameterization exhibit a memory limitation similar to that of traditional RNNs: the target relationships that can be stably approximated by state-space models must have an exponential decaying memory. Our analysis identifies this "curse of memory" as a result of the recurrent weights converging to a stability boundary, suggesting that a reparameterization technique can be effective. To this end, we introduce a class of reparameterization techniques for SSMs that effectively lift its memory limitations. Besides improving approximation capabilities, we further illustrate that a principled choice of reparameterization scheme can also enhance optimization stability. We validate our findings using synthetic datasets, language models and image classifications.
- [258] arXiv:2312.10563 (replaced) [pdf, ps, html, other]
-
Title: Mediation Analysis with Mendelian Randomization and Efficient Multiple GWAS IntegrationSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Mediation analysis is a powerful tool for studying causal pathways between exposure, mediator, and outcome variables of interest. While classical mediation analysis using observational data often requires strong and sometimes unrealistic assumptions, such as unconfoundedness, Mendelian Randomization (MR) avoids unmeasured confounding bias by employing genetic variations as instrumental variables. We develop a novel MR framework for mediation analysis with genome-wide associate study (GWAS) summary data, and provide solid statistical guarantees. Our framework employs carefully crafted estimating equations, allowing for different sets of genetic variations to instrument the exposure and the mediator, to efficiently integrate information stored in three independent GWAS. As part of this endeavor, we demonstrate that in mediation analysis, the challenge raised by instrument selection goes beyond the well-known winner's curse issue, and therefore, addressing it requires special treatment. We then develop bias correction techniques to address the instrument selection issue and commonly encountered measurement error bias issue. Collectively, through our theoretical investigations, we show that our framework provides valid statistical inference for both direct and mediation effects with enhanced statistical efficiency compared to existing methods. We further illustrate the finite-sample performance of our approach through simulation experiments and a case study.
- [259] arXiv:2312.12113 (replaced) [pdf, ps, html, other]
-
Title: Variational Mode Decomposition-Based Nonstationary Coherent Structure Analysis for Spatiotemporal DataJournal-ref: Aerospace Science and Technology, Volume 149, June 2024, 109162Subjects: Fluid Dynamics (physics.flu-dyn); Machine Learning (cs.LG); Dynamical Systems (math.DS)
The conventional modal analysis techniques face difficulties in handling nonstationary phenomena, such as transient, nonperiodic, or intermittent phenomena. This paper presents a variational mode decomposition--based nonstationary coherent structure (VMD-NCS) analysis that enables the extraction and analysis of coherent structures in the case of nonstationary phenomena from high-dimensional spatiotemporal data. The VMD-NCS analysis decomposes the input spatiotemporal data into intrinsic coherent structures (ICSs) that represent nonstationary spatiotemporal patterns and exhibit coherence in both spatial and temporal directions. Unlike many conventional modal analysis techniques, the proposed method accounts for the temporal changes in the spatial distribution with time. Tthe VMD-NCS analysis was validated based on the transient growth phenomena in the flow around a cylinder. It was confirmed that the temporal changes in the spatial distribution, depicting the transient growth of vortex shedding where fluctuations arising in the far-wake region gradually approach the near-wake region, were represented as a single ICS. Furthermore, in the analysis of the quasi-periodic flow field around a pitching airfoil, the temporal changes in the spatial distribution and the amplitude of vortex shedding behind the airfoil, influenced by the pitching motion of the airfoil, were captured as a single ICS. The impact of two parameters that control the number of ICSs ($K$) and the penalty factor related to the temporal coherence ($\alpha$), was investigated. The results revealed that $K$ has a significant impact on the VMD-NCS analysis results. In the case of a relatively high $K$, the VMD-NCS analysis tends to extract more periodic spatiotemporal patterns resembling the results of dynamic mode decomposition. In the case of a small $K$, it tends to extract more nonstationary spatiotemporal patterns.
- [260] arXiv:2401.06185 (replaced) [pdf, ps, other]
-
Title: Ozawa's Intersubjectivity Theorem as justification of RQM's postulate on internally consistent descriptionsComments: discussion on interrelation of the conditions of "probability reproducibility" and "measurement in the same basis", stimulated by prof. OzawaSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
The Ozawa's Intersubjectivity Theorem (OIT) proved within quantum measurement theory supports the new postulate of relational quantum mechanics (RQM), the postulate on internally consistent descriptions. We remark that this postulate was proposed only recently to resolve the problem of intersubjectivity of information in RQM. In contrast to RQM for which OIT is a supporting theoretical statement, QBism is challenged by OIT.
- [261] arXiv:2401.07780 (replaced) [pdf, ps, other]
-
Title: Learning Soft Constrained MPC Value Functions: Efficient MPC Design and Implementation providing Stability and Safety GuaranteesSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Model Predictive Control (MPC) can be applied to safety-critical control problems, providing closed-loop safety and performance guarantees. Implementation of MPC controllers requires solving an optimization problem at every sampling instant, which is challenging to execute on embedded hardware. To address this challenge, we propose a framework that combines a tightened soft constrained MPC formulation with supervised learning to approximate the MPC value function. This combination enables us to obtain a corresponding optimal control law, which can be implemented efficiently on embedded platforms. The framework ensures stability and constraint satisfaction for various nonlinear systems. While the design effort is similar to that of nominal MPC, the proposed formulation provides input-to-state stability (ISS) with respect to the approximation error of the value function. Furthermore, we prove that the value function corresponding to the soft constrained MPC problem is Lipschitz continuous for Lipschitz continuous systems, even if the optimal control law may be discontinuous. This serves two purposes: First, it allows to relate approximation errors to a sufficiently large constraint tightening to obtain constraint satisfaction guarantees. Second, it paves the way for an efficient supervised learning procedure to obtain a continuous value function approximation. We demonstrate the effectiveness of the method using a nonlinear numerical example.
- [262] arXiv:2401.09091 (replaced) [pdf, ps, other]
-
Title: Noise-Tolerant Quantum Algorithm for Ground State Energy EstimationSubjects: Quantum Physics (quant-ph); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
One of the most promising applications of quantum computers is to simulate physical systems, leveraging their inherent quantum behavior to achieve an advantage over classical computation. In this work, we present a noise-tolerant Hamiltonian simulation algorithm for ground-state energy estimation. Our method surmounts stochastic sampling limitations to estimate expectation values. It is based on an adaptive sequence of fuzzy bisection searches to estimate the ground state energy digit by digit, with a trade-off between increasing the simulation time and decreasing the absolute error rate. It builds upon the Quantum Eigenvalue Transformation of Unitary Matrices (QETU) algorithm, and it delivers good approximations in simulations with local, two-qubit gate depolarizing probability up to 1e-3, specifically for Hamiltonians that anti-commute with a Pauli string. To demonstrate the key results in this work, we ran simulations with different system Hamiltonians, system sizes, and time evolution encoding methods on classical computers using Qiskit. We compare the performance with other existing methods and show that we can consistently achieve two to three orders of magnitude improvement in the absolute error rate.
- [263] arXiv:2401.14341 (replaced) [pdf, ps, html, other]
-
Title: Efficient Construction of Long Orientable SequencesSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Combinatorics (math.CO)
An orientable sequence of order $n$ is a cyclic binary sequence such that each length-$n$ substring appears at most once \emph{in either direction}. Maximal length orientable sequences are known only for $n\leq 7$, and a trivial upper bound on their length is $2^{n-1} - 2^{\lfloor(n-1)/2\rfloor}$. This paper presents the first efficient algorithm to construct orientable sequences with asymptotically optimal length; more specifically, our algorithm constructs orientable sequences via cycle-joining and a successor-rule approach requiring $O(n)$ time per symbol and $O(n)$ space. This answers a longstanding open question from Dai, Martin, Robshaw, Wild [Cryptography and Coding III (1993)]. Our sequences are applied to find new longest-known orientable sequences for $n\leq 20$.
- [264] arXiv:2402.03145 (replaced) [pdf, ps, other]
-
Title: SafEDMD: A certified learning architecture tailored to data-driven control of nonlinear dynamical systemsSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
The Koopman operator serves as the theoretical backbone for machine learning of dynamical control systems, where the operator is heuristically approximated by extended dynamic mode decomposition (EDMD). In this paper, we propose Stability- and certificate-oriented EDMD (SafEDMD): a novel EDMD-based learning architecture which comes along with rigorous certificates, resulting in a reliable surrogate model generated in a data-driven fashion. To ensure the trustworthiness of SafEDMD, we derive proportional error bounds, which vanish at the origin and are tailored to control tasks, leading to certified controller design based on semi-definite programming. We illustrate the developed method by means of several benchmark examples and highlight the advantages over state-of-the-art methods.
- [265] arXiv:2402.07998 (replaced) [pdf, ps, html, other]
-
Title: On the linear stability of nonrelativistic selfinteracting boson starsComments: 15+1 pages and 10 figures. Minor changes were made. It was accepted in journal Physical Review DSubjects: General Relativity and Quantum Cosmology (gr-qc); Astrophysics of Galaxies (astro-ph.GA); Solar and Stellar Astrophysics (astro-ph.SR); Mathematical Physics (math-ph)
In this paper we study the linear stability of selfinteracting boson stars in the nonrelativistic limit of the Einstein-Klein-Gordon theory. For this purpose, based on a combination of analytic and numerical methods, we determine the behavior of general linear perturbations around the stationary and spherically symmetric solutions of the Gross-Pitaevskii-Poisson system. In particular, we conclude that ground state configurations are linearly stable if the selfinteraction is repulsive, whereas there exist a state of maximum mass that divides the stable and the unstable branches in case the selfinteraction is attractive. Regarding the excited states, they are in general unstable under generic perturbations, although we identify a stability band in the first excited states of the repulsive theory. This result is independent of the mass of the scalar field and the details of the selfinteraction potential, and it is in contrast to the situation of vanishing selfinteraction, in which excited states are always unstable.
- [266] arXiv:2403.07782 (replaced) [pdf, ps, other]
-
Title: Minimal Elements of the Causal Boundary with Applications to Spacetime SplittingComments: 13 pages, 2 figures. Changes in v2: Added a new result (thm. 1.6), mild restructuring of the previous contentSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG)
In 1972, Geroch, Kronheimer, and Penrose introduced what is now called the causal boundary of a spacetime. This boundary is constructed out of Terminal Indecomposable Past sets (TIPs) and their future analogues (TIFs), which are the pasts and futures of inextendible causal curves. The causal boundary is a key tool to understand the global structure of a spacetime. In this paper, we show that in a spacetime with compact Cauchy surfaces, there is always at least one minimal TIP and one minimal TIF, minimal meaning that it does not contain another TIP (resp.\ TIF) as a proper subset. We then study the implications of the minimal TIP and TIF meeting each other. This condition generalizes some of the "no observer horizon" conditions that have been used in the literature to obtain partial solutions of the Bartnik splitting conjecture. We also show that such a no observer horizons condition is satisfied when the spacetime has a (possibly discrete) timelike conformal symmetry, generalizing a result of Costa e Silva, Flores, and Herrera about conformal Killing vector fields.
- [267] arXiv:2405.07880 (replaced) [pdf, ps, html, other]
-
Title: On Hagedorn wavepackets associated with different GaussiansComments: 26 pages, 2 figures; minor textual revisions, correction of two entries in Table 2Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Chemical Physics (physics.chem-ph)
Hagedorn functions are carefully constructed generalizations of Hermite functions to the setting of many-dimensional squeezed and coupled harmonic systems. Wavepackets formed by superpositions of Hagedorn functions have been successfully used to solve the time-dependent Schrödinger equation exactly in harmonic systems and variationally in anharmonic systems. For evaluating typical observables, such as position or kinetic energy, it is sufficient to consider orthonormal Hagedorn functions with a single Gaussian center. Here, we instead derive various relations between Hagedorn bases associated with different Gaussians, including their overlaps, which are necessary for evaluating quantities nonlocal in time, such as time correlation functions needed for computing spectra. First, we use the Bogoliubov transformation to obtain commutation relations between the ladder operators associated with different Gaussians. Then, instead of using numerical quadrature, we employ these commutation relations to derive exact recurrence relations for the overlap integrals between Hagedorn functions with different Gaussian centers. Finally, we present numerical experiments that demonstrate the accuracy and efficiency of our algebraic method as well as its suitability to treat problems in spectroscopy and chemical dynamics.
- [268] arXiv:2405.08253 (replaced) [pdf, ps, html, other]
-
Title: Thompson Sampling for Infinite-Horizon Discounted Decision ProcessesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
We model a Markov decision process, parametrized by an unknown parameter, and study the asymptotic behavior of a sampling-based algorithm, called Thompson sampling. The standard definition of regret is not always suitable to evaluate a policy, especially when the underlying chain structure is general. We show that the standard (expected) regret can grow (super-)linearly and fails to capture the notion of learning in realistic settings with non-trivial state evolution. By decomposing the standard (expected) regret, we develop a new metric, called the expected residual regret, which forgets the immutable consequences of past actions. Instead, it measures regret against the optimal reward moving forward from the current period. We show that the expected residual regret of the Thompson sampling algorithm is upper bounded by a term which converges exponentially fast to 0. We present conditions under which the posterior sampling error of Thompson sampling converges to 0 almost surely. We then introduce the probabilistic version of the expected residual regret and present conditions under which it converges to 0 almost surely. Thus, we provide a viable concept of learning for sampling algorithms which will serve useful in broader settings than had been considered previously.
- [269] arXiv:2405.09554 (replaced) [pdf, ps, html, other]
-
Title: Underdetermined DOA Estimation of Off-Grid Sources Based on the Generalized Double Pareto PriorSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
In this letter, we investigate a new generalized double Pareto based on off-grid sparse Bayesian learning (GDPOGSBL) approach to improve the performance of direction of arrival (DOA) estimation in underdetermined scenarios. The method aims to enhance the sparsity of source signal by utilizing the generalized double Pareto (GDP) prior. Firstly, we employ a first-order linear Taylor expansion to model the real array manifold matrix, and Bayesian inference is utilized to calculate the off-grid error, which mitigates the grid dictionary mismatch problem in underdetermined scenarios. Secondly, an innovative grid refinement method is introduced, treating grid points as iterative parameters to minimize the modeling error between the source and grid points. The numerical simulation results verify the superiority of the proposed strategy, especially when dealing with a coarse grid and few snapshots.