Mathematics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Wed, 16 Aug 17
 [1] arXiv:1708.04235 [pdf, ps, other]

Title: On the rate of convergence of barycentric interpolation at equally spaced nodesAuthors: Walter F. MascarenhasSubjects: Numerical Analysis (math.NA)
We extend the recent work of G. Mastroianni and J. Szabados regarding the barycentric interpolant introduced by J.P. Berrut in 1988, for equally spaced nodes. We prove their two conjectures and present a sharp description of the asymptotic error incurred by the interpolants when the derivative of the interpolated function is absolutely continuous. We also contribute to the solution of the broad problem they raised regarding the order of approximation of these interpolants, by showing that such interpolants have order of approximation of order 1/n for functions with absolutely continuous derivatives.
 [2] arXiv:1708.04257 [pdf, ps, other]

Title: On Bounds of Spectral Efficiency of Optimally Beamformed NLOS Millimeter Wave LinksComments: 5 pages,This work has been submitted to the IEEE for possible publicationSubjects: Information Theory (cs.IT)
Antenna beamforming is an indispensable feature for millimeter wave (mmWave) wireless communications in order to compensate for the severe path loss incurred due to high frequency operation. In this paper, we introduce a novel framework to evaluate the spectral efficiency (SE) of nonlineofsight (NLOS) mmWave links with optimal analog beamforming. Optimality here implies the joint selection of antenna beams at the transmitter and receiver which simultaneously maximize the received power. We develop a generalized mathematical framework based on the extended SalehValenzuela channel model to embody the impact of optimal analog beamforming into the performance metrics for NLOS mmWave links. We further utilize the sparsity in practical mmWave channels to develop a simplified framework in order to evaluate SE of beamformed directional links. Simulation results reveal that the proposed model is sufficiently accurate to characterize practical outdoor beamformed mmWave channels. In addition, by neglecting small scale fading we arrive at closed form expressions for SE, and prove that the approximation holds good for mmWave channels which exhibit a high degree of multipath sparsity.
 [3] arXiv:1708.04258 [pdf, ps, other]

Title: The StochasticCalculus Approach to MultiReceiver Poisson ChannelsComments: Submitted to IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
We study tworeceiver Poisson channels using tools derived from stochastic calculus. We obtain a general formula for the mutual information over the Poisson channel that allows for conditioning and the use of auxiliary random variables. We then use this formula to compute necessary and sufficient conditions under which one Poisson channel is less noisy and/or more capable than another, which turn out to be distinct from the conditions under which this ordering holds for the discretized versions of the channels. We also use general formula to determine the capacity region of the more capable Poisson broadcast channel with independent message sets, the more capable Poisson wiretap channel, and the general twodecoder Poisson broadcast channel with degraded message sets.
 [4] arXiv:1708.04261 [pdf, other]

Title: New solution approaches for the maximumreliability stochastic network interdiction problemComments: 16 pagesSubjects: Optimization and Control (math.OC)
We investigate methods to solve the maximumreliability stochastic network interdiction problem (SNIP). In this problem, a defender interdicts arcs on a directed graph to minimize an attacker's probability of undetected traversal through the network. The attacker's origin and destination are unknown to the defender and assumed to be random. SNIP can be formulated as a stochastic mixedinteger program via a deterministic equivalent formulation (DEF). As the size of this DEF makes it impractical for solving large instances, current approaches to solving SNIP rely on modifications of Benders decomposition. We present two new approaches to solve SNIP. First, we introduce a new DEF that is significantly more compact than the standard DEF. Second, we propose a new pathbased formulation of SNIP. The number of constraints required to define this formulation grows exponentially with the size of the network, but the model can be solved via delayed constraint generation. We present valid inequalities for this pathbased formulation which are dependent on the structure of the interdicted arc probabilities. We propose a branchandcut (BC) algorithm to solve this new SNIP formulation. Computational results demonstrate that directly solving the more compact SNIP formulation and this BC algorithm both provide an improvement over a stateoftheart implementation of Benders decomposition for this problem.
 [5] arXiv:1708.04263 [pdf, other]

Title: Uniqueness of Gibbs Measures for Continuous Hardcore ModelsComments: 34 pages, 1 figureSubjects: Probability (math.PR)
We formulate a continuous version of the well known discrete hardcore (or independent set) model on a locally finite graph, parameterized by the socalled activity parameter $\lambda > 0$. In this version, the state or "spin value" $x_u$ of any node $u$ of the graph lies in the interval $[0,1]$, the hardcore constraint $x_u + x_v \leq 1$ is satisfied for every edge $(u,v)$ of the graph, and the space of feasible configurations is given by a convex polytope. When the graph is a regular tree, we show that there is a unique Gibbs measure associated to each activity parameter $\lambda>0$. Our result shows that, in contrast to the standard discrete hardcore model, the continuous hardcore model does not exhibit a phase transition on the infinite regular tree. We also consider a family of continuous models that interpolate between the discrete and continuous hardcore models on a regular tree when $\lambda = 1$ and show that each member of the family has a unique Gibbs measure, even when the discrete model does not. In each case, the proof entails the analysis of an associated Hamiltonian dynamical system that describes a certain limit of the marginal distribution at a node. Furthermore, given any sequence of regular graphs with fixed degree and girth diverging to infinity, we apply our results to compute the asymptotic limit of suitably normalized volumes of the corresponding sequence of convex polytopes of feasible configurations. In particular, this yields an approximation for the partition function of the continuous hard core model on a regular graph with large girth in the case $\lambda = 1$.
 [6] arXiv:1708.04264 [pdf, ps, other]

Title: Homotopy Theoretic Classification of Symmetry Protected PhasesAuthors: Jonathan A. CampbellSubjects: Algebraic Topology (math.AT); Strongly Correlated Electrons (condmat.strel); High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
We classify a number of symmetry protected phases using FreedHopkins' homotopy theoretic classification. Along the way we compute the lowdimensional homotopy groups of a number of novel cobordism spectra.
 [7] arXiv:1708.04265 [pdf, ps, other]

Title: (non)automaticity of completely multiplicative sequences having negligible many nontrivial prime factorsAuthors: Shuo LiSubjects: Number Theory (math.NT)
In this article we consider the completely multiplicative sequences $(a_n)_{n \in \mathbf{N}}$ defined on a field $\mathbf{K}$ and satisfying $$\sum_{p p \leq n, a_p \neq 1, p \in \mathbf{P}}\frac{1}{p}<\infty,$$ where $\mathbf{P}$ is the set of prime numbers. We prove that if such sequences are automatic then they cannot have infinitely many prime numbers $p$ such that $a_{p}\neq 1$. Using this fact, we prove that if a completely multiplicative sequence $(a_n)_{n \in \mathbf{N}}$, vanishing or not, can be written in the form $a_n=b_n\chi_n$ such that $(b_n)_{n \in \mathbf{N}}$ is a non ultimately periodic, completely multiplicative automatic sequence satisfying the above condition, and $(\chi_n)_{n \in \mathbf{N}}$ is a Dirichlet character or a constant sequence, then there exists only one prime number $p$ such that $b_p \neq 1$ or $0$.
 [8] arXiv:1708.04266 [pdf, ps, other]

Title: Representations of an integer by some quaternary and octonary quadratic formsComments: 20 pages, 4 tables. arXiv admin note: text overlap with arXiv:1607.03809Subjects: Number Theory (math.NT)
In this paper we consider certain quaternary quadratic forms and octonary quadratic forms and by using the theory of modular forms, we find formulae for the number of representations of a positive integer by these quadratic forms.
 [9] arXiv:1708.04267 [pdf, ps, other]

Title: The computational content of intrinsic densityAuthors: Eric P. AstorComments: Submitted. 12 pages, 2 figuresSubjects: Logic (math.LO)
In a previous paper, the author introduced the idea of intrinsic density  a restriction of asymptotic density to sets whose density is invariant under computable permutation. We prove that sets with welldefined intrinsic density (and particularly intrinsic density 0) exist only in Turing degrees that are either high ($\mathbf{a}'\ge_{\rm T}\emptyset''$) or compute a diagonally noncomputable function. By contrast, a classic construction of an immune set in every noncomputable degree actually yields a set with intrinsic lower density 0 in every noncomputable degree.
We also show that the former result holds in the sense of reverse mathematics, in that (over $\mathsf{RCA}_0$) the existence of a dominating or diagonally noncomputable function is equivalent to the existence of a set with intrinsic density 0.  [10] arXiv:1708.04268 [pdf, ps, other]

Title: Singularities of General Fibers and the LMMPSubjects: Algebraic Geometry (math.AG)
We use the theory of foliations to study the relative canonical divisor of a normalized inseparable basechange. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by $p1$. We deduce many consequences about the fibrations of the minimal model program: for example the general fibers of terminal $3$fold Mori fiber spaces are normal in characteristic $p\geq 5$ and smooth in characteristic $p\geq 11$.
 [11] arXiv:1708.04269 [pdf, ps, other]

Title: Surprising identities for the hypergeometric 4F3 functionComments: to appear in Bollettino UMI, BUMID1700046R2Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)
A convolution approach leading to an explicit computation of a value of a 4F3 function is outlined. We also investigate about the role of the dilogarithm reflection formula, leading to a remarkable consequence: in some cases, values of 4F3 are given by linear combinations of a squared arctangent and a squared logarithm.
 [12] arXiv:1708.04271 [pdf, ps, other]

Title: The uniqueness of Weierstrass points with semigroup <a;b> and related subgroupsAuthors: Marc CoppensSubjects: Algebraic Geometry (math.AG)
Assume $a$ and $b=na+r$ with $n \geq 1$ and $0<r<a$ are relatively prime integers. In case $C$ is a smooth curve and $P$ is a point on $C$ with Weierstrass semigroup equal to $<a;b>$ then $C$ is called a $C_{a;b}$curve. In case $r \neq a1$ and $b \neq a+1$ we prove $C$ has no other point $Q \neq P$ having Weierstrass semigroup equal to $<a;b>$. We say the Weierstrass semigroup $<a;b>$ occurs at most once. The curve $C_{a;b}$ has genus $(a1)(b1)/2$ and the result is generalized to genus $g<(a1)(b1)/2$. We obtain a lower bound on $g$ (sharp in many cases) such that all Weierstrass semigroups of genus $g$ containing $<a;b>$ occur at most once.
 [13] arXiv:1708.04279 [pdf]

Title: Tamed to compatible when b^(2+) = 1 and b^1 = 2Authors: Clifford Henry TaubesComments: This note fills a gap in an argument from arXiv:09105440v2Subjects: Symplectic Geometry (math.SG)
Weiyi Zhang noticed recently a gap in the proof of the main theorem of the authors article "Tamed to compatible: Symplectic forms via moduli space integration" [T] for the case when the symplectic 4manifold in question has first Betti number 2 (and necessarily selfdual second Betti number 1). This note explains how to fill this gap.
 [14] arXiv:1708.04280 [pdf, other]

Title: Nonsmooth convex caustics for Birkhoff billiardComments: 12 pages, 5 figuresSubjects: Dynamical Systems (math.DS)
This paper is devoted to the examination of the properties of the string construction for the Birkhoff billiard. Based on purely geometric considerations, string construction is suited to provide a table for the Birkhoff billiard, having the prescribed caustic. Exploiting this framework together with the properties of convex caustics, we give a geometric proof of a result by Innami first proved in 2002 by means of AubryMather theory. In the second part of the paper we show that applying the string construction one can find a new collection of examples of $C^2$smooth convex billiard tables with a nonsmooth convex caustic.
 [15] arXiv:1708.04283 [pdf, ps, other]

Title: SemanticallySecured MessageKey Tradeoff over Wiretap Channels with Random ParametersAuthors: Alexander Bunin, Ziv Goldfeld, Haim H. Permuter, Shlomo Shamai (Shitz), Paul Cuff, Pablo PiantanidaSubjects: Information Theory (cs.IT)
We study the tradeoff between secret message (SM) and secret key (SK) rates, simultaneously achievable over a statedependent (SD) wiretap channel (WTC) with noncausal channel state information (CSI) at the encoder. This model subsumes other instances of CSI availability as special cases, and calls for efficient utilization of the state sequence for both reliability and security purposes. An inner bound on the semanticsecurity (SS) SMSK capacity region is derived based on a superposition coding scheme inspired by a past work of the authors. The region is shown to attain capacity for a certain class of SDWTCs. SS is established by virtue of two versions of the strong softcovering lemma. The derived region yields an improvement upon the previously best known SMSK tradeoff result reported by Prabhakaran et al., and, to the best of our knowledge, upon all other existing lower bounds for either SM or SK for this setup, even if the semantic security requirement is relaxed to weak secrecy. It is demonstrated that our region can be strictly larger than those reported in the preceding works.
 [16] arXiv:1708.04284 [pdf, ps, other]

Title: The Berkovich realization for rigid analytic motivesAuthors: Alberto VezzaniComments: 16 pagesSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
We prove that the functor associating to a rigid analytic variety the singular complex of the underlying Berkovich topological space is motivic, and defines the maximal Artin quotient of a motive. We use this to generalize Berkovich's results on the weightzero part of the \'etale cohomology of a variety defined over a nonarchimedean valued field.
 [17] arXiv:1708.04285 [pdf, other]

Title: Quantitative Invertibility and Approximation for the Truncated Hilbert and Riesz TransformsAuthors: Angkana RülandComments: 22 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
In this article we derive quantitative uniqueness and approximation properties for (perturbations) of Riesz transforms. Seeking to provide robust arguments, we adopt a PDE point of view and realize our operators as harmonic extensions, which makes the problem accessible to PDE tools. In this context we then invoke quantitative propagation of smallness estimates in combination with qualitative Runge approximation results. These results can be viewed as quantifications of the approximation properties which have recently gained prominence in the context of nonlocal operators, c.f. [DSV14], [DSV16].
 [18] arXiv:1708.04288 [pdf, ps, other]

Title: Primitive root biases for prime pairs I: existence and nontotality of biasesComments: 24 pagesSubjects: Number Theory (math.NT)
We study the difference between the number of primitive roots modulo $p$ and modulo $p+k$ for prime pairs $p,p+k$. Assuming the BatemanHorn conjecture, we prove the existence of strong sign biases for such pairs. More importantly, we prove that for a small positive proportion of prime pairs $p,p+k$, the dominant inequality is reversed.
 [19] arXiv:1708.04291 [pdf, ps, other]

Title: On the Spectral Norms of PseudoWigner and Related MatricesSubjects: Probability (math.PR)
We investigate the spectral norms of symmetric $N \times N$ matrices from two pseudorandom ensembles. The first is the pseudoWigner ensemble introduced in "PseudoWigner Matrices" by Soloveychik, Xiang and Tarokh and the second is its sample covariancetype analog defined in this work. Both ensembles are defined through the concept of $r$independence by controlling the amount of randomness in the underlying matrices, and can be constructed from dual BCH codes. We show that when the measure of randomness $r$ grows as $N^\rho$, where $\rho \in (0,1]$ and $\varepsilon > 0$, the norm of the matrices is almost surely within $o\left(\frac{\log^{1+\varepsilon} N}{N^{\min[\rho,2/3]}}\right)$ distance from $1$. Numerical simulations verifying the obtained results are provided.
 [20] arXiv:1708.04292 [pdf, ps, other]

Title: Droplet breakup in the liquid drop model with background potentialSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph)
We consider a variant of Gamow's liquid drop model, with a general repulsive Riesz kernel and a longrange attractive background potential with weight $Z$. The addition of the background potential acts as a regularization for the liquid drop model in that it restores the existence of minimizers for arbitrary mass. We consider the regime of small $Z$ and characterize the structure of minimizers in the limit $Z\to 0$ by means of a sharp asymptotic expansion of the energy. In the process of studying this limit we characterize all minimizing sequences for the Gamow model in terms of "generalized minimizers".
 [21] arXiv:1708.04296 [pdf, ps, other]

