Mathematics
New submissions
[ 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 MeanField SharingComments: Proceedings of IEEE Conference on Decision and Control, 2014Subjects: Optimization and Control (math.OC)
We investigate team optimal control of stochastic subsystems that are weakly coupled in dynamics (through the meanfield of the system) and are arbitrary coupled in the cost. The controller of each subsystem observes its local state and the meanfield of the state of all subsystems. The system has a nonclassical 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 meanfield is observed with noise. The size of the information state is timeinvariant; thus, the results generalize to the infinitehorizon control setups as well. In addition, when the meanfield 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 planeComments: 9 pagesSubjects: 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éjertype trigonometric sumsAuthors: R.B. ParisComments: 12 pages, 4 figuresSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)
We examine the four F\'ejertype 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 TowersAuthors: Rob SchneidermanComments: 74 pages, 64 figuresSubjects: Geometric Topology (math.GT)
These introductory notes on Whitney towers in 4manifolds, 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 4space, fundamental definitions related to Whitney towers and their associated trees, geometric Jacobi identities, the classification of order n twisted Whitney towers in the 4ball and higherorder Arf invariants, and loworder Whitney towers on 2spheres in 4manifolds and related invariants.
 [5] arXiv:2012.01482 [pdf, ps, other]

Title: Criterion of unrecognizability of a finite group by its GruenbergKegel graphComments: 14 pagesSubjects: 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 GruenbergKegel 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 GruenbergKegel graph?
 For which groups are there only finitely many groups with the same GruenbergKegel graph as $G$?  [6] arXiv:2012.01483 [pdf, other]

Title: Ample simplicial complexesSubjects: 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 multilayer spacesSubjects: 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 graphsAuthors: Pu GaoSubjects: 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: Flowdriven spectral chaos (FSC) method for simulating longtime dynamics of arbitraryorder nonlinear stochastic dynamical systemsComments: Preprint submitted to Journal of Computational Physics (Elsevier)Subjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
Uncertainty quantification techniques such as the timedependent generalized polynomial chaos (TDgPC) 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, TDgPCbased methods are known to suffer from the curse of dimensionality. In this paper, we introduce a new numerical method called the 'flowdriven spectral chaos' (FSC) which overcomes this curse of dimensionality at the randomfunctionspace level. The proposed method is not only computationally more efficient than existing TDgPCbased methods but is also far more accurate. The FSC method uses the concept of 'enriched stochastic flow maps' to track the evolution of a finitedimensional 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 meansquare 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 longtime response of stochastic dynamical systems governed by ODEs of arbitrary order. Six representative numerical examples, including a nonlinear problem (the VanderPol oscillator), are presented to demonstrate the performance of the FSC method and corroborate the claims of its superior numerical properties. Finally, a parametric, highdimensional 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 identityAuthors: Claudenir Freire RodriguesSubjects: 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 trianglefree $4$critical graphsComments: 33 pages, 1 figureSubjects: Combinatorics (math.CO)
We show every trianglefree $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 solidsComments: 19 pages, 8 figuresSubjects: 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 inclusionexclusion 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 functionsComments: 36 pages, 9 figuresSubjects: 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 righthand 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 AnalysisComments: 33 pages, 13 figuresSubjects: 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 lowrank Canonical Polyadic (CP) tensor decomposition model when the tensor has sparse structure and the tensor elements are nonnegative count data. SparTen is a highperformance C++ library which computes a lowrank decomposition using different solvers: a firstorder quasiNewton or a secondorder 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 realworld 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 largescale 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 curveSubjects: 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 figuresSubjects: 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 SetsComments: 35 pagesSubjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
The multiplicity SchwartzZippel 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 highrate locallydecodable 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 listdecodablity 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 curvesSubjects: 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 ArtinSchreier $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 wellposedness for the LandauLifshitz equation with helicity termAuthors: Ikkei ShimizuSubjects: Analysis of PDEs (math.AP)
We consider the initial value problem for the LandauLifshitz equation with helicity term (chiral interaction term), which arises from the DzyaloshinskiiMoriya interaction. We prove that it is wellposed locallyintime 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 wellposedness 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: BochnerKodaira Formulas and the Type IIA FlowComments: 36 pages, comments welcome!Subjects: Differential Geometry (math.DG); Mathematical Physics (mathph); 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 LeviCivita 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 functionsComments: 27 pagesSubjects: 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 2D 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 HomLeibniiz algebras via betaNiJenhuisRichardson bracketAuthors: Nejib SaadaouiSubjects: Rings and Algebras (math.RA)
In this paper we define the left and right $\beta$RichardsonNijenhuis bracket. With this bracket we define a right, left and symmetric $2p$HomLeibniz algebras and their cohomology. Moreover with the $\beta$RN bracket we study the extension of deformation of HomLeibniz algebra.
 [23] arXiv:2012.01575 [pdf, other]

Title: Corrected subdivision approximation of piecewise smooth functionsComments: 35 pagesSubjects: 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 pointvalue data and of cellaverage data, we are able to construct a subdivisionbased 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 ClosedForm Approximations for Achievable Information Rates of Coded Modulation SystemsComments: accepted by IEEE Journal of Lightwave TechnologySubjects: Information Theory (cs.IT)
The intuitive spherepacking argument is used to obtain analyticallytractable closedform approximations for achievable information rates of coded modulation transmission systems, for which only analyticallyintractable 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 signaltonoise ratio range, and compare favorably to the achieved rates of recent stateofthe art experiments.
 [25] arXiv:2012.01590 [pdf, other]

Title: Power Allocation and Parameter Estimation for Multipathbased 5G PositioningAuthors: Anastasios Kakkavas, Henk Wymeersch, Gonzalo SecoGranados, Mario H. Castañeda García, Richard A. StirlingGallacher, Josef A. NossekComments: 30 pages, 6 figures, submitted to IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
We consider a singleanchor multipleinput multipleoutput (MIMO) orthogonal frequencydivision 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\'erRao lower bound (CRLB) for Rx positioning. Additional constraints on the design are included to ensure that the lineofsight (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 sensingbased position estimation algorithm, which exploits the information on the clock offset provided by nonlineofsight paths, and show that it is asymptotically efficient.
 [26] arXiv:2012.01593 [pdf, ps, other]

Title: Logarithmic capacity of random $G_δ$setsAuthors: Fernando QuintinoSubjects: Dynamical Systems (math.DS); Mathematical Physics (mathph); 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 GAPAuthors: Alexander HulpkeSubjects: Group Theory (math.GR)
We survey grouptheoretic 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 SingleBounce ReflectionsAuthors: Anastasios Kakkavas, Mario H. Castañeda García, Gonzalo SecoGranados, Henk Wymeersch, Richard A. StirlingGallacher, Josef A. NossekComments: 5 pages, 5 figures, submitted to IEEE Wireless Communications LettersSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In the context of positioning a target with a singleanchor, this contribution focuses on the Fisher information about the position, orientation and clock offset of the target provided by singlebounce 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, singlebounce 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 NearCritical Behavior of Continuous PolymersComments: arXiv admin note: text overlap with arXiv:2008.04493Subjects: Mathematical Physics (mathph)
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 algebrasComments: 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 dimensionsComments: 31 pages,1 figureSubjects: 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 nLaplace 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 ArsoveHuber's type theorem on nsuperharmonic functions in our earlier work \cite{MQ18}. Moreover, using pparabolicity, we push the injectivity theorem of SchoenYau 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 nparabolicity alone, which is interesting by itself in conformal geometry.
 [32] arXiv:2012.01626 [pdf, other]

Title: Rigidprofile input scheduling under constrained dynamics with a water network applicationSubjects: 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 openwater channels. The offtake flows are rigidprofile 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 nonconvex semiinfinite programming problem, with sumseparable cost that encodes the collective sensitivity of end users to scheduling delays. The constraints encode the linear timeinvariant continuoustime dynamics and limits on the state across a \al{continuous} scheduling horizon. Discretization is used to arrive at a more manageable approximation of the semiinfinite program. A method for parsimoniously refining the discretization is applied to ensure continuoustime 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 operatorComments: 35 PagesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
We present an LLTtype 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 EliasHogancamp 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 PolynomialsComments: 17 pagesSubjects: 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 nondecreasing integer sequences. This motivates a connection between multivariate difference Gon\v{c}arov polynomials and a higherdimensional 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$convexityComments: 9 pagesSubjects: 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 YannelisPrabhakar 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 weightsAuthors: Othmane SafsafiComments: 30 pages, 6 figuresSubjects: 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 AddarioBerry, 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 nontrivial scaling limit of this spanning tree (a generalization of the result of AddarioBerry, Broutin, Goldschmidt, and Miermont [2017])). Our proof is based on a detailed study of rank1 critical inhomogeneous random graphs, done in Safsafi [2020], and novel couplings between exploration trees related to those graphs and GaltonWatson trees.
 [37] arXiv:2012.01666 [pdf, ps, other]

