Mathematics
New submissions
[ 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 OperatorsComments: 12+6 pagesSubjects: Spectral Theory (math.SP); Quantum Physics (quantph)
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 infinitedimensional 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 mapsSubjects: 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 properdimensional 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 figureSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
We prove that the tropical surface of the root system $A_{n1}$ has degree $(n^33n^22n+12)/2$.
 [4] arXiv:2212.03910 [pdf, ps, other]

Title: Sobolev and BV functions on $\mathrm{RCD}$ spaces via the shorttime behaviour of the heat kernelComments: 28 pagesSubjects: Functional Analysis (math.FA); Metric Geometry (math.MG)
In the setting of finitedimensional $\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 shorttime 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 ConjectureComments: 21 pagesSubjects: 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{allterminal 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{(k1)C_3\cup C_{3+r}}$ whenever $n=3k+r$,$n\geq5$ and $e={n(n3)}/{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 orientationsSubjects: 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 SavageSquireWest 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 HartungHoangM\"utzeWilliams 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 SavageSquireWest construction. Along the way, we give an overview of old and recent results about the polyhedral and ordertheoretic aspects of acyclic orientations of graphs and hypergraphs.
 [7] arXiv:2212.03918 [pdf, other]

Title: Kneser graphs are HamiltonianSubjects: 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 vertextransitive graphs defined by intersecting set systems have a Hamilton cycle, which settles an interesting special case of Lov\'asz' conjecture on Hamilton cycles in vertextransitive 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 zeroComments: 9 pagesSubjects: 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 IPset 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 ConstraintsComments: 11 pages, 4 figures, Under ReviewSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
In this article, we investigate the distributed DCOptimal Power Flow (DCOPF) problem against a backdrop of online convex optimization with coupled constraints. While the classical OPF problem refers to a timeinvariant optimization environment across the power distribution network, the online variant involves timevarying 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 primaldual approach, which deals with the online equalityconstrained 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 GuaranteesSubjects: 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ösRényi Graph. Asymptotics, Landscape and UniversalityComments: 63 pages, 1 figureSubjects: Probability (math.PR); Statistics Theory (math.ST)
We consider the problem of estimating the edge density of densest $K$node subgraphs of an Erd\"osR\'{e}nyi graph $\mathbb{G}(n,1/2)$. The problem is wellunderstood 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 subGaussian distributions. The proofs are based on the second moment method combined with concentration bounds, the BorellTIS 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 GroupsSubjects: 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 theoryComments: 34 pagesSubjects: 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 UStatisticsComments: 41 pagesSubjects: Probability (math.PR); Mathematical Physics (mathph); Statistics Theory (math.ST)
In this paper we derive a Large Deviation Principle (LDP) for inhomogeneous U/Vstatistics 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 noncompact 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: BioHeat Transfer and Monte Carlo Measurement of NearInfrared Transcranial Stimulation of Human BrainComments: 12 pages, 7 figures, 4 tablesSubjects: Numerical Analysis (math.NA)
Transcranial photobiomodulation is an optical method for noninvasive brain stimulation. The method projects red and nearinfrared light through the scalp within 6001100 nm and low energy within the 120 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 nearinfrared 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 nearinfrared light spectrum has a small incremental impact on temperature and approximately penetrates 1 cm, reaching the cortex. A timevariant 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 CLshellabilityComments: 40 pagesSubjects: Combinatorics (math.CO)
Bj\"orner and Wachs introduced CLshellability 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 CLshellable 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 CCshelling (a type of shelling introduced by Kozlov) with a further property called selfconsistency. Thus, CLshellability is proven equivalent to selfconsistent CCshellability. As an application, the uncrossing posets, namely the face posets for stratified spaces of planar electrical networks, are proven to be dual CLshellable.  [17] arXiv:2212.03959 [pdf, ps, other]

Title: Minimizing the Sombor Index among Trees with Fixed Degree SequenceAuthors: Mirza RedžićSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Vertexdegreebased 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 HilleYoshidaPhillips theorem for discrete semigroups on complete ultrametric locally convex spacesAuthors: Jawad EttaybSubjects: 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 equicontinuous.
 [19] arXiv:2212.03962 [pdf, other]

Title: MultiRandomized Kaczmarz for Latent Class RegressionSubjects: 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 tangenciesSubjects: Dynamical Systems (math.DS)
We study generic two and threeparameter 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 socalled "shrimps" (crossroad areas), as well as spring and saddle areas, and (in threeparameter 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 NetworksComments: Submitted to IEEE Transactions on Power SystemsSubjects: 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 demandside 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 threephase 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 lowvoltage 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 mapsAuthors: Weiyi ZhangComments: 12 pagesSubjects: 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 ImpedancesComments: Submitted to IEEE PES General Meeting 2023Subjects: 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 threephase 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 nonconvex bilinear problem, formulated based on Motzkin Transposition Theorem, and updating the RFR alternatively until reaching convergence. Two cases, including a 2bus 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 prank of curves of Fermat typeSubjects: 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 noisesSubjects: 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 DetectionSubjects: 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 statedependent switchingComments: 26 pagesSubjects: Probability (math.PR)
To deal with stochastic hybrid systems with general statedependent 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 problemSubjects: 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 noncompact 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 polynomialsSubjects: 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 Iwahorispherical polynomials and for finite and affine key polynomials.
 [30] arXiv:2212.04033 [pdf, ps, other]

Title: Setvalued tableaux for Macdonald polynomialsSubjects: Combinatorics (math.CO)
Setvalued 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 setvalued tableaux formula for Macdonald polynomials. Our hope is that providing setvalued 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 flatnessSubjects: 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 $2n1$. 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 nonspherical 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, 3dimensional 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 3dimensional lc abundance in characteristic $> 3$Authors: Zheng XuSubjects: Algebraic Geometry (math.AG)
In this paper, we prove the nonvanishing 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 pseudoeffective, 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 nontrivial. 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 DirectionsComments: This paper is accepted by IEEE Wirel. CommunSubjects: 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 nextgeneration 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: BismutEinstein metrics on compact complex surfacesAuthors: Yanan YeSubjects: Differential Geometry (math.DG)
We establish a Bochnertype formula expressed in terms of BismutRicci curvature for pluriclosed metrics. Using this formula, we can directly prove that a BismutEinstein metric with nonzero Einstein constant is K\"ahlerEinstein, 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 BismutRicci flat.
 [35] arXiv:2212.04064 [pdf, other]

Title: On CRCAided Dual Trellis List Decoding for HighRate Convolutional Codes with Short BlocklengthsComments: arXiv admin note: substantial text overlap with arXiv:2111.07929Subjects: Information Theory (cs.IT)
Recently, rate1/n zeroterminated and tailbiting convolutional codes (ZTCCs and TBCCs) with cyclicredundancycheck (CRC)aided list decoding have been shown to closely approach the randomcoding union (RCU) bound for short blocklengths. This paper designs CRCs for rate(n1)/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 CRCaided serial list Viterbi decoding (SLVD) of ZTCCs and TBCCs. CRCaided SLVD of the TBCCs closely approaches the RCU bound at a blocklength of 128. Application of the multitrellis approach and Wrap Around Viterbi Algorithm (WAVA) further improves the decoding efficiency while maintaining the decoder's errordetection and correction performance.
 [36] arXiv:2212.04071 [pdf, other]

Title: Fractionally integrated curve time series with cointegrationSubjects: 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 longmemory parameter and establish its consistency. A Monte Carlo study of finitesample 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 manifoldsComments: Comments are welcomeSubjects: 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 CahnHilliard modelSubjects: Numerical Analysis (math.NA)
An implicit variablestep BDF2 scheme is established for solving the space fractional CahnHilliard equation, involving the fractional Laplacian, derived from a gradient flow in the negative order Sobolev space $H^{\alpha}$, $\alpha\in(0,1)$. The Fourier pseudospectral 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 timestep 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 multipletimescale evolution of the solution is captured by an adaptive timestepping strategy in the shorttolong time simulation.
 [39] arXiv:2212.04083 [pdf, ps, other]

Title: Convergence of the FourierGalerkin spectral method for the Boltzmann equation with uncertaintiesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
It is wellknown that the FourierGalerkin 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 FourierGalerkin spectral method also holds for the Boltzmann equation with uncertainties arising from both collision kernel and initial condition. Our proof is based on newlyestablished 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 fulldiscretized 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 responseComments: 68 pagesSubjects: 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 exactfitted and overfitted 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 recursionAuthors: Leonid O. ChekhovComments: 11 pages, 1 figure, comments welcomedSubjects: Mathematical Physics (mathph); Algebraic Geometry (math.AG)
We use SeibergWittenlike 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 HarerZagiertype recursion relations for 1point 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 StrategiesSubjects: 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 calculusSubjects: 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 OnOff ServiceSubjects: Information Theory (cs.IT)
This paper considers a communication system where a source sends timesensitive 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 OnOff process. For this setup, we study the age of information for two queueing disciplines: 1) nonpreemptive, where the messages arriving while the server is occupied are discarded, and 2) preemptive, where the inservice messages are replaced with newly arriving messages in the Off states. For these disciplines, we derive closedform expressions for the mean peak age and mean age.
 [46] arXiv:2212.04109 [pdf, ps, other]

Title: PawłuckiPlésniak Extension Operator For NonMarkov SetsSubjects: Functional Analysis (math.FA)
We show that PawluckiPl\'esniak operator is bounded for some nonMarkov sets.
 [47] arXiv:2212.04110 [pdf, ps, other]

Title: Hodge Laplacian and geometry of Kuranishi family of Fano manifoldsComments: 23 pagesSubjects: 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 BochnerKodaira 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 setup gives another account for the DonaldsonFujiki picture.
 [48] arXiv:2212.04121 [pdf, ps, other]

Title: Perfect packing of squaresAuthors: Antal JoósComments: 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 reactiondiffusionadvection predatorprey modelComments: 41 pages, 1 figureSubjects: Dynamical Systems (math.DS)
A reactiondiffusionadvection predatorprey model with Holling typeII 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 relationsSubjects: 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 ProblemsSubjects: 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 timemarching schemes) as well as locally in spacetime refined meshes.
 [52] arXiv:2212.04141 [pdf, ps, other]

Title: Cylindrical first order superintegrability with complex magnetic fieldsComments: The following article has been submitted to the Journal of Mathematical PhysicsSubjects: Mathematical Physics (mathph); Exactly Solvable and Integrable Systems (nlin.SI); Quantum Physics (quantph)
This article is a contribution to the study of superintegrable Hamiltonian systems with magnetic fields on the threedimensional 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 nonHermitian 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 numberComments: 16 pages, 5 figures, accepted for publication in Bolletin of the Belgian Mathematical SocietySubjects: Combinatorics (math.CO)
For any graph $G$, the Grundy (or FirstFit) chromatic number of $G$, denoted by $\Gamma(G)$ (also $\chi_{_{\sf FF}}(G)$), is defined as the maximum number of colors used by the FirstFit (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 FerrandComments: 16 pagesSubjects: 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 LoadingComments: 7 pagesSubjects: 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 timereversal of the same traffic process.
 [56] arXiv:2212.04167 [pdf, other]

Title: A Deterministic Annealing Local Search for the Electric Autonomous DialARide ProblemSubjects: Optimization and Control (math.OC)
This paper investigates the Electric Autonomous DialARide Problem (EADARP), which consists in designing a set of minimumcost routes that accommodates all customer requests for a fleet of Electric Autonomous Vehicles (EAVs). Problemspecific features of the EADARP include: (i) the employment of EAVs and a partial recharging policy; (ii) the weightedsum 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 EADARP. 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 fragmentbased representation of paths. These two methods compose an exact and efficient optimization of excess user ride time for a generated EADARP route. To validate the performance of the DA algorithm, we compare our algorithm results to the bestreported BranchandCut (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 largersized 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 stateoftheart 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 ApplicationsComments: 41 pagesSubjects: 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 nonstandard 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 superBrownian motionSubjects: Probability (math.PR)
We study the asymptotic behavior of the supremum $M_t$ of the support of a supercritical superBrownian motion. In our recent paper (Stoch. Proc. Appl. 137 (2021), 134), we showed that, under some conditions, $M_tm(t)$ converges in distribution to a randomly shifted Gumbel random variable, where $m(t)=c_0tc_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 AgdaSubjects: 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 Subsymmetry in Integer Programming using Activation HandlersSubjects: 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 branchandbound tree. While symmetryhandling inequalities (SHIs) can easily be used to handle original symmetries, handling subsymmetries arising later on is more intricate. To handle subsymmetries, 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 subsymmetries need to be modeled explicitly. As an alternative, we propose a new framework for generically activating SHIs, socalled activation handlers. This framework allows for a direct implementation of routines that check for active subsymmetries, eliminating the need for auxiliary variables. In particular, activation handlers can activate symmetryhandling techniques that are more powerful than SHIs. We show that our approach is flexible, with applications in the multipleknapsack, unit commitment, and graph coloring problems. Numerical results show a substantial performance improvement on the existing subsymmetryhandling methods.
 [61] arXiv:2212.04187 [pdf, other]

Title: Identifying sinks and sources in the potential equation with weighted sparsity regularizationSubjects: 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 simpletocheck 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) wellseparated 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 kdistance degree based topological indices of benzenoid systemsSubjects: 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 degreebased topological indices such as leapSomber 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 monoidsComments: 23 pages, 2 figuresSubjects: 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 nonisomorphic group $\mathcal{H}$classes.
 [64] arXiv:2212.04226 [pdf, ps, other]

Title: GradientType Methods for Optimization Problems with PolyakŁojasiewicz Condition: Early Stopping and Adaptivity to Inexactness ParameterSubjects: 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 gradienttype 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 rankSubjects: 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 nonhomogeneous 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 ApplicationsComments: 10 pagesSubjects: 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 indvarieties and Hilbert schemesAuthors: Arijit MukherjeeComments: All comments are welcomeSubjects: Algebraic Geometry (math.AG)
In this paper, we introduce the notion of the diagonal property and the weak point property for an indvariety. We prove that the indvarieties of higher rank divisors of integral slopes on a smooth projective curve have the weak point property. Moreover, we show that the indvariety 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 applicationComments: 12 pagesSubjects: 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: Trianglefree projectiveplanar graphs with diameter two: domination and characterizationSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In 1975, Plesn\'ik characterized all trianglefree planar graphs as having a diameter $2$. We characterize all trianglefree projectiveplanar 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 numbersComments: 45 pages, 10 pages of appendixSubjects: Mathematical Physics (mathph); Algebraic Geometry (math.AG); Combinatorics (math.CO)
We propose a new formula to compute WittenKontsevich 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 semistandard 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 sgoodness for the equivalence of a 01 linear program to weighted linear programmingSubjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)
The 01 linear programming problem with nonnegative constraint matrix and objective vector e origins from many NPhard 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 sgoodness 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 sgoodness. 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 sgoodness. 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 functionsAuthors: Hayato MotohashiComments: 14 pages, 1 figureJournalref: Expo. Math. 40 (2022) 894909Subjects: Classical Analysis and ODEs (math.CA)
It is wellknown 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 OnsagerMachlup functional are posterior modesAuthors: Remo KretschmannSubjects: 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 OnsagerMachlup 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 OnsagerMachlup 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 infinitedimensional data corrupted by additive Gaussian or Laplacian noise, nonparametric MAP estimation is equivalent to TikhonovPhillips 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 illposed 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 FunctorsComments: 430 pages. This works shares basic definitions with arXiv:2205.08401, arXiv:2202.13659, arXiv:2111.08653, arXiv:2109.01430, and arXiv:2002.06055Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); KTheory 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 spacesSubjects: 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 problemsComments: 29 pages, 11 figuresSubjects: 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 StrumLiouville 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 kNearest Neighbours, Random Forests and MultiLayer 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 nonautonomous delay systems with applications to compartmental Nycholson systemsSubjects: Dynamical Systems (math.DS)
The exponential ordering is exploited in the context of nonauto\no\mous delay systems, inducing monotone skewproduct 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 longterm 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 sequencesSubjects: 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 OvertheAir Computation using ZeroForced Artificial NoiseSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
Overtheair computation has the potential to increase the communicationefficiency of datadependent distributed wireless systems, but is vulnerable to eavesdropping. We consider overtheair computation over blockfading additive white Gaussian noise channels in the presence of a passive eavesdropper. The goal is to design a secure overtheair computation scheme. We propose a scheme that achieves MSEsecurity against the eavesdropper by employing zeroforced 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 fieldsAuthors: Khaled Abou Alfa (LMJL)Subjects: Mathematical Physics (mathph); Spectral Theory (math.SP); Quantum Physics (quantph)
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 semiclassical 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 worstcase optimal importance proposalsAuthors: 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 worstcase 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 pushforward 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 solutionsSubjects: 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 adhoc BesovH{\"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 systemsSubjects: Numerical Analysis (math.NA)
The biconjugate gradient method (BiCG) is one of the most popular shortterm recurrence methods for solving nonsymmetric 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 shortterm 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 shiftandinvert preconditioner exactly as well as an algorithm which applies the same preconditioner inexactly. The competitiveness of the algorithms are illustrated with largescale 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 fieldsAuthors: 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 resonantsaddle. 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 predatorprey system with a pair of weakstrong competing preys in a shifting environmentComments: Discrete and Continuous Dynamical Systems  Series B, In pressSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate socalled forced wave solutions of a three components reactiondiffusion 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 spatiotemporal 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 largetime 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 GraphsAuthors: Jacques BourgComments: 5 pages, 2 figuresSubjects: 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 equationsSubjects: Dynamical Systems (math.DS)
The paper analyzes the structure and the inner longterm dynamics of the invariant compact sets for the skewproduct flow induced by a family of timedependent 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 LiYorke chaos and AuslanderYorke chaos inside the attractor.
 [88] arXiv:2212.04308 [pdf, ps, other]

Title: Quantitative Steinitz Theorem: A polynomial boundSubjects: 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 ApproachSubjects: 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: Noncutoff Boltzmann equation with soft potentials in the whole spaceSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
We prove the existence and uniqueness of global solutions to the Boltzmann equation with noncutoff 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 applicationsSubjects: 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 selfsimilar. 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 GroupsComments: Proceedings edited by Xenia Flamm and Arnaud MaretSubjects: 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 FurstenbergZimmer structure theorem for stationary random walksAuthors: Nikolai EdekoSubjects: Dynamical Systems (math.DS); Functional Analysis (math.FA); Representation Theory (math.RT)
We prove the following version of the FurstenbergZimmer structure theorem for stationary actions: Any stationary action of a locally compact secondcountable group is a weakly mixing extension of a measurepreserving distal system.
 [94] arXiv:2212.04361 [pdf, ps, other]

Title: Linear and group perfect codes over skew fields and quasi skew fieldsAuthors: Sergei A. Malyugin (Sobolev Institute of Mathematics)Comments: In RussianSubjects: 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 flowComments: arXiv admin note: substantial text overlap with arXiv:2107.09616. substantial text overlap with arXiv:1401.3738 by other authorsSubjects: 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 methodSubjects: Differential Geometry (math.DG); Statistics Theory (math.ST)
A classical tool for approximating integrals is the Laplace method. The firstorder, as well as the higherorder 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 firstorder term of the Laplace method. The central tool is the KimMcCann Riemannian metric which was introduced in the field of optimal transportation. Our main result expresses the firstorder term with standard geometric objects such as volume forms, Laplacians, covariant derivatives and scalar curvatures of two different metrics arising naturally in the KimMcCann 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: Cpolynomials and LCfunctions: towards a generalization of the Hurwitz zeta functionAuthors: Lahcen LamgouniComments: 33 pages, 6 figuresSubjects: 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^{nk}$ be the sequence of Appell polynomials, which we call $\textit{Cpolynomials 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 Cpolynomials associated to the function $p_{f}(t)=\frac{e^t1}{t}f(t)$ which we call \textit{Ppolynomials 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 Ppolynomials 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 Cpolynomials and which we call $\textit{LCfunctions associated to}$ $f$ ($n_{f}$ being a positive integer depending on the choice of $f$).
 [98] arXiv:2212.04391 [pdf, other]

Title: GaussNewton meets PANOC: A fast and globally convergent algorithm for nonlinear optimal controlComments: Submitted to the 2023 IFAC World Congress, YokohamaSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
PANOC is an algorithm for nonconvex optimization that has recently gained popularity in realtime control applications due to its fast, global convergence. The present work proposes a variant of PANOC that makes use of GaussNewton directions to accelerate the method. Furthermore, we show that when applied to optimal control problems, the computation of this GaussNewton 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 LBFGS 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 theoryAuthors: Corentin Le BihanComments: 55 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
We study spacetime 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 selfcontained 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 edgecolouring thresholdAuthors: Peter KeevashComments: 21 pagesSubjects: Combinatorics (math.CO)
Consider any dense rregular 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 Ledgecolouring 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 directionsComments: 12 pages, 7 figuresSubjects: 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 (2q1)/(12p).
 [102] arXiv:2212.04415 [pdf, other]

Title: A probabilistic peridynamic framework with an application to the study of the statistical size effectSubjects: 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 outerloop 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 speedup 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 quasibrittle materials.
 [103] arXiv:2212.04421 [pdf, ps, other]

Title: Implications of subconvexity bounds for the moments of zetaAuthors: Kevin SmithComments: 17 pagesSubjects: Number Theory (math.NT)
It is wellknown 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 righthalf 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 skewproductAuthors: Ramanpreet KaurSubjects: Complex Variables (math.CV)
In this note, we use the plurisubharmonic method to unveil Baker domain of a transcendental skewproduct.
 [105] arXiv:2212.04431 [pdf, ps, other]

Title: A simple upper bound for the ground state energy of a dilute Bose gas of hard spheresAuthors: Giulia Basti, Serena Cenatiempo, Alessandro Giuliani, Alessandro Olgiati, Giulio Pasqualetti, Benjamin SchleinComments: 14 pagesSubjects: Mathematical Physics (mathph); Quantum Gases (condmat.quantgas); Analysis of PDEs (math.AP)
We consider a gas of bosons interacting through a hardsphere 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 modulesAuthors: Jan TrlifajSubjects: 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 tripletsComments: 18 pages, 1 figure, 3 tablesSubjects: 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 kernelsComments: 14 pagesSubjects: 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 foliationAuthors: Stephane GeudensComments: 34 pages, comments welcomeSubjects: Symplectic Geometry (math.SG)
It is wellknown 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 subintervals $(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: Nontightness in class theory and secondorder arithmeticSubjects: Logic (math.LO)
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be biinterpretable. Many wellstudied 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 nontight theories. Specifically, we show that GB and ACA0 each admit different biinterpretable extensions, and the same holds for their extensions by adding Sigma^1_kComprehension, 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 normincreasing $3$isometriesComments: 16 pages, 2 figuresSubjects: Functional Analysis (math.FA)
We construct an analytic normincreasing $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 quasiBrownian directed tree of valency $2.$
 [113] arXiv:2212.04459 [pdf, other]

Title: Proximal Algorithms for Smoothed Online Convex Optimization with PredictionsComments: 21 pages, 10 figuresSubjects: 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 timevarying 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, nonsmooth and strongly convex stage costs, and RHAPDSmooth (RHAPDS) for nonproximable, smooth and strongly convex stage costs. In addition to outperforming gradient descentbased 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 nonsmooth 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 quasiquadratic Las Vegas algorithm for primalityAuthors: Tejas RaoSubjects: 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 quasiquadratic heuristic primality cerftification.
 [115] arXiv:2212.04464 [pdf, ps, other]

Title: Recurrent subspaces in Banach spacesAuthors: Antoni LópezMartínezComments: 23 pagesSubjects: 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 quasirigid 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 weaklymixing 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 firstorder linear wave equationsAuthors: Ashkan JavaherianSubjects: Numerical Analysis (math.NA)
Simulating propagation of acoustic waves via solving a system of threecoupled firstorder linear differential equations using a kspace pseudospectral method is popular for biomedical applications, firstly because of availability of an opensource toolbox for implementation of this numerical approach, and secondly because of its efficiency. The kspace pseudospectral 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 kWave 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 manifoldsAuthors: Fabian ReedeComments: 10 pages. Comments welcomeSubjects: 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 structureSubjects: 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 halfedges. Given a stochastic matrix $Q$, we pick a random perfect matching of the halfedges subject to the constraint that each vertex $v$ has $\mathrm{deg}^{\text{int}}(v)$ neighbours inside its community and the proportion of outgoing halfedges from community $i$ matched to a halfedge 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], BenHamou established a dichotomy for cutoff for a nonbacktracking 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 OneBit Quantized SystemsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper investigates the mean square error (MSE)optimal conditional mean estimator (CME) in onebit 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 wellknown 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 closedform expression of the MSE for that case. Afterwards, we find a closedform 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 wellknown 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 ChannelsSubjects: 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 tworeceiver broadcast channels. One novelty is that the argument does not require the existence of distributions that achieve capacity.
Crosslists for Fri, 9 Dec 22
 [121] arXiv:2212.03870 (crosslist from hepth) [pdf, other]

Title: Double Quiver Gauge Theory and BPS/CFT CorrespondenceAuthors: Taro KimuraComments: 34 pagesSubjects: High Energy Physics  Theory (hepth); 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 (crosslist from nlin.PS) [pdf, other]

Title: Spatially Extended Dislocations Produced by the Dispersive SwiftHohenberg EquationSubjects: 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 twodimensional KuramotoSivashinsky equation has a dramatic effect on the pattern formation, we study the SwiftHohenberg equation with an added linear dispersive term, the dispersive SwiftHohenberg equation (DSHE). The DSHE produces stripe patterns with spatially extended dislocations that we call seam defects. In contrast to the dispersive KuramotoSivashinsky 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 GinzburgLandau 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 (crosslist from cs.NI) [pdf, other]

Title: Minimizing Age of Information in Spatially Distributed Random Access Wireless NetworksComments: Accepted to IEEE INFOCOM 2023Subjects: 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, minmax, 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 minmax 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 (crosslist from stat.ML) [pdf, other]

Title: Statistical and Computational Guarantees for Influence DiagnosticsSubjects: 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 finitesample statistical bounds, as well as computational complexity bounds, for influence functions and approximate maximum influence perturbations using efficient inverseHessianvector product implementations. We illustrate our results with generalized linear models and large attention based models on synthetic and real data.
 [125] arXiv:2212.04223 (crosslist from cs.LG) [pdf, other]

Title: Vicious Classifiers: Data Reconstruction Attack at Inference TimeComments: 14 pagesSubjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Information Theory (cs.IT)
Privacypreserving 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 lowcomplexity 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 opensource our code and results, as a benchmark for future work.
 [126] arXiv:2212.04244 (crosslist from physics.socph) [pdf, ps, other]

Title: Unpredictability in seasonal infectious diseases spreadAuthors: Enrique C. Gabrick, Elaheh Sayari, Paulo R. Protachevicz, José D. Szezech Jr., Kelly C. Iarosz, Silvio L.T. de Souza, Alexandre C.L. Almeida, Ricardo L. Viana, Iberê L. Caldas, Antonio M. BatistaSubjects: Physics and Society (physics.socph); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD); Biological Physics (physics.bioph)
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 (crosslist from quantph) [pdf, other]

Title: The Thermomajorization Polytope and Its DegeneraciesComments: 23+14 pages. To be submitted to J. Math. PhysSubjects: Quantum Physics (quantph); Mathematical Physics (mathph); 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 quasiclassical 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 Gibbsstochastic 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 ``wellstructured'' 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 quasiclassical 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 (crosslist from cs.LG) [pdf, other]

Title: Improved Deep Neural Network Generalization Using mSharpnessAware MinimizationAuthors: Kayhan Behdin, Qingquan Song, Aman Gupta, David Durfee, Ayan Acharya, Sathiya Keerthi, Rahul MazumderSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Modern deep learning models are overparameterized, 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. SharpnessAware 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 minibatch. 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 (crosslist from cs.CR) [pdf, other]

Title: Secure communication using low dimensional topological elementsAuthors: Manuel F. FerrerGarcia, Avishy Carmi, Alessio D'Errico, Hugo Larocque, Eliahu Cohen, Ebrahim KarimiComments: 5 pages, 4 figuresSubjects: Cryptography and Security (cs.CR); Mathematical Physics (mathph); Quantum Physics (quantph)
Lowdimensional 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 lowdimensional topological elements under deformations allows them to be employed as a reliable framework for information exchange. Here, we introduce a challengeresponse 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 (crosslist from hepth) [pdf, other]

Title: Quiver diagonalization and open BPS statesComments: 37 pagesSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Algebra (math.QA); Representation Theory (math.RT)
We show that motivic DonaldsonThomas 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 DonaldsonThomas and LabastidaMari\~{n}oOoguriVafa invariants that count open BPS states, as well as expressing motivic DonaldsonThomas 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 (crosslist from eess.SY) [pdf, other]

Title: On Attack Detection and Identification for the CyberPhysical System using Lifted System ModelComments: It is the preprint of a paper submitted to AutomaticaSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)
Motivated by the safety and security issues related to cyberphysical systems with potentially multirate, 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 (crosslist from cs.SI) [pdf, other]

Title: A Cosine RuleBased Discrete Sectional Curvature for GraphsSubjects: Social and Information Networks (cs.SI); Disordered Systems and Neural Networks (condmat.disnn); Discrete Mathematics (cs.DM); Mathematical Physics (mathph)
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 metricdistortion. 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 selfsimilar fractals.
 [133] arXiv:2212.04414 (crosslist from grqc) [pdf, ps, other]

Title: Semiclassical analysis of Dirac fields on curved spacetimeSubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
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 WentzelKramersBrillouin approximation, and the results are analyzed at leading and nexttoleading order in the small expansion parameter $\hbar$. Taking into account the spinorbit coupling between the internal and external degrees of freedom of wave packets, we derive effective ray equations with spindependent 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 MathissonPapapetrou equations for spinning objects.
 [134] arXiv:2212.04429 (crosslist from grqc) [pdf, other]

Title: An Effective Sign Switching Dark Energy: LotkaVolterra Model of Two Interacting FluidsAuthors: Yen Chin OngSubjects: General Relativity and Quantum Cosmology (grqc); Cosmology and Nongalactic Astrophysics (astroph.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 Sitterlike spacetime, but rather antide Sitterlike. That is, the Universe underwent an "AdStodS" transition at some point. We study the possibility that there are two dark energy fluids, one of which gave rise to the antide Sitterlike early Universe. The interaction is modeled by the LotkaVolterra 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$ "AdStodS" transition, thus serving as a counterexample 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 "AdStodS" 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 selfinteraction term of the fluids, which is analogous to the resource capacity in population biology.
 [135] arXiv:2212.04443 (crosslist from cs.LG) [pdf, other]

Title: A Distributed Block ChebyshevDavidson Algorithm for Parallel Spectral ClusteringSubjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
We develop a distributed Block ChebyshevDavidson algorithm to solve largescale leading eigenvalue problems for spectral analysis in spectral clustering. First, the efficiency of the ChebyshevDavidson 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 fatheranddaughter dialogueAuthors: G. D'AgostiniComments: 14 pages, 15 figures, in Italian, published in Progetto Alice, Rivista di Matematica e DidatticaJournalref: Progetto Alice, Vol. XIX, nr. 55 (2018) pp. 5571Subjects: History and Overview (math.HO)
 [137] arXiv:1811.07706 (replaced) [pdf, other]

Title: Invariant factors as limit of singular values of a matrixComments: 9 pages, 1 figureJournalref: Arnold Math. J. 8 (2022), no. 34, 561571Subjects: Algebraic Geometry (math.AG)
 [138] arXiv:1908.01131 (replaced) [pdf, ps, other]

Title: Random Tensors and their Normal DistributionsComments: 26 pagesSubjects: Statistics Theory (math.ST)
 [139] arXiv:1909.07228 (replaced) [pdf, ps, other]

Title: Spectral stability of monotone traveling fronts for reaction diffusiondegenerate Nagumo equationsComments: 34 pages, 1 figuresJournalref: Indiana University Mathematics Journal 71 (2022), no. 6, 23352376Subjects: Analysis of PDEs (math.AP)
 [140] arXiv:1911.01844 (replaced) [pdf, ps, other]

Title: The Blowup solutions for fractional heat equations on torus and Euclidean spaceAuthors: Divyang G. BhimaniComments: 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 variablesAuthors: Holger SambaleComments: 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 curvesComments: 77 pages, 18 figures. Version accepted for publication in Comm. Math. PhysSubjects: Probability (math.PR); Mathematical Physics (mathph)
 [143] arXiv:2008.00779 (replaced) [pdf, other]

Title: Approximating pathwidth for graphs of small treewidthComments: v4: small changes following further comments from a referee. v3: revised following referees' comments, corrects a serious error in the previous versionSubjects: 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 NashWilliams Forest Decomposition and StarForest DecompositionSubjects: 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 twocurve flopsComments: Final version, after incorporating referee comments. 54 pagesSubjects: Symplectic Geometry (math.SG)
 [146] arXiv:2011.07818 (replaced) [pdf, other]

Title: Optimal multiple changepoint detection for highdimensional dataSubjects: Statistics Theory (math.ST)
 [147] arXiv:2101.01443 (replaced) [pdf, ps, other]

Title: Unbounded generalization of logarithmic representation of infinitesimal generatorsAuthors: Yoritaka IwataComments: To appear in Math. Meth. Appl. SciSubjects: Functional Analysis (math.FA); Mathematical Physics (mathph); Analysis of PDEs (math.AP); Operator Algebras (math.OA)
 [148] arXiv:2101.02050 (replaced) [pdf, other]

Title: PIETOOLS 2022: User ManualSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
 [149] arXiv:2101.07737 (replaced) [pdf, ps, other]

Title: Outage Probability Analysis of Uplink CellFree Massive MIMO Network with and without Pilot ContaminationComments: In this version, we have extended our analysis to multiple antenna AP and the scenario with and without pilot contaminationSubjects: Information Theory (cs.IT)
 [150] arXiv:2103.10261 (replaced) [pdf, ps, other]

Title: Harmonic analysis on certain spherical varietiesComments: 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 processesComments: 31 pages, 10 figures, video available on this https URLSubjects: Mathematical Finance (qfin.MF); Probability (math.PR); Methodology (stat.ME)
 [152] arXiv:2104.06565 (replaced) [pdf, other]

Title: Optimal Rates of Teaching and Learning Under UncertaintyComments: IEEE Transactions on Information Theory, Volume 67, Issue 11, pp. 70677080, Nov. 2021. This version slightly modifies/expands the 'Existing Results' sectionSubjects: 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 graphsComments: arXiv admin note: text overlap with arXiv:2105.06798Subjects: Combinatorics (math.CO)
 [154] arXiv:2105.13202 (replaced) [pdf, other]

Title: Convergence of a Packet Routing Model to Flows Over TimeComments: 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 McKeanVlasov SDEs with nonLipschitz coefficientsComments: 25 pagesSubjects: Probability (math.PR)
 [156] arXiv:2107.07765 (replaced) [pdf, ps, other]

Title: Piecewise strongly proximal actions, free boundaries and the Neretin groupsSubjects: Group Theory (math.GR); Operator Algebras (math.OA)
 [157] arXiv:2107.11738 (replaced) [pdf, other]

Title: Power Allocation for Uplink Communications of Massive CellularConnected UAVsAuthors: Xuesong Cai, István Z. Kovács, Jeroen Wigard, Rafhael Amorim, Fredrik Tufvesson, Preben E. MogensenComments: 14 twocolumn pages, submitted to IEEE for possible publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [158] arXiv:2108.04813 (replaced) [pdf, ps, other]

Title: On the equivalence of certain quasiHermitian varietiesComments: 17 pages; final versionJournalref: J. Combin. Des. 115 (2022)Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
 [159] arXiv:2108.08118 (replaced) [pdf, other]

Title: Crumby colorings  redblue vertex partition of subcubic graphs regarding a conjecture of ThomassenComments: 22 pages, 15 figures, revised versionSubjects: Combinatorics (math.CO)
 [160] arXiv:2108.08945 (replaced) [pdf, ps, other]

Title: Anderson acceleration for a regularized Bingham modelSubjects: Numerical Analysis (math.NA)
 [161] arXiv:2108.11490 (replaced) [pdf, ps, other]

Title: Lie groups of Poisson diffeomorphismsAuthors: Wilmer SmildeComments: 35 pages. Accepted for publication in Journal of Symplectic GeometrySubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG)
 [162] arXiv:2108.11491 (replaced) [pdf, ps, other]

Title: Linearization of Poisson groupoidsAuthors: Wilmer SmildeComments: 36 pagesJournalref: Indagationes Mathematicae, Volume 33, Issue 3, 2022, Pages 682717, ISSN 00193577Subjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)
 [163] arXiv:2109.13976 (replaced) [pdf, other]

