2,033 research outputs found
Limits of Ordered Graphs and their Applications
The emerging theory of graph limits exhibits an analytic perspective on
graphs, showing that many important concepts and tools in graph theory and its
applications can be described more naturally (and sometimes proved more easily)
in analytic language. We extend the theory of graph limits to the ordered
setting, presenting a limit object for dense vertex-ordered graphs, which we
call an \emph{orderon}. As a special case, this yields limit objects for
matrices whose rows and columns are ordered, and for dynamic graphs that expand
(via vertex insertions) over time. Along the way, we devise an ordered
locality-preserving variant of the cut distance between ordered graphs, showing
that two graphs are close with respect to this distance if and only if they are
similar in terms of their ordered subgraph frequencies. We show that the space
of orderons is compact with respect to this distance notion, which is key to a
successful analysis of combinatorial objects through their limits.
We derive several applications of the ordered limit theory in extremal
combinatorics, sampling, and property testing in ordered graphs. In particular,
we prove a new ordered analogue of the well-known result by Alon and Stav
[RS\&A'08] on the furthest graph from a hereditary property; this is the first
known result of this type in the ordered setting. Unlike the unordered regime,
here the random graph model with an ordering over the vertices is
\emph{not} always asymptotically the furthest from the property for some .
However, using our ordered limit theory, we show that random graphs generated
by a stochastic block model, where the blocks are consecutive in the vertex
ordering, are (approximately) the furthest. Additionally, we describe an
alternative analytic proof of the ordered graph removal lemma [Alon et al.,
FOCS'17].Comment: Added a new application: An Alon-Stav type result on the furthest
ordered graph from a hereditary property; Fixed and extended proof sketch of
the removal lemma applicatio
Diszkrét matematika = Discrete mathematics
A pĂĄlyĂĄzat rĂ©sztvevĆi igen aktĂvak voltak a 2006-2008 Ă©vekben. Nemcsak sok eredmĂ©nyt Ă©rtek el, miket több mint 150 cikkben publikĂĄltak, eredmĂ©nyesen nĂ©pszerƱsĂtettĂ©k azokat. Több mint 100 konferenciĂĄn vettek rĂ©szt Ă©s adtak elĆ, felerĂ©szben meghĂvott, vagy plenĂĄris elĆadĂłkĂ©nt. HagyomĂĄnyos grĂĄfelmĂ©let Több extremĂĄlis grĂĄfproblĂ©mĂĄt oldottunk meg. Ăj eredmĂ©nyeket kaptunk Ramsey szĂĄmokrĂłl, globĂĄlis Ă©s lokĂĄlis kromatikus szĂĄmokrĂłl, Hamiltonkörök lĂ©tezĂ©sĂ©sĂ©rĆl. a crossig numberrĆl, grĂĄf kapacitĂĄsokrĂłl Ă©s kizĂĄrt rĂ©szgrĂĄfokrĂłl. VĂ©letlen grĂĄfok, nagy grĂĄfok, regularitĂĄsi lemma Nagy grĂĄfok "hasonlĂłsĂĄgait" vizsgĂĄltuk. KĂŒlönfĂ©le metrikĂĄk ekvivalensek. Ć°j eredemĂ©nyeink: Hereditary Property Testing, Inverse Counting Lemma and the Uniqueness of Hypergraph Limit. HipergrĂĄfok, egyĂ©b kombinatorika Ăj Sperner tipusĂș tĂ©telekte kaptunk, aszimptotikusan meghatĂĄrozva a halmazok max szĂĄmĂĄt bizonyos kizĂĄrt struktĆrĂĄk esetĂ©n. Több esetre megoldottuk a kizĂĄrt hipergrĂĄf problĂ©mĂĄt is. ElmĂ©leti szĂĄmĂtĂĄstudomĂĄny Ăj ujjlenyomat kĂłdokat Ă©s bioinformatikai eredmĂ©nyeket kaptunk. | The participants of the project were scientifically very active during the years 2006-2008. They did not only obtain many results, which are contained in their more than 150 papers appeared in strong journals, but effectively disseminated them in the scientific community. They participated and gave lectures in more than 100 conferences (with multiplicity), half of them were plenary or invited talks. Traditional graph theory Several extremal problems for graphs were solved. We obtained new results for certain Ramsey numbers, (local and global) chromatic numbers, existence of Hamiltonian cycles crossing numbers, graph capacities, and excluded subgraphs. Random graphs, large graphs, regularity lemma The "similarities" of large graphs were studied. We show that several different definitions of the metrics (and convergence) are equivalent. Several new results like the Hereditary Property Testing, Inverse Counting Lemma and the Uniqueness of Hypergraph Limit were proved Hypergraphs, other combinatorics New Sperner type theorems were obtained, asymptotically determining the maximum number of sets in a family of subsets with certain excluded configurations. Several cases of the excluded hypergraph problem were solved. Theoretical computer science New fingerprint codes and results in bioinformatics were found
Nondeterministic graph property testing
A property of finite graphs is called nondeterministically testable if it has
a "certificate" such that once the certificate is specified, its correctness
can be verified by random local testing. In this paper we study certificates
that consist of one or more unary and/or binary relations on the nodes, in the
case of dense graphs. Using the theory of graph limits, we prove that
nondeterministically testable properties are also deterministically testable.Comment: Version 2: 11 pages; we allow orientation in the certificate,
describe new application
Efficient Removal Lemmas for Matrices
The authors and Fischer recently proved that any hereditary property of two-dimensional matrices (where the row and column order is not ignored) over a finite alphabet is testable with a constant number of queries, by establishing an (ordered) matrix removal lemma, which states the following: If a matrix is far from satisfying some hereditary property, then a large enough constant-size random submatrix of it does not satisfy the property with probability at least 9/10. Here being far from the property means that one needs to modify a constant fraction of the entries of the matrix to make it satisfy the property.
However, in the above general removal lemma, the required size of the random submatrix grows very fast as a function of the distance of the matrix from satisfying the property. In this work we establish much more efficient removal lemmas for several special cases of the above problem. In particular, we show the following: If an epsilon-fraction of the entries of a binary matrix M can be covered by pairwise-disjoint copies of some (s x t) matrix A, then a delta-fraction of the (s x t)-submatrices of M are equal to A, where delta is polynomial in epsilon.
We generalize the work of Alon, Fischer and Newman [SICOMP\u2707] and make progress towards proving one of their conjectures. The proofs combine their efficient conditional regularity lemma for matrices with additional combinatorial and probabilistic ideas
Testing Hereditary Properties of Sequences
A hereditary property of a sequence is one that is preserved when restricting to subsequences. We show that there exist hereditary properties of sequences that cannot be tested with sublinear queries, resolving an open question posed by Newman et al. This proof relies crucially on an infinite alphabet, however; for finite alphabets, we observe that any hereditary property can be tested with a constant number of queries
- âŠ