Title: Condition numbers of the mixed least squarestotal least squares problem: revisitedComments: 20 pagesSubjects: Numerical Analysis (math.NA)
A new closed formula for the first order perturbation estimate of the mixed least squarestotal 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 formulaSubjects: Numerical Analysis (math.NA)
Two quadraturebased 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 wellknown 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 illconditioned and $\alpha$ is a nonunit 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 IAuthors: ZhiGuo LiuComments: 23 pages. Accepted by the Ramanujan JournalSubjects: 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 setsComments: 14 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
A set of positive integers is primitive (or 1primitive) 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 2primitive 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 combinatoricsSubjects: 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 TateShafarevich groupsAuthors: Yanshuai QinSubjects: 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 primeto$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 TateShafarevich 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 limitsComments: 28 pages, comments are welcomeSubjects: 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 noncomplete 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 divergencefree H(div)conforming finite element method for Stokes flowsComments: 30 pages, 8 figuresSubjects: Numerical Analysis (math.NA)
In this paper, we construct a $P_{1}^{c}\oplus RT0P0$ discretization of the Stokes equations for general simplicial meshes in two/three dimensions (2D/3D), which yields a exactly divergencefree and pressureindependent 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 (BR) element method (see C. Bernardi and G. Raugel, Math. Comp., 44 (1985), pp. 7179). 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 PValues Under the Null and AlternativeComments: 19 pages, 8 figuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
Hypothesis testing results often rely on simple, yet important assumptions about the behaviour of the distribution of pvalues 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 pvalues using techniques from the higher order asymptotics literature. We show that commonly held beliefs regarding the distribution of pvalues are misleading when the variance and location of the test statistic are not wellcalibrated 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 TwoState Compound ChannelComments: arXiv admin note: substantial text overlap with arXiv:1906.06675Subjects: 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 twostate masking setup is the establishment of bounds on the throughputkey region when the constraint that quantifies how much the states are masked is defined to be the total variation distance between the two channelinduced 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 squareroot 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 leftinvariant symplectic structures on some Lie groupsComments: 16 pagesSubjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)
We are interested in the classification of leftinvariant 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) leftinvariant symplectic structures on Lie groups. The procedure is based on the moduli space of leftinvariant nondegenerate $2$forms. Then we apply our procedure for two particular Lie groups of dimension $2n$ and give classifications of leftinvariant symplectic structures on them.
 [48] arXiv:2012.01712 [pdf, other]

Title: On the behavior of multiple zetafunctions with identical arguments on the real line IComments: 16pages, 9figuresSubjects: Number Theory (math.NT)
In the present series of papers, we study the behavior of the rfold zetafunction of EulerZagier 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 rfold zetafunction, some of which we prove rigorously. For example, we show that the rfold zetafunction 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 manifoldsAuthors: Jun O'HaraComments: 48 pagesSubjects: 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 higherdimensional analogues of the Willmore energy of closed surfaces.
Residues appear to be similar to quantities obtained by asymptotic expansion such as intrinsic volumes (LipschitzKilling curvatures), spectra of Laplacian, and the GrahamWitten 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 GrahamWitten 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 edgecolored complete graphsComments: 10 pages, 4 figuresSubjects: Combinatorics (math.CO)
Let $G$ be a graph of order $n$ with an edgecoloring $c$, and let $\delta^c(G)$ denote the minimum colordegree 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 edgecolored complete graphs. Fujita and Magnant showed that for an edgecolored 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 edgecolored 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 edgecolored graph $G$ of order $n\geq 20$, if $\delta^c(G)\geq \frac{n+2}{2}$, then $G$ contains two vertexdisjoint 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 vertexdisjoint 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 zetafunctions with identical arguments on the real line IIComments: 13 pages, 5 figuresSubjects: Number Theory (math.NT)
In the present series of papers, we study the behavior of $r$fold zetafunctions of EulerZagier 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 $(r1)$ real zeros on the interval $(2n,2(n1))$ for any $n\geq 2$.
 [52] arXiv:2012.01727 [pdf, other]

Title: Classification of ancient flows by subaffinecritical 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 subaffinecritical 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^21}$ with $3\leq k \in \mathbb{N}$, the round circle shrinker has nontrivial Jacobi fields, but the ancient flows do not evolve along the Jacobi fields.
 [53] arXiv:2012.01728 [pdf, other]

Title: A Novel 3D NonStationary MultiFrequency MultiLink Wideband MIMO Channel ModelSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In this paper, a multifrequency multilink threedimensional (3D) nonstationary wideband multipleinput multipleoutput (MIMO) channel model is proposed. The spatial consistency and multifrequency correlation are considered in parameters initialization of every singlelink and different frequencies, including large scale parameters (LSPs) and small scale parameters (SSPs). Moreover, SSPs are timevariant and updated when scatterers and the receiver (Rx) are moving. The temporal evolution of clusters is modeled by birth and death processes. The singlelink channel model which has considered the intercorrelation can be easily extended to multilink channel model. Statistical properties, including spatial crosscorrelation 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 initialboundary value problem of the stochastic NavierStokes equations in the half spaceSubjects: Analysis of PDEs (math.AP)
We study the initialboundary value problem of the stochastic NavierStokes 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 PolynomialAuthors: Louis H KauffmanComments: 14 pages, 14 figures, LaTeX document. arXiv admin note: text overlap with arXiv:1211.1601Subjects: 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 socalled 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 dimensionsComments: 22 pagesSubjects: 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 infinitedimensional representation of the RayKnight theoremsSubjects: Probability (math.PR)
The classical RayKnight 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 continuousstate 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 surfacesSubjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS); Number Theory (math.NT)
We study finite orbits for nonelementary 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 reachabilityComments: 16 pagesSubjects: 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 qJacobi Polynomials and qZeta ValuesComments: 8 pagesSubjects: Combinatorics (math.CO)
We explore some connections between moments of rescaled little qJacobi polynomials, qanalogues of values at negative integers for some Dirichlet series, and the qEulerian polynomials of wreath products of symmetric groups.
 [61] arXiv:2012.01770 [pdf, other]

Title: Spectral sequences of a Morse shellingAuthors: JeanYves Welschinger (AGL)Comments: 10 pages, 1 figureSubjects: 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 groupsSubjects: 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 $(k1)$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: Localintime existence of strong solutions to a class of compressible nonNewtonian NavierStokes equationsSubjects: Analysis of PDEs (math.AP)
The aim of this article is to show a localintime existence of a strong solution to the generalized compressible NavierStokes 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 nonNewtonian fluids.
 [64] arXiv:2012.01808 [pdf, other]

Title: Counting periodic orbits of vector fields over smooth closed manifoldsAuthors: Eaman EftekharySubjects: 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 nonconstant 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 methodsAuthors: Martin Ortiz RamirezComments: This essay was written as part of my degree at the University of OxfordSubjects: Number Theory (math.NT)
The paper reviews Dwork's padic 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 padic 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 FormulationSubjects: 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 (CEMGMsFEM) 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 nondecaying and a decaying parts. The nondecaying 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 iterativebased multiscale basis functions, firstorder 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: PortHamiltonian Modeling of Ideal Fluid Flow: Part I. Foundations and Kinetic EnergyComments: This is a preprint submitted to the journal of Geometry and Physics. Please do not CITE this version, but only the published manuscriptSubjects: Differential Geometry (math.DG); Mathematical Physics (mathph); Fluid Dynamics (physics.fludyn)
In this twoparts paper, we present a systematic procedure to extend the known Hamiltonian model of ideal inviscid fluid flow on Riemannian manifolds in terms of LiePoisson structures to a portHamiltonian model in terms of StokesDirac structures. The first novelty of the presented model is the inclusion of nonzero energy exchange through, and within, the spatial boundaries of the domain containing the fluid. The second novelty is that the portHamiltonian 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 energyaware interconnection, the geometric description of a wide range of fluid dynamical systems can be achieved. The constructed portHamiltonian 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 ndimensional Riemannian manifolds using differential geometric tools of exterior calculus.
 [68] arXiv:2012.01820 [pdf, ps, other]

