Nonrepetitive colorings of lexicographic product of graphs

A coloring $c$ of the vertices of a graph $G$ is nonrepetitive if there exists no path $v_1v_2\ldots v_{2l}$ for which $c(v_i)=c(v_{l+i})$ for all $1\le i\le l$. Given graphs $G$ and $H$ with $|V(H)|=k$, the lexicographic product $G[H]$ is the graph obtained by substituting every vertex of $G$ by a copy of $H$, and every edge of $G$ by a copy of $K_{k,k}$. %Our main results are the following. We prove that for a sufficiently long path $P$, a nonrepetitive coloring of $P[K_k]$ needs at least $3k+\lfloor k/2\rfloor$ colors. If $k>2$ then we need exactly $2k+1$ colors to nonrepetitively color $P[E_k]$, where $E_k$ is the empty graph on $k$ vertices. If we further require that every copy of $E_k$ be rainbow-colored and the path $P$ is sufficiently long, then the smallest number of colors needed for $P[E_k]$ is at least $3k+1$ and at most $3k+\lceil k/2\rceil$. Finally, we define fractional nonrepetitive colorings of graphs and consider the connections between this notion and the above results

On the number of maximal intersecting k-uniform families and further applications of Tuza's set pair method

We study the function $M(n,k)$ which denotes the number of maximal $k$-uniform intersecting families $F\subseteq \binom{[n]}{k}$. Improving a bound of Balogh at al. on $M(n,k)$, we determine the order of magnitude of $\log M(n,k)$ by proving that for any fixed $k$, $M(n,k) =n^{\Theta(\binom{2k}{k})}$ holds. Our proof is based on Tuza's set pair approach. The main idea is to bound the size of the largest possible point set of a cross-intersecting system. We also introduce and investigate some related functions and parameters.Comment: 11 page

Forbidden subposet problems for traces of set families

In this paper we introduce a problem that bridges forbidden subposet and forbidden subconfiguration problems. The sets $F_1,F_2, \dots,F_{|P|}$ form a copy of a poset $P$, if there exists a bijection $i:P\rightarrow \{F_1,F_2, \dots,F_{|P|}\}$ such that for any $p,p'\in P$ the relation $p<_P p'$ implies $i(p)\subsetneq i(p')$. A family $\mathcal{F}$ of sets is \textit{$P$-free} if it does not contain any copy of $P$. The trace of a family $\mathcal{F}$ on a set $X$ is $\mathcal{F}|_X:=\{F\cap X: F\in \mathcal{F}\}$. We introduce the following notions: $\mathcal{F}\subseteq 2^{[n]}$ is $l$-trace $P$-free if for any $l$-subset $L\subseteq [n]$, the family $\mathcal{F}|_L$ is $P$-free and $\mathcal{F}$ is trace $P$-free if it is $l$-trace $P$-free for all $l\le n$. As the first instances of these problems we determine the maximum size of trace $B$-free families, where $B$ is the butterfly poset on four elements $a,b,c,d$ with $a,b<c,d$ and determine the asymptotics of the maximum size of $(n-i)$-trace $K_{r,s}$-free families for $i=1,2$. We also propose a generalization of the main conjecture of the area of forbidden subposet problems

Search Problems in Vector Spaces

We consider the following $q$-analog of the basic combinatorial search problem: let $q$ be a prime power and \GF(q) the finite field of $q$ elements. Let $V$ denote an $n$-dimensional vector space over \GF(q) and let $\mathbf{v}$ be an unknown 1-dimensional subspace of $V$. We will be interested in determining the minimum number of queries that is needed to find $\mathbf{v}$ provided all queries are subspaces of $V$ and the answer to a query $U$ is YES if $\mathbf{v} \leqslant U$ and NO if $\mathbf{v} \not\leqslant U$. This number will be denoted by $A(n,q)$ in the adaptive case (when for each queries answers are obtained immediately and later queries might depend on previous answers) and $M(n,q)$ in the non-adaptive case (when all queries must be made in advance). In the case $n=3$ we prove $2q-1=A(3,q)<M(3,q)$ if $q$ is large enough. While for general values of $n$ and $q$ we establish the bounds $$n\log q \le A(n,q) \le (1+o(1))nq$$ and $$(1-o(1))nq \le M(n,q) \le 2nq,$$ provided $q$ tends to infinity

On some extremal and probabilistic questions for tree posets

Given two posets $P,Q$ we say that $Q$ is $P$-free if $Q$ does not contain a copy of $P$. The size of the largest $P$-free family in $2^{[n]}$, denoted by $La(n,P)$, has been extensively studied since the 1980s. We consider several related problems. Indeed, for posets $P$ whose Hasse diagrams are trees and have radius at most $2$, we prove that there are $2^{(1+o(1))La(n,P)}$ $P$-free families in $2^{[n]}$, thereby confirming a conjecture of Gerbner, Nagy, Patk\'os and Vizer [Electronic Journal of Combinatorics, 2021] in these cases. For such $P$ we also resolve the random version of the $P$-free problem, thus generalising the random version of Sperner's theorem due to Balogh, Mycroft and Treglown [Journal of Combinatorial Theory Series A, 2014], and Collares Neto and Morris [Random Structures and Algorithms, 2016]. Additionally, we make a general conjecture that, roughly speaking, asserts that subfamilies of $2^{[n]}$ of size sufficiently above $La(n,P)$ robustly contain $P$, for any poset $P$ whose Hasse diagram is a tree