Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Equitable coloring of interval graphs and products of graphs
We confirm the equitable $Δ$-coloring conjecture for interval graphs and establish the monotonicity of equitable colorability for them. We further obtain results on equitable colorability about square (or Cartesian) and cross (or direct) products of graphs.
Sum complexes - a new family of hypertrees
Published
• View Publication
• BIB
A k-dimensional hypertree X is a k-dimensional complex on n vertices with a full (k-1)-dimensional skeleton and \binom{n-1}{k} facets such that H_k(X;Q)=0. Here we introduce the following family of simplicial complexes. Let n,k be integers with k+1 and n relatively prime, and let A be a (k+1)-element subset of the cyclic group Z_n. The sum complex X_A is the pure k-dimensional complex on the vertex set Z_n whose facets are subsets σof Z_n such that |σ|=k+1 and \sum_{x \in σ}x \in A. It is shown that if n is prime then the complex X_A is a k-hypertree for every choice of A. On the other hand, for n prime X_A is k-collapsible iff A is an arithmetic progression in Z_n.
Trace Diagrams, Matrix Minors, and Determinant Identities
Published in Involve Vol. 3 (2010), No. 1, 33-66
• View Publication
• BIB
Trace diagrams are structured graphs with edges labeled by matrices. Each diagram has an interpretation as a particular multilinear function. We provide a rigorous combinatorial definition of these diagrams using a notion of signed graph coloring, and prove that they may be efficiently represented in terms of matrix minors. Using this viewpoint, we provide new proofs of several standard determinant formulas and a new generalization of the Jacobi determinant theorem.
On the solvability of systems of bilinear equations in finite fields
Published
• View Publication
• BIB
Given $k$ sets $\mathcal{A}_i \subseteq \mathbb{F}_q^d$ and a non-degenerate bilinear form $B$ in $\mathbb{F}_q^d$. We consider the system of $l \leq \binom{k}{2}$ bilinear equations \[ B (\tmmathbf{a}_i, \tmmathbf{a}_j) = λ_{i j}, \tmmathbf{a}_i \in \mathcal{A}_i, i = 1, ..., k. \] We show that the system is solvable for any $λ_{i j} \in \mathbb{F}_q^{*}$, $1 \leq i,j \leq k$, given that the restricted sets $\mathcal{A}_i$'s are sufficiently large.
Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements
Published
• View Publication
• BIB
We extend previous work on injectivity in chemical reaction networks to general interaction networks. Matrix- and graph-theoretic conditions for injectivity of these systems are presented. A particular signed, directed, labelled, bipartite multigraph, termed the ``DSR graph'', is shown to be a useful representation of an interaction network when discussing questions of injectivity. A graph-theoretic condition, developed previously in the context of chemical reaction networks, is shown to be sufficient to guarantee injectivity for a large class of systems. The graph-theoretic condition is simple to state and often easy to check. Examples are presented to illustrate the wide applicability of the theory developed.
Cubicity of interval graphs and the claw number
Published
• View Publication
• BIB
Let $G(V,E)$ be a simple, undirected graph where $V$ is the set of vertices and $E$ is the set of edges. A $b$-dimensional cube is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval of unit length on the real line. The \emph{cubicity} of $G$, denoted by $\cub(G)$ is the minimum positive integer $b$ such that the vertices in $G$ can be mapped to axis parallel $b$-dimensional cubes in such a way that two vertices are adjacent in $G$ if and only if their assigned cubes intersect. Suppose $S(m)$ denotes a star graph on $m+1$ nodes. We define \emph{claw number} $ψ(G)$ of the graph to be the largest positive integer $m$ such that $S(m)$ is an induced subgraph of $G$. It can be easily shown that the cubicity of any graph is at least $\ceil{\log_2ψ(G)}$.
In this paper, we show that, for an interval graph $G$ $\ceil{\log_2ψ(G)}\le\cub(G)\le\ceil{\log_2ψ(G)}+2$. Till now we are unable to find any interval graph with $\cub(G)>\ceil{\log_2ψ(G)}$. We also show that, for an interval graph $G$, $\cub(G)\le\ceil{\log_2α}$, where $α$ is the independence number of $G$. Therefore, in the special case of $ψ(G)=α$, $\cub(G)$ is exactly $\ceil{\log_2α}$.
The concept of cubicity can be generalized by considering boxes instead of cubes. A $b$-dimensional box is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval on the real line. The \emph{boxicity} of a graph, denoted $ box(G)$, is the minimum $k$ such that $G$ is the intersection graph of $k$-dimensional boxes. It is clear that $ box(G)\le\cub(G)$. From the above result, it follows that for any graph $G$, $\cub(G)\le box(G)\ceil{\log_2α}$.
On a certain representation of the chromatic polynomial
Published in Diskretnyi Analiz, issue 31, 61--70, 91 (1977); Math. Rev. MR543806
• Search Publication
The representation is essentially the same as that given by J.P.Nagle in J. Comb. Theory (B), 1971, 10:1, 42--59. The distinction is in the definition of the weighting function via the number of flows. This new definition allows one to deduce a number of corollaries, in particular, the following.
A) The chromatic polynomial of a connected planar graph G can be uniquely determined from its combinatory dual graph G^* (although the graph G itself isn't, in general, determined uniquely by G^*).
B) If a planar graph G is different from the full graph K_3 and has exactly one (up to renaming of colors) proper coloring of vertices in three colors, then the graph G^* dual to graph G is also vertex colorable in three colors.
Asymptotics for rank and crank moments
Published
• View Publication
• BIB
Moments of the partition rank and crank statistics have been studied for their connections to combinatorial objects such as Durfee symbols, as well as for their connections to harmonic Maass forms. This paper proves a conjecture due to Bringmann and Mahlburg that refined a conjecture of Garvan. Garvan's conjecture states that the moments of the crank function are always larger than the moments of the rank function, even though the moments have the same main asymptotic term. The proof uses the Hardy-Ramanujan method to provide precise asymptotic estimates for rank and crank moments and their differences.
Higher order Fourier analysis as an algebraic theory I
Ergodic theory, Higher order Fourier analysis and the hyper graph regularity method are three possible approaches to Szemerédi type theorems in abelian groups. In this paper we develop an algebraic theory that creates a connection between these approaches. Our main method is to take the ultra product of abelian groups and to develop a precise algebraic theory of higher order characters on it. These results then can be turned back into approximative statements about finite Abelian groups.
Place-difference-value patterns: A generalization of generalized permutation and word patterns
Published
• View Publication
• BIB
Motivated by study of Mahonian statistics, in 2000, Babson and Steingrimsson introduced the notion of a "generalized permutation pattern" (GP) which generalizes the concept of "classical" permutation pattern introduced by Knuth in 1969. The invention of GPs led to a large number of publications related to properties of these patterns in permutations and words. Since the work of Babson and Steingrimsson, several further generalizations of permutation patterns have appeared in the literature, each bringing a new set of permutation or word pattern problems and often new connections with other combinatorial objects and disciplines. For example, Bousquet-Melou et al. introduced a new type of permutation pattern that allowed them to relate permutation patterns theory to the theory of partially ordered sets.
In this paper we introduce yet another, more general definition of a pattern, called place-difference-value patterns (PDVP) that covers all of the most common definitions of permutation and/or word patterns that have occurred in the literature. PDVPs provide many new ways to develop the theory of patterns in permutations and words. We shall give several examples of PDVPs in both permutations and words that cannot be described in terms of any other pattern conditions that have been introduced previously. Finally, we raise several bijective questions linking our patterns to other combinatorial objects.
Some Results on the Counterfeit Coins Problem
In this paper, we will present some results on the counterfeit coins problem in the case of multi-sets.
Groupes d'isométries permutant doublement transitivement un ensemble de droites vectorielles
Let X be a non-empty finite set, E be a finite dimensional euclidean vector space and G a finite subgroup of O(E), the orthognal group of E. Suppose GG={U_i | i in X} is a finite set of linear lines in E and an orbit of G on which its operation is twice transitive. Then GG is an equiangular set of lines, which means that we can find a real number "c", and generators u_i of the lines U_i (i in X) such that forall i,j in X, ||u_i||=1, and if i is different from j then (u_i|u_j)=\gve_{i,j}.c, with \gve_{i,j} in {-1,+1\} Let Gamma be the simple graph whose set of vertices is X, two of them, say i and j, being linked when \gve_{i,j} = -1. In this article we first explore the relationship between double transitivity of G and geometric properties of Gamma. Then we construct several graphs associated with a twice transitive group G, in particular any of Paley's graphs is associated with a representation of G=PSL_2(q) on a set of q+1 equiangular lines in a vector space whose dimension is (q+1)/2.
The Hardness of Approximating the Threshold Dimension, Boxicity and Cubicity of a Graph
Published
• View Publication
• BIB
A $k$-dimensional box is the Cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-dimensional boxes. A unit cube in $k$-dimensional space or a $k$-cube is defined as the Cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line of the form $[a_i,a_i + 1]$. The {\it cubicity} of $G$, denoted as $\cub(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-cubes. The {\it threshold dimension} of a graph $G(V,E)$ is the smallest integer $k$ such that $E$ can be covered by $k$ threshold spanning subgraphs of $G$. In this paper we will show that there exists no polynomial-time algorithm to approximate the threshold dimension of a graph on $n$ vertices with a factor of $O(n^{0.5-ε})$ for any $ε>0$, unless $NP=ZPP$. From this result we will show that there exists no polynomial-time algorithm to approximate the boxicity and the cubicity of a graph on $n$ vertices with factor $O(n^{0.5-ε})$ for any $ ε>0$, unless $NP=ZPP$. In fact all these hardness results hold even for a highly structured class of graphs namely the split graphs. We will also show that it is NP-complete to determine if a given split graph has boxicity at most 3.
Indispensable binomials in semigroup ideals
Published in Proc. Amer. Math. Soc. 138 no. 12 (2010), 4205-4216
• View Publication
• BIB
In this paper, we deal with the problem of uniqueness of minimal system of binomial generators of a semigroup ideal. Concretely, we give different necessary and/or sufficient conditions for uniqueness of such minimal system of generators. These conditions come from the study and combinatorial description of the so-called indispensable binomials in the semigroup ideal.
Strong Convergence on Weakly Logarithmic Combinatorial Assemblies
We deal with the random combinatorial structures called assemblies.
By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the author's analytic approach, we generalize the so-called Fundamental Lemma giving independent process approximation in the total variation distance of the component structure of an assembly. To evaluate the influence of strongly dependent large components, we obtain estimates of the appropriate conditional probabilities by unconditioned ones. These estimates are applied to examine additive functions defined on such a class of structures. Some analogs of Major's and Feller's theorems which concern almost sure behavior of sums of independent random variables are proved.
Computing Geodesic Distances in Tree Space
Published
• View Publication
• BIB
We present two algorithms for computing the geodesic distance between phylogenetic trees in tree space, as introduced by Billera, Holmes, and Vogtmann (2001). We show that the possible combinatorial types of shortest paths between two trees can be compactly represented by a partially ordered set. We calculate the shortest distance along each candidate path by converting the problem into one of finding the shortest path through a certain region of Euclidean space. In particular, we show there is a linear time algorithm for finding the shortest path between a point in the all positive orthant and a point in the all negative orthant of R^k contained in the subspace of R^k consisting of all orthants with the first i coordinates non-positive and the remaining coordinates non-negative for 0 <= i <= k.
Localizable invariants of combinatorial manifolds and Euler characteristic
Published in Archiv der Mathematik (Basel) 102 (2014), no. 2, 191-200
• View Publication
• BIB
It is shown that if a real value PL-invariant of closed combinatorial manifolds admits a local formula that depends only on the f-vector of the link of each vertex, then the invariant must be a constant times the Euler characteristic.
Generalizations of Chung-Feller Theorem II
The classical Chung-Feller theorem [2] tells us that the number of Dyck paths of length $n$ with $m$ flaws is the $n$-th Catalan number and independent on $m$. L. Shapiro [9] found the Chung-Feller properties for the Motzkin paths. Mohanty's book [5] devotes an entire section to exploring Chung-Feller theorem. Many Chung-Feller theorems are consequences of the results in [5]. In this paper, we consider the $(n,m)$-lattice paths. We study two parameters for an $(n,m)$-lattice path: the non-positive length and the rightmost minimum length. We obtain the Chung-Feller theorems of the $(n,m)$-lattice path on these two parameters by bijection methods. We are more interested in the pointed $(n,m)$-lattice paths. We investigate two parameters for an pointed $(n,m)$-lattice path: the pointed non-positive length and the pointed rightmost minimum length. We generalize the results in [5]. Using the main results in this paper, we may find the Chung-Feller theorems of many different lattice paths.
Constructing permutations of finite fields via linear translators
Published
• View Publication
• BIB
We describe several families of permutation polynomials obtained using functions with linear translators.
On the symmetry of the partition function of some square ice models
Published in Theoretical and Mathematical Physics 161, 3 (2009) 1582-1589
• View Publication
• BIB
We consider the partition function Z(N;x_1,...,x_N,y_1,...,y_N) of the square ice model with domain wall boundary. We give a simple proof of the symmetry of Z with respect to all its variables when the global parameter a of the model is set to the special value a=exp(iπ/3). Our proof does not use any determinantal interpretation of Z and can be adapted to other situations (for examples to some symmetric ice models).