Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Wed, 18 May 22
 [1] arXiv:2205.07876 [pdf, other]

Title: Almost everywhere and norm convergence of Approximate Identity and Fejér means of trigonometric and Vilenkin systemsSubjects: Classical Analysis and ODEs (math.CA)
In this paper we investigate very general approximation kernels with special properties, called an approximate identity and prove almost everywhere and norm convergence of these general methods, which consists of a class of summability methods and provide norm and a.e convergence of these summability methods with respect to the trigonometric system. Investigations of these summations can be used to obtain norm convergence of Fej\'er means with respect to the Vilenkin system also, but these methods are not useful to study a.e convergence in this case, because of some special properties of the kernels of Fej\'er means. Despite of this different properties we give alternative method to prove almost everywhere convergence of Fej\'er means with respect to the Vilenkin systems.
 [2] arXiv:2205.07931 [pdf, ps, other]

Title: A Comparison of Integer Partitions Based on Smallest PartSubjects: Combinatorics (math.CO); Number Theory (math.NT)
For positive integers $n, L$ and $s$, consider the following two sets that both contain partitions of $n$ with the difference between the largest and smallest parts bounded by $L$: the first set contains partitions with smallest part $s$, while the second set contains partitions with smallest part at least $s+1$. Let $G_{L,s}(q)$ be the generating series whose coefficient of $q^n$ is difference between the sizes of the above two sets of partitions. This generating series was introduced by Berkovich and Uncu in 2019. Previous results concentrated on the nonnegativity of $G_{L,s}(q)$ in the cases $s=1$ and $s=2$. In the present paper, we show the eventual positivity of $G_{L,s}(q)$ for general s and also find a precise nonnegativity result for the case $s=3$.
 [3] arXiv:2205.07937 [pdf, ps, other]

Title: MeanField Nonparametric Estimation of Interacting Particle SystemsSubjects: Statistics Theory (math.ST)
This paper concerns the nonparametric estimation problem of the distributionstate dependent drift vector field in an interacting $N$particle system. Observing singletrajectory data for each particle, we derive the meanfield rate of convergence for the maximum likelihood estimator (MLE), which depends on both Gaussian complexity and Rademacher complexity of the function class. In particular, when the function class contains $\alpha$smooth H{\"o}lder functions, our rate of convergence is minimax optimal on the order of $N^{\frac{\alpha}{d+2\alpha}}$. Combining with a Fourier analytical deconvolution argument, we derive the consistency of MLE for the external force and interaction kernel in the McKeanVlasov equation.
 [4] arXiv:2205.07947 [pdf, other]

Title: Genomic Compression with Read Alignment at the DecoderSubjects: Information Theory (cs.IT)
We propose a new compression scheme for genomic data given as sequence fragments called reads. The scheme uses a reference genome at the decoder side only, freeing the encoder from the burdens of storing references and performing computationally costly alignment operations. The main ingredient of the scheme is a multilayer code construction, delivering to the decoder sufficient information to align the reads, correct their differences from the reference, validate their reconstruction, and correct reconstruction errors. The core of the method is the wellknown concept of distributed source coding with decoder side information, fortified by a generalizedconcatenation code construction enabling efficient embedding of all the information needed for reliable reconstruction. We first present the scheme for the case of substitution errors only between the reads and the reference, and then extend it to support reads with a single deletion and multiple substitutions. A central tool in this extension is a new distance metric that is shown analytically to improve alignment performance over existing distance metrics.
 [5] arXiv:2205.07958 [pdf, ps, other]

Title: On algebraically coisotropic submanifolds of holomorphic symplectic manifoldsComments: 17 pagesSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
We investigate algebraically coisotropic submanifolds $X$ in a holomorphic symplectic projective manifold $M$. Motivated by our results in the hypersurface case, we raise the following question: when $X$ is not uniruled, is it true that up to a finite \'etale cover, the pair $(X,M)$ is a product $(Z\times Y, N\times Y)$ where $N, Y$ are holomorphic symplectic and $Z\subset N$ is Lagrangian? We prove that this is indeed the case when $M$ is an abelian variety and give some partial answer when the canonical bundle $K_X$ is semiample. In particular, when $K_X$ is nef and big, $X$ is Lagrangian in $M$. We also remark that Lagrangian submanifolds do not exist on a sufficiently general Abelian variety, in contrast to the case when $M$ is irreducible hyperk\"ahler.
 [6] arXiv:2205.07961 [pdf, ps, other]

Title: Multipliers for Hardy spaces of Dirichlet seriesComments: 29 pagesSubjects: Complex Variables (math.CV); Functional Analysis (math.FA)
We characterize the space of multipliers from the Hardy space of Dirichlet series $\mathcal H_p$ into $\mathcal H_q$ for every $1 \leq p,q \leq \infty$. For a fixed Dirichlet series, we also investigate some structural properties of its associated multiplication operator. In particular, we study the norm, the essential norm, and the spectrum for an operator of this kind. We exploit the existing natural identification of spaces of Dirichlet series with spaces of holomorphic functions in infinitely many variables and apply several methods from complex and harmonic analysis to obtain our results. As a byproduct we get analogous statements on such Hardy spaces of holomorphic functions.
 [7] arXiv:2205.07968 [pdf, other]

Title: $2$distance, injective, and exact square listcoloring of planar graphs with maximum degree 4Subjects: Combinatorics (math.CO)
In the past various distance based colorings on planar graphs were introduced. We turn our focus to three of them, namely $2$distance coloring, injective coloring, and exact square coloring. A $2$distance coloring is a proper coloring of the vertices in which no two vertices at distance $2$ receive the same color, an injective coloring is a coloring of the vertices in which no two vertices with a common neighbor receive the same color, and an exact square coloring is a coloring of the vertices in which no two vertices at distance exactly $2$ receive the same color. We prove that planar graphs with maximum degree $\Delta = 4$ and girth at least $4$ are $2$distance list $(\Delta + 7)$colorable and injectively list $(\Delta + 5)$colorable. Additionally, we prove that planar graphs with $\Delta = 4$ are injectively list $(\Delta + 7)$colorable and exact square list $(\Delta + 6)$colorable.
 [8] arXiv:2205.07971 [pdf, ps, other]

Title: On entropy solutions of scalar conservation laws with discontinuous fluxAuthors: Evgeny Yu. PanovSubjects: Analysis of PDEs (math.AP)
We introduce the notion of entropy solutions (e.s.) to a conservation law with an arbitrary jump continuous flux vector and prove existence of the largest and the smallest e.s. to the Cauchy problem. The monotonicity and stability properties of these solutions are also established. In the case of a periodic initial function we derive the uniqueness of e.s. Generally, the uniqueness property can be violated, which is confirmed by an example. Finally, we proved that in the case of single space variable a weak limit of a sequence of spatially periodic e.s. is an e.s. as well.
 [9] arXiv:2205.07977 [pdf, ps, other]

Title: pAdic quantum calculus and ideals of compact operatorsAuthors: Evgeny I. ZelenovComments: 14 pagesSubjects: Mathematical Physics (mathph)
The paper proposes a construction of a quantum differentiation operator defined on the spaces of complexvalued functions of $p$adic argument, and taking values in the algebra of bounded operators on a Hilbert space. The properties of this operator are investigated. In particular, it is proved that the differentiation operator maps $p$adic Besov spaces into Schattenvon Neumann ideals in the algebra of compact operators.
 [10] arXiv:2205.07978 [pdf, other]

Title: Conformal Geodesics Cannot SpiralSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
We show that conformal geodesics on a Riemannian manifold cannot spiral: there does not exist a conformal geodesic which becomes trapped in every neighbourhood of a point.
 [11] arXiv:2205.07986 [pdf, ps, other]

Title: Explicit Multiplication Tables of CayleyDickson AlgebrasSubjects: Rings and Algebras (math.RA)
A longstanding unresolved issue in the CayleyDickson algebra of dimension $2^n$ is that there lacks of an explicit multiplication table although it can be constructed via inductive construction. In this article we solve this open problem.
We show that the CayleyDickson algebra is a twisted group algebra with an \textit{explicit} twist function $\sigma(A,B)$ such that $$e_Ae_B=(1)^{\sigma(A,B)}e_{A\oplus B}.$$ The same approach also yields similar results for split CayleyDickson algebras.  [12] arXiv:2205.07990 [pdf, other]

Title: Empowering Optimal Control with Machine Learning: A Perspective from Model Predictive ControlSubjects: Optimization and Control (math.OC)
Solving complex optimal control problems have confronted computation challenges for a long time. Recent advances in machine learning have provided us with new opportunities to address these challenges. This paper takes the model predictive control, a popular optimal control method, as the primary example to survey recent progress that leverages machine learning techniques to empower optimal control solvers. We also discuss some of the main challenges encountered when applying machine learning to develop more robust optimal control algorithms.
 [13] arXiv:2205.07998 [pdf, other]

Title: A FaberKrahn inequality for wavelet transformsComments: 16 pagesSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
For some special window functions $\psi_{\beta} \in H^2(\mathbb{C}^+),$ we prove that, over all sets $\Delta \subset \mathbb{C}^+$ of fixed hyperbolic measure $\nu(\Delta),$ the ones over which the Wavelet transform $W_{\overline{\psi_{\beta}}}$ with window $\overline{\psi_{\beta}}$ concentrates optimally are exactly the discs with respect to the pseudohyperbolic metric of the upper half space. This answers a question raised by Abreu and D\"orfler.
Our techniques make use of a framework recently developed in a previous work by F. Nicola and the second author, but in the hyperbolic context induced by the dilation symmetry of the Wavelet transform. This leads us naturally to use a hyperbolic rearrangement function, as well as the hyperbolic isoperimetric inequality, in our analysis.  [14] arXiv:2205.08010 [pdf, other]

Title: The evalue and the Full Bayesian Significance Test: Logical Properties and Philosophical ConsequencesAuthors: Julio Michael Stern, Carlos Alberto de Braganca Pereira, Marcelo de Souza Lauretto, Luis Gustavo Esteves, Rafael Izbicki, Rafael Bassi Stern, Marcio Alves DinizSubjects: Statistics Theory (math.ST)
This article gives a conceptual review of the evalue, ev(HX)  the epistemic value of hypothesis H given observations X. This statistical significance measure was developed in order to allow logically coherent and consistent tests of hypotheses, including sharp or precise hypotheses, via the Full Bayesian Significance Test (FBST). Arguments of analysis allow a full characterization of this statistical test by its logical or compositional properties, showing a mutual complementarity between results of mathematical statistics and the logical desiderata lying at the foundations of this theory.
 [15] arXiv:2205.08011 [pdf, ps, other]

Title: Level Constrained First Order Methods for Function Constrained OptimizationSubjects: Optimization and Control (math.OC)
We present a new feasible proximal gradient method for constrained optimization where both the objective and constraint functions are given by summation of a smooth, possibly nonconvex function and a convex simple function. The algorithm converts the original problem into a sequence of convex subproblems. Either exact or approximate solutions of convex subproblems can be computed efficiently in many cases. For the inexact case, computing the solution of the subproblem requires evaluation of at most one gradient/functionvalue of the original objective and constraint functions. An important feature of the algorithm is the constraint level parameter. By carefully increasing this level for each subproblem, we provide a simple solution to overcome the challenge of bounding the Lagrangian multipliers, and show that the algorithm follows a strictly feasible solution path till convergence to the stationary point. Finally, we develop a simple, proximal gradient descent type analysis, showing that the complexity bound of this new algorithm is comparable to gradient descent for the unconstrained setting which is new in the literature. Exploiting this new design and analysis technique, we extend our algorithms to some more challenging constrained optimization problems where 1) the objective is a stochastic or finitesum function, and 2) structured nonsmooth functions replace smooth components of both objective and constraint functions. Complexity results for these problems also seem to be new in the literature. We also show that our method can be applied for convex function constrained problems where we show complexities similar to the proximal gradient method.
 [16] arXiv:2205.08021 [pdf, ps, other]

Title: On the Homology stability range for symplectic groupsAuthors: Marco SchlichtingSubjects: KTheory and Homology (math.KT); Algebraic Topology (math.AT)
We improve, by a factor of 2, known homology stability ranges for the integral homology of symplectic groups over commutative local rings with infinite residue field and show that the obstruction to further stability is bounded below by MilnorWitt Ktheory. In particular our stability range is optimal in many cases.
 [17] arXiv:2205.08035 [pdf, ps, other]

Title: Global solutions with infinitely many blowups in a meanfield neural networkSubjects: Probability (math.PR); Neurons and Cognition (qbio.NC)
We recently introduced idealized meanfield models for networks of integrateandfire neurons with impulselike interactions  the socalled delayed Poissonian meanfield models. Such models are prone to blowups: for a strong enough interaction coupling, the meanfield rate of interaction diverges in finite time with a finite fraction of neurons spiking simultaneously. Due to the reset mechanism of integrateandfire neurons, these blowups can happen repeatedly, at least in principle. A benefit of considering Poissonian meanfield models is that one can resolve blowups analytically by mapping the original singular dynamics onto uniformly regular dynamics via a time change. Resolving a blowup then amounts to solving the fixedpoint problem that implicitly defines the time change, which can be done consistently for a single blowup and for nonzero delays. Here we extend this timechange analysis in two ways: First, we exhibit the existence and uniqueness of explosive solutions with a countable infinity of blowups in the large interaction regime. Second, we show that these delayed solutions specify "physical" explosive solutions in the limit of vanishing delays, which in turn can be explicitly constructed. The first result relies on the fact that blowups are selfsustaining but nonoverlapping in the timechanged picture. The second result follows from the continuity of blowups in the timechanged picture and incidentally implies the existence of periodic solutions. These results are useful to study the emergence of synchrony in neural network models.
 [18] arXiv:2205.08038 [pdf, other]

Title: Newton and interiorpoint methods for (constrained) nonconvexnonconcave minmax optimization with stability guaranteesComments: Submitted for Journal publicationSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We address the problem of finding a local solution to a nonconvexnonconcave minmax optimization using Newton type methods, including interiorpoint ones. We modify the Hessian matrix of these methods such that, at each step, the modified Newton update direction can be seen as the solution to a quadratic program that locally approximates the minmax problem. Moreover, we show that by selecting the modification in an appropriate way, the only stable points of the algorithm's iterations are local minmax points. Using numerical examples, we show that the computation time of our algorithm scales roughly linearly with the number of nonzero elements in the Hessian. For minmax control problems with perstage costs, this generally leads to computation times that scale linearly with the horizon length.
 [19] arXiv:2205.08040 [pdf, other]

Title: Zariski dense surface subgroups in $SL(n,\mathbb{Q})$ with odd $n$Authors: Carmen GalazGarcíaSubjects: Geometric Topology (math.GT)
For odd $n$ we construct a path $\rho_t\colon \pi_1(S) \to SL(n,\mathbb{R})$ of discrete, faithful and Zariski dense representations of a surface group such that $\rho_t(\pi_1(S)) \subset SL(n,\mathbb{Q})$ for every $t\in \mathbb{Q}$.
 [20] arXiv:2205.08044 [pdf, ps, other]

Title: Modules at boundary points, fiberwise Bergman kernels, and logsubharmonicity II  on Stein manifoldsComments: 19 pages, all comments are welcomeSubjects: Complex Variables (math.CV)
In this article, we consider Bergman kernels related to modules at boundary points on Stein manifolds, and obtain a logsubharmonicity property of the Bergman kernels. As applications, we obtain a lower estimate of weighted $L^2$ integrals on Stein manifolds, and reprove an effectiveness result of strong openness property of modules at boundary points on Stein manifolds.
 [21] arXiv:2205.08049 [pdf, ps, other]

Title: Boundary layer problem on chemotaxisNavierStokes system with Robin boundary conditionsAuthors: Qianqian HouSubjects: Analysis of PDEs (math.AP)
This paper is concerned with the boundary layer problem on a chemotaxisNavierStokes system modelling boundary layer formation of aerobic bacteria in fluid. Completing the system with physical Robintype boundary conditions for oxygen, noflux and Dirichlet boundary conditions for bacteria and fluid velocity, we show that the gradients of its radial solutions in a region between two concentric spheres possessing boundary layer effects as the oxygen diffusion rate $\varepsilon$ goes to zero and the boundarylayer thickness is of order $\mathcal{O}(\varepsilon^\alpha)$ with $0<\alpha<\frac{1}{2}$.
 [22] arXiv:2205.08063 [pdf, ps, other]

Title: Fast consensus of highorder multiagent systemsComments: 9 pagesSubjects: Optimization and Control (math.OC)
In this paper, the fast consensus problem of highorder multiagent systems under undirected topologies is considered. The direct link between the consensus convergence rate and the control gains is established. An accelerated consensus algorithm based on gradient descent is proposed to optimize the convergence rate. By applying the RouthHurwitz stability criterion, the lower bound on the convergence rate is derived, and explicit control gains are derived as the necessary condition to achieve the optimal convergence rate. Moreover, a protocol with timevarying control gains is designed to achieve the finitetime consensus. Explicit formulas for the timevarying control gains and the final consensus state are given. Numerical examples and simulation results are presented to illustrate the obtained theoretical results.
 [23] arXiv:2205.08080 [pdf, ps, other]

Title: An explicit comparison of anticyclotomic $p$adic $L$functions for Hida familiesComments: Comments welcomeSubjects: Number Theory (math.NT)
The aim of this note is to compare several anticyclotomic $p$adic $L$functions for modular forms and $p$adic families of ordinary modular forms, which have been defined and studied from different perspectives by SkinnerUrban, Hida, PerinRiou, BertoliniDarmon, Vatsal, ChidaHsieh, LongoVigni, CastellaLongo and CastellaKimLongo. The main result of this paper is a comparison between the central critical twist of the twovariable anticyclotomic $p$adic $L$function obtained as specialisation of the threevariable $p$adic $L$function of SkinnerUrban and the twovariable $p$adic $L$function introduced by one of the authors on collaboration with Vigni by means of $p$adic families of Gross points.
 [24] arXiv:2205.08081 [pdf, ps, other]

Title: On the nontriviality of RankinSelberg $L$values in Hida familiesComments: Comments welcomeSubjects: Number Theory (math.NT)
The aim of this paper is to prove the twovariable anticyclotomic Iwasawa main conjecture for Hida families and a definite version of the horizontal nonvanishing conjecture, which are formulated in LongoVigni. Our approach is based on the twovariable anticyclotomic control theorem for Selmer groups for Hida families and the relation between the twovariable anticyclotomic $L$function for Hida families built out of $p$adic families of Gross points on definite Shimura curves studied in CastellaLongo and CastellaKimLongo and the selfdual twist of the specialisation to the anticyclotomic line of the threevariable $p$adic $L$function of SkinnerUrban.
 [25] arXiv:2205.08085 [pdf, ps, other]

Title: Randomized Augmented Kaczmarz Methods For Linear Systems & Linear Feasibility ProblemsAuthors: Md Sarowar MorshedSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
In this work, we shed light on the socalled Kaczmarz method for solving Linear System (LS) and Linear Feasibility (LF) problems from a optimization point of view. We introduce wellknown optimization approaches such as Lagrangian penalty and Augmented Lagrangian in the Randomized Kaczmarz (RK) method. In doing so, we propose two variants of the RK method namely the Randomized Penalty Kacmarz (RPK) method and Randomized Augmented Kacmarz (RAK) method. We carry out convergence analysis of the proposed methods and obtain linear convergence results.
 [26] arXiv:2205.08097 [pdf, ps, other]

Title: A note on knot Floer thickness and the dealternating numberAuthors: Linh TruongComments: 5 pages, 1 figureSubjects: Geometric Topology (math.GT)
In this note, we give a short proof that knot Floer thickness is a lower bound on the dealternating number of a knot. The result is originally due to work of Abe and Kishimoto, Lowrance, and Turaev. Our proof is a modification of the StipsiczSzabo approach using Kauffman states to show that thickness bounds the minimal number of bad domains in a knot diagram.
 [27] arXiv:2205.08100 [pdf, ps, other]

Title: The duality between Ftheory and the Heterotic String in $D=8$ with two Wilson linesComments: 22 pages. arXiv admin note: substantial text overlap with arXiv:1908.09578, arXiv:1806.07460Journalref: Lett. Math. Phys. 110 (2020), no. 11, 30813104Subjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth)
We construct nongeometric string compactifications by using the Ftheory dual of the heterotic string compactified on a twotorus with two Wilson line parameters, together with a close connection between modular forms and the equations for certain K3 surfaces of Picard rank $16$. We construct explicit Weierstrass models for all inequivalent Jacobian elliptic fibrations supported on this family of K3 surfaces and express their parameters in terms of modular forms generalizing Siegel modular forms. In this way, we find a complete list of all dual nongeometric compactifications obtained by the partial higgsing of the heterotic string gauge algebra using two Wilson line parameters.
 [28] arXiv:2205.08105 [pdf, ps, other]