Title: Gaussian Belief Space Path Planning for Minimum Sensing NavigationSubjects: 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 GulerSubjects: Combinatorics (math.CO)
 [165] arXiv:2110.00604 (replaced) [pdf, other]

Title: Inexact bilevel stochastic gradient methods for constrained and unconstrained lowerlevel problemsSubjects: 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 NumbersSubjects: Combinatorics (math.CO)
 [167] arXiv:2110.06299 (replaced) [pdf, other]

Title: Elliptic Weingarten Hypersurfaces of Riemannian ProductsSubjects: Differential Geometry (math.DG)
 [168] arXiv:2110.07005 (replaced) [pdf, ps, other]

Title: Proper orientations and proper chromatic numberSubjects: Combinatorics (math.CO)
 [169] arXiv:2110.11484 (replaced) [pdf, ps, other]

Title: Backward multivalued McKeanVlasov SDEs and associated variational inequalitiesComments: 26 pagesSubjects: Probability (math.PR)
 [170] arXiv:2110.12867 (replaced) [pdf, ps, other]

Title: Almost RicciYamabe soliton on Almost Kenmotsu ManifoldsSubjects: 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 matricesSubjects: 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 LiuJournalref: Journal of Algebra 2023Subjects: Number Theory (math.NT); Representation Theory (math.RT)
 [173] arXiv:2111.13695 (replaced) [pdf, other]

