Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Recent Progress in Graph Pebbling
The subject of graph pebbling has seen dramatic growth recently, both in the number of publications and in the breadth of variations and applications. Here we update the reader on the many developments that have occurred since the original Survey of Graph Pebbling in 1999.
Evaluating Two Determinants
This article evaluates the determinants of two classes of special matrices, which are both from a number theory problem. Applications of the evaluated determinants can be found in [arXiv:math.NT/0509523].
Note that the two determinants are actually special cases of Theorems 20 and 23 in [arXiv:math.CO/9902004], respectively. Since this paper does not provide any new results, it will not be published anywhere.
On decomposability of 4-ary distance 2 MDS codes, double-codes, and n-quasigroups of order 4
Published in Discrete Math. 308(15) 2008, 3322-3334
• View Publication
• BIB
A subset $S$ of $\{0,1,...,2t-1\}^n$ is called a $t$-fold MDS code if every line in each of $n$ base directions contains exactly $t$ elements of $S$. The adjacency graph of a $t$-fold MDS code is not connected if and only if the characteristic function of the code is the repetition-free sum of the characteristic functions of $t$-fold MDS codes of smaller lengths.
In the case $t=2$, the theory has the following application. The union of two disjoint $(n,4^{n-1},2)$ MDS codes in $\{0,1,2,3\}^n$ is a double-MDS-code. If the adjacency graph of the double-MDS-code is not connected, then the double-code can be decomposed into double-MDS-codes of smaller lengths. If the graph has more than two connected components, then the MDS codes are also decomposable. The result has an interpretation as a test for reducibility of $n$-quasigroups of order 4. Keywords: MDS codes, n-quasigroups, decomposability, reducibility, frequency hypercubes, latin hypercubes
A Proof of the Loehr-Warrington Amazing TEN to the Power n Conjecture
We prove, via 30 seconds of Maple computation, that there are 10^n words in the alphabet {3,-2} of length 5n, sum 0, and such that every factor that sums to 0 and that starts with a 3 may not be immediately followed by a -2.
Generalized Jones traces and Kazhdan--Lusztig bases
Published
• View Publication
• BIB
We develop some applications of certain algebraic and combinatorial conditions on the elements of Coxeter groups, such as elementary proofs of the positivity of certain structure constants for the associated Kazhdan--Lusztig basis. We also explore some consequences of the existence of a Jones-type trace on the Hecke algebra of a Coxeter group, such as simple procedures for computing leading terms of certain Kazhdan--Lusztig polynomials.
The sequel to this paper is math.QA/0509363.
Star reducible Coxeter groups
Published
• View Publication
• BIB
We define ``star reducible'' Coxeter groups to be those Coxeter groups for which every fully commutative element (in the sense of Stembridge) is equivalent to a product of commuting generators by a sequence of length-decreasing star operations (in the sense of Lusztig). We show that the Kazhdan--Lusztig bases of these groups have a nice projection property to the Temperley--Lieb type quotient, and furthermore that the images of the basis elements $C'_w$ (for fully commutative $w$) in the quotient have structure constants in ${\Bbb Z}^{\geq 0}[v, v^{-1}]$. We also classify the star reducible Coxeter groups and show that they form nine infinite families (types $A_n$, $B_n$, $D_n$, $E_n$, $F_n$, $H_n$, affine $A_{n-1}$ for $n$ odd, affine $C_{n-1}$ for $n$ even, and the case where the Coxeter graph is complete), with two exceptional cases (of ranks 6 and 7).
This paper is the sequel to math.QA/0509362.
Eigenproblem for Jacobi matrices: hypergeometric series solution
Published in Phil.Trans.Roy.Soc.Lond.A366:1089-1114,2008
• View Publication
• BIB
We study the perturbative power-series expansions of the eigenvalues and eigenvectors of a general tridiagonal (Jacobi) matrix of dimension d. The(small) expansion parameters are being the entries of the two diagonals of length d-1 sandwiching the principal diagonal, which gives the unperturbed spectrum.
The solution is found explicitly in terms of multivariable (Horn-type) hypergeometric series of 3d-5 variables in the generic case, or 2d-3 variables for the eigenvalue growing from a corner matrix element. To derive the result, we first rewrite the spectral problem for a Jacobi matrix as an equivalent system of cubic equations, which are then resolved by the application of the multivariable Lagrange inversion formula. The corresponding Jacobi determinant is calculated explicitly. Explicit formulae are also found for any monomial composed of eigenvector's components.
The distinguishing number of the iterated line graph
We show that for all simple graphs G other than the cycles C_3,C_4,C_5, and the claw K_1,3 there exists a K > 0 such that whenever k > K the k-th iterate of the line graph can be distinguished by at most two colors. Additionally we determine, for trees, when the distinguishing number of the line graph of T is greater than the distinguishing number of T.
Liouville Random functions and normal sets
Published
• View Publication
• BIB
We define a random Liouville function (λ_Q) which depends on a random set (Q) of primes and prove that (A_Q = \{n \in \mathbb{N} | λ_Q(n) = -1 \}) is normal almost everywhere. This fact enables us to generate a family of normal sets such that the equation (xy =z) is not solvable inside them. Additionally we prove that equations (xy=z^2, x^2 + y^2 = square, x^2 - y^2 = square) are solvable in any normal set and for any equation (xy=cn^2) ((c > 1 ), is not a square) there exists a normal set (A_c) such that the equation is not solvable inside (A_c).
On the Integrality of n-th Roots of Generating Functions
Published in J. Combin. Theory A, 113 (2006), 1732-1745
• View Publication
• BIB
Motivated by the discovery that the eighth root of the theta series of the E_8 lattice and the 24th root of the theta series of the Leech lattice both have integer coefficients, we investigate the question of when an arbitrary element f in R (where R = 1 + xZ[[x]]) can be written as f = g^n for g in R, n >= 2. Let P_n := {g^n : g in R} and let mu_n := n Product_{p|n} p. We show among other things that (i) for f in R, f in P_n <=> f mod mu_n in P_n, and (ii) if f in P_n, there is a unique g in P_n with coefficients mod mu_n/n such that f == g^n (mod mu_n). In particular, if f == 1 (mod mu_n) then f in P_n. The latter assertion implies that the theta series of any extremal even unimodular lattice in R^n (e.g. E_8 in R^8) is in P_n if n is of the form 2^i 3^j 5^k (i >= 3). There do not seem to be any exact analogues for codes, although we show that the weight enumerator of the r-th order Reed-Muller code of length 2^m is in P_{2^r}. We give a number of other results and conjectures, and establish a conjecture of Paul D. Hanna that there is a unique element f in P_n (n != 2) with coefficients restricted to the set {1, 2, ..., n}.
The density of the ISE and local limit laws for embedded trees
Published in The Annals of Applied Probability 16, 3 (2006) 1597--1632
• View Publication
• BIB
It has been known for a few years that the occupation measure of several models of embedded trees converges, after a suitable normalization, to the random measure called ISE (Integrated SuperBrownian Excursion). Here, we prove a local version of this result: ISE has a (random) Hölder continuous density, and the vertical profile of embedded trees converges to this density, at least for some such trees. As a consequence, we derive a formula for the distribution of the density of ISE at a given point. This follows from earlier results by Bousquet-Mélou on convergence of the vertical profile at a fixed point. We also provide a recurrence relation defining the moments of the (random) moments of ISE.
On $Z_{2^k}$-Dual Binary Codes
Published in IEEE Trans. Inf. Theory 53(4) 2007, 1532-1537
• View Publication
• BIB
A new generalization of the Gray map is introduced. The new generalization $Φ: Z_{2^k}^n \to Z_{2}^{2^{k-1}n}$ is connected with the known generalized Gray map $φ$ in the following way: if we take two dual linear $Z_{2^k}$-codes and construct binary codes from them using the generalizations $φ$ and $Φ$ of the Gray map, then the weight enumerators of the binary codes obtained will satisfy the MacWilliams identity. The classes of $Z_{2^k}$-linear Hadamard codes and co-$Z_{2^k}$-linear extended 1-perfect codes are described, where co-$Z_{2^k}$-linearity means that the code can be obtained from a linear $Z_{2^k}$-code with the help of the new generalized Gray map. Keywords: Gray map, Hadamard codes, MacWilliams identity, perfect codes, $Z_{2^k}$-linearity
Posets related to the connectivity set of Coxeter groups
Published in J. Algebra 303 (2006), no. 2, 831-846
• View Publication
• BIB
We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies that any interval is Cohen-Macauley. We also give a Galois connection between intervals in this poset and a boolean poset. This allows us to compute the Mobius function for any interval.
Nonterminating Basic Hypergeometric Series and the $q$-Zeilberger Algorithm
Published
• View Publication
• BIB
We present a systematic method for proving nonterminating basic hypergeometric identities. Assume that $k$ is the summation index. By setting a parameter $x$ to $xq^n$, we may find a recurrence relation of the summation by using the $q$-Zeilberger algorithm. This method applies to almost all nonterminating basic hypergeometric summation formulas in the book of Gasper and Rahman. Furthermore, by comparing the recursions and the limit values, we may verify many classical transformation formulas, including the Sears-Carlitz transformation, transformations of the very-well-poised $_8φ_7$ series, the Rogers-Fine identity, and the limiting case of Watson's formula that implies the Rogers-Ramanujan identities.
Periodic Orbits of Billiards on an Equilateral Triangle
Published
• View Publication
• BIB
We give a complete solution of the following problem: Find, classify and count the (classes of) periodic orbits on an equilateral triangle. We prove that Fagnano's period 3 orbit is the only periodic orbit with odd period. A periodic orbit is either prime or some d-fold iterate thereof. We count prime and iterate periodic orbits of period $2n$ via a bijection with a certain partition of $n$, then count only prime orbits using the prime factorization of $n$.
On the expansion of the giant component in percolated (n,d,λ) graphs
Published
• View Publication
• BIB
Let d \geq d_0 be a sufficiently large constant. A (n,d,c \sqrt{d}) graph G is a d-regular graph over n vertices whose second largest (in absolute value) eigenvalue is at most c \sqrt{d}. For any 0 < p < 1, G_p is the graph induced by retaining each edge of G with probability p. It is known that for p > \frac{1}{d} the graph G_p almost surely contains a unique giant component (a connected component with linear number vertices). We show that for p \geq frac{5c}{\sqrt{d}} the giant component of G_p almost surely has an edge expansion of at least \frac{1}{\log_2 n}.
Matrix Identities on Weighted Partial Motzkin Paths
Published
• View Publication
• BIB
We give a combinatorial interpretation of a matrix identity on Catalan numbers and the sequence $(1, 4, 4^2, 4^3, ...)$ which has been derived by Shapiro, Woan and Getu by using Riordan arrays. By giving a bijection between weighted partial Motzkin paths with an elevation line and weighted free Motzkin paths, we find a matrix identity on the number of weighted Motzkin paths and the sequence $(1, k, k^2, k^3, ...)$ for any $k \geq 2$. By extending this argument to partial Motzkin paths with multiple elevation lines, we give a combinatorial proof of an identity recently obtained by Cameron and Nkwanta. A matrix identity on colored Dyck paths is also given, leading to a matrix identity for the sequence $(1, t^2+t, (t^2+t)^2, ...)$.
Sierpi\' nski Gasket Graphs and Some of Their Properties
Published in Australasian Journal of Combinatorics, 35, 181--192, 2006
• Search Publication
The {\it Sierpiński fractal} or {\it Sierpiński gasket} $Σ$ is a familiar object studied by specialists in dynamical systems and probability. In this paper, we consider a graph $S_n$ derived from the first $n$ iterations of the process that leads to $Σ$, and study some of its properties, including its cycle structure, domination number and pebbling number. Various open questions are posed.
Factorizations of Polynomials over Noncommutative Algebras and Sufficient Sets of Edges in Directed Graphs
Published
• View Publication
• BIB
To directed graphs with unique sink and source we associate a noncommutative associative alsgebra and a polynomial over this algebra. Edges of the graph correspond to pseudo-roots of the polynomial. We give a sufficient condition when coefficients of the polynomial can be rationally expressed via elements of a given set of pseudo-roots (edges). Our results are based on a new theorem for directed graphs also proved in this paper.
The Hopf algebras of symmetric functions and quasisymmetric functions in non-commutative variables are free and cofree
Published in J. of Algebra and its Applications (8)(2009), No 4, 581--600
• View Publication
• BIB
We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements.