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

Mathematics

New submissions

[ total of 311 entries: 1-311 ]
[ 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$
Authors: Bo Chen, Youde Wang
Comments: arXiv admin note: text overlap with arXiv:2111.14077
Subjects: Analysis of PDEs (math.AP)

In this paper, we show the existence and uniqueness of short-time very regular or smooth solution to the initial-Neumann 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 Applications
Comments: 11 pages
Subjects: 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 Cauchy-Binet'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 Integrability
Authors: Volker Schomerus
Comments: 22 pages, 6 figures, Contribution to "Hypergeometry, Integrability and Lie Theory" E. Koelink, N. Reshetikhin (ed)
Subjects: Mathematical Physics (math-ph); 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 so-called conformal partial wave expansion, i.e. a Fourier-like decomposition of physical quantities into a basis of partial waves for the conformal group SO(1,d+1). This text provides an non-technical 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 Calogero-Sutherland type.

[4]  arXiv:2111.14881 [pdf, ps, other]
Title: Motivic, logarithmic, and topological Milnor fibrations
Subjects: 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 Kato-Nakayama log-space 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 blowings-up thus showing, in particular, that the motivic Milnor fibre is well-defined as an element in a Grothendieck ring and not merely in its localisation.

[5]  arXiv:2111.14889 [pdf, other]
Title: Rigorous data-driven computation of spectral properties of Koopman operators for dynamical systems
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Dynamical Systems (math.DS); Spectral Theory (math.SP); Fluid Dynamics (physics.flu-dyn)

Koopman operators are infinite-dimensional operators that globally linearize nonlinear dynamical systems, making their spectral information useful for understanding dynamics. However, Koopman operators can have continuous spectra and infinite-dimensional invariant subspaces, making computing their spectral information a considerable challenge. This paper describes data-driven 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 measure-preserving dynamical systems. We prove explicit convergence theorems for our algorithms, which can achieve high-order 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 high-dimensional state-space. This allows us to compute the spectral measure associated with the dynamics of a protein molecule that has a 20,046-dimensional state-space, and compute nonlinear Koopman modes with error bounds for turbulent flow past aerofoils with Reynolds number $>10^5$ that has a 295,122-dimensional state-space.

[6]  arXiv:2111.14918 [pdf, ps, other]
Title: From norm derivatives to orthogonalities in Hilbert $C^*$-modules
Comments: 13 pages
Subjects: 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 Birkhoff--James 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 errors
Comments: 25 pages
Subjects: Statistics Theory (math.ST)

We study the non-parametric 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 cut-off. 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 non-trivial choice of the upcoming tuning parameter is necessary and propose a data-driven choice based on a Goldenshluger-Lepski method. Additionally, we show minimax-optimality over Mellin-Sobolev spaces of the estimator.

[8]  arXiv:2111.14922 [pdf, other]
Title: Rigidity, lattices and invariant measures beyond homogeneous dynamics
Authors: David Fisher
Comments: Contribution to Proceedings of the ICM 2022
Subjects: 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 A-modules and operators preserving multi-A-linearity
Comments: 13 pages
Subjects: 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 homology
Authors: Ian Zemke
Comments: 23 pages
Subjects: Geometric Topology (math.GT)

We prove that if $G$ is a plumbing tree and $Y(G)$ is the corresponding plumbed 3-manifold, 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 curves
Authors: Stefano Serpente
Comments: 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 fields
Comments: 10 pages
Subjects: 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 Non-parametric Approach for Causal Structure Learning in Polytrees
Comments: 29 pages
Subjects: 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 DAG-FOCI, a computationally fast algorithm for this setting that is based on the FOCI variable selection algorithm in \cite{azadkia2019simple}. DAG-FOCI requires no tuning parameter and outputs the parents and the Markov boundary of a response variable of interest. We provide high-dimensional guarantees of our procedure when the underlying graph is a polytree. Furthermore, we demonstrate the applicability of DAG-FOCI 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 Wu
Subjects: 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 equation
Authors: Li Li
Subjects: Analysis of PDEs (math.AP)

We consider a time-independent 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 Dirichlet-to-Neumann map. Our approach relies on a time-integral 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 treewidth
Comments: 19 pages, 7 figures, 2 tables
Subjects: 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{k-1}{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{k-1}{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{3k-2}{3k+4}n\leq f < \frac{k}{k+2}n$.
For directed graphs of bounded degeneracy $k$, we prove that $f\leq\frac{k-1}{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{k-2\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 revolution
Comments: LaTeX2e, 32 pages, 4 figures
Subjects: Differential Geometry (math.DG)

We use global bifurcation techniques to establish the existence of arbitrarily many geometrically distinct nonplanar embedded smooth minimal 2-spheres in sufficiently elongated 3-dimensional 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 rank
Authors: Elena Rubei
Subjects: 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(n-r)+ \left[\frac{r^2}{4} \right],$ $a^{\R}(m \times n,r) = r(n-r)+ \frac{r(r-1)}{2} .$

[19]  arXiv:2111.15001 [pdf, other]
Title: Impact of dissipation ratio on vanishing viscosity solutions of the Riemann problem for chemical flooding model
Subjects: 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 non-monotonically on the concentration of chemicals, non-classical 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 saddle-saddle connections.

[20]  arXiv:2111.15003 [pdf, ps, other]
Title: Sequences in Overpartitions
Comments: 10 pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

This paper is devoted to the study of sequences in overpartitions and their relation to 2-color partitions. An extensive study of a general class of double series is required to achieve these ends.

[21]  arXiv:2111.15008 [pdf, other]
Title: Real-Time CRLB based Antenna Selection in Planar Antenna Arrays
Subjects: 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 Cramer-Rao 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 two-step 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 spaces
Authors: Kui Ji, Shanshan Ji
Comments: 18pages
Subjects: Functional Analysis (math.FA)

A well-known 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 Cowen-Douglas 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 Kastler-Kalau-Walze type theorems
Authors: Tong Wu, Yong Wang
Subjects: 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 Kastler-Kalau-Walze type theorems for the operators $\sqrt{-1}\widehat{c}(V)(d+\delta)$ and $-\sqrt{-1}(d+\delta)\widehat{c}(V)$ on 3,4-dimensional oriented compact manifolds with (resp.without) boundary.

[24]  arXiv:2111.15038 [pdf, ps, other]
Title: $\mathbb{C}$-Fuchsian subgroups of some non-arithmetic lattices
Authors: Li-Jie Sun
Comments: 18 pages, 4 figures
Subjects: Geometric Topology (math.GT)

We give a general procedure to analyze the structure for certain $\mathbb{C}$-Fuchsian subgroups of some non-arithmetic 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 Feedback
Comments: 18 pages; submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)

In this paper, we consider the problem of variable-length 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 small-enough-difference (SED) encoder, which asymptotically achieves both capacity and Burnashev's optimal error exponent for symmetric binary-input channels. Building on the work of Naghshvar et al., this paper extends the SED encoding scheme to the class of BACs and develops a non-asymptotic 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 non-asymptotic bound using a two-phase 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 stop-feedback codes.

[26]  arXiv:2111.15046 [pdf, other]
Title: A Secure Key Sharing Algorithm Exploiting Phase Reciprocity in Wireless Channels
Subjects: 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 multi-path 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 under-determined 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 Sequel
Comments: 6 pages, 5 figures
Subjects: 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 fields
Authors: Akio Nakagawa
Comments: 22pages
Subjects: 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: Multi-period facility location and capacity planning under $\infty$-Wasserstein joint chance constraints in humanitarian logistics
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

The key of the post-disaster humanitarian logistics (PD-HL) 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 data-driven distributionally robust (DR) approach and proposes a novel multi-period FLCP model under the $\infty$-Wasserstein joint chance constraints (MFLCP-W). 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 on-time delivery. To solve the MFLCP-W model, we equivalently reformulate it as a mixed integer second-order 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 MFLCP-W 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 2-Parameter Persistence Modules via Zigzag Persistence and its Applications
Comments: 22 pages, 5 figures
Subjects: 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$ case
Authors: Erjuan Fu
Comments: 25 pages
Subjects: 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^2-3g_2 \l+9g_3-6\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 Ginzburg--Landau equation
Authors: Yuning Liu
Comments: 2 figures
Subjects: Analysis of PDEs (math.AP)

In this work, we study the co-dimensional $1$ interface limit of an anisotropic Ginzburg--Landau equation under parabolic scalings. This is a semi-linear parabolic system of a planar vector field with a small parameter $\varepsilon>0$ corresponding to the transition layer width. For well-prepared initial datum, as $\varepsilon$ tends to $0$, we show the solution gradient will concentrate on a closed simple curve evolving by curve-shortening 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 quasi-distance function corresponding to the solution.

[33]  arXiv:2111.15062 [pdf, ps, other]
Title: A continuous version of multiple zeta functions
Authors: Jiangtao Li
Comments: 14 pages
Subjects: 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 Prediction
Subjects: 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 well-studied $\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 Method
Comments: 33 pages, 13 figures
Subjects: 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 4-point IB delta function. A three-dimensional incompressible viscous flow and a no-slip 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: Caffarelli-Kohn-Nirenberg inequalities for curl-free vector fields and second order derivatives
Subjects: 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 curl-free vector fields. Part of these new inequalities generalize the family of Caffarelli-Kohn-Nirenberg (CKN) inequalities studied by Catrina and Costa in \cite{CC} from scalar fields to curl-free vector fields. We will apply a new representation of curl-free 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 curl-free 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 eigenvalues
Authors: Sho Kubota
Comments: 19 pages, 4 tables
Subjects: Combinatorics (math.CO); Quantum Physics (quant-ph)

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 walk-regularity, we enumerate feasible spectra for such graphs.

[38]  arXiv:2111.15076 [pdf, ps, other]
Title: Conformal Perturbations of Twisted Dirac Operators and Noncommutative residue
Comments: arXiv admin note: substantial text overlap with arXiv:1907.08622, arXiv:1404.2339, arXiv:2108.03149
Subjects: Differential Geometry (math.DG)

In this paper, we obtain two kinds of Kastler-Kalau-Walze type theorems for conformal perturbations of twisted Dirac operators and conformal perturbations of signature operators by a vector bundle with a non-unitary connection on six-dimensional manifolds with (respectively without)boundary.

[39]  arXiv:2111.15081 [pdf, ps, other]
Title: Topological categories related to Fredholm operators: II. The analytic index
Comments: 49 pages
Subjects: Differential Geometry (math.DG); Algebraic Topology (math.AT); K-Theory and Homology (math.KT)

Naively, the analytic index of a family of self-adjoint 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 Atiyah-Singer 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 Atiyah-Singer 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 problems
Authors: Yunhui He
Comments: 14 pages, 6 tables
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

Large linear systems of saddle-point type have arisen in a wide variety of applications throughout computational science and engineering. The discretizations of distributed control problems have a saddle-point structure. The numerical solution of saddle-point problems has attracted considerable interest in recent years. In this work, we propose a novel Braess-Sarazin multigrid relaxation scheme for finite element discretizations of the distributed control problems, where we use the stiffness matrix obtained from the five-point finite difference method for the Laplacian to approximate the inverse of the mass matrix arising in the saddle-point system. We apply local Fourier analysis to examine the smoothing properties of the Braess-Sarazin multigrid relaxation. From our analysis, the optimal smoothing factor for Braess-Sarazin 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 Immunity
Subjects: 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 groups
Comments: 22 pages, 4 figures
Subjects: 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 Groups
Comments: 18 pages
Subjects: 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 Access
Comments: 6 pages, 5 figures, published in IEEE Communications Letters
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

The reconfigurable intelligent surface (RIS)-assisted sparse code multiple access (RIS-SCMA) is an attractive scheme for future wireless networks. In this letter, for the first time, the RIS phase shifts of the uplink RIS-SCMA system are optimized based on the alternate optimization (AO) technique to improve the received signal-to-noise ratio (SNR) for a discrete set of RIS phase shifts. The system model of the uplink RIS-SCMA is formulated to utilize the AO algorithm. For further reduction in the computational complexity, a low-complexity AO (LC-AO) 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 non-optimized RIS-SCMA scenario. The LC-AO provides the same received SNR as the AO algorithm, with a significant reduction in complexity. Moreover, the deployment of RISs for the uplink RIS-SCMA is investigated.

[45]  arXiv:2111.15120 [pdf, ps, other]
Title: Sequential Stochastic Control (Single or Multi-Agent) Problems Nearly Admit Change of Measures with Independent Measurements
Comments: 16 pages, 1 figure
Subjects: Optimization and Control (math.OC)

Change of measures has been an effective method in stochastic control and analysis; in continuous-time 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 discrete-time classical stochastic control Borkar has considered this method for partially observed Markov Decision processes (POMDPs) generalizing Fleming and Pardoux's approach in continuous-time. 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 discrete-time and continuous-time and the Radon-Nikodym 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 discrete-time 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 change-of-measure (or static reduction) can be applicable with arbitrarily small error in the optimal cost? That is, are all sequential stochastic (single-agent or decentralized multi-agent) 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 Finite-SNR DMT Analysis for IRS-aided MIMO Systems: How Large IRSs Need to Be?
Subjects: Information Theory (cs.IT)

Intelligent reflecting surfaces (IRSs) are promising enablers for high-capacity wireless communication systems by constructing favorable channels between the transmitter and receiver. However, general, accurate, and tractable outage analysis for IRS-aided multiple-input-multiple-output (MIMO) systems is not available in the literature. In this paper, we first characterize the mutual information (MI) of IRS-aided MIMO systems by capitalizing on large random matrix theory (RMT). Based on this result, a closed-form approximation for the outage probability is derived and a gradient-based algorithm is proposed to minimize the outage probability with statistical channel state information (CSI). We also investigate the diversity-multiplexing tradeoff (DMT) with the finite signal-to-noise 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 closed-form 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 IRS-aided 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 F-theory and the CHL string in eight dimensions
Comments: 35 pages, 5 figures
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th)

We show that the duality between F-theory with discrete flux and the CHL string in eight dimensions defines algebraic correspondences between K3 surfaces polarized by the rank-ten lattices $H \oplus N$ and $H\oplus E_8(-2)$. In the special case when the F-theory admits an additional anti-symplectic involution or, equivalently, the CHL string admits a symplectic one, both moduli spaces coincide. In this case, we derive an explicit parametrization for the F-theory compactifications dual to the CHL string, using an auxiliary genus-one 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 matrices
Authors: Chusei Kiumi
Comments: 11 pages, 6 figures
Subjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)

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 space-inhomogeneous 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 two-component peakons
Comments: Submitted
Subjects: Analysis of PDEs (math.AP); Exactly Solvable and Integrable Systems (nlin.SI)

We prove that the two-component peakon solutions are orbitally stable in the energy space. The system concerned here is a two-component Novikov system, which is an integrable multicomponent extension of the integrable Novikov equation. We improve the method for the scalar peakons to the two-component 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 train-profiles of these two-component 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 Formulas
Comments: 6 pages
Subjects: 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 Kazhdan-Lusztig polynomials
Comments: 47 pages, comments welcome
Subjects: Representation Theory (math.RT)

Kazhdan-Lusztig 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 well-known conjecture formulated by Lusztig and Dyer in the 1980s.

[52]  arXiv:2111.15163 [pdf, ps, other]
Title: Stochastic Wasserstein Hamiltonian Flows
Comments: 34 pages
Subjects: 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 Wong--Zakai approximation. We begin our investigation by showing that the stochastic Euler-Lagrange 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 rank-two graph C*-algebras
Comments: 35 pages. Figures prepared using TikZcd
Subjects: Operator Algebras (math.OA)

We study stable finiteness of extensions of 2-graph C*-algebras determined by saturated hereditary sets of vertices. We use two iterations of the Pimsner-Voiculescu sequence to calculate the map in K-theory induced by the inclusion of a hereditary subgraph into the larger 2-graph 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 2-graph to be stably finite. We illustrate our results with examples.

[54]  arXiv:2111.15172 [pdf, other]
Title: Asymptotically Optimal Sampling Policy for Selecting Top-m Alternatives
Subjects: 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 one-step 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 range
Comments: To appear in International J. Math
Subjects: 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 off-diagonal 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 sign
Subjects: 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 dimensionally-reduced shell theories in elasticity.

[57]  arXiv:2111.15198 [pdf, ps, other]
Title: Finite groups isospectral to simple groups
Subjects: 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 Seiberg-Witten moduli spaces
Comments: 12 pages
Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Differential Geometry (math.DG)

Given a closed four-manifold with $b_1=0$ and a prime number $p$, we prove that for any mod $p$ basic class, the virtual dimension of the Seiberg-Witten moduli space is bounded above by $2p-4$ under a mild condition on $b_2^+$. As an application, we obtain adjunction inequalities for embedded surfaces with negative self-intersection number.

[59]  arXiv:2111.15202 [pdf, other]
Title: Moduli stack of oriented formal groups and the chromatic filtration
Authors: Rok Gregoric
Comments: 37 pages
Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG)

We define a filtration by open substacks on the non-connective 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 non-connective spectral algebraic geometry.

[60]  arXiv:2111.15206 [pdf, other]
Title: Amenability of quadratic automaton groups
Comments: 20 pages, 3 figures
Subjects: 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 Nash-Williams criterion which may be of independent interest.

[61]  arXiv:2111.15209 [pdf, ps, other]
Title: On K-stability of Fano weighted hypersurfaces
Authors: Taro Sano, Luca Tasin
Comments: 26 pages
Subjects: Algebraic Geometry (math.AG)

Let $X \subset \mathbb P(a_0,\ldots,a_n)$ be a quasi-smooth 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 K-stable. 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 K-stable. We also give a sufficient condition for the finiteness of automorphism groups of quasi-smooth 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 Gregoric
Comments: 26 pages
Subjects: 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 ind-coherent sheaves (in a slightly non-standard sense) on a certain spectral stack $\tau_{\ge 0}(\mathcal M_\mathrm{FG}^\mathrm{or})$. The latter is the connective cover of the non-connective 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 choosability
Authors: Lingxi Li, Tao Wang
Comments: 7 pages
Subjects: 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}$-minor-free 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}$-minor-free graph is DP-$5$-colorable, and every $K_{3, 3}$-minor-free 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 approximations
Comments: 10 pages
Subjects: Operator Algebras (math.OA); Mathematical Physics (math-ph)

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 figures
Subjects: Mathematical Physics (math-ph)

