Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Thu, 9 Jul 20
 [1] arXiv:2007.03684 [pdf, ps, other]

Title: On the spectral type of rank one flows and Banach problem with calculus of generalized Riesz products on the real lineAuthors: el Houcein el AbdalaouiComments: 93 pages. In this article, we present a solution to the flow version of the Banach problem. This solution was announced in arXiv:1002.2808 [math.DS] but there is a gap (see appendix). We further present a BanachRhoklin problem in the spectral theory of dynamical systems which seems to be open until now. arXiv admin note: text overlap with arXiv:1205.5543Subjects: Dynamical Systems (math.DS)
It is shown that a certain class of Riesz product type measures on $\mathbb{R}$ is realized a spectral type of rank one flows. As a consequence, we will establish that some class of rank one flows has a singular spectrum. Some of the results presented here are even new for the $\mathbb{Z}$action. Our method is based, on one hand, on the extension of BourgainKlemesReinholdPeyri\`ere method, and on the other hand, on the extension of the Central Limit Theorem approach to the real line which gives a new extension of SalemZygmund Central Limit Theorem. We extended also a formula for RadonNikodym derivative between two generalized Riesz products obtained by el AbdalaouiNadkarni and a formula of Mahler measure of the spectral type of rank one flow but in the weak form. We further present an affirmative answer to the flow version of the Banach problem, and we discuss some issues related to flat trigonometric polynomials on the real line in connection with the famous BanachRhoklin problem in the spectral theory of dynamical systems.
 [2] arXiv:2007.03707 [pdf, ps, other]

Title: An algebraic groups perspective on ErdősKoRadoAuthors: Russ WoodroofeComments: 10 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR)
We give a proof of the Erd\H{o}sKoRado Theorem using the Borel Fixed Point Theorem from algebraic group theory. This perspective gives a strong analogy between the Erd\H{o}sKoRado Theorem and (generalizations of) the Gerstenhaber Theorem on spaces of nilpotent matrices.
 [3] arXiv:2007.03721 [pdf, ps, other]

Title: Property G and the $4$genusAuthors: Yi NiComments: 22 pagesSubjects: Geometric Topology (math.GT)
We say a nullhomologous knot $K$ in a $3$manifold $Y$ has Property G, if the properties about the Thurston norm and fiberedness of the complement of $K$ is preserved under the zero surgery on $K$. In this paper, we will show that, if the smooth $4$genus of $K\times\{0\}$ (in a certain homology class) in $(Y\times[0,1])\#N\overline{\mathbb CP^2}$, where $Y$ is a rational homology sphere, is smaller than the Seifert genus of $K$, then $K$ has Property G. When the smooth $4$genus is $0$, $Y$ can be taken to be any closed, oriented $3$manifold.
 [4] arXiv:2007.03728 [pdf, other]

Title: Learning to Optimize Power Distribution Grids using SensitivityInformed Deep Neural NetworksComments: Manuscript under reviewSubjects: Optimization and Control (math.OC)
Deep learning for distribution grid optimization can be advocated as a promising solution for nearoptimal yet timely inverter dispatch. The principle is to train a deep neural network (DNN) to predict the solutions of an optimal power flow (OPF), thus shifting the computational effort from realtime to offline. Nonetheless, before training this DNN, one has to solve a large number of OPFs to create a labeled dataset. Granted the latter step can still be prohibitive in timecritical applications, this work puts forth an original technique for improving the prediction accuracy of DNNs by taking into account the sensitivities of the OPF minimizers with respect to the OPF parameters. By expanding on multiparametric programming, it is shown that although inverter control problems may exhibit dual degeneracy, the required sensitivities do exist in general and can be computed readily using the output of any standard quadratic program (QP) solver. Numerical tests showcase that sensitivityinformed deep learning can enhance prediction accuracy in terms of mean square error (MSE) by 23 orders of magnitude at minimal computational overhead. Improvements are more significant in the smalldata regime, where a DNN has to learn to optimize using a few examples. Beyond multiparametric QPs, the approach is currently being generalized to parametric (non)convex optimization problems.
 [5] arXiv:2007.03729 [pdf, ps, other]

Title: Robust and effective eSIF preconditioning for general SPD matricesAuthors: Jianlin XiaSubjects: Numerical Analysis (math.NA)
We propose an unconditionally robust and highly effective preconditioner for general symmetric positive definite (SPD) matrices based on structured incomplete factorization (SIF), called enhanced SIF (eSIF) preconditioner. The original SIF strategy proposed recently derives a structured preconditioner by applying block diagonal preprocessing to the matrix and then compressing appropriate scaled offdiagonal blocks. Here, we use an enhanced scalingandcompression strategy to design the new eSIF preconditioner. Some subtle modifications are made, such as the use of twosided block triangular preprocessing. A practical multilevel eSIF scheme is then designed. We give rigorous analysis for both the enhanced scalingandcompression strategy and the multilevel eSIF preconditioner. The new eSIF framework has some significant advantages and overcomes some major limitations of the SIF strategy. (i) With the same tolerance for compressing the offdiagonal blocks, the eSIF preconditioner can approximate the original matrix to a much higher accuracy. (ii) The new preconditioner leads to much more significant reductions of condition numbers due to an accelerated magnification effect for the decay in the singular values of the scaled offdiagonal blocks. (iii) With the new preconditioner, the eigenvalues of the preconditioned matrix are much better clustered around $1$. (iv) The multilevel eSIF preconditioner is further unconditionally robust or is guaranteed to be positive definite without the need of extra stabilization, while the multilevel SIF preconditioner has a strict requirement in order to preserve positive definiteness. Comprehensive numerical tests are used to show the advantages of the eSIF preconditioner in accelerating the convergence of iterative solutions.
 [6] arXiv:2007.03736 [pdf, ps, other]

Title: On exponential bases and frames with nonlinear phase functions and some applicationsSubjects: Functional Analysis (math.FA)
In this paper, we study the spectrality and framespectrality of exponential systems of the type $E(\Lambda,\varphi) = \{e^{2\pi i \lambda\cdot\varphi(x)}: \lambda\in\Lambda\}$ where the phase function $\varphi$ is a Borel measurable which is not necessarily linear. A complete characterization of pairs $(\Lambda,\varphi)$ for which $E(\Lambda,\varphi)$ is an orthogonal basis or a frame for $L^{2}(\mu)$ is obtained. In particular, we show that the middlethird Cantor measures and the unit disc, each admits an orthogonal basis with a certain nonlinear phase. Under a natural regularity condition on the phase functions, when $\mu$ is the Lebesgue measure on $[0,1]$ and $\Lambda= {\mathbb{Z}},$ we show that only the standard phase functions $\varphi(x) = \pm x$ are the only possible functions that give rise to orthonormal bases. Surprisingly, however we prove that there exist a greater degree of flexibility, even for continuously differentiable phase functions in higher dimensions. For instance, we were able to describe a large class of functions $\varphi$ defined on ${\mathbb{R}}^{d}$ such that the system $E(\Lambda,\varphi)$ is an orthonormal basis for $L^{2}[0,1]^{d}$ when $d\geq2.$ Moreover, we discuss how our results apply to the discretization problem of unitary representations of locally compact groups for the construction of orthonormal bases. Finally, we conclude the paper by stating several open problems.
 [7] arXiv:2007.03737 [pdf, ps, other]

Title: Cooperative halfguards in art galleriesSubjects: Combinatorics (math.CO)
In any simple polygonal art gallery with n walls, we show that it is possible to place floor(n/2)1 guards whose range of vision is 180 degrees in such a way that every interior point of the gallery can be seen by one of them, and such that the mutual visibility graph formed by the guards is connected. This upper bound is tight, in that there exist galleries which require this number of guards, and equals the known result for guards with full 360 degree range of vision. We also show that for orthogonal art galleries, this result may be improved to floor(n/2)2 guards with 180 degree range of vision.
 [8] arXiv:2007.03770 [pdf, ps, other]

Title: Propagation Dynamics for Monotone Evolution Systems without Spatial Translation InvarianceSubjects: Analysis of PDEs (math.AP)
In this paper,under an abstract setting we establish the existence of spatially inhomogeneous steady states and the asymptotic propagation properties for a large class of monotone evolution systems without spatial translation invariance. Then we apply the developed theory to study traveling waves and spatiotemporal propagation patterns for timedelayed nonlocal equations, reactiondiffusion equations in a cylinder, and asymptotically homogeneous KPPtype equations. We also obtain the existence of steady state solutions and asymptotic spreading properties of solutions for a timedelayed reactiondiffusion equation subject to the Dirichlet boundary condition.
 [9] arXiv:2007.03782 [pdf]

Title: Four CubesAuthors: Szymon ŁukaszykComments: (10 pages, 7 figures)Subjects: General Mathematics (math.GM)
A short survey on the properties of four graphs constructed in $\{0, 1\}^n$ Boolean space is presented. Flexible activation function of an artificial neuron in a sparse distributed memory model is defined on the basis of the Ugly duckling theorem. Cotan Laplacian on 2face triangulation of $n$cube has degenerate spectrum of eigenvalues corresponding to the Hamming distance distribution of $\{0, 1\}^n$ space. Degenerate spectrum of eigenvalues of the cotan Laplacian defined on the graph comprising 2$n$ 2face triangulated $n$cubes sharing common origin includes all integers from 0 to 3$n$, without the eigenvalue of 3$n$1 (multiplicities of the same eigenvalues form A038717 OEIS sequence).
 [10] arXiv:2007.03790 [pdf, ps, other]

Title: The $λ$Cosine Transforms, Differential Operators, and Funk Transforms on Stiefel and Grassmann ManifoldsAuthors: Boris RubinComments: 41 pagesSubjects: Functional Analysis (math.FA)
We introduce a new family of invariant differential operators associated with $\lambda$cosine and FunkRadon transforms on Stiefel and Grassmann manifolds. These operators reduce the order of the $\lambda$cosine transforms and yield new inversion formulas. Intermediate Funkcosine transforms corresponding to integration over matrices of lower rank are studied. The main tools are polar decomposition and Fourier analysis on matrix space.
 [11] arXiv:2007.03793 [pdf, other]

Title: Approximation of surface diffusion flow: a second order variational CahnHilliard model with degenerate mobilitiesSubjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
This paper tackles the approximation of surface diffusion flow using a CahnHilliardtype model. We introduce and analyze a new second order variational phase field model which associates the classical CahnHilliard energy with two degenerate mobilities. This association allows to gain an order of approximation of the sharp limit. In a second part, we propose some simple and efficient numerical schemes to approximate the solutions, and we provide numerical 2D and 3D experiments that illustrate the interest of our model in comparison with other CahnHilliard models.
 [12] arXiv:2007.03798 [pdf, ps, other]

Title: Determination of convex functions via proximal operatorsAuthors: Emilio VilchesSubjects: Optimization and Control (math.OC)
We provide comparison principles for convex functions through its proximal mappings. Consequently, we prove that the norm of the proximal operator determines a convex the function up to a constant.
 [13] arXiv:2007.03801 [pdf, other]

Title: A variable timestepping algorithm for the unsteady Stokes/Darcy modelSubjects: Numerical Analysis (math.NA)
This report considers a variable step time discretization algorithm proposed by Dahlquist, Liniger and Nevanlinna and applies the algorithm to the unsteady Stokes/Darcy model. Although longtime forgotten and little explored, the algorithm performs advantages in variable timestep analysis of various fluid flow systems, including the coupled Stokes/Darcy model. The paper proves that the approximate solutions to the unsteady Stokes/Darcy model are unconditionally stable due to the Gstability of the algorithm. Also variable time stepping error analysis follows from the combination of Gstability and consistency of the algorithm. Numerical experiments further verify the theoretical results, demonstrating the accuracy and stability of the algorithm for timedependent Stokes/Darcy model.
 [14] arXiv:2007.03803 [pdf, ps, other]

Title: Limit theorems for higher rank actions on Heisenberg nilmanifoldsAuthors: Minsung KimComments: 34 pagesSubjects: Dynamical Systems (math.DS)
The main result of this paper is a construction of finitely additive measures for higher rank action on Heisenberg nilmanifold. Under a full measure set of Diophantine condition of the generators of the action, we construct Bufetov functional on rectangles on 2g + 1 dimensional Heisenberg manifold. We prove the deviation of ergodic integral of higher rank actions by its asymptotics to Bufetov functionals for sufficiently smooth functions. In this paper, we derive limit distribution which proves normalized ergodic integrals to have variance 1 converges in distribution to a nondegenerate compactly supported measure on the real line.
 [15] arXiv:2007.03806 [pdf, ps, other]

Title: Integrable bounded weight modules of classical Lie superalgebras at infinityComments: 28 pagesSubjects: Representation Theory (math.RT)
We classify integrable bounded simple weight modules over classical Lie superalgebras at infinity. We also study the categories of such modules, and we prove that for most of the classical Lie superalgebras at infinity the respective category is semisimple.
 [16] arXiv:2007.03818 [pdf, ps, other]

Title: Generic simplicity of quantum Hamiltonian reductionsAuthors: Akaki TikaradzeComments: 4 pages, preliminary version, all comments welcomeSubjects: Quantum Algebra (math.QA)
Let a reductive group $G$ act on a smooth affine complex algebraic variety $X.$ Let $\mathfrak{g}$ be the Lie algebra of $G$ and $\mu:T^*(X)\to \mathfrak{g}$ be the moment map. If the moment map is flat, and for a generic character $\chi:\mathfrak{g}\to\mathbb{C}$, the action of $G$ on $\mu^{1}(\chi)$ is free, then we show that for very generic characters $\chi$ the corresponding quantum Hamiltonian reduction of the ring of differential operators $D(X)$ is simple.
 [17] arXiv:2007.03820 [pdf, other]

Title: On Hamiltonian cycles in hypergraphs with dense link graphsComments: Dedicated to Endre Szemer\'edi on the occasion of his 80th birthdaySubjects: Combinatorics (math.CO)
We show that every $k$uniform hypergraph on $n$ vertices whose minimum $(k2)$degree is at least $(5/9+o(1))n^2/2$ contains a Hamiltonian cycle. A construction due to Han and Zhao shows that this minimum degree condition is optimal. The same result was proved independently by Lang and SahuezaMatamala.
 [18] arXiv:2007.03821 [pdf, ps, other]

Title: Run Distribution Over Flattened PartitionsAuthors: O. Nabawanda (1), F. Rakotondrajao (2), A. S. Bamunoba (1) ((1) Makerere University, (2) Universite d'Antananarivo)Comments: 14 pages Accepted for publication Corresponded by O. NabawandaSubjects: Combinatorics (math.CO)
The study of flattened partitions is an active area of current research. In this paper, our study unexpectedly leads us to the OEIS numbers A124324. We provide a new combinatorial interpretation of these numbers. A combinatorial bijection between flattened partitions over $[n+1]$ and the partitions of $[n]$ is also given in a separate section. We introduce the numbers $f_{n, k}$ which count the number of flattened partitions over $[n]$ having $k$ runs. We give recurrence relations defining them, as well as their exponential generating function in differential form. It should be appreciated if its closed form is established. We extend the results to flattened partitions where the first $s$ integers belong to different runs. Combinatorial proofs are given.
 [19] arXiv:2007.03826 [pdf, ps, other]

Title: Alexander polynomial and spanning treesComments: 13 pages. Comments are welcomeSubjects: Geometric Topology (math.GT)
Inspired by the combinatorial constructions in earlier work of the authors that generalized the classical Alexander polynomial to a large class of spatial graphs with a balanced weight on edges, we show that the value of the Alexander polynomial evaluated at $t=1$ gives the weighted number of the spanning trees of the graph.
 [20] arXiv:2007.03827 [pdf, other]

Title: Decentralized Content Dissemination in Fog Radio Access Network Using Unsupervised Learning Empowered RateSplitting FrameworkComments: 35 pages, 6 figuresSubjects: Information Theory (cs.IT)
Multihop devicetodevice (D2D) communicationaided decentralized content dissemination is investigated for a fog radio access network (FRAN). In the proposed framework, two contentsharing D2D links establish a devicecluster. In each devicecluster, the contentholder deviceusers (DUs) transmit to the contentrequester DUs via a relay fog userequipment (FUE) over the same radio resource blocks (RRBs). Such RRBs are shared with uplink FRAN as well. Ratesplitting and common message decoding are used at each devicecluster. A multiobjective resource optimization, for deviceclustering, device power allocation, and scheduling of RRBs and relay FUEs, is devised to simultaneously maximize the overall capacity of D2D links and minimize transmission power of the active devices. The formulated optimization problem is solved in two steps. First, by utilizing twodimensional principal component analysis based unsupervisedlearning technique, a lowcomplexity deviceclustering method is proposed. Second, a Stackelberg resource scheduling game is exploited to obtain the devices' power allocations and scheduling of RRBs and relay FUEs among the deviceclusters. A decentralized content dissemination framework, referred as ratesplitting for multihop D2D (RSMD), is developed. The convergence of the proposed RSMD framework to a Stackelbergequilibrium and Paretoefficient outcome is justified. Through extensive simulations, efficiency of the proposed RSMD framework is demonstrated.
 [21] arXiv:2007.03830 [pdf, ps, other]

Title: Computational SemiDiscrete Optimal Transport with General Storage FeesAuthors: Mohit BansilComments: 23 pages, comments welcome!Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
We propose and analyze a modified damped Newton algorithm to solve the semidiscrete optimal transport with storage fees. We prove global linear convergence for a wide range of storage fee functions, the main assumption being that each warehouse's storage costs are independent. We show that if $F$ is an arbitrary storage fee function that satisfies this independence condition then $F$ can be perturbed into a new storage fee function so that our algorithm converges. We also show that the optimizers are stable under these perturbations. Furthermore, our results come with quantitative rates.
 [22] arXiv:2007.03831 [pdf, other]

Title: Scattering amplitudes of stable curvesAuthors: Jenia TevelevComments: 51 pagesSubjects: Algebraic Geometry (math.AG)
Equations of hypertree divisors on the GrothendieckKnudsen moduli space of stable rational curves, introduced by Castravet and Tevelev, appear as numerators of scattering amplitude forms for n massless particles in N=4 YangMills theory in the work of ArkaniHamed, Bourjaily, Cachazo, Postnikov and Trnka. Rather than being a coincidence, this is just the tip of the iceberg of an exciting relation between algebraic geometry and high energy physics. We interpret scattering amplitude forms as probabilistic BrillNoether theory: the study of statistics of images of n marked points under a random meromorphic function uniformly distributed with respect to the translationinvariant volume form of the Jacobian. We focus on the maximum helicity violating regime, which leads to a beautiful physicsinspired geometry for various classes of algebraic curves: smooth, stable, hyperelliptic, real algebraic, etc.
 [23] arXiv:2007.03842 [pdf, ps, other]

Title: Hochschild and Cyclic Homology of Quantum Kummer SpacesAuthors: Safdar QuddusSubjects: KTheory and Homology (math.KT)
We study the quotient space obtained by the flip action on the quantum ntori. The Hochschild, cyclic and periodic cyclic homology are calculated.
 [24] arXiv:2007.03845 [pdf, ps, other]

Title: Universal rings of invariantsAuthors: Ehud MeirComments: 38 pages, 13 figuresSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
Let $K$ be an algebraically closed field of characteristic zero. Algebraic structures of a specific type (e.g. algebras or coalgebras) on a given vector space $W$ over $K$ can be encoded as points in an affine space $U(W)$. This space is equipped with a $\text{GL}(W)$ action, and two points define isomorphic structures if and only if they lie in the same orbit. This leads to study the ring of invariants $K[U(W)]^{\text{GL}(W)}$. We describe this ring by generators and relations. We then construct combinatorially a commutative ring $K[X]$ which specializes to all rings of invariants of the form $K[U(W)]^{\text{GL}(W)}$. We show that the commutative ring $K[X]$ has a richer structure of a Hopf algebra with additional coproduct, grading, and an inner product which makes it into a rational PSHalgebra, generalizing a structure introduced by Zelevinsky. We finish with a detailed study of $K[X]$ in the case of an algebraic structure consisting of a single endomorphism, and show how the rings of invariants $K[U(W)]^{\text{GL}(W)}$ can be calculated explicitly from $K[X]$ in this case.
 [25] arXiv:2007.03846 [pdf, other]

Title: Fully discrete loosely coupled RobinRobin scheme for incompressible fluidstructure interaction: stability and error analysisSubjects: Numerical Analysis (math.NA)
We consider a fully discrete loosely coupled scheme for incompressible fluidstructure interaction based on the time semidiscrete splitting method introduced in {\emph{[Burman, Durst \& Guzm\'an, arXiv:1911.06760]}}. The splittling method uses a RobinRobin type coupling that allows for a segregated solution of the solid and the fluid systems, without inner iterations. For the discretisation in space we consider piecewise affine continuous finite elements for all the fields and ensure the infsup condition by using a BrezziPitk\"aranta type pressure stabilization. The interfacial fluidstresses are evaluated in a variationally consistent fashion, that is shown to admit an equivalent Lagrange multiplier formulation. We prove that the method is unconditionally stable and robust with respect to the amount of addedmass in the system. Furthermore, we provide an error estimate that shows the error in the natural energy norm for the system is $\mathcal O\big(\sqrt{T}(\sqrt{\Delta t} + h)\big)$ where $T$ is the final time, $\Delta t$ the timestep length and $h$ the space discretization parameter.
 [26] arXiv:2007.03847 [pdf, other]

Title: Fast Monte Carlo Simulation of Dynamic Power Systems Under Continuous Random DisturbancesAuthors: Yiwei Qiu (1), Jin Lin (1), Xiaoshuang Chen (1), Feng Liu (1), Yonghua Song (2 and 1) ((1) State Key Laboratory of Control and Simulation of Power Systems and Generation Equipment, Department of Electrical Engineering, Tsinghua University, (2) Department of Electrical and Computer Engineering, University of Macau)Comments: Accepted in IEEE PES General Meeting 2020Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Continuoustime random disturbances from the renewable generation pose a significant impact on power system dynamic behavior. In evaluating this impact, the disturbances must be considered as continuoustime random processes instead of random variables that do not vary with time to ensure accuracy. Monte Carlo simulation (MCs) is a nonintrusive method to evaluate such impact that can be performed on commercial power system simulation software and is easy for power utilities to use, but is computationally cumbersome. Fast samplings methods such as Latin hypercube sampling (LHS) have been introduced to speed up sampling random variables, but yet cannot be applied to sample continuous disturbances. To overcome this limitation, this paper proposes a fast MCs method that enables the LHS to speed up sampling continuous disturbances, which is based on the It\^{o} process model of the disturbances and the approximation of the It\^{o} process by functions of independent normal random variables. A case study of the IEEE 39Bus System shows that the proposed method is 47.6 and 6.7 times faster to converge compared to the traditional MCs in evaluating the expectation and variance of the system dynamic response.
 [27] arXiv:2007.03849 [pdf, ps, other]

Title: Global solutions to the compressible Euler equations with heat transport by convection around Dyson's isothermal affine solutionsAuthors: Calum RickardSubjects: Analysis of PDEs (math.AP)
Global solutions to the compressible Euler equations with heat transport by convection in the whole space are shown to exist through perturbations of Dyson's isothermal affine solutions. This setting presents new difficulties because of the vacuum at infinity behavior of the density. In particular, the perturbation of isothermal motion introduces a Gaussian function into our stability analysis and a novel finite propagation result is proven to handle potentially unbounded terms arising from the presence of the Gaussian. Crucial stabilizationintime effects of the background motion are mitigated through the use of this finite propagation result however and a careful use of the heat transport formulation in conjunction with new time weight manipulations are used to establish global existence. The heat transport by convection offers unique physical insights into the model and mathematically, we use a controlled spatial perturbation in the analysis of this feature of our system which leads us to exploit source term estimates as part of our techniques.
 [28] arXiv:2007.03853 [pdf, ps, other]

Title: Convergence rates in homogenization of parabolic systems with locally periodic coefficientsAuthors: Yao XuComments: 36 pagesSubjects: Analysis of PDEs (math.AP)
In this paper we study the quantitative homogenization of secondorder parabolic systems with locally periodic (in both space and time) coefficients. The $O(\varepsilon)$ scaleinvariant error estimate in $L^2(0, T; L^{\frac{2d}{d1}}(\Omega))$ is established in $C^{1, 1}$ cylinders under nearly minimum smoothness conditions on the coefficients. This process relies on the good use of smoothing operators and fractional derivatives on intervals. We also develop a new estimate for temporal boundary layers. The paper improves the corresponding result of [21].
 [29] arXiv:2007.03861 [pdf, other]

Title: On the Analysis of Modelfree Methods for the Linear Quadratic RegulatorSubjects: Optimization and Control (math.OC)
Many reinforcement learning methods achieve great success in practice but lack theoretical foundation. In this paper, we study the convergence analysis on the problem of the Linear Quadratic Regulator (LQR). The global linear convergence properties and sample complexities are established for several popular algorithms such as the policy gradient algorithm, TDlearning and the actorcritic (AC) algorithm. Our results show that the actorcritic algorithm can reduce the sample complexity compared with the policy gradient algorithm. Although our analysis is still preliminary, it explains the benefit of AC algorithm in a certain sense.
 [30] arXiv:2007.03888 [pdf, ps, other]

Title: Stochastic forms of Brunn's principleSubjects: Metric Geometry (math.MG); Classical Analysis and ODEs (math.CA); Probability (math.PR)
A number of geometric inequalities for convex sets arising from Brunn's concavity principle have recently been shown to yield local stochastic formulations. Comparatively, there has been much less progress towards stochastic forms of related functional inequalities. We work towards a stochastic geometry of concave functions to establish local versions of dimensional forms of Brunn's principle a la Borell, BrascampLieb, and Rinott. To do so, we define shadow systems of convex epigraphs and hypographs, and revisit Rinott's approach in the context of multiple integral rearrangement inequalities.
 [31] arXiv:2007.03895 [pdf, ps, other]

Title: Proof of the Strong Scott Conjecture for Heavy Atoms: the Furry PictureSubjects: Mathematical Physics (mathph)
We prove the convergence of the density on the scale $Z^{1}$ to the density of the Bohr atom (with infinitely many electrons) (strong Scott conjecture) for a model that is known to describe heavy atoms accurately.
 [32] arXiv:2007.03901 [pdf, ps, other]

Title: Quantum channels with quantum group symmetrySubjects: Mathematical Physics (mathph); Operator Algebras (math.OA); Quantum Algebra (math.QA); Quantum Physics (quantph)
In this paper we will demonstrate that any compact quantum group can be used as symmetry groups for quantum channels, which leads us to the concept of covariant channels. We, then, unearth the structure of the convex set of covariant channels by identifying all extreme points under the assumption of multiplicityfree condition for the associated fusion rule, which provides a wide generalization of some recent results. The presence of quantum group symmetry contrast to the group symmetry will be highlighted in the examples of quantum permutation groups and $SU_q(2)$. In the latter example, we will see the necessity of the Heisenberg picture coming from the nonKac type condition. This paper ends with the covariance with respect to projective representations, which leads us back to Weyl covariant channels and its fermionic analogue.
 [33] arXiv:2007.03907 [pdf, ps, other]

Title: Lack of isomorphic embeddings of symmetric function spaces into operator idealsSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
Let $E(0,1)$ be a symmetric space on $(0,1)$ and $C_F$ be a symmetric ideal of compact operators on the Hilbert space $\ell_2$ associated with a symmetric sequence space $F$. We give several criteria for $E(0,1)$ and $ F$ so that $E(0,1)$ does not embed into the ideal $C_F$, extending the result for the case when $E(0,1)=L_p(0,1)$ and $F=\ell_p $, $1\le p<\infty$, due to Arazy and Lindenstrauss.
 [34] arXiv:2007.03911 [pdf, other]

Title: Maxsum tests for crosssectional dependence of highdemensional panel dataComments: 106 pages, 1 figureSubjects: Statistics Theory (math.ST); Econometrics (econ.EM)
We consider a testing problem for crosssectional dependence for highdimensional panel data, where the number of crosssectional units is potentially much larger than the number of observations. The crosssectional dependence is described through a linear regression model. We study three tests named the sum test, the max test and the maxsum test, where the latter two are new. The sum test is initially proposed by Breusch and Pagan (1980). We design the max and sum tests for sparse and nonsparse residuals in the linear regressions, respectively.And the maxsum test is devised to compromise both situations on the residuals. Indeed, our simulation shows that the maxsum test outperforms the previous two tests. This makes the maxsum test very useful in practice where sparsity or not for a set of data is usually vague. Towards the theoretical analysis of the three tests, we have settled two conjectures regarding the sum of squares of sample correlation coefficients asked by Pesaran (2004 and 2008). In addition, we establish the asymptotic theory for maxima of sample correlations coefficients appeared in the linear regression model for panel data, which is also the first successful attempt to our knowledge. To study the maxsum test, we create a novel method to show asymptotic independence between maxima and sums of dependent random variables. We expect the method itself is useful for other problems of this nature. Finally, an extensive simulation study as well as a case study are carried out. They demonstrate advantages of our proposed methods in terms of both empirical powers and robustness for residuals regardless of sparsity or not.
 [35] arXiv:2007.03917 [pdf, ps, other]

Title: Classifying relaxed highestweight modules for admissiblelevel BershadskyPolyakov algebrasComments: 35 pages, 7 figures, 1 tableSubjects: Representation Theory (math.RT); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Algebra (math.QA)
The BershadskyPolyakov algebras are the minimal quantum hamiltonian reductions of the affine vertex algebras associated to $\mathfrak{sl}_3$ and their simple quotients have a long history of applications in conformal field theory and string theory. Their representation theories are therefore quite interesting. Here, we classify the simple relaxed highestweight modules for all admissible but nonintegral levels, significantly generalising the known highestweight classifications [arxiv:1005.0185, arxiv:1910.13781]. In particular, we prove that the simple BershadskyPolyakov algebras with admissible nonintegral $\mathsf{k}$ are always rational in category $\mathscr{O}$, whilst they always admit nonsemisimple relaxed highestweight modules unless $\mathsf{k}+\frac{3}{2} \in \mathbb{Z}_{\ge0}$.
 [36] arXiv:2007.03918 [pdf, ps, other]

Title: Magnetic Geodesics on the Space of Kähler PotentialsAuthors: Sibel SahinComments: 8 pagesSubjects: Complex Variables (math.CV); Differential Geometry (math.DG)
In this work, magnetic geodesics over the space of K\"ahler potentials are studied through a variational method for a generalized LandauHall functional. The magnetic geodesic equation is calculated in this setting and its relation to a perturbed complex MongeAmp\`ere equation is given. Lastly, the magnetic geodesic equation is considered over the special case of toric K\"ahler potentials over toric K\"ahler manifolds.
 [37] arXiv:2007.03925 [pdf, ps, other]

Title: Hidden symmetry algebra and construction of quadratic algebras of superintegrable systemsComments: 12 pagesSubjects: Mathematical Physics (mathph)
The notion of hidden symmetry algebra used in the context of exactly solvable systems is reexamined from the purely algebraic way, analyzing subspaces of commuting polynomials that generate finitedimensional quadratic algebras. By construction, these algebras do not depend on the choice of realizations by vector fields of the underlying Lie algebra, allowing to propose a procedure to analyze polynomial algebras as those subspaces in an enveloping algebra that commute with a given algebraic Hamiltonian.
 [38] arXiv:2007.03928 [pdf, other]

Title: Nonparametric mean curvature flow with prescribed contact angle in Riemannian productsSubjects: Differential Geometry (math.DG)
In this short note, we prove that a graphical solution to the mean curvature flow with prescribed contact angle converges to $u_\infty +Ct$, where $u_\infty$ is a translating soliton with speed $C$, as time $t$ goes to infinity. Our result holds on any smooth relatively compact subdomain $\Omega\subset N$ of a Riemannian manifold $N$ of arbitrary dimension. This generalizes previous results of AltschulerWu (1994) and Zhou (2018). Our proof is based on a uniform gradient estimate in the spirit of Korevaar.
 [39] arXiv:2007.03949 [pdf, ps, other]

Title: Atomic weights and the combinatorial game of BipassComments: 21 pages, 6 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We define an allsmall ruleset, Bipass, within the normalplay theory of combinatorial games. A game is played on finite strips of black and white stones. Stones of different colors are swapped provided they do not bypass one of their own kind. We find a surjective function from the strips to integer atomic weights (Berlekamp, Conway and Guy 1982) that measures the number of 'units' in allsmall games. This result provides explicit winning strategies for many games, and in cases where it does not, it gives narrow bounds for the canonical form game values. We prove that the game value *2 does not appear as a disjunctive sum of Bipass. Moreover, we find game values for some parametrized families of games, including an infinite number of strips of value *.
 [40] arXiv:2007.03952 [pdf, ps, other]

Title: On continuous selections of polynomial functionsComments: 28 pagesSubjects: Optimization and Control (math.OC)
A continuous selection of polynomial functions is a continuous function whose domain can be partitioned into finitely many pieces on which the function coincides with a polynomial. Given a set of finitely many polynomials, we show that there are only finitely many continuous selections of it and each one is semialgebraic. Then, we establish some generic properties regarding the critical points, defined by the Clarke subdifferential, of these continuous selections. In particular, given a set of finitely many polynomials with generic coefficients, we show that the critical points of all continuous selections of it are finite and the critical values are all different, and we also derive the coercivity of those continuous selections which are bounded from below. We point out that some existing results about {\L}ojasiewicz's inequality and error bounds for the maximum function of some finitely many polynomials are also valid for all the continuous selections of them.
 [41] arXiv:2007.03954 [pdf, ps, other]

Title: A competition on blowup of solutions to semilinear wave equations with scaleinvariant damping and nonlinear memory termSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate blowup of solutions to the Cauchy problem for semilinear wave equations with scaleinvariant damping and nonlinear memory term, which can be represented by the RiemannLiouville fractional integral of order $1\gamma$ with $\gamma\in(0,1)$. Our main interest is to study mixed influence of various kinds from damping term and the nonlinear memory kernel on the blowup condition for the power of nonlinearity by using test function method or generalized Kato's type lemma. We find a new competition, particularly for the small value of $\gamma$, on the blowup between the effective case and the noneffective case.
 [42] arXiv:2007.03957 [pdf, ps, other]

Title: Evaluation of onedimensional polylogarithmic integral, with applications to infinite seriesAuthors: Kam Cheong AuSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)
We give systematic method to evaluate a large class of onedimensional integral relating to multiple zeta values (MZV) and colored MZV. We then apply our theory to evaluate some infinite series involving $\binom{2n}{n}$ or $\binom{3n}{n}$. Including some rapidly convergent series for $\zeta(\bar{5},1)$ and $\zeta(\bar{5},1,1)$.
 [43] arXiv:2007.03959 [pdf, ps, other]

Title: Nonmonotone target sets for threshold values restricted to $0$, $1$, and the vertex degreeSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We consider a nonmonotone activation process $(X_t)_{t\in\{ 0,1,2,\ldots\}}$ on a graph $G$, where $X_0\subseteq V(G)$, $X_t=\{ u\in V(G):N_G(u)\cap X_{t1}\geq \tau(u)\}$ for every positive integer $t$, and $\tau:V(G)\to \mathbb{Z}$ is a threshold function. The set $X_0$ is a socalled nonmonotone target set for $(G,\tau)$ if there is some $t_0$ such that $X_t=V(G)$ for every $t\geq t_0$. BenZwi, Hermelin, Lokshtanov, and Newman [Discrete Optimization 8 (2011) 8796] asked whether a target set of minimum order can be determined efficiently if $G$ is a tree. We answer their question in the affirmative for threshold functions $\tau$ satisfying $\tau(u)\in \{ 0,1,d_G(u)\}$ for every vertex $u$. For such restricted threshold functions, we give a characterization of target sets that allows to show that the minimum target set problem remains NPhard for graphs of maximum degree $4$ but is efficiently solvable for graphs of bounded treewidth.
 [44] arXiv:2007.03960 [pdf, other]

Title: On Entropic Optimization and Path Integral ControlSubjects: Optimization and Control (math.OC); Information Theory (cs.IT)
This article is motivated by the question whether it is possible to solve optimal control (OC) or dynamic optimization problems in a similar fashion to how static optimization problems can be addressed with Evolutionary Strategies (ES). The latter maintain a sequence of Gaussian search distributions that converge to the optimum. For the moment, this question has been answered partially by a set of algorithms that are known as Path Integral Control (PIC). Those maintain a sequence of locally linear Gaussian feedback controllers. So far PIC methods have been derived solely from the theory of Linearly Solvable OC, which includes only a narrow subset of optimal control problems and has only limited application potential as a consequence. We aim to address this question within a more general mathematical setting. Therefore, we first identify the framework of entropic inference as a suitable setting to synthesise stochastic search algorithms. Therewith we establish the formal framework of entropic optimization and provide a compelling justification for the inclusion of entropy measures in stochastic optimization. From this theory follows a formal optimal search distribution sequence which converges monotonically to the Dirac delta distribution centred at the optimum. Then we demonstrate how this result can be used to derive Gaussian search distributions similar to existing ES. We then proceed to transfer these ideas from a static to a dynamic setting, therewith establishing the framework of Entropic OC which shares characteristics with entropy based Reinforcement Learning. From this theory we can construct a number of formal optimal path distribution sequences. Thence we derive the outlines of a generalised algorithmic framework complementing the existing PIC class. Our main ambition is to reveal how all of these fields are related in a most exciting fashion.
 [45] arXiv:2007.03962 [pdf, ps, other]

Title: On homogeneous quasipositive linksAuthors: Tetsuya ItoComments: 4 pages, no FiguresSubjects: Geometric Topology (math.GT)
We discuss when homogeneous quasipositive links are positive. In particular, we show that a homogeneous diagram of a quasipositive link whose number of Seifert circles is equal to the braid index is a positive diagram.
 [46] arXiv:2007.03963 [pdf, ps, other]

Title: Algebraic structure of F_qlinear conjucyclic codes over finite field F_{q^2}Subjects: Information Theory (cs.IT)
Recently, Abualrub et al. illustrated the algebraic structure of additive conjucyclic codes over F_4 (Finite Fields Appl. 65 (2020) 101678). In this paper, our main objective is to generalize their theory. Via an isomorphic map, we give a canonical bijective correspondence between F_qlinear additive conjucyclic codes of length n over F_{q^2} and qary linear cyclic codes of length 2n. By defining the alternating inner product, our proposed isomorphic map preserving the orthogonality can also be proved. From the factorization of the polynomial x^{2n}1 over F_q, the enumeration of F_{q}linear additive conjucyclic codes of length n over F_{q^2} will be obtained. Moreover, we provide the generator and paritycheck matrices of these q^2ary additive conjucyclic codes of length n.
 [47] arXiv:2007.03964 [pdf, other]

Title: Responsive Safety in Reinforcement Learning by PID Lagrangian MethodsComments: ICML 2020Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
Lagrangian methods are widely used algorithms for constrained optimization problems, but their learning dynamics exhibit oscillations and overshoot which, when applied to safe reinforcement learning, leads to constraintviolating behavior during agent training. We address this shortcoming by proposing a novel Lagrange multiplier update method that utilizes derivatives of the constraint function. We take a controls perspective, wherein the traditional Lagrange multiplier update behaves as \emph{integral} control; our terms introduce \emph{proportional} and \emph{derivative} control, achieving favorable learning dynamics through damping and predictive measures. We apply our PID Lagrangian methods in deep RL, setting a new state of the art in Safety Gym, a safe RL benchmark. Lastly, we introduce a new method to ease controller tuning by providing invariance to the relative numerical scales of reward and cost. Our extensive experiments demonstrate improved performance and hyperparameter robustness, while our algorithms remain nearly as simple to derive and implement as the traditional Lagrangian approach.
 [48] arXiv:2007.03968 [pdf, ps, other]

Title: Growth of differential identitiesAuthors: Carla RizzoComments: Proceedings of workshop "Polynopmial identities in algebras", Springer INdAM SeriesSubjects: Rings and Algebras (math.RA); Combinatorics (math.CO); Representation Theory (math.RT)
In this paper we study the growth of the differential identities of some algebras with derivations, i.e., associative algebras where a Lie algebra $L$ (and its universal enveloping algebra $U(L)$) acts on them by derivations. In particular, we study in detail the differential identities and the cocharacter sequences of some algebras whose sequence of differential codimensions has polynomial growth. Moreover, we shall give a complete description of the differential identities of the algebra $UT_2$ of $2\times 2$ upper triangular matrices endowed with all possible action of a Lie algebra by derivations. Finally, we present the structure of the differential identities of the infinite dimensional Grassmann $G$ with respect to the action of a finite dimensional Lie algebra $L$ of inner derivations.
 [49] arXiv:2007.03971 [pdf, ps, other]

Title: Fundamental invariants of 2nondegenerate CR geometries with simple modelsAuthors: Jan GregorovičComments: 27 pp, comments welcomedSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
This article studies the fundamental invariants of 2nondegenerate CR geometries with simple models. We show that there are two sources of these invariants. The first source is the harmonic curvature of the parabolic geometry that appears (locally) on the leaf space of the Levi kernel. The second source is the difference between the complex structure on the complex tangent space of the CR geometry and the complex structure on the correspondence space to the underlying parabolic geometry. We show that the later fundamental invariants appear only when the model is generic and if they vanish, then the solution of the local equivalence problem of 2nondegenerate CR geometries with simple models is provided by the Cartan connection of the underlying parabolic geometry. We show that nontrivial examples of CR geometries with the later fundamental invariants can be obtained as deformations of the models.
 [50] arXiv:2007.03972 [pdf, other]

Title: Secure Distributed Matrix Computation with Discrete Fourier TransformComments: Under journal review, 13 pages, 3 figuresSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)
We consider the problem of secure distributed matrix computation (SDMC), where a \textit{user} can query a function of data matrices generated at distributed \textit{source} nodes. We assume the availability of $N$ honest but curious computation servers, which are connected to the sources, the user, and each other through orthogonal and reliable communication links. Our goal is to minimize the amount of data that must be transmitted from the sources to the servers, called the \textit{upload cost}, while guaranteeing that no $T$ colluding servers can learn any information about the source matrices, and the user cannot learn any information beyond the computation result. We first focus on secure distributed matrix multiplication (SDMM), considering two matrices, and propose a novel polynomial coding scheme using the properties of finite field discrete Fourier transform, which achieves an upload cost significantly lower than the existing results in the literature. We then generalize the proposed scheme to include straggler mitigation, as well as to the multiplication of multiple matrices while keeping the input matrices, the intermediate computation results, as well as the final result secure against any $T$ colluding servers. We also consider a special case, called computation with own data, where the data matrices used for computation belong to the user. In this case, we drop the security requirement against the user, and show that the proposed scheme achieves the minimal upload cost. We then propose methods for performing other common matrix computations securely on distributed servers, including changing the parameters of secret sharing, matrix transpose, matrix exponentiation, solving a linear system, and matrix inversion, which are then used to show how arbitrary matrix polynomials can be computed securely on distributed servers using the proposed procedure.
 [51] arXiv:2007.03977 [pdf, ps, other]

Title: Bifurcation diagram of a Robin boundary value problem arising in MEMSComments: 9 pages, 3 figuresSubjects: Analysis of PDEs (math.AP)
We consider a parabolic problem with Robin boundary condition which arises when the edge of a microelectromechanicalsystem (MEMS) device is connected with a flexible nonideal support. Then via a rigorous analysis we investigate the structure of the solution set of the corresponding steadystate problem. We show that a critical value (the pullin voltage) exists so that the system has exactly two stationary solutions when the applied voltage is lower than this critical value, one stationary solution for applying this critical voltage, and no stationary solution above the critical voltage.
 [52] arXiv:2007.03981 [pdf, ps, other]

Title: Fourier uniqueness in $\mathbb{R}^4$Authors: Andrew Bakan, Haakan Hedenmalm, Alfonso MontesRodriguez, Danylo Radchenko, Maryna ViazovskaComments: 3 pagesSubjects: Functional Analysis (math.FA); Number Theory (math.NT)
We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the KleinGordon equation and the latticecross of critical density, studied by Hedenmalm and MontesRodriguez. This has been known since 2017.
 [53] arXiv:2007.03982 [pdf, ps, other]

Title: On semidiscrete subpartitions of vectorvalued measuresComments: 9 pagesSubjects: Optimization and Control (math.OC)
We introduce a concept of optimal transport for vectorvalued measures and its dual formulation. In this note we concentrate on the semidiscrete case and show some fundamental differences between the scalar and vector cases. A manifestation of this difference is the possibility of nonexistence of optimal solution for the dual problem for feasible primer problems.
 [54] arXiv:2007.03983 [pdf, other]

Title: Dynamic social learning under graph constraintsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Probability (math.PR)
We argue that graphconstrained dynamic choice with reinforcement can be viewed as a scaled version of a special instance of replicator dynamics. The latter also arises as the limiting differential equation for the empirical measures of a vertex reinforced random walk on a directed graph. We use this equivalence to show that for a class of positively $\alpha$homogeneous rewards, $\alpha > 0$, the asymptotic outcome concentrates around the optimum in a certain limiting sense when `annealed' by letting $\alpha\uparrow\infty$ slowly. We also discuss connections with classical simulated annealing.
 [55] arXiv:2007.03984 [pdf, ps, other]

