arXiv++ Combinatorics

People's opinions evolve over time as they interact with their friends, family, colleagues, and others. In the study of opinion dynamics on networks, one often encodes interactions between people in the form of dyadic relationships, but many social interactions in real life are polyadic (i.e., they involve three or more people). In this paper, we extend an asynchronous bounded-confidence model (BCM) on graphs, in which nodes are connected pairwise by edges, to an asynchronous BCM on hypergraphs, in which arbitrarily many nodes can be connected by a single hyperedge. We show that our hypergraph BCM converges to consensus under a wide range of initial conditions for the opinions of the nodes, including for non-uniform and asymmetric initial opinion distributions. We also show that, under suitable conditions, echo chambers can form on hypergraphs with community structure. We demonstrate that the opinions of individuals can sometimes jump from one opinion cluster to another in a single time step, a phenomenon (which we call ``opinion jumping'') that is not possible in standard dyadic BCMs. Additionally, we observe that there is a phase transition in the convergence time on {a complete hypergraph} when the variance $σ^2$ of the initial opinion distribution equals the confidence bound $c$. We prove that the convergence time grows at least exponentially fast with the number of nodes when $σ^2 > c$ and the initial opinions are normally distributed. Therefore, to determine the convergence properties of our hypergraph BCM when the variance and the number of hyperedges are both large, it is necessary to use analytical methods instead of relying only on Monte Carlo simulations.

Let $\binom{X}{h}$ be the collection of all $h$-subsets of an $n$-set $X\supseteq Y$. Given a coloring (partition) of a set $S\subseteq \binom{X}{h}$, we are interested in finding conditions under which this coloring is extendible to a coloring of $\binom{X}{h}$ so that the number of times each element of $X$ appears in each color class (all sets of the same color) is the same number $r$. The case $S=\varnothing, r=1$ was studied by Sylvester in the 18th century, and remained open until the 1970s. The case $h=2,r=1$ is extensively studied in the literature and is closely related to completing partial symmetric Latin squares. For $S=\binom{Y}{h}$, we settle the cases $h=4, |X|\geq 4.847323|Y|$, and $h=5, |X|\geq 6.285214|Y|$ completely. Moreover, we make partial progress toward solving the case where $S=\binom{X}{h}\backslash \binom{Y}{h}$. These results can be seen as extensions of the famous Baranyai's theorem, and make progress toward settling a 40-year-old problem posed by Cameron.

We study common randomness generation problems where $n$ players aim to generate same sequences of random coin flips where some subsets of the players share an independent common coin which can be tossed multiple times, and there is a publicly seen blackboard through which the players communicate with each other. We provide a tight representation of the optimal communication rates via linear programming, and more importantly, propose explicit algorithms for the optimal distributed simulation for a wide class of hypergraphs. In particular, the optimal communication rate in complete hypergraphs is still achievable in sparser hypergraphs containing a path-connected cycle-free cluster of topologically connected components. Some key steps in analyzing the upper bounds rely on two different definitions of connectivity in hypergraphs, which may be of independent interest.

The anti-Ramsey problem was introduced by Erdős, Simonovits and Sós in 1970s. The anti-Ramsey number of a hypergraph $\mathcal{H}$, $ar(n,s, \mathcal{H})$, is the smallest integer $c$ such that in any coloring of the edges of the $s$-uniform complete hypergraph on $n$ vertices with exactly $c$ colors, there is a copy of $\mathcal{H}$ whose edges have distinct colors. In this paper, we determine the anti-Ramsey numbers of linear paths and loose paths in hypergraphs for sufficiently large $n$, and give bounds for the anti-Ramsey numbers of Berge paths. Similar exact anti-Ramsey numbers are obtained for linear/loose cycles, and bounds are obtained for Berge cycles. Our main tools are path extension technique and stability results on hypergraph Turán problems of paths and cycles.

