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

Mathematics

New submissions

[ total of 503 entries: 1-503 ]
[ 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 Ultra-Reliable and Low-Latency Wireless Control
Comments: 16 pages, 14 figures
Subjects: Information Theory (cs.IT)

This paper introduces a wireless communication protocol for industrial control systems that uses channel quality awareness to dynamically create network-device 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 single-hop transmission with transmission rate adapted to their instantaneous channel conditions. Meanwhile, the remainder of time-frequency resources is used to serve the nodes with weak channel condition using a two-hop transmission with cooperative communication among all the nodes to meet the target reliability in their communication with the controller. We formulate the achievable multi-user and multi-antenna diversity gain in the low-latency 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 network-device cooperation (ANDCoop), since it is able to adaptively allocate cooperation resources while enjoying the multi-user 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 $ν$-continuity
Subjects: 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 Torsion
Authors: Alan Zhao
Comments: 13 pages, 0 figures, under review for publication
Subjects: 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 caveats
Subjects: Probability (math.PR); Mathematical Finance (q-fin.MF)

We investigate two different constructions of robust Orlicz spaces as a generalisation of robust $L^p$-spaces. Our first construction is top-down and considers the maximal domain of a worst-case Luxemburg norm. From an applied persepective, this approach can be justified by a uniform-boundedness-type result. In typical situations, the worst-case 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 worst-case 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 lattice-isomorphic 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 graphs
Comments: 19 pages, 2 figures
Subjects: 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 Self-Consistent Field Iteration for Solving Eigenvector-dependent Nonlinear Eigenvalue Problems
Subjects: Numerical Analysis (math.NA)

We present a comprehensive convergence analysis for Self-Consistent Field (SCF) iteration to solve a class of nonlinear eigenvalue problems with eigenvector-dependency (NEPv). Using a tangent-angle 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 level-shifted SCF. The effectiveness of the convergence rate estimates is demonstrated numerically for NEPv arising from solving the Kohn-Sham equation in electronic structure calculation and the Gross-Pitaevskii equation in the modeling of Bose-Einstein condensation.

[7]  arXiv:2009.09033 [pdf, ps, other]
Title: Cones of traces arising from AF C*-algebras
Subjects: Operator Algebras (math.OA)

We characterize the topological non-cancellative cones that are expressible as projective limits of finite powers of $[0,\infty]$. These are also the cones of lower semicontinuous extended-valued 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 non-cancellative 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 non-cancellative setting.

[8]  arXiv:2009.09037 [pdf, ps, other]
Title: Maximum density of vertex-induced perfect cycles and paths in the hypercube
Comments: 11 pages, 0 figures
Subjects: 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" 8-cycle 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: F-stable secondary representations and deformation of F-injectivity
Comments: 9 pages. Comments are welcome
Subjects: Commutative Algebra (math.AC)

We prove that deformation of F-injectivity 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, F-injectivity deforms when $(R,\mathfrak{m})$ is sequentially Cohen-Macaulay (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 Berezin-Toeplitz operators
Authors: T. Barron, A. Tomberg
Comments: 21 pages
Subjects: Differential Geometry (math.DG)

A hyperk\"ahler manifold $M$ has a family of induced complex structures indexed by a two-dimensional 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 Berezin-Toeplitz 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 damping
Subjects: Analysis of PDEs (math.AP)

In this paper, we propose a time-dependent 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 groups
Authors: Patrick Daniels
Comments: 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 G-crystal (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 Rapoport-Zink 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 groups
Subjects: 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$ simply--connected 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 path--component 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 non-trivial 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 Navier--Stokes-like problems
Subjects: 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 no-slip 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 so-called dynamic slip phenomenon occurs. We develop a mathematical analysis of Navier-Stokes-like 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 Context-Free Grammars
Subjects: 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 context-free 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 derivative-free expensive function minimization and applications
Subjects: 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 high-precision 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 derivative-free 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 K-theory of left pointed derivators
Authors: Ian Coley
Comments: 46 pages, many large diagrams; comments welcome, especially in response to Remarks 3.7, 5.18
Subjects: K-Theory and Homology (math.KT); Category Theory (math.CT)

We build on work of Muro-Raptis in [Ann. K-Theory 2 (2017), no. 2, 303-340] and Cisinski-Neeman in [Adv. Math. 217 (2008), no. 4, 1381-1475] to prove that the additivity of derivator K-theory 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), 457-464]. As a corollary, we prove that derivator K-theory is an infinite loop space. Finally, we speculate on the role of derivator K-theory as a trace from the algebraic K-theory of a stable $\infty$-category \`a la Blumberg-Gepner-Tabuada in [Geom. Topol. 17 (2013), no. 2, 733-838].

[18]  arXiv:2009.09095 [pdf, ps, other]
Title: The embeddings of the Heisenberg group into the Cremona group
Authors: Julie Déserti
Subjects: 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 Means
Subjects: 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 decision-theoretic perspective, and in particular, the extent to which the unbiased estimator of a Frechet mean can be dominated by a generalization of the James-Stein shrinkage estimator. It is shown that if the metric space satisfies a non-positive curvature condition, then this generalized James-Stein 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 James-Stein estimator to non-normal distributions on Euclidean spaces. Simulation studies on metric trees and symmetric-positive-definite matrices are presented, numerically demonstrating the efficacy of this generalized James-Stein estimator.

[20]  arXiv:2009.09105 [pdf, ps, other]
Title: Well-poised embeddings of affine arrangement varieties
Comments: 17 pages
Subjects: Algebraic Geometry (math.AG)

We show that any affine $T$-variety $X$ of general arrangement type has a well-poised embedding, generalizing results of Ilten and the 2nd author on rational $T$-varieties of complexity $1$. We use this result to explicitly compute many Newton-Okounkov 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 assumptions
Subjects: 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^{n-1},$ where $S^{n-1}$ 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{(n-2)n}{(n-1)^2},$ or continuous and in the Sobolev space $ H^{s} $ for some $s>(n-1)/2,$ then the Kakeya set has positive Lebesgue measure.

[22]  arXiv:2009.09113 [pdf, ps, other]
Title: Borel Combinatorics of Locally Finite Graphs
Authors: Oleg Pikhurko
Comments: 51 pages; Comments and suggestions are very welcome!
Subjects: Combinatorics (math.CO); Logic (math.LO)

We provide a gentle introduction, aimed at non-experts, 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 Involution
Authors: Daniel Carmody
Comments: 33 pages
Subjects: K-Theory 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 Schlichting-Tripathi \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 domain
Subjects: 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 I-Lagrangian 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 translations
Subjects: 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: Resource-Aware Discretization of Accelerated Optimization Flows
Subjects: 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 resource-aware control in developing efficient closed-loop feedback implementations on digital systems, we view the last sampled state of the system as the resource to be aware of. The resulting variable-stepsize discrete-time algorithms retain by design the desired decrease of the Lyapunov certificate of their continuous-time counterparts. Our algorithm design employs various concepts and techniques from resource-aware control that, in the present context, have interesting parallelisms with the discrete-time implementation of optimization algorithms. These include derivative- and performance-based 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 high-order holds using more accurate integrators of the original dynamics. Throughout the paper, we illustrate our approach on a newly introduced continuous-time dynamics termed heavy-ball 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 Domination
Subjects: 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 Multi-User Massive MIMO Wireless Networks
Comments: Accepted for publication in IEEE Transactions on Communications
Subjects: Information Theory (cs.IT)

Physical-layer 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 small-scale antennas. However, the fifth generation (5G) wireless communications employ massive multiple-input multiple-output (MIMO) to support multiple users simultaneously, bringing serious overhead of reciprocal channel acquisition. This paper presents a multi-user 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 closed-form 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 multi-user secret key generation with non-overlapping beams between UTs. Simulation results demonstrate the near optimal performance of the proposed precoding and receiving matrices design and the advantages of the non-overlapping beam allocation.

[29]  arXiv:2009.09146 [pdf, other]
Title: Hierarchical Coding for Cloud Storage: Topology-Adaptivity, Scalability, and Flexibility
Comments: 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 ever-growing 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 Power-Mixture Type
Comments: 28 pages
Subjects: Probability (math.PR)

We study power-mixture type functional equations in terms of Laplace-Stieltjes 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 compound-exponential and compound-Poisson 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 Extended-Source Internal DLA in the Plane
Authors: David Darrow
Comments: 26 pages, 8 figures
Subjects: 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 multiple-point 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 $1-e^{-1/\delta^{2/5}}$.

[32]  arXiv:2009.09160 [pdf, ps, other]
Title: Poincaré duality for rigid analytic Hyodo--Kato theory
Comments: 36 pages
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

The purpose of this paper is to establish Hyodo--Kato 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) Hyodo--Kato cohomology and the Hyodo--Kato 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 sets
Authors: Yusuke Sawada
Comments: 20 pages, 3 figures
Subjects: Mathematical Physics (math-ph)

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 Equations
Comments: 30
Subjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)

In the current paper, we derive the comparison results for the homogeneous and non-homogeneous 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 non-homogeneous $\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, II
Comments: The is a sequel to arXiv:2001.06207. 12pt, Page 40
Subjects: 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 star-shaped 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 Non-Linear Observations
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)

Recent advances in quantized compressed sensing and high-dimensional estimation have shown that signal recovery is even feasible under strong non-linear 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 non-linear observations is still missing. This paper develops a unified approach to this problem under the assumption i.i.d. sub-Gaussian measurement vectors. Our main result shows that a simple least-squares 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 non-linearity. Based on empirical process theory, a key technical novelty is an approximative increment condition that can be implemented for all common types of non-linear models. This flexibility allows us to apply our approach to a variety of problems in quantized compressed sensing and high-dimensional 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 plug-and-play manner, thereby implying near-optimal error bounds.

[37]  arXiv:2009.09190 [pdf, other]
Title: Schedule Sequence Design for Broadcast in Multi-channel Ad Hoc Networks
Subjects: Information Theory (cs.IT)

We consider a single-hop 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 pre-assign 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 pre-determined 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 Genzmer
Subjects: 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 rings
Comments: 9 pages + references
Subjects: Category Theory (math.CT); Rings and Algebras (math.RA)

We prove that for a large class of well-behaved 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 extensions
Authors: Alfred Schreiber
Comments: 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), 2462-2484. Preprint version: arXiv:1311.5067
Subjects: 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 self-orthogonal 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)^{n-k}B_{-k,-n}$. Moreover, of some numerical statements (such as Stirling inversion, Schl\"omilch-Schl\"afli formulas) generalized polynomial versions are established, and a number of well-known theorems (Jabotinsky, Mullin-Rota, Melzak, Comtet) are given new proofs.

[41]  arXiv:2009.09202 [pdf, other]
Title: Italian Domination and Perfect Italian Domination on Sierpinski Graphs
Subjects: 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 PID-function 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 Ahn
Comments: 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: Frequency-explicit a posteriori error estimates for finite element discretizations of Maxwell's equations
Subjects: Numerical Analysis (math.NA)

We consider residual-based a posteriori error estimators for Galerkin-type discretizations of time-harmonic 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 frequency-explicit. 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 first-order (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 systems
Authors: San Vu Ngoc
Comments: 11 pages. This text reports on a talk given by the author at the QMath14 conference in Aarhus. To appear in Reviews in Mathematical Physics
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); 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 expansion
Authors: Sabine Jansen
Comments: 25 pages
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); 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 grand-canonical Gibbs measures with pairwise interactions. The proof is based on recurrence relations for graph weights related to the Kirkwood-Salsburg integral equation for correlation functions. The proof does not use an inversion of the density-activity 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 complex-valued random vectors
Subjects: Statistics Theory (math.ST)

We propose tests for the null hypothesis that the law of a complex-valued 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 Monte-Carlo 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 north-south dynamics
Comments: 41 pages, 8 figures
Subjects: 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 self-map 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 "north-south" 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 equation
Comments: 15 pages
Subjects: 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 Selberg-Delange class
Authors: Marco Aymone
Comments: 9 pages
Subjects: 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 measure-preserving 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 sharing
Subjects: 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), 269-280], 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), 272-279]. This research work explores certain condition under which the polynomial $ P(f) $ can be reduced to a non-zero 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 Hochschild-Mitchell (co)homology
Comments: 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.02223
Subjects: K-Theory 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 Hochschild-Mitchell (co)homology of $\mathcal C$ are isomorphic to the trivial component of the Hochschild-Mitchell (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 Hochschild-Mitchell (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 Thuc
Subjects: 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}:\left|z_{1}\right|^{k}<\left|z_{2}\right|<1\right\},\;k\in\mathbb{Z}^{+}.$$

[53]  arXiv:2009.09256 [pdf, other]
Title: Beyond Bowen's Specification Property
Comments: Survey paper. 72 pages. Comments welcome
Subjects: 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 1-dimensional center.

[54]  arXiv:2009.09260 [pdf, ps, other]
Title: SRB and equilibrium measures via dimension theory
Comments: 44 pages
Subjects: Dynamical Systems (math.DS)

It is well-known 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 Pesin-Pitskel' description of topological pressure as a dimensional characteristic using Bowen balls. These leaf measures were constructed for discrete-time systems by the author, Ya. Pesin, and A. Zelerowicz. In the continuous-time setting here, the description of the scaling properties is more complete, and we use a similar procedure with two-sided 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 category
Authors: Valery Lunts
Comments: Comments are welcome
Subjects: Algebraic Geometry (math.AG)

For mirror symmetric families of (weak) Calabi-Yau 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 Calabi-Yau hypersurfaces in toric Fano varieties.

[56]  arXiv:2009.09264 [pdf, ps, other]
Title: Distributionally Robust Variance Minimization: Tight Variance Bounds over $f$-Divergence Neighborhoods
Authors: Jeremiah Birrell
Comments: 19 pages
Subjects: 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 model-form 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 variance-penalized DRO problem over an $f$-divergence neighborhood can be reformulated as a finite-dimensional 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 function
Comments: 25 pages
Subjects: 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)modules
Authors: Quan Chen
Comments: 81 pages, many figures
Subjects: Operator Algebras (math.OA); Category Theory (math.CT); Quantum Algebra (math.QA)

In this article, we construct a 2-shaded 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 2-shaded rigid ${\rm C}^*$ multitensor category.
As an example, we compute the modules and bimodules for Temperley-Lieb-Jones standard $\lambda$-lattices in terms of traceless Markov towers and lattices. Translating into the unitary 2-category of bigraded Hilbert spaces, we recover DeCommer-Yamshita'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 square-partite 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 Fields
Authors: Daniel Keliher
Comments: 19 pages
Subjects: 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 graphs
Subjects: 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 Learning
Comments: To be published in Proceedings of IEEE Globecom 2020
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)

This paper formulates the polar-code construction problem for the successive-cancellation list (SCL) decoder as a maze-traversing game, which can be solved by reinforcement learning techniques. The proposed method provides a novel technique for polar-code construction that no longer depends on sorting and selecting bit-channels by reliability. Instead, this technique decides whether the input bits should be frozen in a purely sequential manner. The equivalence of optimizing the polar-code 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 polar-code constructions that are designed for the successive-cancellation 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 game-based construction method finds code constructions that have lower frame-error 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 estimates
Comments: 12 pages
Subjects: 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 Hardy-Littlewood 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 Jiang
Subjects: 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: Frattini-injectivity and Maximal pro-$p$ Galois groups
Comments: 33 pages
Subjects: Group Theory (math.GR)

We call a pro-$p$ group $G$ Frattini-injective if distinct finitely generated subgroups of $G$ have distinct Frattinis. This paper is an initial effort toward a systematic study of Frattini-injective pro-$p$ groups (and several other related concepts). Most notably, we classify the $p$-adic analytic and the solvable Frattini-injective pro-$p$ groups, and we describe the lattice of normal abelian subgroups of a Frattini-injective 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 Frattini-injective. In addition, we show that many substantial results on maximal pro-$p$ Galois groups are in fact consequences of Frattini-injectivity. For instance, a $p$-adic analytic or solvable pro-$p$ group is Frattini-injective 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 Frattini-injective 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)$-modules
Subjects: 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 semi-Fredholm 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 Non-Linear Predictors
Comments: 34 pages
Subjects: 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 non-linear 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 heavy-tailed 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 Images
Comments: 13 pages, 8 figures
Subjects: 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 Symbol
Comments: 20 pages, comments welcome
Subjects: 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 Corners
Authors: Mark Sellke
Subjects: Probability (math.PR)

We show that with probability exponentially close to $1$, all near-maximizers of any mean-field 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 tournaments
Subjects: 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 Sunflowers
Comments: 3 pages; based on 2020 REU
Subjects: 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 k-element 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 k-element 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 KdV-BBM model
Comments: 14 pages
Subjects: Analysis of PDEs (math.AP)

We consider the initial value problem (IVP) associated to a fifth order KdV-BBM type model that describes the propagation of the unidirectional water waves. We prove the local well-posedness 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 spacetime
Authors: Karen Yagdjian
Subjects: Mathematical Physics (math-ph)

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 Friedmann-Lema\^itre-Robertson-Walker models of cosmology.

[74]  arXiv:2009.09332 [pdf, ps, other]
Title: Parameter estimation for Vasicek model driven by a general Gaussian noise
Authors: Xingzhi Pei
Subjects: 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 time-domain PML problem for Maxwell's equations in a waveguide
Subjects: Analysis of PDEs (math.AP)

This paper is concerned with the mathematical analysis of the time-domain 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 well-posedness 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 c-boomerang connectivity table for the Gold function in even characteristic
Comments: 26 pages
Subjects: Number Theory (math.NT)

Here, we give a complete description of the c-Boomerang 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 links
Authors: Joshua Wang
Comments: 9 pages
Subjects: Geometric Topology (math.GT)

Inspired by work of Lipshitz-Sarkar, we show that the module structure on link Floer homology detects split links. Using results of Ni, Alishahi-Lipshitz, and Lipshitz-Sarkar, we establish an analogous detection result for sutured Floer homology.

[78]  arXiv:2009.09349 [pdf, other]
Title: A look at generalized perfect shuffles
Comments: 15 pages, 5 figures. Comments welcome
Subjects: 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 so-called 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 m-shuffle or out m-shuffle (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^y-shuffles, 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 seven-strand braid group is CAT(0)
Authors: Seong Gu Jeong
Comments: 14 pages, 0 figures
Subjects: Group Theory (math.GR); Combinatorics (math.CO); Geometric Topology (math.GT)

We prove that the 7-strand 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 Cahn-Hilliard-Navier-Stokes model of Two-Phase Incompressible Flows
Authors: Xiaoli Li, Jie Shen
Subjects: Numerical Analysis (math.NA)

We construct first- and second-order time discretization schemes for the Cahn-Hilliard-Navier-Stokes system based on the multiple scalar auxiliary variables approach (MSAV) approach for gradient systems and (rotational) pressure-correction for Navier-Stokes 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 first-order 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 algebras
Comments: 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 Orbits
Authors: Xiping Zhang
Subjects: 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, skew-symmetric 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 bounds
Comments: 9 pages, 6 figures
Subjects: 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 sub-class of the Zames-Falb 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 non-zero steady state exogenous signals.

[84]  arXiv:2009.09368 [pdf, ps, other]
Title: Twisted Rota-Baxter operators, Reynolds operators on Lie algebras and NS-Lie algebras
Authors: Apurba Das
Comments: 23 pages, comments are welcome
Subjects: Rings and Algebras (math.RA)

In this paper, we introduce twisted Rota-Baxter operators on Lie algebras as an operator analogue of twisted r-matrices. We construct a suitable $L_\infty$-algebra whose Maurer-Cartan elements are given by twisted Rota-Baxter operators. This allows us to define cohomology of a twisted Rota-Baxter operator. This cohomology can be seen as the Chevalley-Eilenberg cohomology of a certain Lie algebra with coefficients in a suitable representation. We study deformations of twisted Rota-Baxter operators from cohomological points of view. Some applications are given to Reynolds operators and twisted r-matrices. Next, we introduce a new algebraic structure, called NS-Lie algebras, that are related to twisted Rota-Baxter operators in the same way pre-Lie algebras are related to Rota-Baxter 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 case
Comments: 22 pages
Subjects: 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 Clouds
Comments: 26 pages, 9 figures
Subjects: 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 3-space, 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 operators
Subjects: Analysis of PDEs (math.AP); Computational Physics (physics.comp-ph)

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 theory
Comments: 36 pages. Questions and commentary can be made at this http URL
Subjects: 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 T---all graphs, all groups, all fields, or what have you---considered 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$-hyper-fixed-point 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 non-empty cross-intersecting families
Comments: 12 pages
Subjects: 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}$ cross-intersecting 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 non-empty cross-intersecting 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{n-k}{k}+t-1,\ t\binom{n-1}{k-1}\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 decomposition
Subjects: 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: Lucas-Euler relations using balancing and Lucas-balancing polynomials
Comments: 11 pages
Subjects: Number Theory (math.NT)

We establish some new combinatorial identities involving Euler polynomials and balancing (Lucas-balancing) 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 Fibonacci-Bernoulli 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 problems
Subjects: 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 non-periodic 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 dormancy
Comments: 35 pages
Subjects: Probability (math.PR); Populations and Evolution (q-bio.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 Mittag-Leffler stability of fractional impulsive differential system
Subjects: Optimization and Control (math.OC)

This paper establishes sufficient conditions for Generalized Mittag-Leffler stability of a class of impulsive fractional differential system with Hilfer order. The analysis extends through both, instantaneous and non-instantaneous 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 blow-up of threefolds fibered over a surface
Authors: Rakesh Pawar
Comments: 19 pages
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); K-Theory 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 Blow-up of a variety admitting a $\mathbb{P}^1$-fibration over either an $\mathbb{A}^1$-rigid or a non-uniruled 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 graphs
Subjects: Combinatorics (math.CO)

In this paper we investigate the bipartite analogue of the strong Erdos-Hajnal 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|\cdot|B|$ edges, then there is a stable set in $G$ that contains at least $\epsilon|V_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 Manifold
Comments: 39 pages, 5 figures
Subjects: Statistics Theory (math.ST); Information Theory (cs.IT); High Energy Physics - Theory (hep-th); Optimization and Control (math.OC); Machine Learning (stat.ML)

We provide an Information-Geometric formulation of Classical Mechanics on the Riemannian manifold of probability distributions, which is an affine manifold endowed with a dually-flat connection. In a non-parametric 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 one-dimensional 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 Polynomials
Authors: Brian Simanek
Comments: 19 pages
Subjects: 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 Bochner-Brenke 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 A
Comments: 44 pages, latex
Subjects: Quantum Algebra (math.QA); High Energy Physics - Theory (hep-th); 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_{n-1}$. 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 star-products for such quantizations, a problem posed in arXiv:1601.05378 in connection with 3-dimensional superconformal field theory. In particular, we confirm the conjecture from arXiv:1601.05378 that for $n\le 4$ a unitary short star-product 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 Harish-Chandra 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 Harish-Chandra bimodules over enveloping algebras of reductive Lie algebras to more general quantum algebras. Finally, we derive recurrences to compute the coefficients of short star-products 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 well-posedness in critical spaces
Comments: 20 pages
Subjects: 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: Hernandez-Leclerc modules and snake graphs
Comments: 32 pages, latex
Subjects: 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 Hernandez-Leclerc modules. We characterize the highest $\ell$-weight monomials of Hernandez-Leclerc modules. We give a non-recursive formula of $q$-characters of Hernandez-Leclerc modules using snake graphs, which involves an explicit formula for $F$-polynomials. We also give a new recursive formula of $q$-characters of Hernandez-Leclerc modules.

[102]  arXiv:2009.09464 [pdf, ps, other]
Title: A stochastic spatial model for the sterile insect control strategy
Subjects: 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 Cuntz-Krieger algebras
Comments: 40 pages
Subjects: Operator Algebras (math.OA); Quantum Algebra (math.QA)

Motivated by the theory of Cuntz-Krieger 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 Cuntz-Krieger 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 Cuntz-Krieger 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 Cuntz-Krieger 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 non-isomorphic 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 Cuntz-Krieger algebras in general.

[104]  arXiv:2009.09469 [pdf, ps, other]
Title: Extremal Indices in the Series Scheme and their Applications
Subjects: 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 lemma
Authors: Ciro Ciliberto
Comments: 12 pages
Subjects: Algebraic Geometry (math.AG)

In this paper we prove an infinitesimal version of the classical Terracini Lemma for 3--secant planes to a variety. Precisely we prove that if
$X\subseteq \PP^r$ is an irreducible, non--degenerate, 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 $r-3(n+1)$, then $X$ is $2$--secant defective.

[106]  arXiv:2009.09476 [pdf, ps, other]
Title: Cell-average WENO with progressive order of accuracy close to discontinuities with applications to signal processing
Comments: 23 pages, 4 figures
Subjects: Numerical Analysis (math.NA)

In this paper we translate to the cell-average setting the algorithm for the point-value discretization presented in S. Amat, J. Ruiz, C.-W. Shu, D. F. Y\'a\~nez, A new WENO-2r 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-($2r-1$) 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 submanifolds
Authors: Yunxia Chen, Wei Zhao
Subjects: 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 non-negative curvature, sharp weighted Hardy inequalities are established in the cases when the submanifold is compact as well as non-compact. 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 Algebras
Comments: 27 pages
Subjects: 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 non-trivial $LT$-action and where the centre of the underlying Lie algebra acts trivially.

[109]  arXiv:2009.09481 [pdf, ps, other]
Title: Linear non-degeneracy 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}{N-2s}}\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 non-degeneracy 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 non-degeneracy result extends in the radial setting some known theorems done by D\'avila, Del Pino and Sire (see \cite[Theorem 1.1]{Davila-DelPino-Sire}), and Gladiali, Grossi and Neves (see \cite[Theorem 1.3]{Gladiali-Grossi-Neves}).

[110]  arXiv:2009.09486 [pdf, ps, other]
Title: Action representability of the category of internal groupoids
Comments: 12 pages
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Rings and Algebras (math.RA)

When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semi-abelian 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 semi-abelian action representable algebraically coherent category with normalizers if and only if $\mathbb C$ is a semi-abelian 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: Prime-localized Weinstein subdomains
Comments: 29 pages, comments welcome!
Subjects: Symplectic Geometry (math.SG)

For any high-dimensional 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 Z
Comments: 29 pages, 2 figures
Subjects: Probability (math.PR); Mathematical Physics (math-ph)

We consider the Activated Random Walk model on $\mathbb{Z}$. In this model, each particle performs a continuous-time 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 Non-uniqueness for 2D Compressible Isentropic Euler Equations
Comments: 15 pages, 29 figures
Subjects: Analysis of PDEs (math.AP)

In this paper, we numerically study a class of solutions with spiraling singularities in vorticity for two-dimensional, inviscid, compressible Euler systems, where the initial data have an algebraic singularity in vorticity at the origin. These are different from the multi-dimensional 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 well-posedness of the governing equations. The compressible Euler equations are solved using the positivity-preserving discontinuous Galerkin method.

[114]  arXiv:2009.09507 [pdf, ps, other]
Title: On S-primary submodules
Subjects: 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 Games
Comments: 15 pages, from Zeckendorf Polymath REU
Subjects: Number Theory (math.NT)

Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers. We use this decomposition to construct a two-player 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_{n-1}$, 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 non-constructive 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 W-algebras $\mathcal{W}_k(\mathfrak{sp}_4,f_{subreg})$ associated with subregular nilpotent elements of $\mathfrak{sp}_4$
Authors: Justine Fasquel
Comments: 22 pages in English
Subjects: Representation Theory (math.RT)

We prove the rationality of the exceptional W-algebras associated with the simple Lie algebra $\mathfrak{sp}_4$ and subregular nilpotent elements, proving a new particular case of a conjecture of Kac-Wakimoto.

[117]  arXiv:2009.09516 [pdf, ps, other]
Title: Fourier nonuniqueness sets for the hyperbola and the Perron-Frobenius operators
Authors: Deb Kumar Giri
Comments: 20 pages
Subjects: 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 complex-valued 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 infinite-dimensional 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 infinite-dimensional whenever $\gamma>q.$ \end{enumerate}

[118]  arXiv:2009.09518 [pdf, ps, other]
Title: Sums of Powers in Large Finite Fields: A Mix of Methods
Comments: 15 pages, to appear in The American Mathematical Monthly
Subjects: 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: 5-point CAT(0) spaces after Tetsu Toyoda
Comments: 8 pages, 7 figures
Subjects: Metric Geometry (math.MG); Differential Geometry (math.DG)

We give another proof of Toyoda's theorem that describes 5-point subpaces in CAT(0) length spaces

[120]  arXiv:2009.09524 [pdf, ps, other]
Title: Two and Three-Party Digital Goods Auctions: Scalable Privacy Analysis
Subjects: 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 Multi-Party 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 entropy-based 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 closed-form formulas for the posterior min-entropy of private inputs in two and three-party 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: Second-countable compact Hausdorff spaces as remainders in $\mathbf{ZF}$ and two new notions of infiniteness
Subjects: 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 non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other independence results, the characterization of locally compact Hausdorff spaces having all non-empty 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. Set-theoretic 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 Dedekind-finite. 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 ultrapowers
Comments: 22 pages
Subjects: 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 non-minimal closure properties.

[123]  arXiv:2009.09531 [pdf, ps, other]
Title: Relative Seiberg-Witten invariants and a sum formula
Comments: 51 pages
Subjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)

We study relative Seiberg-Witten moduli spaces and define relative invariants for a pair $(X,\Sigma)$ consisting of a smooth, closed, oriented 4-manifold $X$ and a smooth, closed, oriented 2-dimensional submanifold $\Sigma\!\subset\!X$ with positive genus. These relative Seiberg-Witten invariants are meant to be the counterparts of relative Gromov-Witten invariants. We also obtain a sum formula (aka a product formula) that relates the SW invariants of a sum $X$ of two closed oriented 4-manifolds $X_1$ and $X_2$ along a common oriented surface $\Sigma$ with dual self-intersections to the relative SW invariants of $(X_1,\Sigma)$ and $(X_2,\Sigma)$. Our formula generalizes Morgan-Szab\'o-Taubes' product formula.

[124]  arXiv:2009.09532 [pdf, ps, other]
Title: The Linearized Classical Boussinesq System on the Half-Line
Comments: 19 pages, 2 figures
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

The linearization of the classical Boussinesq system is solved explicitly in the case of nonzero boundary conditions on the half-line. 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, higher-order 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 half-line. 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 pages
Subjects: 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 2-weight 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 space
Comments: 30 pages
Subjects: 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 half-space $\mathbb{H}^{n}$. For any $x\in \Omega$ and $l\in \mathbb{S}^{n-1}$, 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}{n-1}+1,\frac{2K_{0}}{n-1}+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}^{n-1}$. However, if $q\in(1,\frac{n}{n-1})$, 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: Physical-Layer Security for Two-Hop Air-to-Underwater Communication Systems With Fixed-Gain Amplify-and-Forward Relaying
Subjects: Information Theory (cs.IT)

We analyze a secure two-hop mixed radio frequency (RF) and underwater wireless optical communication (UWOC) system using a fixed-gain amplify-and-forward (AF) relay. The UWOC channel is modeled using a unified mixture exponential-generalized 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 signal-to-noise ratio (SNR) of the mixed RF and UWOC system. Based on the PDF and CDF expressions, we derive the closed-form expressions for the tight lower bound of the secrecy outage probability (SOP) and the probability of non-zero 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 well-posedness to stochastic 3D Euler equations]{On ill- and well-posedness of dissipative martingale solutions to stochastic 3D Euler equations
Subjects: Probability (math.PR); Analysis of PDEs (math.AP)

We are concerned with the question of well-posedness of stochastic three dimensional incompressible Euler equations. In particular, we introduce a novel class of dissipative solutions and show that (i) existence; (ii) weak--strong uniqueness; (iii) non-uniqueness in law; (iv) existence of a strong Markov solution; (v) non-uniqueness of strong Markov solutions; all hold true within this class. Moreover, as a byproduct of (iii) we obtain existence and non-uniqueness 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: Chance-Constrained Optimal Covariance Steering with Iterative Risk Allocation
Subjects: 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 semi-definite program (SDP), which can be solved efficiently using standard SDP solvers. We adopt an Iterative Risk Allocation (IRA) formalism, which uses a two-stage approach to solve the optimal risk allocation problem for covariance steering. The upper-stage of IRA optimizes the risk, which is proved to be a convex problem, while the lower-stage 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 second-order 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 Energy-Constrained Codes and Sliding Window-Constrained Codes
Subjects: Information Theory (cs.IT)

The subblock energy-constrained codes (SECCs) and sliding window-constrained 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 non-overlapping 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 linear-time 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 Hahn-Banach extension and related norm-$1$ projections in dual spaces
Subjects: 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 Hahn-Banach extension of each linear functional in $Y^*$ and in addition to that this association forms a linear operator of norm-1 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 Radon-Nikod$\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 M-ideal 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 stages
Subjects: Differential Geometry (math.DG); Dynamical Systems (math.DS)

In this work we introduce a category $LDP_d$ of discrete-time dynamical systems, that we call discrete Lagrange--D'Alembert--Poincar\'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 Lagrange-Poincar\'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 Lagrange--Poincar\'e systems as well as the one defined for nonholonomic discrete mechanical systems. In addition, we prove that, under some conditions, the two-stage 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 one-stage reduction by the full symmetry group.

[133]  arXiv:2009.09599 [pdf, ps, other]
Title: Multi-Gaussian random variables
Authors: Olga Korotkova
Comments: 14 pages, 8 figures
Subjects: 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 non-integer, 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 Log-Multi-Gaussian (LMG) random variable is introduced.

[134]  arXiv:2009.09601 [pdf, ps, other]
Title: Revisiting the Factorization of $x^n+1$ over Finite Fields
Subjects: 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 Inequalities
Authors: Yahya Alnashri
Subjects: 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 well--known 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 3-D compressible Navier-Stokes-Poisson on bounded domains
Comments: 31pages
Subjects: Analysis of PDEs (math.AP)

The initial boundary value problems for compressible Navier-Stokes-Poisson 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 Navier-Stokes-Poisson 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 Bergman-type and Szegö-type operators on bounded symmetric domains
Authors: Lijia Ding
Comments: 23 pages
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV)

This is our third work on Bergman-type operator over bounded domains. In the previous two articles, we systematically study the boundedness, compactness and Schatten membership of Bergman-type 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 Harish-Chandra realization. We completely characterize when Bergman-type operators and Szeg\"o-type 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 Forelli-Rudin estimate. The key ingredient of the proofs involves the function theory on the bounded symmetric domain and the spectrum estimate of Bergman-type and and Szeg\"o-type operators.

[138]  arXiv:2009.09616 [pdf, ps, other]
Title: On the Rank Functions of Powerful Sets
Authors: Benjamin Jones
Comments: 11 pages
Subjects: 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 non-negative 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 points
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph); 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 Fraser-Li conjecture and the Liouville type boundary value problem
Comments: 10 pages
Subjects: 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 Fraser-Li 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 Fraser-Li conjecture.

[141]  arXiv:2009.09626 [pdf, ps, other]
Title: Blow-up analysis involving isothermal coordinates on the boundary of compact Riemann surface
Authors: Yunyan Yang, Jie Zhou
Comments: 37 pages
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)

Using the method of blow-up analysis, we obtain two sharp Trudinger-Moser inequalities on a compact Riemann surface with smooth boundary, as well as the existence of the corresponding extremals. This generalizes early results of Chang-Yang [7] and the first named author [32], and complements Fontana's inequality of two dimensions [15]. The blow-up 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 Kazdan-Warner problem and the Chern-Simons Higgs problem on compact Riemman surfaces with smooth boundaries.

[142]  arXiv:2009.09627 [pdf, ps, other]
Title: Higher representations and cornered Heegaard Floer homology
Comments: 147 pages
Subjects: Representation Theory (math.RT); Geometric Topology (math.GT); Quantum Algebra (math.QA)

We develop the 2-representation theory of the odd one-dimensional super Lie algebra $gl(1|1)^+$ and show it controls the Heegaard-Floer theory of surfaces of Lipshitz, Ozsv\'ath and Thurston. Our main tool is the construction of a tensor product for 2-representations. We show it corresponds to a gluing operation for surfaces, or the chord diagrams of arc decompositions. This provides an extension of Heegaard-Floer theory to dimension one, expanding the work of Douglas, Lipshitz and Manolescu.

[143]  arXiv:2009.09631 [pdf, ps, other]
Title: Multiple solutions of Kazdan-Warner equation on graphs in the negative case
Comments: 15 pages
Journal-ref: Cal. Var. 59 (2020), Article number: 164
Subjects: 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 Kazdan-Warner equation on $G$:\[\Delta u+\kappa-K_\lambda e^{2u}=0,\] where $K_\lambda=K+\lambda$ and $K: V\rightarrow \mathbb{R}$ is a non-constant 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'yan-Lin-Yang \cite{GLY16}, and is viewed as a discrete analog of that of Ding-Liu \cite{DL95} and Yang-Zhu \cite{YZ19} on manifolds.

[144]  arXiv:2009.09635 [pdf, ps, other]
Title: On K3 surfaces of Picard rank 14
Comments: 70 pages, 23 figures
Subjects: Algebraic Geometry (math.AG)

We study complex algebraic K3 surfaces polarized by rank-fourteen, two-elementary 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$-functions
Authors: Shih-Yu Chen
Subjects: 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 non-semisimple case
Comments: 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 $v|p$, is non-semisimple 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 Gelfand-Kirillov 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 fully-discrete numerical method for the regularised shallow water wave equations
Subjects: Numerical Analysis (math.NA)

The paper proposes a new, conservative fully-discrete 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 small-amplitude long waves usually require long-time simulations in order to investigate scenarios such as the overtaking collision of two solitary waves or the propagation of transoceanic tsunamis. For long-time simulations of non-dissipative 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 fully-discrete method consists of a Galerkin finite element method for spatial semidiscretisation and an explicit relaxation Runge--Kutta 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, non-conservative 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 system
Comments: 19th astronautics conference of the Canadian Aeronautics and Space Institute, Jun 2019, Laval, Canada
Subjects: 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 cross-organizational 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 manifold
Authors: Simon Raulot (LMRS)
Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc)

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 pho-ton spheres [C1, CG1, CG2].

[150]  arXiv:2009.09655 [pdf, ps, other]
Title: Mass threshold for infinite-time blowup in a chemotaxis model with splitted population
Subjects: 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 no-flux 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 graphs
Comments: 22 pages
Subjects: 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. extinction
Authors: Matthieu Alfaro (LMRS), Léo Girardin (LMO), Francois Hamel (I2M), Lionel Roques (BIOSP)
Subjects: 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 Fisher-KPP type but may also be subject to an Allee effect which can be weak (non-KPP 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 well-posedness 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 reaction-diffusion equations.

[153]  arXiv:2009.09658 [pdf, ps, other]
Title: Limit theorems for time-dependent averages of nonlinear stochastic heat equations
Authors: Kunwoo Kim, Jaeyun Yi
Comments: 24 pages
Subjects: Probability (math.PR)

We study limit theorems for time-dependent 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 space-time 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 sine-Gordon field
Subjects: Probability (math.PR); Mathematical Physics (math-ph)

For $0<\beta<6\pi$, we prove that the distribution of the centred maximum of the $\epsilon$-regularised continuum sine-Gordon field on the two-dimensional torus converges to a randomly shifted Gumbel distribution as $\epsilon \to 0$. Our proof relies on a strong coupling at all scales of the sine-Gordon 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 resilience
Comments: 3 pages. In Proceedings of iTWIST'20, Paper-ID: 35, Nantes, France, December, 2-4, 2020
Subjects: 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 de-generacy 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 Decoders
Subjects: 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 run-time 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 Hypergraphs
Authors: Amin Bahmanian
Comments: 45 pages
Subjects: 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$-edge-colored 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. 2-uniform 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 ring
Authors: Alex Ravsky
Subjects: 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. Touri
Comments: I have the honor to send you this paper for publication in your journal best regards
Subjects: 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 Rate-Distortion Function of Gray-Wyner System
Comments: 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 accessible
Subjects: Information Theory (cs.IT)

In this paper, the rate-distortion theory of Gray-Wyner lossy source coding system is investigated. An iterative algorithm is proposed to compute rate-distortion 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 Gray-Wyner instance. Upon the existing single-letter characterization of the rate-distortion region, we compute and determine an analytical expression of the rate-distortion function under quadratic distortion constraints. According to the rate-distortion 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: Vector-valued Sobolev spaces based on Banach function spaces
Authors: Nikita Evseev
Subjects: 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 Reshetnyak-Sobolev 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 Flow
Authors: Frederic Alberti
Subjects: Dynamical Systems (math.DS); Molecular Networks (q-bio.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 backward-time partitioning process is investigated.

[163]  arXiv:2009.09690 [pdf, other]
Title: A rank-one convex, non-polyconvex isotropic function on $\operatorname{GL}^+(2)$ with compact connected sublevel sets
Subjects: 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 rank-one 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 rank-one 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 rank-one 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 extinction
Subjects: Statistics Theory (math.ST); Probability (math.PR)

We consider population-size-dependent 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 non-extinction 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 Galton-Watson 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 Grothendieck-Riemann-Roch formula
Comments: 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 Grothendieck-Riemann-Roch formula, this is an extension of a result of Fantechi-G\"ottsche to the equivariant context. We also prove a virtual non-abelian localization theorem for schemes over $\mathbb{C}$ with proper actions.

[166]  arXiv:2009.09700 [pdf, ps, other]
Title: An alternative proof of well-posedness of stochastic evolution equations in the variational setting
Comments: 11 pages
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)

We present a new proof of well-posedness of stochastic evolution equations in variational form, relying solely on a (nonlinear) infinite-dimensional approximation procedure rather than on classical finite-dimensional projection arguments of Galerkin type.

[167]  arXiv:2009.09701 [pdf, ps, other]
Title: Mahler Measure of 3D Landau-Ginzburg Potentials
Authors: Jiarui Fei
Comments: 36 pages, many tables, comments are welcome
Subjects: Number Theory (math.NT)

We express the Mahler measures of $23$ families of Laurent polynomials in terms of Eisenstein-Kronecker series. These Laurent polynomials arise as Landau-Ginzburg 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 spatial-component independence by Carleman estimate
Subjects: Analysis of PDEs (math.AP)

For an initial-boundary 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 II
Authors: Ryszard Szwarc
Subjects: 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_{n-1}(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 operators
Authors: Benjamin Cahen
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph)

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 vector-valued little Lipschitz functions
Authors: Shinnosuke Izumi
Comments: 13 pages
Subjects: 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 groups
Subjects: 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 props
Comments: 29 pages, many figures
Subjects: Quantum Algebra (math.QA); Algebraic Topology (math.AT)

Circuit algebras, introduced by Bar-Natan 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 low-dimensional topology. In this note, we present the circuit algebra analogue of the well-known classification of planar algebras as pivotal categories with a self-dual 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 Batalin-Vilkovisky quantization formalism.

[174]  arXiv:2009.09747 [pdf, ps, other]
Title: Note on a sign-dependent regularity for the polyharmonic Dirichlet problem
Subjects: 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 right-hand side.

[175]  arXiv:2009.09751 [pdf, ps, other]
Title: Convergence of Optimal Expected Utility for a Sequence of Binomial Models
Comments: 10 pages
Subjects: Probability (math.PR); Mathematical Finance (q-fin.MF)

We analyze the convergence of expected utility under the approximation of the Black-Scholes model by binomial models. In a recent paper by D. Kreps and W. Schachermayer a surprising and somewhat counter-intuitive 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 one-step increments have strictly positive third moments. This is the case, when the up-tick of the log-price is larger than the down-tick. In the paper by D. Kreps and W. Schachermayer it was left as an open question how things behave in the case when the down-tick is larger than the up-tick and -- most importantly -- in the case of the symmetric binomial model where the up-tick equals the down-tick. 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 Class
Comments: 28 pages
Subjects: 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 non-homogeneous 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 half-space $\mathbb{R}^{n+1}_{+}.$

[177]  arXiv:2009.09755 [pdf, ps, other]
Title: Geometric analysis on real analytic manifolds
Authors: Andrew D. Lewis
Comments: 149 pages
Subjects: 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 bundles
Authors: Andrew D. Lewis
Comments: 38 pages
Subjects: 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 graphs
Subjects: 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 Rings
Comments: 7 pages
Subjects: 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 (n-1)}(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 pages
Subjects: 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'cev-Neumann 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 Conditions
Authors: Xixia Ma
Comments: 19pages. arXiv admin note: text overlap with arXiv:1302.0731 by other authors
Subjects: 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 muti-connected bounded domain. We also show the solutions's existence for fixed $\nu, \eta.$ The theoretical is the Morse-Sard theorem on Sobolev spaces.

[183]  arXiv:2009.09815 [pdf, ps, other]
Title: Mobile Cellular-Connected UAVs: Reinforcement Learning for Sky Limits
Comments: Accepted to present at IEEE Globecom2020
Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)

A cellular-connected unmanned aerial vehicle (UAV)faces several key challenges concerning connectivity and energy efficiency. Through a learning-based strategy, we propose a general novel multi-armed 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 error-correcting 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 Time-Periodic Tonelli Lagrangian on Compact Manifold
Authors: Liang Chen
Subjects: Dynamical Systems (math.DS)

In this paper, we study a class of time-periodic 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 Hamilton-Jacobi equation. Furthermore, we survey the global minimizer.

[186]  arXiv:2009.09836 [pdf, other]
Title: Folklore, the Borromean rings, the icosahedron, and three dimensions
Authors: Dave Auckly
Comments: This version has color images. The published version will be in black and white
Subjects: 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 orientation-preserving 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: PDE-Constrained Optimization Models and Pseudospectral Methods for Multiscale Particle Dynamics
Subjects: Numerical Analysis (math.NA)

We derive novel algorithms for optimization problems constrained by partial differential equations describing multiscale particle dynamics, including non-local 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 no-flux type. After deriving continuous first-order 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 set-ups, boundary conditions, as well as regularization and model parameters.

[188]  arXiv:2009.09852 [pdf, ps, other]
Title: Copula-Based Bounds for Multi-User Communications -- Part I: Average Performance
Comments: 5 pages, 2 figures
Subjects: 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 best-case and worst-case bounds are practically relevant as a system design guideline. In this two-part letter, we present methods and tools from dependency modeling which can be applied to analyze and design multi-user 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 equation
Authors: Xixia Ma
Comments: 21pages. arXiv admin note: text overlap with arXiv:1810.10955, arXiv:1807.05254; text overlap with arXiv:quant-ph/0505004 by other authors
Subjects: 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 Wigner-Poisson 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 Theories
Comments: arXiv admin note: text overlap with arXiv:2004.13144
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); 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 well-defined Green functions (or, more generally, that has a right-inverse 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 domains
Comments: arXiv admin note: text overlap with arXiv:1910.13879 by other authors
Subjects: Analysis of PDEs (math.AP)

In one-dimensional 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 segment
Comments: arXiv admin note: substantial text overlap with arXiv:1804.03057
Subjects: 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 Noise
Comments: arXiv admin note: text overlap with arXiv:1904.07522
Subjects: 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 semi-definite. This leads to an indefinite LQ mean field control problem, which may still be well-posed due to deep nature of multiplicative noise. We first obtain a set of forward-backward 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 equations
Authors: C Klein, N. Stoilov
Subjects: 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 Hardy-Littlewood-Sobolev inequality on $\mathbf R^{n-k} \times \mathbf R^n$ and its consequences
Comments: 26 pages, 0 figure
Subjects: 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 Hardy-Littlewood-Sobolev inequality \[ \Big| \iint_{\mathbf R^n \times \mathbf R^{n-k}} \frac{f(x) g(y)}{ |x-y|^\lambda |y''|^\beta} dx dy \Big| \lesssim \| f \| _{L^p(\mathbf R^{n-k})} \| g\| _{L^r(\mathbf R^n)} \] with $y = (y', y'') \in \mathbf R^{n-k} \times \mathbf R^k$ under the two conditions \[ \beta < \left\{ \begin{aligned} & k - k/r & & \text{if } \; 0 < \lambda \leq n-k,\\ & n - \lambda - k/r & & \text{if } \; n-k < \lambda, \end{aligned} \right. \] and \[ \frac{n-k}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 Stein-Weiss inequalities. We also show that the above condition for $\beta$ is sharp. Apparently, the above inequality includes the classical Hardy-Littlewood-Sobolev 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^{n-k} \times \mathbf R^n$ with the \textit{optimal} range $$0<\lambda<n-k/r,$$ which has not been observed before, even for the case $k=1$. Improvement to the Stein-Weiss inequality in the context of $\mathbf R^{n-k} \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 processes
Authors: Ezechiel Kahn
Subjects: 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 Benaych-Georges, which in particular allowsto compute explicitly the limit measure valued flow. We highlight the link with the integro-differentialequation 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 equations
Authors: Chuchu Chen
Subjects: 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 mean-square 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 $k-1/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 triangle-free graphs which are competition graphs of multipartite tournaments
Comments: 26 pages, 12 figures
Subjects: Combinatorics (math.CO)

In this paper, we show that a connected triangle-free graph is the competition graph of a $k$-partite tournament if and only if $k \in \{3,4,5\}$, and a disconnected triangle-free graph is the competition graph of a $k$-partite tournament if and only if $k \in \{2,3,4\}$. Then we list all the triangle-free graphs in each case.

[199]  arXiv:2009.09885 [pdf, ps, other]
Title: Multiple zeta values and iterated Eisenstein integrals
Authors: Alex Saad
Subjects: 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: Copula-Based Bounds for Multi-User Communications -- Part II: Outage Performance
Comments: 5 pages, 5 figures
Subjects: Information Theory (cs.IT)

In the first part of this two-part 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 best-case bounds on the outage probability of multi-user communication systems, including multiple access channels, wiretap channels, and reconfigurable intelligent surface-assisted channels.

[201]  arXiv:2009.09888 [pdf, ps, other]
Title: On the descriptive complexity of Salem sets
Subjects: 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 functions
Authors: Lisa Beck, Panu Lahti
Comments: 22 pages, comments are welcome
Subjects: 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 $n-1$, 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 Operators
Subjects: 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: Mean-field optimal control for biological pattern formation
Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

We propose a mean-field 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 first-order optimality conditions corresponding to the optimal control problem are derived using a Lagrangian approach on the mean-field 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 first-order 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 Coalgebras
Subjects: 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: Newell-Littlewood numbers II: extended Horn inequalities
Comments: 11 pages
Subjects: Combinatorics (math.CO); Representation Theory (math.RT)

The Newell-Littlewood 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 Littlewood-Richardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. Knutson-T. 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 Approximation
Subjects: 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: Zeroth-Order Algorithms for Smooth Saddle-Point Problems
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)

In recent years, the importance of saddle-point problems in machine learning has increased. This is due to the popularity of GANs. In this paper, we solve stochastic smooth (strongly) convex-concave saddle-point problems using zeroth-order 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 saddle-point problems, when the oracle for one of the variables has zero order, and for the second - first order. Subsequently, we implement zeroth-order and 1/2th-order methods to solve practical problems.

[209]  arXiv:2009.09921 [pdf, ps, other]
Title: Coherent States of Systems with Pure Continuous Energy Spectra
Subjects: Mathematical Physics (math-ph)

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 Glauber-type 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 Gazeau-Klauder 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 potentials
Authors: Laszlo Lempert
Subjects: 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: Calabi-Yau threefolds over finite fields and torsion in cohomologies
Comments: Comments welcome!
Subjects: Algebraic Geometry (math.AG)

We study various examples of Calabi-Yau threefolds over finite fields. In particular, we provide a counterexample to a conjecture of K. Joshi on lifting Calabi-Yau threefolds to characteristic zero. We also compute the p-adic cohomologies of some Calabi-Yau threefolds constructed by Cynk-van 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 Geer-Katsura and Patakfalvi-Zdanowicz, and shed new light on the Beauville-Bogomolov decomposition in positive characteristic. Our tools include p-adic 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 type
Comments: 38 pages
Subjects: 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 Networks
Comments: Nine pages, six figures, submitted to IEEE Com. Letters
Subjects: 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 ultra-reliable low-latency communication (URLLC) services. Conventional average-based 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 discrete-time 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 low-latency single-shot 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 groups
Authors: Vitaly Roman'kov
Comments: 11 pages
Subjects: 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 computed
Authors: Klaus Weihrauch
Subjects: 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 Learning
Comments: Accepted to IEEE Transactions on Communications
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)

This paper focuses on channel prediction techniques for massive multiple-input multiple-output (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 low-complexity 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 VKF-based channel predictor developed in this paper exploits the autoregressive (AR) parameters estimated from the SCM channels based on the Yule-Walker equations. Then, the ML-based channel predictor using the linear minimum mean square error (LMMSE)-based noise pre-processed 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 ML-based predictor has larger overall computational complexity than the VKF-based predictor, but once trained, the operational complexity of ML-based predictor becomes smaller than that of VKF-based predictor.

[217]  arXiv:2009.09969 [pdf, other]
Title: Species-Theoretic Foundations of Perturbative Quantum Field Theory
Authors: William Norledge
Subjects: Mathematical Physics (math-ph); 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 Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of Aguiar-Mahajan'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 operator-valued distributions, e.g. time-ordered products, retarded products, generalized retarded products, are obtained as images of fundamental elements of this Hopf monoid under the (curried) homomorphism. The perturbative \hbox{S-matrix} scheme corresponds to the so-called 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 time-ordered 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 space
Comments: 27 pages, 1 figure
Subjects: 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 Domination
Subjects: 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 table
Subjects: 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,n-1},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$ non-homogeneous linear forms for that value of $n$. In an earlier paper `Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, 2016, 501-548' 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 4-Manifolds and Rational Homology Spheres
Comments: 13 pages, 1 figure, 2 sage worksheets available at this https URL
Subjects: Geometric Topology (math.GT)

In the present paper, we construct a cusped hyperbolic 4-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Golenia and Moroianu, the Laplacian on 2-forms 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 3-manifolds 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 coverings
Subjects: 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 Xie-Yu higher index. We also deduce L2 versions of the classical Gromov-Lawson relative index theorems. Finally, we briefly discuss some Gromov-Lawson L2 invariants.

[223]  arXiv:2009.10012 [pdf, ps, other]
Title: Optical geometries
Comments: 46 pages
Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

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 non-integrable 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 blow-up of solutions for coupled systems of fractional diffusion equations
Subjects: Analysis of PDEs (math.AP)

We study the Cauchy problem for a system of semi-linear coupled fractional-diffusion 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 blow-up in finite time. Furthermore, the large time behavior of global solutions is discussed.

[225]  arXiv:2009.10022 [pdf, ps, other]
Title: Finite-dimensionality in the non-commutative Choquet boundary: peaking phenomena and $\mathrm{C}^*$-liminality
Comments: 33 pages
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)

