# Mathematics

## New submissions

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

### New submissions for Thu, 27 Feb 20

[1]
Title: The dual Orlicz-Aleksandrov-Fenchel inequality
Authors: Chang-Jian Zhao
Subjects: Metric Geometry (math.MG)

By calculating the first order variation of the dual mixed volumes, we put forward a new concept Orlicz multiple dual mixed volumes. The classical dual mixed volumes and dual Aleksandrov-Fenchel inequality are generalized to the Orlicz space. We establish dual Orlicz Aleksandrov-Fenchel inequality and a new concept of Lp multiple dual mixed volume and Lp dual Aleksandrov Fenchel inequality are first derived here, too. The dual Aleksandrov-Fenchel inequality and the Lp-dual Aleksandrov-Fenchel inequality are all special cases of the dual Orlicz-Aleksandrov-Fenchel inequality. As an application, a new dual Orlicz-Brunn-Minkowski inequality for the Orlicz harmonic addition is also established.

[2]
Title: A metric version of Poincaré's theorem concerning biholomorphic inequivalence of domains
Authors: Bas Lemmens
Subjects: Complex Variables (math.CV); Metric Geometry (math.MG)

We show that If $D\subset \mathbb{C}^n$ is a bounded strongly convex domain with $C^3$ boundary, and $X\subset \mathbb{C}^m$ and $Y\subset \mathbb{C}^k$ are bounded convex domains, then $X\times Y$ cannot be isometrically embedded into $D$ under the Kobayashi distance. This result generalises Poincar\'e's theorem which says that there is no biholomorphic map from the polydisc onto the (open) Euclidean ball in $\mathbb{C}^n$ for $n\geq 2$.
The method of proof only relies on the metric geometry of the spaces and will be derived from a result for products of proper geodesic metric spaces. In fact, we prove that if $M_1$, $M_2$, and $N$ are proper geodesic metric spaces, where both $M_1$ and $M_2$ contain an almost-geodesic ray, and for any two distinct Busemann points in the metric compactification of $N$ the detour distance is infinite, then the product metric space $M_1\times M_2$ with the product distance cannot be isometrically embedded into $N$.

[3]
Title: On the Bertini regularity theorem for arithmetic varieties
Authors: Xiaozong Wang
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

Let $\mathcal{X}$ be a regular projective arithmetic variety equipped with an ample hermitian line bundle $\overline{\mathcal{L}}$. We prove that the proportion of global sections $\sigma$ with $\left\lVert \sigma \right\rVert_{\infty}<1$ of $\overline{\mathcal{L}}^{\otimes d}$ whose divisor does not have a singular point on the fiber $\mathcal{X}_p$ over any prime $p<e^{\varepsilon d}$ tends to $\zeta_{\mathcal{X}}(1+\dim \mathcal{X})^{-1}$ as $d\rightarrow \infty$.

[4]
Title: Big Quantum cohomology of orbifold spheres
Subjects: Symplectic Geometry (math.SG)

We construct a Kodaira-Spencer map from the big quantum cohomology of a sphere with three orbifold points to the Jacobian ring of the mirror Landau-Ginzburg potential function. This is constructed via the Lagrangian Floer theory of the Seidel Lagrangian and we show that Kodaira-Spencer map is a ring isomorphism.

[5]
Title: Arithmetic statistics on cubic surfaces
Authors: Ronno Das
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

In this paper we compute the distributions of various markings on smooth cubic surfaces defined over the finite field $\mathbb{F}_q$, for example the distribution of pairs of points, tritangents' or double sixes'. We also compute the (rational) cohomology of associated bundles and covers over complex numbers.

[6]
Subjects: Dynamical Systems (math.DS)

Let $f\colon X\to X$ be a continuous function on a compact metric space. We show that shadowing is equivalent to backwards shadowing and two-sided shadowing when the map $f$ is onto. Using this we go on to show that, for expansive surjective maps the properties shadowing, two-sided shadowing, s-limit shadowing and two-sided s-limit shadowing are equivalent. We show that $f$ is positively expansive and has shadowing if and only if it has unique shadowing (i.e.\ each pseudo-orbit is shadowed by a unique point), extending a result implicit in Walter's proof that positively expansive maps with shadowing are topologically stable. We use the aforementioned result on two-sided shadowing to find an equivalent characterisation of shadowing and expansivity and extend these results to the notion of $n$-expansivity due to Morales.

[7]
Title: The firefighter problem on polynomial and intermediate growth groups
Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

We prove that any Cayley graph $G$ with degree $d$ polynomial growth does not satisfy $\{f(n)\}$-containment for any $f=o(n^{d-2})$. This settles the asymptotic behaviour of the firefighter problem on such graphs as it was known that $Cn^{d-2}$ firefighters are enough, answering and strengthening a conjecture of Develin and Hartke. We also prove that intermediate growth Cayley graphs do not satisfy polynomial containment, and give explicit lower bounds depending on the growth rate of the group. These bounds can be further improved when more geometric information is available, such as for Grigorchuk's group.

[8]
Title: Mobility and Blockage-aware Communications in Millimeter-Wave Vehicular Networks
Comments: Submitted for Publication in IEEE Transaction on Vehicular Technology (TVT)
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

Mobility may degrade the performance of next-generation vehicular networks operating at the millimeter-wave spectrum: frequent loss of alignment and blockages require repeated beam training and handover, thus incurring huge overhead. In this paper, an adaptive and joint design of beam training, data transmission and handover is proposed, that exploits the mobility process of mobile users (MUs) and the dynamics of blockages to optimally trade-off throughput and power consumption. At each time slot, the serving base station decides to perform either beam training, data communication, or handover when blockage is detected. The decision problem is cast as a partially observable Markov decision process, and the goal is to maximize the throughput delivered to the MU, subject to an average power constraint. To address the high dimensionality of the problem, an approximate dynamic programming algorithm based on a variant of PERSEUS [1] is developed, where both the primal and dual functions are simultaneously optimized to meet the power constraint. Numerical results show that the PERSEUS-based policy has near-optimal performance, and achieves a 55% gain in spectral efficiency compared to a baseline scheme with periodic beam training. Motivated by the structure of the PERSEUS-based policy, two heuristic policies with lower computational cost are proposed. These are shown to achieve a performance comparable to that of PERSEUS, with just a 10% loss in spectral efficiency.

[9]
Title: Large data existence theory for three-dimensional unsteady flows of rate-type viscoelastic fluids with stress diffusion
Subjects: Analysis of PDEs (math.AP)

We prove that there exists a weak solution to a system governing an unsteady flow of a viscoelastic fluid in three dimensions, for arbitrarily large time interval and data. The fluid is described by the incompressible Navier-Stokes equations for the velocity $v$, coupled with a diffusive variant of a combination of the Oldroyd-B and the Giesekus models for a tensor $\mathbb{B}$. By a proper choice of the constitutive relations for the Helmholtz free energy (which, however, is non-standard in the current literature, despite the fact that this choice is well motivated from the point of view of physics) and for the energy dissipation, we are able to prove that $\mathbb{B}$ enjoys the same regularity as $v$ in the classical three-dimensional Navier-Stokes equations. This enables us to handle any kind of objective derivative of $\mathbb{B}$, thus obtaining existence results for the class of diffusive Johnson-Segalman models as well. Moreover, using a suitable approximation scheme, we are able to show that $\mathbb{B}$ remains positive definite if the initial datum was a positive definite matrix (in a pointwise sense). We also show how the model we are considering can be derived from basic balance equations and thermodynamical principles in a natural way.

[10]
Title: A recursion for a symmetric function generalization of the $q$-Dyson constant term identity
Authors: Yue Zhou
Subjects: Combinatorics (math.CO)

In 2000, Kadell gave an orthogonality conjecture for a symmetric function generalization of the $q$-Dyson constant term identity or the Zeilberger--Bressoud $q$-Dyson theorem. The non-zero part of Kadell's orthogonality conjecture is a constant term identity indexed by a weak composition $v=(v_1,\dots,v_n)$ in the case when only one $v_i\neq 0$. This conjecture was first proved by K\'{a}rolyi, Lascoux and Warnaar in 2015. They further formulated a closed-form expression for the above mentioned constant term in the case when all the parts of $v$ are distinct. Recently we obtain a recursion for this constant term provided that the largest part of $v$ occurs with multiplicity one in $v$. In this paper, we generalize our previous result to all compositions $v$.

[11]
Title: Crossed product Leavitt path algebras
Subjects: Rings and Algebras (math.RA)

If $E$ is a directed graph and $K$ is a field, the Leavitt path algebra $L_K(E)$ of $E$ over $K$ is naturally graded by the group of integers $\mathbb Z.$ We formulate properties of the graph $E$ which are equivalent with $L_K(E)$ being a crossed product, a skew group ring, or a group ring with respect to this natural grading. We state this main result so that the algebra properties of $L_K(E)$ are also characterized in terms of the pre-ordered group properties of the Grothendieck $\mathbb Z$-group of $L_K(E)$. If $E$ has finitely many vertices, we characterize when $L_K(E)$ is strongly graded in terms of the properties of $K_0^\Gamma(L_K(E)).$ Our proof also provides an alternative to the known proof of the equivalence $L_K(E)$ is strongly graded if and only if $E$ has no sinks for a finite graph $E.$ We also show that, if unital, the algebra $L_K(E)$ is strongly graded and graded unit-regular if and only if $L_K(E)$ is a crossed product.
In the process of showing the main result, we obtain conditions on a group $\Gamma$ and a $\Gamma$-graded division ring $K$ equivalent with the requirements that a $\Gamma$-graded matrix ring $R$ over $K$ is strongly graded, a crossed product, a skew group ring, or a group ring. We characterize these properties also in terms of the action of the group $\Gamma$ on the Grothendieck $\Gamma$-group $K_0^\Gamma(R).$

[12]
Title: Residual finiteness for central pushouts
Subjects: Operator Algebras (math.OA); Category Theory (math.CT); Group Theory (math.GR)

We prove that pushouts of residually finite-dimensional (RFD) $C^*$-algebras over central subalgebras are always residually finite-dimensional, recovering and generalizing results by Korchagin and Courtney-Shulman. This then allows us to prove that certain central pushouts of amenable groups have RFD group $C^*$-algebras. Along the way, we discuss the problem of when, given a central group embedding $H\le G$, the resulting $C^*$-algebra morphism is a continuous field: this is always the case for amenable $G$ but not in general.

[13]
Title: Extremes of Censored and Uncensored Lifetimes in Survival Data
Subjects: Statistics Theory (math.ST); Applications (stat.AP)

The i.i.d. censoring model for survival analysis assumes two independent sequences of i.i.d. positive random variables, $(T_i^*)_{1\le i\le n}$ and $(U_i)_{1\le i\le n}$. The data consists of observations on the random sequence $\big(T_i=\min(T_i^*,U_i)$ together with accompanying censor indicators. Values of $T_i$ with $T_i^*\le U_i$ are said to be uncensored, those with $T_i^*> U_i$ are censored. We assume that the distributions of the $T_i^*$ and $U_i$ are in the domain of attraction of the Gumbel distribution and obtain the asymptotic distributions, as sample size $n\to\infty$, of the maximum values of the censored and uncensored lifetimes in the data, and of statistics related to them. These enable us to examine questions concerning the possible existence of cured individuals in the population.

[14]
Title: Gaussian unitary ensemble with jump discontinuities and the coupled Painlevé II and IV systems
Subjects: Classical Analysis and ODEs (math.CA)

We study the orthogonal polynomials and the Hankel determinants associated with Gaussian weight with two jump discontinuities. When the degree $n$ is finite, the orthogonal polynomials and the Hankel determinants are shown to be connected to the coupled Painlev\'e IV system. In the double scaling limit as the jump discontinuities tend to the edge of the spectrum and the degree $n$ grows to infinity, we establish the asymptotic expansions for the Hankel determinants and the orthogonal polynomials, which are expressed in terms of solutions of the coupled Painlev\'{e} II system. As applications, we re-derive the recently found Tracy-Widom type expressions for the gap probability of there being no eigenvalues in a finite interval near the the extreme eigenvalue of large Gaussian unitary ensemble and the limiting conditional distribution of the largest eigenvalue in Gaussian unitary ensemble by considering a thinned process.

[15]
Title: Collision Avoidance Based on Robust Lexicographical Task Assignment
Subjects: Optimization and Control (math.OC)

Traditional task assignment approaches for multi-agent motion control do not take the possibility of collisions into account. This can lead to challenging requirements for the path planning and guidance of the individual agents. To address this issue, we derive an assignment method that not only minimises the largest distance between an agent and its assigned destination but also provides local constraints for guaranteed collision avoidance. To this end, we introduce a sequential bottleneck assignment problem and define a notion of robustness of an optimal assignment. Conditioned on a sufficient level of robustness in relation to the size of the agents, we construct local time-varying position bounds for every individual agent. These local constraints are a direct byproduct of the assignment procedure and only depend on the initial agent positions, the locations that are to be visited, and a timing parameter. We show that no agent that is assigned to move to one of the target destinations collides with any other agent if all agents satisfy their local position constraints. We demonstrate the applicability of the method in a numerical case study.

[16]
Title: Star order automorphisms on the poset of type 1 operators
Subjects: Functional Analysis (math.FA)

Let $\mathcal{H}$ be a complex infinite dimensional Hilbert space and $\mathcal{B}(\mathcal{H})$ the algebra of all bounded linear operators on $\mathcal H$. The star partial order is defined by $A\overset{*}{\leq}B$ if and only if $A^*A=A^*B$ and $AA^*=AB^*$ for any $A$ and $B$ in $\mathcal B(\mathcal H)$. We give a type decomposition of operators with respect to star order. For any $A\in\mathcal B(\mathcal H)$, there are unique type 1 operator $A_1$ which is $0$ or the supremum of those rank 1 operators less than $A_1$ and type 2 operator $A_2$ which is not greater than any rank 1 operator in star order such that $A_i\overset{*}{\leq}A$$(i=1,2)$ and $A=A_1+A_2$. Moreover, we determine all automorphisms on the poset of type 1 operators. As a consequence, we characterize continuous automorphisms on $\mathcal B(\mathcal H)$.

[17]
Title: An Optimal Statistical and Computational Framework for Generalized Tensor Estimation
Subjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Methodology (stat.ME); Machine Learning (stat.ML)

This paper describes a flexible framework for generalized low-rank tensor estimation problems that includes many important instances arising from applications in computational imaging, genomics, and network analysis. The proposed estimator consists of finding a low-rank tensor fit to the data under generalized parametric models. To overcome the difficulty of non-convexity in these problems, we introduce a unified approach of projected gradient descent that adapts to the underlying low-rank structure. Under mild conditions on the loss function, we establish both an upper bound on statistical error and the linear rate of computational convergence through a general deterministic analysis. Then we further consider a suite of generalized tensor estimation problems, including sub-Gaussian tensor denoising, tensor regression, and Poisson and binomial tensor PCA. We prove that the proposed algorithm achieves the minimax optimal rate of convergence in estimation error. Finally, we demonstrate the superiority of the proposed framework via extensive experiments on both simulated and real data.

[18]
Title: Scientific versus statistical modelling: a unifying approach
Subjects: Statistics Theory (math.ST)

This paper addresses two fundamental features of quantities modeled and analysed in statistical science, their dimensions (e.g. time) and measurement scales (units). Examples show that subtle issues can arise when dimensions and measurement scales are ignored. Special difficulties arise when the models involve transcendental functions. A transcendental function important in statistics is the logarithm which is used in likelihood calculations and is a singularity in the family of Box-Cox algebraic functions. Yet neither the argument of the logarithm nor its value can have units of measurement. Physical scientists have long recognized that dimension/scale difficulties can be side-stepped by nondimensionalizing the model; after all, models of natural phenomena cannot depend on the units by which they are measured, and the celebrated Buckingham Pi theorem is a consequence. The paper reviews that theorem, recognizing that the statistical invariance principle arose with similar aspirations. However, the potential relationship between the theorem and statistical invariance has not been investigated until very recently. The main result of the paper is an exploration of that link, which leads to an extension of the Pi-theorem that puts it in a stochastic framework and thus quantifies uncertainties in deterministic physical models.

[19]
Title: Wide-Sense 2-Frameproof Codes
Subjects: Combinatorics (math.CO)

Various kinds of fingerprinting codes and their related combinatorial structures are extensively studied for protecting copyrighted materials. This paper concentrates on one specialised fingerprinting code named wide-sense frameproof codes in order to prevent innocent users from being framed. Let $Q$ be a finite alphabet of size $q$. Given a $t$-subset $X=\{x ^1,\ldots, x ^t\}\subseteq Q^n$, a position $i$ is called undetectable for $X$ if the values of the words of $X$ match in their $i$th position: $x_i^1=\cdots=x_i^t$. The wide-sense descendant set of $X$ is defined by $\wdesc(X)=\{y\in Q^n:y_i=x_i^1,i\in {U}(X)\},$ where ${U}(X)$ is the set of undetectable positions for $X$. A code ${\cal C}\subseteq Q^n$ is called a wide-sense $t$-frameproof code if $\wdesc(X) \cap{\cal C} = X$ for all $X \subseteq {\cal C}$ with $|X| \le t$. The paper establishes a lower bound on the size of a wide-sense $2$-frameproof code by constructing 3-uniform hypergraphs and evaluating their independence numbers. The paper also improves the upper bound on the size of a wide-sense $2$-frameproof code by applying techniques on non $2$-covering Sperner families and intersecting families in extremal set theory.

[20]
Title: A Balancing Weight Framework for Estimating the Causal Effect of General Treatments
Subjects: Statistics Theory (math.ST); Methodology (stat.ME)

In observational studies, weighting methods that directly optimize the balance between treatment and covariates have received much attention lately; however these have mainly focused on binary treatments. Inspired by domain adaptation, we show that such methods can be actually reformulated as specific implementations of a discrepancy minimization problem aimed at tackling a shift of distribution from observational to interventional data. More precisely, we introduce a new framework, Covariate Balance via Discrepancy Minimization (CBDM), that provably encompasses most of the existing balancing weight methods and formally extends them to treatments of arbitrary types (e.g., continuous or multivariate). We establish theoretical guarantees for our framework that both offer generalizations of properties known when the treatment is binary, and give a better grasp on what hyperparameters to choose in non-binary settings. Based on such insights, we propose a particular implementation of CBDM for estimating dose-response curves and demonstrate through experiments its competitive performance relative to other existing approaches for continuous treatments.

[21]
Title: Matemáticas Básicas (con Software Libre)
Comments: This version includes an index. The text is written in Spanish. We would be glad accepting help to translate it into other languages
Subjects: History and Overview (math.HO)

This is a book on elementary mathematics suitable to use in courses for first-year students of science and engineering. Students often find the formal approach to math courses rather discouraging, and demand 'rel-life applications' in order to grasp the need for these courses. The text has plenty of such applications, treated with the free software Maxima (a CAS) and Geogebra (a DGS). Its level is more or less that of a 'Pre-Calculus' course, but the contents and style of presentation are different in that they are determined by the applications in each chapter.

[22]
Title: Age-optimal Service and Decision Scheduling in Internet of Things
Comments: 12 pages, 12 figures, submitted to IEEE Journals for possible publications
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

We consider an Internet of Things (IoT) system in which a sensor observes a phenomena of interest with exponentially distributed intervals and delivers the updates to a monitor with the First-come-First-served (FCFS) policy. At the monitor, the received updates are used to make decisions with deterministic or random intervals. For this system, we investigate the freshness of the updates at these decision epochs using the age upon decisions (AuD) metric. Theoretical results show that 1) when the decisions are made with exponentially distributed intervals, the average AuD of the system is smaller if the service time (e.g., transmission time) is uniformly distributed than when it is exponentially distributed, and would be the smallest if it is deterministic; 2)when the decisions are made periodically, the average AuD of the system is larger than, and decreases with decision rate to, the average AuD of the corresponding system with Poisson decision intervals; 3)the probability of missing to use a received update for any decisions is decreasing with the decision rate, and is the smallest if the service time is deterministic. For IoT monitoring systems, therefore, it is suggested to use deterministic monitoring schemes, deterministic transmitting schemes, and Poisson decision schemes, so that the received updates are as fresh as possible at the time they are used to make decisions.

[23]
Title: Automorphic pairs of distributions on $\mathbb{R}$, and Maass forms of real weights
Subjects: Number Theory (math.NT); Representation Theory (math.RT)

