Showing 1–39 of 39 results for author: Lei, H

On the $k$-anti-traceability Conjecture

Authors: Bin Chen, Stefanie Gerke, Gregory Gutin, Hui Lei, Heis Parker-Cox, Yacong Zhou

Abstract: An oriented graph is called $k$-anti-traceable if the subdigraph induced by every subset with $k$ vertices has a hamiltonian anti-directed path. In this paper, we consider an anti-traceability conjecture. In particular, we confirm this conjecture holds when $k\leq 4$. We also show that every sufficiently large $k$-anti-traceable oriented graph admits an anti-path that contains $n-o(n)$ vertices. An oriented graph is called $k$-anti-traceable if the subdigraph induced by every subset with $k$ vertices has a hamiltonian anti-directed path. In this paper, we consider an anti-traceability conjecture. In particular, we confirm this conjecture holds when $k\leq 4$. We also show that every sufficiently large $k$-anti-traceable oriented graph admits an anti-path that contains $n-o(n)$ vertices. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Comments: 15 pages, 1 figure

Graph operations and a unified method for kinds of Turán-type problems on paths, cycles and matchings

Authors: Jiangdong Ai, Hui Lei, Bo Ning, Yongtang Shi

Abstract: Let $G$ be a connected graph and $\mathcal{P}(G)$ a graph parameter. We say that $\mathcal{P}(G)$ is feasible if $\mathcal{P}(G)$ satisfies the following properties: (I) $\mathcal{P}(G)\leq \mathcal{P}(G_{uv})$, if $G_{uv}=G[u\to v]$ for any $u,v$, where $G_{uv}$ is the graph obtained by applying Kelmans operation from $u$ to $v$; (II) $\mathcal{P}(G) <\mathcal{P}(G+e)$ for any edge… ▽ More Let $G$ be a connected graph and $\mathcal{P}(G)$ a graph parameter. We say that $\mathcal{P}(G)$ is feasible if $\mathcal{P}(G)$ satisfies the following properties: (I) $\mathcal{P}(G)\leq \mathcal{P}(G_{uv})$, if $G_{uv}=G[u\to v]$ for any $u,v$, where $G_{uv}$ is the graph obtained by applying Kelmans operation from $u$ to $v$; (II) $\mathcal{P}(G) <\mathcal{P}(G+e)$ for any edge $e\notin E(G)$. Let $P_k$ be a path of order $k$, $\mathcal{C}_{\geq k}$ the set of all cycles of length at least $k$ and $M_{k+1}$ a matching containing $k+1$ independent edges. In this paper, we mainly prove the following three results: (i) Let $n\geq k\geq 5$ and let $t=\left\lfloor\frac{k-1}{2}\right\rfloor$. Let $G$ be a $2$-connected $n$-vertex $\mathcal{C}_{\geq k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^1_{n,k}=\{W_{n,k,s}=K_{s}\vee ((n-k+s)K_1\cup K_{k-2s}): 2\leq s\leq t\}$. (ii) Let $n\geq k\geq 4$ and let $t=\left\lfloor\frac{k}{2}\right\rfloor-1$. Let $G$ be a connected $n$-vertex $P_{k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^2_{n,k}=\{W_{n,k-1,s}=K_{s}\vee ((n-k+s+1)K_1\cup K_{k-2s-1}): 1\leq s\leq t\}.$ (iii) Let $G$ be a connected $n$-vertex $M_{k+1}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\cong K_n$ when $n=2k+1$ and $G\in \mathcal{G}^3_{n,k}=\{K_s\vee ((n-2k+s-1)K_1\cup K_{2k-2s+1}):1\leq s\leq k\}$ when $n\geq 2k+2$. Directly derived from these three main results, we obtain a series of applications in Turán-type problems, generalized Turán-type problems, powers of graph degrees in extremal graph theory, and problems related to spectral radius, and signless Laplacian spectral radius in spectral graph theory. △ Less

Submitted 29 January, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: V2

Consensus-based construction of high-dimensional free energy surface

Authors: Liyao Lyu, Huan Lei

Abstract: One essential problem in quantifying the collective behaviors of molecular systems lies in the accurate construction of free energy surfaces (FESs). The main challenges arise from the prevalence of energy barriers and the high dimensionality. Existing approaches are often based on sophisticated enhanced sampling methods to establish efficient exploration of the full-phase space. On the other hand,… ▽ More One essential problem in quantifying the collective behaviors of molecular systems lies in the accurate construction of free energy surfaces (FESs). The main challenges arise from the prevalence of energy barriers and the high dimensionality. Existing approaches are often based on sophisticated enhanced sampling methods to establish efficient exploration of the full-phase space. On the other hand, the collection of optimal sample points for the numerical approximation of FESs remains largely under-explored, where the discretization error could become dominant for systems with a large number of collective variables (CVs). We propose a consensus sampling-based approach by reformulating the construction as a minimax problem which simultaneously optimizes the function representation and the training set. In particular, the maximization step establishes a stochastic interacting particle system to achieve the adaptive sampling of the max-residue regime by modulating the exploitation of the Laplace approximation of the current loss function and the exploration of the uncharted phase space; the minimization step updates the FES approximation with the new training set. By iteratively solving the minimax problem, the present method essentially achieves an adversarial learning of the FESs with unified tasks for both phase space exploration and posterior error-enhanced sampling. We demonstrate the method by constructing the FESs of molecular systems with a number of CVs up to 30. △ Less

Submitted 22 June, 2024; v1 submitted 8 November, 2023; originally announced November 2023.

Cognitive Level-$k$ Meta-Learning for Safe and Pedestrian-Aware Autonomous Driving

Authors: Haozhe Lei, Quanyan Zhu

Abstract: The potential market for modern self-driving cars is enormous, as they are develo** remarkably rapidly. At the same time, however, accidents of pedestrian fatalities caused by autonomous driving have been recorded in the case of street crossing. To ensure traffic safety in self-driving environments and respond to vehicle-human interaction challenges such as jaywalking, we propose Level-$k$ Meta… ▽ More The potential market for modern self-driving cars is enormous, as they are develo** remarkably rapidly. At the same time, however, accidents of pedestrian fatalities caused by autonomous driving have been recorded in the case of street crossing. To ensure traffic safety in self-driving environments and respond to vehicle-human interaction challenges such as jaywalking, we propose Level-$k$ Meta Reinforcement Learning (LK-MRL) algorithm. It takes into account the cognitive hierarchy of pedestrian responses and enables self-driving vehicles to adapt to various human behaviors. %which takes into account pedestrian responses while learning the optimal strategies. As a self-driving vehicle algorithm, the LK-MRL combines level-$k$ thinking into MAML to prepare for heterogeneous pedestrians and improve intersection safety based on the combination of meta-reinforcement learning and human cognitive hierarchy framework. We evaluate the algorithm in two cognitive confrontation hierarchy scenarios in an urban traffic simulator and illustrate its role in ensuring road safety by demonstrating its capability of conjectural and higher-level reasoning. △ Less

Submitted 1 February, 2023; v1 submitted 17 December, 2022; originally announced December 2022.

Some Mader-perfect graph classes

Authors: Hui Lei, Siyan Li, Xiaopan Lian, Susu Wang

Abstract: The dichromatic number of $D$, denoted by $\overrightarrowχ(D)$, is the smallest integer $k$ such that $D$ admits an acyclic $k$-coloring. We use $mader_{\overrightarrowχ}(F)$ to denote the smallest integer $k$ such that if $\overrightarrowχ(D)\ge k$, then $D$ contains a subdivision of $F$. A digraph $F$ is called Mader-perfect if for every subdigraph $F'$ of $F$,… ▽ More The dichromatic number of $D$, denoted by $\overrightarrowχ(D)$, is the smallest integer $k$ such that $D$ admits an acyclic $k$-coloring. We use $mader_{\overrightarrowχ}(F)$ to denote the smallest integer $k$ such that if $\overrightarrowχ(D)\ge k$, then $D$ contains a subdivision of $F$. A digraph $F$ is called Mader-perfect if for every subdigraph $F'$ of $F$, ${\rm mader }_{\overrightarrowχ}(F')=|V(F')|$. We extend octi digraphs to a larger class of digraphs and prove that it is Mader-perfect, which generalizes a result of Gishboliner, Steiner and Szabó [Dichromatic number and forced subdivisions, {\it J. Comb. Theory, Ser. B} {\bf 153} (2022) 1--30]. We also show that if $K$ is a proper subdigraph of $\overleftrightarrow{C_4}$ except for the digraph obtained from $\overleftrightarrow{C_4}$ by deleting an arbitrary arc, then $K$ is Mader-perfect. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Comments: 12 pages, 2 figures

Weak-odd chromatic index of special digraph classes

Authors: Ruijuan Gu, Hui Lei, Xiaopan Lian, Zhenyu Taoqiu

Abstract: Give a digraph $D=(V(D),A(D))$, let $\partial^+_D(v)=\{vw|w\in N^+_D(v)\}$ and $\partial^-_D(v)=\{uv|u\in N^-_D(v)\}$ be semi-cuts of $v$. A map** $\varphi:A(D)\rightarrow [k]$ is called a weak-odd $k$-edge coloring of $D$ if it satisfies the condition: for each $v\in V(D)$, there is at least one color with an odd number of occurrences on each non-empty semi-cut of $v$. We call the minimum integ… ▽ More Give a digraph $D=(V(D),A(D))$, let $\partial^+_D(v)=\{vw|w\in N^+_D(v)\}$ and $\partial^-_D(v)=\{uv|u\in N^-_D(v)\}$ be semi-cuts of $v$. A map** $\varphi:A(D)\rightarrow [k]$ is called a weak-odd $k$-edge coloring of $D$ if it satisfies the condition: for each $v\in V(D)$, there is at least one color with an odd number of occurrences on each non-empty semi-cut of $v$. We call the minimum integer $k$ the weak-odd chromatic index of $D$. When limit to 2 colors, use $def(D)$ to denote the defect of $D$, the minimum number of vertices in $D$ at which the above condition is not satisfied. In this paper, we give a descriptive characterization about the weak-odd chromatic index and the defect of semicomplete digraphs and extended tournaments, which generalize results of tournaments to broader classes. And we initiated the study of weak-odd edge covering on digraphs. △ Less

Submitted 16 February, 2022; originally announced February 2022.

Comments: 14 pages, 1 figures

On critical graphs for the chromatic edge-stability number

Authors: Hui Lei, Xiaopan Lian, Xianhao Meng, Yongtang Shi, Yiqiao Wang

Abstract: The {\em chromatic edge-stability number} $es_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph with the chromatic number smaller than that of $G$. A graph $G$ is called {\em $(3,2)$-critical} if $χ(G)=3$, $es_χ(G)=2$ and for any edge $e\in E(G)$, $es_χ(G-e)<es_χ(G)$. In this paper, we characterize $(3,2)$-critical graphs which contain at least five o… ▽ More The {\em chromatic edge-stability number} $es_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph with the chromatic number smaller than that of $G$. A graph $G$ is called {\em $(3,2)$-critical} if $χ(G)=3$, $es_χ(G)=2$ and for any edge $e\in E(G)$, $es_χ(G-e)<es_χ(G)$. In this paper, we characterize $(3,2)$-critical graphs which contain at least five odd cycles. This answers a question proposed by Brešar, Klavžar and Movarraei in [Critical graphs for the chromatic edge-stability number, {\it Discrete Math.} {\bf 343}(2020) 111845]. △ Less

Submitted 26 December, 2021; originally announced December 2021.

Comments: 12 pages, 2 figures

MSC Class: 05C15

A characterization of 4-$χ_S$-vertex-critical graphs for packing sequences with $s_1 =1$ and $s_2\ge 3$

Authors: Sandi Klavžar, Hui Lei, Xiaopan Lian, Yongtang Shi

Abstract: If $S=(s_1,s_2,\ldots)$ is a non-decreasing sequence of positive integers, then the $S$-packing $k$-coloring of a graph $G$ is a map** $c: V(G)\rightarrow[k]$ such that if $c(u)=c(v)=i$ for $u\neq v\in V(G)$, then $d_G(u,v)>s_i$. The $S$-packing chromatic number of $G$ is the smallest integer $k$ such that $G$ admits an $S$-packing $k$-coloring. A graph $G$ is $χ_S$-vertex-critical if… ▽ More If $S=(s_1,s_2,\ldots)$ is a non-decreasing sequence of positive integers, then the $S$-packing $k$-coloring of a graph $G$ is a map** $c: V(G)\rightarrow[k]$ such that if $c(u)=c(v)=i$ for $u\neq v\in V(G)$, then $d_G(u,v)>s_i$. The $S$-packing chromatic number of $G$ is the smallest integer $k$ such that $G$ admits an $S$-packing $k$-coloring. A graph $G$ is $χ_S$-vertex-critical if $χ_S(G-u) < χ_S(G)$ for each $u\in V(G)$. If $G$ is $χ_S$-vertex-critical and $χ_S(G) = k$, then $G$ is $k$-$χ_S$-vertex-critical. In this paper, $4$-$χ_S$-vertex-critical graphs are characterized for sequences $S = (1,s_2, s_3, \ldots)$ with $s_2 \ge 3$. There are $28$ sporadic examples and two infinite families of such graphs. △ Less

Submitted 13 May, 2023; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: 19 pages, 2 figures

Packing entropy for fixed-point free flows

Authors: Ruiming Liang, Haoyi Lei

Abstract: Let $(X,φ)$ be a compact flow without fixed points. We define the packing topological entropy $h_{\mathrm{top}}^P(φ,K)$ on subsets of $X$ through considering all the possible reparametrizations of time. For fixed-point free flows, we prove the following result: for any non-empty compact subset $K$ of $X$,… ▽ More Let $(X,φ)$ be a compact flow without fixed points. We define the packing topological entropy $h_{\mathrm{top}}^P(φ,K)$ on subsets of $X$ through considering all the possible reparametrizations of time. For fixed-point free flows, we prove the following result: for any non-empty compact subset $K$ of $X$, $$h_{\mathrm{top}}^P(φ,K)=\sup\{\overline{h}_μ(φ):μ(K)=1,μ\text{ is a Borel probability measure on} X\},$$ where $\overline{h}_μ(φ)$ denotes the upper local entropy for a Borel probability measure $μ$ on $X$. △ Less

Submitted 20 February, 2021; originally announced February 2021.

Effective Mori-Zwanzig equation for the reduced-order modeling of stochastic systems

Authors: Yuanran Zhu, Huan Lei

Abstract: Built upon the hypoelliptic analysis of the effective Mori-Zwanzig (EMZ) equation for observables of stochastic dynamical systems, we show that the obtained semigroup estimates for the EMZ equation can be used to drive prior estimates of the observable statistics for system in the equilibrium and non-equilibrium state. In addition, we introduce both first-principle and data-driven methods to appro… ▽ More Built upon the hypoelliptic analysis of the effective Mori-Zwanzig (EMZ) equation for observables of stochastic dynamical systems, we show that the obtained semigroup estimates for the EMZ equation can be used to drive prior estimates of the observable statistics for system in the equilibrium and non-equilibrium state. In addition, we introduce both first-principle and data-driven methods to approximate the EMZ memory kernel, and prove the convergence of the data-driven parametrization schemes using the regularity estimate of the memory kernel. The analysis results are validated numerically via the Monte-Carlo simulation of the Langevin dynamics for a Fermi-Pasta-Ulam chain model. With the same example, we also show the effectiveness of the proposed memory kernel approximation methods. △ Less

Submitted 17 June, 2021; v1 submitted 2 February, 2021; originally announced February 2021.

A survey on star edge-coloring of graphs

Authors: Hui Lei, Yongtang Shi

Abstract: The star chromatic index of a multigraph $G$, denoted $χ'_{st}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bicolored. We survey the results of determining the star chromatic index, present the interesting proofs and techniques, and collect many open problems and conjectures. The star chromatic index of a multigraph $G$, denoted $χ'_{st}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bicolored. We survey the results of determining the star chromatic index, present the interesting proofs and techniques, and collect many open problems and conjectures. △ Less

Submitted 16 September, 2020; originally announced September 2020.

Comments: 24 pqges, 2 figures

MSC Class: 05C15 ACM Class: G.2.2

Some extremal results on the chromatic-stability index

Authors: Shenwei Huang, Sandi Klavžar, Hui Lei, Xiaopan Lian, Yongtang Shi

Abstract: The $χ$-stability index ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of its edges whose removal results in a graph with the chromatic number smaller than that of $G$. In this paper three open problems from [European J.\ Combin.\ 84 (2020) 103042] are considered. Examples are constructed which demonstrate that a known characterization of $k$-regular ($k\le 5$) graphs $G$ with… ▽ More The $χ$-stability index ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of its edges whose removal results in a graph with the chromatic number smaller than that of $G$. In this paper three open problems from [European J.\ Combin.\ 84 (2020) 103042] are considered. Examples are constructed which demonstrate that a known characterization of $k$-regular ($k\le 5$) graphs $G$ with ${\rm es}_χ(G) = 1$ does not extend to $k\ge 6$. Graphs $G$ with $χ(G)=3$ for which ${\rm es}_χ(G)+{\rm es}_χ(\overline{G}) = 2$ holds are characterized. Necessary conditions on graphs $G$ which attain a known upper bound on ${\rm es}_χ(G)$ in terms of the order and the chromatic number of $G$ are derived. The conditions are proved to be sufficient when $n\equiv 2 \pmod 3$ and $χ(G)=3$. △ Less

Submitted 30 July, 2020; originally announced July 2020.

Machine learning based non-Newtonian fluid model with molecular fidelity

Authors: Huan Lei, Lei Wu, Weinan E

Abstract: We introduce a machine-learning-based framework for constructing continuum non-Newtonian fluid dynamics model directly from a micro-scale description. Dumbbell polymer solutions are used as examples to demonstrate the essential ideas. To faithfully retain molecular fidelity, we establish a micro-macro correspondence via a set of encoders for the micro-scale polymer configurations and their macro-s… ▽ More We introduce a machine-learning-based framework for constructing continuum non-Newtonian fluid dynamics model directly from a micro-scale description. Dumbbell polymer solutions are used as examples to demonstrate the essential ideas. To faithfully retain molecular fidelity, we establish a micro-macro correspondence via a set of encoders for the micro-scale polymer configurations and their macro-scale counterparts, a set of nonlinear conformation tensors. The dynamics of these conformation tensors can be derived from the micro-scale model and the relevant terms can be parametrized using machine learning. The final model named the deep non-Newtonian model (DeePN$^2$), takes the form of conventional non-Newtonian fluid dynamics models, with a new form of the objective tensor derivative. Both the formulation of the dynamic equation and the neural network representation rigorously preserve the rotational invariance, which ensures the admissibility of the constructed model. Numerical results demonstrate the accuracy of DeePN$^2$, where models based on empirical closures show limitations. △ Less

Submitted 23 October, 2020; v1 submitted 7 March, 2020; originally announced March 2020.

Journal ref: Phys. Rev. E 102, 043309 (2020)

The saturation number of $K_{3,3}$

Authors: Shenwei Huang, Hui Lei, Yongtang Shi, Junxue Zhang

Abstract: A graph $G$ is called $F$-saturated if $G$ does not contain $F$ as a subgraph (not necessarily induced) but the addition of any missing edge to $G$ creates a copy of $F$. The saturation number of $F$, denoted by $sat(n,F)$, is the minimum number of edges in an $n$-vertex $F$-saturated graph. Determining the saturation number of complete partite graphs is one of the most important problems in the s… ▽ More A graph $G$ is called $F$-saturated if $G$ does not contain $F$ as a subgraph (not necessarily induced) but the addition of any missing edge to $G$ creates a copy of $F$. The saturation number of $F$, denoted by $sat(n,F)$, is the minimum number of edges in an $n$-vertex $F$-saturated graph. Determining the saturation number of complete partite graphs is one of the most important problems in the study of saturation number. The value of $sat(n,K_{2,2})$ was shown to be $\lfloor\frac{3n-5}{2}\rfloor$ by Ollmann, and a shorter proof was later given by Tuza. For $K_{2,3}$, there has been a series of study aiming to determine $sat(n,K_{2,3})$ over the years. This was finally achieved by Chen who confirmed a conjecture of Bohman, Fonoberova, and Pikhurko that $sat(n, K_{2,3})= 2n-3$ for all $n\geq 5$. In this paper, we prove a conjecture of Pikhurko and Schmitt that $sat(n, K_{3,3})=3n-9$ when $n \geq 9$. △ Less

Submitted 15 November, 2022; v1 submitted 11 October, 2019; originally announced October 2019.

Improving solution accuracy and convergence for stochastic physics parameterizations with colored noise

Authors: Panos Stinis, Huan Lei, **g Li, Hui Wan

Abstract: Stochastic parameterizations are used in numerical weather prediction and climate modeling to help capture the uncertainty in the simulations and improve their statistical properties. Convergence issues can arise when time integration methods originally developed for deterministic differential equations are applied naively to stochastic problems. (Hodyss et al 2013, 2014) demonstrated that a corre… ▽ More Stochastic parameterizations are used in numerical weather prediction and climate modeling to help capture the uncertainty in the simulations and improve their statistical properties. Convergence issues can arise when time integration methods originally developed for deterministic differential equations are applied naively to stochastic problems. (Hodyss et al 2013, 2014) demonstrated that a correction term to various deterministic numerical schemes, known in stochastic analysis as the Itô correction, can help improve solution accuracy and ensure convergence to the physically relevant solution without substantial computational overhead. The usual formulation of the Itô correction is valid only when the stochasticity is represented by {\it white} noise. In this study, a generalized formulation of the Itô correction is derived for noises of any color. The formulation is applied to a test problem described by an advection-diffusion equation forced with a spectrum of fast processes. We present numerical results for cases with both constant and spatially varying advection velocities to show that, for the same time step sizes, the introduction of the generalized Itô correction helps to substantially reduce time integration error and significantly improve the convergence rate of the numerical solutions when the forcing term in the governing equation is rough (fast varying); alternatively, for the same target accuracy, the generalized Itô correction allows for the use of significantly longer time steps and hence helps to reduce the computational cost of the numerical simulation. △ Less

Submitted 17 October, 2019; v1 submitted 17 April, 2019; originally announced April 2019.

Comments: 18 pages, 2 figures; v2 includes section rearrangement and added details for the numerical implementation; v3 includes addition of sections, references and one figure

Report number: PNNL-SA-142475 MSC Class: 65C30; 86A10

Gallai-Ramsey numbers of $C_{10}$ and $C_{12}$

Authors: Hui Lei, Yongtang Shi, Zi-Xia Song, **gmei Zhang

Abstract: A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and graphs $H_1, \ldots, H_k$, the Gallai-Ramsey number $GR(H_1, \ldots, H_k)$ is the least integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H_i$ in colo… ▽ More A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and graphs $H_1, \ldots, H_k$, the Gallai-Ramsey number $GR(H_1, \ldots, H_k)$ is the least integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H_i$ in color $i$ for some $i \in \{1, \ldots, k\}$. When $H = H_1 = \cdots = H_k$, we simply write $GR_k(H)$. We continue to study Gallai-Ramsey numbers of even cycles and paths. For all $n\ge3$ and $k\ge1$, let $G_i=P_{2i+3}$ be a path on $2i+3$ vertices for all $i\in\{0,1, \ldots, n-2\}$ and $G_{n-1}\in\{C_{2n}, P_{2n+1}\}$. Let $ i_j\in\{0,1,\ldots, n-1\}$ for all $j\in\{1, \ldots, k\}$ with $ i_1\ge i_2\ge\cdots\ge i_k $. Song recently conjectured that $GR(G_{i_1}, \ldots, G_{i_k}) = 3+\min\{i_1, n^*-2\}+\sum_{j=1}^k i_j$, where $n^* =n$ when $G_{i_1}\ne P_{2n+1}$ and $n^* =n+1$ when $G_{i_1}= P_{2n+1}$. This conjecture has been verified to be true for $n\in\{3,4\}$ and all $k\ge1$. In this paper, we prove that the aforementioned conjecture holds for $n \in\{5, 6\}$ and all $k \ge1$. Our result implies that for all $k \ge 1$, $GR_k(C_{2n}) = GR_k(P_{2n}) = (n-1)k+n+1$ for $n\in\{5,6\}$ and $GR_k(P_{2n+1})= (n-1)k+n+2$ for $1\le n \le6 $. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: arXiv admin note: text overlap with arXiv:1803.07963

On Hypergraph Lagrangians and Frankl-Füredi's Conjecture

Authors: Hui Lei, Linyuan Lu

Abstract: Frankl and Füredi conjectured in 1989 that the maximum Lagrangian, denoted by $λ_r(m)$, among all $r$-uniform hypergraphs of fixed size $m$ is achieved by the minimum hypergraph $C_{r,m}$ under the colexicographic order. We say $m$ in {\em principal domain} if there exists an integer $t$ such that ${t-1\choose r}\leq m\leq {t\choose r}-{t-2\choose r-2}$. If $m$ is in the principal domain, then Fra… ▽ More Frankl and Füredi conjectured in 1989 that the maximum Lagrangian, denoted by $λ_r(m)$, among all $r$-uniform hypergraphs of fixed size $m$ is achieved by the minimum hypergraph $C_{r,m}$ under the colexicographic order. We say $m$ in {\em principal domain} if there exists an integer $t$ such that ${t-1\choose r}\leq m\leq {t\choose r}-{t-2\choose r-2}$. If $m$ is in the principal domain, then Frankl-Füredi's conjecture has a very simple expression: $$λ_r(m)=\frac{1}{(t-1)^r}{t-1\choose r}.$$ Many previous results are focusing on $r=3$. For $r\geq 4$, Tyomkyn in 2017 proved that Frankl-Füredi's conjecture holds whenever ${t-1\choose r} \leq m \leq {t\choose r} -{t-2\choose r-2}- δ_rt^{r-2}$ for a constant $δ_r>0$. In this paper, we improve Tyomkyn's result by showing Frankl-Füredi's conjecture holds whenever ${t-1\choose r} \leq m \leq {t\choose r} -{t-2\choose r-2}- δ_r't^{r-\frac{7}{3}}$ for a constant $δ_r'>0$. △ Less

Submitted 28 June, 2018; originally announced June 2018.

Comments: 16 pages

MSC Class: 05C65; 05D05

On Lagrangians of $3$-uniform hypergraphs

Authors: Hui Lei, Linyuan Lu, Yuejian Peng

Abstract: Frankl and Füredi conjectured in 1989 that the maximum Lagrangian of all $r$-uniform hypergraphs of fixed size $m$ is realized by the minimum hypergraph $C_{r,m}$ under the colexicographic order. In this paper, we prove a weaker version of the Frankl and Füredi's conjecture at $r=3$: there exists an absolute constant $c>0$ such that for any $3$-uniform hypergraph $H$ with $m$ edges, the Lagrangian… ▽ More Frankl and Füredi conjectured in 1989 that the maximum Lagrangian of all $r$-uniform hypergraphs of fixed size $m$ is realized by the minimum hypergraph $C_{r,m}$ under the colexicographic order. In this paper, we prove a weaker version of the Frankl and Füredi's conjecture at $r=3$: there exists an absolute constant $c>0$ such that for any $3$-uniform hypergraph $H$ with $m$ edges, the Lagrangian of $H$ satisfies $λ(H)\leq λ(C_{3,m+cm^{2/9}})$. In particular, this result implies that the Frankl and Füredi's conjecture holds for $r=3$ and $m\in [{t-1\choose 3}, {t\choose 3}-(t-2)-ct^{\frac{2}{3}}]$. It improves a recent result of Tyomkyn. △ Less

Submitted 28 June, 2018; originally announced June 2018.

Comments: 9 page, 1 figure

MSC Class: 05C65; 05D05

A data-driven framework for sparsity-enhanced surrogates with arbitrary mutually dependent randomness

Authors: Huan Lei, **g Li, Peiyuan Gao, Panos Stinis, Nathan Baker

Abstract: The challenge of quantifying uncertainty propagation in real-world systems is rooted in the high-dimensionality of the stochastic input and the frequent lack of explicit knowledge of its probability distribution. Traditional approaches show limitations for such problems. To address these difficulties, we have developed a general framework of constructing surrogate models on spaces of stochastic in… ▽ More The challenge of quantifying uncertainty propagation in real-world systems is rooted in the high-dimensionality of the stochastic input and the frequent lack of explicit knowledge of its probability distribution. Traditional approaches show limitations for such problems. To address these difficulties, we have developed a general framework of constructing surrogate models on spaces of stochastic input with arbitrary probability measure irrespective of the mutual dependencies between individual components and the analytical form. The present Data-driven Sparsity-enhancing Rotation for Arbitrary Randomness (DSRAR) framework includes a data-driven construction of multivariate polynomial basis for arbitrary mutually dependent probability measure and a sparsity enhancement rotation procedure. This sparsity-enhancing rotation method was initially proposed in our previous work [1] for Gaussian distributions, which may not be feasible for non-Gaussian distributions due to the loss of orthogonality after the rotation. To remedy such difficulties, we developed the new approach to construct orthonormal polynomials for arbitrary mutually dependent (amdP) randomness, ensuring the constructed basis maintains the orthogonality with respect to the density of the rotated random vector, where directly applying the regular polynomial chaos including arbitrary polynomial chaos (aPC) [2] shows limitations due to the assumption of the mutual independence between the components of the random inputs. The developed DSRAR framework leads to accurate recovery of a sparse representation of the target functions. The effectiveness of our method is demonstrated in challenging problems such as PDEs and realistic molecular systems where the underlying density is implicitly represented by a large collection of sample data, as well as systems with explicitly given non-Gaussian probabilistic measures. △ Less

Submitted 17 March, 2019; v1 submitted 20 April, 2018; originally announced April 2018.

k-Ary spanning trees contained in tournaments

Authors: Jiangdong Ai, Hui Lei, Yongtang Shi, Shunyu Yao, Zan-bo Zhang

Abstract: A rooted tree is called a $k$-ary tree, if all non-leaf vertices have exactly $k$ children, except possibly one non-leaf vertex has at most $k-1$ children. Denote by $h(k)$ the minimum integer such that every tournament of order at least $h(k)$ contains a $k$-ary spanning tree. It is well-known that every tournament contains a Hamiltonian path, which implies that $h(1)=1$. Lu et al. [J. Graph Theo… ▽ More A rooted tree is called a $k$-ary tree, if all non-leaf vertices have exactly $k$ children, except possibly one non-leaf vertex has at most $k-1$ children. Denote by $h(k)$ the minimum integer such that every tournament of order at least $h(k)$ contains a $k$-ary spanning tree. It is well-known that every tournament contains a Hamiltonian path, which implies that $h(1)=1$. Lu et al. [J. Graph Theory {\bf 30}(1999) 167--176] proved the existence of $h(k)$, and showed that $h(2)=4$ and $h(3)=8$. The exact values of $h(k)$ remain unknown for $k\geq 4$. A result of Erdős on the domination number of tournaments implies $h(k)=Ω(k\log k)$. In this paper, we prove that $h(4)=10$ and $h(5)\geq13$. △ Less

Submitted 23 April, 2020; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: 11 pages, to appear in Discrete Applied Mathematics

Phase Transition of Convex Programs for Linear Inverse Problems with Multiple Prior Constraints

Authors: Huan Zhang, Yulong Liu, Hong Lei

Abstract: A sharp phase transition emerges in convex programs when solving the linear inverse problem, which aims to recover a structured signal from its linear measurements. This paper studies this phenomenon in theory under Gaussian random measurements. Different from previous studies, in this paper, we consider convex programs with multiple prior constraints. These programs are encountered in many cases,… ▽ More A sharp phase transition emerges in convex programs when solving the linear inverse problem, which aims to recover a structured signal from its linear measurements. This paper studies this phenomenon in theory under Gaussian random measurements. Different from previous studies, in this paper, we consider convex programs with multiple prior constraints. These programs are encountered in many cases, for example, when the signal is sparse and its $\ell_2$ norm is known beforehand, or when the signal is sparse and non-negative simultaneously. Given such a convex program, to analyze its phase transition, we introduce a new set and a new cone, called the prior restricted set and prior restricted cone, respectively. Our results reveal that the phase transition of a convex problem occurs at the statistical dimension of its prior restricted cone. Moreover, to apply our theoretical results in practice, we present two recipes to accurately estimate the statistical dimension of the prior restricted cone. These two recipes work under different conditions, and we give a detailed analysis for them. To further illustrate our results, we apply our theoretical results and the estimation recipes to study the phase transition of two specific problems, and obtain computable formulas for the statistical dimension and related error bounds. Simulations are provided to demonstrate our results. △ Less

Submitted 3 January, 2018; originally announced January 2018.

Extremal problems on saturation for the family of $k$-edge-connected graphs

Authors: Hui Lei, Suil O, Yongtang Shi, Douglas B. West, Xuding Zhu

Abstract: Let $\mathcal{F}$ be a family of graphs. A graph $G$ is $\mathcal{F}$-saturated if $G$ contains no member of $\mathcal{F}$ as a subgraph but $G+e$ contains some member of $\mathcal{F}$ whenever $e\in E(\overline{G})$. The saturation number and extremal number of $\mathcal{F}$, denoted $sat(n,\mathcal{F})$ and $ex(n,\mathcal{F})$ respectively, are the minimum and maximum numbers of edges among $n$-… ▽ More Let $\mathcal{F}$ be a family of graphs. A graph $G$ is $\mathcal{F}$-saturated if $G$ contains no member of $\mathcal{F}$ as a subgraph but $G+e$ contains some member of $\mathcal{F}$ whenever $e\in E(\overline{G})$. The saturation number and extremal number of $\mathcal{F}$, denoted $sat(n,\mathcal{F})$ and $ex(n,\mathcal{F})$ respectively, are the minimum and maximum numbers of edges among $n$-vertex $\mathcal{F}$-saturated graphs. For $k\in\mathbb{N}$, let $\mathcal{F}_k$ and $\mathcal{F}'_k$ be the families of $k$-connected and $k$-edge-connected graphs, respectively. Wenger proved $sat(n,\mathcal{F}_k)=(k-1)n-{k\choose2}$, we prove $sat(n,\mathcal{F}'_k)=(k-1)(n-1)-\lfloor{\frac {n}{k+1}}\rfloor{k-1 \choose 2}$. We also prove $ex(n,\mathcal{F}'_k)=(k-1)n-{k\choose2}$ and characterize when equality holds. Finally, we give a lower bound on the spectral radius for $\mathcal{F}_k$-saturated and $\mathcal{F}'_k$-saturated graphs. △ Less

Submitted 3 March, 2018; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: 9 pages, we welcome any comments and suggestions

MSC Class: 05C15

Star 5-edge-colorings of subcubic multigraphs

Authors: Hui Lei, Yongtang Shi, Zi-Xia Song, Tao Wang

Abstract: The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge… ▽ More The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge-colorable, and conjectured that every subcubic multigraph should be star $6$-edge-colorable. Kerdjoudj, Kostochka and Raspaud considered the list version of this problem for simple graphs and proved that every subcubic graph with maximum average degree less than $7/3$ is star list-$5$-edge-colorable. It is known that a graph with maximum average degree $14/5$ is not necessarily star $5$-edge-colorable. In this paper, we prove that every subcubic multigraph with maximum average degree less than $12/5$ is star $5$-edge-colorable. △ Less

Submitted 22 November, 2017; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: to appear in Discrete Mathematics. arXiv admin note: text overlap with arXiv:1701.04105

Journal ref: Discrete Mathematics, 341 (2018) 950--956

A General Framework for Enhancing Sparsity of Generalized Polynomial Chaos Expansions

Authors: Xiu Yang, Xiaoliang Wan, Lin Lin, Huan Lei

Abstract: Compressive sensing has become a powerful addition to uncertainty quantification when only limited data is available. In this paper we provide a general framework to enhance the sparsity of the representation of uncertainty in the form of generalized polynomial chaos expansion. We use alternating direction method to identify new sets of random variables through iterative rotations such that the ne… ▽ More Compressive sensing has become a powerful addition to uncertainty quantification when only limited data is available. In this paper we provide a general framework to enhance the sparsity of the representation of uncertainty in the form of generalized polynomial chaos expansion. We use alternating direction method to identify new sets of random variables through iterative rotations such that the new representation of the uncertainty is sparser. Consequently, we increases both the efficiency and accuracy of the compressive sensing-based uncertainty quantification method. We demonstrate that the previously developed iterative method to enhance the sparsity of Hermite polynomial expansion is a special case of this general framework. Moreover, we use Legendre and Chebyshev polynomials expansions to demonstrate the effectiveness of this method with applications in solving stochastic partial differential equations and high-dimensional (O(100)) problems. △ Less

Submitted 26 November, 2018; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: Corrected the lemmas in the previous version using perturbation theory of singular value decomposition. arXiv admin note: text overlap with arXiv:1506.04344

Total rainbow connection of digraphs

Authors: Hui Lei, Henry Liu, Colton Magnant, Yongtang Shi

Abstract: An edge-coloured path is rainbow if its edges have distinct colours. For a connected graph $G$, the rainbow connection number (resp. strong rainbow connection number) of $G$ is the minimum number of colours required to colour the edges of $G$ so that, any two vertices of $G$ are connected by a rainbow path (resp. rainbow geodesic). These two graph parameters were introduced by Chartrand, Johns, Mc… ▽ More An edge-coloured path is rainbow if its edges have distinct colours. For a connected graph $G$, the rainbow connection number (resp. strong rainbow connection number) of $G$ is the minimum number of colours required to colour the edges of $G$ so that, any two vertices of $G$ are connected by a rainbow path (resp. rainbow geodesic). These two graph parameters were introduced by Chartrand, Johns, McKeon and Zhang in 2008. Krivelevich and Yuster generalised this concept to the vertex-coloured setting. Similarly, Liu, Mestre and Sousa introduced the version which involves total-colourings. Dorbec, Schiermeyer, Sidorowicz and Sopena extended the concept of the rainbow connection to digraphs. In this paper, we consider the (strong) total rainbow connection number of digraphs. Results on the (strong) total rainbow connection number of biorientations of graphs, tournaments and cactus digraphs are presented. △ Less

Submitted 2 November, 2017; v1 submitted 16 January, 2017; originally announced January 2017.

Comments: 29 pages, 4 figures. arXiv admin note: text overlap with arXiv:1701.04280

Journal ref: Discrete Applied Mathematics, 2017

Rainbow vertex connection of digraphs

Authors: Hui Lei, Shasha Li, Henry Liu, Yongtang Shi

Abstract: An edge-coloured path is \emph{rainbow} if its edges have distinct colours. An edge-coloured connected graph is said to be \emph{rainbow connected} if any two vertices are connected by a rainbow path, and \emph{strongly rainbow connected} if any two vertices are connected by a rainbow geodesic. The (\emph{strong}) \emph{rainbow connection number} of a connected graph is the minimum number of colou… ▽ More An edge-coloured path is \emph{rainbow} if its edges have distinct colours. An edge-coloured connected graph is said to be \emph{rainbow connected} if any two vertices are connected by a rainbow path, and \emph{strongly rainbow connected} if any two vertices are connected by a rainbow geodesic. The (\emph{strong}) \emph{rainbow connection number} of a connected graph is the minimum number of colours needed to make the graph (strongly) rainbow connected. These two graph parameters were introduced by Chartrand, Johns, McKeon and Zhang in 2008. As an extension, Krivelevich and Yuster proposed the concept of \emph{rainbow vertex-connection}. The topic of rainbow connection in graphs drew much attention and various similar parameters were introduced, mostly dealing with undirected graphs. Dorbec, Schiermeyer, Sidorowicz and Sopena extended the concept of the rainbow connection to digraphs. In this paper, we consider the (strong) rainbow vertex-connection number of digraphs. Results on the (strong) rainbow vertex-connection number of biorientations of graphs, cycle digraphs, circulant digraphs and tournaments are presented. △ Less

Submitted 16 July, 2017; v1 submitted 16 January, 2017; originally announced January 2017.

Comments: 22 pages, 3 figures

Star chromatic index of subcubic multigraphs

Authors: Hui Lei, Yongtang Shi, Zi-Xia Song

Abstract: The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J. Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edg… ▽ More The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J. Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge-colorable. They conjectured in the same paper that every subcubic multigraph should be star $6$-edge-colorable. In this paper, we first prove that it is NP-complete to determine whether $χ'_s(G)\le3$ for an arbitrary graph $G$. This answers a question of Mohar. We then establish some structure results on subcubic multigraphs $G$ with $δ(G)\le2$ such that $χ'_s(G)>k$ but $χ'_s(G-v)\le k$ for any $v\in V(G)$, where $k\in\{5,6\}$. We finally apply the structure results, along with a simple discharging method, to prove that every subcubic multigraph $G$ is star $6$-edge-colorable if $mad(G)<5/2$, and star $5$-edge-colorable if $mad(G)<24/11$, respectively, where $mad(G)$ is the maximum average degree of a multigraph $G$. This partially confirms the conjecture of Dvořák, Mohar and Šámal. △ Less

Submitted 22 November, 2017; v1 submitted 15 January, 2017; originally announced January 2017.

Comments: to appear in J. Graph Theory

Enhancing Sparsity of Hermite Polynomial Expansions by Iterative Rotations

Authors: Xiu Yang, Huan Lei, Nathan A. Baker, Guang Lin

Abstract: Compressive sensing has become a powerful addition to uncertainty quantification in recent years. This paper identifies new bases for random variables through linear map**s such that the representation of the quantity of interest is more sparse with new basis functions associated with the new random variables. This sparsity increases both the efficiency and accuracy of the compressive sensing-ba… ▽ More Compressive sensing has become a powerful addition to uncertainty quantification in recent years. This paper identifies new bases for random variables through linear map**s such that the representation of the quantity of interest is more sparse with new basis functions associated with the new random variables. This sparsity increases both the efficiency and accuracy of the compressive sensing-based uncertainty quantification method. Specifically, we consider rotation-based linear map**s which are determined iteratively for Hermite polynomial expansions. We demonstrate the effectiveness of the new method with applications in solving stochastic partial differential equations and high-dimensional ($\mathcal{O}(100)$) problems. △ Less

Submitted 16 November, 2015; v1 submitted 13 June, 2015; originally announced June 2015.

The Hamilton-Waterloo Problem for Triangle-Factors and Heptagon-Factors

Authors: Hongchuan Lei, Hung-Lin Fu

Abstract: Given 2-factors $R$ and $S$ of order $n$, let $r$ and $s$ be nonnegative integers with $r+s=\lfloor \frac{n-1}{2}\rfloor$, the Hamilton-Waterloo problem asks for a 2-factorization of $K_n$ if $n$ is odd, or of $K_n-I$ if $n$ is even, in which $r$ of its 2-factors are isomorphic to $R$ and the other $s$ 2-factors are isomorphic to $S$. In this paper, we solve the problem for the case of triangle-fa… ▽ More Given 2-factors $R$ and $S$ of order $n$, let $r$ and $s$ be nonnegative integers with $r+s=\lfloor \frac{n-1}{2}\rfloor$, the Hamilton-Waterloo problem asks for a 2-factorization of $K_n$ if $n$ is odd, or of $K_n-I$ if $n$ is even, in which $r$ of its 2-factors are isomorphic to $R$ and the other $s$ 2-factors are isomorphic to $S$. In this paper, we solve the problem for the case of triangle-factors and heptagon-factors for odd $n$ with 3 possible exceptions when $n=21$. △ Less

Submitted 20 April, 2015; originally announced April 2015.

Comments: in Graphs and Combinatorics, 2015

MSC Class: 05C51; 05B05

Transport and Equilibrium in Non-Conservative Systems

Authors: L. Chayes, H. K. Lei

Abstract: We study, in finite volume, a grand canonical version of the McKean-Vlasov equation where the total particle content is allowed to vary. The dynamics is anticipated to minimize an appropriate grand canonical free energy; we make this notion precise by introducing a metric on a set of positive Borel measures without pre-prescribed mass and demonstrating that the dynamics is a gradient flow with res… ▽ More We study, in finite volume, a grand canonical version of the McKean-Vlasov equation where the total particle content is allowed to vary. The dynamics is anticipated to minimize an appropriate grand canonical free energy; we make this notion precise by introducing a metric on a set of positive Borel measures without pre-prescribed mass and demonstrating that the dynamics is a gradient flow with respect to this metric. Moreover, we develop a JKO-scheme suitable for these problems. The latter ideas have general applicability to a class of second order non-conservative problems. For this particular system we prove, using the JKO-scheme, that (under certain assumptions) convergence to the uniform stationary state is exponential with a rate which is independent of the volume. By contrast, in related conservative systems, decay rates scale - at best - with the square of the characteristic length of the system. This suggests that a grand canonical approach may be useful for both theoretical and computational study of large scale systems. △ Less

Submitted 26 October, 2016; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: 61 pages. Revisions. Heuristic derivation of equation added. Proof of Lemma 3.7 modified. Various details added in other places

Anti-forcing numbers of perfect matchings of graphs

Authors: Hongchuan Lei, Yeong-Nan Yeh, He** Zhang

Abstract: We define the anti-forcing number of a perfect matching $M$ of a graph $G$ as the minimal number of edges of $G$ whose deletion results in a subgraph with a unique perfect matching $M$, denoted by $af(G,M)$. The anti-forcing number of a graph proposed by Vukičević and Trinajstić in Kekulé structures of molecular graphs is in fact the minimum anti-forcing number of perfect matchings. For plane bipa… ▽ More We define the anti-forcing number of a perfect matching $M$ of a graph $G$ as the minimal number of edges of $G$ whose deletion results in a subgraph with a unique perfect matching $M$, denoted by $af(G,M)$. The anti-forcing number of a graph proposed by Vukičević and Trinajstić in Kekulé structures of molecular graphs is in fact the minimum anti-forcing number of perfect matchings. For plane bipartite graph $G$ with a perfect matching $M$, we obtain a minimax result: $af(G,M)$ equals the maximal number of $M$-alternating cycles of $G$ where any two either are disjoint or intersect only at edges in $M$. For a hexagonal system $H$, we show that the maximum anti-forcing number of $H$ equals the Fries number of $H$. As a consequence, we have that the Fries number of $H$ is between the Clar number of $H$ and twice. Further, some extremal graphs are discussed. △ Less

Submitted 15 June, 2014; originally announced June 2014.

On the Rate of Convergence for Critical Crossing Probabilities

Authors: I. Binder, L. Chayes, H. K. Lei

Abstract: For the site percolation model on the triangular lattice and certain generalizations for which Cardy's Formula has been established we acquire a power law estimate for the \emph{rate} of convergence of the crossing probabilities to Cardy's Formula. For the site percolation model on the triangular lattice and certain generalizations for which Cardy's Formula has been established we acquire a power law estimate for the \emph{rate} of convergence of the crossing probabilities to Cardy's Formula. △ Less

Submitted 1 July, 2013; v1 submitted 6 October, 2012; originally announced October 2012.

Comments: 61 pages

Hamiltonian ODE's on a Space of Deficient Measures

Authors: L. Chayes, W. Gangbo, H. K. Lei

Abstract: We continue the study (initiated in [1]) of Borel measures whose time evolution is provided by an interacting Hamiltonian structure. Here, the principal focus is the development and advancement of deficency in the measure caused by displacement of mass to infinity in finite time. We introduce - and study in its own right - a regularization scheme based on a dissipative mechanism which naturally de… ▽ More We continue the study (initiated in [1]) of Borel measures whose time evolution is provided by an interacting Hamiltonian structure. Here, the principal focus is the development and advancement of deficency in the measure caused by displacement of mass to infinity in finite time. We introduce - and study in its own right - a regularization scheme based on a dissipative mechanism which naturally degrades mass according to distance traveled (in phase space). Our principal results are obtained based on some dynamical considerations in the form of a condition which forbids mass to return from infinity. △ Less

Submitted 31 July, 2011; originally announced August 2011.

Degenerate diffusion with a drift potential: a viscosity solutions approach, joint work with I. C. Kim, truncated version

Authors: H. K. Lei

Abstract: This is a truncated version of the paper "Degenerate diffusion with a drift potential: a viscosity solutions approach", co-authored with I. C. Kim. The purpose of this version is to withdraw the claim of quantitative rate of convergence of the free boundary on the part of H. K. Lei. The difference from the previous version lies in Section 3 where 1) the quantitative version of the convergence of t… ▽ More This is a truncated version of the paper "Degenerate diffusion with a drift potential: a viscosity solutions approach", co-authored with I. C. Kim. The purpose of this version is to withdraw the claim of quantitative rate of convergence of the free boundary on the part of H. K. Lei. The difference from the previous version lies in Section 3 where 1) the quantitative version of the convergence of the free boundary statement has been removed and 2) the more basic version of some convergence of the free boundary given uniform convergence of the function has been rewritten. It is emphasized that while some effort has been made towards better exposition and clarity with regard to showing some convergence of the free boundary given uniform convergence of the function (see Section 3) there is no new result here. Quite on the contrary, as the title indicates, what is contained here is a strict subset of the original. We introduce a notion of viscosity solution for a nonlinear degenerate diffusion equation with a drift potential. We show that our notion of solution coincides with that of the weak solu- tion defined via integration by parts. As an application of the viscosity solutions theory, we show that in the case of a strictly convex potential, the free boundary uniformly converges to equilibrium as $t$ grows. △ Less

