318 research outputs found
HipergrĂĄfok = Hypergraphs
A projekt cĂ©lkitƱzĂ©seit sikerĂŒlt megvalĂłsĂtani. A nĂ©gy Ă©v sorĂĄn több mint szĂĄz kivĂĄlĂł eredmĂ©ny szĂŒletett, amibĆl eddig 84 dolgozat jelent meg a tĂ©ma legkivĂĄlĂłbb folyĂłirataiban, mint Combinatorica, Journal of Combinatorial Theory, Journal of Graph Theory, Random Graphs and Structures, stb. SzĂĄmos rĂ©gĂłta fennĂĄllĂł sejtĂ©st bebizonyĂtottunk, egĂ©sz rĂ©gi nyitott problĂ©mĂĄt megoldottunk hipergrĂĄfokkal kapcsolatban illetve kapcsolĂłdĂł terĂŒleteken. A problĂ©mĂĄk nĂ©melyike sok Ă©ve, olykor több Ă©vtizede nyitott volt. Nem egy közvetlen kutatĂĄsi eredmĂ©ny, de szintĂ©n bizonyos Ă©rtĂ©kmĂ©rĆ, hogy a rĂ©sztvevĆk egyike a NorvĂ©g KirĂĄlyi AkadĂ©mia tagja lett Ă©s elnyerte a Steele dĂjat. | We managed to reach the goals of the project. We achieved more than one hundred excellent results, 84 of them appeared already in the most prestigious journals of the subject, like Combinatorica, Journal of Combinatorial Theory, Journal of Graph Theory, Random Graphs and Structures, etc. We proved several long standing conjectures, solved quite old open problems in the area of hypergraphs and related subjects. Some of the problems were open for many years, sometimes for decades. It is not a direct research result but kind of an evaluation too that a member of the team became a member of the Norvegian Royal Academy and won Steele Prize
Generalized Kneser coloring theorems with combinatorial proofs
The Kneser conjecture (1955) was proved by Lov\'asz (1978) using the
Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also
relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its
extensions. Only in 2000, Matou\v{s}ek provided the first combinatorial proof
of the Kneser conjecture.
Here we provide a hypergraph coloring theorem, with a combinatorial proof,
which has as special cases the Kneser conjecture as well as its extensions and
generalization by (hyper)graph coloring theorems of Dol'nikov,
Alon-Frankl-Lov\'asz, Sarkaria, and Kriz. We also give a combinatorial proof of
Schrijver's theorem.Comment: 19 pages, 4 figure
Ramsey-nice families of graphs
For a finite family of fixed graphs let be
the smallest integer for which every -coloring of the edges of the
complete graph yields a monochromatic copy of some . We
say that is -nice if for every graph with
and for every -coloring of there exists a
monochromatic copy of some . It is easy to see that if
contains no forest, then it is not -nice for any . It seems
plausible to conjecture that a (weak) converse holds, namely, for any finite
family of graphs that contains at least one forest, and for all
(or at least for infinitely many values of ),
is -nice. We prove several (modest) results in support of this
conjecture, showing, in particular, that it holds for each of the three
families consisting of two connected graphs with 3 edges each and observing
that it holds for any family containing a forest with at most 2
edges. We also study some related problems and disprove a conjecture by
Aharoni, Charbit and Howard regarding the size of matchings in regular
3-partite 3-uniform hypergraphs.Comment: 20 pages, 2 figure
Topological lower bounds for the chromatic number: A hierarchy
This paper is a study of ``topological'' lower bounds for the chromatic
number of a graph. Such a lower bound was first introduced by Lov\'asz in 1978,
in his famous proof of the \emph{Kneser conjecture} via Algebraic Topology.
This conjecture stated that the \emph{Kneser graph} \KG_{m,n}, the graph with
all -element subsets of as vertices and all pairs of
disjoint sets as edges, has chromatic number . Several other proofs
have since been published (by B\'ar\'any, Schrijver, Dolnikov, Sarkaria, Kriz,
Greene, and others), all of them based on some version of the Borsuk--Ulam
theorem, but otherwise quite different. Each can be extended to yield some
lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe
that \emph{every} finite graph may be represented as a generalized Kneser
graph, to which the above bounds apply.)
We show that these bounds are almost linearly ordered by strength, the
strongest one being essentially Lov\'asz' original bound in terms of a
neighborhood complex. We also present and compare various definitions of a
\emph{box complex} of a graph (developing ideas of Alon, Frankl, and Lov\'asz
and of \kriz). A suitable box complex is equivalent to Lov\'asz' complex, but
the construction is simpler and functorial, mapping graphs with homomorphisms
to -spaces with -maps.Comment: 16 pages, 1 figure. Jahresbericht der DMV, to appea
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
- âŠ