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

Mathematics

New submissions

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

New submissions for Tue, 12 Nov 19

[1]  arXiv:1911.03455 [pdf, other]
Title: No repulsion between critical points for planar Gaussian random fields
Comments: arXiv admin note: text overlap with arXiv:1704.04943
Subjects: Probability (math.PR); Mathematical Physics (math-ph)

We study the behaviour the point process of critical points of isotropic stationary Gaussian fields. We compute the main term in the asymptotic expansion of the two-point correlation function near the diagonal. Our main result could be interpreted as a statement that for a 'generic' field the critical points neither repel no attract each other. Our analysis also allows to study how the short-range behaviour of critical points depends on their index.

[2]  arXiv:1911.03457 [pdf, ps, other]
Title: Groups acting on trees and the Eilenberg-Ganea problem for families
Comments: Comments are welcome. arXiv admin note: text overlap with arXiv:1904.04632
Subjects: Group Theory (math.GR)

We construct new examples of groups with cohomological dimension 2 and geometric dimension 3 with respect to the families of finite subgroups, virtually abelian groups of bounded rank, and the family of virtually poly-cyclic subgroups. Our main ingredients are the examples constructed by Brady-Leary-Nucinckis and Fluch-Leary, and Bass-Serre theory.

[3]  arXiv:1911.03460 [pdf, ps, other]
Title: A Comparison of Two Generalisations of Triplets of Hilbert Spaces
Comments: 14 pages. arXiv admin note: substantial text overlap with arXiv:1309.0176
Subjects: Functional Analysis (math.FA)

We compare the concept of triplet of closely embedded Hilbert spaces with that of generalised triplet of Hilbert spaces in the sense of Berezanskii by showing when they coincide, when they are different, and when starting from one of them one can naturally produce the other one that essentially or fully coincides.

[4]  arXiv:1911.03467 [pdf, other]
Title: Relation between Blomqvist's beta and other measures of concordance of copulas
Comments: 13 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1909.06648
Subjects: Statistics Theory (math.ST); Statistical Finance (q-fin.ST)

An investigation is presented of how a comprehensive choice of four most important measures of concordance (namely Spearman's rho, Kendall's tau, Spearman's footrule, and Gini's gamma) relate to the fifth one, i.e., the Blomqvist's beta. In order to work out these results we present a novel method of estimating the values of the four measures of concordance on a family of copulas with fixed value of beta. These results are primarily aimed at the community of practitioners trying to find the right copula to be employed on their data. However, the proposed method as such may be of independent interest from theoretical point of view.

[5]  arXiv:1911.03469 [pdf, ps, other]
Title: Control by the lowest degree vanishing cycles
Authors: David B. Massey
Comments: 6 pages. arXiv admin note: text overlap with arXiv:math/0504380
Subjects: Algebraic Geometry (math.AG)

Given the germ of an analytic function on affine space with a smooth critical locus, we prove that the constancy of the stalk cohomology of the Milnor fiber in lowest degree off a codimension two subset of the critical locus implies that the vanishing cycles are concentrated in lowest degree and are constant.

[6]  arXiv:1911.03475 [pdf, other]
Title: Concurrent Optimization of Vehicle Dynamics and Powertrain Operation Using Connectivity and Automation
Comments: arXiv admin note: text overlap with arXiv:1903.03084
Subjects: Optimization and Control (math.OC)

Connected and automated vehicles (CAVs) provide the most intriguing opportunity to reduce energy consumption and travel delays. In this paper, we propose a two-level control architecture for CAVs to optimize (1) the vehicle's speed profile, aimed at minimizing stop-and-go driving, and (2) the powertrain efficiency of the vehicle for the optimal speed profile derived in (1). The proposed hierarchical control framework can be implemented onboard the vehicle in real time with minimal computational effort. We evaluate the effectiveness of the efficiency of the proposed architecture through simulation in Mcity using a 100\% penetration rate of CAVs. The results show that the proposed approach yields significant benefits in terms of energy efficiency.

[7]  arXiv:1911.03491 [pdf, ps, other]
Title: Positive intermediate Ricci curvature on products of homogeneous spaces
Comments: 9 pages
Subjects: Differential Geometry (math.DG)

We show that the product of any positively curved homogeneous space with itself admits a metric of positive $2^\mathrm{nd}$-intermediate Ricci curvature, i.e. $\mathrm{Ric}_2>0$. Using these examples, we demonstrate that the Hopf conjectures, Petersen-Wilhelm conjecture, Berger fixed point theorem, and Hsiang-Kleiner theorem do not hold in the $\mathrm{Ric}_2>0$ setting.

[8]  arXiv:1911.03496 [pdf, ps, other]
Title: Isomorphism between the R-matrix and Drinfeld presentations of quantum affine algebra: types B and D
Comments: 56 pages. arXiv admin note: substantial text overlap with arXiv:1903.00204
Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Representation Theory (math.RT)

Following the approach of Ding and I. Frenkel (1993) for type $A$, we showed in our previous work that the Gauss decomposition of the generator matrix in the $R$-matrix presentation of the quantum affine algebra yields the Drinfeld generators in all classical types. Complete details for type $C$ were given therein, while the present paper deals with types $B$ and $D$. The arguments for all classical types are quite similar so we mostly concentrate on necessary additional details specific to the underlying orthogonal Lie algebras.

[9]  arXiv:1911.03506 [pdf]
Title: Approximation by nonlinear Fourier Basis in generalized Holder spaces
Comments: 9 pages
Subjects: Functional Analysis (math.FA)

In this paper, the value of deviation of a function f from its nth generalized de la Vallee-Poussin mean with respect to the nonlinear trigonometric system is estimated for the classes of 2 pi-periodic functions in the uniform norm and in the generalized Holder norm .

[10]  arXiv:1911.03510 [pdf, ps, other]
Title: Thomas-Fermi approximation to electronic density
Authors: Victor Ivrii
Comments: 6 pp
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph)

In heavy atoms and molecules, on the distances $a \gg Z^{-1}$ from all of the nuclei (with a charge $Z_m$) we prove that $\rho_\Psi (x)$ is approximated in $L^1$-norm, by the Thomas-Fermi density.

[11]  arXiv:1911.03511 [pdf, other]
Title: Generalized flatness constants, spanning lattice polytopes, and the Gromov width
Comments: 11 pages, 2 figures
Subjects: Combinatorics (math.CO); Symplectic Geometry (math.SG)

In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which only depends on the dimension. We also discuss relations to recent results on spanning lattice polytopes and how our results could be viewed as the beginning of the study of generalized flatness constants. Regarding symplectic geometry, we point out how the lattice width of a Delzant polytope is related to upper and lower bounds on the Gromov width of its associated symplectic toric manifold. Throughout, we include several open questions.

[12]  arXiv:1911.03516 [pdf, ps, other]
Title: Displacement energy of Lagrangian 3-spheres
Authors: Yuhan Sun
Comments: 52 pages, 13 figures
Subjects: Symplectic Geometry (math.SG)

We estimate the displacement energy of Lagrangian 3-spheres in a symplectic 6-manifold $X$, by estimating the displacement energy of a one-parameter family $L_{\lambda}$ of Lagrangian tori near the sphere. The proof establishes a new version of Lagrangian Floer theory by counting holomorphic strips with one interior hole, which is motivated by the change of open Gromov-Witten invariants under the conifold transition.

[13]  arXiv:1911.03520 [pdf, ps, other]
Title: Quantum Kirwan for quantum K-theory
Comments: 46 pages
Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory QK^G(X) to the quantum K-theory of the git quotient X//G assuming the quotient X//G is a smooth Deligne-Mumford stack with projective coarse moduli space. As an example, we give a presentation of the (possibly bulk-shifted) quantum K-theory of any smooth proper toric Deligne-Mumford stack with projective coarse moduli space. We also provide awall-crossing formula for the K-theoretic gauged potential under variation of git quotient, a proof of the invariance of certain K-theoretic Gromov-Witten invariants under (strong) crepant transformation assumptions, and a proof of a version of the abelian non-abelian correspondence. We revisit a formula of Taipale for the K-theoretic J-function of the Grassmannian in this context.

[14]  arXiv:1911.03525 [pdf, ps, other]
Title: Localizable points in the support of a multiplier ideal and spectra of constrained operators
Comments: 34 pages
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV); Spectral Theory (math.SP)

A unitarily invariant, complete Nevanlinna--Pick kernel $K$ on the unit ball determines a class of operators on Hilbert space called $K$-contractions. We study those $K$-contractions that are constrained, in the sense that they are annihilated by an ideal of multipliers. Our overarching goal is to identify various joint spectra of these constrained $K$-contractions through the vanishing locus of their annihilators. Our methods are based around a careful analysis of a subset of the ball associated to the annihilator, which we call its support. For the functional models, we show how this support completely determines several natural joint spectra. The picture is more complicated for general $K$-contractions, as their spectra can be properly contained in the support. Nevertheless, the "localizable" portion of the support always consists of spectral points. When the support is assumed to be small in an appropriate sense, we manage to effectively detect points of localizability.

[15]  arXiv:1911.03530 [pdf, ps, other]
Title: The Taylor joint spectrum and restriction to hyperinvariant subspaces
Authors: Edward J. Timko
Comments: 3 pages
Subjects: Functional Analysis (math.FA); Spectral Theory (math.SP)

It is well known that for a single bounded operator $A_0$ on a Hilbert $\mathfrak{H}$, if $\mathfrak{M}\subset \mathfrak{H}$ is hyperinvariant for $A_0$, then the spectrum of $A_0|_{\mathfrak{M}}$ is contained in the spectrum of $A_0$. In this note, we modify an example of Taylor to prove the following. There exist a quadruple $A=(A_1,A_2,A_3,A_4)$ of commuting bounded Hilbert space operators and a hyperinvariant subspace $\mathfrak{X}_1$ for $A$ such that the Taylor joint spectrum of $A$ restricted to $\mathfrak{X}_1$ is a not a subset of the Taylor joint spectrum of $A$.

[16]  arXiv:1911.03538 [pdf, ps, other]
Title: Transmit-Receive Generalized Spatial Modulation Based on Dual-layered MIMO Transmission
Subjects: Information Theory (cs.IT)

We propose a novel scheme for downlink multiuser multiple-input multiple-output (MIMO) systems, called dual-layered transmit-receive generalized spatial modulation (DL-TR-GSM). The proposed scheme is based on the concept of dual-layered transmission (DLT) which uses two receive antenna power levels instead of receive antenna activation/inactivation to transmit data in the receive spatial domain. Hence, in order to minimize the bit error rate (BER) for DL-TR-GSM, the optimal ratio between the two power levels is determined. To further characterize DL-TR-GSM, we fully derive the computational complexity and show a significant computational complexity reduction as well as a required hardware complexity reduction of DL-TR-GSM, compared to a state-of-the-art benchmark scheme. Simulation results confirm the performance advantages of DL-TR-GSM.

[17]  arXiv:1911.03539 [pdf, other]
Title: Bridging Bayesian and Minimax Mean Square Error Estimation via Wasserstein Distributionally Robust Optimization
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)

We introduce a distributionally robust minimium mean square error estimation model with a Wasserstein ambiguity set to recover an unknown signal from a noisy observation. The proposed model can be viewed as a zero-sum game between a statistician choosing an estimator---that is, a measurable function of the observation---and a fictitious adversary choosing a prior---that is, a pair of signal and noise distributions ranging over independent Wasserstein balls---with the goal to minimize and maximize the expected squared estimation error, respectively. We show that if the Wasserstein balls are centered at normal distributions, then the zero-sum game admits a Nash equilibrium, where the players' optimal strategies are given by an {\em affine} estimator and a {\em normal} prior, respectively. We further prove that this Nash equilibrium can be computed by solving a tractable convex program. Finally, we develop a Frank-Wolfe algorithm that can solve this convex program orders of magnitude faster than state-of-the-art general purpose solvers. We show that this algorithm enjoys a linear convergence rate and that its direction-finding subproblems can be solved in quasi-closed form.

[18]  arXiv:1911.03544 [pdf, ps, other]
Title: On self-similar solutions to degenerate compressible Navier-Stokes equations
Subjects: Analysis of PDEs (math.AP)

We study cavitating self-similar solutions to compressible Navier-Stokes equations with degenerate density-dependent viscosity. We prove both existence of expanders and non-existence of small shrinkers.

[19]  arXiv:1911.03546 [pdf, ps, other]
Title: Polyharmonic Kirchhoff problems involving exponential non-linearity of Choquard type with singular weights
Comments: arXiv admin note: text overlap with arXiv:1810.00583
Subjects: Analysis of PDEs (math.AP)

In this work, we study the higher order Kirchhoff type Choquard equation $(KC)$ involving a critical exponential non-linearity and singular weights. We prove the existence of solution to $(KC)$ using Mountain pass Lemma in light of Moser-Trudinger and singular Adams-Moser inequalities. In the second part of the paper, using the Nehari manifold technique and minimization over its suitable subsets, we prove the existence of at least two solutions to the Kirchhoff type Choquard equation $(\mathcal{P_{\la,M}})$ involving convex-concave type non-linearity.

[20]  arXiv:1911.03550 [pdf, other]
Title: Approximation of Potential Energy Surfaces with Spherical Harmonics
Subjects: Numerical Analysis (math.NA)

In this note we detail a framework to systematically derive polynomial basis functions for approximating isometry and permutation invariant functions, particularly with an eye to modelling potential energy surfaces. Our presentation builds and expands on (Drautz, Phys. Rev. B 99, 2019). We clarify how to modify this construction to guarantee that the basis becomes complete, and moreover show how to obtain an orthogonal basis.

[21]  arXiv:1911.03551 [pdf, ps, other]
Title: A quasi-linear irreducibility test in K[[x]][y]
Comments: 29 pages. arXiv admin note: substantial text overlap with arXiv:1904.00286
Subjects: Number Theory (math.NT); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than deg(F). The algorithm uses the theory of approximate roots and may be seen as a generalisation of Abhyankhar's irreducibility criterion to the case of non algebraically closed residue fields.

[22]  arXiv:1911.03555 [pdf, ps, other]
Title: Rank 4 finite-dimensional Nichols algebras of diagonal type in positive characteristic
Authors: Jing Wang
Comments: arXiv admin note: text overlap with arXiv:1505.07358
Subjects: Quantum Algebra (math.QA)

Nichols algebras are fundamental objects in the construction of quantized enveloping algebras and in the classification of pointed Hopf algebras by lifting method of Andruskiewitsch and Schneider. Arithmetic root systems are invariants of Nichols algebras of diagonal type with a certain finiteness property. In the present paper, all rank 4 Nichols algebras of diagonal type with a finite arithmetic root system over fields of arbitrary characteristic are classified. Our proof uses the classification of the finite arithmetic root systems of rank 4.

[23]  arXiv:1911.03560 [pdf, other]
Title: Homogenization of quasiperiodic structures and two-scale cut-and-projection convergence
Comments: 28 pages, 2 figures
Subjects: Analysis of PDEs (math.AP); Materials Science (cond-mat.mtrl-sci); Optics (physics.optics)

Quasiperiodic arrangements of the constitutive materials in composites result in effective properties with very unusual electromagnetic and elastic properties. The paper discusses the cut-and-projection method that is used to characterize effective properties of quasiperiodic materials. Characterization of cut-and-projection convergence limits of partial differential operators is presented, and correctors are established. We provide the proofs of the results announced in (Wellander et al., 2018) and give further examples. Applications to problems of interest in physics include electrostatic, elastostatic and quasistatic magnetic cases.

[24]  arXiv:1911.03564 [pdf, ps, other]
Title: The Fubini's Theorem for the Even Index Lie Subgroup
Comments: 10 pages
Subjects: Representation Theory (math.RT)

In this paper we present a new proof to generalize the Fubini's Theorem for the even index subgroup of a compact Lie group, using a recent result on the semi-direct product of groups. We also present some applications of this result for the invariant theory.

[25]  arXiv:1911.03566 [pdf, ps, other]
Title: Divisor sequences of atoms in Krull monoids
Comments: This paper is dedicated to Roger and Sylvia Wiegand -- mentors, role models, and friends -- on the occasion of their combined 151st birthday
Subjects: Commutative Algebra (math.AC)

The divisor sequence of an irreducible element (\textit{atom}) $a$ of a reduced monoid $H$ is the sequence $(s_n)_{n\in \mathbb{N}}$ where, for each positive integer $n$, $s_n$ denotes the number of distinct irreducible divisors of $a^n$. In this work we investigate which sequences of positive integers can be realized as divisor sequences of irreducible elements in Krull monoids. In particular, this gives a means for studying non-unique direct-sum decompositions of modules over local Noetherian rings for which the Krull-Remak-Schmidt property fails.

[26]  arXiv:1911.03568 [pdf, ps, other]
Title: A Spline Chaos Expansion
Authors: Sharif Rahman
Comments: 28 pages, one table, seven figures; accepted by SIAM/ASA Journal on Uncertainty Quantification
Subjects: Numerical Analysis (math.NA); Probability (math.PR); Statistics Theory (math.ST)

A spline chaos expansion, referred to as SCE, is introduced for uncertainty quantification analysis. The expansion provides a means for representing an output random variable of interest with respect to multivariate orthonormal basis splines (B-splines) in input random variables. The multivariate B-splines are built from a whitening transformation to generate univariate orthonormal B-splines in each coordinate direction, followed by a tensor-product structure to produce the multivariate version. SCE, as it stems from compactly supported B-splines, tackles locally prominent responses more effectively than the polynomial chaos expansion (PCE). The approximation quality of the expansion is demonstrated in terms of the modulus of smoothness of the output function, leading to the mean-square convergence of SCE to the correct limit. Analytical formulae are proposed to calculate the mean and variance of an SCE approximation for a general output variable in terms of the requisite expansion coefficients. Numerical results indicate that a low-order SCE approximation with an adequate mesh is markedly more accurate than a high-order PCE approximation in estimating the output variances and probability distributions of oscillatory, nonsmooth, and nearly discontinuous functions.

[27]  arXiv:1911.03569 [pdf, other]
Title: The matroid stratification of the Hilbert scheme of k points in P^1
Authors: Rob Silversmith
Comments: 22 pages, 9 figures, comments welcome!
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Combinatorics (math.CO)

Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These sets form a sequence of matroids indexed by $d$, collectively called the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multi-)graded Hilbert scheme. Very little is known about the structure of these stratifications; our motivation in studying them is to understand torus orbits in the Hilbert scheme of points $(\mathbb{A}^2)^{[n]}.$
In this paper, we explore many examples of matroid strata, and give a convenient way of visualizing them. We focus on the special case of principal ideals in $K[x,y],$ i.e. collections of points in $\mathbb{P}^1$. In this case, we find that the matroid strata in $(\mathbb{P}^1)^{[k]}$ (of which there are infinitely many, so they are not Zariski-locally closed) are exactly cut out by the Schur polynomials in $k$ variables. We find certain minimal strata (rational curves) in $(\mathbb{P}^1)^{[k]}$ that are in natural bijection with binary necklaces with $k$ black beads and any number of white beads, if we are over a field containing appropriate roots of unity. We then give an application: by intersecting these special principal ideals with monomial ideals, we find corresponding strata in $(\mathbb{A}^2)^{[n]}$. This proves the existence of certain new edges in the $T$-graph of $(\mathbb{A}^2)^{[n]};$ classifying this graph is a longstanding open problem studied by Altmann-Sturmfels, Hering-Maclagan, and others.

[28]  arXiv:1911.03574 [pdf, ps, other]
Title: New error bounds for Laplace approximation via Stein's method
Authors: Robert E. Gaunt
Comments: 22 pages
Subjects: Probability (math.PR)

We use Stein's method to obtain explicit bounds on the rate of convergence for the Laplace approximation of two different sums of independent random variables; one being a random sum of mean zero random variables and the other being a deterministic sum of mean zero random variables in which the normalisation sequence is random. We make technical advances to the framework of Pike and Ren \cite{pike} for Stein's method for Laplace approximation, which allows us to give bounds in the Kolmogorov and Wasserstein metrics. Under the additional assumption of vanishing third moments, we obtain faster convergence rates in smooth test function metrics. As part of the derivation of our bounds for the Laplace approximation for the deterministic sum, we obtain new bounds for the solution, and it first two derivatives, of the Rayleigh Stein equation.

[29]  arXiv:1911.03581 [pdf, ps, other]
Title: Global existence and decay estimates for the viscoelastic kirchhoff equation with a delay term
Subjects: Analysis of PDEs (math.AP)

In this paper, we consider a viscoelastic kirchhoff equation with a delay term in the internal feedback. By using the Faedo-Galarkin approximation method we prove the well-posedness of the global solutions. Introducing suitable energy, we prove the general uniform decay results.

[30]  arXiv:1911.03585 [pdf, other]
Title: When Machine Learning Meets Wireless Cellular Networks: Deployment, Challenges, and Applications
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)

Artificial intelligence (AI) powered wireless networks promise to revolutionize the conventional operation and structure of current networks from network design to infrastructure management, cost reduction, and user performance improvement. Empowering future networks with AI functionalities will enable a shift from reactive/incident driven operations to proactive/data driven operations. This paper provides an overview on the integration of AI functionalities in 5G and beyond networks. Key factors for successful AI integration such as data, real-time network intelligence, security, and augmentation of human intelligence are highlighted. We also summarize the various types of network intelligence as well as machine learning based air interface in future networks. Use case examples for the application of AI to the wireless domain are then summarized. We highlight on applications to the physical layer, radio resource management, mobility management, wireless security, and localization.

[31]  arXiv:1911.03589 [pdf, ps, other]
Title: A note on the Schwarz lemma for harmonic functions
Authors: Marek Svetlik
Subjects: Complex Variables (math.CV)

In this note we consider some generalizations of the Schwarz lemma for harmonic functions on the unit disk, whereby values of such functions and the norms of their differentials at the point $z=0$ are given.

[32]  arXiv:1911.03593 [pdf, ps, other]
Title: Semi-stable higgs bundles and flat bundles over non-Kähler manifolds
Comments: 33 pages
Subjects: Differential Geometry (math.DG)

In this paper, we study Higgs bundles and flat bundles over non-K\"ahler manifolds. Suppose $(X,\omega)$ is a compact Hermitian manifold of dimension $n$ satisfying $\partial\bar{\partial}\omega^{n-1}=\partial\bar{\partial}\omega^{n-2}=0$, we prove that every semi-stable Higgs bundle $(E,\bar{\partial}_{E},\theta)$ over $(X,\omega)$ with vanishing first and second Chern numbers is an extension of Higgs-Hermitian flat bundles. Moreover, suppose $(X,\omega)$ also satisfies $\int_{X}\partial [\eta]\wedge\frac{\omega^{n-1}}{(n-1)!}=0$ for every $[\eta]\in H^{0,1}(X)$, we prove that there is an equivalence of categories between the category of poly-stable Higgs bundles with vanishing Chern numbers and the category of semi-simple flat bundles. At last, in rank $2$ case, we show that there is an one-to-one correspondence between the moduli space of semi-stable Higgs bundles with vanishing Chern numbers and the moduli space of flat bundles.

[33]  arXiv:1911.03608 [pdf, ps, other]
Title: Positive Ricci curvature on fiber bundles with compact structure group
Comments: 7 pages. Comments are welcome
Subjects: Differential Geometry (math.DG)

The aim of this paper is to give a direct and simple proof and popularize a result for the existence of metrics of positive Ricci curvature on the total space of a large class of fiber bundles with compact structure groups. We believe that this result can be useful to build new examples of manifolds with positive Ricci curvature, in particular, it also generalizes and give an unified framework for the results in Nash \cite{nash} and Poor \cite{poor}.

[34]  arXiv:1911.03610 [pdf, ps, other]
Title: Unstable higher Toda brackets II
Subjects: Algebraic Topology (math.AT)

We define subscripted unstable higher Toda brackets and study their elementary properties. This paper is the continuation of our previous paper in which we defined the non-subscripted unstable higher Toda brackets.

[35]  arXiv:1911.03613 [pdf, ps, other]
Title: On the structure of variable exponent spaces
Subjects: Functional Analysis (math.FA)

The first part of this paper surveys several results on the lattice structure of variable exponent Lebesgue function spaces (or Nakano spaces) $\lpv$. In the second part strictly singular and disjointly strictly singular operators between spaces $\lpv$ are studied. New results on the disjoint strict singularity of the inclusions $ L^{p(\cdot)}(\Omega) \hookrightarrow L^{q(\cdot)}(\Omega)$ are given.

[36]  arXiv:1911.03616 [pdf, ps, other]
Title: Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra
Subjects: Numerical Analysis (math.NA)

In this work, merging ideas from compatible discretisations and polyhedral methods, we construct novel fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra. The spaces and operators that appear in these sequences are directly amenable to computer implementation. Besides proving exactness, we show that the usual sequence of Finite Element spaces forms, through appropriate interpolation operators, a commutative diagram with our sequence, which ensures suitable approximation properties. A discussion on reconstructions of potentials and discrete $L^2$-products completes the exposition.

[37]  arXiv:1911.03617 [pdf, other]
Title: Stochastic Predictive Control under Intermittent Observations and Unreliable Actions
Subjects: Optimization and Control (math.OC)

We propose a provably stabilizing and tractable approach for control of constrained linear systems under intermittent observations and unreliable transmissions of control commands. A smart sensor equipped with a Kalman filter is employed for the estimation of the states from incomplete and corrupt measurements, and an estimator at the controller side optimally feeds the intermittently received sensor data to the controller. The remote controller iteratively solves constrained stochastic optimal control problems and transmits the control commands according to a carefully designed transmission protocol through an unreliable channel. We present a (globally) recursively feasible quadratic program, which is solved online to yield a stabilizing controller for Lyapunov stable linear time invariant systems under any positive bound on control values and any non-zero transmission probabilities of Bernoulli channels.

[38]  arXiv:1911.03625 [pdf, ps, other]
Title: Recent developments in controlled crowd dynamics
Subjects: Optimization and Control (math.OC); Mathematical Physics (math-ph); Dynamical Systems (math.DS); Numerical Analysis (math.NA)

We survey recent results on controlled particle systems. The control aspect introduces new challenges in the discussion of properties and suitable mean field limits. Some of the aspects are highlighted in a detailed discussion of a particular controlled particle dynamics. The applied techniques are shown on this simple problem to illustrate the basic methods. Computational results confirming the theoretical findings are presented and further particle models are discussed.

[39]  arXiv:1911.03634 [pdf]
Title: Inclusion-Exclusion-Like identities
Comments: 15 pages
Subjects: Combinatorics (math.CO)

Given a sequence of sets $\mathcal{A}=(A_{1},A_{2},...A_{n})$, we determine set constructions $E(A_{1},A_{2},...A_{n})$ that result in a set whose cardinality can be expressed as a sequence independent linear combination of the numbers $i_{k}(\mathcal{A})=\sum_{\left|I\right|=k}\left|\cap_{i\in I}A_{i}\right|$, $1\leq k\leq n$ and describe a method for finding the desired expression for the cardinality of such sets. We also determine the sequences of integers that have the form $i_{1}(\mathcal{A}),i_{2}(\mathcal{A}),....i_{n}(\mathcal{A})$ and show that for our purposes the sequence of sets $\mathcal{\mathcal{A}}$ can be taken to be nested.

[40]  arXiv:1911.03635 [pdf, ps, other]
Title: Tautological algebra of the moduli space of semistable bundles on an elliptic curve
Authors: Arijit Mukherjee
Comments: All comments are welcome
Subjects: Algebraic Geometry (math.AG)

In this paper, our aim is to find the relations amongst the cohomology classes of Brill-Noether subvarieties of the moduli space of semistable bundles over an elliptic curve. We obtain results similar to the Poincar\'e relations on a Jacobian variety.

[41]  arXiv:1911.03636 [pdf, other]
Title: On Traffic Flow with Nonlocal Flux: a Relaxation Representation
Subjects: Analysis of PDEs (math.AP)

We consider a conservation law model of traffic flow, where the velocity of each car depends on a weighted average of the traffic density $\rho$ ahead. The averaging kernel is of exponential type: $w_\varepsilon(s)=\varepsilon ^{-1} e^{-s/\varepsilon}$. By a transformation of coordinates, the problem can be reformulated as a
$2\times 2$ hyperbolic system with relaxation. Uniform BV bounds on the solution are thus obtained, independent of the scaling parameter $\varepsilon $. Letting $\varepsilon\to 0$, the limit yields a weak solution to the corresponding conservation law $\rho_t + ( \rho v(\rho))_x=0$. In the case where the velocity $v(\rho)= a-b\rho$ is affine, using the Hardy-Littlewood rearrangement inequality we prove that the limit is the unique entropy-admissible solution to the scalar conservation law.

[42]  arXiv:1911.03641 [pdf, ps, other]
Title: (Co)Homology Self-closeness Numbers of Simply-connected Spaces
Authors: Pengcheng Li
Comments: 20 pages
Subjects: Algebraic Topology (math.AT)

The (co)homology closeness number of a simply-connected based CW-complexes $X$ is the minimal number $k$ such that any self-map $f$ of $X$ inducing an automorphism of the (co)homology groups for dimensions$\leq k$ is a self-homotopy equivalence. These two numbers are homotopy invariants and have a close relation with the group of self-homotopy equivalences. In this paper, we compare the (co)homology closeness numbers of spaces in certain cofibrations, define the mod $p$ (co)homology closeness-number of simply-connected $p$-local spaces with finitely generated homologies and study some properties of the (mod $p$) (co)homology self-closeness numbers.

[43]  arXiv:1911.03647 [pdf, ps, other]
Title: Schiffer comparison operators and approximations on Riemann surfaces bordered by quasicircles
Comments: 25 pages
Subjects: Complex Variables (math.CV); Mathematical Physics (math-ph); Differential Geometry (math.DG)

We consider a compact Riemann surface $R$ of arbitrary genus, with a finite number of non-overlapping quasicircles, which separate $R$ into two subsets: a connected Riemann surface $\Sigma$, and the union $\mathcal{O}$ of a finite collection of simply-connected regions. We prove that the Schiffer integral operator mapping the Bergman space of anti-holomorphic one-forms on $\mathcal{O}$ to the Bergman space of holomorphic forms on $\Sigma$ is an isomorphism. We then apply this to prove versions of the Plemelj-Sokhotski isomorphism and jump decomposition for such a configuration. Finally we obtain some approximation theorems for the Bergman space of one-forms and Dirichlet space of holomorphic functions on $\Sigma$ by elements of Bergman space and Dirichlet space on fixed regions in $R$ containing $\Sigma$.

[44]  arXiv:1911.03651 [pdf, other]
Title: $C^0$ finite element approximations of linear elliptic equations in non-divergence form and Hamilton-Jacobi-Bellman equations with Cordes coefficients
Authors: Shuonan Wu
Comments: 20 pages
Subjects: Numerical Analysis (math.NA)

This paper is concerned with $C^0$ finite element approximations of the linear elliptic equations in non-divergence form and the Hamilton-Jacobi-Bellman (HJB) equations with Cordes coefficients. Motivated by the Miranda-Talenti estimate, a discrete analog is proved once the finite element space is $C^0$ on the $(n-1)$-dimensional subsimplex (face) and $C^1$ on $(n-2)$-dimensional subsimplex. The main novelty of the non-standard finite element methods is to introduce an interior penalty term to argument the PDE-induced variational form of the linear elliptic equations in non-divergence form or the HJB equations. As a distinctive feature of the proposed methods, no penalization or stabilization parameter is involved in the variational forms. As a consequence, the coercivity constant (resp. monotonicity constant) for the linear elliptic equations in non-divergence form (resp. the HJB equations) at discrete level is exactly the same as that from PDE theory. Numerical experiments are provided to validate the convergence theory and to illustrate the accuracy and computational efficiency of the proposed methods.

[45]  arXiv:1911.03652 [pdf, ps, other]
Title: Tangency property and prior-saturation points in minimal time problems in the plane
Subjects: Optimization and Control (math.OC)

In this paper, we consider minimal time problems governed by control-affine-systems in the plane, and we focus on the synthesis problem in presence of a singular locus that involves a saturation point for the singular control. After giving sufficient conditions on the data ensuring occurence of a prior-saturation point and a switching curve, we show that the bridge (i.e., the optimal bang arc issued from the singular locus at this point) is tangent to the switching curve at the prior-saturation point. This property is proved using the Pontryagin Maximum Principle that also provides a set of non-linear equations that can be used to compute the prior-saturation point. These issues are illustrated on a fed-batch model in bioprocesses and on a Magnetic Resonance Imaging (MRI) model for which minimal time syntheses for the point-to-point problem are discussed.

[46]  arXiv:1911.03656 [pdf, ps, other]
Title: Visible actions and criteria for multiplicity-freeness of representations of Heisenberg groups
Comments: 32 pages
Subjects: Representation Theory (math.RT)

A visible action on a complex manifold is a holomorphic action that admits a $J$-transversal totally real submanifold $S$. It is said to be strongly visible if there exists an orbit-preserving anti-holomorphic diffeomorphism $\sigma $ such that $\sigma |_S = \operatorname{id}_S$. Let $G$ be the Heisenberg group and $H$ a non-trivial connected closed subgroup of $G$. We prove that any complex homogeneous space $D = G^{\mathbb{C}}/H^{\mathbb{C}}$ admits a strongly visible $L$-action, where $L$ stands for a connected closed subgroup of $G$ explicitly constructed through a co-exponential basis of $H$ in $G$. This leads in turn that $G$ itself acts strongly visibly on $D$. The proof is carried out by finding explicitly an orbit-preserving anti-holomorphic diffeomorphism and a totally real submanifold $S$, for which the dimension depends upon the dimensions of $G$ and $H$. As a direct application, our geometric results provide a proof of various multiplicity-free theorems on continuous representations on the space of holomorphic sections on $D$. Moreover, we also generate as a consequence, a geometric criterion for a quasi-regular representation of $G$ to be multiplicity-free.

[47]  arXiv:1911.03659 [pdf, other]
Title: Locally equivalent Floer complexes and unoriented link cobordisms
Authors: Alberto Cavallo
Subjects: Geometric Topology (math.GT)

We show that the local equivalence class of the collapsed link Floer complex $cCFL^\infty(L)$, together with many $\Upsilon$-type invariants extracted from this group, is a concordance invariant of links. In particular, we define a version of the invariants $\Upsilon_L(t)$ and $\nu^+(L)$ when $L$ is a link and we prove that they give a lower bound for the slice genus $g_4(L)$. Furthermore, in the last section of the paper we study the homology group $HFL'(L)$ and its behaviour under unoriented cobordisms. We obtain that a normalized version of the $\upsilon$-set, introduced by Ozsv\'ath, Stipsicz and Szab\'o, produces a lower bound for the 4-dimensional smooth crosscap number $\gamma_4(L)$.

[48]  arXiv:1911.03661 [pdf, ps, other]
Title: Cost for a controlled linear KdV equation
Subjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)

The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathematical theories are built on this totally unknown constant. We introduce a constructive method that gives the quantitative value of this constant.

[49]  arXiv:1911.03672 [pdf, ps, other]
Title: Synchronized Lévy queues
Comments: 14 pages
Subjects: Probability (math.PR)

We consider a multivariate L\'evy process where the first coordinate is a L\'evy process with no negative jumps which is not a subordinator and the others are nondecreasing. We determine the Laplace-Stieltjes transform of the steady-state buffer content vector of an associated system of parallel queues. The special structure of this transform allows us to rewrite it as a product of joint Laplace-Stieltjes transforms. We are thus able to interpret the buffer content vector as a sum of independent random vectors.

[50]  arXiv:1911.03680 [pdf, ps, other]
Title: A new concept of differentiability for interval-valued functions
Subjects: General Mathematics (math.GM)

In this paper we propose a new concept of differentiability for interval-valued functions. This concept is based on the properties of the Hausdorff-Pompeiu metric and avoids using the generalized Hukuhara difference.

[51]  arXiv:1911.03682 [pdf, other]
Title: Optimized geometrical metrics satisfying free-stream preservation
Comments: 22 pages and one appendix section
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)

Computational fluid dynamics and aerodynamics, which complement more expensive empirical approaches, are critical for developing aerospace vehicles. During the past three decades, computational aerodynamics capability has improved remarkably, following advances in computer hardware and algorithm development. However, for complex applications, the demands on computational fluid dynamics continue to increase in a quest to gain a few percent improvements in accuracy. Herein, we numerically demonstrate that optimizing the metric terms which arise from smoothly mapping each cell to a reference element, lead to a solution whose accuracy is practically never worse and often noticeably better than the one obtained using the widely adopted Thomas and Lombard metric terms computation (Geometric conservation law and its application to flow computations on moving grids, AIAA Journal, 1979). Low and high-order accurate entropy stable schemes on distorted, high-order tensor product elements are used to simulate three-dimensional inviscid and viscous compressible test cases for which an analytical solution is known.

[52]  arXiv:1911.03683 [pdf, ps, other]
Title: A Polynomial Kernel for Paw-Free Editing
Subjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)

For a fixed graph $H$, the $H$-free-editing problem asks whether we can modify a given graph $G$ by adding or deleting at most $k$ edges such that the resulting graph does not contain $H$ as an induced subgraph. The problem is known to be NP-complete for all fixed $H$ with at least $3$ vertices and it admits a $2^{O(k)}n^{O(1)}$ algorithm. Cai and Cai showed that the $H$-free-editing problem does not admit a polynomial kernel whenever $H$ or its complement is a path or a cycle with at least $4$ edges or a $3$-connected graph with at least $1$ edge missing. Their results suggest that if $H$ is not independent set or a clique, then $H$-free-editing admits polynomial kernels only for few small graphs $H$, unless $\textsf{coNP} \in \textsf{NP/poly}$. Therefore, resolving the kernelization of $H$-free-editing for small graphs $H$ plays a crucial role in obtaining a complete dichotomy for this problem. In this paper, we positively answer the question of compressibility for one of the last two unresolved graphs $H$ on $4$ vertices. Namely, we give the first polynomial kernel for paw-free editing with $O(k^{6})$vertices.

[53]  arXiv:1911.03685 [pdf, other]
Title: Estimation of entropy measures for categorical variables with spatial correlation
Comments: 7 pages, 3 figures
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)

Entropy is a measure of heterogeneity widely used in applied sciences, often when data are collected over space. Recently, a number of approaches has been proposed to include spatial information in entropy. The aim of entropy is to synthesize the observed data in a single, interpretable number. In other studies the objective is, instead, to use data for entropy estimation; several proposals can be found in the literature, which basically are corrections of the estimator based on substituting the involved probabilities with proportions. In this case, independence is assumed and spatial correlation is not considered. We propose a path for spatial entropy estimation: instead of correcting the global entropy estimator, we focus on improving the estimation of its components, i.e. the probabilities, in order to account for spatial effects. Once probabilities are suitably evaluated, estimating entropy is straightforward since it is a deterministic function of the distribution. Following a Bayesian approach, we derive the posterior probabilities of a multinomial distribution for categorical variables, accounting for spatial correlation. A posterior distribution for entropy can be obtained, which may be synthesized as wished and displayed as an entropy surface for the area under study.

[54]  arXiv:1911.03687 [pdf, ps, other]
Title: Lyapunov Function Partial Different Equations for Stability Analysis of a C of Chemical Reaction Networks
Comments: 6 pages, 1 figure, conference
Subjects: Dynamical Systems (math.DS)

