Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Tue, 22 Sep 20
 [1] arXiv:2009.08975 [pdf, ps, other]

Title: Exploiting Diversity for UltraReliable and LowLatency Wireless ControlComments: 16 pages, 14 figuresSubjects: Information Theory (cs.IT)
This paper introduces a wireless communication protocol for industrial control systems that uses channel quality awareness to dynamically create networkdevice cooperation and assist the nodes in momentary poor channel conditions. To that point, channel state information is used to identify nodes with strong and weak channel conditions. We show that strong nodes in the network are best to be served in a singlehop transmission with transmission rate adapted to their instantaneous channel conditions. Meanwhile, the remainder of timefrequency resources is used to serve the nodes with weak channel condition using a twohop transmission with cooperative communication among all the nodes to meet the target reliability in their communication with the controller. We formulate the achievable multiuser and multiantenna diversity gain in the lowlatency regime, and propose a new scheme for exploiting those on demand, in favor of reliability and efficiency. The proposed transmission scheme is therefore dubbed adaptive networkdevice cooperation (ANDCoop), since it is able to adaptively allocate cooperation resources while enjoying the multiuser diversity gain of the network. We formulate the optimization problem of associating nodes to each group and dividing resources between the two groups. Numerical solutions show significant improvement in spectral efficiency and system reliability compared to the existing schemes in the literature. System design incorporating the proposed transmission strategy can thus reduce infrastructure cost for future private wireless networks.
 [2] arXiv:2009.08977 [pdf, ps, other]

Title: On the spectral $ν$continuitySubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
In this paper we study the $\nu$continuity of the spectrum and some of its parts. We show that the approximate point spectrum $\sigma_{ap}$ is upper semi$\nu$continuous at every Fredholm operator, then we give sufficient conditions to guarantee the $\nu$continuity of $\sigma_{ap}$. Also we show that the restriction of the Weyl spectrum on the class of essentially $G_1$ operators is $\nu$continuous. Finally, we investigate the $\nu$continuity of the spectrum on the class of $p$hyponormal operators.
 [3] arXiv:2009.08998 [pdf, ps, other]

Title: The Frequency of Elliptic Curves Over $\mathbb{Q}[i]$ with Fixed TorsionAuthors: Alan ZhaoComments: 13 pages, 0 figures, under review for publicationSubjects: Number Theory (math.NT)
Mazur's Theorem states that there are precisely 15 possibilities for the torsion subgroup of an elliptic curve defined over the rational numbers. It was previously shown by Harron and Snowden that the number of isomorphism classes of elliptic curves of height up to $X$ that have a specific torsion subgroup $G$ is on the order of $X^{1/{d(G)}}$, for some positive $d(G)$ depending on $G$. We compute $d(G)$ for these groups over $\mathbb{Q}[i]$. Furthermore, in a collection of recent papers it was proven that there are 9 more possibilities for the torsion subgroup in the base field $\mathbb{Q}[i]$. We compute the value of $d(G)$ for these new groups.
 [4] arXiv:2009.09007 [pdf, ps, other]

Title: Robust Orlicz spaces: observations and caveatsSubjects: Probability (math.PR); Mathematical Finance (qfin.MF)
We investigate two different constructions of robust Orlicz spaces as a generalisation of robust $L^p$spaces. Our first construction is topdown and considers the maximal domain of a worstcase Luxemburg norm. From an applied persepective, this approach can be justified by a uniformboundednesstype result. In typical situations, the worstcase Orlicz space agrees with the intersection of the corresponding individual Orlicz spaces. Our second construction produces the closure of a space of test random variables with respect to the worstcase Luxemburg norm. We show that separability of such spaces or their subspaces has very strong implications in terms of dominatedness of the set of priors and thus for applications in the field of robust finance. For instance, norm closures of bounded continuous functions as considered in the $G$framework lead to spaces which are latticeisomorphic to sublattices of a classical $L^1$space lacking, however, Dedekind $\sigma$completeness. We further show that the topological spanning power of options is always limited under nondominated uncertainty.
 [5] arXiv:2009.09018 [pdf, ps, other]

Title: Signed nut graphsComments: 19 pages, 2 figuresSubjects: Combinatorics (math.CO)
Orders for which regular nut graphs exist have been determined recently for the degrees up to $11$. In this paper we extend the notion of nut graphs to signed graphs, i.e. graphs with edges weighted either by $+1$ or $1$. A signed graph is proper if it is not equivalent to an unsigned graph under an intuitive operation of sign switching, otherwise it is traditional. By including signed nut graphs, we find all pairs $(\rho, n)$ for which a $\rho$regular nut graph of order $n$ exists with $\rho \le 11$. In addition, we show how a literature construction for obtaining larger nut graphs can be extended to signed graphs, giving a construction for both proper and traditional $\rho$regular signed nut graphs.
 [6] arXiv:2009.09022 [pdf, ps, other]

Title: Optimal Convergence Rate of SelfConsistent Field Iteration for Solving Eigenvectordependent Nonlinear Eigenvalue ProblemsSubjects: Numerical Analysis (math.NA)
We present a comprehensive convergence analysis for SelfConsistent Field (SCF) iteration to solve a class of nonlinear eigenvalue problems with eigenvectordependency (NEPv). Using a tangentangle matrix as an intermediate measure for approximation error, we establish new formulas for two fundamental quantities that optimally characterize the local convergence of the plain SCF: the local contraction factor and the local average contraction factor. In comparison with previously established results, new convergence rate estimates provide much sharper bounds on the convergence speed. As an application, we extend the convergence analysis to a popular SCF variant  the levelshifted SCF. The effectiveness of the convergence rate estimates is demonstrated numerically for NEPv arising from solving the KohnSham equation in electronic structure calculation and the GrossPitaevskii equation in the modeling of BoseEinstein condensation.
 [7] arXiv:2009.09033 [pdf, ps, other]

Title: Cones of traces arising from AF C*algebrasSubjects: Operator Algebras (math.OA)
We characterize the topological noncancellative cones that are expressible as projective limits of finite powers of $[0,\infty]$. These are also the cones of lower semicontinuous extendedvalued traces on AF C*algebras. Our main result may be regarded as a generalization of the fact that any Choquet simplex is a projective limit of finite dimensional simplices. To obtain our main result, we first establish a duality between certain noncancellative topological cones and Cuntz semigroups with real multiplication. This duality extends the duality between compact convex sets and complete order unit vector spaces to a noncancellative setting.
 [8] arXiv:2009.09037 [pdf, ps, other]

Title: Maximum density of vertexinduced perfect cycles and paths in the hypercubeComments: 11 pages, 0 figuresSubjects: Combinatorics (math.CO)
Let $H$ and $K$ be subsets of the vertex set $V(Q_d)$ of the $d$cube $Q_d$ (we call $H$ and $K$ configurations in $Q_d$). We say $K$ is an \emph{exact copy} of $H$ if there is an automorphism of $Q_d$ which sends $H$ to $K$. If $d$ is a positive integer and $H$ is a configuration in $Q_d$, we define $\pi(H,d)$ to be the limit as $n$ goes to infinity of the maximum fraction, over all subsets $S$ of $V(Q_n)$, of sub$d$cubes of $Q_n$ whose intersection with $S$ is an exact copy of $H$. We determine $\pi(C_8,4)$ and $\pi(P_4,3)$ where $C_8$ is a "perfect" 8cycle in $Q_4$ and $P_4$ is a "perfect" path with 4 vertices in $Q_3$, and make conjectures about $\pi(C_{2d},d)$ and $\pi(P_{d+1},d)$ for larger values of $d$. In our proofs there are connections with counting the number of sequences with certain properties and with the inducibility of certain small graphs. In particular, we needed to determine the inducibility of two vertex disjoint edges in the family of bipartite graphs.
 [9] arXiv:2009.09038 [pdf, ps, other]

Title: Fstable secondary representations and deformation of FinjectivityComments: 9 pages. Comments are welcomeSubjects: Commutative Algebra (math.AC)
We prove that deformation of Finjectivity holds for local rings $(R,\mathfrak{m})$ that admit secondary representations of $H^i_{\mathfrak{m}}(R)$ which are stable under the natural Frobenius action. As a consequence, Finjectivity deforms when $(R,\mathfrak{m})$ is sequentially CohenMacaulay (or more generally when all the local cohomology modules $H^i_{\mathfrak{m}}(R)$ have no embedded attached primes). We obtain some additional cases if $R/\mathfrak{m}$ is perfect or if $R$ is $\mathbb{N}$graded.
 [10] arXiv:2009.09040 [pdf, ps, other]

Title: The twistor space of $R^{4n}$ and BerezinToeplitz operatorsComments: 21 pagesSubjects: Differential Geometry (math.DG)
A hyperk\"ahler manifold $M$ has a family of induced complex structures indexed by a twodimensional sphere $S^2 \cong \mathbb{CP}^1$. The twistor space of $M$ is a complex manifold $Tw(M)$ together with a natural holomorphic projection $Tw(M) \to \mathbb{CP}^1$, whose fiber over each point of $\mathbb{CP}^1$ is a copy of $M$ with the corresponding induced complex structure. For each of these there is a BerezinToeplitz quantization. We remove one point from this sphere (corresponding to one fiber in the twistor space), and for the case of $M = \mathbb{R}^{4n}$, $n\in\mathbb{N}$, equipped with the standard hyperk\"ahler structure, we construct one quantization that, in a sense, merges and subsumes the family of quantizations parametrized by $S^2\{ pt\}$. We provide semiclassical asymptotics for this quantization.
 [11] arXiv:2009.09041 [pdf, ps, other]

Title: Vanishing viscosity limit for Riemann solutions to a $2 \times 2$ hyperbolic system with linear dampingSubjects: Analysis of PDEs (math.AP)
In this paper, we propose a timedependent viscous system and by using the vanishing viscosity method we show the existence of %delta shock solution solutions for the Riemann problem to a particular $2 \times 2$ system of conservation laws with linear damping.
 [12] arXiv:2009.09044 [pdf, ps, other]

Title: $G$displays of Hodge type and formal $p$divisible groupsAuthors: Patrick DanielsComments: 45 pages, comments welcome!Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Let $G$ be a smooth group scheme over the $p$adic integers with reductive generic fiber, and let $\mu$ be a minuscule cocharacter for $G$ which remains minuscule in a faithful representation of $G$. We show that the category of nilpotent $(G,\mu)$displays over $p$nilpotent rings $R$ embeds fully faithfully into the category of formal $p$divisible groups over $R$ equipped with crystalline Tate tensors, and that the embedding becomes an equivalence when $R/pR$ has a $p$basis \'etale locally. The definition of the embedding relies on the construction of a Gcrystal (i.e., an exact tensor functor from representations of G to crystals in finite locally free $\mathcal{O}_{\text{Spec } R/ \mathbb{Z}_p}$modules) associated to any adjoint nilpotent $(G,\mu)$display, which extends the construction of the crystal associated to a nilpotent Zink display. As applications, we obtain an explicit comparison between the RapoportZink functors of Hodge type defined by Kim and by B\"ueltel and Pappas, and we extend a theorem of Faltings regarding deformations of connected $p$divisible groups with crystalline Tate tensors.
 [13] arXiv:2009.09045 [pdf, ps, other]

Title: On the second homotopy group of spaces of commuting elements in Lie groupsSubjects: Algebraic Topology (math.AT)
Let $G$ be a compact connected Lie group and $n\geqslant 1$ an integer. Consider the space of ordered commuting $n$tuples in $G$, $Hom(\mathbb{Z}^n,G)$, and its quotient under the adjoint action, $Rep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G$. In this article we study and in many cases compute the homotopy groups $\pi_2(Hom(\mathbb{Z}^n,G))$. For $G$ simplyconnected and simple we show that $\pi_2(Hom(\mathbb{Z}^2,G))\cong \mathbb{Z}$ and $\pi_2(Rep(\mathbb{Z}^2,G))\cong \mathbb{Z}$, and that on these groups the quotient map $Hom(\mathbb{Z}^2,G)\to Rep(\mathbb{Z}^2,G)$ induces multiplication by the Dynkin index of $G$. More generally we show that if $G$ is simple and $Hom(\mathbb{Z}^2,G)_{1}\subseteq Hom(\mathbb{Z}^2,G)$ is the pathcomponent of the trivial homomorphism, then $H_2(Hom(\mathbb{Z}^2,G)_{1};\mathbb{Z})$ is an extension of the Schur multiplier of $\pi_1(G)^2$ by $\mathbb{Z}$. We apply our computations to prove that if $B_{com}G_{1}$ is the classifying space for commutativity at the identity component, then $\pi_4(B_{com}G_{1})\cong \mathbb{Z}\oplus \mathbb{Z}$, and we construct examples of nontrivial transitionally commutative structures on the trivial principal $G$bundle over the sphere $\mathbb{S}^{4}$.
 [14] arXiv:2009.09057 [pdf, other]

Title: On the dynamic slip boundary condition for NavierStokeslike problemsSubjects: Analysis of PDEs (math.AP)
The choice of the boundary conditions in mechanical problems has to reflect the interaction of the considered material with the surface, despite the assumption of the noslip condition is preferred to avoid boundary terms in the analysis and slipping effects are usually overlooked. Besides the "static slip models", there are phenomena not accurately described by them, e.g. in the moment when the slip changes rapidly, the wall shear stress and the slip can exhibit a sudden overshoot and subsequent relaxation. When these effects become significant, the socalled dynamic slip phenomenon occurs. We develop a mathematical analysis of NavierStokeslike problems with dynamic slip boundary condition, which requires a proper generalisation of the Gelfand triplet and the corresponding function spaces setting.
 [15] arXiv:2009.09061 [pdf, ps, other]

Title: Enumerating Restricted Dyck Paths with ContextFree GrammarsSubjects: Combinatorics (math.CO)
The number of Dyck paths of semilength $n$ is famously $C_n$, the $n$th Catalan number. This fact follows after noticing that every Dyck path can be uniquely parsed according to a contextfree grammar. In a recent paper, Zeilberger showed that many restricted sets of Dyck paths satisfy different, more complicated grammars, and from this derived various generating function identities. We take this further, highlighting some combinatorial results about Dyck paths obtained via grammatical proof and generalizing some of Zeilberger's grammars to infinite families.
 [16] arXiv:2009.09062 [pdf, ps, other]

Title: Economic inexact restoration for derivativefree expensive function minimization and applicationsSubjects: Optimization and Control (math.OC)
The Inexact Restoration approach has proved to be an adequate tool for handling the problem of minimizing an expensive function within an arbitrary feasible set by using different degrees of precision in the objective function. The Inexact Restoration framework allows one to obtain suitable convergence and complexity results for an approach that rationally combines low and highprecision evaluations. In the present research, it is recognized that many problems with expensive objective functions are nonsmooth and, sometimes, even discontinuous. Having this in mind, the Inexact Restoration approach is extended to the nonsmooth or discontinuous case. Although optimization phases that rely on smoothness cannot be used in this case, basic convergence and complexity results are recovered. A derivativefree optimization phase is defined and the subproblems that arise at this phase are solved using a regularization approach that take advantage of different notions of stationarity. The new methodology is applied to the problem of reproducing a controlled experiment that mimics the failure of a dam.
 [17] arXiv:2009.09063 [pdf, ps, other]

Title: The Ktheory of left pointed derivatorsAuthors: Ian ColeyComments: 46 pages, many large diagrams; comments welcome, especially in response to Remarks 3.7, 5.18Subjects: KTheory and Homology (math.KT); Category Theory (math.CT)
We build on work of MuroRaptis in [Ann. KTheory 2 (2017), no. 2, 303340] and CisinskiNeeman in [Adv. Math. 217 (2008), no. 4, 13811475] to prove that the additivity of derivator Ktheory holds for a large class of derivators that we call left pointed derivators, which includes all triangulated derivators. The proof methodology is an adaptation of the combinatorial methods of Grayson in [Doc. Math. 16 (2011), 457464]. As a corollary, we prove that derivator Ktheory is an infinite loop space. Finally, we speculate on the role of derivator Ktheory as a trace from the algebraic Ktheory of a stable $\infty$category \`a la BlumbergGepnerTabuada in [Geom. Topol. 17 (2013), no. 2, 733838].
 [18] arXiv:2009.09095 [pdf, ps, other]

Title: The embeddings of the Heisenberg group into the Cremona groupAuthors: Julie DésertiSubjects: Group Theory (math.GR)
In this note we describe the embeddings of the Heisenberg group into the Cremona group.
 [19] arXiv:2009.09101 [pdf, other]

Title: The Stein Effect for Frechet MeansSubjects: Statistics Theory (math.ST)
The Frechet mean is a useful description of location for a probability distribution on a metric space that is not necessarily a vector space. This article considers simultaneous estimation of multiple Frechet means from a decisiontheoretic perspective, and in particular, the extent to which the unbiased estimator of a Frechet mean can be dominated by a generalization of the JamesStein shrinkage estimator. It is shown that if the metric space satisfies a nonpositive curvature condition, then this generalized JamesStein estimator asymptotically dominates the unbiased estimator as the dimension of the space grows. These results hold for a large class of distributions on a variety of spaces  including Hilbert spaces  and therefore partially extend known results on the applicability of the JamesStein estimator to nonnormal distributions on Euclidean spaces. Simulation studies on metric trees and symmetricpositivedefinite matrices are presented, numerically demonstrating the efficacy of this generalized JamesStein estimator.
 [20] arXiv:2009.09105 [pdf, ps, other]

Title: Wellpoised embeddings of affine arrangement varietiesComments: 17 pagesSubjects: Algebraic Geometry (math.AG)
We show that any affine $T$variety $X$ of general arrangement type has a wellpoised embedding, generalizing results of Ilten and the 2nd author on rational $T$varieties of complexity $1$. We use this result to explicitly compute many NewtonOkounkov cones of $X$, and we give a criterion for the associated toric degenerations to be normal.
 [21] arXiv:2009.09108 [pdf, other]

Title: On Kakeya maps with regularity assumptionsSubjects: Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)
For a $n$dimensional Kakeya set $(n\geq 3)$ we may define a Kakeya map associated to it which parametrizes the Kakeya set by $[0,1]\times S^{n1},$ where $S^{n1}$ is thought of as the space of unit directions. We show that if the Kakeya map is either $\alpha$H\"{o}lder continuous with $\alpha>\frac{(n2)n}{(n1)^2},$ or continuous and in the Sobolev space $ H^{s} $ for some $s>(n1)/2,$ then the Kakeya set has positive Lebesgue measure.
 [22] arXiv:2009.09113 [pdf, ps, other]

Title: Borel Combinatorics of Locally Finite GraphsAuthors: Oleg PikhurkoComments: 51 pages; Comments and suggestions are very welcome!Subjects: Combinatorics (math.CO); Logic (math.LO)
We provide a gentle introduction, aimed at nonexperts, to Borel combinatorics that studies definable graphs on topological spaces. This is an emerging field on the borderline between combinatorics and descriptive set theory with deep connections to many other areas.
After giving some background material, we present in careful detail some basic tools and results on the existence of Borel satisfying assignments: Borel versions of greedy algorithms and augmenting procedures, local rules, Borel transversals, etc. Also, we present the construction of Andrew Marks of acyclic Borel graphs for which the greedy bound $\Delta+1$ on the Borel chromatic number is best possible.
In the remainder of the paper we briefly discuss various topics such as relations to LOCAL algorithms, measurable versions of Hall's marriage theorem and of Lov\'asz Local Lemma, applications to equidecomposability, etc.  [23] arXiv:2009.09124 [pdf, ps, other]

Title: Cdh Descent for Homotopy Hermitian $K$Theory of Rings with InvolutionAuthors: Daniel CarmodyComments: 33 pagesSubjects: KTheory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
We provide a geometric model for the classifying space of automorphism groups of Hermitian vector bundles over a ring with involution $R$ such that $\frac{1}{2} \in R$; this generalizes a result of SchlichtingTripathi \cite{SchTri}. We then prove a periodicity theorem for Hermitian $K$theory and use it to construct an $E_\infty$ motivic ring spectrum $\mathbf{KR}^{\mathrm{alg}}$ representing homotopy Hermitian $K$theory. From these results, we show that $\mathbf{KR}^{\mathrm{alg}}$ is stable under base change, and cdh descent for homotopy Hermitian $K$theory of rings with involution is a formal consequence.
 [24] arXiv:2009.09125 [pdf, ps, other]

Title: Semiclassical Gevrey operators in the complex domainSubjects: Analysis of PDEs (math.AP); Complex Variables (math.CV)
We study semiclassical Gevrey pseudodifferential operators, acting on exponentially weighted spaces of entire holomorphic functions. The symbols of such operators are Gevrey functions defined on suitable ILagrangian submanifolds of the complexified phase space, which are extended almost holomorphically in the same Gevrey class, or in some larger space, to complex neighborhoods of these submanifolds. Using almost holomorphic extensions, we obtain uniformly bounded realizations of such operators on a natural scale of exponentially weighted spaces of holomorphic functions for all Gevrey indices, with remainders that are optimally small, provided that the Gevrey index is $\leq 2$.
 [25] arXiv:2009.09128 [pdf, ps, other]

Title: Semiclassical Gevrey operators and magnetic translationsSubjects: Analysis of PDEs (math.AP); Complex Variables (math.CV); Functional Analysis (math.FA)
We study semiclassical Gevrey pseudodifferential operators acting on the Bargmann space of entire functions with quadratic exponential weights. Using some ideas of the time frequency analysis, we show that such operators are uniformly bounded on a natural scale of exponentially weighted spaces of holomorphic functions, provided that the Gevrey index is $\geq 2$.
 [26] arXiv:2009.09135 [pdf, other]

Title: ResourceAware Discretization of Accelerated Optimization FlowsSubjects: Optimization and Control (math.OC)
This paper tackles the problem of discretizing accelerated optimization flows while retaining their convergence properties. Inspired by the success of resourceaware control in developing efficient closedloop feedback implementations on digital systems, we view the last sampled state of the system as the resource to be aware of. The resulting variablestepsize discretetime algorithms retain by design the desired decrease of the Lyapunov certificate of their continuoustime counterparts. Our algorithm design employs various concepts and techniques from resourceaware control that, in the present context, have interesting parallelisms with the discretetime implementation of optimization algorithms. These include derivative and performancebased triggers to monitor the evolution of the Lyapunov function as a way of determining the algorithm stepsize, exploiting sampled information to enhance algorithm performance, and employing highorder holds using more accurate integrators of the original dynamics. Throughout the paper, we illustrate our approach on a newly introduced continuoustime dynamics termed heavyball dynamics with displaced gradient, but the ideas proposed here have broad applicability to other globally asymptotically stable flows endowed with a Lyapunov certificate.
 [27] arXiv:2009.09141 [pdf, other]

Title: Determinantal Processes and Stochastic DominationAuthors: Raghavendra TripathiSubjects: Probability (math.PR)
We prove the stochastic domination for determinantal processes associated with finite rank projection kernels. The result was first proved by Lyons in discrete setting. We avoid the machinery of matroids in order to obtain a proof that works in a general setting. We prove another result on the stochastic domination of two determinantal processes where the kernels are represented with respect to different measures. Combining this result with Lyons' theorem on the Stochastic domination we obtain a result on the stochastic domination for the last passage time in a directed last passage percolation on $\mathbb{Z}^2$ with i.i.d. geometric weights.
 [28] arXiv:2009.09142 [pdf, ps, other]

Title: Sum Secret Key Rate Maximization for TDD MultiUser Massive MIMO Wireless NetworksComments: Accepted for publication in IEEE Transactions on CommunicationsSubjects: Information Theory (cs.IT)
Physicallayer key generation (PKG) based on channel reciprocity has recently emerged as a new technique to establish secret keys between devices. Most works focus on pairwise communication scenarios with single or smallscale antennas. However, the fifth generation (5G) wireless communications employ massive multipleinput multipleoutput (MIMO) to support multiple users simultaneously, bringing serious overhead of reciprocal channel acquisition. This paper presents a multiuser secret key generation in massive MIMO wireless networks. We provide a beam domain channel model, in which different elements represent the channel gains from different transmit directions to different receive directions. Based on this channel model, we analyze the secret key rate and derive a closedform expression under independent channel conditions. To maximize the sum secret key rate, we provide the optimal conditions for the Kronecker product of the precoding and receiving matrices and propose an algorithm to generate these matrices with pilot reuse. The proposed optimization design can significantly reduce the pilot overhead of the reciprocal channel state information acquisition. Furthermore, we analyze the security under the channel correlation between user terminals (UTs), and propose a low overhead multiuser secret key generation with nonoverlapping beams between UTs. Simulation results demonstrate the near optimal performance of the proposed precoding and receiving matrices design and the advantages of the nonoverlapping beam allocation.
 [29] arXiv:2009.09146 [pdf, other]

Title: Hierarchical Coding for Cloud Storage: TopologyAdaptivity, Scalability, and FlexibilityComments: 25 pages (single column), 19 figures, submitted to the IEEE Transactions on Information Theory (TIT)Subjects: Information Theory (cs.IT)
In order to accommodate the evergrowing data from various, possibly independent, sources and the dynamic nature of data usage rates in practical applications, modern cloud data storage systems are required to be scalable, flexible, and heterogeneous. The recent rise of the blockchain technology is also moving various information systems towards decentralization to achieve high privacy at low costs. While codes with hierarchical locality have been intensively studied in the context of centralized cloud storage due to their effectiveness in reducing the average reading time, those for decentralized storage networks (DSNs) have not yet been discussed. In this paper, we propose a joint coding scheme where each node receives extra protection through the cooperation with nodes in its neighborhood in a heterogeneous DSN with any given topology. This work extends and subsumes our prior work on coding for centralized cloud storage. In particular, our proposed construction not only preserves desirable properties such as scalability and flexibility, which are critical in dynamic networks, but also adapts to arbitrary topologies, a property that is essential in DSNs but has been overlooked in existing works.
 [30] arXiv:2009.09148 [pdf, ps, other]

Title: Characterization of Probability Distributions via Functional Equations of PowerMixture TypeComments: 28 pagesSubjects: Probability (math.PR)
We study powermixture type functional equations in terms of LaplaceStieltjes transforms of probability distributions. These equations arise when studying distributional equations of the type Z = X + TZ, where T is a known random variable, while the variable Z is defined via X, and we want to `find' X. We provide necessary and sufficient conditions for such functional equations to have unique solutions. The uniqueness is equivalent to a characterization property of a probability distribution. We present results which are either new or extend and improve previous results about functional equations of compoundexponential and compoundPoisson types. In particular, we give another affirmative answer to a question posed by J. Pitman and M. Yor in 2003. We provide explicit illustrative examples and deal with related topics.
 [31] arXiv:2009.09159 [pdf, other]

Title: A Convergence Rate for ExtendedSource Internal DLA in the PlaneAuthors: David DarrowComments: 26 pages, 8 figuresSubjects: Probability (math.PR)
Internal DLA (IDLA) is an internal aggregation model in which particles perform random walks from the origin, in turn, and stop upon reaching an unoccupied site. Levine and Peres showed that, when particles start instead from fixed multiplepoint distributions, the modified IDLA processes have deterministic scaling limits related to a certain obstacle problem. In this paper, we investigate the convergence rate of this "extended source" IDLA in the plane to its scaling limit. We show that, if $\delta$ is the lattice size, the IDLA occupied set is $\delta^{3/5}$close (in the Hausdorff sense) to its scaling limit for all time, with probability at least $1e^{1/\delta^{2/5}}$.
 [32] arXiv:2009.09160 [pdf, ps, other]

Title: Poincaré duality for rigid analytic HyodoKato theoryComments: 36 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
The purpose of this paper is to establish HyodoKato theory with compact support for semistable schemes through rigid analytic methods. To this end we introduce several types of log rigid cohomology with compact support. moreover we show that additional structures on the (rigid) HyodoKato cohomology and the HyodoKato map introduced in our previous paper are compatible with Poincar\'{e} duality. Compared to the crystalline approach, the constructions are explicit yet versatile, and hence suitable for computations.
 [33] arXiv:2009.09166 [pdf, other]

Title: Hypergroup structures of open quantum random walks on distance setsAuthors: Yusuke SawadaComments: 20 pages, 3 figuresSubjects: Mathematical Physics (mathph)
Wildberger has introduced the method to construct a hermitian discrete hypergroup from a random walk on a graph. We will apply his method to an open quantum random walk (OQRW) on a distance set, and show that any discrete hypergroup which is not necessary hermitian is realized by an OQRW on a distance set. We will investigate distributions of OQRWs on distance sets in the view point of hypergroups.
 [34] arXiv:2009.09175 [pdf, other]

Title: On the Boundary Value Problems of Ψ Hilfer Fractional Differential EquationsComments: 30Subjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
In the current paper, we derive the comparison results for the homogeneous and nonhomogeneous linear initial value problem (IVP) for $\Psi$Hilfer fractional differential equations. In the presence of upper and lower solutions, the obtained comparison results and the location of roots theorem utilized to prove the existence and uniqueness of the solution for the linear $\Psi$Hilfer boundary value problem (BVP) through the linear nonhomogeneous $\Psi$Hilfer IVP. Assuming the existence of lower solution $w_0 $ and upper solution $z_0 $, we establish the existence of minimal and maximal solutions for the nonlinear $\Psi$Hilfer BVP in the line segment $[w_0,\,z_0]$ of the weighted space $C_{1\,\gamma ;\, \Psi }\left( J,\,\R\right)$. Further, it demonstrated that the iterative Picard type sequences that began with lower and upper solutions respectively converges to a minimal and maximal solutions, and that started with any point on a line segment converge to the exact solution of nonlinear $\Psi$Hilfer BVP. Finally, an example is provided in support of the main results we acquired.
 [35] arXiv:2009.09183 [pdf, ps, other]

Title: The area minimizing problem in conformal cones, IIComments: The is a sequel to arXiv:2001.06207. 12pt, Page 40Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this paper we continue to study the connection among the area minimizing problem, certain area functional and the Dirichlet problem of minimal surface equations in a class of conformal cones with a similar motivation from \cite{GZ20}. These cones are certain generalizations of hyperbolic spaces. We describe the structure of area minimizing $n$nteger multiplicity currents in bounded $C^2$ conformal cones with prescribed $C^1$ graphical boundary via a minimizing problem of these area functionals. As an application we solve the corresponding Dirichlet problem of minimal surface equations under a mean convex type assumption. We also extend the existence and uniqueness of a local area minimizing integer multiplicity current with starshaped infinity boundary in hyperbolic spaces into a large class of complete conformal manifolds.
 [36] arXiv:2009.09185 [pdf, ps, other]

Title: A Unified Approach to Uniform Signal Recovery From NonLinear ObservationsSubjects: Information Theory (cs.IT); Statistics Theory (math.ST)
Recent advances in quantized compressed sensing and highdimensional estimation have shown that signal recovery is even feasible under strong nonlinear distortions in the observation process. An important characteristic of associated guarantees is uniformity, i.e., recovery succeeds for an entire class of structured signals with a fixed measurement ensemble. However, despite significant results in various special cases, a general understanding of uniform recovery from nonlinear observations is still missing. This paper develops a unified approach to this problem under the assumption i.i.d. subGaussian measurement vectors. Our main result shows that a simple leastsquares estimator with any convex constraint can serve as a universal recovery strategy, which is outlier robust and does not require explicit knowledge of the underlying nonlinearity. Based on empirical process theory, a key technical novelty is an approximative increment condition that can be implemented for all common types of nonlinear models. This flexibility allows us to apply our approach to a variety of problems in quantized compressed sensing and highdimensional statistics, leading to several new and improved guarantees. Each of these applications is accompanied by a conceptually simple and systematic proof, which does not rely on any deeper properties of the observation model. On the other hand, known local stability properties can be incorporated into our framework in a plugandplay manner, thereby implying nearoptimal error bounds.
 [37] arXiv:2009.09190 [pdf, other]

Title: Schedule Sequence Design for Broadcast in Multichannel Ad Hoc NetworksSubjects: Information Theory (cs.IT)
We consider a singlehop ad hoc network in which each node aims to broadcast packets to its neighboring nodes by using multiple slotted, TDD collision channels. There is no cooperation among the nodes. To ensure successful broadcast, we propose to preassign each node a periodic sequence to schedule transmissions and receptions at each time slot. These sequences are referred to as schedule sequences. Since each node starts its transmission schedule independently, there exist relative time offsets among the schedule sequences they use. Our objective is to design schedule sequences such that each node can transmit at least one packet to each of its neighbors successfully within a common period, no matter what the time offsets are. The sequence period should be designed as short as possible. In this paper, we analyze the lower bound on sequence period, and propose a sequence construction method by which the period can achieve the same order as the lower bound.
We also consider the random scheme in which each node transmits or receives on a channel at each time slot with a predetermined probability. The frame length and broadcast completion time under different schemes are compared by numerical studies.  [38] arXiv:2009.09194 [pdf, ps, other]

Title: The Saito module and the moduli of a germ of curve in $\left(\mathbb{C}^{2},0\right)$Authors: Yohann GenzmerSubjects: Complex Variables (math.CV); Dynamical Systems (math.DS)
We study properties of the module of vector fields tangent to a given germ of curve in the complex plane $\mathbb{C}^{2}$. As a consequence, we obtain a conjectural algorithm to compute the generic dimension of its moduli space. For some families of curves, we proved that this algorithm provides the correct dimension.
 [39] arXiv:2009.09195 [pdf, ps, other]

Title: Centers of categorified endomorphism ringsAuthors: Alexandru ChirvasituComments: 9 pages + referencesSubjects: Category Theory (math.CT); Rings and Algebras (math.RA)
We prove that for a large class of wellbehaved cocomplete categories $\mathcal C$ the weak and strong Drinfeld centers of the monoidal category $\mathcal{E}$ of cocontinuous endofunctors of $\mathcal{C}$ coincide. This generalizes similar results in the literature, where $\mathcal{C}$ is the category of modules over a ring $A$ and hence $\mathcal{E}$ is the category of $A$bimodules.
 [40] arXiv:2009.09201 [pdf, ps, other]

