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

Mathematics

New submissions

[ total of 285 entries: 1-285 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 21 Feb 20

[1]  arXiv:2002.08359 [pdf, ps, other]
Title: On decompositions of the real line
Authors: Gerald Kuba
Subjects: General Topology (math.GN)

Let X_t be a totally disconnected subset of the real line R for each t in R. We construct a partition {Y_t | t in R} of R into nowhere dense Lebesgue null sets Y_t such that for every t in R there exists an increasing homeomorphism from X_t onto Y_t. In particular, the real line can be partitioned into 2^{aleph_0} Cantor sets and also into 2^{aleph_0} mutually non-homeomorphic compact subspaces. Furthermore we prove that for every cardinal number k with 2 \leq k \leq 2^{aleph_0} the real line (as well as the Baire space R\Q) can be partitioned into exactly k homeomorphic Bernstein sets and also into exactly k mutually non-homeomorphic Bernstein sets. We also investigate partitions of R into Marczewski sets, including the possibility that they are Luzin sets or Sierpinski sets.

[2]  arXiv:2002.08388 [pdf, ps, other]
Title: $\mathcal{A}\mathcal{V}$ modules of finite type on affine space
Subjects: Representation Theory (math.RT)

We study the category of modules admitting compatible actions of the Lie algebra $\mathcal{V}$ of vector fields on an affine space and the algebra $\mathcal{A}$ of polynomial functions. We show that modules in this category which are finitely generated over $\mathcal{A}$, are free. We also show that this pair of compatible actions is equivalent to commuting actions of the algebra of differential operators and the Lie algebra of vector fields vanishing at the origin. This allows us to construct explicit realizations of such modules as gauge modules.

[3]  arXiv:2002.08395 [pdf, ps, other]
Title: On the optimal control of rate-independent soft crawlers
Subjects: Optimization and Control (math.OC)

Existence of optimal solutions and necessary optimality conditions for a controlled version of Moreau's sweeping process are derived. The control is a measurable ingredient of the dynamics and the constraint set is a polyhedron. The novelty consists in considering time periodic trajectories, adding the requirement that the control have zero average, and considering an integral functional that lacks weak semicontinuity. A model coming from the locomotion of a soft-robotic crawler, that motivated our setting, is analysed in detail. In obtaining necessary conditions, an improvement of the method of discrete approximations is used.

[4]  arXiv:2002.08408 [pdf, ps, other]
Title: Non-linear network dynamics with consensus-dissensus bifurcation
Comments: 16 pages, 5 figures
Subjects: Dynamical Systems (math.DS); Physics and Society (physics.soc-ph)

We study a non-linear dynamical system on networks inspired by the pitchfork bifurcation normal form. The system has several interesting interpretations: as an interconnection of several pitchfork systems, a gradient dynamical system and the dominating behaviour of a general class of non-linear dynamical systems. The equilibrium behaviour of the system exhibits a global bifurcation with respect to the system parameter, with a transition from a single constant stationary state to a large range of possible stationary states. Our main result classifies the stability of (a subset of) these stationary states in terms of the effective resistances of the underlying graph; this classification clearly discerns the influence of the specific topology in which the local pitchfork systems are interconnected. We further describe exact solutions for graphs with external equitable partitions and characterize the basins of attraction on tree graphs. Our technical analysis is supplemented by a study of the system on a number of prototypical networks: tree graphs, complete graphs and barbell graphs. We describe a number of qualitative properties of the dynamics on these networks, with promising modeling consequences.

[5]  arXiv:2002.08409 [pdf, other]
Title: On the geometric properties of finite mixture models
Subjects: Statistics Theory (math.ST)

In this paper we relate the geometry of extremal points to properties of mixtures of distributions. For a mixture model in $\mathbb{R}^J$ we consider as a prior the mixing density given by a uniform draw of $n$ points from the unit $(J-1)$-simplex, with $J \leq n$. We relate the extrema of these $n$ points to a mixture model with $m \leq n$ mixture components. We first show that the extrema of the points can recover any mixture density in the convex hull of the the $n$ points via the Choquet measure. We then show that as the number of extremal points go to infinity the convex hull converges to a smooth convex body. We also state a Central Limit Theorem for the number of extremal points. In addition, we state the convergence of the sequence of the empirical measures generated by our model to the Choquet measure. We relate our model to a classical non-parametric one based on a P\'olya tree. We close with an application of our model to population genomics.

[6]  arXiv:2002.08411 [pdf, ps, other]
Title: Degree bounds for projective division fields associated to elliptic modules with a trivial endomorphism ring
Comments: 10 pages
Subjects: Number Theory (math.NT)

Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$, and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial endomorphism ring, with $k= \mathbb{Q}$, $A = \mathbb{Z}$ in the former case and $k$ a global function field, $A$ its ring of functions regular away from a fixed prime in the latter case, for any nonzero ideal $\mathfrak{a} \lhd A$ we prove best possible estimates in the norm $|\mathfrak{a}|$ for the degrees over $K$ of the subfields of the $\mathfrak{a}$-division fields of $M$ fixed by scalars.

[7]  arXiv:2002.08413 [pdf, ps, other]
Title: Some remarks on maximal rank
Authors: Tove Dahn
Subjects: Analysis of PDEs (math.AP)

We argue that the spiral can, in presence of a maximum principle, be of maximal rank at a boundary, but does not preserve hypoellipticity.

[8]  arXiv:2002.08422 [pdf, other]
Title: On conditional versus marginal bias in multi-armed bandits
Comments: 20 pages
Subjects: Statistics Theory (math.ST); Machine Learning (stat.ML)

The bias of the sample means of the arms in multi-armed bandits is an important issue in adaptive data analysis that has recently received considerable attention in the literature. Existing results relate in precise ways the sign and magnitude of the bias to various sources of data adaptivity, but do not apply to the conditional inference setting in which the sample means are computed only if some specific conditions are satisfied. In this paper, we characterize the sign of the conditional bias of monotone functions of the rewards, including the sample mean. Our results hold for arbitrary conditioning events and leverage natural monotonicity properties of the data collection policy. We further demonstrate, through several examples from sequential testing and best arm identification, that the sign of the conditional and unconditional bias of the sample mean of an arm can be different, depending on the conditioning event. Our analysis offers new and interesting perspectives on the subtleties of assessing the bias in data adaptive settings.

[9]  arXiv:2002.08426 [pdf, other]
Title: Lax Wendroff approximate Taylor methods with fast and optimized weighted essentially non-oscillatory reconstructions
Subjects: Numerical Analysis (math.NA)

The goal of this work is to introduce new families of shock-capturing high-order numerical methods for systems of conservation laws that combine Fast WENO (FWENO) and Optimal WENO (OWENO) reconstructions with Approximate Taylor methods for the time discretization. FWENO reconstructions are based on smoothness indicators that require a lower number of calculations than the standard ones. OWENO reconstructions are based on a definition of the nonlinear weights that allows one to unconditionally attain the optimal order of accuracy regardless of the order of critical points. Approximate Taylor methods update the numerical solutions by using a Taylor expansion in time in which, instead of using the Cauchy-Kovalevskaya procedure, the time derivatives are computed by combining spatial and temporal numerical differentiation with Taylor expansions in a recursive way. These new methods are compared between them and against methods based on standard WENO implementations and/or SSP-RK time discretization. A number of test cases are considered ranging from scalar linear 1d problems to nonlinear systems of conservation laws in 2d.

[10]  arXiv:2002.08427 [pdf, other]
Title: A numerical reconstruction algorithm for the inverse scattering problem with backscatter data
Comments: 20 pages, 5 figures
Subjects: Numerical Analysis (math.NA)

This paper is concerned with the inverse scattering problem which aims to determine the coefficient of the Helmholtz equation from multifrequency backscatter data. We propose an efficient numerical algorithm to solve this nonlinear and ill-posed inverse problem without using any advanced a priori knowledge of the solution. To study the algorithm we first eliminate the coefficient from the Helmholtz equation using a change of variables. Then using a truncated Fourier expansion for the wave field we approximately reformulate the inverse problem as a system of quasilinear elliptic PDEs, which can be numerically solved by a quasi-reversibility approach. The cost functional for the quasi-reversibility method is constructed as a Tikhonov-like functional that involves a Carleman weight function. Our numerical study shows that using a method of gradient descent type one can find the minimizer of this Tikhonov-like functional without any advanced a priori knowledge about it.

[11]  arXiv:2002.08428 [pdf, ps, other]
Title: Storage Space Allocation Strategy for Digital Data with Message Importance
Comments: 34pages, 7 figures
Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)

This paper mainly focuses on the problem of lossy compression storage from the perspective of message importance when the reconstructed data pursues the least distortion within limited total storage size. For this purpose, we transform this problem to an optimization by means of the importance-weighted reconstruction error in data reconstruction. Based on it, this paper puts forward an optimal allocation strategy in the storage of digital data by a kind of restrictive water-filling. That is, it is a high efficient adaptive compression strategy since it can make rational use of all the storage space. It also characterizes the trade-off between the relative weighted reconstruction error and the available storage size. Furthermore, this paper also presents that both the users' preferences and the special characteristic of data distribution can trigger the small-probability event scenarios where only a fraction of data can cover the vast majority of users' interests. Whether it is for one of the reasons above, the data with highly clustered message importance is beneficial to compression storage. In contrast, the data with uniform information distribution is incompressible, which is consistent with that in information theory.

[12]  arXiv:2002.08435 [pdf, ps, other]
Title: The G-stable rank for tensors
Authors: Harm Derksen
Comments: 24 pages
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Combinatorics (math.CO); Number Theory (math.NT)

We introduce the $G$-stable rank of a higher order tensors over perfect fields.
The $G$-stable rank is related to the Hilbert-Mumford criterion for stability in Geometric Invariant Theory. We will relate the $G$-stable rank to the tensor rank and slice rank. For numerical applications, we express the $G$-stable rank as a solution to an optimization problem. Over the field ${\mathbb F}_3$ we discuss an application to the Cap Set Problem.

[13]  arXiv:2002.08444 [pdf, ps, other]
Title: On the universal unfolding of vector fields in one variable: A proof of Kostov's theorem
Comments: 11 pages
Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)

In this note we present variants of Kostov's theorem on a versal deformation of a parabolic point of a complex analytic $1$-dimensional vector field. First we provide a self-contained proof of Kostov's theorem, together with a proof that this versal deformation is indeed universal. We then generalize to the real analytic and formal cases, where we show universality, and to the $C^\infty$ case, where we show that only versality is possible.

[14]  arXiv:2002.08446 [pdf, ps, other]
Title: Counterexamples to $L^p$ collapsing estimates
Subjects: Analysis of PDEs (math.AP)

We show that certain $L^2$ space-time estimates for generalized density matrices which have been used by several authors in recent years to study equations of BBGKY or Hartree-Fock type, do not have non-trivial $L^pL^q$ generalizations.

[15]  arXiv:2002.08452 [pdf, ps, other]
Title: Finiteness results concerning algebraic power series
Comments: 12 pages
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Number Theory (math.NT)

We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power series of bounded complexity lying on an algebraic variety defined over the field of power series.

[16]  arXiv:2002.08459 [pdf, other]
Title: Regularity of Lyapunov Exponents for Diffeomorphisms with Dominated Splitting
Comments: 71 pages, 1 figure
Subjects: Dynamical Systems (math.DS)

We consider families of diffeomorphisms with dominated splittings and preserving a Borel probability measure, and we study the regularity of the Lyapunov exponents associated to the invariant bundles with respect to the parameter. We obtain that the regularity is at least the sum of the regularities of the two invariant bundles (for regularities in $[0,1]$), and under suitable conditions we obtain formulas for the derivatives. Similar results are obtained for families of flows, and for the case when the invariant measure depends on the map.
We also obtain several applications. Near the time one map of a geodesic flow of a surface of negative curvature the metric entropy of the volume is Lipschitz with respect to the parameter. At the time one map of a geodesic flow on a manifold of constant negative curvature the topological entropy is differentiable with respect to the parameter, and we give a formula for the derivative. Under some regularity conditions, the critical points of the Lyapunov exponent function are non-flat (the second derivative is nonzero for some families). Also, again under some regularity conditions, the criticality of the Lyapunov exponent function implies some rigidity of the map, in the sense that the volume decomposes as a product along the two complimentary foliations. In particular for area preserving Anosov diffeomorphisms, the only critical points are the maps smoothly conjugated to the linear map, corresponding to the global extrema.

[17]  arXiv:2002.08461 [pdf, other]
Title: An Alternating Direction Explicit Method for Time Evolution Equations with Applications to Fractional Differential Equations
Comments: 25 pages, 1 figure, 7 tables
Subjects: Numerical Analysis (math.NA)

We derive and analyze the alternating direction explicit (ADE) method for time evolution equations with the time-dependent Dirichlet boundary condition and with the zero Neumann boundary condition. The original ADE method is an additive operator splitting (AOS) method, which has been developed for treating a wide range of linear and nonlinear time evolution equations with the zero Dirichlet boundary condition. For linear equations, it has been shown to achieve the second order accuracy in time yet is unconditionally stable for an arbitrary time step size. For the boundary conditions considered in this work, we carefully construct the updating formula at grid points near the boundary of the computational domain and show that these formulas maintain the desired accuracy and the property of unconditional stability. We also construct numerical methods based on the ADE scheme for two classes of fractional differential equations. We will give numerical examples to demonstrate the simplicity and the computational efficiency of the method.

[18]  arXiv:2002.08464 [pdf, other]
Title: A fitted finite volume method for stochastic optimal control Problems
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

In this article, we provide a numerical method based on fitted finite volume method to approximate the Hamilton-Jacobi-Bellman (HJB) equation coming from stochastic optimal control problems. The computational challenge is due to the nature of the HJB equation, which may be a second-order degenerated partial differential equation coupled with optimization. In the work, we discretize the HJB equation using the fitted finite volume method and show that matrix resulting from spatial discretization is an M-matrix. The optimization problem is solved at every time step using iterative method. Numerical results are presented to show the robustness of the fitted finite volume numerical method comparing to the standard finite difference method.

[19]  arXiv:2002.08471 [pdf, other]
Title: Scaled Fixed Point Algorithm for Computing the Matrix Square Root
Subjects: Numerical Analysis (math.NA)

This paper addresses the numerical solution of the matrix square root problem. Two fixed point iterations are proposed by rearranging the nonlinear matrix equation $A - X^2 = 0$ and incorporating a positive scaling parameter. The proposals only need to compute one matrix inverse and at most two matrix multiplications per iteration. A global convergence result is established. The numerical comparisons versus some existing methods from the literature, on several test problems, demonstrate the efficiency and effectiveness of our proposals.

[20]  arXiv:2002.08479 [pdf, ps, other]
Title: Periodic orbits of Linear and Invariant flows on Semisimple Lie groups
Comments: 7 pages
Subjects: Dynamical Systems (math.DS)

Our main is to study periodic orbits of linear or invariant flows on a real, connected, semisimple Lie group. Since there exist a derivation of Lie algebra to linear or invariant flow, we show that a periodic orbit that is not fixed point of a linear or invariant flow is periodic if and only the eingevalues of derivation is 0 or $\pm \alpha i$ for an unique $\alpha \neq 0$ and they are semisimple. We apply this result in noncompact case through Iwasawa's decomposition. Furthermore, we present a version of Poincar\'e-Bendixon's Theorem for periodic orbits.

[21]  arXiv:2002.08480 [pdf, ps, other]
Title: On contact loci of hyperplane arrangements
Subjects: Algebraic Geometry (math.AG)

We give an explicit expression for the contact loci of hyperplane arrangements and show that their cohomology rings are combinatorial invariants. We also give an expression for the restricted contact loci in terms of Milnor fibers of associated hyperplane arrangements. We prove the degeneracy of a spectral sequence related to the restricted contact loci of a hyperplane arrangement and which conjecturally computes algebraically the Floer cohomology of iterates of the Milnor monodromy. We give formulas for the Betti numbers of contact loci and restricted contact loci in generic cases.

[22]  arXiv:2002.08485 [pdf, other]
Title: The Minimal Genus of Homology Classes in a Finite 2-Complex
Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)

We study surface representatives of homology classes of finite complexes which minimize certain complexity measures, including its genus and Euler characteristic. Our main result is that up to surgery at nullhomotopic curves minimizers are homotopic to cellwise coverings to the 2-skeleton. From this we conclude that the minimizing problem is in general algorithmically undecidable, but can be solved for 2-dimensional CAT(-1)-complexes.

[23]  arXiv:2002.08488 [pdf, ps, other]
Title: Massive MIMO with Multi-Antenna Users under Jointly Correlated Ricean Fading
Comments: Submitted to ICC 2020
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

We study the uplink performance of massive multiple-input multiple-output (MIMO) when users are equipped with multiple antennas. To this end, we consider a generalized channel model that accounts for line-of-sight propagation and spatially correlated multipath fading. Most importantly, we employ the Weichselberger correlation model, which has been shown to alleviate the deficiencies of the popular Kronecker model. The main contribution of this paper is a rigorous closed-form expression for the uplink spectral efficiency using maximum-ratio combining and minimum mean square error channel estimation. Our result is a non-trivial generalization of previous results on massive MIMO with spatially correlated channels, thereby enabling us to have suitable designs for future massive MIMO systems. Numerical simulations corroborate our analysis and provide useful insights on how different propagation conditions affect system performance.

[24]  arXiv:2002.08491 [pdf, other]
Title: Entrywise convergence of iterative methods for eigenproblems
Comments: 22 pages, 6 figures
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

Several problems in machine learning, statistics, and other fields rely on computing eigenvectors. For large scale problems, the computation of these eigenvectors is typically performed via iterative schemes such as subspace iteration or Krylov methods. While there is classical and comprehensive analysis for subspace convergence guarantees with respect to the spectral norm, in many modern applications other notions of subspace distance are more appropriate. Recent theoretical work has focused on perturbations of subspaces measured in the $\ell_{2 \to \infty}$ norm, but does not consider the actual computation of eigenvectors. Here we address the convergence of subspace iteration when distances are measured in the $\ell_{2 \to \infty}$ norm and provide deterministic bounds. We complement our analysis with a practical stopping criterion and demonstrate its applicability via numerical experiments. Our results show that one can get comparable performance on downstream tasks while requiring fewer iterations, thereby saving substantial computational time.

[25]  arXiv:2002.08496 [pdf, ps, other]
Title: Brownian absolute continuity of the KPZ fixed point with arbitrary initial condition
Comments: 17 pages
Subjects: Probability (math.PR); Mathematical Physics (math-ph)

We show that the law of the KPZ fixed point starting from arbitrary initial condition is absolutely continuous with respect to the law of Brownian motion $B$ on every compact interval. In particular, the Airy$_1$ process is absolutely continuous with respect to $B$ on any compact interval

[26]  arXiv:2002.08503 [pdf, other]
Title: The metric dimension of critical Galton-Watson trees and linear preferential attachment trees
Subjects: Probability (math.PR); Combinatorics (math.CO)

The metric dimension of a graph $G$ is the minimal size of a subset $R$ of vertices of $G$ that, upon reporting their graph distance from a distingished (source) vertex $v^\star$, enable unique identification of the source vertex $v^\star$ among all possible vertices of $G$. In this paper we show a Law of Large Numbers (LLN) for the metric dimension of some classes of trees: critical Galton-Watson trees conditioned to have size $n$, and growing general linear preferential attachment trees. The former class includes uniform random trees, the latter class includes Yule-trees (also called random recursive trees), $m$-ary increasing trees, binary search trees, and positive linear preferential attachment trees. In all these cases, we are able to identify the limiting constant in the LLN explicitly. Our result relies on the insight that the metric dimension can be related to subtree properties, and hence we can make use of the powerful fringe-tree literature developed by Aldous and Janson et al.

[27]  arXiv:2002.08504 [pdf, ps, other]
Title: Minimal rational curves on the moduli spaces of symplectic and orthogonal bundles
Comments: 23 pages
Subjects: Algebraic Geometry (math.AG)

Let $C$ be an algebraic curve of genus $g$ and $L$ a line bundle over $C$. Let $\mathcal{MS}_C(n,L)$ and $\mathcal{MO}_C(n,L)$ be the moduli spaces of $L$-valued symplectic and orthogonal bundles respectively, over $C$ of rank $n$. We construct rational curves on these moduli spaces which generalize Hecke curves on the moduli space of vector bundles. As a main result, we show that these Hecke type curves have the minimal degree among the rational curves passing through a general point of the moduli spaces. As its byproducts, we show the non-abelian Torelli theorem and compute the automorphism group of moduli spaces.

[28]  arXiv:2002.08509 [pdf, other]
Title: Twisting Noncommutative Geometries with Applications to High Energy Physics
Authors: Devashish Singh
Comments: 111 pages, Doctoral thesis
Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th)

With the bare essentials of noncommutative geometry (defined by a spectral triple), we first describe how it naturally gives rise to gauge theories. Then, we quickly review the notion of twisting (in particular, minimally) noncommutative geometries and how it induces a Wick rotation, that is, a transition of the metric signature from euclidean to Lorentzian. We focus on comparatively more tractable examples of spectral triples; such as the ones corresponding to a closed Riemannian spin manifold, $U(1)$ gauge theory, and electrodynamics. By minimally twisting these examples and computing their associated fermionic actions, we demonstrate how to arrive at physically relevant actions (such as the Weyl and Dirac actions) in Lorentz signature, even though starting from euclidean spectral triples. In the process, not only do we extract a physical interpretation of the twist, but we also capture exactly how the Wick rotation takes place at the level of the fermionic action.

[29]  arXiv:2002.08513 [pdf, ps, other]
Title: A Trust-Region Method For Nonsmooth Nonconvex Optimization
Subjects: Optimization and Control (math.OC)

