Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Wed, 1 Dec 21
 [1] arXiv:2111.14835 [pdf, ps, other]

Title: Smooth local solutions to the Schrödinger flow for maps from a smooth bounded domain $Ω\subset \mathbb{R}^3$ into $\mathbb{S}^2$Comments: arXiv admin note: text overlap with arXiv:2111.14077Subjects: Analysis of PDEs (math.AP)
In this paper, we show the existence and uniqueness of shorttime very regular or smooth solution to the initialNeumann boundary value problem of the Schr\"{o}dinger flow for maps from a smooth bounded domain $\Omega\subset \mathbb{R}^3$ into $\mathbb{S}^2$ in the scale of Sobolev spaces. We provide a precise description of the compatibility conditions at the boundary for the initial data.
 [2] arXiv:2111.14840 [pdf, ps, other]

Title: A Generalized Determinant of Matrices and ApplicationsComments: 11 pagesSubjects: Classical Analysis and ODEs (math.CA)
A generalized definition of the determinant of matrices is given, which is compatible with the usual determinant for square matrices and keeps many important properties, such as being an alternating multilinear function, keeping multiplication formula and partly keeping the CauchyBinet's formula. As applications of the new theory, the generalized Cramer's rule and the generalized oriented volume are obtained.
 [3] arXiv:2111.14864 [pdf, other]

Title: Conformal Hypergeometry and IntegrabilityAuthors: Volker SchomerusComments: 22 pages, 6 figures, Contribution to "Hypergeometry, Integrability and Lie Theory" E. Koelink, N. Reshetikhin (ed)Subjects: Mathematical Physics (mathph); Quantum Algebra (math.QA); Representation Theory (math.RT)
Conformal field theories play a central role in modern theoretical physics with many applications to the understanding of phase transitions, gauge theories and even the quantum physics of gravity, through Maldacena's celebrated holographic duality. The key analytic tool in the field is the socalled conformal partial wave expansion, i.e. a Fourierlike decomposition of physical quantities into a basis of partial waves for the conformal group SO(1,d+1). This text provides an nontechnical introduction to conformal field theory and the conformal bootstrap program with some focus on the mathematical aspects of conformal partial wave expansions. It emphasises profound relations with modern hypergeometry, group theory and integrable models of Gaudin and CalogeroSutherland type.
 [4] arXiv:2111.14881 [pdf, ps, other]

Title: Motivic, logarithmic, and topological Milnor fibrationsSubjects: Algebraic Geometry (math.AG)
We compare the topological Milnor fibration and the motivic Milnor fibre of a regular complex function with only normal crossing singularities by introducing their common extension: the complete Milnor fibration. We give two equivalent constructions: the first one extending the classical KatoNakayama logspace and the second one, more geometric, based on the real oriented multigraph construction, a version of the real oriented deformation to the normal cone. In particular we recover A'Campo's model of the topological Milnor fibration, by quotienting the motivic Milnor fibration with suitable powers of $\mathbb R_{>0}$, and show that it determines the classical motivic Milnor fibre.
We give precise formulae expressing how the introduced objects change under blowingsup thus showing, in particular, that the motivic Milnor fibre is welldefined as an element in a Grothendieck ring and not merely in its localisation.  [5] arXiv:2111.14889 [pdf, other]

Title: Rigorous datadriven computation of spectral properties of Koopman operators for dynamical systemsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Dynamical Systems (math.DS); Spectral Theory (math.SP); Fluid Dynamics (physics.fludyn)
Koopman operators are infinitedimensional operators that globally linearize nonlinear dynamical systems, making their spectral information useful for understanding dynamics. However, Koopman operators can have continuous spectra and infinitedimensional invariant subspaces, making computing their spectral information a considerable challenge. This paper describes datadriven algorithms with rigorous convergence guarantees for computing spectral information of Koopman operators from trajectory data. We introduce residual dynamic mode decomposition (ResDMD), which provides the first scheme for computing the spectra and pseudospectra of general Koopman operators from snapshot data without spectral pollution. Using the resolvent operator and ResDMD, we also compute smoothed approximations of spectral measures associated with measurepreserving dynamical systems. We prove explicit convergence theorems for our algorithms, which can achieve highorder convergence even for chaotic systems, when computing the density of the continuous spectrum and the discrete spectrum. We demonstrate our algorithms on the tent map, Gauss iterated map, nonlinear pendulum, double pendulum, Lorenz system, and an $11$dimensional extended Lorenz system. Finally, we provide kernelized variants of our algorithms for dynamical systems with a highdimensional statespace. This allows us to compute the spectral measure associated with the dynamics of a protein molecule that has a 20,046dimensional statespace, and compute nonlinear Koopman modes with error bounds for turbulent flow past aerofoils with Reynolds number $>10^5$ that has a 295,122dimensional statespace.
 [6] arXiv:2111.14918 [pdf, ps, other]

Title: From norm derivatives to orthogonalities in Hilbert $C^*$modulesComments: 13 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
Let $\big(\mathscr{X}, \langle\cdot, \cdot\rangle\big)$ be a Hilbert $C^*$module over a $C^*$algebra $\mathscr{A}$ and let $\mathcal{S}(\mathscr{A})$ be the set of states on $\mathscr{A}$. In this paper, we first compute the norm derivative for elements $x$ and $y$ of $\mathscr{X}$ as follows \begin{align*} \rho_{_{+}}(x, y) = \max\Big\{\mbox{Re}\,\varphi(\langle x, y\rangle): \, \varphi \in \mathcal{S}(\mathscr{A}), \varphi(\langle x, x\rangle) = \x\^2\Big\}. \end{align*} We then apply it to characterize different concepts of orthogonality in $\mathscr{X}$. In particular, we present a simpler proof of the classical characterization of BirkhoffJames orthogonality in Hilbert $C^*$modules. Moreover, some generalized Daugavet equation in the $C^*$algebra $\mathbb{B}(\mathcal{H})$ of all bounded linear operators acting on a Hilbert space $\mathcal{H}$ is solved.
 [7] arXiv:2111.14920 [pdf, other]

Title: Linear functional estimation under multiplicative measurement errorsComments: 25 pagesSubjects: Statistics Theory (math.ST)
We study the nonparametric estimation of the value ${\theta}(f )$ of a linear functional evaluated at an unknown density function f with support on $R_+$ based on an i.i.d. sample with multiplicative measurement errors. The proposed estimation procedure combines the estimation of the Mellin transform of the density $f$ and a regularisation of the inverse of the Mellin transform by a spectral cutoff. In order to bound the mean squared error we distinguish several scenarios characterised through different decays of the upcoming Mellin transforms and the smoothnes of the linear functional. In fact, we identify scenarios, where a nontrivial choice of the upcoming tuning parameter is necessary and propose a datadriven choice based on a GoldenshlugerLepski method. Additionally, we show minimaxoptimality over MellinSobolev spaces of the estimator.
 [8] arXiv:2111.14922 [pdf, other]

Title: Rigidity, lattices and invariant measures beyond homogeneous dynamicsAuthors: David FisherComments: Contribution to Proceedings of the ICM 2022Subjects: Dynamical Systems (math.DS); Differential Geometry (math.DG); Group Theory (math.GR); Geometric Topology (math.GT)
This article discusses two recent works by the author, one with Brown and Hurtado on Zimmer's conjecture and one with Bader, Miller and Stover on totally geodesic submanifolds of real and complex hyperbolic manifolds. The main purpose of juxtaposing these two very disparate sets of results in one article is to emphasize a common aspect: that the study of invariant and partially invariant measures outside the homogeneous setting is important to questions about rigidity in geometry and dynamics. I will also discuss some open questions including some that seem particularly compelling in light of this juxtaposition.
 [9] arXiv:2111.14930 [pdf, ps, other]

Title: Orthogonality Hilbert Amodules and operators preserving multiAlinearityComments: 13 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
In this paper we present results concerning orthogonality in Hilbert $C^*$modules. Moreover, for a $C^*$algebra $\mathscr{A}$, we prove theorems concerning the multi$\mathscr{A}$linearity and its preservation by $\mathscr{A}$linear operators. New version of solution of the orthogonality equation on Hilbert $C^*$modules and mappings preserving orthogonality are also investigated.
 [10] arXiv:2111.14962 [pdf, other]

Title: The equivalence of lattice and Heegaard Floer homologyAuthors: Ian ZemkeComments: 23 pagesSubjects: Geometric Topology (math.GT)
We prove that if $G$ is a plumbing tree and $Y(G)$ is the corresponding plumbed 3manifold, then the lattice homology of $G$ coincides with the Heegaard Floer homology of $Y(G)$.
 [11] arXiv:2111.14965 [pdf, ps, other]

Title: Filtrations of moduli spaces of tropical weighted stable curvesAuthors: Stefano SerpenteComments: 31 pages with 9 figures. Any comment is welcome!Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We study how changing the weight datum $\mathcal{A}=(a_1,...,a_n)\in(\mathbb{Q}\cap(0,1])^n$ affects the topology of tropical moduli spaces $M_{g,\mathcal{A}}^{trop}$, $\overline{M}_{g,\mathcal{A}}^{trop}$ and $\Delta_{g,\mathcal{A}}$ and the homology of the latter one. We show that for fixed $g$ and $n$, there are particular filtrations of these topological spaces which we can use to compute the reduced rational homology of $\Delta_{g,\mathcal{A}}$ and the top weight cohomology of the moduli space $\mathcal{M}_{g,\mathcal{A}}$ of smooth $(g,\mathcal{A})$stable algebraic curves.
 [12] arXiv:2111.14967 [pdf, ps, other]

Title: Rational points on symmetric squares of constant algebraic curves over function fieldsComments: 10 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We consider smooth projective curves C/$\mathbb{F}$ over a finite field and their symmetric squares $C^{(2)}$. For a global function field $K/\mathbb{F}$, we study the $K$rational points of $C^{(2)}$. We describe the adelic points of $C^{(2)}$ surviving Frobenius descent and how the $K$rational points fit there. Our methods also lead to an explicit bound on the number of $K$rational points of $C^{(2)}$ satisfying an additional condition. Some of our results apply to arbitrary constant subvarieties of abelian varieties, however we produce examples which show that not all of our stronger conclusions extend.
 [13] arXiv:2111.14969 [pdf, other]

Title: A Fast Nonparametric Approach for Causal Structure Learning in PolytreesComments: 29 pagesSubjects: Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
We study the problem of causal structure learning with no assumptions on the functional relationships and noise. We develop DAGFOCI, a computationally fast algorithm for this setting that is based on the FOCI variable selection algorithm in \cite{azadkia2019simple}. DAGFOCI requires no tuning parameter and outputs the parents and the Markov boundary of a response variable of interest. We provide highdimensional guarantees of our procedure when the underlying graph is a polytree. Furthermore, we demonstrate the applicability of DAGFOCI on real data from computational biology \cite{sachs2005causal} and illustrate the robustness of our methods to violations of assumptions.
 [14] arXiv:2111.14981 [pdf, ps, other]

Title: Absolute Bounds for Ergodic Deviations of Linear Form Sequences Relative to Intervals in $\mathbb{T}^1$Authors: Hao WuSubjects: Number Theory (math.NT)
Given a positive increasing function $\varphi$, we show that for a full measure set of vectors $\alpha\in \mathbb{R}^d$, the maximal ergodic discrepancy of the $d$linear form sequence $\left\{\sum_{1\le i\le d} k_i\alpha_i \mod 1\right\}_{1\le k_i\le N\atop 1\le i\le d}$ relative to intervals in $[0,1)$ has an absolute upper bound of $C(\alpha,\varphi)\cdot (\log N)^d \varphi^{\max\{d,3\}}(\log \log N)$ if $\sum_{n=1}^{\infty} \frac{1}{\varphi(n)}$ converges.
 [15] arXiv:2111.14982 [pdf, ps, other]

Title: An inverse problem for the fractional porous medium equationAuthors: Li LiSubjects: Analysis of PDEs (math.AP)
We consider a timeindependent variable coefficients fractional porous medium equation and formulate an associated inverse problem. We determine both the conductivity and the absorption coefficient from exterior partial measurements of the DirichlettoNeumann map. Our approach relies on a timeintegral transform technique as well as the unique continuation property of the fractional operator.
 [16] arXiv:2111.14986 [pdf, other]

Title: Feedback vertex sets in (directed) graphs of bounded degeneracy or treewidthComments: 19 pages, 7 figures, 2 tablesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We study the minimum size $f$ of a feedback vertex set in directed and undirected $n$vertex graphs of given degeneracy or treewidth. In the undirected setting the bound $\frac{k1}{k+1}n$ is known to be tight for graphs with bounded treewidth $k$ or bounded odd degeneracy $k$. We show that neither of the easy upper and lower bounds $\frac{k1}{k+1}n$ and $\frac{k}{k+2}n$ can be exact for the case of even degeneracy. More precisely, for even degeneracy $k$ we prove that $\frac{3k2}{3k+4}n\leq f < \frac{k}{k+2}n$.
For directed graphs of bounded degeneracy $k$, we prove that $f\leq\frac{k1}{k+1}n$ and that this inequality is strict when $k$ is odd. For directed graphs of bounded treewidth $k\geq 2$, we show that $\frac{k2\lfloor\log_2(k)\rfloor}{k+1}n\leq f \leq \frac{k}{k+3}n$. Further, we provide several constructions of low degeneracy or treewidth and large $f$.  [17] arXiv:2111.14995 [pdf, ps, other]

Title: Nonplanar minimal spheres in ellipsoids of revolutionComments: LaTeX2e, 32 pages, 4 figuresSubjects: Differential Geometry (math.DG)
We use global bifurcation techniques to establish the existence of arbitrarily many geometrically distinct nonplanar embedded smooth minimal 2spheres in sufficiently elongated 3dimensional ellipsoids of revolution. More precisely, we quantify the growth rate of the number of such minimal spheres, and describe their asymptotic behavior as the ellipsoids converge to a cylinder.
 [18] arXiv:2111.14997 [pdf, ps, other]

Title: Affine subspace of matrices with constant rankAuthors: Elena RubeiSubjects: Rings and Algebras (math.RA)
For every naturla numbers $m,n $ and every field $K$, let $M(m \times n, K)$ be the vector space of the $(m \times n)$matrices over $K$ and let $S(n,K)$ be the vector space of the symmetric $(n \times n)$matrices over $K$. We say that an affine subspace $S$ of $M(m \times n, K)$ or of $S(n,K)$ has constant rank $r$ if every matrix of $S$ has rank $r$. Define $${\cal A}^K(m \times n; r)= \{ S \; \; S \; \mbox{\rm affine subsapce of $M(m \times n, K)$ of constant rank } r\}$$ $${\cal A}_{sym}^K(n;r)= \{ S \; \; S \; \mbox{\rm affine subsapce of $S(n,K)$ of constant rank } r\}$$ $$a^K(m \times n;r) = \max \{\dim S \mid S \in {\cal A}^K(m \times n; r ) \}.$$ $$a_{sym}^K(n;r) = \max \{\dim S \mid S \in {\cal A}_{sym}^K(n,r) \}.$$
In this paper we prove the following two formulas for $r \leq m \leq n$: $a_{sym}^{\R}(n,r) = r(nr)+ \left[\frac{r^2}{4} \right],$ $a^{\R}(m \times n,r) = r(nr)+ \frac{r(r1)}{2} .$  [19] arXiv:2111.15001 [pdf, other]

Title: Impact of dissipation ratio on vanishing viscosity solutions of the Riemann problem for chemical flooding modelSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
The solutions for a Riemann problem arising in chemical flooding models are studied using vanishing viscosity as an admissibility criterion. We show that when the flow function depends nonmonotonically on the concentration of chemicals, nonclassical undercompressive shocks appear. The monotonic dependence of the shock velocity on the ratio of dissipative coefficients is proven. For that purpose we provide the classification of the phase portraits for the travelling wave dynamical systems and analyze the saddlesaddle connections.
 [20] arXiv:2111.15003 [pdf, ps, other]

Title: Sequences in OverpartitionsComments: 10 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
This paper is devoted to the study of sequences in overpartitions and their relation to 2color partitions. An extensive study of a general class of double series is required to achieve these ends.
 [21] arXiv:2111.15008 [pdf, other]

Title: RealTime CRLB based Antenna Selection in Planar Antenna ArraysSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Estimation of User Terminals' (UTs') Angle of Arrival (AoA) plays a significant role in the next generation of wireless systems. Due to high demands, energy efficiency concerns, and scarcity of available resources, it is pivotal how these resources are used. Installed antennas and their corresponding hardware at the Base Station (BS) are of these resources. In this paper, we address the problem of antenna selection to minimize CramerRao Lower Bound (CRLB) of a planar antenna array when fewer antennas than total available antennas have to be used for a UT. First, the optimal antenna selection strategy to minimize the expected CRLB in a planar antenna array is proposed. Then, using this strategy as a preliminary step, we present a twostep antenna selection method whose goal is to minimize the instantaneous CRLB. Minimizing instantaneous CRLB through antenna selection is a combinatorial optimization problem for which we utilize a greedy algorithm. The optimal start point of the greedy algorithm is presented alongside some methods to reduce the computational complexity of the selection procedure. Numerical results confirm the accuracy of the proposed solutions and highlight the benefits of using antenna selection in the localization phase in a wireless system.
 [22] arXiv:2111.15011 [pdf, ps, other]

Title: A note on unitary equivalence of operators acting on reproducing kernel Hilbert spacesComments: 18pagesSubjects: Functional Analysis (math.FA)
A wellknown theorem due to R. E. Curto and N. Salinas gives a necessary and sufficient condition for the unitary equivalence of commuting tuples of bounded linear operators acting on reproducing kernel Hilbert spaces.Inspired by this theorem, we obtain a different but equivalent criterion for the unitary equivalence of operators acting on reproducing kernel Hilbert spaces.As an application, we describe the structure of intertwining operator and prove that the decomposition of CowenDouglas operators is unique up to unitary equivalence.
 [23] arXiv:2111.15034 [pdf, ps, other]

Title: The operator $\sqrt{1}\widehat{c}(V)(d+δ)$ and the KastlerKalauWalze type theoremsSubjects: Differential Geometry (math.DG)
In this paper, we obtain two Lichnerowicz type formulas for the operators $\sqrt{1}\widehat{c}(V)(d+\delta)$ and $\sqrt{1}(d+\delta)\widehat{c}(V)$. And we give the proof of KastlerKalauWalze type theorems for the operators $\sqrt{1}\widehat{c}(V)(d+\delta)$ and $\sqrt{1}(d+\delta)\widehat{c}(V)$ on 3,4dimensional oriented compact manifolds with (resp.without) boundary.
 [24] arXiv:2111.15038 [pdf, ps, other]

Title: $\mathbb{C}$Fuchsian subgroups of some nonarithmetic latticesAuthors: LiJie SunComments: 18 pages, 4 figuresSubjects: Geometric Topology (math.GT)
We give a general procedure to analyze the structure for certain $\mathbb{C}$Fuchsian subgroups of some nonarithmetic lattices. We will also show that their fundamental domains lie in a complex geodesic, a set homeomorphic to the unit disk.
 [25] arXiv:2111.15042 [pdf, other]

Title: Sequential Transmission Over Binary Asymmetric Channels With FeedbackComments: 18 pages; submitted to IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
In this paper, we consider the problem of variablelength coding over the class of memoryless binary asymmetric channels (BACs) with noiseless feedback, including the binary symmetric channel (BSC) as a special case. In 2012, Naghshvar et al. introduced an encoding scheme, which we refer to as the smallenoughdifference (SED) encoder, which asymptotically achieves both capacity and Burnashev's optimal error exponent for symmetric binaryinput channels. Building on the work of Naghshvar et al., this paper extends the SED encoding scheme to the class of BACs and develops a nonasymptotic upper bound on the average blocklength that is shown to achieve both capacity and the optimal error exponent. For the specific case of the BSC, we develop an additional nonasymptotic bound using a twophase analysis that leverages both a submartingale synthesis and a Markov chain time of first passage analysis. For the BSC with capacity $1/2$, both new achievability bounds exceed the achievability bound of Polyanskiy et al. for a system limited to stopfeedback codes.
 [26] arXiv:2111.15046 [pdf, other]

Title: A Secure Key Sharing Algorithm Exploiting Phase Reciprocity in Wireless ChannelsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This article presents a secure key exchange algorithm that exploits reciprocity in wireless channels to share a secret key between two nodes $A$ and $B$. Reciprocity implies that the channel phases in the links $A\rightarrow B$ and $B\rightarrow A$ are the same. A number of such reciprocal phase values are measured at nodes $A$ and $B$, called shared phase values hereafter. Each shared phase value is used to mask points of a Phase Shift Keying (PSK) constellation. Masking is achieved by rotating each PSK constellation with a shared phase value. Rotation of constellation is equivalent to adding phases modulo$2\pi$, and as the channel phase is uniformly distributed in $[0,2\pi)$, the result of summation conveys zero information about summands. To enlarge the key size over a static or slow fading channel, the Radio Frequency (RF) propagation path is perturbed to create several independent realizations of multipath fading, each used to share a new phase value. To eavesdrop a phase value shared in this manner, the Eavesdropper (Eve) will always face an underdetermined system of linear equations which will not reveal any useful information about its actual solution value. This property is used to establish a secure key between two legitimate users.
 [27] arXiv:2111.15049 [pdf, ps, other]

Title: The Real Schwarz Lemma: The SequelComments: 6 pages, 5 figuresSubjects: Complex Variables (math.CV)
A decade ago, when teaching complex analysis, the third named author posed the question on whether or not there is an analogue to the Schwarz lemma for real analytic functions. This led to the note [MT], indicating that it is possible to have a real analytic automorphism $f$ of $(1,1)$ with $f'(0)$ arbitrarily large. In this note we provide other families with this property, and moreover show that we can always find such a function so that $f'(0)$ equals any desired real number. We end with some questions on related problems.
 [28] arXiv:2111.15054 [pdf, ps, other]

Title: Artin $L$functions of diagonal hypersurfaces and generalized hypergeometric functions over finite fieldsAuthors: Akio NakagawaComments: 22pagesSubjects: Number Theory (math.NT)
We compute the Artin $L$function of a diagonal hypersurface D_{\lambda} over a finite field associated to a character of a finite group acting on D_{\lambda} , and under some condition, express it in terms of hypergeometric functions and Jacobi sums over the finite field. As an application, we consider the Dwork hypersurfaces and obtain relations among certain hypergeometric functions over different finite fields.
 [29] arXiv:2111.15057 [pdf, other]

Title: Multiperiod facility location and capacity planning under $\infty$Wasserstein joint chance constraints in humanitarian logisticsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
The key of the postdisaster humanitarian logistics (PDHL) is to build a good facility location and capacity planning (FLCP) model for delivering relief supplies to affected areas in time. To fully exploit the historical PD data, this paper adopts the datadriven distributionally robust (DR) approach and proposes a novel multiperiod FLCP model under the $\infty$Wasserstein joint chance constraints (MFLCPW). Specifically, we sequentially decide locations from a candidate set to build facilities with supply capacities, which are expanded if more economical, and use a finite number of historical demand samples in chance constraints to ensure a high probability of ontime delivery. To solve the MFLCPW model, we equivalently reformulate it as a mixed integer secondorder cone program and then solve it by designing an effective outer approximation algorithm with two tailored valid cuts. Finally, a case study under hurricane threats shows that MFLCPW outperforms its counterparts in the terms of the cost and service quality, and that our algorithm converges significantly faster than the commercial solver CPLEX 12.8 with a better optimality gap.
 [30] arXiv:2111.15058 [pdf, other]

Title: Computing Generalized Rank invariant for 2Parameter Persistence Modules via Zigzag Persistence and its ApplicationsComments: 22 pages, 5 figuresSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
The notion of generalized rank invariant in the context of multiparameter persistence has become an important ingredient for defining interesting homological structures such as generalized persistence diagrams. Naturally, computing these rank invariants efficiently is a prelude to computing any of these derived structures efficiently. We show that the generalized rank invariant over a finite interval $I$ of a $\mathbb{Z}^2$indexed persistence module $M$ is equal to the generalized rank invariant of the zigzag module that is induced on the boundary of $I$. Hence, we can compute the generalized rank over $I$ by computing the barcode of the zigzag module obtained by restricting the bifiltration inducing $M$ to the boundary of $I$. If $I$ has $t$ points, this computation takes $O(t^\omega)$ time where $\omega\in[2,2.373)$ is the exponent for matrix multiplication. Among others, we apply this result to obtain an improved algorithm for the following problem. Given a bifiltration inducing a module $M$, determine whether $M$ is interval decomposable and, if so, compute all intervals supporting its summands. Our algorithm runs in time $O(t^{2\omega})$ vastly improving upon existing algorithms for the problem.
 [31] arXiv:2111.15059 [pdf, ps, other]

