arXiv subjects

Jie Han

Publications and source records attributed to Jie Han.

At least 109 records · Page 6Linked to original sources

arXiv2018

The number of Gallai k-colorings of complete graphs

An edge coloring of the $n$-vertex complete graph, $K_n$, is a Gallai coloring if it does not contain any rainbow triangle, that is, a triangle whose edges are colored with three distinct colors. We prove that for $n$ large and every $k$ with $k\le 2^{n/4300}$, the number of Gallai colorings of $K_n$ that use at most $k$ given colors is $(\binom{k}{2}+o_n(1))\,2^{\binom{n}{2}}$. Our result is asymptotically best possible and implies that, for those $k$, almost all Gallai $k$-colorings use only two colors. However, this is not true for $k \ge Ω(2^{2n})$.

math.CO↗

arXiv2018

The multicolour size-Ramsey number of powers of paths

Given a positive integer $s$, a graph $G$ is $s$-Ramsey for a graph $H$, denoted $G\rightarrow (H)_s$, if every $s$-colouring of the edges of $G$ contains a monochromatic copy of $H$. The $s$-colour size-Ramsey number ${\hat{r}}_s(H)$ of a graph $H$ is defined to be ${\hat{r}}_s(H)=\min\{|E(G)|\colon G\rightarrow (H)_s\}$. We prove that, for all positive integers $k$ and $s$, we have ${\hat{r}}_s(P_n^k)=O(n)$, where $P_n^k$ is the $k$th power of the $n$-vertex path $P_n$.

math.CO↗

arXiv2018

Near-perfect clique-factors in sparse pseudorandom graphs

We prove that, for any $t\ge 3$, there exists a constant $c=c(t)>0$ such that any $d$-regular $n$-vertex graph with the second largest eigenvalue in absolute value~$λ$ satisfying $λ\le c d^{t-1}/n^{t-2}$ contains vertex-disjoint copies of $K_t$ covering all but at most $n^{1-1/(8t^4)}$ vertices. This provides further support for the conjecture of Krivelevich, Sudakov and Szábo [\emph{Triangle factors in sparse pseudo-random graphs}, Combinatorica \textbf{24} (2004), pp.~403--426] that $(n,d,λ)$-graphs with $n\in 3\mathbb{N}$ and $λ\leq cd^{2}/n$ for a suitably small absolute constant~$c>0$ contain triangle-factors.

math.CO↗

arXiv2018

Powers of tight Hamilton cycles in randomly perturbed hypergraphs

For $k\ge 2$ and $r\ge 1$ such that $k+r\ge 4$, we prove that, for any $α>0$, there exists $ε>0$ such that the union of an $n$-vertex $k$-graph with minimum codegree $\left(1-\binom{k+r-2}{k-1}^{-1}+α\right)n$ and a binomial random $k$-graph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-\binom{k+r-2}{k-1}^{-1}-ε}$ on the same vertex set contains the $r^{\text{th}}$ power of a tight Hamilton cycle with high probability. This result for $r=1$ was first proved by McDowell and Mycroft.

math.CO↗

arXiv2018

Matchings in $k$-partite $k$-uniform Hypergraphs

For $k\ge 3$ and $ε>0$, let $H$ be a $k$-partite $k$-graph with parts $V_1,\dots, V_k$ each of size $n$, where $n$ is sufficiently large. Assume that for each $i\in [k]$, every $(k-1)$-set in $\prod_{j\in [k]\setminus \{i\}} V_i$ lies in at least $a_i$ edges, and $a_1\ge a_2\ge \cdots \ge a_k$. We show that if $a_1, a_2\ge εn$, then $H$ contains a matching of size $\min\{n-1, \sum_{i\in [k]}a_i\}$. In particular, $H$ contains a matching of size $n-1$ if each crossing $(k-1)$-set lies in at least $\lceil n/k \rceil$ edges, or each crossing $(k-1)$-set lies in at least $\lfloor n/k \rfloor$ edges and $n\equiv 1\bmod k$. This special case answers a question of Rödl and Ruciński and was independently obtained by Lu, Wang, and Yu. The proof of Lu, Wang, and Yu closely follows the approach of Han [Combin. Probab. Comput. 24 (2015), 723--732] by using the absorbing method and considering an extremal case. In contrast, our result is more general and its proof is thus more involved: it uses a more complex absorbing method and deals with two extremal cases.