Title: Discretization of inherent ODEs and the geometric integration of DAEs with symmetriesSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
Discretization methods for differentialalgebraic equations (DAEs) are considered that are based on the integration of an associated inherent ordinary differential equation (ODE). This allows to make use of any discretization scheme suitable for the numerical integration of ODEs. For DAEs with symmetries it is shown that the inherent ODE can be constructed in such a way that it inherits the symmetry properties of the given DAE and geometric properties of its flow. This in particular allows the use of geometric integration schemes with a numerical flow that has analogous geometric properties.
 [29] arXiv:2205.08107 [pdf, other]

Title: Conformal capacity of hedgehogsComments: 41 pages, 6 figuresSubjects: Complex Variables (math.CV)
In this paper we discuss problems concerning the conformal condenser capacity of "hedgehogs", which are compact sets $E$ in the unit disk $\mathbb{D}=\{z:\,z<1\}$ consisting of a central body $E_0$ that is typically a smaller disk $\overline{\mathbb{D}}_r=\{z:\,z\le r\}$, $0<r<1$, and several spikes $E_k$ that are compact sets lying on radial intervals $I(\alpha_k)=\{te^{i\alpha_k}:\,0\le t<1\}$. The main questions we are concerned with are the following: (1) How does the conformal capacity ${\rm cap}(E)$ of $E=\cup_{k=0}^n E_k$ behave when the spikes $E_k$, $k=1,\ldots,n$, move along the intervals $I(\alpha_k)$ toward the central body if their hyperbolic lengths are preserved during the motion? (2) How does the capacity ${\rm cap}(E)$ depend on the distribution of angles between the spikes $E_k$? We prove several results related to these questions and discuss methods of applying symmetrization type transformations to study the capacity of hedgehogs. Several open problems, including problems on the capacity of hedgehogs in the threedimensional hyperbolic space, also will be suggested.
 [30] arXiv:2205.08117 [pdf, other]

Title: The inverse Galois problem for connected algebraic groupsComments: 21 pagesSubjects: Algebraic Geometry (math.AG)
We show that each connected group scheme of finite type over an arbitrary ground field is isomorphic to the component of the identity inside the automorphism group scheme of some projective, geometrically integral scheme. The main ingredients are embeddings into smooth group schemes, equivariant completions, blowups of orbit closures, Fitting ideals for K\"ahler differentials, and Blanchard's Lemma.
 [31] arXiv:2205.08121 [pdf, other]

Title: Design of Joint SourceChannel Codes Based on a Single ProtographComments: 20 pages, 15 figures, 5 tablesSubjects: Information Theory (cs.IT)
In this paper, we propose using a single protograph to design joint sourcechannel codes (JSCCs). We present a generalized algorithm, called protograph extrinsic information transfer for JSCC algorithm (PEXITJSCC algorithm), for analyzing the channel threshold of the proposed JSCC. We also propose a source single protograph EXIT (SSPEXIT) algorithm, which is more generic than the generalized source protograph extrinsic information transfer (GSPEXIT) algorithm, for evaluating the source threshold of a single protograph. Moreover, a collaborative optimization method based on the SSPEXIT and PEXITJSCC algorithms is proposed to construct singleprotograph JSCCs with good source and channel thresholds. Finally, we construct singleprotograph JSCCs, analyze their decoding thresholds, and compare their theoretical and error performance with JSCC systems based on optimized doubleprotographs. Results show that our proposed codes can attain channel thresholds within 1 dB from the Shannon limit and outperform doubleprotographbased JSCCs.
 [32] arXiv:2205.08126 [pdf, other]

Title: The Hamilton compression of highly symmetric graphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We say that a Hamilton cycle $C=(x_1,\ldots,x_n)$ in a graph $G$ is $k$symmetric, if the mapping $x_i\mapsto x_{i+n/k}$ for all $i=1,\ldots,n$, where indices are considered modulo $n$, is an automorphism of $G$. In other words, if we lay out the vertices $x_1,\ldots,x_n$ equidistantly on a circle and draw the edges of $G$ as straight lines, then the drawing of $G$ has $k$fold rotational symmetry, i.e., all information about the graph is compressed into a $360^\circ/k$ wedge of the drawing. We refer to the maximum $k$ for which there exists a $k$symmetric Hamilton cycle in $G$ as the Hamilton compression of $G$. We investigate the Hamilton compression of four different families of vertextransitive graphs, namely hypercubes, Johnson graphs, permutahedra and Cayley graphs of abelian groups. In several cases we determine their Hamilton compression exactly, and in other cases we provide close lower and upper bounds. The cycles we construct have a much higher compression than several classical Gray codes known from the literature. Our constructions also yield Gray codes for bitstrings, combinations and permutations that have few tracks and/or that are balanced.
 [33] arXiv:2205.08133 [pdf, ps, other]

Title: On Clique Incidence Matrices and Derivatives of Clique PolynomialsAuthors: Hossein Teimoori FaalSubjects: Combinatorics (math.CO)
The ordinary generating function of the number of complete subgraphs (cliques) of $G$, denoted by $C(G,x)$, is called the The clique polynomial of the graph $G$. In this paper, we first introduce some \emph{clique} incidence matrices associated by a simple graph $G$ as a generalization of the classical vertexedge incidence matrix of $G$. Then, using these clique incidence matrices, we obtain two cliquecounting identities that can be used for deriving two combinatorial formulas for the first and the second derivatives of clique polynomials. Finally, we conclude the paper with several open questions and conjectures about possible extensions of our main results for higher derivatives of clique polynomials.
 [34] arXiv:2205.08137 [pdf, ps, other]

Title: On the exterior Dirichlet problem for Hessian type fully nonlinear elliptic equationsComments: 24 pagesSubjects: Analysis of PDEs (math.AP)
We treat the exterior Dirichlet problem for a class of fully nonlinear elliptic equations of the form $$f(\lambda(D^2u))=g(x),$$ with prescribed asymptotic behavior at infinity. The equations of this type had been studied extensively by CaffarelliNirenbergSpruck \cite{Caffarelli1985}, Trudinger \cite{Trudinger1995} and many others, and there had been significant discussions on the solvability of the classical Dirichlet problem via the continuity method, under the assumption that $f$ is a concave function. In this paper, based on the Perron's method, we establish an exterior existence and uniqueness result for viscosity solutions of the equations by assuming $f$ to satisfy certain structure conditions as in \cite{Caffarelli1985,Trudinger1995}, which may embrace the wellknown MongeAmp\`ere equations, Hessian equations and Hessian quotient equations as special cases but do not require the concavity.
 [35] arXiv:2205.08140 [pdf, ps, other]

Title: State feedback control law design for an agedependent SIR modelComments: Preprint submitted to AutomaticaSubjects: Optimization and Control (math.OC)
An agedependent SIR model is considered with the aim to develop a statefeedback vaccination law in order to eradicate a disease. A dynamical analysis of the system is performed using the principle of linearized stability and shows that, if the basic reproduction number is larger than 1, the disease free equilibrium is unstable. This result justifies the developement of a vaccination law. Two approaches are used. The first one is based on a dicretization of the partial integrodifferential equations (PIDE) model according to the age. In this case a linearizing feedback law is found using Isidori's theory. Conditions guaranteeing stability and positivity are established. The second approach yields a linearizing feedback law developed for the PIDE model. This law is deduced from the one obtained for the ODE case. Using semigroup theory, stability conditions are also obtained. Finally, numerical simulations are presented to reinforce the theoretical arguments.
 [36] arXiv:2205.08145 [pdf, ps, other]

Title: Is the rightangled building associated to a universal group unique?Authors: Lara BeßmannComments: 8 Pages, 2 Figures. Comments are welcome!Subjects: Group Theory (math.GR)
A universal group is a subgroup of the group of type preserving automorphisms of a rightangled building and hence associated to this building. A question is then if this universal group can act chambertransitively and with compact open stabilisers on a different rightangled building of the same type. We answer this question and define two universal groups associated to different rightangled buildings which are isomorphic as topological groups.
 [37] arXiv:2205.08149 [pdf, ps, other]

Title: A Novel KRepetition Design for SCMAComments: 6 pages, 6 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This work presents a novel KRepetition based HARQ scheme for LDPC coded uplink SCMA by employing a network coding (NC) principle to encode different packets, where KRepetition is an emerging technique (recommended in 3GPP Release 15) for enhanced reliability and reduced latency in future massive machinetype communication. Such a scheme is referred to as the NC aided Krepetition SCMA (NCKSCMA). We introduce a joint iterative detection algorithm for improved detection of the data from the proposed LDPC coded NCKSCMA systems. Simulation results demonstrate the benefits of NCKSCMA with higher throughput and improved reliability over the conventional KRepetition SCMA.
 [38] arXiv:2205.08153 [pdf, ps, other]

Title: Freezing limits for betaCauchy ensemblesAuthors: Michael VoitSubjects: Probability (math.PR); Mathematical Physics (mathph); Classical Analysis and ODEs (math.CA)
Bessel processes associated with the root systems $A_{N1}$ and $B_N$ describe interacting particle systems with $N$ particles on $\mathbb R$; they form dynamic versions of the classical $\beta$Hermite and Laguerre ensembles. In this paper we study corresponding Cauchy processes constructed via some subordination. This leads to $\beta$Cauchy ensembles in both cases with explicit distributions. For these distributions we derive central limit theorems for fixed $N$ in the freezing regime, i.e., when the parameters tend to infinity. The results are closely related to corresponding known freezing results for $\beta$Hermite and Laguerre ensembles and for Bessel processes.
 [39] arXiv:2205.08162 [pdf, ps, other]

Title: Axially harmonic functions and the harmonic functional calculus on the SspectrumSubjects: Spectral Theory (math.SP)
The spectral theory on the Sspectrum was introduced to give an appropriate mathematical setting to quaternionic quantum mechanics, but it was soon realized that there were different applications of this theory, for example, to fractional heat diffusion and to the spectral theory for the Dirac operator on manifolds. In this seminal paper we introduce the harmonic functional calculus based on the Sspectrum and on an integral representation of axially harmonic functions. This calculus can be seen as a bridge between harmonic analysis and the spectral theory. The resolvent operator of the harmonic functional calculus is the commutative version of the pseudo Sresolvent operator. This new calculus also appears, in a natural way, in the product rule for the Ffunctional calculus.
 [40] arXiv:2205.08164 [pdf, ps, other]

Title: Jordan recoverability of some subcategories of modules over gentle algebrasAuthors: Benjamin DequêneSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
Gentle algebras form a class of finitedimensional algebras introduced by I. Assem and A. Skowro\'{n}ski in the 1980s. Modules over such an algebra can be described by string and band combinatorics in the associated gentle quiver from the work of M.C.R. Butler and C.M. Ringel. Any module can be naturally associated to a quiver representation. A nilpotent endomorphism of a quiver representation induces linear transformations over vector spaces at each vertex. Generically among all nilpotent endomorphisms, a welldefined Jordan form exists for these representations. If $\mathcal{Q} = (Q, I)$ is a finite connected gentle quiver, we show a characterization of the vertices $m$ such that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the subcategory of which we denote by $\mathscr{C}_{\mathcal{Q},m}$, are determined up to isomorphism by this invariant.
 [41] arXiv:2205.08167 [pdf, ps, other]

Title: Blowup of cylindrically symmetric solutions for biharmonic NLSAuthors: Tianxiang GouComments: 9 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, we consider blowup of solutions to the Cauchy problem for the following biharmonic NLS, $$ \textnormal{i} \, \partial_t u=\Delta^2 u\mu \Delta uu^{2 \sigma} u \quad \text{in} \,\, \R \times \R^d, $$ where $d \geq 1$, $\mu \in \R$ and $0<\sigma<\infty$ if $1 \leq d \leq 4$ and $0<\sigma<4/(d4)$ if $d \geq 5$. In the mass critical and supercritical cases, we establish the existence of blowup solutions to the problem for cylindrically symmetric data. Our result extends the one obtained in \cite{BL}, where blowup of solutions to the problem for radially symmetric data was considered.
 [42] arXiv:2205.08168 [pdf, other]

Title: Global existence of classical solutions and numerical simulations of a cancer invasion modelComments: 43 pages, 16 figuresSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
In this paper, we study a cancer invasion model both theoretically and numerically. The model is a nonstationary, nonlinear system of three coupled partial differential equations modeling the motion of cancer cells, degradation of the extracellular matrix, and certain enzymes. We first establish existence of global classical solutions in both two and threedimensional bounded domains, despite the lack of diffusion of the matrixdegrading enzymes and corresponding regularizing effects in the analytical treatment. Next, we give a weak formulation and apply finite differences in time and a Galerkin finite element scheme for spatial discretization. The overall algorithm is based on a fixedpoint iteration scheme. In order to substantiate our theory and numerical framework, several numerical simulations are carried out in two and three spatial dimensions.
 [43] arXiv:2205.08172 [pdf, ps, other]

Title: Quasiconical domains with embedded eigenvaluesSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph); Analysis of PDEs (math.AP)
The spectrum of the Dirichlet Laplacian on any quasiconical open set coincides with the nonnegative semiaxis. We show that there is a connected quasiconical open set such that the respective Dirichlet Laplacian has a positive (embedded) eigenvalue. This open set is constructed as the tower of cubes of growing size connected by windows of vanishing size. Moreover, we show that the sizes of the windows in this construction can be chosen so that the absolutely continuous spectrum of the Dirichlet Laplacian is empty.
 [44] arXiv:2205.08176 [pdf, other]

Title: On the Convergence of Policy in Unregularized Generalized Policy Mirror DescentSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
In this short note, we give the convergence analysis of the policy in the recent famous policy mirror descent (PMD). We mainly consider the unregularized setting following [11] with generalized Bregman divergence. The difference is that we directly give the convergence rates of policy under generalized Bregman divergence. Our results are inspired by the convergence of value function in previous works and are an extension study of policy mirror descent. Though some results have already appeared in previous work, we further discover a large body of Bregman divergences could give finitestep convergence to an optimal policy, such as the classical Euclidean distance.
 [45] arXiv:2205.08181 [pdf, other]

Title: Coloring circle arrangements: New $4$chromatic planar graphsAuthors: ManKwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner, Birgit VogtenhuberComments: 21 pages, 15 figures. An extended abstract of this work has appeared in the proceedings of EUROCOMB 2021Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)
Felsner, Hurtado, Noy and Streinu (2000) conjectured that arrangement graphs of simple greatcircle arrangements have chromatic number at most $3$. Motivated by this conjecture, we study the colorability of arrangement graphs for different classes of arrangements of (pseudo)circles.
In this paper the conjecture is verified for $\triangle$saturated pseudocircle arrangements, i.e., for arrangements where one color class of the 2coloring of faces consists of triangles only, as well as for further classes of (pseudo)circle arrangements. These results are complemented by a construction which maps $\triangle$saturated arrangements with a pentagonal face to arrangements with 4chromatic 4regular arrangement graphs. This "corona" construction has similarities with the crowning construction introduced by Koester (1985). Based on exhaustive experiments with small arrangements we propose three strengthenings of the original conjecture.
We also investigate fractional colorings. It is shown that the arrangement graph of every arrangement $\mathcal{A}$ of pairwise intersecting pseudocircles is "close" to being $3$colorable. More precisely, the fractional chromatic number $\chi_f(\mathcal{A})$ of the arrangement graph is bounded from above by $\chi_f(\mathcal{A}) \le 3+O(\frac{1}{n})$, where $n$ is the number of pseudocircles of $\mathcal{A}$. Furthermore, we construct an infinite family of $4$edgecritical $4$regular planar graphs which are fractionally $3$colorable. This disproves a conjecture of Gimbel, K\"{u}ndgen, Li, and Thomassen (2019).  [46] arXiv:2205.08182 [pdf, ps, other]

Title: On Convergence of Tracking Differentiator with Multiple Stochastic DisturbancesSubjects: Optimization and Control (math.OC)
In this paper, the convergence and noisetolerant performance of a tracking differentiator in the presence of multiple stochastic disturbances are investigated for the first time. We consider a quite general case where the input signal is corrupted by additive colored noise, and the tracking differentiator itself is disturbed by additive colored noise and white noise. It is shown that the tracking differentiator tracks the input signal and its generalized derivatives in mean square and even in almost sure sense when the stochastic noise affecting the input signal is vanishing. Some numerical simulations are performed to validate the theoretical results.
 [47] arXiv:2205.08183 [pdf, ps, other]

Title: Hurwitz Zeta Functions and Ramanujan's Identity for Odd Zeta ValuesAuthors: Parth ChavanSubjects: Number Theory (math.NT)
Inspired by a famous formula of Ramanujan for odd zeta values, we prove an analogous formula involving the Hurwitz zeta function. We introduce a new integral kernel related to the Hurwitz zeta function, generalizing the integral kernel associated to Ramanujan's identity. We also derive several infinite families of identities analogous to Ramanujan's formula.
 [48] arXiv:2205.08185 [pdf, ps, other]

Title: Largestepsize integrators with improved uniform accuracy and long time conservation for highly oscillatory systems with large initial dataSubjects: Numerical Analysis (math.NA)
In this paper, we are concerned with largestepsize highly accurate integrators for highly oscillatory secondorder differential equations with large initial data and a scaling parameter $0 <\varepsilon\ll 1$. The highly oscillatory property of this model problem corresponds to the parameter $\varepsilon$. We propose and analyze a novel class of highly accurate integrators which is based on some formulation approaches to the problem, Fourier pseudospectral method and exponential integrators. Two practical integrators up to order four are constructed by using the symmetric property and stiff order conditions of implicit exponential integrators. The convergence of the obtained integrators is rigorously studied, and it is shown that the accuracy is improved to be $\mathcal{O}(\varepsilon^2 h^r)$ in the absolute position error for the time stepsize $h$ and the order $r$ of the integrator. The near energy conservation over long times is established for the integrators with large time stepsizes. Numerical results show that the proposed integrators used with large stepsizes have improved uniformly high accuracy and excellent long time energy conservation.
 [49] arXiv:2205.08190 [pdf, other]

Title: Geometric realizations of birational transformations via $\mathbb{C}^*$actionsSubjects: Algebraic Geometry (math.AG)
In this paper we study varieties admitting torus actions as geometric realizations of birational transformations. We present an explicit construction of these geometric realizations for a particular class of birational transformations, and study some of their geometric properties, such as their Mori, Nef and Movable cones.
 [50] arXiv:2205.08191 [pdf, ps, other]

Title: Semidiscretization and fulldiscretization with optimal accuracy for chargedparticle dynamics in a strong nonuniform magnetic fieldSubjects: Numerical Analysis (math.NA)
The aim of this paper is to formulate and analyze numerical discretizations of chargedparticle dynamics (CPD) in a strong nonuniform magnetic field. A strategy is firstly performed for the two dimensional CPD to construct the semidiscretization and fulldiscretization which have optimal accuracy. This accuracy is improved in the position and in the velocity when the strength of the magnetic field becomes stronger. This is a better feature than the usual so called "uniformly accurate methods". To obtain this refined accuracy, some reformulations of the problem and twoscale exponential integrators are incorporated, and the optimal accuracy is derived from this new procedure. Then based on the strategy given for the two dimensional case, a new class of uniformly accurate methods with simple scheme is formulated for the three dimensional CPD in maximal ordering case. All the theoretical results of the accuracy are numerically illustrated by some numerical tests.
 [51] arXiv:2205.08194 [pdf, ps, other]

Title: Design of saturated boundary control for hyperbolic systems with indomain disturbancesComments: V1 matches the printed version of the paper published in AutomaticaJournalref: Automatica, Volume 142, 2022Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Boundary feedback control design is studied for 1D hyperbolic systems with an indomain disturbance and a boundary feedback controller under the effect of actuator saturation. Nonlinear semigroup theory is used to prove wellposedness of mild solution pairs to the closedloop system. Sufficient conditions in the form of dissipation functional inequalities are derived to establish global stability for the closedloop system and $\mathcal{L}^2$stability in presence of indomain disturbances. The control design problem is then recast as an optimization problem over linear matrix inequality constraints. Numerical results are shown to validate the effectiveness of the proposed control design.
 [52] arXiv:2205.08195 [pdf, ps, other]

Title: The Borel map in the mixed Beurling settingComments: 33 pagesSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
The Borel map takes a smooth function to its infinite jet of derivatives (at zero). We study the restriction of this map to ultradifferentiable classes of Beurling type in a very general setting which encompasses the classical DenjoyCarleman and BraunMeiseTaylor classes. More precisely, we characterize when the Borel image of one class covers the sequence space of another class in terms of the two weights that define the classes. We present two independent solutions to this problem, one by reduction to the Roumieu case and the other by dualization of the involved Fr\'echet spaces, a Phragm\'enLindel\"of theorem, and H\"ormander's solution of the $\overline{\partial}$problem.
 [53] arXiv:2205.08196 [pdf, other]