Title: Asymptotics of the number of 2threshold functionsComments: 25 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
A $k$threshold function over a twodimensional rectangular grid $\mathcal{G}_{m,n} = \{0,\dots,m1\} \times \{0,\dots,n1\}$ is the conjunction of $k$ linear threshold functions over the same domain. In this paper we focus on the case $k=2$ and show that the number of 2threshold functions defined on $\mathcal{G}_{m,n}$ is $\dfrac{25}{12\pi^4} m^4 n^4 + o(m^4n^4)$.
 [56] arXiv:2007.03986 [pdf, ps, other]

Title: A characterization of 2threshold functions via pairs of prime segmentsComments: 19 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In this paper we study 2threshold functions over a twodimensional rectangular grid also known as intersections of two halfplanes. We provide a characterization for 2threshold functions by pairs of oriented prime segments with certain properties, which we call proper. To this end, we first show that any proper $2$threshold function $f$ can be defined by a proper pair of segments. Then we prove that such a representation is unique if $f$ has a true point on the boundary of the grid. Finally, we establish a bijection between almost all proper pairs of segments and almost all $2$threshold functions. Due to this bijection almost all $2$threshold functions admit encoding by ordered sets of 4 integer points.
 [57] arXiv:2007.03990 [pdf, ps, other]