Submitted 19 November, 2010; originally announced November 2010.

Comments: In light of a mistake in the original version co-authored with I. C. Kim (arXiv:0910.3432) H. K. Lei wishes to withdraw, on her part, any claim of a correct proof of the quantitative rate of convergence. Some rewriting in Section 3. Some typos have been corrected. In particular, the misplaced Greek letters in the definition of viscosity solution (Definition 2.4) have been removed

The Hamilton-Waterloo problem for Hamilton cycles and C4k-factors

Authors: Hongchuan Lei, Hung-lin Fu, Hao Shen

Abstract: In this paper we give a complete solution to the Hamilton-Waterloo problem for the case of Hamilton cycles and C4k-factors for all positive integers k. In this paper we give a complete solution to the Hamilton-Waterloo problem for the case of Hamilton cycles and C4k-factors for all positive integers k. △ Less

Submitted 10 December, 2012; v1 submitted 5 September, 2010; originally announced September 2010.

MSC Class: 05C70

Journal ref: Ars. Combinatoria 100 (2011), 341-347

On Convergence to SLE$_6$ II: Discrete Approximations and Extraction of Cardy's Formula for General Domains

Authors: I. Binder, L. Chayes, H. K. Lei

Abstract: Following the approach outlined in [17], convergence to SLE$_6$ of the Exploration Processes for the correlated bond-triangular type models studied in [6] is established in [3] and the present work. In this second part, we focus on establishing Cardy's Formula for general domains. Following the approach outlined in [17], convergence to SLE$_6$ of the Exploration Processes for the correlated bond-triangular type models studied in [6] is established in [3] and the present work. In this second part, we focus on establishing Cardy's Formula for general domains. △ Less

