Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Thu, 27 Feb 20
 [1] arXiv:2002.11112 [pdf, ps, other]

Title: The dual OrliczAleksandrovFenchel inequalityAuthors: ChangJian ZhaoSubjects: 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 AleksandrovFenchel inequality are generalized to the Orlicz space. We establish dual Orlicz AleksandrovFenchel inequality and a new concept of Lp multiple dual mixed volume and Lp dual Aleksandrov Fenchel inequality are first derived here, too. The dual AleksandrovFenchel inequality and the Lpdual AleksandrovFenchel inequality are all special cases of the dual OrliczAleksandrovFenchel inequality. As an application, a new dual OrliczBrunnMinkowski inequality for the Orlicz harmonic addition is also established.
 [2] arXiv:2002.11154 [pdf, ps, other]

Title: A metric version of Poincaré's theorem concerning biholomorphic inequivalence of domainsAuthors: Bas LemmensSubjects: 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 almostgeodesic 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] arXiv:2002.11179 [pdf, ps, other]

Title: On the Bertini regularity theorem for arithmetic varietiesAuthors: Xiaozong WangComments: 48 pages, comments welcomeSubjects: 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] arXiv:2002.11180 [pdf, other]

Title: Big Quantum cohomology of orbifold spheresComments: Comments welcomeSubjects: Symplectic Geometry (math.SG)
We construct a KodairaSpencer map from the big quantum cohomology of a sphere with three orbifold points to the Jacobian ring of the mirror LandauGinzburg potential function. This is constructed via the Lagrangian Floer theory of the Seidel Lagrangian and we show that KodairaSpencer map is a ring isomorphism.
 [5] arXiv:2002.11183 [pdf, ps, other]

Title: Arithmetic statistics on cubic surfacesAuthors: Ronno DasComments: 13 pages, 7 tablesSubjects: 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] arXiv:2002.11199 [pdf, ps, other]

Title: Expansivity and unique shadowingComments: 15 pages, 1 figureSubjects: 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 twosided shadowing when the map $f$ is onto. Using this we go on to show that, for expansive surjective maps the properties shadowing, twosided shadowing, slimit shadowing and twosided slimit shadowing are equivalent. We show that $f$ is positively expansive and has shadowing if and only if it has unique shadowing (i.e.\ each pseudoorbit 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 twosided shadowing to find an equivalent characterisation of shadowing and expansivity and extend these results to the notion of $n$expansivity due to Morales.
 [7] arXiv:2002.11205 [pdf, ps, other]

Title: The firefighter problem on polynomial and intermediate growth groupsComments: 5 pagesSubjects: 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^{d2})$. This settles the asymptotic behaviour of the firefighter problem on such graphs as it was known that $Cn^{d2}$ 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] arXiv:2002.11210 [pdf, ps, other]

Title: Mobility and Blockageaware Communications in MillimeterWave Vehicular NetworksComments: 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 nextgeneration vehicular networks operating at the millimeterwave 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 tradeoff 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 PERSEUSbased policy has nearoptimal performance, and achieves a 55% gain in spectral efficiency compared to a baseline scheme with periodic beam training. Motivated by the structure of the PERSEUSbased 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] arXiv:2002.11224 [pdf, ps, other]

Title: Large data existence theory for threedimensional unsteady flows of ratetype viscoelastic fluids with stress diffusionSubjects: 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 NavierStokes equations for the velocity $v$, coupled with a diffusive variant of a combination of the OldroydB 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 nonstandard 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 threedimensional NavierStokes equations. This enables us to handle any kind of objective derivative of $\mathbb{B}$, thus obtaining existence results for the class of diffusive JohnsonSegalman 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] arXiv:2002.11229 [pdf, ps, other]

Title: A recursion for a symmetric function generalization of the $q$Dyson constant term identityAuthors: Yue ZhouComments: 13 pagesSubjects: Combinatorics (math.CO)
In 2000, Kadell gave an orthogonality conjecture for a symmetric function generalization of the $q$Dyson constant term identity or the ZeilbergerBressoud $q$Dyson theorem. The nonzero 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 closedform 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] arXiv:2002.11230 [pdf, ps, other]

Title: Crossed product Leavitt path algebrasSubjects: 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 preordered 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 unitregular 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] arXiv:2002.11232 [pdf, ps, other]

Title: Residual finiteness for central pushoutsAuthors: Alexandru ChirvasituComments: 8 pages + referencesSubjects: Operator Algebras (math.OA); Category Theory (math.CT); Group Theory (math.GR)
We prove that pushouts of residually finitedimensional (RFD) $C^*$algebras over central subalgebras are always residually finitedimensional, recovering and generalizing results by Korchagin and CourtneyShulman. 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] arXiv:2002.11239 [pdf, ps, other]

Title: Extremes of Censored and Uncensored Lifetimes in Survival DataComments: 1 figure, 23 pagesSubjects: 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] arXiv:2002.11240 [pdf, ps, other]

Title: Gaussian unitary ensemble with jump discontinuities and the coupled Painlevé II and IV systemsComments: 33pagesSubjects: 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 rederive the recently found TracyWidom 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] arXiv:2002.11247 [pdf, ps, other]

Title: Collision Avoidance Based on Robust Lexicographical Task AssignmentSubjects: Optimization and Control (math.OC)
Traditional task assignment approaches for multiagent 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 timevarying 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] arXiv:2002.11254 [pdf, ps, other]

Title: Star order automorphisms on the poset of type 1 operatorsSubjects: 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] arXiv:2002.11255 [pdf, other]

Title: An Optimal Statistical and Computational Framework for Generalized Tensor EstimationSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Methodology (stat.ME); Machine Learning (stat.ML)
This paper describes a flexible framework for generalized lowrank 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 lowrank tensor fit to the data under generalized parametric models. To overcome the difficulty of nonconvexity in these problems, we introduce a unified approach of projected gradient descent that adapts to the underlying lowrank 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 subGaussian 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] arXiv:2002.11259 [pdf, ps, other]

Title: Scientific versus statistical modelling: a unifying approachSubjects: 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 BoxCox 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 sidestepped 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 Pitheorem that puts it in a stochastic framework and thus quantifies uncertainties in deterministic physical models.
 [19] arXiv:2002.11266 [pdf, ps, other]

Title: WideSense 2Frameproof CodesComments: 17 pagesSubjects: 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 widesense 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 widesense 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 widesense $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 widesense $2$frameproof code by constructing 3uniform hypergraphs and evaluating their independence numbers. The paper also improves the upper bound on the size of a widesense $2$frameproof code by applying techniques on non $2$covering Sperner families and intersecting families in extremal set theory.
 [20] arXiv:2002.11276 [pdf, other]

Title: A Balancing Weight Framework for Estimating the Causal Effect of General TreatmentsAuthors: Guillaume MartinetSubjects: 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 nonbinary settings. Based on such insights, we propose a particular implementation of CBDM for estimating doseresponse curves and demonstrate through experiments its competitive performance relative to other existing approaches for continuous treatments.
 [21] arXiv:2002.11280 [pdf, other]

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 languagesSubjects: History and Overview (math.HO)
This is a book on elementary mathematics suitable to use in courses for firstyear students of science and engineering. Students often find the formal approach to math courses rather discouraging, and demand 'rellife 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 'PreCalculus' course, but the contents and style of presentation are different in that they are determined by the applications in each chapter.
 [22] arXiv:2002.11283 [pdf, ps, other]

Title: Ageoptimal Service and Decision Scheduling in Internet of ThingsComments: 12 pages, 12 figures, submitted to IEEE Journals for possible publicationsSubjects: 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 FirstcomeFirstserved (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] arXiv:2002.11285 [pdf, other]

Title: Automorphic pairs of distributions on $\mathbb{R}$, and Maass forms of real weightsAuthors: Tadashi MiyazakiComments: 62 pagesSubjects: 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] arXiv:2002.11292 [pdf, ps, other]

Title: Cocycles of $G$Alexander biquandles and $G$Alexander multiple conjugation biquandlesAuthors: Atsushi Ishii, Masahide Iwakiri, Seiichi Kamada, Jieon Kim, Shosaku Matsuzaki, Kanako OshiroComments: 31 pagesSubjects: Algebraic Topology (math.AT)
Biquandles and multiple conjugation biquandles are algebras which are related to links and handlebodylinks in $3$space. Cocycles of them can be used to construct statesum type invariants of links and handlebodylinks. 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] arXiv:2002.11294 [pdf, ps, other]

Title: A remark on graded countable CohenMacaulay representation typeAuthors: Naoya HiramatsuComments: 5 pagesSubjects: Commutative Algebra (math.AC); Representation Theory (math.RT)
We show that there are only a finite number of isomorphism classes of graded maximal CohenMacaulay modules with fixed Hilbert series over CohenMacaulay algebras of graded countable representation type.
 [26] arXiv:2002.11299 [pdf, ps, other]

Title: Embeddings of $4$manifolds in $\CP^3$Comments: 16 pages, 6 figuresSubjects: 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] arXiv:2002.11305 [pdf, ps, other]

Title: Remarks on a nonlocal transportComments: 19pagesSubjects: Analysis of PDEs (math.AP)
We consider a one dimensional nonlocal transport equation and its natural multidimensional 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] arXiv:2002.11307 [pdf, ps, other]

Title: Polytropes and tropical linear spaces IAuthors: Jaeho ShinComments: 14 pages, 3 figuresSubjects: 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] arXiv:2002.11309 [pdf, other]

Title: Neural Parametric FokkerPlanck EquationsComments: 49 pagesSubjects: Numerical Analysis (math.NA)
In this paper, we develop and analyze numerical methods for high dimensional FokkerPlanck equations by leveraging generative models from deep learning. Our starting point is a formulation of the FokkerPlanck equation as a system of ordinary differential equations (ODEs) on finitedimensional parameter space with the parameters inherited from generative models such as normalizing flows. We call such ODEs neural parametric FokkerPlanck equation. The fact that the FokkerPlanck equation can be viewed as the $L^2$Wasserstein gradient flow of KullbackLeibler (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 semiimplicit scheme for the time discretization of the proposed ODE. Such an algorithm is samplingbased, which can readily handle FokkerPlanck equations in higher dimensional spaces. Moreover, we also establish bounds for the asymptotic convergence analysis of the neural parametric FokkerPlanck equation as well as its error analysis for both the continuous and discrete (forwardEuler time discretization) versions. Several numerical examples are provided to illustrate the performance of the proposed algorithms and analysis.
 [30] arXiv:2002.11311 [pdf, other]

Title: Stochastic Dynamics, Large Deviations Principle, and Nonequilibrium ThermodynamicsComments: 22 pages, 2 figuresSubjects: Probability (math.PR)
By examining the deterministic limit of a general $\epsilon$dependent generator for Markovian dynamics, which includes the continuous FokkerPlanck 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 longlasting question on the origin of entropy function in classical irreversible thermodynamics, but also reveals an interesting emergent phenomenon that both the timereversible dynamics equipped with a Hamiltonian function and the timeirreversible 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] arXiv:2002.11314 [pdf, other]

