Mathematics
New submissions
[ 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 fieldsComments: arXiv admin note: text overlap with arXiv:1704.04943Subjects: Probability (math.PR); Mathematical Physics (mathph)
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 twopoint 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 shortrange behaviour of critical points depends on their index.
 [2] arXiv:1911.03457 [pdf, ps, other]

Title: Groups acting on trees and the EilenbergGanea problem for familiesAuthors: Luis Jorge Sánchez SaldañaComments: Comments are welcome. arXiv admin note: text overlap with arXiv:1904.04632Subjects: 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 polycyclic subgroups. Our main ingredients are the examples constructed by BradyLearyNucinckis and FluchLeary, and BassSerre theory.
 [3] arXiv:1911.03460 [pdf, ps, other]

Title: A Comparison of Two Generalisations of Triplets of Hilbert SpacesComments: 14 pages. arXiv admin note: substantial text overlap with arXiv:1309.0176Subjects: 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 copulasComments: 13 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1909.06648Subjects: Statistics Theory (math.ST); Statistical Finance (qfin.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 cyclesAuthors: David B. MasseyComments: 6 pages. arXiv admin note: text overlap with arXiv:math/0504380Subjects: 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 AutomationComments: arXiv admin note: text overlap with arXiv:1903.03084Subjects: 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 twolevel control architecture for CAVs to optimize (1) the vehicle's speed profile, aimed at minimizing stopandgo 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 spacesAuthors: Lawrence MouilléComments: 9 pagesSubjects: 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, PetersenWilhelm conjecture, Berger fixed point theorem, and HsiangKleiner theorem do not hold in the $\mathrm{Ric}_2>0$ setting.
 [8] arXiv:1911.03496 [pdf, ps, other]

Title: Isomorphism between the Rmatrix and Drinfeld presentations of quantum affine algebra: types B and DComments: 56 pages. arXiv admin note: substantial text overlap with arXiv:1903.00204Subjects: Quantum Algebra (math.QA); Mathematical Physics (mathph); 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 spacesComments: 9 pagesSubjects: Functional Analysis (math.FA)
In this paper, the value of deviation of a function f from its nth generalized de la ValleePoussin mean with respect to the nonlinear trigonometric system is estimated for the classes of 2 piperiodic functions in the uniform norm and in the generalized Holder norm .
 [10] arXiv:1911.03510 [pdf, ps, other]

Title: ThomasFermi approximation to electronic densityAuthors: Victor IvriiComments: 6 ppSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph)
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 ThomasFermi density.
 [11] arXiv:1911.03511 [pdf, other]

Title: Generalized flatness constants, spanning lattice polytopes, and the Gromov widthComments: 11 pages, 2 figuresSubjects: 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 3spheresAuthors: Yuhan SunComments: 52 pages, 13 figuresSubjects: Symplectic Geometry (math.SG)
We estimate the displacement energy of Lagrangian 3spheres in a symplectic 6manifold $X$, by estimating the displacement energy of a oneparameter 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 GromovWitten invariants under the conifold transition.
 [13] arXiv:1911.03520 [pdf, ps, other]

Title: Quantum Kirwan for quantum KtheoryComments: 46 pagesSubjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
For G a complex reductive group and X a smooth projective or convex quasiprojective polarized Gvariety we construct a formal map in quantum Ktheory from the equivariant quantum Ktheory QK^G(X) to the quantum Ktheory of the git quotient X//G assuming the quotient X//G is a smooth DeligneMumford stack with projective coarse moduli space. As an example, we give a presentation of the (possibly bulkshifted) quantum Ktheory of any smooth proper toric DeligneMumford stack with projective coarse moduli space. We also provide awallcrossing formula for the Ktheoretic gauged potential under variation of git quotient, a proof of the invariance of certain Ktheoretic GromovWitten invariants under (strong) crepant transformation assumptions, and a proof of a version of the abelian nonabelian correspondence. We revisit a formula of Taipale for the Ktheoretic Jfunction 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 operatorsComments: 34 pagesSubjects: Functional Analysis (math.FA); Complex Variables (math.CV); Spectral Theory (math.SP)
A unitarily invariant, complete NevanlinnaPick 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 subspacesAuthors: Edward J. TimkoComments: 3 pagesSubjects: 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: TransmitReceive Generalized Spatial Modulation Based on Duallayered MIMO TransmissionSubjects: Information Theory (cs.IT)
We propose a novel scheme for downlink multiuser multipleinput multipleoutput (MIMO) systems, called duallayered transmitreceive generalized spatial modulation (DLTRGSM). The proposed scheme is based on the concept of duallayered 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 DLTRGSM, the optimal ratio between the two power levels is determined. To further characterize DLTRGSM, we fully derive the computational complexity and show a significant computational complexity reduction as well as a required hardware complexity reduction of DLTRGSM, compared to a stateoftheart benchmark scheme. Simulation results confirm the performance advantages of DLTRGSM.
 [17] arXiv:1911.03539 [pdf, other]

Title: Bridging Bayesian and Minimax Mean Square Error Estimation via Wasserstein Distributionally Robust OptimizationSubjects: 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 zerosum game between a statistician choosing an estimatorthat is, a measurable function of the observationand a fictitious adversary choosing a priorthat is, a pair of signal and noise distributions ranging over independent Wasserstein ballswith 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 zerosum 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 FrankWolfe algorithm that can solve this convex program orders of magnitude faster than stateoftheart general purpose solvers. We show that this algorithm enjoys a linear convergence rate and that its directionfinding subproblems can be solved in quasiclosed form.
 [18] arXiv:1911.03544 [pdf, ps, other]

Title: On selfsimilar solutions to degenerate compressible NavierStokes equationsSubjects: Analysis of PDEs (math.AP)
We study cavitating selfsimilar solutions to compressible NavierStokes equations with degenerate densitydependent viscosity. We prove both existence of expanders and nonexistence of small shrinkers.
 [19] arXiv:1911.03546 [pdf, ps, other]

Title: Polyharmonic Kirchhoff problems involving exponential nonlinearity of Choquard type with singular weightsComments: arXiv admin note: text overlap with arXiv:1810.00583Subjects: Analysis of PDEs (math.AP)
In this work, we study the higher order Kirchhoff type Choquard equation $(KC)$ involving a critical exponential nonlinearity and singular weights. We prove the existence of solution to $(KC)$ using Mountain pass Lemma in light of MoserTrudinger and singular AdamsMoser 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 convexconcave type nonlinearity.
 [20] arXiv:1911.03550 [pdf, other]

Title: Approximation of Potential Energy Surfaces with Spherical HarmonicsAuthors: Markus Bachmayr, Gabor Csanyi, Genevieve Dusson, Simon Etter, Cas van der Oord, Christoph OrtnerSubjects: 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 quasilinear irreducibility test in K[[x]][y]Comments: 29 pages. arXiv admin note: substantial text overlap with arXiv:1904.00286Subjects: 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 quasilinear with respect to the discriminant valuation, assuming the input polynomial F squarefree 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 finitedimensional Nichols algebras of diagonal type in positive characteristicAuthors: Jing WangComments: arXiv admin note: text overlap with arXiv:1505.07358Subjects: 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 twoscale cutandprojection convergenceComments: 28 pages, 2 figuresSubjects: Analysis of PDEs (math.AP); Materials Science (condmat.mtrlsci); 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 cutandprojection method that is used to characterize effective properties of quasiperiodic materials. Characterization of cutandprojection 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 SubgroupComments: 10 pagesSubjects: 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 semidirect 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 monoidsComments: This paper is dedicated to Roger and Sylvia Wiegand  mentors, role models, and friends  on the occasion of their combined 151st birthdaySubjects: 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 nonunique directsum decompositions of modules over local Noetherian rings for which the KrullRemakSchmidt property fails.
 [26] arXiv:1911.03568 [pdf, ps, other]

Title: A Spline Chaos ExpansionAuthors: Sharif RahmanComments: 28 pages, one table, seven figures; accepted by SIAM/ASA Journal on Uncertainty QuantificationSubjects: 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 (Bsplines) in input random variables. The multivariate Bsplines are built from a whitening transformation to generate univariate orthonormal Bsplines in each coordinate direction, followed by a tensorproduct structure to produce the multivariate version. SCE, as it stems from compactly supported Bsplines, 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 meansquare 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 loworder SCE approximation with an adequate mesh is markedly more accurate than a highorder 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^1Authors: Rob SilversmithComments: 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 Zariskilocally 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 AltmannSturmfels, HeringMaclagan, and others.  [28] arXiv:1911.03574 [pdf, ps, other]

Title: New error bounds for Laplace approximation via Stein's methodAuthors: Robert E. GauntComments: 22 pagesSubjects: 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 termSubjects: 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 FaedoGalarkin approximation method we prove the wellposedness 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 ApplicationsSubjects: 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, realtime 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 functionsAuthors: Marek SvetlikSubjects: 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: Semistable higgs bundles and flat bundles over nonKähler manifoldsComments: 33 pagesSubjects: Differential Geometry (math.DG)
In this paper, we study Higgs bundles and flat bundles over nonK\"ahler manifolds. Suppose $(X,\omega)$ is a compact Hermitian manifold of dimension $n$ satisfying $\partial\bar{\partial}\omega^{n1}=\partial\bar{\partial}\omega^{n2}=0$, we prove that every semistable Higgs bundle $(E,\bar{\partial}_{E},\theta)$ over $(X,\omega)$ with vanishing first and second Chern numbers is an extension of HiggsHermitian flat bundles. Moreover, suppose $(X,\omega)$ also satisfies $\int_{X}\partial [\eta]\wedge\frac{\omega^{n1}}{(n1)!}=0$ for every $[\eta]\in H^{0,1}(X)$, we prove that there is an equivalence of categories between the category of polystable Higgs bundles with vanishing Chern numbers and the category of semisimple flat bundles. At last, in rank $2$ case, we show that there is an onetoone correspondence between the moduli space of semistable 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 groupAuthors: Leonardo Francisco CavenaghiComments: 7 pages. Comments are welcomeSubjects: 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 IISubjects: 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 nonsubscripted unstable higher Toda brackets.
 [35] arXiv:1911.03613 [pdf, ps, other]

Title: On the structure of variable exponent spacesSubjects: 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 polyhedraSubjects: 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 ActionsSubjects: 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 nonzero transmission probabilities of Bernoulli channels.
 [38] arXiv:1911.03625 [pdf, ps, other]

Title: Recent developments in controlled crowd dynamicsSubjects: Optimization and Control (math.OC); Mathematical Physics (mathph); 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: InclusionExclusionLike identitiesAuthors: Muneerah Al NuwairanComments: 15 pagesSubjects: 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_{\leftI\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 curveAuthors: Arijit MukherjeeComments: All comments are welcomeSubjects: Algebraic Geometry (math.AG)
In this paper, our aim is to find the relations amongst the cohomology classes of BrillNoether 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 RepresentationSubjects: 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)= ab\rho$ is affine, using the HardyLittlewood rearrangement inequality we prove that the limit is the unique entropyadmissible solution to the scalar conservation law.  [42] arXiv:1911.03641 [pdf, ps, other]

Title: (Co)Homology Selfcloseness Numbers of Simplyconnected SpacesAuthors: Pengcheng LiComments: 20 pagesSubjects: Algebraic Topology (math.AT)
The (co)homology closeness number of a simplyconnected based CWcomplexes $X$ is the minimal number $k$ such that any selfmap $f$ of $X$ inducing an automorphism of the (co)homology groups for dimensions$\leq k$ is a selfhomotopy equivalence. These two numbers are homotopy invariants and have a close relation with the group of selfhomotopy equivalences. In this paper, we compare the (co)homology closeness numbers of spaces in certain cofibrations, define the mod $p$ (co)homology closenessnumber of simplyconnected $p$local spaces with finitely generated homologies and study some properties of the (mod $p$) (co)homology selfcloseness numbers.
 [43] arXiv:1911.03647 [pdf, ps, other]

Title: Schiffer comparison operators and approximations on Riemann surfaces bordered by quasicirclesComments: 25 pagesSubjects: Complex Variables (math.CV); Mathematical Physics (mathph); Differential Geometry (math.DG)
We consider a compact Riemann surface $R$ of arbitrary genus, with a finite number of nonoverlapping quasicircles, which separate $R$ into two subsets: a connected Riemann surface $\Sigma$, and the union $\mathcal{O}$ of a finite collection of simplyconnected regions. We prove that the Schiffer integral operator mapping the Bergman space of antiholomorphic oneforms on $\mathcal{O}$ to the Bergman space of holomorphic forms on $\Sigma$ is an isomorphism. We then apply this to prove versions of the PlemeljSokhotski isomorphism and jump decomposition for such a configuration. Finally we obtain some approximation theorems for the Bergman space of oneforms 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 nondivergence form and HamiltonJacobiBellman equations with Cordes coefficientsAuthors: Shuonan WuComments: 20 pagesSubjects: Numerical Analysis (math.NA)
This paper is concerned with $C^0$ finite element approximations of the linear elliptic equations in nondivergence form and the HamiltonJacobiBellman (HJB) equations with Cordes coefficients. Motivated by the MirandaTalenti estimate, a discrete analog is proved once the finite element space is $C^0$ on the $(n1)$dimensional subsimplex (face) and $C^1$ on $(n2)$dimensional subsimplex. The main novelty of the nonstandard finite element methods is to introduce an interior penalty term to argument the PDEinduced variational form of the linear elliptic equations in nondivergence 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 nondivergence 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 priorsaturation points in minimal time problems in the planeSubjects: Optimization and Control (math.OC)
In this paper, we consider minimal time problems governed by controlaffinesystems 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 priorsaturation 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 priorsaturation point. This property is proved using the Pontryagin Maximum Principle that also provides a set of nonlinear equations that can be used to compute the priorsaturation point. These issues are illustrated on a fedbatch model in bioprocesses and on a Magnetic Resonance Imaging (MRI) model for which minimal time syntheses for the pointtopoint problem are discussed.
 [46] arXiv:1911.03656 [pdf, ps, other]

Title: Visible actions and criteria for multiplicityfreeness of representations of Heisenberg groupsComments: 32 pagesSubjects: 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 orbitpreserving antiholomorphic diffeomorphism $\sigma $ such that $\sigma _S = \operatorname{id}_S$. Let $G$ be the Heisenberg group and $H$ a nontrivial 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 coexponential 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 orbitpreserving antiholomorphic 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 multiplicityfree theorems on continuous representations on the space of holomorphic sections on $D$. Moreover, we also generate as a consequence, a geometric criterion for a quasiregular representation of $G$ to be multiplicityfree.
 [47] arXiv:1911.03659 [pdf, other]

Title: Locally equivalent Floer complexes and unoriented link cobordismsAuthors: Alberto CavalloSubjects: 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 4dimensional smooth crosscap number $\gamma_4(L)$.
 [48] arXiv:1911.03661 [pdf, ps, other]

Title: Cost for a controlled linear KdV equationSubjects: 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 queuesComments: 14 pagesSubjects: 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 LaplaceStieltjes transform of the steadystate 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 LaplaceStieltjes 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 intervalvalued functionsSubjects: General Mathematics (math.GM)
In this paper we propose a new concept of differentiability for intervalvalued functions. This concept is based on the properties of the HausdorffPompeiu metric and avoids using the generalized Hukuhara difference.
 [51] arXiv:1911.03682 [pdf, other]

Title: Optimized geometrical metrics satisfying freestream preservationAuthors: Irving Reyna Nolasco, Lisandro Dalcin, David C. Del Rey Fernandez, Stefano Zampini, Matteo ParsaniComments: 22 pages and one appendix sectionSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph); Fluid Dynamics (physics.fludyn)
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 highorder accurate entropy stable schemes on distorted, highorder tensor product elements are used to simulate threedimensional 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 PawFree EditingSubjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)
For a fixed graph $H$, the $H$freeediting 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 NPcomplete 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$freeediting 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$freeediting admits polynomial kernels only for few small graphs $H$, unless $\textsf{coNP} \in \textsf{NP/poly}$. Therefore, resolving the kernelization of $H$freeediting 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 pawfree editing with $O(k^{6})$vertices.
 [53] arXiv:1911.03685 [pdf, other]