Submitted 26 April, 2010; originally announced April 2010.

Comments: 15 pages, 5 figures

On Convergence to SLE$_6$ I: Conformal Invariance for Certain Models of the Bond-Triangular Type

Authors: I. Binder, L. Chayes, H. K. Lei

Abstract: Following the approach outlined in [26], convergence to SLE$_6$ of the Exploration Processes for the correlated bond-triangular type models studied in [11] is established. This puts the said models in the same universality class as the standard site percolation model on the triangular lattice [27]. In the context of these models, the result is proven for all domains with boundary Minkowski dimensi… ▽ More Following the approach outlined in [26], convergence to SLE$_6$ of the Exploration Processes for the correlated bond-triangular type models studied in [11] is established. This puts the said models in the same universality class as the standard site percolation model on the triangular lattice [27]. In the context of these models, the result is proven for all domains with boundary Minkowski dimension less than two. Moreover, the proof of convergence applies in the context of general critical 2D percolation models and for general domains, under the stipulation that Cardy's Formula can be established for domains in this generality. △ Less

Submitted 26 April, 2010; originally announced April 2010.

Comments: 28 pages, 5 figures

Degenerate diffusion with a drift potential: a viscosity solutions approach

Authors: I. C. Kim, H. K. Lei

Abstract: We introduce a notion of viscosity solutions for a nonlinear degenerate diffusion equation with a drift potential. We show that our notion of solutions coincide with the weak solutions defined via integration by parts. As an application of the viscosity solutions theory, we show that the free boundary uniformly converges to the equilibrium as time grows. In the case of a convex potential, an exp… ▽ More We introduce a notion of viscosity solutions for a nonlinear degenerate diffusion equation with a drift potential. We show that our notion of solutions coincide with the weak solutions defined via integration by parts. As an application of the viscosity solutions theory, we show that the free boundary uniformly converges to the equilibrium as time grows. In the case of a convex potential, an exponential rate of free boundary convergence is obtained. △ Less

