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


New submissions

[ total of 285 entries: 1-285 ]
[ 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 line
Comments: 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 Banach-Rhoklin problem in the spectral theory of dynamical systems which seems to be open until now. arXiv admin note: text overlap with arXiv:1205.5543
Subjects: 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 Bourgain-Klemes-Reinhold-Peyri\`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 Salem-Zygmund Central Limit Theorem. We extended also a formula for Radon-Nikodym derivative between two generalized Riesz products obtained by el Abdalaoui-Nadkarni 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 Banach-Rhoklin problem in the spectral theory of dynamical systems.

[2]  arXiv:2007.03707 [pdf, ps, other]
Title: An algebraic groups perspective on Erdős-Ko-Rado
Authors: Russ Woodroofe
Comments: 10 pages
Subjects: Combinatorics (math.CO); Group Theory (math.GR)

We give a proof of the Erd\H{o}s-Ko-Rado Theorem using the Borel Fixed Point Theorem from algebraic group theory. This perspective gives a strong analogy between the Erd\H{o}s-Ko-Rado 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$--genus
Authors: Yi Ni
Comments: 22 pages
Subjects: Geometric Topology (math.GT)

We say a null-homologous 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 Sensitivity-Informed Deep Neural Networks
Comments: Manuscript under review
Subjects: Optimization and Control (math.OC)

Deep learning for distribution grid optimization can be advocated as a promising solution for near-optimal 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 real-time 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 time-critical 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 sensitivity-informed deep learning can enhance prediction accuracy in terms of mean square error (MSE) by 2-3 orders of magnitude at minimal computational overhead. Improvements are more significant in the small-data 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 matrices
Authors: Jianlin Xia
Subjects: 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 off-diagonal blocks. Here, we use an enhanced scaling-and-compression strategy to design the new eSIF preconditioner. Some subtle modifications are made, such as the use of two-sided block triangular preprocessing. A practical multilevel eSIF scheme is then designed. We give rigorous analysis for both the enhanced scaling-and-compression 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 off-diagonal 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 off-diagonal 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 non-linear phase functions and some applications
Subjects: Functional Analysis (math.FA)

In this paper, we study the spectrality and frame-spectrality 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 middle-third Cantor measures and the unit disc, each admits an orthogonal basis with a certain non-linear 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 half-guards in art galleries
Subjects: 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 Invariance
Subjects: 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 spatio-temporal propagation patterns for time-delayed nonlocal equations, reaction-diffusion equations in a cylinder, and asymptotically homogeneous KPP-type equations. We also obtain the existence of steady state solutions and asymptotic spreading properties of solutions for a time-delayed reaction-diffusion equation subject to the Dirichlet boundary condition.

[9]  arXiv:2007.03782 [pdf]
Title: Four Cubes
Authors: Szymon Łukaszyk
Comments: (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 2-face 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$ 2-face 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 Manifolds
Authors: Boris Rubin
Comments: 41 pages
Subjects: Functional Analysis (math.FA)

We introduce a new family of invariant differential operators associated with $\lambda$-cosine and Funk-Radon transforms on Stiefel and Grassmann manifolds. These operators reduce the order of the $\lambda$-cosine transforms and yield new inversion formulas. Intermediate Funk-cosine 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 Cahn--Hilliard model with degenerate mobilities
Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

This paper tackles the approximation of surface diffusion flow using a Cahn--Hilliard-type model. We introduce and analyze a new second order variational phase field model which associates the classical Cahn--Hilliard 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 Cahn--Hilliard models.

[12]  arXiv:2007.03798 [pdf, ps, other]
Title: Determination of convex functions via proximal operators
Authors: Emilio Vilches
Subjects: 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 model
Subjects: 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 long-time 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 G-stability of the algorithm. Also variable time stepping error analysis follows from the combination of G-stability and consistency of the algorithm. Numerical experiments further verify the theoretical results, demonstrating the accuracy and stability of the algorithm for time-dependent Stokes/Darcy model.

[14]  arXiv:2007.03803 [pdf, ps, other]
Title: Limit theorems for higher rank actions on Heisenberg nilmanifolds
Authors: Minsung Kim
Comments: 34 pages
Subjects: 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 infinity
Comments: 28 pages
Subjects: 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 reductions
Authors: Akaki Tikaradze
Comments: 4 pages, preliminary version, all comments welcome
Subjects: 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 graphs
Comments: Dedicated to Endre Szemer\'edi on the occasion of his 80th birthday
Subjects: Combinatorics (math.CO)

We show that every $k$-uniform hypergraph on $n$ vertices whose minimum $(k-2)$-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 Sahueza-Matamala.

[18]  arXiv:2007.03821 [pdf, ps, other]
Title: Run Distribution Over Flattened Partitions
Authors: 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. Nabawanda
Subjects: 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 trees
Comments: 13 pages. Comments are welcome
Subjects: 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 Rate-Splitting Framework
Comments: 35 pages, 6 figures
Subjects: Information Theory (cs.IT)

Multi-hop device-to-device (D2D) communication-aided decentralized content dissemination is investigated for a fog radio access network (F-RAN). In the proposed framework, two content-sharing D2D links establish a device-cluster. In each device-cluster, the content-holder device-users (DUs) transmit to the content-requester DUs via a relay fog user-equipment (F-UE) over the same radio resource blocks (RRBs). Such RRBs are shared with uplink F-RAN as well. Rate-splitting and common message decoding are used at each device-cluster. A multi-objective resource optimization, for device-clustering, device power allocation, and scheduling of RRBs and relay F-UEs, 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 two-dimensional principal component analysis based unsupervised-learning technique, a low-complexity device-clustering method is proposed. Second, a Stackelberg resource scheduling game is exploited to obtain the devices' power allocations and scheduling of RRBs and relay F-UEs among the device-clusters. A decentralized content dissemination framework, referred as rate-splitting for multi-hop D2D (RSMD), is developed. The convergence of the proposed RSMD framework to a Stackelberg-equilibrium and Pareto-efficient outcome is justified. Through extensive simulations, efficiency of the proposed RSMD framework is demonstrated.

[21]  arXiv:2007.03830 [pdf, ps, other]
Title: Computational Semi-Discrete Optimal Transport with General Storage Fees
Authors: Mohit Bansil
Comments: 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 semi-discrete 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 curves
Authors: Jenia Tevelev
Comments: 51 pages
Subjects: Algebraic Geometry (math.AG)

Equations of hypertree divisors on the Grothendieck-Knudsen 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 Yang-Mills theory in the work of Arkani-Hamed, 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 Brill-Noether theory: the study of statistics of images of n marked points under a random meromorphic function uniformly distributed with respect to the translation-invariant volume form of the Jacobian. We focus on the maximum helicity violating regime, which leads to a beautiful physics-inspired 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 Spaces
Authors: Safdar Quddus
Subjects: K-Theory and Homology (math.KT)

We study the quotient space obtained by the flip action on the quantum n-tori. The Hochschild, cyclic and periodic cyclic homology are calculated.

[24]  arXiv:2007.03845 [pdf, ps, other]
Title: Universal rings of invariants
Authors: Ehud Meir
Comments: 38 pages, 13 figures
Subjects: 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 PSH-algebra, 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 Robin-Robin scheme for incompressible fluid-structure interaction: stability and error analysis
Subjects: Numerical Analysis (math.NA)

We consider a fully discrete loosely coupled scheme for incompressible fluid-structure interaction based on the time semi-discrete splitting method introduced in {\emph{[Burman, Durst \& Guzm\'an, arXiv:1911.06760]}}. The splittling method uses a Robin-Robin 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 inf-sup condition by using a Brezzi-Pitk\"aranta type pressure stabilization. The interfacial fluid-stresses 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 added-mass 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 time-step 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 Disturbances
Authors: 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 2020
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

Continuous-time 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 continuous-time 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 39-Bus 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 solutions
Authors: Calum Rickard
Subjects: 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 stabilization-in-time 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 coefficients
Authors: Yao Xu
Comments: 36 pages
Subjects: Analysis of PDEs (math.AP)

In this paper we study the quantitative homogenization of second-order parabolic systems with locally periodic (in both space and time) coefficients. The $O(\varepsilon)$ scale-invariant error estimate in $L^2(0, T; L^{\frac{2d}{d-1}}(\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 Model-free Methods for the Linear Quadratic Regulator
Subjects: 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, TD-learning and the actor-critic (AC) algorithm. Our results show that the actor-critic 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 principle
Subjects: 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, Brascamp-Lieb, 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 Picture
Subjects: Mathematical Physics (math-ph)

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 symmetry
Subjects: Mathematical Physics (math-ph); Operator Algebras (math.OA); Quantum Algebra (math.QA); Quantum Physics (quant-ph)

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 multiplicity-free 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 non-Kac 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 ideals
Subjects: 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: Max-sum tests for cross-sectional dependence of high-demensional panel data
Comments: 106 pages, 1 figure
Subjects: Statistics Theory (math.ST); Econometrics (econ.EM)

We consider a testing problem for cross-sectional dependence for high-dimensional panel data, where the number of cross-sectional units is potentially much larger than the number of observations. The cross-sectional dependence is described through a linear regression model. We study three tests named the sum test, the max test and the max-sum 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 non-sparse residuals in the linear regressions, respectively.And the max-sum test is devised to compromise both situations on the residuals. Indeed, our simulation shows that the max-sum test outperforms the previous two tests. This makes the max-sum 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 max-sum 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 highest-weight modules for admissible-level Bershadsky-Polyakov algebras
Comments: 35 pages, 7 figures, 1 table
Subjects: Representation Theory (math.RT); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA)

The Bershadsky-Polyakov 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 highest-weight modules for all admissible but nonintegral levels, significantly generalising the known highest-weight classifications [arxiv:1005.0185, arxiv:1910.13781]. In particular, we prove that the simple Bershadsky-Polyakov algebras with admissible nonintegral $\mathsf{k}$ are always rational in category $\mathscr{O}$, whilst they always admit nonsemisimple relaxed highest-weight 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 Potentials
Authors: Sibel Sahin
Comments: 8 pages
Subjects: 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 Landau-Hall functional. The magnetic geodesic equation is calculated in this setting and its relation to a perturbed complex Monge-Amp\`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 systems
Comments: 12 pages
Subjects: Mathematical Physics (math-ph)

The notion of hidden symmetry algebra used in the context of exactly solvable systems is re-examined from the purely algebraic way, analyzing subspaces of commuting polynomials that generate finite-dimensional 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: Non-parametric mean curvature flow with prescribed contact angle in Riemannian products
Subjects: 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 Altschuler-Wu (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 Bipass
Comments: 21 pages, 6 figures
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

We define an all-small ruleset, Bipass, within the normal-play 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 all-small 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 functions
Comments: 28 pages
Subjects: 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 semi-algebraic. 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 blow-up of solutions to semilinear wave equations with scale-invariant damping and nonlinear memory term
Subjects: Analysis of PDEs (math.AP)

In this paper, we investigate blow-up of solutions to the Cauchy problem for semilinear wave equations with scale-invariant damping and nonlinear memory term, which can be represented by the Riemann-Liouville 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 blow-up 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 blow-up between the effective case and the non-effective case.

[42]  arXiv:2007.03957 [pdf, ps, other]
Title: Evaluation of one-dimensional polylogarithmic integral, with applications to infinite series
Authors: Kam Cheong Au
Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)

We give systematic method to evaluate a large class of one-dimensional 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: Non-monotone target sets for threshold values restricted to $0$, $1$, and the vertex degree
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

We consider a non-monotone 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_{t-1}|\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 so-called non-monotone target set for $(G,\tau)$ if there is some $t_0$ such that $X_t=V(G)$ for every $t\geq t_0$. Ben-Zwi, Hermelin, Lokshtanov, and Newman [Discrete Optimization 8 (2011) 87-96] 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 NP-hard 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 Control
Subjects: 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 links
Authors: Tetsuya Ito
Comments: 4 pages, no Figures
Subjects: 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_q-linear conjucyclic codes over finite field F_{q^2}
Authors: Jingjie Lv, Ruihu Li
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_q-linear additive conjucyclic codes of length n over F_{q^2} and q-ary 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 parity-check matrices of these q^2-ary additive conjucyclic codes of length n.

[47]  arXiv:2007.03964 [pdf, other]
Title: Responsive Safety in Reinforcement Learning by PID Lagrangian Methods
Comments: ICML 2020
Subjects: 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 constraint-violating 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 identities
Authors: Carla Rizzo
Comments: Proceedings of workshop "Polynopmial identities in algebras", Springer INdAM Series
Subjects: 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 2--nondegenerate CR geometries with simple models
Authors: Jan Gregorovič
Comments: 27 pp, comments welcomed
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)

This article studies the fundamental invariants of 2--nondegenerate 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 2--nondegenerate 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 Transform
Comments: Under journal review, 13 pages, 3 figures
Subjects: 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 MEMS
Comments: 9 pages, 3 figures
Subjects: Analysis of PDEs (math.AP)

We consider a parabolic problem with Robin boundary condition which arises when the edge of a micro-electro-mechanical-system (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 steady-state problem. We show that a critical value (the pull-in 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$
Comments: 3 pages
Subjects: 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 Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017.

[53]  arXiv:2007.03982 [pdf, ps, other]
Title: On semi-discrete sub-partitions of vector-valued measures
Comments: 9 pages
Subjects: Optimization and Control (math.OC)

We introduce a concept of optimal transport for vector-valued measures and its dual formulation. In this note we concentrate on the semi-discrete case and show some fundamental differences between the scalar and vector cases. A manifestation of this difference is the possibility of non-existence of optimal solution for the dual problem for feasible primer problems.

[54]  arXiv:2007.03983 [pdf, other]
Title: Dynamic social learning under graph constraints
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Probability (math.PR)

We argue that graph-constrained 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 2-threshold functions
Comments: 25 pages
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

A $k$-threshold function over a two-dimensional rectangular grid $\mathcal{G}_{m,n} = \{0,\dots,m-1\} \times \{0,\dots,n-1\}$ 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 2-threshold 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 2-threshold functions via pairs of prime segments
Comments: 19 pages
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

In this paper we study 2-threshold functions over a two-dimensional rectangular grid also known as intersections of two halfplanes. We provide a characterization for 2-threshold 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 2-representations of 2-categories associated to self-injective cores
Comments: 38 pages
Subjects: Representation Theory (math.RT)

For a finite-dimensional associative algebra $A$, we introduce the notion of a self-injective core of $A$. Self-injective cores of $A$ give rise to 2-subcategories of the 2-category of projective functors over $A$. We classify the simple transitive 2-representations of a wide class of such 2-subcategories. We also construct a family of non-cell simple transitive 2-representations of a certain 2-semicategory of projective functors. The existence of such 2-representations for a closely related 2-category was conjectured by Jakob Zimmermann.

[58]  arXiv:2007.03991 [pdf, ps, other]
Title: Optimal Control of the 2D Evolutionary Navier-Stokes Equations with Measure Valued Controls
Comments: 24 pages
Subjects: Optimization and Control (math.OC)

In this paper, we consider an optimal control problem for the two-dimensional evolutionary Navier-Stokes 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 well-posedness 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 geometry
Comments: 15 pages
Subjects: Differential Geometry (math.DG)

We consider codimension 2 sphere congruences in pseudo-conformal 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, quasi-umbilical surfaces, constant mean curvature surfaces in 3-dimensional space forms or surfaces of constant lightlike mean curvature in 3-dimensional 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 convolution-type functionals
Subjects: 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 functional-analytic tools to show coerciveness in $L^p$. The main result is a compactness and integral-representation theorem which shows that limits of convolution-type 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 point-clouds, 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 quadrinomials
Subjects: Information Theory (cs.IT); Number Theory (math.NT)

In this paper, by the Hasse-Weil 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, 83-107, 2014.

[62]  arXiv:2007.03998 [pdf, ps, other]
Title: The automorphism group of the modular curve $X_0^*(N)$ with square-free level
Subjects: 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 Atkin-Lehner involutions, for all square-free values of $N$.

[63]  arXiv:2007.03999 [pdf, other]
Title: Stacked adaptive dynamic programming with unknown system model
Journal-ref: IFAC-PapersOnLine, 50(1), 4150-4155 (2017)
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)

Adaptive dynamic programming is a collective term for a variety of approaches to infinite-horizon optimal control. Common to all approaches is approximation of the infinite-horizon 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 pressure-robust discretization of Oseen's equation using stabilization in the vorticity equation
Subjects: Numerical Analysis (math.NA)

Discretization of Navier-Stokes' equations using pressure-robust 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 residual-based 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 pressure-robust. Thus, we prove pressure-independent 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 residual-based SUPG stabilization.

[65]  arXiv:2007.04024 [pdf, ps, other]
Title: Structure of sets of solutions of parametrised semi-linear elliptic systems on spheres
Subjects: Analysis of PDEs (math.AP)

In this paper we study a parametrised non-cooperative symmetric semi-linear 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 Z-channel
Comments: 15 pages, 4 figures
Subjects: Information Theory (cs.IT)

In this paper, we consider encoding strategies for the Z-channel 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 error-correcting codes for the error fraction $\tau\ge 1/4$ is known to be zero. It was also proved that using the feedback a non-zero 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 error-correcting codes for the Z-channel.

[67]  arXiv:2007.04031 [pdf, ps, other]
Title: Dold sequences, periodic points, and dynamics
Comments: 33 pages; survey
Subjects: Dynamical Systems (math.DS); General Topology (math.GN)

In this survey we describe how the so-called 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 Q-functions
Authors: Soichi Okada
Comments: 38 pages
Subjects: Combinatorics (math.CO)

Symplectic $Q$-functions are a symplectic analogue of Schur $Q$-functions and defined as the $t=-1$ specialization of Hall--Littlewood 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 Pieri-type 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 lattices
Comments: 23 pages
Subjects: Mathematical Physics (math-ph); 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 one-particle system in $d$-dimensional lattice $\mathbb{Z}^d, $ $d=1,2,$ where the non-perturbed operator $\hat H_0$ is a self-adjoint Laurent-Toeplitz-type 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 non-existence 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 Equations
Subjects: Probability (math.PR)

In this paper, we prove a sufficient and necessary condition for the transition probability distribution of a general, time-inhomogeneous 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 glass
Comments: 34 pages
Subjects: 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 tau-functions for the Kadomtsev-Petviashvili hierarchy.

[72]  arXiv:2007.04046 [pdf, ps, other]
Title: Whittaker modules for the planar Galilean conformal algebra and its central extension
Comments: 30 pages. Comments are welcome
Subjects: 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 Channels
Comments: Partially presented at IEEE ICC 2020 Workshop on NOMA for 5G and Beyond and to be submitted to IEEE Transactions on Communications
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

Massive MIMO and non-orthogonal 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 user-grouping based hybrid beamforming architecture for mm-wave massive MIMO systems where NOMA is considered as an intra-group process. It is shown that classical receivers of sparse code multiple access (SCMA) and multi-user 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 bit-error 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 spaces
Authors: Chenlin Gu
Comments: 28 pages, 1 figure
Subjects: 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 divergence-form 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 Markov--Bernstein inequality for polynomials and sequences
Comments: 15 pages
Subjects: 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 Markov-Bernstein 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 Markov-Bernstein constants $\,\gamma_n(c,\beta)\,$ are bounded uniformly with respect to $\,n$.
A similar Markov-Bernstein unequality is proved for sequences in $\,\ell_{2}(c,\beta)\,$. We also establish a relation between the best Markov-Bernstein 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 dense
Comments: 25 pages, 15 figures
Journal-ref: Inventiones Mat., vol 197, issue 2, 2014, pages 433-452
Subjects: 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 dynamics
Subjects: Probability (math.PR)

In this paper we analyze metastability and nucleation in the context of a local version of the Kawasaki dynamics for the two-dimensional 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 non-autonomous obstacle problems with sub-quadratic growth conditions
Authors: Andrea Gentile
Subjects: Analysis of PDEs (math.AP)

We establish some higher differentiability results of integer and fractional order for solution to non-autonomous obstacle problems of the form
\min \left\{\int_{\Omega}f(x, Dv(x))\,:\, v\in
\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 Besov-Lipschitz 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 Besov-Lipschitz space.

[79]  arXiv:2007.04072 [pdf, other]
Title: Optimizing Information Freshness via Multiuser Scheduling with Adaptive NOMA/OMA
Comments: 30 pages. This work has been submitted for possible publication. arXiv admin note: substantial text overlap with arXiv:2001.04042
Subjects: 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 non-orthogonal 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 two-client 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 switching-type property with obvious decision switching boundaries. A near-optimal policy with lower computation complexity is also devised. For the more general multi-client scenario, inspired by the proposed near-optimal 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 max-weight policy solved by exhaustive search...

[80]  arXiv:2007.04073 [pdf, ps, other]
Title: Standardised co-ordinate geometry applied to affine rational trigonometry of a tetrahedron
Comments: 16 pages. arXiv admin note: text overlap with arXiv:1909.08814
Subjects: Metric Geometry (math.MG)

The idea of standardised co-ordinates in three-dimensional 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 Path-Dependent Hamilton-Jacobi-Bellman Equations in Hilbert Space
Authors: Jianjun Zhou
Comments: 25 pages. arXiv admin note: substantial text overlap with arXiv:2005.05309, arXiv:2004.02095
Subjects: Probability (math.PR); Optimization and Control (math.OC)

In this article, a notion of viscosity solutions is introduced for first order path-dependent Hamilton-Jacobi-Bellman (PHJB) equations associated with optimal control problems for path-dependent 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 Poor-Verdú Error Bound for the Memoryless Symmetric Channel
Comments: arXiv admin note: text overlap with arXiv:2001.01159
Subjects: Information Theory (cs.IT)

The generalized Poor-Verd\'{u} error lower bound for multihypothesis testing is revisited. Its asymptotic expression is established in closed-form 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 non-binary symmetric channels.

[83]  arXiv:2007.04081 [pdf, ps, other]
Title: Incidences with curves in three dimensions
Comments: arXiv admin note: substantial text overlap with arXiv:1610.01560
Subjects: 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 point-curve 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 constant-degree 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 point-curve 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 flows
Authors: Giovanni Forni
Comments: 30 pages. arXiv admin note: text overlap with arXiv:0707.0940
Subjects: 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 (3-dimensional) 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 logic
Comments: 15 pages; to appear in Communications in Mathematics, special issue "Ostrava seminar on Mathematical Physics". arXiv admin note: substantial text overlap with arXiv:1706.04157
Subjects: 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 first-order 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 eigenvalues
Comments: 7 pages, 3 figures
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); 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 resonance-free regions near the continuous spectrum and long-time 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 equations
Subjects: Analysis of PDEs (math.AP)

We provide necessary and sufficient geometric conditions for the exact controllability of the one-dimensional 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 Logvinenko-Sereda 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 Plancherel-Rotach formula.

[88]  arXiv:2007.04099 [pdf, ps, other]
Title: Cellular Sheaves of Lattices and the Tarski Laplacian
Subjects: 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 systems
Comments: arXiv admin note: text overlap with arXiv:2005.13269
Subjects: 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 applications
Authors: Zhan Li
Subjects: Algebraic Geometry (math.AG)

We propose a variant of the effective adjunction conjecture for lc-trivial 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.5740
Subjects: 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 matrices
Comments: 28 pages
Subjects: 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 logarithms
Authors: Lucas Reis
Comments: 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, q-1\}$ 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 $q-1$, 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 L-ensembles, Partial-Projection DPPs and Universality Classes
Subjects: Probability (math.PR)

Determinantal point processes (DPPs) are repulsive point processes where the interaction between points depends on the determinant of a positive-semi definite matrix. The contributions of this paper are two-fold. First of all, we introduce the concept of extended L-ensemble, a novel representation of DPPs. These extended L-ensembles are interesting objects because they fix some pathologies in the usual formalism of DPPs, for instance the fact that projection DPPs are not L-ensembles. Every (fixed-size) DPP is an (fixed-size) extended L-ensemble, including projection DPPs. This new formalism enables to introduce and analyze a subclass of DPPs, called partial-projection DPPs. Secondly, with these new definitions in hand, we first show that partial-projection DPPs arise as perturbative limits of L-ensembles, that is, limits in $\varepsilon \rightarrow 0$ of L-ensembles based on matrices of the form $\varepsilon \mathbf{A} + \mathbf{B}$ where $\mathbf{B}$ is low-rank. We generalise this result by showing that partial-projection DPPs also arise as the limiting process of L-ensembles 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 conditions
Comments: 21 pages, 2 figures
Subjects: 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 problems
Subjects: Numerical Analysis (math.NA)

In this paper, we derive improved a priori error estimates for families of hybridizable interior penalty discontinuous Galerkin (H-IP) methods using a variable penalty for second-order 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 user-dependent 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 semi-linear damped wave equations
Comments: 20 pages
Subjects: Analysis of PDEs (math.AP)

We would like to study a weakly coupled system of semi-linear classical damped wave equations with moduli of continuity in nonlinearities whose powers belong to the critical curve in the $p-q$ 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 blow-up of solutions.

[98]  arXiv:2007.04159 [pdf, ps, other]
Title: The uncertainty principle over finite fields
Comments: 11 pages
Subjects: 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 Mattson-Solomon 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 Donoho-Stark 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 singularities
Authors: Anne Pichon
Comments: 50 pages, 36 figures
Subjects: 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 so-called bubble trick and bubble trick with jumps which are key tools to study Lipschitz geometry of germs. It describes also the thick-thin 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 curves
Comments: 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: H-instanton bundles on three-dimensional polarized projective varieties
Comments: 27 pages. Comments welcome
Subjects: 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 Calabi-Yau threefolds. Then we deal with $H$-instanton bundles $\mathcal{E}$ on three-dimensional 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 Spaces
Comments: 20 pages
Subjects: 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 Equations
Comments: 33 pages, 6 figures, 14 tables
Subjects: 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 user-specified 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 state-of-the-art methods.

[104]  arXiv:2007.04173 [pdf, ps, other]
Title: On the Calderon-Zygmund property of Riesz-transform type operators arising in nonlocal equations
Subjects: 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 Calderon-Zygmund 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 (|x-z_1|^{s_1-n} -|y-z_1|^{s_1-n} \right )\, \left (|x-z_2|^{s_2-n} -|y-z_2|^{s_2-n}\right )}{|x-y|^{n+2s}}\, dx\, dy. \] This operator is motivated by the recent work by Mengesha-Schikorra-Yeepo 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))}{|x-y|^{n+2s}}\, dx\, dy = f[\varphi]. \]

[105]  arXiv:2007.04182 [pdf, other]
Title: Analyzing synchronized clusters in neuron networks
Subjects: 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 squares
Comments: preliminary version, 22 pages
Subjects: 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 non-zero 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+|\kappa|-2}$ (resp. $\mathscr{Q}(\kappa,m) \sim c_4(\kappa)m^{2g+|\kappa|-2}$), where $c_3(\kappa) \in \mathbb{Q}\cdot(\sqrt{3}\pi)^{2g+|\kappa|-2}$ and $c_4(\kappa)\in \mathbb{Q}\cdot\pi^{2g+|\kappa|-2}$. 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 Masur-Veech 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 Quasi-Continuous Domains
Comments: 13 pages
Subjects: 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 quasi-continuous domain $X$, $\mathbf V X$ is again a quasi-continuous 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 quasi-continuous, and we give a simple, compact Hausdorff counterexample.

[108]  arXiv:2007.04204 [pdf, other]
Title: pMAX Random Fields
Subjects: Statistics Theory (math.ST); Probability (math.PR)

The risk of occurrence of atypical phenomena is a cross-cutting 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 pre-asymptotic 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 N-level quantum spin systems
Subjects: Optimization and Control (math.OC); Mathematical Physics (math-ph); Probability (math.PR); Quantum Physics (quant-ph)

In this paper, we consider N-level quantum angular momentum systems interacting with electromagnetic fields undergoing continuous-time 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 fans
Comments: Appendix by Bernhard Keller. 34 pages
Subjects: Representation Theory (math.RT)

The $\mathbf{g}$-vector fan of a finite-dimensional 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 half-space, using the additive categorification of cluster algebras by means of Jacobian algebras. As another application, we prove that for quivers with potentials arising from once-punctured closed surfaces, the stability and cluster scattering diagrams only differ by wall-crossing 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: Commutator-free Lie group methods with minimum storage requirements and reuse of exponentials
Authors: Alexei Bazavov
Comments: 40 pages, 10 figures
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

A new format for commutator-free Lie group methods is proposed based on explicit classical Runge-Kutta 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 Runge-Kutta 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 3-stage 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 orders
Subjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el); Analysis of PDEs (math.AP); Atomic Physics (physics.atom-ph)

We extend a method (E. Canc\`es and L.R. Scott, SIAM J. Math. Anal., 50, 2018, 381--410) 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 Slater-Kirkwood 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 Waves
Authors: Anna Vidotto
Comments: 9 pages
Subjects: 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 high-frequency 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^*$-algebras
Comments: 17 pages
Subjects: Operator Algebras (math.OA)

In this paper, we answer a question of Blecher-Muhly-Paulsen pertaining to identifying topological invariants for completely bounded Morita equivalences of holomorphic cross-section algebras. Given a certain natural subcontext of a strong Morita context of $n$-homogeneous $C^*$-algebras whose spectrum $T$ is an annulus, Blecher-Muhly-Paulsen 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 spaces
Authors: Fan Ye
Comments: 37 pages, 21 figures
Subjects: Geometric Topology (math.GT)

This paper studies a special family of (1,1) knots called constrained knots, which includes 2-bridge 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 2-bridge knots and 1-bridge braids. As an application, Heegaard Floer theory is studied for orientable 1-cusped 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$ squares
Authors: Sumit Kumar Jha
Subjects: General Mathematics (math.GM)

Let $$\sum_{\substack{d|n\\ 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{d|n\\ 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 Construction
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)

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 network-based 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 data-driven 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 Logic
Authors: Erwin Engeler
Subjects: 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: CMC-1 surfaces via osculating Möbius transformations between circle patterns
Authors: Wai Yeung Lam
Comments: 27 pages, 8 figures
Subjects: 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 one-to-one 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 sets
Comments: 16 pages
Subjects: Combinatorics (math.CO)

Given two non-negative 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^{d-1}-1)$ for all $d\in\mathbb{N}$ with $d\mid n$. Subsequently, the goal became to determine $m(n,2^{d-1}-c)$ for larger $c$. Frankl and Watanabe determined $m(n,2^{d-1}-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^{d-1}-c)=\frac{n}{d}(2^d-c)$ 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^{d-1}-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 Mernik
Subjects: 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 hypergraphs
Authors: Raffaella Mulas
Subjects: 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 Networks
Comments: This manuscript was submitted to IEEE Journal on Selected Areas in Communications
Subjects: 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 bent-pipe architectures to more sophisticated networking platforms. Triggered by the technological advancements in the microelectronics and micro-systems, the terahertz (THz) band emerges as a strong candidate for the associated inter-satellite 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 signal-to-noise ratio (SNR). Based on the mathematical analysis of the problem, we present the closed-form error rate expressions for RIS-assisted 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 potentials
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Spectral Theory (math.SP)

We consider the Laplace--Beltrami operator on a three-dimensional 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 Laplace-Beltrami 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 figure
Subjects: 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 II
Comments: 89 pages
Subjects: 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 power-saving 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 power-saving 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 norm-forms 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 norm-forms 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 Heath-Brown 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 topics
Authors: Jacopo Ulivelli
Comments: 17 pages, 2 figures
Subjects: 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 i-symmetrizations, which include the Minkowski one.

[128]  arXiv:2007.04310 [pdf, ps, other]
Title: Frozen Pipes: Lattice Models for Grothendieck Polynomials
Comments: 44 pages, 25 figures
Subjects: Combinatorics (math.CO); K-Theory 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 Yang-Baxter equations to reprove Fomin-Kirillov'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 Weierstrass-type functions
Comments: 36 pages
Subjects: 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 Weierstrass-type 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.

Cross-lists for Thu, 9 Jul 20

[130]  arXiv:2007.03683 (cross-list from hep-th) [pdf, other]
Title: Resurgence in the Bi-Yang-Baxter Model
Comments: 50 pages, 18 figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We study the integrable bi-Yang-Baxter 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\'e-like potential.
We perform a perturbative calculation of the ground state energy in this quantum mechanics to large orders obtaining an asymptotic series. Using the Borel-Pad\'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 non-perturbative contributions to the energy with the uniton solutions which fractionate upon adiabatic compactification.
An off-shoot of the WKB analysis, is to identify the quadratic differential of this deformed PCM with that of an $\mathcal{N}=2$ Seiberg-Witten 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 (cross-list from hep-th) [pdf, other]
Title: Two dialects for KZB equations: generating one-loop open-string integrals
Comments: 54 pages, several appendices
Subjects: High Energy Physics - Theory (hep-th); Number Theory (math.NT)

Two different constructions generating the low-energy expansion of genus-one configuration-space integrals appearing in one-loop open-string 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 Knizhnik--Zamolodchikov--Bernard(KZB) type on the twice-punctured torus. We derive an explicit all-multiplicity 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 (cross-list from cs.LG) [pdf, other]
Title: Towards an Understanding of Residual Networks Using Neural Tangent Hierarchy (NTH)
Comments: 72 pages, 1 figure
Subjects: 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 non-convex 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 skip-connection structure of ResNet is the main reason for its triumph over fully-connected network.

[133]  arXiv:2007.03724 (cross-list from cs.LG) [pdf, other]
Title: Learning while Respecting Privacy and Robustness to Distributional Uncertainties and Adversarial Data
Comments: 14 pages, 5 figures
Subjects: 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 adversarial--maliciously 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 infinite-dimensional optimization problem, which is challenging. Leveraging a strong duality result, a surrogate is obtained, for which three stochastic primal-dual algorithms are developed: i) stochastic proximal gradient descent with an $\epsilon$-accurate oracle, which invokes an oracle to solve the convex sub-problems; ii) stochastic proximal gradient descent-ascent, which approximates the solution of the convex sub-problems via a single gradient ascent step; and, iii) a distributionally robust federated learning algorithm, which solves the sub-problems 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 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
Title: Levy flights in steep potential wells: Langevin modeling versus direct response to energy landscapes
Comments: 25 pp, 7 Figs
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Spectral Theory (math.SP); Quantum Physics (quant-ph)

We investigate the non-Langevin relative of the L\'{e}vy-driven Langevin random system, under an assumption that both systems share a common (asymptotic, stationary, steady-state) target pdf. The relaxation to equilibrium in the fractional Langevin-Fokker-Planck scenario results from an impact of confining conservative force fields on the random motion. A non-Langevin alternative has a built-in 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 jump-type 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 path-wise 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 path-wise reflection scenarios at the boundary, respecting the impenetrability assumption.

[135]  arXiv:2007.03763 (cross-list from eess.SP) [pdf, other]
Title: Real-time Intersection Optimization for Signal Phasing, Timing, and Automated Vehicles' Trajectories
Subjects: Signal Processing (eess.SP); Optimization and Control (math.OC)

This study aims to develop a real-time 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 re-optimizing 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 MCF-based optimization models is embedded into the RIO algorithm to operate the signal controller and to plan the movement of CAVs. Simulation experiments showed 18-22% travel time decrease and up to 12% capacity improvement compared to the base scenario.

[136]  arXiv:2007.03768 (cross-list from nlin.SI) [pdf, other]
Title: Second-order integrable Lagrangians and WDVV equations
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)

We investigate integrability of Euler-Lagrange equations associated with 2D second-order 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 second-order integrable Lagrangians to WDVV equations is established. Generalisations to 3D second-order integrable Lagrangians are also discussed.

[137]  arXiv:2007.03795 (cross-list from cs.LG) [pdf, other]
Title: Conditional gradient methods for stochastically constrained convex minimization
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

We propose two novel conditional gradient-based methods for solving structured stochastic convex optimization problems with a large number of linear constraints. Instances of this template naturally arise from SDP-relaxations 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 (cross-list from cs.LG) [pdf, ps, other]
Title: Efficient and Parallel Separable Dictionary Learning
Subjects: 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 (cross-list from stat.ML) [pdf, ps, other]
Title: A Variational Formula for Rényi Divergences
Comments: 11 pages, 2 figures
Subjects: 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 Donsker-Varadhan variational formula for the Kullback-Leibler 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 neural-network estimators for the R\'enyi divergences.

[140]  arXiv:2007.03834 (cross-list from cs.CL) [pdf, ps, other]
Title: Language Modeling with Reduced Densities
Comments: 19 pages
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Category Theory (math.CT); Quantum Physics (quant-ph)

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 (cross-list from q-bio.PE) [pdf, other]
Title: Building Mean Field State Transition Models Using The Generalized Linear Chain Trick and Continuous Time Markov Chain Theory
Comments: 27 pages, 4 figures, 2 ancillary files (R code for two figures)
Subjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)

The well-known 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 sub-states. 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 phase-type family of distributions, which includes exponential, Erlang, hypoexponential, and Coxian distributions. Intuitively, phase-type distributions are the absorption time distributions for continuous time Markov chains (CTMCs). Here we review CTMCs and phase-type distributions, then illustrate how to use the GLCT to efficiently build mean field ODE models from underlying stochastic model assumptions. We generalize the Rosenzweig-MacArthur 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 (cross-list from cs.LG) [pdf, other]
Title: Non-parametric Models for Non-negative Functions
Authors: Ulysse Marteau-Ferey (PSL, DI-ENS, SIERRA), Francis Bach (PSL, DI-ENS, SIERRA), Alessandro Rudi (PSL, DI-ENS, 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 non-negative functions, which are crucial for unsupervised learning, density estimation, or non-parametric Bayesian methods, linear models are not applicable directly. Moreover, current state-of-the-art models like generalized linear models either lead to non-convex optimization problems, or cannot be easily integrated. In this paper we provide the first model for non-negative 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 (cross-list from cs.LG) [pdf, ps, other]
Title: A Nearest Neighbor Characterization of Lebesgue Points in Metric Measure Spaces
Authors: Tommaso Cesari (ANITI, TSE), Roberto Colomboni
Subjects: 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 1-Nearest Neighbor regression algorithm for pointwise estimation, fleshing out the role played by tie-breaking 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 1-Nearest Neighbor classification algorithms in general metric spaces where almost every point is a Lebesgue point.

[144]  arXiv:2007.03940 (cross-list from cs.AI) [pdf, other]
Title: Reconciling Causality and Statistics
Comments: 22 pages, 14 figures
Subjects: 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 self-contained fashion with concrete business examples as illustrations.

[145]  arXiv:2007.03946 (cross-list from cs.DS) [pdf, ps, other]
Title: A Technique for Obtaining True Approximations for $k$-Center with Covering Constraints
Subjects: 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 constant-factor pseudo-approximations. 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 colors---settling an open question raised by Bandyapadhyay, Inamdar, Pai, and Varadarajan---and a $4$-approximation for Fair Robust $k$-Center, for which the existence of a (true) constant-factor 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 (cross-list from cs.NE) [pdf, other]
Title: Learning Efficient Search Approximation in Mixed Integer Branch and Bound
Subjects: 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 branch-and-bound 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 open-source solver SCIP. Empirical results on four MIP datasets indicate that our node selection policy leads to solutions more quickly than the state-of-the-art in the literature, but not as quickly as the state-of-practice SCIP node selector. While we do not beat the highly-optimised SCIP baseline in terms of solving time on exact solutions, our approximation-based 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 (cross-list from cs.CR) [pdf, other]
Title: MPC Protocol for G-module and its Application in Secure Compare and ReLU
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Group Theory (math.GR)

Secure multi-party 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 "G-module action" and "G-module 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 (cross-list from physics.soc-ph) [pdf, other]
Title: Hyperbolic models for the spread of epidemics on networks: kinetic description and numerical methods
Subjects: Physics and Society (physics.soc-ph); 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 reaction-diffusion 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 finite-volume 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 (cross-list from gr-qc) [pdf, ps, other]
Title: On the Equivalence of Spacetimes, the Cartan-Karlhede Algorithm
Comments: Didactic paper, intended to beginners on the field. 13 pages
Journal-ref: Rev. Bras. Ensino F\'is. vol.42 (2020), e20200041
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); 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 so-called Cartan-Karlhede 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 (cross-list from hep-th) [pdf, ps, other]
Title: Logarithmic CFT at generic central charge: from Liouville theory to the $Q$-state Potts model
Comments: 36 pages
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

Using derivatives of primary fields (null or not) with respect to the conformal dimension, we build infinite families of non-trivial 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, normalization-independent redefinition of the logarithmic coupling. We compute the corresponding non-chiral conformal blocks, and show that they appear in limits of Liouville theory four-point functions.
As an application, we describe the logarithmic structures of the critical two-dimensional $O(n)$ and $Q$-state Potts models at generic central charge. The validity of our description is demonstrated by semi-analytically bootstrapping four-point connectivities in the $Q$-state Potts model to arbitrary precision. Moreover, we provide numerical evidence for the Delfino--Viti conjecture for the three-point connectivity. Our results hold for generic values of $Q$ in the complex plane and beyond.

[151]  arXiv:2007.04195 (cross-list from q-bio.CB) [pdf, other]
Title: A hybrid discrete-continuum approach to model Turing pattern formation
Subjects: Cell Behavior (q-bio.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 reaction-diffusion 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 pre-pattern. Here we develop a hybrid discrete-continuum modelling framework for the formation of cellular patterns via the Turing mechanism. In this framework, a stochastic individual-based model of cell movement and proliferation is combined with a reaction-diffusion 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 activator-inhibitor system that gives rise to Turing pre-patterns. The cells then interact with morphogens in their local area through either of two forms of chemically-dependent cell action: chemotaxis and chemically-controlled 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 individual-based 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 (cross-list from cs.LG) [pdf, other]
Title: Stochastic Hamiltonian Gradient Methods for Smooth Games
Comments: ICML 2020 - Proceedings of the 37th International Conference on Machine Learning
Subjects: 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 step-size and we also present the first stochastic variance reduced Hamiltonian method. Our results provide the first global non-asymptotic last-iterate 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 non-convex non-concave 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 (cross-list from cs.LO) [pdf, other]
Title: Closure hyperdoctrines, with paths
Subjects: 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 (cross-list from gr-qc) [pdf, other]
Title: Slow decay of waves in gravitational solitons
Comments: 43 pages, 16 figures
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We consider a family of globally stationary (horizonless), asymptotically flat solutions of five-dimensional 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 Kerr-AdS black holes \cite{holzegel:2013kna}. We remark that this slow decay is suggestive of an instability at the nonlinear level.

[155]  arXiv:2007.04286 (cross-list from stat.ME) [pdf, other]
Title: Kernel-based Prediction of Non-Markovian Time Series
Comments: 7 figures
Subjects: Methodology (stat.ME); Dynamical Systems (math.DS); Data Analysis, Statistics and Probability (physics.data-an)

A nonparametric method to predict non-Markovian 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 Mori-Zwanzig 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 kernel-based linear estimators, the kernel analog forecast (KAF), which are consistent in the limit of large data. In a scenario with a high-dimensional 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 higher-dimensional 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 de-noising method. Numerically, we show that the proposed smoother is more accurate than EnKF and 4Dvar in de-noising 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 (cross-list from hep-th) [pdf, ps, other]
Title: Two-Component Spinorial Formalism using Quaternions for Six-dimensional Spacetimes
Comments: 47 pages
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

In this article we construct and discuss several aspects of the two-component spinorial formalism for six-dimensional 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 3-vectors 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 non-commutativity 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 six-dimensional spacetimes and the four-component spinorial formalism over the complex field that comes from the fact that the spin group in six-dimensional Euclidean spaces is given by $SU(4)$.

Replacements for Thu, 9 Jul 20

[157]  arXiv:1506.02029 (replaced) [pdf, ps, other]
Title: Cluster automorphism groups and automorphism groups of exchange graphs
Authors: Wen Chang, Bin Zhu
Comments: 18 pages. to appear at Pacific Journal of Mathematics
Subjects: Representation Theory (math.RT)
[158]  arXiv:1508.05496 (replaced) [pdf, ps, other]
Title: Finite-time blow-up of a non-local stochastic parabolic problem
Comments: 34 pages, 2 figures
Subjects: Analysis of PDEs (math.AP)
[159]  arXiv:1607.01834 (replaced) [pdf, ps, other]
Title: Groups with at most twelve subgroups
Comments: 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 Nash
Subjects: Group Theory (math.GR)
[160]  arXiv:1610.07998 (replaced) [pdf, other]
Title: Stability and coercivity for toric polarizations
Comments: 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 changed
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
[161]  arXiv:1705.03240 (replaced) [pdf, ps, other]
Title: Différentielles à singularités prescrites
Comments: 85 pages, in French. improved and corrected version thanks to referee comments
Subjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG)
[162]  arXiv:1705.04208 (replaced) [pdf, other]
Title: Geometric Graph Manifolds with non-negative scalar curvature
Comments: 19 pages, 3 figures. Second version with an additional corollary and improved exposition. arXiv admin note: substantial text overlap with arXiv:1611.06572
Subjects: 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 Fourier
Subjects: Functional Analysis (math.FA)
[164]  arXiv:1707.00925 (replaced) [pdf, ps, other]
Title: Elimination via saturation
Comments: Minor improvements
Subjects: Commutative Algebra (math.AC)
[165]  arXiv:1708.01656 (replaced) [pdf, ps, other]
Title: On a Vizing-type integer domination conjecture
Comments: 8 pages
Journal-ref: Theory and Applications of Graphs: Vol. 7 : Iss. 1 , Article 4, 2020
Subjects: Combinatorics (math.CO)
[166]  arXiv:1708.09523 (replaced) [pdf, ps, other]
Title: Completion of Period Mappings and Ampleness of the Hodge bundle
Comments: 62 pages. v2 significant revision of the initial submission (v1); v3 further improvements and new references added
Subjects: Algebraic Geometry (math.AG)
[167]  arXiv:1710.10849 (replaced) [pdf, ps, other]
Title: On a conjecture of Furusho over function fields
Comments: Title and introduction are changed. Final version to appear in Inventiones mathematicae
Subjects: 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 health
Subjects: 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 invariants
Comments: 8 pages
Journal-ref: Journal of Pure and Applied Algebra, Volume 224, Issue 6, 2020, 106255
Subjects: Commutative Algebra (math.AC)
[170]  arXiv:1805.04435 (replaced) [pdf, ps, other]
Title: Poisson Cohomology of Broken Lefschetz Fibrations
Comments: Final version, 30pp
Journal-ref: Differential Geometry and its Applications 72 (2020) 101661
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Symplectic Geometry (math.SG)
[171]  arXiv:1805.11845 (replaced) [pdf, other]
Title: An Information-Theoretic Analysis for Thompson Sampling with Many Actions
Subjects: 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 applications
Comments: 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 anti-plane elasticity
Comments: 22 pages, 2 figures
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
[174]  arXiv:1809.00600 (replaced) [pdf, ps, other]
Title: Wild solutions of the Navier-Stokes equations whose singular sets in time have Hausdorff dimension strictly less than 1
Comments: 31 pages, minor corrections, to appear in JEMS
Subjects: Analysis of PDEs (math.AP)
[175]  arXiv:1810.02629 (replaced) [pdf, ps, other]
Title: Smoothing Properties of Fractional Ornstein-Uhlenbeck Semigroups and Null-Controllability
Authors: Paul Alphonse (IRMAR), Joackim Bernier (IRMAR, MINGUS)
Subjects: Analysis of PDEs (math.AP)
[176]  arXiv:1810.11180 (replaced) [pdf, ps, other]
Title: Hanson-Wright inequality in Hilbert spaces with application to $K$-means clustering for non-Euclidean data
Subjects: Statistics Theory (math.ST); Probability (math.PR)
[177]  arXiv:1810.11517 (replaced) [pdf, other]
Title: Generalized Persistence Diagrams for Persistence Modules over Posets
Comments: (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 places
Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
[178]  arXiv:1811.02993 (replaced) [pdf, other]
Title: Spaces invariant under unitary representations of discrete groups
Comments: arXiv admin note: text overlap with arXiv:1506.08942
Subjects: Functional Analysis (math.FA); Representation Theory (math.RT)
[179]  arXiv:1811.06940 (replaced) [pdf, other]
Title: Stable graphs: distributions and line-breaking construction
Subjects: Probability (math.PR)
[180]  arXiv:1812.06196 (replaced) [pdf, ps, other]
Title: Mean-field games of optimal stopping: a relaxed solution approach
Subjects: Optimization and Control (math.OC); Probability (math.PR)
[181]  arXiv:1812.11954 (replaced) [pdf, other]
Title: Exact Cluster Recovery via Classical Multidimensional Scaling
Comments: 42 pages in cluding appendix
Subjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
[182]  arXiv:1901.06251 (replaced) [pdf, ps, other]
Title: Second-order delay ordinary differential equations, their symmetries and application to a traffic problem
Comments: arXiv admin note: substantial text overlap with arXiv:1712.02581
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph)
[183]  arXiv:1901.06599 (replaced) [pdf, ps, other]
Title: Degree of rational maps via specialization
Comments: to appear in International Mathematics Research Notices
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
[184]  arXiv:1902.03707 (replaced) [pdf, ps, other]
Title: Singular Behavior of an Electrostatic--Elastic Membrane System with an External Pressure
Comments: 28 pages, 1 figure
Journal-ref: Nonlinear Anal. 190 (2020), 111611
Subjects: 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 extensions
Comments: 19 pages, no figure, Revision in Section 2 and 3. Some new references
Journal-ref: Rep. Math. Phys. 85 (2020) 351
Subjects: Mathematical Physics (math-ph); Representation Theory (math.RT)
[186]  arXiv:1902.07029 (replaced) [pdf, other]
Title: A level-set multigrid technique for nonlinear diffusion in the numerical simulation of marble degradation under chemical pollutants
Subjects: Numerical Analysis (math.NA)
[187]  arXiv:1903.09738 (replaced) [pdf, other]
Title: The Elliptic Painlevé Lax Equation vs. van Diejen's 8-Coupling Elliptic Hamiltonian
Journal-ref: SIGMA 16 (2020), 063, 16 pages
Subjects: Mathematical Physics (math-ph); 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 Normality
Subjects: Statistics Theory (math.ST)
[189]  arXiv:1904.10897 (replaced) [pdf, ps, other]
Title: Equivariant property (SI) revisited
Authors: Gabor Szabo
Comments: v4 36 pages; this version has been accepted at Analysis & PDE
Subjects: Operator Algebras (math.OA)
[190]  arXiv:1904.11626 (replaced) [pdf, ps, other]
Title: Parametric Scenario Optimization under Limited Data: A Distributionally Robust Optimization View
Authors: Henry Lam, Fengpei Li
Subjects: 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 spaces
Subjects: Functional Analysis (math.FA)
[192]  arXiv:1906.01687 (replaced) [pdf, other]
Title: Stochastic Gradients for Large-Scale Tensor Decomposition
Subjects: 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 probability
Comments: 22 pages
Subjects: Combinatorics (math.CO)
[194]  arXiv:1906.02895 (replaced) [pdf, ps, other]
Title: The average cut-rank of graphs
Comments: 22 pages, 1 figure. The bound $x_n$ is corrected. Accepted to European J. Combinatorics
Subjects: 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 ballisticity
Comments: 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 phase-transition in equality/difference of the rate functions therein
Subjects: Probability (math.PR)
[196]  arXiv:1907.01241 (replaced) [pdf, other]
Title: On the VC-dimension of half-spaces with respect to convex sets
Subjects: 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 J-functional
Comments: Final version, to appear in Adv. Math
Subjects: 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$-spaces
Comments: This is a revised version with a few corrections. To appear in Journal of Operator Theory
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
[199]  arXiv:1907.07889 (replaced) [pdf, other]
Title: The simultaneous conjugacy problem in the symmetric group
Subjects: 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 Peierls-Nabarro models for semi-coherent interfaces
Comments: 27 Pages, 1 Figure
Subjects: Analysis of PDEs (math.AP)
[201]  arXiv:1908.09166 (replaced) [pdf, ps, other]
Title: Small cap decouplings
Comments: 4 figues, final version incorporating referee's suggestions
Subjects: Classical Analysis and ODEs (math.CA)
[202]  arXiv:1909.03846 (replaced) [pdf, other]
Title: On dynamic random graphs with degree homogenization via anti-preferential attachment probabilities
Subjects: Probability (math.PR); Combinatorics (math.CO)
[203]  arXiv:1909.07952 (replaced) [pdf, other]
Title: Various Characterizations of Throttling Numbers
Comments: 22 pages, 9 figures
Subjects: Combinatorics (math.CO)
[204]  arXiv:1909.13633 (replaced) [pdf, ps, other]
Title: Multiplicity of the saturated special fiber ring of height three Gorenstein ideals
Comments: to appear in Acta Mathematica Vietnamica
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
[205]  arXiv:1910.06524 (replaced) [pdf, ps, other]
Title: Adjoint-based exact Hessian computation
Subjects: Numerical Analysis (math.NA)
[206]  arXiv:1910.06549 (replaced) [pdf, ps, other]
Title: Bilinear operator multipliers into the trace class
Comments: 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 Analysis
Subjects: Operator Algebras (math.OA)
[207]  arXiv:1910.08828 (replaced) [pdf, ps, other]
Title: Dictionary Learning with Almost Sure Error Constraints
Subjects: 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 non-weight representations of the $N=2$ superconformal algebras
Comments: 22 pages.The title and abstract have been updated. Subsections 3.2/3.3 are added. Accepted by Journal of Pure and Applied Algebra
Subjects: Representation Theory (math.RT)
[209]  arXiv:1910.14067 (replaced) [pdf, other]
Title: Spectral properties of kernel matrices in the flat limit
Comments: 40 pages, 8 pages
Subjects: Numerical Analysis (math.NA); Spectral Theory (math.SP); Statistics Theory (math.ST)
[210]  arXiv:1911.01863 (replaced) [pdf, ps, other]
Title: Infinitesimal variations of submanifolds
Comments: The title has been changed in the last version
Subjects: Differential Geometry (math.DG)
[211]  arXiv:1911.06709 (replaced) [pdf, other]
Title: On the transitivity of the group of orbifold diffeomorphisms
Subjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
[212]  arXiv:1911.06792 (replaced) [pdf, other]
Title: On differentiable local bounds preserving stabilization for Euler equations
Comments: arXiv admin note: text overlap with arXiv:1912.11487
Subjects: Numerical Analysis (math.NA)
[213]  arXiv:1911.12471 (replaced) [pdf, other]
Title: Large independent sets in triangle-free cubic graphs: beyond planarity
Comments: v2: Referees' comments incorporated
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[214]  arXiv:1912.04100 (replaced) [pdf, other]
Title: Central Limit Theorem for Linear Eigenvalue Statistics of non-Hermitian Random Matrices
Comments: Minor typos correct. 64 pages
Subjects: Probability (math.PR); Mathematical Physics (math-ph)
[215]  arXiv:1912.05447 (replaced) [pdf, ps, other]
Title: On negative eigenvalues of two-dimensional Schroedinger operators with singular potentials
Comments: This version contains minor corrections to the journal version. arXiv admin note: text overlap with arXiv:1609.08098
Subjects: Spectral Theory (math.SP)
[216]  arXiv:1912.06504 (replaced) [pdf, ps, other]
Title: Geometry from Donaldson-Thomas invariants
Authors: Tom Bridgeland
Comments: Minor changes, 89 pages
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th)
[217]  arXiv:1912.09025 (replaced) [pdf, other]
Title: Matrix-Calibration-Based Cascaded Channel Estimation for Reconfigurable Intelligent Surface Assisted Multiuser MIMO
Comments: Accepted by IEEE Journal on Selected Areas in Communications. Matlab demo code is available at this https URL
Subjects: Information Theory (cs.IT)
[218]  arXiv:1912.10407 (replaced) [pdf, ps, other]
Title: Constructive sheaf models of type theory
Comments: 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 types
Subjects: Logic (math.LO)
[219]  arXiv:1912.12331 (replaced) [pdf, other]
Title: Schwarzian quantum mechanics as a Drinfeld-Sokolov reduction of $BF$ theory
Comments: 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 4
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[220]  arXiv:1912.12729 (replaced) [pdf, ps, other]
Title: On renormalized solutions to elliptic inclusions with nonstandard growth
Subjects: Analysis of PDEs (math.AP)
[221]  arXiv:1912.13291 (replaced) [pdf, other]
Title: A doubly stochastic block Gauss-Seidel algorithm for solving linear equations
Authors: Kui Du, Xiaohui Sun
Comments: 14 pages, 2 figures. More general results are given in this version
Subjects: 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 version
Subjects: Functional Analysis (math.FA)
[223]  arXiv:2001.04179 (replaced) [pdf, other]
Title: Randomized extended block Kaczmarz for solving least squares
Comments: 20 pages, 3 figures, more general results are presented
Subjects: Numerical Analysis (math.NA)
[224]  arXiv:2001.06326 (replaced) [pdf, other]
Title: Torsion Generators of the Twist Subgroup
Comments: 10 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:1912.10685
Subjects: Geometric Topology (math.GT)
[225]  arXiv:2001.07878 (replaced) [pdf, ps, other]
Title: Kingman's model with random mutation probabilities: convergence and condensation II
Authors: Linglong Yuan
Subjects: Probability (math.PR)
[226]  arXiv:2001.08151 (replaced) [pdf, ps, other]
Title: Do flat skew-reciprocal Littlewood polynomials exist?
Authors: Tamás Erdélyi
Subjects: Classical Analysis and ODEs (math.CA)
[227]  arXiv:2001.09679 (replaced) [pdf, ps, other]
Title: A note on sublinear separators and expansion
Authors: Zdeněk Dvořák
Comments: 10 pages, no figures; updated according to the reviewer remarks
Subjects: Combinatorics (math.CO)
[228]  arXiv:2001.11276 (replaced) [pdf, other]
Title: A Lie-theoretic Construction of Cartan-Moser Chains
Authors: Joel Merker (LM-Orsay & IHES)
Comments: This work was supported in part by the Polish National Science Centre (NCN) via the grant number 2018/29/B/ST1/02583
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
[229]  arXiv:2002.00365 (replaced) [pdf, ps, other]
Title: An Improved Distributed Nonlinear Observer for Leader-Following Consensus Via Differential Geometry Approach
Subjects: Optimization and Control (math.OC)
[230]  arXiv:2002.01242 (replaced) [pdf, ps, other]
Title: Stability and Applications
Comments: 18 pages, minor changes
Subjects: Algebraic Geometry (math.AG)
[231]  arXiv:2002.04131 (replaced) [pdf, other]
Title: Q-Learning Algorithm for Mean-Field Controls, with Convergence and Complexity Analysis
Subjects: 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 blow-up for stochastic Euler--Poincaré equations
Authors: Hao Tang
Comments: 43 pages. Further extending on Theorem 1.4
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)
[233]  arXiv:2002.09992 (replaced) [pdf, other]
Title: The Godbillon-Vey Invariant as Topological Vorticity Compression and Obstruction to Steady Flow in Ideal Fluids
Authors: Thomas Machon
Comments: 14 pages, 2 figures. V2: Changes to discussion of local conservation law, non-unique $\theta$
Journal-ref: Proc. R. Soc. A. 476, 20190851 (2020)
Subjects: Mathematical Physics (math-ph); Fluid Dynamics (physics.flu-dyn)
[234]  arXiv:2003.00644 (replaced) [pdf, ps, other]
Title: Descriptive complexity of real computation and probabilistic independence logic
Journal-ref: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020. Association for Computing Machinery, New York, NY, USA, 550-563
Subjects: 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 categories
Comments: 56 pages; version 2: new sections 8.3 (a classification of t-structures with definable co-aisles in terms of suspended ideals of the compacts) and 8.4 (existence of right adjacent co-t-structures) added
Subjects: 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 Non-graded Hamiltonian $H(2; (1,1); Φ(1))$
Authors: Horacio Guerra
Comments: 42 pages
Subjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
[237]  arXiv:2003.06935 (replaced) [pdf, other]
Title: Control of chaos with minimal information transfer
Authors: Christoph Kawan
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
[238]  arXiv:2003.07134 (replaced) [pdf, other]
Title: Stable foliations and CW-structure induced by a Morse-Smale gradient-like flow
Comments: 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 readers
Subjects: Dynamical Systems (math.DS)
[239]  arXiv:2003.08706 (replaced) [pdf, other]
Title: THB-spline approximations for turbine blade design with local B-spline approximations
Subjects: Numerical Analysis (math.NA)
[240]  arXiv:2003.10907 (replaced) [pdf, other]
Title: Generators for Extended Mapping Class Groups
Comments: 15 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.06326, arXiv:1912.10685
Subjects: Geometric Topology (math.GT)
[241]  arXiv:2003.12712 (replaced) [pdf, other]
Title: Analysis and Experimental Demonstration of Orthant-Symmetric Four-dimensional 7 bit/4D-sym Modulation for Optical Fiber Communication
Comments: 15 pages
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)
[242]  arXiv:2004.00260 (replaced) [pdf, other]
Title: A Generalised Sextic Freud Weight
Comments: 18 pages, 3 figures
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); 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 conditions
Comments: 30 pages, 5 figures. In the degree-1 case the statement of Theorem 1.1 is different from the previous version
Subjects: 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 applications
Authors: Wei Dai, Guolin Qin
Comments: arXiv admin note: substantial text overlap with arXiv:2002.09924
Subjects: 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 diffraction
Comments: 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 (cond-mat.dis-nn); Metric Geometry (math.MG)
[246]  arXiv:2004.04028 (replaced) [pdf, other]
Title: Set-theoretic solutions of the Pentagon Equation
Comments: accepted for publication in Communication in Mathematical Physics. 16 pages
Subjects: Rings and Algebras (math.RA)
[247]  arXiv:2004.04538 (replaced) [src]
Title: Rational Maps and Boundaries of Convex Hulls
Authors: Joseph Malkoun
Comments: 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 there
Subjects: Metric Geometry (math.MG)
[248]  arXiv:2004.06329 (replaced) [pdf, ps, other]
Title: Replica analysis of overfitting in generalized linear models
Comments: 45 pages, 7 figures, accepted for publication in Journal of Physics A
Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistics Theory (math.ST)
[249]  arXiv:2004.10917 (replaced) [pdf, other]
Title: Flexibility of Planar Graphs -- Sharpening the Tools to Get Lists of Size Four
Comments: 18 pages, 4 figures
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[250]  arXiv:2004.11734 (replaced) [pdf, ps, other]
Title: Robust subgaussian estimation with VC-dimension
Authors: Jules Depersin
Subjects: 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 spaces
Authors: Shouhei Honda
Comments: 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 pages
Subjects: 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 Convection-Diffusion Equations
Authors: Abhinav Jha
Subjects: 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 potential
Authors: Hongyu Liu, Shiqi Ma
Comments: 29 pages
Subjects: Analysis of PDEs (math.AP)
[254]  arXiv:2005.11428 (replaced) [pdf, ps, other]
Title: Combinatorial Reeb dynamics on punctured contact 3-manifolds
Authors: Russell Avdek
Comments: 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 SFT
Subjects: 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 estimator
Authors: Masatoshi Goda
Subjects: Statistics Theory (math.ST)
[256]  arXiv:2005.14633 (replaced) [pdf, ps, other]
Title: Hodge Numbers of Arbitrary Sections from Linear Sections
Authors: Herbert Clemens
Comments: 12 pages
Subjects: Algebraic Geometry (math.AG)
[257]  arXiv:2006.00516 (replaced) [pdf, other]
Title: Tight Probability Bounds with Pairwise Independence
Comments: 33 pages, 4 figures
Subjects: 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 quasigroups
Comments: Conjectures 1 and 3 are replaced by a counterexample (Example 2), other minor changes
Subjects: Combinatorics (math.CO)
[259]  arXiv:2006.06889 (replaced) [pdf, ps, other]
Title: Fast Objective and Duality Gap Convergence for Non-convex Strongly-concave Min-max Problems
Comments: Zhishuai Guo, Zhuoning Yuan and Yan Yan contributed equally to this work
Subjects: 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 two-sided Stechkin inequalities
Subjects: 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 distribution-biased and distribution-shifted permutations with the geometric and the GEM distributions
Authors: Ross G. Pinsky
Comments: A second remark has been added after Proposition 4
Subjects: Probability (math.PR)
[262]  arXiv:2006.10708 (replaced) [pdf, other]
Title: Polynomials with Zeros on the Unit Circle: Regularity of Leja Sequences
Subjects: 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 subgroups
Comments: 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 work
Subjects: Group Theory (math.GR)
[264]  arXiv:2006.13844 (replaced) [pdf, ps, other]
Title: $\mathcal{H}_2$ optimal structure-preserving model order reduction of second-order systems by iterative rational Krylov algorithm
Comments: 17 pages 12 figures
Subjects: 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 Kingman-like Theorem
Comments: 18 pages, 1 Figure. Included some references, unused information excluded and correction of typographic minor errors
Subjects: Dynamical Systems (math.DS)
[266]  arXiv:2006.14383 (replaced) [pdf, ps, other]
Title: Fractional derivatives and the fundamental theorem of Fractional Calculus
Authors: Yuri Luchko
Comments: 22 pages
Subjects: Classical Analysis and ODEs (math.CA)
[267]  arXiv:2006.14509 (replaced) [pdf, other]
Title: Using rational homology circles to construct rational homology balls
Authors: Jonathan Simone
Comments: Added an additional interesting family of rational spheres bounding rational ball to Corollary 1.5 (pointed out by Marco Golla), added references, and fixed typos
Subjects: Geometric Topology (math.GT)
[268]  arXiv:2006.15703 (replaced) [pdf, other]
Title: A Fast Distributed Algorithm for $(Δ+ 1)$-Edge-Coloring
Authors: Anton Bernshteyn
Comments: 23 pages, 9 figures
Subjects: 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 System
Authors: Georgi Georgiev
Subjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph)
[270]  arXiv:2006.15977 (replaced) [pdf, other]
Title: A privacy-preserving tests optimization algorithm for epidemics containment
Comments: added figures fixed typos added table of notation
Subjects: Social and Information Networks (cs.SI); Optimization and Control (math.OC); Physics and Society (physics.soc-ph)
[271]  arXiv:2006.16213 (replaced) [pdf, ps, other]
Title: Post-composition transforms of totally positive kernels
Comments: This paper now also contains the characterization of transforms preserving one-sided Polya frequency functions and sequences. 65 pages, no figures
Subjects: 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 semiprimes
Subjects: Number Theory (math.NT)
[273]  arXiv:2006.16936 (replaced) [pdf, other]
Title: Integral Control Barrier Functions for Dynamically Defined Control Laws
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
[274]  arXiv:2006.16995 (replaced) [pdf, other]
Title: Slide polynomials and subword complexes
Comments: 15 pages, 5 figures. v2: proof of Thm 4.4 simplified, typos corrected
Subjects: 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 algebras
Authors: Changchang Xi
Comments: 10 pages
Subjects: 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 fields
Authors: Evis Ieronymou
Comments: 16 pages, more typos corrected
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
[277]  arXiv:2007.01892 (replaced) [pdf, ps, other]
Title: Generalized Path Pairs and Fuss-Catalan Triangles
Authors: Paul Drube
Subjects: Combinatorics (math.CO)
[278]  arXiv:2007.02514 (replaced) [pdf, other]
Title: Treatment effect bias from sample snooping: blinding outcomes is neither necessary nor sufficient
Authors: Aaron Fisher
Comments: version notes: minor typo correction in abstract
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[279]  arXiv:2007.02618 (replaced) [pdf, other]
Title: Nonconcavity of the Spectral Radius in Levinger's Theorem
Comments: v2: Replaced graphics that had buggy PDF. 17 pages, 6 figures
Subjects: Spectral Theory (math.SP)
[280]  arXiv:2007.02779 (replaced) [pdf, ps, other]
Title: Some virtually poly-free Artin groups
Authors: S K Roushon
Comments: 4 pages, a typo is corrected
Subjects: Group Theory (math.GR)
[281]  arXiv:2007.02910 (replaced) [pdf, other]
Title: A Weighted Randomized Kaczmarz Method for Solving Linear Systems
Subjects: 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 field
Comments: 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 accessible
Subjects: 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 applications
Authors: Mathieu Giroux
Comments: 26 pages, in French
Subjects: 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 Functions
Journal-ref: Workshop on Beyond first-order methods in ML systems at the 37th International Conference on Machine Learning, Vienna, Austria, 2020
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[285]  arXiv:2007.03576 (replaced) [pdf, other]
Title: A Task-based Multi-shift QR/QZ Algorithm with Aggressive Early Deflation
Authors: Mirko Myllykoski
Comments: 34 pages, 19 figures, 8 tables. Minor corrections to text and figures. Submitted to TOMS
Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
[ total of 285 entries: 1-285 ]
[ 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)