Title: Simple transitive 2representations of 2categories associated to selfinjective coresAuthors: Mateusz StroińskiComments: 38 pagesSubjects: Representation Theory (math.RT)
For a finitedimensional associative algebra $A$, we introduce the notion of a selfinjective core of $A$. Selfinjective cores of $A$ give rise to 2subcategories of the 2category of projective functors over $A$. We classify the simple transitive 2representations of a wide class of such 2subcategories. We also construct a family of noncell simple transitive 2representations of a certain 2semicategory of projective functors. The existence of such 2representations for a closely related 2category was conjectured by Jakob Zimmermann.
 [58] arXiv:2007.03991 [pdf, ps, other]

Title: Optimal Control of the 2D Evolutionary NavierStokes Equations with Measure Valued ControlsComments: 24 pagesSubjects: Optimization and Control (math.OC)
In this paper, we consider an optimal control problem for the twodimensional evolutionary NavierStokes system. Looking for sparsity, we take controls as functions of time taking values in a space of Borel measures. The cost functional does not involve directly the control but we assume some constraints on them. We prove the wellposedness of the control problem and derive necessary and sufficient conditions for local optimality of the controls.
 [59] arXiv:2007.03992 [pdf, ps, other]

Title: Quartic differentials and harmonic maps in conformal surface geometryComments: 15 pagesSubjects: Differential Geometry (math.DG)
We consider codimension 2 sphere congruences in pseudoconformal geometry that are harmonic with respect to the conformal structure of an orthogonal surface. We characterise the orthogonal surfaces of such congruences as either $S$Willmore surfaces, quasiumbilical surfaces, constant mean curvature surfaces in 3dimensional space forms or surfaces of constant lightlike mean curvature in 3dimensional lightcones. We then investigate Bryant's quartic differential in this context and show that generically this is divergence free if and only if the surface under consideration is either superconformal or orthogonal to a harmonic congruence of codimension 2 spheres. We may then apply the previous result to characterise surfaces with such a property.
 [60] arXiv:2007.03993 [pdf, ps, other]

Title: A variational theory of convolutiontype functionalsSubjects: Analysis of PDEs (math.AP)
We provide a general treatment of perturbations of a class of functionals modeled on convolution energies with integrable kernel which approximate the $p$th norm of the gradient as the kernel is scaled by letting a small parameter $\varepsilon$ tend to $0$. We first provide the necessary functionalanalytic tools to show coerciveness in $L^p$. The main result is a compactness and integralrepresentation theorem which shows that limits of convolutiontype energies is a standard local integral functional with $p$growth defined on a Sobolev space. This result is applied to obtain periodic homogenization results, to study applications to functionals defined on pointclouds, to stochastic homogenization and to the study of limits of the related gradient flows.
 [61] arXiv:2007.03996 [pdf, ps, other]

Title: A complete characterization of the APN property of a class of quadrinomialsSubjects: Information Theory (cs.IT); Number Theory (math.NT)
In this paper, by the HasseWeil bound, we determine the necessary and sufficient condition on coefficients $a_1,a_2,a_3\in\mathbb{F}_{2^n}$ with $n=2m$ such that $f(x) = {x}^{3\cdot2^m} + a_1x^{2^{m+1}+1} + a_2 x^{2^m+2} + a_3x^3$ is an APN function over $\mathbb{F}_{2^n}$. Our result resolves the first half of an open problem by Carlet in International Workshop on the Arithmetic of Finite Fields, 83107, 2014.
 [62] arXiv:2007.03998 [pdf, ps, other]

Title: The automorphism group of the modular curve $X_0^*(N)$ with squarefree levelSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We determine the automorphism group of the modular curve $X_0^*(N)$, obtained as the quotient of the modular curve $X_0(N)$ by the group of its AtkinLehner involutions, for all squarefree values of $N$.
 [63] arXiv:2007.03999 [pdf, other]

Title: Stacked adaptive dynamic programming with unknown system modelJournalref: IFACPapersOnLine, 50(1), 41504155 (2017)Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
Adaptive dynamic programming is a collective term for a variety of approaches to infinitehorizon optimal control. Common to all approaches is approximation of the infinitehorizon cost function based on dynamic programming philosophy. Typically, they also require knowledge of a dynamical model of the system. In the current work, application of adaptive dynamic programming to a system whose dynamical model is unknown to the controller is addressed. In order to realize the control algorithm, a model of the system dynamics is estimated with a Kalman filter. A stacked control scheme to boost the controller performance is suggested. The functioning of the new approach was verified in simulation and compared to the baseline represented by gradient descent on the running cost.
 [64] arXiv:2007.04012 [pdf, other]

Title: A pressurerobust discretization of Oseen's equation using stabilization in the vorticity equationAuthors: Naveed Ahmed, Gabriel R. Barrenechea, Erik Burman, Johnny Guzmán, Alexander Linke, Christian MerdonSubjects: Numerical Analysis (math.NA)
Discretization of NavierStokes' equations using pressurerobust finite element methods is considered for the high Reynolds number regime. To counter oscillations due to dominating convection we add a stabilization based on a bulk term in the form of a residualbased least squares stabilization of the vorticity equation supplemented by a penalty term on (certain components of) the gradient jump over the elements faces. Since the stabilization is based on the vorticity equation, it is independent of the pressure gradients, which makes it pressurerobust. Thus, we prove pressureindependent error estimates in the linearized case, known as Oseen's problem. In fact, we prove an $O(h^{k+\frac12})$ error estimate in the $L^2$norm that is known to be the best that can be expected for this type of problem. Numerical examples are provided that, in addition to confirming the theoretical results, show that the present method compares favorably to the classical residualbased SUPG stabilization.
 [65] arXiv:2007.04024 [pdf, ps, other]

Title: Structure of sets of solutions of parametrised semilinear elliptic systems on spheresSubjects: Analysis of PDEs (math.AP)
In this paper we study a parametrised noncooperative symmetric semilinear elliptic system on a sphere. Assuming that there exist critical orbits of the potential, we study the structure of the sets of solutions of the system. In particular, using the equivariant Rabinowitz Alternative we formulate sufficient conditions for a bifurcation of unbounded sets of solutions.
 [66] arXiv:2007.04026 [pdf, ps, other]

Title: Coding with Noiseless Feedback over the ZchannelComments: 15 pages, 4 figuresSubjects: Information Theory (cs.IT)
In this paper, we consider encoding strategies for the Zchannel with noiseless feedback. We analyze the asymptotic case where the maximal number of errors is proportional to the blocklength, which goes to infinity. Without feedback, the asymptotic rate of errorcorrecting codes for the error fraction $\tau\ge 1/4$ is known to be zero. It was also proved that using the feedback a nonzero asymptotic rate can be achieved for the error fraction $\tau <1/2$. In this paper, we give an encoding strategy that achieves the asymptotic rate $(1+\tau)(1  h(\tau/(1+\tau)))$, which is positive for all $\tau<1$. Additionally, we state an upper bound on the maximal asymptotic rate of errorcorrecting codes for the Zchannel.
 [67] arXiv:2007.04031 [pdf, ps, other]

Title: Dold sequences, periodic points, and dynamicsComments: 33 pages; surveySubjects: Dynamical Systems (math.DS); General Topology (math.GN)
In this survey we describe how the socalled Dold congruence arises in topology, and how it relates to periodic point counting in dynamical systems.
 [68] arXiv:2007.04034 [pdf, ps, other]

Title: Symplectic QfunctionsAuthors: Soichi OkadaComments: 38 pagesSubjects: Combinatorics (math.CO)
Symplectic $Q$functions are a symplectic analogue of Schur $Q$functions and defined as the $t=1$ specialization of HallLittlewood functions associated with the root system of type $C$. In this paper we prove that symplectic $Q$functions share many of the properties of Schur $Q$functions, such as a tableau description and a Pieritype rule. And we present some positivity conjectures, including the positivity conjecture of structure constants for symplectic $P$functions. We conclude by giving a tableau description of factorial symplectic $Q$functions.
 [69] arXiv:2007.04035 [pdf, ps, other]

Title: Bound states of discrete Schrödinger operators on one and two dimensional latticesComments: 23 pagesSubjects: Mathematical Physics (mathph); Functional Analysis (math.FA); Operator Algebras (math.OA); Spectral Theory (math.SP)
We study the spectral properties of discrete Schr\"odinger operator $$ \widehat H_\mu=\widehat H_0 + \mu \widehat{V},\qquad \mu\ge0, $$ associated to a oneparticle system in $d$dimensional lattice $\mathbb{Z}^d, $ $d=1,2,$ where the nonperturbed operator $\hat H_0$ is a selfadjoint LaurentToeplitztype operator generated by $\hat e:\mathbb{Z}^d\to\mathbb{C}$ and the potential $\hat V$ is the multiplication operator by $\hat v:\mathbb{Z}^d\to\mathbb{R}.$ Under certain regularity assumption on $\hat e$ and a decay assumption on $\hat v$, we establish the existence or nonexistence and also the finiteness of eigenvalues of $\hat H_\mu.$ Moreover, in the case of existence we study the asymptotics of eigenvalues of $\hat H_\mu$ as $\mu\searrow 0.$
 [70] arXiv:2007.04040 [pdf, ps, other]

Title: Some Distributional Properties of Linear Stochastic Differential EquationsSubjects: Probability (math.PR)
In this paper, we prove a sufficient and necessary condition for the transition probability distribution of a general, timeinhomogeneous linear SDE to possess a density function and study the differentiability of the density function and the transition quantile function of the SDE. Moreover, we completely characterize the support of the marginal distribution of this SDE.
 [71] arXiv:2007.04045 [pdf, ps, other]

Title: With Wronskian through the looking glassComments: 34 pagesSubjects: Representation Theory (math.RT)
In the work of Mukhin and Varchenko from 2002 there was introduced a Wronskian map from the variety of full flags in a finite dimensional vector space into a product of projective spaces. We establish a precise relationship between this map and the Pl\"ucker map. This allows us to recover the result of Varchenko and Wright saying that the polynomials appearing in the image of the Wronsky map are the initial values of the taufunctions for the KadomtsevPetviashvili hierarchy.
 [72] arXiv:2007.04046 [pdf, ps, other]

Title: Whittaker modules for the planar Galilean conformal algebra and its central extensionComments: 30 pages. Comments are welcomeSubjects: Representation Theory (math.RT)
Let $\mathcal{G}$ be the planar Galilean conformal algebra and $\widetilde{\mathcal{G}}$ be its universal central extension. Then $\mathcal{G}$ (resp. $\widetilde{\mathcal{G}}$) admits a triangular decomposition: $\mathcal{G}=\mathcal{G}^{+}\oplus\mathcal{G}^{0}\oplus\mathcal{G}^{}$ (resp. $\widetilde{\mathcal{G}}=\widetilde{\mathcal{G}}^{+}\oplus\widetilde{\mathcal{G}}^{0}\oplus\widetilde{\mathcal{G}}^{}$). In this paper, we study universal and generic Whittaker $\mathcal{G}$modules (resp. $\widetilde{\mathcal{G}}$modules) of type $\phi$, where $\phi:\mathcal{G}^{+}=\widetilde{\mathcal{G}}^{+}\longrightarrow\mathbb{C}$ is a Lie algebra homomorphism. We classify the isomorphism classes of universal and generic Whittaker modules. Moreover, we show that a generic Whittaker modules of type $\phi$ is irreducible if and only if $\phi$ is nonsingular. For the nonsingular case, we completely determine the Whittaker vectors in universal and generic Whittaker modules. For the singular case, we concretely construct some Whittaker vectors, which generate proper submodules of generic Whittaker modules.
 [73] arXiv:2007.04056 [pdf, other]

Title: General Framework and Novel Transceiver Architecture based on Hybrid Beamforming for NOMA in Massive MIMO ChannelsComments: Partially presented at IEEE ICC 2020 Workshop on NOMA for 5G and Beyond and to be submitted to IEEE Transactions on CommunicationsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Massive MIMO and nonorthogonal multiple access (NOMA) are crucial methods for future wireless systems as they provide many advantages over conventional systems. Power domain NOMA methods are investigated in massive MIMO systems, whereas there is little work on integration of code domain NOMA and massive MIMO which is the subject of this study. We propose a general framework employing usergrouping based hybrid beamforming architecture for mmwave massive MIMO systems where NOMA is considered as an intragroup process. It is shown that classical receivers of sparse code multiple access (SCMA) and multiuser shared access (MUSA) can be directly adapted. Additionally, a novel receiver architecture which is an improvement over classical one is proposed for uplink MUSA. This receiver makes MUSA preferable over SCMA for uplink transmission with lower complexity. We provide a lower bound on achievable information rate (AIR) as a performance measure. We show that code domain NOMA schemes outperform conventional methods with very limited number of radio frequency (RF) chains where users are spatially close to each other. Furthermore, we provide an analysis in terms of biterror rate and AIR under different code length and overloading scenarios for uplink transmission where flexible structure of MUSA is exploited.
 [74] arXiv:2007.04058 [pdf, other]

Title: Decay of semigroup for an infinite interacting particle system on continuum configuration spacesAuthors: Chenlin GuComments: 28 pages, 1 figureSubjects: Probability (math.PR)
We show the heat kernel type variance decay $t^{\frac{d}{2}}$, up to a logarithmic correction, for the semigroup of an infinite particle system on $\mathbb{R}^d$, where every particle evolves following a divergenceform operator with diffusivity coefficient that depends on the local configuration of particles. The proof relies on the strategy from $\mathbb{Z}^d$ zero range model, and generalizes the localization estimate to the continuum configuration space introduced by S. Albeverio, Y.G. Kondratiev and M. R\"ockner.
 [75] arXiv:2007.04061 [pdf, ps, other]

Title: A discrete weighted MarkovBernstein inequality for polynomials and sequencesComments: 15 pagesSubjects: Classical Analysis and ODEs (math.CA)
For parameters $\,c\in(0,1)\,$ and $\,\beta>0$, let $\,\ell_{2}(c,\beta)\,$ be the Hilbert space of real functions defined on $\,\mathbb{N}\,$ (i.e., real sequences), for which $$ \ f \_{c,\beta}^2 := \sum_{k=0}^{\infty}\frac{(\beta)_k}{k!}\,c^k\,[f(k)]^2<\infty\,. $$ We study the best (i.e., the smallest possible) constant $\,\gamma_n(c,\beta)\,$ in the discrete MarkovBernstein inequality $$ \\Delta P\_{c,\beta}\leq \gamma_n(c,\beta)\,\P\_{c,\beta}\,,\quad P\in\mathcal{P}_n\,, $$ where $\,\mathcal{P}_n\,$ is the set of real algebraic polynomials of degree at most $\,n\,$ and $\,\Delta f(x):=f(x+1)f(x)\,$.
We prove that:
(i) $\displaystyle \gamma_n(c,1)\leq 1+\frac{1}{\sqrt{c}}\,$ for every $\,n\in \mathbb{N}\,$ and $\displaystyle \lim_{n\to\infty}\gamma_n(c,1)= 1+\frac{1}{\sqrt{c}}\,$.
(ii) For every fixed $\,c\in (0,1)\,$, $\,\gamma_n(c,\beta)\,$ is a monotonically decreasing function of $\,\beta\,$ in $\,(0,\infty)\,$.
(iii) For every fixed $\,c\in (0,1)\,$ and $\,\beta>0\,$, the best MarkovBernstein constants $\,\gamma_n(c,\beta)\,$ are bounded uniformly with respect to $\,n$.
A similar MarkovBernstein unequality is proved for sequences in $\,\ell_{2}(c,\beta)\,$. We also establish a relation between the best MarkovBernstein constants $\,\gamma_n(c,\beta)\,$ and the smallest eigenvalues of certain explicitly given Jacobi matrices.  [76] arXiv:2007.04062 [pdf, ps, other]

Title: True trees are denseAuthors: Christopher J. BishopComments: 25 pages, 15 figuresJournalref: Inventiones Mat., vol 197, issue 2, 2014, pages 433452Subjects: Complex Variables (math.CV)
We show that any compact, connected set $K$ in the plane can be approximated by the critical points of a polynomial with two critical values. Equivalently, $K$ can be approximated in the Hausdorff metric by a true tree in the sense of Grothendieck's dessins d'enfants.
 [77] arXiv:2007.04063 [pdf, ps, other]

Title: Metastability in a lattice gas with strong anisotropic interactions under Kawasaki dynamicsSubjects: Probability (math.PR)
In this paper we analyze metastability and nucleation in the context of a local version of the Kawasaki dynamics for the twodimensional strongly anisotropic Ising lattice gas at very low temperature. Let $\Lambda\subset\mathbb{Z}^2$ be a finite box. Particles perform simple exclusion on $\Lambda$, but when they occupy neighboring sites they feel a binding energy $U_1<0$ in the horizontal direction and $U_2<0$ in the vertical one. Thus the Kawasaki dynamics is conservative inside the volume $\Lambda$. Along each bond touching the boundary of $\Lambda$ from the outside to the inside, particles are created with rate $\rho=e^{\Delta\beta}$, while along each bond from the inside to the outside, particles are annihilated with rate $1$, where $\beta$ is the inverse temperature and $\Delta>0$ is an activity parameter. Thus, the boundary of $\Lambda$ plays the role of an infinite gas reservoir with density $\rho$. We consider the parameter regime $U_1>2U_2$ also known as the strongly anisotropic regime. We take $\Delta\in{(U_1,U_1+U_2)}$ and we prove that the empty (respectively full) configuration is a metastable (respectively stable) configuration. We consider the asymptotic regime corresponding to finite volume in the limit of large inverse temperature $\beta$. We investigate how the transition from empty to full takes place. In particular, we estimate in probability, expectation and distribution the asymptotic transition time from the metastable configuration to the stable configuration. Moreover, we identify the size of the \emph{critical droplets}, as well as some of their properties. We observe very different behavior in the weakly and strongly anisotropic regimes. We find that the \emph{Wulff shape}, i.e., the shape minimizing the energy of a droplet at fixed volume, is not relevant for the nucleation pattern.
 [78] arXiv:2007.04064 [pdf, ps, other]

