arXiv++ Combinatorics

A family $\mathcal A$ of subsets of an $n$-element set is called an eventown (resp. oddtown) if all its sets have even (resp. odd) size and all pairwise intersections have even size. Using tools from linear algebra, it was shown by Berlekamp and Graver that the maximum size of an eventown is $2^{\left\lfloor n/2\right\rfloor}$. On the other hand (somewhat surprisingly), it was proven by Berlekamp, that oddtowns have size at most $n$. Over the last four decades, many extensions of this even/oddtown problem have been studied. In this paper we present new results on two such extensions. First, extending a result of Vu, we show that a $k$-wise eventown (i.e., intersections of $k$ sets are even) has for $k \geq 3$ a unique extremal configuration and obtain a stability result for this problem. Next we improve some known bounds for the defect version of an $\ell$-oddtown problem. In this problem we consider sets of size $\not\equiv 0 \pmod \ell$ where $\ell$ is a prime number $\ell$ (not necessarily $2$) and allow a few pairwise intersections to also have size $\not\equiv 0 \pmod \ell$.

We confirm a conjecture by Everett, Sinclair, and Dankelmann~[Some Centrality results new and old, J. Math. Sociology 28 (2004), 215--227] regarding the problem of maximizing closeness centralization in two-mode data, where the number of data of each type is fixed. Intuitively, our result states that among all networks obtainable via two-mode data, the largest closeness is achieved by simply locally maximizing the closeness of a node. Mathematically, our study concerns bipartite graphs with fixed size bipartitions, and we show that the extremal configuration is a rooted tree of depth~$2$, where neighbors of the root have an equal or almost equal number of children.

An ordinary circle of a set $P$ of $n$ points in the plane is defined as a circle that contains exactly three points of $P$. We show that if $P$ is not contained in a line or a circle, then $P$ spans at least $\frac{1}{4}n^2 - O(n)$ ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large $n$ and describe all point sets that come close to this minimum. We also consider the circle variant of the orchard problem. We prove that $P$ spans at most $\frac{1}{24}n^3 - O(n^2)$ circles passing through exactly four points of $P$. Here we determine the exact maximum and the extremal configurations for all sufficiently large $n$. These results are based on the following structure theorem. If $n$ is sufficiently large depending on $K$, and $P$ is a set of $n$ points spanning at most $Kn^2$ ordinary circles, then all but $O(K)$ points of $P$ lie on an algebraic curve of degree at most four. Our proofs rely on a recent result of Green and Tao on ordinary lines, combined with circular inversion and some classical results regarding algebraic curves.

If a graph has $n\ge4k$ vertices and more than $n^2/4$ edges, then it contains a copy of $C_{2k+1}$. In 1992, Erdős, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle is at least $2\lfloor n/2\rfloor+1$, and this bound is tight. They also showed that the minimum number of edges that occur in a $C_{2k+1}$ for $k\ge2$ is at least $11n^2/144-O(n)$, and conjectured that for any $k\ge2$, the correct lower bound should be $2n^2/9-O(n)$. Very recently, Füredi and Maleki constructed a counterexample for $k=2$ and proved asymptotically matching lower bound, namely that for any $\varepsilon>0$ graphs with $(1+\varepsilon)n^2/4$ edges contain at least $(2+\sqrt{2})n^2/16 \approx 0.2134n^2$ edges that occur in $C_5$. In this paper, we use a different approach to tackle this problem and obtain the following stronger result: Any $n$-vertex graph with at least $\lfloor n^2/4\rfloor+1$ edges has at least $(2+\sqrt{2})n^2/16-O(n^{15/8})$ edges that occur in $C_5$. Next, for all $k\ge 3$ and $n$ sufficiently large, we determine the exact minimum number of edges that occur in $C_{2k+1}$ for $n$-vertex graphs with more than $n^2/4$ edges, and show it is indeed equal to $\lfloor\frac{n^2}4\rfloor+1-\lfloor\frac{n+4}6\rfloor\lfloor\frac{n+1}6\rfloor=2n^2/9-O(n)$. For both results, we give a structural description of the extremal configurations as well as obtain the corresponding stability results, which answer a conjecture of Füredi and Maleki. The main ingredient is a novel approach that combines the flag algebras together with ideas from finite forcibility of graph limits. This approach allowed us to keep track of the extra edge needed to guarantee an existence of a $C_{2k+1}$. Also, we establish the first application of semidefinite method in a setting, where the set of tight examples has exponential size, and arises from different constructions.