Title: Zknotted triangulationsSubjects: Combinatorics (math.CO); Geometric Topology (math.GT)
Let $\Gamma$ be a connected simple finite graph embedded in a connected closed $2$dimen\sional surface. A zigzag is a closed path in $\Gamma$, where any two consequent edges lie on the same face and for any three consequent edges the face containing the first and second edges is distinct from the face which contains the second and third. The graph $\Gamma$ is $z$knotted if it contains a singe zigzag. Such graphs are closely connected to Gauss code problem and have nice homological properties. We show that every triangulation of a connected closed $2$dimensional surface admits a $z$knotted shredding.
 [22] arXiv:1708.04298 [pdf, ps, other]

Title: Using incomplete indefinite $LDL^T$ preconditioning for inexact interior point methods for linear programmingAuthors: Robert LuceComments: APMOD 2012 extended abstract; posted for archivational purposeSubjects: Numerical Analysis (math.NA)
Most linear algebra kernels in interior point methods for linear programming require the solution of linear systems of equation with the matrix $N = A^TD^{1}A$ (or $AD^{1}A^T$), where $A$ denotes the constraint matrix of the linear program. This matrix $N$ arises from the reduced KKT system by block elimination. If the number of nonzeros in $N$ or in its Cholesky factorization $N= LL^T$ is very large, the computational cost and memory requirement to solve the linear systems of equations with $N$ may be prohibitively large. In this work we implement an interior point method described by R. Freund and F. Jarre. Forming the normal equation matrix $N$ is avoided altogether and we work with the reduced KKT system instead. We solve the linear systems for the Newton directions iteratively only to low accuracy using SQMR and an indefinite multilevel preconditioner. Preliminary numerical results are encouraging.
 [23] arXiv:1708.04303 [pdf, other]

Title: Datadriven dimensional analysis: algorithms for unique and relevant dimensionless groupsSubjects: Numerical Analysis (math.NA); Methodology (stat.ME)
Classical dimensional analysis has two limitations: (i) the computed dimensionless groups are not unique, and (ii) the analysis does not measure relative importance of the dimensionless groups. We propose two algorithms for estimating unique and relevant dimensionless groups assuming the experimenter can control the system's independent variables and evaluate the corresponding dependent variable; e.g., computer experiments provide such a setting. The first algorithm is based on a response surface constructed from a set of experiments. The second algorithm uses many experiments to estimate finite differences over a range of the independent variables. Both algorithms are semiempirical because they use experimental data to complement the dimensional analysis. We derive the algorithms by combining classical semiempirical modeling with active subspaces, whichgiven a probability density on the independent variablesyield unique and relevant dimensionless groups. The connection between active subspaces and dimensional analysis also reveals that all empirical models are ridge functions, which are functions that are constant along lowdimensional subspaces in its domain. We demonstrate the proposed algorithms on the wellstudied example of viscous pipe flowboth turbulent and laminar cases. The results include a new set of two dimensionless groups for turbulent pipe flow that are ordered by relevance to the system; the precise notion of relevance is closely tied to the derivative based global sensitivity metric from Sobol' and Kucherenko.
 [24] arXiv:1708.04306 [pdf, ps, other]

Title: TitchmarshWeyl theory for vector valued Schrodinger operatorsAuthors: Keshav AcharyaSubjects: Mathematical Physics (mathph)
We develop the TitchmarshWeyl theory for vectorvalued discrete Schr\"odinger operators and show that the Weyl $m$ functions associated with these operators map complex upper half plane to the Siegel upper half space. We also discuss about the Weyl disk and Weyl circle corresponding to these operators.
 [25] arXiv:1708.04307 [pdf, ps, other]

Title: On tidal energy in Newtonian twobody motionComments: 83 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (mathph); Fluid Dynamics (physics.fludyn)
In this work, which is based on an essential linear analysis carried out by Christodoulou, we study the evolution of tidal energy for the motion of two gravitating incompressible fluid balls with free boundaries obeying the EulerPoisson equations. The orbital energy is defined as the mechanical energy of the two bodies' center of mass. According to the classical analysis of Kepler and Newton, when the fluids are replaced by point masses, the conic curve describing the trajectories of the masses is a hyperbola when the orbital energy is positive and an ellipse when the orbital energy is negative. The orbital energy is conserved in the case of point masses. If the point masses are initially very far, then the orbital energy is positive, corresponding to hyperbolic motion. However, in the motion of fluid bodies the orbital energy is no longer conserved because part of the conserved energy is used in deforming the boundaries of the bodies. In this case the total energy $\tilde{\mathcal{E}}$ can be decomposed into a sum $\tilde{\mathcal{E}}:=\widetilde{\mathcal{E}_{{\mathrm{orbital}}}}+\widetilde{\mathcal{E}_{{\mathrm{tidal}}}}$, with $\widetilde{\mathcal{E}_{{\mathrm{tidal}}}}$ measuring the energy used in deforming the boundaries, such that if $\widetilde{\mathcal{E}_{{\mathrm{orbital}}}}<c<0$ for some absolute constant $c>0$, then the orbit of the bodies must be bounded. In this work we prove that under appropriate conditions on the initial configuration of the system, the fluid boundaries and velocity remain regular up to the point of the first closest approach in the orbit, and that the tidal energy $\widetilde{\mathcal{E}_{{\mathrm{tidal}}}}$ can be made arbitrarily large relative to the total energy $\tilde{\mathcal{E}}$. In particular under these conditions $\widetilde{\mathcal{E}_{{\mathrm{orbital}}}}$, which is initially positive, becomes negative before the point of the first closest approach.
 [26] arXiv:1708.04309 [pdf, ps, other]

Title: A sufficient condition to a regular set of positive measure on RCD spacesAuthors: Yu KitabeppuComments: 15 pages.arXiv admin note: text overlap with arXiv:1603.04162Subjects: Metric Geometry (math.MG)
In this paper, we study regular sets in metric measure spaces with bounded Ricci curvature. We prove that the existence of a point in the regular set of the highest dimension implies the positivity of the measure of such regular set. Also we define thee dimension of metric measure spaces and prove the lower semicontinuity of that under the GromovHausdorff convergence.
 [27] arXiv:1708.04310 [pdf, other]

Title: Linearly implicit full discretization of surface evolutionComments: arXiv admin note: text overlap with arXiv:1607.07170Subjects: Numerical Analysis (math.NA)
Stability and convergence of full discretizations of various surface evolution equations are studied in this paper. The proposed discretization combines a higherorder evolvingsurface finite element method (ESFEM) for space discretization with higherorder linearly implicit backward difference formulae (BDF) for time discretization. The stability of the full discretization is studied in the matrixvector formulation of the numerical method. The geometry of the problem enters into the bounds of the consistency errors, but does not enter into the proof of stability. Numerical examples illustrate the convergence behaviour of the full discretization.
 [28] arXiv:1708.04311 [pdf, ps, other]

Title: PBW bases and marginally large tableaux in types B and CComments: 18 pagesSubjects: Combinatorics (math.CO); Quantum Algebra (math.QA)
We explicitly describe the isomorphism between two combinatorial realizations of Kashiwara's infinity crystal in types B and C. The first realization is in terms of marginally large tableaux and the other is in terms of Kostant partitions coming from PBW bases. We also discuss a stack notation for Kostant partitions which simplifies that realization.
 [29] arXiv:1708.04315 [pdf, ps, other]

Title: Quantum polynomial functors from $e$Hecke algebrasComments: 26 pages. Comments welcomeSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
We define a new category of quantum polynomial functors extending the quantum polynomials introduced by Hong and Yacobi. We show that our category has many properties of the category of Hong and Yacobi and is the natural setting in which one can define composition of quantum polynomial functors. Throughout the paper we highlight several key differences between the theory of classical and quantum polynomial functors.
 [30] arXiv:1708.04322 [pdf, ps, other]

Title: Optimization of Heterogeneous Coded CachingComments: To be submitted to IEEE Transactions on Information Theory. 26 pages, 6 figuresSubjects: Information Theory (cs.IT)
This paper aims to provide an optimization framework for coded caching that accounts for various heterogeneous aspects of practical systems. An optimization theoretic perspective on the seminal work on the fundamental limits of caching by Maddah Ali and Niesen is first developed, whereas it is proved that the coded caching scheme presented in that work is the optimal scheme among a large, nontrivial family of possible caching schemes. The optimization framework is then used to develop a coded caching scheme capable of handling simultaneous nonuniform file length, nonuniform file popularity, and nonuniform user cache size. Although the resulting full optimization problem scales exponentially with the problem size, this paper shows that tractable simplifications of the problem that scale as a polynomial function of the problem size can still perform well compared to the original problem. By considering these heterogeneities both individually and in conjunction with one another, insights into their interactions and influence on optimal cache content are obtained.
 [31] arXiv:1708.04328 [pdf, ps, other]

Title: Compatibilité des structures riemanniennes et des structures de JacobiComments: In French, 15 pagesSubjects: Differential Geometry (math.DG)
We give a notion of compatibility between a Riemannian metric and a Jacobi structure. We prove that in case of Poisson structures, contact structures and locally conformally symplectic structures, fundamental examples of Jacobi structures, we get respectively RiemannPoisson structures in the sense of M. Boucetta, $\frac{1}{ 2}$Kenmotsu structures and locally conformally K\"ahler structures.
 [32] arXiv:1708.04332 [pdf, other]

Title: Polynomial interpolation of Burgers' equation with randomnessSubjects: Numerical Analysis (math.NA)
Generalized polynomial chaos (gPC) has been extensively used in uncertainty quantification problems to handle random variables. For gPC to be valid, one requires high regularity on the random space that hyperbolic type problems usually cannot provide, and thus it is believed to behave poorly in those systems. We provide a counterargument in this paper, and show that despite the solution profile itself develops singularities in the random space, which prevents the use of gPC, the physical quantities such as shock emergence time, shock location, and shock width are all smooth functions of random variables in the initial data: with proper shifting, the solution's polynomial interpolation approximates with high accuracy. The studies were inspired by the stability results from hyperbolic systems. We use the Burgers' equation as an example for thorough analysis, and the analysis could be extended to general conservation laws with convex fluxes.
 [33] arXiv:1708.04334 [pdf, ps, other]

Title: Singular Riemannian flows and characteristic numbersComments: 14 pagesSubjects: Differential Geometry (math.DG)
Let $M$ be an evendimensional, oriented closed manifold. We show that the restriction of a singular Riemannian flow on $M$ to a tubular neighborhood of each connected component of its singular stratum is foliateddiffeomorphic to an isometric flow on the same neighborhood. We then prove a formula that computes characteristic numbers of $M$ as the sum of residues associated to a characteristic polynomial and the singular stratum of the flow.
 [34] arXiv:1708.04340 [pdf, ps, other]

Title: On $k$normality of Very Ample Lattice PolytopesAuthors: Bach Le TranSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
In this paper, for any ample lattice polytope $P$, we will give an integer $N$, depending on the combinatorial data of $P$, such that $P$ is $k$normal for every $k\ge N$. Then we will apply the result to the case of smooth polytopes to give some nice bounds.
 [35] arXiv:1708.04343 [pdf, other]

Title: Spectral Methods for Passive Imaging: Nonasymptotic Performance and RobustnessSubjects: Information Theory (cs.IT); Probability (math.PR)
We study the problem of passive imaging through convolutive channels. A scene is illuminated with an unknown, unstructured source, and the measured response is the convolution of this source with multiple channel responses, each of which is timelimited. Spectral methods based on the commutativity of convolution, first proposed and analyzed in the 1990s, provide an elegant mathematical framework for attacking this problem. However, these now classical methods are very sensitive to noise, especially when working from relatively small sample sizes.
In this paper, we show that a linear subspace model on the coefficients of the impulse responses of the channels can make this problem wellposed. We derive nonasymptotic error bounds for the generic subspace model by analyzing the spectral gap of the crosscorrelation matrix of the channels relative to the perturbation introduced by noise. Numerical results show that this modified spectral method offers significant improvements over the classical method and outperforms other competing methods for multichannel blind deconvolution.  [36] arXiv:1708.04344 [pdf, ps, other]

Title: Approximation of Minimal Functions by Extreme FunctionsSubjects: Optimization and Control (math.OC); Functional Analysis (math.FA); Numerical Analysis (math.NA)
In a recent paper, Basu, Hildebrand, and Molinaro established that the set of continuous minimal functions for the 1dimensional GomoryJohnson infinite group relaxation possesses a dense subset of extreme functions. The $n$dimensional version of this result was left as an open question. In the present paper, we settle this query in the affirmative: for any integer $n \geq 1$, every continuous minimal function can be arbitrarily well approximated by an extreme function in the $n$dimensional GomoryJohnson model.
 [37] arXiv:1708.04350 [pdf, ps, other]

Title: On a topological version of Pach's overlap theoremComments: 9 pages, 2 figuresSubjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearlysized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a topological extension of Pach's theorem does not hold with subsets of size $C(\log n)^{1/(d1)}$. We show that this is tight in dimension $2$, for all surfaces other than $\mathbb{S}^2$. Surprisingly, the optimal bound for $\mathbb{S}^2$ in the topological version of Pach's theorem is of the order $(\log n)^{1/2}$. We conjecture that, among higherdimensional manifolds, spheres are similarly distinguished. This improves upon the results of B\'ar\'any, Meshulam, Nevo and Tancer.
 [38] arXiv:1708.04356 [pdf, other]

Title: On the Euler discretization error of Brownian motion about random timesSubjects: Probability (math.PR)
In this paper we derive weak limits for the discretization errors of sampling barrierhitting and extreme events of Brownian motion by using the Euler discretization simulation method. Specifically, we consider the Euler discretization approximation of Brownian motion to sample barrierhitting events, i.e. hitting for the first time a deterministic "barrier" function; and to sample extreme events, i.e. attaining a minimum on a given compact time interval or unbounded closed time interval. For each case we study the discretization error between the actual time the event occurs versus the time the event occurs for the discretized path, and also the discretization error on the position of the Brownian motion at these times. We show limits in distribution for the discretization errors normalized by their convergence rate, and give closedform analytic expressions for the limiting random variables. Additionally, we use these limits to study the asymptotic behaviour of Gaussian random walks in the following situations: (1.) the overshoot of a Gaussian walk above a barrier that goes to infinity; (2.) the minimum of a Gaussian walk compared to the minimum of the Brownian motion obtained when interpolating the Gaussian walk with Brownian bridges, both up to the same time horizon that goes to infinity; and (3.) the global minimum of a Gaussian walk compared to the global minimum of the Brownian motion obtained when interpolating the Gaussian walk with Brownian bridges, when both have the same positive drift decreasing to zero. In deriving these limits in distribution we provide a unified framework to understand the relation between several papers where the constant $\zeta(1/2)/\sqrt{2 \pi}$ has appeared, where $\zeta$ is the Riemann zeta function. In particular, we show that this constant is the mean of some of the limiting distributions we derive.
 [39] arXiv:1708.04361 [pdf, ps, other]

Title: A short proof that the free associative algebra is HopfianComments: 5 pagesSubjects: Rings and Algebras (math.RA)
A short proof is given of the fact that various classes of algebras including the free associative algebra are Hopfian, i.e., every epimorphism is an automorphism. This further simplifies the DicksLewin solution of the Jacobian conjecture for the free associative algebra. It also relates to the Jacobian conjecture for metaabelian algebras.
 [40] arXiv:1708.04365 [pdf, ps, other]

Title: A new proof of Nakayama's Conjecture via Brauer quotients of Young modulesAuthors: William O'DonovanComments: 16 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
We provide a selfcontained proof of the main properties of Brauer quotients of Young modules. We then use these results to give a new inductive proof of Nakayama's Conjecture on the blocks of the symmetric group.
 [41] arXiv:1708.04368 [pdf, ps, other]

