Mathematics
See recent articles
Showing new listings for Friday, 27 September 2024
- [1] arXiv:2409.17147 [pdf, html, other]
-
Title: A characterization and an explicit description of all primitive polynomials of degree two over finite fieldsSubjects: General Mathematics (math.GM)
For polynomials of degree two over finite fields, we present an improvement of Fitzgerald's characterization (Finite Fields Appl. 9(1):117-121, 2003). We then use this new characterization to obtain an explicit, complete, and simple description of all primitive polynomials of degree two over finite fields.
- [2] arXiv:2409.17148 [pdf, html, other]
-
Title: A class of polynomials from enumerating queen pathsSubjects: Combinatorics (math.CO)
We study a class polynomials obtained from an enumeration of the number of queen paths. In particular, we find the generating function for the diagonal sequence of this table and the zero distribution of a sequence of related polynomials.
- [3] arXiv:2409.17149 [pdf, html, other]
-
Title: A short note on a definite integral of a general formSubjects: General Mathematics (math.GM)
In this note we derive some interesting definite integrals involving Malmsten logarithm forms, reciprocal logarithm forms and Kölbig type integrals in terms of special functions.
- [4] arXiv:2409.17150 [pdf, html, other]
-
Title: Penrose's eight-conic theorem via Penrose's eight-quadric theoremComments: 21 pages, 12 figuresSubjects: General Mathematics (math.GM)
This article proves the following theorem, first enunciated by Roger Penrose about 70 years ago: In $\mathbb{RP}^2$, if regular conics are assigned to seven of the vertices of a combinatorial cube such that conics connected by an edge are in double contact, and the chords of contact associated to a cube face have a common point, then there exists a unique eighth conic which completes the cube and satisfies the same conditions.
The proof is based on the following analogue theorem: In $\mathbb{RP}^3$, if regular quadrics are assigned to seven of the vertices of a combinatorial cube such that quadrics connected by an edge are in ring contact, and the ring planes associated to a cube face have a common axis, then there exists a unique eighth quadric which completes the cube and satisfies the same conditions. - [5] arXiv:2409.17151 [pdf, html, other]
-
Title: New approach in the Besov space to the existence and uniqueness of solutions of the D-dimensional fractional magnetic B\'enard system without thermal diffusionSubjects: Analysis of PDEs (math.AP)
This work investigates the existence and uniqueness of local weak solutions for the d-dimensional $(d \geq 2)$ fractional magnetic Bénard system without thermal diffusion, integrating the Bénard equation and MHD system. For $\kappa = 0$ and $1 \leq \alpha=\beta < 1 + \dfrac{d}{4}$, we establish that any starting conditions $(u_{0},B_{0})\in B_{2,1}^{1+\frac{d}{2}-2\alpha}(\mathbb{R}^{d})$ and $\theta_{0}\in B_{2,1}^{1+\frac{d}{2}-\alpha}(\mathbb{R}^{d})$.
- [6] arXiv:2409.17152 [pdf, html, other]
-
Title: On the Onsager's energy conservation for the convergence dynamics of the 3D-Leray-$\alpha$ gaseous star modelSubjects: Analysis of PDEs (math.AP)
This research presents a model that accurately represents the motions of gaseous stars We employ the Navier-Stokes-Poisson system to transform compressible Euler equations into non-compressible ones by combining quasineutral and inviscid conditions. We intend to put Onsager's hypothesis to the test using the Leray-alpha gaseous star model. This conjecture connects energy conservation with the regularity of weak solutions in the Euler equations. The model used in this work functions as an inviscid regularization of the Euler equations. It technically converges to the Euler equations as the regularization length scale $\alpha$ approaches $0^{+}$.
- [7] arXiv:2409.17153 [pdf, html, other]
-
Title: A generalized Apollonius problemSubjects: History and Overview (math.HO); Metric Geometry (math.MG)
We present a self-contained solution of a generalized Apollonius problem of constructing a circle that intersects each of the three pair-wise non-intersecting circles at one of the three given angles.
- [8] arXiv:2409.17154 [pdf, html, other]
-
Title: A Leibniz/NSA comparisonComments: 9 pages. Published in London Mathematical Society NewsletterJournal-ref: London Mathematical Society Newsletter (2024), no. 512, 33-37Subjects: History and Overview (math.HO)
We present some similarities between Leibnizian and Robinsonian calculi, and address some objections raised by historians. The comparison with NSA facilitates our appreciation of some Leibnizian procedures that may otherwise seem obscure. We argue that Leibniz used genuine infinitesimals and infinite quantities which are not merely stenography for Archimedean Exhaustion and that Leibniz's procedures therefore find better proxies in NSA than in modern Weierstrassian mathematics.
- [9] arXiv:2409.17170 [pdf, html, other]
-
Title: A compact approach to the positivity of Brown-York's mass and its relation with the Min-Oo conjecture, Yau's Problem \#100 and rigidity of hypersurfacesComments: In this paper, we fix some serious problem in the proofs of previous versions. Fortunately, most of results of those versions are correct. We expect that the proofs are correct here. arXiv admin note: text overlap with arXiv:2209.07762Subjects: Differential Geometry (math.DG)
A compact approach to the positivity of Brown-York's mass and its relation with the Min-Oo conjecture, Yau's Problem \#100 and rigidity of hypersurfaces
- [10] arXiv:2409.17184 [pdf, html, other]
-
Title: Anti-Leibniz algebras: A non-commutative version of mock-Lie algebraComments: 17 pagesSubjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
Leibniz algebras are non skew-symmetric generalization of Lie algebras. In this paper we introduce the notion of anti-Leibniz algebras as a "non commutative version" of mock-Lie algebras. Low dimensional classification of such algebras is given. Then we investigate the notion of averaging operators and more general embedding tensors to build some new algebraic structures, namely anti-associative dialgebras, anti-associative trialgebras and anti-Leibniz trialgebras.
- [11] arXiv:2409.17189 [pdf, html, other]
-
Title: Decentralized Federated Learning with Gradient Tracking over Time-Varying Directed NetworksSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
We investigate the problem of agent-to-agent interaction in decentralized (federated) learning over time-varying directed graphs, and, in doing so, propose a consensus-based algorithm called DSGTm-TV. The proposed algorithm incorporates gradient tracking and heavy-ball momentum to distributively optimize a global objective function, while preserving local data privacy. Under DSGTm-TV, agents will update local model parameters and gradient estimates using information exchange with neighboring agents enabled through row- and column-stochastic mixing matrices, which we show guarantee both consensus and optimality. Our analysis establishes that DSGTm-TV exhibits linear convergence to the exact global optimum when exact gradient information is available, and converges in expectation to a neighborhood of the global optimum when employing stochastic gradients. Moreover, in contrast to existing methods, DSGTm-TV preserves convergence for networks with uncoordinated stepsizes and momentum parameters, for which we provide explicit bounds. These results enable agents to operate in a fully decentralized manner, independently optimizing their local hyper-parameters. We demonstrate the efficacy of our approach via comparisons with state-of-the-art baselines on real-world image classification and natural language processing tasks.
- [12] arXiv:2409.17205 [pdf, html, other]
-
Title: Cubic graphs of given girth and connectivity with a unique longest cycleSubjects: Combinatorics (math.CO)
We show that there exists an infinite family of cubic $2$-connected non-hamiltonian graphs with girth at least $5$ containing a unique longest cycle.
- [13] arXiv:2409.17248 [pdf, other]
-
Title: Sign changes along geodesics of modular formsComments: 16 PagesSubjects: Number Theory (math.NT)
Given a compact segment, $\beta$, of a cuspidal geodesic on the modular surface, we study the number of sign changes of cusp forms and Eisenstein series along $\beta$. We prove unconditionally a sharp lower bound for Eisenstein series along a full density set of spectral parameters. Conditioned on certain moment bounds, we extend this to all spectral parameters, and prove similar theorems for cusp forms. The arguments rely in part on the authors' mean square bounds [KKL24], and on removing the assumption of the Lindelöf hypothesis from recent work of Ki [Ki23].
- [14] arXiv:2409.17254 [pdf, html, other]
-
Title: Well-posedness of a first order in time nonlinear wave equation with nonhomogeneous Dirichlet or Neumann type boundary conditions in fractional Sobolev spacesSubjects: Analysis of PDEs (math.AP)
In this paper, we analyze the well-posedness of a first order in time nonlinear wave equation with nonhomogeneous Dirichlet or Neumann type boundary conditions, also known as known as Hodge, Lions or Navier-slip boundary conditions, in fractional Sobolev spaces. We do this by first showing the well-posedness of an abstract system and then apply the results to concrete operators and function spaces that represent the different boundary conditions in an appropriate sense. The analysis of the abstract system is based on a spectral decomposition of a positive self adjoint operator. The regularity of the solution is given in terms of the domains of fractional powers of this operator. Using Galerkins method and Newton-Kantorovich Theorem, we prove well-posedness of the abstract nonlinear system with possibly nonhomogeneous boundary conditions. The connection between the domains of fractional powers of the operator and fractional Sobolev spaces makes it possible to obtain results for a system with nonhomogeneous Dirichlet boundary conditions with fractional Sobolev space regularity. For the Neumann type boundary conditions we show an integer valued Sobolev regularity of the solution.
- [15] arXiv:2409.17260 [pdf, html, other]
-
Title: On the closability of class totally paranormal operatorsComments: No comments. arXiv admin note: text overlap with arXiv:1810.04469 by other authorsSubjects: Functional Analysis (math.FA)
This article delves into the analysis of various spectral properties pertaining to totally paranormal closed operators, extending beyond the confines of boundedness and encompassing operators defined in a Hilbert space. Within this class, closed symmetric operators are included. Initially, we establish that the spectrum of such an operator is non-empty and provide a characterization of closed-range operators in terms of the spectrum. Building on these findings, we proceed to prove Weyl's theorem, demonstrating that for a densely defined closed totally paranormal operator $T$, the difference between the spectrum $\sigma(T)$ and the Weyl spectrum $\sigma_w(T)$ equals the set of all isolated eigenvalues with finite multiplicities, denoted by $\pi_{00}(T)$. In the final section, we establish the self-adjointness of the Riesz projection $E_{\mu}$ corresponding to any non-zero isolated spectral value $\mu$ of $T$. Furthermore, we show that this Riesz projection satisfies the relationships $\mathrm{ran}(E_{\mu}) = \n(T-\mu I) = \n(T-\mu I)^*$. Additionally, we demonstrate that if $T$ is a closed totally paranormal operator with a Weyl spectrum $\sigma_w(T) = {0}$, then $T$ qualifies as a compact normal operator.
- [16] arXiv:2409.17295 [pdf, html, other]
-
Title: Electromagnetically Consistent Optimization Algorithms for the Global Design of RISComments: Submitted for IEEE publicationSubjects: Information Theory (cs.IT)
The reconfigurable intelligent surface is an emerging technology for wireless communications. We model it as an inhomogeneous boundary of surface impedance, and consider various optimization problems that offer different tradeoffs in terms of performance and implementation complexity. The considered non-convex optimization problems are reformulated as a sequence of approximating linear quadratically constrained or semidefinite programs, which are proved to have a polynomial complexity and to converge monotonically in the objective value.
- [17] arXiv:2409.17297 [pdf, html, other]
-
Title: Multi-band superconductors have enhanced critical temperaturesComments: 17 pagesSubjects: Mathematical Physics (math-ph); Quantum Gases (cond-mat.quant-gas); Superconductivity (cond-mat.supr-con)
We introduce a multi-band BCS free energy functional and prove that for a multi-band superconductor the effect of inter-band coupling can only increase the critical temperature, irrespective of its attractive or repulsive nature and its strength. Further, for weak coupling and weaker inter-band coupling, we prove that the dependence of the increase in critical temperature on the inter-band coupling is (1) linear, if there are two or more equally strongly superconducting bands, or (2) quadratic, if there is only one dominating band.
- [18] arXiv:2409.17301 [pdf, html, other]
-
Title: Inviscid limit for Navier-Stokes equations in domains with permeable boundariesSubjects: Analysis of PDEs (math.AP)
This work is concerned with 2D-Navier Stokes equations in a multiply-connected bounded domain with permeable walls. The permeability is described by a Navier type condition. Our aim is to show that the inviscid limit is a solution of the Euler equations, satisfying the Navier type condition on the inflow zone of the walls.
- [19] arXiv:2409.17302 [pdf, other]
-
Title: Riemannian conjugate Sobolev gradients and their application to compute ground states of BECsSubjects: Numerical Analysis (math.NA)
This work considers the numerical computation of ground states of rotating Bose-Einstein condensates (BECs) which can exhibit a multiscale lattice of quantized vortices. This problem involves the minimization of an energy functional on a Riemannian manifold. For this we apply the framework of nonlinear conjugate gradient methods in combination with the paradigm of Sobolev gradients to investigate different metrics. Here we build on previous work that proposed to enhance the convergence of regular Riemannian gradients methods by an adaptively changing metric that is based on the current energy. In this work, we extend this approach to the branch of Riemannian conjugate gradient (CG) methods and investigate the arising schemes numerically. Special attention is given to the selection of the momentum parameter in search direction and how this affects the performance of the resulting schemes. As known from similar applications, we find that the choice of the momentum parameter plays a critical role, with certain parameters reducing the number of iterations required to achieve a specified tolerance by a significant factor. Besides the influence of the momentum parameters, we also investigate how the methods with adaptive metric compare to the corresponding realizations with a standard $H^1_0$-metric. As one of our main findings, the results of the numerical experiments show that the Riemannian CG method with the proposed adaptive metric along with a Polak-Ribiére or Hestenes-Stiefel-type momentum parameter show the best performance and highest robustness compared to the other CG methods that were part of our numerical study.
- [20] arXiv:2409.17304 [pdf, html, other]
-
Title: Democratizing Signal Processing and Machine Learning: Math Learning Equity for Elementary and Middle School StudentsComments: Under submission to IEEE Signal Processing MagazineSubjects: History and Overview (math.HO); Computers and Society (cs.CY)
Signal Processing (SP) and Machine Learning (ML) rely on good math and coding knowledge, in particular, linear algebra, probability, and complex numbers. A good grasp of these relies on scalar algebra learned in middle school. The ability to understand and use scalar algebra well, in turn, relies on a good foundation in basic arithmetic. Because of various systemic barriers, many students are not able to build a strong foundation in arithmetic in elementary school. This leads them to struggle with algebra and everything after that. Since math learning is cumulative, the gap between those without a strong early foundation and everyone else keeps increasing over the school years and becomes difficult to fill in college. In this article we discuss how SP faculty and graduate students can play an important role in starting, and participating in, university-run (or other) out-of-school math support programs to supplement students' learning. Two example programs run by the authors (CyMath at ISU and Ab7G at Purdue) are briefly described. The second goal of this article is to use our perspective as SP, and engineering, educators who have seen the long-term impact of elementary school math teaching policies, to provide some simple almost zero cost suggestions that elementary schools could adopt to improve math learning: (i) more math practice in school, (ii) send small amounts of homework (individual work is critical in math), and (iii) parent awareness (math resources, need for early math foundation, clear in-school test information and sharing of feedback from the tests). In summary, good early math support (in school and through out-of-school programs) can help make SP and ML more accessible.
- [21] arXiv:2409.17305 [pdf, html, other]
-
Title: Uniform bounds, zero separation and monotonicity for the regular Coulomb wave functionsComments: 29 pages, 6 figuresSubjects: Classical Analysis and ODEs (math.CA)
This paper begins by deriving the uniform bounds for the regular Coulomb wave function $F_{\ell,\eta}$ and its derivative $F_{\ell,\eta}'$. We then examine detailed zero configurations of $F_{\ell,\eta}$ and $F_{\ell+1,\eta}$, extending insights into the earlier work that was restricted to $\ell>-3/2$. Our investigation also includes an analysis of the monotonicity of the zeros of $F_{\ell,\eta}$ with respect to parameters $\ell$ and $\eta$, respectively. Furthermore, we expand our exploration to associated orthogonal polynomials, as well as the functions involving both $F_{\ell,\eta}$ and $F_{\ell,\eta}'$. Finally, we explore the breakdown of the Sturm separation theorem by means of the zeros of associated orthogonal polynomials.
- [22] arXiv:2409.17306 [pdf, html, other]
-
Title: Bounds on the Complete Forcing Number of GraphsComments: 18 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
A forcing set for a perfect matching of a graph is defined as a subset of the edges of that perfect matching such that there exists a unique perfect matching containing it. A complete forcing set for a graph is a subset of its edges, such that it intersects the edges of every perfect matching in a forcing set of that perfect matching. The size of a smallest complete forcing set of a graph is called the complete forcing number of the graph. In this paper, we derive new upper bounds for the complete forcing number of graphs in terms of other graph theoretical parameters such as the degeneracy or the spectral radius of the graph. We show that for graphs with the number of edges more than some constant times the number of vertices, our result outperforms the best known upper bound for the complete forcing number. For the set of edge-transitive graphs, we present a lower bound for the complete forcing number in terms of maximum forcing number. This result in particular is applied to the hypercube graphs and Cartesian powers of even cycles.
- [23] arXiv:2409.17309 [pdf, html, other]
-
Title: Matrix variate p-value in MANOVAComments: 19 pagesSubjects: Statistics Theory (math.ST)
The distribution functions of the matricvariate beta type I and II distributions are studied under real normed division algebras. The unified approach for real, complex, quaternions and octonions, also considers general properties and highlights the potential application of the exact emerging upper probabilities $P(\mathbf{B} > \mathbf{\Omega})$ and $P(\mathbf{F} > \mathbf{\nabla})$. In this setting, the matrix probabilities arise naturally as univariate extensions into the so termed matrix variate $p$-values. Then, a new criterion for the general multivariate linear hypothesis test can be proposed under a simple heuristic interpretation. The new technique can be applied in a number of classical statistical tests. In particular, the multivariate analysis of variance (MANOVA) is illustrated in two well known scenarios, and the performance of our exact method is compared with the existing approximated criteria.
- [24] arXiv:2409.17314 [pdf, html, other]
-
Title: A Mixed finite element method for the velocity-pseudostress formulation of the Oseen eigenvalue problemSubjects: Numerical Analysis (math.NA)
In this paper, we introduce and analyze a mixed formulation for the Oseen eigenvalue problem by introducing the pseudostress tensor as a new unknown, allowing us to eliminate the fluid pressure. The well-posedness of the solution operator is established using a fixed-point argument. For the numerical analysis, we use the tensorial versions of Raviart-Thomas and Brezzi-Douglas-Marini elements to approximate the pseudostress, and piecewise polynomials for the velocity. Convergence and a priori error estimates are derived based on compact operator theory. We present a series of numerical tests in two and three dimensions to confirm the theoretical findings.
- [25] arXiv:2409.17318 [pdf, html, other]
-
Title: Weighted Padovan graphsSubjects: Combinatorics (math.CO)
Weighted Padovan graphs $\Phi^{n}_{k}$, $n \geq 1$, $\lfloor \frac{n}{2} \rfloor \leq k \leq \lfloor \frac{2n-2}{3} \rfloor$, are introduced as the graphs whose vertices are all Padovan words of length $n$ with $k$ $1$s, two vertices being adjacent if one can be obtained from the other by replacing exactly one $01$ with a $10$. By definition, $\sum_k |V(\Phi^{n}_{k})|=P_{n+2}$, where $P_n$ is the $n$th Padovan number. Two families of graphs isomorphic to weighted Padovan graphs are presented. The order, the size, the degree, the diameter, the cube polynomial, and the automorphism group of weighted Padovan graphs are determined. It is also proved that they are median graphs.
- [26] arXiv:2409.17320 [pdf, html, other]
-
Title: Accelerating Multi-Block Constrained Optimization Through Learning to OptimizeComments: 15 pages, 2 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Learning to Optimize (L2O) approaches, including algorithm unrolling, plug-and-play methods, and hyperparameter learning, have garnered significant attention and have been successfully applied to the Alternating Direction Method of Multipliers (ADMM) and its variants. However, the natural extension of L2O to multi-block ADMM-type methods remains largely unexplored. Such an extension is critical, as multi-block methods leverage the separable structure of optimization problems, offering substantial reductions in per-iteration complexity. Given that classical multi-block ADMM does not guarantee convergence, the Majorized Proximal Augmented Lagrangian Method (MPALM), which shares a similar form with multi-block ADMM and ensures convergence, is more suitable in this setting. Despite its theoretical advantages, MPALM's performance is highly sensitive to the choice of penalty parameters. To address this limitation, we propose a novel L2O approach that adaptively selects this hyperparameter using supervised learning. We demonstrate the versatility and effectiveness of our method by applying it to the Lasso problem and the optimal transport problem. Our numerical results show that the proposed framework outperforms popular alternatives. Given its applicability to generic linearly constrained composite optimization problems, this work opens the door to a wide range of potential real-world applications.
- [27] arXiv:2409.17323 [pdf, html, other]
-
Title: Rankin-Selberg L-Functions for GSpin x GL GroupsSubjects: Number Theory (math.NT); Representation Theory (math.RT)
We construct an integral representation for the global Rankin-Selberg (partial) $L$-function $L(s, \pi \times \tau)$ where $\pi$ is an irreducible globally generic cuspidal automorphic representation of a general spin group (over an arbitrary number field) and $\tau$ is one of a general linear group, generalizing the works of Gelbart, Piatetski-Shapiro, Rallis, Ginzburg, Soudry and Kaplan among others. We consider all ranks and both even and odd general spin groups including the quasi-split forms. The resulting facts about the location of poles of $L(s, \pi \times \tau)$ have, in particular, important consequences in describing the image of the Langlands funtorial transfer from the general spin groups to general linear groups.
- [28] arXiv:2409.17324 [pdf, html, other]
-
Title: A new systems theory perspective on canonical Wiener-Hopf factorization on the unit circleSubjects: Functional Analysis (math.FA)
We establish left and right canonical factorizations of Hilbert-space operator-valued functions $G(z)$ that are analytic on neighborhoods of the complex unit circle and the origin 0, and that have the form $G(z)=I+F(z)$ with $F(z)$ taking strictly contractive values on the unit circle. Such functions can be realized as transfer functions of infinite dimensional dichotomous discrete-time linear systems, and we employ the strict bounded real lemma for this class of operators, together with associated Krein space theory, to derive explicit formulas for the left and right canonical factorizations.
- [29] arXiv:2409.17344 [pdf, html, other]
-
Title: Cauchy Problem for the Dirac operator on spatially non-compact spacetimesComments: arXiv admin note: text overlap with arXiv:2107.08532Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
Let $M$ be a globally hyperbolic manifold with complete spacelike Cauchy hypersurface $\Sigma$. We prove well-posedness of the Cauchy problem for the Dirac operator on globally hyperbolic manifolds with complete Cauchy hypersurfaces. This result is needed as preparation in showing a Fredholmness result in the manner, provided by Bär and Strohmaier, for certain non-compact Cauchy hypersurfaces in future work. The results already have been published for a simpler setting in arXiv:2107.0853(2). This version is only focused on the Cauchy problem for a slightly modified setting.
- [30] arXiv:2409.17347 [pdf, html, other]
-
Title: Conformally K\"ahler structuresSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
We establish a one-to-one correspondence between Kähler metrics in a given conformal class and parallel sections of a certain vector bundle with conformally invariant connection, where the parallel sections satisfy a set of non--linear algebraic constraints that we describe. The vector bundle captures 2-form prolongations and is isomorphic to $\Lambda^3(\cT)$, where ${\cT}$ is the tractor bundle of conformal geometry, but the resulting connection differs from the normal tractor connection by curvature terms.
Our analysis leads to a set of obstructions for a Riemannian metric to be conformal to a Kähler metric. In particular we find an explicit algebraic condition for a Weyl tensor which must hold if there exists a conformal Killing-Yano tensor, which is a necessary condition for a metric to be conformal to Kähler. This gives an invariant characterisation of algebraically special Riemannian metrics of type $D$ in dimensions higher than four. - [31] arXiv:2409.17358 [pdf, html, other]
-
Title: Twisted points of quotient stacks, integration and BPS-invariantsComments: 34 pages. Comments welcome!Subjects: Algebraic Geometry (math.AG)
We study $p$-adic manifolds associated with twisted points of quotient stacks $\mathcal{X} = [U/G]$ and their quotient spaces $\pi:\mathcal{X} \to X$. We prove several structural results about the fibres of $\pi$ and derive in particular a formula expressing $p$-adic integrals on $X$ in terms of the cyclotomic inertia stack of $\mathcal{X}$, generalizing the orbifold formula for Deligne-Mumford stacks.
We then apply our formalism to moduli stacks of $1$-dimensional sheaves on del Pezzo surfaces and show that their refined BPS-invariants are computed locally on the coarse moduli space by a $p$-adic integral. As a consequence we recover the $\chi$-independence of these invariants previously proven by Maulik-Shen. Along the way we derive a new formula for the plethystic logarithm on the $\lambda$-ring of functions on $k$-linear stacks, which might be of independent interest. - [32] arXiv:2409.17360 [pdf, html, other]
-
Title: Bi-Filtration and Stability of TDA Mapper for Point Cloud DataSubjects: Algebraic Topology (math.AT); General Topology (math.GN); Geometric Topology (math.GT); Machine Learning (stat.ML); Other Statistics (stat.OT)
Carlsson, Singh and Memoli's TDA mapper takes a point cloud dataset and outputs a graph that depends on several parameter choices. Dey, Memoli, and Wang developed Multiscale Mapper for abstract topological spaces so that parameter choices can be analyzed via persistent homology. However, when applied to actual data, one does not always obtain filtrations of mapper graphs. DBSCAN, one of the most common clustering algorithms used in the TDA mapper software, has two parameters, \textbf{$\epsilon$} and \textbf{MinPts}. If \textbf{MinPts = 1} then DBSCAN is equivalent to single linkage clustering with cutting height \textbf{$\epsilon$}. We show that if DBSCAN clustering is used with \textbf{MinPts $>$ 2}, a filtration of mapper graphs may not exist except in the absence of free-border points; but such filtrations exist if DBSCAN clustering is used with \textbf{MinPts = 1} or \textbf{2} as the cover size increases, \textbf{$\epsilon$} increases, and/or \textbf{MinPts} decreases. However, the 1-dimensional filtration is unstable. If one adds noise to a data set so that each data point has been perturbed by a distance at most \textbf{$\delta$}, the persistent homology of the mapper graph of the perturbed data set can be significantly different from that of the original data set. We show that we can obtain stability by increasing both the cover size and \textbf{$\epsilon$} at the same time. In particular, we show that the bi-filtrations of the homology groups with respect to cover size and $\epsilon$ between these two datasets are \textbf{2$\delta$}-interleaved.
- [33] arXiv:2409.17362 [pdf, html, other]
-
Title: Residue currents of cohesive modules and the generalized Poincar\'{e}-Lelong formula on complex manifoldsComments: 41 pagesSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
Cohesive module provides a tool to study coherent sheaves on complex manifolds by global analytic methods. In this paper we develop the theory of residue currents for cohesive modules on complex manifolds. In particular we prove that they have the duality principle and satisfy the comparison formula. As an application, we prove a generalized version of the Poincaré-Lelong formula for cohesive modules, which applies to coherent sheaves without globally defined locally free resolutions.
- [34] arXiv:2409.17375 [pdf, html, other]
-
Title: The submonoid and rational subset membership problems for Artin groupsSubjects: Group Theory (math.GR); Combinatorics (math.CO); Logic (math.LO)
We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both these problem are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize the ones by Lohrey - Steinberg for right-angled Artin groups. Moreover, both these decision problems are decidable for a given Artin group if and only if the group is subgroup separable. This equivalence for right-angled Artin groups is provided by Lohrey - Steinberg and Metaftsis - Raptis. The equivalence for general Artin groups comes from some observations here and the characterization of separable Artin groups by Almeida - Lima.
- [35] arXiv:2409.17381 [pdf, other]
-
Title: On Manin's conjecture for Ch\^atelet surfacesComments: 79 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We resolve Manin's conjecture for all Châtelet surfaces over $\mathbb{Q}$.
- [36] arXiv:2409.17388 [pdf, html, other]
-
Title: A Semi-Analytic Diagonalization FEM for the Spectral Fractional LaplacianSubjects: Numerical Analysis (math.NA)
We present a technique for approximating solutions to the spectral fractional Laplacian, which is based on the Caffarelli-Silvestre extension and diagonalization. Our scheme uses the analytic solution to the associated eigenvalue problem in the extended dimension. We show its relation to a quadrature scheme. Numerical examples demonstrate the performance of the method.
- [37] arXiv:2409.17409 [pdf, html, other]
-
Title: PSWF-Radon approach to reconstruction from band-limited Hankel transformSubjects: Classical Analysis and ODEs (math.CA)
We give new formulas for reconstructions from band-limited Hankel transform of integer or half-integer order. Our formulas rely on the PSWF-Radon approach to super-resolution in multidimensional Fourier analysis. This approach consists of combining the theory of classical one-dimensional prolate spheroidal wave functions with the Radon transform theory. We also use the relation between Fourier and Hankel transforms and Cormack-type inversion of the Radon transform. Finally, we investigate numerically the capabilities of our approach to super-resolution for band-limited Hankel inversion in relation to varying levels of noise.
- [38] arXiv:2409.17413 [pdf, html, other]
-
Title: Setpoint Tracking and Disturbance Attenuation for Gas Pipeline Flow Subject to Uncertainties using BacksteppingSubjects: Optimization and Control (math.OC)
In this paper, we consider the problem of regulating the outlet pressure of gas flowing through a pipeline subject to uncertain and variable outlet flow. Gas flow through a pipe is modeled using the coupled isothermal Euler equations, with the Darcy-Weisbach friction model used to account for the loss of gas flow momentum. The outlet flow variation is generated by a periodic linear dynamic system, which we use as a model of load fluctuations caused by varying consumer demands. We first linearize the nonlinear equations around the equilibrium point and obtain a 2-by-2 coupled hyperbolic partial differential equation (PDE) system expressed in canonical form. Using an observer-based PDE backstepping controller, we demonstrate that the inlet pressure can be manipulated to regulate the outlet pressure to a setpoint, thus compensating for fluctuations in the outlet flow. Furthermore, we extend the observer-based controller to the case when the outlet flow variation is uncertain within a bounded set. In this case, the controller is also capable of regulating the outlet pressure to a neighborhood of the setpoint by manipulating the inlet pressure, even in the presence of uncertain fluctuations in the outlet flow. We provide numerical simulations to demonstrate the performance of the controller.
- [39] arXiv:2409.17414 [pdf, html, other]
-
Title: Uniformly $hp$-stable elements for the elasticity complexSubjects: Numerical Analysis (math.NA)
For the discretization of symmetric, divergence-conforming stress tensors in continuum mechanics, we prove inf-sup stability bounds which are uniform in polynomial degree and mesh size for the Hu--Zhang finite element in two dimensions. This is achieved via an explicit construction of a bounded right inverse of the divergence operator, with the crucial component being the construction of bounded Poincaré operators for the stress elasticity complex which are polynomial-preserving, in the Bernstein--Gelfand--Gelfand framework of the finite element exterior calculus. We also construct $hp$-bounded projection operators satisfying a commuting diagram property and $hp$-stable Hodge decompositions. Numerical examples are provided.
- [40] arXiv:2409.17449 [pdf, html, other]
-
Title: Stringy Hodge numbers of Pfaffian double mirrors and Homological Projective DualityComments: 32 pagesSubjects: Algebraic Geometry (math.AG)
We study the stringy Hodge numbers of Pfaffian double mirrors, generalizing previous results of Borisov and Libgober. In the even-dimensional cases, we introduce a modified version of stringy $E$-functions and obtain interesting relations between the modified stringy $E$-functions on the two sides. We use them to make numerical predictions on the Lefschetz decompositions of the categorical crepant resolutions of Pfaffian varieties.
- [41] arXiv:2409.17450 [pdf, html, other]
-
Title: On Strong Quasiconvexity of Functions in Infinite DimensionsSubjects: Optimization and Control (math.OC)
In this paper, we explore the concept of $\sigma$-quasiconvexity for functions defined on normed vector spaces. This notion encompasses two important and well-established concepts: quasiconvexity and strong quasiconvexity. We start by analyzing certain operations on functions that preserve $\sigma$-quasiconvexity. Next, we present new results concerning the strong quasiconvexity of norm and Minkowski functions in infinite dimensions. Furthermore, we extend a recent result by F. Lara [16] on the supercoercive properties of strongly quasiconvex functions, with applications to the existence and uniqueness of minima, from finite dimensions to infinite dimensions. Finally, we address counterexamples related to strong quasiconvexity.
- [42] arXiv:2409.17454 [pdf, html, other]
-
Title: Semi-p-abelian groupComments: 11pages,no figureSubjects: Group Theory (math.GR)
The conjecture that semi-p-abelian groups is strongly semi-p-abelian is flase for p=this http URL it's true for metabelian semi-p-abelian groups.
- [43] arXiv:2409.17462 [pdf, html, other]
-
Title: Real and Positive Tropicalizations of Symmetric Determinantal VarietiesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We study real and positive tropicalizations of the varieties of low rank symmetric matrices over real or complex Puiseux series. We show that real tropicalization coincides with complex tropicalization for rank two and corank one cases. We also show that the two notions of positive tropicalization introduced by Speyer and Williams coincide for symmetric rank two matrices, but they differ for symmetric corank one matrices.
- [44] arXiv:2409.17465 [pdf, html, other]
-
Title: Exactness of the Cuntz-Pimsner ConstructionSubjects: Operator Algebras (math.OA)
In prior work we described how the Cuntz-Pimsner construction may be viewed as a functor. The domain of this functor is a category whose objects are $C^*$-correspondences and morphisms are isomorphism classes of certain pairs comprised of a $C^*$-correspondence and an isomorphism. The codomain is the well-studied category whose objects are $C^*$-algebras and morphisms are isomorphism classes of $C^*$-correspondences. In this paper we show that certain fundamental results in the theory of Cuntz-Pimsner algebras are direct consequences of the functoriality of the Cuntz-Pimsner construction. In addition, we describe exact sequences in the target and domain categories, and prove that the Cuntz-Pimsner functor is exact.
- [45] arXiv:2409.17482 [pdf, html, other]
-
Title: On a conjecture about pattern avoidance of cycle permutationsSubjects: Combinatorics (math.CO)
Let $\pi$ be a cycle permutation that can be expressed as one-line $\pi = \pi_1\pi_2 \cdot\cdot\cdot \pi_n$ and a cycle form $\pi = (c_1,c_2, ..., c_n)$. Archer et al. introduced the notion of pattern avoidance of one-line and all cycle forms for a cycle permutation $\pi$, defined as $\pi_1\pi_2 \cdot\cdot\cdot \pi_n$ and its arbitrary cycle form $c_ic_{i+1}\cdot\cdot\cdot c_nc_1c_2\cdot\cdot\cdot c_{i-1}$ avoid a given pattern. Let $\mathcal{A}^\circ_n(\sigma; \tau)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid $\sigma$ in their one-line form and avoid $\tau$ in their all cycle forms. In this note, we prove that $|\mathcal{A}^\circ_n(2431; 1324)|$ is the $(n-1)^{\rm{st}}$ Pell number for any positive integer $n$. Thereby, we give a positive answer to a conjecture of Archer et al.
- [46] arXiv:2409.17489 [pdf, other]
-
Title: Enhancement for categories and homotopical algebraComments: 595 pages, LaTeX2e. Preliminary version, comments very welcome. This is a long text that makes rather strong claims partially based on complicated proofs. I am posting it with some trepidation. I do believe everything is correct, modulo minor and fixable things. If you find that something is seriously wrong, please let me know!Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Category Theory (math.CT); Representation Theory (math.RT)
We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual potential applications, such as e.g. enhancements for derived categories of coherent sheaves, in a way that is as close as possible to usual category theory.
- [47] arXiv:2409.17491 [pdf, html, other]
-
Title: Improved bound on the number of edges of diameter-$k$-critical graphsSubjects: Combinatorics (math.CO)
A graph is diameter-$k$-critical if its diameter equals $k$ and the deletion of any edge increases its diameter. The Murty-Simon Conjecture states that for any diameter-2-critical graph $G$ of order $n$, $e(G) \leq \lfloor \frac{n^2}{4}\rfloor$, with equality if and only if $G \cong K_{\lfloor \frac{n}{2}\rfloor,\lceil \frac{n}{2}\rceil}$. Füredi (JGT,1992) proved that this conjecture is true for sufficiently large $n$. Over two decades later, Loh and Ma (JCT-B, 2016) proved that $e(G) \leq \frac{n^2}{6}+o(n^2)$ for diameter-3-critical graphs $G$, and
$e(G) \leq \frac{3n^2}{k}$ for diameter-$k$-critical graphs $G$ with $k \geq 4$. In this paper, we improve the bound for diameter-$k$-critical graphs to $ \frac{n^2}{2k}+o(n^2)$. - [48] arXiv:2409.17493 [pdf, html, other]
-
Title: Tikhonov regularized mixed-order primal-dual dynamical system for convex optimization problems with linear equality constraintsComments: 26 pages, 10 figuresSubjects: Optimization and Control (math.OC)
In Hilbert spaces, we consider a Tikhonov regularized mixed-order primal-dual dynamical system for a convex optimization problem with linear equality constraints. The dynamical system with general time-dependent parameters: viscous damping and temporal scaling can derive certain existing systems when special parameters are selected. When these parameters satisfy appropriate conditions and the Tikhonov regularization parameter \epsilon(t) approaches zero at an appropriate rate, we analyze the asymptotic convergence properties of the proposed system by constructing suitable Lyapunov functions. And we obtain that the objective function error enjoys O(1/(t^2\beta(t))) convergence rate. Under suitable conditions, it can be better than O(1/(t^2)). In addition, we utilize the Lyapunov analysis method to obtain the strong convergence of the trajectory generated by the Tikhonov regularized dynamical system. In particular, when Tikhonov regularization parameter \epsilon(t) vanishes to 0 at some suitable rate, the convergence rate of the primal-dual gap can be o(1/(\beta(t))). The effectiveness of our theoretical results has been demonstrated through numerical experiments.
- [49] arXiv:2409.17511 [pdf, html, other]
-
Title: Garbage disposal game on finite graphsComments: 1 figureSubjects: Dynamical Systems (math.DS); Combinatorics (math.CO); Probability (math.PR)
The garbage disposal game involves a finite set of individuals, each of whom updates their garbage by either receiving from or dumping onto others. We examine the case where only social neighbors, whose garbage levels differ by a given threshold, can offload an equal proportion of their garbage onto others. Remarkably, in the absence of this threshold, the garbage amounts of all individuals converge to the initial average on any connected social graph that is not a star.
- [50] arXiv:2409.17528 [pdf, other]
-
Title: Global axisymmetric solutions for Navier-Stokes equation with rotation uniformly in the inviscid limitComments: 38 pagesSubjects: Analysis of PDEs (math.AP)
We prove that the solutions to the 3d Navier-Stokes equation with constant rotation exist globally for small axisymmetric initial data, where the smallness is uniform with respect to the viscosity $\nu \in [0,1]$.
- [51] arXiv:2409.17540 [pdf, html, other]
-
Title: Spin Representations of Finite Coxeter Groups and Generalisations of Saxl's ConjectureComments: 32 pagesSubjects: Representation Theory (math.RT)
This paper presents a natural generalisation of Saxl conjecture from a Lie-theoretical perspective, which is verified for the exceptional types. For classical types, progress is made using spin representations, revealing connections to certain tensor product decomposition problems in symmetric groups. We provide an alternative uniform description of the cuspidal family (in the sense of Lusztig) through spin representations, offering an equivalent conjecture formulation. Additionally, we generalise Saxl conjecture to finite Coxeter groups and prove it for the non-crystallographic cases.
- [52] arXiv:2409.17543 [pdf, html, other]
-
Title: Construction of solutions to a nonlinear critical elliptic system via local Pohozaev identitiesSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate the following elliptic system with Sobolev critical growth $-\Delta u+P(|y'|,y'')u=u^{2^*-1}+\frac{\beta}{2} u^{\frac{2^*}{2}-1}v^{\frac{2^*}{2}},\ y\in R^N$,
$-\Delta v+Q(|y'|,y'')v=v^{2^*-1}+\frac{\beta}{2} v^{\frac{2^*}{2}-1}u^{\frac{2^*}{2}}$, $y\in R^N ,u,v>0,u,\,v\in H^1(R^N), $ where~$(y',y'')\in R^2 \times R^{N-2}$, $P(|y'|,y''), Q(|y'|,y'')$ are bounded non-negative function in $R^+\times R^{N-2}$, $2^*=\frac{2N}{N-2}$. By combining a finite reduction argument and local Pohozaev type of identities, assuming that $N\geq 5$ and $r^2(P(r,y'')+\kappa ^2Q(r,y''))$ have a common topologically nontrivial critical point, we construct an unbounded sequence of non-radial positive vector solutions of synchronized type, whose energy can be made arbitrarily large. Our result extends the result of a single critical problem by [Peng, Wang and Yan,J. Funct. Anal. 274: 2606-2633, 2018]. The novelties mainly include the following two aspects. On one hand, when $N\geq5$, the coupling exponent $\frac{2}{N-2}<1$, which creates a great trouble for us to apply the perturbation argument directly. This constitutes the main difficulty different between the coupling system and a single equation. On the other hand, the weaker symmetry conditions of $P(y)$ and $Q(y)$ make us not estimate directly the corresponding derivatives of the reduced functional in locating the concentration points of the solutions, we employ some local Pohozaev identities to locate them. - [53] arXiv:2409.17546 [pdf, html, other]
-
Title: MASSFormer: Mobility-Aware Spectrum Sensing using Transformer-Driven Tiered StructureSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
In this paper, we develop a novel mobility-aware transformer-driven tiered structure (MASSFormer) based cooperative spectrum sensing method that effectively models the spatio-temporal dynamics of user movements. Unlike existing methods, our method considers a dynamic scenario involving mobile primary users (PUs) and secondary users (SUs)and addresses the complexities introduced by user mobility. The transformer architecture utilizes an attention mechanism, enabling the proposed method to adeptly model the temporal dynamics of user mobility by effectively capturing long-range dependencies within the input data. The proposed method first computes tokens from the sequence of covariance matrices (CMs) for each SU and processes them in parallel using the SUtransformer network to learn the spatio-temporal features at SUlevel. Subsequently, the collaborative transformer network learns the group-level PU state from all SU-level feature representations. The attention-based sequence pooling method followed by the transformer encoder adjusts the contributions of all tokens. The main goal of predicting the PU states at each SU-level and group-level is to improve detection performance even more. We conducted a sufficient amount of simulations and compared the detection performance of different SS methods. The proposed method is tested under imperfect reporting channel scenarios to show robustness. The efficacy of our method is validated with the simulation results demonstrating its higher performance compared with existing methods in terms of detection probability, sensing error, and classification accuracy.
- [54] arXiv:2409.17548 [pdf, html, other]
-
Title: Invariant measures, periodic measures and pullback measure attractors of McKean-Vlasov stochastic reaction-diffusion equations on unbounded domainsSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
This paper deals with the long term dynamics of the non-autonomous McKean-Vlasov stochastic reaction-diffusion equations on R^n. We first prove the existence and uniqueness of pullback measure attractors of the non-autonomous dynamical system generated by the solution operators defined in the space of probability measures. We then prove the existence and uniqueness of invariant measures and periodic measures of the equation under further conditions. We finally establish the upper semi-continuity of pullback measure attractors as well as the convergence of invariant measures and periodic measures when the distribution dependent stochastic equations converge to a distribution independent system.
- [55] arXiv:2409.17551 [pdf, html, other]
-
Title: On the ordinary and symbolic powers of fiber productsSubjects: Commutative Algebra (math.AC)
We completely determine the depth and regularity of symbolic powers of the fiber product of two homogeneous ideals in disjoint sets of variables, given knowledge of the symbolic powers of each factor. Generalizing previous joint work with Vu, we provide exact, characteristic-independent formulas for the depth and regularity of ordinary powers of such fiber products.
- [56] arXiv:2409.17552 [pdf, html, other]
-
Title: Expression Rates of Neural Operators for Linear Elliptic PDEs in PolytopesSubjects: Numerical Analysis (math.NA)
We study the approximation rates of a class of deep neural network approximations of operators, which arise as data-to-solution maps $\mathcal{G}^\dagger$ of linear elliptic partial differential equations (PDEs), and act between pairs $X,Y$ of suitable infinite-dimensional spaces. We prove expression rate bounds for approximate neural operators $\mathcal{G}$ with the structure $\mathcal{G} = \mathcal{R} \circ \mathcal{A} \circ \mathcal{E}$, with linear encoders $\mathcal{E}$ and decoders $\mathcal{R}$. The constructive proofs are via a recurrent NN structure obtained by unrolling exponentially convergent, self-consistent (``Richardson'') iterations. We bound the operator approximation error with respect to the linear Kolmogorov $N$-widths of the data and solution sets and in terms of the size of the approximation network. We prove expression rate bounds for approximate, neural solution operators emulating the coefficient-to-solution maps for elliptic PDEs set in $d$-dimensional polytopes, with $d\in\{2,3\}$, and subject to Dirichlet-, Neumann- or mixed boundary conditions. Exploiting weighted norm characterizations of the solution sets of elliptic PDEs in polytopes, we show algebraic rates of expression for problems with data with finite regularity, and exponential operator expression rates for analytic data.
- [57] arXiv:2409.17553 [pdf, html, other]
-
Title: What Roles can Spatial Modulation and Space Shift Keying Play in LEO Satellite-Assisted Communication?Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In recent years, the rapid evolution of satellite communications play a pivotal role in addressing the ever-increasing demand for global connectivity, among which the Low Earth Orbit (LEO) satellites attract a great amount of attention due to their low latency and high data throughput capabilities. Based on this, we explore spatial modulation (SM) and space shift keying (SSK) designs as pivotal techniques to enhance spectral efficiency (SE) and bit-error rate (BER) performance in the LEO satellite-assisted multiple-input multiple-output (MIMO) systems. The various performance analysis of these designs are presented in this paper, revealing insightful findings and conclusions through analytical methods and Monte Carlo simulations with perfect and imperfect channel state information (CSI) estimation. The results provide a comprehensive analysis of the merits and trade-offs associated with the investigated schemes, particularly in terms of BER, computational complexity, and SE. This analysis underscores the potential of both schemes as viable candidates for future 6G LEO satellite-assisted wireless communication systems.
- [58] arXiv:2409.17557 [pdf, html, other]
-
Title: Joint Source-Channel Coding: Fundamentals and Recent Progress in Practical DesignsComments: Under review for possible publicationSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
Semantic- and task-oriented communication has emerged as a promising approach to reducing the latency and bandwidth requirements of next-generation mobile networks by transmitting only the most relevant information needed to complete a specific task at the receiver. This is particularly advantageous for machine-oriented communication of high data rate content, such as images and videos, where the goal is rapid and accurate inference, rather than perfect signal reconstruction. While semantic- and task-oriented compression can be implemented in conventional communication systems, joint source-channel coding (JSCC) offers an alternative end-to-end approach by optimizing compression and channel coding together, or even directly mapping the source signal to the modulated waveform. Although all digital communication systems today rely on separation, thanks to its modularity, JSCC is known to achieve higher performance in finite blocklength scenarios, and to avoid cliff and the levelling-off effects in time-varying channel scenarios. This article provides an overview of the information theoretic foundations of JSCC, surveys practical JSCC designs over the decades, and discusses the reasons for their limited adoption in practical systems. We then examine the recent resurgence of JSCC, driven by the integration of deep learning techniques, particularly through DeepJSCC, highlighting its many surprising advantages in various scenarios. Finally, we discuss why it may be time to reconsider today's strictly separate architectures, and reintroduce JSCC to enable high-fidelity, low-latency communications in critical applications such as autonomous driving, drone surveillance, or wearable systems.
- [59] arXiv:2409.17563 [pdf, html, other]
-
Title: Translation-based completeness on compact intervalsComments: 10 pages, to appear in J. Approx. TheorySubjects: Classical Analysis and ODEs (math.CA)
Given a compact interval $I \subseteq \mathbb{R}$, and a function $f$ that is a product of a nonzero polynomial with a Gaussian, it will be shown that the translates $\{ f(\cdot - \lambda) : \lambda \in \Lambda \}$ are complete in $C(I)$ if and only if the series of reciprocals of $\Lambda$ diverges. This extends a theorem in [R. A. Zalik, Trans. Amer. Math. Soc. 243, 299-308]. An additional characterization is obtained when $\Lambda$ is an arithmetic progression, and the generator $f$ constitutes a linear combination of translates of a function with sufficiently fast decay.
- [60] arXiv:2409.17590 [pdf, html, other]
-
Title: The time periodic problem for the Navier-Stokes equations in exterior domains in weighted spacesComments: 32 pagesSubjects: Analysis of PDEs (math.AP)
The paper considers the time periodic problem of the Navier-Stokes system in an exterior domain under time periodic external forces. Existence of periodic mild solutions is obtained in the critical scale invariant space $C(\mathbb{R};L^n)$ if the external force is small without exploiting any divergence form as in the study of Okabe and Tsutsui (2017) for the whole space case in Lorentz spaces. Previous studies mainly rely on either potential theoretical estimates or time-space integral estimates in Lorentz spaces introduced by Yamazaki (Math. Ann.(2000)). To the best of our knowledge, there are no results using Muckenhoupt weights in $L^q$ class for $1< q <\infty$ to construct time periodic solutions of the Navier-Stokes equations in the exterior domain case. In this article, a new method based on radially symmetric Muckenhoupt weights in space is used. To apply these weights, we reconsider weighted $L^p$-$L^q$ decay estimates for the Stokes semigroup. This important result was announced by Kobayashi and Kubo (2012-2015) about ten years ago with a sketch of the proof by Kubo. In this paper, we give a rigorous proof of the result and, as an important application, solve the time periodic problem for the Navier-Stokes equations on an exterior domain.
- [61] arXiv:2409.17594 [pdf, html, other]
-
Title: Fractional $\alpha$-Bernstein-Kantorovich operators of order $\beta$: A new construction and approximation resultsSubjects: Classical Analysis and ODEs (math.CA)
In the current article, we establish a distinct version of the operators defined by Berwal \emph{et al.}, which is the Kantorovich type modification of $\alpha$-Bernstein operators to approximate Lebesgue's integrable functions. We define its modification that can preserve the linear function and analyze its characteristics. Additionally, we construct the bivariate of blending type operators by Berwal \emph{et al.}. We analyze both its the convergence and error of approximation properties by using the conventional tools of approximation theory. Finally, we demonstrate our results by presenting examples that highlight graphical visuals using MATLAB.
- [62] arXiv:2409.17614 [pdf, html, other]
-
Title: The difference between the chromatic and the cochromatic number of a random graphComments: 15 pagesSubjects: Combinatorics (math.CO)
The cochromatic number $\zeta(G)$ of a graph $G$ is the minimum number of colours needed for a vertex colouring where every colour class is either an independent set or a clique. Let $\chi(G)$ denote the usual chromatic number. Around 1991 Erdős and Gimbel asked: For the random graph $G \sim G_{n, 1/2}$, does $\chi(G)-\zeta(G) \rightarrow \infty$ whp? Erdős offered \$100 for a positive and \$1,000 for a negative answer.
We give a positive answer to this question for roughly 95% of all values $n$. - [63] arXiv:2409.17657 [pdf, html, other]
-
Title: A perturbed Alexander polynomial for singular knotsComments: 24 pages, 13 figures, 1 tableSubjects: Geometric Topology (math.GT)
We introduce a version of the Alexander polynomial for singular knots and tangles and show how it can be strengthened considerably by introducing a perturbation. For singular long knots, we also prove that our Alexander polynomial agrees with previous definitions.
- [64] arXiv:2409.17658 [pdf, html, other]
-
Title: Powers of large matrices on GPU platforms to compute the Roman domination number of cylindrical graphsJournal-ref: IEEE Access, vol. 9, pp. 29346-29355, 2021Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
The Roman domination in a graph $G$ is a variant of the classical domination, defined by means of a so-called Roman domination function $f\colon V(G)\to \{0,1,2\}$ such that if $f(v)=0$ then, the vertex $v$ is adjacent to at least one vertex $w$ with $f(w)=2$. The weight $f(G)$ of a Roman dominating function of $G$ is the sum of the weights of all vertices of $G$, that is, $f(G)=\sum_{u\in V(G)}f(u)$. The Roman domination number $\gamma_R(G)$ is the minimum weight of a Roman dominating function of $G$. In this paper we propose algorithms to compute this parameter involving the $(\min,+)$ powers of large matrices with high computational requirements and the GPU (Graphics Processing Unit) allows us to accelerate such operations. Specific routines have been developed to efficiently compute the $(\min ,+)$ product on GPU architecture, taking advantage of its computational power. These algorithms allow us to compute the Roman domination number of cylindrical graphs $P_m\Box C_n$ i.e., the Cartesian product of a path and a cycle, in cases $m=7,8,9$, $ n\geq 3$ and $m\geq $10$, n\equiv 0\pmod 5$. Moreover, we provide a lower bound for the remaining cases $m\geq 10, n\not\equiv 0\pmod 5$.
- [65] arXiv:2409.17662 [pdf, html, other]
-
Title: On quadratic embeddability of bipartite graphs and theta graphsSubjects: Combinatorics (math.CO)
We compute the quadratic embedding constant for complete bipartite graphs with disjoint edges removed. Moreover, we study the quadratic embedding property for theta graphs, i.e., graphs consisting of three paths with common initial points and common endpoints. As a result, we provide an infinite family of primary graphs which are not quadratically embeddable.
- [66] arXiv:2409.17679 [pdf, html, other]
-
Title: Spectral Tur\'an problem for hypergraphs with bipartite or multipartite patternSubjects: Combinatorics (math.CO)
General criteria on spectral extremal problems for hypergraphs were developed by Keevash, Lenz, and Mubayi in their seminal work (SIAM J. Discrete Math., 2014), in which extremal results on \alpha-spectral radius of hypergraphs for \alpha>1 may be deduced from the corresponding hypergraph Turán problem which has the stability property and whose extremal construction satisfies some continuity assumptions. Using this criterion, we give two general spectral Turán results for hypergraphs with bipartite or mulitpartite pattern, transform corresponding the spectral Turán problems into pure combinatorial problems with respect to degree-stability of a nondegenerate k-graph family. As an application, we determine the maximum \alpha-spectral radius for some classes of hypergraphs and characterize the corresponding extremal hypergraphs, such as the expansion of complete graphs, the generalized Fans, the cancellative hypergraphs, the generalized triangles, and a special book hypergraph.
- [67] arXiv:2409.17694 [pdf, html, other]
-
Title: Non-formally integrable centers admitting an algebraic inverse integrating factorComments: 18 pagesSubjects: Dynamical Systems (math.DS)
Westudy the existence of a class of inverse integrating factor for a family of non formally integrable systems, in general, whose lowest-degree quasi-homogeneous
term is a Hamiltonian vector field. Once the existence of an inverse integrat ing factor is established, we characterize the systems having a center. Among others, we characterize the centers of the systems whose lowest-degree quasiho mogeneous term is (-y3,x3)T with an algebraic inverse integrating factor.
Keywords: Nonlinear differential systems, Inverse integrating factor, Integrability problem, Degenerate center problem - [68] arXiv:2409.17697 [pdf, other]
-
Title: Inviscid Limit of the Stochastic Hyperviscous Navier-Stokes Equations and Invariant Measures for the Euler Equations in $\mathbb R^2$Comments: 58 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We prove the existence and some moment estimates for an invariant measure $\mu$ for the two-dimensional ($2$D) deterministic Euler equations on the unbounded domain $\mathbb R^2$ and with highly regular initial data. The result is achieved by first showing the existence of Markov stationary processes which solve the hyperviscous $2$D Navier-Stokes equations with kinematic viscosity $\nu>0$ and an additive stochastic noise scaling as $\sqrt \nu$. We then study the inviscid limit and prove that, as $\nu$ tends to $0$, these processes converge, in an appropriate trajectory space, to a pathwise stationary solution to the Euler equations. Its law is the sought invariant measure $\mu$.
- [69] arXiv:2409.17701 [pdf, html, other]
-
Title: On isometric universality of spaces of metricsComments: 18 pages. Joint workSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA); General Topology (math.GN)
A metric space $(M, d)$ is said to be universal for a class of metric spaces if all metric spaces in the class can be isometrically embedded into $(M, d)$. In this paper, for a metrizable space $Z$ possessing abundant subspaces, we first prove that the space of bounded metrics on $Z$ is universal for all bounded metric spaces (with restricted cardinality). Next, in contrast, we show that if $Z$ is an infinite discrete space, then the space of metrics on $Z$ is universal for all separable metric spaces. As a corollary of our results, if $Z$ is non-compact, or uncountable and compact, then the space of metrics on $Z$ is universal for all compact metric spaces. In addition, if $Z$ is compact and countable, then there exists a compact metric space that can not be isometrically embedded into the space of metrics on $Z$.
- [70] arXiv:2409.17707 [pdf, html, other]
-
Title: Oversampled Low Ambiguity Zone Sequences for Channel Estimation over Doubly Selective ChannelsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Pilot sequence design over doubly selective channels (DSC) is challenging due to the variations in both the time- and frequency-domains. Against this background, the contribution of this paper is twofold: Firstly, we investigate the optimal sequence design criteria for efficient channel estimation in orthogonal frequency division multiplexing systems under DSC. Secondly, to design pilot sequences that can satisfy the derived criteria, we propose a new metric called oversampled ambiguity function (O-AF), which considers both fractional and integer Doppler frequency shifts. Optimizing the sidelobes of O-AF through a modified iterative twisted approximation (ITROX) algorithm, we develop a new class of pilot sequences called ``oversampled low ambiguity zone (O-LAZ) sequences". Through numerical experiments, we evaluate the efficiency of the proposed O-LAZ sequences over the traditional low ambiguity zone (LAZ) sequences, Zadoff-Chu (ZC) sequences and m-sequences, by comparing their channel estimation performances over DSC.
- [71] arXiv:2409.17708 [pdf, html, other]
-
Title: Equivalent criteria for the Reimann hypothesis for a general class of $L$-functionsComments: 30 pages, 2 tablesSubjects: Number Theory (math.NT)
In 1916, Riesz gave an equivalent criterion for the Riemann hypothesis (RH). Inspired from Riesz's criterion, Hardy and Littlewood showed that RH is equivalent to the following bound: \begin{align*} P_1(x):= \sum_{n=1}^\infty \frac{\mu(n)}{n} \exp\left({-\frac{x}{n^2}}\right) = O_{\epsilon}\left( x^{-\frac{1}{4}+ \epsilon } \right), \quad \mathrm{as}\,\, x \rightarrow \infty. \end{align*} Recently, the authors extended the above bound for the generalized Riemann hypothesis for Dirichlet $L$-functions and gave a conjecture for a class of ``nice'' $L$-functions. In this paper, we settle this conjecture. In particular, we give equivalent criteria for the Riemann hypothesis for $L$-functions associated to cusp forms. We also obtain an entirely novel form of equivalent criteria for the Riemann hypothesis of $\zeta(s)$. Furthermore, we generalize an identity of Ramanujan, Hardy and Littlewood for Chandrasekharan-Narasimhan class of $L$-functions.
- [72] arXiv:2409.17709 [pdf, html, other]
-
Title: Hankel forms and measures on weighted Bergman spacesComments: 12 pagesSubjects: Complex Variables (math.CV)
We characterize the boundedness of Hankel forms and Hankel operators induced by measures on weighted Bergman spaces, where the weights satisfy an upper-doubling condition. We also characterize $A^p_\omega$ Hankel measures for $p\leq 2$. The proofs leverage the existing theory of weighted Bergman spaces and the recent results on two-weight fractional derivatives, also simplifying the recent $A^1$ duality for small Bergman spaces obtained by Peláez and Rättyä.
- [73] arXiv:2409.17724 [pdf, html, other]
-
Title: Forest Cuts in Sparse GraphsSubjects: Combinatorics (math.CO)
We propose the conjecture that every graph $G$ of order $n$ with less than $3n-6$ edges has a vertex cut that induces a forest. Maximal planar graphs do not have such vertex cuts and show that the density condition would be best possible. We verify the conjecture for planar graphs and show that every graph $G$ of order $n$ with less than $\frac{11}{5}n-\frac{18}{5}$ edges has a vertex cut that induces a forest.
- [74] arXiv:2409.17736 [pdf, html, other]
-
Title: Efficient and stable time integration of Cahn-Hilliard equations: explicit, implicit and explicit iterative schemesComments: 28 pages, 5 figuresSubjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE); Computational Physics (physics.comp-ph)
To solve the Cahn-Hilliard equation numerically, a new time integration algorithm is proposed, which is based on a combination of the Eyre splitting and the local iteration modified (LIM) scheme. The latter is employed to tackle the implicit system arising each time integration step. The proposed method is gradient-stable and allows to use large time steps, whereas, regarding its computational structure, it is an explicit time integration scheme. Numerical tests are presented to demonstrate abilities of the new method and to compare it with other time integration methods for Cahn-Hilliard equation.
- [75] arXiv:2409.17748 [pdf, html, other]
-
Title: On algebraic sums, trees and ideals in the Baire spaceSubjects: General Topology (math.GN)
We work in the Baire space $\mathbb{Z}^\omega$ equipped with the coordinate-wise addition $+$. Consider a $\sigma-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for every $A\in \mathcal{I}$ and a tree $T\in\mathbb{T}$ there exists $T'\in \mathbb{T}, T'\subseteq T$ such that $A+\underbrace{[T']+[T']+\dots +[T']}_{\text{n--times}}\in \mathcal{I}$ for each $n\in\omega$. Explored tree types include perfect trees, uniformly perfect trees, Miller trees, Laver trees and $\omega-$Silver trees. The latter kind of trees is an analogue of Silver trees from the Cantor space. Besides the standard $\sigma$-ideal $\mathcal{M}$ of meager sets, we also analyze $\mathcal{M}_-$ and fake null sets $\mathcal{N}$. The latter two are born out of the characterizations of their respective analogues in the Cantor space. The key ingredient in proofs were combinatorial characterizations of these ideals in the Baire space.
- [76] arXiv:2409.17762 [pdf, html, other]
-
Title: Sharpness in Bohr's InequalityComments: 12 pages, 10 figuresSubjects: Complex Variables (math.CV)
We make a careful analysis of Bohr's inequality, in the line started by Kayumov and Ponnusamy, where some extra summand (depending on the function) is added in the right-hand side of the inequality. We analyse the inequality when smaller radius are taken, giving sharp constants. As a result of this point of view, some previous results are improved.
- [77] arXiv:2409.17764 [pdf, html, other]
-
Title: The hitting time of nice factorsComments: 12 pages, 1 figureSubjects: Combinatorics (math.CO); Probability (math.PR)
Let $r \ge 3 $, let $n$ be divisible by $r$ and consider the random graph process on $n$ vertices. It was shown recently that in the random graph process, as soon as every vertex is covered by a copy of the complete graph $K_r$, a $K_r$-factor exists with high probability (RSA, Vol. 65 II, Sept. 2024). We prove an analogous hitting time result for all so-called \textit{nice} (hyper-)graphs in the random (hyper-)graph process. The latter is the class of hypergraphs for which the coupling of Oliver Riordan (RSA, Vol. 61 IV, Dec. 2022) is available, and it includes all $u$-uniform strictly $1$-balanced and $3$-connected hypergraphs for $u\ge 3$. Based on Riordan's coupling, our proof leverages a series of further couplings that connect the random $r$-uniform hypergraph process to the random (hyper-)graph process of interest, and then harnesses Jeff Kahn's hitting time result for the hypergraph process (Trans. Am. Math. Soc., 375, July 2021). The main result showcases that the proof concept of (RSA, Vol. 65 II, Sept. 2024) is a general-purpose tool that can translate sharp threshold results from Riordan's coupling to hitting time results.
- [78] arXiv:2409.17776 [pdf, html, other]
-
Title: Transforming Stacks into Queues: Mixed and Separated Layouts of GraphsSubjects: Combinatorics (math.CO)
Some of the most important open problems for linear layouts of graphs ask for the relation between a graph's queue number and its stack number or mixed number. In such, we seek a vertex order and edge partition of $G$ into parts with pairwise non-crossing edges (a stack) or with pairwise non-nesting edges (a queue). Allowing only stacks, only queues, or both, the minimum number of required parts is the graph's stack number $sn(G)$, queue number $qn(G)$, and mixed number $mn(G)$, respectively.
Already in 1992, Heath and Rosenberg asked whether $qn(G)$ is bounded in terms of $sn(G)$, that is, whether stacks "can be transformed into" queues. This is equivalent to bipartite $3$-stack graphs having bounded queue number (Dujmović and Wood, 2005). Recently, Alam et al. asked whether $qn(G)$ is bounded in terms of $mn(G)$, which we show to also be equivalent to the previous questions.
We approach the problem from a new angle by considering separated linear layouts of bipartite graphs. In this natural setting all vertices of one part must precede all vertices of the other part. While separated stack and queue numbers coincide, and graphs with bounded separated stack/queue number can be characterized and efficiently recognized, the separated mixed layouts are more challenging. In this work, we thoroughly investigate the relationship between separated and non-separated, mixed and pure linear layouts. - [79] arXiv:2409.17779 [pdf, other]
-
Title: A posteriori error analysis of the virtual element method for second-order quasilinear elliptic PDEsComments: 35 pages, 12 figuresSubjects: Numerical Analysis (math.NA)
In this paper we develop a $C^0$-conforming virtual element method (VEM) for a class of second-order quasilinear elliptic PDEs in two dimensions. We present a posteriori error analysis for this problem and derive a residual based error estimator. The estimator is fully computable and we prove upper and lower bounds of the error estimator which are explicit in the local mesh size. We use the estimator to drive an adaptive mesh refinement algorithm. A handful of numerical test problems are carried out to study the performance of the proposed error indicator.
- [80] arXiv:2409.17784 [pdf, html, other]
-
Title: Two problems in the representation theory of reduced enveloping algebrasComments: 33 pagesSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
In this paper we consider two problems relating to the representation theory of Lie algebras ${\mathfrak g}$ of reductive algebraic groups $G$ over algebraically closed fields ${\mathbb K}$ of positive characteristic $p>0$. First, we consider the tensor product of two baby Verma modules $Z_{\chi}(\lambda)\otimes Z_{\chi'}(\mu)$ and show that it has a filtration of baby Verma modules of a particular form. Secondly, we consider the minimal-dimension representations of a reduced enveloping algebra $U_\chi({\mathfrak g})$ for a nilpotent $\chi\in{\mathfrak g}^{*}$. We show that under certain assumptions in type $A$ we can obtain the minimal-dimensional modules as quotients of certain modules obtained by base change from simple highest weight modules over ${\mathbb C}$.
- [81] arXiv:2409.17787 [pdf, html, other]
-
Title: Weak coupling asymptotics for the Pauli operator in two dimensionsComments: 25 pages; submitted to Journal of Spectral TheorySubjects: Spectral Theory (math.SP); Mathematical Physics (math-ph)
We compute asymptotic expansions for the negative eigenvalues of the Pauli operator in two dimensions perturbed by a weakly coupled potential with definite sign. Whereas previous results were limited to the case of radial magnetic fields and potentials, we are able to drop the assumption of radial symmetry entirely.
- [82] arXiv:2409.17794 [pdf, html, other]
-
Title: Averaging formulas for the Reidemeister trace, Lefschetz and Nielsen numbers of $n$-valued mapsSubjects: Algebraic Topology (math.AT)
For an $n$-valued self-map $f$ of a closed manifold $X$, we prove an averaging formula for the Reidemeister trace of $f$ in terms of the Reidemeister coincidence traces of single-valued maps between finite orientable covering spaces of $X$. We then derive analogous formulas for the Lefschetz and Nielsen numbers of $f$. In the special case where $X$ is an infra-nilmanifold, we obtain explicit formulas for the Lefschetz and Nielsen numbers of any $n$-valued map on $X$.
- [83] arXiv:2409.17797 [pdf, other]
-
Title: An Introduction to Geometric Group TheoryComments: 277 pages, in Portuguese languageSubjects: Group Theory (math.GR); Geometric Topology (math.GT); Metric Geometry (math.MG)
This book provides a self-contained introduction to geometric group theory. The topics range from an introduction of Cayley and Schreier graphs to Gromov's theorem on groups of polynomial growth and amenability. We discuss the ping-pong lemma, quasi-isometries, growth of groups, hyperbolicity, and other related notions. The book is based on graduate courses and can be used for such a course or for independent study.
- [84] arXiv:2409.17802 [pdf, html, other]
-
Title: Quadri-Figures in Cayley-Klein Planes: All Around the Newton LineComments: 22 pages / 16 figuresSubjects: Metric Geometry (math.MG)
The Newton line and the associated theorems by Newton and Gauss for tetragons and quadrilaterals are closely linked to some other theorems of Euclidean geometry: a theorem by Bocher on the existence of a nine-point conic of a quadrangle, a theorem by Shatunov and Tokarev, and a theorem by Anne. This paper examines to which extent all these theorems can be transferred to other metric planes, in particular the elliptic and hyperbolic planes.
- [85] arXiv:2409.17807 [pdf, html, other]
-
Title: Finite-index phenomena and the topology of bundle singularitiesComments: 19 pages + referencesSubjects: Functional Analysis (math.FA); General Topology (math.GN); Operator Algebras (math.OA); Quantum Algebra (math.QA)
A classical branched cover is an open surjection of compact Hausdorff spaces with uniformly bounded finite fibers and analogously, a quantum branched cover is a unital $C^*$ embedding admitting a finite-index expectation. We show that whenever a compact Hausdorff space $Z$ contains a one-point compactification of an uncountable set, the incidence correspondence attached to the space of cardinality-$(\le n)$ subsets of $Z$ (for $n\ge 3$) is a classical branched cover that does not dualize to a quantum one. In particular, when $Z$ is dyadic, the resulting $C^*$ embeddings are quantum branched covers precisely when $Z$ is also metrizable. This provides a partial converse to an earlier result of the author's (to the effect that continuous, unital, subhomogeneous $C^*$ bundles over compact metrizable spaces are quantum branched) and settles negatively a question of Blanchard-Gogić.
There are also some positive results identifying classes of compact Hausdorff spaces (e.g. extremally disconnected or orderable) with the property that all (continuous, unital) $C^*$ bundles based thereon are quantum branched. - [86] arXiv:2409.17809 [pdf, html, other]
-
Title: Preserving Besov (fractional Sobolev) energies under sphericalization and flatteningSubjects: Functional Analysis (math.FA)
We introduce a new sphericalization mapping for metric spaces that is applicable in very general situations, including totally disconnected fractal type sets. For an unbounded complete metric space which is uniformly perfect at a base point for large radii and equipped with a doubling measure, we make a more specific construction based on the measure and equip it with a weighted measure. This mapping is then shown to preserve the doubling property of the measure and the Besov (fractional Sobolev) energy.
The corresponding results for flattening of bounded complete metric spaces are also obtained. Finally, it is shown that for the composition of a sphericalization with a flattening, or vice versa, the obtained space is biLipschitz equivalent with the original space and the resulting measure is comparable to the original measure. - [87] arXiv:2409.17810 [pdf, html, other]
-
Title: Qualitative properties of free boundaries for the exterior Bernoulli problem for the half LaplacianComments: 18 pagesSubjects: Analysis of PDEs (math.AP)
In this work, we study the asymptotic behavior of the free boundary of the solution to the exterior Bernoulli problem for the half Laplacian when the Bernoulli's gradient parameter tends to $0^+$ and to $+\infty$. Moreover, we show that, under suitable conditions, the perpendicular rays of the free boundary always meets the convex envelope of the fixed boundary.
- [88] arXiv:2409.17812 [pdf, html, other]
-
Title: Singularities of Steinberg deformation ringsComments: 33 pagesSubjects: Number Theory (math.NT)
Let $l$ and $p$ be distinct primes, let $F$ be a local field with residue field of characteristic $p$, and let $\mathfrak{X}$ be the irreducible component of the moduli space of Langlands parameters for $GL_3$ over $\mathbb{Z}_l$ corresponding to parameters of Steinberg type. We show that $\mathfrak{X}$ is Cohen-Macaulay and compute explicit equations for it. We also compute the Weil divisor class group of the special fibre of $\mathfrak{X}$, motivated by work of Manning for $GL_2$. Our methods involve the calculation of the cohomology of certain vector bundles on the flag variety, and build on work of Snowden, Vilonen-Xue, and Ngo.
- [89] arXiv:2409.17818 [pdf, html, other]
-
Title: Precision Asymptotics for Partitions Featuring False-Indefinite Theta FunctionsComments: 37 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Andrews-Dyson-Hickerson, Cohen build a striking relation between q-hypergeometric series, real quadratic fields, and Maass forms. Thanks to the works of Lewis-Zagier and Zwegers we have a complete understanding on the part of these relations pertaining to Maass forms and false-indefinite theta functions. In particular, we can systematically distinguish and study the class of false-indefinite theta functions related to Maass forms. A crucial component here is the framework of mock Maass theta functions built by Zwegers in analogy with his earlier work on indefinite theta functions and their application to Ramanujan's mock theta functions. Given this understanding, a natural question is to what extent one can utilize modular properties to investigate the asymptotic behavior of the associated Fourier coefficients, especially in view of their relevance to combinatorial objects. In this paper, we develop the relevant methods to study such a question and show that quite detailed results can be obtained on the asymptotic development, which also enable Hardy-Ramanujan-Rademacher type exact formulas under the right conditions. We develop these techniques by concentrating on a concrete example involving partitions with parts separated by parity and derive an asymptotic expansion that includes all the exponentially growing terms.
- [90] arXiv:2409.17821 [pdf, html, other]
-
Title: Intersecting families of polynomials over finite fieldsSubjects: Number Theory (math.NT); Combinatorics (math.CO)
This paper establishes an analog of the Erdős-Ko-Rado theorem to polynomial rings over finite fields, affirmatively answering a conjecture of C. Tompkins.
A $k$-uniform family of subsets of a set of finite size $n$ is $l$-intersecting if any two subsets in the family intersect in at least $l$ elements. The study of such intersecting families is a core subject of extremal set theory, tracing its roots to the seminal 1961 Erdős-Ko-Rado theorem, which establishes a sharp upper bound on the size of these families.
As an analog of the Erdős-Ko-Rado theorem, we determine the largest possible size of a family of monic polynomials, each of degree $n$, over a finite field $F_q$, where every pair of polynomials in the family shares a common factor of degree at least $l$. We establish that the upper bound for this size is $q^{n-l}$ and further characterize all extremal families that achieve this maximum size.
Further extending our study to triple-intersecting families, where every triplet of polynomials shares a common factor of degree at least $l$, we prove that only trivial families achieve the corresponding upper bound. Moreover, by relaxing the conditions to include polynomials of degree at most $n$, we affirm that the same upper bound holds and only trivial families achieve the corresponding upper bound. - [91] arXiv:2409.17828 [pdf, html, other]
-
Title: Hofer distance on Lagrangian links inside the discComments: 4 pagesSubjects: Symplectic Geometry (math.SG)
We show that the set of Hamiltonian isotopies of certain unions of circles inside the disc is unbounded for the Hofer distance. The proof relies on a result by Francesco Morabito together with a standard argument of Michael Khanevsky.
- [92] arXiv:2409.17832 [pdf, html, other]
-
Title: Mutation-acyclic quivers are totally properComments: 27 pages, 14 figuresSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
Totally proper quivers, introduced by S.~Fomin and the author arXiv:2406.03604, have many useful properties including powerful mutation invariants. We show that every mutation-acyclic quiver (i.e., a quiver that is mutation equivalent to an acyclic one) is totally proper. This yields new necessary conditions for a quiver to be mutation-acyclic.
- [93] arXiv:2409.17837 [pdf, html, other]
-
Title: Brill-Noether loci on an Enriques surface covered by a Jacobian Kummer surfaceSubjects: Algebraic Geometry (math.AG)
The aim of this note is to exhibit proper first Brill-Noether loci inside the moduli spaces $M_{Y,H}(2;c_1,c_2)$ of $H$-stable rank $2$ vector bundles with fixed Chern classes of a certain type on an Enriques surface $Y$ which is covered by a Jacobian Kummer surface $X$.
- [94] arXiv:2409.17838 [pdf, other]
-
Title: The factorial growth of topological recursionComments: 33 pages. Comments are welcome!Subjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG)
We show that the $n$-point, genus-$g$ correlation functions of topological recursion on any regular spectral curve with simple ramifications grow at most like $(2g - 2 + n)!$ as $g \rightarrow \infty$, which is the expected growth rate. This provides, in particular, an upper bound for many curve counting problems in large genus and serves as a preliminary step for a resurgence analysis.
- [95] arXiv:2409.17839 [pdf, html, other]
-
Title: Large Deviation Minimisers for Stochastic Partial Differential Equations with Degenerate NoiseComments: 13 pages, 16 figuresSubjects: Probability (math.PR)
Noise-induced transitions between multistable states happen in a multitude of systems, such as species extinction in biology, protein folding, or tipping points in climate science. Large deviation theory is the rigorous language to describe such transitions for non-equilibrium systems in the small noise limit. At its core, it requires the computation of the most likely transition pathway, solution to a PDE constrained optimization problem. Standard methods struggle to compute the minimiser in the particular coexistence of (1) multistability, i.e. coexistence of multiple long-lived states, and (2) degenerate noise, i.e. stochastic forcing acting only on a small subset of the system's degrees of freedom. In this paper, we demonstrate how to adapt existing methods to compute the large deviation minimiser in this setting by combining ideas from optimal control, large deviation theory, and numerical optimisation. We show the efficiency of the introduced method in various applications in biology, medicine, and fluid dynamics, including the transition to turbulence in subcritical pipe flow.
- [96] arXiv:2409.17842 [pdf, html, other]
-
Title: Hook-length Formulas for Skew Shapes via Contour Integrals and Vertex ModelsComments: 34 pages, over 10 figuresSubjects: Combinatorics (math.CO); Mathematical Physics (math-ph)
The number of standard Young tableaux of a skew shape $\lambda/\mu$ can be computed as a sum over excited diagrams inside $\lambda$. Excited diagrams are in bijection with certain lozenge tilings, with flagged semistandard tableaux and also nonintersecting lattice paths inside $\lambda$. We give two new proofs of a multivariate generalization of this formula, which allow us to extend the setup beyond standard Young tableaux and the underlying Schur symmetric polynomials. The first proof uses multiple contour integrals. The second one interprets excited diagrams as configurations of a six-vertex model at a free fermion point, and derives the formula for the number of standard Young tableaux of a skew shape from the Yang-Baxter equation.
- [97] arXiv:2409.17847 [pdf, html, other]
-
Title: Threefolds on the Noether line and their moduli spacesComments: Comments are welcomeSubjects: Algebraic Geometry (math.AG)
In this paper, we completely classify the canonical threefolds on the Noether line with geometric genus $p_g \ge 11$ by studying their moduli spaces. For every such moduli space, we establish an explicit stratification, estimate the number of its irreducible components and prove the dimension formula. A new and unexpected phenomenon is that the number of irreducible components grows linearly with the geometric genus, while the moduli space of canonical surfaces on the Noether line with any prescribed geometric genus has at most two irreducible components.
The key idea in the proof is to relate the canonical threefolds on the Noether line to the simple fibrations in $(1, 2)$-surfaces by proving a conjecture stated by two of the authors in [CP]. - [98] arXiv:2409.17849 [pdf, html, other]
-
Title: Modular representation of Reductive Lie algebras and related combinatorial categoryComments: 29 pages, comments are welcome!Subjects: Representation Theory (math.RT)
We introduce and study a ``combinatorial" category related to the representations of reduced enveloping algebras of reductive Lie algebras in ``standard Levi form". It is compatible with the so-called AJS category in \cite{AJS94}, where AJS category is an important role in studying the Lusztig's conjecture on characters of irreducible modules of algebraic group.
- [99] arXiv:2409.17850 [pdf, html, other]
-
Title: Parallels between quaternionic and matrix nullstellens\"atzeComments: 16 pages, submittedSubjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG)
We prove a new quaternionic and a new matrix nullstellensatz. We also show that both theories are intertwined.
- [100] arXiv:2409.17859 [pdf, other]
-
Title: Nonlinear stability of periodic wave trains in the FitzHugh-Nagumo system against fully nonlocalized perturbationsComments: 58 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
Recently, a nonlinear stability theory has been developed for periodic wave trains in reaction-diffusion systems, which diverges from previous approaches by lifting all localization or periodicity assumptions on perturbations. It solely relies on decay caused by diffusive smoothing in combination with spatio-temporal phase modulation and the Cole-Hopf transformation to close the nonlinear iteration argument. In this paper, we extend this theory beyond the parabolic setting by proving nonlinear stability of wave trains in the FitzHugh-Nagumo system against $C_{\mathrm{ub}}$-perturbations. Our analysis hinges on the observation that the high-frequency component of the $C_0$-semigroup generated by the linearization is (exponentially) damped, which serves to effectively compensate for the incomplete parabolicity. A novel challenge is that the temporal Green's function associated with the linearization is not an (integrable) function, complicating mode filtration in $C_{\mathrm{ub}}(\mathbb{R})$ using the Floquet-Bloch transform. Instead, we resort on its inverse Laplace representation to decompose the semigroup into high- and low-frequency parts and link to the Floquet-Bloch representation for low-frequency modes only. A second challenge arises in controlling regularity in the quasilinear iteration scheme for the modulated perturbation in the absence of parabolic smoothing. We tackle this issue by extending the method of nonlinear damping estimates to nonlocalized perturbations by using uniformly local Sobolev norms. Our approach does not exploit the specific structure of the FitzHugh-Nagumo system; rather, it is designed to apply to general dissipative semilinear problems as long as the linearization about the wave train generates a $C_0$-semigroup, which exhibits high-frequency damping.
- [101] arXiv:2409.17871 [pdf, html, other]
-
Title: On factorisations of Left dead endsComments: 50 pages, 1 figure, code in ancillary filesSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
Losing a game is difficult. Recent work of Larsson, Nowakowski, and Santos, as well as that of Siegel, has opened up enticing lines of research into partizan misère theory. The algebraic structure of misère monoids is not yet well understood. A natural object to study is a universe of games, which is a set of games satisfying various closure properties. We prove that a universe is determined by its Left ends, thus motivating a study of such games, which was also noted by Siegel for dead ending universes in particular. We initiate this study by investigating the atomic structure of the monoid of Left dead ends, showing that it is reduced, pocancellative, and an FF-monoid. We give sharp bounds on the lengths of factorisations, and also build tools to find atoms. Some results require the introduction of a new concept called flexibility, which is a measure of the distance from a game to integers. We also discover large families of games admitting unique factorisations; this includes the uncovering of a prime element: $\overline{1}$.
- [102] arXiv:2409.17877 [pdf, html, other]
-
Title: Classification and stability of penalized pinned elasticaeComments: 28 pages, 4 figuresSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
This paper considers critical points of the length-penalized elastic bending energy among planar curves whose endpoints are fixed. We classify all critical points with an explicit parametrization. The classification strongly depends on a special penalization parameter $\hat{\lambda}\simeq 0.70107$. Stability of all the critical points is also investigated, and again the threshold $\hat{\lambda}$ plays a decisive role. In addition, our explicit parametrization is applied to compare the energy of critical points, leading to uniqueness of minimal nontrivial critical points. As an application we obtain eventual embeddedness of elastic flows.
- [103] arXiv:2409.17884 [pdf, html, other]
-
Title: On integral rigidity in Seiberg-Witten theoryComments: 22 pages, comments are welcome!Subjects: Geometric Topology (math.GT)
We introduce a framework to prove integral rigidity results for the Seiberg-Witten invariants of a closed $4$-manifold $X$ containing a non-separating hypersurface $Y$ satisfying suitable (chain-level) Floer theoretic conditions. As a concrete application, we show that if $X$ has the homology of a four-torus, and it contains a non-separating three-torus, then the sum of all Seiberg-Witten invariants of $X$ is determined in purely cohomological terms. Our results can be interpreted as $(3+1)$-dimensional versions of Donaldson's TQFT approach to the formula of Meng-Taubes, and build upon a subtle interplay between irreducible solutions to the Seiberg-Witten equations on $X$ and reducible ones on $Y$ and its complement. Along the way, we provide a concrete description of the associated graded map (for a suitable filtration) of the map on $\overline{HM}_*$ induced by a negative cobordism between three-manifolds, which might be of independent interest.
- [104] arXiv:2409.17888 [pdf, html, other]
-
Title: On integral aspects of Asai periods and Euler systems for $\mathrm{Res}_{E/\mathbf{Q}}\mathrm{GL}_2$Comments: 21 pages. Comments welcomed!Subjects: Number Theory (math.NT); Representation Theory (math.RT)
Let $E/\mathbf{Q}$ be a totally real quadratic field. Using unramified harmonic analysis in Hecke modules, we study the $\ell$-adic integral behavior of the (unramified part of the) Asai period attached to a Hilbert modular form for $E$, when evaluated on arbitrary integral test data in the sense of Loeffler. Using the same representation-theoretic framework, we also prove the conjectured integral behavior of local factors appearing in tame norm relations, between any collection of integral motivic Asai-Flach classes in the recipe of Loeffler-Skinner-Zerbes. Finally, specializing to one such specific integral collection, we obtain the most general version of the Asai-Flach Euler system tame norm relations, extending a result of Grossi.
- [105] arXiv:2409.17890 [pdf, html, other]
-
Title: Actions of Taft Algebras on Noetherian Down-Up AlgebrasComments: 29 pagesSubjects: Rings and Algebras (math.RA)
We consider actions of Taft algebras on noetherian graded down-up algebras. We classify all such actions and determine properties of the corresponding invariant rings $A^T$. We identify precisely when $A^T$ is commutative, when it is Artin-Schelter regular, and give sufficient conditions for it to be Artin-Schelter Gorenstein. Our results show that many results and conjectures in the literature concerning actions of semisimple Hopf algebras on Artin-Schelter regular algebras can fail when the semisimple hypothesis is omitted.
- [106] arXiv:2409.17893 [pdf, html, other]
-
Title: Extremal number of arborescencesAditya Bandekar, Péter Csikvári, Benjamin Mascuch, Damján Tárkányi, Márton Telekes, Lilla TóthmérészSubjects: Combinatorics (math.CO)
In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices.
In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament.
We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$. - [107] arXiv:2409.17900 [pdf, other]
-
Title: Sharp asymptotics of disconnection time of large cylinders by simple and biased random walksComments: 88 pages, 6 tables of symbolsSubjects: Probability (math.PR)
We investigate the asymptotic disconnection time of a large discrete cylinder $(\mathbb{Z}/N\mathbb{Z})^{d}\times \mathbb{Z}$, $d\geq 2$, by simple and biased random walks. For simple random walk, we derive a sharp asymptotic lower bound that matches the upper bound from [Sznitman, Ann. Probab., 2009]. For biased walks, we obtain bounds that asymptotically match in the principal order when the bias is not too strong, which greatly improves non-matching bounds from [Windisch, Ann. Appl. Probab., 2008]. As a crucial tool in the proof, we also obtain a "very strong" coupling between the trace of random walk on the cylinder and random interlacements, which is of independent interest.
- [108] arXiv:2409.17901 [pdf, html, other]
-
Title: Uniform log-Sobolev inequalities for mean field particles beyond flat-convexitySubjects: Analysis of PDEs (math.AP); Probability (math.PR)
In the nice recent work [48], S. Wang established uniform log-Sobolev inequalities for mean field particles when the energy is flat convex. In this note we comment how to extend his proof to some semi-convex energies provided the curvature lower-bound is not too negative. It is not clear that this could be obtained simply by applying a posteriori a perturbation argument to Wang's result. Rather, we follow his proof and, at steps where the convexity is used, we notice that the uniform conditional or local functional inequalities assumed give some room to allow for a bit of concavity. In particular, this allows to recover other previous results on non-convex systems at high temperature or weak coupling, and to consider situations which mix flat-convexity and weak coupling.
- [109] arXiv:2409.17903 [pdf, html, other]
-
Title: Analysis of a Radiotherapy Model for Brain TumorsComments: 37 pages, 3 figuresSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC); Medical Physics (physics.med-ph)
In this work, we focus on the analytical and numerical study of a mathematical model for brain tumors with radiotherapy influence. Under certain assumptions on the given data in the model, we prove existence and uniqueness of a weak nonnegative (biological relevant) solution. Then, assuming only more regular initial data, we obtain the extra regularity of this solution. Besides, we analyze the optimal control of the advection coefficient responding for the radiotherapy effect on the tumor cell population. Finally, we provide numerical illustration to all obtained analytical results.
- [110] arXiv:2409.17910 [pdf, html, other]
-
Title: On the tails of log-concave density estimatorsSubjects: Statistics Theory (math.ST)
This note proves that the nonparametric maximum likelihood estimator of a univariate log-concave probability density satisfies some consistency properties in the tail regions.
- [111] arXiv:2409.17914 [pdf, html, other]
-
Title: The Huang-Yang formula for the low-density Fermi gas: upper boundComments: 48 pagesSubjects: Mathematical Physics (math-ph); Quantum Gases (cond-mat.quant-gas)
We study the ground state energy of a gas of spin $1/2$ fermions with repulsive short-range interactions. We derive an upper bound that agrees, at low density $\rho$, with the Huang-Yang conjecture. The latter captures the first three terms in an asymptotic low-density expansion, and in particular the Huang-Yang correction term of order $\rho^{7/3}$. Our trial state is constructed using an adaptation of the bosonic Bogoliubov theory to the Fermi system, where the correlation structure of fermionic particles is incorporated by quasi-bosonic Bogoliubov transformations. In the latter, it is important to consider a modified zero-energy scattering equation that takes into account the presence of the Fermi sea, in the spirit of the Bethe-Goldstone equation.
- [112] arXiv:2409.17918 [pdf, html, other]
-
Title: Classical inequalities for all Fourier matrix coefficients of $\mathrm{SL}(2,\mathbb{R})$ and their applicationsComments: 26 pages. Comments are welcomeSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
In this article, we establish three fundamental Fourier inequalities: the Hausdorff-Young inequality, the Paley inequality, and the Hausdorff-Young-Paley inequality for $(l, n)$-type functions on $\mathrm{SL}(2,\mathbb{R})$. Utilizing these inequalities, we demonstrate the $L^p$-$L^q$ boundedness of $(l, n)$-type Fourier multipliers on $\mathrm{SL}(2,\mathbb{R})$. Furthermore, we explore applications related to the $L^p$-$L^q$ estimates of the heat kernel of the Casimir element on $\mathrm{SL}(2,\mathbb{R})$ and address the global well-posedness of certain parabolic and hyperbolic nonlinear equations.
- [113] arXiv:2409.17921 [pdf, html, other]
-
Title: Integers that are sums of two cubes in the cyclotomic $\mathbb{Z}_p$-extensionSubjects: Number Theory (math.NT)
Let $n$ be a cubefree natural number and $p\geq 5$ be a prime number. Assume that $n$ is not expressible as a sum of the form $x^3+y^3$, where $x,y\in \mathbb{Q}$. In this note, we study the solutions (or lack thereof) to the equation $n=x^3+y^3$, where $x$ and $y$ belong to the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. As an application, consider the case when $n$ is not a sum of rational cubes. Then, we prove that $n$ cannot be a sum of two cubes in certain large families of prime cyclic extensions of $\mathbb{Q}$.
- [114] arXiv:2409.17934 [pdf, html, other]
-
Title: Stability of annihilators of cohomology and closed subsets defined by Jacobian idealsComments: 16 pagesSubjects: Commutative Algebra (math.AC)
Let $R$ be a commutative Noetherian ring of dimension $d$. In this paper, we first show that some power of the cohomology annihilator annihilates the $(d+1)$-th Ext modules for all finitely generated modules when either $R$ admits a dualizing complex or $R$ is local. Next, we study the Jacobian ideal of affine algebras over a field and equicharacteristic complete local rings, and characterize the equidimensionality of the ring in terms of the singular locus and the closed subsets defined by the cohomology annihilator and the Jacobian ideal.
- [115] arXiv:2409.17938 [pdf, html, other]
-
Title: Error bounds for Physics Informed Neural Networks in Nonlinear Schr\"odinger equations placed on unbounded domainsComments: 24 pagesSubjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
We consider the subcritical nonlinear Schrödinger (NLS) in dimension one posed on the unbounded real line. Several previous works have considered the deep neural network approximation of NLS solutions from the numerical and theoretical point of view in the case of bounded domains. In this paper, we introduce a new PINNs method to treat the case of unbounded domains and provide rigorous bounds on the associated approximation error in terms of the energy and Strichartz norms, provided a reasonable integration scheme is available. Applications to traveling waves, breathers and solitons, as well as numerical experiments confirming the validity of the approximation are also provided as well.
- [116] arXiv:2409.17944 [pdf, other]
-
Title: Filtering-Linearization: A First-Order Method for Nonconvex Trajectory Optimization with Filter-Based Warm-StartingSubjects: Optimization and Control (math.OC)
Nonconvex trajectory optimization is at the core of designing trajectories for complex autonomous systems. A challenge for nonconvex trajectory optimization methods, such as sequential convex programming, is to find an effective warm-starting point to approximate the nonconvex optimization with a sequence of convex ones. We introduce a first-order method with filter-based warm-starting for nonconvex trajectory optimization. The idea is to first generate sampled trajectories using constraint-aware particle filtering, which solves the problem as an estimation problem. We then identify different locally optimal trajectories through agglomerative hierarchical clustering. Finally, we choose the best locally optimal trajectory to warm-start the prox-linear method, a first-order method with guaranteed convergence. We demonstrate the proposed method on a multi-agent trajectory optimization problem with linear dynamics and nonconvex collision avoidance. Compared with sequential quadratic programming and interior-point method, the proposed method reduces the objective function value by up to approximately 96\% within the same amount of time for a two-agent problem, and 98\% for a six-agent problem.
- [117] arXiv:2409.17949 [pdf, html, other]
-
Title: The $\mathcal{C}$-connection and the 4-dimensional Einstein spacesComments: 14 pages, no figuresSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc)
We introduce a new family of operators in 4-dimensional pseudo-Riemannian manifolds with a non-vanishing Weyl scalar (non-degenerate spaces) that keep the conformal covariance of \emph{conformally covariant tensor concomitants}. A particular case that arises naturally is the $\mathcal{C}$-connection that is a Weyl connection that keeps \emph{conformal invariance}. Using the $\mathcal{C}-$connection we give a new characterization of non-degenerate spaces that are conformal to an Einstein space.
- [118] arXiv:2409.17950 [pdf, html, other]
-
Title: An Achievable Rate-Distortion Region for Joint State and Message Communication over Multiple Access ChannelsComments: Accepted by IEEE Information Theory Workshop 2024Subjects: Information Theory (cs.IT)
This paper derives an achievable rate-distortion (R-D) region for the state-dependent discrete memoryless multiple access channel (SD-DMMAC), where the generalized feedback and causal side information are present at encoders, and the decoder performs the joint task of message decoding and state estimation. The Markov coding and backward-forward two-stage decoding schemes are adopted in the proof. This scenario is shown to be capable of modeling various integrated sensing and communication (ISAC) applications, including the monostatic-uplink system and multi-modal sensor networks, which are then studied as examples.
- [119] arXiv:2409.17962 [pdf, html, other]
-
Title: Distribution-free expectation operators for robust pricing and stocking with heavy-tailed demandSubjects: Optimization and Control (math.OC); Probability (math.PR)
We obtain distribution-free bounds for various fundamental quantities used in probability theory by solving optimization problems that search for extreme distributions among all distributions with the same mean and dispersion. These sharpest possible bounds depend only on the mean and dispersion of the driving random variable. We solve the optimization problems by a novel yet elementary technique that reduces the set of all candidate solutions to two-point distributions. We consider a general dispersion measure, with variance, mean absolute deviation and power moments as special cases. We apply the bounds to robust newsvendor stocking and monopoly pricing, generalizing foundational mean-variance works. This shows how pricing and order decisions respond to increased demand uncertainty, including scenarios where dispersion information allows for heavy-tailed demand distributions.
- [120] arXiv:2409.17965 [pdf, other]
-
Title: Perfectoid pure singularitiesBhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub WitaszekComments: 46 pages, comments welcomeSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Number Theory (math.NT)
Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call \emph{perfectoid pure}. We also study a related a priori weaker condition which asks that $R$ is pure in its absolute perfectoidization, a condition we call \emph{lim-perfectoid pure}. We show that both these notions coincide when $R$ is LCI. Mixed characteristic analogs of $F$-injective and Du Bois singularities are also explored. We study these notions of singularity, proving that they are weakly normal and that they are Du Bois after inverting $p$. We also explore the behavior of perfectoid singularities under finite covers and their relation to log canonical singularities. Finally, we prove an inversion of adjunction result in the LCI setting, and use it to prove that many common examples are perfectoid pure.
- [121] arXiv:2409.17966 [pdf, html, other]
-
Title: A remarkable example on clustering of extremes for regularly-varying stochastic processesComments: 38 pagesSubjects: Probability (math.PR)
We continue our investigations on the stable-regenerative double-stable model. This is a stationary regularly varying stochastic process, and here we focus on the case where the memory parameter $\beta\in(0,1/2)$, the tail parameter $\alpha\in(0,1)$, and also the process is non-negative. At the microscopic level, the local behavior of extremes of this process has been fully understood, as the convergence to the tail process has been established recently. At the macroscopic level, our first result enhances the recent extremal limit theorem on the running maxima of the model to a convergence of point processes for the clusters of extremes. Most interestingly, our second result reveals that the model exhibits a phase transition at the mesoscopic level in the following sense: if the block size $d_n$ satisfies $d_n\to\infty, d_n = o(n)$ and $\lim_{n\to\infty} d_n/\log n = \rho\in[0,1]$, then \[ \mathbb P\left(\frac1{b_n}\max_{k=1,\dots,d_n}X_j>y\right) \sim \vartheta_\rho d_n\mathbb P\left(\frac {X_1}{b_n}>y\right) \quad\mbox{ with } \quad \vartheta_\rho = (1-2\rho\beta)\mathfrak q_{F,2}, \] where $b_n$ is such that $\mathbb P(X_1>b_n)\sim n^{-1}$, and $\mathfrak q_{F,2}$ an explicit constant. The phase transition refers to the fact that the constant $\vartheta_\rho$ now depends on the rate $d_n\uparrow \infty$, a feature that is prohibited by the anticlustering condition that is satisfied by most examples of regularly varying stochastic processes in the literature. In particular, the model has recently been shown to have a distinct candidate extremal index and extremal index, two key parameters in the studies of extremes for regularly varying processes. Here, the constant $\vartheta_\rho$ interpolates between the candidate extremal index (with value $\vartheta_0$) and the extremal index (with value $\vartheta_1$). We are unaware of any other examples with such a feature.
- [122] arXiv:2409.17969 [pdf, html, other]
-
Title: $L^p$-$L^q$ Fourier multipliers and Hausdorff-Young-Paley inequalities on Riemannian symmetric spaces of noncompact typeComments: 39 pages. Comments are welcome. arXiv admin note: text overlap with arXiv:2101.08460 by other authorsSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
Our primary objective in this article is to establish Hörmander type $L^p \rightarrow L^q$ Fourier multiplier theorems in the context of noncompact type Riemannian symmetric spaces $\mathbb{X}$ of arbitrary rank for the range $1 < p \leq 2 \leq q < \infty$. As a consequence of the Fourier multiplier theorem, we also derive a spectral multiplier theorem on $\mathbb{X}$. We then apply this theorem to prove $L^p \rightarrow L^q$ boundedness for functions of the Laplace-Beltrami operator and to obtain embedding theorems and operator estimates for the potentials and heat semigroups. Additionally, we provide mixed-norm versions of the Hausdorff-Young and Paley inequalities. In this context, where the Fourier transform is holomorphic, and its domain consists of various strips, we present two versions of these inequalities and explore their interrelation. Furthermore, our findings and methods are also applicable to harmonic $NA$ groups, also known as Damek-Ricci spaces.
- [123] arXiv:2409.17974 [pdf, html, other]
-
Title: Discrete Coagulation-Fragmentation equations with multiplicative coagulation kernel and constant fragmentation kernelComments: 25 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
Here, we study a discrete Coagulation-Fragmentation equation with a multiplicative coagulation kernel and a constant fragmentation kernel, which is critical. We apply the discrete Bernstein transform to the original Coagulation-Fragmentation equation to get two new singular Hamilton-Jacobi equations and use viscosity solution methods to analyze them. We obtain well-posedness, regularity, and long-time behaviors of the viscosity solutions to the Hamilton-Jacobi equations in certain ranges, which imply the well-posedness and long-time behaviors of mass-conserving solutions to the Coagulation-Fragmentation equation. The results obtained provide some definitive answers to a conjecture posed in [11,10], and are counterparts to those for the continuous case studied in [32].
- [124] arXiv:2409.17982 [pdf, html, other]
-
Title: The Defining Characteristic Case of the Representations of $\mathrm{GL}_{n}$ and $\mathrm{SL}_{n}$ over Principal Ideal Local RingsComments: 10 pages, comments are welcome!Subjects: Representation Theory (math.RT); Group Theory (math.GR)
Let $W_{r}(\mathbb{F}_{q})$ be the ring of Witt vectors of length $r$ with residue field $\mathbb{F}_{q}$ of characteristic $p$. In this paper, we study the defining characteristic case of the representations of $\mathrm{GL}_{n}$ and $\mathrm{SL}_{n}$ over the principal ideal local rings $W_{r}(\mathbb{F}_{q})$ and $\mathbb{F}_{q}[t]/t^{r}$. Let ${\mathbf{G}}$ be either $\mathrm{GL}_{n}$ or $\mathrm{SL}_{n}$ and $F$ a perfect field of characteristic $p$, we prove that for most $p$ the group algebras $F[{\mathbf{G}}(W_{r}(\mathbb{F}_{q}))]$ and $F[{\mathbf{G}}(\mathbb{F}_{q}[t]/t^{r})]$ are not stably equivalent of Morita type. Thus, the group algebras $F[{\mathbf{G}}(W_{r}(\mathbb{F}_{q}))]$ and $F[{\mathbf{G}}(\mathbb{F}_{q}[t]/t^{r})]$ are not isomorphic in the defining characteristic case.
- [125] arXiv:2409.17985 [pdf, html, other]
-
Title: Hypergame Theory for Decentralized Resource Allocation in Multi-user Semantic CommunicationsSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
Semantic communications (SC) is an emerging communication paradigm in which wireless devices can send only relevant information from a source of data while relying on computing resources to regenerate missing data points. However, the design of a multi-user SC system becomes more challenging because of the computing and communication overhead required for coordination. Existing solutions for learning the semantic language and performing resource allocation often fail to capture the computing and communication tradeoffs involved in multiuser SC. To address this gap, a novel framework for decentralized computing and communication resource allocation in multiuser SC systems is proposed. The challenge of efficiently allocating communication and computing resources (for reasoning) in a decentralized manner to maximize the quality of task experience for the end users is addressed through the application of Stackelberg hyper game theory. Leveraging the concept of second-level hyper games, novel analytical formulations are developed to model misperceptions of the users about each other's communication and control strategies. Further, equilibrium analysis of the learned resource allocation protocols examines the convergence of the computing and communication strategies to a local Stackelberg equilibria, considering misperceptions. Simulation results show that the proposed Stackelberg hyper game results in efficient usage of communication and computing resources while maintaining a high quality of experience for the users compared to state-of-the-art that does not account for the misperceptions.
- [126] arXiv:2409.17998 [pdf, html, other]
-
Title: A Decision-Making Method in Polyhedral Convex Set OptimizationComments: 19 pagesSubjects: Optimization and Control (math.OC)
Optimization problems with set-valued objective functions arise in contexts such as multi-stage optimization with vector-valued objectives. The aim is to identify an optimizer -- a feasible point with an optimal objective value -- based on an ordering relation on a family of sets. When faced with multiple optimizers, a decision maker must choose one. Visualizing the values associated with these optimizers could provide a solid basis for decision-making. However, these values are sets, making it challenging to visualize many of them. Therefore, we propose a method where an optimizer is selected by designing the respective outcome set through a trial-and-error process. In a polyhedral convex setting, we discuss an implementation and prove that an optimizer can be found using this method after a finite number of design steps. We motivate the problem setting and illustrate the process using an example: a two-stage bi-objective network flow problem.
- [127] arXiv:2409.18001 [pdf, html, other]
-
Title: On the connection between coordinate and diagonal arrangement complementsComments: 12 pagesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO)
We study diagonal arrangement complements $D(K)$ in $\mathbb{C}^m$. We consider the class of simplicial complexes $K$ in which any two missing faces have a common vertex, and prove that the coordinate arrangement complement $U(K)$ is the double suspension of the diagonal arrangement complement $D(K)$. In the case of subspace arrangements in $\mathbb{R}^m$ the coordinate arrangement complement $U_{\mathbb{R}}(K)$ is the single suspension of $D_{\mathbb{R}}(K)$.
- [128] arXiv:2409.18002 [pdf, html, other]
-
Title: Connected Components on Lie Groups and Applications to Multi-Orientation Image AnalysisSubjects: Differential Geometry (math.DG)
We develop and analyze a new algorithm to find the connected components of a compact set I from a Lie group G endowed with a left-invariant Riemannian distance. For a given delta>0, the algorithm finds the largest cover of I such that all sets in the cover are separated by at least distance delta. We call the sets in the cover the delta-connected components of I. The grouping relies on an iterative procedure involving morphological dilations with Hamilton-Jacobi-Bellman-kernels on G and notions of delta-thickened sets. We prove that the algorithm converges in finitely many iteration steps, and we propose a strategy to find an optimal value for delta based on persistence homology arguments. We also introduce the concept of affinity matrices. This allows grouping delta-connected components based on their local proximity and alignment.
Among the many different applications of the algorithm, in this article, we focus on illustrating that the method can efficiently identify (possibly overlapping) branches in complex vascular trees on retinal images. This is done by applying an orientation score transform to the images that allows us to view them as functions from L_2(G) where G=SE(2), the Lie group of positions and orientations. By applying our algorithm in this Lie group, we illustrate that we obtain delta-connected components that differentiate between crossing structures and that group well-aligned, nearby structures. This contrasts standard connected component algorithms in R^2. - [129] arXiv:2409.18008 [pdf, html, other]
-
Title: Brill-Noether theory on the projective plane for bundles with many sectionsComments: 22 pages, comments welcome!Subjects: Algebraic Geometry (math.AG)
The Brill-Noether theory of curves plays a fundamental role in the theory of curves and their moduli and has been intensively studied since the 19th century. In contrast, Brill-Noether theory for higher dimensional varieties is less understood. It is hard to determine when Brill-Noether loci are nonempty and these loci can be reducible and of larger than the expected dimension.
Let $E$ be a semistable sheaf on the projective plane. In this paper, we give an upper bound for $h^0(E)$ in terms of the rank $r$ and the slope $\mu$ of $E$. We show that the bound is achieved precisely when $E$ is a twist of a Steiner bundle. We classify the sheaves $E$ such that $h^0(E)$ is sufficiently close to the upper bound. We determine the nonemptiness, irreducibility and dimension of the Brill-Noether loci in the moduli spaces of sheaves with $h^0(E)$ in this range. When they are nonempty, these Brill-Noether loci are irreducible though almost always of larger than the expected dimension. - [130] arXiv:2409.18012 [pdf, html, other]
-
Title: Number of Eulerian orientations for Benjamini--Schramm convergent graph sequencesComments: 15 pages, 3 figuresSubjects: Combinatorics (math.CO)
For a graph $G$ let $\varepsilon(G)$ denote the number of Eulerian orientations, and $v(G)$ denote the number of vertices of $G$. We show that if $(G_n)_n$ is a sequence of Eulerian graphs that are convergent in Benjamini--Schramm sense, then $\lim\limits_{n\to \infty}\frac{1}{v(G_n)}\ln \varepsilon(G_n)$ is convergent.
- [131] arXiv:2409.18015 [pdf, html, other]
-
Title: Conformally invariant boundary arcs in double dimersComments: 44 pages, 15 figuresSubjects: Probability (math.PR)
We consider two different versions of the double dimer model on a planar domain, where we either fold a single dimer cover on a symmetric domain onto itself across the line of symmetry, or we superimpose two independent dimer covers on two, almost identical, domains that differ only on a certain portion of the boundary. This results in a collection of loops and doubled edges that, unlike in the classical double dimer case of Kenyon, are accompanied by arcs emanating from the line of symmetry or the chosen portion of the boundary. We argue that these arcs together with the associated height function satisfy a discrete version of the coupling of Qian and Werner between the Arc loop ensemble (ALE) and two different variants of the Gaussian free field (with Dirichlet and Neumann boundary conditions). We also show that certain statistics of the arcs (when the loops are disregarded from the picture) converge to conformally invariant quantities in the small-mesh scaling limit, and moreover the limits are the same for the two versions of the model, and equal to the corresponding statistics of the arc loop ensemble (ALE). This gives evidence to the conjecture of [7] (that concerns one of these models).
- [132] arXiv:2409.18019 [pdf, html, other]
-
Title: Injectivity and Vanishing for the Du Bois Complexes of Isolated SingularitiesComments: 25 pages; comments welcomeSubjects: Algebraic Geometry (math.AG)
We prove an injectivity theorem for the cohomology of the Du Bois complexes of varieties with isolated singularities. We use this to deduce vanishing statements for the cohomologies of higher Du Bois complexes of such varieties. Besides some extensions and conjectures in the non-isolated case, we also provide analogues for intersection complexes.
- [133] arXiv:2409.18021 [pdf, html, other]
-
Title: A bound on the $\mu$-invariants of supersingular elliptic curvesComments: 7 pagesSubjects: Number Theory (math.NT)
Let $E/\mathbb{Q}$ be an elliptic curve and let $p$ be a prime of good supersingular reduction. Attached to $E$ are pairs of Iwasawa invariants $\mu_p^\pm$ and $\lambda_p^\pm$ which encode arithmetic properties of $E$ along the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. A well-known conjecture of B. Perrin-Riou and R. Pollack asserts that $\mu_p^\pm=0$. We provide support for this conjecture by proving that for all but finitely many primes, if $\lambda_p^\pm =0$ then $\mu_p^\pm$ is at most 1 or 2, and if $\lambda_p^\pm =1$ then $\mu_p^\pm$ is at most 3 or $p+1+\lceil \frac{p}{\log p}\rceil$, depending on sign. As a corollary, we show that if $E$ has rank 0 then $\mu_p^-\leq 1$ and $\mu_p^+\leq 2$ hold on density 1 set of good supersingular primes.
- [134] arXiv:2409.18022 [pdf, html, other]
-
Title: On the nonconnectedness of moduli spaces of arrangements, II: construction of nonarithmetic pairsComments: 10 pagesSubjects: Algebraic Geometry (math.AG)
Constructing lattice isomorphic line arrangements that are not lattice isotopic is a complex yet fundamental task. In this paper, we focus on such pairs but which are not Galois conjugated, referred to as nonarithmetic pairs. Splitting polygons have been introduced by the author to facilitate the construction of lattice isomorphic arrangements that are not lattice isotopic. Exploiting this structure, we develop two algorithms which produce nonarithmetic pairs: the first generates pairs over a number field, while the second yields pairs over the rationals. Moreover, explicit applications of these algorithms are presented, including one complex, one real, and one rational nonarithmetic pair.
- [135] arXiv:2409.18041 [pdf, html, other]
-
Title: Existence results for singular p-biharmonic problem with Hardy potential and critical Hardy-Sobolev exponentComments: 19 pagesSubjects: Analysis of PDEs (math.AP)
In this article, we consider the singular $p-$biharmonic problem involving Hardy potential and citical Hardy-Sobolev exponent. We study the existence of ground state solutions and least energy sign-changing solutions of the following problem \begin{equation*} \Delta_{p}^{2} u -\lambda_{1} \frac{|u|^{p-2}u}{|x|^{2p}}= \frac{|u|^{p_{*}(\alpha)-2}}{|x|^{\alpha}}u+\lambda_{2}\Big(|x|^{-\beta}*|u|^{q}\Big)|u|^{q-2}u \quad\mbox{ in }\R^{N}, \end{equation*} where $p>2$, $2<q< p_{*}(\alpha)$, $\lambda_{1}>0$, $\lambda_{2} \in \R$, $\alpha, \beta \in (0,N)$, $p_{*}(\alpha)=\frac{p(N-\alpha)}{N-2p}$ and $N\geq 5$. Firstly, we study existence of ground state solutions by using the minimization method on the associated Nehari manifold. Then, we investigate the least energy sign-changing solutions by considering the Nehari nodal set.
- [136] arXiv:2409.18045 [pdf, html, other]
-
Title: Necessary and sufficient conditions for universality limitsComments: 78 pagesSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph); Complex Variables (math.CV); Spectral Theory (math.SP)
We derive necessary and sufficient conditions for universality limits for orthogonal polynomials on the real line and related systems. One of our results is that the Christoffel-Darboux kernel has sine kernel asymptotics at a point $\xi$, with regularly varying scaling, if and only if the orthogonality measure (spectral measure) has a unique tangent measure at $\xi$ and that tangent measure is the Lebesgue measure. This includes all prior results with absolutely continuous or singular measures.
Our work is not limited to bulk universality; we show that the Christoffel-Darboux kernel has a regularly varying scaling limit with a nontrivial limit kernel if and only if the orthogonality measure has a unique tangent measure at $\xi$ and that tangent measure is not a point mass. The possible limit kernels correspond to homogeneous de Branges spaces; in particular, this equivalence completely characterizes several prominent universality classes such as hard edge universality, Fisher-Hartwig singularities, and jump discontinuities in the weights.
The main part of the proof is the derivation of a new homeomorphism. In order to directly apply to the Christoffel-Darboux kernel, this homeomorphism is between measures and chains of de Branges spaces, not between Weyl functions and Hamiltonians. In order to handle limits with power law weights, this homeomorphism goes beyond the more common setting of Poisson-finite measures, and allows arbitrary power bounded measures. - [137] arXiv:2409.18054 [pdf, html, other]
-
Title: Quantization of the universal centralizer and central D-modulesSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
The group scheme of universal centralizers of a complex reductive group G has a quantization called the spherical nil-DAHA. The category of modules over this ring is equivalent, as a symmetric monoidal category, to the category of bi-Whittaker D-modules on G. We construct a braided monoidal equivalence, called the Knop-Ngô functor, of this category with a full monoidal subcategory of the abelian category of Ad(G)-equivariant D-modules, establishing a D-module abelian counterpart of an equivalence established by Bezrukavnikov and Deshpande, in a different way.
As an application of our methods, we prove conjectures of Ben-Zvi and Gunningham by relating this equivalence to parabolic induction and prove a conjecture of Braverman and Kazhdan in the D-module setting. - [138] arXiv:2409.18056 [pdf, html, other]
-
Title: Hopf formulae for homology of skew bracesComments: 16 pagesSubjects: Quantum Algebra (math.QA); Category Theory (math.CT); Rings and Algebras (math.RA)
The variety of skew braces contains several interesting subcategories as subvarieties, as for instance the varieties of radical rings, of groups and of abelian groups. In this article the methods of non-abelian homological algebra are applied to establish some new Hopf formulae for homology of skew braces, where the coefficient functors are the reflectors from the variety of skew braces to each of the three above-mentioned subvarieties. The corresponding central extensions of skew braces are characterized in purely algebraic terms, leading to some new results, such as an explicit Stallings-Stammbach exact sequence associated with any exact sequence of skew braces, and a new result concerning central series.
- [139] arXiv:2409.18059 [pdf, other]
-
Title: Gradient estimates for parabolic nonlinear nonlocal equationsComments: 76 pagesSubjects: Analysis of PDEs (math.AP)
The primary objective of this work is to establish pointwise gradient estimates for solutions to a class of parabolic nonlinear nonlocal measure data problems, expressed in terms of caloric Riesz potentials of the data. As a consequence of our pointwise estimates, we obtain that the first-order regularity properties of solutions to such general parabolic nonlinear nonlocal equations, both in terms of size and oscillations of the spatial gradient, closely resemble the ones of the fractional heat equation even at highly refined scales. Along the way, we show that solutions to homogeneous parabolic nonlinear nonlocal equations have Hölder continuous spatial gradients under optimal assumptions on the nonlocal tails.
- [140] arXiv:2409.18068 [pdf, html, other]
-
Title: On the existence of degenerate solutions of the two-dimensional $H$-systemComments: 10 pagesSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We consider entire solutions $\omega\in\dot H^1(\mathbb R^2;\mathbb R^3)$ of the $H$-system $\Delta\omega=2\omega_x\wedge\omega_y,$ which we refer to as bubbles. Surprisingly, and contrary to conjectures raised in the literature, we find that bubbles with degree at least three can be degenerate: the linearized $H$-system around a bubble can admit solutions that are not tangent to the smooth family of bubbles. We then give a complete algebraic characterization of degenerate bubbles.
- [141] arXiv:2409.18069 [pdf, html, other]
-
Title: Graded contractions on the orthogonal Lie algebras of dimensions 7 and 8Comments: 21 pagesSubjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph)
Graded contractions of certain non-toral $\mathbb{Z}_2^3$-gradings on the simple Lie algebras $\mathfrak{so}(7,\mathbb C)$ and $\f{so}(8,\mathbb C)$ are classified up to two notions of equivalence. In particular, there arise two large families of Lie algebras (the majority of which are solvable) of dimensions 21 and 28. This is achieved as a significant generalization of the classification of related graded contractions on $\mathfrak g_2$, the derivation algebra of the octonion algebra. Many of the results can be further extended to any \emph{good} $\mathbb Z_2^3$-grading on an arbitrary Lie algebra.
- [142] arXiv:2409.18074 [pdf, other]
-
Title: On the number of quadratic polynomials with a given portraitComments: Comments welcomeSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
Let $F$ be a number field. Given a quadratic polynomial $f_c(z) = z^2 + c \in F[z]$, we can construct a directed graph $Preper(f_c, F)$ (also called a portrait), whose vertices are $F$-rational preperiodic points for $f_c$, with an edge $\alpha \to \beta$ if and only if $f_c(\alpha) = \beta$. Poonen and Faber classified the portraits that occur for infinitely many $c$'s.
Given a portrait $P$, we prove an asymptotic formula for counting the number of $c \in F$'s by height, such that $Preper(f_c, F) \cong P$. We also prove an asymptotic formula for the analogous counting problem, where $Preper(f_c, K) \cong P$ for some quadratic extension $K/F$. These results are conditioned on Morton-Silverman conjecture. - [143] arXiv:2409.18076 [pdf, html, other]
-
Title: On the existence and properties of solutions of the generalized Jang equation with respect to asymptotically anti-de Sitter initial dataComments: 43 pagesSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP)
We provide a rigorous analysis of the generalized Jang equation in the asymptotically anti-de Sitter setting modelled on constant time slices of anti-de Sitter spacetimes in dimensions $3\leq n \leq 7$ for a very general class of asymptotics. Potential applications to spacetime positive mass theorems for asymptotically anti-de Sitter initial data sets are discussed.
- [144] arXiv:2409.18079 [pdf, html, other]
-
Title: Orbital normal forms for a class of three-dimensional systems with an application to Hopf-zero bifurcation analysis of Fitzhugh-Nagumo systemComments: 21 pagesSubjects: Dynamical Systems (math.DS)
We consider a class of three-dimensional systems having an equilibrium point at the origin, whose principal part is of the form (-Dy h(x, y), Dx h(x,y), f(x,y))^T . This principal part, which has zero divergence and does not depend on the third variable z, is the coupling of a planar Hamiltonian vector field Xh(x,y)=(-Dy h(x, y), Dx h(x,y))^T with a one-dimensional system. We analyze the quasi-homogeneous orbital normal forms for this kind of systems, by introducing a new splitting for quasi-homogeneous three-dimensional vector fields. The obtained results are applied to the nondegenerate Hopf-zero singularity that falls into this kind of systems. Beyond the Hopf-zero normal form, a parametric normal form is obtained, and the analytic expressions for the normal form coefficients are provided. Finally, the results are applied to a case of the three-dimensional Fitzhugh-Nagumo system.
- [145] arXiv:2409.18080 [pdf, html, other]
-
Title: Norm bounds for non-uniquely decomposable elements in real quadratic fieldsComments: 19 pages, comments are welcome!Subjects: Number Theory (math.NT)
In this paper, we prove an upper bound for the norm of a totally positive integer $\alpha$ in a real quadratic field $K$ such that $\alpha$ can be represented as a sum of indecomposables in at most $m$ ways. We also completely characterize the $\alpha$'s which can be expressed in exactly $2$ ways. Subsequently, we apply this result to determine the elements with $6$ partitions.
- [146] arXiv:2409.18085 [pdf, html, other]
-
Title: Explicit Local Time-Stepping for the Inhomogeneous Wave Equation with Optimal ConvergenceSubjects: Numerical Analysis (math.NA)
Adaptivity and local mesh refinement are crucial for the efficient numerical simulation of wave phenomena in complex geometry. Local mesh refinement, however, can impose a tiny time-step across the entire computational domain when using explicit time integration. By taking smaller time-steps yet only inside locally refined regions, local time-stepping methods overcome the stringent CFL stability restriction imposed on the global time-step by a small fraction of the elements without sacrificing explicitness. In [21], a leapfrog based local time-stepping method was proposed for the inhomogeneous wave equation, which applies standard leapfrog time-marching with a smaller time-step inside the refined region. Here, to remove potential instability at certain time-steps, a stabilized version is proposed which leads to optimal L2-error estimates under a CFL condition independent of the coarse-to-fine mesh ratio. Moreover, a weighted transition is introduced to restore optimal H1-convergence when the source is nonzero across the coarse-to-fine mesh interface. Numerical experiments corroborate the theoretical error estimates and illustrate the usefulness of these improvements.
- [147] arXiv:2409.18087 [pdf, html, other]
-
Title: One and two sample Dvoretzky-Kiefer-Wolfowitz-Massart type inequalities for differing underlying distributionsComments: 6 pages, 1 figureSubjects: Statistics Theory (math.ST)
Kolmogorov-Smirnov (KS) tests rely on the convergence to zero of the KS-distance $d(F_n,G)$ in the one sample case, and of $d(F_n,G_m)$ in the two sample case. In each case the assumption (the null hypothesis) is that $F=G$, and so $d(F,G)=0$. In this paper we extend the Dvoretzky-Kiefer-Wolfowitz-Massart inequality to also apply to cases where $F \neq G$, i.e. when it is possible that $d(F,G) > 0$.
- [148] arXiv:2409.18088 [pdf, html, other]
-
Title: Interval edge-colorings of Cartesian products of graphs IIComments: 23 pages, 6 fidures. arXiv admin note: text overlap with arXiv:2303.11466 by other authorsSubjects: Combinatorics (math.CO)
An \emph{interval $t$-coloring} of a graph $G$ is a proper edge-coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecutive colors. A graph $G$ is called \emph{interval colorable} if it has an interval $t$-coloring for some positive integer $t$. Let $\mathfrak{N}$ be the set of all interval colorable graphs. For a graph $G\in \mathfrak{N}$, we denote by $w(G)$ and $W(G)$ the minimum and maximum number of colors in an interval coloring of a graph $G$, respectively. In this paper we present some new sharp bounds on $W(G\square H)$ for graphs $G$ and $H$ satisfying various conditions. In particular, we show that if $G,H\in \mathfrak{N}$ and $H$ is an $r$-regular graph, then $W(G\square H)\geq W(G)+W(H)+r$. We also derive a new upper bound on $W(G)$ for interval colorable connected graphs with additional distance conditions. Based on these bounds, we improve known lower and upper bounds on $W(C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}})$ for $k$-dimensional tori $C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}}$ and on $W(K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}})$ for Hamming graphs $K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}}$, and these new bounds coincide with each other for hypercubes. Finally, we give several results on interval colorings of Fibonacci cubes $\Gamma_{n}$.
- [149] arXiv:2409.18089 [pdf, html, other]
-
Title: Some contributions to sheaf model theorySubjects: Logic (math.LO)
This paper makes contributions to "pure" sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist. We then give a careful treatment of the interpretation of terms and formulae. This allows us to prove various preservation results, including strengthenings of the results of Brunner and Miraglia. We give refinements of Miraglia's work on directed colimits and an analogue of Tarski's theorem on the preservation of $\forall_2$-sentences under unions of chains. We next show various categories whose objects are (pairs of) presheaves and sheaves with various notions of morphism are accessible in the category theoretic sense. Together these ingredients allow us ultimately to prove that these categories are encompassed in the AECats framework for independence relations developed by Kamsma.
- [150] arXiv:2409.18094 [pdf, html, other]
-
Title: Mobility in Age-Based Gossip NetworksSubjects: Information Theory (cs.IT); Social and Information Networks (cs.SI); Signal Processing (eess.SP)
We consider a gossiping network where a source forwards updates to a set of $n$ gossiping nodes that are placed in an arbitrary graph structure and gossip with their neighbors. In this paper, we analyze how mobility of nodes affects the freshness of nodes in the gossiping network. To model mobility, we let nodes randomly exchange positions with other nodes in the network. The position of the node determines how the node interacts with the rest of the network. In order to quantify information freshness, we use the version age of information metric. We use the stochastic hybrid system (SHS) framework to derive recursive equations to find the version age for a set of positions in the network in terms of the version ages of sets of positions that are one larger or of the same size. We use these recursive equations to find an upper bound for the average version age of a node in two example networks. We show that mobility can decrease the version age of nodes in a disconnected network from linear scaling in $n$ to at most square root scaling and even to constant scaling in some cases. We perform numerical simulations to analyze how mobility affects the version age of different positions in the network and also show that the upper bounds obtained for the example networks are tight.
- [151] arXiv:2409.18106 [pdf, html, other]
-
Title: General solidity phenomena and anticoarse spaces for type $\mathrm{III}_1$ factorsComments: 33 pages. No figures. Comments welcome!Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
By developing a theory of anticoarse spaces in the purely infinite setting and using 1-bounded entropy techniques along with recent strong convergence results in random matrix theory, we show that free Araki--Woods factors offer the first examples of type $\mathrm{III}$ factors satisfying vastly general degrees of indecomposability phenomena. Notably this includes strong solidity with respect to any weakening of the normalizer currently in the literature and the Peterson--Thom property.
- [152] arXiv:2409.18112 [pdf, html, other]
-
Title: Nonnegative cross-curvature in infinite dimensions: synthetic definition and spaces of measuresSubjects: Metric Geometry (math.MG); Analysis of PDEs (math.AP); Differential Geometry (math.DG)
Nonnegative cross-curvature (NNCC) is a geometric property of a cost function defined on a product space that originates in optimal transportation and the Ma-Trudinger-Wang theory. Motivated by applications in optimization, gradient flows and mechanism design, we propose a variational formulation of nonnegative cross-curvature on c-convex domains applicable to infinite dimensions and nonsmooth settings. The resulting class of NNCC spaces is closed under Gromov-Hausdorff convergence and for this class, we extend many properties of classical nonnegative cross-curvature: stability under generalized Riemannian submersions, characterization in terms of the convexity of certain sets of c-concave functions, and in the metric case, it is a subclass of positively curved spaces in the sense of Alexandrov. One of our main results is that Wasserstein spaces of probability measures inherit the NNCC property from their base space. Additional examples of NNCC costs include the Bures-Wasserstein and Fisher-Rao squared distances, the Hellinger-Kantorovich squared distance (in some cases), the relative entropy on probability measures, and the 2-Gromov-Wasserstein squared distance on metric measure spaces.
- [153] arXiv:2409.18116 [pdf, html, other]
-
Title: Averages of arithmetic functions over polynomials in many variablesSubjects: Number Theory (math.NT)
We estimate the average of any arithmetic function $k$ over the values of any smooth polynomial in many variables provided only that $k$ has a distribution in arithmetic progressions of fixed modulus.
We give several applications of this result including the analytic Hasse principle for an intersection of two cubics in 21 variables and asymptotics for the number of integer solutions of a non-algebraic variety. - [154] arXiv:2409.18123 [pdf, html, other]
-
Title: Property $R_\infty$ for new classes of Artin groupsComments: 18 pages, 4 figuresSubjects: Group Theory (math.GR)
We establish property $R_\infty$ for Artin groups of spherical type $D_n$, $n\ge6$, their central quotients, and also for large hyperbolic-type free-of-infinity Artin groups and some other classes of large-type Artin groups. The key ingredients are recent descriptions of the automorphism groups for these Artin groups and their action on suitable Gromov-hyperbolic spaces.
New submissions (showing 154 of 154 entries)
- [155] arXiv:2409.17163 (cross-list from cs.RO) [pdf, other]
-
Title: Towards Using Active Learning Methods for Human-Seat Interactions To Generate Realistic Occupant MotionComments: Submitted for publication in the Proceedings in Applied Mathematics and MechanicsSubjects: Robotics (cs.RO); Dynamical Systems (math.DS)
In the context of developing new vehicle concepts, especially autonomous vehicles with novel seating arrangements and occupant activities, predicting occupant motion can be a tool for ensuring safety and comfort. In this study, a data-driven surrogate contact model integrated into an optimal control framework to predict human occupant behavior during driving maneuvers is presented. High-fidelity finite element simulations are utilized to generate a dataset of interaction forces and moments for various human body configurations and velocities. To automate the generation of training data, an active learning approach is introduced, which iteratively queries the high-fidelity finite element simulation for an additional dataset. The feasibility and effectiveness of the proposed method are demonstrated through a case study of a head interaction with an automotive headrest, showing promising results in accurately replicating contact forces and moments while reducing manual effort.
- [156] arXiv:2409.17187 (cross-list from physics.flu-dyn) [pdf, other]
-
Title: Applications and Novel Regularization of the Thin-Film EquationComments: 157 pagesSubjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)
The classical no-slip boundary condition of the Navier-Stokes equations fails to describe the spreading motion of a droplet on a substrate due to the missing small-scale physics near the contact line. In this thesis, we introduce a novel regularization of the thin-film equation to model droplet spreading. The solution of the regularized thin-film equation -- the Geometric Thin-Film Equation is studied and characterized. Two robust numerical solvers are discussed, notably, a fast and mesh-free numerical scheme for simulating thin-film flows in two and three spatial dimensions. Moreover, we prove the regularity and convergence of the numerical solutions. The existence and uniqueness of the solution of the Geometric Thin-Film Equation with respect to a wide range of measure-valued initial conditions are also discussed.
- [157] arXiv:2409.17200 (cross-list from cs.LG) [pdf, other]
-
Title: A random measure approach to reinforcement learning in continuous timeComments: 33 pagesSubjects: Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
We present a random measure approach for modeling exploration, i.e., the execution of measure-valued controls, in continuous-time reinforcement learning (RL) with controlled diffusion and jumps. First, we consider the case when sampling the randomized control in continuous time takes place on a discrete-time grid and reformulate the resulting stochastic differential equation (SDE) as an equation driven by suitable random measures. The construction of these random measures makes use of the Brownian motion and the Poisson random measure (which are the sources of noise in the original model dynamics) as well as the additional random variables, which are sampled on the grid for the control execution. Then, we prove a limit theorem for these random measures as the mesh-size of the sampling grid goes to zero, which leads to the grid-sampling limit SDE that is jointly driven by white noise random measures and a Poisson random measure. We also argue that the grid-sampling limit SDE can substitute the exploratory SDE and the sample SDE of the recent continuous-time RL literature, i.e., it can be applied for the theoretical analysis of exploratory control problems and for the derivation of learning algorithms.
- [158] arXiv:2409.17206 (cross-list from quant-ph) [pdf, html, other]
-
Title: Measurable No-signalling CorrelationsSubjects: Quantum Physics (quant-ph); Operator Algebras (math.OA)
We study no-signalling correlations, defined over a quadruple of second countable compact Hausdorff spaces. Using operator-valued information channels over abstract alphabets, we define the subclasses of local, quantum spatial and quantum commuting measurable no-signalling correlations. En route, we establish measurable versions of the Stinespring's Dilation Theorem. We define values of measurable non-local games of local, quantum spatial and quantum commuting type, as well as inner versions thereof, and show how the asymptotic values of a finite non-local game can be viewed as special cases of the corresponding inner values of a measurable game, canonically associated with the given finite game.
- [159] arXiv:2409.17211 (cross-list from q-bio.BM) [pdf, html, other]
-
Title: X-ray multiple-beam (n-baem) dynamical diffraction theories, numerical methods to solve them and experimental verification by using the synchrotron X-raysComments: 35 pages, 20 figures. The present manuscript has been translated by the author for submission to arXiv from a review article published in Journal of the Japanese Society for Synchrotron Radiation Research (2020) 33 61-80 [in Japanese]Subjects: Biomolecules (q-bio.BM); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph); Medical Physics (physics.med-ph)
Behavior of X-rays diffracted in a perfect or quasi-perfect crystal can be described by the dynamical theory of X-ray diffraction. Study on the two-beam cases in which only transmitted and one reflected X-ray beams are strong has a history of one hundred years. However, the population of researchers who study on the multiple-beam cases (n-beam cases) in which more than two beams are simultaneously strong is small. The present author has derived the Takagi-Taupin (T-T) dynamical theory that can be applied to the n-beam cases, coded the computer programs to solve it and experimentally verified them by using the synchrotron X-rays. The equivalence between the Ewald-Laue (E-L) and the T-T dynamical theories described by the Fourier transform also for the n-beam cases is explicitly verified in the present paper. Further, the methods of the computer simulations and the experiments are also described.
Furthermore, a hypothesis concerning the too large values of R-factor in protein crystallography is also described. This might be extremely important in protein crystallography in the future. - [160] arXiv:2409.17215 (cross-list from quant-ph) [pdf, other]
-
Title: Hopf algebras and solvable unitary circuitsComments: 33 pages, 6 figuresSubjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
Exactly solvable models in quantum many body dynamics provide valuable insights into many interesting physical phenomena, and serve as platforms to rigorously investigate fundamental theoretical questions. Nevertheless, they are extremely rare and existing solvable models and solution techniques have serious limitations. In this paper we introduce a new family of exactly solvable unitary circuits which model quantum many body dynamics in discrete space and time. Unlike many previous solvable models, one can exactly compute the full quantum dynamics initialized from any matrix product state in this new family of models. The time evolution of local observables and correlations, the linear growth of Renyi entanglement entropy, spatiotemporal correlations, and outof-time-order correlations are all exactly computable. A key property of these models enabling the exact solution is that any time evolved local operator is an exact matrix product operator with finite bond dimension, even at arbitrarily long time, which we prove using the underlying (weak) Hopf algebra structure along with tensor network techniques. We lay down the general framework for the construction and solution of this family of models, and give several explicit examples. In particular, we study in detail a model constructed out of a weak Hopf algebra that is very close to a floquet version of the PXP model, and the exact results we obtain may shed light on the phenomenon of quantum many body scars, and more generally, floquet quantum dynamics in constrained systems.
- [161] arXiv:2409.17218 (cross-list from hep-th) [pdf, html, other]
-
Title: Reflected entropy in random tensor networks III: triway cutsComments: 48 Pages + Appendices, many figuresSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Probability (math.PR); Quantum Physics (quant-ph)
For general random tensor network states at large bond dimension, we prove that the integer Rényi reflected entropies (away from phase transitions) are determined by minimal triway cuts through the network. This generalizes the minimal cut description of bipartite entanglement for these states. A natural extrapolation away from integer Rényi parameters, suggested by the triway cut problem, implies the holographic conjecture $S_R=2EW$, where $S_R$ is the reflected entropy and $EW$ is the entanglement wedge cross-section. Minimal triway cuts can be formulated as integer programs which cannot be relaxed to find a dual maximal flow/bit-thread description. This sheds light on the gap between the existence of tripartite entanglement in holographic states and the bipartite entanglement structure motivated by bit-threads. In particular, we prove that the Markov gap that measures tripartite entanglement is lower bounded by the integrality gap of the integer program that computes the triway cut.
- [162] arXiv:2409.17226 (cross-list from cond-mat.stat-mech) [pdf, other]
-
Title: Free Independence and the Noncrossing Partition Lattice in Dual-Unitary Quantum CircuitsComments: 33 pagesSubjects: Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We investigate details of the chaotic dynamics of dual-unitary quantum circuits by evaluating all $2k$-point out-of-time-ordered correlators. For the generic class of circuits, by writing the correlators as contractions of a class of quantum channels, we prove their exponential decay. This implies that local operators separated in time approach free independence. Along the way, we develop a replica trick for dual-unitary circuits, which may be useful and of interest in its own right. We classify the relevant eigenstates of the replica transfer matrix by paths in the lattice of noncrossing partitions, combinatorial objects central to free probability theory. Interestingly, the noncrossing lattice emerges even for systems without randomness and with small onsite Hilbert space dimension.
- [163] arXiv:2409.17227 (cross-list from hep-th) [pdf, html, other]
-
Title: Solving four-dimensional superconformal Yang-Mills theories with Tracy-Widom distributionComments: 39 pages, 3 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Functional Analysis (math.FA)
We study a special class of observables in $\mathcal N=2$ and $\mathcal N=4$ superconformal Yang-Mills theories which, for an arbitrary 't Hooft coupling constant $\lambda$, admit representation as determinants of certain semi-infinite matrices. Similar determinants have previously appeared in the study of level-spacing distributions in random matrices and are closely related to the celebrated Tracy-Widom distribution. We exploit this relationship to develop an efficient method for computing the observables in superconformal Yang-Mills theories at both weak and strong coupling. The weak coupling expansion has a finite radius of convergence. The strong coupling expansion involves the sum of the `perturbative' part, given by series in $1/\sqrt\lambda$, and the `non-perturbative' part, given by an infinite sum of exponentially small terms, each accompanied by a series in $1/\sqrt\lambda$ with factorially growing coefficients. We explicitly compute the expansion coefficients of these series and show that they are uniquely determined by the large order behavior of the expansion coefficients of the perturbative part via resurgence relations.
- [164] arXiv:2409.17236 (cross-list from quant-ph) [pdf, html, other]
-
Title: Measuring Entanglement by Exploiting its Anti-symmetric NatureSubjects: Quantum Physics (quant-ph); Soft Condensed Matter (cond-mat.soft); Mathematical Physics (math-ph)
Despite significant progress in experimental quantum sciences, measuring entanglement entropy remains challenging. Through a geometric perspective, we reveal the intrinsic anti-symmetric nature of entanglement. We prove that most entanglement measures, such as von Neumann and Renyi entropies, can be expressed in terms of exterior products, which are fundamentally anti-symmetric. Leveraging this, we propose utilizing the anti-symmetric nature of fermions to measure entanglement entropy efficiently, offering a resource-efficient approach to probing bipartite entanglement.
- [165] arXiv:2409.17242 (cross-list from cond-mat.dis-nn) [pdf, html, other]
-
Title: Sub-ballistic operator growth in spin chains with heavy-tailed random fieldsComments: Comments welcome!Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We rigorously prove that in nearly arbitrary quantum spin chains with power-law-distributed random fields, namely such that the probability of a field exceeding $h$ scales as $h^{-\alpha}$, it is impossible for any operator evolving in the Heisenberg picture to spread with dynamical exponent less than $1/\alpha$. In particular, ballistic growth is impossible for $\alpha < 1$, diffusive growth is impossible for $\alpha < 1/2$, and any finite dynamical exponent becomes impossible for sufficiently small $\alpha$. This result thus establishes a wide family of models in which the disorder provably prevents conventional transport. We express the result as a tightening of Lieb-Robinson bounds due to random fields -- the proof modifies the standard derivation such that strong fields appear as effective weak interactions, and then makes use of analogous recent results for random-bond spin chains.
- [166] arXiv:2409.17250 (cross-list from cs.DS) [pdf, other]
-
Title: Kernelization Complexity of Solution Discovery ProblemsMario Grobler, Stephanie Maaz, Amer E. Mouawad, Naomi Nishimura, Vijayaragunathan Ramamoorthi, Sebastian SiebertzSubjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Combinatorics (math.CO)
In the solution discovery variant of a vertex (edge) subset problem $\Pi$ on graphs, we are given an initial configuration of tokens on the vertices (edges) of an input graph $G$ together with a budget $b$. The question is whether we can transform this configuration into a feasible solution of $\Pi$ on $G$ with at most $b$ modification steps. We consider the token sliding variant of the solution discovery framework, where each modification step consists of sliding a token to an adjacent vertex (edge). The framework of solution discovery was recently introduced by Fellows et al. [Fellows et al., ECAI 2023] and for many solution discovery problems the classical as well as the parameterized complexity has been established. In this work, we study the kernelization complexity of the solution discovery variants of Vertex Cover, Independent Set, Dominating Set, Shortest Path, Matching, and Vertex Cut with respect to the parameters number of tokens $k$, discovery budget $b$, as well as structural parameters such as pathwidth.
- [167] arXiv:2409.17267 (cross-list from cs.LG) [pdf, html, other]
-
Title: Model aggregation: minimizing empirical variance outperforms minimizing empirical errorComments: The code in this paper is available for download at this https URLSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA); Machine Learning (stat.ML)
Whether deterministic or stochastic, models can be viewed as functions designed to approximate a specific quantity of interest. We propose a data-driven framework that aggregates predictions from diverse models into a single, more accurate output. This aggregation approach exploits each model's strengths to enhance overall accuracy. It is non-intrusive - treating models as black-box functions - model-agnostic, requires minimal assumptions, and can combine outputs from a wide range of models, including those from machine learning and numerical solvers. We argue that the aggregation process should be point-wise linear and propose two methods to find an optimal aggregate: Minimal Error Aggregation (MEA), which minimizes the aggregate's prediction error, and Minimal Variance Aggregation (MVA), which minimizes its variance. While MEA is inherently more accurate when correlations between models and the target quantity are perfectly known, Minimal Empirical Variance Aggregation (MEVA), an empirical version of MVA - consistently outperforms Minimal Empirical Error Aggregation (MEEA), the empirical counterpart of MEA, when these correlations must be estimated from data. The key difference is that MEVA constructs an aggregate by estimating model errors, while MEEA treats the models as features for direct interpolation of the quantity of interest. This makes MEEA more susceptible to overfitting and poor generalization, where the aggregate may underperform individual models during testing. We demonstrate the versatility and effectiveness of our framework in various applications, such as data science and partial differential equations, showing how it successfully integrates traditional solvers with machine learning models to improve both robustness and accuracy.
- [168] arXiv:2409.17278 (cross-list from q-bio.PE) [pdf, html, other]
-
Title: A Kermack--McKendrick type epidemic model with double threshold phenomenon (and a possible application to Covid-19)Subjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)
The suggestion by K.L. Cooke (1967) that infected individuals become infective if they are exposed often enough for a natural disease resistance to be overcome is built into a Kermack-McKendrick type epidemic model with infectivity age. Both the case that the resistance may be the same for all hosts and the case that it is distributed among the host population are considered. In addition to the familiar threshold behavior of the final size of the epidemic with respect to a basic reproductive number, an Allee effect is generated with respect to the final cumulative force of infection exerted by the initial infectives. This offers a deterministic explanation of why geographic areas that appear to be epidemiologically similar have epidemic outbreaks of quite different severity.
- [169] arXiv:2409.17308 (cross-list from cs.LG) [pdf, html, other]
-
Title: Consistent estimation of generative model representations in the data kernel perspective spaceSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
Generative models, such as large language models and text-to-image diffusion models, produce relevant information when presented a query. Different models may produce different information when presented the same query. As the landscape of generative models evolves, it is important to develop techniques to study and analyze differences in model behaviour. In this paper we present novel theoretical results for embedding-based representations of generative models in the context of a set of queries. We establish sufficient conditions for the consistent estimation of the model embeddings in situations where the query set and the number of models grow.
- [170] arXiv:2409.17340 (cross-list from cs.RO) [pdf, html, other]
-
Title: Koopman-driven grip force prediction through EMG sensingComments: 11 pages, 8 figures, journalSubjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS)
Loss of hand function due to conditions like stroke or multiple sclerosis significantly impacts daily activities. Robotic rehabilitation provides tools to restore hand function, while novel methods based on surface electromyography (sEMG) enable the adaptation of the device's force output according to the user's condition, thereby improving rehabilitation outcomes. This study aims to achieve accurate force estimations during medium wrap grasps using a single sEMG sensor pair, thereby addressing the challenge of escalating sensor requirements for precise predictions. We conducted sEMG measurements on 13 subjects at two forearm positions, validating results with a hand dynamometer. We established flexible signal-processing steps, yielding high peak cross-correlations between the processed sEMG signal (representing meaningful muscle activity) and grip force. Influential parameters were subsequently identified through sensitivity analysis. Leveraging a novel data-driven Koopman operator theory-based approach and problem-specific data lifting techniques, we devised a methodology for the estimation and short-term prediction of grip force from processed sEMG signals. A weighted mean absolute percentage error (wMAPE) of approx. 5.5% was achieved for the estimated grip force, whereas predictions with a 0.5-second prediction horizon resulted in a wMAPE of approx. 17.9%. The methodology proved robust regarding precise electrode positioning, as the effect of sensing position on error metrics was non-significant. The algorithm executes exceptionally fast, processing, estimating, and predicting a 0.5-second sEMG signal batch in just approx. 30 ms, facilitating real-time implementation.
- [171] arXiv:2409.17408 (cross-list from cs.CY) [pdf, other]
-
Title: Sociotechnical Approach to Enterprise Generative Artificial Intelligence (E-GenAI)Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Information Theory (cs.IT)
In this theoretical article, a sociotechnical approach is proposed to characterize. First, the business ecosystem, focusing on the relationships among Providers, Enterprise, and Customers through SCM, ERP, and CRM platforms to align: (1) Business Intelligence (BI), Fuzzy Logic (FL), and TRIZ (Theory of Inventive Problem Solving), through the OID model, and (2) Knowledge Management (KM) and Imperfect Knowledge Management (IKM), through the OIDK model. Second, the article explores the E-GenAI business ecosystem, which integrates GenAI-based platforms for SCM, ERP, and CRM with GenAI-based platforms for BI, FL, TRIZ, KM, and IKM, to align Large Language Models (LLMs) through the E-GenAI (OID) model. Finally, to understand the dynamics of LLMs, we utilize finite automata to model the relationships between Followers and Followees. This facilitates the construction of LLMs that can identify specific characteristics of users on a social media platform.
- [172] arXiv:2409.17446 (cross-list from cs.DC) [pdf, other]
-
Title: Efficient Federated Learning against Heterogeneous and Non-stationary Client UnavailabilityComments: Accepted to NeurIPS 2024Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Optimization and Control (math.OC)
Addressing intermittent client availability is critical for the real-world deployment of federated learning algorithms. Most prior work either overlooks the potential non-stationarity in the dynamics of client unavailability or requires substantial memory/computation overhead. We study federated learning in the presence of heterogeneous and non-stationary client availability, which may occur when the deployment environments are uncertain or the clients are mobile. The impacts of the heterogeneity and non-stationarity in client unavailability can be significant, as we illustrate using FedAvg, the most widely adopted federated learning algorithm. We propose FedAPM, which includes novel algorithmic structures that (i) compensate for missed computations due to unavailability with only $O(1)$ additional memory and computation with respect to standard FedAvg, and (ii) evenly diffuse local updates within the federated learning system through implicit gossiping, despite being agnostic to non-stationary dynamics. We show that FedAPM converges to a stationary point of even non-convex objectives while achieving the desired linear speedup property. We corroborate our analysis with numerical experiments over diversified client unavailability dynamics on real-world data sets.
- [173] arXiv:2409.17488 (cross-list from q-bio.PE) [pdf, html, other]
-
Title: Optimal control of stochastic reaction networks with entropic control cost and emergence of mode-switching strategiesComments: 12 pages, 4 figuresSubjects: Populations and Evolution (q-bio.PE); Systems and Control (eess.SY); Optimization and Control (math.OC); Biological Physics (physics.bio-ph); Molecular Networks (q-bio.MN)
Controlling the stochastic dynamics of biological populations is a challenge that arises across various biological contexts. However, these dynamics are inherently nonlinear and involve a discrete state space, i.e., the number of molecules, cells, or organisms. Additionally, the possibility of extinction has a significant impact on both the dynamics and control strategies, particularly when the population size is small. These factors hamper the direct application of conventional control theories to biological systems. To address these challenges, we formulate the optimal control problem for stochastic population dynamics by utilizing a control cost function based on the Kullback-Leibler divergence. This approach naturally accounts for population-specific factors and simplifies the complex nonlinear Hamilton-Jacobi-Bellman equation into a linear form, facilitating efficient computation of optimal solutions. We demonstrate the effectiveness of our approach by applying it to the control of interacting random walkers, Moran processes, and SIR models, and observe the mode-switching phenomena in the control strategies. Our approach provides new opportunities for applying control theory to a wide range of biological problems.
- [174] arXiv:2409.17499 (cross-list from cs.LG) [pdf, html, other]
-
Title: Does Worst-Performing Agent Lead the Pack? Analyzing Agent Dynamics in Unified Distributed SGDComments: To appear in NeurIPS 2024Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Distributed learning is essential to train machine learning algorithms across heterogeneous agents while maintaining data privacy. We conduct an asymptotic analysis of Unified Distributed SGD (UD-SGD), exploring a variety of communication patterns, including decentralized SGD and local SGD within Federated Learning (FL), as well as the increasing communication interval in the FL setting. In this study, we assess how different sampling strategies, such as i.i.d. sampling, shuffling, and Markovian sampling, affect the convergence speed of UD-SGD by considering the impact of agent dynamics on the limiting covariance matrix as described in the Central Limit Theorem (CLT). Our findings not only support existing theories on linear speedup and asymptotic network independence, but also theoretically and empirically show how efficient sampling strategies employed by individual agents contribute to overall convergence in UD-SGD. Simulations reveal that a few agents using highly efficient sampling can achieve or surpass the performance of the majority employing moderately improved strategies, providing new insights beyond traditional analyses focusing on the worst-performing agent.
- [175] arXiv:2409.17500 (cross-list from cs.AI) [pdf, html, other]
-
Title: GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient DescentSubjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Optimization and Control (math.OC)
Ensuring that the outputs of neural networks satisfy specific constraints is crucial for applying neural networks to real-life decision-making problems. In this paper, we consider making a batch of neural network outputs satisfy bounded and general linear constraints. We first reformulate the neural network output projection problem as an entropy-regularized linear programming problem. We show that such a problem can be equivalently transformed into an unconstrained convex optimization problem with Lipschitz continuous gradient according to the duality theorem. Then, based on an accelerated gradient descent algorithm with numerical performance enhancement, we present our architecture, GLinSAT, to solve the problem. To the best of our knowledge, this is the first general linear satisfiability layer in which all the operations are differentiable and matrix-factorization-free. Despite the fact that we can explicitly perform backpropagation based on automatic differentiation mechanism, we also provide an alternative approach in GLinSAT to calculate the derivatives based on implicit differentiation of the optimality condition. Experimental results on constrained traveling salesman problems, partial graph matching with outliers, predictive portfolio allocation and power system unit commitment demonstrate the advantages of GLinSAT over existing satisfiability layers.
- [176] arXiv:2409.17544 (cross-list from stat.ML) [pdf, html, other]
-
Title: Optimizing the Induced Correlation in Omnibus Joint Graph EmbeddingsComments: 34 pages, 8 figuresSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
Theoretical and empirical evidence suggests that joint graph embedding algorithms induce correlation across the networks in the embedding space. In the Omnibus joint graph embedding framework, previous results explicitly delineated the dual effects of the algorithm-induced and model-inherent correlations on the correlation across the embedded networks. Accounting for and mitigating the algorithm-induced correlation is key to subsequent inference, as sub-optimal Omnibus matrix constructions have been demonstrated to lead to loss in inference fidelity. This work presents the first efforts to automate the Omnibus construction in order to address two key questions in this joint embedding framework: the correlation-to-OMNI problem and the flat correlation problem. In the flat correlation problem, we seek to understand the minimum algorithm-induced flat correlation (i.e., the same across all graph pairs) produced by a generalized Omnibus embedding. Working in a subspace of the fully general Omnibus matrices, we prove both a lower bound for this flat correlation and that the classical Omnibus construction induces the maximal flat correlation. In the correlation-to-OMNI problem, we present an algorithm -- named corr2Omni -- that, from a given matrix of estimated pairwise graph correlations, estimates the matrix of generalized Omnibus weights that induces optimal correlation in the embedding space. Moreover, in both simulated and real data settings, we demonstrate the increased effectiveness of our corr2Omni algorithm versus the classical Omnibus construction.
- [177] arXiv:2409.17567 (cross-list from cs.LG) [pdf, other]
-
Title: Derandomizing Multi-Distribution LearningSubjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Statistics Theory (math.ST)
Multi-distribution or collaborative learning involves learning a single predictor that works well across multiple data distributions, using samples from each during training. Recent research on multi-distribution learning, focusing on binary loss and finite VC dimension classes, has shown near-optimal sample complexity that is achieved with oracle efficient algorithms. That is, these algorithms are computationally efficient given an efficient ERM for the class. Unlike in classical PAC learning, where the optimal sample complexity is achieved with deterministic predictors, current multi-distribution learning algorithms output randomized predictors. This raises the question: can these algorithms be derandomized to produce a deterministic predictor for multiple distributions? Through a reduction to discrepancy minimization, we show that derandomizing multi-distribution learning is computationally hard, even when ERM is computationally efficient. On the positive side, we identify a structural condition enabling an efficient black-box reduction, converting existing randomized multi-distribution predictors into deterministic ones.
- [178] arXiv:2409.17664 (cross-list from cs.LO) [pdf, html, other]
-
Title: Comodule Representations of Second-Order FunctionalsSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally subsumes classic representations of continuous functionals with well-founded trees. We find other kinds of representations by varying the monad, the comodule, and in some cases the underlying category of containers. Examples include uniformly continuous or finitely supported functionals, functionals querying their arguments precisely once, or at most once, functionals interacting with an ambient environment through computational effects, as well as functionals trivially representing themselves. Many of these rely on our construction of a monad on containers from a monad on shapes and a weak Mendler-style monad algebra on the universe for positions. We show that comodule representability on the category of propositional containers, which have positions valued in a universe of propositions, is closely related to instance reducibility in constructive mathematics, and through it to Weihrauch reducibility in computability theory.
- [179] arXiv:2409.17669 (cross-list from physics.soc-ph) [pdf, html, other]
-
Title: Impact of opinion formation phenomena in epidemic dynamics: kinetic modeling on networksSubjects: Physics and Society (physics.soc-ph); Numerical Analysis (math.NA)
After the recent COVID-19 outbreaks, it became increasingly evident that individuals' thoughts and beliefs can have a strong impact on disease transmission. It becomes therefore important to understand how information and opinions on protective measures evolve during epidemics. To this end, incorporating the impact of social media is essential to take into account the hierarchical structure of these platforms. In this context, we present a novel approach to take into account the interplay between infectious disease dynamics and socially-structured opinion dynamics. Our work extends a conventional compartmental framework including behavioral attitudes in shaping public opinion and promoting the adoption of protective measures under the influence of different degrees of connectivity. The proposed approach is capable to reproduce the emergence of epidemic waves. Specifically, it provides a clear link between the social influence of highly connected individuals and the epidemic dynamics. Through a heterogeneity of numerical tests we show how this comprehensive framework offers a more nuanced understanding of epidemic dynamics in the context of modern information dissemination and social behavior.
- [180] arXiv:2409.17688 (cross-list from cs.DM) [pdf, html, other]
-
Title: HPC acceleration of large (min, +) matrix products to compute domination-type parameters in graphsJournal-ref: Journal of Supercomputing 78, pp. 17826-17843, 2022Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
The computation of the domination-type parameters is a challenging problem in Cartesian product graphs. We present an algorithmic method to compute the $2$-domination number of the Cartesian product of a path with small order and any cycle, involving the $(\min,+)$ matrix product. We establish some theoretical results that provide the algorithms necessary to compute that parameter, and the main challenge to run such algorithms comes from the large size of the matrices used, which makes it necessary to improve the techniques to handle these objects. We analyze the performance of the algorithms on modern multicore CPUs and on GPUs and we show the advantages over the sequential implementation. The use of these platforms allows us to compute the $2$-domination number of cylinders such that their paths have at most $12$ vertices.
- [181] arXiv:2409.17721 (cross-list from physics.flu-dyn) [pdf, html, other]
-
Title: Improving the Vector Basis Neural Network for RANS Equations Using Separate TrainingsComments: 10 pagesSubjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)
We present a new data-driven turbulence model for Reynolds-averaged Navier-Stokes equations called $\nu_t$-Vector Basis Neural Network. This new model, grounded on the already existing Vector Basis Neural Network, predicts separately the turbulent viscosity $\nu_t$ and the contribution of the Reynolds force vector that is not already accounted in $\nu_t$. Numerical experiments on the flow in a Square Duct show the better accuracy of the new model compared to the reference one.
- [182] arXiv:2409.17739 (cross-list from quant-ph) [pdf, html, other]
-
Title: Pure state entanglement and von Neumann algebrasComments: 35+13+5 pages, 1 figureSubjects: Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Operator Algebras (math.OA)
We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras. Our central result is the extension of Nielsen's Theorem to arbitrary factors. As in the matrix algebra case, the LOCC ordering of bipartite pure states is connected to the majorization of their restrictions. Our theorem implies that, in a bipartite system modeled by commuting factors in Haag duality, a) all states have infinite one-shot entanglement if and only if the local factors are not of type I, b) type III factors are characterized by LOCC transitions of arbitrary precision between any two pure states, and c) the latter holds even without classical communication for type III$_{1}$ factors. In the case of semifinite factors, the usual construction of entanglement monotones carries over using majorization theory. In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and $\sigma$-finite measure spaces.
- [183] arXiv:2409.17743 (cross-list from quant-ph) [pdf, html, other]
-
Title: Information transmission under Markovian noiseComments: Preliminary version. Comments are welcomeSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
We consider an open quantum system undergoing Markovian dynamics, the latter being modelled by a discrete-time quantum Markov semigroup $\{\Phi^n\}_{n \in {\mathbb{N}}}$, resulting from the action of sequential uses of a quantum channel $\Phi$, with $n \in {\mathbb{N}}$ being the discrete time parameter. We find upper and lower bounds on the one-shot $\epsilon$-error information transmission capacities of $\Phi^n$ for a finite time $n\in \mathbb{N}$ and $\epsilon \in [0,1)$ in terms of the structure of the peripheral space of the channel $\Phi$. We consider transmission of $(i)$ classical information (both in the unassisted and entanglement-assisted settings); $(ii)$ quantum information and $(iii)$ private classical information.
- [184] arXiv:2409.17831 (cross-list from cs.CC) [pdf, other]
-
Title: Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid IntersectionComments: 14 pagesSubjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
For any $\varepsilon > 0$, we prove that $k$-Dimensional Matching is hard to approximate within a factor of $k/(12 + \varepsilon)$ for large $k$ unless $\textsf{NP} \subseteq \textsf{BPP}$. Listed in Karp's 21 $\textsf{NP}$-complete problems, $k$-Dimensional Matching is a benchmark computational complexity problem which we find as a special case of many constrained optimization problems over independence systems including: $k$-Set Packing, $k$-Matroid Intersection, and Matroid $k$-Parity. For all the aforementioned problems, the best known lower bound was a $\Omega(k /\log(k))$-hardness by Hazan, Safra, and Schwartz. In contrast, state-of-the-art algorithms achieved an approximation of $O(k)$. Our result narrows down this gap to a constant and thus provides a rationale for the observed algorithmic difficulties. The crux of our result hinges on a novel approximation preserving gadget from $R$-degree bounded $k$-CSPs over alphabet size $R$ to $kR$-Dimensional Matching. Along the way, we prove that $R$-degree bounded $k$-CSPs over alphabet size $R$ are hard to approximate within a factor $\Omega_k(R)$ using known randomised sparsification methods for CSPs.
- [185] arXiv:2409.17936 (cross-list from nlin.CD) [pdf, other]
-
Title: Advancing Chaos Theory: A Set-Valued Perspective on Multiple Mappings with Computational Detection AlgorithmsComments: 7 pagSubjects: Chaotic Dynamics (nlin.CD); Functional Analysis (math.FA)
This study redefines the analysis of Devaney chaos in multiple mappings from a set-valued perspective and introduces new conditions to characterize their chaotic behavior. As an innovative advancement, we develop computational algorithms to detect and visualize chaotic features such as transitivity and sensitivity. These algorithms provide tools to explore complex dynamics in higher-dimensional systems, validating theoretical concepts and opening new research avenues in chaos theory.
- [186] arXiv:2409.17953 (cross-list from quant-ph) [pdf, html, other]
-
Title: Optimal trace-distance bounds for free-fermionic states: Testing and improved tomographyComments: 7+42 pages, 2 figuresSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Free-fermionic states, also known as fermionic Gaussian states, represent an important class of quantum states ubiquitous in physics. They are uniquely and efficiently described by their correlation matrix. However, in practical experiments, the correlation matrix can only be estimated with finite accuracy. This raises the question: how does the error in estimating the correlation matrix affect the trace-distance error of the state? We show that if the correlation matrix is known with an error $\varepsilon$, the trace-distance error also scales as $\varepsilon$ (and vice versa). Specifically, we provide distance bounds between (both pure and mixed) free-fermionic states in relation to their correlation matrix distance. Our analysis also extends to cases where one state may not be free-fermionic. Importantly, we leverage our preceding results to derive significant advancements in property testing and tomography of free-fermionic states. Property testing involves determining whether an unknown state is close to or far from being a free-fermionic state. We first demonstrate that any algorithm capable of testing arbitrary (possibly mixed) free-fermionic states would inevitably be inefficient. Then, we present an efficient algorithm for testing low-rank free-fermionic states. For free-fermionic state tomography, we provide improved bounds on sample complexity in the pure-state scenario, substantially improving over previous literature, and we generalize the efficient algorithm to mixed states, discussing its noise-robustness.
- [187] arXiv:2409.17971 (cross-list from quant-ph) [pdf, html, other]
-
Title: Optimal quantum (tensor product) expanders from unitary designsComments: 16 pagesSubjects: Quantum Physics (quant-ph); Probability (math.PR)
In this work we investigate how quantum expanders (i.e. quantum channels with few Kraus operators but a large spectral gap) can be constructed from unitary designs. Concretely, we prove that a random quantum channel whose Kraus operators are independent unitaries sampled from a $2$-design measure is with high probability an optimal expander (in the sense that its spectral gap is as large as possible). More generally, we show that, if these Kraus operators are independent unitaries of the form $U^{\otimes k}$, with $U$ sampled from a $2k$-design measure, then the corresponding random quantum channel is typically an optimal $k$-copy tensor product expander, a concept introduced by Harrow and Hastings (Quant. Inf. Comput. 2009).
- [188] arXiv:2409.17991 (cross-list from cs.LG) [pdf, html, other]
-
Title: Dimension-independent learning rates for high-dimensional classification problemsSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)
We study the problem of approximating and estimating classification functions that have their decision boundary in the $RBV^2$ space. Functions of $RBV^2$ type arise naturally as solutions of regularized neural network learning problems and neural networks can approximate these functions without the curse of dimensionality. We modify existing results to show that every $RBV^2$ function can be approximated by a neural network with bounded weights. Thereafter, we prove the existence of a neural network with bounded weights approximating a classification function. And we leverage these bounds to quantify the estimation rates. Finally, we present a numerical study that analyzes the effect of different regularity conditions on the decision boundaries.
- [189] arXiv:2409.18000 (cross-list from cs.LG) [pdf, html, other]
-
Title: Safe Time-Varying Optimization based on Gaussian Processes with Spatio-Temporal KernelComments: Accepted to NeurIPS 2024Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Ensuring safety is a key aspect in sequential decision making problems, such as robotics or process control. The complexity of the underlying systems often makes finding the optimal decision challenging, especially when the safety-critical system is time-varying. Overcoming the problem of optimizing an unknown time-varying reward subject to unknown time-varying safety constraints, we propose TVSafeOpt, a new algorithm built on Bayesian optimization with a spatio-temporal kernel. The algorithm is capable of safely tracking a time-varying safe region without the need for explicit change detection. Optimality guarantees are also provided for the algorithm when the optimization problem becomes stationary. We show that TVSafeOpt compares favorably against SafeOpt on synthetic data, both regarding safety and optimality. Evaluation on a realistic case study with gas compressors confirms that TVSafeOpt ensures safety when solving time-varying optimization problems with unknown reward and safety functions.
- [190] arXiv:2409.18010 (cross-list from eess.SY) [pdf, other]
-
Title: End-to-end guarantees for indirect data-driven control of bilinear systems with finite stochastic dataSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Machine Learning (stat.ML)
In this paper we propose an end-to-end algorithm for indirect data-driven control for bilinear systems with stability guarantees. We consider the case where the collected i.i.d. data is affected by probabilistic noise with possibly unbounded support and leverage tools from statistical learning theory to derive finite sample identification error bounds. To this end, we solve the bilinear identification problem by solving a set of linear and affine identification problems, by a particular choice of a control input during the data collection phase. We provide a priori as well as data-dependent finite sample identification error bounds on the individual matrices as well as ellipsoidal bounds, both of which are structurally suitable for control. Further, we integrate the structure of the derived identification error bounds in a robust controller design to obtain an exponentially stable closed-loop. By means of an extensive numerical study we showcase the interplay between the controller design and the derived identification error bounds. Moreover, we note appealing connections of our results to indirect data-driven control of general nonlinear systems through Koopman operator theory and discuss how our results may be applied in this setup.
- [191] arXiv:2409.18030 (cross-list from cs.LO) [pdf, html, other]
-
Title: Certifying rings of integers in number fieldsComments: 14 pages. Source code available at this https URLSubjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
Number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra systems and databases concerned with the computational aspects of these. In particular, computing the ring of integers of a given number field is one of the main tasks of computational algebraic number theory. In this paper, we describe a formalization in Lean 4 for certifying such computations. In order to accomplish this, we developed several data types amenable to computation. Moreover, many other underlying mathematical concepts and results had to be formalized, most of which are also of independent interest. These include resultants and discriminants, as well as methods for proving irreducibility of univariate polynomials over finite fields and over the rational numbers. To illustrate the feasibility of our strategy, we formally verified entries from the $\textit{Number fields}$ section of the $\textit{L-functions and modular forms database}$ (LMFDB). These concern, for several number fields, the explicitly given $\textit{integral basis}$ of the ring of integers and the $\textit{discriminant}$. To accomplish this, we wrote SageMath code that computes the corresponding certificates and outputs a Lean proof of the statement to be verified.
- [192] arXiv:2409.18077 (cross-list from q-bio.PE) [pdf, html, other]
-
Title: A 2-approximation algorithm for the softwired parsimony problem on binary, tree-child phylogenetic networksSubjects: Populations and Evolution (q-bio.PE); Optimization and Control (math.OC)
Finding the most parsimonious tree inside a phylogenetic network with respect to a given character is an NP-hard combinatorial optimization problem that for many network topologies is essentially inapproximable. In contrast, if the network is a rooted tree, then Fitch's well-known algorithm calculates an optimal parsimony score for that character in polynomial time. Drawing inspiration from this we here introduce a new extension of Fitch's algorithm which runs in polynomial time and ensures an approximation factor of 2 on binary, tree-child phylogenetic networks, a popular topologically-restricted subclass of phylogenetic networks in the literature. Specifically, we show that Fitch's algorithm can be seen as a primal-dual algorithm, how it can be extended to binary, tree-child networks and that the approximation guarantee of this extension is tight. These results for a classic problem in phylogenetics strengthens the link between polyhedral methods and phylogenetics and can aid in the study of other related optimization problems on phylogenetic networks.
- [193] arXiv:2409.18109 (cross-list from cs.DM) [pdf, html, other]
-
Title: Canonical labelling of sparse random graphsComments: 33 pagesSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We show that if $p=O(1/n)$, then the Erdős-Rényi random graph $G(n,p)$ with high probability admits a canonical labeling computable in time $O(n\log n)$. Combined with the previous results on the canonization of random graphs, this implies that $G(n,p)$ with high probability admits a polynomial-time canonical labeling whatever the edge probability function $p$. Our algorithm combines the standard color refinement routine with simple post-processing based on the classical linear-time tree canonization. Noteworthy, our analysis of how well color refinement performs in this setting allows us to complete the description of the automorphism group of the 2-core of $G(n,p)$.
- [194] arXiv:2409.18130 (cross-list from hep-th) [pdf, html, other]
-
Title: Bridging 4D QFTs and 2D VOAs via 3D high-temperature EFTsComments: 52 pages + appendicesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)
The high-temperature limit of the superconformal index, especially on higher sheets, often captures useful universal information about a theory. In 4d $\mathcal{N}=2$ superconformal field theories with fractional r-charges, there exists a special notion of high-temperature limit on higher sheets that captures data of three-dimensional topological quantum field theories arising from r-twisted circle reduction. These TQFTs are closely tied with the VOA of the 4d SCFT. We study such high-temperature limits. More specifically, we apply Di~Pietro-Komargodski type supersymmetric effective field theory techniques to r-twisted circle reductions of $(A_1,A_{2n})$ Argyres-Douglas theories, leveraging their Maruyoshi-Song Lagrangian with manifest $\mathcal{N}=1$ supersymmetry. The result on the second sheet is the Gang-Kim-Stubbs family of 3d $\mathcal{N}=2$ SUSY enhancing rank-$0$ theories with monopole superpotentials, whose boundary supports the Virasoro minimal model VOAs $M(2,2n+3)$. Upon topological twist, they give non-unitary TQFTs controlled by the $M(2,2n+3)$ modular tensor category (MTC). The high-temperature limit on other sheets yields their unitary or non-unitary Galois conjugates. This opens up the prospect of a broader four-supercharge perspective on the celebrated correspondence between 4d $\mathcal{N}=2$ SCFTs and 2d VOAs via interpolating 3d EFTs. Several byproducts follow, including a systematic approach to 3d SUSY enhancement from 4d SUSY enhancement, and a 3d QFT handle on Galois orbits of various MTCs associated with 4d $\mathcal{N}=2$ SCFTs.
Cross submissions (showing 40 of 40 entries)
- [195] arXiv:1608.06236 (replaced) [pdf, other]
-
Title: The homotopy type of the PL cobordism category. IComments: Final version. To appear in Algebraic and Geometric TopologySubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)
In this paper, we introduce a bordism category $\mathcal{C}_d^{PL}$ whose objects are bundles of closed $(d-1)$-dimensional piecewise linear manifolds and whose morphisms are bundles of $d$-dimensional piecewise linear cobordisms. In the main theorem of this article, we show that the classifying space $B\mathcal{C}_d^{PL}$ is weak homotopy equivalent to an infinite loop space. We regard $\mathcal{C}_d^{PL}$ as the piecewise linear analogue of the category of smooth cobordisms which has been studied extensively in connection to the Madsen-Weiss Theorem, and the main result of this paper is a first step towards obtaining Madsen-Weiss type results in the context of piecewise linear topology.
- [196] arXiv:1610.02539 (replaced) [pdf, html, other]
-
Title: Additive Combinatorics Using Equivariant CohomologySubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
We introduce a geometric method to study additive combinatorial problems. Using equivariant cohomology we reprove the Dias da Silva-Hamidoune theorem. We improve a result of Sun on the linear extension of the Erdős-Heilbronn conjecture. We generalize a theorem of G. Kós (the Grashopper problem) which in some sense is a simultaneous generalization of the Erdős-Heilbronn conjecture. We also prove a signed version of the Erdős-Heilbronn conjecture and the Grashopper problem. Most identities used are based on calculating the projective degree of an algebraic variety in two different ways.
- [197] arXiv:1711.04650 (replaced) [pdf, html, other]
-
Title: Bundle methods with quadratic cuts for deterministic and stochastic strongly convex optimization problemsComments: arXiv admin note: text overlap with arXiv:1707.00812Subjects: Optimization and Control (math.OC)
We introduce two new methods for deterministic convex optimization problems: QCC (Quadratic Cuts for Convex optimization) and QB (Quadratic Bundle method). We prove the complexity of these methods for composite optimization problems which are the sum of a convex function $\tilde h$ and of a strongly convex function $\tilde f$ with parameter $\mu$. These methods use as building blocks quadratic approximations of the strongly convex function $\tilde f$ where the quadratic terms are of form $\frac{\mu}{2}\|\cdot-x_i\|^2$ for trial points $x_i$ computed along iterations (when $\mu=0$ the building blocks are linear approximations). We extend the idea of using quadratic approximations to pieces of the objective for some multistage stochastic optimization problems which have strongly convex recourse functions that we approximate as a maximum of quadratic cuts. We call DASC (Dynamic Approximation for Strongly Convex optimzation) the corresponding optimization method. When the cuts are linear, the method boils down to the popular Stochastic Dual Dynamic Programming (SDDP) method. We provide conditions ensuring strong convexity of the recourse functions and prove the convergence of DASC. Numerical experiments illustrate the performance and correctness of DASC, with DASC being much quicker than SDDP for large values of the constants of strong convexity.
- [198] arXiv:2006.08193 (replaced) [pdf, html, other]
-
Title: A $C^r$-connecting lemma for Lorenz attractors and its application on the space of ergodic measuresComments: Comments are welcome!Subjects: Dynamical Systems (math.DS)
For every $r\in\mathbb{N}_{\geq 2}\cup\{\infty\}$, we prove a $C^r$-connecting lemma for Lorenz attractors. To be precise, for a Lorenz attractor of a $3$-dimensional $C^r$ ($r\geq 2$) vector field, a heteroclinic orbit associated to the singularity and a critical element can be created through arbitrarily small $C^r$-perturbations. As an application, we show that for $C^r$-dense geometric Lorenz attractors, the Dirac measure of the singularity is isolated inside the space of ergodic measures and thus the ergodic measure space is not connected; while for $C^r$-generic geometric Lorenz attractors, the space of ergodic measures is path connected with dense periodic measures. In particular, the generic part proves a conjecture proposed by C. Bonatti in $C^r$-topology for Lorenz attractors.
- [199] arXiv:2009.10175 (replaced) [pdf, html, other]
-
Title: Consequences of the existence of exceptional collections in arithmetic and rationalitySubjects: Algebraic Geometry (math.AG)
A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base field. We show this generalization is false by exhibiting a geometrically rational, smooth, projective threefold over the the field of rational numbers that possesses a full étale-exceptional collection but not a rational point. The counterexample comes from twisting a non-retract rational variety with a rational point and full étale-exceptional collection by a torsor that is invisible to Brauer invariants. Along the way, we develop some tools for linearizing objects, including a group that controls linearizations.
- [200] arXiv:2106.12060 (replaced) [pdf, html, other]
-
Title: Faster Randomized Methods for Orthogonality Constrained ProblemsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Recent literature has advocated the use of randomized methods for accelerating the solution of various matrix problems arising throughout data science and computational science. One popular strategy for leveraging randomization is to use it as a way to reduce problem size. However, methods based on this strategy lack sufficient accuracy for some applications. Randomized preconditioning is another approach for leveraging randomization, which provides higher accuracy. The main challenge in using randomized preconditioning is the need for an underlying iterative method, thus randomized preconditioning so far have been applied almost exclusively to solving regression problems and linear systems. In this article, we show how to expand the application of randomized preconditioning to another important set of problems prevalent across data science: optimization problems with (generalized) orthogonality constraints. We demonstrate our approach, which is based on the framework of Riemannian optimization and Riemannian preconditioning, on the problem of computing the dominant canonical correlations and on the Fisher linear discriminant analysis problem. For both problems, we evaluate the effect of preconditioning on the computational costs and asymptotic convergence, and demonstrate empirically the utility of our approach.
- [201] arXiv:2107.07575 (replaced) [pdf, html, other]
-
Title: Optimal tests of the composite null hypothesis arising in mediation analysisComments: 66 pages, 12 figuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
The indirect effect of an exposure on an outcome through an intermediate variable can be identified by a product of regression coefficients under certain causal and regression modeling assumptions. In this context, the null hypothesis of no indirect effect is a composite null hypothesis, as the null holds if either regression coefficient is zero. A consequence is that traditional hypothesis tests are severely underpowered near the origin (i.e., when both coefficients are small with respect to standard errors). We propose hypothesis tests that (i) preserve level alpha type 1 error, (ii) meaningfully improve power when both true underlying effects are small relative to sample size, and (iii) preserve power when at least one is not. One approach gives a closed-form test that is minimax optimal with respect to local power over the alternative parameter space. Another uses sparse linear programming to produce an approximately optimal test for a Bayes risk criterion. We discuss adaptations for performing large-scale hypothesis testing as well as modifications that yield improved interpretability. We provide an R package that implements the minimax optimal test.
- [202] arXiv:2111.14699 (replaced) [pdf, html, other]
-
Title: The Klein quartic maximizes the multiplicity of the first positive eigenvalue of the LaplacianComments: v1: 28 pages, 2 figures, Sage worksheets for computer-assisted proofs available under ancillary files. v2: Minor corrections made to some ancillary files and the proofs of Propositions 5.5 and 5.6. v3: Small correction made to subsection 5.1. v4: Fixed more typos. Final version to appear in Journal of Differential GeometrySubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Spectral Theory (math.SP)
We prove that Klein quartic maximizes the multiplicity of the first positive eigenvalue of the Laplacian among all closed hyperbolic surfaces of genus $3$, with multiplicity equal to $8$. We also obtain partial results in genus $2$, where we find that the maximum multiplicity is between $3$ and $6$. Along the way, we show that for every $g\geq 2$, there exists some $\delta_g>0$ such that the multiplicity of any eigenvalue of the Laplacian on a closed hyperbolic surface of genus $g$ in the interval $[0,1/4+\delta_g]$ is at most $2g-1$ despite the fact that this interval can contain arbitrarily many eigenvalues. This extends a result of Otal to a larger interval but with a weaker bound, which nevertheless improves upon the general upper bound of Sévennec.
- [203] arXiv:2112.12291 (replaced) [pdf, html, other]
-
Title: A Geometric Classification of the Holomorphic Vertex Operator Algebras of Central Charge 24Comments: 28 pages, LaTeX; improvements to the exposition; added program code as ancillary files; to appear in Algebra Number Theory. arXiv admin note: text overlap with arXiv:2005.12248Subjects: Quantum Algebra (math.QA); Representation Theory (math.RT)
We associate with a generalised deep hole of the Leech lattice vertex operator algebra a generalised hole diagram. We show that this Dynkin diagram determines the generalised deep hole up to conjugacy and that there are exactly 70 such diagrams. In an earlier work we proved a bijection between the generalised deep holes and the strongly rational, holomorphic vertex operator algebras of central charge 24 with non-trivial weight-1 space. Hence, we obtain a new, geometric classification of these vertex operator algebras, generalising the classification of the Niemeier lattices by their hole diagrams.
- [204] arXiv:2204.08057 (replaced) [pdf, html, other]
-
Title: Fast solution of Sylvester-structured systems for spatial source separation of the Cosmic Microwave BackgroundComments: resubmitted for publication/author order changed from last versionSubjects: Numerical Analysis (math.NA); Instrumentation and Methods for Astrophysics (astro-ph.IM)
Implementation of many statistical methods for large, multivariate data sets requires one to solve a linear system that, depending on the method, is of the dimension of the number of observations or each individual data vector. This is often the limiting factor in scaling the method with data size and complexity. In this paper we illustrate the use of Krylov subspace methods to address this issue in a statistical solution to a source separation problem in cosmology where the data size is prohibitively large for direct solution of the required system. Two distinct approaches, adapted from techniques in the literature, are described: one that uses the method of conjugate gradients directly to the Kronecker-structured problem and another that reformulates the system as a Sylvester matrix equation. We show that both approaches produce an accurate solution within an acceptable computation time and with practical memory requirements for the data size that is currently available.
- [205] arXiv:2205.13469 (replaced) [pdf, html, other]
-
Title: Proximal Estimation and InferenceSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
We build a unifying convex analysis framework characterizing the statistical properties of a large class of penalized estimators, both under a regular and an irregular design. Our framework interprets penalized estimators as proximal estimators, defined by a proximal operator applied to a corresponding initial estimator. We characterize the asymptotic properties of proximal estimators, showing that their asymptotic distribution follows a closed-form formula depending only on (i) the asymptotic distribution of the initial estimator, (ii) the estimator's limit penalty subgradient and (iii) the inner product defining the associated proximal operator. In parallel, we characterize the Oracle features of proximal estimators from the properties of their penalty's subgradients. We exploit our approach to systematically cover linear regression settings with a regular or irregular design. For these settings, we build new $\sqrt{n}-$consistent, asymptotically normal Ridgeless-type proximal estimators, which feature the Oracle property and are shown to perform satisfactorily in practically relevant Monte Carlo settings.
- [206] arXiv:2208.00240 (replaced) [pdf, html, other]
-
Title: Quadratically Enriched Tropical IntersectionsComments: 44 pages, 12 figuresSubjects: Algebraic Geometry (math.AG)
Using tropical geometry one can translate problems in enumerative geometry to combinatorial problems. Thus tropical geometry is a powerful tool in enumerative geometry over the complex and real numbers. Results from $\mathbb{A}^1$-homotopy theory allow to enrich classical enumerative geometry questions and get answers over an arbitrary field. In the resulting area, $\mathbb{A}^1$-enumerative geometry, the answer to these questions lives in the Grothendieck-Witt ring of the base field $k$. In this paper, we use tropical methods in this enriched set up by showing Bézout's theorem and a generalization, namely the Bernstein-Kushnirenko theorem, for tropical hypersurfaces enriched in $\operatorname{GW}(k)$.
- [207] arXiv:2211.08656 (replaced) [pdf, other]
-
Title: Complexes from Complexes: Finite Element Complexes in Three DimensionsComments: 58 pages, 6 figuresSubjects: Numerical Analysis (math.NA)
In the field of solving partial differential equations (PDEs), Hilbert complexes have become highly significant. Recent advances focus on creating new complexes using the Bernstein-Gelfand-Gelfand (BGG) framework, as shown by Arnold and Hu [Complexes from complexes. {\em Found. Comput. Math.}, 2021]. This paper extends their approach to three-dimensional finite element complexes. The finite element Hessian, elasticity, and divdiv complexes are systematically derived by applying techniques such as smooth finite element de Rham complexes, the $t$-$n$ decomposition, and trace complexes, along with related two-dimensional finite element analogs. Notably, the construction includes two reduction {operations} to address continuity differences in the BGG diagram, ultimately resulting in a comprehensive and effective framework for constructing finite element complexes, which have various applications in PDE solving.
- [208] arXiv:2212.10745 (replaced) [pdf, html, other]
-
Title: Shard theory for $g$-fansComments: We really appreciate the referee for pointing out numerous typos, mistakes in English, and a gap in the proof of the first version, as well as for providing suggestions for improvement. 22 pagesSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
For a finite dimensional algebra $A$, the notion of $g$-fan $\Sigma(A)$ is defined from two-term silting complexes of $A$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$. In this paper, we discuss the theory of shards to $\Sigma(A)$, which was originally defined for a hyperplane arrangement. We establish a correspondence between the set of join-irreducible elements of the poset of torsion classes of $\mathrm{mod} A$ and the set of shards of $\Sigma(A)$ for $g$-finite algebra $A$. Moreover, we show that the semistable region of a brick of $\mathrm{mod} A$ is exactly given by a shard. We also give a poset isomorphism of shard intersections and wide subcategories of $\mathrm{mod} A$.
- [209] arXiv:2212.12006 (replaced) [pdf, html, other]
-
Title: A version of Hilbert's 16th Problem for 3D polynomial vector fields: Counting isolated invariant toriSubjects: Dynamical Systems (math.DS)
Hilbert's 16th Problem, about the maximum number of limit cycles of planar polynomial vector fields of a given degree $m$, has been one of the most important driving forces for new developments in the qualitative theory of vector fields. Increasing the dimension, one cannot expect the existence of a finite upper bound for the number of limit cycles of, for instance, $3$D polynomial vector fields of a given degree $m$. Here, as an extension of such a problem in the $3$D space, we investigate the number of isolated invariant tori in $3$D polynomial vector fields. In this context, given a natural number $m$, we denote by $N(m)$ the upper bound for the number of isolated invariant tori of $3$D polynomial vector fields of degree $m$. Based on a recently developed averaging method for detecting invariant tori, our first main result provides a mechanism for constructing $3$D differential vector fields with a number $H$ of normally hyperbolic invariant tori from a given planar differential vector field with $H$ hyperbolic limit cycles. The strength of our mechanism in studying the number $N(m)$ lies in the fact that the constructed $3$D differential vector field is polynomial provided that the given planar differential vector field is polynomial. Accordingly, our second main result establishes a lower bound for $N(m)$ in terms of lower bounds for the number of hyperbolic limit cycles of planar polynomial vector fields of degree $[m/2]-1$. Based on this last result, we apply a methodology due to Christopher & Lloyd to show that $N(m)$ grows as fast as $m^3/128$. Finally, the above-mentioned problem is also formulated for higher dimensional polynomial vector fields.
- [210] arXiv:2212.13164 (replaced) [pdf, html, other]
-
Title: Physical-space estimates for axisymmetric waves on extremal Kerr spacetimeComments: Added appendix with weighted estimates on the horizon, version accepted for publicationJournal-ref: J. Functional Anal., Vol. 287, Issue 12, 110668 (2024)Subjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG)
We study axisymmetric solutions to the wave equation on extremal Kerr backgrounds and obtain integrated local energy decay (or Morawetz estimates) through an analysis \textit{exclusively in physical-space}. Boundedness of the energy and Morawetz estimates for axisymmetric waves in extremal Kerr were first obtained by Aretakis through the construction of frequency-localized currents used in particular to express the trapping degeneracy. Here we extend to extremal Kerr a method introduced by Stogin in the sub-extremal case, simplifying Aretakis' derivation of Morawetz estimates through purely classical currents.
- [211] arXiv:2301.00751 (replaced) [pdf, html, other]
-
Title: Finite energy well-posedness for nonlinear Schr\"odinger equations with non-vanishing conditions at infinityComments: 51 pages. Section 4 revised, global well-posedness results improvedSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
Relevant physical phenomena are described by nonlinear Schrödinger equations with non-vanishing conditions at infinity. This paper investigates the respective 2D and 3D Cauchy problems. Local well-posedness in the energy space for energy-subcritical nonlinearities, merely satisfying Kato-type assumptions, is proven, providing the analogue of the well-established local $H^1$-theory for solutions vanishing at infinity. The critical nonlinearity will be simply a byproduct of our analysis and the existing literature. Under an assumption that prevents the onset of a Benjamin-Feir type instability, global well-posedness in the energy space is proven for a) non-negative Hamiltonians, b) sign-indefinite Hamiltonians under additional assumptions on the zeros of the nonlinearity, c) generic nonlinearities and small initial data. The cases b) and c) only concern 3D.
- [212] arXiv:2302.11337 (replaced) [pdf, other]
-
Title: Bayesian Matrix Decomposition and ApplicationsSubjects: Numerical Analysis (math.NA); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG)
The sole aim of this book is to give a self-contained introduction to concepts and mathematical tools in Bayesian matrix decomposition in order to seamlessly introduce matrix decomposition techniques and their applications in subsequent sections. However, we clearly realize our inability to cover all the useful and interesting results concerning Bayesian matrix decomposition and given the paucity of scope to present this discussion, e.g., the separated analysis of variational inference for conducting the optimization. We refer the reader to literature in the field of Bayesian analysis for a more detailed introduction to the related fields.
This book is primarily a summary of purpose, significance of important Bayesian matrix decomposition methods, e.g., real-valued decomposition, nonnegative matrix factorization, Bayesian interpolative decomposition, and the origin and complexity of the methods which shed light on their applications. The mathematical prerequisite is a first course in statistics and linear algebra. Other than this modest background, the development is self-contained, with rigorous proof provided throughout. - [213] arXiv:2303.02873 (replaced) [pdf, html, other]
-
Title: The Moser method and boundedness of solutions to infinitely degenerate elliptic equationsComments: This file replaces a previous submission in which there was an error in the proof of continuity of solutions. As in the previous files, the current paper showcases the implementation of a Moser iteration infinite degenerate geometries and also includes a drift term on the right-hand side. The proof of continuity of solutions will be achieved in a subsequent workSubjects: Analysis of PDEs (math.AP)
We show that if $\mathbb{R}^{n}$ is equipped with certain non-doubling metric and an Orlicz-Sobolev inequality holds for a special family of Young functions $\Phi $, then weak solutions to quasilinear infinitely degenerate elliptic divergence equations of the form $$\mathrm{div}\mathcal{A}\left( x,u\right) \nabla u=\phi _{0}-\mathrm{div}_{A} \vec{\phi}_{1}$$ are locally bounded. Furthermore, we establish a maximum principle for solutions whenever a global Orlicz-Soblev estimate is available. We obtain these results via the implementation of a Moser iteration method, what constitutes the first instance of such technique applied to infinite degenerate equations. These results partially extend previously known estimates for solutions of these equations but for which the right hand side did not have a drift term. We also obtain bounds for small negative powers of nonnegative solutions; these will be applied to obtain continuity of solutions in a subsequent paper.
- [214] arXiv:2303.07178 (replaced) [pdf, html, other]
-
Title: Global unique solutions with instantaneous loss of regularity for SQG with fractional diffusionComments: 39 pages. Corrections added, some proofs have been rewritten to help readabilitySubjects: Analysis of PDEs (math.AP)
In this work we construct global unique solutions of the dissipative Surface quasi-geostrophic equation ($\alpha$-SQG) that lose regularity instantly when there is super-critical fractional diffusion.
- [215] arXiv:2303.11194 (replaced) [pdf, html, other]
-
Title: Polynomial stability of the homology of Hurwitz spacesComments: 24 pages, 2 figures, final version to appear in Mathematische AnnalenSubjects: Algebraic Topology (math.AT)
For a finite group $G$ and a conjugation-invariant subset $Q\subseteq G$, we consider the Hurwitz space $\mathrm{Hur}_n(Q)$ parametrising branched covers of the plane with $n$ branch points, monodromies in $G$ and local monodromies in $Q$. For $i\ge0$ we prove that $\bigoplus_n H_i(\mathrm{Hur}_n(Q))$ is a finitely generated module over the ring $\bigoplus_n H_0(\mathrm{Hur}_n(Q))$. As a consequence, we obtain polynomial stability of homology of Hurwitz spaces: taking homology coefficients in a field, the dimension of $H_i(\mathrm{Hur}_n(Q))$ agrees for $n$ large enough with a quasi-polynomial in $n$, whose degree is easily bounded in terms of $G$ and $Q$. Under suitable hypotheses on $G$ and $Q$, we prove classical homological stability for certain sequences of components of Hurwitz spaces. Our results generalise previous work of Ellenberg-Venkatesh-Westerland, and rely on techniques introduced by them and by Hatcher-Wahl.
- [216] arXiv:2304.08009 (replaced) [pdf, html, other]
-
Title: Enhancing accuracy with an adaptive discretization for the non-local integro-partial differential equations involving initial time singularitiesComments: 28 pages, 10 figuresSubjects: Numerical Analysis (math.NA)
This work aims to construct an efficient and highly accurate numerical method to address the time singularity at $t=0$ involved in a class of time-fractional parabolic integro-partial differential equations in one and two dimensions. The $L2$-$1_\sigma$ scheme is used to discretize the time-fractional operator, whereas a modified version of the composite trapezoidal approximation is employed to discretize the Volterra operator. Subsequently, it helps to convert the proposed model into a second-order BVP in a semi-discrete form. The multi-dimensional Haar wavelets are then used for grid adaptation and efficient computations for the 2D problem, whereas the standard second-order approximations are employed to approximate the spatial derivatives for the 1D case. The stability analysis is carried out on an adaptive mesh in time. The convergence analysis leads to $O(N^{-2}+M^{-2})$ accurate solution in the space-time domain for the 1D problem having time singularity based on the $L^\infty$ norm for a suitable choice of the grading parameter. Furthermore, it provides $O(N^{-2}+M^{-3})$ accurate solution for the 2D problem having unbounded time derivative at $t=0$. The analysis also highlights a higher order accuracy for a sufficiently smooth solution resides in $C^3(\overline{\Omega}_t)$ even if the mesh is discretized uniformly. The truncation error estimates for the time-fractional operator, integral operator, and spatial derivatives are presented. Numerous tests are performed on several examples in support of the theoretical analysis. The advancement of the proposed methodology is demonstrated through the application of the time-fractional Fokker-Planck equation and the fractional-order viscoelastic dynamics having weakly singular kernels. It also confirms the superiority of the proposed method compared with existing approaches available in the literature.
- [217] arXiv:2304.09340 (replaced) [pdf, html, other]
-
Title: Propagation of chaos for mean field Schr\"odinger problemsSubjects: Probability (math.PR); Optimization and Control (math.OC)
In this work, we study the mean field Schrödinger problem from a purely probabilistic point of view by exploiting its connection to stochastic control theory for McKean-Vlasov diffusions. Our main result shows that the mean field Schrödinger problem arises as the limit of ``standard'' Schrödinger problems over interacting particles. Due to the stochastic maximum principle and a suitable penalization procedure, the result follows as a consequence of novel (quantitative) propagation of chaos results for forward-backwards particle systems. The approach described in the paper seems flexible enough to address other questions in the theory. For instance, our stochastic control technique further allows us to solve the mean field Schrödinger problem and characterize its solution, the mean field Schrödinger bridge, by a forward-backward planning equation.
- [218] arXiv:2304.09776 (replaced) [pdf, other]
-
Title: Lipschitz truncation method for parabolic double-phase systems and applicationsComments: The manuscript has been revised according to the suggestions and comments of the reviewersSubjects: Analysis of PDEs (math.AP)
We discuss a Lipschitz truncation technique for parabolic double-phase problems of $p$-Laplace type in order to prove energy estimates and uniqueness results for the Dirichlet problem. Moreover, we show existence for a non-homogeneous double-phase problem. The Lipschitz truncation method is based on a Whitney-type covering result and a related partition of unity in the intrinsic geometry for the double-phase problem.
- [219] arXiv:2305.00227 (replaced) [pdf, html, other]
-
Title: Single Transition Layer in Mass-Conserving Reaction-Diffusion Systems with Bistable NonlinearityComments: 41 pages, 5 figuresSubjects: Analysis of PDEs (math.AP)
Mass-conserving reaction-diffusion systems with bistable nonlinearity are useful models for studying cell polarity formation, which is a key process in cell division and differentiation. We rigorously show the existence and stability of stationary solutions with a single internal transition layer in such reaction-diffusion systems under general assumptions by the singular perturbation theory. Moreover, we present a meaningful model for understanding the existence of an unstable transition layer solution; our numerical simulations show that the unstable solution is a separatrix of the dynamics of the model.
- [220] arXiv:2305.05604 (replaced) [pdf, html, other]
-
Title: On surjectivity in tensor triangular geometryComments: Accepted for publication in Math. Z.; comments still welcome!Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Representation Theory (math.RT)
We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on Balmer spectra. From this we deduce a fiberwise criterion for Balmer's comparison map to be a continuous bijection. This gives short alternative proofs of the Hopkins--Neeman theorem and its generalization, due to Lau, to the case of a finite group acting trivially on an affine scheme.
- [221] arXiv:2305.13428 (replaced) [pdf, html, other]
-
Title: Hyperbolic embedding of infinite-dimensional convex bodiesComments: 36 pages. To appear on Geometriae DedicataSubjects: Metric Geometry (math.MG); Probability (math.PR)
In this article, we use the second intrinsic volume to define a metric on the space of homothetic classes of Gaussian bounded convex bodies in a separable real Hilbert space. Using kernels of hyperbolic type, we can deduce that this space is isometrically embedded into an infinite-dimensional real hyperbolic space. Applying Malliavin calculus, it is possible to adapt integral geometry for convex bodies in infinite dimensions. Moreover, we give a new formula for computing second intrinsic volumes of convex bodies and offer a description of the completion for the hyperbolic embedding of Gaussian bounded convex bodies with dimension at least two and thus answer a question asked by Debin and Fillastre [DF22].
- [222] arXiv:2305.18139 (replaced) [pdf, html, other]
-
Title: SDE driven by cylindrical $\alpha$-stable process with distributional drift and applicationSubjects: Probability (math.PR)
For $\alpha \in (1,2)$, we study the following stochastic differential equation driven by a non-degenerate symmetric $\alpha$-stable process in ${\mathbb R}^d$:
\begin{align*} {\mathord{\rm d}} X_t=b(t,X_t){\mathord{\rm d}} t+\sigma(t,X_{t-}){\mathord{\rm d}} L_t^{(\alpha)},\ \ X_0 =x \in {\mathbb R}^d, \end{align*} where $b$ belongs to $ L^\infty({\mathbb R}_+;{\mathbf B}_{\infty,\infty}^{-\beta}({\mathbb R}^d))$ with some $\beta\in(0,\frac{\alpha-1}{2})$, and $\sigma:{\mathbb R}_+\times {\mathbb R}^d \to {\mathbb R}^d \otimes {\mathbb R}^d$ is a $d \times d $ matrix-valued measurable function. We point out that the noise could be a cylindrical $\alpha$-stable process. We first show the generalized martingale problems and then establish the stability estimates of solutions. As an application, we give the weak convergence rate of the Euler scheme for additive noises with drift coefficient $b=b(x)$. - [223] arXiv:2306.03155 (replaced) [pdf, html, other]
-
Title: Pattern-avoiding stabilized-interval-free permutationsComments: 16 pages. Improved version with more details and better readabilitySubjects: Combinatorics (math.CO)
In this paper, we study pattern avoidance for stabilized-interval-free (SIF) permutations. These permutations are contained in the set of indecomposable permutations and in the set of derangements. We enumerate pattern-avoiding SIF permutations for classical and pairs of patterns of size 3. In particular, for the patterns 123 and 231, we rely on combinatorial arguments and the fixed-point distribution of general permutations avoiding these patterns. We briefly discuss 123-avoiding permutations with two fixed points and offer a conjecture for their enumeration by the distance between their fixed points. For the pattern 231, we also give a direct argument that uses a bijection to ordered forests.
- [224] arXiv:2306.03700 (replaced) [pdf, html, other]
-
Title: Generalized Pseudospectral Shattering and Inverse-Free Matrix Pencil DiagonalizationComments: To appear in Foundations of Computational Math. Version five contains minor edits over version four. Paper contents: 59 pages, 9 figures, 2 tablesSubjects: Numerical Analysis (math.NA)
We present a randomized, inverse-free algorithm for producing an approximate diagonalization of any $n \times n$ matrix pencil $(A,B)$. The bulk of the algorithm rests on a randomized divide-and-conquer eigensolver for the generalized eigenvalue problem originally proposed by Ballard, Demmel, and Dumitriu [Technical Report 2010]. We demonstrate that this divide-and-conquer approach can be formulated to succeed with high probability provided the input pencil is sufficiently well-behaved, which is accomplished by generalizing the recent pseudospectral shattering work of Banks, Garza-Vargas, Kulkarni, and Srivastava [Foundations of Computational Mathematics 2022]. In particular, we show that perturbing and scaling $(A,B)$ regularizes its pseudospectra, allowing divide-and-conquer to run over a simple random grid and in turn producing an accurate diagonalization of $(A,B)$ in the backward error sense. The main result of the paper states the existence of a randomized algorithm that with high probability (and in exact arithmetic) produces invertible $S,T$ and diagonal $D$ such that $||A - SDT^{-1}||_2 \leq \varepsilon$ and $||B - ST^{-1}||_2 \leq \varepsilon$ in at most $O \left(\log^2 \left( \frac{n}{\varepsilon} \right) T_{\text{MM}}(n) \right)$ operations, where $T_{\text{MM}}(n)$ is the asymptotic complexity of matrix multiplication. This not only provides a new set of guarantees for highly parallel generalized eigenvalue solvers but also establishes nearly matrix multiplication time as an upper bound on the complexity of inverse-free, exact arithmetic matrix pencil diagonalization.
- [225] arXiv:2306.07253 (replaced) [pdf, html, other]
-
Title: Colouring random graphs: Tame colouringsComments: 75 pages. Minor edits and correctionsSubjects: Combinatorics (math.CO)
Given a graph G, a colouring is an assignment of colours to the vertices of G so that no two adjacent vertices are coloured the same. If all colour classes have size at most t, then we call the colouring t-bounded, and the t-bounded chromatic number of G, denoted by $\chi_t(G)$, is the minimum number of colours in such a colouring. Every colouring of G is then $\alpha(G)$-bounded, where $\alpha(G)$ denotes the size of a largest independent set.
We study colourings of the random graph G(n, 1/2) and of the corresponding uniform random graph G(n,m) with $m=\left \lfloor \frac 12 {n \choose 2} \right \rfloor$. We show that $\chi_t(G(n,m))$ is maximally concentrated on at most two explicit values for $t = \alpha(G(n,m))-2$. This behaviour stands in stark contrast to that of the normal chromatic number, which was recently shown not to be concentrated on any sequence of intervals of length $n^{1/2-o(1)}$. Moreover, when $t = \alpha(G_{n, 1/2})-1$ and if the expected number of independent sets of size $t$ is not too small, we determine an explicit interval of length $n^{0.99}$ that contains $\chi_t(G_{n,1/2})$ with high probability. Both results have profound consequences: the former is at the core of the intriguing Zigzag Conjecture on the distribution of $\chi(G_{n, 1/2})$ and justifies one of its main hypotheses, while the latter is an important ingredient in the proof of a non-concentration result for $\chi(G_{n,1/2})$ that is conjectured to be optimal.
These two results are consequences of a more general statement. We consider a class of colourings that we call tame, and provide tight bounds for the probability of existence of such colourings via a delicate second moment argument. We then apply those bounds to the two aforementioned cases. As a further consequence of our main result, we prove two-point concentration of the equitable chromatic number of G(n,m). - [226] arXiv:2306.08971 (replaced) [pdf, html, other]
-
Title: Mutation, surface graphs, and alternating links in surfacesComments: 34 pages, 11 figures, and 4 tablesSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
In this paper, we study alternating links in thickened surfaces in terms of the lattices of integer flows on their Tait graphs. We use this approach to give a short proof of the first two generalised Tait conjectures. We also prove that the flow lattice is an invariant of alternating links in thickened surfaces and is further invariant under disc mutation. For classical links, the flow lattice and $d$-invariants are complete invariants of the mutation class of an alternating link. For links in thickened surfaces, we show that this is no longer the case by finding a stronger mutation invariant, namely the Gordon-Litherland linking form. In particular, we find alternating knots in thickened surfaces which have isometric flow lattices but with non-isomorphic linking forms.
- [227] arXiv:2307.09647 (replaced) [pdf, html, other]
-
Title: Spaces over BO are thickened manifoldsComments: Version to appear in Algebraic and Geometric TopologySubjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that the resulting infinity-category of thickened smooth manifolds is equivalent to the infinity-category of finite spaces over BO. (This is one formalization of the philosophy that embedding questions become homotopy-theoretic upon passage to higher dimensions.) The central tool is a geometric construction of pushouts in this infinity-category, carried out with an eye toward proving analogous results in exact symplectic geometry. Notably, the proof never invokes smooth approximation nor any h-principle.
- [228] arXiv:2308.01488 (replaced) [pdf, html, other]
-
Title: Moderate Deviations for a Stochastic Schr\"odinger Equation with Linear DriftSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
Moderate deviation principle is achieved by the weak convergence approach for a stochastic Schrödinger type equation with linear drift term and noise driven by a $Q$-Wiener process. The central limit theorem is also shown for the equation to further analyze its asymptotic behavior.
- [229] arXiv:2308.04612 (replaced) [pdf, html, other]
-
Title: The homotopy type of the PL cobordism category. IIComments: Final version. To appear in Algebraic and Geometric TopologySubjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
In this article, we prove the PL analogue of the theorem of Galatius, Madsen, Tillmann, and Weiss which describes the homotopy type of the smooth cobordism category. More specifically, we introduce the PL Madsen-Tillmann spectrum $\mathbf{MT}PL(d)$ and prove that there is a weak homotopy equivalence of the form $B\mathsf{Cob}^{\mathrm{PL}}_d \simeq \Omega^{\infty-1}\mathbf{MT}PL(d)$. We also discuss how to adjust the methods of this paper to obtain the topological version of our main result.
- [230] arXiv:2308.07679 (replaced) [pdf, html, other]
-
Title: Asymptotic stability of the sine-Gordon kinks under perturbations in weighted Sobolev normsComments: 63 pages. Major revision. The main results have been improved. Many thanks to the anonymous reviewersSubjects: Analysis of PDEs (math.AP)
We study the asymptotic stability of the sine-Gordon kinks under small perturbations in weighted Sobolev norms. Our main tool is the Bäcklund transform which reduces the study of the asymptotic stability of the kinks to the study of the asymptotic decay of solutions near zero. Our results consist of two parts. First, we prove an asymptotic stability result similar to the local results in arXiv:2003.09358 and arXiv:2009.04260. Our assumptions are the same as those in the local result in arXiv:2009.04260. In its proof, we apply a result obtained by the inverse scattering method on the local decay of the solutions with sufficiently small and localized initial data. Moreover, we derive an asymptotic formula for the perturbations, i.e. the difference between solutions and kinks. This result is similar to that in arXiv:2106.09605 and the full asymptotic stability result in arXiv:2009.04260. In its proof, we apply a result obtained by the method of testing by wave packets on the pointwise decay of the solutions with small and localized data.
- [231] arXiv:2308.10432 (replaced) [pdf, other]
-
Title: On Sasakian quasi-Killing spinors in three-dimensionsComments: 18 pages; typos correctedSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th)
A Sasakian quasi-Killing spinor (SqK-spinor), which is a generalization of a Killing spinor on Sasakian manifolds, was defined in \cite{Kim Friedrich 2000}.The purpose of this paper is to study in detail SqK-spinors on three-dimensional pseudo-Riemannian Sasakian this http URL briefly review some results on SqK-spinors and then investigate some geometric this http URL, we demonstrate that the Reeb vector field is described by a specific SqK-spinor. Then we establish that the motion of a charged particle in the presence of a contact Maxwell field can be depicted using an SqK-spinor. urthermore, we find that almost all SqK-spinors provide solutions to the Einstein-Dirac system with a non-zero cosmological this http URL, we reveal that a particular SqK-spinor in conjunction with a contact Maxwell field satisfies the Einstein-Dirac-Maxwell this http URL, we show explicit formulae of SqK-spinors in terms of elementary functions with respect to a certain frame.
- [232] arXiv:2309.03408 (replaced) [pdf, html, other]
-
Title: Subtransversality and Strong CHIP of Closed Sets in Asplund SpacesJournal-ref: Set-valued and Variational Analysis 2024Subjects: Optimization and Control (math.OC)
In this paper, we mainly study subtransversality and two types of strong CHIP (given via Fréchet and limiting normal cones) for a collection of finitely many closed sets. We first prove characterizations of Asplund spaces in terms of subtransversality and intersection formulae of Fréchet normal cones. Several necessary conditions for subtransversality of closed sets are obtained via Fréchet/limiting normal cones in Asplund spaces. Then, we consider subtransversality for some special closed sets in convex-composite optimization. In this frame we prove an equivalence result on subtransversality, strong Fréchet CHIP and property (G) so as to extend a duality characterization of subtransversality of finitely many closed convex sets via strong CHIP and property (G) to the possibly non-convex case. As applications, we use these results on subtransversality and strong CHIP to study error bounds of inequality systems and give several dual criteria for error bounds via Fréchet normal cones and subdifferentials.
- [233] arXiv:2310.06602 (replaced) [pdf, html, other]
-
Title: A solution method for arbitrary polyhedral convex set optimization problemsComments: reference [11] added, minor changes (typos)Subjects: Optimization and Control (math.OC)
We provide a solution method for the polyhedral convex set optimization problem, that is, the problem to minimize a set-valued mapping with polyhedral convex graph with respect to a set ordering relation which is generated by a polyhedral convex cone . The method is proven to be correct and finite without any further assumption to the problem.
- [234] arXiv:2310.17265 (replaced) [pdf, html, other]
-
Title: Forward Primal-Dual Half-Forward Algorithm for Splitting Four OperatorsSubjects: Optimization and Control (math.OC)
In this article, we propose a splitting algorithm to find zeros of the sum of four maximally monotone operators in real Hilbert spaces. In particular, we consider a Lipschitzian operator, a cocoercive operator, and a linear composite term. In the case when the Lipschitzian operator is absent, our method reduces to the Condat-Vũ algorithm. On the other hand, when the linear composite term is absent, the algorithm reduces to the Forward-Backward-Half-Forward algorithm (FBHF). Additionally, in each case, the set of step-sizes that guarantee the weak convergence of those methods are recovered. Therefore, our algorithm can be seen as a generalization of Condat-Vũ and FBHF. Moreover, we propose extensions and applications of our method in multivariate monotone inclusions and saddle point problems. Finally, we present a numerical experiment in image deblurring problems.
- [235] arXiv:2311.00075 (replaced) [pdf, html, other]
-
Title: The maximum number of connected sets in regular graphsComments: 19 Pages, 8 figures, 5 tablesSubjects: Combinatorics (math.CO)
We improve the best known lower bounds on the exponential behavior of the maximum of the number of connected sets, $N(G)$, and dominating connected sets, $N_{dom}(G)$, for regular graphs. These lower bounds are improved by constructing a family of graphs defined in terms of a small base graph (a Moore graph), using a combinatorial reduction of these graphs to rectangular boards followed by using linear algebra to show that the lower bound is related to the largest eigenvalue of a coefficient matrix associated with the base graph. We also determine the exact maxima of $N(G)$ and $N_{dom}(G)$ for cubic and quartic graphs of small order. We give multiple results in favor of a conjecture that each Moore graph $M$ maximizes the base indicating the exponential behavior of the number of connected vertex subsets among graphs with at least $|M|$ vertices and the same regularity. We improve the best known upper bounds for $N(G)$ and $N_{dom}(G)$ conditional on this conjecture.
- [236] arXiv:2311.05759 (replaced) [pdf, html, other]
-
Title: Spherical Shalika models on $\mathrm{PGU}_{2,2}$ and the theta correspondence for $(\mathrm{PGSp}_4,\mathrm{PGU}_{2,2})$Comments: 38 pages; main first result (Theorem 1.1) on existence and uniqueness of local Shalika functionals has been improvedSubjects: Number Theory (math.NT); Representation Theory (math.RT)
We study Shalika models for generic unramified representations of $\mathrm{PGU}_{2,2}$ over non-archimedean local fields. We prove that they always exist and show that they are in fact unique up to constant by means of the theta correspondence for $(\mathrm{PGSp}_4,\mathrm{PGU}_{2,2})$. We then prove a Casselman-Shalika formula which relates the values of spherical Shalika functionals on ${\rm PGU}_{2,2}$ to the values of finite dimensional complex representations of the dual group of $\mathrm{PGSp}_4$.
- [237] arXiv:2311.11008 (replaced) [pdf, html, other]
-
Title: Local and Global Analysis of Semilinear Heat Equations with Hardy Potential on Stratified Lie GroupsComments: Title changed, Theorem 3.2 addedSubjects: Analysis of PDEs (math.AP)
On stratified Lie groups we study a semilinear heat equation with the Hardy potential, a power non-linearity and a forcing term which depends only upon the spacial variable. The analysis of an equivalent formulation to the problem and an application of a decade old result of Avelin et al. facilitates the management of the singularity in the Hardy potential, thereby yielding results pertaining to both local and global nonexistence. In addition, local existence is verified when the gradient term appearing in the Hardy potential is unimodular almost everywhere. The global existence is also proved under an additional assumption that the forcing term depends on the time variable as well. Through these results this paper sheds light on the possible pivotal exponents for the existence of both local and global solutions to the equation, offering a deeper understanding of the interplay between the model's parameters and the underlying stratified Lie group structure.
- [238] arXiv:2311.14400 (replaced) [pdf, other]
-
Title: Higher-order iterative decoupling for poroelasticitySubjects: Numerical Analysis (math.NA)
For the iterative decoupling of elliptic-parabolic problems such as poroelasticity, we introduce time discretization schemes up to order $5$ based on the backward differentiation formulae. Its analysis combines techniques known from fixed-point iterations with the convergence analysis of the temporal discretization. As main result, we show that the convergence depends on the interplay between the time step size and the parameters for the contraction of the iterative scheme. Moreover, this connection is quantified explicitly, which allows for balancing the single error components. Several numerical experiments illustrate and validate the theoretical results, including a three-dimensional example from biomechanics.
- [239] arXiv:2312.01864 (replaced) [pdf, html, other]
-
Title: Maximal $L_p$-regularity for $x$-dependent fractional heat equations with Dirichlet conditionsComments: 33 pages, minor corrections, some expanded explanations. To appear in Mathematische AnnalenSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We prove optimal regularity results in $L_p$-based function spaces in space and time for a large class of linear parabolic equations with a nonlocal elliptic operator in bounded domains with limited smoothness. Here the nonlocal operator is given by a strongly elliptic and even pseudodifferential operator of order $2a$ ($0<a<1$) with nonsmooth $x$-dependent coefficients. This includes the prominent case of the fractional Laplacian $(-\Delta)^a$, as well as elliptic operators $(-\nabla \cdot A(x)\nabla+b(x))^a$. The proofs are based on general results on maximal $L_p$-regularity and its relation to $\mathcal{R}$-boundedness of the resolvent of the associated (elliptic) operator. Finally, we apply these results to show existence of strong solutions locally in time for a class of nonlinear nonlocal parabolic equations, which include a fractional nonlinear diffusion equation and a fractional porous medium equation after a transformation.
The nonlinear results are new for operators on domains with boundary; the linear results are so when $P$ is $x$-dependent nonsymmetric. - [240] arXiv:2312.08326 (replaced) [pdf, other]
-
Title: Cell decompositions of persistent minimal modelsComments: 35 pages. Updated version with simplified proofs and presentation. Previously titled 'Persistent k-minimal models and the interval sphere model structure'. Comments and feedback are welcomeSubjects: Algebraic Topology (math.AT)
In this article we generalize the theory of minimal models in rational homotopy theory to the context of persistence. Our main motivation is the computation of an explicit finite, cellular presentation of the persistent minimal model that computes persistent rational type of copersistent simply-connected spaces. We give an explicit construction of minimal models of maps between commutative differential-graded algebras, which we use to construct minimal models of tame persistent CDGAs. We then build a model structure on persistent CDGAs for which these minimal models become cell complexes. As an application of our results, we construct an explicit rational Postnikov tower of a simply-connected copersistent spaces.
- [241] arXiv:2401.04580 (replaced) [pdf, html, other]
-
Title: When Do Two Distributions Yield the Same Expected Euler Characteristic Curve in the Thermodynamic Limit?Comments: 15 pages, 3 figures, 1 table. Comments welcomeSubjects: Probability (math.PR)
Let $F$ be a probability distribution on $\mathbb{R}^d$ which admits a bounded density. We investigate the Euler characteristic of the Čech complex on $n$ points sampled from $F$ i.i.d. as $n\to\infty$ in the thermodynamic limit regime. As a main result, we identify a condition for two probability distributions to yield the same expected Euler characteristic under this construction. Namely, this happens if and only if their densities admit the same excess mass transform. Building on work of Bobrowski, we establish a connection between the limiting expected Euler characteristic of any such probability distribution $F$ and the one of the uniform distribution on $[0,1]^d$ through an integral transform. Our approach relies on constructive proofs, offering explicit calculations of expected Euler characteristics in lower dimensions as well as reconstruction of a distribution from its limiting Euler characteristic. In the context of topological data analysis, where the Euler characteristic serves as a summary of the shape of data, we address the inverse problem and determine what can be discriminated using this invariant. This research sheds light on the relationship between a probability distribution and topological properties of the Čech complex on its samples in the thermodynamic limit.
- [242] arXiv:2401.07966 (replaced) [pdf, html, other]
-
Title: Time-uniform log-Sobolev inequalities and applications to propagation of chaosComments: 41 pages; accepted versionSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
Time-uniform log-Sobolev inequalities (LSI) satisfied by solutions of semi-linear mean-field equations have recently appeared to be a key tool to obtain time-uniform propagation of chaos estimates. This work addresses the more general settings of time-inhomogeneous Fokker-Planck equations. Time-uniform LSI are obtained in two cases, either with the bounded-Lipschitz perturbation argument with respect to a reference measure, or with a coupling approach at high temperature. These arguments are then applied to mean-field equations, where, on the one hand, sharp marginal propagation of chaos estimates are obtained in smooth cases and, on the other hand, time-uniform global propagation of chaos is shown in the case of vortex interactions with quadratic confinement potential on the whole space. In this second case, an important point is to establish global gradient and Hessian estimates, which is of independent interest. We prove these bounds in the more general situation of non-attractive logarithmic and Riesz singular interactions.
- [243] arXiv:2401.08403 (replaced) [pdf, html, other]
-
Title: The Quantization of Maxwell Theory in the Cauchy Radiation Gauge: Hodge Decomposition and Hadamard StatesComments: 38 pages -- to appear in J. Lond. Math. SocSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Differential Geometry (math.DG); Functional Analysis (math.FA)
The aim of this paper is to prove the existence of Hadamard states for the Maxwell equations on any globally hyperbolic spacetime. This will be achieved by introducing a new gauge fixing condition, the Cauchy radiation gauge, that will allow to suppress all the unphysical degrees of freedom. The key ingredient for achieving this gauge is a new Hodge decomposition for differential k-forms in Sobolev spaces on complete (possibly non-compact) Riemannian manifolds.
- [244] arXiv:2401.08670 (replaced) [pdf, other]
-
Title: On the representation of fourth and higher order anisotropic elasticity tensors in generalized continuum modelsMarco Valerio d'Agostino, Robert J. Martin, Peter Lewintan, Davide Bernardini, Alexandre Danescu, Patrizio NeffSubjects: Mathematical Physics (math-ph)
The classification of all fourth-order anisotropic tensor classes for classical linear elasticity is well known. In this article, we review the related problem of explicitly computing the dimension and the expressions of the elements belonging to these classes, and we extend this computation to fourth-order elasticity tensors acting on non-symmetric matrices. These tensors naturally appear in generalized continuum models. Based on tensor symmetrization, we provide the most general forms of these tensors for orthotropic, transversely isotropic, cubic, and isotropic materials. We present a self-contained discussion and provide detailed calculations for simple examples.
- [245] arXiv:2402.02660 (replaced) [pdf, html, other]
-
Title: Stirling-Ramanujan constants are exponential periodsComments: 20 pages. Final published versionJournal-ref: Communications in Number Theory and Physics, Volume 18, Number 3, 485-507, 2024Subjects: Number Theory (math.NT); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
Ramanujan studied a general class of Stirling constants that are the resummation of some natural divergent series. These constants include the classical Euler-Mascheroni, Stirling and Glaisher-Kinkelin constants. We find natural integral representations for all these constants that appear as exponential periods in the field $\mathbb Q (t,e^{-t})$ which reveals their natural transalgebraic nature. We conjecture that all these constants are transcendental numbers. Euler-Mascheroni's and Stirling's integral formula are classical, but the integral formula for Glaisher-Kinkelin appears to be new, as well as the integral formulas for the higher Stirling-Ramanujan constants. The method presented generalizes naturally to prove that many other constants are exponential periods over the field $\mathbb Q(t,e^{-t})$.
- [246] arXiv:2402.05023 (replaced) [pdf, html, other]
-
Title: On the Exact Linearization of Minimally Underactuated Configuration Flat Lagrangian Systems in Generalized State RepresentationSubjects: Dynamical Systems (math.DS)
In this paper, we examine the exact linearization of configuration flat Lagrangian control systems in generalized state representation with p degrees of freedom and p-1 control inputs by quasi-static feedback of its generalized state. We formally introduce generalized Lagrangian control systems, which are obtained when configuration variables are considered as inputs instead of forces. This work presents all possible lengths of integrator chains achieved by an exact linearization with a quasi-static feedback law of the generalized state that allows for rest-to-rest transitions. We show that such feedback laws can be systematically derived without using Brunovský states.
- [247] arXiv:2402.11885 (replaced) [pdf, html, other]
-
Title: Error estimates of the cubic interpolated pseudo-particle scheme for one-dimensional advection equationsComments: 21 pages, 1 figureSubjects: Numerical Analysis (math.NA)
Error estimates of cubic interpolated pseudo-particle scheme (CIP scheme) for the one-dimensional advection equation with periodic boundary conditions are presented. The CIP scheme is a semi-Lagrangian method involving the piecewise cubic Hermite interpolation. Although it is numerically known that the space-time accuracy of the scheme is third order, its rigorous proof remains an open problem. In this paper, denoting the spatial and temporal mesh sizes by $ h $ and $ \Delta t $ respectively, we prove an error estimate $ O(\Delta t^3 + \frac{h^4}{\Delta t}) $ in $ L^2 $ norm theoretically, which justifies the above-mentioned prediction if $ h = O(\Delta t) $. The proof is based on properties of the interpolation operator; the most important one is that it behaves as the $ L^2 $ projection for the second-order derivatives. We remark that the same strategy perfectly works as well to address an error estimate for the semi-Lagrangian method with the cubic spline interpolation.
- [248] arXiv:2402.15428 (replaced) [pdf, html, other]
-
Title: Rota--Baxter operators and skew left brace structures over Heisenberg GroupComments: 14 pages. The mistake in the matrix multiplication given to compute skew left brace structures has now been correctedSubjects: Rings and Algebras (math.RA); Group Theory (math.GR); Quantum Algebra (math.QA)
Rota--Baxter operators over groups have been recently defined in \cite{LHY2021}, and they share a close connection with skew braces, as demonstrated in \cite{VV2022}. In this paper, we classify all Rota--Baxter operators of weight 1 over the Heisenberg Lie algebra of dimension 3 by directly solving the operators defining equations. Using the fact that the exponential map from the Heisenberg Lie algebra to the Heisenberg Group is bijective, we induces these operators to the Heisenberg Group. Finally, we enumerate all skew left brace structures over the Heisenberg Group induced by these Rota--Baxter operators.
- [249] arXiv:2403.04088 (replaced) [pdf, html, other]
-
Title: The classification of endotrivial complexesComments: 25 pages. v2: Significant expository changes: new title, made the main result clearer, and removed some minor resultsSubjects: Group Theory (math.GR); Representation Theory (math.RT)
Let $G$ be a finite group and $k$ a field of prime characteristic $p$. We give a complete classification of endotrivial complexes, i.e. determine the Picard group $\mathcal{E}_k(G)$ of the tensor-triangulated category $K^b({}_{kG}\mathbf{triv})$ recently studied by Balmer and Gallauer. For $p$-groups, we identify $\mathcal{E}_k(-)$ with the rational $p$-biset functor $CF_b(-)$ of Borel-Smith functions, and recover a short exact sequence of rational $p$-biset functors constructed by Bouc and Yalçin. As a consequence, we prove that every $p$-permutation autoequivalence of a $p$-group arises from a splendid Rickard autoequivalence. Additionally, we give a positive answer to a question of Gelvin and Yalçin, showing the kernel of the Bouc homomorphism for an arbitrary finite group $G$ is described by superclass functions $f: s_p(G) \to \mathbb{Z}$ satisfying the oriented Artin-Borel-Smith conditions.
- [250] arXiv:2403.15552 (replaced) [pdf, html, other]
-
Title: Comparing functional countability and exponential separabilitySubjects: General Topology (math.GN)
A space is functionally countable if every real-valued continuous function has countable image. A stronger property recently defined by Tkachuk is exponentially separability. We start by studying these properties in GO spaces, where we extend results by Tkachuk and Wilson, and prove a conjecture by Dow. We also study some subspaces of products that are functionally countable and the influence of the $G_\delta$-topology on exponential separability. Finally, we give some examples of functionally countable spaces that are separable and uncountable.
- [251] arXiv:2403.19619 (replaced) [pdf, html, other]
-
Title: An extension to non-nilpotent groups of Rothschild-Stein lifting methodComments: 22 pagesSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
In their celebrated paper of 1976, Rothschild and Stein prove a lifting procedure that locally reduces to a free nilpotent Lie algebra any family of smooth vector fields $X_1,\dots,X_q$, over a manifold $M$. Then, a large class of differential operators can be lifted, and fundamental solutions on the lifted space can be re-projected to fundamental solutions of the given operators on $M$. In case that the Lie algebra $\mathfrak g=\mbox{Lie}(X_1,\dots,X_q)$ is finite dimensional but not nilpotent, this procedure could introduce a strong tilting of the space. In this paper we represent a global construction of a Lie group $G$ associated to $\mathfrak g$ that avoid this tilting problem. In particular $\mbox{Lie}(G)\cong\mathfrak g$ and a right $G$-action exists over $M$, faithful and transitive, inducing a natural projection $E\colon G\to M$. We represent the group $G$ as a direct product $M\times G^z$ where the model fiber $G^z$ has a group structure. We prove that for any simply connected manifold $M$ -- and a vast class of non-simply connected manifolds -- a fundamental solution for a differential operator $L=\sum_{\alpha\in\mathbb N^q} r_\alpha\cdot X^\alpha$ of finite degree over $M$ can be obtained, via a saturation method, from a fundamental solution for the associated lifted operator over the group $G$. This is a generalization of Biagi and Bonfiglioli analogous result for homogeneous vector fields over $M=\mathbb R^n$.
- [252] arXiv:2404.00635 (replaced) [pdf, html, other]
-
Title: Popov Mirror-Prox for solving Variational InequalitiesSubjects: Optimization and Control (math.OC)
We consider the mirror-prox algorithm for solving monotone Variational Inequality (VI) problems. As the mirror-prox algorithm is not practically implementable, except in special instances of VIs (such as affine VIs), we consider its implementation with Popov method updates. We provide convergence rate analysis of our proposed method for a monotone VI with a Lipschitz continuous mapping. We establish a convergence rate of $O(1/t)$, in terms of the number $t$ of iterations, for the dual gap function. Simulations on a two player matrix game corroborate our findings.
- [253] arXiv:2404.07350 (replaced) [pdf, other]
-
Title: Random permutation matrix models for graph productsIan Charlesworth, Rolando de Santiago, Ben Hayes, David Jekel, Brent Nelson, Srivatsav Kunnawalkam ElayavalliComments: 29 pages, multiple figures. Minor replacements, correcting typos etc. arXiv admin note: substantial text overlap with arXiv:2305.19463Subjects: Operator Algebras (math.OA); Combinatorics (math.CO); Functional Analysis (math.FA); Group Theory (math.GR); Probability (math.PR)
Graph independence (also known as $\epsilon$-independence or $\lambda$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.
- [254] arXiv:2404.11550 (replaced) [pdf, html, other]
-
Title: Modular resurgent structuresComments: 30 pages, minor changes, additional clarifications, added section 4.3Subjects: Number Theory (math.NT); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Complex Variables (math.CV)
The theory of resurgence uniquely associates a factorially divergent formal power series with a collection of exponentially small non-perturbative corrections paired with a set of complex numbers known as Stokes constants. When the Borel plane displays a single infinite tower of singularities, the secondary resurgent series are trivial, and the Stokes constants are coefficients of an $L$-function, a rich analytic number-theoretic fabric underlies the resurgent structure of the asymptotic series. We propose a new paradigm of modular resurgence that focuses on the role of the Stokes constants and the interplay of the $q$-series acting as their generating functions with the corresponding $L$-functions. Guided by two pivotal examples arising from topological string theory and the theory of Maass cusp forms, we introduce the notion of modular resurgent series, which we conjecture to have specific summability properties as well as to be related to quantum modular forms.
- [255] arXiv:2404.11881 (replaced) [pdf, html, other]
-
Title: Joint Transmitter and Receiver Design for Movable Antenna Enhanced Multicast CommunicationsComments: 15 pages, 9 figures, accepted by IEEE Transactions on Wireless CommunicationsJournal-ref: IEEE Transactions on Wireless Communications, 2024Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Movable antenna (MA) is an emerging technology that utilizes localized antenna movement to achieve better channel conditions for enhancing communication performance. In this paper, we study the MA-enhanced multicast transmission from a base station equipped with multiple MAs to multiple groups of single-MA users. Our goal is to maximize the minimum weighted signal-to-interference-plus-noise ratio (SINR) among all the users by jointly optimizing the position of each transmit/receive MA and the transmit beamforming. To tackle this challenging problem, we first consider the single-group scenario and propose an efficient algorithm based on the techniques of alternating optimization and successive convex approximation. Particularly, when optimizing transmit or receive MA positions, we construct a concave lower bound for the signal-to-noise ratio (SNR) of each user using only the second-order Taylor expansion, which simplifies the problem-solving process compared to the existing two-step approximation method. The proposed design is then extended to the general multi-group scenario. Simulation results show that the proposed algorithm converges faster than the existing two-step approximation method, achieving a 3.4% enhancement in max-min SNR. Moreover, it can improve the max-min SNR/SINR by up to 22.5%, 181.7%, and 343.9% compared to benchmarks employing only receive MAs, only transmit MAs, and both transmit and receive FPAs, respectively.
- [256] arXiv:2404.13980 (replaced) [pdf, other]
-
Title: Asymptotic stability of solitons for near-cubic NLS equation with an internal modeComments: New version with amelioration of Theorem 2 (obtention of the convergence of $omega$)Subjects: Analysis of PDEs (math.AP)
We consider perturbations of the one-dimensional cubic Schrödinger equation, of the form $i \, \partial_t \psi + \partial_x^2 \psi + |\psi|^2 \psi + g( |\psi|^2 ) \psi = 0$. Under hypotheses on the function $g$ that can be easily verified in some cases (such as $g(s) = s^\sigma$ with $\sigma >1$), we show that the linearized problem around a small solitary wave presents a unique internal mode. Moreover, under an additional hypothesis (the Fermi golden rule) that can also be verified in the case of powers $g(s) = s^\sigma$, we prove the asymptotic stability of the solitary waves with small frequencies.
- [257] arXiv:2404.17541 (replaced) [pdf, html, other]
-
Title: Applications of Lifted Nonlinear Cuts to Convex Relaxations of the AC Power Flow EquationsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We demonstrate that valid inequalities, or lifted nonlinear cuts (LNC), can be projected to tighten the Second Order Cone (SOC), Convex DistFlow (CDF), and Network Flow (NF) relaxations of the AC Optimal Power Flow (AC-OPF) problem. We conduct experiments on 36 cases from the PGLib-OPF library for two objective functions, (1) power generation maximization and (2) generation cost minimization. Significant optimality gap improvements are shown for the maximization problem, where the LNC strengthen the SOC and CDF relaxations in 100% of the test cases, with average and maximum differences in the optimality gaps of 23.1% and 93.5% respectively. The NF relaxation is strengthened in 79.2% of test cases, with average and maximum differences in the optimality gaps of 3.45% and 21.2% respectively. We also study the trade-off between relaxation quality and solve time, demonstrating that the strengthened CDF relaxation outperforms the strengthened SOC formulation in terms of runtime and number of iterations needed, while the strengthened NF formulation is the most scalable with the lowest relaxation quality provided by these LNC.
- [258] arXiv:2405.02513 (replaced) [pdf, html, other]
-
Title: Regular homotopy classes of links of simple singularities and immersions associated with their Dynkin diagramsComments: 22 pages, 2 figures, 1 tableSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)
Our aim is to determine the regular homotopy classes of immersions related to Arnol'd's simple singularities. For every type of simple singularities, we determine the regular homotopy class of the inclusion map of the link into the 5-sphere. We further show that the inclusion map is regularly homotopic to the immersion associated with the corresponding Dynkin diagram, which was constructed by Kinjo. We prove these by computing the complete invariants of the immersions given by Wu and Saeki--Szűcs--Takase. As an application, we also determine the Smale invariants of Kinjo's immersions.
- [259] arXiv:2405.04281 (replaced) [pdf, html, other]
-
Title: On a variant of Hilbert's 16th problemSubjects: Dynamical Systems (math.DS)
We study the number of limit cycles that a planar polynomial vector field can have as a function of its number $m$ of monomials. We prove that the number of limit cycles increases at least quadratically with $m$ and we provide good lower bounds for $m\leqslant10$.
- [260] arXiv:2405.04337 (replaced) [pdf, html, other]
-
Title: On the Kauffman bracket skein module of $(S^1 \times S^2) \ \# \ (S^1 \times S^2)$Comments: 32 pages, 20 figuresSubjects: Geometric Topology (math.GT); Quantum Algebra (math.QA)
Determining the structure of the Kauffman bracket skein module of all $3$-manifolds over the ring of Laurent polynomials $\mathbb Z[A^{\pm 1}]$ is a big open problem in skein theory. Very little is known about the skein module of non-prime manifolds over this ring. In this paper, we compute the Kauffman bracket skein module of the $3$-manifold $(S^1 \times S^2) \ \# \ (S^1 \times S^2)$ over the ring $\mathbb Z[A^{\pm 1}]$. We do this by analysing the submodule of handle sliding relations, for which we provide a suitable basis. Along the way we also compute the Kauffman bracket skein module of $(S^1 \times S^2) \ \# \ (S^1 \times D^2)$. Furthermore, we show that the skein module of $(S^1 \times S^2) \ \# \ (S^1 \times S^2)$ does not split into the sum of free and torsion submodules.
- [261] arXiv:2405.07818 (replaced) [pdf, html, other]
-
Title: New lower bound on ball packing density in high-dimensional hyperbolic spacesComments: 18 pages, minor revisionSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
We present a new lower bound on the Bowen-Radin maximal density of radius-R ball packings in the m-dimensional hyperbolic space, improving on the basic covering bound by factor \Omega(m(R+\ln m)) as m tends to infinity. This is done by applying the recent theorem of Campos, Jenssen, Michelen and Sahasrabudhe on independent sets in graphs with sparse neighbourhoods.
- [262] arXiv:2405.15592 (replaced) [pdf, other]
-
Title: Density Sensitive Bifiltered Dowker Complexes via Total WeightComments: 40 pages, 12 figures. Expanded results and improved exposition. Code available at this https URLSubjects: Algebraic Topology (math.AT)
In this paper, we introduce new density-sensitive bifiltrations for data using the framework of Dowker complexes.
Previously, Dowker complexes were studied to address directional or bivariate data whereas density-sensitive bifiltrations on Čech and Vietoris--Rips complexes were suggested to make them more robust, while increasing computational complexity.
We combine these two lines of research, noting that the superlevels of the total weight function of a Dowker complex can be identified as an instance of Sheehy's multicover filtration.
We prove a version of Dowker duality that is compatible with this filtration and show that it corresponds to the multicover nerve theorem.
As a consequence, we find that the subdivision intrinsic Čech complex admits a smaller model.
Moreover, regarding the total weight function as a counting measure, we generalize it to arbitrary measures and prove a density-sensitive stability theorem for the case of probability measures.
As an application, we propose a robust landmark-based bifiltration which approximates the multicover bifiltration.
Additionally, we provide an algorithm to calculate the appearances of simplices in our bifiltration and present computational examples. - [263] arXiv:2405.20395 (replaced) [pdf, html, other]
-
Title: The bounded cohomology of transformation groups of Euclidean spaces and discsComments: 43 pages. Main paper by the first three authors, appendix by the fourth author. v2: minor changesSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Group Theory (math.GR)
We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result for the group of homeomorphisms of the disc that restrict to the identity on the boundary, and for the homeomorphism group of the non-compact Cantor set. In the appendix, Alexander Kupers proves a controlled version of the annulus theorem which we use to study the bounded cohomology of the homeomorphism group of the discs.
- [264] arXiv:2405.20809 (replaced) [pdf, html, other]
-
Title: Equivariant parametrized topological complexityComments: 21 pages. The paper has been accepted for the publication in the journal Proceedings of the Royal Society of Edinburgh Section ASubjects: Algebraic Topology (math.AT)
In this paper, we define and study an equivariant analogue of Cohen, Farber and Weinberger's parametrized topological complexity. We show that several results in the non-equivariant case can be extended to the equivariant case. For example, we establish the fibrewise equivariant homotopy invariance of the sequential equivariant parametrized topological complexity. We obtain several bounds on sequential equivariant topological complexity involving equivariant category. We also obtain the cohomological lower bound and the dimension-connectivity upper bound on the sequential equivariant parametrized topological complexity. In the end we use these results to compute sequential equivariant parametrized topological complexity of equivariant Fadell-Neuwirth fibrations and some equivariant fibrations involving generalized projective product spaces.
- [265] arXiv:2406.02108 (replaced) [pdf, html, other]
-
Title: Description Complexity of Unary Structures in First-Order Logic with Links to EntropyComments: Clarified formula size calculationsSubjects: Logic (math.LO); Logic in Computer Science (cs.LO)
The description complexity of a model is the length of the shortest formula that defines the model. We study the description complexity of unary structures in first-order logic FO, also drawing links to semantic complexity in the form of entropy. The class of unary structures provides, e.g., a simple way to represent tabular Boolean data sets as relational structures. We define structures with FO-formulas that are strictly linear in the size of the model as opposed to using the naive quadratic ones, and we use arguments based on formula size games to obtain related lower bounds for description complexity. For a typical structure the upper and lower bounds in fact match up to a sublinear term, leading to a precise asymptotic result on the expected description complexity of a randomly selected structure. We then give bounds on the relationship between Shannon entropy and description complexity. We extend this relationship also to Boltzmann entropy by establishing an asymptotic match between the two entropies. Despite the simplicity of unary structures, our arguments require the use of formula size games, Stirling's approximation and Chernoff bounds.
- [266] arXiv:2406.02825 (replaced) [pdf, html, other]
-
Title: Continuous Edge Chromatic Numbers of Abelian Group ActionsSubjects: Combinatorics (math.CO); Logic (math.LO)
We prove that for any generating set $S$ of $\mathbb {Z}^n$, the continuous edge chromatic number of the Schreier graph of the Bernoulli shift action $G=F(S,2^{\mathbb{Z}^n})$ is $\chi'_c(G)=\chi'(G)+1$. In particular, for the standard generating set, the continuous edge chromatic number of $F(2^{\mathbb {Z}^n})$ is $2n+1$.
- [267] arXiv:2406.02829 (replaced) [pdf, html, other]
-
Title: Approximation properties of torsion classesSubjects: Logic (math.LO); Commutative Algebra (math.AC); Category Theory (math.CT); Rings and Algebras (math.RA)
We strengthen a result of Bagaria and Magidor~\cite{MR3152715} about the relationship between large cardinals and torsion classes of abelian groups, and prove that (1) the \emph{Maximum Deconstructibility} principle introduced in \cite{Cox_MaxDecon} requires large cardinals; it sits, implication-wise, between Vopěnka's Principle and the existence of an $\omega_1$-strongly compact cardinal. (2) While deconstructibility of a class of modules always implies the precovering property by \cite{MR2822215}, the concepts are (consistently) non-equivalent, even for classes of abelian groups closed under extensions, homomorphic images, and colimits.
- [268] arXiv:2406.07218 (replaced) [pdf, html, other]
-
Title: On eventually greedy best underapproximations by Egyptian fractionsComments: 7 pages; v2 corrects the history of the claim for rational numbers; v3 incorporates referee's suggestions. The author is grateful to Richard Green for discussing the paper and its background in the popular newsletter "A Piece of the Pi: mathematics explained"Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
Erdős and Graham found it conceivable that the best $n$-term Egyptian underapproximation of almost every positive number for sufficiently large $n$ gets constructed in a greedy manner, i.e., from the best $(n-1)$-term Egyptian underapproximation. We show that the opposite is true: the set of real numbers with this property has Lebesgue measure zero. [This note solves Problem 206 on Bloom's website "Erdős problems".]
- [269] arXiv:2406.12868 (replaced) [pdf, other]
-
Title: Triple products of eigenfunctions and spectral geometryComments: 8 pages, no figuresSubjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Functional Analysis (math.FA)
Using elementary techniques from Geometric Analysis, Partial Differential Equations, and Abelian $C^*$ Algebras, we uncover a novel, yet familiar, global geometric invariant -- namely the indexed set of integrals of triple products of eigenfunctions of the Laplace-Beltrami operator, to precisely characterize which isospectral closed Riemannian manifolds are isometric.
- [270] arXiv:2407.02789 (replaced) [pdf, other]
-
Title: Higher-Order Trace Formulas for Contractive and Dissipative OperatorsComments: Results are extended to an admissible function class that includes Besov spacesSubjects: Functional Analysis (math.FA)
We establish higher order trace formulas for pairs of contractions along a multiplicative path generated by a self-adjoint operator in a Schatten-von Neumann ideal, removing earlier stringent restrictions on the kernel and defect operator of the contractions and enlarging the set of admissible functions. We also derive higher order trace formulas for maximal dissipative operators under relaxed assumptions and new simplified trace formulas for unitary and resolvent comparable self-adjoint operators. The respective spectral shift measures are absolutely continuous and, in the case of contractions, the set of admissible functions for the $n$th order trace formula on the unit circle includes the Besov class $B^n_{\infty, 1}(\T)$. Both aforementioned properties are new in the mentioned generality.
- [271] arXiv:2407.04154 (replaced) [pdf, html, other]
-
Title: Liouville theorems and universal estimates for superlinear elliptic problems without scale invarianceComments: 56 pages, minor changes (Remark 7.1(ii) added, a few typos corrected)Subjects: Analysis of PDEs (math.AP)
We give applications of known and new Liouville type theorems to universal singularity and decay estimates for non scale invariant elliptic problems, including Lane-Emden and Schrödinger type systems. This applies to various classes of nonlinearities with regular variation and possibly different behaviors at $0$ and $\infty$. To this end, we adapt the method from [72] to elliptic systems, which relies on a generalized rescaling technique and on doubling arguments from [55].
This is in particular facilitated by new Liouville type theorems in the whole space and in a half-space, for elliptic problems without scale invariance, that we obtain. Our results apply to some non-cooperative systems, for which maximum principle based techniques such as moving planes do not apply. To prove these Liouville type theorems, we employ two methods, respectively based on Pohozaev-type identities combined with functional inequalities on the unit sphere, and on reduction to a scalar equation by proportionality of components.
In turn we will survey the existing methods for proving Liouville-type theorems for superlinear elliptic equations and systems, and list some of the typical existing results for (Sobolev subcritical) systems.
In the case of scalar equations, we also revisit the classical Gidas-Spruck integral Bernstein method, providing some improvements which turn out to be efficient for certain nonlinearities, and we next compare the performances of various methods on a benchmark example. - [272] arXiv:2407.06726 (replaced) [pdf, html, other]
-
Title: Optimal control of a non-smooth elliptic PDE with non-linear term acting on the controlComments: 22 pages, just minor modifications, added the reference to arXiv:2409.15039, related to the preprints arXiv:2406.15146 (version 3) and arXiv:2409.15039Subjects: Optimization and Control (math.OC)
This paper continues the investigations from [7] and is concerned with the derivation of first-order conditions for a control constrained optimization problem governed by a non-smooth elliptic PDE. The control enters the state equation not only linearly but also as the argument of a regularization of the Heaviside function. The non-linearity which acts on the state is locally Lipschitz-continuous and not necessarily differentiable, i.e., non-smooth. This excludes the application of standard adjoint calculus. We derive conditions under which a strong stationary optimality system can be established, i.e., a system that is equivalent to the purely primal optimality condition saying that the directional derivative of the reduced objective in feasible directions is nonnegative. For this, two assumptions are made on the unknown optimizer. These are fulfilled if the non-smoothness is locally convex around its non-differentiable points and if an estimate involving only the given data is true. Some of the presented findings are employed in the recent contribution [8], where limit optimality systems for non-smooth shape optimization problems [7] are established.
- [273] arXiv:2407.10065 (replaced) [pdf, other]
-
Title: An Efficient High-Dimensional Gradient Estimator for Stochastic Differential EquationsSubjects: Optimization and Control (math.OC)
Overparameterized stochastic differential equation (SDE) models have achieved remarkable success in various complex environments, such as PDE-constrained optimization, stochastic control and reinforcement learning, financial engineering, and neural SDEs. These models often feature system evolution coefficients that are parameterized by a high-dimensional vector $\theta \in \mathbb{R}^n$, aiming to optimize expectations of the SDE, such as a value function, through stochastic gradient ascent. Consequently, designing efficient gradient estimators for which the computational complexity scales well with $n$ is of significant interest. This paper introduces a novel unbiased stochastic gradient estimator--the generator gradient estimator--for which the computation time remains stable in $n$. In addition to establishing the validity of our methodology for general SDEs with jumps, we also perform numerical experiments that test our estimator in linear-quadratic control problems parameterized by high-dimensional neural networks. The results show a significant improvement in efficiency compared to the widely used pathwise differentiation method: Our estimator achieves near-constant computation times, increasingly outperforms its counterpart as $n$ increases, and does so without compromising estimation variance. These empirical findings highlight the potential of our proposed methodology for optimizing SDEs in contemporary applications.
- [274] arXiv:2407.19751 (replaced) [pdf, html, other]
-
Title: Class number behavior in a two-tiered tower of $\mathbb{Z}_p$-extensionsComments: 15 pages. Several places were modified. References were added. Some contents were added or updatedSubjects: Number Theory (math.NT)
Let $k_\infty$ be the cyclotomic $\mathbb{Z}_p$-extension field of an algebraic number field $k$. Moreover, we take a $\mathbb{Z}_p$-extension $K_\infty$ over $k_\infty$. In this paper, we study the behavior of the $p$-part of the class number of certain intermediate fields of $K_\infty /k$. We also consider the structure of the unramified Iwasawa module of $K_\infty / k_\infty$ for several cases.
- [275] arXiv:2407.21135 (replaced) [pdf, html, other]
-
Title: Physical Modelling and Cancellation of External Passive Intermodulation in FDD MIMOSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In this paper, the physical approach to model external (air-induced) passive intermodulation (PIM) is presented in a frequency-division duplexing (FDD) multiple-input multiple-output (MIMO) system with an arbitrary number of transceiver chains. The external PIM is a special case of intermodulation distortion (IMD), mainly generated by metallic objects possessing nonlinear properties ("rusty bolt" effect). Typically, such sources are located in the near-field or transition region of the antenna array. PIM products may fall into the receiver band of the FDD system, negatively affecting the uplink signal. In contrast to other works, this one directly simulates the physical external PIM. The system includes models of a point-source external PIM, a finite-length dipole antenna, a MIMO antenna array, and a baseband multicarrier 5G NR OFDM signal. The Channel coefficients method for multi-PIM-source compensation is replicated to verify the proposed external PIM modelling approach. Simulation results of artificially generated PIM cancellation show similar performance as real-life experiments. Therefore, the proposed approach allows testing PIM compensation algorithms on large systems with many antennas and arbitrary array structures. This eliminates the need for experiments with real hardware at the development stage of the PIM cancellation algorithm.
- [276] arXiv:2408.03434 (replaced) [pdf, html, other]
-
Title: The Comma Sequence is Finite in Other BasesComments: This version handles much larger bases by using a superior cycle-detection algorithm suggested by Luke PebodySubjects: Number Theory (math.NT); Combinatorics (math.CO)
The comma sequence (1, 12, 35, 94, ...) is the lexicographically earliest sequence such that the difference of consecutive terms equals the concatenation of the digits on either side of the comma separating them. The behavior of a "generalized comma sequence" depends on the base the numbers are written in, as well as the sequence's initial values. We provide a computational proof that all comma sequences in bases 3 through 633 are finite. Relying on a combinatorial conjecture, Angelini et al. estimated that the final element of a comma sequence in base b should be roughly exp(O(b)). We prove their conjecture, but provide evidence that the correct estimate is actually exp(O(b log b)).
- [277] arXiv:2408.08844 (replaced) [pdf, html, other]
-
Title: Supercongruences arising from Ramanujan-Sato SeriesSubjects: Number Theory (math.NT)
Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/\pi$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle groups of non-compact type. Here, we use work of Chisholm, Deines, Long, Nebe and the third author to prove a general $p$-adic supercongruence theorem through an explicit connection to CM hypergeometric elliptic curves that provides $p$-adic analogues of these Ramanujan-Sato series. We further use this theorem to construct explicit examples related to each of our explicit Ramanujan-Sato series examples.
- [278] arXiv:2408.09861 (replaced) [pdf, html, other]
-
Title: Equivalent Systems for Differential Equations with Polynomially Distributed DelayComments: 17 pages, 8 figuresSubjects: Numerical Analysis (math.NA)
We consider delay differential equations with a polynomially distributed delay. We derive an equivalent system of delay differential equations, which includes just two discrete delays. The stability of the equivalent system and its stationary solutions are investigated. Alternatively, a Gaussian quadrature generates a discretisation of the integral, which describes the distributed delay in the original delay differential equation. This technique yields an approximate differential equation with multiple discrete delays. We present results of numerical computations, where initial value problems of the differential equations are solved. Therein, the two approaches are compared.
- [279] arXiv:2408.10127 (replaced) [pdf, html, other]
-
Title: Completing the proof of the Liebeck--Nikolov--Shalev conjectureSubjects: Group Theory (math.GR); Combinatorics (math.CO)
Liebeck, Nikolov, and Shalev conjectured the existence of an absolute constant $C>0$, such that for every subset $A$ of a finite simple group $G$ with $|A|\ge 2$, there exists $C\log|G|/\log|A|$ conjugates of $A$ whose product is $G$. This paper is a companion to \cite{GLPS}, and together they prove the conjecture.
To prove the conjecture, we establish the following skew-product theorem. We show that there exists $ c > 0 $ such that for all $ \epsilon > 0 $ and subsets $ A, B \subseteq G $ of finite simple groups of Lie type, if $ |B| < |G|^{1 - \epsilon} $, then $ |A^{\sigma} B| > |B||A|^{c \epsilon} $ for some $ \sigma \in G $. This result, along with its more involved analogue for alternating groups, constitutes the main contribution of this paper.
Our proof leverages deep results from character theory alongside the probabilistic method. - [280] arXiv:2408.11516 (replaced) [pdf, html, other]
-
Title: Fixation of leadership in non-Markovian growth processesComments: 25 pages, no figures. Updated and simplified statements of Theorem 1.4., Corollary 1.8. and Theorem 1.13., corrected some minor errorsSubjects: Probability (math.PR); Combinatorics (math.CO)
Consider a model where $N$ equal agents possess `values', belonging to $\mathbb{N}_0$, that are subject to incremental growth over time. More precisely, the values of the agents are represented by $N$ independent, increasing $\mathbb{N}_0$ valued processes with random, independent waiting times between jumps. We show that the event that a single agent possesses the maximum value for all sufficiently large values of time (called `leadership') occurs with probability zero or one, and provide necessary and sufficient conditions for this to occur. Under mild conditions we also provide criteria for a single agent to become the unique agent of maximum value for all sufficiently large times, and also conditions for the emergence of a unique agent having value that tends to infinity before `explosion' occurs (i.e. conditions for `strict leadership' or `monopoly' to occur almost surely). The novelty of this model lies in allowing non-exponentially distributed waiting times between jumps in value. In the particular case when waiting times are mixtures of exponential distributions, we improve a well-established result on the `balls in bins' model with feedback, removing the requirement that the feedback function be bounded from below and also allowing random feedback functions. As part of the proofs we derive necessary and sufficient conditions for the distribution of a convergent series of independent random variables to have an atom on the real line, a result which we believe may be of interest in its own right.
- [281] arXiv:2408.12847 (replaced) [pdf, html, other]
-
Title: A gradient system based on anisotropic monochrome image processing with orientation auto-adjustmentComments: 28 pagesSubjects: Analysis of PDEs (math.AP)
This paper is devoted to the mathematical analysis of a system of pseudo-parabolic partial differential equations governed by an energy functional, associated with anisotropic monochrome image processing. The energy functional is based on the one proposed by [Berkels et al. Cartoon extraction based on anisotropic image classification, SFB 611, 2006], which incorporates an orientation auto-adjustment mechanism, and our energy is a simplified version which reduces the order of derivatives to improve computational efficiency. The aim of this paper is to establish a stable minimization process that addresses some instability of the algorithm caused by the reduction of derivative order. As a part of the study, we here prove Main Theorems concerned with the well-posedness of the pseudo-parabolic system, and provide a mathematically rigorous guarantee for the stability of the image denoising process derived from our system.
- [282] arXiv:2408.13187 (replaced) [pdf, html, other]
-
Title: Superheavy Skeleta for non-Normal Crossings DivisorsComments: 52 pages, 8 figuresSubjects: Symplectic Geometry (math.SG)
Given an anticanonical divisor in a projective variety, one naturally obtains a monotone Kähler manifold. In this paper, for divisors in a certain class (larger than normal crossings), we construct smoothing families of contact hypersurfaces with controlled Reeb dynamics. We use these to obtain subsets of the divisor complement which are superheavy. In particular, we will show that several examples of Lagrangian skeleta of such divisor complements are superheavy, in cases where applying Lagrangian Floer theory may be intractable.
- [283] arXiv:2408.15120 (replaced) [pdf, other]
-
Title: Determination of the fifth Singer algebraic transfer in some degreesComments: 32 pagesSubjects: Algebraic Topology (math.AT)
Let $P_k$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$ over the prime field $\mathbb F_2$ with two elements and the degree of each variable $x_i$ being 1, and let $GL_k$ be the general linear group over $\mathbb F_2$ which acts on $P_k$ as the usual manner. The algebra $P_k$ is considered as a module over the mod-2 Steenrod algebra $\mathcal A$. In 1989, Singer [22] defined the $k$-th homological algebraic transfer, which is a homomorphism $$\varphi_k :{\rm Tor}^{\mathcal A}_{k,k+d} (\mathbb F_2,\mathbb F_2) \to (\mathbb F_2\otimes_{\mathcal A}P_k)_d^{GL_k}$$ from the homological group of the mod-2 Steenrod algebra $\mbox{Tor}^{\mathcal A}_{k,k+d} (\mathbb F_2,\mathbb F_2)$ to the subspace $(\mathbb F_2\otimes_{\mathcal A}P_k)_d^{GL_k}$ of $\mathbb F_2{\otimes}_{\mathcal A}P_k$ consisting of all the $GL_k$-invariant classes of degree $d$.
In this paper, by using the results of the Peterson hit problem we present the proof of the fact that the Singer algebraic transfer of rank five is an isomorphism in the internal degrees $d= 20$ and $d = 30$. Our result refutes the proof for the case of $d=20$ in Phúc [17]. - [284] arXiv:2409.01920 (replaced) [pdf, html, other]
-
Title: Pairs of commuting integer matricesComments: 13 pages; improved upper bound and flatness of the commutator map is now provedSubjects: Number Theory (math.NT)
We prove upper and lower bounds on the number of pairs of commuting $n\times n$ matrices with integer entries in $[-T,T]$, as $T\to \infty$. Our work uses Fourier analysis and leads us to an analysis of exponential sums involving matrices over finite fields. These are bounded by combining a stratification result of Fouvry and Katz with a new result about the flatness of the commutator Lie bracket.
- [285] arXiv:2409.02457 (replaced) [pdf, other]
-
Title: On Oriented Diameter of Power GraphsComments: 24 pages, Corrected typos, and Revised some statementsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of a cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at least $3$. Moreover, we provide necessary and sufficient conditions for the oriented diameter of 2-edge connected power graphs of finite non-cyclic nilpotent groups to be either $3$ or $4$. This, in turn, gives an algorithm for computing the oriented diameter of the power graph of a given nilpotent group that runs in time polynomial in the size of the group.
- [286] arXiv:2409.07191 (replaced) [pdf, other]
-
Title: The Least Action Admissibility PrincipleComments: 16 pages, misprints correctedSubjects: Analysis of PDEs (math.AP)
This paper provides a new admissibility criterion for choosing physically relevant weak solutions of the equations of Lagrangian and continuum mechanics when non-uniqueness of solutions to the initial value problem occurs. The criterion is motivated by the classical least action principle but is now applied to initial value problems which exhibit non-unique solutions. Examples are provided to Lagrangian mechanics and the Euler equations of barotropic fluid mechanics. In particular an example is provided which shows the least action admissibility principle prefers the classical two shock solution to the Riemann initial value problem to solutions generated by convex integration, yet for the same example Dafermos's entropy rate criterion prefers the convex integration solutions to the two shock solution.
- [287] arXiv:2409.08928 (replaced) [pdf, other]
-
Title: Self-Organized State-Space Models with Artificial DynamicsComments: 102 pages (28 pages for the paper, 6 for the appendix and 68 for the supplementary material), 4 figuresSubjects: Statistics Theory (math.ST); Computation (stat.CO); Methodology (stat.ME)
We consider a state-space model (SSM) parametrized by some parameter $\theta$, and our aim is to perform joint parameter and state inference. A simple idea to carry out this task, which almost dates back to the origin of the Kalman filter, is to replace the static parameter $\theta$ by a Markov chain $(\theta_t)_{t\geq 0}$ and then to apply a filtering algorithm to the extended, or self-organized SSM (SO-SSM). However, the practical implementation of this idea in a theoretically justified way has remained an open problem. In this paper we fill this gap by introducing various possible constructions of $(\theta_t)_{t\geq 0}$ that ensure the validity of the SO-SSM for joint parameter and state inference. Notably, we show that such SO-SSMs can be defined even if $\|\mathrm{Var}(\theta_{t}|\theta_{t-1})\|\rightarrow 0$ slowly as $t\rightarrow\infty$. This result is important since, as illustrated in our numerical experiments, these models can be efficiently approximated using particle filter algorithms. While SO-SSMs have been introduced for online inference, the development of iterated filtering (IF) algorithms has shown that they can also serve for computing the maximum likelihood estimator of a given SSM. In this work, we also derive constructions of $(\theta_t)_{t\geq 0}$ and theoretical guarantees tailored to these specific applications of SO-SSMs and, as a result, introduce new IF algorithms. From a practical point of view, the algorithms we develop have the merit of being simple to implement and only requiring minimal tuning to perform well.
- [288] arXiv:2409.09375 (replaced) [pdf, html, other]
-
Title: Initial Error Affection and Error Correction in Linear Quadratic Mean Field Games under Erroneous Initial InformationSubjects: Optimization and Control (math.OC)
In this paper, the initial error affection and error correction in linear quadratic mean field games (MPLQMFGs) under erroneous initial distribution information are investigated. First, a LQMFG model is developed where agents are coupled by dynamics and cost functions. Next, by studying the evolutionary of LQMFGs under erroneous initial distributions information, the affection of initial error on the game and agents' strategies are given. Furthermore, under deterministic situation, we provide a sufficient condition for agents to correct initial error and give their optimal strategies when agents are allowed to change their strategies at a intermediate time. Besides, the situation where agents are allowed to predict MF and adjust their strategies in real-time is considered. Finally, simulations are performed to verify above conclusions.
- [289] arXiv:2409.11806 (replaced) [pdf, html, other]
-
Title: Exotic Dehn twists and homotopy coherent group actionsComments: 23 pages; minor changes, comments welcomeSubjects: Geometric Topology (math.GT)
We consider the question of extending a smooth homotopy coherent finite cyclic group action on the boundary of a smooth 4-manifold to its interior. As a result, we prove that Dehn twists along any Seifert homology sphere, except the 3-sphere, on their simply connected positive-definite fillings are infinite order exotic.
- [290] arXiv:2409.12513 (replaced) [pdf, other]
-
Title: H\"older regularity of solutions of the steady Boltzmann equation with soft potentialsSubjects: Analysis of PDEs (math.AP)
We consider the Hölder regularity of solutions to the steady Boltzmann equation with in-flow boundary condition in bounded and strictly convex domains $\Omega\subset\mathbb{R}^{3}$ for gases with cutoff soft potential $(-3<\gamma<0)$. We prove that there is a unique solution with a bounded $L^{\infty}$ norm in space and velocity. This solution is Hölder continuous, and it's order depends not only on the regularity of the incoming boundary data, but also on the potential power $\gamma$. The result for modulated soft potential case $-2<\gamma<0$ is similar to hard potential case $(0\leq\gamma<1)$ since we have $C^{1}$ velocity regularity from collision part. However, we observe that for very soft potential case $(-3<\gamma\leq -2)$, the regularity in velocity obtained by the collision part is lower (Hölder only), but the boundary regularity still can transfer to solution (in both space and velocity) by transport and collision part under the restriction of $\gamma$.
- [291] arXiv:2409.14264 (replaced) [pdf, html, other]
-
Title: The Differential and Boomerang Properties of a Class of BinomialsSubjects: Number Theory (math.NT); Cryptography and Security (cs.CR); Information Theory (cs.IT)
Let $q$ be an odd prime power with $q\equiv 3\ ({\rm{mod}}\ 4)$. In this paper, we study the differential and boomerang properties of the function $F_{2,u}(x)=x^2\big(1+u\eta(x)\big)$ over $\mathbb{F}_{q}$, where $u\in\mathbb{F}_{q}^*$ and $\eta$ is the quadratic character of $\mathbb{F}_{q}$. We determine the differential uniformity of $F_{2,u}$ for any $u\in\mathbb{F}_{q}^*$ and determine the differential spectra and boomerang uniformity of the locally-APN functions $F_{2,\pm 1}$, thereby disproving a conjecture proposed in \cite{budaghyan2024arithmetization} which states that there exist infinitely many $q$ and $u$ such that $F_{2,u}$ is an APN function.
- [292] arXiv:2409.14503 (replaced) [pdf, html, other]
-
Title: Scalar-mean rigidity theorem for compact manifolds with boundaryComments: 33 pages; minor changesSubjects: Differential Geometry (math.DG)
We prove a scalar-mean rigidity theorem for compact Riemannian manifolds with boundary in dimension less than five by extending Schoen-Yau dimension reduction argument. As a corollary, we prove the sharp spherical radius rigidity theorem and best NNSC fill-in in terms of the mean curvature. Additionally, we prove a (Lipschitz) Listing type scalar-mean comparison rigidity theorem for these dimensions. Our results remove the spin assumption.
- [293] arXiv:2409.15245 (replaced) [pdf, html, other]
-
Title: Optimal boundary gradient estimates for the insulated conductivity problemSubjects: Analysis of PDEs (math.AP)
In this paper we study the boundary gradient estimate of the solution to the insulated conductivity problem with the Neumann boundary data when a convex insulating inclusion approaches the boundary of the matrix domain. The gradient of solutions may blow up as the distance between the inclusion and the boundary, denoted as $\varepsilon$, approaches to zero. The blow up rate was previously known to be sharp in dimension $n=2$ (see Ammari et al.\cite{AKLLL}). However, the sharp rates in dimensions $n\geq3$ are still unknown. In this paper, we solve this problem by establishing upper and lower bounds on the gradient and prove that the optimal blow up rates of the gradient are always of order $\epsilon^{-1/2}$ for general strictly convex inclusions in dimensions $n\geq3$. Several new difficulties are overcome and the impact of the boundary data on the gradient is specified. This result highlights a significant difference in blow-up rates compared to the interior estimates in recent works (\cites{LY,Weinkove,DLY,DLY2,LZ}), where the optimal rate is $\epsilon^{-1/2+\beta(n)}$, with $\beta(n)\in(0,1/2)$ varying with dimension $n$. Furthermore, we demonstrate that the gradient does not blow up for the corresponding Dirichlet boundary problem.
- [294] arXiv:2409.15490 (replaced) [pdf, html, other]
-
Title: Positive braids minimize ascending numberComments: 9 pages, 4 figures, 2 tables; comments welcome; v2 updates Question 4, which is easily answered in the negative for strongly quasipositive knotsSubjects: Geometric Topology (math.GT)
A well-known algorithm for unknotting knots involves traversing a knot diagram and changing each crossing that is first encountered from below. The minimal number of crossings changed in this way across all diagrams for a knot is called the ascending number of the knot. The ascending number is bounded below by the unknotting number. We show that for knots obtained as the closure of a positive braid, the ascending number equals the unknotting number.
We also present data indicating that a similar result may hold for positive knots. We use this data to examine which low-crossing knots have the property that their ascending number is realized in a minimal crossing diagram, showing that there are at most 5 hyperbolic, alternating knots with at most 12 crossings with this property. - [295] arXiv:2409.15504 (replaced) [pdf, html, other]
-
Title: Extremal values for the square energies of graphsComments: 19 pages, 1 figure. Fix a few typosSubjects: Combinatorics (math.CO); Spectral Theory (math.SP)
Let $G$ be a graph with $n$ non-isolated vertices and $m$ edges. The positive / negative square energies of $G$, denoted $s^+(G)$ / $s^-(G)$, are defined as the sum of squares of the positive / negative eigenvalues of the adjacency matrix $A_G$ of $G$. In this work, we provide several new tools for studying square energy encompassing semi-definite optimization, graph operations, and surplus. Using our tools, we prove the following results on the extremal values of $s^{\pm}(G)$ with a given number of vertices and edges.
1. We have $\min(s^+(G), s^-(G)) \geq n - \gamma \geq \frac{n}{2}$, where $\gamma$ is the domination number of $G$. This verifies a conjecture of Elphick, Farber, Goldberg and Wocjan up to a constant, and proves a weaker version of this conjecture introduced by Elphick and Linz.
2. We have $s^+(G) \geq m^{6/7 - o(1)}$ and $s^-(G) = \Omega(m^{1/2})$, with both exponents being optimal. - [296] arXiv:2409.15734 (replaced) [pdf, html, other]
-
Title: Trust-Region Sequential Quadratic Programming for Stochastic Optimization with Random ModelsComments: 41 pages, 3 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Numerical Analysis (math.NA); Computation (stat.CO); Machine Learning (stat.ML)
In this work, we consider solving optimization problems with a stochastic objective and deterministic equality constraints. We propose a Trust-Region Sequential Quadratic Programming method to find both first- and second-order stationary points. Our method utilizes a random model to represent the objective function, which is constructed from stochastic observations of the objective and is designed to satisfy proper adaptive accuracy conditions with a high but fixed probability. To converge to first-order stationary points, our method computes a gradient step in each iteration defined by minimizing a quadratic approximation of the objective subject to a (relaxed) linear approximation of the problem constraints and a trust-region constraint. To converge to second-order stationary points, our method additionally computes an eigen step to explore the negative curvature of the reduced Hessian matrix, as well as a second-order correction step to address the potential Maratos effect, which arises due to the nonlinearity of the problem constraints. Such an effect may impede the method from moving away from saddle points. Both gradient and eigen step computations leverage a novel parameter-free decomposition of the step and the trust-region radius, accounting for the proportions among the feasibility residual, optimality residual, and negative curvature. We establish global almost sure first- and second-order convergence guarantees for our method, and present computational results on CUTEst problems, regression problems, and saddle-point problems to demonstrate its superiority over existing line-search-based stochastic methods.
- [297] arXiv:2409.16233 (replaced) [pdf, html, other]
-
Title: Addition theorems in partially ordered groupsComments: Minor corrections and improvements. 11 pagesSubjects: Number Theory (math.NT); Group Theory (math.GR)
Shnirel'man's inequality and Shnirel'man's basis theorem are fundamental results about sums of sets of positive integers in additive number theory. It is proved that these results are inherently order-theoretic and extend to partially ordered abelian and nonabelian groups. One abelian application is an addition theorem for sums of sets of $n$-dimensional lattice points.
- [298] arXiv:2409.16372 (replaced) [pdf, html, other]
-
Title: An Exposition on the Kaniadakis \kappa-Deformed Decay Differential EquationSubjects: Mathematical Physics (math-ph)
Kaniadakis deformed \kappa-mathematics is an area of mathematics that has found relevance in the analysis of complex systems. Specifically, the mathematical framework in the context of a first-order decay \kappa-differential equation is investigated, facilitating an in-depth examination of the \kappa-mathematical structure. This framework serves as a foundational platform, representing the simplest non-trivial setting for such inquiries which are demonstrated for the first time in the literature. Finally, additional avenues of study are discussed
- [299] arXiv:2409.16557 (replaced) [pdf, html, other]
-
Title: Complex K-theory of 4-complexesComments: 4 pages. some typo corrections and one new referenceSubjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT)
This short note summarizes a number of facts about the ring $K^0(X)$ for $X$ a $4$-dimensional CW-complex. Unusual features of this dimension are that every complex vector bundle is determined up to stable isomorphism by its Chern classes, that every even cohomology class arises as a Chern class of a vector bundle, and that $K^0(X)$ is completely determined as a ring by knowledge of the even-dimensional cohomology ring $H^{\text{even}}(X; \mathbb Z)$. (All of these fail in high dimensions.)
- [300] arXiv:2409.16812 (replaced) [pdf, html, other]
-
Title: Weighted Weak-type Inequalities For Fractionally Sparsely Dominated OperatorsComments: 14 pages, 0 figureSubjects: Classical Analysis and ODEs (math.CA)
In this paper, we establish quantitative weak type estimates for operators that are dominated by (fractional) sparse operators in bilinear sense. Specifically, we derive bounds for both the restricted weak type $L^{p,1}\rightarrow L^{q,\infty}$ and the multiplier weak type, the latter of which has been previously considered by Cruz-Uribe and Sweeting. These estimates provide a precise quantification of the mapping properties of the considered operators, extending and refining the existing theory.
- [301] arXiv:2409.16836 (replaced) [pdf, html, other]
-
Title: Strong holomorphic Morse inequalities on non-compact complex manifolds with optimal fundamental estimateSubjects: Complex Variables (math.CV); Differential Geometry (math.DG)
In this paper, we establish strong holomorphic Morse inequalities on non-compact manifolds under the condition of optimal fundamental estimates. We show that optimal fundamental estimates are satisfied and then strong holomorphic Morse inequalities hold true in various settings.
- [302] arXiv:2409.16877 (replaced) [pdf, html, other]
-
Title: Central derived autoequivalences of K3 surfacesComments: Corrected a typo in the titleSubjects: Algebraic Geometry (math.AG)
We apply the theory of Bridgeland's stability conditions to describe the center of the group $\mathrm{Aut}(\mathrm{D}^b(X))$ of bounded derived autoequivalences of a complex projective K3 surface.
- [303] arXiv:2409.17078 (replaced) [pdf, html, other]
-
Title: Empty red-red-blue trianglesComments: 8 pages, 3 figuresSubjects: Combinatorics (math.CO)
Let $P$ be a $2n$-point set in the plane that is in general position. We prove that every red-blue bipartition of $P$ into $R$ and $B$ with $|R| = |B| = n$ generates $\Omega(n^{3/2})$ red-red-blue empty triangles.
- [304] arXiv:2206.13773 (replaced) [pdf, other]
-
Title: On Relaxation of Dominant SetsComments: proof is flawedSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
In a graph $G = (V,E)$, a k-ruling set $S$ is one in which all vertices $V$ \ $S$ are at most $k$ distance from $S$. Finding a minimum k-ruling set is intrinsically linked to the minimum dominating set problem and maximal independent set problem, which have been extensively studied in graph theory. This paper presents the first known algorithm for solving all k-ruling set problems in conjunction with known minimum dominating set algorithms at only additional polynomial time cost compared to a minimum dominating set. The algorithm further succeeds for $(\alpha, \alpha - 1)$ ruling sets in which $\alpha > 1$, for which constraints exist on the proximity of vertices v $\in S$. This secondary application instead works in conjunction with maximal independent set algorithms.
- [305] arXiv:2212.12466 (replaced) [pdf, html, other]
-
Title: Formulating and indirectly proving the quantum fluctuations of space-time and a justification for applying fractional quantum gravitySubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
It is well known that in quantum gravity, the very geometry of space and time is subject to continual fluctuation. The mathematical formulation for this old theory is still lacking. This article formulates this more than forty-year-old theory of quantum gravity, the result of which is that the equations of quantum gravity become fractional. The existence of such fluctuations is proved indirectly. On the other hand, recent attention has been paid to fractional gravity. Although this type of gravity leads to brilliant results, we have no root and logical reason for applying it other than that it works. We actually simultaneously demonstrate that fractional gravity is generated by stochastic quantum fluctuations of space-time. For clarification, Einstein-Hilbert theory along with a scalar field is investigated in deformed and non-deformed minisuperspaces. The results illustrate a transition from decelerated to accelerated expansion (late-time-accelerated expansion).
- [306] arXiv:2305.09568 (replaced) [pdf, html, other]
-
Title: Step-based checkpointing with high-level algorithmic differentiationSubjects: Programming Languages (cs.PL); Numerical Analysis (math.NA)
Automated code generation allows for a separation between the development of a model, expressed via a domain specific language, and lower level implementation details. Algorithmic differentiation can be applied symbolically at the level of the domain specific language, and the code generator reused to implement code required for an adjoint calculation. However the adjoint calculations are complicated by the well-known problem of storing or recomputing the forward data required by the adjoint, and different checkpointing strategies have been developed to tackle this problem. This article considers the combination of high-level algorithmic differentiation with step-based checkpointing schedules, with the primary application being for solvers of time-dependent partial differential equations. The focus is on algorithmic differentiation using a dynamically constructed record of forward operations, where the precise structure of the original forward calculation is unknown ahead-of-time. In addition, high-level approaches provide a simplified view of the model itself. This allows data required to restart and advance the forward, and data required to advance the adjoint, to be identified. The difference between the two types of data is here leveraged to implement checkpointing strategies with improved performance.
- [307] arXiv:2306.14545 (replaced) [pdf, other]
-
Title: Time and State Dependent Neural Delay Differential EquationsThibault Monsel (DATAFLOT, TAU), Onofrio Semeraro (DATAFLOT), Lionel Mathelin (DATAFLOT), Guillaume Charpiat (TAU)Subjects: Artificial Intelligence (cs.AI); Dynamical Systems (math.DS)
Discontinuities and delayed terms are encountered in the governing equations of a large class of problems ranging from physics and engineering to medicine and economics. These systems cannot be properly modelled and simulated with standard Ordinary Differential Equations (ODE), or data-driven approximations such as Neural Ordinary Differential Equations (NODE). To circumvent this issue, latent variables are typically introduced to solve the dynamics of the system in a higher dimensional space and obtain the solution as a projection to the original space. However, this solution lacks physical interpretability. In contrast, Delay Differential Equations (DDEs), and their data-driven approximated counterparts, naturally appear as good candidates to characterize such systems. In this work we revisit the recently proposed Neural DDE by introducing Neural State-Dependent DDE (SDDDE), a general and flexible framework that can model multiple and state- and time-dependent delays. We show that our method is competitive and outperforms other continuous-class models on a wide variety of delayed dynamical systems. Code is available at the repository \href{this https URL}{here}.
- [308] arXiv:2308.00805 (replaced) [pdf, other]
-
Title: Second-Order Approximation of Limit Order Books in a Single-Scale RegimeSubjects: Mathematical Finance (q-fin.MF); Probability (math.PR)
We establish a first and second-order approximation for an infinite dimensional limit order book model (LOB) in a single (''critical'') scaling regime where market and limit orders arrive at a common time scale. With our choice of scaling we obtain non-degenerate first-order and second-order approximations for the price and volume dynamics. While the first-order approximation is given by a standard coupled ODE-PDE system, the second-order approximation is non-standard and described in terms of an infinite-dimensional stochastic evolution equation driven by a cylindrical Brownian motion. The driving noise processes exhibit a non-trivial correlation in terms of the model parameters. We prove that the evolution equation has a unique solution and that the sequence of standardized LOB models converges weakly to the solution of the evolution equation. The proof uses a non-standard martingale problem. We calibrate a simplified version of our model to market data and show that the model accurately captures correlations between price and volume fluctuations.
- [309] arXiv:2309.02073 (replaced) [pdf, other]
-
Title: Debiased regression adjustment in completely randomized experiments with moderately high-dimensional covariatesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Completely randomized experiment is the gold standard for causal inference. When the covariate information for each experimental candidate is available, one typical way is to include them in covariate adjustments for more accurate treatment effect estimation. In this paper, we investigate this problem under the randomization-based framework, i.e., that the covariates and potential outcomes of all experimental candidates are assumed as deterministic quantities and the randomness comes solely from the treatment assignment mechanism. Under this framework, to achieve asymptotically valid inference, existing estimators usually require either (i) that the dimension of covariates $p$ grows at a rate no faster than $O(n^{3 / 4})$ as sample size $n \to \infty$; or (ii) certain sparsity constraints on the linear representations of potential outcomes constructed via possibly high-dimensional covariates. In this paper, we consider the moderately high-dimensional regime where $p$ is allowed to be in the same order of magnitude as $n$. We develop a novel debiased estimator with a corresponding inference procedure and establish its asymptotic normality under mild assumptions. Our estimator is model-free and does not require any sparsity constraint on potential outcome's linear representations. We also discuss its asymptotic efficiency improvements over the unadjusted treatment effect estimator under different dimensionality constraints. Numerical analysis confirms that compared to other regression adjustment based treatment effect estimators, our debiased estimator performs well in moderately high dimensions.
- [310] arXiv:2310.17392 (replaced) [pdf, html, other]
-
Title: The Power of Simple Menus in Robust Selling MechanismsSubjects: Theoretical Economics (econ.TH); Optimization and Control (math.OC)
We study a robust selling problem where a seller attempts to sell one item to a buyer but is uncertain about the buyer's valuation distribution. Existing literature shows that robust screening provides a stronger theoretical guarantee than robust deterministic pricing, but at the expense of implementation complexity, as it requires a menu of infinite options. Our research aims to find simple mechanisms to hedge against market ambiguity effectively. We develop a general framework for robust selling mechanisms with a finite menu (or randomization across finite prices). We propose a tractable reformulation that addresses various ambiguity sets of the buyer's valuation distribution, including support, mean, and quantile ambiguity sets. We derive optimal selling mechanisms and corresponding performance ratios for different menu sizes, showing that even a modest menu size can deliver benefits similar to those achieved by the optimal robust mechanism with infinite options, establishing a favorable trade-off between theoretical performance and implementation simplicity. Remarkably, a menu size of merely two can significantly enhance the performance ratio compared to deterministic pricing.
- [311] arXiv:2311.00733 (replaced) [pdf, html, other]
-
Title: SAT Solving Using XOR-OR-AND Normal FormsComments: 27 pages, 3 figures; revised version; source code available at this http URLSubjects: Logic in Computer Science (cs.LO); Commutative Algebra (math.AC); Logic (math.LO)
This paper introduces the XOR-OR-AND normal form (XNF) for logical formulas. It is a generalization of the well-known Conjunctive Normal Form (CNF) where literals are replaced by XORs of literals. As a first theoretic result, we show that every CNF formula is equisatisfiable to a formula in 2-XNF, i.e., a formula in XNF where each clause involves at most two XORs of literals. Subsequently, we present an algorithm which converts Boolean polynomials efficiently from their Algebraic Normal Form (ANF) to formulas in 2-XNF. Experiments with the cipher ASCON-128 show that cryptographic problems, which by design are based strongly on XOR-operations, can be represented using far fewer variables and clauses in 2-XNF than in CNF. In order to take advantage of this compact representation, new SAT solvers based on input formulas in 2-XNF need to be designed. By taking inspiration from graph-based 2-CNF SAT solving, we devise a new DPLL-based SAT solver for formulas in 2-XNF. Among others, we present advanced pre- and in-processing techniques. Finally, we give timings for random 2-XNF instances and instances related to key recovery attacks on round reduced ASCON-128, where our solver outperforms state-of-the-art alternative solving approaches.
- [312] arXiv:2311.04428 (replaced) [pdf, html, other]
-
Title: Exploring the Robustness of stabilizing controls for stochastic quantum evolutionsSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In this work we analyze and bound the effect of modeling errors on the stabilization of pure states or subspaces for quantum stochastic evolutions. Different approaches are used for open-loop and feedback control protocols. For both, we highlight the key role of dynamical invariance of the target: if the perturbation preserves invariance, it is possible to prove that it also preserves its attractivity, under some additional assumptions. In addition, we prove boundedness in mean of the solutions of perturbed systems under open-loop protocols. For the feedback strategies, in the general case without assumptions on invariance, we provide bounds on the perturbation effect in expectation and in probability, as well as specific bounds for non-demolition nominal systems.
- [313] arXiv:2312.05250 (replaced) [pdf, html, other]
-
Title: TaskMet: Task-Driven Metric Learning for Model LearningComments: NeurIPS 2023Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Machine Learning (stat.ML)
Deep learning models are often deployed in downstream tasks that the training procedure may not be aware of. For example, models solely trained to achieve accurate predictions may struggle to perform well on downstream tasks because seemingly small prediction errors may incur drastic task errors. The standard end-to-end learning approach is to make the task loss differentiable or to introduce a differentiable surrogate that the model can be trained on. In these settings, the task loss needs to be carefully balanced with the prediction loss because they may have conflicting objectives. We propose take the task loss signal one level deeper than the parameters of the model and use it to learn the parameters of the loss function the model is trained on, which can be done by learning a metric in the prediction space. This approach does not alter the optimal prediction model itself, but rather changes the model learning to emphasize the information important for the downstream task. This enables us to achieve the best of both worlds: a prediction model trained in the original prediction space while also being valuable for the desired downstream task. We validate our approach through experiments conducted in two main settings: 1) decision-focused model learning scenarios involving portfolio optimization and budget allocation, and 2) reinforcement learning in noisy environments with distracting states. The source code to reproduce our experiments is available at this https URL
- [314] arXiv:2312.11066 (replaced) [pdf, html, other]
-
Title: Quantum memory assisted entangled state verification with local measurementsComments: 23 pages, 6 figures, comments are welcome!Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We consider the quantum memory assisted quantum state verification task, where an adversary prepare independent multipartite entangled states and send to the local verifiers, who then store several copies in the quantum memory and measure them collectively to make decision. We establish an exact analytic formula for optimizing two-copy state verification, where the verifiers store two copies, and give a globally optimal two-copy strategy for multi-qubit graph states involving only Bell measurements. When the verifiers can store arbitrarily many copies, we present a dimension expansion technique that designs efficient verification strategies for this case, showcasing its application to efficiently verifying GHZ-like states. These strategies become increasingly advantageous with growing memory resources, ultimately approaching the theoretical limit of efficiency. Our findings demonstrate that quantum memories enhance state verification efficiency, sheding light on error-resistant strategies and practical applications of large-scale quantum memory-assisted verification.
- [315] arXiv:2402.18249 (replaced) [pdf, html, other]
-
Title: Essential implications of similarities in non-Hermitian systemsSubjects: Quantum Physics (quant-ph); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph)
In this paper, we show that three different generalized similarities enclose all unitary and anti-unitary symmetries that induce exceptional points in lower-dimensional non-Hermitian systems. We prove that the generalized similarity conditions result in a larger class of systems than any class defined by a unitary or anti-unitary symmetry. Further we highlight that the similarities enforce spectral symmetry on the Hamiltonian resulting in a reduction of the codimension of exceptional points. As a consequence we show that the similarities drive the emergence of exceptional points in lower dimensions without the more restrictive need for a unitary and/or anti-unitary symmetry.
- [316] arXiv:2403.08757 (replaced) [pdf, html, other]
-
Title: Efficient Combinatorial Optimization via Heat DiffusionComments: After the rebuttal version for NeurIPS 2024 (poster). Code is available in this https URLSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Combinatorics (math.CO); Applied Physics (physics.app-ph)
Combinatorial optimization problems are widespread but inherently challenging due to their discrete nature. The primary limitation of existing methods is that they can only access a small fraction of the solution space at each iteration, resulting in limited efficiency for searching the global optimal. To overcome this challenge, diverging from conventional efforts of expanding the solver's search scope, we focus on enabling information to actively propagate to the solver through heat diffusion. By transforming the target function while preserving its optima, heat diffusion facilitates information flow from distant regions to the solver, providing more efficient navigation. Utilizing heat diffusion, we propose a framework for solving general combinatorial optimization problems. The proposed methodology demonstrates superior performance across a range of the most challenging and widely encountered combinatorial optimizations. Echoing recent advancements in harnessing thermodynamics for generative artificial intelligence, our study further reveals its significant potential in advancing combinatorial optimization.
- [317] arXiv:2403.15244 (replaced) [pdf, html, other]
-
Title: A Stochastic Quasi-Newton Method for Non-convex Optimization with Non-uniform SmoothnessComments: Paper accepted by CDC 2024Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Classical convergence analyses for optimization algorithms rely on the widely-adopted uniform smoothness assumption. However, recent experimental studies have demonstrated that many machine learning problems exhibit non-uniform smoothness, meaning the smoothness factor is a function of the model parameter instead of a universal constant. In particular, it has been observed that the smoothness grows with respect to the gradient norm along the training trajectory. Motivated by this phenomenon, the recently introduced $(L_0, L_1)$-smoothness is a more general notion, compared to traditional $L$-smoothness, that captures such positive relationship between smoothness and gradient norm. Under this type of non-uniform smoothness, existing literature has designed stochastic first-order algorithms by utilizing gradient clipping techniques to obtain the optimal $\mathcal{O}(\epsilon^{-3})$ sample complexity for finding an $\epsilon$-approximate first-order stationary solution. Nevertheless, the studies of quasi-Newton methods are still lacking. Considering higher accuracy and more robustness for quasi-Newton methods, in this paper we propose a fast stochastic quasi-Newton method when there exists non-uniformity in smoothness. Leveraging gradient clipping and variance reduction, our algorithm can achieve the best-known $\mathcal{O}(\epsilon^{-3})$ sample complexity and enjoys convergence speedup with simple hyperparameter tuning. Our numerical experiments show that our proposed algorithm outperforms the state-of-the-art approaches.
- [318] arXiv:2403.15958 (replaced) [pdf, html, other]
-
Title: Convection-Enabled Boundary Control of a 2D Channel FlowComments: To be presented at the 63rd IEEE Conference on Decision and Control (CDC 2024)Subjects: Systems and Control (eess.SY); Analysis of PDEs (math.AP)
Nonlinear convection, the source of turbulence in fluid flows, may hold the key to stabilizing turbulence by solving a specific cubic polynomial equation. We consider the incompressible Navier-Stokes equations in a two-dimensional channel. The tangential and normal velocities are assumed to be periodic in the streamwise direction. The pressure difference between the left and right ends of the channel is constant. Moreover, we consider no-slip boundary conditions, that is, zero tangential velocity, at the top and bottom walls of the channel, and normal velocity actuation at the top and bottom walls. We design the boundary control inputs to achieve global exponential stabilization, in the L2 sense, of a chosen Poiseuille equilibrium profile for an arbitrarily large Reynolds number. The key idea behind our approach is to select the boundary controllers such that they have zero spatial mean (to guarantee mass conservation) but non-zero spatial cubic mean. We reveal that, because of convection, the time derivative of the L2 energy of the regulation error is a cubic polynomial in the cubic mean of the boundary inputs. Regulation is then achieved by solving a specific cubic equation, using the Cardano root formula. The results are illustrated via a numerical example.
- [319] arXiv:2404.17080 (replaced) [pdf, html, other]
-
Title: Solving the Graph Burning Problem for Large GraphsComments: 10 pages, 1 figure and 2 tablesJournal-ref: A Row Generation Algorithm for Finding Optimal Burning Sequences of Large Graphs. In 32nd Annual European Symposium on Algorithms (ESA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 308, pp. 94:1-94:17, 2024Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
We propose an exact algorithm for the Graph Burning Problem ($\texttt{GBP}$), an NP-hard optimization problem that models the spread of influence on social networks. Given a graph $G$ with vertex set $V$, the objective is to find a sequence of $k$ vertices in $V$, namely, $v_1, v_2, \dots, v_k$, such that $k$ is minimum and $\bigcup_{i = 1}^{k} \{u\! \in\! V\! : d(u, v_i) \leq k - i\} = V$, where $d(u,v)$ denotes the distance between $u$ and $v$. We formulate the problem as a set covering integer programming model and design a row generation algorithm for the $\texttt{GBP}$. Our method exploits the fact that a very small number of covering constraints is often sufficient for solving the integer model, allowing the corresponding rows to be generated on demand. To date, the most efficient exact algorithm for the $\texttt{GBP}$, denoted here by $\texttt{GDCA}$, is able to obtain optimal solutions for graphs with up to 14,000 vertices within two hours of execution. In comparison, our algorithm finds provably optimal solutions approximately 236 times faster, on average, than $\texttt{GDCA}$. For larger graphs, memory space becomes a limiting factor for $\texttt{GDCA}$. Our algorithm, however, solves real-world instances with almost 200,000 vertices in less than 35 seconds, increasing the size of graphs for which optimal solutions are known by a factor of 14.
- [320] arXiv:2405.15059 (replaced) [pdf, html, other]
-
Title: Message-Passing Monte Carlo: Generating low-discrepancy point sets via Graph Neural NetworksComments: Published in Proceedings of the National Academy of Sciences (PNAS): this https URLSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)
Discrepancy is a well-known measure for the irregularity of the distribution of a point set. Point sets with small discrepancy are called low-discrepancy and are known to efficiently fill the space in a uniform manner. Low-discrepancy points play a central role in many problems in science and engineering, including numerical integration, computer vision, machine perception, computer graphics, machine learning, and simulation. In this work, we present the first machine learning approach to generate a new class of low-discrepancy point sets named Message-Passing Monte Carlo (MPMC) points. Motivated by the geometric nature of generating low-discrepancy point sets, we leverage tools from Geometric Deep Learning and base our model on Graph Neural Networks. We further provide an extension of our framework to higher dimensions, which flexibly allows the generation of custom-made points that emphasize the uniformity in specific dimensions that are primarily important for the particular problem at hand. Finally, we demonstrate that our proposed model achieves state-of-the-art performance superior to previous methods by a significant margin. In fact, MPMC points are empirically shown to be either optimal or near-optimal with respect to the discrepancy for low dimension and small number of points, i.e., for which the optimal discrepancy can be determined. Code for generating MPMC points can be found at this https URL.
- [321] arXiv:2406.15217 (replaced) [pdf, html, other]
-
Title: Rate-Splitting Multiple Access for Overloaded Multi-group Multicast: A First Experimental StudyComments: Accepted for publication in IEEE Transactions on BroadcastingSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Multi-group multicast (MGM) is an increasingly important form of multi-user wireless communications with several potential applications, such as video streaming, federated learning, safety-critical vehicular communications, etc. Rate-Splitting Multiple Access (RSMA) is a powerful interference management technique that can, in principle, achieve higher data rates and greater fairness for all types of multi-user wireless communications, including MGM. This paper presents the first-ever experimental evaluation of RSMA-based MGM, as well as the first-ever three-way comparison of RSMA-based, Space Divison Multiple Access (SDMA)-based and Non-Orthogonal Multiple Access (NOMA)-based MGM. Using a measurement setup involving a two-antenna transmitter and two groups of two single-antenna users per group, we consider the problem of realizing throughput (max-min) fairness across groups for each of three multiple access schemes, over nine experimental cases in a line-of-sight environment capturing varying levels of pathloss difference and channel correlation across the groups. Over these cases, we observe that RSMA-based MGM achieves fairness at a higher throughput for each group than SDMA- and NOMA-based MGM. These findings validate RSMA-based MGM's promised gains from the theoretical literature.
- [322] arXiv:2408.05840 (replaced) [pdf, html, other]
-
Title: Iterative Improvement of an Additively Regularized Topic ModelComments: Make the last little additions to the draftSubjects: Computation and Language (cs.CL); Information Retrieval (cs.IR); Probability (math.PR)
Topic modelling is fundamentally a soft clustering problem (of known objects -- documents, over unknown clusters -- topics). That is, the task is incorrectly posed. In particular, the topic models are unstable and incomplete. All this leads to the fact that the process of finding a good topic model (repeated hyperparameter selection, model training, and topic quality assessment) can be particularly long and labor-intensive. We aim to simplify the process, to make it more deterministic and provable. To this end, we present a method for iterative training of a topic model. The essence of the method is that a series of related topic models are trained so that each subsequent model is at least as good as the previous one, i.e., that it retains all the good topics found earlier. The connection between the models is achieved by additive regularization. The result of this iterative training is the last topic model in the series, which we call the iteratively updated additively regularized topic model (ITAR). Experiments conducted on several collections of natural language texts show that the proposed ITAR model performs better than other popular topic models (LDA, ARTM, BERTopic), its topics are diverse, and its perplexity (ability to "explain" the underlying data) is moderate.
- [323] arXiv:2408.09770 (replaced) [pdf, html, other]
-
Title: Shift-Dispersion Decompositions of Wasserstein and Cram\'er DistancesSubjects: Methodology (stat.ME); Probability (math.PR); Statistics Theory (math.ST)
Divergence functions are measures of distance or dissimilarity between probability distributions that serve various purposes in statistics and applications. We propose decompositions of Wasserstein and Cramér distances$-$which compare two distributions by integrating over their differences in distribution or quantile functions$-$into directed shift and dispersion components. These components are obtained by dividing the differences between the quantile functions into contributions arising from shift and dispersion, respectively. Our decompositions add information on how the distributions differ in a condensed form and consequently enhance the interpretability of the underlying divergences. We show that our decompositions satisfy a number of natural properties and are unique in doing so in location-scale families. The decompositions allow to derive sensitivities of the divergence measures to changes in location and dispersion, and they give rise to weak stochastic order relations that are linked to the usual stochastic and the dispersive order. Our theoretical developments are illustrated in two applications, where we focus on forecast evaluation of temperature extremes and on the design of probabilistic surveys in economics.
- [324] arXiv:2408.10147 (replaced) [pdf, html, other]
-
Title: In-Context Learning with Representations: Contextual Generalization of Trained TransformersComments: Accepted by NeurIPS 2024Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Information Theory (cs.IT); Optimization and Control (math.OC); Machine Learning (stat.ML)
In-context learning (ICL) refers to a remarkable capability of pretrained large language models, which can learn a new task given a few examples during inference. However, theoretical understanding of ICL is largely under-explored, particularly whether transformers can be trained to generalize to unseen examples in a prompt, which will require the model to acquire contextual knowledge of the prompt for generalization. This paper investigates the training dynamics of transformers by gradient descent through the lens of non-linear regression tasks. The contextual generalization here can be attained via learning the template function for each task in-context, where all template functions lie in a linear space with $m$ basis functions. We analyze the training dynamics of one-layer multi-head transformers to in-contextly predict unlabeled inputs given partially labeled prompts, where the labels contain Gaussian noise and the number of examples in each prompt are not sufficient to determine the template. Under mild assumptions, we show that the training loss for a one-layer multi-head transformer converges linearly to a global minimum. Moreover, the transformer effectively learns to perform ridge regression over the basis functions. To our knowledge, this study is the first provable demonstration that transformers can learn contextual (i.e., template) information to generalize to both unseen examples and tasks when prompts contain only a small number of query-answer pairs.
- [325] arXiv:2408.10312 (replaced) [pdf, html, other]
-
Title: Rotations, Negative Eigenvalues, and Newton Method in Tensor Network Renormalization GroupComments: 32+20 pages, 15 figures, 4 tablesSubjects: Statistical Mechanics (cond-mat.stat-mech); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Lattice (hep-lat); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
In the tensor network approach to statistical physics, properties of the critical point of a 2D lattice model are encoded by a four-legged tensor which is a fixed point of an RG map. The traditional way to find the fixed point tensor consists in iterating the RG map after having tuned the temperature to criticality. Here we develop a different and more direct technique, which solves the fixed point equation via the Newton method. This is challenging due to the existence of marginal deformations -- linear transformations of the coordinate frame, which parametrize a two-dimensional family of fixed points. We address this challenge by including a 90 degree rotation into the RG map. This flips the sign of the problematic marginal eigenvalues, rendering the fixed point isolated and accessible via the Newton method. We demonstrate the power of this technique via explicit computations for the 2D Ising model. Using the Gilt-TNR algorithm at bond dimension $\chi=30$, we find the fixed point tensor with $10^{-9}$ accuracy, much higher than what was previously achieved.
- [326] arXiv:2408.11527 (replaced) [pdf, html, other]
-
Title: The Vizier Gaussian Process Bandit AlgorithmXingyou Song, Qiuyi Zhang, Chansoo Lee, Emily Fertig, Tzu-Kuo Huang, Lior Belenki, Greg Kochanski, Setareh Ariafar, Srinivas Vasudevan, Sagi Perel, Daniel GolovinComments: Google DeepMind Technical Report. Code can be found in this https URLSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Google Vizier has performed millions of optimizations and accelerated numerous research and production systems at Google, demonstrating the success of Bayesian optimization as a large-scale service. Over multiple years, its algorithm has been improved considerably, through the collective experiences of numerous research efforts and user feedback. In this technical report, we discuss the implementation details and design choices of the current default algorithm provided by Open Source Vizier. Our experiments on standardized benchmarks reveal its robustness and versatility against well-established industry baselines on multiple practical modes.
- [327] arXiv:2408.11974 (replaced) [pdf, html, other]
-
Title: Two-Timescale Gradient Descent Ascent Algorithms for Nonconvex Minimax OptimizationComments: A preliminary version [arXiv:1906.00331] of this paper, with a subset of the results that are presented here, was presented at ICML 2020; 44 Pages, 10 FiguresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
We provide a unified analysis of two-timescale gradient descent ascent (TTGDA) for solving structured nonconvex minimax optimization problems in the form of $\min_\textbf{x} \max_{\textbf{y} \in Y} f(\textbf{x}, \textbf{y})$, where the objective function $f(\textbf{x}, \textbf{y})$ is nonconvex in $\textbf{x}$ and concave in $\textbf{y}$, and the constraint set $Y \subseteq \mathbb{R}^n$ is convex and bounded. In the convex-concave setting, the single-timescale gradient descent ascent (GDA) algorithm is widely used in applications and has been shown to have strong convergence guarantees. In more general settings, however, it can fail to converge. Our contribution is to design TTGDA algorithms that are effective beyond the convex-concave setting, efficiently finding a stationary point of the function $\Phi(\cdot) := \max_{\textbf{y} \in Y} f(\cdot, \textbf{y})$. We also establish theoretical bounds on the complexity of solving both smooth and nonsmooth nonconvex-concave minimax optimization problems. To the best of our knowledge, this is the first systematic analysis of TTGDA for nonconvex minimax optimization, shedding light on its superior performance in training generative adversarial networks (GANs) and in other real-world application problems.
- [328] arXiv:2408.16554 (replaced) [pdf, html, other]
-
Title: Solitons in 4d Wess-Zumino-Witten models -- Towards unification of integrable systems --Comments: 19 pages, 2 figures; typos corrected, references added, version to appear in Proceedings of the OCNMP-2024 Conference: Bad Ems, 23-29 June 2024Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
We construct soliton solutions of the four-dimensional Wess-Zumino-Witten (4dWZW) model in the context of a unified theory of integrable systems with relation to the 4d/6d Chern-Simons theory. We calculate the action density of the solutions and find that the soliton solutions behave as the KP-type solitons, that is, the one-soliton solution has a localized action/energy density on a 3d hyperplane in 4-dimensions (soliton wall) and the n-soliton solution describes n intersecting soliton walls with phase shifts. We note that the Ward conjecture holds mostly in the split signature (+,+,-,-). Furthermore, the 4dWZW model describes the string field theory action of the open N=2 string theory in the four-dimensional space-time with the split signature and hence our soliton solutions would describe a new-type of physical objects in the N=2 string theory. We discuss instanton solutions in the 4dWZW model as well. Noncommutative extension and quantization of the unified theory of integrable systems are also discussed.
- [329] arXiv:2408.16899 (replaced) [pdf, html, other]
-
Title: Network-aware Recommender System via Online Feedback OptimizationSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Personalized content on social platforms can exacerbate negative phenomena such as polarization, partly due to the feedback interactions between recommendations and the users. In this paper, we present a control-theoretic recommender system that explicitly accounts for this feedback loop to mitigate polarization. Our approach extends online feedback optimization - a control paradigm for steady-state optimization of dynamical systems - to develop a recommender system that trades off users engagement and polarization reduction, while relying solely on online click data. We establish theoretical guarantees for optimality and stability of the proposed design and validate its effectiveness via numerical experiments with a user population governed by Friedkin-Johnsen dynamics. Our results show these "network-aware" recommendations can significantly reduce polarization while maintaining high levels of user engagement.
- [330] arXiv:2409.16463 (replaced) [pdf, html, other]
-
Title: Double-Estimation-Friendly Inference for High Dimensional Misspecified Measurement Error ModelsSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
In this paper, we introduce an innovative testing procedure for assessing individual hypotheses in high-dimensional linear regression models with measurement errors. This method remains robust even when either the X-model or Y-model is misspecified. We develop a double robust score function that maintains a zero expectation if one of the models is incorrect, and we construct a corresponding score test. We first show the asymptotic normality of our approach in a low-dimensional setting, and then extend it to the high-dimensional models. Our analysis of high-dimensional settings explores scenarios both with and without the sparsity condition, establishing asymptotic normality and non-trivial power performance under local alternatives. Simulation studies and real data analysis demonstrate the effectiveness of the proposed method.