Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A simple proof of the tree-width duality theorem
We give a simple proof of the "tree-width duality theorem" of Seymour and Thomas that the tree-width of a finite graph is exactly one less than the largest order of its brambles.
On the (adjacency) metric dimension of corona and strong product graphs and their local variants: combinatorial and computational results
The metric dimension is quite a well-studied graph parameter. Recently, the adjacency metric dimension and the local metric dimension have been introduced. We combine these variants and introduce the local adjacency metric dimension. We show that the (local) metric dimension of the corona product of a graph of order $n$ and some non-trivial graph $H$ equals $n$ times the (local) adjacency metric dimension of $H$. This strong relation also enables us to infer computational hardness results for computing the (local) metric dimension, based on according hardness results for (local) adjacency metric dimension that we also provide. We also study combinatorial properties of the strong product of graphs and emphasize the role different types of twins play in determining in particular the adjacency metric dimension of a graph.
Rigidity of 3-colorings of the discrete torus
Published
• View Publication
• BIB
We prove that a uniformly chosen proper $3$-coloring of the $d$-dimensional discrete torus has a very rigid structure when the dimension $d$ is sufficiently high. We show that with high probability the coloring takes just one color on almost all of either the even or the odd sub-torus. In particular, one color appears on nearly half of the torus sites. This model is the zero temperature case of the $3$-state anti-ferromagnetic Potts model from statistical physics.
Our work extends previously obtained results for the discrete torus with specific boundary conditions. The main challenge in this extension is to overcome certain topological obstructions which appear when no boundary conditions are imposed on the model. Locally, a proper $3$-coloring defines the discrete gradient of an integer-valued height function which changes by exactly one between adjacent sites. However, these locally-defined functions do not always yield a height function on the entire torus, as the gradients may accumulate to a non-zero quantity when winding around the torus. Our main result is that in high dimensions, a global height function is well defined with high probability, allowing to deduce the rigid structure of the coloring from previously known results. Moreover, the probability that the gradients accumulate to a vector $m$, corresponding to the winding in each of the $d$ directions, is at most exponentially small in the product of $\|m\|_\infty$ and the area of a cross-section of the torus.
In the course of the proof we develop discrete analogues of notions from algebraic topology. This theory is developed in some generality and may be of use in the study of other models.
On graphs with no induced subdivision of $K_4$
Published in Journal of Combinatorial Theory, Series B, 102:924-947, 2012
• View Publication
• BIB
We prove a decomposition theorem for graphs that do not contain a subdivision of $K_4$ as an induced subgraph where $K_4$ is the complete graph on four vertices. We obtain also a structure theorem for the class $\cal C$ of graphs that contain neither a subdivision of $K_4$ nor a wheel as an induced subgraph, where a wheel is a cycle on at least four vertices together with a vertex that has at least three neighbors on the cycle. Our structure theorem is used to prove that every graph in $\cal C$ is 3-colorable and entails a polynomial-time recognition algorithm for membership in $\cal C$. As an intermediate result, we prove a structure theorem for the graphs whose cycles are all chordless.
On the location of roots of graph polynomials
Published
• View Publication
• BIB
Roots of graph polynomials such as the characteristic polynomial, the chromatic polynomial, the matching polynomial, and many others are widely studied. In this paper we examine to what extent the location of these roots reflects the graph theoretic properties of the underlying graph.
A new formula for Pfaffian-type Segal-Sugawara vector
Published
• View Publication
• BIB
A combinatorial formula for Pfaffian for the universal enveloping algebra of the affine Kac - Moody algebra of even orthogonal Lie algebra is proved. It allows easily to compute the image of this Segal-Sugawara vector under the Harish-Chandra homomorphism and to deduce formulas for classical Pfaffian of universal enveloping algebra of the even orthogonal Lie algebra.
Detecting an induced net subdivision
Published in Journal of Combinatorial Theory, Series B, 103(5):630-641, 2013
• View Publication
• BIB
A {\em net} is a graph consisting of a triangle $C$ and three more vertices, each of degree one and with its neighbour in $C$, and all adjacent to different vertices of $C$. We give a polynomial-time algorithm to test whether an input graph has an induced subgraph which is a subdivision of a net. Unlike many similar questions, this does not seem to be solvable by an application of the "three-in-a-tree" subroutine.
Linear balanceable and subcubic balanceable graphs
Published in Journal of Graph Theory, 75(2):150-166, 2014
• View Publication
• BIB
In [{Structural properties and decomposition of linear balanced matrices}, {\it Mathematical Programming}, 55:129--168, 1992], Conforti and Rao conjectured that every balanced bipartite graph contains an edge that is not the unique chord of a cycle. We prove this conjecture for balanced bipartite graphs that do not contain a cycle of length 4 (also known as linear balanced bipartite graphs), and for balanced bipartite graphs whose maximum degree is at most 3. We in fact obtain results for more general classes, namely linear balanceable and subcubic balanceable graphs. Additionally, we prove that cubic balanced graphs contain a pair of twins, a result that was conjectured by Morris, Spiga and Webb in [Balanced Cayley graphs and balanced planar graphs, {\it Discrete Mathematics}, 310:3228--3235, 2010].
Expansion in finite simple groups of Lie type
Published
• View Publication
• BIB
We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper, establishing strongly dense subgroups in simple algebraic groups.
Poset vectors and generalized permutohedra
Published
• View Publication
• BIB
We show that given a poset P and and a subposet Q, the integer points obtained by restricting linear extensions of P to Q can be explained via integer lattice points of a generalized permutohedron.
On the limiting distribution of the metric dimension for random forests
Published
• View Publication
• BIB
The metric dimension of a graph G is the minimum size of a subset S of vertices of G such that all other vertices are uniquely determined by their distances to the vertices in S. In this paper we investigate the metric dimension for two different models of random forests, in each case obtaining normal limit distributions for this parameter.
Isotemporal classes of diasters, beachballs, and daisies
If the vertices composing a network interact at distinct time points, the temporal ordering of these interactions and the network's graph structure are sufficient to convey the routes by which information can flow in the network. Two networks with real-valued edge labels are temporally isomorphic if there exists a graph isomorphism f:N->M that preserves temporal paths - paths in which sequential edge labels are strictly increasing. An equivalence class of temporally ismorphic networks is known as an isotemporal class. Methods to determine the number of isotemporal classes of a particular graph structure N(G) are non-obvious, and refractory to traditional techniques such as Pólya enumeration (Pólya, 1937). Here, I present a simple formula for the number of isotemporal classes of diasters, graphs composed of a vertex of degree a+1 connected to a vertex of degree b+1, with all other vertices of degree 1 (denoted D(a,b)). In particular, N(D(a,b)))=ab+a+b+1 if a is not equal to b, and N(D(a,a)))=(1/2) (a^2+3a+2) otherwise. This formula is then extended to five additional types of pseudograph by application of a theorem that states N(G) is preserved between two graph types if edge adjacencies and automorphisms are preserved, and provided that any two networks are members of the same isotemporal class if and only if they are isomorphic by transpositions of sequential edge labels on non-adjacent edges.
Characterizations of finite classical polar spaces by intersection numbers with hyperplanes and speces of codimension 2
Published in Combinatorica 30, (2010), 25-45
• View Publication
• BIB
In this article we show that non-singular quadrics and non-singular Hermitian varieties are completely characterized by their intersection numbers with respect to hyperplanes and spaces of codimension 2. This strongly generalizes a result by Ferri and Tallini \cite{FT} and also provides necessary and sufficient conditions for quasi-quadrics (respectively their Hermitian analogues) to be non-singular quadrics (respectively Hermitian varieties).} \section{Introduction} When Segre \cite{Segre} proved his celebrated characterization of conics ("every set of $q+1$ points in $\mathrm{PG}(2,q)$, $q$ odd, no three of which are collinear, is a conic"), he did more than proving a beautiful and interesting theorem; he in fact provided the starting point of a new direction in combinatorial geometry. In this branch of combinatorics the idea is to provide purely combinatorial characterizations of objects classically defined in an algebraic way. This article wants to contribute to this theory by proving strong characterizations of classical finite polar spaces.
Claw-freeness, 3-homogeneous subsets of a graph and a reconstruction problem
Published in Contributions to Discrete Mathematics, 6(1):86-97, 2011
• View Publication
• BIB
We describe ${\rm Forb}\{K_{1,3}, \bar {K_{1,3}}\}$, the class of graphs $G$ such that $G$ and its complement $\bar{G}$ are claw-free. With few exceptions, it is made of graphs whose connected components consist of cycles of length at least 4, paths, and of the complements of these graphs. Considering the hypergraph ${\mathcal H}^{(3)}(G)$ made of the 3-element subsets of the vertex set of a graph $G$ on which $G$ induces a clique or an independent subset, we deduce from above a description of the Boolean sum $G\dot{+}G'$ of two graphs $G$ and $G'$ giving the same hypergraph. We indicate the role of this latter description in a reconstruction problem of graphs up to complementation.
Graphs that do not contain a cycle with a node that has at least two neighbors on it
Published in P. Aboulker, M. Radovanovic, N. Trotignon and K. Vuskovic. Graphs that do not contain a cycle with a node that has at least two neighbors on it. SIAM Journal on Discrete Mathematics, 26(4):1510-1531, 2012
• View Publication
• BIB
We recall several known results about minimally 2-connected graphs, and show that they all follow from a decomposition theorem. Starting from an analogy with critically 2-connected graphs, we give structural characterizations of the classes of graphs that do not contain as a subgraph and as an induced subgraph, a cycle with a node that has at least two neighbors on the cycle. From these characterizations we get polynomial time recognition algorithms for these classes, as well as polynomial time algorithms for vertex-coloring and edge-coloring.
Edge-colouring and total-colouring chordless graphs
Published in R.C.S. Machado, C.M.H. de Figueiredo and N. Trotignon. Edge-colouring and total-colouring chordless graphs, Discrete Mathematics, 313:1547-1552, 2013
• View Publication
• BIB
A graph $G$ is \emph{chordless} if no cycle in $G$ has a chord. In the present work we investigate the chromatic index and total chromatic number of chordless graphs. We describe a known decomposition result for chordless graphs and use it to establish that every chordless graph of maximum degree $Δ\geq 3$ has chromatic index $Δ$ and total chromatic number $Δ+ 1$. The proofs are algorithmic in the sense that we actually output an optimal colouring of a graph instance in polynomial time.
On generalized Hadamard matrices GH(q,q)'s and GH(q,q^2)'s
A matrix $H=[d_{ij}]$ is a generalized Hadamard matrix of order $uλ$ with entries from $U$ which is a finite group of order $u$ (for short $\mathrm{GH}(u,\,λ)$) such that whenever $i\neq \ell$ the set $\{d_{ij}d_{\ell j}^{-1}\,|\, 1\leq j\leq uλ\}$ contains each element of $U$ exactly $λ$ times. In this paper, we construct $\mathrm{GH}(q,\,q)$'s and $\mathrm{GH}(q,\,q^{2})$'s over additive groups of finite fields $\mathrm{GF}(q)$'s by using some sorts of functions.
On Generating Binary Words Palindromically
Published
• View Publication
• BIB
We regard a finite word $u=u_1u_2\cdots u_n$ up to word isomorphism as an equivalence relation on $\{1,2,\ldots, n\}$ where $i$ is equivalent to $j$ if and only if $x_i=x_j.$ Some finite words (in particular all binary words) are generated by "{\it palindromic}" relations of the form $k\sim j+i-k$ for some choice of $1\leq i\leq j\leq n$ and $k\in \{i,i+1,\ldots,j\}.$ That is to say, some finite words $u$ are uniquely determined up to word isomorphism by the position and length of some of its palindromic factors. In this paper we study the function $μ(u)$ defined as the least number of palindromic relations required to generate $u.$ We show that every aperiodic infinite word must contain a factor $u$ with $μ(u)\geq 3,$ and that some infinite words $x$ have the property that $μ(u)\leq 3$ for each factor $u$ of $x.$ We obtain a complete classification of such words on a binary alphabet (which includes the well known class of Sturmian words). In contrast for the Thue-Morse word, we show that the function $μ$ is unbounded.
Linear and cyclic distance-three labellings of trees
Published in Discrete Applied Math. 178 (2014), 109-120
• View Publication
• BIB
Given a finite or infinite graph $G$ and positive integers $\ell, h_1, h_2, h_3$, an $L(h_1, h_2, h_3)$-labelling of $G$ with span $\ell$ is a mapping $f: V(G) \rightarrow \{0, 1, 2, \ldots, \ell\}$ such that, for $i = 1, 2, 3$ and any $u, v \in V(G)$ at distance $i$ in $G$, $|f(u) - f(v)| \geq h_i$. A $C(h_1, h_2, h_3)$-labelling of $G$ with span $\ell$ is defined similarly by requiring $|f(u) - f(v)|_{\ell} \ge h_i$ instead, where $|x|_{\ell} = \min\{|x|, \ell-|x|\}$. The minimum span of an $L(h_1, h_2, h_3)$-labelling, or a $C(h_1, h_2, h_3)$-labelling, of $G$ is denoted by $λ_{h_1,h_2,h_3}(G)$, or $σ_{h_1,h_2,h_3}(G)$, respectively. Two related invariants, $λ^*_{h_1,h_2,h_3}(G)$ and $σ^*_{h_1,h_2,h_3}(G)$, are defined similarly by requiring further that for every vertex $u$ there exists an interval $I_u$ $\mod~(\ell + 1)$ or $\mod~\ell$, respectively, such that the neighbours of $u$ are assigned labels from $I_u$ and $I_v \cap I_w = \emptyset$ for every edge $vw$ of $G$. A recent result asserts that the $L(2,1,1)$-labelling problem is NP-complete even for the class of trees. In this paper we study the $L(h, p, p)$ and $C(h, p, p)$ labelling problems for finite or infinite trees $T$ with finite maximum degree, where $h \ge p \ge 1$ are integers. We give sharp bounds on $λ_{h,p,p}(T)$, $λ^*_{h,p,p}(T)$, $σ_{h, 1, 1}(T)$ and $σ^*_{h, 1, 1}(T)$, together with linear time approximation algorithms for the $L(h,p,p)$-labelling and the $C(h, 1, 1)$-labelling problems for finite trees. We obtain the precise values of these four invariants for a few families of trees. We give sharp bounds on $σ_{h,p,p}(T)$ and $σ^*_{h,p,p}(T)$ for trees with maximum degree $Δ\le h/p$, and as a special case we obtain that $σ_{h,1,1}(T) = σ^*_{h,1,1}(T) = 2h + Δ- 1$ for any tree $T$ with $Δ\le h$.
Combinatorial optimization with 2-joins
Published in N. Trotignon and K. Vuskovic. Combinatorial optimization with 2-joins. Journal of Combinatorial Theory, Series B, 102:153-185, 2012
• View Publication
• BIB
A 2-join is an edge cutset that naturally appears in decomposition of several classes of graphs closed under taking induced subgraphs, such as perfect graphs and claw-free graphs. In this paper we construct combinatorial polynomial time algorithms for finding a maximum weighted clique, a maximum weighted stable set and an optimal coloring for a class of perfect graphs decomposable by 2-joins: the class of perfect graphs that do not have a balanced skew partition, a 2-join in the complement, nor a homogeneous pair. The techniques we develop are general enough to be easily applied to finding a maximum weighted stable set for another class of graphs known to be decomposable by 2-joins, namely the class of even-hole-free graphs that do not have a star cutset.
We also give a simple class of graphs decomposable by 2-joins into bipartite graphs and line graphs, and for which finding a maximum stable set is NP-hard. This shows that having holes all of the same parity gives essential properties for the use of 2-joins in computing stable sets.