Title: Naimark's problem for AF graph C*algebrasSubjects: Operator Algebras (math.OA)
Naimark's problem asks whether a C*algebra that has only one irreducible *representation up to unitary equivalence is isomorphic to the C*algebra of compact operators on some (not necessarily separable) Hilbert space. This problem has been solved in special cases, including separable C*algebras and Type I C*algebras. However, in 2004 Akemann and Weaver used the diamond principle to construct a C*algebra with $\aleph_1$ generators that is a counterexample to Naimark's Problem. More precisely, they showed that the statement "There exists a counterexample to Naimark's Problem that is generated by $\aleph_1$ elements." is independent of the axioms of ZFC. Whether Naimark's problem itself is independent of ZFC remains unknown. In this paper we examine Naimark's problem in the setting of graph C*algebras, and show that it has an affirmative answer for (not necessarily separable) AF graph C*algebras as well as for C*algebras of graphs in which each vertex emits a countable number of edges.
 [42] arXiv:1708.04372 [pdf, ps, other]

Title: Enumerations relating braid and commutation classesComments: 19 pagesSubjects: Combinatorics (math.CO)
We obtain an upper and lower bound for the number of reduced words for a permutation in terms of the number of braid classes and the number of commutation classes of the permutation. We classify the permutations that achieve each of these bounds, and enumerate both cases.
 [43] arXiv:1708.04376 [pdf, ps, other]

Title: On the renormalized volume of tubes over polarized KählerEinstein manifoldsAuthors: Yuya TakeuchiComments: 7 pagesSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
A formula of the renormalized volume of tubes over polalized K\"{a}hlerEinstein manifolds is given in terms of the Einstein constant and the volume of the polarization.
 [44] arXiv:1708.04380 [pdf, ps, other]

Title: The Three Gaps Theorem, Interval Exchange Transformations, and Zippered RectanglesSubjects: Dynamical Systems (math.DS); Number Theory (math.NT)
The Three Gaps Theorem states that for any $\alpha \in (0,1)$ and any integer $N \geq 1$, the fractional parts of the sequence $0, \alpha, 2\alpha, \cdots, (N1)\alpha$ partition the unit interval into $N$ subintervals having at most three distincts lengths. We here provide a new proof of this theorem using zippered rectangles, and present a new gaps theorem (along with two proofs) for general interval exchange transformations. We also touch on the statistics of the Three Gaps Theorem.
 [45] arXiv:1708.04385 [pdf, other]

Title: Twoparameter asymptotic expansions for elliptic equations with small geometric perturbation and high contrast ratioSubjects: Analysis of PDEs (math.AP)
We consider the asymptotic solutions of an interface problem corresponding to an elliptic partial differential equation with Dirich let boundary condition and transmission condition, subject to the small geometric perturbation and the high contrast ratio of the conductivity. We consider two types of perturbations: the first corresponds to a thin layer coating a fixed bounded domain and the second is the per perturbation of the interface. As the perturbation size tends to zero and the ratio of the conductivities in two subdomains tends to zero, the twoparameter asymptotic expansions on the fixed reference domain are derived to any order after the single parameter expansions are solved be forehand. Our main tool is the asymptotic analysis based on the Taylor expansions for the properly extended solutions on fixed domains. The Neumann boundary condition and Robin boundary condition arise in twoparameter expansions, depending on the relation of the geometric perturbation size and the contrast ratio.
 [46] arXiv:1708.04395 [pdf, other]

Title: Sidon sets and statistics of the ElGamal functionComments: 7 figuresSubjects: Number Theory (math.NT)
In the ElGamal signature and encryption schemes, an element $x$ of the underlying group $G = \mathbb{Z}_p^\times = \{1, \ldots, p1 \}$ for a prime $p$ is also considered as an exponent, for example in $g^x$, where $g$ is a generator of G. This ElGamal map $x \mapsto g^x$ is poorly understood, and one may wonder whether it has some randomness properties. The underlying map from $G$ to $\mathbb{Z}_{p1}$ with $x \mapsto x$ is trivial from a computer science point of view, but does not seem to have any mathematical structure.
This work presents two pieces of evidence for randomness. Firstly, experiments with small primes suggest that the map behaves like a uniformly random permutation with respect to two properties that we consider. Secondly, the theory of Sidon sets shows that the graph of this map is equidistributed in a suitable sense.
It remains an open question to prove more randomness properties, for example, that the ElGamal map is pseudorandom.  [47] arXiv:1708.04397 [pdf, ps, other]

Title: Group Embeddings with Algorithmic PropertiesAuthors: Arman DarbinyanJournalref: Communications in Algebra, 2015Subjects: Group Theory (math.GR); Logic (math.LO)
We show that every countable group H with solvable word problem (=computable group) can be subnormally embedded into a 2generated group G which also has solvable word problem. Moreover, the membership problem for H < G is also solvable. We also give estimates of time and space complexity of the word problem in G and of the membership problem for H < G.
 [48] arXiv:1708.04401 [pdf, other]

Title: Shared Spectrum Access Communications: A Neutral Host Micro Operator ApproachAuthors: Mirza Golam Kibria, Gabriel Porto Villardi, Kien Nguyen, WeiShun Liao, Kentaro Ishizu, Fumihide KojimaJournalref: IEEE J. Sel. Areas Commun., vol. 35, no. 8, pp. 17411753, Aug. 2017Subjects: Information Theory (cs.IT)
In this paper, we conceive an advanced neutral host micro operator (NH{\mu}O) network approach providing venues with services tailored to their specialized/specific requirements and/or local context related services that the mobile network operators (MNOs) are poorlysuited to providing it, as well as mobile broadband experience to the users from MNOs in a venue where only a single infrastructure is mandated under shared spectrum access framework. A radio access network slicing concept is conceived to support and optimize both the slice instance (SI) use cases independently and efficiently by running all network implementations in parallel, simultaneously on a common physical network infrastructure. We devise a common shared architecture for the NH{\mu}O small cell base stations and dynamic spectrum assignment control unit, and their required functionalities supporting coexistence of different SIs as well as multiple MNOs in shared spectrum access communications. We devise both interSI and intra SI dynamic spectrum allocation policies considering timevarying requirements of different SIs. The policies are capable of taking care of application level priority, i.e., mixture of guaranteed quality of service and besteffort service users served by each SI while ensuring a healthy competition. Our proposed framework serves twofold advantages, such as it gives the venue owner its own managed wireless networks tailored to its very specific requirements, and it also brings out cost savings and coverage extension for MNOs and efficiency of resources that arise from sharing wireless networks, and delivering the network capacity into high density venues.
 [49] arXiv:1708.04405 [pdf, ps, other]

Title: Linking systems of difference setsComments: 26 pagesSubjects: Combinatorics (math.CO)
A linking system of difference sets is a collection of mutually related group difference sets, whose advantageous properties have been used to extend classical constructions of systems of linked symmetric designs. The central problems are to determine which groups contain a linking system of difference sets, and how large such a system can be. All previous results are constructive, and are restricted to 2groups. We make a connection to Kerdock sets which leads to large linking systems of difference sets in elementary abelian $2$groups. We use an elementary projection argument to show that neither the McFarland/Dillon nor the Spence construction of difference sets can give rise to a linking system of difference sets in non$2$groups. We give a new construction for linking systems of difference sets in 2groups, taking advantage of a previously unrecognized connection with group difference matrices. This construction simplifies and extends prior results, producing larger linking systems than before in certain 2groups, new linking systems in other 2groups for which no system was previously known, and the first known examples in nonabelian groups.
 [50] arXiv:1708.04406 [pdf, ps, other]

Title: The square of a planar cubic graph is $7$colorableAuthors: Carsten ThomassenSubjects: Combinatorics (math.CO)
We prove the conjecture made by G.Wegner in 1977 that the square of every planar, cubic graph is $7$colorable. Here, $7$ cannot be replaced by $6$.
 [51] arXiv:1708.04407 [pdf, other]

Title: Throughput Enhancement of Multicarrier Cognitive M2M Networks: UniversalFiltered OFDM SystemsJournalref: IEEE Internet of Things Journal, vol. 3, no. 5, pp. 830838, Oct. 2016Subjects: Information Theory (cs.IT)
We consider a cognitive radio network consisting of a primary cellular system and a secondary cognitive machinetomachine (M2M) system, and study the throughput enhancement problem of the latter system employing universalfiltered orthogonal frequency division multiplexing (UFOFDM) modulation. The downlink transmission capacity of the cognitive M2M system is thereby maximized, while keeping the interference introduced to the primary users (PUs) below the prespecified threshold, under total transmit power budget of the secondary base station (SBS). The performance of UFOFDM based CR system is compared to the performances of OFDMbased and filter bank multicarrier (FBMC)based CR systems. We also propose a nearoptimal resource allocation method separating the subband and power allocation. The solution is less complex compared to optimization of the original combinatorial problem. We present numerical results that show that for given interference thresholds of the PUs and maximum transmit power limit of the SBS, the UFOFDM based CR system exhibits intermediary performance in terms of achievable capacity compared to OFDM and FBMCbased CR systems. Interestingly, for a certain degree of robustness of the PUs, the UFOFDM performs equally well as FBMC. Furthermore, the percentage rategain of UFOFDM based CR system increases by a large amount when UFOFDM modulation with lower sidelobes ripple is employed. Numerical results also show that the proposed throughput enhancing method despite having lower computational complexity compared to the optimal solution achieves nearoptimal performance.
 [52] arXiv:1708.04408 [pdf, ps, other]

Title: Sobolev regularity for the porous medium equation with a forceAuthors: Benjamin GessComments: 35 pagesSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We establish improved velocity averaging Lemmata with applications to nonisotropic parabolichyperbolic PDE. In particular, this leads to improved spatial regularity estimates for solutions to porous media equations with a force in fractional Sobolev spaces. Scaling arguments indicate that the obtained regularity is optimal and it is consistent with the optimal regularity in the linear limit. In particular, regularity estimates of an order of differentiability larger than one are obtained for forced porous media equations here for the first time. In addition, optimal regularity estimates for a degenerate parabolic Anderson model are shown in one spatial dimension.
 [53] arXiv:1708.04412 [pdf, other]

Title: Resource Allocation in Shared Spectrum Access Communications for Operators with Diverse Service RequirementsJournalref: EURASIP J. Adv. Signal Process., (2016) 2016:83Subjects: Information Theory (cs.IT)
In this paper, we study interoperator spectrum sharing and intraoperator resource allocation in shared spectrum access communication systems and propose efficient dynamic solutions to address both interoperator and intraoperator resource allocation optimization problems. For interoperator spectrum sharing, we present two competent approaches, namely the subcarrier gain based sharing and fragmentation based sharing, which carry out fair and flexible allocation of the available shareable spectrum among the operators subject to certain welldefined sharing rules, traffic demands and channel propagation characteristics. Subcarrier gain based spectrum sharing scheme has been found to be more efficient in terms of achieved throughput. However, fragmentation based sharing is more attractive in terms of computational complexity. For intraoperator resource allocation, we consider resource allocation problem with users' dissimilar service requirements, where the operator supports users with delayconstraint and nondelay constraint service requirements, simultaneously. This optimization problem is a mixed integer nonlinear programming problem and nonconvex, which is computationally very expensive, and the complexity grows exponentially with the number of integer variables. We propose lesscomplex and efficient suboptimal solution based on formulating exact linearization, linear approximation and convexification techniques for the nonlinear and/or nonconvex objective functions and constraints. Extensive simulation performance analysis has been carried out that validates the efficiency of the proposed solution.
 [54] arXiv:1708.04415 [pdf, ps, other]

Title: A class of cyclotomic linear codes and their generalized Hamming weightsAuthors: Fei LiComments: 9Subjects: Information Theory (cs.IT); Number Theory (math.NT)
Firstly, we give a formula on the generalized Hamming weight of linear codes constructed generically by defining sets. Secondly, by choosing properly the defining set we obtain a class of cyclotomic linear codes and then present two alternative formulas to calculate their generalized Hamming weights. Lastly, we determine their weight distribution and generalized Hamming weights partially. Especially, we solved the generalized Hamming weights completely in one case.
 [55] arXiv:1708.04419 [pdf, ps, other]

Title: Discrete time Pontryagin maximum principle for optimal control problems under stateactionfrequency constraintsComments: 31 pagesSubjects: Optimization and Control (math.OC); Systems and Control (cs.SY)
We establish a Pontryagin maximum principle for discrete time optimal control problems under the following three types of constraints: a) constraints on the states pointwise in time, b) constraints on the control actions pointwise in time, and c) constraints on the frequency spectrum of the optimal control trajectories. While the first two types of constraints are already included in the existing versions of the Pontryagin maximum principle, it turns out that the third type of constraints cannot be recast in any of the standard forms of the existing results for the original control system. We provide two different proofs of our Pontryagin maximum principle in this article, and include several special cases finetuned to controlaffine nonlinear and linear system models. In particular, for minimization of quadratic cost functions and linear time invariant control systems, we provide tight conditions under which the optimal controls under frequency constraints are either normal or abnormal.
 [56] arXiv:1708.04422 [pdf, ps, other]

Title: Supercritical Superprocesses: Proper Normalization and Nondegenerate Strong LimitSubjects: Probability (math.PR)
Suppose that $X=\{X_t, t\ge 0; \mathbb{P}_{\mu}\}$ is a supercritical superprocess in a locally compact separable metric space $E$. Let $\phi_0$ be a positive eigenfunction corresponding to the first eigenvalue $\lambda_0$ of the generator of the mean semigroup of $X$. Then $M_t:=e^{\lambda_0t}\langle\phi_0, X_t\rangle$ is a positive martingale. Let $M_\infty$ be the limit of $M_t$. It is known (see, J. Appl. Probab. 46 (2009), 479496) that $M_\infty$ is nondegenerate iff the $L\log L$ condition is satisfied. In this paper we deal with the case when the $L\log L$ condition is not satisfied. We prove that there exist a function $\gamma_t$ on $[0, \infty)$ and a nondegenerate random variable $W$ such that for any finite nonzero Borel measure $\mu$ on $E$, $$ \lim_{t\to\infty}\gamma_t\langle \phi_0,X_t\rangle =W,\qquad\mbox{a.s.}\mathbb{P}_{\mu}. $$ We also give the almost sure limit of $\gamma_t\langle f,X_t\rangle$ for a class of general test functions $f$.
 [57] arXiv:1708.04423 [pdf, other]

Title: Distributed Weighted SumRate Maximization in Multicell MUMIMO OFDMA DownlinkJournalref: Proc. IEEE International Conference on Communications (IEEE ICC)., Sydney, Australia, Jun. 2014Subjects: Information Theory (cs.IT)
This paper considers distributed linear beamforming in downlink multicell multiuser orthogonal frequencydivision multiple access networks. A fast convergent solution maximizing the weighted sum rate with per base station (BS) transmiting power constraint is formulated. We approximate the non convex weighted sumrate maximization (WSRM) problem with a semidefinite relaxed solvable convex form by means of a series of approximation based on interference alignment (IA) analysis. The WSRM optimization is a twostage optimization process. In the first stage, the IA conditions are satisfied. In the second stage, the convex approximation of the nonconvex WSRM is obtained based on the consequences of IA, and high signaltointerferenceplusnoise ratio assumption. Compared to the conventional iterative distributed algorithms where the BSs exchange additional information at each iteration, the BSs of our proposed solution optimize their beamformers locally without reporting additional information during the iterative procedure.
 [58] arXiv:1708.04425 [pdf, ps, other]

Title: Complete classification of Brieskorn polynomials up to the arcanalytic equivalenceAuthors: JeanBaptiste CampesatoSubjects: Algebraic Geometry (math.AG)
It has been recently proved that the arcanalytic type of a singular Brieskorn polynomial determines its exponents. This last result may be seen as a real analogue of a theorem by E. Yoshinaga and M. Suzuki concerning the topological type of complex Brieskorn polynomials. In the real setting it is natural to investigate further by asking how the signs of the coefficients of a Brieskorn polynomial change its arcanalytic type.
The aim of the present paper is to answer this question by giving a complete classification of Brieskorn polynomials up to the arcanalytic equivalence. The proof relies on an invariant of this relation whose construction is similar to the one of DenefLoeser motivic zeta functions.
The classification obtained generalizes the one of KoikeParusi\'nski in the two variable case up to the blowanalytic equivalence and the one of Fichou in the three variable case up to the blowNash equivalence.  [59] arXiv:1708.04426 [pdf, ps, other]