Title: Inverse relations and reciprocity laws involving partial Bell polynomials and related extensionsAuthors: Alfred SchreiberComments: The article continues the research reported by the author in his work "Multivariate Stirling polynomials of the first and second kind", Discrete Mathematics 338 (2015), 24622484. Preprint version: arXiv:1311.5067Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
The object of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials (arXiv:1311.5067), to present a number of new results affecting different types of inverse relationships, among these (1) the use of multivariable Lah polynomials for characterizing selforthogonal families of polynomials that can be represented by Bell polynomials, (2) the introduction of `generalized Lagrange inversion polynomials' that invert functions characterized in a specific way by sequences of constants, (3) a general reciprocity theorem according to which, in particular, the partial Bell polynomials $B_{n,k}$ and their orthogonal companions $A_{n,k}$ belong to one single class of Stirling polynomials: $A_{n,k}=(1)^{nk}B_{k,n}$. Moreover, of some numerical statements (such as Stirling inversion, Schl\"omilchSchl\"afli formulas) generalized polynomial versions are established, and a number of wellknown theorems (Jabotinsky, MullinRota, Melzak, Comtet) are given new proofs.
 [41] arXiv:2009.09202 [pdf, other]

Title: Italian Domination and Perfect Italian Domination on Sierpinski GraphsSubjects: Combinatorics (math.CO)
An Italian dominating function (IDF) of a graph G is a function $ f: V(G) \rightarrow \{0,1,2\} $ satisfying the condition that for every $ v\in V $ with $ f(v) = 0$, $\sum_{ u\in N(v)} f(u) \geq 2. $ The weight of an IDF on $G$ is the sum $ f(V)= \sum_{v\in V}f(v) $ and the Italian domination number, $ \gamma_I(G) $, is the minimum weight of an IDF. An IDF is a perfect Italian dominating function (PID) on $G$, if for every vertex $ v \in V(G) $ with $ f(v) = 0 $ the total weight assigned by $f$ to the neighbours of $ v $ is exactly 2, i.e., all the neighbours of $u$ are assigned the weight 0 by $f$ except for exactly one vertex $v$ for which $ f(v) = 2 $ or for exactly two vertices $v$ and $w$ for which $ f(v) = f(w) = 1 $. The weight of a PID function is $f(V)=\sum_{u \in V(G)}f(u)$. The perfect Italian domination number of $G$, denoted by $ \gamma^{p}_{I}(G), $ is the minimum weight of a PIDfunction of $G$. In this paper we obtain the Italian domination number and perfect Italian domination number of Sierpi\'{n}ski graphs.
 [42] arXiv:2009.09203 [pdf, ps, other]

Title: An equidistribution theorem for biraitonal maps of $\mathbb{P}^k$Authors: Taeyong AhnComments: Comments are very welcome!Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
We prove an equidistribution theorem of positive closed currents for a certain class of birational maps $f_+:\mathbb{P}^k\to\mathbb{P}^k$ of algebraic degree $d\geq 2$ satisfying $\bigcup_{n\geq 0}f_^n(I^+)\cap \bigcup_{n\geq 0}f_+^n(I^)=\emptyset$, where $f_$ is the inverse of $f_+$ and $I^\pm$ are the sets of indeterminacy for $f_\pm$, respectively.
 [43] arXiv:2009.09204 [pdf, other]

Title: Frequencyexplicit a posteriori error estimates for finite element discretizations of Maxwell's equationsSubjects: Numerical Analysis (math.NA)
We consider residualbased a posteriori error estimators for Galerkintype discretizations of timeharmonic Maxwell's equations. We focus on configurations where the frequency is high, or close to a resonance frequency, and derive reliability and efficiency estimates. In contrast to previous related works, our estimates are frequencyexplicit. In particular, our key contribution is to show that even if the constants appearing in the reliability and efficiency estimates may blow up on coarse meshes, they become independent of the frequency for sufficiently refined meshes. Such results were previously known for the Helmholtz equation describing scalar wave propagation problems and we show that they naturally extend, at the price of many technicalities in the proofs, to Maxwell's equations. Our mathematical analysis is performed in the 3D case, and covers conforming N\'ed\'elec discretizations of the first and second family, as well as firstorder (and hybridizable) discontinuous Galerkin schemes. We also present numerical experiments in the 2D case, where Maxwell's equations are discretized with N\'ed\'elec elements of the first family. These illustrating examples perfectly fit our key theoretical findings, and suggest that our estimates are sharp.
 [44] arXiv:2009.09207 [pdf, other]

Title: Quantum footprints of Liouville integrable systemsAuthors: San Vu NgocComments: 11 pages. This text reports on a talk given by the author at the QMath14 conference in Aarhus. To appear in Reviews in Mathematical PhysicsSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph); Symplectic Geometry (math.SG)
We discuss the problem of recovering geometric objects from the spectrum of a quantum integrable system. In the case of one degree of freedom, precise results exist. In the general case, we report on the recent notion of good labellings of asymptotic lattices.
 [45] arXiv:2009.09211 [pdf, ps, other]

Title: Revisiting Groeneveld's approach to the virial expansionAuthors: Sabine JansenComments: 25 pagesSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); Probability (math.PR)
A generalized version of Groeneveld's convergence criterion for the virial expansion and generating functionals for weighted $2$connected graphs is proven. The criterion works for inhomogeneous systems and yields bounds for the density expansions of the correlation functions $\rho_s$ (a.k.a. distribution functions or factorial moment measures) of grandcanonical Gibbs measures with pairwise interactions. The proof is based on recurrence relations for graph weights related to the KirkwoodSalsburg integral equation for correlation functions. The proof does not use an inversion of the densityactivity expansion, however a Moebius inversion on the lattice of set partitions enters the derivation of the recurrence relations.
 [46] arXiv:2009.09216 [pdf, other]

Title: Tests for circular symmetry of complexvalued random vectorsSubjects: Statistics Theory (math.ST)
We propose tests for the null hypothesis that the law of a complexvalued random vector is circularly symmetric. The test criteria are formulated as $L^2$type criteria based on empirical characteristic functions, and they are convenient from the computational point of view. Asymptotic as well as MonteCarlo results are presented. Applications on real data are also reported. An R package called CircSymTest is available from the authors.
 [47] arXiv:2009.09221 [pdf, other]

Title: Iterated Minkowski sums, horoballs and northsouth dynamicsComments: 41 pages, 8 figuresSubjects: Dynamical Systems (math.DS)
Given a finite generating set $A$ for a group $\Gamma$, we study the map $W \mapsto WA$ as a topological dynamical system  a continuous selfmap of the compact metrizable space of subsets of $\Gamma$. If the set $A$ generates $\Gamma$ as a semigroup and contains the identity, there are precisely two fixed points, one of which is attracting. This supports the initial impression that the dynamics of this map is rather trivial. Indeed, at least when $\Gamma= \mathbb{Z}^d$ and $A \subseteq \mathbb{Z}^d$ a finite positively generating set containing the natural invertible extension of the map $W \mapsto W+A$ is always topologically conjugate to the unique "northsouth" dynamics on the Cantor set. In contrast to this, we show that various natural "geometric" properties of the finitely generated group $(\Gamma,A)$ can be recovered from the dynamics of this map, in particular, the growth type and amenability of $\Gamma$. When $\Gamma = \mathbb{Z}^d$, we show that the volume of the convex hull of the generating set $A$ is also an invariant of topological conjugacy. Our study introduces, utilizes and develops a certain convexity structure on subsets of the group $\Gamma$, related to a new concept which we call the sheltered hull of a set. We also relate this study to the structure of horoballs in finitely generated groups, focusing on the abelian case.
 [48] arXiv:2009.09225 [pdf, ps, other]

Title: On the three ball theorem for solutions of the Helmholtz equationComments: 15 pagesSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
Let $u_k$ be a solution of the Helmholtz equation with the wave number $k$, $\Delta u_k+k^2 u_k=0$, on (a small ball in) either $\mathbb{R}^n$, $\mathbb{S}^n$, or $\mathbb{H}^n$. For a fixed point $p$, we define \[M_{u_k}(r)=\max_{d(x,p)\le r}u_k(x).\] It is known that the following three ball inequality \[M_{u_k}(2r)\le C(k,r,\alpha)M_{u_k}(r)^{\alpha}M_{u_k}(4r)^{1\alpha}\] holds for some $\alpha\in (0,1)$ and $C(k,r,\alpha)>0$ independent of $u_k$. We show that the constant $C(k,r,\alpha)$ grows exponentially in $k$ (when $r$ is fixed and small). Moreover, we compare our result with the increased stability for solutions of the Cauchy problem for the Helmholtz equation.
 [49] arXiv:2009.09240 [pdf, other]

Title: Random multiplicative functions: The SelbergDelange classAuthors: Marco AymoneComments: 9 pagesSubjects: Number Theory (math.NT); Dynamical Systems (math.DS); Probability (math.PR)
Let $1/2\leq\beta<1$, $p$ be a generic prime number and $f_\beta$ be a random multiplicative function supported on the squarefree integers such that $(f_\beta(p))_{p}$ is an i.i.d. sequence of random variables with distribution $\mathbb{P}(f(p)=1)=\beta=1\mathbb{P}(f(p)=+1)$. Let $F_\beta$ be the Dirichlet series of $f_\beta$. We prove a formula involving measurepreserving transformations that relates the Riemann $\zeta$ function with the Dirichlet series of $F_\beta$, for certain values of $\beta$, and give an application. Further, we prove that the Riemann hypothesis is connected with the mean behavior of a certain weighted partial sums of $f_\beta$.
 [50] arXiv:2009.09245 [pdf, ps, other]

Title: Uniqueness of $P(f)$ and $[P(f)]^{(k)}$ concerning weakly weighted sharingAuthors: Molla Basir AhamedSubjects: Complex Variables (math.CV)
In this paper, with the help of the idea of weakly weighted sharing introduced by \emph{Lin Lin} [Kodai Math. J., 29(2006), 269280], we study the uniqueness of a polynomial expression $ P(f) $ and $ [P(f)]^{(k)} $ of a meromorphic function $ f $ sharing a small function. The main results significantly improved the result of \emph{Liu  Gu} [Kodai Math. J., 27(3)(2004), 272279]. This research work explores certain condition under which the polynomial $ P(f) $ can be reduced to a nonzero monomial, and as a consequence, the specific form of the function $ f $ is obtained. By some constructive examples it has been shown that some conditions in the main results can not be removed and some of the inequalities are sharp.
 [51] arXiv:2009.09251 [pdf, ps, other]

Title: Resolving by a free action linear category and applications to HochschildMitchell (co)homologyComments: This article differs from a previous article which has been withdrawn. The main point now is the resolving category. In addition, this work contains new results. It has been improved and reorganized. This article supersedes arXiv:1804.02223Subjects: KTheory and Homology (math.KT); Rings and Algebras (math.RA); Representation Theory (math.RT)
Let $G$ be a group acting on a small category $\mathcal C$ over a field $k$, that is $\mathcal C$ is a $G$$k$category. We first obtain that $\mathcal C$ is resolvable by a category which is $G$$k$equivalent to it, on which $G$ acts freely on objects.
This resolvent category enables to show that if the coinvariants and the invariants functors are exact, then the coinvariants and invariants of the HochschildMitchell (co)homology of $\mathcal C$ are isomorphic to the trivial component of the HochschildMitchell (co)ho\mo\logy of the skew category $\mathcal C[G]$. Otherwise the corresponding spectral sequence can be settled.
If the action of $G$ is free on objects, there is a canonical decomposition of the HochschildMitchell (co)homology of the quotient category $\mathcal C/G$ along the conjugacy classes of $G$. This way we provide a general frame for monomorphisms which have been described previously in low degrees.  [52] arXiv:2009.09252 [pdf, ps, other]

Title: A remark on Carleson measures of domains in $\mathbb{C}^{n}$Authors: Phung Trong ThucSubjects: Complex Variables (math.CV)
We provide characterizations of Carleson measures on a certain class of bounded pseudoconvex domains. An example of a vanishing Carleson measure whose Berezin transform does not vanish on the boundary is given in the class of the Hartogs triangles $$\mathbb{H}_{k}:=\left\{ \left(z_{1},z_{2}\right)\in\mathbb{C}^{2}:\leftz_{1}\right^{k}<\leftz_{2}\right<1\right\},\;k\in\mathbb{Z}^{+}.$$
 [53] arXiv:2009.09256 [pdf, other]

Title: Beyond Bowen's Specification PropertyComments: Survey paper. 72 pages. Comments welcomeSubjects: Dynamical Systems (math.DS)
A classical result in thermodynamic formalism is that for uniformly hyperbolic systems, every H\"older continuous potential has a unique equilibrium state. One proof of this fact is due to Rufus Bowen and uses the fact that such systems satisfy expansivity and specification properties. In these notes, we survey recent progress that uses generalizations of these properties to extend Bowen's arguments beyond uniform hyperbolicity, including applications to partially hyperbolic systems and geodesic flows beyond negative curvature. We include a new criterion for uniqueness of equilibrium states for partially hyperbolic systems with 1dimensional center.
 [54] arXiv:2009.09260 [pdf, ps, other]

Title: SRB and equilibrium measures via dimension theoryAuthors: Vaughn ClimenhagaComments: 44 pagesSubjects: Dynamical Systems (math.DS)
It is wellknown that SRB and equilibrium measures for uniformly hyperbolic flows admit a product structure in terms of measures on stable and unstable leaves with scaling properties given by the potential function. We describe a construction of these leaf measures analogous to the definition of Hausdorff measure, relying on the PesinPitskel' description of topological pressure as a dimensional characteristic using Bowen balls. These leaf measures were constructed for discretetime systems by the author, Ya. Pesin, and A. Zelerowicz. In the continuoustime setting here, the description of the scaling properties is more complete, and we use a similar procedure with twosided Bowen balls to directly produce the equilibrium measure itself.
 [55] arXiv:2009.09262 [pdf, ps, other]

Title: Mirror symmetry: monodromy and autoequivalences of the derived categoryAuthors: Valery LuntsComments: Comments are welcomeSubjects: Algebraic Geometry (math.AG)
For mirror symmetric families of (weak) CalabiYau varieties we study a conjecture of Kontsevich on the relation between the monodromy of one family and the action on cohomology of the group of autoequivalences of the derived category of varieties in the other family. After formulating a precise version of the conjecture we prove it for families of K3 surfaces and abelian varieties. We also discuss this conjecture for families of CalabiYau hypersurfaces in toric Fano varieties.
 [56] arXiv:2009.09264 [pdf, ps, other]

Title: Distributionally Robust Variance Minimization: Tight Variance Bounds over $f$Divergence NeighborhoodsAuthors: Jeremiah BirrellComments: 19 pagesSubjects: Optimization and Control (math.OC); Probability (math.PR)
Distributionally robust optimization (DRO) is a widely used framework for optimizing objective functionals in the presence of both randomness and modelform uncertainty. A key step in the practical solution of many DRO problems is a tractable reformulation of the optimization over the chosen model ambiguity set, which is generally infinite dimensional. Previous works have solved this problem in the case where the objective functional is an expected value. In this paper we study objective functionals that are the sum of an expected value and a variance penalty term. We prove that the corresponding variancepenalized DRO problem over an $f$divergence neighborhood can be reformulated as a finitedimensional convex optimization problem. This result also provides tight uncertainty quantification bounds on the variance.
 [57] arXiv:2009.09268 [pdf, ps, other]

Title: Low $c$differential and $c$boomerang uniformity of the swapped inverse functionAuthors: Pantelimon StanicaComments: 25 pagesSubjects: Number Theory (math.NT); Information Theory (cs.IT)
Modifying the binary inverse function in a variety of ways, like swapping two output points has been known to produce a $4$differential uniform permutation function. Recently, in \cite{Li19} it was shown that this swapped version of the inverse function has boomerang uniformity exactly $10$, if $n\equiv 0\pmod 6$, $8$, if $n\equiv 3\pmod 6$, and 6, if $n\not\equiv 0\pmod 3$. Based upon the $c$differential notion we defined in \cite{EFRST20} and $c$boomerang uniformity from \cite{S20}, in this paper we characterize the $c$differential and $c$boomerang uniformity for the $(0,1)$swapped inverse function in characteristic~$2$: we show that for all~$c\neq 1$, the $c$differential uniformity is upper bounded by~$4$ and the $c$boomerang uniformity by~$5$ with both bounds being attained for~$n\geq 4$.
 [58] arXiv:2009.09273 [pdf, other]

Title: Standard $λ$lattices, rigid ${\rm C}^*$ tensor categories, and (bi)modulesAuthors: Quan ChenComments: 81 pages, many figuresSubjects: Operator Algebras (math.OA); Category Theory (math.CT); Quantum Algebra (math.QA)
In this article, we construct a 2shaded rigid ${\rm C}^*$ multitensor category with canonical unitary dual functor directly from a standard $\lambda$lattice. We use the notions of traceless Markov towers and lattices to define the notion of module and bimodule over standard $\lambda$lattice(s), and we explicitly construct the associated module category and bimodule category over the corresponding 2shaded rigid ${\rm C}^*$ multitensor category.
As an example, we compute the modules and bimodules for TemperleyLiebJones standard $\lambda$lattices in terms of traceless Markov towers and lattices. Translating into the unitary 2category of bigraded Hilbert spaces, we recover DeCommerYamshita's classification of $\mathcal{TLJ}$ modules in terms of edge weighted graphs, and a classification of $\mathcal{TLJ}$ bimodules in terms of biunitary connections on squarepartite weighted graphs.
As an application, we show that every (infinite depth) subfactor planar algebra embeds into the bipartite graph planar algebra of its principal graph.  [59] arXiv:2009.09274 [pdf, ps, other]

Title: Enumerating $D_4$ Quartics and a Galois Group Bias Over Function FieldsAuthors: Daniel KeliherComments: 19 pagesSubjects: Number Theory (math.NT)
We give an asymptotic formula for the number of $D_4$ quartic extensions of a function field with discriminant equal to some bound, essentially reproducing the analogous result over number fields due Cohen, Diaz y Diaz, and Olivier, but with a stronger error term. We also study the relative density of $D_4$ and $S_4$ quartic extensions of a function field and show that with mild conditions, the number of $D_4$ quartic extensions can far exceed the number of $S_4$ quartic extensions
 [60] arXiv:2009.09275 [pdf, ps, other]

Title: Distinguishing actions of symmetric groups and related graphsSubjects: Combinatorics (math.CO); Group Theory (math.GR)
The distinguishing number $D(G,X)$ of an action of a group $G$ on a set $X$ is the least size of a partition of $X$ such that no element of $G$ acting nontrivially on $X$ preserves this partition. In this paper we describe the distinguishing numbers for all actions of the symmetric group $S_n$, for any $n\geq 3$. This allows us to describe the distinguishing numbers for all graphs whose automorphism group is isomorphic with a symmetric group. Our description solves a few open problems posed by various authors in earlier papers on this topic.
 [61] arXiv:2009.09277 [pdf, ps, other]

Title: Construction of Polar Codes with Reinforcement LearningComments: To be published in Proceedings of IEEE Globecom 2020Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)
This paper formulates the polarcode construction problem for the successivecancellation list (SCL) decoder as a mazetraversing game, which can be solved by reinforcement learning techniques. The proposed method provides a novel technique for polarcode construction that no longer depends on sorting and selecting bitchannels by reliability. Instead, this technique decides whether the input bits should be frozen in a purely sequential manner. The equivalence of optimizing the polarcode construction for the SCL decoder under this technique and maximizing the expected reward of traversing a maze is drawn. Simulation results show that the standard polarcode constructions that are designed for the successivecancellation decoder are no longer optimal for the SCL decoder with respect to the frame error rate. In contrast, the simulations show that, with a reasonable amount of training, the gamebased construction method finds code constructions that have lower frameerror rate for various code lengths and decoders compared to standard constructions.
 [62] arXiv:2009.09291 [pdf, ps, other]

Title: On a capacitary strong type inequality and related capacitary estimatesComments: 12 pagesSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)
We establish a capacitary strong type inequality which resolves a special case of a conjecture by David R. Adams. As a consequence, we obtain several equivalent norms for Choquet integrals associated to Bessel or Riesz capacities. This enables us to obtain bounds for the HardyLittlewood maximal function in a sublinear setting.
 [63] arXiv:2009.09293 [pdf, ps, other]

Title: Variance of lattice point counting in some special shells in $\mathbb{R}^d$Authors: Tao JiangSubjects: Number Theory (math.NT)
We study the variance of the random variable that counts the number of lattice points in some shells generated by a special class of finite type domains in $\mathbb R^d$. The proof relies on estimates of the Fourier transform of indicator functions of convex domains.
 [64] arXiv:2009.09297 [pdf, ps, other]

Title: Frattiniinjectivity and Maximal pro$p$ Galois groupsComments: 33 pagesSubjects: Group Theory (math.GR)
We call a pro$p$ group $G$ Frattiniinjective if distinct finitely generated subgroups of $G$ have distinct Frattinis. This paper is an initial effort toward a systematic study of Frattiniinjective pro$p$ groups (and several other related concepts). Most notably, we classify the $p$adic analytic and the solvable Frattiniinjective pro$p$ groups, and we describe the lattice of normal abelian subgroups of a Frattiniinjective pro$p$ group.
We prove that every maximal pro$p$ Galois group of a field that contains a primitive $p$th root of unity (and also contains $\sqrt{1}$ if $p=2$) is Frattiniinjective. In addition, we show that many substantial results on maximal pro$p$ Galois groups are in fact consequences of Frattiniinjectivity. For instance, a $p$adic analytic or solvable pro$p$ group is Frattiniinjective if and only if it can be realized as a maximal pro$p$ Galois group of a field that contains a primitive $p$th root of unity (and also contains $\sqrt{1}$ if $p=2$); and every Frattiniinjective pro$p$ group contains a unique maximal abelian normal subgroup.  [65] arXiv:2009.09303 [pdf, ps, other]

Title: Spectrum of Weighted Composition Operators Part VI Essential spectra of $d$endomorphisms of Banach $C(K)$modulesSubjects: Functional Analysis (math.FA)
We investigate properties of essential spectra of disjointness preserving operators acting on Banach $C(K)$modules. In particular, we prove that under some very mild conditions the upper semiFredholm spectrum of such an operator is rotation invariant. In the last part of the paper we provide a full description of the spectrum and the essential spectra of operators acting on Kaplansky modules of the form $T = wU$, where $w \in C(K)$, $U$ is a $d$isomorphism, and the spectrum of $U$ is a subset of the unit circle.
 [66] arXiv:2009.09304 [pdf, ps, other]

Title: Suboptimality of Constrained Least Squares and Improvements via NonLinear PredictorsComments: 34 pagesSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG)
We study the problem of predicting as well as the best linear predictor in a bounded Euclidean ball with respect to the squared loss. When only boundedness of the data generating distribution is assumed, we establish that the least squares estimator constrained to a bounded Euclidean ball does not attain the classical $O(d/n)$ excess risk rate, where $d$ is the dimension of the covariates and $n$ is the number of samples. In particular, we construct a bounded distribution such that the constrained least squares estimator incurs an excess risk of order $\Omega(d^{3/2}/n)$ hence refuting a recent conjecture of Ohad Shamir [JMLR 2015]. In contrast, we observe that nonlinear predictors can achieve the optimal rate $O(d/n)$ with no assumptions on the distribution of the covariates. We discuss additional distributional assumptions sufficient to guarantee an $O(d/n)$ excess risk rate for the least squares estimator. Among them are certain moment equivalence assumptions often used in the robust statistics literature. While such assumptions are central in the analysis of unbounded and heavytailed settings, our work indicates that in some cases, they also rule out unfavorable bounded distributions.
 [67] arXiv:2009.09310 [pdf, other]

Title: Fast and Asymptotically Powerful Detection for Filamentary Objects in Digital ImagesComments: 13 pages, 8 figuresSubjects: Statistics Theory (math.ST); Applications (stat.AP)
Given an inhomogeneous chain embedded in a noisy image, we consider the conditions under which such an embedded chain is detectable. Many applications, such as detecting moving objects, detecting ship wakes, can be abstracted as the detection on the existence of chains. In this work, we provide the detection algorithm with low order of computation complexity to detect the chain and the optimal theoretical detectability regarding SNR (signal to noise ratio) under the normal distribution model. Specifically, we derive an analytical threshold that specifies what is detectable. We design a longest significant chain detection algorithm, with computation complexity in the order of $O(n\log n)$. We also prove that our proposed algorithm is asymptotically powerful, which means, as the dimension $n \rightarrow \infty$, the probability of false detection vanishes. We further provide some simulated examples and a real data example, which validate our theory.
 [68] arXiv:2009.09311 [pdf, ps, other]

Title: Differential Codes on Higher Dimensional Varieties Via Grothendieck's Residue SymbolComments: 20 pages, comments welcomeSubjects: Algebraic Geometry (math.AG); Information Theory (cs.IT)
We give a new construction of linear codes over finite fields on higher dimensional varieties using Grothendiek's theory of residues. This generalizes the construction of differential codes over curves to varieties of higher dimensions.
 [69] arXiv:2009.09316 [pdf, ps, other]

Title: Approximate Ground States of Hypercube Spin Glasses are Near CornersAuthors: Mark SellkeSubjects: Probability (math.PR)
We show that with probability exponentially close to $1$, all nearmaximizers of any meanfield mixed $p$spin glass Hamiltonian on the hypercube $[1,1]^N$ are near a corner. This confirms a recent conjecture of Gamarnik and Jagannath. The proof is elementary and generalizes to arbitrary polytopes with $e^{o(N^2)}$ faces.
 [70] arXiv:2009.09322 [pdf, ps, other]

Title: The geometry of random tournamentsSubjects: Combinatorics (math.CO); Probability (math.PR)
A tournament is an orientation of a graph. Each edge represents a match, directed towards the winner. The score sequence lists the number of wins by each team. Landau (1953) characterized score sequences of the complete graph. Moon (1963) showed that the same conditions are necessary and sufficient for mean score sequences of random tournaments.
We present short and natural proofs of these results that work for any graph using zonotopes from convex geometry. A zonotope is a linear image of a cube. Moon's Theorem follows by identifying elements of the cube with distributions and the linear map as the expectation operator. Our proof of Landau's Theorem combines zonotopal tilings with the theory of mixed subdivisions. We also show that any mean score sequence can be realized by a tournament that is random within a subforest, and deterministic otherwise.  [71] arXiv:2009.09327 [pdf, other]

Title: Note on SunflowersComments: 3 pages; based on 2020 REUSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
A sunflower with p petals consists of p sets whose pairwise intersections are identical. Building upon a breakthrough of Alweiss, Lovett, Wu, and Zhang from 2019, Rao proved that any family of (Cp\log(pk))^k distinct kelement sets contains a sunflower with p petals, where C>0 is a constant; this bound was reproved by Tao. In this note we record that, by a minor variant of their probabilistic arguments, any family of (Cp\log k)^k distinct kelement sets contain a sunflower with p petals, where C>0 is a constant.
 [72] arXiv:2009.09328 [pdf, ps, other]

Title: On the radius of analyticity for the solution of the fifth order KdVBBM modelComments: 14 pagesSubjects: Analysis of PDEs (math.AP)
We consider the initial value problem (IVP) associated to a fifth order KdVBBM type model that describes the propagation of the unidirectional water waves. We prove the local wellposedness in the space of the analytic functions, so called Gevrey class. We also discuss the evolution of radius of analyticity in such class by providing explicit formulas for upper and lower bounds.
 [73] arXiv:2009.09330 [pdf, ps, other]

Title: Huygens' principle for the generalized Dirac operator in the curved spacetimeAuthors: Karen YagdjianSubjects: Mathematical Physics (mathph)
In this article we give the sufficient conditions for the generalized Dirac operator to obey the Huygens' principle and necessary and sufficient conditions to obey the Huygens' principle by the Dirac operator in the curved spacetime of the FriedmannLema\^itreRobertsonWalker models of cosmology.
 [74] arXiv:2009.09332 [pdf, ps, other]

Title: Parameter estimation for Vasicek model driven by a general Gaussian noiseAuthors: Xingzhi PeiSubjects: Statistics Theory (math.ST); Probability (math.PR)
This paper developed an inference problem for Vasicek model driven by a general Gaussian process. We construct a least squares estimator and a moment estimator for the drift parameters of the Vasicek model, and we prove the consistency and the asymptotic normality. Our approach extended the result of Xiao and Yu (2018) for the case when noise is a fractional Brownian motion with Hurst parameter H \in [1/2,1).
 [75] arXiv:2009.09337 [pdf, ps, other]

Title: Analysis of the timedomain PML problem for Maxwell's equations in a waveguideSubjects: Analysis of PDEs (math.AP)
This paper is concerned with the mathematical analysis of the timedomain electromagnetic scattering problem in an infinite rectangular waveguide. A transparent boundary condition is developed to reformulate the problem into an equivalent initial boundary value problem in a bounded domain. The wellposedness and stability are obtained for the reduced problem. The perfectly matched layer method is studied to truncate the waveguide. It is shown that the truncated problem attains a unique solution. Moreover, an explicit error estimate is given between the solutions of the original scattering problem and the truncated problem. Based on the estimate, the stability and exponential convergence are established for the truncated problem. The optimal bound is achieved for the error with explicit dependence on the parameters of the perfectly matched layer.
 [76] arXiv:2009.09340 [pdf, ps, other]

Title: The cboomerang connectivity table for the Gold function in even characteristicComments: 26 pagesSubjects: Number Theory (math.NT)
Here, we give a complete description of the cBoomerang Connectivity Table for the Gold function over finite fields of even characteristic, by using double Weil sums. In the process we generalize a result of Boura and Canteaut (2018) for the classical boomerang uniformity.
 [77] arXiv:2009.09345 [pdf, ps, other]

Title: Link Floer homology also detects split linksAuthors: Joshua WangComments: 9 pagesSubjects: Geometric Topology (math.GT)
Inspired by work of LipshitzSarkar, we show that the module structure on link Floer homology detects split links. Using results of Ni, AlishahiLipshitz, and LipshitzSarkar, we establish an analogous detection result for sutured Floer homology.
 [78] arXiv:2009.09349 [pdf, other]

Title: A look at generalized perfect shufflesComments: 15 pages, 5 figures. Comments welcomeSubjects: Combinatorics (math.CO); Group Theory (math.GR)
Standard perfect shuffles involve splitting a deck of 2n cards into two stacks and interlacing the cards from the stacks. There are two ways that this interlacing can be done, commonly referred to as an in shuffle and an out shuffle, respectively. In 1983, Diaconis, Graham, and Kantor determined the permutation group generated by in and out shuffles on a deck of 2n cards for all n. Diaconis et al. concluded their work by asking whether similar results can be found for socalled generalized perfect shuffles. For these new shuffles, we split a deck of mn cards into m stacks and similarly interlace the cards with an in mshuffle or out mshuffle (denoted I_m and O_m, respectively). In this paper, we find the structure of the group generated by these two shuffles for a deck of m^k cards, together with m^yshuffles, for all possible values of m, k, and y. The group structure is completely determined by k/gcd(y,k) and the parity of y/gcd(y,k). In particular, the group structure is independent of the value of m.
 [79] arXiv:2009.09350 [pdf, ps, other]

Title: The sevenstrand braid group is CAT(0)Authors: Seong Gu JeongComments: 14 pages, 0 figuresSubjects: Group Theory (math.GR); Combinatorics (math.CO); Geometric Topology (math.GT)
We prove that the 7strand braid group is CAT(0) by elaborating on the argument of Haettel, Kielak and Schwer
 [80] arXiv:2009.09353 [pdf, ps, other]

Title: On fully decoupled MSAV schemes for the CahnHilliardNavierStokes model of TwoPhase Incompressible FlowsSubjects: Numerical Analysis (math.NA)
We construct first and secondorder time discretization schemes for the CahnHilliardNavierStokes system based on the multiple scalar auxiliary variables approach (MSAV) approach for gradient systems and (rotational) pressurecorrection for NavierStokes equations. These schemes are linear, fully decoupled, unconditionally energy stable, and only require solving a sequence of elliptic equations with constant coefficients at each time step. We carry out a rigorous error analysis for the firstorder scheme, establishing optimal convergence rate for all relevant functions in different norms. We also provide numerical experiments to verify our theoretical results.
 [81] arXiv:2009.09356 [pdf, ps, other]

Title: Singular equivalences induced by bimodules and quadratic monomial algebrasComments: 20 pages, all comments are welcome!Subjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between the homotopy categories of acyclic complexes of injective modules. We give conditions on when a bimodule appears in a pair of bimodules, that defines a singular equivalence with level. We construct an explicit bimodule, which yields a singular equivalence between a quadratic monomial algebra and its associated algebra with radical square zero. Under certain conditions which include the Gorenstein cases, the bimodule does appear in a pair of bimodules defining a singular equivalence with level.
 [82] arXiv:2009.09362 [pdf, ps, other]

Title: Local Euler Obstructions and Sectional Euler Characteristics of Recursive Group OrbitsAuthors: Xiping ZhangSubjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
The local Euler obstructions of a projective variety and the Euler characteristics of its linear sections with given hyperplanes are key geometric invariants in the study of singularity theory. Despite their importance, in general it is very hard to compute them. In this paper we consider a special type of singularity: the recursive group orbits. They are the group orbits of a sequence of $G_n$ representations $V_n$ satisfy certain assumptions. We introduce a new intrinsic invariant called the $c_{sm}$ invariant, and use it to give formulas to the local Euler obstructions and sectional Euler characteristics of such orbits. In particular, the matrix rank loci are examples of recursive group orbits. Thus as application, we explicitly compute these geometry invariants for ordinary, skewsymmetric and symmetric rank loci. Our method is algebraic, thus works for algebraically closed field of characteristic $0$.
 [83] arXiv:2009.09366 [pdf, other]

Title: Multipliers for nonlinearities with monotone boundsComments: 9 pages, 6 figuresSubjects: Optimization and Control (math.OC)
We consider Lurye (sometimes written Lur'e) systems whose nonlinear operator is characterised by a possibly multivalued nonlinearity that is bounded above and below by monotone functions. Stability can be established using a subclass of the ZamesFalb multipliers. The result generalises similar approaches in the literature. Appropriate multipliers can be found using convex searches. Because the multipliers can be used for multivalued nonlinearities they can be applied after loop transformation. We illustrate the power of the new mutlipliers with two examples, one in continuous time and one in discrete time: in the first the approach is shown to outperform available stability tests in the literature; in the second we focus on the special case for asymmetric saturation with important consequences for systems with nonzero steady state exogenous signals.
 [84] arXiv:2009.09368 [pdf, ps, other]

Title: Twisted RotaBaxter operators, Reynolds operators on Lie algebras and NSLie algebrasAuthors: Apurba DasComments: 23 pages, comments are welcomeSubjects: Rings and Algebras (math.RA)
In this paper, we introduce twisted RotaBaxter operators on Lie algebras as an operator analogue of twisted rmatrices. We construct a suitable $L_\infty$algebra whose MaurerCartan elements are given by twisted RotaBaxter operators. This allows us to define cohomology of a twisted RotaBaxter operator. This cohomology can be seen as the ChevalleyEilenberg cohomology of a certain Lie algebra with coefficients in a suitable representation. We study deformations of twisted RotaBaxter operators from cohomological points of view. Some applications are given to Reynolds operators and twisted rmatrices. Next, we introduce a new algebraic structure, called NSLie algebras, that are related to twisted RotaBaxter operators in the same way preLie algebras are related to RotaBaxter operators. We end this paper by considering twisted generalized complex structures on modules over Lie algebras.
 [85] arXiv:2009.09375 [pdf, ps, other]

Title: The Terwilliger algebra of the twisted Grassmann graph: the thin caseComments: 22 pagesSubjects: Combinatorics (math.CO)
The Terwilliger algebra $T(x)$ of a finite connected simple graph $\Gamma$ with respect to a vertex $x$ is the complex semisimple matrix algebra generated by the adjacency matrix $A$ of $\Gamma$ and the diagonal matrices $E_i^*(x)=\operatorname{diag}(v_i)$ $(i=0,1,2,\dots)$, where $v_i$ denotes the characteristic vector of the set of vertices at distance $i$ from $x$. The twisted Grassmann graph $\tilde{J}_q(2D+1,D)$ discovered by Van Dam and Koolen in 2005 has two orbits of the automorphism group on its vertex set, and it is known that one of the orbits has the property that $T(x)$ is thin whenever $x$ is chosen from it, i.e., every irreducible $T(x)$module $W$ satisfies $\dim E_i^*(x)W\leqslant 1$ for all $i$. In this paper, we determine all the irreducible $T(x)$modules of $\tilde{J}_q(2D+1,D)$ for this "thin" case.
 [86] arXiv:2009.09383 [pdf, other]

Title: Computing Harmonic Maps and Conformal Maps on Point CloudsComments: 26 pages, 9 figuresSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
We propose a novel meshless method to compute harmonic maps and conformal maps for surfaces embedded in the Euclidean 3space, using point cloud data only. Given a surface, or a point cloud approximation, we simply use the standard cubic lattice to approximate its $\epsilon$neighborhood. Then the harmonic map of the surface can be approximated by discrete harmonic maps on lattices. The conformal map, or the surface uniformization, is achieved by minimizing the Dirichlet energy of the harmonic map while deforming the target surface of constant curvature. We propose algorithms and numerical examples for closed surfaces and topological disks.
 [87] arXiv:2009.09389 [pdf, other]

Title: Wave propagation in random media, parameter estimation and damage detection via stochastic Fourier integral operatorsSubjects: Analysis of PDEs (math.AP); Computational Physics (physics.compph)
This paper presents a new approach to modelling wave propagation in random, linearly elastic materials, namely by means of Fourier integral operators (FIOs). The FIO representation of the solution to the equations of motion can be used to identify the elastic parameters of the underlying media, as well as their statistical hyperparameters in the randomly perturbed case. A stochastic version of the FIO representation can be used for damage detection. Hypothesis tests are proposed and validated, which are capable of distinguishing between an undamaged and a damaged material, even in the presence of random material parameters.
The paper presents both the theoretical fundamentals as well as a numerical experiment, in which the applicability of the proposed method is demonstrated.  [88] arXiv:2009.09394 [pdf, ps, other]

Title: Modal model theoryComments: 36 pages. Questions and commentary can be made at this http URLSubjects: Logic (math.LO)
We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A statement $\varphi$ is possible in a structure (written $\Diamond\varphi$) if $\varphi$ is true in some extension of that structure, and $\varphi$ is necessary (written $\Box\varphi$) if it is true in all extensions of the structure. A principal case for us will be the class Mod(T) of all models of a given theory Tall graphs, all groups, all fields, or what have youconsidered under the substructure relation. In this article, we aim to develop the resulting modal model theory. The class of all graphs is a particularly insightful case illustrating the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, $k$colorability, finiteness, countability, size continuum, size $\aleph_1$, $\aleph_2$, $\aleph_\omega$, $\beth_\omega$, first $\beth$fixed point, first $\beth$hyperfixedpoint and much more. A graph obeys the maximality principle $\Diamond\Box\varphi(a)\to\varphi(a)$ with parameters if and only if it satisfies the theory of the countable random graph, and it satisfies the maximality principle for sentences if and only if it is universal for finite graphs.
 [89] arXiv:2009.09396 [pdf, ps, other]

Title: On nonempty crossintersecting familiesComments: 12 pagesSubjects: Combinatorics (math.CO)
Let $\binom{[n]}{k}$ be the class of all $k$subsets of $\{1,2,\cdots,n\}$. For $t\geq 2$, we call $t$ families $\mathscr{A}_1,\mathscr{A}_2,\cdots, \mathscr{A}_t\subset\binom{[n]}{k}$ crossintersecting if $A_i\cap A_j\neq \emptyset$ for any $A_i\in \mathscr{A}_i$ and $A_j\in \mathscr{A}_j$ with $i\neq j$. In this paper we show that, for any nonempty crossintersecting families $\mathscr{A}_1,\mathscr{A}_2,\cdots, \mathscr{A}_t$, $$\sum\limits_{i=1}^t\mathscr{A}_i\leq \max\left\{\binom{n}{k}\binom{nk}{k}+t1,\ t\binom{n1}{k1}\right\}$$ and the upper bound is sharp. This generalizes the corresponding result of Hilton and Milner for $t=2$.
 [90] arXiv:2009.09398 [pdf, other]

Title: Analysis of simultaneous inpainting and geometric separation based on sparse decompositionSubjects: Functional Analysis (math.FA)
Natural images are often the superposition of various parts of different geometric characteristics. For instance, an image might be a mixture of cartoon and texture structures. In addition, images are often given with missing data. In this paper, we develop a method for simultaneously decomposing an image to its two underlying parts and inpainting the missing data. Our separation inpainting method is based on and $l_1$ minimization approach, using two dictionaries, each sparsifying one of the image parts but not the other. We introduce a comprehensive convergence analysis of our method, in a general setting, utilizing the concepts of joint concentration, clustered sparsity, and cluster coherence. As the main application of our theory, we consider the problem of separating and inpainting an image to a cartoon and texture parts.
 [91] arXiv:2009.09409 [pdf, ps, other]

Title: LucasEuler relations using balancing and Lucasbalancing polynomialsComments: 11 pagesSubjects: Number Theory (math.NT)
We establish some new combinatorial identities involving Euler polynomials and balancing (Lucasbalancing) polynomials. The derivations use elementary techniques and are based on functional equations for the respective generating functions. From these polynomial relations, we deduce interesting identities with Fibonacci and Lucas numbers, and Euler numbers. The results must be regarded as companion results to some FibonacciBernoulli identities, which we derived in our previous paper.
 [92] arXiv:2009.09410 [pdf, ps, other]

Title: Tiling by translates of a function: results and open problemsSubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA); Metric Geometry (math.MG)
We say that a function $f \in L^1(\mathbb{R})$ tiles at level $w$ by a discrete translation set $\Lambda \subset \mathbb{R}$, if we have $\sum_{\lambda \in \Lambda} f(x\lambda)=w$ a.e. In this paper we survey the main results, and prove several new ones, on the structure of tilings of $\mathbb{R}$ by translates of a function. The phenomena discussed include tilings of bounded and of unbounded density, uniform distribution of the translates, periodic and nonperiodic tilings, and tilings at level zero. Fourier analysis plays an important role in the proofs. Some open problems are also given.
 [93] arXiv:2009.09418 [pdf, ps, other]

Title: $Λ$coalescents arising in populations with dormancyComments: 35 pagesSubjects: Probability (math.PR); Populations and Evolution (qbio.PE)
Consider a population evolving from year to year through three seasons: spring, summer and winter. Every spring starts with $N$ dormant individuals waking up independently of each other according to a given distribution. Once an individual is awake, it starts reproducing at a constant rate. By the end of spring, all individuals are awake and continue reproducing independently as Yule processes during the whole summer. In the winter, $N$ individuals chosen uniformly at random go to sleep until the next spring, and the other individuals die. We show that because an individual that wakes up unusually early can have a large number of surviving descendants, for some choices of model parameters the genealogy of the population will be described by a $\Lambda$coalescent. In particular, the beta coalescent can describe the genealogy when the rate at which individuals wake up increases exponentially over time. We also characterize the set of all $\Lambda$coalescents that can arise in this framework.
 [94] arXiv:2009.09419 [pdf, other]

Title: Generalized MittagLeffler stability of fractional impulsive differential systemSubjects: Optimization and Control (math.OC)
This paper establishes sufficient conditions for Generalized MittagLeffler stability of a class of impulsive fractional differential system with Hilfer order. The analysis extends through both, instantaneous and noninstantaneous impulsive conditions. The theory utilizes continuous Lyapunov functions, to ascertain the stability conditions. An example is given discussing for various ranges.
 [95] arXiv:2009.09424 [pdf, ps, other]

Title: $\mathbb{A}^1$connected components of blowup of threefolds fibered over a surfaceAuthors: Rakesh PawarComments: 19 pagesSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); KTheory and Homology (math.KT)
Over a perfect field, we determine the sheaf of $\mathbb{A}^1$connected components of a class of threefolds given by the Blowup of a variety admitting a $\mathbb{P}^1$fibration over either an $\mathbb{A}^1$rigid or a nonuniruled surface, along a smooth curve. As a consequence, we verify that the sheaf of $\mathbb{A}^1$connected components for such varieties is $\mathbb{A}^1$invariant.
 [96] arXiv:2009.09426 [pdf, ps, other]

Title: Pure pairs. IV. Trees in bipartite graphsSubjects: Combinatorics (math.CO)
In this paper we investigate the bipartite analogue of the strong ErdosHajnal property. We prove that for every forest $H$ and every $\tau>0$ there exists $\epsilon>0$, such that if $G$ has a bipartition $(A,B)$ and does not contain $H$ as an induced subgraph, and has at most $(1\tau)A\cdotB$ edges, then there is a stable set in $G$ that contains at least $\epsilonV_i$ vertices of $V_i$, for $i=1,2$. No graphs $H$ except forests have this property.
 [97] arXiv:2009.09431 [pdf, other]

Title: Lagrangian and Hamiltonian Mechanics for Probabilities on the Statistical ManifoldComments: 39 pages, 5 figuresSubjects: Statistics Theory (math.ST); Information Theory (cs.IT); High Energy Physics  Theory (hepth); Optimization and Control (math.OC); Machine Learning (stat.ML)
We provide an InformationGeometric formulation of Classical Mechanics on the Riemannian manifold of probability distributions, which is an affine manifold endowed with a duallyflat connection. In a nonparametric formalism, we consider the full set of positive probability functions on a finite sample space, and we provide a specific expression for the tangent and cotangent spaces over the statistical manifold, in terms of a Hilbert bundle structure that we call the Statistical Bundle. In this setting, we compute velocities and accelerations of a onedimensional statistical model using the canonical dual pair of parallel transports and define a coherent formalism for Lagrangian and Hamiltonian mechanics on the bundle. Finally, in a series of examples, we show how our formalism provides a consistent framework for accelerated natural gradient dynamics on the probability simplex, paving the way for direct applications in optimization, game theory and neural networks.
 [98] arXiv:2009.09432 [pdf, ps, other]

Title: Convergence Rates of Exceptional Zeros of Exceptional Orthogonal PolynomialsAuthors: Brian SimanekComments: 19 pagesSubjects: Classical Analysis and ODEs (math.CA)
We consider the zeros of exceptional orthogonal polynomials (XOP). Exceptional orthogonal polynomials were originally discovered as eigenfunctions of second order differential operators that exist outside the classical BochnerBrenke classification due to the fact that XOP sequences omit polynomials of certain degrees. This omission causes several properties of the classical orthogonal polynomial sequences to not extend to the XOP sequences. One such property is the restriction of the zeros to the convex hull of the support of the measure of orthogonality. In the XOP case, the zeros that exist outside the classical intervals are called exceptional zeros and they often converge to easily identifiable limit points as the degree becomes large. We deduce the exact rate of convergence and verify that certain estimates that previously appeared in the literature are sharp.
 [99] arXiv:2009.09437 [pdf, ps, other]

Title: Twisted traces and positive forms on quantized Kleinian singularities of type AComments: 44 pages, latexSubjects: Quantum Algebra (math.QA); High Energy Physics  Theory (hepth); Representation Theory (math.RT)
Following arXiv:1601.05378 and arXiv:1909.13588, we undertake a detailed study of twisted traces on quantizations of Kleinian singularities of type $A_{n1}$. In particular, we give explicit integral formulas for these traces and use them to determine when a trace defines a positive Hermitian form on the corresponding algebra. This leads to a classification of unitary short starproducts for such quantizations, a problem posed in arXiv:1601.05378 in connection with 3dimensional superconformal field theory. In particular, we confirm the conjecture from arXiv:1601.05378 that for $n\le 4$ a unitary short starproduct is unique and compute its parameter as a function of the quantization parameters, giving exact formulas for the numerical functions from arXiv:1601.05378. If $n=2$, this, in particular, recovers the theory of unitary spherical HarishChandra bimodules for ${\mathfrak{sl}}_2$. Thus the results of this paper may be viewed as a starting point for a generalization of the theory of unitary HarishChandra bimodules over enveloping algebras of reductive Lie algebras to more general quantum algebras. Finally, we derive recurrences to compute the coefficients of short starproducts corresponding to twisted traces, which are generalizations of discrete Painlev\'e systems.
 [100] arXiv:2009.09449 [pdf, ps, other]

Title: The primitive equations with stochastic wind driven boundary conditions: global strong wellposedness in critical spacesComments: 20 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
This article studies the primitive equations for geophysical flows subject to stochastic wind driven boundary conditions modeled by a cylindrical Wiener process. A rigorous treatment of stochastic boundary conditions yields that these equations admit a unique global, strong, pathwise solution within the $L^q_t$$L^p_x$setting of critical spaces. Critical spaces are established for the first time within the setting of the stochastic primitive equations.
 [101] arXiv:2009.09461 [pdf, ps, other]

Title: HernandezLeclerc modules and snake graphsComments: 32 pages, latexSubjects: Quantum Algebra (math.QA); Combinatorics (math.CO)
In 2010, Hernandez and Leclerc studied connections between representations of quantum affine algebras and cluster algebras. In 2019, Brito and Chari defined a family of modules over quantum affine algebras, called HernandezLeclerc modules. We characterize the highest $\ell$weight monomials of HernandezLeclerc modules. We give a nonrecursive formula of $q$characters of HernandezLeclerc modules using snake graphs, which involves an explicit formula for $F$polynomials. We also give a new recursive formula of $q$characters of HernandezLeclerc modules.
 [102] arXiv:2009.09464 [pdf, ps, other]

Title: A stochastic spatial model for the sterile insect control strategySubjects: Probability (math.PR)
In the system we study, 1's and 0's are a contact process with births at rate $\lambda$ and deaths at rate 1. $1$'s are sterile individuals that do reproduce but appear spontaneously on vacant sites at rate $\alpha$ and die at rate $\theta\alpha$. We show that the system (which is attractive but has no dual) dies out at the critical value and has a nontrivial stationary distribution when it is supercritical. Our most interesting results concern the asymptotics when $\alpha\to 0$ . In this regime the process resembles the contact process in a random environment.
 [103] arXiv:2009.09466 [pdf, ps, other]

Title: Quantum CuntzKrieger algebrasComments: 40 pagesSubjects: Operator Algebras (math.OA); Quantum Algebra (math.QA)
Motivated by the theory of CuntzKrieger algebras we define and study $ C^\ast $algebras associated to directed quantum graphs. For classical graphs the $ C^\ast $algebras obtained this way can be viewed as free analogues of CuntzKrieger algebras, and need not be nuclear.
We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum CuntzKrieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to $ KK $equivalence. In the case of the complete quantum graphs we use quantum symmetries to show that, in certain cases, the corresponding quantum CuntzKrieger algebras are isomorphic to Cuntz algebras. These isomorphisms, which seem far from obvious from the definitions, imply in particular that these $ C^\ast $algebras are all pairwise nonisomorphic for complete quantum graphs of different dimensions, even on the level of $ KK $theory. We explain how the notion of unitary error basis from quantum information theory can help to elucidate the situation.
We also discuss quantum symmetries of quantum CuntzKrieger algebras in general.  [104] arXiv:2009.09469 [pdf, ps, other]

Title: Extremal Indices in the Series Scheme and their ApplicationsAuthors: Alexey V. LebedevSubjects: Probability (math.PR); Statistics Theory (math.ST)
We generalize the concept of extremal index of a stationary random sequence to the series scheme of identically distributed random variables with random series sizes tending to infinity in probability. We introduce new extremal indices through two definitions generalizing the basic properties of the classical extremal index. We prove some useful properties of the new extremal indices. We show how the behavior of aggregate activity maxima on random graphs (in information network models) and the behavior of maxima of random particle scores in branching processes (in biological population models) can be described in terms of the new extremal indices. We also obtain new results on models with copulas and threshold models. We show that the new indices can take different values for the same system, as well as values greater than one.
 [105] arXiv:2009.09475 [pdf, ps, other]

Title: On the infinitesimal Terracini lemmaAuthors: Ciro CilibertoComments: 12 pagesSubjects: Algebraic Geometry (math.AG)
In this paper we prove an infinitesimal version of the classical Terracini Lemma for 3secant planes to a variety. Precisely we prove that if
$X\subseteq \PP^r$ is an irreducible, nondegenerate, projective complex variety of dimension $n$ with $r\geq 3n+2$, such that the variety of osculating planes to curves in $X$ has the expected dimension $3n$ and for every $0$dimensional, curvilinear scheme $\gamma$ of length 3 contained in $X$ the family of hyperplanes sections of $X$ which are singular along $\gamma$ has dimension larger that $r3(n+1)$, then $X$ is $2$secant defective.  [106] arXiv:2009.09476 [pdf, ps, other]

Title: Cellaverage WENO with progressive order of accuracy close to discontinuities with applications to signal processingComments: 23 pages, 4 figuresSubjects: Numerical Analysis (math.NA)
In this paper we translate to the cellaverage setting the algorithm for the pointvalue discretization presented in S. Amat, J. Ruiz, C.W. Shu, D. F. Y\'a\~nez, A new WENO2r algorithm with progressive order of accuracy close to discontinuities, submitted to SIAM J. Numer. Anal.. This new strategy tries to improve the results of WENO($2r1$) algorithm close to the singularities, resulting in an optimal order of accuracy at these zones. The main idea is to modify the optimal weights so that they have a nonlinear expression that depends on the position of the discontinuities. In this paper we study the application of the new algorithm to signal processing using Harten's multiresolution. Several numerical experiments are performed in order to confirm the theoretical results obtained.
 [107] arXiv:2009.09478 [pdf, other]

Title: Sharp Hardy inequalities via Riemannian submanifoldsSubjects: Differential Geometry (math.DG)
This paper is devoted to Hardy inequalities concerning distance functions from submanifolds of arbitrary codimensions in the Riemannian setting. On a Riemannian manifold with nonnegative curvature, sharp weighted Hardy inequalities are established in the cases when the submanifold is compact as well as noncompact. Moreover, these inequalities remain valid even if the total manifold is compact, in which case we find an optimal space of smooth functions to study Hardy inequalities. Our results complement in several aspects those obtained recently in the Euclidean and Riemannian settings.
 [108] arXiv:2009.09479 [pdf, ps, other]

Title: Classification Of Level Zero Irreducible Integrable Modules For Twisted Full Toroidal Lie AlgebrasComments: 27 pagesSubjects: Representation Theory (math.RT)
In this paper, we first construct the twisted full toroidal Lie algebra by an extension of a centreless Lie torus $LT$ which is a multiloop algebra twisted by several automorphisms of finite order and equipped with a particular grading. We then provide a complete classification of all the irreducible integrable modules with finite dimensional weight spaces for this twisted full toroidal Lie algebra having a nontrivial $LT$action and where the centre of the underlying Lie algebra acts trivially.
 [109] arXiv:2009.09481 [pdf, ps, other]

Title: Linear nondegeneracy and uniqueness of the bubble solution for the critical fractional Hénon equation in $\mathbb{R}^N$Subjects: Analysis of PDEs (math.AP)
We study the equation \begin{equation*}\label{P0} (\Delta)^s u = x^{\alpha} u^{\frac{N+2s+2\alpha}{N2s}}\mbox{ in }\mathbb{R}^N,\tag{P} \end{equation*} where $(\Delta)^s$ is the fractional Laplacian operator with $0 < s < 1$, $\alpha>2s$ and $N>2s$. We prove the linear nondegeneracy of positive radially symmetric solutions of the equation (\ref{P0}) and, as a consequence, a uniqueness result of those solutions with Morse index equal to one. In particular, the ground state solution is unique. Our nondegeneracy result extends in the radial setting some known theorems done by D\'avila, Del Pino and Sire (see \cite[Theorem 1.1]{DavilaDelPinoSire}), and Gladiali, Grossi and Neves (see \cite[Theorem 1.3]{GladialiGrossiNeves}).
 [110] arXiv:2009.09486 [pdf, ps, other]

Title: Action representability of the category of internal groupoidsComments: 12 pagesSubjects: Category Theory (math.CT); Algebraic Topology (math.AT); Rings and Algebras (math.RA)
When $\mathbb C$ is a semiabelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semiabelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semiabelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather subtle. In the present article we give a sufficient condition for this to be true: in fact we prove that the category $\mathsf{Grpd}(\mathbb C)$ is a semiabelian action representable algebraically coherent category with normalizers if and only if $\mathbb C$ is a semiabelian action representable algebraically coherent category with normalizers. This result applies in particular to the categories of internal groupoids in the categories of groups, Lie algebras and cocommutative Hopf algebras, for instance.
 [111] arXiv:2009.09490 [pdf, other]

Title: Primelocalized Weinstein subdomainsComments: 29 pages, comments welcome!Subjects: Symplectic Geometry (math.SG)
For any highdimensional Weinstein domain and finite collection of primes, we construct a Weinstein subdomain whose wrapped Fukaya category is a localization of the original wrapped Fukaya category away from the given primes. When the original domain is a cotangent bundle, these subdomains form a decreasing lattice whose order cannot be reversed.
Furthermore, we classify the possible wrapped Fukaya categories of Weinstein subdomains of a cotangent bundle of a simply connected, spin manifold, showing that they all coincide with one of these prime localizations. In the process, we describe which twisted complexes in the wrapped Fukaya category of a cotangent bundle of a sphere are isomorphic to genuine Lagrangians.  [112] arXiv:2009.09491 [pdf, other]

Title: Active Phase for Activated Random Walk on ZComments: 29 pages, 2 figuresSubjects: Probability (math.PR); Mathematical Physics (mathph)
We consider the Activated Random Walk model on $\mathbb{Z}$. In this model, each particle performs a continuoustime simple symmetric random walk, and falls asleep at rate $\lambda$. A sleeping particle does not move but it is reactivated in the presence of another particle. We show that for any sleep rate $\lambda < \infty$ if the density $ \zeta $ is close enough to $1$ then the system stays active.
 [113] arXiv:2009.09494 [pdf, ps, other]

Title: Numerical Study of Nonuniqueness for 2D Compressible Isentropic Euler EquationsComments: 15 pages, 29 figuresSubjects: Analysis of PDEs (math.AP)
In this paper, we numerically study a class of solutions with spiraling singularities in vorticity for twodimensional, inviscid, compressible Euler systems, where the initial data have an algebraic singularity in vorticity at the origin. These are different from the multidimensional Riemann problems widely studied in the literature. Our computations provide numerical evidence of the existence of initial value problems with multiple solutions, thus revealing a fundamental obstruction toward the wellposedness of the governing equations. The compressible Euler equations are solved using the positivitypreserving discontinuous Galerkin method.
 [114] arXiv:2009.09507 [pdf, ps, other]

Title: On Sprimary submodulesSubjects: Commutative Algebra (math.AC)
Let $R$ be a commutative ring with identity, $S$ a multiplicatively closed subset of $R$, and $M$ be an $R$module. In this paper, we study and investigate some properties of $S$primary submodules of $M$. Among the other results, it is shown that this class of modules contains the family of primary (resp. $S$prime) submodules properly.
 [115] arXiv:2009.09510 [pdf, ps, other]

Title: Bounds on Zeckendorf GamesAuthors: Anna Cusenza, Aiden Dunkelberg, Kate Huffman, Dianhui Ke, Micah McClatchey, Steven J. Miller, Clayton Mizgerd, Vashisth Tiwari, Jingkai Ye, Xiaoyan ZhengComments: 15 pages, from Zeckendorf Polymath REUSubjects: Number Theory (math.NT)
Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of nonadjacent Fibonacci numbers. We use this decomposition to construct a twoplayer game. Given a fixed integer $n$ and an initial decomposition of $n=n F_1$, the two players alternate by using moves related to the recurrence relation $F_{n+1}=F_n+F_{n1}$, and whoever moves last wins. The game always terminates in the Zeckendorf decomposition; depending on the choice of moves the length of the game and the winner can vary, though for $n\ge 2$ there is a nonconstructive proof that Player 2 has a winning strategy.
Initially the lower bound of the length of a game was order $n$ (and known to be sharp) while the upper bound was of size $n \log n$. Recent work decreased the upper bound to of size $n$, but with a larger constant than was conjectured. We improve the upper bound and obtain the sharp bound of $\frac{\sqrt{5}+3}{2}\ n  IZ(n)  \frac{1+\sqrt{5}}{2}Z(n)$, which is of order $n$ as $Z(n)$ is the number of terms in the Zeckendorf decomposition of $n$ and $IZ(n)$ is the sum of indices in the Zeckendorf decomposition of $n$ (which are at most of sizes $\log n$ and $\log^2 n$ respectively). We also introduce a greedy algorithm that realizes the upper bound, and show that the longest game on any $n$ is achieved by applying splitting moves whenever possible.  [116] arXiv:2009.09513 [pdf, ps, other]

Title: Rationality of the exceptional Walgebras $\mathcal{W}_k(\mathfrak{sp}_4,f_{subreg})$ associated with subregular nilpotent elements of $\mathfrak{sp}_4$Authors: Justine FasquelComments: 22 pages in EnglishSubjects: Representation Theory (math.RT)
We prove the rationality of the exceptional Walgebras associated with the simple Lie algebra $\mathfrak{sp}_4$ and subregular nilpotent elements, proving a new particular case of a conjecture of KacWakimoto.
 [117] arXiv:2009.09516 [pdf, ps, other]

Title: Fourier nonuniqueness sets for the hyperbola and the PerronFrobenius operatorsAuthors: Deb Kumar GiriComments: 20 pagesSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
Let $\Gamma$ be a smooth curve or finite disjoint union of smooth curves in the plane and $\Lambda$ be any subset of the plane. Let $\mathcal X(\Gamma)$ be the space of all finite complexvalued Borel measures in the plane which are supported on $\Gamma$ and are absolutely continuous with respect to the arc length measure on $\Gamma.$ Let $\mathcal{AC}(\Gamma,\Lambda)=\{\mu\in \mathcal{X}(\Gamma) : \hat\mu_{\Lambda}=0\},$ then we prove the following results: \begin{enumerate}[(a)] \item For a rational perturbation of $\Lambda_\beta$ namely, $\Lambda_\beta^\theta=\left((\mathbb Z+\{\theta\})\times\{0\}\right)\cup\left(\{0\}\times\beta\mathbb Z\right),$ where $\theta=1/{p},~\text{for some}~{p}\in\mathbb N,$ and $\beta$ is a positive real, $\mathcal{AC}\left(\Gamma,\Lambda_\beta^\theta\right)$ is infinitedimensional whenever $\beta>p.$ \smallskip
\item For a rational perturbation of $\Lambda_\gamma$ namely, $\Lambda_\gamma^\theta=\left((2\mathbb Z+\{2\theta\})\times\{0\}\right)\cup\left(\{0\} \times2\gamma\mathbb Z\right),$ where $\theta=1/q,~\text{for some}~q\in\mathbb N,$ and $\gamma$ is a positive real, $\mathcal{AC}\left(\Gamma_+,\Lambda_\gamma^\theta\right)$ is infinitedimensional whenever $\gamma>q.$ \end{enumerate}  [118] arXiv:2009.09518 [pdf, ps, other]

Title: Sums of Powers in Large Finite Fields: A Mix of MethodsComments: 15 pages, to appear in The American Mathematical MonthlySubjects: Number Theory (math.NT)
Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal equations. Then, we offer two proofs, one new and elementary, and the other more classical, based on Fourier analysis and an application of a nontrivial estimate from the theory of finite fields. In context and juxtaposition, each will have its merits.
 [119] arXiv:2009.09522 [pdf, ps, other]

Title: 5point CAT(0) spaces after Tetsu ToyodaComments: 8 pages, 7 figuresSubjects: Metric Geometry (math.MG); Differential Geometry (math.DG)
We give another proof of Toyoda's theorem that describes 5point subpaces in CAT(0) length spaces
 [120] arXiv:2009.09524 [pdf, ps, other]

Title: Two and ThreeParty Digital Goods Auctions: Scalable Privacy AnalysisSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
A digital goods auction is a type of auction where potential buyers bid the maximal price that they are willing to pay for a certain item, which a seller can produce at a negligible cost and in unlimited quantity. To maximise her benefits, the aim for the seller is to find the optimal sales price, which every buyer whose bid is not lower will pay. For fairness and privacy purposes, buyers may be concerned about protecting the confidentiality of their bids. Secure MultiParty Computation is a domain of Cryptography that would allow the seller to compute the optimal sales price while guaranteeing that the bids remain secret. Paradoxically, as a function of the buyers' bids, the sales price inevitably reveals some private information. Generic frameworks and entropybased techniques based on Quantitative Information Flow have been developed in order to quantify and restrict those leakages. Due to their combinatorial nature, these techniques do not scale to large input spaces. In this work, we aim at scaling those privacy analyses to large input spaces in the particular case of digital goods auctions. We derive closedform formulas for the posterior minentropy of private inputs in two and threeparty auctions, which enables us to effectively quantify the information leaks for arbitrarily large input spaces. We also provide supportive experimental evidence that enables us to formulate a conjecture that would allow us to extend our results to any number of parties.
 [121] arXiv:2009.09526 [pdf, ps, other]

Title: Secondcountable compact Hausdorff spaces as remainders in $\mathbf{ZF}$ and two new notions of infinitenessSubjects: General Topology (math.GN)
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all nonempty secondcountable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other independence results, the characterization of locally compact Hausdorff spaces having all nonempty metrizable compact spaces as remainders, obtained by Hatzenhuhler and Mattson in $\mathbf{ZFC}$, is proved to be independent of $\mathbf{ZF}$. Urysohn's Metrization Theorem is generalized to the following theorem: every $T_3$space which admits a base expressible as a countable union of finite sets is metrizable. Applications to solutions of problems concerning the existence of some special metrizable compactifications in $\mathbf{ZF}$ are shown. New concepts of a strongly filterbase infinite set and a dyadically filterbase infinite set are introduced, both stemming from the investigations on compactifications. Settheoretic and topological definitions of the new concepts are given, and their relationship with certain known notions of infinite sets is investigated in $\mathbf{ZF}$. A new permutation model is introduced in which there exists a strongly filterbase infinite set which is weakly Dedekindfinite. All $\mathbf{ZFA}$independence results of this article are transferable to $\mathbf{ZF}$.
 [122] arXiv:2009.09530 [pdf, ps, other]

Title: Closure properties of measurable ultrapowersComments: 22 pagesSubjects: Logic (math.LO)
We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. In the other direction, we use various square principles to show that measurable ultrapowers of canonical inner models only possess the minimal amount of closure properties. In addition, the techniques developed in the proofs of these results also allow us to derive statements about the consistency strength of the existence of measurable ultrapowers with nonminimal closure properties.
 [123] arXiv:2009.09531 [pdf, ps, other]

Title: Relative SeibergWitten invariants and a sum formulaComments: 51 pagesSubjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)
We study relative SeibergWitten moduli spaces and define relative invariants for a pair $(X,\Sigma)$ consisting of a smooth, closed, oriented 4manifold $X$ and a smooth, closed, oriented 2dimensional submanifold $\Sigma\!\subset\!X$ with positive genus. These relative SeibergWitten invariants are meant to be the counterparts of relative GromovWitten invariants. We also obtain a sum formula (aka a product formula) that relates the SW invariants of a sum $X$ of two closed oriented 4manifolds $X_1$ and $X_2$ along a common oriented surface $\Sigma$ with dual selfintersections to the relative SW invariants of $(X_1,\Sigma)$ and $(X_2,\Sigma)$. Our formula generalizes MorganSzab\'oTaubes' product formula.
 [124] arXiv:2009.09532 [pdf, ps, other]

Title: The Linearized Classical Boussinesq System on the HalfLineComments: 19 pages, 2 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
The linearization of the classical Boussinesq system is solved explicitly in the case of nonzero boundary conditions on the halfline. The analysis relies on the unified transform method of Fokas and is performed in two different frameworks: (i) by exploiting the recently introduced extension of Fokas's method to systems of equations; (ii) by expressing the linearized classical Boussinesq system as a single, higherorder equation which is then solved via the usual version of the unified transform. The resulting formula provides a novel representation for the solution of the linearized classical Boussinesq system on the halfline. Moreover, thanks to the uniform convergence at the boundary, the novel formula is shown to satisfy the linearized classical Boussinesq system as well as the prescribed initial and boundary data via a direct calculation.
 [125] arXiv:2009.09544 [pdf, ps, other]

Title: New strongly regular graphs with parameters (81,30,9,12) and a partial geometry pg(5,5,2)Comments: 7 pagesSubjects: Combinatorics (math.CO)
Twelve new strongly regular graphs with parameters (81,30,9,12) are found as graphs invariant under certain subgroups of the automorphism groups of the two previously known graphs that arise from 2weight codes. One of these new graphs is geometric and yields a partial geometry with parameters pg(5,5,2) that is not isomorphic to the partial geometry discovered by J. H. van Lint and A. Schrijver in 1981.
 [126] arXiv:2009.09548 [pdf, ps, other]

Title: Khavinson problem for hyperbolic harmonic mappings in Hardy spaceComments: 30 pagesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
\begin{abstract} In this paper, we partly solve the generalized Khavinson conjecture in the setting of hyperbolic harmonic mappings in Hardy space. Assume that $u=\mathcal{P}_{\Omega}[\phi]$ and
$\phi\in L^{p}(\partial\Omega, \mathbb{R})$, where $p\in[1,\infty]$, $\mathcal{P}_{\Omega}[\phi]$ denotes the Poisson integral of $\phi$ with respect to the hyperbolic Laplacian operator $\Delta_{h}$ in $\Omega$, and $\Omega$ denotes the unit ball $\mathbb{B}^{n}$ or the halfspace $\mathbb{H}^{n}$. For any $x\in \Omega$ and $l\in \mathbb{S}^{n1}$, let $\mathbf{C}_{\Omega,q}(x)$ and $\mathbf{C}_{\Omega,q}(x;l)$ denote the optimal numbers for the gradient estimate $$
\nabla u(x)\leq \mathbf{C}_{\Omega,q}(x)\\phi\_{ L^{p}(\partial\Omega, \mathbb{R})} $$ and gradient estimate in the direction $l$ $$\langle\nabla u(x),l\rangle\leq \mathbf{C}_{\Omega,q}(x;l)\\phi\_{ L^{p}(\partial\Omega, \mathbb{R})}, $$
respectively.
Here $q$ is the conjugate of $p$.
If $q=\infty$ or $q\in[\frac{2K_{0}1}{n1}+1,\frac{2K_{0}}{n1}+1]\cap [1,\infty)$ with $K_{0}\in\mathbb{N}=\{0,1,2,\ldots\}$, then $\mathbf{C}_{\mathbb{B}^{n},q}(x)=\mathbf{C}_{\mathbb{B}^{n},q}(x;\pm\frac{x}{x})$ for any $x\in\mathbb{B}^{n}\backslash\{0\}$, and $\mathbf{C}_{\mathbb{H}^{n},q}(x)=\mathbf{C}_{\mathbb{H}^{n},q}(x;\pm e_{n})$ for any $x\in \mathbb{H}^{n}$, where $e_{n}=(0,\ldots,0,1)\in\mathbb{S}^{n1}$. However, if $q\in(1,\frac{n}{n1})$, then $\mathbf{C}_{\mathbb{B}^{n},q}(x)=\mathbf{C}_{\mathbb{B}^{n},q}(x;t_{x})$ for any $x\in\mathbb{B}^{n}\backslash\{0\}$, and $\mathbf{C}_{\mathbb{H}^{n},q}(x)=\mathbf{C}_{\mathbb{H}^{n},q}(x;t_{e_{n}})$ for any $x\in \mathbb{H}^{n}$. Here $t_{w}$ denotes any unit vector in $\mathbb{R}^{n}$
such that $\langle t_{w},w\rangle=0$ for $w\in \mathbb{R}^{n}\setminus\{0\}$. \end{abstract}  [127] arXiv:2009.09550 [pdf, other]

Title: PhysicalLayer Security for TwoHop AirtoUnderwater Communication Systems With FixedGain AmplifyandForward RelayingSubjects: Information Theory (cs.IT)
We analyze a secure twohop mixed radio frequency (RF) and underwater wireless optical communication (UWOC) system using a fixedgain amplifyandforward (AF) relay. The UWOC channel is modeled using a unified mixture exponentialgeneralized Gamma distribution to consider the combined effects of air bubbles and temperature gradients on transmission characteristics. Both legitimate and eavesdropping RF channels are modeled using flexible $\alpha\mu$ distributions. Specifically, we first derive both the probability density function (PDF) and cumulative distribution function (CDF) of the received signaltonoise ratio (SNR) of the mixed RF and UWOC system. Based on the PDF and CDF expressions, we derive the closedform expressions for the tight lower bound of the secrecy outage probability (SOP) and the probability of nonzero secrecy capacity (PNZ), which are both expressed in terms bivariate Fox's $H$function. To utilize these analytical expressions, we derive asymptotic expressions of SOP and PNZ using only elementary functions. Also, we use asymptotic expressions to determine the optimal transmitting power to maximize energy efficiency. Further, we thoroughly investigate the effect of levels of air bubbles and temperature gradients in the UWOC channel, and study nonlinear characteristics of the transmission medium and the number of multipath clusters of the RF channel on the secrecy performance. Finally, all analyses are validated using Monte Carlo simulation.
 [128] arXiv:2009.09552 [pdf, ps, other]

Title: On ill and wellposedness to stochastic 3D Euler equations]{On ill and wellposedness of dissipative martingale solutions to stochastic 3D Euler equationsSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We are concerned with the question of wellposedness of stochastic three dimensional incompressible Euler equations. In particular, we introduce a novel class of dissipative solutions and show that (i) existence; (ii) weakstrong uniqueness; (iii) nonuniqueness in law; (iv) existence of a strong Markov solution; (v) nonuniqueness of strong Markov solutions; all hold true within this class. Moreover, as a byproduct of (iii) we obtain existence and nonuniqueness of probabilistically strong and analytically weak solutions defined up to a stopping time and satisfying an energy inequality.
 [129] arXiv:2009.09554 [pdf, other]

Title: ChanceConstrained Optimal Covariance Steering with Iterative Risk AllocationSubjects: Optimization and Control (math.OC)
This paper extends the optimal covariance steering problem for linear stochastic systems subject to chance constraints to account for optimal risk allocation. Previous works have assumed a uniform risk allocation to cast the optimal control problem as a semidefinite program (SDP), which can be solved efficiently using standard SDP solvers. We adopt an Iterative Risk Allocation (IRA) formalism, which uses a twostage approach to solve the optimal risk allocation problem for covariance steering. The upperstage of IRA optimizes the risk, which is proved to be a convex problem, while the lowerstage optimizes the controller with the new constraints. This is done iteratively so as to find the optimal risk allocation that achieves the lowest total cost. The proposed framework results in solutions that tend to maximize the terminal covariance, while still satisfying the chance constraints, thus leading to less conservative solutions than previous methodologies. We also introduce two novel convex relaxation methods to approximate quadratic chance constraints as secondorder cone constraints. We finally demonstrate the approach to a spacecraft rendezvous problem and compare the results.
 [130] arXiv:2009.09558 [pdf, other]

Title: Efficient Design of Subblock EnergyConstrained Codes and Sliding WindowConstrained CodesSubjects: Information Theory (cs.IT)
The subblock energyconstrained codes (SECCs) and sliding windowconstrained codes (SWCCs) have recently attracted attention due to various applications in communcation systems such as simultaneous energy and information transfer. In a SECC, each codewod is divided into smaller nonoverlapping windows, called subblocks, and every subblock is constrained to carry sufficient energy. In a SWCC, the energy constraint is enforced over every window. In this work, we focus on the binary channel, where sufficient energy is achieved theoretically by using relatively high weight codes, and study SECCs and SWCCs under more general constraints, namely bounded SECCs and bounded SWCCs. We propose two methods to construct such codes with low redundancy and lineartime complexity, based on Knuth's balancing technique and sequence replacement technique. For certain codes parameters, our methods incur only one redundant bit. We also impose the minimum distance constraint for error correction capability of the designed codes, which helps to reduce the error propagation during decoding as well.
 [131] arXiv:2009.09581 [pdf, ps, other]

Title: Uniqueness of HahnBanach extension and related norm$1$ projections in dual spacesSubjects: Functional Analysis (math.FA)
In this paper we study two properties viz. property$U$ and property$SU$ of a subspace $Y$ of a Banach space which correspond to the uniqueness of the HahnBanach extension of each linear functional in $Y^*$ and in addition to that this association forms a linear operator of norm1 from $Y^*$ to $X^*$. It is proved that, under certain geometric assumptions on $X, Y, Z$ these properties are stable with respect to the injective tensor product; $Y$ has property$U$ ($SU$) in $Z$ if and only if $X\otimes_\e^\vee Y$ has property$U$ ($SU$) in $X\otimes_\e^\vee Z$. We prove that when $X^*$ has the RadonNikod$\acute{y}$m Property for $1<p< \infty$, $L_p(\mu, Y)$ has property$U$ (property$SU$) in $L_p(\mu, X)$ if and only if $Y$ is so in $X$. We show that if $Z\subseteq Y\subseteq X$, where $Y$ has property$U$ ($SU$) in $X$ then $Y/Z$ has property$U$ ($SU$) in $X/Z$. On the other hand $Y$ has property$SU$ in $X$ if $Y/Z$ has property$SU$ in $X/Z$ and $Z (\subseteq Y)$ is an Mideal in $X$. It is observed that a smooth Banach space of dimension $>3$ is a Hilbert space if and only if for any two subspaces $Y, Z$ with property$SU$ in $X$, $Y+Z$ has property$SU$ in $X$ whenever $Y+Z$ is closed. We characterize all hyperplanes in $c_0$ which have property$SU$.
 [132] arXiv:2009.09582 [pdf, ps, other]

Title: Lagrangian reduction of nonholonomic discrete mechanical systems by stagesSubjects: Differential Geometry (math.DG); Dynamical Systems (math.DS)
In this work we introduce a category $LDP_d$ of discretetime dynamical systems, that we call discrete LagrangeD'AlembertPoincar\'e systems, and study some of its elementary properties. Examples of objects of $LDP_d$ are nonholonomic discrete mechanical systems as well as their lagrangian reductions and, also, discrete LagrangePoincar\'e systems. We also introduce a notion of symmetry group for objects of $LDP_d$ and a process of reduction when symmetries are present. This reduction process extends the reduction process of discrete LagrangePoincar\'e systems as well as the one defined for nonholonomic discrete mechanical systems. In addition, we prove that, under some conditions, the twostage reduction process (first by a closed and normal subgroup of the symmetry group and, then, by the residual symmetry group) produces a system that is isomorphic in $LDP_d$ to the system obtained by a onestage reduction by the full symmetry group.
 [133] arXiv:2009.09599 [pdf, ps, other]

Title: MultiGaussian random variablesAuthors: Olga KorotkovaComments: 14 pages, 8 figuresSubjects: Statistics Theory (math.ST)
A generalization of the classic Gaussian random variable to the family of Multi Gaussian (MG) random variables characterized by shape parameter M > 0, in addition to the mean and the standard deviation, is introduced. The probability density function of the MG family members is the alternating series of the Gaussian functions with the suitably chosen heights and widths. In particular, for the integer values of M the series has finite number of terms and leads to flattened profiles, while reducing to classic Gaussian density for M = 1. For noninteger, positive values of M a convergent infinite series of Gaussian functions is obtained that can be truncated in practical problems. While for all M > 1 the MG PDF has attened profiles, for 0 < M < 1 it leads to cusped profiles. Moreover, the multivariate extension of the MG random variable is obtained and the LogMultiGaussian (LMG) random variable is introduced.
 [134] arXiv:2009.09601 [pdf, ps, other]

Title: Revisiting the Factorization of $x^n+1$ over Finite FieldsSubjects: Number Theory (math.NT); Rings and Algebras (math.RA)
The polynomial $x^n+1$ over finite fields has been of interest due to its applications in the study of negacyclic codes over finite fields. In this paper, a rigorous treatment of the factorization of $x^n+1$ over finite fields is given as well as its applications. Explicit and recursive methods for factorizing $x^n+1$ over finite fields are provided together with the enumeration formula. As applications, some families of negacyclic codes are revisited with more clear and simpler forms.
 [135] arXiv:2009.09607 [pdf, ps, other]

Title: A General Error Estimate For Parabolic Variational InequalitiesAuthors: Yahya AlnashriSubjects: Numerical Analysis (math.NA)
The gradient discretisation method (GDM) is a generic framework designed recently, as a discretise in spatial space, to partial differential equations. This paper aims to use the GDM to establish a first general error estimate for numerical approximations of parabolic obstacle problems. This gives the convergence rates of several wellknown conforming and non conforming numerical methods. Numerical experiments based on the hybrid finite volume method are provided to verify the theoretical results.
 [136] arXiv:2009.09610 [pdf, ps, other]

Title: Global Solutions to the initial boundary problem of 3D compressible NavierStokesPoisson on bounded domainsComments: 31pagesSubjects: Analysis of PDEs (math.AP)
The initial boundary value problems for compressible NavierStokesPoisson is considered on a bounded domain in $\mathbb{R}^3$ in this paper. The global existence of smooth solutions near a given steady state for compressible NavierStokesPoisson with physical boundary conditions is established with the exponential stability. An important feature is that the steady state (except velocity) and the background profile are allowed to be of large variation.
 [137] arXiv:2009.09613 [pdf, ps, other]

Title: Schatten class Bergmantype and Szegötype operators on bounded symmetric domainsAuthors: Lijia DingComments: 23 pagesSubjects: Functional Analysis (math.FA); Complex Variables (math.CV)
This is our third work on Bergmantype operator over bounded domains. In the previous two articles, we systematically study the boundedness, compactness and Schatten membership of Bergmantype on the Hilbert unit ball. In the present paper, we investigate singular integral operators induced by the Bergman kernel and Szeg\"o kernel on the irreducible bounded symmetric domain in its standard HarishChandra realization. We completely characterize when Bergmantype operators and Szeg\"otype operators belong to Schatten class operator ideals by several analytic numerical invariants of the bounded symmetric domain. These results generalize a recent result on the Hilbert unit ball due to the author and his coauthor but also cover all irreducible bounded symmetric domains. Moreover, we obtain two trace formulae and a new integral estimate related to the ForelliRudin estimate. The key ingredient of the proofs involves the function theory on the bounded symmetric domain and the spectrum estimate of Bergmantype and and Szeg\"otype operators.
 [138] arXiv:2009.09616 [pdf, ps, other]

Title: On the Rank Functions of Powerful SetsAuthors: Benjamin JonesComments: 11 pagesSubjects: Combinatorics (math.CO)
A set $S\subseteq 2^E$ of subsets of a finite set $E$ is \emph{powerful} if, for all $X\subseteq E$, the number of subsets of $X$ in $S$ is a power of 2. Each powerful set is associated with a nonnegative integer valued function, which we call the rank function. Powerful sets were introduced by Farr and Wang as a generalisation of binary matroids, as the cocircuit space of a binary matroid gives a powerful set with the corresponding matroid rank function.
In this paper we investigate how structural properties of a powerful set can be characterised in terms of its rank function. Powerful sets have four types of degenerate elements, including loops and coloops. We show that certain evaluations of the rank function of a powerful set determine the degenerate elements. We introduce powerful multisets and prove some fundamental results on them. We show that a powerful set corresponds to a binary matroid if and only if its rank function is subcardinal. This paper answers the two conjectures made by Farr and Wang in the affirmative.  [139] arXiv:2009.09620 [pdf, ps, other]

Title: On oscillatory integrals associated to phase functions with degenerate singular pointsSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph); Differential Geometry (math.DG)
In this note, by using the result in one variable, we obtain asymptotic expansions of oscillatory integrals for certain multivariable phase functions with {\bf degenerate} singular points. Moreover by using this result, we have asymptotic expansions of oscillatory integrals with phase function of type $A_{k}$, $E_6$, $E_8$function germs.
 [140] arXiv:2009.09625 [pdf, ps, other]

Title: The FraserLi conjecture and the Liouville type boundary value problemComments: 10 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this paper, we provide a sufficient condition for a curve on a surface in $\mathbb{R}^3$ to be given by an orthogonal intersection with a sphere. This result makes it possible to express the boundary condition entirely in terms of the Weierstrass data without integration when dealing with free boundary minimal surfaces in a ball. Moreover, we show that solving the FraserLi conjecture in the case of real analytic boundaries is equivalent to proving that a solution of the Liouville type boundary value problem in an annulus has radial symmetry. This suggests a new PDE theoretic approach to the FraserLi conjecture.
 [141] arXiv:2009.09626 [pdf, ps, other]

Title: Blowup analysis involving isothermal coordinates on the boundary of compact Riemann surfaceComments: 37 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
Using the method of blowup analysis, we obtain two sharp TrudingerMoser inequalities on a compact Riemann surface with smooth boundary, as well as the existence of the corresponding extremals. This generalizes early results of ChangYang [7] and the first named author [32], and complements Fontana's inequality of two dimensions [15]. The blowup analysis in the current paper is far more elaborate than that of [32], and particularly clarifies several ambiguous points there. In precise, we prove the existence of isothermal coordinate systems near the boundary, the existence and uniform estimates of the Green function with the Neumann boundary condition. Also our analysis can be applied to the KazdanWarner problem and the ChernSimons Higgs problem on compact Riemman surfaces with smooth boundaries.
 [142] arXiv:2009.09627 [pdf, ps, other]

Title: Higher representations and cornered Heegaard Floer homologyComments: 147 pagesSubjects: Representation Theory (math.RT); Geometric Topology (math.GT); Quantum Algebra (math.QA)
We develop the 2representation theory of the odd onedimensional super Lie algebra $gl(11)^+$ and show it controls the HeegaardFloer theory of surfaces of Lipshitz, Ozsv\'ath and Thurston. Our main tool is the construction of a tensor product for 2representations. We show it corresponds to a gluing operation for surfaces, or the chord diagrams of arc decompositions. This provides an extension of HeegaardFloer theory to dimension one, expanding the work of Douglas, Lipshitz and Manolescu.
 [143] arXiv:2009.09631 [pdf, ps, other]

Title: Multiple solutions of KazdanWarner equation on graphs in the negative caseComments: 15 pagesJournalref: Cal. Var. 59 (2020), Article number: 164Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Let $G=(V,E)$ be a finite connected graph, and let $\kappa: V\rightarrow \mathbb{R}$ be a function such that $\int_V\kappa d\mu<0$. We consider the following KazdanWarner equation on $G$:\[\Delta u+\kappaK_\lambda e^{2u}=0,\] where $K_\lambda=K+\lambda$ and $K: V\rightarrow \mathbb{R}$ is a nonconstant function satisfying $\max_{x\in V}K(x)=0$ and $\lambda\in \mathbb{R}$. By a variational method, we prove that there exists a $\lambda^*>0$ such that when $\lambda\in(\infty,\lambda^*]$ the above equation has solutions, and has no solution when $\lambda\geq \lambda^\ast$. In particular, it has only one solution if $\lambda\leq 0$; at least two distinct solutions if $0<\lambda<\lambda^*$; at least one solution if $\lambda=\lambda^\ast$. This result complements earlier work of Grigor'yanLinYang \cite{GLY16}, and is viewed as a discrete analog of that of DingLiu \cite{DL95} and YangZhu \cite{YZ19} on manifolds.
 [144] arXiv:2009.09635 [pdf, ps, other]

Title: On K3 surfaces of Picard rank 14Comments: 70 pages, 23 figuresSubjects: Algebraic Geometry (math.AG)
We study complex algebraic K3 surfaces polarized by rankfourteen, twoelementary lattices. Three such lattices exist  they are $H \oplus E_8(1) \oplus A_1(1)^{\oplus 4}$, $H \oplus E_8(1) \oplus D_4(1)$, and $H \oplus D_8(1) \oplus D_4(1)$. As part of our study, we provide birational models for these surfaces as quartic projective hypersurfaces and describe the associated coarse moduli spaces in terms of suitable modular invariants. A classification of all inequivalent Jacobian elliptic fibrations, with explicit Weierstrass models, is also included. Additionally, we explore the connection between these families and dual K3 families related via the Nikulin construction.
 [145] arXiv:2009.09639 [pdf, ps, other]

Title: Algebraicity of the central critical values of twisted triple product $L$functionsAuthors: ShihYu ChenSubjects: Number Theory (math.NT)
We study the algebraicity of the central critical values of twisted triple product $L$functions associated to motivic Hilbert cusp forms over a totally real \'etale cubic algebra in the totally unbalanced case. The algebraicity is expressed in terms of the cohomological period constructed via the theory of coherent cohomology on quaternionic Shimura varieties developed by Harris. As an application, we generalize our previous result on Deligne's conjecture for certain automorphic $L$functions for ${\rm GL}_3 \times {\rm GL}_2$. We also establish a relation for the cohomological periods under twisting by algebraic Hecke characters.
 [146] arXiv:2009.09640 [pdf, ps, other]

Title: On the mod $p$ cohomology for $\mathrm{GL}_2$: the nonsemisimple caseComments: Comments welcome !Subjects: Number Theory (math.NT); Representation Theory (math.RT)
Let $F$ be a totally real field unramified at all places above $p$ and $D$ be a quaternion algebra which splits at either none, or exactly one, of the infinite places. Let $\overline{r}:\mathrm{Gal}(\overline{F}/F)\rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a continuous irreducible representation which, when restricted to a fixed place $vp$, is nonsemisimple and sufficiently generic. Under some mild assumptions, we prove that the admissible smooth representations of $\mathrm{GL}_2(F_v)$ occurring in the corresponding Hecke eigenspaces of the mod $p$ cohomology of Shimura varieties associated to $D$ have GelfandKirillov dimension $[F_v:\mathbb{Q}_p]$. We also prove that any such representation can be generated as a $\mathrm{GL}_2(F_v)$representation by its subspace of invariants under the first principal congruence subgroup. If moreover $[F_v:\mathbb{Q}_p]=2$, we prove that such representations have length $3$, confirming a speculation of Breuil and Pa\v{s}k\=unas.
 [147] arXiv:2009.09641 [pdf, other]

Title: A conservative fullydiscrete numerical method for the regularised shallow water wave equationsSubjects: Numerical Analysis (math.NA)
The paper proposes a new, conservative fullydiscrete scheme for the numerical solution of the regularised shallow water Boussinesq system of equations in the cases of periodic and reflective boundary conditions. The particular system is one of a class of equations derived recently and can be used in practical simulations to describe the propagation of weakly nonlinear and weakly dispersive long water waves, such as tsunamis. Studies of smallamplitude long waves usually require longtime simulations in order to investigate scenarios such as the overtaking collision of two solitary waves or the propagation of transoceanic tsunamis. For longtime simulations of nondissipative waves such as solitary waves, the preservation of the total energy by the numerical method can be crucial in the quality of the approximation. The new conservative fullydiscrete method consists of a Galerkin finite element method for spatial semidiscretisation and an explicit relaxation RungeKutta scheme for integration in time. The Galerkin method is expressed and implemented in the framework of mixed finite element methods. The paper provides an extended experimental study of the accuracy and convergence properties of the new numerical method. The experiments reveal a new convergence pattern compared to the standard, nonconservative Galerkin methods.
 [148] arXiv:2009.09650 [pdf]

Title: Exploring Collaborative and Multidisciplinary Aircraft Optimization through the AGILE Academy Challenge  A case study for an aircraft auxiliary solar power systemAuthors: Andrew Jeyaraj, Florian Sanchez, Paul Earnest, Ezhil Murugesan, Rémy Priem (ISAESUPAERO), Susan LiscouetHankeComments: 19th astronautics conference of the Canadian Aeronautics and Space Institute, Jun 2019, Laval, CanadaSubjects: Optimization and Control (math.OC)
Reduction in aircraft emission is a main driver for the development of more efficient aircraft and enabling technologies are reaching operational maturity. Aircraft manufacturers need an efficient product development process to capture these emergent technologies and develop new aircraft concepts in order to stay competitive. Presently, the aircraft development process is cross organizational, and harnesses distributed, heterogeneous knowledge and expertise. Large scale multidisciplinary studies, involving disciplinary experts and specific tools are required to evaluate different aircraft concepts. These MultiDisciplinary Aircraft Optimization (MDAO) processes are difficult to deploy as they involve crossorganizational collaboration and harmonization of processes, tools and even vocabulary. Moreover, difficulties in collaborative decision making, reconfiguration and integration of new requirements and competencies often precludes the development of an optimal solution within the available time. To address these challenges, the AGILE project is an effort within the European Union funded Horizon 2020 project to reduce aircraft development time by developing tools and processes that enable efficient, collaborative aircraft design. This paper presents the work performed as part of the AGILE academy challenge where students were tasked with developing and solving an aircraft MDAO problem using the AGILE toolchain. Each team consisted of students from various universities around the globe and had expertise in multiple design domains. An MDAO study is presented that utilizes the AGILE toolchain to investigate the feasibility of implementing an auxiliary solar power system on a baseline aircraft. The steps performed are: (1) definition of a multidisciplinary design problem, (2) development of collaborative workflow and (3) optimization using surrogate models. Through the case study, a novel technology concept is investigated and the efficacy of the AGILE toolchain in facilitating a MDAO is analyzed.
 [149] arXiv:2009.09652 [pdf, ps, other]

Title: A spinorial proof of the rigidity of the Riemannian Schwarzschild manifoldAuthors: Simon Raulot (LMRS)Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (grqc)
We revisit and generalize a recent result of Cederbaum [C2, C3] concerning the rigidity of the Schwarzschild manifold for spin manifolds. This includes the classical black hole uniqueness theorems [BM, GIS, Hw] as well as the more recent uniqueness theorems for photon spheres [C1, CG1, CG2].
 [150] arXiv:2009.09655 [pdf, ps, other]

Title: Mass threshold for infinitetime blowup in a chemotaxis model with splitted populationSubjects: Analysis of PDEs (math.AP)
We study the chemotaxis model $\partial$ t u = div($\nabla$u  u$\nabla$w) + $\theta$v  u in (0, $\infty$) x $\Omega$, $\partial$ t v = u  $\theta$v in (0, $\infty$) x $\Omega$, $\partial$ t w = D$\Delta$w  $\alpha$w + v in (0, $\infty$) x $\Omega$, with noflux boundary conditions in a bounded and smooth domain $\Omega$ $\subset$ R 2 , where u and v represent the densities of subpopulations of moving and static individuals of some species, respectively, and w the concentration of a chemoattractant. We prove that, in an appropriate functional setting, all solutions exist globally in time. Moreover, we establish the existence of a critical mass M c > 0 of the whole population u + v such that, for M $\in$ (0, M c), any solution is bounded, while, for almost all M > M c , there exist solutions blowing up in infinite time. The building block of the analysis is the construction of a Liapunov functional. As far as we know, this is the first result of this kind when the mass conservation includes the two subpopulations and not only the moving one.
 [151] arXiv:2009.09656 [pdf, ps, other]

Title: The diameter of the uniform spanning tree of dense graphsComments: 22 pagesSubjects: Probability (math.PR); Combinatorics (math.CO)
We show that the diameter of a uniformly drawn spanning tree of a simple connected graph on $n$ vertices with minimal degree linear in $n$ is typically of order $\sqrt{n}$. A byproduct of our proof, which is of independent interest, is that on such graphs the Cheeger constant and the spectral gap are comparable.
 [152] arXiv:2009.09657 [pdf, other]

Title: When the Allee threshold is an evolutionary trait: persistence vs. extinctionSubjects: Analysis of PDEs (math.AP)
We consider a nonlocal parabolic equation describing the dynamics of a population structured by a spatial position and a phenotypic trait, submitted to dispersion , mutations and growth. The growth term may be of the FisherKPP type but may also be subject to an Allee effect which can be weak (nonKPP monostable nonlinearity, possibly degenerate) or strong (bistable nonlinearity). The type of growth depends on the value of a variable $\theta$ : the Allee threshold, which is considered here as an evolutionary trait. After proving the wellposedness of the Cauchy problem, we study the long time behavior of the solutions. Due to the richness of the model and the interplay between the various phenomena and the nonlocality of the growth term, the outcomes (extinction vs. persistence) are various and in sharp contrast with earlier results of the existing literature on local reactiondiffusion equations.
 [153] arXiv:2009.09658 [pdf, ps, other]

Title: Limit theorems for timedependent averages of nonlinear stochastic heat equationsComments: 24 pagesSubjects: Probability (math.PR)
We study limit theorems for timedependent average of the form $X_t:=\frac{1}{2L(t)}\int_{L(t)}^{L(t)} u(t, x) \, dx$, as $t\to \infty$, where $L(t)=e^{\lambda t}$ and $u(t, x)$ is the solution to a stochastic heat equation on $\mathbb{R}_+\times \mathbb{R}$ driven by spacetime white noise with $u_0(x)=1$ for all $x\in \mathbb{R}$. We show that for $X_t$
(i) the weak law of large numbers holds when $\lambda>\lambda_1$,
(ii) the strong law of large numbers holds when $\lambda>\lambda_2$,
(iii) the central limit theorem holds when $\lambda>\lambda_3$,
(iv) the quantitative central limit theorem holds when $\lambda>\lambda_4$,
where $\lambda_i$'s are positive constants depending on the moment Lyapunov exponents of $u(t, x)$.  [154] arXiv:2009.09664 [pdf, ps, other]

Title: Maximum and coupling of the sineGordon fieldSubjects: Probability (math.PR); Mathematical Physics (mathph)
For $0<\beta<6\pi$, we prove that the distribution of the centred maximum of the $\epsilon$regularised continuum sineGordon field on the twodimensional torus converges to a randomly shifted Gumbel distribution as $\epsilon \to 0$. Our proof relies on a strong coupling at all scales of the sineGordon field with the Gaussian free field, of independent interest, and extensions of existing methods for the maximum of the lattice Gaussian free field.
 [155] arXiv:2009.09666 [pdf, ps, other]

Title: A mathematical approach to resilienceComments: 3 pages. In Proceedings of iTWIST'20, PaperID: 35, Nantes, France, December, 24, 2020Subjects: Information Theory (cs.IT)
In this paper, we evolve from sparsity, a key concept in robust statistics, to concepts and theoretical results of what we call the mathematics of resilience, at the interface between category theory, the theory of dynamical systems, statistical signal processing and biology. We first summarize a recent result on dynamical systems [Beurier, Pastor, Spivak 2019], before presenting the degeneracy paradigm, issued from biology [Edelman, Gally 1973] and mathematically formalized by [Ehresmann Vanbremeersch 2007] [Ehresmann Vanbremeersch 2019] as the Multiplicity Principle (MP). We then make the connection with statistical signal processing by showing that two distinct and structurally different families of tests satisfy the MP.
 [156] arXiv:2009.09668 [pdf, ps, other]

Title: On Software Implementation of Gabidulin DecodersSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
This work compares the performance of software implementations of different Gabidulin decoders. The parameter sets used within the comparison stem from their applications in recently proposed cryptographic schemes. The complexity analysis of the decoders is recalled, counting the occurrence of each operation within the respective decoders. It is shown that knowing the number of operations may be misleading when comparing different algorithms as the runtime of the implementation depends on the instruction set of the device on which the algorithm is executed.
 [157] arXiv:2009.09674 [pdf, other]

Title: Connected Fair Detachments of HypergraphsAuthors: Amin BahmanianComments: 45 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Let $\mathcal G$ be a hypergraph whose edges are colored. An {\it $(\alpha,n)$detachment} of $\mathcal G$ is a hypergraph obtained by splitting a vertex $\alpha$ into $n$ vertices, say $\alpha_1,\dots,\alpha_n$, and sharing the incident hinges and edges among the subvertices. A detachment is {\it fair} if the degree of vertices and multiplicity of edges are shared as evenly as possible among the subvertices within the whole hypergraph as well as within each color class. In this paper we solve an open problem from 70s by finding necessary and sufficient conditions under which a $k$edgecolored hypergraph $\mathcal G$ has a fair detachment in which each color class is connected. Previously, this was not even known for the case when $\mathcal G$ is an arbitrary graph (i.e. 2uniform hypergraph). We exhibit the usefulness of our theorem by proving a variety of new results on hypergraph decompositions, and completing partial regular combinatorial structures.
 [158] arXiv:2009.09676 [pdf, ps, other]

Title: A note on unconditionally convergent series in a complete topological ringAuthors: Alex RavskySubjects: General Topology (math.GN)
We answer a question concerning classes of complete topological rings where unconditionally convergent series have a special property.
 [159] arXiv:2009.09682 [pdf, ps, other]

Title: Perturbation and Stability of Continuous Frames for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$Authors: A. TouriComments: I have the honor to send you this paper for publication in your journal best regardsSubjects: Functional Analysis (math.FA)
Frame Theory has a great revolution in recent years. This Theory have been extended from Hilbert spaces to Hilbert $C^{\ast}$modules. In this paper we consider the stability of continuous operator frame for $End^{\ast}_{\mathcal{A}}(\mathcal{H})$ and continuous $K$operator frames for $End^{\ast}_{\mathcal{A}}(\mathcal{H})$ under perturbation and we establish some properties
 [160] arXiv:2009.09683 [pdf, other]

Title: Computing the RateDistortion Function of GrayWyner SystemComments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessibleSubjects: Information Theory (cs.IT)
In this paper, the ratedistortion theory of GrayWyner lossy source coding system is investigated. An iterative algorithm is proposed to compute ratedistortion function for general successive source. For the case of jointly Gaussian distributed sources, the Lagrangian analysis of scalable source coding in [1] is generalized to the GrayWyner instance. Upon the existing singleletter characterization of the ratedistortion region, we compute and determine an analytical expression of the ratedistortion function under quadratic distortion constraints. According to the ratedistortion function, another approach, different from Viswanatha et al. used, is provided to compute Wyner's Common Information. The convergence of proposed iterative algorithm, RD function with different parameters and the projection plane of RD region are also shown via numerical simulations at last.
 [161] arXiv:2009.09686 [pdf, ps, other]

Title: Vectorvalued Sobolev spaces based on Banach function spacesAuthors: Nikita EvseevSubjects: Functional Analysis (math.FA)
It is known that for Banach valued functions there are several approaches to define a Sobolev class. We compare the usual definition via weak derivatives with the ReshetnyakSobolev space and with the Newtonian space; in particular, we provide sufficient conditions when all three agree. As well we revise the difference quotient criterion and the property of Lipschitz mapping to preserve Sobolev space when it acting as a superposition operator.
 [162] arXiv:2009.09688 [pdf, ps, other]

Title: Genetic recombination as a Generalised Gradient FlowAuthors: Frederic AlbertiSubjects: Dynamical Systems (math.DS); Molecular Networks (qbio.MN)
It is well known that the classical recombination equation for two parent individuals is equivalent to the law of mass action of a strongly reversible chemical reaction network, and can thus be reformulated as a generalised gradient system. Here, this is generalised to the case of an arbitrary number of parents. Furthermore, the gradient structure of the backwardtime partitioning process is investigated.
 [163] arXiv:2009.09690 [pdf, other]

Title: A rankone convex, nonpolyconvex isotropic function on $\operatorname{GL}^+(2)$ with compact connected sublevel setsSubjects: Analysis of PDEs (math.AP)
According to a 2002 theorem by Cardaliaguet and Tahraoui, an isotropic, compact and connected subset of the group $\operatorname{GL}^+(2)$ of invertible $2\times2\,$matrices is rankone convex if and only if it is polyconvex. In a 2005 Journal of Convex Analysis article by Alexander~Mielke, it has been conjectured that the equivalence of rankone convexity and polyconvexity holds for isotropic functions on $\operatorname{GL}^+(2)$ as well, provided their sublevel sets satisfy the corresponding requirements. We negatively answer this conjecture by giving an explicit example of a function $W:\operatorname{GL}^+\to\mathbb{R}$ which is not polyconvex, but rankone convex as well as isotropic with compact and connected sublevel sets.
 [164] arXiv:2009.09695 [pdf, ps, other]

Title: Parameter estimation in branching processes with almost sure extinctionSubjects: Statistics Theory (math.ST); Probability (math.PR)
We consider populationsizedependent branching processes (PSDBPs) which eventually become extinct with probability one. For these processes, we derive maximum likelihood estimators for the mean number of offspring born to individuals when the current population size is $z\geq 1$. As is standard in branching process theory, an asymptotic analysis of the estimators requires us to condition on nonextinction up to a finite generation $n$ and let $n\to\infty$; however, because the processes become extinct with probability one, we are able to demonstrate that our estimators do not satisfy the classical consistency property ($C$consistency). This leads us to define the concept of $Q$consistency, and we prove that our estimators are $Q$consistent and asymptotically normal. To investigate the circumstances in which a $C$consistent estimator is preferable to a $Q$consistent estimator, we then provide two $C$consistent estimators for subcritical GaltonWatson branching processes. Our results rely on a combination of linear operator theory, coupling arguments, and martingale methods.
 [165] arXiv:2009.09697 [pdf, ps, other]

Title: Virtual equivariant GrothendieckRiemannRoch formulaComments: 28 pages. Comments are welcome!Subjects: Algebraic Geometry (math.AG)
For a $G$scheme $X$ with a given equivariant perfect obstruction theory, we prove a virtual equivariant GrothendieckRiemannRoch formula, this is an extension of a result of FantechiG\"ottsche to the equivariant context. We also prove a virtual nonabelian localization theorem for schemes over $\mathbb{C}$ with proper actions.
 [166] arXiv:2009.09700 [pdf, ps, other]

Title: An alternative proof of wellposedness of stochastic evolution equations in the variational settingComments: 11 pagesSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We present a new proof of wellposedness of stochastic evolution equations in variational form, relying solely on a (nonlinear) infinitedimensional approximation procedure rather than on classical finitedimensional projection arguments of Galerkin type.
 [167] arXiv:2009.09701 [pdf, ps, other]

Title: Mahler Measure of 3D LandauGinzburg PotentialsAuthors: Jiarui FeiComments: 36 pages, many tables, comments are welcomeSubjects: Number Theory (math.NT)
We express the Mahler measures of $23$ families of Laurent polynomials in terms of EisensteinKronecker series. These Laurent polynomials arise as LandauGinzburg potentials on Fano $3$folds, $16$ of which define $K3$ hypersurfaces of generic Picard rank $19$, and the rest are of generic Picard rank $< 19$. We relate the Mahler measure at each rational singular moduli to the value at $3$ of the $L$function of some weight$3$ newform. Moreover, we find $10$ exotic relations among the Mahler measures of these families.
 [168] arXiv:2009.09710 [pdf, ps, other]

Title: Inverse parabolic problems of determining functions with one spatialcomponent independence by Carleman estimateSubjects: Analysis of PDEs (math.AP)
For an initialboundary value problem for a parabolic equation in the spatial variable $x=(x_1,.., x_n)$ and time $t$, we consider an inverse problem of determining a coefficient which is independent of one spatial component $x_n$ by extra lateral boundary data. We apply a Carleman estimate to prove a conditional stability estimate for the inverse problem. Also we prove similar results for the corresponding inverse source problem.
 [169] arXiv:2009.09711 [pdf, ps, other]

Title: Positivity of Turán determinants for orthogonal polynomials IIAuthors: Ryszard SzwarcSubjects: Classical Analysis and ODEs (math.CA)
The polynomials $p_n$ orthogonal on the interval $[1,1],$ normalized by $p_n(1)=1,$ satisfy Tur\'an's inequality if $p_n^2(x)p_{n1}(x)p_{n+1}(x)\ge 0$ for $n\ge 1$ and for all $x$ in the interval of orthogonality. We give a general criterion for orthogonal polynomials to satisfy Tur\'an's inequality. This extends essentially the results of \cite{szw}. In particular the results can be applied to many classes of orthogonal polynomials, by inspecting their recurrence relation.
 [170] arXiv:2009.09720 [pdf, ps, other]

Title: Berezin symbols and spectral measures of representation operatorsAuthors: Benjamin CahenSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph)
Let $G$ be a Lie group with Lie algebra $\mathfrak g$ and let $\pi$ be a unitary representation of $G$ realized on a reproducing kernel Hilbert space. We use Berezin quantization in order to study spectral measures associated with operators $id\pi(X)$ for $X\in {\mathfrak g}$. As an application, we show how results about contractions of Lie group representations give rise to results on convergence of sequences of spectral measures. We give some examples including contractions of $SU(1,1)$ and $SU(2)$ to the Heisenberg group.
 [171] arXiv:2009.09721 [pdf, ps, other]

Title: On the second dual space of Banach space of vectorvalued little Lipschitz functionsAuthors: Shinnosuke IzumiComments: 13 pagesSubjects: Functional Analysis (math.FA)
Let \(X\) be a compact metric space and \(E\) be a Banach space. \(\lip (X, E)\) denotes the Banach space of all \(E\)valued little Lipschitz functions on \(X\). We show that \(\lip (X, E)^{**}\) is isometrically isomorphic to Banach space of \(E^{**}\)valued Lipschitz functions \(\Lip(X, E^{**})\) under several conditions. Moreover, we describe the isometric isomorphism from \(\lip (X, E)^{**}\) to \(\Lip (X, E^{**})\).
 [172] arXiv:2009.09735 [pdf, ps, other]

Title: About isolators of finitely generated subgroups of free groupsAuthors: David MoldavanskiiSubjects: Group Theory (math.GR)
It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.
 [173] arXiv:2009.09738 [pdf, other]

Title: Circuit algebras are wheeled propsComments: 29 pages, many figuresSubjects: Quantum Algebra (math.QA); Algebraic Topology (math.AT)
Circuit algebras, introduced by BarNatan and the first author, are a generalization of Jones's planar algebras, in which one drops the planarity condition on "connection diagrams". They provide a useful language for the study of virtual and welded tangles in lowdimensional topology. In this note, we present the circuit algebra analogue of the wellknown classification of planar algebras as pivotal categories with a selfdual generator. Our main theorem is that there is an equivalence of categories between circuit algebras and the category of linear wheeled props  a type of strict symmetric tensor category with duals that arises in homotopy theory, deformation theory and the BatalinVilkovisky quantization formalism.
 [174] arXiv:2009.09747 [pdf, ps, other]

Title: Note on a signdependent regularity for the polyharmonic Dirichlet problemSubjects: Analysis of PDEs (math.AP)
A priori estimates for semilinear higher order elliptic equations usually have to deal with the absence of a maximum principle. This note presents some regularity estimates for the polyharmonic Dirichlet problem that will make a distinction between the influence on the solution of the positive and the negative part of the righthand side.
 [175] arXiv:2009.09751 [pdf, ps, other]

Title: Convergence of Optimal Expected Utility for a Sequence of Binomial ModelsComments: 10 pagesSubjects: Probability (math.PR); Mathematical Finance (qfin.MF)
We analyze the convergence of expected utility under the approximation of the BlackScholes model by binomial models. In a recent paper by D. Kreps and W. Schachermayer a surprising and somewhat counterintuitive example was given: such a convergence may, in general, fail to hold true. This counterexample is based on a binomial model where the i.i.d. logarithmic onestep increments have strictly positive third moments. This is the case, when the uptick of the logprice is larger than the downtick. In the paper by D. Kreps and W. Schachermayer it was left as an open question how things behave in the case when the downtick is larger than the uptick and  most importantly  in the case of the symmetric binomial model where the uptick equals the downtick. Is there a general positive result of convergence of expected utility in this setting? In the present note we provide a positive answer to this question. It is based on some rather fine estimates of the convergence arising in the Central Limit Theorem.
 [176] arXiv:2009.09752 [pdf, ps, other]

Title: Wavelet Approximation in the Zygmund ClassComments: 28 pagesSubjects: Classical Analysis and ODEs (math.CA)
We determine the distance (up to a multiplicative constant) in the Zygmund class $\Lambda_{\ast}(\mathbb{R}^n)$ to the subspace $\mathrm{J}(\mathbf{bmo})(\mathbb{R}^n).$ The latter space is the image under the Bessel potential $J := (1\Delta)^{1/2}$ of the space $\mathbf{bmo}(\mathbb{R}^n),$ which is a nonhomogeneous version of the classical $\mathrm{BMO}.$ Locally, $\mathrm{J}(\mathbf{bmo})(\mathbb{R}^n)$ consists of functions that together with their first derivatives are in $\mathbf{bmo}(\mathbb{R}^n).$ More generally, we consider the same question when the Zygmund class is replaced by the H\"older space $\Lambda_{s}(\mathbb{R}^n),$ with $0 < s \leq 1$ and the corresponding subspace is $\mathrm{J}_{s}(\mathbf{bmo})(\mathbb{R}^n),$ the image under $(1\Delta)^{s/2}$ of $\mathbf{bmo}(\mathbb{R}^n).$ One should note here that $\Lambda_{1}(\mathbb{R}^n) = \Lambda_{\ast}(\mathbb{R}^n).$ Such results were known earlier only for $n = s = 1$ with a proof that does not extend to the general case.
Our results are expressed in terms of second differences. As a byproduct of our wavelet based proof, we also obtain the distance from $f \in \Lambda_{s}(\mathbb{R}^n)$ to $\mathrm{J}_{s}(\mathbf{bmo})(\mathbb{R}^n)$ in terms of the wavelet coefficients of $f.$ We additionally establish a third way to express this distance in terms of the size of the hyperbolic gradient of the harmonic extension of $f$ on the upper halfspace $\mathbb{R}^{n+1}_{+}.$  [177] arXiv:2009.09755 [pdf, ps, other]

Title: Geometric analysis on real analytic manifoldsAuthors: Andrew D. LewisComments: 149 pagesSubjects: Differential Geometry (math.DG)
The continuity, in a suitable topology, of algebraic and geometric operations on real analytic manifolds and vector bundles is proved. This is carried out using recently arrived at seminorms for the real analytic topology. To characterise the topology, geometric decompositions of various jet bundles are given by use of connections. These decompositions are then used to characterise many of the standard operations from differential geometry: algebraic operations, tensor evaluation, various lifts of tensor fields, etc. Apart from the main results, numerous techniques are developed that will facilitate the performing of analysis on real analytic manifolds.
 [178] arXiv:2009.09757 [pdf, ps, other]

Title: Gelfand duality for manifolds, and vector and other bundlesAuthors: Andrew D. LewisComments: 38 pagesSubjects: Differential Geometry (math.DG)
In general terms, Gelfand duality refers to a correspondence between a geometric, topological, or analytical category, and an algebraic category. For example, in smooth differential geometry, Gelfand duality refers to the topological embedding of a smooth manifold in the topological dual of its algebra of smooth functions. This is generalised here in two directions. First, the topological embeddings for manifolds are generalised to the cases of real analytic and Stein manifolds, using a unified cohomological argument. Second, this type of duality is extended to vector bundles, affine bundles, and jet bundles by using suitable classes of functions, the topological duals in which the embeddings take their values.
 [179] arXiv:2009.09760 [pdf, other]

Title: The domination game played on diameter 2 graphsSubjects: Combinatorics (math.CO)
Let $\gamma_g(G)$ be the game domination number of a graph $G$. It is proved that if ${\rm diam}(G) = 2$, then $\gamma_g(G) \le \left\lceil \frac{n(G)}{2} \right\rceil \left\lfloor \frac{n(G)}{11}\right\rfloor$. The bound is sharp: if ${\rm diam}(G) = 2$ and $n(G) \le 10$, then $\gamma_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil$ if and only if $G$ is one of seven sporadic graphs with $n(G)\le 6$ or the Petersen graph, and there are exactly ten graphs of diameter $2$ and order $11$ that attain the bound.
 [180] arXiv:2009.09793 [pdf, ps, other]

Title: Fixed Points of Polynomials over Division RingsComments: 7 pagesSubjects: Rings and Algebras (math.RA); Dynamical Systems (math.DS)
We study the discrete dynamics of standard (or left) polynomials $f(x)$ over division rings $D$. We define their fixed points to be the points $\lambda \in D$ for which $f^{\circ n}(\lambda)=\lambda$ for any $n \in \mathbb{N}$, where $f^{\circ n}(x)$ is defined recursively by $f^{\circ n}(x)=f(f^{\circ (n1)}(x))$ and $f^{\circ 1}(x)=f(x)$. Periodic points are similarly defined. We prove that $\lambda$ is a fixed point of $f(x)$ if and only if $f(\lambda)=\lambda$, which enables the use of known results from the theory of polynomial equations, to conclude that any polynomial of degree $m \geq 2$ has at most $m$ conjugacy classes of fixed points. We also consider arbitrary periodic points, and show that in general, they do not behave as in the commutative case. We provide a sufficient condition for periodic points to behave as expected.
 [181] arXiv:2009.09807 [pdf, ps, other]

Title: Uniformizer of the False Tate Curve Extension of $\mathbb{Q}_p$Comments: 36 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
In this article, we study the canonical expansion of the primitive $p^n$th root of unity $\zeta_{p^n}$ in $p$adic Mal'cevNeumann field $\mathbb{L}_p$ for $n\geq 1$. More precisely, we give the explicit formula for the first $\aleph_0$ terms of the expansion of $\zeta_{p^n}$ and as an application, we use it to construct a uniformizer of $K_{2,m}=\mathbb{Q}_p\left(\zeta_{p^2},p^{1/p^m}\right)$ with $m\geq 1$.
 [182] arXiv:2009.09814 [pdf, ps, other]

Title: On the Steady Magnetohydrodynamic Equations with Nonhomogeneous Boundary ConditionsAuthors: Xixia MaComments: 19pages. arXiv admin note: text overlap with arXiv:1302.0731 by other authorsSubjects: Analysis of PDEs (math.AP)
We study both the topological structure stability and the relations of the steady Magnetohydrodynamic equations when $\nu,\eta$ are given different values in muticonnected bounded domain. We also show the solutions's existence for fixed $\nu, \eta.$ The theoretical is the MorseSard theorem on Sobolev spaces.
 [183] arXiv:2009.09815 [pdf, ps, other]

Title: Mobile CellularConnected UAVs: Reinforcement Learning for Sky LimitsComments: Accepted to present at IEEE Globecom2020Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)
A cellularconnected unmanned aerial vehicle (UAV)faces several key challenges concerning connectivity and energy efficiency. Through a learningbased strategy, we propose a general novel multiarmed bandit (MAB) algorithm to reduce disconnectivity time, handover rate, and energy consumption of UAV by taking into account its time of task completion. By formulating the problem as a function of UAV's velocity, we show how each of these performance indicators (PIs) is improved by adopting a proper range of corresponding learning parameter, e.g. 50% reduction in HO rate as compared to a blind strategy. However, results reveal that the optimal combination of the learning parameters depends critically on any specific application and the weights of PIs on the final objective function.
 [184] arXiv:2009.09821 [pdf, other]

Title: Classifying toric surface codes of dimension $7$Subjects: Algebraic Geometry (math.AG)
Toric codes are a class of errorcorrecting codes coming from a lattice polytope defining a toric variety. Previous authors have completed classifications of these toric surface codes with dimension up to $k = 6$, and we classify toric surface codes with dimension $k = 7$ while building on their methods. We first determine that there are $22$ polygons, up to lattice equivalence, which yield codes of dimension $7$. We further show that these $22$ classes generate monomially inequivalent codes for sufficiently large finite fields.
 [185] arXiv:2009.09834 [pdf, ps, other]

Title: Stochastic TimePeriodic Tonelli Lagrangian on Compact ManifoldAuthors: Liang ChenSubjects: Dynamical Systems (math.DS)
In this paper, we study a class of timeperiodic stochastic Tonelli Lagrangians on compact manifolds. Precisely, we discuss the stochastic Mane Critical Value, prove the existence of stochastic Weak KAM solutions of the related HamiltonJacobi equation. Furthermore, we survey the global minimizer.
 [186] arXiv:2009.09836 [pdf, other]

Title: Folklore, the Borromean rings, the icosahedron, and three dimensionsAuthors: Dave AucklyComments: This version has color images. The published version will be in black and whiteSubjects: History and Overview (math.HO); Geometric Topology (math.GT)
There is a relationship between the Borromean rings, the icosahedron and something called the Poincar\'e homology sphere. This relationship is explored in a wandering path that introduces fundamental ideas from topology and a geometric construction of an icosahedral compound of octahedra. This exploration results in proofs that the orientationpreserving symmetry group of an icosahedron is the alternating group of five symbols, the fact that the Borromean rings are linked, and background related to the Poincar\'e conjecture. This is an exposition of known results aimed at undergraduates.
 [187] arXiv:2009.09850 [pdf, other]

Title: PDEConstrained Optimization Models and Pseudospectral Methods for Multiscale Particle DynamicsSubjects: Numerical Analysis (math.NA)
We derive novel algorithms for optimization problems constrained by partial differential equations describing multiscale particle dynamics, including nonlocal integral terms representing interactions between particles. In particular, we investigate problems where the control acts as an advection 'flow' vector or a source term of the partial differential equation, and the constraint is equipped with boundary conditions of Dirichlet or noflux type. After deriving continuous firstorder optimality conditions for such problems, we solve the resulting systems by developing a link with computational methods for statistical mechanics, deriving pseudospectral methods in both space and time variables, and utilizing variants of existing fixed point methods. Numerical experiments indicate the effectiveness of our approach for a range of problem setups, boundary conditions, as well as regularization and model parameters.
 [188] arXiv:2009.09852 [pdf, ps, other]

Title: CopulaBased Bounds for MultiUser Communications  Part I: Average PerformanceComments: 5 pages, 2 figuresSubjects: Information Theory (cs.IT)
Statistically independent or positively correlated fading models are usually applied to compute the average performance of wireless communications. However, there exist scenarios with negative dependency and it is therefore of interest how different performance metrics behave for different general dependency structures of the channels. Especially bestcase and worstcase bounds are practically relevant as a system design guideline. In this twopart letter, we present methods and tools from dependency modeling which can be applied to analyze and design multiuser communications systems exploiting and creating dependencies of the effective fading channels. The first part focuses on fast fading with average performance metrics, while the second part considers slow fading with outage performance metrics.
 [189] arXiv:2009.09855 [pdf, ps, other]

Title: The perturbational stability of the Schr$\ddot{o}$dinger equationAuthors: Xixia MaComments: 21pages. arXiv admin note: text overlap with arXiv:1810.10955, arXiv:1807.05254; text overlap with arXiv:quantph/0505004 by other authorsSubjects: Analysis of PDEs (math.AP)
By using the Wigner transform, it is shown that the nonlinear Schr$\ddot{\textmd{o}}$dinger equation can be described, in phase space, by a kinetic theory similar to the Vlasov equation which is used for describing a classical collisionless plasma. In this paper we mainly show Landau damping in the quantum sense, namely,quantum Landau damping exists for the WignerPoisson system. At the same time, we also prove the existence and the stability of the nonlinear Schr$\ddot{\textmd{o}}$dinger equation under the quantum stability assumption.
 [190] arXiv:2009.09858 [pdf, ps, other]

Title: An Axiomatization Proposal and a Global Existence Theorem for Strong Emergence Between Parameterized Lagrangian Field TheoriesComments: arXiv admin note: text overlap with arXiv:2004.13144Subjects: Mathematical Physics (mathph); General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Differential Geometry (math.DG)
In this paper we propose an axiomatization for the notion of strong emergence phenomenon between field theories depending on additional parameters, which we call parameterized field theories. We present sufficient conditions ensuring the existence of such phenomena between two given Lagrangian theories. More precisely, we prove that a Lagrangian field theory depending linearly on an additional parameter emerges from every multivariate polynomial theory evaluated at differential operators which have welldefined Green functions (or, more generally, that has a rightinverse in some extended sense). As a motivating example, we show that the phenomenon of gravity emerging from noncommutativy, in the context of a real or complex scalar field theory, can be recovered from our emergence theorem. We also show that, in the same context, we could also expect the reciprocal, i.e., that noncommutativity could emerge from gravity. Some other particular cases are analyzed.
 [191] arXiv:2009.09860 [pdf, ps, other]

Title: Global existence of strong solutions to the planar compressible magnetohydrodynamic equations with large initial data in unbounded domainsComments: arXiv admin note: text overlap with arXiv:1910.13879 by other authorsSubjects: Analysis of PDEs (math.AP)
In onedimensional unbounded domains, we consider the equations of a planar compressible magnetohydrodynamic (MHD) flow with constant viscosity and heat conductivity. More precisely, we prove the global existence of strong solutions to the MHD equations with large initial data satisfying the same conditions as those of Kazhikhov's theory in bounded domains (Kazhikhov 1987 Boundary Value Problems for Equations of Mathematical Physics (Krasnoyarsk)). In particular, our result generalizes the Kazhikhov's theory for the initial boundary value problem in bounded domains to the unbounded case.
 [192] arXiv:2009.09862 [pdf, other]

Title: Equipartition of a segmentComments: arXiv admin note: substantial text overlap with arXiv:1804.03057Subjects: Metric Geometry (math.MG); Algebraic Topology (math.AT); Combinatorics (math.CO)
We prove that, for any positive integer $m$, a segment may be partitioned into $m$ possibly degenerate or empty segments with equal values of a continuous function $f$ of a segment, assuming that $f$ may take positive and negative values, but its value on degenerate or empty segments is zero.
 [193] arXiv:2009.09864 [pdf, ps, other]

Title: Indefinite Linear Quadratic Mean Field Social Control Problems with Multiplicative NoiseComments: arXiv admin note: text overlap with arXiv:1904.07522Subjects: Optimization and Control (math.OC)
This paper studies uniform stabilization and social optimality for linear quadratic (LQ) mean field control problems with multiplicative noise, where agents are coupled via dynamics and individual costs. The state and control weights in cost functionals are not limited to be positive semidefinite. This leads to an indefinite LQ mean field control problem, which may still be wellposed due to deep nature of multiplicative noise. We first obtain a set of forwardbackward stochastic differential equations (FBSDEs) from variational analysis, and construct a feedback control by decoupling the FBSDEs. By using solutions to two Riccati equations, we design a set of decentralized control laws, which is further shown to be asymptotically social optimal. Some equivalent conditions are given for uniform stabilization of the systems with the help of linear matrix inequalities. A numerical example is given to illustrate the effectiveness of the proposed control laws.
 [194] arXiv:2009.09865 [pdf, other]

Title: Multidomain spectral approach with Sommerfeld condition for the Maxwell equationsSubjects: Numerical Analysis (math.NA)
We present a multidomain spectral approach with an exterior compactified domain for the Maxwell equations for monochromatic fields. The Sommerfeld radiation condition is imposed exactly at infinity being a finite point on the numerical grid. As an example, axisymmetric situations in spherical and prolate spheroidal coordinates are discussed.
 [195] arXiv:2009.09868 [pdf, ps, other]

Title: An optimal HardyLittlewoodSobolev inequality on $\mathbf R^{nk} \times \mathbf R^n$ and its consequencesComments: 26 pages, 0 figureSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
For $n > k \geq 0$, $\lambda >0$, and $p, r>1$, we establish the following optimal HardyLittlewoodSobolev inequality \[ \Big \iint_{\mathbf R^n \times \mathbf R^{nk}} \frac{f(x) g(y)}{ xy^\lambda y''^\beta} dx dy \Big \lesssim \ f \ _{L^p(\mathbf R^{nk})} \ g\ _{L^r(\mathbf R^n)} \] with $y = (y', y'') \in \mathbf R^{nk} \times \mathbf R^k$ under the two conditions \[ \beta < \left\{ \begin{aligned} & k  k/r & & \text{if } \; 0 < \lambda \leq nk,\\ & n  \lambda  k/r & & \text{if } \; nk < \lambda, \end{aligned} \right. \] and \[ \frac{nk}n \frac 1p + \frac 1r + \frac { \beta + \lambda} n = 2 \frac kn. \] Remarkably, there is no upper bound for $\lambda$, which is quite different from the case with the weight $y^{\beta}$, commonly known as SteinWeiss inequalities. We also show that the above condition for $\beta$ is sharp. Apparently, the above inequality includes the classical HardyLittlewoodSobolev inequality when $k=0$ and the HLS inequality on the upper half space $\mathbf R_+^n$ when $k=1$. In the unweighted case, namely $\beta=0$, our finding immediately leads to the sharp HLS inequality on $\mathbf R^{nk} \times \mathbf R^n$ with the \textit{optimal} range $$0<\lambda<nk/r,$$ which has not been observed before, even for the case $k=1$. Improvement to the SteinWeiss inequality in the context of $\mathbf R^{nk} \times \mathbf R^n$ is also considered. The existence of an optimal pair for this new inequality is also studied.
 [196] arXiv:2009.09874 [pdf, ps, other]

Title: About the eigenvalues of Wishart processesAuthors: Ezechiel KahnSubjects: Probability (math.PR)
This paper is devoted to the study of the eigenvalues of the Wishart process which are the analogof the Dyson Brownian Motion for covariance matrices. Such processes were in particular studied byBru. The mean field convergence of the empirical measure of these eigenvalues was proved Malecki andPerez. In this paper, we provide a new approach to the mean field convergence problem using toolsfrom the free rectangular convolution theory developed by BenaychGeorges, which in particular allowsto compute explicitly the limit measure valued flow. We highlight the link with the integrodifferentialequation related to the mean field limit and its translation into a complex Burgers partial differentialequation.
 [197] arXiv:2009.09880 [pdf, ps, other]

Title: A symplectic discontinuous Galerkin full discretization for stochastic Maxwell equationsAuthors: Chuchu ChenSubjects: Numerical Analysis (math.NA)
This paper proposes a fully discrete method called the symplectic dG full discretization for stochastic Maxwell equations driven by additive noises, based on a stochastic symplectic method in time and a discontinuous Galerkin (dG) method with the upwind fluxes in space. A priori $H^k$regularity ($k\in\{1,2\}$) estimates for the solution of stochastic Maxwell equations are presented, which have not been reported before to the best of our knowledge. These $H^k$regularities are vital to make the assumptions of the meansquare convergence analysis on the initial fields, the noise and the medium coefficients, but not on the solution itself. The convergence order of the symplectic dG full discretization is shown to be $k/2$ in the temporal direction and $k1/2$ in the spatial direction. Meanwhile we reveal the small noise asymptotic behaviors of the exact and numerical solutions via the large deviation principle, and show that the fully discrete method preserves the divergence relations in a weak sense.
 [198] arXiv:2009.09881 [pdf, ps, other]

Title: The trianglefree graphs which are competition graphs of multipartite tournamentsComments: 26 pages, 12 figuresSubjects: Combinatorics (math.CO)
In this paper, we show that a connected trianglefree graph is the competition graph of a $k$partite tournament if and only if $k \in \{3,4,5\}$, and a disconnected trianglefree graph is the competition graph of a $k$partite tournament if and only if $k \in \{2,3,4\}$. Then we list all the trianglefree graphs in each case.
 [199] arXiv:2009.09885 [pdf, ps, other]

Title: Multiple zeta values and iterated Eisenstein integralsAuthors: Alex SaadSubjects: Number Theory (math.NT)
Brown showed that the affine ring of the motivic path torsor $\pi_1^{\text{mot}}(\mathbb{P}^1 \backslash \left\{0,1,\infty\right\}, \vec{1}_0, \vec{1}_1)$, whose periods are multiple zeta values, generates the Tannakian category $\mathsf{MT}(\mathbb{Z})$ of mixed Tate motives over $\mathbb{Z}$. Brown also introduced multiple modular values, which are periods of the relative completion of the fundamental group of the moduli stack $\mathcal{M}_{1,1}$ of elliptic curves. We prove that all motivic multiple zeta values may be expressed as $\mathbb{Q}[2 \pi i]$linear combinations of motivic iterated Eisenstein integrals along elements of $\pi_1 (\mathcal{M}_{1,1}) \cong SL_2(\mathbb{Z})$, which are examples of motivic multiple modular values. This provides a new modular generator for $\mathsf{MT}(\mathbb{Z})$. We also explain how the coefficients in this linear combination may be partially determined using the motivic coaction.
 [200] arXiv:2009.09886 [pdf, ps, other]

Title: CopulaBased Bounds for MultiUser Communications  Part II: Outage PerformanceComments: 5 pages, 5 figuresSubjects: Information Theory (cs.IT)
In the first part of this twopart letter, we introduced methods to study the impact of dependency on the expected value of functions of two random variables. In this second part, we present tools to derive worst and bestcase bounds on the outage probability of multiuser communication systems, including multiple access channels, wiretap channels, and reconfigurable intelligent surfaceassisted channels.
 [201] arXiv:2009.09888 [pdf, ps, other]

Title: On the descriptive complexity of Salem setsSubjects: Logic (math.LO); Dynamical Systems (math.DS)
In this paper we study the notion of Salem set from the point of view of descriptive set theory. We first work in the hyperspace $\mathbf{K}([0,1])$ of compact subsets of $[0,1]$ and show that the closed Salem sets form a $\boldsymbol{\Pi}^0_3$complete family. This is done by characterizing the complexity of the family of sets having sufficiently large Hausdorff or Fourier dimension. We also show that the complexity does not change if we increase the dimension of the ambient space and work in $\mathbf{K}([0,1]^d)$. We then generalize the results by relaxing the compactness of the ambient space, and show that the closed Salem sets are still $\boldsymbol{\Pi}^0_3$complete when we endow $\mathbf{F}(\mathbb{R}^d)$ with the Fell topology. A similar result holds also for the Vietoris topology. We apply our results to characterize the Weihrauch degree of the functions computing the Hausdorff and Fourier dimensions.
 [202] arXiv:2009.09889 [pdf, ps, other]

Title: A note on the weak* and pointwise convergence of BV functionsComments: 22 pages, comments are welcomeSubjects: Functional Analysis (math.FA); Metric Geometry (math.MG)
We study pointwise convergence properties of weakly* converging sequences $\{u_i\}_{i \in {\mathbb N}}$ in $\mathrm{BV}({\mathbb R}^n)$. We show that, after passage to a suitable subsequence (not relabeled), we have pointwise convergence $u_i^*(x)\to u^*(x)$ of the precise representatives for all $x\in {\mathbb R}^n \setminus E$, where the exceptional set $E \subset {\mathbb R}^n$ has on the one hand Hausdorff dimension at most $n1$, and is on the other hand also negligible with respect to the Cantor part of $D u$. Furthermore, we discuss the optimality of these results.
 [203] arXiv:2009.09892 [pdf, ps, other]

Title: On Some Numerical Radius Inequalities for Hilbert Space OperatorsSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
This article is devoted to studying some new numerical radius inequalities for Hilbert space operators. Our analysis enables us to improve an earlier bound of numerical radius due to Kittaneh.
 [204] arXiv:2009.09894 [pdf, other]

Title: Meanfield optimal control for biological pattern formationSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
We propose a meanfield optimal control problem for the parameter identification of a given pattern. The cost functional is based on the Wasserstein distance between the probability measures of the modeled and the desired patterns. The firstorder optimality conditions corresponding to the optimal control problem are derived using a Lagrangian approach on the meanfield level. Based on these conditions we propose a gradient descent method to identify relevant parameters such as angle of rotation and force scaling which may be spatially inhomogeneous. We discretize the firstorder optimality conditions in order to employ the algorithm on the particle level. Moreover, we prove a rate for the convergence of the controls as the number of particles used for the discretization tends to infinity. Numerical results for the spatially homogeneous case demonstrate the feasibility of the approach.
 [205] arXiv:2009.09903 [pdf, ps, other]

Title: Partial Coactions of Weak Hopf Algebras on CoalgebrasSubjects: Rings and Algebras (math.RA); Group Theory (math.GR)
It will be seen that if $H$ is a weak Hopf algebra in the definition of coaction of weak bialgebras on coalgebras \cite{Wang}, then a definition property is suppressed giving rise to the (global) coactions of weak Hopf algebras on coalgebras. The next step will be introduce the more general notion of partial coactions of weak Hopf algebras on coalgebras as well as a family of examples via a fixed element on the weak Hopf algebra, illustrating both definitions: global and partial. Moreover, it will also be presented how to obtain a partial comodule coalgebra from a global one via projections, giving another way to find examples of partial coactions of weak Hopf algebras on coalgebras. In addition, the weak smash coproduct \cite{Wang} will be studied and it will be seen under what conditions it is possible to generate a weak Hopf algebra structure from the coproduct and the counit defined on it. Finally, a dual relationship between the structures of partial action and partial coaction of a weak Hopf algebra on a coalgebra will be established.
 [206] arXiv:2009.09904 [pdf, ps, other]

Title: NewellLittlewood numbers II: extended Horn inequalitiesComments: 11 pagesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
The NewellLittlewood numbers $N_{\mu,\nu,\lambda}$ are tensor product multiplicities of Weyl modules for classical Lie groups, in the stable limit. For which triples of partitions $(\mu,\nu,\lambda)$ does $N_{\mu,\nu,\lambda}>0$ hold? The LittlewoodRichardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. KnutsonT. Tao). We extend these celebrated linear inequalities to a much larger family, suggesting a general solution.
 [207] arXiv:2009.09907 [pdf, ps, other]

Title: Optimal Stable Nonlinear ApproximationSubjects: Numerical Analysis (math.NA)
While it is well known that nonlinear methods of approximation can often perform dramatically better than linear methods, there are still questions on how to measure the optimal performance possible for such methods. This paper studies nonlinear methods of approximation that are compatible with numerical implementation in that they are required to be numerically stable. A measure of optimal performance, called {\em stable manifold widths}, for approximating a model class $K$ in a Banach space $X$ by stable manifold methods is introduced. Fundamental inequalities between these stable manifold widths and the entropy of $K$ are established. The effects of requiring stability in the settings of deep learning and compressed sensing are discussed.
 [208] arXiv:2009.09908 [pdf, other]

Title: ZerothOrder Algorithms for Smooth SaddlePoint ProblemsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
In recent years, the importance of saddlepoint problems in machine learning has increased. This is due to the popularity of GANs. In this paper, we solve stochastic smooth (strongly) convexconcave saddlepoint problems using zerothorder oracles. Theoretical analysis shows that in the case when the optimization set is a simplex, we lose only $\log n$ times in the stochastic convergence term. The paper also provides an approach to solving saddlepoint problems, when the oracle for one of the variables has zero order, and for the second  first order. Subsequently, we implement zerothorder and 1/2thorder methods to solve practical problems.
 [209] arXiv:2009.09921 [pdf, ps, other]

Title: Coherent States of Systems with Pure Continuous Energy SpectraSubjects: Mathematical Physics (mathph)
While dealing with a Hamiltonian with continuous spectrum we use a tridiagonal method involving orthogonal polynomials to construct a set of coherent states obeying a Glaubertype condition. We perform a Bayesian decomposition of the weight function of the orthogonality measure to show that the obtained coherent states can be recast in the GazeauKlauder approach. The Hamiltonian of the $\ell$wave free particle is treated as an example to illustrate the method.
 [210] arXiv:2009.09949 [pdf, ps, other]

Title: The principle of least action in the space of Kähler potentialsAuthors: Laszlo LempertSubjects: Complex Variables (math.CV); Differential Geometry (math.DG)
Given a compact K\"ahler manifold, the space $\mathcal H$ of its (relative) K\"ahler potentials is an infinite dimensional Fr\'echet manifold, on which Mabuchi and Semmes have introduced a natural connection $\nabla$. We study certain Lagrangians on $T\mathcal H$, in particular Finsler metrics, that are parallel with respect to the connection. We show that geodesics of $\nabla$ are paths of least action, and prove a certain convexity property of the least action. This generalizes earlier results of Calabi, Chen, and Darvas.
 [211] arXiv:2009.09951 [pdf, other]

Title: CalabiYau threefolds over finite fields and torsion in cohomologiesAuthors: Yeuk Hay Joshua LamComments: Comments welcome!Subjects: Algebraic Geometry (math.AG)
We study various examples of CalabiYau threefolds over finite fields. In particular, we provide a counterexample to a conjecture of K. Joshi on lifting CalabiYau threefolds to characteristic zero. We also compute the padic cohomologies of some CalabiYau threefolds constructed by Cynkvan Straten which have remarkable arithmetic properties, as well as those of the Hirokado threefold. These examples and computations answer some outstanding questions of B. Bhatt, T. Ekedahl, van der GeerKatsura and PatakfalviZdanowicz, and shed new light on the BeauvilleBogomolov decomposition in positive characteristic. Our tools include padic Hodge theory as well as classical algebraic topology. We also give potential examples showing that Hodge numbers of threefolds in positive characteristic are not derived invariants, contrary to the case of characteristic zero.
 [212] arXiv:2009.09952 [pdf, ps, other]

Title: Charmenability of arithmetic groups of product typeComments: 38 pagesSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Operator Algebras (math.OA); Representation Theory (math.RT)
We discuss special properties of the spaces of characters and positive definite functions, as well as their associated dynamics, for arithmetic groups of product type. Axiomatizing these properties, we define the notions of charmenability and charfiniteness and study their applications to the topological dynamics, ergodic theory and unitary representation theory of the given groups. To do that, we study singularity properties of equivariant normal ucp maps between certain von Neumann algebras. We apply our discussion also to groups acting on product of trees.
 [213] arXiv:2009.09953 [pdf, other]

Title: A Predictive Interference Management Algorithm for URLLC in Beyond 5G NetworksComments: Nine pages, six figures, submitted to IEEE Com. LettersSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
Interference mitigation is a major design challenge in wireless systems,especially in the context of ultrareliable lowlatency communication (URLLC) services. Conventional averagebased interference management schemes are not suitable for URLLC as they do not accurately capture the tail information of the interference distribution. This letter proposes a novel interference prediction algorithm that considers the entire interference distribution instead of only the mean. The key idea is to model the interference variation as a discrete state space discretetime Markov chain. The state transition probability matrix is then used to estimate the state evolution in time, and allocate radio resources accordingly. The proposed scheme is found to meet the target reliability requirements in a lowlatency singleshot transmission system considering realistic system assumptions, while requiring only ~25% more resources than the optimum case with perfect interference knowledge.
 [214] arXiv:2009.09958 [pdf, ps, other]

Title: Embedding theorems for solvable groupsAuthors: Vitaly Roman'kovComments: 11 pagesSubjects: Group Theory (math.GR)
In this paper, we prove a series of results on group embeddings in groups with a small number of generators. We show that each finitely generated group $G$ lying in a variety ${\mathcal M}$ can be embedded in a $4$generated group $H \in {\mathcal M}{\mathcal A}$ (${\mathcal A}$ means the variety of abelian groups). If $G$ is a finite group, then $H$ can also be found as a finite group. It follows, that any finitely generated (finite) solvable group $G$ of the derived length $l$ can be embedded in a $4$generated (finite) solvable group $H$ of length $l+1$. Thus, we answer the question of V. H. Mikaelian and A.Yu. Olshanskii. It is also shown that any countable group $G\in {\mathcal M}$, such that the abelianization $G_{ab}$ is a free abelian group, is embeddable in a $2$generated group $H\in {\mathcal M}{\mathcal A}$.
 [215] arXiv:2009.09964 [pdf, ps, other]

Title: Intersection points of planar curves can be computedAuthors: Klaus WeihrauchSubjects: Logic (math.LO)
Consider two paths $\phi,\psi:[0;1]\to [0;1]^2$ in the unit square such that $\phi(0)=(0,0)$, $\phi(1)=(1,1)$, $\psi(0)=(0,1)$ and $\psi(1)=(1,0)$. By continuity of $\phi$ and $\psi$ there is a point of intersection. We prove that from $\phi$ and $\psi$ we can compute closed intervals $S_\phi,S_\psi \subseteq [0;1]$ such that $\phi(S_\phi)=\psi(S_\psi)$.
 [216] arXiv:2009.09967 [pdf, ps, other]

Title: Massive MIMO Channel Prediction: Kalman Filtering vs. Machine LearningComments: Accepted to IEEE Transactions on CommunicationsSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
This paper focuses on channel prediction techniques for massive multipleinput multipleoutput (MIMO) systems. Previous channel predictors are based on theoretical channel models, which would be deviated from realistic channels. In this paper, we develop and compare a vector Kalman filter (VKF)based channel predictor and a machine learning (ML)based channel predictor using the realistic channels from the spatial channel model (SCM), which has been adopted in the 3GPP standard for years. First, we propose a lowcomplexity mobility estimator based on the spatial average using a large number of antennas in massive MIMO. The mobility estimate can be used to determine the complexity order of developed predictors. The VKFbased channel predictor developed in this paper exploits the autoregressive (AR) parameters estimated from the SCM channels based on the YuleWalker equations. Then, the MLbased channel predictor using the linear minimum mean square error (LMMSE)based noise preprocessed data is developed. Numerical results reveal that both channel predictors have substantial gain over the outdated channel in terms of the channel prediction accuracy and data rate. The MLbased predictor has larger overall computational complexity than the VKFbased predictor, but once trained, the operational complexity of MLbased predictor becomes smaller than that of VKFbased predictor.
 [217] arXiv:2009.09969 [pdf, other]

Title: SpeciesTheoretic Foundations of Perturbative Quantum Field TheoryAuthors: William NorledgeSubjects: Mathematical Physics (mathph); Combinatorics (math.CO)
We develop an algebraic formalism for perturbative (local) quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain fundamental structures of pQFT are correctly viewed as algebraic structures internal to species. Aspects of this formalism have appeared in the physics literature, particularly in the work of BogoliubovShirkov, Steinmann, Ruelle, and EpsteinGlaserStora. In this paper, we give a fully explicit account in terms of AguiarMahajan's modern theory of the structures involved. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into microcausal polynomial observables. The various operatorvalued distributions, e.g. timeordered products, retarded products, generalized retarded products, are obtained as images of fundamental elements of this Hopf monoid under the (curried) homomorphism. The perturbative \hbox{Smatrix} scheme corresponds to the socalled universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers. Given a system of (re)normalized timeordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.
 [218] arXiv:2009.09980 [pdf, other]

Title: Two balls maximize the third Neumann eigenvalue in hyperbolic spaceComments: 27 pages, 1 figureSubjects: Spectral Theory (math.SP); Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We show that the third eigenvalue of the Neumann Laplacian in hyperbolic space is maximal for the disjoint union of two geodesic balls, among domains of given volume. This extends a recent result by Bucur and Henrot in Euclidean space, while providing a new proof of a key step in their argument
 [219] arXiv:2009.09989 [pdf, ps, other]

Title: Corona Operator On Italian DominationSubjects: Combinatorics (math.CO)
An Italian dominating function (IDF), of a graph G is a function $ f: V(G) \rightarrow \{0,1,2\} $ satisfying the condition that for every $ v\in V(G) $ with $ f(v) = 0, \sum_{ u\in N(v)} f(u) \geq 2. $ The weight of an IDF on $G$ is the sum $ f(V)= \sum_{v\in V(G)}f(v) $ and Italian domination number, $ \gamma_I(G) $ is the minimum weight of an IDF. In this paper, we study the impact of corona operator and addition of twins on Italian domination number.
 [220] arXiv:2009.09992 [pdf, other]

Title: On conjectures of Minkowski and Woods for $n=10$Comments: 23 pages, 2 figures, 1 tableSubjects: Number Theory (math.NT)
Let $\mathbb{L}$ be a lattice in $n$dimensional Euclidean space $\mathbb{R}^n$ reduced in the sense of Korkine and
Zolotareff and having a basis of the form $~(A_1,0,0,\cdots$ $,0),$ ~$(a_{2,1},A_2,0,\cdots,0),\cdots,$ $(a_{n,1},a_{n,2},\cdots,a_{n,n1},A_n)$. A famous conjecture of Woods
in Geometry of Numbers asserts that if $A_1A_2\cdots A_n = 1$ and $A_i\leq A_1$ for each $i$ then any closed sphere in $\mathbb{R}^n$ of radius $\sqrt{n/4}$ contains a point of $\mathbb{L}.$ Together with a result of C. T. McMullen (2005), the truth of Woods' Conjecture for a fixed $n$, implies the long standing classical conjecture of Minkowski on product of $n$ nonhomogeneous linear forms for that value of $n$. In an earlier paper `Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, 2016, 501548' we proved Woods' Conjecture for $n=9$. In this paper, we prove Woods' Conjecture and hence Minkowski's Conjecture for $n=10$.  [221] arXiv:2009.09995 [pdf, ps, other]