Title: Covariant influences for finite discrete dynamical systemsComments: 23 + 3 pages, 4 figuresSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); Biological Physics (physics.bioph); Quantum Physics (quantph)
 [174] arXiv:2111.15495 (replaced) [pdf, ps, other]

Title: Towards the Generalized Purely Wild Inertia Conjecture for product of Alternating and Symmetric GroupsAuthors: Soumyadip DasComments: Final version; 13 pagesSubjects: 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 variablesComments: 44 pagesSubjects: Probability (math.PR)
 [176] arXiv:2112.07120 (replaced) [pdf, other]

Title: Simple Coding Techniques for ManyHop RelayingComments: IEEE Transactions on Information Theory, Volume 68, Issue 11, pp. 70437053, Nov. 2022Subjects: Information Theory (cs.IT)
 [177] arXiv:2201.00718 (replaced) [pdf, other]

Title: On the symmetric group action on rigid disks on a stripAuthors: Nicholas WawrykowComments: 33 pages, 8 figuresSubjects: 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 RerandomizationComments: 35 pages, 6 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [179] arXiv:2201.02713 (replaced) [pdf, ps, other]

Title: Bifurcations of a neural network model with symmetryComments: 41 pagesJournalref: SIAM Journal on Applied Dynamical Systems, 21(4): 25352578 (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 polynomialComments: 4 pagesSubjects: Combinatorics (math.CO)
 [181] arXiv:2201.10662 (replaced) [pdf, ps, other]

Title: Semantics for twodimensional type theoryComments: v2: final version for LICS 2022. v3: long version  for detailed log, see Section 1.5 Version HistoryJournalref: In 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (LICS '22), August 25, 2022, Haifa, Israel. ACM, New York, NY, USA, 17 pagesSubjects: 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 2groupsAuthors: Christoph WeisComments: v2: Minor edits. Added and fixed referencesSubjects: Representation Theory (math.RT); Mathematical Physics (mathph); 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$ normsSubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
 [184] arXiv:2202.07719 (replaced) [pdf, ps, other]

Title: Matchings in matroids over abelian groupsComments: Comments are welcomeSubjects: Combinatorics (math.CO)
 [185] arXiv:2202.08361 (replaced) [pdf, other]

Title: Vectorization of a threadparallel Jacobi singular value decomposition methodAuthors: Vedran Novaković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 reasonsSubjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)
 [186] arXiv:2202.11342 (replaced) [pdf, other]

Title: Training Adaptive Reconstruction Networks for Blind Inverse ProblemsSubjects: 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 3connected bipartite planar mapsComments: 15 pagesSubjects: Combinatorics (math.CO)
 [188] arXiv:2203.02960 (replaced) [pdf, ps, other]

Title: The homotopy theory and minimal model of RotaBaxter algebras of arbitrary weightComments: A completely new version of arXiv:2108.06744. Title changedSubjects: KTheory and Homology (math.KT); Rings and Algebras (math.RA)
 [189] arXiv:2203.03763 (replaced) [pdf, other]

Title: Periodic orbits in HořavaLifshitz cosmologiesComments: 21 pages, 7 figures. arXiv admin note: text overlap with arXiv:2012.07614Subjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph); 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 squareComments: 17 pagesSubjects: Combinatorics (math.CO)
 [191] arXiv:2203.16861 (replaced) [pdf, other]

