Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Generalized cluster complexes via quiver representations
Published
• View Publication
• BIB
We give a quiver representation theoretic interpretation of generalized cluster complexes defined by Fomin and Reading.
By using $d-$cluster categories which are defined by Keller as triangulated orbit categories of (bounded) derived categories of representations of valued quivers, we define a $d-$compatibility degree $(-||-)$ on any pair of ``colored'' almost positive real Schur roots which generalizes previous definitions on the non-colored case, and call two such roots compatible provided the $d-$compatibility degree of them is zero. Associated to the root system $Φ$ corresponding to the valued quiver, by using this compatibility relation, we define a simplicial complex which has colored almost positive real Schur roots as vertices and $d-$compatible subsets as simplicies. If the valued quiver is an alternating quiver of a Dynkin diagram, then this complex is the generalized cluster complex defined by Fomin and Reading.
Type-B generalized triangulations and determinantal ideals
Published
• View Publication
• BIB
For $n\geq 3$, let $Ω_n$ be the set of line segments between the vertices of a convex $n$-gon. For $j\geq 2$, a $j$-crossing is a set of $j$ line segments pairwise intersecting in the relative interior of the $n$-gon. We identify line-segments in $Ω_{2n}$ which can be transformed into each other by a $180^\circ$-rotation of the $2n$-gon. Let $\F_n$ be the set $Ω_{2n}$ after identification, then the complex $\D_{n,k}$ of type-B generalized triangulations is the simplicial complex of subsets of $\F_n$ not containing any $(k+1)$-crossing in the above sense. We demonstrate that $\D_{n,k}$ is a pure, $k(n-k)-1+kn$ dimensional complex that decomposes into a $kn-1$-simplex and a $k(n-k)-1$ dimensional homology sphere.
We give a term-order on the monomials in the variables $X_{ij}, 1\leq i,j\leq n$, such that the corresponding initial ideal of the determinantal ideal generated by the $(k+1)$ times $(k+1)$ minors of the generic $n \times n$ matrix contains the Stanley-Reisner ideal of $\D_{n,k}$. We show that the minors form a Gröbner-Basis whenever $k\in\{1,n-2,n-1\}$. We conjecture this result to be true for all values of $k<n$.
Asymptotics of the average height of 2--watermelons with a wall
Published
• View Publication
• BIB
We generalize the classical work of de Bruijn, Knuth and Rice (giving the asymptotics of the average height of Dyck paths of length $n$) to the case of $p$--watermelons with a wall (i.e., to a certain family of $p$ nonintersecting Dyck paths; simple Dyck paths being the special case $p=1$.) We work out this asymptotics for the case $p=2$ only, since the computations involved are already quite complicated (but might be of some interest in their own right).
Planar pseudo-triangulations, spherical pseudo-tilings and hyperbolic virtual polytopes
Published
• View Publication
• BIB
We wish to draw attention to an interesting and promising interaction of two theories.
On the one hand, it is the theory of \textbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved later to give a nice tool for graph embeddings.
On the other hand, it is the theory of hyperbolic virtual polytopes which arose from an old uniqueness conjecture for convex bodies (A. D. Alexandrov's problem): suppose that a constant $C$ separates (non-strictly) everywhere the principal curvature radii of a smooth 3-dimensional convex body $K$. Then $K$ is necessarily a ball of radius $C$.
The two key ideas are:
Passing from planar pseudo-triangulations to spherical pseudo-tilings, we avoid non-poited vertices. Instead, we use pseudo-di-gons. A theorem on spherically embedded Laman-plus-one graphs is announced.
The difficult problem of hyperbolic polytopes constructing can be reduced to finding spherically embedded graphs.
Simple and Direct Proof of MacLane's Planarity Criterion
We give a simple proof of MacLane's algebraic planarity criterion for graphs. This proof does not use any other known planarity criteria.
Keywords: graph, planarity, cycle space, a simple basis of a graph.
Defining an m-cluster category
Published
• View Publication
• BIB
We show that a certain orbit category considerd by Keller encodes the combinatorics of the $m$-clusters of Fomin and Reading in a fashion similar to the way the cluster category of Buan, Marsh, Reineke, Reiten, and Todorov encodes the combinatorics of the clusters of Fomin and Zelevinsky. This allows us to give type-uniform proofs of certain results of Fomin and Reading in the simply laced cases.
A fansy divisor on M_{0,n}
We study the relation between projective T-varieties and their affine cones in the language of the so-called divisorial fans and polyhedral divisors. As an application, we present the Grassmannian Grass(2,n) as a ``fansy divisor'' on the moduli space of stable, n-pointed, rational curves.
Line partitions of internal points to a conic in PG(2,q)
Published
• View Publication
• BIB
All sets of lines providing a partition of the set of internal points to a conic C in PG(2,q), q odd, are determined. There exist only three such linesets up to projectivities, namely the set of all nontangent lines to C through an external point to C, the set of all nontangent lines to C through a point in C, and, for square q, the set of all nontangent lines to C belonging to a Baer subplane with at least 5 common points with C. This classification theorem is the analogous of a classical result by Segre and Korchmaros characterizing the pencil of lines through an internal point to C as the unique set of lines, up to projectivities, which provides a partition of the set of all noninternal points to C. However, the proof is not analogous, since it does not rely on the famous Lemma of Tangents of Segre. The main tools in the present paper are certain partitions in conics of the set of all internal points to C, together with some recent combinatorial characterizations of blocking sets of non-secant lines, and of blocking sets of external lines.
Alcove path and Nichols-Woronowicz model of the equivariant $K$-theory of generalized flag varieties
Published
• View Publication
• BIB
Fomin and Kirillov initiated a line of research into the realization of the cohomology and $K$-theory of generalized flag varieties $G/B$ as commutative subalgebras of certain noncommutative algebras. This approach has several advantages, which we discuss. This paper contains the most comprehensive result in a series of papers related to the mentioned line of research. More precisely, we give a model for the $T$-equivariant $K$-theory of a generalized flag variety $K_T(G/B)$ in terms of a certain braided Hopf algebra called the Nichols-Woronowicz algebra. Our model is based on the Chevalley-type multiplication formula for $K_T(G/B)$ due to the first author and Postnikov; this formula is stated using certain operators defined in terms of so-called alcove paths (and the corresponding affine Weyl group). Our model is derived using a type-independent and concise approach.
Dyson's new symmetry and generalized Rogers-Ramanujan identities
Published
• View Publication
• BIB
We present a generalization, which we call (k,m)-rank, of Dyson's notion of rank to integer partitions with k successive Durfee rectangles and give two combinatorial symmetries associated with this new definition. We prove these symmetries bijectively. Using the two symmetries we give a new combinatorial proof of generalized Roger-Ramanujan identities. We also describe the relationship between (k,m)-rank and Garvan's k-rank.
Eigenvectors and Reconstruction
Published
• View Publication
• BIB
In this paper, I study the simple eigenvectors of two hypomorphic matrices using linear algebra. I give new proofs of results of Godsil and MaKay.
NP-completeness of 4-incidence colorability of semi-cubic graphs
Published
• View Publication
• BIB
The incidence coloring conjecture, proposed by Brualdi and Massey in 1993, states that the incidence coloring number of every graph is at most ${\it Δ}+2$, where ${\it Δ}$ is the maximum degree of a graph. The conjecture was shown to be false in general by Guiduli in 1997, following the work of Algor and Alon. However, in 2005 Maydanskiy proved that the conjecture holds for any graph with ${\it Δ}\leq 3$. It is easily deduced that the incidence coloring number of a semi-cubic graph is 4 or 5. In this paper, we show that it is already NP-complete to determine if a semi-cubic graph is 4-incidence colorable, and therefore it is NP-complete to determine if a general graph is $k$-incidence colorable.
Tutte's 5-Flow Conjecture for Highly Cyclically Connected Cubic Graphs
Published in Discrete Math. 310, 385 - 389 (2010)
• View Publication
• BIB
In 1954, Tutte conjectured that every bridgeless graph has a nowhere-zero 5-flow. Let $ω$ be the minimum number of odd cycles in a 2-factor of a bridgeless cubic graph. Tutte's conjecture is equivalent to its restriction to cubic graphs with $ω\geq 2$. We show that if a cubic graph $G$ has no edge cut with fewer than $ {5/2} ω- 1$ edges that separates two odd cycles of a minimum 2-factor of $G$, then $G$ has a nowhere-zero 5-flow. This implies that if a cubic graph $G$ is cyclically $n$-edge connected and $n \geq {5/2} ω- 1$, then $G$ has a nowhere-zero 5-flow.
Discrete differential geometry of triangle tiles and algebra of closed trajectories
This paper proposes a new mathematical framework that can be applied to biological problems such as analysis of the structures of proteins and protein complexes. In particular, it gives a new method for encoding the three-dimensional structure of a protein into a binary sequence, where proteins are approximated by a folded tetrahedron sequence. It also gives a new algebraic framework for describing molecular complexes and their interactions.
For simplicity, we shall explain the framework in the case of two-dimensional objects. Then, the binary code of a plane curve is obtained as the ``second derivative'' of the curve and ``fusion and fission'' of closed trajectories is described algebraically.
Duality and evolving set bounds on mixing times
Published in Expands on Chapter 4 of monograph "Mathematical Aspects of Mixing Times in Markov Chains" by Montenegro and Tetali, NOW Publishers, Boston-Delft, June 2006
• Search Publication
This survey is an in-depth development of the theoretical aspects of the method of Evolving Sets, a method which has been used in several of my papers. It is fairly esoteric as to a large degree it stems from my efforts to ascertain whether Evolving sets is provably stronger than other isoperimetric methods (answer: yes, with qualifications). For an introduction to the method please see Chapter 4 of my book "Mathematical aspects of mixing times in Markov chains" with Prasad Tetali, or the paper "Evolving sets, mixing and heat kernel bounds" by Morris and Peres.
Semicanonical basis generators of the cluster algebra of type $A_1^{(1)}$
Published
• View Publication
• BIB
We study the cluster variables and "imaginary" elements of the semicanonical basis for the coefficient-free cluster algebra of affine type $A_1^{(1)}$. A closed formula for the Laurent expansions of these elements was obtained by P.Caldero and the author in math.RT/0604054. As a by-product, there was given a combinatorial interpretation of the Laurent polynomials in question, equivalent to the one obtained by G.Musiker and J.Propp in math.CO/0602408. The arguments in math.RT/0604054 used a geometric interpretation of the Laurent polynomials due to P.Caldero and F.Chapoton (math.RT/0410184). This note provides a quick, self-contained and completely elementary alternative proof of the same results.
A generalized Cartan decomposition for the double coset space U(n_1) x U(n_2) x U(n_3)) U(n) / U(p) x U(q)
Published in Journal of Mathematical Society of Japan 59 (2007), pages 669-691,
• View Publication
• BIB
Motivated by recent developments on visible actions on complex manifolds, we raise a question whether or not the multiplication of three subgroups $L$, $G'$ and $H$ surjects a Lie group $G$ in the setting that $G/H$ carries a complex structure and contains $G'/G' \cap H$ as a totally real submanifold.
Particularly important cases are when $G/L$ and $G/H$ are generalized flag varieties, and we classify pairs of Levi subgroups $(L, H)$ such that $L G' H = G$, or equivalently, the real generalized flag variety $G'/H \cap G'$ meets every $L$-orbit on the complex generalized flag variety $G/H$ in the setting that $(G, G') = (U(n), O(n))$.
For such pairs $(L, H)$, we introduce a \textit{herringbone stitch} method to find a generalized Cartan decomposition for the double coset space $L \backslash G/H$, for which there has been no general theory in the non-symmetric case.
Our geometric results provides a unified proof of various multiplicity-free theorems in representation theory of general linear groups.
One Parameter Generalizations of the Fibonacci and Lucas Numbers
Published
• View Publication
• BIB
We give one parameter generalizations of the Fibonacci and Lucas numbers denoted by $\{F_n(þ)\}$ and $\{L_n(þ)\}$, respectively. We evaluate the Hankel determinants with entries $\{1/F_{j+k+1}(þ): 0\le i,j \le n\}$ and $\{1/L_{j+k+1}(þ): 0\le i,j\le n\}$. We also find the entries in the inverse of $\{1/F_{j+k+1}(þ): 0\le i,j \le n\}$ and show that all its entries are integers. Some of the identities satisfied by the Fibonacci and Lucas numbers are extended to more general numbers. All integer solutions to three diophantine equtions related to the Pell equation are also found.
An explicit construction for neighborly centrally symmetric polytopes
We give an explicit construction, based on Hadamard matrices, for an infinite series of floor{sqrt{d}/2}-neighborly centrally symmetric d-dimensional polytopes with 4d vertices. This appears to be the best explicit version yet of a recent probabilistic result due to Linial and Novik, who proved the existence of such polytopes with a neighborliness of d/400.
Color Degree Condition for Large Heterochromatic Matchings in Edge-Colored Bipartite Graphs
This paper has been withdrawn by the author(s), due an error in the proof.