math.CO↗

arXiv2018

On Perfect Matchings and tilings in uniform Hypergraphs

In this paper we study some variants of Dirac-type problems in hypergraphs. First, we show that for $k\ge 3$, if $H$ is a $k$-graph on $n\in k\mathbb N$ vertices with independence number at most $n/p$ and minimum codegree at least $(1/p+o(1))n$, where $p$ is the smallest prime factor of $k$, then $H$ contains a perfect matching. Second, we show that if $H$ is a $3$-graph on $n\in 3\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ (the unique $3$-graph with $4$ vertices and $3$ edges) and has minimum codegree at least $(1/3+o(1)))n$, then $H$ contains a perfect matching. Moreover, if we allow the matching to miss at most $3$ vertices, then the minimum degree condition can be reduced to $(1/6+o(1)))n$. Third, we show that if $H$ is a $3$-graph on $n\in 4\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ and has minimum codegree at least $(1/8+o(1)))n$, then $H$ contains a perfect $Y$-tiling, where $Y$ represents the unique $3$-graph with $4$ vertices and $2$ edges. We also provide the examples showing that our minimum codegree conditions are asymptotically best possible. Our main tool for finding the perfect matching is a characterization theorem that characterizes the $k$-graphs with minimum codegree at least $n/k$ which contain a perfect matching.

math.CO↗

arXiv2018

An Area and Energy Efficient Design of Domain-Wall Memory-Based Deep Convolutional Neural Networks using Stochastic Computing

With recent trend of wearable devices and Internet of Things (IoTs), it becomes attractive to develop hardware-based deep convolutional neural networks (DCNNs) for embedded applications, which require low power/energy consumptions and small hardware footprints. Recent works demonstrated that the Stochastic Computing (SC) technique can radically simplify the hardware implementation of arithmetic units and has the potential to satisfy the stringent power requirements in embedded devices. However, in these works, the memory design optimization is neglected for weight storage, which will inevitably result in large hardware cost. Moreover, if conventional volatile SRAM or DRAM cells are utilized for weight storage, the weights need to be re-initialized whenever the DCNN platform is re-started. In order to overcome these limitations, in this work we adopt an emerging non-volatile Domain-Wall Memory (DWM), which can achieve ultra-high density, to replace SRAM for weight storage in SC-based DCNNs. We propose DW-CNN, the first comprehensive design optimization framework of DWM-based weight storage method. We derive the optimal memory type, precision, and organization, as well as whether to store binary or stochastic numbers. We present effective resource sharing scheme for DWM-based weight storage in the convolutional and fully-connected layers of SC-based DCNNs to achieve a desirable balance among area, power (energy) consumption, and application-level accuracy.

cs.NE↗

arXiv2018

Two-regular subgraphs of odd-uniform hypergraphs

Let $k\ge 3$ be an odd integer and let $n$ be a sufficiently large integer. We prove that the maximum number of edges in an $n$-vertex $k$-uniform hypergraph containing no $2$-regular subgraphs is $\binom{n-1}{k-1} + \lfloor\frac{n-1}{k} \rfloor$, and the equality holds if and only if $H$ is a full $k$-star with center $v$ together with a maximal matching omitting $v$. This verifies a conjecture of Mubayi and Verstraëte.

math.CO↗

arXiv2017

Minimum vertex degree thresholds for tiling complete 3-partite 3-graphs