Title: Estimation of entropy measures for categorical variables with spatial correlationComments: 7 pages, 3 figuresSubjects: 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 NetworksComments: 6 pages, 1 figure, conferenceSubjects: Dynamical Systems (math.DS)
We investigate a broad family of chemical reaction networks (CRNs) assigned with mass action kinetics, called complexbalancedproducedCRNs (CBPCRNs), 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 CBPCRNs. 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 CBPCRNs. 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 MapsComments: 18 pagesSubjects: 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 degreewise 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 wellposdness of Prandtl system with small analytic dataSubjects: Analysis of PDEs (math.AP)
In this paper, we prove the global wellposedness 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 decayintime 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 globalintime CauchyKowalevsakya 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 driftAuthors: William OçafrainComments: 11 pagesSubjects: Probability (math.PR)
This paper deals with the rate of convergence in 1Wasserstein 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 functionsAuthors: Lloyd N. TrefethenSubjects: 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 leastsquares 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 $(1q)(1q^2)(1q^3)\dots(1q^{n1})(1q^n)$ occur?Comments: 9 pages, 1 figure, 3 tablesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
We used the MACH2 supercomputer to study coefficients in the $q$series expansion of $(1q)(1q^2)\dots(1q^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 massaction systemsSubjects: 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 nondelayed 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 LyapunovKrasovskii functional, we can obtain a longtime 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: Timevarying vector norm and lower and upper bounds on the solutions of uniformly asymptotically stable linear systemsAuthors: Robert VrabelComments: 14 pagesSubjects: Classical Analysis and ODEs (math.CA)
Based on the eigenvalue idea and the timevarying 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 timeinvariant systems to the linear timevarying ones.
 [62] arXiv:1911.03715 [pdf, ps, other]

Title: Twists of two or multiple idempotent matricesAuthors: Yongge TianComments: 24 pagesSubjects: 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 materialsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
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 lowfrequency 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: BlockCoordinate Descent on the Riemannian Staircase for Certifiably Correct Distributed Rotation and Pose SynchronizationComments: technical report versionSubjects: Optimization and Control (math.OC); Robotics (cs.RO)
This paper presents the first certifiably correct solver for distributed posegraph 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 stateoftheart centralized techniques. In particular, under low noise, the proposed distributed solver is guaranteed to find globally optimal solutions despite the nonconvexity of PGO. To solve the resulting largescale semidefinite programs, we adopt the stateoftheart Riemannian Staircase framework and develop Riemannian blockcoordinate descent (RBCD) as the core distributed local search algorithm. RBCD is wellsuited 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 firstorder 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 stateoftheart performance of the proposed distributed solver.
 [65] arXiv:1911.03729 [pdf, ps, other]

Title: Strichartz estimates and Fourier restriction theorems on the Heisenberg groupComments: 28 pagesSubjects: 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 nondispersive 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 noncommutative 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 primesAuthors: Salvatore TringaliComments: 3 pages, no figures. Comments are welcomeSubjects: 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 nonzero 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 nonassociated atoms.
 [67] arXiv:1911.03733 [pdf, ps, other]

Title: Local and 2local derivations of solvable Leibniz algebrasSubjects: 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 1dimension complementary space, admit local derivations which are not derivations. Moreover, similar problem concerning 1local derivations of such algebras are investigated and an example of solvable Leibniz algebra given such that any 2local 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 JBWalgebrasComments: 17 pagesSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
In this paper a full description of order isomorphisms between effect algebras of atomic JBWalgebras 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 JBWalgebras 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 EstimatorComments: Short version was presented at ITW 2019 in VisbySubjects: 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 Tweedielike 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 TheoremComments: 31 pages, 34 figures, Keywords: Braids, links, knots, stabilization moves, conjugation movesSubjects: 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 spacesComments: 15 pagesSubjects: 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 SiciakZaharjuta theoremSubjects: 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 SiciakZaharjuta typeresult 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 ballsComments: 10 pagesSubjects: Symplectic Geometry (math.SG); Mathematical Physics (mathph)
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 nonsqueezing 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 linearAuthors: Taras BanakhComments: 20 pagesSubjects: 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 nonsmooth bifurcationsComments: Submitted to the IFAC 2020 World CongressSubjects: 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 nonsmooth bifurcations in linear complementarity problems and their interconnection.
 [76] arXiv:1911.03775 [pdf, ps, other]

Title: Anisotropic oriented percolation in high dimensionsComments: 16 pages, without figuresSubjects: 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 meanfield 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 Kirchhofftype fractional Dirichlet problem with $p$LaplacianSubjects: Dynamical Systems (math.DS)
In this paper, we investigate the existence and concentration of solutions for a class of $p$Laplacian fractional order Kirchhofftype system with RiemannLiouville fractional derivatives and a parameter $\lambda$. By mountain pass theorem, we prove that system has at least one nontrivial 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 weightsComments: 28 pages, 19 figuresSubjects: Probability (math.PR)
We establish estimates for the coalescence time of semiinfinite 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 incrementstationary lastpassage percolation process.
 [79] arXiv:1911.03796 [pdf, other]

Title: Generalizations of Douady's magic formulaComments: 15 pages, 3 figuresSubjects: 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 twobridge knotsAuthors: Anh T. TranComments: 6 pages, 1 figureSubjects: 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 3manifold obtained from $S^3$ by $r$surgery along $K$ has left orderable fundamental group. In this note we consider the genus one twobridge 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 GamesComments: 29 pagesSubjects: Optimization and Control (math.OC)
In this paper an Npursuer vs. Mevader 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 multiplayer pursuitevasion scenarios. Saddlepoint 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 codesign 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 HamiltonJacobiIsaacs 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 highdimensional conflicts between teams of N pursuers and M evaders by means of differential game theory.
 [82] arXiv:1911.03808 [pdf, other]

Title: Nonintrusive model reduction of largescale, nonlinear dynamical systems using deep learningComments: 17 pages, 6 figuresSubjects: Numerical Analysis (math.NA)
Projectionbased model reduction has become a popular approach to reduce the cost associated with integrating largescale dynamical systems so they can be used in manyquery 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 nonintrusive 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 networkbased reducedorder 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 experimentsthe dynamical systems result from the semidiscretization of parametrized, nonlinear, hyperbolic partial differential equationsthat show, in addition to nonintrusivity, 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 TimeVarying Systems Under a Range of Excitation ConditionsComments: 8 Pages, preliminary draftSubjects: 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 timevarying plants. The main feature of this algorithm is a matrix of timevarying 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 timevarying. 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 timevarying forgetting factor. Numerical simulations are provided to complement the theoretical analysis.
 [84] arXiv:1911.03812 [pdf, ps, other]

Title: Anisotropic decay and global wellposedness of viscous surface waves without surface tensionAuthors: Yanjin WangComments: 36 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
We consider a viscous incompressible fluid below the air and above a fixed bottom. The fluid dynamics is governed by the gravitydriven incompressible NavierStokes equations, and the effect of surface tension is neglected on the free surface. The global wellposedness and longtime behavior of solutions near equilibrium have been intriguing questions since Beale (\emph{Comm. Pure Appl. Math.} 34 (1981), no. 3, 359392). 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 wellposedness 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 wellposedness 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 HigherOrder Moments Using Symmetric Tensor DecompositionSubjects: Numerical Analysis (math.NA)
We consider the problem of decomposing higherorder 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$thorder empirical moment tensor of a set of $p$ observations of $n$ variables is a symmetric $d$way tensor. Our goal is to find a lowrank 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 lowrank approximation costs $O(n^d)$ per iteration. Our contribution is avoiding formation of the moment tensor, computing the lowrank 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 higherorder 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 higherorder moments.
 [86] arXiv:1911.03816 [pdf, other]

Title: Parking On A Random Rooted Plane TreeComments: 12 pagesSubjects: 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 functionsAuthors: Yuya MurakamiSubjects: 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 graphsComments: 6 pagesSubjects: Combinatorics (math.CO)
For a sequence of nondecreasing 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{2E(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: Highorder accurate entropy stable nodal discontinuous Galerkin schemes for the ideal special relativistic magnetohydrodynamicsComments: 42 pagesSubjects: Numerical Analysis (math.NA)
This paper studies highorder 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 eightwave formulation and can be symmetrized so that an entropy pair is obtained. We design an affordable fully consistent twopoint entropy conservative flux, which is not only consistent with the physical flux, but also maintains the zero parallel magnetic component, and then construct highorder accurate semidiscrete 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 highorder explicit strong stability preserving RungeKutta schemes to get further the fullydiscrete 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 onedimensional tests, but two entropy conservative fluxes give similar results since the error in the magnetic field divergence seems dominated in the twodimensional tests.
 [90] arXiv:1911.03830 [pdf, ps, other]

Title: Path independence of the additive functionals for McKeanVlasov stochastic differential equations with jumpsComments: 14 pagesSubjects: Probability (math.PR)
In this article, the path independent property of additive functionals of McKeanVlasov stochastic differential equations with jumps is characterised by nonlinear partial integrodifferential 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 McKeanVlasov stochastic differential equations are driven by Brownian motion.
 [91] arXiv:1911.03832 [pdf, ps, other]

Title: Strong measure zero in Polish groupsSubjects: 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 surfacesComments: 10 pagesSubjects: 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 MultipliersAuthors: Rajula SrivastavaComments: 14 pagesSubjects: 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 nearoptimal convergence to channel capacitySubjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
Let $W$ be a binaryinput 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 quasilinear 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 nearoptimal 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: Collisionfree spatial motion of rigid bodies via topological complexityAuthors: Cesar A. Ipanaque ZapataComments: 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 DataImportance Aware Radio Resource Management for Edge Machine LearningComments: This work is an invited paper for Journal of Communications and Information NetworksSubjects: 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 realtime 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 edgeAI. Edge learning, the theme of this project, concerns training edgeAI models, which endow on IoT devices intelligence for responding to realtime events. However, the transmission of highdimensional 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 dataimportance 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 importanceaware 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 twoweight and threeweight linear codesSubjects: 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 twoweight and threeweight 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 flowsComments: 42 pages, 1 figureSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP); Spectral Theory (math.SP)
We consider Anosov flows on closed 3manifolds 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 PollicottRuelle resonance multiplicities under the assumption of {\it semisimplicity}. We prove various results regarding semisimplicity on 1forms, including an example showing that it may fail for time changes of hyperbolic geodesic flows. We also study non nullhomologous deformations of contact Anosov flows and we show that there is always a splitting PollicottRuelle resonance on 1forms 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: HilbertKunz function and HilbertKunz multiplicity of some ideals of the Rees algebraComments: 18 pagesSubjects: Commutative Algebra (math.AC)
We prove that the HilbertKunz 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 quasipolynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the HilbertSamuel function of the $R$module $I^{[s]}$ and obtain an explicit description of the generalized HilbertKunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a CohenMacaulay local ring of dimension $d \geq 2$, proving that the generalized HilbertKunz 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 operadComments: This paper is a preliminary version and we will appreciate all comments on this workSubjects: 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 CrankNicolson discretization of the incompressible NavierStokes EquationsSubjects: Numerical Analysis (math.NA)
We provide optimal order pressure error estimates for the CrankNicolson semidiscretization of the incompressible NavierStokes 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 3dimensional complete rectifiable steady gradient Ricci solitonsAuthors: Shun MaetaComments: 8 pagesSubjects: Differential Geometry (math.DG)
Let $(M,g,f)$ be a 3dimensional 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 3dimensional 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 actionsComments: 19 pages, 3 figuresSubjects: 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^NSubjects: Analysis of PDEs (math.AP)
We study the quasilinear equation \[(P)\qquad  {\rm div} (A(x,u) \nabla u^{p2} \nabla u) + \frac1p\ A_t(x,u)
\nabla u^p + u^{p2}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 AmbrosettiRabinowitz Mountain Pass Theorem.  [105] arXiv:1911.03910 [pdf, ps, other]

Title: Highly quasilinear problems without the AmbrosettiRabinowitz conditionSubjects: 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 CeramiPalaisSmale condition, we establish the desired result without assuming that the nonlinear source satisfies the AmbrosettiRabinowitz condition.
 [106] arXiv:1911.03916 [pdf, other]

Title: Intelligent Reflecting Surface with Discrete Phase Shifts: Channel Estimation and Passive BeamformingComments: Submitted to IEEE conferenceSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
In this paper, we consider an intelligent reflecting surface (IRS)aided singleuser 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 unitmodulus, discrete phase, and full rank. This problem, however, is NPhard and thus difficult to solve in general. As such, we propose a lowcomplexity yet efficient method to solve it suboptimally, by constructing a nearorthogonal reflection pattern based on either discrete Fourier transform (DFT)matrix quantization or Hadamardmatrix truncation. Based on the estimated channel, we then formulate an optimization problem to maximize the achievable rate by designing the discretephase 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 lowcomplexity successive refinement algorithm with a properlydesigned initialization to obtain a highquality 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 perimeterAuthors: Matteo PeruginiComments: 63 pages, 15 figuresSubjects: 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 pseudodifferential operatorsComments: 10 pages. Dedicated to Professor L\'azaro Recht on his 79 birthdaySubjects: 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 pseudodifferential 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 pseudodifferential operators. We also present a formula for the Dixmier trace of a Dixmier traceable discrete pseudodifferential operator by using the Connes equivalence between the Wodzicki residue and the Dixmier trace.
 [109] arXiv:1911.03928 [pdf, ps, other]

Title: Rigidity and nonexistence of spacelike submanifolds with causal mean curvature vector field in spacetimes and the Cauchy problem in General RelativitySubjects: Differential Geometry (math.DG); Mathematical Physics (mathph)
New general results of nonexistence and rigidity of spacelike submanifolds immersed in a spacetime, whose mean curvature is a timeoriented causal vector field, are given. These results hold for a wide class of spacetimes which includes globally hyperbolic, stationary, conformally stationary and ppwave 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 CalabiBernstein 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 twodimensional inertial manifold for an ordinary differential equation in ${\mathbb R}^{n}$ permits reducing the problem of determining asymptotically orbitally stable limit cycles to the PoincareBendixson 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)actionsSubjects: 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 weightAuthors: Alexander MinakovComments: 6 pagesSubjects: 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 GrossPitaevskii equation in $\mathbb{R}^2$ for small speedSubjects: Analysis of PDEs (math.AP)
In a previous paper, we constructed a smooth branch of travelling waves for the 2 dimensional GrossPitaevskii 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 spheresSubjects: 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)$ worstcase 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 geodesicsAuthors: Stephan MescherComments: 44 pagesSubjects: 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 LusternikSchnirelmann category and provide lower bounds for the numbers of critical orbits of SO(n)invariant functions on spaces of nspheres 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 electronMHDSubjects: 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 meansquare of magnetic vector potential. We also show that the meansquare 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 operationsAuthors: J. Z. BernádComments: 14 pagesSubjects: Mathematical Physics (mathph); Quantum Physics (quantph)
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 graphsComments: 26 pages. arXiv admin note: text overlap with arXiv:1612.00661Subjects: Combinatorics (math.CO)
The bandwidth theorem [Mathematische Annalen, 343(1):175205, 2009] states that any $n$vertex graph $G$ with minimum degree $(\frac{k1}{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{k1}{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 grammarsAuthors: Sergey SlavnovComments: 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 addedSubjects: 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 GuilleraComments: 7 pagesSubjects: 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: Centralizerlike Subgroups Associated with the $n$Engel Words Inside of Direct Product GroupsSubjects: Group Theory (math.GR)
This research develops concepts surrounding centralizerlike 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 LuiseCharlotte 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 Elementbased SolversComments: 8 pages, 3 figures, conference LSSC 2019, Sozopol, Bulgaria, to appear as Springer LNCS 11958Subjects: 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 multidimentional arrays (matrices). We build some iterative solvers on available multidimentional 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 deviationsComments: 11 pagesSubjects: Probability (math.PR)
This work is a continuation of [7]. We consider a continuoustime birthanddeath process in which the transition rates have an asymptotical powerlaw 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 integersComments: 13 pagesSubjects: 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 Mestimators 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 Multiclass Logistic RegressionSubjects: 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 multitask 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 quasigeostrophic flowsAuthors: Xiaopeng ZhaoSubjects: 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 quasigeostrophic flows.
 [127] arXiv:1911.04003 [pdf, ps, other]

Title: The Spheres of SolComments: 30 pages, 3 figures, computer experiment inspired, traditional proofSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
Let Sol be the threedimensional solvable Lie group equipped with its standard leftinvariant 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 curvesComments: 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 NavierStokes Equations with Navier's Boundary ConditionSubjects: Analysis of PDEs (math.AP)
We show that if u is a weak solution to the NavierStokes initialboundary 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 subdomains 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 GraphsComments: 41 pages, 16 figures. Comments welcome!Subjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); 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 temperaturelike 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 zerotemperature 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 computergenerated 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 filterComments: 23 pagesSubjects: 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 nonadditive 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 multistatic Doppler shifts as measurements.
 [132] arXiv:1911.04025 [pdf, other]

Title: A general approach for analysis of random triangulations of convex polygonsSubjects: 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 HypothesisAuthors: Boqing XueSubjects: Number Theory (math.NT)
We explore Hilbert space reformulations of Riemann Hypothesis developed by Nyman, Beurling and B\'{a}ezDuarte 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 vonNeumann 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 InformationDriven Search for Underwater TargetsComments: 6 pagesSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The problem is arearestricted 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 nonzero. The paper develops an intermittent informationdriven search strategy, which combines fast and nonreceptive 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 informationdriven: 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 equationAuthors: Kihoon SeongSubjects: 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 wellposed in $H^s, s\geq \frac{1}{2}$ and illposedness 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 illposedness 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 wellposedness because of the lack of energy estimate of differences of solutions. Our method is inspired by KochTataru \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 thesisAuthors: Derek W RobinsonSubjects: 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 Taylorcollocation method for load leveling problemComments: Submitted to the Bulletin of Irkutsk State University  series MathematicsSubjects: 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 Taylorcollocation numerical method which has the secondorder accuracy and enjoys selfregularization 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 realtime. 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 graphsComments: 24 pages, 1 figureSubjects: 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 AnalysisSubjects: 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 multimodal 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 goodnessoffit, 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 SolutionsSubjects: 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 boundaryAuthors: Chengjie YuComments: 15 pages. All comments are welcomeSubjects: 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 AlonTarsi number of $K_5$minorfree graphsComments: 12 pages,2 figuresSubjects: Combinatorics (math.CO)
In this paper, we show the following three theorems. Let $G$ be a $K_5$minorfree graph. Then AlonTarsi number of $G$ is at most $5$, there exists a matching $M$ of $G$ such that the AlonTarsi number of $GM$ is at most $4$, and there exists a forest $F$ such that the AlonTarsi number of $GE(F)$ is at most $3$.
 [143] arXiv:1911.04071 [pdf, ps, other]

Title: Multilinear Spherical Maximal FunctionAuthors: Georgios DosidisSubjects: 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 diagramsAuthors: Taesu KimComments: 71 pages, 9 figuresSubjects: 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: Secondorder optimality conditions for nonconvex setconstrained optimization problemsSubjects: Optimization and Control (math.OC)
In this paper we study secondorder optimality conditions for nonconvex setconstrained optimization problems. For a convex setconstrained optimization problem, it is wellknown that secondorder optimality conditions involve the support function of the secondorder tangent set. In this paper we propose two approaches for establishing secondorder optimality conditions for the nonconvex case. In the first approach we extend the concept of the support function so that it is applicable to general nonconvex setconstrained 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 doubledimer modelAuthors: Helen JenneComments: 60 pages, 16 figuresSubjects: Combinatorics (math.CO)
We prove that the partition function for tripartite doubledimer configurations of a planar bipartite graph satisfies a recurrence related to the DesnanotJacobi 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 DonaldsonThomas and PandharipandeThomas 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 IntersectionsComments: 18 pages, 7 figures, 1 tableSubjects: 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 upperlevel and a lowlevel problems. In the upperlevel, we formulate a scheduling problem the solution of which designates the optimal time of each CAV to cross the intersections. The outcome of the upperlevel scheduling problem becomes the input of the lowlevel problem. In particular, in the lowlevel, 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 upperlevel scheduling problem. We demonstrate the effectiveness of the proposed framework through simulation.
 [148] arXiv:1911.04083 [pdf, ps, other]

Title: Lefschetz Properties and Hyperplane ArrangementsSubjects: 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 nonArtinian 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 Continuoustime Markov ChainsAuthors: Alexander Zeifman, Yacov Satin, Anastasia Kryukova, Rostislav Razumchik, Ksenia Kiseleva, Galina ShilovaSubjects: 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 continuoustime 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 statedependent 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 birthdeath 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 exponentComments: 9pagesSubjects: 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 GinzburgLandau equation on $S^{n}$ and $\mathbb{CP}^{n}$Authors: Da Rong ChengSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We study critical points of the GinzburgLandau (GL) functional and the abelian YangMillsHiggs (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 LawsonSimons.
 [152] arXiv:1911.04105 [pdf, ps, other]

Title: Two limits on Hardy and Sobolev inequalitiesAuthors: Megumi SanoComments: This note is submitted to RIMS KokyurokuSubjects: 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: LinearQuadratic TimeInconsistent MeanField Type Stackelberg Differential Games: TimeConsistent OpenLoop SolutionsComments: 16 pages, 4 figuresSubjects: Optimization and Control (math.OC)
In this technical note, we consider the linearquadratic timeinconsistent meanfield type leaderfollower Stackelberg differential game with an adapted openloop 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 (timeconsistent) 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 forwardbackward SDE (FBSDE). We then obtain the leader's explicit (timeconsistent) 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 timeconsistent 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 FarguesFontaine curveAuthors: Serin HongComments: 26 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We completely classify all subbundles of a given vector bundle on the FarguesFontaine curve. Our classification is given in terms of a simple and explicit condition on HarderNarasimhan 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 linearcost solver for a modified generalizedmethod for multidimensional secondorder hyperbolic systemsSubjects: Numerical Analysis (math.NA)
We propose a variational splitting technique for the generalized$\alpha$ method to solve hyperbolic partial differential equations. We use tensorproduct 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 multidimensional problems. We consider standard $C^0$ finite elements as well as smoother Bsplines 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 secondorder accuracy in time.
 [156] arXiv:1911.04130 [pdf, ps, other]

Title: On tight sets of hyperbolic quadricsAuthors: Alexander L. GavrilyukSubjects: 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(wx)\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 CameronLiebler line classes in $\mathrm{PG}(3,q)$).
 [157] arXiv:1911.04132 [pdf, other]

Title: Lagrangian fibers of GelfandCetlin systemsComments: 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.07213Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)
A GelfandCetlin system is a completely integrable system defined on a partial flag manifold whose image is a rational convex polytope called a GelfandCetlin polytope. Motivated by the study of NishinouNoharaUeda on the Floer theory of GelfandCetlin systems, we provide a detailed description of topology of GelfandCetlin fibers. In particular, we prove that any fiber over an interior point of a kdimensional face of the GelfandCetlin 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 antiderivable at zeroSubjects: 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 antiderivable at zero (i.e. $ab =0$ in $A$ implies $T(b) a + b T(a)=0$ in $X$);
$(b)$ There exists an antiderivation $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 (selfadjoint) 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 antiderivable at zero. We also present a complete characterization of those continuous linear operators which are $^*$antiderivable at zero.  [159] arXiv:1911.04141 [pdf, ps, other]

Title: $\mathbb Q$linear dependence of certain Bessel momentsAuthors: Yajun ZhouComments: i+21 pages. Simplification and extension of some results in Section 5 of arXiv:1706.08308Subjects: Number Theory (math.NT); High Energy Physics  Theory (hepth)
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\rightk\in\mathbb Z_{\geq0}\right\},\]where $a$ and $b$ are fixed nonnegative integers. For $ a\in\mathbb Z\cap[1,b)$, our upper bound for the $ \mathbb Q$linear dimension is $\lfloor (a+b1)/2\rfloor$, which improves the BorweinSalvy bound $\lfloor (a+b+1)/2\rfloor$. Our new upper bound $\lfloor (a+b1)/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 BaileyBorweinBorweinCrandall, 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 actionsAuthors: Yunhyung ChoComments: 4 pages, no figureSubjects: 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 mapSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); KTheory 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 Icohomology ring to singular cohomology induced by the signature, and a new cycle class map defined on the ChowWitt 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érvon Mises statistic for the spectral distribution of random matricesSubjects: Probability (math.PR); Mathematical Physics (mathph); 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}rvon Mises (CvM) statistic is a classical goodnessoffit 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 solvableAuthors: M. RamezanNassabComments: preprintSubjects: 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 dimensionComments: 30 pagesSubjects: Probability (math.PR)
We use the lace expansion to prove an infrared 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 meanfield behavior in high dimensions.
 [165] arXiv:1911.04164 [pdf, other]