We explore the finite-dimensional part of the non-commutative Choquet boundary of an operator algebra. In other words, we seek finite-dimensional boundary representations. Such representations may fail to exist even when the underlying operator algebra is finite-dimensional. Nevertheless, we exhibit mechanisms that detect when a given finite-dimensional 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 non-commutative versions of the classical notion of a peak point for a function algebra. We also connect this question with the residual finite-dimensionality 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 finite-dimensional.

[226]  arXiv:2009.10024 [pdf, other]
Title: On the lattice of weakly exact structures
Comments: 41 pages
Subjects: 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 sub-bifunctors 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 sub-bifunctors of Ext1. We introduce weak counter-parts of one-sided 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 sub-structures 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 module-theoretic characterization of closed sub-bifunctors of Ext1 among all additive sub-bifunctors.

[227]  arXiv:2009.10036 [pdf, ps, other]
Title: Multiuser MIMO Systems with Discrete Precoding and Adjusted Soft Receiver Design with PSK Modulation
Subjects: Information Theory (cs.IT)

Low-resolution 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 log-likelihood-ratios are presented in the study. Numerical results based on PSK modulation and an LDPC block code indicate a superior performance as compared to state-of-the-art system designs in terms of bit-error-rate.

[228]  arXiv:2009.10041 [pdf, other]
Title: Mapping Coalgebras I: Comonads
Authors: Brice Le Grignou
Comments: 33 pages
Subjects: Category Theory (math.CT)

