We gratefully acknowledge support from
the Simons Foundation
and member institutions

Mathematics

New submissions

[ total of 191 entries: 1-191 ]
[ 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 nodes
Subjects: 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 Links
Comments: 5 pages,This work has been submitted to the IEEE for possible publication
Subjects: 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 non-line-ofsight (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 Saleh-Valenzuela 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 multi-path sparsity.

[3]  arXiv:1708.04258 [pdf, ps, other]
Title: The Stochastic-Calculus Approach to Multi-Receiver Poisson Channels
Comments: Submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)

We study two-receiver 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 two-decoder Poisson broadcast channel with degraded message sets.

[4]  arXiv:1708.04261 [pdf, other]
Title: New solution approaches for the maximum-reliability stochastic network interdiction problem
Comments: 16 pages
Subjects: Optimization and Control (math.OC)

We investigate methods to solve the maximum-reliability 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 mixed-integer 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 path-based 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 path-based formulation which are dependent on the structure of the interdicted arc probabilities. We propose a branch-and-cut (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 state-of-the-art implementation of Benders decomposition for this problem.

[5]  arXiv:1708.04263 [pdf, other]
Title: Uniqueness of Gibbs Measures for Continuous Hardcore Models
Comments: 34 pages, 1 figure
Subjects: 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 so-called 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 Phases
Subjects: Algebraic Topology (math.AT); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

We classify a number of symmetry protected phases using Freed-Hopkins' homotopy theoretic classification. Along the way we compute the low-dimensional 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 non-trivial prime factors
Authors: Shuo Li
Subjects: 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 forms
Comments: 20 pages, 4 tables. arXiv admin note: text overlap with arXiv:1607.03809
Subjects: 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 density
Authors: Eric P. Astor
Comments: Submitted. 12 pages, 2 figures
Subjects: 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 well-defined 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 non-computable function. By contrast, a classic construction of an immune set in every non-computable degree actually yields a set with intrinsic lower density 0 in every non-computable 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 non-computable 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 LMMP
Subjects: Algebraic Geometry (math.AG)

We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by $p-1$. 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 function
Comments: to appear in Bollettino UMI, BUMI-D-17-00046R2
Subjects: 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 subgroups
Authors: Marc Coppens
Subjects: 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 a-1$ 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 $(a-1)(b-1)/2$ and the result is generalized to genus $g<(a-1)(b-1)/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 = 2
Comments: This note fills a gap in an argument from arXiv:09105440v2
Subjects: 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 4-manifold in question has first Betti number 2 (and necessarily self-dual second Betti number 1). This note explains how to fill this gap.

[14]  arXiv:1708.04280 [pdf, other]
Title: Non-smooth convex caustics for Birkhoff billiard
Comments: 12 pages, 5 figures
Subjects: 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 Aubry-Mather 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 non-smooth convex caustic.

[15]  arXiv:1708.04283 [pdf, ps, other]
Title: Semantically-Secured Message-Key Trade-off over Wiretap Channels with Random Parameters
Subjects: Information Theory (cs.IT)

We study the trade-off between secret message (SM) and secret key (SK) rates, simultaneously achievable over a state-dependent (SD) wiretap channel (WTC) with non-causal 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 semantic-security (SS) SM-SK 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 SD-WTCs. SS is established by virtue of two versions of the strong soft-covering lemma. The derived region yields an improvement upon the previously best known SM-SK trade-off 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 motives
Authors: Alberto Vezzani
Comments: 16 pages
Subjects: 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 weight-zero part of the \'etale cohomology of a variety defined over a non-archimedean valued field.

[17]  arXiv:1708.04285 [pdf, other]
Title: Quantitative Invertibility and Approximation for the Truncated Hilbert and Riesz Transforms
Authors: Angkana Rüland
Comments: 22 pages, 1 figure
Subjects: 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 non-totality of biases
Comments: 24 pages
Subjects: 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 Bateman-Horn 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 Pseudo-Wigner and Related Matrices
Subjects: Probability (math.PR)

We investigate the spectral norms of symmetric $N \times N$ matrices from two pseudo-random ensembles. The first is the pseudo-Wigner ensemble introduced in "Pseudo-Wigner Matrices" by Soloveychik, Xiang and Tarokh and the second is its sample covariance-type 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 potential
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)

We consider a variant of Gamow's liquid drop model, with a general repulsive Riesz kernel and a long-range 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: Z-knotted triangulations
Authors: Mark Pankov, Adam Tyc
Subjects: 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 programming
Authors: Robert Luce
Comments: APMOD 2012 extended abstract; posted for archivational purpose
Subjects: 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 non-zeros 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: Data-driven dimensional analysis: algorithms for unique and relevant dimensionless groups
Subjects: 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 semi-empirical because they use experimental data to complement the dimensional analysis. We derive the algorithms by combining classical semi-empirical modeling with active subspaces, which---given a probability density on the independent variables---yield 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 low-dimensional subspaces in its domain. We demonstrate the proposed algorithms on the well-studied example of viscous pipe flow---both 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: Titchmarsh-Weyl theory for vector valued Schrodinger operators
Authors: Keshav Acharya
Subjects: Mathematical Physics (math-ph)

We develop the Titchmarsh-Weyl theory for vector-valued 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 two-body motion
Comments: 83 pages
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Fluid Dynamics (physics.flu-dyn)

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 Euler-Poisson 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 spaces
Authors: Yu Kitabeppu
Comments: 15 pages.arXiv admin note: text overlap with arXiv:1603.04162
Subjects: 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 Gromov-Hausdorff convergence.

[27]  arXiv:1708.04310 [pdf, other]
Title: Linearly implicit full discretization of surface evolution
Comments: arXiv admin note: text overlap with arXiv:1607.07170
Subjects: 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 higher-order evolving-surface finite element method (ESFEM) for space discretization with higher-order linearly implicit backward difference formulae (BDF) for time discretization. The stability of the full discretization is studied in the matrix--vector 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 C
Comments: 18 pages
Subjects: 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 algebras
Comments: 26 pages. Comments welcome
Subjects: 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 Caching
Comments: To be submitted to IEEE Transactions on Information Theory. 26 pages, 6 figures
Subjects: 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, non-trivial family of possible caching schemes. The optimization framework is then used to develop a coded caching scheme capable of handling simultaneous non-uniform file length, non-uniform file popularity, and non-uniform 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 Jacobi
Comments: In French, 15 pages
Subjects: 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 Riemann-Poisson 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 randomness
Subjects: 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 counter-argument 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 numbers
Comments: 14 pages
Subjects: Differential Geometry (math.DG)

Let $M$ be an even-dimensional, 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 foliated-diffeomorphic 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 Polytopes
Authors: Bach Le Tran
Subjects: 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: Non-asymptotic Performance and Robustness
Subjects: 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 time-limited. 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 well-posed. We derive non-asymptotic error bounds for the generic subspace model by analyzing the spectral gap of the cross-correlation 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 Functions
Subjects: 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 1-dimensional Gomory-Johnson 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 Gomory-Johnson model.

[37]  arXiv:1708.04350 [pdf, ps, other]
Title: On a topological version of Pach's overlap theorem
Comments: 9 pages, 2 figures
Subjects: 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 linearly-sized 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/(d-1)}$. 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 higher-dimensional 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 times
Subjects: Probability (math.PR)

