Mathematics
New submissions
[ 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 lineAuthors: Gerald KubaSubjects: 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 nonhomeomorphic 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 nonhomeomorphic 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 spaceSubjects: 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 rateindependent soft crawlersSubjects: 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 softrobotic 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: Nonlinear network dynamics with consensusdissensus bifurcationComments: 16 pages, 5 figuresSubjects: Dynamical Systems (math.DS); Physics and Society (physics.socph)
We study a nonlinear 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 nonlinear 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 modelsSubjects: 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 $(J1)$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 nonparametric 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 ringComments: 10 pagesSubjects: 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 rankAuthors: Tove DahnSubjects: 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 multiarmed banditsComments: 20 pagesSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
The bias of the sample means of the arms in multiarmed 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 nonoscillatory reconstructionsSubjects: Numerical Analysis (math.NA)
The goal of this work is to introduce new families of shockcapturing highorder 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 CauchyKovalevskaya 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 SSPRK 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 dataComments: 20 pages, 5 figuresSubjects: 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 illposed 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 quasireversibility approach. The cost functional for the quasireversibility method is constructed as a Tikhonovlike 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 Tikhonovlike 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 ImportanceComments: 34pages, 7 figuresSubjects: 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 importanceweighted 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 waterfilling. 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 tradeoff 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 smallprobability 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 Gstable rank for tensorsAuthors: Harm DerksenComments: 24 pagesSubjects: 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 HilbertMumford 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 theoremComments: 11 pagesSubjects: 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 selfcontained 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 estimatesSubjects: Analysis of PDEs (math.AP)
We show that certain $L^2$ spacetime estimates for generalized density matrices which have been used by several authors in recent years to study equations of BBGKY or HartreeFock type, do not have nontrivial $L^pL^q$ generalizations.
 [15] arXiv:2002.08452 [pdf, ps, other]

Title: Finiteness results concerning algebraic power seriesComments: 12 pagesSubjects: 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 SplittingComments: 71 pages, 1 figureSubjects: 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 nonflat (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 EquationsComments: 25 pages, 1 figure, 7 tablesSubjects: Numerical Analysis (math.NA)
We derive and analyze the alternating direction explicit (ADE) method for time evolution equations with the timedependent 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 ProblemsSubjects: 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 HamiltonJacobiBellman (HJB) equation coming from stochastic optimal control problems. The computational challenge is due to the nature of the HJB equation, which may be a secondorder 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 Mmatrix. 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 RootSubjects: 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 groupsAuthors: S. N. StelmastchukComments: 7 pagesSubjects: 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\'eBendixon's Theorem for periodic orbits.
 [21] arXiv:2002.08480 [pdf, ps, other]

Title: On contact loci of hyperplane arrangementsSubjects: 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 2ComplexSubjects: 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 2skeleton. From this we conclude that the minimizing problem is in general algorithmically undecidable, but can be solved for 2dimensional CAT(1)complexes.
 [23] arXiv:2002.08488 [pdf, ps, other]

Title: Massive MIMO with MultiAntenna Users under Jointly Correlated Ricean FadingComments: Submitted to ICC 2020Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
We study the uplink performance of massive multipleinput multipleoutput (MIMO) when users are equipped with multiple antennas. To this end, we consider a generalized channel model that accounts for lineofsight 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 closedform expression for the uplink spectral efficiency using maximumratio combining and minimum mean square error channel estimation. Our result is a nontrivial 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 eigenproblemsComments: 22 pages, 6 figuresSubjects: 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 conditionComments: 17 pagesSubjects: Probability (math.PR); Mathematical Physics (mathph)
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 GaltonWatson trees and linear preferential attachment treesSubjects: 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 GaltonWatson trees conditioned to have size $n$, and growing general linear preferential attachment trees. The former class includes uniform random trees, the latter class includes Yuletrees (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 fringetree 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 bundlesComments: 23 pagesSubjects: 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 nonabelian 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 PhysicsAuthors: Devashish SinghComments: 111 pages, Doctoral thesisSubjects: Mathematical Physics (mathph); High Energy Physics  Theory (hepth)
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 TrustRegion Method For Nonsmooth Nonconvex OptimizationSubjects: Optimization and Control (math.OC)
We propose a trustregion 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 trustregion subproblem is always quadratic and the linear term of the model is generated using abstract descent directions. Therefore, the trustregion 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 trustregion 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 growthAuthors: Joseph GubeladzeComments: 17 pagesSubjects: 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) 3polytopes, (ii) 4polytopes under a certain infinitesimal quasipyramidal relaxation, and (iii) all dimensions asymptotically. The motivation partly comes from our study of Ktheory of monoid rings and of certain posets of discreteconvex objects.
 [31] arXiv:2002.08524 [pdf, ps, other]

Title: The Open Crepant Transformation Conjecture for Toric CalabiYau 3OrbifoldsAuthors: Song YuComments: 33 pages, 10 figuresSubjects: Algebraic Geometry (math.AG)
We prove an open version of Ruan's Crepant Transformation Conjecture for toric CalabiYau 3orbifolds, which is an identification of disk invariants of Kequivalent semiprojective toric CalabiYau 3orbifolds relative to corresponding Lagrangian suborbifolds of AganagicVafa type. Our main tool is a mirror theorem of FangLiuTseng that relates these disk invariants to local coordinates on the Bmodel mirror curves. Treating toric crepant transformations as wallcrossings 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 BriniCavalieriRoss on disk invariants of threefold typeA singularities and of KeZhou on crepant resolutions with effective outer branes.
 [32] arXiv:2002.08534 [pdf, ps, other]

Title: Report on the finiteness of silting objectsComments: 15 pagesSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We discuss the finiteness of (twoterm) silting objects. First, we investigate new triangulated categories without silting object. Second, one studies two classes of $\tau$tiltingfinite algebras and give the numbers of their twoterm silting objects. Finally, we explore when $\tau$tiltingfiniteness implies representatoinfiniteness, and obtain several classes of algebras in which a $\tau$tiltingfinite algebra is representationfinite.
 [33] arXiv:2002.08535 [pdf, ps, other]

Title: The fraction of an $S_n$orbit on a hyperplaneAuthors: Brendan PawlowskiComments: 11 pagesSubjects: 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 (n2)!$ 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 ApproximationSubjects: 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 plainvanilla 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 ProductsAuthors: Krishnendu KhanComments: 36 pages, 1 figureSubjects: 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 DataComments: 8 PagesSubjects: 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 pvalue for a hypothesis test of this correlation method are a tstatistic and permutation sampling. When a dataset comes from a bivariate normal distribution under specific data transformations a tstatistic 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 pvalue 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 GroupsAuthors: Chenyan WuComments: 33 pages. Preliminary draftSubjects: 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 nonvanishing 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: DiffusingHorizon Model Predictive ControlSubjects: Optimization and Control (math.OC)
We present a new timecoarsening strategy for model predictive control (MPC) that we call diffusinghorizon 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 recentlyestablished 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 highquality solutions compared to uniform timecoarsening strategies. Specifically, we show that computational times can be decreased by a factor of 100 while increasing the optimal closedloop 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 ApproachesSubjects: Optimization and Control (math.OC)
This paper develops column partition based distributed schemes for a class of largescale 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 BPlike problems under suitable exact regularization conditions. A wide range of existing distributed schemes can be exploited to solve the obtained dual problems. This yields twostage column partition based distributed schemes for LASSOlike and BPDNlike 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 TQFTComments: 30 pagesSubjects: Quantum Algebra (math.QA); Category Theory (math.CT)
In [BK], it is shown that the TuraevViro invariants defined for a spherical fusion category $\mathcal{A}$ extends to invariants of 3manifolds with corners. In [Kir], an equivalent formulation for the 21 part of the theory (2manifolds with boundary) is described using the space of "stringnets with boundary conditions" as the vector spaces associated to 2manifolds with boundary. Here we construct a similar theory for the 32 part of the 432 theory in [CY1993].
 [41] arXiv:2002.08572 [pdf, ps, other]

Title: Contact (+1)surgeries on rational homology 3spheresComments: 22 pages, 9 figuresSubjects: Geometric Topology (math.GT); Symplectic Geometry (math.SG)
In this paper, sufficient conditions for contact $(+1)$surgeries along Legendrian knots in contact rational homology 3spheres 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 3sphere. We also obtain a sufficient condition for contact $(+1)$surgeries along Legendrian twocomponent links in the standard contact 3sphere to be overtwisted via their front projections.
 [42] arXiv:2002.08573 [pdf, ps, other]

Title: Convergence analysis of a variational quasireversibility approach for an inverse hyperbolic heat conduction problemComments: 26 pagesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
We study a timereversed hyperbolic heat conduction problem based upon the MaxwellCattaneo model of nonFourier heat law. This heat and mass diffusion problem is a hyperbolic type equation for thermodynamics systems with thermal memory or with finite timedelayed 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 quasireversibility method for the classical timereversed 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 wellposedness 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 oddComments: 13 pagesSubjects: 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: Lineartime Erasure Listdecoding of Expander CodesSubjects: Information Theory (cs.IT)
We give a lineartime erasure listdecoding 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 listdecode 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 lineartime algorithm that can listdecode 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 erasurelistdecoding 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 MultiAgent NetworksComments: 10 pages, 2 figures, an extended version of a paper submitted to CDC20Subjects: Optimization and Control (math.OC)
This work considers the distributed computation of the onetoone vertex correspondences between two undirected and connected graphs, which is called \textit{graph matching}, over multiagent 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 primaldual 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 AnalysisSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper considers a multiantenna multicast system with programmable metasurface (PMS) based transmitter. Taking into account of the finiteresolution 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 closedform 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. Closedform 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 noncollapsed $RCD$ spacesAuthors: Shouhei HondaComments: 9 pages. Submitted to a special issue of SIGMA on scalar and Ricci curvature in honor of Misha Gromov's 75th birthdaySubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
In this short note we provide several conjectures on the regularity of measured GromovHausdorff 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 sphereComments: 8 pagesSubjects: Mathematical Physics (mathph); 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 inequalitiesAuthors: Pablo Montiel LópezSubjects: 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 collagetype result in this variational framework.
 [50] arXiv:2002.08620 [pdf, other]

Title: A generalization of modular moonshine to composite orderAuthors: Satoru UranoComments: 14 pagesSubjects: 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 approximationComments: 55 pages, 13 figuresSubjects: 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: Skewgentle algebras and orbifolds: Oberwolfach talk, January 2020Authors: Sibylle SchrollSubjects: Representation Theory (math.RT)
This is an extended abstract of my talk at the OberwolfachWorkshop "Representation Theory of FiniteDimensional Algebras" (1924 January 2020). It introduces a geometric orbifold model for the bounded derived category of a skewgentle algebra. This is joint work with Daniel LabardiniFragoso and Yadira ValdiviesoD\'iaz.
 [53] arXiv:2002.08632 [pdf, ps, other]

Title: Convolutional Approximate MessagePassingAuthors: Keigo TakeuchiComments: The paper was accepted for publication on IEEE Signal Process. LettSubjects: Information Theory (cs.IT)
This letter proposes a novel messagepassing algorithm for signal recovery in compressed sensing. The proposed algorithm solves the disadvantages of approximate messagepassing (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 highcomplexity matrix inversion while it is applicable for a wide class of sensing matrices. The key feature of the proposed algorithm is the socalled Onsager correction via a convolution of messages in all preceding iterations while the conventional messagepassing algorithms have correction terms that depend only on messages in the latest iteration. Thus, the proposed algorithm is called convolutional AMP (CAMP). Illconditioned 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 PDEsSubjects: 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 TheoremSubjects: 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 subcompactum $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 TheoremComments: 39 pages, 3 figuresSubjects: 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 nondegenerate 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 OsgoodTaylorCaratheodry 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 meanfield model of IntegrateandFire neurons: nonlinear stability of the stationary solutionsAuthors: Quentin CormierSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We consider a stochastic network of IntegrateandFire spiking neurons, in its meanfield asymptotic. Given an invariant probability measure of the McKeanVlasov 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: DonskerVaradhan Large Deviations for PathDistribution Dependent SPDEsComments: 32 pagesSubjects: Probability (math.PR)
As an important tool characterizing the long time behavior of Markov processes, the DonskerVaradhan LDP (large deviation principle) does not directly apply to distribution dependent SDEs/SPDEs since the solutions are nonMarkovian. 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 pathdistribution dependent SPDEs which should be interesting by themselves.
 [59] arXiv:2002.08656 [pdf, ps, other]

Title: Intrinsic characterization of Sobolev spaces with boundary conditionsAuthors: Sebastian BechtelComments: 18 pagesSubjects: 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 recombinationComments: to appear in: Probabilistic Structures in Evolution, E. Baake and A. Wakolbinger (eds.), EMS Publishing House, ZurichSubjects: Probability (math.PR); Dynamical Systems (math.DS); Populations and Evolution (qbio.PE)
Solving the recombination equation has been a longstanding 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 coloringsComments: 35 pagesSubjects: 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 systemSubjects: Mathematical Physics (mathph)
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 mapsComments: 51 pages, 6 figuresSubjects: 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 resultsComments: Contribution to the proceedings of QMath14 in Aarhus 2019Subjects: Mathematical Physics (mathph); Quantum Physics (quantph)
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 nonequilibrium almoststationary 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 NetworksAuthors: Jan Backhaus, Matthias Bolten, Onur Tanil Doganay, Matthias Ehrhardt, Benedikt Engel, Christian Frey, Hanno Gottschalk, Michael Günther, Camilla Hahn, Jens Jäschke, Peter Jaksch, Kathrin Klamroth, Alexander Liefke, Daniel Luft, Lucas Mäde, Vincent Marciniak, Marco Reese, Johanna Schultes, Volker Schulz, Sebastian Schmitz, Johannes Steiner, Michael StiglmayrSubjects: 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 shutdown 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 Paretooptimal solutions.
 [66] arXiv:2002.08674 [pdf, ps, other]

Title: Eigenvalue Bifurcation in Doubly Nonlinear Problems with an Application to Surface Plasmon PolaritonsSubjects: Analysis of PDEs (math.AP)
We consider a class of generally nonselfadjoint 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 LyapunovSchmidt 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 invariantsAuthors: Berit SingerSubjects: 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 TriangulationsAuthors: Bill JacksonSubjects: Combinatorics (math.CO)
We give a short proof of a result of Jordan and Tanigawa that a 4connected 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 RegulationSubjects: 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 groupsComments: 32 pagesSubjects: 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 semidirect product of free groups in the cabled generators.
 [71] arXiv:2002.08691 [pdf, ps, other]

Title: Deformed CalogeroMoser operators and ideals of rational Cherednik algebrasComments: 25 pagesSubjects: Mathematical Physics (mathph); 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 CalogeroMoser 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 CalogeroMoser 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 manifoldsComments: 10 pagesSubjects: 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$ anticommutes 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}^{n1}$  in $\mathbb{C}^n$. We show that if $S\subset\mathbb{C}^n$ is a sufficientlysmall 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 n2 Hessian equationSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
This paper establishes the global curvature estimate for the $n2$ 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 matricesComments: 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 viewSubjects: Algebraic Geometry (math.AG)
In this paper we observe that the {\L}ojasiewicz exponent $\mathcal{L}_0(X)$ of an ADEtype 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 RTPtype singularities.
 [77] arXiv:2002.08710 [pdf, other]

Title: Deep Energy Autoencoder for Noncoherent Multicarrier MUSIMO SystemsComments: Accepted, IEEE TWCSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
We propose a novel deep energy autoencoder (EA) for noncoherent multicarrier multiuser singleinput multipleoutput (MUSIMO) systems under fading channels. In particular, a singleuser noncoherent EAbased (NCEA) 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 NCEA is fed only with the energy combined from all receive antennas, while its encoder outputs a realvalued vector whose elements stand for the subcarrier power levels. Using the NCEA, we then develop two novel DNN structures for both uplink and downlink NCEA multiple access (NCEAMA) schemes, based on the multicarrier MUSIMO framework. Note that NCEAMA allows multiple users to share the same subcarriers, thus enables to achieve higher performance gains than noncoherent orthogonal counterparts. By properly training, the proposed NCEA and NCEAMA 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 TransportComments: 30 pages, 5 figuresSubjects: 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 $YX$ 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 characterizationsgeometric, ordertheoretic, as optimal transport, through the cdf, and via the transport kernelthat 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 EulerPoincaré equationsAuthors: Hao TangComments: 40 pagesSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
In this paper, we first establish the existence, uniqueness and the blowup criterion of the pathwise strong solution to the periodic boundary value problem of the stochastic EulerPoincar\'{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 EulerPoincar\'{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 1D case, namely the stochastic CamassaHolm 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 DecisionMaking Model for Aggregation of Residential Units with PVSystems and StoragesSubjects: 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 twosettlement 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 realtime 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 realtime market into scenario generation process without retraining SARIMA or refitting 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 decisionmaking model.
 [81] arXiv:2002.08724 [pdf, other]

Title: Generalized sampling with functional principal components for highresolution random field estimationAuthors: Milana GataricSubjects: 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 lowresolution measurements taken with respect to an arbitrary basis, by regarding the function of interest as a realization of a random field. We introduce an infinitedimensional framework for highresolution estimation of a random field from its lowresolution indirect measurements as well as the highresolution 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 highresolution recovery is indeed possible provided appropriate lowrank 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 onevariate functions and a Fourier restriction theorem for related perturbations of the hyperbolic paraboloidComments: 39 pages, 1 figureSubjects: 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 CornersAuthors: Ville SaloComments: 44 pages, 4 figuresSubjects: 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 equationsSubjects: Analysis of PDEs (math.AP)
This paper is concerned with an inverse random source problem for the threedimensional timeharmonic Maxwell equations. The source is assumed to be a centered complexvalued Gaussian vector field with correlated components, and its covariance operator is a pseudodifferential operator. The wellposedness of the direct source scattering problem is established and the regularity of the electromagnetic field is given. For the inverse source scattering problem, the microcorrelation 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 matrixfree Discontinuous Galerkin method for the time dependent Maxwell equations in unbounded domainsComments: 9 pages (double column), 7 figuresSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
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$ blockdiagonal (in $d\!=\!2,3$ spatial dimensions) while the matrix which discretizes the curl operators on the righthand 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 complexstretching based approach.
 [86] arXiv:2002.08737 [pdf, ps, other]

Title: On systems of commuting matrices, Frobenius Lie algebras and Gerstenhaber's TheoremComments: 12 pages, LatexSubjects: Rings and Algebras (math.RA); Mathematical Physics (mathph); 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 Kalgebra, 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), 324348]. 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 2step 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 curvesAuthors: Pierrick BousseauComments: Expository paper. 18 pages, 1 figureSubjects: Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
We review the recent proof of the N.Takahashi's conjecture on genus $0$ GromovWitten 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 GromovWitten 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 BeijingZurich moduli workshop in Beijing, 912 September 2019.  [88] arXiv:2002.08750 [pdf, ps, other]

Title: The greatest common valuation of $φ_{n}$ and $ψ_{n}^{2}$ at points on elliptic curvesComments: 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 problemsAuthors: Hélène PerrinComments: 15 pages, 1 figureSubjects: Spectral Theory (math.SP); Metric Geometry (math.MG)
We study upper bounds for the first nonzero 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 nonzero 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 nonzero 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 ModelsComments: arXiv admin note: substantial text overlap with arXiv:1907.11541Subjects: 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 highdimensional 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 simulationbased 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 surfacesComments: 16 pages, Comments are welcome. arXiv admin note: text overlap with arXiv:1911.05549Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); KTheory 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 Keplerrelated family of systems endowed with generalized RungeLenz integrals of motionAuthors: Manuel F. RañadaComments: 14 pages. arXiv admin note: text overlap with arXiv:1509.07493Subjects: Mathematical Physics (mathph)
The existence of quasibiHamiltonian structures for a twodimensional superintegrable $(k_1,k_2,k_3)$dependent Keplerrelated 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 SmorodinskyWinternitz (SW) system, the TremblayTurbinerWinternitz (TTW) and PostWinternitz (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, quasibiHamiltonian 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 quasibiHamiltonian structures).  [93] arXiv:2002.08768 [pdf, ps, other]

Title: Optimizing Information Freshness in Wireless Networks: A Stochastic Geometry ApproachComments: arXiv admin note: substantial text overlap with arXiv:1907.09674Subjects: 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 queueinggeometry 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 manifoldsComments: Published in AUT Journal of Math. Comp. arXiv admin note: text overlap with arXiv:1310.8027Journalref: On Sobolev spaces and density theorems on Finsler manifolds, AUT J. Math. Com. 1 2020, 3745Subjects: 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 LongRange operators with Singular PotentialsComments: arXiv admin note: text overlap with arXiv:1909.06542Subjects: Dynamical Systems (math.DS)
In this paper, we use Cartan estimate for meromorphic functions to prove Anderson localization for a class of longrange operators with singular potenials.
 [96] arXiv:2002.08775 [pdf, ps, other]

Title: On some applications of representable and continuous functionals of Banach quasi *algebrasAuthors: Maria Stella AdamoComments: Contribution Proceedings of the International Workshop on Operator Theory and its Applications (IWOTA) 2019, Lisbon. arXiv admin note: text overlap with arXiv:1809.00470Subjects: 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 IdeasAuthors: Mohsen SharifitabarSubjects: Probability (math.PR)
We give a new proof for the wellknown BlaschkePetkantschin 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)$ Vermamodules and their braid representationsAuthors: Jules MartelComments: 42 pages, comments are welcomeSubjects: 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 Vermamodules as a braid group and a $U_q \mathfrak{sl}(2)$module.
 [99] arXiv:2002.08786 [pdf, other]