We propose a trust-region type method for general nonsmooth nonconvex optimization problems with emphasis on nonsmooth composite programs where the objective function is a summation of a (probably nonconvex) smooth function and a (probably nonsmooth) convex function. The model function of our trust-region subproblem is always quadratic and the linear term of the model is generated using abstract descent directions. Therefore, the trust-region subproblems can be easily constructed as well as efficiently solved by cheap and standard methods. By adding a safeguard on the stepsizes, the accuracy of the model function is guaranteed. For a class of functions that can be "truncated", an additional truncation step is defined and a stepsize modification strategy is designed. The overall scheme converges globally and we establish fast local convergence under suitable assumptions. In particular, using a connection with a smooth Riemannian trust-region method, we prove local quadratic convergence for partly smooth functions under a strict complementary condition. Preliminary numerical results on a family of $\ell_1$-optimization problems are reported and demonstrate the efficiency of our approach.

[30]  arXiv:2002.08520 [pdf, ps, other]
Title: The pyramidal growth
Authors: Joseph Gubeladze
Comments: 17 pages
Subjects: Combinatorics (math.CO); Metric Geometry (math.MG)

Can one always reach from a polytope to any ambient polytope by iteratively stacking pyramids onto facets, without loosing convexity at each step? We prove that this is indeed the case for (i) 3-polytopes, (ii) 4-polytopes under a certain infinitesimal quasi-pyramidal relaxation, and (iii) all dimensions asymptotically. The motivation partly comes from our study of K-theory of monoid rings and of certain posets of discrete-convex objects.

[31]  arXiv:2002.08524 [pdf, ps, other]
Title: The Open Crepant Transformation Conjecture for Toric Calabi-Yau 3-Orbifolds
Authors: Song Yu
Comments: 33 pages, 10 figures
Subjects: Algebraic Geometry (math.AG)

We prove an open version of Ruan's Crepant Transformation Conjecture for toric Calabi-Yau 3-orbifolds, which is an identification of disk invariants of K-equivalent semi-projective toric Calabi-Yau 3-orbifolds relative to corresponding Lagrangian suborbifolds of Aganagic-Vafa type. Our main tool is a mirror theorem of Fang-Liu-Tseng that relates these disk invariants to local coordinates on the B-model mirror curves. Treating toric crepant transformations as wall-crossings in the GKZ secondary fan, we establish the identification of disk invariants through constructing a global family of mirror curves over charts of the secondary variety and understanding analytic continuation on local coordinates. Our work generalizes previous results of Brini-Cavalieri-Ross on disk invariants of threefold type-A singularities and of Ke-Zhou on crepant resolutions with effective outer branes.

[32]  arXiv:2002.08534 [pdf, ps, other]
Title: Report on the finiteness of silting objects
Comments: 15 pages
Subjects: Representation Theory (math.RT); Rings and Algebras (math.RA)

We discuss the finiteness of (two-term) silting objects. First, we investigate new triangulated categories without silting object. Second, one studies two classes of $\tau$-tilting-finite algebras and give the numbers of their two-term silting objects. Finally, we explore when $\tau$-tilting-finiteness implies representatoin-finiteness, and obtain several classes of algebras in which a $\tau$-tilting-finite algebra is representation-finite.

[33]  arXiv:2002.08535 [pdf, ps, other]
Title: The fraction of an $S_n$-orbit on a hyperplane
Comments: 11 pages
Subjects: Combinatorics (math.CO)

Huang, McKinnon, and Satriano conjectured that if $v \in \mathbb{R}^n$ has distinct coordinates and $n \geq 3$, then a hyperplane through the origin other than $\sum_i x_i = 0$ contains at most $2\lfloor n/2 \rfloor (n-2)!$ of the vectors obtained by permuting the coordinates of $v$. We prove this conjecture.

[34]  arXiv:2002.08537 [pdf, other]
Title: Adaptive Temporal Difference Learning with Linear Function Approximation
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)

This paper revisits the celebrated temporal difference (TD) learning algorithm for the policy evaluation in reinforcement learning. Typically, the performance of the plain-vanilla TD algorithm is sensitive to the choice of stepsizes. Oftentimes, TD suffers from slow convergence. Motivated by the tight connection between the TD learning algorithm and the stochastic gradient methods, we develop the first adaptive variant of the TD learning algorithm with linear function approximation that we term AdaTD. In contrast to the original TD, AdaTD is robust or less sensitive to the choice of stepsizes. Analytically, we establish that to reach an $\epsilon$ accuracy, the number of iterations needed is $\tilde{O}(\epsilon^2\ln^4\frac{1}{\epsilon}/\ln^4\frac{1}{\rho})$, where $\rho$ represents the speed of the underlying Markov chain converges to the stationary distribution. This implies that the iteration complexity of AdaTD is no worse than that of TD in the worst case. Going beyond TD, we further develop an adaptive variant of TD($\lambda$), which is referred to as AdaTD($\lambda$). We evaluate the empirical performance of AdaTD and AdaTD($\lambda$) on several standard reinforcement learning tasks in OpenAI Gym on both linear and nonlinear function approximation, which demonstrate the effectiveness of our new approaches over existing ones.

[35]  arXiv:2002.08540 [pdf, other]
Title: Subgroups of Lacunary Hyperbolic Groups and Free Products
Authors: Krishnendu Khan
Comments: 36 pages, 1 figure
Subjects: Group Theory (math.GR); Operator Algebras (math.OA)

A finitely generated group is lacunary hyperbolic if one of its asymptotic cones is an $\mathbb{R}$-tree. In this article we give a necessary and sufficient condition on lacunary hyperbolic groups in order to be stable under free product by giving a dynamical characterization of lacunary hyperbolic groups. Also we studied limits of elementary subgroups as subgroups of lacunary hperbolic groups and characterized them. Given any countable collection of increasing union of elementary groups we show that there exists a lacunary hyperbolic group whose set of all maximal subgroups is the given collection. As a consequence we construct a finitely generated divisible group. First such example was constructed by V. Guba in \cite{Gu86}. In section 5 we show that given any finitely generated group $Q$ and a non elementary hyperbolic group $H$, there exists a short exact sequence $1\rightarrow N\rightarrow G\rightarrow Q\rightarrow 1$, where $G$ is a lacunary hyperbolic group and $N$ is a non elementary quotient of $H$. Our method allows to recover \cite[Theorem 3]{AS14}. In section 6, we extend the class of groups $\mathcal{R}ip_{\mathcal{T}}(Q)$ considered in \cite{CDK19} and hence give more new examples of property $(T)$ von Neumann algebras which have maximal von Neumann subalgebras without property $(T)$.

[36]  arXiv:2002.08543 [pdf, ps, other]
Title: Derivation of the Exact Moments of the Distribution of Pearsons Correlation over Permutations of Data
Comments: 8 Pages
Subjects: Statistics Theory (math.ST)

Pearson's correlation is one of the most widely used measures of association today, the importance of which to modern science cannot be understated. Two of the most common methods for computing the p-value for a hypothesis test of this correlation method are a t-statistic and permutation sampling. When a dataset comes from a bivariate normal distribution under specific data transformations a t-statistic is exact. However, for datasets which do not follow this stipulation, both approaches are merely estimations of the distribution of over permutations of data. In this paper we explicitly show the dependency of the permutation distribution of Pearson's correlation on the central moments of the data and derive an inductive formula which allows the computation of these exact moments. This has direct implications for computing the p-value for general datasets which could lead to more computationally accurate methods.

[37]  arXiv:2002.08551 [pdf, ps, other]
Title: Periods and $(χ,b)$-factors of Cuspidal Automorphic Forms of Metaplectic Groups
Authors: Chenyan Wu
Comments: 33 pages. Preliminary draft
Subjects: Number Theory (math.NT)

We give constraints on existence of $(\chi,b)$-factors in the global $A$-parameter of a genuine cuspidal automorphic representation $\sigma$ of the metaplectic group in terms of the invariant, lowest occurrence index, of theta lifts to odd orthogonal groups. We also give a refined result that relates the invariant, first occurrence index, to non-vanishing of period integral of residue of Eisenstein series associated to the cuspidal datum $\chi\otimes\sigma$. This complements our previous results for symplectic groups.

[38]  arXiv:2002.08556 [pdf, ps, other]
Title: Diffusing-Horizon Model Predictive Control
Subjects: Optimization and Control (math.OC)

We present a new time-coarsening strategy for model predictive control (MPC) that we call diffusing-horizon MPC. This strategy seeks to overcome the computational challenges associated with optimal control problems that span multiple timescales. The coarsening approach uses a time discretization grid that becomes exponentially sparser as one moves forward in time. This design is motivated by a recently-established property of optimal control problems that is known as exponential decay of sensitivity. This property states that the impact of a parametric perturbation at a future time decays exponentially as one moves backward in time. We establish conditions under which this property holds for a constrained MPC formulation with linear dynamics and costs. This result extends existing results for linear quadratic formulations (which rely on convexity assumptions). We use a heating, ventilation, and air conditioning plant case study with real data to demonstrate that the proposed approach delivers high-quality solutions compared to uniform time-coarsening strategies. Specifically, we show that computational times can be decreased by a factor of 100 while increasing the optimal closed-loop cost only by 3%.

[39]  arXiv:2002.08561 [pdf, ps, other]
Title: Column Partition based Distributed Algorithms for Coupled Convex Sparse Optimization: Dual and Exact Regularization Approaches
Subjects: Optimization and Control (math.OC)

This paper develops column partition based distributed schemes for a class of large-scale convex sparse optimization problems, e.g., basis pursuit (BP), LASSO, basis pursuit denosing (BPDN), and their extensions, e.g., fused LASSO. We are particularly interested in the cases where the number of (scalar) decision variables is much larger than the number of (scalar) measurements, and each agent has limited memory or computing capacity such that it only knows a small number of columns of a measurement matrix. These problems in consideration are densely coupled and cannot be formulated as separable convex programs using column partition. To overcome this difficulty, we consider their dual problems which are separable or locally coupled. Once a dual solution is attained, it is shown that a primal solution can be found from the dual of corresponding regularized BP-like problems under suitable exact regularization conditions. A wide range of existing distributed schemes can be exploited to solve the obtained dual problems. This yields two-stage column partition based distributed schemes for LASSO-like and BPDN-like problems; the overall convergence of these schemes is established using sensitivity analysis techniques. Numerical results illustrate the effectiveness of the proposed schemes.

[40]  arXiv:2002.08571 [pdf, ps, other]
Title: Factorization Homology and 4D TQFT
Comments: 30 pages
Subjects: Quantum Algebra (math.QA); Category Theory (math.CT)

In [BK], it is shown that the Turaev-Viro invariants defined for a spherical fusion category $\mathcal{A}$ extends to invariants of 3-manifolds with corners. In [Kir], an equivalent formulation for the 2-1 part of the theory (2-manifolds with boundary) is described using the space of "stringnets with boundary conditions" as the vector spaces associated to 2-manifolds with boundary. Here we construct a similar theory for the 3-2 part of the 4-3-2 theory in [CY1993].

[41]  arXiv:2002.08572 [pdf, ps, other]
Title: Contact (+1)-surgeries on rational homology 3-spheres
Comments: 22 pages, 9 figures
Subjects: Geometric Topology (math.GT); Symplectic Geometry (math.SG)

In this paper, sufficient conditions for contact $(+1)$-surgeries along Legendrian knots in contact rational homology 3-spheres to have vanishing contact invariants or to be overtwisted are given. They can be applied to study the contact $(\pm1)$-surgeries along Legendrian links in the standard contact 3-sphere. We also obtain a sufficient condition for contact $(+1)$-surgeries along Legendrian two-component links in the standard contact 3-sphere to be overtwisted via their front projections.

[42]  arXiv:2002.08573 [pdf, ps, other]
Title: Convergence analysis of a variational quasi-reversibility approach for an inverse hyperbolic heat conduction problem
Comments: 26 pages
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

We study a time-reversed hyperbolic heat conduction problem based upon the Maxwell--Cattaneo model of non-Fourier heat law. This heat and mass diffusion problem is a hyperbolic type equation for thermodynamics systems with thermal memory or with finite time-delayed heat flux, where the Fourier or Fick law is proven to be unsuccessful with experimental data. In this work, we show that our recent variational quasi-reversibility method for the classical time-reversed heat conduction problem, which obeys the Fourier or Fick law, can be adapted to cope with this hyperbolic scenario. We establish a generic regularization scheme in the sense that we perturb both spatial operators involved in the PDE. Driven by a Carleman weight function, we exploit the natural energy method to prove the well-posedness of this regularized scheme. Moreover, we prove the H\"older rate of convergence in the mixed $L^2$--$H^1$ spaces. Under some certain choice of the perturbations and stabilizations, we thereupon obtain the Lipschitz rate in $L^2$. We also show that under a weaker conditional estimate, it is sufficient to perturb only the highest order differential operator to gain the H\"older convergence.

[43]  arXiv:2002.08576 [pdf, ps, other]
Title: A characterization of the family of secant lines to a hyperbolic quadric in PG(3,q), q odd
Comments: 13 pages
Subjects: Combinatorics (math.CO)

We give a combinatorial characterization of the family of lines of P G(3, q) which meet a hyperbolic quadric in two points (the so called secant lines) using their intersection properties with the points and planes of PG(3,q).

[44]  arXiv:2002.08579 [pdf, other]
Title: Linear-time Erasure List-decoding of Expander Codes
Subjects: Information Theory (cs.IT)

We give a linear-time erasure list-decoding algorithm for expander codes. More precisely, let $r > 0$ be any integer. Given an inner code $C_0$ of length $d$, and a $d$-regular bipartite expander graph $G$ with $n$ vertices on each side, we give an algorithm to list-decode the expander code $C = C(G, C_0)$ of length $nd$ from approximately $\delta \delta_r nd$ erasures in time $n \cdot \mathrm{poly}(d2^r / \delta)$, where $\delta$ and $\delta_r$ are the relative distance and the $r$'th generalized relative distance of $C_0$, respectively. To the best of our knowledge, this is the first linear-time algorithm that can list-decode expander codes from erasures beyond their (designed) distance of approximately $\delta^2 nd$.
To obtain our results, we show that an approach similar to that of (Hemenway and Wootters, Information and Computation, 2018) can be used to obtain such an erasure-list-decoding algorithm with an exponentially worse dependence of the running time on $r$ and $\delta$; then we show how to improve the dependence of the running time on these parameters.

[45]  arXiv:2002.08586 [pdf, ps, other]
Title: Distributed Computation of Graph Matching in Multi-Agent Networks
Comments: 10 pages, 2 figures, an extended version of a paper submitted to CDC20
Subjects: Optimization and Control (math.OC)

This work considers the distributed computation of the one-to-one vertex correspondences between two undirected and connected graphs, which is called \textit{graph matching}, over multi-agent networks. Given two \textit{isomorphic} and \textit{asymmetric} graphs, there is a unique permutation matrix that maps the vertices in one graph to the vertices in the other. Based on a convex relaxation of graph matching in Aflalo et al. (2015), we propose a distributed computation of graph matching as a distributed convex optimization problem subject to equality constraints and a global set constraint, using a network of multiple agents whose interaction graph is connected. Each agent in the network only knows one column of each of the adjacency matrices of the two graphs, and all agents collaboratively learn the graph matching by exchanging information with their neighbors. The proposed algorithm employs a projected primal-dual gradient method to handle equality constraints and a set constraint. Under the proposed algorithm, the agents' estimates of the permutation matrix converge to the optimal permutation globally and exponentially fast. Finally, simulation results are given to illustrate the effectiveness of the method.

[46]  arXiv:2002.08611 [pdf, ps, other]
Title: Programmable Metasurface Based Multicast Systems: Design and Analysis
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

This paper considers a multi-antenna multicast system with programmable metasurface (PMS) based transmitter. Taking into account of the finite-resolution phase shifts of PMSs, a novel beam training approach is proposed, which achieves comparable performance as the exhaustive beam searching method but with much lower time overhead. Then, a closed-form expression for the achievable multicast rate is presented, which is valid for arbitrary system configurations. In addition, for certain asymptotic scenario, simple approximated expressions for the multicase rate are derived. Closed-form solutions are obtained for the optimal power allocation scheme, and it is shown that equal power allocation is optimal when the pilot power or the number of reflecting elements is sufficiently large. However, it is desirable to allocate more power to weaker users when there are a large number of RF chains. The analytical findings indicate that, with large pilot power, the multicast rate is determined by the weakest user. Also, increasing the number of radio frequency (RF) chains or reflecting elements can significantly improve the multicast rate, and as the phase shift number becomes larger, the multicast rate improves first and gradually converges to a limit. Moreover, increasing the number of users would significantly degrade the multicast rate, but this rate loss can be compensated by implementing a large number of reflecting elements.

[47]  arXiv:2002.08612 [pdf, ps, other]
Title: Collapsed Ricci limit spaces as non-collapsed $RCD$ spaces
Authors: Shouhei Honda
Comments: 9 pages. Submitted to a special issue of SIGMA on scalar and Ricci curvature in honor of Misha Gromov's 75th birthday
Subjects: Differential Geometry (math.DG); Metric Geometry (math.MG)

In this short note we provide several conjectures on the regularity of measured Gromov-Hausdorff limit spaces of Riemannian manifolds with Ricci curvature bounded below, from the point of view of the synthetic treatment of lower bounds on Ricci curvature for metric measure spaces.

[48]  arXiv:2002.08615 [pdf, other]
Title: Integral representation for Jacobi polynomials and application to heat kernel on quantized sphere
Comments: 8 pages
Subjects: Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Spectral Theory (math.SP)

We derive a novel integral representations of Jacobi polynomials in terms of the Gauss hypergeometric function. Such representation is then used to give the explicit integral representation for the Heat kernel on the quantized Riemann sphere.

[49]  arXiv:2002.08617 [pdf, ps, other]
Title: A minimax approach for inverse variational inequalities
Subjects: Numerical Analysis (math.NA)

In this work, we characterize the existence of solution for a certain variational inequality by means of a classical minimax theorem. In addition, we propose a numerical algorithm for the solution of an inverse problem associated with a variational inequality. To this end we state a collage-type result in this variational framework.

[50]  arXiv:2002.08620 [pdf, other]
Title: A generalization of modular moonshine to composite order
Authors: Satoru Urano
Comments: 14 pages
Subjects: Representation Theory (math.RT); Group Theory (math.GR)

We introduce a generalization of Brauer character to allow arbitrary finite length modules over discrete valuation rings. We show that the generalized super Brauer character of Tate cohomology is a linear combination of trace functions. Using this result, we find a counterexample to a conjecture of Borcherds about vanishing of Tate cohomology for Fricke elements of the Monster.

[51]  arXiv:2002.08625 [pdf, other]
Title: Semiglobal optimal feedback stabilization of autonomous systems via deep neural network approximation
Comments: 55 pages, 13 figures
Subjects: Optimization and Control (math.OC)

A learning approach for optimal feedback gains for nonlinear continuous time control systems is proposed and analysed. The goal is to establish a rigorous framework for computing approximating optimal feedback gains using neural networks. The approach rests on two main ingredients. First, an optimal control formulation involving an ensemble of trajectories with 'control' variables given by the feedback gain functions. Second, an approximation to the feedback functions via realizations of neural networks. Based on universal approximation properties we prove the existence and convergence of optimal stabilizing neural network feedback controllers.

[52]  arXiv:2002.08628 [pdf, ps, other]
Title: Skew-gentle algebras and orbifolds: Oberwolfach talk, January 2020
Authors: Sibylle Schroll
Subjects: Representation Theory (math.RT)

This is an extended abstract of my talk at the Oberwolfach-Workshop "Representation Theory of Finite-Dimensional Algebras" (19-24 January 2020). It introduces a geometric orbifold model for the bounded derived category of a skew-gentle algebra. This is joint work with Daniel Labardini-Fragoso and Yadira Valdivieso-D\'iaz.

[53]  arXiv:2002.08632 [pdf, ps, other]
Title: Convolutional Approximate Message-Passing
Authors: Keigo Takeuchi
Comments: The paper was accepted for publication on IEEE Signal Process. Lett
Subjects: Information Theory (cs.IT)

This letter proposes a novel message-passing algorithm for signal recovery in compressed sensing. The proposed algorithm solves the disadvantages of approximate message-passing (AMP) and orthogonal/vector AMP, and realizes their advantages. AMP converges only in a limited class of sensing matrices while it has low complexity. Orthogonal/vector AMP requires a high-complexity matrix inversion while it is applicable for a wide class of sensing matrices. The key feature of the proposed algorithm is the so-called Onsager correction via a convolution of messages in all preceding iterations while the conventional message-passing algorithms have correction terms that depend only on messages in the latest iteration. Thus, the proposed algorithm is called convolutional AMP (CAMP). Ill-conditioned sensing matrices are simulated as an example in which the convergence of AMP is not guaranteed. Numerical simulations show that CAMP can improve the convergence property of AMP and achieve high performance comparable to orthogonal/vector AMP in spite of low complexity comparable to AMP.

[54]  arXiv:2002.08635 [pdf, ps, other]
Title: Full Stability for Variational Nash Equilibriums of Parametric Optimal Control Problems of PDEs
Subjects: Optimization and Control (math.OC)

This paper investigates full stability properties for \emph{variational Nash equilibriums} of a system of parametric nonconvex optimal control problems governed by semilinear elliptic partial differential equations. We first obtain some new results on the existence of variational Nash equilibriums for the system of original/parametric nonconvex optimal control problems. Then we establish explicit characterizations of the Lipschitzian and H\"olderian full stability of variational Nash equilibriums under perturbations. These results deduce the equivalence between variational Nash equilibriums and local Nash equilibriums in the classical sense.

[55]  arXiv:2002.08638 [pdf, ps, other]
Title: On Lambda Function and a Quantification of Torhorst Theorem
Subjects: General Topology (math.GN)

