Тёмный

Delta Sets from Quivers 

Oliver Knill
Подписаться 3,5 тыс.
Просмотров 144
50% 1

A quiver is a multi-graph where additionally also loops are allowed. Quivers are important because they can be upgraded to finite categories (when adding an associative structure), because they appear historically: the first graph of Euler in the Koenigsberg Bridge problem was a quiver, they appear in physics as feynman graphs, they appear in chemistry if one wants to model multiple bonds , they appear in pop culture like the Good will hunting graph. The reason for me to use quivers is to get a simpler proof of the upper bound for ALL eigenvalues of a quiver. The reason is that the principal submatrix of the Kirchhoff matrix of a quiver is again the Kirchhoff matrix of a quiver, allowing induction. Also the lower bound for ALL eigenvalues given first by Brouwer and Haemers for graphs can be extended to quivers without multiple connections (also quivers without multiple connections have the property that princial submatrices of their Kirchhoff matrix is again a Kirchhoff matrix of a quiver without multiple connection), again allowing induction. But ahis is all old water under the bridge. This week I wondered whether quivers can produce higher dimensional delta sets similarly as graphs produce higher dimensional simplicial complexes. To get one dimensional delta sets is no problem because there is a gradient F and divergence F^T and the Kirkhoff matrix is of the form K = div grad = F^T F. This can be rephrased that there is a Dirac matrix defining a one dimensional delta set with vertices and edges as elements. Note that we treat loops as edges.
Pictures were taken on Friday morning (Saturday was again a bit rainy). In the intro shot, I was visited by the Harvard peregrine Falcon whom I have seen the third time already while flying around. It might be one who nests at Memorial Hall. See this Gazette article:
news.harvard.e...
(A home fit for a king). They are great to control the number of pigeons in urban areas.

Опубликовано:

 

8 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 3   
@danielprovder
@danielprovder 3 месяца назад
Have you seen the result Acyclic Digraphs and Eigenvalues of (0,1)-Matrices? There’s a nice relationship between simplicial complexes & a certain directed acyclic graphs, in particular a bipartite one in which the nodes are distinguished as follows: one partition is for the 0-dimensional simplices, & the other partition are for the >0 dimensional simplices. For each facet in the complex in question, there exists a node in the bipartite graph with out-degree equal to the dimension of the facet. For each vertex in the complex there exists a node in the graph with in-degree equal to the number of facets in the complex containing that vertex & out degree zero. The edges flow from nodes representing higher dimensional simplices directly to nodes representing the 0-dimensional ones. Under this model the standard simplexes are mapped to bipartite star graphs with edges pointing away from the central node, representing a facet & the exterior nodes being the vertices. Two simplices can be glued by identifying their overlapping vertices & the corresponding nodes in the star graphs.
@OliverKnill
@OliverKnill 3 месяца назад
Thanks. By the way, the counting of positive eigenvalues 0-1 matrices and acylic digraphs are both 1-line computations in Mathematica M[n_]:=Length[Select[Map[Eigenvalues,Map[(Partition[#,n])&,Tuples[{0,1},n^2]]],(#==Re[#]&&Min[Re[#]]>0)&]]; R[0_]:=1;R[n_]:=Sum[(-1)^(k+1)*Binomial[n,k] 2^(k(n-k))R[n-k],{k,n}]; R[3] ==M[3] The equivalence of R and M follows because an acyclic digraph has an adjacency matrix with all eigenvalues 0 and because if a 0-1 matrix has all positive eigenvalues positive, they all must be 1. Yes, simplicial complexes can define various graphs, also bipartite graphs. I had not seen what you stated about these bipartite graphs. Apropos simplicial complexes. I proved something related: take a simplicial complex G and look at the intersection matrix, a 0-1 matrix. This matrix is always unimodular and the number of positive eigenvalues minus the number of negative eigenvalues is the Euler characteristic. arxiv.org/abs/1907.03369
@danielprovder
@danielprovder 3 месяца назад
@@OliverKnill ah that’s a nice way to look at the bijection! I don’t speak Mathematica though… but your argument is clear. I forgot to mention an important property of the graph representation for simplicial complexes I tried to explain: that the adjacency matrix squares to the 0 matrix. Here’s a picture that shows an example: drive.google.com/file/d/19w3h9H2pVN8Z16CflgiYK3SkWbANCyp4/view?usp=drivesdk I’ll take a look at your paper later today
Далее
Remarks on Delta Sets
13:20
Просмотров 931
Stability of the Vacuum
15:08
Просмотров 217
ПРИКОЛЫ НАД БРАТОМ #shorts
00:23
Просмотров 3,8 млн
Dark Matter Lemma
20:08
Просмотров 123
Quadratic Cohomology
11:34
Просмотров 195
QR Symmetry
12:55
Просмотров 155
The Math Theorem that just SHOULDN'T work
5:43
Просмотров 60 тыс.
What is category theory?
10:32
Просмотров 54 тыс.
Proof: Euler's Formula for Plane Graphs | Graph Theory
15:55
Visualizing 4D Pt.1
22:56
Просмотров 458 тыс.