In this paper we derive weak limits for the discretization errors of sampling barrier-hitting 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 barrier-hitting 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 closed-form 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 Hopfian
Comments: 5 pages
Subjects: 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 Dicks-Lewin solution of the Jacobian conjecture for the free associative algebra. It also relates to the Jacobian conjecture for meta-abelian algebras.

[40]  arXiv:1708.04365 [pdf, ps, other]
Title: A new proof of Nakayama's Conjecture via Brauer quotients of Young modules
Comments: 16 pages
Subjects: Representation Theory (math.RT); Group Theory (math.GR)

We provide a self-contained 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*-algebras
Subjects: 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 classes
Comments: 19 pages
Subjects: 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ähler-Einstein manifolds
Authors: Yuya Takeuchi
Comments: 7 pages
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)

A formula of the renormalized volume of tubes over polalized K\"{a}hler-Einstein 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 Rectangles
Authors: Diaaeldin (Dia) Taha
Subjects: 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, (N-1)\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: Two-parameter asymptotic expansions for elliptic equations with small geometric perturbation and high contrast ratio
Subjects: 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 two-parameter 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 two-parameter 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 function
Comments: 7 figures
Subjects: 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, p-1 \}$ 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}_{p-1}$ 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 Properties
Authors: Arman Darbinyan
Journal-ref: Communications in Algebra, 2015
Subjects: 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 2-generated 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 Approach
Journal-ref: IEEE J. Sel. Areas Commun., vol. 35, no. 8, pp. 1741-1753, Aug. 2017
Subjects: 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 poorly-suited 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 inter-SI and intra- SI dynamic spectrum allocation policies considering time-varying requirements of different SIs. The policies are capable of taking care of application level priority, -i.e., mixture of guaranteed quality of service and best-effort service users served by each SI while ensuring a healthy competition. Our proposed framework serves two-fold 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 sets
Comments: 26 pages
Subjects: 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 2-groups. 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 2-groups, 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 2-groups, new linking systems in other 2-groups 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$-colorable
Subjects: 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: Universal-Filtered OFDM Systems
Journal-ref: IEEE Internet of Things Journal, vol. 3, no. 5, pp. 830-838, Oct. 2016
Subjects: Information Theory (cs.IT)

We consider a cognitive radio network consisting of a primary cellular system and a secondary cognitive machine-to-machine (M2M) system, and study the throughput enhancement problem of the latter system employing universal-filtered orthogonal frequency division multiplexing (UF-OFDM) 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 pre-specified threshold, under total transmit power budget of the secondary base station (SBS). The performance of UF-OFDM based CR system is compared to the performances of OFDM-based and filter bank multicarrier (FBMC)-based CR systems. We also propose a near-optimal 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 UF-OFDM based CR system exhibits intermediary performance in terms of achievable capacity compared to OFDM and FBMC-based CR systems. Interestingly, for a certain degree of robustness of the PUs, the UF-OFDM performs equally well as FBMC. Furthermore, the percentage rate-gain of UF-OFDM based CR system increases by a large amount when UF-OFDM 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 near-optimal performance.

[52]  arXiv:1708.04408 [pdf, ps, other]
Title: Sobolev regularity for the porous medium equation with a force
Authors: Benjamin Gess
Comments: 35 pages
Subjects: Analysis of PDEs (math.AP); Probability (math.PR)

We establish improved velocity averaging Lemmata with applications to non-isotropic parabolic-hyperbolic 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 Requirements
Journal-ref: EURASIP J. Adv. Signal Process., (2016) 2016:83
Subjects: Information Theory (cs.IT)

In this paper, we study inter-operator spectrum sharing and intra-operator resource allocation in shared spectrum access communication systems and propose efficient dynamic solutions to address both inter-operator and intra-operator resource allocation optimization problems. For inter-operator 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 well-defined 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 intra-operator resource allocation, we consider resource allocation problem with users' dissimilar service requirements, where the operator supports users with delay-constraint and non-delay 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 less-complex and efficient suboptimal solution based on formulating exact linearization, linear approximation and convexification techniques for the nonlinear and/or non-convex 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 weights
Authors: Fei Li
Comments: 9
Subjects: 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 state-action-frequency constraints
Comments: 31 pages
Subjects: 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 fine-tuned to control-affine 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 Non-degenerate Strong Limit
Subjects: 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), 479--496) 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 non-degenerate 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 Sum-Rate Maximization in Multicell MU-MIMO OFDMA Downlink
Journal-ref: Proc. IEEE International Conference on Communications (IEEE ICC)., Sydney, Australia, Jun. 2014
Subjects: Information Theory (cs.IT)

This paper considers distributed linear beamforming in downlink multicell multiuser orthogonal frequency-division 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 sum-rate 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 two-stage optimization process. In the first stage, the IA conditions are satisfied. In the second stage, the convex approximation of the non-convex WSRM is obtained based on the consequences of IA, and high signal-to-interference-plus-noise 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 arc-analytic equivalence
Subjects: Algebraic Geometry (math.AG)

