Mathematics
- [1] arXiv:2405.04552 [pdf, ps, html, other]
-
Title: Nonstandard arguments for results about infinite systems of equations in infinitely many variablesSubjects: Logic (math.LO)
Short nonstandard proofs are given for some results about infinite systems of equations in infinitely many variables.
- [2] arXiv:2405.04586 [pdf, ps, html, other]
-
Title: Bivariate $P$- and $Q$-polynomial structures of the association schemes based on attenuated spacesSubjects: Combinatorics (math.CO)
The bivariate $P$- and $Q$-polynomial structures of association schemes based on attenuated spaces are examined using recurrence and difference relations of the bivariate polynomials which form the eigenvalues of the scheme. These bispectral properties are obtained from contiguity relations of univariate dual $q$-Hahn and affine $q$-Krawtchouk polynomials. The bispectral algebra associated to the bivariate polynomials is investigated, as well as the subconstituent algebra of the schemes. The properties of the schemes are compared to those of the non-binary Johnson schemes through a limit.
- [3] arXiv:2405.04588 [pdf, ps, html, other]
-
Title: The Wedderburn-Artin TheoremComments: 7 pagesSubjects: Rings and Algebras (math.RA)
The celebrated Wedderburn-Artin theorem states that a simple left artinian ring is isomorphic to the ring of matrices over a division ring. We give a short and self-contained proof which avoids the use of modules.
- [4] arXiv:2405.04615 [pdf, ps, other]
-
Title: Unique continuation for the wave equation based on a discontinuous Galerkin time discretizationSubjects: Numerical Analysis (math.NA)
We consider a stable unique continuation problem for the wave equation where the initial data is lacking and the solution is reconstructed using measurements in some subset of the bulk domain. Typically fairly sophisticated space-time methods have been used in previous work to obtain stable and accurate solutions to this reconstruction problem. Here we propose to solve the problem using a standard discontinuous Galerkin method for the temporal discretization and continuous finite elements for the space discretization. Error estimates are established under a geometric control condition. We also investigate two preconditioning strategies which can be used to solve the arising globally coupled space-time system by means of simple time-stepping procedures. Our numerical experiments test the performance of these strategies and highlight the importance of the geometric control condition for reconstructing the solution beyond the data domain.
- [5] arXiv:2405.04616 [pdf, ps, html, other]
-
Title: Symmetrically pseudo-amenable Banach algebrasSubjects: Functional Analysis (math.FA)
We introduce and study a new notion of amenability called symmetric pseudo-amenability. We obtain some properties of symmetrically pseudo-amenable Banach algebras and with examples, we compare this type of amenability with some other types of amenability. We also provide some special classes of symmetrically pseudo-amenable Banach algebras. Finally, Jordan and Lie derivations from a class of Banach algebras into appropriate Banach bimodules are investigated using the notion of symmetric pseudo-amenability.
- [6] arXiv:2405.04617 [pdf, ps, html, other]
-
Title: Excluding a clique or a biclique in graphs of bounded induced matching treewidthTara Abrishami, Marcin Briański, Jadwiga Czyżewska, Rose McCarty, Martin Milanič, Paweł Rzążewski, Bartosz WalczakSubjects: Combinatorics (math.CO)
When $\mathcal{T}$ is a tree decomposition of a graph $G$, we write $\mu(\mathcal{T})$ for the maximum size of an induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. The induced matching treewidth of a graph $G$ is the minimum value of $\mu(\mathcal{T})$ over all tree decompositions $\mathcal{T}$ of~$G$. Classes of graphs with bounded induced matching treewidth admit polynomial-time algorithms for a number of problems, including INDEPENDENT SET, $k$-COLORING, ODD CYCLE TRANSVERSAL, and FEEDBACK VERTEX SET. In this paper, we focus on structural properties of such classes.
First, we show that graphs with bounded induced matching treewidth that exclude a fixed biclique as an induced subgraph have bounded tree-independence number, which is another well-studied parameter defined in terms of tree decompositions. This sufficient condition about excluding a biclique is also necessary, as bicliques have unbounded tree-independence number. Second, we show that graphs with bounded induced matching treewidth that exclude a fixed clique have bounded chromatic number. That is, classes of graphs with bounded induced matching treewidth are $\chi$-bounded. Our results confirm two conjectures from a recent manuscript of Lima et al. [arXiv 2024]. - [7] arXiv:2405.04618 [pdf, ps, html, other]
-
Title: Underground Freight Transportation for Package Delivery in Urban EnvironmentsSubjects: Optimization and Control (math.OC)
The use of underground freight transportation (UFT) is gaining attention because of its ability to quickly move freight to locations in urban areas while reducing road traffic and the need for delivery drivers. Since packages are transported through the tunnels by electric motors, the use of tunnels is also environmentally friendly. Unlike other UFT projects, we examine the use of tunnels to transport individual orders, motivated by the last mile delivery of goods from e-commerce providers. The use of UFT for last mile delivery requires more complex network planning than for direct lines that have previously been considered for networks connecting large cities. We introduce a new network design problem based on this delivery model and transform the problem into a fixed charge multicommodity flow problem with additional constraints. We show that this problem, the nd-UFT, is NP-hard, and provide an exact solution method for solving large-scale instances. Our solution approach exploits the combinatorial sub-structures of the problem in a cutting planes fashion, significantly reducing the time to find optimal solutions on most instances compared to a MIP. We provide computational results for real urban environments to build a set of insights into the structure of such networks and evaluate the benefits of such systems. We see that a budget of only 45 miles of tunnel can remove 42% of packages off the roads in Chicago and 32% in New York City. We estimate the fixed and operational costs for implementing UFT systems and break them down into a per package cost. Our estimates indicate over a 40% savings from using a UFT over traditional delivery models. This indicates that UFT systems for last mile delivery are a promising area for future research.
- [8] arXiv:2405.04622 [pdf, ps, html, other]
-
Title: Bounds on the Statistical Leakage-Resilience of Shamir's Secret SharingSubjects: Information Theory (cs.IT)
Secret sharing is an instrumental tool for sharing secret keys in distributed systems. In a classical threshold setting, this involves a dealer who has a secret/key, a set of parties/users to which shares of the secret are sent, and a threshold on the number of users whose presence is needed in order to recover the secret. In secret sharing, secure links with no leakage are often assumed between the involved parties. However, when the users are nodes in a communication network and all the links are physical links, e.g., wireless, such assumptions are not valid anymore. In order to study this critical problem, we propose a statistical leakage model of secret sharing, where some noisy versions of all the secret shares might be independently leaked to an adversary. We then study the resilience of the seminal Shamir's secret sharing scheme with statistical leakage, and bound certain measures of security (i.e., semantic security, mutual information security), given other parameters of the system including the amount of leakage from each secret share. We show that for an extreme scenario of Shamir's scheme, in particular when the underlying field characteristic is $2$, the security of each bit of the secret against leakage improves exponentially with the number of users. To the best of our knowledge, this is the first attempt towards understanding secret sharing under general statistical noisy leakage.
- [9] arXiv:2405.04625 [pdf, ps, html, other]
-
Title: On Geometric ImplicationsComments: 32 pagesSubjects: Logic (math.LO)
It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in [1]. Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category S, provided that S has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication.
- [10] arXiv:2405.04628 [pdf, ps, html, other]
-
Title: Wasserstein Proximal Coordinate Gradient AlgorithmsSubjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
Motivated by approximation Bayesian computation using mean-field variational approximation and the computation of equilibrium in multi-species systems with cross-interaction, this paper investigates the composite geodesically convex optimization problem over multiple distributions. The objective functional under consideration is composed of a convex potential energy on a product of Wasserstein spaces and a sum of convex self-interaction and internal energies associated with each distribution. To efficiently solve this problem, we introduce the Wasserstein Proximal Coordinate Gradient (WPCG) algorithms with parallel, sequential and random update schemes. Under a quadratic growth (QC) condition that is weaker than the usual strong convexity requirement on the objective functional, we show that WPCG converges exponentially fast to the unique global optimum. In the absence of the QG condition, WPCG is still demonstrated to converge to the global optimal solution, albeit at a slower polynomial rate. Numerical results for both motivating examples are consistent with our theoretical findings.
- [11] arXiv:2405.04631 [pdf, ps, html, other]
-
Title: A new modular plethystic $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong \Delta^{(2,1^{N-1})} \mathrm{Sym}^d E$Comments: 16 pages, 1 figureSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
Let $\mathbb{F}$ be a field and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{F})$. Given a vector space $V$, let $\Delta^{(2,1^{N-1})}V$ be the kernel of the multiplication map $\bigwedge^N V \otimes V \rightarrow \bigwedge^{N+1}V$. We construct an explicit $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong \Delta^{(2,1^{N-1})} \mathrm{Sym}^d E$. This $\mathrm{SL}_2(\mathbb{F})$-isomorphism is a modular lift of the $q$-binomial identity $q^{\frac{N(N-1)}{2}}[N]_q \binom{d+1}{N+1}_q = s_{(2,1^{N-1})}(1,q,\ldots, q^d)$, where $s_{(2,1^{N-1})}$ is the Schur function for the partition $(2,1^{N-1})$. This identity, which follows from our main theorem, implies the existence of an isomorphism when $\mathbb{F}$ is the field of complex numbers but it is notable, and not typical of the general case, that there is an explicit isomorphism defined in a uniform way for any field.
- [12] arXiv:2405.04638 [pdf, ps, html, other]
-
Title: Additive triples in groups of odd prime orderComments: 10 pagesSubjects: Combinatorics (math.CO)
Let $p$ be an odd prime. For nontrivial proper subsets $A,B$ of $\mathbb{Z}_p$ of cardinality $s,t$, respectively, we count the number $r(A,B,B)$ of additive triples, namely elements of the form $(a, b, a+b)$ in $A \times B \times B$. For given $s,t$, what is the spectrum of possible values for $r(A,B,B)$? In the special case $A=B$, the additive triple is called a Schur triple. Various authors have given bounds on the number $r(A,A,A)$ of Schur triples, and shown that the lower and upper bound can each be attained by a set $A$ that is an interval of $s$ consecutive elements of $\mathbb{Z}_p$. However, there are values of $p,s$ for which not every value between the lower and upper bounds is attainable. We consider here the general case where $A,B$ can be distinct. We use Pollard's generalization of the Cauchy-Davenport Theorem to derive bounds on the number $r(A,B,B)$ of additive triples. In contrast to the case $A=B$, we show that every value of $r(A,B,B)$ from the lower bound to the upper bound is attainable: each such value can be attained when $B$ is an interval of $t$ consecutive elements of $\mathbb{Z}_p$.
- [13] arXiv:2405.04641 [pdf, ps, html, other]
-
Title: Kripke-like models of Set Theory in Modal Residuated LogicSubjects: Logic (math.LO)
We generalize Fitting's work on Intuitionistic Kripke models of Set Theory using Ono and Komori's Residuated Kripke models. Based on these models, we provide a generalization of the von Neumann hierarchy in the context of Modal Residuated Logic and prove a translation of formulas between it and a suited Heyting valued model. We also propose a notion of universe of constructible sets in Modal Residuated Logic and discuss some aspects of it.
- [14] arXiv:2405.04649 [pdf, ps, html, other]
-
Title: The Smith Fiber Sequence of Invertible Field TheoriesArun Debray, Sanath K. Devalapurkar, Cameron Krulewski, Yu Leon Liu, Natalia Pacheco-Tallaj, Ryan ThorngrenComments: 73 pages, 3 figures. Originally posted as the mathematical sections of arXiv:2309.16749. This version features new content in sections 6 and 8Subjects: Algebraic Topology (math.AT); Mathematical Physics (math-ph)
Smith homomorphisms are maps between bordism groups that change both the dimension and the tangential structure. We give a completely general account of Smith homomorphisms, unifying the many examples in the literature. We provide three definitions of Smith homomorphisms, including as maps of Thom spectra, and show they are equivalent. Using this, we identify the cofiber of the spectrum-level Smith map and extend the Smith homomorphism to a long exact sequence of bordism groups, which is a powerful computation tool. We discuss several examples of this long exact sequence, relating them to known constructions such as Wood's and Wall's sequences. Furthermore, taking Anderson duals yields a long exact sequence of invertible field theories, which has a rich physical interpretation. We developed the theory in this paper with applications in mind to symmetry breaking in quantum field theory, which we study in a companion paper.
- [15] arXiv:2405.04666 [pdf, ps, html, other]
-
Title: Boundedness in a chemotaxis system with weakly singular sensitivity in dimension two with arbitrary sub-quadratic degradation sourcesSubjects: Analysis of PDEs (math.AP)
We study the global existence and boundedness of solutions to a chemotaxis system with weakly singular sensitivity and sub-logistic sources in a two dimensional domain. X. Zhao (Nonlinearity; 2023; 36; 3909-3938 ) showed that the logistic degradation, $-\mu u^2$, can prevent blow-up under the largeness assumption on $\mu$. In this paper, we improve the result by replacing the quadratic degradation by sub-logistic one, $-\frac{\mu u^2}{\ln^\beta(u+e)}$ with $\beta \in (0,1)$, and removing the largeness assumption on $\mu$.
- [16] arXiv:2405.04667 [pdf, ps, html, other]
-
Title: Abundance of periodic orbits for typical impulsive flowsSubjects: Dynamical Systems (math.DS)
Impulsive dynamical systems, modeled by a continuous semiflow and an impulse function, may be discontinuous and may have non-intuitive topological properties, as the non-invariance of the non-wandering set or the non-existence of invariant probability measures. In this paper we study dynamical features of impulsive flows parameterized by the space of impulses. We prove that impulsive semiflows determined by a C1-Baire generic impulse are such that the set of hyperbolic periodic orbits is dense in the set of non-wandering points which meet the impulsive region. As a consequence, we provide sufficient conditions for the non-wandering set of a typical impulsive semiflow (except the discontinuity set) to be invariant. Several applications are given concerning impulsive semiflows obtained from billiard, Anosov and geometric Lorenz flows.
- [17] arXiv:2405.04668 [pdf, ps, other]
-
Title: Energy Bounds for Discontinuous Galerkin Spectral Element Approximations of Well-Posed Overset Grid Problems for Hyperbolic SystemsSubjects: Numerical Analysis (math.NA)
We show that even though the Discontinuous Galerkin Spectral Element Method is stable for hyperbolic boundary-value problems, and the overset domain problem is well-posed in an appropriate norm, the energy of the approximation is bounded by data only for fixed polynomial order and time. In the absence of dissipation, coupling of the overlapping domains is destabilizing by allowing positive eigenvalues in the system to be integrated in time. This coupling can be stabilized in one space dimension by using the upwind numerical flux. To help provide additional dissipation, we introduce a novel penalty method that applies dissipation at arbitrary points within the overlap region and depends only on the difference between the solutions. We present numerical experiments in one space dimension to illustrate the implementation of the well-posed penalty formulation, and show spectral convergence of the approximations when dissipation is applied.
- [18] arXiv:2405.04670 [pdf, ps, other]
-
Title: Isomorphisms between random $d$-hypergraphsComments: 13 pages, 1 figureSubjects: Combinatorics (math.CO); Probability (math.PR)
We characterize the size of the largest common induced subgraph of two independent random uniform $d$-hypergraphs of different sizes with $d\geq 3$. More precisely, its distribution is asymptotically concentrated on two points, and we obtain as a consequence a phase transition for the inclusion of the smallest hypergraph in the largest one. This generalizes to uniform random $d$-hypergraphs the results of Chatterjee and Diaconis for uniform random graphs.
Our proofs rely on the first and second moment methods. - [19] arXiv:2405.04672 [pdf, ps, other]
-
Title: Enhanced Lieb-Robinson bounds for a class of Bose-Hubbard type HamiltoniansComments: 41 pages, 2 figuresSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Quantum Physics (quant-ph)
Several recent works have considered Lieb-Robinson bounds (LRBs) for Bose-Hubbard-type Hamiltonians. For certain special classes of initial states (e.g., states with particle-free regions or perturbations of stationary states), the velocity of information propagation was bounded by a constant in time, $v\leq C$, similarly to quantum spin systems. However, for the more general class of bounded-density initial states, the first-named author together with Vu and Saito derived the velocity bound $v\leq C t^{D-1}$, where $D$ is the spatial lattice dimension. For $D\geq 2$, this bound allows for accelerated information propagation. It has been known since the work of Eisert and Gross that some systems of lattice bosons are capable of accelerated information propagation. It is therefore a central question to understand under what conditions the bound $v\leq C t^{D-1}$ can be enhanced. Here, we prove that additional physical constraints, translation-invariance and a $p$-body repulsion of the form $n_x^p$ with $p>D+1$, lead to a LRB with $v\leq C t^{\frac{D}{p-D-1}}$ for any initial state of bounded energy density. We also identify examples of quantum states which show that no further enhancement is possible without using additional dynamical constraints.
- [20] arXiv:2405.04673 [pdf, ps, other]
-
Title: Singularity Structures of Linear Inviscid Damping in a ChannelSubjects: Analysis of PDEs (math.AP)
This paper studies singularity structures of the linear inviscid damping of two-dimensional Euler equations in a finite periodic channel. We introduce a recursive definition of singularity structures which characterize the singularities of the spectrum density function from different sources: the free part and the boundary part of the Green function. As an application, we demonstrate that the stream function exhibits smoothness away from the channel's boundary, yet it presents singularities in close proximity to the boundary. The singularities arise due to the interaction of boundary and interior singularities of the spectrum density function. We also show that the behavior of the initial data and background flow have an impact on the regularity of different components of the stream function.
- [21] arXiv:2405.04676 [pdf, ps, html, other]
-
Title: Measures of maximal entropy for non-uniformly hyperbolic mapsSubjects: Dynamical Systems (math.DS)
For $C^{1+}$ maps, possibly non-invertible and with singularities, we prove that each homoclinic class of an adapted hyperbolic measure carries at most one adapted hyperbolic measure of maximal entropy. We then apply this to study the finiteness/uniqueness of such measures in several different settings: finite horizon dispersing billiards, codimension one partially hyperbolic endomorphisms with "large" entropy, robustly non-uniformly hyperbolic volume-preserving endomorphisms as in Andersson-Carrasco-Saghin, and strongly transitive non-uniformly expanding maps.
- [22] arXiv:2405.04683 [pdf, ps, html, other]
-
Title: Multicomplex Ideals, Modules and Hilbert SpacesComments: 28 pagesSubjects: Mathematical Physics (math-ph); Rings and Algebras (math.RA)
In this article we study some algebraic aspects of multicomplex numbers $\mathbb M_n$. A canonical idempotent representation defined in terms of $n$ multicomplex conjugates is introduced. This representation facilitates computations in this algebra and makes it possible to introduce a generalized conjugacy, i.e. a composition of the $n$ multicomplex conjugates, as well as a multicomplex norm. The ideals of the ring of multicomplex numbers are then studied. Multicomplex free modules and their linear operators are introduced. Finally, we develop multicomplex Hilbert spaces.
- [23] arXiv:2405.04688 [pdf, ps, html, other]
-
Title: On existence of solutions to non-convex minimization problemsSubjects: Optimization and Control (math.OC)
We provide new sufficient conditions for the finiteness of the optimal value and existence of solutions to a general problem of minimizing a proper closed function over a nonempty closed set. The conditions require an asymptotically bounded decay of a function, a relaxation of p-supercoercivity, and a certain relation for the asymptotic cone of the constraint set and the asymptotic function of the objective function. Our analysis combines these conditions with a regularization technique. We refine the notion of retractive directions of a set, extend its definition to functions, and establish some basic relations for such directions for both sets and functions. Using these tools, we provide existence of solutions results that generalize many of the results in the literature for both non-convex and convex problems.
- [24] arXiv:2405.04694 [pdf, ps, html, other]
-
Title: Affine subspaces of matrices with rank in a rangeComments: 14 pagesSubjects: Rings and Algebras (math.RA)
For every $m,n \in \mathbb{N}$ and every field $K$, let $M(m \times n, K)$ be the vector space of the $(m \times n)$-matrices over $K$ and let $A(n,K)$ be the vector space of the antisymmetric $(n \times n)$-matrices over $K$. Let $r, s \in \N $ with $ s \leq r$.
Define $${\cal A}^K(m \times n;s,r)=
\left\{ \begin{array}{ll}
S \;| & \; S \; \mbox{ affine subspace of $M(m \times n, K)$ such that }
& s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \;, A \in S \} \end{array} \right\}$$
$${\cal A}_{antisym}^K(n;s,r)= \left\{ \begin{array}{ll}
S \;| & \; S \; \mbox{ affine subspace of $A(n,K)$ such that }
& s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}, $$
$${\cal A}_{echel}^K(m \times n;s,r)= \left\{ \begin{array}{ll}
S \;| & \; S \; \mbox{ affine subspace of $M( m \times n,K)$ such that } \\ & A \; \mbox{ is in row echelon form } \forall A \in S
& s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}. $$
In this paper we prove the following formulas: if $|K| \geq r+2$ and the characteristic of $K$ is different from $2$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K(m \times n; s,r)\} = r \max \{m,n\} - \binom{s+1}{2}$$ and $$ \max \{\dim(S) \; |\; S \in {\cal A}_{antisym}^K( n; s,r) \} \leq (n-1) \frac{r}{2} - \frac{s^2}{4};$$ if $|K| \geq m+1$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K_{echel}(m \times n; r,r) \}= r n - \frac{r(r+1)}{2}.$$ - [25] arXiv:2405.04698 [pdf, ps, html, other]
-
Title: A note on Fourier coefficients of Hecke eigenforms in short intervalsComments: To appear in Monatshefte für MathematikSubjects: Number Theory (math.NT)
In this article, we investigate large prime factors of Fourier coefficients of non-CM normalized cuspidal Hecke eigenforms in short intervals. One of the new ingredients involves deriving an explicit version of Chebotarev density theorem in an interval of length $\frac{x}{(\log x)^A}$ for any $A>0$, modifying an earlier work of Balog and Ono. Furthermore, we need to strengthen a work of Rouse-Thorner to derive a lower bound for the largest prime factor of Fourier coefficients in an interval of length $x^{1/2 + \epsilon}$ for any $\epsilon >0$.
- [26] arXiv:2405.04699 [pdf, ps, html, other]
-
Title: Algorithm and abstraction in formal mathematicsComments: 14 pages, 2 figures; extended abstract for an invited lecture at the 2024 International Congress on Mathematical SoftwareSubjects: History and Overview (math.HO)
I analyse differences in style between traditional prose mathematics writing and computer-formalised mathematics writing, presenting five case studies. I note two aspects where good style seems to differ between the two: in their incorporation of computation and of abstraction. I argue that this reflects a different mathematical aesthetic for formalised mathematics.
- [27] arXiv:2405.04701 [pdf, ps, html, other]
-
Title: The Enumerative Geometry and Arithmetic of Banana Nano-ManifoldsComments: Appendix with Mike RothSubjects: Algebraic Geometry (math.AG)
A banana manifold is a Calabi-Yau threefold fibered by Abelian surfaces whose singular fibers contain banana configurations: three rational curves meeting each other in two points. A nano-manifold is a Calabi-Yau threefold $X$ with very small Hodge numbers: $h^{1,1}(X)+h^{2,1}(X)\leq 6$. We construct four rigid banana nano-manifolds $\tilde{X}_N$, $N\in \{5,6,8,9 \}$, each with Hodge numbers given by $(h^{1,1},h^{2,1})=(4,0)$.
We compute the Donaldson-Thomas partition function for banana curve classes and show that the associated genus $g$ Gromov-Witten potential is a genus 2 meromorphic Siegel modular form of weight $2g-2$ for a certain discrete subgroup $P^{*}_{N} \subset Sp_{4}(\mathbb{R})$.
We also compute the weight 4 modular form whose $p$th Fourier coefficient is given by the trace of the action of Frobenius on $H^{3}_{et }(\tilde{X}_N ,{\mathbb{Q}}_{l})$ for almost all prime $p$. We observe that it is the unique weight 4 cusp form on $\Gamma_{0}(N)$. - [28] arXiv:2405.04703 [pdf, ps, html, other]
-
Title: A note on non-regular Bonnet-Myers Sharp GraphsSubjects: Combinatorics (math.CO)
Self-centred regular graphs which are Ollivier-Ricci Bonnet-Myers sharp have been completely classified. When the conditions of self-centeredness and regularity are removed it is an open problem on what the classification is. We present a complete classification of Bonnet-Myers sharp graphs with a diameter 2 and show that there exists Bonnet-Myers sharp graphs of diameter 3, 4 and 6 that belong to a family of graphs called symmetrical antitees.
- [29] arXiv:2405.04709 [pdf, ps, other]
-
Title: Quillen's Fundamental Spectral Sequences RevisitedSubjects: Commutative Algebra (math.AC)
Quillen's fundamental spectral sequences relate André-Quillen homology and cohomology to Tor and Ext functors. The five-term exact sequences arising from these spectral sequences are leveraged to characterize regular and complete intersection local rings. Despite their immense importance in the theory of André-Quillen homology and cohomology, these spectral sequences are not treated in the literature as they merit. A sketchy argument with gaps for a special case of the first spectral sequence appears in an unpublished manuscript of Quillen, while the second spectral sequence is only stated without proof in another paper of Quillen. A rigorous proof of the spectral sequences requires a delicate investigation of the subtle structures involved. The goal of this expository article is to present a comprehensive and detailed proof of Quillen's fundamental spectral sequences in a readable and well-structured manner.
- [30] arXiv:2405.04712 [pdf, ps, html, other]
-
Title: Tube Formulae for Generalized von Koch Fractals through Scaling Functional EquationsComments: 49 pages, 8 figures, for submission to J. Fractal GeomSubjects: Mathematical Physics (math-ph)
In this work, we provide a treatment of scaling functional equations in a general setting involving fractals arising from sufficiently nice self-similar systems in order to analyze the tube functions, tube zeta functions, and complex dimensions of relative fractal drums. Namely, we express the volume of a tubular neighborhood in terms of scaled copies of itself and a remainder term and then solve this expression by means of the tube zeta functions.
We then apply our methods to analyze these generalized von Koch fractals, which are a class of fractals that allow for different regular polygons and scaling ratios to be used in the construction of the standard von Koch curve and snowflake. In particular, we describe the volume of an inner tubular neighborhoods and the possible complex dimensions of such fractal snowflakes. - [31] arXiv:2405.04715 [pdf, ps, html, other]
-
Title: Causality Pursuit from Heterogeneous Environments via Neural Adversarial Invariance LearningComments: 47 pages, 5 figures with appendixSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Methodology (stat.ME); Machine Learning (stat.ML)
Statistics suffers from a fundamental problem, "the curse of endogeneity" -- the regression function, or more broadly the prediction risk minimizer with infinite data, may not be the target we wish to pursue. This is because when complex data are collected from multiple sources, the biases deviated from the interested (causal) association inherited in individuals or sub-populations are not expected to be canceled. Traditional remedies are of hindsight and restrictive in being tailored to prior knowledge like untestable cause-effect structures, resulting in methods that risk model misspecification and lack scalable applicability. This paper seeks to offer a purely data-driven and universally applicable method that only uses the heterogeneity of the biases in the data rather than following pre-offered commandments. Such an idea is formulated as a nonparametric invariance pursuit problem, whose goal is to unveil the invariant conditional expectation $m^\star(x)\equiv \mathbb{E}[Y^{(e)}|X_{S^\star}^{(e)}=x_{S^\star}]$ with unknown important variable set $S^\star$ across heterogeneous environments $e\in \mathcal{E}$. Under the structural causal model framework, $m^\star$ can be interpreted as certain data-driven causality in general. The paper contributes to proposing a novel framework, called Focused Adversarial Invariance Regularization (FAIR), formulated as a single minimax optimization program that can solve the general invariance pursuit problem. As illustrated by the unified non-asymptotic analysis, our adversarial estimation framework can attain provable sample-efficient estimation akin to standard regression under a minimal identification condition for various tasks and models. As an application, the FAIR-NN estimator realized by two Neural Network classes is highlighted as the first approach to attain statistically efficient estimation in general nonparametric invariance learning.
- [32] arXiv:2405.04720 [pdf, ps, other]
-
Title: Convergence Rate of the Hypersonic Similarity for Two-Dimensional Steady Potential Flows with Large DataComments: 47 pages, 11 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Pattern Formation and Solitons (nlin.PS)
We establish the optimal convergence rate of the hypersonic similarity for two-dimensional steady potential flows with {\it large data} past over a straight wedge in the $BV\cap L^1$ framework, provided that the total variation of the large data multiplied by $\gamma-1+\frac{a_{\infty}^2}{M_\infty^2}$ is uniformly bounded with respect to the adiabatic exponent $\gamma>1$, the Mach number $M_\infty$ of the incoming steady flow, and the hypersonic similarity parameter $a_\infty$. Our main approach in this paper is first to establish the Standard Riemann Semigroup of the initial-boundary value problem for the isothermal hypersonic small disturbance equations with large data and then to compare the Riemann solutions between two systems with boundary locally case by case. Based on them, we derive the global $L^1$--estimate between the two solutions by employing the Standard Riemann Semigroup and the local $L^1$--estimates. We further construct an example to show that the convergence rate is optimal.
- [33] arXiv:2405.04724 [pdf, ps, html, other]
-
Title: Legendrian knots and multi-crossingsComments: 9 pages, 6 figuresSubjects: Geometric Topology (math.GT)
It was shown in arXiv:1208.5742 that any smooth knot can be represented by an übercrossing projection, i.e. a knot projection with no crossings aside from a single multi-crossing. We extend this idea to Legendrian knots and investigate übercrossing and petal projections in the front and Lagrangian projections. We show that any Legendrian knot with an übercrossing projection in the front projection is smoothly isotopic to the unknot and we demonstrate how to compute the $tb$ and rotation numbers for petal projections in the Lagrangian projection.
- [34] arXiv:2405.04728 [pdf, ps, html, other]
-
Title: Degree sequence condition for Hamiltonicity in tough graphsSubjects: Combinatorics (math.CO)
Generalizing both Dirac's condition and Ore's condition for Hamilton cycles, Chvatal in 1972 established a degree sequence condition for the existence of a Hamilton cycle in a graph. Hoang in 1995 generalized Chvatal's degree sequence condition for 1-tough graphs and conjectured a t-tough analogue for any positive integer t at least 1. Hoang in the same paper verified his conjecture for t at most 3 and recently Hoang and Robin arXiv:2303.03479v2 verified the conjecture for t = 4. In this paper, we confirm the conjecture for all t at least 4.
- [35] arXiv:2405.04730 [pdf, ps, html, other]
-
Title: A rigidity property for a type of wave-Klein-Gordon systemComments: 29 pagesSubjects: Analysis of PDEs (math.AP)
In this paper we investigate the rigidity property of a wave component coupled in a wave-Klein-Gordon system. We prove that when the radiation field of the wave component vanishes at the null infinity, the initial data of this component also vanish, therefor there is no wave in the whole spacetime
- [36] arXiv:2405.04733 [pdf, ps, other]
-
Title: One-Bit Phase Retrieval: Optimal Rates and Efficient AlgorithmsSubjects: Information Theory (cs.IT)
In this paper, we study the sample complexity and develop efficient optimal algorithms for 1-bit phase retrieval: recovering a signal $\mathbf{x}\in\mathbb{R}^n$ from $m$ phaseless bits $\{\mathrm{sign}(|\mathbf{a}_i^\top\mathbf{x}|-\tau)\}_{i=1}^m$ generated by standard Gaussian $\mathbf{a}_i$s. By investigating a phaseless version of random hyperplane tessellation, we show that (constrained) hamming distance minimization uniformly recovers all unstructured signals with Euclidean norm bounded away from zero and infinity to the error $\mathcal{O}((n/m)\log(m/n))$, and $\mathcal{O}((k/m)\log(mn/k^2))$ when restricting to $k$-sparse signals. Both error rates are shown to be information-theoretically optimal, up to a logarithmic factor. Intriguingly, the optimal rate for sparse recovery matches that of 1-bit compressed sensing, suggesting that the phase information is non-essential for 1-bit compressed sensing. We also develop efficient algorithms for 1-bit (sparse) phase retrieval that can achieve these error rates. Specifically, we prove that (thresholded) gradient descent with respect to the one-sided $\ell_1$-loss, when initialized via spectral methods, converges linearly and attains the near optimal reconstruction error, with sample complexity $\mathcal{O}(n)$ for unstructured signals and $\mathcal{O}(k^2\log(n)\log^2(m/k))$ for $k$-sparse signals. Our proof is based upon the observation that a certain local (restricted) approximate invertibility condition is respected by Gaussian measurements. To show this, we utilize a delicate covering argument and derive tight concentration bounds for the directional gradients by properly conditioning on the index set of phaseless hyperplane separations, which may be of independent interests and useful for other related problems.
- [37] arXiv:2405.04737 [pdf, ps, other]
-
Title: Non-orientable 4-genus of torus knotsComments: 13 pages, 2 figuresSubjects: Geometric Topology (math.GT)
The non-orientable 4-genus of a knot $K$ in $S^{3}$, denoted $\gamma_4(K)$, measures the minimum genus of a non-orientable surface in $B^{4}$ bounded by $K$. We compute bounds for the non-orientable 4-genus of knots $T_{5, q}$ and $T_{6, q}$, extending previous research. Additionally, we provide a generalized, non-recursive formula for $d(S^{3}_{-1}(T_{p,q}))$, the $d$-invariant of -1-surgery on torus knots.
- [38] arXiv:2405.04738 [pdf, ps, html, other]
-
Title: Twisted tensor product, smooth DG algebras, and noncommutative resolutions of singular curvesComments: Dedicated to the blessed memory of Ludwig Dmitrievich Faddeev on the occasion of his 90th birthday, 27 pagesSubjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Rings and Algebras (math.RA)
New families of algebras and DG algebras with two simple modules are introduced and described. Using the twisted tensor product operation, we prove that such algebras have finite global dimension, and the resulting DG algebras are smooth. This description allows us to show that some of these DG algebras determine smooth proper noncommutative curves that provide smooth minimal noncommutative resolutions for singular rational curves.
- [39] arXiv:2405.04745 [pdf, ps, other]
-
Title: Multiplier ideals of meromorphic functions in dimension twoComments: 12 pages, 0 figuresSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
We provide an effective method to compute multiplier ideals of meromorphic functions in dimension two. We also prove that meromorphic functions only have integer jumping numbers after reaching some threshold.
- [40] arXiv:2405.04747 [pdf, ps, other]
-
Title: Graded Betti numbers of powers of path ideals of pathsSubjects: Commutative Algebra (math.AC)
Let $I_{n,m} = (x_1\cdots x_{m},x_2 \cdots x_{m+1},\ldots,x_{n+1}x_{n+2}\cdots x_{n+m})$ be the $m$-path ideal of a path of length $n + m-1$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{n+m}]$. We compute all the graded Betti numbers of all powers of $I_{n,m}$.
- [41] arXiv:2405.04748 [pdf, ps, other]
-
Title: On diagonal digraphs, Koszul algebras and triangulations of homology spheresSubjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT); Combinatorics (math.CO); Representation Theory (math.RT)
We present the magnitude homology of a finite digraph $G$ as a certain subquotient of its path algebra. We use this to prove that the second magnitude homology group ${\rm MH}_{2,\ell}(G,\mathbb{Z})$ is a free abelian group for any $\ell$, and to describe its rank. This allows us to give a condition, denoted by $(\mathcal{V}_2)$, equivalent to vanishing of ${\rm MH}_{2,\ell}(G,\mathbb{Z})$ for $\ell>2.$ Recall that a digraph is called diagonal, if its magnitude homology is concentrated in diagonal degrees. Using the condition $(\mathcal V_2),$ we show that the GLMY-fundamental group of a diagonal (undirected) graph is trivial. In other words, the two-dimensional CW-complex obtained from a diagonal graph by attaching 2-cells to all squares and triangles of the graph is simply connected. We also give an interpretation of diagonality in terms of Koszul algebras: a digraph $G$ is diagonal if and only if the distance algebra $\sigma G$ is Koszul for any ground field; and if and only if $G$ satisfies $(\mathcal{V}_2)$ and the path cochain algebra $\Omega^\bullet(G)$ is Koszul for any ground field. Besides, we show that the path cochain algebra $\Omega^\bullet(G)$ is quadratic for any $G.$ To obtain a source of examples of (non-)diagonal digraphs, we study the extended Hasse diagram $\hat G_K$ of a simplicial complex $K$. For a combinatorial triangulation $K$ of a piecewise-linear manifold $M,$ we express the non-diagonal part of the magnitude homology of $\hat G_K$ via the homology of $M$. As a corollary we obtain that, if $K$ is a combinatorial triangulation of a closed piecewise-linear manifold $M$, then $\hat G_K$ is diagonal if and only if $M$ is a homology sphere.
- [42] arXiv:2405.04770 [pdf, ps, other]
-
Title: Regularization for multiple Eisenstein series of level $N$Comments: 27 pagesSubjects: Number Theory (math.NT)
Bachmann and Tasaka discovered a relationship between multiple Eisenstein series (MES) of level 1 and formal iterated integrals corresponding to multiple zeta value (MZV). They also constructed shuffle regularized MES of level 1, which satisfies the shuffle relation that is same as multiple zeta values. Bachmann also constructed harmonic regularized MES. In this paper, we expand their results for arbitrary level and give some linear relations among MES of level N.
- [43] arXiv:2405.04780 [pdf, ps, html, other]
-
Title: Strictification of $\infty$-Groupoids is ComonadicSubjects: Algebraic Topology (math.AT)
We investigate the universal strictification adjunction from weak $\infty$-groupoids (modeled as simplicial sets) to strict $\infty$-groupoids (modeled as simplicial T-complexes). We prove that any simplicial set can be recovered up to weak homotopy equivalence as the totalization of its canonical cosimplicial resolution induced by this adjunction. This generalizes the fact due to Bousfield and Kan that the homotopy type of a simply connected space can be recovered as the totalization of its canonical cosimplicial resolution induced by the free simplicial abelian group adjunction. Furthermore, we leverage this result to show that this strictification adjunction induces a comonadic adjunction between the quasicategories of simplicial sets and strict $\infty$-groupoids.
- [44] arXiv:2405.04785 [pdf, ps, other]
-
Title: Dynamic Workforce Scheduling and Relocation in Hyperconnected Parcel Logistic HubsSubjects: Optimization and Control (math.OC)
With the development of e-commerce during the Covid-19 pandemic, one of the major challenges for many parcel logistics companies is to design reliable and flexible scheduling algorithms to meet uncertainties of parcel arrivals as well as manpower supplies in logistic hubs, especially for those depending on workforce greatly. Currently, most labor scheduling is periodic and limited to single facility, thus the number of required workers in each hub is constrained to meet the peak demand with high variance. We approach this challenge, recognizing that not only workforce schedules but also working locations could be dynamically optimized by developing a dynamic workforce scheduling and relocation system, fed from updated data with sensors and dynamically updated hub arrival demand predictions. In this paper, we propose novel reactive scheduling heuristics to dynamically match predicted arrivals with shifts at hyperconnected parcel logistics hubs. Dynamic scheduling and allocation mechanisms are carried out dynamically during delivery periods to spatiotemporally adjust the available workforce. We also include penalty costs to keep parcels sorted in time and scheduling adjustments are made in advance to allow sufficient time for crew planning. To assess the proposed methods, we conduct comprehensive case studies based on real-world parcel logistic networks of a logistic company in China. The results show that our proposed approach can significantly outperform traditional workforce scheduling strategies in hubs with limited computation time.
- [45] arXiv:2405.04794 [pdf, ps, html, other]
-
Title: Orders for which there exist exactly six or seven groupsComments: 12 pages, 2 figuresSubjects: Group Theory (math.GR); Combinatorics (math.CO)
Much progress has been made on the problem of calculating $g(n)$ for various classes of integers $n$, where $g$ is the group-counting function. We approach the inverse problem of solving the equations $g(n) = 6$ and $g(n) = 7$ in $n$. The determination of $n$ for which $g(n) = k$ has been carried out by G. A. Miller for $1 \le k \le 5$.
- [46] arXiv:2405.04796 [pdf, ps, other]
-
Title: Persistent homology of featured time series data and its applicationsSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG); Statistics Theory (math.ST)
Recent studies have actively employed persistent homology (PH), a topological data analysis technique, to analyze the topological information in time series data. Many successful studies have utilized graph representations of time series data for PH calculation. Given the diverse nature of time series data, it is crucial to have mechanisms that can adjust the PH calculations by incorporating domain-specific knowledge. In this context, we introduce a methodology that allows the adjustment of PH calculations by reflecting relevant domain knowledge in specific fields. We introduce the concept of featured time series, which is the pair of a time series augmented with specific features such as domain knowledge, and an influence vector that assigns a value to each feature to fine-tune the results of the PH. We then prove the stability theorem of the proposed method, which states that adjusting the influence vectors grants stability to the PH calculations. The proposed approach enables the tailored analysis of a time series based on the graph representation methodology, which makes it applicable to real-world domains. We consider two examples to verify the proposed method's advantages: anomaly detection of stock data and topological analysis of music data.
- [47] arXiv:2405.04801 [pdf, ps, html, other]
-
Title: Repdigits as difference of two balancing or Lucas-balancing numbersComments: 12Subjects: General Mathematics (math.GM)
Repdigits are natural numbers formed by the repetition of a single digit. In this paper, we study the problem of writing repdigits as the difference of two balancing or Lucas-balancing numbers. The method of proof involves the application of Baker's theory for linear forms in logarithms of algebraic numbers and the Baker-Davenport reduction procedure. Computations are done with the help of a simple computer program in {\it Mathematica}.
- [48] arXiv:2405.04805 [pdf, ps, other]
-
Title: Variational analysis of unbounded and discontinuous generalized eigenvalue functions with application to topology optimizationComments: 28 pages, 9 figuresSubjects: Optimization and Control (math.OC)
The maximum (or minimum) generalized eigenvalue of symmetric positive semidefinite matrices that depend on optimization variables often appears as objective or constraint functions in structural topology optimization when we consider robustness, vibration, and buckling. It can be an unbounded or discontinuous function where matrices become singular (where a topological change of the structural design occurs). Based on variational analysis, we redefine the maximum (and minimum) generalized eigenvalue function as an extended real-valued function and propose a real-valued continuous approximation of it. Then, we show that the proposed approximation epi-converges to the original redefined function, which justifies solving problems with the approximation instead. We consider two specific topology optimization problems: robust compliance optimization and eigenfrequency optimization and conduct simple numerical experiments.
- [49] arXiv:2405.04808 [pdf, ps, other]
-
Title: Multigrid-in-time preconditioners for KKT systemsSubjects: Optimization and Control (math.OC)
We develop multigrid-in-time preconditioners for Karush-Kuhn-Tucker (KKT) systems that arise in the solution of time-dependent optimization problems. We focus on a specific instance of KKT systems, known as augmented systems, which underpin the composite-step sequential quadratic programming framework [1]. To enable time-domain decomposition, our approach introduces virtual state variables and continuity constraints at each discrete time interval. The virtual state variables not only facilitate a decoupling in time but also give rise to fixed-point iterations that aid the solution of KKT systems. These fixed-point schemes can be used either as preconditioners for Krylov subspace methods or as smoothers for multigrid-in-time schemes. For the latter, we develop a block-Jacobi scheme that parallelizes trivially in the time domain. To complete the multigrid construction, we use simple prolongation and restriction operators based on geometric multigrid ideas, and a coarse-grid solver based on a GMRES iteration preconditioned with the symmetric block Gauss-Seidel scheme. We present two optimal control examples, involving the viscous Burgers' and van der Pol oscillator equations, respectively, and demonstrate algorithmic scalability.
- [50] arXiv:2405.04811 [pdf, ps, other]
-
Title: A general error analysis for randomized low-rank approximation with application to data assimilationSubjects: Numerical Analysis (math.NA); Machine Learning (stat.ML)
Randomized algorithms have proven to perform well on a large class of numerical linear algebra problems. Their theoretical analysis is critical to provide guarantees on their behaviour, and in this sense, the stochastic analysis of the randomized low-rank approximation error plays a central role. Indeed, several randomized methods for the approximation of dominant eigen- or singular modes can be rewritten as low-rank approximation methods. However, despite the large variety of algorithms, the existing theoretical frameworks for their analysis rely on a specific structure for the covariance matrix that is not adapted to all the algorithms. We propose a general framework for the stochastic analysis of the low-rank approximation error in Frobenius norm for centered and non-standard Gaussian matrices. Under minimal assumptions on the covariance matrix, we derive accurate bounds both in expectation and probability. Our bounds have clear interpretations that enable us to derive properties and motivate practical choices for the covariance matrix resulting in efficient low-rank approximation algorithms. The most commonly used bounds in the literature have been demonstrated as a specific instance of the bounds proposed here, with the additional contribution of being tighter. Numerical experiments related to data assimilation further illustrate that exploiting the problem structure to select the covariance matrix improves the performance as suggested by our bounds.
- [51] arXiv:2405.04817 [pdf, ps, html, other]
-
Title: Visual right-angled Artin subgroups of two-dimensional right-angled Coxeter groupsComments: 11 pagesSubjects: Group Theory (math.GR)
There is a procedure, due to Dani and Levcovitz, for taking a finite simplicial graph (\Gamma) and a subgraph (\Lambda) of its complement, checking some conditions, and, if satisfied, producing a graph (\Delta) such that the right-angled Artin group with presentation graph (\Delta) is a finite index subgroup of the right-angled Coxeter group with presentation graph (\Gamma). They do not tell us how to find (\Lambda), given (\Gamma).
We show, in the 2--dimensional case, that the existence of such a (\Lambda) is connected to the graph property of satellite-dismantlabilty of (\Gamma), and we use this to give an algorithm for producing a suitable (\Lambda) or deciding that one does not exist. - [52] arXiv:2405.04822 [pdf, ps, other]
-
Title: Extrinsic Bonnet-Myers Theorem and almost rigidityComments: submittedSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
We establish the extrinsic Bonnet-Myers Theorem for compact Riemannian manifolds with positive Ricci curvature. And we show the almost rigidity for compact hypersurfaces, which have positive sectional curvature and almost maximal extrinsic diameter in Euclidean space.
- [53] arXiv:2405.04827 [pdf, ps, other]
-
Title: The Geometry of Three-Forms on Symplectic Six-ManifoldsComments: 34 pages, all comments are welcome!Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Complex Variables (math.CV); Symplectic Geometry (math.SG)
In this paper, we investigate the geometry associated with 3-forms of various orbital type on a symplectic 6-manifold. We show that there are extremely rich geometric structures attached to certain unstable 3-forms arising naturally from degeneration of Calabi-Yau structures, which in turn provides us a new perspective towards the SYZ conjecture. We give concrete examples and demonstrate that the limiting behavior of the Type IIA flow can be used to detect canonical geometric structures on symplectic manifolds.
- [54] arXiv:2405.04835 [pdf, ps, other]
-
Title: Precise large deviation for stationary sequence of branching process with immigrationComments: arXiv admin note: substantial text overlap with arXiv:2405.04073Subjects: Probability (math.PR)
It is known that there exists the stationary sequence of branching process with immigration $\{X_{n}\}_{n\in\mathbb{Z}}$ under some conditions (Foster and Williamson (1971)), when the offspring is critical or subcritical. A precise large deviation probability for the partial sum $S_{n}=X_{1}+\cdots+X_{n}$ is specified, the significant difference is revealed for the critical and subcritical cases.
- [55] arXiv:2405.04843 [pdf, ps, other]
-
Title: Tilings of Flat Tori by Congruent HexagonsSubjects: Combinatorics (math.CO)
Convex hexagons that can tile the plane have been classified into three types. For the generic cases (not necessarily convex) of the three types and two other special cases, we classify tilings of the plane under the assumption that all vertices have degree $3$. Then we use the classification to describe the corresponding hexagonal tilings of flat tori and their moduli spaces.
- [56] arXiv:2405.04846 [pdf, ps, html, other]
-
Title: Expansion and torsion homology of 3-manifoldsSubjects: Geometric Topology (math.GT); Metric Geometry (math.MG)
A Riemannian manifold is a called a good rational expander in dimension $i$ if every $i$-cycle bounds a rational $i+1$-chain of comparatively small volume. We construct 3-manifolds which are good expanders in all dimensions. On the other hand, we show that expanders must be topologically complicated: they must have lots of torsion homology. We also give some applications to topological overlap problems, constructing examples of 3-manifolds with large width over $\mathbb R^2$.
- [57] arXiv:2405.04848 [pdf, ps, html, other]
-
Title: Convergence of Random Products of Countably Infinitely Many ProjectionsComments: 12 pagesSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
Let $r \in \mathbb{N}\cup\{\infty\}$ be a fixed number and let $P_j\,\, (1 \leq j\leq r )$ be the projection onto the closed subspace $\mathcal{M}_j$ of $\mathscr{H}$. We are interested in studying the sequence $P_{i_1}, P_{i_2}, \ldots \in\{P_1, \ldots, P_r\}$. A significant problem is to demonstrate conditions under which the sequence $\{P_{i_n}\cdots P_{i_2}P_{i_1}x\}_{n=1}^\infty$ converges strongly or weakly to $Px$ for any $x\in\mathscr{H}$, where $P$ is the projection onto the intersection $\mathcal{M}=\mathcal{M}_1\cap \ldots \cap \mathcal{M}_r$. Several mathematicians have presented their insights on this matter since von Neumann established his result in the case of $r=2$. In this paper, we give an affirmative answer to a question posed by M. Sakai. We present a result concerning random products of countably infinitely many projections (the case $r=\infty$) incorporating the notion of pseudo-periodic function.
- [58] arXiv:2405.04850 [pdf, ps, html, other]
-
Title: A separation theorem for Hilbert $W^*$-modulesComments: 9 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
Let $\mathscr L$ be a closed submodule of a Hilbert $W^*$-module $\mathscr E$ over a $C^*$-algebra $\mathscr A$. We pose a separation problem: Does there exist a normal state $\omega$ such that $\iota_\omega (\mathscr L)$ is not dense in $\mathscr E_\omega $? In this note, among other results, we give an affirmative answer to this problem, when $\mathscr E$ is a self-dual Hilbert $W^*$-module such that $\mathscr E\backslash \mathscr L$ has a nonempty interior with respect to the weak$^*$-topology.
- [59] arXiv:2405.04851 [pdf, ps, other]
-
Title: Uniform degeneration of hyperbolic surfaces with boundary along harmonic map raysComments: 27 pages, 9 figuresSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
Unique harmonic maps between surfaces give a parametrization of the Teichmüller space by holomorphic quadratic differentials on a Riemann surface. In this paper, we investigate the degeneration of hyperbolic surfaces corresponding to a ray of meromorphic quadratic differentials on a punctured Riemann surface in this parametrization, where the meromorphic quadratic differentials have a pole of order $\geq 2$ at each puncture. We show that the rescaled distance functions of the universal covers of hyperbolic surfaces uniformly converge, on a certain non-compact region containing a fundamental domain, to the intersection number with the vertical measured foliation given by the meromorphic quadratic differential determining the direction of the ray. This implies the family of hyperbolic surfaces converges to the dual $\mathbb{R}$-tree to the vertical measured foliation in the sense of Gromov-Hausdorff. As an application, we describe the limit in the function space on the set of isotopy classes of properly embedded arcs and simple closed curves on the surface.
- [60] arXiv:2405.04852 [pdf, ps, other]
-
Title: Separated Pairs of Submodules in Hilbert $C^*$-modulesComments: 20 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
We introduce the notion of the separated pair of closed submodules in the setting of Hilbert $C^*$-modules. We demonstrate that even in the case of Hilbert spaces this concept has several nice characterizations enriching the theory of separated pairs of subspaces in Hilbert spaces. Let $\mathscr H$ and $\mathscr K$ be orthogonally complemented closed submodules of a Hilbert $C^*$-module $\mathscr E$. We establish that $ (\mathscr H,\mathscr K)$ is a separated pair in $\mathscr{E}$ if and only if there are idempotents $\Pi_1$ and $\Pi_2$ such that $\Pi_1\Pi_2=\Pi_2\Pi_1=0$ and $\mathscr R(\Pi_1)=\mathscr H$ and $\mathscr R(\Pi_2)=\mathscr K$. We show that $\mathscr R(\Pi_1+\lambda\Pi_2)$ is closed for each $\lambda\in \mathbb{C}$ if and only if $\mathscr R(\Pi_1+\Pi_2)$ is closed.
We use the localization of Hilbert $C^*$-modules to define the angle between closed submodules. We prove that if $(\mathscr H^\perp,\mathscr K^\perp)$ is concordant, then $(\mathscr H^{\perp\perp},\mathscr K^{\perp\perp})$ is a separated pair if the cosine of this angle is less than one. We also present some surprising examples to illustrate our results. - [61] arXiv:2405.04853 [pdf, ps, other]
-
Title: Mack modes in supersonic boundary layerSubjects: Analysis of PDEs (math.AP)
Understanding the transition mechanism of boundary layer flows is of great significance in physics and engineering, especially due to the current development of supersonic and hypersonic aircraft. In this paper, we construct multiple unstable acoustic modes so-called Mack modes, which play a crucial role during the early stage of transition in the supersonic boundary layer. To this end, we develop an inner-outer gluing iteration to solve a hyperbolic-elliptic mixed type and singular system.
- [62] arXiv:2405.04862 [pdf, ps, html, other]
-
Title: Markov numbers and rational $\mathbb{C}^*$-surfacesComments: 12 pages, comments welcomeSubjects: Algebraic Geometry (math.AG)
The Markov triples, that means the positive integer solutions of the equation $x^2+y^2+z^2=3xyz$, form the vertex set of the Markov tree. Each Markov triple defines a weighted projective plane, giving a geometric interpretation of the vertex. We exhibit a class of rational, projective $\mathbb{C}^*$-surfaces representing the edges of the Markov tree in the sense that they admit coverings onto the adjacent weighted projective planes. As an application, we obtain an explicit description of all normal degenerations of the projective plane admitting a $\mathbb{C}^*$-action.
- [63] arXiv:2405.04864 [pdf, ps, other]
-
Title: Information Geometric Framework For Point Cloud DataSubjects: Differential Geometry (math.DG)
In this paper, we introduce a novel method for comparing 3D point clouds, a critical task in various machine learning applications. By interpreting point clouds as samples from underlying probability density functions, the statistical manifold structure is given to the space of point clouds. This manifold structure will help us to use the information geometric tools to analyze the point clouds. Our method uses the Gaussian Mixture Model (GMM) to find the probability density functions and the Modified Symmetric KL divergence to measure how similar the corresponding probability density functions are. This method of comparing the point clouds takes care of the geometry of the objects represented by the point clouds. To demonstrate the effectiveness of our approach, we take up five distinct case studies:(i) comparison of basic geometric shapes, (ii) comparison of 3D human body shapes within the MP FAUST dataset, (iii) comparison of animal shapes, (iv) comparison of human and animal datasets and (v) comparison of audio signals.
- [64] arXiv:2405.04869 [pdf, ps, other]
-
Title: Explicit estimates for the logarithmic derivative and the reciprocal of the Riemann zeta-functionComments: 28 pagesSubjects: Number Theory (math.NT)
In this article, we improve on two explicit bounds of order $\log t$ for $\sigma$ close to $1$: $|\zeta'(\sigma +it)/\zeta(\sigma +it)|$ and $|1/\zeta(\sigma +it)|$. Our method provides marked improvements in the constants, especially with regards to the latter. These savings come from replacing a lemma of Borel and Carathédory, with a Jensen-type one of Heath-Brown's.
- [65] arXiv:2405.04882 [pdf, ps, other]
-
Title: Starshaped compact hypersurfaces in warped product manifolds II: a class of Hessian type equationsComments: 28 pages. Comments are welcome!Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We prove several results concerning one particular class of Hessian type equations, which has attracted much attention in recent years.
- [66] arXiv:2405.04888 [pdf, ps, other]
-
Title: On the Faithfulness of a Family of Representations of the Singular Braid Monoid $SM_n$Subjects: Representation Theory (math.RT)
For $n\geq 2$, let $G_n$ be a group and let $\rho: B_n\rightarrow G_n$ be a representation of the braid group $B_n$. For a field $\mathbb{K}$ and $a,b,c\in \mathbb{K}$, Valerij G. Bardakov extend the representation $\rho$ to a family of representations $\Phi_{a,b,c}:SM_n \rightarrow \mathbb{K}[G_n]$ of the singular braid monoid $SM_n$, where $\mathbb{K}[G_n]$ is the group algebra of $G_n$ over $\mathbb{K}$. In this paper, we study the faithfulness of the family of representations $\Phi_{a,b,c}$ in some cases. First, we find necessary and sufficient conditions of the families $\Phi_{a,0,0}, \Phi_{0,b,0}$ and $\Phi_{0,0,c}$ for all $n\geq 2$ to be unfaithful, where $a,b,c \in \mathbb{K}^*$. Second, we consider the case $n=2$ and we find the nature of $\ker(\Phi_{a,b,c})$ if $\Phi_{a,b,c}$ is unfaithful. Moreover, we study the faithfulness of some families $\Phi_{a,b,c}$ in this case. Also, we find the shape of the possible elements in $\ker(\Phi_{a,b,c})$ for all $n\geq 2$ when ${\Phi_{a,b,c}|}_{SM_2}$ is unfaithful.
- [67] arXiv:2405.04905 [pdf, ps, other]
-
Title: Shadowing of actions of hyperbolic groups on their boundariesComments: 15 pagesSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Metric Geometry (math.MG)
We prove that the canonical action of every hyperbolic group on its Gromov boundary has the shadowing (aka pseudo-orbit tracing) property. In particular, this recovers the results of Mann et al. that such actions are topologically stable.
- [68] arXiv:2405.04915 [pdf, ps, html, other]
-
Title: The spiders $S(4m+2,\,2m,\,1)$ are $e$-positiviteSubjects: Combinatorics (math.CO)
We establish the $e$-positivity of spider graphs of the form $S(4m+2,\, 2m,\, 1)$, which was conjectured by Aliniaeifard, Wang and van Willigenburg. A key to our proof is the $e_I$-expansion formula of the chromatic symmetric function of paths due to Shareshian and Wachs, where the symbol~$I$ indicates integer compositions rather than partitions. Following the strategy of the divide-and-conquer technique, we pick out one or two positive $e_J$-terms for each negative $e_I$-term in an $e$-expression for the spiders, where $J$ are selected to be distinct compositions obtained by rearranging the parts of $I$.
- [69] arXiv:2405.04927 [pdf, ps, other]
-
Title: $C^\infty$ well-posedness of higher order hyperbolic pseudo-differential equations with multiplicitiesSubjects: Analysis of PDEs (math.AP)
In this paper, we study higher order hyperbolic pseudo-differential equations with variable multiplicities. We work in arbitrary space dimension and we assume that the principal part is time-dependent only. We identify sufficient conditions on the roots and the lower order terms (Levi conditions) under which the corresponding Cauchy problem is $C^\infty$ well-posed. This is achieved via transformation into a first order system, reduction into upper-triangular form and application of suitable Fourier integral operator methods previously developed for hyperbolic non-diagonalisable systems. We also discuss how our result compares with the literature on second and third order hyperbolic equations.
- [70] arXiv:2405.04930 [pdf, ps, html, other]
-
Title: Minimal time of the pointwise controllability for degenerate singular operators and related numerical results via B-splinesSubjects: Optimization and Control (math.OC)
The goal of this paper is to analyze the pointwise controllability properties of a one-dimensional degenerate/singular equation. We prove the conditions that characterize approximate and null controllability. Besides, a numerical simulation based on B-splines will be provided, in which the state $u$ and the control function $h$ are represented in terms of B-spline basis functions. The numerical results obtained match the theoretical ones.
- [71] arXiv:2405.04934 [pdf, ps, other]
-
Title: A Graph-Theoretical Approach to Ring Analysis: An Exploration of Dominant Metric Dimension in Compressed Zero Divisor Graphs and Its Interplay with Ring StructuresComments: 13Subjects: Commutative Algebra (math.AC)
The paper systematically classifies rings based on the dominant metric dimensions (Ddim) of their associated CZDG, establishing consequential bounds for the Ddim of these compressed zero-divisor graphs. The authors investigate the interplay between the ring-theoretic properties of a ring ( R ) and associated CZDG. An undirected graph consisting of vertex set ( Z(R_E)\{[0]}\ =\ R_E\{[0],[1]}), where ( R_E=\{[x]:\ x\in R\} ) and ([x]=\{y\in R:\ \text{ann}(x)=\text{ann}(y)\} ) is called a compressed zero-divisor graph, denoted by ( \Gamma_E(R) ). An edge is formed between two vertices ([x]) and ([y]) of ( Z(R_E) ) if and only if ([x][y]=[xy]=[0]), that is, iff ( xy=0 ). For a ring ( R ), graph ( G ) is said to be realizable as ( \Gamma_E(R) ) if ( G ) is isomorphic to ( \Gamma_E(R) ). Moreover, an exploration into the Ddim of realizable graphs for rings is conducted, complemented by illustrative examples reinforcing the presented results. A recent discussion within the paper elucidates the nuanced relationship between Ddim, diameter, and girth within the domain of compressed zero-divisor graphs. This research offers a comprehensive and insightful analysis at the intersection of algebraic structures and graph theory, providing valuable contributions to the current mathematical discourse.
- [72] arXiv:2405.04947 [pdf, ps, other]
-
Title: The Spectral Gap of a Gaussian Quantum Markovian GeneratorSubjects: Functional Analysis (math.FA); Quantum Physics (quant-ph)
Gaussian quantum Markov semigroups are the natural non-commutative extension of classical Ornstein-Uhlenbeck semigroups. They arise in open quantum systems of bosons where canonical non-commuting random variables of positions and momenta come into play. If there exits a faithful invariant density we explicitly compute the optimal exponential convergence rate, namely the spectral gap of the generator, in non-commutative $L^2$ spaces determined by the invariant density showing that the exact value is the lowest eigenvalue of a certain matrix determined by the diffusion and drift matrices. The spectral gap turns out to depend on the non-commutative $L^2$ space considered, whether the one determined by the so-called GNS or KMS multiplication by the square root of the invariant density. In the first case, it is strictly positive if and only if there is the maximum number of linearly independent noises. While, we exhibit explicit examples in which it is strictly positive only with KMS multiplication. We do not assume any symmetry or quantum detailed balance condition with respect to the invariant density.
- [73] arXiv:2405.04948 [pdf, ps, other]
-
Title: Kiselman Minimum Principle and Rooftop Envelopes in Complex Hessian EquationsSubjects: Complex Variables (math.CV); Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We initiate the study of $m$-subharmonic functions with respect to a semipositive $(1,1)$-form in Euclidean domains, providing a significant element in understanding geodesics within the context of complex Hessian equations. Based on the foundational Perron envelope construction, we prove a decomposition of $m$-subharmonic solutions, and a general comparison principle that effectively manages singular Hessian measures. Additionally, we establish a rooftop equality and an analogue of the Kiselman minimum principle, which are crucial ingredients in establishing a criterion for geodesic connectivity among $m$-subharmonic functions, expressed in terms of their asymptotic envelopes.
- [74] arXiv:2405.04951 [pdf, ps, other]
-
Title: Gaussian consensus processes and their Lyapunov exponentsSubjects: Probability (math.PR)
We introduce a simple dynamic model of opinion formation, in which a finite population of individuals hold vector-valued opinions. At each time step, each individual's opinion moves towards the mean opinion but is then perturbed independently by a centred multivariate Gaussian random variable, with covariance proportional to the covariance matrix of the opinions of the population. We establish precise necessary and sufficient conditions on the parameters of the model, under which all opinions converge to a common limiting value. Asymptotically perfect correlation emerges between opinions on different topics. Our results are rigorous and based on properties of the partial products of an i.i.d. sequence of random matrices. Each matrix is a fixed linear combination of the identity matrix and a real Ginibre matrix. We derive an analytic expression for the maximal Lyapunov exponent of this product sequence. We also analyze a continuous-time analogue of our model.
- [75] arXiv:2405.04954 [pdf, ps, other]
-
Title: On vector parking functions and q-analogueSubjects: Combinatorics (math.CO)
In 2000, it was demonstrated that the set of $x$-parking functions of length $n$, where $x$=($a,b,...,b$) $\in \mathbbm{N}^n$, is equivalent to the set of rooted multicolored forests on [$n$]=\{1,...,$n$\}. In 2020, Yue Cai and Catherine H. Yan systematically investigated the properties of rational parking functions. Subsequently, a series of Context-free grammars possessing the requisite property were introduced by William Y.C. Chen and Harold R.L. Yang in 2021. %An Abelian-type identity is derived from a comparable methodology and grammatical framework. %Leveraging a comparable methodology and grammatical framework, an Abelian-type identity is derived herein. In this paper, I discuss generalized parking functions in terms of grammars. The primary result is to obtain the q-analogue about the number of '1's in certain vector parking functions with the assistance of grammars.
- [76] arXiv:2405.04958 [pdf, ps, other]
-
Title: Computation of some dispersive equations through their iterated linearisationComments: 23 pages, 5 figuresSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
It is often the case that, while the numerical solution of the non-linear dispersive equation $\mathrm{i}\partial_t u(t)=\mathcal{H}(u(t),t)u(t)$ represents a formidable challenge, it is fairly easy and cheap to solve closely related linear equations of the form $\mathrm{i}\partial_t u(t)=\mathcal{H}_1(t)u(t)+\widetilde{\mathcal H}_2(t)u(t)$, where $\mathcal{H}_1(t)+\mathcal{H}_2(v,t)=\mathcal{H}(v,t)$. In that case we advocate an iterative linearisation procedure that involves fixed-point iteration of the latter equation to solve the former. A typical case is when the original problem is a nonlinear Schrödinger or Gross--Pitaevskii equation, while the `easy' equation is linear Schrödinger with time-dependent potential.
We analyse in detail the iterative scheme and its practical implementation, prove that each iteration increases the order, derive upper bounds on the speed of convergence and discuss in the case of nonlinear Schrödinger equation with cubic potential the preservation of structural features of the underlying equation: the $\mathrm{L}_2$ norm, momentum and Hamiltonian energy. A key ingredient in our approach is the use of the Magnus expansion in conjunction with Hermite quadratures, which allows effective solutions of the linearised but non-autonomous equations in an iterative fashion. The resulting Magnus--Hermite methods can be combined with a wide range of numerical approximations to the matrix exponential. The paper concludes with a number of numerical experiments, demonstrating the power of the proposed approach. - [77] arXiv:2405.04961 [pdf, ps, other]
-
Title: A posteriori error analysis of hybrid higher order methods for the elliptic obstacle problemSubjects: Numerical Analysis (math.NA)
In this article, a posteriori error analysis of the elliptic obstacle problem is addressed using hybrid high-order methods. The method involve cell unknowns represented by degree-$r$ polynomials and face unknowns represented by degree-$s$ polynomials, where $r=0$ and $s$ is either $0$ or $1$. The discrete obstacle constraints are specifically applied to the cell unknowns. The analysis hinges on the construction of a suitable Lagrange multiplier, a residual functional and a linear averaging map. The reliability and the efficiency of the proposed a posteriori error estimator is discussed, and the study is concluded by numerical experiments supporting the theoretical results.
- [78] arXiv:2405.04966 [pdf, ps, other]
-
Title: Communication-Efficient Collaborative Perception via Information Filling with CodebookComments: 10 pages, Accepted by CVPR 2024Subjects: Information Theory (cs.IT); Computer Vision and Pattern Recognition (cs.CV); Multiagent Systems (cs.MA)
Collaborative perception empowers each agent to improve its perceptual ability through the exchange of perceptual messages with other agents. It inherently results in a fundamental trade-off between perception ability and communication cost. To address this bottleneck issue, our core idea is to optimize the collaborative messages from two key aspects: representation and selection. The proposed codebook-based message representation enables the transmission of integer codes, rather than high-dimensional feature maps. The proposed information-filling-driven message selection optimizes local messages to collectively fill each agent's information demand, preventing information overflow among multiple agents. By integrating these two designs, we propose CodeFilling, a novel communication-efficient collaborative perception system, which significantly advances the perception-communication trade-off and is inclusive to both homogeneous and heterogeneous collaboration settings. We evaluate CodeFilling in both a real-world dataset, DAIR-V2X, and a new simulation dataset, OPV2VH+. Results show that CodeFilling outperforms previous SOTA Where2comm on DAIR-V2X/OPV2VH+ with 1,333/1,206 times lower communication volume. Our code is available at this https URL.
- [79] arXiv:2405.04970 [pdf, ps, other]
-
Title: Numerical analysis of small-strain elasto-plastic deformation using local Radial Basis Function approximation with Picard iterationSubjects: Numerical Analysis (math.NA)
This paper deals with a numerical analysis of plastic deformation under various conditions, utilizing Radial Basis Function (RBF) approximation. The focus is on the elasto-plastic von Mises problem under plane-strain assumption. Elastic deformation is modelled using the Navier-Cauchy equation. In regions where the von Mises stress surpasses the yield stress, corrections are applied locally through a return mapping algorithm. The non-linear deformation problem in the plastic domain is solved using the Picard iteration.
The solutions for the Navier-Cauchy equation are computed using the Radial Basis Function-Generated Finite Differences (RBF-FD) meshless method using only scattered nodes in a strong form. Verification of the method is performed through the analysis of an internally pressurized thick-walled cylinder subjected to varying loading conditions. These conditions induce states of elastic expansion, perfectly-plastic yielding, and plastic yielding with linear hardening. The results are benchmarked against analytical solutions and traditional Finite Element Method (FEM) solutions. The paper also showcases the robustness of this approach by solving case of thick-walled cylinder with cut-outs. The results affirm that the RBF-FD method produces results comparable to those obtained through FEM, while offering substantial benefits in managing complex geometries without the necessity for conventional meshing, along with other benefits of meshless methods. - [80] arXiv:2405.04976 [pdf, ps, other]
-
Title: RF-based Energy Harvesting: Nonlinear Models, Applications and ChallengesSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
So far, various aspects associated with wireless energy harvesting (EH) have been investigated from diverse perspectives, including energy sources and models, usage protocols, energy scheduling and optimization, and EH implementation in different wireless communication systems. However, a comprehensive survey specifically focusing on models of radio frequency (RF)-based EH behaviors has not yet been presented. To address this gap, this article provides an overview of the mainstream mathematical models that capture the nonlinear behavior of practical EH circuits, serving as a valuable handbook of mathematical models for EH application research. Moreover, we summarize the application of each nonlinear EH model, including the associated challenges and precautions. We also analyze the impact and advancements of each EH model on RF-based EH systems in wireless communication, utilizing artificial intelligence (AI) techniques. Additionally, we highlight emerging research directions in the context of nonlinear RF-based EH. This article aims to contribute to the future application of RF-based EH in novel communication research domains to a significant extent.
- [81] arXiv:2405.04987 [pdf, ps, other]
-
Title: The Riemannian geometry of Sinkhorn divergencesComments: 52 pages, 6 figuresSubjects: Optimization and Control (math.OC); Metric Geometry (math.MG)
We propose a new metric between probability measures on a compact metric space that mirrors the Riemannian manifold-like structure of quadratic optimal transport but includes entropic regularization. Its metric tensor is given by the Hessian of the Sinkhorn divergence, a debiased variant of entropic optimal transport. We precisely identify the tangent space it induces, which turns out to be related to a Reproducing Kernel Hilbert Space (RKHS). As usual in Riemannian geometry, the distance is built by looking for shortest paths. We prove that our distance is geodesic, metrizes the weak-star topology, and is equivalent to a RKHS norm. Still it retains the geometric flavor of optimal transport: as a paradigmatic example, translations are geodesics for the quadratic cost on $\mathbb{R}^d$. We also show two negative results on the Sinkhorn divergence that may be of independent interest: that it is not jointly convex, and that its square root is not a distance because it fails to satisfy the triangle inequality.
- [82] arXiv:2405.04989 [pdf, ps, other]
-
Title: Paley-Wiener Type Theorems associated to Dirac Operators of Riesz-Feller typeComments: 36 pagesSubjects: Complex Variables (math.CV)
This paper systematically investigates Paley-Wiener-type theorems in the context of hypercomplex variables. To this end, we introduce and study the so-called generalized Bernstein spaces endowed by the fractional Dirac operator $D_{\alpha}^{\theta}$ - a space-fractional operator of order $\alpha$ and skewness $\theta$, encompassing the Dirac operator $D$. We will show that such family of function spaces seamlessly characterizes the interplay between Clifford-valued $L^p-$functions satisfying the support condition $\mathrm{supp}\ \widehat{f}\subseteq B(0,R)$, and the solutions of the Cauchy problems endowed by the space-time operator $\partial_{x_0}+D_\theta^\alpha$ that are of exponential type $R^\alpha$. Such construction allows us to generalize, in a meaningful way, the results obtained by Kou and Qian (2002) and Franklin, Hogan and Larkin (2017). Noteworthy, the exploitation of the well-known Kolmogorov-Stein inequalities to hypercomplex variables permits us to make the computation of the maximal radius $R$ for which $\mathrm{supp}\ \widehat{f}$ is compactly supported in $B(0,R)$ rather explicit.
- [83] arXiv:2405.04993 [pdf, ps, html, other]
-
Title: On Stochastic Fundamental Limits in a Downlink Integrated Sensing and Communication NetworkComments: arXiv admin note: text overlap with arXiv:2305.15388Subjects: Information Theory (cs.IT)
This paper aims to analyze the stochastic performance of a multiple input multiple output (MIMO) integrated sensing and communication (ISAC) system in a downlink scenario, where a base station (BS) transmits a dual-functional radar-communication (DFRC) signal matrix, serving the purpose of transmitting communication data to the user while simultaneously sensing the angular location of a target. The channel between the BS and the user is modeled as a random channel with Rayleigh fading distribution, and the azimuth angle of the target is assumed to follow a uniform distribution. Due to the randomness inherent in the network, the challenge is to consider suitable performance metrics for this randomness. To address this issue, for users, we employ the user's rate outage probability (OP) and ergodic rate, while for target, we propose using the OP of the Cramér-Rao lower bound (CRLB) for the angle of arrival and the ergodic CRLB. We have obtained the expressions of these metrics for scenarios where the BS employs two different beamforming methods. Our approach to deriving these metrics involves computing the probability density function (PDF) of the signal-to-noise ratio for users and the CRLB for the target. We have demonstrated that the central limit theorem provides a viable approach for deriving these PDFs. In our numerical results, we demonstrate the trade-off between sensing and communication (S \& C) by characterizing the region of S \& C metrics and by obtaining the Pareto optimal boundary points, confirmed with simulations.
- [84] arXiv:2405.04999 [pdf, ps, other]
-
Title: Small ball probability for multiple singular values of symmetric random matricesSubjects: Probability (math.PR)
Let $A_n$ be an $n\times n$ random symmetric matrix with $(A_{ij})_{i< j}$ i.i.d. mean $0$, variance 1, following a subGaussian distribution and diagonal elements i.i.d. following a subGaussian distribution with a fixed variance. We investigate the joint small ball probability that $A_n$ has eigenvalues near two fixed locations $\lambda_1$ and $\lambda_2$, where $\lambda_1$ and $\lambda_2$ are sufficiently separated and in the bulk of the semicircle law. More precisely we prove that for a wide class of entry distributions of $A_{ij}$ that involve all Gaussian convolutions (where $\sigma_{min}(\cdot)$ denotes the least singular value of a square matrix), $$\mathbb{P}(\sigma_{min}(A_n-\lambda_1 I_n)\leq\delta_1n^{-1/2},\sigma_{min}(A_n-\lambda_2 I_n)\leq\delta_2n^{-1/2})\leq c\delta_1\delta_2+e^{-cn}.$$ The given estimate approximately factorizes as the product of the estimates for the two individual events, which is an indication of quantitative independence. The estimate readily generalizes to $d$ distinct locations. As an application, we upper bound the probability that there exist $d$ eigenvalues of $A_n$ asymptotically satisfying any fixed linear equation, which in particular gives a lower bound of the distance to this linear relation from any possible eigenvalue pair that holds with probability $1-o(1)$, and rules out the existence of two equal singular values in generic regions of the spectrum.
- [85] arXiv:2405.05003 [pdf, ps, other]
-
Title: Nilpotent structures of oriented neutral vector bundlesSubjects: Differential Geometry (math.DG)
In this paper, we study nilpotent structures of an oriented vector bundle $E$ of rank $4n$ with a neutral metric $h$ and an $h$-connection $\nabla$. We define $H$-nilpotent structures of $(E, h, \nabla )$ for a Lie subgroup $H$ of $SO(2n, 2n)$ related to neutral hyperKähler structures. We observe that there exist a complex structure $I$ and paracomplex structures $J_1$, $J_2$ of $E$ such that $h$, $\nabla$, $I$, $J_1$, $J_2$ form a neutral hyperKähler structure of $E$ if and only if there exists an $H$-nilpotent structure of $(E, h, \nabla )$.
- [86] arXiv:2405.05009 [pdf, ps, other]
-
Title: On Solutions of Systems of Differential Equations on Half-Line with Summable CoefficientsComments: This is an extended version of the paper accepted for publication in Lobachevskii Journal of MathematicsSubjects: Classical Analysis and ODEs (math.CA)
We consider a system of differential equations and obtain its solutions with exponential asymptotics and analyticity with respect to the spectral parameter. Solutions of such type have importance in studying spectral properties of differential operators. Here, we consider the system of first-order differential equations on a half-line with summable coefficients, containing a nonlinear dependence on the spectral parameter. We obtain fundamental systems of solutions with analyticity in certain sectors, in which it is possible to apply the method of successive approximations. We also construct non-fundamental systems of solutions with analyticity in a large sector, including two previously considered neighboring sectors. The obtained results admit applications in studying inverse spectral problems for the higher-order differential operators with distribution coefficients.
- [87] arXiv:2405.05014 [pdf, ps, html, other]
-
Title: Tropical Feichtner-Yuzvinsky and positivity criterion for fansComments: 24 pages, 1 figure. arXiv admin note: text overlap with arXiv:2105.01504Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We prove that the Chow ring of any simplicial fan is isomorphic to the middle degree part of the tropical cohomology ring of its canonical compactification. Using this result, we prove a tropical analogue of Kleiman's criterion of ampleness for fans.
In the case of tropical fans that are homology manifolds, we obtain an isomorphism between the Chow ring of the fan and the entire tropical cohomology of the canonical compactification. When applied to matroids, this provides a new representation of the Chow ring of a matroid as the cohomology ring of a projective tropical manifold. - [88] arXiv:2405.05024 [pdf, ps, other]
-
Title: On some intrinsic differentiability properties for Absolutely continuous functions between Carnot groups and the Area formulaSubjects: Functional Analysis (math.FA)
We discuss Q-absolutely continuous functions between Carnot groups, following Maly's definition for maps of several variables. Such maps enjoy nice regularity properties, like continuity, Pansu differentiability a.e., weak differentiability and an Area formula. Furthermore, we extend Stein's result concerning the sharp condition for continuity and differentiability a.e. of a Sobolev map in terms of the integrability of the weak gradient: more precisely, we prove that a Sobolev map between Carnot groups with horizontal gradient of its sections uniformly bounded in L(Q,1) admits a representative which is Q-absolutely continuous.
- [89] arXiv:2405.05044 [pdf, ps, html, other]
-
Title: Unique continuation at the boundary for divergence form elliptic equations on quasiconvex domainsComments: 27 pagesSubjects: Analysis of PDEs (math.AP)
Let $\Omega \subset \mathbb{R}^d$ be a quasiconvex Lipschitz domain and $A(x)$ be a $d \times d$ uniformly elliptic, symmetric matrix with Lipschitz coefficients. Assume a nontrivial $u$ solves $-\nabla \cdot (A(x) \nabla u) = 0$ in $\Omega$, and $u$ vanishes on $\Sigma = \partial \Omega \cap B$ for some ball $B$. The main contribution of this paper is to demonstrate the existence of a countable collection of open balls $(B_i)_i$ such that the restriction of $u$ to $B_i \cap \Omega$ maintains a consistent sign. Furthermore, for any compact subset $K$ of $\Sigma$, the set difference $K \setminus \bigcup_i B_i$ is shown to possess a Minkowski dimension that is strictly less than $d - 1 - \epsilon$. As a consequence, we prove Lin's conjecture in quasiconvex domains.
- [90] arXiv:2405.05045 [pdf, ps, other]
-
Title: Maximum of the Characteristic Polynomial of I.I.D. MatricesComments: 85 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We compute the leading order asymptotic of the maximum of the characteristic polynomial for i.i.d. matrices with real or complex entries. In particular, this result is new even for real Ginibre matrices, which was left as an open problem in [arXiv:2303.09912]; the complex Ginibre case was covered in [arXiv:1902.01983]. These are the first universality results for the non--Hermitian analog of the first order term of the Fyodorov--Hiary--Keating conjecture. Our methods are based on constructing a coupling to the branching random walk via Dyson Brownian motion. In particular, we find a new connection between real i.i.d. matrices and inhomogeneous branching random walk.
- [91] arXiv:2405.05047 [pdf, ps, other]
-
Title: An adaptive finite element multigrid solver using GPU accelerationSubjects: Numerical Analysis (math.NA)
Adaptive finite elements combined with geometric multigrid solvers are one of the most efficient numerical methods for problems such as the instationary Navier-Stokes equations. Yet despite their efficiency, computations remain expensive and the simulation of, for example, complex flow problems can take many hours or days. GPUs provide an interesting avenue to speed up the calculations due to their very large theoretical peak performance. However, the large degree of parallelism and non-standard API make the use of GPUs in scientific computing challenging. In this work, we develop a GPU acceleration for the adaptive finite element library Gascoigne and study its effectiveness for different systems of partial differential equations. Through the systematic formulation of all computations as linear algebra operations, we can employ GPU-accelerated linear algebra libraries, which simplifies the implementation and ensures the maintainability of the code while achieving very efficient GPU utilizations. Our results for a transport-diffusion equation, linear elasticity, and the instationary Navier-Stokes equations show substantial speedups of up to 20X compared to multi-core CPU implementations.
- [92] arXiv:2405.05050 [pdf, ps, other]
-
Title: On the Euler characteristic of $S$-arithmetic groupsComments: 19 pagesSubjects: Group Theory (math.GR); Number Theory (math.NT)
We show that the sign of the Euler characteristic of an $S$-arithmetic subgroup of a simple $k$-group over a number field $k$ depends on the $S$-congruence completion only. Consequently, the sign is a profinite invariant for such $S$-arithmetic groups with the congruence subgroup property. This generalizes previous work of the first author with Kionke-Raimbault-Sauer.
- [93] arXiv:2405.05056 [pdf, ps, html, other]
-
Title: Large N limit of fuzzy geometries coupled to fermionsComments: 37 pages, 10 figuresSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Operator Algebras (math.OA); Quantum Algebra (math.QA)
In this paper we present an analysis of the large N limit of a family of quartic Dirac ensembles based on (0, 1) fuzzy geometries that are coupled to fermions. These Dirac ensembles are examples of single-matrix, multi-trace matrix ensembles. Additionally, they serve as examples of integer-valued $\beta$-ensembles. Convergence of the spectral density in the large N limit for a large class of such matrix ensembles is proven, improving on existing results. The main results of this paper are the addition of the fermionic contribution in the matrix ensemble and the investigation of spectral estimators for finite dimensional spectral triples
- [94] arXiv:2405.05065 [pdf, ps, html, other]
-
Title: Quasi-Banach Schatten-von Neumann properties in Weyl-H\"ormander calculusComments: 21 pages. This is the first version. Some changes might be performed in the next versionsSubjects: Functional Analysis (math.FA)
We study structural properties of Wiener-Lebesgue spaces with respect to a slowly varying metrics and certain Lebesgue parameters. For $p\in (0,1]$, we deduce Schatten-$p$ properties for pseudo-differential operators whose symbols, together with their derivatives, obey suitable Wiener-Lebesgue-boundedness conditions. Especially, we perform such investigations for the Weyl-Hörmander calculus. Finally, we apply our results to global-type SG and Shubin pseudo-differential operators.
- [95] arXiv:2405.05067 [pdf, ps, other]
-
Title: Computing Chebyshev polynomials using the complex Remez algorithmSubjects: Complex Variables (math.CV)
We employ the generalized Remez algorithm, initially suggested by P. T. P. Tang, to perform an experimental study of Chebyshev polynomials in the complex plane. Our focus lies particularly on the examination of their norms and zeros. What sets our study apart is the breadth of examples considered, coupled with the fact that the degrees under investigation are substantially higher than those in previous studies where other methods have been applied. These computations of Chebyshev polynomials of high degrees reveal discernible patterns which allow for conjectures to be formulated based on abundant experimental evidence. The use of Tang's algorithm allows for computations executed with precision, maintaining accuracy within quantifiable margins of error. Additionally, as a result of our experimental study, we propose what we believe to be a fundamental relationship between Chebyshev and Faber polynomials associated with a compact set.
- [96] arXiv:2405.05074 [pdf, ps, other]
-
Title: K3 surfaces associated to a cubic fourfoldComments: 23 pagesSubjects: Algebraic Geometry (math.AG)
Let $X\subset ¶^5$ be a smooth cubic fourfold. A well known conjecture asserts that $X$ is rational if and only if there an Hodge theoretically associated K3 surface $S$. The surface $S$ can be associated to $X$ in two other different ways. If there is an equivalence of categories $\sA_X \simeq D^b(S,\alpha)$ where $\sA_X$ is the Kuznetsov component of $D^b(X)$ and $\alpha$ is a Brauer class, or if there is an isomorphism between the transcendental motive $t(X)$ and the (twisted ) transcendental motive of a K3 surface$S$. In this note we consider families of cubic fourfolds with a finite group of automorphisms and describe the cases where there is an associated K3 surface in one of the above senses.
- [97] arXiv:2405.05082 [pdf, ps, other]
-
Title: On linear-combinatorial problems associated with subspaces spanned by $\{\pm 1\}$-vectorsComments: 13 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Algebraic Topology (math.AT); Probability (math.PR)
A complete answer to the question about subspaces generated by $\{\pm 1\}$-vectors, which arose in the work of I.Kanter and H.Sompolinsky on associative memories, is given. More precisely, let vectors $v_1, \ldots , v_p,$ $p\leq n-1,$ be chosen at random uniformly and independently from $\{\pm 1\}^n \subset {\bf R}^n.$ Then the probability ${\mathbb P}(p, n)$ that $$span \ \langle v_1, \ldots , v_p \rangle \cap \left\{ \{\pm 1\}^n \setminus \{\pm v_1, \ldots , \pm v_p\}\right\} \ne \emptyset \ $$ is shown to be $$4{p \choose 3}\left(\frac{3}{4}\right)^n + O\left(\left(\frac{5}{8} + o_n(1)\right)^n\right) \quad \mbox{as} \quad n\to \infty,$$ where the constant implied by the $O$-notation does not depend on $p$. The main term in this estimate is the probability that some 3 vectors $v_{j_1}, v_{j_2}, v_{j_3}$ of $v_j$, $j= 1, \ldots , p,$ have a linear combination that is a $\{\pm 1\}$-vector different from $\pm v_{j_1}, \pm v_{j_2}, \pm v_{j_3}. $
- [98] arXiv:2405.05088 [pdf, ps, other]
-
Title: Local Tameness and Ends of GroupsSubjects: Group Theory (math.GR)
We investigate connections between local tameness of a group and a number of its ends.
- [99] arXiv:2405.05095 [pdf, ps, other]
-
Title: Approximation properties relative to continuous scale space for hybrid discretizations of Gaussian derivative operatorsComments: 13 pages, 11 figures. arXiv admin note: text overlap with arXiv:2311.11317Subjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV)
This paper presents an analysis of properties of two hybrid discretization methods for Gaussian derivatives, based on convolutions with either the normalized sampled Gaussian kernel or the integrated Gaussian kernel followed by central differences. The motivation for studying these discretization methods is that in situations when multiple spatial derivatives of different order are needed at the same scale level, they can be computed significantly more efficiently compared to more direct derivative approximations based on explicit convolutions with either sampled Gaussian kernels or integrated Gaussian kernels.
While these computational benefits do also hold for the genuinely discrete approach for computing discrete analogues of Gaussian derivatives, based on convolution with the discrete analogue of the Gaussian kernel followed by central differences, the underlying mathematical primitives for the discrete analogue of the Gaussian kernel, in terms of modified Bessel functions of integer order, may not be available in certain frameworks for image processing, such as when performing deep learning based on scale-parameterized filters in terms of Gaussian derivatives, with learning of the scale levels.
In this paper, we present a characterization of the properties of these hybrid discretization methods, in terms of quantitative performance measures concerning the amount of spatial smoothing that they imply, as well as the relative consistency of scale estimates obtained from scale-invariant feature detectors with automatic scale selection, with an emphasis on the behaviour for very small values of the scale parameter, which may differ significantly from corresponding results obtained from the fully continuous scale-space theory, as well as between different types of discretization methods. - [100] arXiv:2405.05098 [pdf, ps, other]
-
Title: Energy stable gradient flow schemes for shape and topology optimization in Navier-Stokes flowsSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC); Fluid Dynamics (physics.flu-dyn)
We study topology optimization governed by the incompressible Navier-Stokes flows using a phase field model. Novel stabilized semi-implicit schemes for the gradient flows of Allen-Cahn and Cahn-Hilliard types are proposed for solving the resulting optimal control problem. Unconditional energy stability is shown for the gradient flow schemes in continuous and discrete spaces. Numerical experiments of computational fluid dynamics in 2d and 3d show the effectiveness and robustness of the optimization algorithms proposed.
- [101] arXiv:2405.05100 [pdf, ps, other]
-
Title: Fundamental Limits for Jammer-Resilient Communication in Finite-Resolution MIMOSubjects: Information Theory (cs.IT)
Spatial filtering based on multiple-input multiple-output (MIMO) processing is a powerful method for jammer mitigation. In principle, a MIMO receiver can null the interference of a single-antenna jammer at the cost of only one degree of freedom - if the number of receive antennas is large, communication performance is barely affected. In this paper, we show that the potential for MIMO jammer mitigation based on the digital outputs of finite-resolution analog-to-digital converters (ADCs) is fundamentally worse: Strong jammers will either cause the ADCs to saturate (when the ADCs' quantization range is small) or drown legitimate communication signals in quantization noise (when the ADCs' quantization range is large). We provide a fundamental bound on the mutual information between the quantized receive signal and the legitimate transmit signal. Our bound shows that, for any fixed ADC resolution, the mutual information tends to zero as the jammer power tends to infinity. Our bound also confirms the intuition that for every 6.02 dB increase in jamming power, the ADC resolution must be increased by 1 bit in order to prevent the mutual information from vanishing.
- [102] arXiv:2405.05102 [pdf, ps, html, other]
-
Title: The Harmonic Descent ChainComments: 14 pagesSubjects: Probability (math.PR)
The decreasing Markov chain on \{1,2,3, \ldots\} with transition probabilities $p(j,j-i) \propto 1/i$ arises as a key component of the analysis of the beta-splitting random tree model. We give a direct and almost self-contained "probability" treatment of its occupation probabilities, as a counterpart to a more sophisticated but perhaps opaque derivation using a limit continuum tree structure and Mellin transforms.
- [103] arXiv:2405.05103 [pdf, ps, other]
-
Title: Multistability of Bi-Reaction NetworksComments: 39 pagesSubjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG)
We provide a sufficient and necessary condition in terms of the stoichiometric coefficients for a bi-reaction network to admit multistability. Also, this result completely characterizes the bi-reaction networks according to if they admit multistability.
- [104] arXiv:2405.05106 [pdf, ps, other]
-
Title: A note on the $ \Pi $-property of some subgroups of finite groupsSubjects: Group Theory (math.GR)
Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the $ \Pi $-property in $ G $ if for any chief factor $ L / K $ of $ G $, $ |G/K : N_{G/K}(HK/K\cap L/K )| $ is a $ \pi (HK/K\cap L/K) $-number. In this paper, we obtain some criteria for the $ p $-supersolubility or $ p $-nilpotency of a finite group and extend some known results by concerning some subgroups that satisfy the $ \Pi $-property.
- [105] arXiv:2405.05110 [pdf, ps, other]
-
Title: Uncertainty quantification in metric spacesSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
This paper introduces a novel uncertainty quantification framework for regression models where the response takes values in a separable metric space, and the predictors are in a Euclidean space. The proposed algorithms can efficiently handle large datasets and are agnostic to the predictive base model used. Furthermore, the algorithms possess asymptotic consistency guarantees and, in some special homoscedastic cases, we provide non-asymptotic guarantees. To illustrate the effectiveness of the proposed uncertainty quantification framework, we use a linear regression model for metric responses (known as the global Fréchet model) in various clinical applications related to precision and digital medicine. The different clinical outcomes analyzed are represented as complex statistical objects, including multivariate Euclidean data, Laplacian graphs, and probability distributions.
- [106] arXiv:2405.05124 [pdf, ps, other]
-
Title: A Gauss-Newton Method for ODE Optimal Tracking ControlSubjects: Optimization and Control (math.OC)
This paper introduces and analyses a continuous optimization approach to solve optimal control problems involving ordinary differential equations (ODEs) and tracking type objectives. Our aim is to determine control or input functions, and potentially uncertain model parameters, for a dynamical system described by an ODE. We establish the mathematical framework and define the optimal control problem with a tracking functional, incorporating regularization terms and box-constraints for model parameters and input functions. Treating the problem as an infinite-dimensional optimization problem, we employ a Gauss-Newton method within a suitable function space framework. This leads to an iterative process where, at each step, we solve a linearization of the problem by considering a linear surrogate model around the current solution estimate. The resulting linear auxiliary problem resembles a linear-quadratic ODE optimal tracking control problem, which we tackle using either a gradient descent method in function spaces or a Riccati-based approach. Finally, we present and analyze the efficacy of our method through numerical experiments.
- [107] arXiv:2405.05128 [pdf, ps, other]
-
Title: Degree of the Grassmannian as an affine varietyComments: 15 pagesSubjects: Algebraic Geometry (math.AG)
The degree of the Grassmannian with respect to the Plücker embedding is well-known. However, the Plücker embedding, while ubiquitous in pure mathematics, is almost never used in applied mathematics. In applied mathematics, the Grassmannian is usually embedded as projection matrices $\operatorname{Gr}(k,\mathbb{R}^n) \cong \{P \in \mathbb{R}^{n \times n} : P^{\scriptscriptstyle\mathsf{T}} = P = P^2,\; \operatorname{tr}(P) = k\}$ or as involution matrices $\operatorname{Gr}(k,\mathbb{R}^n) \cong \{X \in \mathbb{R}^{n \times n} : X^{\scriptscriptstyle\mathsf{T}} = X,\; X^2 = I,\; \operatorname{tr}(X)=2k - n\}$. We will determine an explicit expression for the degree of the Grassmannian with respect to these embeddings. In so doing, we resolved a conjecture of Devriendt--Friedman--Sturmfels about the degree $\operatorname{Gr}(2, \mathbb{R}^n)$ and in fact generalized it to $\operatorname{Gr}(k, \mathbb{R}^n)$. We also proved a set theoretic variant of another conjecture of Devriendt--Friedman--Sturmfels about the limit of $\operatorname{Gr}(k,\mathbb{R}^n)$ in the sense of Gröbner degneration.
- [108] arXiv:2405.05149 [pdf, ps, other]
-
Title: Local Theory of Yang-Mills-Higgs-Schr\"{o}dinger FlowComments: arXiv admin note: text overlap with arXiv:1608.05463 by other authorsSubjects: Analysis of PDEs (math.AP)
In this article, we study two Hamiltonian type flows: Yang-Mills-Higgs-Schrödinger flow and $A$-Schrödinger flow. For the first one, we only obtain local existence. However, the uniqueness follows from classical tricks for the second one.
- [109] arXiv:2405.05152 [pdf, ps, other]
-
Title: On equivalence of the Mellin-Barnes and the Givental integral representations of the Whittaker functionsComments: 50 pagesSubjects: Representation Theory (math.RT)
We construct an integral transformation intertwining the Gelfand-Tsetlin and the (modified) Gauss-Givental realizations of principle series representations of gl(3). This provides a direct identification of the corresponding integral representations for the gl(3)-Whittaker function. The construction essentially uses integral identities due to Barnes and Gustafson thus providing a basis for their representation theory interpretation. The result of this paper might be useful for constructing the explicit analytic realization of the mirror symmetry map in the case of the flag manifold GL(3)/B.
- [110] arXiv:2405.05153 [pdf, ps, other]
-
Title: Divided Powers and Derived De Rham CohomologySubjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT)
We develop the formalism of derived divided power algebras, and revisit the theory of derived De Rham and crystalline cohomology in this framework. We characterize derived De Rham cohomology of a derived commutative ring $A$, together with the Hodge filtration on it, in terms of a universal property as the largest filtered divided power thickening of $A$. We show that our approach agrees with A.Raksit's. Along the way, we develop some fundamentals of square-zero extensions and derivations in derived algebraic geometry in connection with derived De Rham cohomology.
- [111] arXiv:2405.05158 [pdf, ps, other]
-
Title: Analysis of the SQP Method for Hyperbolic PDE-Constrained Optimization in Acoustic Full Waveform InversionSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
In this paper, the SQP method applied to a hyperbolic PDE-constrained optimization problem is considered. The model arises from the acoustic full waveform inversion in the time domain. The analysis is mainly challenging due to the involved hyperbolicity and second-order bilinear structure. This notorious character leads to an undesired effect of loss of regularity in the SQP method, calling for a substantial extension of developed parabolic techniques. We propose and analyze a novel strategy for the well-posedness and convergence analysis based on the use of a smooth-in-time initial condition, a tailored self-mapping operator, and a two-step estimation process along with Stampacchia's method for second-order wave equations. Our final theoretical result is the R-superlinear convergence of the SQP method.
- [112] arXiv:2405.05159 [pdf, ps, other]
-
Title: Finding all solutions to the KZ equations in characteristic $p$Comments: LaTex, 40 pagesSubjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Number Theory (math.NT)
The KZ equations are differential equations satisfied by the correlation functions (on the Riemann sphere) of two-dimensional conformal field theories associated with an affine Lie algebra at a fixed level. They form a system of complex partial differential equations with regular singular points satisfied by the $n$-point functions of affine primary fields. In [SV1] the KZ equations were identified with equations for flat sections of suitable Gauss-Manin connections, and solutions of the KZ equations were constructed in the form of multidimensional hypergeometric integrals. In [SV2] the KZ equations were considered modulo a prime number $p$, and polynomial solutions of the KZ equations modulo $p$ were constructed by an elementary procedure as suitable $p$-approximations of the hypergeometric integrals. In this paper we address the problem of whether all solutions of the KZ equations modulo $p$ are generated by the $p$-hypergeometric solutions. We consider the first nontrivial example of the KZ equations and demonstrate that, indeed, in this case, all solutions of the KZ equations modulo $p$ stem from the $p$-hypergeometric solutions.
- [113] arXiv:2405.05172 [pdf, ps, other]
-
Title: Sobolev mappings on metric spaces and Minkowski dimensionSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP); Metric Geometry (math.MG)
We introduce the class of compactly Hölder mappings between metric spaces and determine the extent to which they distort the Minkowski dimension of a given set. These mappings are defined purely with metric notions and can be seen as a generalization of Sobolev mappings, without the requirement for a measure on the source space. In fact, we show that if $f:X\rightarrow Y$ is a continuous mapping lying in some super-critical Newtonian-Sobolev space $N^{1,p}(X,\mu)$, under standard assumptions on the metric measure space $(X,d,\mu)$, it is then a compactly Hölder mapping. The dimension distortion result we obtain is new even for Sobolev mappings between weighted Euclidean spaces and generalizes previous results of Kaufman and Bishop-Hakobyan-Williams.
- [114] arXiv:2405.05174 [pdf, ps, other]
-
Title: The local cohomology of vector fieldsComments: 30 pages, comments are very welcome!Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG)
We compute the local cohomology of vector fields on a manifold. In the smooth case this recovers the diagonal cohomology studied in work of Losik, Guillemin, Fuks and others. In the holomorphic case this cohomology has recently appeared in work of Hennion and Kapranov in their study of the Lie algebra cohomology of vector fields on a complex manifold. Additionally, we construct explicit representatives for cocycles in Gelfand--Fuks cohomology via descent.
- [115] arXiv:2405.05179 [pdf, ps, other]
-
Title: Detection of a piecewise linear crack with one incident waveSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
This paper is concerned with inverse crack scattering problems for time-harmonic acoustic waves. We prove that a piecewise linear crack with the sound-soft boundary condition in two dimensions can be uniquely determined by the far-field data corresponding to a single incident plane wave or point source. We propose two non-iterative methods for imaging the location and shape of a crack. The first one is a contrast sampling method, while the second one is a variant of the classical factorization method but only with one incoming wave. Newton's iteration method is then employed for getting a more precise reconstruction result. Numerical examples are presented to show the effectiveness of the proposed hybrid method.
- [116] arXiv:2405.05181 [pdf, ps, html, other]
-
Title: Randomized quasi-Monte Carlo and Owen's boundary growth condition: A spectral analysisComments: 45 pages, 8 figuresSubjects: Numerical Analysis (math.NA)
In this work, we analyze the convergence rate of randomized quasi-Monte Carlo (RQMC) methods under Owen's boundary growth condition [Owen, 2006] via spectral analysis. Specifically, we examine the RQMC estimator variance for the two commonly studied sequences: the lattice rule and the Sobol' sequence, applying the Fourier transform and Walsh--Fourier transform, respectively, for this analysis. Assuming certain regularity conditions, our findings reveal that the asymptotic convergence rate of the RQMC estimator's variance closely aligns with the exponent specified in Owen's boundary growth condition for both sequence types. We also provide guidance on choosing the importance sampling density to minimize RQMC estimator variance.
- [117] arXiv:2405.05186 [pdf, ps, other]
-
Title: Exploring the limits of the law of mass action in the mean field description of epidemics on Erd\"os-R\'enyi networksComments: 13 pages, 8 figures, 2 tablesSubjects: Dynamical Systems (math.DS)
The manner epidemics occurs in a social network depends on various elements, with two of the most influential being the relationships among individuals in the population and the mechanism of transmission. In this paper, we assume that the social network has a homogeneous random topology of Erdös-Rényi type. Regarding the contagion process, we assume that the probability of infection is proportional to the proportion of infected neighbours.
We consider a constant population, whose individuals are the nodes of the social network, formed by two variable subpopulations: Susceptible and Infected (SI model). We simulate the epidemics on this random network and study whether the average dynamics can be described using a mean field approach in terms of Differential Equations, employing the law of mass action. We show that a macroscopic description could be applied for low average connectivity, adjusting the value of the contagion rate in a precise function. This dependence is illustrated by calculating the transient times for each connectivity.
This study contributes valuable insights into the interplay between network connectivity, contagion dynamics, and the applicability of mean-field approximations. The delineation of critical thresholds and the distinctive behaviour at lower connectivity enable a deeper understanding of epidemic dynamics. - [118] arXiv:2405.05187 [pdf, ps, other]
-
Title: A score-based particle method for homogeneous Landau equationSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
We propose a novel score-based particle method for solving the Landau equation in plasmas, that seamlessly integrates learning with structure-preserving particle methods [arXiv:1910.03080]. Building upon the Lagrangian viewpoint of the Landau equation, a central challenge stems from the nonlinear dependence of the velocity field on the density. Our primary innovation lies in recognizing that this nonlinearity is in the form of the score function, which can be approximated dynamically via techniques from score-matching. The resulting method inherits the conservation properties of the deterministic particle method while sidestepping the necessity for kernel density estimation in [arXiv:1910.03080]. This streamlines computation and enhances scalability with dimensionality. Furthermore, we provide a theoretical estimate by demonstrating that the KL divergence between our approximation and the true solution can be effectively controlled by the score-matching loss. Additionally, by adopting the flow map viewpoint, we derive an update formula for exact density computation. Extensive examples have been provided to show the efficiency of the method, including a physically relevant case of Coulomb interaction.
- [119] arXiv:2405.05192 [pdf, ps, other]
-
Title: Full error analysis of the random deep splitting method for nonlinear parabolic PDEs and PIDEs with infinite activitySubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Probability (math.PR); Mathematical Finance (q-fin.MF)
In this paper, we present a randomized extension of the deep splitting algorithm introduced in [Beck, Becker, Cheridito, Jentzen, and Neufeld (2021)] using random neural networks suitable to approximately solve both high-dimensional nonlinear parabolic PDEs and PIDEs with jumps having (possibly) infinite activity. We provide a full error analysis of our so-called random deep splitting method. In particular, we prove that our random deep splitting method converges to the (unique viscosity) solution of the nonlinear PDE or PIDE under consideration. Moreover, we empirically analyze our random deep splitting method by considering several numerical examples including both nonlinear PDEs and nonlinear PIDEs relevant in the context of pricing of financial derivatives under default risk. In particular, we empirically demonstrate in all examples that our random deep splitting method can approximately solve nonlinear PDEs and PIDEs in 10'000 dimensions within seconds.
- [120] arXiv:2405.05194 [pdf, ps, other]
-
Title: Existence and dynamics of normalized solutions to Schr\"odinger equations with generic double-behaviour nonlinearitiesComments: 27 pagesSubjects: Analysis of PDEs (math.AP)
We study the existence of solutions $(\underline u,\lambda_{\underline u})\in H^1(\mathbb{R}^N; \mathbb{R}) \times \mathbb{R}$ to \[ -\Delta u + \lambda u = f(u) \quad \text{in } \mathbb{R}^N \] with $N \ge 3$ and prescribed $L^2$ norm, and the dynamics of the solutions to \[ \begin{cases} \mathrm{i} \partial_t \Psi + \Delta \Psi = f(\Psi)\\ \Psi(\cdot,0) = \psi_0 \in H^1(\mathbb{R}^N; \mathbb{C}) \end{cases} \] with $\psi_0$ close to $\underline u$. Here, the nonlinear term $f$ has mass-subcritical growth at the origin, mass-supercritical growth at infinity, and is more general than the sum of two powers. Under different assumptions, we prove the existence of a locally least-energy solution, the orbital stability of all such solutions, the existence of a second solution with higher energy, and the strong instability of such a solution.
- [121] arXiv:2405.05195 [pdf, ps, other]
-
Title: Trail Trap: a variant of Partizan Edge GeographyCalum Buchanan, MacKenzie Carr, Alexander Clifton, Stephen G. Hartke, Vesna Iršič, Nicholas Sieger, Rebecca WhitmanComments: 21 pages, 8 figures, 1 tableSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We introduce a two-player game played on undirected graphs called Trail Trap, which is a variant of a game known as Partizan Edge Geography. One player starts by choosing any edge and moving a token from one endpoint to the other; the other player then chooses a different edge and does the same. Alternating turns, each player moves their token along an unused edge from its current vertex to an adjacent vertex, until one player cannot move and loses. We present an algorithm to determine which player has a winning strategy when the graph is a tree, and partially characterize the trees on which a given player wins. Additionally, we show that Trail Trap is NP-hard, even for connected bipartite planar graphs with maximum degree $4$ as well as for disconnected graphs. We determine which player has a winning strategy for certain subclasses of complete bipartite graphs and grid graphs, and we propose several open problems for further study.
- [122] arXiv:2405.05199 [pdf, ps, other]
-
Title: Extending the Torelli map to alternative compactifications of the moduli space of curvesSubjects: Algebraic Geometry (math.AG)
Determining the limiting behaviour of the Jacobian as the underlying curve degenerates has been the subject of much interest. For nodal singularities, there are beautiful constructions of Caporaso as well as Pandharipande of compactified universal Jacobians over the moduli space of stable curves. Alexeev later obtained a canonical such compactification by extending the Torelli map out of the Deligne-Mumford compactification of $\mathcal{M}_{g,n}$. In contrast, Alexeev and Brunyate proved that the Torelli map does not extend over the cuspidal locus in Schubert's alternative compactification of pseudostable curves.
In this paper, we consider curves with singularities that locally look like the axes in $m$-space, which we call fold-like singularities. We construct an alternative compactification of $\mathcal{M}_{g,n}$ consisting of curves with such singularities and prove that the Torelli map extends out of this compactification. Furthermore, for every alternative compactification in the sense of Smyth, we identify a fold-like locus over which the Torelli map extends. - [123] arXiv:2405.05203 [pdf, ps, other]
-
Title: A multiple coupon collection process and its Markov embedding structureEllen Baake (Bielefeld), Michael Baake (Bielefeld)Comments: 19 pagesSubjects: Probability (math.PR)
The embedding problem of Markov transition matrices into Markov semigroups is a classic problem that regained a lot of impetus and activities in recent years. We consider it here for the following generalisation of the well-known coupon collection process: from a finite set of distinct objects, a subset is drawn repeatedly according to some probability distribution, independently and with replacement, and each time united with the set of objects sampled so far. We derive and interpret properties and explicit conditions for the resulting discrete-time Markov chain to be representable within a semigroup or a flow of a continuous-time process of the same type.
- [124] arXiv:2405.05211 [pdf, ps, other]
-
Title: Broadcast Channel Synthesis from Shared RandomnessSubjects: Information Theory (cs.IT)
We study the problem of synthesising a two-user broadcast channel using a common message, where each output terminal shares an independent source of randomness with the input terminal. This generalises two problems studied in the literature (Cuff, IEEE Trans. Inform. Theory, 2013; Kurri this http URL., IEEE Trans. Inform. Theory, 2021). We give an inner bound on the tradeoff region between the rates of communication and shared randomness, and a lower bound on the minimum communication rate. Although the bounds presented here are not tight in general, they are tight for some special cases, including the aforementioned problems.
- [125] arXiv:2405.05213 [pdf, ps, other]
-
Title: Exponential time propagators for elastodynamicsSubjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE)
We propose a computationally efficient and systematically convergent approach for elastodynamics simulations. We recast the second-order dynamical equation of elastodynamics into an equivalent first-order system of coupled equations, so as to express the solution in the form of a Magnus expansion. With any spatial discretization, it entails computing the exponential of a matrix acting upon a vector. We employ an adaptive Krylov subspace approach to inexpensively and and accurately evaluate the action of the exponential matrix on a vector. In particular, we use an apriori error estimate to predict the optimal Kyrlov subspace size required for each time-step size. We show that the Magnus expansion truncated after its first term provides quadratic and superquadratic convergence in the time-step for nonlinear and linear elastodynamics, respectively. We demonstrate the accuracy and efficiency of the proposed method for one linear (linear cantilever beam) and three nonlinear (nonlinear cantilever beam, soft tissue elastomer, and hyperelastic rubber) benchmark systems. For a desired accuracy in energy, displacement, and velocity, our method allows for $10-100\times$ larger time-steps than conventional time-marching schemes such as Newmark-$\beta$ method. Computationally, it translates to a $\sim$$1000\times$ and $\sim$$10-100\times$ speed-up over conventional time-marching schemes for linear and nonlinear elastodynamics, respectively.
- [126] arXiv:2405.05222 [pdf, ps, other]
-
Title: Brooks-type colourings of digraphs in linear timeComments: 26 pages, 5 figuresSubjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)
Brooks' Theorem is a fundamental result on graph colouring, stating that the chromatic number of a graph is almost always upper bounded by its maximal degree. Lovász showed that such a colouring may then be computed in linear time when it exists. Many analogues are known for variants of (di)graph colouring, notably for list-colouring and partitions into subgraphs with prescribed degeneracy. One of the most general results of this kind is due to Borodin, Kostochka, and Toft, when asking for classes of colours to satisfy "variable degeneracy" constraints. An extension of this result to digraphs has recently been proposed by Bang-Jensen, Schweser, and Stiebitz, by considering colourings as partitions into "variable weakly degenerate" subdigraphs. Unlike earlier variants, there exists no linear-time algorithm to produce colourings for these generalisations.
We introduce the notion of (variable) bidegeneracy for digraphs, capturing multiple (di)graph degeneracy variants. We define the corresponding concept of $F$-dicolouring, where $F = (f_1,...,f_s)$ is a vector of functions, and an $F$-dicolouring requires vertices coloured $i$ to induce a "strictly-$f_i$-bidegenerate" subdigraph. We prove an analogue of Brooks' theorem for $F$-dicolouring, generalising the result of Bang-Jensen et al., and earlier analogues in turn.
Our new approach provides a linear-time algorithm that, given a digraph $D$, either produces an $F$-dicolouring of $D$, or correctly certifies that none exist. This yields the first linear-time algorithms to compute (di)colourings corresponding to the aforementioned generalisations of Brooks' theorem. In turn, it gives an unified framework to compute such colourings for various intermediate generalisations of Brooks' theorem such as list-(di)colouring and partitioning into (variable) degenerate sub(di)graphs. - [127] arXiv:2405.05223 [pdf, ps, html, other]
-
Title: The Harnack inequality fails for nonlocal kinetic equationsSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We prove that the Harnack inequality fails for nonlocal kinetic equations. Such equations arise as linearized models for the Boltzmann equation without cutoff and are of hypoelliptic type. We provide a counterexample for the simplest equation in this theory, the fractional Kolmogorov equation. Our result reflects a purely nonlocal phenomenon since the Harnack inequality holds true for local kinetic equations like the Kolmogorov equation.
- [128] arXiv:2405.05228 [pdf, ps, other]
-
Title: Generalized vector potential and Trace Theorem for Lipschitz domainsSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
The vector potential is a fundamental concept widely applied across various fields. This paper presents an existence theorem of a vector potential for divergence-free functions in $W^{m,p}(\mathbb{R}^N,\mathbb{T})$ with general $m,p,N$. Based on this theorem, one can establish the space decomposition theorem for functions in $W^{m,p}_0(\operatorname{curl};\Omega,\mathbb{R}^N)$ and the trace theorem for functions in $W^{m,p}(\Omega)$ within the Lipschitz domain $\Omega \subset \mathbb{R}^N$. The methods of proof employed in this paper are straightforward, natural, and consistent.
- [129] arXiv:2405.05230 [pdf, ps, other]
-
Title: On $\operatorname{Alt}(n)$-modules with an additive dimension when $n\le6$Subjects: Group Theory (math.GR); Logic (math.LO)
Working in the general context of "modules with an additive dimension," we complete the determination of the minimal dimension of a faithful Alt(n)-module and classify those modules in three of the exceptional cases: 2-dimensional Alt(5)-modules in characteristic 2, 3-dimensional Alt(5)-modules in characteristic 5, and 3-dimensional Alt(6)-modules in characteristic 3. We also highlight the remaining work needed to complete the classification of the faithful Alt(n)-modules of minimal dimension for all n; these open problems seem well suited as projects for advanced undergraduate or master's students.
- [130] arXiv:2405.05233 [pdf, ps, other]
-
Title: Classical Grand Angular Momentum in N-Body ProblemsComments: 8 pages, 3 figuresSubjects: Mathematical Physics (math-ph)
The concept of grand angular momentum is widely used in the study of N-body problems quantum mechanically. Here, we applied it to a classical analysis of N-body problems. Utilizing the tree representation for Jacobi and hyperspherical coordinates, we found a decomposition of its magnitude into magnitudes of one-body angular momenta in 3 dimensions. We generalized some results from the two-body problem. Furthermore, we derive the general expression for the scattering angle for the N-body problem.
- [131] arXiv:2405.05242 [pdf, ps, other]
-
Title: Quantum Steenrod operations and Fukaya categoriesComments: 58 pages, 5 figuresSubjects: Symplectic Geometry (math.SG); K-Theory and Homology (math.KT)
This paper is concerned with quantum cohomology and Fukaya categories of a closed monotone symplectic manifold $X$, where we use coefficients in a field $\mathbf{k}$ of characteristic $p>0$. The first main result of this paper is that the quantum Steenrod operations $Q\Sigma$ admit an interpretation in terms of the Fukaya category of $X$, via suitable versions of the open-closed maps. Using this, we show that $Q\Sigma$, whose definition is intrinsic to characteristic $p$, is compatible with certain structures inherited from the quantum connection in characteristic $0$. We then turn to applications of these results. The first application is an arithmetic proof of the unramified exponential type conjecture for $X$ that satisfies Abouzaid's generation criterion over $\overline{\mathbb{Q}}$, which uses a reduction mod $p$ argument. Next, we demonstrate how the categorical perspective provides new tools for computing $Q\Sigma$ beyond the reach of known technology. We also explore potential connections of our work to arithmetic homological mirror symmetry.
- [132] arXiv:2405.05246 [pdf, ps, other]
-
Title: Semi-infinite particle systems with exclusion interaction and heterogeneous jump ratesComments: 32 pages, 1 figureSubjects: Probability (math.PR)
We study semi-infinite particle systems on the one-dimensional integer lattice, where each particle performs a continuous-time nearest-neighbour random walk, with jump rates intrinsic to each particle, subject to an exclusion interaction which suppresses jumps that would lead to more than one particle occupying any site. Under appropriate hypotheses on the jump rates (uniformly bounded rates is sufficient) and started from an initial condition that is a finite perturbation of the close-packed configuration, we give conditions under which the particles evolve as a single, semi-infinite "stable cloud". More precisely, we show that inter-particle separations converge to a product-geometric stationary distribution, and that the location of every particle obeys a strong law of large numbers with the same characteristic speed.
- [133] arXiv:2405.05249 [pdf, ps, other]
-
Title: Effective correlation and decorrelation for newforms, and weak subconvexity for $L$-functionsComments: 51 pages. Appendix by Jesse ThornerSubjects: Number Theory (math.NT)
Let $f$ and $g$ be spectrally normalized holomorphic newforms of even weight $k \geq2$ on $\Gamma_0(q)$. If $f\neq g$, then assume that $q$ is squarefree. For a nice test function $\psi$ supported on $\Gamma_0(1)\backslash\mathbb{H}$, we establish the best known bounds (uniform in $k$, $q$, and $\psi$) for \[ \int_{\Gamma_0(q)\backslash\mathbb{H}}\psi(z)f(z)\overline{g(z)}y^{k}\frac{dxdy}{y^2}-\mathbf{1}_{f = g}\frac{3}{\pi}\int_{\Gamma_0(1)\backslash\mathbb{H}}\psi(z)\frac{dx dy}{y^2}.\] When $f=g$, our results yield an effective holomorphic variant of quantum unique ergodicity, refining work of Holowinsky-Soundararajan and Nelson-Pitale-Saha. When $f \neq g$, our results extend and improve the effective decorrelation result of Huang for $q=1$. To prove our results, we refine Soundararajan's weak subconvexity bound for Rankin-Selberg $L$-functions.
- [134] arXiv:2405.05251 [pdf, ps, other]
-
Title: Radiative corrections to the dynamics of a tracer particle coupled to a Bose scalar fieldComments: 38 pages, 2 figuresSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We consider a tracer particle coupled to a Bose scalar field and study the regime where the field's propagation speed approaches infinity. For initial states devoid of field excitations, we introduce an effective approximation of the time-evolved wave function and prove its validity in Hilbert space norm. In this approximation, the field remains in the vacuum state while the tracer particle propagates with a modified dispersion relation. Physically, the new dispersion relation can be understood as the effect of radiative corrections due to interactions with virtual bosons. Mathematically, it is defined as the solution of a self-consistent equation, whose form depends on the relevant time scale.
New submissions for Thursday, 9 May 2024 (showing 134 of 134 entries )
- [135] arXiv:2404.15233 (cross-list from hep-th) [pdf, ps, other]
-
Title: Towards field theory of multiple D0-branes. Hamiltonian mechanics and quantization of simplest 3D prototype of multiple D0-brane systemComments: V2: Misprints correctedSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Recently we have constructed a completely supersymmetric nonlinear action possessing the properties expected from multiple D0-brane system. Its quantization should result in an interesting supersymmetric field theory in the (super)space with additional matrix coordinates which can provide an important insights in the study of String Theory. As a first stage toward this aim, in this paper we construct the Hamiltonian mechanics and perform covariant quantization of the simplest three dimensional counterpart of the ten dimensional multiple D0-brane model. We obtain a supersymmetric system of equations in super-spacetime enlarged by bosonic and fermionic matrix coordinates which appears as a result of such quantization and discuss some of its properties.
- [136] arXiv:2405.04554 (cross-list from cs.CR) [pdf, ps, html, other]
-
Title: Differentially Private Synthetic Data with Private Density EstimationComments: Accepted to ISIT 2024Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT); Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
The need to analyze sensitive data, such as medical records or financial data, has created a critical research challenge in recent years. In this paper, we adopt the framework of differential privacy, and explore mechanisms for generating an entire dataset which accurately captures characteristics of the original data. We build upon the work of Boedihardjo et al, which laid the foundations for a new optimization-based algorithm for generating private synthetic data. Importantly, we adapt their algorithm by replacing a uniform sampling step with a private distribution estimator; this allows us to obtain better computational guarantees for discrete distributions, and develop a novel algorithm suitable for continuous distributions. We also explore applications of our work to several statistical tasks.
- [137] arXiv:2405.04559 (cross-list from cs.SI) [pdf, ps, html, other]
-
Title: Understanding High-Order Network Structure using Permissible Walks on Attributed HypergraphsEnzo Battistella, Sean English, Robert Green, Cliff Joslyn, Evgeniya Lagoda, Van Magnan, Audun Myers, Evan D. Nash, Michael RobinsonSubjects: Social and Information Networks (cs.SI); Combinatorics (math.CO)
Hypergraphs have been a recent focus of study in mathematical data science as a tool to understand complex networks with high-order connections. One question of particular relevance is how to leverage information carried in hypergraph attributions when doing walk-based techniques. In this work, we focus on a new generalization of a walk in a network that recovers previous approaches and allows for a description of permissible walks in hypergraphs. Permissible walk graphs are constructed by intersecting the attributed $s$-line graph of a hypergraph with a relation respecting graph. The attribution of the hypergraph's line graph commonly carries over information from categorical and temporal attributions of the original hypergraph. To demonstrate this approach on a temporally attributed example, we apply our framework to a Reddit data set composed of hyperedges as threads and authors as nodes where post times are tracked.
- [138] arXiv:2405.04599 (cross-list from quant-ph) [pdf, ps, html, other]
-
Title: Complex Scaling Method applied to the study of the Swanson Hamiltonian in the broken PT-symmetry phaseSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In this work, we study the non-PT symmetry phase of the Swanson Hamiltonian in the framework of the Complex Scaling Method. By constructing a bi-orthogonality relation, we apply the formalism of the response function to analyse the time evolution of different initial wave packages. The Wigner Functions and mean value of operators are evaluated as a function of time. We analyse in detail the time evolution in the neighbourhood of Exceptional Points. We derive a continuity equation for the system. We compare the results obtained using the Complex Scaling Method to the ones obtained by working in a Rigged Hilbert Space.
- [139] arXiv:2405.04612 (cross-list from cs.PL) [pdf, ps, html, other]
-
Title: Numerical Fuzz: A Type System for Rounding Error AnalysisSubjects: Programming Languages (cs.PL); Numerical Analysis (math.NA)
Algorithms operating on real numbers are implemented as floating-point computations in practice, but floating-point operations introduce roundoff errors that can degrade the accuracy of the result. We propose $\Lambda_{num}$, a functional programming language with a type system that can express quantitative bounds on roundoff error. Our type system combines a sensitivity analysis, enforced through a linear typing discipline, with a novel graded monad to track the accumulation of roundoff errors. We prove that our type system is sound by relating the denotational semantics of our language to the exact and floating-point operational semantics. To demonstrate our system, we instantiate $\Lambda_{num}$ with error metrics proposed in the numerical analysis literature and we show how to incorporate rounding operations that faithfully model aspects of the IEEE 754 floating-point standard. To show that $\Lambda_{num}$ can be a useful tool for automated error analysis, we develop a prototype implementation for $\Lambda_{num}$ that infers error bounds that are competitive with existing tools, while often running significantly faster. Finally, we consider semantic extensions of our graded monad to bound error under more complex rounding behaviors, such as non-deterministic and randomized rounding.
- [140] arXiv:2405.04619 (cross-list from hep-th) [pdf, ps, other]
-
Title: Non-anomalous non-invertible symmetries in 1+1D from gapped boundaries of SymTFTsComments: 72 pages, 24 figuresSubjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
We study the anomalies of non-invertible symmetries in 1+1D QFTs using gapped boundaries of its SymTFT. We establish the explicit relation between Lagrangian algebras which determine gapped boundaries of the SymTFT, and algebras which determine non-anomalous/gaugeable topological line operators in the 1+1D QFT. If the Lagrangian algebras in the SymTFT are known, this provides a method to compute algebras in all fusion categories that share the same SymTFT. We find necessary conditions that a line operator in the SymTFT must satisfy for the corresponding line operator in the 1+1D QFT to be non-anomalous. We use this constraint to show that a non-invertible symmetry admits a 1+1D trivially gapped phase if and only if the SymTFT admits a magnetic Lagrangian algebra. We define a process of transporting non-anomalous line operators between fusion categories which share the same SymTFT and apply this method to the three Haagerup fusion categories.
- [141] arXiv:2405.04710 (cross-list from cs.LG) [pdf, ps, html, other]
-
Title: Untangling Lariats: Subgradient Following of Variationally Penalized ObjectivesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
We describe a novel subgradient following apparatus for calculating the optimum of convex problems with variational penalties. In this setting, we receive a sequence $y_i,\ldots,y_n$ and seek a smooth sequence $x_1,\ldots,x_n$. The smooth sequence attains the minimum Bregman divergence to an input sequence with additive variational penalties in the general form of $\sum_i g_i(x_{i+1}-x_i)$. We derive, as special cases of our apparatus, known algorithms for the fused lasso and isotonic regression. Our approach also facilitates new variational penalties such as non-smooth barrier functions. We next derive and analyze multivariate problems in which $\mathbf{x}_i,\mathbf{y}_i\in\mathbb{R}^d$ and variational penalties that depend on $\|\mathbf{x}_{i+1}-\mathbf{x}_i\|$. The norms we consider are $\ell_2$ and $\ell_\infty$ which promote group sparsity. Last but not least, we derive a lattice-based subgradient following for variational penalties characterized through the output of arbitrary convolutional filters. This paradigm yields efficient solvers for problems in which sparse high-order discrete derivatives such as acceleration and jerk are desirable.
- [142] arXiv:2405.04772 (cross-list from hep-th) [pdf, ps, other]
-
Title: Cluster Alphabets from Generalized Worldsheets: A Geometric Approach to Finite TypesJournal-ref: Phys. Rev. D 108, 105013 (2023)Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We provide a systematic derivation of cluster alphabets of finite types. The construction is based on a geometric realization of the generalized worldsheets by gluing and folding a pair of polygons. The cross ratios of the worldsheet z variables are evolved using the Y-system equations. By a new gauge choice, we obtain a simpler set of cluster alphabets than the known ones.
- [143] arXiv:2405.04842 (cross-list from cs.SC) [pdf, ps, html, other]
-
Title: Effective alpha theory certification using interval arithmetic: alpha theory over regionsComments: Accepted for the Proceedings of ICMS 2024Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Numerical Analysis (math.NA)
We reexamine Smale's alpha theory as a way to certify a numerical solution to an analytic system. For a given point and a system, Smale's alpha theory determines whether Newton's method applied to this point shows the quadratic convergence to an exact solution. We introduce the alpha theory computation using interval arithmetic to avoid costly exact arithmetic. As a straightforward variation of the alpha theory, our work improves computational efficiency compared to software employing the traditional alpha theory.
- [144] arXiv:2405.04956 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Modified version of open TASEP with dynamic defectsSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We propose a modification to the study of site-wise dynamically disordered totally asymmetric simple exclusion process (TASEP). Motivated by the process of gene transcription, a study in ref. [39] introduced an extension of TASEP, where the defects (or obstacles) bind/un-bind dynamically to the sites of the lattice and the hopping of the particles on lattice faces a hindrance if the arrival site is occupied by an obstacle. In addition, the particle is only allowed to enter the lattice provided the first site is defect-free. In our study, we propose that the particle movement at the entry of the lattice must face an equal hindrance that is provided by the obstacles to the rest of the particles on the lattice. For open boundaries, the continuum mean-field equations are derived and solved numerically to obtain steady-state phase diagrams and density profiles. The presence of obstacles produces a shift in the phase boundaries obtained but the same three phases as obtained for the standard TASEP. Contrary to the model introduced in ref. \cite{waclaw2019totally}, the idea to introduce the modification at the entrance shows that the limiting case $p_d \rightarrow 1$ converges to the standard TASEP, where $p_d$ refers to the affected hopping rate due to presence of obstacle. The mean-field solutions are validated using extensive Monte Carlo simulations.
- [145] arXiv:2405.04981 (cross-list from astro-ph.HE) [pdf, ps, other]
-
Title: A unified theory of the self-similar supersonic Marshak wave problemComments: Accepted for publications in Physics of FluidsSubjects: High Energy Astrophysical Phenomena (astro-ph.HE); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn); Plasma Physics (physics.plasm-ph)
We present a systematic study of the similarity solutions for the Marshak wave problem, in the local thermodynamic equilibrium (LTE) diffusion approximation and in the supersonic regime. Self-similar solutions exist for a temporal power law surface temperature drive and a material model with power law temperature dependent opacity and energy density. The properties of the solutions in both linear and nonlinear conduction regimes are studied as a function of the temporal drive, opacity and energy density exponents. We show that there exists a range of the temporal exponent for which the total energy in the system decreases, and the solution has a local maxima. For nonlinear conduction, we specify the conditions on the opacity and energy density exponents under which the heat front is linear or even flat, and does posses its common sharp character; this character is independent of the drive exponent. We specify the values of the temporal exponents for which analytical solutions exist and employ the Hammer-Rosen perturbation theory to obtain highly accurate approximate solutions, which are parameterized using only two numerically fitted quantities. The solutions are used to construct a set of benchmarks for supersonic LTE radiative heat transfer, including some with unusual and interesting properties such as local maxima and non sharp fronts. The solutions are compared in detail to implicit Monte-Carlo and discrete-ordinate transport simulations as well gray diffusion simulations, showing a good agreement, which highlights their usefulness as a verification test problem for radiative transfer simulations.
- [146] arXiv:2405.04998 (cross-list from cs.LO) [pdf, ps, other]
-
Title: Axiomatization of approximate exclusionComments: 11 pagesSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
We define and axiomatize approximate exclusion atoms in the team semantic setting. A team is a set of assignments, which can be seen as a mathematical model of a uni-relational database, and we say that an approximate exclusion atom is satisfied in a team if the corresponding usual exclusion atom is satisfied in a large enough subteam. We consider the implication problem for approximate exclusion atoms and show that it is axiomatizable for consequences with a degree of approximation that is not too large. We prove the completeness theorem for usual exclusion atoms, which is currently missing from the literature, and generalize it to approximate exclusion atoms. We also provide a polynomial time algorithm for the implication problems. The results also apply to exclusion dependencies in database theory.
- [147] arXiv:2405.05002 (cross-list from physics.optics) [pdf, ps, other]
-
Title: Tunable Localisation in Parity-Time-Symmetric Resonator Arrays with Imaginary Gauge PotentialsSubjects: Optics (physics.optics); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
The aim of this paper is to illustrate both analytically and numerically the interplay of two fundamentally distinct non-Hermitian mechanisms in a deep subwavelength regime. Considering a parity-time symmetric system of one-dimensional subwavelength resonators equipped with two kinds of non-Hermiticity - an imaginary gauge potential and on-site gain and loss - we prove that all but two eigenmodes of the system decouple when going through an exceptional point. By tuning the gain-to-loss ratio, the system changes from a phase with unbroken parity-time symmetry to a phase with broken parity-time symmetry. At the macroscopic level, this is observed as a transition from symmetrical eigenmodes to condensated eigenmodes at one edge of the structure. Mathematically, it arises from a topological state change. The results of this paper open the door to the justification of a variety of phenomena arising from the interplay between non-Hermitian reciprocal and non-reciprocal mechanisms not only in subwavelength wave physics but also in quantum mechanics where the tight binding model coupled with the nearest neighbour approximation can be analysed with the same tools as those developed here.
- [148] arXiv:2405.05081 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Robust deep learning from weakly dependent dataSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
Recent developments on deep learning established some theoretical properties of deep neural networks estimators. However, most of the existing works on this topic are restricted to bounded loss functions or (sub)-Gaussian or bounded input. This paper considers robust deep learning from weakly dependent observations, with unbounded loss function and unbounded input/output. It is only assumed that the output variable has a finite $r$ order moment, with $r >1$. Non asymptotic bounds for the expected excess risk of the deep neural network estimator are established under strong mixing, and $\psi$-weak dependence assumptions on the observations. We derive a relationship between these bounds and $r$, and when the data have moments of any order (that is $r=\infty$), the convergence rate is close to some well-known results. When the target predictor belongs to the class of Hölder smooth functions with sufficiently large smoothness index, the rate of the expected excess risk for exponentially strongly mixing data is close to or as same as those for obtained with i.i.d. samples. Application to robust nonparametric regression and robust nonparametric autoregression are considered. The simulation study for models with heavy-tailed errors shows that, robust estimators with absolute loss and Huber loss function outperform the least squares method.
- [149] arXiv:2405.05163 (cross-list from quant-ph) [pdf, ps, html, other]
-
Title: Fast Fourier transforms and fast Wigner and Weyl functions in large quantum systemsJournal-ref: Eur. Phys. J. Plus 139, 394 (2024)Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Two methods for fast Fourier transforms are used in a quantum context. The first method is for systems with dimension of the Hilbert space $D=d^n$ with $d$ an odd integer, and is inspired by the Cooley-Tukey formalism. The `large Fourier transform' is expressed as a sequence of $n$ `small Fourier transforms' (together with some other transforms) in quantum systems with $d$-dimensional Hilbert space. Limitations of the method are discussed. In some special cases, the $n$ Fourier transforms can be performed in parallel. The second method is for systems with dimension of the Hilbert space $D=d_0...d_{n-1}$ with $d_0,...,d_{n-1}$ odd integers coprime to each other. It is inspired by the Good formalism, which in turn is based on the Chinese reminder theorem. In this case also the `large Fourier transform' is expressed as a sequence of $n$ `small Fourier transforms' (that involve some constants related to the number theory that describes the formalism). The `small Fourier transforms' can be performed in a classical computer or in a quantum computer (in which case we have the additional well known advantages of quantum Fourier transform circuits). In the case that the small Fourier transforms are performed with a classical computer, complexity arguments for both methods show the reduction in computational time from ${\cal O}(D^2)$ to ${\cal O}(D\log D)$. The second method is also used for the fast calculation of Wigner and Weyl functions, in quantum systems with large finite dimension of the Hilbert space.
- [150] arXiv:2405.05178 (cross-list from hep-th) [pdf, ps, other]
-
Title: Fusion rule in conformal field theories and topological orders: A unified view of correspondence and (fractional) supersymmetry and their relation to topological holographySubjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
Generalized symmetry, including non-invertible and categorical symmetry, plays a central role in contemporary studies on topological orders (TOs) and the corresponding conformal field theories (CFTs). The generators of such symmetries have a close connection to non-abelian anyonic objects in a bulk CFT or chiral CFT (CCFT), but it has been known that the construction of a CCFT contains theoretical difficulties in general. In this work, we revisit the structure of the fusion rule in $Z_{N}$ symmetric chiral and bulk conformal field theories and the corresponding TOs. We propose a nontrivial expression of subalgebra structure in the fusion rule of a bulk CFT. We name this subalgebra "bulk semionization" which corresponds to the fusion rule of the CCFTs and categorical symmetry of the TOs. This is a bulk-edge correspondence based on the symmetry analysis and can be interpreted as a version of topological holography in the recent literature. The topological holography has been expected to be applicable to the systems in general space-time dimensions. Moreover, we give a concise way of unifying duality (or fractional supersymmetry), generalized or categorical symmetry, and Lagrangian subalgebra. Our method is potentially useful to formulate and study general TOs, fundamentally only from the data of bulk CFTs.
- [151] arXiv:2405.05190 (cross-list from stat.ML) [pdf, ps, html, other]
-
Title: Is Transductive Learning Equivalent to PAC Learning?Subjects: Machine Learning (stat.ML); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Statistics Theory (math.ST)
Most work in the area of learning theory has focused on designing effective Probably Approximately Correct (PAC) learners. Recently, other models of learning such as transductive error have seen more scrutiny. We move toward showing that these problems are equivalent by reducing agnostic learning with a PAC guarantee to agnostic learning with a transductive guarantee by adding a small number of samples to the dataset. We first rederive the result of Aden-Ali et al. arXiv:2304.09167 reducing PAC learning to transductive learning in the realizable setting using simpler techniques and at more generality as background for our main positive result. Our agnostic transductive to PAC conversion technique extends the aforementioned argument to the agnostic case, showing that an agnostic transductive learner can be efficiently converted to an agnostic PAC learner. Finally, we characterize the performance of the agnostic one inclusion graph algorithm of Asilis et al. arXiv:2309.13692 for binary classification, and show that plugging it into our reduction leads to an agnostic PAC learner that is essentially optimal. Our results imply that transductive and PAC learning are essentially equivalent for supervised learning with pseudometric losses in the realizable setting, and for binary classification in the agnostic setting. We conjecture this is true more generally for the agnostic setting.
- [152] arXiv:2405.05236 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural NetworksSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
This paper presents sufficient conditions for the stability and $\ell_2$-gain performance of recurrent neural networks (RNNs) with ReLU activation functions. These conditions are derived by combining Lyapunov/dissipativity theory with Quadratic Constraints (QCs) satisfied by repeated ReLUs. We write a general class of QCs for repeated RELUs using known properties for the scalar ReLU. Our stability and performance condition uses these QCs along with a "lifted" representation for the ReLU RNN. We show that the positive homogeneity property satisfied by a scalar ReLU does not expand the class of QCs for the repeated ReLU. We present examples to demonstrate the stability / performance condition and study the effect of the lifting horizon.
Cross submissions for Thursday, 9 May 2024 (showing 18 of 18 entries )
- [153] arXiv:1607.00564 (replaced) [pdf, ps, html, other]
-
Title: Polyhedral Horofunction Compactification as a Polyhedral BallComments: 26 pages, 6 figures; major revision to make it more accessible and understandableSubjects: Geometric Topology (math.GT); Metric Geometry (math.MG)
In this paper we answer positively a question raised by Kapovich and Leeb in a paper titled "Finsler bordifications of symmetric and certain locally symmetric spaces". Specifically, we show that for a finite-dimensional vector space with a polyhedral norm, its horofunction compactification is homeomorphic to the dual unit ball of the norm by an explicit map. To prove this, we establish a criterion for converging sequences in the horofunction compactification and generalize the basic notion of the moment map in the theory of toric varieties.
- [154] arXiv:1905.05867 (replaced) [pdf, ps, other]
-
Title: On Borel subalgebras of quantum groupsComments: 50 pages, final version to appear in CCMSubjects: Quantum Algebra (math.QA)
For a quantum group, we study those right coideal subalgebras, for which all irreducible representations are one-dimensional. If a right coideal subalgebra is maximal with this property, then we call it a Borel subalgebra.
Besides the positive part of the quantum group and its reflections, we find new unfamiliar Borel subalgebras, for example, ones containing copies of the quantum Weyl algebra. Given a Borel subalgebra, we study its induced (Verma-)modules and prove among others that they have all irreducible finite-dimensional modules as quotients. We give two structural conjectures involving the associated graded right coideal subalgebra, which we prove in certain cases. In particular, they predict the shape of all triangular Borel subalgebras. As examples, we determine all Borel subalgebras of $U_q(\mathfrak{sl}_2)$ and $U_q(\mathfrak{sl}_3)$ and discuss the induced modules. - [155] arXiv:2009.05084 (replaced) [pdf, ps, other]
-
Title: The relatively perfect Greenberg transform and cycle class mapsComments: Revised after referee report. 43 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Given a scheme over a complete discrete valuation ring of mixed characteristic with perfect residue field, the Greenberg transform produces a new scheme over the residue field thicker than the special fiber. In this paper, we will generalize this transform to the case of imperfect residue field. We will then construct a certain kind of cycle class map defined on this generalized Greenberg transform applied to the Néron model of a semi-abelian variety, which takes values in the relatively perfect nearby cycle functor defined by Kato and the second author.
- [156] arXiv:2009.09160 (replaced) [pdf, ps, html, other]
-
Title: Poincar\'{e} duality for rigid analytic Hyodo--Kato theoryComments: 4th version, 58 pages. We added an appendix concerning an explicit construction of the cup product. We modified the references to our paper "Rigid analytic reconstruction of Hyodo--Kato theory" where necessary. We made changes to avoid the use of Thms. A and B for dagger quasi-Stein spacesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
The purpose of this paper is to establish Hyodo--Kato theory with compact support for semistable schemes through rigid analytic methods. To this end we introduce several types of log rigid cohomology with compact support. moreover we show that additional structures on the (rigid) Hyodo--Kato cohomology and the Hyodo--Kato map introduced in our previous paper are compatible with Poincaré duality. Compared to the crystalline approach, the constructions are explicit yet versatile, and hence suitable for computations.
- [157] arXiv:2012.00324 (replaced) [pdf, ps, html, other]
-
Title: Pointwise Regularity for Fully Nonlinear Elliptic Equations in General FormsSubjects: Analysis of PDEs (math.AP)
In this paper, we develop systematically the pointwise regularity for viscosity solutions of fully nonlinear elliptic equations in general forms. In particular, the equations with quadratic growth (called natural growth) in the gradient are covered. We obtain a series of interior and boundary pointwise $C^{k,\alpha}$ regularity ($k\geq 1$ and $0<\alpha<1$). In addition, we also derive the pointwise $C^k$ regularity ($k\geq 1$) and $C^{k,\mathrm{lnL}}$ regularity ($k\geq 0$), which correspond to the end points $\alpha=0$ and $\alpha=1$ respectively. Some regularity results are new even for the linear equations. Moreover, the minimum requirements are imposed to obtain above regularity and our proofs are simple.
- [158] arXiv:2111.10875 (replaced) [pdf, ps, html, other]
-
Title: The number of real zeros of elliptic polynomialsComments: 49 pages, 2 figures, 1 table, final versionSubjects: Probability (math.PR)
Let $N_n(a, b)$ denote the number of real zeros of Gaussian elliptic polynomials of degree $n$ on the interval $(a, b)$, where $a$ and $b$ may vary with $n$. We obtain a precise formula for the variance of $N_n(a, b)$ and utilize this expression to derive an asymptotic expansion for large values of $n$. Furthermore, we provide sharp estimates for the cumulants and central moments of $N_n(a, b)$. These estimates are instrumental in establishing sufficient conditions on the interval $(a, b)$ for $N_n(a, b)$ to satisfy both a central limit theorem and a strong law of large numbers. In the second part of the paper, we extend our analysis to nondegenerate Gaussian analytic functions, including well-known examples such as the Gaussian Weyl series and Weyl polynomials.
- [159] arXiv:2201.10507 (replaced) [pdf, ps, html, other]
-
Title: Homological Lagrangian monodromy for some monotone toriComments: v4 Incorporating referee comments. To appear in Quantum Topology. 23 pages, comments welcomeSubjects: Symplectic Geometry (math.SG)
Given a Lagrangian submanifold $L$ in a symplectic manifold $X$, the homological Lagrangian monodromy group $\mathcal{H}_L$ describes how Hamiltonian diffeomorphisms of $X$ preserving $L$ setwise act on $H_*(L)$. We begin a systematic study of this group when $L$ is a monotone Lagrangian $n$-torus. Among other things, we describe $\mathcal{H}_L$ completely when $L$ is a monotone toric fibre, make significant progress towards classifying the groups than can occur for $n=2$, and make a conjecture for general $n$. Our classification results rely crucially on arithmetic properties of Floer cohomology rings.
- [160] arXiv:2202.12798 (replaced) [pdf, ps, other]
-
Title: Decomposition of tracial positive maps and applications in quantum informationJournal-ref: Anal. Math. Phys. 14 (2024), no. 3, Paper No. 48Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
Every positive multilinear map between $C^*$-algebras is separately weak$^*$-continuous. We show that the joint weak$^*$-continuity is equivalent to the joint weak$^*$-continuity of the multiplications of $C^*$-algebras under consideration. We study the behavior of general tracial positive maps on properly infinite von Neumann algebras and by applying the Aron--Berner extension of multilinear maps, we establish that under some mild conditions every tracial positive multilinear map between general $C^*$-algebras enjoys a decomposition $\Phi=\varphi_2 \circ \varphi_1$, in which $\varphi_1$ is a tracial positive linear map with the commutative range and $\varphi_2$ is a tracial completely positive map with the commutative domain. As an immediate consequence, tracial positive multilinear maps are completely positive. Furthermore, we prove that if the domain of a general tracial completely positive map $\Phi$ between $C^*$-algebra is a von Neumann algebra, then $\Phi$ has a similar decomposition. As an application, we investigate the generalized variance and covariance in quantum mechanics via arbitrary positive maps. Among others, an uncertainty relation inequality for commuting observables in a composite physical system is presented.
- [161] arXiv:2204.04277 (replaced) [pdf, ps, other]
-
Title: Damped Strichartz estimates and the incompressible Euler--Maxwell systemSubjects: Analysis of PDEs (math.AP)
Euler--Maxwell systems describe the dynamics of inviscid plasmas. In this work, we consider an incompressible two-dimensional version of such systems and prove the existence and uniqueness of global weak solutions, uniformly with respect to the speed of light $c\in (c_0,\infty)$, for some threshold value $c_0>0$ depending only on the initial data. In particular, the condition $c>c_0$ ensures that the velocity of the plasma nowhere exceeds the speed of light and allows us to analyze the singular regime $c\to\infty$.
The functional setting for the fluid velocity lies in the framework of Yudovich's solutions of the two-dimensional Euler equations, whereas the analysis of the electromagnetic field hinges upon the refined interactions between the damping and dispersive phenomena in Maxwell's equations in the whole space. This analysis is enabled by the new development of a robust abstract method allowing us to incorporate the damping effect into a variety of existing estimates. The use of this method is illustrated by the derivation of damped Strichartz estimates (including endpoint cases) for several dispersive systems (including the wave and Schrödinger equations), as well as damped maximal regularity estimates for the heat equation. The ensuing damped Strichartz estimates supersede previously existing results on the same systems. - [162] arXiv:2204.08076 (replaced) [pdf, ps, html, other]
-
Title: The combinatorics of Farey words and their tracesComments: 34 pages, 10 figures. Updated to include more detailed information about symmetries of the polynomials (section 2) as well as streamline exposition and fix some errorsSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates for one-complex-dimensional deformation spaces of Kleinian groups. As such, this family of polynomials has a number of quite remarkable properties. We study these polynomials from an abstract combinatorial viewpoint, including a recursive definition extending that which is known in the literature for the special case of manifolds, even beyond what the geometry predicts. We also present some intriguing examples and conjectures which we would like to bring to the attention of researchers interested in algebraic combinatorics and hypergeometric functions.
The results in this paper additionally provide a practical approach to various classification problems for rank-two subgroups of PSL(2,C) since they, together with other recent work of the authors, make it possible to provide certificates that certain groups are discrete and free, and effective ways to identify relators. - [163] arXiv:2206.05231 (replaced) [pdf, ps, other]
-
Title: ScalesSubjects: Dynamical Systems (math.DS)
We introduce the notion of scale to generalize and compare different invariants of metric spaces and their measures. Several versions of scales are introduced such as Hausdorff, packing, box, local and quantization. They moreover are defined for different growth, allowing in particular a refined study of infinite dimensional spaces. We prove general theorems comparing the different versions of scales. They are applied to describe geometries of ergodic decompositions, of the Wiener measure and of functional spaces. The first application solves a problem of Berger on the notions of emergence (2020); the second lies in the geometry of the Wiener measure and extends the work of Dereich-Lifshits (2005); the last refines Kolmogorov-Tikhomirov (1958) study on functional spaces.
- [164] arXiv:2210.03744 (replaced) [pdf, ps, other]
-
Title: Fermat's Last Theorem over $\mathbb{Q}(\sqrt{2},\sqrt{3})$Comments: Accepted in Algebra & Number Theory. Changes: minor corrections; included link to GitHub repository; Section 7 improvedSubjects: Number Theory (math.NT)
In this paper, we begin the study of the Fermat equation $x^n+y^n=z^n$ over real biquadratic fields. In particular, we prove that there are no non-trivial solutions to the Fermat equation over $\mathbb{Q}(\sqrt{2},\sqrt{3})$ for $n\geq 4$.
- [165] arXiv:2210.16297 (replaced) [pdf, ps, html, other]
-
Title: On compact uniformly recurrent subgroupsComments: Todor Tsankov added as author, statements generalized, proofs shortened. 10 pagesSubjects: Group Theory (math.GR)
Let a group $\Gamma$ act on a paracompact, locally compact, Hausdorff space $M$ by homeomorphisms and let $2^M$ denote the set of closed subsets of $M$. We endow $2^M$ with the Chabauty topology, which is compact and admits a natural $\Gamma$-action by homeomorphisms. We show that for every minimal $\Gamma$-invariant closed subset $\mathcal Y$ of $2^M$ consisting of compact sets, the union $\bigcup \mathcal{Y}\subset M$ has compact closure.
As an application, we deduce that every compact uniformly recurrent subgroup of a locally compact group is contained in a compact normal subgroup. This generalizes a result of Ušakov on compact subgroups whose normalizer is compact. - [166] arXiv:2301.05289 (replaced) [pdf, ps, other]
-
Title: The covariance metric in the Blaschke locusComments: Final version. Accepted by the Journal of Geometric AnalysisSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
We prove that the Blaschke locus has the structure of a finite dimensional smooth manifold away from the Teichm{ü}ller space and study its Riemannian manifold structure with respect to the covariance metric introduced by Guillarmou, Knieper and Lefeuvre in \cite{GeodesicStretch}. We also identify some families of geodesics in the Blaschke locus arising from Hitchin representations for orbifolds and show that they have infinite length with respect to the covariance metric.
- [167] arXiv:2302.00757 (replaced) [pdf, ps, html, other]
-
Title: Ap\'ery-like sequences defined by four-term recurrence relationsSubjects: Number Theory (math.NT)
The Apéry numbers may be defined by a cubic three-term recurrence relation, that is, a three-term relation where the coefficients are polynomials in the index of degree $3$.
In this work, we first provide a systematic review of Apéry numbers and other related sequences that satisfy quadratic or cubic three-term recurrence relations, and show how they are interrelated and how they may be classified. This leads to sequences defined by cubic $k$-term recurrence relations. The cases corresponding to $k=2$ in this framework lead to Ramanujan's theories of elliptic functions to alternative bases, while the cases corresponding to $k=3$ correspond to the Apéry, Domb, Almkvist--Zudilin numbers and other sequences that are well-studied.
We conduct a detailed analysis for the case $k=4$. Some of the sequences that arise are new. Of particular interest are ten sequences that are said to be self-starting in the sense that a single initial condition is enough to start the recurrence relation. Of additional interest are two sequences which take values in $\mathbb{Z}[i]$ and two others with values in $\mathbb{Z}[\sqrt{2}]$. Congruence properties and asymptotic expansions for the ten self-starting sequences are investigated and several conjectures are presented. For example, we conjecture that the integer-valued sequence defined by the recurrence relation \begin{align*} (n+1)^3T(n+1) &=2(2n+1)(5n^2+5n+2)T(n) \\ &\qquad -8n(7n^2+1)T(n-1)+22n(2n-1)(n-1)T(n-2) \end{align*} and initial condition $T(0)=1$ satisfies a Lucas congruence for every prime $p$. Moreover, the sequence is conjectured to satisfy the supercongruence $$ T(pn) \equiv T(n) \pmod{p^2} \quad\text{for all positive integers $n$} $$ if $p=2,\;59$ or $5581$, and for no other primes $p<10^4$. - [168] arXiv:2302.07391 (replaced) [pdf, ps, other]
-
Title: Topological proofs of categorical coherenceComments: 23 pages, 5 figures. Substantial improvements: new Lemma 1.7, new section on rewriting, new section on Kapranov vs Mac Lane coherence for symmetric monoidal categories, improved exposition, updated references, to appear in Cahiers de topologie et géométrie différentielle catégoriquesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT); Quantum Algebra (math.QA)
We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac Lane's coherence theorem for symmetric monoidal categories, as suggested by Kapranov in 1993. Our analysis is based on a notion of combinatorial homotopy, which we further study in the special case of polyhedral complexes, leading to a second geometrical proof of coherence which is very close to Mac Lane's original argument. We use Morse theory to show that this second method is (strictly) less general than the first. We provide a detailed analysis of how both methods allow us to deduce these two categorical coherence results and discuss possible generalizations to higher categories.
- [169] arXiv:2302.11160 (replaced) [pdf, ps, html, other]
-
Title: Proof of the Ginzburg-Kazhdan conjectureComments: v3 Final VersionSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT); Symplectic Geometry (math.SG)
We prove that the affine closure of the cotangent bundle of the basic affine space of a complex semisimple group has conical symplectic singularities, which confirms a conjecture of Ginzburg and Kazhdan. We also show that this variety is $\mathbb{Q}$-factorial and has terminal singularities.
- [170] arXiv:2303.02397 (replaced) [pdf, ps, other]
-
Title: Construction of the motivic cellular spectrum $\mathbf{KO}^{geo}$ over $Spec(\mathbb{Z})$Comments: Adapted from the author's PhD thesis. Version accepted for publicationJournal-ref: New York J. Math. 30 (2024), 323--350Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
We construct a periodic motivic spectrum over $Spec(\mathbb{Z})$ which when pulled back to any scheme $S$ with $\frac{1}{2}\in\Gamma(S,\mathcal{O}_S)$ is the $HP^1-$spectrum constructed by Panin and Walter. This spectrum $\mathbf{KO}^{geo}$ is constructed using closed subschemes of the Grassmannians $Gr(r,n)$. Using this we show that $\mathbf{KO}^{geo}$ is cellular.
- [171] arXiv:2304.07106 (replaced) [pdf, ps, html, other]
-
Title: Extremum Seeking Nonlinear Regulator with Concurrent Uncertainties in Exosystems and Control DirectionsComments: 11 pages, 7 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Adaptation and Self-Organizing Systems (nlin.AO); Chaotic Dynamics (nlin.CD)
This paper proposes a non-adaptive control solution framework to the practical output regulation problem (PORP) for a class of nonlinear systems with uncertain parameters, unknown control directions and uncertain exosystem dynamics. The concurrence of the unknown control directions and uncertainties in both the system dynamics and the exosystem pose a significant challenge to the problem. In light of a nonlinear internal model approach, we first convert the robust PORP into a robust non-adaptive stabilization problem for the augmented system with integral Input-to-State Stable (iISS) inverse dynamics. By employing an extremum-seeking control (ESC) approach, the construction of our solution method avoids the use of Nussbaum-type gain techniques to address the robust PORP subject to unknown control directions with time-varying coefficients. The stability of the non-adaptive output regulation design is proven via a Lie bracket averaging technique where uniform ultimate boundedness of the closed-loop signals is guaranteed. As a result, both the estimation and tracking errors converge to zero exponentially, provided that the frequency of the dither signal goes to infinity. Finally, a simulation example with unknown coefficients is provided to exemplify the validity of the proposed control solution frameworks.
- [172] arXiv:2305.04488 (replaced) [pdf, ps, other]
-
Title: Zak transform associated with the Weyl transform and the system of twisted translates on R^{2n}Subjects: Classical Analysis and ODEs (math.CA)
We introduce the Zak transform on $L^{2}(\mathbb{R}^{2n})$ associated with the Weyl transform. By making use of this transform, we define a bracket map and prove that the system of twisted translates $\{T^{t}_{(k,l)}\phi : k,l\in \mathbb{Z}^{n}\}$ is a frame sequence iff $0<A\leq \left[\phi,\phi\right](\xi,\xi^{'})\leq B<\infty,$ for a.e $(\xi,\xi^{'})\in \Omega_{\phi},$ where $\Omega_{\phi}=\{(\xi,\xi^{'})\in \mathbb{T}^{n}\times\mathbb{T}^{n} : \left[\phi,\phi\right](\xi,\xi^{'})\neq 0\}$. We also prove a similar result for the system $\{T^{t}_{(k,l)}\phi : k,l\in \mathbb{Z}^{n}\}$ to be a Riesz sequence. For a given function belonging to the principal twisted shift-invariant space $V^{t}(\phi)$, we find a necessary and sufficient condition for the existence of a canonical biorthogonal function. Further, we obtain a characterization for the system $\{T^{t}_{(k,l)}\phi : k,l\in\mathbb{Z}\}$ to be a Schauder basis for $V^{t}(\phi)$ in terms of a Muckenhoupt $\mathcal{A}_{2}$ weight function.
- [173] arXiv:2305.04584 (replaced) [pdf, ps, other]
-
Title: Effective lower bounds for spectra of random covers and random unitary bundlesComments: 28 pages. Final versionSubjects: Spectral Theory (math.SP); Differential Geometry (math.DG)
Let $X$ be a finite-area non-compact hyperbolic surface. We study the spectrum of the Laplacian on random covering surfaces of X and on random unitary bundles over X. We show that there is a constant $c > 0$ such that, with probability tending to 1 as $n \to \infty$, a uniformly random degree-$n$ Riemannian covering surface $X_n$ of $X$ has no Laplacian eigenvalues below $\frac{1}{4}-c\frac{(\log\log\log n)^2}{\log \log n}$ other than those of $X$ and with the same multiplicities. We also show that with probability tending to 1 as $n\to \infty$, a random unitary bundle $E_{\phi}$ over $X$ of rank $n$ has no Laplacian eigenvalues below $\frac{1}{4}-c\frac{(\log\log n)^2}{\log n}$.
- [174] arXiv:2305.11836 (replaced) [pdf, ps, other]
-
Title: Fundamental solutions and critical Lane-Emden exponents for nonlinear integral operators in conesSubjects: Analysis of PDEs (math.AP)
In this article we study the fundamental solutions or "$\alpha$-harmonic functions" for some nonlinear positive homogeneous nonlocal elliptic problems in conical domains, such as \begin{eqnarray*}\label{ecbir1a1} {\mathcal F }(u)=0\ \ \hbox{in} \ \ \mathcal{C}_\omega,\quad u=0\ \ \hbox{in} \ \ \mathbb{R}^n\setminus \mathcal{C}_\omega ,\ \ \end{eqnarray*} where $\omega$ is a proper $C^2$ domain in $S^{N-1}$ for $ N\geq 2$, $\mathcal{C}_\omega:=\{x\,:\,x\neq 0, {|x|^{-1}}x\in \omega\}$ is the cone-like domain related to $\omega$, and ${\mathcal F }$ is an extremal fully nonlinear integral operator. We prove the existence of two fundamental solutions that are homogeneous and do not change signs in the cone; one is bounded at the origin and the other at infinity.
As an application, we use the fundamental solutions obtained to prove Liouville type theorems in cones for supersolutions of the Lane-Emden-Fowler equation in the form \begin{eqnarray*}\label{eq 0.2} {\mathcal F }(u)+u^p = 0\ \ \hbox{in} \ \ \mathcal{C}_\omega, \quad u=0\ \ \hbox{in} \ \ \mathbb{R}^n\setminus \mathcal{C}_\omega.\ \ \end{eqnarray*} We also prove a generalized Hopf type lemma in domains with corners. Most of our results are new even when ${\mathcal F }$ is the fractional Laplacian operator. - [175] arXiv:2305.12383 (replaced) [pdf, ps, other]
-
Title: Blow-up rings and $F$-rationalitySubjects: Commutative Algebra (math.AC)
In this paper, we prove some sufficient conditions for Cohen-Macaulay normal Rees algebras to be $F$-rational. Let $(R,\mathfrak{m})$ be a Gorenstein normal local domain of dimension $d\geq 2$ and of characteristic $p > 0$. Let $I$ be a $\mathfrak{m}$-primary ideal. Our first set of results give conditions on the test ideals $\tau(I^n)$, $n \geq 1$ which would imply that the normalization of the Rees algebra $R[It]$ is $F$-rational. Another sufficient condition is that the socle of $\mathrm{H}_{\overline{G}_+}^d(\overline{G})$ (where $\overline{G}$ is the associated graded ring for the integral closure filtration) is entirely in degree $-1$, if $R$ is $F$-rational (but not necessarily Gorenstein). Then we show that if $R$ is a hypersurface of degree $2$ or is three-dimensional and $F$-rational, and $\mathrm{Proj} (R[\mathfrak{m} t ])$ is $F$-rational, then $R[\mathfrak{m} t ]$ is $F$-rational.
- [176] arXiv:2306.02932 (replaced) [pdf, ps, other]
-
Title: Product Inequalities for $\mathbb T^\rtimes$-Stabilized Scalar CurvatureJournal-ref: SIGMA 20 (2024), 038, 25 pagesSubjects: Differential Geometry (math.DG)
We study metric invariants of Riemannian manifolds $X$ defined via the $\mathbb T^\rtimes$-stabilized scalar curvatures of manifolds $Y$ mapped to $X$ and prove in some cases additivity of these invariants under Riemannian products $X_1\times X_2$.
- [177] arXiv:2306.03590 (replaced) [pdf, ps, html, other]
-
Title: Entropic covariance modelsSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
In covariance matrix estimation, one of the challenges lies in finding a suitable model and an efficient estimation method. Two commonly used modelling approaches in the literature involve imposing linear restrictions on the covariance matrix or its inverse. Another approach considers linear restrictions on the matrix logarithm of the covariance matrix. In this paper, we present a general framework for linear restrictions on different transformations of the covariance matrix, including the mentioned examples. Our proposed estimation method solves a convex problem and yields an $M$-estimator, allowing for relatively straightforward asymptotic (in general) and finite sample analysis (in the Gaussian case). In particular, we recover standard $\sqrt{n/d}$ rates, where $d$ is the dimension of the underlying model. Our geometric insights allow to extend various recent results in covariance matrix modelling. This includes providing unrestricted parametrizations of the space of correlation matrices, which is alternative to a recent result utilizing the matrix logarithm.
- [178] arXiv:2306.04550 (replaced) [pdf, ps, other]
-
Title: From dense to sparse design: Optimal rates under the supremum norm for estimating the mean function in functional data analysisSubjects: Statistics Theory (math.ST)
We derive optimal rates of convergence in the supremum norm for estimating the Hölder-smooth mean function of a stochastic process which is repeatedly and discretely observed with additional errors at fixed, multivariate, synchronous design points, the typical scenario for machine recorded functional data. Similarly to the optimal rates in $L_2$ obtained in \citet{cai2011optimal}, for sparse design a discretization term dominates, while in the dense case the parametric $\sqrt n$ rate can be achieved as if the $n$ processes were continuously observed without errors. The supremum norm is of practical interest since it corresponds to the visualization of the estimation error, and forms the basis for the construction uniform confidence bands. We show that in contrast to the analysis in $L_2$, there is an intermediate regime between the sparse and dense cases dominated by the contribution of the observation errors. Furthermore, under the supremum norm interpolation estimators which suffice in $L_2$ turn out to be sub-optimal in the dense setting, which helps to explain their poor empirical performance. In contrast to previous contributions involving the supremum norm, we discuss optimality even in the multivariate setting, and for dense design obtain the $\sqrt n$ rate of convergence without additional logarithmic factors. We also obtain a central limit theorem in the supremum norm, and provide simulations and real data applications to illustrate our results.
- [179] arXiv:2306.16323 (replaced) [pdf, ps, other]
-
Title: Jacobi Beta Ensemble and $b$-Hurwitz NumbersJournal-ref: SIGMA 19 (2023), 100, 18 pagesSubjects: Mathematical Physics (math-ph); Combinatorics (math.CO)
We express correlators of the Jacobi $\beta$ ensemble in terms of (a special case of) $b$-Hurwitz numbers, a deformation of Hurwitz numbers recently introduced by Chapuy and Dolega. The proof relies on Kadell's generalization of the Selberg integral. The Laguerre limit is also considered. All the relevant $b$-Hurwitz numbers are interpreted (following Bonzom, Chapuy, and Dolega) in terms of colored monotone Hurwitz maps.
- [180] arXiv:2307.00788 (replaced) [pdf, ps, other]
-
Title: Positive mass gap of quantum Yang-Mills FieldsComments: 95 pagesSubjects: Mathematical Physics (math-ph)
We construct a 4-dimensional quantum field theory on a Hilbert space, dependent on a simple Lie Algebra of a compact Lie group, that satisfies Wightman's axioms. This Hilbert space can be written as a countable sum of non-separable Hilbert spaces, each indexed by a non-trivial, inequivalent irreducible representation of the Lie Algebra.
In each component Hilbert space, a state is given by a triple, a space-like rectangular surface $S$ in $\mathbb{R}^4$, a measurable section of the Lie Algebra bundle over this surface $S$, represented irreducibly as a matrix, and a Minkowski frame. The inner product is associated with the area of the surface $S$.
In our previous work, we constructed a Yang-Mills measure for a compact semi-simple gauge group. We will use a Yang-Mills path integral to quantize the momentum and energy in this theory. During the quantization process, renormalization techniques and asymptotic freedom will be used. Each component Hilbert space is the eigenspace for the momentum operator and Hamiltonian, and the corresponding Hamiltonian eigenvalue is given by the quadratic Casimir operator. The eigenvalue of the corresponding momentum operator will be shown to be strictly less than the eigenvalue of the Hamiltonian, hence showing the existence of a positive mass gap in each component Hilbert space. We will further show that the infimum of the set containing positive mass gaps, each indexed by an irreducible representation, is strictly positive.
In the last section, we will show how the positive mass gap will imply the Clustering Theorem. - [181] arXiv:2307.01344 (replaced) [pdf, ps, other]
-
Title: Equidistribution of high traces of random matrices over finite fields and cancellation in character sums of high conductorComments: 19 pages, accepted version. Includes 1-page appendix on character sums not included in published versionSubjects: Number Theory (math.NT); Probability (math.PR)
Let $g$ be a random matrix distributed according to uniform probability measure on the finite general linear group $\mathrm{GL}_n(\mathbb{F}_q)$. We show that $\mathrm{Tr}(g^k)$ equidistributes on $\mathbb{F}_q$ as $n \to \infty$ as long as $\log k=o(n^2)$ and that this range is sharp. We also show that nontrivial linear combinations of $\mathrm{Tr}(g^1),\ldots, \mathrm{Tr}(g^k)$ equidistribute as long as $\log k =o(n)$ and this range is sharp as well. Previously equidistribution of either a single trace or a linear combination of traces was only known for $k \le c_q n$, where $c_q$ depends on $q$, due to work of the first author and Rodgers.
We reduce the problem to exhibiting cancellation in certain short character sums in function fields. For the equidistribution of $\mathrm{Tr}(g^k)$ we end up showing that certain explicit character sums modulo $T^{k+1}$ exhibit cancellation when averaged over monic polynomials of degree $n$ in $\mathbb{F}_q[T]$ as long as $\log k = o(n^2)$. This goes far beyond the classical range $\log k =o(n)$ due to Montgomery and Vaughan. To study these sums we build on the argument of Montgomery and Vaughan but exploit additional symmetry present in the considered sums. - [182] arXiv:2307.06155 (replaced) [pdf, ps, html, other]
-
Title: Relative Fractional Independence Number and Its ApplicationsSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
We define the relative fractional independence number of a graph $G$ with respect to another graph $H$, as $$\alpha^*(G|H)=\max_{W}\frac{\alpha(G\boxtimes W)}{\alpha(H\boxtimes W)},$$ where the maximum is taken over all graphs $W$, $G\boxtimes W$ is the strong product of $G$ and $W$, and $\alpha$ denotes the independence number. We give a non-trivial linear program to compute $\alpha^*(G|H)$ and discuss some of its properties. We show that $\alpha^*(G|H)\geq \frac{X(G)}{X(H)} \geq \frac{1}{\alpha^*(H|G)},$ where $X(G)$ can be the independence number, the zero-error Shannon capacity, the fractional independence number, the Lovász number, or the Schrijver's or Szegedy's variants of the Lovász number of a graph $G$. This inequality is the first explicit non-trivial upper bound on the ratio of the invariants of two arbitrary graphs, as mentioned earlier, which can also be used to obtain upper or lower bounds for these invariants. As explicit applications, we present new upper bounds for the ratio of the zero-error Shannon capacity of two Cayley graphs and compute new lower bounds on the Shannon capacity of certain Johnson graphs (yielding the exact value of their Haemers number). Moreover, we show that $\alpha^*(G|H)$ can be used to present a stronger version of the well-known No-Homomorphism Lemma.
- [183] arXiv:2308.01360 (replaced) [pdf, ps, html, other]
-
Title: On Second-Order Cone FunctionsComments: 21 pages, 5 figuresSubjects: Optimization and Control (math.OC)
We consider the second-order cone function (SOCF) $f: {\mathbb R}^n \to \mathbb R$ defined by $f(x)= c^T x + d -\|A x + b \|$. Every SOCF is concave. We give necessary and sufficient conditions for strict concavity of $f$. The parameters $A \in {\mathbb R}^{m \times n}$ and $b \in {\mathbb R}^m$ are not uniquely determined. We show that every SOCF can be written in the form $f(x) = c^T x + d -\sqrt{\delta^2 + (x-x_*)^TM(x-x_*)}$. We give necessary and sufficient conditions for the parameters $c$, $d$, $\delta$, $M = A^T A$, and $x_*$ to be uniquely determined. We also give necessary and sufficient conditions for $f$ to be bounded above.
- [184] arXiv:2308.11925 (replaced) [pdf, ps, other]
-
Title: Solving Elliptic Optimal Control Problems via Neural Networks and Optimality SystemComments: 26 pagesSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Numerical Analysis (math.NA)
In this work, we investigate a neural network based solver for optimal control problems (without / with box constraint) for linear and semilinear second-order elliptic problems. It utilizes a coupled system derived from the first-order optimality system of the optimal control problem, and employs deep neural networks to represent the solutions to the reduced system. We present an error analysis of the scheme, and provide $L^2(\Omega)$ error bounds on the state, control and adjoint in terms of neural network parameters (e.g., depth, width, and parameter bounds) and the numbers of sampling points. The main tools in the analysis include offset Rademacher complexity and boundedness and Lipschitz continuity of neural network functions. We present several numerical examples to illustrate the method and compare it with two existing ones.
- [185] arXiv:2308.11950 (replaced) [pdf, ps, other]
-
Title: Cliquewidth and dimensionSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We prove that every poset with bounded cliquewidth and with sufficiently large dimension contains the standard example of dimension $k$ as a subposet. This applies in particular to posets whose cover graphs have bounded treewidth, as the cliquewidth of a poset is bounded in terms of the treewidth of the cover graph. For the latter posets, we prove a stronger statement: every such poset with sufficiently large dimension contains the Kelly example of dimension $k$ as a subposet. Using this result, we obtain a full characterization of the minor-closed graph classes $\mathcal{C}$ such that posets with cover graphs in $\mathcal{C}$ have bounded dimension: they are exactly the classes excluding the cover graph of some Kelly example. Finally, we consider a variant of poset dimension called Boolean dimension, and we prove that posets with bounded cliquewidth have bounded Boolean dimension.
The proofs rely on Colcombet's deterministic version of Simon's factorization theorem, which is a fundamental tool in formal language and automata theory, and which we believe deserves a wider recognition in structural and algorithmic graph theory. - [186] arXiv:2308.15021 (replaced) [pdf, ps, other]
-
Title: A general formula for the index of depth stability of edge idealsComments: 26 pages, 6 figures; This is the revised manuscript which is accepted for TAMSSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
By a classical result of Brodmann, the function $\operatorname{depth} R/I^t$ is asymptotically a constant, i.e. there is a number $s$ such that $\operatorname{depth} R/I^t = \operatorname{depth} R/I^s$ for $t > s$. One calls the smallest number $s$ with this property the index of depth stability of $I$ and denotes it by $\operatorname{dstab}(I)$. This invariant remains mysterious til now. The main result of this paper gives an explicit formula for $\operatorname{dstab}(I)$ when $I$ is an arbitrary ideal generated by squarefree monomials of degree 2. That is the first general case where one can characterize $\operatorname{dstab}(I)$ explicitly. The formula expresses $\operatorname{dstab}(I)$ in terms of the associated graph. The proof involves new techniques which relate different topics such as simplicial complexes, systems of linear inequalities, graph parallelizations, and ear decompositions. It provides an effective method for the study of powers of edge ideals.
- [187] arXiv:2308.16702 (replaced) [pdf, ps, other]
-
Title: Degenerations Of Skein Algebras And Quantum TracesComments: 60 pages, 21 figures, Ver 2: updates have been made to improve the exposition of several proofs, Fig 16 was added for claritySubjects: Geometric Topology (math.GT); Quantum Algebra (math.QA)
We introduce a joint generalization, called LRY skein algebras, of Kauffman bracket skein algebras (of surfaces) that encompasses both Roger-Yang skein algebras and stated skein algebras. We will show that, over an arbitrary ground ring which is a commutative domain, the LRY skein algebras are domains and have degenerations (by filtrations) equal to monomial subalgebras of quantum tori. For surfaces without interior punctures, this integrality generalizes a result of Moon and Wong to the most general ground ring. We also calculate the Gelfand-Kirillov dimension of LRY algebras and show they are Noetherian if the ground ring is. Moreover they are orderly finitely generated. To study the LRY algebras and prove the above-mentioned results, we construct quantum traces, both the so-called X-version for all surfaces and also an A-version for a smaller class of surfaces. We also introduce a modified version of Dehn-Thurston coordinates for curves which are more suitable for the study of skein algebras as they pick up the highest degree terms of products in certain natural filtrations.
- [188] arXiv:2309.00499 (replaced) [pdf, ps, other]
-
Title: Inversion of the attenuated momenta ray transform of planar symmetric tensorsComments: 31 pages, 19 figure. This new version now includes the results of the preprint arXiv: 2307.10758. arXiv admin note: text overlap with arXiv:2307.10758Subjects: Analysis of PDEs (math.AP)
We present a reconstruction method that stably recovers the real valued, symmetric tensors compactly supported in the Euclidean plane, from knowledge of their attenuated momenta ray transform. The problem is recast as an inverse boundary value problem for a system of transport equations, which we solve by an extension of Bukhgeim's $A$-analytic theory. The method of proof is constructive. To illustrate the reconstruction method, we present results obtained in the numerical implementation for the non-attenuated case of 1-tensors. This new version now includes the results of the preprint arXiv: 2307.10758.
- [189] arXiv:2309.04218 (replaced) [pdf, ps, html, other]
-
Title: Almost partitioning every $2$-edge-coloured complete $k$-graph into $k$ monochromatic tight cyclesComments: Fix some typos. To appear in to Innovations in Graph TheorySubjects: Combinatorics (math.CO)
A $k$-uniform tight cycle is a $k$-graph with a cyclic order of its vertices such that every $k$ consecutive vertices from an edge. We show that for $k\geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains $k$ vertex-disjoint monochromatic tight cycles that together cover $n - o(n)$ vertices.
- [190] arXiv:2309.11631 (replaced) [pdf, ps, other]
-
Title: Regularity functions of powers of graded idealsComments: 24 pagesSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
This paper studies the problem of which sequences of non-negative integers arise as the functions $\operatorname{reg} I^{n-1}/I^n$, $\operatorname{reg} R/I^n$, $\operatorname{reg} I^n$ for an ideal $I$ generated by forms of degree $d$ in a standard graded algebra $R$. These functions are asymptotically linear with slope $d$. If $\dim R/I = 0$, we give a complete characterization of all numerical functions which arise as the functions $\operatorname{reg} I^{n-1}/I^n$, $\operatorname{reg} R/I^n$ and show that $\operatorname{reg} I^n$ can be any numerical function $f(n) \ge dn$ that weakly decreases until it becomes a linear function with slope $d$. The latter result gives a negative answer to a question of Eisenbud and Ulrich. If $\dim R/I \ge 1$, we show that $\operatorname{reg} I^{n-1}/I^n$ can be any numerical asymptotically linear function $f(n) \ge dn-1$ with slope $d$ and $\operatorname{reg} R/I^n$ can be any numerical asymptotically linear function $f(n) \ge dn-1$ with slope $d$ that is weakly increasing. Inspired of a recent work of Ein, Ha and Lazarsfeld on non-singular complex projective schemes, we also prove that the function of the saturation degree of $I^n$ is asymptotically linear for an arbitrary graded ideal $I$ and study the behavior of this function.
- [191] arXiv:2309.13843 (replaced) [pdf, ps, other]
-
Title: Geometric Decomposition and Efficient Implementation of High Order Face and Edge ElementsComments: 23 pages, 6 figuresSubjects: Numerical Analysis (math.NA)
This study investigates high-order face and edge elements in finite element methods, with a focus on their geometric attributes, indexing management, and practical application. The exposition begins by a geometric decomposition of Lagrange finite elements, setting the foundation for further analysis. The discussion then extends to $H(\rm{div})$-conforming and $H(\rm{curl})$-conforming finite element spaces, adopting variable frames across differing sub-simplices. The imposition of tangential or normal continuity is achieved through the strategic selection of corresponding bases. The paper concludes with a focus on efficient indexing management strategies for degrees of freedom, offering practical guidance to researchers and engineers. It serves as a comprehensive resource that bridges the gap between theory and practice.
- [192] arXiv:2309.15005 (replaced) [pdf, ps, html, other]
-
Title: Sharp conditions for exponential and non-exponential uniform stabilization of the time-dependent damped wave equationComments: 38 pages, 2 figures, merged from arXiv:2207.06260Subjects: Analysis of PDEs (math.AP)
It is classical that uniform stabilization of solutions to the autonomous damped wave equation is equivalent to every geodesic meeting the positive set of the damping, which is called the geometric control condition. In this paper, it is shown that for time-dependent damping, a generalization of the geometric control condition is equivalent to uniform stabilization at an exponential rate. Additionally, non-exponential uniform stabilization rates are computed for damping which do not satisfy this geometric control condition. Decay rates are guaranteed via an observability argument, including a new uniform time-dependent observability inequality. Bounds on decay rates are proved via a Gaussian beam construction.
- [193] arXiv:2310.09567 (replaced) [pdf, ps, html, other]
-
Title: Automatic and Computationally Efficient Alignment in Fan- and Cone-beam TomographySubjects: Numerical Analysis (math.NA)
This work is concerned with fan- and cone-beam computed tomography with circular source trajectory, where the reconstruction inverse problem requires an accurate knowledge of source, detector and rotational axis relative positions and orientations. We address this additional inverse problem as a preceding step of the reconstruction process directly from the acquired projections. In the cone-beam case, we present a method that estimates both the detector shift (orthogonal to both focal and rotational axes) and the in-plane detector rotation (over the focal axis) based on the variable projection optimization approach. In addition and for the fan-beam case, two new strategies with low computational cost are presented to estimate the detector shift based on a fan-beam symmetry condition. The methods are validated with simulated and experimental industrial tomographic data with code examples available for both fan- and cone-beam geometries.
- [194] arXiv:2310.09857 (replaced) [pdf, ps, html, other]
-
Title: On the ubiquity of oriented double raysComments: 11 pages, 1 figure, minor changesSubjects: Combinatorics (math.CO)
A digraph $H$ is called ubiquitous if every digraph that contains arbitrarily many vertex-disjoint copies of $H$ also contains infinitely many vertex-disjoint copies of $H$. We study oriented double rays, that is, digraphs $H$ whose underlying undirected graphs are double rays. Calling a vertex of an oriented double ray a turn if it has in-degree or out-degree 2, we prove that an oriented double ray with at least one turn is ubiquitous if and only if it has a (finite) odd number of turns. It remains an open problem to determine whether the consistently oriented double ray is ubiquitous.
- [195] arXiv:2310.10152 (replaced) [pdf, ps, other]
-
Title: Entropy for Monge-Amp\`ere Measures in the Prescribed Singularities SettingJournal-ref: SIGMA 20 (2024), 039, 19 pagesSubjects: Complex Variables (math.CV); Differential Geometry (math.DG)
In this note, we generalize the notion of entropy for potentials in a relative full Monge-Ampère mass $\mathcal{E}(X, \theta, \phi)$, for a model potential $\phi$. We then investigate stability properties of this condition with respect to blow-ups and perturbation of the cohomology class. We also prove a Moser-Trudinger type inequality with general weight and we show that functions with finite entropy lie in a relative energy class $\mathcal{E}^{\frac{n}{n-1}}(X, \theta, \phi)$ (provided $n>1$), while they have the same singularities of $\phi$ when $n=1$.
- [196] arXiv:2310.10960 (replaced) [pdf, ps, other]
-
Title: The half-space log-Gamma polymer in the bound phaseComments: 40 pages, 17 figures; Final version; To appear in Communications in Mathematical PhysicsSubjects: Probability (math.PR)
We consider the log-Gamma polymer in the half-space with bulk weights distributed as $\operatorname{Gamma}^{-1}(2\theta)$ and diagonal weights as $\operatorname{Gamma}^{-1}(\alpha+\theta)$ for $\theta>0$ and $\alpha>-\theta$. We show that in the bound phase, i.e., when $\alpha\in (-\theta,0)$, the endpoint of the polymer lies within an $O(1)$ stochastic window of the diagonal. This result gives the first rigorous proof of the pinned phenomena for the half-space polymers in the bound phase conjectured by Kardar(1985). We also show that the limiting quenched endpoint distribution of the polymer around the diagonal is given by a random probability mass function proportional to the exponential of a random walk with log-Gamma type increments.
- [197] arXiv:2310.11956 (replaced) [pdf, ps, other]
-
Title: Acoustic shape optimization using energy stable curvilinear finite differencesSubjects: Numerical Analysis (math.NA)
A gradient-based method for shape optimization problems constrained by the acoustic wave equation is presented. The method makes use of high-order accurate finite differences with summation-by-parts properties on multiblock curvilinear grids to discretize in space. Representing the design domain through a coordinate mapping from a reference domain, the design shape is obtained by inverting for the discretized coordinate map. The adjoint state framework is employed to efficiently compute the gradient of the loss functional. Using the summation-by-parts properties of the finite difference discretization, we prove stability and dual consistency for the semi-discrete forward and adjoint problems. Numerical experiments verify the accuracy of the finite difference scheme and demonstrate the capabilities of the shape optimization method on two model problems with real-world relevance.
- [198] arXiv:2310.14792 (replaced) [pdf, ps, other]
-
Title: Evaluating synthetic fuel production: A case study on the influence of electricity and CO2 price variationsSubjects: Optimization and Control (math.OC)
To combat climate change, we need to reduce emissions from the transport sector. Synthetic fuels are a long-term solution for aviation, maritime and heavy machinery. Large-scale use requires cost-effectiveness, efficient production and resilience to price changes. In this case study, we simultaneously optimize the cell voltage of the solid oxide electrolysis cell, the heat exchanger network and the heat supply of a PtL-plant. PtL-efficiency and production costs are used as objectives to generate multiple Pareto fronts for future price scenarios. The results show that the sensitivity to price changes has different impacts on design and operating parameters, which can lead to unattractive solution domains in the Pareto front. Currently, synthetic fuels can be produced at 1.83-2.36 EUR/kg. In the best case, at 1.42-1.97 EUR/kg and 3.88-4.28 EUR/kg in the worst case. This paper supports decision-makers in planning PtL-plants to ensure sustainable synthetic fuel availability on a global scale.
- [199] arXiv:2310.16719 (replaced) [pdf, ps, html, other]
-
Title: Global $L^\infty$-estimate for general quasilinear elliptic equations in arbitrary domains of $\mathbb{R}^N$Comments: appearedJournal-ref: Partial Differ. Equ. Appl. 5 (2024), no. 3, Paper No. 15Subjects: Analysis of PDEs (math.AP)
In this paper our main goal is to present a new global $L^\infty$-estimate for a general class of quasilinear elliptic equations of the form $$ -div \mathcal{A}(x,u,\nabla u)=\mathcal{B}(x,u,\nabla u) $$ under minimal structure conditions on the functions $\mathcal{A}$ and $\mathcal{B}$, and in arbitrary domains of $\mathbb{R}^N$. The main focus and the novelty of the paper is to prove $L^\infty$-estimate of the form $$ |u|_{\infty, \Omega}\le C \Phi(|u|_{\beta,\Omega}) $$ where $\Phi: \mathbb{R}^+\to \mathbb{R}^+$ is a data independent function with $\lim_{s\to 0^+}\Phi(s)=0$.
- [200] arXiv:2311.01336 (replaced) [pdf, ps, other]
-
Title: Covariance estimation using h-statistics in Monte Carlo and multilevel Monte Carlo methodsSubjects: Statistics Theory (math.ST); Numerical Analysis (math.NA)
We present novel Monte Carlo (MC) and multilevel Monte Carlo (MLMC) methods to determine the unbiased covariance of random variables using h-statistics. The advantage of this procedure lies in the unbiased construction of the estimator's mean square error in a closed form. This is in contrast to conventional MC and MLMC covariance estimators, which are based on biased mean square errors defined solely by upper bounds, particularly within the MLMC. The numerical results of the algorithms are demonstrated by estimating the covariance of the stochastic response of a simple 1D stochastic elliptic PDE such as Poisson's model.
- [201] arXiv:2311.02426 (replaced) [pdf, ps, html, other]
-
Title: Online Long-run Constrained OptimizationComments: Under review by IEEE Transactions on Automatic Control (Technical Note)Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
A novel Follow-the-Perturbed-Leader type algorithm is proposed and analyzed for solving general long-term constrained optimization problems in online manner, where the objective and constraints are arbitrarily generated and not necessarily convex. In each period, random linear perturbation and strongly concave perturbation are incorporated in primal and dual directions, respectively, to the offline oracle, and a global minimax point is searched as the solution. Based on a proposed expected static cumulative regret, we derive the first sublinear $O(T^{8/9})$ regret complexity for this class of problems. The proposed algorithm is applied to tackle a long-term (extreme value) constrained river pollutant source identification problem, validate the theoretical results and exhibit superior performance compared to existing methods.
- [202] arXiv:2311.05460 (replaced) [pdf, ps, html, other]
-
Title: Strolling through common meadowsComments: To appear in Communications in AlgebraSubjects: Rings and Algebras (math.RA); Commutative Algebra (math.AC)
Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of zero, an error term $\abf$ which is absorbent for addition. We show that common meadows are unions of rings which are ordered by a partial order that defines a lattice. These results allow us to generalize some classical algebraic constructions to the setting of common meadows. We also briefly consider common meadows from a categorical perspective.
- [203] arXiv:2311.05979 (replaced) [pdf, ps, other]
-
Title: The Distribution of Polynomials in Monotone Independent ElementsComments: 18 pagesSubjects: Probability (math.PR)
Building on the work of Arizmendi and Celestino (2021), we derive the $*$-distributions of polynomials in monotone independent and infinitesimally monotone independent elements. For non-zero complex numbers $\alpha$ and $\beta$, we derive explicitly the $*$-distribution of $p_{\alpha,\beta}=\alpha ab + \beta ba$ whenever $a$ and $b$ are monotone or infinitesimally monotone independent elements. This encompasses both cases of the commutator and anti-commutator. This approach can be pushed to study more general polynomials. As applications, we derive the limiting distribution with respect to the partial trace of polynomials in a certain class of random matrices.
- [204] arXiv:2311.07074 (replaced) [pdf, ps, other]
-
Title: The non-$F$-rational locus of Rees algebrasComments: 5 pagesSubjects: Commutative Algebra (math.AC)
In this note, we give a description of the parameter test submodule of Rees algebras. This, in turn, describes the non-$F$-rational locus.
- [205] arXiv:2311.08020 (replaced) [pdf, ps, html, other]
-
Title: A signed $e$-expansion of the chromatic quasisymmetric functionComments: 36 pages, 13 figures. Replaced previous version to prove the q-analogue and simplify the proofsSubjects: Combinatorics (math.CO)
We prove a new signed elementary symmetric function expansion of the chromatic quasisymmetric function of any natural unit interval graph. We then use a sign-reversing involution to prove a new combinatorial formula for K-chains, which are graphs formed by joining cliques at single vertices. This formula immediately implies $e$-positivity and $e$-unimodality for K-chains. We also prove a version of our signed $e$-expansion for arbitrary graphs.
- [206] arXiv:2311.08130 (replaced) [pdf, ps, other]
-
Title: Modal Analysis of the Wake Shed Behind a Horizontal Axis Wind Turbine with Flexible BladesSajad Salavatidezfouli, Armin Sheidani, Kabir Bakhshaei, Ali Safari, Arash Hajisharifi, Giovanni Stabile, Gianluigi RozzaSubjects: Numerical Analysis (math.NA)
The proper orthogonal decomposition has been applied on a full-scale horizontal-axis wind turbine to shed light on the wake characteristics behind the wind turbine. In reality, the blade tip experiences high deflections even at the rated conditions which definitely alter the wake flow field, and in the case of a wind farm, may complicate the inlet conditions of the downstream wind turbine. The turbine under consideration is the full-scale model of the National Renewable Energy Laboratory 5MW onshore wind turbine which is accompanied by several simulation complexities including turbulence, mesh motion and fluid-structure interaction. Results indicated an almost similar modal behaviour for the rigid and flexible turbines at the wake region. In addition, more flow structures in terms of local vortices and fluctuating velocity fields take place at the far wake region. The flow structures due to the wake shed from the tower tend to move towards the center and merge with that of the nacelle leading to an integral vortical structure 2.5 diameter away from the rotor. Also, it is concluded that the exclusion of the tower leads to missing a major part of the wake structures, especially at far-wake positions.
- [207] arXiv:2311.08872 (replaced) [pdf, ps, other]
-
Title: Multilevel Monte Carlo methods for the Dean-Kawasaki equation from Fluctuating HydrodynamicsComments: 28 pages, 6 figuresSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP); Probability (math.PR)
Stochastic PDEs of Fluctuating Hydrodynamics are a powerful tool for the description of fluctuations in many-particle systems. In this paper, we develop and analyze a Multilevel Monte Carlo (MLMC) scheme for the Dean--Kawasaki equation, a pivotal representative of this class of SPDEs. We prove analytically and demonstrate numerically that our MLMC scheme provides a significant reduction in computational cost (with respect to a standard Monte Carlo method) in the simulation of the Dean--Kawasaki equation. Specifically, we link this reduction in cost to having a sufficiently large average particle density, and show that sizeable cost reductions can be obtained even when we have solutions with regions of low density. Numerical simulations are provided in the two-dimensional case, confirming our theoretical predictions.
Our results are formulated entirely in terms of the law of distributions rather than in terms of strong spatial norms: this crucially allows for MLMC speed-ups altogether despite the Dean--Kawasaki equation being highly singular. - [208] arXiv:2311.10625 (replaced) [pdf, ps, html, other]
-
Title: Central limit theorems for Soft random simplicial complexesComments: 28 pagesSubjects: Probability (math.PR); Algebraic Topology (math.AT)
A soft random graph $G(n,r,p)$ can be obtained from the random geometric graph $G(n,r)$ by keeping every edge in $G(n,r)$ with probability $p$. The soft random simplicial complexes is a model for random simplicial complexes built over the soft random graph $G(n,r,p)$. This new model depends on a probability vector $\rho$ which allows the simplicial complexes to present randomness in all dimensions. In this article, we use a normal approximation theorem to prove central limit theorems for the number of $k$-faces and for the Euler's characteristic for soft random simplicial complexes.
- [209] arXiv:2311.13034 (replaced) [pdf, ps, html, other]
-
Title: Soft random simplicial complexesComments: 20 pages. arXiv admin note: text overlap with arXiv:2311.10625Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO)
A soft random graph $G(n,r,p)$ can be obtained from the random geometric graph $G(n,r)$ by keeping every edge in $G(n,r)$ with probability $p$. This random graph is a particular case of the soft random graph model introduced by Penrose, in which the probability between 2 vertices is a function that depends on the distance between them. In this article, we define models for random simplicial complexes built over the soft random graph $G(n,r,p)$, which also present randomness in all other dimensions. Furthermore, we study the homology of those random simplicial complexes in different regimes of $n,r$, and $p$ by giving asymptotic formulas for the expectation of the Betti numbers in the sparser regimes, and bounds in the denser regimes.
- [210] arXiv:2311.15521 (replaced) [pdf, ps, html, other]
-
Title: The complex structure of the Teichm\"uller space of circle diffeomorphisms in the Zygmund smooth classSubjects: Complex Variables (math.CV)
We provide the complex Banach manifold structure for the Teichmueller space of circle diffeomorphisms whose derivatives are in the Zygmund class. This is done by showing that the Schwarzian derivative map is a holomorphic split submersion. We prove similar results for the pre-Schwarzian derivative map and investigate the fiber space over the Teichmueller space. Especially, we show that this projection is also a holomorphic split submersion and induces the structure of a disk bundle. Finally, we introduce the little Zygmund class and consider the closed subspace given by this family of mappings in the Teichmueller space.
- [211] arXiv:2311.16806 (replaced) [pdf, ps, other]
-
Title: Summing the sum of digitsComments: 10 pages; this is a revised version to appear in Communications in MathematicsSubjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We revisit and generalize inequalities for the summatory function of the sum of digits in a given integer base. We prove that several known results can be deduced from a theorem in a 2023 paper by Mohanty, Greenbury, Sarkany, Narayanan, Dingle, Ahnert, and Louis, whose primary scope is the maximum mutational robustness in genotype-phenotype maps.
- [212] arXiv:2312.00489 (replaced) [pdf, ps, other]
-
Title: Optimal complexity of goal-oriented adaptive FEM for nonsymmetric linear elliptic PDEsSubjects: Numerical Analysis (math.NA)
We analyze a goal-oriented adaptive algorithm that aims to efficiently compute the quantity of interest $G(u^\star)$ with a linear goal functional $G$ and the solution $u^\star$ to a general second-order nonsymmetric linear elliptic partial differential equation. The current state of the analysis of iterative algebraic solvers for nonsymmetric systems lacks the contraction property in the norms that are prescribed by the functional analytic setting. This seemingly prevents their application in the optimality analysis of goal-oriented adaptivity. As a remedy, this paper proposes a goal-oriented adaptive iteratively symmetrized finite element method (GOAISFEM). It employs a nested loop with a contractive symmetrization procedure, e.g., the Zarantonello iteration, and a contractive algebraic solver, e.g., an optimal multigrid solver. The various iterative procedures require well-designed stopping criteria such that the adaptive algorithm can effectively steer the local mesh refinement and the computation of the inexact discrete approximations. The main results consist of full linear convergence of the proposed adaptive algorithm and the proof of optimal convergence rates with respect to both degrees of freedom and total computational cost (i.e., optimal complexity). Numerical experiments confirm the theoretical results and investigate the selection of the parameters.
- [213] arXiv:2312.01516 (replaced) [pdf, ps, other]
-
Title: Quantum properties of $\mathcal F$-cographsComments: 50 pages, 1 figure. Two appendices added and some minor changesSubjects: Operator Algebras (math.OA); Combinatorics (math.CO); Quantum Algebra (math.QA)
We initiate a systematic study of quantum properties of finite graphs, namely, quantum asymmetry, quantum symmetry, and quantum isomorphism. We define the Schmidt alternative for a class of graphs, which reveals to be a useful tool for studying quantum symmetries of graphs. After showing that quantum isomorphic graphs have quantum isomorphic centers and connected components, we solve the aforementioned problems for the classes of cographs and forests. We also compute their quantum automorphism groups for the first time. In doing so, we extend to the noncommutative setting a theorem of Jordan. Using general results on $\mathcal F$-cographs, we extend the precedent results to $\mathcal G_5$-cographs and tree-cographs, two distinct strictly proper superclasses of cographs and forests respectively. Finally, we show that quantum isomorphic planar graphs are isomorphic.
- [214] arXiv:2312.05521 (replaced) [pdf, ps, html, other]
-
Title: On functions with Fourier transforms in Generalized Grand Lebesgue spaceComments: 17 pagesSubjects: Functional Analysis (math.FA)
Let $1<p,q<\infty ,\ \theta_1 \geq 0,\ \theta_2 \geq 0$ and let $a(x), b(x)$ be a weight functions. In the present paper we intend to study the function space $A_{q),\theta _{2}}^{p),\theta _{1}}\left( \mathbb R^n\right)$ consisting of all functions $f\in L_a^{p),\theta_1 }\left( \mathbb R^n\right) $ whose generalized Fourier transforms $\widehat{f}$ belong to grand $L_b^{q),\theta_2 }\left( \mathbb R^n\right), $ where $ L_a^{p),\theta_1 }\left( \mathbb R^n\right)$ and $L_b^{q),\theta_2 }\left( \mathbb R^n\right) $ are generalized grand Lebesgue spaces. In the second section some definitions and notations used in this work are given. In the third and fourth sections we discuss some basic properties and inclusion properties of $A_{q),\theta _{2}}^{p),\theta _{1}}\left( \mathbb R^n\right)$. In the fifth section we characterize the multipliers from ${L^{1 }(\mathbb R^{n}, a^{\frac{\varepsilon}{p}})}$ to $( L_a^{p),\theta}\left(\mathbb R^{n}\right))^{\ast}$ and from ${L^{1 }(\mathbb R^{n}, a^{\frac{\varepsilon}{p}})}$ into $(A_{q),\theta_2}^{p),\theta_1}\left(\mathbb R^{n}\right))^{\ast}$ for ${0<\varepsilon \leq p-1}.$ The importance of this section is that, it gives us some insight into the structure of the dual space $( L_a^{p),\theta}\left(\mathbb R^{n}\right))^{\ast}$ of the generalized grand Lebesgue space, the properties of which are not yet known. Later we discuss duality and reflexivitiy properties of the space $A_{q),\theta _{2}}^{p),\theta _{1}}\left( \mathbb R^n\right)$.
- [215] arXiv:2312.06124 (replaced) [pdf, ps, other]
-
Title: On modules whose dual is of finite Gorenstein dimension: The $k$-torsion, homological criteria, and applications in modules of differentials of order $n$Comments: 27 pages. The title has been changed. This version includes new results and new sections. Some criteria for a ring to be Gorenstein are obtained. Additionally, we have included applications in modules of differentials of order $n$. On the other hand, a question proposed in the previous version was answered by Ghosh and Samanta in arXiv:2405.01497. Comments and suggestions are welcomeSubjects: Commutative Algebra (math.AC)
In this paper, we aim to obtain some results under the condition that the dual of a module has finite Gorenstein dimension. In this direction we derive results involving vanishing of Ext as well as the freeness or totally reflexivity of modules. For instance, we provide a generalization of a celebrated theorem by Evans and Griffith, obtain criteria for the totally reflexivity of modules over Cohen-Macaulay rings as well as of modules locally totally reflexive on the punctured spectrum, and recover a result by Araya. Moreover, we prove that the Auslander-Reiten conjecture holds true for all finitely generated modules $M$ over a Noetherian local ring $R$ such that $\operatorname{G-dim}_R(\operatorname{Hom}_R(M,R))<\infty$ and $\operatorname{pd}_R(\operatorname{Hom}_R(M,M))<\infty$. Additionally, we derive Gorenstein criteria under the condition that the dual of certain modules is of finite Gorenstein dimension. Furthermore, we explore some applications in the theory of the modules of Kähler differentials of order $n\geq 1$, specifically concerning the $k$-torsionfreeness of these modules and the Herzog-Vasconcelos's conjecture.
- [216] arXiv:2312.17565 (replaced) [pdf, ps, other]
-
Title: Thermodynamics of the five-vertex model with scalar-product boundary conditionsComments: 52 pages, 7 figures; v2: Sections 1, 4, and 5 extended, references addedSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
We consider the homogeneous five-vertex model on a rectangle domain of the square lattice with so-called scalar-product boundary conditions. Peculiarity of these boundary conditions is that the configurations of the model are in an one-to-one correspondence with the 3D Young diagrams limited by a box of a given size. We address the thermodynamics of the model using a connection of the partition function with the $\tau$-function of the sixth Painlevé equation. We compute an expansion of the logarithm of the partition function to the order of a constant in the size of the system. We find that the geometry of the domain is crucial for phase transition phenomena. Two cases need to be considered separately: one is where the region has an asymptotically square shape and the second one is where it is of an arbitrary rectangle, but not square, shape. In the first case there are three regimes, which can be attributed to dominance in the configurations of a ferroelectric order, disorder, and anti-ferroelectric order. In the second case the third regime is absent.
- [217] arXiv:2401.02776 (replaced) [pdf, ps, html, other]
-
Title: Finite Measures of Maximal Entropy for an Open Set of Partially Hyperbolic DiffeomorphismsSubjects: Dynamical Systems (math.DS)
We consider partially hyperbolic diffeomorphisms $f$ with a one-dimensional central direction such that the unstable entropy exceeds the stable entropy. Our main result proves that such maps have a finite number of ergodic measures of maximal entropy. Moreover, any $C^{1+}$ diffeomorphism near $f$ in the $C^1$ topology possesses at most the same number of ergodic measures of maximal entropy. Our contribution is in extending the findings in [4] to arbitrary dimensions. We believe our technique, essentially distinct from the one in that paper, is robust and may find applications in further contexts.
- [218] arXiv:2401.06993 (replaced) [pdf, ps, html, other]
-
Title: On the free metabelian Novikov and metabelian Lie-admissible algebrasComments: 10 p, Journal versionSubjects: Rings and Algebras (math.RA)
In this paper, we consider Lie-admissible algebras, which are free Novikov and free Lie-admissible algebras with an additional metabelian identity. We construct a linear basis for both free metabelian Novikov and free metabelian Lie-admissible algebras. Additionally, we describe a space of symmetric polynomials for both the free metabelian Novikov algebra and the free metabelian Lie-admissible algebra.
- [219] arXiv:2401.07015 (replaced) [pdf, ps, other]
-
Title: Finite translation orbits on double families of abelian varietiesComments: 22 pages, 2 figures. Changes in Proposition 1.7 and Proposition 2.1. Comments are welcomeSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Consider two families of $g$-dimensional abelian varieties induced by two distinct rational maps on the same variety $\overline{\mathcal A}$ onto two bases $\overline S_1$ and $\overline S_2$ and having big common domain of definition. Two non-torsion sections of these families induce two (birational) fiberwise translations on $\overline{\mathcal A}$, respectively. We show that if $\dim \overline S_1+\dim \overline S_2\le 2g$, the points with finite orbit under the action of a certain subset of the group generated by both translations lie in a proper Zariski closed subset that can be described to a certain extent. Our work is a higher dimensional generalization of a result of Corvaja, Tsimermann and Zannier.
- [220] arXiv:2401.13117 (replaced) [pdf, ps, other]
-
Title: A new mathematical model for cell motility with nonlocal repulsion from saturated areasSubjects: Analysis of PDEs (math.AP)
The main purpose of this work is the modelling of large single populations of cells under different interactions among themselves, in balance with natural random diffusion. We focus on cell-cell adhesion mechanisms for one single population confined in isolated domains. Our most relevant contribution is the proposal of a mathematical model, that includes a nonlocal saturation coefficient multiplying an appropriate nonlocal drift term, that can even induce repulsion effects from saturated areas.
- [221] arXiv:2401.13436 (replaced) [pdf, ps, other]
-
Title: Further Improvements on Waring's ProblemComments: A renew of the data in the last paragraphSubjects: Combinatorics (math.CO)
In this paper, we will continue the investigation of Waring's problem, and give further improvements.
- [222] arXiv:2401.14700 (replaced) [pdf, ps, other]
-
Title: Exploring Holomorphic RetractsComments: Considerably revised version; about 20 pages have been added to discuss converse of Vesentini's theorem and characterization of retracts of a certain domain whose boundary is not holomorphic extremeSubjects: Complex Variables (math.CV)
The purpose of this article is towards systematically characterizing (holomorphic) retracts of domains of holomorphy; to begin with, bounded balanced pseudoconvex domains $B \subset \mathbb{C}^N$. Specifically, we show that every retract of $B$ passing through its center (origin), is the graph of a holomorphic map over a linear subspace of $B$. As for retracts not passing through origin, we obtain the following result: if $B$ is a strictly convex ball and $\rho$ any holomorphic retraction map on $B$ which is submersive at its center, then $Z=\rho(B)$ is the graph of a holomorphic map over a linear subspace of $B$. To deal with a case when $\partial B$ may fail to have sufficiently many extreme points, we consider products of strictly convex balls, with respect to various norms and obtain a complete description of retracts passing through its center. This can be applied to solve a special case of the union problem with a degeneracy, namely: to characterize those Kobayashi corank one complex manifolds $M$ which can be expressed as an increasing union of submanifolds which are biholomorphic to a prescribed homogeneous bounded balanced domain. Results about non-existence of retracts of each possible dimension is established for the simplest non-convex but pseudoconvex domain: the `$\ell^q$-ball' for $0<q<1$; this enables an illustration of applying retracts to establishing biholomorphic inequivalences. To go beyond balanced domains, we then first obtain a complete characterization of retracts of the Hartogs triangle and `analytic complements' thereof. Thereafter, similar characterization results for domains which are neither bounded nor topologically trivial. We conclude by reporting some results on the retracts of $\mathbb{C}^2$.
- [223] arXiv:2401.15748 (replaced) [pdf, ps, html, other]
-
Title: Congruence subgroups of braid groups and crystallographic quotients. Part IComments: Minor revisions; accepted by Australian Journal of MathematicsSubjects: Group Theory (math.GR); Geometric Topology (math.GT)
This paper is the first of a two part series devoted to describing relations between congruence and crystallographic braid groups. We recall and introduce some elements belonging to congruence braid groups and we establish some (iso)-morphisms between crystallographic braid groups and corresponding quotients of congruence braid groups.
- [224] arXiv:2402.10498 (replaced) [pdf, ps, html, other]
-
Title: A higher genus circle method and an application to geometric Manin's conjectureComments: 36 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
Browning and Vishe used the Hardy-Littlewood circle method to show the moduli space of rational curves on smooth hypersurfaces of low degree is irreducible and of the expected dimension. We reinterpret the circle method geometrically and prove a generalization for higher genus smooth projective curves. In particular, we explain how the geometry of numbers can be understood via the Beauville-Laszlo theorem in terms of vector bundles on curves and their slopes, allowing us to prove a higher genus variant of Davenport's shrinking lemma. As a corollary, we apply this result to show the Fujita invariant of any proper subvariety of a smooth hypersurface of low degree is less than 1.
- [225] arXiv:2402.16415 (replaced) [pdf, ps, html, other]
-
Title: Achievable Rate Optimization for Stacked Intelligent Metasurface-Assisted Holographic MIMO CommunicationsAnastasios Papazafeiropoulos, Jiancheng An, Pandelis Kourtessis, Tharmalingam Ratnarajah, Symeon ChatzinotasSubjects: Information Theory (cs.IT)
Stacked intelligent metasurfaces (SIM) is a revolutionary technology, which can outperform its single-layer counterparts by performing advanced signal processing relying on wave propagation. In this work, we exploit SIM to enable transmit precoding and receiver combining in holographic multiple-input multiple-output (HMIMO) communications, and we study the achievable rate by formulating a joint optimization problem of the SIM phase shifts at both sides of the transceiver and the covariance matrix of the transmitted signal. Notably, we propose its solution by means of an iterative optimization algorithm that relies on the projected gradient method, and accounts for all optimization parameters simultaneously. We also obtain the step size guaranteeing the convergence of the proposed algorithm. Simulation results provide fundamental insights such the performance improvements compared to the single-RIS counterpart and conventional MIMO system. Remarkably, the proposed algorithm results in the same achievable rate as the alternating optimization (AO) benchmark but with a less number of iterations.
- [226] arXiv:2403.00548 (replaced) [pdf, ps, other]
-
Title: Special Joyce structures and hyperk\"ahler metricsComments: 31 pages. v2: Definition of special Joyce structure generalized to allow for a complex-valued J. Main result unchanged. Appendix B and references addedSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG)
Joyce structures were introduced by T. Bridgeland in the context of the space of stability conditions of a three-dimensional Calabi-Yau category and its associated Donaldson-Thomas invariants. In subsequent work, T. Bridgeland and I. Strachan showed that Joyce structures satisfying a certain non-degeneracy condition encode a complex hyperkähler structure on the tangent bundle of the base of the Joyce structure. In this work we give a definition of an analogous structure over an affine special Kähler (ASK) manifold, which we call a special Joyce structure. Furthermore, we show that it encodes a real hyperkähler (HK) structure on the tangent bundle of the ASK manifold, possibly of indefinite signature. Particular examples include the semi-flat HK metric associated to an ASK manifold (also known as the rigid c-map metric) and the HK metrics associated to certain uncoupled variations of BPS structures over the ASK manifold. Finally, we relate the HK metrics coming from special Joyce structures to HK metrics on the total space of algebraic integrable systems.
- [227] arXiv:2403.01658 (replaced) [pdf, ps, other]
-
Title: Noise sensitivity and stability on groupsSubjects: Probability (math.PR); Discrete Mathematics (cs.DM)
We discuss finitely generated infinite groups on which natural random walks are noise sensitive in total variation as well as ones on which natural random walks are noise stable in total variation.
- [228] arXiv:2403.04886 (replaced) [pdf, ps, html, other]
-
Title: Exponential Lower Bounds for Many Pivot Rules for the Simplex MethodComments: 14 pages, 4 figures, changed name from previous versionSubjects: Optimization and Control (math.OC); Combinatorics (math.CO)
The existence of a pivot rule for the simplex method that guarantees a strongly polynomial run-time is a longstanding, fundamental open problem in the theory of linear programming. The leading pivot rule in theory is the shadow pivot rule, which solves a linear program by projecting the feasible region onto a polygon. It has been shown to perform in expected strongly polynomial time on uniformly random instances and in smoothed analysis. In practice, the pivot rule of choice is the steepest edge rule, which normalizes the set of improving neighbors and then chooses a maximally improving normalized neighbor. Exponential lower bounds are known for both rules in worst-case analysis. However, for the shadow simplex method, all exponential examples were only proven for one choice of projection, and for the steepest edge rule, the lower bounds were only proven for the Euclidean norm. In this work, we construct linear programs for which any choice of projection for shadow rule variants will lead to an exponential run-time and exponential examples for any choice of norm for a steepest edge variant.
- [229] arXiv:2403.06743 (replaced) [pdf, ps, other]
-
Title: PolyominoIdeals: a package for Macaulay2 to work with the inner $2$-minor ideals of collections of cellsComments: In this draft we explain the usage of the package $\texttt{PolyominoIdeals}$ for $\texttt{Macaulay2}$ and we give some examples. Look at $\textit{https://rizwan.phd/polyo/}$ to get the input data for $\texttt{Macaulay2}$. In this initial phase, the aim is to provide some basic functions to study the polyomino ideals. Anyway the package is in progress and every contribution is very welcome as well!Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
Let $\mathcal{P}$ be a collection of cells and $I_\mathcal{P}$ be the associated ideal of inner $2$-minors as defined by A. A. Qureshi in 2012. In this paper, we provide a description of the package $\texttt{PolyominoIdeals}$ for the computer algebra software $\texttt{Macaulay2}$. More precisely, this package provides some functions that allow to define the ideal $I_{\mathcal{P}}$ in $\texttt{Macaulay2}$ and to compute its algebraic invariants or verifying its algebraic properties. We explain the usage of these functions and also give some examples. Refer to the tool provided in $\textit{https://rizwan.phd/polyo/}$ to get easier the desired input data for $\texttt{Macaulay2}$.
- [230] arXiv:2403.10405 (replaced) [pdf, ps, html, other]
-
Title: Action Functional as an Early Warning Indicator in the Space of Probability Measures via Schr\"odinger BridgeComments: 18pagesSubjects: Dynamical Systems (math.DS)
Critical transition and tipping phenomena between two meta-stable states in stochastic dynamical systems represents an important problem. In this work, we expand the methodology from the traditional Onsager-Machlup action functional, which typically identifies the most probable transition pathway between two meta-stable states, to investigate the evolutionary transition dynamics between two meta-stable invariant sets. To address this, we incorporate a comprehensive framework derived from Schrödinger bridge and Optimal Transport. In contrast to existing methodologies such as statistical analysis, bifurcation theory, information theory, statistical physics, topology, and graph theory for early warning indicators, we introduce a novel perspective on early warning signals within the realm of probability measures which enables the development of indicators grounded in action functionals.
In order to validate our framework, we apply this methodology to the Morris-Lecar model, which exhibits the generation of the repetitive firing in certain neurons resulting from a saddle-node bifurcation on an invariant circle. By varying the current condition, we investigate the transition dynamics between a meta-stable state and a stable invariant set (the limit cycle or homo-clinic orbit) within Morris-Lecar model. Additionally, we analyze real Alzheimer's data from the ADNI database to explore early warning signals indicating the transition from healthy to pre-AD states. This framework not only expands the transition pathway to encompass measures between two specified densities on invariant sets but also demonstrates potential of early warning indicators or biomarkers in complex diseases. - [231] arXiv:2403.18099 (replaced) [pdf, ps, other]
-
Title: Nested Hilbert Schemes on Hirzebruch surfaces and quiver varietiesComments: 28 pages. v2: Minor changes, including improvements in the presentation and the correction of typosSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
For $n\ge 1$ we show that the length 1 nested Hilbert scheme of the total space $X_n$ of the line bundle $\mathcal O_{\mathbb P^1}(-n)$, parameterizing pairs of nested 0-cycles in $X_n$, is a quiver variety associated with a suitable quiver with relations. This generalizes previous work about nested Hilbert schemes on $\mathbb C^2$ in one direction, and about the Hilbert schemes of points of $X_n$ in another direction.
- [232] arXiv:2403.18727 (replaced) [pdf, ps, other]
-
Title: Modular representations of the Yangian $Y_2$Comments: Minor corrections, 19 pagesSubjects: Representation Theory (math.RT)
Let $Y_2$ be the Yangian associated to the general linear Lie algebra $\mathfrak{gl}_2$, defined over an algebraically closed field $\mathbbm{k}$ of characteristic $p > 0$. In this paper, we study the representation theory of the restricted Yangian $Y^{[p]}_2$. This leads to a description of the representations of $\mathfrak{gl}_{2n}$, whose $p$-character is nilpotent with Jordan type given by a two-row partition $(n, n)$.
- [233] arXiv:2403.19324 (replaced) [pdf, ps, other]
-
Title: Rapid nonlinear convex guidance using a monomial methodComments: 34 pages, 16 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper introduces a framework by which the nonlinear trajectory optimization problem is posed as a path-planning problem in a space liberated of dynamics. In this space, general state constraints for continuous and impulsive control problems are encoded as linear constraints on the native overparameterized variables. This framework is enabled by nonlinear expansion in the vicinity of a reference in terms of fundamental solutions and a minimal nonlinear basis of mixed monomials in problem initial conditions. The former can be computed using state transition tensors, differential algebra, or analytic approaches, and the latter is computed analytically. Nonlinear guidance schemes are proposed taking advantage of this framework, including a successive convex programming scheme for delta-V minimizing trajectory optimization. This work enables a stable, easy to implement, and highly rapid nonlinear guidance implementation without the need for collocation or real-time integration.
- [234] arXiv:2404.01483 (replaced) [pdf, ps, other]
-
Title: Creating Decidable Diophantine EquationsComments: This version cites the interesting work of Maxim Vsemirnov, that we were made aware of thanks to Yuri MatiyasevichSubjects: Number Theory (math.NT)
Generalizing an argument of Matiyasevich, we illustrate a method to generate infinitely many diophantine equations whose solutions can be completely described by linear recurrences. In particular, we provide an integer-coefficient polynomial $p(x, y, z)$ whose only integer roots are consecutive triples of Tribonacci numbers.
- [235] arXiv:2404.02723 (replaced) [pdf, ps, other]
-
Title: Deterministic Identification Codes for Fading ChannelsComments: Minor correctionsSubjects: Information Theory (cs.IT)
Many communication applications incorporate event-triggered behavior, where the conventional Shannon capacity may not effectively gauge performance. Consequently, we advocate for the concept of identification capacity as a more suitable metric for assessing these systems. We consider deterministic identification codes for the Gaussian AWGN, the slow fading, and the fast fading channels with power constraints. We prove lower bounds on capacities for the slow and the fast fading channels with side information for a wide range of fading distributions. Additionally, we present the code construction with efficient encoding which achieves the lower bound on capacity both for the slow and the fast fading channels. At last, we prove the same lower bound on the capacity of the fast fading channel without side information, i.e. the same lower bound holds even when the receiver doesn't know the fading coefficients. As a result we show that compared with Shannon's message transmission paradigm we achieved completely different capacity scaling for deterministic identification codes for all relevant fading channels.
- [236] arXiv:2404.02895 (replaced) [pdf, ps, html, other]
-
Title: Renormalized energy of proper maps and conformal geodesicsComments: 25 pages; added clarification on formal criticality condition at the end of Section 2; minor improvements throughout the text, mostly non-mathematicalSubjects: Differential Geometry (math.DG)
We introduce a certain renormalized energy of proper maps between conformally compact Einstein manifolds, which is then used to give a holographic description of conformal geodesics on the boundary at infinity, in a way deeply inspired by a work of Fine and Herfray on renormalized area minimization and conformal geodesics.
- [237] arXiv:2404.03757 (replaced) [pdf, ps, html, other]
-
Title: Sequential parametrized topological complexity of group epimorphismsComments: New results regarding bounds have been added in section 4. Also new references addedSubjects: Algebraic Topology (math.AT)
In this paper, we introduce the sequential parametrized topological complexity of group epimorphisms, which generalizes the sequential topological complexity of groups. We derive bounds for sequential parametrized topological complexity based on the cohomological dimension of certain subgroups, thereby extending the corresponding bounds for sequential topological complexity of groups. Finally, we utilize these results to provide alternative computations for the sequential parametrized topological complexity of planar Fadell-Neuwirth fibrations.
- [238] arXiv:2404.04039 (replaced) [pdf, ps, other]
-
Title: Reconstructing a pseudotree from the distance matrix of its boundarySubjects: Combinatorics (math.CO)
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The distance matrix $\hat{D}_G$ of the boundary of a graph $G$ is the square matrix of order $\kappa$, being $\kappa$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$. Given a square matrix $\hat{B}$ of order $\kappa$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary. We show that if $G$ is either a tree or a unicyclic graph with girth $g\geq 5$ vertices, then $G$ is uniquely determined by the distance matrix $\hat{D}_{G}$ of the boundary of $G$ and we also conjecture that this statement holds for every connected graph. Moreover, two algorithms for reconstructing a tree and a unicyclic graph from the distance matrix of their boundaries are given, whose time complexities in the worst case are, respectively, $O(\kappa n)$ and $O(n^2)$.
- [239] arXiv:2404.08529 (replaced) [pdf, ps, other]
-
Title: The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patternsSubjects: Analysis of PDEs (math.AP)
In this article, we develop a method to perform constructive proofs of existence of smooth planar localized patterns in the Gray-Scott model. Specifically, we construct a natural Hilbert space $H^l$ for the study of systems of autonomous semi-linear PDEs, on which products and differential operators are well-defined. Then, given an approximate solution $\mathbf{u}_0$, we derive a Newton-Kantorovich approach based on the construction of an approximate inverse of the linearization around $\mathbf{u}_0$. In particular, we derive a condition under which we prove the existence of a unique solution in a neighborhood of $\mathbf{u}_0$. Such a condition can be verified thanks to the explicit computation of different upper bounds, for which analytical details are presented. Furthermore, we provide an extra condition under which localized patterns are proven to be the limit of an unbounded branch of (spatially) periodic solutions as the period tends to infinity. We then demonstrate our approach by proving (constructively) the existence of four different localized patterns in the 2D Gray-Scott model. In addition, these solutions are proven to satisfy the $D_4$-symmetry. That is, the symmetry of the square. The algorithmic details to perform the computer-assisted proofs are available on GitHub.
- [240] arXiv:2404.13012 (replaced) [pdf, ps, html, other]
-
Title: Asymptotic behavior of solutions of the nonlinear Beltrami equation with the JacobianSubjects: Analysis of PDEs (math.AP); Complex Variables (math.CV)
We investigate the asymptotic behavior at infinity of regular homeomorphic solutions of the nonlinear Beltrami equation with the Jacobian on the right-hand side. The sharpness of the above bounds is illustrated by several examples.
- [241] arXiv:2404.15868 (replaced) [pdf, ps, html, other]
-
Title: On a general notion of a polynomial identity and codimensionsComments: 26 pages; added a remark that in order to force a BMAT to be symmetric, it is sufficient to impose a single polynomial identity $τ_{1,1}^2\equiv \id_2$Subjects: Rings and Algebras (math.RA); Category Theory (math.CT); Quantum Algebra (math.QA); Representation Theory (math.RT)
Using the braided version of Lawvere's algebraic theories and Mac Lane's PROPs, we introduce polynomial identities for arbitrary algebraic structures in a braided monoidal category C as well as their codimensions in the case when C is linear over some field. The new cases include coalgebras, bialgebras, Hopf algebras, braided vector spaces, Yetter-Drinfel'd modules, etc. We find bases for polynomial identities and calculate codimensions in some important particular cases.
- [242] arXiv:2404.16021 (replaced) [pdf, ps, html, other]
-
Title: Critical beta-splitting, via contractionComments: v2: added references #5 and #7, in response to a private communication with Oleksandr Iksanov (see acknowledgments)Subjects: Probability (math.PR); Combinatorics (math.CO)
The critical beta-splitting tree, introduced by Aldous, is a Markov branching phylogenetic tree of poly-logarithmic height. Recently, by a technical analysis, Aldous and Pittel proved, amongst other results, a central limit theorem for the height $H_n$ of a random leaf.
We give an alternative proof, via contraction methods for random recursive structures. These techniques were developed by Neininger and Rüschendorf, motivated by Pittel's article "Normal convergence problem? Two moments and a recurrence may be the clues." Aldous and Pittel estimated the first two moments of $H_n$, with great precision. We show that a limit theorem follows, and bound the distance from normality. - [243] arXiv:2404.18918 (replaced) [pdf, ps, other]
-
Title: Strong solutions to McKean-Vlasov SDEs associated to a class of degenerate Fokker-Planck equations with coefficients of Nemytskii-typeComments: 26 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
While the nondegenerate case is well-known, there are only few results on the existence of strong solutions to McKean-Vlasov SDEs with coefficients of Nemytskii-type in the degenerate case. We consider a broad class of degenerate nonlinear Fokker-Planck(-Kolmogorov) equations with coefficients of Nemytskii-type. This includes, in particular, the classical porous medium equation perturbed by a first-order term with initial datum in a subset of probability densities, which is dense with respect to the topology inherited from $L^1$, and, in the one-dimensional setting, the classical porous medium equation with initial datum in an arbitrary point $x\in\mathbb{R}$. For these kind of equations the existence of a Schwartz-distributional solution $u$ is well-known. We show that there exists a unique strong solution to the associated degenerate McKean-Vlasov SDE with time marginal law densities $u$. In particular, every weak solution to this equation with time marginal law densities $u$ can be written as a functional of the driving Brownian motion.
Moreover, plugging any Brownian motion into this very functional yields a weak solution with time marginal law densities $u$. - [244] arXiv:2405.00363 (replaced) [pdf, ps, other]
-
Title: Competing bootstrap processes on the random graph $G(n,p)$Subjects: Probability (math.PR); Dynamical Systems (math.DS)
We consider a generalization of classic bootstrap percolation in which two competing processes concurrently evolve on the same graph $G(n,p)$. Nodes can be in one of three states, conveniently represented by different colors: red, black and white. Initially, a given number $a_R$ of active red nodes (red seeds) are selected uniformly at random among the $n$ nodes. Similarly, a given number $a_B$ of active black nodes (black seeds) are selected uniformly at random among the other $n-a_R$ nodes. All remaining nodes are initially white (inactive). White nodes wake up at times dictated by independent Poisson clocks of rate 1. When a white node wakes up, it checks the state of its neighbors: if the number of red (black) neighbors exceeds the number of black (red) neighbors by a fixed amount $r \geq 2$, the node becomes an active red (black) node, and remains so forever. The parameters of the model are, besides $r$ (fixed) and $n$ (tending to $\infty$), the numbers $a_R$ ($a_B$) of initial red (black) seeds, and the edge existence probability $p=p(n)$. We study the size $A^*_R$ ($A^*_B$) of the final set of active red (black) nodes, identifying different regimes which are analyzed under suitable time-scales, allowing us to obtain detailed (asymptotic) temporal dynamics of the two concurrent activation processes.
- [245] arXiv:2405.00423 (replaced) [pdf, ps, 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.
- [246] arXiv:2405.01421 (replaced) [pdf, ps, other]
-
Title: Systematic Construction of Golay Complementary Sets of Arbitrary Lengths and Alphabet SizesSubjects: Information Theory (cs.IT)
One of the important applications of Golay complementary sets (GCSs) is the reduction of peak-to-mean envelope power ratio (PMEPR) in orthogonal frequency division multiplexing (OFDM) systems. OFDM has played a major role in modern wireless systems such as long-term-evolution (LTE), 5th generation (5G) wireless standards, etc. This paper searches for systematic constructions of GCSs of arbitrary lengths and alphabet sizes. The proposed constructions are based on extended Boolean functions (EBFs). For the first time, we can generate codes of independent parameter choices.
- [247] arXiv:2405.01788 (replaced) [pdf, ps, html, other]
-
Title: Markov Chain Monte Carlo for Koopman-based Optimal Control: Technical ReportSubjects: Optimization and Control (math.OC)
We propose a Markov Chain Monte Carlo (MCMC) algorithm based on Gibbs sampling with parallel tempering to solve nonlinear optimal control problems. The algorithm is applicable to nonlinear systems with dynamics that can be approximately represented by a finite dimensional Koopman model, potentially with high dimension. This algorithm exploits linearity of the Koopman representation to achieve significant computational saving for large lifted states. We use a video-game to illustrate the use of the method.
- [248] arXiv:2405.02039 (replaced) [pdf, ps, other]
-
Title: On the Submodule Structure of Hook Specht Modules in Characteristic 2Subjects: Representation Theory (math.RT)
The submodule structure of general Specht modules in prime characteristic is a difficult open problem. Kleshchev and Sheth [Journal of Algebra, 221(2), pp.705-722] gave a combinatorial description of the submodule structure of Specht modules labelled by $2$-part partitions in prime characteristic. Using this result, as well as filtrations of Specht modules labelled by hook partitions via $2$-part Specht modules in characteristic $2$, one can study the submodule structure of hook Specht modules. In particular, we classify which of these are uniserial.
- [249] 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.
- [250] arXiv:2405.04091 (replaced) [pdf, ps, 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.
- [251] arXiv:2405.04119 (replaced) [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. - [252] arXiv:2405.04234 (replaced) [pdf, ps, other]
-
Title: On a conjecture of Wooley and lower bounds for cubic hypersurfacesComments: 66 pages. Updated bibliographySubjects: 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.
- [253] arXiv:2012.04576 (replaced) [pdf, ps, html, other]
-
Title: On the existence of the maximum likelihood estimate and convergence rate under gradient descent for multi-class logistic regressionComments: We included relevant background literature on this matterSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
We revisit the problem of the existence of the maximum likelihood estimate for multi-class logistic regression. We show that one method of ensuring its existence is by assigning positive probability to every class in the sample dataset. The notion of data separability is not needed, which is in contrast to the classical set up of multi-class logistic regression in which each data sample belongs to one class. We also provide a general and constructive estimate of the convergence rate to the maximum likelihood estimate when gradient descent is used as the optimizer. Our estimate involves bounding the condition number of the Hessian of the maximum likelihood function. The approaches used in this article rely on a simple operator-theoretic framework.
- [254] arXiv:2208.00174 (replaced) [pdf, ps, other]
-
Title: Bump hunting through density curvature featuresComments: 19 pages, 5 figures (manuscript) + 13 pages, 2 figures (supplementary material)Journal-ref: TEST 32 (2023) 1251-1275Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
Bump hunting deals with finding in sample spaces meaningful data subsets known as bumps. These have traditionally been conceived as modal or concave regions in the graph of the underlying density function. We define an abstract bump construct based on curvature functionals of the probability density. Then, we explore several alternative characterizations involving derivatives up to second order. In particular, a suitable implementation of Good and Gaskins' original concave bumps is proposed in the multivariate case. Moreover, we bring to exploratory data analysis concepts like the mean curvature and the Laplacian that have produced good results in applied domains. Our methodology addresses the approximation of the curvature functional with a plug-in kernel density estimator. We provide theoretical results that assure the asymptotic consistency of bump boundaries in the Hausdorff distance with affordable convergence rates. We also present asymptotically valid and consistent confidence regions bounding curvature bumps. The theory is illustrated through several use cases in sports analytics with datasets from the NBA, MLB and NFL. We conclude that the different curvature instances effectively combine to generate insightful visualizations.
- [255] arXiv:2208.03941 (replaced) [pdf, ps, other]
-
Title: Provable Acceleration of Nesterov's Accelerated Gradient Method over Heavy Ball Method in Training Over-Parameterized Neural NetworksComments: 16 pages, accepted to the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 (Main) TrackSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Due to its simplicity and efficiency, the first-order gradient method has been extensively employed in training neural networks. Although the optimization problem of the neural network is non-convex, recent research has proved that the first-order method is capable of attaining a global minimum during training over-parameterized neural networks, where the number of parameters is significantly larger than that of training instances. Momentum methods, including the heavy ball (HB) method and Nesterov's accelerated gradient (NAG) method, are the workhorse of first-order gradient methods owning to their accelerated convergence. In practice, NAG often exhibits superior performance than HB. However, current theoretical works fail to distinguish their convergence difference in training neural networks. To fill this gap, we consider the training problem of the two-layer ReLU neural network under over-parameterization and random initialization. Leveraging high-resolution dynamical systems and neural tangent kernel (NTK) theory, our result not only establishes tighter upper bounds of the convergence rate for both HB and NAG, but also provides the first theoretical guarantee for the acceleration of NAG over HB in training neural networks. Finally, we validate our theoretical results on three benchmark datasets.
- [256] arXiv:2210.02599 (replaced) [pdf, ps, other]
-
Title: The Local to Unity Dynamic Tobit ModelComments: 42 pages, 7 figures; author accepted manuscriptSubjects: Econometrics (econ.EM); Statistics Theory (math.ST)
This paper considers highly persistent time series that are subject to nonlinearities in the form of censoring or an occasionally binding constraint, such as are regularly encountered in macroeconomics. A tractable candidate model for such series is the dynamic Tobit with a root local to unity. We show that this model generates a process that converges weakly to a non-standard limiting process, that is constrained (regulated) to be positive. Surprisingly, despite the presence of censoring, the OLS estimators of the model parameters are consistent. We show that this allows OLS-based inferences to be drawn on the overall persistence of the process (as measured by the sum of the autoregressive coefficients), and for the null of a unit root to be tested in the presence of censoring. Our simulations illustrate that the conventional ADF test substantially over-rejects when the data is generated by a dynamic Tobit with a unit root, whereas our proposed test is correctly sized. We provide an application of our methods to testing for a unit root in the Swiss franc / euro exchange rate, during a period when this was subject to an occasionally binding lower bound.
- [257] arXiv:2210.15148 (replaced) [pdf, ps, html, other]
-
Title: Ranking Edges by their Impact on the Spectral Complexity of Information Diffusion over NetworksComments: 27 pages, 9 figures. Revision based on submission to SIAM MMS journalSubjects: Physics and Society (physics.soc-ph); Information Theory (cs.IT); Mathematical Physics (math-ph)
Despite the numerous ways now available to quantify which parts or subsystems of a network are most important, there remains a lack of centrality measures that are related to the complexity of information flows and are derived directly from entropy measures. Here, we introduce a ranking of edges based on how each edge's removal would change a system's von Neumann entropy (VNE), which is a spectral-entropy measure that has been adapted from quantum information theory to quantify the complexity of information dynamics over networks. We show that a direct calculation of such rankings is computationally inefficient (or unfeasible) for large networks: e.g.\ the scaling is $\mathcal{O}(N^3)$ per edge for networks with $N$ nodes. To overcome this limitation, we employ spectral perturbation theory to estimate VNE perturbations and derive an approximate edge-ranking algorithm that is accurate and fast to compute, scaling as $\mathcal{O}(N)$ per edge. Focusing on a form of VNE that is associated with a transport operator $e^{-\beta{ L}}$, where ${ L}$ is a graph Laplacian matrix and $\beta>0$ is a diffusion timescale parameter, we apply this approach to diverse applications including a network encoding polarized voting patterns of the 117th U.S. Senate, a multimodal transportation system including roads and metro lines in London, and a multiplex brain network encoding correlated human brain activity. Our experiments highlight situations where the edges that are considered to be most important for information diffusion complexity can dramatically change as one considers short, intermediate and long timescales $\beta$ for diffusion.
- [258] arXiv:2211.05690 (replaced) [pdf, ps, html, other]
-
Title: Robust Model Selection of Gaussian Graphical ModelsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
In Gaussian graphical model selection, noise-corrupted samples present significant challenges. It is known that even minimal amounts of noise can obscure the underlying structure, leading to fundamental identifiability issues. A recent line of work addressing this "robust model selection" problem narrows its focus to tree-structured graphical models. Even within this specific class of models, exact structure recovery is shown to be impossible. However, several algorithms have been developed that are known to provably recover the underlying tree-structure up to an (unavoidable) equivalence class.
In this paper, we extend these results beyond tree-structured graphs. We first characterize the equivalence class up to which general graphs can be recovered in the presence of noise. Despite the inherent ambiguity (which we prove is unavoidable), the structure that can be recovered reveals local clustering information and global connectivity patterns in the underlying model. Such information is useful in a range of real-world problems, including power grids, social networks, protein-protein interactions, and neural structures. We then propose an algorithm which provably recovers the underlying graph up to the identified ambiguity. We further provide finite sample guarantees in the high-dimensional regime for our algorithm and validate our results through numerical simulations. - [259] arXiv:2303.03295 (replaced) [pdf, ps, html, other]
-
Title: Probabilistic Game-Theoretic Traffic RoutingSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
We examine the routing problem for self-interested vehicles using stochastic decision strategies. By approximating the road latency functions and a non-linear variable transformation, we frame the problem as an aggregative game. We characterize the approximation error and we derive a new monotonicity condition for a broad category of games that encompasses the problem under consideration. Next, we propose a semi-decentralized algorithm to calculate the routing as a variational generalized Nash equilibrium and demonstrate the solution's benefits with numerical simulations. In the particular case of potential games, which emerges for linear latency functions, we explore a receding-horizon formulation of the routing problem, showing asymptotic convergence to destinations and analysing closed-loop performance dependence on horizon length through numerical simulations.
- [260] arXiv:2303.10665 (replaced) [pdf, ps, other]
-
Title: Major-Minor Mean Field Multi-Agent Reinforcement LearningComments: Accepted to ICML 2024Subjects: Machine Learning (cs.LG); Multiagent Systems (cs.MA); Optimization and Control (math.OC)
Multi-agent reinforcement learning (MARL) remains difficult to scale to many agents. Recent MARL using Mean Field Control (MFC) provides a tractable and rigorous approach to otherwise difficult cooperative MARL. However, the strict MFC assumption of many independent, weakly-interacting agents is too inflexible in practice. We generalize MFC to instead simultaneously model many similar and few complex agents -- as Major-Minor Mean Field Control (M3FC). Theoretically, we give approximation results for finite agent control, and verify the sufficiency of stationary policies for optimality together with a dynamic programming principle. Algorithmically, we propose Major-Minor Mean Field MARL (M3FMARL) for finite agent systems instead of the limiting system. The algorithm is shown to approximate the policy gradient of the underlying M3FC MDP. Finally, we demonstrate its capabilities experimentally in various scenarios. We observe a strong performance in comparison to state-of-the-art policy gradient MARL methods.
- [261] arXiv:2305.00662 (replaced) [pdf, ps, html, other]
-
Title: Eigenstate thermalization in an open bipartite quantum system and the semiclassical method base on correlations of adjacent local states in phase spaceSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We investigate the eigenstate thermalization in terms of a Hermitian operator and the complex eigenkets that follows Gaussian ensemble distribution. With the non-Hermitian open bipartite system, there are, however, some global restrictions such that the elements share some of the properties of Gaussian orthogonal ensemble in diagonal and off-diagonal perspective. Such global restrictions enforce that one of the subsystem contains a nullspace with non-defective degeneracies (the primary subsystem), and the another full-ranked subsystem (the secondary subsystem). For the primary subsystem, the mixed densities in Hermitian and non-Hermitian basis exhibits global fluctuation and unidirectional (non-Hermitian skin effect) fluctuation, respectively. The former is due to the global restrictions of the whole system which plays teh role of environmental disorder, while the latter is due to the nonlocal symmetries which is allowed in the restricted Hilbert space.
We also investigate the integrablity-chaos transition with independent perturbations in terms of the Berry autocorrelation in semicalssical limit, where there is a phase space spanned by the momentum-like projection and the range of local wave function. - [262] arXiv:2307.05825 (replaced) [pdf, ps, other]
-
Title: Bayesian taut splines for estimating the number of modesComments: 21 pages, 8 figures (manuscript) + 22 pages, 17 figures (supplementary material)Journal-ref: Computational Statistics and Data Analysis 196 (2024) 107961Subjects: Methodology (stat.ME); Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
The number of modes in a probability density function is representative of the complexity of a model and can also be viewed as the number of subpopulations. Despite its relevance, there has been limited research in this area. A novel approach to estimating the number of modes in the univariate setting is presented, focusing on prediction accuracy and inspired by some overlooked aspects of the problem: the need for structure in the solutions, the subjective and uncertain nature of modes, and the convenience of a holistic view that blends local and global density properties. The technique combines flexible kernel estimators and parsimonious compositional splines in the Bayesian inference paradigm, providing soft solutions and incorporating expert judgment. The procedure includes feature exploration, model selection, and mode testing, illustrated in a sports analytics case study showcasing multiple companion visualisation tools. A thorough simulation study also demonstrates that traditional modality-driven approaches paradoxically struggle to provide accurate results. In this context, the new method emerges as a top-tier alternative, offering innovative solutions for analysts.
- [263] arXiv:2307.13660 (replaced) [pdf, ps, other]
-
Title: Computing the Gromov--Hausdorff distance using gradient methodsSubjects: Computational Geometry (cs.CG); Metric Geometry (math.MG)
The Gromov--Hausdorff distance measures the difference in shape between metric spaces and poses a notoriously difficult problem in combinatorial optimization. We introduce its quadratic relaxation over a convex polytope whose solutions provably deliver the Gromov--Hausdorff distance. The optimality guarantee is enabled by the fact that the search space of our approach is not constrained to a generalization of bijections, unlike in other relaxations such as the Gromov--Wasserstein distance.
We suggest conditional gradient descent for solving the relaxation in cubic time per iteration, and demonstrate its performance on metric spaces of hundreds of points. In particular, we use it to obtain a new bound of the Gromov--Hausdorff distance between the unit circle and the unit hemisphere equipped with Euclidean metric. Our approach is implemented as a Python package dGH. - [264] arXiv:2308.14581 (replaced) [pdf, ps, other]
-
Title: Many-valued coalgebraic logic over semi-primal varietiesSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra. We show that this can be extended to a technique to lift classical coalgebraic logics to many-valued ones, and that (one-step) completeness and expressivity are preserved under this lifting. For specific classes of endofunctors, we also describe how to obtain an axiomatization of the lifted many-valued logic directly from an axiomatization of the original classical one. In particular, we apply all of these techniques to classical modal logic.
- [265] arXiv:2310.06771 (replaced) [pdf, ps, other]
-
Title: Correlated Noise Provably Beats Independent Noise for Differentially Private LearningChristopher A. Choquette-Choo, Krishnamurthy Dvijotham, Krishna Pillutla, Arun Ganesh, Thomas Steinke, Abhradeep ThakurtaComments: Christopher A. Choquette-Choo, Krishnamurthy Dvijotham, and Krishna Pillutla contributed equallyJournal-ref: ICLR 2024Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Optimization and Control (math.OC)
Differentially private learning algorithms inject noise into the learning process. While the most common private learning algorithm, DP-SGD, adds independent Gaussian noise in each iteration, recent work on matrix factorization mechanisms has shown empirically that introducing correlations in the noise can greatly improve their utility. We characterize the asymptotic learning utility for any choice of the correlation function, giving precise analytical bounds for linear regression and as the solution to a convex program for general convex functions. We show, using these bounds, how correlated noise provably improves upon vanilla DP-SGD as a function of problem parameters such as the effective dimension and condition number. Moreover, our analytical expression for the near-optimal correlation function circumvents the cubic complexity of the semi-definite program used to optimize the noise correlation matrix in previous work. We validate our theory with experiments on private deep learning. Our work matches or outperforms prior work while being efficient both in terms of compute and memory.
- [266] arXiv:2310.16985 (replaced) [pdf, ps, other]
-
Title: TinyMPC: Model-Predictive Control on Resource-Constrained MicrocontrollersComments: Accepted at ICRA 2024. Publicly available at this https URLSubjects: Robotics (cs.RO); Systems and Control (eess.SY); Optimization and Control (math.OC)
Model-predictive control (MPC) is a powerful tool for controlling highly dynamic robotic systems subject to complex constraints. However, MPC is computationally demanding, and is often impractical to implement on small, resource-constrained robotic platforms. We present TinyMPC, a high-speed MPC solver with a low memory footprint targeting the microcontrollers common on small robots. Our approach is based on the alternating direction method of multipliers (ADMM) and leverages the structure of the MPC problem for efficiency. We demonstrate TinyMPC's effectiveness by benchmarking against the state-of-the-art solver OSQP, achieving nearly an order of magnitude speed increase, as well as through hardware experiments on a 27 gram quadrotor, demonstrating high-speed trajectory tracking and dynamic obstacle avoidance. TinyMPC is publicly available at this https URL.
- [267] arXiv:2311.03087 (replaced) [pdf, ps, other]
-
Title: Persistent Homology for High-dimensional Data Based on Spectral MethodsComments: 48 pages, 39 figuresSubjects: Machine Learning (cs.LG); Algebraic Topology (math.AT)
Persistent homology is a popular computational tool for analyzing the topology of point clouds, such as the presence of loops or voids. However, many real-world datasets with low intrinsic dimensionality reside in an ambient space of much higher dimensionality. We show that in this case traditional persistent homology becomes very sensitive to noise and fails to detect the correct topology. The same holds true for existing refinements of persistent homology. As a remedy, we find that spectral distances on the $k$-nearest-neighbor graph of the data, such as diffusion distance and effective resistance, allow to detect the correct topology even in the presence of high-dimensional noise. Moreover, we derive a novel closed-form formula for effective resistance, and describe its relation to diffusion distances. Finally, we apply these methods to high-dimensional single-cell RNA-sequencing data and show that spectral distances allow robust detection of cell cycle loops.
- [268] arXiv:2312.12517 (replaced) [pdf, ps, html, other]
-
Title: Flux Quantization on Phase SpaceComments: 23 pages; v3: published version, with a little more background added to section 3.1; v2: more references added & typos fixedJournal-ref: Annales Henri Poincar\'e (2024)Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Topology (math.AT); Differential Geometry (math.DG); K-Theory and Homology (math.KT)
While it has become widely appreciated that (higher) gauge theories need, besides their variational phase space data, to be equipped with "flux quantization laws" in generalized differential cohomology, there used to be no general prescription for how to define and construct the resulting flux-quantized phase space stacks.
In this short note we observe that all higher Maxwell-type equations have solution spaces given by flux densities on a Cauchy surface subject to a higher Gauss law and no further constraint: The metric duality-constraint is all absorbed into the evolution equation away from the Cauchy surface.
Moreover, we observe that the higher Gauss law characterizes the Cauchy data as flat differential forms valued in a characteristic L-infinity-algebra. Using the recent construction of the non-abelian Chern-Dold character map, this implies that compatible flux quantization laws on phase space have classifying spaces whose rational Whitehead L-infinity algebra is this characteristic one. The flux-quantized higher phase space stack of the theory is then simply the corresponding (generally non-abelian) differential cohomology moduli stack on the Cauchy surface.
We show how this systematic prescription subsumes existing proposals for flux-quantized phase spaces of vacuum Maxwell theory and of the chiral boson. Moreover, for the case of NS/RR-fields in type II supergravity, the traditional "Hypothesis K" of flux quantization in topological K-theory is naturally implied, without the need, on phase space, for the notorious further duality constraint. Finally, as a genuinely non-abelian example, we consider flux-quantization of the C-field in 11d supergravity/M-theory given by unstable differential 4-Cohomotopy ("Hypothesis H") and emphasize again that, implemented on Cauchy data, this qualifies as the full phase space without the need for a further duality constraint. - [269] arXiv:2401.16836 (replaced) [pdf, ps, html, other]
-
Title: Coseparable Nonnegative Tensor Factorization With T-CUR DecompositionSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
Nonnegative Matrix Factorization (NMF) is an important unsupervised learning method to extract meaningful features from data. To address the NMF problem within a polynomial time framework, researchers have introduced a separability assumption, which has recently evolved into the concept of coseparability. This advancement offers a more efficient core representation for the original data. However, in the real world, the data is more natural to be represented as a multi-dimensional array, such as images or videos. The NMF's application to high-dimensional data involves vectorization, which risks losing essential multi-dimensional correlations. To retain these inherent correlations in the data, we turn to tensors (multidimensional arrays) and leverage the tensor t-product. This approach extends the coseparable NMF to the tensor setting, creating what we term coseparable Nonnegative Tensor Factorization (NTF). In this work, we provide an alternating index selection method to select the coseparable core. Furthermore, we validate the t-CUR sampling theory and integrate it with the tensor Discrete Empirical Interpolation Method (t-DEIM) to introduce an alternative, randomized index selection process. These methods have been tested on both synthetic and facial analysis datasets. The results demonstrate the efficiency of coseparable NTF when compared to coseparable NMF.
- [270] arXiv:2403.13237 (replaced) [pdf, ps, other]
-
Title: Graph Attention Network-based Block Propagation with Optimal AoI and Reputation in Web 3.0Jiana Liao, Jinbo Wen, Jiawen Kang, Changyan Yi, Yang Zhang, Yutao Jiao, Dusit Niyato, Dong In Kim, Shengli XieSubjects: Cryptography and Security (cs.CR); Optimization and Control (math.OC)
Web 3.0 is recognized as a pioneering paradigm that empowers users to securely oversee data without reliance on a centralized authority. Blockchains, as a core technology to realize Web 3.0, can facilitate decentralized and transparent data management. Nevertheless, the evolution of blockchain-enabled Web 3.0 is still in its nascent phase, grappling with challenges such as ensuring efficiency and reliability to enhance block propagation performance. In this paper, we design a Graph Attention Network (GAT)-based reliable block propagation optimization framework for blockchain-enabled Web 3.0. We first innovatively apply a data-freshness metric called age of block to measure block propagation efficiency in public blockchains. To achieve the reliability of block propagation, we introduce a reputation mechanism based on the subjective logic model, including the local and recommended opinions to calculate the miner reputation value. Moreover, considering that the GAT possesses the excellent ability to process graph-structured data, we utilize the GAT with reinforcement learning to obtain the optimal block propagation trajectory. Numerical results demonstrate that the proposed scheme exhibits the most outstanding block propagation efficiency and reliability compared with traditional routing mechanisms.
- [271] arXiv:2404.01714 (replaced) [pdf, ps, other]
-
Title: Conjugate-Gradient-like Based Adaptive Moment Estimation Optimization Algorithm for Deep LearningComments: 32 pages, 13 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)
Training deep neural networks is a challenging task. In order to speed up training and enhance the performance of deep neural networks, we rectify the vanilla conjugate gradient as conjugate-gradient-like and incorporate it into the generic Adam, and thus propose a new optimization algorithm named CG-like-Adam for deep learning. Specifically, both the first-order and the second-order moment estimation of generic Adam are replaced by the conjugate-gradient-like. Convergence analysis handles the cases where the exponential moving average coefficient of the first-order moment estimation is constant and the first-order moment estimation is unbiased. Numerical experiments show the superiority of the proposed algorithm based on the CIFAR10/100 dataset.
- [272] arXiv:2404.11501 (replaced) [pdf, ps, other]
-
Title: Solving the Yang-Baxter, tetrahedron and higher simplex equations using Clifford algebrasComments: v2 70 pages, Includes missing solutions, all of which are succinctly captured in Theorems 1 and 2Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
Bethe Ansatz was discoverd in 1932. Half a century later its algebraic structure was unearthed: Yang-Baxter equation was discovered, as well as its multidimensional generalizations [tetrahedron equation and $d$-simplex equations]. Here we describe a universal method to solve these equations using Clifford algebras. The Yang-Baxter equation ($d=2$), Zamalodchikov's tetrahedron equation ($d=3$) and the Bazhanov-Stroganov equation ($d=4$) are special cases. Our solutions form a linear space. This helps us to include spectral parameters. Potential applications are discussed.
- [273] arXiv:2404.15561 (replaced) [pdf, ps, html, other]
-
Title: Casimir energy on the sphere and 6D CFT trace anomalyComments: 14 pages. No figures. Three Tables. Version two. References added and new appendix includedSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We elucidate the dependence of the Casimir energy on the trace anomaly coefficients for a six-dimensional CFT on $R\times S^5$. This extends the universal dependence on the central charge in 2D and the relation by Cappelli and Coste in 4D, unveiling the role of the trivial total derivatives in the anomaly that renders the Casimir energy scheme dependent. We obtain
$$E_o=-\frac{15}{8}\,a_6 -\frac{5}{12}\,\left(g_5+\frac{1}{4}\,g_7+\frac{1}{2}\,g_8-10\, g_9+g_{10}\right),$$ with $a_6$ being the type A central charge and the $g$'s, the coefficients of five out of six terms that form a basis for trivial total derivatives. The derivation is based on the Polyakov formulas (conformal primitive) resulting from the integration of the trace anomaly.
Alternatively, on a 6D conformally flat background the above basis is redundant and one can simplify further to get, in terms of the Schouten scalar $J$ and the Schouten tensor $V$, Branson's basis for trivial total derivatives $\nabla^2\nabla^2 J$, $\nabla^2J^2$ and $\nabla^2|V|^2+2\nabla\cdot(V\cdot\nabla\,J)$ with coefficients $\gamma_1, \gamma_2$ and $\gamma_3$, respectively, \begin{equation} \nonumber
E_o=-\frac{15}{8}a_6-\frac{1}{24}\left(\gamma_1-\gamma_2 -\frac{1}{8}\gamma_3\right)~. \end{equation} - [274] arXiv:2405.01124 (replaced) [pdf, ps, html, other]
-
Title: Investigating Self-Supervised Image Denoising with DenaturationSubjects: Machine Learning (stat.ML); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Image and Video Processing (eess.IV); Statistics Theory (math.ST)
Self-supervised learning for image denoising problems in the presence of denaturation for noisy data is a crucial approach in machine learning. However, theoretical understanding of the performance of the approach that uses denatured data is lacking. To provide better understanding of the approach, in this paper, we analyze a self-supervised denoising algorithm that uses denatured data in depth through theoretical analysis and numerical experiments. Through the theoretical analysis, we discuss that the algorithm finds desired solutions to the optimization problem with the population risk, while the guarantee for the empirical risk depends on the hardness of the denoising task in terms of denaturation levels. We also conduct several experiments to investigate the performance of an extended algorithm in practice. The results indicate that the algorithm training with denatured images works, and the empirical performance aligns with the theoretical results. These results suggest several insights for further improvement of self-supervised image denoising that uses denatured data in future directions.
- [275] arXiv:2405.04157 (replaced) [pdf, ps, 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.