Mathematics
- [1] arXiv:2405.03731 [pdf, ps, html, other]
-
Title: The union-closed set conjecture is trueSubjects: Combinatorics (math.CO)
We prove that the conjecture made by Peter Frankl in the late 1970s is true. In other words for every finite union-closed family which contains a non?empty set, there is an element that belongs to at least half of its m
- [2] arXiv:2405.03756 [pdf, ps, html, other]
-
Title: Differential spinors and Kundt three-manifolds with skew-torsionComments: 29 pagesSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th)
We develop the theory of spinorial polyforms associated with bundles of irreducible Clifford modules of non-simple real type, obtaining a precise characterization of the square of an irreducible real spinor in signature $(p-q) = 1\,\mathrm{mod(8)}$ as a polyform belonging to a semi-algebraic real set. We use this formalism to study differential spinors on Lorentzian three-manifolds, proving that in this dimension and signature, every differential spinor is equivalent to an isotropic line preserved in a given direction by a metric connection with prescribed torsion. We apply this result to investigate Lorentzian three-manifolds equipped with a skew-torsion parallel spinor, namely a spinor parallel with respect to a metric connection with totally skew-symmetric torsion. We obtain several structural results about this class of Lorentzian three-manifolds, which are necessarily Kundt, and in the compact case, we obtain an explicit differential condition that guarantees geodesic completeness. We further elaborate on these results to study the supersymmetric solutions of three-dimensional NS-NS supergravity, which involve skew-torsion parallel spinors whose torsion is given by the curvature of a curving on an abelian bundle gerbe. In particular, we obtain a correspondence between NS-NS supersymmetric solutions and null coframes satisfying an explicit exterior differential system that we solve locally.
- [3] arXiv:2405.03772 [pdf, ps, html, other]
-
Title: Monochromatic non-commuting productsComments: 18 pages, comments welcomeSubjects: Combinatorics (math.CO); Dynamical Systems (math.DS); Number Theory (math.NT)
We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.
- [4] arXiv:2405.03773 [pdf, ps, html, other]
-
Title: Lax comma categories: cartesian closedness, extensivity, topologicity, and descentComments: 13 pagesSubjects: Category Theory (math.CT)
We investigate the properties of lax comma categories over a base category $X$, focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forgetful functor from $\mathsf{Cat}//X$ to $\mathsf{Cat}$ is topological if and only if $X$ is large-complete. Moreover, we provide conditions for $\mathsf{Cat}//X$ to be complete, cocomplete, extensive and cartesian closed. We analyze descent in $\mathsf{Cat}//X$ and identify necessary conditions for effective descent morphisms. Our findings contribute to the literature on lax comma categories and provide a foundation for further research in 2-dimensional Janelidze's Galois theory.
- [5] arXiv:2405.03774 [pdf, ps, html, other]
-
Title: Novel Tour Construction Heuristic for Pick-Up and Delivery Routing ProblemsComments: Submitted to the MECC 20224 conference. arXiv admin note: text overlap with arXiv:2302.06582Subjects: Combinatorics (math.CO)
In logistic applications that require the pickup and delivery of items, route optimization problems can be modeled as precedence constrained traveling salesperson problems. The combinatorial nature of this problem restricts the application of exact algorithms to small instances, and heuristics are largely preferred for tractability. However, due to precedence constraints that restrict the order in which locations can be visited, heuristics outside of the nearest neighbor algorithm have been neglected in literature. While the convex hull cheapest insertion heuristic is known to produce good solutions in the absence of precedence constraints, i.e., when locations can be visited in any order, it has not been adapted for pick-up and delivery considerations. This paper presents an adapted convex hull cheapest insertion heuristic that accounts for precedence constraints and compares its solutions with the nearest neighbor heuristic using the TSPLIB benchmark data set. The proposed algorithm is particularly suited to cases where pickups are located in the periphery and deliveries are centrally located, outperforming the Nearest Neighbor algorithm in every examined instance.
- [6] arXiv:2405.03785 [pdf, ps, other]
-
Title: On Model Theory of Second-Order ObjectsSubjects: Logic (math.LO)
Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that generalizes the standard notion of abstract elementary class, and show that it is an example of an accessible category. We apply our framework to show that the logic $\mathsf{FOT}$ introduced by Kontinen and Yang satisfies a version of Lindström's Theorem. Finally, we consider the problem of transferring categoricity between different cardinalities for complete theories in existential second-order logic (or independence logic) and prove both a downwards and an upwards categoricity transfer result.
- [7] arXiv:2405.03790 [pdf, ps, html, other]
-
Title: Low rank groups of Lie type acting point and line-primitively on finite generalised quadranglesComments: 11 pagesSubjects: Group Theory (math.GR)
Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot be isomorphic to $\operatorname{Sz}(2^{2m+1})$ or $\operatorname{Ree}(3^{2m+1})$ where $m$ is a positive integer.
- [8] arXiv:2405.03791 [pdf, ps, html, other]
-
Title: Regularity for Fully Nonlinear Elliptic Equations with Natural Growth in Gradient and Singular NonlinearitySubjects: Analysis of PDEs (math.AP)
In this article we consider the following boundary value problem
\begin{equation*}\label{abs} \left\{ \begin{aligned} F(x,u,Du,D^{2}u)+c(x)u+ p(x)u^{-\alpha}&=0~\text{in}~\Omega\\ u&=0~~\text{on}~~\partial\Omega, \end{aligned} \right. \end{equation*} where $\Omega$ is a bounded and $C^{2}$ smooth domain in $\mathbb{R}^N$ and $F$ has superlinear growth in gradient and $c(c)<-c_{0}$ for some positive constant $c_{0}.$ Here, we studies the boundary behaviour of the solutions to above equation and establishes the global regularity result similar to one established in [12,16] with linear growth in gradient. - [9] arXiv:2405.03793 [pdf, ps, html, other]
-
Title: Naive homotopy theories in cartesian closed categoriesComments: 26 pagesSubjects: Category Theory (math.CT); Algebraic Topology (math.AT)
An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on global elements. As expected, the output is a new category $E_p$ with objects the same objects as $E$.
Further assumptions on $E$ provide a finer description of $E_p$ that relates it to the classical homotopy theory where $\Pi_0$ could be interpreted as the ``path-connected components'' functor on convenient categories of topological spaces. In particular, if $E$ is a 2-value topos the supports of which split and is furthermore assumed to be precohesive over a boolean base, then the passage from $E$ to $E_p$ is naturally described in terms of explicit homotopies -- as is the internal notion of contractible space. - [10] arXiv:2405.03798 [pdf, ps, html, other]
-
Title: Update Rate, Accuracy, and Age of Information in a Wireless Sensor NetworkSubjects: Information Theory (cs.IT)
Age of Information (AoI), namely the time that has elapsed since the most recently delivered packet was generated, is receiving increasing attention with the emergence of many real-time applications that rely on the exchange of time-sensitive information. AoI captures the freshness of the information from the perspective of the destination. The term "accuracy of information" is used to assess how close the estimate at the destination is to the parameter value measured by the sensor. In this paper, the mean square error (MSE) is used to evaluate the accuracy of information. We focus on a single sensor that monitors a time-sensitive physical process, which is modelled as a random walk. Whenever the state of the random walk changes by more than a specified threshold, the sensor generates a status update packet and transmits it to the destination. When no update packet is received, the destination assumes that the state of the process has not changed. We study the problem of finding the minimum update rate under AoI and accuracy of information constraints. More specifically, we derive analytical expressions for the update rate, the AoI, and the MSE.
- [11] arXiv:2405.03802 [pdf, ps, html, other]
-
Title: A note on H\"older regularity of weak solutions to linear elliptic equationsSubjects: Analysis of PDEs (math.AP)
In this paper, we show that weak solutions of $$-\text{div} \mathbb{A}(x)\nabla u = 0 \qquad \text{where}\quad \mathbb{A}(x)= \mathbb{A}(x)^T \,\, \text{and} \,\, \lambda |\zeta|^2 \leq \langle \mathbb{A}(x)\zeta,\zeta\rangle \leq \Lambda |\zeta|^2,$$
and $\mathbb{A}(x) \equiv \mathbb{A}$ is a constant matrix are Hölder continuous $u \in C^{\alpha}_{\text{loc}}$ with $\alpha \geq \frac12 \left(-(n-2) + \sqrt{(n-2)^2 + \frac{4(n-1)\lambda}{\Lambda}} \right)$. This implies that the example constructed by Piccinini - Spagnolo is sharp in the class of constant matrices $\mathbb{A}(x) \equiv \mathbb{A}$. The proof of Hölder regularity does not go through a reduction of oscillation type argument and instead is achieved through a monotonicity formula.
In the case of general matrices $\mathbb{A}(x)$, we obtain the same regularity under some additional hypothesis. - [12] arXiv:2405.03811 [pdf, ps, html, other]
-
Title: Metric bootstraps for limsup setsComments: 42 pagesSubjects: Number Theory (math.NT)
In metric Diophantine approximation, one frequently encounters the problem of showing that a limsup set has positive or full measure. Often it is a set of points in $m$-dimensional Euclidean space, or a set of $n$-by-$m$ systems of linear forms, satisfying some approximation condition infinitely often. The main results of this paper are bootstraps: if one can establish positive measure for such a limsup set in $m$-dimensional Euclidean space, then one can establish positive or full measure for an associated limsup set in the setting of $n$-by-$m$ systems of linear forms. Consequently, a class of $m$-dimensional results in Diophantine approximation can be bootstrapped to corresponding $n$-by-$m$-dimensional results. This leads to short proofs of existing, new, and hypothetical theorems for limsup sets that arise in the theory of systems of linear forms. We present several of these.
- [13] arXiv:2405.03812 [pdf, ps, html, other]
-
Title: Generalizations of noncommutative Noether's problemComments: 15 pagesSubjects: Rings and Algebras (math.RA)
Noether's problem is classical and very important problem in algebra. It is an intrinsecally interesting problem in invariant theory, but with far reaching applications in the sutdy of moduly spaces, PI-algebras, and the Inverse problem of Galois theory, among others. To obtain an noncommutative analogue of Noether's problem, one would needs a significant skew field that shares a role similar to the field of ratioal functions. Given the importance of the Weyl fields due to Gelfand-Kirillov's Conjecture, in 2006 J. Alev and F. Dumas introduced what is nowdays called the noncommutative Noether's problem, using the Weyl fields. Many papers in recent years \cite{FMO}, \cite{EFOS}, \cite{FS}, \cite{Tikaradze} have been dedicated to the subject. The aim of this article is to generalize the main result of \cite{FS} for more general versions of Noether's problem; and consider its analogue in prime characteristic.
- [14] arXiv:2405.03816 [pdf, ps, html, other]
-
Title: On the invariance of the Kolmogorov complexity of $\beta$-expansionsSubjects: Information Theory (cs.IT)
Measuring the complexity of real numbers is of major importance in computer science, for the purpose of knowing which computations are allowed. Consider a non-computable real number $s$, i.e. a real number which cannot be stored on a computer. We can store only an approximation of $x$, for instance by considering a finite bitstring representing a finite prefix of its binary expansion. For a fixed approximation error $\varepsilon>0$, the size of this finite bitstring is dependent on the \textit{algorithmic complexity} of the finite prefixes of the binary expansion of $s$. The \textit{algorithmic complexity} of a binary sequence $x$, often referred to as \textit{Kolmogorov complexity}, is the length of the smallest binary sequence $x'$, for which there exists an algorithm, such that when presented with $x'$ as input, it outputs $x$. The algorithmic complexity of the binary expansion of real numbers is widely studied, but the algorithmic complexity of other ways of representing real numbers remains poorly reported. However, knowing the algorithmic complexity of different representations may allow to define new and more efficient strategies to represent real numbers. Several papers have established an equivalence between the algorithmic complexity of the $q$-ary expansions, with $q \in \mathbb{N}$, $q \geq 2$, i.e. representations of real numbers in any integer base. In this paper, we study the algorithmic complexity of the so-called $\beta$-expansions, which are representations of real numbers in a base $\beta \in (1,2)$ that display a much more complex behavior as compared to the $q$-ary expansion. We show that for a given real number $s$, the binary expansion is a minimizer of algorithmic complexity, and that for every given $\beta \in (1,2)$, there exists a $\beta$-expansion of $s$ which achieves the lower bound of algorithmic complexity displayed by the binary expansion of $s$.
- [15] arXiv:2405.03835 [pdf, ps, html, other]
-
Title: Kannappan-Wilson and Van Vleck-Wilson functional equations on semigroupsComments: Acta Mathematica HungaricaSubjects: Functional Analysis (math.FA)
Let $S$ be a semigroup, $Z(S)$ the center of $S$ and $\sigma:S\rightarrow S$ is an involutive automorphism. Our main results is that we describe the solutions of the Kannappan-Wilson functional equation \[\displaystyle \int_{S} f(xyt)d\mu(t) +\displaystyle \int_{S} f(\sigma(y)xt)d\mu(t)= 2f(x)g(y),\ x,y\in S,\] and the Van Vleck-Wilson functional equation \[\displaystyle \int_{S} f(xyt)d\mu(t) -\displaystyle \int_{S} f(\sigma(y)xt)d\mu(t)= 2f(x)g(y),\ x,y\in S,\] where $\mu$ is a measure that is a linear combination of Dirac measures $(\delta_{z_i})_{i\in I}$, such that $z_i\in Z(S)$ for all $i\in I$. Interesting consequences of these results are presented.
- [16] arXiv:2405.03837 [pdf, ps, html, other]
-
Title: Higher Kazhdan projections and delocalised $\ell^ 2$-Betti numbersComments: 19 pagesSubjects: Operator Algebras (math.OA); Group Theory (math.GR); K-Theory and Homology (math.KT)
We provide an explicit description of the K-classes of higher Kazhdan projections in degrees greater than 0 for specific free product groups and Cartesian product groups. Employing this description, we obtain new calculations of Lott's delocalised $\ell^2$-Betti numbers. Notably, we establish the first non-vanishing results for infinite groups.
- [17] arXiv:2405.03839 [pdf, ps, html, other]
-
Title: Topological regularity and stability of noncollapsed spaces with Ricci curvature bounded belowSubjects: Differential Geometry (math.DG)
We investigate the topological regularity and stability of noncollapsed Ricci limit spaces $(M_i^n,g_i,p_i)\to (X^n,d)$. We confirm a conjecture proposed by Colding and Naber in dimension $n=4$, showing that the cross-sections of tangent cones at a given point $x\in X^4$ are all homeomorphic to a fixed spherical space form $S^3/\Gamma_x$, and $\Gamma_x$ is trivial away from a $0$-dimensional set. In dimensions $n>4$, we show an analogous statement at points where all tangent cones are $(n-4)$-symmetric. Furthermore, we prove that $(n-3)$-symmetric noncollapsed Ricci limits are topological manifolds, thus confirming a particular case of a conjecture due to Cheeger, Colding, and Tian. Our analysis relies on two key results, whose importance goes beyond their applications in the study of cross-sections of noncollapsed Ricci limit spaces: (i) A new manifold recognition theorem for noncollapsed ${\rm RCD}(-2,3)$ spaces. (ii) A cone rigidity result ruling out noncollapsed Ricci limit spaces of the form $\mathbb{R}^{n-3}\times C(\mathbb{RP}^2)$.
- [18] arXiv:2405.03843 [pdf, ps, html, other]
-
Title: Tamanoi equation for orbifold Euler characteristics: revisitedSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
Tamanoi equation is a Macdonald type equation for the orbifold Euler characteristic and for its analogues of higher orders. It claims that the generating series of the orbifold Euler characteristics of a fixed order of analogues of the symmetric powers for a space with a finite group action can be represented as a certain unified (explicitly written) power series in the exponent equal to the orbifold Euler characteristic of the same order of the space itself. In the paper, in particular, we explain how the Tamanoi equation follows from its verification for actions of (finite) groups on the one-point space. Statements used for that are generalized to analogues of the orbifold Euler characteristic corresponding to finitely generated groups. It is shown that, for these generalizatins, the analogue of the Tamanoi equation does not hold in general.
- [19] arXiv:2405.03859 [pdf, ps, html, other]
-
Title: Quantitative Contraction Rates for McKean-Vlasov Stochastic Differential Equations with Multiplicative NoiseSubjects: Probability (math.PR)
This work focuses on the quantitative contraction rates for McKean-Vlasov stochastic differential equations (SDEs) with multiplicative noise. Under suitable conditions on the coefficients of the SDE, this paper derives explicit quantitative contraction rates for the convergence in Wasserstein distances of McKean-Vlasov SDEs using the coupling method.The contraction results are then used to prove a propagation of chaos uniformly in time, which provides quantitative bounds on convergence rate of interacting particle systems, and establishes exponential ergodicity for McKean-Vlasov SDEs.
- [20] arXiv:2405.03866 [pdf, ps, html, other]
-
Title: On the Gromov width of complements of Lagrangian toriSubjects: Symplectic Geometry (math.SG)
An integral product Lagrangian torus in the standard symplectic $\mathbb{C}^2$ is defined to be a subset $\{ \pi|z_1|^2 = k, \, \pi|z_2|^2 =l \}$ with $k,l \in \mathbb{N}$. Let $\mathcal{L}$ be the union of all integral product Lagrangian tori. We compute the Gromov width of complements $B(R) \setminus \mathcal{L}$ for some small $R$, where $B(R)$ denotes the round ball of capacity $R$.
- [21] arXiv:2405.03867 [pdf, ps, html, other]
-
Title: Extremes of interpolation scales of Banach spacesSubjects: Functional Analysis (math.FA)
M. Daher gave conditions so that the spheres of the spaces in the interior of a complex interpolation scale are uniformly homeomorphic. We look for sufficient conditions for the validity of this result and related ones on the extremes of the scale, with applications to uniform homeomorphism between spheres of Banach spaces and the sphere of $\ell_2$.
- [22] arXiv:2405.03871 [pdf, ps, html, other]
-
Title: Nonlinear Schr\"odinger-Poisson systems in dimension two: the zero mass caseSubjects: Analysis of PDEs (math.AP)
We provide an existence result for a Schrödinger-Poisson system in gradient form, set in the whole plane, in the case of zero mass. Since the setting is limiting for the Sobolev embedding, we admit nonlinearities with subcritical or critical growth in the sense of Trudinger-Moser. In particular, the absence of the mass term requires a nonstandard functional framework, based on homogeneous Sobolev spaces. These features, combined with the logarithmic behaviour of the kernel of the Poisson equation, make the analysis delicate, since standard variational tools cannot be applied. The system is solved by considering the corresponding logarithmic Choquard equation. We prove the existence of a mountain pass-type solution via a careful analysis on specific Cerami sequences, whose boundedness is achieved by exploiting an appropriate functional, obtained by evaluating the energy functional on particular paths.
- [23] arXiv:2405.03886 [pdf, ps, other]
-
Title: Purity for PerfectoidnessComments: 55 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits of semi-stable affine schemes. In fact, we established a valuative criterion for such an algebra being perfectoid, saying that it suffices to check the perfectoidness of the stalks of the associated Riemann-Zariski space. Combining with Gabber-Ramero's computation of differentials of valuation rings, we obtain a differential criterion for perfectoidness. We also establish a purity result for perfectoidness when the limit preserves generic points of the special fibres.
As an application to limits of smooth $p$-adic varieties (on the generic point), assuming either the poly-stable modification conjecture or working only with curves, we prove that stalk-wise perfectoidness implies vanishing of the higher completed étale cohomology groups of the smooth varieties, which is inspired by Scholze's vanishing for Shimura varieties. Moreover, we give an explicit description of the completed étale cohomology group in the top degree in terms of the colimit of Zariski cohomology groups of the structural sheaves. - [24] arXiv:2405.03888 [pdf, ps, html, other]
-
Title: Measurized Discounted Markov Decision ProcessesSubjects: Optimization and Control (math.OC)
In this paper, we build a framework that facilitates the analysis of discounted infinite horizon Markov Decision Processes (MDPs) by visualizing them as deterministic processes where the states are probability measures on the original state space and the actions are stochastic kernels on the original action space. We provide a simple general algebraic approach to lifting any MDP to this space of measures; we call this to measurize the original stochastic MDP. We show that measurized MDPs are in fact a generalization of stochastic MDPs, thus the measurized framework can be deployed without loss of fidelity. Lifting an MDP can be convenient because the measurized framework enables constraints and value function approximations that are not easily available from the standard MDP setting. For instance, one can add restrictions or build approximations based on moments, quantiles, risk measures, etc. Moreover, since the measurized counterpart to any MDP is deterministic, the measurized optimality equations trade the complexity of dealing with the expected value function that appears in the stochastic optimality equations with a more complex state space.
- [25] arXiv:2405.03895 [pdf, ps, html, other]
-
Title: Quasi-positive curvature and vanishing theoremsComments: 10 pagesSubjects: Differential Geometry (math.DG)
In this paper, we consider mixed curvature $\mathcal{C}_{a,b}$, which is a convex combination of Ricci curvature and holomorphic sectional curvature introduced by Chu-Lee-Tam. We prove that if a compact complex manifold M admits a Kähler metric with quasi-positive mixed curvature and $3a+2b\geq0$, then it is projective. If $a,b\geq0$, then M is rationally connected. As a corollary, the same result holds for k-Ricci curvature. We also show that any compact Kähler manifold with quasi-positive 2-scalar curvature is projective. Lastly, we generalize the result to the Hermitian case. In particular, any compact Hermitian threefold with quasi-positive real bisectional curvature have vanishing Hodge number $h^{2,0}$. Furthermore, if it is Kählerian, it is projective.
- [26] arXiv:2405.03897 [pdf, ps, other]
-
Title: Symmetries of the cyclic nerveSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); K-Theory and Homology (math.KT)
We undertake a systematic study of the Hochschild homology, i.e. (the geometric realization of) the cyclic nerve, of $(\infty,1)$-categories (and more generally of category-objects in an $\infty$-category), as a version of factorization homology. In order to do this, we codify $(\infty,1)$-categories in terms of quiver representations in them. By examining a universal instance of such Hochschild homology, we explicitly identify its natural symmetries, and construct a non-stable version of the cyclotomic trace map. Along the way we give a unified account of the cyclic, paracyclic, and epicyclic categories. We also prove that this gives a combinatorial description of the $n=1$ case of factorization homology as presented in [AFR18], which parametrizes $(\infty,1)$-categories by solidly 1-framed stratified spaces.
- [27] arXiv:2405.03909 [pdf, ps, html, other]
-
Title: Stability of traveling waves in non-cooperative systems with nonlocal dispersal of equal diffusivitiesSubjects: Analysis of PDEs (math.AP)
In this work, we first prove a stability theorem for traveling waves in a class of non-cooperative reaction-diffusion systems with nonlocal dispersal of equal diffusivities. Our stability criterion is in the sense that the initial perturbation is such that a suitable weighted relative entropy function is bounded and integrable. Then we apply our main theorem to derive the stability of traveling waves for some specific examples of non-cooperative systems arising in ecology and epidemiology.
- [28] arXiv:2405.03921 [pdf, ps, other]
-
Title: Classification of two and three dimensional complete gradient Yamabe solitonsComments: 11 pagesSubjects: Differential Geometry (math.DG)
In this paper, we completely classify nontrivial nonflat three dimensional complete shrinking and steady gradient Yamabe solitons without any assumptions. We also give examples of complete expanding gradient Yamabe solitons. Furthermore, we give a proof of the classification of nontrivial two dimensional complete gradient Yamabe solitons without any assumptions.
- [29] arXiv:2405.03926 [pdf, ps, other]
-
Title: Generalized Nash equilibrium problems with quasi-linear constraintsSubjects: Optimization and Control (math.OC)
We study generalized Nash equilibrium problems (GNEPs) such that objectives are polynomial functions, and each player's constraints are linear in their own strategy. For such GNEPs, the KKT sets can be represented as unions of simpler sets by Carathéodory's theorem. We give a convenient representation for KKT sets using partial Lagrange multiplier expressions. This produces a set of branch polynomial optimization problems, which can be efficiently solved by Moment-SOS relaxations. By doing this, we can compute all generalized Nash equilibria or detect their nonexistence. Numerical experiments are also provided to demonstrate the computational efficiency.
- [30] arXiv:2405.03931 [pdf, ps, other]
-
Title: Incorporating changeable attitudes toward vaccination into an SIR infectious disease modelComments: 30 pages, 3 tables, 10 figuresSubjects: Dynamical Systems (math.DS); Populations and Evolution (q-bio.PE)
We develop a mechanistic model that classifies individuals both in terms of epidemiological status (SIR) and vaccination attitude (willing or unwilling), with the goal of discovering how disease spread is influenced by changing opinions about vaccination. Analysis of the model identifies existence and stability criteria for both disease-free and endemic disease equilibria. The analytical results, supported by numerical simulations, show that attitude changes induced by disease prevalence can destabilize endemic disease equilibria, resulting in limit cycles.
- [31] arXiv:2405.03934 [pdf, ps, other]
-
Title: When frieze patterns meet Y-systems: Y-frieze patternsSubjects: Combinatorics (math.CO)
We give an elementary account of the notion of Y-frieze patterns, explain some of their properties, and reveal their connection with Coxeter's frieze patterns.
- [32] arXiv:2405.03936 [pdf, ps, other]
-
Title: Zero order meromorphic solutions of $q$-difference equations of Malmquist typeComments: 13 pagesSubjects: Complex Variables (math.CV)
We consider the first order $q$-difference equation \begin{equation}\tag† f(qz)^n=R(z,f), \end{equation} where $q\not=0,1$ is a constant and $R(z,f)$ is rational in both arguments. When $|q|\not=1$, we show that, if $(†)$ has a zero order transcendental meromorphic solution, then $(†)$ reduces to a $q$-difference linear or Riccati equation, or to an equation that can be transformed to a $q$-difference Riccati equation. In the autonomous case, explicit meromorphic solutions of $(†)$ are presented. Given that $(†)$ can be transformed into a difference equation, we proceed to discuss the growth of the composite function $f(\omega(z))$, where $\omega(z)$ is an entire function satisfying $\omega(z+1)=q\omega(z)$, and demonstrate how the proposed difference Painlevé property, as discussed in the literature, applies for $q$-difference equations.
- [33] arXiv:2405.03937 [pdf, ps, other]
-
Title: On a convergence of positive continuous additive functionals in terms of their smooth measuresComments: 30 pagesSubjects: Probability (math.PR)
A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric on the space of measures of finite energy integrals and show some structures of the metric. Then, we show the compactness and give some examples of positive continuous additive functionals that the convergence holds in terms of the associated smooth measures.
- [34] arXiv:2405.03964 [pdf, ps, other]
-
Title: Examples of inclusions of unital $C\sp*$-algebras of index-finite type with the Rokhlin propertyComments: 12pages, 1 figureSubjects: Operator Algebras (math.OA)
In this note, we provide several examples of inclusions of unital $C\sp*$-algebras of index finite-type with the Rokhlin property lacking in literature and more importantly we construct the example which does not belong to the fixed point algebra model which means that for the inclusion $P \subset A$ there is neither finite group action $ G \curvearrowright A$ such that $P=A^{G}$ nor finite dimensional $C\sp*$- Hopf algebra action $H \curvearrowright A$ such that $P=A^{H}$.
- [35] arXiv:2405.03965 [pdf, ps, other]
-
Title: Twisted vortices in two-component Ginzburg-Landau theorySubjects: Mathematical Physics (math-ph)
In this note, a brief introduction to the physical and mathematical background of the two-component Ginzburg-Landau theory is given. From this theory we derive a boundary value problem whose solution can be obtained in part by solving a minimization problem using the technique of variational method, except that two of the eight boundary conditions cannot be satisfied. To overcome the difficulty of recovering the full set of boundary conditions, we employ a variety of methods, including the uniform estimation method and the bounded monotonic theorem, which may be applied to other complicated vortex problems in gauge field theories. The twisted vortex solutions are obtained as energy-minimizing cylindrically symmetric field configurations. We also give the sharp asymptotic estimates for the twisted vortex solutions at the origin and infinity.
- [36] arXiv:2405.03973 [pdf, ps, other]
-
Title: Restricting Rational Modules to Frobenius KernelsSubjects: Representation Theory (math.RT); Group Theory (math.GR)
Let $G$ be a connected reductive group over an algebraically closed field of characteristic $p>0$. Given an indecomposable G-module $M$, one can ask when it remains indecomposable upon restriction to the Frobenius kernel $G_r$, and when its $G_r$-socle is simple (the latter being a strictly stronger condition than the former). In this paper, we investigate these questions for $G$ having an irreducible root system of type A. Using Schur functors and inverse Schur functors as our primary tools, we develop new methods of attacking these problems, and in the process obtain new results about classes of Weyl modules, induced modules, and tilting modules that remain indecomposable over $G_r$.
- [37] arXiv:2405.03979 [pdf, ps, html, other]
-
Title: Dimension quotients as boundary limitsSubjects: Group Theory (math.GR); Category Theory (math.CT)
For a functor from the category of free presentations of a group to the category of all groups we define the boundary limit as an image of the natural map from limit to colimit. We show that the fourth dimension quotient of a group can be naturally described as the boundary limit of a simply-defined functor.
- [38] arXiv:2405.03982 [pdf, ps, html, other]
-
Title: Non-preservation of concavity properties by the Dirichlet heat flow on Riemannian manifoldsComments: 18 pages. Comments welcome!Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We prove that no concavity properties are preserved by the Dirichlet heat flow in a totally convex domain of a Riemannian manifold unless the sectional curvature vanishes everywhere on the domain.
- [39] arXiv:2405.03984 [pdf, ps, html, other]
-
Title: Inhomogeneous wave kinetic equation and its hierarchy in polynomially weighted $L^\infty$ spacesComments: 40 pagesSubjects: Analysis of PDEs (math.AP)
Inspired by ideas stemming from the analysis of the Boltzmann equation, in this paper we expand well-posedness theory of the spatially inhomogeneous 4-wave kinetic equation, and also analyze an infinite hierarchy of PDE associated with this nonlinear equation. More precisely, we show global in time well-posedness of the spatially inhomogeneous 4-wave kinetic equation for polynomially decaying initial data. For the associated infinite hierarchy, we construct global in time solutions using the solutions of the wave kinetic equation and the Hewitt-Savage theorem. Uniqueness of these solutions is proved by using a combinatorial board game argument tailored to this context, which allows us to control the factorial growth of the Dyson series.
- [40] arXiv:2405.03993 [pdf, ps, html, other]
-
Title: Capillary Surfaces in Manifolds with Nonnegative Scalar Curvature and Strictly Mean Convex BoundaryComments: 19 pages, 1 figure, comments welcome!Subjects: Differential Geometry (math.DG)
In this paper we use stable capillary surfaces (analogous to the $\mu$-bubble construction) to study manifolds with strictly mean convex boundary and nonnegative scalar curvature. We give an obstruction to filling 2-manifolds by such 3-manifolds based on the Urysohn width. We also obtain a bandwidth estimate and establish other geometric properties of such manifolds.
- [41] arXiv:2405.04001 [pdf, ps, html, other]
-
Title: Volume growth and positive scalar curvatureComments: submitted to some journalSubjects: Differential Geometry (math.DG)
For three dimensional complete, non-compact Riemannian manifolds with non-negative Ricci curvature and uniformly positive scalar curvature, we obtain the sharp linear volume growth ratio and the corresponding rigidity.
- [42] arXiv:2405.04002 [pdf, ps, html, other]
-
Title: Quadratic varieties of small codimensionComments: 14 pagesSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
Let $X \subset \mathbb P^{n+c}$ be a nondegenerate smooth projective variety of dimension $n$ defined by quadratic equations. For such varieties, P. Ionescu and F. Russo proved the Hartshorne conjecture on complete intersections, which states that X is a complete intersection provided that $n\geq 2c+1$. As the extremal case, they also classified $X$ with $n=2c$. In this paper, we classify $X$ with $n=2c-1$.
- [43] arXiv:2405.04004 [pdf, ps, other]
-
Title: Multiple consecutive runs of multi-state trials: distributions of $(k_1, k_2, \dots, k_\ell)$ patternsJournal-ref: Journal of Computational and Applied Mathematics, Volume 403, 113846 (2022)Subjects: Combinatorics (math.CO); Probability (math.PR)
The pattern $(k_1, k_2, \dots, k_\ell)$ is defined to have at least $k_1$ consecutive $1$'s followed by at least $k_2$ consecutive $2$'s, $\dots$, followed by at least $k_\ell$ consecutive $\ell$'s. By iteratively applying the method that was developed previously to decouple the combinatorial complexity involved in studying complicated patterns in random sequences, the distribution of pattern $(k_1, k_2, \dots, k_\ell)$ is derived for arbitrary $\ell$. Numerical examples are provided to illustrate the results.
- [44] arXiv:2405.04005 [pdf, ps, other]
-
Title: A classification of semi-equivelar gems on the surface with Euler characteristic $-1$Comments: 14 pages, 13 figuresSubjects: Combinatorics (math.CO); Geometric Topology (math.GT)
A semi-equivelar gem of a PL $d$-manifold is a regular colored graph that represents the PL $d$-manifold and regularly embeds on a surface, with the property that the cyclic sequence of degrees of faces in the embedding around each vertex is identical. In \cite{bb24}, the authors classified semi-equivelar gems of PL $d$-manifolds embedded on surfaces with Euler characteristics greater than or equal to zero. In this article, we focus on classifying semi-equivelar gems of PL $d$-manifolds embedded on the surface with Euler characteristic $-1$. We prove that if a semi-equivelar gem embeds on the surface with Euler characteristic $-1$, then it belongs to one of the following types: $(8^3), (6^2,8), (6^2,12), (10^2,4), (12^2,4),$ $ (4,6,14), (4,6,16), (4,6,18), (4,6,24), (4,8,10), (4,8,12),$ or $(4,8,16)$. Furthermore, we provide constructions that demonstrate the existence of such gems for each of the aforementioned types.
- [45] arXiv:2405.04014 [pdf, ps, other]
-
Title: On the uniqueness of the mild solution of the critical quasi-geostrophic equationComments: 13 pagesSubjects: Analysis of PDEs (math.AP)
We demonstrate that the uniqueness of the mild solution of the two-dimensional quasi-geostrophic equation with the critical dissipation holds in the scaling critical homogeneous Besov space $\dot{B}^0_{\infty,1}$. We consider a solustion of integral equation, and our result does not need regularity assumption.
- [46] arXiv:2405.04022 [pdf, ps, html, other]
-
Title: On $n$-Dimensional Sequences. IComments: This is my original latex document submitted to Journal of Symbolic Computation without the typographical errors which were introduced: 'The Journal apologizes for the typographical errors in Norton (1995) introduced in the subediting process'; see this journal, (1995)20, 769-770Journal-ref: J. Symbolic Computation (1995), 20, 71-92Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC)
Let $R$ be a commutative ring and let $n \geq 1.$ We study $\Gamma(s)$, the generating function and Ann$(s)$, the ideal of characteristic polynomials of $s$, an $n$--dimensional sequence over $R$.
We express $f(X_1,\ldots,X_n) \cdot \Gamma(s)(X_1^{-1},\ldots ,X_n^{-1})$ as a partitioned sum. That is, we give (i) a $2^n$--fold ``border'' partition (ii) an explicit expression for the product as a $2^n$--fold sum; the support of each summand is contained in precisely one member of the partition. A key summand is $\beta_0(f,s)$, the ``border polynomial'' of $f$ and $s$, which is divisible by $X_1\cdots X_n$.
We say that $s$ is {\em eventually rectilinear} if the elimination ideals Ann$(s)\cap R[X_i]$ contain an $f_i(X_i)$ for $1 \leq i \leq n$. In this case, we show that $\mbox{Ann}(s)$ is the ideal quotient $(\sum_{i=1}^n(f_i)\ :\ \beta_0(f,s)/(X_1\cdots X_n)).$
When $R$ and $R[[X_1,X_2, \ldots ,X_n]]$ are factorial domains (e.g. $R$ a principal ideal domain or ${\Bbb F}[X_1,\ldots,X_n]$), we compute {\em the monic generator} $\gamma _i$ of $\mbox{Ann}(s) \cap R[X_i]$ from known $f_i \in \mbox{Ann}(s) \cap R[X_i]$ or from a finite number of $1$--dimensional linear recurring sequences over $R$. Over a field ${\Bbb F}$ this gives an $O(\prod_{i=1}^n \delta \gamma _i^3)$ algorithm to compute an ${\Bbb F}$--basis for $\mbox{Ann}(s)$. - [47] arXiv:2405.04040 [pdf, ps, other]
-
Title: Bohr radius for invariant families of bounded analytic functions and certain Integral transformsComments: 18 pages, 1 figureSubjects: Complex Variables (math.CV)
In this paper, we first obtain a refined Bohr radius for invariant families of bounded analytic functions on unit disk $ \mathbb{D} $. Then, we obtain Bohr inequality for certain integral transforms, namely Fourier (discrete) and Laplace (discrete) transforms of bounded analytic functions $ f(z)=\sum_{n=0}^{\infty}a_nz^n $, in a simply connected domain \begin{align*}
\Omega_\gamma=\biggl\{z\in\mathbb{C}: \bigg|z+\dfrac{\gamma}{1-\gamma}\bigg|<\dfrac{1}{1-\gamma}\;\mbox{for}\; 0\leq \gamma<1\biggr\},
\end{align*} where $ \Omega_0=\mathbb{D} $. These results generalize some existing results. We also show that a better estimate can be obtained in radius and inequality can be shown sharp for Laplace transform of $ f $. - [48] arXiv:2405.04047 [pdf, ps, html, other]
-
Title: Uniform-in-time estimates for mean-field type SDEs and applicationsSubjects: Probability (math.PR)
Via constructing an asymptotic coupling by reflection, in this paper we establish uniform-in-time estimates on probability distances for mean-field type SDEs, where the drift terms under consideration are dissipative merely in the long distance. As applications, we (i) explore the long time probability distance estimate between an SDE and its delay version; (ii) investigate the issue on uniform-in-time propagation of chaos for McKean-Vlasov SDEs, where the drifts might be singular with respect to the spatial variables and need not to be of convolution type; (iii) tackle the discretization error bounds in an infinite-time horizon for stochastic algorithms (e.g. backward/tamed/adaptive Euler-Maruyama schemes as three typical candidates) associated with McKean-Vlasov SDEs.
- [49] arXiv:2405.04050 [pdf, ps, html, other]
-
Title: Learning Linear Block Error Correction CodesSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)
Error correction codes are a crucial part of the physical communication layer, ensuring the reliable transfer of data over noisy channels. The design of optimal linear block codes capable of being efficiently decoded is of major concern, especially for short block lengths. While neural decoders have recently demonstrated their advantage over classical decoding techniques, the neural design of the codes remains a challenge. In this work, we propose for the first time a unified encoder-decoder training of binary linear block codes. To this end, we adapt the coding setting to support efficient and differentiable training of the code for end-to-end optimization over the order two Galois field. We also propose a novel Transformer model in which the self-attention masking is performed in a differentiable fashion for the efficient backpropagation of the code gradient. Our results show that (i) the proposed decoder outperforms existing neural decoding on conventional codes, (ii) the suggested framework generates codes that outperform the {analogous} conventional codes, and (iii) the codes we developed not only excel with our decoder but also show enhanced performance with traditional decoding techniques.
- [50] arXiv:2405.04051 [pdf, ps, html, other]
-
Title: On the quantization goodness of polar latticesComments: 12 pages, 5 figures, submitted to IEEE for possible publicationSubjects: Information Theory (cs.IT)
In this work, we prove that polar lattices, when tailored for lossy compression, are quantization-good in the sense that their normalized second moments approach $\frac{1}{2\pi e}$ as the dimension of lattices increases. It has been predicted by Zamir et al. \cite{ZamirQZ96} that the Entropy Coded Dithered Quantization (ECDQ) system using quantization-good lattices can achieve the rate-distortion bound of i.i.d. Gaussian sources. In our previous work \cite{LingQZ}, we established that polar lattices are indeed capable of attaining the same objective. It is reasonable to conjecture that polar lattices also demonstrate quantization goodness in the context of lossy compression. This study confirms this hypothesis.
- [51] arXiv:2405.04055 [pdf, ps, other]
-
Title: Expansion of the Many-body Quantum Gibbs State of the Bose-Hubbard Model on a Finite GraphSubjects: Mathematical Physics (math-ph)
We consider the many-body quantum Gibbs state for the Bose-Hubbard model on a finite graph at positive temperature. We scale the interaction with the inverse temperature, corresponding to a mean-field limit where the temperature is of the order of the average particle number. For this model it is known that the many-body Gibbs state converges, as temperature goes to infinity, to the Gibbs measure of a discrete nonlinear Schrödinger equation, i.e., a Gibbs measure defined in terms of a one-body theory. In this article we extend these results by proving an expansion to any order of the many-body Gibbs state with inverse temperature as a small parameter. The coefficients in the expansion can be calculated as vacuum expectation values using a recursive formula, and we compute the first two coefficients explicitly.
- [52] arXiv:2405.04058 [pdf, ps, html, other]
-
Title: On the irreducibility of $f(2^n,3^m,X)$ and other such polynomialsSubjects: Number Theory (math.NT)
Let $f(t_1, \ldots, t_r, X)\in \mathbb{Z}[t_1, \ldots, t_r,X]$ be irreducible and let $a_1, \ldots, a_r\in \mathbb{Z} \smallsetminus \{0,\pm 1\}$. Under a necessary ramification assumption on $f$, and conditionally on the Generalized Riemann Hypothesis, we show that for almost all integers $n_1, \ldots, n_r$, the polynomial $f(a_1^{n_1}, \ldots, a_r^{n_r}, X)$ is irreducible in $\mathbb{Q}[X]$.
- [53] arXiv:2405.04067 [pdf, ps, other]
-
Title: Nef cones of some Quot SchemesSubjects: Algebraic Geometry (math.AG)
Let $C$ be a smooth projective curve over $\mathbb C$ of genus $g(C)\geqslant 3$ (respectively, $g(C)=2$). Fix integers $r,k$ such that $2\leqslant k\leqslant r-2$, (respectively, $3\leqslant k\leqslant r-2$). Let $\mathcal Q:=\mathcal Q_{C/ \mathbb C}(\mathcal O^{\oplus r}_C, k, d)$ be the Quot scheme parametrizing rank $k$ and degree $d$ quotients of the trivial bundle of rank $r$. Let $\mathcal Q_L$ denote the closed subscheme of the Quot scheme parametrizing quotients such that the quotient sheaf has determinant $L$. It is known that $\mathcal Q_L$ is an integral, normal, local complete intersection, locally factorial scheme of Picard rank 2, when $d\gg0$. In this article we compute the nef cone and canonical divisor of this variety when $d\gg0$. We show this variety is Fano iff $r=2k+1$.
- [54] arXiv:2405.04070 [pdf, ps, other]
-
Title: Weak and Perron's Solutions to Linear Kinetic Fokker-Planck Equations of Divergence Form in Bounded DomainsComments: 39 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate weak solutions and Perron-Wiener-Brelot solutions to the linear kinetic Fokker-Planck equation in bounded domains. We establish the existence of weak solutions by applying the Lions-Lax-Milgram theorem and the vanishing viscosity method in product domains. Additionally, we demonstrate the regularity of weak solutions and establish a strong maximum principle. Furthermore, we construct a Perron solution and provide examples of barriers in arbitrary bounded domains. Our findings are based on recent advancements in the theory of kinetic Fokker-Planck equations with rough coefficients, particularly focusing on the characterization of a weaker notion of trace defined through convolution-translation.
- [55] arXiv:2405.04073 [pdf, ps, html, other]
-
Title: Precise Large Deviations For The Total Population Of Heavy-Tailed Subcritical Branching Process With ImmigrationSubjects: Probability (math.PR)
In this article we focus on the partial sum $S_{n}=X_{1}+\cdots+X_{n}$ of the subcritical branching process with immigration $\{X_{n}\}_{n\in\mathbb{N_{+}}}$, under the condition that one of the offspring $\xi$ or immigration $\eta$ is regularly varying. The tail distribution of $S_n$ is heavily dependent on that of $\xi$ and $\eta$, and a precise large deviation probability for $S_{n}$ is specified. (i)When the tail of offspring $\xi$ is lighter than immigration $\eta$, uniformly for $x\geq x_{n}$, $P(S_{n}-ES_{n}>x)\sim c_{1}nP(\eta>x)$ with some constant $c_{1}$ and sequence $\{x_{n}\}$, where $c_{1}$ is only related to the mean of offspring; (ii) When the tail of immigration $\eta$ is not heavier than offspring $\xi$, uniformly for $x\geq x_{n}$,$P(S_{n} ES_{n}>x)\sim c_{2}nP(\xi>x)$ with some constant $c_{2}$ and sequence $\{x_{n}\}$, where $c_{2}$ is related to both the mean of offspring and the mean of immigration.
- [56] arXiv:2405.04076 [pdf, ps, html, other]
-
Title: 2d Sinh-Gordon model on the infinite cylinderComments: 35 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
For $R>0$, we give a rigorous probabilistic construction on the cylinder $\mathbb{R} \times (\mathbb{R}/(2\pi R\mathbb{Z}))$ of the (massless) Sinh-Gordon model. In particular we define the $n$-point correlation functions of the model and show that these exhibit a scaling relation with respect to $R$. The construction, which relies on the massless Gaussian Free Field, is based on the spectral analysis of a quantum operator associated to the model. Using the theory of Gaussian multiplicative chaos, we prove that this operator has discrete spectrum and a strictly positive ground state.
- [57] arXiv:2405.04083 [pdf, ps, html, other]
-
Title: On the representation of C-recursive integer sequences by arithmetic termsComments: 20 pagesSubjects: Logic (math.LO)
We show that, if an integer sequence is given by a linear recurrence of constant rational coefficients, then it can be represented as the difference of two arithmetic terms with exponentiation, which do not contain any irrational constant. We apply our methods to various Lucas sequences including the classical Fibonacci sequence, to the sequence of solutions of the Pell equation and to some natural C-recursive sequences of degree 3.
- [58] arXiv:2405.04084 [pdf, ps, html, other]
-
Title: Existence and dynamical behaviour of vectorial standing waves with prescribed mass for Hartree-Fock type systemsSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate vectorial standing waves with prescribed mass for the Hartree-Fock type system (HF system) with the double coupled feature. Such system is viewed as an approximation of the Coulomb system with two particles appeared in quantum mechanics. By exploring the interaction of the double coupled terms, we prove the exis?tence/nonexistence and symmetry of vectorial energy ground states for the corresponding stationary problem. Furthermore, we obtain the relation between vectorial energy ground states and vectorial action ground states in some cases. Finally, we establish conditions for global well-posedness and finite time blow-up to HF system with the initial data, and prove orbital stability/strong instability of standing waves.
- [59] arXiv:2405.04088 [pdf, ps, other]
-
Title: Parametric set-theoretic Yang-Baxter equation: p-racks, solutions & quantum algebrasComments: 31 pages, LaTexSubjects: Mathematical Physics (math-ph); Quantum Algebra (math.QA); Rings and Algebras (math.RA)
The theory of the parametric set-theoretic Yang-Baxter equation is established from a purely algebraic point of view. The first step towards this objective is the introduction of certain generalizations of the familiar shelves and racks called parametric (p)-shelves and racks. These objects satisfy a parametric self-distributivity condition and lead to solutions of the Yang-Baxter equation. Novel, non-reversible solutions are obtained from p-shelve/rack solutions by a suitable parametric twist, whereas all reversible set-theoretic solutions are reduced to the identity map via a parametric twist. The universal algebras associated to both p-rack and generic parametric, set-theoretic solutions are next presented and the corresponding universal R-matrices are derived. The admissible universal Drinfel'd twist is constructed allowing the derivation of the general set-theoretic universal R-matrix. By introducing the concept of a parametric coproduct we prove the existence of a parametric co-associativity. We show that the parametric coproduct is an algebra homomorphsim and the universal R-matrices satisfy intertwining relations with the algebra coproducts.
- [60] arXiv:2405.04091 [pdf, ps, html, other]
-
Title: Randomized iterative methods for generalized absolute value equations: Solvability and error boundsSubjects: Numerical Analysis (math.NA)
Randomized iterative methods, such as the Kaczmarz method and its variants, have gained growing attention due to their simplicity and efficiency in solving large-scale linear systems. Meanwhile, absolute value equations (AVE) have attracted increasing interest due to their connection with the linear complementarity problem. In this paper, we investigate the application of randomized iterative methods to generalized AVE (GAVE). Our approach differs from most existing works in that we tackle GAVE with non-square coefficient matrices. We establish more comprehensive sufficient and necessary conditions for characterizing the solvability of GAVE and propose precise error bound conditions. Furthermore, we introduce a flexible and efficient randomized iterative algorithmic framework for solving GAVE, which employs sampling matrices drawn from user-specified distributions. This framework is capable of encompassing many well-known methods, including the Picard iteration method and the randomized Kaczmarz method. Leveraging our findings on solvability and error bounds, we establish both almost sure convergence and linear convergence rates for this versatile algorithmic framework. Finally, we present numerical examples to illustrate the advantages of the new algorithms.
- [61] arXiv:2405.04094 [pdf, ps, other]
-
Title: Harper's beyond square-root conjectureComments: 24 pagesSubjects: Number Theory (math.NT); Probability (math.PR)
We explain how the (shifted) Ratios Conjecture for $L(s,\chi)$ would extend a randomization argument of Harper from a conductor-limited range to an unlimited range of ``beyond square-root cancellation'' for character twists of the Liouville function. As a corollary, the Liouville function would have nontrivial cancellation in arithmetic progressions of modulus just exceeding the well-known square-root barrier. Morally, the paper passes from random matrices to random multiplicative functions.
- [62] arXiv:2405.04106 [pdf, ps, html, other]
-
Title: Counting core sets in matrix rings over finite fieldsSubjects: Rings and Algebras (math.RA)
Let $R$ be a commutative ring and $M_n(R)$ be the ring of $n \times n$ matrices with entries from $R$. For each $S \subseteq M_n(R)$, we consider its (generalized) null ideal $N(S)$, which is the set of all polynomials $f$ with coefficients from $M_n(R)$ with the property that $f(A) = 0$ for all $A \in S$. The set $S$ is said to be core if $N(S)$ is a two-sided ideal of $M_n(R)[x]$. It is not known how common core sets are among all subsets of $M_n(R)$. We study this problem for $2 \times 2$ matrices over $\mathbb{F}_q$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We provide exact counts for the number of core subsets of each similarity class of $M_2(\mathbb{F}_q)$. While not every subset of $M_2(\mathbb{F}_q)$ is core, we prove that as $q \to \infty$, the probability that a subset of $M_2(\mathbb{F}_q)$ is core approaches 1. Thus, asymptotically in~$q$, almost all subsets of $M_2(\mathbb{F}_q)$ are core.
- [63] arXiv:2405.04116 [pdf, ps, other]
-
Title: Semi-implicit Lagrangian Voronoi Approximation for the incompressible Navier-Stokes equationsComments: 22 pages, 13 figuresSubjects: Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)
We introduce Semi-Implicit Lagrangian Voronoi Approximation (SILVA), a novel numerical method for the solution of the incompressible Euler and Navier-Stokes equations, which combines the efficiency of semi-implicit time marching schemes with the robustness of time-dependent Voronoi tessellations. In SILVA, the numerical solution is stored at particles, which move with the fluid velocity and also play the role of the generators of the computational mesh. The Voronoi mesh is rapidly regenerated at each time step, allowing large deformations with topology changes. As opposed to the reconnection-based Arbitrary-Lagrangian-Eulerian schemes, we need no remapping stage. A semi-implicit scheme is devised in the context of moving Voronoi meshes to project the velocity field onto a divergence-free manifold. We validate SILVA by illustrative benchmarks, including viscous, inviscid, and multi-phase flows. Compared to its closest competitor, the Incompressible Smoothed Particle Hydrodynamics (ISPH) method, SILVA offers a sparser stiffness matrix and facilitates the implementation of no-slip and free-slip boundary conditions.
- [64] arXiv:2405.04117 [pdf, ps, html, other]
-
Title: Nut graphs with a given automorphism groupComments: 10 pages, 7 figuresSubjects: Combinatorics (math.CO)
A nut graph is a simple graph of order 2 or more for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry (i.e. are full). It is shown by construction that every finite group can be represented as the group of automorphisms of infinitely many nut graphs. It is further shown that such nut graphs exist even within the class of regular graphs; the cases where the degree is 8, 12, 16, 20 or 24 are realised explicitly.
- [65] arXiv:2405.04119 [pdf, ps, other]
-
Title: Diameter of the inversion graphSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In an oriented graph $\vec{G}$, the inversion of a subset $X$ of vertices consists in reversing the orientation of all arcs with both endvertices in $X$. The inversion graph of a labelled graph $G$, denoted by ${\mathcal{I}}(G)$, is the graph whose vertices are the labelled orientations of $G$ in which two labelled orientations $\vec{G}_1$ and $\vec{G}_2$ of $G$ are adjacent if and only if there is an inversion $X$ transforming $\vec{G}_1$ into $\vec{G}_2$. In this paper, we study the inversion diameter of a graph which is the diameter of its inversion graph denoted by $diam(\mathcal{I}(G))$. We show that the inversion diameter is tied to the star chromatic number, the acyclic chromatic number and the oriented chromatic number. Thus a graph class has bounded inversion diameter if and only if it also has bounded star chromatic number, acyclic chromatic number and oriented chromatic number. We give some upper bounds on the inversion diameter of a graph $G$ contained in one of the following graph classes: planar graphs ($diam(\mathcal{I}(G)) \leq 12$), planar graphs of girth 8 ($diam(\mathcal{I}(G)) \leq 3$), graphs with maximum degree $\Delta$ ($diam(\mathcal{I}(G)) \leq 2\Delta -1$), graphs with treewidth at mots $t$ ($diam(\mathcal{I}(G)) \leq 2t$).
We also show that determining the inversion diameter of a given graph is NP-hard. - [66] arXiv:2405.04120 [pdf, ps, html, other]
-
Title: Movable Antennas-Enabled Two-User Multicasting: Do We Really Need Alternating Optimization for Minimum Rate Maximization?Subjects: Information Theory (cs.IT)
Movable antenna (MA) technology, which can reconfigure wireless channels by flexibly moving antenna positions in a specified region, has great potential for improving communication performance. In this paper, we consider a new setup of MAs-enabled multicasting, where we adopt a simple setting in which a linear MA array-enabled source (${\rm{S}}$) transmits a common message to two single-antenna users ${\rm{U}}_1$ and ${\rm{U}}_2$. We aim to maximize the minimum rate among these two users, by jointly optimizing the transmit beamforming and antenna positions at ${\rm{S}}$. Instead of utilizing the widely-used alternating optimization (AO) approach, we reveal, with rigorous proof, that the above two variables can be optimized separately: i) the optimal antenna positions can be firstly determined via the successive convex approximation technique, based on the rule of maximizing the correlation between ${\rm{S}}$-${\rm{U}}_1$ and ${\rm{S}}$-${\rm{U}}_2$ channels; ii) afterwards, the optimal closed-form transmit beamforming can be derived via simple arguments. Compared to AO, this new approach yields the same performance but reduces the computational complexities significantly. Moreover, it can provide insightful conclusions which are not possible with AO.
- [67] arXiv:2405.04123 [pdf, ps, other]
-
Title: Two uniqueness results in the inverse boundary value problem for the weighted p-Laplace equationSubjects: Analysis of PDEs (math.AP)
In this paper we prove a general uniqueness result in the inverse boundary value problem for the weighted p-Laplace equation in the plane, with smooth weights. We also prove a uniqueness result in dimension 3 and higher, for real analytic weights that are subject to a smallness condition on one of their directional derivatives. Both results are obtained by linearizing the equation at a solution without critical points. This unknown solution is then recovered, together with the unknown weight.
- [68] arXiv:2405.04137 [pdf, ps, html, other]
-
Title: Deformed quantum vertex algebra modules associated with braidingsComments: 25 pages, comments are welcomeSubjects: Quantum Algebra (math.QA); Representation Theory (math.RT)
We introduce the notion of deformed quantum vertex algebra module associated with a braiding map. We construct two families of braiding maps over the Etingof-Kazhdan quantum vertex algebras associated with the rational $R$-matrices of classical types. We investigate their properties and demonstrate the applications of the corresponding deformed modules to the (generalized) Yangians and reflection algebras.
- [69] arXiv:2405.04141 [pdf, ps, other]
-
Title: Element orders in extraspecial groupsComments: accepted for publication in Acta Math. HungSubjects: Group Theory (math.GR)
By using the structure and some properties of extraspecial and generalized/almost extraspecial $p$-groups, we explicitly determine the number of elements of specific orders in such groups. As a consequence, one may find the number of cyclic subgroups of any (generalized/almost) extraspecial group. For a finite group $G$, the ratio of the number of cyclic subgroups to the number of subgroups is called the cyclicity degree of $G$ and is denoted by $cdeg(G)$. We show that the set containing the cyclicity degrees of all finite groups is dense in $[0, 1]$. This is equivalent to giving an affirmative answer to the following question posed by Tóth and Tărnăuceanu: ``For every $a\in [0, 1]$, does there exist a sequence $(G_n)_{n\geq 1}$ of finite groups such that $\displaystyle\lim_{n\to\infty} cdeg(G_n)=a$?". We show that such sequences are formed of finite direct products of extraspecial groups of a specific type.
- [70] arXiv:2405.04143 [pdf, ps, html, other]
-
Title: A Design Criterion for the Rayleigh Fading Wiretap Channel Based on $\ell^1$-norm Theta FunctionsComments: 20 pagesSubjects: Number Theory (math.NT)
We show that the correct decoding probability of an eavesdropper and error probability of a legitimate receiver in a Rayleigh fading wiretap channel with lattice coset coding are both upper bounded by the theta function in the $\ell^1$-norm of the dual code lattices. Motivated by these findings, we derive a closed form expression for the $\ell^1$-norm theta function of any sublattice of $\mathbb{Q}^n$ and its dual, and prove that the lattice $\mathbb{Z}^n$ minimizes the theta function among all scalings of $\mathbb{Z}^n$ along the coordinate axes. Furthermore, we develop a method to algorithmically find locally critical lattice packings of the $n$-dimensional cross-polytope. Using this method, we are able to construct a four-dimensional lattice having a packing density of $\Delta\approx 0.824858$ and kissing number 30, improving on the best known lattice packing density of the cross-polytope in dimension four.
- [71] arXiv:2405.04144 [pdf, ps, other]
-
Title: Lossy Compression with Data, Perception, and Classification ConstraintsComments: 10 pages, in part submitted to ITW 2024Subjects: Information Theory (cs.IT)
Balancing diverse task objectives under limited rate is crucial for developing robust multi-task deep learning (DL) models and improving performance across various domains. In this paper, we consider the lossy compression problem with human-centric and task-oriented metrics, such as perceptual quality and classification accuracy. We investigate two ternary relationships, namely, the rate-distortion-classification (RDC) and rate-perception-classification (RPC). For both RDC and RPC functions, we derive the closed-form expressions of the optimal rate for both binary and Gaussian sources. Notably, both RDC and RPC relationships exhibit distinct characteristics compared to the previous RDP tradeoff proposed by Blau et al. Then, we conduct experiments by implementing a DL-based image compression framework, incorporating rate, distortion, perception, and classification constraints. The experimental results verify the theoretical characteristics of RDC and RPC tradeoffs, providing information-theoretical insights into the design of loss functions to balance diverse task objectives in deep learning.
- [72] arXiv:2405.04150 [pdf, ps, other]
-
Title: Subdifferentially polynomially bounded functions and Gaussian smoothing-based zeroth-order optimizationSubjects: Optimization and Control (math.OC)
We introduce the class of subdifferentially polynomially bounded (SPB) functions, which is a rich class of locally Lipschitz functions that encompasses all Lipschitz functions, all gradient- or Hessian-Lipschitz functions, and even some non-smooth locally Lipschitz functions. We show that SPB functions are compatible with Gaussian smoothing (GS), in the sense that the GS of any SPB function is well-defined and satisfies a descent lemma akin to gradient-Lipschitz functions, with the Lipschitz constant replaced by a polynomial function. Leveraging this descent lemma, we propose GS-based zeroth-order optimization algorithms with an adaptive stepsize strategy for constrained minimization of SPB functions, and analyze their iteration complexity. An important instrument in our analysis, which could be of independent interest, is the quantification of Goldstein stationarity via the GS gradient.
- [73] arXiv:2405.04153 [pdf, ps, other]
-
Title: On the convergence of zeta functions of prehomogeneous vector spacesSubjects: Number Theory (math.NT)
We prove a general convergence result for zeta functions of prehomogeneous vector spaces extending results of H. Saito, F. Sato and Yukie. Our analysis points to certain subspaces which yield boundary terms. We study it further in the setup arising from nilpotent orbits. In certain cases we determine the residue at the rightmost pole of the zeta function.
- [74] arXiv:2405.04154 [pdf, ps, other]
-
Title: On the Erd\H{o}s-Tur\'an Conjecture and the growth of $B_{2}[g]$ sequencesComments: 36 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
When $g\in\mathbb{N}$ we say that $A\subset\mathbb{N}$ is a $B_{2}[g]$ sequence if every $m\in\mathbb{N}$ has at most $g$ distinct representations of the shape $m=b_{1}+b_{2}$ with $b_{1}\leq b_{2}$ and $b_{1},b_{2}\in A$. We show for every $0<\varepsilon<1$ that whenever $g>\frac{1}{\varepsilon}$ then there is a $B_{2}[g]$ sequence $A$ having the property that every sufficiently large $n\in\mathbb{N}$ can be written as $$n=a_{1}+a_{2}+a_{3},\ \ \ \ \ \ \ \ \ a_{3}\leq n^{\varepsilon}\ \ \ \ \ \ \ \ \ a_{i}\in A,$$ and satisfying for large $x$ the estimate $$\lvert A\cap [1,x]\rvert\gg x^{g/(2g+1)}.$$ The above lower bound improves upon earlier results of Cilleruelo and of Erdős and Renyi.
- [75] arXiv:2405.04162 [pdf, ps, html, other]
-
Title: Vaisman's theorem and local reducibilityComments: 8 pagesSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
As proven in a celebrated theorem due to Vaisman, pure locally conformally Kähler metrics do not exist on compact Kähler manifolds. In a previous paper, we extended this result to the singular setting, more precisely to Kähler spaces which are locally irreducible. Without the additional assumption of local irreducibility, there are counterexamples for which Vaisman's theorem does not hold. In this article, we give a much broader sufficient condition under which Vaisman's theorem still holds for compact Kähler spaces which are locally reducible.
- [76] arXiv:2405.04172 [pdf, ps, other]
-
Title: An efficient active-set method with applications to sparse approximations and risk minimizationSubjects: Optimization and Control (math.OC); Mathematical Software (cs.MS)
In this paper we present an efficient active-set method for the solution of convex quadratic programming problems with general piecewise-linear terms in the objective, with applications to sparse approximations and risk-minimization. The algorithm is derived by combining a proximal method of multipliers (PMM) with a standard semismooth Newton method (SSN), and is shown to be globally convergent under minimal assumptions. Further local linear (and potentially superlinear) convergence is shown under standard additional conditions. The major computational bottleneck of the proposed approach arises from the solution of the associated SSN linear systems. These are solved using a Krylov-subspace method, accelerated by certain novel general-purpose preconditioners which are shown to be optimal with respect to the proximal penalty parameters. The preconditioners are easy to store and invert, since they exploit the structure of the nonsmooth terms appearing in the problem's objective to significantly reduce their memory requirements. We showcase the efficiency, robustness, and scalability of the proposed solver on a variety of problems arising in risk-averse portfolio selection, $L^1$-regularized partial differential equation constrained optimization, quantile regression, and binary classification via linear support vector machines. We provide computational evidence, on real-world datasets, to demonstrate the ability of the solver to efficiently and competitively handle a diverse set of medium- and large-scale optimization instances.
- [77] arXiv:2405.04178 [pdf, ps, html, other]
-
Title: New degeneration phenomenon for infinite-type Riemann surfacesSubjects: Geometric Topology (math.GT); Complex Variables (math.CV)
Since the Teichmüller space of a surface $R$ is a deformation space of complex structures defined on $R$, its Bers boundary describes the degeneration of complex structures in a certain sense. In this paper, constructing a concrete example, we prove that if S is a Riemann surface of infinite type, there exists a Riemann surface with the marking, which is homeomorphic to the surface $R$ in the Bers boundary. We also show that many such degenerations exist in the Bers boundary.
- [78] arXiv:2405.04179 [pdf, ps, html, other]
-
Title: A fixed point results of Kannan-type for multi-valued mapping on fuzzy metric spacesComments: 8 pages, no figuresSubjects: General Topology (math.GN)
We prove a Kannan-type fixed point theorem for multi-valued mappings on G-complete fuzzy metric spaces. The proof uses the Hausdorff fuzzy metric space which was introduced by Rodriguez-Lopez and Romaguera [19].
- [79] arXiv:2405.04190 [pdf, ps, other]
-
Title: On the Euler characteristic of the commutative graph complex and the top weight cohomology of $\mathcal M_g$Comments: 27 pagesSubjects: Algebraic Topology (math.AT); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Combinatorics (math.CO)
We prove an asymptotic formula for the Euler characteristic of Kontsevich's commutative graph complex. This formula implies that the total amount of commutative graph homology grows super-exponentially with the rank and, via a theorem of Chan, Galatius, and Payne, that the dimension of the top weight cohomology of the moduli space of curves, $\mathcal M_g$, grows super-exponentially with the genus $g$.
- [80] arXiv:2405.04195 [pdf, ps, other]
-
Title: Rational methods for abstract linear, non-homogeneous problems without order reductionComments: 14 pages, 4 tablesSubjects: Numerical Analysis (math.NA)
Starting from an A-stable rational approximation to $\rm{e}^z$ of order $p$, $$r(z)= 1+ z+ \cdots + z^p/ p! + O(z^{p+1}),$$ families of stable methods are proposed to time discretize abstract IVP's of the type $u'(t) = A u(t) + f(t)$. These numerical procedures turn out to be of order $p$, thus overcoming the order reduction phenomenon, and only one evaluation of $f$ per step is required.
- [81] arXiv:2405.04199 [pdf, ps, other]
-
Title: Asymptotics of the partition function for beta-ensembles at high temperatureComments: Comments welcome!Subjects: Probability (math.PR); Mathematical Physics (math-ph)
We consider a model for a gas of $N$ confined particles interacting via a two-body logarithmic interaction, namely the real $\beta$-ensembles. We are interested in the regime where the inverse temperature scales as $N\beta=2P$ with $P$ a fixed positive parameter; this is called the high-temperature regime. The confining potential is of the form $x^2+\phi$ with bounded smooth function $\phi$. We establish for this model, the existence of a large-$N$ asymptotic expansion for the associated partition function. We also prove the existence of a large-$N$ asymptotic expansion of linear statistics for general confining potentials. Our method is based on the analysis of the loop equations. Finally, we establish a continuity result for the equilibrium density with respect to the potential dependence.
- [82] arXiv:2405.04200 [pdf, ps, other]
-
Title: Fibonacci Neural Network Approach for Numerical Solutions of Fractional Order Differential EquationsSubjects: Number Theory (math.NT)
In this paper, the authors propose the utilization of Fibonacci Neural Networks (FNN) for solving arbitrary order differential equations. The FNN architecture comprises input, middle, and output layers, with various degrees of Fibonacci polynomials serving as activation functions in the middle layer. The trial solution of the differential equation is treated as the output of the FNN, which involves adjustable parameters (weights). These weights are iteratively updated during the training of the Fibonacci neural network using backpropagation. The efficacy of the proposed method is evaluated by solving five differential problems with known exact solutions, allowing for an assessment of its accuracy. Comparative analyses are conducted against previously established techniques, demonstrating superior accuracy and efficacy in solving the addressed problems.
- [83] arXiv:2405.04202 [pdf, ps, html, other]
-
Title: Transference of measures via disintegrationComments: 43 pagesSubjects: Functional Analysis (math.FA)
Given a compact space $K$ and a Banach space $E$ we study the structure of positive measures on the product space $K\times B_{E^*}$ representing functionals on $C(K,E)$, the space of $E$-valued continuous functions on $K$. Using the technique of disintegration we provide an alternative approach to the procedure of transference of measures introduced by Batty (1990). This enables us to substantially strengthen some of his results, to discover a rich order structure on these measures, to identify maximal and minimal elements and to relate them to the classical Choquet order.
- [84] arXiv:2405.04204 [pdf, ps, html, other]
-
Title: Control in the coefficients of an elliptic differential operator: topological derivatives and Pontryagin maximum principleSubjects: Optimization and Control (math.OC)
We consider optimal control problems, where the control appears in the main part of the operator. We derive the Pontryagin maximum principle as a necessary optimality condition. The proof uses the concept of topological derivatives. In contrast to earlier works, we do not need continuity assumptions for the coefficient or gradients of solutions of partial differential equations. Following classical proofs, we consider perturbations of optimal controls by multiples of characteristic functions of sets, whose scaling factor is send to zero. For $2d$ problems, we can perform an optimization over the elliptic shapes of such sets leading to stronger optimality conditions involving a variational inequality of a new type.
- [85] arXiv:2405.04205 [pdf, ps, other]
-
Title: Darboux's Theorem, Lie series and the standardization of the Salerno and Ablowitz-Ladik modelsComments: 24 pages, 2 figuresJournal-ref: Physica D: Nonlinear Phenomena 463 (2024) 134183Subjects: Mathematical Physics (math-ph)
In the framework of nonlinear Hamiltonian lattices, we revisit the proof of Moser-Darboux's Theorem, in order to present a general scheme for its constructive applicability to Hamiltonian models with non-standard symplectic structures. We take as a guiding example the Salerno and Ablowitz-Ladik (AL) models: we justify the form of a well-known change of coordinates which is adapted to the Gauge symmetry, by showing that it comes out in a natural way within the general strategy outlined in the proof. Moreover, the full or truncated Lie-series technique in the extended phase-space is used to transform the Salerno model, at leading orders in the Darboux coordinates: thus the dNLS Hamiltonian turns out to be a normal form of the Salerno and AL models; as a byproduct we also get estimates of the dynamics of these models by means of dNLS one. We also stress that, once it is cast into the perturbative approach, the method allows to deal with the cases where the explicit trasformation is not known, or even worse it is not writable in terms of elementary functions.
- [86] arXiv:2405.04208 [pdf, ps, other]
-
Title: Collapsing immortal K\"ahler-Ricci flowsComments: 89 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We consider the Kähler-Ricci flow on compact Kähler manifolds with semiample canonical bundle and intermediate Kodaira dimension, and show that the flow collapses to a canonical metric on the base of the Iitaka fibration in the locally smooth topology and with bounded Ricci curvature away from the singular fibers. This follows from an asymptotic expansion for the evolving metrics, in the spirit of recent work of the first and third-named authors on collapsing Calabi-Yau metrics, and proves two conjectures of Song and Tian.
- [87] arXiv:2405.04209 [pdf, ps, other]
-
Title: Local derivations and automorphisms of nilpotent Lie algebraComments: 13 pagesSubjects: Rings and Algebras (math.RA)
The paper is devoted to the study of local derivations and automorphisms of nilpotent Lie algebras. Namely, we proved that nilpotent Lie algebras with indices of nilpotency $3$ and $4$ admit local derivation (local automorphisms) which is not a derivation (automorphisms). Further, it is presented a sufficient condition under which a nilpotent Lie algebra admits a local derivation which is not a derivation. With the same condition, it is proved the existence of pure local automorphism on a nilpotent Lie algebra. Finally, we present an $n$-dimensional non-associative algebra for which the space of local derivations coincides with the space of derivations.
- [88] arXiv:2405.04213 [pdf, ps, html, other]
-
Title: On left braces in which every subbrace is an idealComments: 25 pagesSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
The aim of this paper is to introduce and study the class of all left braces in which every subbrace is an ideal. We call them Dedekind left braces. It is proved that every finite Dedekind left brace is centrally nilpotent. Structural results about Dedekind left braces and a complete description of those ones whose additive group is elementary abelian are also shown. As a consequence, every hypermultipermutational Dedekind left brace whose additive group is elementary abelian is multipermutational of level $2$. A new class of left braces, the extraspecial left braces, is introduced and plays a prominent role in our approach.
- [89] arXiv:2405.04214 [pdf, ps, html, other]
-
Title: On the Gelfand Problem and Viscosity Matrices for Two-Dimensional Hyperbolic Systems of Conservation LawsSubjects: Numerical Analysis (math.NA)
We present counter-intuitive examples of a viscous regularizations of a two-dimensional strictly hyperbolic system of conservation laws. The regularizations are obtained using two different viscosity matrices. While for both of the constructed ``viscous'' systems waves propagating in either $x$- or $y$-directions are stable, oblique waves may be linearly unstable. Numerical simulations fully corroborate these analytical results. To the best of our knowledge, this is the first nontrivial result related to the multidimensional Gelfand problem. Our conjectures provide direct answer to Gelfand's problem both in one- and multi-dimensional cases.
- [90] arXiv:2405.04220 [pdf, ps, html, other]
-
Title: A characterization of wavelet sets on Vilenkin groups with its application to construction of MRA waveletsComments: 28 pagesSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Let $G$ be a Vilenkin group. In 2008, Y. A. Farkov constructed wavelets on $G$ via the multiresolution analysis method. In this article, a characterization of wavelet sets on $G$ is established, which provides another method for the construction of wavelets. As an application, the relation between multiresolution analyses and wavelets determined from wavelet sets is also presented. To some extent, these results positively answer a question mentioned by P. Mahapatra and D. Singh in [Bull. Sci. Math. 167 (2021), Paper No. 102945, 20 pp].
- [91] arXiv:2405.04221 [pdf, ps, html, other]
-
Title: Non-escape of mass for arithmetic quantum limits on hyperbolic $4$-manifoldsComments: 29 pagesSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
We make progress on the quantum unique ergodicity (QUE) conjecture for Hecke-Maass forms on a congruence quotient of hyperbolic $4$-space, eliminating the possibility of "escape of mass" for these forms.
- [92] arXiv:2405.04227 [pdf, ps, html, other]
-
Title: The Penrose Inequality for Metrics with Singular SetsSubjects: Differential Geometry (math.DG)
We study the Penrose inequality and its rigidity for metrics with singular sets. Our result could be viewed as a complement of Theorem 1.1 of Lu and Miao (J. Funct. Anal. 281, 2021) and Theorem 1.2 of Shi, Wang and Yu (Math. Z. 291, 2019), in which they assume the singular set is a hypersurface and assume an additional condition on the mean curvature. As a complement, this paper study the case of singular set of dimensional less than n-1, without any additional conditions.
- [93] arXiv:2405.04234 [pdf, ps, other]
-
Title: On a conjecture of Wooley and lower bounds for cubic hypersurfacesComments: 66 pagesSubjects: Number Theory (math.NT)
Let $X \subset \mathbf{P}_{\mathbf{Q}}^{n-1}$ be a cubic hypersurface cut out by the vanishing of a non-degenerate rational cubic form in $n$ variables. Let $N(X,B)$ denote the number of rational points on $X$ of height at most $B$. In this article we obtain lower bounds for $N(X,B)$ for cubic hypersufaces, provided only that $n$ is large enough. In particular, we show that $N(X,B) \gg B^{n-9}$ if $n \geq 39$, thereby proving a conjecture of T. D. Wooley for non-conical cubic hypersurfaces with large enough dimension.
- [94] arXiv:2405.04242 [pdf, ps, other]
-
Title: Investigation of sample paths properties of sub-Gaussian type random fields, with application to stochasic heat equationsComments: 17 pagesSubjects: Probability (math.PR)
The paper presents bounds for the distributions of suprema for a particular class of sub-Gaussian type random fields defined over spaces with anisotropic metrics. The results are applied to random fields related to stochastic heat equations with fractional noise: bounds for the tail distributions of suprema and estimates for the rate of growth are provided for such fields.
- [95] arXiv:2405.04255 [pdf, ps, html, other]
-
Title: Ruled Ricci surfaces and curves of constant torsionComments: 12 pages and 11 figures. All comments are welcomeSubjects: Differential Geometry (math.DG)
We show that all non-developable ruled surfaces endowed with Ricci metrics in the three-dimensional Euclidean space may be constructed using curves of constant torsion and its binormal. This allows us to give characterizations of the helicoid as the only surface of this kind that admits a parametrization with plane line of striction, and as the only with constant mean curvature.
- [96] arXiv:2405.04261 [pdf, ps, other]
-
Title: Graph Reconstruction from Noisy Random SubgraphsComments: 6 pages, to appear in ISIT 2024Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)
We consider the problem of reconstructing an undirected graph $G$ on $n$ vertices given multiple random noisy subgraphs or "traces". Specifically, a trace is generated by sampling each vertex with probability $p_v$, then taking the resulting induced subgraph on the sampled vertices, and then adding noise in the form of either (a) deleting each edge in the subgraph with probability $1-p_e$, or (b) deleting each edge with probability $f_e$ and transforming a non-edge into an edge with probability $f_e$. We show that, under mild assumptions on $p_v$, $p_e$ and $f_e$, if $G$ is selected uniformly at random, then $O(p_e^{-1} p_v^{-2} \log n)$ or $O((f_e-1/2)^{-2} p_v^{-2} \log n)$ traces suffice to reconstruct $G$ with high probability. In contrast, if $G$ is arbitrary, then $\exp(\Omega(n))$ traces are necessary even when $p_v=1, p_e=1/2$.
- [97] arXiv:2405.04268 [pdf, ps, other]
-
Title: Dynamics of an epidemic model with nonlocal di?usion and a free boundarySubjects: Analysis of PDEs (math.AP)
An epidemic model, where the dispersal is approximated by nonlocal diffusion operator and spatial domain has one ?xed boundary and one free boundary, is considered in this paper. Firstly, using some elementary analysis instead of variational characterization, we show the existence and asymptotic behaviors of the principal eigenvalue of a cooperative system which can be used to characterize more epidemic models, not just ours. Then we study the existence, uniqueness and stability of a related steady state problem. Finally, we obtain a rather complete understanding for long time behaviors, spreading-vanishing dichotomy, criteria for spreading and vanishing, and spreading speed. Particularly, we prove that the asymptotic spreading speed of solution component (u; v) is equal to the spreading speed of free boundary which is ?nite if and only if a threshold condition holds for kernel functions.
- [98] arXiv:2405.04281 [pdf, ps, other]
-
Title: On a variant of Hilbert's 16th problemSubjects: Dynamical Systems (math.DS)
We study the number of limit cycles that a planar polynomial vector field can have as a function of its number $m$ of monomials. We prove that the number of limit cycles increases at least quadratically with $m$ and we provide good lower bounds for $m\le10.$
- [99] arXiv:2405.04283 [pdf, ps, other]
-
Title: PDCCH Scheduling via Maximum Independent SetSubjects: Information Theory (cs.IT)
In 5G, the Physical Downlink Control CHannel (PDCCH) carries crucial information enabling the User Equipment (UE) to connect in UL and DL. UEs are unaware of the frequency location at which PDCCH is encoded, hence they need to perform blind decoding over a limited set of possible candidates. We address the problem faced by the gNodeB of selecting PDCCH candidates for each UE to optimize data transmission. We formulate it as a Maximum Weighted Independent Set (MWIS) problem, that is known to be an NP-hard problem and cannot even be approximated. A solution method called Weight-to-Degree Ratio (WDR) Greedy emerges as a strong contender for practical implementations due to its favorable performance-to-complexity trade-off and theoretical performance guarantees.
- [100] arXiv:2405.04284 [pdf, ps, other]
-
Title: Quasi-stationary distributions for subcritical branching Markov chainsSubjects: Probability (math.PR)
Consider a subcritical branching Markov chain. Let $Z_n$ denote the counting measure of particles of generation $n$. Under some conditions, we give a probabilistic proof for the existence of the Yaglom limit of $(Z_n)_{n\in\mathbb{N}}$ by the moment method, based on the spinal decomposition and the many-to-few formula. As a result, we give explicit integral representations of all quasi-stationary distributions of $(Z_n)_{n\in\mathbb{N}}$, whose proofs are direct and probabilistic, and don't rely on Martin boundary theory.
- [101] arXiv:2405.04298 [pdf, ps, html, other]
-
Title: Multiplicity results for critical fractional Ambrosetti-Prodi type system with nonlinearities interacting with the spectrumEduardo. H. Caqui (1), Sandra M. de S. Lima (2), Fábio R. Pereira (3) ((1) Departamento de Ciencias Sede Brena, Universidad Privada del Norte, Cercado de Lima, Lima, Peru (2) Departamento de Ciências Exatas, Biológicas e da Terra, INFES-UFF, Santo Antônio de Pádua - RJ, Brazil (3) Departamento de Matemática, Instituto de Ciências Exatas, Universidade Federal de Juiz de Fora, Juiz de Fora - MG, Brazil)Comments: 33 pages. F. R. Pereira was supported partially by FAPEMIG/Brazil (RED-00133-21) and FAPEMIG/Brazil (CEX APQ 04528/22)Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We investigated the existence of solutions for a class of Ambrosetti-Prodi type systems involving the fractional Laplacian operator and with nonlinearities reaching critical growth and interacting, in some sense, with the spectrum of the operator. The resonant case in $\lambda_{k,s}$ for $k>1$ is also investigated.
- [102] arXiv:2405.04301 [pdf, ps, other]
-
Title: Classification of solutions to the isotropic horospherical $p$-Minkowski problem in hyperbolic planeComments: 19 pages, 2 figures. All comments are welcomeSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Metric Geometry (math.MG)
In \cite{LX}, the first author and Xu introduced and studied the horospherical $p$-Minkowski problem in hyperbolic space $\mathbb{H}^{n+1}$. In particular, they established the uniqueness result for solutions to this problem when the prescribed function is constant and $p\ge -n$. This paper focuses on the isotropic horospherical $p$-Minkowski problem in hyperbolic plane $\mathbb{H}^{2}$, which corresponds to the equation \begin{equation}\label{0}
\varphi^{-p}\left(\varphi_{\theta\theta}-\frac{\varphi_{\theta}^2}{2\varphi}+\frac{\varphi-\varphi^{-1}}{2}\right)=\gamma\quad\text{on}\ \mathbb{S}^1, \end{equation} where $\gamma$ is a positive constant. We provide a classification of solutions to the above equation for $p\ge -7$, as well as a nonuniqueness result of solutions for $p<-7$. Furthermore, we extend this problem to the isotropic horospherical $q$-weighted $p$-Minkowski problem in hyperbolic plane and derive some uniqueness and nonuniqueness results. - [103] arXiv:2405.04302 [pdf, ps, html, other]
-
Title: On the existence and uniqueness of weak solutions to elliptic equations with a singular driftComments: arXiv admin note: text overlap with arXiv:2208.10909Subjects: Analysis of PDEs (math.AP)
In this paper we study the Dirichlet problem for a scalar elliptic equation in a bounded Lipschitz domain $\Omega \subset \mathbb R^3$ with a singular drift of the form $b_0= b-\alpha \frac {x'}{|x'|^2}$ where $x'=(x_1,x_2,0)$, $\alpha \in \mathbb R$ is a parameter and $b$ is a divergence free vector field having essentially the same regularity as the potential part of the drift. Such drifts naturally arise in the theory of axially symmetric solutions to the Navier-Stokes equations. For $\alpha <0$ the divergence of such drifts is positive which potentially can ruin the uniqueness of solutions. Nevertheless, for $\alpha<0$ we prove existence and Hölder continuity of a unique weak solution which vanishes on the axis $\Gamma:=\{ ~x\in \mathbb R^3:~|x'|=0~\}$.
- [104] arXiv:2405.04306 [pdf, ps, other]
-
Title: Tropicalization of linear series and tilings by polymatroidsComments: 55 pages, 7 figures. Comments are welcomeSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We show that tropicalization of linear series on curves gives rise to two-parameter families of tilings by polymatroids, with one parameter arising from the theory of divisors on tropical curves and the other from the reduction of linear series of rational functions in non-Archimedean geometry. In order to do this, we introduce a general framework that produces tilings of vector spaces and their subsets by polymatroids. We furthermore show that these tilings are regular and relate them to work by Kapranov and Lafforgue on Chow quotients of Grassmannians.
- [105] arXiv:2405.04310 [pdf, ps, other]
-
Title: Time-asymptotics of a heated stringSubjects: Analysis of PDEs (math.AP)
In the present paper, we study a model of a thermoelastic string that is initially heated. We classify all the possible asymptotic states when time tends to infinity of such a model. Actually, we show that whatever the initial data is, a heated string must converge to a flat, steady string with uniformly distributed heat. The latter distribution is calculated from the energy conservation. In order to obtain the result, we need to take a few steps. In the first two steps, time-independent bounds from above and from below (by a positive constant) of the temperature are obtained. This is done via the Moser-like iteration. The lower bound is obtained via the Moser iteration on the negative part of the logarithm of temperature. In the third step, we obtain a time-independent higher-order estimate, which yields compactness of a sequence of the values of the solution when time tends to infinity. Here, an estimate involving the Fisher information of temperature, together with a recent functional inequality from \cite{CFHS} and an $L^2(L^2)$ estimate of the gradient of entropy, enable us to arrive at a tricky Grönwall type inequality. Finally, in the last steps, we define the dynamical system on a proper functional phase space and study its $\omega$-limit set. To this end, we use, in particular, the quantitative version of the second principle of thermodynamics. Also, the entropy dissipation term and the bound of the entropy from below are useful when identifying the structure of the $\omega$-limit set.
- [106] arXiv:2405.04313 [pdf, ps, other]
-
Title: Deck of Cards method for Hierarchical, Robust and Stochastic Ordinal RegressionSubjects: Optimization and Control (math.OC)
In this paper, we consider the recently introduced application of the Deck of Cards Method (DCM) to ordinal regression proposing an extension to Robust Ordinal Regression and Stochastic Multiattribute Acceptability Analysis. In Multiple Criteria Decision Aiding context, the proposed methodology permits to assign a value to each alternative evaluated on a set of criteria hierarchically structured. The Decision Maker can provide precise or imprecise information at different levels of the hierarchy of criteria using the classical DCM framework. This information is therefore used to infer a value function compatible with it. The compatible value function can be a simple weighted sum, a piecewise linear value function, a general monotonic value function, or a Choquet integral. To provide robust recommendations to the Decision Maker, we consider the Robust Ordinal Regression and the Stochastic Multicriteria Acceptability Analysis because, even if in different ways, both of them take into account the whole set of models compatible with the preference information provided by the Decision Maker. The applicability of the proposed methodology is shown by a didactic example in which Italian regions are evaluated on criteria representing Circular Economy, Innovation Driven Development and Smart Specialization Strategies.
- [107] arXiv:2405.04315 [pdf, ps, other]
-
Title: The average number of Goldbach representations over multiples of $q$Comments: 12 pagesSubjects: Number Theory (math.NT)
We discuss the evaluation of the average number of Goldbach representations for integers which are multiples of $q$ introduced by Granville. We improve an estimate given by Granville under the generalized Riemann hypothesis.
- [108] arXiv:2405.04317 [pdf, ps, other]
-
Title: The Injective category number on continuous mapsComments: 10 pages. Comments are welcomeSubjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
We present the notion of injective category number of a map $f\colon X\to Y$ with basic results about this numerical invariant. For instance, we explore the injective category number under pullbacks and compositions. In the case that $f$ is the quotient map $q:X\to X/\tau$, where $X$ is a normal space and $\tau:X\to X$ is a fixed-point free involution, we show that the injective category of $q$ is equal to the index of $(X,\tau)$ plus $2$.
- [109] arXiv:2405.04320 [pdf, ps, html, other]
-
Title: Stress solution of static linear elasticity with mixed boundary conditions via adjoint linear operatorsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Functional Analysis (math.FA)
We revisit stress problems in linear elasticity to provide a perspective from the geometrical and functionalanalytic points of view. For the static stress problem of linear elasticity with mixed boundary conditions we write the associated pair of unbounded adjoint operators. The stress solution is found as an intersection of affine translations of the fundamental subspaces of the adjoint operators. In particular, we treat the equilibrium equation in the operator form, involving spaces of traces on a part of the boundary, known as Lions-Magenes spaces. Our analysis of the pair of adjoint operators for the problem with mixed boundary conditions relies on the properties of the analogous pair of operators for the problem with the displacement boundary conditions, which we also include in the paper.
- [110] arXiv:2405.04328 [pdf, ps, html, other]
-
Title: Counting solutions to quadratic polynomialsComments: 18 pagesSubjects: Number Theory (math.NT)
Using the circle method, we obtain asymptotic formulae for the number of integer solutions to certain quadratic polynomials that are uniform in the coefficients of the polynomial.
- [111] arXiv:2405.04329 [pdf, ps, other]
-
Title: On the $K$-theory of $\mathbf{Z}/p^n$Subjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime.
The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well as to obtain several theoretical results: the vanishing of the even K-groups in high degrees, the determination of the orders of the odd K-groups in high degrees, and the degree of nilpotence of $v_1$ acting on the mod $p$ syntomic cohomology of $\mathbf{Z}/p^n$. - [112] arXiv:2405.04330 [pdf, ps, other]
-
Title: How to reveal the rank of a matrix?Subjects: Numerical Analysis (math.NA)
We study algorithms called rank-revealers that reveal a matrix's rank structure. Such algorithms form a fundamental component in matrix compression, singular value estimation, and column subset selection problems. While column-pivoted QR has been widely adopted due to its practicality, it is not always a rank-revealer. Conversely, Gaussian elimination (GE) with a pivoting strategy known as global maximum volume pivoting is guaranteed to estimate a matrix's singular values but its exponential algorithmic complexity limits its interest to theory. We show that the concept of local maximum volume pivoting is a crucial and practical pivoting strategy for rank-revealers based on GE and QR, showing that it is both necessary and sufficient. This insight elevates Gu and Eisenstat's rank-revealing QR as an archetypal rank-revealer, and devise a version that is less than $2\times$ more computationally expensive than CPQR. We unify the landscape of rank-revealers by considering GE and QR together and prove that the success of any pivoting strategy can be assessed by benchmarking it against a local maximum volume pivot.
- [113] arXiv:2405.04331 [pdf, ps, other]
-
Title: Packings of Smoothed PolygonsComments: 283 page bookSubjects: Optimization and Control (math.OC); Metric Geometry (math.MG)
This book uses optimal control theory to prove that the most unpackable centrally symmetric convex disk in the plane is a smoothed polygon. A smoothed polygon is a polygon whose corners have been rounded in a special way by arcs of hyperbolas. To be highly unpackable means that even densest packing of that disk has low density.
Motivated by Minkowski's geometry of numbers, researchers began to search for the most unpackable centrally symmetric convex disk (in brief, the most unpackable disk) starting in the early 1920s. In 1934, Reinhardt conjectured that the most unpackable disk is a smoothed octagon. Working independently of Reinhardt, Mahler attempted without success in 1947 to prove that the most unpackable disk must be a smoothed polygon. This book proves what Mahler set out to prove: Mahler's First conjecture on smoothed polygons. His second conjecture is identical to the Reinhardt conjecture, which remains open.
This book explores the many remarkable structures of this packing problem, formulated as a problem in optimal control theory on a Lie group, with connections to hyperbolic geometry and Hamiltonian mechanics. Bang-bang Pontryagin extremals to the optimal control problem are smoothed polygons. Extreme difficulties arise in the proof because of chattering behavior in the optimal control problem, corresponding to possible smoothed polygons with infinitely many sides that need to be ruled out. To analyze and eliminate the possibility of chattering solutions, the book introduces a discrete dynamical system (the Poincare first recurrence map) and gives a full description of its fixed points, stable and unstable manifolds, and basin of attraction on a blowup centered at a singular set. Some proofs in this book are computer-assisted using a computer algebra system. - [114] arXiv:2405.04335 [pdf, ps, other]
-
Title: The tail distribution function of the partition function for directed polymer in the weak disorder phaseSubjects: Probability (math.PR)
We investigate the upper tail distribution of the partition function of the directed polymer in a random environment on $\mathbb Z^d$ in the weak disorder phase. We show that the distribution of the infinite volume partition function $W^{\beta}_{\infty}$ displays a power-law decay, with an exponent $p^*(\beta)\in [1+\frac{2}{d},\infty)$. We also prove that the distribution of the suprema of the point-to-point and point-to-line partition functions display the same behavior. On the way to these results, we prove a technical estimate of independent interest: the $L^p$-norm of the partition function at the time when it overshoots a high value $A$ is comparable to $A$. We use this estimate to extend the validity of many recent results that were proved under the assumption that the environment is upper bounded.
- [115] arXiv:2405.04337 [pdf, ps, other]
-
Title: On the Kauffman bracket skein module of $(S^1 \times S^2) \ \# \ (S^1 \times S^2)$Comments: 30 pages, 20 figuresSubjects: Geometric Topology (math.GT); Quantum Algebra (math.QA)
Determining the structure of the Kauffman bracket skein module of all $3$-manifolds over the ring of Laurent polynomials $\mathbb Z[A^{\pm 1}]$ is a big open problem in skein theory. Very little is known about the skein module of non-prime manifolds over this ring. In this paper, we compute the Kauffman bracket skein module of the $3$-manifold $(S^1 \times S^2) \ \# \ (S^1 \times S^2)$ over the ring $\mathbb Z[A^{\pm 1}]$. We do this by analysing the submodule of handle sliding relations, for which we provide a suitable basis. Along the way we also compute the Kauffman bracket skein module of $(S^1 \times S^2) \ \# \ (S^1 \times D^2)$. Furthermore, we show that the skein module of $(S^1 \times S^2) \ \# \ (S^1 \times S^2)$ does not split into the sum of free and $(A^k-A^{-k})$-torsion modules, for each $k\geq 1$.
- [116] arXiv:2405.04338 [pdf, ps, other]
-
Title: The computational content of multidimensional discontinuitySubjects: Logic (math.LO)
The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant functions that make a single discontinuous step along each dimension of their underlying space. This is an extension of previous work of Kihara, Pauly, Westrick from a single dimension to multiple dimensions. Among other results, we obtain strict hierarchies in the Weihrauch degrees, one of which orders mathematical problems by the richness of the truth-tables determining how discontinuous steps influence the output.
- [117] arXiv:2405.04343 [pdf, ps, other]
-
Title: Essential freeness, allostery and $\mathcal{Z}$-stability of crossed productsComments: 31 pagesSubjects: Operator Algebras (math.OA); Dynamical Systems (math.DS)
We explore classifiability of crossed products of actions of countable amenable groups on compact, metrizable spaces. It is completely understood when such crossed products are simple, separable, unital, nuclear and satisfy the UCT: these properties are equivalent to the combination of minimality and topological freeness, and the challenge in this context is establishing $\mathcal{Z}$-stability. While most of the existing results in this direction assume freeness of the action, there exist numerous natural examples of minimal, topologically free (but not free) actions whose crossed products are classifiable.
In this work, we take the first steps towards a systematic study of $\mathcal{Z}$-stability for crossed products beyond the free case, extending the available machinery around the small boundary property and almost finiteness to a more general setting. Among others, for actions of groups of polynomial growth with the small boundary property, we show that minimality and topological freeness are not just necessary, but also \emph{sufficient} conditions for classifiability of the crossed product.
Our most general results apply to actions that are essentially free, a property weaker than freeness but stronger than topological freeness in the minimal setting. Very recently, M. Joseph produced the first examples of minimal actions of amenable groups which are topologically free and not essentially free. While the current machinery does not give any information for his examples, we develop ad-hoc methods to show that his actions have classifiable crossed products. - [118] arXiv:2405.04347 [pdf, ps, other]
-
Title: Development of discontinuous Galerkin methods for hyperbolic systems that preserve a curl or a divergence constraintVincent Perrier (CAGIRE, LMAP)Subjects: Numerical Analysis (math.NA)
Some hyperbolic systems are known to include implicit preservation of differential constraints: these are for example the time conservation of the curl or the divergence of a vector that appear as an implicit constraint. In this article, we show that this kind of constraint can be easily conserved at the discrete level with the classical discontinuous Galerkin method, provided the right approximation space is used for the vectorial space, and under some mild assumption on the numerical flux. For this, we develop a discrete differential geometry framework for some well chosen piece-wise polynomial vector approximation space. More precisely, we define the discrete Hodge star operator, the exterior derivative, and their adjoints. The discrete adjoint divergence and curl are proven to be exactly preserved by the discontinuous Galerkin method under a small assumption on the numerical flux. Numerical tests are performed on the wave system, the two dimensional Maxwell system and the induction equation, and confirm that the differential constraints are preserved at machine precision while keeping the high order of accuracy.
- [119] arXiv:2405.04348 [pdf, ps, other]
-
Title: Overdetermined elliptic problems in nontrivial exterior domains of the hyperbolic spaceComments: 26 pagesSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We construct nontrivial unbounded domains $\Omega$ in the hyperbolic space $\mathbb{H}^N$, $N \in \{2,3,4\}$, bifurcating from the complement of a ball, such that the overdetermined elliptic problem \begin{equation} -\Delta_{\mathbb{H}^N} u+u-u^p=0\,\, \text{in}\,\,\Omega, \,\, u=0,\,\,\partial_\nu u=\text{const}\,\,\text{on}\,\,\partial\Omega\nonumber \end{equation} has a positive bounded solution in $C^{2,\alpha}\left(\Omega\right) \cap H^1\left(\Omega\right)$. We also give a condition under which this construction holds for larger dimensions $N$. This is linked to the Berestycki-Caffarelli-Nirenberg conjecture on overdetermined elliptic problems, and, as far as we know, is the first nontrivial example of solution to an overdetermined elliptic problem in the hyperbolic space.
- [120] arXiv:2405.04349 [pdf, ps, other]
-
Title: Anti-Ramsey numbers of loose paths and cycles in uniform hypergraphsSubjects: Combinatorics (math.CO)
For a fixed family of $r$-uniform hypergraphs $\mathcal{F}$, the anti-Ramsey number of $\mathcal{F}$, denoted by $ ar(n,r,\mathcal{F})$, is the minimum number $c$ of colors such that for any edge-coloring of the complete $r$-uniform hypergraph on $n$ vertices with at least $c$ colors, there is a rainbow copy of some hypergraph in $\mathcal{F}$. Here, a rainbow hypergraph is an edge-colored hypergraph with all edges colored differently. Let $\mathcal{P}_k$ and $\mathcal{C}_k$ be the families of loose paths and loose cycles with $k$ edges in an $r$-uniform hypergraph, respectively. In this paper, we determine the exact values of $ ar(n,r,\mathcal{P}_k)$ and $ ar(n,r,\mathcal{C}_k)$ for all $k\geq 4$ and $r\geq 3$.
- [121] arXiv:2405.04350 [pdf, ps, other]
-
Title: Decision-Dependent Uncertainty-Aware Distribution System Planning Under Wildfire RiskSubjects: Optimization and Control (math.OC)
The interaction between power systems and wildfires can be dangerous and costly. Damaged structures, load shedding, and high operational costs are potential consequences when the grid is unprepared. In fact, the operation of distribution grids can be liable for the outbreak of wildfires when extreme weather conditions arise. Within this context, investment planning should consider the impact of operational actions on the uncertainty related to wildfires that can directly affect line failure likelihood. Neglecting this can compromise the cost-benefit evaluation in planning system investments for wildfire risk. In this paper, we propose a decision-dependent uncertainty (DDU) aware methodology that provides the optimal portfolio of investments for distribution systems while considering that high power-flow levels through line segments in high-threat areas can ignite wildfires and, therefore, increase the probability of line failures. The methodology identifies the best combination of system upgrades (installation of new lines, hardening existing lines, and placement of switching devices) to provide the necessary leeway to operate the distribution system under wildfire-prone conditions. Our case study demonstrates that by modeling the DDU relationship between power flow prescriptions and line failures, investment decisions are more accurate and better prepare the grid infrastructure to deal with wildfire risk.
- [122] arXiv:2405.04354 [pdf, ps, html, other]
-
Title: A transversality theorem for semi-algebraic sets with application to signal recovery from the second moment and cryo-EMSubjects: Information Theory (cs.IT); Signal Processing (eess.SP); Algebraic Geometry (math.AG)
Semi-algebraic priors are ubiquitous in signal processing and machine learning. Prevalent examples include a) linear models where the signal lies in a low-dimensional subspace; b) sparse models where the signal can be represented by only a few coefficients under a suitable basis; and c) a large family of neural network generative models. In this paper, we prove a transversality theorem for semi-algebraic sets in orthogonal or unitary representations of groups: with a suitable dimension bound, a generic translate of any semi-algebraic set is transverse to the orbits of the group action. This, in turn, implies that if a signal lies in a low-dimensional semi-algebraic set, then it can be recovered uniquely from measurements that separate orbits.
As an application, we consider the implications of the transversality theorem to the problem of recovering signals that are translated by random group actions from their second moment. As a special case, we discuss cryo-EM: a leading technology to constitute the spatial structure of biological molecules, which serves as our prime motivation. In particular, we derive explicit bounds for recovering a molecular structure from the second moment under a semi-algebraic prior and deduce information-theoretic implications. We also obtain information-theoretic bounds for three additional applications: factoring Gram matrices, multi-reference alignment, and phase retrieval. Finally, we deduce bounds for designing permutation invariant separators in machine learning. - [123] arXiv:2405.04357 [pdf, ps, html, other]
-
Title: Global Scale Self-Supervised Channel Charting with Sensor FusionComments: This paper is submitted to the Globecom 2024 conferenceSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)
The sensing and positioning capabilities foreseen in 6G have great potential for technology advancements in various domains, such as future smart cities and industrial use cases. Channel charting has emerged as a promising technology in recent years for radio frequency-based sensing and localization. However, the accuracy of these techniques is yet far behind the numbers envisioned in 6G. To reduce this gap, in this paper, we propose a novel channel charting technique capitalizing on the time of arrival measurements from surrounding Transmission Reception Points (TRPs) along with their locations and leveraging sensor fusion in channel charting by incorporating laser scanner data during the training phase of our algorithm. The proposed algorithm remains self-supervised during training and test phases, requiring no geometrical models or user position ground truth. Simulation results validate the achievement of a sub-meter level localization accuracy using our algorithm 90% of the time, outperforming the state-of-the-art channel charting techniques and the traditional triangulation-based approaches.
- [124] arXiv:2405.04358 [pdf, ps, other]
-
Title: Evaluation of integrals for the emptiness formation probability in the square-ice modelComments: 27 pages, 5 figuresSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
We study the emptiness formation probability (EFP) in the six-vertex model with domain wall boundary conditions. We present a conjecture according to which at the ice point, i.e., when all the Boltzmann weights are equal, the known multiple integral representation (MIR) for the EFP can be given as a finite-size matrix determinant of Fredholm type. Our conjecture is based on the explicit evaluation of the MIR for particular values of geometric parameters and on two kinds of identities for the boundary correlation function. The obtained representation can be further written as the Fredholm determinant of some linear integral operator. We show that as the geometric parameters of the EFP are tuned to the vicinity of the arctic curve arising in the scaling limit, the conjectured determinant turns into the GUE Tracy--Widom distribution.
- [125] arXiv:2405.04361 [pdf, ps, html, other]
-
Title: On the Iwasawa theory of Cayley graphsComments: Version 1: 20 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO); Group Theory (math.GR)
This paper explores Iwasawa theory from a graph theoretic perspective, focusing on the algebraic and combinatorial properties of Cayley graphs. Using representation theory, we analyze Iwasawa-theoretic invariants within $\mathbb{Z}_\ell$-towers of Cayley graphs, revealing connections between graph theory, number theory, and group theory. Key results include the factorization of associated Iwasawa polynomials and the decomposition of $\mu$- and $\lambda$-invariants. Additionally, we apply these insights to complete graphs, establishing conditions under which these invariants vanish.
- [126] arXiv:2405.04363 [pdf, ps, other]
-
Title: Some Notes on the Sample Complexity of Approximate Channel SimulationComments: Accepted as a spotlight paper at the first 'Learn to Compress' Workshop@ ISIT 2024Subjects: Information Theory (cs.IT)
Channel simulation algorithms can efficiently encode random samples from a prescribed target distribution $Q$ and find applications in machine learning-based lossy data compression. However, algorithms that encode exact samples usually have random runtime, limiting their applicability when a consistent encoding time is desirable. Thus, this paper considers approximate schemes with a fixed runtime instead. First, we strengthen a result of Agustsson and Theis and show that there is a class of pairs of target distribution $Q$ and coding distribution $P$, for which the runtime of any approximate scheme scales at least super-polynomially in $D_\infty[Q \Vert P]$. We then show, by contrast, that if we have access to an unnormalised Radon-Nikodym derivative $r \propto dQ/dP$ and knowledge of $D_{KL}[Q \Vert P]$, we can exploit global-bound, depth-limited A* coding to ensure $\mathrm{TV}[Q \Vert P] \leq \epsilon$ and maintain optimal coding performance with a sample complexity of only $\exp_2\big((D_{KL}[Q \Vert P] + o(1)) \big/ \epsilon\big)$.
- [127] arXiv:2405.04375 [pdf, ps, other]
-
Title: Coherent distributions: Hilbert space approach and dualitySubjects: Probability (math.PR)
Let $X$ be a Bernoulli random variable with the success probability $p$. We are interested in tight bounds on $\mathbb{E}[f(X_1,X_2)]$, where $X_i=\mathbb{E}[X| \mathcal{F}_i]$ and $\mathcal{F}_i$ are some sigma-algebras. This problem is closely related to understanding extreme points of the set of coherent distributions. A distribution on $[0,1]^2$ is called $\textit{coherent}$ if it can be obtained as the joint distribution of $(X_1, X_2)$ for some choice of $\mathcal{F}_i$. By treating random variables as vectors in a Hilbert space, we establish an upper bound for quadratic $f$, characterize $f$ for which this bound is tight, and show that such $f$ result in exposed coherent distributions with arbitrarily large support. As a corollary, we get a tight bound on $\mathrm{cov}\,(X_1,X_2)$ for $p\in [1/3,\,2/3]$. To obtain a tight bound on $\mathrm{cov}\,(X_1,X_2)$ for all $p$, we develop an approach based on linear programming duality. Its generality is illustrated by tight bounds on $\mathbb{E}[|X_1-X_2|^\alpha]$ for any $\alpha>0$ and $p=1/2$.
- [128] arXiv:2405.04380 [pdf, ps, other]
-
Title: Preserving Nonlinear Constraints in Variational Flow Filtering Data AssimilationSubjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
Data assimilation aims to estimate the states of a dynamical system by optimally combining sparse and noisy observations of the physical system with uncertain forecasts produced by a computational model. The states of many dynamical systems of interest obey nonlinear physical constraints, and the corresponding dynamics is confined to a certain sub-manifold of the state space. Standard data assimilation techniques applied to such systems yield posterior states lying outside the manifold, violating the physical constraints. This work focuses on particle flow filters which use stochastic differential equations to evolve state samples from a prior distribution to samples from an observation-informed posterior distribution. The variational Fokker-Planck (VFP) -- a generic particle flow filtering framework -- is extended to incorporate non-linear, equality state constraints in the analysis. To this end, two algorithmic approaches that modify the VFP stochastic differential equation are discussed: (i) VFPSTAB, to inexactly preserve constraints with the addition of a stabilizing drift term, and (ii) VFPDAE, to exactly preserve constraints by treating the VFP dynamics as a stochastic differential-algebraic equation (SDAE). Additionally, an implicit-explicit time integrator is developed to evolve the VFPDAE dynamics. The strength of the proposed approach for constraint preservation in data assimilation is demonstrated on three test problems: the double pendulum, Korteweg-de-Vries, and the incompressible Navier-Stokes equations.
- [129] arXiv:2405.04384 [pdf, ps, other]
-
Title: Geodesic connectivity and rooftop envelopes in the Cegrell classesSubjects: Complex Variables (math.CV); Analysis of PDEs (math.AP); Differential Geometry (math.DG)
This study examines geodesics and plurisubharmonic envelopes within the Cegrell classes on bounded hyperconvex domains in $\mathbb{C}^n$. We establish that solutions possessing comparable singularities to the complex Monge-Ampère equation are identical, affirmatively addressing a longstanding open question raised by Cegrell. This achievement furnishes the most general form of the Bedford-Taylor comparison principle within the Cegrell classes. Building on this foundational result, we explore plurisubharmonic geodesics, broadening the criteria for geodesic connectivity among plurisubharmonic functions with connectable boundary values. Our investigation also delves into the notion of rooftop envelopes, revealing that the rooftop equality condition and the idempotency conjecture are valid under substantially weaker conditions than previously established, a finding made possible by our proven uniqueness result. The paper concludes by discussing the core open problems within the Cegrell classes related to the complex Monge-Ampère equation.
- [130] arXiv:2405.04385 [pdf, ps, html, other]
-
Title: A Random Walk Approach to Broadcasting on Random Recursive TreesSubjects: Probability (math.PR); Discrete Mathematics (cs.DM)
In the broadcasting problem on trees, a $\{0,1\}$-message originating in an unknown node is passed along the tree with a certain error probability $q$. The goal is to estimate the original message without knowing the order in which the nodes were informed. A variation of the problem is considering this broadcasting process on a randomly growing tree, which Addario-Berry et al. have investigated for uniform and linear preferential attachment recursive trees. We extend their studies of the majority estimator to the entire group of very simple increasing trees as well as shape exchangeable trees using the connection to inhomogeneous random walks and other stochastic processes with memory effects such as Pólya Urns.
- [131] arXiv:2405.04388 [pdf, ps, html, other]
-
Title: Boundary unique continuation in planar domains by conformal mappingComments: 11 pages, comments are welcomeSubjects: Analysis of PDEs (math.AP)
Let $\Omega\subset\mathbb R^2$ be a chord arc domain with small constant. We show that a nontrivial harmonic function which vanishes continuously on a relatively open set of the boundary cannot have the norm of the gradient which vanishes on a subset of positive surface measure (arc length). This result was previously known to be true, and conjectured in higher dimensions by Lin, in Lipschitz domains. Let now $\Omega\subset\mathbb R^2$ be a $C^1$ domain with Dini mean oscillations. We prove that a nontrivial harmonic function which vanishes continuously on a relatively open subset of the boundary $\partial\Omega\cap B_1$ has a finite number of critical points in $\overline\Omega\cap B_{1/2}$. The latter improves some recent results by Kenig and Zhao. Our technique involves a conformal mapping which moves the boundary where the harmonic function vanishes into an interior nodal line of a new harmonic function, after a further reflection. Then, size estimates of the critical set - up to the boundary - of the original harmonic function can be understood in terms of estimates of the interior critical set of the new harmonic function and of the critical set - up to the boundary - of the conformal mapping.
- [132] arXiv:2405.04389 [pdf, ps, html, other]
-
Title: Triangulated characterizations of singularitiesComments: v1, comments welcome!Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. We measure singularity types by the potential for a pair of objects to finitely build one another in the bounded derived category of coherent sheaves utilizing a combination of cones, shifts, or finite coproducts. An invariant called 'level' in a triangulated category can be used to measure the failure of a variety to have a prescribed singularity type. We provide explicit computations of this invariant for reduced Nagata schemes of Krull dimension one and for affine cones over smooth projective hypersurfaces. Furthermore, these computations are utilized to produce upper bounds for Rouquier dimension on the respective bounded derived categories.
- [133] arXiv:2405.04391 [pdf, ps, other]
-
Title: On small densities defined without pseudorandomnessComments: 17 pages, submitted versionSubjects: Number Theory (math.NT); Combinatorics (math.CO); Probability (math.PR)
We identify an assumption on linear forms $\phi_1, \dots, \phi_k: \mathbb{F}_p^n \to \mathbb{F}_p$ that is much weaker than approximate joint equidistribution on the Boolean cube $\{0,1\}^n$ and is in a sense almost as weak as linear independence, but which guarantees that every subset of $\{0,1\}^n$ on which none of $\phi_1, \dots, \phi_k$ has full image has a density which tends to 0 with $k$. This density is at most quasipolynomially small in $k$, a bound that is necessarily close to sharp.
- [134] arXiv:2405.04399 [pdf, ps, html, other]
-
Title: Solving ill-conditioned linear algebraic systems using methods that improve conditioningSubjects: Numerical Analysis (math.NA)
We consider the solution of systems of linear algebraic equations (SLAEs) with an ill-conditioned or degenerate exact matrix and an approximate right-hand side. An approach to solving such a problem is proposed and justified, which makes it possible to improve the conditionality of the SLAE matrix and, as a result, obtain an approximate solution that is stable to perturbations of the right hand side with higher accuracy than using other methods. The approach is implemented by an algorithm that uses so-called minimal pseudoinverse matrices. The results of numerical experiments are presented that confirm the theoretical provisions of the article.
- [135] arXiv:2405.04400 [pdf, ps, html, other]
-
Title: Decentralized Algorithms for Out-of-System Interference Suppression in Distributed MIMOComments: 5 pages, 2 figures, to be published in IEEE Wireless Communications LettersSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Out-of-system (OoS) interference is a potential limitation for distributed networks that operate in unlicensed spectrum or in a spectrum sharing scenario. The OoS interference differs from the in-system interference in that OoS signals and their associated channels (or even their statistics) are completely unknown. In this paper, we propose a novel distributed algorithm that can mitigate OoS interference in the uplink and suppress the signal transmission in the OoS direction in the downlink. To estimate the OoS interference, each access point (AP), upon receiving an estimate of OoS interference from a previous AP, computes a better estimate of OoS interference by rotate-and-average using Procrustes method and forwards the estimates to the next AP. This process continues until the central processing unit (CPU) receives the final estimate. Our method has comparable performance to that of a fully centralized interference rejection combining algorithm and has much lower fronthaul load requirements.
- [136] arXiv:2405.04406 [pdf, ps, html, other]
-
Title: R\'enyi divergence guarantees for hashing with linear codesSubjects: Information Theory (cs.IT)
We consider the problem of distilling uniform random bits from an unknown source with a given $p$-entropy using linear hashing. As our main result, we estimate the expected $p$-divergence from the uniform distribution over the ensemble of random linear codes for all integer $p\ge 2$. The proof relies on analyzing how additive noise, determined by a random element of the code from the ensemble, acts on the source distribution. This action leads to the transformation of the source distribution into an approximately uniform one, a process commonly referred to as distribution smoothing. We also show that hashing with Reed-Muller matrices reaches intrinsic randomness of memoryless Bernoulli sources in the $l_p$ sense for all integer $p\ge 2$.
- [137] arXiv:2405.04409 [pdf, ps, html, other]
-
Title: On Bias and Its Reduction via Standardization in Source Localization ProblemsComments: 20 pages (excluding references), six figuresSubjects: Optimization and Control (math.OC)
In source localization problems, the aim is to locate the sources within a domain that causes given measurements on the boundary. In this type of problem, biasing of the solution is one of the main causes of mislocalization. A technique called standardization was developed to reduce biasing. However, the lack of a mathematical background for this method can cause difficulties in its application and confusion regarding the reliability of solutions. Here, we give a rigorous and generalized background for the technique using the Bayesian framework to shed light on the technique's abilities and limitations. In addition, we take a look at the noise robustness of the method that is widely reported in numerical studies. The paper starts by giving a gentle introduction to the problem and its bias and works its way toward standardization.
- [138] arXiv:2405.04410 [pdf, ps, other]
-
Title: Almost special representations of Weyl groupsComments: 18 pagesSubjects: Representation Theory (math.RT)
Let $c$ be the family of irreducible representations of a Weyl group $W$ corresponding to a two-sided cell of $W$. We define a subset $A_c$ of $c$ which contains the special representation of $W$ in $c$ and is in canonical bijection with the set of constructible representations of $W$ attached to $c$.
- [139] arXiv:2405.04417 [pdf, ps, html, other]
-
Title: The Large Deviation Principle for $W$-random spectral measuresComments: 17 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
The $W$-random graphs provide a flexible framework for modeling large random networks. Using the Large Deviation Principle (LDP) for $W$-random graphs from [9], we prove the LDP for the corresponding class of random symmetric Hilbert-Schmidt integral operators. Our main result describes how the eigenvalues and the eigenspaces of the integral operator are affected by the large deviations in the underlying random graphon. To prove the LDP, we demonstrate continuous dependence of the spectral measures associated with integral operators on the underlying graphons and use the Contraction Principle. To illustrate our results, we obtain leading order asymptotics of the eigenvalues of the integral operators corresponding to certain random graph sequences. These examples suggest several representative scenarios of how the eigenvalues and the eigenspaces of the integral operators are affected by large deviations. Potential implications of these observations for bifurcation analysis of Dynamical Systems and Graph Signal Processing are indicated.
- [140] arXiv:2405.04421 [pdf, ps, html, other]
-
Title: The bishop and knight checkmate on a large chessboardComments: 13 pages, 10 figures. To be published in Games of No Chance 6Subjects: Combinatorics (math.CO)
In 1983 the chess periodical EG published a summary of a letter from Julius Telesin outlining how a king, a bishop and a knight can checkmate a lonely king on an arbitrarily large chessboard. The Telesin checkmating procedure doesn't seem to be widely known, and the published account left out a number of details. We describe the method precisely and show that it works against every defense. We also discuss the open question of the asymptotics of the largest distance to mate on a large square board.
- [141] arXiv:2405.04422 [pdf, ps, other]
-
Title: Homotopy braid groups are torsion-freeSubjects: Geometric Topology (math.GT)
We show that, for any number of components, the group of braids up to link-homotopy is torsion-free. This generalizes a result of Humphries up to six components, and provides an explicit solution to a question posed by Lin and addressed by Linell and Schick regarding the existence of non-abelian torsion-free quotients of the braid group. The proof relies on the diagrammatic theory of welded braids and uses the Artin representation. As a corollary, we obtain yet another proof that braid groups themselves are torsion-free.
- [142] arXiv:2405.04425 [pdf, ps, other]
-
Title: On the classification of product-quotient surfaces with $q=0$, $p_g=3$ and their canonical mapSubjects: Algebraic Geometry (math.AG); Group Theory (math.GR)
In this work we present new results to produce an algorithm that returns, for any fixed pair of natural integers $K^2$ and $\chi$, all regular surfaces $S$ of general type with self-intersection $K_S^2=K^2$ and Euler characteristic $\chi(\mathcal O_S)=\chi$, that are product-quotient surfaces. The key result we obtain is an algebraic characterization of all families of regular product-quotients surfaces, up to isomorphism, arising from a pair of $G$-coverings of $\mathbb P^1$. As a consequence of our work, we provide a classification of all regular product-quotient surfaces of general type with $23\leq K^2\leq 32$ and $\chi(\mathcal O_S)=4$. Furthermore, we study their canonical map and present several new examples of surfaces of general type with a high degree of the canonical map.
- [143] arXiv:2405.04431 [pdf, ps, other]
-
Title: Optimizing Information Freshness in IoT Systems with Update Rate Constraints: A Token-Based ApproachComments: IFIP/IEEE Networking 2024Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
In Internet of Things (IoT) status update systems, where information is sampled and subsequently transmitted from a source to a destination node, the imperative necessity lies in maintaining the timeliness of information and updating the system with optimal frequency. Optimizing information freshness in resource-limited status update systems often involves Constrained Markov Decision Process (CMDP) problems with update rate constraints. Solving CMDP problems, especially with multiple constraints, is a challenging task. To address this, we present a token-based approach that transforms CMDP into an unconstrained MDP, simplifying the solution process. We apply this approach to systems with one and two update rate constraints for optimizing Age of Incorrect Information (AoII) and Age of Information (AoI) metrics, respectively, and explore the analytical and numerical aspects. Additionally, we introduce an iterative triangle bisection method for solving the CMDP problems with two constraints, comparing its results with the token-based MDP approach. Our findings show that the token-based approach yields superior performance over baseline policies, converging to the optimal policy as the maximum number of tokens increases.
- [144] arXiv:2405.04433 [pdf, ps, other]
-
Title: Learning local Dirichlet-to-Neumann maps of nonlinear elliptic PDEs with rough coefficientsComments: 19 pages, 14 figures, submitted to CEMRACS 2023 proceedingsSubjects: Numerical Analysis (math.NA)
Partial differential equations (PDEs) involving high contrast and oscillating coefficients are common in scientific and industrial applications. Numerical approximation of these PDEs is a challenging task that can be addressed, for example, by multi-scale finite element analysis. For linear problems, multi-scale finite element method (MsFEM) is well established and some viable extensions to non-linear PDEs are known. However, some features of the method seem to be intrinsically based on linearity-based. In particular, traditional MsFEM rely on the reuse of computations. For example, the stiffness matrix can be calculated just once, while being used for several right-hand sides, or as part of a multi-level iterative algorithm. Roughly speaking, the offline phase of the method amounts to pre-assembling the local linear Dirichlet-to-Neumann (DtN) operators. We present some preliminary results concerning the combination of MsFEM with machine learning tools. The extension of MsFEM to nonlinear problems is achieved by means of learning local nonlinear DtN maps. The resulting learning-based multi-scale method is tested on a set of model nonlinear PDEs involving the $p-$Laplacian and degenerate nonlinear diffusion.
- [145] arXiv:2405.04439 [pdf, ps, html, other]
-
Title: Brownian Motion on The Spider Like Quantum GraphsComments: 20 pages, 2 figures, submitted to " Markov Processes And Related Fields"Subjects: Mathematical Physics (math-ph); Probability (math.PR)
The paper contains the probabilistic analysis of the Brownian motion on the simplest quantum graph, spider: a system of N-half axis connected only at the graph's origin by the simplest (so-called Kirchhoff's) gluing conditions. The limit theorems for the diffusion on such a graph, especially if $N \to \infty$ are significantly different from the classical case $N = 2$ (full axis). Additional results concern the properties of the spectral measure of the spider Laplacian and the corresponding generalized Fourier transforms. The continuation of the paper will contain the study of the spectrum for the class of Schrödinger operators on the spider graphs: Laplacian perturbed by unbounded potential and related phase transitions.
- [146] arXiv:2405.04440 [pdf, ps, other]
-
Title: Generalized classical Yang-Baxter equation and regular decompositionsSubjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph)
The focus of the paper is on constructing new solutions of the generalized classical Yang-Baxter equation (GCYBE) that are not skew-symmetric. Using regular decompositions of finite-dimensional simple Lie algebras, we construct Lie algebra decompositions of $\mathfrak{g}(\!(x)\!) \times \mathfrak{g}[x]/x^m \mathfrak{g}[x]$. The latter decompositions are in bijection with the solutions to the GCYBE. Under appropriate regularity conditions, we obtain a partial classification of such solutions. The paper is concluded with the presentations of the Gaudin-type models associated to these solutions.
- [147] arXiv:2405.04444 [pdf, ps, other]
-
Title: Immortal solutions of the K\"ahler-Ricci flowComments: 18 pages; submitted to the AMS Contemporary Mathematics volume in memory of Steve ZelditchSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
We survey some recent developments on solutions of the Kähler-Ricci flow on compact Kähler manifolds which exist for all positive times.
- [148] arXiv:2405.04449 [pdf, ps, other]
-
Title: Derivation of kinetic and diffusion equations from a hard-sphere Rayleigh gas using collision trees and semigroupsComments: To appear in LMS lecture notes for conference 'Dynamics, Bifurcations and Numerics', University of Surrey, July 2023Subjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
We will revisit the classical questions of understanding the statistics of various deterministic dynamics of $N$ hard spheres of diameter $\varepsilon$ with random initial data in the Boltzmann-Grad scaling as $\varepsilon$ tends to zero and $N$ tends to infinity. The convergence of the empiric particle dynamics to the Boltzmann-type dynamics is shown using semigroup methods to describe probability measures on collision trees associated to physical trajectories in the case of a Rayleigh gas. As an application we derive the diffusion equation by a further rescaling.
- [149] arXiv:2405.04451 [pdf, ps, other]
-
Title: Analyticity for classical hard-core gases via recursionComments: 19 pagesSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
In the recent work of [Michelen, Perkins, Comm. Math. Phys. 399:1 (2023)], a new lower bound of $eC_{\phi}(\beta)^{-1}$ is obtained for the positive activity up to which the pressure of a classical system of particles with repulsive pair interactions is analytic. In this paper, we extend their method to the class of radially symmetric, locally stable, and tempered pair potentials. Our main result is that the pressure of such systems is analytic for positive activities up to $e^{2(1-W(eA_{\phi}(\beta)/C_{\phi}(\beta)))}C_{\phi}(\beta)^{-1}e^{-(\beta C+1)}$, where $C>0$ is the local stability constant, $W(\cdot)$ the Lambert $W$-function, and $A_{\phi}(\beta)$ the contribution from the attractive part of the pair potential to the temperedness constant. In the high-temperature limit, our result improves the classical Penrose-Ruelle bound of $C_{\phi}(\beta)^{-1}e^{-(\beta C+1)}$ by a factor of $e^{2}$. This proves the absence of phase transitions in these systems in the Lee-Yang sense for activities up to the above threshold.
- [150] arXiv:2405.04452 [pdf, ps, other]
-
Title: Piecewise continuous maps on the intervalSubjects: Dynamical Systems (math.DS)
Let $f$ be a piecewise continuous map on the interval with at most a finite number of turning points. In this paper we study some basic properties about this class of functions and show its main difference from the continuous case. We define and study the notion of closed structure, which can be seen as an extension of the notion of periodic orbit. Moreover, we also study the periodic orbits which are away from the discontinuities of $f$, extending the notion of trapped and free periodic orbits.
- [151] arXiv:2405.04462 [pdf, ps, html, other]
-
Title: A Constructive Winning Maker Strategy in the Maker-Breaker $C_4$-GameSubjects: Combinatorics (math.CO)
Maker-Breaker subgraph games are among the most famous combinatorial games. For given $n,q \in \mathbb{N}$ and a subgraph $C$ of the complete graph $K_n$, the two players, called Maker and Breaker, alternately claim edges of $K_n$. In each round of the game Maker claims one edge and Breaker is allowed to claim up to $q$ edges. If Maker is able to claim all edges of a copy of $C$, he wins the game. Otherwise Breaker wins. In this work we introduce the first constructive strategy for Maker for the $C_4$-Maker-Breaker game and show that he can win the game if $q < 0.16 n^{2/3}$. According to the theorem of Bednarska and Luczak (2000) $n^{2/3}$ is asymptotically optimal for this game, but the constant given there for a random Maker strategy is magnitudes apart from our constant 0.16.
- [152] arXiv:2405.04464 [pdf, ps, other]
-
Title: Ekedahl-Oort strata and the supersingular locus in the GU(q-2,2) Shimura varietyComments: 41 pages, comments welcome!Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
This paper concerns the characteristic-$p$ fibers of $\mathsf{GU}(q-2,2)$ Shimura varieties, which classify abelian varieties with additional structure. These Shimura varieties admit two stratifications of interest: the Ekedahl-Oort stratification, based on the isomorphism class of the $p$-torsion subgroup scheme, and the Newton stratification, based on the isogeny class of the $p$-divisible group. It is natural to ask which Ekedahl-Oort strata intersect the unique closed Newton stratum, called the \emph{supersingular locus}. In this paper, we present several novel techniques that give information about the interaction between the two stratifications for general signature $(q-2,2)$, and as an application, we completely answer this question for the signature $(3,2)$.
- [153] arXiv:2405.04473 [pdf, ps, html, other]
-
Title: Nonlinear Landau damping and wave operators in sharp Gevrey spacesComments: 38 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We prove nonlinear Landau damping in optimal weighted Gevrey-3 spaces for solutions of the confined Vlasov-Poisson system on $\T^d\times\R^d$ which are small perturbations of homogeneous Penrose-stable equilibria.
We also prove the existence of nonlinear scattering operators associated to the confined Vlasov-Poisson evolution, as well as suitable injectivity properties and Lipschitz estimates (also in weighted Gevrey-3 spaces) on these operators.
Our results give definitive answers to two well-known open problems in the field, both of them stated in the recent review of Bedrossian [4, Section 6]. - [154] arXiv:2405.04482 [pdf, ps, html, other]
-
Title: Harnack inequality for parabolic equations in double-divergence form with singular lower order coefficientsComments: 18 pagesSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
This paper investigates the Harnack inequality for nonnegative solutions to second-order parabolic equations in double divergence form. We impose conditions where the principal coefficients satisfy the Dini mean oscillation condition in $x$, while the drift and zeroth-order coefficients belong to specific Morrey classes. Our analysis contributes to advancing the theoretical foundations of parabolic equations in double divergence form, including Fokker-Planck-Kolmogorov equations for probability densities.
- [155] arXiv:2405.04492 [pdf, ps, other]
-
Title: Geometric Structures for the $G_2'$-Hitchin ComponentComments: Comments welcome!Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
We give an explicit geometric structures interpretation of the $G_2'$-Hitchin component $Hit(S, G_2') \subset \chi(\pi_1S,G_2')$ of a closed oriented surface $S$ of genus $g \geq 2$. In particular, we prove $Hit(S, G_2')$ is naturally homeomorphic to a moduli space $\mathscr{M}$ of $(G,X)$-structures for $G = G_2'$ and $X = Ein^{2,3}$ on a fiber bundle $\mathscr{C}$ over $S$ via the descended holonomy map. Explicitly, $\mathscr{C}$ is the direct sum of fiber bundles $\mathscr{C} = UTS \oplus UTS \oplus \underline{\mathbb{R}_+}$ with fiber $\mathscr{C}_p = UT_p S \times UT_p S \times \mathbb{R}_+$, where $UT S$ denotes the unit tangent bundle.
The geometric structure associated to a $G_2'$-Hitchin representation $\rho$ is explicitly constructed from the unique associated $\rho$-equivariant alternating almost-complex curve $\hat{\nu}: \tilde{S} \rightarrow \hat{\mathbb{S}}^{2,4}$; we critically use recent work of Collier-Toulisse on the moduli space of such curves. Our explicit geometric structures are examined in the $G_2'$-Fuchsian case and shown to be unrelated to the $(G_2', Ein^{2,3})$-structures of Guichard-Wienhard. - [156] arXiv:2405.04501 [pdf, ps, other]
-
Title: Limiting distributions of the Spherical model and Spin $O(N)$ model: Appearance of GFFComments: 53 pages, no figuresSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We revisit the relation between the spherical model of Berlin-Kac and the spin $O(N)$ model in the limit $N \to \infty$ and explain how they are related via the discrete Gaussian free field (GFF).
More precisely, using probabilistic limit theorems and concentration of measure we first prove that the infinite volume limit of the spherical model on a $d$-dimensional torus is a massive GFF in the high-temperature regime, a standard GFF at the critical temperature, and a standard GFF plus a Rademacher random constant in the low-temperature regime. The proof in the case of the critical temperature appears to be new and requires a fine understanding of the zero-average Green's function on the torus.
For the spin $O(N)$ model, we study the model in the double limit of the spin-dimensionality and the torus size. We take the limit as first the spin-dimension $N$ goes to infinity, and then the size of the torus, and obtain that the different spin coordinates become i.i.d. fields, whose distribution in the high-temperature regime is a massive GFF, a standard GFF at the critical temperature, and a standard GFF plus a Gaussian random constant in the low-temperature regime.
In particular, this means that although the limiting free energies per site of the two models agree at all temperatures, their actual finite-dimensional laws still differ in terms of their zero modes in the low-temperature regime. - [157] arXiv:2405.04502 [pdf, ps, html, other]
-
Title: Diatomic Molecules in deSitter and Anti-deSitter SpacesComments: 13 pages, 7 figures and 4 tablesSubjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
The Schrödinger equation for diatomic molecules in deSitter and anti-deSitter spaces is studied using the extended uncertainty principle formulation. The equations are solved by the Nikiforov-Uvarov method for both the Kratzer potential and the pseudoharmonic oscillator. The energy eigenvalues of the system have been derived analytically, and the exact expressions of the eigenfunctions are provided in terms of Romanovski and Jacobi polynomials. The impact of the spatial deformation parameter on the bound states is also examined, with experimental results used to establish an upper limit for this parameter.
- [158] arXiv:2405.04504 [pdf, ps, html, other]
-
Title: Limit distribution of Hodge spectral exponents of irreducible plane curve singularitiesComments: 25 pages, 3 figuresSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
We study the distribution of the Hodge spectral exponents of an irreducible plane curve by comparing it with a continuous distribution. We provide a closed formula for this difference in terms of numerical invariants of the curve. We characterize those families of irreducible plane curves whose limit distribution of Hodge spectral exponents is the continuous distribution and we provide intervals of dominating values.
- [159] arXiv:2405.04505 [pdf, ps, html, other]
-
Title: A density-dependent metapopulation model: Extinction, persistence and source-sink dynamicsSubjects: Dynamical Systems (math.DS)
We consider a nonlinear coupled discrete-time model of population dynamics. This model describes the movement of populations within a heterogeneous landscape, where the growth of subpopulations are modelled by (possibly different) bounded Kolmogorov maps and coupling terms are defined by nonlinear functions taking values in $(0,1)$. These couplings describe the proportions of individuals dispersing between regions. We first give a brief survey of similar discrete-time dispersal models. We then derive sufficient conditions for the stability/instability of the extinction equilibrium, for the existence of a positive fixed point and for ensuring uniform strong persistence. Finally we numerically explore a planar version of our model in a source-sink context, to show some of the qualitative behaviour that the model we consider can capture: for example, periodic behaviour and dynamics reminiscent of chaos.
- [160] arXiv:2405.04509 [pdf, ps, other]
-
Title: Asymptotic formula for the sum of a prime and a square-full number in short intervalsSubjects: Number Theory (math.NT)
Let $R_{m, \mathrm{sq-full}}(N)$ be a representation function for the sum of a prime and a square-full number.
In this article, we prove an asymptotic formula for the sum of $R_{m, \mathrm{sq-full}}(N)$ over positive integers $N$ in a short interval ($X$, $X+H$] of length $H$ slightly bigger than $X^{\frac{1}{2}}$. - [161] arXiv:2405.04510 [pdf, ps, other]
-
Title: Macroscopic flow out of a segment for Activated Random Walks in dimension 1Comments: 15 pagesSubjects: Probability (math.PR)
Activated Random Walk is a system of interacting particles which presents a phase transition and a conjectured phenomenon of self-organized criticality. In this note, we prove that, in dimension 1, in the supercritical case, when a segment is stabilized with particles being killed when they jump out of the segment, a positive fraction of the particles exits the segment with positive probability.
This was already known to be a sufficient condition for being in the active phase of the model, and the result of this paper shows that this condition is also necessary, except maybe precisely at the critical point. This result can also be seen as a partial answer to some of the many conjectures which connect the different points of view on the phase transition of the model. - [162] arXiv:2405.04512 [pdf, ps, other]
-
Title: A realization theorem for almost Dedekind domainsSubjects: Commutative Algebra (math.AC)
An integral domain $D$ is called an SP-domain if every ideal is a product of radical ideals. Such domains are always almost Dedekind domains, but not every almost Dedekind domain is an SP-domain. The SP-rank of $D$ provides a natural measure of the deviation of $D$ from being an SP-domain. In the present paper we show that every ordinal number $\alpha$ can be realized as the SP-rank of an almost Dedekind domain.
- [163] arXiv:2405.04523 [pdf, ps, html, other]
-
Title: The ramification tree and almost Dedekind domains of prescribed SP-rankSubjects: Commutative Algebra (math.AC)
Given a valuation $v$ with quotient field $K$ and a sequence $\mathcal{K} :K_0\subseteq K_1\subseteq\cdots$ of finite extensions of $K$, we construct a weighted tree $\mathcal{T}(v,\mathcal{K})$ encoding information about the ramification of $v$ in the extensions $K_i$; conversely, we show that a weighted tree $\mathcal{T}$ can be expressed as $\mathcal{T}(v,\mathcal{K})$ under some mild hypothesis on $v$ or on $\mathcal{T}$. We use this construction to construct, for every countable successor ordinal number $\alpha$, an almost Dedekind domain $D$, integral over $V$ (the valuation domain of $v$) whose SP-rank is $\alpha$. Subsequently, we extend this result to countable limit ordinal numbers by considering integral extensions of Dedekind domains with countably many maximal ideals.
New submissions for Wednesday, 8 May 2024 (showing 163 of 163 entries )
- [164] arXiv:2401.14217 (cross-list from quant-ph) [pdf, ps, html, other]
-
Title: The explicit form of the unitary representation of the Poincar\'e group for vector-valued wave functions (massive and massless), with applications to photon's localization and position operatorsComments: Several typos fixed. Footnotes and References added. Table replaced by figureJournal-ref: Mathematics 2024, 12(8), 1140Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We geometrically derive the explicit form of the Unitary representation of the Poincare group and use it to apply speed-of-light boosts to simple polarization basis to end up with Hawton-Baylis photon position operator with commuting components. We give explicit formulas for other photon boost eigenmodes. We investigate the underlying affine connections on the light cone in momentum space and find that while Pryce connection is metric semi-symmetric, the flat Hawton-Baylis connection is not semi-symmetric. Finally we discuss localizability of photon states localized on closed loops and show that photon states on the circle, both unnormalized improper states and finite norm wave packet smeared over washer-like regions are strictly localized with respect to Hawton-Baylis operators with commuting components and also with respect to the noncommutative Jauch-Piron-Amrein POV measure.
- [165] arXiv:2405.03693 (cross-list from physics.data-an) [pdf, ps, other]
-
Title: Trajectory analysis through entropy characterization over coded representationSubjects: Data Analysis, Statistics and Probability (physics.data-an); Information Theory (cs.IT)
Any continuous curve in a higher dimensional space can be considered a trajectory that can be parameterized by a single variable, usually taken as time. It is well known that a continuous curve can have a fractional dimensionality, which can be estimated using already standard algorithms. However, characterizing a trajectory from an entropic perspective is far less developed. The search for such characterization leads us to use chain coding to discretize the description of a curve. Calculating the entropy density and entropy-related magnitudes from the resulting finite alphabet code becomes straightforward. In such a way, the entropy of a trajectory can be defined and used as an effective tool to assert creativity and pattern formation from a Shannon perspective. Applying the procedure to actual experimental physiological data and modelled trajectories of astronomical dynamics proved the robustness of the entropic characterization in a wealth of trajectories of different origins and the insight that can be gained from its use.
- [166] arXiv:2405.03696 (cross-list from nlin.SI) [pdf, ps, html, other]
-
Title: Several Special Solutions of Open WDVV EquationsSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)
The Witten-Dijkgraaf-Verlinde-Verlinde(WDVV) equations appeared in the study of two-dimensional topological field theoies in the early 1990s. An extension of the WDVV equations, called the open WDVV equations, was introduced by A.Horev and J.P.Solomon (arXiv:1210.4034). In this paper, we give some particular solutions to the open WDVV equations.
- [167] arXiv:2405.03737 (cross-list from gr-qc) [pdf, ps, html, other]
-
Title: Comments on the article "M.O. Katanaev, Complete separation of variables in the geodesic Hamilton-Jacobi equation in four dimensions. Physica Scripta (2023), 98, 104001" by V. V. Obukhov, K. E. Osetrin, and A. V. ShapovalovComments: 2 pages; reply to arXiv:2311.14330Journal-ref: Phys. Scr. 99 (2024) 067001Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
This is a detailed answer to the criticism of my paper.
- [168] arXiv:2405.03815 (cross-list from stat.ME) [pdf, ps, html, other]
-
Title: Statistical inference for a stochastic generalized logistic differential equationComments: 22 pages, 3 figuresSubjects: Methodology (stat.ME); Probability (math.PR); Statistics Theory (math.ST)
This research aims to estimate three parameters in a stochastic generalized logistic differential equation. We assume the intrinsic growth rate and shape parameters are constant but unknown. To estimate these two parameters, we use the maximum likelihood method and establish that the estimators for these two parameters are strongly consistent. We estimate the diffusion parameter by using the quadratic variation processes. To test our results, we evaluate two data scenarios, complete and incomplete, with fixed values assigned to the three parameters. In the incomplete data scenario, we apply an Expectation Maximization algorithm.
- [169] arXiv:2405.03823 (cross-list from cond-mat.dis-nn) [pdf, ps, html, other]
-
Title: Learning in associative networks through Pavlovian dynamicsComments: 26 pages, 3 figuresSubjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Mathematical Physics (math-ph)
Hebbian learning theory is rooted in Pavlov's Classical Conditioning. In addition, while mathematical models of the former have been proposed and studied in the past decades, especially in spin glass theory, only recently it has been numerically shown that the Pavlovian neural and synaptic dynamics mechanisms give rise to synaptic weights that correspond to the Hebbian learning rule. In this paper, we show that we can analytically prove this result. Moreover, we obtain the Pavlovian dynamics directly with statistical mechanics considerations, so that we can model the whole process within the same framework. Then, we test and study the model in different numerical settings. Finally, drawing from evidence on pure memory reinforcement during sleep stages, we show how the proposed model can simulate neural networks that undergo sleep-associated memory consolidation processes, thereby proving the compatibility of Pavlovian learning.
- [170] arXiv:2405.03854 (cross-list from eess.IV) [pdf, ps, html, other]
-
Title: Provable Preconditioned Plug-and-Play Approach for Compressed Sensing MRI ReconstructionComments: 14 figures, 4 tablesSubjects: Image and Video Processing (eess.IV); Optimization and Control (math.OC)
Model-based methods play a key role in the reconstruction of compressed sensing (CS) MRI. Finding an effective prior to describe the statistical distribution of the image family of interest is crucial for model-based methods. Plug-and-play (PnP) is a general framework that uses denoising algorithms as the prior or regularizer. Recent work showed that PnP methods with denoisers based on pretrained convolutional neural networks outperform other classical regularizers in CS MRI reconstruction. However, the numerical solvers for PnP can be slow for CS MRI reconstruction. This paper proposes a preconditioned PnP (P^2nP) method to accelerate the convergence speed. Moreover, we provide proofs of the fixed-point convergence of the P^2nP iterates. Numerical experiments on CS MRI reconstruction with non-Cartesian sampling trajectories illustrate the effectiveness and efficiency of the P^2nP approach.
- [171] arXiv:2405.03861 (cross-list from q-bio.MN) [pdf, ps, html, other]
-
Title: Homeostasis in Input-Output Networks: Structure, Classification and ApplicationsComments: 45 pages, 26 figures, submitted to the MBS special issue "Dynamical Systems in Life Sciences"Subjects: Molecular Networks (q-bio.MN); Combinatorics (math.CO); Dynamical Systems (math.DS); Biological Physics (physics.bio-ph)
Homeostasis is concerned with regulatory mechanisms, present in biological systems, where some specific variable is kept close to a set value as some external disturbance affects the system. Mathematically, the notion of homeostasis can be formalized in terms of an input-output function that maps the parameter representing the external disturbance to the output variable that must be kept within a fairly narrow range. This observation inspired the introduction of the notion of infinitesimal homeostasis, namely, the derivative of the input-output function is zero at an isolated point. This point of view allows for the application of methods from singularity theory to characterize infinitesimal homeostasis points (i.e. critical points of the input-output function). In this paper we review the infinitesimal approach to the study of homeostasis in input-output networks. An input-output network is a network with two distinguished nodes `input' and `output', and the dynamics of the network determines the corresponding input-output function of the system. This class of dynamical systems provides an appropriate framework to study homeostasis and several important biological systems can be formulated in this context. Moreover, this approach, coupled to graph-theoretic ideas from combinatorial matrix theory, provides a systematic way for classifying different types of homeostasis (homeostatic mechanisms) in input-output networks, in terms of the network topology. In turn, this leads to new mathematical concepts, such as, homeostasis subnetworks, homeostasis patterns, homeostasis mode interaction. We illustrate the usefulness of this theory with several biological examples: biochemical networks, chemical reaction networks (CRN), gene regulatory networks (GRN), Intracellular metal ion regulation and so on.
- [172] arXiv:2405.03877 (cross-list from hep-th) [pdf, ps, html, other]
-
Title: Bounds and Dualities of Type II Little String TheoriesComments: 58 pages, 3 appendices, 10 tablesSubjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG)
We explore the symmetry structure of Type II Little String Theories and their T-dualities. We construct these theories both from the bottom-up perspective starting with seed Superconformal Field Theories, and from the top-down using F-/M-theory. By exploiting anomaly inflow and unitarity of the LST worldsheet theory, we derive strong conditions on the possible 6D bulk theories and their flavor algebras. These constraints continue to apply if gravity is coupled to the theory. We also study the higher form symmetry structure of these theories and show how they get exchanged under T-duality. Finally, we comment on seemingly consistent bottom-up Little String Theories that cannot be constructed from the top-down approach.
- [173] arXiv:2405.04017 (cross-list from cs.LG) [pdf, ps, html, other]
-
Title: An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural NetworksSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Temporal difference (TD) learning algorithms with neural network function parameterization have well-established empirical success in many practical large-scale reinforcement learning tasks. However, theoretical understanding of these algorithms remains challenging due to the nonlinearity of the action-value approximation. In this paper, we develop an improved non-asymptotic analysis of the neural TD method with a general $L$-layer neural network. New proof techniques are developed and an improved new $\tilde{\mathcal{O}}(\epsilon^{-1})$ sample complexity is derived. To our best knowledge, this is the first finite-time analysis of neural TD that achieves an $\tilde{\mathcal{O}}(\epsilon^{-1})$ complexity under the Markovian sampling, as opposed to the best known $\tilde{\mathcal{O}}(\epsilon^{-2})$ complexity in the existing literature.
- [174] arXiv:2405.04102 (cross-list from cs.PF) [pdf, ps, html, other]
-
Title: Analysis of Markovian Arrivals and Service with Applications to Intermittent OverloadComments: 27 pagesSubjects: Performance (cs.PF); Probability (math.PR)
Almost all queueing analysis assumes i.i.d. arrivals and service. In reality, arrival and service rates fluctuate over time. In particular, it is common for real systems to intermittently experience overload, where the arrival rate temporarily exceeds the service rate, which an i.i.d. model cannot capture. We consider the MAMS system, where the arrival and service rates each vary according to an arbitrary finite-state Markov chain, allowing intermittent overload to be modeled.
We derive the first explicit characterization of mean queue length in the MAMS system, with explicit bounds for all arrival and service chains at all loads. Our bounds are tight in heavy traffic. We prove even stronger bounds for the important special case of two-level arrivals with intermittent overload.
Our key contribution is an extension to the drift method, based on the novel concepts of relative arrivals and relative completions. These quantities allow us to tractably capture the transient correlational effect of the arrival and service processes on the mean queue length. - [175] arXiv:2405.04112 (cross-list from physics.flu-dyn) [pdf, ps, html, other]
-
Title: Logarithmic lattice models for flows with boundariesComments: 37 pages, 13 figuresSubjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP)
Many fundamental problems in fluid dynamics are related to the effects of solid boundaries. In general, they install sharp gradients and contribute to the developement of small-scale structures, which are computationally expensive to resolve with numerical simulations. A way to access extremely fine scales with a reduced number of degrees of freedom is to consider the equations on logarithmic lattices in Fourier space. Here we introduce new toy models for flows with walls, by showing how to add boundaries to the logarithmic lattice framework. The resulting equations retain many important properties of the original systems, such as the conserved quantities, the symmetries and the boundary effects. We apply this technique to many flows, with emphasis on the inviscid limit of the Navier-Stokes equations. For this setup, simulations reach impressively large Reynolds numbers and disclose interesting insights about the original problem.
- [176] arXiv:2405.04147 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Multiparameter regularization and aggregation in the context of polynomial functional regressionElke R. Gizewski, Markus Holzleitner, Lukas Mayer-Suess, Sergiy Pereverzyev Jr., Sergei V. PereverzyevComments: 18 pagesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA); Statistics Theory (math.ST)
Most of the recent results in polynomial functional regression have been focused on an in-depth exploration of single-parameter regularization schemes. In contrast, in this study we go beyond that framework by introducing an algorithm for multiple parameter regularization and presenting a theoretically grounded method for dealing with the associated parameters. This method facilitates the aggregation of models with varying regularization parameters. The efficacy of the proposed approach is assessed through evaluations on both synthetic and some real-world medical data, revealing promising results.
- [177] arXiv:2405.04155 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: Thermal convection in a higher velocity gradient and higher temperature gradient fluidGiulia Giantesio, Alberto Girelli, Chiara Lonati, Alfredo Marzocchi, Alessandro Musesti, Brian StraughanComments: 20 pages, 3 tables, 4 figuresSubjects: Fluid Dynamics (physics.flu-dyn); Mathematical Physics (math-ph)
We analyse a model for thermal convection in a class of generalized Navier-Stokes equations containing fourth order spatial derivatives of the velocity and of the temperature. The work generalises the isothermal model of A. Musesti. We derive critical Rayleigh and wavenumbers for the onset of convective fluid motion paying careful attention to the variation of coefficients of the highest derivatives. In addition to linear instability theory we include an analysis of fully nonlinear stability theory. The theory analysed possesses a bi-Laplacian term for the velocity field and also for the temperature field. It was pointed out by E. Fried and M. Gurtin that higher order terms represent micro-length effects and these phenomena are very important in flows in microfluidic situations. We introduce temperature into the theory via a Boussinesq approximation where the density of the body force term is allowed to depend upon temperature to account for buoyancy effects which arise due to expansion of the fluid when this is heated. We analyse a meaningful set of boundary conditions which are introduced by Fried and Gurtin as conditions of strong adherence, and these are crucial to understand the effect of the higher order derivatives upon convective motion in a microfluidic scenario where micro-length effects are paramount. The basic steady state is the one of zero velocity, but in contrast to the classical theory the temperature field is nonlinear in the vertical coordinate. This requires care especially dealing with nonlinear theory and also leads to some novel effects.
- [178] arXiv:2405.04157 (cross-list from cs.LO) [pdf, ps, html, other]
-
Title: Two-dimensional Kripke Semantics I: PresheavesJournal-ref: LIPIcs, Volume 299, FSCD 2024, article 11Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely through their categorical semantics. We show how the two correspond.
- [179] arXiv:2405.04168 (cross-list from cs.CR) [pdf, ps, html, other]
-
Title: Three variations of Heads or Tails Game for BitcoinComments: 16 pagesSubjects: Cryptography and Security (cs.CR); Probability (math.PR)
We present three very simple variants of the classic Heads or Tails game using chips, each of which contributes to our understanding of the Bitcoin protocol. The first variant addresses the issue of temporary Bitcoin forks, which occur when two miners discover blocks simultaneously. We determine the threshold at which an honest but temporarily ``Byzantine'' miner persists in mining on their fork to save his orphaned blocks. The second variant of Heads or Tails game is biased in favor of the player and helps to explain why the difficulty adjustment formula is vulnerable to attacks of Nakamoto's consensus. We derive directly and in a simple way, without relying on a Markov decision solver as was the case until now, the threshold beyond which a miner without connectivity finds it advantageous to adopt a deviant mining strategy on Bitcoin. The third variant of Heads or Tails game is unbiased and demonstrates that this issue in the Difficulty Adjustment formula can be fully rectified. Our results are in agreement with the existing literature that we clarify both qualitatively and quantitatively using very simple models and scripts that are easy to implement.
- [180] arXiv:2405.04231 (cross-list from gr-qc) [pdf, ps, html, other]
-
Title: Nonlinear dynamics driving the conversion of gravitational and electromagnetic waves in cylindrically symmetric spacetimeComments: 24 pages, 15 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Using the ``composite harmonic mapping method," we construct exact solutions for cylindrically symmetric gravitational and electromagnetic waves within the Einstein-Maxwell system, focusing on the conversion dynamics between these types of waves. In this approach, we employs two types of geodesic surfaces in ${\mathbb H}^{2}_{C}$: (a) the complex line and (b) the totally real Lagrangian plane, applied to two different vacuum seed solutions: (i) a vacuum solution previously utilized in our studies and (ii) the solitonic vacuum solution constructed previously by Economou and Tsoubelis. We study three scenarios: case (a) with seeds (i) and (ii), and case (b) with seed (ii). In all cases (a) and (b), solutions demonstrate notable mode conversions near the symmetric axis. In case (a) with seed (i) or seed (ii), we show that any change in the occupancy of the gravitational or electromagnetic mode relative to the C-energy near the axis always reverts to its initial state once the wave moves away from the axis. Particularly in case (b) with seed (ii), nontrivial conversions occur even when the wave moves away from the axis. In this case, the amplification factors of electromagnetic modes range from an upper limit of approximately $2.4$ to a lower limit of about $0.4$, when comparing the contributions of electromagnetic mode to C-energy at past and future null infinities.
- [181] arXiv:2405.04418 (cross-list from physics.bio-ph) [pdf, ps, other]
-
Title: Mathematical Modeling of $^{18}$F-Fluoromisonidazole ($^{18}$F-FMISO) Radiopharmaceutical Transport in Vascularized Solid TumorsSubjects: Biological Physics (physics.bio-ph); Mathematical Physics (math-ph); Medical Physics (physics.med-ph)
$^{18}$F-Fluoromisonidazole ($^{18}$F-FMISO) is a highly promising positron emission tomography radiopharmaceutical for identifying hypoxic regions in solid tumors. This research employs spatiotemporal multi-scale mathematical modeling to explore how different levels of angiogenesis influence the transport of radiopharmaceuticals within tumors. In this study, two tumor geometries with heterogeneous and uniform distributions of capillary networks were employed to incorporate varying degrees of microvascular density. The synthetic image of the heterogeneous and vascularized tumor was generated by simulating the angiogenesis process. The proposed multi-scale spatiotemporal model accounts for intricate physiological and biochemical factors within the tumor microenvironment, such as the transvascular transport of the radiopharmaceutical agent, its movement into the interstitial space by diffusion and convection mechanisms, and ultimately its uptake by tumor cells. Results showed that both quantitative and semi-quantitative metrics of $^{18}$F-FMISO uptake differ spatially and temporally at different stages during tumor growth. The presence of a high microvascular density in uniformly vascularized tumor increases cellular uptake, as it allows for more efficient release and rapid distribution of radiopharmaceutical molecules. This results in enhanced uptake compared to the heterogeneous vascularized tumor. In both heterogeneous and uniform distribution of microvessels in tumors, the diffusion transport mechanism has a more pronounced than convection. The findings of this study shed light on the transport phenomena behind $^{18}$F-FMISO radiopharmaceutical distribution and its delivery in the tumor microenvironment, aiding oncologists in their routine decision-making processes.
- [182] arXiv:2405.04438 (cross-list from quant-ph) [pdf, ps, html, other]
-
Title: Positivity and entanglement of polynomial Gaussian integral operatorsComments: 25 pagesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Spectral Theory (math.SP)
We investigate the positivity of self-adjoint polynomial Gaussian integral operators $\widehat{\kappa}_{PG}$, that is, the multivariable kernel $\kappa_{PG}$ is a product of a polynomial $P$ and a Gaussian kernel $\kappa_G$.
We show that $\widehat{\kappa}_{PG}$ can be only positive if the Gaussian part is positive. This has an important corollary for the bipartite entanglement of the density operators $\widehat{\kappa}_{PG}$: if the Gaussian density operator $\widehat{\kappa}_G$ fails the Peres--Horodecki criterion, then the corresponding polynomial Gaussian density operators $\widehat{\kappa}_{PG}$ also fail the criterion for all $P$, hence they are all entangled.
We introduce a new preorder $\preceq$ on Gaussian kernels such that if $\kappa_{G_0}\preceq \kappa_{G_1}$ then $\widehat{\kappa}_{PG_0}\geq 0$ implies $\widehat{\kappa}_{PG_1}\geq 0$ for all polynomials $P$. Therefore, deciding the positivity of a polynomial Gaussian operator determines the positivity of a lot of another polynomial Gaussian operators which have the same polynomial factor. This preorder has implication for the entanglement problem, too.
We also prove that polynomial Gaussian operators with polynomials of odd degree cannot be positive semidefinite. - [183] arXiv:2405.04458 (cross-list from cond-mat.other) [pdf, ps, html, other]
-
Title: Metallic mean fractal systems and their tilingsComments: 12 (+5) pages, 12 (+4) figures. Submitted for community feedbackSubjects: Other Condensed Matter (cond-mat.other); Mathematical Physics (math-ph)
Fractals and quasiperiodic structures share self-similarity as a structural property. Motivated by the link between Fibonacci fractals and quasicrystals which are scaled by the golden mean ratio $\frac{1+\sqrt{5}}{2}$, we introduce and characterize a family of metallic-mean ratio fractals. We calculate the spatial properties of this generalized family, including their boundaries, which are also fractal. We then demonstrate how these fractals can be related to aperiodic tilings, and show how we can decorate them to produce new, fractal tilings.
- [184] arXiv:2405.04466 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: A fully differentiable GNN-based PDE Solver: With Applications to Poisson and Navier-Stokes EquationsSubjects: Fluid Dynamics (physics.flu-dyn); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph)
In this study, we present a novel computational framework that integrates the finite volume method with graph neural networks to address the challenges in Physics-Informed Neural Networks(PINNs). Our approach leverages the flexibility of graph neural networks to adapt to various types of two-dimensional unstructured grids, enhancing the model's applicability across different physical equations and boundary conditions. The core innovation lies in the development of an unsupervised training algorithm that utilizes GPU parallel computing to implement a fully differentiable finite volume method discretization process. This method includes differentiable integral and gradient reconstruction algorithms, enabling the model to directly solve partial-differential equations(PDEs) during training without the need for pre-computed data. Our results demonstrate the model's superior mesh generalization and its capability to handle multiple boundary conditions simultaneously, significantly boosting its generalization capabilities. The proposed method not only shows potential for extensive applications in CFD but also establishes a new paradigm for integrating traditional numerical methods with deep learning technologies, offering a robust platform for solving complex physical problems.
- [185] arXiv:2405.04526 (cross-list from cs.CR) [pdf, ps, other]
-
Title: PoW Security-Latency under Random Delays and the Effect of Transaction FeesSubjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM); Information Theory (cs.IT)
Safety guarantees and security-latency problem of Nakamoto consensus have been extensively studied in the last decade with a bounded delay model. Recent studies have shown that PoW protocol is secure under random delay models as well. In this paper, we analyze the security-latency problem, i.e., how secure a block is, after it becomes k-deep in the blockchain, under general random delay distributions. We provide tight and explicit bounds which only require determining the distribution of the number of Poisson arrivals during the random delay. We further consider potential effects of recent Bitcoin halving on the security-latency problem by extending our results.
Cross submissions for Wednesday, 8 May 2024 (showing 22 of 22 entries )
- [186] arXiv:0901.1988 (replaced) [pdf, ps, html, other]
-
Title: Many-Help-One Problem for Gaussian Sources with a Tree Structure on their CorrelationComments: 21 pages, 4 figuresSubjects: Information Theory (cs.IT)
In this paper we consider the separate coding problem for $L+1$ correlated Gaussian memoryless sources. We deal with the case where $L$ separately encoded data of sources work as side information at the decoder for the reconstruction of the remaining source. The determination problem of the rate distortion region for this system is the so called many-help-one problem and has been known as a highly challenging problem. The author determined the rate distortion region in the case where the $L$ sources working as partial side information are conditionally independent if the remaining source we wish to reconstruct is given. This condition on the correlation is called the CI condition. In this paper we extend the author's previous result to the case where $L+1$ sources satisfy a kind of tree structure on their correlation. We call this tree structure of information sources the TS condition, which contains the CI condition as a special case. In this paper we derive an explicit outer bound of the rate distortion region when information sources satisfy the TS condition. We further derive an explicit sufficient condtion for this outer bound to be tight. In particular, we determine the sum rate part of the rate distortion region for the case where information sources satisfy the TS condition. For some class of Gaussian sources with the TS condition we derive an explicit recursive formula of this sum rate part.
- [187] arXiv:1811.02733 (replaced) [pdf, ps, other]
-
Title: Generalized prolate spheroidal functions: algorithms and analysisSubjects: Numerical Analysis (math.NA)
Generalized prolate spheroidal functions (GPSFs) arise naturally in the study of bandlimited functions as the eigenfunctions of a certain truncated Fourier transform. In one dimension, the theory of GPSFs (typically referred to as prolate spheroidal wave functions) has a long history and is fairly complete. Furthermore, more recent work has led to the development of numerical algorithms for their computation and use in applications. In this paper we consider the more general problem, extending the one dimensional analysis and algorithms to the case of arbitrary dimension. Specifically, we introduce algorithms for efficient evaluation of GPSFs and their corresponding eigenvalues, quadrature rules for bandlimited functions, formulae for interpolation via GPSF expansion, and various analytical properties of GPSFs. We illustrate the numerical and analytical results with several numerical examples.
- [188] arXiv:1904.01884 (replaced) [pdf, ps, other]
-
Title: Projection of root systemsComments: The computations by hand concerning the exceptional groups were incomplete and contained a few errors leading to incorrect results in some casesSubjects: Representation Theory (math.RT)
Let $a$ be a real euclidean vector space of finite dimension and $\Sigma$ a root system in $a$ with a basis $\Delta$. Let $\Theta \subset \Delta$ and $M = M_{\Theta}$ be a standard Levi of a reductive group $G$ such that $a_\Theta = a_M / a_G$. Let us denote $d$ the dimension of $a_\Theta$, i.e the cardinal of $\Delta - \Theta$ and $\Sigma_{\Theta}$ the set of all non-trivial projections of roots in $\Sigma$. We obtain conditions on $\Theta$ such that $\Sigma_\Theta$ contains a root system of rank $d$.
- [189] arXiv:2004.01871 (replaced) [pdf, ps, html, other]
-
Title: Good Basic Invariants and Frobenius StructuresComments: 24 pages, added section 4 examplesSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG); Representation Theory (math.RT)
In this paper, we define a set of good basic invariants for a finite complex reflection group under certain conditions. We show that a set of good basic invariants for a finite real reflection group gives a set of the flat invariants obtained by Saito and the Taylor coefficients of these good basic invariants give the structure constants of the multiplication of the Frobenius structure obtained by Dubrovin.
- [190] arXiv:2004.03587 (replaced) [pdf, ps, html, other]
-
Title: Good Basic Invariants for Elliptic Weyl Groups and Frobenius StructuresComments: 32 pages. arXiv admin note: text overlap with arXiv:2004.01871. Rewrote section 6;added appendicesSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG); Representation Theory (math.RT)
In this paper, we define a set of good basic invariants for the elliptic Weyl group for the elliptic root system. For an elliptic root system of codimension $1$, we show that a set of good basic invariants gives a set of flat invariants obtained by Saito and Taylor coefficients of the good basic invariants give the structure constants of the multiplication of the Frobenius structure obtained by the author.
- [191] arXiv:2004.13938 (replaced) [pdf, ps, other]
-
Title: Families of sequences with good family complexity and cross-correlation measureComments: 15 pages. Comments are welcome!Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Number Theory (math.NT)
In this paper we study pseudorandomness of a family of sequences in terms of two measures, the family complexity ($f$-complexity) and the cross-correlation measure of order $\ell$. We consider sequences not only on binary alphabet but also on $k$-symbols ($k$-ary) alphabet. We first generalize some known methods on construction of the family of binary pseudorandom sequences. We prove a bound on the $f$-complexity of a large family of binary sequences of Legendre-symbols of certain irreducible polynomials. We show that this family as well as its dual family have both a large family complexity and a small cross-correlation measure up to a rather large order. Next, we present another family of binary sequences having high $f$-complexity and low cross-correlation measure. Then we extend the results to the family of sequences on $k$-symbols alphabet.
- [192] arXiv:2005.02055 (replaced) [pdf, ps, html, other]
-
Title: On full asymptotics of analytic torsions for compact locally symmetric orbifoldsComments: 61 pages; this version will appear at Analysis & PDESubjects: Differential Geometry (math.DG)
We consider a certain sequence of flat vector bundles on a compact locally symmetric orbifold, and we evaluate explicitly the associated asymptotic Ray-Singer real analytic torsion. The basic idea is to computing the heat trace via Selberg's trace formula, so that a key point in this paper is to evaluate the orbital integrals associated with nontrivial elliptic elements. For that purpose, we deduce a geometric localization formula, so that we can rewrite an elliptic orbital integral as a sum of certain identity orbital integrals associated with the centralizer of that elliptic element. The explicit geometric formula of Bismut for semisimple orbital integrals plays an essential role in these computations.
- [193] arXiv:2006.07769 (replaced) [pdf, ps, other]
-
Title: Variance-Reduced Accelerated First-order Methods: Central Limit Theorems and Confidence StatementsSubjects: Optimization and Control (math.OC)
In this paper, we study a stochastic strongly convex optimization problem and propose three classes of variable sample-size stochastic first-order methods including the standard stochastic gradient descent method, its accelerated variant, and the stochastic heavy ball method. In the iterates of each scheme, the unavailable exact gradients are approximated by averaging across an increasing batch size of sampled gradients. We prove that when the sample-size increases geometrically, the generated estimates converge in mean to the optimal solution at a geometric rate. Based on this result, we provide a unified framework to show that the rescaled estimation errors converge in distribution to a normal distribution, in which the covariance matrix depends on the Hessian matrix, covariance of the gradient noise, and the steplength. If the sample-size increases at a polynomial rate, we show that the estimation errors decay at the corresponding polynomial rate and establish the corresponding central limit theorems (CLTs). Finally, we provide an avenue to construct confidence regions for the optimal solution based on the established CLTs, and test the theoretic findings on a stochastic parameter estimation problem.
- [194] arXiv:2008.13728 (replaced) [pdf, ps, html, other]
-
Title: Dynamical instability of minimal surfaces at flat singular pointsComments: 31 pages, 3 figures. In v2 we discuss more extensively the range of applicability of our result in the context of the state of the art on the analysis of branched minimal surfaces. This is the final version, to appear on the Journal of Differential GeometrySubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
Suppose that a countably $n$-rectifiable set $\Gamma_0$ is the support of a multiplicity-one stationary varifold in $\mathbb{R}^{n+1}$ with a point admitting a flat tangent plane $T$ of density $Q \geq 2$. We prove that, under a suitable assumption on the decay rate of the blow-ups of $\Gamma_0$ towards $T$, there exists a non-constant Brakke flow starting with $\Gamma_0$. This shows non-uniqueness of Brakke flow under these conditions, and suggests that the stability of a stationary varifold with respect to mean curvature flow may be used to exclude the presence of flat singularities.
- [195] arXiv:2102.07928 (replaced) [pdf, ps, other]
-
Title: Ramification groups of some finite Galois extensions of maximal nilpotency class over local fields of positive characteristicSubjects: Number Theory (math.NT)
We examine the ramification groups of finite Galois extensions over complete discrete valuation fields of equal characteristic $p>0$. Brylinski (1983) calculated the ramification groups in the case where the Galois groups are abelian. We extend the results of Brylinski to some non-abelian cases where the Galois groups are of order $\leq p^{p+1}$ and of maximal nilpotency class.
- [196] arXiv:2105.08373 (replaced) [pdf, ps, html, other]
-
Title: A discrete framework for the interpolation of Banach spacesComments: 63 pages. Published in Advances in MathematicsSubjects: Functional Analysis (math.FA)
We develop a discrete framework for the interpolation of Banach spaces, which contains the well-known real and complex interpolation methods, but also more recent methods like the Rademacher, $\gamma$- and $\ell^q$-interpolation methods. Our framework is based on a sequential structure imposed on a Banach space, which allows us to deduce properties of interpolation methods from properties of sequential structures. Our framework has a formulation modelled after both the real and the complex interpolation methods. This enables us to extend various results, previously known only for either the real or the complex interpolation method, to all interpolation methods that fit into our framework. As applications, we prove an interpolation result for analytic operator families and an interpolation result for intersections.
- [197] arXiv:2108.13668 (replaced) [pdf, ps, other]
-
Title: A globally stable self-similar blowup profile in energy supercritical Yang-Mills theoryComments: 57 pages, 5 figures, with minor improvements to match the published versionJournal-ref: Comm. Partial Differential Equations 48 (2023), no. 9, 1148-1213Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This paper is concerned with the Cauchy problem for an energy-supercritical nonlinear wave equation in odd space dimensions that arises in equivariant Yang-Mills theory. In each dimension, there is a self-similar finite-time blowup solution to this equation known in closed form. It will be proved that this profile is stable in the whole space under small perturbations of the initial data. The blowup analysis is based on a recently developed coordinate system called hyperboloidal similarity coordinates and depends crucially on growth estimates for the free wave evolution, which will be constructed systematically for odd space dimensions in the first part of this paper. This allows to develop a nonlinear stability theory beyond the singularity.
- [198] arXiv:2112.12859 (replaced) [pdf, ps, html, other]
-
Title: Cardinality of Real Numbers and Set AxiomatizationComments: Presented as an invited talk at the International Conference Constructive Mathematics Foundations and Practice (CM:FP) 2023: this https URL, 28 pagesSubjects: Logic (math.LO)
The cardinality of real numbers depends on the chosen axiomatic system and specific models of set theory. Under the ZF framework, real numbers are nondenumerable, but their exact cardinality remains debated due to possible extensions of the ZF axioms. We explored this issue by analyzing sets within the ZFC model and Wang's $\Sigma$ model. Set $S'$, within the ZFC framework, includes all pairs of algebraic numbers with a transcendental number inserted between each pair by a function $f$, which inserts an arbitrarily chosen transcendental number into every interval bounded by algebraic endpoints. This approach enables the representation of any number using these intervals. By employing the AC, one can identify intervals from any Cauchy sequence within $S'$. As each interval contains at least one number due to the function $f$, the intersections of these intervals contain numbers defined by these sequences, making a complete and countable set $S'$.
The second set, created by inserting specifically defined transcendental numbers between algebraic numbers, starts with the sequence of algebraic numbers as the 0-th layer in Wang's $\Sigma$ model. A diagonal procedure applied to that layer generates a set of transcendental numbers which, combined with the 0-th layer, forms the $\Sigma_1$ layer. Continuing this recursive process results in a set equivalent to $S'$. This suggests that all constructive real numbers are countable, challenging the traditional diagonal argument. The AC is crucial for selecting transcendental numbers and identifying intervals and sequences, making the set $S'$. This might resonate with constructivists who oppose the AC. However, further analysis revealed conflicts between proofs of non-denumerability and the Nested Interval Property, indicating a need to reevaluate the countability of real numbers. - [199] arXiv:2202.09940 (replaced) [pdf, ps, other]
-
Title: Classification of quasi-affine Generalized Dynkin Diagrams with Rank $ 5$Comments: 79 pagesSubjects: Algebraic Geometry (math.AG)
All quasi-affine connected Generalized Dynkin Diagram with rank $= 5$ are found. All quasi-affine Nichols (Lie braided) algebras with rank $ 5$ are also found.
- [200] arXiv:2205.09222 (replaced) [pdf, ps, html, other]
-
Title: On the Walsh and Fourier-Hadamard Supports of Boolean Functions From a Quantum ViewpointComments: 23 pagesSubjects: Combinatorics (math.CO); Logic (math.LO)
In this paper, we focus on the links between Boolean function theory and quantum computing. In particular, we study the notion of what we call fully-balanced functions and analyse the Fourier--Hadamard and Walsh supports of those functions having such property. We study the Walsh and Fourier supports of other relevant classes of functions, using what we call balancing sets. This leads us to revisit and complete certain classic results and to propose new ones.
We complete our study by extending the previous results to pseudo-Boolean functions (in relation to vectorial functions) and giving an insight on its applications in the analysis of the possibilities that a certain family of quantum algorithms can offer. - [201] arXiv:2208.04590 (replaced) [pdf, ps, html, other]
-
Title: New bounds for the number of connected components of fewnomial hypersurfacesSubjects: Algebraic Geometry (math.AG)
We prove that the number of connected components of a smooth hypersurface in the positive orthant of $\mathbb{R}^n$ defined by a real polynomial with $d + k + 1$ monomials, where $d$ is the dimension of the affine span of the exponent vectors, is smaller than or equal to $8(d+1)^{k-1} 2^{k-1 \choose 2}$, improving the previously known bounds. We refine this bound for $k = 2$ by showing that a smooth hypersurface defined by a real polynomial with $d+3$ monomials in $n$ variables has at most $\lfloor(d-1)/2\rfloor + 3$ connected components in the positive orthant of $\mathbb{R}^n$. We present an explicit polynomial in $2$ variables with $5$ monomials which defines a curve with three connected components in the positive orthant, showing that our bound is sharp for $d = 2$ (and any $n$). Our results hold for polynomials with real exponent vectors.
- [202] arXiv:2208.10680 (replaced) [pdf, ps, html, other]
-
Title: Projective splitting with backward, half-forward and proximal-Newton stepsComments: Some typos corrected; Accepted in Journal of Convex Analysis; 30 pagesSubjects: Optimization and Control (math.OC)
We propose and study the weak convergence of a projective splitting algorithm for solving multi-term composite monotone inclusion problems involving the finite sum of $n$ maximal monotone operators, each of which having an inner four-block structure: sum of maximal monotone, Lipschitz continuous, cocoercive and smooth differentiable operators. We show how to perform backward and half-forward steps with respect to the maximal monotone and Lipschitz$+$cocoercive components, respectively, while performing proximal-Newton steps with respect to smooth differentiable blocks.
- [203] arXiv:2209.01328 (replaced) [pdf, ps, html, other]
-
Title: Optimal empirical Bayes estimation for the Poisson model via minimum-distance methodsComments: 28 pages, 7 figures, 3 tables. Added an extension to a multivariate setup and a comparison with the worst case priorSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
The Robbins estimator is the most iconic and widely used procedure in the empirical Bayes literature for the Poisson model. On one hand, this method has been recently shown to be minimax optimal in terms of the regret (excess risk over the Bayesian oracle that knows the true prior) for various nonparametric classes of priors. On the other hand, it has been long recognized in practice that Robbins estimator lacks the desired smoothness and monotonicity of Bayes estimators and can be easily derailed by those data points that were rarely observed before. Based on the minimum-distance distance method, we propose a suite of empirical Bayes estimators, including the classical nonparametric maximum likelihood, that outperform the Robbins method in a variety of synthetic and real data sets and retain its optimality in terms of minimax regret.
- [204] arXiv:2209.02286 (replaced) [pdf, ps, html, other]
-
Title: A characterization of the subspace of radially symmetric functions in Sobolev spacesComments: 12 pages, revised and restructured to match the published version. Section 1 and 2 have been expanded and improved, Theorem 1 in v1 has been split into Theorems 1.1 and 1.2, an application to Sobolev norms of corotational maps has been added in Theorem 1.3, references have been updatedSubjects: Functional Analysis (math.FA); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
In this paper, we show that any Sobolev norm of nonnegative integer order of radially symmetric functions is equivalent to a weighted Sobolev norm of their radial profile. This establishes in terms of weighted Sobolev spaces on an interval a complete characterization of radial Sobolev spaces, which was open until now. As an application, we give a description of Sobolev norms of corotational maps.
- [205] arXiv:2209.04192 (replaced) [pdf, ps, other]
-
Title: Decomposition of the algebra of analytic functionals on a connected complex Lie group and its completions into iterated analytic smash productsComments: version 5 (in Russian); v.3: Sections 1,2 and 3 are rewritten, Ths 6.3 and 6.5 are correctedSubjects: Functional Analysis (math.FA)
We show that a decomposition of a complex Lie group $G$ into a semidirect product generates that of the algebra of analytic functional, ${\mathscr A}(G)$, into an analytic smash product in the sense of Pirkovskii. Also we find sufficient conditions for a semidirect product to generate similar decompositions of certain Arens-Michael completions of ${\mathscr A}(G)$. The main result: if $G$ is connected, then its linearization admits a decomposition into an iterated semidirect product (with the composition series consisting of abelian factors and a semisimple factor) that induces a decomposition of algebras in a class of completions of ${\mathscr A}(G)$ into iterated analytic smash products. Considering the extreme cases, the envelope of ${\mathscr A}(G)$ in the class of all Banach algebras (aka the Arens-Michael envelope) and the envelope in the class Banach PI-algebras (a new concept that is introduced in this article), we decompose, in particular, these envelopes into iterated analytic smash products.
- [206] arXiv:2209.06044 (replaced) [pdf, ps, html, other]
-
Title: On the finite generation of valuation semigroups on toric surfacesComments: 22 pages, 13 figuresJournal-ref: \'Epijournal de G\'eom\'etrie Alg\'ebrique, Volume 8 (2024), Article no. 6Subjects: Algebraic Geometry (math.AG)
We provide a combinatorial criterion for the finite generation of a valuation semigroup associated with an ample divisor on a smooth toric surface and a non-toric valuation of maximal rank. As an application, we construct a lattice polytope such that none of the valuation semigroups of the associated polarized toric variety coming from one-parameter subgroups and centered at a non-toric point are finitely generated.
- [207] arXiv:2209.13104 (replaced) [pdf, ps, other]
-
Title: A Neural Network Approach for Stochastic Optimal ControlComments: 22 pages, 8 figures, 4 table, this is a preprint of our paper accepted to SIAM SISCs section on machine learning methods for scientific computingSubjects: Optimization and Control (math.OC)
We present a neural network approach for approximating the value function of high-dimensional stochastic control problems. Our training process simultaneously updates our value function estimate and identifies the part of the state space likely to be visited by optimal trajectories. Our approach leverages insights from optimal control theory and the fundamental relation between semi-linear parabolic partial differential equations and forward-backward stochastic differential equations. To focus the sampling on relevant states during neural network training, we use the stochastic Pontryagin maximum principle (PMP) to obtain the optimal controls for the current value function estimate. By design, our approach coincides with the method of characteristics for the non-viscous Hamilton-Jacobi-Bellman equation arising in deterministic control problems. Our training loss consists of a weighted sum of the objective functional of the control problem and penalty terms that enforce the HJB equations along the sampled trajectories. Importantly, training is unsupervised in that it does not require solutions of the control problem.
Our numerical experiments highlight our scheme's ability to identify the relevant parts of the state space and produce meaningful value estimates. Using a two-dimensional model problem, we demonstrate the importance of the stochastic PMP to inform the sampling and compare to a finite element approach. With a nonlinear control affine quadcopter example, we illustrate that our approach can handle complicated dynamics. For a 100-dimensional benchmark problem, we demonstrate that our approach improves accuracy and time-to-solution and, via a modification, we show the wider applicability of our scheme. - [208] arXiv:2210.05292 (replaced) [pdf, ps, other]
-
Title: Thurston's asymmetric metrics for Anosov representationsComments: Final version. Accepted by Groups, Geometry, and DynamicsSubjects: Differential Geometry (math.DG); Dynamical Systems (math.DS); Geometric Topology (math.GT)
We provide a good dynamical framework allowing to generalize Thurston's asymmetric metric and the associated Finsler norm from Teichmüller space to large classes of Anosov representations. In many cases, including the space of Hitchin representations, this gives a (possibly asymmetric) Finsler distance. In some cases we explicitly compute the associated Finsler norm.
- [209] arXiv:2211.01961 (replaced) [pdf, ps, html, other]
-
Title: Reoptimization Nearly Solves Weakly Coupled Markov Decision ProcessesComments: 29 pages. PreprintSubjects: Optimization and Control (math.OC); Probability (math.PR)
We propose a new policy, called the LP-update policy, to solve finite horizon weakly-coupled Markov decision processes. The latter can be seen as multi-constraint multi-action bandits, and generalize the classical restless bandit problems. Our solution is based on re-solving periodically a relaxed version of the original problem, that can be cast as a linear program (LP). When the problem is made of $N$ statistically identical sub-components, we show that the LP-update policy becomes asymptotically optimal at rate $O(T^2/\sqrt{N})$. This rate can be improved to $O(T/\sqrt{N})$ if the problem satisfies some ergodicity property and to $O(1/N)$ if the problem is non-degenerate. The definition of non-degeneracy extends the same notion for restless bandits. By using this property, we also improve the computational efficiency of the LP-update policy. We illustrate the performance of our policy on randomly generated examples, as well as a generalized applicant screening problem, and show that it outperforms existing heuristics.
- [210] arXiv:2211.02039 (replaced) [pdf, ps, other]
-
Title: The Projected Covariance Measure for assumption-lean variable significance testingComments: 97 pages, 5 figuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
Testing the significance of a variable or group of variables $X$ for predicting a response $Y$, given additional covariates $Z$, is a ubiquitous task in statistics. A simple but common approach is to specify a linear model, and then test whether the regression coefficient for $X$ is non-zero. However, when the model is misspecified, the test may have poor power, for example when $X$ is involved in complex interactions, or lead to many false rejections. In this work we study the problem of testing the model-free null of conditional mean independence, i.e. that the conditional mean of $Y$ given $X$ and $Z$ does not depend on $X$. We propose a simple and general framework that can leverage flexible nonparametric or machine learning methods, such as additive models or random forests, to yield both robust error control and high power. The procedure involves using these methods to perform regressions, first to estimate a form of projection of $Y$ on $X$ and $Z$ using one half of the data, and then to estimate the expected conditional covariance between this projection and $Y$ on the remaining half of the data. While the approach is general, we show that a version of our procedure using spline regression achieves what we show is the minimax optimal rate in this nonparametric testing problem. Numerical experiments demonstrate the effectiveness of our approach both in terms of maintaining Type I error control, and power, compared to several existing approaches.
- [211] arXiv:2211.04113 (replaced) [pdf, ps, other]
-
Title: Fourier transforms of irregular holonomic D-modules, singularities at infinity of meromorphic functions and irregular characteristic cyclesComments: revised, 82 pagesSubjects: Algebraic Geometry (math.AG)
Based on the recent developments in the irregular Riemann-Hilbert correspondence for holonomic D-modules and the Fourier-Sato transforms for enhanced ind-sheaves, we study the Fourier transforms of some irregular holonomic D-modules. For this purpose, the singularities of rational and meromorphic functions on complex affine varieties will be studied precisely, with the help of some new methods and tools such as meromorphic vanishing cycle functors. As a consequence, we show that the exponential factors and the irregularities of the Fourier transform of a holonomic D-module are described geometrically by the stationary phase method, as in the classical case of dimension one. A new feature in the higher-dimensional case is that we have some extra rank jump of the Fourier transform produced by the singularities of the linear perturbations of the exponential factors at their points of indeterminacy. In the course of our study, not necessarily homogeneous Lagrangian cycles that we call irregular characteristic cycles will play a crucial role.
- [212] arXiv:2211.08212 (replaced) [pdf, ps, other]
-
Title: A Homogeneous Second-Order Descent Method for Nonconvex OptimizationComments: Add inexactness, significantly improve the paperSubjects: Optimization and Control (math.OC)
In this paper, we introduce a Homogeneous Second-Order Descent Method (HSODM) using the homogenized quadratic approximation to the original function. The merit of homogenization is that only the leftmost eigenvector of a gradient-Hessian integrated matrix is computed at each iteration. Therefore, the algorithm is a single-loop method that does not need to switch to other sophisticated algorithms and is easy to implement. We show that HSODM has a global convergence rate of $O(\epsilon^{-3/2})$ to find an $\epsilon$-approximate second-order stationary point, and has a local quadratic convergence rate under the standard assumptions. The numerical results demonstrate the advantage of the proposed method over other second-order methods.
- [213] arXiv:2211.10587 (replaced) [pdf, ps, other]
-
Title: A note on the transcendental meromorphic solutions of Hayman's equationComments: 11 pages; this version concerns particularly the transcendental meromorphic solutions of Hayman's equationSubjects: Complex Variables (math.CV)
We present a complete description of the form of transcendental meromorphic solutions of the second order differential equation \begin{equation}\tag† w''w-w'^2+a w'w+b w^2=\alpha{w}+\beta{w'}+\gamma, \end{equation} where $a,b,\alpha,\beta,\gamma$ are all rational functions. Together with the Wiman--Valiron theorem, our results yield that any transcendental meromorphic solution $w$ of $(†)$ has hyper-order $\varsigma(w)\leq n$ for some integer $n\geq 0$. Moreover, if $w$ has finite order $\sigma(w)=\sigma$, then $\sigma$ is in the set $\{n/2: n=1,2,\cdots\}$ and, if $w$ has infinite order and $\gamma\not\equiv0$, then the hyper-order $\varsigma$ of $w$ is in the set $\{n: n=1,2,\cdots\}$. Each order or hyper-order in these two sets is attained for some coefficients $a,b,\alpha,\beta,\gamma$.
- [214] arXiv:2211.11926 (replaced) [pdf, ps, other]
-
Title: The weak Galerkin finite element method for Stokes interface problems with curved interfaceSubjects: Numerical Analysis (math.NA)
In this paper, we develop a new weak Galerkin finite element scheme for the Stokes interface problem with curved interfaces. We take a unique vector-valued function at the interface and reflect the interface condition in the variational problem. Theoretical analysis and numerical experiments show that the errors can reach the optimal convergence order under the energy norm and $L^2$ norm.
- [215] arXiv:2212.04083 (replaced) [pdf, ps, other]
-
Title: Convergence of the Fourier-Galerkin spectral method for the Boltzmann equation with uncertaintiesComments: 30 Pages. Revised Version. To appear in Communications in Mathematical SciencesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
It is well-known that the Fourier-Galerkin spectral method has been a popular approach for the numerical approximation of the deterministic Boltzmann equation with spectral accuracy rigorously proved. In this paper, we will show that such a spectral convergence of the Fourier-Galerkin spectral method also holds for the Boltzmann equation with uncertainties arising from both collision kernel and initial condition. Our proof is based on newly-established spaces and norms that are carefully designed and take the velocity variable and random variables with their high regularities into account altogether. For future studies, this theoretical result will provide a solid foundation for further showing the convergence of the full-discretized system where both the velocity and random variables are discretized simultaneously.
- [216] arXiv:2301.00326 (replaced) [pdf, ps, html, other]
-
Title: Yuille-Poggio's Flow and Global Minimizer of Polynomials through Convexification by Heat EvolutionSubjects: Optimization and Control (math.OC); Computer Vision and Pattern Recognition (cs.CV)
This study examines the convexification version of the backward differential flow algorithm for the global minimization of polynomials, introduced by O. Arikan \textit{et al} in \cite{ABK}. It investigates why this approach might fail with high-degree polynomials yet succeeds with quartic polynomials. We employ the heat evolution method for convexification combined with Gaussian filtering, which acts as a cumulative form of Steklov's regularization. In this context, we apply the fingerprint theory from computer vision. Originally developed by A.L. Yuille and T. Poggio in the 1980s for computer vision, the fingerprint theory, particularly the fingerprint trajectory equation, is used to illustrate the scaling (temporal) evolution of minimizers. In the case of general polynomials, our research has led to the creation of the Yuille-Poggio flow and a broader interpretation of the fingerprint concepts, in particular we establish the condition both sufficient and necessary for the convexified backward differential flow algorithms to successfully achieve global minimization. For quartic polynomials, our analysis not only reflects the results of O. Arikan et al. \cite{ABK} but also presents a significantly simpler version of Newton's method that can always globally minimize quartic polynomials without convexification.
- [217] arXiv:2302.01832 (replaced) [pdf, ps, html, other]
-
Title: Remarks on hypoelliptic equationsComments: Revised versionSubjects: Analysis of PDEs (math.AP)
Smooth hypoellipticity for scalar equations is quite well understood presently. On the other hand, much remains to be done for systems and/or at different levels of regularity and in particular for $L^1$-hypoellipticity. In this article we provide some examples and counter-examples.
- [218] arXiv:2302.12933 (replaced) [pdf, ps, other]
-
Title: Some remarks on the projective properties of Menger and HurewiczSubjects: General Topology (math.GN)
It is known that both the Menger and Hurewicz property of a Tychonoff space $X$ can be described by the way $X$ is placed in its Čech-Stone compactification $\beta X$. We provide analogous characterizations for the projective versions of the properties of Menger and Hurewicz.
- [219] arXiv:2302.14119 (replaced) [pdf, ps, html, other]
-
Title: Double-loop randomized quasi-Monte Carlo estimator for nested integrationComments: 28 pages, 9 figuresSubjects: Numerical Analysis (math.NA)
Characterized by an outer integral connected to an inner integral through a nonlinear function, nested integration is a challenging problem in various fields, such as engineering and mathematical finance. The available numerical methods for nested integration based on Monte Carlo (MC) methods can be prohibitively expensive owing to the error propagating from the inner to the outer integral. Attempts to enhance the efficiency of these approximations using the quasi-MC (QMC) or randomized QMC (rQMC) method have focused on either the inner or outer integral approximation. This work introduces a novel nested rQMC method that simultaneously addresses the approximation of the inner and outer integrals. This method leverages the unique nested integral structure to offer a more efficient approximation mechanism. By incorporating Owen's scrambling techniques, we address integrands exhibiting infinite variation in the Hardy--Krause sense, enabling theoretically sound error estimates. As the primary contribution, we derive asymptotic error bounds for the bias and variance of our estimator, along with the regularity conditions under which these bounds can be attained. In addition, we provide nearly optimal sample sizes for the rQMC approximations underlying the numerical implementation of the proposed method. Moreover, we indicate how to combine this method with importance sampling to remedy the measure concentration arising in the inner integral. We verify the estimator quality through numerical experiments in the context of expected information gain estimation. We compare the computational efficiency of the nested rQMC method against standard nested MC integration for two case studies: one in thermomechanics and the other in pharmacokinetics. These examples highlight the computational savings and enhanced applicability of the proposed approach.
- [220] arXiv:2303.05412 (replaced) [pdf, ps, other]
-
Title: Unifying Chance-Constrained and Robust Optimal Power Flow for Resilient Network OperationsComments: 10 pagesSubjects: Optimization and Control (math.OC)
Uncertainty in renewable energy generation has the potential to adversely impact the operation of electric networks. Numerous approaches to manage this impact have been proposed, ranging from stochastic and chance-constrained programming to robust optimization. However, these approaches either tend to be conservative or leave the system vulnerable to low probability, high impact uncertainty realizations. To address this issue, we propose a new formulation for stochastic optimal power flow that explicitly distinguishes between "normal operation", in which automatic generation control (AGC) is sufficient to guarantee system security, and "adverse operation", in which the system operator is required to take additional actions, e.g., manual reserve deployment. The new formulation has been compared with the classical ones in a case study on the IEEE-118 and IEEE-300 bus systems. We observe that our consideration of extreme scenarios enables solutions that are more secure than typical chance-constrained formulations, yet less costly than solutions that guarantee robust feasibility with only AGC.
- [221] arXiv:2303.05478 (replaced) [pdf, ps, html, other]
-
Title: Real roots of random polynomials: asymptotics of the varianceComments: 41 pages, 6 figures, intro rewritten, main results unchanged, new references addedSubjects: Probability (math.PR)
We compute the precise leading asymptotics of the variance of the number of real roots for a large class of random polynomials, where the random coefficients have polynomial growth. Our results apply to many classical ensembles, including the Kac polynomials, hyperbolic polynomials, their derivatives, and any linear combinations of these polynomials. Prior to this paper, such asymptotics was only established for the Kac polynomials in the 1970s, with the seminal contribution of Maslova. The main ingredients of the proof are new asymptotic estimates for the two-point correlation function of the real roots, revealing geometric structures in the distribution of the real roots of these random polynomials. As a corollary, we obtain asymptotic normality for the real roots for these random polynomials, extending and strengthening a related result of O. Nguyen and V. Vu.
- [222] arXiv:2303.08807 (replaced) [pdf, ps, other]
-
Title: A characterization of chains in dimension threeComments: 23 pages; final version; minor corrections are made; Section 4 in the previous version is removed and will be extended into a separate article titled "Lewy curves in para-CR geometry"; To appear in Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)Subjects: Differential Geometry (math.DG)
Given a 3-dimensional (para-)CR structure, its family of chains define a 3-dimensional path geometry. We provide necessary and sufficient conditions that determine whether a path geometry in dimension three arises from chains of a CR or para-CR 3-manifold. We demonstrate how our characterization can be verified computationally for a given 3-dimensional path geometry and discuss a few examples.
- [223] arXiv:2304.05535 (replaced) [pdf, ps, html, other]
-
Title: Total orders realizable as the distances between two sets of pointsSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
In this note we give a negative answer to a question proposed by Almendra-Hernández and Martínez-Sandoval. Let $n\le m$ be positive integers and let $X$ and $Y$ be sets of sizes $n$ and $m$ in $\mathbb R^{n-1}$ such that $X\cup Y$ is in generic position. There is a natural order on $X\times Y$ induced by the distances between the corresponding points. The question is if all possible orders on $X\times Y$ can be obtained in this way. We show that the answer is negative when $n<m$. The case $n=m$ remains open.
- [224] arXiv:2304.08187 (replaced) [pdf, ps, html, other]
-
Title: Stable blowup for focusing semilinear wave equations in all dimensionsComments: 45 pages, with minor improvements to match the published versionSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We consider the wave equation with focusing power nonlinearity. The associated ODE in time gives rise to a self-similar solution known as the ODE blowup. We prove the nonlinear asymptotic stability of this blowup mechanism outside of radial symmetry in all space dimensions and for all superlinear powers. This result covers for the first time the whole energy-supercritical range without symmetry restrictions.
- [225] arXiv:2304.12238 (replaced) [pdf, ps, html, other]
-
Title: On polynomials associated to Voronoi diagrams of point sets and crossing numbersComments: 18 pages, 3 figures, to appear in Discrete Mathematics and Theoretical Computer ScienceSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)
Three polynomials are defined for given sets $S$ of $n$ points in general position in the plane: The Voronoi polynomial with coefficients the numbers of vertices of the order-$k$ Voronoi diagrams of $S$, the circle polynomial with coefficients the numbers of circles through three points of $S$ enclosing $k$ points of $S$, and the $E_{\leq k}$ polynomial with coefficients the numbers of (at most $k$)-edges of $S$. We present several formulas for the rectilinear crossing number of $S$ in terms of these polynomials and their roots. We also prove that the roots of the Voronoi polynomial lie on the unit circle if, and only if, $S$ is in convex position. Further, we present bounds on the location of the roots of these polynomials.
- [226] arXiv:2306.02526 (replaced) [pdf, ps, other]
-
Title: Fast and high-order approximation of parabolic equations using hierarchical direct solvers and implicit Runge-Kutta methodsSubjects: Numerical Analysis (math.NA)
An additive Runge-Kutta method is used for the time stepping, which integrates the linear stiff terms by an explicit singly diagonally implicit Runge-Kutta (ESDIRK) method and the nonlinear terms by an explicit Runge-Kutta (ERK) method. In each time step, the implicit solve is performed by the recently developed Hierarchical Poincaré-Steklov (HPS) method. This is a fast direct solver for elliptic equations that decomposes the space domain into a hierarchical tree of subdomains and builds spectral collocation solvers locally on the subdomains. These ideas are naturally combined in the presented method since the singly diagonal coefficient in ESDIRK and a fixed time-step ensures that the coefficient matrix in the implicit solve of HPS remains the same for all time stages. This means that the precomputed inverse can be efficiently reused, leading to a scheme with complexity (in two dimensions) $\mathcal{O}(N^{1.5})$ for the precomputation where the solution operator to the elliptic problems is built, and then $\mathcal{O}(N \log N)$ for the solve in each time step. The stability of the method is proved for first order in time and any order in space, and numerical evidence substantiates a claim of stability for a much broader class of time discretization methods. Numerical experiments supporting the accuracy of efficiency of the method in one and two dimensions are presented.
- [227] arXiv:2306.06182 (replaced) [pdf, ps, other]
-
Title: The effect of approximate coarsest-level solves on the convergence of multigrid V-cycle methodsComments: 26 pages, 8 figuresSubjects: Numerical Analysis (math.NA)
The multigrid V-cycle method is a popular method for solving systems of linear equations. It computes an approximate solution by using smoothing on fine levels and solving a system of linear equations on the coarsest level. Solving on the coarsest level depends on the size and difficulty of the problem. If the size permits, it is typical to use a direct method based on LU or Cholesky decomposition. In settings with large coarsest-level problems, approximate solvers such as iterative Krylov subspace methods, or direct methods based on low-rank approximation, are often used. The accuracy of the coarsest-level solver is typically determined based on the experience of the users with the concrete problems and methods.
In this paper we present an approach to analyzing the effects of approximate coarsest-level solves on the convergence of the V-cycle method for symmetric positive definite problems. Using these results, we derive coarsest-level stopping criterion through which we may control the difference between the approximation computed by a V-cycle method with approximate coarsest-level solver and the approximation which would be computed if the coarsest-level problems were solved exactly. The coarsest-level stopping criterion may thus be set up such that the V-cycle method converges to a chosen finest-level accuracy in (nearly) the same number of V-cycle iterations as the V-cycle method with exact coarsest-level solver. We also utilize the theoretical results to discuss how the convergence of the V-cycle method may be affected by the choice of a tolerance in a coarsest-level stopping criterion based on the relative residual norm. - [228] arXiv:2306.08437 (replaced) [pdf, ps, other]
-
Title: Nonlinear asymptotic mean value characterizations of holomorphic functionsComments: 25 pagesSubjects: Analysis of PDEs (math.AP); Complex Variables (math.CV)
Starting from a characterization of holomorphic functions in terms of a suitable mean value property, we build some nonlinear asymptotic characterizations for complex-valued solutions of certain nonlinear systems, which have to do with the classical Cauchy-Riemann equations. From these asymptotic characterizations, we derive suitable asymptotic mean value properties, which are used to construct appropriate vectorial dynamical programming principles. The aim is to construct approximation schemes for the so-called contact solutions, recently introduced by N. Katzourakis, of the nonlinear systems here considered.
- [229] arXiv:2306.12778 (replaced) [pdf, ps, html, other]
-
Title: Stability theorems for positively graded domainsComments: Corrected some minor typos. 20 pages. Comments are welcomeSubjects: Commutative Algebra (math.AC)
Given a Noetherian graded domain $R = \bigoplus_{i\ge 0} R_i$ of dimension $d\geq 2$ with $\dim(R_0) \geq 1$, we prove that any unimodular row of length $d+1$ in $R$ can be completed to the first row of an invertible matrix $\alpha$ such that $\alpha$ is homotopic to the identity matrix. Utilizing this result we establish that if $I \subset R$ is an ideal satisfying $\mu(I/I^2) = \text{ht}(I) = d$, then any set of generators of $I/I^2$ lifts to a set of generators of $I$, where $\mu(-)$ denotes the minimal number of generators. We improve the injective stability of $\text{K}_1(R)$. Finally, we prove that for any projective $R$-module $P$ of rank $d$ if the Quillen ideal of $P$ is non-zero, then $P$ is cancellative.
- [230] arXiv:2306.14207 (replaced) [pdf, ps, html, other]
-
Title: Sampling discretization of the uniform norm and applicationsJournal-ref: Journal of Mathematical Analysis and Applications, 538(2), 2024, 128431Subjects: Functional Analysis (math.FA); Numerical Analysis (math.NA)
Discretization of the uniform norm of functions from a given finite dimensional subspace of continuous functions is studied. Previous known results show that for any $N$-dimensional subspace of the space of continuous functions it is sufficient to use $e^{CN}$ sample points for an accurate upper bound for the uniform norm by the discrete norm and that one cannot improve on the exponential growth of the number of sampling points for a good discretization theorem in the uniform norm. In this paper we focus on two types of results, which allow us to obtain good discretization of the uniform norm with polynomial in $N$ number of points. In the first way we weaken the discretization inequality by allowing a bound of the uniform norm by the discrete norm multiplied by an extra factor, which may depend on $N$. In the second way we impose restrictions on the finite dimensional subspace under consideration. In particular, we prove a general result, which connects the upper bound on the number of sampling points in the discretization theorem for the uniform norm with the best $m$-term bilinear approximation of the Dirichlet kernel associated with the given subspace.
- [231] arXiv:2307.04908 (replaced) [pdf, ps, html, other]
-
Title: Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fieldsComments: Accepted version, 28 pagesJournal-ref: Adv. Math. 447 (2024) 109694Subjects: Number Theory (math.NT)
We establish an upper bound on the number of real multiquadratic fields that admit a universal quadratic lattice of a given rank, or contain a given amount of indecomposable elements modulo totally positive units, obtaining density zero statements. We also study the structure of indecomposable elements in real biquadratic fields, and compute a system of indecomposable elements modulo totally positive units for some families of real biquadratic fields.
- [232] arXiv:2307.06700 (replaced) [pdf, ps, html, other]
-
Title: Redicolouring digraphs: directed treewidth and cycle-degeneracySubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Given a digraph $D=(V,A)$ on $n$ vertices and a vertex $v\in V$, the cycle-degree of $v$ is the minimum size of a set $S \subseteq V(D) \setminus \{v\}$ intersecting every directed cycle of $D$ containing $v$. From this definition of cycle-degree, we define the $c$-degeneracy (or cycle-degeneracy) of $D$, which we denote by $\delta^*_c(D)$. It appears to be a nice generalisation of the undirected degeneracy. In this work, using this new definition of cycle-degeneracy, we extend several evidences for Cereceda's conjecture to digraphs. The $k$-dicolouring graph of $D$, denoted by $\mathcal{D}_k(D)$, is the undirected graph whose vertices are the $k$-dicolourings of $D$ and in which two $k$-dicolourings are adjacent if they differ on the colour of exactly one vertex.
We show that $\mathcal{D}_k(D)$ has diameter at most $O_{\delta^*_c(D)}(n^{\delta^*_c(D) + 1})$ (respectively $O(n^2)$ and $(\delta^*_c(D)+1)n$) when $k$ is at least $\delta^*_c(D)+2$ (respectively $\frac{3}{2}(\delta^*_c(D)+1)$ and $2(\delta^*_c(D)+1)$). This improves known results on digraph redicolouring (Bousquet et al.).
Next, we extend a result due to Feghali to digraphs, showing that $\mathcal{D}_{d+1}(D)$ has diameter at most $O_{d,\epsilon}(n(\log n)^{d-1})$ when $D$ has maximum average cycle-degree at most $d-\epsilon$. We then show that two proofs of Bonamy and Bousquet for undirected graphs can be extended to digraphs. The first one uses the digrundy number of a digraph and the second one uses the $\mathscr{D}$-width.
Finally, we give a general theorem which makes a connection between the recolourability of a digraph $D$ and the recolourability of its underlying graph $UG(D)$. This result directly extends a number of results on planar graph recolouring to planar digraph redicolouring. - [233] arXiv:2307.07232 (replaced) [pdf, ps, html, other]
-
Title: Envelopes of straight line families in the planeComments: Slightly modified version. To appear in Hokkaido Mathematical JournalSubjects: Differential Geometry (math.DG)
There is a widespread method to represent the envelope when a given hyperplane family creates an envelope. However, one sometimes encounters cases when the widespread method fails to represent the desired envelope precisely, and is confused. At the same time, one wants to find a correct method to draw the envelope precisely.
In this article, focused on straight line families in the plane, an easy to understand explanation is given on the recently discovered correct method to represent the envelope precisely. Moreover, it is explained when and why the widespread method fails to represent the precise shape of envelope as well. - [234] arXiv:2307.08200 (replaced) [pdf, ps, other]
-
Title: Ternary Stochastic Geometry Theory for Performance Analysis of RIS-Assisted UDNComments: 13 pages, 10 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP); Statistics Theory (math.ST)
Currently, network topology becomes increasingly complex with the increased number of various network nodes, bringing in the challenge of network design and analysis. Most of the current studies are deduced based on the binary system stochastic geometry, overlooking the coupling and collaboration among nodes. This limitation makes it difficult to accurately analyze network systems, such as reconfigurable intelligent surface (RIS) assisted ultra-dense network (UDN). To address this issue, we propose a dual coordinate system analysis method, by using dual observation points and their established coordinates. The concept of a typical triangle that consists of a base station (BS), a RIS, and a user equipment (UE) is defined as the fundamental unit of analysis for ternary stochastic geometry. This triangle comprises the base station, the RIS, and the user equipment (UE). Furthermore, we extend Campbell's theorem and propose an approximate probability generating function for ternary stochastic geometry. Utilizing the theoretical framework of ternary stochastic geometry, we derive and analyze performance metrics of a RIS-assisted UDN system, such as coverage probability, area spectral efficiency, area energy efficiency, and energy coverage efficiency. Simulation results show that RIS can significantly enhance system performance, particularly for UEs with high signal-to-interference-plus-noise ratios, exhibiting a phenomenon similar to the Matthew effect.
- [235] arXiv:2308.00550 (replaced) [pdf, ps, other]
-
Title: Quantum difference equation for the affine type $A$ quiver varieties I: General ConstructionComments: 62 pages, typo corrected, Proposition 2.13 and Lemma 3.3 has been corrected, Update with an appendix of the rationality of the R-matrix. References addedSubjects: Representation Theory (math.RT); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
In this article we use the philosophy in [OS22] to construct the quantum difference equation of affine type $A$ quiver varieties in terms of the quantum toroidal algebra $U_{q,t}(\hat{\hat{\mathfrak{sl}}}_{r})$. In the construction, and we define the set of wall for each quiver varieties by the action of the universal $R$-matrix, which is shown to be almost equivalent to that of the $K$-theoretic stable envelope on each interval in $H^2(X,\mathbb{Q})$. We also give the examples of the instanton moduli space $M(n,r)$ and the equivariant Hilbert scheme $\text{Hilb}_{n}([\mathbb{C}^2/\mathbb{Z}_{r}])$ to show the explicit form of the quantum difference operator.
- [236] arXiv:2308.05335 (replaced) [pdf, ps, html, other]
-
Title: Match-based solution of general parametric eigenvalue problemsSubjects: Numerical Analysis (math.NA); Systems and Control (eess.SY)
We describe a novel algorithm for solving general parametric (nonlinear) eigenvalue problems. Our method has two steps: first, high-accuracy solutions of non-parametric versions of the problem are gathered at some values of the parameters; these are then combined to obtain global approximations of the parametric eigenvalues. To gather the non-parametric data, we use non-intrusive contour-integration-based methods, which, however, cannot track eigenvalues that migrate into/out of the contour as the parameter changes. Special strategies are described for performing the combination-over-parameter step despite having only partial information on such migrating eigenvalues. Moreover, we dedicate a special focus to the approximation of eigenvalues that undergo bifurcations. Finally, we propose an adaptive strategy that allows one to effectively apply our method even without any a priori information on the behavior of the sought-after eigenvalues. Numerical tests are performed, showing that our algorithm can achieve remarkably high approximation accuracy.
- [237] arXiv:2308.06643 (replaced) [pdf, ps, other]
-
Title: Geometry of fundamental shadow link complements and applications to the 1-loop conjectureComments: 61 pages, 25 figuresSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
We construct a geometric ideal triangulation for every fundamental shadow link complement and solve the gluing equation explicitly in terms of the logarithmic holonomies of the meridians of the link for any generic character in the distinguished component of the $\mathrm{PSL}(2;\mathbb{C})$-character variety of the link complement. As immediate applications, we obtain a new formula for the volume of a hyperideal tetrahedron in terms of its dihedral angles, and a formula for the volume of hyperbolic 3-manifolds obtained by doing Dehn-fillings to some of the boundary components of fundamental shadow link complements. Moreover, by using these ideal triangulations, we verify the 1-loop conjecture proposed by Dimofte and Garoufalidis for every fundamental shadow link complement. By using the result of Kalelkar-Schleimer-Segerman \cite{KSS}, we also prove the topological invariance of the 1-loop invariant and show that the 1-loop invariant satisfies a surgery formula. As a result, we prove the 1-loop conjecture for manifolds obtained by doing sufficiently long Dehn-fillings on boundary components of any fundamental shadow link complement. This verifies the 1-loop conjecture for a large class of hyperbolic 3-manifolds.
- [238] arXiv:2308.08034 (replaced) [pdf, ps, html, other]
-
Title: Log canonical pairs with conjecturally minimal volumeComments: 29 pages; v3: minor updatesSubjects: Algebraic Geometry (math.AG)
We construct log canonical pairs $(X,B)$ with $B$ a nonzero reduced divisor and $K_X+B$ ample that have the smallest known volume. We conjecture that our examples have the smallest volume in each dimension. The conjecture is true in dimension 2, by Liu and Shokurov. The examples are weighted projective hypersurfaces that are not quasi-smooth.
We also develop an example for a related extremal problem. Esser constructed a klt Calabi-Yau variety which conjecturally has the smallest mld in each dimension (for example, mld $1/13$ in dimension 2 and $1/311$ in dimension 3). However, the example was only worked out completely in dimensions at most 18. We now prove the desired properties of Esser's example in all dimensions (in particular, determining its mld). - [239] arXiv:2308.10720 (replaced) [pdf, ps, html, other]
-
Title: On the accuracy of interpolation based on single-layer artificial neural networks with a focus on defeating the Runge phenomenonSubjects: Numerical Analysis (math.NA); Artificial Intelligence (cs.AI)
In the present paper, we consider one-hidden layer ANNs with a feedforward architecture, also referred to as shallow or two-layer networks, so that the structure is determined by the number and types of neurons. The determination of the parameters that define the function, called training, is done via the resolution of the approximation problem, so by imposing the interpolation through a set of specific nodes. We present the case where the parameters are trained using a procedure that is referred to as Extreme Learning Machine (ELM) that leads to a linear interpolation problem. In such hypotheses, the existence of an ANN interpolating function is guaranteed. The focus is then on the accuracy of the interpolation outside of the given sampling interpolation nodes when they are the equispaced, the Chebychev, and the randomly selected ones. The study is motivated by the well-known bell-shaped Runge example, which makes it clear that the construction of a global interpolating polynomial is accurate only if trained on suitably chosen nodes, ad example the Chebychev ones. In order to evaluate the behavior when growing the number of interpolation nodes, we raise the number of neurons in our network and compare it with the interpolating polynomial. We test using Runge's function and other well-known examples with different regularities. As expected, the accuracy of the approximation with a global polynomial increases only if the Chebychev nodes are considered. Instead, the error for the ANN interpolating function always decays and in most cases we observe that the convergence follows what is observed in the polynomial case on Chebychev nodes, despite the set of nodes used for training.
- [240] arXiv:2309.00470 (replaced) [pdf, ps, other]
-
Title: Deep Joint Source-Channel Coding for Adaptive Image Transmission over MIMO ChannelsComments: arXiv admin note: text overlap with arXiv:2210.15347Subjects: Information Theory (cs.IT); Image and Video Processing (eess.IV)
This paper introduces a vision transformer (ViT)-based deep joint source and channel coding (DeepJSCC) scheme for wireless image transmission over multiple-input multiple-output (MIMO) channels, denoted as DeepJSCC-MIMO. We consider DeepJSCC-MIMO for adaptive image transmission in both open-loop and closed-loop MIMO systems. The novel DeepJSCC-MIMO architecture surpasses the classical separation-based benchmarks with robustness to channel estimation errors and showcases remarkable flexibility in adapting to diverse channel conditions and antenna numbers without requiring retraining. Specifically, by harnessing the self-attention mechanism of ViT, DeepJSCC-MIMO intelligently learns feature mapping and power allocation strategies tailored to the unique characteristics of the source image and prevailing channel conditions. Extensive numerical experiments validate the significant improvements in transmission quality achieved by DeepJSCC-MIMO for both open-loop and closed-loop MIMO systems across a wide range of scenarios. Moreover, DeepJSCC-MIMO exhibits robustness to varying channel conditions, channel estimation errors, and different antenna numbers, making it an appealing solution for emerging semantic communication systems.
- [241] arXiv:2309.00732 (replaced) [pdf, ps, html, other]
-
Title: Consistent spectral approximation of Koopman operators using resolvent compactificationComments: 60 pages, 7 figures. Revision includes removal of errors in notation and improved claritySubjects: Dynamical Systems (math.DS)
Koopman operators and transfer operators represent dynamical systems through their induced linear action on vector spaces of observables, enabling the use of operator-theoretic techniques to analyze nonlinear dynamics in state space. The extraction of approximate Koopman or transfer operator eigenfunctions (and the associated eigenvalues) from an unknown system is nontrivial, particularly if the system has mixed or continuous spectrum. In this paper, we describe a spectrally accurate approach to approximate the Koopman operator on $L^2$ for measure-preserving, continuous-time systems via a ``compactification'' of the resolvent of the generator. This approach employs kernel integral operators to approximate the skew-adjoint Koopman generator by a family of skew-adjoint operators with compact resolvent, whose spectral measures converge in a suitable asymptotic limit, and whose eigenfunctions are approximately periodic. Moreover, we develop a data-driven formulation of our approach, utilizing data sampled on dynamical trajectories and associated dictionaries of kernel eigenfunctions for operator approximation. The data-driven scheme is shown to converge in the limit of large training data under natural assumptions on the dynamical system and observation modality. We explore applications of this technique to dynamical systems on tori with pure point spectra and the Lorenz 63 system as an example with mixing dynamics.
- [242] arXiv:2309.02607 (replaced) [pdf, ps, other]
-
Title: Big Tiles in Hyperbolic GroupsComments: This is the revision of January 18th, 2024, in the journal (originally submitted on October 09th, 2023)Subjects: Group Theory (math.GR); Combinatorics (math.CO)
We prove that if $\Gamma $ is a word hyperbolic group and $K$ is a finite subset of $\Gamma $, then $\Gamma $ admits a tile containing $K$.
- [243] arXiv:2309.07587 (replaced) [pdf, ps, other]
-
Title: The edge rings of compact graphsComments: 26 pagesSubjects: Commutative Algebra (math.AC)
We define a simple graph as compact if it lacks even cycles and satisfies the odd-cycle condition. Our focus is on classifying all compact graphs and examining the characteristics of their edge rings. Let $G$ be a compact graph and $\mathbb{K}[G]$ be its edge ring. Specifically, we demonstrate that the Cohen-Macaulay type and the projective dimension of $\mathbb{K}[G]$ are both equal to the number of induced cycles of $G$ minus one, and that the regularity of $\mathbb{K}[G]$ is equal to the matching number of $G_0$. Here, $G_0$ is obtained from $G$ by removing the vertices of degree one successively, resulting in a graph where every vertex has a degree greater than 1.
- [244] arXiv:2309.08364 (replaced) [pdf, ps, html, other]
-
Title: On some isoperimetric inequalities for the Newtonian capacityComments: 15 pagesSubjects: Analysis of PDEs (math.AP)
Upper bounds are obtained for the Newtonian capacity of compact sets in $\R^d,\,d\ge 3$ in terms of the perimeter of the $r$-parallel neighbourhood of $K$. For compact, convex sets in $\R^d,\,d\ge 3$ with a $C^2$ boundary the Newtonian capacity is bounded from above by $(d-2)M(K)$, where $M(K)>0$ is the integral of the mean curvature over the boundary of $K$ with equality if $K$ is a ball. For compact, convex sets in $\R^d,\,d\ge 3$ with non-empty interior the Newtonian capacity is bounded from above by $\frac{(d-2)P(K)^2}{d|K|}$ with equality if $K$ is a ball. Here $P(K)$ is the perimeter of $K$ and $|K|$ is its measure. A quantitative refinement of the latter inequality in terms of the Fraenkel asymmetry is also obtained. An upper bound is obtained for expected Newtonian capacity of the Wiener sausage in $\R^d,\,d\ge 5$ with radius $\varepsilon$ and time length $t$.
- [245] arXiv:2309.11872 (replaced) [pdf, ps, html, other]
-
Title: Near-Field Beam Training: Joint Angle and Range Estimation with DFT CodebookComments: This article has been accepted for publication in IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Prior works on near-field beam training have mostly assumed dedicated polar-domain codebook and on-grid range estimation, which, however, may suffer long training overhead and degraded estimation accuracy. To address these issues, we propose in this paper new and efficient beam training schemes with off-grid range estimation by using conventional discrete Fourier transform (DFT) codebook. Specifically, we first analyze the received beam pattern at the user when far-field beamforming vectors are used for beam scanning, and show an interesting result that this beam pattern contains useful user angle and range information. Then, we propose two efficient schemes to jointly estimate the user angle and range with the DFT codebook. The first scheme estimates the user angle based on a defined angular support and resolves the user range by leveraging an approximated angular support width, while the second scheme estimates the user range by minimizing a power ratio mean square error (MSE) to improve the range estimation accuracy. Finally, numerical simulations show that our proposed schemes greatly reduce the near-field beam training overhead and improve the range estimation accuracy as compared to various benchmark schemes.
- [246] arXiv:2309.14315 (replaced) [pdf, ps, html, other]
-
Title: Structured random matrices and cyclic cumulants: A free probability approachComments: 30 pages main text, 2 pages appendixSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We introduce a new class of large structured random matrices characterized by four fundamental properties which we discuss. We prove that this class is stable under matrix-valued and pointwise non-linear operations. We then formulate an efficient method, based on an extremization problem, for computing the spectrum of subblocks of such large structured random matrices. We present different proofs -- combinatorial or algebraic -- of the validity of this method, which all have some connection with free probability. We illustrate this method with well known examples of unstructured matrices, including Haar randomly rotated matrices, as well as with the example of structured random matrices arising in the quantum symmetric simple exclusion process. tured random matrices arising in the quantum symmetric simple exclusion process.
- [247] arXiv:2310.01556 (replaced) [pdf, ps, html, other]
-
Title: Second-order exponential splittings in the presence of unbounded and time-dependent operators: construction and convergenceComments: 16 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
For linear differential equations of the form $u'(t)=[A + B(t)] u(t)$, $t\geq0$, with a possibly unbounded operator $A$, we construct and deduce error bounds for two families of second-order exponential splittings. The role of quadratures when integrating the twice-iterated Duhamel's formula is reformulated: we show that their choice defines the structure of the splitting. Furthermore, the reformulation allows us to consider quadratures based on the Birkhoff interpolation to obtain not only pure-stages splittings but also those containing derivatives of $B(t)$ and commutators of $A$ and $B(t)$. In this approach, the construction and error analysis of the splittings are carried out simultaneously. We discuss the accuracy of the members of the families. Numerical experiments are presented to complement the theoretical consideration.
- [248] arXiv:2310.03382 (replaced) [pdf, ps, other]
-
Title: Maximal line-free sets in $\mathbb{F}_p^n$Christian Elsholtz, Jakob Führer, Erik Füredi, Benedek Kovács, Péter Pál Pach, Dániel Gábor Simon, Nóra VelichSubjects: Combinatorics (math.CO)
We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements.
In this paper we focus on the case $k=p$ and therefore sets containing no full line. A~trivial lower bound $r_p(\mathbb{F}_p^n)\geq(p-1)^n$ is achieved by a hypercube of side length $p-1$ and it is known that equality holds for $n\in\{1,2\}$. We will however show that $r_p(\mathbb{F}_p^3)\geq (p-1)^3+p-2\sqrt{p}$, which is the first improvement in the three dimensional case that is increasing in $p$.
We will also give the upper bound $r_p(\mathbb{F}_p^{3})\leq p^3-2p^2-(\sqrt{2}-1)p+2$ as well as generalizations for higher dimensions.
Finally we present some bounds for individual $p$ and $n$, in particular $r_5(\mathbb{F}_5^{3})\geq 70$ and $r_7(\mathbb{F}_7^{3})\geq 225$ which can be used to give the asymptotic lower bound $4.121^n$ for $r_5(\mathbb{F}_5^{n})$ and $6.082^n$ for $r_7(\mathbb{F}_7^{n})$. - [249] arXiv:2310.07114 (replaced) [pdf, ps, other]
-
Title: Antimagicness of Tensor product for some wheel related graphs with starComments: 28 pages, 3 figuresSubjects: Combinatorics (math.CO)
A graph $G$ with $p$ vertices and $q$ edges has an antimagic labelling if there is a bijection from the graph's edge set to the label set $\left\{1,2, \cdots, q \right\}$ such that $p$ vertices must have distinct vertex sums, where the vertex sums are determined by adding up all the edge labels incident to each vertex $v$ in $V(G)$. Hartsfield and Ringel \cite{Ringel1} in the book "Pearls in Graph Theory" conjectured that every connected graph is antimagic, with the exception of $P_2$. In this study, we identified a class of connected graphs that lend credence to the conjecture. In this article, we proved that the tensor product of a wheel and a star, a helm and a star, and a flower and a star is antimagic.
- [250] arXiv:2310.13464 (replaced) [pdf, ps, html, other]
-
Title: Completely mixed linear games and irreducibility concepts for Z-transformations over self-dual conesComments: 26 pages. In this version, we provide a necessary and sufficient condition for the completely mixed property in terms of space-irreducibilitySubjects: Optimization and Control (math.OC); Functional Analysis (math.FA)
In the setting of a self-dual cone in a finite-dimensional inner product space, we consider (zero-sum) linear games. In our previous work, we showed that a Z-transformation with positive value is completely mixed. The present paper considers the case when the value is zero. Motivated by the matrix game result that a Z-matrix with value zero is completely mixed if and only if it is irreducible, we formulate our general results based on the concepts of cone-irreducibility and space-irreducibility. While the concept of cone-irreducibility for a positive linear transformation is well-known, we introduce space-irreducibility for a general linear transformation by reformulating the irreducibility concept of Elsner. Our main result is that for a Z-transformation with value zero, space-irreducibility is necessary and sufficient for the completely mixed property. We also extend a recent result of Parthasarathy et al. on matrix games with value zero to the setting of a symmetric cone (in a Euclidean Jordan algebra). Additionally, we present a refined cone/space-irreducibility result for positive transformations on symmetric cones.
- [251] arXiv:2310.13621 (replaced) [pdf, ps, html, other]
-
Title: Principal 2-blocks with wreathed defect groups up to splendid Morita equivalenceComments: Revised version, 25 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
We classify principal $2$-blocks of finite groups $G$ with Sylow $2$-subgroups isomorphic to a wreathed $2$-group $C_{2^n}\wr C_2$ with $n\geq 2$ up to Morita equivalence and up to splendid Morita equivalence. As a consequence, we obtain that Puig's Finiteness Conjecture holds for such blocks. Furthermore, we obtain a classification of such groups modulo $O_{2'}(G)$, which is a pure group theoretical result and of independent interest. Methods previously applied to blocks of tame representation type are used. They are, however, further developed in order to deal with blocks of wild representation type.
- [252] arXiv:2310.17702 (replaced) [pdf, ps, other]
-
Title: Existence of global weak solutions to NSE in weighted spacesSubjects: Analysis of PDEs (math.AP)
We obtain a global existence result for the three-dimensional Navier-Stokes equations with a large class of initial data allowing growth at spatial infinity. Our work is a continuation of the results by T.-P. Tsai, Z. Bradshaw, I. Kukavica and proves global existence of suitable weak solutions with initial data in different weighted spaces as well as eventual regularity.
- [253] arXiv:2310.18759 (replaced) [pdf, ps, other]
-
Title: Compatible Poisson Brackets Associated with Elliptic Curves in $G(2,5)$Journal-ref: SIGMA 20 (2024), 037, 19 pagesSubjects: Algebraic Geometry (math.AG)
We prove that a pair of Feigin-Odesskii Poisson brackets on ${\mathbb P}^4$ associated with elliptic curves given as linear sections of the Grassmannian $G(2,5)$ are compatible if and only if this pair of elliptic curves is contained in a del Pezzo surface obtained as a linear section of $G(2,5)$.
- [254] arXiv:2310.19190 (replaced) [pdf, ps, html, other]
-
Title: Renewal structure of the Tree Builder Random WalkComments: We have improved Lemma 3, which now provides a uniform bound also over the initial stateSubjects: Probability (math.PR)
In this paper, we study a class of random walks that build their own tree. At each step, the walker attaches a random number of leaves to its current position. The model can be seen as a subclass of the Random Walk in Changing Environments (RWCE) introduced by G. Amir, I. Benjamini, O. Gurel-Gurevich and G. Kozma. We develop a renewal framework for the process analogous to that established by A-S. Sznitman and M. Zerner in the context of RWRE. This provides a more robust foundation for analyzing the model. As a result of our renewal framework, we estabilish several limit theorems for the walker's distance, which include the Strong Law of Large Numbers (SLLN), the Law of the Iterated Logarithm (LIL), and the Invariance Principle, under an i.i.d. hypothesis for the walker's leaf-adding mechanism. Further, we show that the limit speed defined by the SLLN is a continuous function over the space of probability distributions on $\mathbb{N}$.
- [255] arXiv:2311.01936 (replaced) [pdf, ps, other]
-
Title: Permutation Tutte polynomialSubjects: Combinatorics (math.CO)
The classical Tutte polynomial is a two-variate polynomial $T_G(x,y)$ associated to graphs or more generally, matroids. In this paper, we introduce a polynomial $\widetilde{T}_H(x,y)$ associated to a bipartite graph $H$ that we call the permutation Tutte polynomial of the graph $H$. It turns out that $T_G(x,y)$ and $\widetilde{T}_H(x,y)$ share many properties, and the permutation Tutte polynomial serves as a tool to study the classical Tutte polynomial. We discuss the analogs of Brylawsi's identities and Conde--Merino--Welsh type inequalities. In particular, we will show that if $H$ does not contain isolated vertices, then $$\widetilde{T}_H(3,0)\widetilde{T}_H(0,3)\geq \widetilde{T}_H(1,1)^2,$$ which gives a short proof to the analogous result of Jackson: $$T_G(3,0)T_G(0,3)\geq T_G(1,1)^2$$ for graphs without loops and bridges. We also improve on the constant $3$ in this statement by showing that one can replace it with $2.9243$.
- [256] arXiv:2311.03036 (replaced) [pdf, ps, other]
-
Title: On regularized polynomial functional regressionComments: 26 pagesJournal-ref: Journal of Complexity, Volume 83, August 2024, 101853Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Statistics Theory (math.ST)
This article offers a comprehensive treatment of polynomial functional regression, culminating in the establishment of a novel finite sample bound. This bound encompasses various aspects, including general smoothness conditions, capacity conditions, and regularization techniques. In doing so, it extends and generalizes several findings from the context of linear functional regression as well. We also provide numerical evidence that using higher order polynomial terms can lead to an improved performance.
- [257] arXiv:2311.06173 (replaced) [pdf, ps, html, other]
-
Title: Two vertex geometrically irreducible algebrasSubjects: Representation Theory (math.RT)
We complete a classification of the two-vertex geometrically irreducible algebras. We also classify the algebras in new classes of hom- and ext-irreducible algebras.
- [258] arXiv:2311.09949 (replaced) [pdf, ps, html, other]
-
Title: Cluster semiclassical states of the nonlinear Schr\"odinger-Bopp-Podolsky systemComments: 24 pages; major revision and different main result; comments are welcomeSubjects: Analysis of PDEs (math.AP)
Consider the following nonlinear Schrödinger-Bopp-Podolsky system in $\mathbb{R}^3$: $$ \begin{cases} -\varepsilon^2 \Delta u + (V + \phi) u = u |u|^{p-1}; \\ a^2 \Delta^2 \phi - \Delta \phi = 4 \pi u^2, \end{cases} $$ where $a, \varepsilon > 0$; $1 < p < 5$; $V \colon \mathbb{R}^3 \to ]0, \infty[$ and we want to solve for $u, \phi \colon \mathbb{R}^3 \to \mathbb{R}$. By means of Lyapunov-Schmidt reduction, we show that if $K \geq 2$, $z_0$ is a strict local minimum of $V$, $V$ is adequately flat in a neighborhood of $z_0$ and $\varepsilon$ is sufficiently small, then the system has a multipeak cluster solution with $K$ peaks placed at the vertices of a regular convex $K$-gon centered at $z_0$.
- [259] arXiv:2311.11078 (replaced) [pdf, ps, other]
-
Title: A Lie group analog for the Monster Lie algebraSubjects: Representation Theory (math.RT); Group Theory (math.GR)
The Monster Lie algebra $\mathfrak{m}$, which admits an action of the Monster finite simple group $\mathbb{M}$, was introduced by Borcherds as part of his work on the Conway-Norton Monstrous Moonshine conjecture. Here we construct an analog $G(\frak m)$ of a Lie group, or Kac-Moody group, associated to $\frak m$. The group $G(\frak m)$ is given by generators and relations, analogous to the Tits construction of a Kac-Moody group. In the absence of local nilpotence of the adjoint representation of $\frak m$, we introduce the notion of pro-summability of an infinite sum of operators. We use this to construct a complete pro-unipotent group $\widehat{U}^+$ of automorphisms of a completion $\widehat{\mathfrak{m}}=\frak n^-\ \oplus\ \frak h\ \oplus\ \widehat{\frak n}^+$ of $\mathfrak{m}$, where $\widehat{\frak n}^+$ is the formal product of the positive root spaces of $\frak m$. The elements of $\widehat{U}^+$ are pro-summable infinite series with constant term 1. The group $\widehat{U}^+$ has a subgroup $\widehat{U}^+_{\text{im}}$, which is an analog of a complete unipotent group corresponding to the positive imaginary roots of $\frak m$. We construct analogs Exp:$\widehat{\mathfrak{n}}^+\to\widehat{U}^+$ and Ad:$\widehat{U}^+ \to Aut(\widehat{\frak{n}}^+)$ of the classical exponential map and adjoint representation. Although the group $G(\mathfrak m)$ is not a group of automorphisms, it contains the analog of a unipotent subgroup $U^+$, which conjecturally acts as automorphisms of $\widehat{\mathfrak{m}}$.
We also construct groups of automorphisms of $\mathfrak{m}$, of certain $\mathfrak{gl}_2$ subalgebras of $\mathfrak{m}$, of the completion $\widehat{\mathfrak{m}}$ and of similar completions of $\frak m$ that are conjecturally identified with subgroups of $G(\mathfrak m)$. - [260] arXiv:2311.14545 (replaced) [pdf, ps, other]
-
Title: A comparison among a fuzzy algorithm for image rescaling with other methods of digital image processingComments: 24 pages, 12 figures, 17 tablesSubjects: Functional Analysis (math.FA)
The aim of this paper is to present a comparison among the fuzzy-type algorithm for image rescaling introduced by Jurio et al., 2011, quoted in the list of references, with some other existing algorithms such as the classical bicubic algorithm and the so-called sampling Kantorovich (SK) one. Note that, the SK algorithm is a recent tool for image rescaling and enhancement that revealed to be useful in several applications to real world problems, while bicubic algorithm is widely known in the literature. The comparison among the above mentioned algorithms (all implemented by MatLab programming language) has been done in term of suitable similarity indexes such as the Peak-Signal-to-Noise-Ratio (PSNR) and the likelihood index $S$. Moreover, also the CPU time of the considered algorithms has been analysed.
- [261] arXiv:2312.00606 (replaced) [pdf, ps, other]
-
Title: The continuum limit of non-local Follow-the-Leader modelsComments: Changed to periodic boundary conditionsSubjects: Analysis of PDEs (math.AP)
We study a generalized Follow-the-Leader model where the driver considers the position of an arbitrary but finite number of vehicles ahead, as well as the position of the vehicle directly behind the driver. It is proved that this model converges to the classical Lighthill-Whitham-Richards model for traffic flow when traffic becomes dense. This also underscores the robustness of the Lighthill-Whitham-Richards model.
- [262] arXiv:2312.01199 (replaced) [pdf, ps, html, other]
-
Title: Potentials on the conformally compactified Minkowski spacetime and their application to quark deconfinementComments: Small typos corrected, a new example and a couple of references addedSubjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We study a class of conformal metric deformations in the quasi-radial coordinate parameterizing the 3-sphere in the conformally compactified Minkowski spacetime $S^1\times S^3$. Prior to reduction of the associated Laplace-Beltrami operators to a Schrödinger form, a corresponding class of exactly solvable potentials (each one containing a scalar and a gradient term) is found. In particular, the scalar piece of these potentials can be exactly or quasi-exactly solvable, and among them we find the finite range confining trigonometric potentials of Pöschl-Teller, Scarf and Rosen-Morse. As an application of the results developed in the paper, the large compactification radius limit of the interaction described by some of these potentials is studied, and this regime is shown to be relevant to a quantum mechanical quark deconfinement mechanism.
- [263] arXiv:2312.01825 (replaced) [pdf, ps, other]
-
Title: Galois descent for motivic theoriesComments: Major revision, as reflected in the new title and new abstractSubjects: Algebraic Geometry (math.AG); Category Theory (math.CT)
We give necessary conditions for a category fibred in pseudo-abelian additive categories over the classifying topos of a profinite group to be a stack; these conditions are sufficient when the coefficients are $\mathbf{Q}$-linear. This applies to pure motives over a field in the sense of Grothendieck, Deligne-Milne and André, to mixed motives in the sense of Nori and to several motivic categories considered in arXiv:1506.08386 [math.AG]. We also give a simple proof of the exactness of a sequence of motivic Galois groups under a Galois extension of the base field, which applies to all the above (Tannakian) situations. Finally, we clarify the construction of the categories of Chow-Lefschetz motives given in arXiv:2302.08327 [math.AG] and simplify the computation of their motivic Galois group in the numerical case.
- [264] arXiv:2312.03919 (replaced) [pdf, ps, html, other]
-
Title: Indivisibility and uniform computational strengthComments: 22 pages, 4 figures. This work extends the results of Sections 1.2 and 1.3 of the author's Ph.D. thesis at Penn State University. Version 5: various corrections and improvementsSubjects: Logic (math.LO); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
A countable structure is indivisible if for every coloring with finite range there is a monochromatic isomorphic subcopy of the structure. Each indivisible structure naturally corresponds to an indivisibility problem which outputs such a subcopy given a presentation and coloring. We investigate the Weihrauch complexity of the indivisibility problems for two structures: the rational numbers $\mathbb{Q}$ as a linear order, and the equivalence relation $\mathscr{E}$ with countably many equivalence classes each having countably many members. We separate the Weihrauch degrees of both corresponding indivisibility problems from several benchmarks, showing in particular that the indivisibility problem for $\mathbb{Q}$ cannot solve the problem of finding a monochromatic rational interval given a coloring for which there is one; and that the Weihrauch degree of the indivisibility problem for $\mathscr{E}$ is strictly between those of $\mathsf{RT}^2$ and $\mathsf{SRT}^2$, two widely studied variants of Ramsey's theorem for pairs whose reverse-mathematical separation was open until recently.
- [265] arXiv:2312.08340 (replaced) [pdf, ps, html, other]
-
Title: Colouring random subgraphsSubjects: Combinatorics (math.CO); Probability (math.PR)
We study several basic problems about colouring the $p$-random subgraph $G_p$ of an arbitrary graph $G$, focusing primarily on the chromatic number and colouring number of $G_p$. In particular, we show that there exist infinitely many $k$-regular graphs $G$ for which the colouring number (i.e., degeneracy) of $G_{1/2}$ is at most $k/3 + o(k)$ with high probability, thus disproving the natural prediction that such random graphs must have colouring number at least $k/2 - o(k)$.
- [266] arXiv:2312.11717 (replaced) [pdf, ps, html, other]
-
Title: Banach lattices of homogeneous polynomials not containing $c_0$Comments: 16 pagesSubjects: Functional Analysis (math.FA)
First we develop a technique to construct Banach lattices of homogeneous polynomials. We obtain, in particular, conditions for the linear spans of all positive compact and weakly compact $n$-homogeneous polynomials between the Banach lattices $E$ and $F$, denoted by ${\cal P}_{\cal K}^r(^n E; F)$ and $\mathcal{P}_{\mathcal{W}}^r(^n E; F)$, to be Banach lattices with the polynomial regular norm. Next we study when the following are equivalent for ${\cal I} = {\cal K}$ or ${\cal I} = {\cal W}$: (1) The space $\mathcal{P}^r(^n E; F)$ of regular polynomials contains no copy of $c_0$. (2) ${\cal P}_{\mathcal{I}}^r(^n E; F)$ contains no copy of $c_0$. (3) ${\cal P}_{\mathcal{I}}^r(^n E; F)$ is a projection band in $\mathcal{P}^r(^n E; F)$. (4) Every positive polynomial in $\mathcal{P}^r(^n E; F)$ belongs to ${\cal P}_{\cal I}^r(^nE;F)$. The result we obtain in the compact case can be regarded as a lattice polynomial Kalton theorem.
- [267] arXiv:2312.12092 (replaced) [pdf, ps, html, other]
-
Title: Interpolation of fat points on K3 and abelian surfacesComments: Section 2 split into 2 sections, according to referee suggestionSubjects: Algebraic Geometry (math.AG)
We prove that any number of general fat points of any multiplicities impose the expected number of conditions on a linear system on a smooth projective surface, in several cases including primitive linear systems on very general K3 and abelian surfaces, `Du Val' linear systems on blowups of ${\mathbb P}^2$ at $9$ very general points, and certain linear systems on some ruled surfaces over elliptic curves. This is done by answering a question of the author about the case of only one fat point on a certain ruled surface, which follows from a circle of results due to Treibich--Verdier, Segal--Wilson, and others.
- [268] arXiv:2312.12843 (replaced) [pdf, ps, other]
-
Title: On spectrum of corona product of duplication signed graph and its applicationComments: arXiv admin note: text overlap with arXiv:2310.12814Subjects: Combinatorics (math.CO)
This paper introduces the concept of $\mu$-signed and duplication signed graphs and shows that both are always structurally balanced. Using the duplication signed graph, we define the corona product of the duplication signed graph (Duplication add vertex corona product and duplication vertex corona product) and explore their structural properties. Additionally, we provide the adjacency spectrum of both the products for any $\Gamma_1$ and $\Gamma_2$, and the Laplacian and signless Laplacian spectrum for regular $\Gamma_1$ and arbitrary $\Gamma_2$, in terms of the corresponding spectrum of $\Gamma_1$ and $\Gamma_2$. Finally, we discuss its application in generating integral and equienergetic signed graphs.
- [269] arXiv:2312.12854 (replaced) [pdf, ps, html, other]
-
Title: The proof-theoretic strength of Constructive Second-order set theoriesComments: 14 pages, Completely new proof for the main result since the previous proof does not work. (Proposition 4.6 in the previous version does not work.)Subjects: Logic (math.LO)
In this paper, we define constructive analogues of second-order set theories, which we will call $\mathsf{IGB}$, $\mathsf{CGB}$, $\mathsf{IKM}$, and $\mathsf{CKM}$. Each of them can be viewed as $\mathsf{IZF}$- and $\mathsf{CZF}$-analogues of Gödel-Bernays set theory $\mathsf{GB}$ and Kelley-Morse set theory $\mathsf{KM}$. We also provide their proof-theoretic strengths in terms of classical theories, and we especially prove that $\mathsf{CKM}$ and full Second-Order Arithmetic have the same proof-theoretic strength.
- [270] arXiv:2401.01722 (replaced) [pdf, ps, other]
-
Title: Splitting Methods for differential equationsComments: Review paper to be published in Acta Numerica 2024Subjects: Numerical Analysis (math.NA)
This overview is devoted to splitting methods, a class of numerical integrators intended for differential equations that can be subdivided into different problems easier to solve than the original system. Closely connected with this class of integrators are composition methods, in which one or several low-order schemes are composed to construct higher-order numerical approximations to the exact solution. We analyze in detail the order conditions that have to be satisfied by these classes of methods to achieve a given order, and provide some insight about their qualitative properties in connection with geometric numerical integration and the treatment of highly oscillatory problems. Since splitting methods have received considerable attention in the realm of partial differential equations, we also cover this subject in the present survey, with special attention to parabolic equations and their problems. An exhaustive list of methods of different orders is collected and tested on simple examples. Finally, some applications of splitting methods in different areas, ranging from celestial mechanics to statistics, are also provided.
- [271] arXiv:2401.04969 (replaced) [pdf, ps, other]
-
Title: Pointwise estimates for the fundamental solution of higher order Schr\"{o}dinger equation in odd dimensionsComments: Full details for the high energy part presented, 101ppSubjects: Analysis of PDEs (math.AP)
In this paper, for any odd $n$ and any integer $m\geq1$, we study the fundamental solution of the higher order Schrödinger equation \begin{equation*} \mathrm{i}\partial_tu(x,t)=((-\Delta)^m+V(x))u(x,t), \quad t\in \mathbb{R},\,\,x\in \mathbb{R}^n, \end{equation*} where $V$ is a real-valued potential with certain decay, smoothness, and spectral properties. Let $P_{ac}(H)$ denote the projection onto the absolutely continuous spectrum space of $H=(-\Delta)^m+V$. Our main result says that $e^{-\mathrm{i} tH}P_{ac}(H)$ has integral kernel $K(t,x,y)$ satisfying \begin{equation*} |K(t, x,y)|\le C (1+|t|)^{-h}(1+|t|^{-\frac{n}{2 m}})\left(1+|t|^{-\frac{1}{2 m}}|x-y|\right)^{-\frac{n(m-1)}{2 m-1}},\quad t\neq0,\,x,y\in\mathbb{R}^n, \end{equation*} where the constants $C, h>0$, and $h$ can be specified by $m, n$ and the spectral property of $H$.
- [272] arXiv:2401.12352 (replaced) [pdf, ps, other]
-
Title: Completely Bounded Norms of $k$-positive MapsComments: Journal of the London Mathematical Society (to appear)Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Probability (math.PR); Quantum Physics (quant-ph)
Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system).
In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$.
Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property. - [273] arXiv:2401.12391 (replaced) [pdf, ps, other]
-
Title: Approximation of Pufferfish Privacy for Gaussian PriorsComments: 11 pages, 5 figures, accepted journal versionSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
This paper studies how to approximate pufferfish privacy when the adversary's prior belief of the published data is Gaussian distributed. Using Monge's optimal transport plan, we show that $(\epsilon, \delta)$-pufferfish privacy is attained if the additive Laplace noise is calibrated to the differences in mean and variance of the Gaussian distributions conditioned on every discriminative secret pair. A typical application is the private release of the summation (or average) query, for which sufficient conditions are derived for approximating $\epsilon$-statistical indistinguishability in individual's sensitive data. The result is then extended to arbitrary prior beliefs trained by Gaussian mixture models (GMMs): calibrating Laplace noise to a convex combination of differences in mean and variance between Gaussian components attains $(\epsilon,\delta)$-pufferfish privacy.
- [274] arXiv:2401.12712 (replaced) [pdf, ps, html, other]
-
Title: Moutard hyperquadrics and generalized Darboux directionsComments: 10 pagesSubjects: Differential Geometry (math.DG)
The higher order contact of a quadric with a surface in $3$-space at a non-degenerate point is obtained by the Moutard quadric in the Darboux direction. In this paper, we discuss the extension of this result to hypersurfaces in arbitrary dimensions.
- [275] arXiv:2401.13661 (replaced) [pdf, ps, html, other]
-
Title: D\'{e}vissage for generation in derived categoriesComments: Minor correctionsSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
This work exhibits that the essential image of the derived pushforward along a proper surjective morphism of Noetherian schemes generates the targets derived category of bounded complexes with coherent cohomology. There are two primary consequences to our work. First, we show that classical generators in the bounded derived category are preserved by derived pushforward along a proper surjective morphism of Noetherian schemes. Secondly, the bounded derived category coincides with the thick subcategory generated by perfect complexes and structure sheaves of closed integral subschemes supported in the singular locus of the ambient scheme.
- [276] arXiv:2401.14771 (replaced) [pdf, ps, html, other]
-
Title: On the separation of solutions to fractional differential equations of order $\alpha \in (1,2)$Comments: 20 pages, 7 figuresSubjects: Classical Analysis and ODEs (math.CA)
Given the Caputo-type fractional differential equation $D^\alpha y(t) = f(t, y(t))$ with $\alpha \in (1, 2)$, we consider two distinct solutions $y_1, y_2 \in C[0,T]$ to this equation subject to different sets of initial conditions. In this framework, we discuss nontrivial upper and lower bounds for the difference $|y_1(t) - y_2(t)|$ for $t \in [0,T]$. The main emphasis is on describing how such bounds are related to the differences of the associated initial values.
- [277] arXiv:2401.15939 (replaced) [pdf, ps, html, other]
-
Title: Correcting a Single Deletion in Reads from a Nanopore SequencerComments: Accepted at IEEE ISIT'24Subjects: Information Theory (cs.IT)
Owing to its several merits over other DNA sequencing technologies, nanopore sequencers hold an immense potential to revolutionize the efficiency of DNA storage systems. However, their higher error rates necessitate further research to devise practical and efficient coding schemes that would allow accurate retrieval of the data stored. Our work takes a step in this direction by adopting a simplified model of the nanopore sequencer inspired by Mao \emph{et al.}, which incorporates some of its physical aspects. This channel model can be viewed as a sliding window of length $\ell$ that passes over the incoming input sequence and produces the Hamming weight of the enclosed $\ell$ bits, while shifting by one position at each time step. The resulting $(\ell+1)$-ary vector, referred to as the $\ell$-\emph{read vector}, is susceptible to deletion errors due to imperfections inherent in the sequencing process. We establish that at least $\log n - \ell$ bits of redundancy are needed to correct a single deletion. An error-correcting code that is optimal up to an additive constant, is also proposed. Furthermore, we find that for $\ell \geq 2$, reconstruction from two distinct noisy $\ell$-read vectors can be accomplished without any redundancy, and provide a suitable reconstruction algorithm to this effect.
- [278] arXiv:2401.15959 (replaced) [pdf, ps, html, other]
-
Title: Existence and regularity for a $p$-Laplacian problem in $\mathbb{R}^N$ with singular, convective, critical reactionSubjects: Analysis of PDEs (math.AP)
We prove an existence result for a $p$-Laplacian problem set in the whole Euclidean space and exhibiting a critical term perturbed by a singular, convective reaction. The approach used combines variational methods, truncation techniques, and concentration compactness arguments, together with set-valued analysis and fixed point theory. De Giorgi's technique, a priori gradient estimates, and nonlinear regularity theory are employed to get local $C^{1,\alpha}$ regularity of solutions, as well as their pointwise decay at infinity. The result is new even in the non-singular case, also for the Laplacian.
- [279] arXiv:2401.17252 (replaced) [pdf, ps, other]
-
Title: Quantum $X$-Secure $B$-Byzantine $T$-Colluding Private Information RetrievalSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP); Quantum Physics (quant-ph)
We consider the problems arising from the presence of Byzantine servers in a quantum private information retrieval (QPIR) setting. This is the first work to precisely define what the capabilities of Byzantine servers could be in a QPIR context. We show that quantum Byzantine servers have more capabilities than their classical counterparts due to the possibilities created by quantum encoding procedures. We focus on quantum Byzantine servers that can apply any reversible operation on their individual qudits. In this case, Byzantine servers can generate any error, i.e., this covers \emph{all} possible single qudit operations that can be applied by Byzantine servers on their qudits. We design a scheme based on cross-subspace alignment (CSA) and we show that this scheme achieves superdense coding gain in some cases.
- [280] arXiv:2401.17470 (replaced) [pdf, ps, html, other]
-
Title: The augmented external activity complex of a matroidComments: Minor changes from v1. To appear Journal of CombinatoricsSubjects: Combinatorics (math.CO)
For a matroid, we define a new simplicial complex whose facets are indexed by its independent sets. This complex contains the external activity complex as a subcomplex. We call our complex the augmented external activity complex since its definition is motivated by the recently defined augmented tautological classes of matroids. We prove that our complex is shellable and show that our shelling satisfies the stronger property of being an $H$-shelling. This explicates our result that the $h$-vector of our complex is the $f$-vector of the independence complex. We also define an augmented no broken circuit complex, which contains the usual no broken circuit complex as a subcomplex. We prove its shellability and show that our shelling is also an $H$-shelling. The $h$-vector of this complex is the $f$-vector of the no broken circuit complex.
- [281] arXiv:2402.00027 (replaced) [pdf, ps, html, other]
-
Title: Perspectives on locally weighted ensemble Kalman methodsSubjects: Numerical Analysis (math.NA); Probability (math.PR); Computation (stat.CO)
This manuscript derives locally weighted ensemble Kalman methods from the point of view of ensemble-based function approximation. This is done by using pointwise evaluations to build up a local linear or quadratic approximation of a function, tapering off the effect of distant particles via local weighting. This introduces a candidate method (the locally weighted Ensemble Kalman method for inversion) with the motivation of combining some of the strengths of the particle filter (ability to cope with nonlinear maps and non-Gaussian distributions) and the Ensemble Kalman filter (no filter degeneracy).
- [282] arXiv:2402.03152 (replaced) [pdf, ps, other]
-
Title: Rational Maps of Balls and their Associated GroupsComments: 11 pages. Fixed typosSubjects: Complex Variables (math.CV)
Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map.
- [283] arXiv:2402.03554 (replaced) [pdf, ps, html, other]
-
Title: Explicit Formula for Partial Information DecompositionSubjects: Information Theory (cs.IT); Probability (math.PR)
Mutual information between two random variables is a well-studied notion, whose understanding is fairly complete. Mutual information between one random variable and a pair of other random variables, however, is a far more involved notion. Specifically, Shannon's mutual information does not capture fine-grained interactions between those three variables, resulting in limited insights in complex systems. To capture these fine-grained interactions, in 2010 Williams and Beer proposed to decompose this mutual information to information atoms, called unique, redundant, and synergistic, and proposed several operational axioms that these atoms must satisfy. In spite of numerous efforts, a general formula which satisfies these axioms has yet to be found. Inspired by Judea Pearl's do-calculus, we resolve this open problem by introducing the do-operation, an operation over the variable system which sets a certain marginal to a desired value, which is distinct from any existing approaches. Using this operation, we provide the first explicit formula for calculating the information atoms so that Williams and Beer's axioms are satisfied, as well as additional properties from subsequent studies in the field.
- [284] arXiv:2402.03619 (replaced) [pdf, ps, html, other]
-
Title: Milnor fibrations of arrangements with trivial algebraic monodromyComments: 52 pages; to appear in a special issue of Revue Roumaine de Mathématiques Pures et AppliquéesSubjects: Algebraic Geometry (math.AG); Group Theory (math.GR); Geometric Topology (math.GT)
Each complex hyperplane arrangement gives rise to a Milnor fibration of its complement. Although the Betti numbers of the Milnor fiber $F$ can be expressed in terms of the jump loci for rank 1 local systems on the complement, explicit formulas are still lacking in full generality, even for $b_1(F)$. We study here the "generic" case (in which $b_1(F)$ is as small as possible), and look deeper into the algebraic topology of such Milnor fibrations with trivial algebraic monodromy. Our main focus is on the cohomology jump loci and the lower central series quotients of $\pi_1(F)$. In the process, we produce a pair of arrangements for which the respective Milnor fibers have the same Betti numbers, yet non-isomorphic fundamental groups: the difference is picked by the higher-depth characteristic varieties and by the Schur multipliers of the second nilpotent quotients.
- [285] arXiv:2402.04890 (replaced) [pdf, ps, other]
-
Title: Marker+Codeword+Marker: A Coding Structure for Segmented Single-Insdel/-Edit ChannelsComments: 20 pagesSubjects: Information Theory (cs.IT)
An insdel refers to a deletion or an insertion, and an edit refers to an insdel or a substitution. In this paper, we consider the segmented single-insdel (resp. single-edit) channel, where the channel's input bit stream is partitioned into segments of length $n$ and each segment can suffer from at most a single insdel (resp. edit) error. The value of $n$ is known to the receiver but the boundaries of segments are not. We propose to encode each segment following a marker+codeword+marker structure, where the two markers are carefully selected and the codewords are chosen from Varshamov-Tenegolts (VT) codes. In this way, we are able to construct a new class of binary codes that can correct segmented single-insdel errors. Our codes have the lowest redundancy of $\log_2(n-6)+7$ bits and are the first one that has linear-time encoder/decoder in the literature. Moreover, by enhancing the VT codes and one of the markers, we are able to construct the first class of binary codes that can correct segmented single-edit errors. This class of codes has redundancy $\log_2(n-9)+10$ bits and has linear-time encoder/decoder.
- [286] arXiv:2402.06205 (replaced) [pdf, ps, other]
-
Title: Canonical labelling of Latin squares in average-case polynomial timeComments: New reference added, minor typos fixedSubjects: Combinatorics (math.CO)
A Latin square of order $n$ is an $n\times n$ matrix in which each row and column contains each of $n$ symbols exactly once. For $\epsilon>0$, we show that with high probability a uniformly random Latin square of order $n$ has no proper subsquare of order larger than $n^{1/2}\log^{1/2+\epsilon}n$. Using this fact we present a canonical labelling algorithm for Latin squares of order $n$ that runs in average time bounded by a polynomial in $n$.
The algorithm can be used to solve isomorphism problems for many combinatorial objects that can be encoded using Latin squares, including quasigroups, Steiner triple systems, Mendelsohn triple systems, $1$-factorisations, nets, affine planes and projective planes. - [287] arXiv:2402.07060 (replaced) [pdf, ps, other]
-
Title: Spectral convergence of a semi-discretized numerical system for the spatially homogeneous Boltzmann equation with uncertaintiesComments: Revised version. To appear in SIAM/ASA Journal on Uncertainty QuantificationSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
In this paper, we study the Boltzmann equation with uncertainties and prove that the spectral convergence of the semi-discretized numerical system holds in a combined velocity and random space, where the Fourier-spectral method is applied for approximation in the velocity space whereas the generalized polynomial chaos (gPC)-based stochastic Galerkin (SG) method is employed to discretize the random variable. Our proof is based on a delicate energy estimate for showing the well-posedness of the numerical solution as well as a rigorous control of its negative part in our well-designed functional space that involves high-order derivatives of both the velocity and random variables. This paper rigorously justifies the statement proposed in [Remark 4.4, J. Hu and S. Jin, J. Comput. Phys., 315 (2016), pp. 150-168].
- [288] arXiv:2402.12988 (replaced) [pdf, ps, html, other]
-
Title: Spectral Properties of Dual Unit Gain GraphsSubjects: Combinatorics (math.CO)
In this paper, we study dual quaternion and dual complex unit gain graphs and their spectral properties in a unified frame of dual unit gain graphs. Unit dual quaternions represent rigid movements in the 3D space, and have wide applications in robotics and computer graphics. Dual complex numbers found application in brain science recently. We establish the interlacing theorem for dual unit gain graphs, and show that the spectral radius of a dual unit gain graph is always not greater than the spectral radius of the underlying graph, and these two radii are equal if and only if the dual gain graph is balanced. By using the dual cosine functions, we establish the closed form of eigenvalues of adjacency and Laplacian matrices of dual complex and quaternion unit gain cycles. We then show the coefficient theorem holds for dual unit gain graphs. Similar results hold for the spectral radius of the Laplacian matrix of the dual unit gain graph too.
- [289] arXiv:2402.14351 (replaced) [pdf, ps, other]
-
Title: Non-integrability of the rational Sasano system of type $A^{(2)}_4$Subjects: Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA)
In this paper we study the integrability of the Sasano system of type $A^{(2)}_4$ from the point of view of the Hamiltonian dynamics. We prove rigorously that for these values of the parameters for which the Sasano system of type $A^{(2)}_4$ has a particular rational solution it is not integrable by rational first integrals. By an explicit computation we show that the connected component $G^0$ of the unit element of the differential Galois group of the normal variational equations along a simple particular rational solution is a direct product of two groups $SL_2(\mathbb{C})$. This the Morales-Ramis theory leads to a non-integrable result. Moreover using Bäcklund transformations we extend the obtained particular non-integrable result to the entire orbit of the parameters.
- [290] arXiv:2403.02654 (replaced) [pdf, ps, other]
-
Title: Restricted Isometry Property of Rank-One Measurements with Random Unit-Modulus VectorsComments: AISTATS 2024Subjects: Information Theory (cs.IT)
The restricted isometry property (RIP) is essential for the linear map to guarantee the successful recovery of low-rank matrices. The existing works show that the linear map generated by the measurement matrices with independent and identically distributed (i.i.d.) entries satisfies RIP with high probability. However, when dealing with non-i.i.d. measurement matrices, such as the rank-one measurements, the RIP compliance may not be guaranteed. In this paper, we show that the RIP can still be achieved with high probability, when the rank-one measurement matrix is constructed by the random unit-modulus vectors. Compared to the existing works, we first address the challenge of establishing RIP for the linear map in non-i.i.d. scenarios. As validated in the experiments, this linear map is memory-efficient, and not only satisfies the RIP but also exhibits similar recovery performance of the low-rank matrices to that of conventional i.i.d. measurement matrices.
- [291] arXiv:2403.03754 (replaced) [pdf, ps, other]
-
Title: Twisted Knots and the Perturbed Alexander InvariantComments: New version simplifies section on the Alexander polynomialSubjects: Geometric Topology (math.GT); Quantum Algebra (math.QA)
The perturbed Alexander invariant $\rho_1$, defined by Bar-Natan and van der Veen, is a powerful, easily computable polynomial knot invariant with deep connections to the Alexander and colored Jones polynomials. We study the behavior of $\rho_1$ for families of knots $\{K_t\}$ given by performing $t$ full twists on a set of coherently oriented strands in a knot $K_0 \subset S^3$. We prove that as $t \to \infty$ the coefficients of $\rho_1$ grow asymptotically linearly, and we show how to compute this growth rate for any such family. As an application we give the first theorem on the ability of $\rho_1$ to distinguish knots in infinite families, and we conjecture that $\rho_1$ obstructs knot positivity via a "perturbed Conway invariant." Along the way we expand on a model of random walks on knot diagrams defined by Lin, Tian and Wang.
- [292] arXiv:2403.08411 (replaced) [pdf, ps, html, other]
-
Title: Robust Distributed Compression with Learned Heegard-Berger SchemeSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
We consider lossy compression of an information source when decoder-only side information may be absent. This setup, also referred to as the Heegard-Berger or Kaspi problem, is a special case of robust distributed source coding. Building upon previous works on neural network-based distributed compressors developed for the decoder-only side information (Wyner-Ziv) case, we propose learning-based schemes that are amenable to the availability of side information. We find that our learned compressors mimic the achievability part of the Heegard-Berger theorem and yield interpretable results operating close to information-theoretic bounds. Depending on the availability of the side information, our neural compressors recover characteristics of the point-to-point (i.e., with no side information) and the Wyner-Ziv coding strategies that include binning in the source space, although no structure exploiting knowledge of the source and side information was imposed into the design.
- [293] arXiv:2403.09275 (replaced) [pdf, ps, html, other]
-
Title: Static Grouping Strategy Design for Beyond Diagonal Reconfigurable Intelligent SurfacesComments: Accepted by IEEE for publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Beyond diagonal reconfigurable intelligent surface (BD-RIS) extends conventional RIS through novel architectures, such as group-connected RIS, with scattering matrix not restricted to being diagonal. However, it remains unexplored how to optimally group the elements in group-connected RISs to maximize the performance while maintaining a low-complexity circuit. In this study, we propose and model BD-RIS with a static grouping strategy optimized based on the channel statistics. After formulating the corresponding problems, we design the grouping in single- and multi-user systems. Numerical results reveal the benefits of grouping optimization, i.e., up to 60% sum rate improvement, especially in highly correlated channels.
- [294] arXiv:2403.10090 (replaced) [pdf, ps, other]
-
Title: Convex co-compact hyperbolic manifolds are determined by their pleating laminationComments: 13 pages, 1 figure. v2: argument expanded to include manifolds with compressible boundary. Added some references and explanationsSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
Convex co-compact 3-dimensional hyperbolic manifolds are uniquely determined by the pleating measured lamination on the boundary of their convex core.
- [295] arXiv:2403.17747 (replaced) [pdf, ps, other]
-
Title: Weighted Ehrhart theory via mixed Hodge modules on toric varietiesComments: comments are welcome! v2: corrected several typos, added one referenceSubjects: Algebraic Geometry (math.AG)
We give a cohomological and geometrical interpretation for the weighted Ehrhart theory of a full-dimensional lattice polytope $P$, with Laurent polynomial weights of geometric origin. For this purpose, we calculate the motivic Chern and Hirzebruch characteristic classes of a mixed Hodge module complex $\mathcal{M}$ whose underlying cohomology sheaves are constant on the $\mathbb{T}$-orbits of the toric variety $X_P$ associated to $P$. Besides motivic coefficients, this also applies to the intersection cohomology Hodge module. We introduce a corresponding generalized Hodge $\chi_y$-polynomial of the ample divisor $D_P$ on $X_P$. Motivic properties of these characteristic classes are used to express this Hodge polynomial in terms of a very general weighed lattice point counting and the corresponding weighted Ehrhart theory. We introduce, for such a mixed Hodge modules complex $\mathcal{M}$ on $X$, an Ehrhart polynomial $E_{P,\mathcal{M}}$ generalizing the Hodge polynomial of $\mathcal{M}$ and satisfying a reciprocity formula and a purity formula fitting with the duality for mixed Hodge modules. This Ehrhart polynomial and its properties depend only on a Laurent polynomial weight function on the faces $Q$ of $P$. In the special case of the intersection cohomology mixed Hodge module, the weight function corresponds to Stanley's $g$-function of the polar polytope of $P$, hence it depends only on the combinatorics of $P$. In particular, we obtain a combinatorial formula for the intersection cohomology signature.
- [296] arXiv:2404.01613 (replaced) [pdf, ps, html, other]
-
Title: Identification of High-dimensional ARMA Models with Binary-Valued ObservationsSubjects: Optimization and Control (math.OC)
This paper studies system identification of high-dimensional ARMA models with binary-valued observations. Compared with existing quantized identification of ARMA models, this problem is more challenging since the accessible information is much less. Different from the identification of FIR models with binary-valued observations, the prediction of original system output and the parameter both need to be estimated in ARMA models. We propose an online identification algorithm consisting of parameter estimation and prediction of original system output. The parameter estimation and the prediction of original output are strongly coupled but mutually reinforcing. By analyzing the two estimates at the same time instead of analyzing separately, we finally prove that the parameter estimate can converge to the true parameter with convergence rate $O(1/k)$ under certain conditions. Simulations are given to demonstrate the theoretical results.
- [297] arXiv:2404.03221 (replaced) [pdf, ps, html, other]
-
Title: Generalized double bracket vector fieldsComments: 24 pages, 25 figuresSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
By introducing a metriplectic tensor, we generalize the double bracket vector fields defined on semi-simple Lie algebras to the case of Poisson manifolds endowed with a pseudo-Riemannian metric. We also construct a generalization of the normal metric on an adjoint orbit of a compact semi-simple Lie algebra such that the above vector fields, when restricted to a symplectic leaf, become gradient vector fields. We illustrate the newly introduced objects to a variety of examples and carefully discuss complications that arise when the pseudo-Riemannian metric does not induce a non-degenerate metric on parts of the symplectic leaves.
- [298] arXiv:2404.03735 (replaced) [pdf, ps, other]
-
Title: Homology and homotopy for arbitrary categoriesSubjects: Category Theory (math.CT); Algebraic Topology (math.AT)
One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was discovered with the development of Homology theory. Some of the deepest results in topology are about the connections between Homotopy and Homology. These results are proved using intricate constructions. This paper re-proves these connections via an axiomatic approach that provides a common ground for homotopy and homology in arbitrary categories. One of the main contributions is a re-interpretation of convexity as an extrinsic rather than intrinsic property. All the axioms and results are applicable for the familiar context of topological spaces. We also provide a recipe for making the axioms come to fruition in arbitrary categories. This creates a complete framework for an algebraic characterization of various categories such as Dynamical systems, Open games, and Fractals, which also preserves a notion of Homotopy.
- [299] arXiv:2404.08803 (replaced) [pdf, ps, other]
-
Title: Random walks on simplicial complexesSubjects: Probability (math.PR); Machine Learning (stat.ML)
The notion of Laplacian of a graph can be generalized to simplicial complexes and hypergraphs, and contains information on the topology of these structures. Even for a graph, the consideration of associated simplicial complexes is interesting to understand its shape. Whereas the Laplacian of a graph has a simple probabilistic interpretation as the generator of a continuous time Markov chain on the graph, things are not so direct when considering simplicial complexes. We define here new Markov chains on simplicial complexes. For a given order~$k$, the state space is the set of $k$-cycles that are chains of $k$-simplexes with null boundary. This new framework is a natural generalization of the canonical Markov chains on graphs. We show that the generator of our Markov chain is the upper Laplacian defined in the context of algebraic topology for discrete structure. We establish several key properties of this new process: in particular, when the number of vertices is finite, the Markov chain is positive recurrent. This result is not trivial, since the cycles can loop over themselves an unbounded number of times. We study the diffusive limits when the simplicial complexes under scrutiny are a sequence of ever refining triangulations of the flat torus. Using the analogy between singular and Hodge homologies, we express this limit as valued in the set of currents. The proof of tightness and the identification of the limiting martingale problem make use of the flat norm and carefully controls of the error terms in the convergence of the generator. Uniqueness of the solution to the martingale problem is left open. An application to hole detection is carried.
- [300] arXiv:2404.10417 (replaced) [pdf, ps, html, other]
-
Title: Gradient estimates for positive eigenfunctions of $ \mathcal{L} $-operator on conformal solitons and its applicationsComments: This version revises the statements of Corollary 1.2 and Corollary 1.6 in the version dated April 16, 2024, making them clearer, and also corrects some typographical errorsSubjects: Differential Geometry (math.DG)
We prove a local gradient estimate for positive eigenfunctions of $ \mathcal{L} $-operator on conformal solitons given by a general conformal vector field. As an application, we obtain a Liouville type theorem for $ \mathcal{L} u = 0 $, which improves the one of Li--Sun (Acta Math. Sin. (Engl. Ser.), 37(11): 1768--1782, 2021.). We also consider applications where manifolds are special conformal solitons. Especially in the case of self-shrinkers, a better Liouville type theorem is obtained.
- [301] arXiv:2404.10521 (replaced) [pdf, ps, html, other]
-
Title: Finiteness of the number of irreducible $\lambda$-quiddities over a finite commutative and unitary ringSubjects: Combinatorics (math.CO)
$\lambda$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion of irreducibility. The main objective of this text is to show that there is a finite number of irreducible $\lambda$-quiddities over a finite unitary commutative ring and to obtain in this case an upper bound of the maximal size of them.
- [302] arXiv:2404.11906 (replaced) [pdf, ps, html, other]
-
Title: Lower bounds for Seshadri constants on blow ups of $\mathbb{P}^2$Comments: 18 pages, An error is corrected in Lemma 4.1 and Theorem 4.2Subjects: Algebraic Geometry (math.AG)
Let $\pi: X_r \rightarrow \mathbb{P}^2$ be a blow up of $\mathbb{P}^2$ at $r$ distinct points $p_1,p_2,\dots, p_r$. We study lower bounds for Seshadri constants of ample line bundles on $X_r$. First, we consider the case when $p_1,p_2,\dots, p_r$ are on a curve of degree $d\leq 3$. Then we assume that the points are very general and show that $\varepsilon(X_r,L,x)\geq 1$ for any ample line bundle $L$ and any $x\in X_r$ if the Strong SHGH conjecture is true. We explore the relation between bounded negativity and Seshadri constants and study the Seshadri function on $X_r$.
- [303] arXiv:2404.12937 (replaced) [pdf, ps, html, other]
-
Title: Coupled $\operatorname{G}_2$-instantonsComments: 45 pages, new Theorem 2.32 with complete solution to Problem 1, in arbitrary dimensions. Improved version of Theorem 4.9. New Remark 4.10 about the Spin(7) case. Submitted for consideration in the International Journal of Mathematics special issue "At the interface of complex geometry and string theory"Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th)
We introduce the coupled instanton equations for a metric, a spinor, a three-form, and a connection on a bundle, over a spin manifold. Special solutions in dimensions $6$ and $7$ arise, respectively, from the Hull--Strominger and the heterotic $\operatorname{G}_2$ system. The equations are motivated by recent developments in theoretical physics and can be recast using generalized geometry; we investigate how coupled instantons relate to generalized Ricci-flat metrics and also to Killing spinors on a Courant algebroid. We present two open questions regarding how these different geometric conditions are intertwined, for which a positive answer is expected from recent developments in the physics literature by De la Ossa, Larfors and Svanes, and in the mathematics literature on Calabi--Yau manifolds, in recent work by the second-named author with González Molina. We give a complete solution to the first of these problems, providing a new method for the construction of instantons in arbitrary dimensions. For $\operatorname{G}_2$-structures with torsion coupled to $\operatorname{G}_2$-instantons, in dimension $7$, we also establish results around the second problem. The last part of the present work carefully studies the approximate solutions to the heterotic $\operatorname{G}_2$-system constructed by the third and fourth authors on contact Calabi--Yau $7$-manifolds, for which we prove the existence of approximate coupled $\operatorname{G}_2$-instantons and generalized Ricci-flat metrics.
- [304] arXiv:2404.14597 (replaced) [pdf, ps, other]
-
Title: Higher categories of push-pull spans, I: Construction and applicationsComments: Comments welcome! Edit #1: Reworked the introduction for submissionSubjects: Category Theory (math.CT); Algebraic Topology (math.AT)
This is the first part of a project aimed at formalizing Rozansky-Witten models in the functorial field theory framework. Motivated by work of Calaque-Haugseng-Scheimbauer, we construct a family of symmetric monoidal $(\infty,3)$-categories parametrized by an $\infty$-category with finite limits and a functor into symmetric monoidal $\infty$-categories, such that the functor admits pushforwards. This $(\infty,3)$-category contains correspondences in the base $\infty$-category equipped with local systems, which compose via a push-pull formula. We apply this general construction to provide an approximation to the $3$-category of Rozansky-Witten models whose existence was conjectured by Kapustin-Rozansky-Saulina; this approximation behaves like a "commutative" version of the conjectured $3$-category and is related to work of Stefanich on higher quasicoherent sheaves.
- [305] arXiv:2404.15205 (replaced) [pdf, ps, html, other]
-
Title: Heat flow, log-concavity, and Lipschitz transport mapsSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
In this paper we derive estimates for the Hessian of the logarithm (log-Hessian) for solutions to the heat equation. For initial data in the form of log-Lipschitz perturbation of strongly log-concave measures, the log-Hessian admits an explicit, uniform (in space) lower bound. This yields a new estimate for the Lipschitz constant of a transport map pushing forward the standard Gaussian to a measure in this class. Further connections are discussed with score-based diffusion models and improved Gaussian logarithmic Sobolev inequalities. Finally, we show that assuming only fast decay of the tails of the initial datum does not suffice to guarantee uniform log-Hessian upper bounds.
- [306] arXiv:2404.15867 (replaced) [pdf, ps, other]
-
Title: A Generalization of Relative Entropy to Count Vectors and its Concentration PropertyComments: 38 pages, fixed a typo on p. 3 topSubjects: Information Theory (cs.IT)
We introduce a new generalization of relative entropy to non-negative vectors with sums $\gt 1$. We show in a purely combinatorial setting, with no probabilistic considerations, that in the presence of linear constraints defining a convex polytope, a concentration phenomenon arises for this generalized relative entropy, and we quantify the concentration precisely. We also present a probabilistic formulation, and extend the concentration results to it. In addition, we provide a number of simplifications and improvements to our previous work, notably in dualizing the optimization problem, in the concentration with respect to $\ell_{\infty}$ distance, and in the relationship to generalized KL-divergence. A number of our results apply to general compact convex sets, not necessarily polyhedral.
- [307] arXiv:2404.17516 (replaced) [pdf, ps, other]
-
Title: An order analysis of hyperfinite Borel equivalence relationsSubjects: Logic (math.LO)
In this paper we first consider hyperfinite Borel equivalence relations with a pair of Borel $\mathbb{Z}$-orderings. We define a notion of compatibility between such pairs, and prove a dichotomy theorem which characterizes exactly when a pair of Borel $\mathbb{Z}$-orderings are compatible with each other. We show that, if a pair of Borel $\mathbb{Z}$-orderings are incompatible, then a canonical incompatible pair of Borel $\mathbb{Z}$-orderings of $E_0$ can be Borel embedded into the given pair. We then consider hyperfinite-over-finite equivalence relations, which are countable Borel equivalence relations admitting Borel $\mathbb{Z}^2$-orderings. We show that if a hyperfinite-over-hyperfinite equivalence relation $E$ admits a Borel $\mathbb{Z}^2$-ordering which is self-compatible, then $E$ is hyperfinite.
- [308] arXiv:2404.18236 (replaced) [pdf, ps, other]
-
Title: Unbounded $\mathfrak{sl}_3$-laminations around puncturesComments: 57 pages, 26 figures. v2: added a comment on the Roger--Yang relations in p.42. arXiv admin note: text overlap with arXiv:2204.08947Subjects: Representation Theory (math.RT); Geometric Topology (math.GT); Quantum Algebra (math.QA)
We continue to study the unbounded $\mathfrak{sl}_3$-laminations [IK22], with a focus on their structures at punctures. A key ingredient is their relation to the root data of $\mathfrak{sl}_3$. After giving a classification of signed $\mathfrak{sl}_3$-webs around a puncture, we describe the tropicalization of the Goncharov--Shen's Weyl group action in detail. We also clarify the relationship with several other approaches by Shen--Sun--Weng [SSW23] and Fraser--Pylyavskyy [FP21]. Finally, we discuss a formulation of unbounded $\mathfrak{g}$-laminations for a general semisimple Lie algebra $\mathfrak{g}$ in brief.
- [309] arXiv:2404.19290 (replaced) [pdf, ps, html, other]
-
Title: Efficient inverse $Z$-transform and Wiener-Hopf factorizationSubjects: Numerical Analysis (math.NA); Computational Finance (q-fin.CP)
We suggest new closely related methods for numerical inversion of $Z$-transform and Wiener-Hopf factorization of functions on the unit circle, based on sinh-deformations of the contours of integration, corresponding changes of variables and the simplified trapezoid rule. As applications, we consider evaluation of high moments of probability distributions and construction of causal filters. Programs in Matlab running on a Mac with moderate characteristics achieves the precision E-14 in several dozen of microseconds and E-11 in several milliseconds, respectively.
- [310] arXiv:2405.00230 (replaced) [pdf, ps, other]
-
Title: A decomposition-based approach for large-scale pickup and delivery problemsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
With the advent of self-driving cars, experts envision autonomous mobility-on-demand services in the near future to cope with overloaded transportation systems in cities worldwide. Efficient operations are imperative to unlock such a system's maximum improvement potential. Existing approaches either consider a narrow planning horizon or ignore essential characteristics of the underlying problem. In this paper, we develop an algorithmic framework that allows the study of very large-scale pickup and delivery routing problems with more than 20 thousand requests, which arise in the context of integrated request pooling and vehicle-to-request dispatching. We conduct a computational study and present comparative results showing the characteristics of the developed approaches. Furthermore, we apply our algorithm to related benchmark instances from the literature to show the efficacy. Finally, we solve very large-scale instances and derive insights on upper-bound improvements regarding fleet sizing and customer delay acceptance from a practical perspective.
- [311] arXiv:2405.00423 (replaced) [pdf, ps, html, other]
-
Title: $\alpha$-leakage by R\'{e}nyi Divergence and Sibson Mutual InformationComments: This paper has been reduced greatly from its original sole auther version due to a peculiar authorship issueSubjects: Information Theory (cs.IT)
For $\tilde{f}(t) = \exp(\frac{\alpha-1}{\alpha}t)$, this paper proposes a $\tilde{f}$-mean information gain measure. Rényi divergence is shown to be the maximum $\tilde{f}$-mean information gain incurred at each elementary event $y$ of channel output $Y$ and Sibson mutual information is the $\tilde{f}$-mean of this $Y$-elementary information gain. Both are proposed as $\alpha$-leakage measures, indicating the most information an adversary can obtain on sensitive data. It is shown that the existing $\alpha$-leakage by Arimoto mutual information can be expressed as $\tilde{f}$-mean measures by a scaled probability. Further, Sibson mutual information is interpreted as the maximum $\tilde{f}$-mean information gain over all estimation decisions applied to channel output. This reveals that the exiting generalized Blahut-Arimoto method for computing Rényi capacity (or Gallager's error exponent) in fact maximizes a $\tilde{f}$-mean information gain iteratively over estimation decision and channel input. This paper also derives a decomposition of $\tilde{f}$-mean information gain, analogous to the Sibson identity for Rényi divergence.
- [312] arXiv:2405.01982 (replaced) [pdf, ps, html, other]
-
Title: Global regularity for solutions of magnetohydrodynamic equations with large initial dataComments: arXiv admin note: substantial text overlap with arXiv:2404.16433Subjects: Analysis of PDEs (math.AP)
We study the existence of a strong solution to the initial value problem for the magnetohydrodynamic equations in $\mathbb{R}^N, N\geq 3$. We obtain a global in-time strong solution without any smallness assumptions on the initial data.
- [313] arXiv:2405.02956 (replaced) [pdf, ps, other]
-
Title: Generalized electrical Lie algebrasComments: AmsLaTeX, 20 pages, misprints correctedSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We generalize the electrical Lie algebras originally introduced by Lam and Pylyavskyy in several ways. To each Kac-Moody Lie algebra $\mathfrak{g}$ we associate two types (vertex type and edge type) of the generalized electrical algebras. The electrical Lie algebras of vertex type are always subalgebras of $\mathfrak{g}$ and are flat deformations of the nilpotent Lie subalgebra of $\mathfrak{g}$. In many cases including $sl_n$, $so_n$, and $sp_{2n}$ we find new (edge) models for our generalized electrical Lie algebras of vertex type. Finding an edge model in general is an interesting an open problem.
- [314] arXiv:2405.03101 (replaced) [pdf, ps, other]
-
Title: Double Self-Sustainable Reconfigurable Intelligent Surfaces Aided Wireless CommunicationsSubjects: Information Theory (cs.IT)
A double self-sustainable reconfigurable intelligent surfaces (RISs) assisted multi-user multiple input multiple output (MIMO) system is investigated. Two RISs are equipped with energy harvesting circuit to achieve self-sustainable transmission. The aim is to minimize the transmission power at the base station (BS), while guaranteeing the quality of service (QoS) requirements of the users and meeting the power consumption requirements of the RISs. A block coordinate descent (BCD) algorithm based on the penalty-based method and successive convex approximation (SCA) is employed to alternatively optimize the active beamforming at the BS and the phase shifts, as well as amplitude coefficients of two RISs. Simulation results show that the required power consumption at the BS for the proposed double self-sustainable RISs system is significantly reduced compared to conventional RIS systems.
- [315] arXiv:2405.03214 (replaced) [pdf, ps, other]
-
Title: Asymptotic behavior toward viscous shock for impermeable wall and inflow problem of barotropic Navier-Stokes equationsSubjects: Analysis of PDEs (math.AP)
We consider the compressible barotropic Navier-Stokes equations in a half-line and study the time-asymptotic behavior toward the outgoing viscous shock wave. Precisely, we consider the two boundary problems: impermeable wall and inflow problems, where the velocity at the boundary is given as a constant state. For both problems, when the asymptotic profile determined by the prescribed constant states at the boundary and far-fields is a viscous shock, we show that the solution asymptotically converges to the shifted viscous shock profiles uniformly in space, under the condition that initial perturbation is small enough in H1 norm. We do not impose the zero mass condition on initial data, which improves the previous results by Matsumura and Mei [20] for impermeable case, and by Huang, Matsumura and Shi [8] for inflow case. Moreover, for the inflow case, we remove the assumption in [8]. Our results are based on the method of a-contraction with shifts, as the first extension of the method to the boundary value problems.
- [316] arXiv:2405.03219 (replaced) [pdf, ps, other]
-
Title: General Procedure to Provide High-Probability Guarantees for Stochastic Saddle Point ProblemsSubjects: Optimization and Control (math.OC)
This paper considers smooth strongly convex and strongly concave (SC-SC) stochastic saddle point (SSP) problems. Suppose there is an arbitrary oracle that in expectation returns an $\epsilon$-solution in the sense of certain gaps, which can be the duality gap or its weaker variants. We propose a general PB-SSP framework to guarantee an $\epsilon$ small duality gap solution with high probability via only $\mathcal{O}\big(\log \frac{1}{p}\cdot\text{poly}(\log \kappa)\big)$ calls of this oracle, where $p\in(0,1)$ is the confidence level and $\kappa$ is the condition number. When applied to the sample average approximation (SAA) oracle, in addition to equipping the solution with high probability, our approach even improves the sample complexity by a factor of $\text{poly}(\kappa)$, since the high-probability argument enables us to circumvent some key difficulties of the uniform stability analysis of SAA.
- [317] arXiv:2405.03238 (replaced) [pdf, ps, other]
-
Title: Interface Modes in Honeycomb Topological Photonic Structures with Broken Reflection SymmetrySubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Spectral Theory (math.SP); Optics (physics.optics)
In this work, we present a mathematical theory for Dirac points and interface modes in honeycomb topological photonic structures consisting of impenetrable obstacles. Starting from a honeycomb lattice of obstacles attaining $120^\circ$-rotation symmetry and horizontal reflection symmetry, we apply the boundary integral equation method to show the existence of Dirac points for the first two bands at the vertices of the Brillouin zone. We then study interface modes in a joint honeycomb photonic structure, which consists of two periodic lattices obtained by perturbing the honeycomb one with Dirac points differently. The perturbations break the reflection symmetry of the system, as a result, they annihilate the Dirac points and generate two structures with different topological phases, which mimics the quantum valley Hall effect in topological insulators. We investigate the interface modes that decay exponentially away from the interface of the joint structure in several configurations with different interface geometries, including the zigzag interface, the armchair interface, and the rational interfaces. Using the layer potential technique and asymptotic analysis, we first characterize the band-gap opening for the two perturbed periodic structures and derive the asymptotic expansions of the Bloch modes near the band gap surfaces. By formulating the eigenvalue problem for each joint honeycomb structure using boundary integral equations over the interface and analyzing the characteristic values of the associated boundary integral operators, we prove the existence of interface modes when the perturbation is small.
- [318] arXiv:2405.03395 (replaced) [pdf, ps, other]
-
Title: A geometric realization for maximal almost pre-rigid representations over type $\mathbb{D}$ quiversSubjects: Representation Theory (math.RT)
We focus on a class of special representations over a type $\mathbb{D}$ quiver $Q_{D}$ with $n$ vertices and directional symmetry, namely, maximal almost pre-rigid representations. By using the equivariant theory of group actions, we give a geometric model for the category of finite dimensional representations over $Q_{D}$ via centrally-symmetric polygon $P(Q_{D})$ with a puncture, and show that the dimension of extension group between indecomposable representations can be interpreted as the crossing number on $P(Q_{D})$. Furthermore, we provide a geometric realization for maximal almost pre-rigid representations over $Q_{D}$. As an application, we illustrate their general form and prove that each maximal almost pre-rigid representation will determine two or four tilting objects over the path algebra $\Bbbk Q_{\overline{D}}$, where $Q_{\overline{D}}$ is a quiver obtained by adding $n-2$ new vertices and $n-2$ arrows to the quiver $Q_{D}$.
- [319] arXiv:2405.03407 (replaced) [pdf, ps, other]
-
Title: $k$-convex hypersurfaces with prescribed Weingarten curvature in warped product manifoldsComments: 19 pages. arXiv admin note: substantial text overlap with arXiv:2105.12047Subjects: Analysis of PDEs (math.AP)
In this paper, we consider Weingarten curvature equations for $k$-convex hypersurfaces with $n<2k$ in a warped product manifold $\overline{M}=I\times_{\lambda}M$. Based on the conjecture proposed by Ren-Wang in \cite{Ren2}, which is valid for $k\geq n-2$, we derive curvature estimates for equation $\sigma_k(\kappa)= \psi (V, \nu (V))$ through a straightforward proof. Furthermore, we also obtain an existence result for the star-shaped compact hypersurface $\Sigma$ satisfying the above equation by the degree theory under some sufficient conditions.
- [320] arXiv:2405.03450 (replaced) [pdf, ps, other]
-
Title: The spectral genus of an isolated hypersurface singularity and a conjecture relating to the Milnor numberComments: 24 pages. Corrected spelling of the corresponding author's nameSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Complex Variables (math.CV)
In this paper, we introduce the notion of spectral genus $\widetilde{p}_{g}$ of a deformation of a germ of an isolated hypersurface singularity $(\mathbb{C}^{n+1}, 0) \to (\mathbb{C}, 0)$, defined as a sum of small exponents of monodromy eigenvalues. The number of these is equal to the geometric genus $p_{g}$, and hence $\widetilde{p}_g$ can be considered as a secondary invariant to it. We then explore a secondary version of the Durfee conjecture on $p_{g}$, regarding the relationship between $\widetilde{p}_{g}$ and the Milnor number $\mu$, to the effect that $$\frac{\mu}{(n+2)!} > \widetilde{p}_g.$$ We provide evidence by confirming the conjecture in several cases, including homogeneous singularities and singularities with large Newton polyhedra, and quasi-homogeneous or irreducible curve singularities.
Our conjecture is shown to relate closely to the asymptotic behavior of the holomorphic analytic torsion of the sheaf of holomorphic functions on a degeneration of projective varieties, potentially indicating deeper geometric and analytic connections. - [321] arXiv:2008.08718 (replaced) [pdf, ps, other]
-
Title: Minimum discrepancy principle strategy for choosing $k$ in $k$-NN regressionSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
We present a novel data-driven strategy to choose the hyperparameter $k$ in the $k$-NN regression estimator without using any hold-out data. We treat the problem of choosing the hyperparameter as an iterative procedure (over $k$) and propose using an easily implemented in practice strategy based on the idea of early stopping and the minimum discrepancy principle. This model selection strategy is proven to be minimax-optimal, under the fixed-design assumption on covariates, over some smoothness function classes, for instance, the Lipschitz functions class on a bounded domain. The novel method often improves statistical performance on artificial and real-world data sets in comparison to other model selection strategies, such as the Hold-out method, 5-fold cross-validation, and AIC criterion. The novelty of the strategy comes from reducing the computational time of the model selection procedure while preserving the statistical (minimax) optimality of the resulting estimator. More precisely, given a sample of size $n$, if one should choose $k$ among $\left\{ 1, \ldots, n \right\}$, and $\left\{ f^1, \ldots, f^n \right\}$ are the estimators of the regression function, the minimum discrepancy principle requires calculation of a fraction of the estimators, while this is not the case for the generalized cross-validation, Akaike's AIC criteria or Lepskii principle.
- [322] arXiv:2012.00180 (replaced) [pdf, ps, other]
-
Title: Anisotropic local constant smoothing for change-point regression function estimationComments: 30 pages, 12 figures. Parts of this Original Manuscript are in an article published by Taylor & Francis in the Journal of Applied Statistics on April 20th 2024, available at this https URLSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP)
Understanding forest fire spread in any region of Canada is critical to promoting forest health, and protecting human life and infrastructure. Quantifying fire spread from noisy images, where regions of a fire are separated by change-point boundaries, is critical to faithfully estimating fire spread rates. In this research, we develop a statistically consistent smooth estimator that allows us to denoise fire spread imagery from micro-fire experiments. We develop an anisotropic smoothing method for change-point data that uses estimates of the underlying data generating process to inform smoothing. We show that the anisotropic local constant regression estimator is consistent with convergence rate $O\left(n^{-1/{(q+2)}}\right)$. We demonstrate its effectiveness on simulated one- and two-dimensional change-point data and fire spread imagery from micro-fire experiments.
- [323] arXiv:2111.06877 (replaced) [pdf, ps, html, other]
-
Title: Continuity, Uniqueness and Long-Term Behavior of Nash Flows Over TimeSubjects: Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC)
We consider a dynamic model of traffic that has received a lot of attention in the past few years. Users control infinitesimal flow particles aiming to travel from an origin to a destination as quickly as possible. Flow patterns vary over time, and congestion effects are modeled via queues, which form whenever the inflow into a link exceeds its capacity. Despite lots of interest, some very basic questions remain open in this model. We resolve a number of them:
- We show uniqueness of journey times in equilibria.
- We show continuity of equilibria: small perturbations to the instance or to the traffic situation at some moment cannot lead to wildly different equilibrium evolutions.
- We demonstrate that, assuming constant inflow into the network at the source, equilibria always settle down into a "steady state" in which the behavior extends forever in a linear fashion.
One of our main conceptual contributions is to show that the answer to the first two questions, on uniqueness and continuity, are intimately connected to the third. To resolve the third question, we substantially extend the approach of Cominetti et al., who show a steady-state result in the regime where the input flow rate is smaller than the network capacity. - [324] arXiv:2112.05023 (replaced) [pdf, ps, other]
-
Title: Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial RingsComments: 35 pages, 1 figureJournal-ref: Proceedings of PQCrypto 2024Subjects: Symbolic Computation (cs.SC); Cryptography and Security (cs.CR); Commutative Algebra (math.AC)
Solving a system of $m$ multivariate quadratic equations in $n$ variables over finite fields (the MQ problem) is one of the important problems in the theory of computer science. The XL algorithm (XL for short) is a major approach for solving the MQ problem with linearization over a coefficient field. Furthermore, the hybrid approach with XL (h-XL) is a variant of XL guessing some variables beforehand. In this paper, we present a variant of h-XL, which we call the \textit{polynomial XL (PXL)}. In PXL, the whole $n$ variables are divided into $k$ variables to be fixed and the remaining $n-k$ variables as ``main variables'', and we generate a Macaulay matrix with respect to the $n-k$ main variables over a polynomial ring of the $k$ (sub-)variables. By eliminating some columns of the Macaulay matrix over the polynomial ring before guessing $k$ variables, the amount of operations required for each guessed value can be reduced compared with h-XL. Our complexity analysis of PXL (under some practical assumptions and heuristics) gives a new theoretical bound, and it indicates that PXL could be more efficient than other algorithms in theory on the random system with $n=m$, which is the case of general multivariate signatures. For example, on systems over the finite field with ${2^8}$ elements with $n=m=80$, the numbers of operations deduced from the theoretical bounds of the hybrid approaches with XL and Wiedemann XL, Crossbred, and PXL with optimal $k$ are estimated as $2^{252}$, $2^{234}$, $2^{237}$, and $2^{220}$, respectively.
- [325] arXiv:2205.00171 (replaced) [pdf, ps, other]
-
Title: A Heteroskedasticity-Robust Overidentifying Restriction Test with High-Dimensional CovariatesSubjects: Econometrics (econ.EM); Statistics Theory (math.ST); Machine Learning (stat.ML)
This paper proposes an overidentifying restriction test for high-dimensional linear instrumental variable models. The novelty of the proposed test is that it allows the number of covariates and instruments to be larger than the sample size. The test is scale-invariant and is robust to heteroskedastic errors. To construct the final test statistic, we first introduce a test based on the maximum norm of multiple parameters that could be high-dimensional. The theoretical power based on the maximum norm is higher than that in the modified Cragg-Donald test (Kolesár, 2018), the only existing test allowing for large-dimensional covariates. Second, following the principle of power enhancement (Fan et al., 2015), we introduce the power-enhanced test, with an asymptotically zero component used to enhance the power to detect some extreme alternatives with many locally invalid instruments. Finally, an empirical example of the trade and economic growth nexus demonstrates the usefulness of the proposed test.
- [326] arXiv:2205.07739 (replaced) [pdf, ps, other]
-
Title: The Role of Pseudo-labels in Self-training Linear Classifiers on High-dimensional Gaussian Mixture DataComments: 65 pages, 13 figuresSubjects: Machine Learning (stat.ML); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Machine Learning (cs.LG); Statistics Theory (math.ST)
Self-training (ST) is a simple yet effective semi-supervised learning method. However, why and how ST improves generalization performance by using potentially erroneous pseudo-labels is still not well understood. To deepen the understanding of ST, we derive and analyze a sharp characterization of the behavior of iterative ST when training a linear classifier by minimizing the ridge-regularized convex loss on binary Gaussian mixtures, in the asymptotic limit where input dimension and data size diverge proportionally. The results show that ST improves generalization in different ways depending on the number of iterations. When the number of iterations is small, ST improves generalization performance by fitting the model to relatively reliable pseudo-labels and updating the model parameters by a large amount at each iteration. This suggests that ST works intuitively. On the other hand, with many iterations, ST can gradually improve the direction of the classification plane by updating the model parameters incrementally, using soft labels and small regularization. It is argued that this is because the small update of ST can extract information from the data in an almost noiseless way. However, in the presence of label imbalance, the generalization performance of ST underperforms supervised learning with true labels. To overcome this, two heuristics are proposed to enable ST to achieve nearly compatible performance with supervised learning even with significant label imbalance.
- [327] arXiv:2207.09098 (replaced) [pdf, ps, html, other]
-
Title: ReBoot: Distributed statistical learning via refitting bootstrap samplesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
In this paper, we propose a one-shot distributed learning algorithm via refitting bootstrap samples, which we refer to as ReBoot. ReBoot refits a new model to mini-batches of bootstrap samples that are continuously drawn from each of the locally fitted models. It requires only one round of communication of model parameters without much memory. Theoretically, we analyze the statistical error rate of ReBoot for generalized linear models (GLM) and noisy phase retrieval, which represent convex and non-convex problems, respectively. In both cases, ReBoot provably achieves the full-sample statistical rate. In particular, we show that the systematic bias of ReBoot, the error that is independent of the number of subsamples (i.e., the number of sites), is $O(n ^ {-2})$ in GLM, where $n$ is the subsample size (the sample size of each local site). This rate is sharper than that of model parameter averaging and its variants, implying the higher tolerance of ReBoot with respect to data splits to maintain the full-sample rate. Our simulation study demonstrates the statistical advantage of ReBoot over competing methods. Finally, we propose FedReBoot, an iterative version of ReBoot, to aggregate convolutional neural networks for image classification. FedReBoot exhibits substantial superiority over Federated Averaging (FedAvg) within early rounds of communication.
- [328] arXiv:2212.01608 (replaced) [pdf, ps, other]
-
Title: Refractive index profiles for a $\mathcal{PT}$-symmetric optical structureComments: 10 pages; 3 figures. Accepted for publication in Mod. Phys. Lett. ASubjects: Quantum Physics (quant-ph); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
By mapping the scalar Helmholtz equation (SHE) to the Schrodinger form we investigate the behaviour of $\mathcal{PT}$ optical structure when the refractive index distribution $n$ admits variation in the longitudinal direction only. Interpreting the Schrodinger equation in terms of a superpotential we determine the supersymmetric partners for $n$. We also obtain new analytical solutions for the refractive index profiles and provide graphical illustrations for them.
- [329] arXiv:2302.11454 (replaced) [pdf, ps, other]
-
Title: Quantum complexity of the Kronecker coefficientsComments: Added Journal ReferenceJournal-ref: PRX Quantum, vol. 5, issue 1, (Feb 2024), pp 010329Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Combinatorics (math.CO)
Whether or not the Kronecker coefficients of the symmetric group count some set of combinatorial objects is a longstanding open question. In this work we show that a given Kronecker coefficient is proportional to the rank of a projector that can be measured efficiently using a quantum computer. In other words a Kronecker coefficient counts the dimension of the vector space spanned by the accepting witnesses of a QMA verifier, where QMA is the quantum analogue of NP. This implies that approximating the Kronecker coefficients to within a given relative error is not harder than a certain natural class of quantum approximate counting problems that captures the complexity of estimating thermal properties of quantum many-body systems. A second consequence is that deciding positivity of Kronecker coefficients is contained in QMA, complementing a recent NP-hardness result of Ikenmeyer, Mulmuley and Walter. We obtain similar results for the related problem of approximating row sums of the character table of the symmetric group. Finally, we discuss an efficient quantum algorithm that approximates normalized Kronecker coefficients to inverse-polynomial additive error.
- [330] arXiv:2308.15755 (replaced) [pdf, ps, other]
-
Title: Density Stabilization Strategies for Nonholonomic Agents on Compact ManifoldsComments: Extended preprint. Detailed proofs regarding properties of the generators. An additional numerical example of a density control problem in SO(3)Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
In this article, we consider the problem of stabilizing stochastic processes, which are constrained to a bounded Euclidean domain or a compact smooth manifold, to a given target probability density. Most existing works on modeling and control of robotic swarms that use PDE models assume that the robots' dynamics are holonomic, and hence, the associated stochastic processes have generators that are elliptic. We relax this assumption on the ellipticity of the generator of the stochastic processes, and consider the more practical case of the stabilization problem for a swarm of agents whose dynamics are given by a controllable driftless control-affine system. We construct state-feedback control laws that exponentially stabilize a swarm of nonholonomic agents to a target probability density that is sufficiently regular. State-feedback laws can stabilize a swarm only to target probability densities that are positive everywhere. To stabilize the swarm to probability densities that possibly have disconnected supports, we introduce a semilinear PDE model of a collection of interacting agents governed by a hybrid switching diffusion process. The interaction between the agents is modeled using a (mean-field) feedback law that is a function of the local density of the swarm, with the switching parameters as the control inputs. We show that the semilinear PDE system is globally asymptotically stable about the given target probability density. The stabilization strategies are verified without inter-agent interactions is verified numerically for agents that evolve according to the Brockett integrator and a nonholonomic system on the special orthogonal group of 3-dimensional rotations $SO(3)$. The stabilization strategy with inter-agent interactions is verified numerically for agents that evolve according to the Brockett integrator and a holonomic system on the sphere $S^2$.
- [331] arXiv:2311.02043 (replaced) [pdf, ps, html, other]
-
Title: Bayesian Quantile Regression with Subset Selection: A Posterior Summarization PerspectiveSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP); Computation (stat.CO); Machine Learning (stat.ML)
Quantile regression is a powerful tool for inferring how covariates affect specific percentiles of the response distribution. Existing methods either estimate conditional quantiles separately for each quantile of interest or estimate the entire conditional distribution using semi- or non-parametric models. The former often produce inadequate models for real data and do not share information across quantiles, while the latter are characterized by complex and constrained models that can be difficult to interpret and computationally inefficient. Further, neither approach is well-suited for quantile-specific subset selection. Instead, we pose the fundamental problems of linear quantile estimation, uncertainty quantification, and subset selection from a Bayesian decision analysis perspective. For any Bayesian regression model, we derive optimal and interpretable linear estimates and uncertainty quantification for each model-based conditional quantile. Our approach introduces a quantile-focused squared error loss, which enables efficient, closed-form computing and maintains a close relationship with Wasserstein-based density estimation. In an extensive simulation study, our methods demonstrate substantial gains in quantile estimation accuracy, variable selection, and inference over frequentist and Bayesian competitors. We apply these tools to identify the quantile-specific impacts of social and environmental stressors on educational outcomes for a large cohort of children in North Carolina.
- [332] arXiv:2311.07427 (replaced) [pdf, ps, html, other]
-
Title: Boolean Variation and Boolean Logic BackPropagationComments: v2Subjects: Machine Learning (cs.LG); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Optimization and Control (math.OC)
The notion of variation is introduced for the Boolean set and based on which Boolean logic backpropagation principle is developed. Using this concept, deep models can be built with weights and activations being Boolean numbers and operated with Boolean logic instead of real arithmetic. In particular, Boolean deep models can be trained directly in the Boolean domain without latent weights. No gradient but logic is synthesized and backpropagated through layers.
- [333] arXiv:2311.07790 (replaced) [pdf, ps, html, other]
-
Title: Leveraging Hamilton-Jacobi PDEs with time-dependent Hamiltonians for continual scientific machine learningSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
We address two major challenges in scientific machine learning (SciML): interpretability and computational efficiency. We increase the interpretability of certain learning processes by establishing a new theoretical connection between optimization problems arising from SciML and a generalized Hopf formula, which represents the viscosity solution to a Hamilton-Jacobi partial differential equation (HJ PDE) with time-dependent Hamiltonian. Namely, we show that when we solve certain regularized learning problems with integral-type losses, we actually solve an optimal control problem and its associated HJ PDE with time-dependent Hamiltonian. This connection allows us to reinterpret incremental updates to learned models as the evolution of an associated HJ PDE and optimal control problem in time, where all of the previous information is intrinsically encoded in the solution to the HJ PDE. As a result, existing HJ PDE solvers and optimal control algorithms can be reused to design new efficient training approaches for SciML that naturally coincide with the continual learning framework, while avoiding catastrophic forgetting. As a first exploration of this connection, we consider the special case of linear regression and leverage our connection to develop a new Riccati-based methodology for solving these learning problems that is amenable to continual learning applications. We also provide some corresponding numerical examples that demonstrate the potential computational and memory advantages our Riccati-based approach can provide.
- [334] arXiv:2311.16953 (replaced) [pdf, ps, html, other]
-
Title: Local certification of geometric graph classesComments: 36 pages, 16 figures; v3: revised versionSubjects: Discrete Mathematics (cs.DM); Computational Geometry (cs.CG); Distributed, Parallel, and Cluster Computing (cs.DC); Combinatorics (math.CO)
The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their certificates and the certificates of their neighbors, and based only on this local view, they must decide whether $G$ satisfies the given property. If the graph indeed satisfies the property, all vertices must accept the instance, and otherwise at least one vertex must reject the instance (for any possible assignment of certificates). The goal is to minimize the size of the certificates.
In this paper we study the local certification of geometric and topological graph classes. While it is known that in $n$-vertex graphs, planarity can be certified locally with certificates of size $O(\log n)$, we show that several closely related graph classes require certificates of size $\Omega(n)$. This includes penny graphs, unit-distance graphs, (induced) subgraphs of the square grid, 1-planar graphs, and unit-square graphs. These bounds are tight up to a constant factor and give the first known examples of hereditary (and even monotone) graph classes for which the certificates must have linear size. For unit-disk graphs we obtain a lower bound of $\Omega(n^{1-\delta})$ for any $\delta>0$ on the size of the certificates, and an upper bound of $O(n \log n)$. The lower bounds are obtained by proving rigidity properties of the considered graphs, which might be of independent interest. - [335] arXiv:2311.17146 (replaced) [pdf, ps, html, other]
-
Title: Calabi-Yau Four/Five/Six-folds as $\mathbb{P}^n_\textbf{w}$ Hypersurfaces: Machine Learning, Approximation, and GenerationComments: 37 pages; 13 figures; 12 tables. v2: published version (Phys. Rev. D), minor correctionsJournal-ref: Phys. Rev. D 109, 106006 (2024)Subjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Machine Learning (stat.ML)
Calabi-Yau four-folds may be constructed as hypersurfaces in weighted projective spaces of complex dimension 5 defined via weight systems of 6 weights. In this work, neural networks were implemented to learn the Calabi-Yau Hodge numbers from the weight systems, where gradient saliency and symbolic regression then inspired a truncation of the Landau-Ginzburg model formula for the Hodge numbers of any dimensional Calabi-Yau constructed in this way. The approximation always provides a tight lower bound, is shown to be dramatically quicker to compute (with compute times reduced by up to four orders of magnitude), and gives remarkably accurate results for systems with large weights. Additionally, complementary datasets of weight systems satisfying the necessary but insufficient conditions for transversality were constructed, including considerations of the interior point, reflexivity, and intradivisibility properties. Overall producing a classification of this weight system landscape, further confirmed with machine learning methods. Using the knowledge of this classification, and the properties of the presented approximation, a novel dataset of transverse weight systems consisting of 7 weights was generated for a sum of weights $\leq 200$; producing a new database of Calabi-Yau five-folds, with their respective topological properties computed. Further to this an equivalent database of candidate Calabi-Yau six-folds was generated with approximated Hodge numbers.
- [336] arXiv:2312.04872 (replaced) [pdf, ps, other]
-
Title: Formal Green's function theory in non-Hermitian lattice systemsComments: 14 pages, 10 figures, pre-proof versionJournal-ref: Phys. Rev. B 109, 205407 (2024)Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph)
In this paper, we employ the generalized Bloch theory to rediscover the generalized Brillouin zone theory and follow this way to obtain the Green's function of the non-Hermitian system. We focus on a classical chiral model and give the exact expression of the Green's function for a finite-size system and the formal expression of the Green's function suitable for infinite size. Based on these results, we further derive the correlation matrix and validate it numerically against direct calculations for a system of size 40. The numerical results show the accuracy of our exact expression and the high fidelity of our formal expression.
- [337] arXiv:2312.15126 (replaced) [pdf, ps, other]
-
Title: The Dirac Delta as a Singular Potential for the 2D Schrodinger EquationComments: 10 pagesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Functional Analysis (math.FA); Spectral Theory (math.SP)
In the framework of distributionally generalized quantum theory, the object $H\psi$ is defined as a distribution. The mathematical significance is a mild generalization for the theory of para- and pseudo-differential operators (as well as a generalization of the weak eigenvalue problem), where the $\psi$-do symbol (which is not a proper linear operator in this generalized case) can have its coefficient functions take on singular distributional values. Here, a distribution is said to be singular if it is not L$^p(\mathbb{R}^d)$ for any $p\geq 1$. Physically, the significance is a mathematically rigorous method, which does not rely upon renormalization or regularization of any kind, while producing bound state energy results in agreement with the literature. In addition, another benefit is that the method does not rely upon self-adjoint extensions of the Laplace operator. This is important when the theory is applied to non-Schrodinger systems, as is the case for the Dirac equation and a necessary property of any finite rigorous version of quantum field theory. The distributional interpretation resolves the need to evaluate a wave function at a point where it fails to be defined. For $d=2$, this occurs as $K_o(a|x|)\delta(x)$, where $K_o$ is the zeroth order MacDonald function. Finally, there is also the identification of a missing anomalous length scale, owing to the scale invariance of the formal symbol(ic) Hamiltonian, as well as the common identity for the logarithmic function, with $a,\,b\in\mathbb{R}^+$, $\log(ab)=\log(a)+\log(b)$, which loses unitlessness in its arguments. Consequently, the energy or point spectrum is generalized as a family (set indexed by the continuum) of would-be spectral values, called the C-spectrum.
- [338] arXiv:2312.17712 (replaced) [pdf, ps, html, other]
-
Title: The Euclidean-hyperboloidal foliation method. Application to f(R) modified gravityComments: 46 pagesSubjects: General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP)
This paper is a part of a series devoted to the Euclidean-hyperboloidal foliation method introduced by the authors for investigating the global existence problem associated with nonlinear systems of coupled wave-Klein-Gordon equations with small data. This method was developed especially for investigating the initial value problem for the Einstein-massive field system in wave gauge. Here, we study the (fourth-order) field equations of f(R) modified gravity and investigate the global dynamical behavior of the gravitational field in the near-Minkowski regime. We establish the existence of a globally hyperbolic Cauchy development approaching Minkowski spacetime (in spacelike, null, and timelike directions), when the initial data set is sufficiently close to an asymptotically Euclidean and spacelike hypersurface in Minkowski spacetime. We cast the (fourth-order) f(R)-field equations in the form of a second-order wave-Klein-Gordon system, which has an analogous structure to the Einstein-massive field system but, in addition, involves a (possibly small) effective mass parameter. We establish the nonlinear stability of the Minkowski spacetime in the context of f(R) gravity, when the integrand f(R) in the action functional can be taken to be arbitrarily close to the integrand R of the standard Hilbert-Einstein action.
- [339] arXiv:2401.00097 (replaced) [pdf, ps, html, other]
-
Title: Recursive identification with regularization and on-line hyperparameters estimationComments: https://hal.science/hal-04337419Subjects: Methodology (stat.ME); Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper presents a regularized recursive identification algorithm with simultaneous on-line estimation of both the model parameters and the algorithms hyperparameters. A new kernel is proposed to facilitate the algorithm development. The performance of this novel scheme is compared with that of the recursive least squares algorithm in simulation.
- [340] arXiv:2402.10977 (replaced) [pdf, ps, other]
-
Title: Generative AI and Process Systems Engineering: The Next FrontierSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Optimization and Control (math.OC)
This article explores how emerging generative artificial intelligence (GenAI) models, such as large language models (LLMs), can enhance solution methodologies within process systems engineering (PSE). These cutting-edge GenAI models, particularly foundation models (FMs), which are pre-trained on extensive, general-purpose datasets, offer versatile adaptability for a broad range of tasks, including responding to queries, image generation, and complex decision-making. Given the close relationship between advancements in PSE and developments in computing and systems technologies, exploring the synergy between GenAI and PSE is essential. We begin our discussion with a compact overview of both classic and emerging GenAI models, including FMs, and then dive into their applications within key PSE domains: synthesis and design, optimization and integration, and process monitoring and control. In each domain, we explore how GenAI models could potentially advance PSE methodologies, providing insights and prospects for each area. Furthermore, the article identifies and discusses potential challenges in fully leveraging GenAI within PSE, including multiscale modeling, data requirements, evaluation metrics and benchmarks, and trust and safety, thereby deepening the discourse on effective GenAI integration into systems analysis, design, optimization, operations, monitoring, and control. This paper provides a guide for future research focused on the applications of emerging GenAI in PSE.
- [341] arXiv:2403.02215 (replaced) [pdf, ps, html, other]
-
Title: Joint Parameter and Parameterization Inference with Uncertainty Quantification through Differentiable ProgrammingComments: Accepted at ICLR 2024 Workshop on AI4Differential Equations in ScienceSubjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD); Atmospheric and Oceanic Physics (physics.ao-ph)
Accurate representations of unknown and sub-grid physical processes through parameterizations (or closure) in numerical simulations with quantified uncertainty are critical for resolving the coarse-grained partial differential equations that govern many problems ranging from weather and climate prediction to turbulence simulations. Recent advances have seen machine learning (ML) increasingly applied to model these subgrid processes, resulting in the development of hybrid physics-ML models through the integration with numerical solvers. In this work, we introduce a novel framework for the joint estimation of physical parameters and machine learning parameterizations with uncertainty quantification. Our framework incorporates online training and efficient Bayesian inference within a high-dimensional parameter space, facilitated by differentiable programming. This proof of concept underscores the substantial potential of differentiable programming in synergistically combining machine learning with differential equations, thereby enhancing the capabilities of hybrid physics-ML modeling.
- [342] arXiv:2403.03542 (replaced) [pdf, ps, other]
-
Title: DPOT: Auto-Regressive Denoising Operator Transformer for Large-Scale PDE Pre-TrainingZhongkai Hao, Chang Su, Songming Liu, Julius Berner, Chengyang Ying, Hang Su, Anima Anandkumar, Jian Song, Jun ZhuSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
Pre-training has been investigated to improve the efficiency and performance of training neural operators in data-scarce settings. However, it is largely in its infancy due to the inherent complexity and diversity, such as long trajectories, multiple scales and varying dimensions of partial differential equations (PDEs) data. In this paper, we present a new auto-regressive denoising pre-training strategy, which allows for more stable and efficient pre-training on PDE data and generalizes to various downstream tasks. Moreover, by designing a flexible and scalable model architecture based on Fourier attention, we can easily scale up the model for large-scale pre-training. We train our PDE foundation model with up to 0.5B parameters on 10+ PDE datasets with more than 100k trajectories. Extensive experiments show that we achieve SOTA on these benchmarks and validate the strong generalizability of our model to significantly enhance performance on diverse downstream PDE tasks like 3D data. Code is available at \url{this https URL}.
- [343] arXiv:2403.18007 (replaced) [pdf, ps, other]
-
Title: Typical thermalization of low-entanglement statesComments: 6+15 pages, two figuresSubjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
Proving thermalization from the unitary evolution of a closed quantum system is one of the oldest questions that is still nowadays only partially resolved. Several efforts have led to various formulations of what is called the eigenstate thermalization hypothesis, which leads to thermalization under certain conditions on the initial states. These conditions, however, are sensitive to the precise formulation of the hypothesis. In this work, we focus on the important case of low entanglement initial states, which are operationally accessible in many natural physical settings, including experimental schemes for testing thermalization and for quantum simulation. We prove thermalization of these states under precise conditions that have operational significance. More specifically, motivated by arguments of unavoidable finite resolution, we define a random energy smoothing on local Hamiltonians that leads to local thermalization when the initial state has low entanglement. Finally we show that such a transformation affects neither the Gibbs state locally nor, under generic smoothness conditions on the spectrum, the short-time dynamics.
- [344] arXiv:2404.08556 (replaced) [pdf, ps, html, other]
-
Title: Quantum entropy couples matter with geometryComments: (29 pages, 1 figure)Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We propose a theory for coupling matter fields with discrete geometry on higher-order networks, i.e. cell complexes. The key idea of the approach is to associate to a higher-order network the quantum entropy of its metric. Specifically we propose an action given by the quantum relative entropy between the metric of the higher-order network and the metric induced by the matter and gauge fields. The induced metric is defined in terms of the topological spinors and the discrete Dirac operators. The topological spinors, defined on nodes, edges and higher-dimensional cells, encode for the matter fields. The discrete Dirac operators act on topological spinors, and depend on the metric of the higher-order network as well as on the gauge fields via a discrete version of the minimal substitution. We derive the coupled dynamical equations for the metric, the matter and the gauge fields, providing an information theory principle to obtain the field theory equations in discrete curved space.
- [345] arXiv:2404.17039 (replaced) [pdf, ps, html, other]
-
Title: Differentiating Through Linear SolversSubjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)
Computer programs containing calls to linear solvers are a known challenge for automatic differentiation. Previous publications advise against differentiating through the low-level solver implementation, and instead advocate for high-level approaches that express the derivative in terms of a modified linear system that can be solved with a separate solver call. Despite this ubiquitous advice, we are not aware of prior work comparing the accuracy of both approaches. With this article we thus empirically study a simple question: What happens if we ignore common wisdom, and differentiate through linear solvers?