Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A probabilistic interpretation of the Macdonald polynomials
Published
• View Publication
• BIB
The two-parameter Macdonald polynomials are a central object of algebraic combinatorics and representation theory. We give a Markov chain on partitions of k with eigenfunctions the coefficients of the Macdonald polynomials when expanded in the power sum polynomials. The Markov chain has stationary distribution a new two-parameter family of measures on partitions, the inverse of the Macdonald weight (rescaled). The uniform distribution on permutations and the Ewens sampling formula are special cases. The Markov chain is a version of the auxiliary variables algorithm of statistical physics. Properties of the Macdonald polynomials allow a sharp analysis of the running time. In natural cases, a bounded number of steps suffice for arbitrarily large k.
Pre-Lie algebras and Incidence Categories of Colored Rooted Trees
The incidence category $\C_{\F}$ of a family $\F$ of colored posets closed under disjoint unions and the operation of taking convex sub-posets was introduced by the author in \cite{Sz}, where the Ringel-Hall algebra $\H_{\F}$ of $\C_{\F}$ was also defined. We show that if the Hasse diagrams underlying $\F$ are rooted trees, then the subspace $\n_{\F}$ of primitive elements of $\H_{\F}$ carries a pre-Lie structure, defined over $\mathbb{Z}$, and with positive structure constants. We give several examples of $\n_{\F}$, including the nilpotent subalgebras of $\mathfrak{sl}_n$, $L \mathfrak{gl}_n$, and several others.
The number of independent sets in a graph with small maximum degree
Published in Graphs Combin. 27 (2011), 177-186
• View Publication
• BIB
Let ${\rm ind}(G)$ be the number of independent sets in a graph $G$. We show that if $G$ has maximum degree at most $5$ then $$ {\rm ind}(G) \leq 2^{{\rm iso}(G)} \prod_{uv \in E(G)} {\rm ind}(K_{d(u),d(v)})^{\frac{1}{d(u)d(v)}} $$ (where $d(\cdot)$ is vertex degree, ${\rm iso}(G)$ is the number of isolated vertices in $G$ and $K_{a,b}$ is the complete bipartite graph with $a$ vertices in one partition class and $b$ in the other), with equality if and only if each connected component of $G$ is either a complete bipartite graph or a single vertex. This bound (for all $G$) was conjectured by Kahn.
A corollary of our result is that if $G$ is $d$-regular with $1 \leq d \leq 5$ then $$ {\rm ind}(G) \leq \left(2^{d+1}-1\right)^\frac{|V(G)|}{2d}, $$ with equality if and only if $G$ is a disjoint union of $V(G)/2d$ copies of $K_{d,d}$. This bound (for all $d$) was conjectured by Alon and Kahn and recently proved for all $d$ by the second author, without the characterization of the extreme cases.
Our proof involves a reduction to a finite search. For graphs with maximum degree at most $3$ the search could be done by hand, but for the case of maximum degree $4$ or $5$, a computer is needed.
An upper bound for the number of independent sets in regular graphs
Published in Discrete Mathematics 309 (2009), 6635-6640
• View Publication
• BIB
Write ${\cal I}(G)$ for the set of independent sets of a graph $G$ and $i(G)$ for $|{\cal I}(G)|$. It has been conjectured (by Alon and Kahn) that for an $N$-vertex, $d$-regular graph $G$, $$ i(G) \leq \left(2^{d+1}-1\right)^{N/2d}. $$ If true, this bound would be tight, being achieved by the disjoint union of $N/2d$ copies of $K_{d,d}$. Kahn established the bound for bipartite $G$, and later gave an argument that established $$ i(G)\leq 2^{\frac{N}{2}\left(1+\frac{2}{d}\right)} $$ for $G$ not necessarily bipartite. In this note, we improve this to $$ i(G)\leq 2^{\frac{N}{2}\left(1+\frac{1+o(1)}{d}\right)} $$ where $o(1) \rightarrow 0$ as $d \rightarrow \infty$, which matches the conjectured upper bound in the first two terms of the exponent.
We obtain this bound as a corollary of a new upper bound on the independent set polynomial $P(λ,G)=\sum_{I \in {\cal I}(G)} λ^{|I|}$ of an $N$-vertex, $d$-regular graph $G$, namely $$ P(\gl,G) \leq (1+\gl)^{\frac{N}{2}} 2^{\frac{N(1+o(1))}{2d}} $$ valid for all $\gl > 0$. This also allows us to improve the bounds obtained recently by Carroll, Galvin and Tetali on the number of independent sets of a fixed size in a regular graph.
Sampling independent sets in the discrete torus
Published in Random Structures and Algorithms 33 No. 3 (2008), 356-376
• View Publication
• BIB
The even discrete torus is the graph T_{L,d} on vertex set {0,...,L-1}^d (L even) with two vertices adjacent if they differ by 1 (mod L) on one coordinate. The hard-core measure with activity x on T_{L,d} is the distribution pi_x on the independent sets (sets of vertices spanning no edges) of T_{L,d} in which a set I is chosen with probability proportional to x^|I|. This distribution occurs in problems from statistical physics and communication networks.
We study Glauber dynamics, a single-site update Markov chain on the set of independent sets of T_{L,d} whose stationary distribution is pi_x. We show that for x > cd^{-1/4}log^{3/4}d (and d large) the convergence to stationarity is exponentially slow in L^{d-1}. This improves a result of Borgs et al., who had shown slow mixing for x > c^d.
Our proof, which extends to r-local chains (chains which alter the state of at most a proportion r of the vertices in each step) for suitable r, follows the conductance argument of Borgs et al., adding to it some combinatorial enumeration methods that are modifications of those used by Galvin and Kahn to show that the hard-core model with parameter x on the integer lattice Z^d exhibits phase coexistence for x > cd^{-1/4}log^{3/4}d.
The graph T_{L,d} is bipartite, with partition classes E (the vertices the sum of whose coordinates is even) and O. Our result can be expressed combinatorially as the statement that for each sufficiently large x, there is an r(x)>0 such that if I is an independent set chosen according to pi_x, then the probability that ||I \cap E|-|I \cap O|| is at most r(x)L^d is exponentially small in L^{d-1}. In particular, for all eps>0 the probability that a uniformly chosen independent set from T_{L,d} satisfies ||I \cap E|-|I \cap O|| \leq (.25 - eps)L^d is exponentially small in L^{d-1}.
The Largest Subsemilattices of the Semigroup of Transformations on a Finite Set
Let T(X) be the semigroup of full transformations on a finite set X with n elements. We prove that every subsemilattice of T(X) has at most 2^{n-1} elements and that there are precisely n subsemilattices of size exactly 2^{n-1}, each isomorphic to the semilattice of idempotents of the symmetric inverse semigroup on a set with n-1 elements.
Koszulness of binomial edge ideals
Published
• View Publication
• BIB
Let $G$ be a simple graph on the vertex set $V(G) = [n] = \{1,...,n\}$ and edge ideal $E(G)$. We consider the class of closed graphs. A closed graph is a simple graph satisfying the following property: for all edges $\{i, j\}$ and $\{k, \ell\}$ with $i < j$ and $k < \ell$ one has $\{j, \ell\}\in E(G)$ if $i = k$, and $\{i, k\}\in E(G)$ if $j = \ell$. We state some criteria for the closedness of a graph $G$ that do not depend necessarily from the labelling of its vertex set. Consequently, if $S = K[x_1,..., x_n, y_1,..., y_n]$ is a polynomial ring in $2n$ variables with coefficients in a field $K$, we obtain some criteria for the Koszulness of the quotient algebra $S /J_G$, where $J_G$ is the binomial edge ideal of $S$ i.e. the ideal generated by the binomials $f_{ij} = x_iy_j - x_jy_i$ such that $i<j$ and $\{i,j\}$ is an edge of $G$ (\cite{HH}).
Competitive Analysis of Minimum-Cut Maximum Flow Algorithms in Vision Problems
Published in Journal of Real-Time Image Processing, March 2016, Vol. 11, Issue 3, pp 589-609. (Online April 2013.)
• View Publication
• BIB
Rapid advances in image acquisition and storage technology underline the need for algorithms that are capable of solving large scale image processing and computer-vision problems. The minimum cut problem plays an important role in processing many of these imaging problems such as, image and video segmentation, stereo vision, multi-view reconstruction and surface fitting. While several min-cut/max-flow algorithms can be found in the literature, their performance in practice has been studied primarily outside the scope of computer vision. We present here the results of a comprehensive computational study, in terms of execution times and memory utilization, of four recently published algorithms, which optimally solve the {\em s-t} cut and maximum flow problems: (i) Goldberg's and Tarjan's {\em Push-Relabel}; (ii) Hochbaum's {\em pseudoflow}; (iii) Boykov's and Kolmogorov's {\em augmenting paths}; and (iv) Goldberg's {\em partial augment-relabel}. Our results demonstrate that the {\em Hochbaum's pseudoflow} algorithm, is faster and utilizes less memory than the other algorithms on all problem instances investigated.
Cyclic sieving phenomenon in non-crossing connected graphs
Published
• View Publication
• BIB
We prove an instance of the cyclic sieving phenomenon in non-crossing connected graphs, as conjectured by S.-P. Eu.
Elementary submodels in infinite combinatorics
Published
• View Publication
• BIB
The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we improve a decomposition theorem of Laviolette concerning bond-faithful decompositions of graphs.
On a Family of 2-Variable Orthogonal Krawtchouk Polynomials
Published in SIGMA 6 (2010), 090, 12 pages
• View Publication
• BIB
We give a hypergeometric proof involving a family of 2-variable Krawtchouk polynomials that were obtained earlier by Hoare and Rahman [SIGMA 4 (2008), 089, 18 pages] as a limit of the 9-j symbols of quantum angular momentum theory, and shown to be eigenfunctions of the transition probability kernel corresponding to a "poker dice" type probability model. The proof in this paper derives and makes use of the necessary and sufficient conditions of orthogonality in establishing orthogonality as well as indicating their geometrical significance. We also derive a 5-term recurrence relation satisfied by these polynomials.
Polynomial-time approximation scheme for Max-Cut problem
The community convinced me that this peace of crank was written by crackpot trisector. I apologize for disturbing community.
Vertex-deleted subgraphs and regular factors from regular graph
Published
• View Publication
• BIB
Let $k$, $m$ and $r$ be three integers such that $2\leq k\leq m\leq r$.
Let $G$ be a $2r$-regular, $2m$-edge-connected graph of odd order.
We obtain some sufficient conditions, which guarantee $G-v$ contains a $k$-factor for all $v\in V(G)$.
Completing Partial Packings of Bipartite Graphs
Given a bipartite graph $H$ and an integer $n$, let $f(n;H)$ be the smallest integer such that, any set of edge disjoint copies of $H$ on $n$ vertices, can be extended to an $H$-design on at most $n+f(n;H)$ vertices. We establish tight bounds for the growth of $f(n;H)$ as $n \rightarrow \infty$. In particular, we prove the conjecture of Füredi and Lehel \cite{FuLe} that $f(n;H) = o(n)$. This settles a long-standing open problem.
Bounds for the regularity of edge ideal of vertex decomposable and shellable graphs
Published in Bull. Iranian Math. Soc. 36 (2010), no. 2, 267-277
• Search Publication
In this paper we give upper bounds for the regularity of edge ideal of some classes of graphs in terms of invariants of graph. We introduce two numbers $a'(G)$ and $n(G)$ depending on graph $G$ and show that for a vertex decomposable graph $G$, $\reg(R/I(G))\leq \min\{a'(G),n(G)\}$ and for a shellable graph $G$, $\reg(R/I(G))\leq n(G)$. Moreover it is shown that for a graph $G$, where $G^c$ is a $d$-tree, we have $\pd(R/I(G))=\max_{v\in V(G)} \{°_G(v)\}$.
Multi-latin squares
Published
• View Publication
• BIB
A multi-latin square of order $n$ and index $k$ is an $n\times n$ array of multisets, each of cardinality $k$, such that each symbol from a fixed set of size $n$ occurs $k$ times in each row and $k$ times in each column. A multi-latin square of index $k$ is also referred to as a $k$-latin square. A $1$-latin square is equivalent to a latin square, so a multi-latin square can be thought of as a generalization of a latin square.
In this note we show that any partially filled-in $k$-latin square of order $m$ embeds in a $k$-latin square of order $n$, for each $n\geq 2m$, thus generalizing Evans' Theorem. Exploiting this result, we show that there exist non-separable $k$-latin squares of order $n$ for each $n\geq k+2$. We also show that for each $n\geq 1$, there exists some finite value $g(n)$ such that for all $k\geq g(n)$, every $k$-latin square of order $n$ is separable.
We discuss the connection between $k$-latin squares and related combinatorial objects such as orthogonal arrays, latin parallelepipeds, semi-latin squares and $k$-latin trades. We also enumerate and classify $k$-latin squares of small orders.
The de Bruijn-Erdos Theorem for Hypergraphs
Published
• View Publication
• BIB
Fix integers $n \ge r \ge 2$. A clique partition of ${[n] \choose r}$ is a collection of proper subsets $A_1, A_2, \ldots, A_t \subset [n]$ such that $\bigcup_i{A_i \choose r}$ is a partition of ${[n] \choose r}$.
Let $\cp(n,r)$ denote the minimum size of a clique partition of
${[n] \choose r}$.
A classical theorem of de Bruijn and Erd\H os states that $\cp(n, 2) = n$. In this paper we study $\cp(n,r)$, and show in general that for each fixed $r \geq 3$, \[ \cp(n,r) \geq (1 + o(1))n^{r/2} \quad \quad \mbox{as}n
\rightarrow \infty.\] We conjecture $\cp(n,r) = (1 + o(1))n^{r/2}$. This conjecture has already been verified (in a very strong sense) for $r = 3$ by Hartman-Mullin-Stinson. We give further evidence of this conjecture by constructing, for each $r \ge 4$, a family of $(1+o(1))n^{r/2}$ subsets of $[n]$ with the following property: no two $r$-sets of $[n]$ are covered more than once and all but $o(n^r)$ of the $r$-sets of $[n]$ are covered.
We also give an absolute lower bound $\cp(n,r) \geq {n \choose r}/{q + r - 1 \choose r}$ when $n = q^2 + q + r - 1$, and for each $r$ characterize the finitely many configurations achieving equality with the lower bound. Finally we note the connection of $\cp(n,r)$ to extremal graph theory, and determine some new asymptotically sharp bounds for the Zarankiewicz problem.
Approximation of a Maximum-Submodular-Coverage problem involving spectral functions, with application to Experimental Design
Published
• View Publication
• BIB
We study a family of combinatorial optimization problems defined by a parameter $p\in[0,1]$, which involves spectral functions applied to positive semidefinite matrices, and has some application in the theory of optimal experimental design. This family of problems tends to a generalization of the classical maximum coverage problem as $p$ goes to 0, and to a trivial instance of the knapsack problem as $p$ goes to 1.
In this article, we establish a matrix inequality which shows that the objective function is submodular for all $p\in[0,1]$, from which it follows that the greedy approach, which has often been used for this problem, always gives a design within $1-1/e$ of the optimum. We next study the design found by rounding the solution of the continuous relaxed problem, an approach which has been applied by several authors. We prove an inequality which generalizes a classical result from the theory of optimal designs, and allows us to give a rounding procedure with an approximation factor which tends to 1 as $p$ goes to 1.
Partial duals of plane graphs, separability and the graphs of knots
Published in Algebr. Geom. Topol. 12 (2012) 1099-1136
• View Publication
• BIB
There is a well-known way to describe a link diagram as a (signed) plane graph, called its Tait graph. This concept was recently extended, providing a way to associate a set of embedded graphs (or ribbon graphs) to a link diagram. While every plane graph arises as a Tait graph of a unique link diagram, not every embedded graph represents a link diagram. Furthermore, although a Tait graph describes a unique link diagram, the same embedded graph can represent many different link diagrams. One is then led to ask which embedded graphs represent link diagrams, and how link diagrams presented by the same embedded graphs are related to one another. Here we answer these questions by characterizing the class of embedded graphs that represent link diagrams, and then using this characterization to find a move that relates all of the link diagrams that are presented by the same set of embedded graphs.
Nilsson solutions for irregular A-hypergeometric systems
Published
• View Publication
• BIB
We study the solutions of irregular A-hypergeometric systems that are constructed from Gröbner degenerations with respect to generic positive weight vectors. These are formal logarithmic Puiseux series that belong to explicitly described Nilsson rings, and are therefore called (formal) Nilsson series. When the weight vector is a perturbation of (1,...,1), these series converge and provide a basis for the (multivalued) holomorphic hypergeometric functions in a specific open subset of complex n-space. Our results are more explicit when the parameters are generic or when the solutions studied are logarithm-free. We also give an alternative proof of a result of Schulze and Walther that inhomogeneous A-hypergeometric systems have irregular singularities.