Submitted 19 October, 2009; v1 submitted 19 October, 2009; originally announced October 2009.

Comments: 25 pages, 3 figures

Conformal Invariance for Certain Models of the Bond-Triangular Type

Authors: I. Binder, L. Chayes, H. K. Lei

Abstract: Following the approach outlined in [18], convergence to SLE6 of the Exploration Processes for the correlated bond-triangular type models studied in [7] is established. This puts the said models in the same universality class as the standard site percolation model on the triangular lattice [19]. The result is proven for all domains with boundary (upper) Minkowski dimension less than two. Moreover… ▽ More Following the approach outlined in [18], convergence to SLE6 of the Exploration Processes for the correlated bond-triangular type models studied in [7] is established. This puts the said models in the same universality class as the standard site percolation model on the triangular lattice [19]. The result is proven for all domains with boundary (upper) Minkowski dimension less than two. Moreover, the proof of convergence applies in the general context of critical 2D percolation models, under the stipulation that Cardy's Formula can be established. △ Less

Submitted 26 April, 2010; v1 submitted 18 October, 2007; originally announced October 2007.

Comments: This paper has been withdrawn as its contents - with the exception of the Appendix on uniform continuity of crossing probabilities - will be replaced by upcoming submissions "On Convergence to SLE_6 I: Conformal Invariance for Certain Models of the Bond-Triangular Type" and "Convergence to SLE_6 II: Discrete Approximations and Extraction of Cardy's Formula for General Domains". The purposed served by the Appendix in proving convergence to SLE_6 in this withdrawn version will be served by the second paper, which instead establishes a sufficiently robust convergence to Cardy's Formula.