Title: Ranktwo Milnor idempotents for the multipullback quantum complex projective planeComments: 27 pagesSubjects: KTheory and Homology (math.KT); Operator Algebras (math.OA)
The $K_0$group of the C*algebra of multipullback quantum complex projective plane is known to be $\mathbb{Z}^3$, with one generator given by the C*algebra itself, one given by the section module of the noncommutative (dual) tautological line bundle, and one given by the Milnor module associated to a generator of the $K_1$group of the C*algebra of CalowMatthes quantum 3sphere. Herein we prove that these Milnor modules are isomorphic either to the direct sum of section modules of noncommutative tautological and dual tautological line bundles, or to a complement of this sum in the rankfour free module. We also show that the direct sum of these noncommutative line bundles is a noncommutative vector bundle associated to the $SU_q(2)$prolongation of the Heegaard quantum 5sphere $S^5_H$ viewed as a $U(1)$quantum principal bundle. Finally, we demonstrate that the above Milnor modules always split into the direct sum of the rankone free module and a rankone nonfree projective module that is not associated with $S^5_H$.
 [60] arXiv:1708.04428 [pdf, ps, other]

Title: Monoidal categories associated with strata of flag manifoldsComments: 50 pagesSubjects: Representation Theory (math.RT)
We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doublyinvariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the graded module category of a quiver Hecke algebra $R$. When $v= \mathrm{id}$, $\mathscr{C}_{w,v}$ is the same as the monoidal category which provides a monoidal categorification of the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))_{\mathbb{Z}[q,q^{1}]}$ given by KangKashiwaraKimOh. We show that the category $\mathscr{C}_{w,v}$ contains special determinantial modules $\mathsf{M}(w_{\le k}\Lambda, v_{\le k}\Lambda)$ for $k=1, \ldots, \ell(w)$, which commute with each other. When the quiver Hecke algebra $R$ is symmetric, we find a formula of the degree of $R$matrices between the determinantial modules $\mathsf{M}(w_{\le k}\Lambda, v_{\le k}\Lambda)$. When it is of finite $ADE$ type, we further prove that there is an equivalence of categories between $\mathscr{C}_{w,v}$ and $\mathscr{C}_u$ for $w,u,v \in \mathsf{W}$ with $w = vu$ and $\ell(w) = \ell(v) + \ell(u)$.
 [61] arXiv:1708.04429 [pdf, other]

Title: Smart Meter Privacy via the Trapdoor ChannelComments: 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm)Subjects: Information Theory (cs.IT); Systems and Control (cs.SY)
A battery charging policy that provides privacy guarantees for smart meter systems with finite capacity battery is proposed. For this policy an upper bound on the information leakage rate is provided. The upper bound applies for general random processes modelling the energy consumption of the user. It is shown that the average energy consumption of the user determines the information leakage rate to the utility provider. The upper bound is shown to be tight by deriving the probability law of a random process achieving the bound.
 [62] arXiv:1708.04431 [pdf, other]

Title: Coexistence of Systems with Different Multicarrier Waveforms in LSA CommunicationsComments: Proc. IEEE Wireless Personal Multimedia Communications (IEEE WPMC)., Hyderabad, India, Dec. 2015Subjects: Information Theory (cs.IT)
We study the coexistence of different multicarrier waveforms such as orthogonal frequency division multiplexing (OFDM), filterbank multicarrier (FBMC) and universalfiltered multicarrier (UFMC) waveforms in licensed shared access (LSA) for nextgeneration communication systems. The fundamental changes required in the existing physical layer using OFDM towards a hybrid physical layer (either OFDMFBMC or OFDM UFMC) ensuring backward compatibility are discussed. We also perform mutual interference analysis for the coexisting asynchronous systems sharing the LSA frequency band. Be cause of the nonorthogonality between their respective transmit signals, power is spilled from a system to the other causing interference. In consideration of analyzing this interaction, power spectral densities of the multicarrier waveforms are exploited. We quantify the amount of percentage powerloss experienced by the interfering systems for not fully exploiting their available power budgets. The simulation results reveal that the interfering system with FBMC suffers the least percentage powerpower loss due to its very low sidelobes while conventional OFDMbased system suffers the most. The UFMCbased system exhibits intermediary performance with respect to achieved throughput and powerloss when compared with OFDM and FBMCbased systems.
 [63] arXiv:1708.04444 [pdf, other]

Title: Efficient Downlink Channel Probing and Uplink Feedback in FDD Massive MIMO SystemsComments: 24 pages, 10 figuresSubjects: Information Theory (cs.IT)
Massive MultipleInput MultipleOutput (massive MIMO) is a variant of multiuser MIMO in which the number of antennas at each Base Station (BS) is very large and typically much larger than the number of users simultaneously served. Massive MIMO can be implemented with Time Division Duplexing (TDD) or Frequency Division Duplexing (FDD) operation. FDD massive MIMO systems are particularly desirable due to their implementation in current wireless networks and their efficiency in situations with symmetric traffic and delaysensitive applications. However, implementing FDD massive MIMO systems is known to be challenging since it imposes a large feedback overhead in the Uplink (UL) to obtain channel state information for the Downlink (DL). In recent years, a considerable amount of research is dedicated to developing methods to reduce the feedback overhead in such systems. In this paper, we use the sparse spatial scattering properties of the environment to achieve this goal. The idea is to estimate the support of the continuous, frequencyinvariant scattering function from UL channel observations and use this estimate to obtain the support of the DL channel vector via appropriate interpolation. We use the resulting support estimate to design an efficient DL probing and UL feedback scheme in which the feedback dimension scales proportionally with the sparsity order of DL channel vectors. Since the sparsity order is much less than the number of BS antennas in almost all practically relevant scenarios, our method incurs much less feedback overhead compared with the currently proposed methods in the literature, such as those based on compressedsensing. We use numerical simulations to assess the performance of our probingfeedback algorithm and compare it with these methods.
 [64] arXiv:1708.04446 [pdf, ps, other]

Title: Elliptic operators on refined Sobolev scales on vector bundlesAuthors: Tetiana ZinchenkoComments: 22 pagesJournalref: OpenMath.,15 (2017), no. 1, p 907925Subjects: Analysis of PDEs (math.AP)
We introduce a refined Sobolev scale on a vector bundle over a closed infinitely smooth manifold. This scale consists of inner product H\"ormander spaces parametrized with a real number and a function varying slowly at infinity in the sense of Karamata. We prove that these spaces are obtained by the interpolation with a function parameter between inner product Sobolev spaces. An arbitrary classical elliptic pseudodifferential operator acting between vector bundles of the same rank is investigated on this scale. We prove that this operator is bounded and Fredholm on pairs of appropriate H\"ormander spaces. We also prove that the solutions to the corresponding elliptic equation satisfy a certain a priori estimate on these spaces. The local regularity of these solutions is investigated on the refined Sobolev scale. We find new sufficient conditions for the solutions to have continuous derivatives of a given order.
 [65] arXiv:1708.04447 [pdf, ps, other]

Title: The Regularized Hadamard ExpansionComments: 17 pages, LaTeXSubjects: Mathematical Physics (mathph); General Relativity and Quantum Cosmology (grqc); Analysis of PDEs (math.AP)
A local expansion is proposed for twopoint distributions involving an ultraviolet regularization in a globally hyperbolic spacetime. The regularization is described by an infinite number of functions which can be computed iteratively by solving transport equations along null geodesics. The resulting regularized Hadamard expansion gives detailed and explicit information on the dynamics of the regularization effects.
 [66] arXiv:1708.04454 [pdf, other]

Title: Convex Approximated Weighted SumRate Maximization for Multicell Multiuser OFDMJournalref: IEICE Trans. Fundamentals, vol. E97A, no. 8, pp. 18001805, Aug. 2014Subjects: Information Theory (cs.IT)
This letter considers the weighted sumrate maximization (WSRMax) problem in downlink multicell multiuser orthogonal frequencydivision multiplexing system. The WSRMax problem under per base station transmit power constraint is known to be NPhard, and the optimal solution is computationally very expensive. We propose two lesscomplex suboptimal convex approximated solutions which are based on sequential parametric convex approximation approach. We derive provably faster convergent iterative convex approximation techniques that locally optimize the weighted sumrate function. Both the iterative solutions are found to converge to the local optimal solution within a few iterations compared to other wellknown techniques. The numerical results demonstrate the effectiveness and superiority of the proposed approaches.
 [67] arXiv:1708.04455 [pdf, ps, other]

Title: Quasi projective dimension for complexesAuthors: Tirdad SharifSubjects: Commutative Algebra (math.AC)
In this note, we extend the quasiprojective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension.
 [68] arXiv:1708.04456 [pdf, ps, other]

Title: On approximation for MoorePenrose inverse of selfadjoint operatorSubjects: Functional Analysis (math.FA)
For an unbounded selfadjoint operator $A$ and its finiterank approximation $\{ A_n \}$ with resolvent consistency, the MoorePenrose inverse sequence$\{ A^\dagger_n \}$ of $\{ A_n \}$ is a naturally computational scheme of the MoorePenrose inverse $A^\dagger$. This paper show that: $A^\dagger$ is continuous and strongly converged by $\{ A^\dagger_n \}$ if and only if $\sup\limits_n \Vert A^\dagger_n \Vert < +\infty$. This result is an unified version of several theorems known.
 [69] arXiv:1708.04462 [pdf, ps, other]