Title: Spectrum of the Lamé operator along $\mathrm{Re}τ={1}/{2}:$ The genus $3$ caseAuthors: Erjuan FuComments: 25 pagesSubjects: Classical Analysis and ODEs (math.CA); Spectral Theory (math.SP)
In this paper, we study the spectrum $\sigma(L)$ of the Lam\'{e} operator \[L=\frac{d^2}{dx^2}12\wp(x+z_0;\tau)\quad \text{in}\;\;L^2(\mathbb{R}, \mathbb{C}),\] where $\wp(z;\tau)$ is the Weierstrass elliptic function with periods $1$ and $\tau$, and $z_0\in\mathbb{C}$ is chosen such that $L$ has no singularities on $\mathbb{R}$.
We prove that a point $\lambda\in \sigma(L)$ is an intersection point of different spectral arcs but not a zero of the spectral polynomial if and only if $\lambda$ is a zero of the following cubic polynomial: % and we specifically computed this polynomial. \begin{equation*}
\frac{4}{15} \l^3+\frac{8}{5}\eta_1 \l^23g_2 \l+9g_36\eta_1 g_2=0. \end{equation*} We also study the deformation of the spectrum as $\tau=\frac12+ib$ with $b>0$ varying. We discover $7$ different types of graphs for the spectrum as $b$ varies around the double zeros of the spectral polynomial.  [32] arXiv:2111.15061 [pdf, ps, other]

Title: Sharp interface limit of an anisotropic GinzburgLandau equationAuthors: Yuning LiuComments: 2 figuresSubjects: Analysis of PDEs (math.AP)
In this work, we study the codimensional $1$ interface limit of an anisotropic GinzburgLandau equation under parabolic scalings. This is a semilinear parabolic system of a planar vector field with a small parameter $\varepsilon>0$ corresponding to the transition layer width. For wellprepared initial datum, as $\varepsilon$ tends to $0$, we show the solution gradient will concentrate on a closed simple curve evolving by curveshortening flow. Moreover, the limiting solution satisfies an anchoring boundary condition when restricted on the curve. These results hold as long as the limiting curvature flow remains smooth. The main ingredient of the proof is an estimate of the level set of the quasidistance function corresponding to the solution.
 [33] arXiv:2111.15062 [pdf, ps, other]

Title: A continuous version of multiple zeta functionsAuthors: Jiangtao LiComments: 14 pagesSubjects: Number Theory (math.NT)
In this paper we define a continuous version of multiple zeta functions. We show that they can be analytically continued to a meromorphic function on $\mathbb{C}^r$ with only simple poles at some special hyperplanes. We show that the evaluations of these functions at positive integers (continuous multiple zeta values) satisfy the shuffle product. We give a detailed analysis about the depth structure of continuous multiple zeta values. Lastly, we show that there are also sum formulas for continuous multiple zeta values.
 [34] arXiv:2111.15063 [pdf, ps, other]

Title: Online Robust Control of Linear Dynamical Systems with PredictionSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We address the online robust control problem of a linear dynamical system with adversarial cost functions and adversarial disturbances. The goal is to find an online control policy that minimizes the disturbance gain, defined as the ratio of the cumulative cost and the cumulative energy in the disturbances. This problem is similar to the wellstudied $\mathcal{H}_{\infty}$ problem in the robust control literature. However, unlike the standard $\mathcal{H}_{\infty}$ problem, where the cost functions are quadratic and fully known, we consider a more challenging online control setting where the cost functions are general and unknown a priori. We first propose an online robust control algorithm for the setting where the algorithm has access to an $N$length preview of the future cost functions and future disturbances. We show that, under standard system assumptions, with $N$ greater than a threshold, the proposed algorithm can achieve a disturbance gain $(2+\rho(N)) \overline{\gamma}^2$, where $\overline{\gamma}^2$ is the best (minimum) possible disturbance gain for an oracle policy with full knowledge of the cost functions and disturbances, with $\rho(N) = O(1/N)$. We then propose an online robust control algorithm for a more challenging setting where only the preview of the cost functions is available. We show that under similar assumptions, with $N$ greater than the same threshold, the proposed algorithm achieves a disturbance gain of $6\overline{\gamma}^2$ with respect to the maximum cumulative energy in the disturbances.
 [35] arXiv:2111.15065 [pdf, other]

Title: An Analysis of the Numerical Stability of the Immersed Boundary MethodComments: 33 pages, 13 figuresSubjects: Numerical Analysis (math.NA)
We present a numerical stability analysis of the immersed boundary(IB) method for a special case which is constructed so that Fourier analysis is applicable. We examine the stability of the immersed boundary method with the discrete Fourier transforms defined differently on the fluid grid and the boundary grid. This approach gives accurate theoretical results about the stability boundary since it takes the effects of the spreading kernel of the immersed boundary method on the numerical stability into account. In this paper, the spreading kernel is the standard 4point IB delta function. A threedimensional incompressible viscous flow and a noslip planar boundary are considered. The case of a planar elastic membrane is also analyzed using the same analysis framework and it serves as an example of many possible generalizations of our theory. We present some numerical results and show that the observed stability behaviors are consistent with what are predicted by our theory.
 [36] arXiv:2111.15067 [pdf, ps, other]

Title: CaffarelliKohnNirenberg inequalities for curlfree vector fields and second order derivativesSubjects: Analysis of PDEs (math.AP)
The present work has as a first goal to extend the previous results in \cite{CFL20} to weighted uncertainty principles with nontrivial radially symmetric weights applied to curlfree vector fields. Part of these new inequalities generalize the family of CaffarelliKohnNirenberg (CKN) inequalities studied by Catrina and Costa in \cite{CC} from scalar fields to curlfree vector fields. We will apply a new representation of curlfree vector fields developed by Hamamoto in \cite{HT21}. The newly obtained results are also sharp and minimizers are completely described.
Secondly, we prove new sharp second order interpolation functional inequalities for scalar fields with radial weights generalizing the previous results in \cite{CFL20}. We apply new factorization methods being inspired by our recent work \cite{CFL21}. The main novelty in this case is that we are able to find a new independent family of minimizers based on the solutions of Kummer's differential equations.
We point out that the two types of weighted inequalities under consideration (first order inequalities for curlfree vector fields vs. second order inequalities for scalar fields) represent independent families of inequalities unless the weights are trivial.  [37] arXiv:2111.15074 [pdf, ps, other]

Title: Periodicity of Grover walks on bipartite regular graphs with at most five distinct eigenvaluesAuthors: Sho KubotaComments: 19 pages, 4 tablesSubjects: Combinatorics (math.CO); Quantum Physics (quantph)
We determine connected bipartite regular graphs with four distinct adjacency eigenvalues that induce periodic Grover walks, and show that it is only $C_6$. We also show that there are only three kinds of the second largest eigenvalues of bipartite regular periodic graphs with five distinct eigenvalues. Using walkregularity, we enumerate feasible spectra for such graphs.
 [38] arXiv:2111.15076 [pdf, ps, other]

Title: Conformal Perturbations of Twisted Dirac Operators and Noncommutative residueComments: arXiv admin note: substantial text overlap with arXiv:1907.08622, arXiv:1404.2339, arXiv:2108.03149Subjects: Differential Geometry (math.DG)
In this paper, we obtain two kinds of KastlerKalauWalze type theorems for conformal perturbations of twisted Dirac operators and conformal perturbations of signature operators by a vector bundle with a nonunitary connection on sixdimensional manifolds with (respectively without)boundary.
 [39] arXiv:2111.15081 [pdf, ps, other]

Title: Topological categories related to Fredholm operators: II. The analytic indexAuthors: Nikolai V. IvanovComments: 49 pagesSubjects: Differential Geometry (math.DG); Algebraic Topology (math.AT); KTheory and Homology (math.KT)
Naively, the analytic index of a family of selfadjoint Fredholm operators ought to be (an equivalence class of) the family of the kernels of these operators. The present paper is devoted to a rigorous version of this idea based on ideas of Segal as developed by the author in arXiv:2111.14313 [math.KT]. The resulting new definition of the analytic index makes sense under much weaker continuity assumptions than the AtiyahSinger one and can be easily adjusted to families of operators in fibers of a Hilbert bundle. We prove the correctness of the new definition and show that it agrees with the AtiyahSinger one when the latter applies. As an illustration, these results are used to clarify some subtle aspects of the notion of spectral sections introduced by Melrose and Piazza. The necessary definitions and results from arXiv:2111.14313 [math.KT] are repeated or reviewed in order to make this paper independent to the extent possible.
 [40] arXiv:2111.15088 [pdf, ps, other]

Title: A novel multigrid method for elliptic distributed control problemsAuthors: Yunhui HeComments: 14 pages, 6 tablesSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
Large linear systems of saddlepoint type have arisen in a wide variety of applications throughout computational science and engineering. The discretizations of distributed control problems have a saddlepoint structure. The numerical solution of saddlepoint problems has attracted considerable interest in recent years. In this work, we propose a novel BraessSarazin multigrid relaxation scheme for finite element discretizations of the distributed control problems, where we use the stiffness matrix obtained from the fivepoint finite difference method for the Laplacian to approximate the inverse of the mass matrix arising in the saddlepoint system. We apply local Fourier analysis to examine the smoothing properties of the BraessSarazin multigrid relaxation. From our analysis, the optimal smoothing factor for BraessSarazin relaxation is derived. Numerical experiments validate our theoretical results. The relaxation scheme considered here shows its high efficiency and robustness with respect to the regularization parameter and grid size.
 [41] arXiv:2111.15092 [pdf, other]

Title: Supercritical Spatial SIR Epidemics: Spreading Speed and Herd ImmunitySubjects: Probability (math.PR)
We study supercritical spatial SIR epidemics on $\mathbb{Z}^2\times \{1,2,\ldots, N\}$, where each site in $\mathbb{Z}^2$ represents a village and $N$ stands for the village size. We establish several key asymptotic results as $N\to\infty$. In particular, we derive the probability that the epidemic will last forever if the epidemic is started by one infected individual. Moreover, conditional on that the epidemic lasts forever, we show that the epidemic spreads out linearly in all directions and derive an explicit formula for the spreading speed. Furthermore, we prove that the ultimate proportion of infection converges to a number that is constant over space and find its explicit value. An important message is that if there is no vaccination, then the ultimate proportion of population who will be infected can be \emph{much higher} than the vaccination proportion that is needed in order to prevent sustained spread of the infection.
 [42] arXiv:2111.15096 [pdf, other]

Title: Higher homotopy normalities in topological groupsAuthors: Mitsunobu TsutayaComments: 22 pages, 4 figuresSubjects: Algebraic Topology (math.AT)
The purpose of this paper is to introduce $N_k(\ell)$maps ($1\le k,\ell\le\infty$), which describe higher homotopy normalities, and to study their basic properties and examples. $N_k(\ell)$map is defined with higher homotopical conditions. It is shown that a homomorphism is an $N_k(\ell)$map if and only if there exists fiberwise maps between fiberwise projective spaces with some properties. Also, the homotopy quotient of an $N_k(k)$map is shown to be an $H$space if its LS category is not greater than $k$. As an application, we investigate when the inclusions $\operatorname{SU}(m)\to\operatorname{SU}(n)$ and $\operatorname{SO}(2m+1)\to\operatorname{SO}(2n+1)$ are $p$locally $N_k(\ell)$maps.
 [43] arXiv:2111.15105 [pdf, other]

Title: Proper elements of Coxeter GroupsComments: 18 pagesSubjects: Combinatorics (math.CO)
We extend the notion of proper elements to all Coxeter groups. For all infinite families of Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. In the exceptional families we enumerate the proper elements.
 [44] arXiv:2111.15110 [pdf, ps, other]

Title: Reconfigurable Intelligent Surface Optimization for Uplink Sparse Code Multiple AccessComments: 6 pages, 5 figures, published in IEEE Communications LettersSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The reconfigurable intelligent surface (RIS)assisted sparse code multiple access (RISSCMA) is an attractive scheme for future wireless networks. In this letter, for the first time, the RIS phase shifts of the uplink RISSCMA system are optimized based on the alternate optimization (AO) technique to improve the received signaltonoise ratio (SNR) for a discrete set of RIS phase shifts. The system model of the uplink RISSCMA is formulated to utilize the AO algorithm. For further reduction in the computational complexity, a lowcomplexity AO (LCAO) algorithm is proposed. The complexity analysis of the two proposed algorithms is performed. Monte Carlo simulations and complexity analysis show that the proposed algorithms significantly improve the received SNR compared to the nonoptimized RISSCMA scenario. The LCAO provides the same received SNR as the AO algorithm, with a significant reduction in complexity. Moreover, the deployment of RISs for the uplink RISSCMA is investigated.
 [45] arXiv:2111.15120 [pdf, ps, other]

Title: Sequential Stochastic Control (Single or MultiAgent) Problems Nearly Admit Change of Measures with Independent MeasurementsComments: 16 pages, 1 figureSubjects: Optimization and Control (math.OC)
Change of measures has been an effective method in stochastic control and analysis; in continuoustime control this follows Girsanov's theorem applied to both fully observed and partially observed models, in decentralized stochastic control this is known as Witsenhausen's static reduction, and in discretetime classical stochastic control Borkar has considered this method for partially observed Markov Decision processes (POMDPs) generalizing Fleming and Pardoux's approach in continuoustime. This method allows for equivalent optimal stochastic control or filtering in a new probability space where the measurements form an independent exogenous process in both discretetime and continuoustime and the RadonNikodym derivative (between the true measure and the reference measure formed via the independent measurement process) is pushed to the cost or dynamics. However, for this to be applicable, an absolute continuity condition is necessary. This raises the following question: can we perturb any discretetime sequential stochastic control problem by adding some arbitrarily small additive (e.g. Gaussian or otherwise) noise to the measurements to make the system measurements absolutely continuous, so that a changeofmeasure (or static reduction) can be applicable with arbitrarily small error in the optimal cost? That is, are all sequential stochastic (singleagent or decentralized multiagent) problems $\epsilon$away from being static reducible as far as optimal cost is concerned, for any $\epsilon > 0$? We show that this is possible when the cost function is bounded and continuous in controllers' actions and the action spaces are convex.
 [46] arXiv:2111.15123 [pdf, ps, other]

Title: Outage and FiniteSNR DMT Analysis for IRSaided MIMO Systems: How Large IRSs Need to Be?Subjects: Information Theory (cs.IT)
Intelligent reflecting surfaces (IRSs) are promising enablers for highcapacity wireless communication systems by constructing favorable channels between the transmitter and receiver. However, general, accurate, and tractable outage analysis for IRSaided multipleinputmultipleoutput (MIMO) systems is not available in the literature. In this paper, we first characterize the mutual information (MI) of IRSaided MIMO systems by capitalizing on large random matrix theory (RMT). Based on this result, a closedform approximation for the outage probability is derived and a gradientbased algorithm is proposed to minimize the outage probability with statistical channel state information (CSI). We also investigate the diversitymultiplexing tradeoff (DMT) with the finite signaltonoise ratio (SNR). Based on these theoretical results, we further study the impact of the IRS size on system performance. In the high SNR regime, we provide closedform expressions for the ergodic mutual information (EMI) and outage probability as a function of the IRS size, which analytically reveal that the benefit of increasing the IRS size saturates quickly. Simulation results validate the accuracy of the theoretical analysis and confirm the increasing cost for deploying larger IRSs to improve system performance. For example, for an IRSaided MIMO system with 20 antennas at both the transmitter and receiver, we need to double the size of the IRS to increase the throughout from 90% to 95% of its maximum value.
 [47] arXiv:2111.15125 [pdf, ps, other]

Title: On the duality of Ftheory and the CHL string in eight dimensionsComments: 35 pages, 5 figuresSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth)
We show that the duality between Ftheory with discrete flux and the CHL string in eight dimensions defines algebraic correspondences between K3 surfaces polarized by the rankten lattices $H \oplus N$ and $H\oplus E_8(2)$. In the special case when the Ftheory admits an additional antisymplectic involution or, equivalently, the CHL string admits a symplectic one, both moduli spaces coincide. In this case, we derive an explicit parametrization for the Ftheory compactifications dual to the CHL string, using an auxiliary genusone curve, based on a construction given by Andr\'e Weil.
 [48] arXiv:2111.15131 [pdf, ps, other]

Title: Localization in quantum walks with periodically arranged coin matricesAuthors: Chusei KiumiComments: 11 pages, 6 figuresSubjects: Mathematical Physics (mathph); Quantum Physics (quantph)
There is a property called localization, which is essential for applications of quantum walks. From a mathematical point of view, the occurrence of localization is known to be equivalent to the existence of eigenvalues of the time evolution operators, which are defined by coin matrices. A previous study proposed an approach to the eigenvalue problem for spaceinhomogeneous models using transfer matrices. However, the approach was restricted to models with homogeneous time evolution in positions sufficiently far to the left and right, respectively. This study shows that the method can be applied to extended models with periodically arranged coin matrices and perform eigenvalue analysis for models whose periodicity is 2.
 [49] arXiv:2111.15136 [pdf, ps, other]

Title: Orbital stability of twocomponent peakonsComments: SubmittedSubjects: Analysis of PDEs (math.AP); Exactly Solvable and Integrable Systems (nlin.SI)
We prove that the twocomponent peakon solutions are orbitally stable in the energy space. The system concerned here is a twocomponent Novikov system, which is an integrable multicomponent extension of the integrable Novikov equation. We improve the method for the scalar peakons to the twocomponent case with genuine nonlinear interactions by establishing optimal inequalities for the conserved quantities involving the coupled structures. Moreover, we also establish the orbital stability for the trainprofiles of these twocomponent peakons by using the refined analysis based on monotonicity of the local energy and an induction method.
 [50] arXiv:2111.15151 [pdf, ps, other]

Title: On Some Summation FormulasComments: 6 pagesSubjects: Number Theory (math.NT)
In this note, we derive a finite summation formula and an infinite summation formula involving Harmonic numbers of order up to some order by means of several definite integrals
 [51] arXiv:2111.15161 [pdf, other]

Title: Towards combinatorial invariance for KazhdanLusztig polynomialsComments: 47 pages, comments welcomeSubjects: Representation Theory (math.RT)
KazhdanLusztig polynomials are important and mysterious objects in representation theory. Here we present a new formula for their computation for symmetric groups based on the Bruhat graph. Our approach suggests a solution to the combinatorial invariance conjecture for symmetric groups, a wellknown conjecture formulated by Lusztig and Dyer in the 1980s.
 [52] arXiv:2111.15163 [pdf, ps, other]

Title: Stochastic Wasserstein Hamiltonian FlowsComments: 34 pagesSubjects: Probability (math.PR); Dynamical Systems (math.DS)
In this paper, we study the stochastic Hamiltonian flow in Wasserstein manifold, the probability density space equipped with $L^2$Wasserstein metric tensor, via the WongZakai approximation. We begin our investigation by showing that the stochastic EulerLagrange equation, regardless it is deduced from either variational principle or particle dynamics, can be interpreted as the stochastic kinetic Hamiltonian flows in Wasserstein manifold. We further propose a novel variational formulation to derive more general stochastic Wassersetin Hamiltonian flows, and demonstrate that this new formulation is applicable to various systems including the stochastic Schr\"odinger equation, Schr\"odinger equation with random dispersion, and Schr\"odinger bridge problem with common noise.
 [53] arXiv:2111.15165 [pdf, ps, other]

Title: Stably finite extensions of ranktwo graph C*algebrasComments: 35 pages. Figures prepared using TikZcdSubjects: Operator Algebras (math.OA)
We study stable finiteness of extensions of 2graph C*algebras determined by saturated hereditary sets of vertices. We use two iterations of the PimsnerVoiculescu sequence to calculate the map in Ktheory induced by the inclusion of a hereditary subgraph into the larger 2graph it lives in. We then apply a theorem of Spielberg about stable finiteness of extensions to provide a sufficient condition for the C*algebra of the larger 2graph to be stably finite. We illustrate our results with examples.
 [54] arXiv:2111.15172 [pdf, other]

Title: Asymptotically Optimal Sampling Policy for Selecting Topm AlternativesSubjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
We consider selecting the top$m$ alternatives from a finite number of alternatives via Monte Carlo simulation. Under a Bayesian framework, we formulate the sampling decision as a stochastic dynamic programming problem, and develop a sequential sampling policy that maximizes a value function approximation onestep look ahead. To show the asymptotic optimality of the proposed procedure, the asymptotically optimal sampling ratios which optimize large deviations rate of the probability of false selection for selecting top$m$ alternatives has been rigorously defined. The proposed sampling policy is not only proved to be consistent but also achieves the asymptotically optimal sampling ratios. Numerical experiments demonstrate superiority of the proposed allocation procedure over existing ones.
 [55] arXiv:2111.15180 [pdf, ps, other]

Title: Eigenvalue inequalities for positive block matrices with the inradius of the numerical rangeComments: To appear in International J. MathSubjects: Functional Analysis (math.FA)
We prove some eigenvalue inequalities for positive semidefinite matrices partitioned into four blocks. The inradius of the numerical range of the offdiagonal block contributes to these estimates. Some related norm inequalities are given and a conjecture is proposed.
 [56] arXiv:2111.15189 [pdf, ps, other]

Title: Strain Tensors and Matching Property on Surfaces with the Gauss curvature changing signSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We prove the regularity of solutions to the strain tensor equation on a region $S$ with the Gauss curvature changing sign. Furthermore, we obtain the density property that smooth infinitesimal isometries are dense in the $W^{2,2}(S,\mathbb{R}^3)$ infinitesimal isometries. Finally, the matching property is established. Those results are important tools in obtaining recovery sequences ($\Gamma$lim sup inequality) for dimensionallyreduced shell theories in elasticity.
 [57] arXiv:2111.15198 [pdf, ps, other]

Title: Finite groups isospectral to simple groupsSubjects: Group Theory (math.GR)
The spectrum of a finite group is the set of element orders of this group. The main goal of this paper is to survey results concerning recognition of finite simple groups by spectrum, in particular, to list all finite simple groups for which the recognition problem is solved.
 [58] arXiv:2111.15201 [pdf, ps, other]

Title: Upper bounds for virtual dimensions of SeibergWitten moduli spacesComments: 12 pagesSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Differential Geometry (math.DG)
Given a closed fourmanifold with $b_1=0$ and a prime number $p$, we prove that for any mod $p$ basic class, the virtual dimension of the SeibergWitten moduli space is bounded above by $2p4$ under a mild condition on $b_2^+$. As an application, we obtain adjunction inequalities for embedded surfaces with negative selfintersection number.
 [59] arXiv:2111.15202 [pdf, other]

Title: Moduli stack of oriented formal groups and the chromatic filtrationAuthors: Rok GregoricComments: 37 pagesSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG)
We define a filtration by open substacks on the nonconnective spectral moduli stack of formal oriented groups, which simultaneously encodes and relates the chromatic filtration of spectra and the height stratification of the classical moduli stack of formal groups. Using this open filtration, we express various classical constructions in chromatic homotopy theory, such as chromatic localization, the monochromatic layer, and $K(n)$localization, in terms of restriction and completion of sheaves in nonconnective spectral algebraic geometry.
 [60] arXiv:2111.15206 [pdf, other]

Title: Amenability of quadratic automaton groupsComments: 20 pages, 3 figuresSubjects: Group Theory (math.GR); Probability (math.PR)
We give lower bounds for the electrical resistance between vertices in the Schreier graphs of the action of the linear (degree 1) and quadratic (degree 2) mother groups on the orbit of the zero ray. These bounds, combined with results of \cite{JNS} show that every quadratic activity automaton group is amenable. The resistance bounds use an apparently new "weighted" version of the NashWilliams criterion which may be of independent interest.
 [61] arXiv:2111.15209 [pdf, ps, other]