Title: The Bring sextic of equilateral pentagonsAuthors: Lyle RamshawComments: 37 pages and 17 figures, with Mathematica appendix of 33 pagesSubjects: Metric Geometry (math.MG); Differential Geometry (math.DG)
Consider equilateral pentagons $V_1,\ldots,V_5$ in the Euclidean plane. When we identify pentagons that differ by translation, rotation, and magnification, the moduli space of possible shapes that we get is an oftstudied polygon space: a 2manifold $E_5$ known topologically to be a quadruple torus (genus 4). We study $E_5$ geometrically, our goal being a conformal map of that terrain of possible shapes. The differential geometry that we use is all due to Gauss, though much of it is named after his student Riemann.
The manifold $E_5$ inherits a Riemannian metric from the Grassmannian approach of Hausmann and Knutson, a metric $e_5$ under which $E_5$ has 240 isometries: an optional reflection combined with any permutation of the order in which the five edge vectors $V_{k+1}V_k$ get assembled into a pentagon. Giving $E_5$ the conformal structure imposed by $e_5$ yields a compact Riemann surface of genus 4 with 120 automorphisms: the 120 isometries that preserve orientation. But there is only one Riemann surface with those properties: the Bring sextic. So $(E_5, e_5)$ conformally embeds in the hyperbolic plane, like the Bring sextic, as a repeating pattern of 240 triangles, each with vertex angles of $\frac{\pi}{2}$, $\frac{\pi}{4}$, and $\frac{\pi}{5}$. That conformal map realizes our goal.
To plot pentagons on our map, we compute an initial pair of isothermal coordinates for $E_5$ by solving the Beltrami equation \`a la Gauss. We then use a conformal mapping to convert one of those isothermal triangular regions into a Poincar\'e projection of a $(\frac{\pi}{2},\frac{\pi}{4},\frac{\pi}{5})$ hyperbolic triangle.  [54] arXiv:2205.08197 [pdf, other]

Title: Refined and generalized $\hat{Z}$ invariants for plumbed 3manifoldsAuthors: Song Jin RiComments: 23 pages including 8 figuresSubjects: Geometric Topology (math.GT); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Number Theory (math.NT); Quantum Algebra (math.QA)
We introduce a twovariable refinement $\hat{Z}_a(q,t)$ of plumbed 3manifold invariants $\hat{Z}_a(q)$, which were previously defined for weakly negative definite plumbed 3manifolds. We also provide a number of explicit examples in which we argue the recovering process to obtain $\hat{Z}_a(q)$ from $\hat{Z}_a(q,t)$ by taking a limit $ t\rightarrow 1 $. For plumbed 3manifolds with two highvalency vertices, we analytically compute the limit by using the explicit integer solutions of quadratic Diophantine equations in two variables. Based on numerical computations of the recovered $\hat{Z}_a(q)$ for plumbings with two highvalency vertices, we propose a conjecture that the recovered $\hat{Z}_a(q)$, if exists, is an invariant for all tree plumbed 3manifolds. Finally, we provide a formula of the $\hat{Z}_a(q,t)$ for the connected sum of plumbed 3manifolds in terms of those for the components.
 [55] arXiv:2205.08199 [pdf, ps, other]

Title: Sharp asymptotics on the compression of twolayer neural networksSubjects: Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)
In this paper, we study the compression of a target twolayer neural network with N nodes into a compressed network with M < N nodes. More precisely, we consider the setting in which the weights of the target network are i.i.d. subGaussian, and we minimize the population L2 loss between the outputs of the target and of the compressed network, under the assumption of Gaussian inputs. By using tools from highdimensional probability, we show that this nonconvex problem can be simplified when the target network is sufficiently overparameterized, and provide the error rate of this approximation as a function of the input dimension and N . For a ReLU activation function, we conjecture that the optimum of the simplified optimization problem is achieved by taking weights on the Equiangular Tight Frame (ETF), while the scaling of the weights and the orientation of the ETF depend on the parameters of the target network. Numerical evidence is provided to support this conjecture.
 [56] arXiv:2205.08206 [pdf, ps, other]

Title: Lattice points on a curve via $\ell^2$ decouplingAuthors: Daishi KiyoharaComments: 10 pagesSubjects: Number Theory (math.NT)
In this paper, we prove a BombieriPila type theorem about lattice points on a $C^{n,\alpha}$ planar curve under a certain analytic condition using $\ell^2$ decoupling. We also see that this method generalizes the result from a lattice to a discrete set with a small doubling constant.
 [57] arXiv:2205.08208 [pdf, other]

Title: Distributed Kalman filtering with eventtriggered communication: a robust approachSubjects: Optimization and Control (math.OC)
We consider the problem of distributed Kalman filtering for sensor networks in the case there is a limit in data transmission and there is model uncertainty. More precisely, we propose a distributed filtering strategy with eventtriggered communication in which the state estimators are computed according to the least favorable model. The latter belongs to a ball (in KullbackLeibler topology) about the nominal model. We also present a preliminary numerical example in order to test the performance of the proposed strategy.
 [58] arXiv:2205.08216 [pdf, ps, other]

Title: Existence theorems for a generalized ChernSimons equation on finite graphsComments: 15 pagesSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Denote by $G=(V,E)$ a finite graph. We study a generalized ChernSimons equation $$ \Delta u=\lambda \mathrm{e}^u(\mathrm{e}^{bu}1)+4\pi\sum\limits_{j=1}^{N}\delta_{p_j} $$ on $G$, where $\lambda$ and $b$ are positive constants; $N$ is a positive integer; $p_1, p_2, \cdot\cdot\cdot, p_N$ are distinct vertices of $V$ and $\delta_{p_j}$ is the Dirac delta mass at $p_j$. We prove that there exists a critical value $\lambda_c$ such that the equation has a solution if $\lambda\geq \lambda_c$ and the equation has no solution if $\lambda<\lambda_c$. We also prove that if $\lambda>\lambda_c$ the equation has at least two solutions which include a local minimizer for the corresponding functional and a mountainpass type solution.
 [59] arXiv:2205.08218 [pdf, ps, other]

Title: Is hyperinterpolation efficient in the approximation of singular and oscillatory functions?Comments: 18 pages, 5 figuresSubjects: Numerical Analysis (math.NA)
Singular and oscillatory functions feature in numerous applications. The highaccuracy approximation of such functions shall greatly help us develop highorder methods for solving applied mathematics problems. This paper demonstrates that hyperinterpolation, a discrete projection method with coefficients obtained by evaluating the $L^2$ orthogonal projection coefficients using some numerical integration methods, may be inefficient for approximating singular and oscillatory functions. A relatively large amount of numerical integration points are necessary for satisfactory accuracy. Moreover, in the spirit of productintegration, we propose an efficient modification of hyperinterpolation for such approximation. The proposed approximation scheme, called efficient hyperinterpolation, achieves satisfactory accuracy with fewer numerical integration points than the original scheme. The implementation of the new approximation scheme is relatively easy. Theorems are also given to explain the outperformance of efficient hyperinterpolation over the original scheme in such approximation, with the functions assumed to belong to $L^1(\Omega)$, $L^2(\Omega)$, and $\mathcal{C}(\Omega)$ spaces, respectively. These theorems, as well as numerical experiments on the interval and the sphere, show that efficient hyperinterpolation has better accuracy in such approximation than the original one when the amount of numerical integration points is limited.
 [60] arXiv:2205.08226 [pdf, other]

Title: The BernsteinGelfand Tensor Product Functor and the Weight2 Eisenstein SeriesAuthors: Martin RaumSubjects: Number Theory (math.NT)
The BernsteinGelfand tensor product functors are endofunctors of the category of HarishChandra modules provided by tensor products with finite dimensional modules. We provide an automorphic analogue of these tensor product functors, implemented by vectorvalued automorphic representations that are trivial at all finite places. They naturally explain the role of vectorvalued modular forms in recent work by BringmannKudla on HarishChandra modules associated with harmonic weak Maa\ss{} forms. We give a detailed account of the image $\mathrm{sym}^1 \otimes \varpi(E_2)$ of the automorphic representation $\varpi(E_2)$ generated by the Eisenstein series of weight $2$ under one of those tensor product functors. This builds upon work by RoySchmidtYi, who recently determined the structure of $\varpi(E_2)$. They found that $\varpi(E_2)$ does not decompose as a restricted tensor product over all places of $\mathbb{Q}$, while we discover that $\mathrm{sym}^1 \otimes \varpi(E_2)$ has a direct summand that does. This summand corresponds to a holomorphic and modular, vectorvalued analogue of $E_2$. The complement in $\mathrm{sym}^1 \otimes \varpi(E_2)$ arises from one of the vectorvalued examples in the work of BringmannKudla. Our approach allows us to determine its structure at the finite places.
 [61] arXiv:2205.08230 [pdf, other]

Title: Centralisers, complex reflection groups and actions in the Weyl group $E_6$Subjects: Group Theory (math.GR); KTheory and Homology (math.KT); Representation Theory (math.RT)
In this paper we elucidate the structure of centralisers in the Weyl group of type $E_6$ and exhibit these as complex reflection groups. We determine the action of the centraliser on the corresponding fixed set in the maximal torus of both the simply connected $E_6$ Lie group and its Langlands dual. The component groups of the fixed sets are finite abelian groups and we generalise a pairing due to Reeder in order to establish a duality between them. As an application we give a description of the space of tempered representations in the Iwahorispherical block of the $p$adic $E_6$ group of adjoint type. We also provide a computation of the $K$theory of the two extended affine Weyl groups of type $E_6$ showing that these agree: this isomorphism is implemented by homotopy equivalences at the level of sectors and we conjecture that this holds in general strengthening our earlier LanglandsPoincar\'e duality.
 [62] arXiv:2205.08233 [pdf, other]

Title: Towards understanding the central limit theorem by learning Python basicsComments: 16 pages, 13 figuresSubjects: History and Overview (math.HO)
We report on a first experiment about an email based course that connects learning Python basics and introductory probability theory. In the experiment 7 short sequences of homework were sent out to prospective mathematics teachers who did not have any programming background formerly, but already had some minor knowledge on probability theory. The experiment was about to decide if learning basics of programming can promote understanding main concepts of probability theory.
 [63] arXiv:2205.08235 [pdf, ps, other]

Title: Kemeny's constant for a graph with bridgesComments: 21 pages and 3 figuresSubjects: Combinatorics (math.CO)
In this paper, we determine a formula for Kemeny's constant for a graph with multiple bridges, in terms of quantities that are inherent to the subgraphs obtained upon removal of all bridges and that can be computed independently. With the formula, we consider several optimization problems for Kemeny's constant for graphs with bridges, and we remark on the computational benefit of this formula for the computation of Kemeny's constant. Finally, we discuss some potential applications.
 [64] arXiv:2205.08237 [pdf, other]

Title: Jacobi processes with jumps as neuronal models: a first passage time analysisComments: 20 pages, 8 figuresSubjects: Probability (math.PR)
To overcome some limits of classical neuronal models, we propose a Markovian generalization of the classical model based on Jacobi processes by introducing downwards jumps to describe the activity of a single neuron. The statistical analysis of interspike intervals is performed by studying the firstpassage times of the proposed Markovian Jacobi process with jumps through a constant boundary. In particular, we characterize its Laplace transform which is expressed in terms of some generalization of hypergeometric functions that we introduce, and, deduce a closedform expression for its expectation. Our approach, which is original in the context of first passage time problems, relies on intertwining relations between the semigroups of the classical Jacobi process and its generalization which have been recently established in [10]. A numerical investigation of the firing rate of the considered neuron is performed for some choices of the involved parameters and of the jumps distributions.
 [65] arXiv:2205.08238 [pdf, ps, other]

Title: Relating asymptotic dimension to Ponomarev's cofinal dimension via coarse proximitiesAuthors: Jeremy SiegertComments: 41 pagesSubjects: Metric Geometry (math.MG); General Topology (math.GN); Geometric Topology (math.GT)
In this paper we show that the asymptotic dimension of an unbounded proper metric space is bounded above by a coarse analog of Ponomarev's cofinal dimension of topological spaces, which we call the coarse cofinal dimension. We also show that asymptotic dimension is bounded below by the cofinal dimension of the Higson corona by existing results of Miyata, Austin, and Virk. We do this by introducing several constructions in the theory of coarse proximity spaces. In particular we introduce the inverse limit of coarse proximity spaces. We end with some open problems.
 [66] arXiv:2205.08242 [pdf, other]

Title: Outage Analysis of Energy Efficiency in a FiniteElementIRS Aided Communication SystemComments: 18 Pages, 6 Figures, 2 TablesSubjects: Information Theory (cs.IT); Signal Processing (eess.SP); Probability (math.PR)
In this paper, we study the performance of an energy efficient wireless communication system, assisted by a finiteelementintelligent reflecting surface (IRS). With no instantaneous channel state information (CSI) at the transmitter, we characterize the system performance in terms of the outage probability (OP) of energy efficiency (EE). Depending upon the availability of lineofsight (LOS) paths, we analyze the system for two different channel models, viz. Rician and Rayleigh. For an arbitrary number of IRS elements $(N)$, we derive the approximate closedform solutions for the OP of EE, using Laguerre series and moment matching methods. The analytical results are validated using the MonteCarlo simulations. Moreover, we also quantify the rate of convergence of the derived expressions to the central limit theorem (CLT) approximations using the \textit{BerryEsseen} inequality. Further, we prove that the OP of EE is a strict pseudoconvex function of the transmit power and hence, has a unique global minimum. To obtain the optimal transmit power, we solve the OP of EE as a constrained optimization problem. To the best of our knowledge, the OP of EE as a performance metric, has never been previously studied in IRSassisted wireless communication systems.
 [67] arXiv:2205.08244 [pdf, ps, other]

Title: Nodal current of complexified horocyclic eigenfunctionsAuthors: Mikhail DubashinskiyComments: 23 pagesSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph); Analysis of PDEs (math.AP); Complex Variables (math.CV)
We study horocyclic eigenfunctions on Lobachevsky plane. These are functions $u\colon \mathbb C^+=\{z\in\mathbb C\colon \Im z>0\}\to\mathbb C$ such that $\left(y^2\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}\right)+ 2i\tau y\frac{\partial}{\partial x}\right)u(x+iy)=s^2 u(x+iy)$, $x+iy\in\mathbb C^+$, with $\tau,s\in\mathbb R$, $\tau$ large and $s/\tau$ small. In other words, we study eigenfunctions of \emph{magnetic} quantum Hamiltonian on hyperbolic plane. Asymptotic behavior of such functions is related to horocycle flow on $T\mathbb C^+$ by semiclassical correspondence. If a sequence of horocyclic functions possesses microlocal quantum unique ergodicity at the admissible energy level (with $\hbar=1/\tau$) then we may find asymptotic distribution of divisor of $u$ analytically continued to the complexified Lobachevsky plane.
 [68] arXiv:2205.08250 [pdf, ps, other]

Title: Analytic properties of Stretch maps and geodesic laminationsSubjects: Differential Geometry (math.DG)
In a 1995 preprint, William Thurston outlined a Teichmueller theory for hyperbolic surfaces based on maps between surfaces which minimize the Lipschitz constant. In this paper we continue the analytic investigation into best Lipschitz maps which we began in our previous paper. In the spirit of the construction of infinity harmonic functions, we obtain best Lipschitz maps u as limits of minimizers of Schattenvon Neumann integrals in a fixed homotopy class of maps between two hyperbolic surfaces. We construct Lie algebra valued dual functions which minimize a dual Schatten vonNeumann integral and limit on a Lie algebra valued function v of bounded variation with least gradient properties. The main result of the paper is that the support of the measure which is a derivative of v lies on the canonical geodesic lamination constructed by Thurston and further studied by GueritaudKassel. In the sequel paper we will use these results to investigate the dependence on the hyperbolic structures and construct a variety of transverse measures. This should provide information about the geometry and make contact with results of the Thurston school.
 [69] arXiv:2205.08251 [pdf, ps, other]

Title: On Gröbner bases and CohenMacaulay property of closed path polyominoesComments: 18 pages, 20 figuresSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
In this paper we introduce some monomial orders for the class of closed path polyominoes and we prove that the set of the generators of the polyomino ideal attached to a closed path forms the reduced Gr\"obner basis with respect to these monomial orders. It is known that the polyomino ideal attached to a closed path containing an Lconfiguration or a ladder of at least three steps, equivalently having no zigzag walks, is prime. As a consequence, we obtain that the coordinate ring of a closed path having no zigzag walks is a normal CohenMacaulay domain.
 [70] arXiv:2205.08262 [pdf, ps, other]

Title: Lossy Computing with Side Information via MultiHypergraphsSubjects: Information Theory (cs.IT)
We consider a problem of coding for computing, where the decoder wishes to estimate a function of its local message and the source message at the encoder within a given distortion. We show that the ratedistortion function can be characterized through a characteristic multihypergraph, which simplifies the evaluation of the ratedistortion function.
 [71] arXiv:2205.08263 [pdf, ps, other]

Title: Contactless Material Probing with Distributed Sensors: Joint Sensing and Communication OptimizationComments: arXiv admin note: text overlap with arXiv:1902.11117Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The utilization of RF signals to probe material properties of objects is of huge interest both in academia as well as industry. To this end, a setup is investigated, in which a transmitter equipped with a twodimensional multiantenna array dispatches a signal, which hits objects in the environment and the reflections from the objects are captured by distributed sensors. The received signal at those sensors are then amplified and forwarded to a multiple antenna fusion center, which performs spacetime postprocessing in order to optimize the information extraction. In this process, optimal design of power allocation per object alongside sensors amplifications is of crucial importance. Here, the power allocation and sensors amplifications is jointly optimized, given maximumratio combining (MRC) at the fusion center. We formulate this challenge as a sumpower minimization under perobject SINR constraints, a sumpower constraint at the transmitter and individual power constraints at the sensors. Moreover, the advantage of deploying zeroforcing (ZF) and minimum meansquared error (MMSE) at the fusion center is discussed. Asymptotic analysis is also provided for the case that large number of sensors are deployed in the sensing environment.
 [72] arXiv:2205.08266 [pdf, ps, other]

Title: Entropybounded solutions to the 3D compressible heatconducting magnetohydrodynamic equations with vacuum at infinityComments: 33 pages. arXiv admin note: text overlap with arXiv:2111.14057 by other authorsSubjects: Analysis of PDEs (math.AP)
The mathematical analysis on the behavior of the entropy for viscous, compressible, and heat conducting magnetohydrodynamic flows near the vacuum region is a challenging problem as the governing equation for entropy is highly degenerate and singular in the vacuum region. In particular, it is unknown whether the entropy remains its boundedness. In the present paper, we investigate the Cauchy problem to the threedimensional (3D) compressible heatconducting magnetohydrodynamic equations with vacuum at infinity only. We show that the uniform boundedness of the entropy and the $L^2$ regularities of the velocity and temperature can be propagated provided that the initial density decays suitably slow at infinity. The main tools are based on singularly weighted energy estimates and De Giorgi type iteration techniques developed by Li and Xin (arXiv:2111.14057) for the 3D full compressible NavierStokes system. Some new mathematical techniques and useful estimates are developed to deduce the lower and upper bounds on the entropy.
 [73] arXiv:2205.08272 [pdf, other]

Title: NOMAaided Joint Communication, Sensing, and Multitier Computing SystemsComments: 30 pages, 8 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
A nonorthogonal multiple access (NOMA)aided joint communication, sensing, and multitier computing (JCSMC) framework is proposed. In this framework, a multifunctional base station (BS) carries out target sensing, while providing edge computing services to the nearby users. To enhance the computation efficiency, the multitier computing structure is exploited, where the BS can further offload the computation tasks to a powerful Cloud server (CS). The potential benefits of employing NOMA in the proposed JCSMC framework are investigated, which can maximize the computation offloading capacity and suppress the interfunction interference. Based on the proposed framework, the transmit beamformer of the BS and computation resource allocation at the BS and the CS are jointly optimized to maximize the computation rate subject to the communicationcomputation causality and the sensing quality constraints. Both partial and binary computation offloading modes are considered: 1) For the partial offloading mode, a weighted minimum mean square error based alternating optimization algorithm is proposed to solve the corresponding nonconvex optimization problem. It is proved that a KKT optimal solution can be obtained; 2) For the binary offloading mode, the resultant highlycoupled mixedinteger optimization problem is first transformed to an equivalent but more tractable form. Then, the reformulated problem is solved by utilizing the alternating direction method of multipliers approach to obtain a nearly optimal solution. Finally, numerical results verify the effectiveness of the proposed algorithms and the proposed NOMAaided JCSMC framework
 [74] arXiv:2205.08273 [pdf, ps, other]

Title: Dynamics of $\mathscr{B}$free systems generated by Behrend sets. ISubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
We study the complexity of $\mathscr{B}$free subshifts which are proximal and of zero entropy. Such subshifts are generated by Behrend sets. The complexity is shown to achieve any subexponential growth and is estimated for some classical subshifts (prime and semiprime subshifts). We also show that $\mathscr{B}$admissible subshifts are transitive only for coprime sets $\mathscr{B}$ which allows one to characterize dynamically the subshifts generated by the Erd\"os sets.
 [75] arXiv:2205.08276 [pdf, ps, other]

Title: Generalized Realizability and Intuitionistic LogicAuthors: Aleksandr Yu. KonovalovComments: arXiv admin note: substantial text overlap with arXiv:2001.08989Subjects: Logic (math.LO)
Let V be a set of numbertheoretical functions. We define a notion of V realizability for predicate formulas in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier. In this paper we prove that Intuitionistic Predicate Calculus is sound with respect to the semantics of V realizability if and only if some natural conditions for V hold.
 [76] arXiv:2205.08277 [pdf, ps, other]

Title: A Note on Generalized Narayana NumbersAuthors: David CallanComments: 4 pagesSubjects: Combinatorics (math.CO)
We give a simple proof that the the number of Dyck paths of semilength $n$ with $i$ returns to ground level and $j$ peaks is the generalized Narayana number $\frac{i}{n} \binom{n}{j} \binom{n  i  1}{j  i}$.
 [77] arXiv:2205.08280 [pdf, ps, other]

Title: On a Relation between Schreiertype Sets and a Modification of Turán GraphsAuthors: Hung Viet ChuComments: 9 pages, 6 figuresSubjects: Combinatorics (math.CO)
Recently, a relation between Schreiertype sets and Tur\'{a}n graphs was discovered. In this note, we give a combinatorial proof and obtain a generalization of the relation. Specifically, for $p, q\ge 1$, let $$\mathcal{A}_q := \{F\subset\mathbb{N}: F = 1 \mbox{ or }F\mbox{ is an arithmetic progression with difference } q\}$$ and $$Sr(n, p, q)\ :=\ \#\{F\subset \{1, \ldots, n\}\,:\, p\min F\ge F\mbox{ and }F\in \mathcal{A}_q\}.$$ We show that $$Sr(n, p, q) \ =\ T(n+1, pq+1, q),$$ where $T(\cdot, \cdot, \cdot)$ is the number of edges of an $n$vertex graph that is a modification of Tur\'{a}n graphs. We also prove that $Sr(n,p,q)$ is the partial sum of certain sequences.
 [78] arXiv:2205.08286 [pdf, other]

Title: On partially observed jump diffusions I. The filtering equationsComments: 27 pagesSubjects: Probability (math.PR); Optimization and Control (math.OC)
This paper is the first part of a series of papers on filtering for partially observed jump diffusions satisfying a stochastic differential equation driven by Wiener processes and Poisson martingale measures. The coefficients of the equation only satisfy appropriate growth conditions. Some results in filtering theory of diffusion processes are extended to jump diffusions and equations for the time evolution of the conditional distribution and the unnormalised conditional distribution of the unobserved process at time $t$, given the observations until $t$, are presented.
 [79] arXiv:2205.08291 [pdf, ps, other]

Title: A tight linear bound to the chromatic number of $(P_5, K_1+(K_1\cup K_3))$free graphsComments: arXiv admin note: text overlap with arXiv:2202.13177Subjects: Combinatorics (math.CO)
Let $F_1$ and $F_2$ be two disjoint graphs. The union $F_1\cup F_2$ is a graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)$, and the join $F_1+F_2$ is a graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)\cup \{xy\;\; x\in V(F_1)\mbox{ and } y\in V(F_2)\}$. In this paper, we present a characterization to $(P_5, K_1\cup K_3)$free graphs, prove that $\chi(G)\le 2\omega(G)1$ if $G$ is $(P_5, K_1\cup K_3)$free. Based on this result, we further prove that $\chi(G)\le $max$\{2\omega(G),15\}$ if $G$ is a $(P_5,K_1+( K_1\cup K_3))$free graph, and construct an infinite family of $(P_5, K_1+( K_1\cup K_3))$free graphs such that every graph $G$ in the family satisfies $\chi(G)=2\omega(G)$.
 [80] arXiv:2205.08293 [pdf, ps, other]

Title: Moments, Concentration, and Entropy of LogConcave DistributionsComments: 22 pagesSubjects: Probability (math.PR); Information Theory (cs.IT)
We utilize and extend a simple and classical mechanism, combining logconcavity and majorization in the convex order to derive moment, concentration, and entropy inequalities for logconcave random variables with respect to a reference measure.
 [81] arXiv:2205.08302 [pdf, other]

Title: GaussManin connection in disguise: Open GromovWitten invariantsAuthors: Felipe EspreaficoComments: 20 pages. No figures. Comments and corrections are welcome!Subjects: Algebraic Geometry (math.AG); Mathematical Physics (mathph)
In mirror symmetry, after the work by J. Walcher, the number of holomorphic disks with boundary on the real quintic lagrangian in a general quintic threefold is related to the periods of the mirror quintic family with boundary on two homologous rational curves. Following the ideias of H.Movasati, we construct a quasiaffine space parametrizing such objects enhanced with a frame for the relative de Rham cohomology with boundary at the curves compatible with the mixed Hodge structure. We also compute a modular vector field attached to such a parametrization.
 [82] arXiv:2205.08312 [pdf, other]

Title: Higgsing $qq$character and irreducibilityAuthors: Taro KimuraComments: 27 pagesSubjects: Quantum Algebra (math.QA); High Energy Physics  Theory (hepth); Representation Theory (math.RT)
We show that the $qq$character of the irreducible highest weight module for finitetype and affine quivers is obtained by Higgsing, specialization of the equivariant parameters of the associated framing space in the quiver variety.
 [83] arXiv:2205.08323 [pdf, ps, other]

Title: First BGG operators on homogeneous conformal geometriesComments: 40 pages, comments welcomedSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
We study first BGG operators and their solutions on homogeneous conformal geometries. We focus on conformal Killing tensors, conformal KillingYano forms and twistor spinors in particular. We develop an invariant calculus that allows us to find solutions explicitly using only algebraic computations. We also discuss applications to holonomy reductions and conserved quantities of conformal circles. We demonstrate our result on examples of homogeneous conformal geometries coming mostly from general relativity.
 [84] arXiv:2205.08326 [pdf, ps, other]

Title: The choosability version of Brooks' theorem  a short proofAuthors: Michael KrivelevichComments: 2 pagesSubjects: Combinatorics (math.CO)
We present a short and selfcontained proof of the choosability version of Brooks' theorem.
 [85] arXiv:2205.08336 [pdf]

Title: On Uncertainty of Dynamic Systems via State Aggregation CoarseGraining and State Decomposition FineGraining WaysComments: 13 pages are for the paper, 16 pages for supplemental materialSubjects: Information Theory (cs.IT)
Uncertainty is an important feature of dynamic systems, and entropy has been widely used to measure this attribute. In this Letter, we prove that state aggregation and decomposition can decrease and increase the entropy, respectively, of dynamic systems. More than 20 popular entropies in the literature are summarized and analyzed, and it is noted that none of them breaks this property. Finally, pertinent proofs are given for four cases.
 [86] arXiv:2205.08341 [pdf, ps, other]

Title: Cohomology and formal deformations of nHomLie color algebrasSubjects: Rings and Algebras (math.RA); Mathematical Physics (mathph); Representation Theory (math.RT)
The aim of this paper is to provide a cohomology of $n$HomLie color algebras governing one parameter formal deformations. Then, we study formal deformations of a $n$HomLie color algebra and introduce the notion of Nijenhuis operator on an $n$HomLie color algebra, which could give rise to infinitesimally trivial $(n1)$order deformations. Furthermore, in connection with Nijenhuis operators we introduce and discuss the notion of a product structure on $n$HomLie color algebras.
 [87] arXiv:2205.08359 [pdf, ps, other]

Title: Lower bounds for the number of local nearrings on groups of order $p^3$Subjects: Rings and Algebras (math.RA); Group Theory (math.GR)
Lower bounds for the number of local nearrings on groups of order $p^3$ are obtained. On each nonmetacyclic nonabelian or metacyclic abelian groups of order $p^3$ there exist at least $p+1$ nonisomorphic local nearrings
 [88] arXiv:2205.08375 [pdf, other]

Title: HilbertPoincaré series and Gorenstein property for closed path polyominoesComments: 21 pages, 8 figuresSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
In this paper we compute the reduced Poincar\'{e}Hilbert series of the coordinate ring attached to a closed path $\mathcal{P}$ having no zigzag walks, as a combination of the Poincar\'{e}Hilbert series of convenient simple thin polyominoes. As a consequence we find the Krull dimension and the regularity of $K[\mathcal{P}]$ and we prove that the $h$polynomial is exactly the rook polynomial of $\mathcal{P}$. Finally we characterize the Gorenstein prime closed paths using the $S$property.
 [89] arXiv:2205.08388 [pdf, ps, other]

Title: Statistical solutions of the incompressible Euler equationsSubjects: Analysis of PDEs (math.AP)
We study statistical solutions of the incompressible Euler equations in two dimensions with vorticity in $L^p$, $1\leq p \leq \infty$, and in the class of vortexsheets with a distinguished sign. Our notion of statistical solution is based on the framework due to Bronzi, Mondaini and Rosa. Existence in this setting is shown by approximation with discrete measures, concentrated on deterministic solutions of the Euler equations. Additionally, we provide arguments to show that the statistical solutions of the Euler equations may be obtained in the inviscid limit of statistical solutions of the incompressible NavierStokes equations. Uniqueness of trajectory statistical solutions is shown in the Yudovich class.
 [90] arXiv:2205.08392 [pdf, ps, other]

Title: All biunitary perfect polynomials over $\mathbb{F}_2$ with at most four irreducible factorsAuthors: Olivier RahavandrainySubjects: Number Theory (math.NT)
We give, in this paper, all biunitary perfect polynomials over the prime field $\mathbb{F}_2$, with at most four irreducible factors.
 [91] arXiv:2205.08393 [pdf, ps, other]

Title: Full Duplex Massive MIMO Architectures: Recent Advances, Applications, and Future DirectionsComments: 7 pages, 5 figure. Under review for publication in IEEE Vehicular Technology Magazine, 2022Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The increasingly demanding objectives for next generation wireless communications have spurred recent research activities on multiantenna transceiver hardware architectures and relevant intelligent communication schemes. Among them belong the Full Duplex (FD) MultipleInput MultipleOutput (MIMO) architectures, which offer the potential for simultaneous uplink and downlink operations in the entire frequency band. However, as the number of antenna elements increases, the interference signal leaking from the transmitter of the FD radio to its receiver becomes more severe. In this article, we present a unified FD massive MIMO architecture comprising analog and digital transmit and receive BeamForming (BF), as well as analog and digital SI cancellation, which can be jointly optimized for various performance objectives and complexity requirements. Performance evaluation results for applications of the proposed architecture to fully digital and hybrid analog and digital BF operations using recent algorithmic designs, as well as simultaneous communication of data and control signals are presented. It is shown that the proposed architecture, for both small and large numbers of antennas, enables improved spectral efficiency FD communications with fewer analog cancellation elements compared to various benchmark schemes. The article is concluded with a list of open challenges and research directions for future FD massive MIMO communication systems and their promising applications.
 [92] arXiv:2205.08396 [pdf, ps, other]

Title: On approximation of a Dirichlet problem for divergence form operator by Robin problemsSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We show that under natural assumptions solution of Dirichlet problems for uniformly elliptic divergence form operator can be approximated pointwise by solutions of some versions of Robin problems. The proof is based on stochastic representation of solutions and properties of reflected diffusions corresponding to divergence form operators.
 [93] arXiv:2205.08401 [pdf, ps, other]

Title: Multifunctorial $K$Theory is an Equivalence of Homotopy TheoriesComments: 17 pagesSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); KTheory and Homology (math.KT)
We show that each of the three $K$theory multifunctors from small permutative categories to $\mathcal{G}_*$categories, $\mathcal{G}_*$simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these $K$theory multifunctors, we describe an explicit homotopy inverse functor. As a separate application of our general results about pointed diagram categories, we observe that the rightinduced homotopy theory of BohmannOsorno $\mathcal{E}_*$categories is equivalent to the homotopy theory of pointed simplicial categories.
 [94] arXiv:2205.08402 [pdf, ps, other]

Title: Simultaneous MultiUser MIMO Communications and MultiTarget Tracking with Full Duplex RadiosComments: 6 pages, 5 figures. Submitted for publication in the Proceedings of IEEE Global Communications Conference (GLOBECOM), 2022Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In this paper, we present an Integrated Sensing and Communications (ISAC) system enabled by inband Full Duplex (FD) radios, where a massive MultipleInput MultipleOutput (MIMO) base station equipped with hybrid Analog and Digital (A/D) beamformers is communicating with multiple DownLink (DL) users, and simultaneously estimates via the same signaling waveforms the Direction of Arrival (DoA) as well as the range of radar targets randomly distributed within its coverage area. Capitalizing on a recent reducedcomplexity FD hybrid A/D beamforming architecture, we devise a joint radar target tracking and DL data transmission protocol. An optimization framework for the joint design of the massive A/D beamformers and the SelfInterference (SI) cancellation unit, with the dual objective of maximizing the radar tracking accuracy and DL communication performance, is presented. Our simulation results at millimeter wave frequencies using 5G NR wideband waveforms, showcase the accuracy of the radar target tracking performance of the proposed system, which simultaneously offers increased sum rate compared with benchmark schemes.
 [95] arXiv:2205.08406 [pdf, other]

Title: Object Detection and Heading Forecasting by fusing Raw Radar Data using Cross AttentionSubjects: Information Theory (cs.IT)
Radar has been believed to be an inevitable sensor for advanced driver assistance systems (ADAS) for decades. Along with providing robust range, angle and velocity measurements, it is also costeffective. Hence, radar is expected to play a big role in the next generation ADAS. In this paper, we propose a neural network for object detection and heading forecasting based on radar by fusing three raw radar channels with a crossattention mechanism. We also introduce an improved ground truth augmentation method based on Bivariate norm, which represents the object labels in a more realistic form for radar measurements. Our results show 5% better mAP compared to stateoftheart methods. To the best of our knowledge, this is the first attempt in the radar field, where crossattention is utilized for object detection and heading forecasting without the use of object tracking and association.
 [96] arXiv:2205.08410 [pdf, ps, other]

Title: Double Satake diagrams and canonical forms in compact symmetric triadsComments: 34 pagesSubjects: Differential Geometry (math.DG)
In this paper, we first introduce the notion of double Satake diagrams for compact symmetric triads. In terms of this notion, we give an alternative proof for the classification theorem for compact symmetric triads, which was originally given by Toshihiko Matsuki. Secondly, we introduce the notion of canonical forms for compact symmetric triads, and prove the existence of canonical forms for compact simple symmetric triads. We also give some properties for canonical forms.
 [97] arXiv:2205.08415 [pdf, other]

Title: Entire solutions of the generalized Hessian inequalitySubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this paper, we discuss the more general Hessian inequality $\sigma_{k}^{\frac{1}{k}}(\lambda (D_i (A\left(Du\right) D_j u)))\geq f(u)$ including the Laplacian, pLaplacian, mean curvature, Hessian, kmean curvature operators, and provide a necessary and sufficient condition on the global solvability, which can be regarded as generalized KellerOsserman conditions.
 [98] arXiv:2205.08428 [pdf, other]

Title: Rigidity of 3D spherical caps via $μ$bubblesComments: 20 pages, 1 figure, All comments are welcomeSubjects: Differential Geometry (math.DG)
By using Gromov's $\mu$bubble technique, we show that the $3$dimensional spherical caps are rigid under perturbations that do not reduce the metric, the scalar curvature, and the mean curvature along its boundary. Several generalizations of this result will be discussed.
 [99] arXiv:2205.08429 [pdf, ps, other]

Title: The singular Yoneda category and the stabilization functorComments: 28 pages, comments welcomeSubjects: Representation Theory (math.RT); KTheory and Homology (math.KT); Rings and Algebras (math.RA)
For a noetherian ring $\Lambda$, the stabilization functor in the sense of Krause yields an embedding of the singularity category of $\Lambda$ into the homotopy category of acyclic complexes of injective $\Lambda$modules. When $\Lambda$ contains a semisimple artinian subring $E$, we give an explicit description of the stabilization functor using the Hom complexes in the $E$relative singular Yoneda dg category of $\Lambda$.
 [100] arXiv:2205.08433 [pdf, ps, other]

Title: Admissible modules and normality of classical nilpotent orbits IIComments: 17 pages, preliminary version. This work is a sequel to arXiv:1801.06909Subjects: Representation Theory (math.RT)
In this paper, we compute the character formula of the Brylinski model for all classical nilpotent varieties $\overline{\mathcal{O}}$. As a consequence, one can compute the multiplicities of all $K$types of the ring of regular functions $R(\overline{\mathcal{O}})$ for all classical nilpotent varieties.
 [101] arXiv:2205.08436 [pdf, ps, other]

Title: Uniform density estimates and $Γ$convergence for the AltPhillips functional of negative powersSubjects: Analysis of PDEs (math.AP)
We obtain density estimates for the free boundaries of minimizers $u \ge 0$ of the AltPhillips functional involving negative power potentials
$$\int_\Omega \left(\nabla u^2 + u^{\gamma} \chi_{\{u>0\}}\right) \, dx, \quad \quad \gamma \in (0,2).$$
These estimates remain uniform as the parameter $\gamma \to 2$. As a consequence we establish the uniform convergence of the corresponding free boundaries to a minimal surface as $\gamma \to 2$.
The results are based on the $\Gamma$convergence of these energies (properly rescaled) to the Dirichletperimeter functional
$$\int_\Omega \nabla u^2 dx + Per_{\Omega}(\{ u=0\}),$$
considered by Athanasopoulous, Caffarelli, Kenig, and Salsa.  [102] arXiv:2205.08442 [pdf, ps, other]

Title: Flatness of the nuclear norm sphere, simultaneous polarization, and uniqueness in nuclear norm minimizationSubjects: Optimization and Control (math.OC)
In this paper we establish necessary and sufficient conditions for the existence of line segments (or flats) in the sphere of the nuclear norm via the notion of simultaneous polarization and a refined expression for the subdifferential of the nuclear norm. This is then leveraged to provide (pointbased) necessary and sufficient conditions for uniqueness of solutions for minimizing the nuclear norm over an affine manifold. We further establish an alternative set of sufficient conditions for uniqueness, based on the interplay of the subdifferential of the nuclear norm and the range of the problemdefining linear operator. Finally, using convex duality, we show how to transfer the uniqueness results for the original problem to a whole class of nuclear normregularized minimization problems with a strictly convex fidelity term.
 [103] arXiv:2205.08446 [pdf, other]

Title: LastIterate Convergence of Optimistic Gradient Method for Monotone Variational InequalitiesComments: 24 pages, 2 figures; code: this https URLSubjects: Optimization and Control (math.OC)
The Past Extragradient (PEG) [Popov, 1980] method, also known as the Optimistic Gradient method, has known a recent gain in interest in the optimization community with the emergence of variational inequality formulations for machine learning. Recently, in the unconstrained case, Golowich et al. [2020] proved that a $O(1/N)$ lastiterate convergence rate in terms of the squared norm of the operator can be achieved for Lipschitz and monotone operators with a Lipschitz Jacobian. In this work, by introducing a novel analysis through potential functions, we show that (i) this $O(1/N)$ lastiterate convergence can be achieved without any assumption on the Jacobian of the operator, and (ii) it can be extended to the constrained case, which was not derived before even under Lipschitzness of the Jacobian. The proof is significantly different from the one known from Golowich et al. [2020], and its discovery was computeraided. Those results close the open question of the last iterate convergence of PEG for monotone variational inequalities.
 [104] arXiv:2205.08450 [pdf, ps, other]

Title: On the exactness for polynomial optimization strengthened with Fritz John conditionsAuthors: Ngoc Hoang Anh MaiComments: 12 pages, 1 table. arXiv admin note: substantial text overlap with arXiv:2205.04254Subjects: Optimization and Control (math.OC); Algebraic Geometry (math.AG)
We utilize the same technique as in [arXiv:2205.04254 (2022)] to provide some representations of polynomials nonnegative on a basic semialgebraic set, defined by polynomial inequalities, under more general conditions. Based on each representation, we obtain semidefinite programs which return a sequence of values that finitely converges to the optimal value of a given polynomial optimization problem under generic assumption. Consequently, we can compute exactly the minimal value of any polynomial over a basic convex semialgebraic set which is defined by the inequalities of concave polynomials.
 [105] arXiv:2205.08453 [pdf, ps, other]

Title: Sequential Parametrized Motion Planning and its ComplexitySubjects: Algebraic Topology (math.AT)
In this paper we develop theory of sequential parametrized motion planning which generalises the approach of parametrized motion planning, which was introduced recently in [3]. A sequential parametrized motion planning algorithm produced a motion of the system which is required to visit a prescribed sequence of states, in certain order, at specified moments of time. The sequential parametrized algorithms are universal as the external conditions are not fixed in advance but rather constitute part of the input of the algorithm. The second part of this article consists of a detailed analysis of the sequential parametrized topological complexity of the Fadell  Neuwirth fibration. In the language of robotics, sections of the Fadell  Neuwitrh fibration are algorithms for moving multiple robots avoiding collisions with other robots and with obstacles in Euclidean space. In the last section of the paper we introduce the new notion of TCgenerating function of a fibration, examine examples and raise some general questions about its analytic properties.
 [106] arXiv:2205.08456 [pdf, ps, other]

Title: Intersecting theorems for finite general linear groupsComments: 26 pagesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$intersecting if $\operatorname{rk}(xy)\le nt$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$intersecting set is at most that of the stabiliser of a basis of a $t$dimensional subspace of $\mathbb{F}_q^n$. In case of equality, the characteristic vector of $Y$ or that of $Y^T$ is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give a similar result for $t$crossintersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erd\H{o}sKoRado Theorem in extremal set theory and are $q$analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\operatorname{GL}(n,q)$.
 [107] arXiv:2205.08457 [pdf, ps, other]

Title: A Note on Quantum OdometersSubjects: Operator Algebras (math.OA)
We discuss various aspects of noncommutative geometry of smooth subalgebras of BunceDeddensToeplitz Algebras.
 [108] arXiv:2205.08458 [pdf, ps, other]

Title: Secure Summation: Capacity Region, Groupwise Key, and FeasibilitySubjects: Information Theory (cs.IT)
The secure summation problem is considered, where $K$ users, each holds an input, wish to compute the sum of their inputs at a server securely, i.e., without revealing any information beyond the sum even if the server may collude with any set of up to $T$ users. First, we prove a folklore result for secure summation  to compute $1$ bit of the sum securely, each user needs to send at least $1$ bit to the server, each user needs to hold a key of at least $1$ bit, and all users need to hold collectively some key variables of at least $K1$ bits. Next, we focus on the symmetric groupwise key setting, where every group of $G$ users share an independent key. We show that for symmetric groupwise keys with group size $G$, when $G > KT$, the secure summation problem is not feasible; when $G \leq KT$, to compute $1$ bit of the sum securely, each user needs to send at least $1$ bit to the server and the size of each groupwise key is at least $(KT1)/\binom{KT}{G}$ bits. Finally, we relax the symmetry assumption on the groupwise keys and the colluding user sets; we allow any arbitrary group of users to share an independent key and any arbitrary group of users to collude with the server. For such a general groupwise key and colluding user setting, we show that secure summation is feasible if and only if the hypergraph, where each node is a user and each edge is a group of users sharing the same key, is connected after removing the nodes corresponding to any colluding set of users and their incident edges.
 [109] arXiv:2205.08466 [pdf, ps, other]

Title: On a Ramanujan type expansion of arithmetical functionsComments: The techniques which we adopted here can be used to derive infinite series expansions of some arithmetical functions using some other generalizations of Ramanujan sumSubjects: Number Theory (math.NT)
Srinivasa Ramanujan provided series expansions of certain arithmetical functions in terms of the exponential sums defined by $c_r(n)=\sum\limits_{\substack{m=1\\(m,r)=1}}^{r}}} e^{2\pi i mn/r}$ in [Trans. Cambridge Phillos. Soc, 22(13):259276,1918]. Here we give similar type of expansions in terms of the CohenRamanujan sum defined by E. Cohen in [Duke Mathematical Journal, 16(8590):2, 1949 ] as $c_r^s(n)=\sum\limits_{\substack{h=1\\(h,r^s)_s=1}}^{r^s}}}e^{2\pi i nh/r^s} $. We also provide some necessary and sufficient conditions for such expansions to exist.
 [110] arXiv:2205.08474 [pdf, ps, other]

Title: Maximal Chordal SubgraphsSubjects: Combinatorics (math.CO)
A chordal graph is a graph with no induced cycles of length at least $4$. Let $f(n,m)$ be the maximal integer such that every graph with $n$ vertices and $m$ edges has a chordal subgraph with at least $f(n,m)$ edges. In 1985 Erd\H{o}s and Laskar posed the problem of estimating $f(n,m)$. In the late '80s, Erd\H{o}s, Gy\'arf\'as, Ordman and Zalcstein determined the value of $f(n,n^2/4+1)$ and made a conjecture on the value of $f(n,n^2/3+1)$. In this paper we prove this conjecture and answer the question of Erd\H{o}s and Laskar, determining $f(n,m)$ asymptotically for all $m$ and exactly for $m \leq n^2/3+1$.
 [111] arXiv:2205.08482 [pdf, ps, other]

Title: An Aubin continuity path for shrinking gradient KählerRicci solitonsComments: 63 pagesSubjects: Differential Geometry (math.DG)
Let $D$ be a toric K\"ahlerEinstein Fano manifold. We show that any toric shrinking gradient K\"ahlerRicci soliton on certain proper modifications of $\mathbb{C}\times D$ satisfies a complex MongeAmp\`ere equation. We then set up an Aubin continuity path to solve this equation and show that it has a solution at the initial value of the path parameter. This we do by implementing another continuity method.
 [112] arXiv:2205.08485 [pdf, ps, other]

Title: The geometry of the KustaanheimoStiefel mappingAuthors: Richard CushmanSubjects: Symplectic Geometry (math.SG)
This paper details the geometry of the KustaanheimoStiefel mapping, which regularizes the Hamiltonian of the Kepler problem. It leans heavily on the work of J.C. van der Meer.
 [113] arXiv:2205.08490 [pdf, ps, other]

Title: A remark on the existence of equivariant functionsAuthors: Shingo SugiyamaSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
Let $\Gamma$ be an arbitrary Fuchsian group as a discrete subgroup of $\operatorname{SL}_2(\mathbb{R})$. In this note, we prove the existence of $\rho$equivariant functions for any twodimensional representation $\rho$ of $\Gamma$ with the condition that $\rho(I_2)\in \mathbb{C}^\times I_2$ if $\Gamma$ contains $I_2$, where $I_2$ is the twobytwo unit matrix. This assertion was first stated by Saber and Sebbar in 2020, and this note fills a gap of their statement.
 [114] arXiv:2205.08494 [pdf, ps, other]

Title: Covariance Estimation: Optimal Dimensionfree Guarantees for Adversarial Corruption and Heavy TailsComments: 31 pagesSubjects: Statistics Theory (math.ST); Data Structures and Algorithms (cs.DS); Probability (math.PR)
We provide an estimator of the covariance matrix that achieves the optimal rate of convergence (up to constant factors) in the operator norm under two standard notions of data contamination: We allow the adversary to corrupt an $\eta$fraction of the sample arbitrarily, while the distribution of the remaining data points only satisfies that the $L_{p}$marginal moment with some $p \ge 4$ is equivalent to the corresponding $L_2$marginal moment. Despite requiring the existence of only a few moments, our estimator achieves the same tail estimates as if the underlying distribution were Gaussian. As a part of our analysis, we prove a dimensionfree BaiYin type theorem in the regime $p > 4$.
 [115] arXiv:2205.08495 [pdf, ps, other]

Title: A new method for computing asymptotic results in optimal stopping problemsSubjects: Probability (math.PR); Classical Analysis and ODEs (math.CA)
In this paper, we present a novel method for computing the asymptotic values of both the optimal threshold, and the probability of success in sequences of optimal stopping problems. This method, based on the resolution of a firstorder linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the wellknown secretary problem, including the classical one, that appear in the literature on the subject, as well as four other unpublished ones.
 [116] arXiv:2205.08504 [pdf, ps, other]

Title: Ramanujan's approximation to the exponential function and generalizationsAuthors: Cormac O'SullivanComments: 18 pages, 1 figureSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Ramanujan's approximation to the exponential function is reexamined with the help of Perron's saddlepoint method. This allows for a wide generalization that includes the results of Buckholtz, and where all the asymptotic expansion coefficients may be given in closed form. Ramanujan's approximation to the exponential integral is treated similarly.
 [117] arXiv:2205.08506 [pdf, ps, other]

Title: Topological and metric properties of spaces of generalized persistence diagramsComments: 30 pagesSubjects: Algebraic Topology (math.AT)
Motivated by persistent homology and topological data analysis, we consider formal sums on a metric space with a distinguished subset. These formal sums, which we call persistence diagrams, have a canonical 1parameter family of metrics called Wasserstein distances. We study the topological and metric properties of these spaces. Some of our results are new even in the case of persistence diagrams on the halfplane. Under mild conditions, no persistence diagram has a compact neighborhood. If the underlying metric space is sigmacompact then so is the space of persistence diagrams. However, under mild conditions, the space of persistence diagrams is not hemicompact and the space of functions from this space to a topological space is not metrizable. Spaces of persistence diagrams inherit completeness and separability from the underlying metric space. Some spaces of persistence diagrams inherit being path connected, being a length space, and being a geodesic space, but others do not. We give criteria for a set of persistence diagrams to be totally bounded. We also study the curvature and dimension of spaces of persistence diagrams and their embeddability into a Hilbert space. We give necessary and sufficient conditions for the existence of optimal matchings.
 [118] arXiv:2205.08507 [pdf, ps, other]

Title: Colored double zeta values and modular forms of general levelAuthors: Minoru HiroseComments: 9 pagesSubjects: Number Theory (math.NT)
Gangl, Kaneko, and Zagier gave explicit linear relations among double zeta values of odd indices coming from the period polynomials of modular forms for ${\rm SL}(2,\mathbb{Z})$. In this paper, we generalize their result to the linear relations among colored double zeta values of level $N$ coming from the modular forms for level $N$ congruence subgroups.
 [119] arXiv:2205.08509 [pdf, ps, other]

Title: Largetime and smalltime behaviors of the spectral heat content for timechanged stable processesSubjects: Probability (math.PR)
We study the largetime and smalltime asymptotic behaviors of the spectral heat content for timechanged stable processes, where the time change belongs to a large class of inverse subordinators. For the largetime behavior, the spectral heat content decays polynomially with the decay rate determined by the Laplace exponent of the underlying subordinator, which is in sharp contrast to the exponential decay observed in the case when the time change is a subordinator. On the other hand, the smalltime behavior exhibits three different decay regimes, where the decay rate is determined by both the Laplace exponent and the index of the stable process.
 [120] arXiv:2205.08510 [pdf, other]

Title: Susceptibility of Age of Gossip to TimestompingSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)
We consider a fully connected network consisting of a source that maintains the current version of a file, $n$ nodes that use asynchronous gossip mechanisms to disseminate fresh information in the network, and an adversary who infects the packets at a target node through data timestamp manipulation, with the intent to replace circulation of fresh packets with outdated packets in the network. We show that a single infected node increases the expected age of a fully connected network from $O(\log n)$ to $O(n)$. Further, we show that the optimal behavior for an adversary is to reset the timestamps of all outgoing packets to the current time and of all incoming packets to an outdated time. Additionally, if the adversary allows the infected node to accept a small fraction of incoming packets from the network, then a large network can manage to curb the spread of stale files coming from the infected node and pull the network age back to $O(\log n)$. Lastly, we show that if an infected node contacts only a single node instead of all nodes of the network, the system age can still be degraded to $O(n)$. These show that fully connected nature of a network can be both a benefit and a detriment for information freshness; full connectivity, while enabling fast dissemination of information, also enables fast dissipation of adversarial inputs.
 [121] arXiv:2205.08511 [pdf, ps, other]

Title: A counterexample of two Romanov type conjecturesAuthors: Yuchen DingSubjects: Number Theory (math.NT)
In this note, we disprove two Romanov type conjectures posed by Chen.
 [122] arXiv:2205.08518 [pdf, other]

Title: Do Neural Networks Compress Manifolds Optimally?Subjects: Information Theory (cs.IT); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
Artificial NeuralNetworkbased (ANNbased) lossy compressors have recently obtained striking results on several sources. Their success may be ascribed to an ability to identify the structure of lowdimensional manifolds in highdimensional ambient spaces. Indeed, prior work has shown that ANNbased compressors can achieve the optimal entropydistortion curve for some such sources. In contrast, we determine the optimal entropydistortion tradeoffs for two lowdimensional manifolds with circular structure and show that stateoftheart ANNbased compressors fail to optimally compress the sources, especially at high rates.
 [123] arXiv:2205.08519 [pdf, ps, other]

Title: Grunsky operator, Grinshpan's conjecture and universal Teichmuller spaceAuthors: Samuel L. KrushkalSubjects: Complex Variables (math.CV)
A. Grinshpan posed a deep conjecture on the norm of the Grunsky operator generated by univalent functions in the disk. It gives a quantitative answer in terms of the Grunsky coefficients, to which extent a univalent function determines the bound of dilatations of its quasiconformal extensions. We provide the proof of this conjecture and its various analytic, geometric and potential applications.
Another result concerns the model of universal Teichmuller space by Grunsky coefficients.  [124] arXiv:2205.08521 [pdf, other]

Title: LearningAugmented Streaming Codes are Approximately Optimal for VariableSize MessagesComments: 13 pages, 8 figures, this is an extended version of the IEEE ISIT 2022 paper with the same titleSubjects: Information Theory (cs.IT)
Realtime streaming communication requires a high quality of service despite contending with packet loss. Streaming codes are a class of codes best suited for this setting. A key challenge for streaming codes is that they operate in an "online" setting in which the amount of data to be transmitted varies over time and is not known in advance. Mitigating the adverse effects of variability requires spreading the data that arrives at a time slot over multiple future packets, and the optimal strategy for spreading depends on the arrival pattern. Algebraic coding techniques alone are therefore insufficient for designing rateoptimal codes. We combine algebraic coding techniques with a learningaugmented algorithm for spreading to design the first approximately rateoptimal streaming codes for a range of parameter regimes that are important for practical applications.
 [125] arXiv:2205.08522 [pdf, ps, other]

Title: Jacobians, Antiaffine groups and torsion pointsComments: 17 pages, comments and suggestions are welcome!Subjects: Algebraic Geometry (math.AG); Group Theory (math.GR)
We give criteria for the Jacobian of a singular curve $X$ with at most ordinary $n$point singularities to be antiaffine. In particular, for the case of curves with single ordinary double point we exhibit a relation with torsion divisors. If the geometric genus of the singular curve is atleast 3 and the normalization is nonhyperelliptic and nonbielliptic, then except for finitely many cases the Jacobian of $X$ is antiaffine. Furthermore, if the normalization is a general curve of genus atleast 3 then the Jacobian of $X$ is always antiaffine.
 [126] arXiv:2205.08526 [pdf, ps, other]

Title: On the generalised BrezisNirenberg problemComments: 31 pagesSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
For $ p \in (1,N)$ and a domain $\Omega$ in $\mathbb{R}^N$, we study the following quasilinear problem involving the critical growth: \begin{eqnarray*}
\Delta_p u  \mu gu^{p2}u = u^{p^{*}2}u \ \mbox{ in } \mathcal{D}_p(\Omega), \end{eqnarray*} where $\Delta_p$ is the $p$Laplace operator defined as $\Delta_p(u) = \text{div}(\nabla u^{p2} \nabla u),$ $p^{*}= \frac{Np}{Np}$ is the critical Sobolev exponent and $\mathcal{D}_p(\Omega)$ is the BeppoLevi space defined as the completion of $\text{C}_c^{\infty}(\Omega)$ with respect to the norm $\u\_{\mathcal{D}_p} := \left[ \displaystyle \int_{\Omega} \nabla u^p \mathrm{d}x \right]^ \frac{1}{p}.$ In this article, we provide various sufficient conditions on $g$ and $\Omega$ so that the above problem admits a positive solution for certain range of $\mu$. As a consequence, for $N \geq p^2$, if $g $ is such that $g^+ \neq 0$ and the map $u \mapsto \displaystyle \int_{\Omega} gu^p \mathrm{d}x$ is compact on $\mathcal{D}_p(\Omega)$, we show that the problem under consideration has a positive solution for certain range of $\mu$. Further, for $\Omega =\mathbb{R}^N$, we give a necessary condition for the existence of positive solution.  [127] arXiv:2205.08537 [pdf, ps, other]

Title: Milnor fibers of homogeneous polynomials of prime power degreeAuthors: David B. MasseyComments: 14 pagesSubjects: Algebraic Geometry (math.AG)
We consider a homogeneous polynomial of degree equal to a prime power and examine the cohomology of the Milnor fiber.
Crosslists for Wed, 18 May 22
 [128] arXiv:2112.09821 (crosslist from mathph) [pdf, other]

Title: Fermi acceleration in rotating drumsSubjects: Mathematical Physics (mathph); Dynamical Systems (math.DS)
Consider hard balls in a bounded rotating drum. If there is no gravitation then there is no Fermi acceleration, i.e., the energy of the balls remains bounded forever. If there is gravitation, Fermi acceleration may arise. A number of explicit formulas for the system without gravitation are given. Some of these are based on an explicit realization, which we derive, of the wellknown microcanonical ensemble measure.
 [129] arXiv:2205.07486 (crosslist from econ.GN) [pdf, other]

Title: Polarization and Quid Pro Quo: The Role of Party CohesivenessSubjects: General Economics (econ.GN); Spectral Theory (math.SP)
When can an interest group exploit ideological and affective polarization between political parties to its advantage? We study a model where an interest group credibly promises payments to legislators conditional on voting for its favored policy. Legislators value voting as their friends within their party, and suffer an ideologicaldisutility upon voting against their party's ideologically preferred policy. Affective polarization, owing to its interpersonal nature, is modeled by assuming a legislator values distinguishing her voting decision from legislators in the opposite party. Our main finding is that an aggregate measure of relative cohesiveness of social networks in the two parties determines whether the interest group can profitably exploit increasing polarization. However, the significance of relative cohesiveness vanishes if there is no ideological polarization between the two parties.
 [130] arXiv:2205.07900 (crosslist from condmat.meshall) [pdf, other]

Title: Nontrivial quantum geometry of degenerate flat bandsComments: 5+15 pages, 2+2 figures. Comments are welcomeSubjects: Mesoscale and Nanoscale Physics (condmat.meshall); Materials Science (condmat.mtrlsci); Quantum Gases (condmat.quantgas); Mathematical Physics (mathph)
The importance of the quantum metric in flatband systems has been noticed recently in many contexts like the superfluid stiffness, the dc electrical conductivity, and ideal Chern insulators. Both the quantum metric of degenerate and nondegenerate bands can be naturally described via the geometry of different Grassmannian manifolds, specific to the band degeneracies. Contrary to the (Abelian) Berry curvature, the quantum metric of a degenerate band resulting from the collapse of a collection of bands is not simply the sum of the individual quantum metrics. By considering a toy model, we show that the quantum metric gets enhanced, reduced, or remains unaffected depending on which bands collapse. The dc longitudinal conductivity and the superfluid stiffness are known to be proportional to the quantum metric for flat band systems, which make them suitable candidates for the observation of this phenomenon.
 [131] arXiv:2205.07920 (crosslist from cs.LG) [pdf, other]

Title: An Extension to BasisHypervectors for Learning from Circular Data in Hyperdimensional ComputingSubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
Hyperdimensional Computing (HDC) is a computation framework based on properties of highdimensional random spaces. It is particularly useful for machine learning in resourceconstrained environments, such as embedded systems and IoT, as it achieves a good balance between accuracy, efficiency and robustness. The mapping of information to the hyperspace, named encoding, is the most important stage in HDC. At its heart are basishypervectors, responsible for representing the smallest units of meaningful information. In this work we present a detailed study on basishypervector sets, which leads to practical contributions to HDC in general: 1) we propose an improvement for levelhypervectors, used to encode real numbers; 2) we introduce a method to learn from circular data, an important type of information never before addressed in machine learning with HDC. Empirical results indicate that these contributions lead to considerably more accurate models for both classification and regression with circular data.
 [132] arXiv:2205.07932 (crosslist from cs.LG) [pdf, other]

Title: Distributed Feature Selection for Highdimensional Additive ModelsComments: 40 pages, 2 figuresSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Applications (stat.AP); Computation (stat.CO); Machine Learning (stat.ML)
Distributed statistical learning is a common strategy for handling massive data where we divide the learning task into multiple local machines and aggregate the results afterward. However, most existing work considers the case where the samples are divided. In this work, we propose a new algorithm, DDACSpAM, that divides features under the highdimensional sparse additive model. The new algorithm contains three steps: divide, decorrelate, and conquer. We show that after the decorrelation operation, every local estimator can recover the sparsity pattern for each additive component consistently without imposing strict constraints to the correlation structure among variables. Theoretical analysis of the aggregated estimator and empirical results on synthetic and real data illustrate that the DDACSpAM algorithm is effective and competitive in fitting sparse additive models.
 [133] arXiv:2205.07965 (crosslist from eess.SY) [pdf, other]

Title: Flexible and curtailable resource activation in threephase unbalanced distribution networksSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
The need for flexibility and curtailable resources is crucial for ensuring the healthy operation of future distribution networks (DN). In this work, we propose a networkstate driven framework that distribution system operators (DSOs) can utilize for activating flexible and curtailable resources for alleviating network voltage and thermal issues, while accounting for network voltage and current imbalances. This approach assumes the availability of dynamic network state information and uses nodal sensitivities for calculating a flexibility activation signal (FAS). The signal design is motivated by voltVar and voltwatt inverter control, and thus bounded. The FAS also considers network voltage and current imbalances and incentivizes activation of active and reactive power flexibilities for reducing imbalance in addition to mitigating voltage and thermal imbalances in a threephase unbalanced distribution network. The FAS design resembles optimal power flow duals, often used as locational marginal prices. The gains associated with the imbalance component of the objective function of threephase unbalanced resource activation (TPURA) is performed using Pareto optimality. A numerical case study is presented showing the efficacy of the proposed framework in avoiding network issues while reducing voltage unbalance factor by more than 80\%. Further, DN's flexibility needs are quantified for location and time of day.
 [134] arXiv:2205.07999 (crosslist from stat.ML) [pdf, other]

Title: An Exponentially Increasing Stepsize for Parameter Estimation in Statistical ModelsComments: 26 pages. The authors are listed in alphabetical orderSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC); Statistics Theory (math.ST)
Using gradient descent (GD) with fixed or decaying stepsize is standard practice in unconstrained optimization problems. However, when the loss function is only locally convex, such a stepsize schedule artificially slows GD down as it cannot explore the flat curvature of the loss function. To overcome that issue, we propose to exponentially increase the stepsize of the GD algorithm. Under homogeneous assumptions on the loss function, we demonstrate that the iterates of the proposed \emph{exponential step size gradient descent} (EGD) algorithm converge linearly to the optimal solution. Leveraging that optimization insight, we then consider using the EGD algorithm for solving parameter estimation under nonregular statistical models whose the loss function becomes locally convex when the sample size goes to infinity. We demonstrate that the EGD iterates reach the final statistical radius within the true parameter after a logarithmic number of iterations, which is in stark contrast to a \emph{polynomial} number of iterations of the GD algorithm. Therefore, the total computational complexity of the EGD algorithm is \emph{optimal} and exponentially cheaper than that of the GD for solving parameter estimation in nonregular statistical models. To the best of our knowledge, it resolves a longstanding gap between statistical and algorithmic computational complexities of parameter estimation in nonregular statistical models. Finally, we provide targeted applications of the general theory to several classes of statistical models, including generalized linear models with polynomial link functions and location Gaussian mixture models.
 [135] arXiv:2205.08015 (crosslist from qbio.PE) [pdf, other]

Title: Similarity Suppresses Cyclicity: Why Similar Competitors Form HierarchiesComments: 37 pages, 9 figuresSubjects: Populations and Evolution (qbio.PE); Probability (math.PR)
Competitive systems can exhibit both hierarchical (transitive) and cyclic (intransitive) structures. Despite theoretical interest in cyclic competition, which offers richer dynamics, and occupies a larger subset of the space of possible competitive systems, most realworld systems are predominantly transitive. Why? Here, we introduce a generic mechanism which promotes transitivity, even when there is ample room for cyclicity. Consider a competitive system where outcomes are mediated by competitor attributes via a performance function. We demonstrate that, if competitive outcomes depend smoothly on competitor attributes, then similar competitors compete transitively. We quantify the rate of convergence to transitivity given the similarity of the competitors and the smoothness of the performance function. Thus, we prove the adage regarding apples and oranges. Similar objects admit well ordered comparisons. Diverse objects may not. To test that theory, we run a series of evolution experiments designed to mimic genetic training algorithms. We consider a series of canonical bimatrix games and an ensemble of random performance functions that demonstrate the generality of our mechanism, even when faced with highly cyclic games. We vary the training parameters controlling the evolution process, and the shape parameters controlling the performance function, to evaluate the robustness of our results. These experiments illustrate that, if competitors evolve to optimize performance, then their traits may converge, leading to transitivity.
 [136] arXiv:2205.08022 (crosslist from cs.DS) [pdf, ps, other]

Title: A faster algorithm for Vertex Cover parameterized by solution sizeSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
We describe a new algorithm for vertex cover with runtime $O^*(1.25400^k)$, where $k$ is the size of the desired solution and $O^*$ hides polynomial factors in the input size. This improves over previous runtime of $O^*(1.2738^k)$ due to Chen, Kanj, & Xia (2010) standing for more than a decade. The key to our algorithm is to use a potential function which simultaneously tracks $k$ as well as the optimal value $\lambda$ of the vertex cover LP relaxation. This approach also allows us to make use of prior algorithms for Maximum Independent Set in boundeddegree graphs and AboveGuarantee Vertex Cover.
The main step in the algorithm is to branch on highdegree vertices, while ensuring that both $k$ and $\mu = k  \lambda$ are decreased at each step. There can be local obstructions in the graph that prevent $\mu$ from decreasing in this process; we develop a number of novel branching steps to handle these situations.  [137] arXiv:2205.08023 (crosslist from condmat.statmech) [pdf, ps, other]

Title: A stationary model of nonintersecting directed polymersComments: 29 pages, 8 figuresSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Probability (math.PR)
We consider the partition function $Z_{\ell}(\vec x,0\vert \vec y,t)$ of $\ell$ nonintersecting continuous directed polymers of length $t$ in dimension $1+1$, in a white noise environment, starting from positions $\vec x$ and terminating at positions $\vec y$. When $\ell=1$, it is well known that for fixed $x$, the field $\log Z_1(x,0\vert y,t)$ solves the KardarParisiZhang equation and admits the Brownian motion as a stationary measure. In particular, as $t$ goes to infinity, $Z_1(x,0\vert y,t)/Z_1(x,0\vert 0,t) $ converges to the exponential of a Brownian motion $B(y)$. In this article, we show an analogue of this result for any $\ell$. We show that $Z_{\ell}(\vec x,0\vert \vec y,t)/Z_{\ell}(\vec x,0\vert \vec 0,t) $ converges as $t$ goes to infinity to an explicit functional $Z_{\ell}^{\rm stat}(\vec y)$ of $\ell$ independent Brownian motion. This functional $Z_{\ell}^{\rm stat}(\vec y)$ admits a simple description as the partition sum for $\ell$ nonintersecting semidiscrete polymers on $\ell$ lines. We discuss applications to the endpoints and midpoints distribution for long noncrossing polymers and derive explicit formula in the case of two polymers. To obtain these results, we show that the stationary measure of the O'ConnellWarren multilayer stochastic heat equation is given by a collection of independent Brownian motions. This in turn is shown via analogous results in a discrete setup for the socalled loggamma polymer and exploit the connection between nonintersecting loggamma polymers and the geometric RSK correspondence found in arXiv:1110.3489.
.  [138] arXiv:2205.08032 (crosslist from cs.CC) [pdf, ps, other]

Title: On Algebraic Constructions of Neural Networks with Small WeightsSubjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
Neural gates compute functions based on weighted sums of the input variables. The expressive power of neural gates (number of distinct functions it can compute) depends on the weight sizes and, in general, large weights (exponential in the number of inputs) are required. Studying the tradeoffs among the weight sizes, circuit size and depth is a wellstudied topic both in circuit complexity theory and the practice of neural computation. We propose a new approach for studying these complexity tradeoffs by considering a related algebraic framework. Specifically, given a single linear equation with arbitrary coefficients, we would like to express it using a system of linear equations with smaller (even constant) coefficients. The techniques we developed are based on Siegel's Lemma for the bounds, anticoncentration inequalities for the existential results and extensions of Sylvestertype Hadamard matrices for the constructions.
We explicitly construct a constant weight, optimal size matrix to compute the EQUALITY function (checking if two integers expressed in binary are equal). Computing EQUALITY with a single linear equation requires exponentially large weights. In addition, we prove the existence of the bestknown weight size (linear) matrices to compute the COMPARISON function (comparing between two integers expressed in binary). In the context of the circuit complexity theory, our results improve the upper bounds on the weight sizes for the bestknown circuit sizes for EQUALITY and COMPARISON.  [139] arXiv:2205.08036 (crosslist from stat.ME) [pdf, ps, other]

Title: On Semiparametric Efficiency of an Emerging Class of Regression Models for Betweensubject AttributesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
The semiparametric regression models have attracted increasing attention owing to their robustness compared to their parametric counterparts. This paper discusses the efficiency bound for functional response models (FRM), an emerging class of semiparametric regression that serves as a timely solution for research questions involving pairwise observations. This new paradigm is especially appealing to reduce astronomical data dimensions for those arising from wearable devices and highthroughput technology, such as microbiome Betadiversity, viral genetic linkage, singlecell RNA sequencing, etc. Despite the growing applications, the efficiency of their estimators has not been investigated carefully due to the extreme difficulty to address the inherent correlations among pairs. Leveraging the Hilbertspacebased semiparametric efficiency theory for classical withinsubject attributes, this manuscript extends such asymptotic efficiency into the broader regression involving betweensubject attributes and pinpoints the most efficient estimator, which leads to a sensitive signaldetection in practice. With pairwise outcomes burgeoning immensely as effective dimensionreduction summaries, the established theory will not only fill the critical gap in identifying the most efficient semiparametric estimator but also propel wideranging implementations of this new paradigm for betweensubject attributes.
 [140] arXiv:2205.08039 (crosslist from hepth) [pdf, ps, other]

Title: Duality Cascades and ParallelotopesComments: 27 pages, 5 eps figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
Duality cascades are a series of duality transformations in field theories, which can be realized as the HananyWitten transitions in brane configurations on a circle. From the physical requirement that duality cascades always end and the final destination depends only on the initial brane configuration, we propose that the fundamental domain of supersymmetric brane configurations in duality cascades can tile the whole parameter space of relative ranks by translations, hence is a parallelotope. We provide our arguments for the proposal.
 [141] arXiv:2205.08047 (crosslist from stat.ML) [pdf, other]

Title: Perfect Spectral Clustering with Discrete CovariatesComments: 23 pages, 1 figureSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Social and Information Networks (cs.SI); Statistics Theory (math.ST)
Among community detection methods, spectral clustering enjoys two desirable properties: computational efficiency and theoretical guarantees of consistency. Most studies of spectral clustering consider only the edges of a network as input to the algorithm. Here we consider the problem of performing community detection in the presence of discrete node covariates, where network structure is determined by a combination of a latent block model structure and homophily on the observed covariates. We propose a spectral algorithm that we prove achieves perfect clustering with high probability on a class of large, sparse networks with discrete covariates, effectively separating latent network structure from homophily on observed covariates. To our knowledge, our method is the first to offer a guarantee of consistent latent structure recovery using spectral clustering in the setting where edge formation is dependent on both latent and observed factors.
 [142] arXiv:2205.08048 (crosslist from eess.SY) [pdf, other]

Title: A Short Introduction to the Koopman Representation of Dynamical SystemsAuthors: Bassam BamiehSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)
The Koopman representation is an infinite dimensional linear representation of linear or nonlinear dynamical systems. It represents the dynamics of output maps (aka observables), which are functions on the state space whose evaluation is interpreted as an output. Conceptually simple derivations and commentary on the Koopman representation are given. We emphasize an important duality between initial conditions and output maps of the original system, and those of the Koopman representation. This duality is an important consideration when this representation is used in datadriven applications such as the Dynamic Mode Decomposition (DMD) and its variants. The adjoint relation between the Koopman representation and the transfer operator of mass transport is also shown.
 [143] arXiv:2205.08078 (crosslist from cs.LG) [pdf, other]

Title: Unraveling Attention via Convex Duality: Analysis and Interpretations of Vision TransformersComments: 38 pages, 2 figures. To appear in ICML 2022Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)
Vision transformers using selfattention or its proposed alternatives have demonstrated promising results in many image related tasks. However, the underpinning inductive bias of attention is not well understood. To address this issue, this paper analyzes attention through the lens of convex duality. For the nonlinear dotproduct selfattention, and alternative mechanisms such as MLPmixer and Fourier Neural Operator (FNO), we derive equivalent finitedimensional convex problems that are interpretable and solvable to global optimality. The convex programs lead to {\it block nuclearnorm regularization} that promotes low rank in the latent feature and token dimensions. In particular, we show how selfattention networks implicitly clusters the tokens, based on their latent similarity. We conduct experiments for transferring a pretrained transformer backbone for CIFAR100 classification by finetuning a variety of convex attention heads. The results indicate the merits of the bias induced by attention compared with the existing MLP or linear heads.
 [144] arXiv:2205.08091 (crosslist from nlin.CD) [pdf, ps, other]

Title: Hopf Bifurcation in vibrational resonance through modulation of fast frequencyComments: 6 pages, 6 figuresSubjects: Chaotic Dynamics (nlin.CD); Dynamical Systems (math.DS); Applied Physics (physics.appph)
In this Letter we explore the possibility of a supercritical Hopf bifurcation in a typical parametric nonlinear oscillator which has been excited by two frequencies, one slow and the other fast, through the variation of the frequency of the rapidly oscillating driving force. Studies of nonlinear responses and bifurcations of such driven nonlinear systems are usually done by treating the strength of the fast drive as the control parameter. Here we show that, beyond its role in allowing one to study the dynamics with the slow and fast components nicely separated, the fast frequency can also be used as an independent control parameter for studying Hopf bifurcation.
 [145] arXiv:2205.08127 (crosslist from physics.fludyn) [pdf, other]

Title: Isogeometric Hierarchical Model Reduction for advectiondiffusion process simulation in microchannelsAuthors: Simona Perotto, Gloria Bellini, Francesco Ballarin, Karol Calò, Valentina Mazzi, Umberto MorbiducciComments: 17 pagesSubjects: Fluid Dynamics (physics.fludyn); Numerical Analysis (math.NA)
Microfluidics proved to be a key technology in various applications, allowing to reproduce largescale laboratory settings at a more sustainable smallscale. The current effort is focused on enhancing the mixing process of different passive species at the microscale, where a laminar flow regime damps turbulence effects. Chaotic advection is often used to improve mixing effects also at very low Reynolds numbers. In particular, we focus on passive micromixers, where chaotic advection is mainly achieved by properly selecting the geometry of microchannels. In such a context, reduced order modeling can play a role, especially in the design of new geometries. In this chapter, we verify the reliability and the computational benefits lead by a Hierarchical Model (HiMod) reduction when modeling the transport of a passive scalar in an Sshaped microchannel. Such a geometric configuration provides an ideal setting where to apply a HiMod approximation, which exploits the presence of a leading dynamics to commute the original threedimensional model into a system of onedimensional coupled problems. It can be proved that HiMod reduction guarantees a very good accuracy when compared with a highfidelity model, despite a drastic reduction in terms of number of unknowns.
 [146] arXiv:2205.08187 (crosslist from stat.ML) [pdf, other]

Title: Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibilityComments: 89 pages, 11 figures, 7 tablesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR); Statistics Theory (math.ST)
This article studies the infinitewidth limit of deep feedforward neural networks whose weights are dependent, and modelled via a mixture of Gaussian distributions. Each hidden node of the network is assigned a nonnegative random variable that controls the variance of the outgoing weights of that node. We make minimal assumptions on these pernode random variables: they are iid and their sum, in each layer, converges to some finite random variable in the infinitewidth limit. Under this model, we show that each layer of the infinitewidth neural network can be characterised by two simple quantities: a nonnegative scalar parameter and a L\'evy measure on the positive reals. If the scalar parameters are strictly positive and the L\'evy measures are trivial at all hidden layers, then one recovers the classical Gaussian process (GP) limit, obtained with iid Gaussian weights. More interestingly, if the L\'evy measure of at least one layer is nontrivial, we obtain a mixture of Gaussian processes (MoGP) in the largewidth limit. The behaviour of the neural network in this regime is very different from the GP regime. One obtains correlated outputs, with nonGaussian distributions, possibly with heavy tails. Additionally, we show that, in this regime, the weights are compressible, and feature learning is possible. Many sparsitypromoting neural network models can be recast as special cases of our approach, and we discuss their infinitewidth limits; we also present an asymptotic analysis of the pruning error. We illustrate some of the benefits of the MoGP regime over the GP regime in terms of representation learning and compressibility on simulated, MNIST and Fashion MNIST datasets.
 [147] arXiv:2205.08214 (crosslist from nlin.SI) [pdf, other]

Title: Cauchy matrix solutions to some local and nonlocal complex equationsComments: 28 pages,62 figures,to appear in Theor. Math. PhysSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph)
In this paper, we develop a Cauchy matrix reduction technique that enables us to obtain solutions for the reduced local and nonlocal complex equations from the Cauchy matrix solutions of the original beforereduction systems. Specifically, by imposing local and nonlocal complex reductions on some AblowitzKaupNewellSegurtype equations, we study some local and nonlocal complex equations, involving the local and nonlocal complex modified Kortewegde Vries equation, the local and nonlocal complex sineGordon equation, the local and nonlocal potential nonlinear Schr\"{o}dinger equation and the local and nonlocal potential complex modified Kortewegde Vries equation. Cauchy matrixtype soliton solutions and Jordan block solutions for the aforesaid local and nonlocal complex equations are presented. The dynamical behaviors of some obtained solutions are analyzed with graphical illustrations.
 [148] arXiv:2205.08245 (crosslist from stat.ME) [pdf, other]

Title: Bayesian Inference for NonParametric Extreme Value TheoryAuthors: Tobias KallehaugeSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Statistical inference for extreme values of random events is difficult in practice due to low sample sizes and inaccurate models for the studied rare events. If prior knowledge for extreme values is available, Bayesian statistics can be applied to reduce the sample complexity, but this requires a known probability distribution. By working with the quantiles for extremely low probabilities (in the order of $10^{2}$ or lower) and relying on their asymptotic normality, inference can be carried out without assuming any distributions. Despite relying on asymptotic results, it is shown that a Bayesian framework that incorporates prior information can reduce the number of observations required to estimate a particular quantile to some level of accuracy.
 [149] arXiv:2205.08246 (crosslist from grqc) [pdf, ps, other]

Title: When null energy condition meets ADM massComments: 7 pages, no figureSubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We give a conjecture on the lower bound of the ADM mass $M$ by using the null energy condition. The conjecture includes a Penroselike inequality $3M\geq\kappa\mathcal{A}/(4\pi)+\sqrt{\mathcal{A}/4\pi}$ and the Penrose inequality $ 2M\geq\sqrt{{\mathcal{A}}/{4\pi}}$ with $\mathcal{A}$ the event horizon area and $\kappa$ the surface gravity. Both the conjecture in the static spherically symmetric case and the Penrose inequality for a dynamical spacetime with spherical symmetry are proved by imposing the null energy condition. We then generalize the conjecture to a general dynamical spacetime. Our results raise a new challenge for the famous unsettled question in general relativity: in what general case can the null energy condition replace other energy conditions to ensure the Penrose inequality?
 [150] arXiv:2205.08300 (crosslist from cs.LO) [pdf, other]

Title: SamplingBased Verification of CTMCs with Uncertain RatesSubjects: Logic in Computer Science (cs.LO); Optimization and Control (math.OC)
We employ uncertain parametric CTMCs with parametric transition rates and a prior on the parameter values. The prior encodes uncertainty about the actual transition rates, while the parameters allow dependencies between transition rates. Sampling the parameter values from the prior distribution then yields a standard CTMC, for which we may compute relevant reachability probabilities. We provide a principled solution, based on a technique called scenariooptimization, to the following problem: From a finite set of parameter samples and a userspecified confidence level, compute prediction regions on the reachability probabilities. The prediction regions should (with high probability) contain the reachability probabilities of a CTMC induced by any additional sample. To boost the scalability of the approach, we employ standard abstraction techniques and adapt our methodology to support approximate reachability probabilities. Experiments with various wellknown benchmarks show the applicability of the approach.
 [151] arXiv:2205.08304 (crosslist from cs.LG) [pdf, other]

Title: Bayesian PhysicsInformed Neural Networks for realworld nonlinear dynamical systemsSubjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
Understanding realworld dynamical phenomena remains a challenging task. Across various scientific disciplines, machine learning has advanced as the goto technology to analyze nonlinear dynamical systems, identify patterns in big data, and make decision around them. Neural networks are now consistently used as universal function approximators for data with underlying mechanisms that are incompletely understood or exceedingly complex. However, neural networks alone ignore the fundamental laws of physics and often fail to make plausible predictions. Here we integrate data, physics, and uncertainties by combining neural networks, physicsinformed modeling, and Bayesian inference to improve the predictive potential of traditional neural network models. We embed the physical model of a damped harmonic oscillator into a fullyconnected feedforward neural network to explore a simple and illustrative model system, the outbreak dynamics of COVID19. Our PhysicsInformed Neural Networks can seamlessly integrate data and physics, robustly solve forward and inverse problems, and perform well for both interpolation and extrapolation, even for a small amount of noisy and incomplete data. At only minor additional cost, they can selfadaptively learn the weighting between data and physics. Combined with Bayesian Neural Networks, they can serve as priors in a Bayesian Inference, and provide credible intervals for uncertainty quantification. Our study reveals the inherent advantages and disadvantages of Neural Networks, Bayesian Inference, and a combination of both and provides valuable guidelines for model selection. While we have only demonstrated these approaches for the simple model problem of a seasonal endemic infectious disease, we anticipate that the underlying concepts and trends generalize to more complex disease conditions and, more broadly, to a wide variety of nonlinear dynamical systems.
 [152] arXiv:2205.08321 (crosslist from cs.CE) [pdf, other]

Title: Finite Element Methodenhanced Neural Network for Forward and Inverse ProblemsAuthors: Rishith Ellath Meethal, Birgit Obst, Mohamed Khalil, Aditya Ghantasala, Anoop Kodakkal, KaiUwe Bletzinger, Roland WüchnerSubjects: Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Numerical Analysis (math.NA)
We introduce a novel hybrid methodology combining classical finite element methods (FEM) with neural networks to create a wellperforming and generalizable surrogate model for forward and inverse problems. The residual from finite element methods and custom loss functions from neural networks are merged to form the algorithm. The Finite Element Methodenhanced Neural Network hybrid model (FEMNN hybrid) is dataefficient and physics conforming. The proposed methodology can be used for surrogate models in realtime simulation, uncertainty quantification, and optimization in the case of forward problems. It can be used for updating the models in the case of inverse problems. The method is demonstrated with examples, and the accuracy of the results and performance is compared against the conventional way of network training and the classical finite element method. An application of the forwardsolving algorithm is demonstrated for the uncertainty quantification of wind effects on a highrise buildings. The inverse algorithm is demonstrated in the speeddependent bearing coefficient identification of fluid bearings. The hybrid methodology of this kind will serve as a paradigm shift in the simulation methods currently used.
 [153] arXiv:2205.08332 (crosslist from cs.LG) [pdf, other]

Title: Scalable algorithms for physicsinformed neural and graph networksComments: 26 pages, 13 figures. arXiv admin note: text overlap with arXiv:2104.10013Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
Physicsinformed machine learning (PIML) has emerged as a promising new approach for simulating complex physical and biological systems that are governed by complex multiscale processes for which some data are also available. In some instances, the objective is to discover part of the hidden physics from the available data, and PIML has been shown to be particularly effective for such problems for which conventional methods may fail. Unlike commercial machine learning where training of deep neural networks requires big data, in PIML big data are not available. Instead, we can train such networks from additional information obtained by employing the physical laws and evaluating them at random points in the spacetime domain. Such physicsinformed machine learning integrates multimodality and multifidelity data with mathematical models, and implements them using neural networks or graph networks. Here, we review some of the prevailing trends in embedding physics into machine learning, using physicsinformed neural networks (PINNs) based primarily on feedforward neural networks and automatic differentiation. For more complex systems or systems of systems and unstructured data, graph neural networks (GNNs) present some distinct advantages, and here we review how physicsinformed learning can be accomplished with GNNs based on graph exterior calculus to construct differential operators; we refer to these architectures as physicsinformed graph networks (PIGNs). We present representative examples for both forward and inverse problems and discuss what advances are needed to scale up PINNs, PIGNs and more broadly GNNs for largescale engineering problems.
 [154] arXiv:2205.08339 (crosslist from qbio.NC) [pdf, other]

Title: Variational and phase response analysis for limit cycles with hard boundaries, with applications to neuromechanical control problemsComments: 26 pages, 13 figuresSubjects: Neurons and Cognition (qbio.NC); Dynamical Systems (math.DS)
Motor systems show an overall robustness, but because they are highly nonlinear, understanding how they achieve robustness is difficult. In many rhythmic systems, robustness against perturbations involves response of both the shape and the timing of the trajectory. This makes the study of robustness even more challenging.
To understand how a motor system produces robust behaviors in a variable environment, we consider a neuromechanical model of motor patterns in the feeding apparatus of the marine mollusk \textit{Aplysia californica} \citep{shaw2015,lyttle2017}. We established in \citep{WGCT2021} the tools for studying combined shape and timing responses of limit cycle systems under sustained perturbations and here apply them to study robustness of the neuromechanical model against increased mechanical load during swallowing. Interestingly, we discover that nonlinear biomechanical properties confer resilience by immediately increasing resistance to applied loads. In contrast, the effect of changed sensory feedback signal is significantly delayed by the firing rates' hard boundary properties. Our analysis suggests that sensory feedback contributes to robustness in swallowing primarily by shifting the timing of neural activation involved in the power stroke of the motor cycle (retraction). This effect enables the system to generate stronger retractor muscle forces to compensate for the increased load, and hence achieve strong robustness.
The approaches that we are applying to understanding a neuromechanical model in \textit{Aplysia}, and the results that we have obtained, are likely to provide insights into the function of other motor systems that encounter changing mechanical loads and hard boundaries, both due to mechanical and neuronal firing properties.  [155] arXiv:2205.08373 (crosslist from cs.LO) [pdf, other]

Title: Compositional Modeling with Stock and Flow DiagramsComments: 14 pagesSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Populations and Evolution (qbio.PE)
Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems they describe, we have created a new package called StockFlow, part of the AlgebraicJulia ecosystem, which uses ideas from category theory to overcome notable limitations of existing software. Compositionality is provided by the theory of decorated cospans: stock and flow diagrams can composed to form larger ones in an intuitive way formalized by the operad of undirected wiring diagrams. Our approach also cleanly separates the syntax of stock and flow diagrams from the semantics they can be assigned. We consider semantics in ordinary differential equations, although others are possible. As an example, we explain code in StockFlow that implements a simplified version of a COVID19 model used in Canada.
 [156] arXiv:2205.08387 (crosslist from physics.fludyn) [pdf, other]

Title: cfd.xyz/rom.js: An opensource framework for generating and visualizing parametric CFD results on the webComments: This article has been submitted for publication in OpenFOAM Journal on 20220316Subjects: Fluid Dynamics (physics.fludyn); Numerical Analysis (math.NA)
We present in this technical note an opensource web framework for the generation and visualization of parametric CFD results from surrogate models. It consists of a JavaScript module (rom.js) and a React JS web app (cfd.xyz) to explore fluid dynamics problems efficiently and easily for a wide range of parameters. rom.js is a JavaScript port of a set of opensource packages (Eigen, Splinter, VTK/C++ and ITHACAFV) to solve the online stage of reducedorder models (ROM) generated by the ITHACAFV tool. It can be executed outside a web browser within a backend JavaScript runtime environment, or in a given web solution. This methodology can also be extended to methods using machine learning. The rom.js module was used in cfd.xyz, an opensource web service to deliver a collection of interactive CFD cases in a parametric space. The framework provides a proof of technology for OpenFOAM tutorials, showing the whole process from the generation of the surrogate model to the web browser. It also includes a standalone web tool for visualizing users' ROMs by directly dragging and dropping the output folder of the offline stage. Beyond the current proof of technology, this enables a collaborative effort for the implementation of OpenFOAM surrogate models in applications demanding realtime solutions such as digital twins and other digital transformation technologies.
 [157] arXiv:2205.08423 (crosslist from eess.SP) [pdf, ps, other]

Title: The Deployment of IRS in UAVEmpowered 6G NetworksSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Intelligent reflecting surfaces (IRSs) with the ability to reconfigure inherent electromagnetic reflection and absorption characteristics in realtime provide unparalleled prospects to improve wireless connectivity in adverse circumstances. Unmanned aerial vehicles (UAV)assisted wireless networks are evolved as a reliable solution to combat nonline of sight (NLoS) scenarios. Thereby, the IRSempowered UAVassisted cellular networks will be a significant roleplayer to improve the coverage and user experiences. The paper aimed to minimize the path loss and maximize the achievable data rate in IRSUAVassisted networks. In this context, the work analyzed path loss and achievable rate utilizing millimeter wave (mmWave) carrier considering the conventional UAV model and IRSempowered UAV communication model. The research obtained that the IRSempowered UAV communications model can significantly minimize path loss and maximize the achievable data rate compared to the conventional UAVassisted model.
 [158] arXiv:2205.08435 (crosslist from qfin.RM) [pdf, other]

Title: Cyber Risk Assessment for Capital ManagementComments: This paper was first presented on July 5, 2021, at the 24th International Congress on Insurance: Mathematics and EconomicsSubjects: Risk Management (qfin.RM); Cryptography and Security (cs.CR); General Economics (econ.GN); Optimization and Control (math.OC)
Cyber risk is an omnipresent risk in the increasingly digitized world that is known to be difficult to quantify and assess. Despite the fact that cyber risk shows distinct characteristics from conventional risks, most existing models for cyber risk in the insurance literature have been purely based on frequencyseverity analysis, which was developed for classical property and casualty risks. In contrast, the cybersecurity engineering literature employs different approaches, under which cyber incidents are viewed as threats or hacker attacks acting on a particular set of vulnerabilities. There appears a gap in cyber risk modeling between engineering and insurance literature. This paper presents a novel model to capture these unique dynamics of cyber risk known from engineering and to model loss distributions based on industry loss data and a particular company's cybersecurity profile. The analysis leads to a new tool for allocating resources of the company between cybersecurity investments and lossabsorbing reserves.
Replacements for Wed, 18 May 22
 [159] arXiv:1308.4963 (replaced) [pdf, ps, other]

Title: Existence and nonexistence of areaminimizing hypersurfaces in manifolds of nonnegative Ricci curvatureComments: 33 pages. Comments are welcome!Journalref: Amer. J. Math., 138 (2016), no.2., 287327Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Metric Geometry (math.MG)
 [160] arXiv:1404.3599 (replaced) [pdf, other]

Title: Interpolation of Hilbert and Sobolev Spaces: Quantitative Estimates and CounterexamplesComments: Includes Corrigendum (last 6 pages)Journalref: Mathematika 61 (2015) 414443Subjects: Functional Analysis (math.FA)
 [161] arXiv:1603.01327 (replaced) [pdf, ps, other]

Title: Quantization of Hitchin integrable system via positive characteristicComments: paper by Roman Bezrukavnikov and Roman Travkin with an appendix by Roman Bezrukavnikov, TsaoHsien Chen and Xinwen Zhu. The new version contains minor updates to some proofs and to the introduction and a new remark on potential relation to a conjecture of Etingof, Frenkel and KazhdanSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
 [162] arXiv:1701.01674 (replaced) [pdf, ps, other]
 [163] arXiv:1804.01976 (replaced) [pdf, ps, other]

Title: GAGA theoremsAuthors: Jack HallComments: 28 pages; further corrections and clarifications; additional results on Lefschetz theorems and a corresponding rewrite of several sections; addition of an appendixSubjects: Algebraic Geometry (math.AG)
 [164] arXiv:1809.04109 (replaced) [pdf, ps, other]

Title: Vortex filament solutions of the NavierStokes equationsComments: 89 pages, 2 figuresSubjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.fludyn)
 [165] arXiv:1810.11837 (replaced) [pdf, ps, other]

Title: On the geometric P=W conjectureComments: 33 pages. New appendix. Other minor changes. Final version in Selecta MathematicaSubjects: Algebraic Geometry (math.AG)
 [166] arXiv:1812.11624 (replaced) [pdf, other]

Title: Homogenization of Stablelike Feller ProcessesSubjects: Probability (math.PR)
 [167] arXiv:1902.05349 (replaced) [pdf, ps, other]

Title: The digit exchanges in the rotational beta expansions of algebraic numbersComments: 16 pages, Version 3: accepted versionSubjects: Number Theory (math.NT)
 [168] arXiv:1904.02585 (replaced) [pdf, ps, other]

Title: Local weak convergence for sparse networks of interacting processesComments: 45 pages, 1 figure. Accepted by AAP. Version v3/v2 of the paper significantly extend the convergence results for diffusions in v1, and include new results on propagation of ergodicity and discretetime models. The complementary results in v1 on autonomous characterization of marginal dynamics of diffusions on trees and generalizations thereof are now presented in a separate paper arXiv:2009.11667Subjects: Probability (math.PR)
 [169] arXiv:1904.10516 (replaced) [pdf, ps, other]

Title: AbrahamRubinShelah Open Colorings and a Large ContinuumSubjects: Logic (math.LO)
 [170] arXiv:1904.10952 (replaced) [pdf, ps, other]

Title: Invariant curves for endomorphisms of $\mathbb P^1\times \mathbb P^1$Authors: Fedor PakovichComments: The final version, published by Math. AnnSubjects: Dynamical Systems (math.DS)
 [171] arXiv:1905.01605 (replaced) [pdf, ps, other]

Title: Nitsche's method for a Robin boundary value problem in a smooth domainComments: 17 pages, 3 figuresSubjects: Numerical Analysis (math.NA)
 [172] arXiv:1905.05422 (replaced) [pdf, ps, other]

Title: Critical cones for sufficient second order conditions in PDE constrained optimizationComments: 22 pages. Equation numbering in section 2 adjusted to match the journal versionJournalref: SIAM J. Optim. 301 (2020), pp. 585603Subjects: Optimization and Control (math.OC)
 [173] arXiv:1908.09578 (replaced) [pdf, ps, other]

Title: Jacobian elliptic fibrations on a special family of K3 surfaces of Picard rank sixteenComments: 17 pagesSubjects: Algebraic Geometry (math.AG)
 [174] arXiv:1912.10137 (replaced) [pdf, other]

Title: Spectra of infinite graphs via freeness with amalgamationComments: v2: Key references and new results added. Important bibliographic note (before Sec 1.1) has been added; v3: added discussions, generalized Thm 1.6 from adjacency matrices to graph Jacobi matrices; v5: small update on the definition of the graph product, strengthening of main theorem of Section 5, clarifications added, explanations expanded, figures updated, minor errors fixedSubjects: Combinatorics (math.CO); Operator Algebras (math.OA); Probability (math.PR)
 [175] arXiv:2001.05818 (replaced) [pdf, ps, other]

Title: Tame rational functions: Decompositions of iterates and orbit intersectionsAuthors: Fedor PakovichComments: The final version, to appear in J. Eur. Math. SocSubjects: Dynamical Systems (math.DS)
 [176] arXiv:2003.13591 (replaced) [pdf, ps, other]

Title: Asymptotically Kasnerlike singularitiesComments: 57 pages; minor correctionsSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [177] arXiv:2004.11541 (replaced) [pdf, ps, other]

Title: On Weakly Complete Universal Enveloping Algebras: A PoincareBirkhoffWitt TheoremComments: v2 completely rewritten and corrected. v3 title corrected. To appear in Journal of Lie TheorySubjects: Representation Theory (math.RT); Group Theory (math.GR)
 [178] arXiv:2005.04015 (replaced) [pdf, ps, other]

Title: On computing the determinant, other characteristic polynomial coefficients, and inverse in Clifford algebras of arbitrary dimensionAuthors: D. S. ShirokovComments: 24 pagesJournalref: Computational and Applied Mathematics, 40 (2021), 173, 29 ppSubjects: Mathematical Physics (mathph); Numerical Analysis (math.NA)
 [179] arXiv:2005.13777 (replaced) [pdf, ps, other]

Title: Computable reducibility of equivalence relations and an effective jump operatorSubjects: Logic (math.LO)
 [180] arXiv:2006.05953 (replaced) [pdf, other]

Title: Rates of convergence for the continuum limit of nondominated sortingJournalref: SIAM Journal on Mathematical Analysis 54.1 (2022): 872911Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
 [181] arXiv:2006.08752 (replaced) [pdf, ps, other]

Title: P=W conjectures for character varieties with symplectic resolutionComments: 49 pages. Final version to appear in Journal de l'\'Ecole polytechniqueSubjects: Algebraic Geometry (math.AG)
 [182] arXiv:2007.01994 (replaced) [pdf, other]

Title: A gentle introduction to the differential equation method and dynamic concentrationSubjects: Combinatorics (math.CO); Probability (math.PR)
 [183] arXiv:2007.02938 (replaced) [pdf, other]

Title: Causal Feature Selection via Orthogonal SearchSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
 [184] arXiv:2009.07427 (replaced) [pdf, other]

Title: Intrinsic Riemannian Functional Data Analysis for Sparse Longitudinal ObservationsComments: 56 pagesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [185] arXiv:2009.09419 (replaced) [pdf, ps, other]

Title: Generalized MittagLeffler stability of fractional impulsive differential systemSubjects: Optimization and Control (math.OC)
 [186] arXiv:2009.09635 (replaced) [pdf, ps, other]

Title: On K3 surfaces of Picard rank 14Comments: 67 pagesSubjects: Algebraic Geometry (math.AG)
 [187] arXiv:2010.00804 (replaced) [pdf, other]

Title: KacRice formulas and the number of solutions of parametrized systems of polynomial equationsComments: To appear in Mathematics of ComputationSubjects: Numerical Analysis (math.NA); Algebraic Geometry (math.AG); Quantitative Methods (qbio.QM)
 [188] arXiv:2010.09518 (replaced) [pdf, other]

Title: Dualizing spheres for compact $p$adic analytic groups and duality in chromatic homotopyComments: Final version, accepted for publication in Invent. Math. Comments always welcome!Subjects: Algebraic Topology (math.AT)
 [189] arXiv:2011.00690 (replaced) [pdf, ps, other]

Title: Biinfinite solutions for KdV and Todatype discrete integrable systems based on path encodingsSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph); Probability (math.PR)
 [190] arXiv:2012.07665 (replaced) [pdf, ps, other]

Title: Duality for automorphic sheaves with nilpotent singular supportSubjects: Algebraic Geometry (math.AG)
 [191] arXiv:2012.09001 (replaced) [pdf, ps, other]

Title: Upper bounds for the largest components in critical inhomogeneous random graphsComments: 56 pages. Major revision with updated resultsSubjects: Probability (math.PR)
 [192] arXiv:2012.09102 (replaced) [pdf, other]

Title: FedADC: Accelerated Federated Learning with Drift ControlComments: Accepted to ISIT 2021Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)
 [193] arXiv:2012.09464 (replaced) [src]

Title: The KroneckerWeyl equidistribution theorem and geodesics in 3manifoldsComments: The argument in this paper is based on an earlier result where we have discovered a major flaw in the argumentSubjects: Number Theory (math.NT)
 [194] arXiv:2012.14702 (replaced) [pdf, other]

Title: A fast iterative algorithm for neardiagonal eigenvalue problemsSubjects: Numerical Analysis (math.NA)
 [195] arXiv:2101.05658 (replaced) [pdf, other]

Title: A growthfragmentation model connected to the ricocheted stable processAuthors: Alexander R. WatsonComments: 14 pages. v5 makes minor amendmentsSubjects: Probability (math.PR)
 [196] arXiv:2101.05882 (replaced) [pdf, ps, other]

Title: Infinity Laplacian equations with singular absorptionsJournalref: Calc. Var. 61, 132 (2022)Subjects: Analysis of PDEs (math.AP)
 [197] arXiv:2103.04664 (replaced) [pdf, ps, other]

Title: On the Minkowski content of selfsimilar random homogeneous iterated function systemsAuthors: Sascha TroscheitComments: 15 pagesSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)
 [198] arXiv:2103.11748 (replaced) [pdf, ps, other]

Title: Forcing the $Π^1_n$Uniformization PropertyAuthors: Stefan HoffelnerComments: 63 pagesSubjects: Logic (math.LO)
 [199] arXiv:2104.01100 (replaced) [pdf, other]
 [200] arXiv:2104.11850 (replaced) [pdf, other]

Title: The number of perfect matchings, and the nesting properties, of random regular graphsAuthors: Pu GaoSubjects: Combinatorics (math.CO)
 [201] arXiv:2104.15021 (replaced) [pdf, other]

Title: Formalizing the Face Lattice of PolyhedraSubjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Optimization and Control (math.OC)
 [202] arXiv:2105.00046 (replaced) [pdf, ps, other]

Title: Viscoenergetic solutions for a model of crack growth in brittle materialsSubjects: Analysis of PDEs (math.AP)
 [203] arXiv:2105.10210 (replaced) [pdf, other]

Title: Bayesian Uncertainty Quantification of Local Volatility ModelSubjects: Applications (stat.AP); Numerical Analysis (math.NA); Other Statistics (stat.OT)
 [204] arXiv:2105.10370 (replaced) [pdf, other]

Title: Bregman Proximal Point Algorithm Revisited: A New Inexact Version and its Inertial VariantSubjects: Optimization and Control (math.OC)
 [205] arXiv:2106.02155 (replaced) [pdf, ps, other]

Title: Primality of weakly connected collections of cells and weakly closed path polyominoesComments: 14 pages, 16 figures. arXiv admin note: text overlap with arXiv:2006.13935Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
 [206] arXiv:2106.08100 (replaced) [pdf, ps, other]

Title: Degree sequences of sufficiently dense random uniform hypergraphsComments: To appear in Combinatorics, Probability and ComputingSubjects: Combinatorics (math.CO)
 [207] arXiv:2106.09978 (replaced) [pdf, ps, other]

Title: Centralized systemic risk control in the interbank system: Weak formulation and GammaconvergenceComments: Final version, forthcoming in Stochastic Processes and their ApplicationsSubjects: Optimization and Control (math.OC); Mathematical Finance (qfin.MF)
 [208] arXiv:2106.13032 (replaced) [pdf, other]

Title: Optimization of IRSaided SubTHz Communications under practical design constraintsAuthors: Alberto Tarable, Francesco Malandrino, Laura Dossi, Roberto Nebuloni, Giuseppe Virone, Alessandro NordioSubjects: Information Theory (cs.IT)
 [209] arXiv:2106.14094 (replaced) [pdf, ps, other]

Title: Higher limits over the fusion orbit categoryAuthors: Ergun YalcinComments: 53 pages. Revised version after referee reportSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); Representation Theory (math.RT)
 [210] arXiv:2107.02552 (replaced) [pdf, ps, other]

Title: The polynomial closure is not topologicalComments: to appear in the Journal of Pure and Applied AlgebraSubjects: Commutative Algebra (math.AC)
 [211] arXiv:2107.04588 (replaced) [pdf, ps, other]

Title: Super Topological Recursion and Gaiotto Vectors For Superconformal BlocksAuthors: Kento OsugaComments: 38 pages, presentation changed, accepted version in LMPJournalref: Lett Math Phys 112, 48 (2022)Subjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth)
 [212] arXiv:2107.11941 (replaced) [pdf, other]

Title: Computation of Reachable Sets Based on HamiltonJacobiBellman Equation with Running Cost FunctionSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
 [213] arXiv:2107.14323 (replaced) [pdf, other]

Title: Reconstruction of Random Geometric Graphs: Breaking the Omega(r) distortion barrierComments: v1 on arxiv was titled "Improved Reconstruction of Random Geometric Graphs." An extended abstract with the above title appeared in ICALP 2022. The current version includes the proofs that were omitted from the ICALP version and adds the section "Missing Edges."Subjects: Computational Geometry (cs.CG); Social and Information Networks (cs.SI); Probability (math.PR); Physics and Society (physics.socph); Machine Learning (stat.ML)
 [214] arXiv:2108.05235 (replaced) [pdf, ps, other]

Title: Geometric quadratic Chabauty over number fieldsComments: 34 pages. Revised version. Expanded introduction and added Section 7Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [215] arXiv:2108.05847 (replaced) [pdf, ps, other]

Title: New Constructions of Exceptional Simple Lie Superalgebras with Integer Cartan Matrix in Characteristics 3 and 5 via Tensor CategoriesAuthors: Arun S. KannanSubjects: Representation Theory (math.RT)
 [216] arXiv:2108.06138 (replaced) [pdf, ps, other]

Title: Stochastic orders and measures of skewness and dispersion based on expectilesSubjects: Statistics Theory (math.ST)
 [217] arXiv:2108.12852 (replaced) [pdf, ps, other]

Title: 3form YangMills based on 2crossed modulesComments: 16 pagesJournalref: Journal of Geometry and Physics 178C (2022) 104537Subjects: Mathematical Physics (mathph)
 [218] arXiv:2109.03302 (replaced) [pdf, ps, other]

Title: Homology representations of compactified configurations on graphs applied to $M_{2,n}$Comments: 21 pages, 3 figures. Added discussion on related work and more citationsSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
 [219] arXiv:2109.05690 (replaced) [pdf, other]

Title: An inexact Bregman proximal gradient method and its inertial variantSubjects: Optimization and Control (math.OC)
 [220] arXiv:2109.07318 (replaced) [pdf, ps, other]

Title: Global Weierstrass equations of hyperelliptic curvesAuthors: Qing LiuComments: Minor typos. To appear in Trans. AMSSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [221] arXiv:2109.08335 (replaced) [pdf, other]

Title: Conductive homogeneity of compact metric spaces and construction of penergyAuthors: Jun KigamiComments: (Almost) final version reflecting comments from referees and readersSubjects: Metric Geometry (math.MG)
 [222] arXiv:2109.13512 (replaced) [pdf, ps, other]

Title: Neural Networks in Fréchet spacesComments: 22 pagesSubjects: Functional Analysis (math.FA)
 [223] arXiv:2110.01450 (replaced) [pdf, ps, other]

Title: Extended dynamic mode decomposition with dictionary learning using neural ordinary differential equationsComments: Corrigendum: The loss function in Eq. (20) is not what we have used in our code. Please replace the sum of squared error in Eq. (20) with the mean squared errorJournalref: Nonlinear Theory and Its Applications, IEICE, vol. 12, no. 4, pp. 626638, 2021Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Dynamical Systems (math.DS); Numerical Analysis (math.NA); Chaotic Dynamics (nlin.CD); Data Analysis, Statistics and Probability (physics.dataan)
 [224] arXiv:2110.02445 (replaced) [pdf, other]

Title: Characterization of smooth solutions to the NavierStokes equations in a pipe with two types of slip boundary conditionsComments: Compared to the previous version, title is chagned. Two new resutls is added and one result is improved. Also one new contributed author is addedSubjects: Analysis of PDEs (math.AP)
 [225] arXiv:2110.03641 (replaced) [pdf, ps, other]

Title: Transportmajorization to analytic and geometric inequalitiesComments: 26 pagesSubjects: Functional Analysis (math.FA); Probability (math.PR)
 [226] arXiv:2110.06120 (replaced) [pdf, other]

Title: A fast time domain solver for the equilibrium Dyson equationSubjects: Numerical Analysis (math.NA); Strongly Correlated Electrons (condmat.strel)
 [227] arXiv:2110.13127 (replaced) [pdf, ps, other]

Title: On TateShafarevich groups of onedimensional families of commutative group schemes over number fieldsComments: v3: final version, minor revisionSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [228] arXiv:2110.15496 (replaced) [pdf, ps, other]

Title: Baire property of space of Baireone functionsAuthors: Alexander V. OsipovComments: 30 pagesSubjects: General Topology (math.GN)
 [229] arXiv:2111.01050 (replaced) [pdf, ps, other]

Title: Extended probabilities and their application to statistical inferenceSubjects: Statistics Theory (math.ST); Probability (math.PR)
 [230] arXiv:2111.03546 (replaced) [pdf, ps, other]

Title: Persistence of the BrauerManin obstruction on cubic surfacesComments: 6 pages; clarified notation and improved expositionSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [231] arXiv:2111.04543 (replaced) [pdf, ps, other]

Title: Tree decompositions with bounded independence number and their algorithmic applicationsComments: 65 pages; abstract has been shortened due to arXiv requirementsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
 [232] arXiv:2111.05040 (replaced) [pdf, other]

Title: A survey on highdimensional Gaussian process modeling with application to Bayesian optimizationSubjects: Optimization and Control (math.OC)
 [233] arXiv:2111.11553 (replaced) [pdf, other]

Title: The canonical complex of the weak orderComments: 18 pages, 12 figures; Version 2: minor correctionsSubjects: Combinatorics (math.CO)
 [234] arXiv:2112.01929 (replaced) [pdf, other]

Title: Second Rényi entropy and annulus partition function for onedimensional quantum critical systems with boundariesComments: 17+5 pages, 10 figuresJournalref: SciPost Phys. 12, 141 (2022)Subjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); High Energy Physics  Theory (hepth)
 [235] arXiv:2112.07001 (replaced) [pdf, ps, other]

Title: Rationality of Fano threefolds with terminal Gorenstein singularities, IIAuthors: Yuri ProkhorovComments: 25 pages, submitted to Rendiconti del Circolo Matematico di Palermo, special volume on "Rationality problems"Subjects: Algebraic Geometry (math.AG)
 [236] arXiv:2112.09522 (replaced) [pdf, ps, other]

Title: A Hopf lemma for the regional fractional LaplacianComments: typos correctedSubjects: Analysis of PDEs (math.AP)
 [237] arXiv:2201.03273 (replaced) [pdf, ps, other]

Title: On the metastability of a loss network with diminishing ratesAuthors: Anatolii A. PuhalskiiSubjects: Probability (math.PR)
 [238] arXiv:2201.07287 (replaced) [pdf, other]

Title: Polar Coded Merkle Tree: Improved Detection of Data Availability Attacks in Blockchain SystemsComments: 9 pages, 4 figures, 2 tables, To appear in IEEE International Symposium on Information Theory (ISIT) 2022Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
 [239] arXiv:2201.07841 (replaced) [pdf, other]

Title: The spectral form factor in the `t Hooft limit  Intermediacy versus universalityComments: Changes: 1. Added a treatment of unfolding and revised our conclusions, changed title, abstract, introduction, and conclusion. 2. Removed comparison with linear fit to connected SFF 3. Changed commas to decimal points 4. Added figures on level density and unfolded SFF 5. Added references 6. Corrected typos 30 pages, 6 figuresSubjects: Strongly Correlated Electrons (condmat.strel); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [240] arXiv:2201.08301 (replaced) [pdf, other]