We give a correspondence between automorphic pairs of distributions on $\mathbb{R}$ and Dirichlet series satisfying functional equations and some additional analytic conditions. Moreover, we show that the notion of automorphic pairs of distributions on $\mathbb{R}$ can be regarded as a generalization of automorphic distributions on smooth principal series representations of the universal covering group of $SL(2,\mathbb{R})$. As an application, we prove Weil type converse theorems for automorphic distributions and Maass forms of real weights.

[24]
Title: Cocycles of $G$-Alexander biquandles and $G$-Alexander multiple conjugation biquandles
Subjects: Algebraic Topology (math.AT)

Biquandles and multiple conjugation biquandles are algebras which are related to links and handlebody-links in $3$-space. Cocycles of them can be used to construct state-sum type invariants of links and handlebody-links. In this paper we discuss cocycles of a certain class of biquandles and multiple conjugation biquandles, which we call $G$-Alexander biquandles and $G$-Alexander multiple conjugation biquandles, with a relationship with group cocycles. We give a method to obtain a (biquandle or multiple conjugation biquandle) cocycle of them from a group cocycle.

[25]
Title: A remark on graded countable Cohen--Macaulay representation type
Authors: Naoya Hiramatsu
Subjects: Commutative Algebra (math.AC); Representation Theory (math.RT)

We show that there are only a finite number of isomorphism classes of graded maximal Cohen--Macaulay modules with fixed Hilbert series over Cohen--Macaulay algebras of graded countable representation type.

[26]
Title: Embeddings of $4$--manifolds in $\CP^3$
Subjects: Geometric Topology (math.GT)

In this article we show that every closed orientable smooth $4$--manifold admits a smooth embedding in the complex projective $3$--space.

[27]
Title: Remarks on a nonlocal transport
Authors: Dong Li, Jose Rodrigo
Subjects: Analysis of PDEs (math.AP)

We consider a one dimensional nonlocal transport equation and its natural multi-dimensional analogues. By using a new pointwise inequality for the Hilbert transform, we give a short proof of a nonlinear inequality first proved by C\'{o}rdoba, C\'{o}rdoba and Fontelos in 2005. We also prove several new weighted inequalities for the Hilbert transform and various nonlinear versions. Some of these results generalize to a related family of nonlocal models.

[28]
Title: Polytropes and tropical linear spaces I
Authors: Jaeho Shin
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Metric Geometry (math.MG)

A polytrope is a convex polytope that is expressed as the tropical convex hull of a finite number of points. Every bounded cell of a tropical linear space is a polytrope. Speyer conjectured that conversely every polytrope arises as a bounded cell of a tropical linear space. We develop general settings, and solve the conjecture for dimensions less than or equal to 3. We also investigate vertices and edges of an arbitrary polytrope.

[29]
Title: Neural Parametric Fokker-Planck Equations
Subjects: Numerical Analysis (math.NA)

In this paper, we develop and analyze numerical methods for high dimensional Fokker-Planck equations by leveraging generative models from deep learning. Our starting point is a formulation of the Fokker-Planck equation as a system of ordinary differential equations (ODEs) on finite-dimensional parameter space with the parameters inherited from generative models such as normalizing flows. We call such ODEs neural parametric Fokker-Planck equation. The fact that the Fokker-Planck equation can be viewed as the $L^2$-Wasserstein gradient flow of Kullback-Leibler (KL) divergence allows us to derive the ODEs as the constrained $L^2$-Wasserstein gradient flow of KL divergence on the set of probability densities generated by neural networks. For numerical computation, we design a variational semi-implicit scheme for the time discretization of the proposed ODE. Such an algorithm is sampling-based, which can readily handle Fokker-Planck equations in higher dimensional spaces. Moreover, we also establish bounds for the asymptotic convergence analysis of the neural parametric Fokker-Planck equation as well as its error analysis for both the continuous and discrete (forward-Euler time discretization) versions. Several numerical examples are provided to illustrate the performance of the proposed algorithms and analysis.

[30]
Title: Stochastic Dynamics, Large Deviations Principle, and Non-equilibrium Thermodynamics
Authors: Liu Hong, Hong Qian
Subjects: Probability (math.PR)

By examining the deterministic limit of a general $\epsilon$-dependent generator for Markovian dynamics, which includes the continuous Fokker-Planck equations and discrete chemical master equations as two special cases, the intrinsic connections among mesoscopic stochastic dynamics, deterministic ODEs or PDEs, large deviations rate function, macroscopic entropy function are established. Our result not only solves the long-lasting question on the origin of entropy function in classical irreversible thermodynamics, but also reveals an interesting emergent phenomenon that both the time-reversible dynamics equipped with a Hamiltonian function and the time-irreversible dynamics equipped with an entropy function could arise automatically during the study of deterministic limits of a stochastic dynamics and its large deviations rate function.

[31]
Title: The Statistical Foundation of Entropy in Extended Irreversible Thermodynamics
Authors: Liu Hong, Hong Qian
Subjects: Probability (math.PR)

In the theory of extended irreversible thermodynamics (EIT), the flux-dependent entropy function plays a key role and has a fundamental distinction from the usual flux-independent entropy function adopted by classical irreversible thermodynamics (CIT). However, its existence, as a prerequisite for EIT, and its statistical origin have never been justified. In this work, by studying the macroscopic limit of an \epsilon-dependent Langevin dynamics, which admits a large deviations (LD) principle, we show that the stationary LD rate functions of probability density p_{\epsilon}(x; t) and joint probability density p_{\epsilon}(x; \dot{x}; t) actually turn out to be the desired fluxindependent entropy function in CIT and flux-dependent entropy function in EIT respectively. The difference of the two entropy functions is determined by the time resolution for Brownian motions times a Lagrangian, the latter arises from the LD Hamilton-Jacobi equation and can be used for constructing conserved Lagrangian/Hamiltonian dynamics.

[32]
Title: Quantum B-algebras with involutions
Subjects: Logic (math.LO)

The aim of this paper is to define and study the involutive and weakly involutive quantum B-algebras. We prove that any weakly involutive quantum B-algebra is a quantum B-algebra with pseudo-product. As an application, we introduce and investigate the notions of existential and universal quantifiers on involutive quantum B-algebras. It is proved that there is a one-to-one correspondence between the quantifiers on weakly involutive quantum B-algebras. One of the main results consists of proving that any pair of quantifiers is a monadic operator on weakly involutive quantum B-algebras. We investigate the relationship between quantifiers on bounded sup-commutative pseudo BCK-algebras and quantifiers on other related algebraic structures, such as pseudo MV-algebras and bounded Wajsberg hoops.

[33]
Title: Rational approximation and its application to improving deep learning classifiers
Subjects: Optimization and Control (math.OC)

A rational approximation by a ratio of polynomial functions is a flexible alternative to polynomial approximation. In particular, rational functions exhibit accurate estimations to nonsmooth and non- Lipschitz functions, where polynomial approximations are not efficient. We prove that the optimisation problems appearing in the best uniform rational approximation are quasiconvex, and show how to use this fact for calculating the best approximation in a fast and efficient method. The paper presents a theoretical study of the arising optimisation problems and provides results of several numerical experiments. In all our computations, the algorithms terminated at optimal solutions. We apply our approximation as a preprocess step to deep learning classifiers and demonstrate that the classification accuracy is significantly improved compared to the classification of the raw signals.

[34]
Title: Total Dominator Total Chromatic Numbers of Wheels, Complete bipartite graphs and Complete graphs
Subjects: Combinatorics (math.CO)

Total dominator total coloring of a graph is a total coloring of the graph such that each object of the graph is adjacent or incident to every object of some color class. The minimum namber of the color classes of a total dominator total coloring of a graph is called the total dominator total chromatic number of the graph. Here, we will find the total dominator chromatic numbers of wheels, complete bipartite graphs and complete graphs.

[35]
Title: Multi-Dimensional Normal Approximation of Heavy-Tailed Moving Averages
Subjects: Probability (math.PR)

In this paper we extend the refined second-order Poincar\'e inequality in [2] from a one-dimensional to a multi-dimensional setting. Its proof is based on a multivariate version of the Malliavin-Stein method for normal approximation on Poisson spaces. We also present an application to partial sums of vector-valued functionals of heavy-tailed moving averages. The extension we develop is not only in the co-domain of the functional, but also in its domain. Such a set-up has previously not been explored in the framework of stable moving average processes. It can potentially capture probabilistic properties which cannot be described solely by the one-dimensional marginals, but instead require the joint distribution.

[36]
Title: Fast Linear Convergence of Randomized BFGS
Comments: 26 pages, 1 algorithm, 3 theorems, 11 lemmas, 9 figures
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)

Since the late 1950's when quasi-Newton methods first appeared, they have become one of the most widely used and efficient algorithmic paradigms for unconstrained optimization. Despite their immense practical success, there is little theory that shows why these methods are so efficient. We provide a semi-local rate of convergence for the randomized BFGS method which can be significantly better than that of gradient descent, finally giving theoretical evidence supporting the superior empirical performance of the method.

[37]
Title: Generalized maps between diffeological spaces
Subjects: Algebraic Topology (math.AT)

By exploiting the idea of Colombeau generalized function, we introduce a notion of asymptotic map between arbitrary diffeological spaces. The category consisting of diffeological spaces and asymptotic maps is enriched over the category of diffeological spaces and inherits such properties as completeness, cocompleteness, and cartesian closedness. In particular, asymptotic functions on a Euclidean open set include Schwartz distributions and form a smooth differential algebra over Robinson's field of asymptotic numbers. To illustrate the use of our method, we prove that smooth relative cell complexes enjoy homotopy extension property with respect to asymptotic maps and homotopies.

[38]
Title: Numerical Solution of Inverse Problems by Weak Adversarial Networks
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)

We consider a weak adversarial network approach to numerically solve a class of inverse problems, including electrical impedance tomography and dynamic electrical impedance tomography problems. We leverage the weak formulation of PDE in the given inverse problem, and parameterize the solution and the test function as deep neural networks. The weak formulation and the boundary conditions induce a minimax problem of a saddle function of the network parameters. As the parameters are alternatively updated, the network gradually approximates the solution of the inverse problem. We provide theoretical justifications on the convergence of the proposed algorithm. Our method is completely mesh-free without any spatial discretization, and is particularly suitable for problems with high dimensionality and low regularity on solutions. Numerical experiments on a variety of test inverse problems demonstrate the promising accuracy and efficiency of our approach.

[39]
Title: Enhanced nearby and vanishing cycles in dimension one and Fourier transform
Subjects: Algebraic Geometry (math.AG)

Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we give some precisions on nearby and vanishing cycles for enhanced perverse objects in dimension one. As an application, we give a topological proof of the following fact. Let $\mathcal M$ be a holonomic algebraic $\mathcal D$-module on the affine line, and denote by ${}^{\mathsf{L}}\mathcal M$ its Fourier-Laplace transform. For a point $a$ on the affine line, denote by $\ell_a$ the corresponding linear function on the dual affine line. Then, the vanishing cycles of $\mathcal M$ at $a$ are isomorphic to the graded component of degree $\ell_a$ of the Stokes filtration of ${}^{\mathsf{L}}\mathcal M$ at infinity.

[40]
Title: A note on Assmus--Mattson type theorems
Subjects: Combinatorics (math.CO); Group Theory (math.GR); Number Theory (math.NT)

In the present paper, we give Assmus--Mattson type theorems for codes and lattices. We show that a binary doubly even self-dual code of length 24m with minimum weight 4m provides a combinatorial 1-design and an even unimodular lattice of rank 24m with minimum norm 2m provides a spherical 3-design. We remark that some of such codes and lattices give t-designs for higher t. As a corollary, we give some restrictions on the weight enumerators of binary doubly even self-dual codes of length 24m with minimum weight 4m. Ternary and quaternary analogues are also given.

[41]
Title: Perihelion librations in the secular three--body problem
Subjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph)

A normal form theory for non--quasi--periodic systems is combined with the special properties of the partially averaged Newtonian potential pointed out in [15] to prove, in the averaged, planar three--body problem, the existence of a plenty of motions where, periodically, the perihelion of the inner body affords librations about one equilibrium position and its ellipse squeezes to a segment before reversing its direction and again decreasing its eccentricity (perihelion librations).

[42]
Title: LASG: Lazily Aggregated Stochastic Gradients for Communication-Efficient Distributed Learning
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)

[43]
Title: Acceleration for Compressed Gradient Descent in Distributed and Federated Optimization
Comments: 27 pages, 2 algoritms, 4 theorems, 5 lemmas, 10 figures
Subjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)

Due to the high communication cost in distributed and federated learning problems, methods relying on compression of communicated messages are becoming increasingly popular. While in other contexts the best performing gradient-type methods invariably rely on some form of acceleration/momentum to reduce the number of iterations, there are no methods which combine the benefits of both gradient compression and acceleration. In this paper, we remedy this situation and propose the first accelerated compressed gradient descent (ACGD) methods. In the single machine regime, we prove that ACGD enjoys the rate $O\left((1+\omega)\sqrt{\frac{L}{\mu}}\log \frac{1}{\epsilon}\right)$ for $\mu$-strongly convex problems and $O\left((1+\omega)\sqrt{\frac{L}{\epsilon}}\right)$ for convex problems, respectively, where $L$ is the smoothness constant and $\omega$ is the compression parameter. Our results improve upon the existing non-accelerated rates $O\left((1+\omega)\frac{L}{\mu}\log \frac{1}{\epsilon}\right)$ and $O\left((1+\omega)\frac{L}{\epsilon}\right)$, respectively, and recover the optimal rates of accelerated gradient descent as a special case when no compression ($\omega=0$) is applied. We further propose a distributed variant of ACGD (called ADIANA) and prove the convergence rate $\widetilde{O}\left(\omega+\sqrt{\frac{L}{\mu}} +\sqrt{\left(\frac{\omega}{n}+\sqrt{\frac{\omega}{n}}\right)\frac{\omega L}{\mu}}\right)$, where $n$ is the number of devices/workers and $\widetilde{O}$ hides the logarithmic factor $\log \frac{1}{\epsilon}$. This improves upon the previous best result $\widetilde{O}\left(\omega + \frac{L}{\mu}+\frac{\omega L}{n\mu} \right)$ achieved by the DIANA method of Mishchenko et al (2019). Finally, we conduct several experiments on real-world datasets which corroborate our theoretical results and confirm the practical superiority of our methods.

[44]
Title: On the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$
Journal-ref: Honam Mathematical J. 42 (2020), No. 1, pp. 139-150
Subjects: Number Theory (math.NT)

Let $p$ be a prime number with $p>3$, $p\equiv 3\pmod{4}$ and let $n$ be a positive integer. In this paper, we prove that the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $pn \equiv \pm1 \pmod 5$. As an another result, we show that the Diophantine equation $(35n^{2}-1)^{x}+(14n^{2}+1)^{y}=(7n)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $n\equiv \pm 3% \pmod{5}$ or $5\mid n$. On the proofs, we use the properties of Jacobi symbol and Baker's method.

[45]
Title: Fluctuations for the partition function of Ising models on Erdös-Rényi random graphs
Subjects: Probability (math.PR)

We analyze Ising/Curie-Weiss models on the Erd\H{o}s-R\'enyi graph with $N$ vertices and edge probability $p=p(N)$ that were introduced by Bovier and Gayrard [J.\ Statist.\ Phys., 72(3-4):643--664, 1993] and investigated in two previous articles by the authors. We prove Central Limit Theorems for the partition function of the model and -- at other decay regimes of $p(N)$ -- for the logarithmic partition function. We find critical regimes for $p(N)$ at which the behavior of the fluctuations of the partition function changes.

[46]
Title: On the extensions of Kähler currents on compact Kähler manifolds
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)

Let $(X,\omega)$ be a compact K\"{a}hler manifold with a K\"{a}hler form $\omega$, and $V\subset X$ is a compact complex submanifold of positive dimension. Let $\varphi$ be a strictly $\omega|_V$-psh function on $V$. In this paper, we prove that there is a strictly $\omega$-psh function $\Phi$ on $X$, such that $\Phi|_V=\varphi$. This result answers an open problem raised by Collins-Tosatti and Dinew-Guedj-Zeriahi, for the case of K\"{a}hler currents.

[47]
Title: Symmetric uncoded caching schemes with low subpacketization levels
Subjects: Information Theory (cs.IT)

Caching is a commonly used technique in content-delivery networks which aims to deliver information from hosting servers to users in the most efficient way. In 2014, Maddah-Ali and Niessen formulated caching into a formal information theoretic problem and it has gained a lot of attention since then. It is known that the caching schemes proposed by Ali-Niesen and Yu et. al. are optimal, that is, they require the least number of transmissions from the server to satisfy all users' demands. However for these schemes to work, each file needs to be partitioned into $F^*$ subfiles ($F^*$ is called the subpacketization level of files) with $F^*$ growing exponentially in the number $K$ of users. As a result, it is problematic to apply these schemes in practical situations, where $K$ tends to be very large. There rise the following questions: (1) are there optimal schemes in which each file is partitioned into $F$ subfiles, where $F$ is not exponential, say polynomial for example, in $K$? (2) if the answer to this question is no, is there a near-optimal scheme, a scheme which is as asymptotically good as the one in \cite{ali1,yu}, with $F$ polynomial in $K$? Both these questions are open.
Our main contribution in this paper is to provide answers to above questions. Firstly, we prove that under some mild restriction on user's cache rate, there are no optimal schemes with $F$ smaller than $F^*$. Moreover, we give necessary and sufficient conditions for the existence of optimal schemes in this case. Secondly, we provide an affirmative answer to the second question raised above by an explicit construction and a detailed performance analysis.

[48]
Title: Polar-Slotted ALOHA over Slot Erasure Channels
Subjects: Information Theory (cs.IT)

In this paper, we design a new polar slotted ALOHA (PSA) protocol over the slot erasure channels, which uses polar coding to construct the identical slot pattern (SP) assembles within each active user and base station. A theoretical analysis framework for the PSA is provided. First, by using the packet-oriented operation for the overlap packets when they conflict in a slot interval, we introduce the packet-based polarization transform and prove that this transform is independent of the packet's length. Second, guided by the packet-based polarization, an SP assignment (SPA) method with the variable slot erasure probability (SEP) and a SPA method with a fixed SEP value are designed for the PSA scheme. Then, a packet-oriented successive cancellation (pSC) and a pSC list (pSCL) decoding algorithm are developed. Simultaneously, the finite-slots throughput bounds and the asymptotic throughput for the pSC algorithm are analyzed. The simulation results show that the proposed PSA scheme can achieve an improved throughput with the pSC/SCL decoding algorithm over the traditional repetition slotted ALOHA scheme.

[49]
Title: Time integration of tree tensor networks
Subjects: Numerical Analysis (math.NA)

Dynamical low-rank approximation by tree tensor networks is studied for the data-sparse approximation to large time-dependent data tensors and unknown solutions of tensor differential equations. A time integration method for tree tensor networks of prescribed tree rank is presented and analyzed. It extends the known projector-splitting integrators for dynamical low-rank approximation by matrices and Tucker tensors and is shown to inherit their favorable properties. The integrator is based on recursively applying the Tucker tensor integrator. In every time step, the integrator climbs up and down the tree: it uses a recursion that passes from the root to the leaves of the tree for the construction of initial value problems on subtree tensor networks using appropriate restrictions and prolongations, and another recursion that passes from the leaves to the root for the update of the factors in the tree tensor network. The integrator reproduces given time-dependent tree tensor networks of the specified tree rank exactly and is robust to the typical presence of small singular values in matricizations of the connection tensors, in contrast to standard integrators applied to the differential equations for the factors in the dynamical low-rank approximation by tree tensor networks.

[50]
Title: Fractional elliptic problem involving a singularity, a critical exponent and a Radon measure
Subjects: Analysis of PDEs (math.AP)

In this paper, we prove the existence of a positive SOLA (Solutions Obtained as Limits of Approximations) to the following PDE involving fractional power of Laplacian.

\begin{split}
(-\Delta)^su&= \frac{1}{u^\gamma}+\lambda u^{2_s^*-1}+\mu ~\text{in}~\Omega,
u&>0~\text{in}~\Omega,
u&= 0~\text{in}~\mathbb{R}^N\setminus\Omega.
\end{split}
Here, $\Omega$ is a bounded domain of $\mathbb{R}^N$, $s\in (0,1)$, $2s<N$, $\lambda,\gamma\in (0,1)$, $2_s^*=\frac{2N}{N-2s}$ is the fractional critical Sobolev exponent and $\mu$ is a bounded Radon measure in $\Omega$.

