Michał Tuczyński | Searcharxiv

arXiv2026

Alon-Tarsi for hypergraphs

Given a hypergraph $H=(V,E)$, define for every edge $e\in E$ a linear expression with arguments corresponding to the vertices. Next, let the polynomial $p_H$ be the product of such linear expressions for all edges. Our main goal is to find a relationship between the Alon-Tarsi number of $p_H$ and the edge density of $H$. We prove that $AT(p_H)=\lceil \mathrm{ed}(H)\rceil+1$ if all the coefficients in $p_H$ are equal to $1$ and the base field has characteristic zero. Our main result is that, over an arbitrary field, if on every edge the coefficients are not all equal, then they can be permuted within the edges so that for the resulting polynomial $p_H^\prime$, $AT(p_H^\prime)\leq 2\lceil \mathrm{ed}(H)\rceil+1$ holds. We conjecture that this bound holds for every hypergraph polynomial without permuting its coefficients. If this were true, then in particular a significant generalization of the famous 1-2-3 Conjecture would follow.

math.CO↗

arXiv2019

On cordial labeling of hypertrees

Let $f:V\rightarrow\mathbb{Z}_k$ be a vertex labeling of a hypergraph $H=(V,E)$. This labeling induces an~edge labeling of $H$ defined by $f(e)=\sum_{v\in e}f(v)$, where the sum is taken modulo $k$. We say that $f$ is $k$-cordial if for all $a, b \in \mathbb{Z}_k$ the number of vertices with label $a$ differs by at most $1$ from the number of vertices with label $b$ and the analogous condition holds also for labels of edges. If $H$ admits a $k$-cordial labeling then $H$ is called $k$-cordial. The existence of $k$-cordial labelings has been investigated for graphs for decades. Hovey~(1991) conjectured that every tree $T$ is $k$-cordial for every $k\ge 2$. Cichacz, Görlich and Tuza~(2013) were first to investigate the analogous problem for hypertrees, that is, connected hypergraphs without cycles. The main results of their work are that every $k$-uniform hypertree is $k$-cordial for every $k\ge 2$ and that every hypertree with $n$ or $m$ odd is $2$-cordial. Moreover, they conjectured that in fact all hypertrees are $2$-cordial. In this article, we confirm the conjecture of Cichacz et al. and make a step further by proving that for $k\in\{2,3\}$ every hypertree is $k$-cordial.

math.CO↗