tree
6737 papers tagged with this keyword
Representing some non-representable matroids
Published in Adv. in Appl. Math. 50 (2013), no. 1, 228-242
• View Publication
• BIB
We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such representations extends Tutte's definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte's representability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field.
Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field.
Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class.
An f-chromatic spanning forest of edge-colored complete bipartite graphs
Published in The Australasian Journal of Combinatorics, 61 (2015), 130-137
• Search Publication
In 2001, Brualdi and Hollingsworth proved that an edge-colored balanced complete bipartite graph Kn,n with a color set C = {1,2,3,..., 2n-1} has a heterochromatic spanning tree if the number of edges colored with colors in R is more than |R|^2 /4 for any non-empty subset R \subseteq C, where a heterochromatic spanning tree is a spanning tree whose edges have distinct colors, namely, any color appears at most once. In 2010, Suzuki generalized heterochromatic graphs to f-chromatic graphs, where any color c appears at most f(c). Moreover, he presented a necessary and sufficient condition for graphs to have an f-chromatic spanning forest with exactly w components. In this paper, using this necessary and sufficient condition, we generalize the Brualdi-Hollingsworth theorem above.
Set families with a forbidden induced subposet
Published
• View Publication
• BIB
For each poset $H$ whose Hasse diagram is a tree of height $k$, we show that the largest size of a family $\cF$ of subsets of $[n]=\{1,..., n\}$ not containing $H$ as an induced subposet is asymptotic to $(k-1){n\choose \fl{n/2}}$. This extends the result of Bukh \cite{bukh}, which in turn generalizes several known results including Sperner's theorem.
The set of numerical semigroups of a given genus
Published
• View Publication
• BIB
In this paper we present a new approach to construct the set of numerical semigroups with a fixed genus. Our methodology is based on the construction of the set of numerical semigroups with fixed Frobenius number and genus. An equivalence relation is given over this set and a tree structure is defined for each equivalence class. We also provide a more efficient algorithm based in the translation of a numerical semigroup to its so-called Kunz-coordinates vector.
Weighted pebbling numbers on graphs
We expand the theory of pebbling to graphs with weighted edges. In a weighted pebbling game, one player distributes a set amount of weight on the edges of a graph and his opponent chooses a target vertex and places a configuration of pebbles on the vertices. Player one wins if, through a series of pebbling moves, he can move at least one pebble to the target. A pebbling move of p pebbles across an edge with weight w leaves the floor of pw pebbles on the next vertex. We find the weighted pebbling numbers of stars, graphs with at least 2|V|-1 edges, and trees with given targets. We give an explicit formula for the minimum total weight required on the edges of a length-2 path, solvable with p pebbles and exhibit a graph which requires an edge with weight 1/3 in order to achieve its weighted pebbling number.
On the enumeration of rooted trees with fixed size of maximal decreasing trees
Published in Discrete Mathematics, 312(2), 419-426, 2012
• View Publication
• BIB
Let $\T_{n}$ be the set of rooted labeled trees on $\set{0,...,n}$. A maximal decreasing subtree of a rooted labeled tree is defined by the maximal subtree from the root with all edges being decreasing. In this paper, we study a new refinement $\T_{n,k}$ of $\T_n$, which is the set of rooted labeled trees whose maximal decreasing subtree has $k+1$ vertices.
Dual trees must share their ends
Published
• View Publication
• BIB
We extend to infinite graphs the matroidal characterization of finite graph duality, that two graphs are dual iff they have complementary spanning trees in some common edge set. The naive infinite analogue of this fails.
The key in an infinite setting is that dual trees must share between them not only the edges of their host graphs but also their ends: the statement that a set of edges is acyclic and connects all the vertices in one of the graphs iff the remaining edges do the same in its dual will hold only once each of the two graphs' common ends has been assigned to one graph but not the other, and 'cycle' and 'connected' are interpreted topologically in the space containing the respective edges and precisely the ends thus assigned.
This property characterizes graph duality: if, conversely, the spanning trees of two infinite graphs are complementary in this end-sharing way, the graphs form a dual pair.
A note on the existence of an alternating sign on a spanning tree of graphs
Published in Kyungpook Math. J. 52(4) (2012), 513--519
• View Publication
• BIB
For a spanning tree T of a connected graph G and for a labelling φ: E(T) \rightarrow {+, -}, φis called an alternating sign on a spanning tree T of a graph G if for any cotree edge e \in E(G)-E(T), the unique path in T joining both end vertices of e has alternating signs. In the present note, we prove that any graph has a spanning tree T and an alternating sign on T.
Some work on a problem of Marco Buratti
Marco Buratti's conjecture states that if $p$ is a prime and $L$ a multiset containing $p-1$ non-zero elements from the integers modulo $p$, then there exists a Hamiltonian path in the complete graph of order $p$ with edge lengths in $L$. Say that a multiset satisfying the above conjecture is realizable. We generalize the problem for trees, show that multisets can be realized as trees with diameter at least one more than the number of distinct elements in the multiset, and affirm the conjecture for multisets of the form $\{φ_k(1)^a, φ_k(2)^b, φ_k(3)^c\}$ where $φ_k(i)=\min\{ki \pmod p, -ki \pmod p\}$.
The Bohman-Frieze Process Near Criticality
Published
• View Publication
• BIB
The Erdős-Rényi process begins with an empty graph on n vertices and edges are added randomly one at a time to a graph. A classical result of Erdős and Rényi states that the Erdős-Rényi process undergoes a phase transition, which takes place when the number of edges reaches n/2 (we say at time 1) and a giant component emerges. Since this seminal work of Erdős and Rényi, various random graph models have been introduced and studied. In this paper we study the so-called Bohman-Frieze process, a simple modification of the Erdős-Rényi process. The Bohman-Frieze process begins with an empty graph on n vertices. At each step two random edges are present and if the first edge would join two isolated vertices, it is added to a graph; otherwise the second edge is added. We present several new results on the phase transition of the Bohman-Frieze random graph process. We show that the Bohman-Frieze process has a qualitatively similar phase transition to the Erdős-Rényi process in terms of the size and structure of the components near the critical point. We prove that all components at time t_c-\eps (that is, when the number of edges are (t_c-\eps) n/2) are trees or unicyclic components and that the largest component is of size Ω(\eps^{-2} \log n). Further, at t_c + \eps, all components apart from the giant component are trees or unicyclic and the size of the second-largest component is Θ(\eps^{-2} \log n). Each of these results corresponds to an analogous well-known result for the Erdős-Rényi process. Our methods include combinatorial arguments and a combination of the differential equation method for random processes with singularity analysis of generating functions which satisfy quasi-linear partial differential equations.
On the Wiener index and Laplacian coefficients of graphs with given diameter or radius
Published in MATCH Commun. Math. Comput. Chem. 63 (2010) 91-100
• Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. It is well known that for trees the Laplacian coefficient $c_{n-2}$ is equal to the Wiener index of $G$. Using a result of Zhou and Gutman on the relation between the Laplacian coefficients and the matching numbers in subdivided bipartite graphs, we characterize first the trees with given diameter and then the connected graphs with given radius which simultaneously minimize all Laplacian coefficients. This approach generalizes recent results of Liu and Pan [MATCH Commun. Math. Comput. Chem. 60 (2008), 85--94] and Wang and Guo [MATCH Commun. Math. Comput. Chem. 60 (2008), 609--622] who characterized $n$-vertex trees with fixed diameter $d$ which minimize the Wiener index. In conclusion, we illustrate on examples with Wiener and modified hyper-Wiener index that the opposite problem of simultaneously maximizing all Laplacian coefficients has no solution.
Improved Inapproximability Results for Counting Independent Sets in the Hard-Core Model
Published
• View Publication
• BIB
We study the computational complexity of approximately counting the number of independent sets of a graph with maximum degree Delta. More generally, for an input graph G=(V,E) and an activity lambda>0, we are interested in the quantity Z_G(lambda) defined as the sum over independent sets I weighted as w(I) = lambda^|I|. In statistical physics, Z_G(lambda) is the partition function for the hard-core model, which is an idealized model of a gas where the particles have non-negibile size.
Recently, an interesting phase transition was shown to occur for the complexity of approximating the partition function. Weitz showed an FPAS for the partition function for any graph of maximum degree Delta when Delta is constant and lambda< lambda_c(Tree_Delta):=(Delta-1)^(Delta-1)/(Delta-2)^Delta. The quantity lambda_c(Tree_Delta) is the critical point for the so-called uniqueness threshold on the infinite, regular tree of degree Delta. On the other side, Sly proved that there does not exist efficient (randomized) approximation algorithms for lambda_c(Tree_Delta) < lambda < lambda_c(Tree_Delta)+epsilon(Delta), unless NP=RP, for some function epsilon(Delta)>0. We remove the upper bound in the assumptions of Sly's result for Delta not equal to 4 and 5, that is, we show that there does not exist efficient randomized approximation algorithms for all lambda>lambda_c(Tree_Delta) for Delta=3 and Delta>= 6. Sly's inapproximability result uses a clever reduction, combined with a second-moment analysis of Mossel, Weitz and Wormald which prove torpid mixing of the Glauber dynamics for sampling from the associated Gibbs distribution on almost every regular graph of degree Delta for the same range of lambda as in Sly's result. We extend Sly's result by improving upon the technical work of Mossel et al., via a more detailed analysis of independent sets in random regular graphs.
Asymptotic value of the minimal size of a graph with rainbow connection number 2
A path in an edge (vertex)-colored graph $G$, where adjacent edges (vertices) may have the same color, is called a rainbow path if no pair of edges (internal vertices) of the path are colored the same. The rainbow (vertex) connection number $rc(G)$ ($rvc(G)$) of $G$ is the minimum integer $i$ for which there exists an $i$-edge (vertex)-coloring of $G$ such that every two distinct vertices of $G$ are connected by a rainbow path. Denote by $\mathcal{G}_d(n)$ ($\mathcal{G'}_d(n)$) the set of all graphs of order $n$ with rainbow (vertex) connection number $d$, and define $e_d(n)=\min\{e(G)\,|\, G\in \mathcal{G}_d(n)\}$ ($e_d'(n)=\min\{e(G)\,|\, G\in \mathcal{G'}_d(n)\}$), where $e(G)$ denotes the number of edges in $G$. In this paper, we investigate the bounds of $e_2(n)$ and get the exact asymptotic value. i.e., $\displaystyle \lim_{n\rightarrow \infty}\frac{e_2(n)}{n\log_2 n}=1$. Meanwhile, we obtain $e'_d(n)=n-1$ for $d\geq 2$, and the equality holds if and only if $G$ is such a graph such that deleting all leaves of $G$ results in a tree of order $d$.
Extended formulations, non-negative factorizations and randomized communication protocols
Published
• View Publication
• BIB
An extended formulation of a polyhedron $P$ is a linear description of a polyhedron $Q$ together with a linear map $π$ such that $π(Q)=P$. These objects are of fundamental importance in polyhedral combinatorics and optimization theory, and the subject of a number of studies. Yannakakis' factorization theorem [M. Yannakakis. Expressing combinatorial optimization problems by linear programs. {\em J. Comput. System Sci.}, 43(3):441--466 (1991)] provides a surprising connection between extended formulations and communication complexity, showing that the smallest size of an extended formulation of $P$ equals the nonnegative rank of its slack matrix $S$. Moreover, Yannakakis also shows that the nonnegative rank of $S$ is at most $2^c$, where $c$ is the complexity of any \emph{deterministic} protocol computing $S$. In this paper, we show that the latter result can be strengthened when we allow protocols to be \emph{randomized}. In particular, we prove that the base-2 logarithm of the nonnegative rank of any nonnegative matrix equals the minimum complexity of a randomized communication protocol computing the matrix in expectation. Using Yannakakis' factorization theorem, this implies that the base-2 logarithm of the smallest size of an extended formulation of a polytope $P$ equals the minimum complexity of a randomized communication protocol computing the slack matrix of $P$ in expectation. We show that allowing randomization in the protocol can be crucial for obtaining small extended formulations. Specifically, we prove that for the spanning tree and perfect matching polytopes, small variance in the protocol forces large size in the extended formulation.
Solving Non-homogeneous Nested Recursions Using Trees
Published in Ann. Comb. 17 no. 4 (2013), 695-710
• View Publication
• BIB
The solutions to certain nested recursions, such as Conolly's C(n) = C(n-C(n-1))+C(n-1-C(n-2)), with initial conditions C(1)=1, C(2)=2, have a well-established combinatorial interpretation in terms of counting leaves in an infinite binary tree. This tree-based interpretation, which has a natural generalization to a k-term nested recursion of this type, only applies to homogeneous recursions, and only solves each recursion for one set of initial conditions determined by the tree. In this paper, we extend the tree-based interpretation to solve a non-homogeneous version of the k-term recursion that includes a constant term. To do so we introduce a tree-grafting methodology that inserts copies of a finite tree into the infinite k-ary tree associated with the solution of the corresponding homogeneous k-term recursion. This technique can also be used to solve the given non-homogeneous recursion with various sets of initial conditions.
Algebraic and combinatorial aspects of sandpile monoids on directed graphs
Published
• View Publication
• BIB
The sandpile group of a graph is a well-studied object that combines ideas from algebraic graph theory, group theory, dynamical systems, and statistical physics. A graph's sandpile group is part of a larger algebraic structure on the graph, known as its sandpile monoid. Most of the work on sandpiles so far has focused on the sandpile group rather than the sandpile monoid of a graph, and has also assumed the underlying graph to be undirected. A notable exception is the recent work of Babai and Toumpakari, which builds up the theory of sandpile monoids on directed graphs from scratch and provides many connections between the combinatorics of a graph and the algebraic aspects of its sandpile monoid.
In this paper we primarily consider sandpile monoids on directed graphs, and we extend the existing theory in four main ways. First, we give a combinatorial classification of the maximal subgroups of a sandpile monoid on a directed graph in terms of the sandpile groups of certain easily-identifiable subgraphs. Second, we point out certain sandpile results for undirected graphs that are really results for sandpile monoids on directed graphs that contain exactly two idempotents. Third, we give a new algebraic constraint that sandpile monoids must satisfy and exhibit two infinite families of monoids that cannot be realized as sandpile monoids on any graph. Finally, we give an explicit combinatorial description of the sandpile group identity for every graph in a family of directed graphs which generalizes the family of (undirected) distance-regular graphs. This family includes many other graphs of interest, including iterated wheels, regular trees, and regular tournaments.
Measurable events indexed by trees
Published in Combinatorics, Probability and Computing 21 (2012), 374-411
• View Publication
• BIB
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We study the behavior of measurable events in probability spaces indexed by homogeneous trees.
Precisely, we show that for every integer $b\geq 2$ and every integer $n\geq 1$ there exists an integer $q(b,n)$ with the following property. If $T$ is a homogeneous tree with branching number $b$ and $\{A_t:t\in T\}$ is a family of measurable events in a probability space $(Ω,Σ,μ)$ satisfying $μ(A_t)\geqε>0$ for every $t\in T$, then for every $0<θ<ε$ there exists a strong subtree $S$ of $T$ of infinite height such that for every non-empty finite subset $F$ of $S$ of cardinality $n$ we have \[ μ\Big(\bigcap_{t\in F} A_t\Big) \meg θ^{q(b,n)}. \] In fact, we can take $q(b,n)= \big((2^b-1)^{2n-1}-1\big)\cdot(2^b-2)^{-1}$. A finite version of this result is also obtained.
Dense subsets of products of finite trees
Published in International Mathematics Research Notices 4 (2013), 924-970
• View Publication
• BIB
We prove a "uniform" version of the finite density Halpern-Läuchli Theorem. Specifically, we say that a tree $T$ is homogeneous if it is uniquely rooted and there is an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We show the following.
For every integer $d\geq 1$, every $b_1,...,b_d\in\mathbb{N}$ with $b_i\geq 2$ for all $i\in\{1,...,d\}$, every integer $k\meg 1$ and every real $0<ε\leq 1$ there exists an integer $N$ with the following property. If $(T_1,...,T_d)$ are homogeneous trees such that the branching number of $T_i$ is $b_i$ for all $i\in\{1,...,d\}$, $L$ is a finite subset of $\mathbb{N}$ of cardinality at least $N$ and $D$ is a subset of the level product of $(T_1,...,T_d)$ satisfying \[|D\cap \big(T_1(n)\times ...\times T_d(n)\big)| \geq ε|T_1(n)\times ...\times T_d(n)|\] for every $n\in L$, then there exist strong subtrees $(S_1,...,S_d)$ of $(T_1,...,T_d)$ of height $k$ and with common level set such that the level product of $(S_1,...,S_d)$ is contained in $D$. The least integer $N$ with this property will be denoted by $UDHL(b_1,...,b_d|k,ε)$.
The main point is that the result is independent of the position of the finite set $L$. The proof is based on a density increment strategy and gives explicit upper bounds for the numbers $UDHL(b_1,...,b_d|k,ε)$.
List colorings of $K_5$-minor-free graphs with special list assignments
Published in Journal of Graph Theory. Vol. 71(1), 2012, pp. 18-30
• View Publication
• BIB
A {\it list assignment} $L$ of a graph $G$ is a function that assigns a set (list) $L(v)$ of colors to every vertex $v$ of $G$. Graph $G$ is called {\it $L$-list colorable} if it admits a vertex coloring $φ$ such that $φ(v)\in L(v)$ for all $v\in V(G)$ and $φ(v)\not=φ(w)$ for all $vw\in E(G)$.
The following question was raised by Bruce Richter. Let $G$ be a planar, 3-connected graph that is not a complete graph. Denoting by $d(v)$ the degree of vertex $v$, is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min \{d(v), 6\}$ for all $v\in V(G)$?
More generally, we ask for which pairs $(r,k)$ the following question has an affirmative answer. Let $r$ and $k$ be integers and let $G$ be a $K_5$-minor-free $r$-connected graph that is not a Gallai tree (i.e., at least one block of $G$ is neither a complete graph nor an odd cycle). Is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min\{d(v),k\}$ for all $v\in V(G)$?
We investigate this question by considering the components of $G[S_k]$, where $S_k:=\{v\in V(G) | d(v)<k\}$ is the set of vertices with small degree in $G$. We are especially interested in the minimum distance $d(S_k)$ in $G$ between the components of $G[S_k]$.
The tree of irreducible numerical semigroups with fixed Frobenius number
Published
• View Publication
• BIB
In this paper we present a procedure to build the set of irreducible numerical semigroups with a fixed Frobenius number. The construction gives us a rooted tree structure for this set. Furthermore, by using the notion of Kunz-coordinates vector we translate the problem of finding such a tree into the problem of manipulating 0-1 vectors with as many component as the Frobenius number.