Title: On Kstability of Fano weighted hypersurfacesComments: 26 pagesSubjects: Algebraic Geometry (math.AG)
Let $X \subset \mathbb P(a_0,\ldots,a_n)$ be a quasismooth weighted Fano hypersurface of degree $d$ and index $I_X$ such that $a_i d$ for all $i$, with $a_0 \le \ldots \le a_n$. If $I_X=1$, we show that, under a suitable condition, the $\alpha$invariant of $X$ is greater than or equal to $\dim X/(\dim X+1)$ and $X$ is Kstable. This can be applied in particular to any $X$ as above such that $\dim X \le 3$. If $X$ is general and $I_X < \dim X$, then we show that $X$ is Kstable. We also give a sufficient condition for the finiteness of automorphism groups of quasismooth Fano weighted complete intersections.
 [62] arXiv:2111.15212 [pdf, other]

Title: Moduli stack of oriented formal groups and cellular motivic spectra over $\mathbf C$Authors: Rok GregoricComments: 26 pagesSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG)
We exhibit a relationship between motivic homotopy theory and spectral algebraic geometry, based on the motivic $\tau$deformation picture of Gheorghe, Isaksen, Wang, Xu, et.al. More precisely, we identify cellular motivic spectra over $\mathbf C$ with indcoherent sheaves (in a slightly nonstandard sense) on a certain spectral stack $\tau_{\ge 0}(\mathcal M_\mathrm{FG}^\mathrm{or})$. The latter is the connective cover of the nonconnective spectral stack $\mathcal M_\mathrm{FG}^\mathrm{or}$, the moduli stack of oriented formal groups, which we have introduced previously and studied in connection with chromatic homotopy theory. We also provide a geometric origin on the level of stacks for the observed $\tau$deformation behavior on the level of sheaves, based on a notion of extended effective Cartier divisors in spectral algebraic geometry.
 [63] arXiv:2111.15220 [pdf, other]

Title: An extension of Thomassen's result on choosabilityComments: 7 pagesSubjects: Combinatorics (math.CO)
Thomassen proved that every planar graph is $5$choosable. \v{S}krekovski \cite{MR1639710} strengthened it by showing that every $K_{5}$minorfree graph is $5$choosable. Dvo\v{r}\'{a}k and Postle observed that every planar graph is DP$5$colorable. In this note, we first improve these results by showing that every $K_{5}$minorfree graph is DP$5$colorable, and every $K_{3, 3}$minorfree graph is DP$5$colorable. In the final section, we further improve these results under the term strictly $f$degenerate transversal.
 [64] arXiv:2111.15221 [pdf, ps, other]

Title: A note on commutation relations and finite dimensional approximationsComments: 10 pagesSubjects: Operator Algebras (math.OA); Mathematical Physics (mathph)
In this article we show that the main C*algebras describing the canonical commutation relations of quantum physics, i.e., the Weyl and resolvent algebras, are in the class of F{\o}lner C*algebras, a class of C*algebras admitting a kind of finite approximations of F{\o}lner type. In particular, we show that the tracial states of the resolvent algebra are uniform locally finite dimensional.
 [65] arXiv:2111.15223 [pdf, other]

Title: On the logarithmic bipartite fidelity of the open XXZ spin chain at $Δ=1/2$Comments: 30 pages, 2 figuresSubjects: Mathematical Physics (mathph)
The open XXZ spin chain with the anisotropy $\Delta=\frac12$ and a oneparameter family of diagonal boundary fields is studied at finite length. A determinant formula for an overlap involving the spin chain's groundstate vectors for different lengths is found. The overlap allows one to obtain an exact finitesize formula for the ground state's logarithmic bipartite fidelity. The leading terms of its asymptotic series for large chain lengths are evaluated. Their expressions confirm the predictions of conformal field theory for the fidelity.
 [66] arXiv:2111.15232 [pdf, ps, other]

Title: Weighted Jordan homomorphismsComments: 14 pagesSubjects: Rings and Algebras (math.RA)
Let $A$ and $B$ be unital rings. An additive map $T:A\to B$ is called a weighted Jordan homomorphism if $c=T(1)$ is an invertible central element and $cT(x^2) = T(x)^2$ for all $x\in A$. We provide assumptions, which are in particular fulfilled when $A=B=M_n(R)$ with $n\ge 2$ and $R$ any unital ring with $\frac{1}{2}$, under which every surjective additive map $T:A\to B$ with the property that $T(x)T(y)+T(y)T(x)=0$ whenever $xy=yx=0$ is a weighted Jordan homomorphism. Further, we show that if $A$ is a prime ring with char$(A)\ne 2,3,5$, then a bijective additive map $T:A\to A$ is a weighted Jordan homomorphism provided that there exists an additive map $S:A\to A$ such that $S(x^2)=T(x)^2$ for all $x\in A$.
 [67] arXiv:2111.15237 [pdf, ps, other]

Title: Automorphisms and derivations of finitedimensional algebrasAuthors: Matej BrešarComments: 15 pagesSubjects: Rings and Algebras (math.RA)
Let $A$ be a finitedimensional algebra over a field $F$ with char$(F)\ne 2$. We show that a linear map $D:A\to A$ satisfying $xD(x)x\in [A,A]$ for every $x\in A$ is the sum of an inner derivation and a linear map whose image lies in the radical of $A$. Assuming additionally that $A$ is semisimple and char$(F)\ne 3$, we show that a linear map $T:A\to A$ satisfies $T(x)^3 x^3 \in [A,A]$ for every $x\in A$ if and only if there exist a Jordan automorphism $J$ of $A$ lying in the multiplication algebra of $A$ and a central element $\alpha$ satisfying $\alpha^3=1$ such that $T(x)=\alpha J(x)$ for all $x\in A$. These two results are applied to the study of local derivations and local (Jordan) automorphisms. In particular, the second result is used to prove that every local Jordan automorphism of a finitedimensional simple algebra $A$ (over a field $F$ with char$(F)\ne 2,3$) is a Jordan automorphism.
 [68] arXiv:2111.15239 [pdf, ps, other]

Title: Comparing the order and the minimal number of generators of a finite irreducible linear groupSubjects: Group Theory (math.GR)
We prove that $d(G) \log G = O(n^2 \log q)$ for irreducible subgroups $G$ of GL$(n,q)$, and estimate the associated constants. The result is motivated by attempts to bound the complexity of computing the automorphism groups of various classes of finite groups.
 [69] arXiv:2111.15243 [pdf, ps, other]

Title: Numerical flatness and principal bundles on Fujiki manifoldsAuthors: Indranil BiswasComments: Final version; to appear in "Differential Geometry and its Applications"Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
Let $M$ be a compact connected Fujiki manifold, $G$ a semisimple affine algebraic group over $\mathbb C$ with one simple factor and $P$ a fixed proper parabolic subgroup of $G$. For a holomorphic principal $G$bundle $E_G$ over $M$, let ${\mathcal E}_P$ be the holomorphic principal $P$bundle $E_G\rightarrow E_G/P$ given by the quotient map. We prove that the following three statements are equivalent: (1) ${\rm ad}(E_G)$ is numerically flat, (2) the holomorphic line bundle $\bigwedge^{\rm top} {\rm ad}({\mathcal E}_P)^*$ is nef, and (3) for every reduced irreducible compact complex analytic space $Z$ with a K\"ahler form $\omega$, holomorphic map $\gamma : Z \rightarrow M$, and holomorphic reduction of structure group $E_P \subset \gamma^*E_G$ to $P$, the inequality ${\rm degree}({\rm ad}(E_P)) \leq 0$ holds.
 [70] arXiv:2111.15245 [pdf, ps, other]

Title: Isotropic KempfLaksov flag bundlesAuthors: Lionel DarondeauComments: Dedicated to Professor Piotr Pragacz on the occasion of his recent retirementSubjects: Algebraic Geometry (math.AG)
We introduce analogs of the KempfLaksov desingularizations of Schubert bundles in (nonnecessary Lagrangian) symplectic Grassmann bundles. In this setting, these are (possibly singular) irreducible flag bundles that are birational to Schubert bundles, and can be described as chains of zeroloci of regular sections in projectivized bundles. The orthogonal analogs are also presented. We immediatly derive universal Gysin formulas for isotropic Schubert bundles from these very constructions.
 [71] arXiv:2111.15251 [pdf, ps, other]

Title: Minimal quadratic forms for the function field of a conic in characteristic $2$Subjects: Number Theory (math.NT); Commutative Algebra (math.AC); Rings and Algebras (math.RA)
In this note, we construct explicit examples of $F_Q$minimal quadratic forms of dimension $5$ and $7$, where $F_Q$ is the function field of a conic over a field $F$ of characteristic $2$. The construction uses the fact that any set of $n$ cyclic $p$ algebras over a field of characteristic $p$ can be described using only $n+1$ elements of the base field. It also uses a general result that provides an upper bound on the Witt index of an orthogonal sum of two regular anisotropic quadratic forms over a henselian valued field.
 [72] arXiv:2111.15270 [pdf, ps, other]

Title: The BoltzmannGrad Limit for the Lorentz Gas with a Poisson Distribution of ObstaclesAuthors: François Golse (CMLS, Ecole polytechnique)Comments: 18 pagesSubjects: Analysis of PDEs (math.AP)
In this note, we propose a slightly different proof of Gallavotti's theorem ["Statistical Mechanics: A Short Treatise", Springer, 1999, pp. 4855] on the derivation of the linear Boltzmann equation for the Lorentz gas with a Poisson distribution of obstacles in the BoltzmannGrad limit.
 [73] arXiv:2111.15277 [pdf, ps, other]

Title: Markov's problem for free groupsSubjects: Group Theory (math.GR); Algebraic Geometry (math.AG); Combinatorics (math.CO); General Topology (math.GN); Logic (math.LO)
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide in free groups. We also show that these topologies differ from the socalled precompact Markov topology in noncommutative free groups.
 [74] arXiv:2111.15287 [pdf, ps, other]

Title: Ramanujanstyle congruences for prime levelComments: 23 pages. Comments are very welcome!Subjects: Number Theory (math.NT)
We establish Ramanujanstyle congruences modulo certain primes $\ell$ between an Eisenstein series of weight $k$, prime level $p$ and a cuspidal newform in the $\varepsilon$eigenspace of the AtkinLehner operator inside the space of cusp forms of weight $k$ for $\Gamma_0(p)$. Under a mild assumption, this refines a result of GabaPopa. We use these congruences and recent work of Ciolan, Languasco and the third author on EulerKronecker constants, to quantify the nondivisibility of the Fourier coefficients involved by $\ell.$ The degree of the number field generated by these coefficients we investigate using recent results on prime factors of shifted prime numbers.
 [75] arXiv:2111.15292 [pdf, ps, other]

Title: Parameter estimation for an OrnsteinUhlenbeck Process driven by a general Gaussian noise with Hurst Parameter $H\in (0,\frac12)$Comments: 33 pagesSubjects: Statistics Theory (math.ST); Probability (math.PR)
In Chen and Zhou 2021, they consider an inference problem for an OrnsteinUhlenbeck process driven by a general onedimensional centered Gaussian process $(G_t)_{t\ge 0}$. The second order mixed partial derivative of the covariance function $ R(t,\, s)=\mathbb{E}[G_t G_s]$ can be decomposed into two parts, one of which coincides with that of fractional Brownian motion and the other is bounded by $(ts)^{H1}$ with $H\in (\frac12,\,1)$, up to a constant factor.
In this paper, we investigate the same problem but with the assumption of $H\in (0,\,\frac12)$. The starting point of this paper is a new relationship between the inner product of $\mathfrak{H}$ and that of the Hilbert space $\mathfrak{H}_1$ associated with the fractional Brownian motion $(B^{H}_t)_{t\ge 0}$. Based on this relationship and some known estimation of the inner product of $\mathfrak{H}_1$, we prove the strong consistency with $H\in (0, \frac12)$, and the asymptotic normality and the BerryEss\'{e}en bounds with $H\in (0,\frac38)$ for both the least squares estimator and the moment estimator of the drift parameter constructed from the continuous observations.  [76] arXiv:2111.15294 [pdf, other]

Title: Homogenization of a coupled incompressible StokesCahnHilliard system modeling binary fluid mixture in a porous mediumComments: 20 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
A phasefield model for twophase immiscible, incompressible porous media flow with surface tension effects is considered. The porescale model consists of a strongly coupled system of StokesCahnHilliard equations. The fluids are separated by an evolving diffuse interface of a finite width depending on the scale parameter $\varepsilon$ in the considered model. At first the wellposedness of a coupled system of partial differential equations at micro scale is investigated. We obtained the homogenized equations for the microscopic model via unfolding operator and twoscale convergence approach.
 [77] arXiv:2111.15297 [pdf, other]

Title: Compact Sets in Petals and their Backward Orbits under Semigroups of Holomorphic FunctionsComments: 20 pages, 6 figuresSubjects: Complex Variables (math.CV)
Let $(\phi_t)_{t \geq 0}$ be a semigroup of holomorphic functions in the unit disk $\mathbb{D}$ and $K$ a compact subset of $\mathbb{D}$. We investigate the conditions under which the backward orbit of $K$ under the semigroup exists. Subsequently, the geometric characteristics, as well as, potential theoretic quantities for the backward orbit of $K$ are examined. More specifically, results are obtained concerning the asymptotic behavior of its hyperbolic area and diameter, the harmonic measure and the capacity of the condenser that $K$ forms with the unit disk.
 [78] arXiv:2111.15299 [pdf, ps, other]

Title: Quasitoposes as elementary quotient completionsSubjects: Logic (math.LO); Category Theory (math.CT)
The elementary quotient completion of an elementary doctrine in the sense of Lawvere was introduced in previous work by the first and third authors. It generalises the exact completion of a category with finite products and weak equalisers. In this paper we characterise when an elementary quotient completion is a quasitopos. We obtain as a corollary a complete characterisation of when an elementary quotient completions is an elementary topos. As a byproduct we determine also when the elementary quotient completion of a tripos is equivalent to the doctrine obtained via the tripostotopos construction. Our results are reminiscent of other works regarding exact completions and put those under a common scheme: in particular, Carboni and Vitale's characterisation of exact completions in terms of their projective objects, Carboni and Rosolini's characterisation of locally cartesian closed exact completions, also in the revision by Emmenegger, and Menni's characterisation of the exact completions which are elementary toposes.
 [79] arXiv:2111.15303 [pdf, other]

Title: Finding counterexamples for a conjecture of Akbari, Alazemi and AndjelićComments: 32 pages, 7 figuresSubjects: Combinatorics (math.CO)
For a graph $G$, its energy $\mathcal{E}(G)$ is the sum of absolute values of the eigenvalues of its adjacency matrix, the matching number $\mu(G)$ is the number of edges in a maximum matching of $G$, while $\Delta$ is the maximum vertex degree of $G$. Akbari, Alazemi and An{\dj}eli\'c in [Appl. Anal. Discrete Math. 15 (2021), 444459] proved that $\mathcal{E}(G) \leq 2\mu(G)$ when $G$ is connected and $\Delta\geq6$, and conjectured that the same inequality is also valid when $2\leq\Delta\leq5$. Here we first computationally enumerate small counterexamples for this conjecture and then provide two infinite families of counterexamples.
 [80] arXiv:2111.15306 [pdf, ps, other]

Title: Spectral analysis of the SturmLiouville operator given on a system of segmentsSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph)
The spectral analysis of the SturmLiouville operator defined on a finite segment is the subject of an extensive literature. SturmLiouville operators on a finite segment are well studied and have numerous applications. The study of such operators already given on the system segments (graphs) was received in the works. This work is devoted to the study of operators $$(L_qy)(x)=col[y_1''(x)+q_1(x)y_1(x), \ y_2''(x)+q_2(x)y_2(x)],$$ where $y(x)=col[y_1(x),\ y_2(x)]\epsilon L^2(a,0)\oplus L^2(0,b)=H, \ q_1(x), q_2(x) $ real function $q_1\epsilon L^2(a,0), q_2\epsilon L^2(0,b).$ Domain of definition $L_q$ has the form $$\vartheta (L_q)={y=(y_1,y_2)\epsilon H; \ y_1\epsilon W_1^2(a,0), \ y_2\epsilon W_2^2(0,b), \ y_1'(a)=0, \ y_2'(b)=0; \ y_2(0)+py_1'(0)=0 \ y_1(0)+py_2'(0)=0}$$ $(p\epsilon \mathbb{R}, \ p\neq 0).$ Such an operator is selfadjoint in $H.$ The work uses the methods described in work. The main result is as follows: if the $q_1, q_2$ are small (the degree of their smallness is determined by the parameters of the boundary conditions and the numbers $a, b$), then the eigenvalues $\{\lambda_k(0)\}$ of the unperturbed operator $L_0$ are simple, and the eigenvalues $\{\lambda_k(q)\}$ of the perturbed operator $L_q$ are also simple and located small in the vicinity of the points $\{\lambda_k(0)\}$.
 [81] arXiv:2111.15314 [pdf, other]

Title: Implementation of the algorithm for constructing homogeneous approximations of nonlinear control systemsSubjects: Optimization and Control (math.OC)
We present a 'calculator' for constructing a homogeneous approximation of nonlinear control systems, which is based on the algebraic approach developed by the authors in their previous papers. This approach mainly uses linear algebraic and combinatorial tools, so, it is perfectly adapted to computer realization. We describe the algorithm and discuss its capabilities and limitations. We present its implementation as a web application and show by example how this app works.
 [82] arXiv:2111.15315 [pdf, ps, other]

Title: Purely additive reduction of abelian varieties with torsionAuthors: Mentzelos MelistasComments: 15 pages. Final version. To appear in J. Number TheorySubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Let $\mathcal{O}_K$ be a discrete valuation ring with fraction field $K$ of characteristic $0$ and algebraically closed residue field $k$ of characteristic $p > 0$. Let $A/K$ be an abelian variety of dimension $g$ with a $K$rational point of order $p$. In this article, we are interested in the reduction properties that $A/K$ can have. After discussing the general case, we specialize to $g=1$, and we study the possible Kodaira types that can occur.
 [83] arXiv:2111.15323 [pdf, other]

Title: The signature and cusp geometry of hyperbolic knotsComments: 26 pages, 12 figuresSubjects: Geometric Topology (math.GT); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
We introduce a new realvalued invariant called the natural slope of a hyperbolic knot in the 3sphere, which is defined in terms of its cusp geometry. We show that twice the knot signature and the natural slope differ by at most a constant times the hyperbolic volume divided by the cube of the injectivity radius. This inequality was discovered using machine learning to detect relationships between various knot invariants. It has applications to Dehn surgery and to 4ball genus. We also show a refined version of the inequality where the upper bound is a linear function of the volume, and the slope is corrected by terms corresponding to short geodesics that link the knot an odd number of times.
 [84] arXiv:2111.15324 [pdf, ps, other]

Title: Uniform convergence for sequences of best L^{p} approximationComments: 16 pages, not submitted to any journal at the momentSubjects: Numerical Analysis (math.NA)
Let $f$ be a continuous monotone real function defined on a compact interval $[a,b]$ of the real line. Given a sequence of partitions of $[a,b]$, $% \Delta_n $, $\left\Vert {\Delta }_{n}\right\Vert \rightarrow 0$, and given $l\geq 0,m\geq 1$, let $\mathbf{S}_{m}^{l}(\Delta _{n}) $ be the space of all functions with the same monotonicity of $f$ that are $% \Delta_n$piecewise polynomial of order $m$ and that belong to the smoothness class $C^{l}[a,b]$. In this paper we show that, for any $m\geq 2l+1$, $\bullet$ sequences of best $L^p$approximation in $\mathbf{S}_{m}^{l}(\Delta _{n})$ converge uniformly to $f$ on any compact subinterval of $(a,b)$; $\bullet$ sequences of best $L^p$approximation in $\mathbf{S}_{m}^{0}(\Delta _{n})$ converge uniformly to $f$ on the whole interval $[a,b] $.
 [85] arXiv:2111.15328 [pdf, ps, other]

Title: Fast Goodstein WalksSubjects: Logic (math.LO)
We define a variant of the Goodstein process based on fastgrowing functions and show that it terminates, but this fact is not provable in KripkePlatek set theory or other theories of strength the BachmannHoward ordinal. We moreover show that this Goodstein process is of maximal length, so that any alternative Goodstein process based on the same fastgrowing functions will also terminate.
 [86] arXiv:2111.15331 [pdf, other]

Title: The relative trace formula in electromagnetic scattering and boundary layer operatorsComments: 45 pages, 2 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Functional Analysis (math.FA)
This paper establishes traceformulae for a class of operators defined in terms of the functional calculus for the Laplace operator on divergencefree vector fields with relative and absolute boundary conditions on Lipschitz domains in $\mathbb{R}^3$. Spectral and scattering theory of the absolute and relative Laplacian is equivalent to the spectral analysis and scattering theory for Maxwell equations. The traceformulae allow for unbounded functions in the functional calculus that are not admissible in the BirmanKrein formula. In special cases the traceformula reduces to a determinant formula for the Casimir energy that is being used in the physics literature for the computation of the Casimir energy for objects with metallic boundary conditions. Our theorems justify these formulae in the case of electromagnetic scattering on Lipschitz domains, give a rigorous meaning to them as the trace of certain traceclass operators, and clarifies the function spaces on which the determinants need to be taken.
 [87] arXiv:2111.15337 [pdf, ps, other]

Title: On the finiteness of local homology modulesSubjects: Commutative Algebra (math.AC)
Let $R$ be a commutative Noetherian ring and $\mathfrak a$ an ideal of $R$. Let $M$ be a finitely generated $R$module and $N$ an Artinian $R$module. The concept of filter coregular sequence is introduced to determine the infimum of the integers $i$ such that the generalized local homology $\textrm{H}^{\mathfrak{a}}_i(M, N)$ is not finitely generated as an $\widehat{R}^{\mathfrak{a}}$module, where $\widehat{R}^{\mathfrak{a}}$ denotes the $\mathfrak{a}$adic completion of $R$. In particular, it is shown that $\textrm{H}^{\mathfrak{a}}_i(M, N)$ is a finitely generated $\widehat{R}^{\mathfrak{a}}$module for all $i\in\mathbb{N}_0$ if and only if $(0:_N\mathfrak{a}+\textrm{Ann}_R(M))$ has finite length whenever $R$ is a complete semilocal ring.
 [88] arXiv:2111.15339 [pdf, ps, other]

Title: RadioWeaves for Extreme Spatial Multiplexing in Indoor EnvironmentsComments: 5 pages, 4 figures. Published in 2020 54th Asilomar Conference on Signals, Systems, and ComputersJournalref: 2020 54th Asilomar Conference on Signals, Systems, and ComputersSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
With the advances in virtual and augmented reality, gaming applications, and entertainment, certain indoor scenarios will require vastly higher capacity than what can be delivered by 5G. In this paper, we focus on massive MIMO for indoor environments. We provide a case study of the distributed deployment of the antenna elements over the walls of a room and not restricting the antenna separation to be half the wavelength. This is a new paradigm of massive MIMO antenna deployment, introduced under the name RadioWeaves. We investigate different antenna deployment scenarios in line of sight communication. We observe that the RadioWeaves deployment can spatially separate users much better than a conventional colocated deployment, which outweighs the losses caused by grating lobes and thus saves a lot on transmit power. Through simulations, we show that the RadioWeaves technology can provide high rates to multiple users by spending very little power at the transmitter compared to a colocated deployment.
 [89] arXiv:2111.15346 [pdf, ps, other]

Title: A biharmonic transmission problem in LpspacesAuthors: Alexandre Thorel (LMAH)Journalref: Communications on Pure \& Applied Analysis, American Institute of Mathematical Sciences (AIMS) 2021Subjects: Analysis of PDEs (math.AP)
In this work we study, by a semigroup approach, a transmission problem based on biharmonic equations with boundary and transmission conditions, in two juxtaposed habitats. We give a result of existence and uniqueness of the classical solution in L pspaces, for p $\in$ (1, +$\infty$), using analytic semigroups and operators sum theory in Banach spaces. To this end, we invert explicitly the determinant operator of the transmission system in L pspaces using the E $\infty$calculus and the DoreVenni sums theory.
 [90] arXiv:2111.15349 [pdf, ps, other]