It has been recently proved that the arc-analytic 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 arc-analytic type.
The aim of the present paper is to answer this question by giving a complete classification of Brieskorn polynomials up to the arc-analytic equivalence. The proof relies on an invariant of this relation whose construction is similar to the one of Denef-Loeser motivic zeta functions.
The classification obtained generalizes the one of Koike-Parusi\'nski in the two variable case up to the blow-analytic equivalence and the one of Fichou in the three variable case up to the blow-Nash equivalence.

[59]  arXiv:1708.04426 [pdf, ps, other]
Title: Rank-two Milnor idempotents for the multipullback quantum complex projective plane
Comments: 27 pages
Subjects: K-Theory 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 Calow-Matthes quantum 3-sphere. 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 rank-four 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 5-sphere $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 rank-one free module and a rank-one non-free 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 manifolds
Comments: 50 pages
Subjects: Representation Theory (math.RT)

We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant 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 Kang-Kashiwara-Kim-Oh. 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 Channel
Comments: 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 Communications
Comments: Proc. IEEE Wireless Personal Multimedia Communications (IEEE WPMC)., Hyderabad, India, Dec. 2015
Subjects: Information Theory (cs.IT)

We study the coexistence of different multicarrier waveforms such as orthogonal frequency division multiplexing (OFDM), filter-bank multicarrier (FBMC) and universal-filtered multicarrier (UFMC) waveforms in licensed shared access (LSA) for next-generation communication systems. The fundamental changes required in the existing physical layer using OFDM towards a hybrid physical layer (either OFDM-FBMC 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 non-orthogonality 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 power-loss 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 power-power loss due to its very low side-lobes while conventional OFDM-based system suffers the most. The UFMC-based system exhibits intermediary performance with respect to achieved throughput and power-loss when compared with OFDM and FBMC-based systems.

[63]  arXiv:1708.04444 [pdf, other]
Title: Efficient Downlink Channel Probing and Uplink Feedback in FDD Massive MIMO Systems
Comments: 24 pages, 10 figures
Subjects: Information Theory (cs.IT)

Massive Multiple-Input Multiple-Output (massive MIMO) is a variant of multi-user 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 delay-sensitive 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, frequency-invariant 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 compressed-sensing. We use numerical simulations to assess the performance of our probing-feedback algorithm and compare it with these methods.

[64]  arXiv:1708.04446 [pdf, ps, other]
Title: Elliptic operators on refined Sobolev scales on vector bundles
Comments: 22 pages
Journal-ref: OpenMath.,15 (2017), no. 1, p 907-925
Subjects: 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 Expansion
Comments: 17 pages, LaTeX
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP)

A local expansion is proposed for two-point distributions involving an ultraviolet regularization in a globally hyperbolic space-time. 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 Sum-Rate Maximization for Multicell Multiuser OFDM
Journal-ref: IEICE Trans. Fundamentals, vol. E97-A, no. 8, pp. 1800-1805, Aug. 2014
Subjects: Information Theory (cs.IT)

This letter considers the weighted sum-rate maximization (WSRMax) problem in downlink multicell multiuser orthogonal frequency-division multiplexing system. The WSRMax problem under per base station transmit power constraint is known to be NP-hard, and the optimal solution is computationally very expensive. We propose two less-complex 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 sum-rate function. Both the iterative solutions are found to converge to the local optimal solution within a few iterations compared to other well-known 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 complexes
Authors: Tirdad Sharif
Subjects: Commutative Algebra (math.AC)

In this note, we extend the quasi-projective 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 Moore-Penrose inverse of self-adjoint operator
Authors: Yidong Luo, Nailin Du
Subjects: Functional Analysis (math.FA)

For an unbounded self-adjoint operator $A$ and its finite-rank approximation $\{ A_n \}$ with resolvent consistency, the Moore-Penrose inverse sequence$\{ A^\dagger_n \}$ of $\{ A_n \}$ is a naturally computational scheme of the Moore-Penrose 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 Wavelets
Subjects: 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 noise-contaminated 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 singular-value 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 ill-posed 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, wavelet-based 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 Fields
Subjects: 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 multi-valued 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 2-lattices in 3-space
Comments: Submitted. 47 pages, 3 figures
Subjects: 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 rank-2 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: Well-posedness of the martingale problem for non-local perturbations of Lévy-type generators
Authors: Peng Jin
Comments: 25 pages
Subjects: Probability (math.PR)

Let $L$ be a L\'evy-type generator whose L\'evy measure is controlled from below by that of a non-degenerate $\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 time-dependent non-local 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\wedge|y|^{\beta}M(t,x,dy)<\infty \] for some $0<\beta<\alpha$, then the martingale problem for $\mathcal{L}_{t}$ is well-posed.

[73]  arXiv:1708.04470 [pdf, other]
Title: On the centre of mass of a random walk
Comments: 25 pages, 1 colour figure
Subjects: 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 heavy-tailed increments for which $G_n$ is transient in $d=1$.

[74]  arXiv:1708.04471 [pdf, ps, other]
Title: Logarithmic compactification of the Abel-Jacobi section
Comments: This paper supersedes arXiv:1310.5981 by the same authors. Logarithmic and tropical perspectives are employed, obtaining stronger results. 24 pages, 2 figures
Subjects: Algebraic Geometry (math.AG)

Given a smooth curve with weighted marked points, the Abel-Jacboi 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 Abel-Jacobi 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 groups
Comments: 11 pages
Subjects: Dynamical Systems (math.DS); Group Theory (math.GR)

In this paper, we establish statistical results for a convex co-compact action of a free group on a CAT($-1$) space where we restrict to a non-trivial 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 bitngents
Comments: 34 pages, 23 figures, 1 table
Subjects: 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 data
Authors: Chao Zhang, Xia Zhang
Comments: 22 pages
Subjects: 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 p-Laplacian equation case.