Title: On Reconfiguration Graphs of Independent Sets under Token SlidingComments: 17 pages, 12 figuresSubjects: 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 algebrasComments: Results improved in Section 3, introduction partially rewritten. Comments welcomeSubjects: 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 ModelsComments: 25 pages, 1 figureSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [194] arXiv:2204.11805 (replaced) [pdf, other]

Title: Corner the EmpressComments: 7 pages and 2 figuresSubjects: Combinatorics (math.CO)
 [195] arXiv:2204.12372 (replaced) [pdf, ps, other]

Title: Ribbon cobordisms as a partial orderAuthors: Marius HuberComments: The main result is essentially the same as that of arXiv:2204.10730. Comments welcomeSubjects: Geometric Topology (math.GT)
 [196] arXiv:2205.07183 (replaced) [pdf, other]

Title: An extended definition of Anosov representation for relatively hyperbolic groupsAuthors: Theodore WeismanComments: 78 pages, 8 figures. Latest version corrects some issues with various technical lemmas, especially in sections 6, 8, and 12Subjects: 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 setsAuthors: Luisa F. HiguerasMontaño (1), Natalia JonardPé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 ANRspaces, Hilbert cube manifolds and Gspaces, 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 fixedSubjects: Geometric Topology (math.GT); General Topology (math.GN)
 [198] arXiv:2206.00122 (replaced) [pdf, other]