Given positive integers $a\leq b \leq c$, let $K_{a,b,c}$ be the complete 3-partite 3-uniform hypergraph with three parts of sizes $a,b,c$. Let $H$ be a 3-uniform hypergraph on $n$ vertices where $n$ is divisible by $a+b+c$. We asymptotically determine the minimum vertex degree of $H$ that guarantees a perfect $K_{a, b, c}$-tiling, that is, a spanning subgraph of $H$ consisting of vertex-disjoint copies of $K_{a, b, c}$. This partially answers a question of Mycroft, who proved an analogous result with respect to codegree for $r$-uniform hypergraphs for all $r\ge 3$. Our proof uses a lattice-based absorbing method, the concept of fractional tiling, and a recent result on shadows for 3-graphs.

math.CO↗

arXiv2017

On vertex-disjoint paths in regular graphs

Let $c\in (0, 1]$ be a real number and let $n$ be a sufficiently large integer. We prove that every $n$-vertex $c n$-regular graph $G$ contains a collection of $\lfloor 1/c \rfloor$ paths whose union covers all but at most $o(n)$ vertices of $G$. The constant $\lfloor 1/c \rfloor$ is best possible when $1/c\notin \mathbb{N}$ and off by $1$ otherwise. Moreover, if in addition $G$ is bipartite, then the number of paths can be reduced to $\lfloor 1/(2c) \rfloor$, which is best possible.

math.CO↗

arXiv2017

A degree version of the Hilton--Milner theorem

An intersecting family of sets is trivial if all of its members share a common element. Hilton and Milner proved a strong stability result for the celebrated Erdős--Ko--Rado theorem: when $n> 2k$, every non-trivial intersecting family of $k$-subsets of $[n]$ has at most $\binom{n-1}{k-1}-\binom{n-k-1}{k-1}+1$ members. One extremal family $\mathcal{HM}_{n, k}$ consists of a $k$-set $S$ and all $k$-subsets of $[n]$ containing a fixed element $x\not\in S$ and at least one element of $S$. We prove a degree version of the Hilton--Milner theorem: if $n=Ω(k^2)$ and $\mathcal{F}$ is a non-trivial intersecting family of $k$-subsets of $[n]$, then $δ(\mathcal{F})\le δ(\mathcal{HM}_{n.k})$, where $δ(\mathcal{F})$ denotes the minimum (vertex) degree of $\mathcal{F}$. Our proof uses several fundamental results in extremal set theory, the concept of kernels, and a new variant of the Erdős--Ko--Rado theorem.

math.CO↗

arXiv2017

On hypergraphs without loose cycles

Recently, Mubayi and Wang showed that for $r\ge 4$ and $\ell \ge 3$, the number of $n$-vertex $r$-graphs that do not contain any loose cycle of length $\ell$ is at most $2^{O( n^{r-1} (\log n)^{(r-3)/(r-2)})}$. We improve this bound to $2^{O( n^{r-1} \log \log n) }$.

math.CO↗

arXiv2016

Near Perfect Matchings in $k$-uniform Hypergraphs II

Suppose $k\nmid n$ and $H$ is an $n$-vertex $k$-uniform hypergraph. A near perfect matching in $H$ is a matching of size $\lfloor n/k\rfloor$. We give a divisibility barrier construction that prevents the existence of near perfect matchings in $H$. This generalizes the divisibility barrier for perfect matchings. We give a conjecture on the minimum $d$-degree threshold forcing a (near) perfect matching in $H$ which generalizes a well-known conjecture on perfect matchings. We also verify our conjecture in various cases. Our proof makes use of the lattice-based absorbing method that the author used recently to solve two other problems on matching and tilings for hypergraphs.

math.CO↗

arXiv2016

The complexity of perfect matchings and packings in dense hypergraphs

Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is often the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete. Indeed, if $k \geq 3$, the corresponding problem for perfect matchings is NP-complete whilst if $k=2$ the problem is NP-complete in the case when $F$ has a component consisting of at least $3$ vertices. In this paper we give a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give three applications of this tool: (i) Given $1\leq \ell \leq k-1$, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching; (ii) Given any graph $F$ we give a minimum degree condition for which it is polynomial time solvable to determine whether a graph satisfying this condition has a perfect $F$-packing; (iii) We also prove a similar result for perfect $K$-packings in $k$-graphs where $K$ is a $k$-partite $k$-graph. For a range of values of $\ell,k$ (i) resolves a conjecture of Keevash, Knox and Mycroft whilst (ii) answers a question of Yuster in the negative. In many cases our results are best possible in the sense that lowering the minimum degree condition means that the corresponding decision problem becomes NP-complete.

