# Mathematics

## New submissions

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

### New submissions for Wed, 18 May 22

[1]
Title: Almost everywhere and norm convergence of Approximate Identity and Fejér means of trigonometric and Vilenkin systems
Subjects: 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]
Title: A Comparison of Integer Partitions Based on Smallest Part
Subjects: 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]
Title: Mean-Field Nonparametric Estimation of Interacting Particle Systems
Subjects: Statistics Theory (math.ST)

This paper concerns the nonparametric estimation problem of the distribution-state dependent drift vector field in an interacting $N$-particle system. Observing single-trajectory data for each particle, we derive the mean-field 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 McKean-Vlasov equation.

[4]
Title: Genomic Compression with Read Alignment at the Decoder
Subjects: 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 multi-layer 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 well-known concept of distributed source coding with decoder side information, fortified by a generalized-concatenation 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]
Title: On algebraically coisotropic submanifolds of holomorphic symplectic manifolds
Subjects: 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 semi-ample. 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]
Title: Multipliers for Hardy spaces of Dirichlet series
Subjects: 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]
Title: $2$-distance, injective, and exact square list-coloring of planar graphs with maximum degree 4
Subjects: 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]
Title: On entropy solutions of scalar conservation laws with discontinuous flux
Authors: Evgeny Yu. Panov
Subjects: 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]
Title: p-Adic quantum calculus and ideals of compact operators
Subjects: Mathematical Physics (math-ph)

The paper proposes a construction of a quantum differentiation operator defined on the spaces of complex-valued 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 Schatten-von Neumann ideals in the algebra of compact operators.

[10]
Title: Conformal Geodesics Cannot Spiral
Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

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]
Title: Explicit Multiplication Tables of Cayley-Dickson Algebras
Subjects: Rings and Algebras (math.RA)

A long-standing unresolved issue in the Cayley-Dickson 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 Cayley-Dickson 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 Cayley-Dickson algebras.

[12]
Title: Empowering Optimal Control with Machine Learning: A Perspective from Model Predictive Control
Subjects: 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]
Title: A Faber-Krahn inequality for wavelet transforms
Subjects: 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]
Title: The e-value and the Full Bayesian Significance Test: Logical Properties and Philosophical Consequences
Subjects: Statistics Theory (math.ST)

This article gives a conceptual review of the e-value, ev(H|X) -- 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]
Title: Level Constrained First Order Methods for Function Constrained Optimization
Subjects: 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/function-value 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 finite-sum 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]
Title: On the Homology stability range for symplectic groups
Subjects: K-Theory 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 Milnor-Witt K-theory. In particular our stability range is optimal in many cases.

[17]
Title: Global solutions with infinitely many blowups in a mean-field neural network
Subjects: Probability (math.PR); Neurons and Cognition (q-bio.NC)

We recently introduced idealized mean-field models for networks of integrate-and-fire neurons with impulse-like interactions -- the so-called delayed Poissonian mean-field models. Such models are prone to blowups: for a strong enough interaction coupling, the mean-field rate of interaction diverges in finite time with a finite fraction of neurons spiking simultaneously. Due to the reset mechanism of integrate-and-fire neurons, these blowups can happen repeatedly, at least in principle. A benefit of considering Poissonian mean-field 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 fixed-point problem that implicitly defines the time change, which can be done consistently for a single blowup and for nonzero delays. Here we extend this time-change 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 self-sustaining but nonoverlapping in the time-changed picture. The second result follows from the continuity of blowups in the time-changed picture and incidentally implies the existence of periodic solutions. These results are useful to study the emergence of synchrony in neural network models.

[18]
Title: Newton and interior-point methods for (constrained) nonconvex-nonconcave minmax optimization with stability guarantees
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

We address the problem of finding a local solution to a nonconvex-nonconcave minmax optimization using Newton type methods, including interior-point 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 per-stage costs, this generally leads to computation times that scale linearly with the horizon length.

[19]
Title: Zariski dense surface subgroups in $SL(n,\mathbb{Q})$ with odd $n$
Subjects: 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]
Title: Modules at boundary points, fiberwise Bergman kernels, and log-subharmonicity II -- on Stein manifolds
Subjects: Complex Variables (math.CV)

In this article, we consider Bergman kernels related to modules at boundary points on Stein manifolds, and obtain a log-subharmonicity 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]
Title: Boundary layer problem on chemotaxis-Navier-Stokes system with Robin boundary conditions
Authors: Qianqian Hou
Subjects: Analysis of PDEs (math.AP)

This paper is concerned with the boundary layer problem on a chemotaxis-Navier-Stokes system modelling boundary layer formation of aerobic bacteria in fluid. Completing the system with physical Robin-type boundary conditions for oxygen, no-flux 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 boundary-layer thickness is of order $\mathcal{O}(\varepsilon^\alpha)$ with $0<\alpha<\frac{1}{2}$.

[22]
Title: Fast consensus of high-order multi-agent systems
Subjects: Optimization and Control (math.OC)

In this paper, the fast consensus problem of high-order multi-agent 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 Routh-Hurwitz 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 time-varying control gains is designed to achieve the finite-time consensus. Explicit formulas for the time-varying control gains and the final consensus state are given. Numerical examples and simulation results are presented to illustrate the obtained theoretical results.

[23]
Title: An explicit comparison of anticyclotomic $p$-adic $L$-functions for Hida families
Subjects: 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 Skinner-Urban, Hida, Perin-Riou, Bertolini-Darmon, Vatsal, Chida-Hsieh, Longo-Vigni, Castella-Longo and Castella-Kim-Longo. The main result of this paper is a comparison between the central critical twist of the two-variable anticyclotomic $p$-adic $L$-function obtained as specialisation of the three-variable $p$-adic $L$-function of Skinner-Urban and the two-variable $p$-adic $L$-function introduced by one of the authors on collaboration with Vigni by means of $p$-adic families of Gross points.

[24]
Title: On the non-triviality of Rankin-Selberg $L$-values in Hida families
Subjects: Number Theory (math.NT)

The aim of this paper is to prove the two-variable anticyclotomic Iwasawa main conjecture for Hida families and a definite version of the horizontal non-vanishing conjecture, which are formulated in Longo-Vigni. Our approach is based on the two-variable anticyclotomic control theorem for Selmer groups for Hida families and the relation between the two-variable anticyclotomic $L$-function for Hida families built out of $p$-adic families of Gross points on definite Shimura curves studied in Castella-Longo and Castella-Kim-Longo and the self-dual twist of the specialisation to the anticyclotomic line of the three-variable $p$-adic $L$-function of Skinner-Urban.

[25]
Title: Randomized Augmented Kaczmarz Methods For Linear Systems & Linear Feasibility Problems
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)

In this work, we shed light on the so-called Kaczmarz method for solving Linear System (LS) and Linear Feasibility (LF) problems from a optimization point of view. We introduce well-known 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]
Title: A note on knot Floer thickness and the dealternating number
Authors: Linh Truong
Subjects: 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 Stipsicz-Szabo approach using Kauffman states to show that thickness bounds the minimal number of bad domains in a knot diagram.

[27]
Title: The duality between F-theory and the Heterotic String in $D=8$ with two Wilson lines
Comments: 22 pages. arXiv admin note: substantial text overlap with arXiv:1908.09578, arXiv:1806.07460
Journal-ref: Lett. Math. Phys. 110 (2020), no. 11, 3081-3104
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th)

We construct non-geometric string compactifications by using the F-theory dual of the heterotic string compactified on a two-torus 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 non-geometric compactifications obtained by the partial higgsing of the heterotic string gauge algebra using two Wilson line parameters.

[28]
Title: Discretization of inherent ODEs and the geometric integration of DAEs with symmetries
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

Discretization methods for differential-algebraic 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]
Title: Conformal capacity of hedgehogs
Subjects: 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 three-dimensional hyperbolic space, also will be suggested.

[30]
Title: The inverse Galois problem for connected algebraic groups
Subjects: 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, blow-ups of orbit closures, Fitting ideals for K\"ahler differentials, and Blanchard's Lemma.

[31]
Title: Design of Joint Source-Channel Codes Based on a Single Protograph
Comments: 20 pages, 15 figures, 5 tables
Subjects: Information Theory (cs.IT)

In this paper, we propose using a single protograph to design joint source-channel codes (JSCCs). We present a generalized algorithm, called protograph extrinsic information transfer for JSCC algorithm (PEXIT-JSCC algorithm), for analyzing the channel threshold of the proposed JSCC. We also propose a source single protograph EXIT (SSP-EXIT) algorithm, which is more generic than the generalized source protograph extrinsic information transfer (GSP-EXIT) algorithm, for evaluating the source threshold of a single protograph. Moreover, a collaborative optimization method based on the SSP-EXIT and PEXIT-JSCC algorithms is proposed to construct single-protograph JSCCs with good source and channel thresholds. Finally, we construct single-protograph JSCCs, analyze their decoding thresholds, and compare their theoretical and error performance with JSCC systems based on optimized double-protographs. Results show that our proposed codes can attain channel thresholds within 1 dB from the Shannon limit and outperform double-protograph-based JSCCs.