Title: A Class of Lowcomplexity DCTlike Transforms for Image and Video CodingAuthors: T. L. T. da Silveira, D. R. Canterle, D. F. G. Coelho, V. A. Coutinho, F. M. Bayer, R. J. CintraComments: 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 tablesJournalref: IEEE Transactions on Circuits and Systems for Video Technology, v. 32, n. 7, July 2022Subjects: 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 SetAuthors: Filippo Beretta, Jesse Dimino, Weike Fang, Thomas C. Martinez, Steven J. Miller, Daniel StollComments: Published in Fractal and Fractional. Updated to include more thorough statistical testing, additional information, and to improve readability. Fixed several typosJournalref: Fractal and Fractional, 2022, Volume 6, Issue 10, Page 534Subjects: Complex Variables (math.CV); Probability (math.PR)
 [200] arXiv:2206.04610 (replaced) [pdf, other]

Title: Maximal BrillNoether loci via K3 surfacesComments: 33 pages, 1 figure. Comments welcomeSubjects: Algebraic Geometry (math.AG)
 [201] arXiv:2206.05037 (replaced) [pdf, ps, other]

Title: Efficient filtering for multiscale McKeanVlasov Stochastic differential equationsComments: 24 pagesSubjects: Probability (math.PR)
 [202] arXiv:2206.06000 (replaced) [pdf, ps, other]

