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

Mathematics

New submissions

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

New submissions for Fri, 4 Dec 20

[1]  arXiv:2012.01418 [pdf, ps, other]
Title: Team Optimal Control of Coupled Subsystems with Mean-Field Sharing
Comments: Proceedings of IEEE Conference on Decision and Control, 2014
Subjects: Optimization and Control (math.OC)

We investigate team optimal control of stochastic subsystems that are weakly coupled in dynamics (through the mean-field of the system) and are arbitrary coupled in the cost. The controller of each subsystem observes its local state and the mean-field of the state of all subsystems. The system has a non-classical information structure. Exploiting the symmetry of the problem, we identify an information state and use that to obtain a dynamic programming decomposition. This dynamic program determines a globally optimal strategy for all controllers. Our solution approach works for arbitrary number of controllers and generalizes to the setup when the mean-field is observed with noise. The size of the information state is time-invariant; thus, the results generalize to the infinite-horizon control setups as well. In addition, when the mean-field is observed without noise, the size of the corresponding information state increases polynomially (rather than exponentially) with the number of controllers which allows us to solve problems with moderate number of controllers. We illustrate our approach by an example motivated by smart grids that consists of $100$ coupled subsystems.

[2]  arXiv:2012.01422 [pdf, ps, other]
Title: On Lie's classification of subalgebras of vector fields on the plane
Comments: 9 pages
Subjects: Representation Theory (math.RT); Group Theory (math.GR)

A brief proof of Lie's classification of solvable algebras of vector fields on the plane is given. The proof uses basic representation theory and PDEs.

[3]  arXiv:2012.01423 [pdf, ps, other]
Title: On some Féjer-type trigonometric sums
Authors: R.B. Paris
Comments: 12 pages, 4 figures
Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)

We examine the four F\'ejer-type trigonometric sums of the form \[S_n(x)=\sum_{k=1}^n \frac{f(g(kx))}{k}\qquad (0<x<\pi)\] where $f(x)$, $g(x)$ are chosen to be either $\sin x$ or $\cos x$. The analysis of the sums with $f(x)=g(x)=\cos x$, $f(x)=\cos x$, $g(x)=\sin x$ and $f(x)=\sin x$, $g(x)=\cos x$ is reasonably straightforward. It is shown that these sums exhibit unbounded growth as $n\to\infty$ and also present `spikes' in their graphs at certain $x$ values for which we give an explanation. The main effort is devoted to the case $f(x)=g(x)=\sin x$, where we present arguments that strongly support the conjecture made by H. Alzer that $S_n(x)>0$ in $0<x<\pi$. The graph of the sum in this case presents a jump in the neighbourhood of $x=2\pi/3$. This jump is explained and is quantitatively estimated when $n\to\infty$.

[4]  arXiv:2012.01475 [pdf, other]
Title: Introduction to Whitney Towers
Authors: Rob Schneiderman
Comments: 74 pages, 64 figures
Subjects: Geometric Topology (math.GT)

These introductory notes on Whitney towers in 4-manifolds, as developed in collaboration with Jim Conant and Peter Teichner, are an expansion of three expository lectures given at the Winter Braids X conference February 2020 in Pisa, Italy. Topics presented include local manipulations of surfaces in 4-space, fundamental definitions related to Whitney towers and their associated trees, geometric Jacobi identities, the classification of order n twisted Whitney towers in the 4-ball and higher-order Arf invariants, and low-order Whitney towers on 2-spheres in 4-manifolds and related invariants.

[5]  arXiv:2012.01482 [pdf, ps, other]
Title: Criterion of unrecognizability of a finite group by its Gruenberg--Kegel graph
Comments: 14 pages
Subjects: Group Theory (math.GR); Combinatorics (math.CO)

Let $G$ be a group. Denote by $\pi(G)$ the set of all prime divisors of the order of $G$ and by $\omega (G)$ the spectrum of $G$, i.e. the set of all its element orders. The set $\omega(G)$ defines the Gruenberg-Kegel graph (or the prime graph) $\Gamma(G)$ of $G$; in this graph the vertex set is $\pi(G)$, and distinct vertices $p$ and $q$ are adjacent if and only if $pq\in\omega (G)$.
This paper aims to discuss the questions:
- Which groups $G$ are uniquely determined by their Gruenberg-Kegel graph?
- For which groups are there only finitely many groups with the same Gruenberg-Kegel graph as $G$?

[6]  arXiv:2012.01483 [pdf, other]
Title: Ample simplicial complexes
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO)

Motivated by potential applications in network theory, engineering and computer science, we study $r$-ample simplicial complexes. These complexes can be viewed as finite approximations to the Rado complex which has a remarkable property of {\it indestructibility,} in the sense that removing any finite number of its simplexes leaves a complex isomorphic to itself. We prove that an $r$-ample simplicial complex is simply connected and $2$-connected for $r$ large. The number $n$ of vertexes of an $r$-ample simplicial complex satisfies $\exp(\Omega(\frac{2^r}{\sqrt{r}}))$. We use the probabilistic method to establish the existence of $r$-ample simplicial complexes with $n$ vertexes for any $n>r 2^r 2^{2^r}$. Finally, we introduce the iterated Paley simplicial complexes, which are explicitly constructed $r$-ample simplicial complexes with nearly optimal number of vertexes.

[7]  arXiv:2012.01484 [pdf, ps, other]
Title: Some observations on partial differential equations in Barron and multi-layer spaces
Subjects: Analysis of PDEs (math.AP); Machine Learning (cs.LG)

We use explicit representation formulas to show that solutions to certain partial differential equations can be represented efficiently using artificial neural networks, even in high dimension. Conversely, we present examples in which the solution fails to lie in the function space associated to a neural network under consideration.

[8]  arXiv:2012.01492 [pdf, other]
Title: Triangles and subgraph probabilities in random regular graphs
Authors: Pu Gao
Subjects: Combinatorics (math.CO)

We improve the estimates of the subgraph probabilities in a random regular graph. Using the improved results, we further improve the limiting distribution of the number of triangles in random regular graphs.

[9]  arXiv:2012.01496 [pdf, other]
Title: Flow-driven spectral chaos (FSC) method for simulating long-time dynamics of arbitrary-order non-linear stochastic dynamical systems
Comments: Preprint submitted to Journal of Computational Physics (Elsevier)
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

Uncertainty quantification techniques such as the time-dependent generalized polynomial chaos (TD-gPC) use an adaptive orthogonal basis to better represent the stochastic part of the solution space (aka random function space) in time. However, because the random function space is constructed using tensor products, TD-gPC-based methods are known to suffer from the curse of dimensionality. In this paper, we introduce a new numerical method called the 'flow-driven spectral chaos' (FSC) which overcomes this curse of dimensionality at the random-function-space level. The proposed method is not only computationally more efficient than existing TD-gPC-based methods but is also far more accurate. The FSC method uses the concept of 'enriched stochastic flow maps' to track the evolution of a finite-dimensional random function space efficiently in time. To transfer the probability information from one random function space to another, two approaches are developed and studied herein. In the first approach, the probability information is transferred in the mean-square sense, whereas in the second approach the transfer is done exactly using a new theorem that was developed for this purpose. The FSC method can quantify uncertainties with high fidelity, especially for the long-time response of stochastic dynamical systems governed by ODEs of arbitrary order. Six representative numerical examples, including a nonlinear problem (the Van-der-Pol oscillator), are presented to demonstrate the performance of the FSC method and corroborate the claims of its superior numerical properties. Finally, a parametric, high-dimensional stochastic problem is used to demonstrate that when the FSC method is used in conjunction with Monte Carlo integration, the curse of dimensionality can be overcome altogether.

[10]  arXiv:2012.01500 [pdf, ps, other]
Title: A note in algebras with Laurent polynomial identity
Subjects: Rings and Algebras (math.RA)

In this article, we extend some results about algebra $A$ with the group of units $U(A)$ having a special polynomial identity, Laurent polynomial. And we present a new version of B. Hartley Conjecture with these identities.

[11]  arXiv:2012.01503 [pdf, ps, other]
Title: A density bound for triangle-free $4$-critical graphs
Comments: 33 pages, 1 figure
Subjects: Combinatorics (math.CO)

We show every triangle-free $4$-critical graph $G$ satisfies $e(G) \geq \frac{5v(G)+2}{3}$.

[12]  arXiv:2012.01508 [pdf, ps, other]
Title: Cluster size in bond percolation on the Platonic solids
Comments: 19 pages, 8 figures
Subjects: Probability (math.PR)

The main objective of this paper is to study the size of a typical cluster of bond percolation on each of the five Platonic solids: the tetrahedron, the cube, the octahedron, the dodecahedron and the icosahedron. Looking at the clusters from a dynamical point of view, i.e., comparing the clusters with birth processes, we first prove that the first and second moments of the cluster size are bounded by their counterparts in a certain branching process, which results in explicit upper bounds that are accurate when the density of open edges is small. Using that vertices surrounded by closed edges cannot be reached by an open path, we also derive upper bounds that, on the contrary, are accurate when the density of open edges is large. These upper bounds hold in fact for all regular graphs. Specializing in the five~Platonic solids, the exact value of (or lower bounds for) the first and second moments are obtained from the inclusion-exclusion principle and a computer program. The goal of our program is not to simulate the stochastic process but to compute exactly sums of integers that are too large to be computed by hand so these results are analytical, not numerical.

[13]  arXiv:2012.01516 [pdf, ps, other]
Title: Joint Realizability of Monotone Boolean functions
Comments: 36 pages, 9 figures
Subjects: Dynamical Systems (math.DS)

The study of monotone Boolean functions (MBFs) has a long history. We explore a connection between MBFs and ordinary differential equation (ODE) models of gene regulation, and, in particular, a problem of the realization of an MBF as a function describing the state transition graph of an ODE. We formulate a problem of joint realizability of finite collections of MBFs by establishing a connection between the parameterized dynamics of a class of ODEs and a collection of MBFs. We pose a question of what collections of MBFs can be realized by ODEs that belong to nested classes defined by increased algebraic complexity of their right-hand sides. As we progressively restrict the algebraic form of the ODE, we show by a combination of theory and explicit examples that the class of jointly realizable functions strictly decreases. Our results impact the study of regulatory network dynamics, as well as the classical area of MBFs. We conclude with a series of potential extensions and conjectures.

[14]  arXiv:2012.01520 [pdf, other]
Title: Parameter Sensitivity Analysis of the SparTen High Performance Sparse Tensor Decomposition Software: Extended Analysis
Comments: 33 pages, 13 figures
Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS); Performance (cs.PF); Computation (stat.CO)

Tensor decomposition models play an increasingly important role in modern data science applications. One problem of particular interest is fitting a low-rank Canonical Polyadic (CP) tensor decomposition model when the tensor has sparse structure and the tensor elements are nonnegative count data. SparTen is a high-performance C++ library which computes a low-rank decomposition using different solvers: a first-order quasi-Newton or a second-order damped Newton method, along with the appropriate choice of runtime parameters. Since default parameters in SparTen are tuned to experimental results in prior published work on a single real-world dataset conducted using MATLAB implementations of these methods, it remains unclear if the parameter defaults in SparTen are appropriate for general tensor data. Furthermore, it is unknown how sensitive algorithm convergence is to changes in the input parameter values. This report addresses these unresolved issues with large-scale experimentation on three benchmark tensor data sets. Experiments were conducted on several different CPU architectures and replicated with many initial states to establish generalized profiles of algorithm convergence behavior.

[15]  arXiv:2012.01528 [pdf, ps, other]
Title: Existence of extremizers for Fourier restriction to the moment curve
Subjects: Classical Analysis and ODEs (math.CA)

We show that the restriction and extension operators associated to the moment curve possess extremizers and that $L^p$-normalized extremizing sequences of these operators are precompact modulo symmetries.

[16]  arXiv:2012.01529 [pdf, other]
Title: The mapping class group of connect sums of $S^2 \times S^1$
Comments: 18 pages, 2 figures
Subjects: Geometric Topology (math.GT); Group Theory (math.GR)

Let $M_n$ be the connect sum of $n$ copies of $S^2 \times S^1$. A classical theorem of Laudenbach says that the mapping class group $Mod(M_n)$ is an extension of $Out(F_n)$ by a group $(\mathbb{Z}/2)^n$ generated by sphere twists. We prove that this extension splits, so $Mod(M_n)$ is the semidirect product of $Out(F_n)$ by $(\mathbb{Z}/2)^n$, which $Out(F_n)$ acts on via the dual of the natural surjection $Out(F_n) \rightarrow GL_n(\mathbb{Z}/2)$. Our splitting takes $Out(F_n)$ to the subgroup of $Mod(M_n)$ consisting of mapping classes that fix the homotopy class of a trivialization of the tangent bundle of $M_n$. Our techniques also simplify various aspects of Laudenbach's original proof, including the identification of the twist subgroup with $(\mathbb{Z}/2)^n$.

[17]  arXiv:2012.01530 [pdf, ps, other]
Title: Decoding Multivariate Multiplicity Codes on Product Sets
Comments: 35 pages
Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

The multiplicity Schwartz-Zippel lemma bounds the total multiplicity of zeroes of a multivariate polynomial on a product set. This lemma motivates the multiplicity codes of Kopparty, Saraf and Yekhanin [J. ACM, 2014], who showed how to use this lemma to construct high-rate locally-decodable codes. However, the algorithmic results about these codes crucially rely on the fact that the polynomials are evaluated on a vector space and not an arbitrary product set.
In this work, we show how to decode multivariate multiplicity codes of large multiplicities in polynomial time over finite product sets (over fields of large characteristic and zero characteristic). Previously such decoding algorithms were not known even for a positive fraction of errors. In contrast, our work goes all the way to the distance of the code and in particular exceeds both the unique decoding bound and the Johnson bound. For errors exceeding the Johnson bound, even combinatorial list-decodablity of these codes was not known.
Our algorithm is an application of the classical polynomial method directly to the multivariate setting. In particular, we do not rely on a reduction from the multivariate to the univariate case as is typical of many of the existing results on decoding codes based on multivariate polynomials. However, a vanilla application of the polynomial method in the multivariate setting does not yield a polynomial upper bound on the list size. We obtain a polynomial bound on the list size by taking an alternative view of multivariate multiplicity codes. In this view, we glue all the partial derivatives of the same order together using a fresh set $z$ of variables. We then apply the polynomial method by viewing this as a problem over the field $\mathbb{F}(z)$ of rational functions in $z$.

[18]  arXiv:2012.01534 [pdf, ps, other]
Title: On circulant matrices and rational points of Artin Schreier's curves
Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM)

Let $\mathbb F_q$ be a finite field with $q$ elements, where $q$ is an odd prime power. In this paper we associated circulant matrices and quadratic forms with curves of Artin-Schreier $y^q - y = x \cdot P(x) - \lambda,$ where $P(x)$ is a $\mathbb F_q$-linearized polynomial and $\lambda \in \mathbb F_q$. Our main results provide a characterization of the number of rational points in some extension $\mathbb F_{q^r}$ of $\mathbb F_q$. In the particular case, in the case when $P(x) = x^{q^i}-x$ we given a full description of the number of rational points in term of Legendre symbol and quadratic characters.

[19]  arXiv:2012.01535 [pdf, ps, other]
Title: Local well-posedness for the Landau-Lifshitz equation with helicity term
Authors: Ikkei Shimizu
Subjects: Analysis of PDEs (math.AP)

We consider the initial value problem for the Landau-Lifshitz equation with helicity term (chiral interaction term), which arises from the Dzyaloshinskii-Moriya interaction. We prove that it is well-posed locally-in-time in the space $\bar{k} +H^s$ for $s\ge 3$ with $s\in \mathbb{Z}$ and $\bar{k}={}^t(0,0,1)$. We also show that if we further assume that the solution is homotopic to constant maps, then local well-posedness holds in the space $\bar{k} + H^s$ for $s>2$ with $s\in \mathbb{R}$. Our proof is base on the analysis via the modified Schr\"odinger map equation.

[20]  arXiv:2012.01550 [pdf, ps, other]
Title: Bochner-Kodaira Formulas and the Type IIA Flow
Comments: 36 pages, comments welcome!
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Symplectic Geometry (math.SG)

A new derivation of the flow of metrics in the Type IIA flow is given. It is adapted to the formulation of the flow as a variant of a Laplacian flow, and it uses the projected Levi-Civita connection of the metrics themselves instead of their conformal rescalings.

[21]  arXiv:2012.01552 [pdf, ps, other]
Title: Corrected approximation strategy for piecewise smooth bivariate functions
Comments: 27 pages
Subjects: Numerical Analysis (math.NA)

Given values of a piecewise smooth function $f$ on a square grid within a domain $\Omega$, we look for a piecewise adaptive approximation to $f$. Standard approximation techniques achieve reduced approximation orders near the boundary of the domain and near curves of jump singularities of the function or its derivatives. The idea used here is that the behavior near the boundaries, or near a singularity curve, is fully characterized and identified by the values of certain differences of the data across the boundary and across the singularity curve. We refer to these values as the signature of $f$. In this paper, we aim at using these values in order to define the approximation. That is, we look for an approximation whose signature is matched to the signature of $f$. Given function data on a grid, assuming the function is piecewise smooth, first, the singularity structure of the function is identified. For example in the 2-D case, we find an approximation to the curves separating between smooth segments of $f$. Secondly, simultaneously we find the approximations to the different segments of $f$. A system of equations derived from the principle of matching the signature of the approximation and the function with respect to the given grid defines a first stage approximation. An second stage improved approximation is constructed using a global approximation to the error obtained in the first stage approximation.

[22]  arXiv:2012.01561 [pdf, ps, other]
Title: Cohomology of Hom-Leibniiz algebras via beta-NiJenhuis-Richardson bracket
Authors: Nejib Saadaoui
Subjects: Rings and Algebras (math.RA)

In this paper we define the left and right $\beta$-Richardson-Nijenhuis bracket. With this bracket we define a right, left and symmetric $2p$-Hom-Leibniz algebras and their cohomology. Moreover with the $\beta$-RN bracket we study the extension of deformation of Hom-Leibniz algebra.

[23]  arXiv:2012.01575 [pdf, other]
Title: Corrected subdivision approximation of piecewise smooth functions
Comments: 35 pages
Subjects: Numerical Analysis (math.NA)

Subdivision schemes are useful mathematical tools for the generation of curves and surfaces. The linear approaches suffer from Gibbs oscillations when approximating functions with singularities. On the other hand, when we analyze the convergence of nonlinear subdivision schemes the regularity of the limit function is smaller than in the linear case. The goal of this paper is to introduce a corrected implementation of linear interpolatory subdivision schemes addressing both properties at the same time: regularity and adaption to singularities with high order of accuracy. In both cases of point-value data and of cell-average data, we are able to construct a subdivision-based algorithm producing approximations with high precision and limit functions with high piecewise regularity and without diffusion nor oscillations in the presence of discontinuities.

[24]  arXiv:2012.01589 [pdf, ps, other]
Title: Simple Closed-Form Approximations for Achievable Information Rates of Coded Modulation Systems
Comments: accepted by IEEE Journal of Lightwave Technology
Subjects: Information Theory (cs.IT)

The intuitive sphere-packing argument is used to obtain analytically-tractable closed-form approximations for achievable information rates of coded modulation transmission systems, for which only analytically-intractable expressions are available in the literature. These approximations provide a number of insights, possess useful properties and facilitate design/optimization of such systems. They apply to constellations of various cardinalities (including large ones), are simple yet reasonably accurate over the whole signal-to-noise ratio range, and compare favorably to the achieved rates of recent state-of-the art experiments.

[25]  arXiv:2012.01590 [pdf, other]
Title: Power Allocation and Parameter Estimation for Multipath-based 5G Positioning
Comments: 30 pages, 6 figures, submitted to IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

We consider a single-anchor multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) system with imperfectly synchronized transmitter (Tx) and receiver (Rx) clocks, where the Rx estimates its position based on the received reference signals. The Tx, having (imperfect) prior knowledge about the Rx location and the surrounding geometry, transmits the reference signals based on a set of fixed beams. In this work, we develop strategies for the power allocation among the beams aiming to minimize the expected Cram\'er-Rao lower bound (CRLB) for Rx positioning. Additional constraints on the design are included to ensure that the line-of-sight (LOS) path is detected with high probability. Furthermore, the effect of clock asynchronism on the resulting allocation strategies is also studied. We also propose a gridless compressed sensing-based position estimation algorithm, which exploits the information on the clock offset provided by non-line-of-sight paths, and show that it is asymptotically efficient.

