Abstract:Bidirected graphs are multigraphs where every edge has an independent direction at each end. In the paper, with an arbitrary bidirected graph we associate a non-negative integral quadratic form (called the incidence form of the graph), and determine all forms that appear in this way in two main results: first, among non-negative connected unit forms, precisely those of Dynkin type $\mathbb{A}$ or $\mathbb{D}$ are incidence forms; second, we give simple conditions on the coefficients of a non-negative connected non-unitary form to be an incidence form. We say that those non-unitary forms have Dynkin type $\mathbb{C}$, and justify such nomenclature by generalizing known classifications and properties of non-negative quadratic forms of Dynkin types $\mathbb{A}$ and $\mathbb{D}$ to the introduced type~$\mathbb{C}$. We also show that the graphical framework of an incidence form is an useful tool to visualize its arithmetical properties, to prove new facts and to perform efficient computations for integral quadratic forms and related problems in number theory, algebra and graph theory. For instance, in a third main result we relate the walks of a bidirected graph with the $0,1,2$-roots of the associated incidence form (and to the classical root systems in the positive case). Moreover, we prove the universality property for a large class of integral quadratic forms, provide computational methods to find solutions or to characterize the finiteness of the sets of solutions of various related Diophantine equations, show a variant of Whitney's theorem on line graphs using switching classes, and apply our techniques to give a conceptual and constructive proof of the non-negativity (and possible Dynkin types) of the Euler quadratic forms of a class of finite-dimensional gentle algebras.

On a Characterization of the Bilinear Forms Graphs Bil q ( d × d )

A Characterization of the Graphs of Bilinear (d× D)-Forms over 𝔽_2

A Characterization of the Graphs of Bilinear (D×d)-Forms over $$\Mathbb{f}_2$$

Twice Q -Polynomial Distance-Regular Graphs of Diameter 4

On the $Q$-polynomial property of the full bipartite graph of a Hamming graph

$Q$-polynomial distance-regular graphs and a double affine Hecke algebra of rank one

The Norton-balanced condition for $Q$-polynomial distance-regular graphs

On bilinear Hilbert transform along two polynomials

On signless Laplacian coefficients of bicyclic graphs

On distance graphs in rational spaces

Distinguishing and Reconstructing Directed Graphs by their -Polynomials

Parameters of Quotient-Polynomial Graphs

Characterizing Bipartite Distance-Regularized Graphs with Vertices of Eccentricity 4

On a Characterization of the Grassmann Graphs

The nucleus of a $Q$-polynomial distance-regular graph

Bidirected graphs, integral quadratic forms and some Diophantine equations

Bilinear matrix equation characterizes Laplacian and distance matrices of weighted trees

Square-free Discriminants of Matrices and the Generalized Spectral Characterizations of Graphs

Thin Distance-Regular Graphs with Classical Parameters $(D, Q, Q, \Frac{q^{t}-1}{Q-1}-1)$ with $t> D$ Are the Grassmann Graphs.

Distance-regular graphs with classical parameters that support a uniform structure: case $q \le 1$