Title: Sloppy model analysis unambiguously identifies bifurcation parameters of all commontypes of bifurcationsComments: 13 pages, 8 figuresSubjects: Dynamical Systems (math.DS); Mathematical Physics (mathph); Chaotic Dynamics (nlin.CD)
 [241] arXiv:2201.08322 (replaced) [pdf, other]

Title: Erroranderasure Decoding of Product and Staircase Codes with Simplified Extrinsic Message PassingComments: Accepted at ISIT 2022Subjects: Information Theory (cs.IT)
 [242] arXiv:2201.09475 (replaced) [pdf, other]

Title: Coulomb branches of noncotangent type (with appendices by Gurbir Dhillon and Theo JohnsonFreyd)Comments: v2: minor correctionsSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Representation Theory (math.RT)
 [243] arXiv:2201.12898 (replaced) [pdf, other]

Title: Clearing Payments in Dynamic Financial NetworksSubjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE); Systems and Control (eess.SY); Mathematical Finance (qfin.MF); Risk Management (qfin.RM)
 [244] arXiv:2202.03051 (replaced) [pdf, ps, other]

Title: Using Partial Monotonicity in Submodular MaximizationComments: 45 pages; 7 figuresSubjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [245] arXiv:2202.03676 (replaced) [pdf, ps, other]