In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category 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 Calabi-Yau varieties
Authors: Cécile Gachet
Subjects: Algebraic Geometry (math.AG)

We prove that the tangent and the reflexivized cotangent sheaves of any normal projective klt Calabi-Yau 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 Calabi-Yau 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 figures
Subjects: 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 Culler-Vogtmann'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 Hamiltonian
Authors: Farzad Maghsoudi
Subjects: 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>g-1$
Authors: Scott Mullane
Comments: 17 pages, 4 figures
Subjects: Algebraic Geometry (math.AG)

We show the simple Hurwitz space $\mathcal{H}_{g,d}$ has trivial rational Picard group for $d>g-1$ and is uniruled for $d>g+1$.

Cross-lists for Tue, 22 Sep 20

[233]  arXiv:2009.08989 (cross-list from hep-th) [pdf, other]
Title: Non-Perturbative Schwinger-Dyson Equations for 3d ${\cal N} = 4$ Gauge Theories
Authors: Nathan Haouzi
Comments: 75 pages; 12 figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); 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 Schwinger-Dyson identities satisfied by correlation functions of a certain gauge-invariant 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/2-BPS Wilson line defect. The character enjoys a double refinement, interpreted as a deformation of the usual characters of finite-dimensional representations of quantum affine algebras. We derive and interpret the Schwinger-Dyson 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 three-dimensional Seiberg duality.