Title: A General Approach to Regularizing Inverse Problems with Regional Data using Slepian WaveletsSubjects: Numerical Analysis (math.NA)
Slepian functions are orthogonal function systems that live on subdomains (for example, geographical regions on the Earth's surface, or bandlimited portions of the entire spectrum). They have been firmly established as a useful tool for the synthesis and analysis of localized (concentrated or confined) signals, and for the modeling and inversion of noisecontaminated data that are only regionally available or only of regional interest. In this paper, we consider a general abstract setup for inverse problems represented by a linear and compact operator between Hilbert spaces with a known singularvalue decomposition (svd). In practice, such an svd is often only given for the case of a global expansion of the data (e.g. on the whole sphere) but not for regional data distributions. We show that, in either case, Slepian functions (associated to an arbitrarily prescribed region and the given compact operator) can be determined and applied to construct a regularization for the illposed regional inverse problem. Moreover, we describe an algorithm for constructing the Slepian basis via an algebraic eigenvalue problem. The obtained Slepian functions can be used to derive an svd for the combination of the regionalizing projection and the compact operator. As a result, standard regularization techniques relying on a known svd become applicable also to those inverse problems where the data are regionally given only. In particular, waveletbased multiscale techniques can be used. An example for the latter case is elaborated theoretically and tested on two synthetic numerical examples.
 [70] arXiv:1708.04463 [pdf, ps, other]

Title: A General Version of the Nullstellensatz for Arbitrary FieldsSubjects: Algebraic Geometry (math.AG)
We prove a general version of Bezout's form of the Nullstellensatz for arbitrary fields. The corresponding sufficient and necessary condition only involves the local existence of multivalued roots for each of the polynomials belonging to the ideal in consideration. Finally, this version implies the standard Nullstellensatz when the coefficient field is algebraically closed.
 [71] arXiv:1708.04464 [pdf, other]

Title: Dynamics on the space of 2lattices in 3spaceComments: Submitted. 47 pages, 3 figuresSubjects: Dynamical Systems (math.DS)
We study the dynamics of $SL_3(\mathbb{R})$ and its subgroups on the homogeneous space $X$ consisting of homothety classes of rank2 discrete subgroups of $\mathbb{R}^3$. We focus on the case where the acting group is Zariski dense in either $SL_3(\mathbb{R})$ or $SO(2,1)(\mathbb{R})$. Using techniques of Benoist and Quint we prove that for a compactly supported probability measure $\mu$ on $SL_3(\mathbb{R})$ whose support generates a group which is Zariski dense in $SL_3(\mathbb{R})$, there exists a unique $\mu$stationary probability measure on $X$. When the Zariski closure is $SO(2,1)(\mathbb{R})$ we establish a certain dichotomy regarding stationary measures and discover a surprising phenomenon: The Poisson boundary can be embedded in $X$. The embedding is of algebraic nature and raises many natural open problems. Furthermore, motivating applications to questions in the geometry of numbers are discussed.
 [72] arXiv:1708.04467 [pdf, ps, other]

Title: Wellposedness of the martingale problem for nonlocal perturbations of Lévytype generatorsAuthors: Peng JinComments: 25 pagesSubjects: Probability (math.PR)
Let $L$ be a L\'evytype generator whose L\'evy measure is controlled from below by that of a nondegenerate $\alpha$stable ($0<\alpha<2$) process. In this paper, we study the martingale problem for the operator $\mathcal{L}_{t}=L+K_{t}$, with $K_{t}$ being a timedependent nonlocal operator defined by \[ K_{t}f(x):=\int_{\mathbb{R}^{d}\backslash\{0\}}[f(x+y)f(x)\mathbf{1}_{\alpha>1}\mathbf{1}_{\{y\le1\}}y\cdot\nabla f(x)]M(t,x,dy), \] where $M(t,x,\cdot)$ is a L\'evy measure on $\mathbb{R}^{d}\backslash\{0\}$ for each $(t,x)\in \mathbb{R}_+ \times \mathbb{R}^{d}$. We show that if \[ \sup_{t\geq0,x\in\mathbb{R}^{d}}\int_{\mathbb{R}^{d}\backslash\{0\}}1\wedgey^{\beta}M(t,x,dy)<\infty \] for some $0<\beta<\alpha$, then the martingale problem for $\mathcal{L}_{t}$ is wellposed.
 [73] arXiv:1708.04470 [pdf, other]

Title: On the centre of mass of a random walkComments: 25 pages, 1 colour figureSubjects: Probability (math.PR)
For a random walk $S_n$ on $\mathbb{R}^d$ we study the asymptotic behaviour of the associated centre of mass process $G_n = n^{1} \sum_{i=1}^n S_i$. For lattice distributions we give conditions for a local limit theorem to hold. We prove that if the increments of the walk have zero mean and finite second moment, $G_n$ is recurrent if $d=1$ and transient if $d \geq 2$. In the transient case we show that $G_n$ has diffusive rate of escape. These results extend work of Grill, who considered simple symmetric random walk. We also give a class of random walks with symmetric heavytailed increments for which $G_n$ is transient in $d=1$.
 [74] arXiv:1708.04471 [pdf, ps, other]

Title: Logarithmic compactification of the AbelJacobi sectionComments: This paper supersedes arXiv:1310.5981 by the same authors. Logarithmic and tropical perspectives are employed, obtaining stronger results. 24 pages, 2 figuresSubjects: Algebraic Geometry (math.AG)
Given a smooth curve with weighted marked points, the AbelJacboi map produces a line bundle on the curve. This map fails to extend to the full boundary of the moduli space of stable pointed curves. Using logarithmic and tropical geometry, we describe a modular modification of the moduli space of curves over which the AbelJacobi map extends. We also describe the attendant deformation theory and virtual fundamental class of this moduli space. This recovers the double ramification cycle, as well as variants associated to differentials.
 [75] arXiv:1708.04478 [pdf, ps, other]

Title: Statistics in conjugacy classes in free groupsComments: 11 pagesSubjects: Dynamical Systems (math.DS); Group Theory (math.GR)
In this paper, we establish statistical results for a convex cocompact action of a free group on a CAT($1$) space where we restrict to a nontrivial conjugacy class in the group. In particular, we obtain a central limit theorem where the variance is twice the variance that appears when we do not make this restriction.
 [76] arXiv:1708.04480 [pdf, other]

Title: Lifting tropical bitngentsComments: 34 pages, 23 figures, 1 tableSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We study lifts of tropical bitangents to the tropicalization of a given complex algebraic curve together with their lifting multiplicities. Using this characterization, we show that generically all the seven bitangents of a smooth tropical plane quartic lift in sets of four to algebraic bitangents. We do this constructively, i.e. we give solutions for the initial terms of the coefficients of the bitangent lines. This is a step towards a tropical proof that a general smooth quartic admits 28 bitangent lines. The methods are also appropriate to count real bitangents, however the conditions to determine whether a tropical bitangent has real lifts are not purely combinatorial.
 [77] arXiv:1708.04481 [pdf, ps, other]

Title: Renormalized solutions for the fractional p(x)Laplacian equation with L^1 dataComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, we prove the existence and uniqueness of nonnegative renormalized solutions for the fractional p(x)Laplacian problem with L1 data. Our results are new even in the constant exponent fractional pLaplacian equation case.
 [78] arXiv:1708.04482 [pdf, ps, other]

Title: On Vector ARMA Models Consistent with a Finite Matrix Covariance SequenceAuthors: Bin ZhuComments: 12 pages with IEEETAC template (onecolumn draft)Subjects: Statistics Theory (math.ST)
We formulate the so called "VARMA covariance matching problem" and demonstrate the existence of a solution using the degree theory from differential topology.
 [79] arXiv:1708.04484 [pdf, ps, other]

Title: WaringGoldbach Problem: One Square, Four Cubes and Higher PowersComments: 19 pages. arXiv admin note: substantial text overlap with arXiv:1707.07808Subjects: Number Theory (math.NT)
Let $\mathcal{P}_r$ denote an almostprime with at most $r$ prime factors, counted according to multiplicity. In this paper, it is proved that, for $12\leqslant b\leqslant 35$ and for every sufficiently large odd integer $N$, the equation \begin{equation*}
N=x^2+p_1^3+p_2^3+p_3^3+p_4^3+p_5^4+p_6^b \end{equation*} is solvable with $x$ being an almostprime $\mathcal{P}_{r(b)}$ and the other variables primes, where $r(b)$ is defined in the Theorem. This result constitutes an improvement upon that of L\"u and Mu.  [80] arXiv:1708.04488 [pdf, ps, other]

Title: Edgemagic labelings for constellations and armies of caterpillarsAuthors: Márcia R. Cerioli, Cristina G. Fernandes, Orlando Lee, Carla N. Lintzmayer, Guilherme O. Mota, Cândida N. da SilvaSubjects: Combinatorics (math.CO)
Let $G=(V,E)$ be an $n$vertex graph with $m$ edges. A function $f : V \cup E \rightarrow \{1, \ldots, n+m\}$ is an edgemagic labeling of $G$ if $f$ is bijective and, for some integer $k$, we have $f(u)+f(v)+f(uv) = k$ for every edge $uv \in E$. Furthermore, if $f(V) = \{1, \ldots, n\}$, then we say that $f$ is a super edgemagic labeling. A constellation, which is a collection of stars, is symmetric if the number of stars of each size is even except for at most one size. We prove that every symmetric constellation with an odd number of stars admits a super edgemagic labeling. We say that a caterpillar is of type $(r,s)$ if $r$ and $s$ are the sizes of its parts, where $r \leq s$. We also prove that every collection with an odd number of sametype caterpillars admits an edgemagic labeling.
 [81] arXiv:1708.04494 [pdf, ps, other]

Title: Main conjectures for higher rank nearly ordinary families  IComments: 49 pp., comments most welcome!Subjects: Number Theory (math.NT)
In this article, we present the first half of our project on the Iwasawa theory of higher rank Galois deformations over deformations rings of arbitrary dimension. We develop a theory of Coleman maps for a very general class of coefficient rings, devise a dimension reduction procedure for locally restricted Euler systems and finally, put these into use in order to prove a divisibility in a 3variable main conjecture for nearly ordinary families of RankinSelberg convolutions.
 [82] arXiv:1708.04496 [pdf, ps, other]

Title: Analytic continuations of logexpanalytic germsComments: 52 pagesSubjects: Logic (math.LO); Complex Variables (math.CV)
We describe maximal, in a sense made precise, analytic continuations of germs at infinity of unary functions definable in the ominimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound on the logarithmicexponential complexity of the compositional inverse of an infinitely increasing such germ, in terms of its own logarithmicexponential complexity and its level. As a second application, we strengthen Wilkie's theorem on definable complex analytic continuations of germs belonging to the residue field of the valuation ring of all polynomially bounded definable germs.
 [83] arXiv:1708.04504 [pdf, other]

Title: Directed Ramsey number for treesComments: 27 pages, 14 figuresSubjects: Combinatorics (math.CO)
In this paper, we study Ramseytype problems for directed graphs. We first consider the $k$colour oriented Ramsey number of $H$, denoted by $\overrightarrow{R}(H,k)$, which is the least $n$ for which every $k$edgecoloured tournament on $n$ vertices contains a monochromatic copy of $H$. We prove that $ \overrightarrow{R}(T,k) \le c_kT^k$ for any oriented tree $T$. This is a generalisation of a similar result for directed paths by Chv\'atal and by Gy\'arf\'as and Lehel, and answers a question of Yuster. In general, it is tight up to a constant factor.
We also consider the $k$colour directed Ramsey number $\overleftrightarrow{R}(H,k)$ of $H$, which is defined as above, but, instead of colouring tournaments, we colour the complete directed graph of order $n$. Here we show that $ \overleftrightarrow{R}(T,k) \le c_kT^{k1}$ for any oriented tree $T$, which is again tight up to a constant factor, and it generalises a result by Williamson and by Gy\'arf\'as and Lehel who determined the $2$colour directed Ramsey number of directed paths.  [84] arXiv:1708.04505 [pdf, ps, other]

Title: On solving a restricted linear congruence using generalized Ramanujan sumsAuthors: K Vishnu NamboothiriSubjects: Number Theory (math.NT)
Consider the linear congruence equation $x_1+\ldots+x_k \equiv b\,(\text{mod } n)$ for $b,n\in\mathbb{Z}$. By $(a,b)_s$, we mean the largest $l^s\in\mathbb{N}$ which divides $a$ and $b$ simultaneously. For each $d_jn$, define $\mathcal{C}_{j,s} = \{1\leq x\leq n^s  (x,n^s)_s = d^s_j\}$. Bibak et al. gave a formula using Ramanujan sums for the number of solutions of the above congruence equation with some gcd restrictions on $x_i$. We generalize their result with generalized gcd restrictions on $x_i$ by proving that for the above linear congruence, the number of solutions is $$\frac{1}{n^s}\sum\limits_{dn}c_{d,s}(b)\prod\limits_{j=1}^{\tau(n)}\left(c_{\frac{n}{d_j},s}(\frac{n^s}{d^s})\right)^{g_j}$$ where $g_j = \{x_1,\ldots, x_k\}\cap \mathcal{C}_{j,s}$ for $j=1,\ldots \tau(n)$ and $c_{d,s}$ denote the generalized ramanujan sum defined by E. Cohen.
 [85] arXiv:1708.04507 [pdf, ps, other]

Title: The Discrete Fourier Transform of $\mathbf{(r,s)}$even functionsAuthors: K Vishnu NamboothiriSubjects: Number Theory (math.NT)
The Discrete Fourier Transform (DFT) of periodic functions has attracted the attention of many authors. A special class of periodic functions mod $r$ is the subset of all $r$even functions. This concept was introduced by Cohen [Duke Math. J. 16 (1949) 8590] and it was subsequently generalized by McCarthy [J. reine angew. Math. 203 (1960) 5563] to the concept of $(r,s)$even functions. DFT of $r$even functions were studied in detail by Cohen where as that of $(r,s)$even functions were given by McCarthy. In this paper, we use the DFT of $(r,s)$even functions to prove many results and give shorter proofs of certain well known results and identities including the H\"older identity. We also give a characterization of $(r,s)$even functions using DFT.
 [86] arXiv:1708.04509 [pdf, ps, other]

Title: The Capacity of Some Classes of PolyhedraComments: 14 pagesSubjects: Algebraic Topology (math.AT)
K. Borsuk in 1979, in the Topological Conference in Moscow, introduced the concept of the capacity of a compactum. In this paper, we compute the capacity of the product of two spheres of the same or different dimensions and the capacity of lense spaces. Also, we present an upper bound for the capacity of a $\mathbb{Z}_n$complex, i.e., a connected finite 2dimensional CWcomplex with finite cyclic fundamental group $\mathbb{Z}_n$.
 [87] arXiv:1708.04519 [pdf, other]

Title: Stable matchings in high dimensions via the Poissonweighted infinite treeComments: 27 pagesSubjects: Probability (math.PR)
We consider the stable matching of two independent Poisson processes in $\mathbb{R}^d$ under an asymmetric color restriction. Blue points can only match to red points, while red points can match to points of either color. It is unknown whether there exists a choice of intensities of the red and blue processes under which all points are matched. We prove that for any fixed intensities, there are unmatched blue points in sufficiently high dimension. Indeed, if the ratio of red to blue intensities is $\rho$ then the intensity of unmatched blue points converges to $e^{\rho}/(1+\rho)$ as $d\to\infty$. We also establish analogous results for certain multicolor variants. Our proof uses stable matching on the Poissonweighted infinite tree (PWIT), which can be analyzed via differential equations. The PWIT has been used in many settings as a scaling limit for models involving complete graphs with independent edge weights, but we believe that this is the first rigorous application to highdimensional Euclidean space. Finally, we analyze the asymmetric matching problem under a hierarchical metric, and show that there are unmatched points for all intensities.
 [88] arXiv:1708.04530 [pdf, ps, other]

Title: Fundamental group and analytic disksComments: arXiv admin note: text overlap with arXiv:1210.1191Subjects: Complex Variables (math.CV)
Let $W$ be a domain in a connected complex manifold $M$ and $w_0\in W$. Let ${\mathcal A}_{w_0}(W,M)$ be the space of all continuous mappings of a closed unit disk $\overline D$ into $M$ that are holomorphic on the interior of $\overline D$, $f(\partial\mathbb D)\subset W$ and $f(1)=w_0$. On the homotopic equivalence classes $\eta_1(W,M,w_0)$ of ${\mathcal A}_{w_0}(W,M)$ we introduce a binary operation $\star$ so that $\eta_1(W,M,w_0)$ becomes a semigroup and the natural mappings $\iota_1:\,\eta_1(W,M,w_0)\to\pi_1(W,w_0)$ and $\delta_1:\,\eta_1(W,M,w_0)\to\pi_2(M,W,w_0)$ are homomorphisms. \par We show that if $W$ is a complement of an analytic variety in $M$ and if $S=\delta_1(\eta_1(W,M,w_0))$, then $S\cap S^{1}=\{e\}$ and any element $a\in\pi_2(M,W,w_0)$ can be represented as $a=bc^{1}=d^{1}g$, where $b,c,d,g\in S$. \par Let ${\mathcal R}_{w_0}(W,M)$ be the space of all continuous mappings of $\overline D$ into $M$ such that $f(\partial{\mathbb D})\subset W$ and $f(1)=w_0$. We describe its open dense subset ${\mathcal R}^{\pm}_{w_0}(W,M)$ such that any connected component of ${\mathcal R}^{\pm}_{w_0}(W,M)$ contains at most one connected component of ${\mathcal A}_{w_0}(W,M)$.
 [89] arXiv:1708.04541 [pdf, ps, other]

Title: Extended Dijkstra algorithm and MooreBellmanFord algorithmAuthors: CongDian ChengComments: 25 pagesSubjects: Optimization and Control (math.OC)
Study the general singlesource shortest path problem. Firstly, define a path function on a set of some path with same source on a graph, and develop a kind of general singlesource shortest path problem (GSSSP) on the defined path function. Secondly, following respectively the approaches of the well known Dijkstra's algorithm and MooreBellmanFord algorithm, design an extended Dijkstra's algorithm (EDA) and an extended MooreBellmanFord algorithm (EMBFA) to solve the problem GSSSP under certain given conditions. Thirdly, introduce a few concepts, such as orderpreserving in last road (OPLR) of path function, and so on. And under the assumption that the value of related path function for any path can be obtained in $M(n)$ time, prove respectively the algorithm EDA solving the problem GSSSP in $O(n^2)M(n)$ time and the algorithm EMBFA solving the problem GSSSP in $O(mn)M(n)$ time. Finally, some applications of the designed algorithms are shown with a few examples. What we done can improve both the researchers and the applications of the shortest path theory.
 [90] arXiv:1708.04546 [pdf, other]

Title: A direct discontinuous Galerkin method for fractional convectiondiffusion and Schrödinger type equationsAuthors: Tarek AboelenenComments: arXiv admin note: substantial text overlap with arXiv:1704.01484Subjects: Numerical Analysis (math.NA)
A direct discontinuous Galerkin (DDG) finite element method is developed for solving fractional convectiondiffusion and Schr\"{o}dinger type equations with a fractional Laplacian operator of order $\alpha$ $(1<\alpha<2)$. The fractional operator of order $\alpha$ is expressed as a composite of second order derivative and a fractional integral of order $2\alpha$. These problems have been expressed as a system of parabolic equation and low order integral equation. This allows us to apply the DDG method which is based on the direct weak formulation for solutions of fractional convectiondiffusion and Schr\"{o}dinger type equations in each computational cell, letting cells communicate via the numerical flux $(\partial_{x}u)^{*}$ only. Moreover, we prove stability and optimal order of convergence $O(h^{N+1})$ for the general fractional convectiondiffusion and Schr\"{o}dinger problems where $h$, $N$ are the space step size and polynomial degree. The DDG method has the advantage of easier formulation and implementation as well as the high order accuracy. Finally, numerical experiments confirm the theoretical results of the method.
 [91] arXiv:1708.04547 [pdf, ps, other]

Title: A Refinement of the operator Kantorovich inequalityAuthors: H.R. MoradiSubjects: Functional Analysis (math.FA)
We show the following result: Let $A$ be a positive operator satisfying $0<m{{\mathbf{1}}_{\mathcal{H}}}\le A\le M{{\mathbf{1}}_{\mathcal{H}}}$ for some scalars $m,M$ with $m<M$ and $\Phi $ be a normalized positive linear map, then \[\Phi \left( {{A}^{1}} \right)\le \Phi \left( {{m}^{\frac{AM{{\mathbf{1}}_{\mathcal{H}}}}{Mm}}}{{M}^{\frac{m{{\mathbf{1}}_{\mathcal{H}}}A}{Mm}}} \right)\le \frac{{{\left( M+m \right)}^{2}}}{4Mm}\Phi {{\left( A \right)}^{1}}.\]
 [92] arXiv:1708.04551 [pdf, ps, other]

Title: A conditional wellposedness result for the bidirectional Whitham equationSubjects: Analysis of PDEs (math.AP)
We consider the initialvalue problem for the bidirectional Whitham equation, a system which combines the full twoway dispersion relation from the incompressible Euler equations with a canonical shallowwater nonlinearity. We prove local wellposedness in classical Sobolev spaces in the localised as well as the periodic case, using a squareroot type transformation to symmetrise the system. The existence theory requires a nonvanishing surface elevation, indicating that the problem is illposed for more general initial data.
 [93] arXiv:1708.04554 [pdf, ps, other]

Title: Gleason parts of bidual algebrasSubjects: Functional Analysis (math.FA)
It is shown that the embeding of any Gleason part of a uniform algebra into the spectrum of its second dual is an entire Gleason part. This result is based on the equality of weakstar and norm topologies on the BearGleason part.
 [94] arXiv:1708.04561 [pdf, ps, other]

Title: On the algebraic structure of iterated integrals of quasimodular formsAuthors: Nils MatthesComments: 15 pagesSubjects: Number Theory (math.NT)
We study the algebra $\mathcal{I}^{QM}$ of iterated integrals of quasimodular forms for $\operatorname{SL}_2(\mathbb{Z})$, which is the smallest extension of the algebra $QM_{\ast}$ of quasimodular forms, which is closed under integration. We prove that $\mathcal{I}^{QM}$ is a polynomial algebra in infinitely many variables, given by Lyndon words on certain monomials in Eisenstein series.
 [95] arXiv:1708.04572 [pdf, ps, other]

Title: Longtime behaviour of nonlocal in time FokkerPlanck equations via the entropy methodComments: 25 pagesSubjects: Analysis of PDEs (math.AP)
We consider a rather general class of nonlocal in time FokkerPlanck equations and show by means of the entropy method that as $t\to \infty$ the solution converges in $L^1$ to the unique steady state. Important special cases are the timefractional and ultraslow diffusion case. We also prove estimates for the rate of decay. In contrast to the classical (local) case, where the usual time derivative appears in the FokkerPlanck equation, the obtained decay rate depends on the entropy, which is related to the integrability of the initial datum. It seems that higher integrability of the initial datum leads to better decay rates and that the optimal decay rate is reached, as we show, when the initial datum belongs to a certain weighted $L^2$ space. We also show how our estimates can be adapted to the discretetime case thereby improving known decay rates from the literature.
 [96] arXiv:1708.04573 [pdf, ps, other]

Title: Volume preserving flow by powers of symmetric polynomials in the principal curvaturesComments: 15 pagesSubjects: Differential Geometry (math.DG)
We study a volume preserving curvature flow of convex hypersurfaces, driven by a power of the kth elementary symmetric polynomial in the principal curvatures. Unlike most of the previous works with homogeneous speeds with a degree greater than one, we do not require any pinching condition on the initial datum. We are able to prove that the solution exists for all times and converges to a round sphere in the Hausdorff topology. In the special case of the scalar curvature flow with power one, we are able to give uniform bounds on the curvatures that allow to conclude that the convergence is smooth.
 [97] arXiv:1708.04579 [pdf, other]

Title: Discrete Midpoint ConvexitySubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a wellknown characterization of ordinary convexity under very mild assumptions. For a function defined on the integer lattice, we consider the analogous notion of discrete midpoint convexity, a discrete version of midpoint convexity where the value of the function at the (possibly noninteger) midpoint is replaced by the average of the function values at the integer roundup and rounddown of the midpoint. It is known that discrete midpoint convexity on all line segments with integer endpoints characterizes L$^{\natural}$convexity, and that it characterizes submodularity if we restrict the endpoints of the line segments to be at $\ell_\infty$distance one. By considering discrete midpoint convexity for all pairs at $\ell_\infty$distance equal to two or not smaller than two, we identify new classes of discrete convex functions, called local and global discrete midpoint convex functions, which are strictly between the classes of L$^{\natural}$convex and integrally convex functions, and are shown to be stable under scaling and addition. Furthermore, a proximity theorem, with the same small proximity bound as that for L$^{\natural}$convex functions, is established for discrete midpoint convex functions. Relevant examples of classes of local and global discrete midpoint convex functions are provided.
 [98] arXiv:1708.04580 [pdf, ps, other]

Title: GröbnerShirshov bases for associative conformal modulesComments: 33 pagesSubjects: Rings and Algebras (math.RA)
We construct free modules over an associative conformal algebra. We establish CompositionDiamond lemma for associative conformal modules. As applications, Gr\"obnerShirshov bases of the Virasoro conformal module and module over the semidirect product of Virasoro conformal algebra and current algebra are given respectively.
 [99] arXiv:1708.04582 [pdf, ps, other]

Title: Multiplicity one for wildly ramified representationsAuthors: Daniel LeComments: 16 pagesSubjects: Number Theory (math.NT)
Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}: G_F \rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the TaylorWiles hypotheses and is generic at a place $v$ above $p$. Let $\mathfrak{m}$ be the corresponding Hecke eigensystem. Then the $\mathfrak{m}$torsion in the mod $p$ cohomology of Shimura curves with full congruence level at $v$ coincides with the $\mathrm{GL}_2(k_v)$representation $D_0(\overline{r}_{G_{F_v}})$ constructed by Breuil and Pa\v{s}k\={u}nas. In particular, it depends only on the local representation $\overline{r}_{G_{F_v}}$, and its JordanH\"older factors appear with multiplicity one. This builds on and extends work of the author with Morra and Schraen and independently of HuWang, which proved these results when $\overline{r}_{G_{F_v}}$ was additionally assumed to be tamely ramified. The main new tool is a method for computing TaylorWiles patched modules of integral projective envelopes using multitype tamely potentially BarsottiTate deformation rings and their intersection theory.
 [100] arXiv:1708.04585 [pdf, other]

