Source author record

Amin Bahmanian

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
2topics
2close collaborators

Published work

9 publications

preprint2022arXiv

Embedding Irregular Colorings into Connected Factorizations

For r:=(r1,…,rk)r:=(r_1,\dots,r_k), an rr-factorization of the complete λλ-fold hh-uniform nn-vertex hypergraph λKnhλK_n^h is a partition of (the edges of) λKnhλK_n^h into F1,…,FkF_1,\dots, F_k such that for i=1,…,ki=1,\dots,k, FiF_i is rir_i-regular and spanning. Suppose that n≥(h−1)(2m−1)n \geq (h-1)(2m-1). Given a partial rr-factorization of λKmhλK_m^h, that is, a coloring (i.e. partition) PP of the edges of λKmhλK_m^h into F1,…,FkF_1,\dots, F_k such that for i=1,…,ki=1,\dots,k, FiF_i is spanning and the degree of each vertex in FiF_i is at most rir_i, we find necessary and sufficient conditions that ensure PP can be extended to a connected rr-factorization of λKnhλK_n^h (i.e. an rr-factorization in which each factor is connected). Moreover, we prove a general result that implies the following. Given a partial ss-factorization PP of any sub-hypergraph of λKmhλK_m^h, where s:=(s1,…,sq)s:=(s_1,\dots,s_q) and qq is not too big, we find necessary and sufficient conditions under which PP can be embedded into a connected rr-factorization of λKnhλK_n^h. These results can be seen as unified generalizations of various classical combinatorial results such as Cruse's theorem on embedding partial symmetric latin squares, Baranyai's theorem on factorization of hypergraphs, Hilton's theorem on extending path decompositions into Hamiltonian decompositions, Häggkvist and Hellgren's theorem on extending 1-factorizations, and Hilton, Johnson, Rodger, and Wantland's theorem on embedding connected factorizations.

preprint2022arXiv

On Factors with Prescribed Degrees in Bipartite Graphs

We establish a new criterion for a bigraph to have a subgraph with prescribed degree conditions. We show that the bigraph G[X,Y]G[X,Y] has a spanning subgraph FF such that g(x)≤degF(x)≤f(x)g(x)\leq deg_F(x) \leq f(x) for x∈Xx\in X and degF(y)≤f(y)deg_F(y) \leq f(y) for y∈Yy\in Y if and only if ∑b∈Bf(b)≥∑a∈Amax⁡{0,g(a)−degG−B(a)}\sum\nolimits_{b\in B} f(b)\geq \sum\nolimits_{a\in A} \max \big\{0, g(a) - deg_{G-B}(a)\big\} for A⊆X,B⊆YA\subseteq X, B\subseteq Y. Using Folkman-Fulkerson's Theorem, Cymer and Kano found a different criterion for the existence of such a subgraph (Graphs Combin. 32 (2016), 2315--2322). Our proof is self-contained and relies on alternating path technique. As an application, we prove the following extension of Hall's theorem. A bigraph G[X,Y]G[X,Y] in which each edge has multiplcity at least mm has a subgraph FF with g(x)≤degF(x)≤f(x)≤deg(x)g(x)\leq deg_F(x)\leq f(x)\leq deg(x) for x∈Xx\in X, degF(y)≤mdeg_F(y)\leq m for y∈Yy\in Y if and only if ∑y∈NG(S)f(y)≥∑x∈Sg(x)\sum_{y\in N_G(S)}f(y)\geq \sum_{x\in S}g(x) for S⊆XS\subseteq X.

preprint2022arXiv

On Layer-Rainbow Latin Cubes Containing Layer-Rainbow Latin Cubes

Despite the fact that latin cubes have been studied since in the 1940's, there are only a few results on embedding partial latin cubes, and all these results are far from being optimal with respect to the size of the containing cube. For example, the bound of the 1970's result of Cruse that a partial latin cube of order nn can be embedded into a latin cube of order 16n416n^4, was only improved very recently by Potapov to n3n^3. In this note, we prove the first such optimal result by showing that a layer-rainbow latin cube of order mm can be embedded into a layer-rainbow latin cube of order nn if and only if n≥2mn\geq 2m. A layer-rainbow latin cube LL of order nn is an n×n×nn\times n\times n array filled with n2n^2 symbols such that each layer parallel to each face (obtained by fixing one coordinate) contains every symbol exactly once.

preprint2022arXiv

Ryser's Theorem for ρρ-latin Rectangles

Let LL be an n×nn\times n array whose top left r×sr\times s subarray is filled with kk different symbols, each occurring at most once in each row and at most once in each column. We find necessary and sufficient conditions that ensure the remaining cells of LL can be filled such that each symbol occurs at most once in each row and at most once in each column, and each symbol occurs a prescribed number of times in LL. The case where the prescribed number of times each symbol occurs is nn was solved by Ryser (Proc. Amer. Math. Soc. 2 (1951), 550--552), and the case s=ns=n was settled by Goldwasser et al. (J. Combin. Theory Ser. A 130 (2015), 26--41). Our technique leads to a very short proof of the latter.

preprint2022arXiv

Symmetric Layer-Rainbow Colorations of Cubes

