Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Mon, 20 May 24
- [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, other]
-
Title: A Categorical Development of Right Derived FunctorsAuthors: Skyler MarksSubjects: 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, other]
-
Title: A holographic global uniqueness in passive imagingAuthors: Roman NovikovSubjects: 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, other]
-
Title: The jet problem for three-dimensional axisymmetric compressible subsonic flows with large vorticityAuthors: Yan LiComments: 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, 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, 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, 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, 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\"{u}ller, Neff and the second author (Calc. Var. PDE, 2021) in the affirmative. - [10] arXiv:2405.10352 [pdf, ps, other]
-
Title: Sums of binomial coefficients modulo $p$ and groups of exponent $p^n$Authors: Fernando SzechtmanSubjects: 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, other]
-
Title: Sylow subgroups of the Macdonald group on 2 parametersAuthors: Fernando SzechtmanSubjects: 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, other]
-
Title: Cartan subalgebras for restrictions of $\mathfrak{g}$-modulesAuthors: Masatoshi KitagawaComments: 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, 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, other]
-
Title: Grothendieck's use of equalityAuthors: Kevin BuzzardComments: 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, other]
-
Title: Partial Model Theory -- Ultraproducts and CompactnessAuthors: Rodolfo Cunha CarnierSubjects: 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, 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, other]
-
Title: Remarks on the uniqueness of weak solutions of the incompressible Navier-Stokes equationsAuthors: Kamal N. SoltanovComments: 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, 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, 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\"oberl, Hu-Zhang, Hu-Ma-Sun and Gopalakrishnan-Lederer-Sch\"oberl 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, other]
-
Title: The $r$-equilibrium ProblemAuthors: Mihai D. StaicComments: 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, 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, 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, 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, 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, other]
-
Title: Optimization-Aided Construction of Multivariate Chebyshev PolynomialsAuthors: Mareike Dressler, Simon Foucart, Etienne de Klerk, Mioara Joldes, Jean Bernard Lasserre, Yuan XuSubjects: 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, 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, 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, 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, other]
-
Title: Maximal δ-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\'{o}rka in [M. Dybowski and P. G\'{o}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, 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, 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, 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, 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, other]
-
Title: Electromagnetic Information Theory for Holographic MIMO CommunicationsAuthors: Li 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, 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, 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, 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, other]
-
Title: Primes and Bivariate Polynomials without Constant TermsAuthors: K. LakshmananComments: 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, 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, 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, other]
-
Title: Anticanonical minimal models and Zariski decompositionAuthors: Sungwook JangSubjects: 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, 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, other]
-
Title: Segre surfaces and geometry of the Painlevé 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\'e 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\'e differential equation.
- [47] arXiv:2405.10549 [pdf, ps, other]
-
Title: Spectral energy of Dirac operators for fermion scattering on topological solitons in the nonlinear $O(3)$ $σ$-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, other]
-
Title: The Artin-Maur zeta function for interval mapsAuthors: Jorge Olivares-VinalesComments: 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, 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, 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, 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 dataAuthors: Julien 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, other]
-
Title: Decompounding with unknown noise through several independents channelsAuthors: Guillaume 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, other]
-
Title: Combinatorics of generic 5-degree polynomialsAuthors: Yury KochetkovComments: 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, 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, other]
-
Title: On the existence and estimates of nested spherical designsSubjects: Functional Analysis (math.FA)
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, other]
-
Title: Quasi-polynomial extensions of nonsymmetric Macdonald-Koornwinder polynomialsAuthors: Jasper StokmanComments: 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, other]
-
Title: On Growth Functions of Coxeter GroupsAuthors: Sebastian BischofComments: 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 analytiquesAuthors: Antoine DucrosComments: 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, other]
-
Title: A \emph{$Γ$}-convergence of level-two large deviation for metastable systems: The case of zero-range processesAuthors: Kyuhyeon ChoiComments: 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{\`u} 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, other]
-
Title: Localization and unique continuation for non-stationary Schrödinger operators on the 2D latticeAuthors: Omar HurtadoComments: 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\"odinger 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, 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, 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\'eter 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, 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, 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\"odinger 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, 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, 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, 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, other]
-
Title: Local theory of wave equations with timelike curves of conic singularitiesAuthors: Peter HintzComments: 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, 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, other]
-
Title: Diagonal del Pezzo of degree 2 with a Brauer-Manin obstructionAuthors: Harry C. ShawSubjects: 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, other]
-
Title: On the iterates of the Laguerre operatorSubjects: Functional Analysis (math.FA)
We use the iterates of the Laguerre operator to introduce Pilipovi\'c 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\'c 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\'c spaces on $\mathbb{R}^d$ consisting of even functions, and Pilipovi\'c spaces on positive orthants.
- [74] arXiv:2405.10695 [pdf, ps, other]
-
Title: On the Design of Super ConstellationsAuthors: Thrassos 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, 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, 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{\"o}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, 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, 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, other]
-
Title: About the Burton-Miller factor in the low frequency regionAuthors: Wolfgang KreuzerComments: 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, other]
-
Title: On Freiman's Theorem in a function field settingAuthors: Mieke WesselSubjects: Number Theory (math.NT); Combinatorics (math.CO)
We prove some new instances of a conjecture of Bachoc, Couvreur and Z\'emor 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, other]
-
Title: $τ$-Tilting finiteness of group algebras over generalized symmetric groupsAuthors: Naoya HiramaeComments: 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, 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, other]
-
Title: Bakry-Émery, Hardy, and Spectral Gap Estimates on Manifolds with Conical SingularitiesAuthors: Karl-Theodor SturmSubjects: 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-\'Emery 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-\'Emery inequality
* a novel Hardy inequality
* a spectral gap estimate. - [85] arXiv:2405.10735 [pdf, 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, 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, other]
-
Title: Number of Polynomials Vanishing on a Basis of $S_m(Γ_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, 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\v{c}\'i, 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, 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, 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, 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, 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, other]
-
Title: Fully nonlinear elliptic equations for some prescribed curvature problems on Hermitian manifoldsAuthors: Rirong YuanSubjects: 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, 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, 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, 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\"ahler-Ricci solitons.
- [98] arXiv:2405.10809 [pdf, 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, 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, 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 {\L}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, 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, 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, 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 TheoryAuthors: Donald YauComments: 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, other]
-
Title: Existence and non-existence of cohomogeneity one Einstein metricsAuthors: Hanci ChiSubjects: 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, other]
-
Title: On the index of minimal hypersurfaces in $\mathbb{S}^{n+1}$ with $λ_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, other]
-
Title: Skew derivations of quantum tori and quantum spacesAuthors: David A. JordanSubjects: 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\'{n}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, other]
-
Title: Strong log-convexity of genus sequencesAuthors: Bojan MoharSubjects: 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, 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, other]
-
Title: Diagnosing and Decoupling the Degradation Mechanisms in Lithium Ion Cells: An Estimation ApproachAuthors: Raja 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, other]
-
Title: Diffusion GeometryAuthors: Iolo JonesComments: 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, 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, other]
-
Title: A flat perspective on moduli spaces of hyperbolic surfacesAuthors: Adrien SauvagetSubjects: 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, 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, 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, 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, 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, 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, other]
-
Title: Strategic control for a Boltzmann like decision-making modelAuthors: Luis 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, other]
-
Title: Nearly self-similar blowup of generalized axisymmetric Navier-Stokes and Boussinesq equationsAuthors: Thomas Y. HouComments: 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, other]
-
Title: A new class of $α$-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, 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, 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, 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, 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.
Cross-lists for Mon, 20 May 24
- [126] arXiv:2306.01049 (cross-list from hep-th) [pdf, other]
-
Title: Internal symmetries in Kaluza-Klein modelsAuthors: Joao BaptistaComments: 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, other]
-
Title: Efficient model predictive control for nonlinear systems modelled by deep neural networksAuthors: Jianglin LanComments: 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, other]
-
Title: A note on continuous-time online learningAuthors: Lexing YingSubjects: 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, other]
-
Title: A Relativistic Formula for the Multiple Scattering of PhotonsAuthors: Rohta 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 SystemAuthors: Changshuai 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, other]
-
Title: Restless Linear BanditsAuthors: Azadeh KhaleghiSubjects: 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, 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, 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, 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, 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.
Replacements for Mon, 20 May 24
- [148] arXiv:1211.0529 (replaced) [pdf, 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)
- [149] arXiv:1508.07926 (replaced) [pdf, ps, 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)
- [150] arXiv:1512.06022 (replaced) [pdf, ps, 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)
- [151] arXiv:1604.05755 (replaced) [pdf, ps, other]
-
Title: Algebras of conjugacy classes in symmetric groupsAuthors: Yury A.NeretinComments: 19p., 6 fig, extended versionJournal-ref: Mosc. Math. J., 2024Subjects: Group Theory (math.GR); Representation Theory (math.RT)
- [152] arXiv:1607.00131 (replaced) [pdf, other]
-
Title: Book crossing numbers of the complete graph and small local convex crossing numbersAuthors: Bernardo M. Ábrego, Julia Dandurand, Silvia Fernández-Merchant, Evgeniya Lagoda, Yakov SapozhnikovComments: 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)
- [153] arXiv:1609.00712 (replaced) [pdf, ps, other]
-
Title: Model structures on the category of complexes of quiver representationsAuthors: Payam BahiraeiComments: 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)
- [154] arXiv:1703.06089 (replaced) [pdf, ps, other]
-
Title: Hasse-Minkowski theorem for quadratic forms on groupsAuthors: Stefan BarańczukSubjects: Number Theory (math.NT)
- [155] arXiv:1909.11184 (replaced) [pdf, ps, other]
-
Title: A Note on Fuzzy Automorphism and Inner Automorphism of GroupsComments: 13 pagesSubjects: Group Theory (math.GR)
- [156] arXiv:2007.10792 (replaced) [pdf, ps, other]
-
Title: Models of Jacobians of curvesSubjects: Algebraic Geometry (math.AG)
- [157] arXiv:2009.07908 (replaced) [pdf, 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)
- [158] arXiv:2012.14723 (replaced) [pdf, 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)
- [159] arXiv:2108.02790 (replaced) [pdf, other]
-
Title: Adams' cobar construction as a monoidal $E_{\infty}$-coalgebra model of the based loop spaceComments: Final versionSubjects: Algebraic Topology (math.AT)
- [160] arXiv:2110.15060 (replaced) [pdf, ps, other]
-
Title: Growth of bilinear maps II: Bounds and ordersAuthors: Vuong BuiComments: 18 pages; minor update for the final version of publicationSubjects: Combinatorics (math.CO)
- [161] arXiv:2112.03242 (replaced) [pdf, 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)
- [162] arXiv:2202.10197 (replaced) [pdf, other]
-
Title: Linear first order differential operators and their Hutchinson-invariant setsComments: 46 pagesSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
- [163] arXiv:2207.04936 (replaced) [pdf, ps, other]
-
Title: PL homeomorphisms of surfaces and codimension $2$ PL foliationsAuthors: Sam NarimanComments: 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)
- [164] arXiv:2209.02568 (replaced) [pdf, ps, 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)
- [165] arXiv:2209.08069 (replaced) [pdf, other]
-
Title: Faces of Cosmological PolytopesComments: Revised expositionSubjects: Combinatorics (math.CO); High Energy Physics - Theory (hep-th)
- [166] arXiv:2210.07376 (replaced) [pdf, other]
-
Title: ScionFL: Efficient and Robust Secure Quantized AggregationAuthors: Yaniv 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)
- [167] arXiv:2211.01033 (replaced) [pdf, 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)
- [168] arXiv:2211.05681 (replaced) [pdf, ps, other]
-
Title: An Overview on Laakso SpacesAuthors: Marco CapolliComments: 21 pagesSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
- [169] arXiv:2301.09827 (replaced) [pdf, ps, other]
-
Title: On multiplicative spectral sequences for nerves and the free loop spacesAuthors: Katsuhiko KuribayashiComments: 29 pagesSubjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
- [170] arXiv:2301.10671 (replaced) [pdf, other]
-
Title: Birkhoff generic points on curves in horospheresSubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
- [171] arXiv:2302.00913 (replaced) [pdf, ps, other]
-
Title: Degree of the 3-secant varietyAuthors: Doyoung ChoiComments: 15 pagesJournal-ref: J. Pure Appl. Algebra, 228(9)(2024)Subjects: Algebraic Geometry (math.AG)
- [172] arXiv:2302.09386 (replaced) [pdf, other]
-
Title: Renormalization on the DFR Quantum SpacetimeComments: Final version, to appear in Reviews in Mathematical PhysicsSubjects: Mathematical Physics (math-ph)
- [173] arXiv:2302.13680 (replaced) [pdf, other]
-
Title: A multigrid solver for PDE-constrained optimization with uncertain inputsComments: 37, 3 figuresSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
- [174] arXiv:2303.10407 (replaced) [pdf, ps, other]
-
Title: Inverting log blow-ups in log geometryAuthors: Doosung ParkComments: 40 pages. Final version, to appear in Tunisian Journal of MathematicsSubjects: Algebraic Geometry (math.AG)
- [175] 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)
- [176] arXiv:2304.00598 (replaced) [pdf, other]
-
Title: Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural NetworksAuthors: Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Rosalyn Alex Devonport, Meeko M.K. OishiComments: 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)
- [177] arXiv:2304.07913 (replaced) [pdf, ps, other]
-
Title: On algebraic normalisers of maximal tori in simple groups of Lie typeAuthors: Anton A. BaykalovComments: Cases that were missed earlier are now added. New computational method is providedSubjects: Group Theory (math.GR)
- [178] arXiv:2304.12751 (replaced) [pdf, 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)
- [179] arXiv:2305.06634 (replaced) [pdf, 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)
- [180] arXiv:2305.17602 (replaced) [pdf, 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)
- [181] arXiv:2306.01104 (replaced) [pdf, 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)
- [182] arXiv:2306.11685 (replaced) [pdf, ps, other]
-
Title: $W$-triviality of low dimensional manifoldsComments: 12 pages, Accepted in Manuscripta MathematicaSubjects: Algebraic Topology (math.AT)
- [183] arXiv:2306.15979 (replaced) [pdf, ps, 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)
- [184] arXiv:2307.06155 (replaced) [pdf, other]
-
Title: Relative Fractional Independence Number and Its ApplicationsSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
- [185] arXiv:2307.12829 (replaced) [pdf, ps, other]
-
Title: Scattered trinomials of $\mathbb{F}_{q^6}[X]$ in even characteristicSubjects: Combinatorics (math.CO)
- [186] arXiv:2307.14779 (replaced) [pdf, ps, 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)
- [187] arXiv:2307.16826 (replaced) [pdf, ps, other]
- [188] arXiv:2308.02064 (replaced) [pdf, ps, other]
-
Title: Infinitesimal Operators and the Distribution of Anticommutators and CommutatorsComments: 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)
- [189] arXiv:2308.03232 (replaced) [pdf, ps, 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)
- [190] arXiv:2308.13750 (replaced) [pdf, other]
-
Title: Quantifying Inequities and Documenting Elitism in PhD-granting Mathematical Sciences Departments in the United StatesAuthors: Ron 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)
- [191] arXiv:2308.14506 (replaced) [pdf, ps, 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 problemsAuthors: Filippo de FeoComments: arXiv admin note: substantial text overlap with arXiv:2302.08809Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Probability (math.PR)
- [192] arXiv:2309.00520 (replaced) [pdf, 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)
- [193] arXiv:2309.03819 (replaced) [pdf, other]
-
Title: On isomorphisms to a free group and beyondAuthors: Vladimir ShpilrainComments: 5 pages. Published in journal of Groups, Complexity, CryptologySubjects: Group Theory (math.GR)
- [194] arXiv:2309.05075 (replaced) [pdf, 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)
- [195] 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)
- [196] arXiv:2310.04873 (replaced) [pdf, ps, 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)
- [197] arXiv:2310.07635 (replaced) [pdf, ps, 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)
- [198] arXiv:2310.07640 (replaced) [pdf, ps, other]
-
Title: Gaussian deconvolution and the lace expansion for spread-out modelsComments: 21 pages. Minor edits. To appear in Ann. Inst. H. Poincar\'e Probab. StatistSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [199] arXiv:2310.09319 (replaced) [pdf, other]
-
Title: Topological Data Analysis in smart manufacturingComments: Preprint still under reviewSubjects: Machine Learning (cs.LG); Algebraic Topology (math.AT); Applications (stat.AP)
- [200] arXiv:2310.12788 (replaced) [pdf, other]
-
Title: Continuous Time Locally Stationary Wavelet ProcessesComments: 38 pages, 12 figuresSubjects: Statistics Theory (math.ST)
- [201] arXiv:2310.13181 (replaced) [pdf, other]
-
Title: Locational Marginal Pricing of Energy in Pipeline Transport of Natural Gas and Hydrogen with Carbon Offset IncentivesSubjects: Optimization and Control (math.OC)
- [202] 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)
- [203] arXiv:2310.13797 (replaced) [pdf, other]
-
Title: The Measure Preserving Martingale Sinkhorn AlgorithmSubjects: Computational Finance (q-fin.CP); Probability (math.PR)
- [204] arXiv:2310.14691 (replaced) [pdf, 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)
- [205] arXiv:2310.17582 (replaced) [pdf, 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)
- [206] arXiv:2311.00905 (replaced) [pdf, other]
-
Title: Data-driven fixed-point tuning for truncated realized variationsSubjects: Statistics Theory (math.ST); Econometrics (econ.EM)
- [207] arXiv:2311.01980 (replaced) [pdf, ps, 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)
- [208] arXiv:2311.03091 (replaced) [pdf, ps, other]
-
Title: Abstract dissipative Hamiltonian differential-algebraic equations are everywhereSubjects: Functional Analysis (math.FA); Optimization and Control (math.OC)
- [209] arXiv:2311.03682 (replaced) [pdf, ps, 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)
- [210] arXiv:2311.04407 (replaced) [pdf, ps, 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)
- [211] arXiv:2311.05637 (replaced) [pdf, ps, other]
-
Title: Non-absolute integrable function spaces on metric measure spacesComments: 14 pagesSubjects: Functional Analysis (math.FA)
- [212] arXiv:2311.06448 (replaced) [pdf, other]
-
Title: A Sparse Smoothing Newton Method for Solving Discrete Optimal Transport ProblemsComments: 29 pages, 17 figuresSubjects: Optimization and Control (math.OC)
- [213] arXiv:2311.09375 (replaced) [pdf, other]
-
Title: Distributed Constrained Combinatorial Optimization leveraging Hypergraph Neural NetworksSubjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC)
- [214] arXiv:2311.12248 (replaced) [pdf, ps, 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)
- [215] arXiv:2311.14363 (replaced) [pdf, other]
-
Title: High order unfitted finite element discretizations for explicit boundary representationsSubjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
- [216] arXiv:2311.14495 (replaced) [pdf, 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)
- [217] arXiv:2312.02691 (replaced) [pdf, ps, other]
-
Title: Edge coloring of products of signed graphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
- [218] arXiv:2312.02840 (replaced) [pdf, ps, 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)
- [219] arXiv:2312.04536 (replaced) [pdf, other]
-
Title: Invisibility of the integers for the discrete Gaussian chain via a Caffarelli-Silvestre extension of the discrete fractional LaplacianAuthors: Christophe GarbanComments: 65 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [220] arXiv:2312.07792 (replaced) [pdf, 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)
- [221] arXiv:2312.10563 (replaced) [pdf, other]
-
Title: Mediation Analysis with Mendelian Randomization and Efficient Multiple GWAS IntegrationSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
- [222] arXiv:2312.12113 (replaced) [pdf, other]
-
Title: Variational Mode Decomposition-Based Nonstationary Coherent Structure Analysis for Spatiotemporal DataAuthors: Yuya OhmichiJournal-ref: Aerospace Science and Technology, Volume 149, June 2024, 109162Subjects: Fluid Dynamics (physics.flu-dyn); Machine Learning (cs.LG); Dynamical Systems (math.DS)
- [223] arXiv:2312.15303 (replaced) [pdf, other]
-
Title: The log moments of smallest denominatorsAuthors: Jens MarklofComments: 10 pages, 2 figures,1 table, to appear in IntegersSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
- [224] arXiv:2312.15374 (replaced) [pdf, ps, other]
-
Title: Symplectic embeddings of toric domains with boundary a lens spaceAuthors: Jonathan TrejosComments: 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)
- [225] arXiv:2401.05082 (replaced) [pdf, ps, 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)
- [226] arXiv:2401.06185 (replaced) [pdf, ps, other]
-
Title: Ozawa's Intersubjectivity Theorem as justification of RQM's postulate on internally consistent descriptionsAuthors: Andrei KhrennikovComments: 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)
- [227] arXiv:2401.07780 (replaced) [pdf, 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)
- [228] arXiv:2401.09091 (replaced) [pdf, other]
-
Title: Noise-Tolerant Quantum Algorithm for Ground State Energy EstimationSubjects: Quantum Physics (quant-ph); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
- [229] arXiv:2401.14341 (replaced) [pdf, 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)
- [230] 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)
- [231] 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)
- [232] arXiv:2402.04098 (replaced) [pdf, other]
-
Title: Random Lévy Looptrees and Lévy MapsComments: 62 pages but 11 nice figures. Minor changes in the presentation compared to V1Subjects: Probability (math.PR)
- [233] arXiv:2402.05984 (replaced) [pdf, ps, 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)
- [234] arXiv:2402.07998 (replaced) [pdf, 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)
- [235] arXiv:2402.08783 (replaced) [pdf, ps, other]
-
Title: Remarks on MacMahon's $q$-seriesComments: Minor revisions based on two referee reportSubjects: Combinatorics (math.CO)
- [236] 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)
- [237] arXiv:2402.17357 (replaced) [pdf, ps, other]
-
Title: A robust parameterized enhanced shift-splitting preconditioner for three-by-three block saddle point problemsSubjects: Numerical Analysis (math.NA)
- [238] arXiv:2403.00498 (replaced) [pdf, other]
-
Title: Spectral analysis of a class of linear hyperbolic partial differential equationsSubjects: Functional Analysis (math.FA)
- [239] arXiv:2403.03789 (replaced) [pdf, other]
-
Title: Recovering orthogonality from quasi-nature of Spectral transformationsComments: 26 pages, 6 figuresSubjects: Classical Analysis and ODEs (math.CA)
- [240] arXiv:2403.06703 (replaced) [pdf, ps, other]
-
Title: A viscoelastic model for skin via homogenization theoryAuthors: Juan Casado-DíazSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
- [241] arXiv:2403.07782 (replaced) [pdf, ps, other]
-
Title: Minimal Elements of the Causal Boundary with Applications to Spacetime SplittingAuthors: Leonardo García-HevelingComments: 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)
- [242] arXiv:2403.16165 (replaced) [pdf, ps, 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)
- [243] arXiv:2403.16249 (replaced) [pdf, ps, other]
-
Title: Three Examples of Quasisymmetric Compatible $\mathfrak{S}_n$-modulesComments: 21 pages, 3 figuresSubjects: Combinatorics (math.CO)
- [244] arXiv:2403.18653 (replaced) [pdf, 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)
- [245] arXiv:2404.04039 (replaced) [pdf, other]
-
Title: Reconstructing a pseudotree from the distance matrix of its boundarySubjects: Combinatorics (math.CO)
- [246] arXiv:2404.10870 (replaced) [pdf, ps, 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)
- [247] arXiv:2404.12723 (replaced) [pdf, ps, other]
-
Title: Virasoro constraints for K3 surfaces and monodromy operatorsAuthors: Weisheng WangComments: 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)
- [248] arXiv:2404.15200 (replaced) [pdf, other]
-
Title: An algebraic-geometric construction of "lump" solutions of the KP1 equationAuthors: John B. LittleComments: 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)
- [249] arXiv:2404.16703 (replaced) [pdf, ps, 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)
- [250] 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)
- [251] arXiv:2405.02924 (replaced) [pdf, other]
-
Title: Optimal Sampling for Uncertainty-of-Information Minimization in a Remote Monitoring SystemSubjects: Information Theory (cs.IT)
- [252] arXiv:2405.03179 (replaced) [pdf, 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$Authors: Daniel Panazzolo (Université de Haute-Alsace)Subjects: Dynamical Systems (math.DS)
- [253] arXiv:2405.03888 (replaced) [pdf, other]
-
Title: Measurized Discounted Markov Decision ProcessesSubjects: Optimization and Control (math.OC)
- [254] arXiv:2405.05388 (replaced) [pdf, ps, other]
-
Title: The Asymptotic Behavior of the Mayer Series Coefficients for a Dimer Gas on a Rectangular LatticeAuthors: Paul FederbushComments: four pagesSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech)
- [255] arXiv:2405.06488 (replaced) [pdf, other]
-
Title: Can Neural Networks learn Finite Elements?Subjects: Numerical Analysis (math.NA)
- [256] arXiv:2405.07291 (replaced) [pdf, other]
-
Title: Robust Beamforming with Gradient-based Liquid Neural NetworkAuthors: Xinquan Wang, Fenghao Zhu, Chongwen Huang, Ahmed Alhammadi, Faouzi Bader, Zhaoyang Zhang, Chau Yuen, Merouane DebbahSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [257] arXiv:2405.07737 (replaced) [pdf, ps, other]
-
Title: Symmetries and periodic orbits for the $n$-body problem: about the computational approachAuthors: D.L. FerrarioSubjects: Classical Analysis and ODEs (math.CA)
- [258] arXiv:2405.07880 (replaced) [pdf, ps, 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)
- [259] arXiv:2405.08253 (replaced) [pdf, ps, other]
-
Title: Thompson Sampling for Infinite-Horizon Discounted Decision ProcessesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
- [260] arXiv:2405.08781 (replaced) [pdf, ps, other]
-
Title: Total coloring of graphs via efficient dominating setsAuthors: Italo J. DejterComments: 7 pages, 2 figuresSubjects: Combinatorics (math.CO)
- [261] arXiv:2405.09210 (replaced) [pdf, ps, other]
-
Title: A refined Weyl character formula for comodules on $\operatorname{GL}(2,A)$Authors: Helge Øystein MaakestadSubjects: Algebraic Geometry (math.AG); Group Theory (math.GR); Representation Theory (math.RT)
- [262] arXiv:2405.09214 (replaced) [pdf, ps, other]
-
Title: Hypergraph C*-algebrasComments: 30 pages + appendix; v2: updates in the referencesSubjects: Operator Algebras (math.OA)
- [263] arXiv:2405.09252 (replaced) [pdf, ps, other]
-
Title: An Exponential Diophantine equation $x^2+3^α 113^β=y^{\mathfrak{n}}$Subjects: Number Theory (math.NT)
- [264] arXiv:2405.09268 (replaced) [pdf, ps, other]
-
Title: On the orbital stability of solitary waves for the fourth order nonlinear Schrödinger equationComments: 21 pages and 20 figuresSubjects: Analysis of PDEs (math.AP)
- [265] arXiv:2405.09554 (replaced) [pdf, ps, other]
-
Title: Underdetermined DOA Estimation of Off-Grid Sources Based on the Generalized Double Pareto PriorSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
- [266] arXiv:2405.09604 (replaced) [pdf, other]
-
Title: On the existence of geodesic vector fields on closed surfacesAuthors: Vladimir S. MatveevComments: 4 pages, 1 figure. Certain misprints correctedSubjects: Differential Geometry (math.DG)
- [267] 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)
- [268] arXiv:2405.09736 (replaced) [pdf, ps, other]
-
Title: On the conjugacy separability of ordinary and generalized Baumslag-Solitar groupsAuthors: E. V. SokolovComments: 13 pages; the English version of the previously published Russian originalSubjects: Group Theory (math.GR)
- [269] arXiv:2405.09982 (replaced) [pdf, 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)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2405, contact, help (Access key information)