[26]  arXiv:2012.01593 [pdf, ps, other]
Title: Logarithmic capacity of random $G_δ$-sets
Subjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph); Probability (math.PR)

We study the logarithmic capacity of $G_\delta$ subsets of the interval $[0,1].$ Let $S$ be of the form \begin{align*} S=\bigcap_m \bigcup_{k\ge m} I_k, \end{align*} where each $I_k$ is an interval in $[0,1]$ with length $l_k$ that decrease to $0$. We provide sufficient conditions for $S$ to have full capacity, i.e. $\mathop{\mathrm{Cap}}(S)=\mathop{\mathrm{Cap}}([0,1])$. We consider the case when the intervals decay exponentially and are placed in $[0,1]$ randomly with respect to some given distribution. The random $G_\delta$ sets generated by such distribution satisfy our sufficient conditions almost surely and hence, have full capacity almost surely. This study is motivated by the $G_\delta$ set of exceptional energies in the parametric version of the Furstenberg theorem on random matrix products. We also study the family of $G_\delta$ sets $\{S(\alpha)\}_{\alpha>0}$ that are generated by setting the decreasing speed of the intervals to $l_k=e^{-k^\alpha}.$ We observe a sharp transition from full capacity to zero capacity by varying $\alpha>0$.

[27]  arXiv:2012.01595 [pdf, other]
Title: Calculating Subgroups with GAP
Authors: Alexander Hulpke
Subjects: Group Theory (math.GR)

We survey group-theoretic algorithms for finding (some or all) subgroups of a finite group and discuss the implementation of these algorithms in the computer algebra system GAP

[28]  arXiv:2012.01597 [pdf, other]
Title: Position Information from Single-Bounce Reflections
Comments: 5 pages, 5 figures, submitted to IEEE Wireless Communications Letters
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

In the context of positioning a target with a single-anchor, this contribution focuses on the Fisher information about the position, orientation and clock offset of the target provided by single-bounce reflections. The availability of prior knowledge of the target's environment is taken into account via a prior distribution of the position of virtual anchors, and the rank, intensity and direction of provided information is studied. We show that when no prior knowledge is available, single-bounce reflections offer position information in the direction parallel to the reflecting surface, irrespective of the target's and anchor's locations. We provide a geometrically intuitive explanation of the results and present numerical examples demonstrating their potential implications.

[29]  arXiv:2012.01607 [pdf, ps, other]
Title: On the Near-Critical Behavior of Continuous Polymers
Comments: arXiv admin note: text overlap with arXiv:2008.04493
Subjects: Mathematical Physics (math-ph)

The aim of this paper is to investigate the distribution of a continuous polymer in the presence of an attractive finitely supported potential. The most intricate behavior can be observed if we simultaneously and independently vary two parameters: the temperature, which approaches the critical value, and the length of the polymer chain, which tends to infinity. We describe how the typical size of the polymer depends on the two parameters.

[30]  arXiv:2012.01617 [pdf, ps, other]
Title: Symbolic Rees algebras
Comments: Comments welcome!
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own right. We provide an invitation to this area of investigation by stating several open questions.

[31]  arXiv:2012.01621 [pdf, other]
Title: On Huber's type theorems in general dimensions
Authors: Shiguang Ma, Jie Qing
Comments: 31 pages,1 figure
Subjects: Differential Geometry (math.DG)

In this paper we present some extensions of the celebrated finite point conformal compactification theorem of Huber \cite{Hu57} for complete open surfaces to general dimensions based on the n-Laplace equations in conformal geometry. We are able to conclude a domain in the round sphere has to be the sphere deleted finitely many points if it can be endowed with a complete conformal metric with the negative part of the smallest Ricci curvature satisfying some integrable conditions. Our proof is based on the strengthened version of the Arsove-Huber's type theorem on n-superharmonic functions in our earlier work \cite{MQ18}. Moreover, using p-parabolicity, we push the injectivity theorem of Schoen-Yau to allow some negative curvature and therefore establish the finite point conformal compactification theorem for manifolds that have a conformal immersion into the round sphere. As a side product we establish the injectivity of conformal immersions from n-parabolicity alone, which is interesting by itself in conformal geometry.

[32]  arXiv:2012.01626 [pdf, other]
Title: Rigid-profile input scheduling under constrained dynamics with a water network application
Subjects: Optimization and Control (math.OC)

The motivation for this work stems from the problem of scheduling requests for flow at supply points along an automated network of open-water channels. The off-take flows are rigid-profile inputs to the system dynamics. In particular, the channel operator can only shift orders in time to satisfy constraints on the automatic response to changes in the load. This leads to a non-convex semi-infinite programming problem, with sum-separable cost that encodes the collective sensitivity of end users to scheduling delays. The constraints encode the linear time-invariant continuous-time dynamics and limits on the state across a \al{continuous} scheduling horizon. Discretization is used to arrive at a more manageable approximation of the semi-infinite program. A method for parsimoniously refining the discretization is applied to ensure continuous-time feasibility for solutions of the approximate problem. It is then shown how to improve cost without loss of feasibility. Supporting analysis is provided, along with simulation results for a realistic irrigation channel setup to illustrate the approach.

[33]  arXiv:2012.01627 [pdf, ps, other]
Title: A combinatorial formula for the nabla operator
Comments: 35 Pages
Subjects: Combinatorics (math.CO); Representation Theory (math.RT)

We present an LLT-type formula for a general power of the nabla operator applied to the Cauchy product for the modified Macdonald polynomials, and use it to deduce a new proof of the generalized shuffle theorem describing $\nabla^k e_n$, and the Elias-Hogancamp formula for $(\nabla^k p_1^n,e_n)$ as corollaries. We give a direct proof of the theorem by verifying that the LLT expansion satisfies the defining properties of $\nabla^k$, such as triangularity in the dominance order, as well as a geometric proof based on a method for counting bundles on $\mathbb{P}^1$ due to the second author. These formulas are related to an affine paving of the type A unramified affine Springer fiber studied by Goresky, Kottwitz, and MacPherson, and also to Stanley's chromatic symmetric functions.

[34]  arXiv:2012.01628 [pdf, ps, other]
Title: Multivariate Difference Gončarov Polynomials
Comments: 17 pages
Subjects: Combinatorics (math.CO)

Univariate delta Gon\v{c}arov polynomials arise when the classical Gon\v{c}arov interpolation problem in numerical analysis is modified by replacing derivatives with delta operators. When the delta operator under consideration is the backward difference operator, we acquire the univariate difference Gon\v{c}arov polynomials, which have a combinatorial relation to lattice paths in the plane with a given right boundary. In this paper, we extend several algebraic and analytic properties of univariate difference Gon\v{c}arov polynomials to the multivariate case. We then establish a combinatorial interpretation of multivariate difference Gon\v{c}arov polynomials in terms of certain constraints on $d$-tuples of non-decreasing integer sequences. This motivates a connection between multivariate difference Gon\v{c}arov polynomials and a higher-dimensional generalized parking function, the $\boldsymbol{U}$-parking function, from which we derive several enumerative results based on the theory of multivariate delta Gon\v{c}arov polynomials.

[35]  arXiv:2012.01640 [pdf, ps, other]
Title: Existence of equilibrium in an abstract economy without $SS$-convexity
Comments: 9 pages
Subjects: General Topology (math.GN)

In this paper, we introduce the concept of $\Delta$-convexity in an abstract economy with all choice sets being general topological spaces. We give a new generalization of the classical Yannelis-Prabhakar equilibrium existence theorem in abstract economies by relaxing $SS$-convexity to $\Delta$-convexity.

[36]  arXiv:2012.01664 [pdf, other]
Title: The diameter of the minimum spanning tree of the complete graph with inhomogeneous random weights
Authors: Othmane Safsafi
Comments: 30 pages, 6 figures
Subjects: Probability (math.PR)

We study a new type of random minimum spanning trees. It is built on the complete graph where each vertex is given a weight, which is a positive real number. Then, each edge is given a capacity which is a random variable that only depends on the product of the weights of its endpoints. We then study the minimum spanning tree corresponding to the edge capacities. Under a condition of finite moments on the node weights, we show that the expected diameter and typical distances of this minimum spanning tree are of order $n^{1/3}$. This is a generalization of the results of Addario-Berry, Broutin, and Reed [2009]. We then use our result to answer a conjecture in statistical physics about typical distances on a closely related object. This work also sets the ground for proving the existence of a non-trivial scaling limit of this spanning tree (a generalization of the result of Addario-Berry, Broutin, Goldschmidt, and Miermont [2017])). Our proof is based on a detailed study of rank-1 critical inhomogeneous random graphs, done in Safsafi [2020], and novel couplings between exploration trees related to those graphs and Galton-Watson trees.

[37]  arXiv:2012.01666 [pdf, ps, other]
Title: Condition numbers of the mixed least squares-total least squares problem: revisited
Comments: 20 pages
Subjects: Numerical Analysis (math.NA)

A new closed formula for the first order perturbation estimate of the mixed least squares-total least squares (MTLS) solution is presented. It is mathematically equivalent to the one by Zheng and Yang(Numer. Linear Algebra Appl. 2019; 26(4):e2239). With this formula, general and structured normwise, mixed and componentwise condition numbers of the MTLS problem are derived. Perturbation bounds based on the normwise condition number, and compact forms for the upper bounds of mixed and componentwise condition numbers are also given in order for economic storage and efficient computation. It is shown that the condition numbers and perturbation bound of the TLS problem are unified in the ones of the MTLS problem.

[38]  arXiv:2012.01667 [pdf, other]
Title: Computing the matrix fractional power based on the double exponential formula
Subjects: Numerical Analysis (math.NA)

Two quadrature-based algorithms for computing the matrix fractional power $A^\alpha$ are presented in this paper. These algorithms are based on the double exponential (DE) formula, which is well-known for its effectiveness in computing improper integrals as well as in treating nearly arbitrary endpoint singularities. The DE formula transforms a given integral into another integral that is suited for the trapezoidal rule; in this process, the integral interval is transformed to the infinite interval. Therefore, it is necessary to truncate the infinite interval into an appropriate finite interval. In this paper, a truncation method, which is based on a truncation error analysis specialized to the computation of $A^\alpha$, is proposed. Then, two algorithms are presented -- one computes $A^\alpha$ with a fixed number of abscissas, and the other computes $A^\alpha$ adaptively. Subsequently, the convergence rate of the DE formula for Hermitian positive definite matrices is analyzed. The convergence rate analysis shows that the DE formula converges faster than the Gaussian quadrature when $A$ is ill-conditioned and $\alpha$ is a non-unit fraction. Numerical results show that our algorithms achieved the required accuracy and were faster than other algorithms in several situations.

[39]  arXiv:2012.01670 [pdf, ps, other]
Title: Kronecker theta function and a decomposition theorem for theta functions I
Authors: Zhi-Guo Liu
Comments: 23 pages. Accepted by the Ramanujan Journal
Subjects: Complex Variables (math.CV); Number Theory (math.NT)

The Kronecker theta function is a quotient of the Jacobi theta functions, which is also a special case of Ramanujan's $_1\psi_1$ summation. Using the Kronecker theta function as building blocks, we prove a decomposition theorem for theta functions. This decomposition theorem is the common source of a large number of theta function identities. Many striking theta function identities, both classical and new, are derived from this decomposition theorem with ease. A new addition formula for theta functions is established. Several known results in the theory of elliptic theta functions due to Ramanujan, Weierstrass, Kiepert, Winquist and Shen among others are revisited. A curious trigonometric identities is proved.

[40]  arXiv:2012.01677 [pdf, ps, other]
Title: On the critical exponent for $k$-primitive sets
Comments: 14 pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

A set of positive integers is primitive (or 1-primitive) if no member divides another. Erd\H{o}s proved in 1935 that the weighted sum $\sum1/(n \log n)$ for $n$ ranging over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. One source of difficulty in this conjecture is that $\sum n^{-\lambda}$ over a primitive set is maximized by the primes if and only if $\lambda$ is at least the critical exponent $\tau_1 \approx 1.14$.
A set is $k$-primitive if no member divides any product of up to $k$ other distinct members. One may similarly consider the critical exponent $\tau_k$ for which the primes are maximal among $k$-primitive sets. In recent work the authors showed that $\tau_2 < 0.8$, which directly implies the Erd\H{o}s conjecture for 2-primitive sets. In this article we study the limiting behavior of the critical exponent, proving that $\tau_k$ tends to zero as $k\to\infty$.

[41]  arXiv:2012.01679 [pdf, ps, other]
Title: The graph minor theorem in topological combinatorics
Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Topology (math.AT)

We study a variety of natural constructions from topological combinatorics, including matching complexes as well as other graph complexes, from the perspective of the graph minor category of the authors previous work with Proudfoot. We prove that these complexes must have universally bounded torsion in their homology across all graphs. One may think of these results as arising from an algebraic version of the graph minor theorem of Robertson and Seymour.

[42]  arXiv:2012.01681 [pdf, ps, other]
Title: On geometric Brauer groups and Tate-Shafarevich groups
Authors: Yanshuai Qin
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic $p>0$. We proved that the finiteness of the $\ell$-primary part of $\mathrm{Br}(X_{K^s})^{G_K}$ for a single prime $\ell\neq p$ will imply the finiteness of the prime-to-$p$ part of $\mathrm{Br}(X_{K^s})^{G_K}$, generalizing a theorem of Tate and Lichtenbaum for varieties over finite fields. For an abelian variety $A$ over $K$, we proved a similar result for the Tate-Shafarevich group of $A$, generalizing a theorem of Schneider for abelian varieties over global function fields.

[43]  arXiv:2012.01682 [pdf, ps, other]
Title: Deformation of morphisms, varieties of low codimension and asymptotic limits
Comments: 28 pages, comments are welcome
Subjects: Algebraic Geometry (math.AG)

In this article, we study the deformations of a finite morphism $\varphi$ to a projective space factoring through an abelian cover of a complete intersection subvariety $Y$ and the intimately connected problem of existence or non existence of multiple structures called ropes on $Y$. From our more general main theorems we obtain the following interesting applications: (1) We construct infinitely many ropes supported on complete intersection subvarieties, embedded in the projective space. We smooth these ropes to obtain infinitely many families of smooth subvarieties with codimension in the range of Hartshorne's conjecture. In addition, we systematically construct smooth non-complete intersection subvarieties, embedded by complete linear series, outside the range of Hartshorne's conjecture, thereby showing many ropes that are not in the boundary of a component of the Hilbert scheme parameterizing smooth complete intersections subvarieties. (2) We go beyond Enriques' original question on constructing simple canonical surfaces in projective spaces, and construct simple canonical varieties in all dimensions. An infinite subset of these simple canonical varieties have finite birational canonical map which is not an embedding. The deformations of the finite morphisms studied in this article display a wide variety of behavior. In particular we show that there are infinitely many families of examples for which a general deformation of the associated finite morphism of degree $n$ remains of degree $n$, infinitely many families of examples for which degree $n$ becomes degree $n/2$ (when $n$ is even), and infinitely many families for which degree $n$ becomes degree $1$. This has potential applications to finding components of moduli spaces of varieties of general type in higher dimensions, as the first two authors and Gonz\'alez showed for surfaces in [GGP2].

[44]  arXiv:2012.01689 [pdf, ps, other]
Title: A compact divergence-free H(div)-conforming finite element method for Stokes flows
Authors: Xu Li, Hongxing Rui
Comments: 30 pages, 8 figures
Subjects: Numerical Analysis (math.NA)

In this paper, we construct a $P_{1}^{c}\oplus RT0-P0$ discretization of the Stokes equations for general simplicial meshes in two/three dimensions (2D/3D), which yields a exactly divergence-free and pressure-independent velocity approximation with optimal order. Some interesting properties of $RT0$ are fully utilized. Unlike the popular H(div)-conforming methods in a discontinuous Galerkin (DG) framework, our scheme only consists of integrals on each element, and does not involve any trace operators such as jumps and averages on the element interfaces. We propose a simple stabilization on $RT0$ which only acts on the diagonal of the coefficient matrix. The stencil of our method is the same as the lowest order Bernardi and Raugel (B-R) element method (see C. Bernardi and G. Raugel, Math. Comp., 44 (1985), pp. 71-79). Finally, by a diagonal perturbation of the bilinear form, we further decouple the unknowns corresponding to $P_{1}^{c}$ and $RT0$, solving a stabilized $P_{1}^{c}-P0$ discretization first. Then the $RT0$ part can be obtained locally and explicitly. Numerical experiments illustrating the robustness of our methods are also provided.

[45]  arXiv:2012.01697 [pdf, other]
Title: General Behaviour of P-Values Under the Null and Alternative
Comments: 19 pages, 8 figures
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)

Hypothesis testing results often rely on simple, yet important assumptions about the behaviour of the distribution of p-values under the null and the alternative. We examine tests for one dimensional parameters of interest that converge to a normal distribution, possibly in the presence of nuisance parameters, and characterize the distribution of the p-values using techniques from the higher order asymptotics literature. We show that commonly held beliefs regarding the distribution of p-values are misleading when the variance and location of the test statistic are not well-calibrated or when the higher order cumulants of the test statistic are not negligible. Corrected tests are proposed and are shown to perform better than their first order counterparts in certain settings.

[46]  arXiv:2012.01706 [pdf, other]
Title: State Masking Over a Two-State Compound Channel
Comments: arXiv admin note: substantial text overlap with arXiv:1906.06675
Subjects: Information Theory (cs.IT)

We consider fundamental limits for communicating over a compound channel when the state of the channel needs to be masked. Our model is closely related to an area of study known as covert communication that is a setting in which the transmitter wishes to communicate to legitimate receiver(s) while ensuring that the communication is not detected by an adversary. The main contribution in our two-state masking setup is the establishment of bounds on the throughput-key region when the constraint that quantifies how much the states are masked is defined to be the total variation distance between the two channel-induced distributions. For the scenario in which the key length is infinite, we provide sufficient conditions for when the bounds to coincide for the throughput, which follows the square-root law. Numerical examples, including that of a Gaussian channel, are provided to illustrate our results.

[47]  arXiv:2012.01710 [pdf, ps, other]
Title: A classification of left-invariant symplectic structures on some Lie groups
Comments: 16 pages
Subjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)

We are interested in the classification of left-invariant symplectic structures on Lie groups. Some classifications are known, especially in low dimensions. In this paper we establish a new approach to classify (up to automorphism and scale) left-invariant symplectic structures on Lie groups. The procedure is based on the moduli space of left-invariant nondegenerate $2$-forms. Then we apply our procedure for two particular Lie groups of dimension $2n$ and give classifications of left-invariant symplectic structures on them.

[48]  arXiv:2012.01712 [pdf, other]
Title: On the behavior of multiple zeta-functions with identical arguments on the real line I
Comments: 16pages, 9figures
Subjects: Number Theory (math.NT)

In the present series of papers, we study the behavior of the r-fold zeta-function of Euler-Zagier type with identical arguments on the real line. In this first part, we consider the behavior on the interval [0,1]. Our basic tool is an "infinite" version of Newton's classical identities. We carry out numerical computations, and draw graphs for real s in [0,1], for several small values of r. Those graphs suggest various properties of the r-fold zeta-function, some of which we prove rigorously. For example, we show that the r-fold zeta-function has r asymptotes, and determine the asymptotic behavior close to those asymptotes. Until now, the existence of one real zero for r=2 has been known. Our present computations establish several new real zeros between asymptotes in the cases r=3,...,10. Moreover, on the number of real zeros, we raise a conjecture, and a formula for calculating the number of zeros on the interval [0,1] is derived.

[49]  arXiv:2012.01713 [pdf, ps, other]
Title: Residues of manifolds
Authors: Jun O'Hara
Comments: 48 pages
Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)

For a manifold $X$ a meromorphic function can be obtained by analytic continuation from the Riesz energy which is the integration of the distance between two points to the power $z$ over the product space $X\times X$, where $z$ is a complex variable. We call this function the meromorphic energy function of the manifold $X$. It has only simple poles at some negative integers. We call them the residues of the manifold, which are the main subject of the paper. Some geometrically important quantities such as the volume, the mean and scalar curvatures, and the Euler characteristic of compact bodies of dimension less than $4$ can be obtained as (local) residues.
Suppose $X$ is a closed submanifold or a compact body in a Euclidean space. If the meromorphic energy function of $X$ has a pole at $z=-2\dim X$ then the residue at that point is \M invariant and if not the value of the function at that point is \M invariant. Thus we obtain \M invariant residues for even dimensional closed submanifolds. They can be considered as higher-dimensional analogues of the Willmore energy of closed surfaces.
Residues appear to be similar to quantities obtained by asymptotic expansion such as intrinsic volumes (Lipschitz-Killing curvatures), spectra of Laplacian, and the Graham-Witten energy. We show that residues are independent from them. Finally we introduce a \M invariant principal curvature energy for $4$-dimensional hypersurfaces in $\RR^5$, and express the Graham-Witten energy in terms of the residues, Weyl tensor, and this \M invariant principal curvature energy.