[51]
Title: Asymptotic Behavior of the Subordinated Traveling Waves
Subjects: Probability (math.PR)

In this paper we investigate the long-time behavior of the subordination of the constant speed traveling waves by a general class of kernels which appear in fractional kinetic. We use the Karamata-Tauberian theorem in order to obtain the long-time behavior of the Cesaro mean of the corresponding subordinated traveling wave.

[52]
Title: On the classification of cubic plane Cremona maps
Subjects: Algebraic Geometry (math.AG)

We give a fine classification of cubic plane Cremona maps. A previous partial classification was obtained by Cerveau and D\'eserti a few years ago.

[53]
Title: Corners and simpliciality in oriented matroids and partial cubes
Comments: 25 pages, 8 figures, 2 tables
Subjects: Combinatorics (math.CO)

Building on a recent characterization of tope graphs of Complexes of Oriented Matroids (COMs), we tackle and generalize several classical problems in Oriented Matroids, Lopsided Sets (aka ample set systems), and partial cubes via Metric Graph Theory. These questions are related to the notion of simpliciality of topes in Oriented Matroids and the concept of corners in Lopsided Sets arising from computational learning theory.
Our first main result is that every element of an Oriented Matroid from a class introduced by Mandel is incident to a simplicial tope, i.e, such Oriented Matroids contain no mutation-free elements. This allows us to refute a conjecture of Mandel from 1983, that would have implied the famous Las Vergnas simplex conjecture.
The second main contribution is the introduction of corners of COMs as a natural generalization of corners in Lopsided Sets. Generalizing results of Bandelt and Chepoi, Tracy Hall, and Chalopin et al. we prove that realizable COMs, rank 2 COMs, as well as hypercellular graphs admit corner peelings. On the way we introduce the notion of cocircuit graphs for pure COMs and disprove a conjecture about realizability in COMs of Bandelt et al.
Finally, we study extensions of Las Vergnas' simplex conjecture in low rank and order. We first consider antipodal partial cubes -- a vast generalization of oriented matroids also known as acycloids. We prove Las Vergnas' conjecture for acycloids of rank~3 and for acycloids of order at most 7. Moreover, we confirm a conjecture of Cordovil-Las Vergnas about the connectivity of the mutation graph of Uniform Oriented Matroids for ground sets of order at most 9. The latter two results are based on the exhaustive generation of acycloids and uniform oriented matroids of given order, respectively.

[54]
Title: Performance Analysis of Indoor mmWave Networks with Ceiling-Mounted Access Points
Comments: 12 pages, 13 figures, accepted in IEEE Transactions of Mobile Computing journal
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

The objective of the Enhanced Mobile Broadband use case in 5G networks is to deliver high capacity access to densely populated areas, like city centres, transportation hubs or convention centres. Millimetre-wave communications are the go-to technology to realise that objective, yet due to weak outdoor-to-indoor penetration, outdoor deployments will not suffice and dedicated indoor deployments will be necessary. In this article, we study dense deployments of millimetre-wave access points mounted on the ceiling, with directional antennas pointing downwards to illuminate selected spots on the ground. In this setup, the signal propagation is primarily limited by human body blockages. Therefore, we develop a body blockage model and derive an expression for the probability of blockage. Using the developed expressions and our simulation framework, we assess the impact of densification and body blockage on the achievable performance. We find that both coverage and area spectral efficiency curves exhibit non-trivial behaviour with respect to the access point density and that there is an optimal beamwidth-density configuration that only maximises either coverage or area spectral efficiency. Such optimal configuration changes depending on the body blockage probability, leading to a necessity for network designers to carefully consider their intended application and scenario.

[55]
Title: Efficient algorithms for multivariate shape-constrained convex regression problems
Subjects: Optimization and Control (math.OC); Machine Learning (stat.ML)

Shape-constrained convex regression problem deals with fitting a convex function to the observed data, where additional constraints are imposed, such as component-wise monotonicity and uniform Lipschitz continuity. This paper provides a comprehensive mechanism for computing the least squares estimator of a multivariate shape-constrained convex regression function in $\mathbb{R}^d$. We prove that the least squares estimator is computable via solving a constrained convex quadratic programming (QP) problem with $(n+1)d$ variables and at least $n(n-1)$ linear inequality constraints, where $n$ is the number of data points. For solving the generally very large-scale convex QP, we design two efficient algorithms, one is the symmetric Gauss-Seidel based alternating direction method of multipliers ({\tt sGS-ADMM}), and the other is the proximal augmented Lagrangian method ({\tt pALM}) with the subproblems solved by the semismooth Newton method ({\tt SSN}). Comprehensive numerical experiments, including those in the pricing of basket options and estimation of production functions in economics, demonstrate that both of our proposed algorithms outperform the state-of-the-art algorithm. The {\tt pALM} is more efficient than the {\tt sGS-ADMM} but the latter has the advantage of being simpler to implement.

[56]
Title: Refined Strong Converse for the Constant Composition Codes
Subjects: Information Theory (cs.IT)

A strong converse bound for constant composition codes of the form $P_{e}^{(n)} \geq 1- A n^{-0.5(1-E_{sc}'(R,W,p))} e^{-n E_{sc}(R,W,p)}$ is established using the Berry-Esseen theorem through the concepts of Augustin information and Augustin mean, where $A$ is a constant determined by the channel $W$, the composition $p$, and the rate $R$, i.e., $A$ does not depend on the block length $n$.

[57]
Title: Extensions, deformation and categorification of $\text{AssDer}$ pairs
Subjects: Rings and Algebras (math.RA); K-Theory and Homology (math.KT); Representation Theory (math.RT)

In this paper, we consider associative algebras equipped with derivations. Such a pair of an associative algebra with a derivation is called an AssDer pair. Using the Hochschild cohomology for associative algebras, we define cohomology for an AssDer pair with coefficients in a representation. We study central extensions and abelian extensions of AssDer pairs. Moreover, we consider extensions of a pair of derivations in central extensions of associative algebras. Next, we study formal one-parameter deformations of AssDer pair by deforming both the associative product and the derivation. They are governed by the cohomology of the AssDer pair with representation in itself. In the next part, we study $2$-term $A_\infty$-algebras with homotopy derivations considered by Loday and Doubek-Lada. Finally, we introduce $2$-derivations on associative $2$-algebras and show that the category of associative $2$-algebras with $2$-derivations are equivalent to the category of $2$-term $A_\infty$-algebras with homotopy derivations.

[58]
Title: Two arithmetic applications of perturbations of composition operators
Subjects: Number Theory (math.NT); Dynamical Systems (math.DS)

We estimate the spectral radius of perturbations of a particular family of composition operators, in a setting where the usual choices of norms do not account for the typical size of the perturbation. We apply this to estimate the growth rate of large moments of a Thue-Morse generating function and of the Stern sequence. This answers in particular a question of Mauduit, Montgomery and Rivat (2018).

[59]
Title: Theorems of Alternatives for Substructural Logics
Subjects: Logic (math.LO)

A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in the R-mingle logic RM to the validity of a linear combination of these formulas, and Gordan's theorem for solutions of linear systems over the real numbers, that yields an analogous reduction for validity in Abelian logic A. In this paper, general conditions are provided for axiomatic extensions of involutive uninorm logic without additive constants to admit a theorem of alternatives. It is also shown that a theorem of alternatives for a logic can be used to establish (uniform) deductive interpolation and completeness with respect to a class of dense totally ordered residuated lattices.

[60]
Title: Thermodynamic Formalism for Random Weighted Covering Systems
Subjects: Dynamical Systems (math.DS)

We develop a quenched thermodynamic formalism for random dynamical systems generated by countably branched, piecewise-monotone mappings of the interval that satisfy a random covering condition. Given a random contracting potential $\varphi$ (in the sense of Liverani-Saussol-Vaienti), we prove there exists a unique random conformal measure $\nu_\varphi$ and unique random equilibrium state $\mu_\varphi$. Further, we prove quasi-compactness of the associated transfer operator cocycle and exponential decay of correlations for $\mu_\varphi$. Our random driving is generated by an invertible, ergodic, measure-preserving transformation $\sigma$ on a probability space $(\Omega,\mathscr{F},m)$; for each $\omega\in\Omega$ we associate a piecewise-monotone, surjective map $T_\omega:I\to I$. Our random dynamical system on the interval is given by a map cocycle $T^n_\omega:=T_{\sigma^{n-1}(\omega)}\circ\cdots\circ T_{\sigma(\omega)}\circ T_\omega$. We consider general potentials $\varphi_\omega:I\to\mathbb{R}\cup\{-\infty\}$ such that the weight function $g_\omega=e^{\varphi_\omega}$ is of bounded variation. We provide several examples of our general theory. In particular, our results apply to random $\beta$-transformations, random Gauss-Renyi maps, and random dynamics of non-uniformly expanding maps such as intermittent maps and maps with contracting branches.

[61]
Title: Mathematical Construction of Interpolation and Extrapolation Function by Taylor Polynomials
Authors: Nijat Shukurov
Subjects: Numerical Analysis (math.NA)

In this present paper, I propose a derivation of unified interpolation and extrapolation function that predicts new values inside and outside the given range by expanding direct Taylor series on the middle point of given data set. Mathematical construction of experimental model derived in general form. Trigonometric and Power functions adopted as test functions in the development of the vital aspects in numerical experiments. Experimental model was interpolated and extrapolated on data set that generated by test functions. The results of the numerical experiments which predicted by derived model compared with analytical values.

[62]
Title: The motive of the Hilbert scheme of infinite affine space
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); K-Theory and Homology (math.KT)

We study the Hilbert schemes $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ and $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint. We show in particular that the rational Voevodsky motive of $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is pure Tate and that $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-homotopy equivalent to the infinite Grassmannian $\mathrm{Gr}_\infty(\mathbb{A}^\infty)$. We deduce that the forgetful functor $\mathrm{FFlat}\to\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-homotopy equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory.

[63]
Title: On faces of quasi-arithmetic Coxeter polytopes
Comments: 13 pages, 3 figures, ancillary files available at this https URL
Subjects: Geometric Topology (math.GT); Group Theory (math.GR); Metric Geometry (math.MG); Number Theory (math.NT)

We prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples.

[64]
Title: Control of the Vertical Gradient Freeze crystal growth process via backstepping
Comments: 7 pages, 4 figures. Submitted to the 21st IFAC World Congress
Subjects: Optimization and Control (math.OC)

This contribution presents a backstepping-based state feedback design for the tracking control of a two-phase Stefan problem which is encountered in the Vertical Gradient Freeze crystal growth process. A two-phase Stefan problem consists of two coupled free boundary problems and is a vital part of many crystal growth processes due to the time-varying extent of crystal and melt during growth. In addition, a different approach for the numerical approximation of the backstepping transformations kernel is presented.

[65]
Title: Scaling limits of linear random fields on ${\mathbb{Z}}^2$ with general dependence axis
Subjects: Probability (math.PR)

We discuss anisotropic scaling of long-range dependent linear random fields $X$ on ${\mathbb{Z}}^2$ with arbitrary dependence axis (direction in the plane along which the moving-average coefficients decay at a smallest rate). The scaling limits are taken over rectangles whose sides are parallel to the coordinate axes and increase as $\lambda$ and $\lambda^\gamma$ when $\lambda \to \infty$, for any $\gamma >0$. The scaling transition occurs at $\gamma^X_0 >0$ if the scaling limits of $X$ are different and do not depend on $\gamma$ for $\gamma > \gamma^X_0$ and $\gamma < \gamma^X_0$. We prove that the fact of oblique' dependence axis (or incongruous scaling) dramatically changes the scaling transition in the above model so that $\gamma_0^X = 1$ independently of other parameters, contrasting the results in Pilipauskait\.e and Surgailis (2017) on the scaling transition under congruous scaling.

[66]
Title: Quasi-optimal and pressure robust discretizations of the Stokes equations by moment- and divergence-preserving operators
Subjects: Numerical Analysis (math.NA)

We approximate the solution of the Stokes equations by a new quasi-optimal and pressure robust discontinuous Galerkin discretization of arbitrary order. This means quasi-optimality of the velocity error independent of the pressure. Moreover, the discretization is well-defined for any load which is admissible for the continuous problem and it also provides classical quasi-optimal estimates for the sum of velocity and pressure errors. The key design principle is a careful discretization of the load involving a linear operator, which maps discontinuous Galerkin test functions onto conforming ones thereby preserving the discrete divergence and certain moment conditions on faces and elements.

[67]
Title: A bijection from a finite group to the cyclic group with a divisible property on the element orders
Authors: Mohsen Amiri
Subjects: Group Theory (math.GR)

This paper proves that there exists a bijection $f$ from a finite group $G$ of order $n$ onto a cyclic group of order $n$ such that for each element $x\in G$ the order of $x$ divides the order of $f(x)$.

[68]
Title: Properties of the minimizers for a constrained minimization problem arising in Kirchhoff equation
Subjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP)

Let $a>0,b>0$ and $V(x)\geq0$ be a coercive function in $\mathbb R^2$. We study the following constrained minimization problem on a suitable weighted Sobolev space $\mathcal{H}$: \begin{equation*} e_{a}(b):=\inf\left\{E_{a}^{b}(u):u\in\mathcal{H}\ \mbox{and}\ \int_{\mathbb R^{2}}|u|^{2}dx=1\right\}, \end{equation*} where $E_{a}^{b}(u)$ is a Kirchhoff type energy functional defined on $\mathcal{H}$ by \begin{equation*} E_{a}^{b}(u)=\frac{1}{2}\int_{\mathbb R^{2}}[|\nabla u|^{2}+V(x)u^{2}]dx+\frac{b}{4}\left(\int_{\mathbb R^{2}}|\nabla u|^{2}dx\right)^{2}-\frac{a}{4}\int_{\mathbb R^{2}}|u|^{4}dx. \end{equation*} It is known that, for some $a^{\ast}>0$, $e_{a}(b)$ has no minimizer if $b=0$ and $a\geq a^{\ast}$, but $e_{a}(b)$ has always a minimizer for any $a\geq0$ if $b>0$. The aim of this paper is to investigate the limit behaviors of the minimizers of $e_{a}(b)$ as $b\rightarrow0^{+}$. Moreover, the uniqueness of the minimizers of $e_{a}(b)$ is also discussed for $b$ close to 0.

[69]
Title: A short note on learning discrete distributions
Comments: This is a review article; its intent is not to provide new results, but instead to gather known (and useful) ones, along with their proofs, in a single convenient location
Subjects: Statistics Theory (math.ST); Probability (math.PR)

The goal of this short note is to provide simple proofs for the "folklore facts" on the sample complexity of learning a discrete probability distribution over a known domain of size $k$ to various distances $\varepsilon$, with error probability $\delta$.

[70]
Title: A Visual Sensitivity Analysis for Parameter-Augmented Ensembles of Curves
Authors: Alejandro Ribes (EDF R&D PERICLES), Joachim Pouderoux, Bertrand Iooss (EDF R&D PRISME, GdR MASCOT-NUM, IMT)
Journal-ref: The Journal of Verification, Validation and Uncertainty Quantification (VVUQ), 2019, 4 (4)
Subjects: Statistics Theory (math.ST)

Engineers and computational scientists often study the behavior of their simulations by repeated solutions with variations in their parameters, which can be for instance boundary values or initial conditions. Through such simulation ensembles, uncertainty in a solution is studied as a function of the various input parameters. Solutions of numerical simulations are often temporal functions, spatial maps or spatio-temporal outputs. The usual way to deal with such complex outputs is to limit the analysis to several probes in the temporal/spatial domain. This leads to smaller and more tractable ensembles of functional outputs (curves) with their associated input parameters: augmented ensembles of curves. This article describes a system for the interactive exploration and analysis of such augmented ensembles. Descriptive statistics on the functional outputs are performed by Principal Component Analysis projection, kernel density estimation and the computation of High Density Regions. This makes possible the calculation of functional quantiles and outliers. Brushing and linking the elements of the system allows in-depth analysis of the ensemble. The system allows for functional descriptive statistics, cluster detection and finally for the realization of a visual sensitivity analysis via cobweb plots. We present two synthetic examples and then validate our approach in an industrial use-case concerning a marine current study using a hydraulic solver.

[71]
Title: One-relator groups and algebras related to polyhedral products
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Group Theory (math.GR)

We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal{R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal{Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give homological characterisations of these properties. For $RC_K'$, this is given by a condition on the homology group $H_2(\mathcal{R}_K)$, whereas for $H_{*}(\Omega \mathcal{Z}_K)$ this can be stated using the bigrading of the homology of $\mathcal{Z}_K$.

[72]
Title: Braided Commutative Geometry and Drinfel'd Twist Deformations
Authors: Thomas Weber
Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph)

In this thesis we give obstructions for Drinfel'd twist deformation quantization on several classes of symplectic manifolds. Motivated from this quantization procedure, we further construct a noncommutative Cartan calculus on any braided commutative algebra, as well as an equivariant Levi-Civita covariant derivative for any non-degenerate equivariant metric. This generalizes and unifies the Cartan calculus on a smooth manifold and the Cartan calculus on twist star product algebras. We prove that the Drinfel'd functor leads to equivalence classes in braided commutative geometry and commutes with submanifold algebra projection.

[73]
Title: String Diagrams for Optics
Subjects: Category Theory (math.CT)

Optics are a data representation for compositional data access, with lenses as a popular special case. Hedges has presented a diagrammatic calculus for lenses, but in a way that does not generalize to other classes of optic. We present a calculus that works for all optics, not just lenses; this is done by embedding optics into their presheaf category, which naturally features string diagrams. We apply our calculus to the common case of lenses, and explore how the laws of optics manifest in this setting.

[74]
Title: The VOAs generated by two Ising vectors e and f with <e,f>=1/2^8 or 3/2^9
Authors: Wen Zheng
Subjects: Quantum Algebra (math.QA)

In this paper we study the VOAs generated by two Ising vectors whose inner product is 1/2^8 or 3/2^9 and determine they both have unique VOA structures.

[75]
Title: Uniqueness of VOA structure of 3C-algebra and 5A-algebra
Subjects: Quantum Algebra (math.QA)

The structure of 3C-algebra and 5A-algebra constructed by Lam-Yamada-Yamauchi is studied and the uniqueness of the vertex operator algebra structure of these two algebras is established. We also give the fusion rules for these two algebras.

[76]
Title: On clusters of Brownian loops in d dimensions
Authors: Wendelin Werner
Subjects: Probability (math.PR); Mathematical Physics (math-ph)

We discuss random geometric structures obtained by percolation of Brownian loops, in relation to the Gaussian Free Field, and how their existence and properties depend on the dimension of the ambient space. We formulate a number of conjectures for the cases d=3,4,5 and prove some results when d > 6.

[77]
Title: Lower bound for the Erdős-Burgess constant in finite commutative rings
Authors: Guoqing Wang
Subjects: Combinatorics (math.CO); Number Theory (math.NT)

Let $R$ be a finite commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. The Erd\H{o}s-Burgess constant associated with the ring $R$ is the smallest positive integer $\ell$ such that for any given $\ell$ elements (repetitions are allowed) of $R$, say $a_1,\ldots,a_{\ell}\in R$, there must exist a nonempty subset $J\subset \{1,2,\ldots,\ell\}$ with $\prod\limits_{j\in J} a_j$ being an idempotent. In this paper, we give a lower bound of the Erd\H{o}s-Burgess constant in a finite commutative unitary ring in terms of all its maximal ideals, and prove that the lower bound is attained in some cases. The result unifies some recently obtained theorems on this invariant.

[78]
Title: A closed densely defined operator $T$ such that both $T$ and $T^*$ are injective and paranormal yet $T$ is not normal
Subjects: Functional Analysis (math.FA); Operator Algebras (math.OA)

In this note, we give an example of a densely defined closed one-to-one paranormal operator $T$ whose adjoint is also injective and paranormal, but $T$ fails to be normal.

[79]
Title: The undecidability of joint embedding for 3-dimensional permutation classes
Authors: Samuel Braunfeld
Subjects: Logic (math.LO); Combinatorics (math.CO)

As a step towards resolving a question of Ru\v{s}kuc on the decidability of joint embedding for hereditary classes of permutations, which may be viewed as structures in a language of 2 linear orders, we show the corresponding problem is undecidable for hereditary classes of structures in a language of 3 linear orders.

[80]
Title: A convex model for induction motor starting transients imbedded in an OPF-based optimization problem
Subjects: Optimization and Control (math.OC); Signal Processing (eess.SP)

Large horsepower induction motors play a critical role in the operation of industrial facilities. In this respect, the distribution network operators dedicate a high priority to the operational safety of these motor loads. In this paper, the induction motor starting is modeled analytically and in a semi-static fashion. This model is imbedded in a convex distribution system restoration problem. In this optimization problem, it is aimed to determine the optimal status of static loads and the optimal dispatch of distributed generators such that: a) the induction motors can be reaccelerated in a safe way and, b) the total power of static loads that cannot be supplied before the motor energization, is minimized. The proposed optimization problem is applied in the case of a distribution network under different simulation scenarios. The feasibility and accuracy of the obtained results are validated using a) off-line time-domain simulations, and b) Power Hardware-In-the-Loop experiments.