The open XXZ spin chain with the anisotropy $\Delta=-\frac12$ and a one-parameter family of diagonal boundary fields is studied at finite length. A determinant formula for an overlap involving the spin chain's ground-state vectors for different lengths is found. The overlap allows one to obtain an exact finite-size 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 homomorphisms
Comments: 14 pages
Subjects: 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 finite-dimensional algebras
Authors: Matej Brešar
Comments: 15 pages
Subjects: Rings and Algebras (math.RA)

Let $A$ be a finite-dimensional 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 finite-dimensional 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 group
Subjects: 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 manifolds
Authors: Indranil Biswas
Comments: 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 Kempf--Laksov flag bundles
Authors: Lionel Darondeau
Comments: Dedicated to Professor Piotr Pragacz on the occasion of his recent retirement
Subjects: Algebraic Geometry (math.AG)

We introduce analogs of the Kempf--Laksov desingularizations of Schubert bundles in (non-necessary 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 zero-loci 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 Boltzmann-Grad Limit for the Lorentz Gas with a Poisson Distribution of Obstacles
Authors: François Golse (CMLS, Ecole polytechnique)
Comments: 18 pages
Subjects: 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. 48--55] on the derivation of the linear Boltzmann equation for the Lorentz gas with a Poisson distribution of obstacles in the Boltzmann-Grad limit.

