Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Layered Tropical Mathematics
Published
• View Publication
• BIB
Generalizing supertropical algebras, we present a "layered" structure, "sorted" by a semiring which permits varying ghost layers, and indicate how it is more amenable than the "standard" supertropical construction in factorizations of polynomials, description of varieties, properties of the resultant, and for mathematical analysis and calculus, in particular with respect to multiple roots of polynomials. Explicit examples and comparisons are given for various sorting semirings such as the natural numbers and the positive rational numbers, and we see how this theory relates to some recent developments in the tropical literature such as "characteristic 1," "analytification," and "hyperfields."
Three notions of tropical rank for symmetric matrices
Published
• View Publication
• BIB
We introduce and study three different notions of tropical rank for symmetric and dissimilarity matrices in terms of minimal decompositions into rank 1 symmetric matrices, star tree matrices, and tree matrices. Our results provide a close study of the tropical secant sets of certain nice tropical varieties, including the tropical Grassmannian. In particular, we determine the dimension of each secant set, the convex hull of the variety, and in most cases, the smallest secant set which is equal to the convex hull.
Thick subsets that do not contain arithmetic progressions
We adapt the construction of subsets of {1, 2, ..., N} that contain no k-term arithmetic progressions to give a relatively thick subset of an arbitrary set of N integers. Particular examples include a thick subset of {1, 4, 9, ..., N^2} that does not contain a 3-term AP, and a positive relative density subset of a random set (contained in {1, 2, ..., n} and having density c n^{-1/(k-1)}) that is free of k-term APs.
$q$-Analogs for Steiner Systems and Covering Designs
Published
• View Publication
• BIB
The $q$-analogs of basic designs are discussed. It is proved that the existence of any unknown Steiner structures, the $q$-analogs of Steiner systems, implies the existence of unknown Steiner systems. Optimal $q$-analogs covering designs are presented. Some lower and upper bounds on the sizes of $q$-analogs covering designs are proved.
Invariant tensors and the cyclic sieving phenomenon
Published in Electron. J. Combin. 23 (2016), no. 4, Paper 4.25
• View Publication
• BIB
We construct a large class of examples of the cyclic sieving phenomenon by expoiting the representation theory of semi-simple Lie algebras. Let $M$ be a finite dimensional representation of a semi-simple Lie algebra and let $B$ be the associated Kashiwara crystal. For $r\ge 0$, the triple $(X,c,P)$ which exhibits the cyclic sieving phenomenon is constructed as follows: the set $X$ is the set of isolated vertices in the crystal $\otimes^rB$; the map $c\colon X\rightarrow X$ is a generalisation of promotion acting on standard tableaux of rectangular shape and the polynomial $P$ is the fake degree of the Frobenius character of a representation of $\mathfrak{S}_r$ related to the natural action of $\mathfrak{S}_r$ on the subspace of invariant tensors in $\otimes^rM$. Taking $M$ to be the defining representation of $\mathrm{SL}(n)$ gives the cyclic sieving phenomenon for rectangular tableaux.
Schur rings over a product of Galois rings
Published in Beitr. Algebra Geom. 55 (2014), no. 1, 105-138
• View Publication
• BIB
The recently developed theory of Schur rings over a finite cyclic group is generalized to Schur rings over a ring R being a product of Galois rings of coprime characteristics. It is proved that if the characteristic of R is odd, then as in the cyclic group case any pure Schur ring over R is the tensor product of a pure cyclotomic ring and Schur rings of rank 2 over non-fields. Moreover, it is shown that in contrast to the cyclic group case there are non-pure Schur rings over R that are not generalized wreath products.
Catalan numbers for complex reflection groups
Published
• View Publication
• BIB
We construct (q,t)-Catalan polynomials and q-Fuss-Catalan polynomials for any irreducible complex reflection group W. The two main ingredients in this construction are Rouquier's formulation of shift functors for the rational Cherednik algebras of W, and Opdam's analysis of permutations of the irreducible representations of W arising from the Knizhnik-Zamolodchikov connection.
Convex normality of rational polytopes with long edges
Published
• View Publication
• BIB
We introduce the property of convex normality of rational polytopes and give a dimensionally uniform lower bound for the edge lattice lengths, guaranteeing the property. As an application, we show that if every edge of a lattice d-polytope P has lattice length at least 4d(d+1) then P is normal. This answers in the positive a question raised in 2007. If P is a lattice simplex whose edges have lattice lengths at least d(d+1) then P is even covered by lattice parallelepipeds. For the approach developed here, it is necessary to involve rational polytopes even for applications to lattice polytopes.
On Visibility and Blockers
Published in J. Computational Geometry 1(1):29-40, 2010
• Search Publication
This expository paper discusses some conjectures related to visibility and blockers for sets of points in the plane.
An Inductive Proof of Whitney's Broken Circuit Theorem
Published in Discuss. Math. Graph Theory, 31(3) (2011), 509-517
• View Publication
• BIB
We present a new proof of Whitney's broken circuit theorem based on induction on the number of edges and the deletion-contraction formula.
Combinatorics of the three-parameter PASEP partition function
Published in Electronic Journal of Combinatorics 18(1) (2011), Article P22
• View Publication
• BIB
We consider a partially asymmetric exclusion process (PASEP) on a finite number of sites with open and directed boundary conditions. Its partition function was calculated by Blythe, Evans, Colaiori, and Essler. It is known to be a generating function of permutation tableaux by the combinatorial interpretation of Corteel and Williams.
We prove bijectively two new combinatorial interpretations. The first one is in terms of weighted Motzkin paths called Laguerre histories and is obtained by refining a bijection of Foata and Zeilberger. Secondly we show that this partition function is the generating function of permutations with respect to right-to-left minima, right-to-left maxima, ascents, and 31-2 patterns, by refining a bijection of Francon and Viennot.
Then we give a new formula for the partition function which generalizes the one of Blythe & al. It is proved in two combinatorial ways. The first proof is an enumeration of lattice paths which are known to be a solution of the Matrix Ansatz of Derrida & al. The second proof relies on a previous enumeration of rook placements, which appear in the combinatorial interpretation of a related normal ordering problem. We also obtain a closed formula for the moments of Al-Salam-Chihara polynomials.
Congruences involving binomial coefficients and Lucas sequences
In this paper we obtain some congruences involving central binomial coefficients and Lucas sequences. For example, we show that if p>5 is a prime then $\sum_{k=0}^{p-1}F_k*binom(2k,k)/12^k$ is congruent to 0,1,-1 modulo p according as p=1,4 (mod 5), p=13,17 (mod 30), and p=7,23 (mod 30) respectively, where {F_n} is the Fibonacci sequence. We also raise several conjectures.
Restricted simsun permutations
Published
• View Publication
• BIB
A permutation is simsun if for all k, the subword of the one-line notation consisting of the k smallest entries does not have three consecutive decreasing elements. Simsun permutations were introduced by Simion and Sundaram, who showed that they are counted by the Euler numbers. In this paper we enumerate simsun permutations avoiding a pattern or a set of patterns of length 3. The results involve Motkzin, Fibonacci, and secondary structure numbers. The techniques in the proofs include generating functions, bijections into lattice paths and generating trees.
H-vectors of simplicial complexes with Serre's conditions
Published
• View Publication
• BIB
We study $h$-vectors of simplicial complexes which satisfy Serre's condition ($S_r$). We say that a simplicial complex $Δ$ satisfies Serre's condition ($S_r$) if $\tilde H_i(\lk_Δ(F);K)=0$ for all faces $F \in Δ$ and for all $i < \min \{r-1,\dim \lk_Δ(F)\}$, where $\lk_Δ(F)$ is the link of $Δ$ with respect to $F$ and where $\tilde H_i(Δ;K)$ is the reduced homology groups of $Δ$ over a field $K$. The main result of this paper is that if $Δ$ satisfies Serre's condition ($S_r$) then (i) $h_k(Δ)$ is non-negative for $k =0,1,...,r$ and (ii) $\sum_{k\geq r}h_k(Δ)$ is non-negative.
Towards computing vector partition functions by iterated partial fraction decomposition
We investigate the possibilities to calculate vector partition functions by means of iterated partial fraction decomposition, as suggested by Beck (2004). Particularly, for an important type of families of rational functions, we describe an algorithm to compute the numerators in their partial fraction decomposition "formally," i.e., as a formal expression in the parameter. We also analyze the type of generalized rational functions that appear during the execution of an algorithm based on iterated partial fraction decomposition and explain how to handle these objects.
The Correlation Functions of the XXZ Heisenberg Chain for Zero or Infinite Anisotropy and Random Walks of Vicious Walkers
Published in St.-Petersburg Mathematical Journal, Vol. 22, No. 3 (2011), 359-377
• View Publication
• BIB
The XXZ Heisenberg chain is considered for two specific limits of the anisotropy parameter: $\Dl\to 0$ and $\Dl\to -\infty$. The corresponding wave functions are expressed by means of the symmetric Schur functions. Certain expectation values and thermal correlation functions of the ferromagnetic string operators are calculated over the base of N-particle Bethe states. The thermal correlator of the ferromagnetic string is expressed through the generating function of the lattice paths of random walks of vicious walkers. A relationship between the expectation values obtained and the generating functions of strict plane partitions in a box is discussed. Asymptotic estimate of the thermal correlator of the ferromagnetic string is obtained in the limit of zero temperature. It is shown that its amplitude is related to the number of plane partitions.
Explicit Capacity-achieving Codes for Worst-Case Additive Errors
For every p in (0,1/2), we give an explicit construction of binary codes of rate approaching "capacity" 1-H(p) that enable reliable communication in the presence of worst-case additive errors}, caused by a channel oblivious to the codeword (but not necessarily the message). Formally, we give an efficient "stochastic" encoding E(\cdot,\cdot) of messages combined with a small number of auxiliary random bits, such that for every message m and every error vector e (that could depend on m) that contains at most a fraction p of ones, w.h.p over the random bits r chosen by the encoder, m can be efficiently recovered from the corrupted codeword E(m,r) + e by a decoder without knowledge of the encoder's randomness r.
Our construction for additive errors also yields explicit deterministic codes of rate approaching 1-H(p) for the "average error" criterion: for every error vector e of at most p fraction 1's, most messages m can be efficiently (uniquely) decoded from the corrupted codeword C(m)+e. Note that such codes cannot be linear, as the bad error patterns for all messages are the same in a linear code. We also give a new proof of the existence of such codes based on list decoding and certain algebraic manipulation detection codes. Our proof is simpler than the previous proofs from the literature on arbitrarily varying channels.
Borsuk-Ulam type theorems for manifolds
Published in Proc. Amer. Math. Soc. 140 (2012), 2551-2560
• View Publication
• BIB
This paper establishes a Borsuk-Ulam type theorem for PL-manifolds with a finite group action, depending on the free equivariant cobordism class of a manifold. In particular, necessary and sufficient conditions are considered for a manifold with a free involution to be a Borsuk-Ulam type.
The 2-log-convexity of the Apery Numbers
Published
• View Publication
• BIB
We present an approach to proving the 2-log-convexity of sequences satisfying three-term recurrence relations. We show that the Apery numbers, the Cohen-Rhin numbers, the Motzkin numbers, the Fine numbers, the Franel numbers of order 3 and 4 and the large Schroder numbers are all 2-log-convex. Numerical evidence suggests that all these sequences are k-log-convex for any $k\geq 1$ possibly except for a constant number of terms at the beginning.
The product of trees in the Loday-Ronco algebra through Catalan alternative tableaux
The aim of this note is to show how the introduction of certain tableaux, called Catalan alternative tableaux, provides a very simple and elegant description of the product in the Hopf algebra of binary trees defined by Loday and Ronco. Moreover, we use this description to introduce a new associative product on the space of binary trees.