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 $\...
Gil Kalai's user avatar
  • 24.7k
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 ...
Christian Gaetz's user avatar
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 ...
Sam Hopkins's user avatar
  • 24.2k
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 (...
kotlinski's user avatar
  • 181
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$ ...
Hugh Thomas's user avatar
  • 6,302
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 ...
Sylvester W. Zhang's user avatar
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.)
ThiKu's user avatar
  • 10.4k
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 ...
Andrei Smolensky's user avatar
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 ...
darij grinberg's user avatar
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 ...
Sam Hopkins's user avatar
  • 24.2k
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 ...
Mikhail's user avatar
  • 465
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 ...
Kaveh's user avatar
  • 493
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 ...
It'sMe's user avatar
  • 839
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),...
mikeS's user avatar
  • 61
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^...
Alexey Ustinov's user avatar
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 ...
Alexey Ustinov's user avatar
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. ...
user36931's user avatar
  • 1,331
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....
Jianrong Li's user avatar
  • 6,211
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) ...
Jeanne Scott's user avatar
  • 2,137
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 ...
Sam Hopkins's user avatar
  • 24.2k
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 ...
Jianrong Li's user avatar
  • 6,211
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$, $...
Jianrong Li's user avatar
  • 6,211
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 ...
user118668's user avatar
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 ...
Jianrong Li's user avatar
  • 6,211
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{\...
Hector Blandin's user avatar
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 & ...
Jianrong Li's user avatar
  • 6,211