Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On the sign patterns of the smallest signless Laplacian eigenvector
Published
• View Publication
• BIB
Let $H$ be a connected bipartite graph, whose signless Laplacian matrix is $Q(H)$. Suppose that the bipartition of $H$ is $(S,T)$ and that $x$ is the eigenvector of the smallest eigenvalue of $Q(H)$. It is well-known that $x$ is positive and constant on $S$, and negative and constant on $T$.
The resilience of the sign pattern of $x$ under addition of edges into the subgraph induced by either $S$ or $T$ is investigated and a number of cases in which the sign pattern of $x$ persists are described.
Hyperoctahedral Eulerian Idempotents, Hodge Decompositions, and Signed Graph Coloring Complexes
Published
• View Publication
• BIB
Phil Hanlon proved that the coefficients of the chromatic polynomial of a graph G are equal (up to sign) to the dimensions of the summands in a Hodge-type decomposition of the top homology of the coloring complex for G. We prove a type B analogue of this result for chromatic polynomials of signed graphs using hyperoctahedral Eulerian idempotents.
Hypergraphs with Zero Chromatic Threshold
Published
• View Publication
• BIB
Let F be an r-uniform hypergraph. The chromatic threshold of the family of F-free, r-uniform hypergraphs is the infimum of all non-negative reals c such that the subfamily of F-free, r-uniform hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. The study of chromatic thresholds of various graphs has a long history, beginning with the early work of Erdős-Simonovits. One interesting question, first proposed by Łuczak-Thomassé and then solved by Allen-Böttcher-Griffiths-Kohayakawa-Morris, is the characterization of graphs having zero chromatic threshold, in particular the fact that there are graphs with non-zero Turán density that have zero chromatic threshold. In this paper, we make progress on this problem for r-uniform hypergraphs, showing that a large class of hypergraphs have zero chromatic threshold in addition to exhibiting a family of constructions showing another large class of hypergraphs have non-zero chromatic threshold. Our construction is based on a special product of the Bollobás-Erdős graph defined earlier by the authors.
On active and passive testing
Published in Combinator. Probab. Comp. 25 (2016) 1-20
• View Publication
• BIB
Given a property of Boolean functions, what is the minimum number of queries required to determine with high probability if an input function satisfies this property or is "far" from satisfying it? This is a fundamental question in Property Testing, where traditionally the testing algorithm is allowed to pick its queries among the entire set of inputs. Balcan, Blais, Blum and Yang have recently suggested to restrict the tester to take its queries from a smaller random subset of polynomial size of the inputs. This model is called active testing, and in the extreme case when the size of the set we can query from is exactly the number of queries performed it is known as passive testing.
We prove that passive or active testing of k-linear functions (that is, sums of k variables among n over Z_2) requires Theta(k*log n) queries, assuming k is not too large. This extends the case k=1, (that is, dictator functions), analyzed by Balcan et. al.
We also consider other classes of functions including low degree polynomials, juntas, and partially symmetric functions. Our methods combine algebraic, combinatorial, and probabilistic techniques, including the Talagrand concentration inequality and the Erdos--Rado theorem on Delta-systems.
Basic nets in the projective plane
Published in Annales de la Faculté des sciences de Toulouse : Mathématiques (6), 24 (2015), 205-226
• View Publication
• BIB
The notion of basic net (called also basic polyhedron) on $S^2$ plays a central role in Conway's approach to enumeration of knots and links in $S^3$. Drobotukhina applied this approach for links in $RP^3$ using basic nets on $RP^2$. By a result of Nakamoto, all basic nets on $S^2$ can be obtained from a very explicit family of minimal basic nets (the nets $(2\times n)^*$, $n\ge3$, in Conway's notation) by two local transformations. We prove a similar result for basic nets in $RP^2$.
We prove also that a graph on $RP^2$ is uniquely determined by its pull-back on $S^3$ (the proof is based on Lefschetz fix point theorem).
Congruence successions in compositions
Published
• View Publication
• BIB
A \emph{composition} is a sequence of positive integers, called \emph{parts}, having a fixed sum. By an \emph{$m$-congruence succession}, we will mean a pair of adjacent parts $x$ and $y$ within a composition such that $x\equiv y(\text{mod} m)$. Here, we consider the problem of counting the compositions of size $n$ according to the number of $m$-congruence successions, extending recent results concerning successions on subsets and permutations. A general formula is obtained, which reduces in the limiting case to the known generating function formula for the number of Carlitz compositions. Special attention is paid to the case $m=2$, where further enumerative results may be obtained by means of combinatorial arguments. Finally, an asymptotic estimate is provided for the number of compositions of size $n$ having no $m$-congruence successions.
Very ample and Koszul segmental fibrations
Published in Journal of Algebraic Combinatorics 42 (2015), 165-182
• View Publication
• BIB
In the hierarchy of structural sophistication for lattice polytopes, normal polytopes mark a point of origin; very ample and Koszul polytopes occupy bottom and top spots in this hierarchy, respectively. In this paper we explore a simple construction for lattice polytopes with a twofold aim. On the one hand, we derive an explicit series of very ample 3-dimensional polytopes with arbitrarily large deviation from the normality property, measured via the highest discrepancy degree between the corresponding Hilbert functions and Hilbert polynomials. On the other hand, we describe a large class of Koszul polytopes of arbitrary dimensions, containing many smooth polytopes and extending the previously known class of Nakajima polytopes.
An algorithm for computing the universal Gröbner Basis of graph ideals
Published in Int. Journal of Computer Mathematics, CST (2019)
• View Publication
• BIB
The universal Gröbner basis of an ideal is a Gröbner basis with respect to all term orders simultaneously. The aim of this paper is to present an algorithmic approach to compute the universal Gröbner basis for the toric ideal corresponding to an undirected graph, based on the theoretically knowledge of this set and on a recent, efficiently computable algorithmic characterization of the Graver basis of the ideal.
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.