Title: The Statistical Foundation of Entropy in Extended Irreversible ThermodynamicsComments: 22 pages, 1 figureSubjects: Probability (math.PR)
In the theory of extended irreversible thermodynamics (EIT), the fluxdependent entropy function plays a key role and has a fundamental distinction from the usual fluxindependent 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 \epsilondependent 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 fluxdependent 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 HamiltonJacobi equation and can be used for constructing conserved Lagrangian/Hamiltonian dynamics.
 [32] arXiv:2002.11316 [pdf, ps, other]

Title: Quantum Balgebras with involutionsAuthors: Lavinia Corina CiunguSubjects: Logic (math.LO)
The aim of this paper is to define and study the involutive and weakly involutive quantum Balgebras. We prove that any weakly involutive quantum Balgebra is a quantum Balgebra with pseudoproduct. As an application, we introduce and investigate the notions of existential and universal quantifiers on involutive quantum Balgebras. It is proved that there is a onetoone correspondence between the quantifiers on weakly involutive quantum Balgebras. One of the main results consists of proving that any pair of quantifiers is a monadic operator on weakly involutive quantum Balgebras. We investigate the relationship between quantifiers on bounded supcommutative pseudo BCKalgebras and quantifiers on other related algebraic structures, such as pseudo MValgebras and bounded Wajsberg hoops.
 [33] arXiv:2002.11330 [pdf, other]

Title: Rational approximation and its application to improving deep learning classifiersComments: 20 pages, 4 FiguesSubjects: 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] arXiv:2002.11334 [pdf, other]

Title: Total Dominator Total Chromatic Numbers of Wheels, Complete bipartite graphs and Complete graphsSubjects: 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] arXiv:2002.11335 [pdf, other]

Title: MultiDimensional Normal Approximation of HeavyTailed Moving AveragesSubjects: Probability (math.PR)
In this paper we extend the refined secondorder Poincar\'e inequality in [2] from a onedimensional to a multidimensional setting. Its proof is based on a multivariate version of the MalliavinStein method for normal approximation on Poisson spaces. We also present an application to partial sums of vectorvalued functionals of heavytailed moving averages. The extension we develop is not only in the codomain of the functional, but also in its domain. Such a setup 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 onedimensional marginals, but instead require the joint distribution.
 [36] arXiv:2002.11337 [pdf, other]

Title: Fast Linear Convergence of Randomized BFGSComments: 26 pages, 1 algorithm, 3 theorems, 11 lemmas, 9 figuresSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
Since the late 1950's when quasiNewton 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 semilocal 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] arXiv:2002.11339 [pdf, ps, other]

Title: Generalized maps between diffeological spacesAuthors: Kazuhisa ShimakawaComments: 11 pagesSubjects: 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] arXiv:2002.11340 [pdf, other]

Title: Numerical Solution of Inverse Problems by Weak Adversarial NetworksSubjects: 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 meshfree 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] arXiv:2002.11341 [pdf, ps, other]

Title: Enhanced nearby and vanishing cycles in dimension one and Fourier transformComments: 25 pagesSubjects: Algebraic Geometry (math.AG)
Enhanced indsheaves provide a suitable framework for the irregular RiemannHilbert 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 FourierLaplace 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] arXiv:2002.11353 [pdf, ps, other]

Title: A note on AssmusMattson type theoremsComments: 16 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR); Number Theory (math.NT)
In the present paper, we give AssmusMattson type theorems for codes and lattices. We show that a binary doubly even selfdual code of length 24m with minimum weight 4m provides a combinatorial 1design and an even unimodular lattice of rank 24m with minimum norm 2m provides a spherical 3design. We remark that some of such codes and lattices give tdesigns for higher t. As a corollary, we give some restrictions on the weight enumerators of binary doubly even selfdual codes of length 24m with minimum weight 4m. Ternary and quaternary analogues are also given.
 [41] arXiv:2002.11358 [pdf, ps, other]

Title: Perihelion librations in the secular threebody problemAuthors: Gabriella PinzariComments: 3 Figures, 30 pagesSubjects: Dynamical Systems (math.DS); Mathematical Physics (mathph)
A normal form theory for nonquasiperiodic systems is combined with the special properties of the partially averaged Newtonian potential pointed out in [15] to prove, in the averaged, planar threebody 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] arXiv:2002.11360 [pdf, other]

Title: LASG: Lazily Aggregated Stochastic Gradients for CommunicationEfficient Distributed LearningSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
This paper targets solving distributed machine learning problems such as federated learning in a communicationefficient fashion. A class of new stochastic gradient descent (SGD) approaches have been developed, which can be viewed as the stochastic generalization to the recently developed lazily aggregated gradient (LAG) method  justifying the name LASG. LAG adaptively predicts the contribution of each round of communication and chooses only the significant ones to perform. It saves communication while also maintains the rate of convergence. However, LAG only works with deterministic gradients, and applying it to stochastic gradients yields poor performance. The key components of LASG are a set of new rules tailored for stochastic gradients that can be implemented either to save download, upload, or both. The new algorithms adaptively choose between fresh and stale stochastic gradients and have convergence rates comparable to the original SGD. LASG achieves impressive empirical performance  it typically saves total communication by an order of magnitude.
 [43] arXiv:2002.11364 [pdf, other]

Title: Acceleration for Compressed Gradient Descent in Distributed and Federated OptimizationComments: 27 pages, 2 algoritms, 4 theorems, 5 lemmas, 10 figuresSubjects: 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 gradienttype 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 nonaccelerated 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 realworld datasets which corroborate our theoretical results and confirm the practical superiority of our methods.
 [44] arXiv:2002.11366 [pdf, ps, other]

Title: On the Diophantine equation $(5pn^{2}1)^{x}+(p(p5)n^{2}+1)^{y}=(pn)^{z}$Comments: 9 pagesJournalref: Honam Mathematical J. 42 (2020), No. 1, pp. 139150Subjects: 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(p5)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] arXiv:2002.11372 [pdf, ps, other]

Title: Fluctuations for the partition function of Ising models on ErdösRényi random graphsComments: 32 pagesSubjects: Probability (math.PR)
We analyze Ising/CurieWeiss models on the Erd\H{o}sR\'enyi graph with $N$ vertices and edge probability $p=p(N)$ that were introduced by Bovier and Gayrard [J.\ Statist.\ Phys., 72(34):643664, 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] arXiv:2002.11381 [pdf, ps, other]

Title: On the extensions of Kähler currents on compact Kähler manifoldsComments: 12pages. Comments welcome!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 CollinsTosatti and DinewGuedjZeriahi, for the case of K\"{a}hler currents.
 [47] arXiv:2002.11383 [pdf, other]

Title: Symmetric uncoded caching schemes with low subpacketization levelsSubjects: Information Theory (cs.IT)
Caching is a commonly used technique in contentdelivery networks which aims to deliver information from hosting servers to users in the most efficient way. In 2014, MaddahAli 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 AliNiesen 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 nearoptimal 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] arXiv:2002.11386 [pdf, other]

Title: PolarSlotted ALOHA over Slot Erasure ChannelsComments: 11 pages, 8 figuresSubjects: 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 packetoriented operation for the overlap packets when they conflict in a slot interval, we introduce the packetbased polarization transform and prove that this transform is independent of the packet's length. Second, guided by the packetbased 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 packetoriented successive cancellation (pSC) and a pSC list (pSCL) decoding algorithm are developed. Simultaneously, the finiteslots 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] arXiv:2002.11392 [pdf, ps, other]

Title: Time integration of tree tensor networksSubjects: Numerical Analysis (math.NA)
Dynamical lowrank approximation by tree tensor networks is studied for the datasparse approximation to large timedependent 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 projectorsplitting integrators for dynamical lowrank 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 timedependent 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 lowrank approximation by tree tensor networks.
 [50] arXiv:2002.11393 [pdf, ps, other]

Title: Fractional elliptic problem involving a singularity, a critical exponent and a Radon measureSubjects: 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{equation}
\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}
\end{equation} 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}{N2s}$ is the fractional critical Sobolev exponent and $\mu$ is a bounded Radon measure in $\Omega$.  [51] arXiv:2002.11395 [pdf, other]

Title: Asymptotic Behavior of the Subordinated Traveling WavesComments: 19 pages, 1 figureSubjects: Probability (math.PR)
In this paper we investigate the longtime behavior of the subordination of the constant speed traveling waves by a general class of kernels which appear in fractional kinetic. We use the KaramataTauberian theorem in order to obtain the longtime behavior of the Cesaro mean of the corresponding subordinated traveling wave.
 [52] arXiv:2002.11396 [pdf, ps, other]

Title: On the classification of cubic plane Cremona mapsComments: 39 pages, 6 tablesSubjects: 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] arXiv:2002.11403 [pdf, other]

Title: Corners and simpliciality in oriented matroids and partial cubesComments: 25 pages, 8 figures, 2 tablesSubjects: 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 mutationfree 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 CordovilLas 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] arXiv:2002.11407 [pdf, other]

Title: Performance Analysis of Indoor mmWave Networks with CeilingMounted Access PointsComments: 12 pages, 13 figures, accepted in IEEE Transactions of Mobile Computing journalSubjects: 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. Millimetrewave communications are the goto technology to realise that objective, yet due to weak outdoortoindoor penetration, outdoor deployments will not suffice and dedicated indoor deployments will be necessary. In this article, we study dense deployments of millimetrewave 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 nontrivial behaviour with respect to the access point density and that there is an optimal beamwidthdensity 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] arXiv:2002.11410 [pdf, other]

Title: Efficient algorithms for multivariate shapeconstrained convex regression problemsSubjects: Optimization and Control (math.OC); Machine Learning (stat.ML)
Shapeconstrained convex regression problem deals with fitting a convex function to the observed data, where additional constraints are imposed, such as componentwise monotonicity and uniform Lipschitz continuity. This paper provides a comprehensive mechanism for computing the least squares estimator of a multivariate shapeconstrained 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(n1)$ linear inequality constraints, where $n$ is the number of data points. For solving the generally very largescale convex QP, we design two efficient algorithms, one is the symmetric GaussSeidel based alternating direction method of multipliers ({\tt sGSADMM}), 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 stateoftheart algorithm. The {\tt pALM} is more efficient than the {\tt sGSADMM} but the latter has the advantage of being simpler to implement.
 [56] arXiv:2002.11414 [pdf, ps, other]