Title: Higher differentiability results for solutions to a class of nonautonomous obstacle problems with subquadratic growth conditionsAuthors: Andrea GentileSubjects: Analysis of PDEs (math.AP)
We establish some higher differentiability results of integer and fractional order for solution to nonautonomous obstacle problems of the form
\begin{equation*}
\min \left\{\int_{\Omega}f(x, Dv(x))\,:\, v\in
\mathcal{K}_\psi(\Omega)\right\},
\end{equation*} where the function $f$ satisfies $p$growth conditions with respect to the gradient variable, for $1<p<2$, and $\mathcal{K}_\psi(\Omega)$ is the class of admissible functions $v\in u_0+W^{1, p}_0(\Omega)$ such that $v\ge\psi$ a. e. in $\Omega$, where $u_0\in W^{1,p}(\Omega)$ is a fixed boundary datum.
Here we show that a Sobolev or BesovLipschitz regularity assumption on the gradient of the obstacle $\psi$ transfers to the gradient of the solution, provided the partial map $x\mapsto D_\xi f(x,\xi)$ belongs to a suitable Sobolev or Besov space. The novelty here is that we deal with subquadratic growth conditions with respect to the gradient variable, i. e. $f(x, \xi)\approx a(x)\xi^p$ with $1<p<2,$ and where the map $a$ belongs to a Sobolev or BesovLipschitz space.  [79] arXiv:2007.04072 [pdf, other]

Title: Optimizing Information Freshness via Multiuser Scheduling with Adaptive NOMA/OMAComments: 30 pages. This work has been submitted for possible publication. arXiv admin note: substantial text overlap with arXiv:2001.04042Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)
This paper considers a wireless network with a base station (BS) conducting timely status updates to multiple clients via adaptive nonorthogonal multiple access (NOMA)/orthogonal multiple access (OMA). Specifically, the BS is able to adaptively switch between NOMA and OMA for the downlink transmission to optimize the information freshness of the network, characterized by the Age of Information (AoI) metric. If the BS chooses OMA, it can only serve one client within each time slot and should decide which client to serve; if the BS chooses NOMA, it can serve more than one client at the same time and needs to decide the power allocated to the served clients. For the simple twoclient case, we formulate a Markov Decision Process (MDP) problem and develop the optimal policy for the BS to decide whether to use NOMA or OMA for each downlink transmission based on the instantaneous AoI of both clients. The optimal policy is shown to have a switchingtype property with obvious decision switching boundaries. A nearoptimal policy with lower computation complexity is also devised. For the more general multiclient scenario, inspired by the proposed nearoptimal policy, we formulate a nonlinear optimization problem to determine the optimal power allocated to each client by maximizing the expected AoI drop of the network in each time slot. We resolve the formulated problem by approximating it as a convex optimization problem. We also derive the upper bound of the gap between the approximate convex problem and the original nonlinear, nonconvex problem. Simulation results validate the effectiveness of the adopted approximation. The performance of the adaptive NOMA/OMA scheme by solving the convex optimization is shown to be close to that of maxweight policy solved by exhaustive search...
 [80] arXiv:2007.04073 [pdf, ps, other]

Title: Standardised coordinate geometry applied to affine rational trigonometry of a tetrahedronAuthors: Gennady Arshad NotowidigdoComments: 16 pages. arXiv admin note: text overlap with arXiv:1909.08814Subjects: Metric Geometry (math.MG)
The idea of standardised coordinates in threedimensional affine space is defined, by way of the Standard tetrahedron. By performing an affine map on a general tetrahedron, we may replace the study of a general tetrahedron over a specific metrical structure with the study of a specific tetrahedron over a general metrical structure. Using the framework of Wildberger's rational trigonometry as well as the definitions of generalised scalar and vector products in the author's previous work, we will compute the various trigonometric invariants associated to the Standard tetrahedron, with the purpose of proving some more complicated results which are difficult to prove without this mechanism.
 [81] arXiv:2007.04079 [pdf, ps, other]

Title: Viscosity Solutions to First Order PathDependent HamiltonJacobiBellman Equations in Hilbert SpaceAuthors: Jianjun ZhouComments: 25 pages. arXiv admin note: substantial text overlap with arXiv:2005.05309, arXiv:2004.02095Subjects: Probability (math.PR); Optimization and Control (math.OC)
In this article, a notion of viscosity solutions is introduced for first order pathdependent HamiltonJacobiBellman (PHJB) equations associated with optimal control problems for pathdependent evolution equations in Hilbert space. We identify the value functional of optimal control problems as unique viscosity solution to the associated PHJB equations. We also show that our notion of viscosity solutions is consistent with the corresponding notion of classical solutions, and satisfies a stability property.
 [82] arXiv:2007.04080 [pdf, other]

Title: Tightness of the Asymptotic Generalized PoorVerdú Error Bound for the Memoryless Symmetric ChannelComments: arXiv admin note: text overlap with arXiv:2001.01159Subjects: Information Theory (cs.IT)
The generalized PoorVerd\'{u} error lower bound for multihypothesis testing is revisited. Its asymptotic expression is established in closedform as its tilting parameter grows to infinity. The asymptotic generalized lower bound is then studied in the classical channel coding context where it is proved that for any sequence of block codes sent over the memoryless binary symmetric channel (BSC), the minimum probability of decoding error has a relative deviation from the generalized bound that grows at most linearly in blocklength. A direct consequence of this result is that the asymptotic generalized bound achieves the error exponent (or reliability function) of the BSC at arbitrary coding rates. Finally, these tightness results are extended for the class of memoryless nonbinary symmetric channels.
 [83] arXiv:2007.04081 [pdf, ps, other]

Title: Incidences with curves in three dimensionsComments: arXiv admin note: substantial text overlap with arXiv:1610.01560Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
We study incidence problems involving points and curves in $R^3$. The current (and in fact only viable) approach to such problems, pioneered by Guth and Katz, requires a variety of tools from algebraic geometry, most notably (i) the polynomial partitioning technique, and (ii) the study of algebraic surfaces that are ruled by lines or, in more recent studies, by algebraic curves of some constant degree. By exploiting and refining these tools, we obtain new and improved bounds for pointcurve incidence problems in $R^3$.
Incidences of this kind have been considered in several previous studies, starting with Guth and Katz's work on points and lines. Our results, which are based on the work of Guth and Zahl concerning surfaces that are doubly ruled by curves, provide a grand generalization of most of the previous results. We reconstruct the bound for points and lines, and improve, in certain significant ways, recent bounds involving points and circles (in Sharir, Sheffer and Zahl), and points and arbitrary constantdegree algebraic curves (in Sharir, Sheffer and Solomon). While in these latter instances the bounds are not known (and are strongly suspected not) to be tight, our bounds are, in a certain sense, the best that can be obtained with this approach, given the current state of knowledge.
As an application of our pointcurve incidence bound, we show that the number of triangles spanned by a set of $n$ points in $R^3$ and similar to a given triangle is $O(n^{15/7})$, which improves the bound of Agarwal et al. Our results are also related to a study by Guth et al.~(work in progress), and have been recently applied in Sharir, Solomon and Zlydenko to related incidence problems in three dimensions.  [84] arXiv:2007.04084 [pdf, ps, other]

Title: Twisted cohomological equations for translation flowsAuthors: Giovanni ForniComments: 30 pages. arXiv admin note: text overlap with arXiv:0707.0940Subjects: Dynamical Systems (math.DS)
We prove by methods of harmonic analysis a result on existence of solutions for twisted cohomological equations on translation surfaces with loss of derivatives at most 3+ in Sobolev spaces. As a consequence we prove that product translation flows on (3dimensional) translation manifolds which are products of a (higher genus) translation surface with a (flat) circle are stable in the sense of A. Katok. In turn, our result on product flows implies a stability result of time{\tau} maps of translation flows on translation surfaces.
 [85] arXiv:2007.04088 [pdf, ps, other]

Title: Metric groups, unitary representations and continuous logicAuthors: Aleksander IvanovComments: 15 pages; to appear in Communications in Mathematics, special issue "Ostrava seminar on Mathematical Physics". arXiv admin note: substantial text overlap with arXiv:1706.04157Subjects: Logic (math.LO); Group Theory (math.GR)
We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find $L_{\omega_1 \omega}$axiomatization of amenability. We also show that in the case of locally compact groups some uniform version of the negation of Kazhdan's property {\bf (T)} can be viewed as a union of firstorder axiomatizable classes. We will see when these properties are preserved under taking elementary substructures.
 [86] arXiv:2007.04092 [pdf, other]

Title: Manifolds with cylindrical ends having a finite and positive number of embedded eigenvaluesComments: 7 pages, 3 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Differential Geometry (math.DG); Spectral Theory (math.SP)
We construct a surface with a cylindrical end which has a finite number of Laplace eigenvalues embedded in its continuous spectrum. The surface is obtained by attaching a cylindrical end to a hyperbolic torus with a hole. To our knowledge, this is the first example of a manifold with a cylindrical end whose number of eigenvalues is known to be finite and nonzero. The construction can be varied to give examples with arbitrary genus and with an arbitrarily large finite number of eigenvalues. The constructed surfaces also have resonancefree regions near the continuous spectrum and longtime asymptotic expansions of solutions to the wave equation.
 [87] arXiv:2007.04096 [pdf, ps, other]

Title: Geometric conditions for the exact controllability of fractional free and harmonic Schrödinger equationsSubjects: Analysis of PDEs (math.AP)
We provide necessary and sufficient geometric conditions for the exact controllability of the onedimensional fractional free and fractional harmonic Schr\"odinger equations. The necessary and sufficient condition for the exact controllability of fractional free Schr\"odinger equations is derived from the LogvinenkoSereda theorem and its quantitative version established by Kovrijkine, whereas the one for the exact controllability of fractional harmonic Schr\"odinger equations is deduced from an infinite dimensional version of the Hautus test for Hermite functions and the PlancherelRotach formula.
 [88] arXiv:2007.04099 [pdf, ps, other]

Title: Cellular Sheaves of Lattices and the Tarski LaplacianSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); Rings and Algebras (math.RA)
This paper initiates a discrete Hodge theory for cellular sheaves taking values in a category of lattices and Galois connections. The key development is the Tarski Laplacian, an endomorphism on the cochain complex whose fixed points yield a cohomology that agrees with the global section functor in degree zero. This has immediate applications in consensus and distributed optimization problems over networks and broader potential applications.
 [89] arXiv:2007.04104 [pdf, ps, other]

Title: Lyapunov functions and finite time stabilization in optimal time for homogeneous linear and quasilinear hyperbolic systemsComments: arXiv admin note: text overlap with arXiv:2005.13269Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
Hyperbolic systems in one dimensional space are frequently used in modeling of many physical systems. In our recent works, we introduced time independent feedbacks leading to the finite stabilization for the optimal time of homogeneous linear and quasilinear hyperbolic systems. In this work, we present Lyapunov's functions for these feedbacks and use estimates for Lyapunov's functions to rediscover the finite stabilization results.
 [90] arXiv:2007.04107 [pdf, ps, other]

Title: A variant of the effective adjunction conjecture with applicationsAuthors: Zhan LiSubjects: Algebraic Geometry (math.AG)
We propose a variant of the effective adjunction conjecture for lctrivial fibrations. This variant is suitable for inductions and can be used to treat real coefficients.
 [91] arXiv:2007.04110 [pdf, ps, other]

Title: On tangent cones to Schubert varieties in type $E$Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:1410.4025, arXiv:1310.3166, arXiv:1210.5740Subjects: Algebraic Geometry (math.AG)
We consider tangent cones to Schubert subvarieties of the flag variety $G/B$, where $B$ is a Borel subgroup of a reductive complex algebraic group $G$ of type $E_6$, $E_7$ or $E_8$. We prove that if $w_1$ and $w_2$ form a good pair of involutions in the Weyl group $W$ of $G$ then the tangent cones $C_{w_1}$ and $C_{w_2}$ to the corresponding Schubert subvarieties of $G/B$ do not coincide as subschemes of the tangent space to $G/B$ at the neutral point.
 [92] arXiv:2007.04112 [pdf, ps, other]

Title: Polynomial identities with involution for the algebra of 3 $\times$ 3 upper triangular matricesComments: 28 pagesSubjects: Rings and Algebras (math.RA)
Let $\mathbb{F}$ be a field of characteristic $p$, and let $UT_n(\mathbb{F})$ be the algebra of $n \times n$ upper triangular matrices over $\mathbb{F}$ with an involution of the first kind. In this paper we describe: the set of all $*$central polynomials for $UT_n(\mathbb{F})$ when $n\geq 3$ and $p\neq 2$ ; the set of all $*$polynomial identities for $UT_3(\mathbb{F})$ when $\mathbb{F}$ is infinite and $p>2$.
 [93] arXiv:2007.04114 [pdf, ps, other]

Title: Arithmetic constraints of polynomial maps through discrete logarithmsAuthors: Lucas ReisComments: Comments are welcome!Subjects: Number Theory (math.NT)
Let $q$ be a prime power, let $\mathbb F_q$ be the finite field with $q$ elements and let $\theta$ be a generator of the cyclic group $\mathbb F_q^*$. For each $a\in \mathbb F_q^*$, let $\log_{\theta} a$ be the unique integer $i\in \{1, \ldots, q1\}$ such that $a=\theta^i$. Given polynomials $P_1, \ldots, P_k\in \mathbb F_q[x]$ and divisors $1<d_1, \ldots, d_k$ of $q1$, we discuss the distribution of the functions $$F_{i}:y\mapsto \log_{\theta}P_i(y)\pmod {d_i}, $$ over the set $\mathbb F_q\setminus \cup_{i=1}^k\{y\in \mathbb F_q\,\, P_i(y)=0\}$. Our main result entails that, under a natural multiplicative condition on the pairs $(d_i, P_i)$, the functions $F_i$ are asymptotically independent. We also provide some applications that, in particular, relates to past work.
 [94] arXiv:2007.04117 [pdf, other]

Title: Determinantal Point Processes in the Flat Limit: Extended Lensembles, PartialProjection DPPs and Universality ClassesSubjects: Probability (math.PR)
Determinantal point processes (DPPs) are repulsive point processes where the interaction between points depends on the determinant of a positivesemi definite matrix. The contributions of this paper are twofold. First of all, we introduce the concept of extended Lensemble, a novel representation of DPPs. These extended Lensembles are interesting objects because they fix some pathologies in the usual formalism of DPPs, for instance the fact that projection DPPs are not Lensembles. Every (fixedsize) DPP is an (fixedsize) extended Lensemble, including projection DPPs. This new formalism enables to introduce and analyze a subclass of DPPs, called partialprojection DPPs. Secondly, with these new definitions in hand, we first show that partialprojection DPPs arise as perturbative limits of Lensembles, that is, limits in $\varepsilon \rightarrow 0$ of Lensembles based on matrices of the form $\varepsilon \mathbf{A} + \mathbf{B}$ where $\mathbf{B}$ is lowrank. We generalise this result by showing that partialprojection DPPs also arise as the limiting process of Lensembles based on kernel matrices, when the kernel function becomes flat (so that every point interacts with every other point, in a sense). We show that the limiting point process depends mostly on the smoothness of the kernel function. In some cases, the limiting process is even universal, meaning that it does not depend on specifics of the kernel function, but only on its degree of smoothness.
 [95] arXiv:2007.04120 [pdf, ps, other]

Title: Quantitative Sobolev extensions and the Neumann heat kernel for integral Ricci curvature conditionsComments: 21 pages, 2 figuresSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We prove the existence of Sobolev extension operators for certain uniform classes of domains in a Riemannian manifold with an explicit uniform bound on the norm depending only on the geometry near their boundaries. We use this quantitative estimate to obtain uniform Neumann heat kernel upper bounds and gradient estimates for positive solutions of the Neumann heat equation assuming integral Ricci curvature conditions and geometric conditions on the boundary. Those estimates also imply quantitative lower bounds on the first Neumann eigenvalue of the considered domains.
 [96] arXiv:2007.04147 [pdf, other]

Title: Error estimates of hybridizable interior penalty methods using a variable penalty for highly anisotropic diffusion problemsSubjects: Numerical Analysis (math.NA)
In this paper, we derive improved a priori error estimates for families of hybridizable interior penalty discontinuous Galerkin (HIP) methods using a variable penalty for secondorder elliptic problems. The strategy is to use a penalization function of the form $\mathcal{O}(1/h^{1+\delta})$, where $h$ denotes the mesh size and $\delta$ is a userdependent parameter. We then quantify its direct impact on the convergence analysis, namely, the (strong) consistency, discrete coercivity and boundedness (with $h^{\delta}$dependency), and we derive updated error estimates for both discrete energy and $L^{2}$norms. All theoretical results are supported by numerical evidence.
 [97] arXiv:2007.04157 [pdf, ps, other]

Title: The interplay of critical regularity of nonlinearities in a weakly coupled system of semilinear damped wave equationsComments: 20 pagesSubjects: Analysis of PDEs (math.AP)
We would like to study a weakly coupled system of semilinear classical damped wave equations with moduli of continuity in nonlinearities whose powers belong to the critical curve in the $pq$ plane. The main goal of this paper is to find out the sharp conditions of these moduli of continuity which classify between global (in time) existence of small data solutions and finite time blowup of solutions.
 [98] arXiv:2007.04159 [pdf, ps, other]

Title: The uncertainty principle over finite fieldsComments: 11 pagesSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
In this paper we study the uncertainty principle (UP) connecting a function over a finite field and its MattsonSolomon polynomial, which is a kind of Fourier transform in positive characteristic. Three versions of the UP over finite fields are studied, in connection with the asymptotic theory of cyclic codes. The naive version is the direct analogue over finite fields of the DonohoStark bound over the complex numbers. A connection with Ramsey Theory is pointed out. It is strong enough to show that there exist sequences of cyclic codes of length $n$, arbitrary rate, and minimum distance $\Omega(n^\alpha)$ for all $0<\alpha<1/2.$ The strong version for a given finite field $\mathbb{F}_q$ is shown to hold only for primes $p>q+2$ for which $q$ is primitive, depending on the MDS Conjecture. The weak version is shown to be impossible in some cases.
 [99] arXiv:2007.04160 [pdf, ps, other]

Title: An introduction to Lipschitz geometry of complex singularitiesAuthors: Anne PichonComments: 50 pages, 36 figuresSubjects: Algebraic Geometry (math.AG); Metric Geometry (math.MG)
The aim of this paper to introduce the reader to a recent point of view on the Lipschitz classifications of complex singularities. It presents the complete classification of Lipschitz geometry of complex plane curves singularities and in particular, it introduces the socalled bubble trick and bubble trick with jumps which are key tools to study Lipschitz geometry of germs. It describes also the thickthin decomposition of a normal complex surface singularity and built two geometric decompositions of a normal surface germ into standard pieces which are invariant by respectively inner and outer bilipschitz homeomorphisms. This leads in particular to the complete classification of Lipschitz geometry for the inner metric.
 [100] arXiv:2007.04162 [pdf, ps, other]

Title: On $3$syzygy and unexpected plane curvesComments: 17 pages, one figure, all comments are warmly welcome!Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
In this note we study curves (arrangements) in the complex projective plane which can be considered as generalizations of free curves. We construct families of arrangements which are nearly free and possess interesting geometric properties. More generally, we study $3$syzygy arrangements and we present examples that admit unexpected curves.
 [101] arXiv:2007.04164 [pdf, ps, other]

Title: Hinstanton bundles on threedimensional polarized projective varietiesComments: 27 pages. Comments welcomeSubjects: Algebraic Geometry (math.AG)
We propose a notion of instanton bundle (called $H$instanton bundle) on any projective variety of dimension three polarized by a very ample divisor $H$, that naturally generalizes the ones on $\mathbb{P}^3$ and on the flag threefold $F(0,1,2)$. We discuss the cases of Veronese, Fano and complete intersection CalabiYau threefolds. Then we deal with $H$instanton bundles $\mathcal{E}$ on threedimensional rational normal scrolls $S(a_0,a_1,a_2)$. We give a monadic description of $H$instanton bundles and we prove the existence of $\mu$stable $H$instanton bundles on $S(a_0,a_1,a_2)$ for any admissible charge $k=c_2(\mathcal{E})H$. Then we deal in more detail with $S(a,a,b)$ and $S(a_0,a_1,a_2)$ with $a_0+a_1>a_2$ and even degree. Finally we describe a nice component of the moduli space of $\mu$stable bundles whose points represent $H$instantons.
 [102] arXiv:2007.04166 [pdf, ps, other]

Title: Approximation with Neural Networks in Variable Lebesgue SpacesComments: 20 pagesSubjects: Functional Analysis (math.FA); Machine Learning (cs.LG)
This paper concerns the universal approximation property with neural networks in variable Lebesgue spaces. We show that, whenever the exponent function of the space is bounded, every function can be approximated with shallow neural networks with any desired accuracy. This result subsequently leads to determine the universality of the approximation depending on the boundedness of the exponent function. Furthermore, whenever the exponent is unbounded, we obtain some characterization results for the subspace of functions that can be approximated.
 [103] arXiv:2007.04170 [pdf, other]

Title: The Multivariate Theory of Functional Connections: Theory, Proofs, and Application in Partial Differential EquationsComments: 33 pages, 6 figures, 14 tablesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of userspecified linear constraints. The reformulation presented in this paper exploits the underlying functional structure presented in the seminal paper on the Theory of Functional Connections to ease the derivation of these interpolating functionals  called constrained expressions  and provides rigorous terminology that lends itself to straightforward derivations of mathematical proofs regarding the properties of these constrained expressions. Furthermore, the extension of the technique to and proofs in $n$dimensions is immediate through a recursive application of the univariate formulation. In all, the results of this reformulation are compared to prior work to highlight the novelty and mathematical convenience of using this approach. Finally, the methodology presented in this paper is applied to two partial differential equations with different boundary conditions, and, when data is available, the results are compared to stateoftheart methods.
 [104] arXiv:2007.04173 [pdf, ps, other]