Title: From mean field games to the best reply strategy in a stochastic frameworkAuthors: Matt BarkerJournalref: Journal of Dynamics & Games, 2019, 6 (4) : 291314Subjects: Optimization and Control (math.OC)
This paper builds on the work of Degond, Herty and Liu by considering Nplayer 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 runningcost, 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 spacesComments: 4 pagesSubjects: 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), xy\rangle$ for all $x, y\in K$, and (2) if $x, y\in K$ and $f(x)= f(y)+ \langle G(y), xy\rangle$ then $G(x)=G(y)$.
 [167] arXiv:1911.04176 [pdf, other]

Title: On Moduli Spaces of Convex Projective Structures on Surfaces: Outitude and CellDecomposition in FockGoncharov CoordinatesComments: 44 pages, 16 FiguresSubjects: 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 edgeflipping 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 semiarithmetic.  [168] arXiv:1911.04177 [pdf, other]

Title: WakeUp Radio based Access in 5G under Delay Constraints: Modeling and OptimizationComments: accepted for publication in IEEE Trans. on CommunSubjects: Information Theory (cs.IT)
Recently, the concept of wakeup 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 wakeup radio enabled mobile device is analyzed and modeled by using a semiMarkov process. Building on this, a delayconstrained optimization problem is then formulated, to maximize the device energyefficiency under given latency requirements, allowing the optimal parameters of the wakeup 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 surfacesAuthors: Thomas Le FilsComments: 19 pages, 8 figuresSubjects: 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 nonelementary $\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 nonelementary 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 hullsComments: 22 pagesSubjects: 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 anglesum 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 equationsComments: 22 pages, 3 figuresSubjects: 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 thinfilm 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 curvesAuthors: Qixiao MaSubjects: 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 tournamentsSubjects: 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 nicherealizable through $D$. If a graph $G$ is nicherealizable through a $k$partite tournament for an integer $k \ge 2$, then we say that the pair $(G, k)$ is nicherealizable. Bowser et al. (1999) studied the graphs that are nicherealizable through a tournament and Eoh et al. (2018) studied nicherealizable pairs $(G, k)$ for $k=2$. In this paper, we study nicherealizable 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 nicherealizable pairs $(G, k)$ when $G$ is a disconnected graph, when $G$ is a complete graph, and when $G$ is a connected trianglefree graph.
 [174] arXiv:1911.04193 [pdf, ps, other]

Title: Asymptotics for Capelli Polynomials with InvolutionSubjects: 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(k1)}{2} +1})\simeq c^{\ast}_n((M_k(F),t)); $$ $$ c^{\ast}_n(\Gamma^{\ast}_{m(2m1)+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: PathConnected Components of Affine Schemes and Algebraic KTheoryAuthors: Maysam Maysami SadrComments: Keywords: noncommutative affine scheme, algebraic homotopy, algebraic bivariant KtheorySubjects: KTheory 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 indscheme 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 pathconnected 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 indschemes in terms of proalgebras, we introduce a bifunctor $\mathfrak{KK}$ that associates to any arbitrary pair $(A,B)$ of algebras, a pro probialgebra $\mathfrak{KK}(A,B)$, i.e. a pro proobject of category of unital commutative algebras together with cocommutative comultiplications and counits. The functor $\mathfrak{KK}$ may be interpreted as a (dual) bivariant algebraic Ktheory. It is shown that $\mathfrak{KK}$ is $\mathbb{A}^1$homotopy invariant, finitematrixstable at infinity, has a canonical cobilinear 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 indscheme associated to $\mathfrak{KK}(\mathbb{K},B)$. A similar result about a relation between finitedimensional 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 elementsAuthors: Laszlo CsirmazSubjects: 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 graphsAuthors: Oliver KnillComments: 15 pages, 5 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)
We generalize the PoincareHopf 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 TypeI Hybrid Censored DataSubjects: 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 typeI hybrid censoring scheme. The NewtonRaphson algorithm, ExpectationMaximization (EM) algorithm and Stochastic EM (SEM) algorithm are utilized to derive the maximum likelihood estimates (MLEs) for the unknown parameters. Moreover, Bayesian estimators using TierneyKadane Method and Markov Chain Monte Carlo (MCMC) method are obtained under three different loss functions, namely, squared error loss (SEL), linearexponential (LINEX) and generalized entropy loss (GEL) functions. Also, the shrinkage pretest 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 selfinjective algebrasComments: Welcome to give commentsJournalref: Tsukuba J.Math, 2019Subjects: Representation Theory (math.RT)
We construct derived equivalences between group graded selfinjective algebras, starting from equivalences between their 1components, obtained via a construction of J. Rickard and S. AlNofayee.
 [180] arXiv:1911.04217 [pdf, ps, other]

Title: On the direct product of fields with a geometric applicationAuthors: Abolfazl TarizadehComments: 9 pagesSubjects: 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 systemsSubjects: 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 finitedimensional LDSs using, e.g., the finite element method, autoregressive techniques, and interpolation. The finitedimensional 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 illposedness 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 finitedimensional 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 lowpass 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 DescentAuthors: Tuyen Trung TruongComments: 18 pagesSubjects: 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)=xh(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 EntropiesAuthors: Guanghua ShiComments: 16 pages, 24 conferencesSubjects: 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 antinorms.
 [184] arXiv:1911.04223 [pdf, other]

Title: Optimal Installation of Solar Panels with Price Impact: a Solvable Singular Stochastic Control ProblemSubjects: Optimization and Control (math.OC); Mathematical Finance (qfin.MF)
We consider a pricemaker 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 OrnsteinUhlenbeck process, and therefore it has a meanreverting behavior. The current level of the company's installed power has a permanent impact on the electricity price and affects its meanreversion 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 twodimensional degenerate singular stochastic control problem in which the installation strategy is identified as the company's control variable. We follow a guessandverify 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 firstorder 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 AnalysisComments: 7 pages, 6 figures, journalSubjects: Information Theory (cs.IT)
We investigate underwater optical communication system that is relayed by a single decodeandforward (DF) relay through an exponentialgeneralized Gamma distribution (EGG) into a final destination. Specifically, a certain terminal device sends data through underwater wireless optical link (UWO) that utilizes the socalled 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 stateofart ExponentialGeneralized Gamma distribution (EGG) which was recently proposed to model the underwater optical turbulence. Closedform 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 highspeed 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 groupsAuthors: Jakob SchneiderComments: 25 pages, no figuresSubjects: 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 sigma2 equationComments: submitted to Calculus of Variations and PDEsSubjects: Analysis of PDEs (math.AP)
We derive a priori interior Hessian estimates for semiconvex solutions to the sigma2 equation. An elusive Jacobi inequality, a transformation rule under the LegendreLewy 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 applicationsSubjects: 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 MarticesSubjects: 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: $α$Qfuzzy SubgroupsSubjects: General Mathematics (math.GM)
In this paper, the notations of $\alpha$Qfuzzy subset and $\alpha$Qfuzzy 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$Qfuzzy subgroup on the image and inverseimage under group antihomomorphism are studied.
 [191] arXiv:1911.04259 [pdf]

Title: A New Type of Weakly Commutative GroupsSubjects: General Mathematics (math.GM)
The aim of the present paper is to define and study a new class of groups, namely Wmgroups 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 Wmgroups, homomorphisms, kernel and normal Wmsubgroups in terms of Wmgroups, and investigate some of their properties.
 [192] arXiv:1911.04260 [pdf, ps, other]

Title: Modules of infinite projective dimensionComments: 7 pagesSubjects: Representation Theory (math.RT); Category Theory (math.CT)
We characterize the modules of infinite projective dimension over the endomorphism algebras of OppermanThomas 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 nonzero. As an application, we generalize a recent result by BeaudetBr\"{u}stleTodorov for clustertilted algebras.
 [193] arXiv:1911.04262 [pdf, ps, other]

Title: A Short Proof of Köthe's Conjecture for Compact RingsSubjects: 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 halffactoriality of transfer Krull monoidsSubjects: 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 nonunit $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 halffactorial 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 divisorclosed submonoid of $H$ containing $a$ is halffactorial. 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 halffactorial.
 [195] arXiv:1911.04268 [pdf, ps, other]

Title: Universal almost optimal compression and SlepianWolf coding in probabilistic polynomial timeComments: 26 pagesSubjects: 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 compressordecompressor 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 noncomputable, ${\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 SlepianWolf 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 SlepianWolf 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 DrinfeldVladut BoundComments: 32 pagesSubjects: Number Theory (math.NT); Information Theory (cs.IT)
For applications in algebraic geometric codes, an explicit description of bases of RiemannRoch spaces of divisors on function fields over finite fields is needed. We investigate the third function field $ F^{(3)} $ in a tower of ArtinSchreier extensions described by Garcia and Stichtenoth reaching the DrinfeldVl{\u{a}}du{\c{t}} bound. We construct bases for the related RiemannRoch 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 groupAuthors: Erez LapidSubjects: 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 nonarchimedean field.
 [198] arXiv:1911.04272 [pdf, ps, other]

Title: Ergodic theory of affine isometric actions on Hilbert spacesComments: 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 oneparameter 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 PattersonSullivan theory as well as LyonsPemantle work on treeindexed 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 methodSubjects: 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 pagesSubjects: 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 2dimensional space form, having constant curvature $\kappa$, $I$ an interval and $f$ the warping function) is invariant by an oneparameter 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 oneparameter group of isometries of the ambient space, by considering certain nontrivial warping function.
 [201] arXiv:1911.04276 [pdf, ps, other]

Title: Sufficient conditions for time optimality of systems with control on the diskSubjects: 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 GraphsAuthors: Mehmet Akif YıldızComments: 8 pagesSubjects: Combinatorics (math.CO)
A maximal matching $M$ that consists of independent edges is a subgraph of a simple and undirected graph $G$ for which $GM$ 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 nonarchimedean 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 GeissLeclercSchr\"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 representationtheoretic conditions are compatible in various ways.
 [204] arXiv:1911.04284 [pdf, ps, other]

Title: Hard Provability LogicsAuthors: Mojtaba MojtahediSubjects: 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{TableTheories}). 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{DefinitionReductionPL}) and provide several reductions of provability logics (See diagram \ref{Diagramfull}). 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 wellknown 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 $k3$ Cut VerticesAuthors: Pawaton KaemawichanuratSubjects: 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 nonadjacent 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 VertexCritical ClawFree GraphsAuthors: Pawaton KaemawichanuratSubjects: 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 nonHamiltonian. We prove that every $2$connected $3$$\gamma$vertex critical clawfree graph is Hamiltonian and the condition clawfree 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 clawfree graph is Hamiltonian. Moreover, for $4 \leq k \leq 5$, we prove that every $3$connected $k$$\gamma_{c}$vertex critical clawfree graph is Hamiltonian. We show that the condition clawfree is necessary by giving $k$$\gamma_{c}$vertex critical nonHamiltonian 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 Fnorm regularized factorizationSubjects: 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 lowrank 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 Fnorm 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 Fnorm regularized factorization problem.
 [208] arXiv:1911.04295 [pdf, ps, other]

