This is a continuation of [Classification of algebras of finite global dimension via determinants of certain 0-1-matrices](https://mathoverflow.net/questions/324534/classification-of-algebras-of-finite-global-dimension-via-determinants-of-certai/325637?noredirect=1#comment813583_325637) but this time with a concrete conjecture and using the simplification suggested by user esg to make the problem more compact.


Let $n \geq 4$ and $w \in \{3,4,...,n-1 \}$.
Let $Z$ be the matrix of the cyclic shift (the companion matrix of $X^n-1$), and for non-zero $\mathbf{v}\in \{0,1\}^n$ let
$\mathrm{diag}(\mathbf{v})$ be the diagonal matrix with $\mathbf{v}$ on the diagonal,
and $M\_\mathbf{v}:=I + Z+ \ldots + Z^{w-1}-\mathrm{diag}(\mathbf{v})$.  

For fixed $n$, call the tuple $(w,v)$ perfect in case $\det(M\_\mathbf{v})=(-1)^{(w-1)(n-1)}$.
(here I used the reformulation obtained by user esg for my problem. I refer to the previous thread for a motivation. Roughly stated, perfect pairs correspond to certain algebras with finite global dimension. )


Define $G\_n := \{ w \in \{3,4,...,n-1\} | $there exists a nonzero $\mathbf{v}\in \{0,1\}^n$ with $(w,v)$ perfect $\}$.


It is best to picture the $v$ as two-colored necklaces (with colours corresponding to 1 and 0), so a cyclic shift just means rotating the necklace.


It is an interesting question what the set $G\_n$ is explicitly but my first guess was wrong and it seems that $G\_n$ is complicated to describe for large $n$.


But here are two conjectures that would be nice in case they are true:



> 
> Conjecture 1: Maximum($G\_n$)=$\frac{n+2}{2}$ in case $n$ is even and Maximum($G\_n$)=$\frac{n+1}{2}$ in case $n$ is odd.
> 
> 
> Conjecture 2: a) For $n$ even the number of perfect tuples $(w,v)$ with $w=(n+2)/2$ is equal to $\frac{3^{n/2-1}+1}{2}$ when we identify two tuples $(w,v\_1)$ and $(w,v\_2)$ when $v\_1$ is a cyclic shift of $v\_2$.
> 
> 
> b) For $n$ odd the number of perfect tuples $(w,v)$ with $w=(n+1)/2$ is equal to $n-1$ when we identify two tuples $(w,v\_1)$ and $(w,v\_2)$ when $v\_1$ is a cyclic shift of $v\_2$.
> 
> 
> 


The conjectures are tested with the computer for $n \leq 20$.


Here two examples:


For $n=13$ and $w=7$, the $v$ up to cyclic shift with $(w,v)$ perfect are:


[ [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 ],


[ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1 ],


[ 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1 ],


[ 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1 ],


[ 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1 ],


[ 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1 ],


[ 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1 ],


[ 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1 ],


[ 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1 ],


[ 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1 ],


[ 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1 ],


[ 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ] ]


For $n=8$ and $w=5$, the perfect $(w,v)$ up to cyclic shifts are:


[ [ 0, 0, 0, 1, 0, 0, 0, 1 ],


[ 0, 0, 0, 1, 0, 0, 1, 1 ],


[ 0, 0, 0, 1, 0, 1, 0, 1 ],


[ 0, 0, 0, 1, 0, 1, 1, 1 ],


[ 0, 0, 0, 1, 1, 0, 0, 1 ],


[ 0, 0, 0, 1, 1, 0, 1, 1 ],


[ 0, 0, 0, 1, 1, 1, 0, 1 ],


[ 0, 0, 0, 1, 1, 1, 1, 1 ],


[ 0, 0, 1, 0, 0, 1, 1, 1 ],


[ 0, 0, 1, 0, 1, 0, 1, 1 ],


[ 0, 0, 1, 0, 1, 1, 1, 1 ],


[ 0, 0, 1, 1, 0, 1, 0, 1 ],


[ 0, 0, 1, 1, 1, 1, 0, 1 ],


[ 0, 1, 0, 1, 1, 0, 1, 1 ] ]


edit: It might be also a good idea to think about conjecture 1 in terms of representation theory/homological algebra. Here is the non-elementary formulation of conjecture 1:


Let $A$ be a selfinjective (connected) Nakayama algebra with $n$ simple modules and Loewy length $w$ with $(n+2)/2 < w<n$. Then a generator $M$ with every non-projective indecomposable summand being simple has the property that $End\_A(M)$ has infinite global dimension.


(equivalently, one can look at generators $M$ with every non-projective indecomposable summand being a radical of an indecomposable projective module).



On a problem for determinants associated to Cartan matrices of certain algebras
I'll keep the version where we look at 
$$D(w,v)=\det\left(I + Z+ \ldots + Z^{w-1}-Z^{w-1}\mathrm{diag}(\mathbf{v})\right)$$
and ask when is $D(w,v)=1$? 