Title: On the Capacity of Wireless Networks with Fractal and Hierarchical Social CommunicationsComments: arXiv admin note: text overlap with arXiv:1705.09751Subjects: Information Theory (cs.IT)
The capacity of a wireless network with fractal and hierarchical social communications is studied in this paper. Specifically, we mathematically formulate the selfsimilarity of a fractal wireless network by a powerlaw degree distribution $ P(k) $, and we capture the direct social connection feature between two nodes with degree $ k_{1} $ and $ k_{2} $ by a joint probability distribution $ P(k_{1},k_{2}) $. Firstly, for a fractal wireless network with direct social communications, it is proved that the maximum capacity is $ \Theta\left(\frac{1}{\sqrt{n\log n}}\right) $ with $ n $ denotes the total number of nodes in the network, if the source node communicates with one of its direct contacts randomly, and it can reach up to $ \Theta\left(\frac{1}{\log n}\right) $ if the two nodes with distance $ d $ communicate according to the probability in proportion to $ d^{\beta} $. Secondly, since humans might get in touch with others without direct connection but through the interconneced users, the fractal wireless networks with hierarchical social communications is studied as well, and the related capacity is derived based on the results in the case with direct social communications. Our results show that this capacity is mainly affected by the correlation exponent $\epsilon$ of the fractal networks. The capacity is reduced in proportional to $ \frac{1}{{\log n}} $ if $ 2<\epsilon<3 $, while the reduction coefficient is $ \frac{1}{n} $ if $ \epsilon=3 $.
 [101] arXiv:1708.04590 [pdf, other]

Title: Indicability, residual finiteness, and simple subquotients of groups acting on treesSubjects: Group Theory (math.GR)
We establish three independent results on groups acting on trees. The first implies that a compactly generated locally compact group which acts continuously on a locally finite tree with nilpotent local action and no global fixed point is virtually indicable; that is to say, it has a finite index subgroup which surjects onto $\mathbf{Z}$. The second ensures that irreducible cocompact lattices in a product of nondiscrete locally compact groups such that one of the factors acts vertextransitively on a tree with a nilpotent local action cannot be residually finite. This is derived from a general result, of independent interest, on irreducible lattices in product groups. The third implies that every nondiscrete BurgerMozes universal group of automorphisms of a tree with an arbitrary prescribed local action admits a compactly generated closed subgroup with a nondiscrete simple quotient. As applications, we answer a question of D. Wise by proving the nonresidual finiteness of a certain lattice in a product of two regular trees, and we obtain a negative answer to a question of C. Reid, concerning the structure theory of locally compact groups.
 [102] arXiv:1708.04591 [pdf, other]

Title: Word and conjugacy problems in lacunary hyperbolic groupsAuthors: Arman DarbinyanSubjects: Group Theory (math.GR); Logic (math.LO)
We study word and conjugacy problems in lacunary hyperbolic groups (briefly, LHG). In particular, we describe a necessary and sufficient condition for decidability of the word problem in LHG. Then, based on the graded smallcancellation theory of Olshanskii, we develop a general framework which allows us to construct lacunary hyperbolic groups with word and conjugacy problems highly controllable and flexible both in terms of computability and computational complexity.
As an application, we show that for any recursively enumerable subset $\mathcal{L} \subseteq \mathcal{A}^*$, where $\mathcal{A}^*$ is the set of words over arbitrarily chosen nonempty finite alphabet $\mathcal{A}$, there exists a lacunary hyperbolic group $G_{\mathcal{L}}$ such that the membership problem for $ \mathcal{L}$ is `almost' linear time equivalent to the conjugacy problem in $G_{\mathcal{L}}$. Moreover, for the mentioned group the word and individual conjugacy problems are decidable in `almost' linear time.
Another application is the construction of a lacunary hyperbolic group with `almost' linear time word problem and with all the individual conjugacy problems being undecidable except the word problem.
As yet another application of the developed framework, we construct infinite verbally complete groups and torsion free Tarski monsters, i.e. infinite torsionfree groups all of whose proper subgroups are cyclic, with `almost' linear time word and polynomial time conjugacy problems. These groups are constructed as quotients of arbitrarily given nonelementary torsionfree hyperbolic groups and are lacunary hyperbolic.
Finally, as a consequence of the main results, we answer a few open questions.  [103] arXiv:1708.04595 [pdf, other]

Title: Inégalité de TuránKubilius friable et indépendance asymptotiqueComments: 8 pages, in FrenchSubjects: Number Theory (math.NT)
Elaborating on previous works and taking advantage of estimates on the local behaviour of the counting function of friable integers, we determine the optimal range in which the friable Tur\'anKubilius constant tends to $1$.
 [104] arXiv:1708.04602 [pdf, ps, other]

Title: Lichnerowicztype equations with signchanging nonlinearities on complete manifolds with boundaryJournalref: Journal of Differential Equations (2017)Subjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (grqc); Differential Geometry (math.DG)
We prove an existence theorem for positive solutions to Lichnerowicztype equations on complete manifolds with boundary and nonlinear Neumann conditions. This kind of nonlinear problems arise quite naturally in the study of solutions for the Einsteinscalar field equations of General Relativity in the framework of the so called Conformal Method.
 [105] arXiv:1708.04608 [pdf, other]

Title: A Robust Consensus Algorithm for Current Sharing and Voltage Regulation in DC MicrogridsAuthors: Michele Cucuzzella, Sebastian Trip, Claudio De Persis, Antonella Ferrara, Arjan van der SchaftComments: 10 pagesSubjects: Optimization and Control (math.OC); Systems and Control (cs.SY)
In this paper a novel distributed control algorithm for current sharing and voltage regulation in Direct Current (DC) microgrids is proposed. The DC microgrid is composed of several Distributed Generation units (DGus), interfaced with Buck converters, and current loads. The considered model permits an arbitrary network topology and is affected by unknown load demand and modelling uncertainties. The proposed control strategy exploits a communication network to achieve current sharing using a consensuslike algorithm. Voltage regulation is achieved by constraining the system to a suitable manifold. Two robust control strategies of Sliding Mode (SM) type are developed to reach the desired manifold in a finite time. The proposed control scheme is formally analyzed, proving the achievement of current sharing, while guaranteeing that the average voltage of the microgrid is identical to the average of the voltage references. The latter objective is often desired in practical implementations, but difficult to obtain, even with advanced control methodologies, rendering the proposed solution relevant for the further deployment of DC microgrids.
 [106] arXiv:1708.04610 [pdf, other]

Title: Reduction and relative equilibria for the 2body problem in spaces of constant curvatureComments: 29 pages, 9 figsSubjects: Mathematical Physics (mathph); Dynamical Systems (math.DS)
We perform the reduction of the twobody problem in the two dimensional spaces of constant nonzero curvature and we use the reduced equations of motion to classify all relative equilibria (RE) of the problem and to study their stability. In the negative curvature case, the nonlinear stability of the stable RE is established by using the reduced Hamiltonian as a Lyapunov function. Surprisingly, in the positive curvature case this approach is not sufficient and the proof of nonlinear stability requires the calculation of Birkhoff normal forms and the application of stability methods coming from KAM theory. In both cases we summarize our results in the EnergyMomentum bifurcation diagram of the system.
Crosslists for Wed, 16 Aug 17
 [107] arXiv:1705.01024 (crosslist from stat.ME) [pdf, other]

Title: A projection pursuit framework for testing general highdimensional hypothesisSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO); Machine Learning (stat.ML)
This article develops a framework for testing general hypothesis in highdimensional models where the number of variables may far exceed the number of observations. Existing literature has considered less than a handful of hypotheses, such as testing individual coordinates of the model parameter. However, the problem of testing general and complex hypotheses remains widely open. We propose a new inference method developed around the hypothesis adaptive projection pursuit framework, which solves the testing problems in the most general case. The proposed inference is centered around a new class of estimators defined as $l_1$ projection of the initial guess of the unknown onto the space defined by the null. This projection automatically takes into account the structure of the null hypothesis and allows us to study formal inference for a number of longstanding problems. For example, we can directly conduct inference on the sparsity level of the model parameters and the minimum signal strength. This is especially significant given the fact that the former is a fundamental condition underlying most of the theoretical development in highdimensional statistics, while the latter is a key condition used to establish variable selection properties. Moreover, the proposed method is asymptotically exact and has satisfactory power properties for testing very general functionals of the highdimensional parameters. The simulation studies lend further support to our theoretical claims and additionally show excellent finitesample size and power properties of the proposed test.
 [108] arXiv:1707.01983 (crosslist from condmat.disnn) [pdf, other]

Title: Phase transitions in the $q$coloring of random hypergraphsComments: 31 pages, 7 figuresSubjects: Disordered Systems and Neural Networks (condmat.disnn); Statistical Mechanics (condmat.statmech); Discrete Mathematics (cs.DM); Probability (math.PR)
We study in this paper the structure of solutions in the random hypergraph coloring problem and the phase transitions they undergo when the density of constraints is varied. Hypergraph coloring is a constraint satisfaction problem where each constraint includes $K$ variables that must be assigned one out of $q$ colors in such a way that there are no monochromatic constraints, i.e. there are at least two distinct colors in the set of variables belonging to every constraint. This problem generalizes naturally coloring of random graphs ($K=2$) and bicoloring of random hypergraphs ($q=2$), both of which were extensively studied in past works. The study of random hypergraph coloring gives us access to a case where both the size $q$ of the domain of the variables and the arity $K$ of the constraints can be varied at will. Our work provides explicit values and predictions for a number of phase transitions that were discovered in other constraint satisfaction problems but never evaluated before in hypergraph coloring. Among other cases we revisit the hypergraph bicoloring problem ($q=2$) where we find that for $K=3$ and $K=4$ the colorability threshold is not given by the onestepreplicasymmetrybreaking analysis as the latter is unstable towards more levels of replica symmetry breaking. We also unveil and discuss the coexistence of two different 1RSB solutions in the case of $q=2$, $K \ge 4$. Finally we present asymptotic expansions for the density of constraints at which various phase transitions occur, in the limit where $q$ and/or $K$ diverge.
 [109] arXiv:1707.09561 (crosslist from stat.ME) [pdf, other]

Title: FineGray competing risks model with highdimensional covariates: estimation and InferenceComments: 51 pagesSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Applications (stat.AP); Machine Learning (stat.ML)
The purpose of this paper is to construct confidence intervals for the regression coefficients in the FineGray model for competing risks data with random censoring, where the number of covariates can be larger than the sample size. Despite strong motivation from biostatistics applications, highdimensional FineGray model has attracted relatively little attention among the methodological or theoretical literatures. We fill in this blank by proposing first a consistent regularized estimator and then the confidence intervals based on the onestep biascorrecting estimator. We are able to generalize the partial likelihood approach for the FineGray model under random censoring despite many technical difficulties. We lay down a methodological and theoretical framework for the onestep biascorrecting estimator with the partial likelihood, which does not have independent and identically distributed entries. We also handle for our theory the approximation error from the inverse probability weighting (IPW), proposing novel concentration results for time dependent processes. In addition to the theoretical results and algorithms, we present extensive numerical experiments and an application to a study of noncancer mortality among prostate cancer patients using the linked MedicareSEER data.
 [110] arXiv:1708.04011 (crosslist from grqc) [pdf, ps, other]