Title: Cusps of Hyperbolic 4Manifolds and Rational Homology SpheresComments: 13 pages, 1 figure, 2 sage worksheets available at this https URLSubjects: Geometric Topology (math.GT)
In the present paper, we construct a cusped hyperbolic 4manifold with all cusp sections homeomorphic to the HantzscheWendt manifold, which is a rational homology sphere. By a result of Golenia and Moroianu, the Laplacian on 2forms on such a manifold has purely discrete spectrum. This answers in the affirmative a question by Golenia and Moroianu from 2008 and, moreover, provides a counterexample to a theorem by Mazzeo and Phillips from 1990 about Laplacian spectral of conformally cusped manifolds. We also correct the incomplete classification of compact orientable flat 3manifolds arising from cube colourings provided earlier by Kolpakov and Slavich.
 [222] arXiv:2009.10011 [pdf, ps, other]

Title: The relative L^2 index theorem for Galois coveringsAuthors: MoulayTahar BenameurSubjects: Operator Algebras (math.OA)
Given a Galois covering of complete spin manifolds where the base metric has PSC near infinity, we prove that for small enough epsilon > 0, the epsilon spectral projection of the Dirac operator has finite trace in the Atiyah von Neumann algebra. This allows us to define the L2 index in the even case and we prove its compatibility with the XieYu higher index. We also deduce L2 versions of the classical GromovLawson relative index theorems. Finally, we briefly discuss some GromovLawson L2 invariants.
 [223] arXiv:2009.10012 [pdf, ps, other]