Title: An inequality for the compositions of convex functions with convolutions and an alternative proof of the BrunnMinkowskiKemperman inequalityAuthors: Takashi SatomiComments: 16 pages, 1 figureSubjects: Metric Geometry (math.MG); Combinatorics (math.CO); Functional Analysis (math.FA); Group Theory (math.GR)
Let $m(G)$ be the infimum of the volumes of all open subgroups of a unimodular locally compact group $G$. Suppose integrable functions $\phi_1 , \phi_2 \colon G \to [0,1]$ satisfy $\ \phi_1 \ \leq \ \phi_2 \$ and $\ \phi_1 \ + \ \phi_2 \ \leq m (G)$, where $\ \cdot \$ denotes the $L^1$norm with respect to a Haar measure $dg$ on $G$. We have the following inequality for any convex function $f \colon [0, \ \phi_1 \ ] \to \mathbb{R}$ with $f(0) = 0$: \begin{align*} \int_{G}^{} f \circ ( \phi_1 * \phi_2 ) (g) dg \leq 2 \int_{0}^{\ \phi_1 \} f(y) dy + ( \ \phi_2 \  \ \phi_1 \ ) f( \ \phi_1 \ ). \end{align*} As a corollary, we have a slightly stronger version of BrunnMinkowskiKemperman inequality. That is, we have \begin{align*} \mathrm{vol}_* ( B_1 B_2 ) \geq \mathrm{vol} ( \{ g \in G \mid 1_{B_1} * 1_{B_2} (g) > 0 \} ) \geq \mathrm{vol} (B_1) + \mathrm{vol} (B_2) \end{align*} for any nonnull measurable sets $B_1 , B_2 \subset G$ with $\mathrm{vol} (B_1) + \mathrm{vol} (B_2) \leq m(G)$, where $\mathrm{vol}_*$ denotes the inner measure and $1_B$ the characteristic function of $B$.
 [91] arXiv:2111.15353 [pdf, ps, other]

Title: Pick's Theorem in TwoDimensional Subspace of R^3Authors: Lin SiSubjects: Metric Geometry (math.MG)
In this note, we given a version of Pick's theorem for the simple lattice polygon in twodimensional subspace of R^3.
 [92] arXiv:2111.15378 [pdf, other]

Title: ClusteringBased Activity Detection Algorithms for GrantFree Random Access in CellFree Massive MIMOComments: 12 pages, 9 figures. Published in IEEE Transactions on Communications, Vol. 69, No. 11, pp. 7520  7530, November 2021Journalref: IEEE Transactions on Communications, Vol. 69, No. 11, pp. 7520  7530, November 2021Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Future wireless networks need to support massive machine type communication (mMTC) where a massive number of devices accesses the network and massive MIMO is a promising enabling technology. Massive access schemes have been studied for colocated massive MIMO arrays. In this paper, we investigate the activity detection in grantfree random access for mMTC in cellfree massive MIMO networks using distributed arrays. Each active device transmits a nonorthogonal pilot sequence to the access points (APs) and the APs send the received signals to a central processing unit (CPU) for joint activity detection. The maximum likelihood device activity detection problem is formulated and algorithms for activity detection in cellfree massive MIMO are provided to solve it. The simulation results show that the macrodiversity gain provided by the cellfree architecture improves the activity detection performance compared to colocated architecture when the coverage area is large.
 [93] arXiv:2111.15383 [pdf, other]

Title: A conformal geometric point of view on the CaffarelliKohnNirenberg inequalitySubjects: Analysis of PDEs (math.AP)
We are interested in the CaffarelliKohnNirenberg inequality (CKN in short), introduced by these authors in 1984. We explain why the CKN inequality can be viewed as a Sobolev inequality on a weighted Riemannian manifold. More precisely, we prove that the CKN inequality can be interpreted in this way on three different and equivalent models, obtained as weighted versions of the standard Euclidean space, round sphere and hyperbolic space. This result can be viewed as an extension of conformal invariance to the weighted setting. Since the spherical CKN model we introduce has finite measure, the $\Gamma$calculus introduced by Bakry and Emery provides an easy way to prove the Sobolev inequalities. This method allows us to recover the optimality of the region of parameters describing symmetrybreaking of minimizers of the CKN inequality, introduced by Felli and Schneider and proved by Dolbeault, Esteban and Loss in 2016. Finally, we develop the notion of nconformal invariants, exhibiting a way to extend the notion of scalar curvature to weighted manifolds such as the CKN models.
 [94] arXiv:2111.15387 [pdf, ps, other]

Title: Stability of Equivariant Logarithmic Tangent Sheaves on Toric Varieties of Picard Rank TwoAuthors: Achim Napame (LMBA)Subjects: Algebraic Geometry (math.AG)
For an equivariant log pair (X, D) where X is a normal toric variety and D a reduced Weil divisor, we study slopestability of the logarithmic tangent sheaf T\_X( log D). We give a complete description of divisors D and polarizations L such that T\_X ( log D) is (semi)stable with respect to L when X has a Picard rank one or two.
 [95] arXiv:2111.15388 [pdf, ps, other]

Title: A Combinatorial Approach to Flag CodesSubjects: Information Theory (cs.IT); Combinatorics (math.CO)
In network coding, a flag code is a collection of flags, that is, sequences of nested subspaces of a vector space over a finite field. Due to its definition as the sum of the corresponding subspace distances, the flag distance parameter encloses a hidden combinatorial structure. To bring it to light, in this paper, we interpret flag distances by means of distance paths drawn in a convenient distance support. The shape of such a support allows us to create an ad hoc associated Ferrers diagram frame where we develop a combinatorial approach to flag codes by relating the possible realizations of their minimum distance to different partitions of appropriate integers. This novel viewpoint permits to establish noteworthy connections between the flag code parameters and the ones of its projected codes in terms of well known concepts coming from the classical partitions theory.
 [96] arXiv:2111.15396 [pdf, ps, other]

Title: A unified framework for limit results in Chemical Reaction Networks on multiple timescalesComments: 35 pagesSubjects: Probability (math.PR)
If $(X^N)_{N=1,2,...}$ is a sequence of Markov processes which solve the martingale problems for some operators $(G^N)_{N=1,2,...}$, it is a classical task to derive a limit result as $N\to\infty$, in particular a weak process limit with limiting operator $G$. For slowfast systems $X^N = (V^N, Z^N)$ where $V^N$ is slow and $Z^N$ is fast, $G^N$ consists of two (or more) terms, and we are interested in weak convergence of $V^N$ to some Markov process $V$. In this case, for some $f\in \mathcal D(G)$, the domain of $G$, depending only on $v$, the limit $Gf$ can sometimes be derived by using some $g_N\to 0$ (depending on $v$ and $z$), and study convergence of $G^N (f + g_N) \to Gf$. We develop this method further in order to obtain functional Laws of Large Numbers (LLNs) and Central Limit Theorems (CLTs). We then apply our general result to various examples from Chemical Reaction Network theory. We show that we can rederive most limits previously obtained, but also provide new results in the case when the fastsubsystem is first order. In particular, we allow that fast species to be consumed faster than they are produced, and we derive a CLT for Hill dynamics with coefficient~2.
 [97] arXiv:2111.15408 [pdf, other]

Title: A Fourier transform for all generalized functionsComments: arXiv admin note: text overlap with arXiv:2011.09660Subjects: Functional Analysis (math.FA)
Using the existence of infinite numbers $k$ in the nonArchimedean ring of RobinsonColombeau, we define the hyperfinite Fourier transform (HFT) by considering integration extended to $[k,k]^{n}$ instead of $(\infty,\infty)^{n}$. In order to realize this idea, the space of generalized functions we consider is that of generalized smooth functions (GSF), an extension of classical distribution theory sharing many nonlinear properties with ordinary smooth functions, like the closure with respect to composition, a good integration theory, and several classical theorems of calculus. Even if the final transform depends on $k$, we obtain a new notion that applies to all GSF, in particular to all Schwartz's distributions and to all Colombeau generalized functions, without growth restrictions. We prove that this FT generalizes several classical properties of the ordinary FT, and in this way we also overcome the difficulties of FT in Colombeau's settings. Differences in some formulas, such as in the transform of derivatives, reveal to be meaningful since allow to obtain also nontempered global unique solutions of differential equations.
 [98] arXiv:2111.15410 [pdf, ps, other]

Title: Dimension estimates for badly approximable affine formsComments: 59 pages, 1 figure. This paper supersedes the posting arXiv:1904.07476, making the latter obsoleteSubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
For given $\epsilon>0$ and $b\in\mathbb{R}^m$, we say that a real $m\times n$ matrix $A$ is $\epsilon$badly approximable for the target $b$ if $$\liminf_{q\in\mathbb{Z}^n, \q\\to\infty} \q\^n \langle Aqb \rangle^m \geq \epsilon,$$ where $\langle \cdot \rangle$ denotes the distance from the nearest integral point. In the present paper, we obtain upper bounds for the Hausdorff dimensions of the set of $\epsilon$badly approximable matrices for fixed target $b$ and the set of $\epsilon$badly approximable targets for fixed matrix $A$. Moreover, we give an equivalent Diophantine condition of $A$ for which the set of $\epsilon$badly approximable targets for fixed $A$ has full Hausdorff dimension for some $\epsilon>0$. The upper bounds are established by effectivizing entropy rigidity in homogeneous dynamics, which is of independent interest. For the $A$fixed case, our method also works for the weighted setting where the supremum norms are replaced by certain weighted quasinorms.
 [99] arXiv:2111.15418 [pdf, other]

Title: A structure preserving front tracking finite element method for the MullinsSekerka problemAuthors: Robert NürnbergComments: 24 pages, 9 figuresSubjects: Numerical Analysis (math.NA)
We introduce and analyse a fully discrete approximation for a mathematical model for the solidification and liquidation of materials of negligible specific heat. The model is a twosided MullinsSekerka problem. The discretization uses finite elements in space and an independent parameterization of the moving free boundary. We prove unconditional stability and exact volume conservation for the introduced scheme. Several numerical simulations, including for nearly crystalline surface energies, demonstrate the practicality and accuracy of the presented numerical method.
 [100] arXiv:2111.15426 [pdf, ps, other]

Title: Efficient and robust highdimensional sparse logistic regression via nonlinear primaldual hybrid gradient algorithmsComments: 16 pagesSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Logistic regression is a widely used statistical model to describe the relationship between a binary response variable and predictor variables in data sets. It is often used in machine learning to identify important predictor variables. This task, variable selection, typically amounts to fitting a logistic regression model regularized by a convex combination of $\ell_1$ and $\ell_{2}^{2}$ penalties. Since modern big data sets can contain hundreds of thousands to billions of predictor variables, variable selection methods depend on efficient and robust optimization algorithms to perform well. Stateoftheart algorithms for variable selection, however, were not traditionally designed to handle big data sets; they either scale poorly in size or are prone to produce unreliable numerical results. It therefore remains challenging to perform variable selection on big data sets without access to adequate and costly computational resources. In this paper, we propose a nonlinear primaldual algorithm that addresses these shortcomings. Specifically, we propose an iterative algorithm that provably computes a solution to a logistic regression problem regularized by an elastic net penalty in $O(T(m,n)\log(1/\epsilon))$ operations, where $\epsilon \in (0,1)$ denotes the tolerance and $T(m,n)$ denotes the number of arithmetic operations required to perform matrixvector multiplication on a data set with $m$ samples each comprising $n$ features. This result improves on the known complexity bound of $O(\min(m^2n,mn^2)\log(1/\epsilon))$ for firstorder optimization methods such as the classic primaldual hybrid gradient or forwardbackward splitting methods.
 [101] arXiv:2111.15429 [pdf, ps, other]

Title: Homogeneity and related topics: An extended bibliographyAuthors: Gregory CherlinComments: Supplement to a monograph to appear in LNL (online only)Subjects: Logic (math.LO); Combinatorics (math.CO)
We give a bibliography of works relating to homogeneous structures in the sense of Fra\"iss\'e, and related topics, mainly through 2016, with some narrow updating through 2021.
We first give a list arranged by topics, with references to the main bibliogrphay, which follows.  [102] arXiv:2111.15442 [pdf, other]

Title: Lagrangian LjusternikSchnirelman theory and Lagrangian intersectionsAuthors: Wenmin GongComments: 28pages, 2 figuresSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG); Dynamical Systems (math.DS)
In this paper we consider two Lagrangian versions of LjusternikSchnirelman theory and use them to study the size of the intersection of a monotone Lagrangian with its image of a Hamiltonian diffeomorphism. We obtain some estimates of the number of Lagrangian intersections in degenerate (nontransversal) sense. In particular, we apply Lagrangian LjusternikSchnirelman inequality I to establish a sharpened Chekanovtype result about the Arnold conjecture, and Lagrangian LjusternikSchnirelman inequality III to obtain some uniform lower bounds of the number of monotone Lagrangian intersections in certain cases.
 [103] arXiv:2111.15444 [pdf, ps, other]

Title: Estimates of the singular set for the NavierStokes equations with assumptions on the pressureAuthors: Tobias BarkerComments: 20 pagesSubjects: Analysis of PDEs (math.AP)
We show that if the pressure $p$ associated to a NavierStokes solution $v$ (in threedimensions) satisfies the endpoint scale invariant conditions $$p\in L^{r,\infty}_{t}L^{s}_{x}\quad\textrm{with}\,\,\tfrac{2}{r}+\tfrac{3}{s}=2\,\,\textrm{and}\,\,r\in (1,\infty],$$ then there is a reduction in the Hausdorff dimension of the singular set at a first potential blowup time. This hinges on two ingredients: (i) a generalization of a higher integrability result proven by the author and (ii) the establishment of a convenient $\varepsilon$ regularity criterion involving spacetime integrals of $$\nabla v^2v^{q2}\,\,\,\textrm{with}\,\,q\in (2,3). $$ The second ingredient requires a modification of ideas in Ladyzhenskaya and Seregin's paper, which build upon ideas in Lin, as well as Caffarelli, Kohn and Nirenberg.
 [104] arXiv:2111.15457 [pdf, ps, other]

Title: Hyperkähler geometry of rational curves in twistor spacesComments: 11 pagesSubjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
We investigate the pseudohyperk\"ahler geometry of higher degree rational curves in the twistor space of a hyperk\"ahler $4$manifold.
 [105] arXiv:2111.15459 [pdf, ps, other]

Title: Symplectic aspects of the tt*Toda equationsAuthors: Ryosuke OdoiSubjects: Differential Geometry (math.DG); High Energy Physics  Theory (hepth); Symplectic Geometry (math.SG); Exactly Solvable and Integrable Systems (nlin.SI)
We evaluate explicitly, in terms of the asymptotic data, the ratio of the constant prefactors in the large and small $x$ asymptotics of the tau functions for global solutions of the tt{*}Toda equations. This constant problem for the sinhGordon equation, which is the case $n=1$ of the tt{*}Toda equations, was solved by C. A. Tracy. We also introduce natural symplectic structures on the space of asymptotic data and on the space of monodromy data for a wider class of solutions, and show that these symplectic structures are preserved by the RiemannHilbert correspondence.
 [106] arXiv:2111.15464 [pdf, other]

Title: EnergyEfficient Design for a NOMA assisted STARRIS Network with Deep Reinforcement LearningSubjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)
Simultaneous transmitting and reflecting reconfigurable intelligent surfaces (STARRISs) has been considered as a promising auxiliary device to enhance the performance of the wireless network, where users located at the different sides of the surfaces can be simultaneously served by the transmitting and reflecting signals. In this paper, the energy efficiency (EE) maximization problem for a nonorthogonal multiple access (NOMA) assisted STARRIS downlink network is investigated. Due to the fractional form of the EE, it is challenging to solve the EE maximization problem by the traditional convex optimization solutions. In this work, a deep deterministic policy gradient (DDPG)based algorithm is proposed to maximize the EE by jointly optimizing the transmission beamforming vectors at the base station and the coefficients matrices at the STARRIS. Simulation results demonstrate that the proposed algorithm can effectively maximize the system EE considering the timevarying channels.
 [107] arXiv:2111.15465 [pdf, ps, other]

Title: Cyclic inequalities involving Cater cyclic functionComments: 13 pagesSubjects: Classical Analysis and ODEs (math.CA)
By means of the mathematical analysis theory, inequality theory, mathematical induction and the dimension reduction method, under the proper hypotheses, we establish the following cyclic inequalities: \[\sum_{i=1}^{n} {a_i^{{a_{n+1i}}}}\leq\sum_{\text{cyc}:~n}^{1\leq i\leq n} {a_i^{{a_{i + 1}}}}\leq \sum_{i=1}^{n} {a_i^{{a_i}}},~\forall n\geq2.\]
 [108] arXiv:2111.15469 [pdf, ps, other]

Title: A Strong Law of Large Numbers for Positive Random VariablesSubjects: Probability (math.PR)
In the spirit of the famous Koml\'os (1967) theorem, we show that every sequence of nonnegative, measurable functions $ \{ f_n \}_{n \in \N} $ on a probability space, contains a subsequence which  along with all its subsequences  converges a.e. Ces\`aro mean to some measurable function $f \ge 0$. The sequence $ \{ f_n \}_{n \in \N} $ need not be bounded in $ \mathbb{ L}^1$; the limit $f$ may take the value $+\infty$; and the proof is quite elementary. The method sharpens a result of Delbaen \& Schachermayer, replacing general convex combinations by Ces\`aro means; as well as the original Koml\'os theorem.
 [109] arXiv:2111.15476 [pdf, other]

Title: A Scheme of Channel Prediction Based on Artificial Neural NetworkSubjects: Information Theory (cs.IT)
Accurate channel modeling is the foundation of communication system design. However, the traditional measurementbased modeling approach has increasing challenges for the scenarios with insufficient measurement data. To obtain enough data for channel modeling, the Artificial Neural Network (ANN) is used in this paper to predict channel data. The high mobility railway channel is considered, which is a typical scenario where it is challenging to obtain enough data for modeling within a short sampling interval. Three types of ANNs, the Back Propagation Network, Radial Basis Function Neural Network and Extreme Learning Machine, are considered to predict channel path loss and shadow fading. The RootMeanSquare error is used to evaluate prediction accuracy. The factors that may influence prediction accuracy are compared and discussed, including the type of network, number of neurons and proportion of training data. It is found that a larger number of neurons can significantly reduce prediction error, whereas the influence of proportion of training data is relatively small. The results can be used to improve modeling accuracy of path loss and shadow fading when measurement data is reduced.
 [110] arXiv:2111.15482 [pdf, ps, other]

Title: Global weak solutions for the LandauLifshitzGilbertVlasovMaxwell system coupled via emergent electromagnetic fieldsSubjects: Analysis of PDEs (math.AP)
Motivated by recent models of current driven magnetization dynamics, we examine the coupling of the LandauLifshitzGilbert equation and classical electron transport governed by the VlasovMaxwell system. The interaction is based on spacetime gyrocoupling in the form of emergent electromagnetic fields of quantized helicity that add up to the conventional Maxwell fields. We construct global weak solutions of the coupled system in the framework of frustrated magnets with competing first and second order gradient interactions known to host topological solitons such as magnetic skyrmions and hopfions.
 [111] arXiv:2111.15484 [pdf, ps, other]

Title: Semiequivelar toroidal maps and their ksemiregular coversSubjects: Combinatorics (math.CO)
If the face\mbox{}cycles at all the vertices in a map are of same type then the map is called semi\mbox{}equivelar. In particular, it is called equivelar if the facecycles contain same type of faces. A map is semiregular (or almost regular) if it has as few flag orbits as possible for its type. A map is $k$regular if it is equivelar and the number of flag orbits of the map $k$ under the automorphism group. In particular, if $k =1$, its called regular. A map is $k$semiregular if it contains more number of flags as compared to its type with the number of flags orbits $k$. Drach et al. \cite{drach:2019} have proved that every semiequivelar toroidal map has a finite unique minimal semiregular cover. In this article, we show the bounds of flag orbits of semiequivelar toroidal maps, i.e., there exists $k$ for each type such that every semiequivelar map is $\ell$uniform for some $\ell \le k$. We show that none of the Archimedean types on the torus is semiregular, i.e., for each type, there exists a map whose number of flag orbits is more than its type. We also prove that if a semiequivelar map is $m$semiregular then it has a finite index $t$semiregular minimal cover for $t \le m$. We also show the existence and classification of $n$ sheeted $k$semiregular maps for some $k$ of semiequivelar toroidal maps for each $n \in \mathbb{N}$.
 [112] arXiv:2111.15485 [pdf, ps, other]

Title: Note on a problem of Nathanson related to the $\varphi$Sidon setComments: 6 pages. arXiv admin note: text overlap with arXiv:2101.01034Subjects: Number Theory (math.NT)
Let $\varphi (x_{1}, \ldots, x_{h})=c_{1} x_{1}+\cdots+c_{h} x_{h}$ be a linear form with coefficients in a field $\mathbf{F}$, and let $V$ be a vector space over $\mathbf{F}$. A nonempty subset $A$ of $V$ is a $\varphi$Sidon set if $\varphi\left(a_{1}, \ldots, a_{h}\right)=\varphi\left(a_{1}^{\prime}, \ldots, a_{h}^{\prime}\right)$ implies $\left(a_{1}, \ldots, a_{h}\right)=$ $\left(a_{1}^{\prime}, \ldots, a_{h}^{\prime}\right)$ for all $h$tuples $\left(a_{1}, \ldots, a_{h}\right) \in A^{h}$ and $\left(a_{1}^{\prime}, \ldots, a_{h}^{\prime}\right) \in A^{h}$. We call $A$ a polynomial perturbation of $B$ if for some $r>0$ and positive integer $k_0$, $a_kb_k< k^r$ holds for all integers $k \geq k_0$. In this paper, for a given set $B$, we prove that there exists a $\varphi$Sidon set $A$ of integers that is a polynomial perturbation of $B$. This gives an affirmative answer to a recent problem of Nathanson. Some other results are also proved.
 [113] arXiv:2111.15489 [pdf, ps, other]

Title: Domination of semigroups generated by regular formsComments: 12 pagesSubjects: Functional Analysis (math.FA)
We give a representation for regular forms associated with dominated $C_0$semigroups which, in turn, characterises domination of $C_0$semigroups associated with regular forms. In addition, we prove a relationship between the positivity of (dominated) $C_0$semigroups and the locality of the associated forms.
 [114] arXiv:2111.15495 [pdf, ps, other]

Title: Towards the Purely Wild Inertia ConjectureAuthors: Soumyadip DasComments: 27 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We obtain new evidence for the Purely Wild Inertia Conjecture posed by Abhyankar and for its generalization. We show that this generalized conjecture is true for any product of simple Alternating groups in odd characteristic, and for any product of certain Symmetric or Alternating groups in characteristic two. Using formal patching, we also construct covers with wreath products as Galois groups. It is shown that the Purely Wild Inertia Conjecture is true for any product of perfect quasi $p$groups (groups generated by their Sylow $p$subgroups) if the conjecture is established for individual groups. We also obtain several important results towards the realization of the inertia groups for perfect quasi $p$groups.
 [115] arXiv:2111.15497 [pdf, ps, other]

Title: RateInduced Tipping: Thresholds, Edge States and Connecting OrbitsSubjects: Dynamical Systems (math.DS)
Rateinduced tipping (Rtipping) occurs when timevariation of input parameters of a dynamical system interacts with system timescales to give genuine nonautonomous instabilities. We develop an accessible mathematical framework and give testable criteria for Rtipping in multidimensional nonautonomous dynamical systems with an autonomous future limit. Our focus is on Rtipping via loss of tracking of base attractors that are equilibria in the frozen system, due to crossing what we call regular thresholds. These thresholds are associated with regular edge states: compact hyperbolic invariant sets with one unstable direction and orientable stable manifold that lie on a basin boundary in the frozen system. We define Rtipping and critical rates for the nonautonomous system in terms of special solutions that limit to a compact invariant set of the future limit system that is not an attractor. We then focus on the case when the limit set is a regular edge state of the future limit system, which we call the regular Rtipping edge state that anchors the associated regular Rtipping threshold at infinity. We then introduce the concept of edge tails to rigorously classify Rtipping into reversible, irreversible and degenerate cases. The main idea is to use autonomous dynamics and regular edge states of the future limit system to analyse Rtipping in the nonautonomous system. To that end, we compactify the original nonautonomous system to include the limiting autonomous dynamics. This allows us to give easily verifiable conditions in terms of simple properties of the frozen system and input variation that are sufficient for the occurrence of Rtipping. Additionally, we give necessary and sufficient conditions for the occurrence of reversible and irreversible Rtipping in terms of computationally verifiable (heteroclinic) connections to regular Rtipping edge states in the compactified system.
 [116] arXiv:2111.15499 [pdf, other]

