Source author record

Josef Lauri

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

18works
1topics
4close collaborators

Published work

18 publications

preprint2022arXiv

Index of Parameters of Iterated Line Graphs

Let GG be a prolific graph, that is a finite connected simple graph which is not isomorphic to a cycle nor a path nor the star graph K1,3K_{1,3}. The line-graph of GG, denoted by L(G)L(G), is defined by having its vertex-set equal to the edge-set of GG and two vertices of L(G)L(G) are adjacent if the corresponding edges are adjacent in GG. For a positive integer kk, the iterated line-graph Lk(G)L^k(G) is defined recursively by Lk(G)=L(Lk−1(G))L^k(G)=L(L^{k-1}(G)). We consider fifteen graph parameters and study their behaviour when the operation of taking the line-graph is iterated. We shall first show that all of these parameters are unbounded. This idea is motivated by a well-known result of van Rooij and Wilf that says that the number of vertices is unbounded if and only if the graph is prolific. We then study of the value of k(P,F)k(P,{\mathcal F}), which is the index of a family of prolific graphs with regards to a given graph parameter P(G)P(G). For a given parameter P(G)P(G), the index of GG is denoted by ind(P,G)=min⁡{r:P(G)<P(Lr(G)}ind(P,G) = \min \{ r : P(G) < P(L^r(G) \}. Now for a family F\mathcal F of prolific graphs, the index of the family is k(P,F)=max⁡{ind(P,G):G∈F}k(P,\mathcal{F}) = \max \{ ind(P,G) : G \in \mathcal F\}. The problem of determining the index of a parameter over the family of prolific graphs is motivated by a result of Chartrand who showed that it could require k=∣V(G)∣−3k=|V(G)|-3 iterations for Lk(G)L^k(G) to have a hamiltonian cycle. For twelve of the parameters considered, we exactly determine k(P,F)k(P,\mathcal F) where F\mathcal F is the family of all prolific graphs, and for some parameters we also characterize the class of prolific graphs realizing the extremal value k(P,Fk(P,\mathcal F). Interesting open problems remain, in particular completing the determination of k(P,F)k(P,\mathcal F) for the three parameters: the independence number, independent domination number and domination number.

preprint2022arXiv

The feasibility problem for line graphs

We consider the following feasibility problem: given an integer n≥1n \geq 1 and an integer mm such that 0≤m≤(n2)0 \leq m \leq \binom{n}{2}, does there exist a line graph L=L(G)L = L(G) with exactly nn vertices and mm edges ? We say that a pair (n,m)(n,m) is non-feasible if there exists no line graph L(G)L(G) on nn vertices and mm edges, otherwise we say (n,m)(n,m) is a feasible pair. Our main result shows that for fixed n≥5n\geq 5, the values of mm for which (n,m)(n, m) is a non-feasible pair, form disjoint blocks of consecutive integers which we completely determine. On the other hand we prove, among other things, that for the more general family of claw-free graphs (with no induced K1,3K_{1,3}-free subgraph), all (n,m)(n,m)-pairs in the range 0≤m≤(n2)0 \leq m \leq \binom{n}{2} are feasible pairs.

preprint2020arXiv

On small balanceable, strongly-balanceable and omnitonal graphs

In Ramsey theory for graphs we are given a graph GG and we are required to find the least n0n_0 such that, for any n≥n0n\geq n_0, any red/blue colouring of the edges of KnK_n gives a subgraph GG all of whose edges are blue or all are red. Here we shall be requiring that, for any red/blue colouring of the edges of KnK_n, there must be a copy of GG such that its edges are partitioned equally as red or blue (or the sizes of the colour classes differs by one in the case when GG has an odd number of edges). This introduces the notion of balanceable graphs and the balance number of GG which, if it exists, is the minimum integer bal(n,G)(n, G) such that, for any red/blue colouring of E(Kn)E(K_n) with more than bal(n,G)(n, G) edges of either colour, KnK_n will contain a balanced coloured copy of GG as described above. This parameter was introduced by Caro, Hansberg and Montejano in \cite{2018arXivCHM}. There, the authors also introduce the strong balance number sbal(n,G)(n,G) and the more general omnitonal number ot(n,G)(n, G) which requires copies of GG containing a complete distribution of the number of red and blue edges over E(G)E(G). In this paper we shall catalogue bal(n,G)(n, G), sbal(n,G)(n, G) and ot(n,G)(n,G) for all graphs GG on at most four edges. We shall be using some of the key results of Caro et al, which we here reproduce in full, as well as some new results which we prove here. For example, we shall prove that the union of two bipartite graphs with the same number of edges is always balanceable.

preprint2020arXiv

On zero-sum spanning trees and zero-sum connectivity

We consider 22-colourings f:E(G)→{−1,1}f : E(G) \rightarrow \{ -1 ,1 \} of the edges of a graph GG with colours −1-1 and 11 in Z\mathbb{Z}. A subgraph HH of GG is said to be a zero-sum subgraph of GG under ff if f(H):=∑e∈E(H)f(e)=0f(H) := \sum_{e\in E(H)} f(e) =0. We study the following type of questions, in several cases obtaining best possible results: Under which conditions on ∣f(G)∣|f(G)| can we guarantee the existence of a zero-sum spanning tree of GG? The types of GG we consider are complete graphs, K3K_3-free graphs, dd-trees, and maximal planar graphs. We also answer the question of when any such colouring contains a zero-sum spanning path or a zero-sum spanning tree of diameter at most 33, showing in passing that the diameter-33 condition is best possible. Finally, we give, for G=KnG = K_n, a sharp bound on ∣f(Kn)∣|f(K_n)| by which an interesting zero-sum connectivity property is forced, namely that any two vertices are joined by a zero-sum path of length at most 44. One feature of this paper is the proof of an Interpolation Lemma leading to a Master Theorem from which many of the above results follow and which can be of independent interest.

preprint2016arXiv

Two short proofs of the Perfect Forest Theorem

A perfect forest is a spanning forest of a connected graph GG, all of whose components are induced subgraphs of GG and such that all vertices have odd degree in the forest. A perfect forest generalised a perfect matching since, in a matching, all components are trees on one edge. Scott first proved the Perfect Forest Theorem, namely, that every connected graph of even order has a perfect forest. Gutin then gave another proof using linear algebra. We give here two very short proofs of the Perfect Forest Theorem which use only elementary notions from graph theory. Both our proofs yield polynomial-time algorithms for finding a perfect forest in a connected graph of even order.

preprint2015arXiv

Selective Hypergraph Colourings

We look at colourings of rr-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge EE in an rr-uniform hypergraph HH whose vertices are coloured is the partition of rr induced by the colour classes of the vertices in EE. Let QQ be a set of partitions of rr. A QQ-colouring of HH is a colouring of its vertices such that only patterns appearing in QQ are allowed. We first show that many known hypergraph colouring problems, including Ramsey theory, can be stated in the language of QQ-colourings. Then, using as our main tools the notions of QQ-colourings and ΣΣ-hypergraphs, we define and prove a result on tight colourings, which is a strengthening of the notion of unique colourability. ΣΣ-hypergraphs are a natural generalisation of σσ-hypergraphs introduced by the first two authors in an earlier paper. We also show that there exist ΣΣ-hypergraphs with arbitrarily large QQ-chromatic number and chromatic number but with bounded clique number. Dvorak et al. have characterised those QQ which can lead to a hypergraph with a gap in its QQ-spectrum. We give a short direct proof of the necessity of their condition on QQ. We also prove a partial converse for the special case of ΣΣ-hypergraphs. Finally, we show that, for at least one family QQ which is known to yield hypergraphs with gaps, there exist no ΣΣ-hypergraphs with gaps in their QQ-spectrum.

preprint2014arXiv

(2,2)(2,2)-colourings and clique-free σσ-hypergraphs

We consider vertex colourings of rr-uniform hypergraphs HH in the classical sense, that is such that no edge has all its vertices given the same colour, and (2,2)(2,2)-colourings of HH in which the vertices in any edge are given exactly two colours. This is a special case of constrained colourings introduced by Bujtas and Tuza which, in turn, is a generalisation of Voloshin's colourings of mixed hypergraphs. We study, χ(H)χ(H), the classical chromatic number, and the (2,2)(2,2)-spectrum of HH, that is, the set of integers kk for which HH has a (2,2)(2,2)-colouring using exactly kk colours. We present extensions of hypergraphs which preserve both the chromatic number and the (2,2)(2,2)-spectrum and which, however often repeated, do not increase the clique number of HH by more than a fixed number. In particular, we present sparse (2,2)(2,2)-colourable clique-free σσ-hypergraphs having arbitrarily large chromatic number - these rr-uniform hypergraphs were studied by the authors in earlier papers. We use these ideas to extend some known 33-uniform hypergraphs which exhibit a (2,2)(2,2)-spectrum with remarkable gaps. We believe that this work is the first to present an extension of hypergraphs which preserves both χ(H)χ(H) and the (2,2)(2,2)-spectrum of HH simultaneously.

preprint2014arXiv

A Generalisation of Isomorphisms with Applications

In this paper, we study the behaviour of TF-isomorphisms, a natural generalisation of isomorphisms. TF-isomorphisms allow us to simplify the approach to seemingly unrelated problems. In particular, we mention the Neighbourhood Reconstruction problem, the Matrix Symmetrization problem and Stability of Graphs. We start with a study of invariance under TF-isomorphisms. In particular, we show that alternating trails and incidence double covers are conserved by TF-isomorphisms, irrespective of whether they are TF-isomorphisms between graphs or digraphs. We then define an equivalence relation and subsequently relate its equivalence classes to the incidence double cover of a graph. By directing the edges of an incidence double cover from one colour class to the other and discarding isolated vertices we obtain an invariant under TF-isomorphisms which gathers a number of invariants. This can be used to study TF-orbitals, an analogous generalisation of the orbitals of a permutation group.

preprint2014arXiv

Constrained colouring and σσ-hypergraphs

A constrained colouring or, more specifically, an (α,β)(α,β)-colouring of a hypergraph HH, is an assignment of colours to its vertices such that no edge of HH 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 rr-uniform hypergraphs, classical colourings correspond to (2,r)(2,r)-colourings while an important instance of Voloshin colourings of rr-uniform hypergraphs gives (2,r−1)(2, r-1)-colourings. One intriguing aspect of all these colourings, not present in classical colourings, is that HH can have gaps in its (α,β)(α,β)-spectrum, that is, for k1<k2<k3k_1 < k_2 < k_3, HH would be (α,β)(α,β)-colourable using k1k_1 and using k3k_3 colours, but not using k2k_2 colours. In an earlier paper, the first two authors introduced, for σσ a partition of rr, a very versatile type of rr-uniform hypergraph which they called σσ-hypergraphs. They showed that, by simple manipulation of the parameters of a σσ-hypergraph HH, one can obtain families of hypergraphs which have (2,r−1)(2,r-1)-colourings exhibiting various interesting chromatic properties. They also showed that, if the smallest part of σσ is at least 2, then HH will never have a gap in its (2,r−1)(2,r-1)-spectrum but, quite surprisingly, they found examples where gaps re-appear when α=β=2α=β=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.

preprint2014arXiv

Degree Monotone Paths

We shall study degree-monotone paths in graphs, a problem inspired by the celebrated theorem of Erd{ő}s-Szekeres concerning the longest monotone subsequence of a given sequence of numbers. A path P in a graph G is said to be a degree monotone path if the sequence of degrees of the vertices in P in the order they appear in P is monotonic. In this paper we shall consider these three problem related to this parameter: 1. Find bounds on mp(G)mp(G) in terms of other parameters of GG. 2. Study f(n,k)f(n,k) defined to be the maximum number of edges in a graph on nn vertices with mp(G)<kmp(G) < k. 3. Estimate the minimum and the maximum over all graph GG on nn vertices of mp(G)+mp(G‾)mp(G)+mp(\overline{G}). For the first problem our main tool will be the Gallai-Roy Theorem on directed paths and chromatic number. We shall also consider in some detail maximal planar and maximal outerplanar graphs in order to investigate the sharpness of the bounds obtained. For the second problem we establish a close link between f(n,k)f(n,k) and the classical Turan numbers. For the third problem we establish some Nordhaus-Gaddum type of inequalities. We conclude by indicating some open problems which our results point to.

preprint2014arXiv

Degree Monotone Paths and Graph Operations

A path PP in a graph GG is said to be a degree monotone path if the sequence of degrees of the vertices of PP in the order in which they appear on PP is monotonic. The length of the longest degree monotone path in GG is denoted by mp(G)mp(G). This parameter was first studied in an earlier paper by the authors where bounds in terms of other parameters of GG were obtained. In this paper we concentrate on the study of how mp(G)mp(G) changes under various operations on GG. We first consider how mp(G)mp(G) changes when an edge is deleted, added, contracted or subdivided. We similarly consider the effects of adding or deleting a vertex. We sometimes restrict our attention to particular classes of graphs. Finally we study mp(G×H)mp(G \times H) in terms of mp(G)mp(G) and mp(H)mp(H) where ×\times is either the Cartesian product or the join of two graphs. In all these cases we give bounds on the parameter mpmp of the modified graph in terms of the original graph or graphs and we show that all the bounds are sharp.

preprint2014arXiv

Independence and Matchings in σσ-hypergraphs

Let σσ be a partition of the positive integer rr. A σσ-hypergraph H=H(n,r,q∣σ)H=H(n,r,q|σ) is an rr-uniform hypergraph on nqnq vertices which are partitioned into nn classes V1,V2,…,VnV_1, V_2, \ldots, V_n each containing qq vertices. An rr-subset KK of vertices is an edge of the hypergraph if the partition of rr formed by the non-zero cardinalities ∣K∩Vi∣,1≤i≤n,|K\cap V_i|, 1\leq i \leq n, is σσ. In earlier works we have considered colourings of the vertices of HH which are constrained such that any edge has at least αα and at most ββ vertices of the same colour, and we have shown that interesting results can be obtained by varying α,βα, β and the parameters of HH appropriately. In this paper we continue to investigate the versatility of σσ-hypergraphs by considering two classical problems: independence and matchings. We first demonstrate an interesting link between the constrained colourings described above and the kk-independence number of a hypergraph, that is, the largest cardinality of a subset of vertices of a hypergraph not containing k+1k+1 vertices in the same edge. We also give an exact computation of the kk-independence number of the σσ-hypergraph HH. We then present results on maximum, and sometimes perfect, matchings in HH. These results often depend on divisibility relations between the parameters of HH and on the highest common factor of the parts of σσ.

preprint2014arXiv

The Saturation Number for the length of Degree Monotone Paths

A degree monotone path in a graph GG is a path PP such that the sequence of degrees of the vertices in the order in which they appear on PP is monotonic. The length of the longest degree monotone path in GG is denoted by mp(G)mp(G). This parameter, inspired by the well-known Erdos-Szekeres theorem, has been studied by the authors in two earlier papers. Here we consider a saturation problem for the parameter mp(G)mp(G). We call GG saturated if, for every edge ee added to GG, mp(G+e)>mp(G)mp(G+e) >mp(G), and we define h(n,k)h(n,k) to be the least possible number of edges in a saturated graph GG on nn vertices with mp(G)<kmp(G) < k, while mp(G+e)≥kmp(G+e) \geq k for every new edge ee. We obtain linear lower and upper bounds for h(n,k)h(n,k), we determine exactly the values of h(n,k)h(n,k) for k=3k=3 and 44, and we present constructions of saturated graphs.

preprint2014arXiv

Unstable Graphs: A Fresh Outlook via TF-Automorphisms

In this paper, we first establish the very close link between stability of graphs, a concept first introduced in \cite{Scapsalvi1} and studied most notably by Surowski \cite{Surowski1}, \cite{Surowski2} and Wilson \cite{Wilson01} and two-fold automorphisms. The concept of two-fold isomorphisms, as far as we know, first appeared in literature in the form of isotopies of digraphs \cite{zelinka4}, \cite{zelinka1}, \cite{zelinka2}, \cite{zelinka3} and later studied formally in \cite{lms1}, \cite{lms2} with a greater emphasis on undirected graphs. We then turn our attention to the stability of graphs which have every edge on a triangle, but with the fresh outlook provided by TF-automorphisms. Amongst such graphs are strongly regular graphs with certain parameters. The advantages of this fresh outlook are highlighted when we ultimately present a method of constructing and generating unstable graphs with large diameter having every edge lying on a triangle. This was a rather surprising outcome.

preprint2013arXiv

Non-monochromatic non-rainbow colourings of σσ-hypergraphs

One of the most interesting new developments in hypergraph colourings in these last few years has been Voloshin's notion of colourings of mixed hypergraphs. In this paper we shall study a specific instance of Voloshin's idea: a non-monochromatic non-rainbow (NMNR) colouring of a hypergraph is a colouring of its vertices such that every edge has at least two vertices coloured with different colours (non-monochromatic) and no edge has all of its vertices coloured with distinct colours (non-rainbow). Perhaps the most intriguing phenomenon of such colourings is that a hypergraph can have gaps in its NMNR chromatic spectrum, that is, for some k1<k2<k3k_1 < k_2 < k_3, the hypergraph is NMNR colourable with k1k_1 and with k3k_3 colours but not with k2k_2 colours. Several beautiful examples have been constructed of NMNR colourings of hypergraphs exhibiting phenomena not seen in classical colourings. Many of these examples are either \emph{ad hoc} or else are based on designs. The latter are difficult to construct and they generally give uniform rr-hypergraphs only for low values of rr, generally r=3r=3. In this paper we shall study the NMNR colourings of a type of rr-uniform hypergraph which we call σσ-hypergraphs. The attractive feature of these σσ-hypergraphs is that they are easy to define, even for large rr, and that, by suitable modifications of their parameters, they can give families of hypergraphs which are guaranteed to have NMNR spectra with gaps or NMNR spectra without gaps. These σσ-hypergraphs also team up very well with the notion of colour-bounded hypergraphs recently introduced by Bujt{á}s and Tuza to give further control on the appearance of gaps and perhaps explain better the existence of gaps in the colouring of mixed hypergraphs.

preprint2013arXiv

On the edge-reconstruction number of a tree

The edge-reconstruction number ern(G)(G) of a graph GG is equal to the minimum number of edge-deleted subgraphs G−eG-e of GG which are sufficient to determine GG up to isomorphsim. Building upon the work of Molina and using results from computer searches by Rivshin and more recent ones which we carried out, we show that, apart from three known exceptions, all bicentroidal trees have edge-reconstruction number equal to 2. We also exhibit the known trees having edge-reconstruction number equal to 3 and we conjecture that the three infinite families of unicentroidal trees which we have found to have edge-reconstruction number equal to 3 are the only ones.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.