BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Lorenzo Traldi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We observe that for planar graphs, the geometric duality relation generates both 2-isomorphism and abstract duality. This observation has the surprising consequence that for links, the equivalence relation defined by isomorphisms of checkerboard graphs is the same as the equivalence relation defined by 2-isomorphisms of checkerboard graphs.
We discuss the connections tying Laplacian matrices to abstract duality and planarity of graphs.
Extending theorems of J. E. Greene [Invent. Math. 192 (2013), 717-750] and A. S. Lipson [Enseign. Math. (2) 36 (1990), 93-114], we prove that the equivalence class of a classical link L under mutation is determined by Goeritz matrices associated to diagrams of L.
Joyce showed that for a classical knot $K$, the involutory medial quandle $\text{IMQ}(K)$ is isomorphic to the core quandle of the homology group $H_1(X_2)$, where $X_2$ is the cyclic double cover of $\mathbb S ^3$, branched over $K$. It follows that $|\text{IMQ}(K)| = | \det K |$. In the present paper, the extension of Joyce's result to classical links is discussed. Among other things, we show that for a classical link $L$ of $μ\geq 2$ components, the order of the involutory medial quandle is bounded as follows: \[ \frac{μ| \det L |}{2} \geq |\text{IMQ}(L)| \geq \frac{ μ| \det L |} {2^{μ-1}}. \] In particular, $\text{IMQ}(L)$ is infinite if and only if $\det L =0$. We also show that in general, $\text{IMQ}(L)$ is a strictly stronger invariant than $H_1(X_2)$. That is, if $L$ and $L'$ are links with $\text{IMQ}(L) \cong \text{IMQ}(L')$, then $H_1(X_2) \cong H_1(X'_2)$; but it is possible to have $H_1(X_2) \cong H_1(X'_2)$ and $\text{IMQ}(L) \not \cong \text{IMQ}(L')$. In fact, it is possible to have $X_2 \cong X'_2$ and $\text{IMQ}(L) \not \cong \text{IMQ}(L')$.
The isotropic matroid $M[IAS(G)]$ of a looped simple graph $G$ is a binary matroid equivalent to the isotropic system of $G$. In general, $M[IAS(G)]$ is not regular, so it cannot be represented over fields of characteristic $\neq 2$. The ground set of $M[IAS(G)]$ is denoted $W(G)$; it is partitioned into 3-element subsets corresponding to the vertices of $G$. When the rank function of $M[IAS(G)]$ is restricted to subtransversals of this partition, the resulting structure is a multimatroid denoted $\mathcal{Z}_{3}(G)$. In this paper we prove that $G$ is a circle graph if and only if for every field $\mathbb{F}$, there is an $\mathbb{F}$-representable matroid with ground set $W(G)$, which defines $\mathcal{Z}_{3}(G)$ by restriction. We connect this characterization with several other circle graph characterizations that have appeared in the literature.
Several properties of the isotropic matroid of a looped simple graph are presented. Results include a characterization of the multimatroids that are associated with isotropic matroids and several ways in which the isotropic matroid of G incorporates information about graphs locally equivalent to G. Specific results of the latter type include a characterization of graphs that are locally equivalent to bipartite graphs, a direct proof that two forests are isomorphic if and only if their isotropic matroids are isomorphic, and a way to express local equivalence indirectly, using only edge pivots.
We present several characterizations of circle graphs, which follow from Bouchet's circle graph obstructions theorem.
We show that every 3-regular circle graph has at least two pairs of twin vertices; consequently no such graph is prime with respect to the split decomposition. We also deduce that up to isomorphism, K_4 and K_{3,3} are the only 3-connected, 3-regular circle graphs.
Given a 4-regular graph $F$, we introduce a binary matroid $M_τ(F)$ on the set of transitions of $F$. Parametrized versions of the Tutte polynomial of $M_τ(F)$ yield several well-known graph and knot polynomials, including the Martin polynomial, the homflypt polynomial, the Kauffman polynomial and the Bollobás-Riordan polynomial.
We introduce a binary matroid M(IAS(G)) associated with a looped simple graph G. M(IAS(G)) classifies G up to local equivalence, and determines the delta-matroid and isotropic system associated with G. Moreover, a parametrized form of its Tutte polynomial yields the interlace polynomials of G.
Let G be a graph with adjacency matrix A(G). Consider the matrix IA(G)=(I | A(G)), where I is the identity matrix, and let M(IA(G)) be the binary matroid represented by IA(G). Then suitably parametrized versions of the Tutte polynomial of M(IA(G)) yield the interlace polynomials of G, introduced by Arratia, Bollobás and Sorkin [J. Combin. Theory Ser. B 92 (2004) 199-233; Combinatorica 24 (2004) 567-584]. Interlace polynomials subsequently introduced by other authors may be obtained from parametrized Tutte polynomials of the binary matroid represented by (I | A(G) | I+A(G)).
Let F be a 4-regular graph with an Euler system C. We introduce a simple way to modify the interlacement matrix of C so that every circuit partition P of F has an associated modified interlacement matrix M(C,P). If C and C' are Euler systems of F then M(C,C') and M(C',C) are inverses, and for any circuit partition P, M(C',P)=M(C',C)M(C,P). This machinery allows for short proofs of several results regarding the linear algebra of interlacement.
The generating function that records the sizes of directed circuit partitions of a connected 2-in, 2-out digraph D can be determined from the interlacement graph of D with respect to a directed Euler circuit; the same is true of the generating functions for other kinds of circuit partitions. The interlace polynomials of Arratia, Bollobás and Sorkin [J. Combin. Theory Ser. B 92 (2004) 199-233; Combinatorica 24 (2004) 567-584] extend the corresponding functions from interlacement graphs to arbitrary graphs. We introduce a multivariate interlace polynomial that is an analogous extension of a multivariate generating function for undirected circuit partitions of undirected 4-regular graphs. The multivariate polynomial incorporates several different interlace polynomials that have been studied by different authors, and its properties include invariance under a refined version of local complementation and a simple recursive definition.
If $G$ is a looped graph, then its adjacency matrix represents a binary matroid $M_{A}(G)$ on $V(G)$. $M_{A}(G)$ may be obtained from the delta-matroid represented by the adjacency matrix of $G$, but $M_{A}(G)$ is less sensitive to the structure of $G$. Jaeger proved that every binary matroid is $M_{A}(G)$ for some $G$ [Ann. Discrete Math. 17 (1983), 371-376]. The relationship between the matroidal structure of $M_{A}(G)$ and the graphical structure of $G$ has many interesting features. For instance, the matroid minors $M_{A}(G)-v$ and $M_{A}(G)/v$ are both of the form $M_{A}(G^{\prime}-v)$ where $G^{\prime}$ may be obtained from $G$ using local complementation. In addition, matroidal considerations lead to a principal vertex tripartition, distinct from the principal edge tripartition of Rosenstiehl and Read [Ann. Discrete Math. 3 (1978), 195-226]. Several of these results are given two very different proofs, the first involving linear algebra and the second involving set systems or delta-matroids. Also, the Tutte polynomials of the adjacency matroids of $G$ and its full subgraphs are closely connected to the interlace polynomial of Arratia, Bollobás and Sorkin [Combinatorica 24 (2004), 567-584].
We explore the connections between the linear algebra of symmetric matrices over GF(2) and the circuit theory of 4-regular graphs. In particular, we show that the equivalence relation on simple graphs generated by local complementation can also be generated by an operation defined using inverse matrices.
In earlier work we introduced the graph bracket polynomial of graphs with marked vertices, motivated by the fact that the Kauffman bracket of a link diagram D is determined by a looped, marked version of the interlacement graph associated to a directed Euler system of the universe graph of D. Here we extend the graph bracket to graphs whose vertices may carry different kinds of marks, and we show how multiply marked graphs encode interlacement with respect to arbitrary (undirected) Euler systems. The extended machinery brings together the earlier version and the graph-links of D. P. Ilyutko and V. O. Manturov [J. Knot Theory Ramifications 18 (2009), 791-823]. The greater flexibility of the extended bracket also allows for a recursive description much simpler than that of the earlier version.