Title: 3Manifolds with Constant Ricci Eigenvalues $(λ, λ, 0)$Authors: Thomas G. BrooksComments: 26 pages, 5 figuresSubjects: Differential Geometry (math.DG)
We consider complete Riemannian $3$manifolds whose Ricci tensors have constant eigenvalues $(\lambda, \lambda, 0)$. When $\pi_1$ is finitely generated, we classify the topology of such manifolds by showing that they have a free fundamental group if nontrivial and that every free group is obtained. We give a description up to isometry, when the metric is locally irreducible or when it is analytic.
 [117] arXiv:2111.15501 [pdf, ps, other]

Title: Hypergeometric Structures in Feynman IntegralsComments: 55 pages, several anc. filesSubjects: Mathematical Physics (mathph); Symbolic Computation (cs.SC); High Energy Physics  Phenomenology (hepph); High Energy Physics  Theory (hepth)
Hypergeometric structures in single and multiscale Feynman integrals emerge in a wide class of topologies. Using integrationbyparts relations, associated master or scalar integrals have to be calculated. For this purpose it appears useful to devise an automated method which recognizes the respective (partial) differential equations related to the corresponding higher transcendental functions. We solve these equations through associated recursions of the expansion coefficient of the multivalued formal Taylor series. The expansion coefficients can be determined using either the package {\tt Sigma} in the case of linear difference equations or by applying heuristic methods in the case of partial linear difference equations. In the present context a new type of sums occurs, the Hurwitz harmonic sums, and generalized versions of them. The code {\tt HypSeries} transforming classes of differential equations into analytic series expansions is described. Also partial difference equations having rational solutions and rational function solutions of Pochhammer symbols are considered, for which the code {\tt solvePartialLDE} is designed. Generalized hypergeometric functions, Appell,~Kamp\'e de F\'eriet, Horn, LauricellaSaran, Srivasta, and Extontype functions are considered. We illustrate the algorithms by examples.
 [118] arXiv:2111.15504 [pdf, other]

Title: Linearisation of the Travel Time Functional in Porous Media FlowsComments: 25 pages, 11 figuresSubjects: Numerical Analysis (math.NA)
The travel time functional measures the time taken for a particle trajectory to travel from a given initial position to the boundary of the domain. Such evaluation is paramount in the postclosure safety assessment of deep geological storage facilities for radioactive waste where leaked, nonsorbing, solutes can be transported to the surface of the site by the surrounding groundwater. The accurate simulation of this transport can be attained using standard dualweightedresidual techniques to derive goaloriented $a$ $posteriori$ error bounds. This work provides a key aspect in obtaining a suitable error estimate for the travel time functional: the evaluation of its G\^ateaux derivative. A mixed finite element method is implemented to approximate Darcy's equations and numerical experiments are presented to test the performance of the proposed error estimator. In particular, we consider a test case inspired by the Sellafield site located in Cumbria, in the UK.
 [119] arXiv:2111.15505 [pdf, other]

Title: Efficient Adaptive Computation of the Dynamics of Mott TransistorsAuthors: Winfried Auzinger, Lukas Einramhof, Karsten Held, Anna Kauch, Othmar Koch, Clemens Watzenböck, Ewa WeinmüllerSubjects: Numerical Analysis (math.NA)
We investigate timeadaptive Magnustype integrators for the numerical approximation of a Mott transistor. The rapidly attenuating electromagnetic field calls for adaptive choice of the time steps. As a basis for step selection, asymptotically correct defectbased estimators of the local error are employed. We analyze the error of the numerical approximation in the presence of the unsmooth external potential and demonstrate the advantages of the adaptive approach.
 [120] arXiv:2111.15508 [pdf, ps, other]

Title: Laplacian comparison theorem on Riemannian manifolds with modified mBakryEmery Ricci lower bounds for $m\leq1$Comments: 27 pages. arXiv admin note: text overlap with arXiv:2001.00444Subjects: Differential Geometry (math.DG)
In this paper, we prove a Laplacian comparison theorem for nonsymmetric diffusion operator on complete smooth $n$dimensional Riemannian manifold having a lower bound of modified $m$Bakry\'Emery Ricci tensor under $m\leq 1$ in terms of vector fields. As consequences, we give the optimal conditions for modified $m$Bakry\'Emery Ricci tensor under $m\leq1$ such that the (weighted) Myers' theorem, BishopGromov volume comparison theorem, AmbroseMyers' theorem, Cheng's maximal diameter theorem, and the CheegerGromoll type splitting theorem hold. Some of these results were wellstudied for $m$Bakry\'Emery Ricci curvature under $m\geq n$ if the vector field is a gradient type. When $m<1$, our results are new in the literature.
 [121] arXiv:2111.15511 [pdf, ps, other]

Title: Local wellposedness of the coupled YangMills and Dirac system in temporal gaugeAuthors: Hartmut PecherSubjects: Analysis of PDEs (math.AP)
We consider the classical YangMills system coupled with a Dirac equation in 3+1 dimensions in temporal gauge. Using that most of the nonlinear terms fulfill a null condition we prove local wellposedness for small data with minimal regularity assumptions. This problem for smooth data was solved forty years ago by Y. ChoquetBruhat and D. Christodoulou. The corresponding problem in Lorenz gauge was considered recently by the author in [P1].
 [122] arXiv:2111.15516 [pdf, ps, other]

Title: On Model Theory of Valued Vector SpacesAuthors: Pierre TouchardSubjects: Logic (math.LO)
In analogy to valued fields, we study modeltheoretic properties of valued vector spaces with variable base field by proving transfer principles down to the skeleton and down to the value set and base field. For instance, we give a formula which computes its burden in terms of the burden of its base field and its value set. To do this, we study these transfer principles in the context of lexicographic products of structures.
 [123] arXiv:2111.15531 [pdf, other]

Title: A Combinatorial Approach to Interleaving Distance between Merge TreesAuthors: Matteo PegoraroSubjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
In this work we approach the study of the interleaving distance between merge trees from a combinatorial point of view. We use a particular type of matching between trees to obtain an upper bound for such distance. We also tackle the problem of approximating optimal matchings between trees by solving linear integer optimization problems in a recursive and dynamical fashion. This is intended as a first step into a combinatorial understanding of the interleaving distance, which could lead to useful parametrizations of maps between merge trees and to a feasible approach to the exact computation of such distances.
 [124] arXiv:2111.15538 [pdf, other]

Title: Peaks of cylindric plane partitionsComments: 11 pages; 2 figures; extended abstractSubjects: Probability (math.PR); Mathematical Physics (mathph); Combinatorics (math.CO)
We study the asymptotic distribution, as the volume parameter goes to 1, of the peak (largest part) of finite or slowlygrowingwidth cylindric plane partitions weighted by their trace, seam, and volume. There are two natural asymptotic regimes depending on the trace/seam parameters, and in both cases we obtain asymptotics governed by finite temperature (periodic) analogues of the Bessel and Airy gap probabilities from random matrix theory. In particular, the distributions we obtain interpolate \emph{in more than one way} between two wellknown extremal value distributions: the Gumbel distribution of maxima of iid random variables and the TracyWidom distribution of maxima of eigenvalues of random Hermitian matrices. We also interpret our results in terms of last passage percolation on a cylinder, which yields to interesting connections to the KardarParisiZhang equation.
 [125] arXiv:2111.15539 [pdf, ps, other]

Title: Smooth rough paths, their geometry and algebraic renormalizationComments: 47 pagesSubjects: Probability (math.PR); Classical Analysis and ODEs (math.CA); Rings and Algebras (math.RA)
We introduce the class of "smooth rough paths" and study their main properties. Working in a smooth setting allows us to discard sewing arguments and focus on algebraic and geometric aspects. Specifically, a MaurerCartan perspective is the key to a purely algebraic form of Lyons extension theorem, the renormalization of rough paths in the spirit of [Bruned, Chevyrev, Friz, Prei{\ss}, A rough path perspective on renormalization, J. Funct. Anal. 277(11), 2019] as well as a related notion of "sum of rough paths". We first develop our ideas in a geometric rough path setting, as this best resonates with recent works on signature varieties, as well the renormalization of geometric rough paths. We then explore extensions to the quasigeometric and the more general Hopf algebraic setting.
 [126] arXiv:2111.15545 [pdf, ps, other]

Title: The combinatorial method to compute the sum of the powers of primesAuthors: Alexey OrlovSubjects: Number Theory (math.NT)
We will generalize the combinatorial algorithms for computing $\pi(x)$ to compute sums ${F(x) = \sum_{p \leq x} p^k}$ for $k \in \mathbb{Z}_{\geq 0}$. The detailed exposition of algorithms is included along with implementation details.
 [127] arXiv:2111.15553 [pdf, ps, other]

Title: Hutchinson's Theorem in Semimetric SpacesSubjects: Dynamical Systems (math.DS)
One of the important consequences of the Banach Fixed Point Theorem is Hutchinson's theorem which states the existence and uniqueness of fractals in complete metric spaces. The aim of this paper is to extend this theorem for semimetric spaces using the results of Bessenyei and P\'ales published in 2017. In doing so, some properties of semimetric spaces as well as of the fractal space are investigated. We extend Hausdorff's theorem to characterize compactness and Blaschke's theorems to characterize the completeness of the fractal space. Based on these preliminaries, an analogue of Hutchinson's Theorem in the setting of semimetric spaces is proved and finally, error estimates and stability of fractals are established as well.
 [128] arXiv:2111.15558 [pdf, other]

Title: A Novel Method for Generating 3D Hydrodynamic Conservation LawsSubjects: Analysis of PDEs (math.AP)
We extend the recent work of Oliveras arXiv:2008.00940 and Oliveras & CalatolaYoung arXiv:2105.07580 to develop a new nonlocal formulation of the waterwave problem for a threedimensional fluid with a twodimensional free surface for an inviscid and irrotational fluid over a flat bathymetry. Using this new formulation, we show how one can systematically derive Benjamin & Olver's twelve conservation laws without explicitly relying on the underlying Lie symmetries. This allows us to make draw new conclusions about conservation laws and posit the potential existence of additional, nonlocal, conservation laws for the waterwave problem.
 [129] arXiv:2111.15560 [pdf, other]

Title: Particle configurations for branching Brownian motion with an inhomogeneous branching rateSubjects: Probability (math.PR)
Aiming to understand the distribution of fitness levels of individuals in a large population undergoing selection, we study the particle configurations of branching Brownian motion where each particle independently moves as Brownian motion with negative drift, particles can die or undergo dyadic fission, and the difference between the birth rate and the death rate is proportional to the particle's location. Under some assumptions, we obtain the limit in probability of the number of particles in any given interval and an explicit formula for the asymptotic empirical density of the fitness distribution. We show that after a sufficiently long time, the fitness distribution from the lowest to the highest fitness levels approximately evolves as a traveling wave with a profile which is asymptotically related the the Airy function. Our work complements the results in Roberts and Schweinsberg (2021), giving a fuller picture of the fitness distribution.
 [130] arXiv:2111.15565 [pdf, ps, other]

Title: From Boltzmann equation for granular gases to a modified NavierStokesFourier systemComments: arXiv admin note: text overlap with arXiv:2008.05173Subjects: Analysis of PDEs (math.AP)
In this paper, we give an overview of the results established in [3] which provides the first rigorous derivation of hydrodynamic equations from the Boltzmann equation for inelastic hard spheres in 3D. In particular, we obtain a new system of hydrodynamic equations describing granular flows and prove existence of classical solutions to the aforementioned system. One of the main issue is to identify the correct relation between the restitution coefficient (which quantifies the rate of energy loss at the microscopic level) and the Knudsen number which allows us to obtain non trivial hydrodynamic behavior. In such a regime, we construct strong solutions to the inelastic Boltzmann equation, near thermal equilibrium whose role is played by the socalled homogeneous cooling state. We prove then the uniform exponential stability with respect to the Knudsen number of such solutions, using a spectral analysis of the linearized problem combined with technical a priori nonlinear estimates. Finally, we prove that such solutions converge, in a specific weak sense, towards some hydrodynamic limit that depends on time and space variables only through macroscopic quantities that satisfy a suitable modification of the incompressible NavierStokesFourier system.
 [131] arXiv:2111.15567 [pdf, ps, other]

Title: CenterOutward Sign and RankBased Quadrant, Spearman, and Kendall Tests for Multivariate IndependenceComments: 23 pagesSubjects: Statistics Theory (math.ST)
Defining multivariate generalizations of the classical univariate ranks has been a longstanding open problem in statistics. Optimal transport has been shown to offer a solution by transporting data points to grid approximating a reference measure (Chernozhukov et al., 2017; Hallin, 2017; Hallin et al., 2021a). We take up this new perspective to develop and study multivariate analogues of popular correlations measures including the sign covariance, Kendall's tau and Spearman's rho. Our tests are genuinely distributionfree, hence valid irrespective of the actual (absolutely continuous) distributions of the observations. We present asymptotic distribution theory for these new statistics, providing asymptotic approximations to critical values to be used for testing independence as well as an analysis of power of the resulting tests. Interestingly, we are able to establish a multivariate elliptical ChernoffSavage property, which guarantees that, under ellipticity, our nonparametric tests of independence when compared to Gaussian procedures enjoy an asymptotic relative efficiency of one or larger. Hence, the nonparametric tests constitute a safe replacement for procedures based on multivariate Gaussianity.
 [132] arXiv:2111.15568 [pdf, other]

Title: Distributed Computation of A Posteriori Bit Likelihood Ratios in CellFree Massive MIMOComments: 5 pages, 2 figures, accepted in 2021 29th European Signal Processing Conference (EUSIPCO)Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper presents a novel strategy to decentralize the soft detection procedure in an uplink cellfree massive multipleinputmultipleoutput network. We propose efficient approaches to compute the a posteriori probabilityperbit, exactly or approximately when having a sequential fronthaul. More precisely, each access point (AP) in the network computes partial sufficient statistics locally, fuses it with received partial statistics from another AP, and then forwards the result to the next AP. Once the sufficient statistics reach the central processing unit, it performs the soft demodulation by computing the loglikelihood ratio (LLR) per bit, and then a channel decoding algorithm (e.g., a Turbo decoder) is utilized to decode the bits. We derive the distributed computation of LLR analytically.
 [133] arXiv:2111.15570 [pdf, other]

Title: Discontinuous Galerkin discretization in time of systems of secondorder nonlinear hyperbolic equationsAuthors: Aili ShaoComments: 48 pages, 1 figureSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
In this paper we study the finite element approximation of systems of secondorder nonlinear hyperbolic equations. The proposed numerical method combines a $hp$version discontinuous Galerkin finite element approximation in the time direction with an $H^1(\Omega)$conforming finite element approximation in the spatial variables. Error bounds at the temporal nodal points are derived under a weak restriction on the temporal step size in terms of the spatial mesh size. Numerical experiments are presented to verify the theoretical results.
 [134] arXiv:2111.15571 [pdf, other]

Title: An Exact Algorithm for Semisupervised Minimum SumofSquares ClusteringSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
The minimum sumofsquares clustering (MSSC), or kmeans type clustering, is traditionally considered an unsupervised learning task. In recent years, the use of background knowledge to improve the cluster quality and promote interpretability of the clustering process has become a hot research topic at the intersection of mathematical optimization and machine learning research. The problem of taking advantage of background information in data clustering is called semisupervised or constrained clustering. In this paper, we present a new branchandbound algorithm for semisupervised MSSC, where background knowledge is incorporated as pairwise mustlink and cannotlink constraints. For the lower bound procedure, we solve the semidefinite programming relaxation of the MSSC discrete optimization model, and we use a cuttingplane procedure for strengthening the bound. For the upper bound, instead, by using integer programming tools, we propose an adaptation of the kmeans algorithm to the constrained case. For the first time, the proposed global optimization algorithm efficiently manages to solve realworld instances up to 800 data points with different combinations of mustlink and cannotlink constraints and with a generic number of features. This problem size is about four times larger than the one of the instances solved by stateoftheart exact algorithms.
 [135] arXiv:2111.15575 [pdf, ps, other]

Title: Measurability, Spectral Densities and Hypertracesin Noncommutative GeometrySubjects: Operator Algebras (math.OA)
We introduce, in the dual Macaev ideal of compact operators of a Hilbert space, the spectral weight $\rho(L)$ of a positive, selfadjoint operator $L$ having discrete spectrum away from zero. We provide criteria for its measurability and unitarity of its Dixmier traces ($\rho(L)$ is then called spectral density) in terms of the growth of the spectral multiplicities of $L$ or in terms of the asymptotic continuity of the eigenvalue counting function $N_L$. Existence of meromorphic extensions and residues of the $\zeta$function $\zeta_L$ of a spectral density are provided under summability conditions on spectral multiplicities. The hypertrace property of the states $\Omega_L(\cdot)={\rm Tr\,}_\omega (\cdot\rho(L))$ on the norm closure of the Lipschitz algebra $\mathcal{A}_L$ follows if the relative multiplicities of $L$ vanish faster than its spectral gaps or if $N_L$ is asymptotically regular.
 [136] arXiv:2111.15576 [pdf, ps, other]

Title: Slope classicality via completed cohomologyAuthors: Sean HoweComments: 5 pages + references. Comments welcome!Subjects: Number Theory (math.NT)
We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding of the quotient of overconvergent modular forms by classical modular forms, which is the obstruction space for classicality in either cohomological degree, into a unitary representation of $\mathrm{GL}_2(\mathbb{Q}_p)$. The $U_p$ operator becomes a doublecoset, and unitarity yields the slope vanishing.
 [137] arXiv:2111.15577 [pdf, ps, other]

Title: Warning Propagation: stability and subcriticalityComments: arXiv admin note: substantial text overlap with arXiv:2102.00970Subjects: Combinatorics (math.CO)
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$core of a random graph. Here we analyse Warning Propagation in full generality on a very general class of multitype random graphs. We prove that under mild assumptions on the random graph model and the stability of the the message limit, Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a multitype GaltonWatson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$core paper (JCTB 1996).
 [138] arXiv:2111.15580 [pdf, ps, other]

Title: Dirichlet eigenvalues of Schwarz triangle (3/2 3/2 3/2)Authors: Jim TaoComments: 6 pagesSubjects: Differential Geometry (math.DG)
In this paper we compute the first two Dirichlet eigenvalues and corresponding eigenfunctions of the equilateral Schwarz triangle (3/2 3/2 3/2) on the sphere.
 [139] arXiv:2111.15582 [pdf, ps, other]

Title: Hilbert's Irreducibility Theorem and Ideal Class Groups of Quadratic FieldsSubjects: Number Theory (math.NT)
We prove a version of Hilbert's Irreducibility Theorem in the quadratic case, giving a quantitative improvement to a result of BiluGillibert in this restricted setting. As an application, we give improvements to several quantitative results counting quadratic fields with certain types of ideal class groups. The proof of the main theorem is based on a result of Stewart and Top on values of binary forms modulo squares.
 [140] arXiv:2111.15586 [pdf, ps, other]