Title: Frobenius kernels of algebraic supergroups and Steinberg's tensor product theoremAuthors: Taiki ShibataComments: 33 pages, some errors are correctedSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
 [203] arXiv:2206.06991 (replaced) [pdf, ps, other]

Title: Concentration of discrepancybased ABC via Rademacher complexitySubjects: 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 ConsumptionAuthors: Ertugrul BasarComments: To appear in IEEE Transactions on CommunicationsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [205] arXiv:2206.13291 (replaced) [pdf, ps, other]

Title: Chaos propagation in mean field networks of FitzHughNagumo neuronsAuthors: Laetitia Colombani (1), Pierre Le Bris (2) ((1) Institut Mathématiques de Toulouse, (2) Laboratoire JacquesLouis Lions)Comments: 45 pages, version 2Subjects: Probability (math.PR)
 [206] arXiv:2206.15319 (replaced) [pdf, other]

Title: On extended boundary sequences of morphic and Sturmian wordsComments: 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 79Subjects: 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 DescentSubjects: Analysis of PDEs (math.AP); Machine Learning (cs.LG); Mathematical Physics (mathph); Optimization and Control (math.OC)
 [208] arXiv:2207.01240 (replaced) [pdf, ps, other]

Title: The Lefschetz defect of Fano varietiesAuthors: Cinzia CasagrandeComments: Updated references, final version, 16 pages. To appear in the Rendiconti del Circolo Matematico di Palermo, special issue on Fano varietiesSubjects: 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 typeAuthors: Ivan D. ChipchakovComments: 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 textSubjects: 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 kernelsComments: 19 pagesSubjects: Probability (math.PR)
 [211] arXiv:2207.03970 (replaced) [pdf, other]