Title: On the CalderonZygmund property of Riesztransform type operators arising in nonlocal equationsSubjects: Analysis of PDEs (math.AP)
We show that the operator \[
T_{K,s_1,s_2}f(z) := \int_{\mathbb{R}^n} A_{K,s_1,s_2}(z_1,z_2) f(z_2)\, dz_2 \] is a CalderonZygmund operator. Here for $K \in L^\infty(\mathbb{R}^n \times \mathbb{R}^n)$, and $s,s_1,s_2 \in (0,1)$ with $s_1+s_2 = 2s$ we have \[
A_{K,s_1,s_2}(z_1,z_2) = \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{K(x,y) \left (xz_1^{s_1n} yz_1^{s_1n} \right )\, \left (xz_2^{s_2n} yz_2^{s_2n}\right )}{xy^{n+2s}}\, dx\, dy. \] This operator is motivated by the recent work by MengeshaSchikorraYeepo where it appeared as analogue of the Riesz transforms for the equation \[
\int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{K(x,y) (u(x)u(y))\, (\varphi(x)\varphi(y))}{xy^{n+2s}}\, dx\, dy = f[\varphi]. \]  [105] arXiv:2007.04182 [pdf, other]

Title: Analyzing synchronized clusters in neuron networksSubjects: Dynamical Systems (math.DS)
The presence of synchronized clusters in neuron networks is a hallmark of information transmission and processing. The methods commonly used to study cluster synchronization in networks of coupled oscillators ground on simplifying assumptions, which often neglect key biological features of neuron networks. Here we propose a general framework to study presence and stability of synchronous clusters in more realistic models of neuron networks, characterized by the presence of delays, different kinds of neurons and synapses. Application of this framework to the directed network of the macaque cerebral cortex provides an interpretation key to explain known functional mechanisms emerging from the combination of anatomy and neuron dynamics. The cluster synchronization analysis is carried out also by changing parameters and studying bifurcations. Despite some simplifications with respect to the real network, the obtained results are in good agreement with previously reported biological data.
 [106] arXiv:2007.04185 [pdf, ps, other]

Title: Variation of Hodge structure and enumerating tilings of surfaces by triangles and squaresComments: preliminary version, 22 pagesSubjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
Let $S$ be a connected closed oriented surface of genus $g$. Given a triangulation (resp. quadrangulation) of $S$, define the index of each of its vertices to be the number of edges originating from this vertex minus $6$ (resp. minus $4$). Call the set of integers recording the nonzero indices the profile of the triangulation (resp. quadrangulation). If $\kappa$ is a profile for triangulations (resp. quadrangulations) of $S$, for any $m\in \mathbb{Z}_{>0}$, denote by $\mathscr{T}(\kappa,m)$ (resp. $\mathscr{Q}(\kappa,m)$) the set of (equivalence classes of) triangulations (resp. quadrangulations) with profile $\kappa$ which contain at most $m$ triangles (resp. squares). In this paper, we will show that if $\kappa$ is a profile for triangulations (resp. for quadrangulations) of $S$ such that none of the indices in $\kappa$ is divisible by $6$ (resp. by $4$), then $\mathscr{T}(\kappa,m)\sim c_3(\kappa)m^{2g+\kappa2}$ (resp. $\mathscr{Q}(\kappa,m) \sim c_4(\kappa)m^{2g+\kappa2}$), where $c_3(\kappa) \in \mathbb{Q}\cdot(\sqrt{3}\pi)^{2g+\kappa2}$ and $c_4(\kappa)\in \mathbb{Q}\cdot\pi^{2g+\kappa2}$. The key ingredient of the proof is a result of J. Koll\'ar on the link between the curvature of the Hogde metric on vector subbundles of a variation of Hodge structure over algebraic varieties, and Chern classes of their extensions. By the same method, we also obtain the rationality (up to some power of $\pi$) of the MasurVeech volume of arithmetic affine submanifolds of translation surfaces that are transverse to the kernel foliation.
 [107] arXiv:2007.04189 [pdf, other]

Title: Probabilistic Powerdomains and QuasiContinuous DomainsAuthors: Jean GoubaultLarrecqComments: 13 pagesSubjects: General Topology (math.GN)
The probabilistic powerdomain $\mathbf V X$ on a space $X$ is the space of all continuous valuations on $X$. We show that, for every quasicontinuous domain $X$, $\mathbf V X$ is again a quasicontinuous domain, and that the Scott and weak topologies then agree on $\mathbf V X$. This also applies to the subspaces of probability and subprobability valuations on $X$. We also show that the Scott and weak topologies on the $\mathbf V X$ may differ when $X$ is not quasicontinuous, and we give a simple, compact Hausdorff counterexample.
 [108] arXiv:2007.04204 [pdf, other]

Title: pMAX Random FieldsSubjects: Statistics Theory (math.ST); Probability (math.PR)
The risk of occurrence of atypical phenomena is a crosscutting concern in several areas, such as engineering, climatology, finance, actuarial, among others. Extreme value theory is the natural tool to approach this theme. Many of these random phenomena carry variables defined in time and space, usually modeled through random fields. Thus, the study of random fields in the context of extreme values becomes imperative and has been developed especially in the last decade. In this work, we propose a new random field, called pMAX, designed for modeling extremes. We analyze its dependence and preasymptotic dependence structure through the corresponding bivariate tail dependence coefficients. Estimators for the model parameters are obtained and their finite sample properties analyzed. Examples with simulations illustrate the results.
 [109] arXiv:2007.04211 [pdf, ps, other]

Title: Robust feedback stabilization of Nlevel quantum spin systemsSubjects: Optimization and Control (math.OC); Mathematical Physics (mathph); Probability (math.PR); Quantum Physics (quantph)
In this paper, we consider Nlevel quantum angular momentum systems interacting with electromagnetic fields undergoing continuoustime measurements. We suppose unawareness of the initial state and physical parameters, entailing the introduction of an additional state representing the estimated quantum state. The evolution of the quantum state and its estimation is described by a coupled stochastic master equation. Here, we study the asymptotic behavior of such a system in presence of a feedback controller. We provide sufficient conditions on the feedback controller and on the estimated parameters that guarantee exponential stabilization of the coupled stochastic system towards an eigenstate of the measurement operator. Furthermore, we estimate the corresponding rate of convergence. We also provide parametrized feedback laws satisfying such conditions. Our results show the robustness of the feedback stabilization strategy considered in [21] in case of imprecise initialization of the estimated state and with respect to the unknown physical parameters.
 [110] arXiv:2007.04215 [pdf, ps, other]

Title: Tame algebras have dense $\mathbf{g}$vector fansComments: Appendix by Bernhard Keller. 34 pagesSubjects: Representation Theory (math.RT)
The $\mathbf{g}$vector fan of a finitedimensional algebra is a fan whose rays are the $\mathbf{g}$vectors of its $2$term presilting objects. We prove that the $\mathbf{g}$vector fan of a tame algebra is dense. We then apply this result to obtain a near classification of quivers for which the closure of the cluster $\mathbf{g}$vector fan is dense or is a halfspace, using the additive categorification of cluster algebras by means of Jacobian algebras. As another application, we prove that for quivers with potentials arising from oncepunctured closed surfaces, the stability and cluster scattering diagrams only differ by wallcrossing functions on the walls contained in a separating hyperplane. The appendix is devoted to the construction of truncated twist functors and their adjoints.
 [111] arXiv:2007.04225 [pdf, other]

Title: Commutatorfree Lie group methods with minimum storage requirements and reuse of exponentialsAuthors: Alexei BazavovComments: 40 pages, 10 figuresSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
A new format for commutatorfree Lie group methods is proposed based on explicit classical RungeKutta schemes. In this format exponentials are reused at every stage and the storage is required only for two quantities: the right hand side of the differential equation evaluated at a given RungeKutta stage and the function value updated at the same stage. The next stage of the scheme is able to overwrite these values. The result is proven for a 3stage third order method and a conjecture for higher order methods is formulated. Five numerical examples are provided in support of the conjecture.
 [112] arXiv:2007.04227 [pdf, ps, other]