[50]  arXiv:2012.01716 [pdf, ps, other]
Title: Rainbow triangles in edge-colored complete graphs
Comments: 10 pages, 4 figures
Subjects: Combinatorics (math.CO)

Let $G$ be a graph of order $n$ with an edge-coloring $c$, and let $\delta^c(G)$ denote the minimum color-degree of $G$. A subgraph $F$ of $G$ is called rainbow if any two edges of $F$ have distinct colors. There have been a lot results in the existing literature on rainbow triangles in edge-colored complete graphs. Fujita and Magnant showed that for an edge-colored complete graph $G$ of order $n$, if $\delta^c(G)\geq \frac{n+1}{2}$, then every vertex of $G$ is contained in a rainbow triangle. In this paper, we show that if $\delta^c(G)\geq \frac{n+k}{2}$, then every vertex of $G$ is contained in at least $k$ rainbow triangles, which can be seen as a generalization of their result. Li showed that for an edge-colored graph $G$ of order $n$, if $\delta^c(G)\geq \frac{n+1}{2}$, then $G$ contains a rainbow triangle. We show that if $G$ is complete and $\delta^c(G)\geq \frac{n}{2}$, then $G$ contains a rainbow triangle and the bound is sharp. Hu et al. showed that for an edge-colored graph $G$ of order $n\geq 20$, if $\delta^c(G)\geq \frac{n+2}{2}$, then $G$ contains two vertex-disjoint rainbow triangles. We show that if $G$ is complete with order $n\geq 8$ and $\delta^c(G)\geq \frac{n+1}{2}$, then $G$ contains two vertex-disjoint rainbow triangles. Moreover, we improve the result of Hu et al. from $n\geq 20$ to $n\geq 7$, the best possible.

[51]  arXiv:2012.01720 [pdf, other]
Title: On the behavior of multiple zeta-functions with identical arguments on the real line II
Comments: 13 pages, 5 figures
Subjects: Number Theory (math.NT)

In the present series of papers, we study the behavior of $r$-fold zeta-functions of Euler-Zagier type with identical arguments $\zeta_r(s,s,\ldots,s)$ on the real line. In this second part, we consider the behavior on the interval $(1,+\infty)$ and $(-\infty,0]$. We carry out numerical computations, and draw graphs of $\zeta_r(s,s,\ldots,s)$ on those intervals, for several small values of $r$. We prove several theorems suggested by such graphs. For example, we prove asymptotic formulas for $\zeta_r(-k,-k,\ldots,-k)$, where $k$ takes odd positive integer values and tends to $+\infty$. Moreover, on the number of real zeros of $\zeta_r(s,s,\ldots,s)$, we prove that there are exactly $(r-1)$ real zeros on the interval $(-2n,-2(n-1))$ for any $n\geq 2$.

[52]  arXiv:2012.01727 [pdf, other]
Title: Classification of ancient flows by sub-affine-critical powers of curvature in $\mathbb{R}^2$
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)

We classify closed convex $\alpha$-curve shortening flows for sub-affine-critical powers $\alpha \leq \frac{1}{3}$. In addition, we show that closed convex smooth finite entropy $\alpha$-curve shortening flows with $\frac{1}{3}<\alpha$ is a shrinking circle. After normalization, the ancient flows satisfying the above conditions converge exponentially fast to smooth closed convex shrinkers at the backward infinity. In particular, when $\alpha=\frac{1}{k^2-1}$ with $3\leq k \in \mathbb{N}$, the round circle shrinker has non-trivial Jacobi fields, but the ancient flows do not evolve along the Jacobi fields.

[53]  arXiv:2012.01728 [pdf, other]
Title: A Novel 3D Non-Stationary Multi-Frequency Multi-Link Wideband MIMO Channel Model
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

In this paper, a multi-frequency multi-link three-dimensional (3D) non-stationary wideband multiple-input multiple-output (MIMO) channel model is proposed. The spatial consistency and multi-frequency correlation are considered in parameters initialization of every single-link and different frequencies, including large scale parameters (LSPs) and small scale parameters (SSPs). Moreover, SSPs are time-variant and updated when scatterers and the receiver (Rx) are moving. The temporal evolution of clusters is modeled by birth and death processes. The single-link channel model which has considered the inter-correlation can be easily extended to multi-link channel model. Statistical properties, including spatial cross-correlation function (CCF), power delay profile (PDP), and correlation matrix collinearity (CMC) are investigated and compared with the 3rd generation partner project (3GPP) TR 38.901 and quasi deterministic radio channel generator (QuaDRiGa) channel models. Besides, the CCF is validated against measurement data.

[54]  arXiv:2012.01730 [pdf, ps, other]
Title: On initial-boundary value problem of the stochastic Navier--Stokes equations in the half space
Subjects: Analysis of PDEs (math.AP)

We study the initial-boundary value problem of the stochastic Navier--Stokes equations in the half space. We prove the existence of weak solutions in the standard Besov space valued random processes when the initial data belong to the critical Besov space.

[55]  arXiv:2012.01738 [pdf, other]
Title: The Affine Index Polynomial and the Sawollek Polynomial
Authors: Louis H Kauffman
Comments: 14 pages, 14 figures, LaTeX document. arXiv admin note: text overlap with arXiv:1211.1601
Subjects: Geometric Topology (math.GT)

The purpose of this paper is to give a new basis for examining the relationships of the Affine Index Polynomial and the Sawollek Polynomial. Blake Mellor has written a pioneering paper showing how the Affine Index Polynomial may be extracted from the Sawollek Polynomial. The Affine Index Polynomial is an elementary combinatorial invariant of virtual knots. The Sawollek polynomial is a relative of the classical Alexander polynomial and is defined in terms of a generalization of the Alexander module to virtual knots that derives from the so-called Alexander Biquandle. The present paper constructs the groundwork for a new approach to this relationship, and gives a concise proof of the basic Theorem of Mellor extracting the Affine Index Polynomial from the Sawollek Polynomial.

[56]  arXiv:2012.01753 [pdf, other]
Title: Perfectly Matched Layers for nonlocal Helmholtz equations Part II: higher dimensions
Authors: Yu Du, Jiwei Zhang
Comments: 22 pages
Subjects: Numerical Analysis (math.NA)

Perfectly matched layers (PMLs) are formulated and numerically applied to nonlocal Helmholtz equations in one and two dimensions. In one dimension, we give the PML modifications for the nonlocal Helmholtz equation with general kernels and show its effectiveness theoretically in some sense. In two dimensions, we give the PML modifications in both Cartesian coordinates and polar coordinates. Based on the PML modifications, nonlocal Helmholtz equations are truncated in one and two dimensional spaces, and asymptotic compatibility schemes are introduced to solve the resulting truncated problems. Finally, numerical examples are provided to study the "numerical reflections" by PMLs and verify the effectiveness and validation of our nonlocal PML strategy.

[57]  arXiv:2012.01761 [pdf, ps, other]
Title: An infinite-dimensional representation of the Ray-Knight theorems
Authors: Elie Aïdékon (LPSM (UMR\_8001)), Yueyun Hu (LAGA), Zhan Shi (LPSM (UMR\_8001))
Subjects: Probability (math.PR)

The classical Ray-Knight theorems for Brownian motion determine the law of its local time process either at the first hitting time of a given value a by the local time at the origin, or at the first hitting time of a given position b by Brownian motion. We extend these results by describing the local time process jointly for all a and all b, by means of stochastic integral with respect to an appropriate white noise. Our result applies to $\mu$-processes, and has an immediate application: a $\mu$-process is the height process of a Feller continuous-state branching process (CSBP) with immigration (Lambert [10]), whereas a Feller CSBP with immigration satisfies a stochastic differential equation driven by a white noise (Dawson and Li [7]); our result gives an explicit relation between these two descriptions and shows that the stochastic differential equation in question is a reformulation of Tanaka's formula.

[58]  arXiv:2012.01762 [pdf, other]
Title: Finite orbits for large groups of automorphisms of projective surfaces
Authors: Serge Cantat (IRMAR), Romain Dujardin (LPSM (UMR\_8001))
Subjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS); Number Theory (math.NT)

We study finite orbits for non-elementary groups of automorphisms of compact projective surfaces. In particular we prove that if the surface and the group are defined over a number field k and the group contains parabolic elements, then the set of finite orbits is not Zariski dense, except in certain very rigid situations, known as Kummer examples. Related results are also established when k=C. An application is given to the description of "canonical vector heights" associated to such automorphism groups.

[59]  arXiv:2012.01764 [pdf, ps, other]
Title: Optimal labelling schemes for adjacency, comparability and reachability
Comments: 16 pages
Subjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)

We construct asymptotically optimal adjacency labelling schemes for every hereditary class containing $2^{\Omega(n^2)}$ $n$-vertex graphs as $n\to \infty$. This regime contains many classes of interest, for instance perfect graphs or comparability graphs, for which we obtain an efficient adjacency labelling scheme with labels of $n/4+o(n)$ bits per vertex. This implies the existence of a reachability labelling scheme for digraphs with labels of $n/4+o(n)$ bits per vertex. We also use this result to construct a poset on $2^{n/4+o(n)}$ elements, that contains all $n$-element posets. All these results are best possible, up to the lower order term, and solve several open problems in the area.

[60]  arXiv:2012.01769 [pdf, ps, other]
Title: Moments of q-Jacobi Polynomials and q-Zeta Values
Comments: 8 pages
Subjects: Combinatorics (math.CO)

We explore some connections between moments of rescaled little q-Jacobi polynomials, q-analogues of values at negative integers for some Dirichlet series, and the q-Eulerian polynomials of wreath products of symmetric groups.

[61]  arXiv:2012.01770 [pdf, other]
Title: Spectral sequences of a Morse shelling
Authors: Jean-Yves Welschinger (AGL)
Comments: 10 pages, 1 figure
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Geometric Topology (math.GT)

We recently introduced a notion of tilings of the geometric realization of a finite simplicial complex and related those tilings to the discrete Morse theory of R. Forman, especially when they have the property to be shellable, a property shared by the classical shellable complexes. We now observe that every such tiling supports a quiver which is acyclic precisely when the tiling is shellable and then that every shelling induces two spectral sequences which converge to the (co)homology of the complex. Their first pages are free modules over the critical tiles of the tiling.

[62]  arXiv:2012.01773 [pdf, ps, other]
Title: Finite totally $k$-closed groups
Subjects: Group Theory (math.GR); Combinatorics (math.CO)

For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $\Omega$, $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ which leaves invariant each of the $G$-orbits in the induced action on $\Omega\times\dots\times \Omega=\Omega^k$. We prove that every abelian group $G$ is totally $(n(G)+1)$-closed, but is not totally $n(G)$-closed, where $n(G)$ is the number of invariant factors in the invariant factor decomposition of $G$. In particular, we prove that for each $k\geq2$ and each prime $p$, there are infinitely many finite abelian $p$-groups which are totally $k$-closed but not totally $(k-1)$-closed. This result in the special case $k=2$ is due to Abdollahi and Arezoomand. We pose several open questions about total $k$-closure.

[63]  arXiv:2012.01795 [pdf, ps, other]
Title: Local-in-time existence of strong solutions to a class of compressible non-Newtonian Navier-Stokes equations
Subjects: Analysis of PDEs (math.AP)

The aim of this article is to show a local-in-time existence of a strong solution to the generalized compressible Navier-Stokes equation for arbitrarily large initial data. The goal is reached by $L^p$-theory for linearized equations which are obtained with help of the Weis multiplier theorem and can be seen as generalization of the work of Shibata and Enomoto (devoted to compressible fluids) to compressible non-Newtonian fluids.

[64]  arXiv:2012.01808 [pdf, other]
Title: Counting periodic orbits of vector fields over smooth closed manifolds
Authors: Eaman Eftekhary
Subjects: Dynamical Systems (math.DS); Differential Geometry (math.DG); Geometric Topology (math.GT)

We address the problem of counting periodic orbits of vector fields on smooth closed manifolds. The space of non-constant periodic orbits is enlarged to a complete space by adding the ghost orbits, which are decorations of the zeros of vector fields. Associated with any compact and open subset $\Gamma$ of the moduli space of periodic and ghost orbits, we define an integer weight. When the vector field moves along a path, and $\Gamma$ deforms in a compact and open family, we show that the weight function stays constant. We also give a number of examples and computations, which illustrate the applications of our main theorem.

[65]  arXiv:2012.01809 [pdf, ps, other]
Title: Zeta functions over finite fields- An exposition of Dwork's methods
Comments: This essay was written as part of my degree at the University of Oxford
Subjects: Number Theory (math.NT)

The paper reviews Dwork's p-adic analytic methods used in the Weil Conjectures. The first two chapters review a version of his proof of the rationality conjecture. The rest of the paper is devoted to Dwork's original cohomological methods, along with some p-adic functional analysis. The last chapter applies what is developed to an example of Dwork's family of hypersurfaces.

[66]  arXiv:2012.01817 [pdf, other]
Title: Iterative Oversampling Technique for Constraint Energy Minimizing Generalized Multiscale Finite Element Method in the Mixed Formulation
Subjects: Numerical Analysis (math.NA)

In this paper, we develop an iterative scheme to construct multiscale basis functions within the framework of the Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) for the mixed formulation. The iterative procedure starts with the construction of an energy minimizing snapshot space that can be used for approximating the solution of the model problem. A spectral decomposition is then performed on the snapshot space to form global multiscale space. Under this setting, each global multiscale basis function can be split into a non-decaying and a decaying parts. The non-decaying part of a global basis is localized and it is fixed during the iteration. Then, one can approximate the decaying part via a modified Richardson scheme with an appropriately defined preconditioner. Using this set of iterative-based multiscale basis functions, first-order convergence with respect to the coarse mesh size can be shown if sufficiently many times of iterations with regularization parameter being in an appropriate range are performed. Numerical results are presented to illustrate the effectiveness and efficiency of the proposed computational multiscale method.

[67]  arXiv:2012.01818 [pdf, ps, other]
Title: Port-Hamiltonian Modeling of Ideal Fluid Flow: Part I. Foundations and Kinetic Energy
Comments: This is a preprint submitted to the journal of Geometry and Physics. Please do not CITE this version, but only the published manuscript
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Fluid Dynamics (physics.flu-dyn)

In this two-parts paper, we present a systematic procedure to extend the known Hamiltonian model of ideal inviscid fluid flow on Riemannian manifolds in terms of Lie-Poisson structures to a port-Hamiltonian model in terms of Stokes-Dirac structures. The first novelty of the presented model is the inclusion of non-zero energy exchange through, and within, the spatial boundaries of the domain containing the fluid. The second novelty is that the port-Hamiltonian model is constructed as the interconnection of a small set of building blocks of open energetic subsystems. Depending only on the choice of subsystems one composes and their energy-aware interconnection, the geometric description of a wide range of fluid dynamical systems can be achieved. The constructed port-Hamiltonian models include a number of inviscid fluid dynamical systems with variable boundary conditions. Namely, compressible isentropic flow, compressible adiabatic flow, and incompressible flow. Furthermore, all the derived fluid flow models are valid covariantly and globally on n-dimensional Riemannian manifolds using differential geometric tools of exterior calculus.

[68]  arXiv:2012.01820 [pdf, ps, other]
Title: On CR singular CR images
Comments: 21 pages
Subjects: Complex Variables (math.CV)

We say that a CR singular submanifold $M$ has a removable CR singularity if the CR structure at the CR points of $M$ extends through the singularity as an abstract CR structure on $M$. We study such real-analytic submanifolds, in which case removability is equivalent to $M$ being the image of a generic real-analytic submanifold $N$ under a holomorphic map that is a diffeomorphism of $N$ onto $M$, what we call a CR image. We study the stability of the CR singularity under perturbation, the associated quadratic invariants, and conditions for removability of a CR singularity. A lemma is also proved about perturbing away the zeros of holomorphic functions on CR submanifolds, which could be of independent interest.

[69]  arXiv:2012.01824 [pdf, ps, other]
Title: On Pointwise converse of Fatou's theorem for Euclidean and Real hyperbolic spaces
Authors: Jayanta Sarkar
Comments: 25 pages
Subjects: Classical Analysis and ODEs (math.CA)

In this article, we extend a result of L. Loomis and W. Rudin, regarding boundary behavior of positive harmonic functions on the upper half space $\R_+^{n+1}$. We show that similar results remain valid for more general approximate identities. We apply this result to prove a result regarding boundary behavior of nonnegative eigenfunctions of the Laplace-Beltrami operator on real hyperbolic space $\mathbb H^n$. We shall also prove a generalization of a result regarding large time behavior of solution of the heat equation proved in \cite{Re}. We use this result to prove a result regarding asymptotic behavior of certain eigenfunctions of the Laplace-Beltrami operator on real hyperbolic space $\mathbb H^n$.

[70]  arXiv:2012.01844 [pdf, ps, other]
Title: On effective $ε$-integrality in orbits of rational maps over function fields and multiplicative dependence
Authors: Jorge Mello
Subjects: Number Theory (math.NT); Dynamical Systems (math.DS)

We give effective bounds for the set quasi-integral points in orbits of non-isotrivial rational maps over function fields under some conditions, generalizing previous work of Hsia and Silverman (2011) for orbits over function fields of characteristic zero. We then use this to prove finiteness results for algebraic functions whose orbit under a rational function has multiplicative dependent elements modulo rings of $S$-integers, generalizing recent results over number fields.

[71]  arXiv:2012.01848 [pdf, other]
Title: A primal dual projection algorithm for efficient constraint preconditioning
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)

We consider a linear iterative solver for large scale linearly constrained quadratic minimization problems that arise, for example, in optimization with PDEs. By a primal-dual projection (PDP) iteration, which can be interpreted and analysed as a gradient method on a quotient space, the given problem can be solved by computing sulutions for a sequence of constrained surrogate problems, projections onto the feasible subspaces, and Lagrange multiplier updates. As a major application we consider a class of optimization problems with PDEs, where PDP can be applied together with a projected cg method using a block triangular constraint preconditioner. Numerical experiments show reliable and competitive performance for an optimal control problem in elasticity.

[72]  arXiv:2012.01849 [pdf, ps, other]
Title: Musing on Kunen's compact $L$-space
Comments: 11 pages
Subjects: General Topology (math.GN); Functional Analysis (math.FA)

We present a connected version of the compact $L$-space constructed by Kenneth Kunen under CH. We show that this provides a Corson compact space $K$ such that the Banach space $C(K)$ is isomorphic to no space of continuous function on a zero-dimensional compactum.

[73]  arXiv:2012.01851 [pdf, ps, other]
Title: (0,2) Mirror Symmetry on homogeneous Hopf surfaces
Comments: 55 pages
Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)

In this work we find the first examples of (0,2) mirror symmetry on compact non-K\"ahler complex manifolds. For this we follow Borisov's approach to mirror symmetry using vertex algebras and the chiral de Rham complex. Our examples of (0,2) mirrors are given by pairs of Hopf surfaces endowed with a Bismut-flat pluriclosed metric. Requiring that the geometry is homogeneous, we reduce the problem to the study of Killing spinors on a quadratic Lie algebra and the construction of associated $N=2$ superconformal structures on the superaffine vertex algebra, combined with topological T-duality.

[74]  arXiv:2012.01855 [pdf, other]
Title: On instability mechanisms for inverse problems
Comments: 88 pages, 1 figure, comments welcome
Subjects: Analysis of PDEs (math.AP)

In this article we present three robust instability mechanisms for linear and nonlinear inverse problems. All of these are based on strong compression properties (in the sense of singular value or entropy number bounds) which we deduce through either strong global smoothing, only weak global smoothing or microlocal smoothing for the corresponding forward operators, respectively. As applications we for instance present new instability arguments for unique continuation, for the backward heat equation and for linear and nonlinear Calder\'on type problems in general geometries, possibly in the presence of rough coefficients. Our instability mechanisms could also be of interest in the context of control theory, providing estimates on the cost of (approximate) controllability in rather general settings.