[78]  arXiv:1708.04482 [pdf, ps, other]
Title: On Vector ARMA Models Consistent with a Finite Matrix Covariance Sequence
Authors: Bin Zhu
Comments: 12 pages with IEEE-TAC template (one-column 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: Waring-Goldbach Problem: One Square, Four Cubes and Higher Powers
Comments: 19 pages. arXiv admin note: substantial text overlap with arXiv:1707.07808
Subjects: Number Theory (math.NT)

Let $\mathcal{P}_r$ denote an almost-prime 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 almost-prime $\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: Edge-magic labelings for constellations and armies of caterpillars
Subjects: 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 edge-magic 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 edge-magic 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 edge-magic 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 same-type caterpillars admits an edge-magic labeling.

[81]  arXiv:1708.04494 [pdf, ps, other]
Title: Main conjectures for higher rank nearly ordinary families -- I
Comments: 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 3-variable main conjecture for nearly ordinary families of Rankin-Selberg convolutions.

[82]  arXiv:1708.04496 [pdf, ps, other]
Title: Analytic continuations of log-exp-analytic germs
Comments: 52 pages
Subjects: 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 o-minimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound on the logarithmic-exponential complexity of the compositional inverse of an infinitely increasing such germ, in terms of its own logarithmic-exponential 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 trees
Comments: 27 pages, 14 figures
Subjects: Combinatorics (math.CO)

In this paper, we study Ramsey-type 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$-edge-coloured tournament on $n$ vertices contains a monochromatic copy of $H$. We prove that $ \overrightarrow{R}(T,k) \le c_k|T|^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_k|T|^{k-1}$ 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 sums
Subjects: 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_j|n$, 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_{d|n}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 functions
Subjects: 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) 85--90] and it was subsequently generalized by McCarthy [J. reine angew. Math. 203 (1960) 55--63] 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 Polyhedra
Comments: 14 pages
Subjects: 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 2-dimensional CW-complex with finite cyclic fundamental group $\mathbb{Z}_n$.

[87]  arXiv:1708.04519 [pdf, other]
Title: Stable matchings in high dimensions via the Poisson-weighted infinite tree
Comments: 27 pages
Subjects: 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 multi-color variants. Our proof uses stable matching on the Poisson-weighted 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 high-dimensional 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 disks
Comments: arXiv admin note: text overlap with arXiv:1210.1191
Subjects: 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 Moore-Bellman-Ford algorithm
Authors: Cong-Dian Cheng
Comments: 25 pages
Subjects: Optimization and Control (math.OC)

Study the general single-source 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 single-source shortest path problem (GSSSP) on the defined path function. Secondly, following respectively the approaches of the well known Dijkstra's algorithm and Moore-Bellman-Ford algorithm, design an extended Dijkstra's algorithm (EDA) and an extended Moore-Bellman-Ford algorithm (EMBFA) to solve the problem GSSSP under certain given conditions. Thirdly, introduce a few concepts, such as order-preserving 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 convection-diffusion and Schrödinger type equations
Authors: Tarek Aboelenen
Comments: arXiv admin note: substantial text overlap with arXiv:1704.01484
Subjects: Numerical Analysis (math.NA)

A direct discontinuous Galerkin (DDG) finite element method is developed for solving fractional convection-diffusion 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 convection-diffusion 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 convection-diffusion 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 inequality
Authors: H.R. Moradi
Subjects: 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{A-M{{\mathbf{1}}_{\mathcal{H}}}}{M-m}}}{{M}^{\frac{m{{\mathbf{1}}_{\mathcal{H}}}-A}{M-m}}} \right)\le \frac{{{\left( M+m \right)}^{2}}}{4Mm}\Phi {{\left( A \right)}^{-1}}.\]

[92]  arXiv:1708.04551 [pdf, ps, other]
Title: A conditional well-posedness result for the bidirectional Whitham equation
Subjects: Analysis of PDEs (math.AP)

We consider the initial-value problem for the bidirectional Whitham equation, a system which combines the full two-way dispersion relation from the incompressible Euler equations with a canonical shallow-water nonlinearity. We prove local well-posedness in classical Sobolev spaces in the localised as well as the periodic case, using a square-root type transformation to symmetrise the system. The existence theory requires a non-vanishing surface elevation, indicating that the problem is ill-posed for more general initial data.

[93]  arXiv:1708.04554 [pdf, ps, other]
Title: Gleason parts of bidual algebras
Subjects: 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 weak-star and norm topologies on the Bear-Gleason part.

[94]  arXiv:1708.04561 [pdf, ps, other]
Title: On the algebraic structure of iterated integrals of quasimodular forms
Authors: Nils Matthes
Comments: 15 pages
Subjects: 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: Long-time behaviour of non-local in time Fokker-Planck equations via the entropy method
Comments: 25 pages
Subjects: Analysis of PDEs (math.AP)

We consider a rather general class of non-local in time Fokker-Planck 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 time-fractional 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 Fokker-Planck 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 discrete-time 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 curvatures
Comments: 15 pages
Subjects: Differential Geometry (math.DG)

We study a volume preserving curvature flow of convex hypersurfaces, driven by a power of the k-th 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 Convexity
Subjects: 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 well-known 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 round-up and round-down 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öbner-Shirshov bases for associative conformal modules
Authors: Yuqun Chen, Lili Ni
Comments: 33 pages
Subjects: Rings and Algebras (math.RA)

We construct free modules over an associative conformal algebra. We establish Composition-Diamond lemma for associative conformal modules. As applications, Gr\"obner-Shirshov 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 representations
Authors: Daniel Le
Comments: 16 pages
Subjects: 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 Taylor-Wiles 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 Jordan-H\"older factors appear with multiplicity one. This builds on and extends work of the author with Morra and Schraen and independently of Hu-Wang, 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 Taylor-Wiles patched modules of integral projective envelopes using multitype tamely potentially Barsotti-Tate deformation rings and their intersection theory.

