Mathematics (math)

  • PDF
    This paper proposes a novel entropy encoding technique for lossless data compression. Representing a message string by its lexicographic index in the permutations of its symbols results in a compressed version matching Shannon entropy of the message. Commercial data compression standards make use of Huffman or arithmetic coding at some stage of the compression process. In the proposed method, like arithmetic coding entire string is mapped to an integer but is not based on fractional numbers. Unlike both arithmetic and Huffman coding no prior entropy model of the source is required. Simple intuitive algorithm based on multinomial coefficients is developed for entropy encoding that adoptively uses low number of bits for more frequent symbols. Correctness of the algorithm is demonstrated by an example.
  • PDF
    We study a deep matrix factorization problem. It takes as input a matrix $X$ obtained by multiplying $K$ matrices (called factors). Each factor is obtained by applying a fixed linear operator to a short vector of parameters satisfying a model (for instance sparsity, grouped sparsity, non-negativity, constraints defining a convolution network\ldots). We call the problem deep or multi-layer because the number of factors is not limited. In the practical situations we have in mind, we can typically have $K=10$ or $100$. This work aims at identifying conditions on the structure of the model that guarantees the stable recovery of the factors from the knowledge of $X$ and the model for the factors.We provide necessary and sufficient conditions for the identifiability of the factors (up to a scale rearrangement). We also provide a necessary and sufficient condition called Deep Null Space Property (because of the analogy with the usual Null Space Property in the compressed sensing framework) which guarantees that even an inaccurate optimization algorithm for the factorization stably recovers the factors. We illustrate the theory with a practical example where the deep factorization is a convolutional network.
  • PDF
    This work addresses the recovery and demixing problem of signals that are sparse in some general dictionary. Involved applications include source separation, image inpainting, super-resolution, and restoration of signals corrupted by clipping, saturation, impulsive noise, or narrowband interference. We employ the $\ell_q$-norm ($0 \le q < 1$) for sparsity inducing and propose a constrained $\ell_q$-minimization formulation for the recovery and demixing problem. This nonconvex formulation is approximately solved by two efficient first-order algorithms based on proximal coordinate descent and alternative direction method of multipliers (ADMM), respectively. The new algorithms are convergent in the nonconvex case under some mild conditions and scale well for high-dimensional problems. A convergence condition of the new ADMM algorithm has been derived. Furthermore, extension of the two algorithms for multi-channels joint recovery has been presented, which can further exploit the joint sparsity pattern among multi-channel signals. Various numerical experiments showed that the new algorithms can achieve considerable performance gain over the $\ell_1$-regularized algorithms.
  • PDF
    Recently, research on accelerated stochastic gradient descent methods (e.g., SVRG) has made exciting progress (e.g., linear convergence for strongly convex problems). However, the best-known methods (e.g., Katyusha) requires at least two auxiliary variables and two momentum parameters. In this paper, we propose a fast stochastic variance reduction gradient (FSVRG) method, in which we design a novel update rule with the Nesterov's momentum and incorporate the technique of growing epoch size. FSVRG has only one auxiliary variable and one momentum weight, and thus it is much simpler and has much lower per-iteration complexity. We prove that FSVRG achieves linear convergence for strongly convex problems and the optimal $\mathcal{O}(1/T^2)$ convergence rate for non-strongly convex problems, where $T$ is the number of outer-iterations. We also extend FSVRG to directly solve the problems with non-smooth component functions, such as SVM. Finally, we empirically study the performance of FSVRG for solving various machine learning problems such as logistic regression, ridge regression, Lasso and SVM. Our results show that FSVRG outperforms the state-of-the-art stochastic methods, including Katyusha.
  • PDF
    By using, among other things, the Fourier analysis techniques on hyperbolic and symmetric spaces, we establish the Hardy-Sobolev-Maz'ya inequalities for higher order derivatives on half spaces. The proof relies on a Hardy-Littlewood-Sobolev inequality on hyperbolic spaces which is of its independent interest. We also give an alternative proof of Benguria, Frank and Loss' work concerning the sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three dimensional upper half space. Finally, we show the sharp constant in the Hardy-Sobolev-Maz'ya inequality for bi-Laplacian in the upper half space of dimension five coincides with the Sobolev constant.
  • PDF
    We study a stochastic primal-dual method for constrained optimization over Riemannian manifolds with bounded sectional curvature. We prove non-asymptotic convergence to the optimal objective value. More precisely, for the class of hyperbolic manifolds, we establish a convergence rate that is related to the sectional curvature lower bound. To prove a convergence rate in terms of sectional curvature for the elliptic manifolds, we leverage Toponogov's comparison theorem. In addition, we provide convergence analysis for the asymptotically elliptic manifolds, where the sectional curvature at each given point on manifold is locally bounded from below by the distance function. We demonstrate the performance of the primal-dual algorithm on the sphere for the non-negative principle component analysis (PCA). In particular, under the non-negativity constraint on the principle component and for the symmetric spiked covariance model, we empirically show that the primal-dual approach outperforms the spectral method. We also examine the performance of the primal-dual method for the anchored synchronization from partial noisy measurements of relative rotations on the Lie group SO(3). Lastly, we show that the primal-dual algorithm can be applied to the weighted MAX-CUT problem under constraints on the admissible cut. Specifically, we propose different approximation algorithms for the weighted MAX-CUT problem based on optimizing a function on the manifold of direct products of the unit spheres as well as the manifold of direct products of the rotation groups.
  • PDF
    The aim of this study is to understand to what extent a 1-convex domain with Levi-flat boundary is capable of holomorphic functions with slow growth. This paper discusses the case of the space of all the geodesic segments on a hyperbolic compact Riemann surface, which is a typical example of such a domain in the sense that its realization as a holomorphic disk bundle has the best possible Diederich-Fornaess index $1/2$. Our main finding is an integral formula that produces holomorphic functions on the domain from holomorphic differentials on the base Riemann surface via optimal $L^2$-jet extension, and, in particular, it is shown that the weighted Bergman spaces of the domain is infinite dimensional for all the order greater than $-1$ beyond $-1/2$, the limiting order until which known $L^2$-estimates for the $\overline{\partial}$-equation work. Some applications are also given thanks to the generalized hypergeometric function $_3F_2$ expressing the norm of the optimal $L^2$-jet extension: a proof for the Liouvilleness which does not appeal to the ergodicity of the Levi foliation, and a Forelli-Rudin construction for the disk bundle over the Riemann surface.
  • PDF
    On a compact Riemannian manifold with boundary having positive mean curvature, a fundamental result of Shi and Tam states that, if the manifold has nonnegative scalar curvature and if the boundary is isometric to a strictly convex hypersurface in the Euclidean space, then the total mean curvature of the boundary is no greater than the total mean curvature of the corresponding Euclidean hypersurface. In $3$-dimension, Shi-Tam's result is known to be equivalent to the Riemannian positive mass theorem. In this paper, we provide a supplement to Shi-Tam's result by including the effect of minimal hypersurfaces on a chosen boundary component. More precisely, given a compact manifold $\Omega$ with nonnegative scalar curvature, assuming its boundary consists of two parts, $\Sigma_h$ and $\Sigma_o$, where $\Sigma_h$ is the union of all closed minimal hypersurfaces in $\Omega$ and $\Sigma_o$ is isometric to a suitable $2$-convex hypersurface $\Sigma$ in a Schwarzschild manifold of positive mass $m$, we establish an inequality relating $m$, the area of $\Sigma_h$, and two weighted total mean curvatures of $\Sigma_o$ and $ \Sigma$. When $\Omega$ is $3$-dimensional, our result can be interpreted as a quasi-local mass type quantity of $\Sigma_o$ being greater than or equal to the Hawking mass of $\Sigma_h$. We further analyze the limit of such quasi-local mass quantity associated with suitably chosen isometric embeddings of large coordinate spheres of an asymptotically flat $3$-manifold $M$ into a Schwarzschild manifold. We show that the limit indeed equals the ADM mass of $M$. It follows that our result on the compact manifold $\Omega$ is equivalent to the Riemannian Penrose inequality.
  • PDF
    We obtain the asymptotic variance, as the degree goes to infinity, of the normalized number of real roots of a square Kostlan-Shub-Smale random polynomial system of any size. Our main tools are the Kac-Rice formula for the second factorial moment of the number of roots and a Hermite expansion of this random variable.
  • PDF
    A new numerical method is proposed for a 1-D inverse medium scattering problem with multi-frequency data. This method is based on the construction of a weighted cost functional. The weight is a Carleman Weight Function (CWF). In other words, this is the function, which is present in the Carleman estimate for the undelying differential operator. The presence of the CWF makes this functional strictly convex on any a priori chosen ball with the center at $\left\{ 0\right\} $ in an appropriate Hilbert space. Convergence of the gradient minimization method to the exact solution starting from any point of that ball is proven. Computational results for both computationally simulated and experimental data show a good accuracy of this method.
  • PDF
    In this paper we consider the initial boundary value problem of the Korteweg-de Vries equation posed on a finite interval \beginequation u_t+u_x+u_xxx+uu_x=0,\qquad u(x,0)=\phi(x), \qquad 0<x<L, \ t>0 \qquad (1) \endequation subject to the nonhomogeneous boundary conditions, \beginequation B_1u=h_1(t), \qquad B_2 u= h_2 (t), \qquad B_3 u= h_3 (t) \qquad t>0 \qquad (2) \endequation where \[ B_i u =∑_j=0^2 \left(a_ij ∂^j_x u(0,t) + b_ij ∂^j_x u(L,t)\right), \qquad i=1,2,3,\]and $a_{ij}, \ b_{ij}$ $ (j,i=0, 1,2,3)$ are real constants. Under some general assumptions imposed on the coefficients $a_{ij}, \ b_{ij}$, $ j,i=0, 1,2,3$, the IBVPs (1)-(2) is shown to be locally well-posed in the space $H^s (0,L)$ for any $s\geq 0$ with $\phi \in H^s (0,L)$ and boundary values $h_j, j=1,2,3$ belonging to some appropriate spaces with optimal regularity.
  • PDF
    We establish sharp Hardy-Adams inequalities on hyperbolic space $\mathbb{B}^{4}$ of dimension four. Namely, we will show that for any $\alpha>0$ there exists a constant $C_{\alpha}>0$ such that \[ \int_\mathbbB^4(e^32\pi^2 u^2-1-32\pi^2 u^2)dV=16\int_\mathbbB^4\frace^32\pi^2 u^2-1-32\pi^2 u^2(1-|x|^2)^4dx≤C_\alpha. \]for any $u\in C^{\infty}_{0}(\mathbb{B}^{4})$ with \[ \int_\mathbbB^4\left(-\Delta_\mathbbH-\frac94\right)(-\Delta_\mathbbH+\alpha)u⋅udV\leq1. \]As applications, we obtain a sharpened Adams inequality on hyperbolic space $\mathbb{B}^{4}$ and an inequality which improves the classical Adams' inequality and the Hardy inequality simultaneously. The later inequality is in the spirit of the Hardy-Trudinger-Moser inequality on a disk in dimension two given by Wang and Ye [37] and on any convex planar domain by the authors [26]. The tools of fractional Laplacian, Fourier transform and the Plancherel formula on hyperbolic spaces and symmetric spaces play an important role in our work.
  • PDF
    In a former paper the authors introduced two new systematic authentication codes based on the Gray map over a Galois ring. In this paper, it is proved the one-to-one onto correspondence between keys and encoding maps for the second introduced authentication code.
  • PDF
    Let $M_k^\sharp(N)$ be the space of weight $k$, level $N$ weakly holomorphic modular forms with poles only at the cusp at $\infty$. We explicitly construct a canonical basis for $M_k^\sharp(N)$ for $N\in\{8,9,16,25\}$, and show that many of the Fourier coefficients of the basis elements in $M_0^\sharp(N)$ are divisible by high powers of the prime dividing the level $N$. Additionally, we show that these basis elements satisfy a Zagier duality property, and extend Griffin's results on congruences in level 1 to levels 2, 3, 4, 5, 7, 8, 9, 16, and 25.
  • PDF
    We present a proof of Milnor conjecture in dimension 3 based on Cheeger-Colding theory on limit spaces of manifolds with Ricci curvature bounded below. It is different from [Liu] that relies on minimal surface theory.
  • PDF
    We study discrete spectral quantities associated to Schrödinger operators of the form $-\Delta_{\mathbb{R}^d}+V_N$, $d$ odd. The potential $V_N$ models a highly disordered crystal; it varies randomly at scale $N^{-1} \ll 1$. We use perturbation analysis to obtain almost sure convergence of the eigenvalues and scattering resonances of $-\Delta_{\mathbb{R}^d}+V_N$ as $N \rightarrow \infty$. We identify a stochastic and a deterministic regime for the speed of convergence. The type of regime depends whether the low frequencies effects due to large deviations overcome the (deterministic) constructive interference between highly oscillatory terms.
  • PDF
    We prove that the orthogonal free quantum group factors $\mathcal{L}(\mathbb{F}O_N)$ are strongly $1$-bounded in the sense of Jung. In particular, they are not isomorphic to free group factors. This result is obtained by establishing a spectral regularity result for the edge reversing operator on the quantum Cayley tree associated to $\mathbb{F}O_N$, and combining this result with a recent free entropy dimension rank theorem of Jung.
  • PDF
    In this paper, the objects of our investigation are some dyadic operators, including dyadic shifts, multilinear paraproducts and multilinear Haar multipliers. We mainly focus on the continuity and compactness of these operators. First, we consider the continuity properties of these operators. Then, by the Fréchet-Kolmogorov-Riesz-Tsuji theorem, the non-compactness properties of these dyadic operators will be studied. Moreover, we show that their commutators are compact with \textitCMO functions, which is quite different from the non-compaceness properties of these dyadic operators. These results are similar to those for Calderón-Zygmund singular integral operators.
  • PDF
    Let $(\Omega_1, \mathcal{F}_1, \mu_1)$ and $(\Omega_2, \mathcal{F}_2, \mu_2)$ be two measure spaces and let $1 \leq p,q \leq +\infty$. We give a definition of Schur multipliers on $\mathcal{B}(L^p(\Omega_1), L^q(\Omega_2))$ which extends the definition of classical Schur multipliers on $\mathcal{B}(\ell_p,\ell_q)$. Our main result is a characterization of Schur multipliers in the case $1\leq q \leq p \leq +\infty$. When $1 < q \leq p < +\infty$, $\phi \in L^{\infty}(\Omega_1 \times \Omega_2)$ is a Schur multiplier on $\mathcal{B}(L^p(\Omega_1), L^q(\Omega_2))$ if and only if there are a measure space (a probability space when $p\neq q$) $(\Omega,\mu)$, $a\in L^{\infty}(\mu_1, L^{p}(\mu))$ and $b\in L^{\infty}(\mu_2, L^{q'}(\mu))$ such that, for almost every $(s,t) \in \Omega_1 \times \Omega_2$, $$\phi(s,t)=\left\langle a(s), b(t) \right\rangle.$$ Here, $L^{\infty}(\mu_1, L^{r}(\mu))$ denotes the Bochner space on $\Omega_1$ valued in $L^r(\mu)$. This result is new, even in the classical case. As a consequence, we give new inclusion relationships between the spaces of Schur multipliers on $\mathcal{B}(\ell_p,\ell_q)$.
  • PDF
    A very nice result of Bárány and Lehel asserts that every finite subset $X$ or $\mathbb R^d$ can be covered by $f(d)$ $X$-boxes (i.e. each box has two antipodal points in $X$). As shown by Gyárfás and Pálvőlgyi this result would follow from the following conjecture : If a tournament admits a partition of its arc set into $k$ quasi orders, then its domination number is bounded in terms of $k$. This question is in turn implied by the Erdős-Sands-Sauer-Woodrow conjecture : If the arcs of a tournament $T$ are colored with $k$ colors, there is a set $X$ of at most $g(k)$ vertices such that for every vertex $v$ of $T$, there is a monochromatic path from $X$ to $v$. We give a short proof of this statement. We moreover show that the general Sands-Sauer-Woodrow conjecture (which as a special case implies the stable marriage theorem) is valid for directed graphs with bounded stability number. This conjecture remains however open.
  • PDF
    We prove that coarse equivalence implies measure equivalence within the class of unimodular, amenable, locally compact, second countable, groups. For compactly generated groups within the aforementioned class, this shows that quasi-isometry implies measure equivalence.
  • PDF
    The first part of this article intends to present the role played by Thom in diffusing Smale's ideas about immersion theory, at a time (1957) where some famous mathematicians were doubtful about them: it is clearly impossible to make the sphere inside out! Around a decade later, M. Gromov transformed Smale's idea in what is now known as the h-principle. Here, the h stands for homotopy.Shortly after the astonishing discovery by Smale, Thom gave a conference in Lille (1959) announcing a theorem which would deserve to be named a homological h-principle. The aim of our second part is to comment about this theorem which was completely ignored by the topologists in Paris, but not in Leningrad. We explain Thom's statement and answer the question whether it is true. The first idea is combinatorial. A beautiful subdivision of the standard simplex emerges from Thom's article. We connect it with the jiggling technique introduced by W. Thurston in his seminal work on foliations.
  • PDF
    We consider the heat equation with a logarithmic nonlinearity, on thereal line. For a suitable sign in front of the nonlinearity, weestablish the existence and uniqueness of solutions of the Cauchyproblem, for a well-adapted class of initial data. Explicitcomputations in the case of Gaussian data lead to various scenariiwhich are richer than the mere comparison with the ODE mechanism,involving (like in the ODE case) double exponential growth or decayfor large time. Finally, we prove that such phenomena remain, in the case of compactlysupported initial data.
  • PDF
    Given a selfadjoint polynomial $P(X,Y)$ in two noncommuting selfadjoint indeterminates, we investigate the asymptotic eigenvalue behavior of the random matrix $P(A\_N,B\_N)$, where $A\_N$ and $B\_N$ are independent random matrices and the distribution of $B\_N$ is invariant under conjugation by unitary operators. We assume that the empirical eigenvalue distributions of $A\_N$ and $B\_N$ converge almost surely to deterministic probability measures $\mu $ and $\nu$, respectively. In addition, the eigenvalues of $A\_N$ and $B\_N$ are assumed to converge uniformly almost surely to the support of $\mu$ and $\nu,$ respectively, except for a fixed finite number of fixed eigenvalues (spikes) of $A\_N$. It is known that the empirical distribution of the eigenvalues of $P(A\_N,B\_N)$ converges to a certain deterministic probability measure $\Pi\_P$, and, when there are no spikes, the eigenvalues of $P(A\_N,B\_N)$ converge uniformly almost surely to the support of $\Pi\_P$. When spikes are present, we show that the eigenvalues of $P(A\_N,B\_N)$ still converge uniformly to the support of $\Pi\_P$, with the possible exception of certain isolated outliers whose location can be determined in terms of $\mu,\nu,P$ and the spikes of $A\_N$. We establish a similar result when $B\_N$ is a Wigner matrix. The relation between outliers and spikes is described using the operator-valued subordination functions of free probability theory. These results extends known facts from the special case in which $P(X,Y)=X+Y$.
  • PDF
    We study non-trivial translation-invariant probability measures on the space of entire functions of one complex variable. The existence (and even an abundance) of such measures was proven by Benjamin Weiss. Answering Weiss question, we find a relatively sharp lower bound for the growth of entire functions in the support of such measures. The proof of this result consists of two independent parts: the proof of the lower bound and the construction, which yields its sharpness. Each of these parts combines various tools (both classical and new) from the theory of entire and subharmonic functions and from the ergodic theory. We also prove several companion results, which concern the decay of the tails of non-trivial translation-invariant probability measures on the space of entire functions and the growth of locally uniformly recurrent entire and meromorphic functions.
  • PDF
    The capacity of the semi-deterministic relay channel (SD-RC) with non-causal channel state information (CSI) only at the encoder and decoder is characterized. The capacity is achieved by a scheme based on cooperative-bin-forward. This scheme allows cooperation between the transmitter and the relay without the need to decode a part of the message by the relay. The transmission is divided into blocks and each deterministic output of the channel (observed by the relay) is mapped to a bin. The bin index is used by the encoder and the relay to choose the cooperation codeword in the next transmission block. In causal settings the cooperation is independent of the state. In \emphnon-causal settings dependency between the relay's transmission and the state can increase the transmission rates. The encoder implicitly conveys partial state information to the relay. In particular, it uses the states of the next block and selects a cooperation codeword accordingly and the relay transmission depends on the cooperation codeword and therefore also on the states. We also consider the multiple access channel with partial cribbing as a semi-deterministic channel. The capacity region of this channel with non-causal CSI is achieved by the new scheme. Examining the result in several cases, we introduce a new problem of a point-to-point (PTP) channel where the state is provided to the transmitter by a state encoder. Interestingly, even though the CSI is also available at the receiver, we provide an example which shows that the capacity with non-causal CSI at the state encoder is strictly larger than the capacity with causal CSI.
  • PDF
    We prove existence results for small presentations of model categories generalizing a theorem of D. Dugger from combinatorial model categories to more general model categories. Some of these results are shown under the assumption of Vopěnka's principle. Our main theorem applies in particular to cofibrantly generated model categories where the domains of the generating cofibrations satisfy a slightly stronger smallness condition. As a consequence, assuming Vopěnka's principle, such a cofibrantly generated model category is Quillen equivalent to a combinatorial model category. Moreover, if there are generating sets which consist of presentable objects, then the same conclusion holds without the assumption of Vopěnka's principle. We also correct a mistake from previous work that made similar claims.
  • PDF
    We present a new family of maximum rank distance (MRD) codes. The new class contains codes that are neither equivalent to a generalised Gabidulin nor to a twisted Gabidulin code, the only two known general constructions of linear MRD codes.
  • PDF
    We discuss various universality aspects of numerical computations using standard algorithms. These aspects include empirical observations and rigorous results. We also make various speculations about computation in a broader sense.
  • PDF
    The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that if $p>(d^2-3d+4)^2$, then there is no complete mapping polynomial $f$ in $\Fp[x]$ of degree $d\ge 2$. For arbitrary finite fields $\Fq$, a similar non-existence result is obtained recently by Işı k, Topuzoğlu and Winterhof in terms of the Carlitz rank of $f$. Cohen, Mullen and Shiue generalized the Chowla-Zassenhaus-Cohen Theorem significantly in 1995, by considering differences of permutation polynomials. More precisely, they showed that if $f$ and $f+g$ are both permutation polynomials of degree $d\ge 2$ over $\Fp$, with $p>(d^2-3d+4)^2$, then the degree $k$ of $g$ satisfies $k \geq 3d/5$, unless $g$ is constant. In this article, assuming $f$ and $f+g$ are permutation polynomials in $\Fq[x]$, we give lower bounds for $k %=\mathrm{deg(h)} $ in terms of the Carlitz rank of $f$ and $q$. Our results generalize the above mentioned result of Işı k et al. We also show for a special class of polynomials $f$ of Carlitz rank $n \geq 1$ that if $f+x^k$ is a permutation of $\Fq$, with $\gcd(k+1, q-1)=1$, then $k\geq (q-n)/(n+3)$.
  • PDF
    We study the global symmetries of naive lattices Dirac operators in QCD-like theories in any dimension larger than two. In particular we investigate how the chosen number of lattice sites in each direction affects the global symmetries of the Dirac operator. These symmetries are important since they do not only determine the infra-red spectrum of the Dirac operator but also the symmetry breaking pattern and, thus, the lightest pseudo-scalar mesons. We perform the symmetry analysis and discuss the possible zero modes and the degree of degeneracy of the lattice Dirac operators. Moreover we explicitly identify a "reduced" lattice Dirac operator which is the naive Dirac operator apart from the degeneracy. We verify our predictions by comparing Monte Carlo simulations of QCD-like theories in the strong coupling limit with the corresponding random matrix theories.
  • PDF
    In this paper we present two strategies to enable "parallelization across the method" for spectral deferred corrections (SDC). Using standard low-order time-stepping methods in an iterative fashion, SDC can be seen as preconditioned Picard iteration for the collocation problem. Typically, a serial Gauss-Seidel-like preconditioner is used, computing updates for each collocation node one by one. The goal of this paper is to show how this process can be parallelized, so that all collocation nodes are updated simultaneously. The first strategy aims at finding parallel preconditioners for the Picard iteration and we test three choices using four different test problems. For the second strategy we diagonalize the quadrature matrix of the collocation problem directly. In order to integrate non-linear problems we employ simplified and inexact Newton methods. Here, we estimate the speed of convergence depending on the time-step size and verify our results using a non-linear diffusion problem.
  • PDF
    We call a random point measure infinitely ramified if for every $n\in \mathbb{N}$, it has the same distribution as the $n$-th generation of some branching random walk. On the other hand, branching Lévy processes model the evolution of a population in continuous time, such that individuals move in space independently one of the other and according to some Lévy process, and further beget progenies according to some Poissonian dynamics, possibly on an everywhere dense set of times. Our main result connects these two classes of processes much in the same way as in the case of infinitely divisible distributions and Lévy processes: the value at time $1$ of a branching Lévy process is an infinitely ramified point measure, and conversely, any infinitely ramified point measure can be obtained as the value at time $1$ of some branching Lévy process.
  • PDF
    We consider local energy decay estimates for solutions to scalar wave equations on nontrapping asymptotically flat space-times. Our goals are two-fold. First we consider the stationary case, where we can provide a full spectral characterization of local energy decay bounds; this characterization simplifies in the stationary symmetric case. Then we consider the almost stationary, almost symmetric case. There we establish two main results: The first is a "two point" local energy decay estimate which is valid for a general class of (non-symmetric) almost stationary wave equations which satisfy a certain nonresonance property at zero frequency. The second result, which also requires the almost symmetry condition, is to establish an exponential trichotomy in the energy space via finite dimensional time dependent stable and unstable sub-spaces, with an infinite dimensional complement on which solutions disperse via the usual local energy decay estimate.
  • PDF
    In this paper we consider a random graph on which topological restrictions are imposed, such as constraints on the total number of edges, wedges, and triangles. We work in the dense regime, in which the number of edges per vertex scales proportionally to the number of vertices $n$. Our goal is to compare the micro-canonical ensemble (in which the constraints are satisfied for every realisation of the graph) with the canonical ensemble (in which the constraints are satisfied on average), both subject to maximal entropy. We compute the relative entropy of the two ensembles in the limit as $n$ grows large, where two ensembles are said to be \emphequivalent in the dense regime if this relative entropy divided by $n^2$ tends to zero. Our main result, whose proof relies on large deviation theory for graphons, is that breaking of ensemble equivalence occurs when the constraints satisfy a certain \emphterseness condition. Examples are provided for three different choices of constraints.
  • PDF
    PageRank has numerous applications in information retrieval, reputation systems, machine learning, and graph partitioning. In this paper, we study PageRank in undirected random graphs with an expansion property. The Chung-Lu random graph is an example of such a graph. We show that in the limit, as the size of the graph goes to infinity, PageR- ank can be approximated by a mixture of the restart distribution and the vertex degree distribution. We also extend the result to Stochastic Block Model (SBM) graphs, where we show that there is a correction term that depends on the community partitioning.
  • PDF
    These lectures discuss recent advances on syzygies on algebraic curves, especially concerning the Green, the Prym-Green and the Green-Lazarsfeld Secant Conjectures. The methods used are largely geometric and variational, with a special emphasis on examples and explicit calculations. The notes are based on series of lectures given in Daejeon (March 2013), Rome (November-December 2015) and Guanajuato (February 2016).
  • PDF
    A one-channel operator is a self-adjoint operator on $\ell^2(\mathbb{G})$ for some countable set $\mathbb{G}$ with a rank 1 transition structure along the sets of a quasi-spherical partition of $\mathbb{G}$. Jacobi operators are a very special case. In essence, there is only one channel through which waves can travel across the shells to infinity. This channel can be described with transfer matrices which include scattering terms within the shells and connections to neighboring shells. Not all of the transfer matrices are defined for some countable set of energies. Still, many theorems from the world of Jacobi operators are translated to this setup. The results are then used to show absolutely continuous spectrum for the Anderson model on certain finite dimensional graphs with a one-channel structure. This result generalizes some previously obtained results on antitrees.
  • PDF
    In this work, we study a minimal time problem for a Partial Differential Equation of transport type, that arises in crowd models. The control is a Lipschitz vector field localized on a fixed control set $\omega$. We provide a complete answer for the minimal time problem. After considering the discrete case, we show that the minimal time to steer one initial configuration to another is related to the condition of having enough mass in $\omega$ to feed the desired final configuration. We also give a numerical method to compute the minimal time and to build the corresponding control. These results are illustrated by some numerical simulations.
  • PDF
    If ${\mathfrak g}$ is a real reductive Lie algebra and ${\mathfrak h} < {\mathfrak g}$ is a subalgebra, then $({\mathfrak g}, {\mathfrak h})$ is called real spherical provided that ${\mathfrak g} = {\mathfrak h} + {\mathfrak p}$ for some choice of a minimal parabolic subalgebra ${\mathfrak p} \subset {\mathfrak g}$. In this paper we classify all real spherical pairs $({\mathfrak g}, {\mathfrak h})$ where ${\mathfrak g}$ is semi-simple but not simple and ${\mathfrak h}$ is a reductive real algebraic subalgebra. The paper is based on the classification of the case where ${\mathfrak g}$ is simple (see arXiv:1609.00963) and generalizes the results of Brion and Mikityuk in the (complex) spherical case.
  • PDF
    We attach buildings to modular lattices and use them to develop a metric approach to Harder-Narasimhan filtrations. Switching back to a categorical framework, we establish an abstract numerical criterion for the compatibility of these filtrations with tensor products. We finally verify our criterion in three cases, one of which is new.
  • PDF
    This paper presents a millimeter-wave (mmWave) wideband sliding correlator channel sounder with flexibility to operate at various transmission rates. The channel sounder can transmit and receive up to 1 GHz of RF null-to-null bandwidth while measuring a 2 nanosecond multipath time resolution. The system architecture takes advantage of field-programmable gate arrays (FPGAs), high-speed digital-to-analog converters (DACs), and low phase noise Rubidium (Rb) references for synchronization. Using steerable narrowbeam antennas, the system can measure up to 185 dB of path loss. The channel sounder is used to measure the directional and omnidirectional received power as a receiver transitions from line-of-sight to non-line-of-sight conditions down an urban canyon. A 25 dB drop in omnidirectional received power was observed as the receiver transitioned from line-of-sight (LOS) conditions to deeply shadowed non-LOS (NLOS) conditions. The channel sounder was also used to study signal variation and spatial consistency for a local set of receiver locations arranged in a cluster spanning a 5 m x 10 m local area, where the omnidirectional received power in LOS and NLOS environments is found to be relatively stable with standard deviations of received power of 2.2 dB and 4.3 dB, respectively. This work shows that when implementing beamforming at the transmitter at mmWave, the omnidirectional received power over a local area has little fluctuation among receiver locations separated by a few to several meters.
  • PDF
    Working in the abstract framework of Mourre theory, we derive a pair of propagation estimates for scattering states at certain energies of a Hamiltonian H. The propagation of these states is understood in terms of a conjugate operator A. A similar estimate has long been known for Hamiltonians having a good regularity with respect to A thanks to the limiting absorption principle (LAP). We show that in general some propagation estimates still hold when H has less regularity with respect to A, even in situations where the LAP has not yet been established. The estimates obtained are further discussed in relation to the RAGE and Riemann-Lebesgue formulae. Based on several examples, including continuous and discrete Schrödinger operators, it appears that the derived propagation estimates are a new result for multi-dimensional Hamiltonians.
  • PDF
    We prove the existence of a discrete correlation spectrum for Morse-Smaleflows acting on smooth forms on a compact manifold. This is done by constructing spacesof currents with anisotropic Sobolev regularity on which the Lie derivative has a discretespectrum.
  • PDF
    The goal of the present work is to compute explicitely the correlation spectrum of a Morse-Smale flow in terms of the Lyapunov exponents of the Morse--Smale flow, the topology of the flow around periodic orbits and the monodromy of some given flat connection. The corresponding eigenvalues exhibit vertical bands when the flow has periodic orbits. As a corollary, we obtain sharp Weyl asymptotics for the dynamical resonances.
  • PDF
    We prove that the twisted De Rham cohomology of a flat vector bundleover some smooth manifold is isomorphic to the cohomology of invariant Pollicott--Ruelleresonant states associated with Anosov and Morse--Smale flows. As a consequence, weobtain generalized Morse inequalities for such flows. In the case of Morse--Smale flows,we relate the resonances lying on the imaginary axis with the twisted Fuller measuresused by Fried in his work on Reidemeister torsion. In particular, when V is a nonsingularMorse-Smale flow, we show that the Reidemeister torsion can be recovered from the onlyknowledge of dynamical resonances on the imaginary axis by expressing the torsion as azeta regularized infinite product of these resonances.
  • PDF
    We study the almost sure asymptotic behavior of the supremum of the local time for a transient diffusion in a spectrally negative Lévy environment. In particular, we link this behavior with the left tail of an exponential functional of the environment conditioned to stay positive.
  • PDF
    In this paper we first establish new explicit estimates for Chebyshev's $\vartheta$-function. Applying these new estimates, we derive new upper and lower bounds for some functions defined over the prime numbers, for instance the prime counting function $\pi(x)$, which improve the currently best ones. Furthermore, we use the obtained estimates for the prime counting function to give two new results concerning the existence of prime numbers in short intervals.
  • PDF
    This paper presents millimeter wave (mmWave) penetration loss measurements and analysis at 73 GHz using a wideband sliding correlator channel sounder in an indoor office environment. Penetration loss was measured using a carefully controlled measurement setup for many common indoor building materials such as glass doors, glass windows, closet doors, steel doors, and whiteboard writing walls. Measurements were conducted using narrowbeam transmitter (TX) and receiver (RX) horn antennas that were boresight-aligned with a test material between the antennas. Overall, 21 different locations were measured for 6 different materials such that the same type of material was tested in at least two locations in order to characterize the effect of penetration loss for materials with similar composition. As shown here, attenuation through common materials ranged between 0.8 dB/cm and 9.9 dB/cm for co-polarized antennas, while cross-polarized antennas exhibited similar attenuation for most materials, but up to 23.4 dB/cm of attenuation for others. The penetration loss results presented here are useful for site-specific planning tools that will model indoor mmWave networks, without the need for expensive measurement campaigns.
  • PDF
    In this paper, we are concerned with the existence and asymptotic behavior of least energy solutions for following nonlinear Choquard equation driven by fractional Laplacian $$(-∆)^s u+\lambda V(x)u=(I_\alpha∗F(u))f(u) \ \ in \ \ R^N,$$ where $N> 2s$, $ (N-4s)^{+}<\alpha< N$, $\lambda$ is a positive parameter and the nonnegative potential function $V(x)$ is continuous. By variational methods, we prove the existence of least energy solution which localize near the potential well $int (V^{-1}(0))$ as $\lambda$ large enough.

Recent comments

gae spedalieri Mar 13 2017 14:13 UTC

1) Sorry but this is false.

1a) That analysis is specifically for reducing QECC protocol to an entanglement distillation protocol over certain class of discrete variable channels. Exactly as in BDSW96. Task of the protocol is changed in the reduction.