[234]  arXiv:2009.09010 (cross-list from physics.flu-dyn) [pdf, other]
Title: Persisting asymmetry in the probability distribution function for a random advection-diffusion equation in impermeable channels
Subjects: Fluid Dynamics (physics.flu-dyn); 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, Ornstein-Uhlenbeck (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 Monte-Carlo simulations.

[235]  arXiv:2009.09020 (cross-list from eess.SP) [pdf, other]
Title: Natural Graph Wavelet Packet Dictionaries
Subjects: 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 time-frequency 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 best-basis algorithm, and demonstrate the strengths of these basis dictionaries for graph signals on sunflower graphs and road traffic networks.

[236]  arXiv:2009.09043 (cross-list from cs.LG) [pdf, other]
Title: Cross-Entropy Method Variants for Optimization
Authors: Robert J. Moss
Comments: 9 pages, 6 figures, code available at this https URL
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

The cross-entropy (CE) method is a popular stochastic method for optimization due to its simplicity and effectiveness. Designed for rare-event simulations where the probability of a target event occurring is relatively small, the CE-method 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 CE-method 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 CE-method 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 cross-entropy method variants and results indicate that the surrogate model-based approach reduces local minima convergence using the same number of function evaluations.

[237]  arXiv:2009.09055 (cross-list from eess.SY) [pdf, other]
Title: Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated Driving
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

We propose a stochastic prediction-control framework to promote safety in automated driving by directly controlling the joint state probability density functions (PDFs) subject to the vehicle dynamics via trajectory-level state feedback. To illustrate the main ideas, we focus on a multi-lane 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 non-ego 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 (cross-list from quant-ph) [pdf, ps, other]
Title: Entanglement Properties of Quantum Superpositions of Smooth, Differentiable Functions
Subjects: Quantum Physics (quant-ph); Numerical Analysis (math.NA)

We present an entanglement analysis of quantum superpositions corresponding to smooth, differentiable, real-valued (SDR) univariate functions. SDR functions are shown to be scalably approximated by low-rank matrix product states, for large system discretizations. We show that the maximum von-Neumann bipartite entropy of these functions grows logarithmically with the system size. This implies that efficient low-rank approximations to these functions exist in a matrix product state (MPS) for large systems. As a corollary, we show an upper bound on trace-distance approximation accuracy for a rank-2 MPS as $\Omega(\log N/N)$, implying that these low-rank approximations can scale accurately for large quantum systems.

[239]  arXiv:2009.09100 (cross-list from eess.SY) [pdf, other]
Title: Safety-Critical Kinematic Control of Robotic Systems
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

Over the decades, kinematic controllers have proven to be practically useful for applications like set-point and trajectory tracking in robotic systems. To this end, we formulate a novel safety-critical 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 velocity-based 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 6-DOF robotic manipulator, and a cart-pole system.

[240]  arXiv:2009.09106 (cross-list from physics.soc-ph) [pdf, other]
Title: Street Network Models and Indicators for Every Urban Area in the World
Authors: Geoff Boeing
Subjects: Physics and Society (physics.soc-ph); General Topology (math.GN); Applied Physics (physics.app-ph); 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 open-source 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 open-source 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 (cross-list from stat.ME) [pdf, other]
Title: Estimating the number of communities by Stepwise Goodness-of-fit
Subjects: 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 Goodness-of-Fit (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 goodness-of-fit step. We use SCORE \cite{SCORE} for community detection, and propose a new goodness-of-fit measure. Denote the goodness-of-fit 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 signal-to-noise 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 under-fitting case $(m < K)$ and the null case ($m = K$). The key to our analysis is to show that SCORE has the {\it Non-Splitting Property (NSP)}. The NSP is non-obvious, so additional to rigorous proofs, we also provide an intuitive explanation.

[242]  arXiv:2009.09200 (cross-list from stat.ME) [pdf, other]
Title: Epidemiological short-term Forecasting with Model Reduction of Parametric Compartmental Models. Application to the first pandemic wave of COVID-19 in France
Subjects: Methodology (stat.ME); Numerical Analysis (math.NA)

We propose a forecasting method for predicting epidemiological health series on a two-week 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 COVID-19 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 (cross-list from cs.LG) [pdf, other]
Title: Joint introduction to Gaussian Processes and Relevance Vector Machines with Connections to Kalman filtering and other Kernel Smoothers
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA); Computation (stat.CO); Machine Learning (stat.ML)

The expressive power of Bayesian kernel-based 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 well-known 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 in-depth study of its kind to date focused on these two methods, and will be relevant to theoretical understanding and practitioners throughout the domains of data-science, signal processing, machine learning, and artificial intelligence in general.

[244]  arXiv:2009.09248 (cross-list from stat.ME) [pdf, other]
Title: Posterior Averaging Information Criterion
Authors: Shouhao Zhou
Subjects: 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 Kullback-Leibler 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 log-likelihood against its expected log-likelihood. It can be generally applied even for Bayesian models with degenerate non-informative prior. The simulation in both normal and binomial settings demonstrates decent small sample performance.

[245]  arXiv:2009.09286 (cross-list from stat.ME) [pdf, ps, other]
Title: High-dimensional Model-assisted Inference for Local Average Treatment Effects with Instrumental Variables
Subjects: 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 high-dimensional 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 high-dimensional 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 (cross-list from cs.DS) [pdf, ps, other]
Title: On combinatorial optimization for dominating sets (literature survey, new models)
Authors: Mark Sh. Levin
Comments: 17 pages, figures 6, table 5
Subjects: 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 (cross-list from cs.AI) [pdf]
Title: Quantifying Uncertainty in Risk Assessment using Fuzzy Theory
Subjects: 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 large-scale 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 (cross-list from eess.SP) [pdf, other]
Title: Hybrid Beamforming for RIS-Empowered Multi-hop Terahertz Communications: A DRL-based Method
Comments: Accepted by 2020 GLOBECOM Workshop
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)