[75]  arXiv:2012.01858 [pdf, ps, other]
Title: Local opers with two singularities: the case of $\mathfrak{sl}(2)$
Comments: 56 pages. Comments are very welcome!
Subjects: Representation Theory (math.RT); Mathematical Physics (math-ph); Algebraic Geometry (math.AG)

We study local opers with two singularities for the case of the Lie algebra sl(2), and discuss their connection with a two-variables extension of the affine Lie algebra. We prove an analogue of the Feigin-Frenkel theorem describing the centre at the critical level, and an analogue of a result by Frenkel and Gaitsgory that characterises the endomorphism rings of Weyl modules in terms of functions on the space of opers.

[76]  arXiv:2012.01868 [pdf, other]
Title: Hotspot identification for Mapper graphs
Comments: Topological Data Analysis and Beyond Workshop at the 34th Conference on Neural Information Processing Systems (NeurIPS 2020)
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)

Mapper algorithm can be used to build graph-based representations of high-dimensional data capturing structurally interesting features such as loops, flares or clusters. The graph can be further annotated with additional colouring of vertices allowing location of regions of special interest. For instance, in many applications, such as precision medicine, Mapper graph has been used to identify unknown compactly localized subareas within the dataset demonstrating unique or unusual behaviours. This task, performed so far by a researcher, can be automatized using hotspot analysis. In this work we propose a new algorithm for detecting hotspots in Mapper graphs. It allows automatizing of the hotspot detection process. We demonstrate the performance of the algorithm on a number of artificial and real world datasets. We further demonstrate how our algorithm can be used for the automatic selection of the Mapper lens functions.

[77]  arXiv:2012.01877 [pdf, ps, other]
Title: On the Lyapunov-Perron reducible Markovian Master Equation
Comments: 22 pages, no figures
Subjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)

We consider an open quantum system in $M_{d}(\mathbb{C})$ governed by quasiperiodic Hamiltonian with rationally independent frequencies and under assumption of Lyapunov-Perron reducibility of associated Schroedinger equation. We construct the Markovian Master Equation and resulting CP-divisible evolution in weak coupling limit regime, generalizing our previous results from periodic case. The analysis is conducted with application of projection operator techniques and concluded with some results regarding stability of solutions and existence of quasiperiodic global steady state.

[78]  arXiv:2012.01885 [pdf, other]
Title: A domino tableau-based view on type B Schur-positivity
Subjects: Combinatorics (math.CO)

Over the past years, major attention has been drawn to the question of identifying Schur-positive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a non-negative sum of Schur symmetric functions. The set of arc permutations, i.e. the set of permutations $\pi$ in $S_n$ such that for any $1\leq j \leq n$, $\{\pi(1),\pi(2),\dots,\pi(j)\}$ is an interval in $\mathbb{Z}_n$ is one of the most noticeable examples. This paper introduces a new type B extension of Schur-positivity to signed permutations based on Chow's quasisymmetric functions and generating functions for domino tableaux. As an important characteristic, our development is compatible with the works of Solomon regarding the descent algebra of Coxeter groups. In particular, we design descent preserving bijections between signed arc permutations and sets of domino tableaux to show that they are indeed type B Schur-positive.

[79]  arXiv:2012.01891 [pdf, ps, other]
Title: Sparse Array of Sub-surface Aided Anti-blockage mmWave Communication Systems
Comments: To appear in 2020 IEEE Global Communications Conference (GLOBECOM). Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Information Theory (cs.IT)

Recently, reconfigurable intelligent surfaces (RISs) have drawn intensive attention to enhance the coverage of millimeter wave (mmWave) communication systems. However, existing works mainly consider the RIS as a whole uniform plane, which may be unrealistic to be installed on the facade of buildings when the RIS is extreme large. To address this problem, in this paper, we propose a sparse array of sub-surface (SAoS) architecture for RIS, which contains several rectangle shaped sub-surfaces termed as RIS tiles that can be sparsely deployed. An approximated ergodic spectral efficiency of the SAoS aided system is derived and the performance impact of the SAoS design is evaluated. Based on the approximated ergodic spectral efficiency, we obtain an optimal reflection coefficient design for each RIS tile. Analytical results show that the received signal-to-noise ratios can grow quadratically and linearly to the number of RIS elements under strong and weak LoS scenarios, respectively. Furthermore, we consider the visible region (VR) phenomenon in the SAoS aided mmWave system and find that the optimal distance between RIS tiles is supposed to yield a total SAoS VR nearly covering the whole blind coverage area. The numerical results verify the tightness of the approximated ergodic spectral efficiency and demonstrate the great system performance.

[80]  arXiv:2012.01892 [pdf, ps, other]
Title: Density of Lipschitz functions in Energy
Comments: 12 pages, comments welcome
Subjects: Classical Analysis and ODEs (math.CA)

In this paper, we show that density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls. Emphatically, $p=1$ is allowed. We also give a few simple corollaries and pose questions for future work.
The proof is direct and does not involve the usual flow techniques from prior work. Notable with all of this is that we do not use any form of Poincar\'e inequality or doubling assumption. The techniques are flexible and suggest a unification of a variety of existing literature on the topic.

[81]  arXiv:2012.01898 [pdf, other]
Title: Stability analysis of polytopic Discontinuous Galerkin approximations of the Stokes problem with applications to fluid-structure interaction problems
Subjects: Numerical Analysis (math.NA)

We present a stability analysis of the Discontinuous Galerkin method on polygonal and polyhedral meshes (PolyDG) for the Stokes problem. In particular, we analyze the discrete inf-sup condition for different choices of the polynomial approximation order of the velocity and pressure approximation spaces. To this aim, we employ a generalized inf-sup condition with a pressure stabilization term. We also prove a priori hp-version error estimates in suitable norms. We numerically check the behaviour of the inf-sup constant and the order of convergence with respect to the mesh configuration, the mesh-size, and the polynomial degree. Finally, as a relevant application of our analysis, we consider the PolyDG approximation for a fluid-structure interaction problem and we numerically explore the stability properties of the method.

[82]  arXiv:2012.01904 [pdf, ps, other]
Title: Substitution maps in the Robba ring
Authors: Laurent Berger
Comments: 15 pages
Subjects: Number Theory (math.NT)

The purpose of this note is to ask several questions about substitution maps in the Robba ring. These questions are motivated by p-adic Hodge theory and the theory of p-adic dynamical systems. We provide answers to those questions in special cases, thereby generalizing results of Kedlaya, Colmez and others.

[83]  arXiv:2012.01905 [pdf, ps, other]
Title: Coloured Graphical Models and their Symmetries
Comments: 14 pages
Subjects: Algebraic Geometry (math.AG); Statistics Theory (math.ST)

Coloured graphical models are Gaussian statistical models determined by an undirected coloured graph. These models can be described by linear spaces of symmetric matrices. We outline a relationship between the symmetries of the graph and the linear forms that vanish on the reciprocal variety of the model. In the special case of the uniform coloured n-cycle, this gives a complete description of all such linear forms.

[84]  arXiv:2012.01906 [pdf, ps, other]
Title: Pencil-beam approximation of fractional Fokker-Planck
Subjects: Analysis of PDEs (math.AP)

We consider the modeling of light beams propagating in highly forward-peaked turbulent media by fractional Fokker-Planck equations and their approximations by fractional Fermi pencil-beam models. We obtain an error estimate in a 1-Wasserstein distance for the latter model showing that beam spreading is well captured by the Fermi pencil-beam approximation in the small diffusion limit.

[85]  arXiv:2012.01910 [pdf, ps, other]
Title: Slow-Fast Systems with Fractional Environment and Dynamics
Comments: 47 pages
Subjects: Probability (math.PR)

We prove an averaging principle for interacting slow-fast systems driven by independent fractional Brownian motions. The mode of convergence is in H\"older norm in probability. We also establish geometric ergodicity for a class of fractional-driven stochastic differential equations, partially improving a recent result of Panloup and Richard.

[86]  arXiv:2012.01923 [pdf, ps, other]
Title: Global well-posedness for the derivative nonlinear Schrödinger equation
Subjects: Analysis of PDEs (math.AP)

This paper is dedicated to the study of the derivative nonlinear Schr\"odinger equation on the real line. The local well-posedness of this equation in the Sobolev spaces is well understood since a couple of decades, while the global well-posedness is not completely settled. For the latter issue, the best known results up-to-date concern either Cauchy data in $H^{\frac12}$ with mass strictly less than $4\pi$ or general initial conditions in the weighted Sobolev space $H^{2, 2}$. In this article, we prove that the derivative nonlinear Schr\"odinger equation is globally well-posed for general Cauchy data in $H^{\frac12}$ and that furthermore the $H^{\frac12}$ norm of the solutions remains globally bounded in time. One should recall that for $H^s$, with $s < 1 / 2 $, the associated Cauchy problem is ill-posed in the sense that uniform continuity with respect to the initial data fails. Thus, our result closes the discussion in the setting of the Sobolev spaces $H^s$. The proof is achieved by combining the profile decomposition techniques with the integrability structure of the equation.

[87]  arXiv:2012.01928 [pdf, other]
Title: A Probabilistic Guidance Approach to Swarm-to-Swarm Engagement Problem
Subjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); Dynamical Systems (math.DS); Probability (math.PR)

This paper introduces a probabilistic guidance approach for the swarm-to-swarm engagement problem. The idea is based on driving the controlled swarm towards an adversary swarm, where the adversary swarm aims to converge to a stationary distribution that corresponds to a defended base location. The probabilistic approach is based on designing a Markov chain for the distribution of the swarm to converge a stationary distribution. This approach is decentralized, so each agent can propagate its position independently of other agents. Our main contribution is the formulation of the swarm-to-swarm engagement as an optimization problem where the population of each swarm decays with each engagement and determining a desired distribution for the controlled swarm to converge time-varying distribution and eliminate agents of the adversary swarm until adversary swarm enters the defended base location. We demonstrate the validity of proposed approach on several swarm engagement scenarios.

[88]  arXiv:2012.01943 [pdf, other]
Title: Finite-Part Integration in the Presence of Competing Singularities: Transformation Equations for the hypergeometric functions arising from Finite-Part Integration
Comments: 44 pages, 3 figures
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph); Complex Variables (math.CV)

Finite-part integration is a recently introduced method of evaluating convergent integrals by means of the finite part of divergent integrals [E.A. Galapon, {\it Proc. R. Soc. A 473, 20160567} (2017)]. Current application of the method involves exact and asymptotic evaluation of the generalized Stieltjes transform $\int_0^a f(x)/(\omega + x)^{\rho} \, \mathrm{d}x$ under the assumption that the extension of $f(x)$ in the complex plane is entire. In this paper, the method is elaborated further and extended to accommodate the presence of competing singularities of the complex extension of $f(x)$. Finite part integration is then applied to derive consequences of known Stieltjes integral representations of the Gauss function and the generalized hypergeometric function which involve Stieltjes transforms of functions with complex extensions having singularities in the complex plane. Transformation equations for the Gauss function are obtained from which known transformation equations are shown to follow. Also, building on the results for the Gauss function, transformation equations involving the generalized hypergeometric function $\,_3F_2$ are derived.

[89]  arXiv:2012.01949 [pdf, ps, other]
Title: Port-Hamiltonian formulations of poroelastic network models
Subjects: Dynamical Systems (math.DS); Optimization and Control (math.OC)

We investigate an energy-based formulation of the two-field poroelasticity model and the related multiple-network model as they appear in the geosciences or medical applications. We propose a port-Hamiltonian formulation of the system equations, which is beneficial for preserving important system properties after discretization or model-order reduction. For this, we include the commonly omitted second-order term and consider the corresponding first-order formulation. The port-Hamiltonian formulation of the quasi-static case is then obtained by taking the formal limit. Further, we interpret the poroelastic equations as an interconnection of a network of submodels with internal energies, adding a control-theoretic understanding of the poroelastic equations.

[90]  arXiv:2012.01951 [pdf, other]
Title: Multiple solutions for some strongly degenerate second order elliptic equations
Comments: Comments and suggestions are welcome
Subjects: Analysis of PDEs (math.AP)

We consider a boundary value problem in a bounded domain involving a degenerate operator of the form $$L(u)=-\textrm{div} (a(x)\nabla u)$$ and a suitable nonlinearity $f$. The function $a$ vanishes on smooth 1-codimensional submanifolds of $\Omega$ where it is not allowed to be $C^{2}$. By using weighted Sobolev spaces we are still able to find existence of solutions which vanish, in the trace sense, on the set where $a$ vanishes.

[91]  arXiv:2012.01958 [pdf, ps, other]
Title: On the arithmetic Cohen-Macaulayness of varieties parameterized by Togliatti systems
Comments: To appear in Annali di Matematica Pura ed Applicata
Subjects: Algebraic Geometry (math.AG)

Given any diagonal cyclic subgroup $\Lambda \subset GL(n+1,k)$ of order $d$, let $I_d\subset k[x_0,\ldots, x_n]$ be the ideal generated by all monomials $\{m_{1},\ldots, m_{r}\}$ of degree $d$ which are invariants of $\Lambda$. $I_d$ is a monomial Togliatti system, provided $r \leq \binom{d+n-1}{n-1}$, and in this case the projective toric variety $X_d$ parameterized by $(m_{1},\ldots, m_{r})$ is called a $GT$-variety with group $\Lambda$. We prove that all these $GT$-varieties are arithmetically Cohen-Macaulay and we give a combinatorial expression of their Hilbert functions. In the case $n=2$, we compute explicitly the Hilbert function, polynomial and series of $X_d$. We determine a minimal free resolution of its homogeneous ideal and we show that it is a binomial prime ideal generated by quadrics and cubics. We also provide the exact number of both types of generators. Finally, we pose the problem of determining whether a surface parameterized by a Togliatti system is aCM. We construct examples that are aCM and examples that are not.

[92]  arXiv:2012.01961 [pdf, other]
Title: Nonintrusive reduced order model for parametric solutions of inertia relief problems
Subjects: Numerical Analysis (math.NA)

The Inertia Relief (IR) technique is widely used by industry and produces equilibrated loads allowing to analyze unconstrained systems without resorting to the more expensive full dynamic analysis. The main goal of this work is to develop a computational framework for the solution of unconstrained parametric structural problems with IR and the Proper Generalized Decomposition (PGD) method. First, the IR method is formulated in a parametric setting for both material and geometric parameters. A reduced order model using the encapsulated PGD suite is then developed to solve the parametric IR problem, circumventing the so-called curse of dimensionality. With just one offline computation, the proposed PGD-IR scheme provides a computational vademecum that contains all the possible solutions for a pre-defined range of the parameters. The proposed approach is nonintrusive and it is therefore possible to be integrated with commercial FE packages. The applicability and potential of the developed technique is shown using a three dimensional test case and a more complex industrial test case. The first example is used to highlight the numerical properties of the scheme, whereas the second example demonstrates the potential in a more complex setting and it shows the possibility to integrate the proposed framework within a commercial FE package. In addition, the last example shows the possibility to use the generalized solution in a multi-objective optimization setting.

[93]  arXiv:2012.01965 [pdf, other]
Title: Sampling from Unknown Transition Densities of Diffusion processes
Subjects: Probability (math.PR)

In this paper, we introduce a new method of sampling from transition densities of diffusion processes including those unknown in closed forms by solving a partial differential equation satisfied by the quotient of transition densities. We demonstrate the performance of the developed method on processes with known densities and the obtained results are consistent with theoretical values. The method is applied to Wright-Fisher diffusions owing to their importance in population genetics in studying interaction networks inherent in genetic data. Diffusion processes with bounded drift and non degenerate diffusion are considered as reference processes.
$\bf {Key words}:$ Stochastic differential equation (SDE), Transition density, Fokker-Planck partial differential equation, Aronson's bound, Rejection sampling, Wright-Fisher diffusion.

[94]  arXiv:2012.01966 [pdf, ps, other]
Title: Deterministic particle approximation of aggregation-diffusion equations on unbounded domains
Comments: 31 pages
Subjects: Analysis of PDEs (math.AP)

We consider an aggregation-diffusion equation, which is the gradient flow in the Wasserstein space of a functional with competing attractive-repulsive interactions.
We prove that the fully deterministic particle approximations introduced in \cite{DiFrancesco-Rosini} starting from general bounded initial densities converge to bounded weak solutions of the PDE.
$L^\infty$-bounds for the approximating densities are obtained even in the case of short-range attractive kernels neither imposing hard constraints on the density functions nor nonlinear mobility conditions. Moreover, the convergence of the scheme is achieved in the whole space.

[95]  arXiv:2012.01969 [pdf, ps, other]
Title: A new generalization of the Genocchi numbers and its consequence on the Bernoulli polynomials
Authors: Bakir Farhi
Comments: 12 pages
Subjects: Number Theory (math.NT)

This paper presents a new generalization of the Genocchi numbers and the Genocchi theorem. As consequences, we obtain some important families of integer-valued polynomials those are closely related to the Bernoulli polynomials. Denoting by ${(B_n)}_{n \in \mathbb{N}}$ the sequence of the Bernoulli numbers and by ${(B_n(X))}_{n \in \mathbb{N}}$ the sequence of the Bernoulli polynomials, we especially obtain that for any natural number $n$, the reciprocal polynomial of the polynomial $\big(B_n(X) - B_n\big)$ is integer-valued.

[96]  arXiv:2012.01970 [pdf, ps, other]
Title: When are sequences of Boolean functions tame?
Comments: 12 pages
Subjects: Probability (math.PR)

In \cite{js2006}, Steif and Jonasson conjectured that no non-degenerate sequence of transitive Boolean functions $ (f_n)_{n \geq 1}$ with $ \lim_{n \to \infty} I(f_n)= \infty $ could be tame (with respect to some $ (p_n)_{n \geq 1} $). In a companion paper \cite{f}, the author showed that this conjecture in its full generality is false, by providing a counter-example for the case $ n^{-1} \ll p_n \ll n^{-\alpha} $ for some $ \alpha \in (0,1 ) $. In this paper we show that with slightly different assumptions, the conclusion of the conjecture holds when $ 0 \ll p_n \ll 1 $.

[97]  arXiv:2012.01984 [pdf, ps, other]
Title: Global solvability criteria for systems of two first-order pseudo linear ordinary differential equations
Authors: G. A. Grigorian
Subjects: Classical Analysis and ODEs (math.CA)

In this paper we establish two global solvability criteria for systems of two first-order pseudo linear ordinary differential equations. By examples we show the applicability of them to some well known second order non linear ordinary differential equations such as the van der Pol's equation the equation of a pendulum, the Duffng's equation, the Emden-Fowler's equations and so on.

[98]  arXiv:2012.01989 [pdf, other]
Title: Gaussian process approach within a data-driven POD framework for fluid dynamics engineering problems
Subjects: Numerical Analysis (math.NA)

This work describes the implementation of a data-driven approach for the reduction of the complexity of parametrical partial differential equations (PDEs) employing Proper Orthogonal Decomposition (POD) and Gaussian Process Regression (GPR). This approach is applied initially to a literature case, the simulation of the stokes problems, and in the following to a real-world industrial problem, inside a shape optimization pipeline for a naval engineering problem.

[99]  arXiv:2012.01992 [pdf, ps, other]
Title: Spectral properties of the $n$-Queens' Graphs
Comments: 25 pages
Subjects: Combinatorics (math.CO)

The $n$-Queens' graph, $\mathcal{Q}(n)$, is the graph associated to the $n \times n$ chessboard (a generalization of the classical $8 \times 8$ chessboard), with $n^2$ vertices, each one corresponding to a square of the chessboard. Two vertices of $\mathcal{Q}(n)$ are adjacent if and only if they are in the same row, in the same column or in the same diagonal of the chessboard. After a short overview on the main combinatorial properties of $\mathcal{Q}(n)$, its spectral properties are investigated. First, a lower bound on the least eigenvalue of an arbitrary graph is obtained using clique edge partitions and a sufficient condition for this lower bound be attained is deduced. For the particular case of $\mathcal{Q}(n)$, we prove that for every $n$, its least eigenvalue is not less than $-4$ and it is equal to $-4$ with multiplicity $(n-3)^2$, for every $n \ge 4$. Furthermore, $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$, with multiplicity at least $\frac{n-2}{2}$ when $n$ is even and at least $\frac{n+1}{2}$ when $n$ is odd. A conjecture about the integer eigenvalues of $\mathcal{Q}(n)$ is presented. We finish this article with an algorithm to determine an equitable partition of the $n$-Queens' graph, $\mathcal{Q}(n)$, for $n \ge 3$, concluding that such equitable partition has $\frac{(\lceil n/2\rceil+1)\lceil n/2\rceil}{2}$ cells.