[81]
Title: Construction of the $K{S^p}$ spaces on $\mathbb{R}^\infty$ and Separable Banach Spaces
Subjects: Functional Analysis (math.FA)

The purpose of this paper is to construct a new class of separable Banach spaces $KS^p[\mathbb{R}^{\infty}], \; 1\leq p \leq \infty$. Each of these spaces contain the $L^p[\mathbb{R}^\infty]$ spaces, as well as the space $\mfM[\mathbb{R}^\iy]$, of finitely additive measures as dense continuous compact embeddings. These spaces are of interest because they also contain the Henstock-Kurzweil integrable functions on $\mathbb{R}^\iy$. We will construct a canonical class of Kuelb-Steadman spaces $KS^p[\mathcal{B}], \; 1\leq p \leq \infty$, where $\mathcal{B}$ is separable Banach space. %and come again to $K{S^p}[\mathbb{R}^\infty].$ Finally, we offer a interesting approach to the Fourier transform on $K{S^p}[\mathbb{R}^{\infty}]$ and $KS^p[\mathcal{B}]$. % an application of $K{S^p}[\mathbb{R}^{\infty}].$ %Further we find $K{S^2}[\mathbb{R}^{\infty}]$ satisfies the requirement for Heisenberg and Schr\"{o}dinger representations.

[82]
Title: A Study of Subminimal Logics of Negation and their Modal Companions
Subjects: Logic (math.LO)

We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation operator. We present their semantics as a variant of neighbourhood semantics. We use duality and completeness results to show that there are uncountably many subminimal logics. We also give model-theoretic and algebraic definitions of filtration for minimal logic and show that they are dual to each other. These constructions ensure that the propositional minimal logic has the finite model property. Finally, we define and investigate bi-modal companions with non-normal modal operators for some relevant subminimal systems, and give infinite axiomatizations for these bi-modal companions.

[83]
Title: Self-improvement of weighted pointwise inequalities on open sets
Subjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)

We prove a general self-improvement property for a family of weighted pointwise inequalities on open sets, including pointwise Hardy inequalities with distance weights. For this purpose we introduce and study the classes of $p$-Poincar\'e and $p$-Hardy weights for an open set $\Omega\subset X$, where $X$ is a metric measure space. We also apply the self-improvement of weighted pointwise Hardy inequalities in connection with usual integral versions of Hardy inequalities.

[84]
Title: Ultra Reliable Communication via Optimum Power Allocation for HARQ Retransmission Schemes
Subjects: Information Theory (cs.IT)

In this work, we develop low complexity, optimal power allocation algorithms that would allow ultra reliable operation at any outage probability target with minimum power consumption in the finite blocklength regime by utilizing Karush-Kuhn-Tucker (KKT) conditions. In our setup, we assume that the transmitter does not know the channel state information (CSI). First, we show that achieving a very low packet outage probability by using an open loop setup requires extremely high power consumption. Thus, we resort to retransmission schemes as a solution, namely Automatic Repeat Request (ARQ), Chase Combining Hybrid ARQ (CC-HARQ) and Incremental Redundancy (IR) HARQ. Countrary to classical approaches, where it is optimal to allocate equal power with each transmission, we show that for operation in the ultra reliable regime (URR), the optimal strategy suggests transmission with incremental power in each round. Numerically, we evaluate the power gains of the proposed protocol. We show that the best power saving is given by IR-HARQ protocol. Further, we show that when compared to the one shot transmission, these protocols enable large average and maximum power gains. Finally, we show that the larger the number of transmissions is, the larger power gains will be attained.

[85]
Title: A construction of magic 24-cells
Authors: Donghwi Park
Comments: My implementation is available on Github. this https URL
Subjects: General Mathematics (math.GM)

I found a novel class of magic square analogue, magic 24-cell. The problem is to assign the consecutive numbers 1 through 24 to the vertices in a graph, which is composed of 24 octahedra and 24 vertices, to make the sum of the numbers of each octahedron the same. It is known that there are facet-magic and face-magic labelings of tesseract. However, because of 24-cell contains triangle, face-magic labeling to assign different labels to each vertex is impossible. So I tried to make a cell-magic labeling of 24-cell. Linear combination of three binary labeling and one ternary labeling gives 64 different magic labelings of 24-cell. Due to similarity in the number of vertices between 5x5 magic square and magic 24-cell, It might be possible to calculate the number of magic 24-cell. Further analysis would be need to determine the number of magic 24-cell.

[86]
Title: Regularity of CR-mappings between Fuchsian type hypersurfaces in $\mathbb C^2$
Subjects: Complex Variables (math.CV); Dynamical Systems (math.DS)

We investigate regularity of CR-mappings between real-analytic infinite type hypersurfaces in $\mathbb C^2$. We show that, under the Fuchsian type condition, all (respectively formal or smooth) CR-diffeomorphisms between them are automatically analytic. The Fuchsian condition appears to be in a certain sense optimal for the regularity problem.

[87]
Title: A class of global large, smooth solutions for the magnetohydrodynamics with the Hall and ion-slip effects
Authors: Huali Zhang
Subjects: Analysis of PDEs (math.AP)

In this paper, the Cauchy's problem for fractional MHD system with the Hall and ion-slip effects is considered. By exploring the structure of semilinear and quasilinear terms, we prove the global existence of solutions for a class of large initial data. Both the velocity and magnetic fields could be arbitrarily large in $H^3(\mathbb{R}^3)$.

[88]
Title: The Invariant Subspace Problem for Bounded Linear Operators on Hilbert and Hamilton Space
Authors: Sa Ge Lee
Subjects: General Mathematics (math.GM)

We give the affirmative solution of the invariant subspace problem for bounded linear operators on Hilbert and Hamilton space and some applications. This paper is a revision of my earlier version in RIMS, kokyuroku 2113, 72-85, May 2019 ed. Masatoshi Ito, published as the proceeding of the conference, Research on Structure of Operators in Using Operator Means and Related Topics, Oct. 24-26, 2018.
This paper is dedicated to my Ph.D thesis advisor Prof. John A. Ernest and my wife Soon Hee Kim.

[89]
Title: Distributed Algorithms for Composite Optimization: Unified and Tight Convergence Analysis
Subjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

We study distributed composite optimization over networks: agents minimize a sum of smooth (strongly) convex functions, the agents' sum-utility, plus a nonsmooth (extended-valued) convex one. We propose a general unified algorithmic framework for such a class of problems and provide a unified convergence analysis leveraging the theory of operator splitting. Distinguishing features of our scheme are: (i) When the agents' functions are strongly convex, the algorithm converges at a linear rate, whose dependence on the agents' functions and network topology is decoupled, matching the typical rates of centralized optimization; the rate expression is sharp and improves on existing results; (ii) When the objective function is convex (but not strongly convex), similar separation as in (i) is established for the coefficient of the proved sublinear rate; (iii) The algorithm can adjust the ratio between the number of communications and computations to achieve a rate (in terms of computations) independent on the network connectivity; and (iv) A by-product of our analysis is a tuning recommendation for several existing (non accelerated) distributed algorithms yielding the fastest provably (worst-case) convergence rate. This is the first time that a general distributed algorithmic framework applicable to composite optimization enjoys all such properties.

[90]
Title: Partitioning Items Into Mutually Exclusive Groups
Subjects: Optimization and Control (math.OC)

We investigate a new model for partitioning a set of items into groups (clusters). The number of groups is given and the distances between items are well defined. These distances may include weights. The sum of the distances between all members of the same group is calculated for each group, and the objective is to find the partition of the set of items that minimizes the sum of these individual sums. Two problems are formulated and solved. In the first problem the number of items in each group are given. For example, all groups must have the same number of items. In the second problem there is no restriction on the number of items in each group. We propose an optimal algorithm for each of the two problems as well as a heuristic algorithm. Problems with up to 100 items and 50 groups are tested. In the majority of instances the optimal solution was found using IBM's CPLEX. The heuristic approach, which is very fast, found all confirmed optimal solutions and equal or better solutions when CPLEX was stopped after five hours. The problem with given group sizes can also be formulated and solved as a quadratic assignment problem.

[91]
Title: Rational points on del Pezzo surfaces of degree four
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

We study the distribution of the Brauer group and the frequency of the Brauer-Manin obstruction to the Hasse principle and weak approximation in a family of smooth del Pezzo surfaces of degree four over the rationals. We also study the geometry and arithmetic of a genus one fibration with two reducible fibres for which a Brauer element is vertical.

[92]
Title: Variation on a theme by Kiselev and Nazarov: H{ö}lder estimates for non-local transport-diffusion, along a non-divergence-free BMO field
Authors: Ioann Vasilyev (LAMA), François Vigneron (LAMA)
Subjects: Analysis of PDEs (math.AP)

We prove uniform H\"older regularity estimates for a transport-diffusion equation with a fractional diffusion operator,and a general advection field in BMO, as long as the order of the diffusion dominates the transport term at small scales;our only requirement is the smallness of the negative part of the divergence in some critical Lebesgue space. In comparison to a celebrated result by L.Silvestre (2012), our advection field does not need to be bounded. A similar result can be obtained in the super-critical case if the advection field is H\"older continuous. Our proof is inspired by A.Kiselev and F.Nazarov (2010) and is based on the dual evolution technique. The idea is to propagate an atom property (i.e. localization and integrability in Lebesgue spaces) under the dual conservation law, when it is coupled with the fractional diffusion operator.

[93]
Title: Maximally inflected real trigonal curves on Hirzebruch surfaces
Authors: V.I. Zvonilov
Subjects: Algebraic Geometry (math.AG)

In 2014 A. Degtyarev, I. Itenberg and the author gave a description, up to fiberwise equivariant deformations, of maximally inflected real trigonal curves of type~I (over a base $B$ of an arbitrary genus) in terms of the combinatorics of sufficiently simple graphs and for $B=\mathbb{P}^1$ obtained a complete classification of such curves. In this paper, the mentioned results are extended to maximally inflected real trigonal curves of type~II over $B=\mathbb{P}^1$. As usual, the results for such curves are extended to real Jacobian elliptic surfaces with all singular fibers real.

[94]
Title: Birational sheets in reductive groups
Authors: Filippo Ambrosio
Subjects: Representation Theory (math.RT); Group Theory (math.GR)

We define the group analogue of birational sheets, a construction performed by Losev for reductive Lie algebras. We describe birational sheets in a complex connected reductive group G in terms of Lusztig-Spaltenstein induction and we prove that they form a partition of G. For G semisimple simply connected, we prove that they are unibranch varieties with smooth normalization by means of a local study.

[95]
Title: Aggregated hold out for sparse linear regression with a robust loss function
Authors: Guillaume Maillard (CELESTE, LM-Orsay)
Subjects: Statistics Theory (math.ST)

Sparse linear regression methods generally have a free hyperparameter which controls the amount of sparsity, and is subject to a bias-variance tradeoff. This article considers the use of Aggregated hold-out to aggregate over values of this hyperparameter, in the context of linear regression with the Huber loss function. Aggregated hold-out (Agghoo) is a procedure which averages estimators selected by hold-out (cross-validation with a single split). In the theoretical part of the article, it is proved that Agghoo satisfies a non-asymptotic oracle inequality when it is applied to sparse estimators which are parametrized by their zero-norm. In particular , this includes a variant of the Lasso introduced by Zou, Hasti{\'e} and Tibshirani. Simulations are used to compare Agghoo with cross-validation. They show that Agghoo performs better than CV when the intrinsic dimension is high and when there are confounders correlated with the predictive covariates.

[96]
Title: Equigeodesics on generalized flag manifolds with $G_2$-type $t$-roots
Authors: Marina Statha
Subjects: Differential Geometry (math.DG)

We study homogeneous curves in generalized flag manifolds $G/K$ with $G_2$-type $t$-roots, which are geodesics with respect to each $G$-invariant metric on $G/K$. These curves are called equigeodesics. The tangent space of such flag manifolds splits into six isotropy summands, which are in one-to-one correspondence with $t$-roots. Also, these spaces are a generalization of the exceptional full flag manifold $G_2/T$. We give a characterization for structural equigeodesics for flag manifolds with $G_2$-type $t$-roots, and we give for each such flag manifold, a list of subspaces in which the vectors are structural equigeodesic vectors.

[97]
Title: Errata and notes on the paper "A generalization of Springer theory using nearby cycles"
Authors: Mikhail Grinberg
Subjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)

We provide some corrections and clarifications to the paper [Gr3] of the title. In particular, we clarify the "left/right" conventions on complex reflection groups and their braid groups. Most importantly, we fill in a gap related to the treatment of cuts in the Picard-Lefschetz theory part of the argument. The statements of the main results are not affected.

[98]
Title: Assignment Flows for Data Labeling on Graphs: Convergence and Stability
Subjects: Dynamical Systems (math.DS); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

The assignment flow recently introduced in the J. Math. Imaging and Vision 58/2 (2017), constitutes a high-dimensional dynamical system that evolves on an elementary statistical manifold and performs contextual labeling (classification) of data given in any metric space. Vertices of a given graph index the data points and define a system of neighborhoods. These neighborhoods together with nonnegative weight parameters define regularization of the evolution of label assignments to data points, through geometric averaging induced by the affine e-connection of information geometry. Regarding evolutionary game dynamics, the assignment flow may be characterized as a large system of replicator equations that are coupled by geometric averaging. This paper establishes conditions on the weight parameters that guarantee convergence of the continuous-time assignment flow to integral assignments (labelings), up to a negligible subset of situations that will not be encountered when working with real data in practice. Furthermore, we classify attractors of the flow and quantify corresponding basins of attraction. This provides convergence guarantees for the assignment flow which are extended to the discrete-time assignment flow that results from applying a Runge-Kutta-Munthe-Kaas scheme for numerical geometric integration of the assignment flow. Several counter-examples illustrate that violating the conditions may entail unfavorable behavior of the assignment flow regarding contextual data classification.

[99]
Title: Space-time discontinuous Galerkin approximation of acoustic waves with point singularities
Subjects: Numerical Analysis (math.NA)

We develop a convergence theory of space-time discretizations for the linear, 2nd-order wave equation in polygonal $\Omega\subset\mathbb{R}^2$, possibly occupied by piecewise homogeneous media with different propagation speeds. Building on an unconditionally stable space-time DG formulation developed in [Moiola, Perugia 2018], we (a) prove optimal convergence rates for the space-time scheme with local isotropic corner mesh refinement on the spatial domain, and (b) demonstrate numerically optimal convergence rates of a suitable sparse space-time version of the DG scheme. The latter scheme is based on the so-called combination formula, in conjunction with a family of anisotropic space-time DG-discretizations. It results in optimal-order convergent schemes, also in domains with corners, in work and memory which scales essentially (up to logarithmic terms) like the DG solution of one stationary elliptic problem in $\Omega$ on the finest spatial grid. Numerical experiments for both smooth and singular solutions support convergence rate optimality on spatially refined meshes of the full and sparse space-time DG schemes.

[100]
Title: Optimal control with learning on the fly: a toy problem
Subjects: Optimization and Control (math.OC)

We exhibit optimal control strategies for a simple toy problem in which the underlying dynamics depend on a parameter that is initially unknown and must be learned. We consider a cost function posed over a finite time interval, in contrast to much previous work that considers asymptotics as the time horizon tends to infinity. We study several different versions of the problem, including Bayesian control, in which we assume a prior distribution on the unknown parameter; and "agnostic" control, in which we assume nothing about the unknown parameter. For the agnostic problems, we compare our performance with that of an opponent who knows the value of the parameter. This comparison gives rise to several notions of "regret," and we obtain strategies that minimize the "worst-case regret" arising from the most unfavorable choice of the unknown parameter. In every case, the optimal strategy turns out to be a Bayesian strategy or a limit of Bayesian strategies.

[101]
Title: Anderson-Bernoulli localization with large disorder on the 2D lattice
Authors: Linjun Li
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Probability (math.PR); Spectral Theory (math.SP)

We consider Anderson-Bernoulli model on $\mathbb{Z}^2$ with large disorder. Given $\bar{V}$ a large real number, define the random potential function $V:\mathbb{Z}^2 \rightarrow \{0,\bar{V}\}$ such that $\{V(a):a\in \mathbb{Z}^2\}$ is a family of i.i.d. random variables with $\mathbb{P}\left[V(a)=0\right]=\frac{1}{2}$ and $\mathbb{P}\left[V(a)=\bar{V}\right]=\frac{1}{2}$. We prove the Anderson localization of operator $H=-\Delta+V$ outside a neighborhood of finitely many energies which has small Lebesgue measure.

[102]
Title: Proximal Gradient Algorithm with Momentum and Flexible Parameter Restart for Nonconvex Optimization
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)

Various types of parameter restart schemes have been proposed for accelerated gradient algorithms to facilitate their practical convergence in convex optimization. However, the convergence properties of accelerated gradient algorithms under parameter restart remain obscure in nonconvex optimization. In this paper, we propose a novel accelerated proximal gradient algorithm with parameter restart (named APG-restart) for solving nonconvex and nonsmooth problems. Our APG-restart is designed to 1) allow for adopting flexible parameter restart schemes that cover many existing ones; 2) have a global sub-linear convergence rate in nonconvex and nonsmooth optimization; and 3) have guaranteed convergence to a critical point and have various types of asymptotic convergence rates depending on the parameterization of local geometry in nonconvex and nonsmooth optimization. Numerical experiments demonstrate the effectiveness of our proposed algorithm.

[103]
Title: Anisotropic tempered diffusion equations
Subjects: Analysis of PDEs (math.AP)

We introduce a functional framework which is specially suited to formulate several classes of anisotropic evolution equations of tempered diffusion type. Under an amenable set of hypothesis involving a very natural potential function, these models can be shown to belong to the entropy solution framework devised by 4, 5, therefore ensuring well-posedness. We connect the properties of this potential with those of the associated cost function, thus providing a link with optimal transport theory and a supply of new examples of relativistic cost functions. Moreover, we characterize the anisotropic spreading properties of these models and we determine the Rankine-Hugoniot conditions that rule the temporal evolution of jump hypersurfaces under the given anisotropic flows.

[104]
Title: Lie symmetry analysis and one-dimensional optimal system for the generalized 2+1 Kadomtsev-Petviashvili equation
Comments: 15 pages, 8 tables, no figures
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)

We classify the Lie point symmetries for the 2+1 nonlinear generalized Kadomtsev-Petviashvili equation by determine all the possible f(u) functional forms where the latter depends. For each case the one-dimensional optimal system is derived; a necessary analysis to find all the possible similarity transformations which simplify the equation. We demonstrate our results by constructing static and travel-wave similarity solutions. In particular the latter solutions satisfy a second-order nonlinear ordinary differential equation which can be solved by quadratures.

[105]
Title: Singularities of Algebraic Differential Equations
Subjects: Commutative Algebra (math.AC)

We combine algebraic and geometric approaches to general systems of algebraic ordinary or partial differential equations to provide a unified framework for the definition and detection of singularities of a given system at a fixed order. Our three main results are firstly a proof that even in the case of partial differential equations regular points are generic. Secondly, we present an algorithm for the effective detection of all singularities at a given order or, more precisely, for the determination of a regularity decomposition. Finally, we give a rigorous definition of a regular differential equation, a notion that is ubiquitous in the geometric theory of differential equations, and show that our algorithm extracts from each prime component a regular differential equation. Our main algorithmic tools are on the one hand the algebraic resp. differential Thomas decomposition and on the other hand the Vessiot theory of differential equations.