Given two 3-uniform hypergraphs F and G, we say that G has an F-covering if we can cover V(G) by copies of F. The minimum codegree of G is the largest integer d such that every pair of vertices from V(G) is contained in at least d triples from E(G). Define c_2(n,F) to be the largest minimum codegree among all n-vertex 3-graphs G that contain no F-covering. This is a natural problem intermediate (but distinct) from the well-studied Turán problems and tiling problems. In this paper, we determine c_2(n, K_4) (for n>98) and the associated extremal configurations (for n>998), where K_4 denotes the complete 3-graph on 4 vertices. We also obtain bounds on c_2(n,F) which are apart by at most 2 in the cases where F is K_4^- (K_4 with one edge removed), K_5^-, and the tight cycle C_5 on 5 vertices.

Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or (ii) $n=r+1$.

A classical theorem of De Bruijn and Erdős asserts that any noncollinear set of n points in the plane determines at least n distinct lines. We prove that an analogue of this theorem holds for graphs. Restricting our attention to comparability graphs, we obtain a version of the De Bruijn-Erdős theorem for partially ordered sets (posets). Moreover, in this case, we have an improved bound on the number of lines depending on the height of the poset. The extremal configurations are also determined.

The purpose of this note is to study configurations of lines in projective planes over arbitrary fields having the maximal number of intersection points where three lines meet. We give precise conditions on ground fields F over which such extremal configurations exist. We show that there does not exist a field admitting a configuration of 11 lines with 17 triple points, even though such a configuration is allowed combinatorially. Finally, we present an infinite series of configurations which have a high number of triple intersection points.

A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain. Erdos extended this theorem to determine the largest family without a k-chain. Erdos and Katona, followed by Kleitman, asked how many chains must appear in families with sizes larger than the corresponding extremal bounds. In 1966, Kleitman resolved this question for 2-chains, showing that the number of such chains is minimized by taking sets as close to the middle level as possible. Moreover, he conjectured the extremal families were the same for k-chains, for all k. In this paper, making the first progress on this problem, we verify Kleitman's conjecture for the families whose size is at most the size of the $k+1$ middle levels. We also characterize all extremal configurations.

We identify three 3-graphs on five vertices each missing in all known extremal configurations for Turan's (3,4)-problem and prove Turan's conjecture for 3-graphs that are additionally known not to contain any induced copies of these 3-graphs. Our argument is based on an (apparently) new technique of "indirect interpretation" that allows us to retrieve additional structure from hypothetical counterexamples to Turan's conjecture, but in rather loose and limited sense. We also include two miscellaneous calculations in flag algebras that prove similar results about some other additional forbidden subgraphs.

The Caccetta-Haggkvist conjecture made in 1978 asserts that every orgraph on n vertices without oriented cycles of length <= l must contain a vertex of outdegree at most (n-1)/l. It has a rather elaborate set of (conjectured) extremal configurations. In this paper we consider the case l=3 that received quite a significant attention in the literature. We identify three orgraphs on four vertices each that are missing as an induced subgraph in all known extremal examples and prove the Caccetta-Haggkvist conjecture for orgraphs missing as induced subgraphs any of these orgraphs, along with cycles of length 3. Using a standard trick, we can also lift the restriction of being induced, although this makes graphs in our list slightly more complicated.

Fix integers $n \ge r \ge 2$. A clique partition of ${[n] \choose r}$ is a collection of proper subsets $A_1, A_2, ..., A_t \subset [n]$ such that $\bigcup_i{A_i \choose r}$ is a partition of ${[n] \choose r}$. Clique partitions are related to design theory, coding theory, projective geometry, and extremal combinatorics. Let $\cp(n,r)$ denote the minimum size of a clique partition of ${[n] \choose r}$. A classical theorem of de Bruijn and Erd\H os states that $\cp(n, 2) = n$ and also determines the extremal configurations. In this paper we study $\cp(n,r)$, and show in general that for each fixed $r \geq 3$, \[\cp(n,r) \geq (1 + o(1))n^{r/2} \quad \quad {as}n \to \infty.\] We conjecture $\cp(n,r) = (1 + o(1))n^{r/2}$, and prove this conjecture in a very strong sense for $r = 3$ by giving a characterization of optimal clique partitions of ${[n] \choose 3}$ for infinitely many $n$. Precisely, when $n = q^2 + 1$ and $q$ is a prime power, we show \[ \cp(n,3) = n\sqrt{n-1} \] and characterize those clique partitions achieving equality. We also give an absolute lower bound $\cp(n,r) \geq {n \choose r}/{q + r - 1 \choose r}$ when $n = q^2 + q + r - 1$, and for each $r$ characterize the finitely many configurations achieving equality with the lower bound. Finally we note the connection of $\cp(n,r)$ to extremal graph theory, and determine some new asymptotically sharp bounds for the Zarankiewicz problem.

Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the applicability of the method was extended to cover a wider range of problems in coding and information theory. In this paper we present a general framework for the method which includes previous results as particular cases. We explain how this generalization leads to new asymptotic bounds on the performance of codes in binary-input memoryless channels and the Gaussian channel, which improve the results of Shannon et al. of 1959-67, and to a number of other results in combinatorial coding theory.