Wireless communication in the TeraHertz band (0.1--10 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 multi-hop RIS-assisted communication networks to improve the coverage range at THz-band 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 DRL-based method is a state-of-the-art method to solve the NP-bard beamforming problem, especially when the signals at RIS-empowered THz communication networks experience multiple hops.

[249]  arXiv:2009.09420 (cross-list from stat.ME) [pdf, other]
Title: Spatial+: a novel approach to spatial confounding
Subjects: 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 smoothing-induced 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 straight-forward 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 non-Gaussian 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 (cross-list from cs.LG) [pdf, other]
Title: "Hey, that's not an ODE": Faster ODE Adjoints with 12 Lines of Code
Subjects: 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 adaptive-step-size 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 tasks---including time series, generative modeling, and physical control---demonstrate 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 (cross-list from eess.SP) [pdf, other]
Title: A Markovian Model-Driven Deep Learning Framework for Massive MIMO CSI Feedback
Comments: 14 pages, 14 figures, 4 tables. Submitted to IEEE Transactions on Wireless Communications
Subjects: 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 capacity-approaching transmission optimization for massive multiple-input multiple-output (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 RNN-based work by our proposed MarkovNet to recover forward CSI estimates accurately. We explore additional practical consideration in feedback quantization, and show that MarkovNet outperforms RNN-based CSI estimation networks at a fraction of the computational cost.

[252]  arXiv:2009.09472 (cross-list from eess.SY) [pdf, other]
Title: Multi-Objective Optimization of Distribution Networks via Daily Reconfiguration
Subjects: 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 33-bus radial distribution system as a case study.

[253]  arXiv:2009.09498 (cross-list from eess.IV) [pdf, other]
Title: Distributed optimization with tunable learned priors for robust ptycho-tomography
Subjects: Image and Video Processing (eess.IV); Optimization and Control (math.OC)

Joint ptycho-tomography 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 plug-and-play (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 high-quality reconstructions under limited and noisy measurement data.

[254]  arXiv:2009.09511 (cross-list from eess.SY) [pdf, other]
Title: Safety-Critical Online Control with Adversarial Disturbances
Comments: Paper accepted to the Conference on Decision and Control (CDC), 2020
Subjects: 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 safety-critical dynamical systems in the presence of adversarial disturbances. We seek to synthesize state-feedback 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 H-inf norm, while the cost is specified as an upper bound on the H-2 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 discrete-time 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 (cross-list from cs.LG) [pdf, other]
Title: Provable Finite Data Generalization with Group Autoencoder
Subjects: 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 pre-training 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 input-output 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 (cross-list from gr-qc) [pdf, ps, other]
Title: Initial data rigidity results
Comments: 22 pages. All comments welcome
Subjects: General Relativity and Quantum Cosmology (gr-qc); 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 (cross-list from cs.LO) [pdf, ps, other]
Title: Foundations
Authors: Jeremy Avigad
Comments: For the forthcoming Handbook of Proof Assistants and Their Applications in Mathematics and Computer Science, edited by Jasmin Blanchette and Assia Mahboubi
Subjects: 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 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Geometric Mean of Concentrations and Reversal Permanent Charge in Zero-Current Ionic Flows via Poisson-Nernst-Planck Models
Authors: Hamid Mofidi
Comments: 23 pages, 8 figures
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); 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 x-ray diffraction. Observations are obtained from analytical results established using geometric singular perturbation analysis of classical Poisson-Nernst-Planck models.
For ionic mixtures of multiple ion species Mofidi and Liu [{\em SIAM J. Appl. Math. {\bf 80} (2020), 1908-1935}] 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 (cross-list from cs.CR) [pdf, ps, other]
Title: On the Efficient Estimation of Min-Entropy
Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)

The min-entropy is an important metric to quantify randomness of generated random numbers in cryptographic applications; it measures the difficulty of guessing the most-likely output. One of the important min-entropy estimator is the compression estimator of NIST Special Publication (SP) 800-90B, which relies on Maurer's universal test. In this paper, we propose two kinds of min-entropy 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 min-entropy 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 trade-off relation between theoretical gap of accuracy and variance of min-entropy estimates, which depends on the order of Renyi entropy. By taking into account this trade-off 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 closed-form solution whereas both the compression estimator and the proposed estimator based on Coron's test do not have closed-from 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 (cross-list from cs.CC) [pdf, other]
Title: The Complexity of Constrained Min-Max Optimization
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Optimization and Control (math.OC)

Despite its important applications in Machine Learning, min-max optimization of nonconvex-nonconcave objectives remains elusive. Not only are there no known first-order methods converging even to approximate local min-max 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 first-order methods in constrained min-max optimization problems with nonconvex-nonconcave objectives and linear constraints.
As a warm-up, we show that, even when the objective is a Lipschitz and smooth differentiable function, deciding whether a min-max point exists, in fact even deciding whether an approximate min-max point exists, is NP-hard. More importantly, we show that an approximate local min-max point of large enough approximation is guaranteed to exist, but finding one such point is PPAD-complete. 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 Nemirovsky-Yudin 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 min-max 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 (cross-list from nlin.SI) [pdf, ps, other]
Title: Reduction of divisors and Kowalevski top
Authors: A.V. Tsiganov
Comments: LaTeX with AMSfonts, 10 pages
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Dynamical Systems (math.DS)

The Lax pair representation of Reyman and Semenov-Tian-Shansky is used to construct a finite set of the equivalent divisors on a spectral curve associated with numerical normalization of the Baker-Akhiezer 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 (cross-list from eess.SY) [pdf, ps, other]
Title: Computation of Parameter Dependent Robust Invariant Sets for LPV Models with Guaranteed Performance
Comments: 32 pages, 5 figures
Subjects: 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 invariance-inducing control law, for Linear Parameter-Varying (LPV) systems. As the real-time measurements of the scheduling parameters are typically available, in the presented formulation, we allow the RCI set description along with the invariance-inducing controller to be scheduling parameter dependent. The considered formulation thus leads to parameter-dependent 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 (cross-list from cs.LG) [pdf, other]
Title: Hybrid Stochastic-Deterministic Minibatch Proximal Gradient: Less-Than-Single-Pass Optimization with Nearly Optimal Generalization
Subjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC); Machine Learning (stat.ML)

Stochastic variance-reduced gradient (SVRG) algorithms have been shown to work favorably in solving large-scale learning problems. Despite the remarkable success, the stochastic gradient complexity of SVRG-type algorithms usually scales linearly with data size and thus could still be expensive for huge data. To address this deficiency, we propose a hybrid stochastic-deterministic minibatch proximal gradient (HSDMPG) algorithm for strongly-convex problems that enjoys provably improved data-size-independent complexity guarantees. More precisely, for quadratic loss $F(\theta)$ of $n$ components, we prove that HSDMPG can attain an $\epsilon$-optimization-error $\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 large-scale learning problems, our complexity bounds are superior to those of the prior state-of-the-art 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 (cross-list from nlin.SI) [pdf, other]
Title: A new class of integrable maps of the plane: Manin transformations with involution curves
Comments: 7 pages, 10 figures
Subjects: 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 base-point 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 (cross-list from physics.flu-dyn) [pdf, other]
Title: Droplet impact onto a spring-supported plate: analysis and simulations
Comments: 28 pages, 6 figures
Subjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP)

The high-speed 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 fluid-structure 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 time-scales.

[266]  arXiv:2009.09946 (cross-list from cs.GT) [pdf, other]
Title: Optimal Targeting in Super-Modular Games
Subjects: 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 super-modular 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 NP-complete 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 (cross-list from cs.GT) [pdf, other]
Title: Flexibility can hurt dynamic matching system performance
Subjects: 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 non-existence 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 (cross-list from eess.SY) [pdf, other]
Title: Imitation dynamics in population games on community networks
Comments: 12 pages, 5 figures. Under review
Subjects: 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, continuous-time 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 (cross-list from q-bio.PE) [pdf, other]
Title: Optimal Drug Regimen and Combined Drug Therapy and its Efficacy in the Treatment of COVID-19 : An Within-Host Modeling Study
Comments: 16 pages, 13 figures
Subjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS); Optimization and Control (math.OC)

The COVID-19 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 COVID-19 can substantially reduce the infection induced mortality. The current within-host mathematical modeling studies deals with the optimal drug regimen and the efficacy of combined therapy in treatment of COVID-19. 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 life-threatening COVID-19 pneumonia.

Replacements for Tue, 22 Sep 20