To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $\lambda_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ --- the lambda function of $K$ --- such that a planar continuum $K$ is locally connected if and only if $\Lambda_K(x)\equiv0$. We establish basic methods of determining the lambda function $\lambda_K$ for specific compacta $K\subset\hat{\bbC}$, including a gluing lemma for lambda functions and some inequalities. One of these inequalities comes from an interplay between the topological difficulty of a planar compactum $K$ and that of a sub-compactum $L\subset K$, lying on the boundary of a component of $\hat{\mathbb{C}}\setminus K$. It generalizes and quantifies the result of Torhorst Theorem, a fundamental result from plane topology. We also find three conditions under which this inequality is actually an equality. Under one of these conditions, this equality provides a quantitative version for Whyburn's Theorem, which is a partial converse to Torhorst Theorem.

[56]  arXiv:2002.08644 [pdf, ps, other]
Title: To Generalize Carathéodory's Continuity Theorem
Comments: 39 pages, 3 figures
Subjects: Complex Variables (math.CV)

Let $\varphi: D\rightarrow \Omega$ be a homeomorphism from a circle domain $D$ onto a domain $\Omega\subset\hat{\mathbb{C}}$. We obtain necessary and sufficient conditions (1) for $\varphi$ to have a continuous extension to the closure $\overline{D}$ and (2) for such an extension to be injective. Further assume that $\varphi$ is conformal and that $\partial\Omega$ has at most countably many non-degenerate components $\{P_n\}$ whose diameters have a finite sum $\displaystyle\sum_n{\rm diam}(P_n)<\infty$. When the point components of $\partial D$ or those of $\partial \Omega$ form a set of $\sigma$-finite linear measure, we can show that $\varphi$ continuously extends to $\overline{D}$ if and only if all the components of $\partial\Omega$ are locally connected. This generalizes Carath\'eodory's Continuity Theorem, that concerns the case when $D$ is the open unit disk $\left\{z\in\hat{\mathbb{C}}: |z|<1\right\}$, and allows us to derive a new generalization of the Osgood-Taylor-Caratheodry Theorem.
Here a Peano compactum is a compact metrisable space with locally connected components such that for any $C>0$ at most finitely many of its components are of diameter greater than $C$.

[57]  arXiv:2002.08649 [pdf, ps, other]
Title: A mean-field model of Integrate-and-Fire neurons: non-linear stability of the stationary solutions
Authors: Quentin Cormier
Subjects: Probability (math.PR); Analysis of PDEs (math.AP)

We consider a stochastic network of Integrate-and-Fire spiking neurons, in its mean-field asymptotic. Given an invariant probability measure of the McKean-Vlasov equation, we give a sufficient condition to ensure the local stability of this invariant measure. Our criteria involves the location of the zeros of an explicit holomorphic function associated to the considered invariant probability measure. We prove that when all the complex zeros have negative real part, local stability holds.

[58]  arXiv:2002.08652 [pdf, ps, other]
Title: Donsker-Varadhan Large Deviations for Path-Distribution Dependent SPDEs
Comments: 32 pages
Subjects: Probability (math.PR)

As an important tool characterizing the long time behavior of Markov processes, the Donsker-Varadhan LDP (large deviation principle) does not directly apply to distribution dependent SDEs/SPDEs since the solutions are non-Markovian. We establish this type LDP for several different models of distribution dependent SDEs/SPDEs which may also with memories, by comparing the original equations with the corresponding distribution independent ones. As preparations, the existence, uniqueness and exponential convergence are also investigated for path-distribution dependent SPDEs which should be interesting by themselves.

[59]  arXiv:2002.08656 [pdf, ps, other]
Title: Intrinsic characterization of Sobolev spaces with boundary conditions
Comments: 18 pages
Subjects: Functional Analysis (math.FA)

We investigate fractional Sobolev spaces of order $s \in (0,1)$ with mixed boundary conditions. We provide an extension operator for these spaces that requires the usual measure density condition only on the Neumann boundary part, and our condition is sharp at the interface. We also investigate the interpolation behavior of the considered spaces and provide a new Hardy's inequality in the case $s = 1$.

[60]  arXiv:2002.08658 [pdf, ps, other]
Title: Ancestral lines under recombination
Comments: to appear in: Probabilistic Structures in Evolution, E. Baake and A. Wakolbinger (eds.), EMS Publishing House, Zurich
Subjects: Probability (math.PR); Dynamical Systems (math.DS); Populations and Evolution (q-bio.PE)

Solving the recombination equation has been a long-standing challenge of \emph{deterministic} population genetics. We review recent progress obtained by introducing ancestral processes, as traditionally used in the context of \emph{stochastic} models of population genetics, into the deterministic setting. With the help of an ancestral partitioning process, which is obtained by letting population size tend to infinity (without rescaling parameters or time) in an ancestral recombination graph, we obtain the solution to the recombination equation in a transparent form.

[61]  arXiv:2002.08662 [pdf, ps, other]
Title: Realization of manifolds as leaves using graph colorings
Comments: 35 pages
Subjects: Geometric Topology (math.GT); Dynamical Systems (math.DS)

It is proved that any (repetitive) Riemannian manifold of bounded geometry can be realized as a leaf of some (minimal) Riemannian matchbox manifold without holonomy. Our methods can be adapted to achieve Cantor transversals or a prescribed holonomy covering, but then the manifold may not be realized as a dense leaf.

[62]  arXiv:2002.08667 [pdf, ps, other]
Title: The BGK equation as the limit of an $N$ particle system
Subjects: Mathematical Physics (math-ph)

The spatially homogeneous BGK equation is obtained as the limit if a model of a many particle system, similar to Mark Kac's charicature of the spatially homogeneous Boltzmann equation.

[63]  arXiv:2002.08668 [pdf, ps, other]
Title: Sharp boundary $\varepsilon$-regularity of optimal transport maps
Comments: 51 pages, 6 figures
Subjects: Analysis of PDEs (math.AP)

In this paper we develop a boundary $\varepsilon$-regularity theory for optimal transport maps between bounded open sets with $C^{1,\alpha}$-boundary. Our main result asserts sharp $C^{1,\alpha}$-regularity of transport maps at the boundary in form of a linear estimate under certain assumptions: The main quantitative assumptions are that the local nondimensionalized transport cost is small and that the boundaries are locally almost flat in $C^{1,\alpha}$. Our method is completely variational and builds on the recently developed interior regularity theory.

[64]  arXiv:2002.08669 [pdf, other]
Title: Justifying Kubo's formula for gapped systems at zero temperature: a brief review and some new results
Comments: Contribution to the proceedings of QMath14 in Aarhus 2019
Subjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)

We first review the problem of a rigorous justification of Kubo's formula for transport coefficients in gapped extended Hamiltonian quantum systems at zero temperature. In particular, the theoretical understanding of the quantum Hall effect rests on the validity of Kubo's formula for such systems, a connection that we review briefly as well. We then highlight an approach to linear response theory based on non-equilibrium almost-stationary states (NEASS) and on a corresponding adiabatic theorem for such systems that was recently proposed and worked out by one of us in [51] for interacting fermionic systems on finite lattices. In the second part of our paper we show how to lift the results of [51] to infinite systems by taking a thermodynamic limit.

[65]  arXiv:2002.08672 [pdf, other]
Title: GivEn -- Shape Optimization for Gas Turbines in Volatile Energy Networks
Subjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

This paper describes the project GivEn that develops a novel multicriteria optimization process for gas turbine blades and vanes using modern "adjoint" shape optimization algorithms. Given the many start and shut-down processes of gas power plants in volatile energy grids, besides optimizing gas turbine geometries for efficiency, the durability understood as minimization of the probability of failure is a design objective of increasing importance. We also describe the underlying coupling structure of the multiphysical simulations and use modern, gradient based multicriteria optimization procedures to enhance the exploration of Pareto-optimal solutions.

[66]  arXiv:2002.08674 [pdf, ps, other]
Title: Eigenvalue Bifurcation in Doubly Nonlinear Problems with an Application to Surface Plasmon Polaritons
Subjects: Analysis of PDEs (math.AP)

We consider a class of generally non-self-adjoint eigenvalue problems which are nonlinear in the solution as well as in the eigenvalue parameter ("doubly" nonlinear). We prove a bifurcation result from simple isolated eigenvalues of the linear problem using a Lyapunov-Schmidt reduction and provide an expansion of both the nonlinear eigenvalue and the solution. We further prove that if the linear eigenvalue is real and the nonlinear problem $\mathcal P\mathcal T$-symmetric, then the bifurcating nonlinear eigenvalue remains real. These general results are then applied in the context of surface plasmon polaritons (SPPs), i.e. localized solutions for the nonlinear Maxwell's equations in the presence of one or more interfaces between dielectric and metal layers. We obtain the existence of transverse electric SPPs in certain $\mathcal P\mathcal T$-symmetric configurations.

[67]  arXiv:2002.08677 [pdf, other]
Title: Lagrangian cobordisms, Lefschetz fibrations and quantum invariants
Authors: Berit Singer
Subjects: Symplectic Geometry (math.SG)

We study Lagrangian cobordisms with the tools provided by Lagrangian quantum homology. In particular, we develop the theory for the setting of Lagrangian cobordisms or Lagrangians with cylindrical ends in a Lefschetz fibration, and put the different versions of the quantum homology groups into relation by a long exact sequence. We prove various practical relations of maps in this long exact sequence and we extract invariants that generalize the notion of discriminants to Lagrangian cobordisms in Lefschetz fibrations. We prove results on the relation of the discriminants of the ends of a cobordism and the cobordism itself. We also give examples arising from Lagrangian spheres and relate the discriminant to open Gromov Witten invariants. We show that for some configurations of Lagrangian spheres the discriminant always vanishes. We study a set of examples that arise from Lefschetz pencils of complex quadric hypersurfaces of the complex projective space. These quadrics are symplectic manifolds endowed with real structures and their real part are the Lagrangians of interest. Using the results established in this thesis, we compute the discriminants of all these Lagrangians by reducing the calculation to the previously established case of a real Lagrangian sphere in the quadric.

[68]  arXiv:2002.08680 [pdf, ps, other]
Title: Vertex Splitting, Coincident Realisations and Global Rigidity of Braced Triangulations
Authors: Bill Jackson
Subjects: Combinatorics (math.CO)

We give a short proof of a result of Jordan and Tanigawa that a 4-connected graph which has a spanning planar triangulation as a proper subgraph is generically globally rigid in R^3. Our proof is based on a new sufficient condition for the so called vertex splitting operation to preserve generic global rigidity in R^d.

[69]  arXiv:2002.08684 [pdf, other]
Title: Input Convex Neural Networks for Optimal Voltage Regulation
Subjects: Optimization and Control (math.OC); Signal Processing (eess.SP)

The increasing penetration of renewables in distribution networks calls for faster and more advanced voltage regulation strategies. A promising approach is to formulate the problem as an optimization problem, where the optimal reactive power injection from inverters are calculated to maintain the voltages while satisfying power network constraints. However, existing optimization algorithms require the exact topology and line parameters of underlying distribution system, which are not known for most cases and are difficult to infer. In this paper, we propose to use specifically designed neural network to tackle the learning and optimization problem together. In the training stage, the proposed input convex neural network learns the mapping between the power injections and the voltages. In the voltage regulation stage, such trained network can find the optimal reactive power injections by design. We also provide a practical distributed algorithm by using the trained neural network. Theoretical bounds on the representation performance and learning efficiency of proposed model are also discussed. Numerical simulations on multiple test systems are conducted to illustrate the operation of the algorithm.

[70]  arXiv:2002.08686 [pdf, ps, other]
Title: Lifting theorem for the virtual pure braid groups
Comments: 32 pages
Subjects: Group Theory (math.GR); Algebraic Topology (math.AT)

In this article we prove theorem on Lifting for the set of virtual pure braid groups. This theorem says that if we know presentation of virtual pure braid group $VP_4$, then we can find presentation of $VP_n$ for arbitrary $n > 4$. Using this theorem we find the set of generators and defining relations for simplicial group $T_*$ which was defined in the previuos article of the authors. We find a decomposition of the Artin pure braid group $P_n$ in semi-direct product of free groups in the cabled generators.

[71]  arXiv:2002.08691 [pdf, ps, other]
Title: Deformed Calogero--Moser operators and ideals of rational Cherednik algebras
Comments: 25 pages
Subjects: Mathematical Physics (math-ph); Rings and Algebras (math.RA); Exactly Solvable and Integrable Systems (nlin.SI)

We consider a class of hyperplane arrangements $\mathcal{A}$ in $\mathbb{C}^n$ which generalise the locus configurations of Chalykh, Feigin and Veselov. To each generalised locus configuration we associate a second order partial differential operator of Calogero--Moser type, and prove that this operator is completely integrable (in the sense that its centraliser in $\mathcal{D}(\mathbb{C}^n\setminus\mathcal{A})$ contains a commutative subalgebra of dimension $n$). The proof is based on the study of certain ideals of (the spherical subalgebra of) the rational Cherednik algebra; these ideals have some rather special properties which may be of independent interest. The class of the deformed Calogero--Moser systems we consider includes those introduced by Sergeev and Veselov in the context of Lie superalgebras. Also, it includes systems constructed by M. Feigin using representation theory of Cherednik algebras at singular values of parameters. Our approach is entirely different, and our results appear to be stronger and more general.

[72]  arXiv:2002.08692 [pdf, other]
Title: A note on the equivariant cobordism of generalized Dold manifolds
Comments: 10 pages
Subjects: Algebraic Topology (math.AT)

Let $(X,J) $ be an almost complex manifold with a (smooth) involution $\sigma:X\to X$ such that $Fix(\sigma)\neq \emptyset$. Assume that $\sigma$ is a complex conjugation, i.e, the differential of $\sigma$ anti-commutes with $J$. The space $P(m,X):=\mathbb{S}^m\times X/\!\sim$ where $(v,x)\sim (-v,\sigma(x))$ is known as a generalized Dold manifold. Suppose that a group $G\cong \mathbb Z_2^s$ acts smoothly on $X$ such that $g\circ \sigma =\sigma\circ g$ for all $g\in G$. Using the action of the diagonal subgroup $D=O(1)^{m+1}\subset O(m+1)$ on the sphere $\mathbb S^{m}$ for which there are only finitely many pairs of antipodal points that are stablized by $D$, we obtain an action of $\mathcal G=D\times G$ on $\mathbb S^m\times X$, which descends to a (smooth) action of $\mathcal G$ on $P(m,X)$. When the stationary point set $X^G$ for the $G$ action on $X$ is finite, the same also holds for the $\mathcal G$ action on $P(m,X)$. The main result of this note is that the equivariant cobordism class $[P(m,X),\mathcal G]$ vanishes if and only if $[X,G]$ vanishes. We illustrate this result in the case when $X$ is the complex flag manifold, $\sigma$ is the natural complex conjugation and $G\cong (\mathbb Z_2)^n$ is contained in the diagonal subgroup of $U(n)$.

[73]  arXiv:2002.08699 [pdf, ps, other]
Title: Stability of the hull(s) of an $n$-sphere in $\mathbb{C}^n$
Subjects: Complex Variables (math.CV)

We study the (global) Bishop problem for small perturbations of $\mathbf{S}^n$ --- the unit sphere of $\mathbb{C}\times\mathbb{R}^{n-1}$ --- in $\mathbb{C}^n$. We show that if $S\subset\mathbb{C}^n$ is a sufficiently-small perturbation of $\mathbf{S}^n$ (in the $\mathcal{C}^3$-norm), then $S$ bounds an $(n+1)$-dimensional ball $M\subset\mathbb{C}^n$ that is foliated by analytic disks attached to $S$. Furthermore, if $S$ is either smooth or real analytic, then so is $M$ (upto its boundary). Finally, if $S$ is real analytic (and satisfies a mild condition), then $M$ is both the envelope of holomorphy and the polynomially convex hull of $S$. This generalizes the previously known case of $n=2$ (CR singularities are isolated) to higher dimensions (CR singularities are nonisolated).

[74]  arXiv:2002.08702 [pdf, ps, other]
Title: The global curvature estimate for the n-2 Hessian equation
Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)

This paper establishes the global curvature estimate for the $n-2$ curvature equation with the general right hand side which partially solves this longstanding problem.

[75]  arXiv:2002.08703 [pdf, ps, other]
Title: Positivity properties of some special matrices
Comments: The paper is currently under review on LAA (Linear Algebra and Its Applications)
Subjects: Functional Analysis (math.FA); Combinatorics (math.CO)

It is shown that for positive real numbers $ 0<\lambda_{1}<\dots<\lambda_{n}$, $\left[\frac{1}{\beta({\lambda_i}, {\lambda_j})}\right]$, where $ \beta(\cdot,\cdot)$ denotes the beta function, is infinitely divisible and totally positive. For $ \left[\frac{1}{\beta({i},{j})}\right]$, the Cholesky decomposition and successive elementary bidiagonal decomposition are computed. Let $\mathfrak w(n)$ be the $n$th Bell number. It is proved that $\left[\mathfrak w(i+j)\right]$ is a totally positive matrix but is infinitely divisible only upto order $4$. It is also shown that the symmetrized Stirling matrices are totally positive.

[76]  arXiv:2002.08706 [pdf, ps, other]
Title: Lojasiewicz exponent of a surface: an intrinsic view
Subjects: Algebraic Geometry (math.AG)

In this paper we observe that the {\L}ojasiewicz exponent $\mathcal{L}_0(X)$ of an ADE-type singularity $X$ can be computed by means of invariants of certain ideals in the local ring ${\mathcal O}_{X,0}$. After extending the notion of {\L}ojasiewicz exponent to rational singularities of higher multiplicities we make a similar observation for RTP-type singularities.

[77]  arXiv:2002.08710 [pdf, other]
Title: Deep Energy Autoencoder for Noncoherent Multicarrier MU-SIMO Systems
Comments: Accepted, IEEE TWC
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

We propose a novel deep energy autoencoder (EA) for noncoherent multicarrier multiuser single-input multipleoutput (MU-SIMO) systems under fading channels. In particular, a single-user noncoherent EA-based (NC-EA) system, based on the multicarrier SIMO framework, is first proposed, where both the transmitter and receiver are represented by deep neural networks (DNNs), known as the encoder and decoder of an EA. Unlike existing systems, the decoder of the NC-EA is fed only with the energy combined from all receive antennas, while its encoder outputs a real-valued vector whose elements stand for the subcarrier power levels. Using the NC-EA, we then develop two novel DNN structures for both uplink and downlink NC-EA multiple access (NC-EAMA) schemes, based on the multicarrier MUSIMO framework. Note that NC-EAMA allows multiple users to share the same sub-carriers, thus enables to achieve higher performance gains than noncoherent orthogonal counterparts. By properly training, the proposed NC-EA and NC-EAMA can efficiently recover the transmitted data without any channel state information estimation. Simulation results clearly show the superiority of our schemes in terms of reliability, flexibility and complexity over baseline schemes.

[78]  arXiv:2002.08717 [pdf, ps, other]
Title: The Directional Optimal Transport
Comments: 30 pages, 5 figures
Subjects: Optimization and Control (math.OC); Probability (math.PR); Statistics Theory (math.ST)

We introduce a constrained optimal transport problem where origins $x$ can only be transported to destinations $y\geq x$. Our statistical motivation is to describe the sharp upper bound for the variance of the treatment effect $Y-X$ given marginals when the effect is monotone, or $Y\geq X$. We thus focus on supermodular costs (or submodular rewards) and introduce a coupling $P_{*}$ that is optimal for all such costs and yields the sharp bound. This coupling admits manifold characterizations---geometric, order-theoretic, as optimal transport, through the cdf, and via the transport kernel---that explain its structure and imply useful bounds. When the first marginal is atomless, $P_{*}$ is concentrated on the graphs of two maps which can be described in terms of the marginals, the second map arising due to the binding constraint.

[79]  arXiv:2002.08719 [pdf, ps, other]
Title: Noise effects on the stochastic Euler-Poincaré equations
Authors: Hao Tang
Comments: 40 pages
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)

In this paper, we first establish the existence, uniqueness and the blow-up criterion of the pathwise strong solution to the periodic boundary value problem of the stochastic Euler-Poincar\'{e} equation with nonlinear multiplicative noise. Then we consider the noise effects with respect to the continuity of the solution map and the wave breaking phenomenon. Even though the noise has some already known regularization effects, almost nothing is clear to the problem whether the noise can improve the continuity/stability of the solution map, neither for general SPDEs nor for special examples. As a new setting to analyze initial data dependence, we introduce the concept of the stability of the exiting time (See Definition 1.4 below) and construct an example to show that for the stochastic Euler-Poincar\'{e} equations, the multiplicative noise (It\^{o} sense) cannot improve the stability of the exiting time and improve the continuity of the dependence on initial data simultaneously. Then we consider the noise effect on the wave breaking phenomenon in the particular 1-D case, namely the stochastic Camassa--Holm equation. We show that under certain condition on the initial data, wave breaking happens with positive probability and we provide a lower bound of such probability. We also characterize the breaking rate of breaking solution.

[80]  arXiv:2002.08720 [pdf, other]
Title: Stochastic Decision-Making Model for Aggregation of Residential Units with PV-Systems and Storages
Subjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); Systems and Control (eess.SY)

Many residential energy consumers have installed photovoltaic (PV) panels and energy storage systems. These residential users can aggregate and participate in the energy markets. A stochastic decision making model for an aggregation of these residential units for participation in two-settlement markets is proposed in this paper. Scenarios are generated using Seasonal Autoregressive Integrated Moving Average (SARIMA) model and joint probability distribution function of the forecast errors to model the uncertainties of the real-time prices, PV generations and demands. The proposed scenario generation model of this paper treats forecast errors as random variable, which allows to reflect new information observed in the real-time market into scenario generation process without retraining SARIMA or re-fitting probability distribution functions over the forecast errors. This approach significantly improves the computational time of the proposed model. A simulation study is conducted for an aggregation of 6 residential units, and the results highlights the benefits of aggregation as well as the proposed stochastic decision-making model.