Title: CournotNash equilibrium and optimal transport in a dynamic settingSubjects: 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 timeevolving types, and so reasonably their actions should not anticipate the future values of their types. When interactions between players are of meanfield kind, we relate Nash equilibria for such games to an asymptotic notion of dynamic CournotNash equilibria. Inspired by the works of Blanchet and Carlier for the static situation, we interpret dynamic CournotNash 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 CournotNash 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 moduliAuthors: Graeme W. MiltonComments: 35 pages, 1 figureSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
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 selfsimilar 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 integervalued time seriesSubjects: Statistics Theory (math.ST)
This paper deals with the problem of model selection for a general class of integervalued time series.
We propose a penalized criterion based on the Poisson quasilikelihood of the model.
Under certain regularity conditions, the consistency of the procedure as well as the consistency and the asymptotic normality of the Poisson quasilikelihood 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 variablesComments: 26 pages, 4 figuresSubjects: 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 measuresSubjects: 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 characteristicsComments: 4 pagesSubjects: 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 SatoTate conjecture for abelian varieties and applicationsComments: 28 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
From the generalized Riemann hypothesis for motivic Lfunctions, we derive an effective version of the SatoTate conjecture for an abelian variety A defined over a number field k with connected SatoTate group. By effective we mean that we give an upper bound on the error term in the count predicted by the SatoTate 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 HasseWeil bound. Third, for a pair of abelian varieties defined over k with no common factors up to kisogeny, 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 Obatatype characterization of doublywarped product K\''ahler manifoldsSubjects: 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 wellknown 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 socalled K\''ahler doublywarped product structures whose underlying metric is Einstein.
 [107] arXiv:2002.08810 [pdf, ps, other]