Title: Optical geometriesComments: 46 pagesSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We study the notion of optical geometry, defined to be a Lorentzian manifold equipped with a null line distribution, from the perspective of intrinsic torsion. This is an instance of a nonintegrable version of holonomy reduction in Lorentzian geometry. These generate congruences of null curves, which play an important r\^{o}le in general relativity. Conformal properties of these are investigated. We also extend this concept to generalised optical geometries as introduced by Robinson and Trautman.
 [224] arXiv:2009.10016 [pdf, ps, other]

Title: Existence of global solutions and blowup of solutions for coupled systems of fractional diffusion equationsSubjects: Analysis of PDEs (math.AP)
We study the Cauchy problem for a system of semilinear coupled fractionaldiffusion equations with polynomial nonlinearities posed in $% \mathbb{R}_{+}\times \mathbb{R}^{N}$. Under appropriate conditions on the exponents and the orders of the fractional time derivatives, we present a critical value of the dimension N, for which global solutions with small data exist, otherwise solutions blowup in finite time. Furthermore, the large time behavior of global solutions is discussed.
 [225] arXiv:2009.10022 [pdf, ps, other]

Title: Finitedimensionality in the noncommutative Choquet boundary: peaking phenomena and $\mathrm{C}^*$liminalityComments: 33 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
We explore the finitedimensional part of the noncommutative Choquet boundary of an operator algebra. In other words, we seek finitedimensional boundary representations. Such representations may fail to exist even when the underlying operator algebra is finitedimensional. Nevertheless, we exhibit mechanisms that detect when a given finitedimensional representation lies in the Choquet boundary. Broadly speaking, our approach is topological and requires identifying isolated points in the spectrum of the $\mathrm{C}^*$envelope. This is accomplished by analyzing peaking representations and peaking projections, both of which being noncommutative versions of the classical notion of a peak point for a function algebra. We also connect this question with the residual finitedimensionality of the $\mathrm{C}^*$envelope and to a stronger property that we call $\mathrm{C}^*$liminality. Recent developments in matrix convexity allow us to identify a pivotal intermediate property, whereby every matrix state is locally finitedimensional.
 [226] arXiv:2009.10024 [pdf, other]

