skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Eigenvalues of the non-backtracking operator detached from the bulk
We describe the non-backtracking spectrum of a stochastic block model with connection probabilities [Formula: see text]. In this regime we answer a question posed in [L. Dall’Amico, R. Couillet and N. Tremblay, Revisiting the Bethe–Hessian: Improved community detection in sparse heterogeneous graphs, in Advances in Neural Information Processing Systems (2019), pp. 4039–4049] regarding the existence of a real eigenvalue “inside” the bulk, close to the location [Formula: see text]. We also introduce a variant of the Bauer–Fike theorem well suited for perturbations of quadratic eigenvalue problems, which could be of independent interest.  more » « less
Award ID(s):
1949617
PAR ID:
10294640
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Random Matrices: Theory and Applications
Volume:
10
Issue:
03
ISSN:
2010-3263
Page Range / eLocation ID:
2150028
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We compute the eigenvalue fluctuations of uniformly distributed random biregular bipartite graphs with fixed and growing degrees for a large class of analytic functions. As a key step in the proof, we obtain a total variation distance bound for the Poisson approximation of the number of cycles and cyclically non-backtracking walks in random biregular bipartite graphs, which might be of independent interest. We also prove a semicircle law for random [Formula: see text]-biregular bipartite graphs when [Formula: see text]. As an application, we translate the results to adjacency matrices of uniformly distributed random regular hypergraphs. 
    more » « less
  2. We consider how the outputs of the Kadison transitivity theorem and Gelfand–Naimark–Segal (GNS) construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any nonzero irreducible representation [Formula: see text] of a [Formula: see text]-algebra [Formula: see text] and [Formula: see text], there exists a continuous function [Formula: see text] such that [Formula: see text] for all [Formula: see text], where [Formula: see text] is the set of pairs of [Formula: see text]-tuples [Formula: see text] such that the components of [Formula: see text] are linearly independent. Versions of this result where [Formula: see text] maps into the self-adjoint or unitary elements of [Formula: see text] are also presented. Regarding the GNS construction, we prove that given a topological [Formula: see text]-algebra fiber bundle [Formula: see text], one may construct a topological fiber bundle [Formula: see text] whose fiber over [Formula: see text] is the space of pure states of [Formula: see text] (with the norm topology), as well as bundles [Formula: see text] and [Formula: see text] whose fibers [Formula: see text] and [Formula: see text] over [Formula: see text] are the GNS Hilbert space and closed left ideal, respectively, corresponding to [Formula: see text]. When [Formula: see text] is a smooth fiber bundle, we show that [Formula: see text] and [Formula: see text] are also smooth fiber bundles; this involves proving that the group of ∗-automorphisms of a [Formula: see text]-algebra is a Banach Lie group. In service of these results, we review the topology and geometry of the pure state space. A simple non-interacting quantum spin system is provided as an example illustrating the physical meaning of some of these results. 
    more » « less
  3. Assume [Formula: see text]. If [Formula: see text] is an ordinal and X is a set of ordinals, then [Formula: see text] is the collection of order-preserving functions [Formula: see text] which have uniform cofinality [Formula: see text] and discontinuous everywhere. The weak partition properties on [Formula: see text] and [Formula: see text] yield partition measures on [Formula: see text] when [Formula: see text] and [Formula: see text] when [Formula: see text]. The following almost everywhere continuity properties for functions on partition spaces with respect to these partition measures will be shown. For every [Formula: see text] and function [Formula: see text], there is a club [Formula: see text] and a [Formula: see text] so that for all [Formula: see text], if [Formula: see text] and [Formula: see text], then [Formula: see text]. For every [Formula: see text] and function [Formula: see text], there is an [Formula: see text]-club [Formula: see text] and a [Formula: see text] so that for all [Formula: see text], if [Formula: see text] and [Formula: see text], then [Formula: see text]. The previous two continuity results will be used to distinguish the cardinalities of some important subsets of [Formula: see text]. [Formula: see text]. [Formula: see text]. [Formula: see text]. It will also be shown that [Formula: see text] has the Jónsson property: For every [Formula: see text], there is an [Formula: see text] with [Formula: see text] so that [Formula: see text]. 
    more » « less
  4. The Littlewood–Paley decomposition for functions defined on the whole space [Formula: see text] and related Besov space techniques have become indispensable tools in the study of many partial differential equations (PDEs) with [Formula: see text] as the spatial domain. This paper intends to develop parallel tools for the periodic domain [Formula: see text]. Taking advantage of the boundedness and convergence theory on the square-cutoff Fourier partial sum, we define the Littlewood–Paley decomposition for periodic functions via the square cutoff. We remark that the Littlewood–Paley projections defined via the circular cutoff in [Formula: see text] with [Formula: see text] in the literature do not behave well on the Lebesgue space [Formula: see text] except for [Formula: see text]. We develop a complete set of tools associated with this decomposition, which would be very useful in the study of PDEs defined on [Formula: see text]. As an application of the tools developed here, we study the periodic weak solutions of the [Formula: see text]-dimensional Boussinesq equations with the fractional dissipation [Formula: see text] and without thermal diffusion. We obtain two main results. The first assesses the global existence of [Formula: see text]-weak solutions for any [Formula: see text] and the existence and uniqueness of the [Formula: see text]-weak solutions when [Formula: see text] for [Formula: see text]. The second establishes the zero thermal diffusion limit with an explicit convergence rate. 
    more » « less
  5. Let [Formula: see text] be a set of positive integers, [Formula: see text] denoting the largest element, so that for any two of the [Formula: see text] subsets the sum of all elements is distinct. Erdős asked whether this implies [Formula: see text] for some universal [Formula: see text]. We prove, slightly extending a result of Elkies, that for any [Formula: see text], [Formula: see text] with equality if and only if all subset sums are [Formula: see text]-separated. This leads to a new proof of the currently best lower bound [Formula: see text]. The main new insight is that having distinct subset sums and [Formula: see text] small requires the random variable [Formula: see text] to be close to Gaussian in a precise sense. 
    more » « less