[32]
Title: The Hamilton compression of highly symmetric graphs
Subjects: 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 vertex-transitive 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]
Title: On Clique Incidence Matrices and Derivatives of Clique Polynomials
Subjects: 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 vertex-edge incidence matrix of $G$. Then, using these clique incidence matrices, we obtain two clique-counting 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]
Title: On the exterior Dirichlet problem for Hessian type fully nonlinear elliptic equations
Subjects: 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 Caffarelli--Nirenberg--Spruck \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 well-known Monge--Amp\ere equations, Hessian equations and Hessian quotient equations as special cases but do not require the concavity.

[35]
Title: State feedback control law design for an age-dependent SIR model
Subjects: Optimization and Control (math.OC)

An age-dependent SIR model is considered with the aim to develop a state-feedback 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 integro-differential 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]
Title: Is the right-angled building associated to a universal group unique?
Authors: Lara Beßmann
Subjects: Group Theory (math.GR)

A universal group is a subgroup of the group of type preserving automorphisms of a right-angled building and hence associated to this building. A question is then if this universal group can act chamber-transitively and with compact open stabilisers on a different right-angled building of the same type. We answer this question and define two universal groups associated to different right-angled buildings which are isomorphic as topological groups.

[37]
Title: A Novel K-Repetition Design for SCMA
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

This work presents a novel K-Repetition based HARQ scheme for LDPC coded uplink SCMA by employing a network coding (NC) principle to encode different packets, where K-Repetition is an emerging technique (recommended in 3GPP Release 15) for enhanced reliability and reduced latency in future massive machine-type communication. Such a scheme is referred to as the NC aided K-repetition SCMA (NCK-SCMA). 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 NCK-SCMA with higher throughput and improved reliability over the conventional K-Repetition SCMA.

[38]
Title: Freezing limits for beta-Cauchy ensembles
Authors: Michael Voit
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA)

Bessel processes associated with the root systems $A_{N-1}$ 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]
Title: Axially harmonic functions and the harmonic functional calculus on the S-spectrum
Subjects: Spectral Theory (math.SP)

The spectral theory on the S-spectrum 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 S-spectrum 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 S-resolvent operator. This new calculus also appears, in a natural way, in the product rule for the F-functional calculus.

[40]
Title: Jordan recoverability of some subcategories of modules over gentle algebras
Subjects: Representation Theory (math.RT); Combinatorics (math.CO)

Gentle algebras form a class of finite-dimensional 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 well-defined 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]
Title: Blowup of cylindrically symmetric solutions for biharmonic NLS
Authors: Tianxiang Gou
Subjects: 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 u-|u|^{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/(d-4)$ 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]
Title: Global existence of classical solutions and numerical simulations of a cancer invasion model
Subjects: 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 three-dimensional bounded domains, despite the lack of diffusion of the matrix-degrading 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 fixed-point iteration scheme. In order to substantiate our theory and numerical framework, several numerical simulations are carried out in two and three spatial dimensions.

[43]
Title: Quasi-conical domains with embedded eigenvalues
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)

The spectrum of the Dirichlet Laplacian on any quasi-conical open set coincides with the non-negative semi-axis. We show that there is a connected quasi-conical 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]
Title: On the Convergence of Policy in Unregularized Generalized Policy Mirror Descent
Subjects: 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 finite-step convergence to an optimal policy, such as the classical Euclidean distance.

[45]
Title: Coloring circle arrangements: New $4$-chromatic planar graphs
Comments: 21 pages, 15 figures. An extended abstract of this work has appeared in the proceedings of EUROCOMB 2021
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)

Felsner, Hurtado, Noy and Streinu (2000) conjectured that arrangement graphs of simple great-circle 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 2-coloring 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 4-chromatic 4-regular 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$-edge-critical $4$-regular planar graphs which are fractionally $3$-colorable. This disproves a conjecture of Gimbel, K\"{u}ndgen, Li, and Thomassen (2019).

[46]
Title: On Convergence of Tracking Differentiator with Multiple Stochastic Disturbances
Subjects: Optimization and Control (math.OC)

In this paper, the convergence and noise-tolerant 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]
Title: Hurwitz Zeta Functions and Ramanujan's Identity for Odd Zeta Values
Authors: Parth Chavan
Subjects: 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]
Title: Large-stepsize integrators with improved uniform accuracy and long time conservation for highly oscillatory systems with large initial data
Subjects: Numerical Analysis (math.NA)

In this paper, we are concerned with large-stepsize highly accurate integrators for highly oscillatory second-order 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 pseudo-spectral 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]
Title: Geometric realizations of birational transformations via $\mathbb{C}^*$-actions
Subjects: 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]
Title: Semi-discretization and full-discretization with optimal accuracy for charged-particle dynamics in a strong nonuniform magnetic field
Subjects: Numerical Analysis (math.NA)

The aim of this paper is to formulate and analyze numerical discretizations of charged-particle dynamics (CPD) in a strong nonuniform magnetic field. A strategy is firstly performed for the two dimensional CPD to construct the semi-discretization and full-discretization 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 two-scale 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]
Title: Design of saturated boundary control for hyperbolic systems with in-domain disturbances
Comments: V1 matches the printed version of the paper published in Automatica
Journal-ref: Automatica, Volume 142, 2022
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

Boundary feedback control design is studied for 1D hyperbolic systems with an in-domain disturbance and a boundary feedback controller under the effect of actuator saturation. Nonlinear semigroup theory is used to prove well-posedness of mild solution pairs to the closed-loop system. Sufficient conditions in the form of dissipation functional inequalities are derived to establish global stability for the closed-loop system and $\mathcal{L}^2$-stability in presence of in-domain 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]
Title: The Borel map in the mixed Beurling setting
Subjects: 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 Denjoy--Carleman and Braun--Meise--Taylor 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\'en--Lindel\"of theorem, and H\"ormander's solution of the $\overline{\partial}$-problem.

[53]
Title: The Bring sextic of equilateral pentagons
Authors: Lyle Ramshaw
Comments: 37 pages and 17 figures, with Mathematica appendix of 33 pages
Subjects: 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 oft-studied polygon space: a 2-manifold $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]
Title: Refined and generalized $\hat{Z}$ invariants for plumbed 3-manifolds
Authors: Song Jin Ri
Comments: 23 pages including 8 figures
Subjects: Geometric Topology (math.GT); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Number Theory (math.NT); Quantum Algebra (math.QA)

We introduce a two-variable refinement $\hat{Z}_a(q,t)$ of plumbed 3-manifold invariants $\hat{Z}_a(q)$, which were previously defined for weakly negative definite plumbed 3-manifolds. 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 3-manifolds with two high-valency 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 high-valency vertices, we propose a conjecture that the recovered $\hat{Z}_a(q)$, if exists, is an invariant for all tree plumbed 3-manifolds. Finally, we provide a formula of the $\hat{Z}_a(q,t)$ for the connected sum of plumbed 3-manifolds in terms of those for the components.

[55]
Title: Sharp asymptotics on the compression of two-layer neural networks
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)

In this paper, we study the compression of a target two-layer 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. sub-Gaussian, 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 high-dimensional probability, we show that this non-convex problem can be simplified when the target network is sufficiently over-parameterized, 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]
Title: Lattice points on a curve via $\ell^2$ decoupling
Authors: Daishi Kiyohara
Subjects: Number Theory (math.NT)

In this paper, we prove a Bombieri-Pila 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]
Title: Distributed Kalman filtering with event-triggered communication: a robust approach
Subjects: 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 event-triggered communication in which the state estimators are computed according to the least favorable model. The latter belongs to a ball (in Kullback-Leibler topology) about the nominal model. We also present a preliminary numerical example in order to test the performance of the proposed strategy.

[58]
Title: Existence theorems for a generalized Chern-Simons equation on finite graphs
Authors: Jia Gao, Songbo Hou
Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)

Denote by $G=(V,E)$ a finite graph. We study a generalized Chern-Simons 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 mountain-pass type solution.

[59]
Title: Is hyperinterpolation efficient in the approximation of singular and oscillatory functions?
Subjects: Numerical Analysis (math.NA)

Singular and oscillatory functions feature in numerous applications. The high-accuracy approximation of such functions shall greatly help us develop high-order 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 product-integration, 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]
Title: The Bernstein-Gelfand Tensor Product Functor and the Weight-2 Eisenstein Series
Authors: Martin Raum
Subjects: Number Theory (math.NT)