Title: On the lattice of weakly exact structuresComments: 41 pagesSubjects: Category Theory (math.CT); Representation Theory (math.RT)
The study of exact structures on an additive category A is closely related to the study of closed additive subbifunctors of the maximal extension bifunctor Ext1 on A.
We initiate in this article the study of "weakly exact structures", which are the structures on A corresponding to all additive subbifunctors of Ext1. We introduce weak counterparts of onesided exact structures and show that a left and a right weakly exact structure generate a weakly exact structure. We define weakly extriangulated structures on an additive category and characterize weakly exact structures among them. We investigate when these structures on A form lattices. We prove that the lattice of substructures of a weakly extriangulated structure is isomorphic to the lattice of topologizing subcategories of a certain abelian category. In the idempotent complete case, this characterises the lattice of all weakly exact structures. We study in detail the situation when Ais additively finite, giving a moduletheoretic characterization of closed subbifunctors of Ext1 among all additive subbifunctors.  [227] arXiv:2009.10036 [pdf, ps, other]

Title: Multiuser MIMO Systems with Discrete Precoding and Adjusted Soft Receiver Design with PSK ModulationSubjects: Information Theory (cs.IT)
Lowresolution precoding techniques gained considerable attention in the wireless communications area recently. Unlike prior studies, the proposed work considers a coded transmission with a soft detection process. Based on the assumption that the distortion brought by the discrete precoding is Gaussian distributed, different approaches about the computation of effective loglikelihoodratios are presented in the study. Numerical results based on PSK modulation and an LDPC block code indicate a superior performance as compared to stateoftheart system designs in terms of biterrorrate.
 [228] arXiv:2009.10041 [pdf, other]

