A Perfect One-Factorisation of $K_{56}$

David A. Pike

DOI: https://doi.org/10.1002/jcd.21653

2019-01-21

Abstract:In 1963, Anton Kotzig conjectured that for each $n \geq 2$ the complete graph $K_{2n}$ has a perfect one-factorisation (i.e., a decomposition into perfect matchings such that each pair of perfect matchings of the decomposition induces a Hamilton cycle). We affirmatively settle the smallest unresolved case for this conjecture.

Combinatorics

What problem does this paper attempt to address?

A note on the 2-Factor Hamiltonicity Conjecture

Maximilian Gorsky,Theresa Johanni,Sebastian Wiederrecht

2024-08-29

Abstract:The 2-factor Hamiltonicity Conjecture by Funk, Jackson, Labbate, and Sheehan [JCTB, 2003] asserts that all cubic, bipartite graphs in which all 2-factors are Hamiltonian cycles can be built using a simple operation starting from $K_{3,3}$ and the Heawood graph. We discuss the link between this conjecture and matching theory, in particular by showing that this conjecture is equivalent to the statement that the two exceptional graphs in the conjecture are the only 2-factor Hamiltonian, cubic braces, where braces are connected, bipartite graphs in which every matching of size at most two is contained in a perfect matching. In the context of matching theory this conjecture is especially noteworthy as $K_{3,3}$ and the Heawood graph are both strongly tied to the important class of Pfaffian graphs, with $K_{3,3}$ being the canonical non-Pfaffian graph and the Heawood graph being one of the most noteworthy Pfaffian graphs. Our main contribution is a proof that the Heawood graph is the only 2-factor Hamiltonian, Pfaffian, cubic brace. This is shown by establishing that, aside from the Heawood graph, all Pfaffian braces contain a cycle of length four, which may be of independent interest.

Combinatorics
On the spouse-loving variant of the Oberwolfach problem

Noah Bolohan,Iona Buchanan,Andrea Burgess,Mateja Šajna,Ryan Van Snick

DOI: https://doi.org/10.1002/jcd.21645

2024-08-01

Abstract:We prove that $K_n+I$, the complete graph of an even order with a $1$-factor duplicated, admits a decomposition into $2$-factors, each a disjoint union of cycles of length $m \geq 5$ if and only if $m \mid n$, except possibly when $m$ is odd and $n=4m$. In addition, we show that $K_n+I$ admits a decomposition into $2$-factors, each a disjoint union of cycles of lengths $m_1, \ldots, m_t$, whenever $m_1, \ldots, m_t$ are all even.

Combinatorics
On a conjecture that strengthens Kundu's k ‐factor theorem

James M. Shook

DOI: https://doi.org/10.1002/jgt.23177

2024-10-08

Journal of Graph Theory

Abstract:Let π=(d1,...,dn) be a nonincreasing degree sequence with even n . In 1974, Kundu showed that if Dk(π)=(d1−k,...,dn−k) is graphic, then some realization of π has a k ‐factor. For r≤2 , Busch et al. and later Seacrest for r≤4 showed that if r≤k and Dk(π) is graphic, then there is a realization with a k ‐factor whose edges can be partitioned into a (k−r) ‐factor and r edge‐disjoint 1‐factors. We improve this to any r≤min{k+53,k} . In 1978, Brualdi and then Busch et al. in 2012, conjectured that r=k . The conjecture is still open for k≥6 . However, Busch et al. showed the conjecture is true when d1≤n2+1 or dn≥n2+k−2 . We explore this conjecture by first developing new tools that generalize edge‐exchanges. With these new tools, we can drop the assumption Dk(π) is graphic and show that if dd1−dn+k≥d1−dn+k−1, then π has a realization with k edge‐disjoint 1‐factors. From this we confirm the conjecture when dn≥d1+k−12 or when Dk(π) is graphic and d1≤max{n∕2+dn−k,(n+dn)∕2} .

mathematics
Conditions for a graph to have a connected even [2, 2s]-factor

Jun Yin,Liming Xiong

2015-01-01

Utilitas mathematica

Abstract:A graph is locally connected if every vertex neighborhood induces a connected subgraph. We show that if G is a connected, locally connected K-1,K-s+2-free graph of order p >= 3, then G has a connected even [2, 2s]-factor.
Extending a perfect matching to a Hamiltonian cycle

Adel Alahmadi,Robert E. L. Aldred,Ahmad Alkenani,Rola Hijazi,P. Solé,Carsten Thomassen

DOI: https://doi.org/10.46298/dmtcs.2105