[106]
Title: Global recovery of a time-dependent coefficient for the wave equation from a single measurement
Subjects: Analysis of PDEs (math.AP)

We consider the formally determined inverse problem of recovering an unknown time-dependent potential function from the knowledge of the restriction of the solution of the wave equation to a small subset, subject to a single external source. We show that one can determine the potential function, up to the natural obstruction for the problem, by using a single source placed in the exterior of the spacetime domain and subsequently measuring the solution in a small neighborhood outside of the spacetime domain. The approach is based on considering a dense collection of light rays and constructing a source function that combines a countable collection of sources that each generates a wave packet near a light ray in the collection. We show that measuring the solution corresponding to that single source simultaneously determines the light ray transform along all the light rays in the collection. The result then follows from injectivity of the light ray transform. Our proof also provides a reconstruction algorithm.

[107]
Title: Minimax Optimal Estimation of KL Divergence for Continuous Distributions
Subjects: Information Theory (cs.IT); Machine Learning (stat.ML)

Estimating Kullback-Leibler divergence from identical and independently distributed samples is an important problem in various domains. One simple and effective estimator is based on the k nearest neighbor distances between these samples. In this paper, we analyze the convergence rates of the bias and variance of this estimator. Furthermore, we derive a lower bound of the minimax mean square error and show that kNN method is asymptotically rate optimal.

[108]
Title: Greedy balanced pairs in $N$-free ordered sets
Authors: Imed Zaguia
Subjects: Combinatorics (math.CO)

An $\alpha$-greedy balanced pair in an ordered set $P=(V,\leq)$ is a pair $(x,y)$ of elements of $V$ such that the proportion of greedy linear extensions of $P$ that put $x$ before $y$ among all greedy linear extensions is in the real interval $[\alpha, \alpha-1]$. We prove that every $N$-free ordered set which is not totally ordered has a $\frac{1}{2}$-greedy balanced pair.

[109]
Title: Equidistribution results for self-similar measures
Authors: Simon Baker
Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Number Theory (math.NT)

A well known theorem due to Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In this paper we give sufficient conditions for an analogue of this theorem to hold for self-similar measures. Our approach applies more generally to sequences of the form $(f_{n}(x))_{n=1}^{\infty}$ where $(f_n)_{n=1}^{\infty}$ is a sequence of sufficiently smooth real valued functions satisfying a nonlinearity assumption. As a corollary of our main result, we show that if $C$ is equal to the middle third Cantor set and $t\geq 1$, then with respect to the Cantor-Lebesgue measure on $C+t$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed for almost every $x$.

[110]
Title: Fréchet Modules and Descent
Subjects: Functional Analysis (math.FA); Algebraic Geometry (math.AG); Category Theory (math.CT); Complex Variables (math.CV); Number Theory (math.NT)

We study several aspects of the study of Ind-Banach modules over Banach rings thereby synthesizing some aspects of homological algebra and functional analysis. This includes a study of nuclear modules and of modules which are flat with respect to the projective tensor product. We also study metrizable and Fr\'{e}chet Ind-Banach modules. We give explicit descriptions of projective limits of Banach rings as ind-objects. We study exactness properties of projective tensor product with respect to kernels and countable products. As applications, we describe a theory of quasi-coherent modules in Banach algebraic geometry. We prove descent theorems for quasi-coherent modules in various analytic and arithmetic contexts.

[111]
Title: Composite Matrices from Group Rings, Composite G-Codes and Constructions of Self-Dual Codes
Subjects: Information Theory (cs.IT)

In this work, we define composite matrices which are derived from group rings. We extend the idea of G-codes to composite G-codes. We show that these codes are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a composite G-code is also a composite G-code. We define quasi-composite G-codes and give a construction of these codes. We also study generator matrices, which consist of the identity matrices and the composite matrices. Together with the generator matrices, the well known extension method, the neighbour method and its generalization, we find extremal binary self-dual codes of length 68 with new weight enumerators for the rare parameters gamma=7,8 and 9. In particular, we find 49 new such codes. Moreover, we show that the codes we find are inaccessible from other constructions.

[112]
Title: Fourier interpolation from spheres
Authors: Martin Stoller
Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)

In every dimension $d \geq 5$ we give an explicit formula that expresses the values of any Schwartz function on $\mathbb{R}^d$ only in terms of its restrictions, and the restrictions of its Fourier transform, to all origin-centered spheres whose radius is the square root of a positive integer. In the line of recent Fourier interpolation theorems that are proved by modular forms techniques, our formula is the first one that applies to non-radial higher-dimensional functions. We achieve this by first solving the corresponding interpolation problem for radial functions in a sequence of higher dimensions, using a continuously parameterized family of Poincar\'{e}-type series. We then synthesize all those solutions together in a fixed dimension, employing classical harmonic analysis on the sphere and $\mathbb{R}^d$. We extend the formula to functions outside the Schwartz class and explain how to modify it for dimensions 2,3 and 4.

[113]
Title: Lower semi-frames and metric operators
Subjects: Functional Analysis (math.FA); Mathematical Physics (math-ph)

This paper deals with the possibility of transforming a weakly measurable function in a Hilbert space into a continuous frame by a metric operator, i.e., a strictly positive self-adjoint operator. A necessary condition is that the domain of the analysis operator associated to the function be dense. The study is done also with the help of the generalized frame operator associated to a weakly measurable function, which has better properties than the usual frame operator. A special attention is given to lower semi-frames: indeed if the domain of the analysis operator is dense, then a lower semi-frame can be transformed into a Parseval frame with a (special) metric operator.

[114]
Title: Arnold-Liouville theorem for integrable PDEs: a case study of the focusing NLS equation
Subjects: Analysis of PDEs (math.AP)

We prove an infinite dimensional version of the Arnold-Liouville theorem for integrable non-linear PDEs: In a case study we consider the {\em focusing} NLS equation with periodic boundary conditions.

[115]
Title: Milnor excision for motivic spectra
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); K-Theory and Homology (math.KT)

Let k be a field and E a motivic spectrum over k which is n-torsion for some n invertible in k. We show that the cohomology theory on k-schemes defined by E satisfies Milnor excision. More generally, we give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes.

[116]
Title: A stratification result for an exponential sum modulo $p^2$
Subjects: Number Theory (math.NT)

In this note we consider algebraic exponential sums over the values of homogeneous nonsingular polynomials $F(x_1, \cdots, x_n) \in \mathbb{Z}[x_1, \cdots, x_n]$ in the quotient ring $\mathbb{Z}/p^2\mathbb{Z}$. We provide an estimate of this exponential sum and a corresponding stratification of the space $\mathbb{A}_{\mathbb{F}_p}^n$, which in particular illustrates a general stratification theorem of Fouvry and Katz.

[117]
Title: Well-Posedness and Equilibrium Behaviour of Overdamped Dynamic Density Functional Theory
Subjects: Analysis of PDEs (math.AP)

We establish the global well-posedness of overdamped dynamical density functional theory (DDFT): a nonlinear, nonlocal integro-partial differential equation used in statistical mechanical models of colloidal flow and other applications including nonlinear reaction-diffusion systems and opinion dynamics. With no-flux boundary conditions, we determine the well-posedness of the full nonlocal equations including two-body hydrodynamic interactions (HI) through the theory of Fredolm operators. Principally, this is done by rewriting the dynamics for the density $\varrho$ as a nonlocal Smoluchowski equation with a non-constant diffusion tensor $\boldsymbol{D}$ dependent on the diagonal part ($\boldsymbol{Z}_1$) of the HI tensor, and an effective drift $\boldsymbol{A}[\boldsymbol{a}]$ dependent on the off-diagonal part ($\boldsymbol{Z}_2$). We derive a scheme to uniquely construct the mean colloid flux $\boldsymbol{a}(\boldsymbol{r},t)$ in terms of eigenvectors of $\boldsymbol{D}$, show that the stationary density $\varrho(\boldsymbol{r})$ is independent of the HI tensors, as well as proving exponentially fast convergence to equilibrium. The stability of the equilibria $\varrho(\boldsymbol{r})$ is studied by considering the bounded (nonlocal) perturbation of the differential (local) part of the linearised operator. We show that the spectral properties of the full nonlocal operator with no-flux boundary conditions can differ considerably from those with periodic boundary conditions. We showcase our results by using the numerical methods available in the pseudo-spectral collocation scheme 2DChebClass.

[118]
Title: An Extended Galerkin Analysis for Linear Elasticity with Strongly Symmetric Stress Tensor
Subjects: Numerical Analysis (math.NA)

This paper presents an extended Galerkin analysis for various Galerkin methods of the linear elasticity problem. The analysis is based on a unified Galerkin discretization formulation for the linear elasticity problem consisting of four discretization variables: strong symmetric stress tensor $\boldsymbol \sigma_h$, displacement $u_h$ inside each element and the modifications of these two variables $\check \boldsymbol \sigma_h$ and $\check u_h$ on elementary boundaries. Motivated by many relevant methods in literature, this formulation can be used to derive most existing discontinuous, nonconforming and conforming Galerkin methods for linear elasticity problem and especially to develop a number of new discontinuous Galerkin methods. Many special cases of this four-field formulation are proved to be hybridizable and can be reduced to some known hybridizable discontinuous Galerkin, weak Galerkin and local discontinuous Galerkin methods by eliminating one or two of the four fields. As certain stabilization parameter tends to infinity, this four-field formulation is proved to converge to some conforming and nonconforming mixed methods for linear elasticity problem. Two families of inf-sup conditions, one known as $H^1$-philic and another known as H(div)-phillic, are proved to be uniformly valid with respect to different choices of discrete spaces and parameters. These inf-sup conditions guarantee the well-posedness of the new proposed formulations and also offer a new and unified analysis for many existing methods in literature as a by-product.

[119]
Title: An inverse theorem for Freiman multi-homomorphisms
Subjects: Combinatorics (math.CO)

Let $G_1, \dots, G_k$ and $H$ be vector spaces over a finite field $\mathbb{F}_p$ of prime order. Let $A \subset G_1 \times\dots\times G_k$ be a set of size $\delta |G_1| \cdots |G_k|$. Let a map $\phi \colon A \to H$ be a multi-homomorphism, meaning that for each direction $d \in [k]$, and each element $(x_1, \dots, x_{d-1}, x_{d+1}, \dots, x_k)$ of $G_1\times\dots\times G_{d-1}\times G_{d+1}\times \dots\times G_k$, the map that sends each $y_d$ such that $(x_1, \dots,$ $x_{d-1},$ $y_d,$ $x_{d+1}, \dots,$ $x_k) \in A$ to $\phi(x_1, \dots,$ $x_{d-1},$ $y_d,$ $x_{d+1}, \dots,$ $x_k)$ is a Freiman homomorphism (of order 2). In this paper, we prove that for each such map, there is a multiaffine map $\Phi \colon G_1 \times\dots\times G_k \to H$ such that $\phi = \Phi$ on a set of density $\Big(\exp^{(O_k(1))}(O_{k,p}(\delta^{-1}))\Big)^{-1}$, where $\exp^{(t)}$ denotes the $t$-fold exponential.
Applications of this theorem include:
$\bullet$ a quantitative inverse theorem for approximate polynomials mapping $G$ to $H$, for finite-dimensional $\mathbb{F}_p$-vector spaces $G$ and $H$, in the high-characteristic case,
$\bullet$ a quantitative inverse theorem for uniformity norms over finite fields in the high-characteristic case, and
$\bullet$ a quantitative structure theorem for dense subsets of $G_1 \times\dots\times G_k$ that are subspaces in the principal directions (without additional characteristic assumptions).

[120]
Title: A corrected decoupled scheme for chemotaxis models
Journal-ref: J. Comput. Appl. Math. 323, 36--52 (2017)
Subjects: Numerical Analysis (math.NA)

The main purpose of this paper is to present a new corrected decoupled scheme combined with a spatial finite volume method for chemotaxis models. First, we derive the scheme for a parabolic-elliptic chemotaxis model arising in embryology. We then establish the existence and uniqueness of the numerical solution, and we prove that it converges to a corresponding weak solution for the studied model. In the last section, several numerical tests are presented by applying our approach to a number of chemotaxis systems. The obtained numerical results demonstrate the efficiency of the proposed scheme and its effectiveness to capture different forms of spatial patterns.

[121]
Title: Sphere tangencies, line incidences, and Lie's line-sphere correspondence
Authors: Joshua Zahl
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG)

Two spheres with centers $p$ and $q$ and signed radii $r$ and $s$ are said to be in contact if $|p-q|^2 = (r-s)^2$. Using Lie's line-sphere correspondence, we show that if $F$ is a field in which $-1$ is not a square, then there is an isomorphism between the set of spheres in $F^3$ and the set of lines in a suitably constructed Heisenberg group that is embedded in $(F[i])^3$; under this isomorphism, contact between spheres translates to incidences between lines.
In the past decade there has been significant progress in understanding the incidence geometry of lines in three space. The contact-incidence isomorphism allows us to translate statements about the incidence geometry of lines into statements about the contact geometry of spheres. This leads to new bounds for Erd\H{o}s' repeated distances problem in $F^3$, and improved bounds for the number of point-sphere incidences in three dimensions. These new bounds are sharp for certain ranges of parameters.

[122]
Title: A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
Subjects: Functional Analysis (math.FA)

It is well known that special Kubo-Ando operator means admit divergence center interpretations, moreover, they are also mean squared error estimators for certain metrics on positive definite operators. In this paper we give a divergence center interpretation for every symmetric Kubo-Ando mean. This characterization of the symmetric means naturally leads to a definition of weighted and multivariate versions of a large class of symmetric Kubo-Ando means. We study elementary properties of these weighted multivariate means, and note in particular that in the special case of the geometric mean we recover the weighted $\mathcal{A} \# \mathcal{H}$-mean introduced by Kim, Lawson, and Lim.

[123]
Title: Large Fluctuations in Locational Marginal Prices
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Probability (math.PR); Physics and Society (physics.soc-ph)

This paper investigates large fluctuations of Locational Marginal Prices (LMPs) in wholesale energy markets caused by volatile renewable generation profiles. Specifically, we study events of the form $\mathbb{P} \Big ( \mathbf{LMP} \notin \prod_{i=1}^n [\alpha_i^-, \alpha_i^+] \Big),$ where $\mathbf{LMP}$ is the vector of LMPs at the $n$ power grid nodes, and $\boldsymbol{\alpha}^-,\boldsymbol{\alpha}^+\in\mathbb{R}^n$ are vectors of price thresholds specifying undesirable price occurrences. By exploiting the structure of the supply-demand matching mechanism in power grids, we look at LMPs as deterministic piecewise affine, possibly discontinuous functions of the stochastic input process, modeling uncontrollable renewable generation. We utilize techniques from large deviations theory to identify the most likely ways for extreme price spikes to happen, and to rank the nodes of the power grid in terms of their likelihood of experiencing a price spike. Our results are derived in the case of Gaussian fluctuations and are validated numerically on the IEEE 14-bus test case.

[124]
Title: On equationally Noetherian and residually finite groups
Subjects: Group Theory (math.GR)

The aim of this paper is to compare and contrast the class of residually finite groups with the class of equationally Noetherian groups - groups over which every system of coefficient-free equations is equivalent to a finite subsystem. It is easy to construct groups that are residually finite but not equationally Noetherian (e.g. the direct sum of all finite groups) or vice versa (e.g. the additive group $(\mathbb{Q},+)$ of the rationals). However, no such examples that are finitely generated seem to appear in the literature.
In this paper, we show that among finitely generated groups, the classes of residually finite and equationally Noetherian groups are similar, but neither of them contains the other. On one hand, we show that some classes of finitely generated groups which are known to be residually finite, such as abelian-by-polycyclic groups, are also equationally Noetherian (answering a question posed by R. Bryant). We also give analogous results stating sufficient conditions for a fundamental group of a graph of groups to be equationally Noetherian and to be residually finite. On the other hand, we produce examples of finitely generated non-(equationally Noetherian) groups which are either residually torsion-free nilpotent or conjugacy separable, as well as examples of finitely presented equationally Noetherian groups that are not residually finite.

[125]
Title: Random volumes in d-dimensional polytopes
Subjects: Probability (math.PR); Metric Geometry (math.MG)

Suppose we choose $N$ points uniformly randomly from a convex body in $d$ dimensions. How large must $N$ be, asymptotically with respect to $d$, so that the convex hull of the points is nearly as large as the convex body itself? It was shown by Dyer-F\"uredi-McDiarmid that exponentially many samples suffice when the convex body is the hypercube, and by Pivovarov that the Euclidean ball demands roughly $d^{d/2}$ samples. We show that when the convex body is the simplex, exponentially many samples suffice; this then implies the same result for any convex simplicial polytope with at most exponentially many faces.

[126]
Title: Actions for twisted spectral triple and the transition from the Euclidean to the Lorentzian
Comments: Proceedings of the INFN meeting "Current problem in theoretical physics", Vietri April 2019
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th)

This is a review of recent results regarding the application of Connes' noncommutative geometry to the Standard Model, and beyond. By twisting (in the sense of Connes-Moscovici) the spectral triple of the Standard Model, one does not only get an extra scalar field which stabilises the electroweak vacuum, but also an unexpected 1-form field. By computing the fermionic action, we show how this field induces a transition from the Euclidean to the Lorentzian signature. Hints on a twisted version of the spectral action are also briefly mentioned.

[127]
Title: Bimolecular binding rates for pairs of spherical molecules with small binding sites
Subjects: Analysis of PDEs (math.AP); Biomolecules (q-bio.BM); Quantitative Methods (q-bio.QM)

Bimolecular binding rate constants are often used to describe the association of large molecules, such as proteins. In this paper, we analyze a model for such binding rates that includes the fact that pairs of molecules can bind only in certain orientations. The model considers two spherical molecules, each with an arbitrary number of small binding sites on their surface, and the two molecules bind if and only if their binding sites come into contact (such molecules are often called "patchy particles" in the biochemistry literature). The molecules undergo translational and rotational diffusion, and the binding sites are allowed to diffuse on their surfaces. Mathematically, the model takes the form of a high-dimensional, anisotropic diffusion equation with mixed boundary conditions. We apply matched asymptotic analysis to derive the bimolecular binding rate in the limit of small, well-separated binding sites. The resulting binding rate formula involves a factor that depends on the electrostatic capacitance of a certain four-dimensional region embedded in five dimensions. We compute this factor numerically by modifying a recent kinetic Monte Carlo algorithm. We then apply a quasi chemical formalism to obtain a simple analytical approximation for this factor and find a binding rate formula that includes the effects of binding site competition/saturation. We verify our results by numerical simulation.

[128]
Title: Gaussian-type density bounds for solutions to multidimensional backward SDEs and application to gene expression
Subjects: Probability (math.PR); Analysis of PDEs (math.AP)

We obtain upper and lower Gaussian-type bounds on the density of the law of each component $Y^i_t$ of the solution $Y_t$ to a multidimensional backward SDE. Our approach is based on the Nourdin-Viens formula and the analysis of the associated semilinear parabolic PDE. Furthermore, we apply our results to stochastic gene expression; namely, we estimate densities of distributions of protein levels of separate genes in a gene regulatory network.

[129]
Title: Urata's theorem in the logarithmic case and applications to integral points
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Number Theory (math.NT)

Urata showed that a pointed compact hyperbolic variety admits only finitely many maps from a pointed curve. We extend Urata's theorem to the setting of (not necessarily compact) hyperbolically embeddable varieties. As an application, we show that a hyperbolically embeddable variety over a number field $K$ with only finitely many $\mathcal{O}_{L,T}$-points for any number field $L/K$ and any finite set of finite places $T$ of $L$ has, in fact, only finitely many points in any given $\mathbb{Z}$-finitely generated integral domain of characteristic zero. We use this latter result in combination with Green's criterion for hyperbolic embeddability to obtain novel finiteness results for integral points on symmetric self-products of smooth affine curves and on complements of large divisors in projective varieties. Finally, we use a partial converse to Green's criterion to further study hyperbolic embeddability (or its failure) in the case of symmetric self-products of curves. As a by-product of our results, we obtain the first example of a smooth affine Brody-hyperbolic threefold over $\mathbb{C}$ which is not hyperbolically embeddable.