1b) The simulation is not via a general LOCC b

...(continued)
Siddhartha Das Mar 13 2017 13:22 UTC

We feel that we have cited and credited previous works appropriately in our paper. To clarify:

1) The LOCC simulation of a channel and the corresponding adaptive reduction can be found worked out in full generality in the 2012 Master's thesis of Muller-Hermes. We have cited the original paper BD

...(continued)
gae spedalieri Mar 13 2017 08:56 UTC

This is one of those papers where the contribution of previous literature is omitted and not fairly represented.

1- the LOCC simulation of quantum channels (not necessarily teleportation based) and the corresponding general reduction of adaptive protocols was developed in PLOB15 (https://arxiv.org/

...(continued)
Andrey Karchevsky Feb 17 2017 09:51 UTC

Dear Authors,

This is in reference of your preprint arxiv 1702.0638.

Above all I must say that I am puzzled with the level of publicity your work has got at http://www.nature.com/news/long-awaited-mathematics-proof-could-help-scan-earth-s-innards-1.21439. Is this a new way for mathematicians t

...(continued)
Robert Raussendorf Jan 24 2017 22:29 UTC

Regarding Mark's above comment on the role of the stabilizer states: Yes, all previous works on the subject have used the stabilizer states and Clifford gates as the classical backbone. This is due to the Gottesman-Knill theorem and related results. But is it a given that the free sector in quantum

...(continued)
Planat Jan 24 2017 13:09 UTC

Are you sure? Since we do not propose a conjecture, there is nothing wrong. A class of strange states underlie the pentagons in question. The motivation is to put the magic of computation in the permutation frame, one needs more work to check its relevance.

Mark Howard Jan 24 2017 09:59 UTC

It seems interesting at first sight, but after reading it the motivation is very muddled. It boils down to finding pentagons (which enable KCBS-style proofs of contextuality) within sets of projectors, some of which are stabilizer states and some of which are non-stabilizer states (called magic stat

...(continued)
Māris Ozols Dec 27 2016 19:34 UTC

What a nice book! And it's available for free on arXiv!

Felix Leditzky Nov 29 2016 16:34 UTC

Thank you very much for the reply!

Alex Wozniakowski Nov 22 2016 19:50 UTC

Here, the string diagrams (for qudits, transformations, and measurements) may have charge. The manipulation of diagrams with charge requires para-isotopy, which generalizes topological isotopy; and the relation for para-isotopy is found on pg. 11, in eq. (22). Essentially, para-isotopy keeps track

...(continued)