2015-03-28

Abstract:Graph Theory Ruskey and Savage conjectured that in the d-dimensional hypercube, every matching M can be extended to a Hamiltonian cycle. Fink verified this for every perfect matching M, remarkably even if M contains external edges. We prove that this property also holds for sparse spanning regular subgraphs of the cubes: for every d ≥7 and every k, where 7 ≤k ≤d, the d-dimensional hypercube contains a k-regular spanning subgraph such that every perfect matching (possibly with external edges) can be extended to a Hamiltonian cycle. We do not know if this result can be extended to k=4,5,6. It cannot be extended to k=3. Indeed, there are only three 3-regular graphs such that every perfect matching (possibly with external edges) can be extended to a Hamiltonian cycle, namely the complete graph on 4 vertices, the complete bipartite 3-regular graph on 6 vertices and the 3-cube on 8 vertices. Also, we do not know if there are graphs of girth at least 5 with this matching-extendability property.

mathematics, applied,computer science, software engineering
On directed 2-factors in digraphs and 2-factors containing perfect matchings in bipartite graphs

Shuya Chiba,Tomoki Yamashita

DOI: https://doi.org/10.48550/arXiv.1612.08904

2017-08-02

Abstract:In this paper, we give the following result: If $D$ is a digraph of order $n$, and if $d_{D}^{+}(u) + d_{D}^{-}(v) \ge n$ for every two distinct vertices $u$ and $v$ with $(u, v) \notin A(D)$, then $D$ has a directed $2$-factor with exactly $k$ directed cycles of length at least $3$, where $n \ge 12k+3$. This result is equivalent to the following result: If $G$ is a balanced bipartite graph of order $2n$ with partite sets $X$ and $Y$, and if $d_{G}(x)+d_{G}(y) \ge n + 2$ for every two vertices $x \in X$ and $y \in Y$ with $xy \notin E(G)$, then for every perfect matching $M$, $G$ has a $2$-factor with exactly $k$ cycles of length at least $6$ containing every edge of $M$, where $n \ge 12k+3$. These results are generalizations of theorems concerning Hamilton cycles due to Woodall (1972) and Las Vergnas (1972), respectively.

Combinatorics
Factoring complete graphs and hypergraphs into factors with few maximal cliques

Paul Erdős,David P. Galvin,Fred Galvin,Michael M. Krieger

2023-09-02

Abstract:For integers $r,t\geq2$ and $n\geq1$ let $f_r(t,n)$ be the minimum, over all factorizations of the complete $r$-uniform hypergraph of order $n$ into $t$ factors $H_1,\dots,H_t$, of $\sum_{i=1}^tc(H_i)$ where $c(H_i)$ is the number of maximal cliques in $H_i$. It is known that $f_2(2,n)=n+1$; in fact, if $G$ is a graph of order $n$, then $c(G)+c(\overline G)\geq n+1$ with equality iff $\omega(G)+\alpha(G)=n+1$ where $\omega$ is the clique number and $\alpha$ the independence number. In this paper we investigate $f_r(t,n)$ when $r>2$ or $t>2$. We also characterize graphs $G$ of order $n$ with $c(G)+c(\overline G)=n+2$.

Combinatorics
Complete factorizations of finite groups

Mikhail Kabenyuk

2024-02-23

Abstract:Let $G$ be a group. The subsets $A_1,\ldots,A_k$ of $G$ form a complete factorization of group $G$ if if they are pairwise disjoint and each element $g\in G$ is uniquely represented as $g=a_1\ldots a_k$, with $a_i\in A_i$. We prove the following theorem: Let $G$ be a finite nilpotent group. If $|G|=m_1\ldots m_k$ where $m_1,\ldots,m_k$ are integers greater $1$ and $k\geq3$, then there exist subsets $A_1,\ldots,A_k$ of $G$ which form a complete factorization of group $G$ and $|A_i|=m_i$ for all $i=1,2,\ldots,k$. In addition, we give several examples of building complete factorization for some groups and formulate one open question.

Group Theory
A stability result for almost perfect matchings

Mingyang Guo,Hongliang Lu

2024-04-15

Abstract:Let $n,k,s$ be three integers and $\beta$ be a sufficiently small positive number such that $k\geq 3$, $0<1/n\ll \beta\ll 1/k$ and $ks+k\leq n\leq (1+\beta)ks+k-2$. A $k$-graph is called non-trivial if it has no isolated vertex. In this paper, we determine the maximum number of edges in a non-trivial $k$-graph with $n$ vertices and matching number at most $s$. This result confirms a conjecture proposed by Frankl (On non-trivial families without a perfect matching, \emph{European J. Combin.}, \textbf{84} (2020), 103044) for the case when $s$ is sufficiently large.

