Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On choosability with separation of planar graphs with lists of different sizes
Published
• View Publication
• BIB
A (k,d)-list assignment L of a graph G is a mapping that assigns to each vertex v a list L(v) of at least k colors and for any adjacent pair xy, the lists L(x) and L(y) share at most d colors. A graph G is (k,d)-choosable if there exists an L-coloring of G for every (k,d)-list assignment L. This concept is also known as choosability with separation.
It is known that planar graphs are (4,1)-choosable but it is not known if planar graphs are (3,1)-choosable. We strengthen the result that planar graphs are (4,1)-choosable by allowing an independent set of vertices to have lists of size 3 instead of 4.
Hamilton cycles in almost distance-hereditary graphs
Published in Open Math. 14 (2016), 19--28
• View Publication
• BIB
Let $G$ be a graph on $n\geq 3$ vertices. A graph $G$ is almost distance-hereditary if each connected induced subgraph $H$ of $G$ has the property $d_{H}(x,y)\leq d_{G}(x,y)+1$ for any pair of vertices $x,y\in V(H)$. A graph $G$ is called 1-heavy (2-heavy) if at least one (two) of the end vertices of each induced subgraph of $G$ isomorphic to $K_{1,3}$ (a claw) has (have) degree at least $n/2$, and called claw-heavy if each claw of $G$ has a pair of end vertices with degree sum at least $n$. Thus every 2-heavy graph is claw-heavy. In this paper we prove the following two results: (1) Every 2-connected, claw-heavy and almost distance-hereditary graph is Hamiltonian. (2) Every 3-connected, 1-heavy and almost distance-hereditary graph is Hamiltonian. In particular, the first result improves a previous theorem of Feng and Guo. Both results are sharp in some sense.
Divisors on graphs, binomial and monomial ideals, and cellular resolutions
Published
• View Publication
• BIB
We study various binomial and monomial ideals arising in the theory of divisors, orientations, and matroids on graphs. We use ideas from potential theory on graphs and from the theory of Delaunay decompositions for lattices to describe their minimal polyhedral cellular free resolutions. We show that the resolutions of all these ideals are closely related and that their $\mathbb{Z}$-graded Betti tables coincide. As corollaries, we give conceptual proofs of conjectures and questions posed by Postnikov and Shapiro, by Manjunath and Sturmfels, and by Perkinson, Perlman, and Wilmes. Various other results related to the theory of chip-firing games on graphs also follow from our general techniques and results.
Flows on Honeycombs and Sums of Littlewood-Richardson Tableaux
Published
• View Publication
• BIB
Suppose μand μ' are two partitions. We will let μ\oplus μ' denote the "direct sum" of the partitions, defined as the sorted partition made of the parts of $μ$ and $μ'$. In this paper, we define a summation operation on two Littlewood-Richardson fillings of type (μ, ν;λ) and (μ', ν';λ'), which results in a Littlewood-Richardson filling of type (μ\oplus μ', ν\oplus ν' ;λ\oplus λ'). We give an algorithm to produce the sum, and show that it terminates in a Littlewood-Richardson filling by defining a bijection between a Littlewood-Richardson filling and a flow on a honeycomb, and then showing that the overlay of the two honeycombs of appropriate type corresponds to the sum of the two fillings.
Regular independent sets
Published
• View Publication
• BIB
The regular independence number, introduced by Albertson and Boutin in 1990, is the size of a largest set of independent vertices with the same degree. Lower bounds were proven for this invariant, in terms of the order, for trees and planar graphs. In this article, we generalize and extend these results to find lower bounds for the regular $k$-independence number for trees, forests, planar graphs, $k$-trees and $k$-degenerate graphs.
Lattices of regular closed subsets of closure spaces
Published
• View Publication
• BIB
For a closure space (P,f) with f(\emptyset)=\emptyset, the closures of open subsets of P, called the regular closed subsets, form an ortholattice Reg(P,f), extending the poset Clop(P,f) of all clopen subsets. If (P,f) is a finite convex geometry, then Reg(P,f) is pseudocomplemented. The Dedekind-MacNeille completion of the poset of regions of any central hyperplane arrangement can be obtained in this way, hence it is pseudocomplemented. The lattice Reg(P,f) carries a particularly interesting structure for special types of convex geometries, that we call closure spaces of semilattice type. For finite such closure spaces, (1) Reg(P,f) satisfies an infinite collection of stronger and stronger quasi-identities, weaker than both meet- and join-semidistributivity. Nevertheless it may fail semidistributivity. (2) If Reg(P,f) is semidistributive, then it is a bounded homomorphic image of a free lattice. (3) Clop(P,f) is a lattice iff every regular closed set is clopen. The extended permutohedron R(G) on a graph G, and the extended permutohedron Reg(S) on a join-semilattice S, are both defined as lattices of regular closed sets of suitable closure spaces. While the lattice of regular closed sets is, in the semilattice context, always the Dedekind Mac-Neille completion of the poset of clopen sets, this does not always hold in the graph context, although it always does so for finite block graphs and for cycles. Furthermore, both R(G) and Reg(S) are bounded homomorphic images of free lattices.
Empty triangles in good drawings of the complete graph
Published
• View Publication
• BIB
A good drawing of a simple graph is a drawing on the sphere or, equivalently, in the plane in which vertices are drawn as distinct points, edges are drawn as Jordan arcs connecting their end vertices, and any pair of edges intersects at most once. In any good drawing, the edges of three pairwise connected vertices form a Jordan curve which we call a triangle. We say that a triangle is empty if one of the two connected components it induces does not contain any of the remaining vertices of the drawing of the graph. We show that the number of empty triangles in any good drawing of the complete graph $K_n$ with $n$ vertices is at least $n$.
Strict unimodality of q-binomial coefficients
Published in C. R. Acad. Sci. Paris, Ser. I (2013)
• View Publication
• BIB
We prove strict unimodality of the q-binomial coefficients \binom{n}{k}_q as polynomials in q. The proof is based on the combinatorics of certain Young tableaux and the semigroup property of Kronecker coefficients of S_n representations.
Low-Density Parity-Check Codes From Transversal Designs With Improved Stopping Set Distributions
Published
• View Publication
• BIB
This paper examines the construction of low-density parity-check (LDPC) codes from transversal designs based on sets of mutually orthogonal Latin squares (MOLS). By transferring the concept of configurations in combinatorial designs to the level of Latin squares, we thoroughly investigate the occurrence and avoidance of stopping sets for the arising codes. Stopping sets are known to determine the decoding performance over the binary erasure channel and should be avoided for small sizes. Based on large sets of simple-structured MOLS, we derive powerful constraints for the choice of suitable subsets, leading to improved stopping set distributions for the corresponding codes. We focus on LDPC codes with column weight 4, but the results are also applicable for the construction of codes with higher column weights. Finally, we show that a subclass of the presented codes has quasi-cyclic structure which allows low-complexity encoding.
A complexity theorem for the Novelli-Pak-Stoyanovskii algorithm
Published
• View Publication
• BIB
We describe two aspects of the behaviour of entries of Young tableaux during the application of the Novelli-Pak-Stoyanovskii algorithm. We derive two theorems which both contain a generalized version of a conjecture by Krattenthaler and Müller concerning the complexity of the Novelli-Pak-Stoyanovskii algorithm as corollary.
On Closed Graphs I
A graph is closed when its vertices have a labeling by [n] with a certain property first discovered in the study of binomial edge ideals. In this article, we prove that a connected graph has a closed labeling if and only if it is chordal, claw-free, and has a property we call narrow, which holds when every vertex is distance at most one from all longest shortest paths of the graph.
Asymptotic Properties of Fibonacci Cubes and Lucas Cube
It is proved that the asymptotic average eccentricity and the asymptotic average degree of Fibonacci cubes and Lucas cubes are $(5+\sqrt 5)/10$ and $(5-\sqrt 5)/5$, respectively. A new labeling of the leaves of Fibonacci trees is introduced and proved that the eccentricity of a vertex of a given Fibonacci cube is equal to the depth of the associated leaf in the corresponding Fibonacci tree. Hypercube density is also introduced and studied. The hypercube density of both Fibonacci cubes and Lucas cubes is shown to be $(1-1/\sqrt 5)/\log_2\varphi$, where $\varphi$ is the golden ratio, and the Cartesian product of graphs is used to construct families of graphs with a fixed, non-zero hypercube density. It is also proved that the limit normed sum of ratios of Fibonacci words and Lucas words with fixed coordinate 0 and 1, respectively, is $\varphi^2$.
The history of degenerate (bipartite) extremal graph problems
This paper is a survey on Extremal Graph Theory, primarily focusing on the case when one of the excluded graphs is bipartite. On one hand we give an introduction to this field and also describe many important results, methods, problems, and constructions.
The scaling limit of random simple triangulations and random simple quadrangulations
Published
• View Publication
• BIB
Let $M_n$ be a simple triangulation of the sphere $S^2$, drawn uniformly at random from all such triangulations with n vertices. Endow $M_n$ with the uniform probability measure on its vertices. After rescaling graph distance on $V(M_n)$ by $(3/(4n))^{1/4}$, the resulting random measured metric space converges in distribution, in the Gromov-Hausdorff-Prokhorov sense, to the Brownian map. In proving the preceding fact, we introduce a labelling function for the vertices of $M_n$. Under this labelling, distances to a distinguished point are essentially given by vertex labels, with an error given by the winding number of an associated closed loop in the map. We establish similar results for simple quadrangulations.
On restricted permutations on regular multisets
The extension of pattern avoidance from ordinary permutations to those on multisets gave birth to several interesting enumerative results. We study permutations on regular multisets, i.e., multisets in which each element occurs the same number of times. For this case, we close a gap in the work of Heubach and Mansour (2006) and complete the study of permutations avoiding a pair of patterns of length three. In all studied cases, closed enumeration formulae are given and well-known sequences appear. We conclude this paper by some remarks on a generalization of the Stanley-Wilf conjecture to permutations on multisets and words.
Symmetric Graphs and their Quotients
In this expository paper we describe a group theoretic characterization of arc-transitive graphs and their quotients. When passing from a symmetric graph to its quotient, much information is lost, but some of this information may be recovered from a certain combinatorial design on the blocks, as well as a bipartite graph between the blocks. We address the "extention problem" which asks, when is this additional information sufficient to recover the original graph?
Gröbner bases and some immersion theorems for Grassmann manifolds G_{3,n}
A Gröbner basis for the ideal determining mod 2 cohomology of Grassmannian G_{3,n} is obtained. This is used, along with the method of obstruction theory, to establish some new immersion results for these manifolds.
On the chromatic number of a simplicial complex
Published in Combinatorica (2017) 37: 953
• View Publication
• BIB
In [Ho] A.J. Hoffman proved a lower bound on the chromatic number of a graph in the terms of the largest and the smallest eigenvalues of its adjacency matrix. In this paper, we prove a higher dimensional version of this result and give a lower bound on the chromatic number of a pure $d$-dimensional simplicial complex in the terms of the spectra of the higher Laplacian operators.
Primitive Groups Synchronize Non-uniform Maps of Extreme Ranks
Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ synchronizes $f$ if the semigroup $\langle G,f\rangle$ contains a constant map.
The first author has conjectured that a primitive group synchronizes any map whose kernel is non-uniform. Rystsov proved one instance of this conjecture, namely, degree $n$ primitive groups synchronize maps of rank $n-1$ (thus, maps with kernel type $(2,1,\ldots,1)$). We prove some extensions of Rystsov's result, including this: a primitive group synchronizes every map whose kernel type is $(k,1,\ldots,1)$. Incidentally this result provides a new characterization of imprimitive groups. We also prove that the conjecture above holds for maps of extreme ranks, that is, ranks 3, 4 and $n-2$.
These proofs use a graph-theoretic technique due to the second author: a transformation semigroup fails to contain a constant map if and only if it is contained in the endomorphism semigroup of a non-null (simple undircted) graph.
The paper finishes with a number of open problems, whose solutions will certainly require very delicate graph theoretical considerations.
A generalization of bounds for cyclic codes, including the HT and BS bounds
Published in Springer LNCS, 8080, p. 101-112 (2013)
• View Publication
• BIB
We use the algebraic structure of cyclic codes and some properties of the discrete Fourier transform to give a reformulation of several classical bounds for the distance of cyclic codes, by extending techniques of linear algebra. We propose a bound, whose computational complexity is polynomial bounded, which is a generalization of the Hartmann-Tzeng bound and the Betti-Sala bound. In the majority of computed cases, our bound is the tightest among all known polynomial-time bounds, including the Roos bound.