We investigate a broad family of chemical reaction networks (CRNs) assigned with mass action kinetics, called complex-balanced-produced-CRNs (CBP-CRNs), which are generated by any given complex balanced mass action system (MAS) and whose structures depend on the selection of producing matrices. Unluckily, the generally applied pseudoHelmholtz free energy function may fail to act as a Lyapunov function for the CBP-CRNs. Inspired by the method of Lyapunov function partial differential equations (PDEs), we construct one solution of their corresponding Lyapunov function PDEs, termed as the generalized pseudoHelmholtz free energy function, and further show that solution can behave as a Lyapunov function to render the asymptotic stability for the CBP-CRNs. This work can be taken as an argument of the conjecture that Lyapunov function PDEs approach can serve for any MAS.

[55]  arXiv:1911.03689 [pdf, ps, other]
Title: A Classification of Permutation Polynomials through Some Linear Maps
Comments: 18 pages
Subjects: Number Theory (math.NT)

In this paper, we propose linear maps over the space of all polynomials $f(x)$ in $\mathbb{F}_q[x]$ that map $0$ to itself, through their evaluation map. Properties of these linear maps throw up interesting connections with permutation polynomials. We study certain properties of these linear maps. We propose to classify permutation polynomials by identifying the generalized eigenspaces of these maps, where the permutation polynomials reside. As it turns out, several classes of permutation polynomials studied in literature neatly fall into classes defined using these linear maps. We characterize the shapes of permutation polynomials that appear in the various generalized eigenspaces of these linear maps. For the case of $\mathbb{F}_p$, these generalized eigenspaces provide a degree-wise distribution of polynomials (and therefore permutation polynomials) over $\mathbb{F}_p$.
We show that for $\mathbb{F}_q$, it is sufficient to consider only a few of these linear maps. The intersection of the generalized eigenspaces of these linear maps contain (permutation) polynomials of certain shapes. In this context, we study a class of permutation polynomials over $\mathbb{F}_{p^2}$. We show that the permutation polynomials in this class are closed under compositional inverses. We also do some enumeration of permutation polynomials of certain shapes.

[56]  arXiv:1911.03690 [pdf, ps, other]
Title: Global well-posdness of Prandtl system with small analytic data
Subjects: Analysis of PDEs (math.AP)

In this paper, we prove the global well-posedness of Prandtl system with small initial data, which is analytical in the tangential variable. The key ingredient used in the proof is to derive sufficiently fast decay-in-time estimate of some weighted analytic energy estimate of the tangent velocity, which is based on a Poincar\'e type inequality and a subtle interplay between the tangential velocity equation and its primitive one. Our result can be viewed as a global-in-time Cauchy-Kowalevsakya result for Prandtl system with small analytical data.

[57]  arXiv:1911.03693 [pdf, ps, other]
Title: Polynomial rate of convergence to the Yaglom limit for Brownian motion with drift
Comments: 11 pages
Subjects: Probability (math.PR)

This paper deals with the rate of convergence in 1-Wasserstein distance of the marginal law of a Brownian motion with drift conditioned not to have reached 0 towards the Yaglom limit of the process. In particular it is shown that, for a wide class of initial measures including Dirac measures and probability measures with compact support, the Wasserstein distance decays asymptotically as 1/t.

[58]  arXiv:1911.03696 [pdf, ps, other]
Title: Numerical conformal mapping with rational functions
Subjects: Complex Variables (math.CV); Numerical Analysis (math.NA)

New algorithms are presented for numerical conformal mapping based on rational approximations and the solution of Dirichlet problems by least-squares fitting on the boundary. The methods are targeted at regions with corners, where the Dirichlet problem is solved by the "lightning Laplace solver" with poles exponentially clustered near each singularity. For polygons and circular polygons, further simplifications are possible.

[59]  arXiv:1911.03707 [pdf, other]
Title: Where do the maximum absolute $q$-series coefficients of $(1-q)(1-q^2)(1-q^3)\dots(1-q^{n-1})(1-q^n)$ occur?
Comments: 9 pages, 1 figure, 3 tables
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

We used the MACH2 supercomputer to study coefficients in the $q$-series expansion of $(1-q)(1-q^2)\dots(1-q^n)$, for all $n\leq 75000$. As a result, we were able to conjecture some periodic properties associated with the before unknown location of the maximum coefficient of these polynomials with odd $n$. Remarkably the observed period is 62,624.

[60]  arXiv:1911.03713 [pdf, other]
Title: Some dynamical properties of delayed weakly reversible mass-action systems
Subjects: Dynamical Systems (math.DS)

This paper focuses on the dynamical properties of delayed complex balanced systems. We first study the relationship between the stoichiometric compatibility classes of delayed and non-delayed systems. Using this relation we give another way to derive the existence of positive equilibrium in each stoichiometric compatibility class for delayed complex balanced systems. And if time delays are constant, the result can be generalized to weakly reversible networks. Also, by utilizing the Lyapunov-Krasovskii functional, we can obtain a long-time dynamical property about $\omega$-limit set of the complex balanced system with constant time delays. An example is also provided to support our results.

[61]  arXiv:1911.03714 [pdf, ps, other]
Title: Time-varying vector norm and lower and upper bounds on the solutions of uniformly asymptotically stable linear systems
Authors: Robert Vrabel
Comments: 14 pages
Subjects: Classical Analysis and ODEs (math.CA)

Based on the eigenvalue idea and the time-varying weighted vector norm in state space we construct here the lower and upper bounds on the solutions of uniformly asymptotically stable linear systems. We generalize the known results for the linear time-invariant systems to the linear time-varying ones.

[62]  arXiv:1911.03715 [pdf, ps, other]
Title: Twists of two or multiple idempotent matrices
Authors: Yongge Tian
Comments: 24 pages
Subjects: General Mathematics (math.GM)

In this article, we revisit some block matrix construction methods and use them to derive various general expansion formulas for calculating the ranks of matrix expressions. As applications, we derive a variety of interesting rank equalities for matrix expressions composed by idempotent matrices, and present their applications in the characterization of some matrix equalities for generalized inverses of partitioned matrices.

[63]  arXiv:1911.03718 [pdf, ps, other]
Title: Minnaert resonances for bubbles in soft elastic materials
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

Minnaert resonance is a well known physical phenomenon and it has many important applications, in particular in the effective realisation of acoustic metamaterials using bubbly mediums in recent years. In this paper, motived by the Minnaert resonance, we consider the low-frequency resonance for acoustic bubbles embedded in soft elastic materials. This is a hybrid physical process that couples the acoustic and elastic wave propagations. By delicately and subtly balancing the acoustic and elastic parameters as well as the geometry of the bubble, we show that Minnaert resonance can (approximately) occur for rather general constructions. Our study poses a great potential for the effective realisation of negative elastic materials by using bubbly elastic mediums.

[64]  arXiv:1911.03721 [pdf, ps, other]
Title: Block-Coordinate Descent on the Riemannian Staircase for Certifiably Correct Distributed Rotation and Pose Synchronization
Comments: technical report version
Subjects: Optimization and Control (math.OC); Robotics (cs.RO)

This paper presents the first certifiably correct solver for distributed pose-graph optimization (PGO), the backbone of modern collaborative simultaneous localization and mapping (CSLAM) and camera network localization (CNL) systems. By pursuing a sparse semidefinite relaxation, our approach provides formal performance guarantees that match state-of-the-art centralized techniques. In particular, under low noise, the proposed distributed solver is guaranteed to find globally optimal solutions despite the non-convexity of PGO. To solve the resulting large-scale semidefinite programs, we adopt the state-of-the-art Riemannian Staircase framework and develop Riemannian block-coordinate descent (RBCD) as the core distributed local search algorithm. RBCD is well-suited to distributed synchronization problems (such as rotation and pose synchronization) as it only requires local communication, provides privacy protection, and is easily parallelizable. Furthermore, we prove that RBCD converges to first-order critical points for general Riemannian optimization problems over product manifolds, and establish a global sublinear convergence rate. Extensive evaluations on real and synthetic PGO datasets demonstrate state-of-the-art performance of the proposed distributed solver.

[65]  arXiv:1911.03729 [pdf, ps, other]
Title: Strichartz estimates and Fourier restriction theorems on the Heisenberg group
Comments: 28 pages
Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)

This paper is dedicated to the proof of Strichartz estimates on the Heisenberg group $\mathbb{H}^d$ for the linear Schr\"odinger and wave equations involving the sublaplacian. The Schr\"odinger equation on $\mathbb{H}^d$ is an example of a totally non-dispersive evolution equation: for this reason the classical approach that permits to obtain Strichartz estimates from dispersive estimates is not available. Our approach, inspired by the Fourier transform restriction method initiated by Tomas and Stein, is based on Fourier restriction theorems on $\mathbb{H}^d$, using the non-commutative Fourier transform on the Heisenberg group. It enables us to obtain also an anisotropic Strichartz estimate for the wave equation, for a larger range of indices than was previously known.

[66]  arXiv:1911.03732 [pdf, ps, other]
Title: A generalization to number fields of Euler's theorem on the series of reciprocals of primes
Comments: 3 pages, no figures. Comments are welcome
Subjects: Number Theory (math.NT)

Denote by $\mathbb Z_K$ the ring of integers of an algebraic number field $K$ of degree $n$, by $\mathcal A$ the set of principal ideals of $\mathbb Z_K$ generated by an atom, and by $N(I)$ the absolute norm of a non-zero ideal $I$ of $\mathbb Z_K$. Building upon the ideas of Clarkson from [Proc. Amer. Math. Soc. 17 (1966), 541], we show that $$\sum_{\mathfrak a \in \mathcal A} \frac{1}{|N(\mathfrak a)|^{1/n}} = \infty.$$ This generalizes a classical theorem of Euler on the series of reciprocals of positive rational primes. It also provides an alternative, though unnecessarily complicated, proof that $\mathbb Z_K$ has infinitely many non-associated atoms.

[67]  arXiv:1911.03733 [pdf, ps, other]
Title: Local and 2-local derivations of solvable Leibniz algebras
Subjects: Rings and Algebras (math.RA)

We show that any local derivation on the solvable Leibniz algebras with model or abelian nilradicals, whose the dimension of complementary space is maximal is a derivation. We show that solvable Leibniz algebras with abelian nilradicals, which have 1-dimension complementary space, admit local derivations which are not derivations. Moreover, similar problem concerning 1-local derivations of such algebras are investigated and an example of solvable Leibniz algebra given such that any 2-local derivation on it is a derivation, but which admit local derivations which are not derivations.

[68]  arXiv:1911.03742 [pdf, ps, other]
Title: Order isomorphisms on order intervals of atomic JBW-algebras
Comments: 17 pages
Subjects: Functional Analysis (math.FA); Operator Algebras (math.OA)

In this paper a full description of order isomorphisms between effect algebras of atomic JBW-algebras is given. We will derive a closed formula for the order isomorphisms on the effect algebra of type I factors by proving that the invertible part of the effect algebra of a type I factor is left invariant. This yields an order isomorphism on the whole cone, for which a characterisation exists. Furthermore, we will show that the obtained formula for the order isomorphism on the invertible part can be extended to the whole effect algebra again. As atomic JBW-algebras are direct sums of type I factors and order isomorphisms factor through the direct sum decomposition, this yields the desired description.

[69]  arXiv:1911.03744 [pdf, ps, other]
Title: Estimation in Poisson Noise: Properties of the Conditional Mean Estimator
Comments: Short version was presented at ITW 2019 in Visby
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP); Statistics Theory (math.ST)

This paper considers estimation of a random variable in Poisson noise with signal scaling coefficient and dark current as explicit parameters of the noise model. Specifically, the paper focuses on properties of the conditional mean estimator as a function of the scaling coefficient, the dark current parameter, the distribution of the input random variable and channel realizations.
With respect to the scaling coefficient and the dark current several identities in terms of derivatives are established. For example, it is shown that the derivative of the conditional mean estimator with respect to the dark current parameter is proportional to the conditional variance. Moreover, a version of score function is proposed and a Tweedie-like formula for the conditional expectation is recovered.
With respect to the distribution several regularity conditions are shown. For instance, it is shown that the conditional mean estimator uniquely determines the input distribution. Moreover, it is shown that if the conditional expectation is close to a linear function in the mean squared error, then the input distribution is approximately gamma in the L\'evy distance.

[70]  arXiv:1911.03745 [pdf, other]
Title: Markov's Theorem
Comments: 31 pages, 34 figures, Keywords: Braids, links, knots, stabilization moves, conjugation moves
Subjects: Geometric Topology (math.GT)

This survey consists of a detailed proof of Markov's Theorem based on Joan Birman's book "Braids, Links, and Mapping Class Groups" and Carlo Petronio's classes. It was part of an exam project in A.Y. 2016/2017 for the course Knot Theory.

[71]  arXiv:1911.03751 [pdf, ps, other]
Title: Compressions of $k^{th}$--order slant Toeplitz operators to model spaces
Comments: 15 pages
Subjects: Functional Analysis (math.FA)

In this paper we consider compressions of $k^{th}$--order slant Toeplitz operators to the backward shift invariant subspaces of the classical Hardy space $H^2$. In particular, we characterize these operators using compressed shifts and finite rank operators of special kind.

[72]  arXiv:1911.03756 [pdf, ps, other]
Title: Pluripotential Theory and Convex Bodies: A Siciak-Zaharjuta theorem
Subjects: Complex Variables (math.CV)

We work in the setting of weighted pluripotential theory arising from polynomials associated to a convex body $P$ in $({\bf R}^+)^d$. We define the {\it logarithmic indicator function} on ${\bf C}^d$: $$H_P(z):=\sup_{ J\in P} \log |z^{ J}|:=\sup_{ J\in P} \log[|z_1|^{ j_1}\cdots |z_d|^{ j_d}]$$ and an associated class of plurisubharmonic (psh) functions: $$L_P:=\{u\in PSH({\bf C}^d): u(z)- H_P(z) =0(1), \ |z| \to \infty \}.$$ We first show that $L_P$ is not closed under standard smoothing operations. However, utilizing a continuous regularization due to Ferrier which preserves $L_P$, we prove a general Siciak-Zaharjuta type-result in our $P-$setting: the weighted $P-$extremal function $$V_{P,K,Q}(z):=\sup \{u(z):u\in L_P, \ u\leq Q \ \hbox{on} \ K\}$$ associated to a compact set $K$ and an admissible weight $Q$ on $K$ can be obtained using the subclass of $L_P$ arising from functions of the form $\frac{1}{deg_P(p)}\log |p|$ (appropriately normalized).

[73]  arXiv:1911.03763 [pdf, ps, other]
Title: On Orthogonal Projections of Symplectic balls
Comments: 10 pages
Subjects: Symplectic Geometry (math.SG); Mathematical Physics (math-ph)

We study the orthogonal projections of symplectic balls in $\mathbb{R}^{2n}$ on complex subspaces. In particular we show that these projections are themselves symplectic balls under a certain complexity assumption. Our main result is a refinement of a recent very interesting result of Abbondandolo and Matveyev extending the linear version of Gromov's non-squeezing theorem. We use a conceptually simpler approach where the Schur complement of a matrix plays a central role.

[74]  arXiv:1911.03767 [pdf, ps, other]
Title: Any isometry between the spheres of sufficiently smooth $2$-dimensional Banach spaces is linear
Authors: Taras Banakh
Comments: 20 pages
Subjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Differential Geometry (math.DG); Metric Geometry (math.MG)

A $2$-dimensional Banach space $X$ is called $\breve W{}^{3,1}$-smooth if the polar parametrization $\mathbf p:\mathbb R\to S_X$ of its unit sphere $S_X=\{x\in X:\|x\|=1\}$ has locally absolutely continuous second derivative $\mathbf p''$ and the vector $\mathbf p''(t)$ is not collinear to $\mathbf p'(t)$ for almost all $t\in\mathbb R$. We prove that any isometry $f:S_X\to S_Y$ between the unit spheres of $S\breve W{}^{3,1}$-smooth $2$-dimensional Banach spaces $X,Y$ extends to a linear isometry $\bar f:X\to Y$ of the Banach spaces $X,Y$. This answers the famous Tingley's problem in the class of $\breve W{}^{3,1}$-smooth $2$-dimensional Banach spaces.

[75]  arXiv:1911.03774 [pdf, other]
Title: A notion of equivalence for linear complementarity problems with application to the design of non-smooth bifurcations
Comments: Submitted to the IFAC 2020 World Congress
Subjects: Dynamical Systems (math.DS); Systems and Control (eess.SY)

Many systems of interest to control engineering can be modeled by linear complementarity problems. We introduce a new notion of equivalence between linear complementarity problems that sets the basis to translate the powerful tools of smooth bifurcation theory to this class of models. Leveraging this notion of equivalence, we introduce new tools to analyze, classify, and design non-smooth bifurcations in linear complementarity problems and their interconnection.

[76]  arXiv:1911.03775 [pdf, ps, other]
Title: Anisotropic oriented percolation in high dimensions
Comments: 16 pages, without figures
Subjects: Probability (math.PR); Combinatorics (math.CO)

In this paper we study anisotropic oriented percolation on $\mathbb{Z}^d$ for $d\geq 4$ and show that the local condition for phase transition is closely related to the mean-field condition. More precisely, we show that if the sum of the local probabilities is strictly greater than one and each probability is not too large, then percolation occurs.

[77]  arXiv:1911.03788 [pdf, ps, other]
Title: Existence and concentration of solutions for Kirchhoff-type fractional Dirichlet problem with $p$-Laplacian
Subjects: Dynamical Systems (math.DS)

In this paper, we investigate the existence and concentration of solutions for a class of $p$-Laplacian fractional order Kirchhoff-type system with Riemann-Liouville fractional derivatives and a parameter $\lambda$. By mountain pass theorem, we prove that system has at least one non-trivial weak solution $u_\lambda$ under some local superquadratic conditions for each given large parameter $\lambda$. We get a concrete lower bound of the parameter $\lambda$, and then obtain two estimates of weak solutions $u_\lambda$. We also obtain that $u_\lambda\to 0$ if $\lambda$ varies to $\infty$. Finally, we present an example as an application of our results.

[78]  arXiv:1911.03792 [pdf, ps, other]
Title: Coalescence estimates for the corner growth model with exponential weights
Comments: 28 pages, 19 figures
Subjects: Probability (math.PR)

We establish estimates for the coalescence time of semi-infinite directed geodesics in the planar corner growth model with i.i.d. exponential weights. There are four estimates: upper and lower bounds for both fast and slow coalescence on the correct scale with exponent $3/2$. The lower bound for fast coalescence is new and has optimal exponential order of magnitude. For the other three we provide proofs that do not rely on integrable probability or on the connection with the totally asymmetric simple exclusion process, in order to provide a template for extension to other models. We utilize a geodesic duality introduced by Pimentel and properties of the increment-stationary last-passage percolation process.

[79]  arXiv:1911.03796 [pdf, other]
Title: Generalizations of Douady's magic formula
Comments: 15 pages, 3 figures
Subjects: Dynamical Systems (math.DS)

We generalize a combinatorial formula of Douady from the main cardioid to other hyperbolic components $H$ of the Mandelbrot set, constructing an explicit piecewise linear map which sends the set of angles of external rays landing on $H$ to the set of angles of external rays landing on the real axis.

[80]  arXiv:1911.03798 [pdf, ps, other]
Title: Left orderable surgeries for genus one two-bridge knots
Authors: Anh T. Tran
Comments: 6 pages, 1 figure
Subjects: Geometric Topology (math.GT)

For a knot $K$ in $S^3$, a rational number $r$ is called a left orderable slope for $K$ if the 3-manifold obtained from $S^3$ by $r$-surgery along $K$ has left orderable fundamental group. In this note we consider the genus one two-bridge knots $C(2m, - 2n)$ in the Conway notation, where $m, n$ are integers $\ge 1$. We show that any rational number $r \in (-\infty, 0)$ is a left orderable slope for $C(2m, - 2n)$. Combining this with results in [HTe1, Tr], we conclude that any rational number $r \in (-\infty, \max\{4m, 4n\})$ is a left orderable slope for $C(2m, - 2n)$, where $m, n$ are integers $\ge 1$.

[81]  arXiv:1911.03806 [pdf, ps, other]
Title: Multiple Pursuer Multiple Evader Differential Games
Comments: 29 pages
Subjects: Optimization and Control (math.OC)

In this paper an N-pursuer vs. M-evader team conflict is studied. The differential game of border defense is addressed and we focus on the game of degree in the region of the state space where the pursuers are able to win. This work extends classical differential game theory to simultaneously address weapon assignments and multi-player pursuit-evasion scenarios. Saddle-point strategies that provide guaranteed performance for each team regardless of the actual strategies implemented by the opponent are devised. The players' optimal strategies require the co-design of cooperative optimal assignments and optimal guidance laws. A representative measure of performance is proposed and the Value function of the game is obtained. It is shown that the Value function is continuous, continuously differentiable, and that it satisfies the Hamilton-Jacobi-Isaacs equation - the curse of dimensionality is overcome and the optimal strategies are obtained. The cases of N=M and N>M are considered. In the latter case, cooperative guidance strategies are also developed in order for the pursuers to exploit their numerical advantage. This work provides a foundation to formally analyze complex and high-dimensional conflicts between teams of N pursuers and M evaders by means of differential game theory.

[82]  arXiv:1911.03808 [pdf, other]
Title: Non-intrusive model reduction of large-scale, nonlinear dynamical systems using deep learning
Comments: 17 pages, 6 figures
Subjects: Numerical Analysis (math.NA)

Projection-based model reduction has become a popular approach to reduce the cost associated with integrating large-scale dynamical systems so they can be used in many-query settings such as optimization and uncertainty quantification. For nonlinear systems, significant cost reduction is only possible with an additional layer of approximation to reduce the computational bottleneck of evaluating the projected nonlinear terms. Prevailing methods to approximate the nonlinear terms are code intrusive, potentially requiring years of development time to integrate into an existing codebase, and have been known to lack parametric robustness.
This work develops a non-intrusive method to efficiently and accurately approximate the expensive nonlinear terms that arise in reduced nonlinear dynamical system using deep neural networks. The neural network is trained using only the simulation data used to construct the reduced basis and evaluations of the nonlinear terms at these snapshots. Once trained, the neural network-based reduced-order model only requires forward and backward propagation through the network to evaluate the nonlinear term and its derivative, which are used to integrate the reduced dynamical system at a new parameter configuration. We provide two numerical experiments---the dynamical systems result from the semi-discretization of parametrized, nonlinear, hyperbolic partial differential equations---that show, in addition to non-intrusivity, the proposed approach provides more stable and accurate approximations to each dynamical system across a large number of training and testing points than the popular empirical interpolation method.

[83]  arXiv:1911.03810 [pdf, other]
Title: Parameter Estimation in Adaptive Control of Time-Varying Systems Under a Range of Excitation Conditions
Comments: 8 Pages, preliminary draft
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)

This paper presents a new parameter estimation algorithm for the adaptive control of a class of time-varying plants. The main feature of this algorithm is a matrix of time-varying learning rates, which enables parameter estimation error trajectories to tend exponentially fast towards a compact set whenever excitation conditions are satisfied. This algorithm is employed in a large class of problems where unknown parameters are present and are time-varying. It is shown that this algorithm guarantees global boundedness of the state and parameter errors of the system, and avoids an often used filtering approach for constructing key regressor signals. In addition, intervals of time over which these errors tend exponentially fast toward a compact set are provided, both in the presence of finite and persistent excitation. A projection operator is used to ensure the boundedness of the learning rate matrix, as compared to a time-varying forgetting factor. Numerical simulations are provided to complement the theoretical analysis.

[84]  arXiv:1911.03812 [pdf, ps, other]
Title: Anisotropic decay and global well-posedness of viscous surface waves without surface tension
Authors: Yanjin Wang
Comments: 36 pages
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

We consider a viscous incompressible fluid below the air and above a fixed bottom. The fluid dynamics is governed by the gravity-driven incompressible Navier-Stokes equations, and the effect of surface tension is neglected on the free surface. The global well-posedness and long-time behavior of solutions near equilibrium have been intriguing questions since Beale (\emph{Comm. Pure Appl. Math.} 34 (1981), no. 3, 359--392). It had been thought that certain low frequency assumption of the initial data is needed to derive an integrable decay rate of the velocity so that the global solutions in $3D$ can be constructed, while the global well-posedness in $2D$ was left open. In this paper, by exploiting the anisotropic decay rates of the velocity, which are even not integrable, we prove the global well-posedness in both $2D$ and $3D$, without any low frequency assumption of the initial data. One of key observations here is a cancelation in nonlinear estimates of the viscous stress tensor term in the bulk by using Alinhac good unknowns, when estimating the energy evolution of the highest order horizontal spatial derivatives of the solution.

[85]  arXiv:1911.03813 [pdf, other]
Title: Estimating Higher-Order Moments Using Symmetric Tensor Decomposition
Subjects: Numerical Analysis (math.NA)

We consider the problem of decomposing higher-order moment tensors, i.e., the sum of symmetric outer products of data vectors. Such a decomposition can be used to estimate the means in a Gaussian mixture model and for other applications in machine learning. The $d$th-order empirical moment tensor of a set of $p$ observations of $n$ variables is a symmetric $d$-way tensor. Our goal is to find a low-rank tensor approximation comprising $r \ll p$ symmetric outer products. The challenge is that forming the empirical moment tensors costs $O(pn^d)$ operations and $O(n^d)$ storage, which may be prohibitively expensive; additionally, the algorithm to compute the low-rank approximation costs $O(n^d)$ per iteration. Our contribution is avoiding formation of the moment tensor, computing the low-rank tensor approximation of the moment tensor implicitly using $O(pnr)$ operations per iteration and no extra memory. This advance opens the door to more applications of higher-order moments since they can now be efficiently computed. We present numerical evidence of the computational savings and show an example of estimating the means for higher-order moments.

[86]  arXiv:1911.03816 [pdf, other]
Title: Parking On A Random Rooted Plane Tree
Comments: 12 pages
Subjects: Probability (math.PR); Combinatorics (math.CO)

In this paper, we investigate a parking process on a uniform random rooted plane tree with $n$ vertices. Every vertex of the tree has a parking space for a single car. Cars arrive at independent uniformly random vertices of the tree. If the parking space at a vertex is unoccupied when a car arrives there, it parks. If not, the car drives towards the root and parks in the first empty space it encounters (if there is one). We are interested in asymptotics of the probability of the event that all cars can park when $\lfloor \alpha n \rfloor$ cars arrive, for $\alpha > 0$. We observe that there is a phase transition at $\alpha_c := \sqrt{2} -1$: if $\alpha < \alpha_c$ then the event has positive probability, whereas for $\alpha > \alpha_c$ it has probability 0. Analogous results have been proved by Lackner and Panholzer, Goldschmidt and Przykucki, and Jones for different underlying random tree models.

[87]  arXiv:1911.03820 [pdf, ps, other]
Title: A continuity of cycle integrals of modular functions
Authors: Yuya Murakami
Subjects: Number Theory (math.NT)

In this paper we study a continuity of the "values" of modular functions at the real quadratic numbers which are defined in terms of their cycle integrals along the associated closed geodesics. Our main theorem reveals a more finer structure of the continuity of these values with respect to continued fraction expansions and it turns out that it is different from the continuity with respect to Euclidean topology.

[88]  arXiv:1911.03824 [pdf, ps, other]
Title: Packing $(1,1,2,2)$-coloring of some subcubic graphs
Comments: 6 pages
Subjects: Combinatorics (math.CO)

For a sequence of non-decreasing positive integers $S = (s_1, \ldots, s_k)$, a packing $S$-coloring is a partition of $V(G)$ into sets $V_1, \ldots, V_k$ such that for each $1\leq i \leq k$ the distance between any two distinct $x,y\in V_i$ is at least $s_i+1$. The smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring is called the packing chromatic number of $G$ and is denoted by $\chi_p(G)$. For a graph $G$, let $D(G)$ denote the graph obtained from $G$ by subdividing every edge. The question whether $\chi_p(D(G)) \le 5$ for all subcubic graphs was first asked by Gastineau and Togni and later conjectured by Bresar, Klavzar, Rall and Wash. Gastineau and Togni observed that if one can prove every subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable then the conjecture holds. The maximum average degree, mad($G$), is defined to be $\max\{\frac{2|E(H)|}{|V(H)|}: H \subset G\}$. In this paper, we prove that subcubic graphs with $mad(G)<\frac{30}{11}$ are packing $(1,1,2,2)$-colorable. As a corollary, the conjecture of Bresar et al holds for every subcubic graph $G$ with $mad(G)<\frac{30}{11}$.

[89]  arXiv:1911.03825 [pdf, other]
Title: High-order accurate entropy stable nodal discontinuous Galerkin schemes for the ideal special relativistic magnetohydrodynamics
Comments: 42 pages
Subjects: Numerical Analysis (math.NA)

This paper studies high-order accurate entropy stable nodal discontinuous Galerkin (DG) schemes for the ideal special relativistic magnetohydrodynamics (RMHD). It is built on the modified RMHD equations with a particular source term, which is analogous to the Powell's eight-wave formulation and can be symmetrized so that an entropy pair is obtained. We design an affordable fully consistent two-point entropy conservative flux, which is not only consistent with the physical flux, but also maintains the zero parallel magnetic component, and then construct high-order accurate semi-discrete entropy stable DG schemes based on the quadrature rules and the entropy conservative and stable fluxes. They satisfy the semidiscrete entropy inequality for the given entropy pair and are integrated in time by using the high-order explicit strong stability preserving Runge-Kutta schemes to get further the fully-discrete nodal DG schemes. Extensive numerical tests are conducted to validate the accuracy and the ability to capture discontinuities of our schemes. Moreover, our entropy conservative flux is compared to an existing flux through some numerical tests. The results show that the zero parallel magnetic component in the numerical flux can help to decrease the error in the parallel magnetic component in one-dimensional tests, but two entropy conservative fluxes give similar results since the error in the magnetic field divergence seems dominated in the two-dimensional tests.

[90]  arXiv:1911.03830 [pdf, ps, other]
Title: Path independence of the additive functionals for McKean-Vlasov stochastic differential equations with jumps
Comments: 14 pages
Subjects: Probability (math.PR)

In this article, the path independent property of additive functionals of McKean-Vlasov stochastic differential equations with jumps is characterised by nonlinear partial integro-differential equations involving $L$-derivatives with respect to probability measures introduced by P.-L. Lions. Our result extends the recent work [16] by Ren and Wang where their concerned McKean-Vlasov stochastic differential equations are driven by Brownian motion.

[91]  arXiv:1911.03832 [pdf, ps, other]
Title: Strong measure zero in Polish groups
Subjects: General Topology (math.GN)

The notion of strong measure zero is studied in the context of Polish groups. In particular, the extent to which the theorem of Galvin, Mycielski and Solovay holds in the context of an arbitrary Polish group is studied. Hausdorff measure and dimension is used to characterize strong measure zero. The products of strong measure zero sets are examined. Sharp measure zero, a notion stronger that strong measure zero, is shown to be related to meageradditive sets in the Cantor set and Polish groups by a theorem very similar to the theorem of Galvin, Mycielski and Solovay.

[92]  arXiv:1911.03837 [pdf, ps, other]
Title: Foliations on the open $3$-ball by complete surfaces
Comments: 10 pages
Subjects: Geometric Topology (math.GT)

When is a manifold a leaf of a complete closed foliation on the open unit ball? We give some answers to this question.

[93]  arXiv:1911.03838 [pdf, ps, other]
Title: A Cotlar Type Maximal Function Associated With Fourier Multipliers
Comments: 14 pages
Subjects: Classical Analysis and ODEs (math.CA)

We prove the $L^p$ boundedness of a maximal operator associated with a dyadic frequency decomposition of a Fourier multiplier, under a weak regularity assumption.

[94]  arXiv:1911.03858 [pdf, ps, other]
Title: Arıkan meets Shannon: Polar codes with near-optimal convergence to channel capacity
Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

Let $W$ be a binary-input memoryless symmetric (BMS) channel with Shannon capacity $I(W)$ and fix any $\alpha > 0$. We construct, for any sufficiently small $\delta > 0$, binary linear codes of block length $O(1/\delta^{2+\alpha})$ and rate $I(W)-\delta$ that enable reliable communication on $W$ with quasi-linear time encoding and decoding. Shannon's noisy coding theorem established the existence of such codes (without efficient constructions or decoding) with block length $O(1/\delta^2)$. This quadratic dependence on the gap $\delta$ to capacity is known to be best possible. Our result thus yields a constructive version of Shannon's theorem with near-optimal convergence to capacity as a function of the block length. This resolves a central theoretical challenge associated with the attainment of Shannon capacity. Previously such a result was only known for the erasure channel.
Our codes are a variant of Ar{\i}kan's polar codes based on multiple carefully constructed local kernels, one for each intermediate channel that arises in the decoding. A crucial ingredient in the analysis is a strong converse of the noisy coding theorem when communicating using random linear codes on arbitrary BMS channels. Our converse theorem shows extreme unpredictability of even a single message bit for random coding at rates slightly above capacity.

[95]  arXiv:1911.03859 [pdf, ps, other]
Title: Collision-free spatial motion of rigid bodies via topological complexity
Comments: 12 pages, 1 figure. Comments are welcome!
Subjects: Algebraic Topology (math.AT)

The Topological complexity a la Farber $\text{TC}(-)$ is a homotopy invariant which have interesting applications in Robotics, specifically, in the robot motion planning problem. In this work we calculate the topological complexity of the configuration space of $k$ distinct rigid bodies without collisions in $\mathbb{R}^d$, for $d=2,3$. Furthermore, we present optimal algorithms which can be used in designing practical systems controlling motion of many rigid bodies moving in space without collisions. The motion planning algorithms we present in this work are easily implementable in practice.

[96]  arXiv:1911.03878 [pdf, other]
Title: An Overview of Data-Importance Aware Radio Resource Management for Edge Machine Learning
Comments: This work is an invited paper for Journal of Communications and Information Networks
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)

The 5G network connecting billions of IoT devices will make it possible to harvest an enormous amount of real-time mobile data. Furthermore, the 5G virtualization architecture will enable cloud computing at the (network) edge. The availability of both rich data and computation power at the edge has motivated Internet companies to deploy artificial intelligence (AI) there, creating the hot area of edge-AI. Edge learning, the theme of this project, concerns training edge-AI models, which endow on IoT devices intelligence for responding to real-time events. However, the transmission of high-dimensional data from many edge devices to servers can result in excessive communication latency, creating a bottleneck for edge learning. Traditional wireless techniques deigned for only radio access are ineffective in tackling the challenge.
Attempts to overcome the communication bottleneck has led to the development of a new class of techniques for intelligent radio resource management (RRM), called data-importance aware RRM. Their designs feature the interplay of active machine learning and wireless communication. Specifically, the metrics that measure data importance in active learning (e.g., classification uncertainty and data diversity) are applied to RRM for efficient acquisition of distributed data in wireless networks to train AI models at servers. This article aims at providing an introduction to the emerging area of importance-aware RRM. To this end, we will introduce the design principles, survey recent advancements in the area, discuss some design examples, and suggest some promising research opportunities.

[97]  arXiv:1911.03879 [pdf, ps, other]
Title: Several classes of two-weight and three-weight linear codes
Subjects: Information Theory (cs.IT)

Linear codes with few weights have been widely studied due to their applications in secret sharing, authentication codes, association schemes and strongly regular graphs. In this paper, we further construct several classes of new two-weight and three-weight linear codes from defining sets and determine their weight distributions by applications of the theory of quadratic forms and Weil sums over finite fields. Some of the linear codes obtained are optimal or almost optimal with respect to the Griesmer bound. This paper generalizes some results in~\cite{Jian2019,LiYueFu2016}.

[98]  arXiv:1911.03881 [pdf, ps, other]
Title: Resonant spaces for volume preserving Anosov flows
Comments: 42 pages, 1 figure
Subjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP); Spectral Theory (math.SP)

We consider Anosov flows on closed 3-manifolds preserving a volume form $\Omega$. Following \cite{DyZw17} we study spaces of invariant distributions with values in the bundle of exterior forms whose wavefront set is contained in the dual of the unstable bundle. Our first result computes the dimension of these spaces in terms of the first Betti number of the manifold, the cohomology class $[\iota_{X}\Omega]$ (where $X$ is the infinitesimal generator of the flow) and the helicity. These dimensions coincide with the Pollicott-Ruelle resonance multiplicities under the assumption of {\it semisimplicity}. We prove various results regarding semisimplicity on 1-forms, including an example showing that it may fail for time changes of hyperbolic geodesic flows. We also study non null-homologous deformations of contact Anosov flows and we show that there is always a splitting Pollicott-Ruelle resonance on 1-forms and that semisimplicity persists in this instance. These results have consequences for the order of vanishing at zero of the Ruelle zeta function. Finally our analysis also incorporates a flat unitary twist in both, the resonant spaces and the Ruelle zeta function.

[99]  arXiv:1911.03889 [pdf, ps, other]
Title: Hilbert-Kunz function and Hilbert-Kunz multiplicity of some ideals of the Rees algebra
Comments: 18 pages
Subjects: Commutative Algebra (math.AC)

We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise polynomial in this case.

[100]  arXiv:1911.03890 [pdf, other]
Title: Projective and Reedy model category structures for (infinitesimal) bimodules over an operad
Comments: This paper is a preliminary version and we will appreciate all comments on this work
Subjects: Algebraic Topology (math.AT)

We study projective and Reedy model category structures for bimodules and infinitesimal bimodules over a topological operad. In both cases, we build explicit cofibrant and fibrant replacements. We show that these categories are right proper and, under some conditions, left proper. We study the Extension/Restriction adjunctions. We give also a characterisation of Reedy cofibrations and we check that the two model structures produce compatible homotopy categories. In the case of bimodules the homotopy category induced by the Reedy model structure is a subcategory of the projective one. In the case of infinitesimal bimodules the Reedy and projective homotopy categories are the same.

[101]  arXiv:1911.03900 [pdf, ps, other]
Title: Second order pressure estimates for the Crank-Nicolson discretization of the incompressible Navier-Stokes Equations
Subjects: Numerical Analysis (math.NA)

We provide optimal order pressure error estimates for the Crank-Nicolson semidiscretization of the incompressible Navier-Stokes equations. Second order estimates for the velocity error are long known, we prove that the pressure error is of the same order if considered at interval midpoints, confirming previous numerical evidence. For simplicity we first give a proof under high regularity assumptions that include nonlocal compatibility conditions for the initial data, then use smoothing techniques for a proof under reduced assumptions based on standard local conditions only.

[102]  arXiv:1911.03902 [pdf, ps, other]
Title: Classification of 3-dimensional complete rectifiable steady gradient Ricci solitons
Authors: Shun Maeta
Comments: 8 pages
Subjects: Differential Geometry (math.DG)

Let $(M,g,f)$ be a 3-dimensional complete steady gradient Ricci soliton. Assume that $M$ is rectifiable, that is, the potential function can be written as $f=f(r)$, where $r$ is a distance function. Then, we prove that $M$ is isometric to (1) a quotient of $\mathbb{R}^3$, (2) a quotient of $\Sigma^2\times \mathbb{R}$, where $\Sigma^2$ is the Hamilton's cigar soliton, or (3) the Bryant soliton. In particular, we show that any 3-dimensional complete rectifiable steady gradient Ricci soliton with positive sectional curvature is isometric to the Bryant soliton.