[73]  arXiv:2111.15277 [pdf, ps, other]
Title: Markov's problem for free groups
Subjects: 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 so-called precompact Markov topology in non-commutative free groups.

[74]  arXiv:2111.15287 [pdf, ps, other]
Title: Ramanujan-style congruences for prime level
Comments: 23 pages. Comments are very welcome!
Subjects: Number Theory (math.NT)

We establish Ramanujan-style 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 Atkin-Lehner operator inside the space of cusp forms of weight $k$ for $\Gamma_0(p)$. Under a mild assumption, this refines a result of Gaba-Popa. We use these congruences and recent work of Ciolan, Languasco and the third author on Euler-Kronecker constants, to quantify the non-divisibility 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 Ornstein-Uhlenbeck Process driven by a general Gaussian noise with Hurst Parameter $H\in (0,\frac12)$
Comments: 33 pages
Subjects: Statistics Theory (math.ST); Probability (math.PR)

In Chen and Zhou 2021, they consider an inference problem for an Ornstein-Uhlenbeck process driven by a general one-dimensional 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)^{H-1}$ 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 Berry-Ess\'{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 Stokes-Cahn-Hilliard system modeling binary fluid mixture in a porous medium
Comments: 20 pages, 1 figure
Subjects: Analysis of PDEs (math.AP)

A phase-field model for two-phase immiscible, incompressible porous media flow with surface tension effects is considered. The pore-scale model consists of a strongly coupled system of Stokes-Cahn-Hilliard 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 well-posedness 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 two-scale convergence approach.

[77]  arXiv:2111.15297 [pdf, other]
Title: Compact Sets in Petals and their Backward Orbits under Semigroups of Holomorphic Functions
Comments: 20 pages, 6 figures
Subjects: 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: Quasi-toposes as elementary quotient completions
Subjects: 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 quasi-topos. 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 tripos-to-topos 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 figures
Subjects: 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), 444--459] 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 Sturm-Liouville operator given on a system of segments
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph)

The spectral analysis of the Sturm-Liouville operator defined on a finite segment is the subject of an extensive literature. Sturm-Liouville 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 self-adjoint 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 systems
Subjects: 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 torsion
Comments: 15 pages. Final version. To appear in J. Number Theory
Subjects: 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 knots
Comments: 26 pages, 12 figures
Subjects: Geometric Topology (math.GT); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

We introduce a new real-valued invariant called the natural slope of a hyperbolic knot in the 3-sphere, 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 4-ball 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} approximation
Comments: 16 pages, not submitted to any journal at the moment
Subjects: 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 Walks
Subjects: Logic (math.LO)

We define a variant of the Goodstein process based on fast-growing functions and show that it terminates, but this fact is not provable in Kripke-Platek set theory or other theories of strength the Bachmann-Howard ordinal. We moreover show that this Goodstein process is of maximal length, so that any alternative Goodstein process based on the same fast-growing functions will also terminate.

[86]  arXiv:2111.15331 [pdf, other]
Title: The relative trace formula in electromagnetic scattering and boundary layer operators
Comments: 45 pages, 2 figures
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Functional Analysis (math.FA)

This paper establishes trace-formulae for a class of operators defined in terms of the functional calculus for the Laplace operator on divergence-free 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 trace-formulae allow for unbounded functions in the functional calculus that are not admissible in the Birman-Krein formula. In special cases the trace-formula 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 trace-class 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 modules
Subjects: 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 semi-local ring.

[88]  arXiv:2111.15339 [pdf, ps, other]
Title: RadioWeaves for Extreme Spatial Multiplexing in Indoor Environments
Comments: 5 pages, 4 figures. Published in 2020 54th Asilomar Conference on Signals, Systems, and Computers
Journal-ref: 2020 54th Asilomar Conference on Signals, Systems, and Computers
Subjects: 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 co-located 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 co-located deployment.

[89]  arXiv:2111.15346 [pdf, ps, other]
Title: A biharmonic transmission problem in Lp-spaces
Authors: Alexandre Thorel (LMAH)
Journal-ref: Communications on Pure \& Applied Analysis, American Institute of Mathematical Sciences (AIMS) 2021
Subjects: 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 p-spaces, 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 p-spaces using the E $\infty$-calculus and the Dore-Venni 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 Brunn-Minkowski-Kemperman inequality
Authors: Takashi Satomi
Comments: 16 pages, 1 figure
Subjects: 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 Brunn-Minkowski-Kemperman 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 non-null 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 Two-Dimensional Subspace of R^3
Authors: Lin Si
Subjects: Metric Geometry (math.MG)

In this note, we given a version of Pick's theorem for the simple lattice polygon in two-dimensional subspace of R^3.

[92]  arXiv:2111.15378 [pdf, other]
Title: Clustering-Based Activity Detection Algorithms for Grant-Free Random Access in Cell-Free Massive MIMO
Comments: 12 pages, 9 figures. Published in IEEE Transactions on Communications, Vol. 69, No. 11, pp. 7520 - 7530, November 2021
Journal-ref: IEEE Transactions on Communications, Vol. 69, No. 11, pp. 7520 - 7530, November 2021
Subjects: 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 co-located massive MIMO arrays. In this paper, we investigate the activity detection in grant-free random access for mMTC in cell-free massive MIMO networks using distributed arrays. Each active device transmits a non-orthogonal 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 cell-free massive MIMO are provided to solve it. The simulation results show that the macro-diversity gain provided by the cell-free architecture improves the activity detection performance compared to co-located architecture when the coverage area is large.

[93]  arXiv:2111.15383 [pdf, other]
Title: A conformal geometric point of view on the Caffarelli-Kohn-Nirenberg inequality
Authors: Louis Dupaigne (ICJ, EDPA), Ivan Gentil (ICJ, EDPA), Simon Zugmeyer (UMPA-ENSL)
Subjects: Analysis of PDEs (math.AP)

We are interested in the Caffarelli-Kohn-Nirenberg 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 symmetry-breaking 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 n-conformal 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 Two
Authors: 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 slope-stability 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 Codes
Subjects: 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 time-scales
Comments: 35 pages
Subjects: 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 slow-fast 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 fast-subsystem 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 functions
Comments: arXiv admin note: text overlap with arXiv:2011.09660
Subjects: Functional Analysis (math.FA)

Using the existence of infinite numbers $k$ in the non-Archimedean ring of Robinson-Colombeau, 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 non-tempered global unique solutions of differential equations.

[98]  arXiv:2111.15410 [pdf, ps, other]
Title: Dimension estimates for badly approximable affine forms
Comments: 59 pages, 1 figure. This paper supersedes the posting arXiv:1904.07476, making the latter obsolete
Subjects: 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 Aq-b \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 Mullins--Sekerka problem
Authors: Robert Nürnberg
Comments: 24 pages, 9 figures
Subjects: 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 two-sided Mullins--Sekerka 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 high-dimensional sparse logistic regression via nonlinear primal-dual hybrid gradient algorithms
Comments: 16 pages
Subjects: 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. State-of-the-art 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 primal-dual 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 matrix-vector 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 first-order optimization methods such as the classic primal-dual hybrid gradient or forward-backward splitting methods.

[101]  arXiv:2111.15429 [pdf, ps, other]
Title: Homogeneity and related topics: An extended bibliography
Authors: Gregory Cherlin
Comments: Supplement to a monograph to appear in LNL (on-line 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 Ljusternik--Schnirelman theory and Lagrangian intersections
Authors: Wenmin Gong
Comments: 28pages, 2 figures
Subjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG); Dynamical Systems (math.DS)

In this paper we consider two Lagrangian versions of Ljusternik-Schnirelman 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 (non-transversal) sense. In particular, we apply Lagrangian Ljusternik-Schnirelman inequality I to establish a sharpened Chekanov-type result about the Arnold conjecture, and Lagrangian Ljusternik-Schnirelman inequality I-II 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 Navier-Stokes equations with assumptions on the pressure
Authors: Tobias Barker
Comments: 20 pages
Subjects: Analysis of PDEs (math.AP)

We show that if the pressure $p$ associated to a Navier-Stokes solution $v$ (in three-dimensions) 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 blow-up 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 space-time integrals of $$|\nabla v|^2|v|^{q-2}\,\,\,\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 spaces
Comments: 11 pages
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)

We investigate the pseudo-hyperk\"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 equations
Authors: Ryosuke Odoi
Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); 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 pre-factors in the large and small $x$ asymptotics of the tau functions for global solutions of the tt{*}-Toda equations. This constant problem for the sinh-Gordon 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 Riemann-Hilbert correspondence.

[106]  arXiv:2111.15464 [pdf, other]
Title: Energy-Efficient Design for a NOMA assisted STAR-RIS Network with Deep Reinforcement Learning
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)

Simultaneous transmitting and reflecting reconfigurable intelligent surfaces (STAR-RISs) 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 non-orthogonal multiple access (NOMA) assisted STAR-RIS 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 STAR-RIS. Simulation results demonstrate that the proposed algorithm can effectively maximize the system EE considering the time-varying channels.

[107]  arXiv:2111.15465 [pdf, ps, other]
Title: Cyclic inequalities involving Cater cyclic function
Comments: 13 pages
Subjects: 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+1-i}}}}\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 Variables
Subjects: 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 Network
Subjects: Information Theory (cs.IT)

Accurate channel modeling is the foundation of communication system design. However, the traditional measurement-based 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 Root-Mean-Square 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 Landau-Lifshitz-Gilbert-Vlasov-Maxwell system coupled via emergent electromagnetic fields
Subjects: Analysis of PDEs (math.AP)

