arXiv Science⌕ Search

arXiv · 2610.04124

An upper bound on the proper hat guessing number of graphs

Abstract

We study the proper hat guessing game on graphs, introduced by Adriaensen et al. \cite{adriaensen2026hatguessingpropercolorings}. In this game, the players are seated on the vertices of a graph $G$ and assigned hats from a set of $k$ colors such that the resulting assignment forms a proper coloring. The visibility of each vertex is limited to the hat colors of their neighborhood. Then they must simultaneously output a guess about the color of their own hat. The players win if at least one guess is correct. A parameter related to this problem is the proper hat guessing number $\operatorname{HG}_{P}(G)$ that is the maximum number of colors $m$ such that the players can guarantee a winning strategy. Motivated by the work of Shurman et al. \cite{shurman2026upper}, we establish the first upper bound that depends both on the number of vertices $n$ and the maximum degree $Δ$ in the case where $Δ\geq \frac{n}{e+1}$. This result leads us to show that the proper hat guessing number of the binomial random graph $G_{n,1/2}$ is bounded above by $cn$, where $c \approx 1.366$. Finally, we prove that graphs of maximum degree $(1-γ)n$ for some fixed $γ\in (0,1]$ cannot have $\operatorname{HG}_{P}(G) = (2-o(1))n$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ioannis Kakatelis. 2026-10-02. An upper bound on the proper hat guessing number of graphs. https://arxiv.org/abs/2610.04124

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hamilton cycles in generalized dihedral Cayley graphs and digraphs

We prove that every connected Cayley digraph on a generalized dihedral group of order at least $4$ has a directed Hamilton cycle. In particular, this confirms a conjecture of Holsztyński and Strube from 1978 for dihedral groups. The key new ingredient is a three-fold sumset covering theorem for the terminal coordinates of Hamilton paths in cubic Haar graphs over abelian groups of odd order, with connection sets minimal subject to connectivity.

math.CO↗

Some multidimensional Rogers--Ramanujan type identities

With the help of the contour integral method, we derive a parametric reduction formula that transforms a double series into a single series. This formula recovers two results of Uncu and Zudilin as well as two results of Cao and Wang, and it is also connected with an identity due to Berkovich and Warnaar. In addition, we obtain several triple-sum generalizations of Cao and Wang's formulas. As applications, we present a number of multidimensional Rogers--Ramanujan type identities, both with and without parameters.

math.CO↗

Interaction between skew-representability, tensor products, extension properties, and rank inequalities

Skew-representable matroids form a fundamental class in matroid theory, bridging combinatorics and linear algebra. They play an important role in areas such as coding theory, optimization, and combinatorial geometry, where linear structure is crucial for both theoretical insights and algorithmic applications. Since skew-representability is undecidable even for rank-3 matroids, structural characterizations and explicit certificates of non-skew-representability are particularly interesting. In this paper, we introduce an approach to studying skew-representability and structural properties of matroids and polymatroid functions via tensor products. We characterize skew-representable matroids, as well as matroids representable over skew fields of a prescribed characteristic, in terms of iterated tensor products. In particular, a connected matroid is non-skew-representable if and only if, for some positive integer $k$, no $k$-fold iterated tensor product with $U_{2,3}$ exists. Thus, non-skew-representability admits a finite, computably verifiable matroid-theoretic obstruction; an analogous statement holds when the characteristic is prescribed. We also prove that every rank-3 matroid admits a tensor product with every uniform matroid and give a construction yielding the unique freest tensor product in this setting. Finally, as an application of the tensor product framework, we give a new proof of Ingleton's inequality and, more importantly, derive the first known linear rank inequality for folded skew-representable matroids that does not follow from the common information property.

math.CO↗