Title: Homomorphic encoders of profinite abelian groups IIComments: Portions of this work previously appeared as arXiv:2103.13135, which has been splitSubjects: General Topology (math.GN); Information Theory (cs.IT); Group Theory (math.GR)
Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1[1,i]}=c_{[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{[1,n_i]})$. In this paper we investigate the structure of order controllable group codes. It is proved that if $G$ is an order controllable, shift invariant, group code over a finite abelian group $H$, then $G$ possesses a finite canonical generating set. Furthermore, our construction also yields that $G$ is algebraically conjugate to a full group shift.
 [141] arXiv:2111.15600 [pdf, ps, other]

Title: The TwoPhase Stefan Problem with Anomalous DiffusionSubjects: Analysis of PDEs (math.AP)
The nonlocal in space twophase Stefan problem (a prototype in phase change problems) can be formulated via a singular nonlinear parabolic integrodifferential equation which admits a unique weak solution. This formulation makes Stefan problem to be part of the General Filtration Problems; a class which includes the Porous Medium Equation. In this work, we prove that the weak solutions to both Stefan and Porous Media problems are continuous.
 [142] arXiv:2111.15609 [pdf, ps, other]

Title: On onerelator groups and units of special onerelation inverse monoidsAuthors: CarlFredrik NybergBroddaComments: 22 pages, 74 referencesSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
This note investigates and clarifies some connections between the theory of onerelator groups and special onerelation inverse monoids, i.e. those inverse monoids with a presentation of the form $\operatorname{Inv}\langle A \mid w=1 \rangle$. We show that every onerelator group admits a special onerelation inverse monoid presentation. We subsequently consider the classes ${\rm {\small ANY}}, {\rm {\small RED}}, {\rm {\small CRED}},$ and ${\rm {\small POS}}$ of onerelator groups which can be defined by special onerelation inverse monoid presentations in which the defining word is arbitrary; reduced; cyclically reduced; or positive, respectively. We show that the inclusions ${\rm {\small ANY}} \supset {\rm {\small CRED}} \supset {\rm {\small POS}}$ are all strict. Conditional on a natural conjecture, we prove ${\rm {\small ANY}} \supset {\rm {\small RED}}$. Following this, we use the Benois algorithm recently devised by Gray & Ruskuc to produce an infinite family of special onerelation inverse monoids which exhibit similar pathological behaviour (which we term O'Haresque) to the O'Hare monoid with respect to computing the minimal invertible pieces of the defining word. Finally, we provide a counterexample to a conjecture by Gray & Ruskuc that the Benois algorithm always correctly computes the minimal invertible pieces of a special onerelation inverse monoid.
 [143] arXiv:2111.15612 [pdf, other]

Title: Percolation and $O(1)$ loop modelComments: 9 pages, 4 figuresSubjects: Probability (math.PR); Mathematical Physics (mathph); Complex Variables (math.CV)
We present an "ultimate" proof of Cardy's formula for the critical percolation on the hexagonal lattice \cite{Smirnov01criticalpercolation}, showing the existence of the universal and conformally invariant scaling limit of crossing probabilities. The new approach is more conceptual, less technically demanding, and is amenable to generalizations.
 [144] arXiv:2111.15620 [pdf, other]

Title: Bayesian Level Set Approach for Inverse Problems with Piecewise Constant ReconstructionsSubjects: Numerical Analysis (math.NA)
There are several challenges associated with inverse problems in which we seek to reconstruct a piecewise constant field, and which we model using multiple level sets. Adopting a Bayesian viewpoint, we impose prior distributions on both the level set functions that determine the piecewise constant regions as well as the parameters that determine their magnitudes. We develop a GaussNewton approach with a backtracking line search to efficiently compute the maximum a priori (MAP) estimate as a solution to the inverse problem. We use the GaussNewton Laplace approximation to construct a Gaussian approximation of the posterior distribution and use preconditioned Krylov subspace methods to sample from the resulting approximation. To visualize the uncertainty associated with the parameter reconstructions we compute the approximate posterior variance using a matrixfree Monte Carlo diagonal estimator, which we develop in this paper. We will demonstrate the benefits of our approach and solvers on synthetic test problems (photoacoustic and hydraulic tomography, respectively a linear and nonlinear inverse problem) as well as an application to Xray imaging with real data.
 [145] arXiv:2111.15645 [pdf, other]

Title: Survey Descent: A Multipoint Generalization of Gradient Descent for Nonsmooth OptimizationSubjects: Optimization and Control (math.OC); Computational Geometry (cs.CG); Machine Learning (cs.LG); Numerical Analysis (math.NA)
For strongly convex objectives that are smooth, the classical theory of gradient descent ensures linear convergence relative to the number of gradient evaluations. An analogous nonsmooth theory is challenging: even when the objective is smooth at every iterate, the corresponding local models are unstable, and traditional remedies need unpredictably many cutting planes. We instead propose a multipoint generalization of the gradient descent iteration for local optimization. While designed with general objectives in mind, we are motivated by a "maxofsmooth" model that captures subdifferential dimension at optimality. We prove linear convergence when the objective is itself maxofsmooth, and experiments suggest a more general phenomenon.
 [146] arXiv:2111.15648 [pdf, ps, other]

Title: A coherent categorification of the based ring of the lowest twosided cellAuthors: Stefan DawydiakComments: 18 pages, comments welcome!Subjects: Representation Theory (math.RT)
We give a coherent categorification of $J_0$, the based ring of the lowest two sided cell of an affine Weyl group, equipped with a monoidal functor from the category of coherent sheaves on the derived Steinberg variety. We show that our categorification acts on natural coherent categorifications of the Iwahori invariants of the Schwartz space of the basic affine space. In low rank cases, we construct complexes that lift the basis elements $t_w$ of $J_0$ and their structure constants.
 [147] arXiv:2111.15652 [pdf, ps, other]

Title: Stability of pullback of orbifold bundlesComments: 30 pages, comments are welcome!Subjects: Algebraic Geometry (math.AG)
In this article, we prove a categorical equivalence between proper formal orbifold curves and proper orbifold curves in the sense of DeligneMumford stacks. Using this identification, we define the notion of $P$(semi)stability of vector bundles on proper formal orbifold curves $(X,P)$. Finally, we show that the pullback of a $P$stable vector bundle under a morphism $f \colon (Y,Q)\longrightarrow (X,P)$ between two formal orbifold curves is $Q$stable if and only if the underlying finite cover $f \colon Y \longrightarrow X$ is genuinely ramified.
 [148] arXiv:2111.15653 [pdf, ps, other]

Title: Asymptotic Behavior of Differential PowersAuthors: Jennifer Kenkel, Lillian McPherson, Janet Page, Daniel Smolkin, Monroe Stephenson, Fuxiang YangSubjects: Commutative Algebra (math.AC)
In this paper, we study the differential power operation on ideals. We begin with a focus on monomial ideals in characteristic 0 and find a class of ideals whose differential powers are eventually principal. We also study the containment problem between ordinary and differential powers of ideals, in analogy to earlier work comparing ordinary and symbolic powers of ideals. We further define a possible closure operation on ideals, called the differential closure, in analogy with integral closure and tight closure. We show that this closure operation agrees with taking the radical of an ideal if and only if the ambient ring is a simple $D$module.
 [149] arXiv:2111.15657 [pdf, ps, other]

Title: Numerical solution of several secondorder ordinary differential equations containing logistic maps as nonlinear coefficientsComments: 11 pages, 8 figuresSubjects: Numerical Analysis (math.NA); Chaotic Dynamics (nlin.CD)
This work is devoted to find the numerical solutions of several one dimensional secondorder ordinary differential equations. In a heuristic way, in such equations the quadratic logistic maps regarded as a local function are inserted within the nonlinear coefficient of the function as well as within the independent term. We apply the Numerov algorithm to solve these equations and we discuss the role of the initial conditions of the logistic maps in such solutions.
 [150] arXiv:2111.15658 [pdf, other]

Title: Pseudoisotopies and diffeomorphisms of 4manifoldsAuthors: Oliver SinghComments: 56 pages, 18 figuresSubjects: Geometric Topology (math.GT)
A diffeomorphism $f$ of a compact manifold $X$ is pseudoisotopic to the identity if there is a diffeomorphism $F$ of $X\times I$ which restricts to $f$ on $X\times 1$, and which restricts to the identity on $X\times 0$ and $\partial X\times I$. We construct examples of diffeomorphisms of 4manifolds which are pseudoisotopic but not isotopic to the identity. To do so, we further understanding of which elements of the "second pseudoisotopy obstruction", defined by Hatcher and Wagoner, can be realised by pseudoisotopies of 4manifolds. We also prove that all elements of the first and second pseudoisotopy obstructions can be realised after connected sums with copies of $S^2\times S^2$.
 [151] arXiv:2111.15663 [pdf, ps, other]

Title: Equivariant Chevalley, Giambelli, and Monk Formulae for the Peterson VarietyComments: 25 pages, 3 tablesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We present a formula for the Poincar\'e dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a typeindependent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.
Crosslists for Wed, 1 Dec 21
 [152] arXiv:2111.14868 (crosslist from condmat.strel) [pdf, other]

Title: Towards topological fixedpoint models beyond gappable boundariesSubjects: Strongly Correlated Electrons (condmat.strel); Quantum Algebra (math.QA); Quantum Physics (quantph)
We consider fixedpoint models for topological phases of matter formulated as discrete path integrals in the language of tensor networks. Such zerocorrelation length models with an exact notion of topological invariance are known in the mathematical community as statesum constructions or lattice topological quantum field theories. All of the established ansatzes for fixedpoint models imply the existence of a gapped boundary as well as a commutingprojector Hamiltonian. Thus, they fail to capture topological phases without a gapped boundary or commutingprojector Hamiltonian, most notably chiral topological phases in $2+1$ dimensions. In this work, we present a more general fixedpoint ansatz not affected by the aforementioned restrictions. Thus, our formalism opens up a possible way forward towards a microscopic fixedpoint description of chiral phases and we present several strategies that may lead to concrete examples. Furthermore, we argue that our more general ansatz constitutes a universal form of topological fixedpoint models, whereas established ansatzes are universal only for fixedpoints of phases which admit topological boundaries.
 [153] arXiv:2111.14928 (crosslist from quantph) [pdf, ps, other]

Title: Noncommutative Nullstellensätze and Perfect GamesComments: 58 pagesSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
The foundations of classical Algebraic Geometry and Real Algebraic Geometry are the Nullstellensatz and Positivstellensatz. Over the last two decades the basic analogous theorems for matrix and operator theory (noncommutative variables) have emerged. This paper concerns commuting operator strategies for nonlocal games, recalls NC Nullstellensatz which are helpful, extends these, and applies them to a very broad collection of games. In the process it brings together results spread over different literatures, hence rather than being terse, our style is fairly expository.
The main results of this paper are two characterizations, based on Nullstellensatz, which apply to games with perfect commuting operator strategies. The first applies to all games and reduces the question of whether or not a game has a perfect commuting operator strategy to a question involving left ideals and sums of squares. Previously, Paulsen and others translated the study of perfect synchronous games to problems entirely involving a $*$algebra.The characterization we present is analogous, but works for all games. The second characterization is based on a new Nullstellensatz we derive in this paper. It applies to a class of games we call torically determined games, special cases of which are XOR and linear system games. For these games we show the question of whether or not a game has a perfect commuting operator strategy reduces to instances of the subgroup membership problem and, for linear systems games, we further show this subgroup membership characterization is equivalent to the standard characterization of perfect commuting operator strategies in terms of solution groups. Both the general and torically determined games characterizations are amenable to computer algebra techniques, which we also develop.  [154] arXiv:2111.14964 (crosslist from qbio.PE) [pdf, other]

Title: Fitness landscape adaptation in open replicator systems with competition: application to cancer therapySubjects: Populations and Evolution (qbio.PE); Dynamical Systems (math.DS); Numerical Analysis (math.NA)
This study focuses on open quasispecies systems with competition and death flow, described by modified Eigen and CrowKimura models. We examine the evolutionary adaptation process as a reaction to changes in rates. One of the fundamental assumptions, which forms the basis of our mathematical model, is the existence of two different timescales: internal dynamics time and evolutionary time. The latter is much slower and exhibits significant adaptation events. These conditions allow us to represent the whole evolutionary process through a series of steadystate equations, where all the elements continuously depend on the evolutionary parameter.
 [155] arXiv:2111.14984 (crosslist from cs.CE) [pdf, other]

Title: Continuous conditional generative adversarial networks for datadriven solutions of poroelasticity with heterogeneous material propertiesSubjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
Machine learningbased datadriven modeling can be computationally efficient solutions of timedependent subsurface geophysical systems. In this work, our previous approach of conditional generative adversarial networks (cGAN) developed for steadystate problems with heterogeneous materials is extended to timedependent problems by adopting the concept of continuous cGAN (CcGAN). The CcGAN that can condition continuous variables in the cGAN framework is developed to incorporate the time domain through either elementwise addition or conditional batch normalization. As a demonstration case, the transient response of the coupled poroelastic process is studied in two different permeability fields: Zinn \& Harvey transformation and a bimodal transformation. The proposed CcGAN uses heterogeneous permeability fields as input parameters while pressure and displacement fields over time are model output. Our results show that the model provides sufficient accuracy with computational speedup. This robust framework will enable us to perform realtime reservoir management and robust uncertainty quantification in realistic problems.
 [156] arXiv:2111.14991 (crosslist from cs.LG) [pdf, other]

Title: Bayesian Optimization for autotuning GPU kernelsComments: In context of the 2021 International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS) at SuperComputing 2021. Pending publication in IEEE Computer Society Technical Consortium on High Performance Computing (TCHPC)Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Optimization and Control (math.OC)
Finding optimal parameter configurations for tunable GPU kernels is a nontrivial exercise for large search spaces, even when automated. This poses an optimization task on a nonconvex search space, using an expensive to evaluate function with unknown derivative. These characteristics make a good candidate for Bayesian Optimization, which has not been applied to this problem before. However, the application of Bayesian Optimization to this problem is challenging. We demonstrate how to deal with the rough, discrete, constrained search spaces, containing invalid configurations. We introduce a novel contextual variance exploration factor, as well as new acquisition functions with improved scalability, combined with an informed acquisition function selection mechanism. By comparing the performance of our Bayesian Optimization implementation on various test cases to the existing search strategies in Kernel Tuner, as well as other Bayesian Optimization implementations, we demonstrate that our search strategies generalize well and consistently outperform other search strategies by a wide margin.
 [157] arXiv:2111.15084 (crosslist from stat.CO) [pdf, other]

Title: Convergence Rate of Multipletry Metropolis Independent samplerSubjects: Computation (stat.CO); Statistics Theory (math.ST)
The Multipletry Metropolis (MTM) method is an interesting extension of the classical MetropolisHastings algorithm. However, theoretical understandings of its convergence behavior as well as whether and how it may help are still unknown. This paper derives the exact convergence rate for Multipletry Metropolis Independent sampler (MTMIS) via an explicit eigen analysis. As a byproduct, we prove that MTMIS is less efficient than the simpler approach of repeated independent MetropolisHastings method at the same computational cost. We further explore more variations and find it possible to design more efficient MTM algorithms by creating correlated multiple trials.
 [158] arXiv:2111.15099 (crosslist from cs.LG) [pdf, other]

Title: Trust the Critics: Generatorless and Multipurpose WGANs with Initial Convergence GuaranteesComments: 20 pages, 8 figuresSubjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
Inspired by ideas from optimal transport theory we present Trust the Critics (TTC), a new algorithm for generative modelling. This algorithm eliminates the trainable generator from a Wasserstein GAN; instead, it iteratively modifies the source data using gradient descent on a sequence of trained critic networks. This is motivated in part by the misalignment which we observed between the optimal transport directions provided by the gradients of the critic and the directions in which data points actually move when parametrized by a trainable generator. Previous work has arrived at similar ideas from different viewpoints, but our basis in optimal transport theory motivates the choice of an adaptive step size which greatly accelerates convergence compared to a constant step size. Using this step size rule, we prove an initial geometric convergence rate in the case of source distributions with densities. These convergence rates cease to apply only when a nonnegligible set of generated data is essentially indistinguishable from real data. Resolving the misalignment issue improves performance, which we demonstrate in experiments that show that given a fixed number of training epochs, TTC produces higher quality images than a comparable WGAN, albeit at increased memory requirements. In addition, TTC provides an iterative formula for the transformed density, which traditional WGANs do not. Finally, TTC can be applied to map any source distribution onto any target; we demonstrate through experiments that TTC can obtain competitive performance in image generation, translation, and denoising without dedicated algorithms.
 [159] arXiv:2111.15100 (crosslist from qbio.QM) [pdf]

Title: A Novel Heart Disease Classification Algorithm based on Fourier Transform and Persistent HomologySubjects: Quantitative Methods (qbio.QM); General Topology (math.GN)
Classification and prediction of heart disease is a significant problem to realize medical treatment and life protection. In this paper, persistent homology is involved to analyze electrocardiograms and a novel heart disease classification method is proposed. Each electrocardiogram becomes a point cloud by sliding windows and fast Fourier transform embedding. The obtained point cloud reveals periodicity and stability characteristics of electrocardiograms. By persistent homology, three topological features including normalized persistent entropy, maximum life of time and maximum life of Betty number are extracted. These topological features show the structural differences between different types of electrocardiograms and display encouraging potentiality in classification of heart disease.
 [160] arXiv:2111.15130 (crosslist from cs.DC) [pdf]

Title: Thermal entropy based hesitant fuzzy linguistic term set analysis in energy efficient opportunistic clusteringComments: 10 pages, 5 figures, International Conference on Networks and Communications (NETWORKS 2021)Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)
Limited energy resources and sensor nodes adaptability with the surrounding environment play a significant role in the sustainable Wireless Sensor Networks. This paper proposes a novel, dynamic, selforganizing opportunistic clustering using Hesitant Fuzzy Linguistic Term Analysisbased MultiCriteria Decision Modeling methodology in order to overcome the CH decision making problems and network lifetime bottlenecks. The asynchronous sleep/awake cycle strategy could be exploited to make an opportunistic connection between sensor nodes using opportunistic connection random graph. Every node in the network observe the node gain degree, energy welfare, relative thermal entropy, link connectivity, expected optimal hop, link quality factor etc. to form the criteria for Hesitant Fuzzy Linguistic Term Set. It makes the node to evaluate its current state and make the decision about the required action (CH, CM or relay). The simulation results reveal that our proposed scheme leads to an improvement in network lifetime, packet delivery ratio and overall energy consumption against existing benchmarks.
 [161] arXiv:2111.15153 (crosslist from physics.fludyn) [pdf, other]

Title: Oblique transition in hypersonic doublewedge flow: An inputoutput viewpointComments: 32 pages, 26 figuresSubjects: Fluid Dynamics (physics.fludyn); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Optimization and Control (math.OC); Chaotic Dynamics (nlin.CD)
We utilize inputoutput and weakly nonlinear analyses in combination with direct numerical simulations (DNS) to identify mechanisms for oblique transition in a Mach 5 hypersonic flow over an adiabatic slender doublewedge. Even though the laminar separated flow is globally stable, inputoutput analysis demonstrates significant amplification of unsteady external disturbances. These disturbances are introduced upstream of the separation zone and they lead to the appearance of oblique waves further downstream. We demonstrate that large amplification of oblique waves arises from interactions of the fluctuation shear stress with streamline curvature of the laminar base flow in the separated shear layer. This is in contrast to the attached boundary layers, where no such mechanism exists. We also use a weakly nonlinear analysis to show that the resolvent operator associated with linearization around the laminar base flow governs the evolution of steady reattachment streaks that arise from quadratic interactions of unsteady oblique waves. These quadratic interactions generate vortical excitations in the reattaching shear layer which lead to the formation of streaks in the recirculation zone and their subsequent amplification, breakdown, and transition to turbulence downstream. Our analysis of the energy budget shows that deceleration of the base flow near reattachment is primarily responsible for amplification of steady streaks. Finally, we employ DNS to examine latter stages of transition to turbulence and demonstrate the predictive power of inputoutput framework in uncovering triggering mechanisms for oblique transition in separated highspeed boundary layer flows.
 [162] arXiv:2111.15204 (crosslist from qfin.RM) [pdf, ps, other]

Title: Estimation of intersector asset correlationsAuthors: Christian MeyerComments: 15 pagesSubjects: Risk Management (qfin.RM); Probability (math.PR); Computational Finance (qfin.CP)
Asset correlations are an intuitive and therefore popular way to incorporate event dependence into event risk, e.g., default risk, modeling. In this paper we study the case of estimation of intersector asset correlations by separation of crosssectional dimension and time dimension.
 [163] arXiv:2111.15225 (crosslist from qbio.PE) [pdf, other]

Title: Brauer and partition diagram models for phylogenetic trees and forestsComments: 22 pages, 15 figuresSubjects: Populations and Evolution (qbio.PE); Combinatorics (math.CO); Category Theory (math.CT)
We introduce a new correspondence between phylogenetic trees and Brauer diagrams, inspired by links between binary trees and matchings described by Diaconis and Holmes (1998). This correspondence gives rise to a range of semigroup structures on the set of phylogenetic trees, and opens the prospect of many applications. We furthermore extend the DiaconisHolmes correspondence from binary trees to nonbinary trees and to forests, showing for instance that the set of all forests is in bijection with the set of partitions of finite sets.
 [164] arXiv:2111.15228 (crosslist from cs.LG) [pdf, other]

Title: Global Convergence Using Policy Gradient Methods for Modelfree Markovian Jump Linear Quadratic ControlComments: 42 pages, 3 figuresSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Owing to the growth of interest in Reinforcement Learning in the last few years, gradient based policy control methods have been gaining popularity for Control problems as well. And rightly so, since gradient policy methods have the advantage of optimizing a metric of interest in an endtoend manner, along with being relatively easy to implement without complete knowledge of the underlying system. In this paper, we study the global convergence of gradientbased policy optimization methods for quadratic control of discretetime and modelfree Markovian jump linear systems (MJLS). We surmount myriad challenges that arise because of more than one states coupled with lack of knowledge of the system dynamics and show global convergence of the policy using gradient descent and natural policy gradient methods. We also provide simulation studies to corroborate our claims.
 [165] arXiv:2111.15254 (crosslist from hepth) [pdf, ps, other]

Title: Global Anomalies and Bordism Invariants in One DimensionAuthors: Saki KoizumiComments: 39+1 pagesSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We consider massless Majorana fermion systems with $G=\mathbb{Z}_N$, $SO(N)$, and $O(N)$ symmetry in onedimensional spacetime. In these theories, phase ambiguities of the partition functions are given as the exponential of the $\eta$invariant of the Dirac operators in two dimensions, which is a bordism invariant. We construct sufficient numbers of bordism invariants to detect all bordism classes. Then, we classify global anomalies by calculating the $\eta$invariant of these bordism classes.
 [166] arXiv:2111.15255 (crosslist from eess.SY) [pdf]

Title: Double Fuzzy Probabilistic Interval Linguistic Term Set and a Dynamic Fuzzy Decision Making Model based on Markov Process with tts Application in Multiple Criteria Group Decision MakingAuthors: Zongmin LiuComments: submitted to IEEE Transactions on Fuzzy SystemsSubjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); General Economics (econ.GN); Optimization and Control (math.OC)
The probabilistic linguistic term has been proposed to deal with probability distributions in provided linguistic evaluations. However, because it has some fundamental defects, it is often difficult for decisionmakers to get reasonable information of linguistic evaluations for group decision making. In addition, weight information plays a significant role in dynamic information fusion and decision making process. However, there are few research methods to determine the dynamic attribute weight with time. In this paper, I propose the concept of double fuzzy probability interval linguistic term set (DFPILTS). Firstly, fuzzy semantic integration, DFPILTS definition, its preference relationship, some basic algorithms and aggregation operators are defined. Then, a fuzzy linguistic Markov matrix with its network is developed. Then, a weight determination method based on distance measure and information entropy to reducing the inconsistency of DFPILPR and obtain collective priority vector based on group consensus is developed. Finally, an aggregationbased approach is developed, and an optimal investment case from a financial risk is used to illustrate the application of DFPILTS and decision method in multicriteria decision making.
 [167] arXiv:2111.15281 (crosslist from quantph) [pdf, ps, other]

Title: Exact solution of the manybody problem with a $\mathcal{O}\left(n^6\right)$ complexityAuthors: Thierry DeutschSubjects: Quantum Physics (quantph); Strongly Correlated Electrons (condmat.strel); Mathematical Physics (mathph); Chemical Physics (physics.chemph)
In this article, we define a new mathematical object, called a pair of anticommutant density matrices (ACDM) based on the relation $a^\dag_{i} a_{j} + a_{j} a^\dag_{i} = \delta_{ij}$ applied to the scalar product between the manybody wavefunctions. These new objects form a Hilbert space $\mathcal{D}_N$ isomorph to the usual Hilbert space $\mathcal{H}_N$ of the $N$body wavefunctions. We show that we can have a compact description of any ACDM and this is the key to express exactly the twobody reduced density matrix of any $N$body wavefunction by a set of ACDMs and to determine the ground state energy with a $\mathcal{O}\left(n^6\right)$ complexity.
 [168] arXiv:2111.15317 (crosslist from cs.LG) [pdf, other]

Title: AutoDrop: Training Deep Learning Models with Automatic Learning Rate DropComments: 12 figures, 23 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Modern deep learning (DL) architectures are trained using variants of the SGD algorithm that is run with a $\textit{manually}$ defined learning rate schedule, i.e., the learning rate is dropped at the predefined epochs, typically when the training loss is expected to saturate. In this paper we develop an algorithm that realizes the learning rate drop $\textit{automatically}$. The proposed method, that we refer to as AutoDrop, is motivated by the observation that the angular velocity of the model parameters, i.e., the velocity of the changes of the convergence direction, for a fixed learning rate initially increases rapidly and then progresses towards soft saturation. At saturation the optimizer slows down thus the angular velocity saturation is a good indicator for dropping the learning rate. After the drop, the angular velocity "resets" and follows the previously described pattern  it increases again until saturation. We show that our method improves over SOTA training approaches: it accelerates the training of DL models and leads to a better generalization. We also show that our method does not require any extra hyperparameter tuning. AutoDrop is furthermore extremely simple to implement and computationally cheap. Finally, we develop a theoretical framework for analyzing our algorithm and provide convergence guarantees.
 [169] arXiv:2111.15332 (crosslist from quantph) [pdf, ps, other]

Title: Quantum algorithm for stochastic optimal stopping problemsComments: 44 pagesSubjects: Quantum Physics (quantph); Probability (math.PR); Computational Finance (qfin.CP)
The famous least squares Monte Carlo (LSM) algorithm combines linear least square regression with Monte Carlo simulation to approximately solve problems in stochastic optimal stopping theory. In this work, we propose a quantum LSM based on quantum access to a stochastic process, on quantum circuits for computing the optimal stopping times, and on quantum Monte Carlo techniques. For this algorithm we elucidate the intricate interplay of function approximation and quantum Monte Carlo algorithms. Our algorithm achieves a nearly quadratic speedup in the runtime compared to the LSM algorithm under some mild assumptions. Specifically, our quantum algorithm can be applied to American option pricing and we analyze a case study for the common situation of Brownian motion and geometric Brownian motion processes.
 [170] arXiv:2111.15359 (crosslist from physics.fludyn) [pdf, ps, other]

Title: Stochastic modeling of surface scalarflux fluctuations in turbulent channel flow using onedimensional turbulenceComments: Accepted manuscript. 30 pages, 13 figures. Versionofrecord available online 11/30/2021 at URL: this https URLJournalref: International Journal of Heat and Fluid Flow, Volume 93, February 2022, 108889Subjects: Fluid Dynamics (physics.fludyn); Statistical Mechanics (condmat.statmech); Dynamical Systems (math.DS)
Accurate and economical modeling of nearsurface transport processes is a standing challenge for various engineering and atmospheric boundarylayer flows. In this paper, we address this challenge by utilizing a stochastic onedimensional turbulence (ODT) model. ODT aims to resolve all relevant scales of a turbulent flow for a onedimensional domain. Here ODT is applied to turbulent channel flow as standalone tool. The ODT domain is a wallnormal line that is aligned with the mean shear. The free model parameters are calibrated once for the turbulent velocity boundary layer at a fixed Reynolds number. After that, we use ODT to investigate the Schmidt ($Sc$), Reynolds ($Re$), and Peclet ($Pe$) number dependence of the scalar boundarylayer structure, turbulent fluctuations, transient surface fluxes, mixing, and transfer to a wall. We demonstrate that the model is able to resolve relevant wallnormal transport processes across the turbulent boundary layer and that it captures statespace statistics of the surface scalarflux fluctuations. In addition, we show that the predicted mean scalar transfer, which is quantified by the Sherwood ($Sh$) number, selfconsistently reproduces established scaling regimes and asymptotic relations. For high asymptotic $Sc$ and $Re$, ODT results fall between the DittusBoelter, $Sh\sim Re^{4/5}\,Sc^{2/5}$, and Colburn, $Sh\sim Re^{4/5}\,Sc^{1/3}$, scalings but they are closer to the former. For finite $Sc$ and $Re$, the model prediction reproduces the relation proposed by Schwertfirm and Manhart (Int. J. Heat Fluid Flow, vol. 28, pp. 12041214, 2007) that yields locally steeper effective scalings than any of the established asymptotic relations. The model extrapolates the scalar transfer to small asymptotic $Sc\ll Re_\tau^{1}$ (diffusive limit) with a functional form that has not been previously described.
 [171] arXiv:2111.15371 (crosslist from stat.ME) [pdf, other]

Title: A Hierarchical Geodesic Model for Longitudinal Analysis on ManifoldsComments: This is a preprint version of an article submitted to the Journal of Mathematical Imaging and Vision c\c{opyright}SpringerSubjects: Methodology (stat.ME); Differential Geometry (math.DG); Metric Geometry (math.MG); Optimization and Control (math.OC); Applications (stat.AP)
In many applications, geodesic hierarchical models are adequate for the study of temporal observations. We employ such a model derived for manifoldvalued data to Kendall's shape space. In particular, instead of the Sasaki metric, we adapt a functionalbased metric, which increases the computational efficiency and does not require the implementation of the curvature tensor. We propose the corresponding variational time discretization of geodesics and employ the approach for longitudinal analysis of 2D rat skulls shapes as well as 3D shapes derived from an imaging study on osteoarthritis. Particularly, we perform hypothesis test and estimate the mean trends.
 [172] arXiv:2111.15390 (crosslist from hepth) [pdf, ps, other]