### Cross-lists for Thu, 27 Feb 20

[130]  arXiv:1303.3341 (cross-list from cs.IT) [pdf, ps, other]
Title: A short proof that all linear codes are weakly algebraic-geometric using Bertini theorems of B. Poonen
Comments: Title modified, expository content shortened. Final version to appear in Discrete Math
Journal-ref: Discrete Math., vol. 343, Issue 6, June 2020
Subjects: Information Theory (cs.IT); Algebraic Geometry (math.AG)

In this paper we give a simpler proof of a deep theorem proved by Pellikan, Shen and van Wee that all linear codes are weakly algebraic-geometric using a theorem of B.Poonen.

[131]  arXiv:1601.06756 (cross-list from cs.IT) [pdf, other]
Title: Privacy, Secrecy, and Storage with Multiple Noisy Measurements of Identifiers
Comments: To appear in IEEE Transactions on Information Forensics and Security
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Multimedia (cs.MM); Signal Processing (eess.SP); Probability (math.PR)

The key-leakage-storage region is derived for a generalization of a classic two-terminal key agreement model. The additions to the model are that the encoder observes a hidden, or noisy, version of the identifier, and that the encoder and decoder can perform multiple measurements. To illustrate the behavior of the region, the theory is applied to binary identifiers and noise modeled via binary symmetric channels. In particular, the key-leakage-storage region is simplified by applying Mrs. Gerber's lemma twice in different directions to a Markov chain. The growth in the region as the number of measurements increases is quantified. The amount by which the privacy-leakage rate reduces for a hidden identifier as compared to a noise-free (visible) identifier at the encoder is also given. If the encoder incorrectly models the source as visible, it is shown that substantial secrecy leakage may occur and the reliability of the reconstructed key might decrease.

[132]  arXiv:1709.00275 (cross-list from cs.IT) [pdf, ps, other]
Title: Code Constructions for Physical Unclonable Functions and Biometric Secrecy Systems
Comments: To appear in IEEE Transactions on Information Forensics and Security
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Multimedia (cs.MM); Signal Processing (eess.SP); Probability (math.PR)

The two-terminal key agreement problem with biometric or physical identifiers is considered. Two linear code constructions based on Wyner-Ziv coding are developed. The first construction uses random linear codes and achieves all points of the key-leakage-storage regions of the generated-secret and chosen-secret models. The second construction uses nested polar codes for vector quantization during enrollment and for error correction during reconstruction. Simulations show that the nested polar codes achieve privacy-leakage and storage rates that improve on existing code designs. One proposed code achieves a rate tuple that cannot be achieved by existing methods.

[133]  arXiv:1804.01430 (cross-list from cs.IT) [pdf, other]
Title: Controllable Identifier Measurements for Private Authentication with Secret Keys
Journal-ref: IEEE Transactions on Information Forensics and Security, vol. 13, no. 8, pp. 1945-1959 (Aug. 2018)
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Multimedia (cs.MM); Signal Processing (eess.SP); Probability (math.PR)

The problem of secret-key based authentication under a privacy constraint on the source sequence is considered. The identifier measurements during authentication are assumed to be controllable via a cost-constrained "action" sequence. Single-letter characterizations of the optimal trade-off among the secret-key rate, storage rate, privacy-leakage rate, and action cost are given for the four problems where noisy or noiseless measurements of the source are enrolled to generate or embed secret keys. The results are relevant for several user-authentication scenarios including physical and biometric authentications with multiple measurements. Our results include, as special cases, new results for secret-key generation and embedding with action-dependent side information without any privacy constraint on the enrolled source sequence.

[134]  arXiv:1904.11954 (cross-list from eess.SP) [pdf, ps, other]
Title: Chaos-Based Anytime Reliable Coded Communications
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT); Chaotic Dynamics (nlin.CD)

Anytime reliable communication systems are needed in contexts where the property of vanishing error probability with time is critical. This is the case of unstable real time systems that are to be controlled through the transmission and processing of remotely sensed data. The most successful anytime reliable transmission systems developed so far are based on channel codes and channel coding theory. In this work, another focus is proposed, placing the stress on the waveform level rather than just on the coding level. This alleviates the coding and decoding complexity problems faced by other proposals. To this purpose, chaos theory is successfully exploited in order to design two different anytime reliable alternatives. The anytime reliability property is formally demonstrated in each case for the AWGN channel, under given conditions. The simulation results shown validate the theoretical developments, and demonstrate that these systems can achieve anytime reliability with affordable resource expenditure.

[135]  arXiv:1905.11461 (cross-list from eess.SP) [pdf]
Title: Design and Performance Analysis of an Index Time Frequency Modulation Scheme for Optical Communications
Comments: 13 pages, 10 figures. IEEE Journal of Selected Topics in Signal Processing, 2019
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

In this article, we propose an index modulation system suitable for optical communications, based on jointly driving the time and frequency of the signal: an index-time frequency hopping (I-TFH) system. We analyze its performance from the point of view of its efficiency in power and spectrum, and its behavior in terms of error probability for the non-turbulent free-space optical (FSO) channel. We compare I-TFH with already proposed index modulated systems of the same nature, but where the amplitude or the number of transmitters are driven instead of the signal frequency. We derive and compare approximations for the average symbol and bit error probabilities of all these systems. The simulation results show that said approximations are tight enough for a wide range of signal-to-noise ratios and system parameters. Moreover, I-TFH shows to be better performing in BER and/or power efficiency than the comparative alternatives, and may offer interesting properties in a variety of contexts.

[136]  arXiv:1906.07435 (cross-list from eess.SP) [pdf, ps, other]
Title: Performance Analysis of QAM-MPPM in Turbulence-Free FSO Channels: Accurate Derivations and Practical Approximations
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

Following the trends of index modulated (IM) techniques for optical communications, in the last few years several new waveform proposals have been made, aiming at conveying a higher density of information by driving different signal properties. One of these proposals mixes multi-pulse pulse-position modulation (MPPM) and quadrature amplitude modulation (QAM) in a system called QAM-MPPM. We present here a new way to demodulate its compound waveform, and, for the non-turbulent free space optical (FSO) channel, we provide accurate analytical expressions for its error probabilities, both in the case of the traditional and the new detector. Based on these analytical derivations, we also provide simplified expressions for the estimation of the error probabilities. We show that the new detector offers a gain of some tenths of dB in signal-to-noise ratio with respect to the previously defined one without an increase in complexity, and that our error probability estimations are more accurate than previously published results. To the best of our knowledge, this work is the first to provide simulation results validating the study of the error probability performance of QAM-MPPM.

[137]  arXiv:1907.01081 (cross-list from cs.IT) [pdf, ps, other]
Title: Private Authentication with Physical Identifiers Through Broadcast Channel Measurements
Comments: Longer version of the paper accepted to the IEEE Information Theory Workshop 2019
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Multimedia (cs.MM); Signal Processing (eess.SP); Probability (math.PR)

A basic model for key agreement with biometric or physical identifiers is extended to include measurements of a hidden source through a general broadcast channel (BC). An inner bound for strong secrecy, maximum key rate, and minimum privacy-leakage and database-storage rates is proposed. The inner bound is shown to be tight for physically-degraded and less-noisy BCs.

[138]  arXiv:2002.09933 (cross-list from hep-th) [pdf, ps, other]
Title: Real analyticity of accessory parameters
Authors: Pietro Menotti
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We consider the problem of the real analytic dependence of the accessory parameters of Liouville theory on the moduli of the problem, for general elliptic singularities. We give a simplified proof of the almost everywhere real analyticity in the case of a single accessory parameter as it occurs e.g. in the sphere topology with four sources or for the torus topology with a single source by using only the general analyticity properties of the solution of the auxiliary equation. We deal then the case of two accessory parameters. We use the obtained result for a single accessory parameter to derive rigorous properties of the projection of the problem on lower dimensional planes. We derive the real analyticity result for two accessory parameters under an assumption of irreducibility.

[139]  arXiv:2002.09981 (cross-list from hep-th) [pdf, other]
Title: Explicit kinks in higher-order field theories
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Pattern Formation and Solitons (nlin.PS)

We study an example of higher-order field-theoretic model with an eighth-degree polynomial potential -- the $\varphi^8$ model. We show that for some certain ratios of constants of the potential, the problem of finding kink-type solutions in $(1+1)$-dimensional space-time reduces to solving algebraic equations. For two different ratios of the constants, which determine positions of the vacua, we obtained explicit formulae for kinks in all topological sectors. The properties of the obtained kinks are also studied -- their masses are calculated, and the excitation spectra which could be responsible for the appearance of resonance phenomena in kink-antikink scattering are found.

[140]  arXiv:2002.10569 (cross-list from eess.SP) [pdf, ps, other]
Comments: 5 pages, 6 figures. Accepted for publication at IEEE Communications Letters
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

In this paper, we design a novel high-throughput random access scheme for an indoor optical wireless communication (OWC) massive Internet of Things (IoT) scenario. Due to the large density of both IoT devices and OWC access points (APs), we base the proposed scheme on multi-receiver coded slotted ALOHA. In this scenario, collisions at APs are resolved by a centralized interference cancellation decoder that may exploit both spatial and temporal diversity. By applying adaptive control of each OWC AP field of view (FOV), the proposed system is able to dynamically adapt to different IoT device activation rates, in order to maintain a high total throughput. Using illustrative simulation results, we demonstrate the design methodology and performance possibilities of the proposed method.

[141]  arXiv:2002.11125 (cross-list from hep-th) [pdf, other]
Title: Modular Exercises for Four-Point Blocks -- I
Subjects: High Energy Physics - Theory (hep-th); Number Theory (math.NT); Quantum Algebra (math.QA)

The well-known modular property of the torus characters and torus partition functions of (rational) vertex operator algebras (VOAs) and 2d conformal field theories (CFTs) has been an invaluable tool for studying this class of theories. In this work we prove that sphere four-point chiral blocks of rational VOAs are vector-valued modular forms for the groups $\Gamma(2)$, $\Gamma_0(2)$, or $\text{SL}_2(\mathbb{Z})$. Moreover, we prove that the four-point correlators, combining the holomorphic and anti-holomorphic chiral blocks, are modular invariant. In particular, in this language the crossing symmetries are simply modular symmetries. This gives the possibility of exploiting the available techniques and knowledge about modular forms to determine or constrain the physically interesting quantities such as chiral blocks and fusion coefficients, which we illustrate with a few examples. We also highlight the existence of a sphere-torus correspondence equating the sphere quantities of certain theories $\mathcal{T}_s$ with the torus quantities of another family of theories $\mathcal{T}_t$. A companion paper will delve into more examples and explore more systematically this sphere-torus duality.

[142]  arXiv:2002.11127 (cross-list from quant-ph) [pdf, other]
Title: Quantum correlations in $\mathcal{PT}$-symmetric systems
Comments: Submitted. Supersedes previous (unsubmitted) preliminary report arXiv:1907.00975 with a radical revision and several major new results
Subjects: Quantum Physics (quant-ph); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph)

We study the dynamics of correlations in a paradigmatic setup to observe $\mathcal{PT}$-symmetric physics: a pair of coupled oscillators, one subject to a gain one to a loss. Starting from a coherent state, quantum correlations (QCs) are created, despite the system being driven only incoherently, and can survive indefinitely. $\mathcal{PT}$ symmetry breaking is accompanied by non-zero stationary QCs. We link $\mathcal{PT}$ symmetry breaking to the long-time behavior of both total and QCs, which display different scalings in the $\mathcal{PT}$-broken/unbroken phase and at the exceptional point (EP). This is analytically shown and quantitatively explained in terms of entropy balance. The EP in particular stands out as the most classical configuration.

[143]  arXiv:2002.11164 (cross-list from cs.AI) [pdf, ps, other]
Title: Topologically sensitive metaheuristics
Subjects: Artificial Intelligence (cs.AI); Algebraic Topology (math.AT); Optimization and Control (math.OC)

This paper proposes topologically sensitive metaheuristics, and describes conceptual design of topologically sensitive Variable Neighborhood Search method (TVNS) and topologically sensitive Electromagnetism Metaheuristic (TEM).

[144]  arXiv:2002.11168 (cross-list from hep-th) [pdf, ps, other]
Title: Perturbative Quantum Field Theory and Homotopy Algebras
Comments: 25 pages, contribution to the proceedings of the Corfu Summer Institute 2019 "School and Workshops on Elementary Particle Physics and Gravity"
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We review the homotopy algebraic perspective on perturbative quantum field theory: classical field theories correspond to homotopy algebras such as $A_\infty$- and $L_\infty$-algebras. Furthermore, their scattering amplitudes are encoded in minimal models of these homotopy algebras at tree level and their quantum relatives at loop level. The translation between Lagrangian field theories and homotopy algebras is provided by the Batalin--Vilkovisky formalism. The minimal models are computed recursively using the homological perturbation lemma, which induces useful recursion relations for the computation of scattering amplitudes. After explaining how the homological perturbation lemma produces the usual Feynman diagram expansion, we use our techniques to verify an identity for the Berends--Giele currents which implies the Kleiss--Kuijf relations.

[145]  arXiv:2002.11184 (cross-list from q-bio.PE) [pdf, other]
Title: The Moran Genealogy Process
Subjects: Populations and Evolution (q-bio.PE); Probability (math.PR); Applications (stat.AP)

We give a novel representation of the Moran Genealogy Process, a continuous-time Markov process on the space of size-$n$ genealogies with the demography of the classical Moran process. We derive the generator and unique stationary distribution of the process and establish its uniform ergodicity. In particular, we show that any initial distribution converges exponentially to the probability measure identical to that of the Kingman coalescent. We go on to show that one-time sampling projects this stationary distribution onto a smaller-size version of itself. Next, we extend the Moran genealogy process to include sampling through time. This allows us to define the Sampled Moran Genealogy Process, another Markov process on the space of genealogies. We derive exact conditional and unconditional probability distributions for this process under the assumption of stationarity, and an expression for the likelihood of any sequence of genealogies it generates. This leads to some interesting observations pertinent to existing phylodynamic methods in the literature.

[146]  arXiv:2002.11223 (cross-list from stat.ML) [pdf, other]
Title: Device Heterogeneity in Federated Learning: A Superquantile Approach
Subjects: Machine Learning (stat.ML); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Optimization and Control (math.OC)

We propose a federated learning framework to handle heterogeneous client devices which do not conform to the population data distribution. The approach hinges upon a parameterized superquantile-based objective, where the parameter ranges over levels of conformity. We present an optimization algorithm and establish its convergence to a stationary point. We show how to practically implement it using secure aggregation by interleaving iterations of the usual federated averaging method with device filtering. We conclude with numerical experiments on neural networks as well as linear models on tasks from computer vision and natural language processing.

[147]  arXiv:2002.11249 (cross-list from eess.SP) [pdf]
Title: Concatenated Convolution-Polar codes over Rayleigh Channels degraded as Erasure Channels
Authors: Mohammed Usman
Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

Polar codes have been shown to approach capacity of symmetric binary erasure channels and also have low encoding and decoding complexity. Wireless channels are bursty in nature and a method to apply polar codes over wireless channels is proposed. This paper investigates the performance of polar codes over typical urban fading wireless channels. The wireless channel is modeled as a degraded erasure channel by using an inner convolution code and interleaving. When the convolution code fails to correct any errors, the corresponding bits are discarded and treated as erasures. We present the performance of polar codes over such degraded wireless channels using different code rates for the inner convolution code.

[148]  arXiv:2002.11258 (cross-list from q-fin.CP) [pdf, other]
Title: Fast Lower and Upper Estimates for the Price of Constrained Multiple Exercise American Options by Single Pass Lookahead Search and Nearest-Neighbor Martingale
Subjects: Computational Finance (q-fin.CP); Machine Learning (cs.LG); Optimization and Control (math.OC); Pricing of Securities (q-fin.PR)

This article presents fast lower and upper estimates for a large class of options: the class of constrained multiple exercise American options. Typical options in this class are swing options with volume and timing constraints, and passport options with multiple lookback rights. The lower estimate algorithm uses the artificial intelligence method of lookahead search. The upper estimate algorithm uses the dual approach to option pricing on a nearest-neighbor basis for the martingale space. Probabilistic convergence guarantees are provided. Several numerical examples illustrate the approaches including a swing option with four constraints, and a passport option with 16 constraints.

[149]  arXiv:2002.11267 (cross-list from q-bio.PE) [pdf, other]
Title: Ross-Macdonald Models: Which one should we use?
Subjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)

Ross-Macdonald models are the building blocks of most vector-borne disease models. Even for the same disease, different authors use different model formulations, but a study of the dynamical consequences of assuming different hypotheses is missing. In this work we present different formulations of the basic Ross-Macdonald model together with a careful discussion of the assumptions behind each model. The most general model presented is an agent based model for which arbitrary distributions for latency and infectious periods for both, host and vectors, is considered. At population level we also developed a deterministic Volterra integral equations model for which also arbitrary distributions in the waiting times are included. We compare the model solutions using different distributions for the infectious and latency periods using statistics, like the epidemic peak, or epidemic final size, to characterize the epidemic curves. The basic reproduction number ($R_0$) for each formulation is computed and compared with empirical estimations obtained with the agent based models. The importance of considering realistic distributions for the latent and infectious periods is highlighted and discussed. We also show that seasonality is a key driver of vector-borne disease dynamics shaping the epidemic curve and its duration.

[150]  arXiv:2002.11323 (cross-list from cs.LG) [pdf, other]
Title: Convergence to Second-Order Stationarity for Non-negative Matrix Factorization: Provably and Concurrently
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

Non-negative matrix factorization (NMF) is a fundamental non-convex optimization problem with numerous applications in Machine Learning (music analysis, document clustering, speech-source separation etc). Despite having received extensive study, it is poorly understood whether or not there exist natural algorithms that can provably converge to a local minimum. Part of the reason is because the objective is heavily symmetric and its gradient is not Lipschitz. In this paper we define a multiplicative weight update type dynamics (modification of the seminal Lee-Seung algorithm) that runs concurrently and provably avoids saddle points (first order stationary points that are not second order). Our techniques combine tools from dynamical systems such as stability and exploit the geometry of the NMF objective by reducing the standard NMF formulation over the non-negative orthant to a new formulation over (a scaled) simplex. An important advantage of our method is the use of concurrent updates, which permits implementations in parallel computing environments.

[151]  arXiv:2002.11332 (cross-list from cs.LG) [pdf, ps, other]
Title: Structured Linear Contextual Bandits: A Sharp and Geometric Smoothed Analysis
Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)

Bandit learning algorithms typically involve the balance of exploration and exploitation. However, in many practical applications, worst-case scenarios needing systematic exploration are seldom encountered. In this work, we consider a smoothed setting for structured linear contextual bandits where the adversarial contexts are perturbed by Gaussian noise and the unknown parameter $\theta^*$ has structure, e.g., sparsity, group sparsity, low rank, etc. We propose simple greedy algorithms for both the single- and multi-parameter (i.e., different parameter for each context) settings and provide a unified regret analysis for $\theta^*$ with any assumed structure. The regret bounds are expressed in terms of geometric quantities such as Gaussian widths associated with the structure of $\theta^*$. We also obtain sharper regret bounds compared to earlier work for the unstructured $\theta^*$ setting as a consequence of our improved analysis. We show there is implicit exploration in the smoothed setting where a simple greedy algorithm works.

[152]  arXiv:2002.11345 (cross-list from cond-mat.str-el) [pdf, other]
Title: Jordan-Wigner Dualities for Translation-Invariant Hamiltonians in Any Dimension: Emergent Fractons that are Fermions
Comments: 27 pages, 4 figures, 7 tables
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

Inspired by recent developments generalizing Jordan-Wigner dualities to higher dimensions, we develop a framework for such dualities for translation-invariant Hamiltonians using the algebraic formalism proposed by Haah. We prove that given a translation-invariant fermionic system with generic $q$-body interactions, where $q$ is even, a local mapping preserving global fermion parity to a dual Pauli spin model exists and is unique up to a choice of basis. Furthermore, the dual spin model is constructive, and we present various examples of these dualities. As an application, we bosonize fermionic systems where fermion parity is conserved on submanifolds such as higher-form, line, planar or fractal symmetry. For some cases in 3+1D, bosonizing such system can give rise to fracton models where the emergent particles are immobile, but yet can be behave in certain ways like fermions. These models may be examples of new non-relativistic 't Hooft anomalies. Furthermore, fermionic subsystem symmetries are also present in various Majorana stabilizer codes, such as the color code or the checkerboard model, and we give examples where their duals are cluster states or new fracton models distinct from their doubled CSS codes.