[103]  arXiv:1911.03907 [pdf, ps, other]
Title: Universal averages in gauge actions
Comments: 19 pages, 3 figures
Subjects: Quantum Algebra (math.QA); Differential Geometry (math.DG)

We give a construction of a universal average of Lie algebra elements whose exponentiation gives (when there is an associated Lie group) a totally symmetric geometric mean of Lie group elements (sufficiently closed to the identity) with the property that in an action of the group on a space $X$ for which $n$ elements all take a particular point $a\in{}X$ to a common point $b\in{}X$, also the mean will take $a$ to $b$. The construction holds without the necessity for the existence of a Lie group and the universal average $\mu_n(x_1,\ldots,x_n)$ is a totally symmetric universal expression in the free Lie algebra generated by $x_1,\ldots,x_n$. Its expansion up to three brackets is found explicitly and various properties of iterated averages are given. There are applications to the construction of explicit symmetric differential graded Lie algebra models. This work is based on the second author's minor thesis.

[104]  arXiv:1911.03908 [pdf, ps, other]
Title: Existence of radial bounded solutions for some quasilinear elliptic equations in R^N
Subjects: Analysis of PDEs (math.AP)

We study the quasilinear equation \[(P)\qquad - {\rm div} (A(x,u) |\nabla u|^{p-2} \nabla u) + \frac1p\ A_t(x,u)
|\nabla u|^p + |u|^{p-2}u\ =\ g(x,u) \qquad \hbox{in ${\mathbb R}^N$,} \] with $N\ge 3$, $p > 1$, where $A(x,t)$, $A_t(x,t) = \frac{\partial A}{\partial t}(x,t)$ and $g(x,t)$ are Carath\'eodory functions on ${\mathbb R}^N \times {\mathbb R}$.
Suitable assumptions on $A(x,t)$ and $g(x,t)$ set off the variational structure of $(P)$ and its related functional ${\cal J}$ is $C^1$ on the Banach space $X = W^{1,p}({\mathbb R}^N) \cap L^\infty({\mathbb R}^N)$. In order to overcome the lack of compactness, we assume that the problem has radial symmetry, then we look for critical points of ${\cal J}$ restricted to $X_r$, subspace of the radial functions in $X$.
Following an approach which exploits the interaction between $\|\cdot\|_X$ and the norm on $W^{1,p}({\mathbb R}^N)$, we prove the existence of at least one weak bounded radial solution of $(P)$ by applying a generalized version of the Ambrosetti-Rabinowitz Mountain Pass Theorem.

[105]  arXiv:1911.03910 [pdf, ps, other]
Title: Highly quasilinear problems without the Ambrosetti-Rabinowitz condition
Subjects: Analysis of PDEs (math.AP)

We show the existence of nontrivial solutions for a class of highly quasilinear problems in which the governing operators depend on the unknown function. By using a suitable variational setting and a weak version of the Cerami-Palais-Smale condition, we establish the desired result without assuming that the nonlinear source satisfies the Ambrosetti-Rabinowitz condition.

[106]  arXiv:1911.03916 [pdf, other]
Title: Intelligent Reflecting Surface with Discrete Phase Shifts: Channel Estimation and Passive Beamforming
Comments: Submitted to IEEE conference
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

In this paper, we consider an intelligent reflecting surface (IRS)-aided single-user system where an IRS with discrete phase shifts is deployed to assist the uplink communication. A practical transmission protocol is proposed to execute channel estimation and passive beamforming successively. To minimize the mean square error (MSE) of channel estimation, we first formulate an optimization problem for designing the IRS reflection pattern in the training phase under the constraints of unit-modulus, discrete phase, and full rank. This problem, however, is NP-hard and thus difficult to solve in general. As such, we propose a low-complexity yet efficient method to solve it sub-optimally, by constructing a near-orthogonal reflection pattern based on either discrete Fourier transform (DFT)-matrix quantization or Hadamard-matrix truncation. Based on the estimated channel, we then formulate an optimization problem to maximize the achievable rate by designing the discrete-phase passive beamforming at the IRS with the training overhead and channel estimation error taken into account. To reduce the computational complexity of exhaustive search, we further propose a low-complexity successive refinement algorithm with a properly-designed initialization to obtain a high-quality suboptimal solution. Numerical results are presented to show the significant rate improvement of our proposed IRS training reflection pattern and passive beamforming designs as compared to other benchmark schemes.

[107]  arXiv:1911.03920 [pdf, other]
Title: Rigidity of Steiner's inequality for the anisotropic perimeter
Authors: Matteo Perugini
Comments: 63 pages, 15 figures
Subjects: Analysis of PDEs (math.AP)

The aim of this work is to study the rigidity problem for Steiner's inequality for the anisotropic perimeter, that is, the situation in which the only extremals of the inequality are vertical translations of the Steiner symmetral that we are considering. Our main contribution consists in giving conditions under which rigidity in the anisotropic setting is equivalent to rigidity in the Euclidean setting. Such conditions are given in term of a restriction to the possible values of the normal vectors to the boundary of the Steiner symmetral.

[108]  arXiv:1911.03924 [pdf, ps, other]
Title: Dixmier traces for discrete pseudo-differential operators
Comments: 10 pages. Dedicated to Professor L\'azaro Recht on his 79 birthday
Subjects: Spectral Theory (math.SP); Functional Analysis (math.FA); Operator Algebras (math.OA)

In this paper we provide sharp results for the Dixmier traceability of discrete pseudo-differential operators on $\ell^2(\mathbb{Z}^n)$. In this setting, we introduce a suitable notion of a class of classical symbols which provide a class of Dixmier traceable discrete pseudo-differential operators. We also present a formula for the Dixmier trace of a Dixmier traceable discrete pseudo-differential operator by using the Connes equivalence between the Wodzicki residue and the Dixmier trace.

[109]  arXiv:1911.03928 [pdf, ps, other]
Title: Rigidity and non-existence of spacelike submanifolds with causal mean curvature vector field in spacetimes and the Cauchy problem in General Relativity
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)

New general results of non-existence and rigidity of spacelike submanifolds immersed in a spacetime, whose mean curvature is a time-oriented causal vector field, are given. These results hold for a wide class of spacetimes which includes globally hyperbolic, stationary, conformally stationary and pp-wave spacetimes, among others. Moreover, applications to the Cauchy problem in General Relativity, are presented. Finally, in the case of hypersurfaces, we also obtain significant consequences in Geometrical Analysis, solving new Calabi-Bernstein and Dirichlet problems on a Riemannian manifold.

[110]  arXiv:1911.03932 [pdf, ps, other]
Title: Inertial Manifolds and Limit Cycles of Dynamical Systems in $\mathbb R^n$
Subjects: Dynamical Systems (math.DS)

We show that the presence of a two-dimensional inertial manifold for an ordinary differential equation in ${\mathbb R}^{n}$ permits reducing the problem of determining asymptotically orbitally stable limit cycles to the Poincare--Bendixson theory. In the case $n=3$ we implement such a scenario for a model of a satellite rotation around a celestial body of small mass and for a biochemical model.

[111]  arXiv:1911.03939 [pdf, ps, other]
Title: Hopf algebras arising from partial (co)actions
Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA)

In this paper, extending the idea presented by M. Takeuchi in [13], we introduce the notion of partial matched pair $(H,L)$ involving the concepts of partial action and partial coaction between two Hopf algebras $H$ and $L$. Furthermore, we present necessary conditions for the corresponding bismash product $L\# H$ to generate a new Hopf algebra and, as illustration, a family of examples is provided.

[112]  arXiv:1911.03942 [pdf, ps, other]
Title: Question about integral of product of four Hermite polynomials integrated with squared weight
Comments: 6 pages
Subjects: Combinatorics (math.CO)

We found that the integral of four Hermite polynomials integrated with squared weight over the real line generates symmetric polynomials with a beautiful recursive property. We pose a question whether that integral admit an explicit formula or not. The question has a certain interpretation in terms of Hermitian matrices.

[113]  arXiv:1911.03944 [pdf, ps, other]
Title: Coercivity for travelling waves in the Gross-Pitaevskii equation in $\mathbb{R}^2$ for small speed
Subjects: Analysis of PDEs (math.AP)

In a previous paper, we constructed a smooth branch of travelling waves for the 2 dimensional Gross-Pitaevskii equation. Here, we continue the study of this branch. We show some coercivity results, and we deduce from them the kernel of the linearized operator, a spectral stability result, as well as a uniqueness result in the energy space.

[114]  arXiv:1911.03946 [pdf, other]
Title: A unified approach for projections onto the intersection of $\ell_1$ and $\ell_2$ balls or spheres
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)

This paper focuses on designing a unified approach for computing the projection onto the intersection of an $\ell_1$ ball/sphere and an $\ell_2$ ball/sphere. We show that the major computational efforts of solving these problems all rely on finding the root of the same piecewisely quadratic function, and then propose a unified numerical method to compute the root. In particular, we design breakpoint search methods with/without sorting incorporated with bisection, secant and Newton methods to find the interval containing the root, on which the root has a closed form. It can be shown that our proposed algorithms without sorting possess $O(n log n)$ worst-case complexity and $O(n)$ in practice. The efficiency of our proposed algorithms are demonstrated in numerical experiments.

[115]  arXiv:1911.03948 [pdf, ps, other]
Title: Spherical complexities, with applications to closed geodesics
Authors: Stephan Mescher
Comments: 44 pages
Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Differential Geometry (math.DG)

We construct and discuss new numerical homotopy invariants of topological spaces that are suitable for the study of functions on loop and sphere spaces. These invariants resemble the Lusternik-Schnirelmann category and provide lower bounds for the numbers of critical orbits of SO(n)-invariant functions on spaces of n-spheres in a manifold. Lower bounds on these invariants are derived using weights of cohomology classes. As an application, we prove new existence results for closed geodesics on Finsler manifolds of positive flag curvature satisfying a pinching condition.

[116]  arXiv:1911.03953 [pdf, ps, other]
Title: Conservation and anomalous dissipation of physical quantities for the 3D electron-MHD
Authors: Mimi Dai, Han Liu
Subjects: Analysis of PDEs (math.AP)

We study the three dimensional electron magnetohydrodynamics in a particular plasma context where the velocity of ion flow vanishes. We construct weak solutions with finite energy that do not conserve the energy, magnetic helicity, and the mean-square of magnetic vector potential. We also show that the mean-square of magnetic vector potential is conserved for weak solutions in the class $L^3(0,T; L^3)$.

[117]  arXiv:1911.03956 [pdf, ps, other]
Title: Iterates of quantum operations
Authors: J. Z. Bernád
Comments: 14 pages
Subjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)

Iterates of quantum operations and their convergence are investigated in the context of mean ergodic theory. We discuss in detail the convergence of the iterates and show that the uniform ergodic theorem plays an essential role. Our results will follow from some general theorems concerning completely positive maps, mean ergodic operators, and operator algebras on Hilbert spaces. A few examples of both finite and infinite dimensional Hilbert spaces are presented as well.

[118]  arXiv:1911.03958 [pdf, ps, other]
Title: A spanning bandwidth theorem in random graphs
Comments: 26 pages. arXiv admin note: text overlap with arXiv:1612.00661
Subjects: Combinatorics (math.CO)

The bandwidth theorem [Mathematische Annalen, 343(1):175--205, 2009] states that any $n$-vertex graph $G$ with minimum degree $(\frac{k-1}{k}+o(1))n$ contains all $n$-vertex $k$-colourable graphs $H$ with bounded maximum degree and bandwidth $o(n)$. In [arXiv:1612.00661] a random graph analogue of this statement is proved: for $p\gg (\frac{\log n}{n})^{1/\Delta}$ a.a.s. each spanning subgraph $G$ of $G(n,p)$ with minimum degree $(\frac{k-1}{k}+o(1))pn$ contains all $n$-vertex $k$-colourable graphs $H$ with maximum degree $\Delta$, bandwidth $o(n)$, and at least $C p^{-2}$ vertices not contained in any triangle. This restriction on vertices in triangles is necessary, but limiting.
In this paper we consider how it can be avoided. A special case of our main result is that, under the same conditions, if additionally all vertex neighbourhoods in $G$ contain many copies of $K_\Delta$ then we can drop the restriction on $H$ that $Cp^{-2}$ vertices should not be in triangles.

[119]  arXiv:1911.03962 [pdf, ps, other]
Title: Classical linear logic, cobordisms and categorial grammars
Authors: Sergey Slavnov
Comments: This s an improved version of the previously posted paper "Classical linear logic, cobordisms and categorical semantics of categorial grammars" with reduced amonunt of category theory, much simplified definitions and a number of examples. Also, a treatment of tree languages is added
Subjects: Logic (math.LO); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

We propose a categorial grammar based on classical multiplicative linear logic.
This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)} are not abstract ${\lambda}$-terms, but simply tuples of words with labeled endpoints and supplied with specific {\it plugging instructions}: the sets of endpoints are subdivided into the {\it incoming} and the {\it outgoing} parts. We call such objects {\it word cobordisms}.
A key observation is that word cobordisms can be organized in a category, very similar to the familiar category of topological cobordisms. This category is symmetric monoidal closed and compact closed and thus is a model of linear $\lambda$-calculus and classical, as well as intuitionistic linear logic. This allows us using linear logic as a typing system for word cobordisms.
At least, this gives a concrete and intuitive representation of ACG.
We think, however, that the category of word cobordisms, which has a rich structure and is independent of any grammar, might be interesting on its own right.

[120]  arXiv:1911.03968 [pdf, ps, other]
Title: The fastest series for $1/π$ due to Ramanujan. (A complete proof using Maple)
Authors: Jesús Guillera
Comments: 7 pages
Subjects: Number Theory (math.NT)

We provide a complete proof of an impressive series for $1/\pi$ due to Ramanujan. The computations are made using MAPLE (a symbolic software).

[121]  arXiv:1911.03969 [pdf, ps, other]
Title: Centralizer-like Subgroups Associated with the $n$-Engel Words Inside of Direct Product Groups
Subjects: Group Theory (math.GR)

This research develops concepts surrounding centralizer-like subgroups associated with the $n$-Engel word in relation to direct product groups. Specifically, characteristics of the set of right $n$-Engel elements inside of direct products are explored. A proof is given demonstrating that the set of right $n$-Engel elements inside of the direct product of two groups is equivalent to the direct product of the set of right $n$-Engel elements inside of one of the groups with the set of right $n$-Engel elements inside of the other group. Additionally, a proof detailing a proposition from another paper written by Luise-Charlotte Kappe and Patrick Ratchford in relation to direct products follows. Further questions are explored and future questions are proposed.

[122]  arXiv:1911.03973 [pdf, other]
Title: MATLAB Implementation of Element-based Solvers
Comments: 8 pages, 3 figures, conference LSSC 2019, Sozopol, Bulgaria, to appear as Springer LNCS 11958
Subjects: Numerical Analysis (math.NA)

Rahman and Valdman (2013) introduced a vectorized way to assemble finite element stiffness and mass matrices in MATLAB. Local element matrices are computed all at once by array operations and stored in multi-dimentional arrays (matrices). We build some iterative solvers on available multi-dimentional structures completely avoiding the use of a sparse matrix.

[123]  arXiv:1911.03981 [pdf, ps, other]
Title: A remark on normalizations in a local principle of large deviations
Comments: 11 pages
Subjects: Probability (math.PR)

This work is a continuation of [7]. We consider a continuous-time birth-and-death process in which the transition rates have an asymptotical power-law dependence upon the position of the process. We establish rough exponential asymptotic for the probability that a sample path of a normalized process lies in a neighborhood of a given nonnegative continuous function. We propose a variety of normalization schemes for which the large deviation functional preserves its natural integral form.

[124]  arXiv:1911.03982 [pdf, ps, other]
Title: Optimal robust estimators for families of distributions on the integers
Comments: 13 pages
Subjects: Statistics Theory (math.ST)

Let F_{{\theta}} be a family of distributions with support on the set of nonnegative integers Z_0. In this paper we derive the M-estimators with smallest gross error sensitivity (GES). We start by defining the uniform median of a distribution F with support on Z_0 (umed(F)) as the median of x+u, where x and u are independent variables with distributions F and uniform in [-0.5,0.5] respectively. Under some general conditions we prove that the estimator with smallest GES satisfies umed(F_{n})=umed(F_{{\theta}}), where F_{n} is the empirical distribution. The asymptotic distribution of these estimators is found. This distribution is normal except when there is a positive integer k so that F_{{\theta}}(k)=0.5. In this last case, the asymptotic distribution behaves as normal at each side of 0, but with different variances. A simulation Monte Carlo study compares, for the Poisson distribution, the efficiency and robustness for finite sample sizes of this estimator with those of other robust estimators.

[125]  arXiv:1911.03992 [pdf, ps, other]
Title: Stochastic DCA for minimizing a large sum of DC functions with application to Multi-class Logistic Regression
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Numerical Analysis (math.NA)

We consider the large sum of DC (Difference of Convex) functions minimization problem which appear in several different areas, especially in stochastic optimization and machine learning. Two DCA (DC Algorithm) based algorithms are proposed: stochastic DCA and inexact stochastic DCA. We prove that the convergence of both algorithms to a critical point is guaranteed with probability one. Furthermore, we develop our stochastic DCA for solving an important problem in multi-task learning, namely group variables selection in multi class logistic regression. The corresponding stochastic DCA is very inexpensive, all computations are explicit. Numerical experiments on several benchmark datasets and synthetic datasets illustrate the efficiency of our algorithms and their superiority over existing methods, with respect to classification accuracy, sparsity of solution as well as running time.

[126]  arXiv:1911.03996 [pdf, ps, other]
Title: The Temporal decay rate of solutions to 2D dissipative quasi-geostrophic flows
Authors: Xiaopeng Zhao
Subjects: Analysis of PDEs (math.AP)

In this paper, by using Fourier splitting method and the expanded properties of decay character $r^*$, we establish the algebraic decay rate of higher order derivative of solutions to 2D dissipative quasi-geostrophic flows.

[127]  arXiv:1911.04003 [pdf, ps, other]
Title: The Spheres of Sol
Comments: 30 pages, 3 figures, computer experiment inspired, traditional proof
Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT)

Let Sol be the three-dimensional solvable Lie group equipped with its standard left-invariant Riemannian metric. We give a precise description of the cut locus of the identity, and a maximal domain in the Lie algebra on which the Riemannian exponential map is a diffeomorphism. As a consequence, we prove that the metric spheres in Sol are topological spheres, and we characterize their singular points almost exactly.

[128]  arXiv:1911.04005 [pdf, ps, other]
Title: A complete description of the cohomological invariants of even genus hyperelliptic curves
Comments: 9 pages, comments are welcome!
Subjects: Algebraic Geometry (math.AG)

When the genus $g$ is even, we extend the computation of the cohomological invariants of $\mathcal{H}_g$ to non algebraically closed fields, we give an explicit functorial description of the invariants and we completely describe their multiplicative structure.

[129]  arXiv:1911.04007 [pdf, ps, other]
Title: A Pressure Associated with a Weak Solution to the Navier-Stokes Equations with Navier's Boundary Condition
Subjects: Analysis of PDEs (math.AP)

We show that if u is a weak solution to the Navier-Stokes initial-boundary value problem with Navier's slip boundary conditions in $Q_T:=\Omega\times(0,T)$, where $\Omega$ is a domain in $R^3$, then an associated pressure $p$ exists as a distribution with a certain structure. Furthermore, we also show that if $\Omega$ is a "smooth" domain in $R^3$ then the pressure is represented by a function in $Q_T$ with a certain rate of integrability. Finally, we study the regularity of the pressure in sub-domains of $Q_T$, where $u$ satisfies Serrin's integrability conditions.

[130]  arXiv:1911.04012 [pdf, other]
Title: $q$-Plane Zeros of the Potts Partition Function on Diamond Hierarchical Graphs
Comments: 41 pages, 16 figures. Comments welcome!
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Combinatorics (math.CO); Dynamical Systems (math.DS)

We report exact results concerning the zeros of the partition function of the Potts model in the complex $q$ plane, as a function of a temperature-like Boltzmann variable $v$, for the $m$'th iterate graphs $D_m$ of the Diamond Hierarchical Lattice (DHL), including the limit $m \to \infty$. In this limit we denote the continuous accumulation locus of zeros in the $q$ planes at fixed $v = v_0$ as ${\mathcal B}_q(v_0)$. We apply theorems from complex dynamics to establish properties of ${\mathcal B}_q(v_0)$. For $v=-1$ (the zero-temperature Potts antiferromagnet, or equivalently, chromatic polynomial), we prove that ${\mathcal B}_q(-1)$ crosses the real-$q$ axis at (i) a minimal point $q=0$, (ii) a maximal point $q=3$ (iii) $q=32/27$, (iv) a cubic root that we give, with the value $q = q_1 = 1.6388969..$, and (v) an infinite number of points smaller than $q_1$, converging to $32/27$ from above. Similar results hold for ${\mathcal B}_q(v_0)$ for any $-1 < v < 0$ (Potts antiferromagnet at nonzero temperature). The locus ${\mathcal B}_q(v_0)$ crosses the real-$q$ axis at only two points for any $v > 0$ (Potts ferromagnet). We also provide computer-generated plots of ${\mathcal B}_q(v_0)$ at various values of $v_0$ in both the antiferromagnetic and ferromagnetic regimes and compare them to numerically computed zeros of $Z(D_4,q,v_0)$.

[131]  arXiv:1911.04022 [pdf, other]
Title: Target tracking in the framework of possibility theory: The possibilistic Bernoulli filter
Comments: 23 pages
Subjects: Information Theory (cs.IT)

The Bernoulli filter is a Bayes filter for joint detection and tracking of a target in the presence of false and miss detections. This paper presents a mathematical formulation of the Bernoulli filter in the framework of possibility theory, where uncertainty is represented using {\em possibility} functions, rather than {\em probability} distributions. Possibility functions model the uncertainty in a non-additive manner, and have the capacity to deal with partial (incomplete) problem specification. Thus, the main advantage of the possibilistic Bernoulli filter, derived in this paper, is that it can operate even in the absence of precise measurement and/or dynamic model parameters. This feature of the proposed filter is demonstrated in the context of target tracking using multi-static Doppler shifts as measurements.

[132]  arXiv:1911.04025 [pdf, other]
Title: A general approach for analysis of random triangulations of convex polygons
Subjects: Combinatorics (math.CO)

Let $f_n$ be a function assigning weight to each possible triangle whose vertices are chosen from vertices of a convex polygon $P_n$ of $n$ sides. Suppose ${\mathcal T}_n$ is a random triangulation of $P_n$, sampled uniformly out of all possible triangulations. We study the sum of weights of triangles in ${\mathcal T}_n$ and give a general formula for the average and variance of this random variable. In addition, we look at several interesting special cases of $f_n$ in which we obtain explicit forms of generating functions for the sum of the weights. For example, among other things, we give new proofs for already known results such as the degree of a fixed vertex and the number of ears in ${\mathcal T}_n,$ as well as, provide new results on the number of "blue" angles and refined information on the distribution of angles at a fixed vertex. We note that our approach is general and can be applied to many other new examples while generalizing the existing results.

[133]  arXiv:1911.04029 [pdf, ps, other]
Title: On a Hilbert Space Reformulation of Riemann Hypothesis
Authors: Boqing Xue
Subjects: Number Theory (math.NT)

We explore Hilbert space reformulations of Riemann Hypothesis developed by Nyman, Beurling and B\'{a}ez-Duarte with a weighted Bergman space $\mathcal{H}=A_1^2(\mathbb{D})$, i.e., Riemann hypothesis holds if and only if the Hilbert subspace $\mathcal{H}_0$ spanned by a certain family of functions coincides with $\mathcal{H}$. A condition that a function does not belong to $\mathcal{H}_0^\bot$ is given. Moreover, it is proved that the von-Neumann algebra generated by a certain monoid $T_\mathbb{N}=\{T_k:\, k\in \mathbb{N}\}$ of operators is exactly $B(\mathcal{H})$. As a result, Riemann hypothesis is true if and only if $\mathcal{H}_0$ is $T_k^\ast$-invariant for all $k\in \mathbb{N}$.

[134]  arXiv:1911.04031 [pdf, other]
Title: Intermittent Information-Driven Search for Underwater Targets
Comments: 6 pages
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

The problem is area-restricted search for targets using an autonomous mobile sensing platform. Detection is imperfect: the probability of detection depends on the range to the target, while the probability of false detections is non-zero. The paper develops an intermittent information-driven search strategy, which combines fast and non-receptive displacement phase (ballistic phase) with a slow displacement sensing phase. Decisions where to move next, both in the ballistic phase and the slow displacement phase, are information-driven: they maximise the expected information gain. The paper demonstrates the efficiency of the proposed strategy in the context of a search for underwater targets: the searcher is an autonomous amphibious drone which can both fly and land or takeoff from the sea surface.

[135]  arXiv:1911.04041 [pdf, ps, other]
Title: Low regularity a priori estimates for the fourth order cubic nonlinear Schrödinger equation
Authors: Kihoon Seong
Subjects: Analysis of PDEs (math.AP)

We consider the low regularity behavior of the fourth order cubic nonlinear Schr\"odinger equation (4NLS) \begin{align*} \begin{cases} i\partial_tu+\partial_x^4u=\pm \vert u \vert^2u, \quad(t,x)\in \mathbb{R}\times \mathbb{R}\\ u(x,0)=u_0(x)\in H^s\left(\mathbb{R}\right). \end{cases} \end{align*} In arXiv:1911.03253, the author showed that this equation is globally well-posed in $H^s, s\geq -\frac{1}{2}$ and ill-posedness in the sense that the solution map fails to be uniformly continuous for $-\frac{15}{14}<s<-\frac{1}{2}$. Therefore, $s=-\frac{1}{2}$ is the lowest regularity that can be handled by the contraction argument. In spite of this ill-posedness result, we obtain a priori bound below $s<-1/2$. This a priori estimate guarantees the existence of a weak solution for $-3/4<s<-1/2$. But we cannot establish full well-posedness because of the lack of energy estimate of differences of solutions. Our method is inspired by Koch-Tataru \cite{KT2007}. We use the $U^p$ and $V^p$ based spaces adapted to short time intervals on which the nonlinear evolution can be still described by linear dynamics.

[136]  arXiv:1911.04050 [pdf, ps, other]
Title: In the beginning: Langlands' doctoral thesis
Authors: Derek W Robinson
Subjects: Functional Analysis (math.FA)