We establish a set of recursion relations for the coefficients in the chromatic polynomial of a graph or a hypergraph. As an application we provide a generalization of Whitney's broken cycle theorem for hypergraphs, as well as deriving an explicit formula for the linear coefficient of the chromatic polynomial of the $r$-complete hypergraph in terms of roots of the Taylor polynomials for the exponential function.

Let $n\geq k\geq r+3$ and $\mathcal H$ be an $n$-vertex $r$-uniform hypergraph. We show that if $|\mathcal H|> \frac{n-1}{k-2}\binom{k-1}{r}$ then $\mathcal H$ contains a Berge cycle of length at least $k$. This bound is tight when $k-2$ divides $n-1$. We also show that the bound is attained only for connected $r$-uniform hypergraphs in which every block is the complete hypergraph $K^{(r)}_{k-1}$. We conjecture that our bound also holds in the case $k=r+2$, but the case of short cycles, $k\leq r+1$, is different.

For integers $k\ge 2$ and $\ell\ge 0$, a $k$-uniform hypergraph is called a loose path of length $\ell$, and denoted by $P_\ell^{(k)}$, if it consists of $\ell $ edges $e_1,\dots,e_\ell$ such that $|e_i\cap e_j|=1$ if $|i-j|=1$ and $e_i\cap e_j=\emptyset$ if $|i-j|\ge2$. In other words, each pair of consecutive edges intersects on a single vertex, while all other pairs are disjoint. Let $R(P_\ell^{(k)};r)$ be the minimum integer $n$ such that every $r$-edge-coloring of the complete $k$-uniform hypergraph $K_n^{(k)}$ yields a monochromatic copy of $P_\ell^{(k)}$. In this paper we are mostly interested in constructive upper bounds on $R(P_\ell^{(k)};r)$, meaning that on the cost of possibly enlarging the order of the complete hypergraph, we would like to efficiently find a monochromatic copy of $P_\ell^{(k)}$ in every coloring. In particular, we show that there is a constant $c>0$ such that for all $k\ge 2$, $\ell\ge3$, $2\le r\le k-1$, and $n\ge k(\ell+1)r(1+\ln(r))$, there is an algorithm such that for every $r$-edge-coloring of the edges of $K_n^{(k)}$, it finds a monochromatic copy of $P_\ell^{(k)}$ in time at most $cn^k$. We also prove a non-constructive upper bound $R(P_\ell^{(k)};r)\le(k-1)\ell r$.

We show that for all $\ell, k, n$ with $\ell \leq k/2$ and $(k-\ell)$ dividing $n$ the following hypergraph-variant of Lehel's conjecture is true. Every $2$-edge-colouring of the $k$-uniform complete hypergraph $\mathcal{K}_n^{(k)}$ on $n$ vertices has at most two disjoint monochromatic $\ell$-cycles in different colours that together cover all but at most $4(k-\ell)$ vertices. If $\ell \leq k/3$, then at most two $\ell$-cycles cover all but at most $2(k-\ell)$ vertices. Furthermore, we can cover all vertices with at most $4$ ($3$ if $\ell\leq k/3$) disjoint monochromatic $\ell$-cycles.

Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs and how one may extend the notion of $n$-good graphs to this setting. We prove numerous bounds for $r$-uniform hypergraph Ramsey numbers involving trees and complete hypergraphs and show that in the $3$-uniform case, all trees are $n$-good when $n$ is odd or $n$ falls into specified even cases.

We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.

Gyárfás, Győri and Simonovits proved that if a $3$-uniform hypergraph with $n$ vertices has no linear cycles, then its independence number $α\ge \frac{2n} {5}$. The hypergraph consisting of vertex disjoint copies of a complete hypergraph $K_5^3$ on five vertices, shows that equality can hold. They asked whether this bound can be improved if we exclude $K_5^3$ as a subhypergraph and whether such a hypergraph is $2$-colorable. In this paper we answer these questions affirmatively. Namely, we prove that if a $3$-uniform linear-cycle-free hypergraph doesn't contain $K_5^3$ as a subhypergraph, then it is $2$-colorable. This result clearly implies that its independence number $α\ge \lceil \frac{n}{2} \rceil$. We show that this bound is sharp. Gyárfás, Győri and Simonovits also proved that a linear-cycle-free $3$-uniform hypergraph contains a vertex of strong degree at most 2. In this context, we show that a linear-cycle-free $3$-uniform hypergraph has a vertex of degree at most $n-2$ when $n \ge 10$.