Title: An Application of Singular Traces to Crystals and PercolationComments: 28 pages, no figuresSubjects: Mathematical Physics (mathph); Other Condensed Matter (condmat.other); Functional Analysis (math.FA); Quantum Physics (quantph)
 [246] arXiv:2202.05675 (replaced) [pdf, other]

Title: Mechanization of scalar field theory in 1+1 dimensionsComments: 23 pages, 25 figures, small typos corrected, replaced one figure with higher definitionSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [247] arXiv:2202.07582 (replaced) [pdf, other]

Title: Monoidal Width: Unifying Tree Width, Path Width and Branch WidthComments: 28 pagesSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
 [248] arXiv:2202.12666 (replaced) [pdf, ps, other]

Title: Isometry groups of formal languages for generalized Levenshtein distancesAuthors: Vladimir YankovskiyComments: 8 pagesSubjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)
 [249] arXiv:2202.13691 (replaced) [pdf, ps, other]

Title: On the quadrature exactness in hyperinterpolationComments: 11 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
 [250] arXiv:2203.01910 (replaced) [pdf, other]

Title: Efficient Data Structures for Exploiting Sparsity and Structure in Representation of Polynomial Optimization Problems: Implementation in SOSTOOLSSubjects: Optimization and Control (math.OC); Mathematical Software (cs.MS)
 [251] arXiv:2203.02577 (replaced) [pdf, ps, other]