Title: On the Performance of Network NOMA in Uplink CoMP Systems: A Stochastic Geometry ApproachSubjects: Information Theory (cs.IT)
To improve the system throughput, this paper proposes a network nonorthogonal multiple access (NNOMA) technique for the uplink coordinated multipoint 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 NNOMA 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 NNOMA 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 NNOMA scenario as a Poisson cluster process, based on which closedform 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 NNOMA scheme.
 [209] arXiv:1911.04296 [pdf, ps, other]

Title: Cardinal invariants and convergence properties of locally minimal groupsSubjects: 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 supersequence 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 FrechetUrysohn minimal group G of character kappa such that the connected component of G is an open normal omegabounded subgroup (thus, G is locally precompact). We also build a minimal nilpotent group of nilpotency class 2 without nontrivial convergent sequences having an open normal countably compact subgroup.  [210] arXiv:1911.04297 [pdf, ps, other]

Title: CollisionFree Trajectory Design for 2D Persistent Monitoring Using SecondOrder AgentsComments: 13 pages arXiv, to be published in IEEE Transactions on Control of Network SystemsSubjects: Optimization and Control (math.OC)
This paper considers a twodimensional persistent monitoring problem by controlling movements of secondorder 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 collisionfree 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 collisionfree trajectories are optimized through an eventdriven 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 timedriven methods. Finally, simulation examples are provided to demonstrate our proposed results.
 [211] arXiv:1911.04299 [pdf, ps, other]

Title: Multiagent interaction and nonlinear Markov gamesComments: This is the final draft of the 1st part of the authors' book 'Many agent games in socioeconomic systems: corruption, inspection, coalition building, network growth, security' published by Springer in the Springer Series on Operational Research, 2019Subjects: 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 taxpaying 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 caseSubjects: 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 LandauGinzburg potentials with bulk in GelfandCetlin systemsComments: 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.07213Subjects: Symplectic Geometry (math.SG)
Using the bulkdeformation of Floer cohomology by Schubert cycles and nonArchimedean analysis of FukayaOhOhtaOno's bulkdeformed potential function, we prove that every complete flag manifold $\mathrm{Fl}(n)$ ($n \geq 3$) with a monotone KirillovKostantSouriau symplectic form carries a continuum of nondisplaceable Lagrangian tori which degenerates to a nontorus fiber in the Hausdorff limit. In particular, the Lagrangian $S^3$fiber in $\mathrm{Fl}(3)$ is nondisplaceable, answering the question of which was raised by NoharaUeda who computed its Floer cohomology to be vanishing.
 [214] arXiv:1911.04303 [pdf, other]

Title: Monoidal abelian envelopes and a conjecture of BensonEtingofSubjects: 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 period3 orbits and bordercollision bifurcations in ndimensional piecewise linear continuous mapsSubjects: 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 period3 orbits and bordercollision bifurcations in ndimensional piecewise linear continuous maps, extending previous results for period1 and period2 orbits. This is particularly important as for onedimensional maps the existence of period3 orbits implies chaos. It is shown that these period3 orbits collide with the switching boundary in a bordercollision bifurcation, and parametric regions for the existence of both stable and unstable period3 orbits and bordercollision 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$ automorphismsComments: 25 pagesSubjects: 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 EricksenLeslie hyperbolic liquid crystal model in compressible flowComments: 49 pagesSubjects: Analysis of PDEs (math.AP)
We justify the incompressible limit of the EricksenLeslie 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 wellprepared initial data.
 [218] arXiv:1911.04321 [pdf, ps, other]

Title: Sobolev spaces in extended metricmeasure spacesAuthors: Giuseppe SavaréComments: 126 pagesSubjects: 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 measuretheoretic aspects of a general extended metrictopological 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: LargeOrder Asymptotics for MultiplePole Solitons of the Focusing Nonlinear Schrodinger Equation II: FarField BehaviorComments: 38 pages, 14 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); 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 multiplepole 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 spacetime plane where solutions display qualitatively distinct behaviors: an exponentialdecay region, an algebraicdecay region, a nonoscillatory region, and an oscillatory region. Using the nonlinear steepestdescent method for analyzing RiemannHilbert problems, we compute the leadingorder asymptotic behavior in the algebraicdecay, nonoscillatory, and oscillatory regions.
 [220] arXiv:1911.04331 [pdf, ps, other]

Title: Poisson Cohomology of holomorphic toric Poisson manifolds. IIAuthors: Wei HongSubjects: Algebraic Geometry (math.AG); Quantum Algebra (math.QA); Symplectic Geometry (math.SG)
In this paper, we give a description of holomorphic multivector 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 DifferenceofConvex Algorithms for Solving nonconvex optimization problemsSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
The paper deals with stochastic differenceofconvex functions programs, that is, optimization problems whose cost function is a sum of a lower semicontinuous differenceofconvex function and the expectation of a stochastic differenceofconvex 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 DifferenceofConvex 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 differenceofconvex 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 MotionSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
In this paper we present an estimator for the threedimensional parameter $(\sigma, \alpha, H)$ of the linear fractional stable motion, where $H$ represents the selfsimilarity 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$categoriesComments: 36 pagesSubjects: 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 (mathph)
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 structurepreserving FEM for the uniaxially constrained $\mathbf{Q}$tensor model of nematic liquid crystalsSubjects: Numerical Analysis (math.NA)
We consider the oneconstant 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 oneconstant Ericksen energy, we propose a structurepreserving 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 nonorientable line fields.
 [226] arXiv:1911.04348 [pdf, other]

Title: Optimal partitions and Semidiscrete optimal transportAuthors: Gershon WolanskyComments: 220 pages, 10 figuresSubjects: Optimization and Control (math.OC); Information Theory (cs.IT); Theoretical Economics (econ.TH)
In the current book I suggest an offroad 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 semidiscrete 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 selfcontained 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 noncooperative) are introduced as well.
Finally, the general case of transport between two compact measure spaces is introduced as a coupling between two semidiscrete transports.  [227] arXiv:1911.04349 [pdf, ps, other]

Title: Unconditional uniqueness of solutions for nonlinear dispersive equationsAuthors: Nobu KishimotoComments: 31 pagesSubjects: 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 nontrivial property, and showing that often requires some additional work. In the last decade, unconditional uniqueness for some canonical nonlinear dispersive equations such as the Kortewegde Vries equation and nonlinear Schr\"odinger (NLS) equations has been shown by an integrationbyparts (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 higherdimensional 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 WeightDependent Random Connection ModelsComments: 25 pages. arXiv admin note: text overlap with arXiv:math/0110296 by other authorsSubjects: Probability (math.PR)
We investigate a large class of random graphs on the points of a Poisson process in $d$dimensional space, which combine scalefree degree distributions and longrange 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 scalefree and longrange effects play no role. Our results are particularly interesting for the special case of the agedependent random connection model recently introduced in [GRACAR, P., et al. The agedependent 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 distributionSubjects: Numerical Analysis (math.NA)
Kernel based methods provide a way to reconstruct potentially highdimensional 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 stateoftheart results available in the literature. Illustrative experiments are presented that support the theoretical findings.  [230] arXiv:1911.04355 [pdf, ps, other]

Title: The CrisantiSommers Formula for Spherical Spin Glasses with Vector SpinsAuthors: Justin KoSubjects: Probability (math.PR)
We obtain the analogue of the CrisantiSommers 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 CrisantiSommers formula.
 [231] arXiv:1911.04358 [pdf, ps, other]

Title: Minimal colorings for properly colored subgraphs in complete graphsComments: 17 pagesSubjects: Combinatorics (math.CO)
Let $pr(K_{n}, G)$ be the maximum number of colors in an edgecoloring 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'}=\{GM: 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 nonmixing of the 3D Euler equationComments: 22 pagesSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP)
We prove a nonmixing 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 divergencefree vector fields $v_0$ arbitrarily close to $u_0$, whose (nonsteady) evolution by the Euler flow cannot converge in the $C^k$ H\"older norm ($k>10$ noninteger) 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 KAMtype argument to generate knotted invariant tori from elliptic orbits.
 [233] arXiv:1911.04364 [pdf, other]

Title: The Lagrangian Mechanics and PseudoPeriodicity of The ManyBody Planar Pendulum SystemAuthors: Sergio CharlesSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP)
We present the EulerLangrage equations for a manybody 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 pseudoperiodicity 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 coveringsComments: 29 pagesSubjects: 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 KazhdanLusztig Polynomials of $ρ$Removed Uniform MatroidsSubjects: Combinatorics (math.CO)
Let $\rho$ be a nonnegative 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 KazhdanLusztig 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 orbitflexibility of multicritical circle mapsComments: 36 pagesSubjects: 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 wellknown 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 twodimensional skew product over the Gauss map. As a byproduct 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 measuretheoretical 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 learningComments: 27 pagesSubjects: Probability (math.PR); Statistics Theory (math.ST); Data Analysis, Statistics and Probability (physics.dataan); 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: Leastsquares solutions of boundaryvalue problems in hybrid systemsComments: 15 pages, 7 figures, 5 tablesSubjects: Optimization and Control (math.OC)
This paper looks to apply the mathematical framework of the Theory of Functional Connections to the solution of boundaryvalue 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. leastsquares).
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 leastsquares solution of the sequence for linear differential equations and a iterative leastsquares 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 machineerror, 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 BrunnMinkowski type inequalitiesComments: 9 pagesSubjects: Metric Geometry (math.MG); Probability (math.PR)
We present an alternative, short proof of a recent discrete version of the BrunnMinkowski 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 codimension1 subgroupsAuthors: Nansen PetrosyanComments: 10 pagesSubjects: Group Theory (math.GR)
The paper is concerned with Kropholler's conjecture on splitting a finitely generated group over a codimension1 subgroup. For a subgroup H of a group G, we define the notion finite splitting height which generalises the finiteheight property. By considering the dual CAT(0) cube complex associated to a codimension1 subgroup H in G, we show that the KrophollerRoller 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: Nonuniform dependence for Euler equations in Besov spacesAuthors: Jose PastranaSubjects: Analysis of PDEs (math.AP)
We prove the nonuniform continuity of the datatosolution 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 nonarchimedean curves, semistable reduction, and ramificationComments: 40 pages, 6 figuresSubjects: 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 semistable model. In this paper, we study the extension $LK$ 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 nonlinearitiesAuthors: Tuan Anh DaoComments: 17 pages. arXiv admin note: text overlap with arXiv:1911.01946Subjects: 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 semilinear 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 problemSubjects: Combinatorics (math.CO)
Given a fixed graph $H$, a real number $p\in(0,1)$, and an infinite Erd\H{o}sR\'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 FrankWolfe AlgorithmComments: 15 pages and 2 figuresSubjects: 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 FrankWolfe 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 FrankWolfe algorithm in different scenarios.
 [247] arXiv:1911.04419 [pdf, ps, other]

Title: Spectral radius of semiHilbertian space operators and its applicationsAuthors: Kais FekiComments: It is submitted to a research journal since 24 September 2019Subjects: 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 measuresAuthors: Carmelo PuliattiComments: 56 pagesSubjects: 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 socalled $\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 GirelaSarri\'on and Tolsa for the $n$Riesz transform. The motivation for our result stems from a twophase problem for the elliptic harmonic measure.
 [249] arXiv:1911.04443 [pdf, other]

Title: Bundle Method Sketching for Low Rank Semidefinite ProgrammingComments: 8 pages, 1 figureSubjects: 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 boxball systemComments: 47 pages, 10 figuresSubjects: Probability (math.PR); Mathematical Physics (mathph); Combinatorics (math.CO); Cellular Automata and Lattice Gases (nlin.CG); Exactly Solvable and Integrable Systems (nlin.SI)
The boxball systems are integrable cellular automata whose longtime behavior is characterized by the soliton solutions, and have rich connections to other integrable systems such as Kortewegde Veris equation. In this paper, we consider multicolor boxball 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 GreeneKleitman invariants for the boxball systems and associated circular exclusion processes.
 [251] arXiv:1911.04463 [pdf, ps, other]