Motivated by recent models of current driven magnetization dynamics, we examine the coupling of the Landau-Lifshitz-Gilbert equation and classical electron transport governed by the Vlasov-Maxwell system. The interaction is based on space-time gyro-coupling 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: Semi-equivelar toroidal maps and their k-semiregular covers
Comments: arXiv admin note: text overlap with arXiv:2111.13085, arXiv:2110.12375
Subjects: 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 face-cycles 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 semi-equivelar toroidal map has a finite unique minimal semiregular cover. In this article, we show the bounds of flag orbits of semi-equivelar toroidal maps, i.e., there exists $k$ for each type such that every semi-equivelar 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 semi-equivelar 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 semi-equivelar 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 set
Comments: 6 pages. arXiv admin note: text overlap with arXiv:2101.01034
Subjects: 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_k-b_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 forms
Comments: 12 pages
Subjects: 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 Conjecture
Authors: Soumyadip Das
Comments: 27 pages
Subjects: 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: Rate-Induced Tipping: Thresholds, Edge States and Connecting Orbits
Subjects: Dynamical Systems (math.DS)

Rate-induced tipping (R-tipping) occurs when time-variation 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 R-tipping in multidimensional nonautonomous dynamical systems with an autonomous future limit. Our focus is on R-tipping 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 R-tipping 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 R-tipping edge state that anchors the associated regular R-tipping threshold at infinity. We then introduce the concept of edge tails to rigorously classify R-tipping 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 R-tipping 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 R-tipping. Additionally, we give necessary and sufficient conditions for the occurrence of reversible and irreversible R-tipping in terms of computationally verifiable (heteroclinic) connections to regular R-tipping edge states in the compactified system.

[116]  arXiv:2111.15499 [pdf, other]
Title: 3-Manifolds with Constant Ricci Eigenvalues $(λ, λ, 0)$
Authors: Thomas G. Brooks
Comments: 26 pages, 5 figures
Subjects: 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 non-trivial 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 Integrals
Comments: 55 pages, several anc. files
Subjects: Mathematical Physics (math-ph); Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)

Hypergeometric structures in single and multiscale Feynman integrals emerge in a wide class of topologies. Using integration-by-parts 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-, Lauricella-Saran-, Srivasta-, and Exton--type 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 Flows
Comments: 25 pages, 11 figures
Subjects: 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 post-closure safety assessment of deep geological storage facilities for radioactive waste where leaked, non-sorbing, 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 dual-weighted-residual techniques to derive goal-oriented $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 Transistors
Subjects: Numerical Analysis (math.NA)

We investigate time-adaptive Magnus-type 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 defect-based 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 m-Bakry-Emery Ricci lower bounds for $m\leq1$
Comments: 27 pages. arXiv admin note: text overlap with arXiv:2001.00444
Subjects: Differential Geometry (math.DG)

In this paper, we prove a Laplacian comparison theorem for non-symmetric 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, Bishop-Gromov volume comparison theorem, Ambrose-Myers' theorem, Cheng's maximal diameter theorem, and the Cheeger-Gromoll type splitting theorem hold. Some of these results were well-studied 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 well-posedness of the coupled Yang-Mills and Dirac system in temporal gauge
Authors: Hartmut Pecher
Comments: 20 gages. arXiv admin note: text overlap with arXiv:1506.02533, arXiv:2103.06770
Subjects: Analysis of PDEs (math.AP)

We consider the classical Yang-Mills 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 well-posedness for small data with minimal regularity assumptions. This problem for smooth data was solved forty years ago by Y. Choquet-Bruhat 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 Spaces
Authors: Pierre Touchard
Subjects: Logic (math.LO)

In analogy to valued fields, we study model-theoretic 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 Trees
Authors: Matteo Pegoraro
Subjects: 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 partitions
Comments: 11 pages; 2 figures; extended abstract
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)

We study the asymptotic distribution, as the volume parameter goes to 1, of the peak (largest part) of finite- or slowly-growing-width 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 well-known extremal value distributions: the Gumbel distribution of maxima of iid random variables and the Tracy--Widom 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 Kardar--Parisi--Zhang equation.

[125]  arXiv:2111.15539 [pdf, ps, other]
Title: Smooth rough paths, their geometry and algebraic renormalization
Comments: 47 pages
Subjects: 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 Maurer-Cartan 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 quasi-geometric 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 primes
Authors: Alexey Orlov
Subjects: 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 Spaces
Subjects: 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 Laws
Subjects: Analysis of PDEs (math.AP)

We extend the recent work of Oliveras arXiv:2008.00940 and Oliveras & Calatola-Young arXiv:2105.07580 to develop a new nonlocal formulation of the water-wave problem for a three-dimensional fluid with a two-dimensional 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 water-wave problem.

[129]  arXiv:2111.15560 [pdf, other]
Title: Particle configurations for branching Brownian motion with an inhomogeneous branching rate
Subjects: 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 Navier-Stokes-Fourier system
Comments: arXiv admin note: text overlap with arXiv:2008.05173
Subjects: 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 so-called 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 Navier-Stokes-Fourier system.

[131]  arXiv:2111.15567 [pdf, ps, other]
Title: Center-Outward Sign- and Rank-Based Quadrant, Spearman, and Kendall Tests for Multivariate Independence
Comments: 23 pages
Subjects: Statistics Theory (math.ST)

Defining multivariate generalizations of the classical univariate ranks has been a long-standing 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 distribution-free, 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 Chernoff-Savage 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 Cell-Free Massive MIMO
Comments: 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 cell-free massive multiple-input-multiple-output network. We propose efficient approaches to compute the a posteriori probability-per-bit, 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 log-likelihood 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 second-order nonlinear hyperbolic equations
Authors: Aili Shao
Comments: 48 pages, 1 figure
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

In this paper we study the finite element approximation of systems of second-order 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 Semi-supervised Minimum Sum-of-Squares Clustering
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)

The minimum sum-of-squares clustering (MSSC), or k-means 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 semi-supervised or constrained clustering. In this paper, we present a new branch-and-bound algorithm for semi-supervised MSSC, where background knowledge is incorporated as pairwise must-link and cannot-link constraints. For the lower bound procedure, we solve the semidefinite programming relaxation of the MSSC discrete optimization model, and we use a cutting-plane procedure for strengthening the bound. For the upper bound, instead, by using integer programming tools, we propose an adaptation of the k-means algorithm to the constrained case. For the first time, the proposed global optimization algorithm efficiently manages to solve real-world instances up to 800 data points with different combinations of must-link and cannot-link constraints and with a generic number of features. This problem size is about four times larger than the one of the instances solved by state-of-the-art exact algorithms.

[135]  arXiv:2111.15575 [pdf, ps, other]
Title: Measurability, Spectral Densities and Hypertracesin Noncommutative Geometry
Subjects: 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, self-adjoint 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 cohomology
Authors: Sean Howe
Comments: 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 double-coset, and unitarity yields the slope vanishing.

[137]  arXiv:2111.15577 [pdf, ps, other]
Title: Warning Propagation: stability and subcriticality
Comments: arXiv admin note: substantial text overlap with arXiv:2102.00970
Subjects: 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 multi-type 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 multi-type Galton-Watson 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 Tao
Comments: 6 pages
Subjects: 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 Fields
Subjects: 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 Bilu-Gillibert 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 II
Comments: Portions of this work previously appeared as arXiv:2103.13135, which has been split
Subjects: 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 Two-Phase Stefan Problem with Anomalous Diffusion
Subjects: Analysis of PDEs (math.AP)

The non-local in space two-phase Stefan problem (a prototype in phase change problems) can be formulated via a singular nonlinear parabolic integro-differential 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 one-relator groups and units of special one-relation inverse monoids
Comments: 22 pages, 74 references
Subjects: Group Theory (math.GR); Rings and Algebras (math.RA)

This note investigates and clarifies some connections between the theory of one-relator groups and special one-relation 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 one-relator group admits a special one-relation inverse monoid presentation. We subsequently consider the classes ${\rm {\small ANY}}, {\rm {\small RED}}, {\rm {\small CRED}},$ and ${\rm {\small POS}}$ of one-relator groups which can be defined by special one-relation 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 one-relation 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 one-relation inverse monoid.

[143]  arXiv:2111.15612 [pdf, other]
Title: Percolation and $O(1)$ loop model
Comments: 9 pages, 4 figures
Subjects: Probability (math.PR); Mathematical Physics (math-ph); 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 Reconstructions
Subjects: 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 Gauss-Newton 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 Gauss-Newton 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 matrix-free 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 X-ray imaging with real data.

[145]  arXiv:2111.15645 [pdf, other]
Title: Survey Descent: A Multipoint Generalization of Gradient Descent for Nonsmooth Optimization
Subjects: 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 "max-of-smooth" model that captures subdifferential dimension at optimality. We prove linear convergence when the objective is itself max-of-smooth, 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 two-sided cell
Authors: Stefan Dawydiak
Comments: 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 bundles
Comments: 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 Deligne-Mumford 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 Powers
Subjects: 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 second-order ordinary differential equations containing logistic maps as nonlinear coefficients
Comments: 11 pages, 8 figures
Subjects: Numerical Analysis (math.NA); Chaotic Dynamics (nlin.CD)

This work is devoted to find the numerical solutions of several one dimensional second-order 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: Pseudo-isotopies and diffeomorphisms of 4-manifolds
Authors: Oliver Singh
Comments: 56 pages, 18 figures
Subjects: Geometric Topology (math.GT)

A diffeomorphism $f$ of a compact manifold $X$ is pseudo-isotopic 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 4-manifolds which are pseudo-isotopic but not isotopic to the identity. To do so, we further understanding of which elements of the "second pseudo-isotopy obstruction", defined by Hatcher and Wagoner, can be realised by pseudo-isotopies of 4-manifolds. We also prove that all elements of the first and second pseudo-isotopy 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 Variety
Comments: 25 pages, 3 tables
Subjects: 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 type-independent 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.

Cross-lists for Wed, 1 Dec 21

[152]  arXiv:2111.14868 (cross-list from cond-mat.str-el) [pdf, other]
Title: Towards topological fixed-point models beyond gappable boundaries
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Quantum Algebra (math.QA); Quantum Physics (quant-ph)