Title: Confirming Brennan's conjecture numerically on a counterexample to Thurston's $K=2$ conjectureAuthors: Ognjen TošićSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
 [252] arXiv:2203.02913 (replaced) [pdf, ps, other]

Title: Delorme's intertwining conditions for sections of homogeneous vector bundles on two and three dimensional hyperbolic spacesSubjects: Representation Theory (math.RT)
 [253] arXiv:2203.06126 (replaced) [pdf, other]

Title: Distributionfree Prediction Sets Adaptive to Unknown Covariate ShiftSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
 [254] arXiv:2203.10509 (replaced) [pdf, ps, other]

Title: Stability Of Matrix Polynomials In One And Several VariablesComments: 20 pagesSubjects: Complex Variables (math.CV); Numerical Analysis (math.NA)
 [255] arXiv:2203.10906 (replaced) [pdf, other]

Title: Bayesian inference in Epidemics: linear noise analysisComments: This version final after internal revisionSubjects: Statistics Theory (math.ST); Applications (stat.AP); Computation (stat.CO)
 [256] arXiv:2203.11800 (replaced) [pdf, ps, other]

Title: Asymptotic estimates for concentrated vortex pairsAuthors: Guodong WangComments: version 2 with minor revisionsSubjects: Analysis of PDEs (math.AP)
 [257] arXiv:2203.17055 (replaced) [pdf, other]