[100]  arXiv:1708.04585 [pdf, other]
Title: On the Capacity of Wireless Networks with Fractal and Hierarchical Social Communications
Comments: arXiv admin note: text overlap with arXiv:1705.09751
Subjects: 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 self-similarity of a fractal wireless network by a power-law 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 inter-conneced 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 trees
Subjects: 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 non-discrete locally compact groups such that one of the factors acts vertex-transitively 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 non-discrete Burger-Mozes universal group of automorphisms of a tree with an arbitrary prescribed local action admits a compactly generated closed subgroup with a non-discrete simple quotient. As applications, we answer a question of D. Wise by proving the non-residual 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 groups
Authors: Arman Darbinyan
Subjects: 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 small-cancellation 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 non-empty 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 torsion-free 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 non-elementary torsion-free 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án-Kubilius friable et indépendance asymptotique
Comments: 8 pages, in French
Subjects: 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\'an-Kubilius constant tends to $1$.

[104]  arXiv:1708.04602 [pdf, ps, other]
Title: Lichnerowicz-type equations with sign-changing nonlinearities on complete manifolds with boundary
Journal-ref: Journal of Differential Equations (2017)
Subjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)

We prove an existence theorem for positive solutions to Lichnerowicz-type 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 Einstein-scalar 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 Microgrids
Comments: 10 pages
Subjects: 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 consensus-like 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 2-body problem in spaces of constant curvature
Comments: 29 pages, 9 figs
Subjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS)

We perform the reduction of the two-body problem in the two dimensional spaces of constant non-zero 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 Energy-Momentum bifurcation diagram of the system.

Cross-lists for Wed, 16 Aug 17

[107]  arXiv:1705.01024 (cross-list from stat.ME) [pdf, other]
Title: A projection pursuit framework for testing general high-dimensional hypothesis
Subjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO); Machine Learning (stat.ML)

This article develops a framework for testing general hypothesis in high-dimensional 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 long-standing 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 high-dimensional 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 high-dimensional parameters. The simulation studies lend further support to our theoretical claims and additionally show excellent finite-sample size and power properties of the proposed test.

[108]  arXiv:1707.01983 (cross-list from cond-mat.dis-nn) [pdf, other]
Title: Phase transitions in the $q$-coloring of random hypergraphs
Comments: 31 pages, 7 figures
Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); 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 one-step-replica-symmetry-breaking 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 (cross-list from stat.ME) [pdf, other]
Title: Fine-Gray competing risks model with high-dimensional covariates: estimation and Inference
Comments: 51 pages
Subjects: 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 Fine-Gray 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, high-dimensional Fine-Gray 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 one-step bias-correcting estimator. We are able to generalize the partial likelihood approach for the Fine-Gray model under random censoring despite many technical difficulties. We lay down a methodological and theoretical framework for the one-step bias-correcting 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 non-cancer mortality among prostate cancer patients using the linked Medicare-SEER data.

[110]  arXiv:1708.04011 (cross-list from gr-qc) [pdf, ps, other]
Title: Light Deflection and Gauss--Bonnet Theorem: Definition of Total Deflection Angle and its Applications
Comments: 34 pages, 6 figures. Submitted to PRD
Subjects: General Relativity and Quantum Cosmology (gr-qc); Cosmology and Nongalactic Astrophysics (astro-ph.CO); Mathematical Physics (math-ph)

In this paper, we re-examine the light deflection in the Schwarzschild and the Schwarzschild--de 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 Gauss--Bonnet 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 Schwarzschild--de Sitter spacetime. In particular, in the Schwarzschild case, the result coincides with Epstein--Shapiro's formula when the source $S$ and the receiver $R$ of the light ray are located at infinity. In addition, in the Schwarzschild--de Sitter case, there appear order ${\cal O}(\Lambda m)$ terms in addition to the Schwarzschild-like part, while order ${\cal O}(\Lambda)$ terms disappear.

[111]  arXiv:1708.04242 (cross-list from hep-th) [pdf, other]
Title: Monstrous entanglement
Comments: 41 pages, 4 figures
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

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 q-series 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 one-loop partition function on handlebodies. We also explore some features of Renyi entropies of two intervals on the plane.

[112]  arXiv:1708.04302 (cross-list from quant-ph) [pdf, other]
Title: Quantum majorization and a complete set of entropic conditions for quantum thermodynamics
Comments: 10 pages main text + 5 pages appendix, 2 figures, comments are welcome!
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)

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 quantum-mechanical generalization of majorization. The framework admits a complete description in terms of single-shot 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 quantum-mechanical 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 thermo-majorization while in the asymptotic coherence regime we obtain a constraint that takes the form of a Page-Wootters clock condition.

[113]  arXiv:1708.04314 (cross-list from quant-ph) [pdf, other]
Title: Superadditivity in trade-off capacities of quantum channnels
Comments: 15 pages
Subjects: Quantum Physics (quant-ph); 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 classical-quantum capacity be superadditive? In this work, we answer such questions affirmatively.
We give proof-of-principle 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 classical-entanglement and classical-quantum capacity regions imply the additivity of the triple capacity region.