[153]  arXiv:2002.11380 (cross-list from physics.plasm-ph) [pdf, other]
Title: The Vlasov-Ampère system and the Bernstein-Landau paradox
Subjects: Plasma Physics (physics.plasm-ph); Mathematical Physics (math-ph); Spectral Theory (math.SP)

We study the Bernstein-Landau paradox in the collisionless motion of an electrostatic plasma in the presence of a constant external magnetic field. The Bernstein-Landau paradox consists in that in the presence of the magnetic field, the electric field and the charge density fluctuation have an oscillatory behavior in time. This is radically different from Landau damping, in the case without magnetic field, where the electric field tends to zero for large times. We consider this problem from a new point of view. Instead of analyzing the linear Vlasov-Poisson system, as it is usually done, we study the linear Vlasov-Amp\ere system. We formulate the Vlasov-Amp\ere system as a Schr\"odinger equation with a selfadjoint Vlasov-Amp\ere operator in the Hilbert space of states with finite energy. The Vlasov-Amp\ere operator has a complete set of orthonormal eigenfunctions, that include the Bernstein modes. The expansion of the solution of the Vlasov-Amp\ere system in the eigenfunctions shows the oscillatory behavior in time. We prove the convergence of the expansion under optimal conditions, assuming only that the initial state has finite energy. This solves a problem that was recently posed in the literature. The Bernstein modes are not complete. To have a complete system it is necessary to add eigenfunctions that are associated with eigenvalues at all the integer multiples of the cyclotron frequency. These special plasma oscillations actually exist on their own, without the excitation of the other modes. In the limit when the magnetic fields goes to zero the spectrum of the Vlasov-Amp\`ere operator changes drastically from pure point to absolutely continuous in the orthogonal complement to its kernel , due to a sharp change on its domain. This explains the Bernstein-Landau paradox. Furthermore, we present numerical simulations that illustrate the Bernstein-Landau paradox.

[154]  arXiv:2002.11384 (cross-list from eess.SY) [pdf, ps, other]
Title: Intrinsic Construction of Lyapunov Functions on Riemannian Manifold
Authors: Dongjun Wu
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

For systems evolving on a Riemannian manifold, we propose converse Lyapunov theorems for asymptotic and exponential stability. The novelty of the proposed approach is that is does not rely on local Euclidean coordinate, and is thus valid on a wider domain than the immediate vicinity of the considered equilibrium. We also show how the constructions can be useful for robustness analysis.

[155]  arXiv:2002.11428 (cross-list from cs.GT) [pdf, ps, other]
Title: Computation of Dynamic Equilibria in Series-Parallel Networks
Authors: Marcus Kaiser
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS); Dynamical Systems (math.DS)

We consider dynamic equilibria for flows over time under the fluid queuing model. In this model, queues on the links of a network take care of flow propagation. Flow enters the network at a single source and leaves at a single sink. In a dynamic equilibrium, every infinitesimally small flow particle reaches the sink as early as possible given the pattern of the rest of the flow. While this model has been examined for many decades, progress has been relatively recent. In particular, the derivatives of dynamic equilibria have been characterized as thin flows with resetting, which allowed for more structural results. Our two main results are based on the analysis of thin flows with resetting. We present a constructive proof of existence for dynamic equilibria if the inflow rate is right-monotone. The complexity of computing thin flows with resetting, which occurs as a subproblem in this method, is still open. We settle it for the class of two-terminal series-parallel networks by giving a recursive algorithm that solves the problem for all flow values simultaneously in polynomial time.

[156]  arXiv:2002.11440 (cross-list from cs.LG) [pdf, other]
Title: Non-Asymptotic Bounds for Zeroth-Order Stochastic Optimization
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

We consider the problem of optimizing an objective function with and without convexity in a simulation-optimization context, where only stochastic zeroth-order information is available. We consider two techniques for estimating gradient/Hessian, namely simultaneous perturbation (SP) and Gaussian smoothing (GS). We introduce an optimization oracle to capture a setting where the function measurements have an estimation error that can be controlled. Our oracle is appealing in several practical contexts where the objective has to be estimated from i.i.d. samples, and increasing the number of samples reduces the estimation error. In the stochastic non-convex optimization context, we analyze the zeroth-order variant of the randomized stochastic gradient (RSG) and quasi-Newton (RSQN) algorithms with a biased gradient/Hessian oracle, and with its variant involving an estimation error component. In particular, we provide non-asymptotic bounds on the performance of both algorithms, and our results provide a guideline for choosing the batch size for estimation, so that the overall error bound matches with the one obtained when there is no estimation error. Next, in the stochastic convex optimization setting, we provide non-asymptotic bounds that hold in expectation for the last iterate of a stochastic gradient descent (SGD) algorithm, and our bound for the GS variant of SGD matches the bound for SGD with unbiased gradient information. We perform simulation experiments on synthetic as well as real-world datasets, and the empirical results validate the theoretical findings.

[157]  arXiv:2002.11511 (cross-list from stat.ML) [pdf, other]
Title: A Comparative Study of Machine Learning Models for Predicting the State of Reactive Mixing
Subjects: Machine Learning (stat.ML); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Numerical Analysis (math.NA)

Accurate predictions of reactive mixing are critical for many Earth and environmental science problems. To investigate mixing dynamics over time under different scenarios, a high-fidelity, finite-element-based numerical model is built to solve the fast, irreversible bimolecular reaction-diffusion equations to simulate a range of reactive-mixing scenarios. A total of 2,315 simulations are performed using different sets of model input parameters comprising various spatial scales of vortex structures in the velocity field, time-scales associated with velocity oscillations, the perturbation parameter for the vortex-based velocity, anisotropic dispersion contrast, and molecular diffusion. Outputs comprise concentration profiles of the reactants and products. The inputs and outputs of these simulations are concatenated into feature and label matrices, respectively, to train 20 different machine learning (ML) emulators to approximate system behavior. The 20 ML emulators based on linear methods, Bayesian methods, ensemble learning methods, and multilayer perceptron (MLP), are compared to assess these models. The ML emulators are specifically trained to classify the state of mixing and predict three quantities of interest (QoIs) characterizing species production, decay, and degree of mixing. Linear classifiers and regressors fail to reproduce the QoIs; however, ensemble methods (classifiers and regressors) and the MLP accurately classify the state of reactive mixing and the QoIs. Among ensemble methods, random forest and decision-tree-based AdaBoost faithfully predict the QoIs. At run time, trained ML emulators are $\approx10^5$ times faster than the high-fidelity numerical simulations. Speed and accuracy of the ensemble and MLP models facilitate uncertainty quantification, which usually requires 1,000s of model run, to estimate the uncertainty bounds on the QoIs.

[158]  arXiv:2002.11544 (cross-list from stat.ML) [pdf, other]
Title: The role of regularization in classification of high-dimensional noisy Gaussian mixture
Comments: 8 pages + appendix, 6 figures
Subjects: Machine Learning (stat.ML); Disordered Systems and Neural Networks (cond-mat.dis-nn); Machine Learning (cs.LG); Statistics Theory (math.ST)

We consider a high-dimensional mixture of two Gaussians in the noisy regime where even an oracle knowing the centers of the clusters misclassifies a small but finite fraction of the points. We provide a rigorous analysis of the generalization error of regularized convex classifiers, including ridge, hinge and logistic regression, in the high-dimensional limit where the number $n$ of samples and their dimension $d$ go to infinity while their ratio is fixed to $\alpha= n/d$. We discuss surprising effects of the regularization that in some cases allows to reach the Bayes-optimal performances. We also illustrate the interpolation peak at low regularization, and analyze the role of the respective sizes of the two clusters.

[159]  arXiv:2002.11594 (cross-list from cs.CC) [pdf, other]
Title: On the complexity of evaluating highest weight vectors
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO); Representation Theory (math.RT)

Geometric complexity theory (GCT) is an approach towards separating algebraic complexity classes through algebraic geometry and representation theory. Originally Mulmuley and Sohoni proposed (SIAM J Comput 2001, 2008) to use occurrence obstructions to prove Valiant's determinant vs permanent conjecture, but recently B\"urgisser, Ikenmeyer, and Panova (Journal of the AMS 2019) proved this impossible. However, fundamental theorems of algebraic geometry and representation theory grant that every lower bound in GCT can be proved by the use of so-called highest weight vectors (HWVs). In the setting of interest in GCT (namely in the setting of polynomials) we prove the NP-hardness of the evaluation of HWVs in general, and we give efficient algorithms if the treewidth of the corresponding Young-diagram is small, where the point of evaluation is concisely encoded as a noncommutative algebraic branching program! In particular, this gives a large new class of separating functions that can be efficiently evaluated at points with low (border) Waring rank.

[160]  arXiv:2002.11649 (cross-list from quant-ph) [pdf, other]
Title: Efficient Phase Factor Evaluation in Quantum Signal Processing
Subjects: Quantum Physics (quant-ph); Optimization and Control (math.OC); Computational Physics (physics.comp-ph)

Quantum signal processing (QSP) is a powerful quantum algorithm to exactly implement matrix polynomials on quantum computers. Asymptotic analysis of quantum algorithms based on QSP has shown that asymptotically optimal results can in principle be obtained for a range of tasks, such as Hamiltonian simulation and the quantum linear system problem. A further benefit of QSP is that it uses a minimal number of ancilla qubits, which facilitates its implementation on near-to-intermediate term quantum architectures. However, there is so far no classically stable algorithm allowing computation of the phase factors that are needed to build QSP circuits. Existing methods require the usage of variable precision arithmetic and can only be applied to polynomials of relatively low degree. We present here an optimization based method that can accurately compute the phase factors using standard double precision arithmetic operations. We demonstrate the performance of this approach with applications to Hamiltonian simulation, eigenvalue filtering, and the quantum linear system problems. Our numerical results show that the optimization algorithm can find phase factors to accurately approximate polynomials of degree larger than $10000$ with error below $10^{-12}$.

[161]  arXiv:2002.11665 (cross-list from stat.ML) [pdf, ps, other]
Title: Profile Entropy: A Fundamental Measure for the Learnability and Compressibility of Discrete Distributions
Authors: Yi Hao, Alon Orlitsky
Subjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG); Statistics Theory (math.ST)

The profile of a sample is the multiset of its symbol frequencies. We show that for samples of discrete distributions, profile entropy is a fundamental measure unifying the concepts of estimation, inference, and compression. Specifically, profile entropy a) determines the speed of estimating the distribution relative to the best natural estimator; b) characterizes the rate of inferring all symmetric properties compared with the best estimator over any label-invariant distribution collection; c) serves as the limit of profile compression, for which we derive optimal near-linear-time block and sequential algorithms. To further our understanding of profile entropy, we investigate its attributes, provide algorithms for approximating its value, and determine its magnitude for numerous structural distribution families.

[162]  arXiv:2002.11687 (cross-list from cs.CR) [pdf, ps, other]
Title: Secure and Reliable Key Agreement with Physical Unclonable Functions
Journal-ref: MDPI Entropy Journal 20 (2018) 340:1-340:19
Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT); Image and Video Processing (eess.IV); Signal Processing (eess.SP); Probability (math.PR)

Different transforms used in binding a secret key to correlated physical-identifier outputs are compared. Decorrelation efficiency is the metric used to determine transforms that give highly-uncorrelated outputs. Scalar quantizers are applied to transform outputs to extract uniformly distributed bit sequences to which secret keys are bound. A set of transforms that perform well in terms of the decorrelation efficiency is applied to ring oscillator (RO) outputs to improve the uniqueness and reliability of extracted bit sequences, to reduce the hardware area and information leakage about the key and RO outputs, and to maximize the secret-key length. Low-complexity error-correction codes are proposed to illustrate two complete key-binding systems with perfect secrecy, and better secret-key and privacy-leakage rates than existing methods. A reference hardware implementation is also provided to demonstrate that the transform-coding approach occupies a small hardware area.

### Replacements for Thu, 27 Feb 20