Title: An Obatatype characterization of Calabi metrics on line bundlesSubjects: Differential Geometry (math.DG); Spectral Theory (math.SP)
We characterize those complete K{\"a}hler manifolds supporting a nonconstant realvalued function with critical points whose Hessian is complex linear, has pointwise two eigenvalues and whose gradient is a Hessianeigenvector.
 [108] arXiv:2002.08814 [pdf, ps, other]

Title: Divisibility results concerning truncated hypergeometric seriesComments: 11 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
In this paper, using the wellknown KarlssonMinton 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}^{p1}\frac{(q\frac{p}{n})_k^n}{(1)_k^n}\equiv0\pmod{p^3} $$ and $$ p^n\sum_{k=0}^{p1}\frac{(1)_k^n}{(\frac{p}{n}q+2)_k^n}\equiv0\pmod{p^3} $$ for any prime $p>\max\{n,(q1)n+1\}$, where $(x)_k$ denotes the Pochhammer symbol defined by $$ (x)_k=\begin{cases}1,\quad &k=0,\\ x(x+1)\cdots(x+k1),\quad &k>0.\end{cases} $$ Let $n\geq4$ be an even integer. Then for any prime $p$ with $p\equiv1\pmod{n}$, the first congruence above implies that $$\sum_{k=0}^{p1} \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 lawsComments: 35 pages, 13 figures. arXiv admin note: text overlap with arXiv:1906.09462Subjects: Numerical Analysis (math.NA)
In this paper, a fifthorder Hermite weighted essentially nonoscillatory (HWENO) scheme with artificial linear weights is proposed for one and two dimensional hyperbolic conservation laws, where the zerothorder and the firstorder 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 multidimension 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 tensionSubjects: Numerical Analysis (math.NA)
In this work, we introduce two novel reformulations of a recent weakly hyperbolic model for twophase 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 surfaceforce 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 curlfree at all times.
The proposed modifications are intended to restore the strong hyperbolicity of the model, and are closely related to divergencepreserving 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 shockdriven 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 longterm stability of the computations.  [111] arXiv:2002.08823 [pdf, other]

