Skip to main content

All Questions

Filter by
Sorted by
Tagged with
56 votes
1 answer
3k views

Intersecting family of triangulations

Let $\cal T_n$ be the family of all triangulations on an $n$-gon using $(n-3)$ non-intersecting diagonals. The number of triangulations in $\cal T_n$ is $C_{n-2}$ the $(n-2)$th Catalan number. Let $\...
4 votes
0 answers
259 views

Road map for learning cluster algebras

I'm a PhD student and I would like learn about cluster algebras. I'm wondering what is a good reference (i.e., has detailed explanations, examples, etc) to learn from the basic and what are some of ...
4 votes
0 answers
259 views

A technical question about a paper by Gross-Hacking-Keel

I have a technical question on the commutativity of diagrams (2.11) and (2.12) in the paper "Birational geometry of cluster algebras" by Gross-Hacking-Keel: For the leftmost square in (2.11),...
8 votes
1 answer
250 views

Grassmannian cluster algebra of infinite type has no trees in its mutation class

The question is why the statement in the title is true (is it?). To elaborate, recall that Grassmannian cluster algebra, according to Scott`s paper Grassmannians and Cluster Algebras, is the cluster ...
6 votes
0 answers
194 views

"Cluster algebra" structure for finite distributive lattices

Let $P$ be an $n$-element poset and $J(P)$ the distributive lattice of its order ideals (i.e., the downwards-closed sets). For each $I\in J(P)$ let $x_I \in \mathbb{R}^{n}$ be the indicator function ...
6 votes
1 answer
281 views

Is this Laurent phenomenon explained by invariance/periodicity?

In Chapter 4 (page 23, subsection "Somos sequence update") of his Tracking the Automatic Ant, David Gale discusses three families of recursively defined sequences of numbers, all due to Dana ...
3 votes
0 answers
153 views

The Grassmann twist-map, an associated semi-group action, and RSK

Let me begin by setting some notation: Let $\mathrm{Mat}_{k,n}(\Bbb{R})$ denote the vector space of all $k \times n$ real-valued matrices. Given $g \in \mathrm{Mat}_{k,n}(\Bbb{R})$ and two (ordered) ...
4 votes
0 answers
171 views

Positivity conjecture for Somos sequences

Let $\{s_n\}$ be the Somos-$4$ sequence, which is defined by $$s_{n+4}s_n=\alpha s_{n+3}s_{n+1}+\beta s_n^2.$$ It is known that $s_n$ is a Laurent polynomial: $s_n\in\mathbb{Z}[s_1^{\pm1}, \ldots, s_4^...
29 votes
2 answers
1k views

Determining if a rational function has a subtraction-free expression

This question was first asked by Mehtaab Sawhney in Alex Postnikov's combinatorics class. Given a rational function $F=P(x_1,...,x_n)/Q(x_1,...,x_n)$ with (say) integer coefficients, it is often of ...
17 votes
4 answers
2k views

Some interesting and elementary topics with connections to the representation theory?

I'm going to give a talk to talented high school seniors (for nearly 1.25-1.75 hours, maybe a little bit longer). They know some abstract algebra (groups, rings, modules...), linear algebra (...
3 votes
0 answers
226 views

Definition of loop amplituhedrons

In the paper The Amplituhedron , Nima Arkani-Hamed and Jaroslav Trnka introduced the geometric object amplituhedron. It is defined as follows (see also the lecture notes). Let $Z$ be a $(k+m)\times ...
19 votes
2 answers
1k views

Is it possible that the GHKK canonical basis for cluster algebras is the Lusztig/Kashiwara dual canonical basis?

Gross-Hacking-Keel-Kontsevich (https://arxiv.org/abs/1411.1394) constructed a canonical basis (the so-called “theta basis”) for a cluster algebra, at least assuming it satisfies a certain ...
3 votes
0 answers
98 views

Does singularity confinement imply a fixed pattern of irreducible factors?

Consider a rational map $f \colon (x_1,\ldots,x_n) \mapsto (P_1(x_1,\ldots,x_n),\ldots,P_n(x_1,\ldots,x_n))$, where the $P_i$ are rational functions. Via iteration this map defines a discrete ...
15 votes
2 answers
601 views

Integer but not Laurent sequences

Are there any sequence given by a recurrence relation: $x_{n+t}=P(x_t,\cdots,x_{t+n-1})$, where $P$ is a positive Laurent Polynomial, satisfy: if $x_0=\cdots=x_{n-1}=1$, then the sequence is only ...
1 vote
1 answer
216 views

Why do finitely many cluster variables imply finitely many y-variables?

Suppose we have a seed $(x,y,B)$ where $B$ is a skew-symmetrizable matrix, $x = \{x_1,\ldots,x_n\}$ and y is an n-tuple of elements in $Trop\{x_{n+1},\ldots,x_m\}$. If there are finitely many cluster ...
1 vote
0 answers
168 views

(b,c) rank 2 cluster algebras

Let $x$ and $y$ be variables. Consider the following recurrence: \begin{equation} u_{n}:= \begin{cases} \displaystyle{\frac{1+u_{n-1}^b}{u_{n-2}}} & if\ n\ \text{is even},\\ &\\ \displaystyle{\...
15 votes
1 answer
2k views

Applications of cluster algebras

Why are so many algebraists nowadays interested in cluster algebras? (This is a rewording of one half of the closed question Cluster algebras and teichmuller theory.)
3 votes
1 answer
313 views

Trying to understand the proof of Laurent phenomenon of cluster algebras

I am trying to understand the proof of Laurent phenomenon of cluster algebras in the book (Sergey Fomin, Lauren Williams, Andrei Zelevinsky, Introduction to Cluster Algebras. Chapters 1-3, arXiv:1608....
0 votes
1 answer
241 views

Canonical basis of cluster algebras

Let $x_{k+1} = \frac{x_k^{d_k}+1}{x_{k-1}}$, $k \in \mathbb{Z}$, where $d_{k+2} = d_k \in \mathbb{Z_{>0}}$. Let $b=d_1$ and $c=d_2$. Define the cluster algebra $A = A(\left( \begin{matrix} 0 & ...
1 vote
1 answer
105 views

How to draw a quiver for a pseudoline arragement?

In the lecture notes, on page 24, there is an example of drawing a quiver for a pseudoline arragement. What is the rule to draw a quiver for a pseudoline arragement? I don't know how to put the ...
2 votes
1 answer
315 views

Cluster algebras of finite type

In the webpage, there is a result: Theorem 1. Coefficient free cluster algebras without frozen variables are in bijection with Dynkin diagrams of type $A_n$, $B_n$, $C_n$, $D_n$, $E_6, E_7, E_8$, $...
4 votes
3 answers
227 views

Cluster Variables for non-convex n-gons

Most of the lectures and lecture notes on Cluster Algebras (at least from Combinatorial point of view) start with mutations of the diagonals of a convex n-gon (mostly the pentagon) as the illustration ...
4 votes
0 answers
216 views

``Occasional'' Laurent phenomenon

This question is motivated by Richard Stanley's A question on the Laurent phenomenon (motivated by his answer to the question what is the probability that a scissor became the champion?). He asked ...
5 votes
2 answers
657 views

How to flip one triangulation on a surface into another

Let $S$ be a compact orientable surface and $p_1,\dots, p_n\in S$ be distinct points. We consider all triangulations on $S$ with vertices $p_1,\dots, p_n$. Is there an algorithm which takes two ...
3 votes
2 answers
362 views

Kahler differentials on cluster varieties

On affine toric varieties there is a classical theorem of Danilov which gives some combinatorial ways to describe the global sections of an appropriate sheaf of Kahler differentials as a vector space. ...
16 votes
0 answers
558 views

Catalan objects associated to a univariate polynomial

Given a monic degree $n$ polynomial $f(z)$ with no double roots, and a phase $0\leq \theta < \pi$, there are natural constructions which associate to this data: a noncrossing matching on $2n$ ...