Title: The tropical critical point and mirror symmetryComments: 47 pagesSubjects: Algebraic Geometry (math.AG)
Call a Laurent polynomial $W$ `complete' if its Newton polytope is fulldimensional 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 nondisplaceable 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$.
Crosslists for Tue, 12 Nov 19
 [252] arXiv:1910.04569 (crosslist from mathph) [pdf, ps, other]

Title: New fourdimensional solutions of the Jacobi equations for Poisson structuresAuthors: Benito HernándezBermejoJournalref: Journal of Mathematical Physics 47(2), 022901 113 (2006)Subjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Exactly Solvable and Integrable Systems (nlin.SI); Classical Physics (physics.classph)
A new fourdimensional family of skewsymmetric 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 finitedimensional 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 (crosslist from mathph) [pdf, ps, other]

Title: Characterization and global analysis of a family of Poisson structuresAuthors: Benito HernándezBermejoComments: arXiv admin note: text overlap with arXiv:1910.03311Journalref: Physics Letters A 355(2), 98103 (2006)Subjects: Mathematical Physics (mathph); Dynamical Systems (math.DS); Symplectic Geometry (math.SG); Exactly Solvable and Integrable Systems (nlin.SI); Classical Physics (physics.classph)
A threedimensional 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 (crosslist from quantph) [pdf, ps, other]

Title: Towards local testability for quantum codingComments: 38 pagesSubjects: Quantum Physics (quantph); 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^{np1} \tbinom{n}{p}$ physical qubits and displays local testability with a soundness of $\Omega(\log^{2} (N))$ beating the current stateoftheart 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 (crosslist from eess.SY) [pdf, other]

Title: SafetyCritical Control Synthesis for network systems with Control Barrier Functions and AssumeGuarantee ContractsComments: arXiv admin note: text overlap with arXiv:1810.10636Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper presents a contract based framework for safetycritical control synthesis for network systems. To handle the large state dimension of such systems, an assumeguarantee 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 assumeguarantee 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 (crosslist from hepth) [pdf, other]

Title: Allorder differential equations for oneloop closedstring integrals and modular graph formsComments: 54+24 pagesSubjects: High Energy Physics  Theory (hepth); Number Theory (math.NT)
We investigate generating functions for the integrals over worldsheet tori appearing in closedstring oneloop amplitudes of bosonic, heterotic and typeII theories. These closedstring integrals are shown to obey homogeneous and linear differential equations in the modular parameter of the torus. We spell out the firstorder CauchyRiemann and secondorder Laplace equations for the generating functions for any number of external states. The lowenergy expansion of such torus integrals introduces infinite families of nonholomorphic modular forms known as modular graph forms. Our results generate homogeneous first and secondorder differential equations for arbitrary such modular graph forms and can be viewed as a step towards allorder lowenergy expansions of closedstring integrals.
 [257] arXiv:1911.03519 (crosslist from physics.geoph) [pdf, other]

Title: Variational Analysis of Landscape Elevation and Drainage NetworksSubjects: Geophysics (physics.geoph); 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 steadystate 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 (crosslist from stat.AP) [pdf, other]

Title: How to Deal With Ratio Metrics When Accounting for IntraUser Correlation in A/B TestingComments: A/B Testing, repeated measures, uniformly minimumvariance unbiased estimator, stratification, sensitivity, variance reductionSubjects: 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 minimumvariance unbiased estimator of the population mean, called correlationadjusted 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 correlationadjusted 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 (crosslist from cs.LG) [pdf, other]

Title: DZip: improved generalpurpose lossless compression based on novel neural network modelingComments: 10 pagesSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)
We consider lossless compression based on statistical data modeling followed by predictionbased encoding, where an accurate statistical model for the input data leads to substantial improvements in compression. We propose DZip, a generalpurpose compressor for sequential data that exploits the wellknown modeling capabilities of neural networks (NNs) for prediction, followed by arithmetic coding. Dzip uses a novel hybrid architecture based on adaptive and semiadaptive 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 generalpurpose compressors such as Gzip (on average 26% reduction) on a variety of real datasets, achieves nearoptimal 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 generalpurpose compressors based on neural networks and hybrid modeling.
 [260] arXiv:1911.03577 (crosslist from stat.ML) [pdf, other]

Title: Degrees of freedom for offthegrid sparse estimationSubjects: 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 overparameterized 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 "offthegrid" approaches, using a continuous parameter space. This type of approach is the one favoured when training multilayer perceptrons, and is also becoming popular to solve superresolution problems in imaging. Training these offthegrid 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 overestimate 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 superresolution 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 (crosslist from hepth) [pdf, other]

Title: Stable attractors in the threedimensional general relativistic PoyntingRobertson effectComments: 11 pages, 3 figuresSubjects: High Energy Physics  Theory (hepth); High Energy Astrophysical Phenomena (astroph.HE); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
We prove the stability of the critical hypersurfaces associated with the threedimensional general relativistic PoyntingRobertson 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 (crosslist from physics.classph) [pdf, ps, other]

Title: The rotating rigid body model based on a nontwisting frameSubjects: Classical Physics (physics.classph); Mathematical Physics (mathph); Numerical Analysis (math.NA)
This work proposes and investigates a new model of the rotating rigid body based on the nontwisting 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 LagrangeD'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 energymomentum 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 timediscretized governing equations.
 [263] arXiv:1911.03684 (crosslist from eess.SY) [pdf, other]

Title: An Algorithmic View on Optimal Storage SizingSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Users can arbitrage against TimeofUse (ToU) pricing with storage by charging in offpeak 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 multipeaked 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 (crosslist from qbio.PE) [pdf, other]

Title: Evolution of Cooperation for Multiple Mutant Configurations on All Regular Graphs with $N \leq 14$ playersAuthors: Hendrik RichterSubjects: Populations and Evolution (qbio.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 cooperationpromoting 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 (crosslist from cs.LG) [pdf, other]

Title: Tensor Regression Using Lowrank and Sparse Tucker DecompositionsComments: 26 pages, 3 figures, 1 table; preprint of a journal articleSubjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Statistics Theory (math.ST); Machine Learning (stat.ML)
This paper studies a tensorstructured linear regression model with a scalar response variable and tensorstructured 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 illposedness of this estimation problem, it can still be solved if the parameter tensor belongs to the space of sparse, low Tuckerrank tensors. Accordingly, the estimation procedure is posed as a nonconvex optimization program over the space of sparse, low Tuckerrank tensors, and a tensor variant of projected gradient descent is proposed to solve the resulting nonconvex 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 subGaussian 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 (crosslist from cs.CC) [pdf, ps, other]

Title: Quantum speedups need structureComments: 19 pagesSubjects: 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 wellknown 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 (crosslist from eess.SY) [pdf, other]

Title: A Characterization of All Passivizing InputOutput Transformations of a PassiveShort SystemComments: 7 pages, 1 figureSubjects: 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 largescale 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. Inputoutput transformations are the most general tool for passivizing systems, generalizing outputfeedback and inputfeedthrough. In this paper, we classify all possible inputoutput 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 Slemma for MIMO systems.
 [268] arXiv:1911.03758 (crosslist from qbio.CB) [pdf, other]

Title: Modeling stripe formation on growing zebrafish tailfinsAuthors: Alexandria Volkening, Madeline R Abbott, Dorothy Catey, Neil Chandra, Bethany Dubois, Francesca Lim, Bjorn SandstedeSubjects: Cell Behavior (qbio.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 wildtype 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 agentbased 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 bodyfin interface may be involved in patterning, and we raise questions for future work related to pattern robustness.
 [269] arXiv:1911.03783 (crosslist from stat.ME) [pdf, other]

Title: Hypothesis testing for populations of networksSubjects: 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 twofold: (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 TracyWidom 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 changepoint detection in dynamic networks which is proven to be consistent in detecting the changepoints. 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 (crosslist from stat.ML) [pdf, other]

Title: ISLET: Fast and Optimal Lowrank Tensor Regression via Importance SketchingSubjects: 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 lowrank tensor regression, namely \underline{I}mportance \underline{S}ketching \underline{L}owrank \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 lowdimensional structure of the parameter of interest. We show that the proposed method is sharply minimax optimal in terms of the meansquared error under lowrank Tucker assumptions and under randomized Gaussian ensemble design. In addition, if a tensor is lowrank with group sparsity, our procedure also achieves minimax optimality. Further, we show through numerical studies that ISLET achieves comparable or better meansquared error performance to existing stateoftheart methods whilst having substantial storage and runtime 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 (crosslist from eess.SY) [pdf, other]

Title: Synthesis of Feedback Controller for Nonlinear Control Systems with Optimal Region of AttractionSubjects: 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 safetycritical 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 nonlinear 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 tradeoffs and extra design freedom.
 [272] arXiv:1911.03884 (crosslist from eess.SY) [pdf, other]

Title: Learning Koopman Operator under Dissipativity ConstraintsSubjects: 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 infinitedimensional 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 nonconvex 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 (crosslist from eess.SP) [pdf, other]

Title: Positioning of Multiple Unmanned Aerial Vehicle Base Stations in future Wireless NetworkAuthors: Thushan Sivalingam, K. B. Shashika Manosha, Nandana Rajatheva, M. Latvaaho, Maheshi B. DissanayakeSubjects: 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 UAVdeployment 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 UAVBSs from a predefined set of locations, subject to a signaltointerferenceplusnoise ratio (SINR) constraint of every associated user, UAVBS'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, NPhard problem. We approximate the l_0 minimization problem as noncombinatorial l_1norm problem. Therefore, we provide a suboptimal algorithm to find a set of feasible locations for the UAVBSs to operate. The analysis shows that the proposed algorithm achieves a set of location to deploy multiple UVABSs simultaneously while satisfying the constraints.
 [274] arXiv:1911.03933 (crosslist from physics.compph) [pdf, other]

Title: Antidiffusive, Nonoscillatory Central (adNOC) scheme to solve the shallow water equations over an erodible substrate in two dimensionsSubjects: Computational Physics (physics.compph); Mathematical Physics (mathph)
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 Riemannsolver free approach to solve these equations based on the explicit nonoscillatory central (NOC) scheme that has already been widely applied to hyperbolic conservation laws in other contexts. Our version of the central scheme is secondorder accurate in time and space and is used with an antidiffusive 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 (crosslist from hepth) [pdf, ps, other]

Title: Interpolations between Jordanian twists, the PoincaréWeyl algebra and dispersion relationsSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We consider a two parameter family of Drinfeld twists generated from a simple Jordanian twist further twisted by 1cochains. 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\'eWeyl 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 (crosslist from nlin.PS) [pdf, other]

Title: Hexagon Invasion Fronts Outside the Homoclinic Snaking Region in the Planar SwiftHohenberg EquationAuthors: David J. B. LloydComments: 24 pages, 16 figuresSubjects: Pattern Formation and Solitons (nlin.PS); Dynamical Systems (math.DS)
Stationary fronts connecting the trivial state and a cellular (distorted) hexagonal pattern in the SwiftHohenberg 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 coexistence of infinitelymany 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 farfield core decomposition to setup a numerical pathfollowing 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 SwiftHohenberg equation with a large nonvariational perturbation. The numerical algorithms presented can be adapted to general reactiondiffusion systems.
 [277] arXiv:1911.03988 (crosslist from eess.SY) [pdf, ps, other]

Title: ModelFree Learning of Optimal Ergodic Policies in Wireless SystemsComments: 13 pages, 4 figuresSubjects: 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 modelfree primaldual 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 nearuniversal 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 primaldual algorithmic recipe. Numerical simulations confirm the effectiveness of our approach.
 [278] arXiv:1911.03990 (crosslist from cs.CC) [pdf, ps, other]

Title: Implementing geometric complexity theory: On the separation of orbit closures via symmetriesComments: 47 pagesSubjects: 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 socalled 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 semiexplicit 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 (crosslist from cs.LO) [pdf, ps, other]

Title: A generic imperative language for polynomial timeAuthors: Daniel LeivantComments: 18 pages, submitted to a conferenceSubjects: 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 primitiverecursive complexity, construes finite partialfunctions 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 partialfunctions, 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 (crosslist from cs.DM) [pdf, other]

Title: A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 CodewordsSubjects: 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 verifyin 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 (crosslist from eess.SP) [pdf, other]

Title: IMNet: A Learning Based Detector for Index Modulation Aided MIMOOFDM systemsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Index modulation (IM) brings the reduction of power consumption and complexity of the transmitter to classical multipleinput multipleoutput orthogonal frequency division multiplexing (MIMOOFDM) 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 noniterative detector. Specifically, based on the structural sparsity of the transmitted signal in IM aided MIMOOFDM 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 (crosslist from stat.CO) [pdf, ps, other]

Title: Approximate Uncertain ProgramComments: arXiv admin note: substantial text overlap with arXiv:1911.00192Subjects: 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 neuralnetwork is used to approximate the function from decision domain to violation probability domain. The algorithm for updating parameters in single layer neuralnetwork 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 nonconvex problems comparing with scenario approach and parallel randomized algorithm. The result shows that proposed method have improved performance.
 [283] arXiv:1911.04235 (crosslist from condmat.statmech) [pdf, other]

Title: MittagLeffler functions in superstatisticsAuthors: Maike A. F. dos SantosSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Data Analysis, Statistics and Probability (physics.dataan); 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 nonhomogeneous temperatures (or diffusivity). The superstatistics admits a general Boltzmann factor that depends on the distribution of intensive parameters $\beta$ (inversediffusivity). Each value of intensive parameter is associated with a local equilibrium in the system. In this work, we investigate the consequences of MittagLeffler function on the definition of fdistribution of a complex system. Thus, using the techniques belonging to the fractional calculus with nonsingular kernels, we constructed a distribution to intensive parameters using the MittagLeffler function. This function implies distributions with powerlaw behaviour to high energy values in the context of CohenBeck superstatistics. This work aims to present the generalised probabilities distribution in statistical mechanics under a new perspective of the MittagLeffler function inspired in AtanganaBaleanu and Prabhakar forms.
 [284] arXiv:1911.04239 (crosslist from eess.SP) [pdf, other]

Title: Hybrid Precoding for MultiUser Millimeter Wave Massive MIMO Systems: A Deep Learning ApproachComments: Accepted paper in IEEE Transactions on Vehicular Technology, Oct 2019Subjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)
In multiuser millimeter wave (mmWave) multipleinputmultipleoutput (MIMO) systems, hybrid precoding is a crucial task to lower the complexity and cost while achieving a sufficient sumrate. Previous works on hybrid precoding were usually based on optimization or greedy approaches. These methods either provide higher complexity or have suboptimum 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 (CNNMIMO) 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 sumrate. Then, the selected precoder and combiners are used as output labels in the training stage of CNNMIMO where the inputoutput 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, CNNMIMO 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 (crosslist from cs.DS) [pdf, ps, other]

Title: A polynomial kernel for $3$leaf power deletionComments: 33 pages, 1 figureSubjects: 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 polynomialtime 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 (crosslist from stat.ML) [pdf, other]

Title: Maximum aPosteriori Estimation for the Gaussian Mixture Model via Mixed Integer Nonlinear ProgrammingSubjects: 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 aposteriori (MAP) estimation problem for the Gaussian mixture model. Our approach formulates the MAP estimation problem as a mixedinteger 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 (crosslist from eess.SP) [pdf, other]

Title: Machine LearningBased Adaptive Receive Filtering: ProofofConcept on an SDR PlatformAuthors: Matthias Mehlhose, Daniyal Amir Awany, Renato L. G. Cavalcante, Martin Kurras, Slawomir StanczakComments: submitted to ICC 2020Subjects: 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 lowcomplexity 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 (crosslist from stat.ME) [pdf, other]

Title: Bayesian NonParametric Factor Analysis for Longitudinal Spatial SurfacesComments: 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 tablesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
We introduce a Bayesian nonparametric 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 stickbreaking 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 realworld 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 (crosslist from hepth) [pdf, ps, other]

Title: On the Existence of HeteroticString and TypeIISuperstring Field Theory VerticesSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); 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 heteroticstring and typeIIsuperstring field theory vertices in the product of spaces of bordered surfaces parameterizing left and rightmoving 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 spinRiemann surfaces. We first prove that for arbitrary genus $g$, $n_{\text{NS}}$ NeveuSchwarz 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 DeligneMumford 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 heteroticstring and typeIIsuperstring 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$ superRiemann surfaces for arbitrary genus $g$, $n_{\text{NS}}$ NeveuSchwarz 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 DeligneMumford 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 DeligneMumford stack.
 [290] arXiv:1911.04382 (crosslist from cs.DS) [pdf, other]

Title: GRASS: Spectral Sparsification Leveraging Scalable Spectral Perturbation AnalysisAuthors: Zhuo FengComments: 14 pages, 13 figures. arXiv admin note: substantial text overlap with arXiv:1711.05135Subjects: Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI); Numerical Analysis (math.NA)
Spectral graph sparsification aims to find ultrasparse 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 graphrelated applications. Prior nearlylineartime spectral sparsification methods first extract lowstretch spanning tree from the original graph to form the backbone of the sparsifier, and then recover small portions of spectrallycritical offtree edges to the spanning tree to significantly improve the approximation quality. However, it is not clear how many offtree 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 similarityaware spectral graph sparsification framework that leverages efficient spectral offtree 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 offtree edges for highly illconditioned 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 (1E3 accuracy level) within two minutes using a single CPU core and about 6GB memory.
 [291] arXiv:1911.04425 (crosslist from condmat.strel) [pdf, ps, other]

Title: Symmetry and microscopic constraints on Hall conductances and a WiedemannFranz law: a view from the interfaceAuthors: Yuan YaoSubjects: Strongly Correlated Electrons (condmat.strel); Statistical Mechanics (condmat.statmech); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Physics (quantph)
We introduce an unconventional regularization of condensed matter effective field theory by a nonlocal bulk topological regulator in one higher dimension, which is equivalent to a bulkinterfacebulk 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 halffilled 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 WiedemannFranz law is shown to be obeyed by the Hall conductances regardless of arbitrarily strong interactions. We further obtain nogo theorems on the possible symmetric gapped phases.
 [292] arXiv:1911.04436 (crosslist from cs.LG) [pdf, ps, other]

Title: Nonconvex LowRank Symmetric Tensor Completion from Noisy DataSubjects: 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 lowrank 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 largescale applications, or come with suboptimal statistical guarantees. Focusing on "incoherent" and wellconditioned tensors of a constant CP rank, we propose a twostage 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 nearoptimal 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 setsComments: 8 pages, 7 figures; typos correctedJournalref: The Australasian Journal of Combinatorics, Vol. 39, Pages 233240, 2007Subjects: Combinatorics (math.CO)
 [294] arXiv:1012.1189 (replaced) [pdf, ps, other]

Title: Vanishing of algebraic BrauerManin obstructionsAuthors: Mikhail BorovoiComments: 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 lemmasJournalref: J. Ramanujan Math. Soc. 26, No. 3 (2011), 333349Subjects: 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 groupsComments: 45 pages; v2: worked out all details for the case of rank one unitary groups, v3: final published versionJournalref: Pacific J. Math. 302 (2019), no. 1, 2376Subjects: Representation Theory (math.RT)
 [296] arXiv:1404.7690 (replaced) [pdf, ps, other]

Title: Twisted Lefschetz numbers of infrasolvmanifolds and algebraic groupsAuthors: Hisashi KasuyaComments: 8 pages J. algebra to appearSubjects: 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 wavesComments: 58 pages. Some typos were corrected and some adjustments were made. arXiv admin note: text overlap with arXiv:1202.0657 by other authorsSubjects: Analysis of PDEs (math.AP)
 [298] arXiv:1509.00164 (replaced) [pdf, other]

Title: Theorems of Tarski's Undefinability and Godel's Second IncompletenessComputationallyAuthors: Saeed SalehiComments: 12 pagesSubjects: Logic (math.LO); Logic in Computer Science (cs.LO)
 [299] arXiv:1509.06935 (replaced) [pdf, other]

Title: Shared Memory Pipelined PararealAuthors: Daniel RuprechtJournalref: In: Rivera F., Pena T., Cabaleiro J. (eds) EuroPar 2017: Parallel Processing. Lecture Notes in Computer Science, vol 10417. SpringerSubjects: 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 trianglesSubjects: Combinatorics (math.CO)
 [301] arXiv:1609.06500 (replaced) [pdf, other]

Title: WaveletBased Segmentation on the SphereSubjects: 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 problemsAuthors: David de LaatComments: (v2) 43 pages, revision based on suggestions by referee, published in Trans. Amer. Math. SocJournalref: 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 nonglobally dissipative SDEs with jumps via Malliavin calculus and couplingAuthors: Mateusz B. MajkaComments: 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 URLJournalref: Ann. Inst. H. Poincare Probab. Statist., Volume 55, Number 4 (2019), 20192057Subjects: Probability (math.PR)
 [304] arXiv:1701.08070 (replaced) [pdf]

Title: An improved parametric model for hysteresis loop approximationAuthors: Rostislav V. LapshinComments: Preprint of research article, 35 pages, 37 figures, 1 tableSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Instrumentation and Detectors (physics.insdet)
 [305] arXiv:1702.02326 (replaced) [pdf, other]

Title: KnappStein Type Intertwining Operators for Symmetric Pairs II.  The Translation Principle and Intertwining Operators for SpinorsJournalref: SIGMA 15 (2019), 084, 50 pagesSubjects: Representation Theory (math.RT)
 [306] arXiv:1702.07427 (replaced) [pdf, ps, other]

Title: Freeness characterizations on free chaos spacesSubjects: Operator Algebras (math.OA); Probability (math.PR)
 [307] arXiv:1705.01302 (replaced) [pdf, other]

Title: A McKeanVlasov approach to distributed electricity generation developmentSubjects: Optimization and Control (math.OC); General Economics (econ.GN); Probability (math.PR)
 [308] arXiv:1705.07625 (replaced) [pdf, other]

Title: Variations for Some Painlevé EquationsJournalref: SIGMA 15 (2019), 088, 10 pagesSubjects: Classical Analysis and ODEs (math.CA)
 [309] arXiv:1706.04962 (replaced) [pdf, other]

Title: Anomalous partially hyperbolic diffeomorphisms III: abundance and incoherenceComments: 31 pages, 4 figures. To appear in G&TSubjects: Dynamical Systems (math.DS)
 [310] arXiv:1708.04258 (replaced) [pdf, other]

Title: The StochasticCalculus Approach to MultiReceiver Poisson ChannelsComments: Published in IEEE Transactions on Information Theory, final versionJournalref: IEEE Transactions on Information Theory, vol. 65, no. 8, pp. 50075027, Aug. 2019Subjects: Information Theory (cs.IT)
 [311] arXiv:1708.07485 (replaced) [src]

Title: Multivariate Dependency Measure based on Copula and Gaussian KernelComments: This work is postponedSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
 [312] arXiv:1709.06584 (replaced) [pdf, ps, other]

Title: A Driven Tagged Particle in Asymmetric Exclusion ProcessesAuthors: Zhe WangComments: 35 pages, 9 figuresSubjects: Probability (math.PR)
 [313] arXiv:1709.06594 (replaced) [pdf, ps, other]

Title: A Driven Tagged Particle in Symmetric Exclusion Processes with RemovalsAuthors: Zhe WangComments: 27 pages, 4 figures. The large deviation principle for the displacement is addedSubjects: Probability (math.PR)
 [314] arXiv:1710.06205 (replaced) [pdf, ps, other]

Title: Projective reconstruction in algebraic visionComments: 15 pagesSubjects: 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 ballsSubjects: Statistics Theory (math.ST); Information Theory (cs.IT); Methodology (stat.ME)
 [316] arXiv:1712.01650 (replaced) [pdf, ps, other]

Title: Isomorphisms of graded path algebrasAuthors: Jason GaddisComments: Simplification of proof of the main theorem also fixes an earlier errorSubjects: Rings and Algebras (math.RA)
 [317] arXiv:1712.05539 (replaced) [pdf, other]

Title: Rectilinear Crossings in Complete Balanced dPartite dUniform HypergraphsSubjects: Combinatorics (math.CO)
 [318] arXiv:1801.02923 (replaced) [pdf, other]

Title: Wirtinger Numbers for Virtual LinksAuthors: Puttipong PongtanapaisanSubjects: Geometric Topology (math.GT)
 [319] arXiv:1801.03183 (replaced) [pdf, other]

Title: Discrete Stratified Morse Theory: Algorithms and A User's GuideComments: Full and updated version of an extended abstract previously published at International Symposium on Computational Geometry (SOCG), 2018Subjects: Computational Geometry (cs.CG); Algebraic Topology (math.AT)
 [320] arXiv:1801.04409 (replaced) [pdf, ps, other]

Title: On semisimplification of tensor categoriesComments: 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 AndreKahn results on p.1112 has been addedSubjects: Representation Theory (math.RT)
 [321] arXiv:1801.07554 (replaced) [pdf, other]

Title: Monotone Lagrangians in flag varietiesComments: 33pages, 20 figures. To appear in IMRNSubjects: Symplectic Geometry (math.SG)
 [322] arXiv:1803.02431 (replaced) [pdf, other]

Title: Convexity of SelfSimilar Transonic Shocks and Free Boundaries for the Euler Equations for Potential FlowComments: 59 pages; 13 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [323] arXiv:1803.02982 (replaced) [pdf, ps, other]

Title: Beyond perturbation 2: asymptotics and BeilinsonDrinfeld Grassmannians in differential geometrySubjects: Differential Geometry (math.DG); Representation Theory (math.RT)
 [324] arXiv:1803.04546 (replaced) [pdf, other]

Title: The topological biquandle of a linkAuthors: Eva HorvatComments: 14 pages, 12 figuresSubjects: Geometric Topology (math.GT)
 [325] arXiv:1803.06582 (replaced) [pdf, other]

Title: Contrasting Various Notions of Convergence in Geometric AnalysisComments: 7 figures by Penelope Chang of Hunter College High School. v2: Referee comments addressed. To appear in Pacific Journal of MathematicsSubjects: 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 ActionComments: arXiv admin note: text overlap with arXiv:1711.10363Subjects: Information Theory (cs.IT)
 [327] arXiv:1805.01053 (replaced) [pdf, other]

Title: Mean Field Analysis of Neural Networks: A Law of Large NumbersSubjects: Probability (math.PR)
 [328] arXiv:1805.03095 (replaced) [pdf, other]

Title: Stealthy Communication over Adversarially Jammed Multipath NetworksComments: 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, USASubjects: Information Theory (cs.IT)
 [329] arXiv:1805.03930 (replaced) [pdf, other]

Title: The expectation value of the number of loops and the leftpassage probability in the doubledimer modelComments: 28 pages, 12 figuresSubjects: Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
 [330] arXiv:1805.11137 (replaced) [pdf, ps, other]

Title: Adaptive Euler methods for stochastic systems with nonglobally Lipschitz coefficientsComments: 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 16Subjects: Numerical Analysis (math.NA)
 [331] arXiv:1806.03077 (replaced) [pdf, ps, other]

Title: Representations of relative Cohn path algebrasComments: 20 pages; revised version; to appear in Journal of Pure and Applied AlgebraSubjects: Rings and Algebras (math.RA); Operator Algebras (math.OA)
 [332] arXiv:1806.03599 (replaced) [pdf, ps, other]

Title: On the idempotents of commutative ringsAuthors: Abolfazl TarizadehComments: 5 pagesSubjects: Commutative Algebra (math.AC)
 [333] arXiv:1806.04011 (replaced) [pdf, ps, other]

Title: The GaussGreen theorem in stratified groupsComments: 69 pagesSubjects: 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 equivalenceAuthors: Yongle JiangComments: final version, accepted to Journal of Topology and AnalysisSubjects: Dynamical Systems (math.DS); Group Theory (math.GR)
 [335] arXiv:1807.01883 (replaced) [pdf, other]

Title: A multiscale neural network based on hierarchical matricesComments: 26 pages, 11 figuresSubjects: Numerical Analysis (math.NA)
 [336] arXiv:1807.08670 (replaced) [pdf, other]

Title: Learning an Adversary's Actions for Secret CommunicationSubjects: Information Theory (cs.IT)
 [337] arXiv:1807.09496 (replaced) [pdf, ps, other]

Title: Fundamental group in ominimal structures with definable Skolem functionsComments: 25 pages. arXiv admin note: substantial text overlap with arXiv:1507.03531Subjects: Logic (math.LO)
 [338] arXiv:1807.11043 (replaced) [pdf, other]

Title: On Lshaped point set embeddings of trees: first nonembeddable examplesSubjects: 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 VehiclesJournalref: Transportation Research Part B: Methodological, 130, 105129 (2019)Subjects: Optimization and Control (math.OC)
 [340] arXiv:1808.03882 (replaced) [pdf, other]

Title: A WhittakerPlancherel Inversion Formula for $\mathrm{SL}_2(\mathbb{C})$Comments: 17 pages. Analysis greatly simplified thanks to an observation of the referee. To appear in J. Anal. MathSubjects: Representation Theory (math.RT)
 [341] arXiv:1808.06126 (replaced) [pdf, ps, other]

Title: A 2Norm Condition Number for Bézier Curve IntersectionAuthors: Danny HermesSubjects: 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 SphereComments: 26 pages, LaTeX, 3 figures, typos corrected (published version)Journalref: Calc. Var. (2019) 58:205Subjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (mathph); Functional Analysis (math.FA)
 [343] arXiv:1809.00261 (replaced) [pdf, ps, other]

Title: Indefinite Stochastic LinearQuadratic Optimal Control Problems with Random Coefficients: ClosedLoop Representation of OpenLoop Optimal ControlsComments: 38 pagesSubjects: Optimization and Control (math.OC)
 [344] arXiv:1809.00301 (replaced) [pdf, ps, other]

Title: Stable approximation schemes for optimal filtersSubjects: 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 equationsComments: Changes: improved presentation in Section 2. To appear in Journal of Algebraic CombinatoricsJournalref: 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 categoriesComments: 111 pages, 29 figuresSubjects: Symplectic Geometry (math.SG)
 [348] arXiv:1809.04633 (replaced) [pdf, other]

Title: Correlation and Simpson conversion in $2 \times 2 \times 2$ contingency tablesComments: 15 pages, 4 figures, 4 tablesSubjects: Probability (math.PR); Combinatorics (math.CO)
 [349] arXiv:1809.06721 (replaced) [pdf, ps, other]

Title: LeviCivita connections for a class of spectral triplesComments: minor changes. To appear in Letters in Mathematical Physics. arXiv admin note: text overlap with arXiv:1606.08142Subjects: Quantum Algebra (math.QA); Operator Algebras (math.OA)
 [350] arXiv:1809.08688 (replaced) [pdf, ps, other]

Title: Singular BrascampLieb inequalities with cubical structureComments: 16 pagesSubjects: Classical Analysis and ODEs (math.CA)
 [351] arXiv:1809.10827 (replaced) [pdf, other]

Title: Weak detection in the spiked Wigner modelComments: 45 pages, 5 figuresSubjects: 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 matricesAuthors: Joseph NajnudelSubjects: Probability (math.PR)
 [353] arXiv:1810.04874 (replaced) [pdf, other]

Title: Stability of Standing Waves for a Nonlinear KleinGordon Equation with Delta PotentialsJournalref: Journal of Differential Equations, Vol. 268(1), (2019), 353388Subjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [354] arXiv:1810.07687 (replaced) [pdf, other]

Title: Covert Capacity of NonCoherent RayleighFading ChannelsSubjects: Information Theory (cs.IT)
 [355] arXiv:1810.08960 (replaced) [pdf, other]

Title: Existence of equivariant models of spherical varieties and other GvarietiesComments: 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 addedSubjects: 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 onerelator groupsComments: Corrected typosJournalref: Mathematische Annalen (2019)Subjects: Group Theory (math.GR)
 [357] arXiv:1810.12855 (replaced) [pdf, ps, other]

Title: Some Results on Polish GroupsSubjects: Logic (math.LO)
 [358] arXiv:1811.01864 (replaced) [pdf, ps, other]

Title: qIndependence of the JimboDrinfeld QuantizationAuthors: Olof GiselssonSubjects: Quantum Algebra (math.QA)
 [359] arXiv:1811.03761 (replaced) [pdf, other]

Title: RSA: ByzantineRobust Stochastic Aggregation Methods for Distributed Learning from Heterogeneous DatasetsComments: To appear in AAAI 2019Subjects: 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: VietCuong PhamComments: 82 pages, 29 figuresSubjects: Algebraic Topology (math.AT)
 [361] arXiv:1811.05673 (replaced) [pdf, ps, other]

Title: Cutting resilient networks  complete binary treesComments: 29 pagesSubjects: Probability (math.PR); Networking and Internet Architecture (cs.NI); Combinatorics (math.CO)
 [362] arXiv:1811.08791 (replaced) [pdf, ps, other]

Title: The ChernSimonsHiggs and the ChernSimonsDirac equations in FourierLebesgue spacesAuthors: Hartmut PecherComments: 18 pages, minor changesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [363] arXiv:1811.12403 (replaced) [pdf, other]

Title: New Convergence Aspects of Stochastic Gradient AlgorithmsAuthors: Lam M. Nguyen, Phuong Ha Nguyen, Peter Richtárik, Katya Scheinberg, Martin Takáč, Marten van DijkComments: Journal of Machine Learning Research. arXiv admin note: substantial text overlap with arXiv:1802.03801Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [364] arXiv:1812.00092 (replaced) [pdf, ps, other]

Title: Admissible vectors and Hilbert algebrasSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
 [365] arXiv:1812.02128 (replaced) [pdf, other]

Title: A ControlTheoretic Approach for Scalable and Robust Traffic Density Estimation using Convex OptimizationComments: IEEE Transactions on Intelligent Transportation Systems, In PressSubjects: 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 retractionsSubjects: Functional Analysis (math.FA); Logic (math.LO)
 [367] arXiv:1812.06689 (replaced) [pdf, other]

Title: Extremal rankone convex integrands and a conjecture of ŠverákAuthors: André GuerraJournalref: Calc. Var. (2019) 58: 201Subjects: Analysis of PDEs (math.AP)
 [368] arXiv:1812.09390 (replaced) [pdf, ps, other]

Title: Decay of the Local Energy for the Charged KleinGordon Equation in the Exterior De SitterReissnerNordström SpacetimeAuthors: Nicolas BessetSubjects: Mathematical Physics (mathph)
 [369] arXiv:1812.09679 (replaced) [pdf, ps, other]

Title: Lift of fractional Dbrane charge to equivariant Cohomotopy theoryComments: 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 changedSubjects: Representation Theory (math.RT); Mathematical Physics (mathph); 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 equationsComments: 26 pages, 7 figures. arXiv admin note: text overlap with arXiv:1812.01336Journalref: Journal of Inverse and Illposed Problems (2019), (Published online)Subjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [371] arXiv:1901.01285 (replaced) [pdf, other]

Title: GramianBased Model Reduction of Directed NetworksSubjects: Optimization and Control (math.OC)
 [372] arXiv:1901.02044 (replaced) [pdf, other]

Title: Covert Secret Key Generation with an Active WardenJournalref: in IEEE Transactions on Information Forensics and Security, vol. 15, pp. 10261039, 2020Subjects: Information Theory (cs.IT)
 [373] arXiv:1901.03769 (replaced) [pdf, other]

Title: Optimal Multiplexed Erasure Codes for Streaming Messages with Different Decoding DelaysComments: 20 pages, 1 figure, 1 table, presented in part at 2019 IEEE ISITSubjects: Information Theory (cs.IT)
 [374] arXiv:1901.03834 (replaced) [pdf, ps, other]

Title: On the projections of the multifractal packing dimension for q>1Authors: Bilel SelmiSubjects: Metric Geometry (math.MG)
 [375] arXiv:1901.05380 (replaced) [pdf, ps, other]

Title: Joint temporal and contemporaneous aggregation of randomcoefficient AR(1) processes with infinite varianceSubjects: Statistics Theory (math.ST)
 [376] arXiv:1901.10996 (replaced) [pdf, other]

Title: Knot quandle decompositionsComments: 23 pages, 12 figuresSubjects: Geometric Topology (math.GT)
 [377] arXiv:1901.11354 (replaced) [pdf, ps, other]

Title: The monic rankComments: 26 pages, added a discussion on the monic rank for reducible conesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
 [378] arXiv:1902.00946 (replaced) [pdf, other]

Title: On Distributed Dynamic Pricing of Multiscale Transportation NetworksSubjects: Dynamical Systems (math.DS); Optimization and Control (math.OC)
 [379] arXiv:1902.01835 (replaced) [pdf, ps, other]

Title: Fano 4folds with rational fibrationsAuthors: Cinzia CasagrandeComments: 25 pages. Minor changes. To appear in Algebra & Number TheorySubjects: 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 degreeComments: 7 pages; v2: Minor changes, final version to appear on the Taiwanese Journal of MathematicsSubjects: Algebraic Geometry (math.AG)
 [381] arXiv:1902.05059 (replaced) [pdf, other]

Title: Computation of scattering resonances in absorptive and dispersive media with applications to metaldielectric nanostructuresSubjects: Numerical Analysis (math.NA)
 [382] arXiv:1902.08537 (replaced) [pdf, other]

Title: Stationary Wave Profiles for Nonlocal Particle Models of Traffic Flow on Rough RoadsComments: Revised versionSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
 [383] arXiv:1902.09923 (replaced) [pdf, ps, other]

Title: Effect Inference from TwoGroup Data with Sampling BiasJournalref: IEEE Signal Processing Letters, vol. 26, no. 8, Aug. 2019Subjects: 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 infinitySubjects: Statistics Theory (math.ST)
 [385] arXiv:1903.00451 (replaced) [pdf, ps, other]

Title: Nonlinear $\ast$Jordan triple derivation on prime $\ast$algebrasComments: 12 pagesSubjects: Operator Algebras (math.OA)
 [386] arXiv:1903.00873 (replaced) [pdf, ps, other]

Title: Criterion for robustness of global asymptotic stability to perturbations of linear timevarying systemsAuthors: Robert VrabelComments: Some inaccuracies of previous version were fixed and the title is changedSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
 [387] arXiv:1903.03809 (replaced) [src]

Title: A note on the halfliberation operationAuthors: Teo BanicaComments: Withdrawn by the author  the main findings in this paper are now part of arXiv:1909.08152Subjects: Operator Algebras (math.OA); Quantum Algebra (math.QA)
 [388] arXiv:1903.03885 (replaced) [src]

Title: Compact quantum groups generated by their toriAuthors: Teo BanicaComments: Withdrawn by the author  the main findings in this paper are now part of arXiv:1909.08152Subjects: 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 curvesComments: 38 pages. v2: minor changes following referee reportSubjects: 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 correctedSubjects: Mathematical Physics (mathph); Spectral Theory (math.SP); Quantum Physics (quantph)
 [391] arXiv:1903.05373 (replaced) [pdf, other]

Title: Separability for mixed states with operator Schmidt rank twoComments: 12 pages. v2: We thank A. MuellerHermes, 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 licenseSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
 [392] arXiv:1903.06595 (replaced) [pdf, other]

Title: Root Cones and the Resonance ArrangementSubjects: Combinatorics (math.CO)
 [393] arXiv:1903.09877 (replaced) [pdf, other]

Title: On the dependence structure of scrambled (t,m,s)netsComments: 24 pagesSubjects: Probability (math.PR)
 [394] arXiv:1903.11011 (replaced) [pdf, ps, other]

Title: Nondegeneracy of the bubble for the critical pLaplace equationSubjects: 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 HighOrder methodsComments: 30 pages, 15 FiguresSubjects: Numerical Analysis (math.NA)
 [396] arXiv:1903.12002 (replaced) [pdf, other]

Title: Numerical Root Finding via Cox RingsAuthors: Simon TelenSubjects: Algebraic Geometry (math.AG)
 [397] arXiv:1904.00793 (replaced) [pdf, other]

Title: The Bolza curve and some orbifold ball quotient surfacesComments: A file with Magma code has been addedSubjects: 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 perturbationsAuthors: Gerd GrubbComments: Title changed by insertion of the word "Exact". 22 pages. References added, misprints corrected. To appear in Mathematica ScandinavicaSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
 [399] arXiv:1904.04050 (replaced) [pdf, ps, other]

Title: Inclusive scattering matrix and scattering of quasiparticlesAuthors: Albert SchwarzComments: 15 pagesSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); High Energy Physics  Theory (hepth); Quantum Physics (quantph)
 [400] arXiv:1904.04644 (replaced) [pdf, ps, other]

Title: Martingale Optimal Transport DualityComments: 27 pagesSubjects: Functional Analysis (math.FA); Mathematical Finance (qfin.MF)
 [401] arXiv:1904.06001 (replaced) [src]

Title: A note on small gaps between zeros of the Riemann zetafunctionComments: 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 problemsAuthors: Piotr BaniaComments: This is a preprint of an article accepted for publication in International Journal of Applied Mathematics and Computer Science, AMCS, 20 pages, 1 figureSubjects: Optimization and Control (math.OC); Category Theory (math.CT)
 [403] arXiv:1904.06446 (replaced) [pdf, ps, other]

Title: Approximation in the mean by rational functionsSubjects: Functional Analysis (math.FA)
 [404] arXiv:1904.06985 (replaced) [pdf, other]

Title: Mean field limits for interacting Hawkes processes in a diffusive regimeSubjects: Probability (math.PR)
 [405] arXiv:1904.07511 (replaced) [pdf, ps, other]

Title: Reinforcement Learning for Nested Polar Code ConstructionComments: 8 pages, 10 figures, propose a multistage genetic algorithmSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
 [406] arXiv:1904.08890 (replaced) [pdf, other]

Title: Quotients of singular foliations and Lie 2group actionsComments: Added new Section 4 on groupoid fibrations. Theorem 1.25 improved, Appendix A extendedSubjects: Differential Geometry (math.DG)
 [407] arXiv:1904.10052 (replaced) [pdf, ps, other]

Title: A Schwarz lemma for two families of domains and complex geometryComments: Revised, 31 pagesSubjects: 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 PakovichComments: 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 bidegree $(d_1,d_2).$. arXiv admin note: text overlap with arXiv:1801.01985Subjects: Dynamical Systems (math.DS)
 [409] arXiv:1904.12017 (replaced) [pdf, other]

Title: A Distributed Method for Fitting Laplacian Regularized Stratified ModelsComments: 37 pages, 6 figuresSubjects: 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 ChannelsSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Quantum Physics (quantph)
 [411] arXiv:1904.12647 (replaced) [src]

Title: Unitary quantum groups vs quantum reflection groupsAuthors: Teo BanicaComments: Withdrawn by the author  the main findings in this paper are now part of arXiv:1909.08152Subjects: Quantum Algebra (math.QA)
 [412] arXiv:1905.02458 (replaced) [pdf, other]

Title: Reachability analysis of linear hybrid systems via block decompositionSubjects: 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 groupsComments: 25 pagesSubjects: Analysis of PDEs (math.AP)
 [414] arXiv:1905.02805 (replaced) [pdf, other]

Title: Network Coding Gaps for Completion Times of Multiple UnicastsSubjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
 [415] arXiv:1905.03468 (replaced) [pdf, other]

Title: InputFeedforwardPassivityBased Distributed Optimization Over Jointly Connected Balanced DigraphsComments: 13 pages, 6 figures, submitted to IEEE Transactions on Automatic ControlSubjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA)
 [416] arXiv:1905.03488 (replaced) [pdf, ps, other]
 [417] arXiv:1905.04677 (replaced) [pdf, ps, other]

Title: A construction for cliquefree pseudorandom graphsComments: 9 pages, changes based on referee reports: added proofs of some lemmata, new remarks and referencesSubjects: Combinatorics (math.CO)
 [418] arXiv:1905.07547 (replaced) [pdf, ps, other]

Title: Kantorovich distance on a finite metric spaceComments: This is a substantial revision of v4 of the paper. Title has been changed to reflect new developmentsSubjects: Probability (math.PR)
 [419] arXiv:1905.09473 (replaced) [pdf, ps, other]

Title: A Finite Horizon Optimal Switching Problem with Memory and Application to Controlled SDDEsAuthors: Magnus PerningeComments: arXiv admin note: text overlap with arXiv:1808.08080Subjects: Optimization and Control (math.OC)
 [420] arXiv:1905.11323 (replaced) [pdf, ps, other]

Title: On Traces of Singular ModuliAuthors: Malik AmirComments: Expository Article, 37 pagesSubjects: 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 PrasadAuthors: Chang YangComments: 23 pages; The 1st version undergoes a major revision. removed the split hypothesis; added a result in the padic caseSubjects: Representation Theory (math.RT)
 [422] arXiv:1905.12299 (replaced) [pdf, ps, other]

Title: A Lichnerowicz Vanishing Theorem for the Maximal Roe AlgebraComments: 23 pagesSubjects: KTheory 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 graphsAuthors: HauWen HuangComments: 8 pagesSubjects: 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 resultsSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
 [425] arXiv:1906.00331 (replaced) [pdf, ps, other]

Title: On Gradient Descent Ascent for NonconvexConcave Minimax ProblemsComments: Revise the proof for Theorem 3.8 and 3.9 in the appendix; correct some typosSubjects: 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 mappingsAuthors: Michael ReiterComments: minor mistakes correctedSubjects: Complex Variables (math.CV)
 [427] arXiv:1906.03944 (replaced) [pdf, other]

Title: Solving Electrical Impedance Tomography with Deep LearningComments: 22 pages, 17 figuresSubjects: Computational Physics (physics.compph); Machine Learning (cs.LG); Numerical Analysis (math.NA)
 [428] arXiv:1906.03949 (replaced) [pdf, other]

Title: Intelligent Reflecting Surface vs. DecodeandForward: How Large Surfaces Are Needed to Beat Relaying?Comments: To appear in IEEE Wireless Communications Letters, 5 pages, 5 figuresSubjects: Information Theory (cs.IT)
 [429] arXiv:1906.06696 (replaced) [pdf, other]

Title: Classical simulation of linear optics subject to nonuniform lossesComments: 13 pages, 5 figures, v2: improved presentation and additional result regarding unbalanced losses added, comments and suggestions are welcomeSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
 [430] arXiv:1906.07342 (replaced) [pdf, other]

Title: Arbitrarily highorder energypreserving schemes for the CamassaHolm equationComments: 17pages, 17 figuresSubjects: Numerical Analysis (math.NA)
 [431] arXiv:1906.07931 (replaced) [pdf, ps, other]

Title: Exponentiation of Lie Algebras of Linear Operators on Locally Convex SpacesAuthors: Rodrigo A. H. M. CabralComments: 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 (mathph); 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 eightiesAuthors: Eduard ZehnderComments: two flaws found by Joa Weber correctedJournalref: Jahresber. Dtsch. Math. Ver. (2019) 121:7190Subjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS); History and Overview (math.HO)
 [433] arXiv:1906.10305 (replaced) [pdf, other]

Title: Refinements of the KieferWolfowitz Theorem and a Test of ConcavityAuthors: Zheng FangComments: Forthcoming in Electronic Journal of Statistics. Compared to the journal version, the difference is that this version contains additional simulation results, collected in Appendix CSubjects: 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 reductionAuthors: Tommaso TaddeiSubjects: Numerical Analysis (math.NA)
 [435] arXiv:1907.01673 (replaced) [pdf, ps, other]

Title: Rough traces of $BV$ functions in metric measure spacesSubjects: Metric Geometry (math.MG); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
 [436] arXiv:1907.02348 (replaced) [pdf, ps, other]

Title: The HunekeWiegand conjecture and middle terms of almost split sequencesAuthors: Toshinori KobayashiComments: 5 pagesSubjects: Commutative Algebra (math.AC)
 [437] arXiv:1907.02552 (replaced) [pdf, other]

Title: The Entanglement of a Bipartite ChannelComments: 39+3 pages, 15 figures, many typos fixed, presentation improvedSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
 [438] arXiv:1907.02723 (replaced) [pdf, ps, other]

Title: A note about scalar curvature on the total space of a vector bundleAuthors: Jialong DengComments: 3 pages. Update the proof of Theorem 1Subjects: Differential Geometry (math.DG)
 [439] arXiv:1907.05077 (replaced) [pdf, other]

Title: Directing Power Towards Conic Parameter SubspacesAuthors: Nick KoningSubjects: Statistics Theory (math.ST); Computation (stat.CO); Methodology (stat.ME)
 [440] arXiv:1907.05474 (replaced) [pdf, other]

Title: Introduction to a renormalisation group methodComments: BookJournalref: Lecture Notes in Mathematics, volume 2242, Springer 2019Subjects: Mathematical Physics (mathph); Probability (math.PR)
 [441] arXiv:1907.05520 (replaced) [pdf, other]

Title: The Landscape of Nonconvex Empirical Risk with Degenerate Population RiskSubjects: 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 algebrasComments: typos corrected, small changes in notation, references added; to appear in Journal of AlgebraSubjects: Rings and Algebras (math.RA)
 [443] arXiv:1907.08104 (replaced) [pdf]

Title: Operational Interpretations of the Chernoff InequalityAuthors: Roy S. FreedmanSubjects: Probability (math.PR)
 [444] arXiv:1907.10413 (replaced) [pdf, other]

Title: Learning the Tangent Space of Dynamical Instabilities from DataSubjects: Computational Physics (physics.compph); 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 SelfSimilar Solutions of the Airy Shallow Water EquationsJournalref: SIGMA 15 (2019), 087, 17 pagesSubjects: Mathematical Physics (mathph); Exactly Solvable and Integrable Systems (nlin.SI)
 [446] arXiv:1907.11744 (replaced) [pdf, ps, other]

Title: Simultaneously vanishing higher derived limitsComments: 31 pages; the revision reduces the large cardinal assumption from a measurable to a weakly compact cardinalSubjects: Logic (math.LO); Algebraic Topology (math.AT)
 [447] arXiv:1907.12019 (replaced) [pdf, ps, other]

Title: The Flexibility and Rigidity of Leaper FrameworksAuthors: Nikolai BeluhovComments: 62 pages, 15 figuresSubjects: Combinatorics (math.CO)
 [448] arXiv:1908.00066 (replaced) [pdf, other]

Title: Equilibrium states for nonuniformly hyperbolic systems: statistical properties and analyticitySubjects: Dynamical Systems (math.DS)
 [449] arXiv:1908.00639 (replaced) [pdf, ps, other]

Title: Lagrange Multipliers and Rayleigh Quotient Iteration in Constrained Type EquationsAuthors: Du NguyenSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
 [450] arXiv:1908.01131 (replaced) [pdf, ps, other]

Title: Random Tensors and their Normal DistributionsComments: 29 pages, addressed at 2019 international conference on Matrices and Operators, Chern Institute of Mathematics, Nankai Univ., Tianjin, China, July 24, 2019Subjects: Statistics Theory (math.ST)
 [451] arXiv:1908.02117 (replaced) [pdf, ps, other]

Title: Open embeddings and pseudoflat epimorphismsComments: 21 pages. v2: the proof of Theorem 4.2 is simplified; some references are addedSubjects: 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 sumAuthors: Thomas BaruchelSubjects: Number Theory (math.NT)
 [453] arXiv:1908.02349 (replaced) [pdf, other]

Title: The Poincare lemma, antiexact forms, and fermionic quantum harmonic oscillatorAuthors: Radosław Antoni KyciaComments: 20 pages, 7 figuresSubjects: Differential Geometry (math.DG); Mathematical Physics (mathph)
 [454] arXiv:1908.02821 (replaced) [pdf, other]

Title: Integrable model of a $p$wave bosonic superfluidComments: Phys. Rev. Res. (RC)Subjects: Quantum Gases (condmat.quantgas); Mathematical Physics (mathph); Quantum Physics (quantph)
 [455] arXiv:1908.02867 (replaced) [pdf, ps, other]

Title: Twoweight estimates for sparse square functions and the separated bump conjectureAuthors: Spyridon KakaroumpasComments: 36 pagesSubjects: Classical Analysis and ODEs (math.CA)
 [456] arXiv:1908.03133 (replaced) [pdf, other]

Title: Demystifying the Power Scaling Law of Intelligent Reflecting Surfaces and MetasurfacesComments: To appear at IEEE International Workshop on Computational Advances in MultiSensor Adaptive Processing (CAMSAP), 2019, 5 pages, 4 figuresSubjects: 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 ForcingComments: 39 pagesJournalref: Chinese Annals of Mathematics, 40B(6), 9671004, 2019Subjects: Analysis of PDEs (math.AP); Probability (math.PR); Chaotic Dynamics (nlin.CD)
 [458] arXiv:1908.05575 (replaced) [pdf, ps, other]

Title: Ensemble Kalman Inversion: meanfield limit and convergence analysisSubjects: Numerical Analysis (math.NA); Probability (math.PR)
 [459] arXiv:1908.05651 (replaced) [pdf, ps, other]

Title: Almost optimal local wellposedness for the MaxwellKleinGordon system with data in FourierLebesgue spacesAuthors: Hartmut PecherComments: 18 pages, slightly modified version according to the suggestions of the referee, to appear in Comm. Pure Appl. AnalysisSubjects: Analysis of PDEs (math.AP)
 [460] arXiv:1908.06106 (replaced) [pdf, other]

Title: An Octanomial Model for Cubic SurfacesComments: 18 pages; New version contains minor expository changesSubjects: Algebraic Geometry (math.AG)
 [461] arXiv:1908.06781 (replaced) [pdf, other]

Title: The regularized visible fold revisitedAuthors: Kristian Uldall KristiansenSubjects: Dynamical Systems (math.DS)
 [462] arXiv:1908.07583 (replaced) [pdf, other]

Title: Entropy in Themodynamics: from Foliation to CategorizationAuthors: Radosław A. KyciaComments: 20 pages, 2 figure, a survey paper by no means an original research;Subjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech)
 [463] arXiv:1908.08491 (replaced) [pdf, ps, other]

Title: On spectral curves and complexified boundaries of the phaselock areas in a model of Josephson junctionComments: To appear in the Journal of Dynamical and Control Systems. 50 pages, 17 figures. Minor editorial changes, new references addedSubjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG)
 [464] arXiv:1908.08618 (replaced) [pdf, other]

Title: Stability of Leapfrogging Vortex Pairs: A Semianalytic ApproachSubjects: Chaotic Dynamics (nlin.CD); Dynamical Systems (math.DS); Fluid Dynamics (physics.fludyn)
 [465] arXiv:1908.11147 (replaced) [pdf, ps, other]

Title: Pair Correlations of Niederreiter and Halton Sequences are not PoissonianComments: 18 pages, generalized statement of Theorem 1 from Faure to Niederreiter sequencesSubjects: Number Theory (math.NT)
 [466] arXiv:1908.11639 (replaced) [pdf, other]

Title: Geometry of $1$codimensional measures in Heisenberg groupsAuthors: Andrea MerloSubjects: Metric Geometry (math.MG)
 [467] arXiv:1908.11716 (replaced) [pdf, ps, other]

Title: Quantum thermodynamics in a static de Sitter spacetime and initial state of the universeAuthors: Juan Ignacio Musmarra (IFIMAR, CONICET & UNMdP), Mauricio Bellini (IFIMAR, CONICET & UNMdP)Comments: Version accepted in EPJC. arXiv admin note: text overlap with arXiv:1904.11599Subjects: General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [468] arXiv:1909.01346 (replaced) [pdf, other]

Title: Entanglement spectrum and entropy in topological nonHermitian systems and nonunitary conformal field theoriesComments: 17 pages, 11 figures. Clarifying the sensitivity of boundary conditions and details of obtaining c=2 central chargeSubjects: Strongly Correlated Electrons (condmat.strel); Quantum Gases (condmat.quantgas); Mathematical Physics (mathph); Quantum Physics (quantph)
 [469] arXiv:1909.03307 (replaced) [pdf, ps, other]

Title: Stationary flags, Gaussian scrolls and dualityAuthors: Ziv RanSubjects: Algebraic Geometry (math.AG)
 [470] arXiv:1909.03923 (replaced) [pdf, ps, other]

Title: Quasiconvexity, null Lagrangians, and Hardy space integrability under constant rank constraintsComments: Corrected typosSubjects: 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 ZeroFreeness of 2Spin SystemsComments: 21 pages, 3 figures. Update: two correlation decay sets were added; a discussion with an independent work by Liu with similar results was givenSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); 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 MetamaterialsSubjects: Numerical Analysis (math.NA)
 [473] arXiv:1909.06797 (replaced) [pdf, other]

Title: Quantum Mechanics of Plancherel GrowthComments: 27 pages, 8 figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [474] arXiv:1909.08123 (replaced) [pdf, ps, other]

Title: On sets of commuting and anticommuting PaulisComments: 14 pages, minor changes, additional referencesSubjects: Quantum Physics (quantph); Mathematical Physics (mathph); Group Theory (math.GR)
 [475] arXiv:1909.08382 (replaced) [pdf, ps, other]

Title: Multiplicity one theorem for the generalized doubling methodComments: The main body of the paper by Dmitry Gourevitch and Eyal Kaplan. Appendix A by Avraham Aizenbud and Dmitry Gourevitch. V2: Appendix A addedSubjects: Number Theory (math.NT); Representation Theory (math.RT)
 [476] arXiv:1909.08551 (replaced) [pdf, ps, other]

Title: Topological Recursion in The Ramond SectorAuthors: Kento OsugaComments: 41 pages. v2: published version (minor changes to the presentation, references added)Journalref: JHEP 1910 (2019) 286Subjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [477] arXiv:1909.09042 (replaced) [pdf, ps, other]

Title: Quasitransitive Maps on the PlaneAuthors: Arun MaitiComments: 8 pages, 8 figuresSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
 [478] arXiv:1909.12787 (replaced) [pdf, ps, other]

Title: Edwards' condition for quasitraces on C*algebrasComments: 18 pages; minor changesSubjects: 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 matricesComments: Added a section on linear eigenvalue statistics of sample covariance matricesSubjects: Probability (math.PR)
 [480] arXiv:1909.13399 (replaced) [pdf, other]

Title: A new bound for smooth spline spacesComments: v1: 4 pages, 1 figure. v2: minor stylistic changesSubjects: 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 nonsimple abelian varietiesAuthors: Rikito OhtaComments: 12 pages; v3: corrected the mistakes on Proposition 4.3, some grammatical mistakes and typosSubjects: Algebraic Geometry (math.AG)
 [482] arXiv:1909.13588 (replaced) [pdf, ps, other]

Title: Short starproducts for filtered quantizations, IComments: 32 pages, latex; in v2 there is a new theorem on rationality of characters of Verma modules in Section 4.2Subjects: Representation Theory (math.RT); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Algebra (math.QA)
 [483] arXiv:1910.00148 (replaced) [pdf, other]

Title: Luminical Propagation of Gravitational Waves in Scalartensor Theories: The Case for TorsionAuthors: José Barrientos, Fabrizio CordonierTello, Cristóbal Corral, Fernando Izaurieta, Perla Medina, Eduardo Rodríguez, Omar ValdiviaComments: 16 pages, 2 figures. v2: 17 pages, 2 figures, updated references, version accepted for publication in PRDSubjects: General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [484] arXiv:1910.00960 (replaced) [pdf, other]

Title: A Framework for Differential Calculus on Persistence BarcodesComments: 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 sectionSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG); Differential Geometry (math.DG); Optimization and Control (math.OC)
 [485] arXiv:1910.01397 (replaced) [pdf, other]
 [486] arXiv:1910.02327 (replaced) [pdf, other]

Title: Packing Disks by Flipping and FlowingComments: Submitted versionSubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
 [487] arXiv:1910.02331 (replaced) [pdf, ps, other]

Title: Some sharp isoperimetrictype inequalities on Riemannian manifoldsAuthors: KwokKun KwongComments: 25 pages. Some results improved and some new results added. Corrected some inaccuraciesSubjects: Differential Geometry (math.DG)
 [488] arXiv:1910.03562 (replaced) [pdf, ps, other]

Title: Twocomponent YangBaxter maps associated to integrable quad equationsAuthors: Andrew P. KelsComments: 60 pages, 6 figures, v2: Added the Q4 2component 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 (mathph); Statistical Mechanics (condmat.statmech); Quantum Algebra (math.QA); Exactly Solvable and Integrable Systems (nlin.SI)
 [489] arXiv:1910.03972 (replaced) [pdf, ps, other]

Title: Local wellposedness of the twodimensional DiracKleinGordon equations in FourierLebesgue spacesAuthors: Hartmut PecherComments: 10 pages, proof of Prop. 2.5 detailedSubjects: Analysis of PDEs (math.AP)
 [490] arXiv:1910.04264 (replaced) [pdf, ps, other]

Title: Complex geometry and fundamental physical lawAuthors: Mike R. JeffreyComments: 42 pages, 1 figureSubjects: Mathematical Physics (mathph); General Relativity and Quantum Cosmology (grqc)
 [491] arXiv:1910.04418 (replaced) [pdf, ps, other]

Title: CLT and MDP for McKeanVlasov SDEsComments: 18pagesSubjects: Probability (math.PR)
 [492] arXiv:1910.05218 (replaced) [pdf, ps, other]

Title: Computing period integrals of rigid double octic CalabiYau threefolds with PicardFuchs operatorAuthors: Tymoteusz ChmielSubjects: Algebraic Geometry (math.AG)
 [493] arXiv:1910.06124 (replaced) [pdf, other]

Title: Curve Based Approximation of Measures on Manifolds by Discrepancy MinimizationSubjects: 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 ConstraintsComments: We address the QoSconstrained beamforming optimization problem in IRSaided SWIPT systems. More interesting works and an overview on IRS can be found at this https URLSubjects: 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 threeAuthors: Aaron PollackComments: added application to nexttominimal 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 PCAComments: improving resultsSubjects: 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 SecurityConstrained Unit Commitment With Probabilistic GuaranteesSubjects: 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 foliationsComments: We revised Remark 1.3 (1) in the previous vesionSubjects: Differential Geometry (math.DG)
 [499] arXiv:1910.09549 (replaced) [pdf, ps, other]

Title: Asymptotic Flux Compactifications and the SwamplandComments: 67 pages, v2: renamed singularity types to more naturally structure enhancement patterns, typos fixed, minor clarifications and references addedSubjects: High Energy Physics  Theory (hepth); Algebraic Geometry (math.AG)
 [500] arXiv:1910.09969 (replaced) [pdf, ps, other]

Title: Nonreal Poles and Irregularity of DistributionAuthors: David LowryDudaComments: 7 pagesSubjects: 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 progressionsComments: 14 pages. v2: minor corrections and clarificationsSubjects: 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 KirillovReshetikhin modules: nonexceptional affine and G typesComments: 116 page, This is an arxiv version with details on computations. We corrected typos and revised little bitSubjects: 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 integralAuthors: Taras RadulSubjects: General Topology (math.GN)
 [504] arXiv:1910.12341 (replaced) [pdf, ps, other]

Title: On lifting invariant probability measuresAuthors: Tomasz CieślaComments: 4 pages. The main result is the updated version is more generalSubjects: Dynamical Systems (math.DS)
 [505] arXiv:1910.12609 (replaced) [pdf, ps, other]

Title: Topological invariants of some chemical reaction networksAuthors: Jack MoravaComments: Some typos corrected; the main conjecture [\S 3.2.3] has been restated more preciselySubjects: Algebraic Topology (math.AT)
 [506] arXiv:1910.13250 (replaced) [pdf, ps, other]

Title: Unit equations on quaternionsAuthors: Yifeng HuangComments: 9 pagesSubjects: Number Theory (math.NT)
 [507] arXiv:1910.13252 (replaced) [pdf, ps, other]

Title: The isomorphism types of parabolic subgroups in KacMoody groupsComments: 10 pageSubjects: 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 inequalitiesAuthors: Xiaokai ChangComments: There are critical errors on the lemma and theoremSubjects: Optimization and Control (math.OC)
 [509] arXiv:1910.13290 (replaced) [pdf, other]

Title: Adaptive Causal Network Coding with Feedback for Multipath Multihop CommunicationsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [510] arXiv:1910.13702 (replaced) [pdf, ps, other]

Title: Characterization of expansive polynomials by special determinantsAuthors: M. J. UraySubjects: Number Theory (math.NT)
 [511] arXiv:1910.14474 (replaced) [pdf, other]

Title: Coisotropic EkelandHofer capacitiesComments: 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 figuresSubjects: Symplectic Geometry (math.SG)
 [512] arXiv:1910.14482 (replaced) [pdf, other]

Title: Extending the Parisi formula along a HamiltonJacobi equationComments: 16 pagesSubjects: Probability (math.PR)
 [513] arXiv:1910.14640 (replaced) [pdf, ps, other]

Title: Finite and infinite Euler products of Ramanujan expansionsAuthors: Giovanni CoppolaComments: MSC, Keywords (& 2 books) added and minor errors fixedSubjects: Number Theory (math.NT)
 [514] arXiv:1911.00206 (replaced) [pdf, ps, other]

Title: Symbolic extensions for 3dimensional diffeomorphismsSubjects: Dynamical Systems (math.DS)
 [515] arXiv:1911.00672 (replaced) [pdf, other]

Title: Scaling limit for stochastic control problems in population dynamicsComments: 2 figuresSubjects: 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 boxAuthors: Tsuyoshi YonedaSubjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.fludyn)
 [517] arXiv:1911.00843 (replaced) [pdf, ps, other]

Title: Existence and uniqueness of solution of free boundary problems with partially degenerate diffusionComments: 12Subjects: Analysis of PDEs (math.AP)
 [518] arXiv:1911.01238 (replaced) [pdf, ps, other]

Title: Controllability and Vector Potential: Six Lectures at SteklovAuthors: Shiva ShankarComments: This version includes subject indexSubjects: Optimization and Control (math.OC)
 [519] arXiv:1911.01788 (replaced) [pdf, ps, other]

Title: Translation quiver varietiesAuthors: Sergey MozgovoyComments: 34 pagesSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
 [520] arXiv:1911.01863 (replaced) [pdf, ps, other]

Title: Infinitesimal bendings of submanifoldsSubjects: Differential Geometry (math.DG)
 [521] arXiv:1911.01931 (replaced) [pdf, other]

Title: Online matrix factorization for Markovian data and applications to Network Dictionary LearningComments: 32 pages, 12 figuresSubjects: 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$ dimensionsAuthors: Xiangsheng XuSubjects: Analysis of PDEs (math.AP)
 [523] arXiv:1911.01984 (replaced) [pdf, other]

Title: A hybridized discontinuous Galerkin method for Poissontype problems with signchanging coefficientsSubjects: Numerical Analysis (math.NA)
 [524] arXiv:1911.02171 (replaced) [pdf, other]

Title: Minimax Nonparametric Twosample TestComments: 56 pagesSubjects: 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 MovementAuthors: Dor ElimelechComments: Master's thesis of Dor ElimelechSubjects: Dynamical Systems (math.DS); Information Theory (cs.IT)
 [526] arXiv:1911.02400 (replaced) [pdf, ps, other]

Title: Proof of the Collatz ConjectureAuthors: Agelos KratimenosSubjects: General Mathematics (math.GM)
 [527] arXiv:1911.02664 (replaced) [pdf, other]

Title: On fixedpoint, Krylov, and $2\times 2$ block preconditioners for nonsymmetric problemsComments: Submitted to SIMAXSubjects: Numerical Analysis (math.NA)
 [528] arXiv:1911.02922 (replaced) [pdf]

Title: Persistent Homology as StoppingCriterion for Natural Neighbor InterpolationSubjects: 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 MongeAmpère Equations with RightHand Side Close to OneComments: 14 pagesSubjects: 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 formalismComments: 18 pages, 3 FiguresSubjects: High Energy Physics  Theory (hepth); High Energy Astrophysical Phenomena (astroph.HE); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [531] arXiv:1911.03357 (replaced) [pdf, ps, other]

Title: Hybrid convergence of KählerEinstein measuresAuthors: Léonard PilleSchneiderSubjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
[ 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)