Title: Algebraic reliability of multistate $k$outof$n$ systemsSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
In this paper we review different definitions that multistate $k$outof$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 matroidsComments: 17 pagesSubjects: 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 functionsSubjects: 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 Gausshypergeometric function.
 [114] arXiv:2002.08831 [pdf, ps, other]

Title: Efficiently updating a covariance matrix and its LDL decompositionSubjects: 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((nk+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 methodComments: 52 pagesSubjects: Probability (math.PR)
In this paper, we introduce the $\sigma$antithetic multilevel Monte Carlo (MLMC) estimator for a multidimensional 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 LindebergFeller 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 surfacesSubjects: 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 nonrational 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 AuctionsSubjects: 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 mixedinteger 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 mixedinteger programming formulation, along with its linear programming relaxation, are able to superior both the insample performance and the outofsample performance of the stateoftheart algorithms on both real and synthetic datasets.
 [118] arXiv:2002.08843 [pdf, other]

Title: A new approach to the RayleighTaylor instabilitySubjects: 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 RayleighTaylor 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 GaltonWatson processes with immigrationComments: 7 pagesSubjects: 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 GaltonWatson process with immigration.
 [120] arXiv:2002.08856 [pdf, ps, other]

Title: Bounding the expected runtime of nonconvex optimization with early stoppingSubjects: 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 gradientbased 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 welldefined, 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 firstorder 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 groupscheme of some rationally connected fibrationsAuthors: Rodrigo Codorniu CofréComments: 39 pagesSubjects: Algebraic Geometry (math.AG)
In this paper we describe the fundamental groupscheme 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 groupscheme, and of finite groupschemes 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 groupschemes 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 groupsComments: 8 pagesSubjects: 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 NearOptimal and ParameterFree Monotone Inclusion and Strong Solutions to Variational InequalitiesAuthors: Jelena DiakonikolasComments: 23 pagesSubjects: 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 nearoptimal (i.e., optimal up to polylog factors in terms of iteration complexity) and parameterfree methods for solving monotone inclusion problems. These results immediately translate into nearoptimal guarantees for approximating strong solutions to variational inequality problems, approximating convexconcave minmax optimization problems, and minimizing the norm of the gradient in minmax optimization problems. Our analysis is based on a novel and simple potentialbased 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 nearoptimality of the studied methods.
 [124] arXiv:2002.08873 [pdf, ps, other]

Title: Stochastic NavierStokes equations on a thin spherical domainComments: 67 Pages. Includes additional sections corresponding to the analysis of deterministic NSEs on a thin spherical domainSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
Incompressible NavierStokes 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 NavierStokes 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 sequencesAuthors: Camille LabourieSubjects: 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 FedererFleming 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 graphsSubjects: 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 rectangledecomposable 2parameter persistence modulesSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
This paper addresses two questions: (1) can we identify a sensible class of 2parameter persistence modules on which the rank invariant is complete? (2) can we determine efficiently whether a given 2parameter persistence module belongs to this class? We provide positive answers to both questions, and our class of interest is that of rectangledecomposable modules. Our contributions include: (a) a proof that the rank invariant is complete on rectangledecomposable modules, together with an inclusionexclusion formula for counting the multiplicities of the summands; (b) algorithms to check whether a module induced in homology by a bifiltration is rectangledecomposable, and to decompose it in the affirmative, with a better complexity than stateoftheart decomposition methods for general 2parameter persistence modules. Our algorithms are backed up by a new structure theorem, whereby a 2parameter persistence module is rectangledecomposable 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 blockdecomposable modules to the larger one of rectangledecomposable modules. It also admits an algebraic formulation that turns out to be a weaker version of the one for blockdecomposability. 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 DecompositionsSubjects: 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 VenturiniComments: 24 pages. Published in Riv. Mat. Univ. Parma with the title "Non vanishing of Dirichlet series of completely multiplicative functions"Journalref: Riv. Mat. Univ. Parma, Vol. 11 (2020), 153180Subjects: 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 idempotentsAuthors: Matthew HogancampComments: 25 pagesSubjects: Algebraic Topology (math.AT); Quantum Algebra (math.QA)
We give a general construction of categorical idempotents which recovers the categorified JonesWenzl 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 ChengSubjects: 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: Secondorder Conditional GradientsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
Constrained secondorder 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 firstorder information about the function, although possible, is costly, the coupling of constrained secondorder 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 arraysAuthors: Raphael YusterJournalref: Designs, Codes and Cryptography 88(2020),585593Subjects: 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ńskiAuthors: H. FukśComments: 15 pages, 8 figuresJournalref: M. Zack and E. Landry (eds.), Research in History and Philosophy of Mathematics  The CSHPM 2016 Annual Meeting in Calgary, AB, pp. 8195. Springer, 2017Subjects: 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 doublyeven 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 normsAuthors: Martin MiglioliComments: 10 pagesSubjects: 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 nonHilbertian 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 nonpositively 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 welcomeSubjects: 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 equationsComments: 38 pagesSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP)
Enhancing and essentially generalizing the results of [Nonlinear Anal. 70 (2009), 35123521] 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 nonnormalized 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 Liesymmetry 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 infinitedimensional 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 capacityvolume deficit at infinityAuthors: Jeffrey L. JaureguiComments: 31 pages, comments welcomeSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (grqc)
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 3manifolds of nonnegative scalar curvature, but that is welldefined 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.
Crosslists for Fri, 21 Feb 20
 [139] arXiv:1907.09442 (crosslist from cs.IT) [pdf, ps, other]

Title: Blocksparse Recovery of Semidefinite Systems and Generalized Null Space ConditionsSubjects: Information Theory (cs.IT); Optimization and Control (math.OC)
This article considers the recovery of lowrank matrices via a convex nuclearnorm minimization problem and presents two null space properties (NSP) which characterize uniform recovery for the case of blockdiagonal matrices and blockdiagonal positive semidefinite matrices. These nullspace conditions turn out to be special cases of a new general setup, which allows to derive the mentioned NSPs and wellknown NPSs from the literature. We discuss the relative strength of these conditions and also present a deterministic class of matrices that satisfies the blockdiagonal semidefinite NSP.
 [140] arXiv:2002.08275 (crosslist from physics.fludyn) [pdf, ps, other]

Title: On linear and nonlinear hydromagnetic stability in laminar and turbulent flowsSubjects: Fluid Dynamics (physics.fludyn); Solar and Stellar Astrophysics (astroph.SR); Mathematical Physics (mathph); 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 ReynoldsOrr 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 nonlinearly stable and magnetic field of an arbitrary initial amplitude decays. In the case of high Reynolds number turbulence, the nonlinear 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 socalled 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 infinitedimensional 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 (crosslist from hepth) [pdf, other]

Title: KdVcharged black holesComments: 30 pages, 4 figuresSubjects: High Energy Physics  Theory (hepth); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
We construct black hole geometries in AdS$_3$ with nontrivial 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 (crosslist from hepth) [pdf, other]

Title: $q$nonabelianization for line defectsComments: 71 pages, 77 figuresSubjects: High Energy Physics  Theory (hepth); Geometric Topology (math.GT); Quantum Algebra (math.QA); Representation Theory (math.RT)
We consider the $q$nonabelianization map, which maps links $L$ in a 3manifold $M$ to links $\widetilde{L}$ in a branched $N$fold cover $\widetilde{M}$. In quantum field theory terms, $q$nonabelianization is the UVIR map relating two different sorts of defect: in the UV we have the sixdimensional $(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 noncontractible 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 (crosslist from hepth) [pdf, other]

Title: Bootstraps to Strings: Solving Random Matrix Models with PositivityAuthors: Henry W. LinComments: 21 pages, 8 figures, 1 cartoon. See source for Mathematica notebookSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
A new approach to solving random matrix models directly in the large $N$ limit is developed. First, a set of numerical values for some lowpt correlation functions is guessed. The large $N$ loop equations are then used to generate values of higherpt correlation functions based on this guess. Then one tests whether these higherpt 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 multimatrix models and handily reproduces known solutions. It also produces strong results for multimatrix 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 (crosslist from grqc) [pdf, other]

Title: Spin 2 Quasinormal Modes in Generalized Nariai SpacetimesComments: 13 pages, 1 figureSubjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
In this work we analytically obtain the quasinormal spectrum for the gravitational perturbation on a higherdimensional generalization of the Nariai spacetime that is comprised of the direct product of the twodimensional de Sitter space with several twospheres. 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 (crosslist from stat.AP) [pdf, ps, other]

Title: Queueing Subject To ActionDependent Server Performance: Utilization Rate ReductionSubjects: Applications (stat.AP); Optimization and Control (math.OC)
We consider a discretetime system comprising a firstcomefirstserved queue, a nonpreemptive server, and a stationary nonworkconserving 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 integervalued activity state. The activity state is nondecreasing during work periods, and is nonincreasing 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 infinitehorizon timeaveraged 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 finitedimensional 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 finitedimensional 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 (crosslist from stat.ME) [pdf, other]

Title: Network Group Hawkes Process ModelComments: 42 pagesSubjects: 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 (crosslist from cs.LG) [pdf, other]

Title: Adaptive Sampling Distributed Stochastic Variance Reduced Gradient for Heterogeneous Distributed DatasetsSubjects: 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 (crosslist from nlin.SI) [pdf, ps, other]

Title: Homogeneous Darboux polynomials and generalising integrable ODE systemsComments: 6 pagesSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph); 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 LotkaVolterra systems.
 [149] arXiv:2002.08580 (crosslist from cs.CC) [pdf, ps, other]

Title: The (Generalized) Orthogonality Dimension of (Generalized) Kneser Graphs: Bounds and ApplicationsComments: 19 pagesSubjects: 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 twofolded.
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/2c$. 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 longstanding 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 trianglefree $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 (crosslist from physics.fludyn) [pdf, ps, other]

Title: Multiple scales analysis of outofplane and inplane vibrations of a wind turbine bladeComments: 18 pages, 10 figuresSubjects: Fluid Dynamics (physics.fludyn); Dynamical Systems (math.DS)
Steadystate response of an isolated horizontal axis wind turbine blade undergoing outofplane and inplane vibrations are studied considering the two cases separately. Equations of motion for both cases are sought by modeling the blade as cantilevered EulerBernoulli 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 outofplane and inplane cases respectively. Comparisons are drawn with the results obtained using the method of harmonic balance.
 [151] arXiv:2002.08592 (crosslist from physics.fludyn) [pdf, other]

Title: Partition of enstrophy between zonal and turbulent componentsComments: 33 pages, 12 figuresSubjects: Fluid Dynamics (physics.fludyn); Analysis of PDEs (math.AP); Geophysics (physics.geoph); Plasma Physics (physics.plasmph)
The partition of enstrophy between zonal (ordered) and wavy (turbulent) components of vorticity has been studied for the betaplane model of twodimensional 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 (crosslist from eess.SP) [pdf]

Title: A Testbed for Assessment of Fountain Codes for Wireless ChannelsComments: conferenceSubjects: 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 testbed 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 (crosslist from hepth) [pdf, ps, other]

Title: Multigraded Galilean conformal algebrasComments: 17 pagesSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
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 multigraded Galilean algebras are provided, including extensions of the Galilean Virasoro and affine KacMoody 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 higherorder Galilean $W_3$ algebras.
 [154] arXiv:2002.08659 (crosslist from cs.DS) [pdf, other]

Title: Maximum EdgeColorable Subgraph and Strong Triadic Closure Parameterized by Distance to LowDegree GraphsComments: 32 PagesSubjects: 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 EdgeColorable 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 EdgeColorable Subgraph admits, for every fixed $c$, a linearsize problem kernel when parameterized by the edge deletion distance of $G$ to a graph with maximum degree $c1$. This parameterization measures the distance to instances that, due to Vizing's famous theorem, are trivial yesinstances. For $c\le 4$, we also provide a linearsize 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 EdgeColorable Subgraph parameterized by the vertex deletion distance to graphs where every component has order at most $c$ and for the listcolored versions of both problems.
 [155] arXiv:2002.08663 (crosslist from stat.ML) [pdf, ps, other]

Title: Learning Gaussian Graphical Models via Multiplicative WeightsComments: AISTATS 2020Subjects: 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 nontrivial 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 (crosslist from cs.LG) [pdf, other]

Title: Learning with Differentiable Perturbed OptimizersAuthors: Quentin Berthet, Mathieu Blondel, Olivier Teboul, Marco Cuturi, JeanPhilippe Vert, Francis BachSubjects: 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 firstorder optimization techniques because they break the backpropagation of computational graphs. In order to expand the scope of learning problems that can be solved in an endtoend 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 (crosslist from cs.LG) [pdf, other]

Title: Stochastic Optimization for Regularized Wasserstein EstimatorsSubjects: 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 firstorder 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 (crosslist from cs.DM) [pdf, ps, other]

Title: Iterated Global Models for Complex NetworksSubjects: 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 timestep, and we refer to this as the halfmodel. The halfmodel 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 (crosslist from physics.compph) [pdf, other]

Title: Split representation of adaptively compressed polarizability operatorComments: 32 pages, 8 figures. arXiv admin note: text overlap with arXiv:1605.08021Subjects: Computational Physics (physics.compph); 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 onedimensional model problem in insulating and metallic regimes, as well as its accuracy for real molecules and solids.
 [160] arXiv:2002.08774 (crosslist from stat.ML) [pdf, ps, other]

Title: Propose, Test, Release: Differentially private estimation with high probabilityComments: arXiv admin note: text overlap with arXiv:1906.11923Subjects: 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 subGaussian high probability bounds for differentially private median and mean estimation, for possibly heavy tailed random variables.
 [161] arXiv:2002.08798 (crosslist from cs.NI) [pdf, ps, other]

Title: Nonlinear Age of Information in a Discrete Time Queue: Stationary Distribution and Average Performance AnalysisSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
This paper considers a status update communication system consisting of a sourcedestination 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 firstcomefirstserved (FCFS) Geo/Geo/1 queue and we obtain closedform 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 nonlinear age functions for this type of systems.
 [162] arXiv:2002.08809 (crosslist from cs.LG) [pdf, other]

Title: Differential Dynamic Programming Neural OptimizerSubjects: 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 widelyused algorithms for training DNNs can be linked to the Differential Dynamic Programming (DDP), a celebrated secondorder 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 layerwise feedback policies which improve convergence rate and reduce sensitivity to hyperparameter over existing methods. We show that the algorithm is competitive against stateoftheart 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 (crosslist from cs.NI) [pdf, ps, other]

Title: Distributed Task Replication for Vehicular Edge Computing: Performance Analysis and Learningbased AlgorithmComments: Submitted to IEEE for possible publicationSubjects: 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 closedform. Based on the analytical result, we design a learningbased task replication algorithm (LTRA) with combinatorial multiarmed 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 (crosslist from condmat.statmech) [pdf, ps, other]

Title: Fluctuationdissipation supersymmetryAuthors: Matteo PolettiniComments: 5 pages, 2 figuresSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
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 (crosslist from stat.ML) [pdf, other]

Title: A General Pairwise Comparison Model for Extremely Sparse NetworksComments: 27 pages, 4 figuresSubjects: 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 setup, we establish that the maximum likelihood estimator (MLE) for the latent scores of the subjects is uniformly consistent under a nearminimal 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 errorinduced metric as well as careful counting of comparison graph structures. Our results guarantee that the MLE is a valid estimator for inference in largescale comparison networks where data is asymptotically deficient. Numerical simulations are provided to complement the theoretical analysis.
 [166] arXiv:2002.08908 (crosslist from cs.PF) [pdf, ps, other]

Title: Asymptotically Optimal Load Balancing in Largescale Heterogeneous Systems with Multiple DispatchersComments: 2 figuresSubjects: Performance (cs.PF); Distributed, Parallel, and Cluster Computing (cs.DC); Probability (math.PR)
We consider the load balancing problem in largescale heterogeneous systems with multiple dispatchers. We introduce a general framework called LocalEstimationDriven (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 heavytraffic, respectively. These conditions directly imply delay optimality for many previous localmemory based policies in heavy traffic. Moreover, the results enable us to design new delay optimal policies for heterogeneous systems with multiple dispatchers. Finally, the heavytraffic 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 (crosslist from quantph) [pdf, other]

Title: Predicting Many Properties of a Quantum System from Very Few MeasurementsComments: 10 pages, 9 figures + 30 page appendix; supersedes arXiv:1908.08909; open source code available at this https URLSubjects: Quantum Physics (quantph); Information Theory (cs.IT); Machine Learning (cs.LG)
Predicting properties of complex, largescale 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 informationtheoretic 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, twopoint correlation functions, expectation values of local observables, and the energy variance of manybody 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 theoremsSubjects: Quantum Algebra (math.QA)
 [169] arXiv:1208.1727 (replaced) [pdf, other]

Title: A wallcrossing formula for GromovWitten invariants under variation of git quotientComments: 64 pages, 1 figure. Expanded and clarified exposition in a number of places in response to referee commentsSubjects: Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
 [170] arXiv:1503.00044 (replaced) [pdf, ps, other]

Title: Action graphs and Catalan numbersComments: 7 pages; minor changes from original draft. arXiv admin note: text overlap with arXiv:1807.03005Subjects: Combinatorics (math.CO)
 [171] arXiv:1604.06172 (replaced) [pdf, ps, other]

Title: New Bounds for Partial Spreads of $H(2d1, q^2)$ and Partial Ovoids of the ReeTits OctagonComments: 8 pages, corrected a false claim on collineations in the ReeTits octagon, see arXiv:2002.07977v1 [math.GR], Remark 2.3Journalref: J. Comb. Theory A 153 (2018) 4653Subjects: Combinatorics (math.CO)
 [172] arXiv:1610.06631 (replaced) [pdf, other]

Title: Inverse Power Flow ProblemComments: working paperSubjects: 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 modelSubjects: Trading and Market Microstructure (qfin.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 AntennasComments: 30 pages, 4 figures, 1 table. Published in IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT)
 [175] arXiv:1706.08374 (replaced) [pdf, ps, other]

Title: KacMoody Groups and CompletionsComments: Version 2: minor corrections. Version 3: minor corrections, the final versionSubjects: 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 twoAuthors: Vance BlankersComments: Published versionJournalref: \'Epijournal de G\'eom\'etrie Alg\'ebrique, Volume 4 (2020), Article no.2Subjects: Algebraic Geometry (math.AG)
 [177] arXiv:1709.06006 (replaced) [pdf, ps, other]

Title: Extremal Determinants of LaplaceBeltrami Operators for Rectangular ToriAuthors: Markus FaulhuberComments: 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 ComplementsAuthors: Eva ElduqueSubjects: Geometric Topology (math.GT)
 [179] arXiv:1711.04672 (replaced) [pdf, ps, other]

Title: Oblique projections on metric spacesAuthors: Matteo PolettiniComments: 11 pagesSubjects: Functional Analysis (math.FA); Mathematical Physics (mathph); Metric Geometry (math.MG)
 [180] arXiv:1801.00927 (replaced) [pdf, ps, other]

Title: Zeros of derivatives of strictly nonreal meromorphic functionsAuthors: J.K. LangleyComments: Final accepted versionSubjects: Complex Variables (math.CV)
 [181] arXiv:1802.00528 (replaced) [pdf, other]

Title: Implicative algebras: a new foundation for realizability and forcingAuthors: Alexandre MiquelComments: 56 pages. Revised version (after reviewers' comments)Subjects: Logic (math.LO)
 [182] arXiv:1803.07451 (replaced) [pdf, ps, other]

Title: On the automorphy of 2dimensional potentially semistable deformation rings of $G_{\mathbb{Q}_p}$Authors: ShenNing TungComments: 16 pages, v2Subjects: Number Theory (math.NT)
 [183] arXiv:1804.02725 (replaced) [pdf, ps, other]

Title: The minimal exact crossed productComments: 37 pagesSubjects: Operator Algebras (math.OA); Group Theory (math.GR); KTheory and Homology (math.KT)
 [184] arXiv:1805.05044 (replaced) [pdf, ps, other]

Title: A duality formula and a particle Gibbs sampler for continuous time FeynmanKac measures on path spacesSubjects: Probability (math.PR)
 [185] arXiv:1806.00171 (replaced) [pdf, ps, other]

Title: On the nonlinear CauchyRiemann equations of structural transformation and nonlinear Laplace equationAuthors: Gen WangComments: 20 pagesSubjects: Complex Variables (math.CV)
 [186] arXiv:1806.03915 (replaced) [pdf, other]

Title: Decentralize and Randomize: Faster Algorithm for Wasserstein BarycentersSubjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC)
 [187] arXiv:1807.05437 (replaced) [pdf, ps, other]

Title: Construction of Regular NonAtomic StrictlyPositive Measures in SecondCountable NonAtomic Locally Compact Hausdorff SpacesAuthors: Jason BentleyComments: 11 to 12 pages total, 1 figureSubjects: Functional Analysis (math.FA)
 [188] arXiv:1807.10801 (replaced) [pdf, other]

Title: On the expected runtime of multiple testing algorithms with bounded errorAuthors: Georg HahnSubjects: Statistics Theory (math.ST)
 [189] arXiv:1808.04975 (replaced) [pdf, ps, other]

Title: A note on matchings in abelian groupsSubjects: Combinatorics (math.CO)
 [190] arXiv:1809.02963 (replaced) [pdf, ps, other]

Title: Variational Approximation Error in Bayesian Nonnegative Matrix FactorizationAuthors: Naoki HayashiComments: 21 pages. 1 table. Revision in Neural NetworksSubjects: 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 selfnormalizationSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
 [192] arXiv:1810.03497 (replaced) [pdf, other]

Title: Continuum Schroedinger operators for sharply terminated graphenelike structuresComments: 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 lowlying spectrumSubjects: Analysis of PDEs (math.AP); Mesoscale and Nanoscale Physics (condmat.meshall); Materials Science (condmat.mtrlsci); Mathematical Physics (mathph); Quantum Physics (quantph)
 [193] arXiv:1811.00353 (replaced) [pdf, ps, other]

Title: HansonWright inequality in Banach spacesComments: MSC classification and acknowledgement added, minor typo corrected, references updatedSubjects: Probability (math.PR); Functional Analysis (math.FA); Statistics Theory (math.ST)
 [194] arXiv:1811.07798 (replaced) [pdf, ps, other]

Title: Semantic Security and the SecondLargest Eigenvalue of Biregular GraphsSubjects: Information Theory (cs.IT)
 [195] arXiv:1811.09091 (replaced) [pdf, ps, other]

Title: Kleene stars of the plane, polylogarithms and symmetriesJournalref: Theoretical Computer Science, Elsevier, 2019, 800, pp.5272Subjects: Symbolic Computation (cs.SC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
 [196] arXiv:1812.01306 (replaced) [pdf, ps, other]

Title: Rigidity ConjecturesAuthors: Alessandro VignatiComments: Revised version has 41 pagesSubjects: 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 inequalitiesAuthors: Léonard CadilhacComments: 22 pages, accepted manuscriptSubjects: 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 ProcessesSubjects: Statistics Theory (math.ST)
 [199] arXiv:1812.08428 (replaced) [pdf, ps, other]

Title: Principal series representations of IwahoriHecke algebras for KacMoody groups over local fieldsAuthors: Auguste Hébert (UMPAENSL, 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 functionAuthors: R B ParisComments: 8 pages, 0 figuresSubjects: 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 reorganized for more clarity; some other minor changes; to appear in J. Pure Appl. AlgebraSubjects: 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 OptimizationSubjects: 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 DesignsComments: 10 pages, Appeared in Proceedings of IEEE ISIT 2019Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
 [204] arXiv:1901.08686 (replaced) [pdf, ps, other]

Title: On the Complexity of Approximating Wasserstein BarycenterAuthors: Alexey Kroshnin, Darina Dvinskikh, Pavel Dvurechensky, Alexander Gasnikov, Nazarii Tupitsa, Cesar UribeComments: Corrected misprints. Added a reference to accelerated Iterative Bregman Projections introduced in arXiv:1906.03622Journalref: ICML 2019, in PMLR 97:35303540. http://proceedings.mlr.press/v97/kroshnin19a.htmlSubjects: Optimization and Control (math.OC); Data Structures and Algorithms (cs.DS)
 [205] arXiv:1901.09246 (replaced) [pdf, ps, other]

Title: Blowingup solutions of the timefractional dispersive equationsComments: 24 pagesSubjects: Analysis of PDEs (math.AP)
 [206] arXiv:1902.01708 (replaced) [pdf, ps, other]

Title: Weighted Translation Semigroups: Multivariable CaseComments: 18 pagesSubjects: Functional Analysis (math.FA)
 [207] arXiv:1902.04685 (replaced) [pdf, other]

Title: Detecting and determining preserved measures and integrals of rational mapsAuthors: Elena Celledoni, Charalambos Evripidou, David McLaren, Brynjulf Owren, Reinout Quispel, Benjamin TapleySubjects: Numerical Analysis (math.NA)
 [208] arXiv:1902.10686 (replaced) [pdf, other]

Title: Compact moduli of elliptic K3 surfacesComments: Expository greatly improved and fixed an error in Proposition 6.10. New Section (9) giving an explicit stratification of the moduli space. Comments welcomeSubjects: Algebraic Geometry (math.AG)
 [209] arXiv:1903.00269 (replaced) [pdf, ps, other]

Title: CovarianceAided CSI Acquisition with NonOrthogonal Pilots in Massive MIMO: A LargeSystem Performance AnalysisComments: Accepted for publication in the IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
 [210] arXiv:1903.01729 (replaced) [pdf, ps, other]

Title: Bounded negativity and Harbourne constants on ruled surfacesComments: Added some examples; some other minor changes; to appear in Manuscripta MathSubjects: Algebraic Geometry (math.AG)
 [211] arXiv:1903.05315 (replaced) [pdf, ps, other]

Title: Optimality of Maximum Likelihood for LogConcave Density Estimation and Bounded Convex RegressionSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG)
 [212] arXiv:1903.09321 (replaced) [pdf, other]

Title: WONDER: Weighted oneshot distributed ridge regression in high dimensionsComments: Gave the name "Wonder" to the algorithm, updated title, added algorithm for general nonisotropic designSubjects: 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 SaddlePoint ProblemsSubjects: 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 MayHollingTanner predatorprey model with multiple Allee effects on the prey and an alternative food source for the predatorComments: 23 pages, 10 figures. arXiv admin note: text overlap with arXiv:1809.05854, arXiv:1901.01118Subjects: Dynamical Systems (math.DS)
 [215] arXiv:1904.06744 (replaced) [pdf, ps, other]

Title: A Personalized Preference Learning Framework for Caching in Mobile NetworksComments: 21 pages, 10 figures, 1 table, to appear in the IEEE Transactions on Mobile ComputingSubjects: 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$schemesComments: 38 pages. Last two sections revised; typos correctedSubjects: Algebraic Geometry (math.AG); Category Theory (math.CT)
 [217] arXiv:1905.11011 (replaced) [pdf, other]

Title: Robustness of accelerated firstorder algorithms for strongly convex optimization problemsComments: 45 pages, 6 figuresSubjects: 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 NonLinear Conjugate Gradient Algorithm for Destructive Cure Rate Model and a Simulation Study: Illustration with Negative Binomial Competing RisksComments: arXiv admin note: text overlap with arXiv:1905.05963Subjects: 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 PrasadAuthors: Chang YangComments: 23 pages; The 1st version undergoes a major revision. removed the split hypothesis; added a result in the padic case; to appear in Adv. MathSubjects: Representation Theory (math.RT)
 [220] arXiv:1905.13002 (replaced) [pdf, other]

Title: Temporal Parallelization of Bayesian SmoothersSubjects: 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 MethodsComments: 27 pages, 5 figures, 4 tablesSubjects: Optimization and Control (math.OC)
 [222] arXiv:1907.02955 (replaced) [pdf, other]

Title: Upscaling and spatial localization of nonlocal energies with persistent nonlinearitiesComments: 30 pagesSubjects: 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 ConjectureAuthors: Brandon AlbertsComments: 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 literatureSubjects: Number Theory (math.NT)
 [224] arXiv:1907.09321 (replaced) [pdf, ps, other]

Title: Scaling limits and fluctuations for random growth under capacity rescalingComments: 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 revisionsSubjects: Probability (math.PR); Mathematical Physics (mathph); Complex Variables (math.CV)
 [225] arXiv:1907.11583 (replaced) [pdf, ps, other]

Title: On LaplaceCarleson embeddings, and $L^p$mapping properties of the Fourier transformAuthors: Eskil RydheComments: Revised according to referee's comments. Accepted for publication in Arkiv f\"or MatematikSubjects: Functional Analysis (math.FA)
 [226] arXiv:1908.01658 (replaced) [pdf, other]

Title: Integrals along bimonoid homomorphismsAuthors: Minkyu KimSubjects: Quantum Algebra (math.QA)
 [227] arXiv:1908.02010 (replaced) [pdf, ps, other]

Title: Proofs for certain Pi_{q}identities of W. GosperAuthors: Bing HeComments: 13 pages. Critical comments are always welcomeSubjects: 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 problemsAuthors: J.E. BeasleySubjects: 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 manifoldsAuthors: Naoki KitazawaComments: 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 authorSubjects: Geometric Topology (math.GT); General Topology (math.GN)
 [230] arXiv:1908.10153 (replaced) [pdf, ps, other]

Title: A modified proof for Higman's embedding theoremAuthors: V. H. MikaelianSubjects: Group Theory (math.GR)
 [231] arXiv:1909.03910 (replaced) [pdf, ps, other]
 [232] arXiv:1909.07309 (replaced) [pdf, other]

Title: Spacetime Galerkin isogeometric method and efficient solver for parabolic problemsComments: 21 pages, 6 figuresSubjects: Numerical Analysis (math.NA)
 [233] arXiv:1909.08215 (replaced) [pdf, ps, other]

Title: Computational multiscale methods for firstorder wave equation using mixed CEMGMsFEMComments: 17 pages, 5 figuresSubjects: Numerical Analysis (math.NA)
 [234] arXiv:1909.09183 (replaced) [pdf, other]

Title: Hybrid Inexact BCD for Coupled Structured Matrix Factorization in Hyperspectral SuperResolutionComments: 32 pages, 3 figures, 5 tables. Codes available at this https URL To appear in IEEE Transactions on Signal ProcessingSubjects: 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 CommunicationEfficient Distributed SGD with Slow MomentumComments: Accepted to ICLR 2020Subjects: 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 Multiblock Graph: Determinant and InverseSubjects: Combinatorics (math.CO)
 [238] arXiv:1910.02116 (replaced) [pdf, other]

Title: The Bayesian Inversion Problem for Thermal Average Sampling of Quantum SystemsSubjects: Numerical Analysis (math.NA)
 [239] arXiv:1910.03175 (replaced) [pdf, other]

Title: MIM: Mutual Information MachineComments: Preprint. Project webpage: this https URLSubjects: 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 DeepLearningAuthors: Anastasis KratsiosSubjects: 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 SolutionsSubjects: Optimization and Control (math.OC)
 [242] arXiv:1910.05270 (replaced) [pdf, ps, other]

Title: Fast and Bayesconsistent nearest neighborsSubjects: 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 ShubinSobolev and GelfandShilov spacesAuthors: Patrik WahlbergComments: The proof of Prop. 6.2 was wrong, and Rem. 6.4 (v1). This is corrected in v2Subjects: Analysis of PDEs (math.AP)
 [244] arXiv:1910.11423 (replaced) [pdf, ps, other]

Title: Lines, conics, and all thatComments: 37 pages; renovated version, new recent results addedSubjects: Algebraic Geometry (math.AG)
 [245] arXiv:1911.00865 (replaced) [pdf, ps, other]

Title: Robust Adaptive Model Predictive Control: Performance and Parameter EstimationSubjects: Optimization and Control (math.OC)
 [246] arXiv:1911.02767 (replaced) [pdf, other]

Title: Robust inference of memory structure for efficient quantum modelling of stochastic processesComments: 10 pages, 6 figuresSubjects: Quantum Physics (quantph); Statistical Mechanics (condmat.statmech); Information Theory (cs.IT)
 [247] arXiv:1911.03432 (replaced) [pdf, other]

Title: Penalty Method for InversionFree Deep Bilevel OptimizationComments: 17 Pages, 7 figuresSubjects: 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 SizeComments: 17 pages, 5 tables, 1 figure, many multigraphs; v2: updated to match PRD versionSubjects: High Energy Physics  Phenomenology (hepph); High Energy Physics  Theory (hepth); Combinatorics (math.CO)
 [249] arXiv:1911.04603 (replaced) [pdf, other]

Title: Matchings in 1planar graphs with large minimum degreeSubjects: 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 FqSubjects: Combinatorics (math.CO)
 [251] arXiv:1911.05793 (replaced) [pdf, other]

Title: Extended FLRW Models: dynamical cancellation of cosmological anisotropiesComments: 31 pages, 2 figures; v2: minor amendments to match the version published in CQGJournalref: Class. Quantum Grav. 37 (2020) 065015Subjects: General Relativity and Quantum Cosmology (grqc); Cosmology and Nongalactic Astrophysics (astroph.CO); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [252] arXiv:1911.09965 (replaced) [pdf, other]

Title: Capacity scaling in a Noncoherent Wideband Massive SIMO Block Fading ChannelComments: Published in IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT)
 [253] arXiv:1912.01599 (replaced) [pdf, ps, other]

Title: Stationary Points of Shallow Neural Networks with Quadratic Activation FunctionComments: 30 pagesSubjects: 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 Multihop Networks with MUMIMO radiosComments: Published in IEEE Transactions on Wireless CommunicationsSubjects: 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 gasComments: We have solved one of the open problems in v1, specifically, the positivity of the solution to the equationSubjects: Mathematical Physics (mathph); Quantum Gases (condmat.quantgas); 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 MachineLearningintheLoop ControlComments: arXiv admin note: text overlap with arXiv:1912.02628Subjects: 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 MatricesComments: 25 pages 4 figuresSubjects: 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 RingsAuthors: Keller VandeBogertComments: 24 pagesSubjects: Commutative Algebra (math.AC)
 [259] arXiv:1912.08335 (replaced) [pdf, other]

Title: Learning under Model Misspecification: Applications to Variational and Ensemble methodsAuthors: Andres R. MasegosaComments: Typos corrected. Section 3 partially revised. New section at the appendixSubjects: 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 levelsSubjects: Mesoscale and Nanoscale Physics (condmat.meshall); Strongly Correlated Electrons (condmat.strel); Mathematical Physics (mathph)
 [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)$POLJmanifolds applicationsSubjects: Differential Geometry (math.DG)
 [262] arXiv:1912.13154 (replaced) [pdf, other]

Title: Higherorder algorithms and implicit regularization for nonlinearly parameterized adaptive controlComments: significant updates; submission readySubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [263] arXiv:2001.00322 (replaced) [pdf, ps, other]

Title: TDuality, Jacobi Forms and Witten Gerbe ModulesComments: 24 pages, minor corrections, references addedSubjects: Differential Geometry (math.DG); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [264] arXiv:2001.08289 (replaced) [pdf, other]

Title: Substitution of subspace collections with nonorthogonal subspaces to accelerate Fast Fourier Transform methods applied to conducting compositesAuthors: Graeme W. MiltonComments: 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. MiltonSubjects: Numerical Analysis (math.NA)
 [265] arXiv:2001.08973 (replaced) [pdf, ps, other]

Title: A continuum limit for the PageRank algorithmSubjects: 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 Cactoidtype DigraphsSubjects: Combinatorics (math.CO)
 [267] arXiv:2002.00355 (replaced) [pdf, other]

Title: $f$vectors of $3$polytopes symmetric under rotations and rotary reflectionsComments: 38 pages, 15 figures, 12 tablesSubjects: 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 dimensionComments: 25 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
 [269] arXiv:2002.02662 (replaced) [pdf, ps, other]

Title: Blocks and characters of $D(21;ζ)$modules of nonintegral weightsComments: 27 pages. The reference has been corrected in this versionSubjects: Representation Theory (math.RT)
 [270] arXiv:2002.03145 (replaced) [pdf, ps, other]

Title: Meansfit effectivityAuthors: Yuri GurevichSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
 [271] arXiv:2002.04014 (replaced) [pdf, other]

Title: Statistically Efficient OffPolicy Policy GradientsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
 [272] arXiv:2002.04320 (replaced) [pdf, other]

Title: Selfconcordant analysis of FrankWolfe algorithmsSubjects: 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 knowledgeAuthors: Go KatoComments: 16pagesSubjects: Probability (math.PR); Quantum Physics (quantph)
 [274] arXiv:2002.04474 (replaced) [pdf, ps, other]

Title: Two new nonnegativity preserving iterative regularization methods for illposed inverse problemsSubjects: 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 functionsSubjects: 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 applicationsAuthors: Meng Fai LimComments: Some minor changes and additionsSubjects: Number Theory (math.NT)
 [277] arXiv:2002.05456 (replaced) [pdf, other]

Title: On an explicit zerofree region for the Dedekind zetafunctionAuthors: Ethan S. LeeComments: 15 pages, 4 tablesSubjects: Number Theory (math.NT)
 [278] arXiv:2002.06117 (replaced) [pdf, ps, other]

Title: Local continuity of logconcave projection, with applications to estimation under model misspecificationSubjects: Statistics Theory (math.ST)
 [279] arXiv:2002.06147 (replaced) [pdf, ps, other]

Title: Sharp inequalities on circular and hyperbolic functions using a Bernoulli inequality typeAuthors: Abd Raouf ChouikhaSubjects: General Mathematics (math.GM)
 [280] arXiv:2002.06335 (replaced) [pdf, ps, other]

Title: The influence of the rolling resistance model on tippe top inversionComments: now in EnglishSubjects: Dynamical Systems (math.DS)
 [281] arXiv:2002.06874 (replaced) [pdf, other]

Title: On sensingaware model predictive pathfollowing control for a reversing general 2trailer with a carlike tractorComments: IEEE International Conference on Robotics and Automation (ICRA), 2020Subjects: 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 mixednorm spacesSubjects: Analysis of PDEs (math.AP)
 [283] arXiv:2002.07176 (replaced) [pdf, ps, other]

Title: Transitive nilpotent Lie algebras of vector fields and their Tanaka prolongationsComments: 11 pages. The title has been correctedSubjects: Differential Geometry (math.DG); Mathematical Physics (mathph)
 [284] arXiv:2002.07321 (replaced) [pdf, other]

Title: On Generalization and Acceleration of Randomized Projection Methods for Linear Feasibility ProblemsSubjects: Optimization and Control (math.OC)
 [285] arXiv:2002.08306 (replaced) [pdf, ps, other]

Title: Kolakoski Sequence and Parity of SubwordsAuthors: Alessandro Della CorteSubjects: Combinatorics (math.CO)
[ 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)