Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Sampling complete designs
Published in Discrete Math. 312 (3): 488-497 (2012)
• View Publication
• BIB
In the present paper, complete designs of graphs are considered. The notion of (regular) sampling is introduced and analyzed in detail, showing that the trivial necessary condition for its existence is actually sufficient. Some examples are also provided.
Strong homotopy types, nerves and collapses
Published
• View Publication
• BIB
We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial $G$-actions and prove a particular case of the Evasiveness conjecture for simplicial complexes. Moreover, we reduce the general conjecture to the class of minimal complexes. We also strengthen a result of V. Welker on the barycentric subdivision of collapsible complexes. We obtain this and other results on collapsibility of polyhedra by means of the characterization of the different notions of collapses in terms of finite topological spaces.
Graded cellular bases for the cyclotomic Khovanov-Lauda-Rouquier algebras of type A
Published
• View Publication
• BIB
This paper constructs an explicit homogeneous cellular basis for the cyclotomic Khovanov--Lauda--Rouquier algebras of type $A$.
Proof of a conjectured q,t-Schröder identity
Published
• View Publication
• BIB
A conjecture of Chunwei Song on a limiting case of the q,t-Schröder theorem is proved combinatorially. The proof matches pairs of tableaux to Catalan words in a manner that preserves differences in the maj statistic.
Exact Solution of the Discrete (1+1)-dimensional RSOS Model with Field and Surface Interactions
Published
• View Publication
• BIB
We present the solution of a linear Restricted Solid--on--Solid (RSOS) model in a field. Aside from the origins of this model in the context of describing the phase boundary in a magnet, interest also comes from more recent work on the steady state of non-equilibrium models of molecular motors. While similar to a previously solved (non-restricted) SOS model in its physical behaviour, mathematically the solution is more complex. Involving basic hypergeometric functions ${}_3φ_2$, it introduces a new form of solution to the lexicon of directed lattice path generating functions.
Bootstrap percolation in high dimensions
Published
• View Publication
• BIB
In r-neighbour bootstrap percolation on a graph G, a set of initially infected vertices A \subset V(G) is chosen independently at random, with density p, and new vertices are subsequently infected if they have at least r infected neighbours. The set A is said to percolate if eventually all vertices are infected. Our aim is to understand this process on the grid, [n]^d, for arbitrary functions n = n(t), d = d(t) and r = r(t), as t -> infinity. The main question is to determine the critical probability p_c([n]^d,r) at which percolation becomes likely, and to give bounds on the size of the critical window. In this paper we study this problem when r = 2, for all functions n and d satisfying d \gg log n.
The bootstrap process has been extensively studied on [n]^d when d is a fixed constant and 2 \leq r \leq d, and in these cases p_c([n]^d,r) has recently been determined up to a factor of 1 + o(1) as n -> infinity. At the other end of the scale, Balogh and Bollobas determined p_c([2]^d,2) up to a constant factor, and Balogh, Bollobas and Morris determined p_c([n]^d,d) asymptotically if d > (log log n)^{2+\eps}, and gave much sharper bounds for the hypercube.
Here we prove the following result: let λbe the smallest positive root of the equation \sum_{k=0}^\infty (-1)^k λ^k / (2^{k^2-k} k!) = 0, so λ\approx 1.166. Then
(16λ/ d^2) (1 + (log d / \sqrt{d})) 2^{-2\sqrt{d}} < p_c([2]^d,2) < (16λ/ d^2) (1 + (5(log d)^2 / \sqrt{d})) 2^{-2\sqrt{d}} if d is sufficiently large, and moreover we determine a sharp threshold for the critical probability p_c([n]^d,2) for every function n = n(d) with d \gg log n.
Some new near-normal sequences
Published in International Mathematical Forum, 5, 2010, no. 32, 1559-1565
• Search Publication
The normal sequences NS(n) and near-normal sequences NN(n) play an important role in the construction of orthogonal designs and Hadamard matrices. They can be identified with certain base sequences (A;B;C;D), where A and B have length n+1 and C and D length n. C.H. Yang conjectured that near-normal sequences exist for all even n. While this has been confirmed for n not exceeding 30, so far nothing else was known for larger n. We show that NN(32) consists of 8 equivalence classes and we exhibit their representatives. We also construct representatives for two equivalence classes of NN(34). On the other hand our exhaustive computer searches show that NS(31) and NS(33) are void.
Colorful Proofs of the Generating Formulas for Signed and Unsigned Stirling Numbers of the First Kind
Published
• View Publication
• BIB
We describe proofs of the standard generating formulas for unsigned and signed Stirling numbers of the first kind that follow from a natural combinatorial interpretation based on cycle-colored permutations.
Finite Analogs of Szemerédi's Theorem
Published
• View Publication
• BIB
One of the "deepest" theorems in mathematics is Endre Szemerédi's theorem about the inevitability of arithmetical progressions. Here we try to nibble at it, by doing "finite" analogs. This is already interesting for its own sake, but we believe that it has the potential to lead to extremely interesting sharpening of the currently rather weak bounds. Let's hope!
Along with introducing the theory behind the finite analogs of Szemerédi's Theorem, full Maple, Mathematica, and Java code is provided. See paper for further details.
Sortable Elements for Quivers with Cycles
Published
• View Publication
• BIB
Each Coxeter element c of a Coxeter group W defines a subset of W called the c-sortable elements. The choice of a Coxeter element of W is equivalent to the choice of an acyclic orientation of the Coxeter diagram of W. In this paper, we define a more general notion of Omega-sortable elements, where Omega is an arbitrary orientation of the diagram, and show that the key properties of c-sortable elements carry over to the Omega-sortable elements. The proofs of these properties rely on reduction to the acyclic case, but the reductions are nontrivial; in particular, the proofs rely on a subtle combinatorial property of the weak order, as it relates to orientations of the Coxeter diagram. The c-sortable elements are closely tied to the combinatorics of cluster algebras with an acyclic seed; the ultimate motivation behind this paper is to extend this connection beyond the acyclic case.
Determinants and permanents of an arbitrary Hadamard degree of a Cauchy matrix and a proof of a generalization of a conjecture of R.F.Scott (1881)
In this paper we give the absolutely new proof of a conjecture of R.F.Scott(1881) on the permanent of a Cauchy matrix $\ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n-1$ and $y^n +1,$ respectively. The simple formula is given for the permanent of the Cauchy matrix $A= \ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n+a$ and $y^n +b$, respectively: \begin{gather*} \per (A) =\frac{n}{(b-a)^n} \prod_{k=1}^{n-1}[nb-k(b-a)] = =\begin{cases} %\begin{eqnarray} (-1)^{\frac{n-1}{2}} \cfrac{n}{(b-a)^n} \prod\limits_{k=1}^{\frac{n-1}{2}}[-na-k(b-a)][nb-k(b-a)], \mbox{if $n \equiv 1 (\mod 2)$,} \cfrac{n}{2} \cdot \cfrac{n(a+b)}{(b-a)^n} \prod\limits_{k=1}^{\frac{n}{2}-1}[na+k(b-a)][nb+k(a-b)], \mbox{if $n\equiv 0(\mod 2)$}. %\end{eqnarray} \end{cases} \end{gather*} from which the corrected formula of R.F.Scott follows instantly. Proof follows from obtained by the author a formula for the determinant of an arbitrary of the Hadamard degree $m$ of a Cauchy matrix $A$ and Borchard's theorem.
Rationality of generating functions of rook polynomials and permanents of Kronecker products of Toeplitz matrices and circulants with the matrix $J_k$ and their evaluation. I
Published
• View Publication
• BIB
In this paper we give a generalization created by the author of the theory of rook polynomials and permanents of circulants, Toeplits matrices and their submatrices.
On the least common multiple of $q$-binomial coefficients
Published in Integers 10 (2010), 351--356
• View Publication
• BIB
In this paper, we prove the following identity $$ \lcm({n\brack 0}_q,{n\brack 1}_q,...,{n\brack n}_q) =\frac{\lcm([1]_q,[2]_q,...,[n+1]_q)}{[n+1]_q}, $$ where ${n\brack k}_q$ denotes the $q$-binomial coefficient and $[n]_q=\frac{1-q^n}{1-q}$. This result is a $q$-analogue of an identity of Farhi [Amer. Math. Monthly, November (2009)].
A Lower Bound for the Circumference Involving Connectivity
Let $G$ be a graph, $C$ a longest cycle in $G$ and $\overline{p}$, $\overline{c}$ the lengths of a longest path and a longest cycle in $G\backslash C$, respectively. Almost all lower bounds for the circumference base on a standard procedure: choose an initial cycle $C_0$ in $G$ and try to enlarge it via structures of $G\backslash C_0$ and connections between $C_0$ and $G\backslash C_0$ closely related to $\overline{p}$, $\overline{c}$ and connectivity $κ$. Actually, each lower bound obtained in result of this procedure, somehow or is related to $κ$, $\overline{p}$, $\overline{c}$ but in forms of various particular values of $κ$, $\overline{p}$, $\overline{c}$ and the major problem is to involve these invariants into such bounds as parameters. In this paper we present a lower bound for the circumference involving $δ$, $κ$ and $\overline{c}$ and increasing with $δ$, $κ$ and $\overline{c}$.
Natural join construction of graded posets versus ordinal sum and discrete hyper boxes
One introduces here the natural join $P \os Q$ of graded posets $< P,\leq_P >$ and $< Q,\leq_Q >$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M{ö}bius $ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or graphs named $KoDAGs$ which are interpreted as chains of binary complete or universal relations joined by the natural join operation. Natural join of two independent sets is therefore the ordinal sum of this trivially ordered posets represented also by directed biclique named dibiclique and correspondingly by their $Hasse $ diagrams or graphs named $KoDAGs$. Such cobweb posets and equivalently their Hasse diagrams or graphs named $KoDAGs$ are also encoded by discrete hyper-boxes and the natural join operation of such discrete hyper boxes is just cartesian product of them accompanied with projection out of common faces. All graded posets with no mute vertices in their $Hasse$ diagrams which means that no vertex has indegree or outdegree equal zero are natural join of chain of relations and may be at the same time interpreted an $n-ary$ relation, $n \in N \cup \{\infty \}$.
Basis Reduction, and the Complexity of Branch-and-Bound
Published
• View Publication
• BIB
The classical branch-and-bound algorithm for the integer feasibility problem has exponential worst case complexity.
We prove that it is surprisingly efficient on reformulated problems, in which the columns of the constraint matrix are short, and near orthogonal, i.e. a reduced basis of the generated lattice; when the entries of A (the dense part of the constraint matrix) are from {1, ..., M} for a large enough M, branch-and-bound solves almost all reformulated instances at the rootnode. We also prove an upper bound on the width of the reformulations along the last unit vector.
The analysis builds on the ideas of Furst and Kannan to bound the number of integral matrices for which the shortest vectors of certain lattices are long, and also uses a bound on the size of the branch-and-bound tree based on the norms of the Gram-Schmidt vectors of the constraint matrix.
We explore practical aspects of these results. First, we compute numerical values of M which guarantee that 90, and 99 percent of the reformulated problems solve at the root: these turn out to be surprisingly small when the problem size is moderate. Second, we confirm with a computational study that random integer programs become easier, as the coefficients grow.
The Ramsey number of dense graphs
Published
• View Publication
• BIB
The Ramsey number r(H) of a graph H is the smallest number n such that, in any two-colouring of the edges of K_n, there is a monochromatic copy of H. We study the Ramsey number of graphs H with t vertices and density \r, proving that r(H) \leq 2^{c \sqrt{\r} \log (2/\r) t}. We also investigate some related problems, such as the Ramsey number of graphs with t vertices and maximum degree \r t and the Ramsey number of random graphs in \mathcal{G}(t, \r), that is, graphs on t vertices where each edge has been chosen independently with probability \r.
Closed form expressions for Hodge numbers of complete intersection Calabi-Yau threefolds in toric varieties
Published in Mirror Symmetry and Tropical Geometry, Contemporary Mathematics, vol. 527, Amer. Math. Soc., Providence, RI, 2010, pp. 1-14
• View Publication
• BIB
We use Batyrev-Borisov's formula for the generating function of stringy Hodge numbers of Calabi-Yau varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge numbers of Calabi-Yau threefolds in five-dimensional ambient spaces. These expressions involve counts of lattice points on faces of associated Cayley polytopes. Using the same techniques, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersurfaces.
Jucys-Murphy elements and Weingarten matrices
Published
• View Publication
• BIB
We provide a compact proof of the recent formula of Collins and Matsumoto for the Weingarten matrix of the orthogonal group using Jucys-Murphy elements.
Chebyshev type lattice path weight polynomials by a constant term method
Published
• View Publication
• BIB
We prove a constant term theorem which is useful for finding weight polynomials for Ballot/Motzkin paths in a strip with a fixed number of arbitrary `decorated' weights as well as an arbitrary `background' weight. Our CT theorem, like Viennot's lattice path theorem from which it is derived primarily by a change of variable lemma, is expressed in terms of orthogonal polynomials which in our applications of interest often turn out to be non-classical. Hence we also present an efficient method for finding explicit closed form polynomial expressions for these non-classical orthogonal polynomials. Our method for finding the closed form polynomial expressions relies on simple combinatorial manipulations of Viennot's diagrammatic representation for orthogonal polynomials. In the course of the paper we also provide a new proof of Viennot's original orthogonal polynomial lattice path theorem. The new proof is of interest because it uses diagonalization of the transfer matrix, but gets around difficulties that have arisen in past attempts to use this approach. In particular we show how to sum over a set of implicitly defined zeros of a given orthogonal polynomial, either by using properties of residues or by using partial fractions. We conclude by applying the method to two lattice path problems important in the study of polymer physics as models of steric stabilization and sensitized flocculation.