Title: On CR singular CR imagesComments: 21 pagesSubjects: 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 realanalytic submanifolds, in which case removability is equivalent to $M$ being the image of a generic realanalytic 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 spacesAuthors: Jayanta SarkarComments: 25 pagesSubjects: 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 LaplaceBeltrami 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 LaplaceBeltrami 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 dependenceAuthors: Jorge MelloSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
We give effective bounds for the set quasiintegral points in orbits of nonisotrivial 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 preconditioningSubjects: 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 primaldual 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$spaceAuthors: Grzegorz PlebanekComments: 11 pagesSubjects: 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 zerodimensional compactum.
 [73] arXiv:2012.01851 [pdf, ps, other]

Title: (0,2) Mirror Symmetry on homogeneous Hopf surfacesComments: 55 pagesSubjects: Differential Geometry (math.DG); High Energy Physics  Theory (hepth); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
In this work we find the first examples of (0,2) mirror symmetry on compact nonK\"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 Bismutflat 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 Tduality.
 [74] arXiv:2012.01855 [pdf, other]

Title: On instability mechanisms for inverse problemsComments: 88 pages, 1 figure, comments welcomeSubjects: 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 (mathph); 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 twovariables extension of the affine Lie algebra. We prove an analogue of the FeiginFrenkel 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 graphsComments: 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 graphbased representations of highdimensional 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 LyapunovPerron reducible Markovian Master EquationAuthors: Krzysztof SzczygielskiComments: 22 pages, no figuresSubjects: Mathematical Physics (mathph); Quantum Physics (quantph)
We consider an open quantum system in $M_{d}(\mathbb{C})$ governed by quasiperiodic Hamiltonian with rationally independent frequencies and under assumption of LyapunovPerron reducibility of associated Schroedinger equation. We construct the Markovian Master Equation and resulting CPdivisible 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 tableaubased view on type B SchurpositivitySubjects: Combinatorics (math.CO)
Over the past years, major attention has been drawn to the question of identifying Schurpositive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a nonnegative 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 Schurpositivity 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 Schurpositive.
 [79] arXiv:2012.01891 [pdf, ps, other]

Title: Sparse Array of Subsurface Aided Antiblockage mmWave Communication SystemsComments: To appear in 2020 IEEE Global Communications Conference (GLOBECOM). Copyright may be transferred without notice, after which this version may no longer be accessibleSubjects: 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 subsurface (SAoS) architecture for RIS, which contains several rectangle shaped subsurfaces 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 signaltonoise 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 EnergyAuthors: Sylvester ErikssonBiqueComments: 12 pages, comments welcomeSubjects: 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 fluidstructure interaction problemsSubjects: 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 infsup condition for different choices of the polynomial approximation order of the velocity and pressure approximation spaces. To this aim, we employ a generalized infsup condition with a pressure stabilization term. We also prove a priori hpversion error estimates in suitable norms. We numerically check the behaviour of the infsup constant and the order of convergence with respect to the mesh configuration, the meshsize, and the polynomial degree. Finally, as a relevant application of our analysis, we consider the PolyDG approximation for a fluidstructure 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 ringAuthors: Laurent BergerComments: 15 pagesSubjects: 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 padic Hodge theory and the theory of padic 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 SymmetriesComments: 14 pagesSubjects: 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 ncycle, this gives a complete description of all such linear forms.
 [84] arXiv:2012.01906 [pdf, ps, other]

Title: Pencilbeam approximation of fractional FokkerPlanckSubjects: Analysis of PDEs (math.AP)
We consider the modeling of light beams propagating in highly forwardpeaked turbulent media by fractional FokkerPlanck equations and their approximations by fractional Fermi pencilbeam models. We obtain an error estimate in a 1Wasserstein distance for the latter model showing that beam spreading is well captured by the Fermi pencilbeam approximation in the small diffusion limit.
 [85] arXiv:2012.01910 [pdf, ps, other]

Title: SlowFast Systems with Fractional Environment and DynamicsComments: 47 pagesSubjects: Probability (math.PR)
We prove an averaging principle for interacting slowfast 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 fractionaldriven stochastic differential equations, partially improving a recent result of Panloup and Richard.
 [86] arXiv:2012.01923 [pdf, ps, other]

Title: Global wellposedness for the derivative nonlinear Schrödinger equationSubjects: 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 wellposedness of this equation in the Sobolev spaces is well understood since a couple of decades, while the global wellposedness is not completely settled. For the latter issue, the best known results uptodate 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 wellposed 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 illposed 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 SwarmtoSwarm Engagement ProblemSubjects: 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 swarmtoswarm 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 swarmtoswarm 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 timevarying 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: FinitePart Integration in the Presence of Competing Singularities: Transformation Equations for the hypergeometric functions arising from FinitePart IntegrationComments: 44 pages, 3 figuresSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph); Complex Variables (math.CV)
Finitepart 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: PortHamiltonian formulations of poroelastic network modelsSubjects: Dynamical Systems (math.DS); Optimization and Control (math.OC)
We investigate an energybased formulation of the twofield poroelasticity model and the related multiplenetwork model as they appear in the geosciences or medical applications. We propose a portHamiltonian formulation of the system equations, which is beneficial for preserving important system properties after discretization or modelorder reduction. For this, we include the commonly omitted secondorder term and consider the corresponding firstorder formulation. The portHamiltonian formulation of the quasistatic 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 controltheoretic understanding of the poroelastic equations.
 [90] arXiv:2012.01951 [pdf, other]

Title: Multiple solutions for some strongly degenerate second order elliptic equationsComments: Comments and suggestions are welcomeSubjects: 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 1codimensional 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 CohenMacaulayness of varieties parameterized by Togliatti systemsComments: To appear in Annali di Matematica Pura ed ApplicataSubjects: 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+n1}{n1}$, 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 CohenMacaulay 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 problemsSubjects: 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 socalled curse of dimensionality. With just one offline computation, the proposed PGDIR scheme provides a computational vademecum that contains all the possible solutions for a predefined 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 multiobjective optimization setting.
 [93] arXiv:2012.01965 [pdf, other]

Title: Sampling from Unknown Transition Densities of Diffusion processesSubjects: 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 WrightFisher 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, FokkerPlanck partial differential equation, Aronson's bound, Rejection sampling, WrightFisher diffusion.  [94] arXiv:2012.01966 [pdf, ps, other]

Title: Deterministic particle approximation of aggregationdiffusion equations on unbounded domainsComments: 31 pagesSubjects: Analysis of PDEs (math.AP)
We consider an aggregationdiffusion equation, which is the gradient flow in the Wasserstein space of a functional with competing attractiverepulsive interactions.
We prove that the fully deterministic particle approximations introduced in \cite{DiFrancescoRosini} 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 shortrange 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 polynomialsAuthors: Bakir FarhiComments: 12 pagesSubjects: 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 integervalued 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 integervalued.
 [96] arXiv:2012.01970 [pdf, ps, other]

Title: When are sequences of Boolean functions tame?Authors: Malin Palö ForsströmComments: 12 pagesSubjects: Probability (math.PR)
In \cite{js2006}, Steif and Jonasson conjectured that no nondegenerate 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 counterexample 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 firstorder pseudo linear ordinary differential equationsAuthors: G. A. GrigorianSubjects: Classical Analysis and ODEs (math.CA)
In this paper we establish two global solvability criteria for systems of two firstorder 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 EmdenFowler's equations and so on.
 [98] arXiv:2012.01989 [pdf, other]