Title: Boundary and domain wall theories of 2d generalized quantum double modelComments: v1: 41 pages; v2 some typos fixed; v3: some references added; v4: 62 pages, algebraic theory addedSubjects: Quantum Physics (quantph); Strongly Correlated Electrons (condmat.strel); Mathematical Physics (mathph)
 [212] arXiv:2207.14127 (replaced) [pdf, other]

Title: Hyperbolic models for CAT(0) spacesComments: 52 pages. v2: Major update. Unified the family of models from v1 into a single space, added consequences on universalitySubjects: Metric Geometry (math.MG); Group Theory (math.GR)
 [213] arXiv:2208.02003 (replaced) [pdf, ps, other]

Title: MultiBit Relaying over a Tandem of ChannelsSubjects: Information Theory (cs.IT)
 [214] arXiv:2208.02091 (replaced) [pdf, ps, other]

Title: Somborindexlike invariants of some graphsComments: 13 pages, 7 figures, 3 tables. arXiv admin note: text overlap with arXiv:2103.13663, arXiv:2102.10409Subjects: Combinatorics (math.CO)
 [215] arXiv:2208.03728 (replaced) [pdf, ps, other]

Title: Poisson reductions of master integrable systems on doubles of compact Lie groupsAuthors: L. FeherComments: 33 pages, minor edits in v2Subjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth); Exactly Solvable and Integrable Systems (nlin.SI)
 [216] arXiv:2208.05537 (replaced) [pdf, ps, other]

Title: Decoding quantum Tanner codesComments: 35 pages; v3: corrected several minor mistakes. arXiv admin note: text overlap with arXiv:2206.07571Subjects: Quantum Physics (quantph); Information Theory (cs.IT)
 [217] arXiv:2208.05747 (replaced) [pdf, other]

Title: Space Mapping for PDE Constrained Shape OptimizationAuthors: Sebastian BlauthSubjects: 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 DuduchavaSubjects: Mathematical Physics (mathph)
 [219] arXiv:2208.09051 (replaced) [pdf, ps, other]

Title: Energy Minimizing Configurations for SingleDirector Cosserat ShellsComments: 10 pagesSubjects: Analysis of PDEs (math.AP)
 [220] arXiv:2208.09737 (replaced) [pdf, ps, other]

Title: Dyonic Matter Equations, Exact PointSource Solutions, and Charged Black Holes in Generalized BornInfeld TheoryAuthors: Yisong YangComments: 42 pages, 1 figureSubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [221] arXiv:2208.09922 (replaced) [pdf, other]

