Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Freeness of Conic-Line Arrangements in $\mathbb P^2$
Published in Commentarii Mathematici Helvetici, 84 (2009) 235-258
• View Publication
• BIB
Let ${\mathcal C}= \bigcup_{i=1}^n C_i \subseteq \mathbb{P}^2$ be a collection of smooth rational plane curves. We prove that the addition-deletion operation used in the study of hyperplane arrangements has an extension which works for a large class of arrangements of smooth rational curves, giving an inductive tool for understanding the freeness of the module $Ω^1({\mathcal C})$ of logarithmic differential forms with pole along ${\mathcal C}$. We also show that the analog of Terao's conjecture (freeness of $Ω^1({\mathcal C})$ is combinatorially determined if ${\mathcal C}$ is a union of lines) is false in this setting.
Clique-width of unit interval graphs
Published
• View Publication
• BIB
The clique-width is known to be unbounded in the class of unit interval graphs. In this paper, we show that this is a minimal hereditary class of unbounded clique-width, i.e., in every hereditary subclass of unit interval graphs the clique-width is bounded by a constant.
Combinatorics of the Dimer Model on a Strip
In this note, we give a closed formula for the partition function of the dimer model living on a (2 x n) strip of squares or hexagons on the torus for arbitrary even n. The result is derived in two ways, by using a Potts model like description for the dimers, and via a recursion relation that was obtained from a map to a 1D monomer-dimer system. The problem of finding the number of perfect matchings can also be translated to the problem of finding a minmal feedback arc set on the dual graph.
Overpartition pairs and two classes of basic hypergeometric series
Published
• View Publication
• BIB
We study the combinatorics of two classes of basic hypergeometric series. We first show that these series are the generating functions for certain overpartition pairs defined by frequency conditions on the parts. We then show that when specialized these series are also the generating functions for overpartition pairs with bounded successive ranks, overpartition pairs with conditions on their Durfee dissection, as well as certain lattice paths. When further specialized, the series become infinite products, leading to numerous identities for partitions, overpartitions, and overpartition pairs.
On permutation polytopes
Published in Adv. Math. 222 (2009), 431-452
• View Publication
• BIB
A permutation polytope is the convex hull of a group of permutation matrices. In this paper we investigate the combinatorics of permutation polytopes and their faces. As applications we completely classify permutation polytopes in dimensions 2,3,4, and the corresponding permutation groups up to a suitable notion of equivalence. We also provide a list of combinatorial types of possibly occuring faces of permutation polytopes up to dimension four.
Gaudin functions, and Euler-Poincaré characteristics
Given two positive integers n,r, we define the Gaudin function of level r to be quotient of the numerator of the determinant det(1/ ((x_i-y_j)(x_i-ty_j) ... (x_i-t^r y_j)), i,j=1..n, by the two Vandermonde in x and y. We show that it can be characterized by specializing the x-variables into the y-variables, multiplied by powers of t. This allows us to obtain the Gaudin function of level 1 (due to Korepin and Izergin) as the image of a resultant under the the Euler-Poincaré characteristics of the flag manifold. As a corollary, we recover a result of Warnaar about the generating function of Macdonald polynomials.
A devil's staircase from rotations and irrationality measures for Liouville numbers
Published
• View Publication
• BIB
From Sturmian and Christoffel words we derive a strictly increasing function $Δ:[0,\infty)\to\mathbb{R}$. This function is continuous at every irrational point, while at rational points, left-continuous but not right-continuous. Moreover, it assumes algebraic integers at rationals, and transcendental numbers at irrationals. We also see that the differentiation of $Δ$ distinguishes some irrationality measures of real numbers.
New path description for the M(k+1,2k+3) models and the dual Z_k graded parafermions
Published in J.Stat.Mech.0711:P11005,2007
• View Publication
• BIB
We present a new path description for the states of the non-unitary M(k+1,2k+3) models. This description differs from the one induced by the Forrester-Baxter solution, in terms of configuration sums, of their restricted-solid-on-solid model. The proposed path representation is actually very similar to the one underlying the unitary minimal models M(k+1,k+2), with an analogous Fermi-gas interpretation. This interpretation leads to fermionic expressions for the finitized M(k+1,2k+3) characters, whose infinite-length limit represent new fermionic characters for the irreducible modules. The M(k+1,2k+3) models are also shown to be related to the Z_k graded parafermions via a (q to 1/q) duality transformation.
The extremal values of the Wiener index of a tree with given degree sequence
Published
• View Publication
• BIB
The Wiener index of a graph is the sum of the distances between all pairs of vertices, it has been one of the main descriptors that correlate achemical compound's molecular graph with experimentally gathered data regarding the compound's characteristics. The tree that minimizes the Wiener index among trees of given maximal degree was studied. We characterize trees that achieve the maximum and minimum Wiener index, given the number of vertices and the degree sequence.
On some new congruences for binomial coefficients
Published in Int. J. Number Theory 7(2011), no.3, 645-662
• View Publication
• BIB
In this paper we establish some new congruences involving central binomial coefficients as well as Catalan numbers. Let $p$ be a prime and let $a$ be any positive integer. We determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$ for $d=0,...,p^a$ and $\sum_{k=0}^{p^a-1}\binom{2k}{k+δ}$ mod $p^3$ for $δ=0,1$. We also show that $$C_n^{-1}\sum_{k=0}^{p^a-1}C_{p^an+k}=1-3(n+1)((p^a-1)/3) (mod p^2)$$ for every n=0,1,2,..., where $C_m$ is the Catalan number $\binom{2m}{m}/(m+1)$, and (-) is the Legendre symbol.
Lattice and Schroder paths with periodic boundaries
Published
• View Publication
• BIB
We consider paths in the plane with $(1,0),$ $(0,1),$ and $(a,b)$-steps that start at the origin, end at height $n,$ and stay to the left of a given non-decreasing right boundary. We show that if the boundary is periodic and has slope at most $b/a,$ then the ordinary generating function for the number of such paths ending at height $n$ is algebraic. Our argument is in two parts. We use a simple combinatorial decomposition to obtain an Appell relation or ``umbral'' generating function, in which the power $z^n$ is replaced by a power series of the form $z^n φ_n(z),$ where $φ_n(0) = 1.$ Then we convert (in an explicit way) the umbral generating function to an ordinary generating function by solving a system of linear equations and a polynomial equation. This conversion implies that the ordinary generating function is algebraic.
Mean-field conditions for percolation on finite graphs
Published
• View Publication
• BIB
Let G_n be a sequence of finite transitive graphs with vertex degree d=d(n) and |G_n|=n. Denote by p^t(v,v) the return probability after t steps of the non-backtracking random walk on G_n. We show that if p^t(v,v) has quasi-random properties, then critical bond-percolation on G_n has a scaling window of width n^{-1/3}, as it would on a random graph.
A consequence of our theorems is that if G_n is a transitive expander family with girth at least (2/3 + eps) \log_{d-1} n, then the size of the largest component in p-bond-percolation with p={1 +O(n^{-1/3}) \over d-1} is roughly n^{2/3}. In particular, bond-percolation on the celebrated Ramanujan graph constructed by Lubotzky, Phillips and Sarnak has the above scaling window. This provides the first examples of quasi-random graphs behaving like random graphs with respect to critical bond-percolation.
Coincidence rotations of the root lattice $A_4$
Published in European Journal of Combinatorics 29 (2008) 1808-1819
• View Publication
• BIB
The coincidence site lattices of the root lattice $A_4$ are considered, and the statistics of the corresponding coincidence rotations according to their indices is expressed in terms of a Dirichlet series generating function. This is possible via an embedding of $A_4$ into the icosian ring with its rich arithmetic structure, which recently (arXiv:math.MG/0702448) led to the classification of the similar sublattices of $A_4$.
A Brownian quasi-helix in IR4, built from an automatic sequence
We describe a brownian quasi-helix in R^4 by means of an automatic sequence
On D.K. Biss' papers "The homotopy type of the matroid Grassmannian" and "Oriented matroids, complex manifolds, and a combinatorial model for BU"
We point out a flaw in papers by Daniel Biss devoted to homotopy type of matroid Grassmannians.
The Rank-Width of Edge-Colored Graphs
Published in Theory of Computing Systems 52(4):599-644(2013)
• View Publication
• BIB
Clique-width is a complexity measure of directed as well as undirected graphs. Rank-width is an equivalent complexity measure for undirected graphs and has good algorithmic and structural properties. It is in particular related to the vertex-minor relation. We discuss an extension of the notion of rank-width to edge-colored graphs. A C-colored graph is a graph where the arcs are colored with colors from the set C. There is not a natural notion of rank-width for C-colored graphs. We define two notions of rank-width for them, both based on a coding of C-colored graphs by edge-colored graphs where each edge has exactly one color from a field F and named respectively F-rank-width and F-bi-rank-width. The two notions are equivalent to clique-width. We then present a notion of vertex-minor for F-colored graphs and prove that F-colored graphs of bounded F-rank-width are characterised by a finite list of F-colored graphs to exclude as vertex-minors. A cubic-time algorithm to decide whether a F-colored graph has F-rank-width (resp. F-bi-rank-width) at most k, for fixed k, is also given. Graph operations to check MSOL-definable properties on F-colored graphs of bounded rank-width are presented. A specialisation of all these notions to (directed) graphs without edge colors is presented, which shows that our results generalise the ones in undirected graphs.
Random walks on quasisymmetric functions
Published
• View Publication
• BIB
Conditions are provided under which an endomorphism on quasisymmetric functions gives rise to a left random walk on the descent algebra which is also a lumping of a left random walk on permutations. Spectral results are also obtained. Several well-studied random walks are now realized this way: Stanley's QS-distribution results from endomorphisms given by evaluation maps, a-shuffles result from the a-th convolution power of the universal character, and the Tchebyshev operator of the second kind introduced recently by Ehrenborg and Readdy yields traditional riffle shuffles. A conjecture of Ehrenborg regarding the spectra for a family of random walks on ab-words is proven. A theorem of Stembridge from the theory of enriched P-partitions is also recovered as a special case.
The Graver Complexity of Integer Programming
Published in Annals of Combinatorics, 13:289--296, 2009
• View Publication
• BIB
In this article we establish an exponential lower bound on the Graver complexity of integer programs. This provides new type of evidence supporting the presumable intractability of integer programming. Specifically, we show that the Graver complexity of the incidence matrix of the complete bipartite graph $K_{3,m}$ satisfies $g(m)=Ω(2^m)$, with $g(m)\geq 17\cdot 2^{m-3}-7$ for every $m>3$ .
L^2-spectral invariants and convergent sequences of finite graphs
Published
• View Publication
• BIB
Using the spectral theory of weakly convergent sequences of finite graphs, we prove the uniform existence of the integrated density of states for a large class of infinite graphs.
A criterion for the half-plane property
Published
• View Publication
• BIB
We establish a convenient necessary and sufficient condition for a multiaffine real polynomial to be stable, and use it to verify that the half-plane property holds for seven small matroids that resisted the efforts of Choe, Oxley, Sokal, and Wagner [5].