We consider fixed-point models for topological phases of matter formulated as discrete path integrals in the language of tensor networks. Such zero-correlation length models with an exact notion of topological invariance are known in the mathematical community as state-sum constructions or lattice topological quantum field theories. All of the established ansatzes for fixed-point models imply the existence of a gapped boundary as well as a commuting-projector Hamiltonian. Thus, they fail to capture topological phases without a gapped boundary or commuting-projector Hamiltonian, most notably chiral topological phases in $2+1$ dimensions. In this work, we present a more general fixed-point ansatz not affected by the aforementioned restrictions. Thus, our formalism opens up a possible way forward towards a microscopic fixed-point 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 fixed-point models, whereas established ansatzes are universal only for fixed-points of phases which admit topological boundaries.

[153]  arXiv:2111.14928 (cross-list from quant-ph) [pdf, ps, other]
Title: Noncommutative Nullstellensätze and Perfect Games
Comments: 58 pages
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)

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 (cross-list from q-bio.PE) [pdf, other]
Title: Fitness landscape adaptation in open replicator systems with competition: application to cancer therapy
Subjects: Populations and Evolution (q-bio.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 Crow-Kimura 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 steady-state equations, where all the elements continuously depend on the evolutionary parameter.

[155]  arXiv:2111.14984 (cross-list from cs.CE) [pdf, other]
Title: Continuous conditional generative adversarial networks for data-driven solutions of poroelasticity with heterogeneous material properties
Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

Machine learning-based data-driven modeling can be computationally efficient solutions of time-dependent subsurface geophysical systems. In this work, our previous approach of conditional generative adversarial networks (cGAN) developed for steady-state problems with heterogeneous materials is extended to time-dependent 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 element-wise 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 speed-up. This robust framework will enable us to perform real-time reservoir management and robust uncertainty quantification in realistic problems.

[156]  arXiv:2111.14991 (cross-list from cs.LG) [pdf, other]
Title: Bayesian Optimization for auto-tuning GPU kernels
Comments: 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 non-trivial exercise for large search spaces, even when automated. This poses an optimization task on a non-convex 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 (cross-list from stat.CO) [pdf, other]
Title: Convergence Rate of Multiple-try Metropolis Independent sampler
Subjects: Computation (stat.CO); Statistics Theory (math.ST)

The Multiple-try Metropolis (MTM) method is an interesting extension of the classical Metropolis-Hastings 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 Multiple-try Metropolis Independent sampler (MTM-IS) via an explicit eigen analysis. As a by-product, we prove that MTM-IS is less efficient than the simpler approach of repeated independent Metropolis-Hastings 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 (cross-list from cs.LG) [pdf, other]
Title: Trust the Critics: Generatorless and Multipurpose WGANs with Initial Convergence Guarantees
Comments: 20 pages, 8 figures
Subjects: 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 non-negligible 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 (cross-list from q-bio.QM) [pdf]
Title: A Novel Heart Disease Classification Algorithm based on Fourier Transform and Persistent Homology
Subjects: Quantitative Methods (q-bio.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 (cross-list from cs.DC) [pdf]
Title: Thermal entropy based hesitant fuzzy linguistic term set analysis in energy efficient opportunistic clustering
Comments: 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, self-organizing opportunistic clustering using Hesitant Fuzzy Linguistic Term Analysis-based Multi-Criteria 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 (cross-list from physics.flu-dyn) [pdf, other]
Title: Oblique transition in hypersonic double-wedge flow: An input-output viewpoint
Comments: 32 pages, 26 figures
Subjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Optimization and Control (math.OC); Chaotic Dynamics (nlin.CD)

We utilize input-output 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 double-wedge. Even though the laminar separated flow is globally stable, input-output 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 input-output framework in uncovering triggering mechanisms for oblique transition in separated high-speed boundary layer flows.

[162]  arXiv:2111.15204 (cross-list from q-fin.RM) [pdf, ps, other]
Title: Estimation of inter-sector asset correlations
Authors: Christian Meyer
Comments: 15 pages
Subjects: Risk Management (q-fin.RM); Probability (math.PR); Computational Finance (q-fin.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 inter-sector asset correlations by separation of cross-sectional dimension and time dimension.

[163]  arXiv:2111.15225 (cross-list from q-bio.PE) [pdf, other]
Title: Brauer and partition diagram models for phylogenetic trees and forests
Comments: 22 pages, 15 figures
Subjects: Populations and Evolution (q-bio.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 Diaconis-Holmes correspondence from binary trees to non-binary 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 (cross-list from cs.LG) [pdf, other]
Title: Global Convergence Using Policy Gradient Methods for Model-free Markovian Jump Linear Quadratic Control
Comments: 42 pages, 3 figures
Subjects: 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 end-to-end manner, along with being relatively easy to implement without complete knowledge of the underlying system. In this paper, we study the global convergence of gradient-based policy optimization methods for quadratic control of discrete-time and model-free 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 (cross-list from hep-th) [pdf, ps, other]
Title: Global Anomalies and Bordism Invariants in One Dimension
Authors: Saki Koizumi
Comments: 39+1 pages
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We consider massless Majorana fermion systems with $G=\mathbb{Z}_N$, $SO(N)$, and $O(N)$ symmetry in one-dimensional 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 (cross-list 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 Making
Authors: Zongmin Liu
Comments: submitted to IEEE Transactions on Fuzzy Systems
Subjects: 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 decision-makers 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 aggregation-based approach is developed, and an optimal investment case from a financial risk is used to illustrate the application of DFPILTS and decision method in multi-criteria decision making.

[167]  arXiv:2111.15281 (cross-list from quant-ph) [pdf, ps, other]
Title: Exact solution of the many-body problem with a $\mathcal{O}\left(n^6\right)$ complexity
Authors: Thierry Deutsch
Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Chemical Physics (physics.chem-ph)

In this article, we define a new mathematical object, called a pair of anti-commutant 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 many-body 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 two-body 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 (cross-list from cs.LG) [pdf, other]
Title: AutoDrop: Training Deep Learning Models with Automatic Learning Rate Drop
Comments: 12 figures, 23 pages
Subjects: 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 pre-defined 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 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum algorithm for stochastic optimal stopping problems
Comments: 44 pages
Subjects: Quantum Physics (quant-ph); Probability (math.PR); Computational Finance (q-fin.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 (cross-list from physics.flu-dyn) [pdf, ps, other]
Title: Stochastic modeling of surface scalar-flux fluctuations in turbulent channel flow using one-dimensional turbulence
Comments: Accepted manuscript. 30 pages, 13 figures. Version-of-record available online 11/30/2021 at URL: this https URL
Journal-ref: International Journal of Heat and Fluid Flow, Volume 93, February 2022, 108889
Subjects: Fluid Dynamics (physics.flu-dyn); Statistical Mechanics (cond-mat.stat-mech); Dynamical Systems (math.DS)

Accurate and economical modeling of near-surface transport processes is a standing challenge for various engineering and atmospheric boundary-layer flows. In this paper, we address this challenge by utilizing a stochastic one-dimensional turbulence (ODT) model. ODT aims to resolve all relevant scales of a turbulent flow for a one-dimensional domain. Here ODT is applied to turbulent channel flow as stand-alone tool. The ODT domain is a wall-normal 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 boundary-layer structure, turbulent fluctuations, transient surface fluxes, mixing, and transfer to a wall. We demonstrate that the model is able to resolve relevant wall-normal transport processes across the turbulent boundary layer and that it captures state-space statistics of the surface scalar-flux fluctuations. In addition, we show that the predicted mean scalar transfer, which is quantified by the Sherwood ($Sh$) number, self-consistently reproduces established scaling regimes and asymptotic relations. For high asymptotic $Sc$ and $Re$, ODT results fall between the Dittus--Boelter, $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. 1204-1214, 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 (cross-list from stat.ME) [pdf, other]
Title: A Hierarchical Geodesic Model for Longitudinal Analysis on Manifolds
Comments: This is a preprint version of an article submitted to the Journal of Mathematical Imaging and Vision c\c{opyright}Springer
Subjects: 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 manifold-valued data to Kendall's shape space. In particular, instead of the Sasaki metric, we adapt a functional-based 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 (cross-list from hep-th) [pdf, ps, other]
Title: Analytic resurgence in the O(4) model
Comments: 35 pages, LaTeX, no figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

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 two-dimensional 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 (cross-list from eess.SY) [pdf, other]
Title: Monotone one-port circuits
Subjects: 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 one-port 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 (cross-list from astro-ph.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 releases
Authors: Pratyush Pranav
Comments: 16 figures, 2 tables. Matches accepted version in A&A. arXiv admin note: substantial text overlap with arXiv:2101.02237
Subjects: Cosmology and Nongalactic Astrophysics (astro-ph.CO); Algebraic Topology (math.AT)

We present a multi-scale 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 non-Gaussian 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 large-scale 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 (cross-list from cs.AI) [pdf, ps, other]
Title: Asymptotics for Pull on the Complete Graph
Subjects: 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 2055-2061, 2015.

[176]  arXiv:2111.15524 (cross-list from stat.ME) [pdf, other]
Title: Efficiency of Regression (Un)-Adjusted Rosenbaum's Rank-based Estimator in Randomized Experiments
Subjects: 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, difference-in-means type estimators behave poorly if the potential outcomes have a heavy-tail, 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 difference-in-means estimator, and can be much smaller when the potential outcomes are not light-tailed. 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 difference-in-means based estimators, either unadjusted or regression adjusted, these rank-based estimators are efficient and robust against heavy-tailed distributions, contamination, and various model misspecifications.

[177]  arXiv:2111.15528 (cross-list from cs.DM) [pdf, ps, other]
Title: Facets of the Total Matching Polytope for bipartite graphs
Authors: Luca Ferrarini
Comments: 9 pages, 1 figure
Subjects: 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 facet-defining and the non-balanced lifted biclique inequalities obtained by a lifting procedure, which are facet-defining for bipartite graphs. Finally, we give a complete description for Complete Bipartite Graphs.

[178]  arXiv:2111.15537 (cross-list from cs.LG) [pdf, other]
Title: Model-Free $μ$ Synthesis via Adversarial Reinforcement Learning
Comments: Submitted to ACC 2022
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)

Motivated by the recent empirical success of policy-based reinforcement learning (RL), there has been a research trend studying the performance of policy-based RL methods on standard control benchmark problems. In this paper, we examine the effectiveness of policy-based 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 model-free version of the well-known $DK$-iteration for solving state-feedback $\mu$ synthesis with static $D$-scaling. In the proposed algorithm, the $K$ step mimics the classical central path algorithm via incorporating a recently-developed double-loop adversarial RL method as a subroutine, and the $D$ step is based on model-free finite difference approximation. Extensive numerical study is also presented to demonstrate the utility of our proposed model-free algorithm. Our study sheds new light on the connections between adversarial RL and robust control.

[179]  arXiv:2111.15546 (cross-list from cs.LG) [pdf, ps, other]
Title: Black box tests for algorithmic stability
Comments: 25 pages
Subjects: 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 (cross-list from nlin.PS) [pdf, other]
Title: Partial tipping in a spatially heterogeneous world
Comments: 18 pages, 7 figures
Subjects: Pattern Formation and Solitons (nlin.PS); Analysis of PDEs (math.AP); Atmospheric and Oceanic Physics (physics.ao-ph)

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 (cross-list from quant-ph) [pdf, other]
Title: The Quantum Multiple-Access Channel with Cribbing Encoders
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)

Communication over a quantum multiple-access 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 no-cloning theorem, perfect cribbing is impossible. This leads to the introduction of a MAC model with noisy cribbing. In the causal and non-causal 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 decode-forward region is derived for a quantum MAC with non-robust cribbing. For the classical-quantum 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 classical-quantum MAC with a deterministic cribbing channel, the inner and outer bounds coincide.

[182]  arXiv:2111.15626 (cross-list from eess.SP) [pdf, other]
Title: Variational Autoencoders for Studying the Manifold of Precoding Matrices with High Spectral Efficiency
Authors: 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 figure
Subjects: Signal Processing (eess.SP); Artificial Intelligence (cs.AI); Information Theory (cs.IT)

In multiple-input multiple-output (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 time-consuming 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 (cross-list from physics.med-ph) [pdf, other]
Title: Wound Healing Modeling Using Partial Differential Equation and Deep Learning
Subjects: Medical Physics (physics.med-ph); 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 learning-based 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 long-term behavior of wound healing.

[184]  arXiv:2111.15649 (cross-list from hep-th) [pdf, ps, other]
Title: Kinematic Hopf Algebra for BCJ Numerators in Heavy-Mass Effective Field Theory and Yang-Mills Theory
Comments: 10 pages, 8 figures
Subjects: High Energy Physics - Theory (hep-th); Combinatorics (math.CO)

We present a closed formula for all Bern-Carrasco-Johansson (BCJ) numerators describing $D$-dimensional tree-level scattering amplitudes in a heavy-mass 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 black-hole scattering and gravitational-wave emission. Our construction is based on finding a kinematic algebra for the numerators, which we relate to a quasi-shuffle 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}_{n-3}$, reflecting the underlying quasi-shuffle Hopf algebra structure. Finally, by considering an appropriate factorisation limit, the massive particles decouple, and we thus obtain a kinematic algebra and all tree-level BCJ numerators for $D$-dimensional pure Yang-Mills theory.

[185]  arXiv:2111.15659 (cross-list from nlin.SI) [pdf, ps, other]
Title: Integrable and Superintegrable Extensions of the Rational Calogero-Moser Model in 3 Dimensions
Comments: 27 pages
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)

We consider a class of Hamiltonian systems in 3 degrees of freedom, with a particular type of quadratic integral and which includes the rational Calogero-Moser 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 Calogero-Moser 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:conflat-general}, 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\'enon-Heiles type potentials on a Darboux-Koenigs $D_2$ background.

Replacements for Wed, 1 Dec 21

[186]  arXiv:1307.5540 (replaced) [pdf, ps, other]
Title: On the Pricing of Storable Commodities
Comments: Version to appear as Chapter 17 in Financial Informatics: An Information-Based Approach to Asset Pricing. D. C. Brody, L. P. Hughston & A. Macrina (editors). Singapore: World Scientific Publishing Company (2022)
Subjects: Pricing of Securities (q-fin.PR); Probability (math.PR)
[187]  arXiv:1703.04794 (replaced) [pdf, ps, other]
Title: Cox Rings and Algebraic Maps
Authors: Tomasz Mańdziuk
Comments: Final version published in Mathematische Nachrichten
Journal-ref: Mathematische Nachrichten. 2019; 292: 389-401
Subjects: Algebraic Geometry (math.AG)
[188]  arXiv:1708.01209 (replaced) [pdf, ps, other]
Title: An Elementary Proof of the Riemann Hypothesis
Authors: Frank Stenger
Comments: 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 C-Systems
Authors: Anthony Bordg
Subjects: Category Theory (math.CT); Logic (math.LO)
[190]  arXiv:1809.00964 (replaced) [pdf, other]
Title: Mathematical models for fake news
Comments: Version to appear as Chapter 18 in Financial Informatics: An Information-Based 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 pages
Subjects: 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 Dawydiak
Comments: 15 pages. In v4, updated to match published version
Journal-ref: Proc. Amer. Math. Soc. 149 (2021), 71-88
Subjects: Representation Theory (math.RT)
[193]  arXiv:1903.05032 (replaced) [pdf, ps, other]
Title: Unlikely intersections and the Chabauty-Kim method over number fields
Authors: Netan Dogra
Comments: Several changes due to an error in Lemma 2.2 and Lemma 5.4 from the previous version. 50 pages, comments welcome
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[194]  arXiv:1904.05014 (replaced) [pdf, other]
Title: Analysis of Beam Sweeping Techniques for Cell-Discovery in mm Wave Systems
Subjects: 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 dimensions
Comments: 45 pages, 9 figures
Journal-ref: Commun. Math. Phys. (2021)
Subjects: Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[196]  arXiv:1907.01720 (replaced) [pdf, other]
Title: Clique immersions and independence number
Comments: 13 pages, 1 figure. New version of Lemma 7, to fix minor error
Subjects: Combinatorics (math.CO)
[197]  arXiv:1908.01290 (replaced) [pdf, ps, other]
Title: Cohomology of group theoretic Dehn fillings II
Comments: We added a new corollary about pairs $H&lt;G$ where $G$ is hyperbolic and $H$ is type $F$ non-hyperbolic. We also fixed some typos
Subjects: Group Theory (math.GR)
[198]  arXiv:1910.04088 (replaced) [pdf, ps, other]
Title: Scaling limit of the homogenization commutator for Gaussian coefficient fields
Comments: 32 pages; companion article to arXiv:1807.11781
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
[199]  arXiv:1911.10151 (replaced) [pdf, ps, other]
Title: Lenard-Balescu correction to mean-field theory
Comments: 41 pages
Subjects: Mathematical Physics (math-ph); 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 mean-field dynamics
Authors: Mitia Duerinckx
Comments: 38 pages
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Probability (math.PR)
[201]  arXiv:1912.13078 (replaced) [pdf, other]
Title: On sample average approximation for two-stage stochastic programs without relatively complete recourse
Subjects: Optimization and Control (math.OC)
[202]  arXiv:2003.10591 (replaced) [pdf, ps, other]
Title: Simplicial Chern-Weil theory for coherent analytic sheaves, part II
Authors: Timothy Hosgood
Comments: 38 pages; sequel to arXiv:2003.10023; minor typos and corrections to equations following referee report
Subjects: Algebraic Geometry (math.AG)
[203]  arXiv:2003.13521 (replaced) [pdf, ps, other]
Title: Maker Breaker on Digraphs
Comments: We clarify an important argument in the appendix
Subjects: Combinatorics (math.CO)
[204]  arXiv:2004.08578 (replaced) [pdf, other]
Title: A Lyapunov Function for the Combined System-Optimizer Dynamics in Inexact Model Predictive Control
Comments: arXiv admin note: text overlap with arXiv:1912.03140
Journal-ref: Automatica 2021
Subjects: Optimization and Control (math.OC)
[205]  arXiv:2004.12025 (replaced) [pdf, ps, other]
Title: A new spectral analysis of stationary random Schrödinger operators
Comments: 62 pages
Subjects: Mathematical Physics (math-ph); Probability (math.PR); Spectral Theory (math.SP)
[206]  arXiv:2006.10548 (replaced) [pdf, ps, other]
Title: Full classification of dynamics for one-dimensional continuous time Markov chains with polynomial transition rates
Subjects: Probability (math.PR)
[207]  arXiv:2007.00281 (replaced) [pdf, ps, other]
Title: Invariant measures on products and on the space of linear orders
Subjects: 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 groups
Authors: Sergio Zamora
Subjects: 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 series
Authors: Philippe Loubaton (LIGM), Alexis Rosuel (LIGM)
Comments: This version is identical to 2111.08047, but 2111.08047 should be deleted, only this repo 2007.08806 should exist
Subjects: Information Theory (cs.IT); Probability (math.PR); Statistics Theory (math.ST)
[210]  arXiv:2007.11037 (replaced) [pdf, other]
Title: Perspectives on Constrained Forecasting
Authors: Mike West
Comments: 23 pages (including title page and Supplementary Material). 4 figures in main text, 3 in supplement
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[211]  arXiv:2007.11525 (replaced) [pdf, other]
Title: Analysis-aware defeaturing: problem setting and a posteriori estimation
Comments: 37 pages, 15 figures, 4 tables
Subjects: Numerical Analysis (math.NA)
[212]  arXiv:2008.04145 (replaced) [pdf, ps, other]
Title: A Full Second-Order Analysis of the Widely Linear MVDR Beamformer for Noncircular Signals
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[213]  arXiv:2008.11520 (replaced) [pdf, other]
Title: A neural network multigrid solver for the Navier-Stokes equations
Comments: 32 pages, 15 figures
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)
[214]  arXiv:2009.03864 (replaced) [pdf, other]
Title: Contraction $\mathcal{L}_1$-Adaptive Control using Gaussian Processes
Comments: Submitted to Learning for Dynamics and Control (L4DC) Conference, 2021
Subjects: 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 groups
Comments: There are some technical errors
Subjects: Statistics Theory (math.ST)
[216]  arXiv:2010.03186 (replaced) [pdf, ps, other]
Title: An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications
Comments: 43 pages; large parts of article rewritten; proof of main result simplified and new appendix included
Subjects: Number Theory (math.NT)
[217]  arXiv:2010.03469 (replaced) [pdf, ps, other]
Title: Injective tensor products in strict deformation quantization
Comments: 16 pages -- accepted in Mathematical Physics, Analysis and Geometry
Subjects: Mathematical Physics (math-ph); 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 Transducers
Authors: Chad Nester
Comments: 22 pages. Many Figures. Extended version of this https URL
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[219]  arXiv:2010.11240 (replaced) [pdf, other]
Title: On the distribution of coefficients of half-integral weight modular forms and the Bruinier-Kohnen Conjecture
Comments: v3: minor revision, might differ slightly from the published version
Journal-ref: Turk J Math (2021) 45: 2427-2440
Subjects: 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 Quasi-Rectilinear Signals
Subjects: Information Theory (cs.IT)
[221]  arXiv:2011.01833 (replaced) [pdf, ps, other]
Title: Higher order differential analysis with vectorized derivatives
Comments: 38 pages
Subjects: 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 problems
Comments: 28 pages, 7 figures
Subjects: 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 fields
Comments: 28 pages, 3 figures, 1 table
Subjects: Statistics Theory (math.ST)
[224]  arXiv:2011.12946 (replaced) [pdf, ps, other]
Title: Exploratory LQG Mean Field Games with Entropy Regularization
Comments: To appear in Automatica
Subjects: 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 space
Authors: Tomasz Mańdziuk
Comments: Final version published in Linear Algebra and its Applications
Journal-ref: Linear Algebra and its Applications. 2022; 634: 149-178
Subjects: Algebraic Geometry (math.AG)
[226]  arXiv:2101.04007 (replaced) [pdf, ps, other]
Title: A Note on the Gannon-Lee Theorem
Comments: Final published version
Journal-ref: Lett. Math. Phys. 111, 142 (2021)
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)
[227]  arXiv:2101.04396 (replaced) [pdf, ps, other]
Title: Numerical radius in Hilbert $C^*$-modules
Authors: Ali Zamani
Comments: 13 pages
Subjects: Functional Analysis (math.FA)
[228]  arXiv:2101.10934 (replaced) [pdf, ps, other]
Title: Quantitative characterization of traces of Sobolev maps
Comments: 26 pages, minor corrections
Subjects: 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 Fourth-Order Gravity
Comments: We have corrected typos
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
[230]  arXiv:2102.04405 (replaced) [pdf, ps, other]
Title: A dynamical approach to generalized Weil's Riemann hypothesis and semisimplicity
Comments: 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 Nazarov-Sklyanin large N limit construction for integrable many-body systems with elliptic dependence on momenta
Authors: A. Grekov, A. Zotov
Comments: 38 pages, minor changes, typos corrected
Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA); Exactly Solvable and Integrable Systems (nlin.SI)
[232]  arXiv:2102.08520 (replaced) [pdf, ps, other]
Title: Dual process in the Two-parameter Poisson-Dirichlet diffusion
Subjects: Probability (math.PR)
[233]  arXiv:2102.11357 (replaced) [pdf, other]
Title: Configurations of points on a line up to scaling or translation
Authors: Adrian Zahariuc
Comments: This paper is superseded by arXiv:2111.13743 and is no longer intended for publication
Subjects: Algebraic Geometry (math.AG)
[234]  arXiv:2103.02855 (replaced) [pdf, other]
Title: A Semismooth Newton based Augmented Lagrangian Method for Nonsmooth Optimization on Matrix Manifolds
Comments: 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.2
Subjects: Optimization and Control (math.OC)
[235]  arXiv:2103.03735 (replaced) [pdf, other]
Title: Tails of Instability and Decay: a Hydrodynamic Perspective
Comments: 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 5
Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[236]  arXiv:2103.04177 (replaced) [pdf, other]
Title: Metropolis-Hastings via Classification
Subjects: Statistics Theory (math.ST)
[237]  arXiv:2103.13135 (replaced) [pdf, ps, other]
Title: Homomorphic encoders of profinite abelian groups I
Subjects: Group Theory (math.GR); Information Theory (cs.IT); General Topology (math.GN)
[238]  arXiv:2103.15747 (replaced) [pdf, ps, other]
Title: Well-posedness and robust stability of a nonlinear ODE-PDE system
Comments: 41 pages
Subjects: 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 Vlasov-HMF equation
Comments: 24 pages
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[240]  arXiv:2104.14146 (replaced) [pdf, other]
Title: Compatibility of Partitions with Trees, Hierarchies, and Split Systems
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[241]  arXiv:2104.14179 (replaced) [pdf, ps, other]
Title: On the two and one-half dimensional Vlasov-Poisson system with an external magnetic field: global well-posedness and stability of confined steady states
Journal-ref: Nonlinear Anal. Real World Appl. 65 (2022) 103460
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
[242]  arXiv:2105.02863 (replaced) [pdf, ps, other]
Title: Elliptic threefolds with high Mordell-Weil rank
Comments: Results improved and exposition clarified
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th)
[243]  arXiv:2105.03038 (replaced) [pdf, ps, other]
Title: Lambek pregroups are Frobenius spiders in preorders
Authors: Dusko Pavlovic
Comments: 21 pages, 16 diagrams. Accepted. Reviewers' suggestions implemented
Subjects: 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 Posets
Comments: 33 pages. We explain the relationship of our work with order polynomials and we found a version of the reciprocity theorem
Subjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
[245]  arXiv:2105.11899 (replaced) [pdf, ps, other]
Title: Irreducible inclusions of simple C$^*$-algebras
Authors: Mikael Rørdam
Comments: 28 pages. To appear in l'Enseignement Mathematique
Subjects: 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 actions
Comments: 34pages. Revised Abstract and Introduction, results unchanged
Subjects: Differential Geometry (math.DG)
[247]  arXiv:2106.01405 (replaced) [pdf, ps, other]
Title: Symbol Alphabets from Tensor Diagrams
Comments: 44 pages; v2: quite a few individually minor corrections and improvements
Subjects: High Energy Physics - Theory (hep-th); Combinatorics (math.CO)
[248]  arXiv:2106.04472 (replaced) [pdf, ps, other]
Title: The growth of abelian sections
Authors: Luca Sabatini
Comments: 11 pages
Subjects: 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 A
Comments: v2: 31 pages, final version. To appear in Canadian Journal of Matehmatics
Subjects: Representation Theory (math.RT)
[250]  arXiv:2106.07191 (replaced) [pdf, ps, other]
Title: Distributionally Robust Martingale Optimal Transport
Subjects: Probability (math.PR); Optimization and Control (math.OC); Statistics Theory (math.ST); Computational Finance (q-fin.CP)
[251]  arXiv:2106.07548 (replaced) [pdf, other]
Title: A scalable multi-step least squares method for network identification with unknown disturbance topology
Comments: 17 pages, 4 figures, resubmitted to Automatica on 23 November 2021, provisionally accepted
Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Machine Learning (stat.ML)
[252]  arXiv:2106.07996 (replaced) [pdf, other]
Title: Over-the-Air Equalization with Reconfigurable Intelligent Surfaces
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)
[253]  arXiv:2106.08391 (replaced) [pdf, ps, other]
Title: Direct regularized reconstruction for the three-dimensional Calderón problem
Comments: 24 pages, 5 figures
Subjects: 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 tables
Subjects: Number Theory (math.NT)
[255]  arXiv:2107.02234 (replaced) [pdf, ps, other]
Title: Convergence rates in the functional CLT for $\al$-mixing triangular arrays
Authors: Yeor Hafouta
Comments: The almost sure invariance principle appears as a separate preprint; The results are now obtained for alpha-mixing triangular arrays and not rho-mixing arrays; The functional CLT itself under close to optimal rho mixing rates is discussed in a separate preprint
Subjects: Probability (math.PR)
[256]  arXiv:2107.03918 (replaced) [pdf, other]
Title: The moduli stack of principal $ρ$-sheaves and Gieseker-Harder-Narasimhan filtrations
Comments: 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 stability
Subjects: Algebraic Geometry (math.AG)
[257]  arXiv:2107.07701 (replaced) [pdf, ps, other]
Title: A Gillet-Waldhausen Theorem for chain complexes of sets
Comments: 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 improvements
Subjects: K-Theory 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 bordism
Authors: Rok Gregoric
Comments: 39 pages
Subjects: 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 above
Authors: Tadashi Fujioka
Comments: Modified Corollary 1.12. Added Theorem 5.12 and Remark 6.2
Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
[260]  arXiv:2107.11620 (replaced) [pdf, other]
Title: Joint Optimization of Wind Farm Layout Considering Optimal Control
Authors: 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 Energy
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[261]  arXiv:2108.01700 (replaced) [pdf, ps, other]
Title: Parallel-in-time preconditioners for the Sinc-Nyström method
Authors: Jun Liu, Shu-Lin Wu
Comments: 23 pages, significantly revised from the first version
Subjects: Numerical Analysis (math.NA)
[262]  arXiv:2108.10338 (replaced) [pdf, ps, other]
Title: DT invariants from vertex algebras
Comments: 43 pages
Subjects: 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 singularities
Authors: Tadashi Fujioka
Comments: Added a simple proof of Theorem 1.1
Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
[264]  arXiv:2109.03159 (replaced) [pdf, other]
Title: Analysis of Regularized Learning in Banach Spaces
Authors: Qi Ye
Comments: 30 pages, 1 figure
Subjects: 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 p-energy
Authors: Jun Kigami
Comments: Several typos are fixed. Examples of non-symmetric square based self-similar sets are added
Subjects: 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 Gyoda
Comments: Addition of Sections 3.2 and 3.3, which explain the combinatorial meaning of integers appearing in solutions, minor correction, 12 pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO)
[267]  arXiv:2109.11520 (replaced) [pdf, other]
Title: Bordered manifolds with torus boundary and the link surgery formula
Authors: Ian Zemke
Comments: 100 pages. v2: minor corrections and improvements
Subjects: Geometric Topology (math.GT)
[268]  arXiv:2109.11585 (replaced) [pdf, ps, other]
Title: Twisting of graded quantum groups and solutions to the quantum Yang-Baxter equation
Comments: In this version, our title is new and Section 3 is updated with applications of twisting pairs to obtain new solutions to the quantum Yang-Baxter equation
Subjects: 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 resonance
Comments: arXiv admin note: text overlap with arXiv:2003.03696
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[270]  arXiv:2109.13709 (replaced) [pdf, other]
Title: Matching forcing polynomials of constructable hexagonal systems
Authors: Shuang Zhao
Subjects: Combinatorics (math.CO)
[271]  arXiv:2109.13727 (replaced) [pdf, other]
Title: Matching anti-forcing polynomials of catacondensed hexagonal systems
Authors: Shuang Zhao
Subjects: Combinatorics (math.CO)
[272]  arXiv:2110.01343 (replaced) [pdf, other]
Title: Taming singular stochastic differential equations: A numerical method
Comments: 63 pages
Subjects: Probability (math.PR); Numerical Analysis (math.NA)
[273]  arXiv:2110.03472 (replaced) [pdf, ps, other]
Title: Two-term silting and $τ$-cluster morphism categories
Authors: Erlend D. Børve
Comments: 37 pages v2: Some updates throughout. Section 3 has been restructured, and some proofs have been simplified
Subjects: 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 groupoids
Authors: Xin Li
Comments: 28 pages; added a reference and acknowledgements
Subjects: 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 Heisenberg-Virasoro algebra as VOA modules
Comments: 41 pages
Subjects: Representation Theory (math.RT)
[276]  arXiv:2110.07148 (replaced) [pdf, ps, other]
Title: Denominators in Lusztig's asymptotic Hecke algebra via the Plancherel formula
Authors: Stefan Dawydiak
Comments: 34 pages, comments welcome! In v2, added Corollary 4, harmonized notation, and corrected typos
Subjects: Representation Theory (math.RT)
[277]  arXiv:2110.07309 (replaced) [pdf, other]
Title: Cell-Free Massive MIMO for 6G Wireless Communication Networks
Comments: 28 pages, 4 figures, 4 tables, Accepted by Journal of Communications and Information Networks
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[278]  arXiv:2110.08099 (replaced) [pdf, ps, other]
Title: Mean-field limit for particle systems with topological interactions
Comments: 18 pages
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[279]  arXiv:2110.12835 (replaced) [pdf, ps, other]
Title: Local supersymmetry: Variations on a theme by Volkov and Soroka
Comments: 13 pages; V2: references added
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[280]  arXiv:2110.13123 (replaced) [pdf, other]
Title: Out-of-equilibrium dynamics of the Kitaev model on the Bethe lattice via coupled Heisenberg equations
Comments: Submission to SciPost
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
[281]  arXiv:2110.14745 (replaced) [src]
Title: Grothendieck-Serre Conjecture for Quasi-split Reductive Groups
Comments: 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 proof
Subjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
[282]  arXiv:2110.15160 (replaced) [pdf, ps, other]
Title: Feature Learning for Neural-Network-Based Positioning with Channel State Information
Comments: Presented at ASILOMAR 2021
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[283]  arXiv:2110.15356 (replaced) [pdf, other]
Title: Towards Color-Kinematics Duality in Generic Spacetimes
Comments: 30 pages, no figures; v2: minor reference adjustments, typos corrected
Subjects: High Energy Physics - Theory (hep-th); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)
[284]  arXiv:2110.15519 (replaced) [pdf, ps, other]
Title: Proof of a conjecture on hamiltonian-connected graphs
Subjects: Combinatorics (math.CO)
[285]  arXiv:2111.01783 (replaced) [pdf, other]
Title: Optimal bailout strategies resulting from the drift controlled supercooled Stefan problem
Subjects: Optimization and Control (math.OC); Probability (math.PR); Mathematical Finance (q-fin.MF)
[286]  arXiv:2111.04178 (replaced) [pdf, other]
Title: Teamwork makes von Neumann work: Min-Max Optimization in Two-Team Zero-Sum Games
Subjects: 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 log-concavity for rotationally invariant measures of symmetric convex sets
Comments: typos and references fixed
Subjects: 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 dimensions
Comments: there are changes of title and abstract, and introduction
Subjects: 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 class
Comments: 9 pages. Introduction revised. Comments welcome
Subjects: Rings and Algebras (math.RA)
[290]  arXiv:2111.08775 (replaced) [pdf, ps, other]
Title: On two congruence conjectures of Z.-W. Sun involving Franel numbers
Comments: 20pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO)
[291]  arXiv:2111.09375 (replaced) [pdf, ps, other]
Title: Hypercontractivity on High Dimensional Expanders: Approximate Efron-Stein Decompositions for $\varepsilon$-Product Spaces
Comments: New title to distinguish from independent work of Bafna, Hopkins, Kaufman, and Lovett
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[292]  arXiv:2111.09880 (replaced) [pdf, other]
Title: Optimal control of PDEs using physics-informed neural networks
Comments: 24 pages, 9 figures
Subjects: Optimization and Control (math.OC); Computational Physics (physics.comp-ph)
[293]  arXiv:2111.09973 (replaced) [pdf, ps, other]
Title: A solvable nonlinear autonomous recursion of arbitrary order
Comments: 7 pages
Subjects: Dynamical Systems (math.DS)
[294]  arXiv:2111.10799 (replaced) [pdf, ps, other]
Title: New versions of the Wallis-Fon-Der-Flaass construction to create divisible design graphs
Comments: 13 pages
Subjects: Combinatorics (math.CO)
[295]  arXiv:2111.11001 (replaced) [pdf]
Title: Easy representation of multivariate functions with low-dimensional terms via Gaussian process regression kernel design: applications to machine learning of potential energy surfaces and kinetic energy densities from sparse data
Comments: 9 pages, 1 figure, 2 tables
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Data Analysis, Statistics and Probability (physics.data-an)
[296]  arXiv:2111.11151 (replaced) [pdf, ps, other]
Title: Semigroup C*-algebras arising from graphs of monoids
Authors: Cheng Chen, Xin Li
Comments: 32 pages; added a reference
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Group Theory (math.GR)
[297]  arXiv:2111.11864 (replaced) [pdf, ps, other]
Title: Some Generalized Multi-sum Chu-Vandermonde Identities
Authors: M.J. Kronenburg
Subjects: Combinatorics (math.CO)
[298]  arXiv:2111.11975 (replaced) [pdf, other]
Title: The persistence of a relative Rabinowitz-Floer complex
Comments: Added details to the proof of Proposition 1.5. Smaller edits elsewhere, including some notation and additional references
Subjects: Symplectic Geometry (math.SG)
[299]  arXiv:2111.12211 (replaced) [pdf, ps, other]
Title: Eigenvalues and Singular Values of Dual Quaternion Matrices
Authors: Liqun Qi, Ziyan Luo
Comments: arXiv admin note: text overlap with arXiv:2110.09282, arXiv:2110.02050
Subjects: Rings and Algebras (math.RA)
[300]  arXiv:2111.12961 (replaced) [pdf, other]
Title: Distributed Policy Gradient with Variance Reduction in Multi-Agent Reinforcement Learning
Subjects: 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 4-sphere and 5-ball
Comments: 11 pages, 7 figures, corrected discussion on double slicing and fixed typos
Subjects: Geometric Topology (math.GT)
[302]  arXiv:2111.13670 (replaced) [pdf, other]
Title: Non-Convex Recovery from Phaseless Low-Resolution Blind Deconvolution Measurements using Noisy Masked Patterns
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[303]  arXiv:2111.13837 (replaced) [pdf, ps, other]
Title: Category theory with examples in probability theory
Comments: 29 pages, written by Gabriel Granda and reviewed by Miguel Flores
Subjects: Category Theory (math.CT); Probability (math.PR)
[304]  arXiv:2111.13942 (replaced) [pdf, ps, other]
Title: Leibniz rules and Gauss-Green formulas in distributional fractional spaces
Subjects: Functional Analysis (math.FA)
[305]  arXiv:2111.13971 (replaced) [pdf, ps, other]
Title: Hyperbolic Staircases: Periodic Paths on $2g+1$-gons
Comments: 16 pages, 12 figures
Subjects: Dynamical Systems (math.DS)
[306]  arXiv:2111.14164 (replaced) [pdf, ps, other]
Title: Primitive axial algebras are of Jordan type
Comments: 12 pages
Subjects: 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 ideals
Comments: 18 pages,6 figures
Subjects: Commutative Algebra (math.AC)
[308]  arXiv:2111.14580 (replaced) [pdf, other]
Title: Amortized Implicit Differentiation for Stochastic Bilevel Optimization
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
[309]  arXiv:2111.14746 (replaced) [pdf, other]
Title: Dynamic Inference
Authors: Aolin Xu
Subjects: 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 Navier-Stokes equations with a scale-invariant bound
Authors: Tobias Barker
Comments: 15 pages. Typos with references corrected
Subjects: Analysis of PDEs (math.AP)
[311]  arXiv:2111.14780 (replaced) [pdf, ps, other]
Title: Harmonic Retrieval with $L_1$-Tucker Tensor Decomposition
Subjects: Signal Processing (eess.SP); Optimization and Control (math.OC)
[ total of 311 entries: 1-311 ]
[ 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)