The Bernstein-Gelfand tensor product functors are endofunctors of the category of Harish-Chandra modules provided by tensor products with finite dimensional modules. We provide an automorphic analogue of these tensor product functors, implemented by vector-valued automorphic representations that are trivial at all finite places. They naturally explain the role of vector-valued modular forms in recent work by Bringmann-Kudla on Harish-Chandra 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 Roy-Schmidt-Yi, 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, vector-valued analogue of $E_2$. The complement in $\mathrm{sym}^1 \otimes \varpi(E_2)$ arises from one of the vector-valued examples in the work of Bringmann-Kudla. Our approach allows us to determine its structure at the finite places.

[61]
Title: Centralisers, complex reflection groups and actions in the Weyl group $E_6$
Subjects: Group Theory (math.GR); K-Theory 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 Iwahori-spherical 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 Langlands-Poincar\'e duality.

[62]
Title: Towards understanding the central limit theorem by learning Python basics
Subjects: 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]
Title: Kemeny's constant for a graph with bridges
Comments: 21 pages and 3 figures
Subjects: 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]
Title: Jacobi processes with jumps as neuronal models: a first passage time analysis
Subjects: 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 inter-spike intervals is performed by studying the first-passage 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 closed-form 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]
Title: Relating asymptotic dimension to Ponomarev's cofinal dimension via coarse proximities
Authors: Jeremy Siegert
Subjects: 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]
Title: Outage Analysis of Energy Efficiency in a Finite-Element-IRS Aided Communication System
Comments: 18 Pages, 6 Figures, 2 Tables
Subjects: 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 finite-element-intelligent 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 line-of-sight (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 closed-form solutions for the OP of EE, using Laguerre series and moment matching methods. The analytical results are validated using the Monte-Carlo simulations. Moreover, we also quantify the rate of convergence of the derived expressions to the central limit theorem (CLT) approximations using the \textit{Berry-Esseen} inequality. Further, we prove that the OP of EE is a strict pseudo-convex 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 IRS-assisted wireless communication systems.

[67]
Title: Nodal current of complexified horocyclic eigenfunctions
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); 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]
Title: Analytic properties of Stretch maps and geodesic laminations
Subjects: 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 Schatten-von 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 von-Neumann 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 Gueritaud-Kassel. 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]
Title: On Gröbner bases and Cohen-Macaulay property of closed path polyominoes
Subjects: 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 L-configuration or a ladder of at least three steps, equivalently having no zig-zag walks, is prime. As a consequence, we obtain that the coordinate ring of a closed path having no zig-zag walks is a normal Cohen-Macaulay domain.

[70]
Title: Lossy Computing with Side Information via Multi-Hypergraphs
Subjects: 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 rate-distortion function can be characterized through a characteristic multi-hypergraph, which simplifies the evaluation of the rate-distortion function.

[71]
Title: Contact-less Material Probing with Distributed Sensors: Joint Sensing and Communication Optimization
Subjects: 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 two-dimensional multi-antenna 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 space-time post-processing 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 maximum-ratio combining (MRC) at the fusion center. We formulate this challenge as a sum-power minimization under per-object SINR constraints, a sum-power constraint at the transmitter and individual power constraints at the sensors. Moreover, the advantage of deploying zero-forcing (ZF) and minimum mean-squared 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]
Title: Entropy-bounded solutions to the 3D compressible heat-conducting magnetohydrodynamic equations with vacuum at infinity
Authors: Yang Liu, Xin Zhong
Comments: 33 pages. arXiv admin note: text overlap with arXiv:2111.14057 by other authors
Subjects: 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 three-dimensional (3D) compressible heat-conducting 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 Navier-Stokes system. Some new mathematical techniques and useful estimates are developed to deduce the lower and upper bounds on the entropy.

[73]
Title: NOMA-aided Joint Communication, Sensing, and Multi-tier Computing Systems
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

A non-orthogonal multiple access (NOMA)-aided joint communication, sensing, and multi-tier computing (JCSMC) framework is proposed. In this framework, a multi-functional base station (BS) carries out target sensing, while providing edge computing services to the nearby users. To enhance the computation efficiency, the multi-tier 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 inter-function 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 communication-computation 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 non-convex optimization problem. It is proved that a KKT optimal solution can be obtained; 2) For the binary offloading mode, the resultant highly-coupled mixed-integer 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 NOMA-aided JCSMC framework

[74]
Title: Dynamics of $\mathscr{B}$-free systems generated by Behrend sets. I
Subjects: 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]
Title: Generalized Realizability and Intuitionistic Logic
Subjects: Logic (math.LO)

Let V be a set of number-theoretical 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]
Title: A Note on Generalized Narayana Numbers
Authors: David Callan
Subjects: 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]
Title: On a Relation between Schreier-type Sets and a Modification of Turán Graphs
Authors: Hung Viet Chu
Subjects: Combinatorics (math.CO)

Recently, a relation between Schreier-type 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]
Title: On partially observed jump diffusions I. The filtering equations
Subjects: 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]
Title: A tight linear bound to the chromatic number of $(P_5, K_1+(K_1\cup K_3))$-free graphs
Subjects: 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]
Title: Moments, Concentration, and Entropy of Log-Concave Distributions
Subjects: Probability (math.PR); Information Theory (cs.IT)

We utilize and extend a simple and classical mechanism, combining log-concavity and majorization in the convex order to derive moment, concentration, and entropy inequalities for log-concave random variables with respect to a reference measure.

[81]
Title: Gauss-Manin connection in disguise: Open Gromov-Witten invariants
Subjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph)

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 quasi-affine 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]
Title: Higgsing $qq$-character and irreducibility
Authors: Taro Kimura
Subjects: Quantum Algebra (math.QA); High Energy Physics - Theory (hep-th); Representation Theory (math.RT)

We show that the $qq$-character of the irreducible highest weight module for finite-type and affine quivers is obtained by Higgsing, specialization of the equivariant parameters of the associated framing space in the quiver variety.

[83]
Title: First BGG operators on homogeneous conformal geometries
Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

We study first BGG operators and their solutions on homogeneous conformal geometries. We focus on conformal Killing tensors, conformal Killing--Yano 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]
Title: The choosability version of Brooks' theorem -- a short proof
Subjects: Combinatorics (math.CO)

We present a short and self-contained proof of the choosability version of Brooks' theorem.

[85]
Title: On Uncertainty of Dynamic Systems via State Aggregation Coarse-Graining and State Decomposition Fine-Graining Ways
Comments: 13 pages are for the paper, 16 pages for supplemental material
Subjects: 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]
Title: Cohomology and formal deformations of n-Hom-Lie color algebras
Subjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph); Representation Theory (math.RT)

The aim of this paper is to provide a cohomology of $n$-Hom-Lie color algebras governing one parameter formal deformations. Then, we study formal deformations of a $n$-Hom-Lie color algebra and introduce the notion of Nijenhuis operator on an $n$-Hom-Lie color algebra, which could give rise to infinitesimally trivial $(n-1)$-order deformations. Furthermore, in connection with Nijenhuis operators we introduce and discuss the notion of a product structure on $n$-Hom-Lie color algebras.

[87]
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 non-metacyclic non-abelian or metacyclic abelian groups of order $p^3$ there exist at least $p+1$ non-isomorphic local nearrings

[88]
Title: Hilbert-Poincaré series and Gorenstein property for closed path polyominoes
Subjects: 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 zig-zag 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]
Title: Statistical solutions of the incompressible Euler equations
Subjects: 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 vortex-sheets 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 Navier-Stokes equations. Uniqueness of trajectory statistical solutions is shown in the Yudovich class.

[90]
Title: All bi-unitary perfect polynomials over $\mathbb{F}_2$ with at most four irreducible factors
Subjects: Number Theory (math.NT)

We give, in this paper, all bi-unitary perfect polynomials over the prime field $\mathbb{F}_2$, with at most four irreducible factors.

[91]
Title: Full Duplex Massive MIMO Architectures: Recent Advances, Applications, and Future Directions
Comments: 7 pages, 5 figure. Under review for publication in IEEE Vehicular Technology Magazine, 2022
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

The increasingly demanding objectives for next generation wireless communications have spurred recent research activities on multi-antenna transceiver hardware architectures and relevant intelligent communication schemes. Among them belong the Full Duplex (FD) Multiple-Input Multiple-Output (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]
Title: On approximation of a Dirichlet problem for divergence form operator by Robin problems
Subjects: 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]
Title: Multifunctorial $K$-Theory is an Equivalence of Homotopy Theories
Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); K-Theory 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 right-induced homotopy theory of Bohmann-Osorno $\mathcal{E}_*$-categories is equivalent to the homotopy theory of pointed simplicial categories.

[94]
Title: Simultaneous Multi-User MIMO Communications and Multi-Target Tracking with Full Duplex Radios
Comments: 6 pages, 5 figures. Submitted for publication in the Proceedings of IEEE Global Communications Conference (GLOBECOM), 2022
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