Title: Mapping Coalgebras I: ComonadsAuthors: Brice Le GrignouComments: 33 pagesSubjects: Category Theory (math.CT)
In this article we describe properties of the 2functor from the 2category of comonads to the 2category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are enriched tensored and cotensored over coalgebras over a comonad.
 [229] arXiv:2009.10044 [pdf, ps, other]

Title: Positivity of the cotangent sheaf of singular CalabiYau varietiesAuthors: Cécile GachetSubjects: Algebraic Geometry (math.AG)
We prove that the tangent and the reflexivized cotangent sheaves of any normal projective klt CalabiYau or irreducible holomorphic symplectic variety are not pseudoeffective, generalizing results of A. H\"oring and T. Peternell arXiv:1710.06183v2 [math.AG]. We provide examples of CalabiYau varieties of small dimension with singularities in codimension 2.
 [230] arXiv:2009.10052 [pdf, other]

Title: A McCool Whitehead type theorem for finitely generated subgroups of $\mathsf{Out}(F_n)$Comments: 29 pages, 3 figuresSubjects: Group Theory (math.GR)
S. Gersten announced an algorithm that takes as input two finite sequences $\vec K=(K_1,\dots, K_N)$ and $\vec K'=(K_1',\dots, K_N')$ of conjugacy classes of finitely generated subgroups of $F_n$ and outputs:
(1) $\mathsf{YES}$ or $\mathsf{NO}$ depending on whether or not there is an element $\theta\in \mathsf{Out}(F_n)$ such that $\theta(\vec K)=\vec K'$ together with one such $\theta$ if it exists and
(2) a finite presentation for the subgroup of $\mathsf{Out}(F_n)$ fixing $\vec K$.
S. Kalajd\v{z}ievski published a verification of this algorithm. We present a different algorithm from the point of view of CullerVogtmann's Outer space.
New results include that the subgroup of $\mathsf{Out}(F_n)$ fixing $\vec K$ is of type $\mathsf{VF}$, an equivariant version of these results, an application, and a unified approach to such questions.  [231] arXiv:2009.10055 [pdf, ps, other]

Title: Cayley Graphs of Order 6pq are HamiltonianAuthors: Farzad MaghsoudiSubjects: Combinatorics (math.CO)
Assume G is a finite group, such that G= 6pq or 7pq, where p and q are distinct prime numbers, and let S be a generating set of G. We prove there is a Hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
 [232] arXiv:2009.10063 [pdf, other]

Title: The Hurwitz space Picard rank conjecture for $d>g1$Authors: Scott MullaneComments: 17 pages, 4 figuresSubjects: Algebraic Geometry (math.AG)
We show the simple Hurwitz space $\mathcal{H}_{g,d}$ has trivial rational Picard group for $d>g1$ and is uniruled for $d>g+1$.
Crosslists for Tue, 22 Sep 20
 [233] arXiv:2009.08989 (crosslist from hepth) [pdf, other]

Title: NonPerturbative SchwingerDyson Equations for 3d ${\cal N} = 4$ Gauge TheoriesAuthors: Nathan HaouziComments: 75 pages; 12 figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Algebra (math.QA)
We analyze symmetries corresponding to separated topological sectors of 3d ${\cal} N=4$ gauge theories with Higgs vacua, compactified on a circle. The symmetries are encoded in SchwingerDyson identities satisfied by correlation functions of a certain gaugeinvariant operator, the "vortex character." Such a character observable is realized as the vortex partition function of the 3d gauge theory, in the presence of a 1/2BPS Wilson line defect. The character enjoys a double refinement, interpreted as a deformation of the usual characters of finitedimensional representations of quantum affine algebras. We derive and interpret the SchwingerDyson identities for the 3d theory from various physical perspectives: in the 3d gauge theory itself, in a 1d gauged quantum mechanics, in 2d $q$Toda theory, and in 6d little string theory. We establish the dictionary between all approaches. Lastly, we comment on the transformation properties of the vortex character under the action of threedimensional Seiberg duality.
 [234] arXiv:2009.09010 (crosslist from physics.fludyn) [pdf, other]

Title: Persisting asymmetry in the probability distribution function for a random advectiondiffusion equation in impermeable channelsSubjects: Fluid Dynamics (physics.fludyn); Analysis of PDEs (math.AP); Probability (math.PR)
We study the effect of impermeable boundaries on the symmetry properties of a random passive scalar field advected by random flows. We focus on a broad class of nonlinear shear flows multiplied by a stationary, OrnsteinUhlenbeck (OU) time varying process, including some of their limiting cases, such as Gaussian white noise or plug flows. For the former case with linear shear, recent studies \cite{camassa2019symmetry} numerically demonstrated that the decaying passive scalar's long time limiting probability distribution function (PDF) could be negatively skewed in the presence of impermeable channel boundaries, in contrast to rigorous results in free space which established the limiting PDF is positively skewed \cite{mclaughlin1996explicit}. Here, the role of boundaries in setting the long time limiting skewness of the PDF is established rigorously for the above class using the long time asymptotic expansion of the $N$point correlator of the random field obtained from the ground state eigenvalue perturbation approach proposed in \cite{bronski1997scalar}. Our analytical result verifies the conclusion for the linear shear flow obtained from numerical simulations in \cite{camassa2019symmetry}. Moreover, we demonstrate that the limiting distribution is negatively skewed for any shear flow at sufficiently low P\'eclet number. We show that the long time limit of the first three moments depends explicitly on the value of $\gamma$, which is in contrast to the conclusion in \cite{vanden2001non} for the limiting PDF in free space. We derive the exact formula of the $N$point correlator for a flow with no spatial dependence and Gaussian temporal fluctuation, generalizing the results of \cite{bronski2007explicit}. The long time analysis of this formula is consistent with our theory for a general shear flow. All results are verified by MonteCarlo simulations.
 [235] arXiv:2009.09020 (crosslist from eess.SP) [pdf, other]

Title: Natural Graph Wavelet Packet DictionariesSubjects: Signal Processing (eess.SP); Combinatorics (math.CO); Numerical Analysis (math.NA); Spectral Theory (math.SP)
We introduce a set of novel multiscale basis transforms for signals on graphs that utilize their "dual" domains by incorporating the "natural" distances between graph Laplacian eigenvectors, rather than simply using the eigenvalue ordering. These basis dictionaries can be seen as generalizations of the classical Shannon wavelet packet dictionary and of classical timefrequency adapted wavelet packets to arbitrary graphs, and does not rely on the frequency interpretation of Laplacian eigenvalues. We describe the algorithms (involving either vector rotations or orthogonalizations) to efficiently approximate and compress signals through the bestbasis algorithm, and demonstrate the strengths of these basis dictionaries for graph signals on sunflower graphs and road traffic networks.
 [236] arXiv:2009.09043 (crosslist from cs.LG) [pdf, other]

Title: CrossEntropy Method Variants for OptimizationAuthors: Robert J. MossComments: 9 pages, 6 figures, code available at this https URLSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
The crossentropy (CE) method is a popular stochastic method for optimization due to its simplicity and effectiveness. Designed for rareevent simulations where the probability of a target event occurring is relatively small, the CEmethod relies on enough objective function calls to accurately estimate the optimal parameters of the underlying distribution. Certain objective functions may be computationally expensive to evaluate, and the CEmethod could potentially get stuck in local minima. This is compounded with the need to have an initial covariance wide enough to cover the design space of interest. We introduce novel variants of the CEmethod to address these concerns. To mitigate expensive function calls, during optimization we use every sample to build a surrogate model to approximate the objective function. The surrogate model augments the belief of the objective function with less expensive evaluations. We use a Gaussian process for our surrogate model to incorporate uncertainty in the predictions which is especially helpful when dealing with sparse data. To address local minima convergence, we use Gaussian mixture models to encourage exploration of the design space. We experiment with evaluation scheduling techniques to reallocate true objective function calls earlier in the optimization when the covariance is the largest. To test our approach, we created a parameterized test objective function with many local minima and a single global minimum. Our test function can be adjusted to control the spread and distinction of the minima. Experiments were run to stress the crossentropy method variants and results indicate that the surrogate modelbased approach reduces local minima convergence using the same number of function evaluations.
 [237] arXiv:2009.09055 (crosslist from eess.SY) [pdf, other]

Title: Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated DrivingSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
We propose a stochastic predictioncontrol framework to promote safety in automated driving by directly controlling the joint state probability density functions (PDFs) subject to the vehicle dynamics via trajectorylevel state feedback. To illustrate the main ideas, we focus on a multilane highway driving scenario although the proposed framework can be adapted to other contexts. The computational pipeline consists of a PDF prediction layer, followed by a PDF control layer. The prediction layer performs moving horizon nonparametric forecasts for the ego and the nonego vehicles' stochastic states, and thereby derives safe target PDF for the ego. The latter is based on the forecasted collision probabilities, and promotes the probabilistic safety for the ego. The PDF control layer designs a feedback that optimally steers the joint state PDF subject to the controlled ego dynamics while satisfying the endpoint PDF constraints. Our computation for the PDF prediction layer leverages the structure of the controlled Liouville PDE to evolve the joint PDF values, as opposed to empirically approximating the PDFs. Our computation for the PDF control layer leverages the differential flatness structure in vehicle dynamics. We harness recent theoretical and algorithmic advances in optimal mass transport, and the Schr\"{o}dinger bridge. The numerical simulations illustrate the efficacy of the proposed framework.
 [238] arXiv:2009.09096 (crosslist from quantph) [pdf, ps, other]

Title: Entanglement Properties of Quantum Superpositions of Smooth, Differentiable FunctionsSubjects: Quantum Physics (quantph); Numerical Analysis (math.NA)
We present an entanglement analysis of quantum superpositions corresponding to smooth, differentiable, realvalued (SDR) univariate functions. SDR functions are shown to be scalably approximated by lowrank matrix product states, for large system discretizations. We show that the maximum vonNeumann bipartite entropy of these functions grows logarithmically with the system size. This implies that efficient lowrank approximations to these functions exist in a matrix product state (MPS) for large systems. As a corollary, we show an upper bound on tracedistance approximation accuracy for a rank2 MPS as $\Omega(\log N/N)$, implying that these lowrank approximations can scale accurately for large quantum systems.
 [239] arXiv:2009.09100 (crosslist from eess.SY) [pdf, other]

Title: SafetyCritical Kinematic Control of Robotic SystemsSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Over the decades, kinematic controllers have proven to be practically useful for applications like setpoint and trajectory tracking in robotic systems. To this end, we formulate a novel safetycritical paradigm for kinematic control in this paper. In particular, we extend the methodology of control barrier functions (CBFs) to kinematic equations governing robotic systems. We demonstrate a purely kinematic implementation of a velocitybased CBF, and subsequently introduce a formulation that guarantees safety at the level of dynamics. This is achieved through a new form CBFs that incorporate kinetic energy with the classical forms, thereby minimizing model dependence and conservativeness. The approach is then extended to underactuated systems. This method and the purely kinematic implementation are demonstrated in simulation on two robotic platforms: a 6DOF robotic manipulator, and a cartpole system.
 [240] arXiv:2009.09106 (crosslist from physics.socph) [pdf, other]

Title: Street Network Models and Indicators for Every Urban Area in the WorldAuthors: Geoff BoeingSubjects: Physics and Society (physics.socph); General Topology (math.GN); Applied Physics (physics.appph); Applications (stat.AP)
Cities worldwide exhibit a variety of street network patterns and configurations that shape human mobility, equity, health, and livelihoods. This study models and analyzes the street networks of each urban area in the world, using boundaries derived from the Global Human Settlement Layer. Street network data are acquired and modeled using the opensource OSMnx software and OpenStreetMap. In total, this study models over 150 million OpenStreetMap street network nodes and over 300 million edges across 9,000 urban areas in 178 countries. This paper presents the study's reproducible computational workflow, introduces two new open data repositories of processed global street network models and calculated indicators, and reports summary descriptive findings on street network form worldwide. It makes four contributions. First, it reports the methodological advances of using this opensource tool in spatial network modeling and analyses with open big data. Second, it produces an open data repository containing street network models for each of these urban areas, in various file formats, for public reuse. Third, it analyzes these models to produce an open data repository containing dozens of street network form indicators for each urban area. No such global urban street network indicator data set has previously existed. Fourth, it presents an aggregate summary descriptive analysis of global street network form at the scale of the urban area, reporting the first such worldwide results in the literature.
 [241] arXiv:2009.09177 (crosslist from stat.ME) [pdf, other]

Title: Estimating the number of communities by Stepwise GoodnessoffitSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Given a symmetric network with $n$ nodes, how to estimate the number of communities $K$ is a fundamental problem. We propose Stepwise GoodnessofFit (StGoF) as a new approach to estimating $K$. For $m = 1, 2, \ldots$, StGoF alternately uses a community detection step (pretending $m$ is the correct number of communities) and a goodnessoffit step. We use SCORE \cite{SCORE} for community detection, and propose a new goodnessoffit measure. Denote the goodnessoffit statistic in step $m$ by $\psi_n^{(m)}$. We show that as $n \rightarrow \infty$, $\psi_n^{(m)} \rightarrow N(0,1)$ when $m = K$ and $\psi_n^{(m)} \rightarrow \infty$ in probability when $m < K$. Therefore, with a proper threshold, StGoF terminates at $m = K$ as desired.
We consider a broad setting where we allow severe degree heterogeneity, a wide range of sparsity, and especially weak signals. In particular, we propose a measure for signaltonoise ratio (SNR) and show that there is a phase transition: when $\mathrm{SNR} \rightarrow 0$ as $n \rightarrow \infty$, consistent estimates for $K$ do not exist, and when $\mathrm{SNR} \rightarrow \infty$, StGoF is consistent, uniformly for a broad class of settings. In this sense, StGoF achieves the optimal phase transition. Stepwise testing algorithms of similar kind (e.g., \cite{wang2017likelihood, ma2018determining}) are known to face analytical challenges. We overcome the challenges by using a different design in the stepwise algorithm and by deriving sharp results in the underfitting case $(m < K)$ and the null case ($m = K$). The key to our analysis is to show that SCORE has the {\it NonSplitting Property (NSP)}. The NSP is nonobvious, so additional to rigorous proofs, we also provide an intuitive explanation.  [242] arXiv:2009.09200 (crosslist from stat.ME) [pdf, other]

Title: Epidemiological shortterm Forecasting with Model Reduction of Parametric Compartmental Models. Application to the first pandemic wave of COVID19 in FranceSubjects: Methodology (stat.ME); Numerical Analysis (math.NA)
We propose a forecasting method for predicting epidemiological health series on a twoweek horizon at the regional and interregional level. The approach is based on model order reduction of parametric compartmental models, and is designed to accommodate small amount of sanitary data. The efficiency of the method is examined in the case of the prediction of the number of hospitalized infected and removed people during the first pandemic wave of COVID19 in France, which has taken place approximately between February and May 2020. Numerical results illustrate the promising potential of the approach.
 [243] arXiv:2009.09217 (crosslist from cs.LG) [pdf, other]

Title: Joint introduction to Gaussian Processes and Relevance Vector Machines with Connections to Kalman filtering and other Kernel SmoothersSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA); Computation (stat.CO); Machine Learning (stat.ML)
The expressive power of Bayesian kernelbased methods has led them to become an important tool across many different facets of artificial intelligence, and useful to a plethora of modern application domains, providing both power and interpretability via uncertainty analysis. This article introduces and discusses two methods which straddle the areas of probabilistic Bayesian schemes and kernel methods for regression: Gaussian Processes and Relevance Vector Machines. Our focus is on developing a common framework with which to view these methods, via intermediate methods a probabilistic version of the wellknown kernel ridge regression, and drawing connections among them, via dual formulations, and discussion of their application in the context of major tasks: regression, smoothing, interpolation, and filtering. Overall, we provide understanding of the mathematical concepts behind these models, and we summarize and discuss in depth different interpretations and highlight the relationship to other methods, such as linear kernel smoothers, Kalman filtering and Fourier approximations. Throughout, we provide numerous figures to promote understanding, and we make numerous recommendations to practitioners. Benefits and drawbacks of the different techniques are highlighted. To our knowledge, this is the most indepth study of its kind to date focused on these two methods, and will be relevant to theoretical understanding and practitioners throughout the domains of datascience, signal processing, machine learning, and artificial intelligence in general.
 [244] arXiv:2009.09248 (crosslist from stat.ME) [pdf, other]

Title: Posterior Averaging Information CriterionAuthors: Shouhao ZhouSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
We propose a new model selection method, the posterior averaging information criterion, for Bayesian model assessment from a predictive perspective. The theoretical foundation is built on the KullbackLeibler divergence to quantify the similarity between the proposed candidate model and the underlying true model. From a Bayesian perspective, our method evaluates the candidate models over the entire posterior distribution in terms of predicting a future independent observation. Without assuming that the true distribution is contained in the candidate models, the new criterion is developed by correcting the asymptotic bias of the posterior mean of the loglikelihood against its expected loglikelihood. It can be generally applied even for Bayesian models with degenerate noninformative prior. The simulation in both normal and binomial settings demonstrates decent small sample performance.
 [245] arXiv:2009.09286 (crosslist from stat.ME) [pdf, ps, other]

Title: Highdimensional Modelassisted Inference for Local Average Treatment Effects with Instrumental VariablesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Consider the problem of estimating the local average treatment effect with an instrument variable, where the instrument unconfoundedness holds after adjusting for a set of measured covariates. Several unknown functions of the covariates need to be estimated through regression models, such as instrument propensity score and treatment and outcome regression models. We develop a computationally tractable method in highdimensional settings where the numbers of regression terms are close to or larger than the sample size. Our method exploits regularized calibrated estimation, which involves Lasso penalties but carefully chosen loss functions for estimating coefficient vectors in these regression models, and then employs a doubly robust estimator for the treatment parameter through augmented inverse probability weighting. We provide rigorous theoretical analysis to show that the resulting Wald confidence intervals are valid for the treatment parameter under suitable sparsity conditions if the instrument propensity score model is correctly specified, but the treatment and outcome regression models may be misspecified. For existing highdimensional methods, valid confidence intervals are obtained for the treatment parameter if all three models are correctly specified. We evaluate the proposed methods via extensive simulation studies and an empirical application to estimate the returns to education.
 [246] arXiv:2009.09288 (crosslist from cs.DS) [pdf, ps, other]

Title: On combinatorial optimization for dominating sets (literature survey, new models)Authors: Mark Sh. LevinComments: 17 pages, figures 6, table 5Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
The paper focuses on some versions of connected dominating set problems: basic problems and multicriteria problems. A literature survey on basic problem formulations and solving approaches is presented. The basic connected dominating set problems are illustrated by simplifyed numerical examples. New integer programming formulations of dominating set problems (with multiset estimates) are suggested.
 [247] arXiv:2009.09334 (crosslist from cs.AI) [pdf]

Title: Quantifying Uncertainty in Risk Assessment using Fuzzy TheoryAuthors: Hengameh FakhravarSubjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Risk specialists are trying to understand risk better and use complex models for risk assessment, while many risks are not yet well understood. The lack of empirical data and complex causal and outcome relationships make it difficult to estimate the degree to which certain risk types are exposed. Traditional risk models are based on classical set theory. In comparison, fuzzy logic models are built on fuzzy set theory and are useful for analyzing risks with insufficient knowledge or inaccurate data. Fuzzy logic systems help to make largescale risk management frameworks more simple. For risks that do not have an appropriate probability model, a fuzzy logic system can help model the cause and effect relationships, assess the level of risk exposure, rank key risks in a consistent way, and consider available data and experts'opinions. Besides, in fuzzy logic systems, some rules explicitly explain the connection, dependence, and relationships between model factors. This can help identify risk mitigation solutions. Resources can be used to mitigate risks with very high levels of exposure and relatively low hedging costs. Fuzzy set and fuzzy logic models can be used with Bayesian and other types of method recognition and decision models, including artificial neural networks and decision tree models. These developed models have the potential to solve difficult risk assessment problems. This research paper explores areas in which fuzzy logic models can be used to improve risk assessment and risk decision making. We will discuss the methodology, framework, and process of using fuzzy logic systems in risk assessment.
 [248] arXiv:2009.09380 (crosslist from eess.SP) [pdf, other]

Title: Hybrid Beamforming for RISEmpowered Multihop Terahertz Communications: A DRLbased MethodAuthors: Chongwen Huang, Zhaohui Yang, George C. Alexandropoulos, Kai Xiong, Li Wei, Chau Yuen, Zhaoyang ZhangComments: Accepted by 2020 GLOBECOM WorkshopSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)
Wireless communication in the TeraHertz band (0.110 THz) is envisioned as one of the key enabling technologies for the future six generation (6G) wireless communication systems. However, very high propagation attenuations and molecular absorptions of THz frequencies often limit the signal transmission distance and coverage range. Benefited from the recent breakthrough on the reconfigurable intelligent surfaces (RIS) for realizing smart radio propagation environment, we propose a novel hybrid beamforming scheme for the multihop RISassisted communication networks to improve the coverage range at THzband frequencies. We investigate the joint design of digital beamforming matrix at the BS and analog beamforming matrices at the RISs, by leveraging the recent advances in deep reinforcement learning (DRL) to combat the propagation loss. Simulation results show that our proposed scheme is able to improve 50\% more coverage range of THz communications compared with the benchmarks. Furthermore, it is also shown that our proposed DRLbased method is a stateoftheart method to solve the NPbard beamforming problem, especially when the signals at RISempowered THz communication networks experience multiple hops.
 [249] arXiv:2009.09420 (crosslist from stat.ME) [pdf, other]

Title: Spatial+: a novel approach to spatial confoundingSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP)
In spatial regression models, collinearity between covariates and spatial effects can lead to significant bias in effect estimates. This problem, known as spatial confounding, is encountered modelling forestry data to assess the effect of temperature on tree health. Reliable inference is difficult as results depend on whether or not spatial effects are included in the model. The mechanism behind spatial confounding is poorly understood and methods for dealing with it are limited. We propose a novel approach, spatial+, in which collinearity is reduced by replacing the covariates in the spatial model by their residuals after spatial dependence has been regressed away. Using a thin plate spline model formulation, we recognise spatial confounding as a smoothinginduced bias identified by Rice (1986), and through asymptotic analysis of the effect estimates, we show that spatial+ avoids the bias problems of the spatial model. This is also demonstrated in a simulation study. Spatial+ is straightforward to implement using existing software and, as the response variable is the same as that of the spatial model, standard model selection criteria can be used for comparisons. A major advantage of the method is also that it extends to models with nonGaussian response distributions. Finally, while our results are derived in a thin plate spline setting, the spatial+ methodology transfers easily to other spatial model formulations.
 [250] arXiv:2009.09457 (crosslist from cs.LG) [pdf, other]

Title: "Hey, that's not an ODE": Faster ODE Adjoints with 12 Lines of CodeSubjects: Machine Learning (cs.LG); Classical Analysis and ODEs (math.CA)
Neural differential equations may be trained by backpropagating gradients via the adjoint method, which is another differential equation typically solved using an adaptivestepsize numerical differential equation solver. A proposed step is accepted if its error, \emph{relative to some norm}, is sufficiently small; else it is rejected, the step is shrunk, and the process is repeated. Here, we demonstrate that the particular structure of the adjoint equations makes the usual choices of norm (such as $L^2$) unnecessarily stringent. By replacing it with a more appropriate (semi)norm, fewer steps are unnecessarily rejected and the backpropagation is made faster. This requires only minor code modifications. Experiments on a wide range of tasksincluding time series, generative modeling, and physical controldemonstrate a median improvement of 40% fewer function evaluations. On some problems we see as much as 62% fewer function evaluations, so that the overall training time is roughly halved.
 [251] arXiv:2009.09468 (crosslist from eess.SP) [pdf, other]

Title: A Markovian ModelDriven Deep Learning Framework for Massive MIMO CSI FeedbackComments: 14 pages, 14 figures, 4 tables. Submitted to IEEE Transactions on Wireless CommunicationsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)
Forward channel state information (CSI) often plays a vital role in scheduling and capacityapproaching transmission optimization for massive multipleinput multipleoutput (MIMO) communication systems. In frequency division duplex (FDD) massive MIMO systems, forwardlink CSI reconstruction at the transmitter relies critically on CSI feedback from receiving nodes and must carefully weigh the tradeoff between reconstruction accuracy and feedback bandwidth. Recent studies on the use of recurrent neural networks (RNNs) have demonstrated strong promises, though the cost of computation and memory remains high, for massive MIMO deployment. In this work, we exploit channel coherence in time to substantially improve the feedback efficiency. Using a Markovian model, we develop a deep convolutional neural network (CNN)based framework MarkovNet to differentially encode forward CSI in time to effectively improve reconstruction accuracy. Furthermore, we explore important physical insights, including spherical normalization of input data and convolutional layers for feedback compression. We demonstrate substantial performance improvement and complexity reduction over the RNNbased work by our proposed MarkovNet to recover forward CSI estimates accurately. We explore additional practical consideration in feedback quantization, and show that MarkovNet outperforms RNNbased CSI estimation networks at a fraction of the computational cost.
 [252] arXiv:2009.09472 (crosslist from eess.SY) [pdf, other]

Title: MultiObjective Optimization of Distribution Networks via Daily ReconfigurationSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Optimization and Control (math.OC)
This paper presents a comprehensive approach to improve the daily performance of an active distribution network (ADN), which includes renewable resources and responsive load (RL), using distributed network reconfiguration (DNR). Optimization objectives in this work can be described as (i) reducing active losses, (ii) improving the voltage profile, (iii) improving the network reliability, and (iv) minimizing distribution network operation costs. The suggested approach takes into account the probability of renewable resource failure, given the information collected from their initial state at the beginning of every day, in solving the optimization problem. Furthermore, solar radiation variations are estimated based on past historical data and the impact of the performance of renewable sources such as photovoltaic (PV) is determined hourly based on the Markov model. Since the number of reconfiguration scenarios is very high, stochastic DNR (SDNR) based on the probability distance method is employed to shrink the scenarios set. At the final stage, an improved crow search algorithm (ICSA) is introduced to find the optimal scenario. The effectiveness of the suggested method is verified for the IEEE 33bus radial distribution system as a case study.
 [253] arXiv:2009.09498 (crosslist from eess.IV) [pdf, other]

Title: Distributed optimization with tunable learned priors for robust ptychotomographySubjects: Image and Video Processing (eess.IV); Optimization and Control (math.OC)
Joint ptychotomography is a powerful computational imaging framework to recover the refractive properties of a 3D object while relaxing the requirements for probe overlap that is common in conventional phase retrieval. We use an augmented Lagrangian scheme for formulating the constrained optimization problem and employ an alternating direction method of multipliers (ADMM) for the joint solution. ADMM allows the problem to be split into smaller and computationally more manageable subproblems: ptychographic phase retrieval, tomographic reconstruction, and regularization of the solution. We extend our ADMM framework with plugandplay (PnP) denoisers by replacing the regularization subproblem with a general denoising operator based on machine learning. While the PnP framework enables integrating such learned priors as denoising operators, tuning of the denoiser prior remains challenging. To overcome this challenge, we propose a tuning parameter to control the effect of the denoiser and to accelerate the solution. In our simulations, we demonstrate that our proposed framework with parameter tuning and learned priors generates highquality reconstructions under limited and noisy measurement data.
 [254] arXiv:2009.09511 (crosslist from eess.SY) [pdf, other]

Title: SafetyCritical Online Control with Adversarial DisturbancesComments: Paper accepted to the Conference on Decision and Control (CDC), 2020Subjects: Systems and Control (eess.SY); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Optimization and Control (math.OC)
This paper studies the control of safetycritical dynamical systems in the presence of adversarial disturbances. We seek to synthesize statefeedback controllers to minimize a cost incurred due to the disturbance, while respecting a safety constraint. The safety constraint is given by a bound on an Hinf norm, while the cost is specified as an upper bound on the H2 norm of the system. We consider an online setting where costs at each time are revealed only after the controller at that time is chosen. We propose an iterative approach to the synthesis of the controller by solving a modified discretetime Riccati equation. Solutions of this equation enforce the safety constraint. We compare the cost of this controller with that of the optimal controller when one has complete knowledge of disturbances and costs in hindsight. We show that the regret function, which is defined as the difference between these costs, varies logarithmically with the time horizon. We validate our approach on a process control setup that is subject to two kinds of adversarial attacks.
 [255] arXiv:2009.09525 (crosslist from cs.LG) [pdf, other]

Title: Provable Finite Data Generalization with Group AutoencoderSubjects: Machine Learning (cs.LG); Group Theory (math.GR); Machine Learning (stat.ML)
Deep Autoencoders (AEs) provide a versatile framework to learn a compressed, interpretable, or structured representation of data. As such, AEs have been used extensively for denoising, compression, data completion as well as pretraining of Deep Networks (DNs) for various tasks such as classification. By providing a careful analysis of current AEs from a spline perspective, we can interpret the inputoutput mapping, in turn allowing us to derive conditions for generalization and reconstruction guarantee. By assuming a Lie group structure on the data at hand, we are able to derive a novel regularization of AEs, allowing for the first time to ensure the generalization of AEs in the finite training set case. We validate our theoretical analysis by demonstrating how this regularization significantly increases the generalization of the AE on various datasets.
 [256] arXiv:2009.09527 (crosslist from grqc) [pdf, ps, other]

Title: Initial data rigidity resultsComments: 22 pages. All comments welcomeSubjects: General Relativity and Quantum Cosmology (grqc); Differential Geometry (math.DG)
We present several rigidity results for initial data sets motivated by the positive mass theorem. An important step in our proofs here is to establish conditions that ensure that a marginally outer trapped surface is "weakly outermost". A rigidity result for Riemannian manifolds with a lower bound on their scalar curvature is included as a special case.
 [257] arXiv:2009.09541 (crosslist from cs.LO) [pdf, ps, other]

Title: FoundationsAuthors: Jeremy AvigadComments: For the forthcoming Handbook of Proof Assistants and Their Applications in Mathematics and Computer Science, edited by Jasmin Blanchette and Assia MahboubiSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
 [258] arXiv:2009.09564 (crosslist from condmat.statmech) [pdf, other]

Title: Geometric Mean of Concentrations and Reversal Permanent Charge in ZeroCurrent Ionic Flows via PoissonNernstPlanck ModelsAuthors: Hamid MofidiComments: 23 pages, 8 figuresSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Dynamical Systems (math.DS)
This work examines the geometric mean of concentrations and its behavior in various situations, as well as the reversal permanent charge problem, the charge sharing seen in xray diffraction. Observations are obtained from analytical results established using geometric singular perturbation analysis of classical PoissonNernstPlanck models.
For ionic mixtures of multiple ion species Mofidi and Liu [{\em SIAM J. Appl. Math. {\bf 80} (2020), 19081935}] centered two ion species with unequal diffusion constants to acquire a system for determining the reversal potential and reversal permanent charge. They studied the reversal potential problem and its dependence on diffusion coefficients, membrane potential, membrane concentrations, etc. Here we use the same approach to study the dual problem of reversal permanent charges and its dependence on other conditions. We consider two ion species with positive and negative charges, say Ca$^+$ and Cl$^$, to determine the specific conditions under which the permanent charge is unique. Furthermore, we investigate the behavior of geometric mean of concentrations for various values of transmembrane potential and permanent charge.  [259] arXiv:2009.09570 (crosslist from cs.CR) [pdf, ps, other]