Title: Refined Strong Converse for the Constant Composition CodesComments: 6 pagesSubjects: Information Theory (cs.IT)
A strong converse bound for constant composition codes of the form $P_{e}^{(n)} \geq 1 A n^{0.5(1E_{sc}'(R,W,p))} e^{n E_{sc}(R,W,p)}$ is established using the BerryEsseen 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] arXiv:2002.11415 [pdf, ps, other]

Title: Extensions, deformation and categorification of $\text{AssDer}$ pairsSubjects: Rings and Algebras (math.RA); KTheory 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 oneparameter 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 DoubekLada. 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] arXiv:2002.11417 [pdf, other]

Title: Two arithmetic applications of perturbations of composition operatorsComments: 11 pagesSubjects: 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 ThueMorse generating function and of the Stern sequence. This answers in particular a question of Mauduit, Montgomery and Rivat (2018).
 [59] arXiv:2002.11419 [pdf, ps, other]

Title: Theorems of Alternatives for Substructural LogicsSubjects: 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 Rmingle 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] arXiv:2002.11421 [pdf, ps, other]

Title: Thermodynamic Formalism for Random Weighted Covering SystemsSubjects: Dynamical Systems (math.DS)
We develop a quenched thermodynamic formalism for random dynamical systems generated by countably branched, piecewisemonotone mappings of the interval that satisfy a random covering condition. Given a random contracting potential $\varphi$ (in the sense of LiveraniSaussolVaienti), we prove there exists a unique random conformal measure $\nu_\varphi$ and unique random equilibrium state $\mu_\varphi$. Further, we prove quasicompactness of the associated transfer operator cocycle and exponential decay of correlations for $\mu_\varphi$. Our random driving is generated by an invertible, ergodic, measurepreserving transformation $\sigma$ on a probability space $(\Omega,\mathscr{F},m)$; for each $\omega\in\Omega$ we associate a piecewisemonotone, 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^{n1}(\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 GaussRenyi maps, and random dynamics of nonuniformly expanding maps such as intermittent maps and maps with contracting branches.
 [61] arXiv:2002.11438 [pdf, other]

Title: Mathematical Construction of Interpolation and Extrapolation Function by Taylor PolynomialsAuthors: Nijat ShukurovComments: 12 pages, 6 figuresSubjects: 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] arXiv:2002.11439 [pdf, ps, other]

Title: The motive of the Hilbert scheme of infinite affine spaceComments: 13 pages. Comments welcome!Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); KTheory 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 Ktheory.
 [63] arXiv:2002.11445 [pdf, ps, other]

Title: On faces of quasiarithmetic Coxeter polytopesComments: 13 pages, 3 figures, ancillary files available at this https URLSubjects: Geometric Topology (math.GT); Group Theory (math.GR); Metric Geometry (math.MG); Number Theory (math.NT)
We prove that each lowerdimensional face of a quasiarithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasiarithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples.
 [64] arXiv:2002.11447 [pdf, other]

Title: Control of the Vertical Gradient Freeze crystal growth process via backsteppingComments: 7 pages, 4 figures. Submitted to the 21st IFAC World CongressSubjects: Optimization and Control (math.OC)
This contribution presents a backsteppingbased state feedback design for the tracking control of a twophase Stefan problem which is encountered in the Vertical Gradient Freeze crystal growth process. A twophase Stefan problem consists of two coupled free boundary problems and is a vital part of many crystal growth processes due to the timevarying extent of crystal and melt during growth. In addition, a different approach for the numerical approximation of the backstepping transformations kernel is presented.
 [65] arXiv:2002.11453 [pdf, ps, other]

Title: Scaling limits of linear random fields on ${\mathbb{Z}}^2$ with general dependence axisSubjects: Probability (math.PR)
We discuss anisotropic scaling of longrange dependent linear random fields $X$ on ${\mathbb{Z}}^2$ with arbitrary dependence axis (direction in the plane along which the movingaverage 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] arXiv:2002.11454 [pdf, other]

Title: Quasioptimal and pressure robust discretizations of the Stokes equations by moment and divergencepreserving operatorsSubjects: Numerical Analysis (math.NA)
We approximate the solution of the Stokes equations by a new quasioptimal and pressure robust discontinuous Galerkin discretization of arbitrary order. This means quasioptimality of the velocity error independent of the pressure. Moreover, the discretization is welldefined for any load which is admissible for the continuous problem and it also provides classical quasioptimal 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] arXiv:2002.11455 [pdf, ps, other]

Title: A bijection from a finite group to the cyclic group with a divisible property on the element ordersAuthors: Mohsen AmiriComments: 5 pagesSubjects: 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] arXiv:2002.11456 [pdf, ps, other]

Title: Properties of the minimizers for a constrained minimization problem arising in Kirchhoff equationComments: 32 pagesSubjects: 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] arXiv:2002.11457 [pdf, ps, other]

Title: A short note on learning discrete distributionsAuthors: Clément L. CanonneComments: 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 locationSubjects: 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] arXiv:2002.11475 [pdf]

Title: A Visual Sensitivity Analysis for ParameterAugmented Ensembles of CurvesAuthors: Alejandro Ribes (EDF R&D PERICLES), Joachim Pouderoux, Bertrand Iooss (EDF R&D PRISME, GdR MASCOTNUM, IMT)Journalref: 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 spatiotemporal 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 indepth 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 usecase concerning a marine current study using a hydraulic solver.
 [71] arXiv:2002.11476 [pdf, ps, other]

Title: Onerelator groups and algebras related to polyhedral productsComments: 14 pages. arXiv admin note: text overlap with arXiv:1909.01879Subjects: 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 rightangled Coxeter group, viewed as the fundamental group of the real momentangle complex $\mathcal{R}_K$, to be a onerelator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal{Z}_K)$ of the momentangle complex to be a onerelator 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] arXiv:2002.11478 [pdf, other]

Title: Braided Commutative Geometry and Drinfel'd Twist DeformationsAuthors: Thomas WeberComments: PhD Thesis, 152 pagesSubjects: Quantum Algebra (math.QA); Mathematical Physics (mathph)
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 LeviCivita covariant derivative for any nondegenerate 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] arXiv:2002.11480 [pdf, ps, other]

Title: String Diagrams for OpticsAuthors: Guillaume BoisseauComments: 22 pagesSubjects: 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] arXiv:2002.11481 [pdf, ps, other]

Title: The VOAs generated by two Ising vectors e and f with <e,f>=1/2^8 or 3/2^9Authors: Wen ZhengSubjects: 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] arXiv:2002.11482 [pdf, ps, other]

Title: Uniqueness of VOA structure of 3Calgebra and 5AalgebraComments: arXiv admin note: text overlap with arXiv:1902.06951Subjects: Quantum Algebra (math.QA)
The structure of 3Calgebra and 5Aalgebra constructed by LamYamadaYamauchi 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] arXiv:2002.11487 [pdf, other]

Title: On clusters of Brownian loops in d dimensionsAuthors: Wendelin WernerSubjects: Probability (math.PR); Mathematical Physics (mathph)
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] arXiv:2002.11489 [pdf, ps, other]

Title: Lower bound for the ErdősBurgess constant in finite commutative ringsAuthors: Guoqing WangComments: 9 pagesSubjects: 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}sBurgess 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}sBurgess 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] arXiv:2002.11491 [pdf, ps, other]

Title: A closed densely defined operator $T$ such that both $T$ and $T^*$ are injective and paranormal yet $T$ is not normalAuthors: Mohammed Hichem MortadSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
In this note, we give an example of a densely defined closed onetoone paranormal operator $T$ whose adjoint is also injective and paranormal, but $T$ fails to be normal.
 [79] arXiv:2002.11494 [pdf, other]

Title: The undecidability of joint embedding for 3dimensional permutation classesAuthors: Samuel BraunfeldComments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1903.11932Subjects: 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] arXiv:2002.11499 [pdf]

Title: A convex model for induction motor starting transients imbedded in an OPFbased optimization problemAuthors: Hossein Sekhavatmanesh, Justino Rodrigues, Carlos Lucas Moreira, Joao Pecas Lopes, Rachid CherkaouiComments: arXiv admin note: text overlap with arXiv:2002.10393Subjects: 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 semistatic 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) offline timedomain simulations, and b) Power HardwareIntheLoop experiments.
 [81] arXiv:2002.11512 [pdf, ps, other]

Title: Construction of the $ K{S^p}$ spaces on $\mathbb{R}^\infty$ and Separable Banach SpacesComments: pages 33Subjects: 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 HenstockKurzweil integrable functions on $\mathbb{R}^\iy$. We will construct a canonical class of KuelbSteadman 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] arXiv:2002.11518 [pdf, ps, other]

Title: A Study of Subminimal Logics of Negation and their Modal CompanionsSubjects: 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 modeltheoretic 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 bimodal companions with nonnormal modal operators for some relevant subminimal systems, and give infinite axiomatizations for these bimodal companions.
 [83] arXiv:2002.11520 [pdf, ps, other]

Title: Selfimprovement of weighted pointwise inequalities on open setsComments: arXiv admin note: text overlap with arXiv:1810.07614Subjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)
We prove a general selfimprovement 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 selfimprovement of weighted pointwise Hardy inequalities in connection with usual integral versions of Hardy inequalities.
 [84] arXiv:2002.11524 [pdf, other]

Title: Ultra Reliable Communication via Optimum Power Allocation for HARQ Retransmission SchemesComments: arXiv admin note: text overlap with arXiv:1701.08617Subjects: 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 KarushKuhnTucker (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 (CCHARQ) 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 IRHARQ 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] arXiv:2002.11525 [pdf]

Title: A construction of magic 24cellsAuthors: Donghwi ParkComments: My implementation is available on Github. this https URLSubjects: General Mathematics (math.GM)
I found a novel class of magic square analogue, magic 24cell. 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 facetmagic and facemagic labelings of tesseract. However, because of 24cell contains triangle, facemagic labeling to assign different labels to each vertex is impossible. So I tried to make a cellmagic labeling of 24cell. Linear combination of three binary labeling and one ternary labeling gives 64 different magic labelings of 24cell. Due to similarity in the number of vertices between 5x5 magic square and magic 24cell, It might be possible to calculate the number of magic 24cell. Further analysis would be need to determine the number of magic 24cell.
 [86] arXiv:2002.11527 [pdf, ps, other]