Combinatorics
Almost fair perfect matchings in complete bipartite graphs

Abeer Othman,Eli Berger

DOI: https://doi.org/10.1016/j.disc.2023.113865

IF: 0.961

2024-04-01

Discrete Mathematics

Abstract:Let { E 1 , … , E m } be a partition of E ( K n , n ) , where K n , n is the complete bipartite graph, and assume that | E i | n ∈ Z . It was conjectured in [1], that there exists a perfect matching M in K n , n with s ( M ) = max i ⁡ ( | M ∩ E i | − | E i | n ) − min i ⁡ ( | M ∩ E i | − | E i | n ) ≤ 2 . In this paper, we reprove combinatorially that this conjecture is true when m = 2 or m = 3 . This result is proved in [1] by using topological methods. In the case m = 4 , we prove that there is always a perfect matching M in K n , n with s ( M ) ≤ 11 . We also bring here an unpublished result from 2014 of the second author of this paper together with Irine Lo and Paul Seymour, proving that there exists a function of m alone, f ( m ) , and a perfect matching M in K n , n such that s ( M ) ≤ f ( m ) . This result was later reproved by Alon in [2], where an explicit formulation of f ( m ) was given.

mathematics
Perfect matching and Hamilton cycle decomposition of complete balanced ( k + 1 ) -partite k-uniform hypergraphs

Yi Zhang,Mei Lu,Ke Liu

DOI: https://doi.org/10.1016/j.amc.2020.125492

IF: 4.397

2020-12-01

Applied Mathematics and Computation

Abstract:Let <math>Kk+1,n(k)</math> denote the complete balanced <math>(k+1)</math>-partite k-uniform hypergraph, whose vertex set consists of <math>k+1</math> parts, each has n vertices and whose edge set contains all the k-element subsets with no two vertices from one part. In this paper, we prove that if k∣n and <math>(nk,k)=1,</math> then <math>Kk+1,n(k)</math> has a perfect matching decomposition; if <math>(n,k)=1,</math> then <math>Kk+1,n(k)</math> has a Hamilton tight cycle decomposition. In both cases, we use constructive methods which imply that we also give a polynomial algorithm to find a perfect matching decomposition or a Hamilton tight cycle decomposition.

mathematics, applied
Exact solutions to the Erdős-Rothschild problem

Oleg Pikhurko,Katherine Staden

DOI: https://doi.org/10.1017/fms.2023.117

2024-01-09

Forum of Mathematics Sigma

Abstract:Let be a sequence of natural numbers. For a graph G, let denote the number of colourings of the edges of G with colours such that, for every , the edges of colour c contain no clique of order . Write to denote the maximum of over all graphs G on n vertices. There are currently very few known exact (or asymptotic) results for this problem, posed by Erdős and Rothschild in 1974. We prove some new exact results for : (i) A sufficient condition on which guarantees that every extremal graph is a complete multipartite graph, which systematically recovers all existing exact results. (ii) Addressing the original question of Erdős and Rothschild, in the case of length , the unique extremal graph is the complete balanced -partite graph, with colourings coming from Hadamard matrices of order . (iii) In the case , for which the sufficient condition in (i) does not hold, for , the unique extremal graph is complete k-partite with one part of size less than k and the other parts as equal in size as possible.

mathematics, applied
Maximally Edge-Connected Realizations and Kundu's $k$-factor Theorem

James M. Shook

DOI: https://doi.org/10.1002/jgt.23017

2023-08-16

Abstract:A simple graph $G$ with edge-connectivity $\lambda(G)$ and minimum degree $\delta(G)$ is maximally edge connected if $\lambda(G)=\delta(G)$. In 1964, given a non-increasing degree sequence $\pi=(d_{1},\ldots,d_{n})$, Jack Edmonds showed that there is a realization $G$ of $\pi$ that is $k$-edge-connected if and only if $d_{n}\geq k$ with $\sum_{i=1}^{n}d_{i}\geq 2(n-1)$ when $d_{n}=1$. We strengthen Edmonds's result by showing that given a realization $G_{0}$ of $\pi$ if $Z_{0}$ is a spanning subgraph of $G_{0}$ with $\delta(Z_{0})\geq 1$ such that $|E(Z_{0})|\geq n-1$ when $\delta(G_{0})=1$, then there is a maximally edge-connected realization of $\pi$ with $G_{0}-E(Z_{0})$ as a subgraph. Our theorem tells us that there is a maximally edge-connected realization of $\pi$ that differs from $G_{0}$ by at most $n-1$ edges. For $\delta(G_{0})\geq 2$, if $G_{0}$ has a spanning forest with $c$ components, then our theorem says there is a maximally edge-connected realization that differs from $G_{0}$ by at most $n-c$ edges. As an application we combine our work with Kundu's $k$-factor Theorem to show there is a maximally edge-connected realization with a $(k_{1},\dots,k_{n})$-factor for $k\leq k_{i}\leq k+1$ and present a partial result to a conjecture that strengthens the regular case of Kundu's $k$-factor theorem.