[100]  arXiv:2012.01995 [pdf, other]
Title: Multicritical random partitions
Comments: 12 pages, 3 figures
Subjects: Combinatorics (math.CO); Mathematical Physics (math-ph); Probability (math.PR)

We study two families of probability measures on integer partitions, which are Schur measures with parameters tuned in such a way that the edge fluctuations are characterized by a critical exponent different from the generic $1/3$. We find that the first part asymptotically follows a "higher-order analogue" of the Tracy-Widom GUE distribution, previously encountered by Le Doussal, Majumdar and Schehr in quantum statistical physics. We also compute limit shapes, and discuss an exact mapping between one of our families and the multicritical unitary matrix models introduced by Periwal and Shevitz.

[101]  arXiv:2012.02002 [pdf, other]
Title: Lipschitz stability for Backward Heat Equation with application to Fluorescence Microscopy
Subjects: Analysis of PDEs (math.AP)

In this work, we study a Lipschitz stability result in the reconstruction of a compactly supported initial temperature for the heat equation in $\mathbb{R}^n$, from measurements along a positive time interval and over an open set containing its support. We take advantage of the explicit dependency of solutions to the heat equation with respect to the initial condition. By means of Carleman estimates we obtain an analogous result for the case when the observation is made along an exterior region $\omega\times(\tau,T)$, such that the unobserved part $\mathbb{R}^n\backslash\omega$ is bounded. In the latter setting, the method of Carleman estimates gives a general conditional logarithmic stability result when initial temperatures belong to a certain admissible set, and without the assumption of compactness of support. Furthermore, we apply these results to deduce a similar result for the heat equation in $\mathbb{R}$ for measurements available on a curve contained in $\mathbb{R}\times [0,\infty)$, from where a stability estimate for an inverse problem arising in 2D Fluorescence Microscopy is deduced as well. In order to further understand this Lipschitz stability, in particular, the magnitude of its stability constant with respect to the noise level of the measurements, a numerical reconstruction is presented based on the construction of a linear system for the inverse problem in Fluorescence Microscopy. We investigate the stability constant with the condition number of the corresponding matrix.

[102]  arXiv:2012.02004 [pdf, ps, other]
Title: Rokhlin's signature theorems
Comments: 3 pages
Subjects: History and Overview (math.HO); Geometric Topology (math.GT)

This note is written for a book dedicated to outstanding St-Petersburg mathematicians and timed to the ICM-2022 in St-Petersburg. In accordance with the plan of ICM-organizers, we try to tell about one of the most prominent Rokhlin's achievements in an accessible form and respecting the allowed volume.

[103]  arXiv:2012.02016 [pdf, ps, other]
Title: Does a typical $\ell_p\,$-$\,$space contraction have a non-trivial invariant subspace?
Comments: 50 pages
Subjects: Functional Analysis (math.FA)

Given a Polish topology $\tau$ on ${{\mathcal{B}}_{1}(X)}$, the set of all contraction operators on $X=\ell_p$, $1\le p<\infty$ or $X=c_0$, we prove several results related to the following question: does a typical $T\in {{\mathcal{B}}_{1}(X)}$ in the Baire Category sense has a non-trivial invariant subspace? In other words, is there a dense $G_\delta$ set $\mathcal G\subseteq ({{\mathcal{B}}_{1}(X)},\tau)$ such that every $T\in\mathcal G$ has a non-trivial invariant subspace? We mostly focus on the Strong Operator Topology and the Strong$^*$ Operator Topology.

[104]  arXiv:2012.02018 [pdf, ps, other]
Title: Continuity of singular Kähler-Einstein potentials
Comments: 20 pages
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)