In this paper, we present an Integrated Sensing and Communications (ISAC) system enabled by in-band Full Duplex (FD) radios, where a massive Multiple-Input Multiple-Output (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 reduced-complexity 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 Self-Interference (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]
Title: Object Detection and Heading Forecasting by fusing Raw Radar Data using Cross Attention
Subjects: Information Theory (cs.IT)

[96]
Title: Double Satake diagrams and canonical forms in compact symmetric triads
Subjects: 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]
Title: Entire solutions of the generalized Hessian inequality
Subjects: 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, p-Laplacian, mean curvature, Hessian, k-mean curvature operators, and provide a necessary and sufficient condition on the global solvability, which can be regarded as generalized Keller-Osserman conditions.

[98]
Title: Rigidity of 3D spherical caps via $μ$-bubbles
Subjects: 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]
Title: The singular Yoneda category and the stabilization functor
Subjects: Representation Theory (math.RT); K-Theory 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]
Title: Admissible modules and normality of classical nilpotent orbits II
Comments: 17 pages, preliminary version. This work is a sequel to arXiv:1801.06909
Subjects: 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]
Title: Uniform density estimates and $Γ$-convergence for the Alt-Phillips functional of negative powers
Subjects: Analysis of PDEs (math.AP)

We obtain density estimates for the free boundaries of minimizers $u \ge 0$ of the Alt-Phillips 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 Dirichlet-perimeter functional
$$\int_\Omega |\nabla u|^2 dx + Per_{\Omega}(\{ u=0\}),$$
considered by Athanasopoulous, Caffarelli, Kenig, and Salsa.

[102]
Title: Flatness of the nuclear norm sphere, simultaneous polarization, and uniqueness in nuclear norm minimization
Subjects: 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 (point-based) 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 problem-defining linear operator. Finally, using convex duality, we show how to transfer the uniqueness results for the original problem to a whole class of nuclear norm-regularized minimization problems with a strictly convex fidelity term.

[103]
Title: Last-Iterate Convergence of Optimistic Gradient Method for Monotone Variational Inequalities
Comments: 24 pages, 2 figures; code: this https URL
Subjects: 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)$ last-iterate 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)$ last-iterate 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 computer-aided. Those results close the open question of the last iterate convergence of PEG for monotone variational inequalities.

[104]
Title: On the exactness for polynomial optimization strengthened with Fritz John conditions
Comments: 12 pages, 1 table. arXiv admin note: substantial text overlap with arXiv:2205.04254
Subjects: 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 non-negative on a basic semi-algebraic 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 semi-algebraic set which is defined by the inequalities of concave polynomials.

[105]
Title: Sequential Parametrized Motion Planning and its Complexity
Subjects: 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 TC-generating function of a fibration, examine examples and raise some general questions about its analytic properties.

[106]
Title: Intersecting theorems for finite general linear groups
Subjects: 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}(x-y)\le n-t$ 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$-cross-intersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erd\H{o}s-Ko-Rado 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]
Title: A Note on Quantum Odometers
Subjects: Operator Algebras (math.OA)

We discuss various aspects of noncommutative geometry of smooth subalgebras of Bunce-Deddens-Toeplitz Algebras.

[108]
Title: Secure Summation: Capacity Region, Groupwise Key, and Feasibility
Authors: Yizhou Zhao, Hua Sun
Subjects: 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 $K-1$ 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 > K-T$, the secure summation problem is not feasible; when $G \leq K-T$, 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 $(K-T-1)/\binom{K-T}{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]
Title: On a Ramanujan type expansion of arithmetical functions
Comments: The techniques which we adopted here can be used to derive infinite series expansions of some arithmetical functions using some other generalizations of Ramanujan sum
Subjects: 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):259-276,1918]. Here we give similar type of expansions in terms of the Cohen-Ramanujan sum defined by E. Cohen in [Duke Mathematical Journal, 16(85-90):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]
Title: Maximal Chordal Subgraphs
Subjects: 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]
Title: An Aubin continuity path for shrinking gradient Kähler-Ricci solitons
Subjects: Differential Geometry (math.DG)

Let $D$ be a toric K\"ahler-Einstein Fano manifold. We show that any toric shrinking gradient K\"ahler-Ricci soliton on certain proper modifications of $\mathbb{C}\times D$ satisfies a complex Monge-Amp\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]
Title: The geometry of the Kustaanheimo-Stiefel mapping
Authors: Richard Cushman
Subjects: Symplectic Geometry (math.SG)

This paper details the geometry of the Kustaanheimo-Stiefel mapping, which regularizes the Hamiltonian of the Kepler problem. It leans heavily on the work of J.-C. van der Meer.

[113]
Title: A remark on the existence of equivariant functions
Authors: Shingo Sugiyama
Subjects: 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 two-dimensional 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 two-by-two unit matrix. This assertion was first stated by Saber and Sebbar in 2020, and this note fills a gap of their statement.

[114]
Title: Covariance Estimation: Optimal Dimension-free Guarantees for Adversarial Corruption and Heavy Tails
Subjects: 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 dimension-free Bai-Yin type theorem in the regime $p > 4$.

[115]
Title: A new method for computing asymptotic results in optimal stopping problems
Subjects: 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 first-order linear differential equation, makes it possible to systematically obtain these values in many situations. As an example, we address nine variants of the well-known secretary problem, including the classical one, that appear in the literature on the subject, as well as four other unpublished ones.

[116]
Title: Ramanujan's approximation to the exponential function and generalizations
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

Ramanujan's approximation to the exponential function is reexamined with the help of Perron's saddle-point 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]
Title: Topological and metric properties of spaces of generalized persistence diagrams
Subjects: 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 1-parameter 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 half-plane. Under mild conditions, no persistence diagram has a compact neighborhood. If the underlying metric space is sigma-compact 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]
Title: Colored double zeta values and modular forms of general level
Authors: Minoru Hirose
Subjects: 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]
Title: Large-time and small-time behaviors of the spectral heat content for time-changed stable processes
Subjects: Probability (math.PR)

We study the large-time and small-time asymptotic behaviors of the spectral heat content for time-changed stable processes, where the time change belongs to a large class of inverse subordinators. For the large-time 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 small-time 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]
Title: Susceptibility of Age of Gossip to Timestomping
Subjects: 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]
Title: A counterexample of two Romanov type conjectures
Authors: Yuchen Ding
Subjects: Number Theory (math.NT)

In this note, we disprove two Romanov type conjectures posed by Chen.

[122]
Title: Do Neural Networks Compress Manifolds Optimally?
Subjects: Information Theory (cs.IT); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

Artificial Neural-Network-based (ANN-based) lossy compressors have recently obtained striking results on several sources. Their success may be ascribed to an ability to identify the structure of low-dimensional manifolds in high-dimensional ambient spaces. Indeed, prior work has shown that ANN-based compressors can achieve the optimal entropy-distortion curve for some such sources. In contrast, we determine the optimal entropy-distortion tradeoffs for two low-dimensional manifolds with circular structure and show that state-of-the-art ANN-based compressors fail to optimally compress the sources, especially at high rates.

[123]
Title: Grunsky operator, Grinshpan's conjecture and universal Teichmuller space
Subjects: 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]
Title: Learning-Augmented Streaming Codes are Approximately Optimal for Variable-Size Messages
Comments: 13 pages, 8 figures, this is an extended version of the IEEE ISIT 2022 paper with the same title
Subjects: Information Theory (cs.IT)

Real-time 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 rate-optimal codes. We combine algebraic coding techniques with a learning-augmented algorithm for spreading to design the first approximately rate-optimal streaming codes for a range of parameter regimes that are important for practical applications.

[125]
Title: Jacobians, Anti-affine groups and torsion points
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 anti-affine. 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 non-hyperelliptic and non-bielliptic, then except for finitely many cases the Jacobian of $X$ is anti-affine. Furthermore, if the normalization is a general curve of genus atleast 3 then the Jacobian of $X$ is always anti-affine.

[126]
Title: On the generalised Brezis-Nirenberg problem
Subjects: 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 quasi-linear problem involving the critical growth: \begin{eqnarray*}
-\Delta_p u - \mu g|u|^{p-2}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|^{p-2} \nabla u),$ $p^{*}= \frac{Np}{N-p}$ is the critical Sobolev exponent and $\mathcal{D}_p(\Omega)$ is the Beppo-Levi 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} |g||u|^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]
Title: Milnor fibers of homogeneous polynomials of prime power degree
Authors: David B. Massey
Subjects: Algebraic Geometry (math.AG)

We consider a homogeneous polynomial of degree equal to a prime power and examine the cohomology of the Milnor fiber.

### Cross-lists for Wed, 18 May 22

[128]  arXiv:2112.09821 (cross-list from math-ph) [pdf, other]
Title: Fermi acceleration in rotating drums
Subjects: Mathematical Physics (math-ph); 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 well-known microcanonical ensemble measure.