Combinatorics
Variations of Kurepa's left factorial hypothesis

Romeo Meštrović

DOI: https://doi.org/10.48550/arXiv.1312.7037

2013-12-26

Number Theory

Abstract:Kurepa's hypothesis asserts that for each integer $n\ge 2$ the greatest common divisor of $!n:=\sum_{k=0}^{n-1}k!$ and $n!$ is $2$. Motivated by an equivalent formulation of this hypothesis involving derangement numbers, here we give a formulation of Kurepa's hypothesis in terms of divisibility of any Kurepa's determinant $K_p$ of order $p-4$ by a prime $p\ge 7$. In the previous version of this article we have proposed the strong Kurepa's hypothesis involving a general Kurepa's determinant $K_n$ with any integer $n\ge 7$. We prove the ``even part'' of this hypothesis which can be considered as a generalization of Kurepa's hypothesis. However, by using a congruence for $K_n$ involving the derangement number $S_{n-1}$ with an odd integer $n\ge 9$, we find that the integer $11563=31\times 373$ is a counterexample to the ``odd composite part'' of strong Kurepa's hypothesis. We also present some remarks, divisibility properties and computational results closely related to the questions on Kurepa's hypothesis involving derangement numbers and Bell numbers.
An Asymptotic Version of the Multigraph 1-Factorization Conjecture

E. R. Vaughan

DOI: https://doi.org/10.1002/jgt.21629

2012-03-14

Journal of Graph Theory

Abstract:We give a self‐contained proof that for all positive integers r and all , there is an integer such that for all any regular multigraph of order 2n with multiplicity at most r and degree at least is 1‐factorizable. This generalizes results of Perković and Reed (Discrete Math 165/166 (1997), 567–578) and Plantholt and Tipnis (J London Math Soc 44 (1991), 393–400).

mathematics
Counting Perfect Matchings in Dense Graphs Is Hard

Nicolas El Maalouly,Yanheng Wang

DOI: https://doi.org/10.48550/arXiv.2210.15014

2022-10-27

Abstract:We show that the problem of counting perfect matchings remains #P-complete even if we restrict the input to very dense graphs, proving the conjecture in [5]. Here "dense graphs" refer to bipartite graphs of bipartite independence number $\leq 2$, or general graphs of independence number $\leq 2$. Our proof is by reduction from counting perfect matchings in bipartite graphs, via elementary linear algebra tricks and graph constructions.

Data Structures and Algorithms,Combinatorics
Counting Perfect Matchings In Dirac Hypergraphs

Matthew Kwan,Roodabeh Safavi,Yiting Wang

2024-08-19

Abstract:One of the foundational theorems of extremal graph theory is Dirac's theorem, which says that if an n-vertex graph G has minimum degree at least n/2, then G has a Hamilton cycle, and therefore a perfect matching (if n is even). Later work by Sárkozy, Selkow and Szemerédi showed that in fact Dirac graphs have many Hamilton cycles and perfect matchings, culminating in a result of Cuckler and Kahn that gives a precise description of the numbers of Hamilton cycles and perfect matchings in a Dirac graph G (in terms of an entropy-like parameter of G). In this paper we extend Cuckler and Kahn's result to perfect matchings in hypergraphs. For positive integers d < k, and for n divisible by k, let $m_{d}(k,n)$ be the minimum d-degree that ensures the existence of a perfect matching in an n-vertex k-uniform hypergraph. In general, it is an open question to determine (even asymptotically) the values of $m_{d}(k,n)$, but we are nonetheless able to prove an analogue of the Cuckler-Kahn theorem, showing that if an n-vertex k-uniform hypergraph G has minimum d-degree at least $(1+\gamma)m_{d}(k,n)$ (for any constant $\gamma>0$), then the number of perfect matchings in G is controlled by an entropy-like parameter of G. This strengthens cruder estimates arising from work of Kang-Kelly-Kühn-Osthus-Pfenninger and Pham-Sah-Sawhney-Simkin.