Title: Certified machine learning: A posteriori error estimation for physicsinformed neural networksSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
 [258] arXiv:2204.00712 (replaced) [pdf, ps, other]

Title: Scattering for Schrödinger operators with potentials concentrated near a subspaceSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP); Spectral Theory (math.SP)
 [259] arXiv:2204.00742 (replaced) [pdf, ps, other]

Title: An inequality for the convolutions on unimodular locally compact groups and the optimal constant of Young's inequalityAuthors: Takashi SatomiComments: 22 pages, 5 figuresSubjects: Group Theory (math.GR); Combinatorics (math.CO); Functional Analysis (math.FA)
 [260] arXiv:2204.08435 (replaced) [pdf, ps, other]

Title: On the existence of twin prime in an intervalAuthors: Shaon SahooComments: 6 pages; abstract and introduction are slightly modified; for better proof of Lemma 1, Theorem 4 is replaced and corresponding Corollary 1 is added; proofs of theorems and lemmas are provided with more details; results remain the sameSubjects: General Mathematics (math.GM)
 [261] arXiv:2204.09044 (replaced) [pdf, other]

Title: Bicoherent states as generalized eigenstates of the position and the momentum operatorsJournalref: Zamp 73:119 (2022)Subjects: Quantum Physics (quantph); Mathematical Physics (mathph)
 [262] arXiv:2204.09775 (replaced) [pdf, ps, other]

