English
Related papers

Related papers: Discrete Helly-type theorems for pseudohalfplanes

200 papers

We investigate extremal problems for hypergraphs satisfying the following density condition. A $3$-uniform hypergraph $H=(V, E)$ is $(d, \eta,P_2)$-dense if for any two subsets of pairs $P$, $Q\subseteq V\times V$ the number of pairs…

Combinatorics · Mathematics 2019-03-05 Christian Reiher , Vojtěch Rödl , Mathias Schacht

Consider the smooth projective models C of curves y^2=f(x) with f(x) in Z[x] monic and separable of degree 2g+1. We prove that for g >= 3, a positive fraction of these have only one rational point, the point at infinity. We prove a lower…

Number Theory · Mathematics 2016-08-03 Bjorn Poonen , Michael Stoll

A graph is Helly if its disks satisfy the Helly property, i.e., every family of pairwise intersecting disks in G has a common intersection. It is known that for every graph G, there exists a unique smallest Helly graph H(G) into which G…

Discrete Mathematics · Computer Science 2020-07-29 Heather M. Guarnera , Feodor F. Dragan , Arne Leitert

Let $H$ be a triple system with maximum degree $d>1$ and let $r>10^7\sqrt{d}\log^{2}d$. Then $H$ has a proper vertex coloring with $r$ colors such that any two color classes differ in size by at most one. The bound on $r$ is sharp in order…

Combinatorics · Mathematics 2010-05-25 Hal Kierstead , Dhruv Mubayi

B\'ar\'any, Katchalski and Pach proved the following quantitative form of Helly's theorem. If the intersection of a family of convex sets in $\mathbb{R}^d$ is of volume one, then the intersection of some subfamily of at most $2d$ members is…

Metric Geometry · Mathematics 2015-03-26 Marton Naszodi

A colouring of a hypergraph's vertices is polychromatic if every hyperedge contains at least one vertex of each colour; the polychromatic number is the maximum number of colours in such a colouring. Its dual, the cover-decomposition number,…

Combinatorics · Mathematics 2012-05-31 Béla Bollobás , David Pritchard , Thomas Rothvoß , Alex Scott

In this paper, we present a combinatorial characterization of the hyperplanes associated with non-singular hermitian varieties ${H}\left(s, q^2\right)$ in the projective space $\mathrm{PG}\left(s,q^2\right)$ where $s\geq3$ and $q>2$. By…

Combinatorics · Mathematics 2025-07-01 Stuti Mohanty , Bikramaditya Sahu

Given a finite point set $P$ in the plane, a subset $S \subseteq P$ is called an island in $P$ if $conv(S) \cap P = S$. We say that $S\subset P$ is a visible island if the points in $S$ are pairwise visible and $S$ is an island in $P$. The…

Combinatorics · Mathematics 2022-02-15 Sophie Leuchtner , Carlos M. Nicolas , Andrew Suk

In 1988 Rafla conjectured that every simple drawing of a complete graph $K_n$ contains a plane, i.e., non-crossing, Hamiltonian cycle. The conjecture is far from being resolved. The lower bounds for plane paths and plane matchings have…

Computational Geometry · Computer Science 2023-05-17 Helena Bergold , Stefan Felsner , Meghana M. Reddy , Manfred Scheucher

A topological hyperplane is a subspace of R^n (or a homeomorph of it) that is topologically equivalent to an ordinary straight hyperplane. An arrangement of topological hyperplanes in R^n is a finite set H such that k topological…

Combinatorics · Mathematics 2010-01-24 David Forge , Thomas Zaslavsky

Suppose $k$ is a positive integer and $\mathcal{X}$ is a $k$-fold packing of the plane by infinitely many arc-connected compact sets, which means that every point of the plane belongs to at most $k$ sets. Suppose there is a function…

Metric Geometry · Mathematics 2016-01-13 János Pach , Bartosz Walczak

The classical Ham Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single affine hyperplane. A generalization of Dolnikov asserts that any $d$ families of pairwise intersecting compact,…

Combinatorics · Mathematics 2023-11-10 Florian Frick , Samuel Murray , Steven Simon , Laura Stemmler

The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph…

Discrete Mathematics · Computer Science 2025-02-28 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl , Micheala Seifrtová

This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we…

Combinatorics · Mathematics 2021-09-09 Joshua P. Swanson , Nolan R. Wallach

We prove that a singular real-analytic Levi-flat hypersurface $H$ in $\mathbb C^n$ being Segre-degenerate at a point $p$ is equivalent to the existence of a so-called support curve, that is, a holomorphic curve that intersects $H$ at…

Complex Variables · Mathematics 2025-11-14 Jiří Lebl , Luka Mernik

Alon and F\"{u}redi (1993) showed that the number of hyperplanes required to cover $\{0,1\}^n\setminus \{0\}$ without covering $0$ is $n$. We initiate the study of such exact hyperplane covers of the hypercube for other subsets of the…

Combinatorics · Mathematics 2021-07-02 James Aaronson , Carla Groenland , Andrzej Grzesik , Tom Johnston , Bartłomiej Kielak

We present a theory that produces several examples where the homotopy Lie algebra of a complex hyperplane arrangement is not finitely presented. We also present examples of hyperplane arrangements where the enveloping algebra of this Lie…

Algebraic Topology · Mathematics 2007-05-23 Jan-Erik Roos

Pseudo-holomorphic curves on almost complex manifolds have been much more intensely studied than their "dual" objects, the plurisubharmonic functions. These functions are defined classically by requiring that the restriction to each…

Complex Variables · Mathematics 2017-12-12 F. Reese Harvey , H. Blaine Lawson

For every fake projective plane $X$ with automorphism group of order 21, we prove that $H^i(X, 2L)=0$ for all $i$ and for every ample line bundle $L$ with $L^2=1$. For every fake projective plane with automorphism group of order 9, we prove…

Algebraic Geometry · Mathematics 2015-02-06 JongHae Keum

In the paper we consider the following conjecture: if a finite group $G$ possesses a solvable $\pi$-Hall subgroup $H$, then there exist elements $x,y,z,t\in G$ such that the identity $H\cap H^x\cap H^y\cap H^z\cap H^t=O_\pi(G)$ holds. The…

Group Theory · Mathematics 2010-08-17 E. P. Vdovin , V. I. Zenkov