Title: Light Deflection and GaussBonnet Theorem: Definition of Total Deflection Angle and its ApplicationsAuthors: Hideyoshi ArakidaComments: 34 pages, 6 figures. Submitted to PRDSubjects: General Relativity and Quantum Cosmology (grqc); Cosmology and Nongalactic Astrophysics (astroph.CO); Mathematical Physics (mathph)
In this paper, we reexamine the light deflection in the Schwarzschild and the Schwarzschildde Sitter spacetime. First, supposing a static and spherically symmetric spacetime, we propose the definition of the total deflection angle $\alpha$ of the light ray by constructing a quadrangle $\Sigma^4$ on the optical reference geometry ${\cal M}^{\rm opt}$ determined by the optical metric $\bar{g}_{ij}$. On the basis of the definition of the total deflection angle $\alpha$ and the GaussBonnet theorem, we derive two formulas to calculate the total deflection angle $\alpha$; (1) the angular formula that uses four angles determined on the optical reference geometry ${\cal M}^{\rm opt}$ or the curved $(r, \phi)$ subspace ${\cal M}^{\rm sub}$ being a slice of constant time $t$ and (2) the integral formula on the optical reference geometry ${\cal M}^{\rm opt}$ which is the areal integral of the Gaussian curvature $K$ in the area of a quadrangle $\Sigma^4$ and the line integral of the geodesic curvature $\kappa_g$ along the curve $C_{\Gamma}$. The curve $C_{\Gamma}$ is the unperturbed reference straight line that is the geodesic $\Gamma$ on the background spacetime such as the Minkowski or the de Sitter spacetime, and therefore $C_{\Gamma}$ is a straight line in the Euclidean sense. We demonstrate that the two formulas give the same total deflection angle $\alpha$ for the Schwarzschild and the Schwarzschildde Sitter spacetime. In particular, in the Schwarzschild case, the result coincides with EpsteinShapiro's formula when the source $S$ and the receiver $R$ of the light ray are located at infinity. In addition, in the Schwarzschildde Sitter case, there appear order ${\cal O}(\Lambda m)$ terms in addition to the Schwarzschildlike part, while order ${\cal O}(\Lambda)$ terms disappear.
 [111] arXiv:1708.04242 (crosslist from hepth) [pdf, other]

Title: Monstrous entanglementComments: 41 pages, 4 figuresSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
The Monster CFT plays an important role in moonshine and is also conjectured to be the holographic dual to pure gravity in AdS3. We investigate the entanglement and Renyi entropies of this theory along with other extremal CFTs. The Renyi entropies of a single interval on the torus are evaluated using the short interval expansion. Each order in the expansion contains closed form expressions of the modular parameter. The leading terms in the qseries are shown to precisely agree with the universal corrections to Renyi entropies at low temperatures. Furthermore, these results are shown to match with bulk computations of Renyi entropy using the oneloop partition function on handlebodies. We also explore some features of Renyi entropies of two intervals on the plane.
 [112] arXiv:1708.04302 (crosslist from quantph) [pdf, other]

Title: Quantum majorization and a complete set of entropic conditions for quantum thermodynamicsComments: 10 pages main text + 5 pages appendix, 2 figures, comments are welcome!Subjects: Quantum Physics (quantph); Mathematical Physics (mathph)
What does it mean for one quantum process to be more disordered than another? Here we provide a precise answer to this question in terms of a quantummechanical generalization of majorization. The framework admits a complete description in terms of singleshot entropies, and provides a range of significant applications. These include applications to the comparison of quantum statistical models and quantum channels, to the resource theory of asymmetry, and to quantum thermodynamics. In particular, within quantum thermodynamics, we apply our results to provide the first complete set of of necessary and sufficient conditions for arbitrary quantum state transformation under thermodynamic processes, and which rigorously accounts for quantummechanical properties, such as coherence. Our framework of generalized thermal processes extends thermal operations, and is based on natural physical principles, namely, energy conservation, the existence of equilibrium states, and the requirement that quantum coherence be accounted for thermodynamically. In the zero coherence case we recover thermomajorization while in the asymptotic coherence regime we obtain a constraint that takes the form of a PageWootters clock condition.
 [113] arXiv:1708.04314 (crosslist from quantph) [pdf, other]

Title: Superadditivity in tradeoff capacities of quantum channnelsComments: 15 pagesSubjects: Quantum Physics (quantph); Information Theory (cs.IT)
In this article, we investigate the additivity phenomenon in the dynamic capacity of a quantum channel for trading classical communication, quantum communication and entanglement. Understanding such additivity property is important if we want to optimally use a quantum channel for general communication purpose. However, in a lot of cases, the channel one will be using only has an additive single or double resource capacity, and it is largely unknown if this could lead to an superadditive double or triple resource capacity. For example, if a channel has an additive classical and quantum capacity, can the classicalquantum capacity be superadditive? In this work, we answer such questions affirmatively.
We give proofofprinciple requirements for these channels to exist. In most cases, we can provide an explicit construction of these quantum channels. The existence of these superadditive phenomena is surprising in contrast to the result that the additivity of both classicalentanglement and classicalquantum capacity regions imply the additivity of the triple capacity region.  [114] arXiv:1708.04440 (crosslist from cs.MS) [pdf, other]

Title: An OpenGL and C++ based function library for curve and surface modeling in a large class of extended Chebyshev spacesAuthors: Ágoston RóthComments: 27 pages, 17 figures, 2 tablesSubjects: Mathematical Software (cs.MS); Graphics (cs.GR); Numerical Analysis (math.NA)
Applying original and existing theoretical results, we propose a platformindependent multithreaded function library that provides data structures to generate, differentiate and render both the ordinary basis and the nonnegative normalized Bbasis of an arbitrary extended Chebyshev (EC) space that comprises the constants and can be identified with the solution space of a userdefined constantcoefficient homogeneous linear differential equation. Using the obtained nonnegative normalized Bbases, our library can also generate, (partially) differentiate, modify and visualize a large family of socalled Bcurves and tensor product Bsurfaces. Moreover, the library also implements methods that can be used to perform general order elevation, to subdivide Bcurves and Bsurfaces by means of general de Casteljaulike Balgorithms, and to generate general basis transformations for the control point based exact description of arbitrary integral curves and surfaces that are described in traditional parametric form by means of the ordinary bases of the underlying EC spaces. Independently of the algebraic, exponential, trigonometric or mixed type of the applied EC space, the proposed library is numerically stable and efficient up to a reasonable dimension number and may be useful for academics and engineers in the fields of Approximation Theory, Computer Aided Geometric Design, Computer Graphics, Isogeometric and Numerical Analysis.
 [115] arXiv:1708.04501 (crosslist from cs.DS) [pdf, other]

Title: Linear algebraic analogues of the graph isomorphism problem and the ErdősRényi modelComments: 32 pages, 2 figuresSubjects: Data Structures and Algorithms (cs.DS); Group Theory (math.GR)
A classical difficult isomorphism testing problem is to test isomorphism of pgroups of class 2 and exponent p in time polynomial in the group order. It is known that this problem can be reduced to solving the alternating matrix space isometry problem over a finite field in time polynomial in the underlying vector space size. We propose a venue of attack for the latter problem by viewing it as a linear algebraic analogue of the graph isomorphism problem. This viewpoint leads us to explore the possibility of transferring techniques for graph isomorphism to this longbelieved bottleneck case of group isomorphism.
In 1970's, Babai, Erd\H{o}s, and Selkow presented the first averagecase efficient graph isomorphism testing algorithm (SIAM J Computing, 1980). Inspired by that algorithm, we devise an averagecase efficient algorithm for the alternating matrix space isometry problem over a key range of parameters, in a random model of alternating matrix spaces in vein of the Erd\H{o}sR\'enyi model of random graphs. For this, we develop a linear algebraic analogue of the classical individualisation technique, a technique belonging to a set of combinatorial techniques that has been critical for the progress on the worstcase time complexity for graph isomorphism, but was missing in the group isomorphism context. This algorithm also enables us to improve Higman's 57yearold lower bound on the number of pgroups (Proc. of the LMS, 1960). We finally show that Luks' dynamic programming technique for graph isomorphism (STOC 1999) can be adapted to slightly improve the worstcase time complexity of the alternating matrix space isometry problem in a certain range of parameters.  [116] arXiv:1708.04527 (crosslist from stat.ME) [pdf, other]

Title: The Trimmed Lasso: Sparsity and RobustnessComments: 32 pages (excluding appendix); 4 figuresSubjects: Methodology (stat.ME); Optimization and Control (math.OC); Statistics Theory (math.ST); Computation (stat.CO); Machine Learning (stat.ML)
Nonconvex penalty methods for sparse modeling in linear regression have been a topic of fervent interest in recent years. Herein, we study a family of nonconvex penalty functions that we call the trimmed Lasso and that offers exact control over the desired level of sparsity of estimators. We analyze its structural properties and in doing so show the following:
1) Drawing parallels between robust statistics and robust optimization, we show that the trimmedLassoregularized least squares problem can be viewed as a generalized form of total least squares under a specific model of uncertainty. In contrast, this same model of uncertainty, viewed instead through a robust optimization lens, leads to the convex SLOPE (or OWL) penalty.
2) Further, in relating the trimmed Lasso to commonly used sparsityinducing penalty functions, we provide a succinct characterization of the connection between trimmedLasso like approaches and penalty functions that are coordinatewise separable, showing that the trimmed penalties subsume existing coordinatewise separable penalties, with strict containment in general.
3) Finally, we describe a variety of exact and heuristic algorithms, both existing and new, for trimmed Lasso regularized estimation problems. We include a comparison between the different approaches and an accompanying implementation of the algorithms.  [117] arXiv:1708.04535 (crosslist from nlin.SI) [pdf, other]

Title: The exact rogue wave recurrence in the NLS periodic setting via matched asymptotic expansions, for 1 and 2 unstable modesAuthors: P. G. Grinevich (1,2,3), P. M. Santini (4,5) ((1) L.D. Landau Institute for Theoretical Physics, Russia, (2) Lomonosov Moscow State University, Russia, (3) Moscow Institute of Physics and Technology, Russia, (4) Dipartimento di Fisica, Università di Roma "La Sapienza", Italy, (5) Istituto Nazionale di Fisica Nucleare, Sezione di Roma, Italy. Piazz.le Aldo Moro 2, I00185 Roma, Italy)Comments: 20 pages. arXiv admin note: text overlap with arXiv:1708.00762 and substantial text overlap with arXiv:1707.05659Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (mathph); Atmospheric and Oceanic Physics (physics.aoph); Optics (physics.optics)
The focusing Nonlinear Schr\"odinger (NLS) equation is the simplest universal model describing the modulation instability (MI) of quasi monochromatic waves in weakly nonlinear media, the main physical mechanism for the generation of rogue (anomalous) waves (RWs) in Nature. In this paper we investigate the $x$periodic Cauchy problem for NLS for a generic periodic initial perturbation of the unstable constant background solution, in the case of $N=1,2$ unstable modes. We use matched asymptotic expansion techniques to show that the solution of this problem describes an exact deterministic alternate recurrence of linear and nonlinear stages of MI, and that the nonlinear RW stages are described by the Nbreather solution of Akhmediev type, whose parameters, different at each RW appearence, are always given in terms of the initial data through elementary functions. This paper is motivated by a preceeding work of the authors in which a different approach, the finite gap method, was used to investigate periodic Cauchy problems giving rise to RW recurrence.
 [118] arXiv:1708.04612 (crosslist from condmat.soft) [pdf, ps, other]

Title: On Kinetic Equations for Collisional Dynamics of Active Soft Condensed MatterAuthors: V.I. GerasimenkoComments: 17 pages. arXiv admin note: substantial text overlap with arXiv:1308.4504, arXiv:1408.1781Subjects: Soft Condensed Matter (condmat.soft); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph); Cell Behavior (qbio.CB)
We consider a new approach to the description of the collective behavior of complex systems of mathematical biology based on the evolution equations for observables of such systems. This representation of the kinetic evolution seems, in fact, the direct mathematically fully consistent formulation modeling the collective behavior of biological systems since the traditional notion of the state in kinetic theory is more subtle and it is an implicit characteristic of the populations of living creatures.
Replacements for Wed, 16 Aug 17
 [119] arXiv:0911.0127 (replaced) [pdf, ps, other]

Title: Scattering above energy norm of solutions of a loglog energysupercritical Schrodinger equation with radial dataAuthors: Tristan RoyComments: 32 pages. UpdateSubjects: Analysis of PDEs (math.AP)
 [120] arXiv:1210.2684 (replaced) [pdf, ps, other]

Title: Paracontrolled distributions and singular PDEsComments: published versionSubjects: Probability (math.PR); Mathematical Physics (mathph); Analysis of PDEs (math.AP)
 [121] arXiv:1405.2067 (replaced) [pdf, ps, other]

Title: Pointwise equidistribution for one parameter diagonalizable group action on homogeneous spaceAuthors: Ronggang ShiComments: The detailed proof is modified a lot to make the paper easy to readSubjects: Dynamical Systems (math.DS)
 [122] arXiv:1410.1447 (replaced) [pdf, ps, other]

Title: Fredholm determinants in the multiparticle hopping asymmetric diffusion modelAuthors: Eunghyun LeeSubjects: Probability (math.PR); Statistical Mechanics (condmat.statmech); Mathematical Physics (mathph)
 [123] arXiv:1411.2288 (replaced) [pdf, ps, other]

Title: Amalgam Anosov representationsComments: With an appendix by the authors and Andres Sambarino. Final versionJournalref: Geom. Topol. 21 (2017) 215251Subjects: Geometric Topology (math.GT); Dynamical Systems (math.DS); Group Theory (math.GR)
 [124] arXiv:1504.06410 (replaced) [src]

Title: On the paper "statistical approximation by positive linear operators"Authors: Zafer ErcanComments: includes some misprintsSubjects: Functional Analysis (math.FA)
 [125] arXiv:1508.03063 (replaced) [pdf, other]

Title: Random Partitions and the Quantum BenjaminOno HierarchyAuthors: Alexander MollComments: version 3: (i) identified meaning of results as semiclassical and dispersionless limits (ii) concentration of measure and Gaussian fluctuations generalized to coherent states in Hermitian affine spaces without assuming integrability (iii) clarified exposition of auxiliary spectral theory of Lax operators version 2: modified introduction, references added, estimates improvedSubjects: Mathematical Physics (mathph); Combinatorics (math.CO); Probability (math.PR); Representation Theory (math.RT); Exactly Solvable and Integrable Systems (nlin.SI)
 [126] arXiv:1508.04718 (replaced) [pdf, other]

Title: Linear rankwidth of distancehereditary graphs II. Vertexminor obstructionsComments: 38 pages, 13 figures, 1 table, revised journal version. A preliminary version of Section 5 appeared in the proceedings of WG14Subjects: Combinatorics (math.CO)
 [127] arXiv:1510.02647 (replaced) [pdf, ps, other]

Title: Affine cellularity of affine YokonumaHecke algebrasAuthors: Weideng CuiComments: We give the details of the proofs of some lemmasSubjects: Representation Theory (math.RT)
 [128] arXiv:1512.00383 (replaced) [pdf, ps, other]

Title: A survey on Heegaard Floer homology and concordanceAuthors: Jennifer HomComments: 20 pages, 6 figures, 1 table; v2: minor revisions throughout; v3: added Remark 3.15Journalref: Journal of Knot Theory and Its Ramifications, Vol. 26, No. 02 (2017)Subjects: Geometric Topology (math.GT)
 [129] arXiv:1512.09169 (replaced) [pdf, other]

Title: A potential theoretic minimax problem on the torusSubjects: Classical Analysis and ODEs (math.CA)
 [130] arXiv:1602.02688 (replaced) [pdf, ps, other]

Title: A note on the $R_\infty$ property for groups $\mathrm{FAlt}(X)\leqslant G\leqslant \mathrm{Sym}(X)$Authors: Charles CoxComments: 12 pages v2: Due to a problem with the main technical Lemma (previously Lemma 4.7) some results have been changedSubjects: Group Theory (math.GR)
 [131] arXiv:1602.08379 (replaced) [pdf, ps, other]

Title: Snowflake geometry in CAT(0) groupsComments: 48 pages, 13 figures. v2: minor corrections; to appear in Journal of TopologySubjects: Group Theory (math.GR); Geometric Topology (math.GT)
 [132] arXiv:1604.07856 (replaced) [pdf, ps, other]