Title: Gaussian process approach within a datadriven POD framework for fluid dynamics engineering problemsSubjects: Numerical Analysis (math.NA)
This work describes the implementation of a datadriven 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 realworld 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' GraphsComments: 25 pagesSubjects: 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 $(n3)^2$, for every $n \ge 4$. Furthermore, $n4$ is also an eigenvalue of $\mathcal{Q}(n)$, with multiplicity at least $\frac{n2}{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 partitionsComments: 12 pages, 3 figuresSubjects: Combinatorics (math.CO); Mathematical Physics (mathph); 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 "higherorder analogue" of the TracyWidom 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 MicroscopySubjects: 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 theoremsComments: 3 pagesSubjects: History and Overview (math.HO); Geometric Topology (math.GT)
This note is written for a book dedicated to outstanding StPetersburg mathematicians and timed to the ICM2022 in StPetersburg. In accordance with the plan of ICMorganizers, 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 nontrivial invariant subspace?Comments: 50 pagesSubjects: 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 nontrivial 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 nontrivial 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ählerEinstein potentialsComments: 20 pagesSubjects: Complex Variables (math.CV); Differential Geometry (math.DG)
In this note, we investigate some regularity aspects for solutions of degenerate complex MongeAmp\`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\"ahlerEinstein 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\'eronSeveri group. This yields in particular the continuity of K\"ahlerEinstein potentials on any irreducible CalabiYau variety. We show that the corresponding associated singular K\"ahlerEinstein 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 densitiesAuthors: el Houcein el AbdalaouiComments: 8 pages.3 references. A scientific comments, questions or remarks are welcomeSubjects: 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 RadonNikodym derivative. Namely, we obtain a symmetric version of Seaki Theorem but the flat RadonNikodym 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 SharingComments: Proceedings of American Control Conference, 2015Subjects: 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$teamoptimal 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 finitestate RL algorithm whose approximation error converges to zero exponentially fast. We illustrate the proposed approach and verify it numerically by obtaining a decentralized Qlearning algorithm for twouser Multi Access Broadcast Channel (MABC) which is a benchmark example for decentralized control systems.
 [107] arXiv:2012.02052 [pdf, other]

Title: TeamOptimal Solution of Finite Number of MeanField Coupled LQG SubsystemsComments: Proceedings of IEEE Conference on Decision and Control, 2015Subjects: 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 perstep cost function are coupled through their meanfield (empirical average). The system has meanfield sharing information structure, i.e., each controller observes the state of its local subsystem (either perfectly or with noise) and the meanfield. 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 graphsSubjects: Combinatorics (math.CO)
A graph H is common if the number of monochromatic copies of H in a 2edgecolouring 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 socalled triangletrees, 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 triangletree 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 padic Simpson correspondenceComments: 16 pagesSubjects: Algebraic Geometry (math.AG)
We show a comparison theorem for Faltings' Simpson correspondence and Scholze's RiemannHilbert correspondence.
 [110] arXiv:2012.02060 [pdf, ps, other]

Title: On the multisimplicial cup productComments: 17 pagesSubjects: 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 EilenbergZilber 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 COVID19 Case in SpainComments: 28 pages, 14 Figures, list of 18 resourcesSubjects: 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 COVID19 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 noncovered 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 divideetconquer mathheuristic approach. We report the results of applying our approach to the data of the COVID19 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 Wignertype theoremsSubjects: Mathematical Physics (mathph)
Let $H$ be a complex Hilbert space and let ${\mathcal P}(H)$ be the associated projective space (the set of rankone projections). Suppose that $\dim H\ge 3$. We prove the following Wignertype theorem: if $H$ is finitedimensional, then every orthogonality preserving transformation of ${\mathcal P}(H)$ is induced by a unitary or antiunitary 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 conjugatelinear isometry ($H$ is not assumed to be finitedimensional). 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 conesAuthors: Gábor SzékelyhidiComments: 60 pagesSubjects: Differential Geometry (math.DG)
We show that the cylindrical tangent cone $C\times \mathbf{R}$ for an areaminimizing 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 nonisolated singularities.
 [114] arXiv:2012.02075 [pdf, ps, other]

Title: Learning reducedorder models of quadratic control systems from inputoutput dataComments: 8 pages, 6 figuresSubjects: 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 inputoutput data. The proposed method first constructs a reducedorder 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 GCDsSubjects: 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 AB$ pairs $(a,b) \in A \times B$ then $AB \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 PrivacySubjects: 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 nonprivate and private settings. In the local model, private mechanisms with provably optimal sample complexity are known. However, they are optimal only in the worstcase 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 nonuniformly selected random supports and insights into sparse approximationSubjects: Probability (math.PR)
In this paper we derive tail bounds on the norms of random submatrices with nonuniformly 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 nonuniform case and test their performance numerically.
 [118] arXiv:2012.02084 [pdf, ps, other]

Title: Global existence of solutions and smoothing effects for classes of reactiondiffusion equations on manifoldsComments: 29 pages. arXiv admin note: text overlap with arXiv:2006.10354Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We consider the porous medium equation with a powerlike 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 varietiesComments: v1: 17 pages, preliminary versionSubjects: Algebraic Geometry (math.AG)
Given a connected reductive algebraic group $G$ and a Borel subgroup $B \subset G$, we study $B$normalized oneparameter 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 oneparameter additive group action.
 [120] arXiv:2012.02126 [pdf, ps, other]

Title: Conservative stochastic PDE and fluctuations of the symmetric simple exclusion processSubjects: 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 smallnoise limit, we show that the fluctuations of the solutions are to firstorder 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 zeronoise 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 functionComments: 15 pages, 16 figueresSubjects: Differential Geometry (math.DG)
In this work we define the surfaces spherical type via support function (in short, SSsurfaces). We present a Weierstrass type representation for SSsurfaces 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 SSsurface is the sphere and we give explicit examples of SSsurfaces.
 [122] arXiv:2012.02137 [pdf, other]

Title: Derived equivalences of stacky curvesComments: 25 pagesSubjects: 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 ApplicationsSubjects: 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 nontrivial gradient Yamabe soliton on generalized RobertsonWalker spacetimes, standard static spacetimes and Walker manifolds.
 [124] arXiv:2012.02143 [pdf, ps, other]

Title: The Discontinuity ProblemAuthors: Vasco BrattkaSubjects: 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 ZermeloFraenkel 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 zerosAuthors: Matt HohertzSubjects: 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 fullydiscrete approximations of 1D parabolic equationsSubjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Optimization and Control (math.OC)
In this paper, we prove a Carleman estimate for fullydiscrete 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 fullydiscrete linear and semilinear parabolic equations.
 [127] arXiv:2012.02158 [pdf, ps, other]

Title: Real Submanifolds in $\mathcal{BSD}$ModelsAuthors: Valentin BurceaComments: First version. More or less wellwritten. 9 pagesSubjects: Complex Variables (math.CV); Differential Geometry (math.DG)
There are obtained few nonequidimensional analogues of the wellknown Theorem of Moser.
 [128] arXiv:2012.02159 [pdf, ps, other]

Title: Extremal density for sparse minors and subdivisionsComments: 33 pages, 6 figuresSubjects: Combinatorics (math.CO)
We prove an asymptotically tight bound on the extremal density guaranteeing subdivisions of boundeddegree 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 minorclosed 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 dualitiesAuthors: Axel OsmondSubjects: Category Theory (math.CT); Algebraic Geometry (math.AG)
This second part comes to the construction of the spectrum associated to a situation of multiadjunction. Exploiting a geometric understanding of its multiversal 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 multiadjunction can be corrected in a situation of adjunction between categories of modeled spaces as in the topostheoretic approach. Then we come to the 2functorial aspects of the process relatively to a 2category 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 multiadjoint functors.
 [130] arXiv:2012.02173 [pdf, ps, other]

Title: CLT with explicit variance for products of random singular matrices related to Hill's equationComments: 20 pagesSubjects: 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 AdamsBlochLagarias. 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 1perfect bitradesSubjects: 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. NelsonComments: 100 pages, 4 figuresSubjects: 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 GanGrossPrasad 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.
Crosslists for Fri, 4 Dec 20
 [133] arXiv:2012.01420 (crosslist from cs.CC) [pdf, other]

Title: Constructing Segmented Differentiable Quadratics to Determine Algorithmic Run Times and Model NonPolynomial FunctionsAuthors: Ananth GoyalComments: Regeneron Science Talent Search (STS) SubmissionSubjects: 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 nonpolynomial functions, such as $\log_2{n}$ or $\frac{n+1}{n2}$, 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 (crosslist from condmat.statmech) [pdf, other]

Title: Relevance in the Renormalization Group and in Information TheorySubjects: Statistical Mechanics (condmat.statmech); Disordered Systems and Neural Networks (condmat.disnn); 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 trainingdependent 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 informationtheoretic notion of relevance defined in the Information Bottleneck (IB) formalism of compression theory, and the fieldtheoretic 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 (crosslist from quantph) [pdf, other]

Title: Constructing quantum codes from any classical code and their embedding in ground space of local HamiltoniansComments: 29 pages + references ; 7 figuresSubjects: Quantum Physics (quantph); Strongly Correlated Electrons (condmat.strel); Mathematical Physics (mathph)
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 selforthogonal (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 2local 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 sidesteps the BravyiTerhal nogo 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 (crosslist from cs.LG) [pdf, ps, other]

Title: SecondOrder Guarantees in Federated LearningSubjects: 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 nonconvex optimization problems. Nevertheless, most existing analysis are either limited to convex loss functions, or only establish firstorder stationarity, despite the fact that saddlepoints, which are firstorder stationary, are known to pose bottlenecks in deep learning. We draw on recent results on the secondorder optimality of stochastic gradient algorithms in centralized and decentralized settings, and establish secondorder guarantees for a class of federated learning algorithms.
 [137] arXiv:2012.01545 (crosslist from cs.LG) [pdf, other]

Title: Machine learning prediction of critical transition and system collapseComments: 5 pages, 3 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS); Data Analysis, Statistics and Probability (physics.dataan)
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 (crosslist from eess.SP) [pdf, other]

Title: MillimeterWave Massive MIMO Testbed with Hybrid BeamformingAuthors: MinKeun Chung, Liang Liu, Andreas Johansson, Martin Nilsson, Olof Zander, Zhinong Ying, Fredrik Tufvesson, Ove EdforsComments: 54th Asilomar Conference on Signals, Systems, and Computers, Nov. 2020Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Massive multipleinput multipleout (MIMO) technology is vital in millimeterwave (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 energyefficient systems. In this paper, we present a realtime mmWave (28 GHz) massive MIMO testbed with hybrid beamforming. This testbed has a 64antenna/16TRx unit for beamselection, which can be expanded to larger array sizes in a modular way. For testing everything from baseband processing algorithms to scheduling and beamselection in real propagation environments, we extend the capability of an existing 100antenna/100TRx massive MIMO testbed (below 6 GHz), built upon softwaredefined radio technology, to a flexible mmWave massive MIMO system.
 [139] arXiv:2012.01613 (crosslist from physics.aoph) [pdf, other]

Title: Mitigating climate tipping points under various emission reduction and carbon capture scenariosSubjects: Atmospheric and Oceanic Physics (physics.aoph); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
We study the mitigation of climate tipping point transitions using a BudykoSellerstype 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 onethird 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 (crosslist from cs.LG) [pdf, other]

Title: Neural Network Approximations of Compositional Functions With Applications to Dynamical SystemsComments: 40 pages, 18 figuresSubjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)
As demonstrated in many areas of reallife 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 inputoutput 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 (crosslist from cs.DC) [pdf, other]

Title: Distributed algorithms for fractional coloringComments: 12 pages, 2 figuresSubjects: 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 (crosslist from stat.ME) [pdf, other]

Title: Nonparametric Quantile Regression via the KNN Fused LassoSubjects: 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 nonparametric 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 (crosslist from physics.fludyn) [pdf, ps, other]

Title: PortHamiltonian Modeling of Ideal Fluid Flow: Part II. Compressible and Incompressible FlowComments: This is a prevprint submitted to the journal of Geometry and Physics. Please DO NOT CITE this version, but only the published manuscriptSubjects: Fluid Dynamics (physics.fludyn); Mathematical Physics (mathph); Differential Geometry (math.DG)
Part I of this paper presented a systematic derivation of the Stokes Dirac structure underlying the portHamiltonian 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 portHamiltonian 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 portHamiltonian system for representing a number of fluiddynamical 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 (crosslist from nlin.CD) [pdf, other]

Title: On the interpretation of Dirac $δ$ pulses in differential equations for phase oscillatorsSubjects: 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 (crosslist from cs.LO) [pdf, other]

Title: String Diagram Rewrite Theory I: Rewriting with Frobenius StructureSubjects: 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 wellunderstood, the twodimensional 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 doublepushout 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 (crosslist from grqc) [pdf, ps, other]

Title: Null infinity as an open Hamiltonian systemAuthors: Wolfgang WielandSubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
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 timedependent 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 quasilocal 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 NewmanPenrose 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 nonperturbative 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 WaldZoupas framework to render the quasiconserved charges integrable. The term to be added is simply the derivative of the Hamiltonian with respect to the background fields that drive the timedependence 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 (crosslist from cs.CV) [pdf, other]

Title: Multimode Core Tensor Factorization based LowRankness and Its Applications to Tensor CompletionSubjects: Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)
Lowrank tensor completion has been widely used in computer vision and machine learning. This paper develops a tensor lowrank decomposition method together with a tensor lowrankness 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 lowrank structure based on few known inputs. This metric encodes lowrank insights for general tensors provided by Tucker and TSVD. 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 (crosslist from cs.LG) [pdf, ps, other]

Title: A Stochastic PathIntegrated Differential EstimatoR Expectation Maximization AlgorithmJournalref: Proceedings of the Conference on Neural Information Processing Systems (NeurIPS 2020), 2020Subjects: 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{SPIDEREM}, 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 pathintegrated differential estimator ({\tt SPIDER}) technique. We derive finitetime complexity bounds for smooth nonconvex 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 persample conditional expectations evaluations. This improves over the stateoftheart algorithms. Numerical results support our findings.
 [149] arXiv:2012.01978 (crosslist from cs.LG) [pdf, other]

Title: Asymptotic convergence rate of Dropout on shallow linear neural networksComments: 45 pages, 5 figuresSubjects: 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,1valued 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 (crosslist from eess.SY) [pdf, other]

Title: Fundamental StealthinessDistortion Tradeoffs in Dynamical (Control) Systems under Injection Attacks: A Power Spectral AnalysisSubjects: 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 stealthinessdistortion tradeoffs of linear Gaussian openloop dynamical systems and (closedloop) feedback control systems under data injection attacks using a power spectral analysis, whereas the KullbackLeibler (KL) divergence is employed as the stealthiness measure. Particularly, we obtain explicit formulas in terms of power spectra that characterize analytically the stealthinessdistortion tradeoffs as well as the properties of the worstcase attacks. Furthermore, it is seen in general that the attacker only needs to know the inputoutput behaviors of the systems in order to carry out the worstcase attacks.
 [151] arXiv:2012.02079 (crosslist from condmat.statmech) [pdf, other]

Title: Effective freefermionic form factors and the XY spin chainSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
We introduce effective form factors for onedimensional 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 rederive the asymptotics of static correlation functions of the XY quantum chain at finite temperature.
 [152] arXiv:2012.02113 (crosslist from qbio.PE) [pdf, other]

Title: Entropy and Diversity: The Axiomatic ApproachAuthors: Tom LeinsterComments: Book, viii + 442 pages, to be published by Cambridge University Press in April 2021Subjects: Populations and Evolution (qbio.PE); Information Theory (cs.IT); Classical Analysis and ODEs (math.CA); Category Theory (math.CT); Quantitative Methods (qbio.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 (crosslist from cs.DS) [pdf, other]

Title: Robustly Learning Mixtures of $k$ Arbitrary GaussiansAuthors: Ainesh Bakshi, Ilias Diakonikolas, He Jia, Daniel M. Kane, Pravesh K. Kothari, Santosh S. VempalaSubjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
We give a polynomialtime 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 TVdistance separated Gaussians, and (c) a uniform mixture of two Gaussians. Our main tools are an efficient \emph{partial clustering} algorithm that relies on the sumofsquares method, and a novel tensor decomposition algorithm that allows errors in both Frobenius norm and lowrank terms.
 [154] arXiv:2012.02134 (crosslist from cs.LG) [pdf, other]

Title: Manifold Learning and Deep Clustering with Local DictionariesComments: 14 pages, 6 figuresSubjects: 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 (crosslist from cs.LG) [pdf, other]

Title: Stochastic Gradient Descent with Nonlinear Conjugate GradientStyle Adaptive MomentumComments: 17 pages, 2 figuresSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC)
Momentum plays a crucial role in stochastic gradientbased optimization algorithms for accelerating or improving training deep neural networks (DNNs). In deep learning practice, the momentum is usually weighted by a wellcalibrated 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 sumsComments: 12 pages. Corrected, updated version: an important condition is added to the statement of Theorem 7Subjects: Metric Geometry (math.MG)
 [157] arXiv:1602.06178 (replaced) [pdf, other]

Title: Generalized Kahler TaubNUTs and Two Exceptional InstantonsAuthors: Brian WeberSubjects: Differential Geometry (math.DG)
 [158] arXiv:1606.03113 (replaced) [pdf, other]

Title: Tilings in graphonsComments: 25 pages, 5 figures; to appear in European Journal of CombinatoricsSubjects: Combinatorics (math.CO)
 [159] arXiv:1608.08675 (replaced) [pdf, ps, other]

Title: A review of the Erd\H osKac theoremAuthors: Achillefs TzioufasComments: Minor correction, title changed. Ref. UnpublishedSubjects: Probability (math.PR)
 [160] arXiv:1610.09612 (replaced) [pdf, ps, other]

Title: Fundamental group of Galois covers of degree 5 surfacesComments: 25 pages, 11 figuresSubjects: 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 ProblemAuthors: ZhiWei SunComments: 32 pages. Accepted by Sci. China MathSubjects: Number Theory (math.NT); Logic (math.LO)
 [162] arXiv:1711.00610 (replaced) [pdf, ps, other]

Title: Dynamical HartreeFockBogoliubov Approximation of Interacting BosonsSubjects: 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 SizesComments: 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 quantizationComments: 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 contentSubjects: Mathematical Physics (mathph)
 [165] arXiv:1804.07622 (replaced) [pdf, ps, other]

Title: An outline of shifted Poisson structures and deformation quantisation in derived differential geometryAuthors: J. P. PridhamComments: 43 pp; v2 updated with more quantisation results; v3 correction in 3.4.3Subjects: 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 groupsAuthors: Christian HirschComments: 42 pagesSubjects: 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 subsetsComments: v2: The proof of Theorem 5.23 is amended; v3: correction of typos and minor changes on wordingSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
 [168] arXiv:1808.08116 (replaced) [pdf, other]

Title: Performance Limits of SingleAnchor MillimeterWave PositioningAuthors: Anastasios Kakkavas, Mario H. Castañeda García, Richard A. StrirlingGallacher, Josef A. NossekComments: accepted for publication in IEEE Transactions on Wireless CommunicationsJournalref: IEEE Transactions on Wireless Communications, vol. 18, no. 11, pp. 51965210, Nov. 2019Subjects: Information Theory (cs.IT)
 [169] arXiv:1809.03678 (replaced) [pdf, ps, other]

Title: Equivariant cohomology of torus orbifoldsComments: 28 pages, 11 figuresSubjects: Algebraic Topology (math.AT)
 [170] arXiv:1809.11028 (replaced) [pdf, ps, other]

Title: Deformation quantisation for $(2)$shifted symplectic structuresAuthors: J.P.PridhamComments: 40pp; v2 new material on fundamental classesSubjects: Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
 [171] arXiv:1811.02551 (replaced) [pdf, ps, other]

Title: Topological defects in lattice models and affine TemperleyLieb algebraComments: 44 pages, v2: much improved version with few sections rewritten, new result in Theorem 2.1, many typos fixedSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Algebra (math.QA); Representation Theory (math.RT)
 [172] arXiv:1812.07761 (replaced) [pdf, ps, other]

Title: Stable highorder randomized cubature formulae in arbitrary dimensionSubjects: Numerical Analysis (math.NA)
 [173] arXiv:1902.03957 (replaced) [pdf, ps, other]

Title: The Kato Square Root Problem on locally uniform domainsComments: Minor changes during publication processSubjects: Functional Analysis (math.FA)
 [174] arXiv:1903.01100 (replaced) [pdf, other]

Title: Trace operator on von Koch's snowflakeSubjects: Functional Analysis (math.FA)
 [175] arXiv:1903.05671 (replaced) [pdf, ps, other]

Title: Accelerated FirstOrder Methods: Differential Equations and Lyapunov FunctionsAuthors: Jonathan W. SiegelComments: 15 pages, 0 figuresSubjects: Optimization and Control (math.OC)
 [176] arXiv:1903.12013 (replaced) [pdf, ps, other]

Title: Maximal operators on Lorentz spaces in nondoubling settingAuthors: Dariusz KoszSubjects: Classical Analysis and ODEs (math.CA)
 [177] arXiv:1904.08584 (replaced) [pdf, ps, other]

Title: Zeroone laws for eventually always hitting points in in rapidly mixing systemsComments: 28 pages, revised version with fixed typos, added remarks, and other small changesSubjects: Dynamical Systems (math.DS)
 [178] arXiv:1904.09511 (replaced) [pdf, other]

Title: The Elliptic Drinfeld Center of a Premodular CategoryAuthors: Ying Hong ThamComments: 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: SubWeibull distributions: generalizing subGaussian and subExponential properties to heaviertailed distributionsComments: 10 pages, 3 figuresJournalref: 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 DecompositionAuthors: 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 nonnormalized modelsSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Machine Learning (stat.ML)
 [182] arXiv:1906.01671 (replaced) [pdf, other]

Title: 5G Downlink MultiBeam Signal Design for LOS PositioningAuthors: Anastasios Kakkavas, Gonzalo SecoGranados, Henk Wymeersch, Mario H. Castañeda García, Richard A. StirlingGallacher, Josef A. NossekComments: accepted for publication at IEEE GLOBECOM 2019Journalref: IEEE Global Communications Conference (GLOBECOM), Waikoloa, HI, USA, 2019, pp. 16Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [183] arXiv:1906.08611 (replaced) [pdf, other]

Title: More Efficient Policy Learning via Optimal RetargetingAuthors: Nathan KallusSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
 [184] arXiv:1906.10091 (replaced) [pdf, other]

Title: Fixedtime Control under Spatiotemporal and Input Constraints: A Quadratic Program Based ApproachComments: Submitted to IEEE Transactions on Automatic Control, under reviewSubjects: 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 GrunwaldWang assumptionSubjects: Number Theory (math.NT); Representation Theory (math.RT)
 [186] arXiv:1907.11359 (replaced) [pdf, other]

Title: On Weissler's conjecture on the Hamming cube IComments: The final version accepted to IMRNSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
 [187] arXiv:1908.04706 (replaced) [pdf, other]

Title: GromovWitten theory with maximal contactsComments: 27 pages, 1 figure. Comments welcome. v2: corrects a significant error in v1, see new abstract and introductionSubjects: Algebraic Geometry (math.AG)
 [188] arXiv:1908.06457 (replaced) [pdf, other]

Title: Bifurcation for Minimal Surface Equation in Hyperbolic $3$ManifoldsComments: Final version, to appear Annales de l'Institut Henri Poincar\'e C, Analyse non lin\'eaireSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
 [189] arXiv:1908.08407 (replaced) [pdf, other]

Title: Coordination Through Shared RandomnessComments: 27 pages, 7 figures. Some results of this paper were presented at ISIT 2018 and ITW 2019. This paper subsumes arXiv:1805.03193Subjects: Information Theory (cs.IT)
 [190] arXiv:1908.09889 (replaced) [pdf, ps, other]

Title: Weights of uniform spanning forests on nonunimodular transitive graphsAuthors: Pengfei TangComments: Several mistakes corrected, in particular, Proposition 4.14 in the previous versionSubjects: Probability (math.PR)
 [191] arXiv:1909.00782 (replaced) [pdf, ps, other]

Title: A reverse Minkowskitype inequalityJournalref: Proc. Amer. Math. Soc. 148 (2020), 49074922Subjects: 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 modulesAuthors: Tyrone CrispComments: 10 pages. Minor changes to the exposition; corrected an error in Remarks 6 not affecting the rest of the paperSubjects: Operator Algebras (math.OA)
 [193] arXiv:1910.13133 (replaced) [pdf, ps, other]

Title: Selforthogonal codes constructed from weakly selforthogonal 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 spacesComments: 7 pagesSubjects: 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 learningComments: 34 pages, 3rd version, we extended the applicability of our theorems to autoregressive processes in random environmentsSubjects: Probability (math.PR); Statistics Theory (math.ST); Data Analysis, Statistics and Probability (physics.dataan); Machine Learning (stat.ML)
 [196] arXiv:1911.11331 (replaced) [pdf, ps, other]

Title: Objectunital groupoid graded modulesSubjects: Rings and Algebras (math.RA)
 [197] arXiv:1911.11891 (replaced) [pdf, ps, other]

Title: Singular solutions for the constant $Q$curvature problemComments: arXiv admin note: text overlap with arXiv:1609.08988 by other authorsJournalref: J. Funct. Anal. 280 (2021), no. 3, 108819Subjects: 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 GamesComments: 30 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
 [199] arXiv:1912.10303 (replaced) [pdf, other]

Title: Shadow Lagrangian dynamics for superfluiditySubjects: 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 existenceComments: minor revisionSubjects: 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 caseAuthors: Othmane SafsafiComments: Notations adjustments. Minor corrections. 1 figure, +7 figures. 50 pages, 7 figuresSubjects: Probability (math.PR)
 [202] arXiv:2001.04863 (replaced) [pdf, other]

Title: Physical Layer Security for NOMA Transmission in mmWave Drone NetworksSubjects: Information Theory (cs.IT)
 [203] arXiv:2001.11289 (replaced) [pdf]

Title: Nearoptimal analysis of Lasserre's univariate measurebased bounds for multivariate polynomial optimizationComments: 18 pages, 5 figures. Added further numerical examples. Extended the main analysis to compact semialgebraic sets with dense interiorSubjects: Optimization and Control (math.OC)
 [204] arXiv:2002.03974 (replaced) [pdf, ps, other]

Title: On a frame energy problemComments: 11 pages, second versionSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
 [205] arXiv:2002.06524 (replaced) [pdf, other]

Title: Tensor denoising and completion based on ordinal observationsComments: 35 pages, 6 figuresJournalref: Proceedings of the 37th International Conference on Machine Learning(ICML), 2020Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
 [206] arXiv:2002.12606 (replaced) [pdf, other]

Title: Modelling HighDimensional Categorical Data Using Nonconvex Fusion PenaltiesComments: 47 pages, 6 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO); Machine Learning (stat.ML)
 [207] arXiv:2003.01244 (replaced) [pdf, ps, other]

Title: Universal quiversComments: Section 3 ("Quivers of plabic graphs") is new. 22 pages, 16 figuresSubjects: Combinatorics (math.CO); Rings and Algebras (math.RA)
 [208] arXiv:2003.05768 (replaced) [pdf, ps, other]

Title: Stickelberger annihilators of logarithmic class groupsAuthors: JeanFrançois Jaulent (IMB)Comments: in FrenchSubjects: Number Theory (math.NT)
 [209] arXiv:2003.10526 (replaced) [pdf, ps, other]

Title: Hessian metric via transport information geometryAuthors: Wuchen LiSubjects: Differential Geometry (math.DG); Information Theory (cs.IT); Mathematical Physics (mathph)
 [210] arXiv:2004.00744 (replaced) [pdf, other]

Title: Pattern graphs: a graphical approach to nonmonotone missing dataAuthors: YenChi ChenComments: Main paper: 25 pages. We added semiparametric theory of pattern graphs in Section 3.3Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [211] arXiv:2004.01475 (replaced) [pdf, ps, other]

Title: Ergodic theorems for queuing systems with dependent interarrival timesComments: substantially revised, many added referencesSubjects: 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 costsSubjects: Optimization and Control (math.OC); Probability (math.PR); Risk Management (qfin.RM)
 [213] arXiv:2004.04921 (replaced) [pdf, ps, other]

Title: Primitive multiple schemesAuthors: JeanMarc DrézetComments: 54 pages to appear in European Journal of MathematicsSubjects: 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 applicationsComments: 70 pagesSubjects: Metric Geometry (math.MG); Mathematical Physics (mathph); Differential Geometry (math.DG); Optimization and Control (math.OC)
 [215] arXiv:2004.10961 (replaced) [pdf, other]

Title: Bragg scattering tomographyComments: 39 pages, 13 figuresSubjects: 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 CSIComments: Accepted in IEEE Transcations on Wireless CommunicationsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
 [217] arXiv:2005.02422 (replaced) [pdf, other]

Title: The Prime state and its quantum relativesSubjects: Quantum Physics (quantph); Number Theory (math.NT)
 [218] arXiv:2005.07618 (replaced) [pdf, ps, other]

Title: A class of continuous nonassociative algebras arising from algebraic groups including $E_8$Comments: v4 provides various expositional improvements. Results on E8 remain the same as in v1Subjects: 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 reactorsComments: New version has multiple updates, clarifications in the text and new figuresSubjects: Computational Physics (physics.compph); Numerical Analysis (math.NA)
 [220] arXiv:2005.07879 (replaced) [pdf, other]

Title: Construction of 1Bit Transmit Signal Vectors for Downlink MUMISO Systems: QAM constellationsComments: 9 pages, 6 figures, submitted to IEEE Transactions on Vehicular TechnologySubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [221] arXiv:2005.10761 (replaced) [pdf, other]

Title: rTopk: A Statistical Estimation Approach to Distributed SGDSubjects: 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 FermiPastaUlamTsingou LatticesComments: 25 pages, 14 figures; v2: minor revisionsSubjects: 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 NLSAuthors: Saikatul HaqueComments: 19 pages, 1 figureSubjects: 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 diffusionsComments: 40 pagesSubjects: Statistics Theory (math.ST)
 [225] arXiv:2006.00717 (replaced) [pdf, other]

Title: On the optimality of joint periodic and extraordinary dividend strategiesSubjects: Risk Management (qfin.RM); Optimization and Control (math.OC); Applications (stat.AP)
 [226] arXiv:2006.03419 (replaced) [pdf, ps, other]

Title: Completeness in quasipseudometric spacesAuthors: S. CobzaşComments: 19 p, entirely revised, a new notion of Cauchy net proposedJournalref: Published in Mathematics 2020, 8, 1279Subjects: General Mathematics (math.GM)
 [227] arXiv:2006.12042 (replaced) [pdf, other]

Title: Synthesis of CNOTDihedral circuits with optimal number of two qubit gatesComments: 9 pages. Accepted to Quantum on 30 Nov 2020Subjects: Quantum Physics (quantph); Group Theory (math.GR)
 [228] arXiv:2006.14040 (replaced) [pdf, other]

Title: UnWeyling the Clifford HierarchySubjects: Quantum Physics (quantph); Information Theory (cs.IT)
 [229] arXiv:2006.14259 (replaced) [pdf, other]

Title: Space Kinematics and Projective Differential Geometry Over the Ring of Dual NumbersSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
 [230] arXiv:2007.03582 (replaced) [pdf, other]

Title: Surfaces have (asymptotic) dimension 2Authors: Marthe Bonamy, Nicolas Bousquet, Louis Esperet, Carla Groenland, François Pirot, Alex ScottComments: 35 pages, 4 figures  v3: correction of the statements of Theorem 5.2, Corollary 5.3 and Theorem 5.9Subjects: 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 topologyComments: 9 pagesSubjects: 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 nonreversible processesSubjects: Numerical Analysis (math.NA)
 [233] arXiv:2007.09630 (replaced) [pdf, other]

Title: Finding the Global Optimum of a Class of Quartic Minimization ProblemSubjects: 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 iterationSubjects: Dynamical Systems (math.DS)
 [235] arXiv:2007.13174 (replaced) [pdf, ps, other]

Title: Dynamics on Bungee Set of Transcendental entire FunctionsComments: 9 pages. Work in progress. Comments are welcomeSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
 [236] arXiv:2008.01887 (replaced) [pdf, ps, other]

Title: Finitetime blowup prevention by logistic source in parabolicelliptic chemotaxis models with singular sensitivity in any dimensional settingSubjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
 [237] arXiv:2008.01913 (replaced) [pdf, other]

Title: Generalization Guarantees for Imitation LearningComments: Presented at the Conference on Robot Learning (CoRL), 2020Subjects: 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 curvesAuthors: John BoxallComments: 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: RankinSelberg integrals for local symmetric square factors on $GL\mathrm{(2)}$Authors: Yeongseong JoSubjects: 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 constraintComments: 19 pagesSubjects: Numerical Analysis (math.NA)
 [241] arXiv:2008.11884 (replaced) [pdf, ps, other]

Title: Orthogonal rational functions with real poles, root asymptotics, and GMP matricesSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph); Classical Analysis and ODEs (math.CA)
 [242] arXiv:2009.04783 (replaced) [pdf, ps, other]

Title: Bounds on amplitude damping channel discriminationComments: 15 pages. 7 figuresSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
 [243] arXiv:2009.08609 (replaced) [pdf, other]

Title: Large Deviations in OneDimensional Random Sequential AdsorptionAuthors: P. L. KrapivskyComments: 11 pages, 2 figuresJournalref: Phys. Rev. E 102, 062108 (2020)Subjects: Statistical Mechanics (condmat.statmech); Probability (math.PR)
 [244] arXiv:2009.08940 (replaced) [pdf, other]

Title: An infection process near criticality: Influence of the initial conditionAuthors: P. L. KrapivskyComments: 13 pages, 3 figuresSubjects: Populations and Evolution (qbio.PE); Statistical Mechanics (condmat.statmech); Probability (math.PR); Physics and Society (physics.socph)
 [245] arXiv:2009.10209 (replaced) [pdf, ps, other]

Title: Almostnormality of IsbellMrówka spacesComments: Postprint, accepted in Topology and its ApplicationsSubjects: General Topology (math.GN)
 [246] arXiv:2009.10761 (replaced) [pdf, other]

Title: On the Locality of NashWilliams Forest Decomposition and StarForest DecompositionSubjects: 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 HybridARQBased Intelligent Reflecting SurfaceAssisted Communication SystemComments: 3 pages, 4 figuresSubjects: Information Theory (cs.IT)
 [248] arXiv:2009.11650 (replaced) [src]

Title: An endpoint estimate for the commutators of singular integral operators with rough kernelsComments: There exists a terrible mistake in the proof of Lemma 2.3Subjects: Classical Analysis and ODEs (math.CA)
 [249] arXiv:2009.13963 (replaced) [pdf, ps, other]

Title: A LittlewoodRichardson rule for Koornwinder polynomialsAuthors: Kohei YamaguchiComments: 32 pagesSubjects: Representation Theory (math.RT)
 [250] arXiv:2010.00478 (replaced) [pdf, other]

Title: A survey of mass partitionsComments: 37 pages, 8 figures, 1 tableSubjects: 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 propertyAuthors: Daniel TsaiComments: 14 pagesSubjects: Number Theory (math.NT)
 [252] arXiv:2010.05678 (replaced) [pdf, ps, other]

Title: Distinction inside Lpackets of SL(n)Comments: Merged with withdrawn arXiv:1906.11560. We simplified some arguments and removed an unnecessary GrunwaldWang assumptionSubjects: Representation Theory (math.RT); Number Theory (math.NT)
 [253] arXiv:2010.07378 (replaced) [pdf, other]

Title: Boosting OnePoint DerivativeFree Online Optimization via Residual FeedbackSubjects: 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 programmingComments: arXiv admin note: text overlap with arXiv:2009.09646Subjects: Computational Engineering, Finance, and Science (cs.CE); Combinatorics (math.CO)
 [255] arXiv:2010.12058 (replaced) [pdf, ps, other]

Title: An overview of block GramSchmidt methods and their stability propertiesComments: 42 pages, 5 tables, 17 figures, 20 algorithmsSubjects: Numerical Analysis (math.NA)
 [256] arXiv:2011.02560 (replaced) [pdf, ps, other]

Title: Independent Gaussian Distributions Minimize the KullbackLeibler (KL) Divergence from Independent Gaussian DistributionsSubjects: 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 structuresComments: 37 pages. Latest version: minor corrections; added details to some proofsSubjects: 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: Sumofsquares hierarchies for binary polynomial optimizationComments: 23 pages, 1 figure. Fixed a typo in Theorem 1 and Theorem 3Subjects: Optimization and Control (math.OC)
 [259] arXiv:2011.06398 (replaced) [pdf, ps, other]

Title: Spherical coverings and Xraying convex bodies of constant widthSubjects: Metric Geometry (math.MG)
 [260] arXiv:2011.07628 (replaced) [pdf, other]

Title: Law of large numbers for the drift of twodimensional wreath productSubjects: Probability (math.PR); Group Theory (math.GR)
 [261] arXiv:2011.08547 (replaced) [pdf, ps, other]

Title: Trend to equilibrium for granular media equations under nonconvex potential and application to logCoulomb gasesAuthors: Scander MustaphaSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
 [262] arXiv:2011.08830 (replaced) [pdf, other]

Title: Stable maps to Looijenga pairsComments: 114 pages (80pp+appendices), 40 figures. v2: minor changes, references addedSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [263] arXiv:2011.09514 (replaced) [pdf, ps, other]

Title: Hidden chaos factors inducing random walks which reduce hospital operative efficiencyComments: 33 pages, 7 figures, 3 tablesSubjects: Information Theory (cs.IT)
 [264] arXiv:2011.09922 (replaced) [pdf, ps, other]

Title: Regularity for graphs with bounded anisotropic mean curvatureComments: We fixed a typo in the statement of Theorem ASubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG); Functional Analysis (math.FA)
 [265] arXiv:2011.10554 (replaced) [pdf, other]

Title: Multiorbital Flat Band Ferromagnetism with a Provable Percolation RepresentationSubjects: Strongly Correlated Electrons (condmat.strel); Mathematical Physics (mathph)
 [266] arXiv:2011.11402 (replaced) [pdf, other]

Title: The linear and nonlinear instability of the Akhmediev breatherAuthors: 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 versionSubjects: Pattern Formation and Solitons (nlin.PS); Mathematical Physics (mathph); Fluid Dynamics (physics.fludyn); Optics (physics.optics)
 [267] arXiv:2011.12632 (replaced) [pdf, ps, other]

Title: Lower regularity assumption for an EulerLagrange equation on the contact line of the phase dependent Helfrich energyAuthors: Sascha EichmannComments: 15 pages, 3 figures. Added relevant references and fixed some typosSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
 [268] arXiv:2011.12993 (replaced) [pdf, ps, other]

Title: Lipschitz algebras and Lipschitzfree spaces over unbounded metric spacesSubjects: Functional Analysis (math.FA)
 [269] arXiv:2011.13499 (replaced) [pdf, ps, other]

Title: Contact Geometry in Superconductors and New Massive GravitySubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [270] arXiv:2011.13580 (replaced) [pdf, other]

Title: A Sheaf and Topology Approach to Generating Local Branch Numbers in Digital ImagesSubjects: Computer Vision and Pattern Recognition (cs.CV); Algebraic Topology (math.AT)
 [271] arXiv:2011.14071 (replaced) [pdf, ps, other]

Title: Counting centralizers and zclasses of some FgroupsAuthors: Sekhar Jyoti BaishyaSubjects: Group Theory (math.GR)
 [272] arXiv:2011.14628 (replaced) [pdf, other]

Title: Catalan triangles and tied arc diagramsAuthors: Francesca AicardiComments: 16 pages, 11 FiguresSubjects: Combinatorics (math.CO); General Topology (math.GN)
 [273] arXiv:2011.14630 (replaced) [pdf, ps, other]

Title: Density and nondensity of $C^\infty_c \hookrightarrow W^{k,p}$ on complete manifolds with curvature boundsComments: 22 pages. Some typos fixed, acknowledgement added. Comments are welcomeSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
 [274] arXiv:2012.00300 (replaced) [src]

Title: On Fujita's semiampleness in the rank one caseAuthors: Yujiro KawamataComments: The result was knownSubjects: 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 integersAuthors: Jibran Iqbal ShahComments: 6 pages, no figures. Comments welcomeSubjects: Number Theory (math.NT)
 [276] arXiv:2012.00719 (replaced) [pdf, ps, other]

Title: Gull's theorem revisitedComments: 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.11338Subjects: Quantum Physics (quantph); Probability (math.PR)
 [277] arXiv:2012.00742 (replaced) [pdf, ps, other]

Title: Spectral Analysis of Word StatisticsSubjects: Probability (math.PR); Combinatorics (math.CO); Statistics Theory (math.ST)
 [278] arXiv:2012.01040 (replaced) [pdf, other]

Title: Interpolationbased irrational model control design and stability analysisComments: Book chapter, 17 pages, 11 figuresSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
 [279] arXiv:2012.01075 (replaced) [pdf, other]

Title: Iterative Detection and Decoding of FiniteLength Polar Codes in Gaussian Multiple Access ChannelsComments: Asilomar2020Subjects: Information Theory (cs.IT)
[ 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)