In order to give a complete answer to both conjectures we first introduce the quiver $Q\_{w,v}$ defined on the vertices $\{S\_1,S\_2,\dots,S\_n\}$ with edges $S\_i\to S\_{i+w-v\_i}$. Here by $v\_i$ we are denoting the $i$-th component of $\mathbf v$. If we have a cycle $C$ on vertices $\{S\_{i\_1},\dots,S\_{i\_r}\}$ we define the weight of $C$ to be
$$\omega(C)=\frac{rw-\sum\_{j=1}^r v\_i}{n}.$$
Notice that each connected component of $Q\_{w,v}$ has a unique cycle, because each vertex has outdegree 1.


**Theorem:** If $Q\_{w,v}$ is connected then $D(w,v)$ is equal to the weight of the unique cycle in $Q\_{w,v}$, otherwise we have $D(w,v)=0$.


**Proof:** Let's deal with the case where $Q\_{w,v}$ is disconnected first. If $C\_1,C\_2$ are two cycles then the sum of all rows indexed by the vertices of $C\_1$ is equal to $\frac{\omega(C\_1)}{\omega(C\_2)}$ times the sum of all rows corresponding to the vertices of $C\_2$. This gives a linear relation among the rows, therefore $D(w,v)=0$.


If $Q\_{w,v}$ is connected then we can argue as follows. If we have vertices $S\_{i\_1}\rightarrow S\_{i\_3}\leftarrow S\_{i\_2}$, then we must have $v\_{i\_1}=0, v\_{i\_2}=1$ or $v\_{i\_1}=1,v\_{i\_2}=0$. Without loss of generality we are in the first case and we can subtract the $i\_1$-th row from the $i\_2$-th row and obtain a row with one 1, and all 0's. This shows that $D(w,v)$ is equal to its $(i\_2,i\_2)$ minor. You can continue reducing the matrix this way until the quiver of the matrix becomes a simple cycle. It is easy to see that when passing to a minor at each step doesn't change the weight of the cycle. At the end you will be left with a matrix of the form $I+z+\cdots+z^{\omega(C)-1}$, where $z$ is a shift matrix, and this matrix has determinant $\omega(C)$. $\blacksquare$




---


**Corollary 1:** When $n$ is even we have $\max G\_n=\frac{n+2}{2}$, and this is achieved by $\frac{3^{\frac{n}{2}-1}+1}{2}$ vectors $\mathbf v$ up to cyclic shift.


**Proof:** Since a cycle will have at least two vertices we get $n\geq 2(w-1)\implies w\le \frac{n+2}{2}$. For this to be achieved we need two vertices to satisfy $v\_i=v\_{i+n/2}=1$. Because cyclic shifts of $\mathbf v$ are equivalent, we can assume that $v\_{n/2}=v\_n=1$. Now for each ordered pair $(v\_i,v\_{i+n/2})$ we have 3 possibilities since if it was $(1,1)$ it would give a new cycle in the quiver $Q\_{w,v}$ which is not possible, so it has to be one of $(0,0),(0,1),(1,0)$. In total we get $3^{n/2}$ possibilities for the vector $v$. It is possible to show that all of these work because the associated quiver is connected. However each vector except for $\mathbf v=(0,\dots,0,1,0,\dots,0,1)$ is counted twice (by $n/2$ rotation), giving us a final count of $\frac{3^{\frac{n}{2}-1}+1}{2}$. $\blacksquare$


**Corollary 2:** When $n$ is odd we have $\max G\_n=\frac{n+1}{2}$, and this is achieved by $n-1$ vectors $\mathbf v$ up to cyclic shift.


**Proof:** To get a cycle of weight 1 we need $v\_i=1,v\_{i+\frac{n-1}{2}}=0$, for some $i$. When we order the coordinates as $v\_i,v\_{i-\frac{n-1}{2}}, v\_{i+1}, v\_{i-\frac{n-3}{2}},\dots$ we see that the only possibility is to have a bunch of 1's followed by a bunch of 0's. The number of 1's can be anything from $1$ to $n-1$, each giving rise to a unique valid $\mathbf v$ up to cyclic shift. $\blacksquare$


**Corollary 3:** The allowed values in $G\_n$ are $w=1+\lfloor \frac{n}{r}\rfloor$ where $2\le r\le n$, together with the values $w=\frac{n}{r}$, where $2\le r\le n$ and $r$ divides $n$.


**Proof:** Suppose the unique cycle has $r$ vertices, and $r\_1$ of them have $v\_i=1$. Then since the weight of the cycle is 1, we get $n=rw-r\_1$ and the conclusion follows. This shows in particular that the guess $G\_n=\{2,3,\dots, 1+\lfloor n/2\rfloor \}$ is wrong for large enough $n$. $\blacksquare$