Title: Regularity of CRmappings between Fuchsian type hypersurfaces in $\mathbb C^2$Comments: arXiv admin note: substantial text overlap with arXiv:1811.01649Subjects: Complex Variables (math.CV); Dynamical Systems (math.DS)
We investigate regularity of CRmappings between realanalytic infinite type hypersurfaces in $\mathbb C^2$. We show that, under the Fuchsian type condition, all (respectively formal or smooth) CRdiffeomorphisms between them are automatically analytic. The Fuchsian condition appears to be in a certain sense optimal for the regularity problem.
 [87] arXiv:2002.11530 [pdf, ps, other]

Title: A class of global large, smooth solutions for the magnetohydrodynamics with the Hall and ionslip effectsAuthors: Huali ZhangComments: Welcome all comments. arXiv admin note: text overlap with arXiv:1903.03212Subjects: Analysis of PDEs (math.AP)
In this paper, the Cauchy's problem for fractional MHD system with the Hall and ionslip 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] arXiv:2002.11533 [pdf, other]

Title: The Invariant Subspace Problem for Bounded Linear Operators on Hilbert and Hamilton SpaceAuthors: Sa Ge LeeComments: 15 pages, 1 figureSubjects: 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, 7285, 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. 2426, 2018.
This paper is dedicated to my Ph.D thesis advisor Prof. John A. Ernest and my wife Soon Hee Kim.  [89] arXiv:2002.11534 [pdf, ps, other]

Title: Distributed Algorithms for Composite Optimization: Unified and Tight Convergence AnalysisComments: arXiv admin note: text overlap with arXiv:1910.09817Subjects: 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' sumutility, plus a nonsmooth (extendedvalued) 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 byproduct of our analysis is a tuning recommendation for several existing (non accelerated) distributed algorithms yielding the fastest provably (worstcase) convergence rate. This is the first time that a general distributed algorithmic framework applicable to composite optimization enjoys all such properties.
 [90] arXiv:2002.11536 [pdf, other]

Title: Partitioning Items Into Mutually Exclusive GroupsComments: 23 pages, 1 figureSubjects: 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] arXiv:2002.11539 [pdf, ps, other]

Title: Rational points on del Pezzo surfaces of degree fourComments: 40 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We study the distribution of the Brauer group and the frequency of the BrauerManin 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] arXiv:2002.11542 [pdf, ps, other]

Title: Variation on a theme by Kiselev and Nazarov: H{ö}lder estimates for nonlocal transportdiffusion, along a nondivergencefree BMO fieldSubjects: Analysis of PDEs (math.AP)
We prove uniform H\"older regularity estimates for a transportdiffusion 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 supercritical 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] arXiv:2002.11548 [pdf, ps, other]

Title: Maximally inflected real trigonal curves on Hirzebruch surfacesAuthors: V.I. ZvonilovComments: 14 pages, 8 figuresSubjects: 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] arXiv:2002.11551 [pdf, ps, other]

Title: Birational sheets in reductive groupsAuthors: Filippo AmbrosioComments: 26 pagesSubjects: 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 LusztigSpaltenstein 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] arXiv:2002.11553 [pdf, ps, other]

Title: Aggregated hold out for sparse linear regression with a robust loss functionAuthors: Guillaume Maillard (CELESTE, LMOrsay)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 biasvariance tradeoff. This article considers the use of Aggregated holdout to aggregate over values of this hyperparameter, in the context of linear regression with the Huber loss function. Aggregated holdout (Agghoo) is a procedure which averages estimators selected by holdout (crossvalidation with a single split). In the theoretical part of the article, it is proved that Agghoo satisfies a nonasymptotic oracle inequality when it is applied to sparse estimators which are parametrized by their zeronorm. In particular , this includes a variant of the Lasso introduced by Zou, Hasti{\'e} and Tibshirani. Simulations are used to compare Agghoo with crossvalidation. 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] arXiv:2002.11558 [pdf, ps, other]

Title: Equigeodesics on generalized flag manifolds with $G_2$type $t$rootsAuthors: Marina StathaComments: 14 pagesSubjects: 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 onetoone 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] arXiv:2002.11568 [pdf, ps, other]

Title: Errata and notes on the paper "A generalization of Springer theory using nearby cycles"Authors: Mikhail GrinbergComments: 23 pagesSubjects: 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 PicardLefschetz theory part of the argument. The statements of the main results are not affected.
 [98] arXiv:2002.11571 [pdf, other]

Title: Assignment Flows for Data Labeling on Graphs: Convergence and StabilityComments: 38 pages, 7 figuresSubjects: 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 highdimensional 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 econnection 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 continuoustime 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 discretetime assignment flow that results from applying a RungeKuttaMuntheKaas scheme for numerical geometric integration of the assignment flow. Several counterexamples illustrate that violating the conditions may entail unfavorable behavior of the assignment flow regarding contextual data classification.
 [99] arXiv:2002.11575 [pdf, other]

Title: Spacetime discontinuous Galerkin approximation of acoustic waves with point singularitiesComments: 42 pages, 10 figuresSubjects: Numerical Analysis (math.NA)
We develop a convergence theory of spacetime discretizations for the linear, 2ndorder wave equation in polygonal $\Omega\subset\mathbb{R}^2$, possibly occupied by piecewise homogeneous media with different propagation speeds. Building on an unconditionally stable spacetime DG formulation developed in [Moiola, Perugia 2018], we (a) prove optimal convergence rates for the spacetime scheme with local isotropic corner mesh refinement on the spatial domain, and (b) demonstrate numerically optimal convergence rates of a suitable sparse spacetime version of the DG scheme. The latter scheme is based on the socalled combination formula, in conjunction with a family of anisotropic spacetime DGdiscretizations. It results in optimalorder 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 spacetime DG schemes.
 [100] arXiv:2002.11578 [pdf, ps, other]

Title: Optimal control with learning on the fly: a toy problemComments: 10 pages, 3 figuresSubjects: 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 "worstcase 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] arXiv:2002.11580 [pdf, ps, other]

Title: AndersonBernoulli localization with large disorder on the 2D latticeAuthors: Linjun LiComments: 34 pages, 1 figureSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Probability (math.PR); Spectral Theory (math.SP)
We consider AndersonBernoulli 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] arXiv:2002.11582 [pdf, other]

Title: Proximal Gradient Algorithm with Momentum and Flexible Parameter Restart for Nonconvex OptimizationSubjects: 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 APGrestart) for solving nonconvex and nonsmooth problems. Our APGrestart is designed to 1) allow for adopting flexible parameter restart schemes that cover many existing ones; 2) have a global sublinear 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] arXiv:2002.11584 [pdf, ps, other]

Title: Anisotropic tempered diffusion equationsComments: 43 pagesSubjects: 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 wellposedness. 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 RankineHugoniot conditions that rule the temporal evolution of jump hypersurfaces under the given anisotropic flows.
 [104] arXiv:2002.11585 [pdf, ps, other]

Title: Lie symmetry analysis and onedimensional optimal system for the generalized 2+1 KadomtsevPetviashvili equationAuthors: Andronikos PaliathanasisComments: 15 pages, 8 tables, no figuresSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP)
We classify the Lie point symmetries for the 2+1 nonlinear generalized KadomtsevPetviashvili equation by determine all the possible f(u) functional forms where the latter depends. For each case the onedimensional 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 travelwave similarity solutions. In particular the latter solutions satisfy a secondorder nonlinear ordinary differential equation which can be solved by quadratures.
 [105] arXiv:2002.11597 [pdf, other]

Title: Singularities of Algebraic Differential EquationsComments: 45 pages, 5 figuresSubjects: 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] arXiv:2002.11598 [pdf, ps, other]

Title: Global recovery of a timedependent coefficient for the wave equation from a single measurementComments: 30 pagesSubjects: Analysis of PDEs (math.AP)
We consider the formally determined inverse problem of recovering an unknown timedependent 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] arXiv:2002.11599 [pdf, other]

Title: Minimax Optimal Estimation of KL Divergence for Continuous DistributionsSubjects: Information Theory (cs.IT); Machine Learning (stat.ML)
Estimating KullbackLeibler 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] arXiv:2002.11604 [pdf, ps, other]

Title: Greedy balanced pairs in $N$free ordered setsAuthors: Imed ZaguiaComments: 7 pages, 3 figuresSubjects: 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, \alpha1]$. We prove that every $N$free ordered set which is not totally ordered has a $\frac{1}{2}$greedy balanced pair.
 [109] arXiv:2002.11607 [pdf, ps, other]

Title: Equidistribution results for selfsimilar measuresAuthors: Simon BakerSubjects: 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 selfsimilar 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 CantorLebesgue measure on $C+t$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed for almost every $x$.
 [110] arXiv:2002.11608 [pdf, ps, other]

Title: Fréchet Modules and DescentComments: 51 pagesSubjects: 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 IndBanach 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 IndBanach modules. We give explicit descriptions of projective limits of Banach rings as indobjects. We study exactness properties of projective tensor product with respect to kernels and countable products. As applications, we describe a theory of quasicoherent modules in Banach algebraic geometry. We prove descent theorems for quasicoherent modules in various analytic and arithmetic contexts.
 [111] arXiv:2002.11614 [pdf, ps, other]

Title: Composite Matrices from Group Rings, Composite GCodes and Constructions of SelfDual CodesComments: 33 pagesSubjects: Information Theory (cs.IT)
In this work, we define composite matrices which are derived from group rings. We extend the idea of Gcodes to composite Gcodes. 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 Gcode is also a composite Gcode. We define quasicomposite Gcodes 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 selfdual 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] arXiv:2002.11627 [pdf, ps, other]

Title: Fourier interpolation from spheresAuthors: Martin StollerComments: 31 pagesSubjects: 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 origincentered 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 nonradial higherdimensional 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] arXiv:2002.11632 [pdf, ps, other]

Title: Lower semiframes and metric operatorsComments: 17 pages, 0 figuresSubjects: Functional Analysis (math.FA); Mathematical Physics (mathph)
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 selfadjoint 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 semiframes: indeed if the domain of the analysis operator is dense, then a lower semiframe can be transformed into a Parseval frame with a (special) metric operator.
 [114] arXiv:2002.11638 [pdf, ps, other]

Title: ArnoldLiouville theorem for integrable PDEs: a case study of the focusing NLS equationSubjects: Analysis of PDEs (math.AP)
We prove an infinite dimensional version of the ArnoldLiouville theorem for integrable nonlinear PDEs: In a case study we consider the {\em focusing} NLS equation with periodic boundary conditions.
 [115] arXiv:2002.11647 [pdf, ps, other]

Title: Milnor excision for motivic spectraComments: 27 pages. Comments welcome!Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); KTheory and Homology (math.KT)
Let k be a field and E a motivic spectrum over k which is ntorsion for some n invertible in k. We show that the cohomology theory on kschemes 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 infinitytopos of a quasicompact quasiseparated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes.
 [116] arXiv:2002.11657 [pdf, ps, other]

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] arXiv:2002.11663 [pdf, other]