Title: Van der Waals interactions between two hydrogen atoms: The next ordersSubjects: Mathematical Physics (mathph); Strongly Correlated Electrons (condmat.strel); Analysis of PDEs (math.AP); Atomic Physics (physics.atomph)
We extend a method (E. Canc\`es and L.R. Scott, SIAM J. Math. Anal., 50, 2018, 381410) to compute more terms in the asymptotic expansion of the van der Waals attraction between two hydrogen atoms. These terms are obtained by solving a set of modified SlaterKirkwood partial differential equations. The accuracy of the method is demonstrated by numerical simulations and comparison with other methods from the literature. It is also shown that the scattering states of the hydrogen atom, that are the states associated with the continuous spectrum of the Hamiltonian, have a major contribution to the C$_6$ coefficient of the van der Waals expansion.
 [113] arXiv:2007.04228 [pdf, other]

Title: A Note on the Reduction Principle for the Nodal Length of Planar Random WavesAuthors: Anna VidottoComments: 9 pagesSubjects: Probability (math.PR)
Inspired by the recent work [MRW20], we prove that the nodal length of a planar random wave $B_{E}$, i.e. the length of its zero set $B_{E}^{1}(0)$, is asymptotically equivalent, in the $L^{2}$sense and in the highfrequency limit $E\rightarrow \infty$, to the integral of $H_{4}(B_{E}(x))$, $H_4$ being the fourth Hermite polynomial. As a straightforward consequence, we obtain a central limit theorem in Wasserstein distance. This complements recent findings in [NPR19] and [PV20].
 [114] arXiv:2007.04236 [pdf, ps, other]

Title: Completely bounded subcontexts of a Morita context of unital $C^*$algebrasAuthors: Kathryn McCormickComments: 17 pagesSubjects: Operator Algebras (math.OA)
In this paper, we answer a question of BlecherMuhlyPaulsen pertaining to identifying topological invariants for completely bounded Morita equivalences of holomorphic crosssection algebras. Given a certain natural subcontext of a strong Morita context of $n$homogeneous $C^*$algebras whose spectrum $T$ is an annulus, BlecherMuhlyPaulsen are able to estimate the norm of a lifting of the identity of a holomorphic subalgebra by a conformal invariant of the annulus and a property of the associated matrix bundle. We give a generalization of the above example in which $T$ is a bordered Riemann surface. While constructing this generalization, we develop a sufficient criterion for when a unital completely bounded Morita equivalence can be factored into a similarity and a strong Morita equivalence.
 [115] arXiv:2007.04237 [pdf, other]

Title: Constrained knots in lens spacesAuthors: Fan YeComments: 37 pages, 21 figuresSubjects: Geometric Topology (math.GT)
This paper studies a special family of (1,1) knots called constrained knots, which includes 2bridge knots and simple knots. They are parameterized by five parameters and characterized by the distribution of spin^c structures of intersection points in (1,1) diagrams. Their knot Floer homologies are calculated and the complete classification is obtained. Some examples of constrained knots come from links related to 2bridge knots and 1bridge braids. As an application, Heegaard Floer theory is studied for orientable 1cusped hyperbolic manifolds that have ideal triangulations with at most 5 ideal tetrahedra.
 [116] arXiv:2007.04243 [pdf, ps, other]

Title: An identity for the sum of inverses of odd divisors of $n$ in terms of the number of representations of $n$ as a sum of $r$ squaresAuthors: Sumit Kumar JhaSubjects: General Mathematics (math.GM)
Let $$\sum_{\substack{dn\\ d\equiv 1 (2)}}\frac{1}{d}$$ denote the sum of inverses of odd divisors of a positive integer $n$, and let $c_{r}(n)$ be the number of representations of $n$ as a sum of $r$ squares where representations with different orders and different signs are counted as distinct. The aim is of this note is to prove the following interesting combinatorial identity $$ \sum_{\substack{dn\\ d\equiv 1 (2)}}\frac{1}{d}=\frac{1}{2} \, \sum_{r=1}^{n} \frac{(1)^{n+r}}{r} \, \binom{n}{r}\, c_{r}(n). $$
 [117] arXiv:2007.04244 [pdf, other]

Title: NPLIC: A Machine Learning Approach to Piecewise Linear Interface ConstructionAuthors: Mohammadmehdi Ataei, Markus Bussmann, Vahid Shaayegan, Franco Costa, Sejin Han, Chul B. ParkSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Computational Physics (physics.compph); Fluid Dynamics (physics.fludyn)
Volume of fluid (VOF) methods are extensively used to track fluid interfaces in numerical simulations, and many VOF algorithms require that the interface be reconstructed geometrically. For this purpose, the Piecewise Linear Interface Construction (PLIC) technique is most frequently used, which for reasons of geometric complexity can be slow and difficult to implement. Here, we propose an alternative neural networkbased method called NPLIC to perform PLIC calculations. The model is trained on a large synthetic dataset of PLIC solutions for square, cubic, triangular, and tetrahedral meshes. We show that this datadriven approach results in accurate calculations at a fraction of the usual computational cost.
 [118] arXiv:2007.04252 [pdf, ps, other]

Title: Aristotle' Relations: An Interpretation in Combinatory LogicAuthors: Erwin EngelerSubjects: History and Overview (math.HO); Logic (math.LO)
The usual modelling of the syllogisms of the Organon by a calculus of classes does not include relations. Aristotle may however have envisioned them in the first two books as the category of relatives, where he allowed them to compose with themselves. Composition is the main operation in combinatory logic, which therefore offers itself for a new kind of modelling. The resulting calculus includes also composition of predicates by logical connectives.
 [119] arXiv:2007.04253 [pdf, other]

Title: CMC1 surfaces via osculating Möbius transformations between circle patternsAuthors: Wai Yeung LamComments: 27 pages, 8 figuresSubjects: Geometric Topology (math.GT); Complex Variables (math.CV); Differential Geometry (math.DG)
Given two circle patterns of the same combinatorics in the plane, the M\"{o}bius transformations mapping circumdisks of one to the other induces a $PSL(2,\mathbb{C})$valued function on the dual graph. Such a function plays the role of an osculating M\"{o}bius transformation and induces a realization of the dual graph in hyperbolic space. We characterize the realizations and obtain a onetoone correspondence in the cases that the two circle patterns share the same shear coordinates or the same intersection angles. These correspondences are analogous to the Weierstrass representation for surfaces with constant mean curvature $H\equiv 1$ in hyperbolic space. We further establish convergence on triangular lattices.
 [120] arXiv:2007.04261 [pdf, other]

Title: On extremal problems concerning the traces of setsComments: 16 pagesSubjects: Combinatorics (math.CO)
Given two nonnegative integers $n$ and $s$, define $m(n,s)$ to be the maximal number such that in every hypergraph $\mathcal{H}$ on $n$ vertices and with at most $ m(n,s)$ edges there is a vertex $x$ such that $\mathcal{H}_x\geq  E(\mathcal{H}) s$, where $\mathcal{H}_x=\{H\setminus\{x\}:H\in E(\mathcal{H})\}$. This problem has been posed by F\"uredi and Pach and by Frankl and Tokushige. While the first results were only for specific small values of $s$, Frankl determined $m(n,2^{d1}1)$ for all $d\in\mathbb{N}$ with $d\mid n$. Subsequently, the goal became to determine $m(n,2^{d1}c)$ for larger $c$. Frankl and Watanabe determined $m(n,2^{d1}c)$ for $c\in\{0,2\}$. Other general results were not known so far.
Our main result sheds light on what happens further away from powers of two: We prove that $m(n,2^{d1}c)=\frac{n}{d}(2^dc)$ for $d\geq 4c$ and $d\mid n$ and give an example showing that this equality does not hold for $c=d$. The other line of research on this problem is to determine $m(n,s)$ for small values of $s$. In this line, our second result determines $m(n,2^{d1}c)$ for $c\in\{3,4\}$. This solves more instances of the problem for small $s$ and in particular solves a conjecture by Frankl and Watanabe.  [121] arXiv:2007.04264 [pdf, ps, other]

Title: Plurisubharmonic Defining Functions in $\mathbb C^2$Authors: Luka MernikSubjects: Complex Variables (math.CV)
Let $\Omega=\{r<0\}\subset\mathbb C^2$, with $r$ plurisubharmonic on $b\Omega=\{r=0\}$. Let $\rho$ be another defining function for $\Omega$. A formula for the determinant of the complex Hessian of $\rho$ in terms of $r$ is computed. This formula is used to give necessary and sufficient conditions that make $\rho$ (locally) plurisubharmonic.
As a consequence, if $\Omega$ admits a defining function plurisubharmonic on $b\Omega$ and all weakly pseudoconvex of $b\Omega$ have the same D'Angelo $1$type, then $\Omega$ admits a plurisubharmonic defining function.  [122] arXiv:2007.04273 [pdf, other]

Title: Spectral classes of hypergraphsAuthors: Raffaella MulasSubjects: Combinatorics (math.CO); Spectral Theory (math.SP)
The notions of spectral measures and spectral classes, which are well known for graphs, are generalized and investigated for oriented hypergraphs.
 [123] arXiv:2007.04281 [pdf, other]

Title: Reconfigurable Intelligent Surface Empowered Terahertz Communication for LEO Satellite NetworksComments: This manuscript was submitted to IEEE Journal on Selected Areas in CommunicationsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The revolution in the low earth orbit (LEO) satellite networks will impose changes on their communication models, shifting from the classical bentpipe architectures to more sophisticated networking platforms. Triggered by the technological advancements in the microelectronics and microsystems, the terahertz (THz) band emerges as a strong candidate for the associated intersatellite link (ISL) due to its high data rate promise. Yet, the propagation conditions of the THz band need to be properly modeled and/or controlled by utilizing reconfigurable intelligent surfaces (RISs) to assess their full potential. In this work, we first provide an assessment of the use of THz for the ISL, and quantify the impact of the misalignment fading on the error performance. Then, to compensate for the high path loss associated with the high carrier frequencies, we propose the use of RISs that are mounted on the neighboring satellites to enable signal propagation and to further improve the signaltonoise ratio (SNR). Based on the mathematical analysis of the problem, we present the closedform error rate expressions for RISassisted ISLs under misalignment fading. Numerical results demonstrate that the proposed RIS empowered THz communication solution reveals significant performance improvement introduced by the usage of RIS.
 [124] arXiv:2007.04284 [pdf, ps, other]

Title: Sharp Weyl laws with singular potentialsSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP); Spectral Theory (math.SP)
We consider the LaplaceBeltrami operator on a threedimensional Riemannian manifold perturbed by a potential from the Kato class and study whether various forms of Weyl's law remain valid under this perturbation. We show that a pointwise Weyl law holds, modified by an additional term, for any Kato class potential with the standard sharp remainder term. The additional term is always of lower order than the leading term, but it may or may not be of lower order than the sharp remainder term. In particular, we provide examples of singular potentials for which this additional term violates the sharp pointwise Weyl law of the standard LaplaceBeltrami operator. For the proof we extend the method of Avakumovi\'c to the case of Schr\"odinger operators with singular potentials.
 [125] arXiv:2007.04288 [pdf, ps, other]

Title: The motivic Galois group of mixed Tate motives over $\mathbb{Z}[1/2]$ and its action on the fundamental group of $\mathbb{P}^{1}\setminus\{0,\pm1,\infty\}$Comments: 47 pages, 1 figureSubjects: Number Theory (math.NT)
In this paper we introduce confluence relations for motivic Euler sums (also called alternating multiple zeta values) and show that all linear relations among motivic Euler sums are exhausted by our confluence relations. This determines all automorphisms of the de Rham fundamental torsor of $\mathbb{P}^{1}\setminus\{0,\pm1,\infty\}$ coming from the action of the motivic Galois group of mixed Tate motives over $\mathbb{Z}[1/2]$. Moreover, we also discuss other applications of our confluence relations such as an explicit $\mathbb{Q}$linear expansion of a given motivic Euler sum by their basis and $2$adic integrality of the coefficients in the expansion.
 [126] arXiv:2007.04290 [pdf, ps, other]

Title: Multiplicative functions in short intervals IIComments: 89 pagesSubjects: Number Theory (math.NT)
We determine the behavior of multiplicative functions vanishing at a positive proportion of prime numbers in almost all short intervals. Furthermore we quantify "almost all" with uniform powersaving upper bounds, that is, we save a power of the suitably normalized length of the interval regardless of how long or short the interval is. Such powersaving bounds are new even in the special case of the M\"obius function. These general results are motivated by several applications. First, we strengthen work of Hooley on sums of two squares by establishing an asymptotic for the number of integers that are sums of two squares in almost all short intervals. Previously only the order of magnitude was known. Secondly, we extend this result to general norm forms of an arbitrary number field $K$ (sums of two squares are normforms of $\mathbb{Q}(i)$). Thirdly, Hooley determined the order of magnitude of the sum of $(s_{n + 1}  s_{n})^{\gamma}$ with $\gamma \in (1, 5/3)$ where $s_{1} < s_2 < \ldots$ denote integers representable as sums of two squares. We establish a similar results with $\gamma \in (1, 3/2)$ and $s_n$ the sequence of integers representable as normforms of an arbitrary number field $K$. This is the first such result for a number field of degree greater than two. Assuming the Riemann Hypothesis for all Hecke $L$functions we also show that $\gamma \in (1,2)$ is admissible. Fourthly, we improve on a recent result of HeathBrown about gaps between $x^{\varepsilon}$smooth numbers. More generally, we obtain results about gaps between multiplicative sequences. Finally our result is useful in other contexts aswell, for instance in our forthcoming work on Fourier uniformity (joint with Terence Tao, Joni Terav\"ainen and Tamar Ziegler).
 [127] arXiv:2007.04307 [pdf, ps, other]

Title: Generalization of Klain's Theorem to Minkowsky Symmetrization of compact sets and related topicsAuthors: Jacopo UlivelliComments: 17 pages, 2 figuresSubjects: Metric Geometry (math.MG)
We shall prove a convergence result relative to sequences of Minkowski symmetrals of compact sets. In particular, we investigate the case when this process is induced by sequences of subspaces whose elements belong to a finite family, following the path marked by Klain in [10], and the generalizations in [4] and [2]. We prove an analogue result for Fiber symmetrization of a specific class of compact sets, namely the \text{convex shells}. The idempotency degree for symmetrization of this family of sets is investigated, leading to a simple generalization of a result from Klartag [11] regarding the approximation of a ball through a finite number of symmetrizations. Two counterexamples to convergence of sequences of symmetrals in the plane are proven, extending some ideas in [2] to a wider class of isymmetrizations, which include the Minkowski one.
 [128] arXiv:2007.04310 [pdf, ps, other]

Title: Frozen Pipes: Lattice Models for Grothendieck PolynomialsComments: 44 pages, 25 figuresSubjects: Combinatorics (math.CO); KTheory and Homology (math.KT)
We prove the existence of several different families of solvable lattice models whose partition functions give the double $\beta$Grothendieck polynomials and the dual double $\beta$Grothendieck polynomials for arbitrary permutations. Moreover, we introduce a new family of double "biaxial" $\beta$Grothendieck polynomials depending on a pair of permutations which simultaneously generalize both the double and dual double polynomials. We then use these models and their YangBaxter equations to reprove FominKirillov's Cauchy identity for $\beta$Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial $\beta$Grothendieck polynomials, and prove a new branching rule for double $\beta$Grothendieck polynomials.
 [129] arXiv:2007.04312 [pdf, ps, other]

Title: A Dichotomy for the Weierstrasstype functionsComments: 36 pagesSubjects: Dynamical Systems (math.DS)
For a real analytic periodic function $\phi:\mathbb{R}\to \mathbb{R}$, an integer $b\ge 2$ and $\lambda\in (1/b,1)$, we prove the following dichotomy for the Weierstrasstype function $W(x)=\sum\limits_{n\ge 0}{{\lambda}^n\phi(b^nx)}$: Either $W(x)$ is real analytic, or the Hausdorff dimension of its graph is equal to $2+\log_b\lambda$. Furthermore, given $b$ and $\phi$, the former alternative only happens for finitely many $\lambda$ unless $\phi$ is constant.
Crosslists for Thu, 9 Jul 20
 [130] arXiv:2007.03683 (crosslist from hepth) [pdf, other]

Title: Resurgence in the BiYangBaxter ModelComments: 50 pages, 18 figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We study the integrable biYangBaxter deformation of the $SU(2)$ principal chiral model (PCM) and its finite action uniton solutions. Under an adiabatic compactification on an $S^1$, we obtain a quantum mechanics with an elliptic Lam\'elike potential.
We perform a perturbative calculation of the ground state energy in this quantum mechanics to large orders obtaining an asymptotic series. Using the BorelPad\'e technique, we determine the expected locations of branch cuts in the Borel plane of the perturbative series and show that they match the values of the uniton actions. Therefore, we can match the nonperturbative contributions to the energy with the uniton solutions which fractionate upon adiabatic compactification.
An offshoot of the WKB analysis, is to identify the quadratic differential of this deformed PCM with that of an $\mathcal{N}=2$ SeibergWitten theory. This can be done either as an $N_f=4$ $SU(2)$ theory or as an elliptic quiver $SU(2)\times SU(2)$ theory. The mass parameters of the gauge theory are given by the deformation parameters of the PCM.  [131] arXiv:2007.03712 (crosslist from hepth) [pdf, other]

Title: Two dialects for KZB equations: generating oneloop openstring integralsComments: 54 pages, several appendicesSubjects: High Energy Physics  Theory (hepth); Number Theory (math.NT)
Two different constructions generating the lowenergy expansion of genusone configurationspace integrals appearing in oneloop openstring amplitudes have been put forward in \rcites{Mafra:2019xms, *Mafra:2019ddf, Broedel:2019gba}. We are going to show that both approaches can be traced back to an elliptic system of KnizhnikZamolodchikovBernard(KZB) type on the twicepunctured torus. We derive an explicit allmultiplicity representation of the elliptic KZB system for a vector of iterated integrals with an extra marked point and explore compatibility conditions for the two sets of algebra generators appearing in the two differential equations.
 [132] arXiv:2007.03714 (crosslist from cs.LG) [pdf, other]

Title: Towards an Understanding of Residual Networks Using Neural Tangent Hierarchy (NTH)Comments: 72 pages, 1 figureSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Statistics Theory (math.ST); Machine Learning (stat.ML)
Gradient descent yields zero training loss in polynomial time for deep neural networks despite nonconvex nature of the objective function. The behavior of network in the infinite width limit trained by gradient descent can be described by the Neural Tangent Kernel (NTK) introduced in \cite{Jacot2018Neural}. In this paper, we study dynamics of the NTK for finite width Deep Residual Network (ResNet) using the neural tangent hierarchy (NTH) proposed in \cite{Huang2019Dynamics}. For a ResNet with smooth and Lipschitz activation function, we reduce the requirement on the layer width $m$ with respect to the number of training samples $n$ from quartic to cubic. Our analysis suggests strongly that the particular skipconnection structure of ResNet is the main reason for its triumph over fullyconnected network.
 [133] arXiv:2007.03724 (crosslist from cs.LG) [pdf, other]

Title: Learning while Respecting Privacy and Robustness to Distributional Uncertainties and Adversarial DataComments: 14 pages, 5 figuresSubjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Information Theory (cs.IT); Systems and Control (eess.SY)
Data used to train machine learning models can be adversarialmaliciously constructed by adversaries to fool the model. Challenge also arises by privacy, confidentiality, or due to legal constraints when data are geographically gathered and stored across multiple learners, some of which may hold even an "anonymized" or unreliable dataset. In this context, the distributionally robust optimization framework is considered for training a parametric model, both in centralized and federated learning settings. The objective is to endow the trained model with robustness against adversarially manipulated input data, or, distributional uncertainties, such as mismatches between training and testing data distributions, or among datasets stored at different workers. To this aim, the data distribution is assumed unknown, and lies within a Wasserstein ball centered around the empirical data distribution. This robust learning task entails an infinitedimensional optimization problem, which is challenging. Leveraging a strong duality result, a surrogate is obtained, for which three stochastic primaldual algorithms are developed: i) stochastic proximal gradient descent with an $\epsilon$accurate oracle, which invokes an oracle to solve the convex subproblems; ii) stochastic proximal gradient descentascent, which approximates the solution of the convex subproblems via a single gradient ascent step; and, iii) a distributionally robust federated learning algorithm, which solves the subproblems locally at different workers where data are stored. Compared to the empirical risk minimization and federated learning methods, the proposed algorithms offer robustness with little computation overhead. Numerical tests using image datasets showcase the merits of the proposed algorithms under several existing adversarial attacks and distributional uncertainties.
 [134] arXiv:2007.03725 (crosslist from condmat.statmech) [pdf, ps, other]

Title: Levy flights in steep potential wells: Langevin modeling versus direct response to energy landscapesComments: 25 pp, 7 FigsSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Spectral Theory (math.SP); Quantum Physics (quantph)
We investigate the nonLangevin relative of the L\'{e}vydriven Langevin random system, under an assumption that both systems share a common (asymptotic, stationary, steadystate) target pdf. The relaxation to equilibrium in the fractional LangevinFokkerPlanck scenario results from an impact of confining conservative force fields on the random motion. A nonLangevin alternative has a builtin direct response of jump intensities to energy (potential) landscapes in which the process takes place. We revisit the problem of L\'{e}vy flights in superharmonic potential wells, with a focus on the extremally steep well regime, and address the issue of its (spectral) "closeness" to the L\'{e}vy jumptype process confined in a finite enclosure with impenetrable (in particular reflecting) boundaries. The pertinent random system "in a box/interval" is expected to have a fractional Laplacian with suitable boundary conditions as a legitimate motion generator. The problem is, that in contrast to amply studied Dirichlet boundary problems, a concept of reflecting boundary conditions and the pathwise implementation of the pertinent random process in the vicinity of (or sharply at) reflecting boundaries are not unequivocally settled for L\'{e}vy processes. This ambiguity extends to fractional motion generators, for which nonlocal analogs of Neumann conditions are not associated with pathwise reflection scenarios at the boundary, respecting the impenetrability assumption.
 [135] arXiv:2007.03763 (crosslist from eess.SP) [pdf, other]

Title: Realtime Intersection Optimization for Signal Phasing, Timing, and Automated Vehicles' TrajectoriesSubjects: Signal Processing (eess.SP); Optimization and Control (math.OC)
This study aims to develop a realtime intersection optimization (RIO) control algorithm to efficiently serve traffic of Connected and Automated Vehicles (CAVs) and conventional vehicles (CNVs). This paper extends previous work to consider demand over capacity conditions and trajectory deviations by reoptimizing decisions. To jointly optimize Signal Phase and Timing (SPaT) and departure time of CAVs, we formulated a joint optimization model which is reduced to and solved as a Minimum Cost Flow (MCF) problem. The MCFbased optimization models is embedded into the RIO algorithm to operate the signal controller and to plan the movement of CAVs. Simulation experiments showed 1822% travel time decrease and up to 12% capacity improvement compared to the base scenario.
 [136] arXiv:2007.03768 (crosslist from nlin.SI) [pdf, other]

Title: Secondorder integrable Lagrangians and WDVV equationsSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph)
We investigate integrability of EulerLagrange equations associated with 2D secondorder Lagrangians of the form \begin{equation*} \int f(u_{xx},u_{xy},u_{yy})\ dxdy. \end{equation*} By deriving integrability conditions for the Lagrangian density $f$, examples of integrable Lagrangians expressible via elementary functions, Jacobi theta functions and dilogarithms are constructed. A link of secondorder integrable Lagrangians to WDVV equations is established. Generalisations to 3D secondorder integrable Lagrangians are also discussed.
 [137] arXiv:2007.03795 (crosslist from cs.LG) [pdf, other]

Title: Conditional gradient methods for stochastically constrained convex minimizationSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
We propose two novel conditional gradientbased methods for solving structured stochastic convex optimization problems with a large number of linear constraints. Instances of this template naturally arise from SDPrelaxations of combinatorial problems, which involve a number of constraints that is polynomial in the problem dimension. The most important feature of our framework is that only a subset of the constraints is processed at each iteration, thus gaining a computational advantage over prior works that require full passes. Our algorithms rely on variance reduction and smoothing used in conjunction with conditional gradient steps, and are accompanied by rigorous convergence guarantees. Preliminary numerical experiments are provided for illustrating the practical performance of the methods.
 [138] arXiv:2007.03800 (crosslist from cs.LG) [pdf, ps, other]

Title: Efficient and Parallel Separable Dictionary LearningSubjects: Machine Learning (cs.LG); Image and Video Processing (eess.IV); Numerical Analysis (math.NA); Machine Learning (stat.ML)
Separable, or Kronecker product, dictionaries provide natural decompositions for 2D signals, such as images. In this paper, we describe an algorithm to learn such dictionaries which is highly parallelizable and which reaches sparse representations competitive with the previous state of the art dictionary learning algorithms from the literature. We highlight the performance of the proposed method to sparsely represent image data and for image denoising applications.
 [139] arXiv:2007.03814 (crosslist from stat.ML) [pdf, ps, other]

Title: A Variational Formula for Rényi DivergencesComments: 11 pages, 2 figuresSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG); Probability (math.PR)
We derive a new variational formula for the R\'enyi family of divergences, $R_\alpha(Q\P)$, generalizing the classical DonskerVaradhan variational formula for the KullbackLeibler divergence. The objective functional in this new variational representation is expressed in terms of expectations under $Q$ and $P$, and hence can be estimated using samples from the two distributions. We illustrate the utility of such a variational formula by constructing neuralnetwork estimators for the R\'enyi divergences.
 [140] arXiv:2007.03834 (crosslist from cs.CL) [pdf, ps, other]

Title: Language Modeling with Reduced DensitiesComments: 19 pagesSubjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Category Theory (math.CT); Quantum Physics (quantph)
We present a framework for modeling words, phrases, and longer expressions in a natural language using reduced density operators. We show these operators capture something of the meaning of these expressions and, under the Loewner order on positive semidefinite operators, preserve both a simple form of entailment and the relevant statistics therein. Pulling back the curtain, the assignment is shown to be a functor between categories enriched over probabilities.
 [141] arXiv:2007.03902 (crosslist from qbio.PE) [pdf, other]

Title: Building Mean Field State Transition Models Using The Generalized Linear Chain Trick and Continuous Time Markov Chain TheoryComments: 27 pages, 4 figures, 2 ancillary files (R code for two figures)Subjects: Populations and Evolution (qbio.PE); Dynamical Systems (math.DS)
The wellknown Linear Chain Trick (LCT) allows modelers to derive mean field ODEs that assume gamma (Erlang) distributed passage times, by transitioning individuals sequentially through a chain of substates. The time spent in these states is the sum of $k$ exponentially distributed random variables, and is thus gamma (Erlang) distributed. The Generalized Linear Chain Trick (GLCT) extends this technique to the much broader phasetype family of distributions, which includes exponential, Erlang, hypoexponential, and Coxian distributions. Intuitively, phasetype distributions are the absorption time distributions for continuous time Markov chains (CTMCs). Here we review CTMCs and phasetype distributions, then illustrate how to use the GLCT to efficiently build mean field ODE models from underlying stochastic model assumptions. We generalize the RosenzweigMacArthur and SEIR models and show the benefits of using the GLCT to compute numerical solutions. These results highlight some practical benefits, and the intuitive nature, of using the GLCT to derive ODE models from first principles.
 [142] arXiv:2007.03926 (crosslist from cs.LG) [pdf, other]

Title: Nonparametric Models for Nonnegative FunctionsAuthors: Ulysse MarteauFerey (PSL, DIENS, SIERRA), Francis Bach (PSL, DIENS, SIERRA), Alessandro Rudi (PSL, DIENS, SIERRA)Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Statistics Theory (math.ST)
Linear models have shown great effectiveness and flexibility in many fields such as machine learning, signal processing and statistics. They can represent rich spaces of functions while preserving the convexity of the optimization problems where they are used, and are simple to evaluate, differentiate and integrate. However, for modeling nonnegative functions, which are crucial for unsupervised learning, density estimation, or nonparametric Bayesian methods, linear models are not applicable directly. Moreover, current stateoftheart models like generalized linear models either lead to nonconvex optimization problems, or cannot be easily integrated. In this paper we provide the first model for nonnegative functions which benefits from the same good properties of linear models. In particular, we prove that it admits a representer theorem and provide an efficient dual formulation for convex problems. We study its representation power, showing that the resulting space of functions is strictly richer than that of generalized linear models. Finally we extend the model and the theoretical results to functions with outputs in convex cones. The paper is complemented by an experimental evaluation of the model showing its effectiveness in terms of formulation, algorithmic derivation and practical results on the problems of density estimation, regression with heteroscedastic errors, and multiple quantile regression.
 [143] arXiv:2007.03937 (crosslist from cs.LG) [pdf, ps, other]

Title: A Nearest Neighbor Characterization of Lebesgue Points in Metric Measure SpacesSubjects: Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
The property of almost every point being a Lebesgue point has proven to be crucial for the consistency of several classification algorithms based on nearest neighbors. We characterize Lebesgue points in terms of a 1Nearest Neighbor regression algorithm for pointwise estimation, fleshing out the role played by tiebreaking rules in the corresponding convergence problem. We then give an application of our results, proving the convergence of the risk of a large class of 1Nearest Neighbor classification algorithms in general metric spaces where almost every point is a Lebesgue point.
 [144] arXiv:2007.03940 (crosslist from cs.AI) [pdf, other]

Title: Reconciling Causality and StatisticsComments: 22 pages, 14 figuresSubjects: Artificial Intelligence (cs.AI); Statistics Theory (math.ST)
Statisticians have warned us since the early days of their discipline that experimental correlation between two observations by no means implies the existence of a causal relation. The question about what clues exist in observational data that could informs us about the existence of such causal relations is nevertheless more that legitimate. It lies actually at the root of any scientific endeavor. For decades however the only accepted method among statisticians to elucidate causal relationships was the so called Randomized Controlled Trial. Besides this notorious exception causality questions remained largely taboo for many. One reason for this state of affairs was the lack of an appropriate mathematical framework to formulate such questions in an unambiguous way. Fortunately thinks have changed these last years with the advent of the so called Causality Revolution initiated by Judea Pearl and coworkers. The aim of this pedagogical paper is to present their ideas and methods in a compact and selfcontained fashion with concrete business examples as illustrations.
 [145] arXiv:2007.03946 (crosslist from cs.DS) [pdf, ps, other]

Title: A Technique for Obtaining True Approximations for $k$Center with Covering ConstraintsSubjects: Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
There has been a recent surge of interest in incorporating fairness aspects into classical clustering problems. Two recently introduced variants of the $k$Center problem in this spirit are Colorful $k$Center, introduced by Bandyapadhyay, Inamdar, Pai, and Varadarajan, and lottery models, such as the Fair Robust $k$Center problem introduced by Harris, Pensyl, Srinivasan, and Trinh. To address fairness aspects, these models, compared to traditional $k$Center, include additional covering constraints. Prior approximation results for these models require to relax some of the normally hard constraints, like the number of centers to be opened or the involved covering constraints, and therefore, only obtain constantfactor pseudoapproximations. In this paper, we introduce a new approach to deal with such covering constraints that leads to (true) approximations, including a $4$approximation for Colorful $k$Center with constantly many colorssettling an open question raised by Bandyapadhyay, Inamdar, Pai, and Varadarajanand a $4$approximation for Fair Robust $k$Center, for which the existence of a (true) constantfactor approximation was also open. We complement our results by showing that if one allows an unbounded number of colors, then Colorful $k$Center admits no approximation algorithm with finite approximation guarantee, assuming that $\mathrm{P} \neq \mathrm{NP}$. Moreover, under the Exponential Time Hypothesis, the problem is inapproximable if the number of colors grows faster than logarithmic in the size of the ground set.
 [146] arXiv:2007.03948 (crosslist from cs.NE) [pdf, other]

Title: Learning Efficient Search Approximation in Mixed Integer Branch and BoundSubjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
In line with the growing trend of using machine learning to improve solving of combinatorial optimisation problems, one promising idea is to improve node selection within a mixed integer programming branchandbound tree by using a learned policy. In contrast to previous work using imitation learning, our policy is focused on learning which of a node's children to select. We present an offline method to learn such a policy in two settings: one that is approximate by committing to pruning of nodes; one that is exact and backtracks from a leaf to use a different strategy. We apply the policy within the popular opensource solver SCIP. Empirical results on four MIP datasets indicate that our node selection policy leads to solutions more quickly than the stateoftheart in the literature, but not as quickly as the stateofpractice SCIP node selector. While we do not beat the highlyoptimised SCIP baseline in terms of solving time on exact solutions, our approximationbased policies have a consistently better optimality gap than all baselines if the accuracy of the predictive model adds value to prediction. Further, the results also indicate that, when a time limit is applied, our approximation method finds better solutions than all baselines in the majority of problems tested.
 [147] arXiv:2007.03975 (crosslist from cs.CR) [pdf, other]

Title: MPC Protocol for Gmodule and its Application in Secure Compare and ReLUSubjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Group Theory (math.GR)
Secure multiparty computation (MPC) is a subfield of cryptography. Its aim is creating methods for multiple parties to jointly compute a function over their inputs meanwhile keeping their inputs privately. The Secure Compare problem, introduced by Yao under the name millionaire's problem, is an important problem in MPC. On the other hand, Privacy Preserving Machine Learning (PPML) is an intersectional field of cryptography and machine learning. It allows a group of independent data owners to collaboratively learn a model over their data sets without exposing their private data. MPC is a common cryptographic technique commonly used in PPML. In Deep learning, ReLU is an important layer. In order to train neural network to use MPC, we need an MPC protocol for ReLU and DReLU (the derivative of ReLU) in forward propagation and backward propagation of neural network respectively. In this paper, we give two new tools "Gmodule action" and "Gmodule recover" for MPC protocol, and use them to give the protocols for Secure Compare, DReLU and ReLU. The total communication in online and offline of our protocols is much less than the state of the art.
 [148] arXiv:2007.04019 (crosslist from physics.socph) [pdf, other]

Title: Hyperbolic models for the spread of epidemics on networks: kinetic description and numerical methodsSubjects: Physics and Society (physics.socph); Numerical Analysis (math.NA)
We consider the development of hyperbolic transport models for the propagation in space of an epidemic phenomenon described by a classical compartmental dynamics. The model is based on a kinetic description at discrete velocities of the spatial movement and interactions of a population of susceptible, infected and recovered individuals. Thanks to this, the unphysical feature of instantaneous diffusive effects, which is typical of parabolic models, is removed. In particular, we formally show how such reactiondiffusion models are recovered in an appropriate diffusive limit. The kinetic transport model is therefore considered within a spatial network, characterizing different places such as villages, cities, countries, etc. The transmission conditions in the nodes are analyzed and defined. Finally, the model is solved numerically on the network through a finitevolume IMEX method able to maintain the consistency with the diffusive limit without restrictions due to the scaling parameters. Several numerical tests for simple epidemic network structures are reported and confirm the ability of the model to correctly describe the spread of an epidemic.
 [149] arXiv:2007.04123 (crosslist from grqc) [pdf, ps, other]

Title: On the Equivalence of Spacetimes, the CartanKarlhede AlgorithmComments: Didactic paper, intended to beginners on the field. 13 pagesJournalref: Rev. Bras. Ensino F\'is. vol.42 (2020), e20200041Subjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph); Differential Geometry (math.DG)
It is well known that in general relativity theory two spacetimes whose metrics are related by a coordinate transformation are physically equivalent. However, given two line elements, it is virtually impossible to implement the most general coordinate transformation in order to check the equivalence of the spacetimes. In this paper we present the socalled CartanKarlhede algorithm, which provides a finite sequence of steps to decide whether or not two metrics are equivalent. The point of this note is to illustrate the method through several simple examples, so that the reader can learn the fundamentals and details of the algorithm in practice.
 [150] arXiv:2007.04190 (crosslist from hepth) [pdf, ps, other]

Title: Logarithmic CFT at generic central charge: from Liouville theory to the $Q$state Potts modelComments: 36 pagesSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
Using derivatives of primary fields (null or not) with respect to the conformal dimension, we build infinite families of nontrivial logarithmic representations of the conformal algebra at generic central charge, with Jordan blocks of dimension $2$ or $3$. Each representation comes with one free parameter, which takes fixed values under assumptions on the existence of degenerate fields. This parameter can be viewed as a simpler, normalizationindependent redefinition of the logarithmic coupling. We compute the corresponding nonchiral conformal blocks, and show that they appear in limits of Liouville theory fourpoint functions.
As an application, we describe the logarithmic structures of the critical twodimensional $O(n)$ and $Q$state Potts models at generic central charge. The validity of our description is demonstrated by semianalytically bootstrapping fourpoint connectivities in the $Q$state Potts model to arbitrary precision. Moreover, we provide numerical evidence for the DelfinoViti conjecture for the threepoint connectivity. Our results hold for generic values of $Q$ in the complex plane and beyond.  [151] arXiv:2007.04195 (crosslist from qbio.CB) [pdf, other]

Title: A hybrid discretecontinuum approach to model Turing pattern formationSubjects: Cell Behavior (qbio.CB); Dynamical Systems (math.DS)
Since its introduction in 1952, Turing's (pre)pattern theory ("the chemical basis of morphogenesis") has been widely applied to a number of areas in developmental biology. The related pattern formation models normally comprise a system of reactiondiffusion equations for interacting chemical species ("morphogens"), whose heterogeneous distribution in some spatial domain acts as a template for cells to form some kind of pattern or structure through, for example, differentiation or proliferation induced by the chemical prepattern. Here we develop a hybrid discretecontinuum modelling framework for the formation of cellular patterns via the Turing mechanism. In this framework, a stochastic individualbased model of cell movement and proliferation is combined with a reactiondiffusion system for the concentrations of some morphogens. As an illustrative example, we focus on a model in which the dynamics of the morphogens are governed by an activatorinhibitor system that gives rise to Turing prepatterns. The cells then interact with morphogens in their local area through either of two forms of chemicallydependent cell action: chemotaxis and chemicallycontrolled proliferation. We begin by considering such a hybrid model posed on static spatial domains, and then turn to the case of growing domains. In both cases, we formally derive the corresponding deterministic continuum limit and show that that there is an excellent quantitative match between the spatial patterns produced by the stochastic individualbased model and its deterministic continuum counterpart, when sufficiently large numbers of cells are considered. This paper is intended to present a proof of concept for the ideas underlying the modelling framework, with the aim to then apply the related methods to the study of specific patterning and morphogenetic processes in the future.
 [152] arXiv:2007.04202 (crosslist from cs.LG) [pdf, other]

Title: Stochastic Hamiltonian Gradient Methods for Smooth GamesAuthors: Nicolas Loizou, Hugo Berard, Alexia JolicoeurMartineau, Pascal Vincent, Simon LacosteJulien, Ioannis MitliagkasComments: ICML 2020  Proceedings of the 37th International Conference on Machine LearningSubjects: Machine Learning (cs.LG); Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC); Machine Learning (stat.ML)
The success of adversarial formulations in machine learning has brought renewed motivation for smooth games. In this work, we focus on the class of stochastic Hamiltonian methods and provide the first convergence guarantees for certain classes of stochastic smooth games. We propose a novel unbiased estimator for the stochastic Hamiltonian gradient descent (SHGD) and highlight its benefits. Using tools from the optimization literature we show that SHGD converges linearly to the neighbourhood of a stationary point. To guarantee convergence to the exact solution, we analyze SHGD with a decreasing stepsize and we also present the first stochastic variance reduced Hamiltonian method. Our results provide the first global nonasymptotic lastiterate convergence guarantees for the class of stochastic unconstrained bilinear games and for the more general class of stochastic games that satisfy a "sufficiently bilinear" condition, notably including some nonconvex nonconcave problems. We supplement our analysis with experiments on stochastic bilinear and sufficiently bilinear games, where our theory is shown to be tight, and on simple adversarial machine learning formulations.
 [153] arXiv:2007.04213 (crosslist from cs.LO) [pdf, other]

Title: Closure hyperdoctrines, with pathsSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Spatial logics are modal logics whose modalities are interpreted using topological concepts of neighbourhood and connectivity. Recently, these logics have been extended to (pre)closure spaces, a generalization of topological spaces covering also the notion of neighbourhood in discrete structures. In this paper we introduce an abstract theoretical framework for the systematic investigation of the logical aspects of closure spaces. To this end we define the categorical notion of closure (hyper)doctrine, which are doctrines endowed with inflationary operators (and subject to suitable conditions). The generality and effectiveness of this notion is demonstrated by many examples arising naturally from topological spaces, fuzzy sets, algebraic structures, coalgebras, and covering at once also known cases such as Kripke frames and probabilistic frames (i.e., Markov chains). In order to model also surroundedness, closure hyperdoctrines are then endowed with paths; this construction allows us to cover all the logical constructs of the Spatial Logic for Closure Spaces. By leveraging general categorical constructions, we provide a first axiomatisation and sound and complete semantics for propositional/regular/first order logics for closure operators. Therefore, closure hyperdoctrines are useful both for refining and improving the theory of existing spatial logics, but especially for the definition of new spatial logics for various applications.
 [154] arXiv:2007.04283 (crosslist from grqc) [pdf, other]

Title: Slow decay of waves in gravitational solitonsComments: 43 pages, 16 figuresSubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We consider a family of globally stationary (horizonless), asymptotically flat solutions of fivedimensional supergravity. We prove that massless linear scalar waves in such soliton spacetimes cannot have a uniform decay rate faster than inverse logarithmically in time. This slow decay can be attributed to the stable trapping of null geodesics. Our proof uses the construction of quasimodes which are time periodic approximate solutions to the wave equation. The proof is based on previous work to prove an analogous result in KerrAdS black holes \cite{holzegel:2013kna}. We remark that this slow decay is suggestive of an instability at the nonlinear level.
 [155] arXiv:2007.04286 (crosslist from stat.ME) [pdf, other]

Title: Kernelbased Prediction of NonMarkovian Time SeriesComments: 7 figuresSubjects: Methodology (stat.ME); Dynamical Systems (math.DS); Data Analysis, Statistics and Probability (physics.dataan)
A nonparametric method to predict nonMarkovian time series of partially observed dynamics is developed. The prediction problem we consider is a supervised learning task of finding a regression function that takes a delay embedded observable to the observable at a future time. When delay embedding theory is applicable, the proposed regression function is a consistent estimator of the flow map induced by the delay embedding. Furthermore, the corresponding MoriZwanzig equation governing the evolution of the observable simplifies to only a Markovian term, represented by the regression function. We realize this supervised learning task with a class of kernelbased linear estimators, the kernel analog forecast (KAF), which are consistent in the limit of large data. In a scenario with a highdimensional covariate space, we employ a Markovian kernel smoothing method which is computationally cheaper than the Nystr\"om projection method for realizing KAF. In addition to the guaranteed theoretical convergence, we numerically demonstrate the effectiveness of this approach on higherdimensional problems where the relevant kernel features are difficult to capture with the Nystr\"om method. Given noisy training data, we propose a nonparametric smoother as a denoising method. Numerically, we show that the proposed smoother is more accurate than EnKF and 4Dvar in denoising signals corrupted by independent (but not necessarily identically distributed) noise, even if the smoother is constructed using a data set corrupted by white noise. We show skillful prediction using the KAF constructed from the denoised data.
 [156] arXiv:2007.04296 (crosslist from hepth) [pdf, ps, other]

Title: TwoComponent Spinorial Formalism using Quaternions for Sixdimensional SpacetimesComments: 47 pagesSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
In this article we construct and discuss several aspects of the twocomponent spinorial formalism for sixdimensional spacetimes, in which chiral spinors are represented by objects with two quaternionic components and the spin group is identified with $SL(2;\mathbb{H})$, which is a double covering for the Lorentz group in six dimensions. We present the fundamental representations of this group and show how vectors, bivectors, and 3vectors are represented in such spinorial formalism. We also complexify the spacetime, so that other signatures can be tackled. We argue that, in general, objects built from the tensor products of the fundamental representations of $SL(2;\mathbb{H})$ do not carry a representation of the group, due to the noncommutativity of the quaternions. The Lie algebra of the spin group is obtained and its connection with the Lie algebra of $SO(5,1)$ is presented, providing a physical interpretation for the elements of $SL(2;\mathbb{H})$. Finally, we present a bridge between this quaternionic spinorial formalism for sixdimensional spacetimes and the fourcomponent spinorial formalism over the complex field that comes from the fact that the spin group in sixdimensional Euclidean spaces is given by $SU(4)$.
Replacements for Thu, 9 Jul 20
 [157] arXiv:1506.02029 (replaced) [pdf, ps, other]
 [158] arXiv:1508.05496 (replaced) [pdf, ps, other]

Title: Finitetime blowup of a nonlocal stochastic parabolic problemComments: 34 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
 [159] arXiv:1607.01834 (replaced) [pdf, ps, other]

Title: Groups with at most twelve subgroupsAuthors: Michael C SlatteryComments: This revision corrects the oversight of $D_8$ in the summary of groups with 10 subgroups. This changes the 10th term in the sequence of groups with $G = \widetilde{G}$ from 8 to 9 and the 10th term in the (OEIS) full sequence of similarity classes from 11 to 12. The error was found by Betz and NashSubjects: Group Theory (math.GR)
 [160] arXiv:1610.07998 (replaced) [pdf, other]

Title: Stability and coercivity for toric polarizationsAuthors: Tomoyuki HisamotoComments: 20 pages. We place the slope formula as the main theorem, in view of the previous research. Accordingly, presentations are fixed and Related discussions are added. Proof of the theorems in the previous versions are not changedSubjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
 [161] arXiv:1705.03240 (replaced) [pdf, ps, other]

Title: Différentielles à singularités prescritesComments: 85 pages, in French. improved and corrected version thanks to referee commentsSubjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG)
 [162] arXiv:1705.04208 (replaced) [pdf, other]

Title: Geometric Graph Manifolds with nonnegative scalar curvatureComments: 19 pages, 3 figures. Second version with an additional corollary and improved exposition. arXiv admin note: substantial text overlap with arXiv:1611.06572Subjects: Differential Geometry (math.DG)
 [163] arXiv:1706.01662 (replaced) [pdf, ps, other]

Title: When do triple operator integrals take value in the trace class?Comments: Slighly revised version. To appear in Annales Institut FourierSubjects: Functional Analysis (math.FA)
 [164] arXiv:1707.00925 (replaced) [pdf, ps, other]

Title: Elimination via saturationComments: Minor improvementsSubjects: Commutative Algebra (math.AC)
 [165] arXiv:1708.01656 (replaced) [pdf, ps, other]

Title: On a Vizingtype integer domination conjectureComments: 8 pagesJournalref: Theory and Applications of Graphs: Vol. 7 : Iss. 1 , Article 4, 2020Subjects: Combinatorics (math.CO)
 [166] arXiv:1708.09523 (replaced) [pdf, ps, other]

Title: Completion of Period Mappings and Ampleness of the Hodge bundleComments: 62 pages. v2 significant revision of the initial submission (v1); v3 further improvements and new references addedSubjects: Algebraic Geometry (math.AG)
 [167] arXiv:1710.10849 (replaced) [pdf, ps, other]

Title: On a conjecture of Furusho over function fieldsComments: Title and introduction are changed. Final version to appear in Inventiones mathematicaeSubjects: Number Theory (math.NT)
 [168] arXiv:1711.00101 (replaced) [pdf, other]

Title: Nonparametric covariance estimation for mixed longitudinal studies, with applications in midlife women's healthSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP); Computation (stat.CO)
 [169] arXiv:1805.01490 (replaced) [pdf, ps, other]

Title: Generic initial ideals of modular polynomial invariantsComments: 8 pagesJournalref: Journal of Pure and Applied Algebra, Volume 224, Issue 6, 2020, 106255Subjects: Commutative Algebra (math.AC)
 [170] arXiv:1805.04435 (replaced) [pdf, ps, other]

Title: Poisson Cohomology of Broken Lefschetz FibrationsComments: Final version, 30ppJournalref: Differential Geometry and its Applications 72 (2020) 101661Subjects: Differential Geometry (math.DG); Mathematical Physics (mathph); Quantum Algebra (math.QA); Symplectic Geometry (math.SG)
 [171] arXiv:1805.11845 (replaced) [pdf, other]

Title: An InformationTheoretic Analysis for Thompson Sampling with Many ActionsSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG)
 [172] arXiv:1806.10427 (replaced) [pdf, ps, other]

Title: An Itô Formula for rough partial differential equations and some applicationsComments: 53 pages, version 5 (published)Subjects: Probability (math.PR); Analysis of PDEs (math.AP)
 [173] arXiv:1807.09981 (replaced) [pdf, other]

Title: An extension of the Eshelby conjecture to domains of general shape in antiplane elasticityComments: 22 pages, 2 figuresSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [174] arXiv:1809.00600 (replaced) [pdf, ps, other]

Title: Wild solutions of the NavierStokes equations whose singular sets in time have Hausdorff dimension strictly less than 1Comments: 31 pages, minor corrections, to appear in JEMSSubjects: Analysis of PDEs (math.AP)
 [175] arXiv:1810.02629 (replaced) [pdf, ps, other]

Title: Smoothing Properties of Fractional OrnsteinUhlenbeck Semigroups and NullControllabilitySubjects: Analysis of PDEs (math.AP)
 [176] arXiv:1810.11180 (replaced) [pdf, ps, other]

Title: HansonWright inequality in Hilbert spaces with application to $K$means clustering for nonEuclidean dataSubjects: Statistics Theory (math.ST); Probability (math.PR)
 [177] arXiv:1810.11517 (replaced) [pdf, other]

Title: Generalized Persistence Diagrams for Persistence Modules over PosetsComments: (1) Theorem 5.2 and Theorem 6.6 in v3 have been weakened to Proposition 5.20 and Theorem 5.21 respectively by adding extra assumptions. (2) Extra examples and remarks have been added. (3) Minor changes throughout the paper, including simplification of notation in placesSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
 [178] arXiv:1811.02993 (replaced) [pdf, other]

Title: Spaces invariant under unitary representations of discrete groupsComments: arXiv admin note: text overlap with arXiv:1506.08942Subjects: Functional Analysis (math.FA); Representation Theory (math.RT)
 [179] arXiv:1811.06940 (replaced) [pdf, other]

Title: Stable graphs: distributions and linebreaking constructionSubjects: Probability (math.PR)
 [180] arXiv:1812.06196 (replaced) [pdf, ps, other]

Title: Meanfield games of optimal stopping: a relaxed solution approachSubjects: Optimization and Control (math.OC); Probability (math.PR)
 [181] arXiv:1812.11954 (replaced) [pdf, other]

Title: Exact Cluster Recovery via Classical Multidimensional ScalingComments: 42 pages in cluding appendixSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
 [182] arXiv:1901.06251 (replaced) [pdf, ps, other]

Title: Secondorder delay ordinary differential equations, their symmetries and application to a traffic problemComments: arXiv admin note: substantial text overlap with arXiv:1712.02581Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph)
 [183] arXiv:1901.06599 (replaced) [pdf, ps, other]

Title: Degree of rational maps via specializationComments: to appear in International Mathematics Research NoticesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
 [184] arXiv:1902.03707 (replaced) [pdf, ps, other]

Title: Singular Behavior of an ElectrostaticElastic Membrane System with an External PressureComments: 28 pages, 1 figureJournalref: Nonlinear Anal. 190 (2020), 111611Subjects: Analysis of PDEs (math.AP)
 [185] arXiv:1902.05741 (replaced) [pdf, ps, other]

Title: $\mathbb{Z}_2 \times \mathbb{Z}_2$ generalizations of infinite dimensional Lie superalgebra of conformal type with complete classification of central extensionsComments: 19 pages, no figure, Revision in Section 2 and 3. Some new referencesJournalref: Rep. Math. Phys. 85 (2020) 351Subjects: Mathematical Physics (mathph); Representation Theory (math.RT)
 [186] arXiv:1902.07029 (replaced) [pdf, other]

Title: A levelset multigrid technique for nonlinear diffusion in the numerical simulation of marble degradation under chemical pollutantsSubjects: Numerical Analysis (math.NA)
 [187] arXiv:1903.09738 (replaced) [pdf, other]

Title: The Elliptic Painlevé Lax Equation vs. van Diejen's 8Coupling Elliptic HamiltonianJournalref: SIGMA 16 (2020), 063, 16 pagesSubjects: Mathematical Physics (mathph); Quantum Algebra (math.QA); Exactly Solvable and Integrable Systems (nlin.SI)
 [188] arXiv:1904.02415 (replaced) [pdf, other]

Title: A Bayesian Nonparametric Test for Assessing Multivariate NormalitySubjects: Statistics Theory (math.ST)
 [189] arXiv:1904.10897 (replaced) [pdf, ps, other]

Title: Equivariant property (SI) revisitedAuthors: Gabor SzaboComments: v4 36 pages; this version has been accepted at Analysis & PDESubjects: Operator Algebras (math.OA)
 [190] arXiv:1904.11626 (replaced) [pdf, ps, other]

Title: Parametric Scenario Optimization under Limited Data: A Distributionally Robust Optimization ViewSubjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
 [191] arXiv:1905.06779 (replaced) [pdf, ps, other]

Title: On the harmonic extension approach to fractional powers in Banach spacesSubjects: Functional Analysis (math.FA)
 [192] arXiv:1906.01687 (replaced) [pdf, other]

Title: Stochastic Gradients for LargeScale Tensor DecompositionSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Machine Learning (stat.ML)
 [193] arXiv:1906.02602 (replaced) [pdf, ps, other]

Title: Circular automata synchronize with high probabilityAuthors: Christoph Aistleitner, Daniele D'Angeli, Abraham Gutierrez, Emanuele Rodaro, Amnon RosenmannComments: 22 pagesSubjects: Combinatorics (math.CO)
 [194] arXiv:1906.02895 (replaced) [pdf, ps, other]

Title: The average cutrank of graphsComments: 22 pages, 1 figure. The bound $x_n$ is corrected. Accepted to European J. CombinatoricsSubjects: Combinatorics (math.CO)
 [195] arXiv:1906.05328 (replaced) [pdf, ps, other]

Title: Equality and difference of quenched and averaged large deviation rate functions for random walks in random environments without ballisticityComments: Contains new results on the "bulk behavior" of the rate functions, i.e. equality of rate functions are now shown on every compact subset in the {\it interior} of the unit ball (the origin removed) for small enough disorder, extending earlier version about equality on the boundary (the corners removed) and explicit formulas and phasetransition in equality/difference of the rate functions thereinSubjects: Probability (math.PR)
 [196] arXiv:1907.01241 (replaced) [pdf, other]

Title: On the VCdimension of halfspaces with respect to convex setsSubjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
 [197] arXiv:1907.01486 (replaced) [pdf, ps, other]

Title: Optimal lower bounds for Donaldson's JfunctionalAuthors: Zakarias Sjöström DyrefeltComments: Final version, to appear in Adv. MathSubjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
 [198] arXiv:1907.03995 (replaced) [pdf, ps, other]

Title: $\ell^1$contractive maps on noncommutative $L^p$spacesComments: This is a revised version with a few corrections. To appear in Journal of Operator TheorySubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
 [199] arXiv:1907.07889 (replaced) [pdf, other]

Title: The simultaneous conjugacy problem in the symmetric groupSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
 [200] arXiv:1908.04222 (replaced) [pdf, other]

Title: Uniform distribution of dislocations in PeierlsNabarro models for semicoherent interfacesComments: 27 Pages, 1 FigureSubjects: Analysis of PDEs (math.AP)
 [201] arXiv:1908.09166 (replaced) [pdf, ps, other]

Title: Small cap decouplingsComments: 4 figues, final version incorporating referee's suggestionsSubjects: Classical Analysis and ODEs (math.CA)
 [202] arXiv:1909.03846 (replaced) [pdf, other]

Title: On dynamic random graphs with degree homogenization via antipreferential attachment probabilitiesSubjects: Probability (math.PR); Combinatorics (math.CO)
 [203] arXiv:1909.07952 (replaced) [pdf, other]

Title: Various Characterizations of Throttling NumbersComments: 22 pages, 9 figuresSubjects: Combinatorics (math.CO)
 [204] arXiv:1909.13633 (replaced) [pdf, ps, other]

Title: Multiplicity of the saturated special fiber ring of height three Gorenstein idealsComments: to appear in Acta Mathematica VietnamicaSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
 [205] arXiv:1910.06524 (replaced) [pdf, ps, other]

Title: Adjointbased exact Hessian computationSubjects: Numerical Analysis (math.NA)
 [206] arXiv:1910.06549 (replaced) [pdf, ps, other]

Title: Bilinear operator multipliers into the trace classComments: This paper replaces the one entitled "Modular operator multipliers into the trace". Besides the change of title, a few corrections have been made. To appear in Journal of Functional AnalysisSubjects: Operator Algebras (math.OA)
 [207] arXiv:1910.08828 (replaced) [pdf, ps, other]

Title: Dictionary Learning with Almost Sure Error ConstraintsSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [208] arXiv:1910.08961 (replaced) [pdf, ps, other]

Title: On nonweight representations of the $N=2$ superconformal algebrasComments: 22 pages.The title and abstract have been updated. Subsections 3.2/3.3 are added. Accepted by Journal of Pure and Applied AlgebraSubjects: Representation Theory (math.RT)
 [209] arXiv:1910.14067 (replaced) [pdf, other]

Title: Spectral properties of kernel matrices in the flat limitComments: 40 pages, 8 pagesSubjects: Numerical Analysis (math.NA); Spectral Theory (math.SP); Statistics Theory (math.ST)
 [210] arXiv:1911.01863 (replaced) [pdf, ps, other]

Title: Infinitesimal variations of submanifoldsComments: The title has been changed in the last versionSubjects: Differential Geometry (math.DG)
 [211] arXiv:1911.06709 (replaced) [pdf, other]

Title: On the transitivity of the group of orbifold diffeomorphismsSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
 [212] arXiv:1911.06792 (replaced) [pdf, other]

Title: On differentiable local bounds preserving stabilization for Euler equationsComments: arXiv admin note: text overlap with arXiv:1912.11487Subjects: Numerical Analysis (math.NA)
 [213] arXiv:1911.12471 (replaced) [pdf, other]

Title: Large independent sets in trianglefree cubic graphs: beyond planarityComments: v2: Referees' comments incorporatedSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [214] arXiv:1912.04100 (replaced) [pdf, other]

Title: Central Limit Theorem for Linear Eigenvalue Statistics of nonHermitian Random MatricesComments: Minor typos correct. 64 pagesSubjects: Probability (math.PR); Mathematical Physics (mathph)
 [215] arXiv:1912.05447 (replaced) [pdf, ps, other]

Title: On negative eigenvalues of twodimensional Schroedinger operators with singular potentialsComments: This version contains minor corrections to the journal version. arXiv admin note: text overlap with arXiv:1609.08098Subjects: Spectral Theory (math.SP)
 [216] arXiv:1912.06504 (replaced) [pdf, ps, other]

Title: Geometry from DonaldsonThomas invariantsAuthors: Tom BridgelandComments: Minor changes, 89 pagesSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth)
 [217] arXiv:1912.09025 (replaced) [pdf, other]

Title: MatrixCalibrationBased Cascaded Channel Estimation for Reconfigurable Intelligent Surface Assisted Multiuser MIMOComments: Accepted by IEEE Journal on Selected Areas in Communications. Matlab demo code is available at this https URLSubjects: Information Theory (cs.IT)
 [218] arXiv:1912.10407 (replaced) [pdf, ps, other]

Title: Constructive sheaf models of type theoryComments: Simplified the definition of lex operation, simplified the encoding of the homotopy limit and remark that the homotopy descent data is a lex modality without using higher inductive typesSubjects: Logic (math.LO)
 [219] arXiv:1912.12331 (replaced) [pdf, other]

Title: Schwarzian quantum mechanics as a DrinfeldSokolov reduction of $BF$ theoryComments: 22 pages, 1 figure; v3: switched from Lorentizan to Euclidean signature, added Remark 3 commenting on the relation of the puncture and a Wilson line defect, added Remark 7 discussing the partition function for circles of arbitrary lengths, removed section 4.5 (Operator formalism), switched from based loops to LG/G throughout Section 4Subjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [220] arXiv:1912.12729 (replaced) [pdf, ps, other]

Title: On renormalized solutions to elliptic inclusions with nonstandard growthSubjects: Analysis of PDEs (math.AP)
 [221] arXiv:1912.13291 (replaced) [pdf, other]

Title: A doubly stochastic block GaussSeidel algorithm for solving linear equationsComments: 14 pages, 2 figures. More general results are given in this versionSubjects: Numerical Analysis (math.NA)
 [222] arXiv:2001.00005 (replaced) [pdf, ps, other]

Title: Approach to the construction of the spaces $ S{D^p}[\mathbb{R}^\infty]$ for $1 \leq p \leq \infty$Comments: 15, revised versionSubjects: Functional Analysis (math.FA)
 [223] arXiv:2001.04179 (replaced) [pdf, other]

Title: Randomized extended block Kaczmarz for solving least squaresComments: 20 pages, 3 figures, more general results are presentedSubjects: Numerical Analysis (math.NA)
 [224] arXiv:2001.06326 (replaced) [pdf, other]

Title: Torsion Generators of the Twist SubgroupComments: 10 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:1912.10685Subjects: Geometric Topology (math.GT)
 [225] arXiv:2001.07878 (replaced) [pdf, ps, other]

Title: Kingman's model with random mutation probabilities: convergence and condensation IIAuthors: Linglong YuanSubjects: Probability (math.PR)
 [226] arXiv:2001.08151 (replaced) [pdf, ps, other]

Title: Do flat skewreciprocal Littlewood polynomials exist?Authors: Tamás ErdélyiSubjects: Classical Analysis and ODEs (math.CA)
 [227] arXiv:2001.09679 (replaced) [pdf, ps, other]

Title: A note on sublinear separators and expansionAuthors: Zdeněk DvořákComments: 10 pages, no figures; updated according to the reviewer remarksSubjects: Combinatorics (math.CO)
 [228] arXiv:2001.11276 (replaced) [pdf, other]

Title: A Lietheoretic Construction of CartanMoser ChainsAuthors: Joel Merker (LMOrsay & IHES)Comments: This work was supported in part by the Polish National Science Centre (NCN) via the grant number 2018/29/B/ST1/02583Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
 [229] arXiv:2002.00365 (replaced) [pdf, ps, other]

Title: An Improved Distributed Nonlinear Observer for LeaderFollowing Consensus Via Differential Geometry ApproachSubjects: Optimization and Control (math.OC)
 [230] arXiv:2002.01242 (replaced) [pdf, ps, other]

Title: Stability and ApplicationsComments: 18 pages, minor changesSubjects: Algebraic Geometry (math.AG)
 [231] arXiv:2002.04131 (replaced) [pdf, other]

Title: QLearning Algorithm for MeanField Controls, with Convergence and Complexity AnalysisSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [232] arXiv:2002.08719 (replaced) [pdf, ps, other]

Title: Noise effects on dependence on initial data and blowup for stochastic EulerPoincaré equationsAuthors: Hao TangComments: 43 pages. Further extending on Theorem 1.4Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
 [233] arXiv:2002.09992 (replaced) [pdf, other]

Title: The GodbillonVey Invariant as Topological Vorticity Compression and Obstruction to Steady Flow in Ideal FluidsAuthors: Thomas MachonComments: 14 pages, 2 figures. V2: Changes to discussion of local conservation law, nonunique $\theta$Journalref: Proc. R. Soc. A. 476, 20190851 (2020)Subjects: Mathematical Physics (mathph); Fluid Dynamics (physics.fludyn)
 [234] arXiv:2003.00644 (replaced) [pdf, ps, other]

Title: Descriptive complexity of real computation and probabilistic independence logicJournalref: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020. Association for Computing Machinery, New York, NY, USA, 550563Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
 [235] arXiv:2003.01401 (replaced) [pdf, ps, other]

Title: $t$Structures with Grothendieck hearts via functor categoriesComments: 56 pages; version 2: new sections 8.3 (a classification of tstructures with definable coaisles in terms of suspended ideals of the compacts) and 8.4 (existence of right adjacent cotstructures) addedSubjects: Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)
 [236] arXiv:2003.04233 (replaced) [pdf, ps, other]

Title: Restricted Irreducible Representations for the Nongraded Hamiltonian $H(2; (1,1); Φ(1))$Authors: Horacio GuerraComments: 42 pagesSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
 [237] arXiv:2003.06935 (replaced) [pdf, other]

Title: Control of chaos with minimal information transferAuthors: Christoph KawanSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
 [238] arXiv:2003.07134 (replaced) [pdf, other]

Title: Stable foliations and CWstructure induced by a MorseSmale gradientlike flowComments: 57 pages, 1 figure. The list of references has been expanded and the discussion about the history of the problem and future perspectives has been improved thanks to the suggestions of some readersSubjects: Dynamical Systems (math.DS)
 [239] arXiv:2003.08706 (replaced) [pdf, other]

Title: THBspline approximations for turbine blade design with local Bspline approximationsAuthors: Cesare Bracco, Carlotta Giannelli, David Grossmann, Sofia Imperatore, Dominik Mokris, Alessandra SestiniSubjects: Numerical Analysis (math.NA)
 [240] arXiv:2003.10907 (replaced) [pdf, other]

Title: Generators for Extended Mapping Class GroupsComments: 15 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.06326, arXiv:1912.10685Subjects: Geometric Topology (math.GT)
 [241] arXiv:2003.12712 (replaced) [pdf, other]

Title: Analysis and Experimental Demonstration of OrthantSymmetric Fourdimensional 7 bit/4Dsym Modulation for Optical Fiber CommunicationAuthors: Bin Chen, Alex Alvarado, Sjoerd van der Heide, Menno van den Hout, Hartmut Hafermann, Chigo OkonkwoComments: 15 pagesSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
 [242] arXiv:2004.00260 (replaced) [pdf, other]

Title: A Generalised Sextic Freud WeightComments: 18 pages, 3 figuresSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph); Classical Analysis and ODEs (math.CA)
 [243] arXiv:2004.02798 (replaced) [pdf, ps, other]

Title: Some remarks on Fano threefolds of index two and stability conditionsComments: 30 pages, 5 figures. In the degree1 case the statement of Theorem 1.1 is different from the previous versionSubjects: Algebraic Geometry (math.AG)
 [244] arXiv:2004.02879 (replaced) [pdf, ps, other]

Title: Maximum principles and the method of moving planes for the uniformly elliptic nonlocal Bellman operator and applicationsComments: arXiv admin note: substantial text overlap with arXiv:2002.09924Subjects: Analysis of PDEs (math.AP)
 [245] arXiv:2004.03256 (replaced) [pdf, ps, other]

Title: Inflation versus projection sets in aperiodic systems: The role of the window in averaging and diffractionComments: Minor adjustments, including slight change of title. 13 pages, many figures. Topical review linked to invited keynote lecture at the 2020 IUCr congress (which has been postponed to 2021)Subjects: Disordered Systems and Neural Networks (condmat.disnn); Metric Geometry (math.MG)
 [246] arXiv:2004.04028 (replaced) [pdf, other]

Title: Settheoretic solutions of the Pentagon EquationComments: accepted for publication in Communication in Mathematical Physics. 16 pagesSubjects: Rings and Algebras (math.RA)
 [247] arXiv:2004.04538 (replaced) [src]

Title: Rational Maps and Boundaries of Convex HullsAuthors: Joseph MalkounComments: The paper is withdrawn: the conjecture here is false, but it led to another work with Peter J. Olver, arxiv:2007.03011 [math.MG], for which the corresponding statement is actually proved thereSubjects: Metric Geometry (math.MG)
 [248] arXiv:2004.06329 (replaced) [pdf, ps, other]

Title: Replica analysis of overfitting in generalized linear modelsComments: 45 pages, 7 figures, accepted for publication in Journal of Physics ASubjects: Disordered Systems and Neural Networks (condmat.disnn); Statistics Theory (math.ST)
 [249] arXiv:2004.10917 (replaced) [pdf, other]

Title: Flexibility of Planar Graphs  Sharpening the Tools to Get Lists of Size FourComments: 18 pages, 4 figuresSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
 [250] arXiv:2004.11734 (replaced) [pdf, ps, other]

Title: Robust subgaussian estimation with VCdimensionAuthors: Jules DepersinSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
 [251] arXiv:2005.01222 (replaced) [pdf, ps, other]

Title: Isometric immersions of RCD spacesAuthors: Shouhei HondaComments: Proposition 2.29 in the previous version is deleted because the proof was incorrect. From this modification the proof of Theorem 2.29 in the current version is fixed. The main results are unchanged, and several results are improved. 35 pagesSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
 [252] arXiv:2005.02938 (replaced) [pdf, other]

Title: A Residual Based A Posteriori Error Estimators for AFC Schemes for ConvectionDiffusion EquationsAuthors: Abhinav JhaSubjects: Numerical Analysis (math.NA)
 [253] arXiv:2005.04984 (replaced) [pdf, ps, other]

Title: Determining a random source in a Schrödinger equation involving an unknown potentialComments: 29 pagesSubjects: Analysis of PDEs (math.AP)
 [254] arXiv:2005.11428 (replaced) [pdf, ps, other]

Title: Combinatorial Reeb dynamics on punctured contact 3manifoldsAuthors: Russell AvdekComments: 87 pages, 27 figures. V2: Acknowledgements updated. Minor cleanup of figures and notation. The first version missed a reference to arXiv:0709.3415 which addresses the vanishing of CH vs SFTSubjects: Symplectic Geometry (math.SG); Geometric Topology (math.GT)
 [255] arXiv:2005.13846 (replaced) [pdf, ps, other]

Title: Hawkes process and Edgeworth expansion with application to maximum likelihood estimatorAuthors: Masatoshi GodaSubjects: Statistics Theory (math.ST)
 [256] arXiv:2005.14633 (replaced) [pdf, ps, other]

Title: Hodge Numbers of Arbitrary Sections from Linear SectionsAuthors: Herbert ClemensComments: 12 pagesSubjects: Algebraic Geometry (math.AG)
 [257] arXiv:2006.00516 (replaced) [pdf, other]

Title: Tight Probability Bounds with Pairwise IndependenceComments: 33 pages, 4 figuresSubjects: Optimization and Control (math.OC); Combinatorics (math.CO); Probability (math.PR)
 [258] arXiv:2006.03786 (replaced) [pdf, ps, other]

Title: Transversals, near transversals, and diagonals in iterated groups and quasigroupsAuthors: Anna A. TaranenkoComments: Conjectures 1 and 3 are replaced by a counterexample (Example 2), other minor changesSubjects: Combinatorics (math.CO)
 [259] arXiv:2006.06889 (replaced) [pdf, ps, other]

Title: Fast Objective and Duality Gap Convergence for Nonconvex Stronglyconcave Minmax ProblemsComments: Zhishuai Guo, Zhuoning Yuan and Yan Yan contributed equally to this workSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
 [260] arXiv:2006.07441 (replaced) [pdf, ps, other]

Title: On the optimal constants in the twosided Stechkin inequalitiesSubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA); Numerical Analysis (math.NA)
 [261] arXiv:2006.09260 (replaced) [pdf, ps, other]

Title: Comparing the inversion statistic for distributionbiased and distributionshifted permutations with the geometric and the GEM distributionsAuthors: Ross G. PinskyComments: A second remark has been added after Proposition 4Subjects: Probability (math.PR)
 [262] arXiv:2006.10708 (replaced) [pdf, other]

Title: Polynomials with Zeros on the Unit Circle: Regularity of Leja SequencesAuthors: Stefan SteinerbergerSubjects: Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
 [263] arXiv:2006.11315 (replaced) [pdf, ps, other]

Title: Classifying groups with a small number of subgroupsComments: 12 pages, 3 tables; V2 Fixes an error (which has no effect on the final results) and also adds a few citations/details suggested by early readers; V3 fixes minor typographical errors and clarifies the explanation of Slattery's previous workSubjects: Group Theory (math.GR)
 [264] arXiv:2006.13844 (replaced) [pdf, ps, other]

Title: $\mathcal{H}_2$ optimal structurepreserving model order reduction of secondorder systems by iterative rational Krylov algorithmComments: 17 pages 12 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Metric Geometry (math.MG); Numerical Analysis (math.NA)
 [265] arXiv:2006.14100 (replaced) [pdf, ps, other]

Title: A Kingmanlike TheoremComments: 18 pages, 1 Figure. Included some references, unused information excluded and correction of typographic minor errorsSubjects: Dynamical Systems (math.DS)
 [266] arXiv:2006.14383 (replaced) [pdf, ps, other]

Title: Fractional derivatives and the fundamental theorem of Fractional CalculusAuthors: Yuri LuchkoComments: 22 pagesSubjects: Classical Analysis and ODEs (math.CA)
 [267] arXiv:2006.14509 (replaced) [pdf, other]

Title: Using rational homology circles to construct rational homology ballsAuthors: Jonathan SimoneComments: Added an additional interesting family of rational spheres bounding rational ball to Corollary 1.5 (pointed out by Marco Golla), added references, and fixed typosSubjects: Geometric Topology (math.GT)
 [268] arXiv:2006.15703 (replaced) [pdf, other]

Title: A Fast Distributed Algorithm for $(Δ+ 1)$EdgeColoringAuthors: Anton BernshteynComments: 23 pages, 9 figuresSubjects: Combinatorics (math.CO); Distributed, Parallel, and Cluster Computing (cs.DC)
 [269] arXiv:2006.15908 (replaced) [pdf, ps, other]

Title: For the Integrability of the 2D Trapped Ionic SystemAuthors: Georgi GeorgievSubjects: Dynamical Systems (math.DS); Mathematical Physics (mathph)
 [270] arXiv:2006.15977 (replaced) [pdf, other]

Title: A privacypreserving tests optimization algorithm for epidemics containmentComments: added figures fixed typos added table of notationSubjects: Social and Information Networks (cs.SI); Optimization and Control (math.OC); Physics and Society (physics.socph)
 [271] arXiv:2006.16213 (replaced) [pdf, ps, other]

Title: Postcomposition transforms of totally positive kernelsComments: This paper now also contains the characterization of transforms preserving onesided Polya frequency functions and sequences. 65 pages, no figuresSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Rings and Algebras (math.RA)
 [272] arXiv:2006.16491 (replaced) [pdf, ps, other]

Title: On the counting function of semiprimesSubjects: Number Theory (math.NT)
 [273] arXiv:2006.16936 (replaced) [pdf, other]

Title: Integral Control Barrier Functions for Dynamically Defined Control LawsSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
 [274] arXiv:2006.16995 (replaced) [pdf, other]

Title: Slide polynomials and subword complexesComments: 15 pages, 5 figures. v2: proof of Thm 4.4 simplified, typos correctedSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
 [275] arXiv:2007.00139 (replaced) [pdf, ps, other]

Title: Representation dimensions linked by Frobenius bimodules with applications to group algebrasAuthors: Changchang XiComments: 10 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR); Rings and Algebras (math.RA)
 [276] arXiv:2007.01515 (replaced) [pdf, ps, other]

Title: Evaluation of Brauer elements over local fieldsAuthors: Evis IeronymouComments: 16 pages, more typos correctedSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
 [277] arXiv:2007.01892 (replaced) [pdf, ps, other]

Title: Generalized Path Pairs and FussCatalan TrianglesAuthors: Paul DrubeSubjects: Combinatorics (math.CO)
 [278] arXiv:2007.02514 (replaced) [pdf, other]

Title: Treatment effect bias from sample snooping: blinding outcomes is neither necessary nor sufficientAuthors: Aaron FisherComments: version notes: minor typo correction in abstractSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [279] arXiv:2007.02618 (replaced) [pdf, other]

Title: Nonconcavity of the Spectral Radius in Levinger's TheoremComments: v2: Replaced graphics that had buggy PDF. 17 pages, 6 figuresSubjects: Spectral Theory (math.SP)
 [280] arXiv:2007.02779 (replaced) [pdf, ps, other]

Title: Some virtually polyfree Artin groupsAuthors: S K RoushonComments: 4 pages, a typo is correctedSubjects: Group Theory (math.GR)
 [281] arXiv:2007.02910 (replaced) [pdf, other]

Title: A Weighted Randomized Kaczmarz Method for Solving Linear SystemsAuthors: Stefan SteinerbergerSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
 [282] arXiv:2007.03070 (replaced) [pdf, other]

Title: Novel current actuated piezoelectric composite model with fully dynamic electromagnetic fieldComments: This work is intended to be submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessibleSubjects: Optimization and Control (math.OC)
 [283] arXiv:2007.03206 (replaced) [pdf, ps, other]

Title: Morse homology: orientation of the moduli space of gradient flow lines, coherence and applicationsAuthors: Mathieu GirouxComments: 26 pages, in FrenchSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG)
 [284] arXiv:2007.03326 (replaced) [pdf, other]

Title: An Integer Programming Approach to Deep Neural Networks with Binary Activation FunctionsJournalref: Workshop on Beyond firstorder methods in ML systems at the 37th International Conference on Machine Learning, Vienna, Austria, 2020Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
 [285] arXiv:2007.03576 (replaced) [pdf, other]

Title: A Taskbased Multishift QR/QZ Algorithm with Aggressive Early DeflationAuthors: Mirko MyllykoskiComments: 34 pages, 19 figures, 8 tables. Minor corrections to text and figures. Submitted to TOMSSubjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2007, contact, help (Access key information)