Showing 20 papers (Total: 81623 papers, 47312 authors in database)
1-Factorizations of Cayley graphs
In this note we prove that all connected Cayley graphs of every finite group $Q \times H$ are 1-factorizable, where $Q$ is any non-trivial group of 2-power order and $H$ is any group of odd order.
On the automorphism group of a possible symmetric $(81,16,3)$ design
In this paper we study the automorphism group of a possible symmetric $(81,16,3)$ design.
WDM and Directed Star Arboricity
Published in Combinatorics, Probability and Computing, Volume 19, Issue 02, March 2010, pp 161-182
• View Publication
• BIB
A digraph is $m$-labelled if every arc is labelled by an integer in $\{1, \dots,m\}$. Motivated by wavelength assignment for multicasts in optical networks, we introduce and study $n$-fibre colourings of labelled digraphs. These are colourings of the arcs of $D$ such that at each vertex $v$, and for each colour $α$, $in(v,α)+out(v,α)\leq n$ with $in(v,α)$ the number of arcs coloured $α$ entering $v$ and $out(v,α)$ the number of labels $l$ such that there is at least one arc of label $l$ leaving $v$ and coloured with $α$. The problem is to find the minimum number of colours $λ_n(D)$ such that the $m$-labelled digraph $D$ has an $n$-fibre colouring. In the particular case when $D$ is $1$-labelled, $λ_1(D)$ is called the directed star arboricity of $D$, and is denoted by $dst(D)$. We first show that $dst(D)\leq 2Δ^-(D)+1$, and conjecture that if $Δ^-(D)\geq 2$, then $dst(D)\leq 2Δ^-(D)$. We also prove that for a subcubic digraph $D$, then $dst(D)\leq 3$, and that if $Δ^+(D), Δ^-(D)\leq 2$, then $dst(D)\leq 4$. Finally, we study $λ_n(m,k)=\max\{λ_n(D) \tq D \mbox{is $m$-labelled} \et Δ^-(D)\leq k\}$. We show that if $m\geq n$, then $\ds \left\lceil\frac{m}{n}\left\lceil \frac{k}{n}\right\rceil + \frac{k}{n} \right\rceil\leq λ_n(m,k) \leq\left\lceil\frac{m}{n}\left\lceil \frac{k}{n}\right\rceil + \frac{k}{n} \right\rceil + C \frac{m^2\log k}{n}$ for some constant $C$. We conjecture that the lower bound should be the right value of $λ_n(m,k)$.
The order of the largest complete minor in a random graph
Published
• View Publication
• BIB
Let ccl(G) denote the order of the largest complete minor in a graph G (also called the contraction clique number) and let G(n,p) denote a random graph on n vertices with edge probability p. Bollobas, Catlin and Erdos asymptotically determined ccl(G (n,p)) when p is a constant. Luczak, Pittel and Wierman gave bounds on ccl(G(n,p)) when p is very close to 1/n, i.e. inside the phase transition. Extending the results of Bollobas, Catlin and Erdos, we determine ccl(G(n,p)) quite tightly, for p>C/n where C is a large constant. If p=C/n, for an arbitrary constant C>1, then we show that asymptotically almost surely ccl(G (n,p)) is of order square-root of n. This answers a question of Krivelevich and Sudakov.
Brundan-Kazhdan-Lusztig and super duality conjectures
Published in Publ. RIMS 44 (2008), 1219--1272.
• View Publication
• BIB
We formulate a general super duality conjecture on connections between parabolic categories O of modules over Lie superalgebras and Lie algebras of type A, based on a Fock space formalism of their Kazhdan-Lusztig theories which was initiated by Brundan. We show that the Brundan-Kazhdan-Lusztig (BKL) polynomials for Lie superalgebra gl(m|n) in our parabolic setup can be identified with the usual parabolic Kazhdan-Lusztig polynomials. We establish some special cases of the BKL conjecture on the parabolic category O of gl(m|n)-modules and additional results which support the BKL conjecture and super duality conjecture.
Prime Graphs and Exponential Composition of Species
Published
• View Publication
• BIB
In this paper, we enumerate prime graphs with respect to the Cartesian multiplication of graphs. We use the unique factorization of a connected graph into the product of prime graphs given by Sabidussi to find explicit formulas for labeled and unlabeled prime graphs. In the case of species, we construct the exponential composition of species based on the arithmetic product of species of Maia and Méndez and the quotient species, and express the species of connected graphs as the exponential composition of the species of prime graphs.
Enumeration of Point-Determining Graphs
Published
• View Publication
• BIB
Point-determining graphs are graphs in which no two vertices have the same neighborhoods, co-point-determining graphs are those whose complements are point-determining, and bi-point-determining graphs are those both point-determining and co-point-determining. Bicolored point-determining graphs are point-determining graphs whose vertices are properly colored with white and black. We use the combinatorial theory of species to enumerate these graphs as well as the connected cases.
A duality between pairs of split decompositions for a $Q$-polynomial distance-regular graph
Let $Γ$ denote a $Q$-polynomial distance-regular graph with diameter $D \geq 3$ and standard module $V$. Recently Ito and Terwilliger introduced four direct sum decompositions of $V$; we call these the $(μ,ν)$--{\it split decompositions} of $V$, where $μ, ν\in \lbrace \downarrow, \uparrow \rbrace$. In this paper we show that the ($\downarrow,\downarrow$)--split decomposition and the ($\uparrow,\uparrow$)--split decomposition are dual with respect to the standard Hermitian form on $V$. We also show that the ($\downarrow,\uparrow$)--split decomposition and the ($\uparrow,\downarrow$)--split decomposition are dual with respect to the standard Hermitian form on $V$.
Covers of Elliptic Curves and the Lower Bound for Slopes of Effective Divisors on $\bar{\mathcal M}_{g}$
Consider genus $g$ curves that admit degree $d$ covers to elliptic curves only branched at one point with a fixed ramification type. The locus of such covers forms a one parameter family $Y$ that naturally maps into the moduli space of stable genus $g$ curves $\bar{\mathcal M}_{g}$. We study the geometry of $Y$, and produce a combinatorial method by which to investigate its slope, irreducible components, genus and orbifold points. As a by-product of our approach, we find some equalities from classical number theory. Moreover, a correspondence between our method and the viewpoint of square-tiled surfaces is established. We also use our results to study the lower bound for slopes of effective divisors on $\bar{\mathcal M}_{g}$.
Characterizing Sparse Graphs by Map Decompositions
Published in Characterizing sparse graphs by map decompositions. J. Combin. Math. Combin. Comput. 62 (2007), 3--11
• Search Publication
A {\bf map} is a graph that admits an orientation of its edges so that each vertex has out-degree exactly 1. We characterize graphs which admit a decomposition into $k$ edge-disjoint maps after: (1) the addition of {\it any} $\ell$ edges; (2) the addition of {\it some} $\ell$ edges. These graphs are identified with classes of {\it sparse} graphs; the results are also given in matroidal terms.
Compositions of Graphs Revisited
Published
• View Publication
• BIB
The idea of graph compositions, which was introduced by A. Knopfmacher and M. E. Mays, generalizes both ordinary compositions of positive integers and partitions of finite sets. In their original paper they developed formulas, generating functions, and recurrence relations for composition counting functions for several families of graphs. Here we show that some of the results involving compositions of bipartite graphs can be derived more easily using exponential generating functions.
The Complexity of Weighted Boolean #CSP
Published in SIAM J. Comput. 38(5), 1970-1986
• View Publication
• BIB
This paper gives a dichotomy theorem for the complexity of computing the partition function of an instance of a weighted Boolean constraint satisfaction problem. The problem is parameterised by a finite set F of non-negative functions that may be used to assign weights to the configurations (feasible solutions) of a problem instance. Classical constraint satisfaction problems correspond to the special case of 0,1-valued functions. We show that the partition function, i.e. the sum of the weights of all configurations, can be computed in polynomial time if either (1) every function in F is of ``product type'', or (2) every function in F is ``pure affine''. For every other fixed set F, computing the partition function is FP^{#P}-complete.
A weighted graph problem from commutative algebra
We give an especially simple proof of a theorem in graph theory that forms the key part of the solution to a problem in commutative algebra, on how to characterize the integral closure of a polynomial ring generated by quadratic monomials.
Catalan's intervals and realizers of triangulations
Published in Journal of Combinatorial Theory Series A 116, 1 (2009) 55-75
• View Publication
• BIB
The Stanley lattice, Tamari lattice and Kreweras lattice are three remarkable orders defined on the set of Catalan objects of a given size. These lattices are ordered by inclusion: the Stanley lattice is an extension of the Tamari lattice which is an extension of the Kreweras lattice. The Stanley order can be defined on the set of Dyck paths of size $n$ as the relation of \emph{being above}. Hence, intervals in the Stanley lattice are pairs of non-crossing Dyck paths. In a former article, the second author defined a bijection $Φ$ between pairs of non-crossing Dyck paths and the realizers of triangulations (or Schnyder woods). We give a simpler description of the bijection $Φ$. Then, we study the restriction of $Φ$ to Tamari's and Kreweras' intervals. We prove that $Φ$ induces a bijection between Tamari intervals and minimal realizers. This gives a bijection between Tamari intervals and triangulations. We also prove that $Φ$ induces a bijection between Kreweras intervals and the (unique) realizers of stack triangulations. Thus, $Φ$ induces a bijection between Kreweras intervals and stack triangulations which are known to be in bijection with ternary trees.
Bernstein-Szego Polynomials Associated with Root Systems
Published in Bull. London Math. Soc. 39 (2007), 837-847
• View Publication
• BIB
We introduce multivariate generalizations of the Bernstein-Szego polynomials, which are associated to the root systems of the complex simple Lie algebras. The multivariate polynomials in question generalize Macdonald's Hall-Littlewood polynomials associated with root systems. For the root system of type A1 (corresponding to the Lie algebra SL (2;C)) the classic Bernstein-Szego polynomials are recovered.
The descent statistic on involutions is not log-concave
Published
• View Publication
• BIB
We establish a combinatorial connection between the sequence $(i_{n,k})$ counting the involutions on $n$ letters with $k$ descents and the sequence $(a_{n,k})$ enumerating the semistandard Young tableaux on $n$ cells with $k$ symbols. This allows us to show that the sequences $(i_{n,k})$ are not log-concave for some values of $n$, hence answering a conjecture due to F. Brenti.
Polynomial solutions of qKZ equation and ground state of XXZ spin chain at Delta = -1/2
Published
• View Publication
• BIB
Integral formulae for polynomial solutions of the quantum Knizhnik-Zamolodchikov equations associated with the R-matrix of the six-vertex model are considered. It is proved that when the deformation parameter q is equal to e^{+- 2 pi i/3} and the number of vertical lines of the lattice is odd, the solution under consideration is an eigenvector of the inhomogeneous transfer matrix of the six-vertex model. In the homogeneous limit it is a ground state eigenvector of the antiferromagnetic XXZ spin chain with the anisotropy parameter Delta equal to -1/2 and odd number of sites. The obtained integral representations for the components of this eigenvector allow to prove some conjectures on its properties formulated earlier. A new statement relating the ground state components of XXZ spin chains and Temperley-Lieb loop models is formulated and proved.
Enumerating permutations avoiding more than three Babson - Steingr\'ımsson patterns
Not long ago, Claesson and Mansour proposed some conjectures about the enumeration of the permutations avoiding more than three Babson - Steingr\'ımsson patterns (generalized patterns of type $(1,2)$ or $(2,1)$). The avoidance of one, two or three patterns has already been considered. Here, the cases of four and five forbidden patterns are solved and the exact enumeration of the permutations avoiding them is given, confirming the conjectures of Claesson and Mansour. The approach we use can be easily extended to the cases of more than five forbidden patterns.
The enumeration of maximally clustered permutations
Published
• View Publication
• BIB
The maximally clustered permutations are characterized by avoiding the classical permutation patterns 3421, 4312, and 4321. This class contains the freely-braided permutations and the fully-commutative permutations. In this work, we show that the generating functions for certain fully-commutative pattern classes can be transformed to give generating functions for the corresponding freely-braided and maximally clustered pattern classes. Moreover, this transformation of generating functions is rational. As a result, we obtain enumerative formulas for the pattern classes mentioned above as well as the corresponding hexagon-avoiding pattern classes where the hexagon-avoiding permutations are characterized by avoiding 46718235, 46781235, 56718234, and 56781234.
Rapid Mixing of Gibbs Sampling on Graphs that are Sparse on Average
Published
• View Publication
• BIB
In this work we show that for every $d < \infty$ and the Ising model defined on $G(n,d/n)$, there exists a $β_d > 0$, such that for all $β< β_d$ with probability going to 1 as $n \to \infty$, the mixing time of the dynamics on $G(n,d/n)$ is polynomial in $n$. Our results are the first polynomial time mixing results proven for a natural model on $G(n,d/n)$ for $d > 1$ where the parameters of the model do not depend on $n$. They also provide a rare example where one can prove a polynomial time mixing of Gibbs sampler in a situation where the actual mixing time is slower than $n \polylog(n)$. Our proof exploits in novel ways the local treelike structure of Erdős-Rényi random graphs, comparison and block dynamics arguments and a recent result of Weitz.
Our results extend to much more general families of graphs which are sparse in some average sense and to much more general interactions. In particular, they apply to any graph for which every vertex $v$ of the graph has a neighborhood $N(v)$ of radius $O(\log n)$ in which the induced sub-graph is a tree union at most $O(\log n)$ edges and where for each simple path in $N(v)$ the sum of the vertex degrees along the path is $O(\log n)$. Moreover, our result apply also in the case of arbitrary external fields and provide the first FPRAS for sampling the Ising distribution in this case. We finally present a non Markov Chain algorithm for sampling the distribution which is effective for a wider range of parameters. In particular, for $G(n,d/n)$ it applies for all external fields and $β< β_d$, where $d \tanh(β_d) = 1$ is the critical point for decay of correlation for the Ising model on $G(n,d/n)$.