[81]  arXiv:2002.08724 [pdf, other]
Title: Generalized sampling with functional principal components for high-resolution random field estimation
Authors: Milana Gataric
Subjects: Statistics Theory (math.ST); Signal Processing (eess.SP); Numerical Analysis (math.NA); Machine Learning (stat.ML)

In this paper, we take a statistical approach to the problem of recovering a function from low-resolution measurements taken with respect to an arbitrary basis, by regarding the function of interest as a realization of a random field. We introduce an infinite-dimensional framework for high-resolution estimation of a random field from its low-resolution indirect measurements as well as the high-resolution measurements of training observations by merging the existing frameworks of generalized sampling and functional principal component analysis. We study the statistical performance of the resulting estimation procedure and show that high-resolution recovery is indeed possible provided appropriate low-rank and angle conditions hold and provided the training set is sufficiently large relative to the desired resolution. We also consider sparse representations of the principle components, which can reduce the required size of the training set. Furthermore, the effectiveness of the proposed procedure is investigated in various numerical examples.

[82]  arXiv:2002.08726 [pdf, other]
Title: Partitions of flat one-variate functions and a Fourier restriction theorem for related perturbations of the hyperbolic paraboloid
Comments: 39 pages, 1 figure
Subjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)

We continue our research on Fourier restriction for hyperbolic surfaces, by studying local perturbations of the hyperbolic paraboloid $z=xy$ which are of the form $z=xy+h(y),$ where $h(y)$ is a smooth function which is flat at the origin. The case of perturbations of finite type had already been handled before, but the flat case imposes several new obstacles. By means of a decomposition into intervals on which $|h'''|$ is of a fixed size $\lambda,$ we can apply methods devised in preceding papers, but since we loose control on higher order derivatives of $h$ we are forced to rework the bilinear method for wave packets that are only slowly decaying. Another problem lies in the passage from bilinear estimates to linear estimates, for which we need to require some monotonicity of $h'''.$

[83]  arXiv:2002.08730 [pdf, ps, other]
Title: Cutting Corners
Authors: Ville Salo
Comments: 44 pages, 4 figures
Subjects: Dynamical Systems (math.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Group Theory (math.GR)

We define and study a class of subshifts of finite type (SFTs) defined by a family of allowed patterns of the same shape where, for any contents of the shape minus a corner, the number of ways to fill in the corner is the same. The main results are that for such an SFT, a locally legal pattern of convex shape is globally legal, and there is a measure that samples uniformly on all convex sets. Under suitable computability assumptions, this measure can be sampled, and legal configurations counted and enumerated, effectively and efficiently. Our approach to convexity is axiomatic, and only requires an abstract convex geometry that is "midpointed with respect to the shape". We construct such convex geometries on several groups, in particular all strongly polycyclic groups and free groups. We also show some other methods for sampling finite patterns, one based on orderings and one based on contructing new "independent sets" from old. We also show a link to conjectures of Gottshalk and Kaplansky.

[84]  arXiv:2002.08732 [pdf, ps, other]
Title: An inverse random source problem for Maxwell's equations
Authors: Peijun Li, Xu Wang
Subjects: Analysis of PDEs (math.AP)

This paper is concerned with an inverse random source problem for the three-dimensional time-harmonic Maxwell equations. The source is assumed to be a centered complex-valued Gaussian vector field with correlated components, and its covariance operator is a pseudo-differential operator. The well-posedness of the direct source scattering problem is established and the regularity of the electromagnetic field is given. For the inverse source scattering problem, the micro-correlation strength matrix of the covariance operator is shown to be uniquely determined by the high frequency limit of the expectation of the electric field measured in an open bounded domain disjoint with the support of the source. In particular, we show that the diagonal entries of the strength matrix can be uniquely determined by only using the amplitude of the electric field. Moreover, this result is extended to the almost surely sense by deducing an ergodic relation for the electric field over the frequencies.

[85]  arXiv:2002.08733 [pdf, other]
Title: A matrix-free Discontinuous Galerkin method for the time dependent Maxwell equations in unbounded domains
Comments: 9 pages (double column), 7 figures
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

A Discontinuous Galerkin (DG) Finite Element Method (FEM) approach for the 3D time dependent Maxwell equations in unbounded domains is presented. The method (implemented in the FEM library NGsolve) is based on the covariant transformation of a modal orthogonal polynomial basis, originally defined on a reference simplex. The approach leads to an explicit time stepping scheme for which the mass matrix to be inverted is at most $d\!\times\!d$ block-diagonal (in $d\!=\!2,3$ spatial dimensions) while the matrix which discretizes the curl operators on the right-hand side of the system is a small reference matrix, independent from geometric properties of mesh elements. Furthermore, we show that the introduced optimizations are preserved when unbounded domains are also included in the formulation through a complex-stretching based approach.

[86]  arXiv:2002.08737 [pdf, ps, other]
Title: On systems of commuting matrices, Frobenius Lie algebras and Gerstenhaber's Theorem
Comments: 12 pages, Latex
Subjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph); Commutative Algebra (math.AC); Symplectic Geometry (math.SG)

Let M and N be two commuting square matrices of order n with entries in an algebraically closed field K. Then the associative commutative K-algebra, they generate, is of dimension at most n. This result was proved by Murray Gerstenhaber in [Gerstenhaber, M.; On dominance and varieties of commuting matrices. Ann. of Math. (2) 73 (1961), 324-348]. Although the analog of this property for three commuting matrices is still an open problem, its version for a higher number of commuting matrices is not true in general. In the present paper, we give a sufficient condition for this property to be satisfied, for any number of commuting matrices, for any arbitrary field K. Such a result is derived from a discussion on the structure of 2-step solvable Frobenius Lie algebras and a complete characterization of their associated left symmetric algebra (LSA) structure.

[87]  arXiv:2002.08741 [pdf, ps, other]
Title: Scattering diagrams, sheaves, and curves
Comments: Expository paper. 18 pages, 1 figure
Subjects: Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)

We review the recent proof of the N.Takahashi's conjecture on genus $0$ Gromov-Witten invariants of $(\mathbb{P}^2, E)$, where $E$ is a smooth cubic curve in the complex projective plane $\mathbb{P}^2$. The main idea is the use of the algebraic notion of scattering diagram as a bridge between the world of Gromov-Witten invariants of $(\mathbb{P}^2, E)$ and the world of moduli spaces of coherent sheaves on $\mathbb{P}^2$. Using this bridge, the N.Takahashi's conjecture can be translated into a manageable question about moduli spaces of coherent sheaves on $\mathbb{P}^2$.
This survey is based on a three hours lecture series given as part of the Beijing-Zurich moduli workshop in Beijing, 9-12 September 2019.

[88]  arXiv:2002.08750 [pdf, ps, other]
Title: The greatest common valuation of $φ_{n}$ and $ψ_{n}^{2}$ at points on elliptic curves
Comments: submitted, comments very welcome!
Subjects: Number Theory (math.NT)

Given a minimal model of an elliptic curve, $E/K$, over a finite extension, $K$, of ${\mathbb Q}_{p}$ for any rational prime, $p$, and any point $P \in E(K)$ of infinite order, we determine precisely $\min \left( v \left( \phi_{n}(P) \right), v \left( \psi_{n}^{2}(P) \right) \right)$, where $v$ is a normalised valuation on $K$ and $\phi_{n}(P)$ and $\psi_{n}(P)$ are polynomials arising from multiplication by $n$ for this model of the curve.

[89]  arXiv:2002.08751 [pdf, ps, other]
Title: Isoperimetric upper bound for the first eigenvalue of discrete Steklov problems
Authors: Hélène Perrin
Comments: 15 pages, 1 figure
Subjects: Spectral Theory (math.SP); Metric Geometry (math.MG)

We study upper bounds for the first non-zero eigenvalue of the Steklov problem defined on graphs with boundary. For graphs with boundary included in a Cayley graph associated to a group of polynomial growth, we give an upper bound for the first non-zero Steklov eigenvalue depending on the number of vertices of the graph and of its boundary. As a corollary, if the graph with boundary also satisfies a discrete isoperimetric inequality, we show that the first non-zero Steklov eigenvalue tends to zero as the number of vertices of the graph tends to infinity. This was recently shown by Han and Hua for the case of $\mathbb{Z}^n$. We obtain the result using metric properties of Cayley graphs associated to groups of polynomial growth.

[90]  arXiv:2002.08757 [pdf, other]
Title: Asymptotically Optimal Bias Reduction for Parametric Models
Comments: arXiv admin note: substantial text overlap with arXiv:1907.11541
Subjects: Statistics Theory (math.ST); Computation (stat.CO); Methodology (stat.ME)

An important challenge in statistical analysis concerns the control of the finite sample bias of estimators. This problem is magnified in high-dimensional settings where the number of variables $p$ diverges with the sample size $n$, as well as for nonlinear models and/or models with discrete data. For these complex settings, we propose to use a general simulation-based approach and show that the resulting estimator has a bias of order $\mathcal{O}(0)$, hence providing an asymptotically optimal bias reduction. It is based on an initial estimator that can be slightly asymptotically biased, making the approach very generally applicable. This is particularly relevant when classical estimators, such as the maximum likelihood estimator, can only be (numerically) approximated. We show that the iterative bootstrap of Kuk (1995) provides a computationally efficient approach to compute this bias reduced estimator. We illustrate our theoretical results in simulation studies for which we develop new bias reduced estimators for the logistic regression, with and without random effects. These estimators enjoy additional properties such as robustness to data contamination and to the problem of separability.

[91]  arXiv:2002.08761 [pdf, ps, other]
Title: Naive $\mathbb A^1$-homotopies on ruled surfaces
Comments: 16 pages, Comments are welcome. arXiv admin note: text overlap with arXiv:1911.05549
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); K-Theory and Homology (math.KT)

We explicitly describe the $\mathbb A^1$-chain homotopy classes of morphisms from a smooth henselian local scheme into a smooth projective surface, which is birationally ruled over a curve of genus $> 0$. We consequently determine the sheaf of naive $\mathbb A^1$-connected components of such a surface and show that it does not agree with the sheaf of its genuine $\mathbb A^1$-connected components when the surface is not a minimal model.

[92]  arXiv:2002.08767 [pdf, ps, other]
Title: Complex functions and geometric structures associated to the superintegrable Kepler-related family of systems endowed with generalized Runge-Lenz integrals of motion
Comments: 14 pages. arXiv admin note: text overlap with arXiv:1509.07493
Subjects: Mathematical Physics (math-ph)

The existence of quasi-bi-Hamiltonian structures for a two-dimensional superintegrable $(k_1,k_2,k_3)$-dependent Kepler-related problem is studied. We make use of an approach that is related with the existence of some complex functions which satisfy interesting Poisson bracket relations and that was previously applied to the standard Kepler problem as well as to some particular superintegrable systems as the Smorodinsky-Winternitz (SW) system, the Tremblay-Turbiner-Winternitz (TTW) and Post-Winternitz (PW) systems. We prove that these complex functions are important for two reasons: first, they determine the integrals of motion, and second they determine the existence of some geometric structures (in this particular case, quasi-bi-Hamiltonian structures).
All the results depend of three parameters ($k_1, k_2, k_3$) in such a way that in the particular case $k_1\ne 0$, $k_2= k_3= 0$, we recover the results of the original Kepler problem (previously studied in SIGMA 12, 010 (2016)). This paper can be considered as divided in two parts and every part present a different approach (different complex functions and different quasi-bi-Hamiltonian structures).

[93]  arXiv:2002.08768 [pdf, ps, other]
Title: Optimizing Information Freshness in Wireless Networks: A Stochastic Geometry Approach
Comments: arXiv admin note: substantial text overlap with arXiv:1907.09674
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

Optimization of information freshness in wireless networks has usually been performed based on queueing analysis that captures only the temporal traffic dynamics associated with the transmitters and receivers. However, the effect of interference, which is mainly dominated by the interferers' geographic locations, is not well understood. In this paper, we leverage a spatiotemporal model, which allows one to characterize the age of information (AoI) from a joint queueing-geometry perspective, for the design of a decentralized scheduling policy that exploits local observation to make transmission decisions that minimize the AoI. To quantify the performance, we also derive accurate and tractable expressions for the peak AoI. Numerical results reveal that: i) the packet arrival rate directly affects the service process due to queueing interactions, ii) the proposed scheme can adapt to traffic variations and largely reduce the peak AoI, and iii) the proposed scheme scales well as the network grows in size. This is done by adaptively adjusting the radio access probability at each transmitter to the change of the ambient environment.

[94]  arXiv:2002.08771 [pdf, other]
Title: On Sobolev spaces and density theorems on Finsler manifolds
Comments: Published in AUT Journal of Math. Comp. arXiv admin note: text overlap with arXiv:1310.8027
Journal-ref: On Sobolev spaces and density theorems on Finsler manifolds, AUT J. Math. Com. 1 2020, 37-45
Subjects: Differential Geometry (math.DG)

Here, a natural extension of Sobolev spaces is defined for a Finsler structure $F$ and it is shown that the set of all real $C^{\infty}$ functions with compact support on a forward geodesically complete Finsler manifold $(M, F)$, is dense in the extended Sobolev space $H_1^p (M)$. As a consequence, the weak solutions $u$ of the Dirichlet equation $\Delta u=f$ can be approximated by $C^\infty$ functions with compact support on $M$. Moreover, let $W \subset M$ be a regular domain with the $C^r$ boundary $\partial W$, then the set of all real functions in $C^r (W) \cap C^0 (\overline W)$ is dense in $H_k^p (W)$, where $k\leq r$. Finally, several examples are illustrated and sharpness of the inequality $k\leq r$ is shown.

[95]  arXiv:2002.08773 [pdf, ps, other]
Title: Anderson Localization for Long-Range operators with Singular Potentials
Comments: arXiv admin note: text overlap with arXiv:1909.06542
Subjects: Dynamical Systems (math.DS)

In this paper, we use Cartan estimate for meromorphic functions to prove Anderson localization for a class of long-range operators with singular potenials.

[96]  arXiv:2002.08775 [pdf, ps, other]
Title: On some applications of representable and continuous functionals of Banach quasi *-algebras
Comments: Contribution Proceedings of the International Workshop on Operator Theory and its Applications (IWOTA) 2019, Lisbon. arXiv admin note: text overlap with arXiv:1809.00470
Subjects: Functional Analysis (math.FA); Operator Algebras (math.OA)

This survey aims to highlight some of the consequences that representable (and continuous) functionals have in the framework of Banach quasi *-algebras. In particular, we look at the link between the notions of *-semisimplicity and full representability in which representable functionals are involved. Then, we emphasize their essential role in studying *-derivations and representability properties for the tensor product of Hilbert quasi *-algebras, a special class of Banach quasi *-algebras.

[97]  arXiv:2002.08779 [pdf, ps, other]
Title: Derivation of a Formula of Blaschke and Petkantschin using Probabilistic Ideas
Subjects: Probability (math.PR)

We give a new proof for the well-known Blaschke--Petkantschin formula which is based on the polar decomposition of rectangular matrices and may be of interest in random matrix theory.

[98]  arXiv:2002.08785 [pdf, other]
Title: A homological model for $U_q \mathfrak{sl}(2)$ Verma-modules and their braid representations
Authors: Jules Martel
Comments: 42 pages, comments are welcome
Subjects: Geometric Topology (math.GT); Quantum Algebra (math.QA); Representation Theory (math.RT)

We extend Lawrence's representations of the braid groups to relative homology modules, and we show that they are free modules over a Laurent polynomials ring. We define homological operators and we show that they actually provide a representation for an integral version for $U_q \mathfrak{sl}(2)$. We suggest an isomorphism between a given basis of homological modules and the standard basis of tensor products of Verma modules, and we show it to preserve the integral ring of coefficients, the action of $U_q \mathfrak{sl}(2)$, the braid group representations and their grading. This recovers an integral version for Kohno's theorem relating absolute Lawrence representations with quantum braid representation on highest weight vectors. It is an extension of the latter theorem as we get rid of generic conditions on parameters, and as we recover the entire product of Verma-modules as a braid group and a $U_q \mathfrak{sl}(2)$-module.

[99]  arXiv:2002.08786 [pdf, other]
Title: Cournot-Nash equilibrium and optimal transport in a dynamic setting
Subjects: Optimization and Control (math.OC); General Economics (econ.GN)

We consider a large population dynamic game in discrete time. The peculiarity of the game is that players are characterized by time-evolving types, and so reasonably their actions should not anticipate the future values of their types. When interactions between players are of mean-field kind, we relate Nash equilibria for such games to an asymptotic notion of dynamic Cournot-Nash equilibria. Inspired by the works of Blanchet and Carlier for the static situation, we interpret dynamic Cournot-Nash equilibria in the light of causal optimal transport theory. Further specializing to games of potential type, we establish existence, uniqueness and characterization of equilibria. Moreover we develop, for the first time, a numerical scheme for causal optimal transport, which is then leveraged in order to compute dynamic Cournot-Nash equilibria. This is illustrated in a detailed case study of a congestion game.

[100]  arXiv:2002.08788 [pdf, other]
Title: Planar polycrystals with extremal bulk and shear moduli
Authors: Graeme W. Milton
Comments: 35 pages, 1 figure
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

Here we consider the possible bulk and shear moduli of planar polycrystals built from a single crystal in various orientations. Previous work gave a complete characterization for crystals with orthotropic symmetry. Specifically, bounds were derived separately on the effective bulk and shear moduli, thus confining the effective moduli to lie within a rectangle in the (bulk, shear) plane. It was established that every point in this rectangle could be realized by an appropriate hierarchical laminate microgeometry, with the crystal taking different orientations in the layers, and the layers themselves being in different orientations. The bounds are easily extended to crystals with no special symmetry, but the path to constructing microgeometries that achieve every point in the rectangle defined by the bounds is considerably more difficult. We show that two of the four corners of the box are always attained by hierarchical laminates. For the other two corners we present an algorithm for generating hierarchical laminates that attain them, but it is not yet clear whether this algorithm always succeeds, and hence whether all points in the rectangle are always attained. The microstructures we use have at their core hierarchical laminate geometries that have a sort of self-similar microstructure, in the sense that the microstructure on one length scale is a rotation and rescaling of that on a smaller length scale.

[101]  arXiv:2002.08789 [pdf, other]
Title: Consistent model selection procedure for general integer-valued time series
Subjects: Statistics Theory (math.ST)

This paper deals with the problem of model selection for a general class of integer-valued time series.
We propose a penalized criterion based on the Poisson quasi-likelihood of the model.
Under certain regularity conditions, the consistency of the procedure as well as the consistency and the asymptotic normality of the Poisson quasi-likelihood estimator of the selected model are established.
Simulation experiments are conducted for some classical models such as Poisson, binary INGARCH and negative binomial model with nonlinear dynamic. Also, an application to a real dataset is provided.

[102]  arXiv:2002.08790 [pdf, other]
Title: Optimal approximants and orthogonal polynomials in several variables
Comments: 26 pages, 4 figures
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)

We discuss the notion of optimal polynomial approximants in multivariable reproducing kernel Hilbert spaces. In particular, we analyze difficulties that arise in the multivariable case which are not present in one variable, for example, a more complicated relationship between optimal approximants and orthogonal polynomials in weighted spaces. Weakly inner functions, whose optimal approximants are all constant, provide extreme cases where nontrivial orthogonal polynomials cannot be recovered from the optimal approximants. Concrete examples are presented to illustrate the general theory and are used to disprove certain natural conjectures regarding zeros of optimal approximants in several variables.

[103]  arXiv:2002.08792 [pdf, ps, other]
Title: Minimal systems with finitely many ergodic measures
Subjects: Dynamical Systems (math.DS)

In this paper it is proved that if a minimal system has the property that its sequence entropy is uniformly bounded for all sequences, then it has only finitely many ergodic measures and is an almost finite to one extension of its maximal equicontinuous factor. This result is obtained as an application of a general criteria which states that if a minimal system is an almost finite to one extension of its maximal equicontinuous factor and has no infinite independent sets of length $k$ for some $k\ge 2$, then it has only finitely many ergodic measures.

[104]  arXiv:2002.08800 [pdf, ps, other]
Title: The poset of nontrivial finitary partitions of $ω$ and its cardinal characteristics
Comments: 4 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)

A partition $\mathcal P$ of a set is called $finitary$ if $\sup_{P\in\mathcal P}|P|$ is finite, and $nontrivial$ if $\mathcal P$ contains infinitely many cells of cardinality $\ge 2$. We evaluate some cardinal characteristics of the poset $\mathfrak P$ consisting of nontrivial finitary partitions of $\omega$ and endowed with the refinement partial order.

[105]  arXiv:2002.08807 [pdf, ps, other]
Title: Effective Sato-Tate conjecture for abelian varieties and applications
Comments: 28 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

From the generalized Riemann hypothesis for motivic L-functions, we derive an effective version of the Sato-Tate conjecture for an abelian variety A defined over a number field k with connected Sato-Tate group. By effective we mean that we give an upper bound on the error term in the count predicted by the Sato-Tate measure that only depends on certain invariants of A. We discuss three applications of this conditional result. First, for an abelian variety defined over k, we consider a variant of Linnik's problem for abelian varieties that asks for an upper bound on the least norm of a prime whose normalized Frobenius trace lies in a given interval. Second, for an elliptic curve defined over k with complex multiplication, we determine (up to multiplication by a nonzero constant) the asymptotic number of primes whose Frobenius trace attain the integral part of the Hasse-Weil bound. Third, for a pair of abelian varieties defined over k with no common factors up to k-isogeny, we find an upper bound on the least norm of a prime at which the respective Frobenius traces have opposite sign.

[106]  arXiv:2002.08808 [pdf, ps, other]
Title: An Obata-type characterization of doubly-warped product K\''ahler manifolds
Authors: Nicolas Ginoux (IECL), Georges Habib, Mihaela Pilca (UR), Uwe Semmelmann (UNI KOELN)
Subjects: Differential Geometry (math.DG); Spectral Theory (math.SP)

We give a characterization {\sl \`a la Obata} for certain families of K\''ahler manifolds. These results are in the same line as other extensions of the well-known Obata's rigidity theorem from \cite{Obata62}, like for instance the generalizations in \cite{RanjSant97} and \cite{Santhanam07}. Moreover, we give a complete description of the so-called K\''ahler doubly-warped product structures whose underlying metric is Einstein.

[107]  arXiv:2002.08810 [pdf, ps, other]
Title: An Obata-type characterization of Calabi metrics on line bundles
Subjects: Differential Geometry (math.DG); Spectral Theory (math.SP)

We characterize those complete K{\"a}hler manifolds supporting a nonconstant real-valued function with critical points whose Hessian is complex linear, has pointwise two eigenvalues and whose gradient is a Hessian-eigenvector.

[108]  arXiv:2002.08814 [pdf, ps, other]
Title: Divisibility results concerning truncated hypergeometric series
Authors: Chen Wang, Wei Xia
Comments: 11 pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

In this paper, using the well-known Karlsson-Minton formula, we mainly establish two divisibility results concerning truncated hypergeometric series. Let $n>2$ and $q>0$ be integers with $2\mid n$ or $2\nmid q$. We show that $$ \sum_{k=0}^{p-1}\frac{(q-\frac{p}{n})_k^n}{(1)_k^n}\equiv0\pmod{p^3} $$ and $$ p^n\sum_{k=0}^{p-1}\frac{(1)_k^n}{(\frac{p}{n}-q+2)_k^n}\equiv0\pmod{p^3} $$ for any prime $p>\max\{n,(q-1)n+1\}$, where $(x)_k$ denotes the Pochhammer symbol defined by $$ (x)_k=\begin{cases}1,\quad &k=0,\\ x(x+1)\cdots(x+k-1),\quad &k>0.\end{cases} $$ Let $n\geq4$ be an even integer. Then for any prime $p$ with $p\equiv-1\pmod{n}$, the first congruence above implies that $$\sum_{k=0}^{p-1} \frac{(\frac{1}{n})_k^n}{(1)_k^n}\equiv0\pmod{p^3}. $$ This confirms a recent conjecture of Guo.

[109]  arXiv:2002.08816 [pdf, other]
Title: A Hermite WENO scheme with artificial linear weights for hyperbolic conservation laws
Comments: 35 pages, 13 figures. arXiv admin note: text overlap with arXiv:1906.09462
Subjects: Numerical Analysis (math.NA)

In this paper, a fifth-order Hermite weighted essentially non-oscillatory (HWENO) scheme with artificial linear weights is proposed for one and two dimensional hyperbolic conservation laws, where the zeroth-order and the first-order moments are used in the spatial reconstruction. We construct the HWENO methodology using a nonlinear convex combination of a high degree polynomial with several low degree polynomials, and the associated linear weights can be any artificial positive numbers with only requirement that their summation equals one. The one advantage of the HWENO scheme is its simplicity and easy extension to multi-dimension in engineering applications for we can use any artificial linear weights which are independent on geometry of mesh. The another advantage is its higher order numerical accuracy using less candidate stencils for two dimensional problems. In addition, the HWENO scheme still keeps the compactness as only immediate neighbor information is needed in the reconstruction and has high efficiency for directly using linear approximation in the smooth regions. In order to avoid nonphysical oscillations nearby strong shocks or contact discontinuities, we adopt the thought of limiter for discontinuous Galerkin method to control the spurious oscillations. Some benchmark numerical tests are performed to demonstrate the capability of the proposed scheme.

[110]  arXiv:2002.08818 [pdf, other]
Title: High order ADER schemes and GLM curl cleaning for a first order hyperbolic formulation of compressible flow with surface tension
Subjects: Numerical Analysis (math.NA)

In this work, we introduce two novel reformulations of a recent weakly hyperbolic model for two-phase flow with surface tension. In the model, the tracking of phase boundaries is achieved by using a vector interface field, rather than a scalar tracer, so that the surface-force stress tensor can be expressed as an algebraic function of the state variables, without requiring the computation of gradients of the tracer. An interesting and important feature of the model is that this interface field obeys a curl involution constraint, that is, the vector field is required to be curl-free at all times.
The proposed modifications are intended to restore the strong hyperbolicity of the model, and are closely related to divergence-preserving numerical approaches developed in the field of numerical magnetohydrodynamics (MHD). The first strategy is based on the theory of Symmetric Hyperbolic and Thermodynamically Compatible (SHTC) systems forwarded by Godunov in the 60s and 70s and yields a modified system of governing equations which includes some symmetrisation terms, in analogy to the approach adopted later by Powell et al for the ideal MHD equations. The second technique is an extension of the hyperbolic Generalized Lagrangian Multiplier (GLM) divergence cleaning approach, forwarded by Munz et al in applications to the Maxwell and MHD equations.
We solve the resulting nonconservative hyperbolic PDE systems with high order ADER Discontinuous Galerkin (DG) methods with a posteriori Finite Volume subcell limiting and carry out a set of numerical tests concerning flows dominated by surface tension as well as shock-driven flows. We also provide a new exact solution to the equations, show convergence of the schemes for orders of accuracy up to ten in space and time, and investigate the role of hyperbolicity and of curl constraints in the long-term stability of the computations.

[111]  arXiv:2002.08823 [pdf, other]
Title: Algebraic reliability of multi-state $k$-out-of-$n$ systems
Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)

In this paper we review different definitions that multi-state $k$-out-of-$n$ systems have received along the literature and study them in a unified way using the algebra of monomial ideals. We thus obtain formulas and algorithms to compute their reliability and bounds for it.

[112]  arXiv:2002.08824 [pdf, ps, other]
Title: Greedy weights for matroids
Comments: 17 pages
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

We introduce greedy weights of matroids, inspired by those for linear codes. We show that a Wei duality holds for two of these types of greedy weights for matroids. Moreover we show that in the cases where the matroids involved are associated to linear codes, our definitions coincide with those for codes. Thus our Wei duality is a generalization of that for linear codes given by Schaathun. In the last part of the paper we show how some important chains of cycles of the matroids appearing, correspond to chains of component maps of minimal resolutions of the independence complex of the corresponding matroids. We also relate properties of these resolutions to chainedness and greedy weights of the matroids, and in many cases codes, that appear.

[113]  arXiv:2002.08830 [pdf, ps, other]
Title: Spectral density for the Schrödinger operator with magnetic field in the unit complex ball: Solutions of evolutionary equations and applications to special functions
Subjects: Functional Analysis (math.FA)

The Schwartz kernel of the spectral density for the Schr\"{o}dinger operator with magnetic field in the $n-$dimensional complex ball is given. As applications, we compute the heat, resolvent and the wave kernels. Moreover, the resolvent and wave kernels are used to establish two new formulas for the Gauss-hypergeometric function.

[114]  arXiv:2002.08831 [pdf, ps, other]
Title: Efficiently updating a covariance matrix and its LDL decomposition
Subjects: Numerical Analysis (math.NA); Computation (stat.CO)

Equations are presented which efficiently update or downdate the covariance matrix of a large number of $m$-dimensional observations. Updates and downdates to the covariance matrix, as well as mixed updates/downdates, are shown to be rank-$k$ modifications, where $k$ is the number of new observations added plus the number of old observations removed. As a result, the update and downdate equations decrease the required number of multiplications for a modification to $\Theta((k+1)m^2)$ instead of $\Theta((n+k+1)m^2)$ or $\Theta((n-k+1)m^2)$, where $n$ is the number of initial observations. Having the rank-$k$ formulas for the updates also allows a number of other known identities to be applied, providing a way of applying updates and downdates directly to the inverse and decompositions of the covariance matrix. To illustrate, we provide an efficient algorithm for applying the rank-$k$ update to the LDL decomposition of a covariance matrix.

[115]  arXiv:2002.08834 [pdf, ps, other]
Title: Central Limit Theorem for the $σ$-antithetic multilevel Monte Carlo method
Comments: 52 pages
Subjects: Probability (math.PR)

In this paper, we introduce the $\sigma$-antithetic multilevel Monte Carlo (MLMC) estimator for a multi-dimensional diffusion which is an extended version of the original antithetic MLMC one introduced by Giles and Szpruch \cite{a}. Our aim is to study the asymptotic behavior of the weak errors involved in this new algorithm. Among the obtained results, we prove that the error between on the one hand the average of the Milstein scheme without L\'evy area and its $\sigma$-antithetic version build on the finer grid and on the other hand the coarse approximation stably converges in distribution with a rate of order 1. We also prove that the error between the Milstein scheme without L\'evy area and its $\sigma$-antithetic version stably converges in distribution with a rate of order $1/2$. More precisely, we have a functional limit theorem on the asymptotic behavior of the joined distribution of these errors based on a triangular array approach (see e.g. Jacod \cite{c}). Thanks to this result, we establish a central limit theorem of Lindeberg-Feller type for the $\sigma$-antithetic MLMC estimator. The time complexity of the algorithm is carried out.

[116]  arXiv:2002.08836 [pdf, ps, other]
Title: On degenerations of $\mathbb Z/2$-Godeaux surfaces
Subjects: Algebraic Geometry (math.AG)

We compute equations for Coughlan's family of Godeaux surfaces with torsion $\mathbb Z/2$, which we call $\mathbb Z/2$-Godeaux surfaces, and we show that it is (at most) 7 dimensional. We classify non-rational KSBA degenerations $W$ of $\mathbb Z/2$-Godeaux surfaces with one Wahl singularity, showing that $W$ is birational to particular either Enriques surfaces, or $D_{2,n}$ elliptic surfaces, with $n=3,4$ or $6$. We present examples for all possibilities in the first case, and for $n=3,4$ in the second.

[117]  arXiv:2002.08841 [pdf, other]
Title: Contextual Reserve Price Optimization in Auctions
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)

We study the problem of learning a linear model to set the reserve price in order to maximize expected revenue in an auction, given contextual information. First, we show that it is not possible to solve this problem in polynomial time unless the \emph{Exponential Time Hypothesis} fails. Second, we present a strong mixed-integer programming (MIP) formulation for this problem, which is capable of exactly modeling the nonconvex and discontinuous expected reward function. Moreover, we show that this MIP formulation is ideal (the strongest possible formulation) for the revenue function. Since it can be computationally expensive to exactly solve the MIP formulation, we also study the performance of its linear programming (LP) relaxation. We show that, unfortunately, in the worst case the objective gap of the linear programming relaxation can be $O(n)$ times larger than the optimal objective of the actual problem, where $n$ is the number of samples. Finally, we present computational results, showcasing that the mixed-integer programming formulation, along with its linear programming relaxation, are able to superior both the in-sample performance and the out-of-sample performance of the state-of-the-art algorithms on both real and synthetic datasets.

[118]  arXiv:2002.08843 [pdf, other]
Title: A new approach to the Rayleigh-Taylor instability
Subjects: Analysis of PDEs (math.AP)

In this article we consider the inhomogeneous incompressible Euler equations describing two fluids with different constant densities under the influence of gravity as a differential inclusion. By considering the relaxation of the constitutive laws we formulate a general criterion for the existence of infinitely many weak solutions which reflect the turbulent mixing of the two fluids. Our criterion can be verified in the case that initially the fluids are at rest and separated by a flat interface with the heavier one being above the lighter one - the classical configuration giving rise to the Rayleigh-Taylor instability. We construct specific examples when the Atwood number is in the ultra high range, for which the zone in which the mixing occurs grows quadratically in time.

[119]  arXiv:2002.08848 [pdf, ps, other]
Title: Moments of the stationary distribution of subcritical multitype Galton-Watson processes with immigration
Comments: 7 pages
Subjects: Probability (math.PR)

In this short note we obtain necessary and sufficient conditions for the existence of the moments of the stationary distribution of a subcritical multitype Galton-Watson process with immigration.

[120]  arXiv:2002.08856 [pdf, ps, other]
Title: Bounding the expected run-time of nonconvex optimization with early stopping
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

This work examines the convergence of stochastic gradient-based optimization algorithms that use early stopping based on a validation function. The form of early stopping we consider is that optimization terminates when the norm of the gradient of a validation function falls below a threshold. We derive conditions that guarantee this stopping rule is well-defined, and provide bounds on the expected number of iterations and gradient evaluations needed to meet this criterion. The guarantee accounts for the distance between the training and validation sets, measured with the Wasserstein distance. We develop the approach in the general setting of a first-order optimization algorithm, with possibly biased update directions subject to a geometric drift condition. We then derive bounds on the expected running time for early stopping variants of several algorithms, including stochastic gradient descent (SGD), decentralized SGD (DSGD), and the stochastic variance reduced gradient (SVRG) algorithm. Finally, we consider the generalization properties of the iterate returned by early stopping.

[121]  arXiv:2002.08862 [pdf, ps, other]
Title: Fundamental group-scheme of some rationally connected fibrations
Comments: 39 pages
Subjects: Algebraic Geometry (math.AG)

In this paper we describe the fundamental group-scheme of a proper variety fibered over an abelian variety with rationally connected fibers over an algebraically closed field. We use old and recent results for the Nori fundamental group-scheme, and of finite group-schemes in general to prove that the kernel of such a fibration is finite, and that the homotopy exact sequence holds in this case. As an application, we describe the fundamental group-schemes of certain proper varieties that are connected by curves or are related to them.

[122]  arXiv:2002.08870 [pdf, ps, other]
Title: Diameters of random Cayley graphs of finite nilpotent groups
Comments: 8 pages
Subjects: Combinatorics (math.CO); Group Theory (math.GR); Probability (math.PR)

We prove the existence of a limiting distribution for the appropriately rescaled diameters of random undirected Cayley graphs of finite nilpotent groups of bounded rank and nilpotency class, thus extending a result of Shapira and Zuck which dealt with the case of abelian groups. The limiting distribution is defined on a space of unimodular lattices, as in the case of random Cayley graphs of abelian groups. Our result, when specialised to a certain family of unitriangular groups, establishes a very recent conjecture of Hermon and Thomas. We derive this as a consequence of a general inequality, showing that the diameter of a Cayley graph of a nilpotent group is governed by the diameter of its abelianisation.

[123]  arXiv:2002.08872 [pdf, ps, other]
Title: Halpern Iteration for Near-Optimal and Parameter-Free Monotone Inclusion and Strong Solutions to Variational Inequalities
Comments: 23 pages
Subjects: Optimization and Control (math.OC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)

We leverage the connections between nonexpansive maps, monotone Lipschitz operators, and proximal mappings to obtain near-optimal (i.e., optimal up to poly-log factors in terms of iteration complexity) and parameter-free methods for solving monotone inclusion problems. These results immediately translate into near-optimal guarantees for approximating strong solutions to variational inequality problems, approximating convex-concave min-max optimization problems, and minimizing the norm of the gradient in min-max optimization problems. Our analysis is based on a novel and simple potential-based proof of convergence of Halpern iteration, a classical iteration for finding fixed points of nonexpansive maps. Additionally, we provide a series of algorithmic reductions that highlight connections between different problem classes and lead to lower bounds that certify near-optimality of the studied methods.

[124]  arXiv:2002.08873 [pdf, ps, other]
Title: Stochastic Navier-Stokes equations on a thin spherical domain
Comments: 67 Pages. Includes additional sections corresponding to the analysis of deterministic NSEs on a thin spherical domain
Subjects: Probability (math.PR); Analysis of PDEs (math.AP)

Incompressible Navier-Stokes equations on a thin spherical domain $Q_\varepsilon$ along with free boundary conditions under a random forcing are considered. The convergence of the martingale solution of these equations to the martingale solution of the stochastic Navier-Stokes equations on a sphere $\mathbb{S}^2$ as the thickness converges to zero is established.

[125]  arXiv:2002.08876 [pdf, other]
Title: Weak limits of quasiminimizing sequences
Authors: Camille Labourie
Subjects: Classical Analysis and ODEs (math.CA)

In this article, we generalize to quasiminimizing sequences, the weak limit of minimizing sequences introduced by De Lellis, De Philippis, De Rosa, Ghiraldin and Maggi. We show that a weak limit of quasiminimal sets is quasiminimal. This result is analogous to the limiting theorem of David for the local Hausdorff convergence. Our proof is inspired by David's one while being simpler. In addition, it does not resort to the Preiss's rectifiability theorem, neither the theory of varifolds. It is neither limited to the ambiant space $\mathbf{R}^n \setminus \Gamma$ where $\Gamma$ is the boundary. We deduce a direct method to prove existence of solutions to various Plateau problem, even one minimizes the competitors on the boundary. Furthermore, we propose a structure to build Federer-Fleming projections as well as a new estimate on the choice of the projection centers.

[126]  arXiv:2002.08890 [pdf, ps, other]
Title: Spectra of chains connected to complete graphs
Subjects: Spectral Theory (math.SP); Combinatorics (math.CO)

We characterize the spectrum of the Laplacian of graphs composed of one or two finite or infinite chains connected to a complete graph. We show the existence of localized eigenvectors of two types, eigenvectors that vanish exactly outside the complete graph and eigenvectors that decrease exponentially outside the complete graph. Our results also imply gaps between the eigenvalues corresponding to localized and extended eigenvectors.

[127]  arXiv:2002.08894 [pdf, other]
Title: On rectangle-decomposable 2-parameter persistence modules
Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)

This paper addresses two questions: (1) can we identify a sensible class of 2-parameter persistence modules on which the rank invariant is complete? (2) can we determine efficiently whether a given 2-parameter persistence module belongs to this class? We provide positive answers to both questions, and our class of interest is that of rectangle-decomposable modules. Our contributions include: (a) a proof that the rank invariant is complete on rectangle-decomposable modules, together with an inclusion-exclusion formula for counting the multiplicities of the summands; (b) algorithms to check whether a module induced in homology by a bifiltration is rectangle-decomposable, and to decompose it in the affirmative, with a better complexity than state-of-the-art decomposition methods for general 2-parameter persistence modules. Our algorithms are backed up by a new structure theorem, whereby a 2-parameter persistence module is rectangle-decomposable if, and only if, its restrictions to squares are. This local condition is key to the efficiency of our algorithms, and it generalizes previous conditions from the class of block-decomposable modules to the larger one of rectangle-decomposable modules. It also admits an algebraic formulation that turns out to be a weaker version of the one for block-decomposability. Our analysis focuses on the case of modules indexed over finite grids, the more general cases are left as future work.

[128]  arXiv:2002.08895 [pdf, ps, other]
Title: Local Balance in Graph Decompositions
Subjects: Combinatorics (math.CO)

In a balanced graph decomposition, every vertex of the host graph appears in the same number of blocks. We propose the use of colored loops as a framework for unifying various other types of local balance conditions in graph decompositions. In the basic case where a single graph with colored loops is used as a block, an existence theory for such decompositions follows as a straightforward generalization of previous work on balanced graph decompositions.

[129]  arXiv:2002.08903 [pdf, ps, other]
Title: If $L(χ,1)=0$ then $ζ(1/2+it)\neq0$
Authors: Sergio Venturini
Comments: 24 pages. Published in Riv. Mat. Univ. Parma with the title "Non vanishing of Dirichlet series of completely multiplicative functions"
Journal-ref: Riv. Mat. Univ. Parma, Vol. 11 (2020), 153-180
Subjects: Number Theory (math.NT); Complex Variables (math.CV)

Let $L(s)=\sum_{n=1}^{+\infty}\dfrac{a(n)}{n^s}$ be a Dirichlet series were $a(n)$ is a bounded completely multiplicative function. We prove that if $L(s)$ extends to a holomorphic function on the open half space $\Re s >1-\delta$, $\delta>0$ and $L(1)=0$ then such a half space is a zero free region of the Riemann zeta function $\zeta(s)$. Similar results is proven for completely multiplicative functions defined on the space of the ideals of the ring of the algebraic integers of a number field of finite degree.

[130]  arXiv:2002.08905 [pdf, other]
Title: Constructing categorical idempotents
Comments: 25 pages
Subjects: Algebraic Topology (math.AT); Quantum Algebra (math.QA)

We give a general construction of categorical idempotents which recovers the categorified Jones-Wenzl projectors, categorified Young symmetrizers, and other constructions as special cases. The construction is intimately tied to cell theory in the sense of additive monoidal categories.

[131]  arXiv:2002.08906 [pdf, ps, other]
Title: On the Mirabolic Trace Formula for $\mathfrak{gl}(n)$
Authors: Shuyang Cheng
Subjects: Representation Theory (math.RT)

In this paper, a Chaudouard type trace formula is established for the Lie algebra $\mathfrak{gl}(n)$, by integrating the Lie algebra analogue of the Selberg kernel function against a mirabolic Eisenstein series on $\mathrm{GL}(n)$. The result is a combination of zeta functions $\zeta_E(s)$ of extensions over the base field $F$ of degree $[E:F]\leq n$.

[132]  arXiv:2002.08907 [pdf, other]
Title: Second-order Conditional Gradients
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)

Constrained second-order convex optimization algorithms are the method of choice when a high accuracy solution to a problem is needed, due to the quadratic convergence rates these methods enjoy when close to the optimum. These algorithms require the solution of a constrained quadratic subproblem at every iteration. In the case where the feasible region can only be accessed efficiently through a linear optimization oracle, and computing first-order information about the function, although possible, is costly, the coupling of constrained second-order and conditional gradient algorithms leads to competitive algorithms with solid theoretical guarantees and good numerical performance.

[133]  arXiv:2002.08914 [pdf, ps, other]
Title: Perfect sequence covering arrays
Authors: Raphael Yuster
Journal-ref: Designs, Codes and Cryptography 88(2020),585-593
Subjects: Combinatorics (math.CO)

An $(n,k)$ sequence covering array is a set of permutations of $[n]$ such that each sequence of $k$ distinct elements of $[n]$ is a subsequence of at least one of the permutations. An $(n,k)$ sequence covering array is perfect if there is a positive integer $\lambda$ such that each sequence of $k$ distinct elements of $[n]$ is a subsequence of precisely $\lambda$ of the permutations.
While relatively close upper and lower bounds for the minimum size of a sequence covering array are known, this is not the case for perfect sequence covering arrays. Here we present new nontrivial bounds for the latter. In particular, for $k=3$ we obtain a linear lower bound and an almost linear upper bound.

[134]  arXiv:2002.08915 [pdf, other]
Title: Magic squares of subtraction of Adam Adamandy Kochański
Authors: H. Fukś
Comments: 15 pages, 8 figures
Journal-ref: M. Zack and E. Landry (eds.), Research in History and Philosophy of Mathematics -- The CSHPM 2016 Annual Meeting in Calgary, AB, pp. 81--95. Springer, 2017
Subjects: History and Overview (math.HO)

The problem of the construction of magic squares occupied many mathematicians of the 17th century. The Polish Jesuit and polymath Adam Adamandy Kocha\'nski studied this subject too, and in 1686 he published a paper in Acta Eruditorum titled "Considerationes quaedam circa Quadrata et Cubos Magicos". In that paper he proposed a novel type of magic square, where in every row, column and diagonal, if the entries are sorted in decreasing order, the difference between the sum of entries with odd indices and those with even indices is constant. He called them \emph{quadrata subtractionis}, meaning squares of subtraction. He gave examples of such squares of orders 4 and 5, and challenged readers to produce an example of square of order 6. We discuss the likely method which he used to produce squares of order 5, and show that it can be generalized to arbitrary odd orders. We also show how to construct doubly-even squares. At the end, we show an example of a square of order 6, sought by Kocha\'nski, and discuss the enumeration of squares of subtraction.

[135]  arXiv:2002.08922 [pdf, ps, other]
Title: On Schatten restricted norms
Authors: Martin Miglioli
Comments: 10 pages
Subjects: Functional Analysis (math.FA); Metric Geometry (math.MG)

We consider norms on a complex separable Hilbert space such that $\langle a\xi,\xi\rangle\leq\|\xi\|^2\leq\langle b\xi,\xi\rangle$ for positive invertible operators $a$ and $b$ that differ by an operator in the Schatten class. We prove that these norms have unitarizable isometry groups, our proof uses a generalization of a fixed point theorem for isometric actions on positive invertible operators. As a result, if the isometry group does not leave any finite dimensional subspace invariant, then the norm must be Hilbertian. That is, if a Hilbertian norm is changed to a close non-Hilbertian norm, then the isometry group does leave a finite dimensional subspace invariant. The approach involves metric geometric arguments related to the canonical action of the group on the non-positively curved space of positive invertible Schatten perturbations of the identity .

[136]  arXiv:2002.08929 [pdf, ps, other]
Title: An Enumerative Approach to $P=W$
Comments: 31 pages, comments welcome
Subjects: Algebraic Geometry (math.AG)

The $P = W$ conjecture identifies the perverse filtration of the Hitchin system on the cohomology of the moduli space of Higgs bundles with the weight filtration of the corresponding character variety. In this paper, we introduce an enumerative approach to to this problem; our technique only uses the structure of the equivariant intersection numbers on the moduli space of Higgs bundles, and little information about the topology of the Hitchin map. In the rank $2$ case, starting from the known intersection numbers of the moduli of stable bundles, we derive the equivariant intersection numbers on the Higgs moduli, and then verify the top perversity part of our enumerative $P = W$ statement for even tautological classes. A key in this calculation is the existence of polynomial solutions to the Discrete Heat Equation satisfying particular vanishing properties. For odd classes, we derive a determinantal criterion for the enumerative $P = W$.

[137]  arXiv:2002.08939 [pdf, ps, other]
Title: Equivalence groupoid and group classification of a class of nonlinear wave and elliptic equations
Comments: 38 pages
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)

Enhancing and essentially generalizing the results of [Nonlinear Anal. 70 (2009), 3512-3521] on a class on (1+1)-dimensional nonlinear wave and elliptic equations, we apply several new technique to classify admissible point transformations within this class up to the equivalence generated by its equivalence group. This gives an exhaustive description of its equivalence groupoid. After extending the algebraic method of group classification to non-normalized classes of differential equations, we solve the complete group classification problem for the class under study up to both usual and general point equivalences. The solution includes the complete preliminary group classification of the class and the construction of singular Lie-symmetry extensions, which are not related to subalgebras of the equivalence algebra. The complete preliminary group classification is based on classifying appropriate subalgebras of the entire infinite-dimensional equivalence algebra whose projections are qualified as maximal extensions of the kernel invariance algebra.

[138]  arXiv:2002.08941 [pdf, ps, other]
Title: ADM mass and the capacity-volume deficit at infinity
Comments: 31 pages, comments welcome
Subjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc)

Based on the isoperimetric inequality, G. Huisken proposed a definition of total mass in general relativity that is equivalent to the ADM mass for (smooth) asymptotically flat 3-manifolds of nonnegative scalar curvature, but that is well-defined in greater generality. In a similar vein, we use the isocapacitary inequality (bounding capacity from below in terms of volume) to suggest a new definition of total mass. We prove an inequality between it and the ADM mass, and prove the reverse inequality with harmonically flat asymptotics, or, with general asymptotics, for exhaustions by balls (as opposed to arbitrary compact sets). This approach to mass may have applications to problems involving low regularity metrics and convergence in general relativity, and may have some advantages relative to the isoperimetric mass. Some conjectures, analogs of known results for CMC surfaces and isoperimetric regions, are proposed.

Cross-lists for Fri, 21 Feb 20

[139]  arXiv:1907.09442 (cross-list from cs.IT) [pdf, ps, other]
Title: Block-sparse Recovery of Semidefinite Systems and Generalized Null Space Conditions
Subjects: Information Theory (cs.IT); Optimization and Control (math.OC)

This article considers the recovery of low-rank matrices via a convex nuclear-norm minimization problem and presents two null space properties (NSP) which characterize uniform recovery for the case of block-diagonal matrices and block-diagonal positive semidefinite matrices. These null-space conditions turn out to be special cases of a new general setup, which allows to derive the mentioned NSPs and well-known NPSs from the literature. We discuss the relative strength of these conditions and also present a deterministic class of matrices that satisfies the block-diagonal semidefinite NSP.

[140]  arXiv:2002.08275 (cross-list from physics.flu-dyn) [pdf, ps, other]
Title: On linear and non-linear hydromagnetic stability in laminar and turbulent flows
Subjects: Fluid Dynamics (physics.flu-dyn); Solar and Stellar Astrophysics (astro-ph.SR); Mathematical Physics (math-ph); Chaotic Dynamics (nlin.CD)

We derive several equations that determine the stability of purely hydrodynamic flow of an electrically conducting fluid with respect to creation of magnetic field. One equation determines the evolution of arbitrarily large disturbances of the hydrodynamic flow and provides extension of the Reynolds-Orr equation that includes the magnetic degrees of freedom. This equation allows to demonstrate that, for hydrodynamic and magnetic Reynolds numbers below a threshold, the purely hydrodynamic flow is non-linearly stable and magnetic field of an arbitrary initial amplitude decays. In the case of high Reynolds number turbulence, the non-linear stability bound is provided via properties of ordinary hydrodynamic turbulence and an unknown constant of order one. In the case where the perturbations of magnetic field are small, the so-called kinematic dynamo, we revisit Childress and Backus bounds and provide equation for logarithmic growth rate of the magnetic energy. This equation demonstrates that the rate has the form of infinite-dimensional generalization of the Lyapunov exponent. Thus it is plausible that the rate can be determined from a single realization of evolution similarly to the Lyapunov exponents. The form could also provide a shortcut to the numerical determination of the growth rate. We illustrate its usage by providing an estimate for the critical magnetic Reynolds number below which the magnetic field decays in turbulence exponentially.

[141]  arXiv:2002.08368 (cross-list from hep-th) [pdf, other]
Title: KdV-charged black holes
Comments: 30 pages, 4 figures
Subjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

We construct black hole geometries in AdS$_3$ with non-trivial values of KdV charges. The black holes are holographically dual to quantum KdV Generalized Gibbs Ensemble in 2d CFT. They satisfy thermodynamic identity and thus are saddle point configurations of the Euclidean gravity path integral. We discuss holographic calculation of the KdV generalized partition function and show that for a certain value of chemical potentials new geometries, not the conventional BTZ ones, are the leading saddles.

[142]  arXiv:2002.08382 (cross-list from hep-th) [pdf, other]
Title: $q$-nonabelianization for line defects
Comments: 71 pages, 77 figures
Subjects: High Energy Physics - Theory (hep-th); Geometric Topology (math.GT); Quantum Algebra (math.QA); Representation Theory (math.RT)

We consider the $q$-nonabelianization map, which maps links $L$ in a 3-manifold $M$ to links $\widetilde{L}$ in a branched $N$-fold cover $\widetilde{M}$. In quantum field theory terms, $q$-nonabelianization is the UV-IR map relating two different sorts of defect: in the UV we have the six-dimensional $(2,0)$ superconformal field theory of type $\mathfrak{gl}(N)$ on $M \times \mathbb{R}^{2,1}$, and we consider surface defects placed on $L \times \{x^4 = x^5 = 0\}$; in the IR we have the $(2,0)$ theory of type $\mathfrak{gl}(1)$ on $\widetilde{M} \times \mathbb{R}^{2,1}$, and put the defects on $\widetilde{L} \times \{x^4 = x^5 = 0\}$. In the case $M = \mathbb{R}^3$, $q$-nonabelianization computes the Jones polynomial of a link, or its analogue associated to the group $U(N)$. In the case $M = C \times \mathbb{R}$, when the projection of $L$ to $C$ is a simple non-contractible loop, $q$-nonabelianization computes the protected spin character for framed BPS states in 4d $\mathcal{N}=2$ theories of class $S$. In the case $N=2$ and $M = C \times \mathbb{R}$, we give a concrete construction of the $q$-nonabelianization map. The construction uses the data of the WKB foliations associated to a holomorphic covering $\widetilde{C} \to C$.

[143]  arXiv:2002.08387 (cross-list from hep-th) [pdf, other]
Title: Bootstraps to Strings: Solving Random Matrix Models with Positivity
Authors: Henry W. Lin
Comments: 21 pages, 8 figures, 1 cartoon. See source for Mathematica notebook
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

A new approach to solving random matrix models directly in the large $N$ limit is developed. First, a set of numerical values for some low-pt correlation functions is guessed. The large $N$ loop equations are then used to generate values of higher-pt correlation functions based on this guess. Then one tests whether these higher-pt functions are consistent with positivity requirements, e.g., $\langle \text{tr }M^{2k} \rangle \ge 0$. If not, the guessed values are systematically ruled out. In this way, one can constrain the correlation functions of random matrices to a tiny subregion which contains (and perhaps converges to) the true solution. This approach is tested on single and multi-matrix models and handily reproduces known solutions. It also produces strong results for multi-matrix models which are not believed to be solvable. A tantalizing possibility is that this method could be used to search for new critical points, or string worldsheet theories.

[144]  arXiv:2002.08449 (cross-list from gr-qc) [pdf, other]
Title: Spin 2 Quasinormal Modes in Generalized Nariai Spacetimes
Comments: 13 pages, 1 figure
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

In this work we analytically obtain the quasinormal spectrum for the gravitational perturbation on a higher-dimensional generalization of the Nariai spacetime that is comprised of the direct product of the two-dimensional de Sitter space with several two-spheres. A key step in order to attain this result is to use a suitable basis for the angular functions depending on the rank of the tensorial degree of freedom that one needs to describe. Here we define such a basis, which is a generalization of the tensor spherical harmonics that is suited for spaces that are the product of several spaces of constant curvature.

[145]  arXiv:2002.08514 (cross-list from stat.AP) [pdf, ps, other]
Title: Queueing Subject To Action-Dependent Server Performance: Utilization Rate Reduction
Subjects: Applications (stat.AP); Optimization and Control (math.OC)

We consider a discrete-time system comprising a first-come-first-served queue, a non-preemptive server, and a stationary non-work-conserving scheduler. New tasks arrive at the queue according to a Bernoulli process. At each instant, the server is either busy working on a task or is available, in which case the scheduler either assigns a new task to the server or allows it to remain available (to rest). In addition to the aforementioned availability state, we assume that the server has an integer-valued activity state. The activity state is non-decreasing during work periods, and is non-increasing otherwise. In a typical application of our framework, the server performance (understood as task completion probability) worsens as the activity state increases. In this article, we expand on stabilizability results recently obtained for the same framework to establish methods to design scheduling policies that not only stabilize the queue but also reduce the utilization rate, which is understood as the infinite-horizon time-averaged expected portion of time the server is working. This article has a main theorem leading to two main results: (i) Given an arrival rate, we describe a tractable method, using a finite-dimensional linear program (LP), to compute the infimum of all utilization rates achievable by stabilizing scheduling policies. (ii) We propose a tractable method, also based on finite-dimensional LPs, to obtain stabilizing scheduling policies that are arbitrarily close to the aforementioned infimum. We also establish structural and distributional convergence properties, which are used throughout the article, and are significant in their own right.

[146]  arXiv:2002.08521 (cross-list from stat.ME) [pdf, other]
Title: Network Group Hawkes Process Model
Comments: 42 pages
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)

In this work, we study the event occurrences of user activities on online social network platforms. To characterize the social activity interactions among network users, we propose a network group Hawkes (NGH) process model. Particularly, the observed network structure information is employed to model the users' dynamic posting behaviors. Furthermore, the users are clustered into latent groups according to their dynamic behavior patterns. To estimate the model, a constraint maximum likelihood approach is proposed. Theoretically, we establish the consistency and asymptotic normality of the estimators. In addition, we show that the group memberships can be identified consistently. To conduct estimation, a branching representation structure is firstly introduced, and a stochastic EM (StEM) algorithm is developed to tackle the computational problem. Lastly, we apply the proposed method to a social network data collected from Sina Weibo, and identify the infuential network users as an interesting application.

[147]  arXiv:2002.08528 (cross-list from cs.LG) [pdf, other]
Title: Adaptive Sampling Distributed Stochastic Variance Reduced Gradient for Heterogeneous Distributed Datasets
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

We study distributed optimization algorithms for minimizing the average of \emph{heterogeneous} functions distributed across several machines with a focus on communication efficiency. In such settings, naively using the classical stochastic gradient descent (SGD) or its variants (e.g., SVRG) with a uniform sampling of machines typically yields poor performance. It often leads to the dependence of convergence rate on maximum Lipschitz constant of gradients across the devices. In this paper, we propose a novel \emph{adaptive} sampling of machines specially catered to these settings. Our method relies on an adaptive estimate of local Lipschitz constants base on the information of past gradients. We show that the new way improves the dependence of convergence rate from maximum Lipschitz constant to \emph{average} Lipschitz constant across machines, thereby, significantly accelerating the convergence. Our experiments demonstrate that our method indeed speeds up the convergence of the standard SVRG algorithm in heterogeneous environments.

[148]  arXiv:2002.08548 (cross-list from nlin.SI) [pdf, ps, other]
Title: Homogeneous Darboux polynomials and generalising integrable ODE systems
Comments: 6 pages
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)

We show that any system of ODEs can be modified whilst preserving its homogeneous Darboux polynomials. We employ the result to generalise a hierarchy of integrable Lotka-Volterra systems.

[149]  arXiv:2002.08580 (cross-list from cs.CC) [pdf, ps, other]
Title: The (Generalized) Orthogonality Dimension of (Generalized) Kneser Graphs: Bounds and Applications
Comments: 19 pages
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

The orthogonality dimension of a graph $G=(V,E)$ over a field $\mathbb{F}$ is the smallest integer $t$ for which there exists an assignment of a vector $u_v \in \mathbb{F}^t$ with $\langle u_v,u_v \rangle \neq 0$ to every vertex $v \in V$, such that $\langle u_v, u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent vertices in $G$. The study of the orthogonality dimension of graphs is motivated by various application in information theory and in theoretical computer science. The contribution of the present work is two-folded.
First, we prove that there exists a constant $c$ such that for every sufficiently large integer $t$, it is $\mathsf{NP}$-hard to decide whether the orthogonality dimension of an input graph over $\mathbb{R}$ is at most $t$ or at least $3t/2-c$. At the heart of the proof lies a geometric result, which might be of independent interest, on a generalization of the orthogonality dimension parameter for the family of Kneser graphs, analogously to a long-standing conjecture of Stahl (J. Comb. Theo. Ser. B, 1976).
Second, we study the smallest possible orthogonality dimension over finite fields of the complement of graphs that do not contain certain fixed subgraphs. In particular, we provide an explicit construction of triangle-free $n$-vertex graphs whose complement has orthogonality dimension over the binary field at most $n^{1-\delta}$ for some constant $\delta >0$. Our results involve constructions from the family of generalized Kneser graphs and they are motivated by the rigidity approach to circuit lower bounds. We use them to answer a couple of questions raised by Codenotti, Pudl\'{a}k, and Resta (Theor. Comput. Sci., 2000), and in particular, to disprove their Odd Alternating Cycle Conjecture over every finite field.

[150]  arXiv:2002.08585 (cross-list from physics.flu-dyn) [pdf, ps, other]
Title: Multiple scales analysis of out-of-plane and in-plane vibrations of a wind turbine blade
Comments: 18 pages, 10 figures
Subjects: Fluid Dynamics (physics.flu-dyn); Dynamical Systems (math.DS)

Steady-state response of an isolated horizontal axis wind turbine blade undergoing out-of-plane and in-plane vibrations are studied considering the two cases separately. Equations of motion for both cases are sought by modeling the blade as cantilevered Euler-Bernoulli beam and applying the Lagrangian formulation. Taking into account the effects of blade rotation on gravitational and aerodynamic forces and allowing the blade to undergo large deformations, various nonlinearities arise in the system resulting in superharmonic resonances. Taking practically relevant numerical values of parameters, we suitably order the parameters for their smallness. We then obtain the frequency responses corresponding to primary and superharmonic resonances by applying the method of multiple scales up to fourth and third orders for out-of-plane and in-plane cases respectively. Comparisons are drawn with the results obtained using the method of harmonic balance.

[151]  arXiv:2002.08592 (cross-list from physics.flu-dyn) [pdf, other]
Title: Partition of enstrophy between zonal and turbulent components
Comments: 33 pages, 12 figures
Subjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP); Geophysics (physics.geo-ph); Plasma Physics (physics.plasm-ph)

The partition of enstrophy between zonal (ordered) and wavy (turbulent) components of vorticity has been studied for the beta-plane model of two-dimensional barotropic flow. An analytic estimate of the minimum value for the zonal component has been derived. The energy, angular momentum, circulation, as well as the total enstrophy are invoked as constraints for the minimization of the zonal enstrophy. The corresponding variational principle has an interesting mathematical structure in that the target functional, the zonal enstrophy is not coercive with respect to the norm of enstrophy, by which the constraints work differently than usual variational principles. A discrete set of zonal enstrophy levels is generated by the energy constraint; each level is specified by an eigenvalue that represents the lamination period of zonal flow. However, the value itself of the zonal enstrophy level is a function of only angular momentum and circulation, being independent of the energy (and total enstrophy). Instead, the energy works in selecting the "level" (eigenvalue) of the relaxed state. Comparison with numerical simulations shows that the theory gives a proper estimate of the zonal enstrophy in the relaxed state.

[152]  arXiv:2002.08604 (cross-list from eess.SP) [pdf]
Title: A Testbed for Assessment of Fountain Codes for Wireless Channels
Authors: M. Usman, J. Dunlop
Comments: conference
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

Luby Transform (LT) codes are a class of fountain codes that have proved to perform very efficiently over the erasure channel. These codes are rateless in the sense that an infinite stream of encoded symbols can be generated on the fly. Furthermore, every encoded symbol is information additive and can contribute in the decoding process. An important application of fountain codes which is being considered is the delivery of content over mobile wireless channels. Fountain codes have low computational complexity and fast encoding and decoding algorithms which makes them attractive for real time applications such as streaming video over wireless channels. L T codes are known to perform close to capacity on the binary erasure channel and it is envisaged that they would have good performance on other channels such as mobile communication channels and satellite links. This paper considers the development of a test-bed to study the performance of fountain codes over such channels. The performance of LT codes on the binary symmetric channel and Additive White Gaussian Noise (A WGN) Channel is presented as examples of the testbed usage.

[153]  arXiv:2002.08637 (cross-list from hep-th) [pdf, ps, other]
Title: Multi-graded Galilean conformal algebras
Comments: 17 pages
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

Galilean conformal algebras can be constructed by contracting a finite number of conformal algebras, and enjoy truncated $\mathbb{Z}$-graded structures. Here, we present a generalisation of the Galilean contraction procedure, giving rise to Galilean conformal algebras with truncated $\mathbb{Z}^{\otimes\sigma}$-gradings, $\sigma\in\mathbb{N}$. Detailed examples of these multi-graded Galilean algebras are provided, including extensions of the Galilean Virasoro and affine Kac-Moody algebras. We also derive the associated Sugawara constructions and discuss how these examples relate to multivariable extensions of Takiff algebras. We likewise apply our generalised contraction prescription to tensor products of $W_3$ algebras and obtain new families of higher-order Galilean $W_3$ algebras.

[154]  arXiv:2002.08659 (cross-list from cs.DS) [pdf, other]
Title: Maximum Edge-Colorable Subgraph and Strong Triadic Closure Parameterized by Distance to Low-Degree Graphs
Comments: 32 Pages
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

Given an undirected graph $G$ and integers $c$ and $k$, the Maximum Edge-Colorable Subgraph problem asks whether we can delete at most $k$ edges in $G$ to obtain a graph that has a proper edge coloring with at most $c$ colors. We show that Maximum Edge-Colorable Subgraph admits, for every fixed $c$, a linear-size problem kernel when parameterized by the edge deletion distance of $G$ to a graph with maximum degree $c-1$. This parameterization measures the distance to instances that, due to Vizing's famous theorem, are trivial yes-instances. For $c\le 4$, we also provide a linear-size kernel for the same parameterization for Multi Strong Triadic Closure, a related edge coloring problem with applications in social network analysis. We provide further results for Maximum Edge-Colorable Subgraph parameterized by the vertex deletion distance to graphs where every component has order at most $c$ and for the list-colored versions of both problems.

[155]  arXiv:2002.08663 (cross-list from stat.ML) [pdf, ps, other]
Title: Learning Gaussian Graphical Models via Multiplicative Weights
Comments: AISTATS 2020
Subjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG); Statistics Theory (math.ST)

Graphical model selection in Markov random fields is a fundamental problem in statistics and machine learning. Two particularly prominent models, the Ising model and Gaussian model, have largely developed in parallel using different (though often related) techniques, and several practical algorithms with rigorous sample complexity bounds have been established for each. In this paper, we adapt a recently proposed algorithm of Klivans and Meka (FOCS, 2017), based on the method of multiplicative weight updates, from the Ising model to the Gaussian model, via non-trivial modifications to both the algorithm and its analysis. The algorithm enjoys a sample complexity bound that is qualitatively similar to others in the literature, has a low runtime $O(mp^2)$ in the case of $m$ samples and $p$ nodes, and can trivially be implemented in an online manner.

[156]  arXiv:2002.08676 (cross-list from cs.LG) [pdf, other]
Title: Learning with Differentiable Perturbed Optimizers
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

Machine learning pipelines often rely on optimization procedures to make discrete decisions (e.g. sorting, picking closest neighbors, finding shortest paths or optimal matchings). Although these discrete decisions are easily computed in a forward manner, they cannot be used to modify model parameters using first-order optimization techniques because they break the back-propagation of computational graphs. In order to expand the scope of learning problems that can be solved in an end-to-end fashion, we propose a systematic method to transform a block that outputs an optimal discrete decision into a differentiable operation. Our approach relies on stochastic perturbations of these parameters, and can be used readily within existing solvers without the need for ad hoc regularization or smoothing. These perturbed optimizers yield solutions that are differentiable and never locally constant. The amount of smoothness can be tuned via the chosen noise amplitude, whose impact we analyze. The derivatives of these perturbed solvers can be evaluated efficiently. We also show how this framework can be connected to a family of losses developed in structured prediction, and describe how these can be used in unsupervised and supervised learning, with theoretical guarantees. We demonstrate the performance of our approach on several machine learning tasks in experiments on synthetic and real data.

[157]  arXiv:2002.08695 (cross-list from cs.LG) [pdf, other]
Title: Stochastic Optimization for Regularized Wasserstein Estimators
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

Optimal transport is a foundational problem in optimization, that allows to compare probability distributions while taking into account geometric aspects. Its optimal objective value, the Wasserstein distance, provides an important loss between distributions that has been used in many applications throughout machine learning and statistics. Recent algorithmic progress on this problem and its regularized versions have made these tools increasingly popular. However, existing techniques require solving an optimization problem to obtain a single gradient of the loss, thus slowing down first-order methods to minimize the sum of losses, that require many such gradient computations. In this work, we introduce an algorithm to solve a regularized version of this problem of Wasserstein estimators, with a time per step which is sublinear in the natural dimensions of the problem. We introduce a dual formulation, and optimize it with stochastic gradient steps that can be computed directly from samples, without solving additional optimization problems at each step. Doing so, the estimation and computation tasks are performed jointly. We show that this algorithm can be extended to other tasks, including estimation of Wasserstein barycenters. We provide theoretical guarantees and illustrate the performance of our algorithm with experiments on synthetic data.

[158]  arXiv:2002.08739 (cross-list from cs.DM) [pdf, ps, other]
Title: Iterated Global Models for Complex Networks
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

We introduce the Iterated Global model as a deterministic graph process that simulates several properties of complex networks. In this model, for every set $S$ of nodes of a prescribed cardinality, we add a new node that is adjacent to every node in $S$. We focus on the case where the size of $S$ is approximately half the number of nodes at each time-step, and we refer to this as the half-model. The half-model provably generate graphs that densify over time, have bad spectral expansion, and low diameter. We derive the clique, chromatic, and domination numbers of graphs generated by the model.

[159]  arXiv:2002.08770 (cross-list from physics.comp-ph) [pdf, other]
Title: Split representation of adaptively compressed polarizability operator
Authors: Dong An, Lin Lin, Ze Xu
Comments: 32 pages, 8 figures. arXiv admin note: text overlap with arXiv:1605.08021
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)

The polarizability operator plays a central role in density functional perturbation theory and other perturbative treatment of first principle electronic structure theories. The cost of computing the polarizability operator generally scales as $\mathcal{O}(N_{e}^4)$ where $N_e$ is the number of electrons in the system. The recently developed adaptively compressed polarizability operator (ACP) formulation [L. Lin, Z. Xu and L. Ying, Multiscale Model. Simul. 2017] reduces such complexity to $\mathcal{O}(N_{e}^3)$ in the context of phonon calculations with a large basis set for the first time, and demonstrates its effectiveness for model problems. In this paper, we improve the performance of the ACP formulation by splitting the polarizability into a near singular component that is statically compressed, and a smooth component that is adaptively compressed. The new split representation maintains the $\mathcal{O}(N_e^3)$ complexity, and accelerates nearly all components of the ACP formulation, including Chebyshev interpolation of energy levels, iterative solution of Sternheimer equations, and convergence of the Dyson equations. For simulation of real materials, we discuss how to incorporate nonlocal pseudopotentials and finite temperature effects. We demonstrate the effectiveness of our method using one-dimensional model problem in insulating and metallic regimes, as well as its accuracy for real molecules and solids.

[160]  arXiv:2002.08774 (cross-list from stat.ML) [pdf, ps, other]
Title: Propose, Test, Release: Differentially private estimation with high probability
Comments: arXiv admin note: text overlap with arXiv:1906.11923
Subjects: Machine Learning (stat.ML); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Statistics Theory (math.ST)

We derive concentration inequalities for differentially private median and mean estimators building on the "Propose, Test, Release" (PTR) mechanism introduced by Dwork and Lei (2009). We introduce a new general version of the PTR mechanism that allows us to derive high probability error bounds for differentially private estimators. Our algorithms provide the first statistical guarantees for differentially private estimation of the median and mean without any boundedness assumptions on the data, and without assuming that the target population parameter lies in some known bounded interval. Our procedures do not rely on any truncation of the data and provide the first sub-Gaussian high probability bounds for differentially private median and mean estimation, for possibly heavy tailed random variables.

[161]  arXiv:2002.08798 (cross-list from cs.NI) [pdf, ps, other]
Title: Non-linear Age of Information in a Discrete Time Queue: Stationary Distribution and Average Performance Analysis
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

This paper considers a status update communication system consisting of a source-destination link with timeliness requirements. First, we study the properties of a sample path of the age of information (AoI) process at the destination. Under the assumption of ergodicity, we obtain a general formula of the stationary distribution of the AoI. We relate this result to a discrete time queueing system and provide a general expression of the generating function of AoI in relation with the system time and the peak age of information (PAoI). Furthermore, we consider the first-come-first-served (FCFS) Geo/Geo/1 queue and we obtain closed-form expressions of the generating functions and the stationary distributions of the AoI and the PAoI. We built upon these results to provide a methodology for analyzing general non-linear age functions for this type of systems.

[162]  arXiv:2002.08809 (cross-list from cs.LG) [pdf, other]
Title: Differential Dynamic Programming Neural Optimizer
Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

Interpretation of Deep Neural Networks (DNNs) training as an optimal control problem with nonlinear dynamical systems has received considerable attention recently, yet the algorithmic development remains relatively limited. In this work, we make an attempt along this line by reformulating the training procedure from the trajectory optimization perspective. We first show that most widely-used algorithms for training DNNs can be linked to the Differential Dynamic Programming (DDP), a celebrated second-order trajectory optimization algorithm rooted in the Approximate Dynamic Programming. In this vein, we propose a new variant of DDP that can accept batch optimization for training feedforward networks, while integrating naturally with the recent progress in curvature approximation. The resulting algorithm features layer-wise feedback policies which improve convergence rate and reduce sensitivity to hyper-parameter over existing methods. We show that the algorithm is competitive against state-ofthe-art first and second order methods. Our work opens up new avenues for principled algorithmic design built upon the optimal control theory.

[163]  arXiv:2002.08833 (cross-list from cs.NI) [pdf, ps, other]
Title: Distributed Task Replication for Vehicular Edge Computing: Performance Analysis and Learning-based Algorithm
Comments: Submitted to IEEE for possible publication
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

In a vehicular edge computing (VEC) system, vehicles can share their surplus computation resources to provide cloud computing services. The highly dynamic environment of the vehicular network makes it challenging to guarantee the task offloading delay. To this end, we introduce task replication to the VEC system, where the replicas of a task are offloaded to multiple vehicles at the same time, and the task is completed upon the first response among replicas. First, the impact of the number of task replicas on the offloading delay is characterized, and the optimal number of task replicas is approximated in closed-form. Based on the analytical result, we design a learning-based task replication algorithm (LTRA) with combinatorial multi-armed bandit theory, which works in a distributed manner and can automatically adapt itself to the dynamics of the VEC system. A realistic traffic scenario is used to evaluate the delay performance of the proposed algorithm. Results show that, under our simulation settings, LTRA with an optimized number of task replicas can reduce the average offloading delay by over 30% compared to the benchmark without task replication, and at the same time can improve the task completion ratio from 97% to 99.6%.

[164]  arXiv:2002.08839 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
Title: Fluctuation-dissipation supersymmetry
Authors: Matteo Polettini
Comments: 5 pages, 2 figures
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

Open systems may be perturbed out of equilibrium states either by subjecting them to nonconservative forces or by injecting external currents. For small perturbations, the linear response is quantified by two different matrices. In the framework of network thermodynamics, under very broad assumptions, we show that the two matrices are connected by a supersymmetry, predicting that they have the same spectrum - up to the degeneracy of the ground state. Our approach brings into the mathematics of supersymmetry a new ingredient, namely oblique projection operators.

[165]  arXiv:2002.08853 (cross-list from stat.ML) [pdf, other]
Title: A General Pairwise Comparison Model for Extremely Sparse Networks
Comments: 27 pages, 4 figures
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)

Statistical inference using pairwise comparison data has been an effective approach to analyzing complex and sparse networks. In this paper we propose a general framework for modeling the mutual interaction in a probabilistic network, which enjoys ample flexibility in terms of parametrization. Within this set-up, we establish that the maximum likelihood estimator (MLE) for the latent scores of the subjects is uniformly consistent under a near-minimal condition on network sparsity. This condition is sharp in terms of the leading order asymptotics describing the sparsity. The proof utilizes a novel chaining technique based on the error-induced metric as well as careful counting of comparison graph structures. Our results guarantee that the MLE is a valid estimator for inference in large-scale comparison networks where data is asymptotically deficient. Numerical simulations are provided to complement the theoretical analysis.

[166]  arXiv:2002.08908 (cross-list from cs.PF) [pdf, ps, other]
Title: Asymptotically Optimal Load Balancing in Large-scale Heterogeneous Systems with Multiple Dispatchers
Comments: 2 figures
Subjects: Performance (cs.PF); Distributed, Parallel, and Cluster Computing (cs.DC); Probability (math.PR)

We consider the load balancing problem in large-scale heterogeneous systems with multiple dispatchers. We introduce a general framework called Local-Estimation-Driven (LED). Under this framework, each dispatcher keeps local (possibly outdated) estimates of queue lengths for all the servers, and the dispatching decision is made purely based on these local estimates. The local estimates are updated via infrequent communications between dispatchers and servers. We derive sufficient conditions for LED policies to achieve throughput optimality and delay optimality in heavy-traffic, respectively. These conditions directly imply delay optimality for many previous local-memory based policies in heavy traffic. Moreover, the results enable us to design new delay optimal policies for heterogeneous systems with multiple dispatchers. Finally, the heavy-traffic delay optimality of the LED framework directly resolves a recent open problem on how to design optimal load balancing schemes using delayed information.

[167]  arXiv:2002.08953 (cross-list from quant-ph) [pdf, other]
Title: Predicting Many Properties of a Quantum System from Very Few Measurements
Comments: 10 pages, 9 figures + 30 page appendix; supersedes arXiv:1908.08909; open source code available at this https URL
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Machine Learning (cs.LG)

Predicting properties of complex, large-scale quantum systems is essential for developing quantum technologies. We present an efficient method for constructing an approximate classical description of a quantum state using very few measurements of the state. This description, called a classical shadow, can be used to predict many different properties: order $\log M$ measurements suffice to accurately predict $M$ different functions of the state with high success probability. The number of measurements is independent of the system size, and saturates information-theoretic lower bounds. Moreover, target properties to predict can be selected after the measurements are completed. We support our theoretical findings with extensive numerical experiments. We apply classical shadows to predict quantum fidelities, entanglement entropies, two-point correlation functions, expectation values of local observables, and the energy variance of many-body local Hamiltonians, which allows applications to speedup variational quantum algorithms. The numerical results highlight the advantages of classical shadows relative to previously known methods.

Replacements for Fri, 21 Feb 20

[168]  arXiv:1205.1696 (replaced) [pdf, ps, other]
Title: Galois theories for $q$-difference equations: comparison theorems
Subjects: Quantum Algebra (math.QA)
[169]  arXiv:1208.1727 (replaced) [pdf, other]
Title: A wall-crossing formula for Gromov-Witten invariants under variation of git quotient
Comments: 64 pages, 1 figure. Expanded and clarified exposition in a number of places in response to referee comments
Subjects: Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
[170]  arXiv:1503.00044 (replaced) [pdf, ps, other]
Title: Action graphs and Catalan numbers
Comments: 7 pages; minor changes from original draft. arXiv admin note: text overlap with arXiv:1807.03005
Subjects: Combinatorics (math.CO)
[171]  arXiv:1604.06172 (replaced) [pdf, ps, other]
Title: New Bounds for Partial Spreads of $H(2d-1, q^2)$ and Partial Ovoids of the Ree-Tits Octagon
Comments: 8 pages, corrected a false claim on collineations in the Ree-Tits octagon, see arXiv:2002.07977v1 [math.GR], Remark 2.3
Journal-ref: J. Comb. Theory A 153 (2018) 46-53
Subjects: Combinatorics (math.CO)
[172]  arXiv:1610.06631 (replaced) [pdf, other]
Title: Inverse Power Flow Problem
Comments: working paper
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[173]  arXiv:1705.01446 (replaced) [pdf, other]
Title: Algorithmic trading in a microstructural limit order book model
Authors: Frédéric Abergel (MICS), Côme Huré (LPSM (UMR\_8001)), Huyên Pham (LPSM (UMR\_8001))
Subjects: Trading and Market Microstructure (q-fin.TR); Probability (math.PR)
[174]  arXiv:1705.09373 (replaced) [pdf, other]
Title: Capacity Scaling of Cellular Networks: Impact of Bandwidth, Infrastructure Density and Number of Antennas
Comments: 30 pages, 4 figures, 1 table. Published in IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[175]  arXiv:1706.08374 (replaced) [pdf, ps, other]
Title: Kac-Moody Groups and Completions
Comments: Version 2: minor corrections. Version 3: minor corrections, the final version
Subjects: Group Theory (math.GR); General Topology (math.GN); Representation Theory (math.RT)
[176]  arXiv:1707.08676 (replaced) [pdf, other]
Title: Hyperelliptic classes are rigid and extremal in genus two
Authors: Vance Blankers
Comments: Published version
Journal-ref: \'Epijournal de G\'eom\'etrie Alg\'ebrique, Volume 4 (2020), Article no.2
Subjects: Algebraic Geometry (math.AG)
[177]  arXiv:1709.06006 (replaced) [pdf, ps, other]
Title: Extremal Determinants of Laplace-Beltrami Operators for Rectangular Tori
Authors: Markus Faulhuber
Comments: In Version 3 a flaw in the proof of Prop. 3.15 is corrected, which was detected during the review process. To appear in "Mathematische Zeitschrift"
Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)
[178]  arXiv:1710.06912 (replaced) [pdf, ps, other]
Title: Twisted Alexander Modules of Hyperplane Arrangement Complements
Authors: Eva Elduque
Subjects: Geometric Topology (math.GT)
[179]  arXiv:1711.04672 (replaced) [pdf, ps, other]
Title: Oblique projections on metric spaces
Authors: Matteo Polettini
Comments: 11 pages
Subjects: Functional Analysis (math.FA); Mathematical Physics (math-ph); Metric Geometry (math.MG)
[180]  arXiv:1801.00927 (replaced) [pdf, ps, other]
Title: Zeros of derivatives of strictly non-real meromorphic functions
Authors: J.K. Langley
Comments: Final accepted version
Subjects: Complex Variables (math.CV)
[181]  arXiv:1802.00528 (replaced) [pdf, other]
Title: Implicative algebras: a new foundation for realizability and forcing
Authors: Alexandre Miquel
Comments: 56 pages. Revised version (after reviewers' comments)
Subjects: Logic (math.LO)
[182]  arXiv:1803.07451 (replaced) [pdf, ps, other]
Title: On the automorphy of 2-dimensional potentially semi-stable deformation rings of $G_{\mathbb{Q}_p}$
Authors: Shen-Ning Tung
Comments: 16 pages, v2
Subjects: Number Theory (math.NT)
[183]  arXiv:1804.02725 (replaced) [pdf, ps, other]
Title: The minimal exact crossed product
Comments: 37 pages
Subjects: Operator Algebras (math.OA); Group Theory (math.GR); K-Theory and Homology (math.KT)
[184]  arXiv:1805.05044 (replaced) [pdf, ps, other]
Title: A duality formula and a particle Gibbs sampler for continuous time Feynman-Kac measures on path spaces
Authors: Marc Arnaudon (IMB), Pierre del Moral (UNSW)
Subjects: Probability (math.PR)
[185]  arXiv:1806.00171 (replaced) [pdf, ps, other]
Title: On the nonlinear Cauchy-Riemann equations of structural transformation and nonlinear Laplace equation
Authors: Gen Wang
Comments: 20 pages
Subjects: Complex Variables (math.CV)
[186]  arXiv:1806.03915 (replaced) [pdf, other]
Title: Decentralize and Randomize: Faster Algorithm for Wasserstein Barycenters
Subjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC)
[187]  arXiv:1807.05437 (replaced) [pdf, ps, other]
Title: Construction of Regular Non-Atomic Strictly-Positive Measures in Second-Countable Non-Atomic Locally Compact Hausdorff Spaces
Authors: Jason Bentley
Comments: 11 to 12 pages total, 1 figure
Subjects: Functional Analysis (math.FA)
[188]  arXiv:1807.10801 (replaced) [pdf, other]
Title: On the expected runtime of multiple testing algorithms with bounded error
Authors: Georg Hahn
Subjects: Statistics Theory (math.ST)
[189]  arXiv:1808.04975 (replaced) [pdf, ps, other]
Title: A note on matchings in abelian groups
Subjects: Combinatorics (math.CO)
[190]  arXiv:1809.02963 (replaced) [pdf, ps, other]
Title: Variational Approximation Error in Bayesian Non-negative Matrix Factorization
Authors: Naoki Hayashi
Comments: 21 pages. 1 table. Revision in Neural Networks
Subjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Machine Learning (stat.ML)
[191]  arXiv:1809.06092 (replaced) [pdf, other]
Title: Testing relevant hypotheses in functional time series via self-normalization
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)
[192]  arXiv:1810.03497 (replaced) [pdf, other]
Title: Continuum Schroedinger operators for sharply terminated graphene-like structures
Comments: Revised version -- 89 pages, 2 figures; new title and abstract, revised introduction. In addition to a construction of the nearly flat band of edge states, the article now includes a proof of scaled resolvent convergence in a neighborhood of the low-lying spectrum
Subjects: Analysis of PDEs (math.AP); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Materials Science (cond-mat.mtrl-sci); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
[193]  arXiv:1811.00353 (replaced) [pdf, ps, other]
Title: Hanson-Wright inequality in Banach spaces
Comments: MSC classification and acknowledgement added, minor typo corrected, references updated
Subjects: Probability (math.PR); Functional Analysis (math.FA); Statistics Theory (math.ST)
[194]  arXiv:1811.07798 (replaced) [pdf, ps, other]
Title: Semantic Security and the Second-Largest Eigenvalue of Biregular Graphs
Subjects: Information Theory (cs.IT)
[195]  arXiv:1811.09091 (replaced) [pdf, ps, other]
Title: Kleene stars of the plane, polylogarithms and symmetries
Journal-ref: Theoretical Computer Science, Elsevier, 2019, 800, pp.52-72
Subjects: Symbolic Computation (cs.SC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[196]  arXiv:1812.01306 (replaced) [pdf, ps, other]
Title: Rigidity Conjectures
Comments: Revised version has 41 pages
Subjects: Logic (math.LO); General Topology (math.GN); Operator Algebras (math.OA)
[197]  arXiv:1812.03861 (replaced) [pdf, ps, other]
Title: Majorization, Interpolation and noncommutative Khintchine inequalities
Comments: 22 pages, accepted manuscript
Subjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
[198]  arXiv:1812.07944 (replaced) [pdf, ps, other]
Title: Estimation and Inference in the Presence of Fractional d=1/2 and Weakly Nonstationary Processes
Subjects: Statistics Theory (math.ST)
[199]  arXiv:1812.08428 (replaced) [pdf, ps, other]
Title: Principal series representations of Iwahori-Hecke algebras for Kac-Moody groups over local fields
Authors: Auguste Hébert (UMPA-ENSL, ENS Lyon)
Subjects: Representation Theory (math.RT)
[200]  arXiv:1901.00142 (replaced) [pdf, ps, other]
Title: An expansion for the sum of a product of an exponential and a Bessel function
Authors: R B Paris
Comments: 8 pages, 0 figures
Subjects: Classical Analysis and ODEs (math.CA)
[201]  arXiv:1901.02140 (replaced) [pdf, ps, other]
Title: Rationality of Seshadri constants on general blow ups of $\mathbb{P}^2$
Comments: Proof of Theorem 4.1 re-organized for more clarity; some other minor changes; to appear in J. Pure Appl. Algebra
Subjects: Algebraic Geometry (math.AG)
[202]  arXiv:1901.05947 (replaced) [pdf, other]
Title: Stochastic Gradient Descent on a Tree: an Adaptive and Robust Approach to Stochastic Convex Optimization
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
[203]  arXiv:1901.06383 (replaced) [pdf, ps, other]
Title: Coded Caching based on Combinatorial Designs
Comments: 10 pages, Appeared in Proceedings of IEEE ISIT 2019
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[204]  arXiv:1901.08686 (replaced) [pdf, ps, other]
Title: On the Complexity of Approximating Wasserstein Barycenter
Comments: Corrected misprints. Added a reference to accelerated Iterative Bregman Projections introduced in arXiv:1906.03622
Journal-ref: ICML 2019, in PMLR 97:3530-3540. http://proceedings.mlr.press/v97/kroshnin19a.html
Subjects: Optimization and Control (math.OC); Data Structures and Algorithms (cs.DS)
[205]  arXiv:1901.09246 (replaced) [pdf, ps, other]
Title: Blowing-up solutions of the time-fractional dispersive equations
Comments: 24 pages
Subjects: Analysis of PDEs (math.AP)
[206]  arXiv:1902.01708 (replaced) [pdf, ps, other]
Title: Weighted Translation Semigroups: Multivariable Case
Comments: 18 pages
Subjects: Functional Analysis (math.FA)
[207]  arXiv:1902.04685 (replaced) [pdf, other]
Title: Detecting and determining preserved measures and integrals of rational maps
Subjects: Numerical Analysis (math.NA)
[208]  arXiv:1902.10686 (replaced) [pdf, other]
Title: Compact moduli of elliptic K3 surfaces
Comments: Expository greatly improved and fixed an error in Proposition 6.10. New Section (9) giving an explicit stratification of the moduli space. Comments welcome
Subjects: Algebraic Geometry (math.AG)
[209]  arXiv:1903.00269 (replaced) [pdf, ps, other]
Title: Covariance-Aided CSI Acquisition with Non-Orthogonal Pilots in Massive MIMO: A Large-System Performance Analysis
Comments: Accepted for publication in the IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[210]  arXiv:1903.01729 (replaced) [pdf, ps, other]
Title: Bounded negativity and Harbourne constants on ruled surfaces
Comments: Added some examples; some other minor changes; to appear in Manuscripta Math
Subjects: Algebraic Geometry (math.AG)
[211]  arXiv:1903.05315 (replaced) [pdf, ps, other]
Title: Optimality of Maximum Likelihood for Log-Concave Density Estimation and Bounded Convex Regression
Subjects: Statistics Theory (math.ST); Machine Learning (cs.LG)
[212]  arXiv:1903.09321 (replaced) [pdf, other]
Title: WONDER: Weighted one-shot distributed ridge regression in high dimensions
Comments: Gave the name "Wonder" to the algorithm, updated title, added algorithm for general non-isotropic design
Subjects: Statistics Theory (math.ST); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Computation (stat.CO)
[213]  arXiv:1903.10646 (replaced) [pdf, other]
Title: Increasing Iterate Averaging for Solving Saddle-Point Problems
Subjects: Machine Learning (cs.LG); Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC); Machine Learning (stat.ML)
[214]  arXiv:1904.02886 (replaced) [pdf, other]
Title: A modified May-Holling-Tanner predator-prey model with multiple Allee effects on the prey and an alternative food source for the predator
Comments: 23 pages, 10 figures. arXiv admin note: text overlap with arXiv:1809.05854, arXiv:1901.01118
Subjects: Dynamical Systems (math.DS)
[215]  arXiv:1904.06744 (replaced) [pdf, ps, other]
Title: A Personalized Preference Learning Framework for Caching in Mobile Networks
Comments: 21 pages, 10 figures, 1 table, to appear in the IEEE Transactions on Mobile Computing
Subjects: Networking and Internet Architecture (cs.NI); Information Retrieval (cs.IR); Information Theory (cs.IT); Machine Learning (cs.LG); Multimedia (cs.MM)
[216]  arXiv:1905.01183 (replaced) [pdf, ps, other]
Title: Some remarks on blueprints and ${\mathbb F}_1$-schemes
Comments: 38 pages. Last two sections revised; typos corrected
Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT)
[217]  arXiv:1905.11011 (replaced) [pdf, other]
Title: Robustness of accelerated first-order algorithms for strongly convex optimization problems
Comments: 45 pages, 6 figures
Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY)
[218]  arXiv:1905.11379 (replaced) [pdf, ps, other]
Title: A New Non-Linear Conjugate Gradient Algorithm for Destructive Cure Rate Model and a Simulation Study: Illustration with Negative Binomial Competing Risks
Authors: Suvra Pal, Souvik Roy
Comments: arXiv admin note: text overlap with arXiv:1905.05963
Subjects: Statistics Theory (math.ST); Optimization and Control (math.OC)
[219]  arXiv:1905.12205 (replaced) [pdf, ps, other]
Title: Distinguished representations, Shintani base change and a finite field analogue of a conjecture of Prasad
Authors: Chang Yang
Comments: 23 pages; The 1st version undergoes a major revision. removed the split hypothesis; added a result in the p-adic case; to appear in Adv. Math
Subjects: Representation Theory (math.RT)
[220]  arXiv:1905.13002 (replaced) [pdf, other]
Title: Temporal Parallelization of Bayesian Smoothers
Subjects: Computation (stat.CO); Distributed, Parallel, and Cluster Computing (cs.DC); Dynamical Systems (math.DS)
[221]  arXiv:1906.02883 (replaced) [pdf, ps, other]
Title: Adaptive Step Size Strategy for Orthogonality Constrained Line Search Methods
Comments: 27 pages, 5 figures, 4 tables
Subjects: Optimization and Control (math.OC)
[222]  arXiv:1907.02955 (replaced) [pdf, other]
Title: Upscaling and spatial localization of non-local energies with persistent nonlinearities
Comments: 30 pages
Subjects: Optimization and Control (math.OC)
[223]  arXiv:1907.06289 (replaced) [pdf, ps, other]
Title: Statistics of the First Galois Cohomology Group: A Refinement of Malle's Conjecture
Authors: Brandon Alberts
Comments: version 2: Updates correct some errors near the end of sections 4 and 5. Additionally, the notation and terminology is updated to be easier to read and match notation currently in the literature
Subjects: Number Theory (math.NT)
[224]  arXiv:1907.09321 (replaced) [pdf, ps, other]
Title: Scaling limits and fluctuations for random growth under capacity rescaling
Comments: 45 pages. Version 2: We introduce a new section to show our approximation to the regularisation of the model at infinity is sufficient. The structure of section 4 has been rearranged and we have made some other minor revisions
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Complex Variables (math.CV)
[225]  arXiv:1907.11583 (replaced) [pdf, ps, other]
Title: On Laplace--Carleson embeddings, and $L^p$-mapping properties of the Fourier transform
Authors: Eskil Rydhe
Comments: Revised according to referee's comments. Accepted for publication in Arkiv f\"or Matematik
Subjects: Functional Analysis (math.FA)
[226]  arXiv:1908.01658 (replaced) [pdf, other]
Title: Integrals along bimonoid homomorphisms
Authors: Minkyu Kim
Subjects: Quantum Algebra (math.QA)
[227]  arXiv:1908.02010 (replaced) [pdf, ps, other]
Title: Proofs for certain Pi_{q}-identities of W. Gosper
Authors: Bing He
Comments: 13 pages. Critical comments are always welcome
Subjects: Classical Analysis and ODEs (math.CA); Number Theory (math.NT)
[228]  arXiv:1908.02031 (replaced) [pdf, ps, other]
Title: An algorithm for the optimal solution of variable knockout problems
Authors: J.E. Beasley
Subjects: Optimization and Control (math.OC)
[229]  arXiv:1908.04340 (replaced) [pdf, ps, other]
Title: On Reeb graphs induced from smooth functions on closed or open manifolds
Authors: Naoki Kitazawa
Comments: 18 pages, 9 figures, this version is revised from the previous one, this version is resubmitted to a refereed journal, mistakes are due to carelessness of the author
Subjects: Geometric Topology (math.GT); General Topology (math.GN)
[230]  arXiv:1908.10153 (replaced) [pdf, ps, other]
Title: A modified proof for Higman's embedding theorem
Authors: V. H. Mikaelian
Subjects: Group Theory (math.GR)
[231]  arXiv:1909.03910 (replaced) [pdf, ps, other]
Title: Crossing-changeable braids from chromatic configuration spaces
Authors: Hao Li, Zhi Lü
Comments: 17 pages, It has been accepted for publication in SCIENCE CHINA Mathematics
Subjects: Algebraic Topology (math.AT); Group Theory (math.GR); Geometric Topology (math.GT)
[232]  arXiv:1909.07309 (replaced) [pdf, other]
Title: Space-time Galerkin isogeometric method and efficient solver for parabolic problems
Comments: 21 pages, 6 figures
Subjects: Numerical Analysis (math.NA)
[233]  arXiv:1909.08215 (replaced) [pdf, ps, other]
Title: Computational multiscale methods for first-order wave equation using mixed CEM-GMsFEM
Comments: 17 pages, 5 figures
Subjects: Numerical Analysis (math.NA)
[234]  arXiv:1909.09183 (replaced) [pdf, other]
Title: Hybrid Inexact BCD for Coupled Structured Matrix Factorization in Hyperspectral Super-Resolution
Comments: 32 pages, 3 figures, 5 tables. Codes available at this https URL To appear in IEEE Transactions on Signal Processing
Subjects: Signal Processing (eess.SP); Image and Video Processing (eess.IV); Optimization and Control (math.OC)
[235]  arXiv:1910.00238 (replaced) [pdf, ps, other]
Title: Polynomial functions of the ring $\mathbb{Z}_m[α]$ of dual numbers modulo $m$
Subjects: Commutative Algebra (math.AC); Rings and Algebras (math.RA)
[236]  arXiv:1910.00643 (replaced) [pdf, other]
Title: SlowMo: Improving Communication-Efficient Distributed SGD with Slow Momentum
Comments: Accepted to ICLR 2020
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC); Machine Learning (stat.ML)
[237]  arXiv:1910.01367 (replaced) [pdf, ps, other]
Title: Distance Matrix of a Multi-block Graph: Determinant and Inverse
Subjects: Combinatorics (math.CO)
[238]  arXiv:1910.02116 (replaced) [pdf, other]
Title: The Bayesian Inversion Problem for Thermal Average Sampling of Quantum Systems
Subjects: Numerical Analysis (math.NA)
[239]  arXiv:1910.03175 (replaced) [pdf, other]
Title: MIM: Mutual Information Machine
Comments: Pre-print. Project webpage: this https URL
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)
[240]  arXiv:1910.03344 (replaced) [pdf, ps, other]
Title: The Universal Approximation Property: Characterizations, Existence, and a Canonical Topology for Deep-Learning
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Dynamical Systems (math.DS)
[241]  arXiv:1910.03716 (replaced) [pdf, other]
Title: Proving Global Optimality of ACOPF Solutions
Subjects: Optimization and Control (math.OC)
[242]  arXiv:1910.05270 (replaced) [pdf, ps, other]
Title: Fast and Bayes-consistent nearest neighbors
Subjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Machine Learning (stat.ML)
[243]  arXiv:1910.10955 (replaced) [pdf, ps, other]
Title: Semigroups for quadratic evolution equations acting on Shubin-Sobolev and Gelfand-Shilov spaces
Authors: Patrik Wahlberg
Comments: The proof of Prop. 6.2 was wrong, and Rem. 6.4 (v1). This is corrected in v2
Subjects: Analysis of PDEs (math.AP)
[244]  arXiv:1910.11423 (replaced) [pdf, ps, other]
Title: Lines, conics, and all that
Comments: 37 pages; renovated version, new recent results added
Subjects: Algebraic Geometry (math.AG)
[245]  arXiv:1911.00865 (replaced) [pdf, ps, other]
Title: Robust Adaptive Model Predictive Control: Performance and Parameter Estimation
Subjects: Optimization and Control (math.OC)
[246]  arXiv:1911.02767 (replaced) [pdf, other]
Title: Robust inference of memory structure for efficient quantum modelling of stochastic processes
Comments: 10 pages, 6 figures
Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT)
[247]  arXiv:1911.03432 (replaced) [pdf, other]
Title: Penalty Method for Inversion-Free Deep Bilevel Optimization
Comments: 17 Pages, 7 figures
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[248]  arXiv:1911.04491 (replaced) [pdf, other]
Title: Cutting Multiparticle Correlators Down to Size
Comments: 17 pages, 5 tables, 1 figure, many multigraphs; v2: updated to match PRD version
Subjects: High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th); Combinatorics (math.CO)
[249]  arXiv:1911.04603 (replaced) [pdf, other]
Title: Matchings in 1-planar graphs with large minimum degree
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[250]  arXiv:1911.05295 (replaced) [pdf, ps, other]
Title: An improved asymptotic formula for the distribution of irreducible polynomials in arithmetic progressions over Fq
Subjects: Combinatorics (math.CO)
[251]  arXiv:1911.05793 (replaced) [pdf, other]
Title: Extended FLRW Models: dynamical cancellation of cosmological anisotropies
Comments: 31 pages, 2 figures; v2: minor amendments to match the version published in CQG
Journal-ref: Class. Quantum Grav. 37 (2020) 065015
Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and Nongalactic Astrophysics (astro-ph.CO); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[252]  arXiv:1911.09965 (replaced) [pdf, other]
Title: Capacity scaling in a Non-coherent Wideband Massive SIMO Block Fading Channel
Comments: Published in IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[253]  arXiv:1912.01599 (replaced) [pdf, ps, other]
Title: Stationary Points of Shallow Neural Networks with Quadratic Activation Function
Comments: 30 pages
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC); Probability (math.PR); Statistics Theory (math.ST)
[254]  arXiv:1912.04096 (replaced) [pdf, other]
Title: Optimal Link Scheduling in Millimeter Wave Multi-hop Networks with MU-MIMO radios
Comments: Published in IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[255]  arXiv:1912.04987 (replaced) [pdf, other]
Title: Analysis of a simple equation for the ground state energy of the Bose gas
Comments: We have solved one of the open problems in v1, specifically, the positivity of the solution to the equation
Subjects: Mathematical Physics (math-ph); Quantum Gases (cond-mat.quant-gas); Analysis of PDEs (math.AP)
[256]  arXiv:1912.05541 (replaced) [pdf, other]
Title: Fundamental Entropic Laws and $\mathcal{L}_p$ Limitations of Feedback Systems: Implications for Machine-Learning-in-the-Loop Control
Comments: arXiv admin note: text overlap with arXiv:1912.02628
Subjects: Systems and Control (eess.SY); Information Theory (cs.IT); Machine Learning (cs.LG); Robotics (cs.RO); Machine Learning (stat.ML)
[257]  arXiv:1912.06836 (replaced) [pdf, ps, other]
Title: Nonnegative Low Rank Matrix Approximation for Nonnegative Matrices
Comments: 25 pages 4 figures
Subjects: Optimization and Control (math.OC)
[258]  arXiv:1912.06949 (replaced) [pdf, ps, other]
Title: Structure Theory for a Class of Grade 3 Homogeneous Ideals Defining Type 2 Compressed Rings
Comments: 24 pages
Subjects: Commutative Algebra (math.AC)
[259]  arXiv:1912.08335 (replaced) [pdf, other]
Title: Learning under Model Misspecification: Applications to Variational and Ensemble methods
Comments: Typos corrected. Section 3 partially revised. New section at the appendix
Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
[260]  arXiv:1912.10904 (replaced) [pdf, ps, other]
Title: Holomorphic quantum Hall states in higher Landau levels
Authors: Nicolas Rougerie (LPM2C), Jakob Yngvason
Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
[261]  arXiv:1912.12986 (replaced) [pdf, ps, other]
Title: On the $R_{f_B}$ condition for the $(2+m)$-Einstein warped product manifolds and suggestion for $(n,-n)$-POLJ-manifolds applications
Subjects: Differential Geometry (math.DG)
[262]  arXiv:1912.13154 (replaced) [pdf, other]
Title: Higher-order algorithms and implicit regularization for nonlinearly parameterized adaptive control
Comments: significant updates; submission ready
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
[263]  arXiv:2001.00322 (replaced) [pdf, ps, other]
Title: T-Duality, Jacobi Forms and Witten Gerbe Modules
Authors: Fei Han (NUS), Varghese Mathai (Adelaide)
Comments: 24 pages, minor corrections, references added
Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[264]  arXiv:2001.08289 (replaced) [pdf, other]
Title: Substitution of subspace collections with nonorthogonal subspaces to accelerate Fast Fourier Transform methods applied to conducting composites
Authors: Graeme W. Milton
Comments: 18 pages, 9 figures. Published as Chapter 8 in the Book "Extending the Theory of Composites to Other Areas of Science" edited by Graeme W. Milton
Subjects: Numerical Analysis (math.NA)
[265]  arXiv:2001.08973 (replaced) [pdf, ps, other]
Title: A continuum limit for the PageRank algorithm
Subjects: Analysis of PDEs (math.AP); Machine Learning (cs.LG); Numerical Analysis (math.NA); Probability (math.PR)
[266]  arXiv:2001.11262 (replaced) [pdf, ps, other]
Title: Distance Matrix of Weighted Cactoid-type Digraphs
Subjects: Combinatorics (math.CO)
[267]  arXiv:2002.00355 (replaced) [pdf, other]
Title: $f$-vectors of $3$-polytopes symmetric under rotations and rotary reflections
Comments: 38 pages, 15 figures, 12 tables
Subjects: Metric Geometry (math.MG)
[268]  arXiv:2002.02263 (replaced) [pdf, ps, other]
Title: Stochastic homogenization of a class of nonconvex viscous HJ equations in one space dimension
Comments: 25 pages, 1 figure
Subjects: Analysis of PDEs (math.AP)
[269]  arXiv:2002.02662 (replaced) [pdf, ps, other]
Title: Blocks and characters of $D(2|1;ζ)$-modules of non-integral weights
Comments: 27 pages. The reference has been corrected in this version
Subjects: Representation Theory (math.RT)
[270]  arXiv:2002.03145 (replaced) [pdf, ps, other]
Title: Means-fit effectivity
Authors: Yuri Gurevich
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[271]  arXiv:2002.04014 (replaced) [pdf, other]
Title: Statistically Efficient Off-Policy Policy Gradients
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
[272]  arXiv:2002.04320 (replaced) [pdf, other]
Title: Self-concordant analysis of Frank-Wolfe algorithms
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Computation (stat.CO)
[273]  arXiv:2002.04357 (replaced) [pdf, ps, other]
Title: Concentration inequality using unconfirmed knowledge
Authors: Go Kato
Comments: 16pages
Subjects: Probability (math.PR); Quantum Physics (quant-ph)
[274]  arXiv:2002.04474 (replaced) [pdf, ps, other]
Title: Two new non-negativity preserving iterative regularization methods for ill-posed inverse problems
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
[275]  arXiv:2002.04660 (replaced) [pdf, other]
Title: Some remarks on equilateral triangulations of surfaces and Belyi functions
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
[276]  arXiv:2002.04750 (replaced) [pdf, ps, other]
Title: On the cohomology of Kobayashi's plus/minus norm groups and applications
Authors: Meng Fai Lim
Comments: Some minor changes and additions
Subjects: Number Theory (math.NT)
[277]  arXiv:2002.05456 (replaced) [pdf, other]
Title: On an explicit zero-free region for the Dedekind zeta-function
Authors: Ethan S. Lee
Comments: 15 pages, 4 tables
Subjects: Number Theory (math.NT)
[278]  arXiv:2002.06117 (replaced) [pdf, ps, other]
Title: Local continuity of log-concave projection, with applications to estimation under model misspecification
Subjects: Statistics Theory (math.ST)
[279]  arXiv:2002.06147 (replaced) [pdf, ps, other]
Title: Sharp inequalities on circular and hyperbolic functions using a Bernoulli inequality type
Subjects: General Mathematics (math.GM)
[280]  arXiv:2002.06335 (replaced) [pdf, ps, other]
Title: The influence of the rolling resistance model on tippe top inversion
Comments: now in English
Subjects: Dynamical Systems (math.DS)
[281]  arXiv:2002.06874 (replaced) [pdf, other]
Title: On sensing-aware model predictive path-following control for a reversing general 2-trailer with a car-like tractor
Comments: IEEE International Conference on Robotics and Automation (ICRA), 2020
Subjects: Robotics (cs.RO); Optimization and Control (math.OC)
[282]  arXiv:2002.07097 (replaced) [pdf, ps, other]
Title: Strong solutions of stochastic differential equations with coefficients in mixed-norm spaces
Subjects: Analysis of PDEs (math.AP)
[283]  arXiv:2002.07176 (replaced) [pdf, ps, other]
Title: Transitive nilpotent Lie algebras of vector fields and their Tanaka prolongations
Comments: 11 pages. The title has been corrected
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
[284]  arXiv:2002.07321 (replaced) [pdf, other]
Title: On Generalization and Acceleration of Randomized Projection Methods for Linear Feasibility Problems
Subjects: Optimization and Control (math.OC)
[285]  arXiv:2002.08306 (replaced) [pdf, ps, other]
Title: Kolakoski Sequence and Parity of Subwords
Subjects: Combinatorics (math.CO)
[ 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, 2002, contact, help  (Access key information)