Can we color the n3n^3 cells of an n×n×nn\times n\times n cube LL with n2n^2 colors in such a way that each layer parallel to each face contains each color exactly once and that the coloring is symmetric so that Lijℓ=Ljℓi=LℓijL_{ij\ell}=L_{j\ell i}=L_{\ell ij} for distinct i,j,ℓ∈{1,…,n}i,j,\ell \in \{1,\dots,n\}, and Liij=Ljji,Liji=Ljij,Lijj=LjiiL_{iij}=L_{jj i}, L_{iji}=L_{jij}, L_{ij j}=L_{jii} for i,j∈{1,…,n}i,j\in \{1,\dots,n\}? Using transportation networks, we show that such a coloring is possible if and only if n≡0,2mod  3n\equiv 0,2 \mod 3 (with two exceptions, n=1n=1 and n≠3n\neq 3). Motivated by the designs of experiments, the study of these objects (without symmetry) was initiated by Kishen and Fisher in the 1940's. These objects are also closely related to orthogonal arrays whose existence has been extensively investigated, and they are natural three-dimensional analogues of symmetric latin squares.

preprint2021arXiv

Extending Edge-colorings of Complete Hypergraphs into Regular Colorings

Let (Xh)\binom{X}{h} be the collection of all hh-subsets of an nn-set X⊇YX\supseteq Y. Given a coloring (partition) of a set S⊆(Xh)S\subseteq \binom{X}{h}, we are interested in finding conditions under which this coloring is extendible to a coloring of (Xh)\binom{X}{h} so that the number of times each element of XX appears in each color class (all sets of the same color) is the same number rr. The case S=∅,r=1S=\varnothing, r=1 was studied by Sylvester in the 18th century, and remained open until the 1970s. The case h=2,r=1h=2,r=1 is extensively studied in the literature and is closely related to completing partial symmetric Latin squares. For S=(Yh)S=\binom{Y}{h}, we settle the cases h=4,∣X∣≥4.847323∣Y∣h=4, |X|\geq 4.847323|Y|, and h=5,∣X∣≥6.285214∣Y∣h=5, |X|\geq 6.285214|Y| completely. Moreover, we make partial progress toward solving the case where S=(Xh)\(Yh)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.

preprint2021arXiv

Factorizations of Complete Multipartite Hypergraphs

In a mathematics workshop with mnmn mathematicians from nn different areas, each area consisting of mm mathematicians, we want to create a collaboration network. For this purpose, we would like to schedule daily meetings between groups of size three, so that (i) two people of the same area meet one person of another area, (ii) each person has exactly rr meeting(s) each day, and (iii) each pair of people of the same area have exactly λλ meeting(s) with each person of another area by the end of the workshop. Using hypergraph amalgamation-detachment, we prove a more general theorem. In particular we show that above meetings can be scheduled if: 3 ∣ rm3 \ | \ rm, 2 ∣ rnm2 \ | \ rnm and r ∣ 3λ(n−1)(m2)r \ | \ 3λ(n-1)\binom{m}{2}. This result can be viewed as an analogue of Baranyai's theorem on factorizations of complete multipartite hypergraphs.

preprint2020arXiv

Connected Fair Detachments of Hypergraphs

Let G\mathcal G be a hypergraph whose edges are colored. An {\it (α,n)(α,n)-detachment} of G\mathcal G is a hypergraph obtained by splitting a vertex αα into nn vertices, say α1,…,αnα_1,\dots,α_n, and sharing the incident hinges and edges among the subvertices. A detachment is {\it fair} if the degree of vertices and multiplicity of edges are shared as evenly as possible among the subvertices within the whole hypergraph as well as within each color class. In this paper we solve an open problem from 70s by finding necessary and sufficient conditions under which a kk-edge-colored hypergraph G\mathcal G has a fair detachment in which each color class is connected. Previously, this was not even known for the case when G\mathcal G is an arbitrary graph (i.e. 2-uniform hypergraph). We exhibit the usefulness of our theorem by proving a variety of new results on hypergraph decompositions, and completing partial regular combinatorial structures.

preprint2020arXiv

On Regular Set Systems Containing Regular Subsystems

Let X,YX,Y be finite sets, r,s,h,λ∈Nr,s,h, λ\in \mathbb{N} with s≥r,X⊊Ys\geq r, X\subsetneq Y. By λ(Xh)λ\binom{X}{h} we mean the collection of all hh-subsets of XX where each subset occurs λλ times. A coloring of λ(Xh)λ\binom{X}{h} is {\it rr-regular} if in every color class each element of XX occurs rr times. A one-regular color class is a {\it perfect matching}. We are interested in the necessary and sufficient conditions under which an rr-regular coloring of λ(Xh)λ\binom{X}{h} can be embedded into an ss-regular coloring of λ(Yh)λ\binom{Y}{h}. Using algebraic techniques involving glueing together orbits of a suitably chosen cyclic group, the first author and Newman (Combinatorica 38 (2018), no. 6, 1309--1335) solved the case when λ=1,r=s,gcd⁡(∣X∣,∣Y∣,h)=gcd⁡(∣Y∣,h)λ=1,r=s, \gcd (|X|,|Y|,h)=\gcd(|Y|,h). Using purely combinatorial techniques, we nearly settle the case h=4h=4. Two major challenges include finding all the necessary conditions, and obtaining the exact bound for ∣Y∣|Y|. It is worth noting that completing partial symmetric latin squares is closely related to the case λ=r=s=1,h=2λ=r=s=1, h=2 which was solved by Cruse (J. Comb. Theory Ser. A 16 (1974), 18--22).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.