We gratefully acknowledge support from
the Simons Foundation and member institutions.


New submissions

[ total of 256 entries: 1-256 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 9 Dec 22

[1]  arXiv:2212.03900 [pdf, ps, other]
Title: An Interlacing Relation between Eigenvalues and Symplectic Eigenvalues of Some Infinite Dimensional Operators
Comments: 12+6 pages
Subjects: Spectral Theory (math.SP); Quantum Physics (quant-ph)

Williamson's Normal form for $2n\times 2n$ real positive matrices is a symplectic analogue of the spectral theorem for normal matrices. With the recent developments in quantum information theory, Williamson's normal form has opened up an active research area that may be dubbed as ``finite dimensional symplectic spectral theory" analogous to the usual spectral theory and matrix analysis. An infinite dimensional analogue of the Williamson's Normal form has appeared recently and has already become a corner stone for the theory of infinite mode quantum Gaussian states. In this article, we obtain some results in the direction of ``infinite dimensional symplectic spectral theory". We prove an interlacing relation between the eigenvalues and symplectic eigenvalues of a special class of infinite-dimensional operators with countable spectrum. We show that for any operator $S$ in this class and for $j \in \mathbb{N}$, $d_j^\downarrow(S) \leq \lambda_j^\downarrow(S),$ and $\lambda_j^\uparrow(S) \leq d_j^\uparrow(S)$, where $d_j(S)$ and $ \lambda_{j}(S)$ are the symplectic eigenvalues and eigenvalues of $S$, respectively (arranged in decreasing order they will be denoted by $d_j^\downarrow(S), \lambda_j^\downarrow(S)$ and in increasing order by $d_j^\uparrow(S), \lambda_j^\uparrow(S)$). This generalizes a finite dimensional result obtained by Bhatia and Jain (J. Math. Phys. 56, 112201 (2015)). The class of Gaussian Covariance Operators (GCO) and positive Absolutely Norm attaining Operators ($(\mathcal{AN})_+$ operators) appear as special cases of the class we consider. Furthermore, we illustrate our result on some concrete cases and derive necessary conditions for an integral operator to be a GCO or an $(\mathcal{AN})_+$ operator. An interesting question connecting this theory and the theory of integral operators is left as an open question.

[2]  arXiv:2212.03902 [pdf, other]
Title: Estimating Hausdorff measure for Denjoy maps
Subjects: Dynamical Systems (math.DS)

By employing the recurrence method worked out in `Estimating the Hausdorff measure by recurrence', we provide effective lower estimates of the proper--dimensional Hausdorff measure of minimal sets of circle homeomorphisms that are not conjugate to any rotation.

[3]  arXiv:2212.03904 [pdf, other]
Title: The Degree of a Tropical Root Surface of Type $A$
Comments: 9 pages, 1 figure
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)

We prove that the tropical surface of the root system $A_{n-1}$ has degree $(n^3-3n^2-2n+12)/2$.

[4]  arXiv:2212.03910 [pdf, ps, other]
Title: Sobolev and BV functions on $\mathrm{RCD}$ spaces via the short-time behaviour of the heat kernel
Comments: 28 pages
Subjects: Functional Analysis (math.FA); Metric Geometry (math.MG)

In the setting of finite-dimensional $\mathrm{RCD}(K,N)$ spaces, we characterize the $p$-Sobolev spaces for $p\in(1,\infty)$ and the space of functions of bounded variation in terms of the short-time behaviour of the heat flow. Moreover, we prove that Cheeger $p$-energies and total variations can be computed as limits of nonlocal functionals involving the heat kernel.

[5]  arXiv:2212.03912 [pdf, other]
Title: Counterexample to a Boesch's Conjecture
Comments: 21 pages
Subjects: Combinatorics (math.CO)

A key issue in network reliability analysis. A graph with $n$ nodes and whose $e$ edges fail independently with probability $p$ is an \emph{Uniformly Most Reliable Graph} (UMRG) if it has the highest reliability among all graphs with the same order and size for every value of $p$. The \emph{all-terminal reliability} is a polynomial in $p$ which defines the probability of a network to remain connected if some of its components fail. If the coefficients of the reliability polynomial are maximized by a graph, that graph is called \textit{Strong Uniformly Most Reliable Graph} (SUMRG) and it should be UMRG. An exhaustive computer search of the SUMRG with vertices up to 9 is done. Regular graphs with 10 to 14 vertices that maximize tree number are proposed as candidates to UMRG. As an outstanding result a UMRG with 9 vertices and 18 edges which has girth 3 is found, so smaller than the conjectured by Boesch in 1986. A new conjecture about UMRG's topology is posed here: the $(n,e)$-UMRG is $\overline{(k-1)C_3\cup C_{3+r}}$ whenever $n=3k+r$,$n\geq5$ and $e={n(n-3)}/{2}$. A reformulation of Boesch's conjecture is presented stating that if a $(n, {kn}/{2})$-UMRG exists and it has girth $g$, then it has maximum girth among all $k$-regular $(n,{kn}/{2})$ graphs and minimum number of $g$-cycles among those $k$-regular $(n,{kn}/{2})$ graphs with girth $g$.

[6]  arXiv:2212.03915 [pdf, other]
Title: Combinatorial generation via permutation languages. V. Acyclic orientations
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

In 1993, Savage, Squire, and West described an inductive construction for generating every acyclic orientation of a chordal graph exactly once, flipping one arc at a time. We provide two generalizations of this result. Firstly, we describe Gray codes for acyclic orientations of hypergraphs that satisfy a simple ordering condition, which generalizes the notion of perfect elimination order of graphs. This unifies the Savage-Squire-West construction with a recent algorithm for generating elimination trees of chordal graphs. Secondly, we consider quotients of lattices of acyclic orientations of chordal graphs, and we provide a Gray code for them, addressing a question raised by Pilaud. This also generalizes a recent algorithm for generating lattice congruences of the weak order on the symmetric group. Our algorithms are derived from the Hartung-Hoang-M\"utze-Williams combinatorial generation framework, and they yield simple algorithms for computing Hamilton paths and cycles on large classes of polytopes, including chordal nestohedra and quotientopes. In particular, we derive an efficient implementation of the Savage-Squire-West construction. Along the way, we give an overview of old and recent results about the polyhedral and order-theoretic aspects of acyclic orientations of graphs and hypergraphs.

[7]  arXiv:2212.03918 [pdf, other]
Title: Kneser graphs are Hamiltonian
Subjects: Combinatorics (math.CO)

For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two disjoint sets. It has been conjectured since the 1970s that all Kneser graphs admit a Hamilton cycle, with one notable exception, namely the Petersen graph $K(5,2)$. This problem received considerable attention in the literature, including a recent solution for the sparsest case $n=2k+1$. The main contribution of this paper is to prove the conjecture in full generality. We also extend this Hamiltonicity result to all connected generalized Johnson graphs (except the Petersen graph). The generalized Johnson graph $J(n,k,s)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two sets whose intersection has size exactly $s$. Clearly, we have $K(n,k)=J(n,k,0)$, i.e., generalized Johnson graph include Kneser graphs as a special case. Our results imply that all known families of vertex-transitive graphs defined by intersecting set systems have a Hamilton cycle, which settles an interesting special case of Lov\'asz' conjecture on Hamilton cycles in vertex-transitive graphs from 1970. Our main technical innovation is to study cycles in Kneser graphs by a kinetic system of multiple gliders that move at different speeds and that interact over time, somewhat reminiscent of the gliders in Conway's Game of Life, and to analyze this system combinatorially and via linear algebra.

[8]  arXiv:2212.03920 [pdf, ps, other]
Title: Force recurrence near zero
Comments: 9 pages
Subjects: Dynamical Systems (math.DS)

Considering any dense subsemigroup of the additive semigroup of positive real numbers and a filter associated with it as the domain of thought, various concepts of sets like sets that forces recurrence near zero, sets that contains broken IP-set near near zero, sets that forces uniform recurrence near zero and sets that contains broken syndetic set near zero have been introduced and some relation among them are established by assuming countability of the said dense subsemigroup. The article begin with a characterization of recurrent point near zero.

[9]  arXiv:2212.03921 [pdf, other]
Title: Online Distributed Optimal Power Flow with Equality Constraints
Comments: 11 pages, 4 figures, Under Review
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

In this article, we investigate the distributed DC-Optimal Power Flow (DC-OPF) problem against a backdrop of online convex optimization with coupled constraints. While the classical OPF problem refers to a time-invariant optimization environment across the power distribution network, the online variant involves time-varying objectives and equality constraints, with the cost functions gradually being disclosed to the generating agents in the network. The agents (generators and loads) in the network are only privy to their own local objectives and constraints. To this end, we address the problem by proposing a distributed online algorithm based on the modified primal-dual approach, which deals with the online equality-constrained issue. It has been theoretically demonstrated that the proposed algorithm exhibits a sublinearly bounded \textit{static} regret and constraint violation with a suitable choice of descending stepsizes. Finally, we corroborate the results by illustrating them with numerical examples.

[10]  arXiv:2212.03923 [pdf, other]
Title: Designing System Level Synthesis Controllers for Nonlinear Systems with Stability Guarantees
Subjects: Optimization and Control (math.OC)

We introduce a method for controlling systems with nonlinear dynamics and full actuation by approximating the dynamics with polynomials and applying a system level synthesis controller. We show how to optimize over this class of controllers using a neural network while maintaining stability guarantees, without requiring a Lyapunov function. We give bounds for the domain over which the use of the class of controllers preserves stability and gives bounds on the control costs incurred by optimized controllers. We then numerically validate our approach and show improved performance compared with feedback linearization -- suggesting that the SLS controllers are able to take advantage of nonlinearities in the dynamics while guaranteeing stability.

[11]  arXiv:2212.03925 [pdf, ps, other]
Title: Densest Subgraphs of a Dense Erdös-Rényi Graph. Asymptotics, Landscape and Universality
Comments: 63 pages, 1 figure
Subjects: Probability (math.PR); Statistics Theory (math.ST)

We consider the problem of estimating the edge density of densest $K$-node subgraphs of an Erd\"os-R\'{e}nyi graph $\mathbb{G}(n,1/2)$. The problem is well-understood in the regime $K=\Theta(\log n)$ and in the regime $K=\Theta(n)$. In the former case it can be reduced to the problem of estimating the size of largest cliques, and its extensions. In the latter case the full answer is known up to the order $n^{3\over 2}$ using sophisticated methods from the theory of spin glasses. The intermediate case $K=n^\alpha, \alpha\in (0,1)$ however is not well studied and this is our focus. We establish that that in this regime the density (that is the maximum number of edges supported by any $K$-node subgraph) is ${1\over 4}K^2+{1+o(1)\over 2}K^{3\over 2}\sqrt{\log (n/K)}$, w.h.p. as $n\to\infty$, and provide more refined asymptotics under the $o(\cdot)$, for various ranges of $\alpha$. This extends earlier similar results where this asymptotics was confirmed only when $\alpha$ is a small constant.
We extend our results to the case of ''weighted'' graphs, when the weights have either Gaussian or arbitrary sub-Gaussian distributions. The proofs are based on the second moment method combined with concentration bounds, the Borell-TIS inequality for the Gaussian case and the Talagrand's inequality for the case of distributions with bounded support (including the $\mathbb{G}(n,1/2)$ case). The case of general distribution is treated using a novel symmetrized version of the Lindeberg argument, which reduces the general case to the Gaussian case. Finally, using the results above we conduct the landscape analysis of the related Hidden Clique Problem, and establish that it exhibits an overlap gap property when the size of the clique is $O(n^{2\over 3})$, confirming a hypothesis stated in a previous related work.

[12]  arXiv:2212.03938 [pdf, ps, other]
Title: The Multiplicative Structures on Motivic Homotopy Groups
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)

We reconcile the multiplications on the homotopy rings of motivic ring spectra used by Voevodsky and Dugger. While the connection is elementary and similar phenomena have been observed in situations like supersymmetry, neither we nor other researchers we consulted were aware of the conflicting definitions and the potential consequences. Hence this short note.

[13]  arXiv:2212.03941 [pdf, other]
Title: Smooth cuboids in group theory
Comments: 34 pages
Subjects: Group Theory (math.GR); Algebraic Geometry (math.AG)

A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over $K$. We produce isomorphism invariants of these groups in terms of their adjoint algebras, which also give information on the number of their maximal abelian subgroups. Moreover, we give a characterization of the isomorphism types of the groups in terms of isomorphisms of elliptic curves and also give a description of the automorphism group. We conclude by applying our results to the determination of the automorphism groups and isomorphism testing of finite $p$-groups of class $2$ and exponent $p$ arising in this way.

[14]  arXiv:2212.03944 [pdf, ps, other]
Title: LDP for Inhomogeneous U-Statistics
Comments: 41 pages
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Statistics Theory (math.ST)

In this paper we derive a Large Deviation Principle (LDP) for inhomogeneous U/V-statistics of a general order. Using this, we derive a LDP for two types of statistics: random multilinear forms, and number of monochromatic copies of a subgraph. We show that the corresponding rate functions in these cases can be expressed as a variational problem over a suitable space of functions. We use the tools developed to study Gibbs measures with the corresponding Hamiltonians, which include tensor generalizations of both Ising (with non-compact base measure) and Potts models. For these Gibbs measures, we establish scaling limits of log normalizing constants, and weak laws in terms of weak* topology, which are of possible independent interest.

[15]  arXiv:2212.03946 [pdf]
Title: Bio-Heat Transfer and Monte Carlo Measurement of Near-Infrared Transcranial Stimulation of Human Brain
Comments: 12 pages, 7 figures, 4 tables
Subjects: Numerical Analysis (math.NA)

Transcranial photobiomodulation is an optical method for non-invasive brain stimulation. The method projects red and near-infrared light through the scalp within 600-1100 nm and low energy within the 1-20 J/cm2 range. Recent studies have been optimistic about replacing this method with pharmacotherapy and invasive brain stimulation. However, concerns and ambiguities exist regarding the light penetration depth and possible thermal side effects. While the literature survey indicates that the skin temperature rises after experimental optical brain stimulation, inadequate evidence supports a safe increase in temperature or the amount of light penetration in the cortex. Therefore, we aimed to conduct a comprehensive study on the heat transfer of near-infrared stimulation for the human brain. Our research considers the transcranial photobiomodulation over the human brain model by projecting 810 nm light with 100 mW/cm2 power density to evaluate its thermal and optical effects using bioheat transfer and radiative transfer equation. Our results confirm that the near-infrared light spectrum has a small incremental impact on temperature and approximately penetrates 1 cm, reaching the cortex. A time-variant study of the heat transfer was also carried out to measure the temperature changes during optical stimulation.

[16]  arXiv:2212.03949 [pdf, ps, other]
Title: Generalized recursive atom ordering and equivalence to CL-shellability
Comments: 40 pages
Subjects: Combinatorics (math.CO)

Bj\"orner and Wachs introduced CL-shellability as a technique for studying the topological structure of order complexes of partially ordered sets (posets). They also introduced the notion of recursive atom ordering, and they proved that a finite bounded poset is CL-shellable if and only if it admits a recursive atom ordering.
In this paper, a generalization of the notion of recursive atom ordering is introduced. A finite bounded poset is proven to admit such a generalized recursive atom ordering if and only if it admits a traditional recursive atom ordering. This is also proven equivalent to admitting a CC-shelling (a type of shelling introduced by Kozlov) with a further property called self-consistency. Thus, CL-shellability is proven equivalent to self-consistent CC-shellability. As an application, the uncrossing posets, namely the face posets for stratified spaces of planar electrical networks, are proven to be dual CL-shellable.

[17]  arXiv:2212.03959 [pdf, ps, other]
Title: Minimizing the Sombor Index among Trees with Fixed Degree Sequence
Authors: Mirza Redžić
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

Vertex-degree-based topological indices have recently gained a lot of attention from mathematical chemists. One such index that we focus on in this paper is called Sombor index. After its definition in late 2020, the Sombor index was quickly recognized as a valuable research topic. In this paper we partially answer the open question of finding the extremal trees with respect to this index for a fixed degree sequence. Particularly we focus on the lower bound and proceed to show that greedy tree minimizes the Sombor index for a given degree sequence.

[18]  arXiv:2212.03960 [pdf, ps, other]
Title: A Hille-Yoshida-Phillips theorem for discrete semigroups on complete ultrametric locally convex spaces
Authors: Jawad Ettayb
Subjects: Functional Analysis (math.FA)

Let $E$ be a complete Hausdorff locally convex space over $\mathbb{C}_{p},$ let $A\in\mathcal{L}(E)$ such that $(I-\lambda A)^{-1}$ is analytic on its domain. In this paper, we give a necessary and sufficient condition on the resolvent of $A$ such that $(A^{n})_{n\in\mathbb{N}}$ is equi-continuous.

[19]  arXiv:2212.03962 [pdf, other]
Title: Multi-Randomized Kaczmarz for Latent Class Regression
Subjects: Numerical Analysis (math.NA)

Linear regression is effective at identifying interpretable trends in a data set, but averages out potentially different effects on subgroups within data. We propose an iterative algorithm based on the randomized Kaczmarz (RK) method to automatically identify subgroups in data and perform linear regression on these groups simultaneously. We prove almost sure convergence for this method, as well as linear convergence in expectation under certain conditions. The result is an interpretable collection of different weight vectors for the regressor variables that capture the different trends within data. Furthermore, we experimentally validate our convergence results by demonstrating the method can successfully identify two trends within simulated data.

[20]  arXiv:2212.03964 [pdf, ps, other]
Title: Universal bifurcation patterns in the unfolding of a pair of homoclinic tangencies
Subjects: Dynamical Systems (math.DS)

We study generic two- and three-parameter unfoldings of a pair of orbits of quadratic homoclinic tangency in strongly dissipative systems. We prove that the corresponding stability windows for periodic orbits have various universal forms: the so-called "shrimps" (cross-road areas), as well as spring and saddle areas, and (in three-parameter unfoldings) "pregnant shrimps" (specific types of transitions between the shrimps and spring or saddle areas).

[21]  arXiv:2212.03976 [pdf, other]
Title: Robust Operating Envelopes for DER Integration in Unbalanced Distribution Networks
Comments: Submitted to IEEE Transactions on Power Systems
Subjects: Optimization and Control (math.OC)

Operating envelopes (OEs) have been introduced in recent years as a means to manage the operation of distributed energy resources (DERs) within the network operational constraints. OEs can be used by network operators to communicate DER dispatchable capacity to aggregators without further consideration of network constraints and are thus viewed as a key enabler for demand-side participation in future electricity markets and for ensuring the integrity of distribution networks. While a number of approaches have been developed to calculate OEs, uncertainties in system data are typically ignored, which can lead to unreliable results and introduce security risks in network operations. This paper presents a deterministic procedure to calculate robust OEs (ROEs) explicitly hedged against uncertainty and variability in customers' loads and generations. The approach is based on a geometric construction strictly included within the feasible region of a linear unbalanced three-phase optimal power flow problem that specifies the network operational constraints. The paper analyses and rigorously shows that the proposed approach also delivers proportional fairness in capacity allocations, and demonstrates how the ROEs can be enlarged by (i) exploiting the knowledge of customer operational statuses, and (ii) by optimising customers' controllable reactive powers. Two case studies based on an illustrative distribution network and an Australian representative low-voltage distribution network illustrate the efficiency and compliance of the proposed approach.

[22]  arXiv:2212.03982 [pdf, ps, other]
Title: Images and singularity subsets of pseudoholomorphic maps
Authors: Weiyi Zhang
Comments: 12 pages
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)

We study the image and the singularity subset of a general pseudoholomorphic map. We show that the image of a proper pseudoholomorphic map is a pseudoholomorphic subvariety when the dimension of either the domain or target is four. We also prove that the singularity subset of a pseudoholomorphic map is pseudoholomorphic when the domain has dimension four.

[23]  arXiv:2212.03985 [pdf, other]
Title: Feasible Region for DERs in Unbalanced Distribution Networks Considering Uncertain Network Impedances
Authors: Bin Liu, Jin Ma
Comments: Submitted to IEEE PES General Meeting 2023
Subjects: Optimization and Control (math.OC)

The rapid development of distributed energy resources (DERs) has brought many challenges to the operation of distribution networks in recent years, where operating envelopes (OEs), as a key enabler to facilitate DER integration via virtual power plants, have attracted increasing attention. Geometrically, OEs are inherently linked to the feasible region (FR) concept, which depicts an area that quantifies the permissible operational ranges for all DERs. This paper studies how to calculate FR for DERs based on a linear unbalanced three-phase power flow model while considering uncertainties from measured/estimated network impedances, leading to the robust feasible region (RFR). With an initialised FR, the proposed solution algorithm aims to seek the RFR by solving a non-convex bilinear problem, formulated based on Motzkin Transposition Theorem, and updating the RFR alternatively until reaching convergence. Two cases, including a 2-bus illustrative network and a representative Australian network, have been tested to demonstrate the effectiveness of the proposed approach.

[24]  arXiv:2212.03987 [pdf, ps, other]
Title: The p-rank of curves of Fermat type
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

Let $\mathbb{K}$ be an algebraically closed field of characteristic $p>0$. A pressing problem in the theory of algebraic curves is the determination of the $p$-rank of a (nonsingular, projective, irreducible) curve $\mathcal{X}$ over $\mathbb{K}$, This birational invariant affects arithmetic and geometric properties of $\mathcal{X}$, and its fundamental role in the study of the automorphism group $\operatorname{Aut}(\mathcal{X})$ has been noted by many authors in the past few decades. In this paper, we provide an extensive study of the $p$-rank of curves of Fermat type $y^m = x^n + 1$ over $\mathbb{K}=\bar{\mathbb{F}}_p$. We determine a combinatorial formula for this invariant in the general case and show how this leads to explicit formulas of the $p$-rank of several such curves. By way of illustration, we present explicit formulas for more than twenty subfamilies of such curves, where $m$ and $n$ are generally given in terms of $p$. We also show how the approach can be used to compute the $p$-rank of other types of curves.

[25]  arXiv:2212.03989 [pdf, ps, other]
Title: Slow manifolds for stochastic Koper models with stable Lévy noises
Subjects: Dynamical Systems (math.DS); Probability (math.PR)

The Koper model is a vector field in which the differential equations describe the electrochemical oscillations appearing in diffusion processes. This work focuses on the understanding of the slow dynamics of stochastic Koper model perturbed by stable L\'evy noise. We establish the slow manifold for stochastic Koper model with stable L\'evy noise and verify exponential tracking property. We also present a practical example to demonstrate the analytical results with numerical simulations.

[26]  arXiv:2212.04010 [pdf, ps, other]
Title: Spectral Theory of Large Dimensional Random Matrices Applied to Signal Detection
Subjects: Statistics Theory (math.ST)

Results on the spectral behavior of random matrices as the dimension increases are applied to the problem of detecting the number of sources impinging on an array of sensors. A common strategy to solve this problem is to estimate the multiplicity of the smallest eigenvalue of the spatial covariance matrix $R$ of the sensed data from the sample covariance matrix $\widehat{R}$. Existing approaches, such as that based on information theoretic criteria, rely on the closeness of the noise eigenvalues of $\widehat R$ to each other and, therefore, the sample size has to be quite large when the number of sources is large in order to obtain a good estimate. The analysis presented in this report focuses on the splitting of the spectrum of $\widehat{R}$ into noise and signal eigenvalues. It is shown that, when the number of sensors is large, the number of signals can be estimated with a sample size considerably less than that required by previous approaches. The practical significance of the main result is that detection can be achieved with a number of samples comparable to the number of sensors in large dimensional array processing.

[27]  arXiv:2212.04020 [pdf, ps, other]
Title: Ergodicity and stability of hybrid systems with threshold type state-dependent switching
Comments: 26 pages
Subjects: Probability (math.PR)

To deal with stochastic hybrid systems with general state-dependent switching, we propose an approximation method by a sequence of stochastic hybrid systems with threshold type switching. The convergence rate in the Wasserstein distance is estimated in terms of the difference between transition rate matrices. Our method is based on an elaborate construction of coupling processes in terms of Skorokhod's representation theorem for jumping processes. Moreover, we establish explicit criteria on the ergodicity and stability for stochastic hybrid systems with threshold type switching. Some examples are given to illustrate the sharpness of these criteria.

[28]  arXiv:2212.04028 [pdf, other]
Title: Discontinuous Galerkin methods for the acoustic vibration problem
Subjects: Numerical Analysis (math.NA); Spectral Theory (math.SP)

In two and three dimension we analyze discontinuous Galerkin methods for the acoustic problem. The acoustic fluid that we consider on this paper is inviscid, leading to a linear eigenvalue problem. The acoustic problem is written, in first place, in terms of the displacement. Under the approach of the non-compact operators theory, we prove convergence and error estimates for the method when the displacement formulation is considered. We analyze the influence of the stabilization parameter on the computation of the spectrum, where spurious eigenmodes arise when this parameter is not correctly chosen. Alternatively we present the formulation depending only on the pressure, comparing the performance of the DG methods with the pure displacement formulation. Computationally, we study the influence of the stabilization parameter on the arising of spurious eigenvalues when the spectrum is computed. Also, we report tests in two and three dimensions where convergence rates are reported, together with a comparison between the displacement and pressure formulations for the proposed DG methods.

[29]  arXiv:2212.04032 [pdf, ps, other]
Title: Monk rules for type $GL_n$ Macdonald polynomials
Subjects: Combinatorics (math.CO); Representation Theory (math.RT)

In this paper we give Monk rules for Macdonald polynomials which are analogous to the Monk rules for Schubert polynomials. These formulas are similar to the formulas given by Baratta (2008), but our method of derivation is to use Cherednik's interwiners. Deriving Monk rules by this technique addresses the relationship between the work of Baratta and the product formulas of Yip (2010). Specializations of the Monk formula's at $q=0$ and/or $t=0$ provide Monk rules for Iwahori-spherical polynomials and for finite and affine key polynomials.

[30]  arXiv:2212.04033 [pdf, ps, other]
Title: Set-valued tableaux for Macdonald polynomials
Subjects: Combinatorics (math.CO)

Set-valued tableaux formulas play an important role in Schubert calculus. Using the box greedy reduced word for the construction of the Macdonald polynomials, we convert the alcove walk formula for Macdonald polynomials to a set-valued tableaux formula for Macdonald polynomials. Our hope is that providing set-valued tableaux formulas for Macdonald polynomials will help to strengthen the analogies and possible connections between the calculus of Macdonald polynomials and Schubert calculus.

[31]  arXiv:2212.04034 [pdf, ps, other]
Title: On the analytic and geometric aspects of obstruction flatness
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)

In this paper, we investigate analytic and geometric properties of obstruction flatness of strongly pseudoconvex CR hypersurfaces of dimension $2n-1$. Our first two results concern local aspects. Theorem 3.2 asserts that any strongly pseudoconvex CR hypersurface $M\subset \mathbb{C}^n$ can be osculated at a given point $p\in M$ by an obstruction flat one up to order $2n+4$ generally and $2n+5$ if and only if $p$ is an obstruction flat point. In Theorem 4.1, we show that locally there are non-spherical but obstruction flat CR hypersurfaces with transverse symmetry for $n=2$. The final main result in this paper concerns the existence of obstruction flat points on compact, strongly pseudoconvex, 3-dimensional CR hypersurfaces. Theorem 5.1 asserts that the unit sphere in a negative line bundle over a Riemann surface $X$ always has at least one circle of obstruction flat points.

[32]  arXiv:2212.04039 [pdf, ps, other]
Title: Note on the 3-dimensional lc abundance in characteristic $> 3$
Authors: Zheng Xu
Subjects: Algebraic Geometry (math.AG)

In this paper, we prove the non-vanishing and some special cases of the log abundance for lc threefold pairs over an algebraically closed field $k$ of characteristic $p > 3$. More precisely, we prove that if $(X,B)$ be a projective lc threefold pair over $k$ and $K_{X}+B$ is pseudo-effective, then $\kappa(K_{X}+B)\geq 0$, and if $K_{X}+B$ is nef and $\kappa(K_{X}+B)\geq 1$, then $K_{X}+B$ is semiample.
As applications, we show that the log canonical rings of projective lc threefold pairs over $k$ are finitely generated, and the log abundance holds when the nef dimension $n(K_{X}+B)\leq 2$ or when the Albanese map $a_{X}:X\to \mathrm{Alb}(X)$ is non-trivial. Moreover, we prove that the log abundance for klt threefold pairs over $k$ implies the log abundance for lc threefold pairs over $k$.

[33]  arXiv:2212.04047 [pdf, ps, other]
Title: Graph Neural Networks Meet Wireless Communications: Motivation, Applications, and Future Directions
Comments: This paper is accepted by IEEE Wirel. Commun
Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)

As an efficient graph analytical tool, graph neural networks (GNNs) have special properties that are particularly fit for the characteristics and requirements of wireless communications, exhibiting good potential for the advancement of next-generation wireless communications. This article aims to provide a comprehensive overview of the interplay between GNNs and wireless communications, including GNNs for wireless communications (GNN4Com) and wireless communications for GNNs (Com4GNN). In particular, we discuss GNN4Com based on how graphical models are constructed and introduce Com4GNN with corresponding incentives. We also highlight potential research directions to promote future research endeavors for GNNs in wireless communications.

[34]  arXiv:2212.04060 [pdf, ps, other]
Title: Bismut-Einstein metrics on compact complex surfaces
Authors: Yanan Ye
Subjects: Differential Geometry (math.DG)

We establish a Bochner-type formula expressed in terms of Bismut-Ricci curvature for pluriclosed metrics. Using this formula, we can directly prove that a Bismut-Einstein metric with non-zero Einstein constant is K\"ahler-Einstein, without the help of classification of compact complex surfaces. Moreover, for a pluriclosed metric with zero Einstein constant, we can prove that it must be Bismut-Ricci flat.

[35]  arXiv:2212.04064 [pdf, other]
Title: On CRC-Aided Dual Trellis List Decoding for High-Rate Convolutional Codes with Short Blocklengths
Comments: arXiv admin note: substantial text overlap with arXiv:2111.07929
Subjects: Information Theory (cs.IT)

Recently, rate-1/n zero-terminated and tail-biting convolutional codes (ZTCCs and TBCCs) with cyclic-redundancy-check (CRC)-aided list decoding have been shown to closely approach the random-coding union (RCU) bound for short blocklengths. This paper designs CRCs for rate-(n-1)/n CCs with short blocklengths, considering both the ZT and TB cases. The CRC design seeks to optimize the frame error rate (FER) performance of the code resulting from the concatenation of the CRC and the CC. Utilization of the dual trellis proposed by Yamada et al. lowers the complexity of CRC-aided serial list Viterbi decoding (SLVD) of ZTCCs and TBCCs. CRC-aided SLVD of the TBCCs closely approaches the RCU bound at a blocklength of 128. Application of the multi-trellis approach and Wrap Around Viterbi Algorithm (WAVA) further improves the decoding efficiency while maintaining the decoder's error-detection and correction performance.

[36]  arXiv:2212.04071 [pdf, other]
Title: Fractionally integrated curve time series with cointegration
Subjects: Statistics Theory (math.ST)

We introduce methods and theory for fractionally cointegrated curve time series. We develop a variance ratio test to determine the dimensions associated with the nonstationary and stationary subspaces. For each subspace, we apply a local Whittle estimator to estimate the long-memory parameter and establish its consistency. A Monte Carlo study of finite-sample performance is included, along with an empirical application.

[37]  arXiv:2212.04079 [pdf, other]
Title: A numerical domain decomposition method for solving elliptic equations on manifolds
Comments: Comments are welcome
Subjects: Numerical Analysis (math.NA); Differential Geometry (math.DG)

A new numerical domain decomposition method is proposed for solving elliptic equations on compact Riemannian manifolds. The advantage of this method is to avoid global triangulations or grids on manifolds. Our method is numerically tested on some $4$-dimensional manifolds such as the unit sphere $S^{4}$, the complex projective space $\mathbb{CP}^{2}$ and the product manifold $S^{2} \times S^{2}$.

[38]  arXiv:2212.04080 [pdf, other]
Title: Convergence analysis of variable steps BDF2 method for the space fractional Cahn-Hilliard model
Subjects: Numerical Analysis (math.NA)

An implicit variable-step BDF2 scheme is established for solving the space fractional Cahn-Hilliard equation, involving the fractional Laplacian, derived from a gradient flow in the negative order Sobolev space $H^{-\alpha}$, $\alpha\in(0,1)$. The Fourier pseudo-spectral method is applied for the spatial approximation. The proposed scheme inherits the energy dissipation law in the form of the modified discrete energy under the sufficient restriction of the time-step ratios. The convergence of the fully discrete scheme is rigorously provided utilizing the newly proved discrete embedding type convolution inequality dealing with the fractional Laplacian. Besides, the mass conservation and the unique solvability are also theoretically guaranteed. Numerical experiments are carried out to show the accuracy and the energy dissipation both for various interface widths. In particular, the multiple-time-scale evolution of the solution is captured by an adaptive time-stepping strategy in the short-to-long time simulation.

[39]  arXiv:2212.04083 [pdf, ps, other]
Title: Convergence of the Fourier-Galerkin spectral method for the Boltzmann equation with uncertainties
Authors: Liu Liu, Kunlun Qi
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

It is well-known that the Fourier-Galerkin spectral method has been a popular approach for the numerical approximation of the deterministic Boltzmann equation with spectral accuracy rigorously proved. In this paper, we will show that such a spectral convergence of the Fourier-Galerkin spectral method also holds for the Boltzmann equation with uncertainties arising from both collision kernel and initial condition. Our proof is based on newly-established spaces and norms that are carefully designed and take the velocity variable and random variables with their high regularities into account altogether. For future studies, this theoretical result will provide a solid foundation for further showing the convergence of the full-discretized system where both the velocity and random variables are discretized simultaneously.

[40]  arXiv:2212.04091 [pdf, other]
Title: Strong identifiability and parameter learning in regression with heterogeneous response
Comments: 68 pages
Subjects: Statistics Theory (math.ST); Machine Learning (stat.ML)

Mixtures of regression are a powerful class of models for regression learning with respect to a highly uncertain and heterogeneous response variable of interest. In addition to being a rich predictive model for the response given some covariates, the parameters in this model class provide useful information about the heterogeneity in the data population, which is represented by the conditional distributions for the response given the covariates associated with a number of distinct but latent subpopulations. In this paper, we investigate conditions of strong identifiability, rates of convergence for conditional density and parameter estimation, and the Bayesian posterior contraction behavior arising in finite mixture of regression models, under exact-fitted and over-fitted settings and when the number of components is unknown. This theory is applicable to common choices of link functions and families of conditional distributions employed by practitioners. We provide simulation studies and data illustrations, which shed some light on the parameter learning behavior found in several popular regression mixture models reported in the literature.

[41]  arXiv:2212.04093 [pdf, ps, other]
Title: Virtual Euler characteristics via topological recursion
Comments: 11 pages, 1 figure, comments welcomed
Subjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG)

We use Seiberg--Witten-like relations in the topological recursion framework to obtain virtual Euler characteristics for uni- and multicellular maps for ensembles of classic orthogonal polynomials and for ensembles related to nonorientable surfaces. We also discuss Harer--Zagier-type recursion relations for 1-point correlation function for the Legendre ensemble.

[42]  arXiv:2212.04099 [pdf, ps, other]
Title: On Sharp Beckner's Inequality for Axially Symmetric Functions on $\mathbb{S}^4$
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)

We prove a sharp Beckner's inequality for axially symmetric functions on $S^4$. The key ingredients of our proof is some pointwise quantitative properties of Gegenbauer polynomials.

[43]  arXiv:2212.04101 [pdf, ps, other]
Title: Multilevel Reverse Stackelberg Games: Existence and Computations of Best Affine Strategies
Subjects: Optimization and Control (math.OC)

The multilevel reverse Stackelberg game is considered. In this game, the leader controls the outcome by announcing a strategy as a function of decision variables of the followers to his/her own decision space. Corresponding to the leader's strategy, the player in the next level presents his/her strategy as a function of decision variables of the remaining players. This procedure is repeated until it is the turn of the bottom level player in the hierarchy, who reacts by determining his/her optimal decision variables. The structure of this game can be adopted in decentralized multilevel decision making like resource allocation, energy market pricing, problems with hierarchical controls. In this paper conditions for existence and construction of affine leader reverse Stackelberg strategies are developed for such problems. As an extension to the existing literature, we considered nonconvex sublevel sets of objective functions of followers. Moreover, a method to construct multiple reverse Stackelberg strategies for the leader is also presented.

[44]  arXiv:2212.04104 [pdf, other]
Title: Some useful inequalities for nabla tempered fractional calculus
Subjects: Classical Analysis and ODEs (math.CA)

This paper gives particular emphasis to the nabla tempered fractional calculus, which involves the multiplication of the rising function kernel with tempered functions, and provides a more flexible alternative with considerable promise for practical applications. Some remarkable inequalities for such nabla fractional calculus are developed and analyzed, which greatly enrich the mathematical theory of nabla tempered fractional calculus. Numerical results confirm the validity of the developed properties once again, which also reveals that the introduction of tempered function provides high value and huge potential.

[45]  arXiv:2212.04106 [pdf, other]
Title: Age of Information with On-Off Service
Subjects: Information Theory (cs.IT)

This paper considers a communication system where a source sends time-sensitive information to its destination. We assume that both arrival and service processes of the messages are memoryless and the source has a single server with no buffer. Besides, we consider that the service is interrupted by an independent random process, which we model using the On-Off process. For this setup, we study the age of information for two queueing disciplines: 1) non-preemptive, where the messages arriving while the server is occupied are discarded, and 2) preemptive, where the in-service messages are replaced with newly arriving messages in the Off states. For these disciplines, we derive closed-form expressions for the mean peak age and mean age.

[46]  arXiv:2212.04109 [pdf, ps, other]
Title: Pawłucki-Plésniak Extension Operator For Non-Markov Sets
Subjects: Functional Analysis (math.FA)

We show that Pawlucki-Pl\'esniak operator is bounded for some non-Markov sets.

[47]  arXiv:2212.04110 [pdf, ps, other]
Title: Hodge Laplacian and geometry of Kuranishi family of Fano manifolds
Comments: 23 pages
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG); Complex Variables (math.CV)

We first obtain eigenvalue estimates for the Hodge Laplacian on Fano manifolds, which follow from the Bochner-Kodaira formula. Then we apply it to study the geometry of the Kuranishi family of deformations of Fano manifolds. We show that the original K\"ahler form remains to be a K\"ahler form for other members of the Kuranishi family, and give an explicit formula of the Ricci potential. We also show that our set-up gives another account for the Donaldson-Fujiki picture.

[48]  arXiv:2212.04121 [pdf, ps, other]
Title: Perfect packing of squares
Authors: Antal Joós
Comments: 9 pages, 1 figure, Math. Rep. accepted (2019)
Subjects: Combinatorics (math.CO)

It is known that $\sum\limits_{i =1}^\infty {1/ i^2}={\pi^2/6}$. Meir and Moser asked what is the smallest $\epsilon$ such that all the squares of sides of length $1$, $1/2$, $1/3$, $\ldots$ can be packed into a rectangle of area ${\pi^2/6}+\epsilon$. A packing into a rectangle of the right area is called perfect packing. Chalcraft packed the squares of sides of length $1$, $2^{-t}$, $3^{-t}$, $\ldots$ and he found perfect packing for $1/2<t\le3/5$. We will show based on an algorithm by Chalcraft that there are perfect packings if $1/2<t\le2/3$. Moreover we show that there is a perfect packing for all $t$ in the range $\log_32\le t\le2/3$.

[49]  arXiv:2212.04125 [pdf, other]
Title: Stability and bifurcation in a reaction-diffusion-advection predator-prey model
Comments: 41 pages, 1 figure
Subjects: Dynamical Systems (math.DS)

A reaction-diffusion-advection predator-prey model with Holling type-II predator functional response is considered. We show the stability/instability of the positive steady state and the existence of a Hopf bifurcation when the diffusion and advection rates are large. Moreover, we show that advection rate can affect not only the occurrence of Hopf bifurcations but also the values of Hopf bifurcations.

[50]  arXiv:2212.04131 [pdf, ps, other]
Title: The exceptional Lie algebra $\mathfrak{g}_2$ generated by three generators subject to quadruple relations
Subjects: Rings and Algebras (math.RA)

In this short communication we show how the Lie algebra $\mathfrak{g}_2$ can easily be described as a free Lie algebra on 3 generators, subject to some simple quadruple relations for these generators.

[51]  arXiv:2212.04134 [pdf, other]
Title: Interpolation Operators for parabolic Problems
Subjects: Numerical Analysis (math.NA)

We introduce interpolation operators with approximation and stability properties suited for parabolic problems in primal and mixed formulations. We derive localized error estimates for tensor product meshes (occurring in classical time-marching schemes) as well as locally in space-time refined meshes.

[52]  arXiv:2212.04141 [pdf, ps, other]
Title: Cylindrical first order superintegrability with complex magnetic fields
Comments: The following article has been submitted to the Journal of Mathematical Physics
Subjects: Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI); Quantum Physics (quant-ph)

This article is a contribution to the study of superintegrable Hamiltonian systems with magnetic fields on the three-dimensional Euclidean space $\mathbb{E}_3$ in quantum mechanics. In contrast to the growing interest in complex electromagnetic fields in the mathematical community following the experimental confirmation of its physical relevance [X. Peng et al., Phys. Rev. Lett. 114 (2015)], they were so far not addressed in the growing literature on superintegrability. Here we venture into this field by searching for additional first order integrals of motion to the integrable systems of cylindrical type. We find that already known systems can be extended into this realm by admitting complex coupling constants. In addition to them, we find one new system whose integrals of motion also feature complex constants. All these systems are multiseparable. Rigorous mathematical analysis of these systems is challenging due to the non-Hermitian setting and lost gauge invariance. We proceed formally and pose the resolution of these problems as an open challenge.

[53]  arXiv:2212.04154 [pdf, ps, other]
Title: Bounds for the Grundy chromatic number of graphs in terms of domination number
Comments: 16 pages, 5 figures, accepted for publication in Bolletin of the Belgian Mathematical Society
Subjects: Combinatorics (math.CO)

For any graph $G$, the Grundy (or First-Fit) chromatic number of $G$, denoted by $\Gamma(G)$ (also $\chi_{_{\sf FF}}(G)$), is defined as the maximum number of colors used by the First-Fit (greedy) coloring of the vertices of $G$. Determining the Grundy number is $NP$-complete, and obtaining bounds for $\Gamma(G)$ in terms of the known graph parameters is an active research topic. By a star partition of $G$ we mean any partition of $V(G)$ into say $V_1, \ldots, V_k$ such that each $G[V_i]$ contains a vertex adjacent to any other vertex in $V_i$. In this paper using the star partition of graphs we obtain the first upper bounds for the Grundy number in terms of the domination number. We also prove some bounds in terms of the domination number and girth of graphs.

[54]  arXiv:2212.04158 [pdf, ps, other]
Title: On a remark by Daniel Ferrand
Comments: 16 pages
Subjects: Algebraic Geometry (math.AG)

Let $X$ be a Fano threefold with index $i_X$ and fundamental line bundle $\mathcal O_X(h)$. We classify $\mu$-semistable rank two bundles $\mathcal E$ on $X$ with $c_1(\mathcal E)=0$, $h^0(\mathcal E) \ne 0$ and $h^1(\mathcal E(-\lceil\frac{i_X}{2}\rceil h))=0$.

[55]  arXiv:2212.04164 [pdf, ps, other]
Title: Stability of a Queue Fed by Scheduled Traffic at Critical Loading
Comments: 7 pages
Subjects: Probability (math.PR)

Consider the workload process for a single server queue with deterministic service times in which customers arrive according to a scheduled traffic process. A scheduled arrival sequence is one in which customers are scheduled to arrive at constant interarrival times, but each customer actual arrival time is perturbed from her scheduled arrival time by a random perturbation. In this paper, we consider a critically loaded queue in which the service rate equals the arrival rate. Unlike a queue fed by renewal traffic, this queue can be stable even in the presence of critical loading. We identify a necessary and sufficient condition for stability when the perturbations have finite mean. Perhaps surprisingly, the criterion is not reversible, in the sense that such a queue can be stable for a scheduled traffic process in forward time, but unstable for the time-reversal of the same traffic process.

[56]  arXiv:2212.04167 [pdf, other]
Title: A Deterministic Annealing Local Search for the Electric Autonomous Dial-A-Ride Problem
Subjects: Optimization and Control (math.OC)

This paper investigates the Electric Autonomous Dial-A-Ride Problem (E-ADARP), which consists in designing a set of minimum-cost routes that accommodates all customer requests for a fleet of Electric Autonomous Vehicles (EAVs). Problem-specific features of the E-ADARP include: (i) the employment of EAVs and a partial recharging policy; (ii) the weighted-sum objective function that minimizes the total travel time and the total excess user ride time. We propose a Deterministic Annealing (DA) algorithm, which is the first metaheuristic approach to solve the E-ADARP. Partial recharging (i) is handled by an exact route evaluation scheme of linear time complexity. To tackle (ii), we propose a new method that allows effective computations of minimum excess user ride time by introducing a fragment-based representation of paths. These two methods compose an exact and efficient optimization of excess user ride time for a generated E-ADARP route. To validate the performance of the DA algorithm, we compare our algorithm results to the best-reported Branch-and-Cut (B\&C) algorithm results on existing instances. Our algorithm provides 25 new best solutions and 45 equal solutions on 84 existing instances. To test the algorithm performance on larger-sized instances, we establish new instances with up to 8 vehicles and 96 requests, and we provide 19 new solutions for these instances. Our final investigation extends the state-of-the-art model and explores the effect of allowing multiple visits to recharging stations. This relaxation can efficiently improve the solution's feasibility and quality.

[57]  arXiv:2212.04170 [pdf, other]
Title: An Extension of De Giorgi Class and Applications
Comments: 41 pages
Subjects: Analysis of PDEs (math.AP)

We present an extension of the classical De Giorgi class, and then we show that functions in this new class are locally bounded and locally H\"older continuous. Some applications are given. As a first application, we give a regularity result for local minimizers $u:\Omega \subset \mathbb R^4 \rightarrow \mathbb R^4$ of a special class of polyconvex functionals with splitting form in four dimensional Euclidean spaces. Under some structural conditions on the energy density, we prove that each component $u^\alpha$ of the local minimizer $u$ belongs to the generalized De Giorgi class, then one can derive that it is locally bounded and locally H\"older continuous. Our result can be applied to polyconvex integrals whose prototype is $$ \int_\Omega \Big(\sum_{\alpha =1}^4 |Du^\alpha|^p + \sum_{\beta =1}^6 |({\rm adj}_2 Du )^\beta | ^q +\sum_{\gamma =1}^4 |({\rm adj}_3 Du )^\gamma | ^r +|\det Du|^s \Big ) \mathrm {d}x $$ with suitable $p,q,r,s\ge 1$. As a second application, we consider a degenerate linear elliptic equation of the form $$ -\mbox {div} (a(x)\nabla u)=-\mbox {div}F, $$ with $0<a(x) \le \beta <+\infty$. We prove, by virtue of the generalized De Giorgi class, that any weak solution is locally bounded and locally H\"older continuous provided that $\frac 1 {a(x)}$ and $F(x)$ belong to some suitable locally integrable function spaces. As a third application, we show that our theorem can be applied in dealing with regularity issues of elliptic equations with non-standard grow conditions. As a fourth application we treat with quasilinear elliptic systems. Under suitable assumptions on the coefficients, we show that any of its weak solutions is locally bounded and locally H\"older continuous.

[58]  arXiv:2212.04178 [pdf, ps, other]
Title: Lower deviation for the supremum of the support of super-Brownian motion
Subjects: Probability (math.PR)

We study the asymptotic behavior of the supremum $M_t$ of the support of a supercritical super-Brownian motion. In our recent paper (Stoch. Proc. Appl. 137 (2021), 1-34), we showed that, under some conditions, $M_t-m(t)$ converges in distribution to a randomly shifted Gumbel random variable, where $m(t)=c_0t-c_1\log t$. In the same paper, we also studied the upper large deviation of $M_t$, i.e., the asymptotic behavior of $\mathbb{P}(M_t>\delta c_0t) $ for $\delta\ge 1$. In this paper, we study the lower large deviation of $M_t$, i.e., the asymptotic behavior of $\mathbb{P}(M_t\le \delta c_0t|\mathcal{S}) $ for $\delta<1$, where $\mathcal{S}$ is the survival event.

[59]  arXiv:2212.04182 [pdf, ps, other]
Title: Computing Cohomology Rings in Cubical Agda
Subjects: Algebraic Topology (math.AT); Logic in Computer Science (cs.LO)

In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings may be defined as direct sums of cohomology groups together with a multiplication induced by the cup product, and can in many cases be characterized as quotients of multivariate polynomial rings. To this end, we introduce appropriate definitions of direct sums and graded rings, which we then use to define both cohomology rings and multivariate polynomial rings. Using this, we compute the cohomology rings of some classical spaces, such as the spheres and the Klein bottle. The formalization is constructive so that it can be used to do concrete computations, and it relies on the Cubical Agda system which natively supports higher inductive types and computational univalence.

[60]  arXiv:2212.04186 [pdf, other]
Title: Handling Sub-symmetry in Integer Programming using Activation Handlers
Subjects: Optimization and Control (math.OC)

Symmetry in integer programs (IPs) can be exploited in order to reduce solving times. Usually only symmetries of the original IP are handled, but new symmetries may arise at some nodes of the branch-and-bound tree. While symmetry-handling inequalities (SHIs) can easily be used to handle original symmetries, handling sub-symmetries arising later on is more intricate. To handle sub-symmetries, it has recently been proposed to add SHIs that are activated by auxiliary variables. This, however, may increase the size of the IP substantially as all sub-symmetries need to be modeled explicitly. As an alternative, we propose a new framework for generically activating SHIs, so-called activation handlers. This framework allows for a direct implementation of routines that check for active sub-symmetries, eliminating the need for auxiliary variables. In particular, activation handlers can activate symmetry-handling techniques that are more powerful than SHIs. We show that our approach is flexible, with applications in the multiple-knapsack, unit commitment, and graph coloring problems. Numerical results show a substantial performance improvement on the existing sub-symmetry-handling methods.

[61]  arXiv:2212.04187 [pdf, other]
Title: Identifying sinks and sources in the potential equation with weighted sparsity regularization
Subjects: Optimization and Control (math.OC)

We explore the possibility for using boundary measurements to recover several sources and sinks in the potential equation. This task arises in important applications, e.g., in connection with EEG and ECG data. Employing weighted sparsity regularization and standard results for subgradients, we derive simple-to-check criteria which assure that a number of sinks and sources can be identified. Furthermore, we present two cases for which these criteria always are fulfilled: a) well-separated sources and sinks, and b) many sources or sinks located at the boundary plus one interior source/sink. Both the regularized problem, as well as the basis pursuit version of it, are analyzed. Provided that suitable assumptions hold, we prove that a source can not be misinterpreted as a sink, or vice versa. The theory is developed in terms of Euclidean spaces, and it can therefore be applied to a wide range of problems. In particular, it can be applied to both isotropic and anisotropic cases. We present a series of numerical experiments. This work is motivated by the observation that standard methods typically suggest that internal sinks and sources are located close to the boundary.

[62]  arXiv:2212.04200 [pdf, other]
Title: On k-distance degree based topological indices of benzenoid systems
Subjects: Combinatorics (math.CO)

Topological indices are graph invariants numeric quantities, which are utilized by researchers to analyze a variety of physiochemical aspects of molecules. The goal of developing topological indices is to give each chemical structure a numerical value while maintaining the highest level of differentiation. Using these indices, the classification of various structures, and their physiochemical and biological properties can be predicted. In this paper, the leap and leap hyper Zagreb indices, as well as their polynomials for a zigzag benzenoid system $Z_{p}$ and a rhombic benzenoid system $R_{p}$ are determined. In addition, new $k$-distance degree-based topological indices such as leap-Somber index, hyper leap forgotten index, leap $Y$ index, and leap $Y$ coindex are also computed for the molecular graphs of $Z_p$ and $R_p$. Furthermore, their numerical computation and discussion are performed to determine the significance of their physiochemical properties.

[63]  arXiv:2212.04204 [pdf, ps, other]
Title: Group $\mathcal{H}$-classes of finitely presented special inverse monoids
Comments: 23 pages, 2 figures
Subjects: Group Theory (math.GR)

We study the group $\mathcal{H}$-classes (also known as maximal subgroups, in the sense of semigroup theory) of finitely presented special inverse monoids. We show that the group $\mathcal{H}$-classes which can arise in such monoids are exactly the recursively presented groups, and moreover every such group $\mathcal{H}$-class can also arise in the $E$-unitary case. We also prove that the possible groups of units are exactly the finitely generated recursively presented groups; this improves upon a result of, and answers a question of, the first author and Ru\v{s}kuc. These results give the first significant insight into the group $\mathcal{H}$-classes of such monoids beyond the group of units, and the results together demonstrate that it is possible for the subgroup structure to have a complexity which significantly exceeds that of the group of units. We also observe that a finitely presented special inverse monoid (even an $E$-unitary one) may have infinitely many pairwise non-isomorphic group $\mathcal{H}$-classes.

[64]  arXiv:2212.04226 [pdf, ps, other]
Title: Gradient-Type Methods for Optimization Problems with Polyak-Łojasiewicz Condition: Early Stopping and Adaptivity to Inexactness Parameter
Subjects: Optimization and Control (math.OC)

Due to its applications in many different places in machine learning and other connected engineering applications, the problem of minimization of a smooth function that satisfies the Polyak-{\L}ojasiewicz condition receives much attention from researchers. Recently, for this problem, the authors of recent work proposed an adaptive gradient-type method using an inexact gradient. The adaptivity took place only with respect to the Lipschitz constant of the gradient. In this paper, for problems with the Polyak-{\L}ojasiewicz condition, we propose a full adaptive algorithm, which means that the adaptivity takes place with respect to the Lipschitz constant of the gradient and the level of the noise in the gradient. We provide a detailed analysis of the convergence of the proposed algorithm and an estimation of the distance from the starting point to the output point of the algorithm. Numerical experiments and comparisons are presented to illustrate the advantages of the proposed algorithm in some examples.

[65]  arXiv:2212.04228 [pdf, ps, other]
Title: Equivariant spaces of matrices of constant rank
Authors: J. M. Landsberg, L. Manivel (IMT)
Subjects: Algebraic Geometry (math.AG)

We use representation theory to construct spaces of matrices of constant rank. These spaces are parametrized by the natural representation of the general linear group or the symplectic group. We present variants of this idea, with more complicated representations, and others with the orthogonal group. Our spaces of matrices correspond to vector bundles which are homogeneous but sometimes admit deformations to non-homogeneous vector bundles, showing that these spaces of matrices sometimes admit large families of deformations.

[66]  arXiv:2212.04237 [pdf, ps, other]
Title: A Generalization of Stampacchia Lemma and Applications
Comments: 10 pages
Subjects: Analysis of PDEs (math.AP)

We present a generalization of Stampacchia Lemma and give applications to regularity property of weak and entropy solutions of degenerate elliptic equations of the form $$ \left\{ \begin{array}{llll} -\mbox{div} (a(x,u(x)) Du (x)) =f(x), & \mbox { in } \Omega, \\ u(x)=0, & \mbox { on } \partial \Omega, \end{array} \right. $$ where $$ \frac {\alpha}{(1+|u|) ^\theta} \le a(x,s)\le \beta $$ with $0<\alpha \le \beta <\infty$ and $0\le \theta <1$.

[67]  arXiv:2212.04238 [pdf, other]
Title: On the diagonal property and the weak point property of ind-varieties and Hilbert schemes
Authors: Arijit Mukherjee
Comments: All comments are welcome
Subjects: Algebraic Geometry (math.AG)

In this paper, we introduce the notion of the diagonal property and the weak point property for an ind-variety. We prove that the ind-varieties of higher rank divisors of integral slopes on a smooth projective curve have the weak point property. Moreover, we show that the ind-variety of $(1,n)-$divisors has the diagonal property. Furthermore, we obtain that the Hilbert schemes associated to some particular good partitions of a constant polynomial satisfy the diagonal property. On the process of obtaining this, we provide a lower bound on the number of such Hilbert schemes.

[68]  arXiv:2212.04240 [pdf, ps, other]
Title: A generalization of a lemma of Boccardo and Orsina and application
Comments: 12 pages
Subjects: Analysis of PDEs (math.AP)

We present a generalization of a technical lemma due to Boccardo and Orsina, and then give an application to regularity of minima for integral functionals noncoercive in the energy space.

[69]  arXiv:2212.04253 [pdf, other]
Title: Triangle-free projective-planar graphs with diameter two: domination and characterization
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

In 1975, Plesn\'ik characterized all triangle-free planar graphs as having a diameter $2$. We characterize all triangle-free projective-planar graphs having a diameter $2$ and discuss some applications. In particular, the main result is applied to calculate the analogue of clique numbers for graphs, namely, colored mixed graphs, having different types of arcs and edges.

[70]  arXiv:2212.04256 [pdf, other]
Title: A new formula for intersection numbers
Comments: 45 pages, 10 pages of appendix
Subjects: Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Combinatorics (math.CO)

We propose a new formula to compute Witten--Kontsevich intersection numbers. It is a closed formula, not involving recursion neither solving equations. It only involves sums over partitions of products of factorials, double factorials and Kostka numbers (numbers of semi-standard tableau of given shape and weight) with bounded weights. As an application, we prove a conjecture of [ELO21] stating that the generating polynomials of the intersection numbers expressed in the basis of elementary symmetric polynomials have an unexpected vanishing of their coefficients.

[71]  arXiv:2212.04268 [pdf, ps, other]
Title: Nonnegative partial s-goodness for the equivalence of a 0-1 linear program to weighted linear programming
Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)

The 0-1 linear programming problem with nonnegative constraint matrix and objective vector e origins from many NP-hard combinatorial optimization problems. In this paper, we consider recovering an optimal solution to the problem from a weighted linear programming.We first formulate the problem equivalently as a sparse optimization problem. Next, we consider the consistency of the optimal solution of the sparse optimization problem and the weighted linear programming problem. In order to achieve this, we establish nonnegative partial s-goodness of the constraint matrix and the weighted vector. Further, we use two quantities to characterize a sufficient condition and necessary condition for the nonnegative partial s-goodness. However, the two quantities are difficult to calculate, therefore, we provide a computable upper bound for one of the two quantities to verify the nonnegative partial s-goodness. Finally, we give three examples to illustrate that our theory is effective and verifiable.

[72]  arXiv:2212.04271 [pdf, other]
Title: Differentiation identities for hypergeometric functions
Authors: Hayato Motohashi
Comments: 14 pages, 1 figure
Journal-ref: Expo. Math. 40 (2022) 894-909
Subjects: Classical Analysis and ODEs (math.CA)

It is well-known that differentiation of hypergeometric function multiplied by a certain power function yields another hypergeometric function with a different set of parameters. Such differentiation identities for hypergeometric functions have been used widely in various fields of applied mathematics and natural sciences. In this expository note, we provide a simple proof of the differentiation identities, which is based only on the definition of the coefficients for the power series expansion of the hypergeometric functions.

[73]  arXiv:2212.04275 [pdf, other]
Title: Minimizers of the Onsager-Machlup functional are posterior modes
Authors: Remo Kretschmann
Subjects: Statistics Theory (math.ST); Optimization and Control (math.OC)

In this work we connect two notions: That of the nonparametric mode of a probability measure, defined by asymptotic small ball probabilities, and that of the Onsager--Machlup functional, a generalized density also defined via asymptotic small ball probabilities. We show that in a separable Hilbert space setting and under mild conditions on the likelihood, the modes of a Bayesian posterior distribution based upon a Gaussian prior agree with the minimizers of its Onsager--Machlup functional. We apply this result to inverse problems and derive conditions on the forward mapping under which this variational characterization of posterior modes holds. Our results show rigorously that in the limit case of infinite-dimensional data corrupted by additive Gaussian or Laplacian noise, nonparametric MAP estimation is equivalent to Tikhonov--Phillips regularization. In comparison with the work of Dashti, Law, Stuart, and Voss (2013), the assumptions on the likelihood are relaxed so that they cover in particular the important case of Gaussian process noise. We illustrate our results by applying them to a severely ill-posed linear problem with Laplacian noise, where we express the MAP estimator analytically and study its rate of convergence.

[74]  arXiv:2212.04276 [pdf, ps, other]
Title: Homotopy Theory of Enriched Mackey Functors
Comments: 430 pages. This works shares basic definitions with arXiv:2205.08401, arXiv:2202.13659, arXiv:2111.08653, arXiv:2109.01430, and arXiv:2002.06055
Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); K-Theory and Homology (math.KT)

Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments along $K$-theory multifunctors provides an important tool for constructing spectral Mackey functors from Mackey functors enriched in algebraic structures such as permutative categories.
This work gives a detailed development of diagrams, presheaves, and Mackey functors enriched over closed multicategories. Change of enrichment, including the relevant compositionality, is treated with care. This framework is applied to the homotopy theory of enriched diagram and Mackey functor categories, including equivalences of homotopy theories induced by $K$-theory multifunctors. Particular applications of interest include diagrams and Mackey functors enriched in pointed multicategories, permutative categories, and symmetric spectra.

[75]  arXiv:2212.04278 [pdf, ps, other]
Title: On iterated function systems and algebraic properties of Lipschitz maps in partial metric spaces
Subjects: Dynamical Systems (math.DS)

This paper discusses, certain algebraic, analytic, and topological results on partial iterated function systems($IFS_p$'s). Also, the article proves the Collage theorem for partial iterated function systems. Further, it provides a method to address the points in the attractor of a partial iterated function system and obtain results related to the address of points in the attractor. The completeness of the partial metric space of contractions with a fixed contractivity factor is proved, under suitable conditions. Also, it demonstrates the continuity of the map that associates each contraction in a complete partial metric space to its corresponding unique fixed point. Further, it defines the $IFS_p$ semigroup and shows that under function composition, the set of Lipschitz transformations and the set of contractions are semigroups.

[76]  arXiv:2212.04279 [pdf, other]
Title: Application of machine learning regression models to inverse eigenvalue problems
Comments: 29 pages, 11 figures
Subjects: Numerical Analysis (math.NA); Machine Learning (stat.ML)

In this work, we study the numerical solution of inverse eigenvalue problems from a machine learning perspective. Two different problems are considered: the inverse Strum-Liouville eigenvalue problem for symmetric potentials and the inverse transmission eigenvalue problem for spherically symmetric refractive indices. Firstly, we solve the corresponding direct problems to produce the required eigenvalues datasets in order to train the machine learning algorithms. Next, we consider several examples of inverse problems and compare the performance of each model to predict the unknown potentials and refractive indices respectively, from a given small set of the lowest eigenvalues. The supervised regression models we use are k-Nearest Neighbours, Random Forests and Multi-Layer Perceptron. Our experiments show that these machine learning methods, under appropriate tuning on their parameters, can numerically solve the examined inverse eigenvalue problems.

[77]  arXiv:2212.04284 [pdf, ps, other]
Title: The exponential ordering for non-autonomous delay systems with applications to compartmental Nycholson systems
Subjects: Dynamical Systems (math.DS)

The exponential ordering is exploited in the context of non-auto\-no\-mous delay systems, inducing monotone skew-product semiflows under less restrictive conditions than usual. Some dynamical concepts linked to the order, such as semiequilibria, are considered for the exponential ordering, with implications for the determination of the presence of uniform persistence or the existence of global attractors. Also, some important conclusions on the long-term dynamics and attraction are obtained for monotone and sublinear delay systems for this ordering. The results are then applied to almost periodic Nicholson systems and new conditions are given for the existence of a unique almost periodic positive solution which asymptotically attracts every other positive solution.

[78]  arXiv:2212.04287 [pdf, ps, other]
Title: Quadratic transportation cost in the conditional central limit theorem for dependent sequences
Authors: Jérôme Dedecker (MAP5 - UMR 8145), Florence Merlevède (LAMA), Emmanuel Rio (LMV)
Subjects: Probability (math.PR)

In this paper, we give estimates of the quadratic transportation cost in the conditional central limit theorem for a large class of dependent sequences. Applications to irreducible Markov chains, dynamical systems generated by intermittent maps and $\tau$-mixing sequences are given.

[79]  arXiv:2212.04288 [pdf, other]
Title: Secure Over-the-Air Computation using Zero-Forced Artificial Noise
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Machine Learning (cs.LG)

Over-the-air computation has the potential to increase the communication-efficiency of data-dependent distributed wireless systems, but is vulnerable to eavesdropping. We consider over-the-air computation over block-fading additive white Gaussian noise channels in the presence of a passive eavesdropper. The goal is to design a secure over-the-air computation scheme. We propose a scheme that achieves MSE-security against the eavesdropper by employing zero-forced artificial noise, while keeping the distortion at the legitimate receiver small. In contrast to former approaches, the security does not depend on external helper nodes to jam the eavesdropper's receive signal. We thoroughly design the system parameters of the scheme, propose an artificial noise design that harnesses unused transmit power for security, and give an explicit construction rule. Our design approach is applicable both if the eavesdropper's channel coefficients are known and if they are unknown in the signal design. Simulations demonstrate the performance, and show that our noise design outperforms other methods.

[80]  arXiv:2212.04289 [pdf, ps, other]
Title: Tunneling effect in two dimensions with vanishing magnetic fields
Authors: Khaled Abou Alfa (LMJL)
Subjects: Mathematical Physics (math-ph); Spectral Theory (math.SP); Quantum Physics (quant-ph)

In this paper, we consider the semiclassical 2D magnetic Schr{\"o}dinger operator in the case where the magnetic field vanishes along a smooth closed curve. Assuming that this curve has an axis of symmetry, we prove that semi-classical tunneling occurs. The main result is an expression the splitting of the first two eigenvalues and an explicit tunneling formula.

[81]  arXiv:2212.04292 [pdf, ps, other]
Title: Entropy minimizing distributions are worst-case optimal importance proposals
Authors: Frédéric Cérou (IRMAR, SIMSMART), Patrick Héas (IRMAR, SIMSMART), Mathias Rousset (SIMSMART, IRMAR)
Subjects: Numerical Analysis (math.NA); Probability (math.PR); Computation (stat.CO)

Importance sampling of target probability distributions belonging to a given convex class is considered. Motivated by previous results, the cost of importance sampling is quantified using the relative entropy of the target with respect to proposal distributions. Using a reference measure as a reference for cost, we prove under some general conditions that the worst-case optimal proposal is precisely given by the distribution minimizing entropy with respect to the reference within the considered convex class of distributions. The latter conditions are in particular satisfied when the convex class is defined using a push-forward map defining atomless conditional measures. Applications in which the optimal proposal is Gibbsian and can be practically sampled using Monte Carlo methods are discussed.

[82]  arXiv:2212.04293 [pdf, ps, other]
Title: A pde with drift of negative Besov index and linear growth solutions
Authors: Elena Issoglio (UNITO), Francesco Russo (ENSTA Paris, OC)
Subjects: Probability (math.PR)

This paper investigates a class of PDEs with coefficients in negative Besov spaces and whose solutions have linear growth. We show existence and uniqueness of mild and weak solutions, which are equivalent in this setting, and several continuity results. To this aim, we introduce ad-hoc Besov-H{\"o}lder type spaces that allow for linear growth, and investigate the action of the heat semigroup on them. We conclude the paper by introducing a special subclass of these spaces which has the useful property to be separable.

[83]  arXiv:2212.04295 [pdf, other]
Title: Preconditioned Chebyshev BiCG for parameterized linear systems
Subjects: Numerical Analysis (math.NA)

The biconjugate gradient method (BiCG) is one of the most popular short-term recurrence methods for solving non-symmetric linear systems of equations. The objective of this paper is to provide an efficient adaption of BiCG to parameterized linear systems. More precisely, we consider the problem of approximating the solution to $A(\mu) x(\mu) = b$ for many different values of the parameter $\mu$. Here we assume $A(\mu)$ is large, sparse, and nonsingular with a nonlinear dependence on $\mu$. Our method is based on a companion linearization derived from an accurate Chebyshev interpolation of $A(\mu)$ on the interval $[-a,a]$, $a \in \mathbb{R}$. The solution to the linearization is approximated in a preconditioned BiCG setting for shifted systems, where the Krylov basis matrix is formed once. This process leads to a short-term recurrence method, where one execution of the algorithm produces the approximation to $x(\mu)$ for many different values of the parameter $\mu \in [-a,a]$ simultaneously. In particular, this work proposes one algorithm which applies a shift-and-invert preconditioner exactly as well as an algorithm which applies the same preconditioner inexactly. The competitiveness of the algorithms are illustrated with large-scale problems arising from a finite element discretization of a Helmholtz equation with parameterized material coefficient. The software used in the simulations is publicly available online, and thus all our experiments are reproducible.

[84]  arXiv:2212.04300 [pdf, other]
Title: Analytic normal forms for planar resonant saddle vector fields
Authors: Loïc Teyssier (IRMA)
Subjects: Dynamical Systems (math.DS)

We give essentially unique ``normal forms'' for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity which is a p:q resonant-saddle. Hence each vector field of that type is conjugate, by a germ of a biholomorphic map at the singularity, to a preferred element of an explicit family of vector fields. These model vector fields are polynomial in the resonant monomial.Abstract. This work is a followup of a similar result obtained for parabolic diffeomorphisms which are tangent to the identity, and solves the long standing problem of finding explicit local analytic models for resonant saddle vector fields.

[85]  arXiv:2212.04301 [pdf, ps, other]
Title: Forced waves of a three species predator-prey system with a pair of weak-strong competing preys in a shifting environment
Authors: Thomas Giletti (IECL), Jong-Shenq Guo (TKU)
Comments: Discrete and Continuous Dynamical Systems - Series B, In press
Subjects: Analysis of PDEs (math.AP)

In this paper, we investigate so-called forced wave solutions of a three components reaction-diffusion system from population dynamics. Our system involves three species that are respectively two competing preys and one predator; moreover, the competition between both preys is strong, i.e. in the absence of the predator, one prey is driven to extinction and the other survives. Furthermore, our problem includes a spatio-temporal heterogeneity in a moving variable that typically stands as a model for climate shift. In this context, forced waves are special stationary solutions which are expected to describe the large-time behavior of solutions, and in particular to provide criteria on the climate shift speed to allow survival of either of the three species. We will consider several types of forced waves to deal with various situations depending on which species are indigenous and which species are aboriginal.

[86]  arXiv:2212.04302 [pdf, other]
Title: Combinatorial identities using Bernoulli Graphs
Authors: Jacques Bourg
Comments: 5 pages, 2 figures
Subjects: Combinatorics (math.CO)

In here, I present a series of combinatorial equalities derived using a graph based approach. Different nodes in the graphs are visited following probabilistic dynamics of a moving dot. The results are presented in such a way that the generalisation (to more nodes, or dimensions) is straightforward. At an instant m, we "take a picture" of the system and we compute the probabilities of being at particular positions in space. The sum of all these probabilities is equal to one.

[87]  arXiv:2212.04303 [pdf, ps, other]
Title: Uniform stability and chaotic dynamics in nonhomogeneous linear dissipative scalar ordinary differential equations
Subjects: Dynamical Systems (math.DS)

The paper analyzes the structure and the inner long-term dynamics of the invariant compact sets for the skewproduct flow induced by a family of time-dependent ordinary differential equations of nonhomogeneous linear dissipative type. The main assumptions are made on the dissipative term and on the homogeneous linear term of the equations. The rich casuistic includes the uniform stability of the invariant compact sets, as well as the presence of Li-Yorke chaos and Auslander-Yorke chaos inside the attractor.

[88]  arXiv:2212.04308 [pdf, ps, other]
Title: Quantitative Steinitz Theorem: A polynomial bound
Subjects: Metric Geometry (math.MG); Combinatorics (math.CO); Functional Analysis (math.FA)

The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set $S \subset \mathbb{R}^d$, then there are at most $2d$ points of $S$ whose convex hull contains the origin in the interior. B\'ar\'any, Katchalski, and Pach proved the following quantitative version of Steinitz's theorem. Let $Q$ be a convex polytope in $\mathbb{R}^d$ containing the standard Euclidean unit ball $\mathbf{B}^d$. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q^\prime$ satisfies \[ r \mathbf{B}^d \subset Q^\prime \] with $r\geq d^{-2d}$. They conjectured that $r\geq c d^{-1/2}$ holds with a universal constant $c>0$. We prove $r \geq \frac{1}{5d^2}$, the first polynomial lower bound on $r$. Furthermore, we show that $r$ is not be greater than $\frac{2}{\sqrt{d}}$.

[89]  arXiv:2212.04312 [pdf, ps, other]
Title: Permutation Polynomials of $\mathbb{F}_{q^2}$ : A Linear Algebraic Approach
Subjects: Combinatorics (math.CO)

In this paper, we present a linear algebraic approach to the study of permutation polynomials that arise from linear maps over a finite field $\mathbb{F}_{q^2}$. We study a particular class of permutation polynomials over $\mathbb{F}_{q^2}$, in the context of rank deficient and full rank linear maps over $\mathbb{F}_{q^2}$. We derive necessary and sufficient conditions under which the given class of polynomials are permutation polynomials. We further show that the number of such permutation polynomials can be easily enumerated. Only a subset of these permutation polynomials have been reported in literature earlier. It turns out that this class of permutation polynomials have compositional inverses of the same kind and we provide algorithms to evaluate the compositional inverses of most of these permutation polynomials.

[90]  arXiv:2212.04315 [pdf, ps, other]
Title: Non-cutoff Boltzmann equation with soft potentials in the whole space
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

We prove the existence and uniqueness of global solutions to the Boltzmann equation with non-cutoff soft potentials in the whole space when the initial data is a small perturbation of a Maxwellian with polynomial decay in velocity. Our method is based in the decomposition of the desired solution into two parts: one with polynomial decay in velocity satisfying the Boltzmann equation with only a dissipative part of the linearized operator ; the other with Gaussian decay in velocity verifying the Boltzmann equation with a coupling term.

[91]  arXiv:2212.04332 [pdf, other]
Title: On the convergence of sequences in the space of $n$-iterated function systems with applications
Subjects: Dynamical Systems (math.DS)

This article discusses the notion of convergence of sequences of iterated function systems. The technique of iterated function systems is one of the several methods to construct objects with fractal nature, and the fractals obtained with this method are mostly self-similar. The progress in the theory of fractals has found potential applications in the fields of physical science, computer science, and economics in abundance. This paper considers the metric space of $n$- iterated function systems by introducing a metric function on the set of all iterated function systems on a complete metric space consisting of $n$ contraction functions. Further, sequences of $n$- iterated function systems with decreasing, eventually decreasing, Cauchy and convergent properties are discussed. Some results on sequences of $n$- iterated function systems and sequences of contractions are obtained. The practical usage of the theory discussed in the article is explored towards the end.

[92]  arXiv:2212.04339 [pdf, ps, other]
Title: Proceedings of the Young Researchers Workshop on Positivity in Lie Groups
Comments: Proceedings edited by Xenia Flamm and Arnaud Maret
Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT)

These notes transcribe a workshop about the notion of total positivity and $\Theta$-positivity and its relation to Higher Teichm\"uller Theory. $\Theta$-positivity is a notion of positivity in semisimple Lie groups and was recently introduced by Guichard and Wienhard as a generalization of Lusztig's total positivity. It is believed to be the cathartic notion to classify higher Teichm\"uller spaces. Without doubt, substantial progress will be achieved in the near future on the study of $\Theta$-positive structures. These notes provide an account of the state of the art as of 2021.

[93]  arXiv:2212.04353 [pdf, ps, other]
Title: The Furstenberg-Zimmer structure theorem for stationary random walks
Authors: Nikolai Edeko
Subjects: Dynamical Systems (math.DS); Functional Analysis (math.FA); Representation Theory (math.RT)

We prove the following version of the Furstenberg-Zimmer structure theorem for stationary actions: Any stationary action of a locally compact second-countable group is a weakly mixing extension of a measure-preserving distal system.

[94]  arXiv:2212.04361 [pdf, ps, other]
Title: Linear and group perfect codes over skew fields and quasi skew fields
Authors: Sergei A. Malyugin (Sobolev Institute of Mathematics)
Comments: In Russian
Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

In this paper, we propose a general construction of linear perfect codes over infinite skew fields and quasi skew fields with right (left) unity. A complete classification of such codes over associative skew fields is given. Since the cardinality of the considered skew fields is infinite, the constructed codes have an infinite length. In the previous work, we considered codes over infinite countable fields, the length of which was also countable. We now remove this restriction and consider that the cardinality of the skew field and the length of the codes can be arbitrary (not necessarily countable).

[95]  arXiv:2212.04367 [pdf, ps, other]
Title: Convergence rate of the weighted Yamabe flow
Comments: arXiv admin note: substantial text overlap with arXiv:2107.09616. substantial text overlap with arXiv:1401.3738 by other authors
Subjects: Differential Geometry (math.DG)

The weighted Yamabe flow was the geometric flow introduced to study the weighted Yamabe problem on smooth metric measure spaces. Carlotto, Chodosh and Rubinstein have studied the convergence rate of the Yamabe flow. Inspired by their result, we study in this paper the convergence rate of the weighted Yamabe flow.

[96]  arXiv:2212.04376 [pdf, other]
Title: A geometric Laplace method
Subjects: Differential Geometry (math.DG); Statistics Theory (math.ST)

A classical tool for approximating integrals is the Laplace method. The first-order, as well as the higher-order Laplace formula is most often written in coordinates without any geometrical interpretation. In this article, motivated by a situation arising, among others, in optimal transport, we give a geometric formulation of the first-order term of the Laplace method. The central tool is the Kim-McCann Riemannian metric which was introduced in the field of optimal transportation. Our main result expresses the first-order term with standard geometric objects such as volume forms, Laplacians, covariant derivatives and scalar curvatures of two different metrics arising naturally in the Kim-McCann framework. Passing by, we give an explicitly quantified version of the Laplace formula, as well as examples of applications.

[97]  arXiv:2212.04383 [pdf, other]
Title: C-polynomials and LC-functions: towards a generalization of the Hurwitz zeta function
Authors: Lahcen Lamgouni
Comments: 33 pages, 6 figures
Subjects: Number Theory (math.NT); Complex Variables (math.CV)

Let $f(t)=\sum_{n=0}^{+\infty}\frac{C_{f,n}}{n!}t^n$ be an analytic function at $0$, let $C_{f,n}(x)=\sum_{k=0}^{n} \binom{n}{k}C_{f,k} x^{n-k}$ be the sequence of Appell polynomials, which we call $\textit{C-polynomials associated to}$ $f$, constructed from the sequence of the coefficients $C_{f,n}$ of $f$, and let $P_{f,n}(x)$ be the sequence of C-polynomials associated to the function $p_{f}(t)=\frac{e^t-1}{t}f(t)$ which we call \textit{P-polynomials associated to $f$}. This work addresses three main topics. The first concerns the study of these two types of polynomials and the connection between them. In the second, inspired by the definition of the P-polynomials and under an additional condition on $f$, we introduce and study a function $P_{f}(s,z)$ of complex variables which generalizes the function $s^z$ and which we denote by $s^{(z,f)}$. In the third part we generalize the Hurwitz zeta function as well as its fundamental properties, the most remarkable being the Hurwitz's formula, by constructing a new class of functions $L(z,f)=\sum_{n=n_{f }}^{+\infty}n^{(-z,f)}$ related to the C-polynomials and which we call $\textit{LC-functions associated to}$ $f$ ($n_{f}$ being a positive integer depending on the choice of $f$).

[98]  arXiv:2212.04391 [pdf, other]
Title: Gauss-Newton meets PANOC: A fast and globally convergent algorithm for nonlinear optimal control
Comments: Submitted to the 2023 IFAC World Congress, Yokohama
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

PANOC is an algorithm for nonconvex optimization that has recently gained popularity in real-time control applications due to its fast, global convergence. The present work proposes a variant of PANOC that makes use of Gauss-Newton directions to accelerate the method. Furthermore, we show that when applied to optimal control problems, the computation of this Gauss-Newton step can be cast as a linear quadratic regulator (LQR) problem, allowing for an efficient solution through the Riccati recursion. Finally, we demonstrate that the proposed algorithm is more than twice as fast as the traditional L-BFGS variant of PANOC when applied to an optimal control benchmark problem, and that the performance scales favorably with increasing horizon length.

[99]  arXiv:2212.04392 [pdf, other]
Title: Long time validity of the linearized Boltzmann equation for hard spheres: a proof without billiard theory
Comments: 55 pages
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

We study space-time fluctuations of a hard sphere system at thermal equilibrium, and prove that the covariance converges to the solution of a linearized Boltzmann equation in the low density limit, globally in time. This result has been obtained previously in [7], by using uniform bounds on the number of recollisions of dispersing systems of hard spheres (as provided for instance in [9]). We present a self-contained proof with substantial differences, which does not use this geometric result. This can be regarded as the first step of a program aiming to derive the fluctuation theory of the rarefied gas, for interaction potentials different from hard spheres.

[100]  arXiv:2212.04397 [pdf, ps, other]
Title: The optimal edge-colouring threshold
Authors: Peter Keevash
Comments: 21 pages
Subjects: Combinatorics (math.CO)

Consider any dense r-regular quasirandom bipartite graph H with parts of size n and fix a set of r colours. Let L be a random list assignment where each colour is available for each edge of H with probability p. We show that the threshold probability for H to have a proper L-edge-colouring is p of order (log n)/n. This answers a question of Kang, Kelly, K\"uhn, Methuku and Osthus. We thus obtain the same threshold for Steiner Triple Systems and Latin squares; the latter answers a question of Johanssen from 2006.

[101]  arXiv:2212.04399 [pdf, other]
Title: Corner percolation with preferential directions
Comments: 12 pages, 7 figures
Subjects: Probability (math.PR)

Corner percolation is a dependent bond percolation model on Z^2 introduced by B\'alint T\'oth, in which each vertex has exactly two incident edges, perpendicular to each other. G\'abor Pete has proven in 2008 that under the maximal entropy probability measure, all connected components are finite cycles almost surely. We consider here a regime where West and North directions are preferred with probability p and q respectively, with (p,q) different from (1/2,1/2). We prove that there exists almost surely an infinite number of infinite connected components, which are in fact infinite paths. Furthermore, they all have the same asymptotic slope (2q-1)/(1-2p).

[102]  arXiv:2212.04415 [pdf, other]
Title: A probabilistic peridynamic framework with an application to the study of the statistical size effect
Subjects: Numerical Analysis (math.NA)

Mathematical models are essential for understanding and making predictions about systems arising in nature and engineering. Yet, mathematical models are a simplification of true phenomena, thus making predictions subject to uncertainty. Hence, the ability to quantify uncertainties is essential to any modelling framework, enabling the user to assess the importance of certain parameters on quantities of interest and have control over the quality of the model output by providing a rigorous understanding of uncertainty. Peridynamic models are a particular class of mathematical models that have proven to be remarkably accurate and robust for a large class of material failure problems. However, the high computational expense of peridynamic models remains a major limitation, hindering outer-loop applications that require a large number of simulations, for example, uncertainty quantification. This contribution provides a framework to make such computations feasible. By employing a Multilevel Monte Carlo (MLMC) framework, where the majority of simulations are performed using a coarse mesh, and performing relatively few simulations using a fine mesh, a significant reduction in computational cost can be realised, and statistics of structural failure can be estimated. The results show a speed-up factor of 16x over a standard Monte Carlo estimator, enabling the forward propagation of uncertain parameters in a computationally expensive peridynamic model. Furthermore, the multilevel method provides an estimate of both the discretisation error and sampling error, thus improving the confidence in numerical predictions. The performance of the approach is demonstrated through an examination of the statistical size effect in quasi-brittle materials.

[103]  arXiv:2212.04421 [pdf, ps, other]
Title: Implications of subconvexity bounds for the moments of zeta
Authors: Kevin Smith
Comments: 17 pages
Subjects: Number Theory (math.NT)

It is well-known that upper bounds for moments of the Riemann zeta function $\zeta(s)$ have implications for subconvexity bounds. In this paper we explore some implications in the opposite direction using functional analysis in the right-half of the critical strip. The main results characterise potential transitions in the behaviour of the moments.

[104]  arXiv:2212.04426 [pdf, other]
Title: Baker Domain for a transcendental skew-product
Authors: Ramanpreet Kaur
Subjects: Complex Variables (math.CV)

In this note, we use the plurisubharmonic method to unveil Baker domain of a transcendental skew-product.

[105]  arXiv:2212.04431 [pdf, ps, other]
Title: A simple upper bound for the ground state energy of a dilute Bose gas of hard spheres
Comments: 14 pages
Subjects: Mathematical Physics (math-ph); Quantum Gases (cond-mat.quant-gas); Analysis of PDEs (math.AP)

We consider a gas of bosons interacting through a hard-sphere potential with radius $\frak{a}$ in the thermodynamic limit. We derive a simple upper bound for the ground state energy per particle at low density. Our bound captures the leading term $4\pi \frak{a} \rho$ and shows that corrections are of order smaller than $\rho \frak{a} (\rho \frak{a}^3)^{1/2-\epsilon}$, for any $\epsilon > 0$.

[106]  arXiv:2212.04433 [pdf, ps, other]
Title: Categoricity for transfinite extensions of modules
Authors: Jan Trlifaj
Subjects: Logic (math.LO); Representation Theory (math.RT)

For each deconstructible class of modules $\mathcal D$, we prove that the categoricity of $\mathcal D$ in a big cardinal is equivalent to its categoricity in a tail of cardinals. We also prove Shelah's Categoricity Conjecture for $(\mathcal D, \prec)$, where $(\mathcal D, \prec)$ is any abstract elementary class of roots of Ext.

[107]  arXiv:2212.04434 [pdf, other]
Title: Rational distance sets on a parabola using Pythagorean triplets
Comments: 18 pages, 1 figure, 3 tables
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Combinatorics (math.CO)

We study $N$-point rational distance sets ($\textrm{RDS}(N)$) on the parabola $y=x^2$. Previous approaches to the problem include efforts made using elliptic curves and diophantine chains, with successful analysis for $N\leq 4$. We extend the analysis for arbitrary $N$ by establishing a correspondence between $\textrm{RDS}(N)$s and Pythagorean triplets. Our main result gives sufficient and necessary conditions for the existence and nature of the $\textrm{RDS}(N)$s for arbitrary $N$. Our approach also leads to an efficient computational algorithm to construct new $\textrm{RDS}(N)$s, and we provide multiple new examples of $\textrm{RDS}(N)$s for four and five points. The correspondence with Pythagorean triplets also helps to study the density of the solutions and we reproduce density results for $N=2$ and $3$.

[108]  arXiv:2212.04435 [pdf, other]
Title: Locally nilpotent derivations on $\mathbb{A}^2$-fibrations with $\mathbb{A}^1$-fibration kernels
Comments: 14 pages
Subjects: Commutative Algebra (math.AC)

In this paper, we give a characterization of locally nilpotent derivations on $\mathbb{A}^2$-fibrations over Noetherian domains containing $\mathbb{Q}$ having kernel isomorphic to an $\mathbb{A}^1$-fibration.

[109]  arXiv:2212.04442 [pdf, ps, other]
Title: On deformations of coisotropic submanifolds with fixed characteristic foliation
Authors: Stephane Geudens
Comments: 34 pages, comments welcome
Subjects: Symplectic Geometry (math.SG)

It is well-known that the deformation problem of a compact coisotropic submanifold $C$ in a symplectic manifold is obstructed in general. We show that it becomes unobstructed if one only allows coisotropic deformations whose characteristic foliation is diffeomorphic to that of $C$. This extends an unobstructedness result in the setting of integral coisotropic submanifolds due to Ruan.

[110]  arXiv:2212.04444 [pdf, ps, other]
Title: Phase transitions for frame potentials]{Phase transitions for the minimizers of the $p^{th}$ frame potentials in $\mathbb{R}^2$
Subjects: Combinatorics (math.CO)

Given $N$ points $X=\{x_k\}_{k=1}^N$ on the unit circle in $\mathbb{R}^2$ and a number $0\leq p \leq \infty$ we investigate the minimizers of the functional $\sum_{k, \ell =1}^N |\langle x_k, x_\ell\rangle|^p$. While it is known that each of these minimizers is a spanning set for $\mathbb{R}^2$, less is known about their number as a function of $p$ and $N$ especially for relatively small $p$. In this paper we show that there is unique minimum for this functional for all $p\leq \log 3/\log 2$ and all odd $N\geq 3$. In addition, we present some numerical results suggesting the emergence of a phase transition phenomenon for these minimizers. More specifically, for $N\geq 3$ odd, there exists a sequence of number of points $\log 3/\log 2=p_1< p_2< \cdots < p_N\leq 2$ so that a unique (up to some isometries) minimizer exists on each sub-intervals $(p_k, p_{k+1})$. %In addition we conjecture that $\lim_{k\to \infty}p_{2k+1}=2$.

[111]  arXiv:2212.04445 [pdf, ps, other]
Title: Non-tightness in class theory and second-order arithmetic
Subjects: Logic (math.LO)

A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this article we extend Enayat's investigations to subsystems of these latter two theories. We prove that restricting the Comprehension schema of Z2 and KM gives non-tight theories. Specifically, we show that GB and ACA0 each admit different bi-interpretable extensions, and the same holds for their extensions by adding Sigma^1_k-Comprehension, for k <= 1. These results provide evidence that tightness characterizes Z2 and KM in a minimal way.

[112]  arXiv:2212.04446 [pdf, other]
Title: Failure of the wandering subspace property for analytic norm-increasing $3$-isometries
Comments: 16 pages, 2 figures
Subjects: Functional Analysis (math.FA)

We construct an analytic norm-increasing $3$-isometric weighted shift on a rootless directed tree, which does not have the wandering subspace property. This answers a question of Shimorin [S2001, p. 185] in the negative. The counterexample in question is built over the rootless quasi-Brownian directed tree of valency $2.$

[113]  arXiv:2212.04459 [pdf, other]
Title: Proximal Algorithms for Smoothed Online Convex Optimization with Predictions
Comments: 21 pages, 10 figures
Subjects: Optimization and Control (math.OC)

In this paper, we consider a smoothed online convex optimization (SOCO) problem with predictions, where the learner has access to a finite lookahead window of time-varying stage costs, but suffers a penalty for changing its actions at each stage. Based on the Alternating Proximal Gradient Descent (APGD) framework, we develop Receding Horizon Alternating Proximal Descent (RHAPD) for proximable, non-smooth and strongly convex stage costs, and RHAPD-Smooth (RHAPD-S) for non-proximable, smooth and strongly convex stage costs. In addition to outperforming gradient descent-based algorithms while maintaining a comparable runtime complexity, our proposed algorithms also allow us to solve a wider range of problems. We provide theoretical upper bounds on the dynamic regret achieved by the proposed algorithms, which decay exponentially with the length of the lookahead window. The performance of the presented algorithms is empirically demonstrated via numerical experiments on non-smooth lasso regression and dynamic trajectory tracking problems.

[114]  arXiv:2212.04463 [pdf, ps, other]
Title: Extending Lenstra's Primality Test to CM elliptic curves and a new quasi-quadratic Las Vegas algorithm for primality
Authors: Tejas Rao
Subjects: Number Theory (math.NT)

For an elliptic curve with CM by $K$ defined over its Hilbert class field, $E/H$, we extend Lenstra's finite fields test to generators of norms of certain ideals in $\mathcal{O}_H$, yielding a sufficient $\widetilde{O}(\log^3 N)$ primality test and partially answering an open question of Lemmermeyer. Specializing this test to a smaller class of generators of norms of ideals, we give a Las Vegas test for primality with average runtime $\widetilde{O}(\log^2 N)$, that further certifies primality in $\widetilde{O}(\log^2 N)$ for nearly all choices of input parameters. The integers tested were not previously amenable to quasi-quadratic heuristic primality cerftification.

[115]  arXiv:2212.04464 [pdf, ps, other]
Title: Recurrent subspaces in Banach spaces
Comments: 23 pages
Subjects: Functional Analysis (math.FA); Dynamical Systems (math.DS)

We study the spaceability of the set of recurrent vectors $\text{Rec}(T)$ for an operator $T:X\longrightarrow X$ on a Banach space $X$. In particular: we find sufficient conditions for a quasi-rigid operator to have a recurrent subspace; when $X$ is a complex Banach space we show that having a recurrent subspace is equivalent to the fact that the essential spectrum of the operator intersects the closed unit disc; and we extend the previous result to the real case. As a consequence we obtain that: a weakly-mixing operator on a real or complex separable Banach space has a hypercyclic subspace if and only if it has a recurrent subspace. The results exposed exhibit a symmetry between the hypercyclic and recurrence spaceability theories showing that, at least for the spaceable property, hypercyclicity and recurrence can be treated as equals.

[116]  arXiv:2212.04466 [pdf, other]
Title: On inclusion of source in the system of first-order linear wave equations
Subjects: Numerical Analysis (math.NA)

Simulating propagation of acoustic waves via solving a system of three-coupled first-order linear differential equations using a k-space pseudo-spectral method is popular for biomedical applications, firstly because of availability of an open-source toolbox for implementation of this numerical approach, and secondly because of its efficiency. The k-space pseudo-spectral method is efficient, because it allows coarser computational grids and larger time steps than finite difference and finite element methods for the same accuracy. The goal of this study is to compare this numerical wave solver with an analytical solution to the wave equation using the Green's function for computing propagation of acoustic waves in homogeneous media. This comparison is done in the frequency domain. Using the k-Wave solver, a match to the Green's function is obtained after modifying the approach taken for including mass source in the linearised equation of continuity (conservation of mass) in the associated system of wave equations.

[117]  arXiv:2212.04467 [pdf, ps, other]
Title: Descent of tautological sheaves from Hilbert schemes to Enriques manifolds
Authors: Fabian Reede
Comments: 10 pages. Comments welcome
Subjects: Algebraic Geometry (math.AG)

Let $X$ be a K3 surface which doubly covers an Enriques surface $S$. If $n\in\mathbb{N}$ is an odd number, then the Hilbert scheme of $n$-points $X^{[n]}$ admits a natural quotient $S_{[n]}$. This quotient is an Enriques manifold in the sense of Oguiso and Schr\"oer. In this paper we construct slope stable sheaves on $S_{[n]}$ and study some of their properties.

[118]  arXiv:2212.04469 [pdf, ps, other]
Title: Cutoff for random walk on random graphs with a community structure
Subjects: Probability (math.PR)

We consider a variant of the configuration model with an embedded community structure and study the mixing properties of a simple random walk on it. Every vertex has an internal $\mathrm{deg}^{\text{int}}\geq 3$ and an outgoing $\mathrm{deg}^{\text{out}}$ number of half-edges. Given a stochastic matrix $Q$, we pick a random perfect matching of the half-edges subject to the constraint that each vertex $v$ has $\mathrm{deg}^{\text{int}}(v)$ neighbours inside its community and the proportion of outgoing half-edges from community $i$ matched to a half-edge from community $j$ is $Q(i,j)$. Assuming the number of communities is constant and they all have comparable sizes, we prove the following dichotomy: simple random walk on the resulting graph exhibits cutoff if and only if the product of the Cheeger constant of $Q$ times $\log n$ (where $n$ is the number of vertices) diverges.
In [4], Ben-Hamou established a dichotomy for cutoff for a non-backtracking random walk on a similar random graph model with 2 communities. We prove the same characterisation of cutoff holds for simple random walk.

[119]  arXiv:2212.04470 [pdf, ps, other]
Title: On the Mean Square Error Optimal Estimator in One-Bit Quantized Systems
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

This paper investigates the mean square error (MSE)-optimal conditional mean estimator (CME) in one-bit quantized systems in the context of channel estimation with jointly Gaussian inputs. We analyze the relationship of the generally nonlinear CME to the linear Bussgang estimator, a well-known method based on Bussgang's theorem. We highlight a novel observation that the Bussgang estimator is equal to the CME for different special cases, including the case of univariate Gaussian inputs and the case of multiple observations in the absence of additive noise prior to the quantization. For the general cases we conduct numerical simulations to quantify the gap between the Bussgang estimator and the CME. This gap increases for higher dimensions and longer pilot sequences. We propose an optimal pilot sequence, motivated by insights from the CME, and derive a novel closed-form expression of the MSE for that case. Afterwards, we find a closed-form limit of the MSE in the asymptotically large number of pilots regime that also holds for the Bussgang estimator. Lastly, we present numerical experiments for various system parameters and for different performance metrics which illuminate the behavior of the optimal channel estimator in the quantized regime. In this context, the well-known stochastic resonance effect that appears in quantized systems can be quantified.

[120]  arXiv:2212.04484 [pdf, ps, other]
Title: Stability of Bernstein's Theorem and Soft Doubling for Vector Gaussian Channels
Subjects: Information Theory (cs.IT)

The stability of Bernstein's characterization of Gaussian distributions is extended to vectors. Stability is used to develop a soft doubling argument that establishes the optimality of Gaussian vectors for certain communications channels with additive Gaussian noise, including two-receiver broadcast channels. One novelty is that the argument does not require the existence of distributions that achieve capacity.

Cross-lists for Fri, 9 Dec 22

[121]  arXiv:2212.03870 (cross-list from hep-th) [pdf, other]
Title: Double Quiver Gauge Theory and BPS/CFT Correspondence
Authors: Taro Kimura
Comments: 34 pages
Subjects: High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA)

We provide a formalism using the $q$-Cartan matrix to compute the instanton partition function of quiver gauge theory on various manifolds. Applying this formalism to eight dimensional setups, we introduce the notion of double quiver gauge theory characterized by a pair of quivers. We also explore the BPS/CFT correspondence in eight dimensions based on the $q$-Cartan matrix formalism.

[122]  arXiv:2212.03930 (cross-list from nlin.PS) [pdf, other]
Title: Spatially Extended Dislocations Produced by the Dispersive Swift-Hohenberg Equation
Subjects: Pattern Formation and Solitons (nlin.PS); Analysis of PDEs (math.AP)

Motivated by previous results showing that the addition of a linear dispersive term to the two-dimensional Kuramoto-Sivashinsky equation has a dramatic effect on the pattern formation, we study the Swift-Hohenberg equation with an added linear dispersive term, the dispersive Swift-Hohenberg equation (DSHE). The DSHE produces stripe patterns with spatially extended dislocations that we call seam defects. In contrast to the dispersive Kuramoto-Sivashinsky equation, the DSHE has a narrow band of unstable wavelengths close to an instability threshold. This allows for analytical progress to be made. We show that the amplitude equation for the DSHE close to threshold is a special case of the anisotropic complex Ginzburg-Landau equation (ACGLE) and that seams in the DSHE correspond to spiral waves in the ACGLE. Seam defects and the corresponding spiral waves tend to organize themselves into chains, and we obtain formulas for the velocity of the spiral wave cores and for the spacing between them. In the limit of strong dispersion, a perturbative analysis yields a relationship between the amplitude and wavelength of a stripe pattern and its propagation velocity. Numerical integrations of the ACGLE and the DSHE confirm these analytical results.

[123]  arXiv:2212.03998 (cross-list from cs.NI) [pdf, other]
Title: Minimizing Age of Information in Spatially Distributed Random Access Wireless Networks
Comments: Accepted to IEEE INFOCOM 2023
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

We analyze Age of Information (AoI) in wireless networks where nodes use a spatially adaptive random access scheme to send status updates to a central base station. We show that the set of achievable AoI in this setting is convex, and design policies to minimize weighted sum, min-max, and proportionally fair AoI by setting transmission probabilities as a function of node locations. We show that under the capture model, when the spatial topology of the network is considered, AoI can be significantly improved, and we obtain tight performance bounds on weighted sum and min-max AoI. Finally, we design a policy where each node sets its transmission probability based only on its own distance from the base station, when it does not know the positions of other nodes, and show that it converges to the optimal proportionally fair policy as the size of the network goes to infinity.

[124]  arXiv:2212.04014 (cross-list from stat.ML) [pdf, other]
Title: Statistical and Computational Guarantees for Influence Diagnostics
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)

Influence diagnostics such as influence functions and approximate maximum influence perturbations are popular in machine learning and in AI domain applications. Influence diagnostics are powerful statistical tools to identify influential datapoints or subsets of datapoints. We establish finite-sample statistical bounds, as well as computational complexity bounds, for influence functions and approximate maximum influence perturbations using efficient inverse-Hessian-vector product implementations. We illustrate our results with generalized linear models and large attention based models on synthetic and real data.

[125]  arXiv:2212.04223 (cross-list from cs.LG) [pdf, other]
Title: Vicious Classifiers: Data Reconstruction Attack at Inference Time
Comments: 14 pages
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Information Theory (cs.IT)

Privacy-preserving inference via edge or encrypted computing paradigms encourages users of machine learning services to confidentially run a model on their personal data for a target task and only share the model's outputs with the service provider; e.g., to activate further services. Nevertheless, despite all confidentiality efforts, we show that a ''vicious'' service provider can approximately reconstruct its users' personal data by observing only the model's outputs, while keeping the target utility of the model very close to that of a ''honest'' service provider. We show the possibility of jointly training a target model (to be run at users' side) and an attack model for data reconstruction (to be secretly used at server's side). We introduce the ''reconstruction risk'': a new measure for assessing the quality of reconstructed data that better captures the privacy risk of such attacks. Experimental results on 6 benchmark datasets show that for low-complexity data types, or for tasks with larger number of classes, a user's personal data can be approximately reconstructed from the outputs of a single target inference task. We propose a potential defense mechanism that helps to distinguish vicious vs. honest classifiers at inference time. We conclude this paper by discussing current challenges and open directions for future studies. We open-source our code and results, as a benchmark for future work.

[126]  arXiv:2212.04244 (cross-list from physics.soc-ph) [pdf, ps, other]
Title: Unpredictability in seasonal infectious diseases spread
Subjects: Physics and Society (physics.soc-ph); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD); Biological Physics (physics.bio-ph)

In this work, we study the unpredictability of seasonal infectious diseases considering a SEIRS model with seasonal forcing. To investigate the dynamical behaviour, we compute bifurcation diagrams type hysteresis and their respective Lyapunov exponents. Our results from bifurcations and the largest Lyapunov exponent show bistable dynamics for all the parameters of the model. Choosing the inverse of latent period as control parameter, over 70% of the interval comprises the coexistence of periodic and chaotic attractors, bistable dynamics. Despite the competition between these attractors, the chaotic ones are preferred. The bistability occurs in two wide regions. One of these regions is limited by periodic attractors, while periodic and chaotic attractors bound the other. As the boundary of the second bistable region is composed of periodic and chaotic attractors, it is possible to interpret these critical points as tipping points. In other words, depending on the latent period, a periodic attractor (predictability) can evolve to a chaotic attractor (unpredictability). Therefore, we show that unpredictability is associated with bistable dynamics preferably chaotic, and, furthermore, there is a tipping point associated with unpredictable dynamics.

[127]  arXiv:2212.04305 (cross-list from quant-ph) [pdf, other]
Title: The Thermomajorization Polytope and Its Degeneracies
Comments: 23+14 pages. To be submitted to J. Math. Phys
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Combinatorics (math.CO)

It is well known that the future thermal cone -- which is the set of all states thermomajorized by a given initial state -- forms a convex polytope in the quasi-classical realm, and that one can explicitly write down a map which relates the permutations to the extreme points of this polytope. Given any such extreme point we present a simple formula for a Gibbs-stochastic matrix that maps the initial state to said extremal state. This allows us to draw a connection to the theory of transportation polytopes, which leads to the notions of ``well-structured'' and ``stable'' Gibbs states. While the former relates to the number of extremal states being maximal, the latter characterizes when thermomajorization is a partial order in the quasi-classical realm; this corresponds to the impossibility of cyclic state transfers. Moreover, we give a simple criterion for checking degeneracy of the polytope, that is, for checking whether the extreme point map mentioned above maps two different permutations to the same state.

[128]  arXiv:2212.04343 (cross-list from cs.LG) [pdf, other]
Title: Improved Deep Neural Network Generalization Using m-Sharpness-Aware Minimization
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)

Modern deep learning models are over-parameterized, where the optimization setup strongly affects the generalization performance. A key element of reliable optimization for these systems is the modification of the loss function. Sharpness-Aware Minimization (SAM) modifies the underlying loss function to guide descent methods towards flatter minima, which arguably have better generalization abilities. In this paper, we focus on a variant of SAM known as mSAM, which, during training, averages the updates generated by adversarial perturbations across several disjoint shards of a mini-batch. Recent work suggests that mSAM can outperform SAM in terms of test accuracy. However, a comprehensive empirical study of mSAM is missing from the literature -- previous results have mostly been limited to specific architectures and datasets. To that end, this paper presents a thorough empirical evaluation of mSAM on various tasks and datasets. We provide a flexible implementation of mSAM and compare the generalization performance of mSAM to the performance of SAM and vanilla training on different image classification and natural language processing tasks. We also conduct careful experiments to understand the computational cost of training with mSAM, its sensitivity to hyperparameters and its correlation with the flatness of the loss landscape. Our analysis reveals that mSAM yields superior generalization performance and flatter minima, compared to SAM, across a wide range of tasks without significantly increasing computational costs.

[129]  arXiv:2212.04350 (cross-list from cs.CR) [pdf, other]
Title: Secure communication using low dimensional topological elements
Comments: 5 pages, 4 figures
Subjects: Cryptography and Security (cs.CR); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

Low-dimensional topological objects, such as knots and braids, have become prevalent in multiple areas of physics, such as fluid dynamics, optics, and quantum information processing. Such objects also now play a role in cryptography, where a framed knot can store encoded information using its braid representation for communications purposes. The greater resilience of low-dimensional topological elements under deformations allows them to be employed as a reliable framework for information exchange. Here, we introduce a challenge-response protocol as an application of this construction for authentication. We provide illustrative examples of both procedures showing how framed links and braids may help to enhance secure communication.

[130]  arXiv:2212.04379 (cross-list from hep-th) [pdf, other]
Title: Quiver diagonalization and open BPS states
Comments: 37 pages
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)

We show that motivic Donaldson-Thomas invariants of a~symmetric quiver $Q$, captured by the generating function $P_Q$, can be encoded in another quiver $Q^{(\infty)}$ of (almost always) infinite size, whose only arrows are loops, and whose generating function $P_{Q^{(\infty)}}$ is equal to $P_Q$ upon appropriate identification of generating parameters. Consequences of this statement include a generalization of the proof of integrality of Donaldson-Thomas and Labastida-Mari\~{n}o-Ooguri-Vafa invariants that count open BPS states, as well as expressing motivic Donaldson-Thomas invariants of an arbitrary symmetric quiver in terms of invariants of $m$-loop quivers. In particular, this means that the already known combinatorial interpretation of invariants of $m$-loop quivers extends to arbitrary symmetric quivers.

[131]  arXiv:2212.04396 (cross-list from eess.SY) [pdf, other]
Title: On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model
Comments: It is the preprint of a paper submitted to Automatica
Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)

Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack detection and identification using the lifted system model in this paper. Attack detectability and identifiability based on the lifted system model are formally defined and rigorously characterized in a novel approach. The method of checking detectability is discussed, and a residual design problem for attack detection is formulated in a general way. For attack identification, we define and characterize it by generalizing the concept of mode discernibility for switched systems, and a method for identifying the attack is discussed based on the theoretical analysis. An illustrative example of an unmanned aircraft system (UAS) is provided to validate the main results.

[132]  arXiv:2212.04406 (cross-list from cs.SI) [pdf, other]
Title: A Cosine Rule-Based Discrete Sectional Curvature for Graphs
Subjects: Social and Information Networks (cs.SI); Disordered Systems and Neural Networks (cond-mat.dis-nn); Discrete Mathematics (cs.DM); Mathematical Physics (math-ph)

How does one generalize differential geometric constructs such as curvature of a manifold to the discrete world of graphs and other combinatorial structures? This problem carries significant importance for analyzing models of discrete spacetime in quantum gravity; inferring network geometry in network science; and manifold learning in data science. The key contribution of this paper is to introduce and validate a new estimator of discrete sectional curvature for random graphs with low metric-distortion. The latter are constructed via a specific graph sprinkling method on different manifolds with constant sectional curvature. We define a notion of metric distortion, which quantifies how well the graph metric approximates the metric of the underlying manifold. We show how graph sprinkling algorithms can be refined to produce hard annulus random geometric graphs with minimal metric distortion. We construct random geometric graphs for spheres, hyperbolic and euclidean planes; upon which we validate our curvature estimator. Numerical analysis reveals that the error of the estimated curvature diminishes as the mean metric distortion goes to zero, thus demonstrating convergence of the estimate. We also perform comparisons to other existing discrete curvature measures. Finally, we demonstrate two practical applications: (i) estimation of the earth's radius using geographical data; and (ii) sectional curvature distributions of self-similar fractals.

[133]  arXiv:2212.04414 (cross-list from gr-qc) [pdf, ps, other]
Title: Semiclassical analysis of Dirac fields on curved spacetime
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We present a semiclassical analysis for Dirac fields on an arbitrary spacetime background and in the presence of a fixed electromagnetic field. Our approach is based on a Wentzel-Kramers-Brillouin approximation, and the results are analyzed at leading and next-to-leading order in the small expansion parameter $\hbar$. Taking into account the spin-orbit coupling between the internal and external degrees of freedom of wave packets, we derive effective ray equations with spin-dependent terms. These equations describe the gravitational spin Hall effect of localized Dirac wave packets. We treat both massive and massless Dirac fields and show how a covariantly defined Berry connection and the associated Berry curvature govern the semiclassical dynamics. The gravitational spin Hall equations are shown to be particular cases of the Mathisson-Papapetrou equations for spinning objects.

[134]  arXiv:2212.04429 (cross-list from gr-qc) [pdf, other]
Title: An Effective Sign Switching Dark Energy: Lotka-Volterra Model of Two Interacting Fluids
Authors: Yen Chin Ong
Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and Nongalactic Astrophysics (astro-ph.CO); Dynamical Systems (math.DS)

One of the recent attempts to address the Hubble and $\sigma_8$ tensions is to consider the Universe started out not as a de Sitter-like spacetime, but rather anti-de Sitter-like. That is, the Universe underwent an "AdS-to-dS" transition at some point. We study the possibility that there are two dark energy fluids, one of which gave rise to the anti-de Sitter-like early Universe. The interaction is modeled by the Lotka-Volterra equations, commonly used in population biology. We consider "competition" models that are further classified as "unfair competition" and "fair competition". The former involves a quintessence in competition with a phantom, and the second involves two phantom fluids. Surprisingly, even in the latter scenario it is possible for the overall dark energy to cross the phantom divide. The latter model also allows a constant $w$ "AdS-to-dS" transition, thus serving as a counter-example to the claim that such a dark energy must possess a singular equation of state. We also consider a "conversion" model in which a phantom fluid still manages to achieve "AdS-to-dS" transition even if it is being converted into a negative energy density quintessence. In these models, the energy density of the late time effective dark energy is related to the coefficient of the quadratic self-interaction term of the fluids, which is analogous to the resource capacity in population biology.

[135]  arXiv:2212.04443 (cross-list from cs.LG) [pdf, other]
Title: A Distributed Block Chebyshev-Davidson Algorithm for Parallel Spectral Clustering
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)

We develop a distributed Block Chebyshev-Davidson algorithm to solve large-scale leading eigenvalue problems for spectral analysis in spectral clustering. First, the efficiency of the Chebyshev-Davidson algorithm relies on the prior knowledge of the eigenvalue spectrum, which could be expensive to estimate. This issue can be lessened by the analytic spectrum estimation of the Laplacian or normalized Laplacian matrices in spectral clustering, making the proposed algorithm very efficient for spectral clustering. Second, to make the proposed algorithm capable of analyzing big data, a distributed and parallel version has been developed with attractive scalability. The speedup by parallel computing is approximately equivalent to $\sqrt{p}$, where $p$ denotes the number of processes. Numerical results will be provided to demonstrate its efficiency and advantage over existing algorithms in both sequential and parallel computing.

Replacements for Fri, 9 Dec 22

[136]  arXiv:1802.02630 (replaced) [pdf, ps, other]
Title: On the Japanese Multiplication Method. A father-and-daughter dialogue
Authors: G. D'Agostini
Comments: 14 pages, 15 figures, in Italian, published in Progetto Alice, Rivista di Matematica e Didattica
Journal-ref: Progetto Alice, Vol. XIX, nr. 55 (2018) pp. 55-71
Subjects: History and Overview (math.HO)
[137]  arXiv:1811.07706 (replaced) [pdf, other]
Title: Invariant factors as limit of singular values of a matrix
Comments: 9 pages, 1 figure
Journal-ref: Arnold Math. J. 8 (2022), no. 3-4, 561-571
Subjects: Algebraic Geometry (math.AG)
[138]  arXiv:1908.01131 (replaced) [pdf, ps, other]
Title: Random Tensors and their Normal Distributions
Comments: 26 pages
Subjects: Statistics Theory (math.ST)
[139]  arXiv:1909.07228 (replaced) [pdf, ps, other]
Title: Spectral stability of monotone traveling fronts for reaction diffusion-degenerate Nagumo equations
Comments: 34 pages, 1 figures
Journal-ref: Indiana University Mathematics Journal 71 (2022), no. 6, 2335-2376
Subjects: Analysis of PDEs (math.AP)
[140]  arXiv:1911.01844 (replaced) [pdf, ps, other]
Title: The Blow-up solutions for fractional heat equations on torus and Euclidean space
Comments: 21 pages. The revised version is accepted for publication in Nonlinear Differential Equations and Applications (NoDEA)
Subjects: Analysis of PDEs (math.AP)
[141]  arXiv:2002.10761 (replaced) [pdf, ps, other]
Title: Some notes on concentration for $α$-subexponential random variables
Authors: Holger Sambale
Comments: Final version as to be published in HDP IX (The Ethereal Volume)
Subjects: Probability (math.PR)
[142]  arXiv:2007.14699 (replaced) [pdf, other]
Title: Elliptic dimers on minimal graphs and genus 1 Harnack curves
Comments: 77 pages, 18 figures. Version accepted for publication in Comm. Math. Phys
Subjects: Probability (math.PR); Mathematical Physics (math-ph)
[143]  arXiv:2008.00779 (replaced) [pdf, other]
Title: Approximating pathwidth for graphs of small treewidth
Comments: v4: small changes following further comments from a referee. v3: revised following referees' comments, corrects a serious error in the previous version
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[144]  arXiv:2009.10761 (replaced) [pdf, other]
Title: On the Locality of Nash-Williams Forest Decomposition and Star-Forest Decomposition
Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Combinatorics (math.CO)
[145]  arXiv:2010.10114 (replaced) [pdf, other]
Title: Double bubble plumbings and two-curve flops
Comments: Final version, after incorporating referee comments. 54 pages
Subjects: Symplectic Geometry (math.SG)
[146]  arXiv:2011.07818 (replaced) [pdf, other]
Title: Optimal multiple change-point detection for high-dimensional data
Subjects: Statistics Theory (math.ST)
[147]  arXiv:2101.01443 (replaced) [pdf, ps, other]
Title: Unbounded generalization of logarithmic representation of infinitesimal generators
Authors: Yoritaka Iwata
Comments: To appear in Math. Meth. Appl. Sci
Subjects: Functional Analysis (math.FA); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Operator Algebras (math.OA)
[148]  arXiv:2101.02050 (replaced) [pdf, other]
Title: PIETOOLS 2022: User Manual
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
[149]  arXiv:2101.07737 (replaced) [pdf, ps, other]
Title: Outage Probability Analysis of Uplink Cell-Free Massive MIMO Network with and without Pilot Contamination
Comments: In this version, we have extended our analysis to multiple antenna AP and the scenario with and without pilot contamination
Subjects: Information Theory (cs.IT)
[150]  arXiv:2103.10261 (replaced) [pdf, ps, other]
Title: Harmonic analysis on certain spherical varieties
Comments: v3. 89 pages. Edits throughout, to appear in Journal of the European Mathematical Society (JEMS)
Subjects: Number Theory (math.NT); Representation Theory (math.RT)
[151]  arXiv:2103.15310 (replaced) [pdf, ps, other]
Title: Monte Carlo algorithm for the extrema of tempered stable processes
Comments: 31 pages, 10 figures, video available on this https URL
Subjects: Mathematical Finance (q-fin.MF); Probability (math.PR); Methodology (stat.ME)
[152]  arXiv:2104.06565 (replaced) [pdf, other]
Title: Optimal Rates of Teaching and Learning Under Uncertainty
Comments: IEEE Transactions on Information Theory, Volume 67, Issue 11, pp. 7067-7080, Nov. 2021. This version slightly modifies/expands the 'Existing Results' section
Subjects: Information Theory (cs.IT); Probability (math.PR)
[153]  arXiv:2105.06801 (replaced) [pdf, ps, other]
Title: Upper bound for the number of spanning forests of regular graphs
Comments: arXiv admin note: text overlap with arXiv:2105.06798
Subjects: Combinatorics (math.CO)
[154]  arXiv:2105.13202 (replaced) [pdf, other]
Title: Convergence of a Packet Routing Model to Flows Over Time
Comments: Mathematics of Operations Research (2022)
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
[155]  arXiv:2106.12080 (replaced) [pdf, ps, other]
Title: The stability for multivalued McKean-Vlasov SDEs with non-Lipschitz coefficients
Authors: Jun Gong, Huijie Qiao
Comments: 25 pages
Subjects: Probability (math.PR)
[156]  arXiv:2107.07765 (replaced) [pdf, ps, other]
Title: Piecewise strongly proximal actions, free boundaries and the Neretin groups
Subjects: Group Theory (math.GR); Operator Algebras (math.OA)
[157]  arXiv:2107.11738 (replaced) [pdf, other]
Title: Power Allocation for Uplink Communications of Massive Cellular-Connected UAVs
Comments: 14 two-column pages, submitted to IEEE for possible publication
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[158]  arXiv:2108.04813 (replaced) [pdf, ps, other]
Title: On the equivalence of certain quasi-Hermitian varieties
Comments: 17 pages; final version
Journal-ref: J. Combin. Des. 1-15 (2022)
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
[159]  arXiv:2108.08118 (replaced) [pdf, other]
Title: Crumby colorings -- red-blue vertex partition of subcubic graphs regarding a conjecture of Thomassen
Comments: 22 pages, 15 figures, revised version
Subjects: Combinatorics (math.CO)
[160]  arXiv:2108.08945 (replaced) [pdf, ps, other]
Title: Anderson acceleration for a regularized Bingham model
Subjects: Numerical Analysis (math.NA)
[161]  arXiv:2108.11490 (replaced) [pdf, ps, other]
Title: Lie groups of Poisson diffeomorphisms
Authors: Wilmer Smilde
Comments: 35 pages. Accepted for publication in Journal of Symplectic Geometry
Subjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG)
[162]  arXiv:2108.11491 (replaced) [pdf, ps, other]
Title: Linearization of Poisson groupoids
Authors: Wilmer Smilde
Comments: 36 pages
Journal-ref: Indagationes Mathematicae, Volume 33, Issue 3, 2022, Pages 682-717, ISSN 0019-3577
Subjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)
[163]  arXiv:2109.13976 (replaced) [pdf, other]
Title: Gaussian Belief Space Path Planning for Minimum Sensing Navigation
Subjects: Robotics (cs.RO); Information Theory (cs.IT); Optimization and Control (math.OC)
[164]  arXiv:2110.00063 (replaced) [pdf, ps, other]
Title: A sufficient connectivity condition for rigidity and global rigidity of linearly constrained frameworks in $\mathbb{R}^2$
Authors: Hakan Guler
Subjects: Combinatorics (math.CO)
[165]  arXiv:2110.00604 (replaced) [pdf, other]
Title: Inexact bilevel stochastic gradient methods for constrained and unconstrained lower-level problems
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
[166]  arXiv:2110.03121 (replaced) [pdf, other]
Title: On Some Generalized Vertex Folkman Numbers
Subjects: Combinatorics (math.CO)
[167]  arXiv:2110.06299 (replaced) [pdf, other]
Title: Elliptic Weingarten Hypersurfaces of Riemannian Products
Subjects: Differential Geometry (math.DG)
[168]  arXiv:2110.07005 (replaced) [pdf, ps, other]
Title: Proper orientations and proper chromatic number
Subjects: Combinatorics (math.CO)
[169]  arXiv:2110.11484 (replaced) [pdf, ps, other]
Title: Backward multivalued McKean-Vlasov SDEs and associated variational inequalities
Authors: Jun Gong, Huijie Qiao
Comments: 26 pages
Subjects: Probability (math.PR)
[170]  arXiv:2110.12867 (replaced) [pdf, ps, other]
Title: Almost Ricci-Yamabe soliton on Almost Kenmotsu Manifolds
Subjects: Differential Geometry (math.DG)
[171]  arXiv:2111.00421 (replaced) [pdf, other]
Title: Large deviations for random hives and the spectrum of the sum of two random matrices
Subjects: Probability (math.PR)
[172]  arXiv:2111.10825 (replaced) [pdf, ps, other]
Title: $g$-invariant on unary Hermitian lattices over imaginary quadratic fields with class number $2$ or $3$
Authors: Jingbo Liu
Journal-ref: Journal of Algebra 2023
Subjects: Number Theory (math.NT); Representation Theory (math.RT)
[173]  arXiv:2111.13695 (replaced) [pdf, other]
Title: Covariant influences for finite discrete dynamical systems
Comments: 23 + 3 pages, 4 figures
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Biological Physics (physics.bio-ph); Quantum Physics (quant-ph)
[174]  arXiv:2111.15495 (replaced) [pdf, ps, other]
Title: Towards the Generalized Purely Wild Inertia Conjecture for product of Alternating and Symmetric Groups
Authors: Soumyadip Das
Comments: Final version; 13 pages
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
[175]  arXiv:2112.05183 (replaced) [pdf, ps, other]
Title: Limit theorems for deviation means of independent and identically distributed random variables
Comments: 44 pages
Subjects: Probability (math.PR)
[176]  arXiv:2112.07120 (replaced) [pdf, other]
Title: Simple Coding Techniques for Many-Hop Relaying
Comments: IEEE Transactions on Information Theory, Volume 68, Issue 11, pp. 7043-7053, Nov. 2022
Subjects: Information Theory (cs.IT)
[177]  arXiv:2201.00718 (replaced) [pdf, other]
Title: On the symmetric group action on rigid disks on a strip
Comments: 33 pages, 8 figures
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Representation Theory (math.RT)
[178]  arXiv:2201.02486 (replaced) [pdf, other]
Title: Power and Sample Size Calculations for Rerandomization
Comments: 35 pages, 6 figures
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[179]  arXiv:2201.02713 (replaced) [pdf, ps, other]
Title: Bifurcations of a neural network model with symmetry
Comments: 41 pages
Journal-ref: SIAM Journal on Applied Dynamical Systems, 21(4): 2535-2578 (2022)
Subjects: Chaotic Dynamics (nlin.CD); Dynamical Systems (math.DS)
[180]  arXiv:2201.10404 (replaced) [pdf, ps, other]
Title: Short proof of a theorem of Brylawski on the coefficients of the Tutte polynomial
Comments: 4 pages
Subjects: Combinatorics (math.CO)
[181]  arXiv:2201.10662 (replaced) [pdf, ps, other]
Title: Semantics for two-dimensional type theory
Comments: v2: final version for LICS 2022. v3: long version - for detailed log, see Section 1.5 Version History
Journal-ref: In 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (LICS '22), August 2-5, 2022, Haifa, Israel. ACM, New York, NY, USA, 17 pages
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[182]  arXiv:2202.01271 (replaced) [pdf, ps, other]
Title: The Drinfel'd centres of String 2-groups
Authors: Christoph Weis
Comments: v2: Minor edits. Added and fixed references
Subjects: Representation Theory (math.RT); Mathematical Physics (math-ph); Category Theory (math.CT); Quantum Algebra (math.QA)
[183]  arXiv:2202.03185 (replaced) [pdf, ps, other]
Title: Euclidean preferences in the plane under $\ell_1$, $\ell_2$ and $\ell_\infty$ norms
Subjects: Metric Geometry (math.MG); Combinatorics (math.CO)
[184]  arXiv:2202.07719 (replaced) [pdf, ps, other]
Title: Matchings in matroids over abelian groups
Comments: Comments are welcome
Subjects: Combinatorics (math.CO)
[185]  arXiv:2202.08361 (replaced) [pdf, other]
Title: Vectorization of a thread-parallel Jacobi singular value decomposition method
Comments: Accepted for publication in SIAM Journal on Scientific Computing. A separate "supplementary materials" document has been appended to the main paper as Appendix for technical reasons
Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)
[186]  arXiv:2202.11342 (replaced) [pdf, other]
Title: Training Adaptive Reconstruction Networks for Blind Inverse Problems
Authors: Alban Gossard (IMT), Pierre Weiss (IMT)
Subjects: Machine Learning (cs.LG); Image and Video Processing (eess.IV); Signal Processing (eess.SP); Optimization and Control (math.OC)
[187]  arXiv:2202.13929 (replaced) [pdf, other]
Title: Enumeration of rooted 3-connected bipartite planar maps
Comments: 15 pages
Subjects: Combinatorics (math.CO)
[188]  arXiv:2203.02960 (replaced) [pdf, ps, other]
Title: The homotopy theory and minimal model of Rota-Baxter algebras of arbitrary weight
Comments: A completely new version of arXiv:2108.06744. Title changed
Subjects: K-Theory and Homology (math.KT); Rings and Algebras (math.RA)
[189]  arXiv:2203.03763 (replaced) [pdf, other]
Title: Periodic orbits in Hořava-Lifshitz cosmologies
Comments: 21 pages, 7 figures. arXiv admin note: text overlap with arXiv:2012.07614
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
[190]  arXiv:2203.12665 (replaced) [pdf, ps, other]
Title: The most general structure of graphs with hamiltonian or hamiltonian connected square
Comments: 17 pages
Subjects: Combinatorics (math.CO)
[191]  arXiv:2203.16861 (replaced) [pdf, other]
Title: On Reconfiguration Graphs of Independent Sets under Token Sliding
Comments: 17 pages, 12 figures
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[192]  arXiv:2203.17268 (replaced) [pdf, ps, other]
Title: On the simplicity of the tensor product of two simple modules of quantum affine algebras
Comments: Results improved in Section 3, introduction partially rewritten. Comments welcome
Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
[193]  arXiv:2204.03887 (replaced) [pdf, other]
Title: Uniformly Valid Inference Based on the Lasso in Linear Mixed Models
Comments: 25 pages, 1 figure
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[194]  arXiv:2204.11805 (replaced) [pdf, other]
Title: Corner the Empress
Comments: 7 pages and 2 figures
Subjects: Combinatorics (math.CO)
[195]  arXiv:2204.12372 (replaced) [pdf, ps, other]
Title: Ribbon cobordisms as a partial order
Authors: Marius Huber
Comments: The main result is essentially the same as that of arXiv:2204.10730. Comments welcome
Subjects: Geometric Topology (math.GT)
[196]  arXiv:2205.07183 (replaced) [pdf, other]
Title: An extended definition of Anosov representation for relatively hyperbolic groups
Authors: Theodore Weisman
Comments: 78 pages, 8 figures. Latest version corrects some issues with various technical lemmas, especially in sections 6, 8, and 12
Subjects: Group Theory (math.GR); Geometric Topology (math.GT)
[197]  arXiv:2205.08575 (replaced) [pdf, ps, other]
Title: A topological insight into the polar involution of convex sets
Authors: Luisa F. Higueras-Montaño (1), Natalia Jonard-Pérez (2) ((1) (2) Departamento de Matemáticas, Facultad de Ciencias, Universidad Nacional Autónoma de México)
Comments: We added Subsections 2.1, 2.2 and 2.3 on the basics of ANR-spaces, Hilbert cube manifolds and G-spaces, respectively. Theorem 2 and Proposition 6.1 of the former version were merged in the new Theorem 2. Corollary 3 was added. New references were included. A reference gap regarding former [1, Theorem 8] was fixed
Subjects: Geometric Topology (math.GT); General Topology (math.GN)
[198]  arXiv:2206.00122 (replaced) [pdf, other]
Title: A Class of Low-complexity DCT-like Transforms for Image and Video Coding
Comments: Corrected a typo in the general expression for the diagonal matrix S(a) (Equation 11, Section 3.1). Manuscript has 20 pages, 8 figures, 9 tables
Journal-ref: IEEE Transactions on Circuits and Systems for Video Technology, v. 32, n. 7, July 2022
Subjects: Image and Video Processing (eess.IV); Multimedia (cs.MM); Signal Processing (eess.SP); Numerical Analysis (math.NA); Methodology (stat.ME)
[199]  arXiv:2206.04112 (replaced) [pdf, other]
Title: On Benford's Law and the Coefficients of the Riemann Mapping Function for the Exterior of the Mandelbrot Set
Comments: Published in Fractal and Fractional. Updated to include more thorough statistical testing, additional information, and to improve readability. Fixed several typos
Journal-ref: Fractal and Fractional, 2022, Volume 6, Issue 10, Page 534
Subjects: Complex Variables (math.CV); Probability (math.PR)
[200]  arXiv:2206.04610 (replaced) [pdf, other]
Title: Maximal Brill-Noether loci via K3 surfaces
Comments: 33 pages, 1 figure. Comments welcome
Subjects: Algebraic Geometry (math.AG)
[201]  arXiv:2206.05037 (replaced) [pdf, ps, other]
Title: Efficient filtering for multiscale McKean-Vlasov Stochastic differential equations
Comments: 24 pages
Subjects: Probability (math.PR)
[202]  arXiv:2206.06000 (replaced) [pdf, ps, other]
Title: Frobenius kernels of algebraic supergroups and Steinberg's tensor product theorem
Authors: Taiki Shibata
Comments: 33 pages, some errors are corrected
Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
[203]  arXiv:2206.06991 (replaced) [pdf, ps, other]
Title: Concentration of discrepancy-based ABC via Rademacher complexity
Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO)
[204]  arXiv:2206.11333 (replaced) [pdf, other]
Title: Communication by Means of Thermal Noise: Towards Networks with Extremely Low Power Consumption
Authors: Ertugrul Basar
Comments: To appear in IEEE Transactions on Communications
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[205]  arXiv:2206.13291 (replaced) [pdf, ps, other]
Title: Chaos propagation in mean field networks of FitzHugh-Nagumo neurons
Authors: Laetitia Colombani (1), Pierre Le Bris (2) ((1) Institut Mathématiques de Toulouse, (2) Laboratoire Jacques-Louis Lions)
Comments: 45 pages, version 2
Subjects: Probability (math.PR)
[206]  arXiv:2206.15319 (replaced) [pdf, other]
Title: On extended boundary sequences of morphic and Sturmian words
Comments: 32 pages, 8 figures. Short version: M. Rigo, M. Stipulanti, M. A. Whiteland, On extended boundary sequences of morphic and Sturmian words, MFCS 2022, Leibniz Int. Proc. Inform. 241 (2022), Paper 79
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)
[207]  arXiv:2207.00389 (replaced) [pdf, ps, other]
Title: Analysis of Kinetic Models for Label Switching and Stochastic Gradient Descent
Subjects: Analysis of PDEs (math.AP); Machine Learning (cs.LG); Mathematical Physics (math-ph); Optimization and Control (math.OC)
[208]  arXiv:2207.01240 (replaced) [pdf, ps, other]
Title: The Lefschetz defect of Fano varieties
Comments: Updated references, final version, 16 pages. To appear in the Rendiconti del Circolo Matematico di Palermo, special issue on Fano varieties
Subjects: Algebraic Geometry (math.AG)
[209]  arXiv:2207.02154 (replaced) [pdf, ps, other]
Title: On algebraic central division algebras over Henselian fields of finite absolute Brauer $p$-dimensions and residually arithmetic type
Comments: 35 pages, LaTeX: Title changed; The Introduction of the previous version is divided into two sections; the term Tsen rank is replaced by the more commonly used term Diophantine dimension; a number of improvements in the text
Subjects: Rings and Algebras (math.RA)
[210]  arXiv:2207.03094 (replaced) [pdf, ps, other]
Title: Path independence of the additive functionals for stochastic Volterra equations with singular kernels
Comments: 19 pages
Subjects: Probability (math.PR)
[211]  arXiv:2207.03970 (replaced) [pdf, other]
Title: Boundary and domain wall theories of 2d generalized quantum double model
Comments: v1: 41 pages; v2 some typos fixed; v3: some references added; v4: 62 pages, algebraic theory added
Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
[212]  arXiv:2207.14127 (replaced) [pdf, other]
Title: Hyperbolic models for CAT(0) spaces
Comments: 52 pages. v2: Major update. Unified the family of models from v1 into a single space, added consequences on universality
Subjects: Metric Geometry (math.MG); Group Theory (math.GR)
[213]  arXiv:2208.02003 (replaced) [pdf, ps, other]
Title: Multi-Bit Relaying over a Tandem of Channels
Subjects: Information Theory (cs.IT)
[214]  arXiv:2208.02091 (replaced) [pdf, ps, other]
Title: Sombor-index-like invariants of some graphs
Comments: 13 pages, 7 figures, 3 tables. arXiv admin note: text overlap with arXiv:2103.13663, arXiv:2102.10409
Subjects: Combinatorics (math.CO)
[215]  arXiv:2208.03728 (replaced) [pdf, ps, other]
Title: Poisson reductions of master integrable systems on doubles of compact Lie groups
Authors: L. Feher
Comments: 33 pages, minor edits in v2
Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Exactly Solvable and Integrable Systems (nlin.SI)
[216]  arXiv:2208.05537 (replaced) [pdf, ps, other]
Title: Decoding quantum Tanner codes
Comments: 35 pages; v3: corrected several minor mistakes. arXiv admin note: text overlap with arXiv:2206.07571
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[217]  arXiv:2208.05747 (replaced) [pdf, other]
Title: Space Mapping for PDE Constrained Shape Optimization
Authors: Sebastian Blauth
Subjects: Optimization and Control (math.OC); Differential Geometry (math.DG)
[218]  arXiv:2208.08765 (replaced) [pdf, ps, other]
Title: Convolution equations on the Lie group (-1,1)
Authors: Roland Duduchava
Subjects: Mathematical Physics (math-ph)
[219]  arXiv:2208.09051 (replaced) [pdf, ps, other]
Title: Energy Minimizing Configurations for Single-Director Cosserat Shells
Comments: 10 pages
Subjects: Analysis of PDEs (math.AP)
[220]  arXiv:2208.09737 (replaced) [pdf, ps, other]
Title: Dyonic Matter Equations, Exact Point-Source Solutions, and Charged Black Holes in Generalized Born--Infeld Theory
Authors: Yisong Yang
Comments: 42 pages, 1 figure
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[221]  arXiv:2208.09922 (replaced) [pdf, other]
Title: Efficient Concentration with Gaussian Approximation
Subjects: Probability (math.PR); Statistics Theory (math.ST)
[222]  arXiv:2208.10220 (replaced) [pdf, ps, other]
Title: Non-homogeneous random walks with stochastic resetting: an application to the Gillis model
Authors: Mattia Radice
Comments: 38 pages, 7 figures. Accepted manuscript version
Journal-ref: J. Stat. Mech. (2022) 123206
Subjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech)
[223]  arXiv:2208.11719 (replaced) [pdf, other]
Title: Supersingularity of Motives with Complex Multiplication and a Twisted Polarization
Authors: Asvin G
Comments: 8 pages, edited for clarity
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
[224]  arXiv:2208.11749 (replaced) [pdf, other]
Title: Quantization dimension for self-similar measures of overlapping construction
Subjects: Dynamical Systems (math.DS)
[225]  arXiv:2208.13625 (replaced) [pdf, ps, other]
Title: A new approach to the study of spacelike submanifolds in a spherical Robertson-Walker spacetime: characterization of the stationary spacelike submanifolds as an application
Subjects: Differential Geometry (math.DG)
[226]  arXiv:2209.00554 (replaced) [pdf, ps, other]
Title: Operational Interpretation of the Sandwiched Rényi Divergence of Order 1/2 to 1 as Strong Converse Exponents
Authors: Ke Li, Yongsheng Yao
Comments: V2: minor changes
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Mathematical Physics (math-ph)
[227]  arXiv:2209.04904 (replaced) [pdf, other]
Title: Local foliations by critical surfaces of the Hawking energy and small sphere limit
Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[228]  arXiv:2209.09773 (replaced) [pdf, ps, other]
Title: Solving a Dirichlet problem for unbounded domains via a conformal transformation
Subjects: Analysis of PDEs (math.AP); Metric Geometry (math.MG)
[229]  arXiv:2209.09968 (replaced) [pdf, other]
Title: On 4-dimensional smooth Poincare conjecture
Authors: Selman Akbulut
Comments: 7 pages, 11 figures
Subjects: Geometric Topology (math.GT)
[230]  arXiv:2209.10496 (replaced) [pdf, ps, other]
Title: Polynomial conditions and homology of FI-modules
Authors: Cihan Bahran
Comments: 21 pages
Subjects: K-Theory and Homology (math.KT); Group Theory (math.GR); Representation Theory (math.RT)
[231]  arXiv:2209.14137 (replaced) [pdf, ps, other]
Title: Origin of the Proto-norm functor from an Inverse Problems regularization method
Authors: Fred Greensite
Comments: This is one of four papers into which arxiv:2207.11358 has now been split. Version 2 improves the clarity of the last paragraph of Section 2, without other change. Version 3 adds a numerical simulation and accompanying figure, as Section 4
Subjects: Rings and Algebras (math.RA)
[232]  arXiv:2209.14193 (replaced) [pdf, other]
Title: Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator
Subjects: Functional Analysis (math.FA)
[233]  arXiv:2210.00209 (replaced) [pdf, ps, other]
Title: The Cowen-Douglas Theory for Operator Tuples and Similarity
Comments: 42pages
Subjects: Functional Analysis (math.FA)
[234]  arXiv:2210.03307 (replaced) [pdf, ps, other]
Title: From the $B$-Toda to the BKP hierarchy
Authors: Yuancheng Xie
Comments: 28 pages
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Combinatorics (math.CO); Dynamical Systems (math.DS); Representation Theory (math.RT)
[235]  arXiv:2210.04202 (replaced) [pdf, ps, other]
Title: What should a generic object be?
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)
[236]  arXiv:2210.04286 (replaced) [pdf, other]
Title: Three dimensional topological quantum field theory from $U_q(\mathfrak{gl}(1 \vert 1))$ and $U(1 \vert 1)$ Chern--Simons theory
Comments: 54 pages. v2: Results strengthened to give a complete description of state spaces of non-generic tori for arbitrary q. Other minor improvements throughout
Subjects: Quantum Algebra (math.QA); High Energy Physics - Theory (hep-th); Representation Theory (math.RT)
[237]  arXiv:2210.06752 (replaced) [pdf, ps, other]
Title: Large Steklov eigenvalue on hyperbolic surfaces
Comments: 15 pages, some minor changes, comments are welcomed
Subjects: Differential Geometry (math.DG)
[238]  arXiv:2210.10504 (replaced) [pdf, ps, other]
Title: Diophantine approximation with constraints
Comments: 38 pages, 2 figures, many small corrections with respect to version 1, to appear in Acta Arithmetica
Subjects: Number Theory (math.NT)
[239]  arXiv:2210.11325 (replaced) [pdf, other]
Title: A construction of approximately self-similar naked singularities for the spherically symmetric Einstein-scalar field system
Authors: Jaydeep Singh
Comments: v2: Typos fixed, references added. 88 pages, 12 Figures. Comments are welcome
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
[240]  arXiv:2210.14668 (replaced) [pdf, ps, other]
Title: Why would reduced Kronecker coefficients be log-concave?
Authors: Tao Gui
Comments: 10 pages, comments are welcome
Subjects: Representation Theory (math.RT); Combinatorics (math.CO); Category Theory (math.CT)
[241]  arXiv:2210.17231 (replaced) [pdf, ps, other]
Title: Separated monic correspondence of cotorsion pairs and semi-Gorenstein-projective modules
Comments: 19 pages, we added a result of constructing left weakly Gorenstein triangular matrix rings (Proposition 5.4) and updated the proof of Theorem B in section 5
Subjects: Representation Theory (math.RT)
[242]  arXiv:2211.11497 (replaced) [pdf, other]
Title: Circle homeomorphisms with square summable diamond shears
Comments: Improved introduction, updated references. 54 pages, 9 figures
Subjects: Complex Variables (math.CV); Geometric Topology (math.GT)
[243]  arXiv:2211.11957 (replaced) [pdf, other]
Title: Ranking Inferences Based on the Top Choice of Multiway Comparisons
Comments: In this paper, we build simultaneous confidence intervals for ranks
Subjects: Methodology (stat.ME); Information Theory (cs.IT); Statistics Theory (math.ST); Machine Learning (stat.ML)
[244]  arXiv:2211.12150 (replaced) [pdf, ps, other]
Title: The transport problem for non-additive measures
Authors: Vicenç Torra
Subjects: Artificial Intelligence (cs.AI); Probability (math.PR)
[245]  arXiv:2211.14692 (replaced) [pdf, other]
Title: Radial Neighbors for Provably Accurate Scalable Approximations of Gaussian Processes
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)
[246]  arXiv:2211.15004 (replaced) [pdf, ps, other]
Title: Note on a conjecture of Hildebrand regarding friable integers
Subjects: Number Theory (math.NT)
[247]  arXiv:2212.00700 (replaced) [pdf, other]
Title: High Dimensional Binary Classification under Label Shift: Phase Transition and Regularization
Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
[248]  arXiv:2212.01866 (replaced) [src]
Title: Regularized ERM on random subspaces
Comments: Submission withdrawn. Readers should please refer to arXiv:2006.10016
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
[249]  arXiv:2212.02037 (replaced) [pdf, ps, other]
Title: A generalization of the Murnaghan-Nakayama rule for $K$-$k$-Schur and $k$-Schur functions
Authors: Khanh Nguyen Duc
Comments: 19 pages, 4 pictures
Subjects: Representation Theory (math.RT); Combinatorics (math.CO); K-Theory and Homology (math.KT)
[250]  arXiv:2212.02696 (replaced) [pdf, ps, other]
Title: Differentially fixed ideals in toric varieties
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
[251]  arXiv:2212.02697 (replaced) [pdf, ps, other]
Title: Arithmetic differential geometry in the arithmetic PDE setting II: curvature and cohomology
Subjects: Number Theory (math.NT); Differential Geometry (math.DG)
[252]  arXiv:2212.02732 (replaced) [pdf, ps, other]
Title: Deterministic $K$-identification For Slow Fading Channel
Comments: arXiv admin note: substantial text overlap with arXiv:2211.11024, arXiv:2203.02784
Subjects: Information Theory (cs.IT)
[253]  arXiv:2212.02957 (replaced) [pdf, ps, other]
Title: The Palindromic Trees
Comments: 10 pages, 6 figures and 1 table
Subjects: Combinatorics (math.CO); Spectral Theory (math.SP)
[254]  arXiv:2212.03171 (replaced) [pdf, ps, other]
Title: Exponential Taylor Series
Authors: André Kowacs
Comments: The periodic Taylor series is generalized to an exponential Taylor series which may be useful
Subjects: Classical Analysis and ODEs (math.CA)
[255]  arXiv:2212.03193 (replaced) [pdf, other]
Title: A note on the bulk interpretation of the Quantum Extremal Surface formula
Authors: Gabriel Wong
Comments: some typos fixed, references added
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[256]  arXiv:2212.03758 (replaced) [pdf, ps, other]
Title: Finite-time blow-up to hyperbolic Keller-Segel system of consumption type with logarithmic sensitivity
Authors: Jungkyoung Na
Comments: 18 pages
Subjects: Analysis of PDEs (math.AP)
[ total of 256 entries: 1-256 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2212, contact, help  (Access key information)