Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Mon, 6 May 24
- [1] arXiv:2405.01595 [pdf, ps, other]
-
Title: Convergence and collapsing of CAT$(0)$-latticesComments: This is the second half of an old preprint. The first part is about finiteness properties of CAT(0) lattices. This second one concerns limits, possibly with collapsing, of CAT(0)-latticesSubjects: Metric Geometry (math.MG); Differential Geometry (math.DG); Group Theory (math.GR)
We study the theory of convergence for CAT$(0)$-lattices (that is groups $\Gamma$ acting geometrically on proper, geodesically complete CAT$(0)$-spaces) and their quotients (CAT$(0)$-orbispaces). We describe some splitting and collapsing phenomena, explaining precisely how these action can degenerate to a possibly non-discrete limit action. Finally, we prove a compactness theorem for the class of compact CAT$(0)$-homology orbifolds, and some applications: an isolation result for flat orbispaces and an entropy-pinching theorem.
- [2] arXiv:2405.01619 [pdf, other]
-
Title: An Efficient Finite Element Solver for a Nonuniform size-modified Poisson-Nernst-Planck Ion Channel ModelAuthors: Dexuan XieComments: 24 pages, 5 figures, 3 tablesSubjects: Numerical Analysis (math.NA); Biological Physics (physics.bio-ph)
This paper presents an efficient finite element iterative method for solving a nonuniform size-modified Poisson-Nernst-Planck ion channel (SMPNPIC) model, along with a SMPNPIC program package that works for an ion channel protein with a three-dimensional crystallographic structure and an ionic solvent with multiple ionic species. In particular, the SMPNPIC model is constructed and then reformulated by novel mathematical techniques so that each iteration of the method only involves linear boundary value problems and nonlinear algebraic systems, circumventing the numerical difficulties caused by the strong nonlinearities, strong asymmetries, and strong differential equation coupling of the SMPNPIC model. To further improve the method's efficiency, an efficient modified Newton iterative method is adapted to the numerical solution of each related nonlinear algebraic system. Numerical results for a voltage-dependent anion channel (VDAC) and a mixture solution of four ionic species demonstrate the method's convergence, the package's high performance, and the importance of considering nonuniform ion size effects. They also partially validate the SMPNPIC model by the anion selectivity property of VDAC.
- [3] arXiv:2405.01652 [pdf, ps, other]
-
Title: On one-orbit cyclic subspace codes of $\mathcal{G}_q(n,3)$Comments: Accepted to the 2024 IEEE International Symposium on Information Theory (ISIT 2024)Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
Subspace codes have recently been used for error correction in random network coding. In this work, we focus on one-orbit cyclic subspace codes. If $S$ is an $\mathbb{F}_q$-subspace of $\mathbb{F}_{q^n}$, then the one-orbit cyclic subspace code defined by $S$ is \[ \mathrm{Orb}(S)=\{\alpha S \colon \alpha \in \mathbb{F}_{q^n}^*\}, \]where $\alpha S=\lbrace \alpha s \colon s\in S\rbrace$ for any $\alpha\in \mathbb{F}_{q^n}^*$. Few classification results of subspace codes are known, therefore it is quite natural to initiate a classification of cyclic subspace codes, especially in the light of the recent classification of the isometries for cyclic subspace codes. We consider three-dimensional one-orbit cyclic subspace codes, which are divided into three families: the first one containing only $\mathrm{Orb}(\mathbb{F}_{q^3})$; the second one containing the optimum-distance codes; and the third one whose elements are codes with minimum distance $2$. We study inequivalent codes in the latter two families.
- [4] arXiv:2405.01665 [pdf, ps, other]
-
Title: Generalized Wright Analysis in Infinite DimensionsSubjects: Probability (math.PR); Functional Analysis (math.FA)
This paper investigates a broad class of non-Gaussian measures, $ \mu_\Psi$, associated with a family of generalized Wright functions, $_m\Psi_q$. First, we study these measures in Euclidean spaces $\mathbb{R}^d$, then define them in an abstract nuclear triple $\mathcal{N}\subset\mathcal{H}\subset\mathcal{N}'$. We study analyticity, invariance properties, and ergodicity under a particular group of automorphisms. Then we show the existence of an Appell system which allows the extension of the non-Gaussian Hilbert space $L^2(\mu_\Psi)$ to the nuclear triple consisting of test functions' and distributions' spaces, $(\mathcal{N})^{1}\subset L^2(\mu_\Psi)\subset(\mathcal{N})_{\mu_\Psi}^{-1}$. Thanks to this triple, we can study Donsker's delta as a well-defined object in the space of distributions $(\mathcal{N})_{\mu_\Psi}^{-1}$.
- [5] arXiv:2405.01670 [pdf, ps, other]
-
Title: Sharp Nonuniqueness in the Transport Equation with Sobolev Velocity FieldComments: 39 pages, 14 figuresSubjects: Analysis of PDEs (math.AP)
Given a divergence-free vector field ${\bf u} \in L^\infty_t W^{1,p}_x(\mathbb R^d)$ and a nonnegative initial datum $\rho_0 \in L^r$, the celebrated DiPerna--Lions theory established the uniqueness of the weak solution in the class of $L^\infty_t L^r_x$ densities for $\frac{1}{p} + \frac{1}{r} \leq 1$. This range was later improved in [BCDL21] to $\frac{1}{p} + \frac{d-1}{dr} \leq 1$. We prove that this range is sharp by providing a counterexample to uniqueness when $\frac{1}{p} + \frac{d-1}{dr} > 1$.
To this end, we introduce a novel flow mechanism. It is not based on convex integration, which has provided a non-optimal result in this context, nor on purely self-similar techniques, but shares features of both, such as a local (discrete) self similar nature and an intermittent space-frequency localization. - [6] arXiv:2405.01683 [pdf, ps, other]
-
Title: Non-existence of phantoms on some non-generic blowups of the projective planeComments: 5 pagesSubjects: Algebraic Geometry (math.AG)
We show that blowups of the projective plane at points lying on a smooth cubic curve do not contain phantoms, provided the points are chosen in very general position on this curve.
- [7] arXiv:2405.01685 [pdf, ps, other]
-
Title: The Gapeev-Shiryaev ConjectureComments: 24 pagesSubjects: Probability (math.PR); Statistics Theory (math.ST)
The Gapeev-Shiryaev conjecture (originating in Gapeev and Shiryaev (2011) and Gapeev and Shiryaev (2013)) can be broadly stated as follows: Monotonicity of the signal-to-noise ratio implies monotonicity of the optimal stopping boundaries. The conjecture was originally formulated both within (i) sequential testing problems for diffusion processes (where one needs to decide which of the two drifts is being indirectly observed) and (ii) quickest detection problems for diffusion processes (where one needs to detect when the initial drift changes to a new drift). In this paper we present proofs of the Gapeev-Shiryaev conjecture both in (i) the sequential testing setting (under Lipschitz/Holder coefficients of the underlying SDEs) and (ii) the quickest detection setting (under analytic coefficients of the underlying SDEs). The method of proof in the sequential testing setting relies upon a stochastic time change and pathwise comparison arguments. Both arguments break down in the quickest detection setting and get replaced by arguments arising from a stochastic maximum principle for hypoelliptic equations (satisfying Hormander's condition) that is of independent interest. Verification of the Gapeev-Shiryaev conjecture establishes the fact that sequential testing and quickest detection problems with monotone signal-to-noise ratios are amenable to known methods of solution.
- [8] arXiv:2405.01698 [pdf, other]
-
Title: Optimal transport on gas networksComments: 43 pages, 5 figures, submitted to EJAM (Evolution Equations on Graphs: Analysis and Applications)Subjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
This paper models gas networks as metric graphs, with isothermal Euler equations at the edges, Kirchhoff's law at interior vertices and time-(in)dependent boundary conditions at boundary vertices. For this setup, a generalized $p$-Wasserstein metric in a dynamic formulation is introduced and utilized to derive $p$-Wasserstein gradient flows, specifically focusing on the non-standard case $p = 3$.
- [9] arXiv:2405.01700 [pdf, other]
-
Title: Infinite free resolutions over numerical semigroup algebras via specializationSubjects: Commutative Algebra (math.AC)
Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to respect a number of algebraic properties of $S$, including the combinatorial structure of the minimal free resolution of the defining toric ideal $I_S$. In this work, we prove that the structure of the infinite free resolution of the ground field $\Bbbk$ over the semigroup algebra $\Bbbk[S]$ also respects this stratification, yielding a new combinatorial approach to classifying homological properties like Golodness and rationality of the poincare series in this setting. Additionally, we give a complete classification of such resolutions in the special case $m = 4$, and demonstrate that the associated graded algebras do not generally respect the same stratification.
- [10] arXiv:2405.01706 [pdf, other]
-
Title: Endpoints of smooth plane dendroidsAuthors: David S. LiphamComments: 8 pages, 3 figuresSubjects: General Topology (math.GN)
We show that each endpoint of a smooth plane dendroid $X$ is accessible, and that the endpoint set $E(X)$ is circle-like in that every two of its points are separated by two other points. Also if $E(X)$ is totally disconnected and $1$-dimensional, then $X$ must contain an uncountable collection of pairwise-disjoint arcs. An example is constructed to show that this is false outside the plane.
- [11] arXiv:2405.01707 [pdf, ps, other]
-
Title: Stability of the Ghurye-Olkin Characterization of Vector Gaussian DistributionsSubjects: Information Theory (cs.IT)
The stability of the Ghurye-Olkin (GO) characterization of Gaussian vectors is analyzed using a partition of the vectors into equivalence classes defined by their matrix factors. The sum of the vectors in each class is near-Gaussian in the characteristic function (c.f.) domain if the GO independence condition is approximately met in the c.f. domain. All vectors have the property that any vector projection is near-Gaussian in the distribution function (d.f.) domain. The proofs of these c.f. and d.f. stabilities use tools that establish the stabilities of theorems by Kac-Bernstein and Cram\'er, respectively. The results are used to prove stability theorems for differential entropies of Gaussian vectors and blind source separation of non-Gaussian sources.
- [12] arXiv:2405.01713 [pdf, other]
-
Title: SUNDIALS Time Integrators for Exascale Applications with Many Independent ODE SystemsAuthors: Cody J. Balos, Marc Day, Lucas Esclapez, Anne M. Felden, David J. Gardner, Malik Hassanaly, Daniel R. Reynolds, Jon Rood, Jean M. Sexton, Nicholas T. Wimer, Carol S. WoodwardSubjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC)
Many complex systems can be accurately modeled as a set of coupled time-dependent partial differential equations (PDEs). However, solving such equations can be prohibitively expensive, easily taxing the world's largest supercomputers. One pragmatic strategy for attacking such problems is to split the PDEs into components that can more easily be solved in isolation. This operator splitting approach is used ubiquitously across scientific domains, and in many cases leads to a set of ordinary differential equations (ODEs) that need to be solved as part of a larger "outer-loop" time-stepping approach. The SUNDIALS library provides a plethora of robust time integration algorithms for solving ODEs, and the U.S. Department of Energy Exascale Computing Project (ECP) has supported its extension to applications on exascale-capable computing hardware. In this paper, we highlight some SUNDIALS capabilities and its deployment in combustion and cosmology application codes (Pele and Nyx, respectively) where operator splitting gives rise to numerous, small ODE systems that must be solved concurrently.
- [13] arXiv:2405.01727 [pdf, other]
-
Title: k-Fold Gaussian Random Matrix Ensembles I: Forcing Structure into Random MatricesSubjects: Mathematical Physics (math-ph); Representation Theory (math.RT)
Random Matrix Theory is a powerful tool in applied mathematics. Three canonical models of random matrix distributions are the Gaussian Orthogonal, Unitary and Symplectic Ensembles. For matrix ensembles defined on k-fold tensor products of identical vector spaces we motivate natural generalizations of the Gaussian Ensemble family. We show how the k-fold invariant constraints are satisfied in both disordered spin models and systems with gauge symmetries, specifically quantum double models. We use Schur-Weyl duality to completely characterize the form of allowed Gaussian distributions satisfying k-fold invariant constraints. The eigenvalue distribution of our proposed ensembles is computed exactly using the Harish-Chandra integral method. For the 2-fold tensor product case, we show that the derived distribution couples eigenvalue spectrum to entanglement spectrum. Guided by representation theory, our work is a natural extension of the standard Gaussian random matrix ensembles.
- [14] arXiv:2405.01732 [pdf, other]
-
Title: Orthosystoles and orthokissing numbersSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
For hyperbolic surfaces with geodesic boundary, we study the orthosystole, i.e. the length of a shortest essential arc from the boundary to the boundary. We recover and extend work by Bavard completely characterizing the surfaces maximizing the orthosystole in the case of a single boundary component. For multiple boundary components, we construct surfaces with large orthosystole and show that their orthosystole grows, as the genus goes to infinity, at the same rate as Bavard's upper bound.
- [15] arXiv:2405.01747 [pdf, ps, other]
-
Title: The m-th Longest Runs of Multivariate Random SequencesAuthors: Yong KongJournal-ref: Ann Inst Stat Math 69, 497-512 (2017)Subjects: Combinatorics (math.CO); Applications (stat.AP)
The distributions of the $m$-th longest runs of multivariate random sequences are considered. For random sequences made up of $k$ kinds of letters, the lengths of the runs are sorted in two ways to give two definitions of run length ordering. In one definition, the lengths of the runs are sorted separately for each letter type. In the second definition, the lengths of all the runs are sorted together. Exact formulas are developed for the distributions of the m-th longest runs for both definitions. The derivations are based on a two-step method that is applicable to various other runs-related distributions, such as joint distributions of several letter types and multiple run lengths of a single letter type.
- [16] arXiv:2405.01748 [pdf, ps, other]
-
Title: Joint distribution of rises, falls, and number of runs in random sequencesAuthors: Yong KongJournal-ref: Communications in Statistics - Theory and Methods, 48(3) (2019)Subjects: Combinatorics (math.CO); Applications (stat.AP)
By using the matrix formulation of the two-step approach to the distributions of runs, a recursive relation and an explicit expression are derived for the generating function of the joint distribution of rises and falls for multivariate random sequences in terms of generating functions of individual letters, from which the generating functions of the joint distribution of rises, falls, and number of runs are obtained. An explicit formula for the joint distribution of rises and falls with arbitrary specification is also obtained.
- [17] arXiv:2405.01749 [pdf, ps, other]
-
Title: Distributions of successions of arbitrary multisetsAuthors: Yong KongJournal-ref: Communications in Statistics - Theory and Methods, 51(6), 1693-1705 (2022)Subjects: Combinatorics (math.CO)
By using the matrix formulation of the two-step approach to distributions of patterns in random sequences, recurrence and explicit formulas for the generating functions of successions in random permutations of arbitrary multisets are derived. Explicit formulas for the mean and variance are also obtained.
- [18] arXiv:2405.01752 [pdf, ps, other]
-
Title: Model Category Structure on Simplicial Algebras via Dold-Kan CorrespondenceAuthors: Hossein FaridianSubjects: Category Theory (math.CT)
This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by starting from the model structure on the category of connective chain complexes, transferring it to the category of simplicial modules via Dold-Kan Correspondence, and further transferring it to the category of simplicial commutative algebras through Quillen-Kan Transfer Machine. The subtlety of overcoming the acyclicity condition is addressed by introducing and studying the shuffle product of connective chain complexes, establishing a variant of Eilenberg-Zilber Theorem, and carefully scrutinizing the subtle structures under study.
- [19] arXiv:2405.01766 [pdf, ps, other]
-
Title: Multiplicative polynomial equations in infinitely many variablesComments: 16 pagesSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
This paper describes infinite sets of polynomial equations in infinitely many variables with the property that the existence of a solution or even an approximate solution for every finite subset of the equations implies the existence of a solution for the infinite set of equations.
- [20] arXiv:2405.01767 [pdf, ps, other]
-
Title: Critical Kernel Imperfectness in $4$-quasi-transitive and $4$-anti-transitive digraphs of small diameterComments: 20 pagesSubjects: Combinatorics (math.CO)
A kernel in a digraph is an independent and absorbent subset of its vertex set. A digraph is critical kernel imperfect if it does not have a kernel, but every proper induced subdigraph does. In this article, we characterize asymmetrical $4$-quasi-transitive and $4$-transitive digraphs, as well as $2$-anti-transitive, and asymmetrical $4$-anti-transitive digraphs with bounded diameter, which are critical kernel imperfect.
- [21] arXiv:2405.01770 [pdf, other]
-
Title: Bike network planning in limited urban spaceSubjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE)
The lack of cycling infrastructure in urban environments hinders the adoption of cycling as a viable mode for commuting, despite the evident benefits of (e-)bikes as sustainable, efficient, and health-promoting transportation modes. Bike network planning is a tedious process, relying on heuristic computational methods that frequently overlook the broader implications of introducing new cycling infrastructure, in particular the necessity to repurpose car lanes. In this work, we call for optimizing the trade-off between bike and car networks, effectively pushing for Pareto optimality. This shift in perspective gives rise to a novel linear programming formulation towards optimal bike network allocation. Our experiments, conducted using both real-world and synthetic data, testify the effectiveness and superiority of this optimization approach compared to heuristic methods. In particular, the framework provides stakeholders with a range of lane reallocation scenarios, illustrating potential bike network enhancements and their implications for car infrastructure. Crucially, our approach is adaptable to various bikeability and car accessibility evaluation criteria, making our tool a highly flexible and scalable resource for urban planning. This paper presents an advanced decision-support framework that can significantly aid urban planners in making informed decisions on cycling infrastructure development.
- [22] arXiv:2405.01774 [pdf, other]
-
Title: One-Shot Wyner-Ziv Compression of a Uniform SourceSubjects: Information Theory (cs.IT)
In this paper, we consider the one-shot version of the classical Wyner-Ziv problem where a source is compressed in a lossy fashion when only the decoder has access to a correlated side information. Following the entropy-constrained quantization framework, we assume a scalar quantizer followed by variable length entropy coding. We consider compression of a uniform source, motivated by its role in the compression of processes with low-dimensional features embedded within a high-dimensional ambient space. We find upper and lower bounds to the entropy-distortion functions of the uniform source for quantized and noisy side information, and illustrate tightness of the bounds at high compression rates.
- [23] arXiv:2405.01785 [pdf, other]
-
Title: Towards Green Communication: Soft Decoding Scheme for OOK Signals in Zero-Energy DevicesComments: Accepted in IEEE International Communications Conference (ICC) workshop, Denver, Jun 2024Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The booming of Internet-of-Things (IoT) is expected to provide more intelligent and reliable communication services for higher network coverage, massive connectivity, and low-cost solutions for 6G services. However, frequent charging and battery replacement of these massive IoT devices brings a series of challenges. Zero energy devices, which rely on energy-harvesting technologies and can operate without battery replacement or charging, play a pivotal role in facilitating the massive use of IoT devices. In order to enable reliable communications of such low-power devices, Manchester-coded on-off keying (OOK) modulation and non-coherent detections are attractive techniques due to their energy efficiency, robustness in noisy environments, and simplicity in receiver design. Moreover, to extend their communication range, employing channel coding along with enhanced detection schemes is crucial. In this paper, a novel soft-decision decoder is designed for OOK-based low-power receivers to enhance their detection performance. In addition, exact closed-form expressions and two simplified approximations are derived for the log-likelihood ratio (LLR), an essential metric for soft decoding. Numerical results demonstrate the significant coverage gain achieved through soft decoding for convolutional code.
- [24] arXiv:2405.01788 [pdf, other]
-
Title: Markov Chain Monte Carlo for Koopman-based Optimal Control: Technical ReportSubjects: Optimization and Control (math.OC)
We propose a Markov Chain Monte Carlo (MCMC) algorithm based on Gibbs sampling with parallel tempering to solve nonlinear optimal control problems. The algorithm is applicable to nonlinear systems with dynamics that can be approximately represented by a finite dimensional Koopman model, potentially with high dimension. This algorithm exploits linearity of the Koopman representation to achieve significant computational saving for large lifted states. We use a video-game to illustrate the use of the method.
- [25] arXiv:2405.01791 [pdf, ps, other]
-
Title: Global-in-time maximal regularity for the Cauchy problem of the heat equation in BMO and applicationsComments: 32 pagesSubjects: Analysis of PDEs (math.AP)
In this article, we establish global-in-time maximal regularity for the Cauchy problem of the classical heat equation $\partial_t u(x,t)-\Delta u(x,t)=f(x,t)$ with $u(x,0)=0$ in a certain $\rm BMO$ setting, which improves the local-in-time result initially proposed by Ogawa and Shimizu in \cite{OS, OS2}. In further developing our method originally formulated for the heat equation, we obtain analogous global ${\rm BMO}$-maximal regularity associated to the Schr\"odinger operator $\mathcal L=-\Delta+V$, where the nonnegative potential $V$ belongs to the reverse H\"older class ${\rm RH}_q$ for some $q> n/2$. This extension includes several inhomogeneous estimates as ingredients, such as Carleson-type estimates for the external forces.
Our new methodology is to exploit elaborate heat kernel estimates, along with matched space-time decomposition on the involving integral-type structure of maximal operators, as well as some global techniques such as those from de Simon's work and Schur's lemma. One crucial trick is to utilize the mean oscillation therein to contribute a higher and necessary decay order for global-in-time estimates. - [26] arXiv:2405.01798 [pdf, other]
-
Title: The Economy and Public Diplomacy: An Analysis of RT's Economic Content and Context on FacebookAuthors: Ayse D. Lokmanoglu, Carol K. Winkler, Kareem El Damanhoury, Virginia Massignan, Esteban Villa-Turek, Keyu Alexander ChenComments: 14 pages, 6 figuresSubjects: Information Theory (cs.IT); General Economics (econ.GN)
With globalization's rise, economic interdependence's impacts have become a prominent factor affecting personal lives, as well as national and international dynamics. This study examines RT's public diplomacy efforts on its non-Russian Facebook accounts over the past five years to identify the prominence of economic topics across language accounts. Computational analysis, including word embeddings and statistical methods, investigates how offline economic indicators, like currency values and oil prices, correspond to RT's online economic content changes. The results demonstrate that RT uses message reinforcement associated economic topics as an audience targeting strategy and differentiates their use with changing currency and oil values.
- [27] arXiv:2405.01804 [pdf, other]
-
Title: Generalized Ramsey-Turán NumbersSubjects: Combinatorics (math.CO)
The Ramsey-Tur\'an problem for $K_p$ asks for the maximum number of edges in an $n$-vertex $K_p$-free graph with independence number $o(n)$. In a natural generalization of the problem, cliques larger than the edge $K_2$ are counted. Let {\bf RT}$(n,\#K_q,K_p,o(n))$ denote the maximum number of copies of $K_q$ in an $n$-vertex $K_p$-free graph with independence number $o(n)$. Balogh, Liu and Sharifzadeh determined the asymptotics of {\bf RT}$(n,\# K_3,K_p,o(n))$. In this paper we will establish the asymptotics for counting copies of $K_4$, $K_5$, and for the case $p \geq 5q$. We also provide a family of counterexamples to a conjecture of Balogh, Liu and Sharifzadeh.
- [28] arXiv:2405.01806 [pdf, ps, other]
-
Title: On dense orbits in the space of subequivalence relationsAuthors: François Le MaîtreComments: 27 pages, comments welcome!Subjects: Dynamical Systems (math.DS); Group Theory (math.GR)
We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability measure-preserving (p.m.p.) countable equivalence relations. We then restrict to p.m.p. equivalence relations and discuss dense orbits therein for the natural action of the full group and of the automorphism group of the relation. Our main result is a characterization of the subequivalence relations having a dense orbit in the space of subequivalence relations of the ergodic hyperfinite p.m.p. equivalence relation. We also show that in this setup, all full groups orbits are meager. We finally provide a few Borel complexity calculations of natural subsets in spaces of subequivalence relations using a natural metric we call the uniform metric. This answers some questions from an earlier version of Kechris' monograph.
- [29] arXiv:2405.01808 [pdf, other]
-
Title: GRAND Massive Parallel Decoding Framework for Low Latency in Beyond 5GComments: Accepted at 15th International Conference on Ubiquitous and Future Networks (ICUFN 2024)Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
We propose a massive parallel decoding GRAND framework. The framework introduces two novelties: 1. A likelihood function for $M$-QAM demodulated signals that effectively reduces the symbol error pattern space from $\mathcal{O}(5^{N/\log_2 M})$ down to $\mathcal{O}(4^{N/\log_2 M})$; and 2. A massively parallel matrix-vector multiplication for matrices of size $K\times N$ ($K \leq N$) that performs the multiplication in just $\mathcal{O}(\log_2 N)$ steps. We then apply the proposed GRAND approach to codes and operational modulation techniques used in the current 5G NR standard. Our framework is applicable not just to short codewords but to the full range of codewords from 32 bits up to 1024 bits used in the control channels of 5G NR. We also present simulation results with parity-check matrices of Polar codes with rate $R=1/2$ obtained from the 5G NR universal reliability sequence.
- [30] arXiv:2405.01811 [pdf, other]
-
Title: Genetic algorithm and edge-colorings of complete graphs with connected classesComments: 15 pages, 3 figuresSubjects: Combinatorics (math.CO)
In this paper, we explore the application of a particular genetic algorithm, the Rank Genetic Algorithm (Rank GA), to address a graph theory problem. The Rank GA was introduced to address the problem of graph coloring, exploring into the specialized field of Chromatic Graph Theory. We successfully improved several of the previously known lower bounds. To validate the effectiveness of these new bounds, we performed an analytical approximation, confirming their validity. The findings underscore the interdisciplinary impact of the use of genetic algorithms in theoretical mathematical research.
- [31] arXiv:2405.01812 [pdf, other]
-
Title: Learning equilibria in Cournot mean field games of controlsSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
We consider Cournot mean field games of controls, a model originally developed for the production of an exhaustible resource by a continuum of producers. We prove uniqueness of the solution under general assumptions on the price function. Then, we prove convergence of a learning algorithm which gives existence of a solution to the mean field games system. The learning algorithm is implemented with a suitable finite difference discretization to get a numerical method to the solution. We supplement our theoretical analysis with several numerical examples and illustrate the impacts of model parameters.
- [32] arXiv:2405.01818 [pdf, ps, other]
-
Title: A nonvariational form of the Neumann problem for the Poisson equationAuthors: M. Lanza de CristoforisComments: arXiv admin note: substantial text overlap with arXiv:2403.15057Subjects: Analysis of PDEs (math.AP)
We present a nonvariational setting for the Neumann problem for the Poisson equation for solutions that are H\"{o}lder continuous and that may have infinite Dirichlet integral. We introduce a distributional normal derivative on the boundary for the solutions that extends that for harmonic functions that has been introduced in a previous paper and we solve the nonvariational Neumann problem for data in the interior with a negative Schauder exponent and for data on the boundary that belong to a certain space of distributions on the boundary.
- [33] arXiv:2405.01845 [pdf, other]
-
Title: The Hurwitz tree obstruction for the refined local lifting problemAuthors: Huy DangSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
In this manuscript, we formulate the differential Hurwitz tree obstructions for the refined local lifting problem. We specifically explore the circumstances under which these obstructions vanish for cyclic covers. The constructions presented in this paper will be used to address the refined local lifting problem in our forthcoming works.
- [34] arXiv:2405.01854 [pdf, ps, other]
-
Title: The Order of the (123, 132)-Avoiding Stack SortAuthors: Owen ZhangSubjects: Combinatorics (math.CO)
Let $s$ be West's deterministic stack-sorting map. A well-known result (West) is that any length $n$ permutation can be sorted with $n-1$ iterations of $s.$ In 2020, Defant introduced the notion of highly-sorted permutations -- permutations in $s^t(S_n)$ for $t \lessapprox n-1.$ In 2023, Choi and Choi extended this notion to generalized stack-sorting maps $s_{\sigma},$ where we relax the condition of becoming sorted to the analogous condition of becoming periodic with respect to $s_{\sigma}.$ In this work, we introduce the notion of minimally-sorted permutations $\mathfrak{M}_n$ as an antithesis to Defant's highly-sorted permutations, and show that $\text{ord}_{s_{123, 132}}(S_n) = 2 \lfloor \frac{n-1}{2} \rfloor,$ strengthening Berlow's 2021 classification of periodic points.
- [35] arXiv:2405.01860 [pdf, ps, other]
-
Title: Characterizing Lipschitz images of injective metric spacesSubjects: General Topology (math.GN)
A metric space $X$ is {\em injective} if every non-expanding map $f:B\to X$ defined on a subspace $B$ of a metric space $A$ can be extended to a non-expanding map $\bar f:A\to X$. We prove that a metric space $X$ is a Lipschitz image of an injective metric space if and only if $X$ is Lipschitz connected in the sense that for every points $x,y\in X$, there exists a Lipschitz map $f:[0,1]\to X$ such that $f(0)=x$ and $f(1)=y$. In this case the metric space $X$ carries a well-defined intrinsic metric. A metric space $X$ is a Lipschitz image of a compact injective metric space if and only if $X$ is compact, Lipschitz connected and its intrinsic metric is totally bounded. A metric space $X$ is a Lipschitz image of a separable injective metric space if and only if $X$ is a Lipschitz image of the Urysohn universal metric space if and only if $X$ is analytic, Lipschitz connected and its intrinsic metric is separable.
- [36] arXiv:2405.01863 [pdf, other]
-
Title: Generating all invertible matrices by row operationsComments: 20 pages, 6 figuresSubjects: Combinatorics (math.CO)
We show that all invertible $n \times n$ matrices over any finite field $\mathbb{F}_q$ can be generated in a Gray code fashion. More specifically, there exists a listing such that (1) each matrix appears exactly once, and (2) two consecutive matrices differ by adding or subtracting one row from a previous or subsequent row, or by multiplying or diving a row by the generator of the multiplicative group of $\mathbb{F}_q$. This even holds if the addition and subtraction of each row is allowed to some specific rows satisfying a certain mild condition. Moreover, we can prescribe the first and the last matrix if $n\ge 3$, or $n=2$ and $q>2$. In other words, the corresponding flip graph on all invertible $n \times n$ matrices over $\mathbb{F}_q$ is Hamilton connected if it is not a cycle.
- [37] arXiv:2405.01864 [pdf, ps, other]
-
Title: Full-dimensional KAM torus with frequency-preserving in infinite-dimensional Hamiltonian systemsComments: 30 pagesSubjects: Dynamical Systems (math.DS)
In this paper, we present two infinite-dimensional KAM theorems with frequency-preserving for a nonresonant frequency of Diophantine type or even weaker. To be more precise, under a nondegenerate condition for an infinite-dimensional Hamiltonian system, we prove the persistence of a full-dimensional KAM torus with the specified frequency independent of any spectral asymptotics, by advantage of the generating function method. This appears to be the first Kolmogorov type result in the infinite-dimensional context. As a direct application, we provide a positive answer to Bourgain's conjecture: full-dimensional invariant tori for 1D nonlinear Schr\"{o}dinger equations do exist.
- [38] arXiv:2405.01869 [pdf, other]
-
Title: Subordination Involving Gauss Hypergeometric FunctionSubjects: Complex Variables (math.CV)
The primary objective of this work is to obtain some sufficient conditions so that normalized Gauss hypergeometric function satisfies exponential starlikeness and convexity in the unit disk. Moreover, conditions on parameter of this function has been derived for being Janowski convexity and starlikeness. Furthermore, some sufficient conditions are also obtained so that Gauss hypergeometric function posses lemniscate starlikeness and convexity. Results established in this work are presumably new and their significance is illustrated by several consequences, graphical representations and examples.
- [39] arXiv:2405.01871 [pdf, ps, other]
-
Title: Scaling limits of discrete-time Markov chains and their local times on electrical networksAuthors: Ryoichiro NodaComments: 45 pages, 1 figureSubjects: Probability (math.PR)
In this paper, we establish that if a sequence of electrical networks equipped with natural measures converges in the local Gromov-Hausdorff-vague topology and satisfies certain non-explosion and metric-entropy conditions, then the sequence of associated discrete-time Markov chains and their local times also converges. This result applies to many examples, such as critical Galton-Watson trees, uniform spanning trees, random recursive fractals, the critical Erd\"os-R\'enyi random graph, the configuration model, and the random conductance model on fractals. To obtain the convergence result, we characterize and study extended Dirichlet spaces associated with resistance forms, and we study traces of electrical networks.
- [40] arXiv:2405.01876 [pdf, ps, other]
-
Title: Frobenius' Theorem on Division AlgebrasAuthors: Matej BrešarSubjects: Rings and Algebras (math.RA)
Frobenius' Theorem states that the only finite-dimensional real division algebras are the algebra of real numbers $\mathbb R$, the algebra of complex numbers $\mathbb C$, and the algebra of quaternions $\mathbb H$. We present a short proof which uses only standard undergraduate mathematics.
- [41] arXiv:2405.01877 [pdf, ps, other]
-
Title: A divisor generating q-series identity and its applications to probability theory and random graphsComments: 33 pages, comments are welcome!Subjects: Number Theory (math.NT); Combinatorics (math.CO); Probability (math.PR)
In I981, Uchimura studied a divisor generating $q$-series that has applications in probability theory and in the analysis of data structures, called heaps. Mainly, he proved the following identity. For $|q|<1$, \begin{equation*} \sum_{n=1}^\infty n q^n (q^{n+1})_\infty =\sum_{n=1}^{\infty} \frac{(-1)^{n-1} q^{\frac{n(n+1)}{2} } }{(1-q^n) ( q)_n } = \sum_{n=1}^{\infty} \frac{ q^n }{1-q^n}. \end{equation*} Over the years, this identity has been generalized by many mathematicians in different directions. Uchimura himself in 1987, Dilcher (1995), Andrews-Crippa-Simon (1997), and recently Gupta-Kumar (2021) found a generalization of the aforementioned identity. Any generalization of the right most expression of the above identity, we name as divisor-type sum, whereas a generalization of the middle expression we say Ramanujan-type sum, and any generalization of the left most expression we refer it as Uchimura-type sum. Quite surprisingly, Simon, Crippa and Collenberg (1993) showed that the same divisor generating function has a connection with random acyclic digraphs. One of the main themes of this paper is to study these different generalizations and present a unified theory. We also discuss applications of these generalized identities in probability theory for the analysis of heaps and random acyclic digraphs.
- [42] arXiv:2405.01879 [pdf, other]
-
Title: Unavoidable induced subgraphs in graphs with complete bipartite induced minorsComments: 25 pages, 12 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We prove that if a graph contains the complete bipartite graph $K_{134, 12}$ as an induced minor, then it contains a cycle of length at most~12 or a theta as an induced subgraph. With a longer and more technical proof, we prove that if a graph contains $K_{3, 4}$ as an induced minor, then it contains a triangle or a theta as an induced subgraph. Here, a \emph{theta} is a graph made of three internally vertex-disjoint chordless paths $P_1 = a \dots b$, $P_2 = a \dots b$, $P_3 = a \dots b$, each of length at least two, such that no edges exist between the paths except the three edges incident to $a$ and the three edges incident to $b$.
A consequence is that excluding a grid and a complete bipartite graph as induced minors is not enough to guarantee a bounded tree-independence number, or even that the treewidth is bounded by a function of the size of the maximum clique, because the existence of graphs with large treewidth that contain no triangles or thetas as induced subgraphs is already known (the so-called layered wheels). - [43] arXiv:2405.01890 [pdf, ps, other]
-
Title: Counterexamples to two conjectures on mean color numbers of graphsComments: 5 pagesSubjects: Combinatorics (math.CO)
The mean color number of an $n$-vertex graph $G$, denoted by $\mu(G)$, is the average number of colors used in all proper $n$-colorings of $G$. For any graph $G$ and a vertex $w$ in $G$, Dong (2003) conjectured that if $H$ is a graph obtained from a graph $G$ by deleting all but one of the edges which are incident to $w$, then $\mu(G)\geq \mu(H)$; and also conjectured that $\mu(G)\geq \mu((G-w)\cup K_1)$. We prove that there is an infinite family of counterexamples to these two conjectures.
- [44] arXiv:2405.01894 [pdf, ps, other]
-
Title: Characterization of the attractor for nonautonomous reaction-diffusion equations with discontinuous nonlinearityAuthors: José ValeroJournal-ref: J. Differential Equations, 2021, V.275, 270-308Subjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
In this paper, we study the asymptotic behavior of the solutions of a nonautonomous differential inclusion modeling a reaction-diffusion equation with a discontinuous nonlinearity. We obtain first several properties concerning the uniqueness and regularity of non-negative solutions. Then we study the structure of the pullback attractor in the positive cone, showing that it consists of the zero solution, the unique positive nonautonomous equilibrium and the heteroclinic connections between them, which can be expressed in terms of the solutions of an associated linear problem. Finally, we analyze the relationship of the pullback attractor with the uniform, the cocycle and the skew product semiflow attractors.
- [45] arXiv:2405.01895 [pdf, other]
-
Title: The Bohr inequality on a simply connected domain and its applicationsSubjects: Complex Variables (math.CV)
In this article, we first establish a generalized Bohr inequality and examine its sharpness for a class of analytic functions $f$ in a simply connected domain $\Omega_\gamma,$ where $0\leq \gamma<1$ with a sequence $\{\varphi_n(r) \}^{\infty}_{n=0}$ of non-negative continuous functions defined on $[0,1)$ such that the series $\sum_{n=0}^{\infty}\varphi_n(r)$ converges locally uniformly on $[0,1)$. Our results represent twofold generalizations corresponding to those obtained for the classes $\mathcal{B}(\mathbb{D})$ and $\mathcal{B}(\Omega_{\gamma})$, where \begin{align*}
\Omega_{\gamma}:=\biggl\{z\in \mathbb{C}: \bigg|z+\dfrac{\gamma}{1-\gamma}\bigg|<\dfrac{1}{1-\gamma}\biggr\}. \end{align*} As a convolution counterpart, we determine the Bohr radius for hypergeometric function on $ \Omega_{\gamma} $. Lastly, we establish a generalized Bohr inequality and its sharpness for the class of $ K $-quasiconformal, sense-preserving harmonic maps of the form $f=h+\overline{g}$ in $\Omega_{\gamma}.$ - [46] arXiv:2405.01897 [pdf, ps, other]
-
Title: Orbits and invariants for coisotropy representationsAuthors: Dmitri I. PanyushevComments: 23 pagesSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
For a subgroup $H$ of a reductive group $G$, let $\mathfrak m\subset \mathfrak g^*$ be the cotangent space of $eH\in G/H$. The linear action $(H:\mathfrak m)$ is the coisotropy representation. It is known that the complexity and rank of $G/H$ (denoted $c$ and $r$, respectively) are encoded in properties of $(H:\mathfrak m)$. We complement existing results on $c$, $r$, and $(H:\mathfrak m)$, especially for quasiaffine varieties $G/H$. If the algebra of invariants $k[\mathfrak m]^H$ is finitely generated, then we establish a connection between the nullcones in $\mathfrak m$ and $\mathfrak g^*$. Two other topics considered are (i) a relationship between varieties $G/H$ of complexity at most 1 and the homological dimension of the algebra of invariants $k[\mathfrak m]^H$ and (ii) the Poisson structure of $k[\mathfrak m]^H$ and Poisson-commutative subalgebras in $k[\mathfrak m]^H$ with maximal transcendence degree.
- [47] arXiv:2405.01898 [pdf, ps, other]
-
Title: Long time behavior of a degenerate stochastic system modeling the response of a population face to environmental impactsSubjects: Dynamical Systems (math.DS); Probability (math.PR)
We study the asymptotics of a two-dimensional stochastic differential system with a degenerate diffusion matrix. This system describes the dynamics of a population where individuals contribute to the degradation of their environment through two different behaviors. We exploit the almost one-dimensional form of the dynamical system to compute explicitly the Freidlin-Wentzell action functional. That allows to give conditions under which the small noise regime of the invariant measureis concentrated around the equilibrium of the dynamical system having the smallest diffusion coefficient.
- [48] arXiv:2405.01899 [pdf, ps, other]
-
Title: Some Comparison Results for First-Order Hamilton-Jacobi Equations and Second-Order Fully Nonlinear Parabolic Equations with Ventcell Boundary ConditionsSubjects: Analysis of PDEs (math.AP)
In this article, we consider fully nonlinear, possibly degenerate, parabolic equations associated with Ventcell boundary conditions in bounded or unbounded, smooth domains. We first analyze the exact form of such boundary conditions in general domains in order that the notion of viscosity solutions make sense. Then we prove general comparison results under natural assumptions on the nonlinearities, assuming only that the equation is either coercive (first-order case) or strictly elliptic (second-order case) in the normal direction in a neighborhood of the boundary. Our method is inspired by the "twin blow-up method" of Forcadel-Imbert-Monneau and ideas of Lions-Souganidis which we extend to the framework of Ventcell boundary conditions.
- [49] arXiv:2405.01902 [pdf, ps, other]
-
Title: Deviation and moment inequalities for Banach-valued $U$-statisticsAuthors: Davide Giraudo (IRMA, UNISTRA UFR MI)Subjects: Probability (math.PR); Statistics Theory (math.ST)
We show a deviation inequality for U-statistics of independent data taking values in a separable Banach space which satisfies some smoothness assumptions. We then provide applications to rates in the law of large numbers for U-statistics, a H{\"o}lderian functional central limit theorem and a moment inequality for incomplete $U$-statistics.
- [50] arXiv:2405.01903 [pdf, ps, other]
-
Title: On the number of bound states for fractional Schr{ö}dinger operators with critical and super-critical exponentSubjects: Analysis of PDEs (math.AP)
We study the number $N_{<0}(H_s)$ of negative eigenvalues, counting multiplicities, of the fractional Schr\"odinger operator $H_s=(-\Delta)^s-V(x)$ on $L^2(\mathbb{R}^d)$, for any $d\ge1$ and $s\ge d/2$. We prove a bound on $N_{<0}(H_s)$ which depends on $s-d/2$ being either an integer or not, the critical case $s=d/2$ requiring a further analysis. Our proof relies on a splitting of the Birman-Schwinger operator associated to this spectral problem into low- and high-energies parts, a projection of the low-energies part onto a suitable subspace, and, in the critical case $s=d/2$, a Cwikel-type estimate in the weak trace ideal $\mathcal{L}^{2,\infty}$ to handle the high-energies part.
- [51] arXiv:2405.01905 [pdf, ps, other]
-
Title: Schwarz Methods for Nonlocal ProblemsComments: 29 pages, 9 figuresSubjects: Numerical Analysis (math.NA)
The first domain decomposition methods for partial differential equations were already developed in 1870 by H. A. Schwarz. Here we consider a nonlocal Dirichlet problem with variable coefficients, where a nonlocal diffusion operator is used. We find that domain decomposition methods like the so-called Schwarz methods seem to be a natural way to solve these nonlocal problems. In this work we show the convergence for nonlocal problems, where specific symmetric kernels are employed, and present the implementation of the multiplicative and additive Schwarz algorithms in the above mentioned nonlocal setting.
- [52] arXiv:2405.01907 [pdf, ps, other]
-
Title: Detecting quasicrystals with quadratic time-frequency distributionsSubjects: Functional Analysis (math.FA)
The usefulness of time-frequency analysis methods in the study of quasicrystals was pointed out in a previous paper, where we proved that a tempered distribution $\mu$ on ${\mathbb R}^d$ whose Wigner transform is a measure supported on the cartesian product of two uniformly discrete sets in ${\mathbb R}^d$ is a Fourier quasicrystal. In this paper we go further in this direction using the matrix-Wigner transforms to detect quasicrystal structures. The results presented here cover essentially all the most important quadratic time-frequency distributions, and are obtained considering two different (disjoint) classes of matrix-Wigner transforms, discussed respectively in Theorems 1 and 2. The transforms considered in Theorem 1 include the classical Wigner transform, as well as all the time-frequency representations of matrix-Wigner type belonging to the Cohen class. On the other hand Theorem 2, which does not apply to the classical Wigner, has, as main example, the Ambiguity function. In this second case we only suppose that the support of the matrix-Wigner transform of $\mu$ is contained in the cartesian product of two discrete sets, obtaining that both the support and the spectrum of $\mu$ are uniformly discrete.
- [53] arXiv:2405.01908 [pdf, other]
-
Title: A Full Adagrad algorithm with O(Nd) operationsSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
A novel approach is given to overcome the computational challenges of the full-matrix Adaptive Gradient algorithm (Full AdaGrad) in stochastic optimization. By developing a recursive method that estimates the inverse of the square root of the covariance of the gradient, alongside a streaming variant for parameter updates, the study offers efficient and practical algorithms for large-scale applications. This innovative strategy significantly reduces the complexity and resource demands typically associated with full-matrix methods, enabling more effective optimization processes. Moreover, the convergence rates of the proposed estimators and their asymptotic efficiency are given. Their effectiveness is demonstrated through numerical studies.
- [54] arXiv:2405.01912 [pdf, ps, other]
-
Title: Convex surfaces with prescribed induced metrics in anti-de Sitter spacetimesComments: 11 pages, no figureSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
Let $S$ be a closed surface of genus at least $2$, let $h$ be a smooth metric of curvature $K<-1$ on $S$, and let $h_0$ be a hyperbolic metric on $S$. We show that there exists a unique quasifuchsian AdS spacetime with left metric isotopic to $h_0$, containing a past-convex Cauchy surface with induced metric isotopic to $h$.
- [55] arXiv:2405.01915 [pdf, ps, other]
-
Title: A cost function approximation method for dynamic vehicle routing with docking and LIFO constraintsSubjects: Optimization and Control (math.OC)
In this paper, we study a dynamic pickup and delivery problem with docking constraints. There is a homogeneous fleet of vehicles to serve pickup-and-delivery requests at given locations. The vehicles can be loaded up to their capacity, while unloading has to follow the last-in-first-out (LIFO) rule. The locations have a limited number of docking ports for loading and unloading, which may force the vehicles to wait. The problem is dynamic since the transportation requests arrive real-time, over the day. Accordingly, the routes of the vehicles are to be determined dynamically. The goal is to satisfy all the requests such that a combination of tardiness penalties and traveling costs is minimized. We propose a cost function approximation based solution method. In each decision epoch, we solve the respective optimization problem with a perturbed objective function to ensure the solutions remain adaptable to accommodate new requests. We penalize waiting times and idle vehicles. We propose a variable neighborhood search based method for solving the optimization problems, and we apply two existing local search operators, and we also introduce a new one. We evaluate our method using a widely adopted benchmark dataset, and the results demonstrate that our approach significantly surpasses the current state-of-the-art methods.
- [56] arXiv:2405.01919 [pdf, ps, other]
-
Title: Channel Orthogonalization in Panel-Based LISComments: 6 pages, 3 figures. This work has been submitted to the IEEE for possible publication, copyright information may be affected upon publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Large intelligent surface (LIS) has gained momentum as a potential 6G-enabling technology that expands the benefits of massive multiple-input multiple-output (MIMO). On the other hand, orthogonal space-division multiplexing (OSDM) may give a promising direction for efficient exploitation of the spatial resources, analogous as what is achieved with orthogonal frequency-division multiplexing (OFDM) in the frequency domain. To this end, we study how to enforce channels orthogonality in a panel-based LIS scenario. Our proposed method consists of having a subset of active LIS-panels coherently serving a set of users, and another subset of LIS-panels operating in semi-passive mode by implementing a receive and re-transmit (RRTx) process. This results in an inter-symbol interference (ISI) channel, where we characterize the semi-passive processing required to achieve simultaneous orthogonality in time and space. We then employ the remaining degrees of freedom (DoFs) from the orthogonality constraint to minimize the semi-passive processing power, where we derive a closed-form global minimizer, allowing for efficient implementation of the proposed scheme.
- [57] arXiv:2405.01922 [pdf, ps, other]
-
Title: A note on the Fermi Golden Rule constant for the pure power NLSSubjects: Analysis of PDEs (math.AP)
We provide a detailed proof that the Nonlinear Fermi Golden Rule coefficient that appears in our recent proof of the asymptotic stability of ground states for the pure power Nonlinear Schr\"odinger equations in $\mathbb{R}$ with exponent $0<|p-3|\ll 1$ is nonzero.
- [58] arXiv:2405.01929 [pdf, other]
-
Title: Novel Local Characteristic Decomposition Based Path-Conservative Central-Upwind SchemesComments: arXiv admin note: text overlap with arXiv:2307.16380Subjects: Numerical Analysis (math.NA)
We introduce local characteristic decomposition based path-conservative central-upwind schemes for (nonconservative) hyperbolic systems of balance laws. The proposed schemes are made to be well-balanced via a flux globalization approach, in which source terms are incorporated into the fluxes: This helps to enforce the well-balanced property when the resulting quasi-conservative system is solved using the local characteristic decomposition based central-upwind scheme recently introduced in [{\sc A. Chertock, S. Chu, M. Herty, A. Kurganov, and M. Luk\'{a}\v{c}ov\'{a}-Medvi{\softd}ov\'{a}}, J. Comput. Phys., 473 (2023), Paper No. 111718]. Nonconservative product terms are also incorporated into the global fluxes using a path-conservative technique. We illustrate the performance of the developed schemes by applying them to one- and two-dimensional compressible multifluid systems and thermal rotating shallow water equations.
- [59] arXiv:2405.01938 [pdf, other]
-
Title: Conservative semi-lagrangian finite difference scheme for transport simulations using graph neural networksComments: arXiv admin note: text overlap with arXiv:2309.04943Subjects: Numerical Analysis (math.NA)
Semi-Lagrangian (SL) schemes are highly efficient for simulating transport equations and are widely used across various applications. Despite their success, designing genuinely multi-dimensional and conservative SL schemes remains a significant challenge. Building on our previous work [Chen et al., J. Comput. Phys., V490 112329, (2023)], we introduce a conservative machine-learning-based SL finite difference (FD) method that allows for extra-large time step evolution. At the core of our approach is a novel dynamical graph neural network designed to handle the complexities associated with tracking accurately upstream points along characteristics. This proposed neural transport solver learns the conservative SL FD discretization directly from data, improving accuracy and efficiency compared to traditional numerical schemes, while significantly simplifying algorithm implementation. We validate the method' s effectiveness and efficiency through numerical tests on benchmark transport equations in both one and two dimensions, as well as the nonlinear Vlasov-Poisson system.
- [60] arXiv:2405.01939 [pdf, ps, other]
-
Title: The bifurcation measure is exponentially mixingAuthors: Henry de ThelinComments: 15 pagesSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
We prove general mixing theorems for sequences of meromorphic maps on compact K\"ahler manifolds. We deduce that the bifurcation measure is exponentially mixing for a family of rational maps of $\mathbb{P}^q(\mathbb{C})$ endowed with suitably many marked points.
- [61] arXiv:2405.01944 [pdf, other]
-
Title: Topologically Interlocking Blocks inside the TetroctahedrilleComments: Keywords: Topological interlocking, Space Fillings, Triangulations, Origami, ApproximationsSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
A topological interlocking assembly consists of rigid blocks together with a fixed frame, such that any subset of blocks is kinematically constrained and therefore cannot be removed from the assembly. In this paper we pursue a modular approach to construct (non-convex) interlocking blocks by combining finitely many tetrahedra and octahedra. This gives rise to polyhedra whose vertices can be described by the tetrahedral-octahedral honeycomb, also known as tetroctahedrille. We show that the resulting interlocking blocks are very versatile and allow many possibilities to form topological interlocking assemblies consisting of copies of a single block. We formulate a generalised construction of some of the introduced blocks to construct families of topological interlocking blocks. Moreover, we demonstrate a geometric application by using the tetroctahedrille to approximate given geometric objects. Finally, we show that given topological interlocking assemblies can be deformed continuously in order to obtain new topological interlocking assemblies.
- [62] arXiv:2405.01947 [pdf, other]
-
Title: Complex pattern formation governed by a Cahn-Hilliard-Swift-Hohenberg system: Analysis and numerical simulationsComments: 37 pages, 17 figuresSubjects: Analysis of PDEs (math.AP)
This paper investigates a Cahn-Hilliard-Swift-Hohenberg system, focusing on a three-species chemical mixture subject to physical constraints on volume fractions. The resulting system leads to complex patterns involving a separation into phases as typical of the Cahn-Hilliard equation and small scale stripes and dots as seen in the Swift-Hohenberg equation. We introduce singular potentials of logarithmic type to enhance the model's accuracy in adhering to essential physical constraints. The paper establishes the existence and uniqueness of weak solutions within this extended framework. The insights gained contribute to a deeper understanding of phase separation in complex systems, with potential applications in materials science and related fields. We introduce a stable finite element approximation based on an obstacle formulation. Subsequent numerical simulations demonstrate that the model allows for complex structures as seen in pigment patterns of animals and in porous polymeric materials.
- [63] arXiv:2405.01948 [pdf, ps, other]
-
Title: Common Randomness Generation from Sources with Infinite Polish AlphabetComments: arXiv admin note: text overlap with arXiv:2210.04556Subjects: Information Theory (cs.IT)
We investigate the problem of common randomness (CR) generation in the basic two-party communication setting in which a sender and a receiver aim to agree on a common random variable with high probability. The terminals observe independent and identically distributed (i.i.d.) samples of sources with an arbitrary distribution defined on a Polish alphabet and are allowed to communicate as little as possible over a noisy, memoryless channel. We establish single-letter upper and lower bounds on the CR capacity for the specified model. The derived bounds hold with equality except for at most countably many points where discontinuity issues might arise.
- [64] arXiv:2405.01953 [pdf, ps, other]
-
Title: Mahler equations for Zeckendorf numerationComments: 33 pages, 6 figuresSubjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL)
We define generalised equations of Z-Mahler type, based on the Zeckendorf numeration system. We show that if a sequence over a commutative ring is Z-regular, then it is the sequence of coefficients of a series which is a solution of a Z-Mahler equation. Conversely, if the Z-Mahler equation is isolating, then its solutions define Z-regular sequences. This is a generalisation of results of Becker and Dumas. We provide an example to show that there exist non-isolating Z-Mahler equations whose solutions do not define Z-regular sequences. Our proof yields a new construction of weighted automata that generate classical q-regular sequences.
- [65] arXiv:2405.01955 [pdf, ps, other]
-
Title: Well-posedness of Kolmogorov-Fokker-Planck equations with unbounded driftComments: 37 pagesSubjects: Analysis of PDEs (math.AP)
We consider Kolmogorov-Fokker-Planck equations with unbounded drift terms which are only measurable in time and locally H\"older continuous in space. In particular, we extend the parametrix method to this setting and we prove existence and uniqueness of measure solutions to the associated Cauchy problem, as well as the equivalence with the corresponding stochastic formulation.
- [66] arXiv:2405.01956 [pdf, ps, other]
-
Title: Saturation rank for nilradical of parabolic subalgebras in Type AAuthors: Yang PanSubjects: Representation Theory (math.RT)
Let $\mfp(d)$ be a standard parabolic subalgebra of $\mfsl_{n+1}(K)$ and $\mfu$ be the corresponding nilradical defined over an algebraically closed field $K$ of characteristic $p>0$. We construct a finite connected quiver $Q(d)$, through which we provide a combinatorial characterization of the centralizer $c_{\mfu}(x(d))$ of the Richardson element $x(d)$. We specifically focus on the centralizer when the levi factor of $\mfp(d)$ is determined by either one or two simple roots. This allows us to demonstrate that, under certain mild restrictions, the saturation rank of $\mfu$ equals the semisimple rank of the algebraic $K$-group $\SL_{n+1}(K)$.
- [67] arXiv:2405.01968 [pdf, other]
-
Title: Convex optimization on CAT(0) cubical complexesSubjects: Optimization and Control (math.OC)
We consider geodesically convex optimization problems involving distances to a finite set of points $A$ in a CAT(0) cubical complex. Examples include the minimum enclosing ball problem, the weighted mean and median problems, and the feasibility and projection problems for intersecting balls with centers in $A$. We propose a decomposition approach relying on standard Euclidean cutting plane algorithms. The cutting planes are readily derivable from efficient algorithms for computing geodesics in the complex.
- [68] arXiv:2405.01979 [pdf, other]
-
Title: Graph Neural Network based Active and Passive Beamforming for Distributed STAR-RIS-Assisted Multi-User MISO SystemsComments: 13 pages, 7 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper investigates a joint active and passive beamforming design for distributed simultaneous transmitting and reflecting (STAR) reconfigurable intelligent surface (RIS) assisted multi-user (MU)- mutiple input single output (MISO) systems, where the energy splitting (ES) mode is considered for the STAR-RIS. We aim to design the active beamforming vectors at the base station (BS) and the passive beamforming at the STAR-RIS to maximize the user sum rate under transmitting power constraints. The formulated problem is non-convex and nontrivial to obtain the global optimum due to the coupling between active beamforming vectors and STAR-RIS phase shifts. To efficiently solve the problem, we propose a novel graph neural network (GNN)-based framework. Specifically, we first model the interactions among users and network entities are using a heterogeneous graph representation. A heterogeneous graph neural network (HGNN) implementation is then introduced to directly optimizes beamforming vectors and STAR-RIS coefficients with the system objective. Numerical results show that the proposed approach yields efficient performance compared to the previous benchmarks. Furthermore, the proposed GNN is scalable with various system configurations.
- [69] arXiv:2405.01980 [pdf, ps, other]
-
Title: Upper tails of subgraph counts in directed random graphsAuthors: Jiyun ParkComments: 18 pagesSubjects: Probability (math.PR); Combinatorics (math.CO)
The upper tail problem in a sparse Erd\H{o}s-R\'enyi graph asks for the probability that the number of copies of some fixed subgraph exceeds its expected value by a constant factor. We study the analogous problem for oriented subgraphs in directed random graphs. By adapting the proof of Cook, Dembo, and Pham, we reduce this upper tail problem to the asymptotic of a certain variational problem over edge weighted directed graphs. We give upper and lower bounds for the solution to the corresponding variational problem, which differ by a constant factor of at most $2$. We provide a host of subgraphs where the upper and lower bounds coincide, giving the solution to the upper tail problem. Examples of such digraphs include triangles, stars, directed $k$-cycles, and balanced digraphs.
- [70] arXiv:2405.01982 [pdf, ps, other]
-
Title: Global regularity for solutions of magnetohydrodynamic equations with large initial dataAuthors: Xiangsheng XuComments: arXiv admin note: substantial text overlap with arXiv:2404.16433Subjects: Analysis of PDEs (math.AP)
We study the existence of a strong solution to the initial value problem for the magnetohydrodynamic equations in $\mathbb{R}^N, N\geq 3$. We obtain a global in-time strong solution without any smallness assumptions on the initial data.
- [71] arXiv:2405.01984 [pdf, other]
-
Title: A Penalty-Based Guardrail Algorithm for Non-Decreasing Optimization with Inequality ConstraintsSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)
Traditional mathematical programming solvers require long computational times to solve constrained minimization problems of complex and large-scale physical systems. Therefore, these problems are often transformed into unconstrained ones, and solved with computationally efficient optimization approaches based on first-order information, such as the gradient descent method. However, for unconstrained problems, balancing the minimization of the objective function with the reduction of constraint violations is challenging. We consider the class of time-dependent minimization problems with increasing (possibly) nonlinear and non-convex objective function and non-decreasing (possibly) nonlinear and non-convex inequality constraints. To efficiently solve them, we propose a penalty-based guardrail algorithm (PGA). This algorithm adapts a standard penalty-based method by dynamically updating the right-hand side of the constraints with a guardrail variable which adds a margin to prevent violations. We evaluate PGA on two novel application domains: a simplified model of a district heating system and an optimization model derived from learned deep neural networks. Our method significantly outperforms mathematical programming solvers and the standard penalty-based method, and achieves better performance and faster convergence than a state-of-the-art algorithm (IPDD) within a specified time limit.
- [72] arXiv:2405.01989 [pdf, other]
-
Title: Parameter estimation in ODEs: assessing the potential of local and global solversAuthors: M. Fernández de Dios, Ángel M. González-Rueda, Julio R. Banga, Julio González-Díaz, David R. PenasSubjects: Optimization and Control (math.OC); Quantitative Methods (q-bio.QM)
We consider the problem of parameter estimation in dynamic systems described by ordinary differential equations. A review of the existing literature emphasizes the need for deterministic global optimization methods due to the nonconvex nature of these problems. Recent works have focused on expanding the capabilities of specialized deterministic global optimization algorithms to handle more complex problems. Despite advancements, current deterministic methods are limited to problems with a maximum of around five state and five decision variables, prompting ongoing efforts to enhance their applicability to practical problems.
Our study seeks to assess the effectiveness of state-of-the-art general-purpose global and local solvers in handling realistic-sized problems efficiently, and evaluating their capabilities to cope with the nonconvex nature of the underlying estimation problems. - [73] arXiv:2405.02001 [pdf, other]
-
Title: On finding optimal collective variables for complex systems by minimizing the deviation between effective and full dynamicsSubjects: Optimization and Control (math.OC)
This paper is concerned with collective variables, or reaction coordinates, that map a discrete-in-time Markov process $X_n$ in $\mathbb{R}^d$ to a (much) smaller dimension $k \ll d$. We define the effective dynamics under a given collective variable map $\xi$ as the best Markovian representation of $X_n$ under $\xi$. The novelty of the paper is that it gives strict criteria for selecting optimal collective variables via the properties of the effective dynamics. In particular, we show that the transition density of the effective dynamics of the optimal collective variable solves a relative entropy minimization problem from certain family of densities to the transition density of $X_n$. We also show that many transfer operator-based data-driven numerical approaches essentially learn quantities of the effective dynamics. Furthermore, we obtain various error estimates for the effective dynamics in approximating dominant timescales / eigenvalues and transition rates of the original process $X_n$ and how optimal collective variables minimize these errors. Our results contribute to the development of theoretical tools for the understanding of complex dynamical systems, e.g. molecular kinetics, on large timescales. These results shed light on the relations among existing data-driven numerical approaches for identifying good collective variables, and they also motivate the development of new methods.
- [74] arXiv:2405.02025 [pdf, ps, other]
-
Title: The primitive spectrum of C$^*$-algebras of étale groupoids with abelian isotropyComments: 29 pagesSubjects: Operator Algebras (math.OA)
Given a Hausdorff locally compact \'etale groupoid $\G$, we describe as a topological space the part of the primitive spectrum of $C^*(\G)$ obtained by inducing one-dimensional representations of amenable isotropy groups of $\G$. When $\G$ is amenable, second countable, with abelian isotropy groups, our result gives the description of $\Prim C^*(\G)$ conjectured by Van~Wyk and Williams. This, in principle, completely determines the ideal structure of a large class of separable C$^*$-algebras, including the transformation group C$^*$-algebras defined by amenable actions of discrete groups with abelian stabilizers and the C$^*$-algebras of higher rank graphs.
- [75] arXiv:2405.02034 [pdf, other]
-
Title: Multi-Agent Coverage Control on Surfaces Using Conformal MappingSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Real-time environmental monitoring using a multi-agent system (MAS) has long been a focal point of cooperative control. It is still a challenging task to provide cost-effective services for potential emergencies in surface environments. This paper explores the transformation of a general surface into a two-dimensional (2D) disk through the construction of a conformal mapping. Multiple agents are strategically deployed within the mapped convex disk, followed by mapping back to the original surface environment. This approach circumvents the complexities associated with handling the difficulties and intricacies of path planning. Technical analysis encompasses the design of distributed control laws and the method to eliminate distortions introduced by the mapping. Moreover, the developed coverage algorithm is applied to a scenario of monitoring surface deformation. Finally, the effectiveness of the proposed algorithm is validated through numerical simulations.
- [76] arXiv:2405.02039 [pdf, ps, other]
-
Title: On the Submodule Structure of Hook Specht Modules in Characteristic 2Authors: Zain Ahmed KapadiaSubjects: Representation Theory (math.RT)
The submodule structure of general Specht modules in prime characteristic is a difficult open problem. Kleshchev and Sheth [Journal of Algebra, 221(2), pp.705-722] gave a combinatorial description of the submodule structure of Specht modules labelled by $2$-part partitions in prime characteristic. Using this result, as well as filtrations of Specht modules labelled by hook partitions via $2$-part Specht modules in characteristic $2$, one can study the submodule structure of hook Specht modules. In particular, we classify which of these are uniserial.
- [77] arXiv:2405.02042 [pdf, other]
-
Title: Sampling to Achieve the Goal: An Age-aware Remote Markov Decision ProcessComments: 12 pages, 4 figuresSubjects: Information Theory (cs.IT)
Age of Information (AoI) has been recognized as an important metric to measure the freshness of information. Central to this consensus is that minimizing AoI can enhance the freshness of information, thereby facilitating the accuracy of subsequent decision-making processes. However, to date the direct causal relationship that links AoI to the utility of the decision-making process is unexplored. To fill this gap, this paper provides a sampling-control co-design problem, referred to as an age-aware remote Markov Decision Process (MDP) problem, to explore this unexplored relationship. Our framework revisits the sampling problem in [1] with a refined focus: moving from AoI penalty minimization to directly optimizing goal-oriented remote decision-making process under random delay. We derive that the age-aware remote MDP problem can be reduced to a standard MDP problem without delays, and reveal that treating AoI solely as a metric for optimization is not optimal in achieving remote decision making. Instead, AoI can serve as important side information to facilitate remote decision making.
- [78] arXiv:2405.02049 [pdf, other]
-
Title: Hypertree shrinking avoiding low degree verticesSubjects: Combinatorics (math.CO)
The shrinking operation converts a hypergraph into a graph by choosing, from each hyperedge, two endvertices of a corresponding graph edge. A hypertree is a hypergraph which can be shrunk to a tree on the same vertex set. Klimo\v{s}ov\'{a} and Thomass\'{e} [J. Combin. Theory Ser. B 156 (2022), 250--293] proved (as a tool to obtain their main result on edge-decompositions of graphs into paths of equal length) that any rank $3$ hypertree $T$ can be shrunk to a tree where the degree of each vertex is at least $1/100$ times its degree in $T$. We prove a stronger and a more general bound, replacing the constant $1/100$ with $1/2k$ when the rank is $k$. In place of entropy compression (used by Klimo\v{s}ov\'{a} and Thomass\'{e}), we use a hypergraph orientation lemma combined with a characterisation of edge-coloured graphs admitting rainbow spanning trees.
- [79] arXiv:2405.02054 [pdf, ps, other]
-
Title: An analogue of the Milnor conjecture for the de Rham-Witt complex in characteristic 2Authors: Emanuele DottoComments: 35 pages, comments are welcome!Subjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT); Number Theory (math.NT)
We describe the modulo $2$ de Rham-Witt complex of a field of characteristic $2$, in terms of the powers of the augmentation ideal of the $\mathbb{Z}/2$-geometric fixed points of real topological restriction homology TRR. This is analogous to the conjecture of Milnor, proved by Kato for fields of characteristic $2$, which describes the modulo $2$ Milnor K-theory in terms of the powers of the augmentation ideal of the Witt group of symmetric forms. Our proof provides a somewhat explicit description of these objects, as well as a calculation of the homotopy groups of the geometric fixed points of TRR and of real topological cyclic homology, for all fields.
- [80] arXiv:2405.02056 [pdf, ps, other]
-
Title: Some properties of the Zero-set Intersection graph of $C(X)$ and its Line graphSubjects: Combinatorics (math.CO)
Let $C(X)$ be the ring of all continuous real valued functions defined on a completely regular Hausdorff topological space $X$. The zero-set intersection graph $\Gamma (C(X))$ of $C(X)$ is a simple graph with vertex set all non units of $C(X)$ and two vertices are adjacent if the intersection of the zero sets of the functions is non empty. In this paper, we study the zero-set intersection graph of $C(X)$ and its line graph. We show that if $X$ has more than two points, then these graphs are connected with diameter and radius 2. We show that the girth of the graph is 3 and the graphs are both triangulated and hypertriangulated. We find the domination number of these graphs and finally we prove that $C(X)$ is a von Neuman regular ring if and only if $C(X)$ is an almost regular ring and for all $f \in V(\Gamma (C(X)))$ there exists $g \in V(\Gamma(C(X)))$ such that $Z(f) \cap Z(g) = \phi$ and $\{f, g\}$ dominates $\Gamma(C(X))$. Finally, we derive some properties of the line graph of $\Gamma (C(X))$.
- [81] arXiv:2405.02059 [pdf, other]
-
Title: On accumulated spectrograms for Gabor framesAuthors: Simon HalvdanssonComments: 19 pagesSubjects: Functional Analysis (math.FA)
Analogs of classical results on accumulated spectrograms, the sum of spectrograms of eigenfunctions of localization operators, are established for Gabor multipliers on tight frames. We show that the lattice $\ell^1$ distance between the accumulated spectrogram and the indicator function of the Gabor multiplier mask is bounded by the length of the perimeter of the mask and that this bound is sharp in general. The methods developed for the proofs are also used to show that the Weyl-Heisenberg ensemble restricted to a lattice is hyperuniform.
- [82] arXiv:2405.02064 [pdf, ps, other]
-
Title: Elliptic fourth-order operators with Wentzell boundary conditions on Lipschitz domainsAuthors: David PloßComments: 35 pages, no figuresSubjects: Analysis of PDEs (math.AP)
For bounded domains $\Omega$ with Lipschitz boundary $\Gamma$, we investigate boundary value problems for elliptic operators with variable coefficients of fourth order subject to Wentzell (or dynamic) boundary conditions. Using form methods, we begin by showing general results for an even wider class of operators defined via two (intertwined) quadratic forms by defining very abstract concepts of weak traces. Even in this general setting, we prove generation of an analytic semigroup on the product space $L^2(\Omega) \times L^2(\Gamma)$. Using recent results concerning weak co-normal traces, we apply our abstract theory to the elliptic fourth-order case and are able to fully characterize the domain in terms of Sobolev regularity, also obtaining H\"older-regularity of solutions. Finally, we also discuss asymptotic behavior and (eventual) positivity.
- [83] arXiv:2405.02065 [pdf, ps, other]
-
Title: Unstable algebraic K-theory: homological stability and other observationsAuthors: Mikala Ørsnes JansenComments: 92 pages. Comments welcome!Subjects: K-Theory and Homology (math.KT)
We investigate stability properties of the reductive Borel-Serre categories; these were introduced as a model for unstable algebraic K-theory in previous work. We see that they exhibit better homological stability properties than the general linear groups. We also show that they provide an explicit model for Yuan's partial algebraic K-theory.
- [84] arXiv:2405.02071 [pdf, other]
-
Title: Spacelike initial data for black hole stabilityComments: 26 pagesSubjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (gr-qc)
We construct initial data suitable for the Kerr stability conjecture, that is, solutions to the constraint equations on a spacelike hypersurface with boundary entering the black hole horizon that are arbitrarily decaying perturbations of a Kerr initial data set. This results from a more general perturbative construction on any asymptotically flat initial data set with the topology of $\mathbb{R}^3\setminus\{r<1\}$ enjoying some analyticity near and at the boundary. In particular, we design a suitable mixed boundary condition for the elliptic operator of the conformal method in order to exclude the Killing initial data sets (KIDS).
- [85] arXiv:2405.02073 [pdf, other]
-
Title: Iterative Reconstruction Methods for Cosmological X-Ray TomographyComments: 22 pages; codes for this paper will be made available at this https URL once the revision process is completeSubjects: Numerical Analysis (math.NA)
We consider the imaging of cosmic strings by using Cosmic Microwave Background (CMB) data. Mathematically, we study the inversion of an X-ray transform in Lorentzian geometry, called the light ray transform. The inverse problem is highly ill-posed, with additional complexities of being large-scale and dynamic, with unknown parameters that represent multidimensional objects. This presents significant computational challenges for the numerical reconstruction of images that have high spatial and temporal resolution. In this paper, we begin with a microlocal stability analysis for inverting the light ray transform using the Landweber iteration. Next, we discretize the spatiotemporal object and light ray transform and consider iterative computational methods for solving the resulting inverse problem. We provide a numerical investigation and comparison of some advanced iterative methods for regularization including Tikhonov and sparsity-promoting regularizers for various example scalar functions with conormal type singularities.
- [86] arXiv:2405.02080 [pdf, ps, other]
-
Title: Coding for Synthesis DefectsSubjects: Information Theory (cs.IT)
Motivated by DNA based data storage system, we investigate the errors that occur when synthesizing DNA strands in parallel, where each strand is appended one nucleotide at a time by the machine according to a template supersequence. If there is a cycle such that the machine fails, then the strands meant to be appended at this cycle will not be appended, and we refer to this as a synthesis defect. In this paper, we present two families of codes correcting synthesis defects, which are t-known-synthesis-defect correcting codes and t-synthesis-defect correcting codes. For the first one, it is assumed that the defective cycles are known, and each of the codeword is a quaternary sequence. We provide constructions for this family of codes for t = 1, 2, with redundancy log 4 and log n+18 log 3, respectively. For the second one, the codeword is a set of M ordered sequences, and we give constructions for t = 1, 2 to show a strategy for constructing this family of codes. Finally, we derive a lower bound on the redundancy for single-known-synthesis-defect correcting codes, which assures that our construction is almost optimal.
- [87] arXiv:2405.02089 [pdf, other]
-
Title: Computational issues in Optimization for Deep networksSubjects: Optimization and Control (math.OC)
The paper aims to investigate relevant computational issues of deep neural network architectures with an eye to the interaction between the optimization algorithm and the classification performance. In particular, we aim to analyze the behaviour of state-of-the-art optimization algorithms in relationship to their hyperparameters setting in order to detect robustness with respect to the choice of a certain starting point in ending on different local solutions. We conduct extensive computational experiments using nine open-source optimization algorithms to train deep Convolutional Neural Network architectures on an image multi-class classification task. Precisely, we consider several architectures by changing the number of layers and neurons per layer, in order to evaluate the impact of different width and depth structures on the computational optimization performance.
- [88] arXiv:2405.02090 [pdf, other]
-
Title: Pair coalescence times of ancestral lineages of two-dimensional logistic branching random walksComments: 30 pages, 1 figureSubjects: Probability (math.PR)
Consider two ancestral lineages sampled from a system of two-dimensional branching random walks with logistic regulation in the stationary regime. We study the asymptotics of their coalescence time for large initial separation and find that it agrees with well known results for a suitably scaled two-dimensional stepping stone model and also with Mal\'ecot's continuous-space approximation for the probability of identity by descent as a function of sampling distance. This can be viewed as a justification for the replacement of locally fluctuating population sizes by fixed effective sizes. Our main tool is a joint regeneration construction for the spatial embeddings of the two ancestral lineages.
- [89] arXiv:2405.02091 [pdf, ps, other]
-
Title: Master equations with indefinite nonlinearitiesSubjects: Analysis of PDEs (math.AP)
In this paper, we consider the following indefinite fully fractional heat equation involving the master operator \begin{equation*} (\partial_t -\Delta)^{s} u(x,t) = x_1u^p(x,t)\ \ \mbox{in}\ \R^n\times\R , \end{equation*} where $s\in(0,1)$, and $-\infty < p < \infty$. Under mild conditions, we prove that there is no positive bounded solutions. To this end, we first show that the solutions are strictly increasing along $x_1$ direction by employing the direct method of moving planes. Then by constructing an unbounded sub-solution, we derive the nonexistence of bounded solutions.
To circumvent the difficulties caused by the fully fractional master operator, we introduced some new ideas and novel approaches that, as we believe, will become useful tool in studying a variety of other fractional elliptic and parabolic problems. - [90] arXiv:2405.02092 [pdf, other]
-
Title: Geometric realizations of the $s$-weak order and its lattice quotientsComments: 49 pages, 33 figuresSubjects: Combinatorics (math.CO)
For an $n$-tuple $s$ of non-negative integers, the $s$-weak order is a lattice structure on $s$-trees, generalizing the weak order on permutations. We first describe the join irreducible elements, the canonical join representations, and the forcing order of the $s$-weak order in terms of combinatorial objects, generalizing the arcs, the non-crossing arc diagrams, and the subarc order for the weak order. We then extend the theory of shards and shard polytopes to construct geometric realizations of the $s$-weak order and all its lattice quotients as polyhedral complexes, generalizing the quotient fans and quotientopes of the weak order.
- [91] arXiv:2405.02093 [pdf, ps, other]
-
Title: Sharp Maximal function estimates for Multilinear pseudo-differential operators of type (0,0)Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
In this paper, we study sharp maximal function estimates for multilinear pseudo-differential operators. Our target is operators of type (0, 0) for which a differentiation does not make any decay of the associated symbol. Analogous results for operators of type (\rho, \rho), 0 < \rho < 1, appeared in an earlier work of the authors, but a different approach is given for \rho = 0
- [92] arXiv:2405.02094 [pdf, other]
-
Title: Numerical validation of an adaptive model for the determination of nonlinear-flow regions in highly heterogeneous porous mediaSubjects: Numerical Analysis (math.NA)
An adaptive model for the description of flows in highly heterogeneous porous media is developed in~\cite{FP21,FP23}. There, depending on the magnitude of the fluid's velocity, the constitutive law linking velocity and pressure gradient is selected between two possible options, one better adapted to slow motion and the other to fast motion. We propose here to validate further this adaptive approach by means of more extensive numerical experiments, including a three-dimensional case, as well as to use such approach to determine a partition of the domain into slow- and fast-flow regions.
- [93] arXiv:2405.02096 [pdf, ps, other]
-
Title: An informal account of recent results on initial-boundary value problems for systems of conservation lawsComments: Dedicated to Professor Gui-Qiang Chen on the occasion of his 60th birthdaySubjects: Analysis of PDEs (math.AP)
This note aims at providing a rather informal and hopefully accessible overview of the fairly long and technical work [4]. In that paper, the authors established new global-in-time existence results for admissible solutions of nonlinear systems of conservation laws defined in domains with boundaries. The main novelty in [4] is that the solution is constructed by taking into account the underlying viscous mechanism, which is relevant because, in the case of initial-boundary value problems, different viscous approximations yield in general different limits. This note will frame the analysis of [4] in the relevant context, compare the main result with the previous existing literature, and touch upon the most innnovative technical points of the proof.
- [94] arXiv:2405.02099 [pdf, ps, other]
-
Title: Chordal matroids arising from generalized parallel connections IISubjects: Combinatorics (math.CO)
In 1961, Dirac showed that chordal graphs are exactly the graphs that can be constructed from complete graphs by a sequence of clique-sums. In an earlier paper, by analogy with Dirac's result, we introduced the class of $GF(q)$-chordal matroids as those matroids that can be constructed from projective geometries over $GF(q)$ by a sequence of generalized parallel connections across projective geometries over $GF(q)$. Our main result showed that when $q=2$, such matroids have no induced minor in $\{M(C_4),M(K_4)\}$. In this paper, we show that the class of $GF(2)$-chordal matroids coincides with the class of binary matroids that have none of $M(K_4)$, $M^*(K_{3,3})$, or $M(C_n)$ for $n\geq 4$ as a flat. We also show that $GF(q)$-chordal matroids can be characterized by an analogous result to Rose's 1970 characterization of chordal graphs as those that have a perfect elimination ordering of vertices.
- [95] arXiv:2405.02100 [pdf, other]
-
Title: Data-Driven Stable Neural Feedback Loop DesignSubjects: Optimization and Control (math.OC)
This paper proposes a data-driven approach to design a feedforward Neural Network (NN) controller with a stability guarantee for systems with unknown dynamics. We first introduce data-driven representations of stability conditions for Neural Feedback Loops (NFLs) with linear plants. These conditions are then formulated into a semidefinite program (SDP). Subsequently, this SDP constraint is integrated into the NN training process resulting in a stable NN controller. We propose an iterative algorithm to solve this problem efficiently. Finally, we illustrate the effectiveness of the proposed method and its superiority compared to model-based methods via numerical examples.
- [96] arXiv:2405.02103 [pdf, other]
-
Title: Spectral density of complex eigenvalues and associated mean eigenvector self-overlaps at the edge of elliptic Ginibre ensemblesComments: 22 pages, 5 figuresSubjects: Mathematical Physics (math-ph)
We consider the density of complex eigenvalues, $\rho(z)$, and the associated mean eigenvector self-overlaps, $\mathcal{O}(z)$, at the spectral edge of $N \times N$ real and complex elliptic Ginibre matrices, as $N \to \infty$. Two different regimes of ellipticity are studied: strong non-Hermiticity, keeping the ellipticity parameter $\tau$ fixed and weak non-Hermiticity with $\tau \rightarrow 1 $ as $N \rightarrow \infty$. At strong non-Hermiticity, we find that both $\rho(z)$ and $\mathcal{O}(z)$ have the same leading order behaviour across the elliptic Ginibre ensembles, establishing the expected universality. In the limit of weak non-Hermiticity, we find different results for $\rho(z)$ and $\mathcal{O}(z)$ across the two ensembles. This paper is the final of three papers that we have presented addressing the mean self-overlap of eigenvectors in these ensembles.
- [97] arXiv:2405.02107 [pdf, ps, other]
-
Title: Equal Requests are Asymptotically Hardest for Data RecoveryComments: 13 pagesSubjects: Information Theory (cs.IT); Combinatorics (math.CO); Probability (math.PR)
In a distributed storage system serving hot data, the data recovery performance becomes important, captured e.g. by the service rate. We give partial evidence for it being hardest to serve a sequence of equal user requests (as in PIR coding regime) both for concrete and random user requests and server contents.
We prove that a constant request sequence is locally hardest to serve: If enough copies of each vector are stored in servers, then if a request sequence with all requests equal can be served then we can still serve it if a few requests are changed.
For random iid server contents, with number of data symbols constant (for simplicity) and the number of servers growing, we show that the maximum number of user requests we can serve divided by the number of servers we need approaches a limit almost surely. For uniform server contents, we show this limit is 1/2, both for sequences of copies of a fixed request and of any requests, so it is at least as hard to serve equal requests as any requests. For iid requests independent from the uniform server contents the limit is at least 1/2 and equal to 1/2 if requests are all equal to a fixed request almost surely, confirming the same.
As a building block, we deduce from a 1952 result of Marshall Hall, Jr. on abelian groups, that any collection of half as many requests as coded symbols in the doubled binary simplex code can be served by this code. This implies the fractional version of the Functional Batch Code Conjecture that allows half-servers. - [98] arXiv:2405.02110 [pdf, ps, other]
-
Title: Embeddings and disjunction of Lagrangian pinwheels via rational blow-upsAuthors: Nikolas AdaloglouComments: 18 pages; Comments welcome!Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG); Geometric Topology (math.GT)
We use the symplectic rational blow-up to study some Lagrangian pinwheels in symplectic rational manifolds. In particular, we determine which symplectic forms in the threefold blow-up of $\C P^2$ carry Lagrangian projective planes that can be made disjoint by a Hamiltonian isotopy. In addition, we show that such a disjunction is not possible in del Pezzo surfaces with Euler characteristic between $4$ and $7$. Finally, we determine which symplectic forms on $S^2\times S^2$ carry a Lagrangian $L_{3,1}$ pinwheel, answering a question of J. Evans.
- [99] arXiv:2405.02112 [pdf, ps, other]
-
Title: On a generalization of R. Chapman's "evil determinant"Subjects: Number Theory (math.NT)
Let $p$ be an odd prime and $x$ be an indeterminate. Recently, Z.-W. Sun proposed the following conjecture: $$\det\left[x+\left(\frac{j-i}{p}\right)\right]_{0\le i,j\le \frac{p-1}{2}}=\begin{cases} (\frac{2}{p})pb_px-a_p & \mbox{if}\ p\equiv 1\pmod4, 1 & \mbox{if}\ p\equiv 3\pmod4, \end{cases}$$ where $a_p$ and $b_p$ are rational numbers related to the fundamental unit and class number of the real quadratic field $\mathbb{Q}(\sqrt{p})$. In this paper, we confirm the above conjecture of Sun based on Vsemirnov's decomposition of Chapman's "evil determinant".
- [100] arXiv:2405.02118 [pdf, ps, other]
-
Title: New analytical and geometrical aspects on Trudinger-Moser type inequality in 2DComments: submitted for publication on the volume "Singularities, Asymptotics, and Limiting Models", Springer-INdAM seriesSubjects: Analysis of PDEs (math.AP)
The present survey is devoted to results on Trudinger-Moser inequalities in two dimension. We give a brief overview of the history of these celebrated inequalities and, starting from the geometric problem that motivated Moser's original work, we discuss the connection between Onofri's inequality for the unit sphere and sharp inequalities on Euclidean domains. Finally, we present recent results and new insights into nonlocal interaction energy functionals in two dimension, involving logarithmic kernels.
- [101] arXiv:2405.02120 [pdf, ps, other]
-
Title: Second radial eigenfunctions to a fractional Dirichlet problem and uniqueness for a semilinear equationComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
We analyze the shape of radial second Dirichlet eigenfunctions of fractional Schr\"odinger type operators of the form $(-\Delta)^s +V$ in the unit ball $B$ in $\mathbb{R}^N$ with a nondecreasing radial potential $V$. Specifically, we show that the eigenspace corresponding to the second radial eigenvalue is simple and spanned by an eigenfunction $u$ which changes sign precisely once in the radial variable and does not have zeroes anywhere else in $B$. Moreover, by a new Hopf type lemma for supersolutions to a class of degenerate mixed boundary value problems, we show that $u$ has a nonvanishing fractional boundary derivative on $\partial B$. We apply this result to prove uniqueness and nondegeneracy of positive ground state solutions to the problem $(-\Delta)^s u+\lambda u=u^p$ on ${B}$, $\; u=0$ on $\mathbb{R}^N\setminus B$. Here $s\in (0,1)$, $\lambda\geq 0$ and $p>1$ is strictly smaller than the critical Sobolev exponent.
- [102] arXiv:2405.02123 [pdf, other]
-
Title: 2 x 2 hyperbolic systems of conservation laws in classes of functions of bounded p-variationAuthors: Olivier GlassSubjects: Analysis of PDEs (math.AP)
In this paper, we consider $2 \times 2$ hyperbolic systems of conservation laws in one space dimension with characteristic fields satisfying a condition that encompasses genuine nonlinearity and linear degeneracy as well as intermediate cases, namely, with standard notations, $r_i\cdot \nabla \lambda_i \geq 0$.
We prove the existence of entropy solutions in the fractional $BV$ spaces ${W}_p(\mathbb{R})$ of functions of bounded $p$-variation, $p \in [1,\frac{3}{2}]$, for small initial data. - [103] arXiv:2405.02130 [pdf, ps, other]
-
Title: Double extension of flat pseudo-Riemannian $F$-Lie algebrasComments: 20 pages. Comments are very welcome!Subjects: Differential Geometry (math.DG); Rings and Algebras (math.RA)
We define the concept of a flat pseudo-Riemannian $F$-Lie algebra and construct its corresponding double extension. This algebraic structure can be interpreted as the infinitesimal analogue of a Frobenius Lie group devoid of Euler vector fields. We show that the double extension provides a framework for generating all weakly flat Lorentzian non-abelian bi-nilpotent $F$-Lie algebras possessing one dimensional light-cone subspaces. A similar result can be established for nilpotent Lie algebras equipped with flat scalar products of signature $(2,n-2)$ where $n\geq 4$. Furthermore, we use this technique to construct Poisson algebras exhibiting compatibility with flat scalar products.
- [104] arXiv:2405.02137 [pdf, ps, other]
-
Title: Global regularity and infinite Prandtl number limit of temperature patches for the 2D Boussinesq systemComments: 49 pagesSubjects: Analysis of PDEs (math.AP)
We prove global regularity and study the infinite Prandtl number limit of temperature patches for the 2D non-diffusive Boussinesq system with dissipation in the full subcritical regime. The temperature satisfies a transport equation and the temperature initial data are given in the form of non-constant patches. Our first main result is a persistence of regularity of the patches globally in time. More precisely, we prove that if the boundary of the initial temperature patch lies in $C^{k+\gamma}$ with $k\geq 1$ and $\gamma\in(0,1)$ then this initial regularity is preserved for all time. Importantly, our proof is robust enough to show uniform dependence on the Prandtl number in some cases. This result solves a question in Khor and Xu \cite{KX22} concerning the global control of the curvature of the patch boundary. Besides, by studying the limit when the Prandtl number goes to infinity, we find that the patch solutions to the 2D Boussinesq-Navier-Stokes system in the torus converge to the unique patch solutions of the (fractional) Stokes-transport equation and that the $C^{k+\gamma}$ regularity of the patch boundary is globally preserved. This allows us to extend the $C^{k+\gamma}$ persistence result of Grayer II \cite{Gray23} from the range $k\in \{0,1,2\}$ to the full range $k\geq 1$.
- [105] arXiv:2405.02139 [pdf, other]
-
Title: Multi-rate Runge-Kutta methods: stability analysis and applicationsAuthors: Bernhard Bachmann, Luca Bonaventura, Francesco Casella, Soledad Fernández-García, Macarena Gómez-MármolSubjects: Numerical Analysis (math.NA)
We present an approach for the efficient implementation of self-adjusting multi-rate Runge-Kutta methods and we extend the previously available stability analyses of these methods to the case of an arbitrary number of sub-steps for the active components. We propose a physically motivated model problem that can be used to assess the stability of different multi-rate versions of standard Runge-Kutta methods and the impact of different interpolation methods for the latent variables. Finally, we present the results of several numerical experiments, performed with implementations of the proposed methods in the framework of the \textit{OpenModelica} open-source modelling and simulation software, which demonstrate the efficiency gains deriving from the use of the proposed multi-rate approach for physical modelling problems with multiple time scales.
- [106] arXiv:2405.02142 [pdf, ps, other]
-
Title: Local cohomology with support in Schubert varietiesAuthors: Michael PerlmanComments: 27 pages, comments welcomeSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Representation Theory (math.RT)
This paper is concerned with local cohomology sheaves on generalized flag varieties supported in closed Schubert varieties, which carry natural structures as (mixed Hodge) D-modules. We employ Kazhdan--Lusztig theory and Saito's theory of mixed Hodge modules to describe a general strategy to calculate the simple composition factors, Hodge filtration, and weight filtration on these modules. Our main tool is the Grothendieck--Cousin complex, introduced by Kempf, which allows us to relate the local cohomology modules in question to parabolic Verma modules over the corresponding Lie algebra. We show that this complex underlies a complex of mixed Hodge modules, and is thus endowed with Hodge and weight filtrations. As a consequence, strictness implies that computing cohomology commutes with taking associated graded with respect to both of these filtrations. We execute this strategy to calculate the composition factors and weight filtration for Schubert varieties in the Grassmannian, in particular showing that the weight filtration is controlled by the augmented Dyck patterns of Raicu--Weyman. As an application, upon restriction to the opposite big cell, we recover the simple composition factors and weight filtration on local cohomology with support in generic determinantal varieties.
- [107] arXiv:2405.02152 [pdf, ps, other]
-
Title: On the Three-dimensional Nernst-Planck-Boussinesq SystemComments: 28 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, we analyze a three-dimensional Nernst-Planck-Boussinesq (NPB) system that describes ionic electrodiffusion in an incompressible viscous fluid. This new model incorporates variational temperature and is forced by buoyancy force stemming from temperature and salinity fluctuations, enhancing its generality and realism. The electromigration term in the NPB system displays a complex nonlinear structure influenced by the reciprocal of the temperature that distinguishes its mathematical aspects from other electrodiffusion models studied in the literature. We address the global existence of weak solutions to the NPB system on the three-dimensional torus for large initial data. In addition, we study the long-time dynamics of these weak solutions and the associated relative entropies and establish their exponential decay in time to steady states.
- [108] arXiv:2405.02164 [pdf, ps, other]
-
Title: A Shifted Parking Function Symmetric FunctionAuthors: Richard P. StanleyComments: 10 pagesSubjects: Combinatorics (math.CO)
We define a "shifted analogue" $\mathrm{SH}_n$ of the parking function symmetric function $\mathrm{PF}_n$. The expansion of $\mathrm{SH}_n$ in terms of three bases for shifted symmetric functions is explicitly described. We don't know a shifted analogue for parking functions themselves, but some desirable properties of such an analogue are discussed.
- [109] arXiv:2405.02166 [pdf, other]
-
Title: Tracking and forecasting oscillatory data streams using Koopman autoencoders and Kalman filteringComments: 44 pages, 23 figures, 1 tableSubjects: Dynamical Systems (math.DS)
Data-driven modelling techniques provide a method for deriving models of dynamical systems directly from complicated data streams. However, tracking and forecasting such data streams poses a significant challenge to most methods, as they assume the underlying process and model does not change over time. In this paper, we apply one such data-driven method, the Koopman autoencoder (KAE), to high-dimensional oscillatory data to generate a low-dimensional latent space and model, where the system's dynamics appear linear. This allows one to accurately track and forecast systems where the underlying model may change over time. States and the model in the reduced order latent space can then be efficiently updated as new data becomes available, using data assimilation techniques such as the ensemble Kalman filter (EnKF), in a technique we call the KAE EnKF. We demonstrate that this approach is able to effectively track and forecast time-varying, nonlinear dynamical systems in synthetic examples. We then apply the KAE EnKF to a video of a physical pendulum, and achieve a significant improvement over current state-of-the-art methods. By generating effective latent space reconstructions, we find that we are able to construct accurate short-term forecasts and efficient adaptations to externally forced changes to the pendulum's frequency.
- [110] arXiv:2405.02174 [pdf, ps, other]
-
Title: Hausdorff dimension of the exceptional set of the law of large numbers in Pierce expansionsAuthors: Min Woong AhnComments: 15 pagesSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)
The digits of Pierce expansion adhere to the law of large numbers. It is known that the Hausdorff dimension of the set of exceptions to the law of large numbers is $1$. We offer an elementary proof of this fact by adapting Jun Wu's method used in the context of Engel expansions.
- [111] arXiv:2405.02176 [pdf, other]
-
Title: On a question of Kwakkel and MarkovicAuthors: Sergei MerenkovComments: 20 pages, 1 figure. arXiv admin note: text overlap with arXiv:2105.08760Subjects: Dynamical Systems (math.DS)
A question of F. Kwakkel and V. Markovic on existence of C^1-diffeomorphisms of closed surfaces that permute a dense collection of domains with bounded geometry is answered in the negative. In fact, it is proved that for closed surfaces of genus at least one such diffeomorphisms do not exist regardless of whether they have positive or zero topological entropy.
- [112] arXiv:2405.02182 [pdf, other]
-
Title: Hybridizable discontinuous Galerkin methods for solving the two-fluid plasma modelSubjects: Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)
The two-fluid plasma model has a wide range of timescales which must all be numerically resolved regardless of the timescale on which plasma dynamics occurs. The answer to solving numerically stiff systems is generally to utilize unconditionally stable implicit time advance methods. Hybridizable discontinuous Galerkin (HDG) methods have emerged as a powerful tool for solving stiff partial differential equations. The HDG framework combines the advantages of the discontinuous Galerkin (DG) method, such as high-order accuracy and flexibility in handling mixed hyperbolic/parabolic PDEs with the advantage of classical continuous finite element methods for constructing small numerically stable global systems which can be solved implicitly. In this research we quantify the numerical stability conditions for the two-fluid equations and demonstrate how HDG can be used to avoid the strict stability requirements while maintaining high order accurate results.
- [113] arXiv:2405.02185 [pdf, ps, other]
-
Title: Free extensivity via distributivityComments: 15pSubjects: Category Theory (math.CT)
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions of extensive categories. More precisely, we show that extensive categories with pullbacks and infinitary lextensive categories are the pseudoalgebras for the pseudomonads resulting from the pseudodistributive laws. Moreover, we introduce the notion of doubly-infinitary lextensive category, and we establish that the freely generated such categories are cartesian closed. From this result, we further deduce that, in freely generated infinitary lextensive categories, the objects with a finite number of connected components are exponentiable. We conclude our work with remarks on descent theoretical aspects of this work, along with results concerning non-canonical isomorphisms.
- [114] arXiv:2405.02189 [pdf, ps, other]
-
Title: Edge-length preserving embeddings of graphs between normed spacesComments: 21 pages, 3 figuresSubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
The concept of graph flattenability, initially formalized by Belk and Connelly and later expanded by Sitharam and Willoughby, extends the question of embedding finite metric spaces into a given normed space. A finite simple graph $G=(V,E)$ is said to be $(X,Y)$-flattenable if any set of induced edge lengths from an embedding of $G$ into a normed space $Y$ can also be realised by an embedding of $G$ into a normed space $X$. This property, being minor-closed, can be characterized by a finite list of forbidden minors. Following the establishment of fundamental results about $(X,Y)$-flattenability, we identify sufficient conditions under which it implies independence with respect to the associated rigidity matroids for $X$ and $Y$. We show that the spaces $\ell_2$ and $\ell_\infty$ serve as two natural extreme spaces of flattenability and discuss $(X, \ell_p )$-flattenability for varying $p$. We provide a complete characterization of $(X,Y)$-flattenable graphs for the specific case when $X$ is 2-dimensional and $Y$ is infinite-dimensional.
- [115] arXiv:2405.02201 [pdf, other]
-
Title: Regularized Q-learning through Robust AveragingComments: 26 pages, 5 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
We propose a new Q-learning variant, called 2RA Q-learning, that addresses some weaknesses of existing Q-learning methods in a principled manner. One such weakness is an underlying estimation bias which cannot be controlled and often results in poor performance. We propose a distributionally robust estimator for the maximum expected value term, which allows us to precisely control the level of estimation bias introduced. The distributionally robust estimator admits a closed-form solution such that the proposed algorithm has a computational cost per iteration comparable to Watkins' Q-learning. For the tabular case, we show that 2RA Q-learning converges to the optimal policy and analyze its asymptotic mean-squared error. Lastly, we conduct numerical experiments for various settings, which corroborate our theoretical findings and indicate that 2RA Q-learning often performs better than existing methods.
- [116] arXiv:2405.02202 [pdf, ps, other]
-
Title: Some Winnability Results for the Neighborhood and Group Labeling Lights Out GamesSubjects: Combinatorics (math.CO)
We look at both the \emph{group labeling lights out game} and the \emph{neighborhood lights out game}. Our main focus is to determine necessary and sufficient conditions for when the group labeling lights out game on path graphs, cycle graphs, and complete bipartite graphs can be won for every possible initial labeling. In the process of solving this problem, we demonstrate a new proof for when the neighborhood lights out game on complete bipartite graphs can be won for every possible initial labeling.
- [117] arXiv:2405.02203 [pdf, other]
-
Title: Convergence of a Finite Volume Scheme for Compactly Heterogeneous Scalar Conservation LawsAuthors: Abraham SyllaSubjects: Numerical Analysis (math.NA)
We build a finite volume scheme for the scalar conservation law $\partial_t u + \partial_x (H(x, u)) = 0$ with bounded initial condition for a wide class of flux function $H$, convex with respect to the second variable. The main idea for the construction of the scheme is to use the theory of discontinuous flux. We prove that the resulting approximating sequence converges boundedly almost everywhere on $\mathopen]0, +\infty\mathclose[$ to the entropy solution.
- [118] arXiv:2405.02204 [pdf, other]
-
Title: Pseudo-monodromy and the Mandelbrot setSubjects: Dynamical Systems (math.DS)
We investigate the discontinuity of codings for the Julia set of a quadratic map. To each parameter ray, we associate a natural coding for Julia sets on the ray. Given a hyperbolic component $H$ of the Mandelbrot set, we consider the codings along the two parameter rays landing on the root point of $H$. Our main result describes the discontinuity of these two coding in terms of the kneading sequences of the hyperbolic components which are conspicuous to $H$. This result can be interpreted as a solution to the degenerated case of Lipa's conjecture on the monodromy problem of the horseshoe locus for the complex H\'enon family.
- [119] arXiv:2405.02205 [pdf, other]
-
Title: Discrete harmonic maps between hyperbolic surfacesAuthors: Wai Yeung LamComments: 18 pages, 2 figuresSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Metric Geometry (math.MG)
Given a topological cell decomposition of a closed surface equipped with edge weights, we consider the Dirichlet energy of any geodesic realization of the 1-skeleton graph to a hyperbolic surface. By minimizing the energy over all possible hyperbolic structures and over all realizations within a fixed homotopy class, one obtains a discrete harmonic map into an optimal hyperbolic surface. We characterize the extremum by showing that at the optimal hyperbolic structure, the discrete harmonic map and the edge weights are induced from a weighted Delaunay decomposition.
- [120] arXiv:2405.02209 [pdf, ps, other]
-
Title: Zilber's Trichotomy in Hausdorff Geometric StructuresSubjects: Logic (math.LO); Algebraic Geometry (math.AG)
We give a new axiomatic treatment of the Zilber trichotomy, and use it to complete the proof of the trichotomy for relics of algebraically closed fields, i.e., reducts of the ACF-induced structure on ACF-definable sets. More precisely, we introduce a class of geometric structures equipped with a Hausdorff topology, called \textit{Hausdorff geometric structures}. Natural examples include the complex field; algebraically closed valued fields; o-minimal expansions of real closed fields; and characteristic zero Henselian fields (in particular $p$-adically closed fields). We then study the Zilber trichotomy for relics of Hausdorff geometric structures, showing that under additional assumptions, every non-locally modular strongly minimal relic on a real sort interprets a one-dimensional group. Combined with recent results, this allows us to prove the trichotomy for strongly minimal relics on the real sorts of algebraically closed valued fields.
Finally, we make progress on the imaginary sorts, reducing the trichotomy for \textit{all} ACVF relics (in all sorts) to a conjectural technical condition that we prove in characteristic $(0,0)$. - [121] arXiv:2405.02215 [pdf, other]
-
Title: Influence of a slow moving vehicle on traffic: Well-posedness and approximation for a mildly non-local modelAuthors: Abraham SyllaJournal-ref: Networks & Heterogeneous Media 16(2):221-256 (2021)Subjects: Analysis of PDEs (math.AP)
In this paper, we propose a macroscopic model that describes the influence of a slow moving large vehicle on road traffic. The model consists of a scalar conservation law with a non-local constraint on the flux. The constraint level depends on the trajectory of the slower vehicle which is given by an ODE depending on the downstream traffic density. After proving well-posedness, we first build a finite volume scheme and prove its convergence, and then investigate numerically this model by performing a series of tests. In particular, the link with the limit local problem of [M. L. Delle Monache and P. Goatin, J. Differ. Equ. 257 (2014), 4015--4029] is explored numerically.
- [122] arXiv:2405.02221 [pdf, other]
-
Title: Discretization Error of Fourier Neural OperatorsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
Operator learning is a variant of machine learning that is designed to approximate maps between function spaces from data. The Fourier Neural Operator (FNO) is a common model architecture used for operator learning. The FNO combines pointwise linear and nonlinear operations in physical space with pointwise linear operations in Fourier space, leading to a parameterized map acting between function spaces. Although FNOs formally involve convolutions of functions on a continuum, in practice the computations are performed on a discretized grid, allowing efficient implementation via the FFT. In this paper, the aliasing error that results from such a discretization is quantified and algebraic rates of convergence in terms of the grid resolution are obtained as a function of the regularity of the input. Numerical experiments that validate the theory and describe model stability are performed.
- [123] arXiv:2405.02226 [pdf, other]
-
Title: Embedding products of trees into higher rankComments: 23 pages, 6 figures. Comments are welcome!Subjects: Group Theory (math.GR); Metric Geometry (math.MG)
We show that there exists a quasi-isometric embedding of the product of $n$ copies of $\mathbb{H}_{\mathbb{R}}^2$ into any symmetric space of non-compact type of rank $n$, and there exists a bi-Lipschitz embedding of the product of $n$ copies of the $3$-regular tree $T_3$ into any thick Euclidean building of rank $n$ with co-compact affine Weyl group. This extends a previous result of Fisher--Whyte. The proof is purely geometrical, and the result also applies to the non Bruhat--Tits buildings.
- [124] arXiv:2405.02237 [pdf, other]
-
Title: A second-order semi-Lagrangian exponential scheme with application to the shallow-water equations on the rotating sphereComments: 35 pages, 11 figuresSubjects: Numerical Analysis (math.NA)
In this work, we study and extend a class of semi-Lagrangian exponential methods, which combine exponential time integration techniques, suitable for integrating stiff linear terms, with a semi-Lagrangian treatment of nonlinear advection terms. Partial differential equations involving both processes arise for instance in atmospheric circulation models. Through a truncation error analysis, we first show that previously formulated semi-Lagrangian exponential schemes are limited to first-order accuracy due to the discretization of the linear term; we then formulate a new discretization leading to a second-order accurate method. Also, a detailed stability study, both considering a linear stability analysis and an empirical simulation-based one, is conducted to compare several Eulerian and semi-Lagrangian exponential schemes, as well as a well-established semi-Lagrangian semi-implicit method, which is used in operational atmospheric models. Numerical simulations of the shallow-water equations on the rotating sphere, considering standard and challenging benchmark test cases, are performed to assess the orders of convergence, stability properties, and computational cost of each method. The proposed second-order semi-Lagrangian exponential method was shown to be more stable and accurate than the previously formulated schemes of the same class at the expense of larger wall-clock times; however, the method is more stable and has a similar cost compared to the well-established semi-Lagrangian semi-implicit; therefore, it is a competitive candidate for potential operational applications in atmospheric circulation modeling.
- [125] arXiv:2405.02239 [pdf, ps, other]
-
Title: Supersymmetric Quantum Mechanics on a noncommutative plane through the lens of deformation quantizationComments: 33 pages, no figureSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th)
A gauge invariant mathematical formalism based on deformation quantization is outlined to model an $\mathcal{N}=2$ supersymmetric system of a spin $1/2$ charged particle placed in a nocommutative plane under the influence of a vertical uniform magnetic field. The noncommutative involutive algebra $(C^{\infty}(\mathbb{R}^{2})[[\vartheta]],*^r)$ of formal power series in $\vartheta$ with coefficients in the commutative ring $C^{\infty}(\mathbb{R}^{2})$ was employed to construct the relevant observables, viz., SUSY Hamiltonian $H$, supercharge operator $Q$ and its adjoint $Q^{\dag}$ all belonging to the $2\times 2$ matrix algebra $\mathcal{M}_{2}(C^{\infty}(\mathbb{R}^{2})[[\vartheta]],*^r)$ with the help of a family of gauge-equivalent star products $*^{r}$. The energy eigenvalues of the SUSY Hamiltonian all turned out to be independent of not only the gauge parameter $r$ but also the noncommutativity parameter $\vartheta$. The nontrivial Fermionic ground state was subsequently computed associated with the zero energy which indicates that supersymmetry remains unbroken in all orders of $\vartheta$. The Witten index for the noncommutative SUSY Landau problem turns out to be $-1$ corroborating the fact that there is no broken supersymmetry for the model we are considering.
- [126] arXiv:2405.02244 [pdf, other]
-
Title: Mean field games with common noise via Malliavin calculusSubjects: Probability (math.PR)
In this work, we present an alternative proof to the existence of equilibria for mean field games with common noise. By adapting a compactness criterion for Malliavin differentiable random variables to random processes, we obtain strong equilibria, in which the conditional mean and optimal control are adapted and defined on the original probability space. The proof is simplified by the assumption that players interact through a conditional mean process instead of conditional probability measures as in the general case.
- [127] arXiv:2405.02253 [pdf, other]
-
Title: Moment matching based reduced closed-loop design to achieve asymptotic performanceAuthors: Tudor C. IonescuComments: 7 pages. Preliminary resukts have been presented in CDC2013Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
In this paper, the moment matching techniques are adopted to obtain reduced-order closed-loop systems with reduced-order controllers that maintain the closed-loop stability and guarantee desired asymptotic performance, after revealing the relationship between the Internal Model Principle used in control design and the time-domain moment matching problem. As a result, the design of a low order controller can be done starting from considering the achieving of asymptotic performance as a moment matching problem, resulting in a reduced order closed-loop system.
- [128] arXiv:2405.02268 [pdf, ps, other]
-
Title: The injectivity radius of the compact Stiefel manifold under the Euclidean metricComments: 10 pagesSubjects: Differential Geometry (math.DG); Numerical Analysis (math.NA)
The injectivity radius of a manifold is an important quantity, both from a theoretical point of view and in terms of numerical applications. It is the largest possible radius within which all geodesics are unique and length-minimizing. In consequence, it is the largest possible radius within which calculations in Riemannian normal coordinates are well-defined. A matrix manifold that arises frequently in a wide range of practical applications is the compact Stiefel manifold of orthogonal $p$-frames in $\mathbb{R}^n$. We observe that geodesics on this manifold are space curves of constant Frenet curvatures. Using this fact, we prove that the injectivity radius on the Stiefel manifold under the Euclidean metric is $\pi$.
- [129] arXiv:2405.02269 [pdf, ps, other]
-
Title: On the structures of subset sets in higher dimensionComments: 21 pages, comments are welcomeSubjects: Combinatorics (math.CO); Number Theory (math.NT)
A given subset $A$ of natural numbers is said to be complete if every element of $\N$ is the sum of distinct terms taken from $A$. This topic is strongly connected to the knapsack problem which is known to be NP complete. The main goal of the paper is to study the structure of subset sums in a higher dimension. We show 'dense' sets and generalized arithmetic progrssions in subset sums of certain sets.
- [130] arXiv:2405.02272 [pdf, other]
-
Title: Mapping Cone and Morse TheoryComments: 38 pages, 3 figures. This paper is an outgrowth of v1 of arXiv:2211.11712. The original v1 has been greatly expanded and now separated into two papers: (1) the replaced version of arXiv:2211.11712 concerns symplectic manifolds and uses analytic-based method; (2) this paper which defines the general notion of a cone Morse theory for smooth manifolds with respect to any closed formSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT); Symplectic Geometry (math.SG)
On a smooth manifold, we associate to any closed differential form a mapping cone algebra. The cohomology of this mapping cone algebra can vary with the de Rham cohomology class of the closed form. We present a novel Morse theoretical description for the mapping cone cohomology. Specifically, we introduce a Morse complex for the mapping cone algebra which is generated by pairs of critical points with the differential defined by gradient flows and an integration of the closed form over spaces of gradient flow lines. We prove that the cohomology of our cone Morse complex is isomorphic to the mapping cone cohomology and hence independent of both the Riemannian metric and the Morse function used to define the complex. We also obtain sharp inequalities that bound the dimension of the mapping cone cohomology in terms of the number of Morse critical points and the properties of the specified closed form. Our results are widely applicable, especially for any manifold equipped with a geometric structure described by a closed differential form. We also obtain a bound on the difference between the number of Morse critical points and the Betti numbers.
- [131] arXiv:2405.02273 [pdf, ps, other]
-
Title: Transversely Projective Structures on Smooth Foliations on SurfacesSubjects: Complex Variables (math.CV)
Brunella's classification implies that every smooth foliation on a compact complex surface admits a singular transversely projective structure. However, Biswas and Sorin's recent work shows that certain foliations on compact complex surfaces, despite possessing a singular transversely projective structure, do not admit a regular transversely projective structure. Here, we describe the smooth foliations on compact complex surfaces which fail to possess a regular transversely projective structure.
- [132] arXiv:2405.02275 [pdf, other]
-
Title: Gotzmann's persistence theorem for smooth projective toric varietiesAuthors: Patience AblettSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
Gotzmann's persistence theorem enables us to confirm the Hilbert polynomial of a subscheme of projective space by checking the Hilbert function in just two points, regardless of the dimension of the ambient space. We generalise this result to products of projective spaces, and then extend our result to any smooth projective toric variety. In the case of products of projective spaces, the number of points depends solely on the Picard rank of the ambient space, rather than on the dimension. For a more general smooth projective toric variety this number depends on the number of Hilbert basis elements of the nef cone.
- [133] arXiv:2405.02285 [pdf, ps, other]
-
Title: Special matrices over finite fields and their applications to quantum error-correcting codesAuthors: Meng CaoComments: 11 pagesSubjects: Information Theory (cs.IT)
The matrix-product (MP) code $\mathcal{C}_{A,k}:=[\mathcal{C}_{1},\mathcal{C}_{2},\ldots,\mathcal{C}_{k}]\cdot A$ with a non-singular by column (NSC) matrix $A$ plays an important role in constructing good quantum error-correcting codes. In this paper, we study the MP code when the defining matrix $A$ satisfies the condition that $AA^{\dag}$ is $(D,\tau)$-monomial. We give an explicit formula for calculating the dimension of the Hermitian hull of a MP code. We provide the necessary and sufficient conditions that a MP code is Hermitian dual-containing (HDC), almost Hermitian dual-containing (AHDC), Hermitian self-orthogonal (HSO), almost Hermitian self-orthogonal (AHSO), and Hermitian LCD, respectively. We theoretically determine the number of all possible ways involving the relationships among the constituent codes to yield a MP code with these properties, respectively. We give alternative necessary and sufficient conditions for a MP code to be AHDC and AHSO, respectively, and show several cases where a MP code is not AHDC or AHSO. We provide the construction methods of HDC and AHDC MP codes, including those with optimal minimum distance lower bounds.
Cross-lists for Mon, 6 May 24
- [134] arXiv:2405.00673 (cross-list from quant-ph) [pdf, other]
-
Title: Quantum algorithms for matrix geometric meansSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Functional Analysis (math.FA); Operator Algebras (math.OA)
Matrix geometric means between two positive definite matrices can be defined equivalently from distinct perspectives - as solutions to certain nonlinear systems of equations, as points along geodesics in Riemannian geometry, and as solutions to certain optimisation problems. This diversity already suggests the potential for varied applications, as well as acting as a bridge between different domains. Here we devise new quantum subroutines to efficiently prepare quantum unitary operators that embed the standard matrix geometric mean and its generalisations called the weighted matrix geometric mean. This enables the construction of solutions to the algebraic Riccati equation, which is an important class of nonlinear systems of equations that appears in machine learning, optimal control, estimation, and filtering. Using these subroutines, we present a new class of quantum learning algorithms called quantum geometric mean metric learning. This has applications in efficiently finding the best distance measure and solving classification problems in the weakly supervised limit and for anomaly detection, for both classical and quantum problems. We also show how our method can be generalised to a particular p^th-order system of nonlinear equations. These quantum subroutines for matrix geometric means are also useful in other areas of quantum information. For example, we show how to use them in the estimation of geometric Renyi relative entropies and the Uhlmann fidelity by means of the Fuchs-Caves observable. In particular, our quantum algorithms for estimating the Uhlmann and Matsumoto fidelities have optimal dependence on the precision. Finally, we provide a BQP-complete problem based on matrix geometric means that can be solved by our subroutines, thus characterising their computational capability.
- [135] arXiv:2405.01639 (cross-list from hep-th) [pdf, other]
-
Title: Gluon Mass Generation from Renormalons and ResurgenceComments: version to appear in Physics Letters BSubjects: High Energy Physics - Theory (hep-th); High Energy Physics - Lattice (hep-lat); Mathematical Physics (math-ph)
We establish a link between the concepts of infrared renormalons, infrared fixed point, and dynamical nonperturbative mass generation of gluons in pure Yang-Mills theories. By utilizing recent results in the resurgent analysis of renormalons through non-linear ordinary differential equations, we develop a new description for the gluon propagator, thereby realizing the Schwinger mechanism. Specifically, this approach leads to a nonperturbative, dynamic mass generation for Yang-Mills gauge bosons in the deep infrared region, a phenomenon closely associated with color confinement. Furthermore, we present arguments about the limit of applicability of the Borel-Ecalle resummation of the renormalons by comparing it with the Kallen-Lehman representation of the gluon propagator.
- [136] arXiv:2405.01659 (cross-list from hep-th) [pdf, other]
-
Title: A Walk Through $Spin(1,d+1)$Authors: Vladimir SchaubComments: 50 pages, 1 fig., many diagramsSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We construct unitary irreducible representation of the de Sitter group, that forms the basis for the study of $dS_{d+1}$ QFT. Using the intertwining kernel analysis, we discuss bosonic symmetric tensor, and fermionic higher-spinors. Particular care is given to the structure and construction of exceptional series and fermionic operators. We discuss the discrete series, and explain how and why the exceptional series give rise to seemingly non-invariant correlators in de Sitter. Using tools from Clifford analysis, we show that for $d>3$, there are no exceptional fermionic representations, and so no unitary (higher)-gravitino fields. We also consider the structure of representations for $d=3$ and $d=2$, as relevant for the study of $dS_4$, the only space allowing for unitary gravitino and its generalisation, and of $dS_3$.
- [137] arXiv:2405.01669 (cross-list from astro-ph.EP) [pdf, other]
-
Title: Orbital perturbation coupling of primary oblateness and solar radiation pressureSubjects: Earth and Planetary Astrophysics (astro-ph.EP); Dynamical Systems (math.DS)
Solar radiation pressure can have a substantial long-term effect on the orbits of high area-to-mass ratio spacecraft, such as solar sails. We present a study of the coupling between radiation pressure and the gravitational perturbation due to polar flattening. Removing the short-period terms via perturbation theory yields a time-dependent two-degree-of-freedom Hamiltonian, depending on one physical and one dynamical parameter. While the reduced model is non-integrable in general, assuming coplanar orbits (i.e., both Spacecraft and Sun on the equator) results in an integrable invariant manifold. We discuss the qualitative features of the coplanar dynamics, and find three regions of the parameters space characterized by different regimes of the reduced flow. For each regime, we identify the fixed points and their character. The fixed points represent frozen orbits, configurations for which the long-term perturbations cancel out to the order of the theory. They are advantageous from the point of view of station keeping, allowing the orbit to be maintained with minimal propellant consumption. We complement existing studies of the coplanar dynamics with a more rigorous treatment, deriving the generating function of the canonical transformation that underpins the use of averaged equations. Furthermore, we obtain an analytical expression for the bifurcation lines that separate the regions with different qualitative flow.
- [138] arXiv:2405.01675 (cross-list from cs.LO) [pdf, ps, other]
-
Title: Clones, closed categories, and combinatory logicAuthors: Philip SavilleComments: A slightly-extended version of the paper published at Foundations of Software Science and Computation Structures (FoSSaCS) 2024Journal-ref: In: Kobayashi, N., Worrell, J. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science, vol 14575. Springer, ChamSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for products, tensors, and exponentials. Finally we explain how to recover both the category-theoretic syntactic model and its semantic interpretation from the multi-ary framework.
We then use these ideas to study the semantic interpretation of combinatory logic and the simply-typed lambda-calculus without products. We introduce extensional SK-clones and show these are sound and complete for both combinatory logic with extensional weak equality and the simply-typed lambda-calculus without products. We then show such SK-clones are equivalent to a variant of closed categories called SK-categories, so the simply-typed lambda-calculus without products is the internal language of SK-categories. As a corollary, we deduce that SK-categories have the same relationship to cartesian monoidal categories that closed categories have to monoidal categories. - [139] arXiv:2405.01702 (cross-list from cs.LG) [pdf, other]
-
Title: Optimization without retraction on the random generalized Stiefel manifoldComments: 21 pages, 10 figuresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Optimization over the set of matrices that satisfy $X^\top B X = I_p$, referred to as the generalized Stiefel manifold, appears in many applications involving sampled covariance matrices such as canonical correlation analysis (CCA), independent component analysis (ICA), and the generalized eigenvalue problem (GEVP). Solving these problems is typically done by iterative methods, such as Riemannian approaches, which require a computationally expensive eigenvalue decomposition involving fully formed $B$. We propose a cheap stochastic iterative method that solves the optimization problem while having access only to a random estimate of the feasible set. Our method does not enforce the constraint in every iteration exactly, but instead it produces iterations that converge to a critical point on the generalized Stiefel manifold defined in expectation. The method has lower per-iteration cost, requires only matrix multiplications, and has the same convergence rates as its Riemannian counterparts involving the full matrix $B$. Experiments demonstrate its effectiveness in various machine learning applications involving generalized orthogonality constraints, including CCA, ICA, and GEVP.
- [140] arXiv:2405.01704 (cross-list from cs.LG) [pdf, other]
-
Title: Privacy-aware Berrut Approximated Coded Computing for Federated LearningSubjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)
Federated Learning (FL) is an interesting strategy that enables the collaborative training of an AI model among different data owners without revealing their private datasets. Even so, FL has some privacy vulnerabilities that have been tried to be overcome by applying some techniques like Differential Privacy (DP), Homomorphic Encryption (HE), or Secure Multi-Party Computation (SMPC). However, these techniques have some important drawbacks that might narrow their range of application: problems to work with non-linear functions and to operate large matrix multiplications and high communication and computational costs to manage semi-honest nodes. In this context, we propose a solution to guarantee privacy in FL schemes that simultaneously solves the previously mentioned problems. Our proposal is based on the Berrut Approximated Coded Computing, a technique from the Coded Distributed Computing paradigm, adapted to a Secret Sharing configuration, to provide input privacy to FL in a scalable way. It can be applied for computing non-linear functions and treats the special case of distributed matrix multiplication, a key primitive at the core of many automated learning tasks. Because of these characteristics, it could be applied in a wide range of FL scenarios, since it is independent of the machine learning models or aggregation algorithms used in the FL scheme. We provide analysis of the achieve privacy and complexity of our solution and, due to the extensive numerical results performed, it can be observed a good trade-off between privacy and precision.
- [141] arXiv:2405.01709 (cross-list from stat.ME) [pdf, other]
-
Title: Minimax Regret Learning for Data with Heterogeneous SubgroupsSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
Modern complex datasets often consist of various sub-populations. To develop robust and generalizable methods in the presence of sub-population heterogeneity, it is important to guarantee a uniform learning performance instead of an average one. In many applications, prior information is often available on which sub-population or group the data points belong to. Given the observed groups of data, we develop a min-max-regret (MMR) learning framework for general supervised learning, which targets to minimize the worst-group regret. Motivated from the regret-based decision theoretic framework, the proposed MMR is distinguished from the value-based or risk-based robust learning methods in the existing literature. The regret criterion features several robustness and invariance properties simultaneously. In terms of generalizability, we develop the theoretical guarantee for the worst-case regret over a super-population of the meta data, which incorporates the observed sub-populations, their mixtures, as well as other unseen sub-populations that could be approximated by the observed ones. We demonstrate the effectiveness of our method through extensive simulation studies and an application to kidney transplantation data from hundreds of transplant centers.
- [142] arXiv:2405.01715 (cross-list from q-bio.GN) [pdf, other]
-
Title: Identification of SNPs in genomes using GRAMEP, an alignment-free method based on the Principle of Maximum EntropyAuthors: Matheus Henrique Pimenta-Zanon, André Yoshiaki Kashiwabara, André Luís Laforga Vanzela, Fabricio Martins LopesSubjects: Genomics (q-bio.GN); Information Theory (cs.IT); Applications (stat.AP)
Advances in high throughput sequencing technologies provide a large number of genomes to be analyzed, so computational methodologies play a crucial role in analyzing and extracting knowledge from the data generated. Investigating genomic mutations is critical because of their impact on chromosomal evolution, genetic disorders, and diseases. It is common to adopt aligning sequences for analyzing genomic variations, however, this approach can be computationally expensive and potentially arbitrary in scenarios with large datasets. Here, we present a novel method for identifying single nucleotide polymorphisms (SNPs) in DNA sequences from assembled genomes. This method uses the principle of maximum entropy to select the most informative k-mers specific to the variant under investigation. The use of this informative k-mer set enables the detection of variant-specific mutations in comparison to a reference sequence. In addition, our method offers the possibility of classifying novel sequences with no need for organism-specific information. GRAMEP demonstrated high accuracy in both in silico simulations and analyses of real viral genomes, including Dengue, HIV, and SARS-CoV-2. Our approach maintained accurate SARS-CoV-2 variant identification while demonstrating a lower computational cost compared to the gold-standard statistical tools. The source code for this proof-of-concept implementation is freely available at https://github.com/omatheuspimenta/GRAMEP.
- [143] arXiv:2405.01718 (cross-list from cs.LG) [pdf, other]
-
Title: Robust Risk-Sensitive Reinforcement Learning with Conditional Value-at-RiskSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Robust Markov Decision Processes (RMDPs) have received significant research interest, offering an alternative to standard Markov Decision Processes (MDPs) that often assume fixed transition probabilities. RMDPs address this by optimizing for the worst-case scenarios within ambiguity sets. While earlier studies on RMDPs have largely centered on risk-neutral reinforcement learning (RL), with the goal of minimizing expected total discounted costs, in this paper, we analyze the robustness of CVaR-based risk-sensitive RL under RMDP. Firstly, we consider predetermined ambiguity sets. Based on the coherency of CVaR, we establish a connection between robustness and risk sensitivity, thus, techniques in risk-sensitive RL can be adopted to solve the proposed problem. Furthermore, motivated by the existence of decision-dependent uncertainty in real-world problems, we study problems with state-action-dependent ambiguity sets. To solve this, we define a new risk measure named NCVaR and build the equivalence of NCVaR optimization and robust CVaR optimization. We further propose value iteration algorithms and validate our approach in simulation experiments.
- [144] arXiv:2405.01731 (cross-list from cs.LG) [pdf, other]
-
Title: Dynamic Anisotropic Smoothing for Noisy Derivative-Free OptimizationComments: Accepted to ICML2024Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
We propose a novel algorithm that extends the methods of ball smoothing and Gaussian smoothing for noisy derivative-free optimization by accounting for the heterogeneous curvature of the objective function. The algorithm dynamically adapts the shape of the smoothing kernel to approximate the Hessian of the objective function around a local optimum. This approach significantly reduces the error in estimating the gradient from noisy evaluations through sampling. We demonstrate the efficacy of our method through numerical experiments on artificial problems. Additionally, we show improved performance when tuning NP-hard combinatorial optimization solvers compared to existing state-of-the-art heuristic derivative-free and Bayesian optimization methods.
- [145] arXiv:2405.01735 (cross-list from cs.DS) [pdf, ps, other]
-
Title: On Smale's 17th problem over the realsComments: 44 pagesSubjects: Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA); Optimization and Control (math.OC); Probability (math.PR)
We consider the problem of efficiently solving a system of $n$ non-linear equations in ${\mathbb R}^d$. Addressing Smale's 17th problem stated in 1998, we consider a setting whereby the $n$ equations are random homogeneous polynomials of arbitrary degrees. In the complex case and for $n= d-1$, Beltr\'{a}n and Pardo proved the existence of an efficient randomized algorithm and Lairez recently showed it can be de-randomized to produce a deterministic efficient algorithm. Here we consider the real setting, to which previously developed methods do not apply. We describe an algorithm that efficiently finds solutions (with high probability) for $n= d -O(\sqrt{d\log d})$. If the maximal degree is very large, we also give an algorithm that works up to $n=d-1$.
- [146] arXiv:2405.01753 (cross-list from eess.SY) [pdf, other]
-
Title: A Feedback Linearized Model Predictive Control Strategy for Input-Constrained Self-Driving CarsComments: Preprint of a manuscript currently under review for TCTSSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper proposes a novel real-time affordable solution to the trajectory tracking control problem for self-driving cars subject to longitudinal and steering angular velocity constraints. To this end, we develop a dual-mode Model Predictive Control (MPC) solution starting from an input-output feedback linearized description of the vehicle kinematics. First, we derive the state-dependent input constraints acting on the linearized model and characterize their worst-case time-invariant inner approximation. Then, a dual-mode MPC is derived to be real-time affordable and ensuring, by design, constraints fulfillment, recursive feasibility, and uniformly ultimate boundedness of the tracking error in an ad-hoc built robust control invariant region. The approach's effectiveness and performance are experimentally validated via laboratory experiments on a Quanser Qcar. The obtained results show that the proposed solution is computationally affordable and with tracking capabilities that outperform two alternative control schemes.
- [147] arXiv:2405.01765 (cross-list from cs.NE) [pdf, other]
-
Title: Early years of Biased Random-Key Genetic Algorithms: A systematic reviewComments: 24 pages, 9 figuresSubjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
This paper presents a systematic literature review and bibliometric analysis focusing on Biased Random-Key Genetic Algorithms (BRKGA). BRKGA is a metaheuristic framework that uses random-key-based chromosomes with biased, uniform, and elitist mating strategies alongside a genetic algorithm. This review encompasses around~250 papers, covering a diverse array of applications ranging from classical combinatorial optimization problems to real-world industrial scenarios, and even non-traditional applications like hyperparameter tuning in machine learning and scenario generation for two-stage problems. In summary, this study offers a comprehensive examination of the BRKGA metaheuristic and its various applications, shedding light on key areas for future research.
- [148] arXiv:2405.01777 (cross-list from gr-qc) [pdf, ps, other]
-
Title: Spinoptics in a curved spacetimeAuthors: Valeri P. FrolovComments: 6 pagesSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
In this paper we study propagation of the high frequency electromagnetic waves in a curved spacetime. We discuss a so call spinoptics approach which generalizes a well known geometric optics approximation and allows one to take into account spin-dependent corrections. A new element proposed in this work is the use of effective action which allows one to derive spinoptics equations. This method is simpler and more transparent than the earlier proposed methods. It is explicitly covariant and can be applied to an arbitrary spacetime background. We also demonstrate how the initial value problem for the high frequency electromagnetiv wave can be soled in the developed spinoptics approximation.
- [149] arXiv:2405.01916 (cross-list from eess.SY) [pdf, other]
-
Title: Multi-objective Optimal Trade-off Between V2G Activities and Battery Degradation in Electric Mobility-as-a-Service SystemsSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper presents optimization models for electric Mobility-as-a-Service systems, whereby electric vehicles not only provide on-demand mobility, but also perform charging and Vehicle-to-Grid (V2G) operations to enhance the fleet operator profitability. Specifically, we formulate the optimal fleet operation problem as a mixed-integer linear program, with the objective combining of operational costs and revenues generated from servicing requests and grid electricity sales. Our cost function explicitly captures battery price and degradation, reflecting their impact on the fleet total cost of ownership due to additional charging and discharging activities. Simulation results for Eindhoven, The Netherlands, show that integrating V2G activities does not compromise the number of travel requests being served. Moreover, we emphasize the significance of accounting for battery degradation, as the costs associated with it can potentially outweigh the revenues stemming from V2G operations.
- [150] arXiv:2405.01935 (cross-list from cs.LO) [pdf, ps, other]
-
Title: Cut elimination for Cyclic Proofs: A Case Study in Temporal LogicSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
We consider modal logic extended with the well-known temporal operator `eventually' and provide a cut-elimination procedure for a cyclic sequent calculus that captures this fragment. The work showcases an adaptation of the reductive cut-elimination method to cyclic calculi. Notably, the proposed algorithm applies to a cyclic proof and directly outputs a cyclic cut-free proof without appealing to intermediate machinery for regularising the end proof.
- [151] arXiv:2405.01952 (cross-list from stat.ML) [pdf, other]
-
Title: Three Quantization Regimes for ReLU NetworksSubjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Machine Learning (cs.LG)
We establish the fundamental limits in the approximation of Lipschitz functions by deep ReLU neural networks with finite-precision weights. Specifically, three regimes, namely under-, over-, and proper quantization, in terms of minimax approximation error behavior as a function of network weight precision, are identified. This is accomplished by deriving nonasymptotic tight lower and upper bounds on the minimax approximation error. Notably, in the proper-quantization regime, neural networks exhibit memory-optimality in the approximation of Lipschitz functions. Deep networks have an inherent advantage over shallow networks in achieving memory-optimality. We also develop the notion of depth-precision tradeoff, showing that networks with high-precision weights can be converted into functionally equivalent deeper networks with low-precision weights, while preserving memory-optimality. This idea is reminiscent of sigma-delta analog-to-digital conversion, where oversampling rate is traded for resolution in the quantization of signal samples. We improve upon the best-known ReLU network approximation results for Lipschitz functions and describe a refinement of the bit extraction technique which could be of independent general interest.
- [152] arXiv:2405.01958 (cross-list from stat.CO) [pdf, other]
-
Title: Improved distance correlation estimationSubjects: Computation (stat.CO); Statistics Theory (math.ST)
Distance correlation is a novel class of multivariate dependence measure, taking positive values between 0 and 1, and applicable to random vectors of arbitrary dimensions, not necessarily equal. It offers several advantages over the well-known Pearson correlation coefficient, the most important is that distance correlation equals zero if and only if the random vectors are independent.
There are two different estimators of the distance correlation available in the literature. The first one, proposed by Sz\'ekely et al. (2007), is based on an asymptotically unbiased estimator of the distance covariance which turns out to be a V-statistic. The second one builds on an unbiased estimator of the distance covariance proposed in Sz\'ekely et al. (2014), proved to be an U-statistic by Sz\'ekely and Huo (2016). This study evaluates their efficiency (mean squared error) and compares computational times for both methods under different dependence structures. Under conditions of independence or near-independence, the V-estimates are biased, while the U-estimator frequently cannot be computed due to negative values. To address this challenge, a convex linear combination of the former estimators is proposed and studied, yielding good results regardless of the level of dependence. - [153] arXiv:2405.01959 (cross-list from physics.flu-dyn) [pdf, other]
-
Title: The atomizing pulsed jetSubjects: Fluid Dynamics (physics.flu-dyn); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph)
Direct Numerical Simulations of the injection of a pulsed round liquid jet in a stagnant gas are performed. The Reynolds and Weber numbers and the density ratio are sufficiently large for reaching a complex high-speed atomization regime. The Weber number based on grid size is small, an indication that the simulations are very well resolved. Computations are performed using octree adaptive mesh refinement using the Basilisk free-code platform, down to a specified minimum grid size $\Delta$. Qualitative analysis of the flow and its topology reveal a complex structure of ligaments, sheets, droplets and bubbles that evolve and interact through impacts, ligament breakup, sheet rupture and engulfment of air bubbles in the liquid. A rich gallery of images of entangled structures is produced. Most processes occurring in this type of atomization are reproduced in detail, except at the instant of thin sheet perforation or breakup. We analyze drop statistics, showing that as the grid resolution is increased, the small-scale part of the distribution does not converge, and contains a large number of droplets close in order of magnitude to the minimum grid size with a significant peak at $d = 3\Delta$ . This non-convergence arises from the {\em numerical sheet breakup} effect, in which the interface becomes rough just before it breaks. The rough appearance of the interface is associated to a high-wavenumber oscillation of the curvature. To recover convergence, we apply the controlled "manifold death" numerical procedure, in which thin sheets are detected, and then pierced by fiat before they reach a set critical thickness $h_c$ that is always larger than $6 \Delta$. This allows convergence of the droplet frequency above a certain critical diameter $d_c$ above and close to $h_c$. A unimodal distribution is observed in the converged range.
- [154] arXiv:2405.01994 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Mathematics of statistical sequential decision-making: concentration, risk-awareness and modelling in stochastic bandits, with applications to bariatric surgeryAuthors: Patrick SauxComments: Doctoral thesis. Some pdf readers (e.g. Firefox) have trouble rendering the theorems/definitions environment. When reading online, please prefer e.g. ChromeSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
This thesis aims to study some of the mathematical challenges that arise in the analysis of statistical sequential decision-making algorithms for postoperative patients follow-up. Stochastic bandits (multiarmed, contextual) model the learning of a sequence of actions (policy) by an agent in an uncertain environment in order to maximise observed rewards. To learn optimal policies, bandit algorithms have to balance the exploitation of current knowledge and the exploration of uncertain actions. Such algorithms have largely been studied and deployed in industrial applications with large datasets, low-risk decisions and clear modelling assumptions, such as clickthrough rate maximisation in online advertising. By contrast, digital health recommendations call for a whole new paradigm of small samples, risk-averse agents and complex, nonparametric modelling. To this end, we developed new safe, anytime-valid concentration bounds, (Bregman, empirical Chernoff), introduced a new framework for risk-aware contextual bandits (with elicitable risk measures) and analysed a novel class of nonparametric bandit algorithms under weak assumptions (Dirichlet sampling). In addition to the theoretical guarantees, these results are supported by in-depth empirical evidence. Finally, as a first step towards personalised postoperative follow-up recommendations, we developed with medical doctors and surgeons an interpretable machine learning model to predict the long-term weight trajectories of patients after bariatric surgery.
- [155] arXiv:2405.01995 (cross-list from cs.LG) [pdf, other]
-
Title: Cooperation and Federation in Distributed Radar Point Cloud ProcessingJournal-ref: 2023 IEEE 34th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC)Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)
The paper considers the problem of human-scale RF sensing utilizing a network of resource-constrained MIMO radars with low range-azimuth resolution. The radars operate in the mmWave band and obtain time-varying 3D point cloud (PC) information that is sensitive to body movements. They also observe the same scene from different views and cooperate while sensing the environment using a sidelink communication channel. Conventional cooperation setups allow the radars to mutually exchange raw PC information to improve ego sensing. The paper proposes a federation mechanism where the radars exchange the parameters of a Bayesian posterior measure of the observed PCs, rather than raw data. The radars act as distributed parameter servers to reconstruct a global posterior (i.e., federated posterior) using Bayesian tools. The paper quantifies and compares the benefits of radar federation with respect to cooperation mechanisms. Both approaches are validated by experiments with a real-time demonstration platform. Federation makes minimal use of the sidelink communication channel (20 {\div} 25 times lower bandwidth use) and is less sensitive to unresolved targets. On the other hand, cooperation reduces the mean absolute target estimation error of about 20%.
- [156] arXiv:2405.02000 (cross-list from physics.flu-dyn) [pdf, other]
-
Title: Simulation of stopping vortices in the flow past a mounted wedgeAuthors: Jiten C KalitaSubjects: Fluid Dynamics (physics.flu-dyn); Mathematical Physics (math-ph)
This work is concerned with the numerical investigation of the dynamics of stopping vortex formation in the uniform flow past a wedge mounted on a wall for channel Reynolds number $Re_c=1560$. The streamfunction-vorticity ($\psi$-$\omega$) formulation of the transient Navier-Stokes (N-S) equations have been utilized for simulating the flow and has been discretized using a fourth order spatially and second order temporally accurate compact finite difference method on a nonuniform Cartesian grid developed by the author. The results are validated by comparing the simulated results of the early evolution of the flow with the experimental visualization of a well-known laboratory experiment of \cite{pullin1980} and a grid-independence study. The development of the stopping vortex and its effect on the starting vortex are discussed in details. The stopping flow is analysed in the light of the time interval through which the inlet velocity of the flow is decelerated. The criterion for the development of a clean vortex is provided in terms of the impulse associated with the deceleration. Our study revealed that the strength of the stopping vortex depends upon the rapidity of deceleration. The vorticity distribution along the diameter of the core of the stopping vortex is seen to follow a Gaussian profile.
- [157] arXiv:2405.02018 (cross-list from quant-ph) [pdf, other]
-
Title: Time-of-arrival distributions for continuous quantum systemsComments: 12 pages, 2 Figures, 1 TableSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Using standard results from statistics, we show that for any continuous quantum system (Gaussian or otherwise) and any observable $A$ (position or otherwise), the distribution $ \pi _{a}\left(t\right) $ of a time measurement at a fixed state $a$ can be inferred from the distribution $ \rho _{t}\left( a\right) $ of a state measurement at a fixed time $t$ via the transformation $ \pi _{a}\left( t\right) = \left\vert \frac{\partial }{\partial t} \int_{-\infty }^{a}\rho _{t}\left( u\right) du \right\vert $. This finding suggests that the answer to the long-lasting time-of-arrival problem is in fact readily available in the standard formalism, secretly hidden within the Born rule, and therefore does not require the introduction of an ad-hoc time operator or a commitment to a specific (e.g., Bohmian) ontology. The generality and versatility of the result are illustrated by applications to the time-of-arrival at a given location for a free particle in a superposed state and to the time required to reach a given velocity for a free-falling quantum particle. Our approach also offers a potentially promising new avenue toward the design of an experimental protocol for the yet-to-be-performed observation of the phenomenon of quantum backflow.
- [158] arXiv:2405.02020 (cross-list from physics.flu-dyn) [pdf, other]
-
Title: Experimental jet control with Bayesian optimization and persistent data topologyAuthors: Johann Moritz Reumschüssel, Yiqing Li, Philipp Maximilian zur Nedden, Tianyu Wang, Bernd R. Noack, Christian Oliver PaschereitSubjects: Fluid Dynamics (physics.flu-dyn); Optimization and Control (math.OC)
This study experimentally optimizes the mixing of a turbulent jet at $Re=10000$ with the surrounding air by targeted shear layer actuation. The forcing is composed of superposed harmonic signals of different azimuthal wavenumber $m$ generated by eight loudspeakers circumferentially distributed around the nozzle lip. Amplitudes and frequencies of the individual harmonic contributions serve as optimization parameters and the time-averaged centerline velocity downstream of the potential core is used as a metric for mixing optimization. The actuation is optimized through Bayesian optimization. Three search spaces are explored - axisymmetric forcing, $m=0$, superposed axisymmetric and helical forcing, $m \in \{0,1\}$, and axisymmetric actuation combined with two counter-rotating helical modes, $m \in \{-1,0,1\}$. High-speed PIV is employed to analyze the jet response to the optimized forcing. The optimization processes are analyzed by persistent data topology. In the search space of axisymmetric excitation, the routine identifies an actuation at the natural frequency of the flow to be most efficient, with the centerline velocity being decreased by $15\%$. The optimal solutions in both the two-mode and three-mode search space converge to a similar forcing with one axial and one helical mode combined at a frequency ratio of around $2.3$. Spectral analysis of the PIV images reveals that for the identified optimal forcing frequencies, a non-linear interaction between forced and natural structures in the jet flow is triggered, leading to a reduction in centerline velocity of around $35\%$. The topology of the most complex search space from the discrete data reveals four basins of attractions, classified into three forcing patterns including axisymmetric, axisym.-helical, and axisym.-flapping. Two deep basins are related to the optimal axisym.-helical pattern, and the others are shallower.
- [159] arXiv:2405.02038 (cross-list from q-bio.NC) [pdf, other]
-
Title: Dimensionality reduction of neuronal degeneracy reveals two interfering physiological mechanismsSubjects: Neurons and Cognition (q-bio.NC); Mathematical Physics (math-ph); Cell Behavior (q-bio.CB)
Neuronal systems maintain stable functions despite large variability in their physiological components. Ion channel expression, in particular, is highly variable in neurons exhibiting similar electrophysiological phenotypes, which poses questions regarding how specific ion channel subsets reliably shape neuron intrinsic properties. Here, we use detailed conductance-based modeling to explore the origin of stable neuronal function from variable channel composition. Using dimensionality reduction, we uncover two principal dimensions in the channel conductance space that capture most of the variance of the observed variability. Those two dimensions correspond to two physiologically relevant sources of variability that can be explained by feedback mechanisms underlying regulation of neuronal activity, providing quantitative insights into how channel composition links to neuronal electrophysiological activity. These insights allowed us to understand and design a model-independent, reliable neuromodulation rule for variable neuronal populations.
- [160] arXiv:2405.02044 (cross-list from cs.LG) [pdf, other]
-
Title: Zero-Sum Positional Differential Games as a Framework for Robust Reinforcement Learning: Deep Q-Learning ApproachSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Systems and Control (eess.SY); Optimization and Control (math.OC)
Robust Reinforcement Learning (RRL) is a promising Reinforcement Learning (RL) paradigm aimed at training robust to uncertainty or disturbances models, making them more efficient for real-world applications. Following this paradigm, uncertainty or disturbances are interpreted as actions of a second adversarial agent, and thus, the problem is reduced to seeking the agents' policies robust to any opponent's actions. This paper is the first to propose considering the RRL problems within the positional differential game theory, which helps us to obtain theoretically justified intuition to develop a centralized Q-learning approach. Namely, we prove that under Isaacs's condition (sufficiently general for real-world dynamical systems), the same Q-function can be utilized as an approximate solution of both minimax and maximin Bellman equations. Based on these results, we present the Isaacs Deep Q-Network algorithms and demonstrate their superiority compared to other baseline RRL and Multi-Agent RL algorithms in various environments.
- [161] arXiv:2405.02082 (cross-list from stat.ML) [pdf, ps, other]
-
Title: A comparative study of conformal prediction methods for valid uncertainty quantification in machine learningAuthors: Nicolas DewolfComments: At 339 pages, this document is a live/working version of my PhD dissertation published in 2024 by the University of Ghent (UGent)Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Statistics Theory (math.ST)
In the past decades, most work in the area of data analysis and machine learning was focused on optimizing predictive models and getting better results than what was possible with existing models. To what extent the metrics with which such improvements were measured were accurately capturing the intended goal, whether the numerical differences in the resulting values were significant, or whether uncertainty played a role in this study and if it should have been taken into account, was of secondary importance. Whereas probability theory, be it frequentist or Bayesian, used to be the gold standard in science before the advent of the supercomputer, it was quickly replaced in favor of black box models and sheer computing power because of their ability to handle large data sets. This evolution sadly happened at the expense of interpretability and trustworthiness. However, while people are still trying to improve the predictive power of their models, the community is starting to realize that for many applications it is not so much the exact prediction that is of importance, but rather the variability or uncertainty.
The work in this dissertation tries to further the quest for a world where everyone is aware of uncertainty, of how important it is and how to embrace it instead of fearing it. A specific, though general, framework that allows anyone to obtain accurate uncertainty estimates is singled out and analysed. Certain aspects and applications of the framework -- dubbed `conformal prediction' -- are studied in detail. Whereas many approaches to uncertainty quantification make strong assumptions about the data, conformal prediction is, at the time of writing, the only framework that deserves the title `distribution-free'. No parametric assumptions have to be made and the nonparametric results also hold without having to resort to the law of large numbers in the asymptotic regime. - [162] arXiv:2405.02105 (cross-list from cs.AI) [pdf, other]
-
Title: Evaluating Large Language Models for Structured Science Summarization in the Open Research Knowledge GraphComments: 22 pages, 11 figures. In review at this https URLSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Theory (cs.IT)
Structured science summaries or research contributions using properties or dimensions beyond traditional keywords enhances science findability. Current methods, such as those used by the Open Research Knowledge Graph (ORKG), involve manually curating properties to describe research papers' contributions in a structured manner, but this is labor-intensive and inconsistent between the domain expert human curators. We propose using Large Language Models (LLMs) to automatically suggest these properties. However, it's essential to assess the readiness of LLMs like GPT-3.5, Llama 2, and Mistral for this task before application. Our study performs a comprehensive comparative analysis between ORKG's manually curated properties and those generated by the aforementioned state-of-the-art LLMs. We evaluate LLM performance through four unique perspectives: semantic alignment and deviation with ORKG properties, fine-grained properties mapping accuracy, SciNCL embeddings-based cosine similarity, and expert surveys comparing manual annotations with LLM outputs. These evaluations occur within a multidisciplinary science setting. Overall, LLMs show potential as recommendation systems for structuring science, but further finetuning is recommended to improve their alignment with scientific tasks and mimicry of human expertise.
- [163] arXiv:2405.02108 (cross-list from gr-qc) [pdf, other]
-
Title: Exploring Weak measurements within the Einstein-Dirac Cosmological frameworkComments: 19 pages, 12 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Our study applies the Two-State Formalism alongside weak measurements within a spatially homogeneous and isotropic cosmological framework, wherein Dirac spinors are intricately coupled to classical gravity. To elucidate this, we provide detailed formulations for computing the weak values of the energy-momentum tensors, the Z component of spin, and the characterization of pure states. Weak measurements appear to be a generalization and extension of the computation already made by Finster an Hainzl, in A spatially homogeneous and isotropic Einstein-Dirac cosmology. Our analysis reveals that the acceleration of the Universe expansion can be understood as an outcome of postselection, underscoring the effectiveness of weak measurement as a discerning approach for gauging cosmic acceleration.
- [164] arXiv:2405.02122 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Perfect state transfer on Cayley graphs over a group of order 8nSubjects: Quantum Physics (quant-ph); Combinatorics (math.CO)
Perfect state transfer has great importance due to its applications in quantum information processing, quantum communication networks and cryptography. In this paper, we study the existence of perfect state transfer on Cayley graphs over the group V8n. we present some necessary and sufficient conditions for the existence of perfect state transfer on Cay(V8n; S).
- [165] arXiv:2405.02140 (cross-list from cs.LG) [pdf, other]
-
Title: An Information Theoretic Perspective on Conformal PredictionSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)
Conformal Prediction (CP) is a distribution-free uncertainty estimation framework that constructs prediction sets guaranteed to contain the true answer with a user-specified probability. Intuitively, the size of the prediction set encodes a general notion of uncertainty, with larger sets associated with higher degrees of uncertainty. In this work, we leverage information theory to connect conformal prediction to other notions of uncertainty. More precisely, we prove three different ways to upper bound the intrinsic uncertainty, as described by the conditional entropy of the target variable given the inputs, by combining CP with information theoretical inequalities. Moreover, we demonstrate two direct and useful applications of such connection between conformal prediction and information theory: (i) more principled and effective conformal training objectives that generalize previous approaches and enable end-to-end training of machine learning models from scratch, and (ii) a natural mechanism to incorporate side information into conformal prediction. We empirically validate both applications in centralized and federated learning settings, showing our theoretical results translate to lower inefficiency (average prediction set size) for popular CP methods.
- [166] arXiv:2405.02154 (cross-list from cs.LG) [pdf, other]
-
Title: Neural Context Flows for Learning Generalizable Dynamical SystemsComments: 14 pages, 5 figuresSubjects: Machine Learning (cs.LG); Dynamical Systems (math.DS)
Neural Ordinary Differential Equations typically struggle to generalize to new dynamical behaviors created by parameter changes in the underlying system, even when the dynamics are close to previously seen behaviors. The issue gets worse when the changing parameters are unobserved, i.e., their value or influence is not directly measurable when collecting data. We introduce Neural Context Flow (NCF), a framework that encodes said unobserved parameters in a latent context vector as input to a vector field. NCFs leverage differentiability of the vector field with respect to the parameters, along with first-order Taylor expansion to allow any context vector to influence trajectories from other parameters. We validate our method and compare it to established Multi-Task and Meta-Learning alternatives, showing competitive performance in mean squared error for in-domain and out-of-distribution evaluation on the Lotka-Volterra, Glycolytic Oscillator, and Gray-Scott problems. This study holds practical implications for foundational models in science and related areas that benefit from conditional neural ODEs. Our code is openly available at https://github.com/ddrous/ncflow.
- [167] arXiv:2405.02184 (cross-list from eess.SY) [pdf, other]
-
Title: Hybrid Lyapunov-based feedback stabilization of bipedal locomotion based on reference spreadingSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)
We propose a hybrid formulation of the linear inverted pendulum model for bipedal locomotion, where the foot switches are triggered based on the center of mass position, removing the need for pre-defined footstep timings. Using a concept similar to reference spreading, we define nontrivial tracking error coordinates induced by our hybrid model. These coordinates enjoy desirable linear flow dynamics and rather elegant jump dynamics perturbed by a suitable extended class ${\mathcal K}_\infty$ function of the position error. We stabilize this hybrid error dynamics using a saturated feedback controller, selecting its gains by solving a convex optimization problem. We prove local asymptotic stability of the tracking error and provide a certified estimate of the basin of attraction, comparing it with a numerical estimate obtained from the integration of the closed-loop dynamics. Simulations on a full-body model of a real robot show the practical applicability of the proposed framework and its advantages with respect to a standard model predictive control formulation.
- [168] arXiv:2405.02231 (cross-list from stat.ME) [pdf, other]
-
Title: Efficient spline orthogonal basis for representation of density functionsSubjects: Methodology (stat.ME); Numerical Analysis (math.NA)
Probability density functions form a specific class of functional data objects with intrinsic properties of scale invariance and relative scale characterized by the unit integral constraint. The Bayes spaces methodology respects their specific nature, and the centred log-ratio transformation enables processing such functional data in the standard Lebesgue space of square-integrable functions. As the data representing densities are frequently observed in their discrete form, the focus has been on their spline representation. Therefore, the crucial step in the approximation is to construct a proper spline basis reflecting their specific properties. Since the centred log-ratio transformation forms a subspace of functions with a zero integral constraint, the standard $B$-spline basis is no longer suitable. Recently, a new spline basis incorporating this zero integral property, called $Z\!B$-splines, was developed. However, this basis does not possess the orthogonal property which is beneficial from computational and application point of view. As a result of this paper, we describe an efficient method for constructing an orthogonal $Z\!B$-splines basis, called $Z\!B$-splinets. The advantages of the $Z\!B$-splinet approach are foremost a computational efficiency and locality of basis supports that is desirable for data interpretability, e.g. in the context of functional principal component analysis. The proposed approach is demonstrated on an empirical demographic dataset.
Replacements for Mon, 6 May 24
- [169] arXiv:1809.09545 (replaced) [pdf, other]
-
Title: Optimal control under uncertainty: Application to the issue of CAT bondsAuthors: Nicolas BaradelSubjects: Optimization and Control (math.OC)
- [170] arXiv:2006.01787 (replaced) [pdf, ps, other]
-
Title: Global well-posedness for the three dimensional Muskat problem in the critical Sobolev spaceComments: 63 pages, uniqueness added, the title has slightly changed as per journal recommandationJournal-ref: Arch. Ration. Mech. Anal., 246, 141-207 (2022)Subjects: Analysis of PDEs (math.AP)
- [171] arXiv:2009.14801 (replaced) [pdf, ps, other]
-
Title: Birational Equivalences and Generalized Weyl AlgebrasAuthors: Atabey KaygunSubjects: K-Theory and Homology (math.KT); Quantum Algebra (math.QA); Rings and Algebras (math.RA)
- [172] arXiv:2101.10990 (replaced) [pdf, ps, other]
-
Title: Homological Lie brackets on moduli spaces and pushforward operations in twisted K-theoryAuthors: Markus UpmeierComments: Major revision with more detailed proofs; 33 pagesSubjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT); Differential Geometry (math.DG)
- [173] arXiv:2107.12416 (replaced) [pdf, other]
-
Title: Asynchronous Distributed Reinforcement Learning for LQR Control via Zeroth-Order Block Coordinate DescentComments: The arxiv version contains proofs of Lemma 3 and Lemma 5, which are missing in the published versionSubjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Optimization and Control (math.OC)
- [174] arXiv:2110.00744 (replaced) [pdf, ps, other]
-
Title: Random Subgraph Detection Using QueriesComments: 27 pagesSubjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Machine Learning (cs.LG); Statistics Theory (math.ST)
- [175] arXiv:2110.11614 (replaced) [pdf, ps, other]
-
Title: Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka IdealsComments: 65 pages, 6 figuresJournal-ref: Ann. Pure Appl. Log. 175 (7), 2024Subjects: Logic (math.LO)
- [176] arXiv:2111.05726 (replaced) [pdf, other]
-
Title: The Cut-and-Play Algorithm: Computing Nash Equilibria via Outer ApproximationsSubjects: Optimization and Control (math.OC); Computer Science and Game Theory (cs.GT)
- [177] arXiv:2202.04794 (replaced) [pdf, other]
-
Title: Non-very generic arrangements in low dimensionSubjects: Combinatorics (math.CO)
- [178] arXiv:2202.07053 (replaced) [pdf, ps, other]
-
Title: Rank-one Boolean tensor factorization and the multilinear polytopeSubjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)
- [179] arXiv:2207.02546 (replaced) [pdf, other]
-
Title: Adaptive deep learning for nonlinear time series modelsComments: 49 pages, 1 figureSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
- [180] arXiv:2207.03659 (replaced) [pdf, ps, other]
-
Title: $Out(F_n)$-invariant probability measures on the space of $n$-generated marked groupsAuthors: D. OsinComments: Corollary 1.6 added, exposition improvedSubjects: Group Theory (math.GR); Dynamical Systems (math.DS)
- [181] arXiv:2207.05663 (replaced) [pdf, other]
-
Title: The superiorization method with restarted perturbations for split minimization problems with an application to radiotherapy treatment planningComments: Revised version, May 03, 2024; corrected a typographical error concerning the formula for the projection onto $\mathbf{V}$ on line 11 of page 13Subjects: Optimization and Control (math.OC); Medical Physics (physics.med-ph)
- [182] arXiv:2207.11380 (replaced) [pdf, ps, other]
-
Title: Borel-Hirzebruch type formula for the graph equivariant cohomology of a projective bundle over a GKM-graphComments: 20 pages, 5 figures; 2nd version, rewrite the heavy notations and add the new results; 3rd version, reduce some figures and proofsSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO)
- [183] arXiv:2208.04188 (replaced) [pdf, ps, other]
-
Title: A quadratic estimation for the Kühnel conjecture on embeddingsComments: 23 pages, no figures, minor revision, Remark 4.1.b correctedSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Algebraic Topology (math.AT); Geometric Topology (math.GT)
- [184] arXiv:2209.04736 (replaced) [pdf, ps, other]
-
Title: Brauer's Height Zero ConjectureComments: To appear in Annals of MathSubjects: Representation Theory (math.RT); Group Theory (math.GR)
- [185] arXiv:2210.13386 (replaced) [pdf, other]
-
Title: Contraction of Locally Differentially Private MechanismsSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [186] arXiv:2211.03415 (replaced) [pdf, ps, other]
-
Title: Minimization of Arakelov K-energy for many casesComments: 21 pagesSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
- [187] arXiv:2211.11712 (replaced) [pdf, ps, other]
-
Title: Symplectic Morse Theory and Witten DeformationComments: v1: 27 pages, 1 figure. v2: 53 pages. Significant changes including title and abstract. The original v1 paper has been greatly expanded and now separated into two papers. One of the two is this replaced version which concerns the symplectic case and uses analytic-based methodsSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG); Geometric Topology (math.GT)
- [188] arXiv:2211.15528 (replaced) [pdf, ps, other]
-
Title: Hermitian Lie algebroids over analytic spacesAuthors: Abhishek SarkarComments: Done some major modificationsSubjects: Differential Geometry (math.DG)
- [189] arXiv:2211.15651 (replaced) [pdf, ps, other]
-
Title: Topological characterization and Hodge structures of some rationally elliptic Kähler fourfoldsAuthors: Jianqiang YangComments: 15 pagesSubjects: Algebraic Geometry (math.AG)
- [190] arXiv:2212.11561 (replaced) [pdf, other]
-
Title: Large deviations for out of equilibrium correlations in the symmetric simple exclusion processComments: Accepted version, added discussion of steady state entropy in the open symmetric simple exclusion processJournal-ref: Electron. J. Probab. 29: 1-96 (2024).Subjects: Probability (math.PR); Mathematical Physics (math-ph)
- [191] arXiv:2301.01726 (replaced) [pdf, other]
-
Title: Anisotropic Quantum Hall DropletsComments: 31 pages, 9 figures. v2: minor improvements, new appendix on subleading corrections. v3: new section (+ appendix) on microwave absorption, references added, minor updates. v4: final published versionJournal-ref: Phys. Rev. X 14 (2024) no.1, 011030Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [192] arXiv:2301.03381 (replaced) [pdf, ps, other]
-
Title: Space-Time FEM for the Vectorial Wave Equation under Consideration of Ohm's LawAuthors: Julia I.M. HauserComments: 41 pagesSubjects: Numerical Analysis (math.NA)
- [193] arXiv:2301.03865 (replaced) [pdf, other]
-
Title: Contact graphs of boxes with unidirectional contactsComments: Minor changeSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [194] arXiv:2301.04240 (replaced) [pdf, ps, other]
-
Title: Parabolic Regularity of Spectral FunctionsSubjects: Optimization and Control (math.OC)
- [195] arXiv:2301.04599 (replaced) [pdf, ps, other]
-
Title: Uniform in gravity estimates for 2D water wavesAuthors: Siddhant AgrawalComments: 114 pages. Introduction rewritten and exposition improvedSubjects: Analysis of PDEs (math.AP)
- [196] arXiv:2302.03577 (replaced) [pdf, ps, other]
-
Title: Compressed sensing for inverse problems and the sample complexity of the sparse Radon transformComments: 57 pagesSubjects: Functional Analysis (math.FA); Information Theory (cs.IT); Optimization and Control (math.OC)
- [197] arXiv:2302.09025 (replaced) [pdf, ps, other]
-
Title: Examples of non-rigid, modular vector bundles on hyperkähler manifoldsAuthors: Enrico FatighentiComments: Final and updated version, to appear in IMRNSubjects: Algebraic Geometry (math.AG)
- [198] arXiv:2302.13951 (replaced) [pdf, other]
-
Title: Convex integrals of molecules in Lipschitz-free spacesComments: v3: Improved results from Sections 3 and 6Subjects: Functional Analysis (math.FA)
- [199] arXiv:2303.07563 (replaced) [pdf, other]
-
Title: Bounded-Confidence Models of Opinion Dynamics with Adaptive Confidence BoundsComments: revised version; 45 pagesSubjects: Social and Information Networks (cs.SI); Dynamical Systems (math.DS); Probability (math.PR); Adaptation and Self-Organizing Systems (nlin.AO); Physics and Society (physics.soc-ph)
- [200] arXiv:2303.12623 (replaced) [pdf, other]
-
Title: A two-table theorem for a disordered Chinese restaurant processSubjects: Probability (math.PR)
- [201] arXiv:2304.03688 (replaced) [pdf, other]
-
Title: Graph Parameters, Universal Obstructions, and WQOSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [202] arXiv:2304.10607 (replaced) [pdf, ps, other]
-
Title: The Lichnerowicz Laplacian on normal homogeneous spacesAuthors: Paul SchwahnComments: 28 pages, 9 tables. v2: supplemented some results for large rank. v3: revised versionSubjects: Differential Geometry (math.DG)
- [203] arXiv:2305.03008 (replaced) [pdf, ps, other]
-
Title: Some aspects of vector valued de Branges spaces of entire functionsComments: 28 pages, The title is updated and one section about operator nodes is addedSubjects: Functional Analysis (math.FA)
- [204] arXiv:2305.03357 (replaced) [pdf, other]
-
Title: Persistent homology of directed spacesSubjects: Algebraic Topology (math.AT); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
- [205] arXiv:2305.11672 (replaced) [pdf, other]
-
Title: Nonparametric classification with missing dataComments: 73 pages, 6 figuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
- [206] arXiv:2306.06999 (replaced) [pdf, other]
-
Title: Temporal Reachability Dominating Sets: contagion in temporal graphsComments: 38 pages, 17 figuresSubjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Combinatorics (math.CO)
- [207] arXiv:2306.12263 (replaced) [pdf, other]
-
Title: Local Statistics in Normal Matrix Models with Merging SingularitySubjects: Mathematical Physics (math-ph)
- [208] arXiv:2306.16863 (replaced) [pdf, ps, other]
-
Title: On the mean field theory of Ensemble Kalman filters for SPDEsAuthors: Sebastian ErtelComments: 32 pagesSubjects: Probability (math.PR)
- [209] arXiv:2307.05768 (replaced) [pdf, other]
-
Title: Increasing subsequences of linear size in random permutations and the Robinson-Schensted tableaux of permutonsAuthors: Victor DubachComments: 39 pages. Revised version, accepted for publication in Random Structures & AlgorithmsSubjects: Probability (math.PR); Combinatorics (math.CO)
- [210] arXiv:2307.06428 (replaced) [pdf, other]
-
Title: Implications of some mass-capacity inequalitiesAuthors: Pengzi MiaoComments: improved exposition, 14 pages, 1 figure, to appear in the Journal of Geometric AnalysisSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
- [211] arXiv:2307.13752 (replaced) [pdf, ps, other]
-
Title: Core Decreasing FunctionsComments: 33 pagesSubjects: Functional Analysis (math.FA)
- [212] arXiv:2308.07086 (replaced) [pdf, ps, other]
-
Title: Diameter of classical groups generated by transvectionsAuthors: Sean EberhardComments: 39 pages. Final versionSubjects: Group Theory (math.GR); Combinatorics (math.CO)
- [213] arXiv:2308.09849 (replaced) [pdf, other]
-
Title: A finitely convergent circumcenter method for the Convex Feasibility ProblemSubjects: Optimization and Control (math.OC)
- [214] arXiv:2308.13457 (replaced) [pdf, ps, other]
-
Title: Super FiboCatalan Numbers and their Lucas AnaloguesAuthors: Kendra KillpatrickSubjects: Combinatorics (math.CO)
- [215] arXiv:2309.06174 (replaced) [pdf, other]
-
Title: Relating Electric Vehicle Charging to Speed Scaling with Job-Specific Speed LimitsAuthors: Leoni Winschermann, Marco E. T. Gerards, Antonios Antoniadis, Gerwin Hoogsteen, Johann HurinkComments: 16 pages, 12 figures, currently under peer review, latex template based on IEEE template this https URLSubjects: Optimization and Control (math.OC)
- [216] arXiv:2309.10953 (replaced) [pdf, other]
-
Title: Deep Reinforcement Learning for Infinite Horizon Mean Field Problems in Continuous SpacesComments: Revisions made in accordance with reviewer's wishes. The revision primarily includes a detailed statement of our contribution, a justification of our multiscale approach, further explanations of our RL problem setup, numerical experiments, and relevant references in response to reviewers' comments. 29 pages; 9 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [217] arXiv:2309.16749 (replaced) [pdf, other]
-
Title: A Long Exact Sequence in Symmetry Breaking: order parameter constraints, defect anomaly-matching, and higher Berry phasesAuthors: Arun Debray, Sanath K. Devalapurkar, Cameron Krulewski, Yu Leon Liu, Natalia Pacheco-Tallaj, Ryan ThorngrenComments: 31 pages, 4 figures. The mathematical sections have been removed and will appear shortly in a separate postingSubjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Algebraic Topology (math.AT)
- [218] arXiv:2310.01484 (replaced) [pdf, other]
-
Title: Complexity in Tame Quantum TheoriesComments: 48 pages, 2 figuresJournal-ref: JHEP 05 (2024) 001Subjects: High Energy Physics - Theory (hep-th); High Energy Physics - Phenomenology (hep-ph); Algebraic Geometry (math.AG); Logic (math.LO); Quantum Physics (quant-ph)
- [219] arXiv:2310.09045 (replaced) [pdf, ps, other]
-
Title: On the fixation probability of an advantageous allele in a population with skewed offspring distributionComments: 22 pages, replaced with revised version, including small changes in the proofs and a reworked introductionSubjects: Probability (math.PR)
- [220] arXiv:2310.09079 (replaced) [pdf, ps, other]
-
Title: Nature of the Volcano Transition in the Fully Disordered Kuramoto ModelJournal-ref: Phys. Rev. Lett. 132, 187201, Published 30 April 2024Subjects: Statistical Mechanics (cond-mat.stat-mech); Disordered Systems and Neural Networks (cond-mat.dis-nn); Dynamical Systems (math.DS)
- [221] arXiv:2310.09372 (replaced) [pdf, ps, other]
-
Title: Infinitely wildly ramified arboreal representations for postcritically finite polynomials with potential good reductionAuthors: Alex FeinerComments: 27 pages. Made main result strongerSubjects: Number Theory (math.NT)
- [222] arXiv:2311.01957 (replaced) [pdf, ps, other]
-
Title: Distributed online constrained convex optimization with event-triggered communicationComments: 12 pages, 3 figuresSubjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA)
- [223] arXiv:2311.04130 (replaced) [pdf, other]
-
Title: The Baker-Coon-Romans $N$-point amplitude and an exact field theory limit of the Coon amplitudeAuthors: Nicholas GeiserComments: v1, 38 pages; v2, minor typos fixed; v3, added Appendix B as suggested by reviewerSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [224] arXiv:2311.09047 (replaced) [pdf, other]
-
Title: 6G Non-Terrestrial Networks Enabled Low-Altitude Economy: Opportunities and ChallengesAuthors: Yihang Jiang, Xiaoyang Li, Guangxu Zhu, Hang Li, Jing Deng, Kaifeng Han, Chao Shen, Qingjiang Shi, Rui ZhangComments: This paper has been submitted to IEEE for possible publicationSubjects: Information Theory (cs.IT)
- [225] arXiv:2311.10576 (replaced) [pdf, ps, other]
-
Title: A resolution theorem for extriangulated categories with applications to the indexComments: v4: 26 pages; several changes following referee report; added Remark 5.23; Section 6 is new and contains an application of our main theorem to the abelian settingSubjects: K-Theory and Homology (math.KT); Category Theory (math.CT); Representation Theory (math.RT)
- [226] arXiv:2311.11871 (replaced) [pdf, other]
-
Title: Training robust and generalizable quantum modelsSubjects: Quantum Physics (quant-ph); Machine Learning (cs.LG); Optimization and Control (math.OC)
- [227] arXiv:2311.14989 (replaced) [pdf, other]
-
Title: Topological complexity of monotone symplectic manifoldsAuthors: Ryuma OritaComments: 12 pages; (v2) Remarks 1.5-1.7 added, minor revisions madeSubjects: Algebraic Topology (math.AT); Symplectic Geometry (math.SG)
- [228] arXiv:2311.15223 (replaced) [pdf, ps, other]
-
Title: Sufficient conditions for matching extendability in terms of the Zeroth-order General Randić IndexSubjects: Combinatorics (math.CO)
- [229] arXiv:2311.17579 (replaced) [pdf, ps, other]
-
Title: An inhomogeneous nonlinear parabolic equation with concave nonlinearityComments: We have reviewed the manuscript and made corrections to ensure better readability. We have also made some minor revisions to improve the overall clarity and coherence of the textSubjects: Analysis of PDEs (math.AP)
- [230] arXiv:2312.01441 (replaced) [pdf, other]
-
Title: Koopman-based feedback design with stability guaranteesSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
- [231] arXiv:2312.06430 (replaced) [pdf, ps, other]
-
Title: Plücker formulas using equivariant cohomology of coincident root strataComments: 29 pages; abstract made more precise, reference addedSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
- [232] arXiv:2312.12267 (replaced) [pdf, other]
-
Title: Optimal Power Flow Pursuit via Feedback-based Safe Gradient FlowSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
- [233] arXiv:2312.13058 (replaced) [pdf, other]
-
Title: On the Cheeger inequality in Carnot-Carathéodory spacesAuthors: Martijn KluitenbergComments: Updates v2: - Added a proof of Courant's theorem which does not use (S), improving the main result - Added Section 6 on methods for obtaining lower bounds for the Cheeger constant - Minor readability improvementsSubjects: Spectral Theory (math.SP); Differential Geometry (math.DG)
- [234] arXiv:2401.00457 (replaced) [pdf, ps, other]
-
Title: Filtrations for $\mathbb{wK4}$ and its relativesSubjects: Logic (math.LO)
- [235] arXiv:2401.03356 (replaced) [pdf, ps, other]
-
Title: Hamiltonian isotopies of relatively exact Lagrangians are orientation-preservingAuthors: Jack SmithComments: v2 improved exposition, 2 pages, comments welcome; to appear in Advances in GeometrySubjects: Symplectic Geometry (math.SG)
- [236] arXiv:2401.05235 (replaced) [pdf, other]
-
Title: A Survey on Optimization Studies of Group Centrality MetricsSubjects: Social and Information Networks (cs.SI); Optimization and Control (math.OC)
- [237] arXiv:2401.06939 (replaced) [pdf, ps, other]
-
Title: Global smooth solutions to the Landau-Coulomb equation in $L^{3/2}$Comments: 37 pages. Added a corollary on the convergence to equilibrium in $L^\infty$ (Corollary 1.5)Subjects: Analysis of PDEs (math.AP)
- [238] arXiv:2401.12670 (replaced) [pdf, ps, other]
-
Title: Highly connected orientations from edge-disjoint rigid subgraphsComments: We simplified the proof of the main theorem, while substantially improving the bound on the required vertex-connectivity. The changes only involve Section 4 of the manuscriptSubjects: Combinatorics (math.CO)
- [239] arXiv:2401.14482 (replaced) [pdf, other]
-
Title: The geodesic dispersion phenomenon in random fields dynamicsAuthors: Alexandre L. M. LevadaComments: arXiv admin note: text overlap with arXiv:2111.03905Subjects: Information Theory (cs.IT); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph)
- [240] arXiv:2401.14715 (replaced) [pdf, ps, other]
-
Title: Hypergeometric orthogonal polynomials of Jacobi typeComments: 22 p, most info in the first 5 pages. v2: added Theorem B and Appendix B on rational families + minor correctionsSubjects: Classical Analysis and ODEs (math.CA); Representation Theory (math.RT)
- [241] arXiv:2402.01890 (replaced) [pdf, other]
-
Title: On the spherical partition algebraComments: 27 pages, updated version of the paper reflecting comments from A. Wilson on the connection to the multiset partition algebraSubjects: Representation Theory (math.RT)
- [242] arXiv:2402.03015 (replaced) [pdf, other]
-
Title: Open-separating dominating codes in graphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [243] arXiv:2402.04076 (replaced) [pdf, other]
-
Title: Fractional Sobolev spaces on Riemannian manifoldsComments: arXiv admin note: substantial text overlap with arXiv:2306.07100Subjects: Analysis of PDEs (math.AP)
- [244] arXiv:2402.04358 (replaced) [pdf, ps, other]
-
Title: Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?Authors: Will BrianSubjects: Logic (math.LO); Dynamical Systems (math.DS); General Topology (math.GN)
- [245] arXiv:2402.13894 (replaced) [pdf, ps, other]
-
Title: Quantum particle localization observables on Cauchy surfaces of Minkowski spacetime and their causal propertiesComments: Final version, 59 Pages, no figures, further references and comments added, several typos corrected, accepted for publication in Lett. Math. PhysSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Quantum Physics (quant-ph)
- [246] arXiv:2402.15942 (replaced) [pdf, other]
-
Title: Minimum energy density steering of linear systems with Gromov-Wasserstein terminal costComments: 7 pagesSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [247] arXiv:2402.17444 (replaced) [pdf, other]
-
Title: Revisit on the Slepian concentration problem of the spherical Fourier-Bessel setupAuthors: Xinpeng HuangSubjects: Functional Analysis (math.FA)
- [248] arXiv:2403.06727 (replaced) [pdf, ps, other]
-
Title: Minimisers of supremal functionals and mass-minimising 1-currentsSubjects: Analysis of PDEs (math.AP)
- [249] arXiv:2403.08129 (replaced) [pdf, ps, other]
-
Title: Solvabilizer Numbers of Finite GroupsSubjects: Group Theory (math.GR)
- [250] arXiv:2403.17731 (replaced) [pdf, other]
-
Title: Coupled Boundary and Volume Integral Equations for Electromagnetic ScatteringSubjects: Numerical Analysis (math.NA)
- [251] arXiv:2403.18498 (replaced) [pdf, ps, other]
-
Title: Global Representation Ring and Knutson IndexComments: Version 3: corrected issues in section 3, and other minor typos. 11 pagesSubjects: Rings and Algebras (math.RA); Group Theory (math.GR); Representation Theory (math.RT)
- [252] arXiv:2404.02253 (replaced) [pdf, other]
-
Title: Inflations for representations of shifted quantum affine algebrasAuthors: Théo PinetComments: 37 pages, comments welcomeSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
- [253] arXiv:2404.04288 (replaced) [pdf, other]
-
Title: On the existence of Newton series and the asymptotics of finite differencesAuthors: Glenn BrudaComments: 16 pages, typos corrected, adjusted notation in introductionSubjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA)
- [254] arXiv:2404.05506 (replaced) [pdf, ps, other]
- [255] arXiv:2404.09283 (replaced) [pdf, ps, other]
-
Title: Pairs of knot invariantsAuthors: Kouki TaniyamaComments: 31 pages, 23 figures, a reference addedSubjects: Geometric Topology (math.GT)
- [256] arXiv:2404.10972 (replaced) [pdf, other]
-
Title: Well-posedness for viscosity solutions of the one-phase Muskat problem in all dimensionsComments: 39 pages, the references and introduction have been updated, with typos correctedSubjects: Analysis of PDEs (math.AP)
- [257] arXiv:2404.11885 (replaced) [pdf, other]
-
Title: Quantitative bordism over acyclic groups and Cheeger-Gromov $ρ$-invariantsComments: 25 pages, 3 figures; expositions revised in v2Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)
- [258] arXiv:2404.18835 (replaced) [pdf, ps, other]
-
Title: Degeneration in discriminantal arrangementsAuthors: Takuya SaitoComments: 14 pages. There were mistakes in the statement of Proposition 4.3 and 4.4 in the old version, so they have been correctedSubjects: Combinatorics (math.CO)
- [259] arXiv:2405.00297 (replaced) [pdf, ps, other]
-
Title: Generalized Cayley graphs of complete groupsSubjects: Combinatorics (math.CO)
- [260] arXiv:2405.00610 (replaced) [pdf, ps, other]
-
Title: Growth in products of matrices: fastest, average, and genericAuthors: Vladimir ShpilrainComments: 10 pages. Comments are welcomeSubjects: Group Theory (math.GR); Cryptography and Security (cs.CR); Combinatorics (math.CO); Dynamical Systems (math.DS); Probability (math.PR)
- [261] arXiv:2405.00929 (replaced) [pdf, other]
-
Title: Quantum wave packet transforms with compact frequency supportSubjects: Quantum Physics (quant-ph); Numerical Analysis (math.NA)
- [262] arXiv:2405.01031 (replaced) [pdf, other]
-
Title: The Privacy Power of Correlated Noise in Decentralized LearningComments: Accepted as conference paper at ICML 2024Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [263] arXiv:2405.01181 (replaced) [pdf, ps, other]
-
Title: Multiplicatively Ordered and Directed Hybrid Jordan-Lie SuperalgebraAuthors: Ioannis RaptisComments: arXiv admin note: substantial text overlap with arXiv:math-ph/0110030Subjects: Mathematical Physics (math-ph)
- [264] arXiv:2405.01443 (replaced) [pdf, ps, other]
-
Title: On the existence of approximate problems that preserve the type of a bifurcation point of a nonlinear problem. Application to the stationary Navier-Stokes equationsAuthors: Cătălin Liviu BichirSubjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2405, contact, help (Access key information)