Title: Analytic resurgence in the O(4) modelComments: 35 pages, LaTeX, no figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We study the perturbative expansion of the ground state energy in the presence of an external field coupled to a conserved charge in the integrable twodimensional O$(4)$ nonlinear sigma model. By solving Volin's algebraic equations for the perturbative coefficients we study the large order asymptotic behaviour of the perturbative series analytically. We confirm the previously numerically found leading behaviour and study the nearest singularities of the Borel transformed series and the associated alien derivatives. We find a 'resurgence' behaviour: the leading alien derivatives can be expressed in terms of the original perturbative series. A simplified 'toy' model is also considered: here the perturbative series can be found in a closed form and the resurgence properties are very similar to that found in the real problem.
 [173] arXiv:2111.15407 (crosslist from eess.SY) [pdf, other]

Title: Monotone oneport circuitsSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Maximal monotonicity is explored as a generalization of the linear theory of passivity, aiming at an algorithmic input/output analysis of physical models. The theory is developed for maximal monotone oneport circuits, formed by the series and parallel interconnection of basic elements. An algorithmic method is presented for solving the periodic output of a periodically driven circuit using a maximal monotone splitting algorithm, which allows computation to be separated for each circuit component. A new splitting algorithm is presented, which applies to any monotone circuit defined as a port interconnection of monotone elements.
 [174] arXiv:2111.15427 (crosslist from astroph.CO) [pdf, other]

Title: Anomalies in the topology of the temperature fluctuations in the cosmic microwave background: An analysis of the $\texttt{NPIPE}$ and $\texttt{FFP10}$ data releasesAuthors: Pratyush PranavComments: 16 figures, 2 tables. Matches accepted version in A&A. arXiv admin note: substantial text overlap with arXiv:2101.02237Subjects: Cosmology and Nongalactic Astrophysics (astroph.CO); Algebraic Topology (math.AT)
We present a multiscale topological analysis of the temperature fluctuation maps from the NPIPE and FFP10 datasets, invoking relative homology to account for the analysis in the presence of masks. For the topological components, we detect a $2.96\sigma$ deviation between the observations and simulations at $N = 128, FWHM = 80'$, for the FFP10 dataset. For the topological loops, we observe a high deviation between the observation and simulations in the number of loops at $FWHM = 320'$, at a low dimensionless threshold $\nu = 2.5$, for the NPIPE dataset. Under a Gaussian assumption, this would amount to a deviation of $\sim 4\sigma$ . However, the distribution in this bin is manifestly nonGaussian and does not obey Poisson statistics either. In the absence of a true theoretical understanding, we simply note that the significance is higher than what may be resolved by $600$ simulations. The FFP10 dataset, indicates a $2.77\sigma$ deviation at this resolution and threshold. The Euler characteristic reflects the deviations in the components and loops. To assess the significance of combined levels for a given scale, we employed the empirical and theoretical versions of the $\chi^2$ test as well as the nonparametric Tukey depth test. Although all statistics exhibit a stable distribution, we favor the empirical version of the $\chi^2$ test in the final interpretation, as it indicates the most conservative differences. Even though both datasets exhibit mild to significant discrepancies, they also exhibit contrasting behaviors at various instances. Therefore, we do not find it feasible to convincingly accept or reject the null hypothesis. Disregarding the largescale anomalies that persist at similar scales in WMAP and Planck, observations of the cosmic microwave background are largely consistent with the standard cosmological model within $2\sigma$.
 [175] arXiv:2111.15445 (crosslist from cs.AI) [pdf, ps, other]

Title: Asymptotics for Pull on the Complete GraphSubjects: Artificial Intelligence (cs.AI); Probability (math.PR)
Consider the following model to study adversarial effects on opinion forming. A set of initially selected experts form their binary opinion while being influenced by an adversary, who may convince some of them of the falsehood. All other participants in the network then take the opinion of the majority of their neighbouring experts. Can the adversary influence the experts in such a way that the majority of the network believes the falsehood? Alon et al. [1] conjectured that in this context an iterative dissemination process will always be beneficial to the adversary. This work provides a counterexample to that conjecture.
[1] N. Alon, M. Feldman, O. Lev, and M. Tennenholtz. How Robust Is the Wisdom of the Crowds? In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pages 20552061, 2015.  [176] arXiv:2111.15524 (crosslist from stat.ME) [pdf, other]

Title: Efficiency of Regression (Un)Adjusted Rosenbaum's Rankbased Estimator in Randomized ExperimentsSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
A completely randomized experiment allows us to estimate the causal effect by the difference in the averages of the outcome under the treatment and control. But, differenceinmeans type estimators behave poorly if the potential outcomes have a heavytail, or contain a few extreme observations or outliers. We study an alternative estimator by Rosenbaum that estimates the causal effect by inverting a randomization test using ranks. We study the asymptotic properties of this estimator and develop a framework to compare the efficiencies of different estimators of the treatment effect in the setting of randomized experiments. In particular, we show that the Rosenbaum estimator has variance that is asymptotically, in the worst case, at most about 1.16 times the variance of the differenceinmeans estimator, and can be much smaller when the potential outcomes are not lighttailed. We further derive a consistent estimator of the asymptotic standard error for the Rosenbaum estimator which immediately yields a readily computable confidence interval for the treatment effect, thereby alleviating the expensive numerical calculations needed to implement the original proposal of Rosenbaum.
Further, we propose a regression adjusted version of the Rosenbaum estimator to incorporate additional covariate information in randomization inference. We prove gain in efficiency by this regression adjustment method under a linear regression model. Finally, we illustrate through simulations that, unlike the differenceinmeans based estimators, either unadjusted or regression adjusted, these rankbased estimators are efficient and robust against heavytailed distributions, contamination, and various model misspecifications.  [177] arXiv:2111.15528 (crosslist from cs.DM) [pdf, ps, other]

Title: Facets of the Total Matching Polytope for bipartite graphsAuthors: Luca FerrariniComments: 9 pages, 1 figureSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
The Total Matching Polytope generalizes the Stable Set Polytope and the Matching Polytope. In this paper, we give the perfect formulation for Trees and we derive two new families of valid inequalities, the balanced biclique inequalities which are always facetdefining and the nonbalanced lifted biclique inequalities obtained by a lifting procedure, which are facetdefining for bipartite graphs. Finally, we give a complete description for Complete Bipartite Graphs.
 [178] arXiv:2111.15537 (crosslist from cs.LG) [pdf, other]

Title: ModelFree $μ$ Synthesis via Adversarial Reinforcement LearningComments: Submitted to ACC 2022Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Motivated by the recent empirical success of policybased reinforcement learning (RL), there has been a research trend studying the performance of policybased RL methods on standard control benchmark problems. In this paper, we examine the effectiveness of policybased RL methods on an important robust control problem, namely $\mu$ synthesis. We build a connection between robust adversarial RL and $\mu$ synthesis, and develop a modelfree version of the wellknown $DK$iteration for solving statefeedback $\mu$ synthesis with static $D$scaling. In the proposed algorithm, the $K$ step mimics the classical central path algorithm via incorporating a recentlydeveloped doubleloop adversarial RL method as a subroutine, and the $D$ step is based on modelfree finite difference approximation. Extensive numerical study is also presented to demonstrate the utility of our proposed modelfree algorithm. Our study sheds new light on the connections between adversarial RL and robust control.
 [179] arXiv:2111.15546 (crosslist from cs.LG) [pdf, ps, other]

Title: Black box tests for algorithmic stabilityComments: 25 pagesSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
Algorithmic stability is a concept from learning theory that expresses the degree to which changes to the input data (e.g., removal of a single data point) may affect the outputs of a regression algorithm. Knowing an algorithm's stability properties is often useful for many downstream applications  for example, stability is known to lead to desirable generalization properties and predictive inference guarantees. However, many modern algorithms currently used in practice are too complex for a theoretical analysis of their stability properties, and thus we can only attempt to establish these properties through an empirical exploration of the algorithm's behavior on various data sets. In this work, we lay out a formal statistical framework for this kind of "black box testing" without any assumptions on the algorithm or the data distribution, and establish fundamental bounds on the ability of any black box test to identify algorithmic stability.
 [180] arXiv:2111.15566 (crosslist from nlin.PS) [pdf, other]

Title: Partial tipping in a spatially heterogeneous worldComments: 18 pages, 7 figuresSubjects: Pattern Formation and Solitons (nlin.PS); Analysis of PDEs (math.AP); Atmospheric and Oceanic Physics (physics.aoph)
Many climate subsystems are thought to be susceptible to tipping  and some might be close to a tipping point. The general belief and intuition, based on simple conceptual models of tipping elements, is that tipping leads to reorganization of the full (sub)system. Here, we explore tipping in conceptual, but spatially extended and spatially heterogenous models. These are extensions of conceptual models taken from all sorts of climate system components on multiple spatial scales. By analysis of the bifurcation structure of such systems, special stable equilibrium states are revealed: coexistence states with part of the spatial domain in one state, and part in another, with a spatial interface between these regions. These coexistence states critically depend on the size and the spatial heterogeneity of the (sub)system. In particular, in these systems a tipping point might lead to a partial tipping of the full (sub)system, in which only part of the spatial domain undergoes reorganization, limiting the impact of these events on the system's functioning.
 [181] arXiv:2111.15589 (crosslist from quantph) [pdf, other]

Title: The Quantum MultipleAccess Channel with Cribbing EncodersSubjects: Quantum Physics (quantph); Information Theory (cs.IT)
Communication over a quantum multipleaccess channel (MAC) with cribbing encoders is considered, whereby Transmitter 2 performs a measurement on a system that is entangled with Transmitter 1. Based on the nocloning theorem, perfect cribbing is impossible. This leads to the introduction of a MAC model with noisy cribbing. In the causal and noncausal cribbing scenarios, Transmitter 2 performs the measurement before the input of Transmitter 1 is sent through the channel. Hence, Transmitter 2's cribbing may inflict a "state collapse" for Transmitter 1. Achievable regions are derived for each setting. Furthermore, a regularized capacity characterization is established for robust cribbing, i.e. when the cribbing system contains all the information of the channel input. Building on the analogy between the noisy cribbing model and the relay channel, a partial decodeforward region is derived for a quantum MAC with nonrobust cribbing. For the classicalquantum MAC with cribbing encoders, the capacity region is determined with perfect cribbing of the classical input, and a cutset region is derived for noisy cribbing. In the special case of a classicalquantum MAC with a deterministic cribbing channel, the inner and outer bounds coincide.
 [182] arXiv:2111.15626 (crosslist from eess.SP) [pdf, other]

Title: Variational Autoencoders for Studying the Manifold of Precoding Matrices with High Spectral EfficiencyAuthors: Evgeny Bobrov (1 and 2), Alexander Markov (3), Dmitry Vetrov (3) ((1) Moscow Research Center, Huawei Technologies, Russia, (2) M. V. Lomonosov Moscow State University, Russia, (3) National Research University Higher School of Economics, Russia)Comments: 5 pages, 1 figureSubjects: Signal Processing (eess.SP); Artificial Intelligence (cs.AI); Information Theory (cs.IT)
In multipleinput multipleoutput (MIMO) wireless communications systems, neural networks have been employed for channel decoding, detection, channel estimation, and resource management. In this paper, we look at how to use a variational autoencoder to find a precoding matrix with a high Spectral Efficiency (SE). To identify efficient precoding matrices, an optimization approach is used. Our objective is to create a less timeconsuming algorithm with minimum quality degradation. To build precoding matrices, we employed two forms of variational autoencoders: conventional variational autoencoders (VAE) and conditional variational autoencoders (CVAE). Both methods may be used to study a wide range of optimal precoding matrices. To the best of our knowledge, the development of precoding matrices for the spectral efficiency objective function (SE) utilising VAE and CVAE methods is being published for the first time.
 [183] arXiv:2111.15632 (crosslist from physics.medph) [pdf, other]

Title: Wound Healing Modeling Using Partial Differential Equation and Deep LearningSubjects: Medical Physics (physics.medph); Image and Video Processing (eess.IV); Analysis of PDEs (math.AP)
The process of wound healing has been an active area of research around the world. The problem is the wounds of different patients heal differently. For example, patients with a background of diabetes may have difficulties in healing [1]. By clearly understanding this process, we can determine the type and quantity of medicine to give to patients with varying types of wounds. In this research, we use a variation of the Alternating Direction Implicit method to solve a partial differential equation that models part of the wound healing process. Wound images are used as the dataset that we analyze. To segment the image's wound, we implement deep learningbased models. We show that the combination of a variant of the Alternating Direction Implicit method and Deep Learning provides a reasonably accurate model for the process of wound healing. To the best of our knowledge, this is the first attempt to combine both numerical PDE and deep learning techniques in an automated system to capture the longterm behavior of wound healing.
 [184] arXiv:2111.15649 (crosslist from hepth) [pdf, ps, other]

Title: Kinematic Hopf Algebra for BCJ Numerators in HeavyMass Effective Field Theory and YangMills TheoryComments: 10 pages, 8 figuresSubjects: High Energy Physics  Theory (hepth); Combinatorics (math.CO)
We present a closed formula for all BernCarrascoJohansson (BCJ) numerators describing $D$dimensional treelevel scattering amplitudes in a heavymass effective field theory with two massive particles and an arbitrary number of gluons. The corresponding gravitational amplitudes obtained via the double copy directly enter the computation of blackhole scattering and gravitationalwave emission. Our construction is based on finding a kinematic algebra for the numerators, which we relate to a quasishuffle Hopf algebra. The BCJ numerators thus obtained have a compact form and intriguing features: gauge invariance is manifest, locality is respected for massless exchange, and they contain poles corresponding to massive exchange. Counting the number of terms in a BCJ numerator for $n{}2$ gluons gives the Fubini numbers $\mathsf{F}_{n3}$, reflecting the underlying quasishuffle Hopf algebra structure. Finally, by considering an appropriate factorisation limit, the massive particles decouple, and we thus obtain a kinematic algebra and all treelevel BCJ numerators for $D$dimensional pure YangMills theory.
 [185] arXiv:2111.15659 (crosslist from nlin.SI) [pdf, ps, other]

Title: Integrable and Superintegrable Extensions of the Rational CalogeroMoser Model in 3 DimensionsComments: 27 pagesSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph)
We consider a class of Hamiltonian systems in 3 degrees of freedom, with a particular type of quadratic integral and which includes the rational CalogeroMoser system as a particular case. For the general class, we introduce separation coordinates to find the general separable (and therefore Liouville integrable) system, with two quadratic integrals. This gives a coupling of the CalogeroMoser system with a large class of potentials, generalising the series of potentials which are separable in parabolic coordinates. Particular cases are {\em superintegrable}, including Kepler and a resonant oscillator.
The initial calculations of the paper are concerned with the flat (Cartesian type) kinetic energy, but in Section \ref{sec:conflatgeneral}, we introduce a {\em conformal factor} $\varphi$ to $H$ and extend the two quadratic integrals to this case. All the previous results are generalised to this case. We then introduce some 2 and 3 dimensional symmetry algebras of the Kinetic energy (Killing vectors), which restrict the conformal factor. This enables us to reduce our systems from 3 to 2 degrees of freedom, giving rise to many interesting systems, including both Kepler type and H\'enonHeiles type potentials on a DarbouxKoenigs $D_2$ background.
Replacements for Wed, 1 Dec 21
 [186] arXiv:1307.5540 (replaced) [pdf, ps, other]

Title: On the Pricing of Storable CommoditiesComments: Version to appear as Chapter 17 in Financial Informatics: An InformationBased Approach to Asset Pricing. D. C. Brody, L. P. Hughston & A. Macrina (editors). Singapore: World Scientific Publishing Company (2022)Subjects: Pricing of Securities (qfin.PR); Probability (math.PR)
 [187] arXiv:1703.04794 (replaced) [pdf, ps, other]

Title: Cox Rings and Algebraic MapsAuthors: Tomasz MańdziukComments: Final version published in Mathematische NachrichtenJournalref: Mathematische Nachrichten. 2019; 292: 389401Subjects: Algebraic Geometry (math.AG)
 [188] arXiv:1708.01209 (replaced) [pdf, ps, other]

Title: An Elementary Proof of the Riemann HypothesisAuthors: Frank StengerComments: 13 pages in .pdf This version is completely different from my previous version(s)Subjects: General Mathematics (math.GM)
 [189] arXiv:1710.02028 (replaced) [pdf, ps, other]

Title: The Interpretation Lifting Theorem for CSystemsAuthors: Anthony BordgSubjects: Category Theory (math.CT); Logic (math.LO)
 [190] arXiv:1809.00964 (replaced) [pdf, other]

Title: Mathematical models for fake newsComments: Version to appear as Chapter 18 in Financial Informatics: An InformationBased Approach to Asset Pricing. D. C. Brody, L. P. Hughston & A. Macrina (editors). Singapore: World Scientific Publishing Company (2022)Subjects: Applications (stat.AP); Information Theory (cs.IT); Social and Information Networks (cs.SI); General Economics (econ.GN); Probability (math.PR)
 [191] arXiv:1809.03246 (replaced) [pdf, other]

Title: Pointwise convergence of the fractional Schrödinger equation in $\mathbb R^2$Comments: 20 pagesSubjects: Analysis of PDEs (math.AP)
 [192] arXiv:1810.02015 (replaced) [pdf, ps, other]

Title: On Lusztig's asymptotic Hecke algebra for $\mathrm{SL}_2$Authors: Stefan DawydiakComments: 15 pages. In v4, updated to match published versionJournalref: Proc. Amer. Math. Soc. 149 (2021), 7188Subjects: Representation Theory (math.RT)
 [193] arXiv:1903.05032 (replaced) [pdf, ps, other]

Title: Unlikely intersections and the ChabautyKim method over number fieldsAuthors: Netan DograComments: Several changes due to an error in Lemma 2.2 and Lemma 5.4 from the previous version. 50 pages, comments welcomeSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
 [194] arXiv:1904.05014 (replaced) [pdf, other]

Title: Analysis of Beam Sweeping Techniques for CellDiscovery in mm Wave SystemsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
 [195] arXiv:1905.08821 (replaced) [pdf, other]

Title: Quantum circuit approximations and entanglement renormalization for the Dirac field in 1+1 dimensionsComments: 45 pages, 9 figuresJournalref: Commun. Math. Phys. (2021)Subjects: Quantum Physics (quantph); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [196] arXiv:1907.01720 (replaced) [pdf, other]

Title: Clique immersions and independence numberComments: 13 pages, 1 figure. New version of Lemma 7, to fix minor errorSubjects: Combinatorics (math.CO)
 [197] arXiv:1908.01290 (replaced) [pdf, ps, other]

Title: Cohomology of group theoretic Dehn fillings IIComments: We added a new corollary about pairs $H<G$ where $G$ is hyperbolic and $H$ is type $F$ nonhyperbolic. We also fixed some typosSubjects: Group Theory (math.GR)
 [198] arXiv:1910.04088 (replaced) [pdf, ps, other]

Title: Scaling limit of the homogenization commutator for Gaussian coefficient fieldsComments: 32 pages; companion article to arXiv:1807.11781Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
 [199] arXiv:1911.10151 (replaced) [pdf, ps, other]

Title: LenardBalescu correction to meanfield theoryComments: 41 pagesSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [200] arXiv:1912.01366 (replaced) [pdf, ps, other]

Title: On the size of chaos via Glauber calculus in the classical meanfield dynamicsAuthors: Mitia DuerinckxComments: 38 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Probability (math.PR)
 [201] arXiv:1912.13078 (replaced) [pdf, other]

Title: On sample average approximation for twostage stochastic programs without relatively complete recourseSubjects: Optimization and Control (math.OC)
 [202] arXiv:2003.10591 (replaced) [pdf, ps, other]

Title: Simplicial ChernWeil theory for coherent analytic sheaves, part IIAuthors: Timothy HosgoodComments: 38 pages; sequel to arXiv:2003.10023; minor typos and corrections to equations following referee reportSubjects: Algebraic Geometry (math.AG)
 [203] arXiv:2003.13521 (replaced) [pdf, ps, other]

Title: Maker Breaker on DigraphsComments: We clarify an important argument in the appendixSubjects: Combinatorics (math.CO)
 [204] arXiv:2004.08578 (replaced) [pdf, other]

Title: A Lyapunov Function for the Combined SystemOptimizer Dynamics in Inexact Model Predictive ControlComments: arXiv admin note: text overlap with arXiv:1912.03140Journalref: Automatica 2021Subjects: Optimization and Control (math.OC)
 [205] arXiv:2004.12025 (replaced) [pdf, ps, other]

Title: A new spectral analysis of stationary random Schrödinger operatorsComments: 62 pagesSubjects: Mathematical Physics (mathph); Probability (math.PR); Spectral Theory (math.SP)
 [206] arXiv:2006.10548 (replaced) [pdf, ps, other]

Title: Full classification of dynamics for onedimensional continuous time Markov chains with polynomial transition ratesSubjects: Probability (math.PR)
 [207] arXiv:2007.00281 (replaced) [pdf, ps, other]

Title: Invariant measures on products and on the space of linear ordersSubjects: Dynamical Systems (math.DS); Logic (math.LO); Probability (math.PR)
 [208] arXiv:2007.01985 (replaced) [pdf, ps, other]

Title: Limits of almost homogeneous spaces and their fundamental groupsAuthors: Sergio ZamoraSubjects: Metric Geometry (math.MG); Group Theory (math.GR)
 [209] arXiv:2007.08806 (replaced) [pdf, other]

Title: Large random matrix approach for testing independence of a large number of Gaussian time seriesComments: This version is identical to 2111.08047, but 2111.08047 should be deleted, only this repo 2007.08806 should existSubjects: Information Theory (cs.IT); Probability (math.PR); Statistics Theory (math.ST)
 [210] arXiv:2007.11037 (replaced) [pdf, other]

Title: Perspectives on Constrained ForecastingAuthors: Mike WestComments: 23 pages (including title page and Supplementary Material). 4 figures in main text, 3 in supplementSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [211] arXiv:2007.11525 (replaced) [pdf, other]

Title: Analysisaware defeaturing: problem setting and a posteriori estimationComments: 37 pages, 15 figures, 4 tablesSubjects: Numerical Analysis (math.NA)
 [212] arXiv:2008.04145 (replaced) [pdf, ps, other]

Title: A Full SecondOrder Analysis of the Widely Linear MVDR Beamformer for Noncircular SignalsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [213] arXiv:2008.11520 (replaced) [pdf, other]

Title: A neural network multigrid solver for the NavierStokes equationsComments: 32 pages, 15 figuresSubjects: Computational Physics (physics.compph); Numerical Analysis (math.NA)
 [214] arXiv:2009.03864 (replaced) [pdf, other]

Title: Contraction $\mathcal{L}_1$Adaptive Control using Gaussian ProcessesAuthors: Aditya Gahlawat, Arun Lakshmanan, Lin Song, Andrew Patterson, Zhuohuan Wu, Naira Hovakimyan, Evangelos TheodorouComments: Submitted to Learning for Dynamics and Control (L4DC) Conference, 2021Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Robotics (cs.RO); Optimization and Control (math.OC)
 [215] arXiv:2009.13020 (replaced) [src]

Title: Shrinkage Estimation of the Frechet Mean in Lie groupsComments: There are some technical errorsSubjects: Statistics Theory (math.ST)
 [216] arXiv:2010.03186 (replaced) [pdf, ps, other]

Title: An unconditional proof of the abelian equivariant Iwasawa main conjecture and applicationsComments: 43 pages; large parts of article rewritten; proof of main result simplified and new appendix includedSubjects: Number Theory (math.NT)
 [217] arXiv:2010.03469 (replaced) [pdf, ps, other]

Title: Injective tensor products in strict deformation quantizationComments: 16 pages  accepted in Mathematical Physics, Analysis and GeometrySubjects: Mathematical Physics (mathph); Functional Analysis (math.FA); Operator Algebras (math.OA); Quantum Algebra (math.QA)
 [218] arXiv:2010.08233 (replaced) [pdf, other]

