English
Related papers

Related papers: A Center Transversal Theorem for Hyperplanes and A…

200 papers

For $n\geq 3$, define $T_n$ to be the theory of the generic $K_n$-free graph, where $K_n$ is the complete graph on $n$ vertices. We prove a graph theoretic characterization of dividing in $T_n$, and use it to show that forking and dividing…

Logic · Mathematics 2017-10-18 Gabriel Conant

Using a new point of view inspired by hyperplane arrangements, we generalize the converse to Pascal's Theorem, sometimes called the Braikenridge-Maclaurin Theorem. In particular, we show that if 2k lines meet a given line, colored green, in…

Algebraic Geometry · Mathematics 2011-08-18 Will Traves

We study the number of lines in hypergraphs in a more symmetric setting, where both the hypergraph and its complement are considered. In the general case and in some special cases, the lower bounds on the number of lines are much higher…

Combinatorics · Mathematics 2014-11-04 Xiaomin Chen , Peihan Miao

We study cross-graph charging schemes for graphs drawn in the plane. These are charging schemes where charge is moved across vertices of different graphs. Such methods have been recently applied to obtain various properties of…

Computational Geometry · Computer Science 2012-09-04 Micha Sharir , Adam Sheffer

We prove a common generalization of the celebrated Sauer-Spencer packing theorem and a theorem of Brandt concerning finding a copy of a tree inside a graph. This proof leads to the characterization of the extremal graphs in the case of…

Combinatorics · Mathematics 2021-11-29 Hemanshu Kaul , Benjamin Reiniger

We extend the edge version of the classical Menger's Theorem for undirected graphs to $n$-dimensional simplicial complexes with chains over the field $\mathbb{F}_2$. The classical Menger's Theorem states that two different vertices in an…

Geometric Topology · Mathematics 2021-11-19 Avraham Goldstein , Yonah Cherniavsky

Given a set of points in the plane, we want to establish a connection network between these points that consists of several disjoint layers. Motivated by sensor networks, we want that each layer is spanning and plane, and that no edge is…

A theorem of Erdos asserts that every infinite subset of Euclidean n-space R^n has a subset of the same cardinality having no repeated distances. This theorem is generalized here as follows: If (R^n,E) is an algebraic hypergraph that does…

Logic · Mathematics 2017-12-01 James H. Schmerl

Given a measurable set $A\subset \mathbb R^d$ we consider the "large-distance graph" $\mathcal{G}_A$, on the ground set $A$, in which each pair of points from $A$ whose distance is bigger than 2 forms an edge. We consider the problems of…

Combinatorics · Mathematics 2021-11-16 Martin Doležal , Jan Hladký , Jan Kolář , Themis Mitsis , Christos Pelekis , Václav Vlasák

We provide a degree condition on a regular $n$-vertex graph $G$ which ensures the existence of a near optimal packing of any family $\mathcal H$ of bounded degree $n$-vertex $k$-chromatic separable graphs into $G$. In general, this degree…

Combinatorics · Mathematics 2018-11-12 Padraig Condon , Jaehoon Kim , Daniela Kühn , Deryk Osthus

A cornerstone of extremal graph theory due to Erd\H{o}s and Stone states that the edge density which guarantees a fixed graph $F$ as subgraph also asymptotically guarantees a blow-up of $F$ as subgraph. It is natural to ask whether this…

Combinatorics · Mathematics 2026-04-01 Richard Lang , Nicolás Sanhueza-Matamala

We establish the following splitter theorem for graphs and its generalization for matroids: Let $G$ and $H$ be $3$-connected simple graphs such that $G$ has an $H$-minor and $k:=|V(G)|-|V(H)|\ge 2$. Let $n:=\left\lceil k/2\right\rceil+1$.…

Combinatorics · Mathematics 2017-12-13 João Paulo Costalonga

A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order…

Combinatorics · Mathematics 2024-09-24 Alexey Pokrovskiy

An $r$-quasiplanar graph is a graph drawn in the plane with no $r$ pairwise crossing edges. Let $s \geq 3$ be an integer and $r=2^s$. We prove that there is a constant $C$ such that every $r$-quasiplanar graph with $n \geq r$ vertices has…

Combinatorics · Mathematics 2022-10-26 Jacob Fox , Janos Pach , Andrew Suk

We prove that every 2k-edge-connected graph with countably many edge-ends admits a k-arc-connected orientation, extending the previous result by Assem, Koloschin and Pitz that also assumed the hypothesis of the graph being locally finite.…

Combinatorics · Mathematics 2025-10-09 Leandro Aurichi , Paulo Magalhães Júnior , Guilherme Eduardo Pinto

A well-known combinatorial theorem says that a set of n non-collinear points in the plane determines at least n distinct lines. Chen and Chv\'atal conjectured that this theorem extends to metric spaces, with an appropriated definition of…

Combinatorics · Mathematics 2016-06-21 Pierre Aboulker , Martin Matamala , Paul Rochet , Jose Zamora

The skewer of a pair of skew lines in space is their common perpendicular. To configuration theorems of plane projective geometry involving points and lines (such as Pappus or Desargues) there correspond configuration theorems in space:…

Metric Geometry · Mathematics 2015-09-22 Serge Tabachnikov

We prove a version of the Erd\H{o}s--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every…

Classical Analysis and ODEs · Mathematics 2024-06-17 Paige Bright , Caleb Marshall

We study a half-space problem related to graphs in $\mathbb{H}^2\times\mathbb{R}$, where $\mathbb{H}^2$ is the hyperbolic plane, having constant mean curvature $H$ defined over unbounded domains in $\mathbb{H}^2$.

Differential Geometry · Mathematics 2014-11-19 Laurent Mazet , Gabriela A. Wanderley

We describe degenerations of projective plane curves to curves containing a fixed line $l$ as a component, and show that $H^1({\overline V}_{n,d,m}, {\Cal O} (r))=0, r \in{\Bbb Z}$, where $V_{n,d,m}\subset {\Bbb P}^N (N = n(n+3)/2)$ is the…

alg-geom · Mathematics 2008-02-03 Robert Treger