[129]  arXiv:2205.07486 (cross-list from econ.GN) [pdf, other]
Title: Polarization and Quid Pro Quo: The Role of Party Cohesiveness
Subjects: 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 ideological-disutility 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 (cross-list from cond-mat.mes-hall) [pdf, other]
Title: Nontrivial quantum geometry of degenerate flat bands
Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Materials Science (cond-mat.mtrl-sci); Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph)

The importance of the quantum metric in flat-band 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 (cross-list from cs.LG) [pdf, other]
Title: An Extension to Basis-Hypervectors for Learning from Circular Data in Hyperdimensional Computing
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT)

Hyperdimensional Computing (HDC) is a computation framework based on properties of high-dimensional random spaces. It is particularly useful for machine learning in resource-constrained 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 basis-hypervectors, responsible for representing the smallest units of meaningful information. In this work we present a detailed study on basis-hypervector sets, which leads to practical contributions to HDC in general: 1) we propose an improvement for level-hypervectors, 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 (cross-list from cs.LG) [pdf, other]
Title: Distributed Feature Selection for High-dimensional Additive Models
Subjects: 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, DDAC-SpAM, that divides features under the high-dimensional 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 DDAC-SpAM algorithm is effective and competitive in fitting sparse additive models.

[133]  arXiv:2205.07965 (cross-list from eess.SY) [pdf, other]
Title: Flexible and curtailable resource activation in three-phase unbalanced distribution networks
Subjects: 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 network-state 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 volt-Var and volt-watt 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 three-phase 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 three-phase unbalanced resource activation (TPU-RA) 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 (cross-list from stat.ML) [pdf, other]
Title: An Exponentially Increasing Step-size for Parameter Estimation in Statistical Models
Comments: 26 pages. The authors are listed in alphabetical order
Subjects: 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 step-size is standard practice in unconstrained optimization problems. However, when the loss function is only locally convex, such a step-size 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 step-size 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 non-regular 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 non-regular statistical models. To the best of our knowledge, it resolves a long-standing gap between statistical and algorithmic computational complexities of parameter estimation in non-regular 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 (cross-list from q-bio.PE) [pdf, other]
Title: Similarity Suppresses Cyclicity: Why Similar Competitors Form Hierarchies
Subjects: Populations and Evolution (q-bio.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 real-world 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 (cross-list from cs.DS) [pdf, ps, other]
Title: A faster algorithm for Vertex Cover parameterized by solution size
Subjects: 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 bounded-degree graphs and Above-Guarantee Vertex Cover.
The main step in the algorithm is to branch on high-degree 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 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
Title: A stationary model of non-intersecting directed polymers
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Probability (math.PR)

We consider the partition function $Z_{\ell}(\vec x,0\vert \vec y,t)$ of $\ell$ non-intersecting 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 Kardar-Parisi-Zhang 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$ non-intersecting semi-discrete polymers on $\ell$ lines. We discuss applications to the endpoints and midpoints distribution for long non-crossing polymers and derive explicit formula in the case of two polymers. To obtain these results, we show that the stationary measure of the O'Connell-Warren 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 so-called log-gamma polymer and exploit the connection between non-intersecting log-gamma polymers and the geometric RSK correspondence found in arXiv:1110.3489.
.

[138]  arXiv:2205.08032 (cross-list from cs.CC) [pdf, ps, other]
Title: On Algebraic Constructions of Neural Networks with Small Weights
Subjects: 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 trade-offs among the weight sizes, circuit size and depth is a well-studied topic both in circuit complexity theory and the practice of neural computation. We propose a new approach for studying these complexity trade-offs 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, anti-concentration inequalities for the existential results and extensions of Sylvester-type 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 best-known 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 best-known circuit sizes for EQUALITY and COMPARISON.

[139]  arXiv:2205.08036 (cross-list from stat.ME) [pdf, ps, other]
Title: On Semiparametric Efficiency of an Emerging Class of Regression Models for Between-subject Attributes
Subjects: 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 high-throughput technology, such as microbiome Beta-diversity, viral genetic linkage, single-cell 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 Hilbert-space-based semiparametric efficiency theory for classical within-subject attributes, this manuscript extends such asymptotic efficiency into the broader regression involving between-subject attributes and pinpoints the most efficient estimator, which leads to a sensitive signal-detection in practice. With pairwise outcomes burgeoning immensely as effective dimension-reduction summaries, the established theory will not only fill the critical gap in identifying the most efficient semiparametric estimator but also propel wide-ranging implementations of this new paradigm for between-subject attributes.

[140]  arXiv:2205.08039 (cross-list from hep-th) [pdf, ps, other]
Comments: 27 pages, 5 eps figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

Duality cascades are a series of duality transformations in field theories, which can be realized as the Hanany-Witten 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 (cross-list from stat.ML) [pdf, other]
Title: Perfect Spectral Clustering with Discrete Covariates
Subjects: 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 (cross-list from eess.SY) [pdf, other]
Title: A Short Introduction to the Koopman Representation of Dynamical Systems
Authors: Bassam Bamieh
Subjects: 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 data-driven 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 (cross-list from cs.LG) [pdf, other]
Title: Unraveling Attention via Convex Duality: Analysis and Interpretations of Vision Transformers
Comments: 38 pages, 2 figures. To appear in ICML 2022
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)

Vision transformers using self-attention 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 non-linear dot-product self-attention, and alternative mechanisms such as MLP-mixer and Fourier Neural Operator (FNO), we derive equivalent finite-dimensional convex problems that are interpretable and solvable to global optimality. The convex programs lead to {\it block nuclear-norm regularization} that promotes low rank in the latent feature and token dimensions. In particular, we show how self-attention networks implicitly clusters the tokens, based on their latent similarity. We conduct experiments for transferring a pre-trained transformer backbone for CIFAR-100 classification by fine-tuning 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 (cross-list from nlin.CD) [pdf, ps, other]
Title: Hopf Bifurcation in vibrational resonance through modulation of fast frequency
Subjects: Chaotic Dynamics (nlin.CD); Dynamical Systems (math.DS); Applied Physics (physics.app-ph)

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 (cross-list from physics.flu-dyn) [pdf, other]
Title: Isogeometric Hierarchical Model Reduction for advection-diffusion process simulation in microchannels
Subjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)

Microfluidics proved to be a key technology in various applications, allowing to reproduce large-scale laboratory settings at a more sustainable small-scale. The current effort is focused on enhancing the mixing process of different passive species at the micro-scale, 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 S-shaped 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 three-dimensional model into a system of one-dimensional coupled problems. It can be proved that HiMod reduction guarantees a very good accuracy when compared with a high-fidelity model, despite a drastic reduction in terms of number of unknowns.

[146]  arXiv:2205.08187 (cross-list from stat.ML) [pdf, other]
Title: Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibility
Comments: 89 pages, 11 figures, 7 tables
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR); Statistics Theory (math.ST)

This article studies the infinite-width 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 per-node random variables: they are iid and their sum, in each layer, converges to some finite random variable in the infinite-width limit. Under this model, we show that each layer of the infinite-width neural network can be characterised by two simple quantities: a non-negative 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 non-trivial, we obtain a mixture of Gaussian processes (MoGP) in the large-width limit. The behaviour of the neural network in this regime is very different from the GP regime. One obtains correlated outputs, with non-Gaussian distributions, possibly with heavy tails. Additionally, we show that, in this regime, the weights are compressible, and feature learning is possible. Many sparsity-promoting neural network models can be recast as special cases of our approach, and we discuss their infinite-width 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 (cross-list from nlin.SI) [pdf, other]
Title: Cauchy matrix solutions to some local and nonlocal complex equations
Comments: 28 pages,62 figures,to appear in Theor. Math. Phys
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)

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 before-reduction systems. Specifically, by imposing local and nonlocal complex reductions on some Ablowitz-Kaup-Newell-Segur-type equations, we study some local and nonlocal complex equations, involving the local and nonlocal complex modified Korteweg-de Vries equation, the local and nonlocal complex sine-Gordon equation, the local and nonlocal potential nonlinear Schr\"{o}dinger equation and the local and nonlocal potential complex modified Korteweg-de Vries equation. Cauchy matrix-type 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 (cross-list from stat.ME) [pdf, other]
Title: Bayesian Inference for Non-Parametric Extreme Value Theory
Subjects: 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 (cross-list from gr-qc) [pdf, ps, other]
Title: When null energy condition meets ADM mass
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We give a conjecture on the lower bound of the ADM mass $M$ by using the null energy condition. The conjecture includes a Penrose-like 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 (cross-list from cs.LO) [pdf, other]
Title: Sampling-Based Verification of CTMCs with Uncertain Rates
Subjects: 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 scenario-optimization, to the following problem: From a finite set of parameter samples and a user-specified 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 well-known benchmarks show the applicability of the approach.