Title: WellPosedness and Equilibrium Behaviour of Overdamped Dynamic Density Functional TheoryComments: 67 pages, 12 figuresSubjects: Analysis of PDEs (math.AP)
We establish the global wellposedness of overdamped dynamical density functional theory (DDFT): a nonlinear, nonlocal integropartial differential equation used in statistical mechanical models of colloidal flow and other applications including nonlinear reactiondiffusion systems and opinion dynamics. With noflux boundary conditions, we determine the wellposedness of the full nonlocal equations including twobody 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 nonconstant 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 offdiagonal 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 noflux boundary conditions can differ considerably from those with periodic boundary conditions. We showcase our results by using the numerical methods available in the pseudospectral collocation scheme 2DChebClass.
 [118] arXiv:2002.11664 [pdf, ps, other]

Title: An Extended Galerkin Analysis for Linear Elasticity with Strongly Symmetric Stress TensorSubjects: 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 fourfield 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 fourfield formulation is proved to converge to some conforming and nonconforming mixed methods for linear elasticity problem. Two families of infsup 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 infsup conditions guarantee the wellposedness of the new proposed formulations and also offer a new and unified analysis for many existing methods in literature as a byproduct.
 [119] arXiv:2002.11667 [pdf, ps, other]

Title: An inverse theorem for Freiman multihomomorphismsComments: 161 pagesSubjects: 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 multihomomorphism, meaning that for each direction $d \in [k]$, and each element $(x_1, \dots, x_{d1}, x_{d+1}, \dots, x_k)$ of $G_1\times\dots\times G_{d1}\times G_{d+1}\times \dots\times G_k$, the map that sends each $y_d$ such that $(x_1, \dots,$ $x_{d1},$ $y_d,$ $x_{d+1}, \dots,$ $x_k) \in A$ to $\phi(x_1, \dots,$ $x_{d1},$ $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 finitedimensional $\mathbb{F}_p$vector spaces $G$ and $H$, in the highcharacteristic case,
$\bullet$ a quantitative inverse theorem for uniformity norms over finite fields in the highcharacteristic 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] arXiv:2002.11673 [pdf, other]

Title: A corrected decoupled scheme for chemotaxis modelsJournalref: J. Comput. Appl. Math. 323, 3652 (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 parabolicelliptic 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] arXiv:2002.11677 [pdf, other]

Title: Sphere tangencies, line incidences, and Lie's linesphere correspondenceAuthors: Joshua ZahlComments: 20 pages, 2 figuresSubjects: 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 $pq^2 = (rs)^2$. Using Lie's linesphere 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 contactincidence 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 pointsphere incidences in three dimensions. These new bounds are sharp for certain ranges of parameters.  [122] arXiv:2002.11678 [pdf, ps, other]

Title: A divergence center interpretation of general symmetric KuboAndo means, and related weighted multivariate operator meansSubjects: Functional Analysis (math.FA)
It is well known that special KuboAndo 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 KuboAndo mean. This characterization of the symmetric means naturally leads to a definition of weighted and multivariate versions of a large class of symmetric KuboAndo 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] arXiv:2002.11680 [pdf, other]

Title: Large Fluctuations in Locational Marginal PricesComments: 16 pages, 10 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Probability (math.PR); Physics and Society (physics.socph)
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 supplydemand 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 14bus test case.
 [124] arXiv:2002.11683 [pdf, ps, other]

Title: On equationally Noetherian and residually finite groupsAuthors: Motiejus ValiunasComments: 22 pages. Comments are welcome!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 coefficientfree 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 abelianbypolycyclic 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 torsionfree nilpotent or conjugacy separable, as well as examples of finitely presented equationally Noetherian groups that are not residually finite.  [125] arXiv:2002.11693 [pdf, ps, other]

Title: Random volumes in ddimensional polytopesSubjects: 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 DyerF\"urediMcDiarmid 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] arXiv:2002.11700 [pdf, ps, other]

Title: Actions for twisted spectral triple and the transition from the Euclidean to the LorentzianComments: Proceedings of the INFN meeting "Current problem in theoretical physics", Vietri April 2019Subjects: Mathematical Physics (mathph); General Relativity and Quantum Cosmology (grqc); High Energy Physics  Theory (hepth)
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 ConnesMoscovici) 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 1form 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] arXiv:2002.11703 [pdf, other]

Title: Bimolecular binding rates for pairs of spherical molecules with small binding sitesComments: 34 pages, 6 figuresSubjects: Analysis of PDEs (math.AP); Biomolecules (qbio.BM); Quantitative Methods (qbio.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 highdimensional, anisotropic diffusion equation with mixed boundary conditions. We apply matched asymptotic analysis to derive the bimolecular binding rate in the limit of small, wellseparated binding sites. The resulting binding rate formula involves a factor that depends on the electrostatic capacitance of a certain fourdimensional 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] arXiv:2002.11706 [pdf, other]

Title: Gaussiantype density bounds for solutions to multidimensional backward SDEs and application to gene expressionSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We obtain upper and lower Gaussiantype 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 NourdinViens 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] arXiv:2002.11709 [pdf, ps, other]

Title: Urata's theorem in the logarithmic case and applications to integral pointsComments: 15 pagesSubjects: 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 selfproducts 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 selfproducts of curves. As a byproduct of our results, we obtain the first example of a smooth affine Brodyhyperbolic threefold over $\mathbb{C}$ which is not hyperbolically embeddable.
Crosslists for Thu, 27 Feb 20
 [130] arXiv:1303.3341 (crosslist from cs.IT) [pdf, ps, other]

Title: A short proof that all linear codes are weakly algebraicgeometric using Bertini theorems of B. PoonenAuthors: Srimathy SrinivasanComments: Title modified, expository content shortened. Final version to appear in Discrete MathJournalref: Discrete Math., vol. 343, Issue 6, June 2020Subjects: 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 algebraicgeometric using a theorem of B.Poonen.
 [131] arXiv:1601.06756 (crosslist from cs.IT) [pdf, other]

