Papers by Amir Jafari
11 paper(s) by this author
· All BibTeX
Tree packing and the graphic Additive Base Conjecture
Tutte's flow conjectures ask when a graph has a nowhere-zero flow with small integer values. We approach these questions through spanning-tree packing and an analytic minimization argument of Alon, Bucić, and Davies. For every integer $q\ge2$, we prove that $q$ edge-disjoint spanning trees suffice to realize every compatible outdegree prescription modulo $q$. For odd prime moduli this proves the graphic Additive Base Conjecture. More generally, integer intervals of edge values realize every prescribed boundary when their widths satisfy the corresponding tree-packing inequalities. We strengthen this condition by allowing a deficit of two in every partition inequality, provided every cut has total width at least $q-1$. The allowance of two is sharp for $q\ge3$. Consequently, five-edge-connected graphs with at most ten odd-degree vertices are $\mathbb Z_3$-connected, and three-edge-connected graphs with at most fourteen odd-degree vertices are $\mathbb Z_5$-connected. Every orientation of a nine-edge-connected graph with at most fourteen odd-degree vertices admits an antisymmetric $\mathbb Z_5$-flow. The refinement also gives sharp bounds for extending preorientations after deleting edges or vertices, including the boundary case of $2q$-edge-connectivity. The same argument recovers Seymour's six-flow theorem, the three-flow theorem for six-edge-connected graphs, and the four-flow theorem for graphs with two edge-disjoint spanning trees. It also gives sharp circular-flow bounds and a cycle-rank bound strictly below six. We examine a five-flow reformulation obtained by tripling the edges of cubic graphs. A $46$-vertex graph of fractional packing number $41/9$ with no modulo-five orientation shows that packing greater than $9/2$ alone does not guarantee such an orientation in arbitrary graphs.
A nowhere-zero point for several linear mappings simultaneously
Let $q=p^k$, and let $A_1,\ldots,A_{r-1}$ be invertible $n\times n$ matrices over ${\mathbb F}_q$. We prove that, if $k\ge r$, there is a vector $x$ for which \[
x,A_1x,\ldots,A_{r-1}x \] are all nowhere zero. For $r=2$ this recovers the theorem of Alon and Tarsi over nonprime finite fields. The proof tracks one monomial in the product of the coordinate forms. Frobenius powers keep every exponent below $p^r$, and finite-field polynomial nonvanishing supplies the required vector. The same method treats rectangular matrices with independent rows and prescribed forbidden values.
The method also gives an extension-degree criterion for representable matroids and clarifies an unpublished prime-field conjecture of M. J. Moghaddamzadeh. Projective-geometric examples explain why the analogous field-size statement fails over proper extensions and, translated back to matrices, give lower bounds for the large-field problem.
The List Edge-Coloring Conjecture for New Infinite Families
The List Edge-Coloring Conjecture predicts that any graph whose edges can be colored with $k$ colors can also be colored from arbitrary lists of $k$ colors. We prove its stronger online form for two new infinite families, $K_{p-1}$ and $K_{2p}$, where $p$ is an odd prime. For even $n$, order the vertices of $K_n$ and draw each perfect matching as arcs above them. Count crossings separately within each matching, and let $S_n$ be the number of decompositions into perfect matchings having an even total crossing count minus the number having an odd total. Then \[
S_{p-1}\equiv\left(\frac{-2}{p}\right)\pmod p,
\qquad
S_{2p}\equiv-p\pmod {p^2}. \] The two congruences are governed by the same elementary matching sum over $\F_p$, although their proofs use the prime $p$ differently. Their nonzero residues give the conjectured values even in the online game. They also treat the corresponding complete graphs with one perfect matching removed, as well as $K_{2p}$ after deleting some, but not all, of a natural cyclic family of $p$ disjoint perfect matchings.
On union-closed families with prescribed number of $k$-sets
Fix positive integers $N,k,n$ with $n\ge k$. We seek the minimum number of members of size at least $n$ in a finite family of finite sets closed under union and containing exactly $N$ distinct sets of size $k$. This problem is a specialization of the Leck--Roberts--Simpson weighted conjecture: assign weight one to sets of size at least $n$ and zero to smaller sets. The predicted minimizer consists of the unions of nonempty subfamilies of the first $N$ $k$-subsets of the natural numbers, ordered by their largest elements and, when these agree, by their increasing lists lexicographically. For an integer $t\ge 1$, call the range \[
\binom{n+t-1}{k}<N\le\binom{n+t}{k} \] the $t$-th strip.
We prove the layered conjecture throughout the first strip, and throughout the second strip for $k=3$. For arbitrary $k$, we prove the second strip for families of subsets of an $(n+2)$-element set. For $k,t\ge 3$, we prove the $t$-th strip for families of subsets of an $(n+t)$-element set whenever $n\ge(t+1)(k-1)$. With no restriction on the ground set, we prove it for $k\ge 3$ and $t\ge 2$ whenever $n>\frac{5}{2} k^2t$. For sufficiently large $k$, we obtain a sufficient bound of order $k^2t/\log k$, uniformly in $t\ge2$.
On the Frobenius Coin Problem in Three Variables
The Frobenius coin problem in three variables, for three positive relatively prime integers $a_1< a_2< a_3$ asks to find the largest number not representable as $a_1x_1+a_2x_2+a_3x_3$ with non-negative integer coefficients $x_1$, $x_2$ and $x_3$. In this article, we present a new algorithm to solve this problem that is faster and in our belief simpler than all existing algorithms and runs in $\mbox{O}(\log a_1)$ steps.
On the chromatic number of almost stable general Kneser hypergraphs
Published
• View Publication
• BIB
Let $n\ge 1$ and $s\ge 1$ be integers. An almost $s$-stable subset $A$ of $[n]=\{1,\dots,n\}$ is a subset such that for any two distinct elements $i, j\in A$, one has $|i-j|\ge s$. For a family $\cal F$ of non-empty subsets of $[n]$ and an integer $r\ge 2$, the chromatic number of the $r$-uniform Kneser hypergraph $\mbox{KG}^r({\cal F})$, whose vertex set is $\cal F$ and whose edge set is the set of $\{A_1,\dots, A_r\}$ of pairwise disjoint elements in $\cal F$, has been studied extensively in the literature and Abyazi Sani and Alishahi were able to give a lower bound for it in terms of the equatable $r$-colorability defect, $\mbox{ecd}^r({\cal F})$. In this article, the methods of Chen for the special family of all $k$-subsets of $[n]$, are modified to give lower bounds for the chromatic number of almost stable general Kneser hypergraph $\mbox{KG}^r({\cal F}_s)$ in terms of $\mbox{ecd}^s({\cal F})$. Here ${\cal F}_s$ is the collection of almost $s$-stable elements of $\cal F$. We also propose a generalization of a conjecture of Meunier.
Lower bounds for the chromatic number of certain Kneser-type hypergraphs
Published
• View Publication
• BIB
Let $n\ge 1$, $r\ge 2$, and $s\ge 0$ be integers and ${\cal P}=\{P_1,\dots, P_l\}$ be a partition of $[n]=\{1,\dots, n\}$ with $|P_i|\le r$ for $i=1,\dots, l$. Also, let $\cal F$ be a family of non-empty subsets of $[n]$. The $r$-uniform Kneser-type hypergraph $\mbox{KG}^r({\cal F}, {\cal P},s)$ is the hypergraph with the vertex set of all $\cal P$-admissible elements $F\in {\cal F}$, that is $|F\cap P_i|\le 1$ for $i=1,\dots, l$ and the edge set of all $r$-subsets $\{F_1,\dots, F_r\}$ of the vertex set that $|F_i\cap F_j|\le s$ for all $1\le i<j\le r$. In this article, we extend the equitable $r$-colorability defect $\mbox{ecd}^r({\cal F})$ of Abyazi Sani and Alishahi to the case when one allows intersection among the vertices of an edge. It will be denoted by $\mbox{ecd}^r({\cal F},s)$. We then, give (under certain assumptions) lower bounds for the chromatic number of $\mbox{KG}^r({\cal F}, {\cal P},s)$ and some of its variants in terms of $\mbox{ecd}^r({\cal F},\lfloor s/2\rfloor)$. This work generalizes many existing results in the literature of the Kneser hypergraphs. It generalizes the previous results of the current authors from the special family of all $k$-subsets of $[n]$ to a general family $\cal F$ of subsets.
On some topological and combinatorial lower bounds on chromatic number of Kneser type hyper graphs
Published
• View Publication
• BIB
In this paper, we prove a generalization of a conjecture of Erdös, about the chromatic number of certain Kneser-type hypergraphs. For integers $n,k,r,s$ with $n\ge rk$ and $2\le s\le r$, the $r$-uniform general Kneser hypergraph $\mbox{KG}^r_s(n,k)$, has all $k$-subsets of $\{1,\dots,n\}$ as the vertex set and all multi-sets $\{A_1,\dots, A_r\}$ of $k$-subsets with $s$-wise empty intersections as the edge set. The case $r=s=2$, was considers by Kneser \cite{K} in 1955, where he conjectured that its chromatic number is $n-2(k-1)$. This was finally proved by Lovász \cite{L} in 1978. The case $r>2$ and $s=2$, was considered by Erdös in 1973, and he conjectured that its chromatic number is $\left\lceil\frac{n-r(k-1)}{r-1}\right\rceil$. This conjecture was proved by Alon, Frankl and Lovász \cite{AFL} in 1986. The case where $s>2$, was considered by Sarkaria \cite{S} in 1990, where he claimed to prove a lower bound for its chromatic number which generalized all previous results. Unfortunately, an error was found by Lange and Ziegler \cite{Z'} in 2006 in the induction method of Sarkaria on the number of prime factors of $r$, and Sarkaria's proof only worked when $s$ is less than the smallest prime factor of $r$ or $s=2$. In this paper, by applying the $\mathbb Z_p$-Tucker lemma of Ziegler \cite{Z} and Meunier \cite{M}, we finally prove the general Erdös conjecture and prove the claimed result of Sarkaria for any $2\le s\le r$. We also provide another proof of a special case of this result, using methods similar to those of Alon, Frankl, and Lovász \cite{AFL} and compute the connectivity of certain simplicial complexes that might be of interest in their own right.
Upper bounds for domination numbers of graphs using Turán's Theorem and Lovász local lemma
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$ with vertex set $V(G)$. A subset $S\subseteq V(G)$ is an $(a,b)$-dominating set if every vertex $v\in S$ is adjacent to at least $a$ vertices in $S$ and every $v\in V\setminus S$ is adjacent to at least $b$ vertices in $S$. The minimum cardinality of an $(a,b)$-dominating set of $G$ is the $(a,b)$-domination number of $G$, denoted by $γ_{a,b}(G)$. There are various results about upper bounds for $γ_{a,b}(G)$ when $G$ is regular or $a$ and $b$ are small numbers.
In the first part of this paper, for a given graph $G$ with the minimum degree of $\max\{a,b\}$, we define a new graph $G'$ associated to $G$ and show that the independence number of this graph is related to $γ_{a,b}(G)$. In the next part, using Lovász local lemma, we give a randomized approach to improve previous results in some special cases.
On $k$-tuple and $k$-tuple total domination numbers of regular graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$, whose minimum vertex degree is at least $k$. A subset $S$ of vertices in $G$ is a $k$-tuple total dominating set if every vertex of $G$ is adjacent to at least $k$ vertices in $S$. The minimum cardinality of a $k$-tuple total dominating set of $G$ is the $k$-tuple total domination number of $G$, denoted by $γ_{\times k,t}(G)$. Henning and Yeo in \cite{hen} proved that if $G$ is a cubic graph different from the Heawood graph, $γ_{\times 2, t}(G) \leq \frac{5}{6}n$, and this bound is sharp. Similarly, a $k$-tuple dominating set is a subset $S$ of vertices of $G$, $V (G)$ such that $|N[v] \cap S| \geq k$ for every vertex $v$, where $N[v] = \{v\}\cup \{u \in V(G) : uv \in E(G)\}$. The $k$-tuple domination number of $G$, denoted by $γ_{\times k}(G)$, is the minimum cardinality of a $k$-tuple dominating set of $G$.
In this paper, we give a simple approach to compute an upper bound for $(r-1)$-tuple total domination number of $r$-regular graphs. Also, we give an upper bound for the $r$-tuple dominating number of $r$-regular graphs. In addition, our method gives algorithms to compute dominating sets with the given bounds, while the previous methods are existential.
On mathching property for groups and vector spaces
Published in Journal of Algebra and Its Applications. Vol. 15, No. 01, 1650011 (2016)
• View Publication
• BIB
In this paper we prove a sufficient condition for the existence of matchings in arbitrary groups and its linear analogue, which lead to some generalizations of the existing results in the theory of matchings in groups and central extensions of division rings. We introduce the notion of relative matchings between arrays of elements in groups and use this notion to study the behavior of matchable sets under group homomorphisms. We also present infinite families of prime numbers p such that Z/pZ does not have the acyclic matching property. Finally, we introduce the linear version of acyclic matching property and show that purely transcendental field extensions satisfy this property