[163]  arXiv:1507.00493 (replaced) [pdf, other]
Title: Fibration and classification of smooth projective toric varieties of low Picard number
Comments: 26 pages; 7 figures. Final version for pubblication in International Journal of Mathematics. Minor changes following referee's suggestions: in particular the proof of Lemma 3.2 has been rewritten to making it clearer
Subjects: Algebraic Geometry (math.AG)
[164]  arXiv:1512.03473 (replaced) [pdf, ps, other]
Title: Sensitivity Analysis for Binary Sampling Systems via Quantitative Fisher Information Lower Bounds
Authors: Manuel S. Stein
Comments: Former title was: Fisher Information Lower Bounds with Applications in Hardware-Aware Nonlinear Signal Processing
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[165]  arXiv:1609.02231 (replaced) [pdf, ps, other]
Title: Cohomological invariants of genus three hyperelliptic curves
Authors: Roberto Pirisi
Comments: Changed title and indexing to match published version. arXiv admin note: text overlap with arXiv:1412.0555
Journal-ref: Documenta Mathematica 23, 2018, 969-996
Subjects: Algebraic Geometry (math.AG)
[166]  arXiv:1702.06754 (replaced) [pdf, ps, other]
Title: $L^p-L^q$ estimates for maximal operators associated to families of finite type curves
Authors: Ramesh Manna
Comments: 22 pages. Revised version. arXiv admin note: substantial text overlap with arXiv:1510.08649, arXiv:1609.08140
Subjects: Classical Analysis and ODEs (math.CA)
[167]  arXiv:1705.03759 (replaced) [pdf, ps, other]
Title: Vietoris type theorem related to positivity of trigonometric polynomials
Subjects: Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
[168]  arXiv:1707.02389 (replaced) [pdf, other]
Title: On the universality of potential well dynamics
Authors: Terence Tao
Comments: 20 pages, 1 figure. Some typos in the construction of the universal Turing machine encoding fixed
Journal-ref: Dynamics of PDE 14 (2017), 219--238
Subjects: Analysis of PDEs (math.AP)
[169]  arXiv:1708.09830 (replaced) [pdf, other]
Title: Local geometry of random geodesics on negatively curved surfaces
Comments: This version extends the results of the previous version to surfaces with possibly variable negative curvature
Subjects: Geometric Topology (math.GT); Dynamical Systems (math.DS)
[170]  arXiv:1801.01060 (replaced) [pdf, ps, other]
Title: A strictly commutative model for the cochain algebra of a space
Comments: v3: 23 pages; corrected an error in Lemma 3.7, adjusted some model structures accordingly and made various other small improvements
Subjects: Algebraic Topology (math.AT)
[171]  arXiv:1801.05899 (replaced) [pdf, ps, other]
Title: On the cycle index and the weight enumerator
Subjects: Combinatorics (math.CO); Group Theory (math.GR)
[172]  arXiv:1801.07094 (replaced) [pdf, ps, other]
Title: The test function conjecture for parahoric local models
Comments: 68 pages. Comments are welcome! Minor changes in introduction, and some typos corrected
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT); Representation Theory (math.RT)
[173]  arXiv:1801.09022 (replaced) [pdf, ps, other]
Title: A Fourier Coefficients Approach to Hausdorff Dimension in the Heisenberg Group
Subjects: Functional Analysis (math.FA); Metric Geometry (math.MG)
[174]  arXiv:1803.09224 (replaced) [pdf, other]
Title: Inexact Sequential Quadratic Optimization with Penalty Parameter Updates Within the QP Solve: Extended Version
Subjects: Optimization and Control (math.OC)
[175]  arXiv:1805.10019 (replaced) [pdf, ps, other]
Title: The support designs of the triply even codes of length 48
Subjects: Combinatorics (math.CO)
[176]  arXiv:1805.12000 (replaced) [pdf, ps, other]
Title: On Nichols algebras of infinite rank with finite Gelfand-Kirillov dimension
Journal-ref: Rend. Lincei Mat. Appl. 31 (2020), 81-101
Subjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA)
[177]  arXiv:1807.02744 (replaced) [pdf, ps, other]
Title: On Eisenstein polynomials and zeta polynomials
Authors: Tsuyoshi Miezaki
Subjects: Combinatorics (math.CO); Number Theory (math.NT)
[178]  arXiv:1808.08385 (replaced) [pdf, ps, other]
Title: Motivic Gauß-Bonnet formulas
Comments: Final version-to appear in Algebra & Number Theory
Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
[179]  arXiv:1810.01536 (replaced) [pdf, ps, other]
Title: Decomposition of graded local cohomology tables
Subjects: Commutative Algebra (math.AC)
[180]  arXiv:1810.03295 (replaced) [pdf, ps, other]
Title: On the Deligne-Lusztig involution for character sheaves
Comments: Version 3: Fixed some errors in section 6, following remarks of an anonymous referee (for Sel. Math. New Ser.)
Subjects: Representation Theory (math.RT)
[181]  arXiv:1810.12599 (replaced) [pdf, other]
Title: The Hausdorff dimension function of the family of conformal iterated function systems of generalized complex continued fractions
Journal-ref: Published in Discrete Contin. Dyn. Syst. \textbf{40} (2020), no. 2, pp. 753--766
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV); Probability (math.PR)
[182]  arXiv:1811.11159 (replaced) [pdf, ps, other]
Title: Twisted orbital integrals and irreducible components of affine Deligne-Lusztig varieties
Authors: Rong Zhou, Yihang Zhu
Journal-ref: Cambridge Journal of Mathematics Volume 8 (2020) Number 1 Pages 149-241
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
[183]  arXiv:1812.02044 (replaced) [pdf, ps, other]
Title: Smooth projective horospherical varieties of Picard group $\mathbb{Z}^2$
Authors: Boris Pasquier (LMA-Poitiers)
Subjects: Algebraic Geometry (math.AG)
[184]  arXiv:1812.02054 (replaced) [pdf, ps, other]
Title: An interior boundedness result for an elliptic equation
Authors: Samy Skander Bahoura (IHP)
Subjects: Analysis of PDEs (math.AP)
[185]  arXiv:1812.07365 (replaced) [pdf, other]
Title: Vertices with fixed outdegrees in large Galton-Watson trees
Authors: Paul Thévenin
Comments: 25 pages, 3 figures. Typos corrected, a multivariate local limit theorem (Theorem 2.4) added which helps prove joint convergences of random processes. A generalization to stable distributions is developed in Section 6
Subjects: Probability (math.PR)
[186]  arXiv:1812.09215 (replaced) [pdf, ps, other]
Title: Lipschitz bijections between boolean functions
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[187]  arXiv:1812.10266 (replaced) [pdf, ps, other]
Title: Exploiting non-orthogonal multiple access in downlink coordinated multipoint transmission with the presence of imperfect channel state information
Comments: Minor Revision Wiley International Journal of Communication Systems
Subjects: Information Theory (cs.IT)
[188]  arXiv:1812.11872 (replaced) [pdf, other]
Title: A rainbow version of Mantel's Theorem
Subjects: Combinatorics (math.CO)
[189]  arXiv:1901.04400 (replaced) [pdf, ps, other]
Title: Sharp Constants of Approximation Theory. I. Multivariate Bernstein-Nikolskii Type Inequalities
Journal-ref: Journal of Fourier Analysis and Applications 26 (2020)
Subjects: Classical Analysis and ODEs (math.CA)
[190]  arXiv:1901.04458 (replaced) [pdf, ps, other]
Title: Sharp Constants of Approximation Theory. II. Invariance Theorems and Certain Multivariate Inequalities of Different Metrics
Comments: 33 pages, the title is changed, typos are corrected, references are added
Journal-ref: Constructive Approximation 50 (2019), 543-577
Subjects: Classical Analysis and ODEs (math.CA)
[191]  arXiv:1902.01470 (replaced) [pdf, other]
Title: Recursive projection-aggregation decoding of Reed-Muller codes
Authors: Min Ye, Emmanuel Abbe
Subjects: Information Theory (cs.IT)
[192]  arXiv:1902.03870 (replaced) [pdf, ps, other]
Title: Halász's theorem for Beurling generalized numbers
Subjects: Number Theory (math.NT)
[193]  arXiv:1902.10215 (replaced) [pdf, ps, other]
Title: Sharp Constants of Approximation Theory. III. Certain Polynomial Inequalities of Different Metrics on Convex Sets
Journal-ref: Journal of Approximation Theory 252 (2020) 105351
Subjects: Classical Analysis and ODEs (math.CA)
[194]  arXiv:1903.02438 (replaced) [pdf, ps, other]
Title: Algebraic cocompleteness and finitary functors
Subjects: Category Theory (math.CT)
[195]  arXiv:1903.03281 (replaced) [pdf, ps, other]
Title: On Eisenstein polynomials and zeta polynomials II
Subjects: Combinatorics (math.CO); Group Theory (math.GR); Number Theory (math.NT)
[196]  arXiv:1903.04449 (replaced) [pdf, ps, other]
Title: A high frequency boundary element method for scattering by a class of multiple obstacles
Subjects: Numerical Analysis (math.NA)
[197]  arXiv:1903.05282 (replaced) [pdf, other]
Title: Non-Stationary First-Order Primal-Dual Algorithms with Fast Convergence Rates
Subjects: Optimization and Control (math.OC)
[198]  arXiv:1903.08433 (replaced) [pdf, ps, other]
Title: New invariants for integral lattices
Subjects: Combinatorics (math.CO); Number Theory (math.NT)
[199]  arXiv:1904.01343 (replaced) [pdf, ps, other]
Title: Families of lattice polytopes of mixed degree one
Journal-ref: Journal of Combinatorial Theory. Series A 173 (2020)
Subjects: Combinatorics (math.CO)
[200]  arXiv:1904.06461 (replaced) [pdf, ps, other]
Title: An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
Subjects: Computational Physics (physics.comp-ph); Materials Science (cond-mat.mtrl-sci); Numerical Analysis (math.NA)
[201]  arXiv:1904.07755 (replaced) [pdf, ps, other]
Title: A transformation rule for natural multiplicities
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
[202]  arXiv:1904.09168 (replaced) [pdf, ps, other]
Title: Magnetization in the zig-zag layered Ising model and orthogonal polynomials
Subjects: Mathematical Physics (math-ph); Probability (math.PR); Spectral Theory (math.SP)
[203]  arXiv:1904.11692 (replaced) [pdf, other]
Title: Homogenization of a locally periodic oscillating boundary
Comments: 28 pages, 5 figures, 1 table
Subjects: Analysis of PDEs (math.AP)
[204]  arXiv:1905.00118 (replaced) [pdf, other]
Title: Using Non-Linear Difference Equations to Study Quicksort Algorithms
Authors: Yukun Yao
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[205]  arXiv:1905.03866 (replaced) [pdf, ps, other]
Title: Almost sure global well-posedness for the septic Schrödinger equation on $\Bbb T^3$
Subjects: Analysis of PDEs (math.AP)
[206]  arXiv:1905.04240 (replaced) [pdf, ps, other]
Title: Bridgeland stability conditions on the category of holomorphic triples over curves
Subjects: Algebraic Geometry (math.AG)
[207]  arXiv:1905.10483 (replaced) [pdf, ps, other]
Title: On the product dimension of clique factors
Subjects: Combinatorics (math.CO)
[208]  arXiv:1905.12530 (replaced) [pdf, other]
Title: Learning Constitutive Relations from Indirect Observations Using Deep Neural Networks
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
[209]  arXiv:1905.13328 (replaced) [pdf, other]
Title: Analysis of cell size effects in atomistic crack propagation
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
[210]  arXiv:1906.01469 (replaced) [pdf, ps, other]
Title: Unconditional reflexive polytopes
Comments: 20 pages, 5 tables, 2 figures; This paper supersedes arXiv:1903.12634; final version: To appear in Discrete and Computational Geometry, special issue in honor of Branko Grunbaum
Subjects: Combinatorics (math.CO)
[211]  arXiv:1906.03257 (replaced) [pdf, other]
Title: Bounds and Gaps of Positive Eigenvalues of Magnetic Schrödinger Operators with No or Robin Boundary Conditions
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph)
[212]  arXiv:1906.09604 (replaced) [pdf, ps, other]
Title: Minimizing a stochastic convex function subject to stochastic constraints and some applications
Subjects: Probability (math.PR); Optimization and Control (math.OC)
[213]  arXiv:1906.10308 (replaced) [pdf, ps, other]
Title: A construction of spherical 3-designs
Authors: Tsuyoshi Miezaki
Subjects: Combinatorics (math.CO)
[214]  arXiv:1907.03525 (replaced) [pdf, ps, other]
Title: The meromorphic R-matrix of the Yangian
Comments: Revised 1) coass. of deformed Drinfeld coprod & cocycle id for R- found to only make sense on fd reps (sec 3-4) 2) pf that R- intertwines stnd/Drinfeld coprod greatly simplified by passing to fd reps & using cocycle for R_ (sec 4) 3) Appendix on sep of pts in Yg 4) Clarified reln with qDrinfeld-Kohno thm (sec 9) Final v, to appear in Progr in Math vol for N. Reshetikhin's 60th bday. 48 pp
Subjects: Quantum Algebra (math.QA); Algebraic Geometry (math.AG); Representation Theory (math.RT)
[215]  arXiv:1907.08470 (replaced) [pdf, ps, other]
Title: Provenance Analysis for Logic and Games
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Logic (math.LO)
[216]  arXiv:1907.09406 (replaced) [pdf, other]
Title: Structure Preserving Model Order Reduction of Shallow Water Equations
Subjects: Numerical Analysis (math.NA)
[217]  arXiv:1908.03529 (replaced) [pdf, ps, other]
Title: Sharp energy regularity for Hölder solutions of incompressible Euler equations
Subjects: Analysis of PDEs (math.AP)
[218]  arXiv:1908.06721 (replaced) [pdf, other]
Title: Computing Spectral Measures and Spectral Types
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Functional Analysis (math.FA); Numerical Analysis (math.NA)
[219]  arXiv:1909.01853 (replaced) [pdf, other]
Title: An equilibrated a posteriori error estimator for arbitrary-order Nédélec elements for magnetostatic problems
Subjects: Numerical Analysis (math.NA)
[220]  arXiv:1909.04774 (replaced) [pdf, other]
Title: Coding for Sunflowers
Authors: Anup Rao
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Information Theory (cs.IT)
[221]  arXiv:1909.06846 (replaced) [pdf, ps, other]
Title: Ulrich elements in normal simplicial affine semigroups
Comments: v2: 24 pages. This is a major revision. The statement of Theorem 2.4 was corrected. Now Theorem 3.2 characterizes Ulrich elements for slim semigroups, that we introduce. The results in dimension two stay unchanged, and these are now split in several sections. Section 5 in (v1) will pe part of a different paper. Comments are welcome
Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
[222]  arXiv:1909.12751 (replaced) [pdf, other]
Title: Extension and tangential CRF conditions in quaternionic analysis
Subjects: Complex Variables (math.CV)
[223]  arXiv:1910.00472 (replaced) [pdf, ps, other]
Title: Analysis of the error correction capability of LDPC and MDPC codes under parallel bit-flipping decoding and application to cryptography
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[224]  arXiv:1910.01009 (replaced) [pdf, other]
Title: Approximation of the zero-index transmission eigenvalues with a conductive boundary and parameter estimation
Authors: Isaac Harris
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
[225]  arXiv:1910.01065 (replaced) [pdf, other]
Title: Coherent configurations from buildings, affine planes, and other edge-coloured graphs
Authors: Pierre Guillot
Comments: The introduction has changed, and some very minor pieces of notation have been altered. This version will be submitted for publication
Subjects: Combinatorics (math.CO)
[226]  arXiv:1910.02536 (replaced) [pdf, other]
Title: Geometric differentiability of Riemann's non-differentiable function
Comments: 27 pages, 6 figures. v2: Typos corrected, references added. v3: Accepted manuscript
Subjects: Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)
[227]  arXiv:1910.02878 (replaced) [pdf, ps, other]
Title: Topological Origin of Non-Hermitian Skin Effects
Journal-ref: Phys. Rev. Lett.124, 086801 (2020)
Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Optics (physics.optics); Quantum Physics (quant-ph)
[228]  arXiv:1910.02905 (replaced) [pdf, ps, other]
Title: Quantales, persistence, and magnitude homology
Authors: Simon Cho
Comments: 24 pages. Fixed error in Lemma 15 and Theorem 25', now giving correct relationship between persistent & magnitude homology. The only mathematical changes occur in: (1) Lemma 15 & preceding paragraph (pg. 11, "Now in this situation..."); (2) Theorem 25' & preceding discussion (pg. 19-20, "Now by Lemma 15..."); (3) One sentence of the Introduction (pg. 2, "This is developed in Section 4...")
Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); Metric Geometry (math.MG)
[229]  arXiv:1910.03727 (replaced) [pdf, ps, other]
Title: Vector bundles with numerically flat reduction on rigid analytic varieties and $p$-adic local systems
Authors: Matti Würthen
Comments: 32 pages. Revised section 4.2.1 - main results unaffected. Extended section 4.4. Added a few minor details. Comments welcome
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
[230]  arXiv:1910.09440 (replaced) [pdf, ps, other]
Title: Speed of convergence of Chernoff approximations to solutions of evolution equations
Subjects: Functional Analysis (math.FA); Numerical Analysis (math.NA)
[231]  arXiv:1910.09675 (replaced) [pdf, ps, other]
Title: Atiyah-Patodi-Singer index on a lattice
Subjects: High Energy Physics - Lattice (hep-lat); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG)
[232]  arXiv:1910.11189 (replaced) [pdf, ps, other]
Title: Augmented virtual double categories
Comments: This article comprises a streamlined and expanded version of Sections 1, 2 and 3 of arXiv:1511.04070. v2 contains several improvements following the referee's suggestions. This is the final version as published in TAC
Journal-ref: Theory and Applications of Categories, 35(10):261-325, 2020
Subjects: Category Theory (math.CT)
[233]  arXiv:1911.00315 (replaced) [pdf, ps, other]
Title: State and Control Paths-Dependent Stochastic Zero-Sum Differential Games: Dynamic Programming Principle and Viscosity Solution of Paths-Dependent Hamilton-Jacobi-Isaacs Equation
Authors: Jun Moon
Subjects: Optimization and Control (math.OC)
[234]  arXiv:1911.01413 (replaced) [pdf, ps, other]
Title: Sub-Optimal Local Minima Exist for Almost All Over-parameterized Neural Networks
Comments: 31 pages. Minor adjustments on some notations and wordings. An early version was submitted to Optimization Online on October 4
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[235]  arXiv:1911.02213 (replaced) [pdf, ps, other]
Title: Dynamic Pricing and Matching for Two-Sided Queues
Comments: Accepted to be presented in ACM Sigmetrics 2020
Subjects: Optimization and Control (math.OC); Probability (math.PR)
[236]  arXiv:1911.03348 (replaced) [pdf, other]
Title: On the transfer matrix of the supersymmetric eight-vertex model. II. Open boundary conditions
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Exactly Solvable and Integrable Systems (nlin.SI)
[237]  arXiv:1911.04575 (replaced) [pdf, other]
Title: Factorization length distribution for affine semigroups II: asymptotic behavior for numerical semigroups with arbitrarily many generators
Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Number Theory (math.NT)
[238]  arXiv:1911.05359 (replaced) [pdf, ps, other]
Title: Stress-Energy in Liouville Conformal Field Theory
Subjects: Mathematical Physics (math-ph); Probability (math.PR)
[239]  arXiv:1911.05875 (replaced) [pdf, other]
Title: Free energy and entropy for finite temperature quantum field theory under the influence of periodic backgrounds
Comments: some typos have been corrected and some comments have been added to clarify certain parts of the paper Accepted for publication in Eur. Phys J. C
Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Quantum Physics (quant-ph)
[240]  arXiv:1911.09164 (replaced) [pdf, ps, other]
Title: New observations on cohomology rings of Reeb spaces of explicit fold maps and manifolds admitting these maps
Authors: Naoki Kitazawa
Comments: 15 pages, several presentations of the statement, the proof of Theorem 1 (, Example 5), and so on, are considarably revised again, also this version will be revised, mistakes are due to my carelessness, this is not aubmitted to any refereed journal. arXiv admin note: text overlap with arXiv:1811.04080
Subjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT)
[241]  arXiv:1911.12904 (replaced) [pdf, other]
Title: General supervised learning as change propagation with delta lenses
Authors: Zinovy Diskin
Comments: This is a long version of the paper to be published in Proceedings of FOSSACS'2020
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[242]  arXiv:1911.13007 (replaced) [pdf, ps, other]
Title: The Kellogg property under generalized growth conditions
Subjects: Analysis of PDEs (math.AP)
[243]  arXiv:1912.00817 (replaced) [pdf, ps, other]
Title: Tilting modules and cellular categories
Comments: 32 pages, with corrections and more details
Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
[244]  arXiv:1912.00861 (replaced) [pdf, other]
Title: Dynamics of black holes in Jackiw-Teitelboim gravity
Authors: S. Josephine Suh
Comments: 16 pages plus appendices, 9 figures. v.2: extended appendices, minor changes. v.3: added references, minor changes
Subjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[245]  arXiv:1912.02765 (replaced) [pdf, other]
Title: On the Sample Complexity of Learning Sum-Product Networks
Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
[246]  arXiv:1912.04967 (replaced) [pdf, other]
Title: Complex far-field geometries determine the stability of solid tumor growth with chemotaxis
Subjects: Numerical Analysis (math.NA)
[247]  arXiv:1912.04987 (replaced) [pdf, other]
Title: Analysis of a simple equation for the ground state energy of the Bose gas
Comments: v3: Minor fix. v2: We have solved one of the open problems in v1, specifically, the positivity of the solution to the equation
Subjects: Mathematical Physics (math-ph); Quantum Gases (cond-mat.quant-gas); Analysis of PDEs (math.AP)
[248]  arXiv:1912.10009 (replaced) [pdf, other]
Title: Determining F-theory matter via Gromov-Witten invariants
Subjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG)
[249]  arXiv:1912.11398 (replaced) [pdf, ps, other]
Title: An error bound for Lasso and Group Lasso in high dimensions
Authors: Antoine Dedieu
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
[250]  arXiv:1912.12986 (replaced) [pdf, ps, other]
Title: On the $R_{f_B}$ condition for the $(2+m)$-Einstein warped product manifolds and suggestion for $(n,-n)$-POLJ-manifolds applications
Subjects: Differential Geometry (math.DG)
[251]  arXiv:2001.01679 (replaced) [pdf, ps, other]
Title: Nevanlinna theory of holomorphic mappings for singular divisors
Authors: Xianjing Dong
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Probability (math.PR)
[252]  arXiv:2001.02447 (replaced) [pdf, ps, other]
Title: Spatial Throughput Characterization for Intelligent Reflecting Surface Aided Multiuser System
Comments: 6 pages, 3 figures. Published in IEEE Wireless Communications Letters. (Initial submission Oct. 11, 2019. Decisioned Dec. 18, 2019. Revised Jan. 8, 2020. Accepted Feb. 3, 2020.) We characterize system-level network throughput of multi-IRS multi-user system using stochastic geometry, and reveal the optimal deployment strategies of IRSs against active relays
Journal-ref: IEEE Wireless Communications Letters, 2020, https://ieeexplore.ieee.org/document/8989805
Subjects: Information Theory (cs.IT)
[253]  arXiv:2001.07664 (replaced) [pdf, ps, other]
Title: Regulation of M/G/1 queue with customers having nonincreasing stochastic marginal utilities
Authors: Royi Jacobovic
Subjects: Optimization and Control (math.OC)
[254]  arXiv:2001.09709 (replaced) [pdf, ps, other]
Title: Upper bound on some hightness notions
Authors: Lu Liu
Subjects: Logic (math.LO)
[255]  arXiv:2001.10481 (replaced) [pdf, other]
Title: A Partial Information Decomposition Based on Causal Tensors
Authors: David Sigtermans
Subjects: Information Theory (cs.IT)
[256]  arXiv:2001.11114 (replaced) [pdf, ps, other]
Title: Multi-Marginal Optimal Transport Defines a Generalized Metric
Authors: Liang Mi, José Bento
Subjects: Machine Learning (cs.LG); Discrete Mathematics (cs.DM); Functional Analysis (math.FA); Machine Learning (stat.ML)
[257]  arXiv:2002.00290 (replaced) [pdf, ps, other]
Title: On matrices of endomorphisms of abelian varieties
Authors: Yuri G. Zarhin
Subjects: Algebraic Geometry (math.AG)
[258]  arXiv:2002.01968 (replaced) [pdf, other]
Title: Avoidance of split overlaps
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[259]  arXiv:2002.02081 (replaced) [pdf, other]
Title: Minimax Confidence Interval for Off-Policy Evaluation and Policy Optimization
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
[260]  arXiv:2002.02438 (replaced) [pdf, ps, other]
Title: Fluctuation around the circular law for random matrices with real entries
Comments: 49 pages. Statement on the asymptotic independence of singular values added
Subjects: Probability (math.PR); Mathematical Physics (math-ph)
[261]  arXiv:2002.05035 (replaced) [pdf, other]
Title: Complex contagion features without social reinforcement in a model of social information flow
Comments: 18 pages, 9 figures, 1 table
Journal-ref: Entropy 2020, 22(3), 265
Subjects: Physics and Society (physics.soc-ph); Information Theory (cs.IT); Social and Information Networks (cs.SI)
[262]  arXiv:2002.05545 (replaced) [pdf, other]
Title: Sampling and Update Frequencies in Proximal Variance Reduced Stochastic Gradient Methods
Comments: Fixed unicode-character problems in bibliography
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
[263]  arXiv:2002.06166 (replaced) [pdf, ps, other]
Title: Lower bounds on Hilbert--Kunz multiplicities and maximal F-signatures
Comments: New version, improving the toric results and the number of authors
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
[264]  arXiv:2002.07284 (replaced) [pdf, other]
Title: Sharp Asymptotics and Optimal Performance for Inference in Binary Models
Subjects: Statistics Theory (math.ST); Information Theory (cs.IT); Signal Processing (eess.SP); Machine Learning (stat.ML)
[265]  arXiv:2002.08870 (replaced) [pdf, ps, other]
Title: Diameters of random Cayley graphs of finite nilpotent groups
Subjects: Combinatorics (math.CO); Group Theory (math.GR); Probability (math.PR)
[266]  arXiv:2002.09099 (replaced) [pdf, ps, other]
Title: Radon transforms on homogeneous trees
Subjects: Functional Analysis (math.FA)
[267]  arXiv:2002.09378 (replaced) [pdf, ps, other]
Title: Action of the restricted Weyl group on the $L$-invariant vectors of a representation
Authors: Ilia Smilga
Comments: 9 pages; updated a reference to a paper formerly listed as "in preparation"
Subjects: Group Theory (math.GR); Representation Theory (math.RT)
[268]  arXiv:2002.09488 (replaced) [pdf, other]
Title: Optimal Randomized First-Order Methods for Least-Squares Problems
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
[269]  arXiv:2002.10043 (replaced) [pdf, other]
Title: Complete Dictionary Learning via $\ell_p$-norm Maximization
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Signal Processing (eess.SP); Machine Learning (stat.ML)
[270]  arXiv:2002.10450 (replaced) [pdf, ps, other]
Title: Effective forms of the Sato--Tate conjecture
Authors: Jesse Thorner
Comments: 19 pages. Version 2: Typographical errors fixed. Included discussion of the Luca-Radziwill-Schparlinski central limit theorem for Fourier coefficients of newforms. Added application (now Corollary 1.5) to the joint Lang-Trotter problem
Subjects: Number Theory (math.NT)
[271]  arXiv:2002.10699 (replaced) [pdf, ps, other]
Title: On the univalence of polyanalytic functions
Subjects: Complex Variables (math.CV)
[272]  arXiv:2002.10759 (replaced) [pdf, ps, other]
Title: Subcycling of particle orbits in variational, geometric electromagnetic particle-in-cell methods
Comments: 18 pages, 5 figures, 4 tables
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)
[273]  arXiv:2002.10921 (replaced) [pdf, ps, other]
Title: A computer-friendly construction of the monster
Authors: Martin Seysen
Subjects: Group Theory (math.GR)
[274]  arXiv:2002.10929 (replaced) [pdf, ps, other]
Title: Duality Between Quantization and Measurement
Authors: Yosuke Morimoto