In this note, we investigate some regularity aspects for solutions of degenerate complex Monge-Amp\`ere equations (DCMAE) on singular spaces. First, we study the Dirichlet problem for DCMAE on singular Stein spaces, showing a general continuity result. A consequence of our results is that K\"ahler-Einstein potentials are continuous at isolated singularities. Next, we establish the global continuity of solutions to DCMAE when the reference class belongs to the real N\'eron-Severi group. This yields in particular the continuity of K\"ahler-Einstein potentials on any irreducible Calabi-Yau variety. We show that the corresponding associated singular K\"ahler-Einstein metrics are strictly positive when the variety is moreover smoothable.

[105]  arXiv:2012.02042 [pdf, ps, other]
Title: On the symmetric version of Seaki Theorem and flat densities
Comments: 8 pages.3 references. A scientific comments, questions or remarks are welcome
Subjects: Dynamical Systems (math.DS)

It is shown that for any $\alpha \in ]\frac12,1[$ there exists a symmetric probability measure $\sigma$ on the torus such that the Hausdorff dimension of the support of $\sigma$ is $\alpha$ and $\sigma*\sigma$ is absolutely continuous with flat continuous Radon-Nikodym derivative. Namely, we obtain a symmetric version of Seaki Theorem but the flat Radon-Nikodym derivative of $\sigma*\sigma$ can not be a Lipschitz function.

[106]  arXiv:2012.02051 [pdf, other]
Title: Reinforcement Learning in Decentralized Stochastic Control Systems with Partial History Sharing
Comments: Proceedings of American Control Conference, 2015
Subjects: Optimization and Control (math.OC)

In this paper, we are interested in systems with multiple agents that wish to collaborate in order to accomplish a common task while a) agents have different information (decentralized information) and b) agents do not know the model of the system completely i.e., they may know the model partially or may not know it at all. The agents must learn the optimal strategies by interacting with their environment i.e., by decentralized Reinforcement Learning (RL). The presence of multiple agents with different information makes decentralized reinforcement learning conceptually more difficult than centralized reinforcement learning. In this paper, we develop a decentralized reinforcement learning algorithm that learns $\epsilon$-team-optimal solution for partial history sharing information structure, which encompasses a large class of decentralized control systems including delayed sharing, control sharing, mean field sharing, etc. Our approach consists of two main steps. In the first step, we convert the decentralized control system to an equivalent centralized POMDP (Partially Observable Markov Decision Process) using an existing approach called common information approach. However, the resultant POMDP requires the complete knowledge of system model. To circumvent this requirement, in the second step, we introduce a new concept called "Incrementally Expanding Representation" using which we construct a finite-state RL algorithm whose approximation error converges to zero exponentially fast. We illustrate the proposed approach and verify it numerically by obtaining a decentralized Q-learning algorithm for two-user Multi Access Broadcast Channel (MABC) which is a benchmark example for decentralized control systems.

[107]  arXiv:2012.02052 [pdf, other]
Title: Team-Optimal Solution of Finite Number of Mean-Field Coupled LQG Subsystems
Comments: Proceedings of IEEE Conference on Decision and Control, 2015
Subjects: Optimization and Control (math.OC)

A decentralized control system with linear dynamics, quadratic cost, and Gaussian disturbances is considered. The system consists of a finite number of subsystems whose dynamics and per-step cost function are coupled through their mean-field (empirical average). The system has mean-field sharing information structure, i.e., each controller observes the state of its local subsystem (either perfectly or with noise) and the mean-field. It is shown that the optimal control law is unique, linear, and identical across all subsystems. Moreover, the optimal gains are computed by solving two decoupled Riccati equations in the full observation model and by solving an additional filter Riccati equation in the noisy observation model. These Riccati equations do not depend on the number of subsystems. It is also shown that the optimal decentralized performance is the same as the optimal centralized performance. An example, motivated by smart grids, is presented to illustrate the result.

[108]  arXiv:2012.02057 [pdf, ps, other]
Title: On tripartite common graphs
Subjects: Combinatorics (math.CO)

A graph H is common if the number of monochromatic copies of H in a 2-edge-colouring of the complete graph is minimised by the random colouring. Burr and Rosta, extending a famous conjecture by Erdos, conjectured that every graph is common. The conjectures by Erdos and by Burr and Rosta were disproved by Thomason and by Sidorenko, respectively, in the late 1980s. Collecting new examples for common graphs had not seen much progress since then, although very recently, a few more graphs are verified to be common by the flag algebra method or the recent progress on Sidorenko's conjecture.
Our contribution here is to give a new class of tripartite common graphs. The first example class is so-called triangle-trees, which generalises two theorems by Sidorenko and answers a question by Jagger, \v{S}\v{t}ov\'i\v{c}ek, and Thomason from 1996. We also prove that, somewhat surprisingly, given any tree T, there exists a triangle-tree such that the graph obtained by adding T as a pendant tree is still common. Furthermore, we show that adding arbitrarily many apex vertices to any connected bipartite graph on at most five vertices give a common graph.

[109]  arXiv:2012.02058 [pdf, ps, other]
Title: A note on p-adic Simpson correspondence
Comments: 16 pages
Subjects: Algebraic Geometry (math.AG)

We show a comparison theorem for Faltings' Simpson correspondence and Scholze's Riemann-Hilbert correspondence.

[110]  arXiv:2012.02060 [pdf, ps, other]
Title: On the multisimplicial cup product
Comments: 17 pages
Subjects: Algebraic Topology (math.AT)

We define a cup product on the cochain complex of a multisimplicial set, that is compatible with the classical cup product on the cochain complex of the diagonal simplicial set via the Eilenberg-Zilber map. This helps to speed up cochain level computations for multisimplicial complexes.

[111]  arXiv:2012.02062 [pdf, other]
Title: Reallocating and Sharing Health Equipments in Sanitary Emergency Situations: The COVID-19 Case in Spain
Comments: 28 pages, 14 Figures, list of 18 resources
Subjects: Optimization and Control (math.OC)

In this paper we provide a mathematical programming based decision tool to optimally reallocate and share equipments between different units in emergency situations under lack of resources. The approach is motivated by the COVID-19 pandemic in which many Heath National Systems were not able to satisfy the demand of ventilators, sanitary individual protection equipments or different human resources. Our tool is based in two main principles: (1) Part of the stock of equipments at a unit that is not needed (in near future) could be shared to other units; and (2) extra stock to be shared among the units in a region can be efficiently distributed taking into account the demand of the units. The decisions are taken with the aim of minimizing certain measures of the non-covered demand in a region where a given network structured set of units is given. The mathematical programming models that we provide are stochastic and multiperiod and we provide different robust objective functions. Since the proposed models are computationally hard to solve, we provide a divide-et-conquer math-heuristic approach. We report the results of applying our approach to the data of the COVID-19 case in different regions of Spain, highlighting some interesting conclusions of our analysis, such as the great increase of treated patients if the proposed redistribution tool is applied.

[112]  arXiv:2012.02063 [pdf, ps, other]
Title: A geometric approach to Wigner-type theorems
Subjects: Mathematical Physics (math-ph)

Let $H$ be a complex Hilbert space and let ${\mathcal P}(H)$ be the associated projective space (the set of rank-one projections). Suppose that $\dim H\ge 3$. We prove the following Wigner-type theorem: if $H$ is finite-dimensional, then every orthogonality preserving transformation of ${\mathcal P}(H)$ is induced by a unitary or anti-unitary operator. This statement will be obtained as a consequence of the following result: every orthogonality preserving lineation of ${\mathcal P}(H)$ to itself is induced by a linear or conjugate-linear isometry ($H$ is not assumed to be finite-dimensional). As an application, we describe (not necessarily injective) transformations of Grassmannians preserving some types of principal angles.

[113]  arXiv:2012.02065 [pdf, ps, other]
Title: Uniqueness of certain cylindrical tangent cones
Comments: 60 pages
Subjects: Differential Geometry (math.DG)

We show that the cylindrical tangent cone $C\times \mathbf{R}$ for an area-minimizing hypersurface is unique, where $C$ is the Simons cone $C_S= C(S^3\times S^3)$. Previously Simon proved a uniqueness result for cylindrical tangent cones that applies to a large class of cones $C$, however not to the Simons cone. The main new difficulty is that the cylindrical cone $C_S\times \mathbf{R}$ is not integrable, and we need to develop a suitable replacement for Simon's infinite dimensional Lojasiewicz inequality in the setting of tangent cones with non-isolated singularities.

[114]  arXiv:2012.02075 [pdf, ps, other]
Title: Learning reduced-order models of quadratic control systems from input-output data
Comments: 8 pages, 6 figures
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)

In this paper, we address an extension of the Loewner framework for learning quadratic control systems from input-output data. The proposed method first constructs a reduced-order linear model from measurements of the classical transfer function. Then, this surrogate model is enhanced by incorporating a term that depends quadratically on the state. More precisely, we employ an iterative procedure based on least squares fitting that takes into account measured or computed data. Here, data represent transfer function values inferred from higher harmonics of the observed output, when the control input is purely oscillatory.

[115]  arXiv:2012.02078 [pdf, ps, other]
Title: Extremal problems for GCDs
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

We prove that if $A \subseteq [X, 2X]$ and $B \subseteq [Y, 2Y]$ are sets of integers such that $\gcd(a,b) \geq D$ for at least $\delta |A||B|$ pairs $(a,b) \in A \times B$ then $|A||B| \ll_{\varepsilon} \delta^{-2 - \varepsilon} XY/D^2$. This is a new result even when $\delta = 1$. The proof uses ideas of Koukoulopoulos and Maynard and some additional combinatorial arguments.

[116]  arXiv:2012.02081 [pdf, other]
Title: Compressive Privatization: Sparse Distribution Estimation under Locally Differentially Privacy
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Machine Learning (stat.ML)

We consider the problem of discrete distribution estimation under locally differential privacy. Distribution estimation is one of the most fundamental estimation problems, which is widely studied in both non-private and private settings. In the local model, private mechanisms with provably optimal sample complexity are known. However, they are optimal only in the worst-case sense; their sample complexity is proportional to the size of the entire universe, which could be huge in practice (e.g., all IP addresses). We show that as long as the target distribution is sparse or approximately sparse (e.g., highly skewed), the number of samples needed could be significantly reduced. The sample complexity of our new mechanism is characterized by the sparsity of the target distribution and only weakly depends on the size the universe. Our mechanism does privatization and dimensionality reduction simultaneously, and the sample complexity will only depend on the reduced dimensionality. The original distribution is then recovered using tools from compressive sensing. To complement our theoretical results, we conduct experimental studies, the results of which clearly demonstrate the advantages of our method and confirm our theoretical findings.

[117]  arXiv:2012.02082 [pdf, other]
Title: Submatrices with non-uniformly selected random supports and insights into sparse approximation
Subjects: Probability (math.PR)

In this paper we derive tail bounds on the norms of random submatrices with non-uniformly distributed supports. We apply these results to sparse approximation and conduct an analysis of the average case performance of thresholding, Orthogonal Matching Pursuit and Basis Pursuit. As an application of these results we characterise sensing dictionaries to improve average performance in the non-uniform case and test their performance numerically.

[118]  arXiv:2012.02084 [pdf, ps, other]
Title: Global existence of solutions and smoothing effects for classes of reaction-diffusion equations on manifolds
Comments: 29 pages. arXiv admin note: text overlap with arXiv:2006.10354
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)

We consider the porous medium equation with a power-like reaction term, posed on Riemannian manifolds. Under certain assumptions on $p$ and $m$ in \eqref{problema}, and for small enough nonnegative initial data, we prove existence of global in time solutions, provided that the Sobolev inequality holds on the manifold. Furthermore, when both the Sobolev and the Poincar\'e inequality hold, similar results hold under weaker assumptions on the forcing term. By the same functional analytic methods, we investigate global existence for solutions to the porous medium equation with source term and variable density in ${\mathbb R}^n$.

[119]  arXiv:2012.02088 [pdf, ps, other]
Title: Root subgroups on affine spherical varieties
Comments: v1: 17 pages, preliminary version
Subjects: Algebraic Geometry (math.AG)

Given a connected reductive algebraic group $G$ and a Borel subgroup $B \subset G$, we study $B$-normalized one-parameter additive group actions on affine spherical $G$-varieties. We establish basic properties of such actions and their weights and discuss many examples exhibiting various features. When $G$ is of semisimple rank $1$, we obtain a complete combinatorial description of such actions on affine spherical $G$-varieties having an open orbit of a maximal torus $T \subset B$. Finally, for every affine horospherical $G$-variety $X$ we show that the open $G$-orbit in $X$ can be connected with every $G$-stable prime divisor via a suitable choice of a $B$-normalized one-parameter additive group action.

[120]  arXiv:2012.02126 [pdf, ps, other]
Title: Conservative stochastic PDE and fluctuations of the symmetric simple exclusion process
Subjects: Probability (math.PR); Analysis of PDEs (math.AP)

In this paper, we provide a continuum model for the fluctuations of the symmetric simple exclusion process about its hydrodynamic limit. The model is based on an approximating sequence of stochastic PDEs with nonlinear, conservative noise. In the small-noise limit, we show that the fluctuations of the solutions are to first-order the same as the fluctuations of the particle system. Furthermore, the SPDEs correctly simulate the rare events in the particle process. We prove that the solutions satisfy a zero-noise large deviations principle with rate function equal to the rate function describing the deviations of the symmetric simple exclusion process from its hydrodynamic limit.

[121]  arXiv:2012.02132 [pdf, other]
Title: Spherical type surfaces via support function
Comments: 15 pages, 16 figueres
Subjects: Differential Geometry (math.DG)

In this work we define the surfaces spherical type via support function (in short, SS-surfaces). We present a Weierstrass type representation for SS-surfaces with prescribed Gauss map which depends on two holomorphic functions. Also, we use this representation to classify the surfaces of rotation. Moreover, we show that every compact and connected SS-surface is the sphere and we give explicit examples of SS-surfaces.

[122]  arXiv:2012.02137 [pdf, other]
Title: Derived equivalences of stacky curves
Comments: 25 pages
Subjects: Algebraic Geometry (math.AG)

We study derived equivalences of certain stacks over genus $1$ curves, which arise as connected components of the Picard stack of a genus $1$ curve. To this end, we develop a theory of integral transforms for these algebraic stacks. We use this theory to answer the question of when two stacky genus $1$ curves are derived equivalent. We use integral transforms and intersection theory on stacks to answer the following questions: if $C'=Pic^d(C)$, is $C=Pic^f(C')$ for some integer $f$? If $C'=Pic^d(C)$ and $C''=Pic^f(C')$, then is $C''=Pic^g(C)$ for some integer $g$?

[123]  arXiv:2012.02140 [pdf, ps, other]
Title: Generalized Quasi Yamabe Gradient Solitons and Applications
Subjects: Differential Geometry (math.DG)

The purpose of this article is to study generalized quasi Yamabe gradient solitons on warped product manifolds. First, we obtain some necessary and sufficient conditions for the existence of generalized quasi Yamabe gradient solitons equipped with the warped product structure. Then we study three important applications in the Lorentzian and the neutral settings for the particular class, called as gradient Yamabe soliton: We proved the existence of the non-trivial gradient Yamabe soliton on generalized Robertson-Walker spacetimes, standard static spacetimes and Walker manifolds.

[124]  arXiv:2012.02143 [pdf, ps, other]
Title: The Discontinuity Problem
Authors: Vasco Brattka
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

Matthias Schr\"oder has asked the question whether there is a weakest discontinuous problem in the continuous version of the Weihrauch lattice. Such a problem can be considered as the weakest unsolvable problem. We introduce the discontinuity problem, and we show that it is reducible exactly to the effectively discontinuous problems, defined in a suitable way. However, in which sense this answers Schr\"oder's question sensitively depends on the axiomatic framework that is chosen, and it is a positive answer if we work in Zermelo-Fraenkel set theory with dependent choice and the axiom of determinacy AD. On the other hand, using the full axiom of choice, one can construct problems which are discontinuous, but not effectively so. Hence, the exact situation at the bottom of the Weihrauch lattice sensitively depends on the axiomatic setting that we choose. We prove our result using a variant of Wadge games for mathematical problems. While the existence of a winning strategy for player II characterizes continuity of the problem (as already shown by Nobrega and Pauly), the existence of a winning strategy for player I characterizes effective discontinuity of the problem. By Weihrauch determinacy we understand the condition that every problem is either continuous or effectively discontinuous. This notion of determinacy is a fairly strong notion, as it is not only implied by the axiom of determinacy AD, but it also implies Wadge determinacy. We close with a brief discussion of generalized notions of productivity.

[125]  arXiv:2012.02150 [pdf, ps, other]
Title: A constructive proof of the convergence of Kalantari's bound on polynomial zeros
Authors: Matt Hohertz
Subjects: Complex Variables (math.CV); Numerical Analysis (math.NA)

In his 2006 paper, Jin proves that Kalantari's bounds on polynomial zeros, indexed by $m \leq 2$ and called $L_m$ and $U_m$ respectively, become sharp as $m\rightarrow\infty$. That is, given a degree $n$ polynomial $p(z)$ not vanishing at the origin and an error tolerance $\epsilon > 0$, Jin proves that there exists an $m$ such that $\frac{L_m}{\rho_{min}} > 1-\epsilon$, where $\rho_{min} := \min_{\rho:p(\rho) = 0} \left|\rho\right|$. In this paper we derive a formula that yields such an $m$, thereby constructively proving Jin's theorem. In fact, we prove the stronger theorem that this convergence is uniform in a sense, its rate depending only on $n$ and a few other parameters. We also give experimental results that suggest an optimal m of (asymptotically) $O\left(\frac{1}{\epsilon^d}\right)$ for some $d \ll 2$. A proof of these results would show that Jin's method runs in $O\left(\frac{n}{\epsilon^d}\right)$ time, making it efficient for isolating polynomial zeros of high degree.

[126]  arXiv:2012.02156 [pdf, ps, other]
Title: Carleman estimates and controllability results for fully-discrete approximations of 1-D parabolic equations
Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Optimization and Control (math.OC)

In this paper, we prove a Carleman estimate for fully-discrete approximations of parabolic operators in which the discrete parameters $h$ and $\triangle t$ are connected to the large Carleman parameter. We use this estimate to obtain relaxed observability inequalities which yield, by duality, controllability results for fully-discrete linear and semilinear parabolic equations.

[127]  arXiv:2012.02158 [pdf, ps, other]
Title: Real Submanifolds in $\mathcal{BSD}$-Models
Authors: Valentin Burcea
Comments: First version. More or less well-written. 9 pages
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)

There are obtained few non-equidimensional analogues of the well-known Theorem of Moser.

[128]  arXiv:2012.02159 [pdf, ps, other]
Title: Extremal density for sparse minors and subdivisions
Comments: 33 pages, 6 figures
Subjects: Combinatorics (math.CO)

We prove an asymptotically tight bound on the extremal density guaranteeing subdivisions of bounded-degree bipartite graphs with a mild separability condition. As corollaries, we answer several questions of Reed and Wood on embedding sparse minors. Among others,
$\bullet$ $(1+o(1))t^2$ average degree is sufficient to force the $t\times t$ grid as a topological minor;
$\bullet$ $(3/2+o(1))t$ average degree forces every $t$-vertex planar graph as a minor, and the constant $3/2$ is optimal, furthermore, surprisingly, the value is the same for $t$-vertex graphs embeddable on any fixed surface;
$\bullet$ a universal bound of $(2+o(1))t$ on average degree forcing every $t$-vertex graph in any nontrivial minor-closed family as a minor, and the constant 2 is best possible by considering graphs with given treewidth.

[129]  arXiv:2012.02167 [pdf, ps, other]
Title: On Diers theory of Spectrum II Geometries and dualities
Authors: Axel Osmond
Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG)

This second part comes to the construction of the spectrum associated to a situation of multi-adjunction. Exploiting a geometric understanding of its multi-versal property, the spectrum of an object is obtained as the spaces of local unit equipped with a topology provided by orthogonality aspects. After recalling Diers original construction, this paper introduces new material. First we explain how the situation of multi-adjunction can be corrected in a situation of adjunction between categories of modeled spaces as in the topos-theoretic approach. Then we come to the 2-functorial aspects of the process relatively to a 2-category of Diers contexts. We propose an axiomatization of the notion of spectral duality through morphisms between fibrations over a category of spatial objects, and show how such situations get back right multi-adjoint functors.

[130]  arXiv:2012.02173 [pdf, ps, other]
Title: CLT with explicit variance for products of random singular matrices related to Hill's equation
Comments: 20 pages
Subjects: Probability (math.PR)

We prove a central limit theorem for the product of a class of random singular matrices related to a random Hill's equation studied by Adams--Bloch--Lagarias. The theorem features an explicit formula for the variance in terms of the distribution of the matrix entries and this allows for exact calculation in some examples. Our proof relies on a novel connection to the theory of $m$-dependent sequences which also leads to an interesting and precise nondegeneracy condition.

[131]  arXiv:2012.02183 [pdf, ps, other]
Title: On extended 1-perfect bitrades
Authors: Evgeny Bespalov, Denis Krotov (Sobolev Institute of Mathematics, Novosibirsk, Russia)
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

We prove the equivalence of several definitions of extended $1$-perfect bitrades in the Hamming graph $H(n,q)$ and prove the nonexistence of such bitrades for odd $n$.

[132]  arXiv:2012.02187 [pdf, ps, other]
Title: Spectral aspect subconvex bounds for ${\rm U}_{n+1} \times {\rm U}_{n}$
Authors: Paul D. Nelson
Comments: 100 pages, 4 figures
Subjects: Number Theory (math.NT); Analysis of PDEs (math.AP); Representation Theory (math.RT)

Let $(\pi,\sigma)$ traverse a sequence of pairs of cuspidal automorphic representations of an anistropic unitary Gan--Gross--Prasad pair $({\rm U}_{n+1},{\rm U}_n)$ over a number field. We assume that at some distinguished archimedean place, the pair stays away from the conductor dropping locus, while at every other place, the pair has bounded ramification and satisfies certain local conditions (in particular, temperedness). We prove that the subconvex bound \[ L(\pi \times \sigma,1/2) \ll C(\pi \times \sigma)^{1/4 - \delta} \] holds for any fixed \[ \delta < \frac{1}{16 n^5 + 56 n^4 + 84 n^3 + 72 n^2 + 28 n}. \] Among other ingredients, the proof employs a refinement of the microlocal calculus for Lie group representations developed with A. Venkatesh and an observation of S. Marshall concerning the geometric side of the relative trace formula.

Cross-lists for Fri, 4 Dec 20

[133]  arXiv:2012.01420 (cross-list from cs.CC) [pdf, other]
Title: Constructing Segmented Differentiable Quadratics to Determine Algorithmic Run Times and Model Non-Polynomial Functions
Authors: Ananth Goyal
Comments: Regeneron Science Talent Search (STS) Submission
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Functional Analysis (math.FA)

We propose an approach to determine the continual progression of algorithmic efficiency, as an alternative to standard calculations of time complexity, likely, but not exclusively, when dealing with data structures with unknown maximum indexes and with algorithms that are dependent on multiple variables apart from just input size. The proposed method can effectively determine the run time behavior $F$ at any given index $x$ , as well as $\frac{\partial F}{\partial x}$, as a function of only one or multiple arguments, by combining $\frac{n}{2}$ quadratic segments, based upon the principles of Lagrangian Polynomials and their respective secant lines. Although the approach used is designed for analyzing the efficacy of computational algorithms, the proposed method can be used within the pure mathematical field as a novel way to construct non-polynomial functions, such as $\log_2{n}$ or $\frac{n+1}{n-2}$, as a series of segmented differentiable quadratics to model functional behavior and reoccurring natural patterns. After testing, our method had an average accuracy of above of 99\% with regard to functional resemblance.

[134]  arXiv:2012.01447 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Relevance in the Renormalization Group and in Information Theory
Subjects: Statistical Mechanics (cond-mat.stat-mech); Disordered Systems and Neural Networks (cond-mat.dis-nn); Information Theory (cs.IT)

The analysis of complex physical systems hinges on the ability to extract the relevant degrees of freedom from among the many others. Though much hope is placed in machine learning, it also brings challenges, chief of which is interpretability. It is often unclear what relation, if any, the architecture- and training-dependent learned "relevant" features bear to standard objects of physical theory. Here we report on theoretical results which may help to systematically address this issue: we establish equivalence between the information-theoretic notion of relevance defined in the Information Bottleneck (IB) formalism of compression theory, and the field-theoretic relevance of the Renormalization Group. We show analytically that for statistical physical systems described by a field theory the "relevant" degrees of freedom found using IB compression indeed correspond to operators with the lowest scaling dimensions. We confirm our field theoretic predictions numerically. We study dependence of the IB solutions on the physical symmetries of the data. Our findings provide a dictionary connecting two distinct theoretical toolboxes, and an example of constructively incorporating physical interpretability in applications of deep learning in physics.

[135]  arXiv:2012.01453 (cross-list from quant-ph) [pdf, other]
Title: Constructing quantum codes from any classical code and their embedding in ground space of local Hamiltonians
Comments: 29 pages + references ; 7 figures
Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)

We introduce a framework for constructing a quantum error correcting code from {\it any} classical error correcting code. This includes CSS codes and goes beyond the stabilizer formalism to allow quantum codes to be constructed from classical codes that are not necessarily linear or self-orthogonal (Fig. 1). We give an algorithm that explicitly constructs quantum codes with linear distance and constant rate from classical codes with a linear distance and rate. As illustrations for small size codes, we obtain Steane's $7-$qubit code uniquely from Hamming's [7,4,3] code, and obtain other error detecting quantum codes from other explicit classical codes of length 4 and 6. Motivated by quantum LDPC codes and the use of physics to protect quantum information, we introduce a new 2-local frustration free quantum spin chain Hamiltonian whose ground space we analytically characterize completely. By mapping classical codewords to basis states of the ground space, we utilize our framework to demonstrate that the ground space contains explicit quantum codes with linear distance. This side-steps the Bravyi-Terhal no-go theorem because our work allows for more general quantum codes beyond the stabilizer and/or linear codes. We hesitate to call this an example of {\it subspace} quantum LDPC code with linear distance.

[136]  arXiv:2012.01474 (cross-list from cs.LG) [pdf, ps, other]
Title: Second-Order Guarantees in Federated Learning
Subjects: Machine Learning (cs.LG); Multiagent Systems (cs.MA); Signal Processing (eess.SP); Optimization and Control (math.OC); Machine Learning (stat.ML)

Federated learning is a useful framework for centralized learning from distributed data under practical considerations of heterogeneity, asynchrony, and privacy. Federated architectures are frequently deployed in deep learning settings, which generally give rise to non-convex optimization problems. Nevertheless, most existing analysis are either limited to convex loss functions, or only establish first-order stationarity, despite the fact that saddle-points, which are first-order stationary, are known to pose bottlenecks in deep learning. We draw on recent results on the second-order optimality of stochastic gradient algorithms in centralized and decentralized settings, and establish second-order guarantees for a class of federated learning algorithms.

[137]  arXiv:2012.01545 (cross-list from cs.LG) [pdf, other]
Title: Machine learning prediction of critical transition and system collapse
Comments: 5 pages, 3 figures
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS); Data Analysis, Statistics and Probability (physics.data-an)

To predict a critical transition due to parameter drift without relying on model is an outstanding problem in nonlinear dynamics and applied fields. A closely related problem is to predict whether the system is already in or if the system will be in a transient state preceding its collapse. We develop a model free, machine learning based solution to both problems by exploiting reservoir computing to incorporate a parameter input channel. We demonstrate that, when the machine is trained in the normal functioning regime with a chaotic attractor (i.e., before the critical transition), the transition point can be predicted accurately. Remarkably, for a parameter drift through the critical point, the machine with the input parameter channel is able to predict not only that the system will be in a transient state, but also the average transient time before the final collapse.

[138]  arXiv:2012.01584 (cross-list from eess.SP) [pdf, other]
Title: Millimeter-Wave Massive MIMO Testbed with Hybrid Beamforming
Comments: 54th Asilomar Conference on Signals, Systems, and Computers, Nov. 2020
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

Massive multiple-input multiple-out (MIMO) technology is vital in millimeter-wave (mmWave) bands to obtain large array gains. However, there are practical challenges, such as high hardware cost and power consumption in such systems. A promising solution to these problems is to adopt a hybrid beamforming architecture. This architecture has a much lower number of transceiver (TRx) chains than the total antenna number, resulting in cost- and energy-efficient systems. In this paper, we present a real-time mmWave (28 GHz) massive MIMO testbed with hybrid beamforming. This testbed has a 64-antenna/16-TRx unit for beam-selection, which can be expanded to larger array sizes in a modular way. For testing everything from baseband processing algorithms to scheduling and beam-selection in real propagation environments, we extend the capability of an existing 100-antenna/100-TRx massive MIMO testbed (below 6 GHz), built upon software-defined radio technology, to a flexible mmWave massive MIMO system.

[139]  arXiv:2012.01613 (cross-list from physics.ao-ph) [pdf, other]
Title: Mitigating climate tipping points under various emission reduction and carbon capture scenarios
Subjects: Atmospheric and Oceanic Physics (physics.ao-ph); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)

We study the mitigation of climate tipping point transitions using a Budyko-Sellers-type energy balance model. The evolution of the global mean surface temperature is coupled with the \co concentration through the green house effect. We model the \co concentration with a stochastic delay differential equation (SDDE), accounting for various carbon emission and capture scenarios. The resulting coupled system of SDDEs exhibits a tipping point phenomena: if \co concentration exceeds a critical threshold (around $478\,$ppm), the temperature experiences an abrupt increase of about six degrees Celsius. We show that the \co concentration exhibits a transient growth which may cause a climate tipping point, even if the concentration decays asymptotically. We derive a rigorous upper bound for the \co evolution which quantifies its transient and asymptotic growths, and provides sufficient conditions for evading the climate tipping point. Combing this upper bound with Monte Carlo simulations of the stochastic climate model, we investigate the emission reduction and carbon capture scenarios that would avert the tipping point. In particular, we find that the emission rate must decrease to one-third of its current level within 65 years to avoid the climate tipping point. Furthermore, this emission reduction must start within 10 years and continue linearly for another 50 years. Delaying the emissions reduction by more than 10 years will lead to a transient growth of the \co concentration past its critical threshold, which will consequently instigate a tipping point climate transition.

[140]  arXiv:2012.01698 (cross-list from cs.LG) [pdf, other]
Title: Neural Network Approximations of Compositional Functions With Applications to Dynamical Systems
Authors: Wei Kang, Qi Gong
Comments: 40 pages, 18 figures
Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)

As demonstrated in many areas of real-life applications, neural networks have the capability of dealing with high dimensional data. In the fields of optimal control and dynamical systems, the same capability was studied and verified in many published results in recent years. Towards the goal of revealing the underlying reason why neural networks are capable of solving some high dimensional problems, we develop an algebraic framework and an approximation theory for compositional functions and their neural network approximations. The theoretical foundation is developed in a way so that it supports the error analysis for not only functions as input-output relations, but also numerical algorithms. This capability is critical because it enables the analysis of approximation errors for problems for which analytic solutions are not available, such as differential equations and optimal control. We identify a set of key features of compositional functions and the relationship between the features and the complexity of neural networks. In addition to function approximations, we prove several formulae of error upper bounds for neural networks that approximate the solutions to differential equations, optimization, and optimal control.

[141]  arXiv:2012.01752 (cross-list from cs.DC) [pdf, other]
Title: Distributed algorithms for fractional coloring
Comments: 12 pages, 2 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

In this paper we study fractional coloring from the angle of distributed computing. Fractional coloring is the linear relaxation of the classical notion of coloring, and has many applications, in particular in scheduling. It is known that for every real $\alpha>1$ and integer $\Delta$, a fractional coloring of total weight at most $\alpha(\Delta+1)$ can be obtained deterministically in a single round in graphs of maximum degree $\Delta$, in the LOCAL model of computation. However, a major issue of this result is that the output of each vertex has unbounded size. Here we prove that even if we impose the more realistic assumption that the output of each vertex has constant size, we can find fractional colourings with a weight arbitrarily close to known tight bounds for the fractional chromatic number in several cases of interest. Moreover, we improve on classical bounds on the chromatic number by considering the fractional chromatic number instead, without significantly increasing the output size and the round complexity of the existing algorithms.

[142]  arXiv:2012.01758 (cross-list from stat.ME) [pdf, other]
Title: Non-parametric Quantile Regression via the K-NN Fused Lasso
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)

Quantile regression is a statistical method for estimating conditional quantiles of a response variable. In addition, for mean estimation, it is well known that quantile regression is more robust to outliers than $l_2$-based methods. By using the fused lasso penalty over a $K$-nearest neighbors graph, we propose an adaptive quantile estimator in a non-parametric setup. We show that the estimator attains optimal rate of $n^{-1/d}$ up to a logarithmic factor, under mild assumptions on the data generation mechanism of the $d$-dimensional data. We develop algorithms to compute the estimator and discuss methodology for model selection. Numerical experiments on simulated and real data demonstrate clear advantages of the proposed estimator over state of the art methods.

[143]  arXiv:2012.01827 (cross-list from physics.flu-dyn) [pdf, ps, other]
Title: Port-Hamiltonian Modeling of Ideal Fluid Flow: Part II. Compressible and Incompressible Flow
Comments: This is a prevprint submitted to the journal of Geometry and Physics. Please DO NOT CITE this version, but only the published manuscript
Subjects: Fluid Dynamics (physics.flu-dyn); Mathematical Physics (math-ph); Differential Geometry (math.DG)

Part I of this paper presented a systematic derivation of the Stokes Dirac structure underlying the port-Hamiltonian model of ideal fluid flow on Riemannian manifolds. Starting from the group of diffeomorphisms as a configuration space for the fluid, the Stokes Dirac structure is derived by Poisson reduction and then augmented by boundary ports and distributed ports. The additional boundary ports have been shown to appear naturally as surface terms in the pairings of dual maps, always neglected in standard Hamiltonian theory. The port-Hamiltonian model presented in Part I corresponded only to the kinetic energy of the fluid and how its energy variables evolve such that the energy is conserved.
In Part II, we utilize the distributed port of the kinetic energy port-Hamiltonian system for representing a number of fluid-dynamical systems. By adding internal energy we model compressible flow, both adiabatic and isentropic, and by adding constraint forces we model incompressible flow. The key tools used are the interconnection maps relating the dynamics of fluid motion to the dynamics of advected quantities.

[144]  arXiv:2012.01836 (cross-list from nlin.CD) [pdf, other]
Title: On the interpretation of Dirac $δ$ pulses in differential equations for phase oscillators
Subjects: Chaotic Dynamics (nlin.CD); Dynamical Systems (math.DS)

In this note we discuss the usage of the Dirac $\delta$ function in models of phase oscillators with pulsatile inputs. Many authors use a product of the delta function and the phase response curve in the right hand side of an ODE to describe the discontinuous phase dynamics in such systems. We point out that this notation has to be treated with care as it is ambiguous. We argue that the presumably most canonical interpretation does not lead to the intended behaviour in many cases.

[145]  arXiv:2012.01847 (cross-list from cs.LO) [pdf, other]
Title: String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

String diagrams are a powerful and intuitive graphical syntax, originated in the study of symmetric monoidal categories. In the last few years, they have found application in the modelling of various computational structures, in fields as diverse as Computer Science, Physics, Control Theory, Linguistics, and Biology.
In many such proposals, the transformations of the described systems are modelled as rewrite rules of diagrams. These developments demand a mathematical foundation for string diagram rewriting: whereas rewrite theory for terms is well-understood, the two-dimensional nature of string diagrams poses additional challenges.
This work systematises and expands a series of recent conference papers laying down such foundation. As first step, we focus on the case of rewrite systems for string diagrammatic theories which feature a Frobenius algebra. This situation ubiquitously appear in various approaches: for instance, in the algebraic semantics of linear dynamical systems, Frobenius structures model the wiring of circuits; in categorical quantum mechanics, they model interacting quantum observables.
Our work introduces a combinatorial interpretation of string diagram rewriting modulo Frobenius structures, in terms of double-pushout hypergraph rewriting. Furthermore, we prove this interpretation to be sound and complete. In the last part, we also see that the approach can be generalised to model rewriting modulo multiple Frobenius structures. As a proof of concept, we show how to derive from these results a termination strategy for Interacting Bialgebras, an important rewrite theory in the study of quantum circuits and signal flow graphs.

[146]  arXiv:2012.01889 (cross-list from gr-qc) [pdf, ps, other]
Title: Null infinity as an open Hamiltonian system
Authors: Wolfgang Wieland
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

When a system emits gravitational radiation, the Bondi mass decreases. If the Bondi energy is Hamiltonian, it can thus only be a time dependent Hamiltonian. In this paper, we show that the Bondi energy can be understood as a time-dependent Hamiltonian on the covariant phase space. Our derivation starts from the Hamiltonian formulation in domains with boundaries that are null. We introduce the most general boundary conditions on a generic such null boundary, and compute quasi-local charges for boosts, energy and angular momentum. Initially, these domains are at finite distance, such that there is a natural IR regulator. To remove the IR regulator, we introduce a double null foliation together with an adapted Newman--Penrose null tetrad. Both null directions are surface orthogonal. We study the falloff conditions for such specific null foliations and take the limit to null infinity. At null infinity, we recover the Bondi mass and the usual covariant phase space for the two radiative modes at the full non-perturbative level. Apart from technical results, the framework gives two important physical insights. First of all, it explains the physical significance of the corner term that is added in the Wald--Zoupas framework to render the quasi-conserved charges integrable. The term to be added is simply the derivative of the Hamiltonian with respect to the background fields that drive the time-dependence of the Hamiltonian. Secondly, we propose a new interpretation of the Bondi mass as the thermodynamical free energy of gravitational edge modes at future null infinity. The Bondi mass law is then simply the statement that the free energy always decreases on its way towards thermal equilibrium.

[147]  arXiv:2012.01918 (cross-list from cs.CV) [pdf, other]
Title: Multi-mode Core Tensor Factorization based Low-Rankness and Its Applications to Tensor Completion
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)

Low-rank tensor completion has been widely used in computer vision and machine learning. This paper develops a tensor low-rank decomposition method together with a tensor low-rankness measure (MCTF) and a better nonconvex relaxation form of it (NonMCTF). This is the first method that can accurately restore the clean data of intrinsic low-rank structure based on few known inputs. This metric encodes low-rank insights for general tensors provided by Tucker and T-SVD. Furthermore, we studied the MCTF and NonMCTF regularization minimization problem, and designed an effective BSUM algorithm to solve the problem. This efficient solver can extend MCTF to various tasks, such as tensor completion and tensor robust principal component analysis. A series of experiments, including hyperspectral image (HSI) denoising, video completion and MRI restoration, confirmed the superior performance of the proposed method

[148]  arXiv:2012.01929 (cross-list from cs.LG) [pdf, ps, other]
Title: A Stochastic Path-Integrated Differential EstimatoR Expectation Maximization Algorithm
Authors: Gersende Fort (IMT), Eric Moulines (X-DEP-MATHAPP), Hoi-To Wai
Journal-ref: Proceedings of the Conference on Neural Information Processing Systems (NeurIPS 2020), 2020
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Statistics Theory (math.ST); Machine Learning (stat.ML)

The Expectation Maximization (EM) algorithm is of key importance for inference in latent variable models including mixture of regressors and experts, missing observations. This paper introduces a novel EM algorithm, called \texttt{SPIDER-EM}, for inference from a training set of size $n$, $n \gg 1$. At the core of our algorithm is an estimator of the full conditional expectation in the {\sf E}-step, adapted from the stochastic path-integrated differential estimator ({\tt SPIDER}) technique. We derive finite-time complexity bounds for smooth non-convex likelihood: we show that for convergence to an $\epsilon$-approximate stationary point, the complexity scales as $K_{\operatorname{Opt}} (n,\epsilon )={\cal O}(\epsilon^{-1})$ and $K_{\operatorname{CE}}( n,\epsilon ) = n+ \sqrt{n} {\cal O}(\epsilon^{-1} )$, where $K_{\operatorname{Opt}}( n,\epsilon )$ and $K_{\operatorname{CE}}(n, \epsilon )$ are respectively the number of {\sf M}-steps and the number of per-sample conditional expectations evaluations. This improves over the state-of-the-art algorithms. Numerical results support our findings.

[149]  arXiv:2012.01978 (cross-list from cs.LG) [pdf, other]
Title: Asymptotic convergence rate of Dropout on shallow linear neural networks
Comments: 45 pages, 5 figures
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

We analyze the convergence rate of gradient flows on objective functions induced by Dropout and Dropconnect, when applying them to shallow linear Neural Networks (NNs) - which can also be viewed as doing matrix factorization using a particular regularizer. Dropout algorithms such as these are thus regularization techniques that use 0,1-valued random variables to filter weights during training in order to avoid coadaptation of features. By leveraging a recent result on nonconvex optimization and conducting a careful analysis of the set of minimizers as well as the Hessian of the loss function, we are able to obtain (i) a local convergence proof of the gradient flow and (ii) a bound on the convergence rate that depends on the data, the dropout probability, and the width of the NN. Finally, we compare this theoretical bound to numerical simulations, which are in qualitative agreement with the convergence bound and match it when starting sufficiently close to a minimizer.

[150]  arXiv:2012.02009 (cross-list from eess.SY) [pdf, other]
Title: Fundamental Stealthiness-Distortion Tradeoffs in Dynamical (Control) Systems under Injection Attacks: A Power Spectral Analysis
Subjects: Systems and Control (eess.SY); Cryptography and Security (cs.CR); Information Theory (cs.IT); Signal Processing (eess.SP); Optimization and Control (math.OC)

In this paper, we analyze the fundamental stealthiness-distortion tradeoffs of linear Gaussian open-loop dynamical systems and (closed-loop) feedback control systems under data injection attacks using a power spectral analysis, whereas the Kullback-Leibler (KL) divergence is employed as the stealthiness measure. Particularly, we obtain explicit formulas in terms of power spectra that characterize analytically the stealthiness-distortion tradeoffs as well as the properties of the worst-case attacks. Furthermore, it is seen in general that the attacker only needs to know the input-output behaviors of the systems in order to carry out the worst-case attacks.

[151]  arXiv:2012.02079 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Effective free-fermionic form factors and the XY spin chain
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

We introduce effective form factors for one-dimensional lattice fermions with arbitrary phase shifts. We study tau functions defined as series of these form factors. On the one hand we perform the exact summation and present tau functions as Fredholm determinants in the thermodynamic limit. On the other hand simple expressions of form factors allow us to present the corresponding series as integrals of elementary functions. Using this approach we re-derive the asymptotics of static correlation functions of the XY quantum chain at finite temperature.

[152]  arXiv:2012.02113 (cross-list from q-bio.PE) [pdf, other]
Title: Entropy and Diversity: The Axiomatic Approach
Authors: Tom Leinster
Comments: Book, viii + 442 pages, to be published by Cambridge University Press in April 2021
Subjects: Populations and Evolution (q-bio.PE); Information Theory (cs.IT); Classical Analysis and ODEs (math.CA); Category Theory (math.CT); Quantitative Methods (q-bio.QM)

This book brings new mathematical rigour to the ongoing vigorous debate on how to quantify biological diversity. The question "what is diversity?" has surprising mathematical depth, and breadth too: this book involves parts of mathematics ranging from information theory, functional equations and probability theory to category theory, geometric measure theory and number theory. It applies the power of the axiomatic method to a biological problem of pressing concern, but the new concepts and theorems are also motivated from a purely mathematical perspective.
The main narrative thread requires no more than an undergraduate course in analysis. No familiarity with entropy or diversity is assumed.

[153]  arXiv:2012.02119 (cross-list from cs.DS) [pdf, other]
Title: Robustly Learning Mixtures of $k$ Arbitrary Gaussians
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)

We give a polynomial-time algorithm for the problem of robustly estimating a mixture of $k$ arbitrary Gaussians in $\mathbb{R}^d$, for any fixed $k$, in the presence of a constant fraction of arbitrary corruptions. This resolves the main open problem in several previous works on algorithmic robust statistics, which addressed the special cases of robustly estimating (a) a single Gaussian, (b) a mixture of TV-distance separated Gaussians, and (c) a uniform mixture of two Gaussians. Our main tools are an efficient \emph{partial clustering} algorithm that relies on the sum-of-squares method, and a novel tensor decomposition algorithm that allows errors in both Frobenius norm and low-rank terms.

[154]  arXiv:2012.02134 (cross-list from cs.LG) [pdf, other]
Title: Manifold Learning and Deep Clustering with Local Dictionaries
Comments: 14 pages, 6 figures
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Signal Processing (eess.SP); Optimization and Control (math.OC)

We introduce a novel clustering algorithm for data sampled from a union of nonlinear manifolds. Our algorithm extends a popular manifold clustering framework, which first computes a sparse similarity graph over the input data and then uses spectral methods to find clusters in this graph. While previous manifold learning algorithms directly compute similarity scores between pairs of data points, our algorithm first augments the data set with a small handful of representative atoms and then computes similarity scores between data points and atoms. To measure similarity, we express each data point as sparse convex combination of nearby atoms. To learn the atoms, we employ algorithm unrolling, an increasingly popular technique for structured deep learning. Ultimately, this departure from established manifold learning techniques leads to improvements in clustering accuracy and scalability.

[155]  arXiv:2012.02188 (cross-list from cs.LG) [pdf, other]
Title: Stochastic Gradient Descent with Nonlinear Conjugate Gradient-Style Adaptive Momentum
Authors: Bao Wang, Qiang Ye
Comments: 17 pages, 2 figures
Subjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC)

Momentum plays a crucial role in stochastic gradient-based optimization algorithms for accelerating or improving training deep neural networks (DNNs). In deep learning practice, the momentum is usually weighted by a well-calibrated constant. However, tuning hyperparameters for momentum can be a significant computational burden. In this paper, we propose a novel \emph{adaptive momentum} for improving DNNs training; this adaptive momentum, with no momentum related hyperparameter required, is motivated by the nonlinear conjugate gradient (NCG) method. Stochastic gradient descent (SGD) with this new adaptive momentum eliminates the need for the momentum hyperparameter calibration, allows a significantly larger learning rate, accelerates DNN training, and improves final accuracy and robustness of the trained DNNs. For instance, SGD with this adaptive momentum reduces classification errors for training ResNet110 for CIFAR10 and CIFAR100 from $5.25\%$ to $4.64\%$ and $23.75\%$ to $20.03\%$, respectively. Furthermore, SGD with the new adaptive momentum also benefits adversarial training and improves adversarial robustness of the trained DNNs.

Replacements for Fri, 4 Dec 20

[156]  arXiv:1502.04027 (replaced) [pdf, ps, other]
Title: Small subset sums
Comments: 12 pages. Corrected, updated version: an important condition is added to the statement of Theorem 7
Subjects: Metric Geometry (math.MG)
[157]  arXiv:1602.06178 (replaced) [pdf, other]
Title: Generalized Kahler Taub-NUTs and Two Exceptional Instantons
Authors: Brian Weber
Subjects: Differential Geometry (math.DG)
[158]  arXiv:1606.03113 (replaced) [pdf, other]
Title: Tilings in graphons
Comments: 25 pages, 5 figures; to appear in European Journal of Combinatorics
Subjects: Combinatorics (math.CO)
[159]  arXiv:1608.08675 (replaced) [pdf, ps, other]
Title: A review of the Erd\H os-Kac theorem
Comments: Minor correction, title changed. Ref. Unpublished
Subjects: Probability (math.PR)
[160]  arXiv:1610.09612 (replaced) [pdf, ps, other]
Title: Fundamental group of Galois covers of degree 5 surfaces
Comments: 25 pages, 11 figures
Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Group Theory (math.GR)
[161]  arXiv:1704.03504 (replaced) [pdf, ps, other]
Title: Further Results on Hilbert's Tenth Problem
Authors: Zhi-Wei Sun
Comments: 32 pages. Accepted by Sci. China Math
Subjects: Number Theory (math.NT); Logic (math.LO)
[162]  arXiv:1711.00610 (replaced) [pdf, ps, other]
Title: Dynamical Hartree-Fock-Bogoliubov Approximation of Interacting Bosons
Subjects: Analysis of PDEs (math.AP)
[163]  arXiv:1711.08411 (replaced) [pdf, other]
Title: An Orthogonally Equivariant Estimator of the Covariance Matrix in High Dimensions and for Small Sample Sizes
Comments: Journal of Statistical Planning and Inference (2020)
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)
[164]  arXiv:1801.05183 (replaced) [pdf, ps, other]
Title: Riemannian exponential and quantization
Comments: Important changes have been made with respect to the previous version, including 1) An improved demonstration of the equivalence between the two proposed quantizations and 2) A major extension of one of them to a much broader set of functions. The title, the abstract and the introduction have been modified, making them more in line with the new content
Subjects: Mathematical Physics (math-ph)
[165]  arXiv:1804.07622 (replaced) [pdf, ps, other]
Title: An outline of shifted Poisson structures and deformation quantisation in derived differential geometry
Authors: J. P. Pridham
Comments: 43 pp; v2 updated with more quantisation results; v3 correction in 3.4.3
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
[166]  arXiv:1805.04670 (replaced) [pdf, ps, other]
Title: On the decomposability of mod 2 cohomological invariants of Weyl groups
Authors: Christian Hirsch
Comments: 42 pages
Subjects: Algebraic Geometry (math.AG)
[167]  arXiv:1807.07409 (replaced) [pdf, ps, other]
Title: Asymptotic total geodesy of local holomorphic curves exiting a bounded symmetric domain and applications to a uniformization problem for algebraic subsets
Comments: v2: The proof of Theorem 5.23 is amended; v3: correction of typos and minor changes on wording
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
[168]  arXiv:1808.08116 (replaced) [pdf, other]
Title: Performance Limits of Single-Anchor Millimeter-Wave Positioning
Comments: accepted for publication in IEEE Transactions on Wireless Communications
Journal-ref: IEEE Transactions on Wireless Communications, vol. 18, no. 11, pp. 5196-5210, Nov. 2019
Subjects: Information Theory (cs.IT)
[169]  arXiv:1809.03678 (replaced) [pdf, ps, other]
Title: Equivariant cohomology of torus orbifolds
Comments: 28 pages, 11 figures
Subjects: Algebraic Topology (math.AT)
[170]  arXiv:1809.11028 (replaced) [pdf, ps, other]
Title: Deformation quantisation for $(-2)$-shifted symplectic structures
Authors: J.P.Pridham
Comments: 40pp; v2 new material on fundamental classes
Subjects: Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
[171]  arXiv:1811.02551 (replaced) [pdf, ps, other]
Title: Topological defects in lattice models and affine Temperley-Lieb algebra
Comments: 44 pages, v2: much improved version with few sections rewritten, new result in Theorem 2.1, many typos fixed
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)
[172]  arXiv:1812.07761 (replaced) [pdf, ps, other]
Title: Stable high-order randomized cubature formulae in arbitrary dimension
Subjects: Numerical Analysis (math.NA)
[173]  arXiv:1902.03957 (replaced) [pdf, ps, other]
Title: The Kato Square Root Problem on locally uniform domains
Comments: Minor changes during publication process
Subjects: Functional Analysis (math.FA)
[174]  arXiv:1903.01100 (replaced) [pdf, other]
Title: Trace operator on von Koch's snowflake
Subjects: Functional Analysis (math.FA)
[175]  arXiv:1903.05671 (replaced) [pdf, ps, other]
Title: Accelerated First-Order Methods: Differential Equations and Lyapunov Functions
Comments: 15 pages, 0 figures
Subjects: Optimization and Control (math.OC)
[176]  arXiv:1903.12013 (replaced) [pdf, ps, other]
Title: Maximal operators on Lorentz spaces in non-doubling setting
Authors: Dariusz Kosz
Subjects: Classical Analysis and ODEs (math.CA)
[177]  arXiv:1904.08584 (replaced) [pdf, ps, other]
Title: Zero-one laws for eventually always hitting points in in rapidly mixing systems
Comments: 28 pages, revised version with fixed typos, added remarks, and other small changes
Subjects: Dynamical Systems (math.DS)
[178]  arXiv:1904.09511 (replaced) [pdf, other]
Title: The Elliptic Drinfeld Center of a Premodular Category
Authors: Ying Hong Tham
Comments: Fixed error in proof of semisimplicity of Z(C) and Zel(C)
Subjects: Quantum Algebra (math.QA)
[179]  arXiv:1905.04955 (replaced) [pdf, other]
Title: Sub-Weibull distributions: generalizing sub-Gaussian and sub-Exponential properties to heavier-tailed distributions
Comments: 10 pages, 3 figures
Journal-ref: Stat (2020)
Subjects: Statistics Theory (math.ST)
[180]  arXiv:1905.05107 (replaced) [pdf, other]
Title: Fast and Accurate Proper Orthogonal Decomposition using Efficient Sampling and Iterative Techniques for Singular Value Decomposition
Authors: V. Charumathi (1), M. Ramakrishna (1), Vinita Vasudevan (1) ((1) Indian Institute of Technology, Madras)
Subjects: Numerical Analysis (math.NA)
[181]  arXiv:1905.05976 (replaced) [pdf, ps, other]
Title: Information criteria for non-normalized models
Subjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Machine Learning (stat.ML)
[182]  arXiv:1906.01671 (replaced) [pdf, other]
Title: 5G Downlink Multi-Beam Signal Design for LOS Positioning
Comments: accepted for publication at IEEE GLOBECOM 2019
Journal-ref: IEEE Global Communications Conference (GLOBECOM), Waikoloa, HI, USA, 2019, pp. 1-6
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[183]  arXiv:1906.08611 (replaced) [pdf, other]
Title: More Efficient Policy Learning via Optimal Retargeting
Authors: Nathan Kallus
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
[184]  arXiv:1906.10091 (replaced) [pdf, other]
Title: Fixed-time Control under Spatiotemporal and Input Constraints: A Quadratic Program Based Approach
Comments: Submitted to IEEE Transactions on Automatic Control, under review
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[185]  arXiv:1906.11560 (replaced) [src]
Title: Some questions on global distinction for $\mathrm{SL}(n)$
Comments: To be merged with arXiv:2010.05678 and completed and simplified there, in particular we get rid of the Grunwald-Wang assumption
Subjects: Number Theory (math.NT); Representation Theory (math.RT)
[186]  arXiv:1907.11359 (replaced) [pdf, other]
Title: On Weissler's conjecture on the Hamming cube I
Comments: The final version accepted to IMRN
Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
[187]  arXiv:1908.04706 (replaced) [pdf, other]
Title: Gromov-Witten theory with maximal contacts
Comments: 27 pages, 1 figure. Comments welcome. v2: corrects a significant error in v1, see new abstract and introduction
Subjects: Algebraic Geometry (math.AG)
[188]  arXiv:1908.06457 (replaced) [pdf, other]
Title: Bifurcation for Minimal Surface Equation in Hyperbolic $3$-Manifolds
Comments: Final version, to appear Annales de l'Institut Henri Poincar\'e C, Analyse non lin\'eaire
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
[189]  arXiv:1908.08407 (replaced) [pdf, other]
Title: Coordination Through Shared Randomness
Comments: 27 pages, 7 figures. Some results of this paper were presented at ISIT 2018 and ITW 2019. This paper subsumes arXiv:1805.03193
Subjects: Information Theory (cs.IT)
[190]  arXiv:1908.09889 (replaced) [pdf, ps, other]
Title: Weights of uniform spanning forests on nonunimodular transitive graphs
Authors: Pengfei Tang
Comments: Several mistakes corrected, in particular, Proposition 4.14 in the previous version
Subjects: Probability (math.PR)
[191]  arXiv:1909.00782 (replaced) [pdf, ps, other]
Title: A reverse Minkowski-type inequality
Journal-ref: Proc. Amer. Math. Soc. 148 (2020), 4907-4922
Subjects: Metric Geometry (math.MG); Probability (math.PR)
[192]  arXiv:1910.11774 (replaced) [pdf, ps, other]
Title: Commutativity of the Haagerup tensor product and base change for operator modules
Authors: Tyrone Crisp
Comments: 10 pages. Minor changes to the exposition; corrected an error in Remarks 6 not affecting the rest of the paper
Subjects: Operator Algebras (math.OA)
[193]  arXiv:1910.13133 (replaced) [pdf, ps, other]
Title: Self-orthogonal codes constructed from weakly self-orthogonal designs invariant under an action of $M_{11}$
Subjects: Combinatorics (math.CO)
[194]  arXiv:1911.01260 (replaced) [pdf, ps, other]
Title: The almost sure theory of finite metric spaces
Comments: 7 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[195]  arXiv:1911.04377 (replaced) [pdf, ps, other]
Title: Markov chains in random environment with applications in queueing theory and machine learning
Comments: 34 pages, 3rd version, we extended the applicability of our theorems to autoregressive processes in random environments
Subjects: Probability (math.PR); Statistics Theory (math.ST); Data Analysis, Statistics and Probability (physics.data-an); Machine Learning (stat.ML)
[196]  arXiv:1911.11331 (replaced) [pdf, ps, other]
Title: Object-unital groupoid graded modules
Subjects: Rings and Algebras (math.RA)
[197]  arXiv:1911.11891 (replaced) [pdf, ps, other]
Title: Singular solutions for the constant $Q$-curvature problem
Comments: arXiv admin note: text overlap with arXiv:1609.08988 by other authors
Journal-ref: J. Funct. Anal. 280 (2021), no. 3, 108819
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
[198]  arXiv:1912.05874 (replaced) [pdf, ps, other]
Title: Brake orbits and heteroclinic connections for first order Mean Field Games
Comments: 30 pages, 2 figures
Subjects: Analysis of PDEs (math.AP)
[199]  arXiv:1912.10303 (replaced) [pdf, other]
Title: Shadow Lagrangian dynamics for superfluidity
Subjects: Numerical Analysis (math.NA)
[200]  arXiv:2001.00512 (replaced) [pdf, ps, other]
Title: Nonlinear parabolic stochastic evolution equations in critical spaces Part I. Stochastic maximal regularity and local existence
Comments: minor revision
Subjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Probability (math.PR)
[201]  arXiv:2001.00882 (replaced) [pdf, other]
Title: Exponential bounds for inhomogeneous random graphs in a Gaussian case
Authors: Othmane Safsafi
Comments: Notations adjustments. Minor corrections. -1 figure, +7 figures. 50 pages, 7 figures
Subjects: Probability (math.PR)
[202]  arXiv:2001.04863 (replaced) [pdf, other]
Title: Physical Layer Security for NOMA Transmission in mmWave Drone Networks
Subjects: Information Theory (cs.IT)
[203]  arXiv:2001.11289 (replaced) [pdf]
Title: Near-optimal analysis of Lasserre's univariate measure-based bounds for multivariate polynomial optimization
Comments: 18 pages, 5 figures. Added further numerical examples. Extended the main analysis to compact semialgebraic sets with dense interior
Subjects: Optimization and Control (math.OC)
[204]  arXiv:2002.03974 (replaced) [pdf, ps, other]
Title: On a frame energy problem
Comments: 11 pages, second version
Subjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
[205]  arXiv:2002.06524 (replaced) [pdf, other]
Title: Tensor denoising and completion based on ordinal observations
Comments: 35 pages, 6 figures
Journal-ref: Proceedings of the 37th International Conference on Machine Learning(ICML), 2020
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
[206]  arXiv:2002.12606 (replaced) [pdf, other]
Title: Modelling High-Dimensional Categorical Data Using Nonconvex Fusion Penalties
Comments: 47 pages, 6 figures
Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO); Machine Learning (stat.ML)
[207]  arXiv:2003.01244 (replaced) [pdf, ps, other]
Title: Universal quivers
Comments: Section 3 ("Quivers of plabic graphs") is new. 22 pages, 16 figures
Subjects: Combinatorics (math.CO); Rings and Algebras (math.RA)
[208]  arXiv:2003.05768 (replaced) [pdf, ps, other]
Title: Stickelberger annihilators of logarithmic class groups
Authors: Jean-François Jaulent (IMB)
Comments: in French
Subjects: Number Theory (math.NT)
[209]  arXiv:2003.10526 (replaced) [pdf, ps, other]
Title: Hessian metric via transport information geometry
Authors: Wuchen Li
Subjects: Differential Geometry (math.DG); Information Theory (cs.IT); Mathematical Physics (math-ph)
[210]  arXiv:2004.00744 (replaced) [pdf, other]
Title: Pattern graphs: a graphical approach to nonmonotone missing data
Authors: Yen-Chi Chen
Comments: Main paper: 25 pages. We added semi-parametric theory of pattern graphs in Section 3.3
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[211]  arXiv:2004.01475 (replaced) [pdf, ps, other]
Title: Ergodic theorems for queuing systems with dependent inter-arrival times
Comments: substantially revised, many added references
Subjects: Probability (math.PR); Optimization and Control (math.OC)
[212]  arXiv:2004.01838 (replaced) [pdf, ps, other]
Title: Optimal periodic dividend strategies for spectrally negative Lévy processes with fixed transaction costs
Subjects: Optimization and Control (math.OC); Probability (math.PR); Risk Management (q-fin.RM)
[213]  arXiv:2004.04921 (replaced) [pdf, ps, other]
Title: Primitive multiple schemes
Comments: 54 pages to appear in European Journal of Mathematics
Subjects: Algebraic Geometry (math.AG)
[214]  arXiv:2004.08934 (replaced) [pdf, ps, other]
Title: Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications
Comments: 70 pages
Subjects: Metric Geometry (math.MG); Mathematical Physics (math-ph); Differential Geometry (math.DG); Optimization and Control (math.OC)
[215]  arXiv:2004.10961 (replaced) [pdf, other]
Title: Bragg scattering tomography
Comments: 39 pages, 13 figures
Subjects: Functional Analysis (math.FA)
[216]  arXiv:2004.11580 (replaced) [pdf, other]
Title: Robust Transmission Design for Intelligent Reflecting Surface Aided Secure Communication Systems with Imperfect Cascaded CSI
Comments: Accepted in IEEE Transcations on Wireless Communications
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)
[217]  arXiv:2005.02422 (replaced) [pdf, other]
Title: The Prime state and its quantum relatives
Subjects: Quantum Physics (quant-ph); Number Theory (math.NT)
[218]  arXiv:2005.07618 (replaced) [pdf, ps, other]
Title: A class of continuous non-associative algebras arising from algebraic groups including $E_8$
Comments: v4 provides various expositional improvements. Results on E8 remain the same as in v1
Subjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
[219]  arXiv:2005.07705 (replaced) [pdf, other]
Title: Performance of the BGSDC integrator for computing fast ion trajectories in nuclear fusion reactors
Comments: New version has multiple updates, clarifications in the text and new figures
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)
[220]  arXiv:2005.07879 (replaced) [pdf, other]
Title: Construction of 1-Bit Transmit Signal Vectors for Downlink MU-MISO Systems: QAM constellations
Comments: 9 pages, 6 figures, submitted to IEEE Transactions on Vehicular Technology
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[221]  arXiv:2005.10761 (replaced) [pdf, other]
Title: rTop-k: A Statistical Estimation Approach to Distributed SGD
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Statistics Theory (math.ST); Machine Learning (stat.ML)
[222]  arXiv:2005.12260 (replaced) [pdf, other]
Title: Dispersive Fractalization in Linear and Nonlinear Fermi-Pasta-Ulam-Tsingou Lattices
Comments: 25 pages, 14 figures; v2: minor revisions
Subjects: Pattern Formation and Solitons (nlin.PS); Dynamical Systems (math.DS)
[223]  arXiv:2005.12665 (replaced) [pdf, ps, other]
Title: Strichartz Estimates for Schr{ö}dinger equation with singular and time dependent Potential and Application to NLS
Authors: Saikatul Haque
Comments: 19 pages, 1 figure
Subjects: Analysis of PDEs (math.AP)
[224]  arXiv:2005.14599 (replaced) [pdf, ps, other]
Title: Malliavin calculus techniques for local asymptotic mixed normality and their application to degenerate diffusions
Comments: 40 pages
Subjects: Statistics Theory (math.ST)
[225]  arXiv:2006.00717 (replaced) [pdf, other]
Title: On the optimality of joint periodic and extraordinary dividend strategies
Subjects: Risk Management (q-fin.RM); Optimization and Control (math.OC); Applications (stat.AP)
[226]  arXiv:2006.03419 (replaced) [pdf, ps, other]
Title: Completeness in quasi-pseudometric spaces
Authors: S. Cobzaş
Comments: 19 p, entirely revised, a new notion of Cauchy net proposed
Journal-ref: Published in Mathematics 2020, 8, 1279
Subjects: General Mathematics (math.GM)
[227]  arXiv:2006.12042 (replaced) [pdf, other]
Title: Synthesis of CNOT-Dihedral circuits with optimal number of two qubit gates
Comments: 9 pages. Accepted to Quantum on 30 Nov 2020
Subjects: Quantum Physics (quant-ph); Group Theory (math.GR)
[228]  arXiv:2006.14040 (replaced) [pdf, other]
Title: Un-Weyl-ing the Clifford Hierarchy
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[229]  arXiv:2006.14259 (replaced) [pdf, other]
Title: Space Kinematics and Projective Differential Geometry Over the Ring of Dual Numbers
Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
[230]  arXiv:2007.03582 (replaced) [pdf, other]
Title: Surfaces have (asymptotic) dimension 2
Comments: 35 pages, 4 figures - v3: correction of the statements of Theorem 5.2, Corollary 5.3 and Theorem 5.9
Subjects: Combinatorics (math.CO); Group Theory (math.GR); Geometric Topology (math.GT); Metric Geometry (math.MG)
[231]  arXiv:2007.04485 (replaced) [pdf, ps, other]
Title: Computing homological residue fields in algebra and topology
Comments: 9 pages
Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Representation Theory (math.RT)
[232]  arXiv:2007.08403 (replaced) [pdf, other]
Title: Computing the minimal rebinding effect for non-reversible processes
Subjects: Numerical Analysis (math.NA)
[233]  arXiv:2007.09630 (replaced) [pdf, other]
Title: Finding the Global Optimum of a Class of Quartic Minimization Problem
Subjects: Numerical Analysis (math.NA)
[234]  arXiv:2007.10241 (replaced) [pdf, other]
Title: On the dimension of points which escape to infinity at given rate under exponential iteration
Subjects: Dynamical Systems (math.DS)
[235]  arXiv:2007.13174 (replaced) [pdf, ps, other]
Title: Dynamics on Bungee Set of Transcendental entire Functions
Comments: 9 pages. Work in progress. Comments are welcome
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
[236]  arXiv:2008.01887 (replaced) [pdf, ps, other]
Title: Finite-time blow-up prevention by logistic source in parabolic-elliptic chemotaxis models with singular sensitivity in any dimensional setting
Subjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
[237]  arXiv:2008.01913 (replaced) [pdf, other]
Title: Generalization Guarantees for Imitation Learning
Comments: Presented at the Conference on Robot Learning (CoRL), 2020
Subjects: Robotics (cs.RO); Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)
[238]  arXiv:2008.05253 (replaced) [pdf, ps, other]
Title: On the number of point of given order on odd degree hyperelliptic curves
Authors: John Boxall
Comments: Example 5.6 of a modular curve added. A few minor corrections made. All comments welcome!
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[239]  arXiv:2008.07379 (replaced) [pdf, ps, other]
Title: Rankin-Selberg integrals for local symmetric square factors on $GL\mathrm{(2)}$
Authors: Yeongseong Jo
Subjects: Number Theory (math.NT); Representation Theory (math.RT)
[240]  arXiv:2008.08233 (replaced) [pdf, ps, other]
Title: On condition numbers of the total least squares problem with linear equality constraint
Comments: 19 pages
Subjects: Numerical Analysis (math.NA)
[241]  arXiv:2008.11884 (replaced) [pdf, ps, other]
Title: Orthogonal rational functions with real poles, root asymptotics, and GMP matrices
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA)
[242]  arXiv:2009.04783 (replaced) [pdf, ps, other]
Title: Bounds on amplitude damping channel discrimination
Comments: 15 pages. 7 figures
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
[243]  arXiv:2009.08609 (replaced) [pdf, other]
Title: Large Deviations in One-Dimensional Random Sequential Adsorption
Authors: P. L. Krapivsky
Comments: 11 pages, 2 figures
Journal-ref: Phys. Rev. E 102, 062108 (2020)
Subjects: Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
[244]  arXiv:2009.08940 (replaced) [pdf, other]
Title: An infection process near criticality: Influence of the initial condition
Authors: P. L. Krapivsky
Comments: 13 pages, 3 figures
Subjects: Populations and Evolution (q-bio.PE); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR); Physics and Society (physics.soc-ph)
[245]  arXiv:2009.10209 (replaced) [pdf, ps, other]
Title: Almost-normality of Isbell-Mrówka spaces
Comments: Postprint, accepted in Topology and its Applications
Subjects: General Topology (math.GN)
[246]  arXiv:2009.10761 (replaced) [pdf, other]
Title: On the Locality of Nash-Williams Forest Decomposition and Star-Forest Decomposition
Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Combinatorics (math.CO)
[247]  arXiv:2009.10776 (replaced) [pdf, other]
Title: On Hybrid-ARQ-Based Intelligent Reflecting Surface-Assisted Communication System
Comments: 3 pages, 4 figures
Subjects: Information Theory (cs.IT)
[248]  arXiv:2009.11650 (replaced) [src]
Title: An endpoint estimate for the commutators of singular integral operators with rough kernels
Comments: There exists a terrible mistake in the proof of Lemma 2.3
Subjects: Classical Analysis and ODEs (math.CA)
[249]  arXiv:2009.13963 (replaced) [pdf, ps, other]
Title: A Littlewood-Richardson rule for Koornwinder polynomials
Authors: Kohei Yamaguchi
Comments: 32 pages
Subjects: Representation Theory (math.RT)
[250]  arXiv:2010.00478 (replaced) [pdf, other]
Title: A survey of mass partitions
Comments: 37 pages, 8 figures, 1 table
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Geometric Topology (math.GT)
[251]  arXiv:2010.03151 (replaced) [pdf, ps, other]
Title: A recurring pattern in natural numbers of a certain property
Authors: Daniel Tsai
Comments: 14 pages
Subjects: Number Theory (math.NT)
[252]  arXiv:2010.05678 (replaced) [pdf, ps, other]
Title: Distinction inside L-packets of SL(n)
Comments: Merged with withdrawn arXiv:1906.11560. We simplified some arguments and removed an unnecessary Grunwald-Wang assumption
Subjects: Representation Theory (math.RT); Number Theory (math.NT)
[253]  arXiv:2010.07378 (replaced) [pdf, other]
Title: Boosting One-Point Derivative-Free Online Optimization via Residual Feedback
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
[254]  arXiv:2010.09203 (replaced) [pdf, ps, other]
Title: A novel method for inference of chemical compounds with prescribed topological substructures based on integer programming
Comments: arXiv admin note: text overlap with arXiv:2009.09646
Subjects: Computational Engineering, Finance, and Science (cs.CE); Combinatorics (math.CO)
[255]  arXiv:2010.12058 (replaced) [pdf, ps, other]
Title: An overview of block Gram-Schmidt methods and their stability properties
Comments: 42 pages, 5 tables, 17 figures, 20 algorithms
Subjects: Numerical Analysis (math.NA)
[256]  arXiv:2011.02560 (replaced) [pdf, ps, other]
Title: Independent Gaussian Distributions Minimize the Kullback-Leibler (KL) Divergence from Independent Gaussian Distributions
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP); Systems and Control (eess.SY); Statistics Theory (math.ST)
[257]  arXiv:2011.03978 (replaced) [pdf, ps, other]
Title: Smooth approximations and CSPs over finitely bounded homogeneous structures
Comments: 37 pages. Latest version: minor corrections; added details to some proofs
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO); Rings and Algebras (math.RA)
[258]  arXiv:2011.04027 (replaced) [pdf, ps, other]
Title: Sum-of-squares hierarchies for binary polynomial optimization
Comments: 23 pages, 1 figure. Fixed a typo in Theorem 1 and Theorem 3
Subjects: Optimization and Control (math.OC)
[259]  arXiv:2011.06398 (replaced) [pdf, ps, other]
Title: Spherical coverings and X-raying convex bodies of constant width
Subjects: Metric Geometry (math.MG)
[260]  arXiv:2011.07628 (replaced) [pdf, other]
Title: Law of large numbers for the drift of two-dimensional wreath product
Subjects: Probability (math.PR); Group Theory (math.GR)
[261]  arXiv:2011.08547 (replaced) [pdf, ps, other]
Title: Trend to equilibrium for granular media equations under non-convex potential and application to log-Coulomb gases
Authors: Scander Mustapha
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
[262]  arXiv:2011.08830 (replaced) [pdf, other]
Title: Stable maps to Looijenga pairs
Comments: 114 pages (80pp+appendices), 40 figures. v2: minor changes, references added
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[263]  arXiv:2011.09514 (replaced) [pdf, ps, other]
Title: Hidden chaos factors inducing random walks which reduce hospital operative efficiency
Comments: 33 pages, 7 figures, 3 tables
Subjects: Information Theory (cs.IT)
[264]  arXiv:2011.09922 (replaced) [pdf, ps, other]
Title: Regularity for graphs with bounded anisotropic mean curvature
Comments: We fixed a typo in the statement of Theorem A
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG); Functional Analysis (math.FA)
[265]  arXiv:2011.10554 (replaced) [pdf, other]
Title: Multi-orbital Flat Band Ferromagnetism with a Provable Percolation Representation
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
[266]  arXiv:2011.11402 (replaced) [pdf, other]
Title: The linear and nonlinear instability of the Akhmediev breather
Authors: P. G. Grinevich (1 and 2), P. M. Santini (3 and 4) ((1) Steklov Mathematical Institute of Russian Academy of Sciences, (2) L.D. Landau Institute for Theoretical Physics of Russian Academy of Sciences, (3) Dipartimento di Fisica, Università di Roma "La Sapienza", (4) Istituto Nazionale di Fisica Nucleare (INFN), Sezione di Roma)
Comments: 31 pages, 4 figures, Simplification of final formulas was made in this version
Subjects: Pattern Formation and Solitons (nlin.PS); Mathematical Physics (math-ph); Fluid Dynamics (physics.flu-dyn); Optics (physics.optics)
[267]  arXiv:2011.12632 (replaced) [pdf, ps, other]
Title: Lower regularity assumption for an Euler-Lagrange equation on the contact line of the phase dependent Helfrich energy
Authors: Sascha Eichmann
Comments: 15 pages, 3 figures. Added relevant references and fixed some typos
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
[268]  arXiv:2011.12993 (replaced) [pdf, ps, other]
Title: Lipschitz algebras and Lipschitz-free spaces over unbounded metric spaces
Subjects: Functional Analysis (math.FA)
[269]  arXiv:2011.13499 (replaced) [pdf, ps, other]
Title: Contact Geometry in Superconductors and New Massive Gravity
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[270]  arXiv:2011.13580 (replaced) [pdf, other]
Title: A Sheaf and Topology Approach to Generating Local Branch Numbers in Digital Images
Subjects: Computer Vision and Pattern Recognition (cs.CV); Algebraic Topology (math.AT)
[271]  arXiv:2011.14071 (replaced) [pdf, ps, other]
Title: Counting centralizers and z-classes of some F-groups
Subjects: Group Theory (math.GR)
[272]  arXiv:2011.14628 (replaced) [pdf, other]
Title: Catalan triangles and tied arc diagrams
Comments: 16 pages, 11 Figures
Subjects: Combinatorics (math.CO); General Topology (math.GN)
[273]  arXiv:2011.14630 (replaced) [pdf, ps, other]
Title: Density and non-density of $C^\infty_c \hookrightarrow W^{k,p}$ on complete manifolds with curvature bounds
Comments: 22 pages. Some typos fixed, acknowledgement added. Comments are welcome
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
[274]  arXiv:2012.00300 (replaced) [src]
Title: On Fujita's semi-ampleness in the rank one case
Authors: Yujiro Kawamata
Comments: The result was known
Subjects: Algebraic Geometry (math.AG)
[275]  arXiv:2012.00603 (replaced) [pdf, ps, other]
Title: Fourier Analysis and the closed form for the Zeta Function at even positive integers
Comments: 6 pages, no figures. Comments welcome
Subjects: Number Theory (math.NT)
[276]  arXiv:2012.00719 (replaced) [pdf, ps, other]
Title: Gull's theorem revisited
Comments: Version 2: managed to fill gap in last step of Gull's proof. Version 3: minor corrections. 15pp. arXiv admin note: substantial text overlap with arXiv:2001.11338
Subjects: Quantum Physics (quant-ph); Probability (math.PR)
[277]  arXiv:2012.00742 (replaced) [pdf, ps, other]
Title: Spectral Analysis of Word Statistics
Subjects: Probability (math.PR); Combinatorics (math.CO); Statistics Theory (math.ST)
[278]  arXiv:2012.01040 (replaced) [pdf, other]
Title: Interpolation-based irrational model control design and stability analysis
Comments: Book chapter, 17 pages, 11 figures
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
[279]  arXiv:2012.01075 (replaced) [pdf, other]
Title: Iterative Detection and Decoding of Finite-Length Polar Codes in Gaussian Multiple Access Channels
Comments: Asilomar2020
Subjects: Information Theory (cs.IT)
[ total of 279 entries: 1-279 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2012, contact, help  (Access key information)