Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The biHecke monoid of a finite Coxeter group
Published in DMTCS proc AN (2010) 307-318
• View Publication
• BIB
The usual combinatorial model for the 0-Hecke algebra of the symmetric group is to consider the algebra (or monoid) generated by the bubble sort operators. This construction generalizes to any finite Coxeter group W. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory.
In this paper, we consider instead the monoid generated by these operators. We prove that it has |W| simple and projective modules. In order to construct a combinatorial model for the simple modules, we introduce for each w in W a combinatorial module whose support is the interval [1,w] in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra. This involves the introduction of a w-analogue of the combinatorics of descents of W and a generalization to finite Coxeter groups of blocks of permutation matrices.
The Critical Independence Number and an Independence Decomposition
Published
• View Publication
• BIB
An independent set $I_c$ is a \textit{critical independent set} if $|I_c| - |N(I_c)| \geq |J| - |N(J)|$, for any independent set $J$. The \textit{critical independence number} of a graph is the cardinality of a maximum critical independent set. This number is a lower bound for the independence number and can be computed in polynomial-time. Any graph can be decomposed into two subgraphs where the independence number of one subgraph equals its critical independence number, where the critical independence number of the other subgraph is zero, and where the sum of the independence numbers of the subgraphs is the independence number of the graph. A proof of a conjecture of Graffiti.pc yields a new characterization of König-Egervary graphs: these are exactly the graphs whose independence and critical independence numbers are equal.
Uniqueness of graph square roots of girth six
Published
• View Publication
• BIB
We prove that if two graphs of girth at least 6 have isomorphic squares, then the graphs themselves are isomorphic. This is the best possible extension of the results of Ross and Harary on trees and the results of Farzad et al. on graphs of girth at least 7. We also make a remark on reconstruction of graphs from their higher powers.
Combinatorial Expressions for F-polynomials in Classical Types
Published
• View Publication
• BIB
We give combinatorial formulas for F-polynomials in cluster algebras of classical types in terms of the weighted paths in certain directed graphs. As a consequence we prove the positivity of F-polynomials in cluster algebras of classical types.
Caustics, counting maps and semi-classical asymptotics
Published in Nonlinearity, Volume 24, Number 2, February 2011, pp. 481 - 526
• View Publication
• BIB
This paper develops a deeper understanding of the structure and combinatorial significance of the partition function for Hermitian random matrices. The coefficients of the large N expansion of the logarithm of this partition function,also known as the genus expansion, (and its derivatives) are generating functions for a variety of graphical enumeration problems. The main results are to prove that these generating functions are in fact specific rational functions of a distinguished irrational (algebraic) function of the generating function parameters. This distinguished function is itself the generating function for the Catalan numbers (or generalized Catalan numbers, depending on the choice of parameter). It is also a solution of the inviscid Burgers equation for certain initial data. The shock formation, or caustic, of the Burgers characteristic solution is directly related to the poles of the rational forms of the generating functions.
These results in turn provide new information about the asymptotics of recurrence coefficients for orthogonal polynomials with respect to exponential weights. One gains new insights into the relation between certain derivatives of the genus expansion and the asymptotic expansion of the first Painleve transcendent, related to the double-scaling limit. This work provides a precise expression of the Painleve asymptotic coefficients directly in terms of the coefficients of the partial fractions expansion of the rational form of the generating functions established here. Moreover, these insights point toward a more general program relating the first Painleve hierarchy and the higher order structure of the double-scaling limit to the specific rational structure of generating functions.
Nice Bounds for the Generalized Ballot Problem
This paper gives two sharp bounds for the generalized ballot problem with candidate A receiving at least μtimes as candidate B for an arbitrary real number μ.
Microdynamics and Criticality of Adaptive Regulatory Networks
Published in Phys. Rev. Lett. 104, 168701 (2010)
• View Publication
• BIB
We present a model of adaptive regulatory networks consisting of a simple biologically-motivated rewiring procedure coupled to an elementary stability criterion. The resulting networks exhibit a characteristic stationary heavy-tailed degree distribution, show complex structural microdynamics and self-organize to a dynamically critical state. We show analytically that the observed criticality results from the formation and breaking of transient feedback loops during the adaptive process.
The interaction of a gap with a free boundary in a two dimensional dimer system
Published in Commun. Math. Phys. 302 (2011), 253-289
• View Publication
• BIB
Let $\ell$ be a fixed vertical lattice line of the unit triangular lattice in the plane, and let $\Cal H$ be the half plane to the left of $\ell$. We consider lozenge tilings of $\Cal H$ that have a triangular gap of side-length two and in which $\ell$ is a free boundary - i.e., tiles are allowed to protrude out half-way across $\ell$. We prove that the correlation function of this gap near the free boundary has asymptotics $\frac{1}{4πr}$, $r\to\infty$, where $r$ is the distance from the gap to the free boundary. This parallels the electrostatic phenomenon by which the field of an electric charge near a conductor can be obtained by the method of images.
f-Vectors of Triangulated Balls
Published
• View Publication
• BIB
We describe two methods for showing that a vector can not be the f-vector of a homology d-ball. As a consequence, we disprove a conjectured characterization of the f-vectors of balls of dimension five and higher due to Billera and Lee. We also provide a construction of triangulated balls with various f-vectors. We show that this construction obtains all possible f-vectors of three and four dimensional balls and we conjecture that this result also extends to dimension five.
On a property of 2-dimensional integral Euclidean lattices
Published in J. Number Theory 132 (2012), no. 3, 371-378
• View Publication
• BIB
Let $L$ be any integral lattice in the 2-dimensional Euclidean space. Generalizing the earlier works of Hiroshi Maehara and others, we prove that for every integer $n>0$, there is a circle in the plane $\mathbb{R}^{2}$ that passes through exactly $n$ points of $L$.
Functions of random walks on hyperplane arrangements
Published
• View Publication
• BIB
Many seemingly disparate Markov chains are unified when viewed as random walks on the set of chambers of a hyperplane arrangement. These include the Tsetlin library of theoretical computer science and various shuffling schemes. If only selected features of the chains are of interest, then the mixing times may change. We study the behavior of hyperplane walks, viewed on a subarrangement of a hyperplane arrangement. These include many new examples, for instance a random walk on the set of acyclic orientations of a graph. All such walks can be treated in a uniform fashion, yielding diagonalizable matrices with known eigenvalues, stationary distribution and good rates of convergence to stationarity.
A closed character formula for symmetric powers of irreducible representations
Published in Discrete Mathematics and Theoretical Computer Science (DMTCS) proceedings, 2010, 833-844
• View Publication
• BIB
We prove a closed character formula for the symmetric powers $S^N V(λ)$ of a fixed irreducible representation $V(λ)$ of a complex semi-simple Lie algebra $\mathfrak{g}$ by means of partial fraction decomposition. The formula involves rational functions in rank of $\mathfrak{g}$ many variables which are easier to determine than the weight multiplicities of $S^N V(λ)$ themselves. We compute those rational functions in some interesting cases. Furthermore, we introduce a residue-type generating function for the weight multiplicities of $S^N V(λ)$ and explain the connections between our character formula, vector partition functions and iterated partial fraction decomposition.
Congruence B-Orbits and the Bruhat Poset of Involutions of the Symmetric Group
We study the poset of Borel congruence classes of symmetric matrices ordered by containment of closures. We give a combinatorial description of this poset and calculate its rank function. We discuss the relation between this poset and the Bruhat poset of involutions of the symmetric group.
Polynomials Related to Harmonic Numbers and Evaluation of Harmonic Number Series I
In this paper we focus on two new families of polynomials which are connected with exponential polynomials and geometric polynomials. We discuss their generalizations and show that these new families of polynomials and their generalizations are useful to obtain closed forms of some series related to harmonic numbers.
Nonzero coefficients in restrictions and tensor products of supercharacters of $U_n(q)$
Published
• View Publication
• BIB
The standard supercharacter theory of the finite unipotent upper-triangular matrices $U_n(q)$ gives rise to a beautiful combinatorics based on set partitions. As with the representation theory of the symmetric group, embeddings of $U_m(q)\subseteq U_n(q)$ for $m\leq n$ lead to branching rules. Diaconis and Isaacs established that the restriction of a supercharacter of $U_n(q)$ is a nonnegative integer linear combination of supercharacters of $U_m(q)$ (in fact, it is polynomial in $q$). In a first step towards understanding the combinatorics of coefficients in the branching rules of the supercharacters of $U_n(q)$, this paper characterizes when a given coefficient is nonzero in the restriction of a supercharacter and the tensor product of two supercharacters. These conditions are given uniformly in terms of complete matchings in bipartite graphs.
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.