Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A matroid associated with a phylogenetic tree
Published
• View Publication
• BIB
A (pseudo-)metric $D$ on a finite set $X$ is said to be a `tree metric' if there is a finite tree with leaf set $X$ and non-negative edge weights so that, for all $x,y \in X$, $D(x,y)$ is the path distance in the tree between $x$ and $y$. It is well known that not every metric is a tree metric. However, when some such tree exists, one can always find one whose interior edges have strictly positive edge weights and that has no vertices of degree 2, any such tree is -- up to canonical isomorphism -- uniquely determined by $D$, and one does not even need all of the distances in order to fully (re-)construct the tree's edge weights in this case. Thus, it seems of some interest to investigate which subsets of $\binom{X}{2}$ suffice to determine (`lasso') these edge weights. In this paper, we use the results of a previous paper to discuss the structure of a matroid that can be associated with an (unweighted) $X-$tree $T$ defined by the requirement that its bases are exactly the `tight edge-weight lassos' for $T$, i.e, the minimal subsets $\cl$ of $\ch$ that lasso the edge weights of $T$.
Network Decontamination with a Single Agent
Published
• View Publication
• BIB
Faults and viruses often spread in networked environments by propagating from site to neighboring site. We model this process of {\em network contamination} by graphs. Consider a graph $G=(V,E)$, whose vertex set is contaminated and our goal is to decontaminate the set $V(G)$ using mobile decontamination agents that traverse along the edge set of $G$. Temporal immunity $τ(G) \ge 0$ is defined as the time that a decontaminated vertex of $G$ can remain continuously exposed to some contaminated neighbor without getting infected itself. The \emph{immunity number} of $G$, $ι_k(G)$, is the least $τ$ that is required to decontaminate $G$ using $k$ agents. We study immunity number for some classes of graphs corresponding to network topologies and present upper bounds on $ι_1(G)$, in some cases with matching lower bounds. Variations of this problem have been extensively studied in literature, but proposed algorithms have been restricted to {\em monotone} strategies, where a vertex, once decontaminated, may not be recontaminated. We exploit nonmonotonicity to give bounds which are strictly better than those derived using monotone strategies.
Optimal Random Matchings, Tours, and Spanning Trees in Hierarchically Separated Trees
Published
• View Publication
• BIB
We derive tight bounds on the expected weights of several combinatorial optimization problems for random point sets of size $n$ distributed among the leaves of a balanced hierarchically separated tree. We consider {\it monochromatic} and {\it bichromatic} versions of the minimum matching, minimum spanning tree, and traveling salesman problems. We also present tight concentration results for the monochromatic problems.
Coloring 2-intersecting hypergraphs
Published in Electron. J. Comb. 20, No. 3, Research Paper P37, 4 p. (2013)
• View Publication
• BIB
A hypergraph is 2-intersecting if any two edges intersect in at least two vertices. Blais, Weinstein and Yoshida asked (as a first step to a more general problem) whether every 2-intersecting hypergraph has a vertex coloring with a constant number of colors so that each hyperedge e has at least min{|e|,3} colors. We show that there is such a coloring with at most 5 colors (which is best possible).
Chiral extensions of chiral polytopes
Published
• View Publication
• BIB
Given a chiral d-polytope K with regular facets, we describe a construction for a chiral (d + 1)-polytope P with facets isomorphic to K. Furthermore, P is finite whenever K is finite. We provide explicit examples of chiral 4-polytopes constructed in this way from chiral toroidal maps.
Remarks on Lubbock's summation formulae
The coefficients occurring in summation formulae of the Lubbock type are shown to be generalised Bernoulli polynomials which turn up in subdivision questions such as quantum field theory around a conical singularity and on spherical lunes. An image interpretation is made, generating functions are brought in and some trigonometric summations encountered. A formal Lubbock formula is introduced for a general delta operator.
Extendable self-avoiding walks
Published
• View Publication
• BIB
The connective constant mu of a graph is the exponential growth rate of the number of n-step self-avoiding walks starting at a given vertex. A self-avoiding walk is said to be forward (respectively, backward) extendable if it may be extended forwards (respectively, backwards) to a singly infinite self-avoiding walk. It is called doubly extendable if it may be extended in both directions simultaneously to a doubly infinite self-avoiding walk. We prove that the connective constants for forward, backward, and doubly extendable self-avoiding walks, denoted respectively by mu^F, mu^B, mu^FB, exist and satisfy mu = mu^F = mu^B = mu^FB for every infinite, locally finite, strongly connected, quasi-transitive directed graph. The proofs rely on a 1967 result of Furstenberg on dimension, and involve two different arguments depending on whether or not the graph is unimodular.
Strong Traces Model of Self-Assembly Polypeptide Structures
Published in MATCH Commun. Math. Comput. Chem. 71 (2014) 199-212
• Search Publication
A novel self-assembly strategy for polypeptide nanostructure design was presented in [Design of a single-chain polypeptide tetrahedron assembled from coiled-coil segments, Nature Chemical Biology 9 (2013) 362--366]. The first mathematical model (polypeptide nanostructure can naturally be presented as a skeleton graph of a polyhedron) from [Stable traces as a model for self-assembly of polypeptide nanoscale polyhedrons, MATCH Commun. Math. Comput. Chem. 70 (2013) 317-330] introduced stable traces as the appropriate mathematical description, yet we find them deficient in modeling graphs with either very small (less or equal to 2) or large (greater or equal to 6) degree vertices. We introduce strong traces which remedy both of the above mentioned drawbacks. We show that every connected graph admits a strong trace by studying a connection between strong traces and graph embeddings. Further we also characterize graphs which admit parallel (resp. antiparallel) strong traces.
Jacobi-Trudi determinants and characters of minimal affinizations
Published in Pacific J. Math. 272 (2014), no. 1, 237-244
• View Publication
• BIB
In their study of characters of minimal affinizations of representations of orthogonal and symplectic Lie algebras, Chari and Greenstein conjectured that certain Jacobi-Trudi determinants satisfy an alternating sum formula. In this note, we prove their conjecture and slightly more. The proof relies on some symmetries of the ring of symmetric functions discovered by Koike and Terada. Using results of Hernandez, Mukhin-Young, and Naoi, this implies that the characters of minimal affinizations in types B, C, and D are given by a Jacobi-Trudi determinant.
Non-monochromatic non-rainbow colourings of $σ$-hypergraphs
Published
• View Publication
• BIB
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 $k_1 < k_2 < k_3$, the hypergraph is NMNR colourable with $k_1$ and with $k_3$ colours but not with $k_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 $r$-hypergraphs only for low values of $r$, generally $r=3$. In this paper we shall study the NMNR colourings of a type of $r$-uniform hypergraph which we call $σ$-hypergraphs. The attractive feature of these $σ$-hypergraphs is that they are easy to define, even for large $r$, 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.
On Complexities of Minus Domination
Published
• View Publication
• BIB
A function f: V \rightarrow \{-1,0,1\} is a minus-domination function of a graph G=(V,E) if the values over the vertices in each closed neighborhood sum to a positive number. The weight of f is the sum of f(x) over all vertices x \in V. The minus-domination number γ^{-}(G) is the minimum weight over all minus-domination functions. The size of a minus domination is the number of vertices that are assigned 1. In this paper we show that the minus-domination problem is fixed-parameter tractable for d-degenerate graphs when parameterized by the size of the minus-dominating set and by d. The minus-domination problem is polynomial for graphs of bounded rankwidth and for strongly chordal graphs. It is NP-complete for splitgraphs. Unless P=NP there is no fixed-parameter algorithm for minus-domination. 79,1 5%
Highest-weight vectors for the adjoint action of GL_n on polynomials, II
Published
• View Publication
• BIB
Let G=GL_n be the general linear group over an algebraically closed field k and let g=gl_n be its Lie algebra. Let U be the subgroup of G which consists of the upper unitriangular matrices. Let k[g] be the algebra of polynomial functions on g and let k[g]^G be the algebra of invariants under the conjugation action of G. For all weights chi in Z^n with chi_2<=0 or chi_{n-1}>=0 we give explicit bases for the k[g]^G-module k[g]^U_chi of highest weight vectors of weight chi. This extends earlier results to a much bigger class of weights. To express our semi-invariants in terms of matrix powers we prove certain Cayley-Hamilton type identities.
A short proof of a famous combinatorial identity
We explain how the identity $$\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j}\;=\;\displaystyle4^n$$ is an easy consequence of the inclusion-exclusion principle.
Extremal edge polytopes
Published in The Electronic Journal of Combinatorics 21(2) (2014), P2.57
• View Publication
• BIB
The "edge polytope" of a finite graph G is the convex hull of the columns of its vertex-edge incidence matrix. We study extremal problems for this class of polytopes. For k =2, 3, 5 we determine the maximum number of vertices of k-neighborly edge polytopes up to a sublinear term. We also construct a family of edge polytopes with exponentially-many facets.
Graph homomorphisms between trees
In this paper we study several problems concerning the number of homomorphisms of trees. We give an algorithm for the number of homomorphisms from a tree to any graph by the Transfer-matrix method. By using this algorithm and some transformations on trees, we study various extremal problems about the number of homomorphisms of trees. These applications include a far reaching generalization of Bollobás and Tyomkyn's result concerning the number of walks in trees.
Some other highlights of the paper are the following. Denote by $\hom(H,G)$ the number of homomorphisms from a graph $H$ to a graph $G$. For any tree $T_m$ on $m$ vertices we give a general lower bound for $\hom(T_m,G)$ by certain entropies of Markov chains defined on the graph $G$. As a particular case, we show that for any graph $G$, $$\exp(H_λ(G))λ^{m-1}\leq\hom(T_m,G),$$ where $λ$ is the largest eigenvalue of the adjacency matrix of $G$ and $H_λ(G)$ is a certain constant depending only on $G$ which we call the spectral entropy of $G$. In the particular case when $G$ is the path $P_n$ on $n$ vertices, we prove that $$\hom(P_m,P_n)\leq \hom(T_m,P_n)\leq \hom(S_m,P_n),$$ where $T_m$ is any tree on $m$ vertices, and $P_m$ and $S_m$ denote the path and star on $m$ vertices, respectively. We also show that if $T_m$ is any fixed tree and $$\hom(T_m,P_n)>\hom(T_m,T_n),$$ for some tree $T_n$ on $n$ vertices, then $T_n$ must be the tree obtained from a path $P_{n-1}$ by attaching a pendant vertex to the second vertex of $P_{n-1}$.
All the results together enable us to show that $$ |\End(P_m)|\leq|\End(T_m)|\leq|\End(S_m)|, $$ where $\End(T_m)$ is the set of all endomorphisms of $T_m$ (homomorphisms from $T_m$ to itself).
Hedetniemi's conjecture for uncountable graphs
Published
• View Publication
• BIB
It is proved that in Godel's constructible universe, for every infinite successor cardinal k, there exist graphs G and H of size and chromatic number k, for which the tensor product graph (G x H) is countably chromatic.
Unipotent representations of Lie incidence geometries
Published
• View Publication
• BIB
If a geometry $Γ$ is isomorphic to the residue of a point $A$ of a shadow geometry of a spherical building $Δ$, a representation $\varepsilon_Δ^A$ of $Γ$ can be given in the unipotent radical $U_{A^*}$ of the stabilizer in $\mathrm{Aut}(Δ)$ of a flag $A^*$ of $Δ$ opposite to $A$, every element of $Γ$ being mapped onto a suitable subgroup of $U_{A^*}$. We call such a representation a unipotent representation. We develope some theory for unipotent representations and we examine a number of interesting cases, where a projective embedding of a Lie incidence geometry $Γ$ can be obtained as a quotient of a suitable unipotent representation $\varepsilon_Δ^A$ by factorizing over the derived subgroup of $U_{A^*}$, while $\varepsilon^A_Δ$ itself is not a proper quotient of any other representation of $Γ$.
On sumsets and convex hull
Published in Discrete Comput. Geom., 52:4, (December 2014), 705-729
• View Publication
• BIB
One classical result of Freimann gives the optimal lower bound for the cardinality of A+A if A is a d-dimensional finite set in the Euclidean d-space. Matolcsi and Ruzsa have recently generalized this lower bound to |A+kB| if B is d-dimensional, and A is contained in the convex hull of B. We characterize the equality case of the Matolcsi-Ruzsa bound. The argument is based partially on understanding triangulations of polytopes.
Ramsey for complete graphs with dropped cliques
Let $K\_{[k,t]}$ be the complete graph on $k$ vertices from which a set of edges, induced by a clique of order $t$, has been dropped. In this note we give two explicit upper bounds for $R(K\_{[k\_1,t\_1]},\dots, K\_{[k\_r,t\_r]})$ (the smallest integer $n$ such that for any $r$-edge coloring of $K\_n$ there always occurs a monochromatic $K\_{[k\_i,t\_i]}$ for some $i$). Our first upper bound contains a classical one in the case when $k\_1=\cdots =k\_r$ and $t\_i=1$ for all $i$. The second one is obtained by introducing a new edge coloring called {\em $χ\_r$-colorings}. We finally discuss a conjecture claiming, in particular, that our second upper bound improves the classical one in infinitely many cases.
The probability that a random multigraph is simple, II
Published
• View Publication
• BIB
Consider a random multigraph with given vertex degrees constructed by the configuration model. We give a new proof of the fact that, asymptotically for a sequence of such multigraphs with the number of edges tending to infinity, the probability that the multigraph is simple stays away from 0 if and only if $\sum d_i^2 = O(\sum d_i)$, where $d_i$ are the vertex degrees. The new proof uses the method of moments, which makes it possible to use it in some applications concerning convergence in distribution. Corresponding results for bipartite graphs are included.