Title: Privacy, Secrecy, and Storage with Multiple Noisy Measurements of IdentifiersComments: To appear in IEEE Transactions on Information Forensics and SecuritySubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Multimedia (cs.MM); Signal Processing (eess.SP); Probability (math.PR)
The keyleakagestorage region is derived for a generalization of a classic twoterminal 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 keyleakagestorage 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 privacyleakage rate reduces for a hidden identifier as compared to a noisefree (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 (crosslist from cs.IT) [pdf, ps, other]

Title: Code Constructions for Physical Unclonable Functions and Biometric Secrecy SystemsComments: To appear in IEEE Transactions on Information Forensics and SecuritySubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Multimedia (cs.MM); Signal Processing (eess.SP); Probability (math.PR)
The twoterminal key agreement problem with biometric or physical identifiers is considered. Two linear code constructions based on WynerZiv coding are developed. The first construction uses random linear codes and achieves all points of the keyleakagestorage regions of the generatedsecret and chosensecret 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 privacyleakage 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 (crosslist from cs.IT) [pdf, other]

Title: Controllable Identifier Measurements for Private Authentication with Secret KeysComments: 15 pagesJournalref: IEEE Transactions on Information Forensics and Security, vol. 13, no. 8, pp. 19451959 (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 secretkey based authentication under a privacy constraint on the source sequence is considered. The identifier measurements during authentication are assumed to be controllable via a costconstrained "action" sequence. Singleletter characterizations of the optimal tradeoff among the secretkey rate, storage rate, privacyleakage 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 userauthentication scenarios including physical and biometric authentications with multiple measurements. Our results include, as special cases, new results for secretkey generation and embedding with actiondependent side information without any privacy constraint on the enrolled source sequence.
 [134] arXiv:1904.11954 (crosslist from eess.SP) [pdf, ps, other]

Title: ChaosBased Anytime Reliable Coded CommunicationsComments: 31 pages, 7 figuresSubjects: 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 (crosslist from eess.SP) [pdf]

Title: Design and Performance Analysis of an Index Time Frequency Modulation Scheme for Optical CommunicationsComments: 13 pages, 10 figures. IEEE Journal of Selected Topics in Signal Processing, 2019Subjects: 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 indextime frequency hopping (ITFH) 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 nonturbulent freespace optical (FSO) channel. We compare ITFH 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 signaltonoise ratios and system parameters. Moreover, ITFH 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 (crosslist from eess.SP) [pdf, ps, other]

Title: Performance Analysis of QAMMPPM in TurbulenceFree FSO Channels: Accurate Derivations and Practical ApproximationsComments: 10 pages, 5 figuresSubjects: 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 multipulse pulseposition modulation (MPPM) and quadrature amplitude modulation (QAM) in a system called QAMMPPM. We present here a new way to demodulate its compound waveform, and, for the nonturbulent 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 signaltonoise 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 QAMMPPM.
 [137] arXiv:1907.01081 (crosslist from cs.IT) [pdf, ps, other]

Title: Private Authentication with Physical Identifiers Through Broadcast Channel MeasurementsComments: Longer version of the paper accepted to the IEEE Information Theory Workshop 2019Subjects: 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 privacyleakage and databasestorage rates is proposed. The inner bound is shown to be tight for physicallydegraded and lessnoisy BCs.
 [138] arXiv:2002.09933 (crosslist from hepth) [pdf, ps, other]

Title: Real analyticity of accessory parametersAuthors: Pietro MenottiComments: 24 pages LaTexSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
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 (crosslist from hepth) [pdf, other]

Title: Explicit kinks in higherorder field theoriesComments: 17 pages, 7 figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Pattern Formation and Solitons (nlin.PS)
We study an example of higherorder fieldtheoretic model with an eighthdegree polynomial potential  the $\varphi^8$ model. We show that for some certain ratios of constants of the potential, the problem of finding kinktype solutions in $(1+1)$dimensional spacetime 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 kinkantikink scattering are found.
 [140] arXiv:2002.10569 (crosslist from eess.SP) [pdf, ps, other]

Title: Adaptive MultiReceiver Coded Slotted ALOHA for Indoor Optical Wireless CommunicationsComments: 5 pages, 6 figures. Accepted for publication at IEEE Communications LettersSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
In this paper, we design a novel highthroughput 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 multireceiver 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 (crosslist from hepth) [pdf, other]

Title: Modular Exercises for FourPoint Blocks  IComments: 72 pages, 4 figuresSubjects: High Energy Physics  Theory (hepth); Number Theory (math.NT); Quantum Algebra (math.QA)
The wellknown 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 fourpoint chiral blocks of rational VOAs are vectorvalued modular forms for the groups $\Gamma(2)$, $\Gamma_0(2)$, or $\text{SL}_2(\mathbb{Z})$. Moreover, we prove that the fourpoint correlators, combining the holomorphic and antiholomorphic 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 spheretorus 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 spheretorus duality.
 [142] arXiv:2002.11127 (crosslist from quantph) [pdf, other]

Title: Quantum correlations in $\mathcal{PT}$symmetric systemsAuthors: Federico Roccati, Salvatore Lorenzo, G. Massimo Palma, Gabriel T. Landi, Matteo Brunelli, Francesco CiccarelloComments: Submitted. Supersedes previous (unsubmitted) preliminary report arXiv:1907.00975 with a radical revision and several major new resultsSubjects: Quantum Physics (quantph); Mesoscale and Nanoscale Physics (condmat.meshall); Mathematical Physics (mathph)
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 nonzero stationary QCs. We link $\mathcal{PT}$ symmetry breaking to the longtime 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 (crosslist from cs.AI) [pdf, ps, other]

Title: Topologically sensitive metaheuristicsSubjects: 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 (crosslist from hepth) [pdf, ps, other]

Title: Perturbative Quantum Field Theory and Homotopy AlgebrasComments: 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 (hepth); Mathematical Physics (mathph)
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 BatalinVilkovisky 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 BerendsGiele currents which implies the KleissKuijf relations.
 [145] arXiv:2002.11184 (crosslist from qbio.PE) [pdf, other]

Title: The Moran Genealogy ProcessSubjects: Populations and Evolution (qbio.PE); Probability (math.PR); Applications (stat.AP)
We give a novel representation of the Moran Genealogy Process, a continuoustime 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 onetime sampling projects this stationary distribution onto a smallersize 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 (crosslist from stat.ML) [pdf, other]

Title: Device Heterogeneity in Federated Learning: A Superquantile ApproachSubjects: 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 superquantilebased 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 (crosslist from eess.SP) [pdf]

Title: Concatenated ConvolutionPolar codes over Rayleigh Channels degraded as Erasure ChannelsAuthors: Mohammed UsmanSubjects: 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 (crosslist from qfin.CP) [pdf, other]

Title: Fast Lower and Upper Estimates for the Price of Constrained Multiple Exercise American Options by Single Pass Lookahead Search and NearestNeighbor MartingaleSubjects: Computational Finance (qfin.CP); Machine Learning (cs.LG); Optimization and Control (math.OC); Pricing of Securities (qfin.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 nearestneighbor 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 (crosslist from qbio.PE) [pdf, other]

Title: RossMacdonald Models: Which one should we use?Subjects: Populations and Evolution (qbio.PE); Dynamical Systems (math.DS)
RossMacdonald models are the building blocks of most vectorborne 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 RossMacdonald 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 vectorborne disease dynamics shaping the epidemic curve and its duration.
 [150] arXiv:2002.11323 (crosslist from cs.LG) [pdf, other]

Title: Convergence to SecondOrder Stationarity for Nonnegative Matrix Factorization: Provably and ConcurrentlySubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Nonnegative matrix factorization (NMF) is a fundamental nonconvex optimization problem with numerous applications in Machine Learning (music analysis, document clustering, speechsource 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 LeeSeung 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 nonnegative 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 (crosslist from cs.LG) [pdf, ps, other]

Title: Structured Linear Contextual Bandits: A Sharp and Geometric Smoothed AnalysisSubjects: 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, worstcase 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 multiparameter (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 (crosslist from condmat.strel) [pdf, other]

Title: JordanWigner Dualities for TranslationInvariant Hamiltonians in Any Dimension: Emergent Fractons that are FermionsAuthors: Nathanan TantivasadakarnComments: 27 pages, 4 figures, 7 tablesSubjects: Strongly Correlated Electrons (condmat.strel); Statistical Mechanics (condmat.statmech); High Energy Physics  Theory (hepth); Mathematical Physics (mathph); Quantum Physics (quantph)
Inspired by recent developments generalizing JordanWigner dualities to higher dimensions, we develop a framework for such dualities for translationinvariant Hamiltonians using the algebraic formalism proposed by Haah. We prove that given a translationinvariant 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 higherform, 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 nonrelativistic '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 (crosslist from physics.plasmph) [pdf, other]

Title: The VlasovAmpère system and the BernsteinLandau paradoxSubjects: Plasma Physics (physics.plasmph); Mathematical Physics (mathph); Spectral Theory (math.SP)
We study the BernsteinLandau paradox in the collisionless motion of an electrostatic plasma in the presence of a constant external magnetic field. The BernsteinLandau 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 VlasovPoisson system, as it is usually done, we study the linear VlasovAmp\`ere system. We formulate the VlasovAmp\`ere system as a Schr\"odinger equation with a selfadjoint VlasovAmp\`ere operator in the Hilbert space of states with finite energy. The VlasovAmp\`ere operator has a complete set of orthonormal eigenfunctions, that include the Bernstein modes. The expansion of the solution of the VlasovAmp\`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 VlasovAmp\`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 BernsteinLandau paradox. Furthermore, we present numerical simulations that illustrate the BernsteinLandau paradox.
 [154] arXiv:2002.11384 (crosslist from eess.SY) [pdf, ps, other]

Title: Intrinsic Construction of Lyapunov Functions on Riemannian ManifoldAuthors: Dongjun WuSubjects: 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 (crosslist from cs.GT) [pdf, ps, other]

Title: Computation of Dynamic Equilibria in SeriesParallel NetworksAuthors: Marcus KaiserSubjects: 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 rightmonotone. 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 twoterminal seriesparallel networks by giving a recursive algorithm that solves the problem for all flow values simultaneously in polynomial time.
 [156] arXiv:2002.11440 (crosslist from cs.LG) [pdf, other]

Title: NonAsymptotic Bounds for ZerothOrder Stochastic OptimizationSubjects: 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 simulationoptimization context, where only stochastic zerothorder 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 nonconvex optimization context, we analyze the zerothorder variant of the randomized stochastic gradient (RSG) and quasiNewton (RSQN) algorithms with a biased gradient/Hessian oracle, and with its variant involving an estimation error component. In particular, we provide nonasymptotic 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 nonasymptotic 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 realworld datasets, and the empirical results validate the theoretical findings.
 [157] arXiv:2002.11511 (crosslist from stat.ML) [pdf, other]

Title: A Comparative Study of Machine Learning Models for Predicting the State of Reactive MixingComments: 31 pagesSubjects: 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 highfidelity, finiteelementbased numerical model is built to solve the fast, irreversible bimolecular reactiondiffusion equations to simulate a range of reactivemixing 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, timescales associated with velocity oscillations, the perturbation parameter for the vortexbased 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 decisiontreebased AdaBoost faithfully predict the QoIs. At run time, trained ML emulators are $\approx10^5$ times faster than the highfidelity 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 (crosslist from stat.ML) [pdf, other]

Title: The role of regularization in classification of highdimensional noisy Gaussian mixtureComments: 8 pages + appendix, 6 figuresSubjects: Machine Learning (stat.ML); Disordered Systems and Neural Networks (condmat.disnn); Machine Learning (cs.LG); Statistics Theory (math.ST)
We consider a highdimensional 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 highdimensional 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 Bayesoptimal 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 (crosslist from cs.CC) [pdf, other]

Title: On the complexity of evaluating highest weight vectorsComments: 27 pages, full versionSubjects: 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 socalled highest weight vectors (HWVs). In the setting of interest in GCT (namely in the setting of polynomials) we prove the NPhardness of the evaluation of HWVs in general, and we give efficient algorithms if the treewidth of the corresponding Youngdiagram 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 (crosslist from quantph) [pdf, other]

Title: Efficient Phase Factor Evaluation in Quantum Signal ProcessingComments: 25 pages, 17 figuresSubjects: Quantum Physics (quantph); Optimization and Control (math.OC); Computational Physics (physics.compph)
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 neartointermediate 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 (crosslist from stat.ML) [pdf, ps, other]

Title: Profile Entropy: A Fundamental Measure for the Learnability and Compressibility of Discrete DistributionsComments: 56 pagesSubjects: 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 labelinvariant distribution collection; c) serves as the limit of profile compression, for which we derive optimal nearlineartime 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 (crosslist from cs.CR) [pdf, ps, other]

Title: Secure and Reliable Key Agreement with Physical Unclonable FunctionsAuthors: Onur Günlü, Tasnad Kernetzky, Onurcan İşcan, Vladimir Sidorenko, Gerhard Kramer, Rafael F. SchaeferJournalref: MDPI Entropy Journal 20 (2018) 340:1340:19Subjects: 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 physicalidentifier outputs are compared. Decorrelation efficiency is the metric used to determine transforms that give highlyuncorrelated 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 secretkey length. Lowcomplexity errorcorrection codes are proposed to illustrate two complete keybinding systems with perfect secrecy, and better secretkey and privacyleakage rates than existing methods. A reference hardware implementation is also provided to demonstrate that the transformcoding 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 numberComments: 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 clearerSubjects: Algebraic Geometry (math.AG)
 [164] arXiv:1512.03473 (replaced) [pdf, ps, other]

Title: Sensitivity Analysis for Binary Sampling Systems via Quantitative Fisher Information Lower BoundsAuthors: Manuel S. SteinComments: Former title was: Fisher Information Lower Bounds with Applications in HardwareAware Nonlinear Signal ProcessingSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
 [165] arXiv:1609.02231 (replaced) [pdf, ps, other]

Title: Cohomological invariants of genus three hyperelliptic curvesAuthors: Roberto PirisiComments: Changed title and indexing to match published version. arXiv admin note: text overlap with arXiv:1412.0555Journalref: Documenta Mathematica 23, 2018, 969996Subjects: Algebraic Geometry (math.AG)
 [166] arXiv:1702.06754 (replaced) [pdf, ps, other]

Title: $L^pL^q$ estimates for maximal operators associated to families of finite type curvesAuthors: Ramesh MannaComments: 22 pages. Revised version. arXiv admin note: substantial text overlap with arXiv:1510.08649, arXiv:1609.08140Subjects: Classical Analysis and ODEs (math.CA)
 [167] arXiv:1705.03759 (replaced) [pdf, ps, other]

Title: Vietoris type theorem related to positivity of trigonometric polynomialsComments: 19 PAGES, 4 figuresSubjects: Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
 [168] arXiv:1707.02389 (replaced) [pdf, other]

Title: On the universality of potential well dynamicsAuthors: Terence TaoComments: 20 pages, 1 figure. Some typos in the construction of the universal Turing machine encoding fixedJournalref: Dynamics of PDE 14 (2017), 219238Subjects: Analysis of PDEs (math.AP)
 [169] arXiv:1708.09830 (replaced) [pdf, other]

Title: Local geometry of random geodesics on negatively curved surfacesComments: This version extends the results of the previous version to surfaces with possibly variable negative curvatureSubjects: 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 spaceComments: v3: 23 pages; corrected an error in Lemma 3.7, adjusted some model structures accordingly and made various other small improvementsSubjects: Algebraic Topology (math.AT)
 [171] arXiv:1801.05899 (replaced) [pdf, ps, other]

Title: On the cycle index and the weight enumeratorComments: 8 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR)
 [172] arXiv:1801.07094 (replaced) [pdf, ps, other]

Title: The test function conjecture for parahoric local modelsComments: 68 pages. Comments are welcome! Minor changes in introduction, and some typos correctedSubjects: 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 GroupAuthors: Fernando RomanGarciaSubjects: 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 VersionSubjects: Optimization and Control (math.OC)
 [175] arXiv:1805.10019 (replaced) [pdf, ps, other]

Title: The support designs of the triply even codes of length 48Comments: 11 pagesSubjects: Combinatorics (math.CO)
 [176] arXiv:1805.12000 (replaced) [pdf, ps, other]

Title: On Nichols algebras of infinite rank with finite GelfandKirillov dimensionComments: 21 pagesJournalref: Rend. Lincei Mat. Appl. 31 (2020), 81101Subjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA)
 [177] arXiv:1807.02744 (replaced) [pdf, ps, other]

Title: On Eisenstein polynomials and zeta polynomialsAuthors: Tsuyoshi MiezakiComments: 11 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
 [178] arXiv:1808.08385 (replaced) [pdf, ps, other]

Title: Motivic GaußBonnet formulasComments: Final versionto appear in Algebra & Number TheorySubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
 [179] arXiv:1810.01536 (replaced) [pdf, ps, other]

Title: Decomposition of graded local cohomology tablesComments: Slightly shortenedSubjects: Commutative Algebra (math.AC)
 [180] arXiv:1810.03295 (replaced) [pdf, ps, other]

Title: On the DeligneLusztig involution for character sheavesAuthors: Alexander Yom DinComments: 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 fractionsJournalref: Published in Discrete Contin. Dyn. Syst. \textbf{40} (2020), no. 2, pp. 753766Subjects: 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 DeligneLusztig varietiesComments: Final, published versionJournalref: Cambridge Journal of Mathematics Volume 8 (2020) Number 1 Pages 149241Subjects: 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 (LMAPoitiers)Subjects: Algebraic Geometry (math.AG)
 [184] arXiv:1812.02054 (replaced) [pdf, ps, other]

Title: An interior boundedness result for an elliptic equationAuthors: Samy Skander Bahoura (IHP)Subjects: Analysis of PDEs (math.AP)
 [185] arXiv:1812.07365 (replaced) [pdf, other]

Title: Vertices with fixed outdegrees in large GaltonWatson treesAuthors: Paul ThéveninComments: 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 6Subjects: Probability (math.PR)
 [186] arXiv:1812.09215 (replaced) [pdf, ps, other]

Title: Lipschitz bijections between boolean functionsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [187] arXiv:1812.10266 (replaced) [pdf, ps, other]

Title: Exploiting nonorthogonal multiple access in downlink coordinated multipoint transmission with the presence of imperfect channel state informationComments: Minor Revision Wiley International Journal of Communication SystemsSubjects: Information Theory (cs.IT)
 [188] arXiv:1812.11872 (replaced) [pdf, other]

Title: A rainbow version of Mantel's TheoremAuthors: Ron Aharoni, Matt DeVos, Sebastián González Hermosillo de la Maza, Amanda Montejano, Robert ŠámalComments: 12 pages, 3 figuresSubjects: Combinatorics (math.CO)
 [189] arXiv:1901.04400 (replaced) [pdf, ps, other]

Title: Sharp Constants of Approximation Theory. I. Multivariate BernsteinNikolskii Type InequalitiesAuthors: Michael I. GanzburgComments: 20 pages, corrected typos, added referencesJournalref: 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 MetricsAuthors: Michael I. GanzburgComments: 33 pages, the title is changed, typos are corrected, references are addedJournalref: Constructive Approximation 50 (2019), 543577Subjects: Classical Analysis and ODEs (math.CA)
 [191] arXiv:1902.01470 (replaced) [pdf, other]

Title: Recursive projectionaggregation decoding of ReedMuller codesSubjects: Information Theory (cs.IT)
 [192] arXiv:1902.03870 (replaced) [pdf, ps, other]

Title: Halász's theorem for Beurling generalized numbersSubjects: 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 SetsAuthors: Michael I. GanzburgComments: 18 pagesJournalref: Journal of Approximation Theory 252 (2020) 105351Subjects: Classical Analysis and ODEs (math.CA)
 [194] arXiv:1903.02438 (replaced) [pdf, ps, other]

Title: Algebraic cocompleteness and finitary functorsAuthors: Jiri AdamekSubjects: Category Theory (math.CT)
 [195] arXiv:1903.03281 (replaced) [pdf, ps, other]

Title: On Eisenstein polynomials and zeta polynomials IIComments: 16 pagesSubjects: 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 obstaclesSubjects: Numerical Analysis (math.NA)
 [197] arXiv:1903.05282 (replaced) [pdf, other]

Title: NonStationary FirstOrder PrimalDual Algorithms with Fast Convergence RatesComments: 29 pages, 3 figuresSubjects: Optimization and Control (math.OC)
 [198] arXiv:1903.08433 (replaced) [pdf, ps, other]

Title: New invariants for integral latticesComments: 11 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
 [199] arXiv:1904.01343 (replaced) [pdf, ps, other]

Title: Families of lattice polytopes of mixed degree oneComments: 14 pages, 3 figuresJournalref: 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 realsymmetric eigenvalue problems in largescale electronic state calculationsComments: 15 pages, 7 figuresSubjects: Computational Physics (physics.compph); Materials Science (condmat.mtrlsci); Numerical Analysis (math.NA)
 [201] arXiv:1904.07755 (replaced) [pdf, ps, other]

Title: A transformation rule for natural multiplicitiesComments: 12 pages, comments are welcomeSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
 [202] arXiv:1904.09168 (replaced) [pdf, ps, other]

Title: Magnetization in the zigzag layered Ising model and orthogonal polynomialsComments: 35 pages, 6 figures; minor updates (incl. references)Subjects: Mathematical Physics (mathph); Probability (math.PR); Spectral Theory (math.SP)
 [203] arXiv:1904.11692 (replaced) [pdf, other]

Title: Homogenization of a locally periodic oscillating boundaryComments: 28 pages, 5 figures, 1 tableSubjects: Analysis of PDEs (math.AP)
 [204] arXiv:1905.00118 (replaced) [pdf, other]

Title: Using NonLinear Difference Equations to Study Quicksort AlgorithmsAuthors: Yukun YaoComments: 29 pages, 1 figureSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
 [205] arXiv:1905.03866 (replaced) [pdf, ps, other]

Title: Almost sure global wellposedness for the septic Schrödinger equation on $\Bbb T^3$Authors: Mouhamadou SyComments: 36 pagesSubjects: Analysis of PDEs (math.AP)
 [206] arXiv:1905.04240 (replaced) [pdf, ps, other]

Title: Bridgeland stability conditions on the category of holomorphic triples over curvesSubjects: Algebraic Geometry (math.AG)
 [207] arXiv:1905.10483 (replaced) [pdf, ps, other]

Title: On the product dimension of clique factorsSubjects: Combinatorics (math.CO)
 [208] arXiv:1905.12530 (replaced) [pdf, other]

Title: Learning Constitutive Relations from Indirect Observations Using Deep Neural NetworksComments: 40 pages, 21 figuresSubjects: Numerical Analysis (math.NA); Computational Physics (physics.compph)
 [209] arXiv:1905.13328 (replaced) [pdf, other]

Title: Analysis of cell size effects in atomistic crack propagationSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
 [210] arXiv:1906.01469 (replaced) [pdf, ps, other]

Title: Unconditional reflexive polytopesComments: 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 GrunbaumSubjects: 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 ConditionsAuthors: Norihiro SomeyamaSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph)
 [212] arXiv:1906.09604 (replaced) [pdf, ps, other]

Title: Minimizing a stochastic convex function subject to stochastic constraints and some applicationsComments: 22 pagesSubjects: Probability (math.PR); Optimization and Control (math.OC)
 [213] arXiv:1906.10308 (replaced) [pdf, ps, other]

Title: A construction of spherical 3designsAuthors: Tsuyoshi MiezakiComments: 6 pagesSubjects: Combinatorics (math.CO)
 [214] arXiv:1907.03525 (replaced) [pdf, ps, other]

Title: The meromorphic Rmatrix of the YangianComments: Revised 1) coass. of deformed Drinfeld coprod & cocycle id for R found to only make sense on fd reps (sec 34) 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 qDrinfeldKohno thm (sec 9) Final v, to appear in Progr in Math vol for N. Reshetikhin's 60th bday. 48 ppSubjects: 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 GamesSubjects: 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 EquationsSubjects: Numerical Analysis (math.NA)
 [217] arXiv:1908.03529 (replaced) [pdf, ps, other]

Title: Sharp energy regularity for Hölder solutions of incompressible Euler equationsComments: 19 pagesSubjects: Analysis of PDEs (math.AP)
 [218] arXiv:1908.06721 (replaced) [pdf, other]

Title: Computing Spectral Measures and Spectral TypesAuthors: Matthew John ColbrookSubjects: Spectral Theory (math.SP); Mathematical Physics (mathph); Functional Analysis (math.FA); Numerical Analysis (math.NA)
 [219] arXiv:1909.01853 (replaced) [pdf, other]

Title: An equilibrated a posteriori error estimator for arbitraryorder Nédélec elements for magnetostatic problemsSubjects: Numerical Analysis (math.NA)
 [220] arXiv:1909.04774 (replaced) [pdf, other]

Title: Coding for SunflowersAuthors: Anup RaoComments: Revised version includes an improved bound. This version is published by Discrete AnalysisSubjects: 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 semigroupsComments: 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 welcomeSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
 [222] arXiv:1909.12751 (replaced) [pdf, other]

Title: Extension and tangential CRF conditions in quaternionic analysisComments: 22 pagesSubjects: 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 bitflipping decoding and application to cryptographySubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
 [224] arXiv:1910.01009 (replaced) [pdf, other]

Title: Approximation of the zeroindex transmission eigenvalues with a conductive boundary and parameter estimationAuthors: Isaac HarrisSubjects: 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 edgecoloured graphsAuthors: Pierre GuillotComments: The introduction has changed, and some very minor pieces of notation have been altered. This version will be submitted for publicationSubjects: Combinatorics (math.CO)
 [226] arXiv:1910.02536 (replaced) [pdf, other]

Title: Geometric differentiability of Riemann's nondifferentiable functionAuthors: Daniel EceizabarrenaComments: 27 pages, 6 figures. v2: Typos corrected, references added. v3: Accepted manuscriptSubjects: Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)
 [227] arXiv:1910.02878 (replaced) [pdf, ps, other]

Title: Topological Origin of NonHermitian Skin EffectsComments: 7+21 pages, 2+3 figuresJournalref: Phys. Rev. Lett.124, 086801 (2020)Subjects: Mesoscale and Nanoscale Physics (condmat.meshall); Strongly Correlated Electrons (condmat.strel); Mathematical Physics (mathph); Optics (physics.optics); Quantum Physics (quantph)
 [228] arXiv:1910.02905 (replaced) [pdf, ps, other]

Title: Quantales, persistence, and magnitude homologyAuthors: Simon ChoComments: 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. 1920, "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 systemsAuthors: Matti WürthenComments: 32 pages. Revised section 4.2.1  main results unaffected. Extended section 4.4. Added a few minor details. Comments welcomeSubjects: 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 equationsComments: 5 pagesSubjects: Functional Analysis (math.FA); Numerical Analysis (math.NA)
 [231] arXiv:1910.09675 (replaced) [pdf, ps, other]

Title: AtiyahPatodiSinger index on a latticeAuthors: Hidenori Fukaya, Naoki Kawai, Yoshiyuki Matsuki, Makito Mori, Katsumasa Nakayama, Tetsuya Onogi, Satoshi YamaguchiComments: 14 pages, appendices added, details of key equations added, to appear in PTEPSubjects: High Energy Physics  Lattice (heplat); Strongly Correlated Electrons (condmat.strel); High Energy Physics  Theory (hepth); Differential Geometry (math.DG)
 [232] arXiv:1910.11189 (replaced) [pdf, ps, other]

Title: Augmented virtual double categoriesAuthors: Seerp Roald KoudenburgComments: 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 TACJournalref: Theory and Applications of Categories, 35(10):261325, 2020Subjects: Category Theory (math.CT)
 [233] arXiv:1911.00315 (replaced) [pdf, ps, other]

Title: State and Control PathsDependent Stochastic ZeroSum Differential Games: Dynamic Programming Principle and Viscosity Solution of PathsDependent HamiltonJacobiIsaacs EquationAuthors: Jun MoonComments: 29 pagesSubjects: Optimization and Control (math.OC)
 [234] arXiv:1911.01413 (replaced) [pdf, ps, other]

Title: SubOptimal Local Minima Exist for Almost All Overparameterized Neural NetworksComments: 31 pages. Minor adjustments on some notations and wordings. An early version was submitted to Optimization Online on October 4Subjects: 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 TwoSided QueuesComments: Accepted to be presented in ACM Sigmetrics 2020Subjects: Optimization and Control (math.OC); Probability (math.PR)
 [236] arXiv:1911.03348 (replaced) [pdf, other]

Title: On the transfer matrix of the supersymmetric eightvertex model. II. Open boundary conditionsComments: Revised version, 28 pagesSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); 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 generatorsComments: 29 pagesSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Number Theory (math.NT)
 [238] arXiv:1911.05359 (replaced) [pdf, ps, other]

Title: StressEnergy in Liouville Conformal Field TheoryComments: Revised version, 30 pagesSubjects: Mathematical Physics (mathph); 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 backgroundsComments: 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. CSubjects: Mathematical Physics (mathph); Statistical Mechanics (condmat.statmech); High Energy Physics  Theory (hepth); Quantum Physics (quantph)
 [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 mapsAuthors: Naoki KitazawaComments: 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.04080Subjects: KTheory and Homology (math.KT); Algebraic Topology (math.AT)
 [241] arXiv:1911.12904 (replaced) [pdf, other]

Title: General supervised learning as change propagation with delta lensesAuthors: Zinovy DiskinComments: This is a long version of the paper to be published in Proceedings of FOSSACS'2020Subjects: 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 conditionsComments: references added in section 1; a table added in section 2; assumption of strict convexity added in theorem 5.4; typos fixedSubjects: Analysis of PDEs (math.AP)
 [243] arXiv:1912.00817 (replaced) [pdf, ps, other]

Title: Tilting modules and cellular categoriesAuthors: Henning Haahr AndersenComments: 32 pages, with corrections and more detailsSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
 [244] arXiv:1912.00861 (replaced) [pdf, other]

Title: Dynamics of black holes in JackiwTeitelboim gravityAuthors: S. Josephine SuhComments: 16 pages plus appendices, 9 figures. v.2: extended appendices, minor changes. v.3: added references, minor changesSubjects: High Energy Physics  Theory (hepth); Strongly Correlated Electrons (condmat.strel); General Relativity and Quantum Cosmology (grqc); Mathematical Physics (mathph)
 [245] arXiv:1912.02765 (replaced) [pdf, other]

Title: On the Sample Complexity of Learning SumProduct NetworksSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
 [246] arXiv:1912.04967 (replaced) [pdf, other]

Title: Complex farfield geometries determine the stability of solid tumor growth with chemotaxisComments: 37 pages, 13 figuresSubjects: 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 gasComments: v3: Minor fix. v2: We have solved one of the open problems in v1, specifically, the positivity of the solution to the equationSubjects: Mathematical Physics (mathph); Quantum Gases (condmat.quantgas); Analysis of PDEs (math.AP)
 [248] arXiv:1912.10009 (replaced) [pdf, other]

Title: Determining Ftheory matter via GromovWitten invariantsAuthors: AmirKian KashaniPoorComments: 51 pages; v2: corrections and improvements, references addedSubjects: High Energy Physics  Theory (hepth); Algebraic Geometry (math.AG)
 [249] arXiv:1912.11398 (replaced) [pdf, ps, other]

Title: An error bound for Lasso and Group Lasso in high dimensionsAuthors: Antoine DedieuComments: arXiv admin note: text overlap with arXiv:1910.08880Subjects: 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)$POLJmanifolds applicationsSubjects: Differential Geometry (math.DG)
 [251] arXiv:2001.01679 (replaced) [pdf, ps, other]

Title: Nevanlinna theory of holomorphic mappings for singular divisorsAuthors: Xianjing DongSubjects: 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 SystemComments: 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 systemlevel network throughput of multiIRS multiuser system using stochastic geometry, and reveal the optimal deployment strategies of IRSs against active relaysJournalref: IEEE Wireless Communications Letters, 2020, https://ieeexplore.ieee.org/document/8989805Subjects: 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 utilitiesAuthors: Royi JacobovicSubjects: Optimization and Control (math.OC)
 [254] arXiv:2001.09709 (replaced) [pdf, ps, other]

Title: Upper bound on some hightness notionsAuthors: Lu LiuComments: 16 pagesSubjects: Logic (math.LO)
 [255] arXiv:2001.10481 (replaced) [pdf, other]

Title: A Partial Information Decomposition Based on Causal TensorsAuthors: David SigtermansComments: 13 pages, 3 figureSubjects: Information Theory (cs.IT)
 [256] arXiv:2001.11114 (replaced) [pdf, ps, other]

Title: MultiMarginal Optimal Transport Defines a Generalized MetricSubjects: 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 varietiesAuthors: Yuri G. ZarhinComments: 14 pagesSubjects: Algebraic Geometry (math.AG)
 [258] arXiv:2002.01968 (replaced) [pdf, other]

Title: Avoidance of split overlapsSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
 [259] arXiv:2002.02081 (replaced) [pdf, other]

Title: Minimax Confidence Interval for OffPolicy Evaluation and Policy OptimizationSubjects: 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 entriesComments: 49 pages. Statement on the asymptotic independence of singular values addedSubjects: Probability (math.PR); Mathematical Physics (mathph)
 [261] arXiv:2002.05035 (replaced) [pdf, other]

Title: Complex contagion features without social reinforcement in a model of social information flowComments: 18 pages, 9 figures, 1 tableJournalref: Entropy 2020, 22(3), 265Subjects: Physics and Society (physics.socph); 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 MethodsComments: Fixed unicodecharacter problems in bibliographySubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [263] arXiv:2002.06166 (replaced) [pdf, ps, other]

Title: Lower bounds on HilbertKunz multiplicities and maximal FsignaturesComments: New version, improving the toric results and the number of authorsSubjects: 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 ModelsSubjects: 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 groupsComments: 8 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR); Probability (math.PR)
 [266] arXiv:2002.09099 (replaced) [pdf, ps, other]

Title: Radon transforms on homogeneous treesSubjects: 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 representationAuthors: Ilia SmilgaComments: 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 FirstOrder Methods for LeastSquares ProblemsComments: arXiv admin note: text overlap with arXiv:2002.00864Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
 [269] arXiv:2002.10043 (replaced) [pdf, other]

Title: Complete Dictionary Learning via $\ell_p$norm MaximizationSubjects: 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 SatoTate conjectureAuthors: Jesse ThornerComments: 19 pages. Version 2: Typographical errors fixed. Included discussion of the LucaRadziwillSchparlinski central limit theorem for Fourier coefficients of newforms. Added application (now Corollary 1.5) to the joint LangTrotter problemSubjects: Number Theory (math.NT)
 [271] arXiv:2002.10699 (replaced) [pdf, ps, other]

Title: On the univalence of polyanalytic functionsSubjects: Complex Variables (math.CV)
 [272] arXiv:2002.10759 (replaced) [pdf, ps, other]

Title: Subcycling of particle orbits in variational, geometric electromagnetic particleincell methodsComments: 18 pages, 5 figures, 4 tablesSubjects: Computational Physics (physics.compph); Numerical Analysis (math.NA); Plasma Physics (physics.plasmph)
 [273] arXiv:2002.10921 (replaced) [pdf, ps, other]

Title: A computerfriendly construction of the monsterAuthors: Martin SeysenComments: 34 pagesSubjects: Group Theory (math.GR)
 [274] arXiv:2002.10929 (replaced) [pdf, ps, other]

Title: Duality Between Quantization and MeasurementAuthors: Yosuke MorimotoComments: 6 pagesSubjects: Quantum Physics (quantph); Mathematical Physics (mathph)
 [275] arXiv:2002.11065 (replaced) [pdf, ps, other]

Title: Brauer groups of moduli of hyperelliptic curves via cohomological invariantsComments: 28 pages, comments are very welcome! V2: we updated the paper to credit an unpublished result by L. Meier which was recently communicated to usSubjects: Algebraic Geometry (math.AG)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2002, contact, help (Access key information)