A well-known special case of a conjecture attributed to Ryser states that k-partite intersecting hypergraphs have transversals of at most k-1 vertices. An equivalent form was formulated by Gyárfás: if the edges of a complete graph K are colored with k colors then the vertex set of K can be covered by at most k-1 sets, each connected in some color. It turned out that the analogue of the conjecture for hypergraphs can be answered: Z. Király proved that in every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >= 3), the vertex set of K^r can be covered by at most $\lceil k/r \rceil$ sets, each connected in some color. Here we investigate the analogue problem for complete r-uniform r-partite hypergraphs. An edge coloring of a hypergraph is called spanning if every vertex is incident to edges of any color used in the coloring. We propose the following analogue of Ryser conjecture. In every spanning (r+t)-coloring of the edges of a complete r-uniform r-partite hypergraph, the vertex set can be covered by at most t+1 sets, each connected in some color. Our main result is that the conjecture is true for 1 <= t <= r-1. We also prove a slightly weaker result for t >= r, namely that t+2 sets, each connected in some color, are enough to cover the vertex set. To build a bridge between complete r-uniform and complete r-uniform r-partite hypergraphs, we introduce a new notion. A hypergraph is complete r-uniform (r,l)-partite if it has all r-sets that intersect each partite class in at most l vertices. Extending our results achieved for l=1, we prove that for any r >= 3, 2 <= l <= r, k >= 1+r-l, in every spanning k-coloring of the edges of a complete r-uniform (r,l)-partite hypergraph, the vertex set can be covered by at most 1+\lfloor \frac{k-r+\ell-1}{\ell}\rfloor sets, each connected in some color.

A $h$-sunflower in a hypergraph is a family of edges with $h$ vertices in common. We show that if we colour the edges of a complete hypergraph in such a way that any monochromatic $h$-sunflower has at most $λ$ petals, then it contains a large rainbow complete subhypergraph. This extends a theorem by Lefmann, Rödl and Wysocka, but this version can be applied to problems in geometry and algebra. We also give an infinite version of the theorem.

We prove a generalized Ramsey-type result on large 2-coloured matchings in a 3-coloured complete 3-uniform hypergraph, supporting a conjecture by A. Gyárfás.

By using our novel Grassmann formulation we study the phase transition of the spanning-hyperforest model of the k-uniform complete hypergraph for any k>= 2. The case k=2 reduces to the spanning-forest model on the complete graph. Different k are studied at once by using a microcanonical ensemble in which the number of hyperforests is fixed. The low-temperature phase is characterized by the appearance of a giant hyperforest. The phase transition occurs when the number of hyperforests is a fraction (k-1)/k of the total number of vertices. The behaviour at criticality is also studied by means of the coalescence of two saddle points. As the Grassmann formulation exhibits a global supersymmetry we show that the phase transition is second order and is associated to supersymmetry breaking and we explore the pure thermodynamical phase at low temperature by introducing an explicit breaking field.

We study the generating function of rooted and unrooted hyperforests in a general complete hypergraph with n vertices by using a novel Grassmann representation of their generating functions. We show that this new approach encodes the known results about the exponential generating functions for the different number of vertices. We consider also some applications as counting hyperforests in the k-uniform complete hypergraph and the one complete in hyperedges of all dimensions. Some general feature of the asymptotic regimes for large number of connected components is discussed.

In this paper we study some algebraic properties of hypergraphs, in particula their Betti numbers. We define some different types of complete hypergraphs, which to the best of our knowledge, are not previously considered in the literature. Also, in a natural way, we define a product on hypergraphs, which in a sense is dual to the join operation on simplicial complexes. For such product, we give a general formula for the Betti numbers, which specializes neatly in case of linear resolutions.