This is a draft version of an invited article for a forthcoming book `The genesis of Langlands Program', eds. Julia Mueller and Freydoon Shahidi, which will be published in the London Mathematics Society Lecture Notes Series. It gives a description of the background and content of the unpublished doctoral thesis of Robert Langlands with many alternative explanations and proofs of the principal results.

[137]  arXiv:1911.04054 [pdf, other]
Title: Control of accuracy on Taylor-collocation method for load leveling problem
Comments: Submitted to the Bulletin of Irkutsk State University - series Mathematics
Subjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)

High penetration of renewable energy sources coupled with the decentralization of transport and heating loads in future power systems will result in even more complex unit commitment problem solution using energy storage system scheduling for efficient load leveling. This paper employees an adaptive approach to load leveling problem using the Volterra integral dynamical models. The problem is formulated as the solution of the Volterra integral equation of the first kind which is attacked using Taylor-collocation numerical method which has the second-order accuracy and enjoys self-regularization properties, which is associated with confidence levels of system demand. Also, the CESTAC method is applied to find the optimal approximation, optimal error and optimal step of the collocation method. This adaptive approach is suitable for energy storage optimization in real-time. The efficiency of the proposed methodology is demonstrated on the Single Electricity Market of the Island of Ireland.

[138]  arXiv:1911.04055 [pdf, ps, other]
Title: The cyclic matching sequenceability of regular graphs
Comments: 24 pages, 1 figure
Subjects: Combinatorics (math.CO)

The cyclic matching sequenceability of a simple graph $G$, denoted $\mathrm{cms}(G)$, is the largest integer $s$ for which there exists a cyclic ordering of the edges of $G$ so that every set of $s$ consecutive edges forms a matching. In this paper we consider the minimum cyclic matching sequenceability of $k$-regular graphs. We completely determine this for $2$-regular graphs, and give bounds for $k \geq 3$.

[139]  arXiv:1911.04056 [pdf, other]
Title: Integrative Factor Regression and Its Inference for Multimodal Data Analysis
Authors: Quefeng Li, Lexin Li
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)

Multimodal data, where different types of data are collected from the same subjects, are fast emerging in a large variety of scientific applications. Factor analysis is commonly employed in integrative analysis of multimodal data, and is particularly useful to overcome the curse of high dimensionality and high correlations of multi-modal data. However, there is little work on statistical inference for factor analysis based supervised modeling of multimodal data. In this article, we consider an integrative linear regression model that is built upon the latent factors extracted from multimodal data. We address three important questions: how to infer the significance of one data modality given the other modalities in the model; how to infer the significance of a combination of variables from one modality or across different modalities; and how to quantify the contribution, measured by the goodness-of-fit, of one data modality given the others. When answering each question, we explicitly characterize both the benefit and the extra cost of factor analysis. Those questions, to our knowledge, have not yet been addressed despite wide use of factor analysis in integrative multimodal analysis, and our proposal thus bridges an important gap. We study the empirical performance of our methods through simulations, and further illustrate with a multimodal neuroimaging analysis.

[140]  arXiv:1911.04057 [pdf, ps, other]
Title: Periodic Solutions for SDEs through Upper and Lower Solutions
Subjects: Dynamical Systems (math.DS)

We study a kind of better recurrence than Kolmogorov's one: periodicity recurrence,which corresponds periodic solutions in distribution for stochastic differential equations. On the basis of technique of upper and lower solutions and comparison principle, we obtain the existence of periodic solutions in distribution for stochastic differential equations (SDEs). Hence this provides an effective method how to study the periodicity of stochastic systems by analyzing deterministic ones. We also illustrate our results.

[141]  arXiv:1911.04066 [pdf, ps, other]
Title: de Rham decomposition for Riemannian manifolds with boundary
Authors: Chengjie Yu
Comments: 15 pages. All comments are welcome
Subjects: Differential Geometry (math.DG)

In this paper, we obtain a de Rham decomposition theorem for simply connected complete Riemannian manifolds with boundary.

[142]  arXiv:1911.04067 [pdf, other]
Title: The Alon-Tarsi number of $K_5$-minor-free graphs
Comments: 12 pages,2 figures
Subjects: Combinatorics (math.CO)

In this paper, we show the following three theorems. Let $G$ be a $K_5$-minor-free graph. Then Alon-Tarsi number of $G$ is at most $5$, there exists a matching $M$ of $G$ such that the Alon-Tarsi number of $G-M$ is at most $4$, and there exists a forest $F$ such that the Alon-Tarsi number of $G-E(F)$ is at most $3$.

[143]  arXiv:1911.04071 [pdf, ps, other]
Title: Multilinear Spherical Maximal Function
Authors: Georgios Dosidis
Subjects: Classical Analysis and ODEs (math.CA)

In dimensions $n\ge 2$ we obtain $L^{p_1}(\mathbb R^n) \times\dots\times L^{p_m}(\mathbb R^n)$ to $L^p(\mathbb R^n)$ boundedness for the multilinear spherical maximal function in the largest possible open set of indices and we provide counterexamples that indicate the optimality of our results. Moreover, we obtain weak type and Lorentz space estimates as well as counterexamples in the endpoint cases.

[144]  arXiv:1911.04075 [pdf, other]
Title: Morse theory with homotopy coherent diagrams
Authors: Taesu Kim
Comments: 71 pages, 9 figures
Subjects: Geometric Topology (math.GT); Category Theory (math.CT); Functional Analysis (math.FA)

We study Morse theory on noncompact manifolds equipped with exhaustions by compact pieces, defining the Morse homology of a pair which consists of the manifold and related geometric/homotopy data. We construct a collection of Morse data parametrized by cubes of arbitrary dimensions. From this collection, we obtain a family of linear maps subject to some coherency conditions, which can be packaged into a homotopy coherent diagram. We introduce a chain complex which is a colimit for the diagram and show that it computes the Morse homology.

[145]  arXiv:1911.04076 [pdf, ps, other]
Title: Second-order optimality conditions for non-convex set-constrained optimization problems
Subjects: Optimization and Control (math.OC)

In this paper we study second-order optimality conditions for non-convex set-constrained optimization problems. For a convex set-constrained optimization problem, it is well-known that second-order optimality conditions involve the support function of the second-order tangent set. In this paper we propose two approaches for establishing second-order optimality conditions for the non-convex case. In the first approach we extend the concept of the support function so that it is applicable to general non-convex set-constrained problems, whereas in the second approach we introduce the notion of the directional regular tangent cone and apply classical results of convex duality theory.

[146]  arXiv:1911.04079 [pdf, ps, other]
Title: Combinatorics of the double-dimer model
Authors: Helen Jenne
Comments: 60 pages, 16 figures
Subjects: Combinatorics (math.CO)

We prove that the partition function for tripartite double-dimer configurations of a planar bipartite graph satisfies a recurrence related to the Desnanot-Jacobi identity from linear algebra. A similar identity for the dimer partition function was established nearly 20 years ago by Kuo and has applications to random tiling theory and the theory of cluster algebras. This work was motivated in part by the potential for applications in these areas. Additionally, we discuss an application to Donaldson-Thomas and Pandharipande-Thomas theory which will be the subject of a forthcoming paper. The proof of our recurrence requires generalizing work of Kenyon and Wilson; specifically, lifting their assumption that the nodes of the graph are black and odd or white and even.

[147]  arXiv:1911.04082 [pdf, other]
Title: Hierarchical Optimal Coordination Framework for Connected and Automated Vehicles in Multiple Intersections
Comments: 18 pages, 7 figures, 1 table
Subjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA)

In this paper, we present a decentralized optimal control framework for connected and automated vehicles (CAVs) crossing two interconnected intersections. We develop a hierarchical optimization framework that consists of an upper-level and a low-level problems. In the upper-level, we formulate a scheduling problem the solution of which designates the optimal time of each CAV to cross the intersections. The outcome of the upper-level scheduling problem becomes the input of the low-level problem. In particular, in the low-level, we formulate an optimal control problem the solution of which yields the optimal control input (acceleration/deceleration) of each CAV to exit the intersections at the time specified in the upper-level scheduling problem. We demonstrate the effectiveness of the proposed framework through simulation.

[148]  arXiv:1911.04083 [pdf, ps, other]
Title: Lefschetz Properties and Hyperplane Arrangements
Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

In this article, we study the weak and strong Lefschetz properties, and the related notion of almost revlex ideal, in the non-Artinian case, proving that several results known in the Artinian case hold also in this more general setting. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements.

[149]  arXiv:1911.04086 [pdf, other]
Title: On the Three Methods for Bounding the Rate of Convergence for some Continuous-time Markov Chains
Subjects: Probability (math.PR)

Consideration is given to the three different analytical methods for the computation of upper bounds for the rate of convergence to the limiting regime of one specific class of (in)homogeneous continuous-time Markov chains. This class is particularly suited to describe evolutions of the total number of customers in (in)homogeneous $M/M/S$ queueing systems with possibly state-dependent arrival and service intensities, batch arrivals and services. One of the methods is based on the logarithmic norm of a linear operator function; the other two rely on Lyapunov functions and differential inequalities, respectively. Less restrictive conditions (compared to those known from the literature) under which the methods are applicable, are being formulated. Two numerical examples are given. It is also shown that for homogeneous birth-death Markov processes defined on a finite state space with all transition rates being positive, all methods yield the same sharp upper bound.

[150]  arXiv:1911.04087 [pdf, ps, other]
Title: Some mudular inequalities in Lebesgue spaces with variable exponent
Comments: 9pages
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)

Our aim is to study the modular inequalities for some operators, for example the Bergman projection acting on, in Lebesgue spaces with variable exponent. Under proper assumptions on the variable exponent, we prove that the modular inequalities are hold if and only if the exponent almost everywhere equals to a constant. In order to get the main results, we prove a lemma for a lower pointwise bound for these operators of a characteristic function.

[151]  arXiv:1911.04097 [pdf, ps, other]
Title: Instability of solutions to the Ginzburg-Landau equation on $S^{n}$ and $\mathbb{CP}^{n}$
Authors: Da Rong Cheng
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)

We study critical points of the Ginzburg-Landau (GL) functional and the abelian Yang-Mills-Higgs (YMH) functional on the sphere and the complex projective space, both equipped with the standard metrics. For the GL functional we prove that on $S^{n}$ with $n \geq 2$ and $\mathbb{CP}^{n}$ with $n \geq 1$, stable critical points must be constants. In addition, for GL critical points on $S^{n}$ for $n \geq 3$ we obtain a lower bound on the Morse index under suitable assumptions. On the other hand, for the abelian YMH functional we prove that on $S^{n}$ with $n \geq 4$ there are no stable critical points unless the line bundle is isomorphic to $S^n \times \mathbb{C}$, in which case the only stable critical points are the trivial ones. Our methods come from the work of Lawson--Simons.

[152]  arXiv:1911.04105 [pdf, ps, other]
Title: Two limits on Hardy and Sobolev inequalities
Authors: Megumi Sano
Comments: This note is submitted to RIMS Kokyuroku
Subjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP)

It is known that classical Hardy and Sobolev inequalities hold when the exponent $p$ and the dimension $N$ satisfy $p < N < \infty$. In this note, we consider two limits of Hardy and Sobolev inequalities as $p \nearrow N$ and $N \nearrow \infty$ in some sense.

[153]  arXiv:1911.04110 [pdf, ps, other]
Title: Linear-Quadratic Time-Inconsistent Mean-Field Type Stackelberg Differential Games: Time-Consistent Open-Loop Solutions
Comments: 16 pages, 4 figures
Subjects: Optimization and Control (math.OC)

In this technical note, we consider the linear-quadratic time-inconsistent mean-field type leader-follower Stackelberg differential game with an adapted open-loop information structure. The objective functionals of the leader and the follower include conditional expectations of state and control (mean field) variables, and the cost parameters could be general nonexponential discounting depending on the initial time. As stated in the existing literature, these two general settings of the objective functionals induce time inconsistency in the optimal solutions. Given an arbitrary control of the leader, we first obtain the follower's (time-consistent) equilibrium control and its state feedback representation in terms of the nonsymmetric coupled Riccati differential equations (RDEs) and the backward stochastic differential equation (SDE). This provides the rational behavior of the follower, characterized by the forward-backward SDE (FBSDE). We then obtain the leader's explicit (time-consistent) equilibrium control and its state feedback representation in terms of the nonsymmetric coupled RDEs under the FBSDE constraint induced by the follower. With the solvability of the nonsymmetric coupled RDEs, the equilibrium controls of the leader and the follower constitute the time-consistent Stackelberg equilibrium. Finally, the numerical examples are provided to check the solvability of the nonsymmetric coupled RDEs.

[154]  arXiv:1911.04119 [pdf, ps, other]
Title: Classification of subbundles on the Fargues-Fontaine curve
Authors: Serin Hong
Comments: 26 pages
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

We completely classify all subbundles of a given vector bundle on the Fargues-Fontaine curve. Our classification is given in terms of a simple and explicit condition on Harder-Narasimhan polygons. Our proof is inspired by the proof of the main theorem in [Hon19], but also involves a number of nontrivial adjustments.

[155]  arXiv:1911.04125 [pdf, ps, other]
Title: Split generalized-$α$ method: A linear-cost solver for a modified generalized-method for multi-dimensional second-order hyperbolic systems
Subjects: Numerical Analysis (math.NA)

We propose a variational splitting technique for the generalized-$\alpha$ method to solve hyperbolic partial differential equations. We use tensor-product meshes to develop the splitting method, which has a computational cost that grows linearly with respect to the total number of degrees of freedom for multi-dimensional problems. We consider standard $C^0$ finite elements as well as smoother B-splines in isogeometric analysis for the spatial discretization. We also study the spectrum of the amplification matrix to establish the unconditional stability of the method. We then show that the stability behavior affects the overall behavior of the integrator on the entire interval and not only at the limits $0$ and $\infty$. We use various examples to demonstrate the performance of the method and the optimal approximation accuracy. For the numerical tests, we compute the $L_2$ and $H^1$ norms to show the optimal convergence of the discrete method in space and second-order accuracy in time.

[156]  arXiv:1911.04130 [pdf, ps, other]
Title: On tight sets of hyperbolic quadrics
Subjects: Combinatorics (math.CO)

We prove that the parameter $x$ of a tight set $\mathcal{T}$ of a hyperbolic quadric $\mathsf{Q}^+(2n+1,q)$ of an odd rank $n+1$ satisfies ${x\choose 2}+w(w-x)\equiv 0\mod q+1$, where $w$ is the number of points of $\mathcal{T}$ in any generator of $\mathsf{Q}^+(2n+1,q)$. As this modular equation should have an integer solution in $w$ if such a $\mathcal{T}$ exists, this condition rules out roughly at least one half of all possible parameters $x$. It generalizes a previous result by the author and K. Metsch shown for tight sets of a hyperbolic quadric $\mathsf{Q}^+(5,q)$ (also known as Cameron-Liebler line classes in $\mathrm{PG}(3,q)$).

[157]  arXiv:1911.04132 [pdf, other]
Title: Lagrangian fibers of Gelfand-Cetlin systems
Comments: 43 pages, 41 figures. Following a journal editor's suggestion, we split our previous posting arXiv:1704.07213 into two parts. This paper builds upon the results of the first half of arXiv:1704.07213
Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)

A Gelfand-Cetlin system is a completely integrable system defined on a partial flag manifold whose image is a rational convex polytope called a Gelfand-Cetlin polytope. Motivated by the study of Nishinou-Nohara-Ueda on the Floer theory of Gelfand-Cetlin systems, we provide a detailed description of topology of Gelfand-Cetlin fibers. In particular, we prove that any fiber over an interior point of a k-dimensional face of the Gelfand-Cetlin polytope is an isotropic submanifold and is diffeomorphic to $(S^1)^k \times N$ for some smooth manifold $N$. We also prove that such $N$'s are exactly the vanishing cycles shrinking to points in the associated toric variety via the toric degeneration. We also devise an algorithm of reading off Lagrangian fibers from the combinatorics of the ladder diagram.

[158]  arXiv:1911.04134 [pdf, ps, other]
Title: Linear maps which are anti-derivable at zero
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)

Let $T:A\to X$ be a bounded linear operator, where $A$ is a C$^*$-algebra, and $X$ denotes an essential Banach $A$-bimodule. We prove that the following statements are equivalent:
$(a)$ $T$ is anti-derivable at zero (i.e. $ab =0$ in $A$ implies $T(b) a + b T(a)=0$ in $X$);
$(b)$ There exists an anti-derivation $d:A\to X^{**}$ and an element $\xi \in X^{**}$ satisfying the following properties:
$(i)$ $\xi a = a \xi$ and $\xi [a,b]=0$ for all $a,b\in A$;
$(ii)$ The annihilator $\hbox{Ann}_{A} (\xi) = \{ a\in A : \xi a =0 \}$ is a norm closed (self-adjoint) ideal of $A;$
$(iii)$ The quotient $A/\hbox{Ann}_{A} (\xi)$ is an abelian C$^*$-algebra;
$(iv)$ $T(a b) = b T(a) + T(b) a - b \xi a,$ and $T(a) = d(a) + \xi a$ for all $a,b\in A$.
We also prove a similar equivalence when $X$ is replaced with $A^{**}$. This provides a complete characterization of those bounded linear maps from $A$ into $X$ or into $A^{**}$ which are anti-derivable at zero. We also present a complete characterization of those continuous linear operators which are $^*$-anti-derivable at zero.

[159]  arXiv:1911.04141 [pdf, ps, other]
Title: $\mathbb Q$-linear dependence of certain Bessel moments
Authors: Yajun Zhou
Comments: i+21 pages. Simplification and extension of some results in Section 5 of arXiv:1706.08308
Subjects: Number Theory (math.NT); High Energy Physics - Theory (hep-th)

Let $I_0$ and $K_0$ be modified Bessel functions of the zeroth order. We use Vanhove's differential operators for Feynman integrals to derive upper bounds for dimensions of the $\mathbb Q$-vector space spanned by certain sequences of Bessel moments \[ \left\{\left.\int_0^\infty [I_0(t)]^a[K_0(t)]^b t^{2k+1}\mathrm{d}\, t\right|k\in\mathbb Z_{\geq0}\right\},\]where $a$ and $b$ are fixed non-negative integers. For $ a\in\mathbb Z\cap[1,b)$, our upper bound for the $ \mathbb Q$-linear dimension is $\lfloor (a+b-1)/2\rfloor$, which improves the Borwein-Salvy bound $\lfloor (a+b+1)/2\rfloor$. Our new upper bound $\lfloor (a+b-1)/2\rfloor$ is not sharp for $ a=2,b=6$, due to an exceptional $ \mathbb Q$-linear relation $\int_0^\infty [I_0(t)]^2[K_0(t)]^6 t\mathrm{d}\, t=72\int_0^\infty [I_0(t)]^2[K_0(t)]^6 t^{3}\mathrm{d}\, t$, which is provable by integrating modular forms. We further propose some conjectures, in the spirit of Bailey-Borwein-Borwein-Crandall, about the exact $ \mathbb Q$-linear dimension for the $\mathbb Q$-vector space spanned by certain sequences of Bessel moments, and examine their arithmetic implications.

[160]  arXiv:1911.04142 [pdf, other]
Title: Remark on the Betti numbers for Hamiltonian circle actions
Authors: Yunhyung Cho
Comments: 4 pages, no figure
Subjects: Symplectic Geometry (math.SG)

In this paper, we establish a certain inequality in terms of Betti numbers of a closed Hamiltonian $S^1$-manifold with isolated fixed points.

[161]  arXiv:1911.04150 [pdf, ps, other]
Title: The real cycle class map
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); K-Theory and Homology (math.KT)

The classical cycle class map for a smooth complex variety sends cycles in the Chow ring to cycles in the singular cohomology ring. We study two cycle class maps for smooth real varieties: the map from the I-cohomology ring to singular cohomology induced by the signature, and a new cycle class map defined on the Chow-Witt ring. For both maps, we establish basic compatibility results like compatibility with pullbacks, pushforwards and cup products. As a first application of these general results, we show that both cycle class maps are isomorphisms for cellular varieties.

[162]  arXiv:1911.04151 [pdf, ps, other]
Title: On Cramér-von Mises statistic for the spectral distribution of random matrices
Authors: Zhigang Bao, Yukun He
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Statistics Theory (math.ST)

Let $F_N$ and $F$ be the empirical and limiting spectral distributions of an $N\times N$ Wigner matrix. The Cram\'{e}r-von Mises (CvM) statistic is a classical goodness-of-fit statistic that characterizes the distance between $F_N$ and $F$ in $\ell^2$-norm. In this paper, we consider a mesoscopic approximation of the CvM statistic for Wigner matrices, and derive its limiting distribution. In the appendix, we also give the limiting distribution of the CvM statistic (without approximation) for the toy model CUE.

[163]  arXiv:1911.04152 [pdf, ps, other]
Title: Crossed products whose unit group is locally solvable
Comments: preprint
Subjects: Rings and Algebras (math.RA)

In this paper we prepare the necessary and sufficient conditions that the unit group of crossed products to be a locally solvable group.

[164]  arXiv:1911.04159 [pdf, other]
Title: Critical site percolation in high dimension
Comments: 30 pages
Subjects: Probability (math.PR)

We use the lace expansion to prove an infra-red bound for site percolation on the hypercubic lattice in high dimension. This implies the triangle condition and allows us to deduce to derive several critical exponents that characterize mean-field behavior in high dimensions.

[165]  arXiv:1911.04164 [pdf, other]
Title: From mean field games to the best reply strategy in a stochastic framework
Authors: Matt Barker
Journal-ref: Journal of Dynamics & Games, 2019, 6 (4) : 291-314
Subjects: Optimization and Control (math.OC)

This paper builds on the work of Degond, Herty and Liu by considering N-player stochastic differential games. The control corresponding to a Nash equilibrium of such a game is approximated through model predictive control (MPC) techniques. In the case of a linear quadratic running-cost, considered here, the MPC method is shown to approximate the solution to the control problem by the best reply strategy (BRS) for the running cost. We then compare the MPC approach when taking the mean field limit with the popular mean field game (MFG) strategy. We find that our MPC approach reduces the two coupled PDEs to a single PDE, greatly increasing the simplicity and tractability of the original problem. We give two examples of applications of this approach to previous literature and conclude with future perspectives for this research.

[166]  arXiv:1911.04166 [pdf, ps, other]
Title: Convex $C^1$ extensions of $1$-jets from compact subsets of Hilbert spaces
Comments: 4 pages
Subjects: Functional Analysis (math.FA)

Let $X$ denote a Hilbert space. Given a compact subset $K$ of $X$ and two continuous functions $f:K\to\mathbb{R}$, $G:K\to X$, we show that a necessary and sufficient condition for the existence of a convex function $F\in C^1(X)$ such that $F=f$ on $K$ and $\nabla F=G$ on $K$ is that the $1$-jet $(f, G)$ satisfies (1) $f(x)\geq f(y)+ \langle G(y), x-y\rangle$ for all $x, y\in K$, and (2) if $x, y\in K$ and $f(x)= f(y)+ \langle G(y), x-y\rangle$ then $G(x)=G(y)$.

[167]  arXiv:1911.04176 [pdf, other]
Title: On Moduli Spaces of Convex Projective Structures on Surfaces: Outitude and Cell-Decomposition in Fock-Goncharov Coordinates
Comments: 44 pages, 16 Figures
Subjects: Geometric Topology (math.GT); Differential Geometry (math.DG)

Generalising a seminal result of Epstein and Penner for cusped hyperbolic manifolds, Cooper and Long showed that each decorated strictly convex projective cusped manifold has a canonical cell decomposition. Penner used the former result to describe a natural cell decomposition of decorated Teichm\"uller space of punctured surfaces. We extend this cell decomposition to the moduli space of decorated strictly convex projective structures of finite volume on punctured surfaces.
The proof uses Fock and Goncharov's $\mathcal{A}$-coordinates for doubly decorated structures. In addition, we describe a simple, intrinsic edge-flipping algorithm to determine the canonical cell decomposition associated to a point in moduli space, and show that Penner's centres of Teichm\"uller cells are also natural centres of the cells in moduli space. We show that in many cases, the associated holonomy groups are semi-arithmetic.

[168]  arXiv:1911.04177 [pdf, other]
Title: Wake-Up Radio based Access in 5G under Delay Constraints: Modeling and Optimization
Comments: accepted for publication in IEEE Trans. on Commun
Subjects: Information Theory (cs.IT)

Recently, the concept of wake-up radio based access has been considered as an effective power saving mechanism for 5G mobile devices. In this article, the average power consumption of a wake-up radio enabled mobile device is analyzed and modeled by using a semi-Markov process. Building on this, a delay-constrained optimization problem is then formulated, to maximize the device energy-efficiency under given latency requirements, allowing the optimal parameters of the wake-up scheme to be obtained in closed form. The provided numerical results show that, for a given delay requirement, the proposed solution is able to reduce the power consumption by up to 40% compared with an optimized discontinuous reception (DRX) based reference scheme.

[169]  arXiv:1911.04181 [pdf, other]
Title: Pentagon representations and complex projective structures on closed surfaces
Authors: Thomas Le Fils
Comments: 19 pages, 8 figures
Subjects: Geometric Topology (math.GT)

We define a class of representations of the fundamental group of a closed surface of genus $2$ to $\mathrm{PSL}_2 (\mathbb C)$: the pentagon representations. We show that they are exactly the non-elementary $\mathrm{PSL}_2 (\mathbb C)$-representations of surface groups that do not admit a Schottky decomposition, i.e. a pants decomposition such that the restriction of the representation to each pair of pants is an isomorphism onto a Schottky group. In doing so, we exhibit a gap in the proof of Gallo, Kapovich and Marden that every non-elementary representation of a surface group to $\mathrm{PSL}_2 (\mathbb C)$ is the holonomy of a projective structure, possibly with one branched point of order $2$. We show that pentagon representations arise as such holonomies and repair their proof.

[170]  arXiv:1911.04184 [pdf, ps, other]
Title: Grassmann angles and absorption probabilities of Gaussian convex hulls
Comments: 22 pages
Subjects: Probability (math.PR); Metric Geometry (math.MG)

Let $M$ be a subset in $\mathbb R^n$ with a conic (or positive) hull $C$ and $A$ be a $k\times n$-matrix whose entries are independent standard Gaussian random variables. We compute various quantities related to the random set $AM$ and the random cone $AC$, called the Gaussian images of $M$ and $C$. For example, we show that the probability that the convex hull of $AM$ contains the origin in its interior coincides with the $k$-th Grassmann angle of $C$. Also, we prove that the expected Grassmann angles of $AC$ coincide with the corresponding Grassmann angles of $C$. Using the latter result, we show that the expected sum of $j$-th Grassmann angles at $\ell$-dimensional faces of a Gaussian simplex equals the analogous angle-sum for the regular simplex of the same dimension.

[171]  arXiv:1911.04185 [pdf, other]
Title: The waiting time phenomenon in spatially discretized porous medium and thin film equations
Comments: 22 pages, 3 figures
Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

Various degenerate diffusion equations exhibit a waiting time phenomenon: Dependening on the "flatness" of the compactly supported initial datum at the boundary of the support, the support of the solution may not expand for a certain amount of time. We show that this phenomenon is captured by particular Lagrangian discretizations of the porous medium and the thin-film equations, and we obtain suffcient criteria for the occurrence of waiting times that are consistent with the known ones for the original PDEs.
Our proof is based on estimates on the fluid velocity in Lagrangian coordinates. Combining weighted entropy estimates with an iteration technique \`a la Stampacchia leads to upper bounds on free boundary propagation. Numerical simulations show that the phenomenon is already clearly visible for relatively coarse discretizations.

[172]  arXiv:1911.04186 [pdf, ps, other]
Title: Brauer class over the Picard scheme of totally degenerate stable curves
Authors: Qixiao Ma
Subjects: Algebraic Geometry (math.AG)

We study the Brauer class rising from the obstruction to the existence of tautological line bundles on the Picard scheme of curves. We determine the period and index of the Brauer class in certain cases.

[173]  arXiv:1911.04191 [pdf, ps, other]
Title: The niche graphs of multipartite tournaments
Subjects: Combinatorics (math.CO)

The niche graph of a digraph $D$ has $V(D)$ as the vertex set and an edge $uv$ if and only if $(u,w) \in A(D)$ and $(v,w) \in A(D)$, or $(w,u) \in A(D)$ and $(w,v) \in A(D)$ for some $w \in V(D)$. The notion of niche graph was introduced by Cable et al. (1989) as a variant of competition graph. If a graph is the niche graph of a digraph $D$, it is said to be niche-realizable through $D$. If a graph $G$ is niche-realizable through a $k$-partite tournament for an integer $k \ge 2$, then we say that the pair $(G, k)$ is niche-realizable. Bowser et al. (1999) studied the graphs that are niche-realizable through a tournament and Eoh et al. (2018) studied niche-realizable pairs $(G, k)$ for $k=2$. In this paper, we study niche-realizable pairs $(G, k)$ when $G$ is a graph and $k$ is an integer at least $3$ to extend their work. We show that the niche graph of a $k$-partite tournament has at most three components if $k \ge 3$ and is connected if $k \ge 4$. Then we find all the niche-realizable pairs $(G, k)$ when $G$ is a disconnected graph, when $G$ is a complete graph, and when $G$ is a connected triangle-free graph.

[174]  arXiv:1911.04193 [pdf, ps, other]
Title: Asymptotics for Capelli Polynomials with Involution
Subjects: Rings and Algebras (math.RA)

Let $F\langle X, \ast \rangle$ be the free associative algebra with involution $\ast$ over a field $F$ of characteristic zero. We study the asymptotic behavior of the sequence of $\ast$-codimensions of the T-$\ast$-ideal $\Gamma_{M+1,L+1}^\ast$ of $F\langle X, \ast \rangle$ generated by the $\ast$-Capelli polynomials $Cap^\ast_{M+1} [Y,X]$ and $Cap^\ast_{L+1} [Z,X]$ alternanting on $M+1$ symmetric variables and $L+1$ skew variables, respectively.
It is well known that, if $F$ is an algebraic closed field of characteristic zero, every finite dimensional $\ast$-simple algebra is isomorphic to one of the following algebras:
\begin{itemize}
\item [$\cdot$]$(M_{k}(F),t)$ the algebra of $k \times k$ matrices with the transpose involution;
\item [$\cdot$]$(M_{2m}(F),s)$ the algebra of $2m \times 2m$ matrices with the symplectic involution;
\item [$\cdot$]$(M_{h}(F)\oplus M_{h}(F)^{op}, exc)$ the direct sum of the algebra of $h \times h$ matrices and the opposite algebra with the exchange involution. \end{itemize}
We prove that the $\ast$-codimensions of a finite dimensional $\ast$-simple algebra are asymptotically equal to the $\ast$-codimensions of $\Gamma_{M+1,L+1}^\ast$, for some fixed natural numbers $M$ and $L$. In particular: $$ c^{\ast}_n(\Gamma^{\ast}_{\frac{k(k+1)}{2} +1,\frac{k(k-1)}{2} +1})\simeq c^{\ast}_n((M_k(F),t)); $$ $$ c^{\ast}_n(\Gamma^{\ast}_{m(2m-1)+1,m(2m+1)+1})\simeq c^{\ast}_n((M_{2m}(F),s)); $$ and $$ c^{\ast}_n(\Gamma^{\ast}_{h^2+1,h^2+1})\simeq c^{\ast}_n((M_{h}(F)\oplus M_{h}(F)^{op},exc)). $$

[175]  arXiv:1911.04204 [pdf, ps, other]
Title: Path-Connected Components of Affine Schemes and Algebraic K-Theory
Comments: Keywords: noncommutative affine scheme, algebraic homotopy, algebraic bivariant K-theory
Subjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG)

We introduce a specific functor $\pi$ that associates to any (noncommutative) algebra $A$ over a field $\mathbb{K}$, a subalgebra $\pi(A)$. This functor is constructed by using the formal affine ind-scheme of all paths $\mathbb{A}^1\to S$ from affine line into the (noncommutative) affine scheme $S$ underlying $A$. The subalgebra $\pi(A)$ may be interpreted as the algebra of functions over the formal affine scheme of path-connected components of $S$. Some basic properties of $\pi$ and of its finite variant $\pi^n$ are considered. Then, in the case that $\mathbb{K}$ is algebraically closed, by using $\pi$ and a construction of mapping ind-schemes in terms of pro-algebras, we introduce a bifunctor $\mathfrak{KK}$ that associates to any arbitrary pair $(A,B)$ of algebras, a pro pro-bialgebra $\mathfrak{KK}(A,B)$, i.e. a pro pro-object of category of unital commutative algebras together with cocommutative comultiplications and counits. The functor $\mathfrak{KK}$ may be interpreted as a (dual) bivariant algebraic K-theory. It is shown that $\mathfrak{KK}$ is $\mathbb{A}^1$-homotopy invariant, finite-matrix-stable at infinity, has a canonical co-bilinear Kasparov composition, transforms direct sums in second component to tensor product, and satisfies in a specific exponential law. It is shown that for any unital algebra $B$, there is a canonical homomorphism from $\mathcal{K}_0(B)$ into Grothendieck group of the abelian monoid formed by $\mathbb{K}$-points of ind ind-scheme associated to $\mathfrak{KK}(\mathbb{K},B)$. A similar result about a relation between finite-dimensional representations of an algebra $A$ and $\mathfrak{KK}(A,\mathbb{K})$ is proved.

[176]  arXiv:1911.04205 [pdf, ps, other]
Title: Sticky polymatroids on at most five elements
Authors: Laszlo Csirmaz
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

The sticky polymatroid conjecture states that any two extensions of the polymatroid have an amalgam if and only if the polymatroid has modular flat pairs only. The conjecture holds for polymatroids on five or less elements.

[177]  arXiv:1911.04208 [pdf, other]
Title: Poincare Hopf for vector fields on graphs
Authors: Oliver Knill
Comments: 15 pages, 5 figures
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

We generalize the Poincare-Hopf theorem sum_v i(v) = X(G) to vector fields on a finite simple graph (V,E) with Whitney complex G. To do so, we define a directed simplicial complex as a finite abstract simplicial complex equipped with a bundle map F: G to V telling which vertex T(x) in x dominates the simplex x. The index i(v) of a vertex v is defined as X(F^-1(v)), where X is the Euler characteristic. We get a flow by adding a section map F: V to G. The resulting map T on G is a discrete model for a differential equation x'=F(x) on a compact manifold. Examples of directed complexes are defined by Whitney complexes defined by digraphs with no cyclic triangles or gradient fields on finite simple graphs defined by a locally injective function. The result extends to simplicial complexes equipped with an energy function H:G to Z that implements a divisor. The index sum is then the total energy.

[178]  arXiv:1911.04212 [pdf, ps, other]
Title: Estimation in Weibull Distribution Under Progressively Type-I Hybrid Censored Data
Subjects: Statistics Theory (math.ST); Computation (stat.CO)

In this article, we consider the estimation of unknown parameters of Weibull distribution when the lifetime data are observed in the presence of progressively type-I hybrid censoring scheme. The Newton-Raphson algorithm, Expectation-Maximization (EM) algorithm and Stochastic EM (SEM) algorithm are utilized to derive the maximum likelihood estimates (MLEs) for the unknown parameters. Moreover, Bayesian estimators using Tierney-Kadane Method and Markov Chain Monte Carlo (MCMC) method are obtained under three different loss functions, namely, squared error loss (SEL), linear-exponential (LINEX) and generalized entropy loss (GEL) functions. Also, the shrinkage pre-test estimators are derived. An extensive Monte Carlo simulation experiment is conducted under different schemes so that the performances of the listed estimators are compared using mean squared error, confidence interval length and coverage probabilities. Asymptotic normality and MCMC samples are used to obtain the confidence intervals and highest posterior density (HPD) intervals respectively. Further, a real data example is presented to illustrate the methods. Finally, some conclusive remarks are presented.

[179]  arXiv:1911.04216 [pdf, ps, other]
Title: Tilting complexes for group graded self-injective algebras
Comments: Welcome to give comments
Journal-ref: Tsukuba J.Math, 2019
Subjects: Representation Theory (math.RT)

We construct derived equivalences between group graded self-injective algebras, starting from equivalences between their 1-components, obtained via a construction of J. Rickard and S. Al-Nofayee.

[180]  arXiv:1911.04217 [pdf, ps, other]
Title: On the direct product of fields with a geometric application
Comments: 9 pages
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

In this paper, some new results on the direct product of fields are obtained. In particular, it is shown that every set $X$ can be made into a separated scheme, and this scheme is an affine scheme if and only if $X$ is a finite set.

[181]  arXiv:1911.04219 [pdf, other]
Title: Numerical modelling of coupled linear dynamical systems
Subjects: Optimization and Control (math.OC)

Numerical modelling of several coupled passive linear dynamical systems (LDS) is considered. Since such component systems may arise from partial differential equations, transfer function descriptions, lumped systems, measurement data, etc., the first step is to discretise them into finite-dimensional LDSs using, e.g., the finite element method, autoregressive techniques, and interpolation. The finite-dimensional component systems may satisfy various types of energy (in)equalities due to passivity that require translation into a common form such as the scattering passive representation. Only then can the component systems be coupled in a desired feedback configuration by computing pairwise Redheffer star products of LDSs.
Unfortunately, a straightforward approach may fail due to ill-posedness of feedback loops between component systems. Adversities are particularly likely if some component systems have no energy dissipation at all, and this may happen even if the fully coupled system could be described by a finite-dimensional LDS. An approach is proposed for obtaining the coupled system that is based on passivity preserving regularisation. Two practical examples are given to illuminate the challenges and the proposed methods to overcome them: the Butterworth low-pass filter and the termination of an acoustic waveguide to an irrational impedance.

[182]  arXiv:1911.04221 [pdf, ps, other]
Title: Convergence to minima for the continuous version of Backtracking Gradient Descent
Comments: 18 pages
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)

The main result of this paper is:
{\bf Theorem.} Let $f:\mathbb{R}^k\rightarrow \mathbb{R}$ be a $C^{1}$ function, so that $\nabla f$ is locally Lipschitz continuous. Assume moreover that $f$ is $C^2$ near its generalised saddle points. Fix real numbers $\delta _0>0$ and $0<\alpha <1$. Then there is a smooth function $h:\mathbb{R}^k\rightarrow (0,\delta _0]$ so that the map $H:\mathbb{R}^k\rightarrow \mathbb{R}^k$ defined by $H(x)=x-h(x)\nabla f(x)$ has the following property:
(i) For all $x\in \mathbb{R}^k$, we have $f(H(x)))-f(x)\leq -\alpha h(x)||\nabla f(x)||^2$.
(ii) For every $x_0\in \mathbb{R}^k$, the sequence $x_{n+1}=H(x_n)$ either satisfies $\lim _{n\rightarrow\infty}||x_{n+1}-x_n||=0$ or $ \lim _{n\rightarrow\infty}||x_n||=\infty$. Each cluster point of $\{x_n\}$ is a critical point of $f$. If moreover $f$ has at most countably many critical points, then $\{x_n\}$ either converges to a critical point of $f$ or $\lim _{n\rightarrow\infty}||x_n||=\infty$.
(iii) There is a set $\mathcal{E}_1\subset \mathbb{R}^k$ of Lebesgue measure $0$ so that for all $x_0\in \mathbb{R}^k\backslash \mathcal{E}_1$, the sequence $x_{n+1}=H(x_n)$, {\bf if converges}, cannot converge to a {\bf generalised} saddle point.
(iv) There is a set $\mathcal{E}_2\subset \mathbb{R}^k$ of Lebesgue measure $0$ so that for all $x_0\in \mathbb{R}^k\backslash \mathcal{E}_2$, any cluster point of the sequence $x_{n+1}=H(x_n)$ is not a saddle point, and more generally cannot be an isolated generalised saddle point.
Some other results are proven.

[183]  arXiv:1911.04222 [pdf, ps, other]
Title: Variational Representations related to Quantum Rényi Relative Entropies
Authors: Guanghua Shi
Comments: 16 pages, 24 conferences
Subjects: Functional Analysis (math.FA); Information Theory (cs.IT)

In this note, we focus on the variational representations of some matrix norm functions and matrix trace functions that are related to the quantum R\'{e}nyi relative entropies. Concretely, by using the H\"{o}lder inequality and Young inequality for symmetric norms we give the variational representations of the function $(A,B)\mapsto \|B^{q/2}K^*A^pKB^{q/2}\|$ for symmetric norms. These variational expressions enable us to give some new proofs of the convexity/concavity of the trace function $(A,B)\mapsto Tr (B^{q/2}K^*A^pKB^{q/2})$ and some extensions of the Lieb's theorems in terms of symmetric norms or symmetric anti-norms.

[184]  arXiv:1911.04223 [pdf, other]
Title: Optimal Installation of Solar Panels with Price Impact: a Solvable Singular Stochastic Control Problem
Subjects: Optimization and Control (math.OC); Mathematical Finance (q-fin.MF)

We consider a price-maker company which generates electricity and sells it in the spot market. The company can increase its level of installed power by irreversible installations of solar panels. In absence of the company's economic activities, the spot electricity price evolves as an Ornstein-Uhlenbeck process, and therefore it has a mean-reverting behavior. The current level of the company's installed power has a permanent impact on the electricity price and affects its mean-reversion level. The company aims at maximizing the total expected profits from selling electricity in the market, net of the total expected proportional costs of installation. This problem is modeled as a two-dimensional degenerate singular stochastic control problem in which the installation strategy is identified as the company's control variable. We follow a guess-and-verify approach to solve the problem. We find that the optimal installation strategy is triggered by a curve which separates the waiting region, where it is not optimal to install additional panels, and the installation region, where it is. Such a curve depends on the current level of the company's installed power, and is the unique strictly increasing function which solves a first-order ordinary differential equation (ODE). Finally, our study is complemented by a numerical analysis of the dependency of the optimal installation strategy on the model's parameters.

[185]  arXiv:1911.04243 [pdf, other]
Title: Underwater Optical Communication System Relayed by $α-μ$ Fading Channel: Outage, Capacity and Asymptotic Analysis
Comments: 7 pages, 6 figures, journal
Subjects: Information Theory (cs.IT)

We investigate underwater optical communication system that is relayed by a single decode-and-forward (DF) relay through an exponential-generalized Gamma distribution (EGG) into a final destination. Specifically, a certain terminal device sends data through underwater wireless optical link (UWO) that utilizes the so-called blue laser technology into a nearby relay that in term sends a decoded (and modulated) version of the received signal into a remote destination. The RF link is assumed to follow the generalized $\alpha-\mu$ distribution; which include many distributions as a special cases, e.g., Rayleigh. In the other hand, the UWO link is presumed to follow the state-of-art Exponential-Generalized Gamma distribution (EGG) which was recently proposed to model the underwater optical turbulence. Closed-form expressions of outage probability, average error rate and ergodic capacity are derived assuming heterodyne detection technique (HD). Also, asymptotic outage expression is obtained for more performance insights. Results show that high achievable rate is obtained for high-speed underwater communication systems when turbulence conditions underwater are relatively weak. In addition, the RF link is dominating the outage performance in weak optical turbulence while UWO link is dominating the outage performance in severe optical turbulence.

[186]  arXiv:1911.04245 [pdf, ps, other]
Title: Isomorphism questions for metric ultraproducts of finite quasisimple groups
Authors: Jakob Schneider
Comments: 25 pages, no figures
Subjects: Group Theory (math.GR)

New results on metric ultraproducts of finite simple groups are established. We show that the isomorphism type of a simple metric ultraproduct of groups $X_{n_i}(q)$ ($i\in I$) for $X\in\{{\rm PGL},{\rm PSp},{\rm PGO}^{(\varepsilon)},{\rm PGU}\}$ ($\varepsilon=\pm$) along an ultrafilter $\mathcal{U}$ on the index set $I$ for which $n_i\to_{\mathcal{U}}\infty$ determines the type $X$ and the field size $q$ up to the possible isomorphism of a metric ultraproduct of groups ${\rm PSp}_{n_i}(q)$ and a metric ultraproduct of groups ${\rm PGO}_{n_i}^{(\varepsilon)}(q)$. This extends results of Thom and Wilson.

[187]  arXiv:1911.04246 [pdf, ps, other]
Title: Hessian estimate for semiconvex solutions to the sigma-2 equation
Authors: Ravi Shankar, Yu Yuan
Comments: submitted to Calculus of Variations and PDEs
Subjects: Analysis of PDEs (math.AP)

We derive a priori interior Hessian estimates for semiconvex solutions to the sigma-2 equation. An elusive Jacobi inequality, a transformation rule under the Legendre-Lewy transform, and a mean value inequality for the still nonuniformly elliptic equation without area structure are the key to our arguments. Previously, this result was known for almost convex solutions.

[188]  arXiv:1911.04251 [pdf, ps, other]
Title: Semiclosed projections and applications
Subjects: Functional Analysis (math.FA)

We characterize the semiclosed projections and apply them to compute the Schur complement of a selfadjoint operator with respect to a closed subspace. These projections occur naturally when dealing with weak complementability.

[189]  arXiv:1911.04256 [pdf]
Title: Using Fibonacci Number to Integrate 2x2 and 3x3 Martices
Subjects: General Mathematics (math.GM)

The aim of this paper is to make the clarification of images faster by the formula that Franciszekn made for matrices integrations and this made Sukhvinders Algorithm complicate and slower. This paper uses the Fibonacci number to determine integration formulas for matrices of order 2 and 3 in order to make the process of images clarification shorter.

[190]  arXiv:1911.04257 [pdf]
Title: $α$-Q-fuzzy Subgroups
Subjects: General Mathematics (math.GM)

In this paper, the notations of $\alpha$-Q-fuzzy subset and $\alpha$-Q-fuzzy subgroup are introduced, and necessary properties related to these two concepts are proven. In the past part in this work, the effect of the $\alpha$-Q-fuzzy subgroup on the image and inverse-image under group anti-homomorphism are studied.

[191]  arXiv:1911.04259 [pdf]
Title: A New Type of Weakly Commutative Groups
Subjects: General Mathematics (math.GM)

The aim of the present paper is to define and study a new class of groups, namely Wm-groups with a single binary operation based on axioms of semi commutativity, right identity and left inverse. Moreover, we introduce the notions of right cosets, quotient Wm-groups, homomorphisms, kernel and normal Wm-subgroups in terms of Wm-groups, and investigate some of their properties.

[192]  arXiv:1911.04260 [pdf, ps, other]
Title: Modules of infinite projective dimension
Comments: 7 pages
Subjects: Representation Theory (math.RT); Category Theory (math.CT)

We characterize the modules of infinite projective dimension over the endomorphism algebras of Opperman-Thomas cluster tilting objects $X$ in $(n+2)$-angulated categories $(\cal C,\Sigma^n,\Theta)$. We define in this article the ideal $I_M$ of ${\rm End}_{\cal C}(\Sigma^nX)$ given by all endomorphisms that factor through $M$, and show that the ${\rm End}_{\cal C}(X)$-module ${\rm Hom}_{\cal C}(X,M)$ has infinite projective dimension precisely when $I_M$ is non-zero. As an application, we generalize a recent result by Beaudet-Br\"{u}stle-Todorov for cluster-tilted algebras.

[193]  arXiv:1911.04262 [pdf, ps, other]
Title: A Short Proof of Köthe's Conjecture for Compact Rings
Subjects: Rings and Algebras (math.RA)

We provide a new proof that the upper nilradical of a compact ring coincides with the sum of its left nil ideals using the properties of orthogonal idempotents in compact rings.

[194]  arXiv:1911.04267 [pdf, ps, other]
Title: On half-factoriality of transfer Krull monoids
Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO); Group Theory (math.GR); Number Theory (math.NT)

Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L(a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$, and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$. We show that, if $a \in H$ and $|\mathsf L(a^{\lfloor (3\exp(G) - 3)/2 \rfloor})| = 1$, then the smallest divisor-closed submonoid of $H$ containing $a$ is half-factorial. In addition, we prove that, if $G_0$ is finite and $|\mathsf L(\prod_{g\in G_0}g^{2\mathsf{ord}(g)})|=1$, then $H$ is half-factorial.

[195]  arXiv:1911.04268 [pdf, ps, other]
Title: Universal almost optimal compression and Slepian-Wolf coding in probabilistic polynomial time
Comments: 26 pages
Subjects: Information Theory (cs.IT)

In a lossless compression system with target lengths, a compressor ${\cal C}$ maps an integer $m$ and a binary string $x$ to an $m$-bit code $p$, and if $m$ is sufficiently large, a decompressor ${\cal D}$ reconstructs $x$ from $p$. We call a pair $(m,x)$ $\textit{achievable}$ for $({\cal C},{\cal D})$ if this reconstruction is successful. We introduce the notion of an optimal compressor ${\cal C}_\text{opt}$, by the following universality property: For any compressor-decompressor pair $({\cal C}, {\cal D})$, there exists a decompressor ${\cal D}'$ such that if $(m,x)$ is achievable for $({\cal C},{\cal D})$, then $(m+\Delta, x)$ is achievable for $({\cal C}_\text{opt}, {\cal D}')$, where $\Delta$ is some small value called the overhead. We show that there exists an optimal compressor that has only polylogarithmic overhead and works in probabilistic polynomial time. Differently said, for any pair $({\cal C}, {\cal D})$, no matter how slow ${\cal C}$ is, or even if ${\cal C}$ is non-computable, ${\cal C}_{\text{opt}}$ is a fixed compressor that in polynomial time produces codes almost as short as those of ${\cal C}$. The cost is that the corresponding decompressor is slower.
We also show that each such optimal compressor can be used for distributed compression, in which case it can achieve optimal compression rates, as given in the Slepian-Wolf theorem, and even for the Kolmogorov complexity variant of this theorem. Moreover, the overhead is logarithmic in the number of sources, and unlike previous implementations of Slepian-Wolf coding, meaningful compression can still be achieved if the number of sources is much larger than the length of the compressed strings.

[196]  arXiv:1911.04269 [pdf, ps, other]
Title: Weierstrass Semigroups From a Tower of Function Fields Attaining the Drinfeld-Vladut Bound
Comments: 32 pages
Subjects: Number Theory (math.NT); Information Theory (cs.IT)

For applications in algebraic geometric codes, an explicit description of bases of Riemann-Roch spaces of divisors on function fields over finite fields is needed. We investigate the third function field $ F^{(3)} $ in a tower of Artin-Schreier extensions described by Garcia and Stichtenoth reaching the Drinfeld-Vl{\u{a}}du{\c{t}} bound. We construct bases for the related Riemann-Roch spaces on $ F^{(3)} $ and present some basic properties of divisors on a line. From the bases, we explicitly calculate the Weierstrass semigroups and pure gaps at several places on $ F^{(3)} $. All of these results can be viewed as a generalization of the previous work done by Voss and H\o{}holdt (1997).

[197]  arXiv:1911.04270 [pdf, ps, other]
Title: Explicit decomposition of certain induced representations of the general linear group
Authors: Erez Lapid
Subjects: Representation Theory (math.RT)

We provide some experimental results on the decomposition of the parabolic induction of $\pi\otimes\pi$ in the Grothendieck group where $\pi$ is an irreducible representation of $GL_n$ over a local non-archimedean field.

[198]  arXiv:1911.04272 [pdf, ps, other]
Title: Ergodic theory of affine isometric actions on Hilbert spaces
Comments: 49 pages + appendix (10 pages)
Subjects: Dynamical Systems (math.DS); Group Theory (math.GR); Operator Algebras (math.OA); Probability (math.PR)

The classical Gaussian functor associates to every orthogonal representation of a locally compact group $G$ a probability measure preserving action of $G$ called a Gaussian action. In this paper, we generalize this construction by associating to every affine isometric action of $G$ on a Hilbert space, a one-parameter family of nonsingular Gaussian actions whose ergodic properties are related in a very subtle way to the geometry of the original action. We show that these nonsingular Gaussian actions exhibit a phase transition phenomenon and we relate it to new quantitative invariants for affine isometric actions. We use the Patterson-Sullivan theory as well as Lyons-Pemantle work on tree-indexed random walks in order to give a precise description of this phase transition for affine isometric actions of groups acting on trees. Finally, we use Gaussian actions to show that every nonamenable locally compact group without property (T) admits a free nonamenable weakly mixing action of stable type III$_1$.

[199]  arXiv:1911.04274 [pdf, ps, other]
Title: Comparison of Markov processes by the martingale comparison method
Subjects: Probability (math.PR)

Comparison results for Markov processes w.r.t. function class induced (integral) stochastic orders have a long history. The most general results so far for this problem have been obtained based on the theory of evolution systems on Banach spaces. In this paper we transfer the martingale comparison method, known for the comparison of semimartingales to Markovian semimartingales, to general Markov processes. The basic step of this martingale approach is the derivation of the supermartingale property of the linking process, giving a link between the processes to be compared. In this paper this property is achieved using in an essential way the characterization of Markov processes by the martingale problem. As a result the martingale comparison method gives a comparison result for Markov processes under a general alternative set of regularity conditions compared to the evolution system approach.

[200]  arXiv:1911.04275 [pdf, other]
Title: On Totally umbilical surfaces in the warped product $\mathbb{M}(κ)_f\times\mathbb{R}$
Comments: 15 pages
Subjects: Differential Geometry (math.DG)

In this article we classify the totally umbilical surfaces which are immersed into a wide class of Riemannian manifolds having a structure of warped product, more precisely, we show that a totally umbilical surface immersed into the warped product $\mathbb{M}(\kappa)_f\times I$ (here, $\mathbb{M}(\kappa)$ denotes the 2-dimensional space form, having constant curvature $\kappa$, $I$ an interval and $f$ the warping function) is invariant by an one-parameter group of isometries of the ambient space. We also find the first integral of the ordinary differential equation that the profile curve satisfies (we mean, the curve which generates a invariant totally umbilical surface). Moreover, we construct explicit examples of totally umbilical surfaces, invariant by one-parameter group of isometries of the ambient space, by considering certain non-trivial warping function.

[201]  arXiv:1911.04276 [pdf, ps, other]
Title: Sufficient conditions for time optimality of systems with control on the disk
Subjects: Optimization and Control (math.OC)

The case of time minimization for affine control systems with control on the disk is studied. After recalling the standard sufficient conditions for local optimality in the smooth case, the analysis focusses on the specific type of singularities encountered when the control is prescribed to the disk. Using a suitable stratification, the regularity of the flow is analyzed, which helps to devise verifiable sufficient conditions in terms of left and right limits of Jacobi fields at a switching point. Under the appropriate assumptions, piecewise regularity of the field of extremals is obtained.

[202]  arXiv:1911.04277 [pdf, ps, other]
Title: Linear Time Recognition of Equimatchable Split Graphs
Comments: 8 pages
Subjects: Combinatorics (math.CO)

A maximal matching $M$ that consists of independent edges is a subgraph of a simple and undirected graph $G$ for which $G-M$ forms an independent set. A graph $G$ is called equimatchable if all maximal matchings have the same number of edges. On the other hand, $G$ is called as a split graph if its vertices can be partitioned into two subsets for which one of them forms a clique whereas the second forms an independent set. We will give a linear time algorithm for recognition of equimatchable split graphs.

[203]  arXiv:1911.04281 [pdf, ps, other]
Title: Conjectures and results about parabolic induction of representations of $GL_n(F)$
Subjects: Representation Theory (math.RT); Number Theory (math.NT)

In 1980 Zelevinsky introduced commuting varieties whose irreducible components classify complex, irreducible representations of the general linear group over a non-archimedean local field with a given supercuspidal support. We formulate geometric conditions for certain triples of such components and conjecture that these conditions are related to irreducibility of parabolic induction. The conditions are in the spirit of the Geiss--Leclerc--Schr\"oer condition that occurs in the conjectural characterization of $\square$-irreducible representations. We verify some special cases of the new conjecture and check that the geometric and representation-theoretic conditions are compatible in various ways.

[204]  arXiv:1911.04284 [pdf, ps, other]
Title: Hard Provability Logics
Subjects: Logic (math.LO)

Let $\mathcal{PL}({\sf T},{\sf T}')$ and $\mathcal{PL}_{\Sigma_1}({\sf T},{\sf T}')$ respectively indicates the provability logic and $\Sigma_1$-provability logic of ${\sf T}$ relative in ${\sf T}'$. In this paper we characterize the following relative provability logics: $\mathcal{PL}_{\Sigma_1}({\sf HA},\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf HA},{\sf PA})$, $\mathcal{PL}_{\Sigma_1}({\sf HA}^*,\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf HA}^*,{\sf PA})$, $\mathcal{PL}({\sf PA},{\sf HA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA},{\sf HA})$, $\mathcal{PL}({\sf PA}^*,{\sf HA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA}^*,{\sf HA})$, $\mathcal{PL}({\sf PA}^*,{\sf PA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA}^*,{\sf PA})$, $\mathcal{PL}({\sf PA}^*,\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf PA}^*,\mathbb{N})$ (see Table \ref{Table-Theories}). It turns out that all of these provability logics are decidable. The notion of {\em reduction} for provability logics, first informally considered in \cite{reduction}. In this paper, we formalize a generalization of this notion (\Cref{Definition-Reduction-PL}) and provide several reductions of provability logics (See diagram \ref{Diagram-full}). The interesting fact is that $\mathcal{PL}_{\Sigma_1}({\sf HA},\mathbb{N})$ is the hardest provability logic: the arithmetical completenesses of all provability logics listed above, as well as well-known provability logics like $\mathcal{PL}({\sf PA},{\sf PA})$, $\mathcal{PL}({\sf PA},\mathbb{N})$, $\mathcal{PL}_{\Sigma_1}({\sf PA},{\sf PA})$, $\mathcal{PL}_{\Sigma_1}({\sf PA},\mathbb{N})$ and $\mathcal{PL}_{\Sigma_1}({\sf HA},{\sf HA})$ are all propositionally reducible to the arithmetical completeness of $\mathcal{PL}_{\Sigma_1}({\sf HA},\mathbb{N})$.

[205]  arXiv:1911.04287 [pdf, ps, other]
Title: Connected Domination Critical Graphs with $k-3$ Cut Vertices
Subjects: Combinatorics (math.CO)

A graph $G$ is said to be $k$-$\gamma_{c}$-critical if the connected domination number $\gamma_{c}(G)$ is equal to $k$ and $\gamma_{c}(G + uv) < k$ for any pair of non-adjacent vertices $u$ and $v$ of $G$. Let $G$ be a $k$-$\gamma_{c}$-critical graph. In \cite{A,PKNA,PKNA2}, it was proved that, for $k \geq 3$, every $k$-$\gamma_{c}$-critical graph has at most $k - 2$ cut vertices and the extremal graphs were characterized. Further, $k$-$\gamma_{c}$-critical graphs with $k - 3$ cut vertices when $k = 4$ was studied in \cite{PKNA}. In this paper, for $k \geq 5$, we characterize all $k$-$\gamma_{c}$-critical graphs having $k - 3$ cut vertices.

[206]  arXiv:1911.04288 [pdf, ps, other]
Title: Hamiltonicity of Domination Vertex-Critical Claw-Free Graphs
Subjects: Combinatorics (math.CO)

A graph $G$ is said to be $k$-$\gamma$-vertex critical if the domination numbers $\gamma(G)$ of $G$ is $k$ and $\gamma(G - v) < k$ for any vertex $v$ of $G$. Similarly, A graph $G$ is said to be $k$-$\gamma_{c}$-vertex critical if the connected domination numbers $\gamma_{c}(G)$ of $G$ is $k$ and $\gamma_{c}(G - v) < k$ for any vertex $v$ of $G$. The problem of interest is to determine whether or not $2$-connected $k$-$\gamma$-vertex critical graphs are Hamiltonian. In this paper, for all $k \geq 3$, we provide a $2$-connected $k$-$\gamma$-vertex critical graph which is non-Hamiltonian. We prove that every $2$-connected $3$-$\gamma$-vertex critical claw-free graph is Hamiltonian and the condition claw-free is necessary. For $k$-$\gamma_{c}$-vertex critical graphs, we present a new method to prove that every $2$-connected $3$-$\gamma_{c}$-vertex critical claw-free graph is Hamiltonian. Moreover, for $4 \leq k \leq 5$, we prove that every $3$-connected $k$-$\gamma_{c}$-vertex critical claw-free graph is Hamiltonian. We show that the condition claw-free is necessary by giving $k$-$\gamma_{c}$-vertex critical non-Hamiltonian graphs containing a claw as an induced subgraph for $3 \leq k \leq 5$.

[207]  arXiv:1911.04293 [pdf, ps, other]
Title: Error bound of local minima and KL property of exponent 1/2 for squared F-norm regularized factorization
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)

This paper is concerned with the squared F(robenius)-norm regularized factorization form for noisy low-rank matrix recovery problems. Under a suitable assumption on the restricted condition number of the Hessian matrix of the loss function, we establish an error bound to the true matrix for those local minima whose ranks are not more than the rank of the true matrix. Then, for the least squares loss function, we achieve the KL property of exponent 1/2 for the F-norm regularized factorization function over its global minimum set under a restricted strong convexity assumption. These theoretical findings are also confirmed by applying an accelerated alternating minimization method to the F-norm regularized factorization problem.

[208]  arXiv:1911.04295 [pdf, ps, other]
Title: On the Performance of Network NOMA in Uplink CoMP Systems: A Stochastic Geometry Approach
Subjects: Information Theory (cs.IT)

To improve the system throughput, this paper proposes a network non-orthogonal multiple access (N-NOMA) technique for the uplink coordinated multi-point transmission (CoMP). In the considered scenario, multiple base stations collaborate with each other to serve a single user, referred to as the CoMP user, which is the same as for conventional CoMP. However, unlike conventional CoMP, each base station in N-NOMA opportunistically serves an extra user, referred to as the NOMA user, while serving the CoMP user at the same bandwidth. The CoMP user is typically located far from the base stations, whereas users close to the base stations are scheduled as NOMA users. Hence, the channel conditions of the two kind of users are very distinctive, which facilitates the implementation of NOMA. Compared to the conventional orthogonal multiple access based CoMP scheme, where multiple base stations serve a single CoMP user only, the proposed N-NOMA scheme can support larger connectivity by serving the extra NOMA users, and improve the spectral efficiency by avoiding the CoMP user solely occupying the spectrum. A stochastic geometry approach is applied to model the considered N-NOMA scenario as a Poisson cluster process, based on which closed-form analytical expressions for outage probabilities and ergodic rates are obtained. Numerical results are presented to show the accuracy of the analytical results and also demonstrate the superior performance of the proposed N-NOMA scheme.

[209]  arXiv:1911.04296 [pdf, ps, other]
Title: Cardinal invariants and convergence properties of locally minimal groups
Subjects: General Topology (math.GN); Group Theory (math.GR)

If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that |S|=w(G)=w(K).
Items (i)--(iii) hold when G is a dense locally minimal subgroup of K. We show that locally minimal, locally precompact abelian groups of countable tightness are metrizable. In particular, a minimal abelian group of countable tightness is metrizable. This answers a question of O. Okunev posed in 2007.
For every uncountable cardinal kappa, we construct a Frechet-Urysohn minimal group G of character kappa such that the connected component of G is an open normal omega-bounded subgroup (thus, G is locally precompact). We also build a minimal nilpotent group of nilpotency class 2 without non-trivial convergent sequences having an open normal countably compact subgroup.

[210]  arXiv:1911.04297 [pdf, ps, other]
Title: Collision-Free Trajectory Design for 2D Persistent Monitoring Using Second-Order Agents
Comments: 13 pages arXiv, to be published in IEEE Transactions on Control of Network Systems
Subjects: Optimization and Control (math.OC)

This paper considers a two-dimensional persistent monitoring problem by controlling movements of second-order agents to minimize some uncertainty metric associated with targets in a dynamic environment. In contrast to common sensing models depending only on the distance from a target, we introduce an active sensing model which considers the distance between an agent and a target, as well as the agent's velocity. We propose an objective function which can achieve a collision-free agent trajectory by penalizing all possible collisions. Applying structural properties of the optimal control derived from the Hamiltonian analysis, we limit agent trajectories to a simpler parametric form under a family of 2D curves depending on the problem setting, e.g. ellipses and Fourier trajectories. Our collision-free trajectories are optimized through an event-driven Infinitesimal Perturbation Analysis (IPA) and gradient descent method. Although the solution is generally locally optimal, this method is computationally efficient and offers an alternative to other traditional time-driven methods. Finally, simulation examples are provided to demonstrate our proposed results.

[211]  arXiv:1911.04299 [pdf, ps, other]
Title: Multi-agent interaction and nonlinear Markov games
Comments: This is the final draft of the 1st part of the authors' book 'Many agent games in socio-economic systems: corruption, inspection, coalition building, network growth, security' published by Springer in the Springer Series on Operational Research, 2019
Subjects: Optimization and Control (math.OC)

The general picture of game theoretic modeling dealt with here is characterized by a set of big players, also referred to as principals or major agents, acting on the background of large pools of small players, the impact of the behavior of each small player in a group on the overall evolution decreasing with the increase of the size of the group. In this Part I approach players in groups are not independent rational optimizers. They are either directly controlled by principals and serve the interests of the latter (pressure and collaboration setting) or they resist the actions of the principals (pressure and resistance setting) by evolving their strategies in an 'evolutionary manner' via interactions with other players subject to certain clear rules, deterministic or stochastic. The examples of the real world problems involved include government representatives (often referred to in the literature as benevolent dictators) chasing corrupted bureaucrats, inspectors chasing tax-paying avoidance, police acting against terrorist groups or models describing the attacks of computer or biological viruses. Other class of examples concerns appropriate (or better optimal) management of complex stochastic systems consisting of large number of interacting components (agents, mechanisms, vehicles, subsidiaries, species, police units, robot swarms, etc), which may have competitive or common interests. Such management can also deal with the processes of merging and splitting of functional units (say, firms or banks) or the coalition building of agents. The actions of the big players effectively control the distribution of small players among their possible strategies and can influence the rules of their interaction.

[212]  arXiv:1911.04300 [pdf, other]
Title: Comparing the best reply strategy and mean field games: the stationary case
Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)

Mean field games (MFGs) and the best reply strategy (BRS) are two methods of describing competitive optimisation of systems of interacting agents. The latter can be interpreted as an approximation of the respective MFG system. In this paper we present a systematic analysis and comparison of the two approaches in the stationary case. We provide novel existence and uniqueness results for the stationary boundary value problems related to the MFG and BRS formulations, and we present an analytical and numerical comparison of the two paradigms in a variety of modelling situations.

[213]  arXiv:1911.04302 [pdf, other]
Title: A critical point analysis of Landau--Ginzburg potentials with bulk in Gelfand--Cetlin systems
Comments: 30 pages, 6 figures, Following a journal editors' suggestion, we split our previous posting arXiv:1704.07213. This article is a revised and improved version of Part 2 of arXiv:1704.07213
Subjects: Symplectic Geometry (math.SG)

Using the bulk-deformation of Floer cohomology by Schubert cycles and non-Archimedean analysis of Fukaya--Oh--Ohta--Ono's bulk-deformed potential function, we prove that every complete flag manifold $\mathrm{Fl}(n)$ ($n \geq 3$) with a monotone Kirillov--Kostant--Souriau symplectic form carries a continuum of non-displaceable Lagrangian tori which degenerates to a non-torus fiber in the Hausdorff limit. In particular, the Lagrangian $S^3$-fiber in $\mathrm{Fl}(3)$ is non-displaceable, answering the question of which was raised by Nohara--Ueda who computed its Floer cohomology to be vanishing.

[214]  arXiv:1911.04303 [pdf, other]
Title: Monoidal abelian envelopes and a conjecture of Benson--Etingof
Subjects: Representation Theory (math.RT); Category Theory (math.CT)

We give several criteria to decide whether a given tensor category is the abelian envelope of a fixed symmetric monoidal category. Benson and Etingof conjectured that a certain limit of finite symmetric tensor categories is tensor equivalent to the finite dimensional representations of $SL_2$ in characteristic $2$. We use our results on the abelian envelopes to prove this conjecture.

[215]  arXiv:1911.04304 [pdf, other]
Title: Existence of period-3 orbits and border-collision bifurcations in n-dimensional piecewise linear continuous maps
Subjects: Dynamical Systems (math.DS)

Piecewise linear recurrent neural networks (PLRNNs) form the basis of many successful machine learning applications for time series prediction and dynamical systems identification, but rigorous mathematical analysis of their dynamics and properties is lagging behind. Here we make a contribution to this topic by investigating the existence of period-3 orbits and border-collision bifurcations in n-dimensional piecewise linear continuous maps, extending previous results for period-1 and period-2 orbits. This is particularly important as for one-dimensional maps the existence of period-3 orbits implies chaos. It is shown that these period-3 orbits collide with the switching boundary in a border-collision bifurcation, and parametric regions for the existence of both stable and unstable period-3 orbits and border-collision bifurcations will be derived theoretically. These results are graphically summarized in a classification tree. Finally, numerical simulations demonstrate the implementation of our results and are found to be in good agreement with the theoretical derivations. Our findings thus provide a basis for understanding limit cycle behavior in PLRNNs, how it emerges in bifurcations, and how it may lead into chaos.

[216]  arXiv:1911.04310 [pdf, ps, other]
Title: Riemann surfaces of genus $1+q^2$ with $3q^2$ automorphisms
Comments: 25 pages
Subjects: Algebraic Geometry (math.AG)

In this article we classify compact Riemann surfaces of genus $1+q^2$ with a group of automorphisms of order $3q^2,$ where $q$ is a prime number. We also study decompositions of the corresponding Jacobian varieties.

[217]  arXiv:1911.04315 [pdf, ps, other]
Title: Incompressible limit of the Ericksen-Leslie hyperbolic liquid crystal model in compressible flow
Comments: 49 pages
Subjects: Analysis of PDEs (math.AP)

We justify the incompressible limit of the Ericksen-Leslie hyperbolic liquid crystal model in compressible flow in the framework of classical solutions. We first derive the uniform energy estimates on the Mach number $\eps$ for both the compressible system and its differential system with respect to time under uniformly in $\eps$ small initial data. Then, based on these uniform estimates, we pass to the limit $\eps \rightarrow 0$ in the compressible system, so that we establish the global classical solution of the incompressible system by the compactness arguments. Moreover, we also obtain the convergence rates associated with $L^2$-norm in the case of well-prepared initial data.

[218]  arXiv:1911.04321 [pdf, ps, other]
Title: Sobolev spaces in extended metric-measure spaces
Authors: Giuseppe Savaré
Comments: 126 pages
Subjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Metric Geometry (math.MG)

These lecture notes contain an extended version of the material presented in the C.I.M.E. summer course in 2017, aiming to give a detailed introduction to the metric Sobolev theory.
The notes are divided in four main parts. The first one is devoted to a preliminary study of the underlying topological, metric, and measure-theoretic aspects of a general extended metric-topological measure space $\mathbb X=(X,\tau,\mathsf d,\mathfrak m)$.
The second part is devoted to the construction of the Cheeger energy, initially defined on a distinguished unital algebra of Lipschitz functions.
The third part deals with the basic tools needed for the dual characterization of the Sobolev spaces: the notion of $p$-Modulus of a collection of (nonparametric) rectifiable arcs and its duality with the class of nonparametric dynamic plans, i.e.~Radon measures on the space of rectifiable arcs with finite $q$-barycentric entropy with respect to $\mathfrak m$.
The final part of the notes is devoted to the dual/weak formulation of the Sobolev spaces $W^{1,p}(\mathbb X)$ in terms of nonparametric dynamic plans and to their relations with the Newtonian spaces $N^{1,p}(\mathbb X)$ and with the spaces $H^{1,p}(\mathbb X)$ obtained by the Cheeger construction. In particular, when $(X,\mathsf d)$ is complete, a new proof of the equivalence between these approaches is given by a direct duality argument.
A substantial part of these Lecture notes relies on well established theories. New contributions concern the extended metric setting, the role of general compatible algebras of Lipschitz functions and their density w.r.t.~the Sobolev energy, a compactification trick, the study of reflexivity and infinitesimal Hilbertianity inherited from the underlying space, and the use of nonparametric dynamic plans for the definition of weak upper gradients.

[219]  arXiv:1911.04327 [pdf, other]
Title: Large-Order Asymptotics for Multiple-Pole Solitons of the Focusing Nonlinear Schrodinger Equation II: Far-Field Behavior
Comments: 38 pages, 14 figures
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)

The integrable focusing nonlinear Schrodinger equation admits soliton solutions whose associated spectral data consist of a single pair of conjugate poles of arbitrary order. We study families of such multiple-pole solitons generated by Darboux transformations as the pole order tends to infinity. We show that in an appropriate scaling, there are four regions in the space-time plane where solutions display qualitatively distinct behaviors: an exponential-decay region, an algebraic-decay region, a non-oscillatory region, and an oscillatory region. Using the nonlinear steepest-descent method for analyzing Riemann-Hilbert problems, we compute the leading-order asymptotic behavior in the algebraic-decay, non-oscillatory, and oscillatory regions.

[220]  arXiv:1911.04331 [pdf, ps, other]
Title: Poisson Cohomology of holomorphic toric Poisson manifolds. II
Authors: Wei Hong
Subjects: Algebraic Geometry (math.AG); Quantum Algebra (math.QA); Symplectic Geometry (math.SG)

In this paper, we give a description of holomorphic multi-vector fields on smooth compact toric varieties, which generalizes Demazure's result of holomorphic vector fields on toric varieties. Based on the result, we compute the Poisson cohomology groups of holomorphic toric Poisson manifolds, i.e., toric varieties endowed with $T$-invariant holomorphic Poisson structures.

[221]  arXiv:1911.04334 [pdf, ps, other]
Title: Stochastic Difference-of-Convex Algorithms for Solving nonconvex optimization problems
Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

The paper deals with stochastic difference-of-convex functions programs, that is, optimization problems whose cost function is a sum of a lower semicontinuous difference-of-convex function and the expectation of a stochastic difference-of-convex function with respect to a probability distribution. This class of nonsmooth and nonconvex stochastic optimization problems plays a central role in many practical applications. While in the literature there are many contributions dealing with convex and/or smooth stochastic optimizations problems, there is still a few algorithms dealing with nonconvex and nonsmooth programs. In deterministic optimization literature, the Difference-of-Convex functions Algorithm (DCA) is recognized to be one of a few algorithms to solve effectively nonconvex and nonsmooth optimization problems. The main purpose of this paper is to present some new stochastic variants of DCA for solving stochastic difference-of-convex functions programs. The convergence analysis of the proposed algorithms are carefully studied.

[222]  arXiv:1911.04341 [pdf, ps, other]
Title: A Minimal Contrast Estimator for the Linear Fractional Stable Motion
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)

In this paper we present an estimator for the three-dimensional parameter $(\sigma, \alpha, H)$ of the linear fractional stable motion, where $H$ represents the self-similarity parameter, and $(\sigma, \alpha)$ are the scaling and stability parameters of the driving symmetric L\'evy process $L$. Our approach is based upon a minimal contrast method associated with the empirical characteristic function combined with a ratio type estimator for the selfsimilarity parameter $H$. The main result investigates the strong consistency and weak limit theorems for the resulting estimator. Furthermore, we propose several ideas to obtain feasible confidence regions in various parameter settings. Our work is mainly related to [16, 18], in which parameter estimation for the linear fractional stable motion and related L\'evy moving average processes has been studied.

[223]  arXiv:1911.04345 [pdf, other]
Title: Thom spectra, higher $THH$ and tensors in $\infty$-categories
Comments: 36 pages
Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

Let $f:G\to \mathrm{Pic}(R)$ be a map of $E_\infty$-groups, where $\mathrm{Pic}(R)$ denotes the Picard space of an $E_\infty$-ring spectrum $R$. We determine the tensor $X\otimes_R Mf$ of the Thom $E_\infty$-$R$-algebra $Mf$ with a space $X$; when $X$ is the circle, the tensor with $X$ is topological Hochschild homology over $R$. We use the theory of localizations of $\infty$-categories as a technical tool: we contribute to this theory an $\infty$-categorical analogue of Day's reflection theorem about closed symmetric monoidal structures on localizations, and we prove that for a smashing localization $L$ of the $\infty$-category of presentable $\infty$-categories, the free $L$-local presentable $\infty$-category on a small simplicial set $K$ is given by presheaves on $K$ valued on the $L$-localization of the $\infty$-category of spaces.
If $X$ is a pointed space, a map $g: A\to B$ of $E_\infty$-ring spectra satisfies $X$-base change if $X\otimes B$ is the pushout of $A\to X\otimes A$ along $g$. Building on a result of Mathew, we prove that if $g$ is \'etale then it satisfies $X$-base change provided $X$ is connected. We prove that, under some hypotheses, the Thom isomorphism of Mahowald cannot be an instance of $S^0$-base change.

[224]  arXiv:1911.04346 [pdf, ps, other]
Title: A note on Franel numbers and $SU(3)$
Subjects: Mathematical Physics (math-ph)

We study weight multiplicities in tensor powers of the adjoint representation of $SU(3)$ and relate them to Franel numbers.

[225]  arXiv:1911.04347 [pdf, other]
Title: A structure-preserving FEM for the uniaxially constrained $\mathbf{Q}$-tensor model of nematic liquid crystals
Subjects: Numerical Analysis (math.NA)

We consider the one-constant Landau - de Gennes model for nematic liquid crystals. The order parameter is a traceless tensor field $\mathbf{Q}$, which is constrained to be uniaxial: $\mathbf{Q} = s (\mathbf{n}\otimes\mathbf{n} - d^{-1} \mathbf{I})$ where $\mathbf{n}$ is a director field, $s\in\mathbb{R}$ is the degree of orientation, and $d\ge2$ is the dimension. Building on similarities with the one-constant Ericksen energy, we propose a structure-preserving finite element method for the computation of equilibrium configurations. We prove stability and consistency of the method without regularization, and $\Gamma$-convergence of the discrete energies towards the continuous one as the mesh size goes to zero. We design an alternating direction gradient flow algorithm for the solution of the discrete problems, and we show that such a scheme decreases the energy monotonically. Finally, we illustrate the method's capabilities by presenting some numerical simulations in two and three dimensions including non-orientable line fields.

[226]  arXiv:1911.04348 [pdf, other]
Title: Optimal partitions and Semi-discrete optimal transport
Authors: Gershon Wolansky
Comments: 220 pages, 10 figures
Subjects: Optimization and Control (math.OC); Information Theory (cs.IT); Theoretical Economics (econ.TH)

In the current book I suggest an off-road path to the subject of optimal transport. I tried to avoid prior knowledge of analysis, PDE theory and functional analysis, as much as possible. Thus I concentrate on discrete and semi-discrete cases, and always assume compactness for the underlying spaces. However, some fundamental knowledge of measure theory and convexity is unavoidable. In order to make it as self-contained as possible I included an appendix with some basic definitions and results. I believe that any graduate student in mathematics, as well as advanced undergraduate students, can read and understand this book. Some chapters (in particular in Parts II\&III ) can also be interesting for experts. Starting with the the most fundamental, fully discrete problem I attempted to place optimal transport as a particular case of the celebrated stable marriage problem. From there we proceed to the partition problem, which can be formulated as a transport from a continuous space to a discrete one. Applications to information theory and game theory (cooperative and non-cooperative) are introduced as well.
Finally, the general case of transport between two compact measure spaces is introduced as a coupling between two semi-discrete transports.

[227]  arXiv:1911.04349 [pdf, ps, other]
Title: Unconditional uniqueness of solutions for nonlinear dispersive equations
Authors: Nobu Kishimoto
Comments: 31 pages
Subjects: Analysis of PDEs (math.AP)

When a solution to the Cauchy problem for nonlinear dispersive equations is obtained by a fixed point argument using auxiliary function spaces, uniqueness of solutions in a natural space (e.g., space of continuous functions with values in the same Banach space as initial data), which is called unconditional uniqueness, becomes a non-trivial property, and showing that often requires some additional work. In the last decade, unconditional uniqueness for some canonical nonlinear dispersive equations such as the Korteweg-de Vries equation and nonlinear Schr\"odinger (NLS) equations has been shown by an integration-by-parts (in time) technique, which can be regarded as a variant of the normal form reduction. In this article, we aim to provide an abstract framework for establishing unconditional uniqueness via the infinite normal form reduction argument. In particular, in an abstract setting we find two sets of fundamental estimates which can be iterate to automatically verify all multilinear estimates of arbitrarily high degrees required in this scheme. To ensure their convenience and wide applicability, we apply them to various nonlinear dispersive equations, including higher-dimensional NLS, cubic NLS with fractional Laplacians, cubic derivative NLS, and the Zakharov system, and obtain new results on unconditional uniqueness for these equations under the periodic boundary condition.

[228]  arXiv:1911.04350 [pdf, ps, other]
Title: Recurrence versus Transience for Weight-Dependent Random Connection Models
Comments: 25 pages. arXiv admin note: text overlap with arXiv:math/0110296 by other authors
Subjects: Probability (math.PR)

We investigate a large class of random graphs on the points of a Poisson process in $d$-dimensional space, which combine scale-free degree distributions and long-range effects. Every Poisson point carries an independent random weight and given weight and position of the points we form an edge between two points independently with a probability depending on the two weights and the distance of the points. In dimensions $d\in\{1,2\}$ we completely characterise recurrence vs transience of random walks on the infinite cluster. In $d\geq 3$ we prove transience in all cases except for a regime where we conjecture that scale-free and long-range effects play no role. Our results are particularly interesting for the special case of the age-dependent random connection model recently introduced in [GRACAR, P., et al. The age-dependent random connection model. arXiv preprint arXiv:1810.03429, 2018].

[229]  arXiv:1911.04352 [pdf, ps, other]
Title: A novel class of stabilized greedy kernel approximation algorithms: Convergence, stability & uniform point distribution
Subjects: Numerical Analysis (math.NA)

Kernel based methods provide a way to reconstruct potentially high-dimensional functions from meshfree samples, i.e., sampling points and corresponding target values. A crucial ingredient for this to be successful is the distribution of the sampling points. Since the computation of an optimal selection of sampling points may be an infeasible task, one promising option is to use greedy methods.
Although these methods may be very effective, depending on the specific greedy criterion the chosen points might quickly lead to instabilities in the computation. To circumvent this problem, we introduce and investigate a new class of \textit{stabilized} greedy kernel algorithms, which can be used to create a scale of new selection strategies.
We analyze these algorithms, and in particular we prove convergence results and quantify in a precise way the distribution of the selected points. These results allow to prove, in the case of certain Sobolev kernels, that the algorithms have optimal stability and optimal convergence rates, including for functions outside the native space of the kernel. The results also apply to the case of the usual $P$-greedy algorithm, significantly improving state-of-the-art results available in the literature. Illustrative experiments are presented that support the theoretical findings.

[230]  arXiv:1911.04355 [pdf, ps, other]
Title: The Crisanti-Sommers Formula for Spherical Spin Glasses with Vector Spins
Authors: Justin Ko
Subjects: Probability (math.PR)

We obtain the analogue of the Crisanti-Sommers variational formula for spherical spin glasses with vector spins. This formula is derived from the discrete Parisi variational formula for the limit of the free energy of constrained copies of spherical spin glasses. In vector spin models, the variations of the functional order parameters must preserve the monotonicity of matrix paths which introduces a new challenge in contrast to the derivation of the classical Crisanti-Sommers formula.

[231]  arXiv:1911.04358 [pdf, ps, other]
Title: Minimal colorings for properly colored subgraphs in complete graphs
Comments: 17 pages
Subjects: Combinatorics (math.CO)

Let $pr(K_{n}, G)$ be the maximum number of colors in an edge-coloring of $K_{n}$ with no properly colored copy of $G$. In this paper, we show that $pr(K_{n}, G)-ex(n, \mathcal{G'})=o(n^{2}), $ where $\mathcal{G'}=\{G-M: M \text{ is a matching of }G\}$. Furthermore, we determine the value of $pr(K_{n}, P_{l})$ for $l\ge 27$ and $n\ge 2l^{3}$ and the exact value of $pr(K_{n}, G)$, where $G$ is $C_{5}, C_{6}$ and $K_{4}^{-}$, respectively. Also, we give an upper bound and a lower bound of $pr(K_{n}, K_{2,3})$.

[232]  arXiv:1911.04363 [pdf, ps, other]
Title: Global, local and dense non-mixing of the 3D Euler equation
Comments: 22 pages
Subjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP)

We prove a non-mixing property of the flow of the 3D Euler equation which has a local nature: in any neighbourhood of a "typical" steady solution there is a generic set of initial conditions, such that the corresponding Euler flows will never enter a vicinity of the original steady one. More precisely, we establish that there exist stationary solutions $u_0$ of the Euler equation on $\mathbb S^3$ and divergence-free vector fields $v_0$ arbitrarily close to $u_0$, whose (non-steady) evolution by the Euler flow cannot converge in the $C^k$ H\"older norm ($k>10$ non-integer) to any stationary state in a small (but fixed a priori) $C^k$-neighbourhood of $u_0$. The set of such initial conditions $v_0$ is open and dense in the vicinity of $u_0$. A similar (but weaker) statement also holds for the Euler flow on $\mathbb T^3$. Two essential ingredients in the proof of this result are a geometric description of all steady states near certain nondegenerate stationary solutions, and a KAM-type argument to generate knotted invariant tori from elliptic orbits.

[233]  arXiv:1911.04364 [pdf, other]
Title: The Lagrangian Mechanics and Pseudo-Periodicity of The Many-Body Planar Pendulum System
Authors: Sergio Charles
Subjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP)

We present the Euler--Langrage equations for a many-body system of coupled planar pendulums. Hence, imposing initial condition data, the equations of motion are linearized and later developed in an idealized model for the pseudo-periodicity of the system as a function of the number of pendulums $N$. The result is empirically corroborated by comparing the model with data obtained via a numerical simulation, and by employing Kane's Method integrator in Python.

[234]  arXiv:1911.04371 [pdf, ps, other]
Title: Bottom of spectra and coverings
Comments: 29 pages
Subjects: Differential Geometry (math.DG); Spectral Theory (math.SP)

We discuss the behaviour of the bottom of the spectrum of scalar Schr\"odinger operators under Riemannian coverings.

[235]  arXiv:1911.04373 [pdf, ps, other]
Title: A Combinatorial Formula for Kazhdan-Lusztig Polynomials of $ρ$-Removed Uniform Matroids
Subjects: Combinatorics (math.CO)

Let $\rho$ be a non-negative integer. A $\rho$-removed uniform matroid is a matroid obtained from a uniform matroid by removing a collection of $\rho$ disjoint bases. We present a combinatorial formula for Kazhdan-Lusztig polynomials of $\rho$-removed uniform matroids, using skew Young Tableaux. Even for uniform matroids, our formula is new, gives manifestly positive integer coefficients, and is more manageable than known formulas.

[236]  arXiv:1911.04375 [pdf, ps, other]
Title: Quasisymmetric orbit-flexibility of multicritical circle maps
Comments: 36 pages
Subjects: Dynamical Systems (math.DS)

Two given orbits of a minimal circle homeomorphism $f$ are said to be geometrically equivalent if there exists a quasisymmetric circle homeomorphism identifying both orbits and commuting with $f$. By a well-known theorem due to Herman and Yoccoz, if $f$ is a smooth diffeomorphism with Diophantine rotation number, then any two orbits are geometrically equivalent. As it follows from results of Herman and Swiatek, the same holds if $f$ is a critical circle map with rotation number of bounded type. By contrast, we prove in the present paper that if $f$ is a critical circle map whose rotation number belongs to a certain full Lebesgue measure set in $(0,1)$, then the number of equivalence classes is uncountable (Theorem A). The proof of this result relies on the ergodicity of a two-dimensional skew product over the Gauss map. As a by-product of our techniques, we construct topological conjugacies between multicritical circle maps which are not quasisymmetric, and we show that this phenomenon is abundant, both from the topological and measure-theoretical viewpoints (Theorems B and C).

[237]  arXiv:1911.04377 [pdf, ps, other]
Title: Markov chains in random environment with applications in queueing theory and machine learning
Comments: 27 pages
Subjects: Probability (math.PR); Statistics Theory (math.ST); Data Analysis, Statistics and Probability (physics.data-an); Machine Learning (stat.ML)

We prove the existence of limiting distributions for a large class of Markov chains on a general state space in a random environment. We assume suitable versions of the standard drift and minorization conditions. In particular, the system dynamics should be contractive on the average with respect to the Lyapunov function and large enough small sets should exist with large enough minorization constants. We also establish that a law of large numbers holds for bounded functionals of the process. Applications to queuing systems and to machine learning algorithms are presented.

[238]  arXiv:1911.04390 [pdf, other]
Title: Least-squares solutions of boundary-value problems in hybrid systems
Comments: 15 pages, 7 figures, 5 tables
Subjects: Optimization and Control (math.OC)

This paper looks to apply the mathematical framework of the Theory of Functional Connections to the solution of boundary-value problems arising from hybrid systems. The Theory of Functional Connections is a technique to derive constrained expressions which are analytical expressions with embedded constraints. These expressions are particularly suitable to transform a large class of constrained optimization problems into unconstrained problems. The initial and most useful application of this technique is in the solution of differential equations where the problem can be posed as an unconstrained optimization problem and solved with simple numerical techniques (i.e. least-squares).
A hybrid system is simply a sequence of different differential equations. The approach developed in this work derives an analytical constrained expression for the entire range of a hybrid system, enforcing both the boundary conditions as well as the continuity conditions across the sequence of differential equations. This reduces the searched solution space of the hybrid system to only admissible solutions. The transformation allows for a least-squares solution of the sequence for linear differential equations and a iterative least-squares solution for nonlinear differential equations.
Lastly, the general formulation for "n" segments is developed and validation is provided through numerical tests for three differential equation sequences: linear/linear, linear/nonlinear, and nonlinear/nonlinear. The accuracy level obtained are all at machine-error, which is consistent with the accuracy experienced in past studies on the application of the Theory of Functional Connections to solve single ordinary differential equations.

[239]  arXiv:1911.04392 [pdf, ps, other]
Title: Discrete variants of Brunn-Minkowski type inequalities
Comments: 9 pages
Subjects: Metric Geometry (math.MG); Probability (math.PR)

We present an alternative, short proof of a recent discrete version of the Brunn-Minkowski inequality due to Lehec and the second named author. Our proof also yields the four functions theorem of Ahlswede and Daykin as well as some new variants.

[240]  arXiv:1911.04394 [pdf, ps, other]
Title: On the log minimal model program for $3$-folds over imperfect fields of characteristic $p>5$
Subjects: Algebraic Geometry (math.AG)

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal rays, and the existence of log minimal models. As well as pertaining to the geometry of fibrations of relative dimension $3$ over algebraically closed fields, they have applications to the equivalence of weak and strong $F$-regularity in dimension $4$.

[241]  arXiv:1911.04401 [pdf, other]
Title: Decomposing groups by codimension-1 subgroups
Authors: Nansen Petrosyan
Comments: 10 pages
Subjects: Group Theory (math.GR)

The paper is concerned with Kropholler's conjecture on splitting a finitely generated group over a codimension-1 subgroup. For a subgroup H of a group G, we define the notion finite splitting height which generalises the finite-height property. By considering the dual CAT(0) cube complex associated to a codimension-1 subgroup H in G, we show that the Kropholler-Roller conjecture holds when H has finite splitting height in G. Examples of subgroups of finite height are stable subgroups or more generally strongly quasiconvex subgroups. Examples of subgroups of finite splitting height include relatively quasiconvex subgroups of relatively hyperbolic groups with virtually polycyclic peripheral subgroups. In particular, our results extend Stallings' theorem and generalise a theorem of Sageev on decomposing a hyperbolic group by quasiconvex subgroups.

[242]  arXiv:1911.04405 [pdf, ps, other]
Title: Non-uniform dependence for Euler equations in Besov spaces
Authors: Jose Pastrana
Subjects: Analysis of PDEs (math.AP)

We prove the non-uniform continuity of the data-to-solution map of the incompressible Euler equations in Besov spaces $B_{p,q}^{s}$, where the parameters $p, q$ and $s$ considered here are such that the local existence and uniqueness result holds.

[243]  arXiv:1911.04407 [pdf, other]
Title: Triangulations of non-archimedean curves, semi-stable reduction, and ramification
Comments: 40 pages, 6 figures
Subjects: Algebraic Geometry (math.AG)

Let $K$ be a complete discretely valued field with algebraically closed residue field and let $\mathfrak C$ be a smooth projective and geometrically connected algebraic $K$-curve of genus $g$. Assume that $g\geq 2$, so that there exists a minimal finite Galois extension $L$ of $K$ such that $\mathfrak C_L$ admits a semi-stable model. In this paper, we study the extension $L|K$ in terms of the \emph{minimal triangulation} of $C$, a distinguished finite subset of the Berkovich analytification $C$ of $\mathfrak C$. We prove that the least common multiple $d$ of the multiplicities of the points of the minimal triangulation always divides the degree $[L:K]$. Moreover, if $d$ is prime to the residue characteristic of $K$, then we show that $d=[L:K]$, obtaining a new proof of a classical theorem of Saito. We then discuss curves with marked points, which allows us to prove analogous results in the case of elliptic curves, whose minimal triangulations we describe in full in the tame case. In the last section, we illustrate through several examples how our results explain the failure of the most natural extensions of Saito's theorem to the wildly ramified case.

[244]  arXiv:1911.04412 [pdf, ps, other]
Title: Existence and nonexistence of global solutions for a structurally damped wave system with power nonlinearities
Authors: Tuan Anh Dao
Comments: 17 pages. arXiv admin note: text overlap with arXiv:1911.01946
Subjects: Analysis of PDEs (math.AP)

Our interest itself of this paper is strongly inspired from an open problem in the paper [1] published by D'Abbicco. In this article, we would like to study the Cauchy problem for a weakly coupled system of semi-linear structurally damped wave equations. Main goal is to find the threshold, which classifies the global (in time) existence of small data solutions or the nonexistence of global solutions under the growth condition of the nonlinearities.

[245]  arXiv:1911.04413 [pdf, ps, other]
Title: On the subgraph query problem
Subjects: Combinatorics (math.CO)

Given a fixed graph $H$, a real number $p\in(0,1)$, and an infinite Erd\H{o}s-R\'enyi graph $G\sim G(\infty,p)$, how many adjacency queries do we have to make to find a copy of $H$ inside $G$ with probability $1/2$? Determining this number $f(H,p)$ is a variant of the {\it subgraph query problem} introduced by Ferber, Krivelevich, Sudakov, and Vieira. For every graph $H$, we improve the trivial upper bound of $f(H,p) = O(p^{-d})$, where $d$ is the degeneracy of $H$, by exhibiting an algorithm that finds a copy of $H$ in time $o(p^{-d})$ as $p$ goes to $0$. Furthermore, we prove that there are $2$-degenerate graphs which require $p^{-2+o(1)}$ queries, showing for the first time that there exist graphs $H$ for which $f(H,p)$ does not grow like a constant power of $p^{-1}$ as $p$ goes to $0$. Finally, we answer a question of Feige, Gamarnik, Neeman, R\'acz, and Tetali by showing that for any $\delta < 2$, there exists $\alpha < 2$ such that one cannot find a clique of order $\alpha \log_2 n$ in $G(n,1/2)$ in $n^\delta$ queries.

[246]  arXiv:1911.04415 [pdf, other]
Title: Revisiting the Approximate Carathéodory Problem via the Frank-Wolfe Algorithm
Comments: 15 pages and 2 figures
Subjects: Optimization and Control (math.OC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)

The approximate Carath\'eodory theorem states that given a polytope $\mathcal{P}$, each point in $\mathcal{P}$ can be approximated within $\epsilon$-accuracy in $\ell_p$-norm as the convex combination of $\mathcal{O}(pD_p^2/\epsilon^2)$ vertices, where $p\geq2$ and $D_p$ is the diameter of $\mathcal{P}$ in $\ell_p$-norm. A solution satisfying these properties can be built using probabilistic arguments [Barman, 2015] or by applying mirror descent to the dual problem [Mirrokni et al., 2017]. We revisit the approximate Carath\'eodory problem by solving the primal problem via the Frank-Wolfe algorithm, providing a simplified analysis and leading to an efficient practical method. Sublinear to linear sparsity bounds are derived naturally using existing convergence results of the Frank-Wolfe algorithm in different scenarios.

[247]  arXiv:1911.04419 [pdf, ps, other]
Title: Spectral radius of semi-Hilbertian space operators and its applications
Authors: Kais Feki
Comments: It is submitted to a research journal since 24 September 2019
Subjects: Functional Analysis (math.FA)

In this paper, we aim to introduce the notion of the spectral radius of bounded linear operators acting on a complex Hilbert space $\mathcal{H}$, which are bounded with respect to the seminorm induced by a positive operator $A$ on $\mathcal{H}$. Mainly, we show that $r_A(T)\leq \omega_A(T)$ for every $A$-bounded operator $T$, where $r_A(T)$ and $\omega_A(T)$ denote respectively the $A$-spectral radius and the $A$-numerical radius of $T$. This allows to establish that $r_A(T)=\omega_A(T)=\|T\|_A$ for every $A$-normaloid operator $T$, where $\|T\|_A$ is denoted to be the $A$-operator seminorm of $T$. Moreover, some characterizations of $A$-normaloid and $A$-spectraloid operators are given.

[248]  arXiv:1911.04421 [pdf, other]
Title: Gradient of the single layer potential and quantitative rectifiability for general Radon measures
Authors: Carmelo Puliatti
Comments: 56 pages
Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)

We identify a set of sufficient local conditions under which a significant portion of a Radon measure $\mu$ on $\mathbb{R}^{n+1}$ with compact support can be covered by an $n$-uniformly rectifiable set at the level of a ball $B\subset \mathbb{R}^{n+1}$ such that $\mu(B)\approx r(B)^n$. This result involves a flatness condition, formulated in terms of the so-called $\beta_1$-number of $B$, and the $L^2(\mu|_B)$-boundedness, as well as a control on the mean oscillation on the ball, of the operator \begin{equation} T_\mu f(x)=\int \nabla_x\mathcal{E}(x,y)f(y)\,d\mu(y). \end{equation} Here $\mathcal{E}(\cdot,\cdot)$ is the fundamental solution for a uniformly elliptic operator in divergence form associated with an $(n+1)\times(n+1)$ matrix with H\"older continuous coefficients. This generalizes a work by Girela-Sarri\'on and Tolsa for the $n$-Riesz transform. The motivation for our result stems from a two-phase problem for the elliptic harmonic measure.

[249]  arXiv:1911.04443 [pdf, other]
Title: Bundle Method Sketching for Low Rank Semidefinite Programming
Comments: 8 pages, 1 figure
Subjects: Optimization and Control (math.OC); Machine Learning (stat.ML)

In this paper, we show that the bundle method can be applied to solve semidefinite programming problems with a low rank solution without ever constructing a full matrix. To accomplish this, we use recent results from randomly sketching matrix optimization problems and from the analysis of bundle methods. Under strong duality and strict complementarity of SDP, we achieve $\tilde{O}(\frac{1}{\epsilon})$ convergence rates for both the primal and the dual sequences, and the algorithm proposed outputs a $O(\sqrt{\epsilon})$ approximate solution $\hat{X}$ (measured by distances) with a low rank representation with at most $\tilde{O}(\frac{1}{\epsilon})$ many iterations.

[250]  arXiv:1911.04458 [pdf, other]
Title: Scaling limit of soliton lengths in a multicolor box-ball system
Comments: 47 pages, 10 figures
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO); Cellular Automata and Lattice Gases (nlin.CG); Exactly Solvable and Integrable Systems (nlin.SI)

The box-ball systems are integrable cellular automata whose long-time behavior is characterized by the soliton solutions, and have rich connections to other integrable systems such as Korteweg-de Veris equation. In this paper, we consider multicolor box-ball system with two types of random initial configuration and obtain the scaling limit of the soliton lengths as the system size tends to infinity. Our analysis is based on modified Greene-Kleitman invariants for the box-ball systems and associated circular exclusion processes.

[251]  arXiv:1911.04463 [pdf, ps, other]
Title: The tropical critical point and mirror symmetry
Comments: 47 pages
Subjects: Algebraic Geometry (math.AG)

Call a Laurent polynomial $W$ `complete' if its Newton polytope is full-dimensional with zero in its interior. We show that if $W$ is any complete Laurent polynomial with coefficients in the positive part of the field $\KK$ of generalised Puiseux series, then $W$ has a unique positive critical point $\pcrit$. Here a generalised Puiseux series is called `positive' if the coefficient of its leading term is in $\R_{>0}$. Using the valuation on $\KK$ we obtain from $\pcrit\in \KK_{>0}^r$ a canonically associated `tropical critical point' $\crit\in \R^{r}$ for which we give a finite recursive construction. % of $\crit$ which for $W=\sum\gamma_i x^{v_i}$ depends only on the set of pairs $(\VAL_\KK(\gamma_i),v_i)$.
One application, using results of \cite{FOOO:survey}, is that any symplectic toric Fano manifold $X_{\Delta}$ has a canonically associated non-displaceable Lagrangian torus, which can be explicitly constructed as a moment map fiber. This Lagrangian torus in $X_{\Delta}$ generalises the Clifford torus inside $\C P^r$.

Cross-lists for Tue, 12 Nov 19

[252]  arXiv:1910.04569 (cross-list from math-ph) [pdf, ps, other]
Title: New four-dimensional solutions of the Jacobi equations for Poisson structures
Journal-ref: Journal of Mathematical Physics 47(2), 022901 1-13 (2006)
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Exactly Solvable and Integrable Systems (nlin.SI); Classical Physics (physics.class-ph)

A new four-dimensional family of skew-symmetric solutions of the Jacobi equations for Poisson structures is characterized. As a consequence, previously known types of Poisson structures found in a diversity of physical situations appear to be obtainable as particular cases of the new family of solutions. Additionally, it is possible to apply constructive methods for the explicit determination of fundamental properties of those solutions, such as their Casimir invariants, symplectic structure and the algorithm for the reduction to the Darboux canonical form, which have been reported only for a limited sample of known finite-dimensional Poisson structures. Moreover, the results developed are valid globally in phase space, thus ameliorating the usual scope of Darboux theorem which is of local nature.

[253]  arXiv:1910.05141 (cross-list from math-ph) [pdf, ps, other]
Title: Characterization and global analysis of a family of Poisson structures
Comments: arXiv admin note: text overlap with arXiv:1910.03311
Journal-ref: Physics Letters A 355(2), 98-103 (2006)
Subjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS); Symplectic Geometry (math.SG); Exactly Solvable and Integrable Systems (nlin.SI); Classical Physics (physics.class-ph)

A three-dimensional family of solutions of the Jacobi equations for Poisson systems is characterized. In spite of its general form it is possible the explicit and global determination of its main features, such as the symplectic structure and the construction of the Darboux canonical form. Examples are given.

[254]  arXiv:1911.03069 (cross-list from quant-ph) [pdf, ps, other]
Title: Towards local testability for quantum coding
Comments: 38 pages
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Geometric Topology (math.GT)

We introduce the hemicubic codes, a family of quantum codes obtained by associating qubits with the $p$-faces of the $n$-cube (for $n>p$) and stabilizer constraints with faces of dimension $(p\pm1)$. The quantum code obtained by identifying antipodal faces of the resulting complex encodes one logical qubit into $N = 2^{n-p-1} \tbinom{n}{p}$ physical qubits and displays local testability with a soundness of $\Omega(\log^{-2} (N))$ beating the current state-of-the-art of $\log^{-3} (N)$ due to Hastings. We exploit this local testability to devise an efficient decoding algorithm that corrects arbitrary errors of size less than the minimum distance, up to polylog factors.
We then extend this code family by considering the quotient of the $n$-cube by arbitrary linear classical codes of length $n$. We establish the parameters of these generalized hemicubic codes. Interestingly, if the soundness of the hemicubic code could be shown to be $1/\log(N)$, similarly to the ordinary $n$-cube, then the generalized hemicubic codes could yield quantum locally testable codes of length not exceeding an exponential or even polynomial function of the code dimension.

[255]  arXiv:1911.03452 (cross-list from eess.SY) [pdf, other]
Title: Safety-Critical Control Synthesis for network systems with Control Barrier Functions and Assume-Guarantee Contracts
Comments: arXiv admin note: text overlap with arXiv:1810.10636
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

This paper presents a contract based framework for safety-critical control synthesis for network systems. To handle the large state dimension of such systems, an assume-guarantee contract is used to break the large synthesis problem into smaller subproblems. Parameterized signal temporal logic (pSTL) is used to formally describe the behaviors of the subsystems, which we use as the template for the contract. We show that robust control invariant sets (RCIs) for the subsystems can be composed to form a robust control invariant set for the whole network system under a valid assume-guarantee contract. An epigraph algorithm is proposed to solve for a contract that is valid, ---an approach that has linear complexity for a sparse network, which leads to a robust control invariant set for the whole network. Implemented with control barrier function (CBF), the state of each subsystem is guaranteed to stay within the safe set. Furthermore, we propose a contingency tube Model Predictive Control (MPC) approach based on the robust control invariant set, which is capable of handling severe contingencies, including topology changes of the network. A power grid example is used to demonstrate the proposed method. The simulation result includes both set point control and contingency recovery, and the safety constraint is always satisfied.

[256]  arXiv:1911.03476 (cross-list from hep-th) [pdf, other]
Title: All-order differential equations for one-loop closed-string integrals and modular graph forms
Comments: 54+24 pages
Subjects: High Energy Physics - Theory (hep-th); Number Theory (math.NT)

We investigate generating functions for the integrals over world-sheet tori appearing in closed-string one-loop amplitudes of bosonic, heterotic and type-II theories. These closed-string integrals are shown to obey homogeneous and linear differential equations in the modular parameter of the torus. We spell out the first-order Cauchy-Riemann and second-order Laplace equations for the generating functions for any number of external states. The low-energy expansion of such torus integrals introduces infinite families of non-holomorphic modular forms known as modular graph forms. Our results generate homogeneous first- and second-order differential equations for arbitrary such modular graph forms and can be viewed as a step towards all-order low-energy expansions of closed-string integrals.

[257]  arXiv:1911.03519 (cross-list from physics.geo-ph) [pdf, other]
Title: Variational Analysis of Landscape Elevation and Drainage Networks
Subjects: Geophysics (physics.geo-ph); Analysis of PDEs (math.AP); Optimization and Control (math.OC)

Landscapes evolve toward surfaces with complex networks of channels and ridges in response to climatic and tectonic forcing. Here we analyze variational principles giving rise to minimalist models of landscape evolution as a system of partial differential equations that capture the essential dynamics of sediment and water balances. Our results show that in the absence of diffusive soil transport, the steady-state surface extremizes the average domain elevation. Depending on the exponent m of specific drainage area in the erosion term, the critical surfaces are either minima (0<m<1) or maxima (m>1), with m=1 corresponding to a saddle point. Our results establish a connection between Landscape Evolution Models (LEMs) and Optimal Channel Networks (OCNs) and elucidate the role of diffusion in the governing variational principles.

[258]  arXiv:1911.03553 (cross-list from stat.AP) [pdf, other]
Title: How to Deal With Ratio Metrics When Accounting for Intra-User Correlation in A/B Testing
Comments: A/B Testing, repeated measures, uniformly minimum-variance unbiased estimator, stratification, sensitivity, variance reduction
Subjects: Applications (stat.AP); Statistics Theory (math.ST)

We consider the A/B testing problem at the presence of correlation among observations coming from the same user. Furthermore, users may come from various segments where levels of correlation are different. A uniformly minimum-variance unbiased estimator of the population mean, called correlation-adjusted mean, is proposed to account for such correlation structure. It is proved theoretically and numerically better than the usual naive mean estimator and normalized mean estimator (taking average within users and then across users). The correlation-adjusted mean method is still unbiased but has reduced variance so it gains additional power. Several simulation studies are designed to show the estimation accuracy of the correlation structure, effectiveness in reducing variance, and capability of obtaining more power. An application to the eBay data is conducted to conclude this paper.

[259]  arXiv:1911.03572 (cross-list from cs.LG) [pdf, other]
Title: DZip: improved general-purpose lossless compression based on novel neural network modeling
Comments: 10 pages
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)

We consider lossless compression based on statistical data modeling followed by prediction-based encoding, where an accurate statistical model for the input data leads to substantial improvements in compression. We propose DZip, a general-purpose compressor for sequential data that exploits the well-known modeling capabilities of neural networks (NNs) for prediction, followed by arithmetic coding. Dzip uses a novel hybrid architecture based on adaptive and semi-adaptive training. Unlike most NN based compressors, DZip does not require additional training data and is not restricted to specific data types, only needing the alphabet size of the input data. The proposed compressor outperforms general-purpose compressors such as Gzip (on average 26% reduction) on a variety of real datasets, achieves near-optimal compression on synthetic datasets, and performs close to specialized compressors for large sequence lengths, without any human input. The main limitation of DZip in its current implementation is the encoding/decoding time, which limits its practicality. Nevertheless, the results showcase the potential of developing improved general-purpose compressors based on neural networks and hybrid modeling.

[260]  arXiv:1911.03577 (cross-list from stat.ML) [pdf, other]
Title: Degrees of freedom for off-the-grid sparse estimation
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)

A central question in modern machine learning and imaging sciences is to quantify the number of effective parameters of vastly over-parameterized models. The degrees of freedom is a mathematically convenient way to define this number of parameters. Its computation and properties are well understood when dealing with discretized linear models, possibly regularized using sparsity. In this paper, we argue that this way of thinking is plagued when dealing with models having very large parameter spaces. In this case it makes more sense to consider "off-the-grid" approaches, using a continuous parameter space. This type of approach is the one favoured when training multi-layer perceptrons, and is also becoming popular to solve super-resolution problems in imaging. Training these off-the-grid models with a sparsity inducing prior can be achieved by solving a convex optimization problem over the space of measures, which is often called the Beurling Lasso (Blasso), and is the continuous counterpart of the celebrated Lasso parameter selection method. In previous works, the degrees of freedom for the Lasso was shown to coincide with the size of the smallest solution support. Our main contribution is a proof of a continuous counterpart to this result for the Blasso. Our findings suggest that discretized methods actually vastly over-estimate the number of intrinsic continuous degrees of freedom. Our second contribution is a detailed study of the case of sampling Fourier coefficients in 1D, which corresponds to a super-resolution problem. We show that our formula for the degrees of freedom is valid outside of a set of measure zero of observations, which in turn justifies its use to compute an unbiased estimator of the prediction risk using the Stein Unbiased Risk Estimator (SURE).

[261]  arXiv:1911.03649 (cross-list from hep-th) [pdf, other]
Title: Stable attractors in the three-dimensional general relativistic Poynting-Robertson effect
Comments: 11 pages, 3 figures
Subjects: High Energy Physics - Theory (hep-th); High Energy Astrophysical Phenomena (astro-ph.HE); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

We prove the stability of the critical hypersurfaces associated with the three-dimensional general relativistic Poynting-Robertson effect. The equatorial ring configures to be as a stable attractor and the whole critical hypersurface as a basin of attraction for this dynamical system. We introduce a new, simpler (in terms of calculations), and more physical approach within the Lyapunov theory. We propose three different Lyapunov functions, each one carrying important information and very useful for understanding such phenomenon under different aspects.

[262]  arXiv:1911.03666 (cross-list from physics.class-ph) [pdf, ps, other]
Title: The rotating rigid body model based on a non-twisting frame
Subjects: Classical Physics (physics.class-ph); Mathematical Physics (math-ph); Numerical Analysis (math.NA)

This work proposes and investigates a new model of the rotating rigid body based on the non-twisting frame. Such a frame consists of three mutually orthogonal unit vectors whose rotation rate around one of the three axis remains zero at all times and thus, is represented by a nonholonomic restriction. Then, the corresponding Lagrange-D'Alembert equations are formulated by employing two descriptions, the first one relying on rotations and a splitting approach, and the second one relying on constrained directors. For vanishing external moments, we prove that the new model possesses conservation laws, i.e., the kinetic energy and two nonholonomic momenta that substantially differ from the holonomic momenta preserved by the standard rigid body model. Additionally, we propose a new specialization of a class of energy-momentum integration schemes that exactly preserves the kinetic energy and the nonholonomic momenta replicating the continuous counterpart. Finally, we present numerical results that show the excellent conservation properties as well as the accuracy for the time-discretized governing equations.

[263]  arXiv:1911.03684 (cross-list from eess.SY) [pdf, other]
Title: An Algorithmic View on Optimal Storage Sizing
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

Users can arbitrage against Time-of-Use (ToU) pricing with storage by charging in off-peak period and discharge in peak periods. In this paper we design the optimal control policy and the solve optimal investment for general ToU scheme. We formulate the problem as dynamic programming for efficient solution. Our result is feasible facing multi-peaked ToU scheme. Simulation studies examine how the user's cost varies with respect to the user's demand randomness; we also demonstrate the performance of our scheme when aggregating users for extra savings.

[264]  arXiv:1911.03710 (cross-list from q-bio.PE) [pdf, other]
Title: Evolution of Cooperation for Multiple Mutant Configurations on All Regular Graphs with $N \leq 14$ players
Authors: Hendrik Richter
Subjects: Populations and Evolution (q-bio.PE); Neural and Evolutionary Computing (cs.NE); Combinatorics (math.CO)

We study the emergence of cooperation in structured populations with any arrangement of cooperators and defectors on the evolutionary graph. Using structure coefficients defined for configurations describing such arrangements of any number of mutants, we provide results for weak selection to favor cooperation over defection on any regular graph with $N \leq 14$ vertices. Furthermore, the properties of graphs that particularly promote cooperation are analyzed. It is shown that the number of graph cycles of certain length is a good predictor for the values of the structure coefficient, and thus a tendency to favor cooperation. Another property of particularly cooperation-promoting regular graphs with a low degree is that they are structured to have blocks with clusters of mutants that are connected by cut vertices and/or hinge vertices.

[265]  arXiv:1911.03725 (cross-list from cs.LG) [pdf, other]
Title: Tensor Regression Using Low-rank and Sparse Tucker Decompositions
Comments: 26 pages, 3 figures, 1 table; preprint of a journal article
Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Statistics Theory (math.ST); Machine Learning (stat.ML)

This paper studies a tensor-structured linear regression model with a scalar response variable and tensor-structured predictors, such that the regression parameters form a tensor of order $d$ (i.e., a $d$-fold multiway array) in $\mathbb{R}^{n_1 \times n_2 \times \cdots \times n_d}$. This work focuses on the task of estimating the regression tensor from $m$ realizations of the response variable and the predictors where $m\ll n = \prod \nolimits_{i} n_i$. Despite the ill-posedness of this estimation problem, it can still be solved if the parameter tensor belongs to the space of sparse, low Tucker-rank tensors. Accordingly, the estimation procedure is posed as a non-convex optimization program over the space of sparse, low Tucker-rank tensors, and a tensor variant of projected gradient descent is proposed to solve the resulting non-convex problem. In addition, mathematical guarantees are provided that establish the proposed method converges to the correct solution under the right set of conditions. Further, an upper bound on sample complexity of tensor parameter estimation for the model under consideration is characterized for the special case when the individual (scalar) predictors independently draw values from a sub-Gaussian distribution. The sample complexity bound is shown to have a polylogarithmic dependence on $\bar{n} = \max \big\{n_i: i\in \{1,2,\ldots,d \} \big\}$ and, orderwise, it matches the bound one can obtain from a heuristic parameter counting argument. Finally, numerical experiments demonstrate the efficacy of the proposed tensor model and estimation method on a synthetic dataset and a neuroimaging dataset pertaining to attention deficit hyperactivity disorder. Specifically, the proposed method exhibits better sample complexities on both synthetic and real datasets, demonstrating the usefulness of the model and the method in settings where $n \gg m$.

[266]  arXiv:1911.03748 (cross-list from cs.CC) [pdf, ps, other]
Title: Quantum speedups need structure
Comments: 19 pages
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)

We prove the following conjecture, raised by Aaronson and Ambainis in 2008: Let $f:\{-1,1\}^n \rightarrow [-1,1]$ be a multilinear polynomial of degree $d$. Then there exists a variable $x_i$ whose influence on $f$ is at least $\mathrm{poly}(\mathrm{Var}(f)/d)$.
As was shown by Aaronson and Ambainis, this result implies the following well-known conjecture on the power of quantum computing, dating back to 1999: Let $Q$ be a quantum algorithm that makes $T$ queries to a Boolean input and let $\epsilon,\delta > 0$. Then there exists a deterministic classical algorithm that makes $\mathrm{poly}(T,1/\epsilon,1/\delta)$ queries to the input and that approximates $Q$'s acceptance probability to within an additive error $\epsilon$ on a $1-\delta$ fraction of inputs. In other words, any quantum algorithm can be simulated on most inputs by a classical algorithm which is only polynomially slower, in terms of query complexity.

[267]  arXiv:1911.03749 (cross-list from eess.SY) [pdf, other]
Title: A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System
Comments: 7 pages, 1 figure
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

Passivity theory is one of the cornerstones of control theory, as it allows one to prove stability of a large-scale system while treating each component separately. In practice, many systems are not passive, and must be passivized in order to be included in the framework of passivity theory. Input-output transformations are the most general tool for passivizing systems, generalizing output-feedback and input-feedthrough. In this paper, we classify all possible input-output transformations that map a system with given shortage of passivity to a system with prescribed excess of passivity. We do so by using the connection between passivity theory and cones for SISO systems, and using the S-lemma for MIMO systems.

[268]  arXiv:1911.03758 (cross-list from q-bio.CB) [pdf, other]
Title: Modeling stripe formation on growing zebrafish tailfins
Subjects: Cell Behavior (q-bio.CB); Dynamical Systems (math.DS)

As zebrafish develop, black and gold stripes form across their skin due to the interactions of brightly colored pigment cells. These characteristic patterns emerge on the growing fish body, as well as on the anal and caudal fins. While wild-type stripes form parallel to a horizontal marker on the body, patterns on the tailfin gradually extend distally outward. Interestingly, several mutations lead to altered body patterns without affecting fin stripes. Through an exploratory modeling approach, our goal is to help better understand these differences between body and fin patterns. By adapting a prior agent-based model of cell interactions on the fish body, we present an in silico study of stripe development on tailfins. Our main result is a demonstration that two cell types can produce stripes on the caudal fin. We highlight several ways that bone rays, growth, and the body-fin interface may be involved in patterning, and we raise questions for future work related to pattern robustness.

[269]  arXiv:1911.03783 (cross-list from stat.ME) [pdf, other]
Title: Hypothesis testing for populations of networks
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)

It has become an increasingly common practice for scientists in modern science and engineering to collect samples of multiple network data in which a network serves as a basic data object. The increasing prevalence of multiple network data calls for developments of models and theory that can deal with inference problems for populations of networks. In this work, we propose a general procedure for hypothesis testing of networks and in particular, for differentiating distributions of two samples of networks. We consider a very general framework which allows us to perform tests on large and sparse networks. Our contribution is two-fold: (1) We propose a test statistics based on the singular value of a generalized Wigner matrix. The asymptotic null distribution of the statistics is shown to follow the Tracy--Widom distribution as the number of nodes tends to infinity. The test also yields asymptotic power guarantee with the power tending to one under the alternative; (2) The test procedure is adapted for change-point detection in dynamic networks which is proven to be consistent in detecting the change-points. In addition to theoretical guarantees, another appealing feature of this adapted procedure is that it provides a principled and simple method for selecting the threshold that is also allowed to vary with time. Extensive simulation studies and real data analyses demonstrate the superior performance of our procedure with competitors.

[270]  arXiv:1911.03804 (cross-list from stat.ML) [pdf, other]
Title: ISLET: Fast and Optimal Low-rank Tensor Regression via Importance Sketching
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA); Statistics Theory (math.ST); Methodology (stat.ME)

In this paper, we develop a novel procedure for low-rank tensor regression, namely \underline{I}mportance \underline{S}ketching \underline{L}ow-rank \underline{E}stimation for \underline{T}ensors (ISLET). The central idea behind ISLET is \emph{importance sketching}, i.e., carefully designed sketches based on both the responses and low-dimensional structure of the parameter of interest. We show that the proposed method is sharply minimax optimal in terms of the mean-squared error under low-rank Tucker assumptions and under randomized Gaussian ensemble design. In addition, if a tensor is low-rank with group sparsity, our procedure also achieves minimax optimality. Further, we show through numerical studies that ISLET achieves comparable or better mean-squared error performance to existing state-of-the-art methods whilst having substantial storage and run-time advantages including capabilities for parallel and distributed computing. In particular, our procedure performs reliable estimation with tensors of dimension $p = O(10^8)$ and is $1$ or $2$ orders of magnitude faster than baseline methods.

[271]  arXiv:1911.03870 (cross-list from eess.SY) [pdf, other]
Title: Synthesis of Feedback Controller for Nonlinear Control Systems with Optimal Region of Attraction
Subjects: Systems and Control (eess.SY); Robotics (cs.RO); Optimization and Control (math.OC)

The problem of computing and characterizing Region of Attraction (ROA) with its many variations have a long tradition in safety-critical systems and control theory. By virtue here comes the connections to Lyapunov functions that are considered as the centerpiece of stability theory for a non linear dynamical systems. The agents may be imperfect because of several limitations in the sensors which ultimately restrict to fully observe the potential adversaries in the environment. Therefore while interacting with human life an autonomous robot should safely explore the outdoor environment by avoiding the dangerous states that may cause physical harm both the systems and environment. In this paper we address this problem and propose a framework of learning policies that adapt to the shape of largest safe region in the state space. At the inception the model is trained to learn an accurate safety certificate for non-linear closed loop dynamics system by constructing Lyapunov Neural Network. The current work is also an extension of the previous work of computing ROA under a fixed policy. Specifically we discuss how to design a state feedback controller by using a typical kind of performance objective function to be optimized and demonstrates our method on a simulated inverted pendulum which clearly shows that how this model can be used to resolve issues of trade-offs and extra design freedom.

[272]  arXiv:1911.03884 (cross-list from eess.SY) [pdf, other]
Title: Learning Koopman Operator under Dissipativity Constraints
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

This paper addresses a learning problem for nonlinear dynamical systems with incorporating any specified dissipativity property. The nonlinear systems are described by the Koopman operator, which is a linear operator defined on the infinite-dimensional lifted state space. The problem of learning the Koopman operator under specified quadratic dissipativity constraints is formulated and addressed. The learning problem is in a class of the non-convex optimization problem due to nonlinear constraints and is numerically intractable. By applying the change of variable technique and the convex overbounding approximation, the problem is reduced to sequential convex optimization and is solved in a numerically efficient manner. Finally, a numerical simulation is given, where high modeling accuracy achieved by the proposed approach including the specified dissipativity is demonstrated.

[273]  arXiv:1911.03929 (cross-list from eess.SP) [pdf, other]
Title: Positioning of Multiple Unmanned Aerial Vehicle Base Stations in future Wireless Network
Subjects: Signal Processing (eess.SP); Optimization and Control (math.OC)

Unmanned aerial vehicle (UAV) base stations (BSs) are reliable and efficient alternative to full fill the coverage and capacity requirements when the backbone network fails to provide such requirements due to disasters. In this paper, we consider optimal UAV-deployment problem in 3D space for a mmWave network. The objective is to deploy multiple aerial BSs simultaneously to completely serve the ground users. We develop a novel algorithm to find the feasible positions for a set of UAV-BSs from a predefined set of locations, subject to a signal-to-interference-plus-noise ratio (SINR) constraint of every associated user, UAV-BS's limited hovering altitude constraint and restricted operating zone constraint. We cast this 3D positioning problem as an l_0 minimization problem. This is a combinatorial, NP-hard problem. We approximate the l_0 minimization problem as non-combinatorial l_1-norm problem. Therefore, we provide a suboptimal algorithm to find a set of feasible locations for the UAV-BSs to operate. The analysis shows that the proposed algorithm achieves a set of location to deploy multiple UVA-BSs simultaneously while satisfying the constraints.

[274]  arXiv:1911.03933 (cross-list from physics.comp-ph) [pdf, other]
Title: Anti-diffusive, Non-oscillatory Central (adNOC) scheme to solve the shallow water equations over an erodible substrate in two dimensions
Subjects: Computational Physics (physics.comp-ph); Mathematical Physics (math-ph)

Shallow water surface flows commonly entrain sediments, resulting in scouring and/or deposition of the underlying substrate that may strongly influence the pattern of subsequent flow. These coupled phenomena, which can be investigated mathematically with some extension of the shallow water equations, present numerous challenges for numerical methods. Here, we present a straightforward Riemann-solver free approach to solve these equations based on the explicit non-oscillatory central (NOC) scheme that has already been widely applied to hyperbolic conservation laws in other contexts. Our version of the central scheme is second-order accurate in time and space and is used with an anti-diffusive correction to reduce numerical diffusion usually suffered by central schemes. Numerical experiments show that the scheme is accurate and robust for a range of applications from highly dynamic spontaneous dam break over a mobile bed to slowly evolving morphological bed in an alluvial river.

[275]  arXiv:1911.03967 (cross-list from hep-th) [pdf, ps, other]
Title: Interpolations between Jordanian twists, the Poincaré-Weyl algebra and dispersion relations
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We consider a two parameter family of Drinfeld twists generated from a simple Jordanian twist further twisted by 1-cochains. Twists from this family interpolate between two simple Jordanian twists. Relations between them are constructed and discussed. It is proved that there exists a one parameter family of twists identical to a simple Jordanian twist. The twisted coalgebra, star product and coordinate realizations of the $\kappa$-Minkowski noncommutative space time are presented. Real forms of Jordanian deformations are also discussed. The method of similarity transformations is applied to the Poincar\'e-Weyl Hopf algebra and two types of one parameter families of dispersion relations are constructed. Mathematically equivalent deformations may lead to differences in physical phenomena.

[276]  arXiv:1911.03983 (cross-list from nlin.PS) [pdf, other]
Title: Hexagon Invasion Fronts Outside the Homoclinic Snaking Region in the Planar Swift-Hohenberg Equation
Comments: 24 pages, 16 figures
Subjects: Pattern Formation and Solitons (nlin.PS); Dynamical Systems (math.DS)

Stationary fronts connecting the trivial state and a cellular (distorted) hexagonal pattern in the Swift-Hohenberg equation are known to undergo a process of infinitely many folds as a parameter is varied, known as homoclinic snaking, where new hexagon cells are added to the core, leading to the co-existence of infinitely-many localised states in the bistable region. Outside the homoclinic snaking region, the hexagon fronts can invade the trivial state in a bursting fashion. In this paper, we use a far-field core decomposition to setup a numerical path-following routine to trace out the bifurcation diagrams of hexagon fronts for the two main orientations of cellular hexagon pattern with respect to the interface. We find that for one orientation, hexagon fronts can destabilise as the distorted hexagons are stretched in the transverse direction leading to defects occurring in the deposited cellular pattern. We then plot diagrams showing when the selected fronts for the two main orientations, aligned perpendicular to each other, are compatible. It is found numerically that only the $\mathbb{D}_6$ hexagons yield compatible stable fronts and this provides a heuristic explanation for why stationary or invading fully localised patches of cellular hexagons on the plane select $\mathbb{D}_6$ hexagons. We find the conjecture also holds for hexagon invasion fronts in the Swift-Hohenberg equation with a large non-variational perturbation. The numerical algorithms presented can be adapted to general reaction-diffusion systems.

[277]  arXiv:1911.03988 (cross-list from eess.SY) [pdf, ps, other]
Title: Model-Free Learning of Optimal Ergodic Policies in Wireless Systems
Comments: 13 pages, 4 figures
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Signal Processing (eess.SP); Optimization and Control (math.OC); Machine Learning (stat.ML)

Learning optimal resource allocation policies in wireless systems can be effectively achieved by formulating finite dimensional constrained programs which depend on system configuration, as well as the adopted learning parameterization. The interest here is in cases where system models are unavailable, prompting methods that probe the wireless system with candidate policies, and then use observed performance to determine better policies. This generic procedure is difficult because of the need to cull accurate gradient estimates out of these limited system queries. This paper constructs and exploits smoothed surrogates of constrained ergodic resource allocation problems, the gradients of the former being representable exactly as averages of finite differences that can be obtained through limited system probing. Leveraging this unique property, we develop a new model-free primal-dual algorithm for learning optimal ergodic resource allocations, while we rigorously analyze the relationships between original policy search problems and their surrogates, in both primal and dual domains. First, we show that both primal and dual domain surrogates are uniformly consistent approximations of their corresponding original finite dimensional counterparts. Upon further assuming the use of near-universal policy parameterizations, we also develop explicit bounds on the gap between optimal values of initial, infinite dimensional resource allocation problems, and dual values of their parameterized smoothed surrogates. In fact, we show that this duality gap decreases at a linear rate relative to smoothing and universality parameters. Thus, it can be made arbitrarily small at will, also justifying our proposed primal-dual algorithmic recipe. Numerical simulations confirm the effectiveness of our approach.

[278]  arXiv:1911.03990 (cross-list from cs.CC) [pdf, ps, other]
Title: Implementing geometric complexity theory: On the separation of orbit closures via symmetries
Comments: 47 pages
Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG); Representation Theory (math.RT)

Understanding the difference between group orbits and their closures is a key difficulty in geometric complexity theory (GCT): While the GCT program is set up to separate certain orbit closures, many beautiful mathematical properties are only known for the group orbits, in particular close relations with symmetry groups and invariant spaces, while the orbit closures seem much more difficult to understand. However, in order to prove lower bounds in algebraic complexity theory, considering group orbits is not enough.
In this paper we tighten the relationship between the orbit of the power sum polynomial and its closure, so that we can separate this orbit closure from the orbit closure of the product of variables by just considering the symmetry groups of both polynomials and their representation theoretic decomposition coefficients. In a natural way our construction yields a multiplicity obstruction that is neither an occurrence obstruction, nor a so-called vanishing ideal occurrence obstruction. All multiplicity obstructions so far have been of one of these two types.
Our paper is the first implementation of the ambitious approach that was originally suggested in the first papers on geometric complexity theory by Mulmuley and Sohoni (SIAM J Comput 2001, 2008): Before our paper, all existence proofs of obstructions only took into account the symmetry group of one of the two polynomials (or tensors) that were to be separated. In our paper the multiplicity obstruction is obtained by comparing the representation theoretic decomposition coefficients of both symmetry groups.
Our proof uses a semi-explicit description of the coordinate ring of the orbit closure of the power sum polynomial in terms of Young tableaux, which enables its comparison to the coordinate ring of the orbit.

[279]  arXiv:1911.04026 (cross-list from cs.LO) [pdf, ps, other]
Title: A generic imperative language for polynomial time
Authors: Daniel Leivant
Comments: 18 pages, submitted to a conference
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Logic (math.LO)

We propose a generic imperative programming language STR that captures PTime computations, on both infinite inductive structures and families of finite structures. The approach, set up in [29] for primitive-recursive complexity, construes finite partial-functions as a universal canonical form of data, and uses structure components for loop variants. STR is obtained by the further refinement that assigns ranks to finite partial-functions, which regulate the interaction of loops, yielding programs that run in polynomial time. STR captures algorithms that have eluded ramified recurrence, and is promising as an artifact of Implicit Complexity which is malleable to static analysis implementations.

[280]  arXiv:1911.04032 (cross-list from cs.DM) [pdf, other]
Title: A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Combinatorics (math.CO)

Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do not exist. In particular, we show that there exist no projective planes of order ten that generate codewords of weight fifteen, a result first shown in 1973 via an exhaustive computer search. We provide a simple satisfiability (SAT) instance and a certificate of unsatisfiability that can be used to automatically verify this result for the first time. All previous demonstrations of this result have relied on search programs that are difficult or impossible to verify---in fact, our search found partial projective planes that were missed by previous searches due to previously undiscovered bugs. Furthermore, we show how the performance of the SAT solver can be dramatically increased by employing functionality from a computer algebra system (CAS). Our SAT+CAS search runs significantly faster than all other published searches verifying this result.

[281]  arXiv:1911.04133 (cross-list from eess.SP) [pdf, other]
Title: IMNet: A Learning Based Detector for Index Modulation Aided MIMO-OFDM systems
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

Index modulation (IM) brings the reduction of power consumption and complexity of the transmitter to classical multiple-input multiple-output orthogonal frequency division multiplexing (MIMO-OFDM) systems. However, due to the introduction of IM, the complexity of the detector at receiver is greatly increased. Furthermore, the detector also requires the channel state information at receiver, which leads to high system overhead. To tackle these challenges, in this paper, we introduce deep learning (DL) in designing a non-iterative detector. Specifically, based on the structural sparsity of the transmitted signal in IM aided MIMO-OFDM systems, we first formulate the detection process as a sparse reconstruction problem. Then, a DL based detector called IMNet, which combines two subnets with the traditional least square method, is designed to recover the transmitted signal. To the best of our knowledge, this is the first attempt that designs the DL based detector for IM aided systems. Finally, to verify the adaptability and robustness of IMNet, simulations are carried out with consideration of correlated MIMO channels. The simulation results demonstrate that the proposed IMNet outperforms existing algorithms in terms of bit error rate and computational complexity under various scenarios.

[282]  arXiv:1911.04224 (cross-list from stat.CO) [pdf, ps, other]
Title: Approximate Uncertain Program
Comments: arXiv admin note: substantial text overlap with arXiv:1911.00192
Subjects: Computation (stat.CO); Optimization and Control (math.OC)

Chance constrained program where one seeks to minimize an objective over decisions which satisfy randomly disturbed constraints with a given probability is computationally intractable. This paper proposes an approximate approach to address chance constrained program. Firstly, a single layer neural-network is used to approximate the function from decision domain to violation probability domain. The algorithm for updating parameters in single layer neural-network adopts sequential extreme learning machine. Based on the neural violation probability approximate model, a randomized algorithm is then proposed to approach the optimizer in the probabilistic feasible domain of decision. In the randomized algorithm, samples are extracted from decision domain uniformly at first. Then, violation probabilities of all samples are calculated according to neural violation probability approximate model. The ones with violation probability higher than the required level are discarded. The minimizer in the remained feasible decision samples is used to update sampling policy. The policy converges to the optimal feasible decision. Numerical simulations are implemented to validate the proposed method for non-convex problems comparing with scenario approach and parallel randomized algorithm. The result shows that proposed method have improved performance.

[283]  arXiv:1911.04235 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Mittag-Leffler functions in superstatistics
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Data Analysis, Statistics and Probability (physics.data-an); Other Statistics (stat.OT)

Nowadays, there is a series of complexities in biophysics that require a suitable approach to determine the measurable quantity. In this way, the superstatistics has been an important tool to investigate dynamic aspects of particles, organisms and substances immersed in systems with non-homogeneous temperatures (or diffusivity). The superstatistics admits a general Boltzmann factor that depends on the distribution of intensive parameters $\beta$ (inverse-diffusivity). Each value of intensive parameter is associated with a local equilibrium in the system. In this work, we investigate the consequences of Mittag-Leffler function on the definition of f-distribution of a complex system. Thus, using the techniques belonging to the fractional calculus with non-singular kernels, we constructed a distribution to intensive parameters using the Mittag-Leffler function. This function implies distributions with power-law behaviour to high energy values in the context of Cohen-Beck superstatistics. This work aims to present the generalised probabilities distribution in statistical mechanics under a new perspective of the Mittag-Leffler function inspired in Atangana-Baleanu and Prabhakar forms.

[284]  arXiv:1911.04239 (cross-list from eess.SP) [pdf, other]
Title: Hybrid Precoding for Multi-User Millimeter Wave Massive MIMO Systems: A Deep Learning Approach
Comments: Accepted paper in IEEE Transactions on Vehicular Technology, Oct 2019
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)

In multi-user millimeter wave (mmWave) multiple-input-multiple-output (MIMO) systems, hybrid precoding is a crucial task to lower the complexity and cost while achieving a sufficient sum-rate. Previous works on hybrid precoding were usually based on optimization or greedy approaches. These methods either provide higher complexity or have sub-optimum performance. Moreover, the performance of these methods mostly relies on the quality of the channel data. In this work, we propose a deep learning (DL) framework to improve the performance and provide less computation time as compared to conventional techniques. In fact, we design a convolutional neural network for MIMO (CNN-MIMO) that accepts as input an imperfect channel matrix and gives the analog precoder and combiners at the output. The procedure includes two main stages. First, we develop an exhaustive search algorithm to select the analog precoder and combiners from a predefined codebook maximizing the achievable sum-rate. Then, the selected precoder and combiners are used as output labels in the training stage of CNN-MIMO where the input-output pairs are obtained. We evaluate the performance of the proposed method through numerous and extensive simulations and show that the proposed DL framework outperforms conventional techniques. Overall, CNN-MIMO provides a robust hybrid precoding scheme in the presence of imperfections regarding the channel matrix. On top of this, the proposed approach exhibits less computation time with comparison to the optimization and codebook based approaches.

[285]  arXiv:1911.04249 (cross-list from cs.DS) [pdf, ps, other]
Title: A polynomial kernel for $3$-leaf power deletion
Comments: 33 pages, 1 figure
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

A graph $G$ is an $\ell$-leaf power of a tree $T$ if $V(G)$ is equal to the set of leaves of $T$, and distinct vertices $v$ and $w$ of $G$ are adjacent if and only if the distance between $v$ and $w$ in $T$ is at most $\ell$. Given a graph $G$, the $3$-leaf Power Deletion problem asks whether there is a set $S\subseteq V(G)$ of size at most $k$ such that $G\setminus S$ is a $3$-leaf power of some tree $T$. We provide a polynomial kernel for this problem. More specifically, we present a polynomial-time algorithm for an input instance $(G,k)$ to output an equivalent instance $(G',k')$ such that $k'\le k$ and $G'$ has at most $O(k^{14}\log^{12}k)$ vertices.

[286]  arXiv:1911.04285 (cross-list from stat.ML) [pdf, other]
Title: Maximum a-Posteriori Estimation for the Gaussian Mixture Model via Mixed Integer Nonlinear Programming
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC); Methodology (stat.ME)

We present a global optimization approach for solving the classical maximum a-posteriori (MAP) estimation problem for the Gaussian mixture model. Our approach formulates the MAP estimation problem as a mixed-integer nonlinear optimization problem (MINLP). Our method provides a certificate of global optimality, can accommodate side constraints, and is extendable to other finite mixture models. We propose an approximation to the MINLP hat transforms it into a mixed integer quadratic program (MIQP) which preserves global optimality within desired accuracy and improves computational aspects. Numerical experiments compare our method to standard estimation approaches and show that our method finds the globally optimal MAP for some standard data sets, providing a benchmark for comparing estimation methods.

[287]  arXiv:1911.04291 (cross-list from eess.SP) [pdf, other]
Title: Machine Learning-Based Adaptive Receive Filtering: Proof-of-Concept on an SDR Platform
Comments: submitted to ICC 2020
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)

Conventional multiuser detection techniques either require a large number of antennas at the receiver for a desired performance, or they are too complex for practical implementation. Moreover, many of these techniques, such as successive interference cancellation (SIC), suffer from errors in parameter estimation (user channels, covariance matrix, noise variance, etc.) that is performed before detection of user data symbols. As an alternative to conventional methods, this paper proposes and demonstrates a low-complexity practical Machine Learning (ML) based receiver that achieves similar (and at times better) performance to the SIC receiver. The proposed receiver does not require parameter estimation; instead it uses supervised learning to detect the user modulation symbols directly. We perform comparisons with minimum mean square error (MMSE) and SIC receivers in terms of symbol error rate (SER) and complexity.

[288]  arXiv:1911.04337 (cross-list from stat.ME) [pdf, other]
Title: Bayesian Non-Parametric Factor Analysis for Longitudinal Spatial Surfaces
Comments: This is a preprint of an article submitted for publication in the Journal of the American Statistical Association. The article contains 35 pages, 5 figures and 2 tables
Subjects: Methodology (stat.ME); Statistics Theory (math.ST)

We introduce a Bayesian non-parametric spatial factor analysis model with spatial dependency induced through a prior on factor loadings. For each column of the loadings matrix, spatial dependency is encoded using a probit stick-breaking process (PSBP) and a multiplicative gamma process shrinkage prior is used across columns to adaptively determine the number of latent factors. By encoding spatial information into the loadings matrix, meaningful factors are learned that respect the observed neighborhood dependencies, making them useful for assessing rates over space. Furthermore, the spatial PSBP prior can be used for clustering temporal trends, allowing users to identify regions within the spatial domain with similar temporal trajectories, an important task in many applied settings. In the manuscript, we illustrate the model's performance in simulated data, but also in two real-world examples: longitudinal monitoring of glaucoma and malaria surveillance across the Peruvian Amazon. The R package spBFA, available on CRAN, implements the method.

[289]  arXiv:1911.04343 (cross-list from hep-th) [pdf, ps, other]
Title: On the Existence of Heterotic-String and Type-II-Superstring Field Theory Vertices
Comments: 157 pages. arXiv admin note: text overlap with arXiv:math/0504590, arXiv:math/0509264
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Geometry (math.AG)

We consider two problems associated to the space of Riemann surfaces that are closely related to string theory. We first consider the problem of existence of heterotic-string and type-II-superstring field theory vertices in the product of spaces of bordered surfaces parameterizing left- and right-moving sectors of these theories. It turns out that this problem can be solved by proving the existence of a solution to the BV quantum master equation in moduli spaces of bordered spin-Riemann surfaces. We first prove that for arbitrary genus $g$, $n_{\text{NS}}$ Neveu-Schwarz boundary components, and $n_{\text{R}}$ Ramond boundary components such solutions exist. We also prove that these solutions are unique up to homotopies in the category of BV algebras and are mapped to fundamental classes of Deligne-Mumford stacks of associated punctured spin curves. These results generalize the work of Costello on the existence of a solution to the BV quantum master equations in moduli spaces of bordered ordinary Riemann surfaces. Using this, we prove that heterotic-string and type-II-superstring field theory vertices exist. Furthermore, we prove the existence of a solution to the BV quantum master equation in spaces of bordered $\mathscr{N}=1$ super-Riemann surfaces for arbitrary genus $g$, $n_{\text{NS}}$ Neveu-Schwarz boundary components, and $n_{\text{R}}$ Ramond boundary components. Secondly, we turn to the moduli problem of stable $\mathscr{N}=1$ SUSY curves. Using Vaintrob's deformation theory of complex superspaces and Deligne's model for the compactification of the space of $\mathscr{N}=1$ SUSY curves, we prove the representability of this moduli problem by a proper smooth Deligne-Mumford superstack. This is a generalization of the work of Deligne and Mumford on the representability of the moduli problem of stable ordinary curves by a Deligne-Mumford stack.

[290]  arXiv:1911.04382 (cross-list from cs.DS) [pdf, other]
Title: GRASS: Spectral Sparsification Leveraging Scalable Spectral Perturbation Analysis
Authors: Zhuo Feng
Comments: 14 pages, 13 figures. arXiv admin note: substantial text overlap with arXiv:1711.05135
Subjects: Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI); Numerical Analysis (math.NA)

Spectral graph sparsification aims to find ultra-sparse subgraphs whose Laplacian matrix can well approximate the original Laplacian eigenvalues and eigenvectors. In recent years, spectral sparsification techniques have been extensively studied for accelerating various numerical and graph-related applications. Prior nearly-linear-time spectral sparsification methods first extract low-stretch spanning tree from the original graph to form the backbone of the sparsifier, and then recover small portions of spectrally-critical off-tree edges to the spanning tree to significantly improve the approximation quality. However, it is not clear how many off-tree edges should be recovered for achieving a desired spectral similarity level within the sparsifier. Motivated by recent graph signal processing techniques, this paper proposes a similarity-aware spectral graph sparsification framework that leverages efficient spectral off-tree edge embedding and filtering schemes to construct spectral sparsifiers with guaranteed spectral similarity (relative condition number) level. An iterative graph densification scheme is also introduced to facilitate efficient and effective filtering of off-tree edges for highly ill-conditioned problems. The proposed method has been validated using various kinds of graphs obtained from public domain sparse matrix collections relevant to VLSI CAD, finite element analysis, as well as social and data networks frequently studied in many machine learning and data mining applications. For instance, a sparse SDD matrix with 40 million unknowns and 180 million nonzeros can be solved (1E-3 accuracy level) within two minutes using a single CPU core and about 6GB memory.

[291]  arXiv:1911.04425 (cross-list from cond-mat.str-el) [pdf, ps, other]
Title: Symmetry and microscopic constraints on Hall conductances and a Wiedemann-Franz law: a view from the interface
Authors: Yuan Yao
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

We introduce an unconventional regularization of condensed matter effective field theory by a non-local bulk topological regulator in one higher dimension, which is equivalent to a bulk-interface-bulk formulation. We show its necessity motivated by a (0+1)-dimensional system. Although the system can be strictly defined on the lattice in its own dimensions, the bulk regulator is important to derive its correct physical observables, which cannot be captured by any local regulator. We explicitly obtain a constraint on the thermal and electric integer Hall conductances of half-filled translation invariant $N$-flavor gapped fermionic system on a square lattice possessing a unique ground state with uniform rational magnetic fluxes per unit cell in the presence of the onsite $U(N)$ symmetry. The Wiedemann-Franz law is shown to be obeyed by the Hall conductances regardless of arbitrarily strong interactions. We further obtain no-go theorems on the possible symmetric gapped phases.

[292]  arXiv:1911.04436 (cross-list from cs.LG) [pdf, ps, other]
Title: Nonconvex Low-Rank Symmetric Tensor Completion from Noisy Data
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Optimization and Control (math.OC); Statistics Theory (math.ST); Machine Learning (stat.ML)

We study a noisy symmetric tensor completion problem of broad practical interest, namely, the reconstruction of a low-rank symmetric tensor from highly incomplete and randomly corrupted observations of its entries. While a variety of prior work has been dedicated to this problem, prior algorithms either are computationally too expensive for large-scale applications, or come with sub-optimal statistical guarantees. Focusing on "incoherent" and well-conditioned tensors of a constant CP rank, we propose a two-stage nonconvex algorithm --- (vanilla) gradient descent following a rough initialization --- that achieves the best of both worlds. Specifically, the proposed nonconvex algorithm faithfully completes the tensor and retrieves all individual tensor factors within nearly linear time, while at the same time enjoying near-optimal statistical guarantees (i.e. minimal sample complexity and optimal estimation accuracy). The estimation errors are evenly spread out across all entries, thus achieving optimal $\ell_{\infty}$ statistical accuracy. The insight conveyed through our analysis of nonconvex optimization might have implications for other tensor estimation problems.

Replacements for Tue, 12 Nov 19

[293]  arXiv:0804.1296 (replaced) [pdf, ps, other]
Title: Bounds for the minimum diameter of integral point sets
Comments: 8 pages, 7 figures; typos corrected
Journal-ref: The Australasian Journal of Combinatorics, Vol. 39, Pages 233-240, 2007
Subjects: Combinatorics (math.CO)
[294]  arXiv:1012.1189 (replaced) [pdf, ps, other]
Title: Vanishing of algebraic Brauer-Manin obstructions
Authors: Mikhail Borovoi
Comments: V.5, 13 pages. Following a suggestion of the referee, the proofs of Lemmas 3.2 and 3.4 were omitted in the published version (see V.4). In this version 5, we give detailed proofs of those lemmas
Journal-ref: J. Ramanujan Math. Soc. 26, No. 3 (2011), 333-349
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[295]  arXiv:1404.1171 (replaced) [pdf, ps, other]
Title: The compact picture of symmetry breaking operators for rank one orthogonal and unitary groups
Comments: 45 pages; v2: worked out all details for the case of rank one unitary groups, v3: final published version
Journal-ref: Pacific J. Math. 302 (2019), no. 1, 23-76
Subjects: Representation Theory (math.RT)
[296]  arXiv:1404.7690 (replaced) [pdf, ps, other]
Title: Twisted Lefschetz numbers of infra-solvmanifolds and algebraic groups
Authors: Hisashi Kasuya
Comments: 8 pages J. algebra to appear
Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Group Theory (math.GR)
[297]  arXiv:1504.00152 (replaced) [pdf, ps, other]
Title: Vanishing viscosity and surface tension limits of incompressible viscous surface waves
Comments: 58 pages. Some typos were corrected and some adjustments were made. arXiv admin note: text overlap with arXiv:1202.0657 by other authors
Subjects: Analysis of PDEs (math.AP)
[298]  arXiv:1509.00164 (replaced) [pdf, other]
Title: Theorems of Tarski's Undefinability and Godel's Second Incompleteness-Computationally
Authors: Saeed Salehi
Comments: 12 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[299]  arXiv:1509.06935 (replaced) [pdf, other]
Title: Shared Memory Pipelined Parareal
Authors: Daniel Ruprecht
Journal-ref: In: Rivera F., Pena T., Cabaleiro J. (eds) Euro-Par 2017: Parallel Processing. Lecture Notes in Computer Science, vol 10417. Springer
Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
[300]  arXiv:1608.06017 (replaced) [pdf, ps, other]
Title: On the cone of weighted graphs generated by triangles
Subjects: Combinatorics (math.CO)
[301]  arXiv:1609.06500 (replaced) [pdf, other]
Title: Wavelet-Based Segmentation on the Sphere
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)
[302]  arXiv:1610.04905 (replaced) [pdf, ps, other]
Title: Moment methods in energy minimization: New bounds for Riesz minimal energy problems
Authors: David de Laat
Comments: (v2) 43 pages, revision based on suggestions by referee, published in Trans. Amer. Math. Soc
Journal-ref: Trans. Amer. Math. Soc. (2019)
Subjects: Optimization and Control (math.OC); Metric Geometry (math.MG)
[303]  arXiv:1610.06916 (replaced) [pdf, ps, other]
Title: Transportation inequalities for non-globally dissipative SDEs with jumps via Malliavin calculus and coupling
Authors: Mateusz B. Majka
Comments: 40 pages, revised version, accepted for publication in Annales de l'Institut Henri Poincar\'e Probabilit\'es et Statistiques. The final manuscript is available at Project Euclid via this https URL
Journal-ref: Ann. Inst. H. Poincare Probab. Statist., Volume 55, Number 4 (2019), 2019-2057
Subjects: Probability (math.PR)
[304]  arXiv:1701.08070 (replaced) [pdf]
Title: An improved parametric model for hysteresis loop approximation
Comments: Preprint of research article, 35 pages, 37 figures, 1 table
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Instrumentation and Detectors (physics.ins-det)
[305]  arXiv:1702.02326 (replaced) [pdf, other]
Title: Knapp-Stein Type Intertwining Operators for Symmetric Pairs II. -- The Translation Principle and Intertwining Operators for Spinors
Journal-ref: SIGMA 15 (2019), 084, 50 pages
Subjects: Representation Theory (math.RT)
[306]  arXiv:1702.07427 (replaced) [pdf, ps, other]
Title: Freeness characterizations on free chaos spaces
Subjects: Operator Algebras (math.OA); Probability (math.PR)
[307]  arXiv:1705.01302 (replaced) [pdf, other]
Title: A McKean-Vlasov approach to distributed electricity generation development
Subjects: Optimization and Control (math.OC); General Economics (econ.GN); Probability (math.PR)
[308]  arXiv:1705.07625 (replaced) [pdf, other]
Title: Variations for Some Painlevé Equations
Journal-ref: SIGMA 15 (2019), 088, 10 pages
Subjects: Classical Analysis and ODEs (math.CA)
[309]  arXiv:1706.04962 (replaced) [pdf, other]
Title: Anomalous partially hyperbolic diffeomorphisms III: abundance and incoherence
Comments: 31 pages, 4 figures. To appear in G&T
Subjects: Dynamical Systems (math.DS)
[310]  arXiv:1708.04258 (replaced) [pdf, other]
Title: The Stochastic-Calculus Approach to Multi-Receiver Poisson Channels
Comments: Published in IEEE Transactions on Information Theory, final version
Journal-ref: IEEE Transactions on Information Theory, vol. 65, no. 8, pp. 5007-5027, Aug. 2019
Subjects: Information Theory (cs.IT)
[311]  arXiv:1708.07485 (replaced) [src]
Title: Multivariate Dependency Measure based on Copula and Gaussian Kernel
Comments: This work is postponed
Subjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
[312]  arXiv:1709.06584 (replaced) [pdf, ps, other]
Title: A Driven Tagged Particle in Asymmetric Exclusion Processes
Authors: Zhe Wang
Comments: 35 pages, 9 figures
Subjects: Probability (math.PR)
[313]  arXiv:1709.06594 (replaced) [pdf, ps, other]
Title: A Driven Tagged Particle in Symmetric Exclusion Processes with Removals
Authors: Zhe Wang
Comments: 27 pages, 4 figures. The large deviation principle for the displacement is added
Subjects: Probability (math.PR)
[314]  arXiv:1710.06205 (replaced) [pdf, ps, other]
Title: Projective reconstruction in algebraic vision
Comments: 15 pages
Subjects: Algebraic Geometry (math.AG); Computer Vision and Pattern Recognition (cs.CV)
[315]  arXiv:1711.02141 (replaced) [pdf, ps, other]
Title: Optimal rates of entropy estimation over Lipschitz balls
Subjects: Statistics Theory (math.ST); Information Theory (cs.IT); Methodology (stat.ME)
[316]  arXiv:1712.01650 (replaced) [pdf, ps, other]
Title: Isomorphisms of graded path algebras
Authors: Jason Gaddis
Comments: Simplification of proof of the main theorem also fixes an earlier error
Subjects: Rings and Algebras (math.RA)
[317]  arXiv:1712.05539 (replaced) [pdf, other]
Title: Rectilinear Crossings in Complete Balanced d-Partite d-Uniform Hypergraphs
Subjects: Combinatorics (math.CO)
[318]  arXiv:1801.02923 (replaced) [pdf, other]
Title: Wirtinger Numbers for Virtual Links
Subjects: Geometric Topology (math.GT)
[319]  arXiv:1801.03183 (replaced) [pdf, other]
Title: Discrete Stratified Morse Theory: Algorithms and A User's Guide
Comments: Full and updated version of an extended abstract previously published at International Symposium on Computational Geometry (SOCG), 2018
Subjects: Computational Geometry (cs.CG); Algebraic Topology (math.AT)
[320]  arXiv:1801.04409 (replaced) [pdf, ps, other]
Title: On semisimplification of tensor categories
Comments: 32 pages, latex; in v2 minor changes have been made, and the end of Section 7 as well as Section 8 are new; in v3 the nonsymmetric version of Andre-Kahn results on p.11-12 has been added
Subjects: Representation Theory (math.RT)
[321]  arXiv:1801.07554 (replaced) [pdf, other]
Title: Monotone Lagrangians in flag varieties
Comments: 33pages, 20 figures. To appear in IMRN
Subjects: Symplectic Geometry (math.SG)
[322]  arXiv:1803.02431 (replaced) [pdf, other]
Title: Convexity of Self-Similar Transonic Shocks and Free Boundaries for the Euler Equations for Potential Flow
Comments: 59 pages; 13 figures
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[323]  arXiv:1803.02982 (replaced) [pdf, ps, other]
Title: Beyond perturbation 2: asymptotics and Beilinson-Drinfeld Grassmannians in differential geometry
Subjects: Differential Geometry (math.DG); Representation Theory (math.RT)
[324]  arXiv:1803.04546 (replaced) [pdf, other]
Title: The topological biquandle of a link
Authors: Eva Horvat
Comments: 14 pages, 12 figures
Subjects: Geometric Topology (math.GT)
[325]  arXiv:1803.06582 (replaced) [pdf, other]
Title: Contrasting Various Notions of Convergence in Geometric Analysis
Comments: 7 figures by Penelope Chang of Hunter College High School. v2: Referee comments addressed. To appear in Pacific Journal of Mathematics
Subjects: Metric Geometry (math.MG); Differential Geometry (math.DG)
[326]  arXiv:1805.00812 (replaced) [pdf, ps, other]
Title: A Hidden Resource in Wireless Channel Capacity: Dependence Control in Action
Comments: arXiv admin note: text overlap with arXiv:1711.10363
Subjects: Information Theory (cs.IT)
[327]  arXiv:1805.01053 (replaced) [pdf, other]
Title: Mean Field Analysis of Neural Networks: A Law of Large Numbers
Subjects: Probability (math.PR)
[328]  arXiv:1805.03095 (replaced) [pdf, other]
Title: Stealthy Communication over Adversarially Jammed Multipath Networks
Comments: Submitted to IEEE Transactions on Information Forensics and Security. A preliminary version was presented at the 2018 IEEE International Symposium on Information Theory (ISIT), Vail, USA
Subjects: Information Theory (cs.IT)
[329]  arXiv:1805.03930 (replaced) [pdf, other]
Title: The expectation value of the number of loops and the left-passage probability in the double-dimer model
Comments: 28 pages, 12 figures
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[330]  arXiv:1805.11137 (replaced) [pdf, ps, other]
Title: Adaptive Euler methods for stochastic systems with non-globally Lipschitz coefficients
Comments: 22 pages in amsart format, 7 figures, V2 has a revised proof of Lemma 13 with associated change in Assumption 4, minor clarifications and typographic corrections, and an additional reference for the literature review in Section 1. V3 includes a technical restriction on $h_{\max}$ in Assumption 6 and a revised proof of Theorem 16
Subjects: Numerical Analysis (math.NA)
[331]  arXiv:1806.03077 (replaced) [pdf, ps, other]
Title: Representations of relative Cohn path algebras
Comments: 20 pages; revised version; to appear in Journal of Pure and Applied Algebra
Subjects: Rings and Algebras (math.RA); Operator Algebras (math.OA)
[332]  arXiv:1806.03599 (replaced) [pdf, ps, other]
Title: On the idempotents of commutative rings
Comments: 5 pages
Subjects: Commutative Algebra (math.AC)
[333]  arXiv:1806.04011 (replaced) [pdf, ps, other]
Title: The Gauss-Green theorem in stratified groups
Comments: 69 pages
Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Metric Geometry (math.MG)
[334]  arXiv:1807.00283 (replaced) [pdf, ps, other]
Title: Cohomology groups invariant under continuous orbit equivalence
Authors: Yongle Jiang
Comments: final version, accepted to Journal of Topology and Analysis
Subjects: Dynamical Systems (math.DS); Group Theory (math.GR)
[335]  arXiv:1807.01883 (replaced) [pdf, other]
Title: A multiscale neural network based on hierarchical matrices
Comments: 26 pages, 11 figures
Subjects: Numerical Analysis (math.NA)
[336]  arXiv:1807.08670 (replaced) [pdf, other]
Title: Learning an Adversary's Actions for Secret Communication
Subjects: Information Theory (cs.IT)
[337]  arXiv:1807.09496 (replaced) [pdf, ps, other]
Title: Fundamental group in o-minimal structures with definable Skolem functions
Comments: 25 pages. arXiv admin note: substantial text overlap with arXiv:1507.03531
Subjects: Logic (math.LO)
[338]  arXiv:1807.11043 (replaced) [pdf, other]
Title: On L-shaped point set embeddings of trees: first non-embeddable examples
Subjects: Computational Geometry (cs.CG); Combinatorics (math.CO)
[339]  arXiv:1808.03373 (replaced) [pdf, other]
Title: Blue Phase: Optimal Network Traffic Control for Legacy and Autonomous Vehicles
Journal-ref: Transportation Research Part B: Methodological, 130, 105-129 (2019)
Subjects: Optimization and Control (math.OC)
[340]  arXiv:1808.03882 (replaced) [pdf, other]
Title: A Whittaker-Plancherel Inversion Formula for $\mathrm{SL}_2(\mathbb{C})$
Authors: Zhi Qi, Chang Yang
Comments: 17 pages. Analysis greatly simplified thanks to an observation of the referee. To appear in J. Anal. Math
Subjects: Representation Theory (math.RT)
[341]  arXiv:1808.06126 (replaced) [pdf, ps, other]
Title: A 2-Norm Condition Number for Bézier Curve Intersection
Authors: Danny Hermes
Subjects: Numerical Analysis (math.NA); Computational Geometry (cs.CG)
[342]  arXiv:1808.09754 (replaced) [pdf, ps, other]
Title: Singular Support of Minimizers of the Causal Variational Principle on the Sphere
Comments: 26 pages, LaTeX, 3 figures, typos corrected (published version)
Journal-ref: Calc. Var. (2019) 58:205
Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph); Functional Analysis (math.FA)
[343]  arXiv:1809.00261 (replaced) [pdf, ps, other]
Title: Indefinite Stochastic Linear-Quadratic Optimal Control Problems with Random Coefficients: Closed-Loop Representation of Open-Loop Optimal Controls
Comments: 38 pages
Subjects: Optimization and Control (math.OC)
[344]  arXiv:1809.00301 (replaced) [pdf, ps, other]
Title: Stable approximation schemes for optimal filters
Subjects: Computation (stat.CO); Probability (math.PR)
[345]  arXiv:1809.02752 (replaced) [pdf, ps, other]
Title: Derivation relation for finite multiple zeta values in $\widehat{\mathcal{A}}$
Subjects: Number Theory (math.NT)
[346]  arXiv:1809.03350 (replaced) [pdf, ps, other]
Title: Detecting tropical defects of polynomial equations
Comments: Changes: improved presentation in Section 2. To appear in Journal of Algebraic Combinatorics
Journal-ref: Journal of Algebraic Combinatorics (2019)
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)
[347]  arXiv:1809.03427 (replaced) [pdf, other]
Title: Sectorial descent for wrapped Fukaya categories
Comments: 111 pages, 29 figures
Subjects: Symplectic Geometry (math.SG)
[348]  arXiv:1809.04633 (replaced) [pdf, other]
Title: Correlation and Simpson conversion in $2 \times 2 \times 2$ contingency tables
Comments: 15 pages, 4 figures, 4 tables
Subjects: Probability (math.PR); Combinatorics (math.CO)
[349]  arXiv:1809.06721 (replaced) [pdf, ps, other]
Title: Levi-Civita connections for a class of spectral triples
Comments: minor changes. To appear in Letters in Mathematical Physics. arXiv admin note: text overlap with arXiv:1606.08142
Subjects: Quantum Algebra (math.QA); Operator Algebras (math.OA)
[350]  arXiv:1809.08688 (replaced) [pdf, ps, other]
Title: Singular Brascamp-Lieb inequalities with cubical structure
Comments: 16 pages
Subjects: Classical Analysis and ODEs (math.CA)
[351]  arXiv:1809.10827 (replaced) [pdf, other]
Title: Weak detection in the spiked Wigner model
Comments: 45 pages, 5 figures
Subjects: Statistics Theory (math.ST); Probability (math.PR); Machine Learning (stat.ML)
[352]  arXiv:1810.02983 (replaced) [pdf, ps, other]
Title: Eigenvector convergence for minors of unitarily invariant infinite random matrices
Authors: Joseph Najnudel
Subjects: Probability (math.PR)
[353]  arXiv:1810.04874 (replaced) [pdf, other]
Title: Stability of Standing Waves for a Nonlinear Klein-Gordon Equation with Delta Potentials
Authors: Elek Csobo (DIAM), François Genoud (EPFL), Masahito Ohta, Julien Royer (IMT)
Journal-ref: Journal of Differential Equations, Vol. 268(1), (2019), 353-388
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[354]  arXiv:1810.07687 (replaced) [pdf, other]
Title: Covert Capacity of Non-Coherent Rayleigh-Fading Channels
Subjects: Information Theory (cs.IT)
[355]  arXiv:1810.08960 (replaced) [pdf, other]
Title: Existence of equivariant models of spherical varieties and other G-varieties
Comments: This preprint supersedes arXiv:1804.08475. V1: 39 pages. V2: 44 pages; a section on spherical embeddings has been added, and therefore the title and abstract have been changed. V3: 60 pages; a section on horospherical homogeneous spaces has been added
Subjects: Algebraic Geometry (math.AG); Group Theory (math.GR)
[356]  arXiv:1810.12135 (replaced) [pdf, ps, other]
Title: The strong Atiyah and Lück approximation conjectures for one-relator groups
Comments: Corrected typos
Journal-ref: Mathematische Annalen (2019)
Subjects: Group Theory (math.GR)
[357]  arXiv:1810.12855 (replaced) [pdf, ps, other]
Title: Some Results on Polish Groups
Subjects: Logic (math.LO)
[358]  arXiv:1811.01864 (replaced) [pdf, ps, other]
Title: q-Independence of the Jimbo-Drinfeld Quantization
Authors: Olof Giselsson
Subjects: Quantum Algebra (math.QA)
[359]  arXiv:1811.03761 (replaced) [pdf, other]
Title: RSA: Byzantine-Robust Stochastic Aggregation Methods for Distributed Learning from Heterogeneous Datasets
Comments: To appear in AAAI 2019
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Multiagent Systems (cs.MA); Optimization and Control (math.OC)
[360]  arXiv:1811.04484 (replaced) [pdf, ps, other]
Title: Homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$
Authors: Viet-Cuong Pham
Comments: 82 pages, 29 figures
Subjects: Algebraic Topology (math.AT)
[361]  arXiv:1811.05673 (replaced) [pdf, ps, other]
Title: Cutting resilient networks -- complete binary trees
Comments: 29 pages
Subjects: Probability (math.PR); Networking and Internet Architecture (cs.NI); Combinatorics (math.CO)
[362]  arXiv:1811.08791 (replaced) [pdf, ps, other]
Title: The Chern-Simons-Higgs and the Chern-Simons-Dirac equations in Fourier-Lebesgue spaces
Authors: Hartmut Pecher
Comments: 18 pages, minor changes
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[363]  arXiv:1811.12403 (replaced) [pdf, other]
Title: New Convergence Aspects of Stochastic Gradient Algorithms
Comments: Journal of Machine Learning Research. arXiv admin note: substantial text overlap with arXiv:1802.03801
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
[364]  arXiv:1812.00092 (replaced) [pdf, ps, other]
Title: Admissible vectors and Hilbert algebras
Subjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
[365]  arXiv:1812.02128 (replaced) [pdf, other]
Title: A Control-Theoretic Approach for Scalable and Robust Traffic Density Estimation using Convex Optimization
Comments: IEEE Transactions on Intelligent Transportation Systems, In Press
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[366]  arXiv:1812.04940 (replaced) [pdf, ps, other]
Title: The finitary content of sunny nonexpansive retractions
Subjects: Functional Analysis (math.FA); Logic (math.LO)
[367]  arXiv:1812.06689 (replaced) [pdf, other]
Title: Extremal rank-one convex integrands and a conjecture of Šverák
Authors: André Guerra
Journal-ref: Calc. Var. (2019) 58: 201
Subjects: Analysis of PDEs (math.AP)
[368]  arXiv:1812.09390 (replaced) [pdf, ps, other]
Title: Decay of the Local Energy for the Charged Klein-Gordon Equation in the Exterior De Sitter-Reissner-Nordström Spacetime
Authors: Nicolas Besset
Subjects: Mathematical Physics (math-ph)
[369]  arXiv:1812.09679 (replaced) [pdf, ps, other]
Title: Lift of fractional D-brane charge to equivariant Cohomotopy theory
Comments: 47 pages, Python code attached as ancillary file; v2: minor polishing & role of table of marks explicit; v3: physics application brought to the forefront, title changed
Subjects: Representation Theory (math.RT); Mathematical Physics (math-ph); Algebraic Topology (math.AT); Group Theory (math.GR)
[370]  arXiv:1812.11483 (replaced) [pdf, other]
Title: Inverse source problems for positive operators. I. Hypoelliptic diffusion and subdiffusion equations
Comments: 26 pages, 7 figures. arXiv admin note: text overlap with arXiv:1812.01336
Journal-ref: Journal of Inverse and Ill-posed Problems (2019), (Published online)
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[371]  arXiv:1901.01285 (replaced) [pdf, other]
Title: Gramian-Based Model Reduction of Directed Networks
Subjects: Optimization and Control (math.OC)
[372]  arXiv:1901.02044 (replaced) [pdf, other]
Title: Covert Secret Key Generation with an Active Warden
Journal-ref: in IEEE Transactions on Information Forensics and Security, vol. 15, pp. 1026-1039, 2020
Subjects: Information Theory (cs.IT)
[373]  arXiv:1901.03769 (replaced) [pdf, other]
Title: Optimal Multiplexed Erasure Codes for Streaming Messages with Different Decoding Delays
Comments: 20 pages, 1 figure, 1 table, presented in part at 2019 IEEE ISIT
Subjects: Information Theory (cs.IT)
[374]  arXiv:1901.03834 (replaced) [pdf, ps, other]
Title: On the projections of the multifractal packing dimension for q>1
Authors: Bilel Selmi
Subjects: Metric Geometry (math.MG)
[375]  arXiv:1901.05380 (replaced) [pdf, ps, other]
Title: Joint temporal and contemporaneous aggregation of random-coefficient AR(1) processes with infinite variance
Subjects: Statistics Theory (math.ST)
[376]  arXiv:1901.10996 (replaced) [pdf, other]
Title: Knot quandle decompositions
Comments: 23 pages, 12 figures
Subjects: Geometric Topology (math.GT)
[377]  arXiv:1901.11354 (replaced) [pdf, ps, other]
Title: The monic rank
Comments: 26 pages, added a discussion on the monic rank for reducible cones
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
[378]  arXiv:1902.00946 (replaced) [pdf, other]
Title: On Distributed Dynamic Pricing of Multiscale Transportation Networks
Subjects: Dynamical Systems (math.DS); Optimization and Control (math.OC)
[379]  arXiv:1902.01835 (replaced) [pdf, ps, other]
Title: Fano 4-folds with rational fibrations
Comments: 25 pages. Minor changes. To appear in Algebra & Number Theory
Subjects: Algebraic Geometry (math.AG)
[380]  arXiv:1902.03133 (replaced) [pdf, ps, other]
Title: A family of threefolds of general type with canonical map of high degree
Comments: 7 pages; v2: Minor changes, final version to appear on the Taiwanese Journal of Mathematics
Subjects: Algebraic Geometry (math.AG)
[381]  arXiv:1902.05059 (replaced) [pdf, other]
Title: Computation of scattering resonances in absorptive and dispersive media with applications to metal-dielectric nano-structures
Subjects: Numerical Analysis (math.NA)
[382]  arXiv:1902.08537 (replaced) [pdf, other]
Title: Stationary Wave Profiles for Nonlocal Particle Models of Traffic Flow on Rough Roads
Comments: Revised version
Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
[383]  arXiv:1902.09923 (replaced) [pdf, ps, other]
Title: Effect Inference from Two-Group Data with Sampling Bias
Journal-ref: IEEE Signal Processing Letters, vol. 26, no. 8, Aug. 2019
Subjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
[384]  arXiv:1903.00147 (replaced) [pdf, ps, other]
Title: Approximation by finite mixtures of continuous density functions that vanish at infinity
Subjects: Statistics Theory (math.ST)
[385]  arXiv:1903.00451 (replaced) [pdf, ps, other]
Title: Non-linear $\ast$-Jordan triple derivation on prime $\ast$-algebras
Comments: 12 pages
Subjects: Operator Algebras (math.OA)
[386]  arXiv:1903.00873 (replaced) [pdf, ps, other]
Title: Criterion for robustness of global asymptotic stability to perturbations of linear time-varying systems
Authors: Robert Vrabel
Comments: Some inaccuracies of previous version were fixed and the title is changed
Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
[387]  arXiv:1903.03809 (replaced) [src]
Title: A note on the half-liberation operation
Authors: Teo Banica
Comments: Withdrawn by the author - the main findings in this paper are now part of arXiv:1909.08152
Subjects: Operator Algebras (math.OA); Quantum Algebra (math.QA)
[388]  arXiv:1903.03885 (replaced) [src]
Title: Compact quantum groups generated by their tori
Authors: Teo Banica
Comments: Withdrawn by the author - the main findings in this paper are now part of arXiv:1909.08152
Subjects: Operator Algebras (math.OA); Quantum Algebra (math.QA); Representation Theory (math.RT)
[389]  arXiv:1903.03901 (replaced) [pdf, ps, other]
Title: On the arithmetic of a family of twisted constant elliptic curves
Comments: 38 pages. v2: minor changes following referee report
Subjects: Number Theory (math.NT)
[390]  arXiv:1903.05057 (replaced) [pdf, ps, other]
Title: How much delocalisation is needed for an enhanced area law of the entanglement entropy?
Comments: 29 pages, changes in v3: correction of an error in the appendix in Lemma A.2, typos corrected
Subjects: Mathematical Physics (math-ph); Spectral Theory (math.SP); Quantum Physics (quant-ph)
[391]  arXiv:1903.05373 (replaced) [pdf, other]
Title: Separability for mixed states with operator Schmidt rank two
Comments: 12 pages. v2: We thank A. Mueller-Hermes, M. Studinski and N. Johnston for pointing out to us that the first main result of this paper (our Theorem 1) had been first proven by D. Cariello using other techniques. We have updated our manuscript accordingly, have changed the title, and slightly modified the abstract. v3: minor changes. Accepted for publication in Quantum. v4: modified license
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
[392]  arXiv:1903.06595 (replaced) [pdf, other]
Title: Root Cones and the Resonance Arrangement
Subjects: Combinatorics (math.CO)
[393]  arXiv:1903.09877 (replaced) [pdf, other]
Title: On the dependence structure of scrambled (t,m,s)-nets
Comments: 24 pages
Subjects: Probability (math.PR)
[394]  arXiv:1903.11011 (replaced) [pdf, ps, other]
Title: Nondegeneracy of the bubble for the critical p-Laplace equation
Subjects: Analysis of PDEs (math.AP)
[395]  arXiv:1903.11885 (replaced) [pdf, other]
Title: Numerical approximation of poroelasticity with random coefficients using Polynomial Chaos and Hybrid High-Order methods
Comments: 30 pages, 15 Figures
Subjects: Numerical Analysis (math.NA)
[396]  arXiv:1903.12002 (replaced) [pdf, other]
Title: Numerical Root Finding via Cox Rings
Authors: Simon Telen
Subjects: Algebraic Geometry (math.AG)
[397]  arXiv:1904.00793 (replaced) [pdf, other]
Title: The Bolza curve and some orbifold ball quotient surfaces
Comments: A file with Magma code has been added
Subjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
[398]  arXiv:1904.03648 (replaced) [pdf, ps, other]
Title: Exact Green's formula for the fractional Laplacian and perturbations
Authors: Gerd Grubb
Comments: Title changed by insertion of the word "Exact". 22 pages. References added, misprints corrected. To appear in Mathematica Scandinavica
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
[399]  arXiv:1904.04050 (replaced) [pdf, ps, other]
Title: Inclusive scattering matrix and scattering of quasiparticles
Authors: Albert Schwarz
Comments: 15 pages
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Quantum Physics (quant-ph)
[400]  arXiv:1904.04644 (replaced) [pdf, ps, other]
Title: Martingale Optimal Transport Duality
Comments: 27 pages
Subjects: Functional Analysis (math.FA); Mathematical Finance (q-fin.MF)
[401]  arXiv:1904.06001 (replaced) [src]
Title: A note on small gaps between zeros of the Riemann zeta-function
Comments: The authors have found a mistake in the preprint, which invalidates the calculations giving the result of Theorem 1. While the Wu weights are correct, the generalization only holds with functions (or polynomials) which are symmetric in all their variables. The authors do not yet know whether this restriction allows this method to improve on the earlier results or not; this is now work in progress.
Subjects: Number Theory (math.NT)
[402]  arXiv:1904.06287 (replaced) [pdf, ps, other]
Title: Information based approach to stochastic control problems
Authors: Piotr Bania
Comments: This is a preprint of an article accepted for publication in International Journal of Applied Mathematics and Computer Science, AMCS, 20 pages, 1 figure
Subjects: Optimization and Control (math.OC); Category Theory (math.CT)
[403]  arXiv:1904.06446 (replaced) [pdf, ps, other]
Title: Approximation in the mean by rational functions
Subjects: Functional Analysis (math.FA)
[404]  arXiv:1904.06985 (replaced) [pdf, other]
Title: Mean field limits for interacting Hawkes processes in a diffusive regime
Authors: Xavier Erny (LaMME), Eva Löcherbach (SAMM), Dasha Loukianova (LaMME)
Subjects: Probability (math.PR)
[405]  arXiv:1904.07511 (replaced) [pdf, ps, other]
Title: Reinforcement Learning for Nested Polar Code Construction
Comments: 8 pages, 10 figures, propose a multi-stage genetic algorithm
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)
[406]  arXiv:1904.08890 (replaced) [pdf, other]
Title: Quotients of singular foliations and Lie 2-group actions
Comments: Added new Section 4 on groupoid fibrations. Theorem 1.25 improved, Appendix A extended
Subjects: Differential Geometry (math.DG)
[407]  arXiv:1904.10052 (replaced) [pdf, ps, other]
Title: A Schwarz lemma for two families of domains and complex geometry
Comments: Revised, 31 pages
Subjects: Complex Variables (math.CV)
[408]  arXiv:1904.10952 (replaced) [pdf, ps, other]
Title: Invariant curves for endomorphisms of $\mathbb P^1\times \mathbb P^1$
Authors: Fedor Pakovich
Comments: The article is significantly expanded. In particular, it is proved that for any pair of positive integers $(d_1,d_2)$ there exist at most finitely many $(A_1, A_2)$-invariant curves of bi-degree $(d_1,d_2).$. arXiv admin note: text overlap with arXiv:1801.01985
Subjects: Dynamical Systems (math.DS)
[409]  arXiv:1904.12017 (replaced) [pdf, other]
Title: A Distributed Method for Fitting Laplacian Regularized Stratified Models
Comments: 37 pages, 6 figures
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[410]  arXiv:1904.12363 (replaced) [pdf, other]
Title: Toward Undetectable Quantum Key Distribution over Bosonic Channels
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Quantum Physics (quant-ph)
[411]  arXiv:1904.12647 (replaced) [src]
Title: Unitary quantum groups vs quantum reflection groups
Authors: Teo Banica
Comments: Withdrawn by the author - the main findings in this paper are now part of arXiv:1909.08152
Subjects: Quantum Algebra (math.QA)
[412]  arXiv:1905.02458 (replaced) [pdf, other]
Title: Reachability analysis of linear hybrid systems via block decomposition
Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Optimization and Control (math.OC)
[413]  arXiv:1905.02580 (replaced) [pdf, ps, other]
Title: Borderline gradient estimates at the boundary in Carnot groups
Comments: 25 pages
Subjects: Analysis of PDEs (math.AP)
[414]  arXiv:1905.02805 (replaced) [pdf, other]
Title: Network Coding Gaps for Completion Times of Multiple Unicasts
Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[415]  arXiv:1905.03468 (replaced) [pdf, other]
Title: Input-Feedforward-Passivity-Based Distributed Optimization Over Jointly Connected Balanced Digraphs
Comments: 13 pages, 6 figures, submitted to IEEE Transactions on Automatic Control
Subjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA)
[416]  arXiv:1905.03488 (replaced) [pdf, ps, other]
Title: Projections onto the canonical simplex with additional linear inequalities
Authors: L. Adam, V. Mácha
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[417]  arXiv:1905.04677 (replaced) [pdf, ps, other]
Title: A construction for clique-free pseudorandom graphs
Comments: 9 pages, changes based on referee reports: added proofs of some lemmata, new remarks and references
Subjects: Combinatorics (math.CO)
[418]  arXiv:1905.07547 (replaced) [pdf, ps, other]
Title: Kantorovich distance on a finite metric space
Comments: This is a substantial revision of v4 of the paper. Title has been changed to reflect new developments
Subjects: Probability (math.PR)
[419]  arXiv:1905.09473 (replaced) [pdf, ps, other]
Title: A Finite Horizon Optimal Switching Problem with Memory and Application to Controlled SDDEs
Authors: Magnus Perninge
Comments: arXiv admin note: text overlap with arXiv:1808.08080
Subjects: Optimization and Control (math.OC)
[420]  arXiv:1905.11323 (replaced) [pdf, ps, other]
Title: On Traces of Singular Moduli
Authors: Malik Amir
Comments: Expository Article, 37 pages
Subjects: Number Theory (math.NT)
[421]  arXiv:1905.12205 (replaced) [pdf, ps, other]
Title: Distinguished representations, Shintani base change and a finite field analogue of a conjecture of Prasad
Authors: Chang Yang
Comments: 23 pages; The 1st version undergoes a major revision. removed the split hypothesis; added a result in the p-adic case
Subjects: Representation Theory (math.RT)
[422]  arXiv:1905.12299 (replaced) [pdf, ps, other]
Title: A Lichnerowicz Vanishing Theorem for the Maximal Roe Algebra
Comments: 23 pages
Subjects: K-Theory and Homology (math.KT); Differential Geometry (math.DG); Operator Algebras (math.OA)
[423]  arXiv:1905.13485 (replaced) [pdf, ps, other]
Title: The positivity of number sequences and the Ramanujan graphs
Authors: Hau-Wen Huang
Comments: 8 pages
Subjects: Combinatorics (math.CO)
[424]  arXiv:1905.13602 (replaced) [pdf, other]
Title: New preconditioners for Laplace and Helmholtz integral equations on open curves: Analytical framework and Numerical results
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
[425]  arXiv:1906.00331 (replaced) [pdf, ps, other]
Title: On Gradient Descent Ascent for Nonconvex-Concave Minimax Problems
Comments: Revise the proof for Theorem 3.8 and 3.9 in the appendix; correct some typos
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[426]  arXiv:1906.02587 (replaced) [pdf, ps, other]
Title: The reflection map and infinitesimal deformations of sphere mappings
Authors: Michael Reiter
Comments: minor mistakes corrected
Subjects: Complex Variables (math.CV)
[427]  arXiv:1906.03944 (replaced) [pdf, other]
Title: Solving Electrical Impedance Tomography with Deep Learning
Comments: 22 pages, 17 figures
Subjects: Computational Physics (physics.comp-ph); Machine Learning (cs.LG); Numerical Analysis (math.NA)
[428]  arXiv:1906.03949 (replaced) [pdf, other]
Title: Intelligent Reflecting Surface vs. Decode-and-Forward: How Large Surfaces Are Needed to Beat Relaying?
Comments: To appear in IEEE Wireless Communications Letters, 5 pages, 5 figures
Subjects: Information Theory (cs.IT)
[429]  arXiv:1906.06696 (replaced) [pdf, other]
Title: Classical simulation of linear optics subject to nonuniform losses
Comments: 13 pages, 5 figures, v2: improved presentation and additional result regarding unbalanced losses added, comments and suggestions are welcome
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
[430]  arXiv:1906.07342 (replaced) [pdf, other]
Title: Arbitrarily high-order energy-preserving schemes for the Camassa-Holm equation
Comments: 17pages, 17 figures
Subjects: Numerical Analysis (math.NA)
[431]  arXiv:1906.07931 (replaced) [pdf, ps, other]
Title: Exponentiation of Lie Algebras of Linear Operators on Locally Convex Spaces
Comments: A distinction between an "analytic vector" (page 9) and a "projective analytic vector" (page 21) has been made / The Abstract has been modified (an incorrect information has been removed) / New remarks on notations (pages 13, 14) / Theorems 2.13 and 2.14 have been withdrawn / The statements of Theorems 2.16 (now Theorem 2.14) and 3.4 have been improved / Added references: [21], [42], [43]
Subjects: Functional Analysis (math.FA); Mathematical Physics (math-ph); Differential Geometry (math.DG); Dynamical Systems (math.DS); Operator Algebras (math.OA)
[432]  arXiv:1906.08618 (replaced) [pdf, ps, other]
Title: The beginnings of symplectic topology in Bochum in the early eighties
Authors: Eduard Zehnder
Comments: two flaws found by Joa Weber corrected
Journal-ref: Jahresber. Dtsch. Math. Ver. (2019) 121:71-90
Subjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS); History and Overview (math.HO)
[433]  arXiv:1906.10305 (replaced) [pdf, other]
Title: Refinements of the Kiefer-Wolfowitz Theorem and a Test of Concavity
Authors: Zheng Fang
Comments: Forthcoming in Electronic Journal of Statistics. Compared to the journal version, the difference is that this version contains additional simulation results, collected in Appendix C
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)
[434]  arXiv:1906.11008 (replaced) [pdf, other]
Title: A registration method for model order reduction: data compression and geometry reduction
Authors: Tommaso Taddei
Subjects: Numerical Analysis (math.NA)
[435]  arXiv:1907.01673 (replaced) [pdf, ps, other]
Title: Rough traces of $BV$ functions in metric measure spaces
Subjects: Metric Geometry (math.MG); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
[436]  arXiv:1907.02348 (replaced) [pdf, ps, other]
Title: The Huneke-Wiegand conjecture and middle terms of almost split sequences
Comments: 5 pages
Subjects: Commutative Algebra (math.AC)
[437]  arXiv:1907.02552 (replaced) [pdf, other]
Title: The Entanglement of a Bipartite Channel
Comments: 39+3 pages, 15 figures, many typos fixed, presentation improved
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
[438]  arXiv:1907.02723 (replaced) [pdf, ps, other]
Title: A note about scalar curvature on the total space of a vector bundle
Authors: Jialong Deng
Comments: 3 pages. Update the proof of Theorem 1
Subjects: Differential Geometry (math.DG)
[439]  arXiv:1907.05077 (replaced) [pdf, other]
Title: Directing Power Towards Conic Parameter Subspaces
Authors: Nick Koning
Subjects: Statistics Theory (math.ST); Computation (stat.CO); Methodology (stat.ME)
[440]  arXiv:1907.05474 (replaced) [pdf, other]
Title: Introduction to a renormalisation group method
Comments: Book
Journal-ref: Lecture Notes in Mathematics, volume 2242, Springer 2019
Subjects: Mathematical Physics (math-ph); Probability (math.PR)
[441]  arXiv:1907.05520 (replaced) [pdf, other]
Title: The Landscape of Non-convex Empirical Risk with Degenerate Population Risk
Subjects: Optimization and Control (math.OC); Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)
[442]  arXiv:1907.06958 (replaced) [pdf, ps, other]
Title: Actions of cocommutative Hopf algebras
Comments: typos corrected, small changes in notation, references added; to appear in Journal of Algebra
Subjects: Rings and Algebras (math.RA)
[443]  arXiv:1907.08104 (replaced) [pdf]
Title: Operational Interpretations of the Chernoff Inequality
Authors: Roy S. Freedman
Subjects: Probability (math.PR)
[444]  arXiv:1907.10413 (replaced) [pdf, other]
Title: Learning the Tangent Space of Dynamical Instabilities from Data
Subjects: Computational Physics (physics.comp-ph); Machine Learning (cs.LG); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
[445]  arXiv:1907.10920 (replaced) [pdf, other]
Title: On the Geometry of Extended Self-Similar Solutions of the Airy Shallow Water Equations
Journal-ref: SIGMA 15 (2019), 087, 17 pages
Subjects: Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
[446]  arXiv:1907.11744 (replaced) [pdf, ps, other]
Title: Simultaneously vanishing higher derived limits
Comments: 31 pages; the revision reduces the large cardinal assumption from a measurable to a weakly compact cardinal
Subjects: Logic (math.LO); Algebraic Topology (math.AT)
[447]  arXiv:1907.12019 (replaced) [pdf, ps, other]
Title: The Flexibility and Rigidity of Leaper Frameworks
Authors: Nikolai Beluhov
Comments: 62 pages, 15 figures
Subjects: Combinatorics (math.CO)
[448]  arXiv:1908.00066 (replaced) [pdf, other]
Title: Equilibrium states for non-uniformly hyperbolic systems: statistical properties and analyticity
Subjects: Dynamical Systems (math.DS)
[449]  arXiv:1908.00639 (replaced) [pdf, ps, other]
Title: Lagrange Multipliers and Rayleigh Quotient Iteration in Constrained Type Equations
Authors: Du Nguyen
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[450]  arXiv:1908.01131 (replaced) [pdf, ps, other]
Title: Random Tensors and their Normal Distributions
Comments: 29 pages, addressed at 2019 international conference on Matrices and Operators, Chern Institute of Mathematics, Nankai Univ., Tianjin, China, July 24, 2019
Subjects: Statistics Theory (math.ST)
[451]  arXiv:1908.02117 (replaced) [pdf, ps, other]
Title: Open embeddings and pseudoflat epimorphisms
Comments: 21 pages. v2: the proof of Theorem 4.2 is simplified; some references are added
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV); Rings and Algebras (math.RA)
[452]  arXiv:1908.02250 (replaced) [pdf, ps, other]
Title: Properties of the cumulated deficient binary digit sum
Authors: Thomas Baruchel
Subjects: Number Theory (math.NT)
[453]  arXiv:1908.02349 (replaced) [pdf, other]
Title: The Poincare lemma, antiexact forms, and fermionic quantum harmonic oscillator
Comments: 20 pages, 7 figures
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
[454]  arXiv:1908.02821 (replaced) [pdf, other]
Title: Integrable model of a $p$-wave bosonic superfluid
Comments: Phys. Rev. Res. (RC)
Subjects: Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
[455]  arXiv:1908.02867 (replaced) [pdf, ps, other]
Title: Two-weight estimates for sparse square functions and the separated bump conjecture
Comments: 36 pages
Subjects: Classical Analysis and ODEs (math.CA)
[456]  arXiv:1908.03133 (replaced) [pdf, other]
Title: Demystifying the Power Scaling Law of Intelligent Reflecting Surfaces and Metasurfaces
Comments: To appear at IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP), 2019, 5 pages, 4 figures
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)
[457]  arXiv:1908.04879 (replaced) [pdf, ps, other]
Title: Invariant Measures for Nonlinear Conservation Laws Driven by Stochastic Forcing
Comments: 39 pages
Journal-ref: Chinese Annals of Mathematics, 40B(6), 967-1004, 2019
Subjects: Analysis of PDEs (math.AP); Probability (math.PR); Chaotic Dynamics (nlin.CD)
[458]  arXiv:1908.05575 (replaced) [pdf, ps, other]
Title: Ensemble Kalman Inversion: mean-field limit and convergence analysis
Authors: Zhiyan Ding, Qin Li
Subjects: Numerical Analysis (math.NA); Probability (math.PR)
[459]  arXiv:1908.05651 (replaced) [pdf, ps, other]
Title: Almost optimal local well-posedness for the Maxwell-Klein-Gordon system with data in Fourier-Lebesgue spaces
Authors: Hartmut Pecher
Comments: 18 pages, slightly modified version according to the suggestions of the referee, to appear in Comm. Pure Appl. Analysis
Subjects: Analysis of PDEs (math.AP)
[460]  arXiv:1908.06106 (replaced) [pdf, other]
Title: An Octanomial Model for Cubic Surfaces
Comments: 18 pages; New version contains minor expository changes
Subjects: Algebraic Geometry (math.AG)
[461]  arXiv:1908.06781 (replaced) [pdf, other]
Title: The regularized visible fold revisited
Subjects: Dynamical Systems (math.DS)
[462]  arXiv:1908.07583 (replaced) [pdf, other]
Title: Entropy in Themodynamics: from Foliation to Categorization
Comments: 20 pages, 2 figure, a survey paper by no means an original research;
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech)
[463]  arXiv:1908.08491 (replaced) [pdf, ps, other]
Title: On spectral curves and complexified boundaries of the phase-lock areas in a model of Josephson junction
Comments: To appear in the Journal of Dynamical and Control Systems. 50 pages, 17 figures. Minor editorial changes, new references added
Subjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG)
[464]  arXiv:1908.08618 (replaced) [pdf, other]
Title: Stability of Leapfrogging Vortex Pairs: A Semi-analytic Approach
Subjects: Chaotic Dynamics (nlin.CD); Dynamical Systems (math.DS); Fluid Dynamics (physics.flu-dyn)
[465]  arXiv:1908.11147 (replaced) [pdf, ps, other]
Title: Pair Correlations of Niederreiter and Halton Sequences are not Poissonian
Comments: 18 pages, generalized statement of Theorem 1 from Faure to Niederreiter sequences
Subjects: Number Theory (math.NT)
[466]  arXiv:1908.11639 (replaced) [pdf, other]
Title: Geometry of $1$-codimensional measures in Heisenberg groups
Authors: Andrea Merlo
Subjects: Metric Geometry (math.MG)
[467]  arXiv:1908.11716 (replaced) [pdf, ps, other]
Title: Quantum thermodynamics in a static de Sitter space-time and initial state of the universe
Authors: Juan Ignacio Musmarra (IFIMAR, CONICET & UNMdP), Mauricio Bellini (IFIMAR, CONICET & UNMdP)
Comments: Version accepted in EPJC. arXiv admin note: text overlap with arXiv:1904.11599
Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[468]  arXiv:1909.01346 (replaced) [pdf, other]
Title: Entanglement spectrum and entropy in topological non-Hermitian systems and non-unitary conformal field theories
Comments: 17 pages, 11 figures. Clarifying the sensitivity of boundary conditions and details of obtaining c=-2 central charge
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
[469]  arXiv:1909.03307 (replaced) [pdf, ps, other]
Title: Stationary flags, Gaussian scrolls and duality
Authors: Ziv Ran
Subjects: Algebraic Geometry (math.AG)
[470]  arXiv:1909.03923 (replaced) [pdf, ps, other]
Title: Quasiconvexity, null Lagrangians, and Hardy space integrability under constant rank constraints
Comments: Corrected typos
Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
[471]  arXiv:1909.04244 (replaced) [pdf, other]
Title: Contraction: a Unified Perspective of Correlation Decay and Zero-Freeness of 2-Spin Systems
Authors: Shuai Shao, Yuxin Sun
Comments: 21 pages, 3 figures. Update: two correlation decay sets were added; a discussion with an independent work by Liu with similar results was given
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Data Structures and Algorithms (cs.DS)
[472]  arXiv:1909.06663 (replaced) [pdf, other]
Title: A Fully Fourth Order Accurate Energy Stable Finite Difference Method for Maxwell's Equations in Metamaterials
Subjects: Numerical Analysis (math.NA)
[473]  arXiv:1909.06797 (replaced) [pdf, other]
Title: Quantum Mechanics of Plancherel Growth
Comments: 27 pages, 8 figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[474]  arXiv:1909.08123 (replaced) [pdf, ps, other]
Title: On sets of commuting and anticommuting Paulis
Comments: 14 pages, minor changes, additional references
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Group Theory (math.GR)
[475]  arXiv:1909.08382 (replaced) [pdf, ps, other]
Title: Multiplicity one theorem for the generalized doubling method
Comments: The main body of the paper by Dmitry Gourevitch and Eyal Kaplan. Appendix A by Avraham Aizenbud and Dmitry Gourevitch. V2: Appendix A added
Subjects: Number Theory (math.NT); Representation Theory (math.RT)
[476]  arXiv:1909.08551 (replaced) [pdf, ps, other]
Title: Topological Recursion in The Ramond Sector
Authors: Kento Osuga
Comments: 41 pages. v2: published version (minor changes to the presentation, references added)
Journal-ref: JHEP 1910 (2019) 286
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[477]  arXiv:1909.09042 (replaced) [pdf, ps, other]
Title: Quasi-transitive Maps on the Plane
Authors: Arun Maiti
Comments: 8 pages, 8 figures
Subjects: Geometric Topology (math.GT); Combinatorics (math.CO)
[478]  arXiv:1909.12787 (replaced) [pdf, ps, other]
Title: Edwards' condition for quasitraces on C*-algebras
Comments: 18 pages; minor changes
Subjects: Operator Algebras (math.OA)
[479]  arXiv:1909.12821 (replaced) [pdf, other]
Title: Central limit theorem for mesoscopic eigenvalue statistics of deformed Wigner matrices and sample covariance matrices
Comments: Added a section on linear eigenvalue statistics of sample covariance matrices
Subjects: Probability (math.PR)
[480]  arXiv:1909.13399 (replaced) [pdf, other]
Title: A new bound for smooth spline spaces
Comments: v1: 4 pages, 1 figure. v2: minor stylistic changes
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Numerical Analysis (math.NA)
[481]  arXiv:1909.13461 (replaced) [pdf, ps, other]
Title: On Seshadri constants of non-simple abelian varieties
Authors: Rikito Ohta
Comments: 12 pages; v3: corrected the mistakes on Proposition 4.3, some grammatical mistakes and typos
Subjects: Algebraic Geometry (math.AG)
[482]  arXiv:1909.13588 (replaced) [pdf, ps, other]
Title: Short star-products for filtered quantizations, I
Comments: 32 pages, latex; in v2 there is a new theorem on rationality of characters of Verma modules in Section 4.2
Subjects: Representation Theory (math.RT); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
[483]  arXiv:1910.00148 (replaced) [pdf, other]
Title: Luminical Propagation of Gravitational Waves in Scalar-tensor Theories: The Case for Torsion
Comments: 16 pages, 2 figures. v2: 17 pages, 2 figures, updated references, version accepted for publication in PRD
Subjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[484]  arXiv:1910.00960 (replaced) [pdf, other]
Title: A Framework for Differential Calculus on Persistence Barcodes
Comments: 42 pages. Added (10/11/19): - Section 3.4: Higher order derivatives. - Section 4.4: The barcode as a local permutation map, and a local converse to the stability theorem. - Section 7.2: The general case is treated in the Appendix B. - Section 4.3: Turned the former remark 4.20 into the new Proposition 4.15 and Corollary 4.19, after several requests for clarifications of this section
Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG); Differential Geometry (math.DG); Optimization and Control (math.OC)
[485]  arXiv:1910.01397 (replaced) [pdf, other]
Title: Group-like Uninorms
Authors: Sándor Jenei
Subjects: Logic (math.LO)
[486]  arXiv:1910.02327 (replaced) [pdf, other]
Title: Packing Disks by Flipping and Flowing
Comments: Submitted version
Subjects: Metric Geometry (math.MG); Combinatorics (math.CO)
[487]  arXiv:1910.02331 (replaced) [pdf, ps, other]
Title: Some sharp isoperimetric-type inequalities on Riemannian manifolds
Authors: Kwok-Kun Kwong
Comments: 25 pages. Some results improved and some new results added. Corrected some inaccuracies
Subjects: Differential Geometry (math.DG)
[488]  arXiv:1910.03562 (replaced) [pdf, ps, other]
Title: Two-component Yang-Baxter maps associated to integrable quad equations
Authors: Andrew P. Kels
Comments: 60 pages, 6 figures, v2: Added the Q4 2-component parameter case, corrections to text, v3: added more general form of gauge transformation used for Q4 case, v4: typos and improvements to text, v5: corrected compact notations (133), and (164)
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Quantum Algebra (math.QA); Exactly Solvable and Integrable Systems (nlin.SI)
[489]  arXiv:1910.03972 (replaced) [pdf, ps, other]
Title: Local well-posedness of the two-dimensional Dirac-Klein-Gordon equations in Fourier-Lebesgue spaces
Authors: Hartmut Pecher
Comments: 10 pages, proof of Prop. 2.5 detailed
Subjects: Analysis of PDEs (math.AP)
[490]  arXiv:1910.04264 (replaced) [pdf, ps, other]
Title: Complex geometry and fundamental physical law
Authors: Mike R. Jeffrey
Comments: 42 pages, 1 figure
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc)
[491]  arXiv:1910.04418 (replaced) [pdf, ps, other]
Title: CLT and MDP for McKean-Vlasov SDEs
Comments: 18pages
Subjects: Probability (math.PR)
[492]  arXiv:1910.05218 (replaced) [pdf, ps, other]
Title: Computing period integrals of rigid double octic Calabi-Yau threefolds with Picard-Fuchs operator
Authors: Tymoteusz Chmiel
Subjects: Algebraic Geometry (math.AG)
[493]  arXiv:1910.06124 (replaced) [pdf, other]
Title: Curve Based Approximation of Measures on Manifolds by Discrepancy Minimization
Subjects: Optimization and Control (math.OC)
[494]  arXiv:1910.06220 (replaced) [pdf, other]
Title: Joint Active and Passive Beamforming Optimization for Intelligent Reflecting Surface Assisted SWIPT under QoS Constraints
Comments: We address the QoS-constrained beamforming optimization problem in IRS-aided SWIPT systems. More interesting works and an overview on IRS can be found at this https URL
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[495]  arXiv:1910.06502 (replaced) [pdf, ps, other]
Title: Modular forms on indefinite orthogonal groups of rank three
Authors: Aaron Pollack
Comments: added application to next-to-minimal modular form on quaternionic $E_8$
Subjects: Number Theory (math.NT); Representation Theory (math.RT)
[496]  arXiv:1910.06846 (replaced) [src]
Title: A greedy anytime algorithm for sparse PCA
Comments: improving results
Subjects: Statistics Theory (math.ST); Computational Complexity (cs.CC); Machine Learning (cs.LG)
[497]  arXiv:1910.07672 (replaced) [pdf, other]
Title: A General Scenario Theory For Security-Constrained Unit Commitment With Probabilistic Guarantees
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[498]  arXiv:1910.09263 (replaced) [pdf, ps, other]
Title: Transversal hard Lefschetz theorem on transversely symplectic foliations
Comments: We revised Remark 1.3 (1) in the previous vesion
Subjects: Differential Geometry (math.DG)
[499]  arXiv:1910.09549 (replaced) [pdf, ps, other]
Title: Asymptotic Flux Compactifications and the Swampland
Comments: 67 pages, v2: renamed singularity types to more naturally structure enhancement patterns, typos fixed, minor clarifications and references added
Subjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG)
[500]  arXiv:1910.09969 (replaced) [pdf, ps, other]
Title: Non-real Poles and Irregularity of Distribution
Authors: David Lowry-Duda
Comments: 7 pages
Subjects: Number Theory (math.NT); Complex Variables (math.CV)
[501]  arXiv:1910.10074 (replaced) [pdf, ps, other]
Title: Improved bounds on the dimensions of sets that avoid approximate arithmetic progressions
Comments: 14 pages. v2: minor corrections and clarifications
Subjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO); Metric Geometry (math.MG)
[502]  arXiv:1910.10347 (replaced) [pdf, ps, other]
Title: Simplicity of tensor products of Kirillov--Reshetikhin modules: nonexceptional affine and G types
Comments: 116 page, This is an arxiv version with details on computations. We corrected typos and revised little bit
Subjects: Quantum Algebra (math.QA); Representation Theory (math.RT)
[503]  arXiv:1910.11403 (replaced) [pdf, ps, other]
Title: Games in possibility capacities with payoff expressed by fuzzy integral
Authors: Taras Radul
Subjects: General Topology (math.GN)
[504]  arXiv:1910.12341 (replaced) [pdf, ps, other]
Title: On lifting invariant probability measures
Authors: Tomasz Cieśla
Comments: 4 pages. The main result is the updated version is more general
Subjects: Dynamical Systems (math.DS)
[505]  arXiv:1910.12609 (replaced) [pdf, ps, other]
Title: Topological invariants of some chemical reaction networks
Authors: Jack Morava
Comments: Some typos corrected; the main conjecture [\S 3.2.3] has been restated more precisely
Subjects: Algebraic Topology (math.AT)
[506]  arXiv:1910.13250 (replaced) [pdf, ps, other]
Title: Unit equations on quaternions
Authors: Yifeng Huang
Comments: 9 pages
Subjects: Number Theory (math.NT)
[507]  arXiv:1910.13252 (replaced) [pdf, ps, other]
Title: The isomorphism types of parabolic subgroups in Kac-Moody groups
Comments: 10 page
Subjects: Group Theory (math.GR); Algebraic Topology (math.AT); Representation Theory (math.RT)
[508]  arXiv:1910.13260 (replaced) [src]
Title: Fully adaptive proximal extrapolated gradient method for monotone variational inequalities
Authors: Xiaokai Chang
Comments: There are critical errors on the lemma and theorem
Subjects: Optimization and Control (math.OC)
[509]  arXiv:1910.13290 (replaced) [pdf, other]
Title: Adaptive Causal Network Coding with Feedback for Multipath Multi-hop Communications
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[510]  arXiv:1910.13702 (replaced) [pdf, ps, other]
Title: Characterization of expansive polynomials by special determinants
Authors: M. J. Uray
Subjects: Number Theory (math.NT)
[511]  arXiv:1910.14474 (replaced) [pdf, other]
Title: Coisotropic Ekeland-Hofer capacities
Comments: We added an appendix in which the connectedness of the subgroup ${\rm Sp}(2n,k)$ was proved, corrected a few errors, and fixed some typos. 34 pages, 2 figures
Subjects: Symplectic Geometry (math.SG)
[512]  arXiv:1910.14482 (replaced) [pdf, other]
Title: Extending the Parisi formula along a Hamilton-Jacobi equation
Comments: 16 pages
Subjects: Probability (math.PR)
[513]  arXiv:1910.14640 (replaced) [pdf, ps, other]
Title: Finite and infinite Euler products of Ramanujan expansions
Authors: Giovanni Coppola
Comments: MSC, Keywords (& 2 books) added and minor errors fixed
Subjects: Number Theory (math.NT)
[514]  arXiv:1911.00206 (replaced) [pdf, ps, other]
Title: Symbolic extensions for 3-dimensional diffeomorphisms
Subjects: Dynamical Systems (math.DS)
[515]  arXiv:1911.00672 (replaced) [pdf, other]
Title: Scaling limit for stochastic control problems in population dynamics
Comments: 2 figures
Subjects: Probability (math.PR); Optimization and Control (math.OC)
[516]  arXiv:1911.00834 (replaced) [pdf, ps, other]
Title: Remark on a lower bound of perturbations in 2D inviscid shear flow in a periodic box
Authors: Tsuyoshi Yoneda
Subjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.flu-dyn)
[517]  arXiv:1911.00843 (replaced) [pdf, ps, other]
Title: Existence and uniqueness of solution of free boundary problems with partially degenerate diffusion
Comments: 12
Subjects: Analysis of PDEs (math.AP)
[518]  arXiv:1911.01238 (replaced) [pdf, ps, other]
Title: Controllability and Vector Potential: Six Lectures at Steklov
Authors: Shiva Shankar
Comments: This version includes subject index
Subjects: Optimization and Control (math.OC)
[519]  arXiv:1911.01788 (replaced) [pdf, ps, other]
Title: Translation quiver varieties
Authors: Sergey Mozgovoy
Comments: 34 pages
Subjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
[520]  arXiv:1911.01863 (replaced) [pdf, ps, other]
Title: Infinitesimal bendings of submanifolds
Subjects: Differential Geometry (math.DG)
[521]  arXiv:1911.01931 (replaced) [pdf, other]
Title: Online matrix factorization for Markovian data and applications to Network Dictionary Learning
Comments: 32 pages, 12 figures
Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC); Probability (math.PR); Machine Learning (stat.ML)
[522]  arXiv:1911.01970 (replaced) [pdf, ps, other]
Title: Global existence of strong solutions to a biological network formulation model in $2+1$ dimensions
Authors: Xiangsheng Xu
Subjects: Analysis of PDEs (math.AP)
[523]  arXiv:1911.01984 (replaced) [pdf, other]
Title: A hybridized discontinuous Galerkin method for Poisson-type problems with sign-changing coefficients
Subjects: Numerical Analysis (math.NA)
[524]  arXiv:1911.02171 (replaced) [pdf, other]
Title: Minimax Nonparametric Two-sample Test
Comments: 56 pages
Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP); Machine Learning (stat.ML)
[525]  arXiv:1911.02233 (replaced) [pdf, ps, other]
Title: Permutations With Restricted Movement
Authors: Dor Elimelech
Comments: Master's thesis of Dor Elimelech
Subjects: Dynamical Systems (math.DS); Information Theory (cs.IT)
[526]  arXiv:1911.02400 (replaced) [pdf, ps, other]
Title: Proof of the Collatz Conjecture
Subjects: General Mathematics (math.GM)
[527]  arXiv:1911.02664 (replaced) [pdf, other]
Title: On fixed-point, Krylov, and $2\times 2$ block preconditioners for nonsymmetric problems
Comments: Submitted to SIMAX
Subjects: Numerical Analysis (math.NA)
[528]  arXiv:1911.02922 (replaced) [pdf]
Title: Persistent Homology as Stopping-Criterion for Natural Neighbor Interpolation
Subjects: Computational Geometry (cs.CG); Machine Learning (cs.LG); Algebraic Topology (math.AT); Machine Learning (stat.ML)
[529]  arXiv:1911.03120 (replaced) [pdf, ps, other]
Title: An Interior A Priori Estimate for Solutions to Monge-Ampère Equations with Right-Hand Side Close to One
Comments: 14 pages
Subjects: Analysis of PDEs (math.AP)
[530]  arXiv:1911.03197 (replaced) [pdf, other]
Title: Dissipative systems in metric theories of gravity. Foundations and applications of the energy formalism
Comments: 18 pages, 3 Figures
Subjects: High Energy Physics - Theory (hep-th); High Energy Astrophysical Phenomena (astro-ph.HE); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[531]  arXiv:1911.03357 (replaced) [pdf, ps, other]
Title: Hybrid convergence of Kähler-Einstein measures
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
[ total of 531 entries: 1-531 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 1911, contact, help  (Access key information)