Title: Efficient Concentration with Gaussian ApproximationSubjects: Probability (math.PR); Statistics Theory (math.ST)
 [222] arXiv:2208.10220 (replaced) [pdf, ps, other]

Title: Nonhomogeneous random walks with stochastic resetting: an application to the Gillis modelAuthors: Mattia RadiceComments: 38 pages, 7 figures. Accepted manuscript versionJournalref: J. Stat. Mech. (2022) 123206Subjects: Probability (math.PR); Statistical Mechanics (condmat.statmech)
 [223] arXiv:2208.11719 (replaced) [pdf, other]

Title: Supersingularity of Motives with Complex Multiplication and a Twisted PolarizationAuthors: Asvin GComments: 8 pages, edited for claritySubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [224] arXiv:2208.11749 (replaced) [pdf, other]

Title: Quantization dimension for selfsimilar measures of overlapping constructionSubjects: 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 RobertsonWalker spacetime: characterization of the stationary spacelike submanifolds as an applicationSubjects: 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 ExponentsComments: V2: minor changesSubjects: Quantum Physics (quantph); Information Theory (cs.IT); Mathematical Physics (mathph)
 [227] arXiv:2209.04904 (replaced) [pdf, other]

Title: Local foliations by critical surfaces of the Hawking energy and small sphere limitAuthors: Alejandro Penuela DiazSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [228] arXiv:2209.09773 (replaced) [pdf, ps, other]

Title: Solving a Dirichlet problem for unbounded domains via a conformal transformationSubjects: Analysis of PDEs (math.AP); Metric Geometry (math.MG)
 [229] arXiv:2209.09968 (replaced) [pdf, other]

Title: On 4dimensional smooth Poincare conjectureAuthors: Selman AkbulutComments: 7 pages, 11 figuresSubjects: Geometric Topology (math.GT)
 [230] arXiv:2209.10496 (replaced) [pdf, ps, other]

Title: Polynomial conditions and homology of FImodulesAuthors: Cihan BahranComments: 21 pagesSubjects: KTheory and Homology (math.KT); Group Theory (math.GR); Representation Theory (math.RT)
 [231] arXiv:2209.14137 (replaced) [pdf, ps, other]

Title: Origin of the Protonorm functor from an Inverse Problems regularization methodAuthors: Fred GreensiteComments: 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 4Subjects: Rings and Algebras (math.RA)
 [232] arXiv:2209.14193 (replaced) [pdf, other]

Title: Optimal Sobolev embeddings for the OrnsteinUhlenbeck operatorSubjects: Functional Analysis (math.FA)
 [233] arXiv:2210.00209 (replaced) [pdf, ps, other]

Title: The CowenDouglas Theory for Operator Tuples and SimilarityComments: 42pagesSubjects: Functional Analysis (math.FA)
 [234] arXiv:2210.03307 (replaced) [pdf, ps, other]

Title: From the $B$Toda to the BKP hierarchyAuthors: Yuancheng XieComments: 28 pagesSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph); 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?Authors: Jonathan SterlingSubjects: 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)$ ChernSimons theoryComments: 54 pages. v2: Results strengthened to give a complete description of state spaces of nongeneric tori for arbitrary q. Other minor improvements throughoutSubjects: Quantum Algebra (math.QA); High Energy Physics  Theory (hepth); Representation Theory (math.RT)
 [237] arXiv:2210.06752 (replaced) [pdf, ps, other]

Title: Large Steklov eigenvalue on hyperbolic surfacesComments: 15 pages, some minor changes, comments are welcomedSubjects: Differential Geometry (math.DG)
 [238] arXiv:2210.10504 (replaced) [pdf, ps, other]

Title: Diophantine approximation with constraintsComments: 38 pages, 2 figures, many small corrections with respect to version 1, to appear in Acta ArithmeticaSubjects: Number Theory (math.NT)
 [239] arXiv:2210.11325 (replaced) [pdf, other]

Title: A construction of approximately selfsimilar naked singularities for the spherically symmetric Einsteinscalar field systemAuthors: Jaydeep SinghComments: v2: Typos fixed, references added. 88 pages, 12 Figures. Comments are welcomeSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [240] arXiv:2210.14668 (replaced) [pdf, ps, other]

Title: Why would reduced Kronecker coefficients be logconcave?Authors: Tao GuiComments: 10 pages, comments are welcomeSubjects: 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 semiGorensteinprojective modulesComments: 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 5Subjects: Representation Theory (math.RT)
 [242] arXiv:2211.11497 (replaced) [pdf, other]

Title: Circle homeomorphisms with square summable diamond shearsComments: Improved introduction, updated references. 54 pages, 9 figuresSubjects: 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 ComparisonsComments: In this paper, we build simultaneous confidence intervals for ranksSubjects: 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 nonadditive measuresAuthors: Vicenç TorraSubjects: Artificial Intelligence (cs.AI); Probability (math.PR)
 [245] arXiv:2211.14692 (replaced) [pdf, other]

Title: Radial Neighbors for Provably Accurate Scalable Approximations of Gaussian ProcessesSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
 [246] arXiv:2211.15004 (replaced) [pdf, ps, other]

Title: Note on a conjecture of Hildebrand regarding friable integersSubjects: Number Theory (math.NT)
 [247] arXiv:2212.00700 (replaced) [pdf, other]

Title: High Dimensional Binary Classification under Label Shift: Phase Transition and RegularizationSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
 [248] arXiv:2212.01866 (replaced) [src]

Title: Regularized ERM on random subspacesComments: Submission withdrawn. Readers should please refer to arXiv:2006.10016Subjects: 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 MurnaghanNakayama rule for $K$$k$Schur and $k$Schur functionsAuthors: Khanh Nguyen DucComments: 19 pages, 4 picturesSubjects: Representation Theory (math.RT); Combinatorics (math.CO); KTheory and Homology (math.KT)
 [250] arXiv:2212.02696 (replaced) [pdf, ps, other]

Title: Differentially fixed ideals in toric varietiesSubjects: 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 cohomologySubjects: Number Theory (math.NT); Differential Geometry (math.DG)
 [252] arXiv:2212.02732 (replaced) [pdf, ps, other]

Title: Deterministic $K$identification For Slow Fading ChannelSubjects: Information Theory (cs.IT)
 [253] arXiv:2212.02957 (replaced) [pdf, ps, other]

Title: The Palindromic TreesComments: 10 pages, 6 figures and 1 tableSubjects: Combinatorics (math.CO); Spectral Theory (math.SP)
 [254] arXiv:2212.03171 (replaced) [pdf, ps, other]

Title: Exponential Taylor SeriesAuthors: André KowacsComments: The periodic Taylor series is generalized to an exponential Taylor series which may be usefulSubjects: 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 formulaAuthors: Gabriel WongComments: some typos fixed, references addedSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [256] arXiv:2212.03758 (replaced) [pdf, ps, other]

Title: Finitetime blowup to hyperbolic KellerSegel system of consumption type with logarithmic sensitivityAuthors: Jungkyoung NaComments: 18 pagesSubjects: Analysis of PDEs (math.AP)
[ 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)