Combinatorics
Random stable type minimal factorizations of the $n$-cycle

Paul Thevenin

DOI: https://doi.org/10.48550/arXiv.2002.12027

2020-02-27

Abstract:We investigate random minimal factorizations of the $n$-cycle, that is, factorizations of the permutation $(1 \, 2 \cdots n)$ into a product of cycles $\tau_1, \ldots, \tau_k$ whose lengths $\ell(\tau_1), \ldots, \ell(\tau_k)$ verify the minimality condition $\sum_{i=1}^k(\ell(\tau_i)-1)=n-1$. By associating to a cycle of the factorization a black polygon inscribed in the unit disk, and reading the cycles one after an other, we code a minimal factorization by a process of colored laminations of the disk, which are compact subsets made of red noncrossing chords delimiting faces that are either black or white. Our main result is the convergence of this process as $n \rightarrow \infty$, when the factorization is randomly chosen according to Boltzmann weights in the domain of attraction of an $\alpha$-stable law, for some $\alpha \in (1,2]$. The new limiting process interpolates between the unit circle and a colored version of Kortchemski's $\alpha$-stable lamination. Our principal tool in the study of this process is a bijection between minimal factorizations and a model of size-conditioned labelled random trees whose vertices are colored black or white.

Probability,Combinatorics
Some sufficient conditions for graphs to have component factors

Sizhong Zhou

2024-10-09

Abstract:Let $G$ denote a graph and $k\geq2$ be an integer. A $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$-factor of $G$ is a spanning subgraph, whose every connected component is isomorphic to an element of $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$, where $\mathcal{T}(2k+1)$ is one special family of tree. In this paper, we put forward some sufficient conditions for the existence of $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$-factors in graphs. Furthermore, we construct some extremal graphs to show that the main results in this paper are best possible.

Combinatorics
Modulo factors with bounded degrees

Morteza Hasanvand

2024-08-22

Abstract:Let $G$ be a bipartite graph with bipartition $(X,Y)$, let $k$ be a positive integer, and let $f:V(G)\rightarrow \{-1,\ldots, k-2\}$ be a mapping with $\sum_{v\in X}f(v) \stackrel{k}{\equiv}\sum_{v\in Y}f(v)$. In this paper, we show that if $G$ is essentially $(3k-3)$-edge-connected and for each vertex $v$, $d_G(v)\ge 2k-1+f(v)$, then it admits a factor $H$ such that for each vertex $v$, $d_H(v)\stackrel{k}{\equiv} f(v)$, and $$\lfloor\frac{d_G(v)}{2}\rfloor-(k-1)\le d_{H}(v)\le \lceil\frac{d_G(v)}{2}\rceil+k-1.$$ Next, we generalize this result to general graphs and derive sufficient conditions for a highly edge-connected general graph $G$ to have a factor $H$ such that for each vertex $v$, $d_H(v)\in \{f(v),f(v)+k\}$. Finally, we show that every $(4k-1)$-edge-connected essentially $(6k-7)$-edge-connected graph admits a bipartite factor whose degrees are positive and divisible by $k$.

Combinatorics

A Perfect One-Factorisation of $K_{56}$

A note on the 2-Factor Hamiltonicity Conjecture

On the spouse-loving variant of the Oberwolfach problem

On a conjecture that strengthens Kundu's k ‐factor theorem

Conditions for a graph to have a connected even [2, 2s]-factor

Extending a perfect matching to a Hamiltonian cycle

On directed 2-factors in digraphs and 2-factors containing perfect matchings in bipartite graphs

Factoring complete graphs and hypergraphs into factors with few maximal cliques

Complete factorizations of finite groups

A stability result for almost perfect matchings

Almost fair perfect matchings in complete bipartite graphs

Perfect matching and Hamilton cycle decomposition of complete balanced ( k + 1 ) -partite k-uniform hypergraphs

Exact solutions to the Erdős-Rothschild problem

Maximally Edge-Connected Realizations and Kundu's $k$-factor Theorem

Variations of Kurepa's left factorial hypothesis

An Asymptotic Version of the Multigraph 1-Factorization Conjecture

Counting Perfect Matchings in Dense Graphs Is Hard

Counting Perfect Matchings In Dirac Hypergraphs

Random stable type minimal factorizations of the $n$-cycle

Some sufficient conditions for graphs to have component factors

Modulo factors with bounded degrees