math.CO↗

arXiv2016

The maximum size of a non-trivial intersecting uniform family that is not a subfamily of the Hilton--Milner family

The celebrated Erdős-Ko-Rado theorem determines the maximum size of a $k$-uniform intersecting family. The Hilton-Milner theorem determines the maximum size of a $k$-uniform intersecting family that is not a subfamily of the so-called Erdős-Ko-Rado family. In turn, it is natural to ask what the maximum size of an intersecting $k$-uniform family that is neither a subfamily of the Erdős-Ko-Rado family nor of the Hilton-Milner family is. For $k\ge 4$, this was solved (implicitly) in the same paper by Hilton-Milner in 1967. We give a different and simpler proof, based on the shifting method, which allows us to solve all cases $k\ge 3$ and characterize all extremal families achieving the extremal value.

math.CO↗

arXiv2016

The i-V curve curve characteristics of burner-stabilized premixed flames: detailed and reduced models

The i-V curve describes the current drawn from a flame as a function of the voltage difference applied across the reaction zone. Since combustion diagnostics and flame control strategies based on electric fields depend on the amount of current drawn from flames, there is significant interest in modeling and understanding i-V curves. We implement and apply a detailed model for the simulation of the production and transport of ions and electrons in one dimensional premixed flames. An analytical reduced model is developed based on the detailed one, and analytical expressions are used to gain insight into the characteristics of the i-V curve for various flame configurations. In order for the reduced model to capture the spatial distribution of the electric field accurately, the concept of a dead zone region, where voltage is constant, is introduced, and a suitable closure for the spatial extent of the dead zone is proposed and validated. The results from the reduced modeling framework are found to be in good agreement with those from the detailed simulations. The saturation voltage is found to depend significantly on the flame location relative to the electrodes, and on the sign of the voltage difference applied. Furthermore, at sub-saturation conditions, the current is shown to increase linearly or quadratically with the applied voltage, depending on the flame location. These limiting behaviors exhibited by the reduced model elucidate the features of i-V curves observed experimentally. The reduced model relies on the existence of a thin layer where charges are produced, corresponding to the reaction zone of a flame. Consequently, the analytical model we propose is not limited to the study of premixed flames, and may be applied easily to others configurations, e.g. nonpremixed counterflow flames.

physics.chem-ph↗

arXiv2016

Decision problem for Perfect Matchings in Dense k-uniform Hypergraphs

For any $γ>0$, Keevash, Knox and Mycroft constructed a polynomial-time algorithm to determine the existence of perfect matchings in any $n$-vertex $k$-uniform hypergraph whose minimum codegree is at least $n/k+γn$. We prove a structure theorem that enables us to determine the existence of a perfect matching for any $k$-uniform hypergraph with minimum codegree at least $n/k$. This solves a problem of Karpiński, Ruciński and Szymańska completely. Our proof uses a lattice-based absorbing method.

math.CO↗

arXiv2016

Perfect Matchings in Hypergraphs and the Erdős matching conjecture

We prove a new upper bound for the minimum $d$-degree threshold for perfect matchings in $k$-uniform hypergraphs when $d<k/2$. As a consequence, this determines exact values of the threshold when $0.42k \le d < k/2$ or when $(k,d)=(12,5)$ or $(17,7)$. Our approach is to give an upper bound on the Erdős Matching Conjecture and convert the result to the minimum $d$-degree setting by an approach of Kühn, Osthus and Townsend. To obtain exact thresholds, we also apply a result of Treglown and Zhao.

math.CO↗