Title: Tstructures on a local 4CalabiYau varietyAuthors: Yirui XiongComments: corrections of some typos and mistakesSubjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG)
 [263] arXiv:2204.10301 (replaced) [pdf, ps, other]

Title: Inductive localglobal conditions and generalized HarishChandra theoryAuthors: Damiano RossiSubjects: Representation Theory (math.RT); Group Theory (math.GR)
 [264] arXiv:2204.11153 (replaced) [pdf, ps, other]

Title: Chain rules for quantum channelsComments: v2: 6 pages, technical note, will appear at IEEE International Symposium on Information Theory 2022, final version with updated referencesSubjects: Quantum Physics (quantph); Information Theory (cs.IT); Mathematical Physics (mathph)
 [265] arXiv:2204.12460 (replaced) [pdf, other]

Title: Unobstructed embeddings in Hirzebruch surfacesAuthors: Nicki MagillComments: 27 pages, 7 figuresSubjects: Symplectic Geometry (math.SG)
 [266] arXiv:2204.13196 (replaced) [pdf, ps, other]

Title: Higher Hölder regularity for mixed local and nonlocal degenerate elliptic equationsComments: 38 pages, comments are welcomeSubjects: Analysis of PDEs (math.AP)
 [267] arXiv:2204.13821 (replaced) [pdf]

Title: A Neural Networkenhanced Reproducing Kernel Particle Method for Modeling Strain LocalizationSubjects: Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Numerical Analysis (math.NA); Computational Physics (physics.compph)
 [268] arXiv:2205.01401 (replaced) [pdf, ps, other]

Title: Trivial source character tables of $\text{SL}_2(q)$, Part IIComments: Version 2, minor correctionsSubjects: Representation Theory (math.RT); Group Theory (math.GR)
 [269] arXiv:2205.01522 (replaced) [pdf, other]

Title: Upper and Lower Bounds for the Correlation Length of the TwoDimensional RandomField Ising ModelAuthors: Yoav BarNirSubjects: Probability (math.PR)
 [270] arXiv:2205.01723 (replaced) [pdf, other]

Title: The distribution of density matrices at fixed purity for arbitrary dimensionsAuthors: Paul M. Alsing, Christopher C. Tison, James Schneeloch, Richard J. Birrittella, Michael L. FantoComments: 32 pages, 20 figures, 5 codes listingsSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
 [271] arXiv:2205.03093 (replaced) [pdf, other]

Title: Injectivity of Lipschitz operatorsSubjects: Functional Analysis (math.FA); Metric Geometry (math.MG)
 [272] arXiv:2205.03310 (replaced) [pdf, ps, other]

Title: Discussion of 'Event History and Topological Data Analysis'Authors: Peter BubenikComments: 4 pages, added citation to Garside et alJournalref: Biometrika, Volume 108, Issue 4, December 2021, Pages 785788Subjects: Statistics Theory (math.ST); Algebraic Topology (math.AT)
 [273] arXiv:2205.03870 (replaced) [pdf]

Title: New Phase Space Formulations and Quantum Dynamics ApproachesJournalref: Wiley Interdisciplinary ReviewsComputational Molecular Science, e1619 (2022)Subjects: Quantum Physics (quantph); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Chemical Physics (physics.chemph)
 [274] arXiv:2205.04077 (replaced) [pdf, ps, other]

Title: A colorful GoodmanPollackWenger theoremAuthors: Andreas F. HolmsenSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
 [275] arXiv:2205.04776 (replaced) [pdf, ps, other]

Title: Colorful Words and dTverberg ComplexesComments: 11 pages, 1 figureSubjects: Combinatorics (math.CO)
 [276] arXiv:2205.04936 (replaced) [pdf, other]

Title: An estimate of Sidon constant for complex polynomials with unimodular coefficientsAuthors: Alexander VolbergComments: 12 pagesSubjects: Analysis of PDEs (math.AP)
 [277] arXiv:2205.04988 (replaced) [pdf, other]

Title: Computation of $P(n,m)$, the Number of Integer Partitions of $n$ into Exactly $m$ PartsAuthors: M.J. KronenburgSubjects: Number Theory (math.NT)
 [278] arXiv:2205.05417 (replaced) [pdf, ps, other]

Title: On Feller, Pollard and the Complete Monotonicity of the MittagLeffler Function $E_α(x)$Authors: Nomvelo SibisiComments: 10 pagesSubjects: Probability (math.PR)
 [279] arXiv:2205.05792 (replaced) [pdf, ps, other]

Title: Approximately Strongly Regular GraphsAuthors: Ferdinand IhringerComments: 14 pages; (temporarily?) removed parts with walkregularity due to a mistakeSubjects: Combinatorics (math.CO)
 [280] arXiv:2205.06244 (replaced) [pdf, other]

Title: Holographic theory for the emergence and the symmetry protection of gaplessness and for continuous phase transitionsComments: 44 pages, 22 figuresSubjects: Strongly Correlated Electrons (condmat.strel); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [281] arXiv:2205.06602 (replaced) [pdf, ps, other]

Title: On varieties with Ulrich twisted normal bundlesAuthors: Angelo Felice LopezComments: v2: we added some references and a section on twisted cotangent, restricted tangent and cotangentSubjects: Algebraic Geometry (math.AG)
 [282] arXiv:2205.07331 (replaced) [pdf, other]

Title: Sobolev Acceleration and Statistical Optimality for Learning Elliptic Equations via Gradient DescentSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Statistics Theory (math.ST); Computational Physics (physics.compph); Machine Learning (stat.ML)
 [283] arXiv:2205.07599 (replaced) [pdf, ps, other]

Title: Generalized multiplicative Hilbert operatorsAuthors: Jianjun JinSubjects: Functional Analysis (math.FA)
 [284] arXiv:2205.07650 (replaced) [pdf, other]

Title: A relation between a generalized Fibonacci sequence and the length of Cunningham chainsAuthors: Yuya KanadoComments: 18 pages, 2 figuresSubjects: Number Theory (math.NT)
 [285] arXiv:2205.07747 (replaced) [pdf, ps, other]

Title: Hyperbolic Knots and Torsion in Khovanov HomologyComments: 10 pages, 8 figures. Comments welcome. v2typo corrected in ArXiv metadata. No change to paperSubjects: Geometric Topology (math.GT)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2205, contact, help (Access key information)