[151]  arXiv:2205.08304 (cross-list from cs.LG) [pdf, other]
Title: Bayesian Physics-Informed Neural Networks for real-world nonlinear dynamical systems
Subjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)

Understanding real-world dynamical phenomena remains a challenging task. Across various scientific disciplines, machine learning has advanced as the go-to 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, physics-informed 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 fully-connected feed-forward neural network to explore a simple and illustrative model system, the outbreak dynamics of COVID-19. Our Physics-Informed 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 self-adaptively 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 (cross-list from cs.CE) [pdf, other]
Title: Finite Element Method-enhanced Neural Network for Forward and Inverse Problems
Subjects: 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 well-performing 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 Method-enhanced Neural Network hybrid model (FEM-NN hybrid) is data-efficient and physics conforming. The proposed methodology can be used for surrogate models in real-time 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 forward-solving algorithm is demonstrated for the uncertainty quantification of wind effects on a high-rise buildings. The inverse algorithm is demonstrated in the speed-dependent 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 (cross-list from cs.LG) [pdf, other]
Title: Scalable algorithms for physics-informed neural and graph networks
Comments: 26 pages, 13 figures. arXiv admin note: text overlap with arXiv:2104.10013
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Analysis of PDEs (math.AP); Dynamical Systems (math.DS)

Physics-informed 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 space-time domain. Such physics-informed 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 physics-informed neural networks (PINNs) based primarily on feed-forward 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 physics-informed learning can be accomplished with GNNs based on graph exterior calculus to construct differential operators; we refer to these architectures as physics-informed 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 large-scale engineering problems.