[114]  arXiv:1708.04440 (cross-list 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 spaces
Authors: Ágoston Róth
Comments: 27 pages, 17 figures, 2 tables
Subjects: Mathematical Software (cs.MS); Graphics (cs.GR); Numerical Analysis (math.NA)

Applying original and existing theoretical results, we propose a platform-independent multi-threaded function library that provides data structures to generate, differentiate and render both the ordinary basis and the non-negative normalized B-basis of an arbitrary extended Chebyshev (EC) space that comprises the constants and can be identified with the solution space of a user-defined constant-coefficient homogeneous linear differential equation. Using the obtained non-negative normalized B-bases, our library can also generate, (partially) differentiate, modify and visualize a large family of so-called B-curves and tensor product B-surfaces. Moreover, the library also implements methods that can be used to perform general order elevation, to subdivide B-curves and B-surfaces by means of general de Casteljau-like B-algorithms, 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 (cross-list from cs.DS) [pdf, other]
Title: Linear algebraic analogues of the graph isomorphism problem and the Erdős-Rényi model
Comments: 32 pages, 2 figures
Subjects: Data Structures and Algorithms (cs.DS); Group Theory (math.GR)

A classical difficult isomorphism testing problem is to test isomorphism of p-groups 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 long-believed bottleneck case of group isomorphism.
In 1970's, Babai, Erd\H{o}s, and Selkow presented the first average-case efficient graph isomorphism testing algorithm (SIAM J Computing, 1980). Inspired by that algorithm, we devise an average-case 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}s-R\'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 worst-case time complexity for graph isomorphism, but was missing in the group isomorphism context. This algorithm also enables us to improve Higman's 57-year-old lower bound on the number of p-groups (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 worst-case time complexity of the alternating matrix space isometry problem in a certain range of parameters.

[116]  arXiv:1708.04527 (cross-list from stat.ME) [pdf, other]
Title: The Trimmed Lasso: Sparsity and Robustness
Comments: 32 pages (excluding appendix); 4 figures
Subjects: 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 trimmed-Lasso-regularized 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 sparsity-inducing penalty functions, we provide a succinct characterization of the connection between trimmed-Lasso- like approaches and penalty functions that are coordinate-wise separable, showing that the trimmed penalties subsume existing coordinate-wise 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 (cross-list 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 modes
Authors: 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, I-00185 Roma, Italy)
Comments: 20 pages. arXiv admin note: text overlap with arXiv:1708.00762 and substantial text overlap with arXiv:1707.05659
Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Atmospheric and Oceanic Physics (physics.ao-ph); 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 N-breather 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 (cross-list from cond-mat.soft) [pdf, ps, other]
Title: On Kinetic Equations for Collisional Dynamics of Active Soft Condensed Matter
Authors: V.I. Gerasimenko
Comments: 17 pages. arXiv admin note: substantial text overlap with arXiv:1308.4504, arXiv:1408.1781
Subjects: Soft Condensed Matter (cond-mat.soft); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Cell Behavior (q-bio.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 energy-supercritical Schrodinger equation with radial data
Authors: Tristan Roy
Comments: 32 pages. Update
Subjects: Analysis of PDEs (math.AP)
[120]  arXiv:1210.2684 (replaced) [pdf, ps, other]
Title: Paracontrolled distributions and singular PDEs
Comments: published version
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
[121]  arXiv:1405.2067 (replaced) [pdf, ps, other]
Title: Pointwise equidistribution for one parameter diagonalizable group action on homogeneous space
Authors: Ronggang Shi
Comments: The detailed proof is modified a lot to make the paper easy to read
Subjects: Dynamical Systems (math.DS)
[122]  arXiv:1410.1447 (replaced) [pdf, ps, other]
Title: Fredholm determinants in the multiparticle hopping asymmetric diffusion model
Authors: Eunghyun Lee
Subjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[123]  arXiv:1411.2288 (replaced) [pdf, ps, other]
Title: Amalgam Anosov representations
Comments: With an appendix by the authors and Andres Sambarino. Final version
Journal-ref: Geom. Topol. 21 (2017) 215-251
Subjects: 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 Ercan
Comments: includes some misprints
Subjects: Functional Analysis (math.FA)
[125]  arXiv:1508.03063 (replaced) [pdf, other]
Title: Random Partitions and the Quantum Benjamin-Ono Hierarchy
Authors: Alexander Moll
Comments: version 3: (i) identified meaning of results as semi-classical 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 improved
Subjects: Mathematical Physics (math-ph); 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 rank-width of distance-hereditary graphs II. Vertex-minor obstructions
Comments: 38 pages, 13 figures, 1 table, revised journal version. A preliminary version of Section 5 appeared in the proceedings of WG14
Subjects: Combinatorics (math.CO)
[127]  arXiv:1510.02647 (replaced) [pdf, ps, other]
Title: Affine cellularity of affine Yokonuma-Hecke algebras
Authors: Weideng Cui
Comments: We give the details of the proofs of some lemmas
Subjects: Representation Theory (math.RT)
[128]  arXiv:1512.00383 (replaced) [pdf, ps, other]
Title: A survey on Heegaard Floer homology and concordance
Authors: Jennifer Hom
Comments: 20 pages, 6 figures, 1 table; v2: minor revisions throughout; v3: added Remark 3.15
Journal-ref: 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 torus
Subjects: 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 Cox
Comments: 12 pages v2: Due to a problem with the main technical Lemma (previously Lemma 4.7) some results have been changed
Subjects: Group Theory (math.GR)
[131]  arXiv:1602.08379 (replaced) [pdf, ps, other]
Title: Snowflake geometry in CAT(0) groups
Comments: 48 pages, 13 figures. v2: minor corrections; to appear in Journal of Topology
Subjects: Group Theory (math.GR); Geometric Topology (math.GT)
[132]  arXiv:1604.07856 (replaced) [pdf, ps, other]
Title: Solvable Lie algebras and graphs
Comments: minor changes
Subjects: 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 integrators
Subjects: 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 swirl
Comments: 26 pages, some errors are fixed in this new version
Subjects: Analysis of PDEs (math.AP)
[135]  arXiv:1606.01496 (replaced) [pdf, other]
Title: Bakry-Émery curvature functions of graphs
Comments: 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 Portegies
Subjects: Combinatorics (math.CO); Differential Geometry (math.DG)
[136]  arXiv:1606.08005 (replaced) [pdf, ps, other]
Title: Linear Stability of the Non-Extreme Kerr Black Hole
Comments: 66 pages, LaTeX, 2 figures, minor improvements (published version)
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP)
[137]  arXiv:1606.09113 (replaced) [pdf, ps, other]
Title: Construction and shape optimization of simplicial meshes in $d$-dimensional space
Authors: Radim Hošek
Comments: 17 pages, 2 figures
Subjects: Metric Geometry (math.MG)
[138]  arXiv:1607.03187 (replaced) [pdf, ps, other]
Title: Arithmetic of the moduli $\mathcal{L}_{1, 12n}$ of semistable elliptic fibrations
Comments: Brought the first author into this project and improved inequalities for the point count of the moduli into the exact motive count
Subjects: 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 Theorem
Comments: 12 pages
Subjects: Logic (math.LO)
[140]  arXiv:1608.01853 (replaced) [pdf, ps, other]
Title: Martingale-coboundary decomposition for families of dynamical systems
Comments: Some simplifications in Sections 2 and 3. Further very minor changes. Updated references
Subjects: Dynamical Systems (math.DS)
[141]  arXiv:1610.03224 (replaced) [pdf, other]
Title: Pressure-robust analysis of divergence-free and conforming FEM for evolutionary incompressible Navier-Stokes flows
Comments: 30 pages, 13 figures, 2 tables
Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
[142]  arXiv:1610.05565 (replaced) [pdf, other]
Title: Stabilised dG-FEM for incompressible natural convection flows with boundary and moving interior layers on non-adapted meshes
Comments: 26 pages, 8 figures, 5 tables
Journal-ref: J. Comput. Phys., 335:760-779, 2017
Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
[143]  arXiv:1611.01837 (replaced) [pdf, ps, other]
Title: Singular vector distribution of sample covariance matrices
Authors: Xiucai Ding
Subjects: Probability (math.PR)
[144]  arXiv:1611.07275 (replaced) [pdf, other]
Title: On Unfair Permutations
Comments: minor revision, typos corrected, 24 pages, 5 tables, 3 figures
Subjects: Probability (math.PR)
[145]  arXiv:1611.09260 (replaced) [pdf, ps, other]
Title: The LP-Newton Method and Conic Optimization
Subjects: Optimization and Control (math.OC)
[146]  arXiv:1701.00247 (replaced) [pdf, ps, other]
Title: Some Repeated-Root Constacyclic Codes over Galois Rings
Subjects: Information Theory (cs.IT)
[147]  arXiv:1701.04105 (replaced) [pdf, ps, other]
Title: Star chromatic index of subcubic multigraphs
Subjects: Combinatorics (math.CO)
[148]  arXiv:1701.06897 (replaced) [pdf, ps, other]
Title: Contractive inequalities for Bergman spaces and multiplicative Hankel forms
Comments: This paper has been accepted for publication in Transactions of the AMS
Subjects: Functional Analysis (math.FA); Number Theory (math.NT)
[149]  arXiv:1702.07564 (replaced) [pdf, ps, other]
Title: Global existence and convergence for non-dimensionalized incompressible Navier-Stokes equations in low Froude number regime
Comments: 39 pages
Subjects: Analysis of PDEs (math.AP)
[150]  arXiv:1702.08034 (replaced) [pdf, ps, other]
Title: Cutoff for Ramanujan graphs via degree inflation
Authors: Jonathan Hermon
Comments: 11 pages
Journal-ref: Electron. Commun. Probab. Volume 22 (2017), paper no. 45, 10 pp
Subjects: Probability (math.PR); Combinatorics (math.CO)
[151]  arXiv:1703.06367 (replaced) [pdf, ps, other]
Title: Dynamic Information Acquisition from Multiple Sources
Subjects: 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 conjecture
Authors: Yasha Savelyev
Comments: Theorem 1.1 and so the corollary on existence of sky catastrophes substantially strengthened by removing the regularity assumption
Subjects: Dynamical Systems (math.DS); Symplectic Geometry (math.SG)
[153]  arXiv:1703.10209 (replaced) [pdf, other]
Title: Hardware Impairments Aware Transceiver Design for Full-Duplex Amplify-and-Forward MIMO Relaying
Comments: Submitted to IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[154]  arXiv:1704.02723 (replaced) [pdf, ps, other]
Title: Injective envelopes and the intersection property
Comments: 16 pages; fixes mistake in Theorem 3.8
Subjects: Operator Algebras (math.OA)
[155]  arXiv:1704.04116 (replaced) [pdf, other]
Title: A variational approach to probing extreme events in turbulent dynamical systems
Comments: Minor revisions, generalized the constraints in Eq. (2)
Subjects: Fluid Dynamics (physics.flu-dyn); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
[156]  arXiv:1704.04581 (replaced) [pdf, other]
Title: A Quadratic Penalty Method for Hypergraph Matching
Subjects: Optimization and Control (math.OC)
[157]  arXiv:1704.06600 (replaced) [pdf, other]
Title: Fundamental bounds on MIMO antennas
Subjects: Classical Physics (physics.class-ph); Optimization and Control (math.OC); Applied Physics (physics.app-ph)
[158]  arXiv:1704.07456 (replaced) [pdf, ps, other]
Title: Solutions to Yang-Mills equations on four-dimensional de Sitter space
Comments: 1+7 pages; v2: introduction extended, gauge group representation dependence added, minor clarifications, 3 more references; v3: title change, published version
Journal-ref: Phys. Rev. Lett. 119, 061601 (2017)
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[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 assumptions
Authors: N.V. Krylov
Comments: 30 pages, a few errors corrected
Subjects: Analysis of PDEs (math.AP)
[160]  arXiv:1705.02714 (replaced) [pdf, other]
Title: Rigidity of inversive distance circle packings revisited
Authors: Xu Xu
Comments: References are added
Subjects: Geometric Topology (math.GT)
[161]  arXiv:1705.05454 (replaced) [pdf, other]
Title: A $q$-deformation of the symplectic Schur functions and the Berele insertion algorithm
Authors: Ioanna Nteka
Comments: 32 pages; added references, corrected typos
Subjects: Combinatorics (math.CO); Probability (math.PR); Representation Theory (math.RT)
[162]  arXiv:1705.07651 (replaced) [pdf, ps, other]
Title: Hopf-cyclic cohomology of the Connes-Moscovici Hopf algebras with infinite dimensional coefficients
Comments: Minor revisions to highlight the main results
Subjects: K-Theory and Homology (math.KT)
[163]  arXiv:1705.08581 (replaced) [pdf, ps, other]
Title: The $\imath ε$ prescription in the SYK model
Authors: Razvan Gurau
Comments: Second version: the effective field theory part of the paper (subsections 2.1 and 3.1 and discussion) added
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[164]  arXiv:1705.09717 (replaced) [pdf, other]
Title: On sampling graphical Markov models
Subjects: Probability (math.PR); Combinatorics (math.CO)
[165]  arXiv:1705.10704 (replaced) [pdf, ps, other]
Title: A constructive approach to Schaeffer's conjecture
Subjects: Numerical Analysis (math.NA)
[166]  arXiv:1706.00298 (replaced) [pdf, ps, other]
Title: Modeling and Design of Millimeter-Wave Networks for Highway Vehicular Communication
Comments: Accepted for publication in IEEE Transactions on Vehicular Technology -- Connected Vehicles Series
Subjects: Information Theory (cs.IT); Performance (cs.PF)
[167]  arXiv:1706.02320 (replaced) [pdf, other]
Title: Evaluation of the operatorial Q-system for non-compact super spin chains
Comments: 31 pages, v2: minor changes, version published in JHEP
Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
[168]  arXiv:1706.02443 (replaced) [pdf, ps, other]
Title: A uniform approach to soliton cellular automata using rigged configurations
Comments: 34 pages, 2 figures
Subjects: Combinatorics (math.CO); Mathematical Physics (math-ph)
[169]  arXiv:1706.07531 (replaced) [pdf, other]
Title: High Performance Non-Binary Spatially-Coupled Codes for Flash Memories
Comments: 8 pages (double column), 5 figures, the short version was accepted at the IEEE Information Theory Workshop
Subjects: Information Theory (cs.IT)
[170]  arXiv:1706.08394 (replaced) [pdf, ps, other]
Title: The Product $e π$ Is Irrational
Authors: N. A. Carella
Comments: Twelve Pages. Improved Version. keywords: Irrational number; Natural base, Circle number; Unbounded partial quotients
Subjects: General Mathematics (math.GM)
[171]  arXiv:1706.08405 (replaced) [pdf, ps, other]
Title: Stability of group relations under small Hilbert-Schmidt perturbations
Comments: Typos are fixed and a few comments are added. arXiv admin note: text overlap with arXiv:1607.04470
Subjects: 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 function
Authors: Yochay Jerby
Subjects: 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})$-modules
Comments: LATEX, 23 pages. New results are added in the end of Section 7
Subjects: Commutative Algebra (math.AC); Representation Theory (math.RT)
[174]  arXiv:1707.06517 (replaced) [pdf, ps, other]
Title: Densities For The Repeating Decimals Problems
Authors: N. A. Carella
Comments: Eleven Pages. Keywords: Repeated Decimal; Primitive root; Distribution of Prime. arXiv admin note: substantial text overlap with arXiv:1701.03188, arXiv:1609.01147
Subjects: Number Theory (math.NT)
[175]  arXiv:1707.07259 (replaced) [pdf, other]
Title: Hierarchical Plug-and-Play Voltage/Current Controller of DC microgrid with Grid-Forming/Feeding converters: Line-independent Primary Stabilization and Leader-based Distributed Secondary Regulation
Comments: 36 pages, 10 figures
Subjects: Optimization and Control (math.OC); Dynamical Systems (math.DS)
[176]  arXiv:1707.07816 (replaced) [pdf, other]
Title: Small-Scale, Local Area, and Transitional Millimeter Wave Propagation for 5G Communications
Comments: To appear in the IEEE Transactions on Antennas and Propagation, Special Issue on 5G, Nov. 2017
Subjects: Information Theory (cs.IT)
[177]  arXiv:1707.08562 (replaced) [pdf, ps, other]
Title: Dimension of the Center of a Brauer Configuration Algebra
Authors: Alex Sierra
Comments: 30 pages, LaTeX, typos added
Subjects: Representation Theory (math.RT)
[178]  arXiv:1707.08829 (replaced) [src]
Title: A stochastic maximal inequality, strict countability, and infinite-dimensional martingales
Authors: Yoichi Nishiyama
Comments: This paper has been withdrawn by the author due to an crucial error
Subjects: Probability (math.PR)
[179]  arXiv:1707.09008 (replaced) [pdf, ps, other]
Title: Tameness from two successive good frames
Authors: Sebastien Vasey
Comments: 25 pages. A few minor changes
Subjects: Logic (math.LO)
[180]  arXiv:1707.09874 (replaced) [pdf, ps, other]
Title: The derivative of the conjugacy for the pair of tent-like interval itself maps
Authors: Makar Plakhotnyk
Comments: 25 pages, 4 figures
Subjects: Dynamical Systems (math.DS)
[181]  arXiv:1708.00144 (replaced) [pdf, ps, other]
Title: On A Conjecture Regarding Permutations Which Destroy Arithmetic Progressions
Subjects: 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 algebra
Subjects: Geometric Topology (math.GT); Metric Geometry (math.MG); Operator Algebras (math.OA)
[183]  arXiv:1708.03029 (replaced) [pdf, other]
Title: From limited-aperture to full-aperture
Authors: Xiaodong Liu
Comments: 20 pages
Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
[184]  arXiv:1708.03627 (replaced) [pdf, ps, other]
Title: Nonexistence of Extremal de Sitter Black Rings
Comments: 4 pages
Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)
[185]  arXiv:1708.03668 (replaced) [src]
Title: A Central Limit Theorem for First Passage Percolation in the Slab
Comments: mistakes not corrected
Subjects: Probability (math.PR)
[186]  arXiv:1708.03806 (replaced) [pdf, other]
Title: Faber approximation to the Mori-Zwanzig equation
Comments: 21 pages, 4 figures
Subjects: Mathematical Physics (math-ph); Numerical Analysis (math.NA)
[187]  arXiv:1708.03843 (replaced) [pdf, other]
Title: The Johansson--Molloy Theorem for DP-Coloring
Authors: Anton Bernshteyn
Comments: 9 pages, 1 figure
Subjects: Combinatorics (math.CO)
[188]  arXiv:1708.03936 (replaced) [pdf, ps, other]
Title: Counting algebraic points in expansions of o-minimal structures by a dense set
Subjects: Logic (math.LO)
[189]  arXiv:1708.03949 (replaced) [pdf, other]
Title: Gradient Methods for Submodular Maximization
Subjects: 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 Relay
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[191]  arXiv:1708.04089 (replaced) [pdf, other]
Title: Robustness in Chinese Remainder Theorem
Comments: 13 pages
Subjects: Information Theory (cs.IT)
[ total of 191 entries: 1-191 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)