Showing 20 papers (Total: 83342 papers, 48132 authors in database)
A Counterexample to rapid mixing of the Ge-Stefankovic Process
Published in Electronic Communications in Probability, 17 (2012) no. 5, 1-6
• View Publication
• BIB
Ge and Stefankovic have recently introduced a novel two-variable graph polynomial. When specialised to a bipartite graphs G and evaluated at the point (1/2,1) this polynomial gives the number of independent sets in the graph. Inspired by this polynomial, they also introduced a Markov chain which, if rapidly mixing, would provide an efficient sampling procedure for independent sets in G. This sampling procedure in turn would imply the existence of efficient approximation algorithms for a number of significant counting problems whose complexity is so far unresolved. The proposed Markov chain is promising, in the sense that it overcomes the most obvious barrier to mixing. However, we show here, by exhibiting a sequence of counterexamples, that the mixing time of their Markov chain is exponential in the size of the input when the input is chosen from a particular infinite family of bipartite graphs.
Tamari Lattices and the symmetric Thompson monoid
Published
• View Publication
• BIB
We investigate the connection between Tamari lattices and the Thompson group F, summarized in the fact that F is a group of fractions for a certain monoid F+sym whose Cayley graph includes all Tamari lattices. Under this correspondence, the Tamari lattice operations are the counterparts of the least common multiple and greatest common divisor operations in F+sym. As an application, we show that, for every n, there exists a length l chain in the nth Tamari lattice whose endpoints are at distance at most 12l/n.
Permutation patterns and statistics
Published
• View Publication
• BIB
Let S_n denote the symmetric group of all permutations of the set {1, 2, ...,n} and let S = \cup_{n\ge0} S_n. If Pi is a set of permutations, then we let Av_n(Pi) be the set of permutations in S_n which avoid every permutation of Pi in the sense of pattern avoidance. One of the celebrated notions in pattern theory is that of Wilf-equivalence, where Pi and Pi' are Wilf equivalent if #Av_n(Pi)=#Av_n(Pi') for all n\ge0. In a recent paper, Sagan and Savage proposed studying a q-analogue of this concept defined as follows. Suppose st:S->N is a permutation statistic where N represents the nonnegative integers. Consider the corresponding generating function, F_n^{st}(Pi;q) = sum_{sigma in Av_n(Pi)} q^{st sigma}, and call Pi,Pi' st-Wilf equivalent if F_n^{st}(Pi;q)=F_n^{st}(Pi';q) for all n\ge0. We present the first in-depth study of this concept for the inv and maj statistics. In particular, we determine all inv- and maj-Wilf equivalences for any Pi containd in S_3. This leads us to consider various q-analogues of the Catalan numbers, Fibonacci numbers, triangular numbers, and powers of two. Our proof techniques use lattice paths, integer partitions, and Foata's fundamental bijection. We also answer a question about Mahonian pairs raised in the Sagan-Savage article.
On a question on graphs with rainbow connection number 2
For a connected graph $G$, the \emph{rainbow connection number $rc(G)$} of a graph $G$ was introduced by Chartrand et al. In "Chakraborty et al., Hardness and algorithms for rainbow connection, J. Combin. Optim. 21(2011), 330--347", Chakraborty et al. proved that for a graph $G$ with diameter 2, to determine $rc(G)$ is NP-Complete, and they left 4 open questions at the end, the last one of which is the following: Suppose that we are given a graph $G$ for which we are told that $rc(G)=2$. Can we rainbow-color it in polynomial time with $o(n)$ colors ? In this paper, we settle down this question by showing a stronger result that for any graph $G$ with $rc(G)=2$, we can rainbow-color $G$ in polynomial time by at most 5 colors.
Commutativity pattern of finite non-abelian $p$-groups determine their orders
Published
• View Publication
• BIB
Let $G$ be a non-abelian group and $Z(G)$ be the center of $G$. Associate a graph $Γ_G$ (called non-commuting graph of $G$) with $G$ as follows: take $G\setminus Z(G)$ as the vertices of $Γ_G$ and join two distinct vertices $x$ and $y$, whenever $xy\neq yx$. Here, we prove that "the commutativity pattern of a finite non-abelian $p$-group determine its order among the class of groups"; this means that if $P$ is a finite non-abelian $p$-group such that $Γ_P\cong Γ_H$ for some group $H$, then $|P|=|H|$.
The Linear Ordering Polytope via Representations
Let $P_n$ denote the $n$-th linear ordering polytope. We define projections from $P_n$ to the $n$-th permutahedron and to the $(n-1)$-st linear ordering polytope. Both projections are equivariant with respect to the natural $\Sn$-action and they project to orthogonal subspaces. In particular the second projection defines an $S_n$-action in $P_{n-1}$.
Maximal equilateral sets
Published in Discrete & Computational Geometry 50 (2013), 354-373
• View Publication
• BIB
A subset of a normed space $X$ is called equilateral if the distance between any two points is the same. Let $m(X)$ be the smallest possible size of an equilateral subset of $X$ maximal with respect to inclusion. We first observe that Petty's construction of a $d$-dimensional $X$ of any finite dimension $d\geq 4$ with $m(X)=4$ can be generalised to give $m(X\oplus_1\mathbb{R})=4$ for any $X$ of dimension at least 2 which has a smooth point on its unit sphere. By a construction involving Hadamard matrices we then show that for any set $Γ$, $m(\ell_p(Γ))$ is finite and bounded above by a function of $p$, for all $1\leq p<2$. Also, for all $p\in[1,\infty)$ and $d\in\mathbb{N}$ there exists $c=c(p,d)>1$ such that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than $c$ from $\ell_p^d$. Using Brouwer's fixed-point theorem we show that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than 3/2 from $\ell_\infty^d$. A graph-theoretical argument furthermore shows that $m(\ell_\infty^d)=d+1$.
The above results lead us to conjecture that $m(X)\leq 1+\dim X$ for all finite-dimensional normed spaces $X$.
A Mathematical Approach to Balanced Tanner Graph Enumeration
This paper summarizes our latest understanding and results about the application of the Mathematics Of Enumeration to Tanner Graphs that have a regular structure called Balanced Tanner Graphs. Some preliminaries of permutation groups have been presented followed by various enumeration theorems, and finally our approach for enumeration of Balanced Tanner Graphs has been explained, and several open questions have been raised.
From the Tamari lattice to Cambrian lattices and beyond
Published
• View Publication
• BIB
In this chapter, we trace the path from the Tamari lattice, via lattice congruences of the weak order, to the definition of Cambrian lattices in the context of finite Coxeter groups, and onward to the construction of Cambrian fans. We then present sortable elements, the key combinatorial tool for studying Cambrian lattices and fans. The chapter concludes with a brief description of the applications of Cambrian lattices and sortable elements to Coxeter-Catalan combinatorics and to cluster algebras.
On the relationship of steady states of continuous and discrete models
Published
• View Publication
• BIB
In this paper we provide theoretical results that relate steady states of continuous and discrete models arising from biology.
Uniquely D-colourable digraphs with large girth
Published in Can. J. Math.-J. Can. Math. 64 (2012) 1310-1328
• View Publication
• BIB
Let C and D be digraphs. A mapping $f:V(D)\to V(C)$ is a C-colouring if for every arc $uv$ of D, either $f(u)f(v)$ is an arc of C or $f(u)=f(v)$, and the preimage of every vertex of C induces an acyclic subdigraph in D. We say that D is C-colourable if it admits a C-colouring and that D is uniquely C-colourable if it is surjectively C-colourable and any two C-colourings of D differ by an automorphism of C. We prove that if a digraph D is not C-colourable, then there exist digraphs of arbitrarily large girth that are D-colourable but not C-colourable. Moreover, for every digraph D that is uniquely D-colourable, there exists a uniquely D-colourable digraph of arbitrarily large girth. In particular, this implies that for every rational number $r\geq 1$, there are uniquely circularly r-colourable digraphs with arbitrarily large girth.
On the algebraic representation of selected optimal non-linear binary codes
Published
• View Publication
• BIB
Revisiting an approach by Conway and Sloane we investigate a collection of optimal non-linear binary codes and represent them as (non-linear) codes over Z4. The Fourier transform will be used in order to analyze these codes, which leads to a new algebraic representation involving subgroups of the group of units in a certain ring.
One of our results is a new representation of Best's (10, 40, 4) code as a coset of a subgroup in the group of invertible elements of the group ring Z4[Z5]. This yields a particularly simple algebraic decoding algorithm for this code.
The technique at hand is further applied to analyze Julin's (12, 144, 4) code and the (12, 24, 12) Hadamard code. It can also be used in order to construct a (non-optimal) binary (14, 56, 6) code.
Extremal problems related to Betti numbers of flag complexes
Published
• View Publication
• BIB
We study the problem of maximizing Betti numbers of simplicial complexes. We prove an upper bound of 1.32^n for the sum of Betti numbers of any n-vertex flag complex and 1.25^n for the independence complex of a triangle-free graph. These findings imply upper bounds for the Betti numbers of various related classes of spaces, including the neighbourhood complex of a graph. We also make some related observations.
On Cui-Kano's Characterization Problem on Graph Factors
Published in J. Graph Theory 74(3) (2013), 335--343
• View Publication
• BIB
An $H_n$-factor of a graph $G$ is defined to be a spanning subgraph $F$ of $G$ such that each vertex has degree belonging to the set $\{1,3,5,...,2n-1,2n\}$ in $F$. In this paper, we investigate $H_n$-factors of graphs by using Lovász's structural descriptions to the degree prescribed subgraph problem. We find some sufficient conditions for the existence of an $H_n$-factor of a graph. In particular, we make progress on the characterization problem for a special family of graphs proposed by Cui and Kano in 1988.
Divisibility by 2 of partial Stirling numbers
Published
• View Publication
• BIB
The partial Stirling numbers T_n(k) used here are defined as the sum over odd values of i of (n choose i) i^k. Their 2-exponents nu(T_n(k)) are important in algebraic topology. We provide many specific results, applying to all values of n, stating that, for all k in a certain congruence class mod 2^t, nu(T_n(k)) = nu(k - k0) + c0, where k0 is a 2-adic integer and c0 a positive integer. Our analysis involves several new general results for nu(sum (n choose 2i+1) i^j), the proofs of which involve a new family of polynomials. Following Clarke, we interpret T_n as a function on the 2-adic integers, and the 2-adic integers k0 described above as the zeros of these functions.
Proof of a positivity conjecture of M. Kontsevich on non-commutative cluster variables
Published in Compositio Math. 148 (2012) 1821-1832
• View Publication
• BIB
We prove a conjecture of Kontsevich, which asserts that the iterations of the noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by noncommutative Laurent polynomials with nonnegative integer coefficients.
The tree structure in staircase tableaux
Staircase tableaux are combinatorial objects which appear as key tools in the study of the PASEP physical model. The aim of this work is to show how the discovery of a tree structure in staircase tableaux is a significant feature to derive properties on these objects.
Special cycles in independence complexes and superfrustration in some lattices
Published
• View Publication
• BIB
We prove that the independence complexes of some grids have exponential Betti numbers. This corresponds to the number of ground states in the hard-core model in statistical physics with fermions in the vertices of the grid.
Volumes and Tangent Cones of Matroid Polytopes
De Loera et al. 2009, showed that when the rank is fixed the Ehrhart polynomial of a matroid polytope can be computed in polynomial time when the number of elements varies. A key to proving this is the fact that the number of simplicial cones in any triangulation of a tangent cone is bounded polynomially in the number of elements when the rank is fixed. The authors speculated whether or not the Ehrhart polynomial could be computed in polynomial time in terms of the number of bases, where the number of elements and rank are allowed to vary. We show here that for the uniform matroid of rank $r$ on $n$ elements, the number of simplicial cones in any triangulation of a tangent cone is $n-2 \choose r-1$. Therefore, if the rank is allowed to vary, the number of simplicial cones grows exponentially in $n$. Thus, it is unlikely that a Brion-Lawrence type of approach, such as Barvinok's Algorithm, can compute the Ehrhart polynomial efficiently when the rank varies with the number of elements. To prove this result, we provide a triangulation in which the maximal simplicies are in bijection with the spanning thrackles of the complete bipartite graph $K_{r,n-r}$.
Some Exact Ramsey-Turán Numbers
Published in Bulletin of the London Mathematical Society, 44(6):1251-1258, 2012
• View Publication
• BIB
Let r be an integer, f(n) a function, and H a graph. Introduced by Erdős, Hajnal, Sós, and Szemerédi, the r-Ramsey-Turán number of H, RT_r(n, H, f(n)), is defined to be the maximum number of edges in an n-vertex, H-free graph G with α_r(G) <= f(n) where α_r(G) denotes the K_r-independence number of G. In this note, using isoperimetric properties of the high dimensional unit sphere, we construct graphs providing lower bounds for RT_r(n,K_{r+s},o(n)) for every 2 <= s <= r. These constructions are sharp for an infinite family of pairs of r and s. The only previous sharp construction was by Bollobás and Erd\Hos for r = s = 2.