contain ↗ reference
7689 papers tagged with this keyword
Constrained colouring and $σ$-hypergraphs
Published
• View Publication
• BIB
A constrained colouring or, more specifically, an $(α,β)$-colouring of a hypergraph $H$, is an assignment of colours to its vertices such that no edge of $H$ contains less than $α$ or more than $β$ vertices with different colours. This notion, introduced by B{ú}jtas and Tuza, generalises both classical hypergraph colourings and the more general Voloshin colourings of hypergraphs. In fact, for $r$-uniform hypergraphs, classical colourings correspond to $(2,r)$-colourings while an important instance of Voloshin colourings of $r$-uniform hypergraphs gives $(2, r-1)$-colourings. One intriguing aspect of all these colourings, not present in classical colourings, is that $H$ can have gaps in its $(α,β)$-spectrum, that is, for $k_1 < k_2 < k_3$, $H$ would be $(α,β)$-colourable using $k_1$ and using $k_3$ colours, but not using $k_2$ colours.
In an earlier paper, the first two authors introduced, for $σ$ a partition of $r$, a very versatile type of $r$-uniform hypergraph which they called $σ$-hypergraphs. They showed that, by simple manipulation of the parameters of a $σ$-hypergraph $H$, one can obtain families of hypergraphs which have $(2,r-1)$-colourings exhibiting various interesting chromatic properties. They also showed that, if the smallest part of $σ$ is at least 2, then $H$ will never have a gap in its $(2,r-1)$-spectrum but, quite surprisingly, they found examples where gaps re-appear when $α=β=2$.
In this paper we extend many of the results of the first two authors to more general $(α,β)$-colourings, and we study the phenomenon of the disappearanace and re-appearance of gaps and show that it is not just the behaviour of a particular example but we place it within the context of a more general study of constrained colourings of $σ$-hypergraphs.
What is a horocyclic product, and how is it related to lamplighters?
Published in Internationale Mathematische Nachrichten (Austrian Math. Society) 224 (2013), 1-27
• Search Publication
This is a rather personal introductory outline of an interesting class of geometric, resp. graph- and group-theoretical structures. After an introductive section about their genesis, the general construction of horocyclic products is presented. Three closely related basic structures of this type are explained in more detail: Diestel-Leader graphs, treebolic spaces, and Sol-groups, resp. -manifolds. Emphasis is on their geometry, isometry groups, quasi-isometry classification and boundary at infinity. Subsequently, it is clarified under which parametrisation they admit discrete groups of isometries acting with compact quotient. Finally, further develpoments are reviewed briefly.
Remark: the posted version contains a correction of a misprint that appeared on the bottom of page 22 in the version which appeared in IMN.
More on the normalized Laplacian Estrada index
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $N$. The normalized Laplacian Estrada index of $G$ is defined as $NEE(G)=\sum_{i=1}^Ne^{λ_i}$, where $λ_1,λ_2,\cdots,λ_N$ are the normalized Laplacian eigenvalues of $G$. In this paper, we give a tight lower bound for $NEE$ of general graphs. We also calculate $NEE$ for a class of treelike fractals, which contain some classical chemical trees as special cases. It is shown that $NEE$ scales linearly with the order of the fractal, in line with a best possible lower bound for connected bipartite graphs.
On polygon numbers of circle graphs and distance hereditary graphs
Published
• View Publication
• BIB
Circle graphs are intersection graphs of chords in a circle and $k$-polygon graphs are intersection graphs of chords in a convex $k$-sided polygon where each chord has its endpoints on distinct sides. The $k$-polygon graphs, for $k \ge 2$, form an infinite chain of graph classes, each of which contains the class of permutation graphs. The union of all of those graph classes is the class of circle graphs. The polygon number $\gp(G)$ of a circle graph $G$ is the minimum $k$ such that $G$ is a $k$-polygon graph. Given a circle graph $G$ and an integer $k$, determining whether $\gp(G) \le k$ is NP-complete, while the problem is solvable in polynomial time for fixed $k$.
In this paper, we show that $\gp(G)$ is always at least as large as the asteroidal number of $G$, and equal to the asteroidal number of $G$ when $G$ is a connected distance hereditary graph that is not a clique. This implies that the classes of distance hereditary permutation graphs and distance hereditary AT-free graphs are the same, and we give a forbidden subgraph characterization of that class. We also establish the following upper bounds: $\gp(G)$ is at most the clique cover number of $G$ if $G$ is not a clique, at most 1 plus the independence number of $G$, and at most $\lceil n/2 \rceil$ where $n \ge 3$ is the number of vertices of $G$. Our results lead to linear time algorithms for finding the minimum number of corners that must be added to a given circle representation to produce a polygon representation, and for finding the asteroidal number of a distance hereditary graph, both of which are improvements over previous algorithms for those problems.
A Note on Minimal zero-sum sequences over ${\mathbb Z}$
Published
• View Publication
• BIB
A zero-sum sequence over ${\mathbb Z}$ is a sequence with terms in ${\mathbb Z}$ that sum to $0$. It is called minimal if it does not contain a proper zero-sum subsequence. Consider a minimal zero-sum sequence over ${\mathbb Z}$ with positive terms $a_1,\ldots,a_h$ and negative terms $b_1,\ldots,b_k$. We prove that $h\leq \lfloor σ^+/k\rfloor$ and $k\leq \lfloor σ^+/h\rfloor$, where $σ^+=\sum_{i=1}^h a_i=-\sum_{j=1}^k b_j$. These bounds are tight and improve upon previous results. We also show a natural partial order structure on the collection of all minimal zero-sum sequences over the set $\{i\in {\mathbb Z}:\; -n\leq i\leq n\}$ for any positive integer $n$.
Transitive Triangle Tilings in Oriented Graphs
Published
• View Publication
• BIB
In this paper, we prove an analogue of Corrádi and Hajnal's classical theorem. There exists $n_0$ such that for every $n \in 3\mathbb{Z}$ when $n \ge n_0$ the following holds. If $G$ is an oriented graph on $n$ vertices and every vertex has both indegree and outdegree at least $7n/18$, then $G$ contains a perfect transitive triangle tiling, which is a collection of vertex-disjoint transitive triangles covering every vertex of $G$. This result is best possible, as, for every $n \in 3\mathbb{Z}$, there exists an oriented graph $G$ on $n$ vertices without a perfect transitive triangle tiling in which every vertex has both indegree and outdegree at least $\lceil 7n/18\rceil - 1.$
On structural properties of trees with minimal atom-bond connectivity index
Published
• View Publication
• BIB
The {\em atom-bond connectivity (ABC) index} is a degree-based molecular descriptor, that found chemical applications. It is well known that among all connected graphs, the graphs with minimal ABC index are trees. A complete characterization of trees with minimal $ABC$ index is still an open problem. In this paper, we present new structural properties of trees with minimal ABC index. Our main results reveal that trees with minimal ABC index do not contain so-called {\em $B_k$-branches}, with $k \geq 5$, and that they do not have more than four $B_4$-branches.
Extremal Hypergraphs for Ryser's Conjecture: Home-Base Hypergraphs
Published
• View Publication
• BIB
Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $r - 1$ times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem and every bipartite graph is a witness for its tightness. The conjecture has also been proven for $r = 3$ by Aharoni using topological methods, but the proof does not give information on the extremal $3$-uniform hypergraphs. Our goal in this paper is to characterize those hypergraphs which are tight for Aharoni's Theorem.
Our proof of this characterization is also based on topological machinery, particularly utilizing results on the (topological) connectedness of the independence complex of the line graph of the link graphs of $3$-uniform Ryser-extremal hypergraphs, developed in a separate paper. The current paper contains the second, structural hypergraph-theoretic part of the argument, where we use the information on the line graph of the link graphs to nail down the elements of a structure we call \emph{home-base hypergraph}. While there is a single minimal home-base hypergraph with matching number $k$ for every positive integer $k \in \mathbb{N}$, home-base hypergraphs with matching number $k$ are far from being unique. There are infinitely many of them and each of them is composed of $k$ copies of two different kinds of basic structures, whose hyperedges can intersect in various restricted, but intricate ways.
Our characterization also proves an old and wide open strengthening of Ryser's Conjecture, due to Lovász, for the $3$-uniform extremal case, that is, for hypergraphs with $τ= 2 ν$.
Characterization of circular D0L systems
Published
• View Publication
• BIB
We prove that every non-circular D0L system contains arbitrarily long repetitions. This result was already published in 1993 by Mignosi and Séébold, however their proof is only a sketch. We give here a complete proof. Further, employing our previous result, we give a simple algorithm to test circularity of an injective D0L system.
Minimum order of graphs with given coloring parameters
A complete $k$-coloring of a graph $G=(V,E)$ is an assignment $\varphi:V\to\{1,\ldots,k\}$ of colors to the vertices such that no two vertices of the same color are adjacent, and the union of any two color classes contains at least one edge. Three extensively investigated graph invariants related to complete colorings are the minimum and maximum number of colors in a complete coloring (chromatic number $χ(G)$ and achromatic number $ψ(G)$, respectively), and the Grundy number $Γ(G)$ defined as the largest $k$ admitting a complete coloring $\varphi$ with exactly $k$ colors such that every vertex $v\in V$ of color $\varphi(v)$ has a neighbor of color $i$ for all $1\le i<\varphi(v)$. The inequality chain $χ(G)\le Γ(G)\le ψ(G)$ obviously holds for all graphs $G$. A triple $(f,g,h)$ of positive integers at least 2 is called realizable if there exists a connected graph $G$ with $χ(G)=f$, $Γ(G)=g$, and $ψ(G)=h$. Chartrand et al. (A note on graphs with prescribed complete coloring numbers, J. Combin. Math. Combin. Comput. LXXIII (2010) 77-84) found the list of realizable triples. In this paper we determine the minimum number of vertices in a connected graph with chromatic number $f$, Grundy number $g$, and achromatic number $h$, for all realizable triples $(f,g,h)$ of integers. Furthermore, for $f=g=3$ we describe the (two) extremal graphs for each $h \geq 6$. For $h=4$ and $5$, there are more extremal graphs, their description is contained as well.
On hypergraph cliques and polynomial programming
Motzkin and Straus established a close connection between the maximum clique problem and a solution (namely graph-Lagrangians) to the maximum value of a class of homogeneous quadratic multilinear functions over the standard simplex of the Euclidean space in 1965. This connection provides a new proof of Turán's theorem. Recently, an extension of Motzkin-Straus theorem was proved for non-uniform hypergraphs whose edges contain 1 or 2 vertices in \cite{PPTZ}. It is interesting if similar results hold for other non-uniform hypergraphs. In this paper, we give some connection between polynomial programming and the clique of non-uniform hypergraphs whose edges contain 1, or 2, and more vertices. Specifically, we obtain some Motzkin-Straus type results in terms of the graph-Lagrangian of non-uniform hypergraphs whose edges contain 1, or 2, and more vertices.
Total weight choosability in Hypergraphs
A total weighting of the vertices and edges of a hypergraph is called vertex-coloring if the total weights of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this note we show that such a weighting is possible if every vertex has two, and every edge has three weights to choose from, extending a recent result on graphs to hypergraphs.
An online version of Rota's basis conjecture
Published in J. Alg. Comb. 41(4), 1001-1012 (2015)
• View Publication
• BIB
Rota's basis conjecture states that in any square array of vectors whose rows are bases of a fixed vector space the vectors can be rearranged within their rows in such a way that afterwards not only the rows are bases, but also the columns. We discuss an online version of this conjecture, in which the permutation used for rearranging the vectors in a given row must be determined without knowledge of the vectors further down the array. The paper contains surprises both for those who believe this online basis conjecture at first glance, and for those who disbelieve it.
Double transitivity of Galois Groups in Schubert Calculus of Grassmannians
Published
• View Publication
• BIB
We investigate double transitivity of Galois groups in the classical Schubert calculus on Grassmannians. We show that all Schubert problems on Grassmannians of 2- and 3-planes have doubly transitive Galois groups, as do all Schubert problems involving only special Schubert conditions. We use these results to give a new proof that Schubert problems on Grassmannians of 2-planes have Galois groups that contain the alternating group. We also investigate the Galois group of every Schubert problem on Gr(4,8), finding that each Galois group either contains the alternating group or is an imprimitive permutation group and therefore fails to be doubly transitive. These imprimitive examples show that our results are the best possible general results on double transitivity of Schubert problems.
Fan-extensions in fragile matroids
Published
• View Publication
• BIB
If S is a set of matroids, then the matroid M is S-fragile if, for every element e in E(M), either M\e or M/e has no minor isomorphic to a member of S. Excluded-minor characterizations often depend, implicitly or explicitly, on understanding classes of fragile matroids. In certain cases, when F is a minor-closed class of S-fragile matroids, and N is in F, the only members of F that contain N as a minor are obtained from N by increasing the length of fans. We prove that if this is the case, then we can certify it with a finite case-analysis. The analysis involves examining matroids that are at most two elements larger than N.
Extremal densities and measures on groups and $G$-spaces and their combinatorial applications
This text contains lecture notes of the course taught to Ph.D. students of Jagiellonian University in Krakow on 25-28 November, 2013.
Sigma-Algebras for Quasirandom Hypergraphs
Published
• View Publication
• BIB
We examine the correspondence between the various notions of quasirandomness for k-uniform hypergraphs and sigma-algebras related to measurable hypergraphs. This gives a uniform formulation of most of the notions of quasirandomness for dense hypergraphs which have been studied, with each notion of quasirandomness corresponding to a sigma-algebra defined by a collection of subsets of [1,k].
We associate each notion of quasirandomness I with a collection of hypergraphs, the I-adapted hypergraphs, so that G is quasirandom exactly when it contains roughly the correct number of copies of each I-adapted hypergraph. We then identify, for each I, a particular I-adapted hypergraph M_k[I] with the property that if G contains roughly the correct number of copies of M_k[I] then G is quasirandom in the sense of I. This generalizes recent results of Kohayakawa, Nagle, Rödl, and Schacht; Conlon, Hàn, Person, and Schacht; and Lenz and Mubayi giving this result for some notions of quasirandomness.
Extensions of rich words
Published
• View Publication
• BIB
In [X. Droubay et al, Episturmian words and some constructions of de Luca and Rauzy, Theoret. Comput. Sci. 255 (2001)], it was proved that every word w has at most |w|+1 many distinct palindromic factors, including the empty word. The unified study of words which achieve this limit was initiated in [A. Glen et al, Palindromic richness, Eur. Jour. of Comb. 30 (2009)]. They called these words rich (in palindromes).
This article contains several results about rich words and especially extending them. We say that a rich word w can be extended richly with a word u if wu is rich. Some notions are also made about the infinite defect of a word, the number of rich words of length n and two-dimensional rich words.
An extension of Motzkin-Straus Theorem to non-uniform hypergraphs and its applications
Published
• View Publication
• BIB
In 1965, Motzkin and Straus established a remarkable connection between the order of a maximum clique and the Lagrangian of a graph and provided a new proof of Turán's theorem using the connection. The connection of Lagrangians and Turán densities can be also used to prove the fundamental theorem of Erdös-Stone-Simonovits on Turán densities of graphs. Very recently, the study of Turán densities of non-uniform hypergraphs have been motivated by extremal poset problems. In this paper, we attempt to explore the applications of Lagrangian method in determining Turán densities of non-uniform hypergraphs. We first give a definition of the Lagrangian of a non-uniform hypergraph, then give an extension of Motzkin-Straus theorem to non-uniform hypergraphs whose edges contain 1 or 2 vertices. Applying it, we give an extension of Erdös-Stone-Simonovits theorem to non-uniform hypergraphs whose edges contain 1 or 2 vertices.
Characterizing 2-crossing-critical graphs
Published
• View Publication
• BIB
It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connected, simple 2-crossing-critical graphs. In this work, we: (i) determine all the 3-connected 2-crossing-critical graphs that contain a subdivision of the Möbius Ladder $V_{10}$; (ii) show how to obtain all the not 3-connected 2-crossing-critical graphs from the 3-connected ones; (iii) show that there are only finitely many 3-connected 2-crossing-critical graphs not containing a subdivision of $V_{10}$; and (iv) determine all the 3-connected 2-crossing-critical graphs that do not contain a subdivision of $V_{8}$.