[154]  arXiv:2205.08339 (cross-list from q-bio.NC) [pdf, other]
Title: Variational and phase response analysis for limit cycles with hard boundaries, with applications to neuromechanical control problems
Subjects: Neurons and Cognition (q-bio.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 (cross-list from cs.LO) [pdf, other]
Title: Compositional Modeling with Stock and Flow Diagrams
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Populations and Evolution (q-bio.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 COVID-19 model used in Canada.

[156]  arXiv:2205.08387 (cross-list from physics.flu-dyn) [pdf, other]
Title: cfd.xyz/rom.js: An open-source framework for generating and visualizing parametric CFD results on the web
Subjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)

We present in this technical note an open-source 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 open-source packages (Eigen, Splinter, VTK/C++ and ITHACA-FV) to solve the online stage of reduced-order models (ROM) generated by the ITHACA-FV 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 open-source 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 real-time solutions such as digital twins and other digital transformation technologies.

[157]  arXiv:2205.08423 (cross-list from eess.SP) [pdf, ps, other]
Title: The Deployment of IRS in UAV-Empowered 6G Networks
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

Intelligent reflecting surfaces (IRSs) with the ability to reconfigure inherent electromagnetic reflection and absorption characteristics in real-time 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 non-line of sight (NLoS) scenarios. Thereby, the IRS-empowered UAV-assisted cellular networks will be a significant role-player to improve the coverage and user experiences. The paper aimed to minimize the path loss and maximize the achievable data rate in IRS-UAV-assisted networks. In this context, the work analyzed path loss and achievable rate utilizing millimeter wave (mmWave) carrier considering the conventional UAV model and IRS-empowered 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 UAV-assisted model.

[158]  arXiv:2205.08435 (cross-list from q-fin.RM) [pdf, other]
Title: Cyber Risk Assessment for Capital Management
Comments: This paper was first presented on July 5, 2021, at the 24th International Congress on Insurance: Mathematics and Economics
Subjects: Risk Management (q-fin.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 frequency-severity 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 loss-absorbing reserves.

### Replacements for Wed, 18 May 22

[159]  arXiv:1308.4963 (replaced) [pdf, ps, other]
Title: Existence and non-existence of area-minimizing hypersurfaces in manifolds of non-negative Ricci curvature
Journal-ref: Amer. J. Math., 138 (2016), no.2., 287-327
Subjects: 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 Counterexamples
Comments: Includes Corrigendum (last 6 pages)
Journal-ref: Mathematika 61 (2015) 414-443
Subjects: Functional Analysis (math.FA)
[161]  arXiv:1603.01327 (replaced) [pdf, ps, other]
Title: Quantization of Hitchin integrable system via positive characteristic
Comments: paper by Roman Bezrukavnikov and Roman Travkin with an appendix by Roman Bezrukavnikov, Tsao-Hsien 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 Kazhdan
Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
[162]  arXiv:1701.01674 (replaced) [pdf, ps, other]
Title: Existence and non-existence of minimal graphs
Authors: Qi Ding, J. Jost, Y.L. Xin
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
[163]  arXiv:1804.01976 (replaced) [pdf, ps, other]
Title: GAGA theorems
Authors: Jack Hall
Comments: 28 pages; further corrections and clarifications; additional results on Lefschetz theorems and a corresponding rewrite of several sections; addition of an appendix
Subjects: Algebraic Geometry (math.AG)
[164]  arXiv:1809.04109 (replaced) [pdf, ps, other]
Title: Vortex filament solutions of the Navier-Stokes equations
Subjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.flu-dyn)
[165]  arXiv:1810.11837 (replaced) [pdf, ps, other]
Title: On the geometric P=W conjecture
Comments: 33 pages. New appendix. Other minor changes. Final version in Selecta Mathematica
Subjects: Algebraic Geometry (math.AG)
[166]  arXiv:1812.11624 (replaced) [pdf, other]
Title: Homogenization of Stable-like Feller Processes
Subjects: Probability (math.PR)
[167]  arXiv:1902.05349 (replaced) [pdf, ps, other]
Title: The digit exchanges in the rotational beta expansions of algebraic numbers
Comments: 16 pages, Version 3: accepted version
Subjects: Number Theory (math.NT)
[168]  arXiv:1904.02585 (replaced) [pdf, ps, other]
Title: Local weak convergence for sparse networks of interacting processes
Comments: 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 discrete-time 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.11667
Subjects: Probability (math.PR)
[169]  arXiv:1904.10516 (replaced) [pdf, ps, other]
Title: Abraham-Rubin-Shelah Open Colorings and a Large Continuum
Subjects: 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 Pakovich
Subjects: 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 domain
Subjects: Numerical Analysis (math.NA)
[172]  arXiv:1905.05422 (replaced) [pdf, ps, other]
Title: Critical cones for sufficient second order conditions in PDE constrained optimization
Comments: 22 pages. Equation numbering in section 2 adjusted to match the journal version
Journal-ref: SIAM J. Optim. 30-1 (2020), pp. 585-603
Subjects: 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 sixteen
Subjects: Algebraic Geometry (math.AG)
[174]  arXiv:1912.10137 (replaced) [pdf, other]
Title: Spectra of infinite graphs via freeness with amalgamation
Comments: 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 fixed
Subjects: 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 intersections
Authors: Fedor Pakovich
Comments: The final version, to appear in J. Eur. Math. Soc
Subjects: Dynamical Systems (math.DS)
[176]  arXiv:2003.13591 (replaced) [pdf, ps, other]
Title: Asymptotically Kasner-like singularities
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
[177]  arXiv:2004.11541 (replaced) [pdf, ps, other]
Title: On Weakly Complete Universal Enveloping Algebras: A Poincare-Birkhoff-Witt Theorem
Comments: v2 completely rewritten and corrected. v3 title corrected. To appear in Journal of Lie Theory
Subjects: 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 dimension
Authors: D. S. Shirokov
Journal-ref: Computational and Applied Mathematics, 40 (2021), 173, 29 pp
Subjects: Mathematical Physics (math-ph); Numerical Analysis (math.NA)
[179]  arXiv:2005.13777 (replaced) [pdf, ps, other]
Title: Computable reducibility of equivalence relations and an effective jump operator
Subjects: Logic (math.LO)
[180]  arXiv:2006.05953 (replaced) [pdf, other]
Title: Rates of convergence for the continuum limit of nondominated sorting
Journal-ref: SIAM Journal on Mathematical Analysis 54.1 (2022): 872-911
Subjects: 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 resolution
Comments: 49 pages. Final version to appear in Journal de l'\'Ecole polytechnique
Subjects: Algebraic Geometry (math.AG)
[182]  arXiv:2007.01994 (replaced) [pdf, other]
Title: A gentle introduction to the differential equation method and dynamic concentration
Subjects: Combinatorics (math.CO); Probability (math.PR)
[183]  arXiv:2007.02938 (replaced) [pdf, other]
Title: Causal Feature Selection via Orthogonal Search
Subjects: 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 Observations
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[185]  arXiv:2009.09419 (replaced) [pdf, ps, other]
Title: Generalized Mittag-Leffler stability of fractional impulsive differential system
Subjects: Optimization and Control (math.OC)
[186]  arXiv:2009.09635 (replaced) [pdf, ps, other]
Title: On K3 surfaces of Picard rank 14
Subjects: Algebraic Geometry (math.AG)
[187]  arXiv:2010.00804 (replaced) [pdf, other]
Title: Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations
Comments: To appear in Mathematics of Computation
Subjects: Numerical Analysis (math.NA); Algebraic Geometry (math.AG); Quantitative Methods (q-bio.QM)
[188]  arXiv:2010.09518 (replaced) [pdf, other]
Title: Dualizing spheres for compact $p$-adic analytic groups and duality in chromatic homotopy
Comments: 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: Bi-infinite solutions for KdV- and Toda-type discrete integrable systems based on path encodings
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Probability (math.PR)
[190]  arXiv:2012.07665 (replaced) [pdf, ps, other]
Title: Duality for automorphic sheaves with nilpotent singular support
Subjects: Algebraic Geometry (math.AG)
[191]  arXiv:2012.09001 (replaced) [pdf, ps, other]
Title: Upper bounds for the largest components in critical inhomogeneous random graphs
Comments: 56 pages. Major revision with updated results
Subjects: Probability (math.PR)
[192]  arXiv:2012.09102 (replaced) [pdf, other]
Title: FedADC: Accelerated Federated Learning with Drift Control
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)
[193]  arXiv:2012.09464 (replaced) [src]
Title: The Kronecker-Weyl equidistribution theorem and geodesics in 3-manifolds
Comments: The argument in this paper is based on an earlier result where we have discovered a major flaw in the argument
Subjects: Number Theory (math.NT)
[194]  arXiv:2012.14702 (replaced) [pdf, other]
Title: A fast iterative algorithm for near-diagonal eigenvalue problems
Subjects: Numerical Analysis (math.NA)
[195]  arXiv:2101.05658 (replaced) [pdf, other]
Title: A growth-fragmentation model connected to the ricocheted stable process
Comments: 14 pages. v5 makes minor amendments
Subjects: Probability (math.PR)
[196]  arXiv:2101.05882 (replaced) [pdf, ps, other]
Title: Infinity Laplacian equations with singular absorptions
Journal-ref: 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 self-similar random homogeneous iterated function systems
Authors: Sascha Troscheit
Subjects: 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 Property
Authors: Stefan Hoffelner
Subjects: Logic (math.LO)
[199]  arXiv:2104.01100 (replaced) [pdf, other]
Title: The isoparametric functions on a class of Finsler spheres
Authors: Yali Chen, Qun He
Subjects: Differential Geometry (math.DG)
[200]  arXiv:2104.11850 (replaced) [pdf, other]
Title: The number of perfect matchings, and the nesting properties, of random regular graphs
Authors: Pu Gao
Subjects: Combinatorics (math.CO)
[201]  arXiv:2104.15021 (replaced) [pdf, other]
Title: Formalizing the Face Lattice of Polyhedra
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Optimization and Control (math.OC)
[202]  arXiv:2105.00046 (replaced) [pdf, ps, other]
Title: Visco-energetic solutions for a model of crack growth in brittle materials
Subjects: Analysis of PDEs (math.AP)
[203]  arXiv:2105.10210 (replaced) [pdf, other]
Title: Bayesian Uncertainty Quantification of Local Volatility Model
Subjects: 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 Variant
Subjects: 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 polyominoes
Comments: 14 pages, 16 figures. arXiv admin note: text overlap with arXiv:2006.13935
Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
[206]  arXiv:2106.08100 (replaced) [pdf, ps, other]
Title: Degree sequences of sufficiently dense random uniform hypergraphs
Comments: To appear in Combinatorics, Probability and Computing
Subjects: Combinatorics (math.CO)
[207]  arXiv:2106.09978 (replaced) [pdf, ps, other]
Title: Centralized systemic risk control in the interbank system: Weak formulation and Gamma-convergence
Comments: Final version, forthcoming in Stochastic Processes and their Applications
Subjects: Optimization and Control (math.OC); Mathematical Finance (q-fin.MF)
[208]  arXiv:2106.13032 (replaced) [pdf, other]
Title: Optimization of IRS-aided Sub-THz Communications under practical design constraints
Subjects: Information Theory (cs.IT)
[209]  arXiv:2106.14094 (replaced) [pdf, ps, other]
Title: Higher limits over the fusion orbit category
Authors: Ergun Yalcin
Comments: 53 pages. Revised version after referee report
Subjects: 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 topological
Comments: to appear in the Journal of Pure and Applied Algebra
Subjects: Commutative Algebra (math.AC)
[211]  arXiv:2107.04588 (replaced) [pdf, ps, other]
Title: Super Topological Recursion and Gaiotto Vectors For Superconformal Blocks
Authors: Kento Osuga
Comments: 38 pages, presentation changed, accepted version in LMP
Journal-ref: Lett Math Phys 112, 48 (2022)
Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th)
[212]  arXiv:2107.11941 (replaced) [pdf, other]
Title: Computation of Reachable Sets Based on Hamilton-Jacobi-Bellman Equation with Running Cost Function
Subjects: 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 barrier
Comments: 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.soc-ph); Machine Learning (stat.ML)
[214]  arXiv:2108.05235 (replaced) [pdf, ps, other]
Title: Geometric quadratic Chabauty over number fields
Subjects: 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 Categories
Authors: Arun S. Kannan
Subjects: Representation Theory (math.RT)
[216]  arXiv:2108.06138 (replaced) [pdf, ps, other]
Title: Stochastic orders and measures of skewness and dispersion based on expectiles
Subjects: Statistics Theory (math.ST)
[217]  arXiv:2108.12852 (replaced) [pdf, ps, other]
Title: 3-form Yang-Mills based on 2-crossed modules
Journal-ref: Journal of Geometry and Physics 178C (2022) 104537
Subjects: Mathematical Physics (math-ph)
[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 citations
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
[219]  arXiv:2109.05690 (replaced) [pdf, other]
Title: An inexact Bregman proximal gradient method and its inertial variant
Subjects: Optimization and Control (math.OC)
[220]  arXiv:2109.07318 (replaced) [pdf, ps, other]
Title: Global Weierstrass equations of hyperelliptic curves
Authors: Qing Liu
Comments: Minor typos. To appear in Trans. AMS
Subjects: 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 p-energy
Authors: Jun Kigami
Subjects: Metric Geometry (math.MG)
[222]  arXiv:2109.13512 (replaced) [pdf, ps, other]
Title: Neural Networks in Fréchet spaces
Subjects: Functional Analysis (math.FA)
[223]  arXiv:2110.01450 (replaced) [pdf, ps, other]
Title: Extended dynamic mode decomposition with dictionary learning using neural ordinary differential equations
Comments: 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 error
Journal-ref: Nonlinear Theory and Its Applications, IEICE, vol. 12, no. 4, pp. 626-638, 2021
Subjects: 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.data-an)
[224]  arXiv:2110.02445 (replaced) [pdf, other]
Title: Characterization of smooth solutions to the Navier-Stokes equations in a pipe with two types of slip boundary conditions
Comments: Compared to the previous version, title is chagned. Two new resutls is added and one result is improved. Also one new contributed author is added
Subjects: Analysis of PDEs (math.AP)
[225]  arXiv:2110.03641 (replaced) [pdf, ps, other]
Title: Transport-majorization to analytic and geometric inequalities
Subjects: Functional Analysis (math.FA); Probability (math.PR)
[226]  arXiv:2110.06120 (replaced) [pdf, other]
Title: A fast time domain solver for the equilibrium Dyson equation
Subjects: Numerical Analysis (math.NA); Strongly Correlated Electrons (cond-mat.str-el)
[227]  arXiv:2110.13127 (replaced) [pdf, ps, other]
Title: On Tate--Shafarevich groups of one-dimensional families of commutative group schemes over number fields
Comments: v3: final version, minor revision
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[228]  arXiv:2110.15496 (replaced) [pdf, ps, other]
Title: Baire property of space of Baire-one functions
Subjects: General Topology (math.GN)
[229]  arXiv:2111.01050 (replaced) [pdf, ps, other]
Title: Extended probabilities and their application to statistical inference
Subjects: Statistics Theory (math.ST); Probability (math.PR)
[230]  arXiv:2111.03546 (replaced) [pdf, ps, other]
Title: Persistence of the Brauer-Manin obstruction on cubic surfaces
Comments: 6 pages; clarified notation and improved exposition
Subjects: 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 applications
Comments: 65 pages; abstract has been shortened due to arXiv requirements
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[232]  arXiv:2111.05040 (replaced) [pdf, other]
Title: A survey on high-dimensional Gaussian process modeling with application to Bayesian optimization
Authors: Mickael Binois (ACUMES), Nathan Wycoff (GU)
Subjects: Optimization and Control (math.OC)
[233]  arXiv:2111.11553 (replaced) [pdf, other]
Title: The canonical complex of the weak order
Comments: 18 pages, 12 figures; Version 2: minor corrections
Subjects: Combinatorics (math.CO)
[234]  arXiv:2112.01929 (replaced) [pdf, other]
Title: Second Rényi entropy and annulus partition function for one-dimensional quantum critical systems with boundaries
Journal-ref: SciPost Phys. 12, 141 (2022)
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th)
[235]  arXiv:2112.07001 (replaced) [pdf, ps, other]
Title: Rationality of Fano threefolds with terminal Gorenstein singularities, II
Authors: Yuri Prokhorov
Comments: 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 Laplacian
Subjects: Analysis of PDEs (math.AP)
[237]  arXiv:2201.03273 (replaced) [pdf, ps, other]
Title: On the metastability of a loss network with diminishing rates
Subjects: Probability (math.PR)
[238]  arXiv:2201.07287 (replaced) [pdf, other]
Title: Polar Coded Merkle Tree: Improved Detection of Data Availability Attacks in Blockchain Systems
Comments: 9 pages, 4 figures, 2 tables, To appear in IEEE International Symposium on Information Theory (ISIT) 2022
Subjects: 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 universality
Comments: 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 figures
Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[240]  arXiv:2201.08301 (replaced) [pdf, other]
Title: Sloppy model analysis unambiguously identifies bifurcation parameters of all commontypes of bifurcations
Subjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph); Chaotic Dynamics (nlin.CD)
[241]  arXiv:2201.08322 (replaced) [pdf, other]
Title: Error-and-erasure Decoding of Product and Staircase Codes with Simplified Extrinsic Message Passing
Subjects: Information Theory (cs.IT)
[242]  arXiv:2201.09475 (replaced) [pdf, other]
Title: Coulomb branches of noncotangent type (with appendices by Gurbir Dhillon and Theo Johnson-Freyd)
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Representation Theory (math.RT)
[243]  arXiv:2201.12898 (replaced) [pdf, other]
Title: Clearing Payments in Dynamic Financial Networks
Subjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE); Systems and Control (eess.SY); Mathematical Finance (q-fin.MF); Risk Management (q-fin.RM)
[244]  arXiv:2202.03051 (replaced) [pdf, ps, other]
Title: Using Partial Monotonicity in Submodular Maximization
Subjects: 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 Percolation
Subjects: Mathematical Physics (math-ph); Other Condensed Matter (cond-mat.other); Functional Analysis (math.FA); Quantum Physics (quant-ph)
[246]  arXiv:2202.05675 (replaced) [pdf, other]
Title: Mechanization of scalar field theory in 1+1 dimensions
Comments: 23 pages, 25 figures, small typos corrected, replaced one figure with higher definition
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[247]  arXiv:2202.07582 (replaced) [pdf, other]
Title: Monoidal Width: Unifying Tree Width, Path Width and Branch Width
Subjects: 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 distances
Subjects: 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 hyperinterpolation
Subjects: 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 SOSTOOLS
Subjects: 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$ conjecture
Authors: 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 spaces
Subjects: Representation Theory (math.RT)
[253]  arXiv:2203.06126 (replaced) [pdf, other]
Title: Distribution-free Prediction Sets Adaptive to Unknown Covariate Shift
Subjects: 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 Variables
Subjects: Complex Variables (math.CV); Numerical Analysis (math.NA)
[255]  arXiv:2203.10906 (replaced) [pdf, other]
Title: Bayesian inference in Epidemics: linear noise analysis
Comments: This version final after internal revision
Subjects: Statistics Theory (math.ST); Applications (stat.AP); Computation (stat.CO)
[256]  arXiv:2203.11800 (replaced) [pdf, ps, other]
Title: Asymptotic estimates for concentrated vortex pairs
Authors: Guodong Wang
Comments: version 2 with minor revisions
Subjects: Analysis of PDEs (math.AP)
[257]  arXiv:2203.17055 (replaced) [pdf, other]
Title: Certified machine learning: A posteriori error estimation for physics-informed neural networks
Subjects: 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 subspace
Subjects: Mathematical Physics (math-ph); 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 inequality
Authors: Takashi Satomi
Subjects: 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 interval
Authors: Shaon Sahoo
Comments: 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 same
Subjects: General Mathematics (math.GM)
[261]  arXiv:2204.09044 (replaced) [pdf, other]
Title: Bi-coherent states as generalized eigenstates of the position and the momentum operators
Journal-ref: Zamp 73:119 (2022)
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
[262]  arXiv:2204.09775 (replaced) [pdf, ps, other]
Title: T-structures on a local 4-Calabi-Yau variety
Authors: Yirui Xiong
Comments: corrections of some typos and mistakes
Subjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG)
[263]  arXiv:2204.10301 (replaced) [pdf, ps, other]
Title: Inductive local-global conditions and generalized Harish-Chandra theory
Authors: Damiano Rossi
Subjects: Representation Theory (math.RT); Group Theory (math.GR)
[264]  arXiv:2204.11153 (replaced) [pdf, ps, other]
Title: Chain rules for quantum channels
Comments: v2: 6 pages, technical note, will appear at IEEE International Symposium on Information Theory 2022, final version with updated references
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Mathematical Physics (math-ph)
[265]  arXiv:2204.12460 (replaced) [pdf, other]
Title: Unobstructed embeddings in Hirzebruch surfaces
Authors: Nicki Magill
Subjects: Symplectic Geometry (math.SG)
[266]  arXiv:2204.13196 (replaced) [pdf, ps, other]
Title: Higher Hölder regularity for mixed local and nonlocal degenerate elliptic equations
Subjects: Analysis of PDEs (math.AP)
[267]  arXiv:2204.13821 (replaced) [pdf]
Title: A Neural Network-enhanced Reproducing Kernel Particle Method for Modeling Strain Localization
Subjects: Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
[268]  arXiv:2205.01401 (replaced) [pdf, ps, other]
Title: Trivial source character tables of $\text{SL}_2(q)$, Part II
Subjects: 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 Two-Dimensional Random-Field Ising Model
Authors: Yoav Bar-Nir
Subjects: Probability (math.PR)
[270]  arXiv:2205.01723 (replaced) [pdf, other]
Title: The distribution of density matrices at fixed purity for arbitrary dimensions
Comments: 32 pages, 20 figures, 5 codes listings
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
[271]  arXiv:2205.03093 (replaced) [pdf, other]
Title: Injectivity of Lipschitz operators
Subjects: 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 Bubenik
Journal-ref: Biometrika, Volume 108, Issue 4, December 2021, Pages 785-788
Subjects: Statistics Theory (math.ST); Algebraic Topology (math.AT)
[273]  arXiv:2205.03870 (replaced) [pdf]
Title: New Phase Space Formulations and Quantum Dynamics Approaches
Journal-ref: Wiley Interdisciplinary Reviews-Computational Molecular Science, e1619 (2022)
Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Chemical Physics (physics.chem-ph)
[274]  arXiv:2205.04077 (replaced) [pdf, ps, other]
Title: A colorful Goodman-Pollack-Wenger theorem
Subjects: Combinatorics (math.CO); Metric Geometry (math.MG)
[275]  arXiv:2205.04776 (replaced) [pdf, ps, other]
Title: Colorful Words and d-Tverberg Complexes
Subjects: Combinatorics (math.CO)
[276]  arXiv:2205.04936 (replaced) [pdf, other]
Title: An estimate of Sidon constant for complex polynomials with unimodular coefficients
Subjects: 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$ Parts
Authors: M.J. Kronenburg
Subjects: Number Theory (math.NT)
[278]  arXiv:2205.05417 (replaced) [pdf, ps, other]
Title: On Feller, Pollard and the Complete Monotonicity of the Mittag-Leffler Function $E_α(-x)$
Authors: Nomvelo Sibisi
Subjects: Probability (math.PR)
[279]  arXiv:2205.05792 (replaced) [pdf, ps, other]
Title: Approximately Strongly Regular Graphs
Comments: 14 pages; (temporarily?) removed parts with walk-regularity due to a mistake
Subjects: 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 transitions
Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[281]  arXiv:2205.06602 (replaced) [pdf, ps, other]
Title: On varieties with Ulrich twisted normal bundles
Comments: v2: we added some references and a section on twisted cotangent, restricted tangent and cotangent
Subjects: Algebraic Geometry (math.AG)
[282]  arXiv:2205.07331 (replaced) [pdf, other]
Title: Sobolev Acceleration and Statistical Optimality for Learning Elliptic Equations via Gradient Descent
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Statistics Theory (math.ST); Computational Physics (physics.comp-ph); Machine Learning (stat.ML)
[283]  arXiv:2205.07599 (replaced) [pdf, ps, other]
Title: Generalized multiplicative Hilbert operators
Authors: Jianjun Jin
Subjects: Functional Analysis (math.FA)
[284]  arXiv:2205.07650 (replaced) [pdf, other]
Title: A relation between a generalized Fibonacci sequence and the length of Cunningham chains