Title: Concurrent Process Histories and Resource TransducersAuthors: Chad NesterComments: 22 pages. Many Figures. Extended version of this https URLSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
 [219] arXiv:2010.11240 (replaced) [pdf, other]

Title: On the distribution of coefficients of halfintegral weight modular forms and the BruinierKohnen ConjectureComments: v3: minor revision, might differ slightly from the published versionJournalref: Turk J Math (2021) 45: 24272440Subjects: Number Theory (math.NT)
 [220] arXiv:2011.00490 (replaced) [pdf, ps, other]

Title: On the Distribution of SINR for Widely Linear MMSE MIMO Systems with Rectilinear or QuasiRectilinear SignalsSubjects: Information Theory (cs.IT)
 [221] arXiv:2011.01833 (replaced) [pdf, ps, other]

Title: Higher order differential analysis with vectorized derivativesComments: 38 pagesSubjects: Classical Analysis and ODEs (math.CA)
 [222] arXiv:2011.04510 (replaced) [pdf, other]

Title: A posteriori verification of the positivity of solutions to elliptic boundary value problemsComments: 28 pages, 7 figuresSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
 [223] arXiv:2011.04953 (replaced) [pdf, other]

Title: Asymptotic expansion of the expected Minkowski functional for isotropic central limit random fieldsComments: 28 pages, 3 figures, 1 tableSubjects: Statistics Theory (math.ST)
 [224] arXiv:2011.12946 (replaced) [pdf, ps, other]

Title: Exploratory LQG Mean Field Games with Entropy RegularizationComments: To appear in AutomaticaSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Probability (math.PR); Machine Learning (stat.ML)
 [225] arXiv:2011.14692 (replaced) [pdf, ps, other]

Title: Identifying limits of ideals of points in the case of projective spaceAuthors: Tomasz MańdziukComments: Final version published in Linear Algebra and its ApplicationsJournalref: Linear Algebra and its Applications. 2022; 634: 149178Subjects: Algebraic Geometry (math.AG)
 [226] arXiv:2101.04007 (replaced) [pdf, ps, other]

Title: A Note on the GannonLee TheoremComments: Final published versionJournalref: Lett. Math. Phys. 111, 142 (2021)Subjects: Mathematical Physics (mathph); General Relativity and Quantum Cosmology (grqc); Differential Geometry (math.DG)
 [227] arXiv:2101.04396 (replaced) [pdf, ps, other]

Title: Numerical radius in Hilbert $C^*$modulesAuthors: Ali ZamaniComments: 13 pagesSubjects: Functional Analysis (math.FA)
 [228] arXiv:2101.10934 (replaced) [pdf, ps, other]

Title: Quantitative characterization of traces of Sobolev mapsComments: 26 pages, minor correctionsSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
 [229] arXiv:2102.00522 (replaced) [pdf, ps, other]

Title: On the Positive Energy Theorem for Stationary Solutions to FourthOrder GravityComments: We have corrected typosSubjects: Differential Geometry (math.DG); Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [230] arXiv:2102.04405 (replaced) [pdf, ps, other]

Title: A dynamical approach to generalized Weil's Riemann hypothesis and semisimplicityComments: 36 pages; Title changed; this article is extracted from the last longer version with a focus on Conjecture $G_r$, the norm comparison conjecture, and the dynamical degree comparison conjecture; new results on generalized semisimplicity (for polarized endomorphisms) added; comments very welcome!Subjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS); Number Theory (math.NT)
 [231] arXiv:2102.06853 (replaced) [pdf, ps, other]

Title: On Cherednik and NazarovSklyanin large N limit construction for integrable manybody systems with elliptic dependence on momentaComments: 38 pages, minor changes, typos correctedSubjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth); Quantum Algebra (math.QA); Exactly Solvable and Integrable Systems (nlin.SI)
 [232] arXiv:2102.08520 (replaced) [pdf, ps, other]

Title: Dual process in the Twoparameter PoissonDirichlet diffusionSubjects: Probability (math.PR)
 [233] arXiv:2102.11357 (replaced) [pdf, other]

Title: Configurations of points on a line up to scaling or translationAuthors: Adrian ZahariucComments: This paper is superseded by arXiv:2111.13743 and is no longer intended for publicationSubjects: Algebraic Geometry (math.AG)
 [234] arXiv:2103.02855 (replaced) [pdf, other]

Title: A Semismooth Newton based Augmented Lagrangian Method for Nonsmooth Optimization on Matrix ManifoldsComments: extend the exponential map to retractions; add a new section (Sec. 4.3) about the semismoothness on submanifolds; update the condition (4.7); fix Prop. 3.2Subjects: Optimization and Control (math.OC)
 [235] arXiv:2103.03735 (replaced) [pdf, other]

Title: Tails of Instability and Decay: a Hydrodynamic PerspectiveComments: 24 pages, 9 figures and 3 tables. In the revised version, the paper format has changed from a letter to a longer paper which now included the original supplementary material and a new discussion in section 5Subjects: High Energy Physics  Theory (hepth); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
 [236] arXiv:2103.04177 (replaced) [pdf, other]

Title: MetropolisHastings via ClassificationSubjects: Statistics Theory (math.ST)
 [237] arXiv:2103.13135 (replaced) [pdf, ps, other]

Title: Homomorphic encoders of profinite abelian groups ISubjects: Group Theory (math.GR); Information Theory (cs.IT); General Topology (math.GN)
 [238] arXiv:2103.15747 (replaced) [pdf, ps, other]

Title: Wellposedness and robust stability of a nonlinear ODEPDE systemComments: 41 pagesSubjects: Analysis of PDEs (math.AP)
 [239] arXiv:2103.15932 (replaced) [pdf, ps, other]

Title: Comparison between the Cauchy problem and the scattering problem for the Landau damping in the VlasovHMF equationComments: 24 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [240] arXiv:2104.14146 (replaced) [pdf, other]

Title: Compatibility of Partitions with Trees, Hierarchies, and Split SystemsSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
 [241] arXiv:2104.14179 (replaced) [pdf, ps, other]

Title: On the two and onehalf dimensional VlasovPoisson system with an external magnetic field: global wellposedness and stability of confined steady statesJournalref: Nonlinear Anal. Real World Appl. 65 (2022) 103460Subjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [242] arXiv:2105.02863 (replaced) [pdf, ps, other]

Title: Elliptic threefolds with high MordellWeil rankComments: Results improved and exposition clarifiedSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth)
 [243] arXiv:2105.03038 (replaced) [pdf, ps, other]

Title: Lambek pregroups are Frobenius spiders in preordersAuthors: Dusko PavlovicComments: 21 pages, 16 diagrams. Accepted. Reviewers' suggestions implementedSubjects: Category Theory (math.CT); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
 [244] arXiv:2105.06633 (replaced) [pdf, other]

Title: Power series representing PosetsComments: 33 pages. We explain the relationship of our work with order polynomials and we found a version of the reciprocity theoremSubjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
 [245] arXiv:2105.11899 (replaced) [pdf, ps, other]

Title: Irreducible inclusions of simple C$^*$algebrasAuthors: Mikael RørdamComments: 28 pages. To appear in l'Enseignement MathematiqueSubjects: Operator Algebras (math.OA)
 [246] arXiv:2105.12533 (replaced) [pdf, ps, other]

Title: Curvatures and austere property of orbits of path group actions induced by Hermann actionsAuthors: Masahiro MorimotoComments: 34pages. Revised Abstract and Introduction, results unchangedSubjects: Differential Geometry (math.DG)
 [247] arXiv:2106.01405 (replaced) [pdf, ps, other]

Title: Symbol Alphabets from Tensor DiagramsComments: 44 pages; v2: quite a few individually minor corrections and improvementsSubjects: High Energy Physics  Theory (hepth); Combinatorics (math.CO)
 [248] arXiv:2106.04472 (replaced) [pdf, ps, other]

Title: The growth of abelian sectionsAuthors: Luca SabatiniComments: 11 pagesSubjects: Group Theory (math.GR); Combinatorics (math.CO); Representation Theory (math.RT)
 [249] arXiv:2106.04893 (replaced) [pdf, ps, other]

Title: On the multiplication of spherical functions of reductive spherical pairs of type AComments: v2: 31 pages, final version. To appear in Canadian Journal of MatehmaticsSubjects: Representation Theory (math.RT)
 [250] arXiv:2106.07191 (replaced) [pdf, ps, other]

Title: Distributionally Robust Martingale Optimal TransportSubjects: Probability (math.PR); Optimization and Control (math.OC); Statistics Theory (math.ST); Computational Finance (qfin.CP)
 [251] arXiv:2106.07548 (replaced) [pdf, other]

Title: A scalable multistep least squares method for network identification with unknown disturbance topologyComments: 17 pages, 4 figures, resubmitted to Automatica on 23 November 2021, provisionally acceptedSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Machine Learning (stat.ML)
 [252] arXiv:2106.07996 (replaced) [pdf, other]

Title: OvertheAir Equalization with Reconfigurable Intelligent SurfacesSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
 [253] arXiv:2106.08391 (replaced) [pdf, ps, other]

Title: Direct regularized reconstruction for the threedimensional Calderón problemComments: 24 pages, 5 figuresSubjects: Analysis of PDEs (math.AP)
 [254] arXiv:2106.11141 (replaced) [pdf, ps, other]

Title: $\ell$adic images of Galois for elliptic curves over $\mathbb{Q}$Comments: Sections have been reorganized and renumbered and we now provide algorithms to compute $\ell$adic images for CM elliptic curves; 69 pages; 22 tablesSubjects: Number Theory (math.NT)
 [255] arXiv:2107.02234 (replaced) [pdf, ps, other]

Title: Convergence rates in the functional CLT for $\al$mixing triangular arraysAuthors: Yeor HafoutaComments: The almost sure invariance principle appears as a separate preprint; The results are now obtained for alphamixing triangular arrays and not rhomixing arrays; The functional CLT itself under close to optimal rho mixing rates is discussed in a separate preprintSubjects: Probability (math.PR)
 [256] arXiv:2107.03918 (replaced) [pdf, other]

Title: The moduli stack of principal $ρ$sheaves and GiesekerHarderNarasimhan filtrationsComments: Title changed to better reflect the contents of the paper. The article was expanded and reorganized to add examples and new subsections explaining further the behavior of stabilitySubjects: Algebraic Geometry (math.AG)
 [257] arXiv:2107.07701 (replaced) [pdf, ps, other]

Title: A GilletWaldhausen Theorem for chain complexes of setsComments: 50 pages + 14 page technical appendix. v2: Extended main result from finite sets to any extensive category, changed the names of the structured double categories used to model $K$theories, and made several expositional improvementsSubjects: KTheory and Homology (math.KT); Algebraic Topology (math.AT); Category Theory (math.CT)
 [258] arXiv:2107.08657 (replaced) [pdf, other]

Title: Moduli stack of oriented formal groups and periodic complex bordismAuthors: Rok GregoricComments: 39 pagesSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
 [259] arXiv:2107.08859 (replaced) [pdf, ps, other]

Title: Noncritical maps on geodesically complete spaces with curvature bounded aboveAuthors: Tadashi FujiokaComments: Modified Corollary 1.12. Added Theorem 5.12 and Remark 6.2Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
 [260] arXiv:2107.11620 (replaced) [pdf, other]

Title: Joint Optimization of Wind Farm Layout Considering Optimal ControlAuthors: Kaixuan Chen (1), Jin Lin (1), Yiwei Qiu (1), Feng Liu (1), Yonghua Song (1,2) ((1) State Key Laboratory of Control and Simulation of Power Systems and Generation Equipment, Department of Electrical Engineering, Tsinghua University, (2) Department of Electrical and Computer Engineering, University of Macau)Comments: Accepted by Renewable EnergySubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
 [261] arXiv:2108.01700 (replaced) [pdf, ps, other]

Title: Parallelintime preconditioners for the SincNyström methodComments: 23 pages, significantly revised from the first versionSubjects: Numerical Analysis (math.NA)
 [262] arXiv:2108.10338 (replaced) [pdf, ps, other]

Title: DT invariants from vertex algebrasComments: 43 pagesSubjects: Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
 [263] arXiv:2108.11030 (replaced) [pdf, ps, other]

Title: Collapsing to Alexandrov spaces with isolated mild singularitiesAuthors: Tadashi FujiokaComments: Added a simple proof of Theorem 1.1Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
 [264] arXiv:2109.03159 (replaced) [pdf, other]

Title: Analysis of Regularized Learning in Banach SpacesAuthors: Qi YeComments: 30 pages, 1 figureSubjects: Machine Learning (cs.LG); Functional Analysis (math.FA); Numerical Analysis (math.NA); Optimization and Control (math.OC)
 [265] arXiv:2109.08335 (replaced) [pdf, other]

Title: Conductive homogeneity of compact metric spaces and construction of penergyAuthors: Jun KigamiComments: Several typos are fixed. Examples of nonsymmetric square based selfsimilar sets are addedSubjects: Metric Geometry (math.MG)
 [266] arXiv:2109.09639 (replaced) [pdf, ps, other]

Title: Positive integer solutions to $(x+y)^2+(y+z)^2+(z+x)^2=12xyz$Authors: Yasuaki GyodaComments: Addition of Sections 3.2 and 3.3, which explain the combinatorial meaning of integers appearing in solutions, minor correction, 12 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
 [267] arXiv:2109.11520 (replaced) [pdf, other]

Title: Bordered manifolds with torus boundary and the link surgery formulaAuthors: Ian ZemkeComments: 100 pages. v2: minor corrections and improvementsSubjects: Geometric Topology (math.GT)
 [268] arXiv:2109.11585 (replaced) [pdf, ps, other]

Title: Twisting of graded quantum groups and solutions to the quantum YangBaxter equationAuthors: Hongdi Huang, Van C. Nguyen, Charlotte Ure, Kent B. Vashaw, Padmini Veerapen, Xingting WangComments: In this version, our title is new and Section 3 is updated with applications of twisting pairs to obtain new solutions to the quantum YangBaxter equationSubjects: Rings and Algebras (math.RA); Quantum Algebra (math.QA)
 [269] arXiv:2109.13008 (replaced) [pdf, ps, other]

Title: Quantum integrable systems and concentration of plasmon resonanceComments: arXiv admin note: text overlap with arXiv:2003.03696Subjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [270] arXiv:2109.13709 (replaced) [pdf, other]

Title: Matching forcing polynomials of constructable hexagonal systemsAuthors: Shuang ZhaoSubjects: Combinatorics (math.CO)
 [271] arXiv:2109.13727 (replaced) [pdf, other]

Title: Matching antiforcing polynomials of catacondensed hexagonal systemsAuthors: Shuang ZhaoSubjects: Combinatorics (math.CO)
 [272] arXiv:2110.01343 (replaced) [pdf, other]

Title: Taming singular stochastic differential equations: A numerical methodComments: 63 pagesSubjects: Probability (math.PR); Numerical Analysis (math.NA)
 [273] arXiv:2110.03472 (replaced) [pdf, ps, other]

Title: Twoterm silting and $τ$cluster morphism categoriesAuthors: Erlend D. BørveComments: 37 pages v2: Some updates throughout. Section 3 has been restructured, and some proofs have been simplifiedSubjects: Representation Theory (math.RT); Category Theory (math.CT)
 [274] arXiv:2110.04501 (replaced) [pdf, ps, other]

Title: Left regular representations of Garside categories I. C*algebras and groupoidsAuthors: Xin LiComments: 28 pages; added a reference and acknowledgementsSubjects: Operator Algebras (math.OA); Dynamical Systems (math.DS); Group Theory (math.GR)
 [275] arXiv:2110.05714 (replaced) [pdf, ps, other]

Title: Simple restricted modules over the HeisenbergVirasoro algebra as VOA modulesComments: 41 pagesSubjects: Representation Theory (math.RT)
 [276] arXiv:2110.07148 (replaced) [pdf, ps, other]

Title: Denominators in Lusztig's asymptotic Hecke algebra via the Plancherel formulaAuthors: Stefan DawydiakComments: 34 pages, comments welcome! In v2, added Corollary 4, harmonized notation, and corrected typosSubjects: Representation Theory (math.RT)
 [277] arXiv:2110.07309 (replaced) [pdf, other]

Title: CellFree Massive MIMO for 6G Wireless Communication NetworksComments: 28 pages, 4 figures, 4 tables, Accepted by Journal of Communications and Information NetworksSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [278] arXiv:2110.08099 (replaced) [pdf, ps, other]

Title: Meanfield limit for particle systems with topological interactionsComments: 18 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [279] arXiv:2110.12835 (replaced) [pdf, ps, other]

Title: Local supersymmetry: Variations on a theme by Volkov and SorokaAuthors: Sergei M. KuzenkoComments: 13 pages; V2: references addedSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [280] arXiv:2110.13123 (replaced) [pdf, other]

Title: Outofequilibrium dynamics of the Kitaev model on the Bethe lattice via coupled Heisenberg equationsComments: Submission to SciPostSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Quantum Physics (quantph)
 [281] arXiv:2110.14745 (replaced) [src]

Title: GrothendieckSerre Conjecture for Quasisplit Reductive GroupsComments: There is a gap in the proof of Theorem 1.2 which, as yet, we cannot resolve. We thank K\k{e}stutis \v{C}esnavi\v{c}ius, Roman Federov and Sean Cotner for pointing out the gap in the proofSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
 [282] arXiv:2110.15160 (replaced) [pdf, ps, other]

Title: Feature Learning for NeuralNetworkBased Positioning with Channel State InformationComments: Presented at ASILOMAR 2021Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [283] arXiv:2110.15356 (replaced) [pdf, other]

Title: Towards ColorKinematics Duality in Generic SpacetimesAuthors: Allic SivaramakrishnanComments: 30 pages, no figures; v2: minor reference adjustments, typos correctedSubjects: High Energy Physics  Theory (hepth); High Energy Physics  Phenomenology (hepph); Mathematical Physics (mathph)
 [284] arXiv:2110.15519 (replaced) [pdf, ps, other]

Title: Proof of a conjecture on hamiltonianconnected graphsSubjects: Combinatorics (math.CO)
 [285] arXiv:2111.01783 (replaced) [pdf, other]

Title: Optimal bailout strategies resulting from the drift controlled supercooled Stefan problemSubjects: Optimization and Control (math.OC); Probability (math.PR); Mathematical Finance (qfin.MF)
 [286] arXiv:2111.04178 (replaced) [pdf, other]

Title: Teamwork makes von Neumann work: MinMax Optimization in TwoTeam ZeroSum GamesSubjects: Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Optimization and Control (math.OC)
 [287] arXiv:2111.05110 (replaced) [pdf, ps, other]

Title: Improved logconcavity for rotationally invariant measures of symmetric convex setsComments: typos and references fixedSubjects: Metric Geometry (math.MG); Probability (math.PR)
 [288] arXiv:2111.07227 (replaced) [pdf, ps, other]

Title: $L^p$regularity for fourth order elliptic systems with antisymmetric potentials in higher dimensionsComments: there are changes of title and abstract, and introductionSubjects: Analysis of PDEs (math.AP)
 [289] arXiv:2111.07740 (replaced) [pdf, ps, other]

Title: Biderivations and linear commuting mappings of $\mathbb{N}$graded Lie algebras of maximal classComments: 9 pages. Introduction revised. Comments welcomeSubjects: Rings and Algebras (math.RA)
 [290] arXiv:2111.08775 (replaced) [pdf, ps, other]

Title: On two congruence conjectures of Z.W. Sun involving Franel numbersComments: 20pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
 [291] arXiv:2111.09375 (replaced) [pdf, ps, other]

Title: Hypercontractivity on High Dimensional Expanders: Approximate EfronStein Decompositions for $\varepsilon$Product SpacesComments: New title to distinguish from independent work of Bafna, Hopkins, Kaufman, and LovettSubjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
 [292] arXiv:2111.09880 (replaced) [pdf, other]

Title: Optimal control of PDEs using physicsinformed neural networksComments: 24 pages, 9 figuresSubjects: Optimization and Control (math.OC); Computational Physics (physics.compph)
 [293] arXiv:2111.09973 (replaced) [pdf, ps, other]

Title: A solvable nonlinear autonomous recursion of arbitrary orderComments: 7 pagesSubjects: Dynamical Systems (math.DS)
 [294] arXiv:2111.10799 (replaced) [pdf, ps, other]

Title: New versions of the WallisFonDerFlaass construction to create divisible design graphsAuthors: Vladislav V. KabanovComments: 13 pagesSubjects: Combinatorics (math.CO)
 [295] arXiv:2111.11001 (replaced) [pdf]

Title: Easy representation of multivariate functions with lowdimensional terms via Gaussian process regression kernel design: applications to machine learning of potential energy surfaces and kinetic energy densities from sparse dataComments: 9 pages, 1 figure, 2 tablesSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph); Data Analysis, Statistics and Probability (physics.dataan)
 [296] arXiv:2111.11151 (replaced) [pdf, ps, other]

Title: Semigroup C*algebras arising from graphs of monoidsComments: 32 pages; added a referenceSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Group Theory (math.GR)
 [297] arXiv:2111.11864 (replaced) [pdf, ps, other]

Title: Some Generalized Multisum ChuVandermonde IdentitiesAuthors: M.J. KronenburgSubjects: Combinatorics (math.CO)
 [298] arXiv:2111.11975 (replaced) [pdf, other]

Title: The persistence of a relative RabinowitzFloer complexComments: Added details to the proof of Proposition 1.5. Smaller edits elsewhere, including some notation and additional referencesSubjects: Symplectic Geometry (math.SG)
 [299] arXiv:2111.12211 (replaced) [pdf, ps, other]

Title: Eigenvalues and Singular Values of Dual Quaternion MatricesSubjects: Rings and Algebras (math.RA)
 [300] arXiv:2111.12961 (replaced) [pdf, other]

Title: Distributed Policy Gradient with Variance Reduction in MultiAgent Reinforcement LearningSubjects: Multiagent Systems (cs.MA); Machine Learning (cs.LG); Optimization and Control (math.OC)
 [301] arXiv:2111.13255 (replaced) [pdf, other]

Title: Knotted handlebodies in the 4sphere and 5ballComments: 11 pages, 7 figures, corrected discussion on double slicing and fixed typosSubjects: Geometric Topology (math.GT)
 [302] arXiv:2111.13670 (replaced) [pdf, other]

Title: NonConvex Recovery from Phaseless LowResolution Blind Deconvolution Measurements using Noisy Masked PatternsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [303] arXiv:2111.13837 (replaced) [pdf, ps, other]

Title: Category theory with examples in probability theoryComments: 29 pages, written by Gabriel Granda and reviewed by Miguel FloresSubjects: Category Theory (math.CT); Probability (math.PR)
 [304] arXiv:2111.13942 (replaced) [pdf, ps, other]

Title: Leibniz rules and GaussGreen formulas in distributional fractional spacesSubjects: Functional Analysis (math.FA)
 [305] arXiv:2111.13971 (replaced) [pdf, ps, other]

Title: Hyperbolic Staircases: Periodic Paths on $2g+1$gonsAuthors: Mei Rose Connor, Diana Davis, Paige Helms, Michael Kielstra, Samuel Lelièvre, Zachary Steinberg, Chenyang SunComments: 16 pages, 12 figuresSubjects: Dynamical Systems (math.DS)
 [306] arXiv:2111.14164 (replaced) [pdf, ps, other]

Title: Primitive axial algebras are of Jordan typeComments: 12 pagesSubjects: Rings and Algebras (math.RA); Group Theory (math.GR)
 [307] arXiv:2111.14175 (replaced) [pdf, ps, other]

Title: Regularity of powers of (parity) binomial edge idealsComments: 18 pages,6 figuresSubjects: Commutative Algebra (math.AC)
 [308] arXiv:2111.14580 (replaced) [pdf, other]

Title: Amortized Implicit Differentiation for Stochastic Bilevel OptimizationSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [309] arXiv:2111.14746 (replaced) [pdf, other]

Title: Dynamic InferenceAuthors: Aolin XuSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Statistics Theory (math.ST)
 [310] arXiv:2111.14776 (replaced) [pdf, ps, other]

Title: Higher integrability and the number of singular points for the NavierStokes equations with a scaleinvariant boundAuthors: Tobias BarkerComments: 15 pages. Typos with references correctedSubjects: Analysis of PDEs (math.AP)
 [311] arXiv:2111.14780 (replaced) [pdf, ps, other]

Title: Harmonic Retrieval with $L_1$Tucker Tensor DecompositionSubjects: Signal Processing (eess.SP); Optimization and Control (math.OC)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2111, contact, help (Access key information)