Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Packing Loose Hamilton Cycles
Published
• View Publication
• BIB
A subset $C$ of edges in a $k$-uniform hypergraph $H$ is a \emph{loose Hamilton cycle} if $C$ covers all the vertices of $H$ and there exists a cyclic ordering of these vertices such that the edges in $C$ are segments of that order and such that every two consecutive edges share exactly one vertex. The binomial random $k$-uniform hypergraph $H^k_{n,p}$ has vertex set $[n]$ and an edge set $E$ obtained by adding each $k$-tuple $e\in \binom{[n]}{k}$ to $E$ with probability $p$, independently at random.
Here we consider the problem of finding edge-disjoint loose Hamilton cycles covering all but $o(|E|)$ edges, referred to as the \emph{packing problem}. While it is known that the threshold probability for the appearance of a loose Hamilton cycle in $H^k_{n,p}$ is $p=Θ\left(\frac{\log n}{n^{k-1}}\right)$, the best known bounds for the packing problem are around $p=\text{polylog}(n)/n$. Here we make substantial progress and prove the following asymptotically (up to a polylog$(n)$ factor) best possible result: For $p\geq \log^{C}n/n^{k-1}$, a random $k$-uniform hypergraph $H^k_{n,p}$ with high probability contains $N:=(1-o(1))\frac{\binom{n}{k}p}{n/(k-1)}$ edge-disjoint loose Hamilton cycles.
Our proof utilizes and modifies the idea of "online sprinkling" recently introduced by Vu and the first author.
Approximating set multi-covers
Published in European Journal of Combinatorics, Volume 67, January 2018, Pages 174-180;
• View Publication
• BIB
Johnson and Lovász and Stein proved independently that any hypergraph satisfies $τ\leq (1+\ln Δ)τ^{\ast}$, where $τ$ is the transversal number, $τ^{\ast}$ is its fractional version, and $Δ$ denotes the maximum degree. We prove $τ_f\leq c τ^{\ast}\max\{\ln Δ, f\}$ for the $f$-fold transversal number $τ_f$. Similarly to Johnson, Lovász and Stein, we also show that this bound can be achieved non-probabilistically, using a greedy algorithm.
As a combinatorial application, we prove an estimate on how fast $τ_f/f$ converges to $τ^{\ast}$. As a geometric application, we obtain an upper bound on the minimal density of an $f$-fold covering of the $d$-dimensional Euclidean space by translates of any convex body.
Binomial Andrews-Gordon-Bressoud identities
Published
• View Publication
• BIB
Binomial versions of the Andrews-Gordon-Bressoud identities are given.
On a question of Eliahou and a conjecture of Wilf
Published
• View Publication
• BIB
To a numerical semigroup $S$, Eliahou associated a number $E(S)$ and proved that numerical semigroups for which the associated number is non negative satisfy Wilf's conjecture. The search for counterexamples for the conjecture of Wilf is therefore reduced to semigroups which have an associated negative Eliahou number. Eliahou mentioned $5$ numerical semigroups whose Eliahou number is $-1$. The examples were discovered by Fromentin who observed that these are the only ones with negative Eliahou number among the over $10^{13}$ numerical semigroups of genus up to $60$. We prove here that for any integer $n$ there are infinitely many numerical semigroups S such that $E(S)=n$, by explicitly giving families of such semigroups. We prove that all the semigroups in these families satisfy Wilf's conjecture, thus providing not previously known examples of semigroups for which the conjecture holds.
Weakly threshold graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 4, 2018) dmtcs:3968
• View Publication
• BIB
We define a weakly threshold sequence to be a degree sequence $d=(d_1,\dots,d_n)$ of a graph having the property that $\sum_{i \leq k} d_i \geq k(k-1)+\sum_{i > k} \min\{k,d_i\} - 1$ for all positive $k \leq \max\{i:d_i \geq i-1\}$. The weakly threshold graphs are the realizations of the weakly threshold sequences. The weakly threshold graphs properly include the threshold graphs and satisfy pleasing extensions of many properties of threshold graphs. We demonstrate a majorization property of weakly threshold sequences and an iterative construction algorithm for weakly threshold graphs, as well as a forbidden induced subgraph characterization. We conclude by exactly enumerating weakly threshold sequences and graphs.
A Classification of Semeai with Approach Moves
Published in ICGA Journal, Vol. 38, No. 4 (Dec 2015), pp. 224-241
• View Publication
• BIB
The paper analyzes liberty races (semeai) in the game of Go. A rigorous treatment of positions with approach moves but no ko revealed a class of positions not described in the literature before.
The complete presented classification is simpler and more compact than the one used so far. This was achieved through a classification by the types of liberties and the order they are to be filled instead of a classification by group status.
A principal difference to semeai without approach moves is that in the presence of approach moves and shared liberties and the absence of eyes, two different strategies are possible because the un-orthodox filling of shared liberties instead of outer liberties may be a better strategy.
On the Minimum Number of Hamiltonian Cycles in Regular Graphs
Published
• View Publication
• BIB
A graph construction that produces a k-regular graph on n vertices for any choice of k >= 3 and n = m(k+1) for integer m >= 2 is described. The number of Hamiltonian cycles in such graphs can be explicitly determined as a function of n and k, and empirical evidence is provided that suggests that this function gives a tight upper bound on the minimum number of Hamiltonian cycles in k-regular graphs on n vertices for k >= 5 and n >= k + 3. An additional graph construction for 4-regular graphs is described for which the number of Hamiltonian cycles is superior to the above function in the case when k = 4 and n >= 11.
The colored symmetric and exterior algebras
Published in J. Algebra 496 (2018), 187-215
• Search Publication
We study colored generalizations of the symmetric algebra and its Koszul dual, the exterior algebra. The symmetric group $\mathfrak{S}_n$ acts on the multilinear components of these algebras. While $\mathfrak{S}_n$ acts trivially on the multilinear components of the colored symmetric algebra, we use poset topology techniques to understand the representation on its Koszul dual. We introduce an $\mathfrak{S}_n$-poset of weighted subsets that we call the weighted boolean algebra and we prove that the multilinear components of the colored exterior algebra are $\mathfrak{S}_n$-isomorphic to the top cohomology modules of its maximal intervals. We use a technique of Sundaram to compute group representations on Cohen-macaulay posets to give a generating formula for the Frobenius series of the colored exterior algebra. We exploit that formula to find an explicit expression for the expansion of the corresponding representations in terms of irreducible $\mathfrak{S}_n$-representations. We show that the two colored Koszul dual algebras are Koszul in the sense of Priddy.
Identities between dimer partition functions on different surfaces
Published in J. Stat. Mech. Theory Exp. (2016), 103101
• View Publication
• BIB
Given a weighted graph $G$ embedded in a non-orientable surface $Σ$, one can consider the corresponding weighted graph $\widetilde{G}$ embedded in the so-called orientation cover $\widetildeΣ$ of $Σ$. We prove identities relating twisted partition functions of the dimer model on these two graphs. When $Σ$ is the Möbius strip or the Klein bottle, then $\widetildeΣ$ is the cylinder or the torus, respectively, and under some natural assumptions, these identities imply relations between the genuine dimer partition functions $Z(G)$ and $Z(\widetilde{G})$. For example, we show that if $G$ is a locally but not globally bipartite graph embedded in the Möbius strip, then $Z(\widetilde{G})$ is equal to the square of $Z(G)$. This extends results for the square lattice previously obtained by various authors.
Some Bounds on the Zero Forcing Number of a Graph
Published
• View Publication
• BIB
A set $Z$ of vertices of a graph $G$ is a zero forcing set of $G$ if initially labeling all vertices in $Z$ with $1$ and all remaining vertices of $G$ with $0$, and then, iteratively and as long as possible, changing the label of some vertex $u$ from $0$ to $1$ if $u$ is the only neighbor with label $0$ of some vertex with label $1$, results in the entire vertex set of $G$. The zero forcing number $Z(G)$, defined as the minimum order of a zero forcing set of $G$, was proposed as an upper bound of the corank of matrices associated with $G$, and was also considered in connection with quantum physics and logic circuits. In view of the computational hardness of the zero forcing number, upper and lower bounds are of interest.
Refining results of Amos, Caro, Davila, and Pepper, we show that $Z(G)\leq \frac{Δ-2}{Δ-1}n$ for a connected graph $G$ of order $n$ and maximum degree $Δ$ at least $3$ if and only if $G$ does not belong to $\{ K_{Δ+1},K_{Δ,Δ},K_{Δ-1,Δ},G_1,G_2\}$, where $G_1$ and $G_2$ are two specific graphs of orders $5$ and $7$, respectively. For a connected graph $G$ of order $n$, maximum degree $3$, and girth at least $5$, we show $Z(G)\leq \frac{n}{2}-Ω\left(\frac{n}{\log n}\right)$. Using a probabilistic argument, we show $Z(G)\leq \left(1-\frac{H_r}{r}+o\left(\frac{H_r}{r}\right)\right)n$ for an $r$-regular graph $G$ of order $n$ and girth at least $5$, where $H_r$ is the $r$-th harmonic number. Finally, we show $Z(G)\geq (g-2)(δ-2)+2$ for a graph $G$ of girth $g\in \{ 5,6\}$ and minimum degree $δ$, which partially confirms a conjecture of Davila and Kenter.
On distances in generalized Sierpinski graphs
Published
• View Publication
• BIB
In this paper we propose formulas for the distance between vertices of a generalized Sierpiński graph $S(G,t)$ in terms of the distance between vertices of the base graph $G$. In particular, we deduce a recursive formula for the distance between an arbitrary vertex and an extreme vertex of $S(G,t)$, and we obtain a recursive formula for the distance between two arbitrary vertices of $S(G,t)$ when the base graph is triangle-free. From these recursive formulas, we provide algorithms to compute the distance between vertices of $S(G,t)$. In addition, we give an explicit formula for the diameter and radius of $S(G,t)$ when the base graph is a tree.
Graphs with Integer Matching Polynomial Roots
Published
• View Publication
• BIB
In this paper, we study graphs whose matching polynomial have only integer zeros. A graph is matching integral if the zeros of its matching polynomial are all integers. We characterize all matching integral traceable graphs.. We show that apart from K7 n (E(C3) [ E(C4)) there is no connected k-regular matching integral graph if k ? 2. It is also shown that if G is a graph with a perfect matching, then its matching polynomial has a zero in the interval (0, 1]. Finally, we describe all claw-free matching integral graphs.
A simple proof of almost percolation on G(n;p)
We consider bootstrap percolation on the binomial random graph $G(n,p)$ with infection threshold $r\in \mathbb{N}$, an infection process which starts from a set of initially infected vertices and in each step every vertex with at least $r$ infected neighbours becomes infected. We improve the results of Janson, Łuczak, Turova, and Valier (2012) by strengthening the probability bounds on the number of infected vertices at the end of the process, using simple arguments based on martingales and giant components.
Enumerative and bijective aspects of combinatorial maps: generalization, unification and application (PhD thesis)
This thesis deals with the enumerative study of combinatorial maps, and its application to the enumeration of other combinatorial objects.
Combinatorial maps, or simply maps, form a rich combinatorial model. They have an intuitive and geometric definition, but are also related to some deep algebraic structures. For instance, a special type of maps called constellations provides a unifying framework for some enumeration problems concerning factorizations in the symmetric group. Standing on a position where many domains meet, maps can be studied using a large variety of methods, and their enumeration can also help us count other combinatorial objects. This thesis is a sampling from the rich results and connections in the enumeration of maps.
This thesis is structured into four major parts. The first part, including Chapter 1 and 2, consist of an introduction to the enumerative study of maps. The second part, Chapter 3 and 4, contains my work in the enumeration of constellations, which are a special type of maps that can serve as a unifying model of some factorizations of the identity in the symmetric group. The third part, composed by Chapter 5 and 6, shows my research on the enumerative link from maps to other combinatorial objects, such as generalizations of the Tamari lattice and random graphs embeddable onto surfaces. The last part is the closing chapter, in which the thesis concludes with some perspectives and future directions in the enumerative study of maps.
Further results on the deficiency of graphs
Published
• View Publication
• BIB
A \emph{proper $t$-edge-coloring} of a graph $G$ is a mapping $α: E(G)\rightarrow \{1,\ldots,t\}$ such that all colors are used, and $α(e)\neq α(e^{\prime})$ for every pair of adjacent edges $e,e^{\prime}\in E(G)$. If $α$ is a proper edge-coloring of a graph $G$ and $v\in V(G)$, then \emph{the spectrum of a vertex $v$}, denoted by $S\left(v,α\right)$, is the set of all colors appearing on edges incident to $v$. \emph{The deficiency of $α$ at vertex $v\in V(G)$}, denoted by $def(v,α)$, is the minimum number of integers which must be added to $S\left(v,α\right)$ to form an interval, and \emph{the deficiency $def\left(G,α\right)$ of a proper edge-coloring $α$ of $G$} is defined as the sum $\sum_{v\in V(G)}def(v,α)$. \emph{The deficiency of a graph $G$}, denoted by $def(G)$, is defined as follows: $def(G)=\min_αdef\left(G,α\right)$, where minimum is taken over all possible proper edge-colorings of $G$. For a graph $G$, the smallest and the largest values of $t$ for which it has a proper $t$-edge-coloring $α$ with deficiency $def(G,α)=def(G)$ are denoted by $w_{def}(G)$ and $W_{def}(G)$, respectively. In this paper, we obtain some bounds on $w_{def}(G)$ and $W_{def}(G)$. In particular, we show that for any $l\in \mathbb{N}$, there exists a graph $G$ such that $def(G)>0$ and $W_{def}(G)-w_{def}(G)\geq l$. It is known that for the complete graph $K_{2n+1}$, $def(K_{2n+1})=n$ ($n\in \mathbb{N}$). Recently, Borowiecka-Olszewska, Drgas-Burchardt and Hałuszczak posed the following conjecture on the deficiency of near-complete graphs: if $n\in \mathbb{N}$, then $def(K_{2n+1}-e)=n-1$. In this paper, we confirm this conjecture.
Scaling limit of the uniform infinite half-plane quadrangulation in the Gromov-Hausdorff-Prokhorov-uniform topology
Published
• View Publication
• BIB
We prove that the uniform infinite half-plane quadrangulation (UIHPQ), with either general or simple boundary, equipped with its graph distance, its natural area measure, and the curve which traces its boundary, converges in the scaling limit to the Brownian half-plane. The topology of convergence is given by the so-called Gromov-Hausdorff-Prokhorov-uniform (GHPU) metric on curve-decorated metric measure spaces, which is a generalization of the Gromov-Hausdorff metric whereby two such spaces $(X_1, d_1 , μ_1,η_1)$ and $(X_2, d_2 , μ_2,η_2)$ are close if they can be isometrically embedded into a common metric space in such a way that the spaces $X_1$ and $X_2$ are close in the Hausdorff distance, the measures $μ_1$ and $μ_2$ are close in the Prokhorov distance, and the curves $η_1$ and $η_2$ are close in the uniform distance.
Convergence of the self-avoiding walk on random quadrangulations to SLE$_{8/3}$ on $\sqrt{8/3}$-Liouville quantum gravity
Published
• View Publication
• BIB
We prove that a uniform infinite quadrangulation of the half-plane decorated by a self-avoiding walk (SAW) converges in the scaling limit to the metric gluing of two independent Brownian half-planes identified along their positive boundary rays. Combined with other work of the authors, this implies the convergence of the SAW on a random quadrangulation to SLE$_{8/3}$ on a certain $\sqrt{8/3}$-Liouville quantum gravity surface. The topology of convergence is the local Gromov-Hausdorff-Prokhorov-uniform topology, the natural generalization of the local Gromov-Hausdorff topology to curve-decorated metric measure spaces. We also prove analogous scaling limit results for uniform infinite quadrangulations of the whole plane decorated by either a one-sided or two-sided SAW. Our proof uses only the peeling procedure for random quadrangulations and some basic properties of the Brownian half-plane, so can be read without any knowledge of SLE or LQG.
Bohr topology and difference sets for some abelian groups
For a fixed prime $p$, $\mathbb F_{p}$ denotes the field with $p$ elements, and $\mathbb F_{p}^ω$ denotes the countable direct sum $\bigoplus_{n=1}^{\infty} \mathbb F_{p}$. Viewing $\mathbb F_{p}^ω$ as a countable abelian group, we construct a set $A\subseteq \mathbb F_{p}^ω$ having positive upper Banach density while the difference set $A-A:=\{a-b:a,b\in A\}$ does not contain a Bohr neighborhood of any $c\in \mathbb F_{p}^ω$. For $p=2$ we obtain a stronger conclusion: $A-A$ does not contain a set of the form $g+(B-B)$, where $B$ is piecewise syndetic. This construction answers negatively a variant of the following question asked by several authors: if $A\subseteq \mathbb Z$ has positive upper Banach density, must $A-A$ contain a Bohr neighborhood of some $n\in \mathbb Z$?
We also construct sets $S, A\subseteq \mathbb F_{p}^ω$ such that $S$ is dense in the Bohr topology of $\mathbb F_{p}^ω$, $A$ has positive upper Banach density, and $A+S$ is not piecewise Bohr. For $p=2$ we show that every translate of $S$ is a set of topological recurrence and $A+S$ is not piecewise syndetic. These constructions answer a variant of a question asked by the author.
Towards a Splitter Theorem for Internally $4$-connected Binary Matroids VI
Published
• View Publication
• BIB
Let $M$ be a $3$-connected binary matroid; $M$ is called internally $4$-connected if one side of every $3$-separation is a triangle or a triad, and $M$ is $(4,4,S)$-connected if one side of every $3$-separation is a triangle, a triad, or a $4$-element fan. Assume $M$ is internally $4$-connected and that neither $M$ nor its dual is a cubic Möbius or planar ladder or a certain coextension thereof. Let $N$ be an internally $4$-connected proper minor of $M$. Our aim is to show that $M$ has a proper internally $4$-connected minor with an $N$-minor that can be obtained from $M$ either by removing at most four elements, or by removing elements in an easily described way from a special substructure of $M$. When this aim cannot be met, the earlier papers in this series showed that, up to duality, $M$ has a good bowtie, that is, a pair, $\{x_1,x_2,x_3\}$ and $\{x_4,x_5,x_6\}$, of disjoint triangles and a cocircuit, $\{x_2,x_3,x_4,x_5\}$, where $M\backslash x_3$ has an $N$-minor and is $(4,4,S)$-connected. We also showed that, when $M$ has a good bowtie, either $M\backslash x_3,x_6$ has an $N$-minor; or $M\backslash x_3/x_2$ has an $N$-minor and is $(4,4,S)$-connected. In this paper, we show that, when $M\backslash x_3,x_6$ has an $N$-minor but is not $(4,4,S)$-connected, $M$ has an internally $4$-connected proper minor with an $N$-minor that can be obtained from $M$ by removing at most three elements, or by removing elements in a well-described way from one of several special substructures of $M$. This is a significant step towards obtaining a splitter theorem for the class of internally $4$-connected binary matroids.
$m$-Modular Wythoff
Published
• View Publication
• BIB
We introduce a variant of Wythoff's Game that we call $m$-Modular Wythoff's Game. In the original Wythoff's Game, players can take a positive number of tokens from one pile, or they can take a positive number of tokens from both piles if the number of tokens they take from the first pile is equal to the number of tokens they take from the second. In our variant, we weaken this equality condition to one of equivalence modulo $m$. We characterize the P-positions of our $m$-Modular variant as a finite subset of the P-positions of the known P-positions of the original Wythoff's Game.