Title: On the Efficient Estimation of MinEntropySubjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)
The minentropy is an important metric to quantify randomness of generated random numbers in cryptographic applications; it measures the difficulty of guessing the mostlikely output. One of the important minentropy estimator is the compression estimator of NIST Special Publication (SP) 80090B, which relies on Maurer's universal test. In this paper, we propose two kinds of minentropy estimators to improve computational complexity and estimation accuracy by leveraging two variations of Maurer's test: Coron's test (for Shannon entropy) and Kim's test (for Renyi entropy). First, we propose a minentropy estimator based on Coron's test which is computationally efficient than the compression estimator while maintaining the estimation accuracy. The secondly proposed estimator relies on Kim's test that computes the Renyi entropy. This proposed estimator improves estimation accuracy as well as computational complexity. We analytically characterize an interesting tradeoff relation between theoretical gap of accuracy and variance of minentropy estimates, which depends on the order of Renyi entropy. By taking into account this tradeoff relation, we observe that the order of two is a proper assignment since the proposed estimator based on the collision entropy (i.e., the Renyi entropy of order two) provides the most accurate estimates. Moreover, the proposed estimator based on the collision entropy has a closedform solution whereas both the compression estimator and the proposed estimator based on Coron's test do not have closedfrom solutions. Numerical evaluations demonstrate that the first proposed estimator achieves the same accuracy as the compression estimator with much less computations. Moreover, the second estimator can even improve the accuracy as well as reduce the computational complexity.
 [260] arXiv:2009.09623 (crosslist from cs.CC) [pdf, other]

Title: The Complexity of Constrained MinMax OptimizationSubjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Optimization and Control (math.OC)
Despite its important applications in Machine Learning, minmax optimization of nonconvexnonconcave objectives remains elusive. Not only are there no known firstorder methods converging even to approximate local minmax points, but the computational complexity of identifying them is also poorly understood. In this paper, we provide a characterization of the computational complexity of the problem, as well as of the limitations of firstorder methods in constrained minmax optimization problems with nonconvexnonconcave objectives and linear constraints.
As a warmup, we show that, even when the objective is a Lipschitz and smooth differentiable function, deciding whether a minmax point exists, in fact even deciding whether an approximate minmax point exists, is NPhard. More importantly, we show that an approximate local minmax point of large enough approximation is guaranteed to exist, but finding one such point is PPADcomplete. The same is true of computing an approximate fixed point of Gradient Descent/Ascent.
An important byproduct of our proof is to establish an unconditional hardness result in the NemirovskyYudin model. We show that, given oracle access to some function $f : P \to [1, 1]$ and its gradient $\nabla f$, where $P \subseteq [0, 1]^d$ is a known convex polytope, every algorithm that finds a $\varepsilon$approximate local minmax point needs to make a number of queries that is exponential in at least one of $1/\varepsilon$, $L$, $G$, or $d$, where $L$ and $G$ are respectively the smoothness and Lipschitzness of $f$ and $d$ is the dimension. This comes in sharp contrast to minimization problems, where finding approximate local minima in the same setting can be done with Projected Gradient Descent using $O(L/\varepsilon)$ many queries. Our result is the first to show an exponential separation between these two fundamental optimization problems.  [261] arXiv:2009.09624 (crosslist from nlin.SI) [pdf, ps, other]

Title: Reduction of divisors and Kowalevski topAuthors: A.V. TsiganovComments: LaTeX with AMSfonts, 10 pagesSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph); Dynamical Systems (math.DS)
The Lax pair representation of Reyman and SemenovTianShansky is used to construct a finite set of the equivalent divisors on a spectral curve associated with numerical normalization of the BakerAkhiezer function. One of these divisors has degree two on the underlying elliptic curve and evolution of the corresponding poles is given by a pair of separable differential equations on the elliptic curve.
 [262] arXiv:2009.09778 (crosslist from eess.SY) [pdf, ps, other]

Title: Computation of Parameter Dependent Robust Invariant Sets for LPV Models with Guaranteed PerformanceComments: 32 pages, 5 figuresSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper presents an iterative algorithm to compute a Robust Control Invariant (RCI) set, along with an invarianceinducing control law, for Linear ParameterVarying (LPV) systems. As the realtime measurements of the scheduling parameters are typically available, in the presented formulation, we allow the RCI set description along with the invarianceinducing controller to be scheduling parameter dependent. The considered formulation thus leads to parameterdependent conditions for the set invariance, which are replaced by sufficient Linear Matrix Inequality (LMI) conditions via Polya's relaxation. These LMI conditions are then combined with a novel volume maximization approach in a Semidefinite Programming (SDP) problem, which aims at computing the desirably large RCI set. In addition to ensuring invariance, it is also possible to guarantee performance within the RCI set by imposing a chosen quadratic performance level as an additional constraint in the SDP problem. The reported numerical example shows that the presented iterative algorithm can generate invariant sets which are larger than the maximal RCI sets computed without exploiting scheduling parameter information.
 [263] arXiv:2009.09835 (crosslist from cs.LG) [pdf, other]

Title: Hybrid StochasticDeterministic Minibatch Proximal Gradient: LessThanSinglePass Optimization with Nearly Optimal GeneralizationSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC); Machine Learning (stat.ML)
Stochastic variancereduced gradient (SVRG) algorithms have been shown to work favorably in solving largescale learning problems. Despite the remarkable success, the stochastic gradient complexity of SVRGtype algorithms usually scales linearly with data size and thus could still be expensive for huge data. To address this deficiency, we propose a hybrid stochasticdeterministic minibatch proximal gradient (HSDMPG) algorithm for stronglyconvex problems that enjoys provably improved datasizeindependent complexity guarantees. More precisely, for quadratic loss $F(\theta)$ of $n$ components, we prove that HSDMPG can attain an $\epsilon$optimizationerror $\mathbb{E}[F(\theta)F(\theta^*)]\leq\epsilon$ within $\mathcal{O}\Big(\frac{\kappa^{1.5}\epsilon^{0.75}\log^{1.5}(\frac{1}{\epsilon})+1}{\epsilon}\wedge\Big(\kappa \sqrt{n}\log^{1.5}\big(\frac{1}{\epsilon}\big)+n\log\big(\frac{1}{\epsilon}\big)\Big)\Big)$ stochastic gradient evaluations, where $\kappa$ is condition number. For generic strongly convex loss functions, we prove a nearly identical complexity bound though at the cost of slightly increased logarithmic factors. For largescale learning problems, our complexity bounds are superior to those of the prior stateoftheart SVRG algorithms with or without dependence on data size. Particularly, in the case of $\epsilon=\mathcal{O}\big(1/\sqrt{n}\big)$ which is at the order of intrinsic excess error bound of a learning model and thus sufficient for generalization, the stochastic gradient complexity bounds of HSDMPG for quadratic and generic loss functions are respectively $\mathcal{O} (n^{0.875}\log^{1.5}(n))$ and $\mathcal{O} (n^{0.875}\log^{2.25}(n))$, which to our best knowledge, for the first time achieve optimal generalization in less than a single pass over data. Extensive numerical results demonstrate the computational advantages of our algorithm over the prior ones.
 [264] arXiv:2009.09854 (crosslist from nlin.SI) [pdf, other]

Title: A new class of integrable maps of the plane: Manin transformations with involution curvesAuthors: Peter H van der KampComments: 7 pages, 10 figuresSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Algebraic Geometry (math.AG)
For cubic pencils we define the notion of an involution curve. This is a curve which intersects each curve of the pencil in exactly one non basepoint of the pencil. Involution curves can be used to construct integrable maps of the plane which leave invariant a cubic pencil.
 [265] arXiv:2009.09872 (crosslist from physics.fludyn) [pdf, other]

Title: Droplet impact onto a springsupported plate: analysis and simulationsComments: 28 pages, 6 figuresSubjects: Fluid Dynamics (physics.fludyn); Analysis of PDEs (math.AP)
The highspeed impact of a droplet onto a flexible substrate is a highly nonlinear process of practical importance which poses formidable modelling challenges in the context of fluidstructure interaction. We present two approaches aimed at investigating the canonical system of a droplet impacting onto a rigid plate supported by a spring and a dashpot: matched asymptotic expansions and direct numerical simulation (DNS). In the former, we derive a generalisation of inviscid Wagner theory to approximate the flow behaviour during the early stages of the impact. In the latter, we perform detailed DNS designed to validate the analytical framework, as well as provide insight into later times beyond the reach of the proposed mathematical model. Drawing from both methods, we observe the strong influence that the mass of the plate, resistance of the dashpot and stiffness of the spring have on the motion of the solid, which undergoes forced damped oscillations. Furthermore, we examine how the plate motion affects the dynamics of the droplet, predominantly through altering its internal hydrodynamic pressure distribution. We build on the interplay between these techniques, demonstrating that a hybrid approach leads to improved model and computational development, as well as result interpretation, across multiple length and timescales.
 [266] arXiv:2009.09946 (crosslist from cs.GT) [pdf, other]

Title: Optimal Targeting in SuperModular GamesSubjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA); Systems and Control (eess.SY); Optimization and Control (math.OC)
We study an optimal targeting problem for supermodular games with binary actions and finitely many players. The considered problem consists in the selection of a subset of players of minimum size such that, when the actions of these players are forced to a controlled value while the others are left to repeatedly play a best response action, the system will converge to the greatest Nash equilibrium of the game. Our main contributions consist in showing that the problem is NPcomplete and in proposing an efficient iterative algorithm with provable convergence properties for its solution. We discuss in detail the special case of network coordination games and its relation with the notion of cohesiveness. Finally, we show with simulations the strength of our approach with respect to naive heuristics based on classical network centrality measures.
 [267] arXiv:2009.10009 (crosslist from cs.GT) [pdf, other]

Title: Flexibility can hurt dynamic matching system performanceSubjects: Computer Science and Game Theory (cs.GT); Probability (math.PR)
We study the performance of general dynamic matching models. This model is defined by a connected graph, where nodes represent the class of items and the edges the compatibilities between items. Items of different classes arrive one by one to the system according to a given probability distribution. Upon arrival, an item is matched with a compatible item according to the First Come First Served discipline and leave the system immediately, whereas it is enqueued with other items of the same class, if any. We show that such a model may exhibit a non intuitive behavior: increasing the services ability by adding new edges in the matching graph may lead to a larger average population. This is similar to a Braess paradox. We first consider a quasicomplete graph with four nodes and we provide values of the probability distribution of the arrivals such that when we add an edge the mean number of items is larger. Then, we consider an arbitrary matching graph and we show sufficient conditions for the existence or nonexistence of this paradox. We conclude that the analog to the Braess paradox in matching models is given when specific independent sets are in saturation, i.e., the system is close to the stability condition.
 [268] arXiv:2009.10020 (crosslist from eess.SY) [pdf, other]

Title: Imitation dynamics in population games on community networksComments: 12 pages, 5 figures. Under reviewSubjects: Systems and Control (eess.SY); Computer Science and Game Theory (cs.GT); Dynamical Systems (math.DS); Optimization and Control (math.OC)
We study the asymptotic behavior of deterministic, continuoustime imitation dynamics for population games over networks. The basic assumption of this learning mechanism  encompassing the replicator dynamics  is that players belonging to a single population exchange information through pairwise interactions, whereby they get aware of the actions played by the other players and the corresponding rewards. Using this information, they can revise their current action, imitating the one of the players they interact with. The pattern of interactions regulating the learning process is determined by a community structure. First, the set of equilibrium points of such network imitation dynamics is characterized. Second, for the class of potential games and for undirected and connected community networks, global asymptotic convergence is proved. In particular, our results guarantee convergence to a Nash equilibrium from every fully supported initial population state in the special case when the Nash equilibria are isolated and fully supported. Examples and numerical simulations are offered to validate the theoretical results and counterexamples are discussed for scenarios when the assumptions on the community structure are not verified.
 [269] arXiv:2009.10049 (crosslist from qbio.PE) [pdf, other]

Title: Optimal Drug Regimen and Combined Drug Therapy and its Efficacy in the Treatment of COVID19 : An WithinHost Modeling StudyAuthors: Bishal Chhetri, Vijay M. Bhagat, D. K. K. Vamsi, Ananth V S, Bhanu Prakadh, Swapna Muthuswamy, Pradeep Deshmukh, Carani B SanjeeviComments: 16 pages, 13 figuresSubjects: Populations and Evolution (qbio.PE); Dynamical Systems (math.DS); Optimization and Control (math.OC)
The COVID19 pandemic has resulted in more than 30.35 million infections and 9, 50, 625 deaths in 212 countries over the last few months. Different drug intervention acting at multiple stages of pathogenesis of COVID19 can substantially reduce the infection induced mortality. The current withinhost mathematical modeling studies deals with the optimal drug regimen and the efficacy of combined therapy in treatment of COVID19. The drugs/interventions considered include Arbidol, Remdesivir, Inteferon (INF) and Lopinavir/Ritonavir. It is concluded that these drug interventions when administered individually or in combination reduce the infected cells and viral load. Four scenarios involving administration of single drug intervention, two drug interventions, three drug interventions and all the four have been discussed. In all these scenarios the optimal drug regimen is proposed based on two methods. In the first method these medical interventions are modeled as control interventions and a corresponding objective function and optimal control problem is formulated. In this setting the optimal drug regimen is proposed. Later using the the comparative effectiveness method the optimal drug regimen is proposed based on basic reproduction number and viral load. The average infected cell count and viral load decreased the most when all the four interventions were applied together. On the other hand the average susceptible cell count decreased the best when Arbidol alone was administered. The basic reproduction number and viral count decreased the best when all the four interventions were applied together reinstating the fact obtained earlier in the optimal control setting. These findings may help physicians with decision making in treatment of lifethreatening COVID19 pneumonia.
Replacements for Tue, 22 Sep 20
 [270] arXiv:1301.3556 (replaced) [pdf, ps, other]

Title: Multiintegral representations for associated Legendre and Ferrers functionsComments: 22 pagesJournalref: Symmetry, 2020Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph)
 [271] arXiv:1601.04790 (replaced) [pdf, other]

Title: CORRIGENDUM: The dependence on the monodromy data of the isomonodromic tau functionAuthors: Marco BertolaComments: 13 pages, 6 figures. V1: 14 pages, 5 figures. Minor adjustmentsSubjects: Mathematical Physics (mathph); Exactly Solvable and Integrable Systems (nlin.SI)
 [272] arXiv:1609.00309 (replaced) [pdf, ps, other]

Title: QuasiPeriodic Solutions For Nonlinear KleinGordon EquationsAuthors: WeiMin WangComments: 50 pagesSubjects: Analysis of PDEs (math.AP)
 [273] arXiv:1610.01517 (replaced) [pdf]

Title: A universal equation for calculating the energy gradient function in shear driven flows using the energy gradient theoryAuthors: HuaShu DouComments: 9 pages; 25 referencesSubjects: Fluid Dynamics (physics.fludyn); Analysis of PDEs (math.AP)
 [274] arXiv:1612.03367 (replaced) [pdf, ps, other]

Title: A semistability theorem in padic Hodge theoryAuthors: Mohammad Reza RahmatiSubjects: Number Theory (math.NT)
 [275] arXiv:1705.02810 (replaced) [pdf, other]

Title: The homotopy limit problem and the cellular Picard group of Hermitian $K$theoryAuthors: Drew HeardComments: v4: results made unconditional, assumptions on base scheme weakened. Version to appear in Annals of KtheorySubjects: Algebraic Topology (math.AT); KTheory and Homology (math.KT)
 [276] arXiv:1710.01392 (replaced) [pdf, ps, other]

Title: Scattering theory in a weighted $L^2$ space for a class of the defocusing inhomogeneous nonlinear Schrödinger equationAuthors: Van Duong DinhComments: 26 pages, accepted to Advances in Pure and Applied MathematicsSubjects: Analysis of PDEs (math.AP)
 [277] arXiv:1711.08986 (replaced) [pdf, other]

Title: On the Brownian separable permutonAuthors: Mickaël MaazounComments: 28 pages, final accepted manuscriptJournalref: Combinatorics, Probability and Computing 29(2), 241266 (2020)Subjects: Probability (math.PR); Combinatorics (math.CO)
 [278] arXiv:1802.02244 (replaced) [pdf, ps, other]

Title: De Finetti's theorem: rate of convergence in Kolmogorov distanceSubjects: Probability (math.PR)
 [279] arXiv:1802.09022 (replaced) [pdf, other]

Title: An Accelerated Method for DerivativeFree Smooth Stochastic Convex OptimizationSubjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)
 [280] arXiv:1804.00208 (replaced) [pdf, ps, other]

Title: Binomial Inequalities for Chromatic, Flow, and Tension PolynomialsComments: 8 pagesSubjects: Combinatorics (math.CO)
 [281] arXiv:1804.02394 (replaced) [pdf, other]

Title: An Accelerated Directional Derivative Method for Smooth Stochastic Convex OptimizationComments: arXiv admin note: text overlap with arXiv:1802.09022Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
 [282] arXiv:1804.11090 (replaced) [pdf, other]

Title: BPS operators in $\mathcal{N}=4$ $SO(N)$ super YangMills theory: plethysms, dominoes and wordsComments: 112 pages, 16 figuresJournalref: JHEP 11 (2018) 035Subjects: High Energy Physics  Theory (hepth); Combinatorics (math.CO); Representation Theory (math.RT)
 [283] arXiv:1805.07887 (replaced) [pdf, other]
 [284] arXiv:1805.10186 (replaced) [pdf, ps, other]

Title: Tropical curves, graph complexes, and top weight cohomology of M_gComments: 31 pages. v2: streamlined exposition. Final version, to appear in J. Amer. Math. SocSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Geometric Topology (math.GT)
 [285] arXiv:1806.01555 (replaced) [pdf, ps, other]

Title: Small gaps of circular $β$ensembleComments: to appear in Annals of Probability in the forthcoming issueSubjects: Probability (math.PR)
 [286] arXiv:1806.01697 (replaced) [pdf, ps, other]

Title: On iterated product sets with shifts IIComments: This paper has shortened considerably, as a consequence of an application of a new result of Zhelezov and P\'alv\"olgyi, see arXiv:2003.04648. This version will appear in Algebra and Number Theory. This paper is a sequel to arXiv:1801.07982, although it can be read independently and does not depend on results from the original paperSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
 [287] arXiv:1806.01722 (replaced) [pdf, ps, other]

Title: Compact Hermitian symmetric spaces, coadjoint orbits, and the dynamical stability of the Ricci flowComments: 21 pages, v3 minor rewrites to clarify arguments, to appear in J. Geom. AnalSubjects: Differential Geometry (math.DG)
 [288] arXiv:1806.10686 (replaced) [pdf, ps, other]

Title: The existence of a giant cluster for percolation on large CrumpModeJagers treesAuthors: Gabriel Berzunza OjedaComments: 29 pages, 2 tablesSubjects: Probability (math.PR)
 [289] arXiv:1806.10868 (replaced) [pdf, other]

Title: A TwoStep PreProcessing for Semidefinite ProgrammingJournalref: The 59th Conference on Decision and Control (CDC 2020)Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
 [290] arXiv:1807.00191 (replaced) [pdf, ps, other]

Title: Metric connections with parallel skewsymmetric torsionComments: 42 pages; thoroughly revised version, including a simpler definition of the geometry with parallel curvature determined by a geometry with parallel skewsymmetric torsion, and an appendix discussing 3(\alpha,\delta)Sasakian structures in our frameworkSubjects: Differential Geometry (math.DG)
 [291] arXiv:1807.07476 (replaced) [pdf, other]

Title: Minimizing convex quadratic with variable precision conjugate gradientsSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
 [292] arXiv:1807.11595 (replaced) [pdf, other]

Title: Revisit of renormalization of EinsteinMaxwell theory at oneloopAuthors: I. Y. ParkComments: 46 pages, 7 figures, discussion on gaugechoice and background independence expanded, refs addedSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [293] arXiv:1808.08810 (replaced) [pdf, ps, other]

Title: Randomized Signal Processing with Continuous FramesSubjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)
 [294] arXiv:1809.00723 (replaced) [pdf, other]

Title: Compound Poisson approximation for regularly varying fields with application to sequence alignmentComments: Final version accepted for publication in Bernoulli Journal. Presentation of the main results in the introduction has been rewritten. In the rest of the paper a couple of remarks and clarifications were added. Section 5 is now completely omitted and mentioned only in Remark 3.12Subjects: Probability (math.PR)
 [295] arXiv:1809.01572 (replaced) [pdf, ps, other]

Title: A Safe Computational Framework for Integer Programming applied to Chvátal's ConjectureSubjects: Combinatorics (math.CO); Optimization and Control (math.OC)
 [296] arXiv:1809.08483 (replaced) [pdf, ps, other]

Title: Symplectic Matroids, Circuits, and Signed GraphsAuthors: Zhexiu TuSubjects: Combinatorics (math.CO)
 [297] arXiv:1809.09276 (replaced) [pdf, ps, other]

Title: A BerryEsseen theorem for Pitman's $α$diversitySubjects: Probability (math.PR)
 [298] arXiv:1810.02535 (replaced) [pdf, ps, other]

Title: Performance of TwoHop Cooperative Cognitive Networks with an Energy Harvesting RelaySubjects: Information Theory (cs.IT)
 [299] arXiv:1811.03139 (replaced) [pdf, ps, other]

Title: On finite energy monopoles on $\mathbb{C}\times Σ$Authors: Donghao WangComments: 53 pagesSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
 [300] arXiv:1811.05076 (replaced) [pdf, other]

Title: Learning from Binary Multiway Data: Probabilistic Tensor Decomposition and its Statistical OptimalityComments: 35 pages, 7 figures, 4 tablesJournalref: Journal of Machine Learning Research, 21(154): 138, 2020Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
 [301] arXiv:1811.06583 (replaced) [pdf, ps, other]

Title: AxLindemannWeierstrass with derivatives and the genus 0 Fuchsian groupsComments: Minor changes. Authors' version to appear in Annals of MathematicsSubjects: Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA); Logic (math.LO); Number Theory (math.NT)
 [302] arXiv:1812.09802 (replaced) [pdf, ps, other]

Title: Boundaries of coarse proximity spaces and boundaries of compactificationsComments: 27 pagesSubjects: General Topology (math.GN); Metric Geometry (math.MG)
 [303] arXiv:1901.03458 (replaced) [pdf, other]

Title: Monotonicity of entropy for real quadratic rational mapsAuthors: Khashayar FilomComments: Typos corrected. New references ([FP20], [Gao20], [BMS]) addressing Conjectures 1.3 and 1.4 are added. Lemma 2.6 is slightly rephrased. In {\S}6.1, the ordering of theorems is changed, a new remark (Remark 6.4) on the proof of Theorem 6.3 (quoted from [Uhr03]) is added. The last paragraphs of {\S}{\S}7,8 are changed. A link to a Github repo with relevant codes is included. 52 pages, 16 figuresSubjects: Dynamical Systems (math.DS)
 [304] arXiv:1901.05436 (replaced) [pdf, other]

Title: Generalized disconnection exponentsAuthors: Wei QianComments: 43 pages, 9 figures. Final version, to appear in Probab. Theory Relat. Fields. Contains a clarification about the terminology 'hypergeometric SLE' inappropriately used in other worksSubjects: Probability (math.PR); Mathematical Physics (mathph); Complex Variables (math.CV)
 [305] arXiv:1901.06976 (replaced) [pdf, other]

Title: Admissibility of solution estimators for stochastic optimizationSubjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
 [306] arXiv:1901.07877 (replaced) [pdf, ps, other]

Title: Some results on ArakawaKaneko, KanekoTsumura functions and related functionsSubjects: Number Theory (math.NT)
 [307] arXiv:1901.09233 (replaced) [pdf, other]

Title: Optimal majority threshold in a stochastic environmentAuthors: Vitaly MalyshevComments: 21 pages, 10 figuresSubjects: Optimization and Control (math.OC)
 [308] arXiv:1902.00182 (replaced) [pdf, ps, other]

Title: Limits of weight filtrations and limits of slope filtrations on infinitesimal cohomologies in mixed characteristics IAuthors: Yukiyoshi NakkajimaComments: 459 pagesSubjects: Algebraic Geometry (math.AG)
 [309] arXiv:1902.05101 (replaced) [pdf, other]

Title: Reconstructing Trees from TracesComments: Major revisions in the new version including algorithm descriptions, more details in section 3.1, and several new figuresSubjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Probability (math.PR)
 [310] arXiv:1902.07011 (replaced) [pdf, ps, other]

Title: Takingandmerging games as rewrite gamesJournalref: Discrete Mathematics and Theoretical Computer Science, volume 22:4, 2020, #5Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Computer Science and Game Theory (cs.GT); Combinatorics (math.CO)
 [311] arXiv:1902.10288 (replaced) [pdf, other]

Title: Clustering, factor discovery and optimal transportComments: Improved clarity of presentationSubjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
 [312] arXiv:1902.10490 (replaced) [pdf, ps, other]

Title: A GoodTuring estimator for feature allocation modelsSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
 [313] arXiv:1903.08461 (replaced) [pdf, other]

Title: Eigenfunction concentration via geodesic beamsComments: 61 pages, 2 figures. Improved exposition and includes new explanatory material in the introduction as well as an examples section (1.5) and a full section on comparison with previous work (1.6). Appendices A.1 (Index of notation) and B were also addedSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Spectral Theory (math.SP)
 [314] arXiv:1903.08966 (replaced) [pdf, ps, other]

Title: A unified framework of SAGE and SONC polynomials and its duality theoryComments: Revised version, 27 pagesSubjects: Algebraic Geometry (math.AG); Optimization and Control (math.OC)
 [315] arXiv:1904.00245 (replaced) [pdf, ps, other]

Title: Consistency of Bayesian Inference for Multivariate MaxStable DistributionsSubjects: Statistics Theory (math.ST)
 [316] arXiv:1904.01368 (replaced) [pdf, ps, other]

Title: Consensus and Flocking in a Class of CuckerSmale Systems under Communication FailuresSubjects: Optimization and Control (math.OC)
 [317] arXiv:1904.01457 (replaced) [pdf, ps, other]

Title: Volterra type operators on weighted Dirichlet spacesAuthors: Qingze LinComments: 12 pages, accepted for publication in Chinese Annals of Mathematics, Ser. BSubjects: Functional Analysis (math.FA); Complex Variables (math.CV)
 [318] arXiv:1904.06450 (replaced) [pdf, ps, other]

Title: Regularized BrascampLieb inequalities and an applicationAuthors: Dominique MaldagueSubjects: Classical Analysis and ODEs (math.CA)
 [319] arXiv:1905.03800 (replaced) [pdf, ps, other]

Title: On the continuous dual of the sequence space $bv$Authors: M. El AzhariComments: 4 pagesJournalref: Acta Math. Univ. Comenianae, 89(2)(2020), 295298Subjects: Functional Analysis (math.FA)
 [320] arXiv:1905.03811 (replaced) [pdf, ps, other]

Title: Long rainbow arithmetic progressionsComments: Minor revisions, to appear in Journal of CombinatoricsSubjects: Combinatorics (math.CO)
 [321] arXiv:1905.05157 (replaced) [pdf, ps, other]

Title: Mixtures of MeanPreserving ContractionsComments: 14 pagesSubjects: Theoretical Economics (econ.TH); Probability (math.PR)
 [322] arXiv:1905.05660 (replaced) [pdf, ps, other]

Title: Finitely Convergent Deterministic and Stochastic Iterative Methods for Solving Convex Feasibility ProblemsSubjects: Optimization and Control (math.OC)
 [323] arXiv:1906.00211 (replaced) [pdf, ps, other]

Title: Multireference factor analysis: lowrank covariance estimation under unknown translationsSubjects: Statistics Theory (math.ST); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
 [324] arXiv:1906.00712 (replaced) [pdf, ps, other]

Title: Revisiting Variations in Topological TransitivityAuthors: Anima NagarComments: 20 pages, some examples replacedSubjects: Dynamical Systems (math.DS)
 [325] arXiv:1906.01981 (replaced) [pdf, ps, other]

Title: Understanding Distributional Ambiguity via Nonrobust Chance ConstraintComments: 8 pages, 3 figures, Accepted for publication in ICAIF 2020Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Portfolio Management (qfin.PM); Risk Management (qfin.RM); Machine Learning (stat.ML)
 [326] arXiv:1906.03409 (replaced) [pdf, ps, other]

Title: Twin semigroups and delay equationsSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
 [327] arXiv:1906.08118 (replaced) [pdf, ps, other]

Title: On the coproduct in affine Schubert calculusComments: 25 pagesSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
 [328] arXiv:1906.11685 (replaced) [pdf, ps, other]

Title: Finitedimensional pointed Hopf algebras over finite simple groups of Lie type VI. Suzuki and Ree groupsJournalref: Post print version published in Journal of Pure and Applied Algebra, Volume 225, Issue 4, April 2021, 106568Subjects: Quantum Algebra (math.QA); Group Theory (math.GR)
 [329] arXiv:1907.02673 (replaced) [pdf, other]

Title: Fair Integral FlowsComments: 32 pagesSubjects: Combinatorics (math.CO)
 [330] arXiv:1907.04481 (replaced) [pdf, other]

Title: Tails of Lipschitz Triangular FlowsComments: Published at the 37th International Conference of Machine Learning, (ICML 2020)Subjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Machine Learning (stat.ML)
 [331] arXiv:1907.08875 (replaced) [pdf, ps, other]

Title: $DIII$ clan combinatorics for the orthogonal GrassmannianComments: Second version with revisions (including title change) based on referee reports; 31 pages, 6 figures; comments are welcomeSubjects: Combinatorics (math.CO)
 [332] arXiv:1907.09878 (replaced) [pdf, ps, other]

Title: Representations of $\mathrm{SL}_{n}$ over finite local rings of length twoAuthors: Alexander StasinskiComments: 14 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
 [333] arXiv:1907.09922 (replaced) [pdf, ps, other]

Title: Decay and asymptotics for the 1D KleinGordon equation with variable coefficient cubic nonlinearitiesComments: 27 pages. Minor revisions. To appear in SIAM J. Math. AnalSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [334] arXiv:1907.10964 (replaced) [pdf, ps, other]

Title: Rigid analytic reconstruction of HyodoKato theoryComments: 2nd version, 43 pages. We modified Section 6 to reflect the fact that one needs an additional intermediate object in the comparison between rigid and crystalline HyodoKato maps. We also fixed some typos and confusing notationsSubjects: Number Theory (math.NT)
 [335] arXiv:1907.11449 (replaced) [pdf, other]

Title: A bisector line field approach to interpolation of orientation fieldsSubjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV)
 [336] arXiv:1907.11588 (replaced) [pdf, ps, other]

Title: Local characteristics and tangency of vectorvalued martingalesAuthors: Ivan S. YaroslavtsevComments: Final version, to appear in Probability SurveysSubjects: Probability (math.PR); Functional Analysis (math.FA)
 [337] arXiv:1908.07232 (replaced) [pdf, other]

Title: Sensitivity estimation of conditional value at risk using randomized quasiMonte CarloAuthors: Zhijian HeSubjects: Numerical Analysis (math.NA); Computation (stat.CO)
 [338] arXiv:1908.07725 (replaced) [pdf, other]

Title: Datadriven model reduction, Wiener projections, and the KoopmanMoriZwanzig formalismComments: Substantial revisions; to appear in Journal of Computational PhysicsSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph); Machine Learning (stat.ML)
 [339] arXiv:1908.09900 (replaced) [pdf, other]

Title: Capacity of dynamical storage systemsComments: 27 pages; final versionSubjects: Information Theory (cs.IT)
 [340] arXiv:1909.01192 (replaced) [pdf, other]

Title: Reversal potential and reversal permanent charge with unequal diffusion coefficients via classical PoissonNernstPlanck modelsComments: 29 pages, 5 figuresSubjects: Dynamical Systems (math.DS)
 [341] arXiv:1909.01433 (replaced) [pdf, ps, other]

Title: Simultaneous Cubic and Quadratic Diagonal Equations In 12 Prime VariablesAuthors: Alan TalmageComments: 47 pagesSubjects: Number Theory (math.NT)
 [342] arXiv:1909.03842 (replaced) [pdf, other]

Title: Covariant constructive gravity: A stepbystep guide towards alternative theories of gravityComments: 31 pages, 3 figures, revised version for journal submissionJournalref: Phys. Rev. D 101, 084025 (2020)Subjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [343] arXiv:1909.04762 (replaced) [pdf, ps, other]

Title: A parametric version of LLL and some consequences: parametric shortest and closest vector problemsComments: 20 pages. Accepted for publication in SIAM Journal on Discrete Mathematics. Revised title and opening paragraphs, slightly modified statement of Theorem 1.4, added explanation of some steps in Section 3, and implemented various minor improvements suggested by anonymous refereesSubjects: Combinatorics (math.CO); Optimization and Control (math.OC)
 [344] arXiv:1909.10052 (replaced) [pdf, ps, other]

Title: Bilinear Fourier multipliers and the rate of decay of their derivativesAuthors: Lenka SlavíkováComments: A revised version, to appear in J. Approx. TheorySubjects: Classical Analysis and ODEs (math.CA)
 [345] arXiv:1909.12821 (replaced) [pdf, other]

Title: Central limit theorem for mesoscopic eigenvalue statistics of deformed Wigner matrices and sample covariance matricesComments: Final versionSubjects: Probability (math.PR)
 [346] arXiv:1910.07112 (replaced) [pdf, ps, other]

Title: Hilbert's third problem and a conjecture of GoncharovSubjects: KTheory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
 [347] arXiv:1910.08674 (replaced) [pdf, ps, other]

Title: Longtime behavior for the Cauchy problem of the 3component Manakov systemJournalref: Phys. Scr. 95 (2020) 065226Subjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [348] arXiv:1910.10259 (replaced) [pdf, ps, other]

Title: On the dimension spectra of infinite iterated function systemsSubjects: Dynamical Systems (math.DS)
 [349] arXiv:1910.11404 (replaced) [pdf, ps, other]

Title: Nonlocally modular regular types in classifiable theoriesComments: Submitted version with minor revisionsSubjects: Logic (math.LO)
 [350] arXiv:1910.12297 (replaced) [pdf, ps, other]

Title: A new look at the fractional Poisson problem via the Logarithmic LaplacianSubjects: Analysis of PDEs (math.AP)
 [351] arXiv:1910.12950 (replaced) [pdf, ps, other]

Title: Doublegraded quantum superplaneComments: 20 pages, amslatex, romp.sty, version 3: final journal version, to appear in "Reports on Mathematical Physics"Subjects: Quantum Algebra (math.QA); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Physics (quantph)
 [352] arXiv:1910.14337 (replaced) [pdf, ps, other]

Title: Differentially low uniform permutations from known 4uniform functionsAuthors: Marco CalderiniSubjects: Information Theory (cs.IT)
 [353] arXiv:1911.00661 (replaced) [pdf, ps, other]

Title: Niederreiter cryptosystems using quasicyclic codes that resist quantum Fourier samplingSubjects: Cryptography and Security (cs.CR); Group Theory (math.GR)
 [354] arXiv:1911.08812 (replaced) [pdf, ps, other]

Title: An Algebraic Approach to the Weyl GroupoidAuthors: Tristan BiceSubjects: Operator Algebras (math.OA); Rings and Algebras (math.RA)
 [355] arXiv:1911.11167 (replaced) [pdf, ps, other]

Title: Manifold Gradient Descent Solves MultiChannel Sparse Blind Deconvolution Provably and EfficientlyComments: submittedSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP); Optimization and Control (math.OC)
 [356] arXiv:1911.12420 (replaced) [pdf, ps, other]

Title: Multimoment maps on nearly Kähler sixmanifoldsAuthors: Giovanni RussoComments: 23 pages, 4 figures. Propositions 3.2, 4.2, 5.2 and Examples 6.26.3 added. General exposition improved and some minor mistakes fixed. This is a preprint of an article published in Geometriae Dedicata. The final version is available at this https URLSubjects: Differential Geometry (math.DG)
 [357] arXiv:1912.00983 (replaced) [pdf, other]

Title: Quasifactorization of Quantum Relative Entropy For Subalgebras with Scalar IntersectionAuthors: Nicholas LaRacuenteComments: 18 pages, 1 figure; adds references and corrects numerical valuesSubjects: Quantum Physics (quantph); Information Theory (cs.IT)
 [358] arXiv:1912.01785 (replaced) [pdf, ps, other]

Title: Mean field interaction on random graphs with dynamically changing multicolor edgesComments: 44 pages. Theorem 2.1(a) was updated. Typos correctedSubjects: Probability (math.PR)
 [359] arXiv:1912.02265 (replaced) [pdf, ps, other]

Title: Gaussian graphical models with toric vanishing idealsComments: 21 pages, 7 figuresSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Statistics Theory (math.ST)
 [360] arXiv:1912.05608 (replaced) [pdf, other]

Title: Growth rates of Coxeter groups and Perron numbersComments: 19 pages, 2 figuresSubjects: Group Theory (math.GR); Combinatorics (math.CO); Geometric Topology (math.GT); Number Theory (math.NT)
 [361] arXiv:1912.06116 (replaced) [pdf, other]

