Showing 20 papers (Total: 81756 papers, 47371 authors in database)
A bijection theorem for domino tiling with diagonal impurities
Published
• View Publication
• BIB
We consider the dimer problem on a non-bipartite graph $G$, where there are two types of dimers one of which we regard impurities. Results of simulations using Markov chain seem to indicate that impurities are tend to distribute on the boundary, which we set as a conjecture. We first show that there is a bijection between the set of dimer coverings on $G$ and the set of spanning forests on two graphs which are made from $G$, with configuration of impurities satisfying a pairing condition. This bijection can be regarded as a extension of the Temperley bijection. We consider local move consisting of two operations, and by using the bijection mentioned above, we prove local move connectedness. We further obtained some bound of the number of dimer coverings and the probability finding an impurity at given edge, by extending the argument in our previous result.
Generalized Chung-Feller Theorems for Lattice Paths (Thesis)
In this thesis we develop generalized versions of the Chung-Feller theorem for lattice paths constrained in the half plane. The beautiful cycle method which was developed by Devoretzky and Motzkin as a means to prove the ballot problem is modified and applied to generalize the classical Chung-Feller theorem. We use Lagrange inversion to derive the generalized formulas. For the generating function proof we study various ways of decomposing lattice paths. We also show some results related to equidistribution properties in terms of Narayana and Catalan generating functions. We then develop generalized Chung-Feller theorems for Motzkin and Schroeder paths. Finally we study generalized paths and the analogue of the Chung-Feller theorem for them.
Schubert polynomials and Arakelov theory of orthogonal flag varieties
Published in Math. Zeitschrift 268 (2011), 355-370
• View Publication
• BIB
We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of orthogonal flag varieties. We use these polynomials to describe the arithmetic Schubert calculus on these spaces. We also give a method to compute the natural arithmetic intersection numbers which arise, and prove that they are all rational numbers.
On the tropical Torelli map
Published in Advances in Mathematics 226 (2011), 2546-2586
• View Publication
• BIB
We construct the moduli spaces of tropical curves and tropical principally polarized abelian varieties, working in the category of (what we call) stacky fans. We define the tropical Torelli map between these two moduli spaces and we study the fibers (tropical Torelli theorem) and the image of this map (tropical Schottky problem). Finally we determine the image of the planar tropical curves via the tropical Torelli map and we use it to give a positive answer to a question raised by Namikawa on the compactified classical Torelli map.
Some Nice Sums are Almost as Nice if you turn them Upside Down
We represent the sums $\sum_{k=0}^{n-1}{n \choose k}^{-2}$, $\sum_{k=0}^m{m\choose k}^{-1}{a\choose n-k}^{-1}$, $\sum_{k=0}^{n-1}\frac{q^{-k(k-1)}}{{\genfrac{[}{]}{0pt}{}{n}{k}}_q}$, and the sum of the reciprocals of the summands in Dixon's identity, each as a product of an {\it indefinite hypergeometric sum} times a (closed form) {\it hypergeometric sequence}
Enumeration of $4 \times 4$ Magic Squares
Published in Mathematics of Computation 80 (2011), 617-621
• View Publication
• BIB
A \emph{magic square} is an $n \times n$ array of distinct positive integers whose sum along any row, column, or main diagonal is the same number. We compute the number of such squares for $n=4$, as a function of either the magic sum or an upper bound on the entries. The previous record for both functions was the $n=3$ case. Our methods are based on inside-out polytopes, i.e., the combination of hyperplane arrangements and Ehrhart's theory of lattice-point enumeration.
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}$.