7,645 research outputs found
Cycle lengths in sparse graphs
Let C(G) denote the set of lengths of cycles in a graph G. In the first part
of this paper, we study the minimum possible value of |C(G)| over all graphs G
of average degree d and girth g. Erdos conjectured that |C(G)|
=\Omega(d^{\lfloor (g-1)/2\rfloor}) for all such graphs, and we prove this
conjecture. In particular, the longest cycle in a graph of average degree d and
girth g has length \Omega(d^{\lfloor (g-1)/2\rfloor}). The study of this
problem was initiated by Ore in 1967 and our result improves all previously
known lower bounds on the length of the longest cycle. Moreover, our bound
cannot be improved in general, since known constructions of d-regular Moore
Graphs of girth g have roughly that many vertices. We also show that
\Omega(d^{\lfloor (g-1)/2\rfloor}) is a lower bound for the number of odd cycle
lengths in a graph of chromatic number d and girth g. Further results are
obtained for the number of cycle lengths in H-free graphs of average degree d.
In the second part of the paper, motivated by the conjecture of Erdos and
Gyarfas that every graph of minimum degree at least three contains a cycle of
length a power of two, we prove a general theorem which gives an upper bound on
the average degree of an n-vertex graph with no cycle of even length in a
prescribed infinite sequence of integers. For many sequences, including the
powers of two, our theorem gives the upper bound e^{O(\log^* n)} on the average
degree of graph of order n with no cycle of length in the sequence, where
\log^* n is the number of times the binary logarithm must be applied to n to
get a number which is at mos
The history of degenerate (bipartite) extremal graph problems
This paper is a survey on Extremal Graph Theory, primarily focusing on the
case when one of the excluded graphs is bipartite. On one hand we give an
introduction to this field and also describe many important results, methods,
problems, and constructions.Comment: 97 pages, 11 figures, many problems. This is the preliminary version
of our survey presented in Erdos 100. In this version 2 only a citation was
complete
Toric Intersection Theory for Affine Root Counting
Given any polynomial system with fixed monomial term structure, we give
explicit formulae for the generic number of roots with specified coordinate
vanishing restrictions. For the case of affine space minus an arbitrary union
of coordinate hyperplanes, these formulae are also the tightest possible upper
bounds on the number of isolated roots. We also characterize, in terms of
sparse resultants, precisely when these upper bounds are attained. Finally, we
reformulate and extend some of the prior combinatorial results of the author on
which subsets of coefficients must be chosen generically for our formulae to be
exact.
Our underlying framework provides a new toric variety setting for
computational intersection theory in affine space minus an arbitrary union of
coordinate hyperplanes. We thus show that, at least for root counting, it is
better to work in a naturally associated toric compactification instead of
always resorting to products of projective spaces
Phase Transitions on Nonamenable Graphs
We survey known results about phase transitions in various models of
statistical physics when the underlying space is a nonamenable graph. Most
attention is devoted to transitive graphs and trees
Sparse Maximum-Entropy Random Graphs with a Given Power-Law Degree Distribution
Even though power-law or close-to-power-law degree distributions are
ubiquitously observed in a great variety of large real networks, the
mathematically satisfactory treatment of random power-law graphs satisfying
basic statistical requirements of realism is still lacking. These requirements
are: sparsity, exchangeability, projectivity, and unbiasedness. The last
requirement states that entropy of the graph ensemble must be maximized under
the degree distribution constraints. Here we prove that the hypersoft
configuration model (HSCM), belonging to the class of random graphs with latent
hyperparameters, also known as inhomogeneous random graphs or -random
graphs, is an ensemble of random power-law graphs that are sparse, unbiased,
and either exchangeable or projective. The proof of their unbiasedness relies
on generalized graphons, and on mapping the problem of maximization of the
normalized Gibbs entropy of a random graph ensemble, to the graphon entropy
maximization problem, showing that the two entropies converge to each other in
the large-graph limit
Sparse Maximum-Entropy Random Graphs with a Given Power-Law Degree Distribution
Even though power-law or close-to-power-law degree distributions are
ubiquitously observed in a great variety of large real networks, the
mathematically satisfactory treatment of random power-law graphs satisfying
basic statistical requirements of realism is still lacking. These requirements
are: sparsity, exchangeability, projectivity, and unbiasedness. The last
requirement states that entropy of the graph ensemble must be maximized under
the degree distribution constraints. Here we prove that the hypersoft
configuration model (HSCM), belonging to the class of random graphs with latent
hyperparameters, also known as inhomogeneous random graphs or -random
graphs, is an ensemble of random power-law graphs that are sparse, unbiased,
and either exchangeable or projective. The proof of their unbiasedness relies
on generalized graphons, and on mapping the problem of maximization of the
normalized Gibbs entropy of a random graph ensemble, to the graphon entropy
maximization problem, showing that the two entropies converge to each other in
the large-graph limit
Entanglement, quantum randomness, and complexity beyond scrambling
Scrambling is a process by which the state of a quantum system is effectively
randomized due to the global entanglement that "hides" initially localized
quantum information. In this work, we lay the mathematical foundations of
studying randomness complexities beyond scrambling by entanglement properties.
We do so by analyzing the generalized (in particular R\'enyi) entanglement
entropies of designs, i.e. ensembles of unitary channels or pure states that
mimic the uniformly random distribution (given by the Haar measure) up to
certain moments. A main collective conclusion is that the R\'enyi entanglement
entropies averaged over designs of the same order are almost maximal. This
links the orders of entropy and design, and therefore suggests R\'enyi
entanglement entropies as diagnostics of the randomness complexity of
corresponding designs. Such complexities form a hierarchy between information
scrambling and Haar randomness. As a strong separation result, we prove the
existence of (state) 2-designs such that the R\'enyi entanglement entropies of
higher orders can be bounded away from the maximum. However, we also show that
the min entanglement entropy is maximized by designs of order only logarithmic
in the dimension of the system. In other words, logarithmic-designs already
achieve the complexity of Haar in terms of entanglement, which we also call
max-scrambling. This result leads to a generalization of the fast scrambling
conjecture, that max-scrambling can be achieved by physical dynamics in time
roughly linear in the number of degrees of freedom.Comment: 72 pages, 4 figures. Rewritten version with new title. v3: published
versio
- …