Title: Evalues: Calibration, combination, and applicationsComments: 48 pages, 5 figures, 4 algorithms. A new title and improved presentationSubjects: Statistics Theory (math.ST)
 [362] arXiv:1912.08015 (replaced) [pdf, other]

Title: Computing eigenvalues of diagonalizable matrices in a quantum computerAuthors: Changpeng ShaoComments: 29 pages, the paper is reorganized. One of the previous main result is updated. A new quantum algorithm to estimate the complex eigenvalues is addedSubjects: Quantum Physics (quantph); Numerical Analysis (math.NA)
 [363] arXiv:1912.09039 (replaced) [pdf, ps, other]

Title: $L$orthogonality, octahedrality and Daugavet property in Banach spacesComments: 16 pages. This new version of the paper gives a corrected version of Theorem 3.3Subjects: Functional Analysis (math.FA)
 [364] arXiv:1912.09765 (replaced) [pdf, other]

Title: Download Time Analysis for Distributed Storage Codes with Locality and AvailabilitySubjects: Performance (cs.PF); Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)
 [365] arXiv:1912.10725 (replaced) [pdf, ps, other]

Title: A Combinatorial Identity for the pBinomial Coefficient Based on Abelian GroupsAuthors: C P Anil KumarComments: 16 pages, Accepted in September 2020 in MJCNTJournalref: Moscow Journal of Combinatorics and Number Theory, Year 2020, See https://msp.org/soon/coming.php?jpath=moscowSubjects: Combinatorics (math.CO); Number Theory (math.NT)
 [366] arXiv:1912.11247 (replaced) [pdf, ps, other]

Title: SampleMeasurement Tradeoff in Support Recovery under a Subgaussian PriorComments: A preliminary version of this paper appeared at IEEE International Symposium on Information Theory 2019Subjects: Information Theory (cs.IT)
 [367] arXiv:1912.12449 (replaced) [pdf, ps, other]

Title: Geometry of Matroids and Hyperplane ArrangementsAuthors: Jaeho ShinComments: 46 pages, 24 figures; v3: minor improvementsSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Metric Geometry (math.MG)
 [368] arXiv:2001.00665 (replaced) [pdf, ps, other]

Title: Decentralized Langevin DynamicsAuthors: Vyacheslav KungurtsevSubjects: Optimization and Control (math.OC); Information Theory (cs.IT)
 [369] arXiv:2001.05423 (replaced) [pdf, ps, other]

Title: Integrable symplectic maps associated with discrete Kortewegde Vriestype equationsSubjects: Mathematical Physics (mathph); Exactly Solvable and Integrable Systems (nlin.SI)
 [370] arXiv:2001.08826 (replaced) [pdf, other]

Title: An $O(s^r)$Resolution ODE Framework for DiscreteTime Optimization Algorithms and Applications to the Linear Convergence of Minimax ProblemsAuthors: Haihao LuSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [371] arXiv:2001.09357 (replaced) [pdf, ps, other]

Title: The Baire Category of Subsequences and Permutations which preserve Limit PointsSubjects: General Topology (math.GN)
 [372] arXiv:2001.09825 (replaced) [pdf, other]

Title: Abelian quotients of the $Y$filtration on the homology cylinders via the LMO functorComments: 49 pages, 7 figuresSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
 [373] arXiv:2001.09967 (replaced) [src]

Title: Conservation Laws for the Density of Roots of Polynomials under DifferentiationAuthors: Stefan SteinerbergerComments: This paper is withdrawn because there is an error in the last section: the algebraic identities, in the limit n> \infty, all collapse to the first conservation law. One could wonder whether this can be fixed via a suitable renormalization scheme but at present, the argument is incompleteSubjects: Analysis of PDEs (math.AP)
 [374] arXiv:2001.10373 (replaced) [pdf, other]

Title: Stochastic homogenization on randomly perforated domainsAuthors: Martin HeidaSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
 [375] arXiv:2001.10647 (replaced) [pdf, ps, other]

Title: Caustics of weakly Lagrangian distributionsComments: 27 pages, 3 tables, 1 figureSubjects: Analysis of PDEs (math.AP)
 [376] arXiv:2001.10769 (replaced) [pdf, ps, other]

Title: On moduli spaces of polarized Enriques surfacesAuthors: Andreas Leopold KnutsenComments: 31 pages. Correction in statement and proof of Prop. 1.5 and other minor modifications. Final version, accepted for publication in Journal de Math\'ematiques Pures et Appliqu\'eesSubjects: Algebraic Geometry (math.AG)
 [377] arXiv:2001.11855 (replaced) [pdf, other]

Title: Hypercomplex Iterated Function SystemsAuthors: Peter MassopustSubjects: Metric Geometry (math.MG)
 [378] arXiv:2002.00480 (replaced) [pdf, other]

Title: Multilevel Ensemble Kalman Filtering based on a sample average of independent EnKF estimatorsComments: 40 pages, 7 figures. The computer code of the method introduced in the work is written in the Julia programming language, and it can be downloaded from this https URLSubjects: Numerical Analysis (math.NA)
 [379] arXiv:2002.00618 (replaced) [src]

Title: Combinatorics of 3D directed animals on a simple cubic latticeComments: We have realized that "Mikado ordering" valid in 2D fails in 3D. We found source of error and have proposed a new approach for enumeration of 3D heaps of pieces based on a nontrivial relation to the 2D hardcore lattice gas. We would like to withdraw the paper because the replacement could be confusing: we do not make modifications of a former approach, but replace it with a principally new oneSubjects: Statistical Mechanics (condmat.statmech); High Energy Physics  Theory (hepth); Combinatorics (math.CO)
 [380] arXiv:2002.03133 (replaced) [pdf, ps, other]

Title: Tangent prolongation of $\mathcal{C}^r$differentiable loopsSubjects: Group Theory (math.GR)
 [381] arXiv:2002.04789 (replaced) [pdf, ps, other]

Title: Dimension Distortion by Right Coset Projections in the Heisenberg GroupSubjects: Metric Geometry (math.MG)
 [382] arXiv:2002.05576 (replaced) [pdf, other]

Title: Fast Convergence for Langevin Diffusion with Manifold StructureComments: 52 pages, in submission to NeurIPS 2020. This version: various typos fixed, minor reorganizationSubjects: Probability (math.PR); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Machine Learning (stat.ML)
 [383] arXiv:2002.08680 (replaced) [pdf, ps, other]

Title: Vertex Splitting, Coincident Realisations and Global Rigidity of Braced TriangulationsComments: Correction to v1: Theorem 6 in v1 is false and has been replaced by the weaker result Theorem 8 in v2; v2 is in collaboration with James CruickshankSubjects: Combinatorics (math.CO)
 [384] arXiv:2002.08761 (replaced) [pdf, ps, other]

Title: Naive $\mathbb A^1$homotopies on ruled surfacesComments: v1: 16 pages; v2: 14 pages, minor changes, results unchanged, comments are welcomeSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); KTheory and Homology (math.KT)
 [385] arXiv:2002.09726 (replaced) [pdf, other]

Title: Operator inference for nonintrusive model reduction of systems with nonpolynomial nonlinear termsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Dynamical Systems (math.DS); Machine Learning (stat.ML)
 [386] arXiv:2002.11693 (replaced) [pdf, other]

Title: Random volumes in ddimensional polytopesJournalref: Discrete Analysis, 2020:15, 17 ppSubjects: Probability (math.PR); Metric Geometry (math.MG)
 [387] arXiv:2002.12599 (replaced) [pdf, other]

Title: Computing mixed strategies equilibria in presence of switching costs by the solution of nonconvex QP problemsSubjects: Optimization and Control (math.OC)
 [388] arXiv:2003.00037 (replaced) [pdf, other]

Title: Tits type alternative for groups acting on toric affine varietiesComments: 24 pages. The main result strengthened, the proof of Proposition 4.8 written in more detail; some references added; the referee remarks taken into account; the title changedSubjects: Algebraic Geometry (math.AG); Group Theory (math.GR)
 [389] arXiv:2003.00633 (replaced) [pdf, ps, other]

Title: Counting Richelot isogenies between superspecial abelian surfacesComments: 16 pages, the replacement of the paper "Counting superspecial Richelot isogenies and its cryptographic application."Subjects: Algebraic Geometry (math.AG); Cryptography and Security (cs.CR)
 [390] arXiv:2003.01477 (replaced) [pdf, ps, other]

Title: Improvement on the crossing number of crossingcritical graphsComments: Appears in the Proceedings of the 28th International Symposium on Graph Drawing and Network Visualization (GD 2020)Subjects: Combinatorics (math.CO)
 [391] arXiv:2003.02538 (replaced) [pdf, ps, other]

Title: OverheadAware Design of Reconfigurable Intelligent Surfaces in Smart Radio EnvironmentsSubjects: Information Theory (cs.IT)
 [392] arXiv:2003.04245 (replaced) [pdf, ps, other]

Title: The open and clopen Ramsey theorems in the Weihrauch latticeComments: Fixed Lemma 3.8 and improved Thm. 4.28. Several typos fixedSubjects: Logic (math.LO); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
 [393] arXiv:2003.05021 (replaced) [pdf, ps, other]

Title: Perturbative pathintegral of string field and the $A_{\infty }$ structure of the BV master equationComments: 41 pages, appendix addedSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Algebra (math.QA)
 [394] arXiv:2003.05802 (replaced) [pdf, ps, other]

Title: On the Alexander Invariants of Trigonal CurvesAuthors: Melih ÜçerComments: 21 pages, 1 TableSubjects: Algebraic Geometry (math.AG)
 [395] arXiv:2003.07587 (replaced) [pdf, ps, other]

Title: An averaging principle for stochastic flows and convergence of nonsymmetric Dirichlet formsSubjects: Probability (math.PR)
 [396] arXiv:2003.09927 (replaced) [pdf, ps, other]

Title: Abelian Splittings and JSJDecompositions of BestvinaBrady GroupsAuthors: YuChan ChangComments: Rewrite Corollary 2.7 and correct some typos. This is the submitted versionSubjects: Group Theory (math.GR)
 [397] arXiv:2003.10568 (replaced) [pdf, ps, other]

Title: Free idempotent generated semigroups: The word problem and structure via gain graphsAuthors: Igor DolinkaComments: Israel Journal of Mathematics (to appear). 28 pages; some minor text overlap with arXiv:1802.02420 and arXiv:1412.5167 in the preliminary section (because of the closely related topic)Subjects: Group Theory (math.GR)
 [398] arXiv:2003.10743 (replaced) [pdf, ps, other]

Title: Atomicity and well quasiorder for consecutive orderings on words and permutationsSubjects: Combinatorics (math.CO)
 [399] arXiv:2003.12173 (replaced) [pdf, ps, other]

Title: Reductions between short vector problems and simultaneous approximationAuthors: Daniel E. MartinComments: 16 pages, 3 algorithms. Version 2 corrects a mistake in Proposition 2.1 that made it only correct under the sup norm, as well as an erroneous determinant computation that immediately followed Algorithm 3. Version 3 makes minor changes to match the published paperSubjects: Number Theory (math.NT)
 [400] arXiv:2004.01298 (replaced) [pdf, other]

Title: Trajectory Optimization for Nonlinear MultiAgent Systems using Decentralized Learning Model Predictive ControlComments: 8 pages, 2 figures, submitted to Conference on Decision and Control 2020Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
 [401] arXiv:2004.02101 (replaced) [pdf, ps, other]

Title: New error bounds in multivariate normal approximations via exchangeable pairs with applications to Wishart matrices and fourth moment theoremsComments: 35 pages. Major update. Added applications to degenerate Ustatistics and homogeneous sums. Obtained the optimal Wasserstein bound for the Wishart matrix exampleSubjects: Probability (math.PR)
 [402] arXiv:2004.02223 (replaced) [pdf, ps, other]

Title: A generalization of intrinsic geometry and a new framework for the unification of fundamental physicsAuthors: ZhaoHui ManComments: 68 pages, 2 figuresSubjects: General Mathematics (math.GM)
 [403] arXiv:2004.02528 (replaced) [pdf, ps, other]

Title: Heinztype mean curvature estimates in LorentzMinkowski spaceComments: 11 pages, no figure, minor revisionSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
 [404] arXiv:2004.03069 (replaced) [pdf, other]

Title: Nonparametric Estimation of Uncertainty Sets for Robust OptimizationComments: 8 pages, 2 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [405] arXiv:2004.04355 (replaced) [pdf, other]

Title: Sensor placement minimizing the state estimation mean square error: Performance guarantees of greedy solutionsSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
 [406] arXiv:2004.06227 (replaced) [pdf, ps, other]

Title: Monopoles and LandauGinzburg Models IAuthors: Donghao WangComments: 58 pages. v2. We add an appendix explaining the case for higher genus surfacesSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
 [407] arXiv:2004.06644 (replaced) [pdf, ps, other]

Title: Bounds on the Secrecy Outage Probability for Dependent Fading ChannelsComments: Accepted for publication in IEEE Transactions on CommunicationsSubjects: Information Theory (cs.IT)
 [408] arXiv:2004.07241 (replaced) [pdf, ps, other]

Title: Finite Hyperfields of Order $n\leq 5$Authors: Ziqi LiuComments: 22 pagesSubjects: Rings and Algebras (math.RA); Commutative Algebra (math.AC)
 [409] arXiv:2004.13906 (replaced) [pdf, ps, other]

Title: Laurent skew orthogonal polynomials and related symplectic matricesAuthors: Hiroshi MikiComments: 19pagesSubjects: Mathematical Physics (mathph)
 [410] arXiv:2005.00717 (replaced) [pdf, ps, other]

Title: Diagonal symmetrizers for hyperbolic operators with triple characteristicsAuthors: Tatsuo NishitaniSubjects: Analysis of PDEs (math.AP)
 [411] arXiv:2005.02092 (replaced) [pdf, ps, other]

Title: Symmetric locally free resolutions and rationality problemsComments: 33 pages, improved expositionSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
 [412] arXiv:2005.02112 (replaced) [pdf, ps, other]

Title: Remote state estimation problem: towards the datarate limit along the avenue of the second Lyapunov methodSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
 [413] arXiv:2005.04422 (replaced) [pdf, ps, other]

Title: Bulkboundary asymptotic equivalence of two strict deformation quantizationsComments: 27 pages no figures, minor changes, accepted for publication in Letters in Mathematical PhysicsSubjects: Mathematical Physics (mathph); Quantum Physics (quantph)
 [414] arXiv:2005.05694 (replaced) [pdf, ps, other]

Title: HyodoKato theory with syntomic coefficientsAuthors: Kazuki YamadaComments: 2nd version, 72 pages. I fixed a mistake concerning dependence of pseudoconstant syntomic coefficient on the choice of uniformizer. To do this, I slightly modified the definition of pseudoconstant log overconvergent isocrystal (Definition 3.8), newly introduced "twist" of Hodge structure (Definition 9.8), and fixed the statement for the compatibility with base change (Proposition 9.9)Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [415] arXiv:2005.07264 (replaced) [pdf, other]

Title: Fireshape: a shape optimization toolbox for FiredrakeComments: 17 pages, 13 figures, 6 listingsSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
 [416] arXiv:2005.07449 (replaced) [pdf, ps, other]

Title: Odd Connections on Supermanifolds: Existence and relation with Affine ConnectionsComments: 17 pages including one Appendix. Parts of the exposition have been rewritte and further references added. Accepted for publication in the Journal of Physics A: Mathematical and TheoreticalSubjects: Mathematical Physics (mathph); General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Differential Geometry (math.DG)
 [417] arXiv:2005.07463 (replaced) [pdf, ps, other]

Title: Conformal foliations on Lie groups and complexvalued harmonic morphismsSubjects: Differential Geometry (math.DG)
 [418] arXiv:2005.09204 (replaced) [pdf, ps, other]

Title: Characterization of complementing pairs of $({\mathbb Z}_{\geq 0})^n$Subjects: Dynamical Systems (math.DS)
 [419] arXiv:2005.09514 (replaced) [pdf, other]

Title: Fractional Laplacians on ellipsoidsComments: 6 pictures, 27 pagesSubjects: Analysis of PDEs (math.AP)
 [420] arXiv:2005.11726 (replaced) [pdf, ps, other]

Title: Infinite dimensional symmetry groups of the Friedmann equationsComments: 19 pages, no figures, Latex2e source file. Minor changes to match published versionSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [421] arXiv:2005.13640 (replaced) [pdf, other]

Title: Hypergeometric Lfunctions in average polynomial timeComments: 15 pages, 1 figure; v4 several exposition improvements as suggested the refereesSubjects: Number Theory (math.NT)
 [422] arXiv:2006.00188 (replaced) [pdf, other]

Title: Equicontinuous mappings on finite treesComments: 30 pages, 2 figuresSubjects: General Topology (math.GN); Dynamical Systems (math.DS)
 [423] arXiv:2006.01412 (replaced) [pdf, other]

Title: Federated Learning in Vehicular NetworksComments: 4 figures 7 pages. This work has been submitted to the IEEE for publication. Copyright may be transferred without notice, after which this version may no longer be accessibleSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)
 [424] arXiv:2006.01773 (replaced) [pdf, other]

Title: Lipschitz normal embeddings and polar exploration of complex surface germsComments: v2: new example of LNE surface germ added (see Appendix A), minor corrections and modifications made, exposition improved. 37 pages, 5 figuresSubjects: Algebraic Geometry (math.AG)
 [425] arXiv:2006.02070 (replaced) [pdf, other]

Title: Ratioconsistent estimation for long range dependent Toeplitz covariance with application to matrix data whiteningSubjects: Probability (math.PR); Methodology (stat.ME)
 [426] arXiv:2006.03123 (replaced) [pdf, ps, other]

Title: Semigroups for dynamical processes on metric graphsComments: To be published in Phil. Trans. R. Soc. A 378: 20190619Subjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
 [427] arXiv:2006.03225 (replaced) [pdf, other]

Title: A note on the largest induced matching in graphs avoiding a fixed bipartite graphSubjects: Combinatorics (math.CO)
 [428] arXiv:2006.06889 (replaced) [src]

Title: Fast Objective and Duality Gap Convergence for NonconvexStronglyConcave MinMax ProblemsComments: There is critical error on the report of experimental resultsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [429] arXiv:2006.07873 (replaced) [pdf, ps, other]

Title: The ternary Goldbach problem with two PiatetskiShapiro primes and a prime with a missing digitSubjects: Number Theory (math.NT)
 [430] arXiv:2006.08073 (replaced) [pdf, other]

Title: Quiver representations and dimension reduction in dynamical systemsComments: Revised version, accepted in the SIAM Journal on Applied Dynamical Systems; 43 pages, 10 figuresSubjects: Dynamical Systems (math.DS)
 [431] arXiv:2006.09934 (replaced) [pdf, ps, other]

Title: Functional John EllipsoidsComments: 30 pagesSubjects: Functional Analysis (math.FA); Metric Geometry (math.MG)
 [432] arXiv:2006.13367 (replaced) [pdf, ps, other]

Title: The reflection representation in the homology of subword orderAuthors: Sheila SundaramComments: 29 pagesSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
 [433] arXiv:2006.13574 (replaced) [pdf, ps, other]

Title: A braidlike presentation of the integral Steinberg group of type $C_2$Authors: Christian KasselComments: 14 pagesSubjects: Group Theory (math.GR); KTheory and Homology (math.KT)
 [434] arXiv:2006.14533 (replaced) [pdf, other]

Title: On the monotonicity of the critical time in the Constraineddegree percolation modelSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech)
 [435] arXiv:2006.14908 (replaced) [pdf, ps, other]

Title: Crossings between nonhomotopic edgesComments: Appears in the Proceedings of the 28th International Symposium on Graph Drawing and Network Visualization (GD 2020)Subjects: Combinatorics (math.CO)
 [436] arXiv:2006.15144 (replaced) [pdf, other]

Title: Integrability in the multistate LandauZener model with timequadratic commuting operatorsComments: 12 pages, 9 figuresSubjects: Quantum Physics (quantph); Quantum Gases (condmat.quantgas); Mathematical Physics (mathph)
 [437] arXiv:2006.15322 (replaced) [pdf, ps, other]

Title: Around Efimov's differential test for homeomorphismAuthors: Victor AlexandrovComments: 15 pages; several new references are added to version 3Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
 [438] arXiv:2006.15908 (replaced) [pdf, ps, other]

Title: Integrability of the Trapped Ionic SystemAuthors: Georgi GeorgievSubjects: Dynamical Systems (math.DS); Mathematical Physics (mathph)
 [439] arXiv:2006.16781 (replaced) [pdf, ps, other]

Title: On the strong concavity of the dual function of an optimization problemAuthors: Vincent GuiguesComments: arXiv admin note: text overlap with arXiv:1805.11732Subjects: Optimization and Control (math.OC)
 [440] arXiv:2007.03474 (replaced) [pdf, ps, other]

Title: 7dimensional simplyconnected spin manifolds whose integral cohomology rings are isomorphic to that of ${\mathbb{C}P}^2 \times S^3$ admit round fold mapsAuthors: Naoki KitazawaComments: 9 pages, 2 figures, this is arevised version of the previous versions, one of which is submitted to a refereed journal: this is submitted by the author to reduce overlap and may be used when the author needs to rewrite or revise, errors etc. are due to the carelessness of the authorSubjects: Algebraic Topology (math.AT)
 [441] arXiv:2007.03937 (replaced) [pdf, ps, other]

Title: A Nearest Neighbor Characterization of Lebesgue Points in Metric Measure SpacesSubjects: Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
 [442] arXiv:2007.05809 (replaced) [pdf, other]

Title: Partial Pole Placement via Delay Action: A Python Software for Delayed Feedback Stabilizing DesignAuthors: Islam Boussaada, Guilherme Mazanti, SilviuIulian Niculescu, Julien Huynh, Franck Sim, Matthieu ThomasSubjects: Optimization and Control (math.OC)
 [443] arXiv:2007.10522 (replaced) [pdf, other]

Title: New bounds on maximal linkless graphsComments: 13 pages, 8 figuresSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
 [444] arXiv:2007.11313 (replaced) [pdf, other]

Title: Surface transition in the collapsed phase of a selfinteracting walk adsorbed along a hard wallComments: 49 pages, 5 figuresSubjects: Probability (math.PR)
 [445] arXiv:2007.11549 (replaced) [pdf, other]

Title: Variational approach to regularity of optimal transport maps: general cost functionsComments: In this version we fixed an error (the relation between the Lagrangian energy of couplings and the Eulerian energy of their associated densityflux pair, equation (1.25) in arXiv:2007.11549v1) and simplified several arguments. 43 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
 [446] arXiv:2007.11560 (replaced) [pdf, other]

Title: Singular behavior and generic regularity of minmax minimal hypersurfacesComments: Corrected and updatedSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
 [447] arXiv:2007.12055 (replaced) [pdf, other]

Title: Improving distribution and flexible quantization for DCT coefficientsAuthors: Jarek DudaComments: 9 pages, 10 figuresSubjects: Information Theory (cs.IT); Image and Video Processing (eess.IV)
 [448] arXiv:2007.13079 (replaced) [pdf, ps, other]

Title: The finite representation property for representable residuated semigroupsAuthors: Daniel RogozinSubjects: Logic (math.LO)
 [449] arXiv:2007.13844 (replaced) [pdf, ps, other]

Title: Polynomial interpolation of modular forms for Hecke groupsAuthors: Barry BrentComments: Sharpened inequality (14) of conjecture 3 and corrected conjecture 6.4 (ii)Subjects: Number Theory (math.NT)
 [450] arXiv:2007.14911 (replaced) [pdf, ps, other]

Title: Existence Theorems for Regular Spatially Periodic Solutions to the NavierStokes EquationsComments: 48 pagesSubjects: Analysis of PDEs (math.AP)
 [451] arXiv:2007.15184 (replaced) [pdf, ps, other]

Title: Delta shock solution to the generalized onedimensional zeropressure gas dynamics system with linear dampingSubjects: Analysis of PDEs (math.AP)
 [452] arXiv:2007.15350 (replaced) [pdf, other]

Title: A deep learning algorithm for the stable manifolds of the HamiltonJacobi equationsAuthors: Guoyuan ChenComments: Some mathematically rigorous asymptotic analysis is added in Section 3; Section 5 in the previous version is removed; The references and citations are revisedSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
 [453] arXiv:2008.00405 (replaced) [pdf, ps, other]

Title: Birational Nevanlinna constants, beta constants, and diophantine approximation to closed subschemesAuthors: Paul VojtaComments: 35 pages; AmSTeX. v2: Added reference to, and discussion of, a recent paper of Ru and WangSubjects: Number Theory (math.NT); Complex Variables (math.CV)
 [454] arXiv:2008.01757 (replaced) [pdf, ps, other]

Title: Functorial properties of pro$p$Iwahori cohomologyAuthors: Karol KoziolComments: 35 pages. Corrected error from previous versionSubjects: Representation Theory (math.RT); Number Theory (math.NT)
 [455] arXiv:2008.02264 (replaced) [pdf, other]

Title: Randomcluster dynamics on random graphs in tree uniquenessComments: 34 pages, 5 figuresSubjects: Probability (math.PR); Discrete Mathematics (cs.DM); Mathematical Physics (mathph)
 [456] arXiv:2008.02822 (replaced) [pdf, ps, other]

Title: Exceptional Legendre polynomials via isospectral deformation and confluent Darboux transformationsComments: added intro paragraph, citationsSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph)
 [457] arXiv:2008.03575 (replaced) [pdf, ps, other]

Title: Roots of Chebyshev Polynomials: a purely algebraic approachAuthors: Lionel PontonComments: 6 pagesSubjects: Number Theory (math.NT)
 [458] arXiv:2008.05009 (replaced) [pdf, ps, other]

Title: Strictly nef divisors and some remarks on a conjecture of SerranoAuthors: Priyankur ChaudhuriComments: 10 pages, New theorem added and a few corrections to last version. Comments welcomeSubjects: Algebraic Geometry (math.AG)
 [459] arXiv:2008.05862 (replaced) [pdf, other]

Title: On Functional HamiltonJacobi and Schrödinger Equations and Functional Renormalization GroupComments: 33 pages; v2: paragraphs added related to Reviewers comments; prepared for the special issue "Symmetry in Quantum Systems" of the journal SymmetrySubjects: High Energy Physics  Theory (hepth); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
 [460] arXiv:2008.07717 (replaced) [pdf, ps, other]

Title: Age of Information in Random Access Networks: A Spatiotemporal StudySubjects: Information Theory (cs.IT)
 [461] arXiv:2008.08219 (replaced) [pdf, ps, other]

Title: Monte Carlo construction of cubature on Wiener spaceComments: 22 pagesSubjects: Probability (math.PR); Numerical Analysis (math.NA)
 [462] arXiv:2008.08441 (replaced) [pdf, ps, other]

Title: Orientations for DT invariants on quasiprojective CalabiYau 4foldsAuthors: Arkadij BojkoSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
 [463] arXiv:2008.09086 (replaced) [pdf, other]

Title: Scaling and local limits of Baxter permutations and bipolar orientations through coalescentwalk processesComments: New version with local corrections. This is the full version of the article. An extended abstract for the conference AofA 2020 (published in LIPIcs, Vol. 159, AofA 2020) is available at arXiv:2003.12639Subjects: Probability (math.PR); Combinatorics (math.CO)
 [464] arXiv:2008.09897 (replaced) [pdf, other]

Title: On a projectionbased class of uniformity tests on the hypersphereComments: 26 pages, 3 figures, 6 tables. Supplementary material: 26 pages, 2 figures, 4 tablesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [465] arXiv:2008.10923 (replaced) [pdf, other]

Title: Symplectic isotopy of rational cuspidal sextics and septicsComments: 49 pages, many figures. We have upgraded Theorem 4.7. Comments are welcomeSubjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
 [466] arXiv:2008.11379 (replaced) [pdf, ps, other]

Title: Monodromic model for KhovanovRozansky homologyComments: 33 pages, new introductionSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Geometric Topology (math.GT)
 [467] arXiv:2008.12443 (replaced) [pdf, ps, other]

Title: Second Moment Estimator for An AR(1) Model Driven by A Long Memory Gaussian NoiseAuthors: Li TianSubjects: Statistics Theory (math.ST)
 [468] arXiv:2008.12622 (replaced) [pdf, other]

Title: ThroughtheWall Nonlinear SAR ImagingSubjects: Numerical Analysis (math.NA)
 [469] arXiv:2009.00598 (replaced) [pdf, other]

Title: On the minimum bisection of random $3$regular graphsComments: 48 pages, 20 figuresSubjects: Probability (math.PR); Combinatorics (math.CO)
 [470] arXiv:2009.01345 (replaced) [pdf, ps, other]

Title: A magic determinant formula for symmetric polynomials of eigenvaluesAuthors: Jules JacobsSubjects: Combinatorics (math.CO)
 [471] arXiv:2009.01703 (replaced) [pdf, ps, other]

Title: Fourier transform and expanding maps on Cantor setsComments: This article draws heavily some key arguments from our earlier work arXiv:1810.01378 on infinite branches, which will be revised later for just the Gauss map case. v2: expanded introduction and added citationsSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
 [472] arXiv:2009.01831 (replaced) [pdf, ps, other]

Title: Good reduction and cyclic coversComments: 31 pages. Minor improvements and updated bibliography. Comments still welcome!Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [473] arXiv:2009.01983 (replaced) [pdf, other]

Title: Density estimation and modeling on symmetric spacesSubjects: Methodology (stat.ME); Differential Geometry (math.DG); Statistics Theory (math.ST)
 [474] arXiv:2009.02028 (replaced) [pdf, ps, other]

Title: Variational methods for breather solutions of Nonlinear Wave EquationsSubjects: Analysis of PDEs (math.AP)
 [475] arXiv:2009.02352 (replaced) [pdf, ps, other]

Title: Grassmannianparameterized solutions to directsum polygon and simplex equationsComments: 24 pages, 5 tikz figures. v3: reduction to lower simplex equations added, also minor improvementsSubjects: Mathematical Physics (mathph); Quantum Algebra (math.QA)
 [476] arXiv:2009.02484 (replaced) [pdf, ps, other]

Title: Multilevel Picard approximations for highdimensional semilinear secondorder PDEs with Lipschitz nonlinearitiesSubjects: Numerical Analysis (math.NA); Probability (math.PR)
 [477] arXiv:2009.02540 (replaced) [pdf, other]

Title: A Survey of Deep Learning Architectures for Intelligent Reflecting SurfacesComments: 7 pages and 5 figures. This work has been submitted to the IEEE for publication. Copyright may be transferred without notice, after which this version may no longer be accessibleSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)
 [478] arXiv:2009.02638 (replaced) [pdf, ps, other]

Title: Exact SDP relaxations of quadratically constrained quadratic programs with forest structuresSubjects: Optimization and Control (math.OC)
 [479] arXiv:2009.03370 (replaced) [pdf, ps, other]

Title: On tensor fractions and tensor products in the category of stereotype spacesAuthors: S.S.AkbarovComments: Engish and Russian versionsSubjects: Functional Analysis (math.FA)
 [480] arXiv:2009.03372 (replaced) [pdf, ps, other]

Title: Holomorphic duality for countable discrete groupsAuthors: S.S.AkbarovComments: English and Russian versionsSubjects: Functional Analysis (math.FA)
 [481] arXiv:2009.03552 (replaced) [pdf, ps, other]
 [482] arXiv:2009.03731 (replaced) [pdf, other]

Title: Combinatorial Ricci flows and the hyperbolization of a class of compact 3manifoldsComments: 31 pages. This is a revision of the paperSubjects: Differential Geometry (math.DG); Algebraic Topology (math.AT); Geometric Topology (math.GT); Metric Geometry (math.MG)
 [483] arXiv:2009.04032 (replaced) [pdf, other]

Title: Matrix Rearrangement Inequalities RevisitedAuthors: Victoria M ChayesSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
 [484] arXiv:2009.04906 (replaced) [pdf, other]

Title: Linearly Convergent GradientFree Methods for Minimization of Symmetric Parabolic ApproximationSubjects: Optimization and Control (math.OC)
 [485] arXiv:2009.05178 (replaced) [pdf, ps, other]

Title: Filled Julia and Mandelbrot Sets for Dynamics over the Normed Real Nonassociative AlgebrasSubjects: Dynamical Systems (math.DS)
 [486] arXiv:2009.05767 (replaced) [pdf, ps, other]

Title: Comments on the paper "Universal bounds and monotonicity properties of ratios of Hermite and Parabolic Cylinder functions"Authors: Javier SeguraSubjects: Classical Analysis and ODEs (math.CA)
 [487] arXiv:2009.05787 (replaced) [pdf, other]

Title: Incompressible topological solitonsComments: reference addedSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [488] arXiv:2009.05820 (replaced) [pdf, ps, other]

Title: Empty axisparallel boxesComments: 11 pagesSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
 [489] arXiv:2009.06144 (replaced) [pdf, ps, other]

Title: Orbifold GromovWitten theory of weighted blowupsComments: 44pages; some typos fixed; comments are welcome; accepted for publication in SCIENCE CHINA MathematicsSubjects: Symplectic Geometry (math.SG)
 [490] arXiv:2009.06297 (replaced) [pdf, ps, other]

Title: Kähler manifolds with negative $k$Ricci CurvatureComments: 17 pages, Improvement of earlier versionSubjects: Differential Geometry (math.DG)
 [491] arXiv:2009.06735 (replaced) [pdf, other]

Title: Godel DiffeomorphismsAuthors: Matthew ForemanSubjects: Dynamical Systems (math.DS); Logic (math.LO)
 [492] arXiv:2009.06853 (replaced) [pdf, ps, other]

Title: A class of super HeisenbergVirasoro algebrasSubjects: Representation Theory (math.RT)
 [493] arXiv:2009.06951 (replaced) [pdf, ps, other]

Title: The sharp LiYau equality on Shrinking Ricci Solitons with applicationsAuthors: Jason LedwidgeComments: 17 pages. The first version claimed the classification was true in all dimensions. More information and results on the conjugate heat kernel given. Removal of asymptotic cone section from the previous versionSubjects: Differential Geometry (math.DG)
 [494] arXiv:2009.06979 (replaced) [pdf, other]

Title: Influence of Sodium Inward Current on Dynamical Behaviour of Modified MorrisLecar ModelSubjects: Adaptation and SelfOrganizing Systems (nlin.AO); Dynamical Systems (math.DS)
 [495] arXiv:2009.07113 (replaced) [pdf, other]

Title: On a Generalisation of the MarcenkoPastur ProblemComments: 5 pages, 3 figures, reference to the "Tetilla" law addedSubjects: Disordered Systems and Neural Networks (condmat.disnn); Mathematical Physics (mathph); Probability (math.PR)
 [496] arXiv:2009.07252 (replaced) [pdf, ps, other]

Title: Minkowski summands of cubesComments: 14 pages, 6 figures. Minor revisions throughout based on feedback. Revised and expanded introduction. Comments still welcome!Subjects: Combinatorics (math.CO)
 [497] arXiv:2009.07350 (replaced) [pdf, ps, other]

Title: Grigid local systems are integralComments: 21 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [498] arXiv:2009.07677 (replaced) [pdf, ps, other]

Title: $Δ$weakly mixing subsets along a collection of sequences of integersSubjects: Dynamical Systems (math.DS)
 [499] arXiv:2009.08111 (replaced) [pdf, other]

Title: The relationship between dynamic programming and active inference: the discrete, finitehorizon caseComments: 35 pages, 3 figuresSubjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Neurons and Cognition (qbio.NC)
 [500] arXiv:2009.08164 (replaced) [pdf, ps, other]

Title: A note on the ErdősSzekeres theorem in high dimensionAuthors: Lyuben LichevComments: 6 pages, 1 figure, comments are welcome. In the second version, the upper bound on M_2(n) in the second remark after Theorem 2.1 was correctedSubjects: Combinatorics (math.CO)
 [501] arXiv:2009.08433 (replaced) [pdf, other]

Title: On the global controllability of scalar conservation laws with boundary and source controlsComments: 22 pages, 5 figuresSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
 [502] arXiv:2009.08547 (replaced) [pdf, ps, other]

Title: Practical Dynamic SCFlip Polar Decoders: Algorithm and ImplementationComments: Accepted for publication in IEEE TSPJournalref: IEEE Transactions on Signal Processing, 2020Subjects: Information Theory (cs.IT)
 [503] arXiv:2009.08582 (replaced) [pdf, other]

Title: The Capacity of Multiuser Private Information Retrieval for Computationally Limited DatabasesComments: $\copyright$ 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other worksSubjects: Information Theory (cs.IT); Information Retrieval (cs.IR)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2009, contact, help (Access key information)