[270]  arXiv:1301.3556 (replaced) [pdf, ps, other]
Title: Multi-integral representations for associated Legendre and Ferrers functions
Comments: 22 pages
Journal-ref: Symmetry, 2020
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph)
[271]  arXiv:1601.04790 (replaced) [pdf, other]
Title: CORRIGENDUM: The dependence on the monodromy data of the isomonodromic tau function
Authors: Marco Bertola
Comments: 13 pages, 6 figures. V1: 14 pages, 5 figures. Minor adjustments
Subjects: Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
[272]  arXiv:1609.00309 (replaced) [pdf, ps, other]
Title: Quasi-Periodic Solutions For Nonlinear Klein-Gordon Equations
Authors: Wei-Min Wang
Comments: 50 pages
Subjects: 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 theory
Authors: Hua-Shu Dou
Comments: 9 pages; 25 references
Subjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP)
[274]  arXiv:1612.03367 (replaced) [pdf, ps, other]
Title: A semi-stability theorem in p-adic Hodge theory
Subjects: Number Theory (math.NT)
[275]  arXiv:1705.02810 (replaced) [pdf, other]
Title: The homotopy limit problem and the cellular Picard group of Hermitian $K$-theory
Authors: Drew Heard
Comments: v4: results made unconditional, assumptions on base scheme weakened. Version to appear in Annals of K-theory
Subjects: Algebraic Topology (math.AT); K-Theory 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 equation
Authors: Van Duong Dinh
Comments: 26 pages, accepted to Advances in Pure and Applied Mathematics
Subjects: Analysis of PDEs (math.AP)
[277]  arXiv:1711.08986 (replaced) [pdf, other]
Title: On the Brownian separable permuton
Authors: Mickaël Maazoun
Comments: 28 pages, final accepted manuscript
Journal-ref: Combinatorics, Probability and Computing 29(2), 241-266 (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 distance
Subjects: Probability (math.PR)
[279]  arXiv:1802.09022 (replaced) [pdf, other]
Title: An Accelerated Method for Derivative-Free Smooth Stochastic Convex Optimization
Subjects: 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 Polynomials
Comments: 8 pages
Subjects: Combinatorics (math.CO)
[281]  arXiv:1804.02394 (replaced) [pdf, other]
Title: An Accelerated Directional Derivative Method for Smooth Stochastic Convex Optimization
Comments: arXiv admin note: text overlap with arXiv:1802.09022
Subjects: 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 Yang-Mills theory: plethysms, dominoes and words
Comments: 112 pages, 16 figures
Journal-ref: JHEP 11 (2018) 035
Subjects: High Energy Physics - Theory (hep-th); Combinatorics (math.CO); Representation Theory (math.RT)
[283]  arXiv:1805.07887 (replaced) [pdf, other]
Title: Analysis of adaptive two-grid finite element algorithms for linear and nonlinear problems
Authors: Yukun Li, Yi Zhang
Comments: 29 pages
Subjects: Numerical Analysis (math.NA)
[284]  arXiv:1805.10186 (replaced) [pdf, ps, other]
Title: Tropical curves, graph complexes, and top weight cohomology of M_g
Comments: 31 pages. v2: streamlined exposition. Final version, to appear in J. Amer. Math. Soc
Subjects: 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 $β$-ensemble
Comments: to appear in Annals of Probability in the forthcoming issue
Subjects: Probability (math.PR)
[286]  arXiv:1806.01697 (replaced) [pdf, ps, other]
Title: On iterated product sets with shifts II
Comments: 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 paper
Subjects: 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 flow
Comments: 21 pages, v3 minor rewrites to clarify arguments, to appear in J. Geom. Anal
Subjects: Differential Geometry (math.DG)
[288]  arXiv:1806.10686 (replaced) [pdf, ps, other]
Title: The existence of a giant cluster for percolation on large Crump-Mode-Jagers trees
Comments: 29 pages, 2 tables
Subjects: Probability (math.PR)
[289]  arXiv:1806.10868 (replaced) [pdf, other]
Title: A Two-Step Pre-Processing for Semidefinite Programming
Journal-ref: 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 skew-symmetric torsion
Comments: 42 pages; thoroughly revised version, including a simpler definition of the geometry with parallel curvature determined by a geometry with parallel skew-symmetric torsion, and an appendix discussing 3-(\alpha,\delta)-Sasakian structures in our framework
Subjects: Differential Geometry (math.DG)
[291]  arXiv:1807.07476 (replaced) [pdf, other]
Title: Minimizing convex quadratic with variable precision conjugate gradients
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
[292]  arXiv:1807.11595 (replaced) [pdf, other]
Title: Revisit of renormalization of Einstein-Maxwell theory at one-loop
Authors: I. Y. Park
Comments: 46 pages, 7 figures, discussion on gauge-choice- and background- independence expanded, refs added
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[293]  arXiv:1808.08810 (replaced) [pdf, ps, other]
Title: Randomized Signal Processing with Continuous Frames
Authors: Ron Levie, Haim Avron
Subjects: 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 alignment
Comments: 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.12
Subjects: Probability (math.PR)
[295]  arXiv:1809.01572 (replaced) [pdf, ps, other]
Title: A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
Subjects: Combinatorics (math.CO); Optimization and Control (math.OC)
[296]  arXiv:1809.08483 (replaced) [pdf, ps, other]
Title: Symplectic Matroids, Circuits, and Signed Graphs
Authors: Zhexiu Tu
Subjects: Combinatorics (math.CO)
[297]  arXiv:1809.09276 (replaced) [pdf, ps, other]
Title: A Berry-Esseen theorem for Pitman's $α$-diversity
Subjects: Probability (math.PR)
[298]  arXiv:1810.02535 (replaced) [pdf, ps, other]
Title: Performance of Two-Hop Cooperative Cognitive Networks with an Energy Harvesting Relay
Subjects: Information Theory (cs.IT)
[299]  arXiv:1811.03139 (replaced) [pdf, ps, other]
Title: On finite energy monopoles on $\mathbb{C}\times Σ$
Authors: Donghao Wang
Comments: 53 pages
Subjects: 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 Optimality
Comments: 35 pages, 7 figures, 4 tables
Journal-ref: Journal of Machine Learning Research, 21(154): 1-38, 2020
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
[301]  arXiv:1811.06583 (replaced) [pdf, ps, other]
Title: Ax-Lindemann-Weierstrass with derivatives and the genus 0 Fuchsian groups
Comments: Minor changes. Authors' version to appear in Annals of Mathematics
Subjects: 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 compactifications
Comments: 27 pages
Subjects: General Topology (math.GN); Metric Geometry (math.MG)
[303]  arXiv:1901.03458 (replaced) [pdf, other]
Title: Monotonicity of entropy for real quadratic rational maps
Authors: Khashayar Filom
Comments: 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 figures
Subjects: Dynamical Systems (math.DS)
[304]  arXiv:1901.05436 (replaced) [pdf, other]
Title: Generalized disconnection exponents
Authors: Wei Qian
Comments: 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 works
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Complex Variables (math.CV)
[305]  arXiv:1901.06976 (replaced) [pdf, other]
Title: Admissibility of solution estimators for stochastic optimization
Subjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
[306]  arXiv:1901.07877 (replaced) [pdf, ps, other]
Title: Some results on Arakawa-Kaneko, Kaneko-Tsumura functions and related functions
Subjects: Number Theory (math.NT)
[307]  arXiv:1901.09233 (replaced) [pdf, other]
Title: Optimal majority threshold in a stochastic environment
Authors: Vitaly Malyshev
Comments: 21 pages, 10 figures
Subjects: 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 I
Comments: 459 pages
Subjects: Algebraic Geometry (math.AG)
[309]  arXiv:1902.05101 (replaced) [pdf, other]
Title: Reconstructing Trees from Traces
Comments: Major revisions in the new version including algorithm descriptions, more details in section 3.1, and several new figures
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Probability (math.PR)
[310]  arXiv:1902.07011 (replaced) [pdf, ps, other]
Title: Taking-and-merging games as rewrite games
Journal-ref: Discrete Mathematics and Theoretical Computer Science, volume 22:4, 2020, #5
Subjects: 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 transport
Comments: Improved clarity of presentation
Subjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
[312]  arXiv:1902.10490 (replaced) [pdf, ps, other]
Title: A Good-Turing estimator for feature allocation models
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)
[313]  arXiv:1903.08461 (replaced) [pdf, other]
Title: Eigenfunction concentration via geodesic beams
Comments: 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 added
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Spectral Theory (math.SP)
[314]  arXiv:1903.08966 (replaced) [pdf, ps, other]
Title: A unified framework of SAGE and SONC polynomials and its duality theory
Comments: Revised version, 27 pages
Subjects: Algebraic Geometry (math.AG); Optimization and Control (math.OC)
[315]  arXiv:1904.00245 (replaced) [pdf, ps, other]
Title: Consistency of Bayesian Inference for Multivariate Max-Stable Distributions
Subjects: Statistics Theory (math.ST)
[316]  arXiv:1904.01368 (replaced) [pdf, ps, other]
Title: Consensus and Flocking in a Class of Cucker-Smale Systems under Communication Failures
Subjects: Optimization and Control (math.OC)
[317]  arXiv:1904.01457 (replaced) [pdf, ps, other]
Title: Volterra type operators on weighted Dirichlet spaces
Authors: Qingze Lin
Comments: 12 pages, accepted for publication in Chinese Annals of Mathematics, Ser. B
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV)
[318]  arXiv:1904.06450 (replaced) [pdf, ps, other]
Title: Regularized Brascamp-Lieb inequalities and an application
Subjects: 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 Azhari
Comments: 4 pages
Journal-ref: Acta Math. Univ. Comenianae, 89(2)(2020), 295-298
Subjects: Functional Analysis (math.FA)
[320]  arXiv:1905.03811 (replaced) [pdf, ps, other]
Title: Long rainbow arithmetic progressions
Comments: Minor revisions, to appear in Journal of Combinatorics
Subjects: Combinatorics (math.CO)
[321]  arXiv:1905.05157 (replaced) [pdf, ps, other]
Title: Mixtures of Mean-Preserving Contractions
Comments: 14 pages
Subjects: 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 Problems
Subjects: Optimization and Control (math.OC)
[323]  arXiv:1906.00211 (replaced) [pdf, ps, other]
Title: Multi-reference factor analysis: low-rank covariance estimation under unknown translations
Subjects: 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 Transitivity
Authors: Anima Nagar
Comments: 20 pages, some examples replaced
Subjects: Dynamical Systems (math.DS)
[325]  arXiv:1906.01981 (replaced) [pdf, ps, other]
Title: Understanding Distributional Ambiguity via Non-robust Chance Constraint
Comments: 8 pages, 3 figures, Accepted for publication in ICAIF 2020
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Portfolio Management (q-fin.PM); Risk Management (q-fin.RM); Machine Learning (stat.ML)
[326]  arXiv:1906.03409 (replaced) [pdf, ps, other]
Title: Twin semigroups and delay equations
Subjects: 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 calculus
Comments: 25 pages
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
[328]  arXiv:1906.11685 (replaced) [pdf, ps, other]
Title: Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type VI. Suzuki and Ree groups
Journal-ref: Post print version published in Journal of Pure and Applied Algebra, Volume 225, Issue 4, April 2021, 106568
Subjects: Quantum Algebra (math.QA); Group Theory (math.GR)
[329]  arXiv:1907.02673 (replaced) [pdf, other]
Title: Fair Integral Flows
Comments: 32 pages
Subjects: Combinatorics (math.CO)
[330]  arXiv:1907.04481 (replaced) [pdf, other]
Title: Tails of Lipschitz Triangular Flows
Comments: 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 Grassmannian
Comments: Second version with revisions (including title change) based on referee reports; 31 pages, 6 figures; comments are welcome
Subjects: Combinatorics (math.CO)
[332]  arXiv:1907.09878 (replaced) [pdf, ps, other]
Title: Representations of $\mathrm{SL}_{n}$ over finite local rings of length two
Comments: 14 pages
Subjects: Representation Theory (math.RT); Group Theory (math.GR)
[333]  arXiv:1907.09922 (replaced) [pdf, ps, other]
Title: Decay and asymptotics for the 1D Klein-Gordon equation with variable coefficient cubic nonlinearities
Comments: 27 pages. Minor revisions. To appear in SIAM J. Math. Anal
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[334]  arXiv:1907.10964 (replaced) [pdf, ps, other]
Title: Rigid analytic reconstruction of Hyodo--Kato theory
Comments: 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 Hyodo--Kato maps. We also fixed some typos and confusing notations
Subjects: Number Theory (math.NT)
[335]  arXiv:1907.11449 (replaced) [pdf, other]
Title: A bisector line field approach to interpolation of orientation fields
Subjects: 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 vector-valued martingales
Comments: Final version, to appear in Probability Surveys
Subjects: Probability (math.PR); Functional Analysis (math.FA)
[337]  arXiv:1908.07232 (replaced) [pdf, other]
Title: Sensitivity estimation of conditional value at risk using randomized quasi-Monte Carlo
Authors: Zhijian He
Subjects: Numerical Analysis (math.NA); Computation (stat.CO)
[338]  arXiv:1908.07725 (replaced) [pdf, other]
Title: Data-driven model reduction, Wiener projections, and the Koopman-Mori-Zwanzig formalism
Authors: Kevin K. Lin, Fei Lu
Comments: Substantial revisions; to appear in Journal of Computational Physics
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Machine Learning (stat.ML)
[339]  arXiv:1908.09900 (replaced) [pdf, other]
Title: Capacity of dynamical storage systems
Comments: 27 pages; final version
Subjects: Information Theory (cs.IT)
[340]  arXiv:1909.01192 (replaced) [pdf, other]
Title: Reversal potential and reversal permanent charge with unequal diffusion coefficients via classical Poisson-Nernst-Planck models
Comments: 29 pages, 5 figures
Subjects: Dynamical Systems (math.DS)
[341]  arXiv:1909.01433 (replaced) [pdf, ps, other]
Title: Simultaneous Cubic and Quadratic Diagonal Equations In 12 Prime Variables
Authors: Alan Talmage
Comments: 47 pages
Subjects: Number Theory (math.NT)
[342]  arXiv:1909.03842 (replaced) [pdf, other]
Title: Covariant constructive gravity: A step-by-step guide towards alternative theories of gravity
Comments: 31 pages, 3 figures, revised version for journal submission
Journal-ref: Phys. Rev. D 101, 084025 (2020)
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[343]  arXiv:1909.04762 (replaced) [pdf, ps, other]
Title: A parametric version of LLL and some consequences: parametric shortest and closest vector problems
Comments: 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 referees
Subjects: 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 derivatives
Comments: A revised version, to appear in J. Approx. Theory
Subjects: 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 matrices
Comments: Final version
Subjects: Probability (math.PR)
[346]  arXiv:1910.07112 (replaced) [pdf, ps, other]
Title: Hilbert's third problem and a conjecture of Goncharov
Subjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
[347]  arXiv:1910.08674 (replaced) [pdf, ps, other]
Title: Long-time behavior for the Cauchy problem of the 3-component Manakov system
Authors: Xiu-Bin Wang, Bo Han
Journal-ref: Phys. Scr. 95 (2020) 065226
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[348]  arXiv:1910.10259 (replaced) [pdf, ps, other]
Title: On the dimension spectra of infinite iterated function systems
Subjects: Dynamical Systems (math.DS)
[349]  arXiv:1910.11404 (replaced) [pdf, ps, other]
Title: Non-locally modular regular types in classifiable theories
Comments: Submitted version with minor revisions
Subjects: Logic (math.LO)
[350]  arXiv:1910.12297 (replaced) [pdf, ps, other]
Title: A new look at the fractional Poisson problem via the Logarithmic Laplacian
Subjects: Analysis of PDEs (math.AP)
[351]  arXiv:1910.12950 (replaced) [pdf, ps, other]
Title: Double-graded quantum superplane
Authors: Andrew James Bruce (Luxembourg), Steven Duplij (Münster)
Comments: 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 (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
[352]  arXiv:1910.14337 (replaced) [pdf, ps, other]
Title: Differentially low uniform permutations from known 4-uniform functions
Authors: Marco Calderini
Subjects: Information Theory (cs.IT)
[353]  arXiv:1911.00661 (replaced) [pdf, ps, other]
Title: Niederreiter cryptosystems using quasi-cyclic codes that resist quantum Fourier sampling
Subjects: Cryptography and Security (cs.CR); Group Theory (math.GR)
[354]  arXiv:1911.08812 (replaced) [pdf, ps, other]
Title: An Algebraic Approach to the Weyl Groupoid
Authors: Tristan Bice
Subjects: Operator Algebras (math.OA); Rings and Algebras (math.RA)
[355]  arXiv:1911.11167 (replaced) [pdf, ps, other]
Title: Manifold Gradient Descent Solves Multi-Channel Sparse Blind Deconvolution Provably and Efficiently
Authors: Laixi Shi, Yuejie Chi
Comments: submitted
Subjects: 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: Multi-moment maps on nearly Kähler six-manifolds
Authors: Giovanni Russo
Comments: 23 pages, 4 figures. Propositions 3.2, 4.2, 5.2 and Examples 6.2-6.3 added. General exposition improved and some minor mistakes fixed. This is a pre-print of an article published in Geometriae Dedicata. The final version is available at this https URL
Subjects: Differential Geometry (math.DG)
[357]  arXiv:1912.00983 (replaced) [pdf, other]
Title: Quasi-factorization of Quantum Relative Entropy For Subalgebras with Scalar Intersection
Comments: 18 pages, 1 figure; adds references and corrects numerical values
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[358]  arXiv:1912.01785 (replaced) [pdf, ps, other]
Title: Mean field interaction on random graphs with dynamically changing multi-color edges
Comments: 44 pages. Theorem 2.1(a) was updated. Typos corrected
Subjects: Probability (math.PR)
[359]  arXiv:1912.02265 (replaced) [pdf, ps, other]
Title: Gaussian graphical models with toric vanishing ideals
Comments: 21 pages, 7 figures
Subjects: 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 numbers
Comments: 19 pages, 2 figures
Subjects: Group Theory (math.GR); Combinatorics (math.CO); Geometric Topology (math.GT); Number Theory (math.NT)
[361]  arXiv:1912.06116 (replaced) [pdf, other]
Title: E-values: Calibration, combination, and applications
Comments: 48 pages, 5 figures, 4 algorithms. A new title and improved presentation
Subjects: Statistics Theory (math.ST)
[362]  arXiv:1912.08015 (replaced) [pdf, other]
Title: Computing eigenvalues of diagonalizable matrices in a quantum computer
Authors: Changpeng Shao
Comments: 29 pages, the paper is re-organized. One of the previous main result is updated. A new quantum algorithm to estimate the complex eigenvalues is added
Subjects: Quantum Physics (quant-ph); Numerical Analysis (math.NA)
[363]  arXiv:1912.09039 (replaced) [pdf, ps, other]
Title: $L$-orthogonality, octahedrality and Daugavet property in Banach spaces
Comments: 16 pages. This new version of the paper gives a corrected version of Theorem 3.3
Subjects: Functional Analysis (math.FA)
[364]  arXiv:1912.09765 (replaced) [pdf, other]
Title: Download Time Analysis for Distributed Storage Codes with Locality and Availability
Subjects: 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 p-Binomial Coefficient Based on Abelian Groups
Authors: C P Anil Kumar
Comments: 16 pages, Accepted in September 2020 in MJCNT
Journal-ref: Moscow Journal of Combinatorics and Number Theory, Year 2020, See https://msp.org/soon/coming.php?jpath=moscow
Subjects: Combinatorics (math.CO); Number Theory (math.NT)
[366]  arXiv:1912.11247 (replaced) [pdf, ps, other]
Title: Sample-Measurement Tradeoff in Support Recovery under a Subgaussian Prior
Comments: A preliminary version of this paper appeared at IEEE International Symposium on Information Theory 2019
Subjects: Information Theory (cs.IT)
[367]  arXiv:1912.12449 (replaced) [pdf, ps, other]
Title: Geometry of Matroids and Hyperplane Arrangements
Authors: Jaeho Shin
Comments: 46 pages, 24 figures; v3: minor improvements
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Metric Geometry (math.MG)
[368]  arXiv:2001.00665 (replaced) [pdf, ps, other]
Title: Decentralized Langevin Dynamics
Subjects: Optimization and Control (math.OC); Information Theory (cs.IT)
[369]  arXiv:2001.05423 (replaced) [pdf, ps, other]
Title: Integrable symplectic maps associated with discrete Korteweg-de Vries-type equations
Subjects: Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
[370]  arXiv:2001.08826 (replaced) [pdf, other]
Title: An $O(s^r)$-Resolution ODE Framework for Discrete-Time Optimization Algorithms and Applications to the Linear Convergence of Minimax Problems
Authors: Haihao Lu
Subjects: 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 Points
Subjects: 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 functor
Comments: 49 pages, 7 figures
Subjects: 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 Differentiation
Comments: This paper is withdrawn because there is an error in the last section: the algebraic identities, in the limit n-&gt; \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 incomplete
Subjects: Analysis of PDEs (math.AP)
[374]  arXiv:2001.10373 (replaced) [pdf, other]
Title: Stochastic homogenization on randomly perforated domains
Authors: Martin Heida
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
[375]  arXiv:2001.10647 (replaced) [pdf, ps, other]
Title: Caustics of weakly Lagrangian distributions
Comments: 27 pages, 3 tables, 1 figure
Subjects: Analysis of PDEs (math.AP)
[376]  arXiv:2001.10769 (replaced) [pdf, ps, other]
Title: On moduli spaces of polarized Enriques surfaces
Comments: 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\'ees
Subjects: Algebraic Geometry (math.AG)
[377]  arXiv:2001.11855 (replaced) [pdf, other]
Title: Hypercomplex Iterated Function Systems
Authors: Peter Massopust
Subjects: Metric Geometry (math.MG)
[378]  arXiv:2002.00480 (replaced) [pdf, other]
Title: Multilevel Ensemble Kalman Filtering based on a sample average of independent EnKF estimators
Comments: 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 URL
Subjects: Numerical Analysis (math.NA)
[379]  arXiv:2002.00618 (replaced) [src]
Title: Combinatorics of 3D directed animals on a simple cubic lattice
Comments: 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 hard-core 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 one
Subjects: Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Combinatorics (math.CO)
[380]  arXiv:2002.03133 (replaced) [pdf, ps, other]
Title: Tangent prolongation of $\mathcal{C}^r$-differentiable loops
Subjects: Group Theory (math.GR)
[381]  arXiv:2002.04789 (replaced) [pdf, ps, other]
Title: Dimension Distortion by Right Coset Projections in the Heisenberg Group
Subjects: Metric Geometry (math.MG)
[382]  arXiv:2002.05576 (replaced) [pdf, other]
Title: Fast Convergence for Langevin Diffusion with Manifold Structure
Comments: 52 pages, in submission to NeurIPS 2020. This version: various typos fixed, minor reorganization
Subjects: 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 Triangulations
Comments: 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 Cruickshank
Subjects: Combinatorics (math.CO)
[384]  arXiv:2002.08761 (replaced) [pdf, ps, other]
Title: Naive $\mathbb A^1$-homotopies on ruled surfaces
Comments: v1: 16 pages; v2: 14 pages, minor changes, results unchanged, comments are welcome
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); K-Theory and Homology (math.KT)
[385]  arXiv:2002.09726 (replaced) [pdf, other]
Title: Operator inference for non-intrusive model reduction of systems with non-polynomial nonlinear terms
Subjects: 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 d-dimensional polytopes
Journal-ref: Discrete Analysis, 2020:15, 17 pp
Subjects: 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 problems
Subjects: Optimization and Control (math.OC)
[388]  arXiv:2003.00037 (replaced) [pdf, other]
Title: Tits type alternative for groups acting on toric affine varieties
Comments: 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 changed
Subjects: Algebraic Geometry (math.AG); Group Theory (math.GR)
[389]  arXiv:2003.00633 (replaced) [pdf, ps, other]
Title: Counting Richelot isogenies between superspecial abelian surfaces
Comments: 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 crossing-critical graphs
Comments: 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: Overhead-Aware Design of Reconfigurable Intelligent Surfaces in Smart Radio Environments
Subjects: Information Theory (cs.IT)
[392]  arXiv:2003.04245 (replaced) [pdf, ps, other]
Title: The open and clopen Ramsey theorems in the Weihrauch lattice
Comments: Fixed Lemma 3.8 and improved Thm. 4.28. Several typos fixed
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[393]  arXiv:2003.05021 (replaced) [pdf, ps, other]
Title: Perturbative path-integral of string field and the $A_{\infty }$ structure of the BV master equation
Comments: 41 pages, appendix added
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
[394]  arXiv:2003.05802 (replaced) [pdf, ps, other]
Title: On the Alexander Invariants of Trigonal Curves
Authors: Melih Üçer
Comments: 21 pages, 1 Table
Subjects: Algebraic Geometry (math.AG)
[395]  arXiv:2003.07587 (replaced) [pdf, ps, other]
Title: An averaging principle for stochastic flows and convergence of non-symmetric Dirichlet forms
Authors: Florent Barret (MODAL'X), Olivier Raimond (MODAL'X)
Subjects: Probability (math.PR)
[396]  arXiv:2003.09927 (replaced) [pdf, ps, other]
Title: Abelian Splittings and JSJ-Decompositions of Bestvina--Brady Groups
Authors: Yu-Chan Chang
Comments: Rewrite Corollary 2.7 and correct some typos. This is the submitted version
Subjects: Group Theory (math.GR)
[397]  arXiv:2003.10568 (replaced) [pdf, ps, other]
Title: Free idempotent generated semigroups: The word problem and structure via gain graphs
Authors: Igor Dolinka
Comments: 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 quasi-order for consecutive orderings on words and permutations
Subjects: Combinatorics (math.CO)
[399]  arXiv:2003.12173 (replaced) [pdf, ps, other]
Title: Reductions between short vector problems and simultaneous approximation
Authors: Daniel E. Martin
Comments: 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 paper
Subjects: Number Theory (math.NT)
[400]  arXiv:2004.01298 (replaced) [pdf, other]
Title: Trajectory Optimization for Nonlinear Multi-Agent Systems using Decentralized Learning Model Predictive Control
Comments: 8 pages, 2 figures, submitted to Conference on Decision and Control 2020
Subjects: 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 theorems
Authors: Xiao Fang, Yuta Koike
Comments: 35 pages. Major update. Added applications to degenerate U-statistics and homogeneous sums. Obtained the optimal Wasserstein bound for the Wishart matrix example
Subjects: 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 physics
Authors: Zhao-Hui Man
Comments: 68 pages, 2 figures
Subjects: General Mathematics (math.GM)
[403]  arXiv:2004.02528 (replaced) [pdf, ps, other]
Title: Heinz-type mean curvature estimates in Lorentz-Minkowski space
Comments: 11 pages, no figure, minor revision
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
[404]  arXiv:2004.03069 (replaced) [pdf, other]
Title: Nonparametric Estimation of Uncertainty Sets for Robust Optimization
Comments: 8 pages, 2 figures
Subjects: 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 solutions
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[406]  arXiv:2004.06227 (replaced) [pdf, ps, other]
Title: Monopoles and Landau-Ginzburg Models I
Authors: Donghao Wang
Comments: 58 pages. v2. We add an appendix explaining the case for higher genus surfaces
Subjects: 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 Channels
Comments: Accepted for publication in IEEE Transactions on Communications
Subjects: Information Theory (cs.IT)
[408]  arXiv:2004.07241 (replaced) [pdf, ps, other]
Title: Finite Hyperfields of Order $n\leq 5$
Authors: Ziqi Liu
Comments: 22 pages
Subjects: 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 matrices
Authors: Hiroshi Miki
Comments: 19pages
Subjects: Mathematical Physics (math-ph)
[410]  arXiv:2005.00717 (replaced) [pdf, ps, other]
Title: Diagonal symmetrizers for hyperbolic operators with triple characteristics
Authors: Tatsuo Nishitani
Subjects: Analysis of PDEs (math.AP)
[411]  arXiv:2005.02092 (replaced) [pdf, ps, other]
Title: Symmetric locally free resolutions and rationality problems
Comments: 33 pages, improved exposition
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
[412]  arXiv:2005.02112 (replaced) [pdf, ps, other]
Title: Remote state estimation problem: towards the data-rate limit along the avenue of the second Lyapunov method
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
[413]  arXiv:2005.04422 (replaced) [pdf, ps, other]
Title: Bulk-boundary asymptotic equivalence of two strict deformation quantizations
Comments: 27 pages no figures, minor changes, accepted for publication in Letters in Mathematical Physics
Subjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
[414]  arXiv:2005.05694 (replaced) [pdf, ps, other]
Title: Hyodo--Kato theory with syntomic coefficients
Authors: Kazuki Yamada
Comments: 2nd version, 72 pages. I fixed a mistake concerning dependence of pseudo-constant syntomic coefficient on the choice of uniformizer. To do this, I slightly modified the definition of pseudo-constant 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 Firedrake
Comments: 17 pages, 13 figures, 6 listings
Subjects: 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 Connections
Comments: 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 Theoretical
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG)
[417]  arXiv:2005.07463 (replaced) [pdf, ps, other]
Title: Conformal foliations on Lie groups and complex-valued harmonic morphisms
Subjects: 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 ellipsoids
Comments: 6 pictures, 27 pages
Subjects: Analysis of PDEs (math.AP)
[420]  arXiv:2005.11726 (replaced) [pdf, ps, other]
Title: Infinite dimensional symmetry groups of the Friedmann equations
Comments: 19 pages, no figures, Latex2e source file. Minor changes to match published version
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[421]  arXiv:2005.13640 (replaced) [pdf, other]
Title: Hypergeometric L-functions in average polynomial time
Comments: 15 pages, 1 figure; v4 several exposition improvements as suggested the referees
Subjects: Number Theory (math.NT)
[422]  arXiv:2006.00188 (replaced) [pdf, other]
Title: Equicontinuous mappings on finite trees
Comments: 30 pages, 2 figures
Subjects: General Topology (math.GN); Dynamical Systems (math.DS)
[423]  arXiv:2006.01412 (replaced) [pdf, other]
Title: Federated Learning in Vehicular Networks
Comments: 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 accessible
Subjects: 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 germs
Comments: v2: new example of LNE surface germ added (see Appendix A), minor corrections and modifications made, exposition improved. 37 pages, 5 figures
Subjects: Algebraic Geometry (math.AG)
[425]  arXiv:2006.02070 (replaced) [pdf, other]
Title: Ratio-consistent estimation for long range dependent Toeplitz covariance with application to matrix data whitening
Subjects: Probability (math.PR); Methodology (stat.ME)
[426]  arXiv:2006.03123 (replaced) [pdf, ps, other]
Title: Semigroups for dynamical processes on metric graphs
Comments: To be published in Phil. Trans. R. Soc. A 378: 20190619
Subjects: 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 graph
Subjects: Combinatorics (math.CO)
[428]  arXiv:2006.06889 (replaced) [src]
Title: Fast Objective and Duality Gap Convergence for Nonconvex-Strongly-Concave Min-Max Problems
Comments: There is critical error on the report of experimental results
Subjects: 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 Piatetski-Shapiro primes and a prime with a missing digit
Subjects: Number Theory (math.NT)
[430]  arXiv:2006.08073 (replaced) [pdf, other]
Title: Quiver representations and dimension reduction in dynamical systems
Comments: Revised version, accepted in the SIAM Journal on Applied Dynamical Systems; 43 pages, 10 figures
Subjects: Dynamical Systems (math.DS)
[431]  arXiv:2006.09934 (replaced) [pdf, ps, other]
Title: Functional John Ellipsoids
Comments: 30 pages
Subjects: 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 order
Authors: Sheila Sundaram
Comments: 29 pages
Subjects: Representation Theory (math.RT); Combinatorics (math.CO)
[433]  arXiv:2006.13574 (replaced) [pdf, ps, other]
Title: A braid-like presentation of the integral Steinberg group of type $C_2$
Authors: Christian Kassel
Comments: 14 pages
Subjects: Group Theory (math.GR); K-Theory and Homology (math.KT)
[434]  arXiv:2006.14533 (replaced) [pdf, other]
Title: On the monotonicity of the critical time in the Constrained-degree percolation model
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech)
[435]  arXiv:2006.14908 (replaced) [pdf, ps, other]
Title: Crossings between non-homotopic edges
Comments: 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 Landau-Zener model with time-quadratic commuting operators
Comments: 12 pages, 9 figures
Subjects: Quantum Physics (quant-ph); Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph)
[437]  arXiv:2006.15322 (replaced) [pdf, ps, other]
Title: Around Efimov's differential test for homeomorphism
Comments: 15 pages; several new references are added to version 3
Subjects: 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 System
Authors: Georgi Georgiev
Subjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph)
[439]  arXiv:2006.16781 (replaced) [pdf, ps, other]
Title: On the strong concavity of the dual function of an optimization problem
Authors: Vincent Guigues
Comments: arXiv admin note: text overlap with arXiv:1805.11732
Subjects: Optimization and Control (math.OC)
[440]  arXiv:2007.03474 (replaced) [pdf, ps, other]
Title: 7-dimensional simply-connected spin manifolds whose integral cohomology rings are isomorphic to that of ${\mathbb{C}P}^2 \times S^3$ admit round fold maps
Authors: Naoki Kitazawa
Comments: 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 author
Subjects: Algebraic Topology (math.AT)
[441]  arXiv:2007.03937 (replaced) [pdf, ps, other]
Title: A Nearest Neighbor Characterization of Lebesgue Points in Metric Measure Spaces
Subjects: 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 Design
Subjects: Optimization and Control (math.OC)
[443]  arXiv:2007.10522 (replaced) [pdf, other]
Title: New bounds on maximal linkless graphs
Comments: 13 pages, 8 figures
Subjects: Geometric Topology (math.GT); Combinatorics (math.CO)
[444]  arXiv:2007.11313 (replaced) [pdf, other]
Title: Surface transition in the collapsed phase of a self-interacting walk adsorbed along a hard wall
Comments: 49 pages, 5 figures
Subjects: Probability (math.PR)
[445]  arXiv:2007.11549 (replaced) [pdf, other]
Title: Variational approach to regularity of optimal transport maps: general cost functions
Comments: In this version we fixed an error (the relation between the Lagrangian energy of couplings and the Eulerian energy of their associated density-flux pair, equation (1.25) in arXiv:2007.11549v1) and simplified several arguments. 43 pages, 2 figures
Subjects: Analysis of PDEs (math.AP)
[446]  arXiv:2007.11560 (replaced) [pdf, other]
Title: Singular behavior and generic regularity of min-max minimal hypersurfaces
Comments: Corrected and updated
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
[447]  arXiv:2007.12055 (replaced) [pdf, other]
Title: Improving distribution and flexible quantization for DCT coefficients
Authors: Jarek Duda
Comments: 9 pages, 10 figures
Subjects: 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 semigroups
Authors: Daniel Rogozin
Subjects: Logic (math.LO)
[449]  arXiv:2007.13844 (replaced) [pdf, ps, other]
Title: Polynomial interpolation of modular forms for Hecke groups
Authors: Barry Brent
Comments: 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 Navier-Stokes Equations
Comments: 48 pages
Subjects: Analysis of PDEs (math.AP)
[451]  arXiv:2007.15184 (replaced) [pdf, ps, other]
Title: Delta shock solution to the generalized one-dimensional zero-pressure gas dynamics system with linear damping
Subjects: Analysis of PDEs (math.AP)
[452]  arXiv:2007.15350 (replaced) [pdf, other]
Title: A deep learning algorithm for the stable manifolds of the Hamilton-Jacobi equations
Authors: Guoyuan Chen
Comments: Some mathematically rigorous asymptotic analysis is added in Section 3; Section 5 in the previous version is removed; The references and citations are revised
Subjects: 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 subschemes
Authors: Paul Vojta
Comments: 35 pages; AmSTeX. v2: Added reference to, and discussion of, a recent paper of Ru and Wang
Subjects: Number Theory (math.NT); Complex Variables (math.CV)
[454]  arXiv:2008.01757 (replaced) [pdf, ps, other]
Title: Functorial properties of pro-$p$-Iwahori cohomology
Authors: Karol Koziol
Comments: 35 pages. Corrected error from previous version
Subjects: Representation Theory (math.RT); Number Theory (math.NT)
[455]  arXiv:2008.02264 (replaced) [pdf, other]
Title: Random-cluster dynamics on random graphs in tree uniqueness
Comments: 34 pages, 5 figures
Subjects: Probability (math.PR); Discrete Mathematics (cs.DM); Mathematical Physics (math-ph)
[456]  arXiv:2008.02822 (replaced) [pdf, ps, other]
Title: Exceptional Legendre polynomials via isospectral deformation and confluent Darboux transformations
Comments: added intro paragraph, citations
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph)
[457]  arXiv:2008.03575 (replaced) [pdf, ps, other]
Title: Roots of Chebyshev Polynomials: a purely algebraic approach
Authors: Lionel Ponton
Comments: 6 pages
Subjects: Number Theory (math.NT)
[458]  arXiv:2008.05009 (replaced) [pdf, ps, other]
Title: Strictly nef divisors and some remarks on a conjecture of Serrano
Comments: 10 pages, New theorem added and a few corrections to last version. Comments welcome
Subjects: Algebraic Geometry (math.AG)
[459]  arXiv:2008.05862 (replaced) [pdf, other]
Title: On Functional Hamilton-Jacobi and Schrödinger Equations and Functional Renormalization Group
Comments: 33 pages; v2: paragraphs added related to Reviewers comments; prepared for the special issue "Symmetry in Quantum Systems" of the journal Symmetry
Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[460]  arXiv:2008.07717 (replaced) [pdf, ps, other]
Title: Age of Information in Random Access Networks: A Spatiotemporal Study
Subjects: Information Theory (cs.IT)
[461]  arXiv:2008.08219 (replaced) [pdf, ps, other]
Title: Monte Carlo construction of cubature on Wiener space
Comments: 22 pages
Subjects: Probability (math.PR); Numerical Analysis (math.NA)
[462]  arXiv:2008.08441 (replaced) [pdf, ps, other]
Title: Orientations for DT invariants on quasi-projective Calabi-Yau 4-folds
Authors: Arkadij Bojko
Subjects: 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 coalescent-walk processes
Comments: 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.12639
Subjects: Probability (math.PR); Combinatorics (math.CO)
[464]  arXiv:2008.09897 (replaced) [pdf, other]
Title: On a projection-based class of uniformity tests on the hypersphere
Comments: 26 pages, 3 figures, 6 tables. Supplementary material: 26 pages, 2 figures, 4 tables
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[465]  arXiv:2008.10923 (replaced) [pdf, other]
Title: Symplectic isotopy of rational cuspidal sextics and septics
Comments: 49 pages, many figures. We have upgraded Theorem 4.7. Comments are welcome
Subjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
[466]  arXiv:2008.11379 (replaced) [pdf, ps, other]
Title: Monodromic model for Khovanov-Rozansky homology
Comments: 33 pages, new introduction
Subjects: 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 Noise
Authors: Li Tian
Subjects: Statistics Theory (math.ST)
[468]  arXiv:2008.12622 (replaced) [pdf, other]
Title: Through-the-Wall Nonlinear SAR Imaging
Subjects: Numerical Analysis (math.NA)
[469]  arXiv:2009.00598 (replaced) [pdf, other]
Title: On the minimum bisection of random $3-$regular graphs
Comments: 48 pages, 20 figures
Subjects: Probability (math.PR); Combinatorics (math.CO)
[470]  arXiv:2009.01345 (replaced) [pdf, ps, other]
Title: A magic determinant formula for symmetric polynomials of eigenvalues
Authors: Jules Jacobs
Subjects: Combinatorics (math.CO)
[471]  arXiv:2009.01703 (replaced) [pdf, ps, other]
Title: Fourier transform and expanding maps on Cantor sets
Comments: 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 citations
Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
[472]  arXiv:2009.01831 (replaced) [pdf, ps, other]
Title: Good reduction and cyclic covers
Comments: 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 spaces
Subjects: 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 Equations
Subjects: Analysis of PDEs (math.AP)
[475]  arXiv:2009.02352 (replaced) [pdf, ps, other]
Title: Grassmannian-parameterized solutions to direct-sum polygon and simplex equations
Comments: 24 pages, 5 tikz figures. v3: reduction to lower simplex equations added, also minor improvements
Subjects: Mathematical Physics (math-ph); Quantum Algebra (math.QA)
[476]  arXiv:2009.02484 (replaced) [pdf, ps, other]
Title: Multilevel Picard approximations for high-dimensional semilinear second-order PDEs with Lipschitz nonlinearities
Subjects: Numerical Analysis (math.NA); Probability (math.PR)
[477]  arXiv:2009.02540 (replaced) [pdf, other]
Title: A Survey of Deep Learning Architectures for Intelligent Reflecting Surfaces
Comments: 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 accessible
Subjects: 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 structures
Subjects: 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 spaces
Authors: S.S.Akbarov
Comments: Engish and Russian versions
Subjects: Functional Analysis (math.FA)
[480]  arXiv:2009.03372 (replaced) [pdf, ps, other]
Title: Holomorphic duality for countable discrete groups
Authors: S.S.Akbarov
Comments: English and Russian versions
Subjects: Functional Analysis (math.FA)
[481]  arXiv:2009.03552 (replaced) [pdf, ps, other]
Title: Cohen-like first order structures
Authors: Ziemowit Kostana
Subjects: Logic (math.LO)
[482]  arXiv:2009.03731 (replaced) [pdf, other]
Title: Combinatorial Ricci flows and the hyperbolization of a class of compact 3-manifolds
Comments: 31 pages. This is a revision of the paper
Subjects: 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 Revisited
Subjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
[484]  arXiv:2009.04906 (replaced) [pdf, other]
Title: Linearly Convergent Gradient-Free Methods for Minimization of Symmetric Parabolic Approximation
Subjects: 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 Algebras
Subjects: 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 Segura
Subjects: Classical Analysis and ODEs (math.CA)
[487]  arXiv:2009.05787 (replaced) [pdf, other]
Title: Incompressible topological solitons
Comments: reference added
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[488]  arXiv:2009.05820 (replaced) [pdf, ps, other]
Title: Empty axis-parallel boxes
Comments: 11 pages
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
[489]  arXiv:2009.06144 (replaced) [pdf, ps, other]
Title: Orbifold Gromov--Witten theory of weighted blowups
Comments: 44pages; some typos fixed; comments are welcome; accepted for publication in SCIENCE CHINA Mathematics
Subjects: Symplectic Geometry (math.SG)
[490]  arXiv:2009.06297 (replaced) [pdf, ps, other]
Title: Kähler manifolds with negative $k$-Ricci Curvature
Comments: 17 pages, Improvement of earlier version
Subjects: Differential Geometry (math.DG)
[491]  arXiv:2009.06735 (replaced) [pdf, other]
Title: Godel Diffeomorphisms
Authors: Matthew Foreman
Subjects: Dynamical Systems (math.DS); Logic (math.LO)
[492]  arXiv:2009.06853 (replaced) [pdf, ps, other]
Title: A class of super Heisenberg-Virasoro algebras
Subjects: Representation Theory (math.RT)
[493]  arXiv:2009.06951 (replaced) [pdf, ps, other]
Title: The sharp Li-Yau equality on Shrinking Ricci Solitons with applications
Authors: Jason Ledwidge
Comments: 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 version
Subjects: Differential Geometry (math.DG)
[494]  arXiv:2009.06979 (replaced) [pdf, other]
Title: Influence of Sodium Inward Current on Dynamical Behaviour of Modified Morris-Lecar Model
Subjects: Adaptation and Self-Organizing Systems (nlin.AO); Dynamical Systems (math.DS)
[495]  arXiv:2009.07113 (replaced) [pdf, other]
Title: On a Generalisation of the Marcenko-Pastur Problem
Comments: 5 pages, 3 figures, reference to the "Tetilla" law added
Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Mathematical Physics (math-ph); Probability (math.PR)
[496]  arXiv:2009.07252 (replaced) [pdf, ps, other]
Title: Minkowski summands of cubes
Comments: 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: G-rigid local systems are integral
Comments: 21 pages
Subjects: 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 integers
Authors: Jian Li, Kairan Liu
Subjects: Dynamical Systems (math.DS)
[499]  arXiv:2009.08111 (replaced) [pdf, other]
Title: The relationship between dynamic programming and active inference: the discrete, finite-horizon case
Comments: 35 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Neurons and Cognition (q-bio.NC)
[500]  arXiv:2009.08164 (replaced) [pdf, ps, other]
Title: A note on the Erdős-Szekeres theorem in high dimension
Authors: Lyuben Lichev
Comments: 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 corrected
Subjects: Combinatorics (math.CO)
[501]  arXiv:2009.08433 (replaced) [pdf, other]
Title: On the global controllability of scalar conservation laws with boundary and source controls
Comments: 22 pages, 5 figures
Subjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
[502]  arXiv:2009.08547 (replaced) [pdf, ps, other]
Title: Practical Dynamic SC-Flip Polar Decoders: Algorithm and Implementation
Comments: Accepted for publication in IEEE TSP
Journal-ref: IEEE Transactions on Signal Processing, 2020
Subjects: Information Theory (cs.IT)
[503]  arXiv:2009.08582 (replaced) [pdf, other]
Title: The Capacity of Multi-user Private Information Retrieval for Computationally Limited Databases
Comments: $\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 works
Subjects: Information Theory (cs.IT); Information Retrieval (cs.IR)
[ total of 503 entries: 1-503 ]
[ 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)