Title: Solvable Lie algebras and graphsComments: minor changesSubjects: Rings and Algebras (math.RA); Combinatorics (math.CO); Differential Geometry (math.DG)
 [133] arXiv:1604.08900 (replaced) [pdf, ps, other]

Title: Solving periodic semilinear stiff PDEs in 1D, 2D and 3D with exponential integratorsSubjects: Numerical Analysis (math.NA)
 [134] arXiv:1605.06740 (replaced) [pdf, ps, other]

Title: Global existence of weak solutions to the 3D incompressible axisymmetric Euler equations without swirlComments: 26 pages, some errors are fixed in this new versionSubjects: Analysis of PDEs (math.AP)
 [135] arXiv:1606.01496 (replaced) [pdf, other]

Title: BakryÉmery curvature functions of graphsComments: In the new version, we carried out a slight restructuring of the material and added a concavity proof (in Prop. 4.1(iv)) thanks to the comments of Bobo Hua and Jim PortegiesSubjects: Combinatorics (math.CO); Differential Geometry (math.DG)
 [136] arXiv:1606.08005 (replaced) [pdf, ps, other]

Title: Linear Stability of the NonExtreme Kerr Black HoleComments: 66 pages, LaTeX, 2 figures, minor improvements (published version)Subjects: Mathematical Physics (mathph); General Relativity and Quantum Cosmology (grqc); Analysis of PDEs (math.AP)
 [137] arXiv:1606.09113 (replaced) [pdf, ps, other]

Title: Construction and shape optimization of simplicial meshes in $d$dimensional spaceAuthors: Radim HošekComments: 17 pages, 2 figuresSubjects: Metric Geometry (math.MG)
 [138] arXiv:1607.03187 (replaced) [pdf, ps, other]

Title: Arithmetic of the moduli $\mathcal{L}_{1, 12n}$ of semistable elliptic fibrationsComments: Brought the first author into this project and improved inequalities for the point count of the moduli into the exact motive countSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Number Theory (math.NT); Symplectic Geometry (math.SG)
 [139] arXiv:1607.05237 (replaced) [pdf, ps, other]

Title: A Direct Proof of Schwichtenberg's Bar Recursion Closure TheoremComments: 12 pagesSubjects: Logic (math.LO)
 [140] arXiv:1608.01853 (replaced) [pdf, ps, other]

Title: Martingalecoboundary decomposition for families of dynamical systemsComments: Some simplifications in Sections 2 and 3. Further very minor changes. Updated referencesSubjects: Dynamical Systems (math.DS)
 [141] arXiv:1610.03224 (replaced) [pdf, other]

Title: Pressurerobust analysis of divergencefree and conforming FEM for evolutionary incompressible NavierStokes flowsComments: 30 pages, 13 figures, 2 tablesSubjects: Numerical Analysis (math.NA); Mathematical Physics (mathph); Computational Physics (physics.compph); Fluid Dynamics (physics.fludyn)
 [142] arXiv:1610.05565 (replaced) [pdf, other]

Title: Stabilised dGFEM for incompressible natural convection flows with boundary and moving interior layers on nonadapted meshesComments: 26 pages, 8 figures, 5 tablesJournalref: J. Comput. Phys., 335:760779, 2017Subjects: Numerical Analysis (math.NA); Mathematical Physics (mathph); Computational Physics (physics.compph); Fluid Dynamics (physics.fludyn)
 [143] arXiv:1611.01837 (replaced) [pdf, ps, other]

Title: Singular vector distribution of sample covariance matricesAuthors: Xiucai DingSubjects: Probability (math.PR)
 [144] arXiv:1611.07275 (replaced) [pdf, other]

Title: On Unfair PermutationsComments: minor revision, typos corrected, 24 pages, 5 tables, 3 figuresSubjects: Probability (math.PR)
 [145] arXiv:1611.09260 (replaced) [pdf, ps, other]

Title: The LPNewton Method and Conic OptimizationSubjects: Optimization and Control (math.OC)
 [146] arXiv:1701.00247 (replaced) [pdf, ps, other]

Title: Some RepeatedRoot Constacyclic Codes over Galois RingsSubjects: Information Theory (cs.IT)
 [147] arXiv:1701.04105 (replaced) [pdf, ps, other]

Title: Star chromatic index of subcubic multigraphsSubjects: Combinatorics (math.CO)
 [148] arXiv:1701.06897 (replaced) [pdf, ps, other]

Title: Contractive inequalities for Bergman spaces and multiplicative Hankel formsAuthors: Frédéric Bayart, Ole Fredrik Brevig, Antti Haimi, Joaquim OrtegaCerdà, KarlMikael PerfektComments: This paper has been accepted for publication in Transactions of the AMSSubjects: Functional Analysis (math.FA); Number Theory (math.NT)
 [149] arXiv:1702.07564 (replaced) [pdf, ps, other]

Title: Global existence and convergence for nondimensionalized incompressible NavierStokes equations in low Froude number regimeAuthors: Stefano ScrobognaComments: 39 pagesSubjects: Analysis of PDEs (math.AP)
 [150] arXiv:1702.08034 (replaced) [pdf, ps, other]

Title: Cutoff for Ramanujan graphs via degree inflationAuthors: Jonathan HermonComments: 11 pagesJournalref: Electron. Commun. Probab. Volume 22 (2017), paper no. 45, 10 ppSubjects: Probability (math.PR); Combinatorics (math.CO)
 [151] arXiv:1703.06367 (replaced) [pdf, ps, other]

Title: Dynamic Information Acquisition from Multiple SourcesSubjects: Computer Science and Game Theory (cs.GT); Learning (cs.LG); Statistics Theory (math.ST)
 [152] arXiv:1703.07801 (replaced) [pdf, ps, other]

Title: Extended Fuller index, sky catastrophes and the Seifert conjectureAuthors: Yasha SavelyevComments: Theorem 1.1 and so the corollary on existence of sky catastrophes substantially strengthened by removing the regularity assumptionSubjects: Dynamical Systems (math.DS); Symplectic Geometry (math.SG)
 [153] arXiv:1703.10209 (replaced) [pdf, other]

Title: Hardware Impairments Aware Transceiver Design for FullDuplex AmplifyandForward MIMO RelayingComments: Submitted to IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT)
 [154] arXiv:1704.02723 (replaced) [pdf, ps, other]

Title: Injective envelopes and the intersection propertyAuthors: Rasmus Sylvester BryderComments: 16 pages; fixes mistake in Theorem 3.8Subjects: Operator Algebras (math.OA)
 [155] arXiv:1704.04116 (replaced) [pdf, other]

Title: A variational approach to probing extreme events in turbulent dynamical systemsComments: Minor revisions, generalized the constraints in Eq. (2)Subjects: Fluid Dynamics (physics.fludyn); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
 [156] arXiv:1704.04581 (replaced) [pdf, other]

Title: A Quadratic Penalty Method for Hypergraph MatchingSubjects: Optimization and Control (math.OC)
 [157] arXiv:1704.06600 (replaced) [pdf, other]

Title: Fundamental bounds on MIMO antennasSubjects: Classical Physics (physics.classph); Optimization and Control (math.OC); Applied Physics (physics.appph)
 [158] arXiv:1704.07456 (replaced) [pdf, ps, other]

Title: Solutions to YangMills equations on fourdimensional de Sitter spaceComments: 1+7 pages; v2: introduction extended, gauge group representation dependence added, minor clarifications, 3 more references; v3: title change, published versionJournalref: Phys. Rev. Lett. 119, 061601 (2017)Subjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [159] arXiv:1705.02400 (replaced) [pdf, ps, other]

Title: On the existence of $W^{1,2}_{p}$ solutions for fully nonlinear parabolic equations under either relaxed or no convexity assumptionsAuthors: N.V. KrylovComments: 30 pages, a few errors correctedSubjects: Analysis of PDEs (math.AP)
 [160] arXiv:1705.02714 (replaced) [pdf, other]

Title: Rigidity of inversive distance circle packings revisitedAuthors: Xu XuComments: References are addedSubjects: Geometric Topology (math.GT)
 [161] arXiv:1705.05454 (replaced) [pdf, other]

Title: A $q$deformation of the symplectic Schur functions and the Berele insertion algorithmAuthors: Ioanna NtekaComments: 32 pages; added references, corrected typosSubjects: Combinatorics (math.CO); Probability (math.PR); Representation Theory (math.RT)
 [162] arXiv:1705.07651 (replaced) [pdf, ps, other]

Title: Hopfcyclic cohomology of the ConnesMoscovici Hopf algebras with infinite dimensional coefficientsComments: Minor revisions to highlight the main resultsSubjects: KTheory and Homology (math.KT)
 [163] arXiv:1705.08581 (replaced) [pdf, ps, other]

Title: The $\imath ε$ prescription in the SYK modelAuthors: Razvan GurauComments: Second version: the effective field theory part of the paper (subsections 2.1 and 3.1 and discussion) addedSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [164] arXiv:1705.09717 (replaced) [pdf, other]

Title: On sampling graphical Markov modelsSubjects: Probability (math.PR); Combinatorics (math.CO)
 [165] arXiv:1705.10704 (replaced) [pdf, ps, other]

Title: A constructive approach to Schaeffer's conjectureSubjects: Numerical Analysis (math.NA)
 [166] arXiv:1706.00298 (replaced) [pdf, ps, other]

Title: Modeling and Design of MillimeterWave Networks for Highway Vehicular CommunicationComments: Accepted for publication in IEEE Transactions on Vehicular Technology  Connected Vehicles SeriesSubjects: Information Theory (cs.IT); Performance (cs.PF)
 [167] arXiv:1706.02320 (replaced) [pdf, other]

Title: Evaluation of the operatorial Qsystem for noncompact super spin chainsComments: 31 pages, v2: minor changes, version published in JHEPSubjects: High Energy Physics  Theory (hepth); Mathematical Physics (mathph)
 [168] arXiv:1706.02443 (replaced) [pdf, ps, other]

Title: A uniform approach to soliton cellular automata using rigged configurationsComments: 34 pages, 2 figuresSubjects: Combinatorics (math.CO); Mathematical Physics (mathph)
 [169] arXiv:1706.07531 (replaced) [pdf, other]

Title: High Performance NonBinary SpatiallyCoupled Codes for Flash MemoriesComments: 8 pages (double column), 5 figures, the short version was accepted at the IEEE Information Theory WorkshopSubjects: Information Theory (cs.IT)
 [170] arXiv:1706.08394 (replaced) [pdf, ps, other]

Title: The Product $e π$ Is IrrationalAuthors: N. A. CarellaComments: Twelve Pages. Improved Version. keywords: Irrational number; Natural base, Circle number; Unbounded partial quotientsSubjects: General Mathematics (math.GM)
 [171] arXiv:1706.08405 (replaced) [pdf, ps, other]

Title: Stability of group relations under small HilbertSchmidt perturbationsComments: Typos are fixed and a few comments are added. arXiv admin note: text overlap with arXiv:1607.04470Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Group Theory (math.GR)
 [172] arXiv:1707.01754 (replaced) [pdf, other]

Title: An experimental study of the monotonicity property of the Riemann zeta functionAuthors: Yochay JerbySubjects: General Mathematics (math.GM)
 [173] arXiv:1707.05893 (replaced) [pdf, ps, other]

Title: Invariants of symplectic and orthogonal groups acting on $\text{GL}(n,{\mathbb C})$modulesComments: LATEX, 23 pages. New results are added in the end of Section 7Subjects: Commutative Algebra (math.AC); Representation Theory (math.RT)
 [174] arXiv:1707.06517 (replaced) [pdf, ps, other]

Title: Densities For The Repeating Decimals ProblemsAuthors: N. A. CarellaComments: Eleven Pages. Keywords: Repeated Decimal; Primitive root; Distribution of Prime. arXiv admin note: substantial text overlap with arXiv:1701.03188, arXiv:1609.01147Subjects: Number Theory (math.NT)
 [175] arXiv:1707.07259 (replaced) [pdf, other]

Title: Hierarchical PlugandPlay Voltage/Current Controller of DC microgrid with GridForming/Feeding converters: Lineindependent Primary Stabilization and Leaderbased Distributed Secondary RegulationAuthors: Renke Han, Michele Tucci, Raffaele Soloperto, Andrea Martinelli, Giancarlo FerrariTrecate, Josep M. GuerreroComments: 36 pages, 10 figuresSubjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
 [176] arXiv:1707.07816 (replaced) [pdf, other]

Title: SmallScale, Local Area, and Transitional Millimeter Wave Propagation for 5G CommunicationsComments: To appear in the IEEE Transactions on Antennas and Propagation, Special Issue on 5G, Nov. 2017Subjects: Information Theory (cs.IT)
 [177] arXiv:1707.08562 (replaced) [pdf, ps, other]

Title: Dimension of the Center of a Brauer Configuration AlgebraAuthors: Alex SierraComments: 30 pages, LaTeX, typos addedSubjects: Representation Theory (math.RT)
 [178] arXiv:1707.08829 (replaced) [src]

Title: A stochastic maximal inequality, strict countability, and infinitedimensional martingalesAuthors: Yoichi NishiyamaComments: This paper has been withdrawn by the author due to an crucial errorSubjects: Probability (math.PR)
 [179] arXiv:1707.09008 (replaced) [pdf, ps, other]

Title: Tameness from two successive good framesAuthors: Sebastien VaseyComments: 25 pages. A few minor changesSubjects: Logic (math.LO)
 [180] arXiv:1707.09874 (replaced) [pdf, ps, other]

Title: The derivative of the conjugacy for the pair of tentlike interval itself mapsAuthors: Makar PlakhotnykComments: 25 pages, 4 figuresSubjects: Dynamical Systems (math.DS)
 [181] arXiv:1708.00144 (replaced) [pdf, ps, other]

Title: On A Conjecture Regarding Permutations Which Destroy Arithmetic ProgressionsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
 [182] arXiv:1708.01199 (replaced) [pdf, ps, other]

Title: Coarse quotients by group actions and the maximal Roe algebraSubjects: Geometric Topology (math.GT); Metric Geometry (math.MG); Operator Algebras (math.OA)
 [183] arXiv:1708.03029 (replaced) [pdf, other]

Title: From limitedaperture to fullapertureAuthors: Xiaodong LiuComments: 20 pagesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
 [184] arXiv:1708.03627 (replaced) [pdf, ps, other]

Title: Nonexistence of Extremal de Sitter Black RingsComments: 4 pagesSubjects: High Energy Physics  Theory (hepth); General Relativity and Quantum Cosmology (grqc); Differential Geometry (math.DG)
 [185] arXiv:1708.03668 (replaced) [src]

Title: A Central Limit Theorem for First Passage Percolation in the SlabComments: mistakes not correctedSubjects: Probability (math.PR)
 [186] arXiv:1708.03806 (replaced) [pdf, other]

Title: Faber approximation to the MoriZwanzig equationComments: 21 pages, 4 figuresSubjects: Mathematical Physics (mathph); Numerical Analysis (math.NA)
 [187] arXiv:1708.03843 (replaced) [pdf, other]

Title: The JohanssonMolloy Theorem for DPColoringAuthors: Anton BernshteynComments: 9 pages, 1 figureSubjects: Combinatorics (math.CO)
 [188] arXiv:1708.03936 (replaced) [pdf, ps, other]

Title: Counting algebraic points in expansions of ominimal structures by a dense setAuthors: Pantelis E. EleftheriouSubjects: Logic (math.LO)
 [189] arXiv:1708.03949 (replaced) [pdf, other]

Title: Gradient Methods for Submodular MaximizationSubjects: Learning (cs.LG); Optimization and Control (math.OC)
 [190] arXiv:1708.04051 (replaced) [pdf, other]

Title: Improving Secrecy with Nearly Collinear Main and Wiretap Channels via a Cooperative Jamming RelaySubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
 [191] arXiv:1708.04089 (replaced) [pdf, other]

Title: Robustness in Chinese Remainder TheoremComments: 13 pagesSubjects: Information Theory (cs.IT)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)