Showing 1–43 of 43 results for author: Traldi, L

Peripheral structures of core groups

Authors: Daniel S. Silver, Lorenzo Traldi

Abstract: The core group is an invariant of unoriented virtual links. We introduce a peripheral structure for the core group, in which the longitudes are sensitive to orientations. We show that the combination of the core group and its peripheral structure is equivalent, as a link invariant, to the combination of the $π$-orbifold group and its peripheral structure. Examples show that the peripheral structur… ▽ More The core group is an invariant of unoriented virtual links. We introduce a peripheral structure for the core group, in which the longitudes are sensitive to orientations. We show that the combination of the core group and its peripheral structure is equivalent, as a link invariant, to the combination of the $π$-orbifold group and its peripheral structure. Examples show that the peripheral structure of the core group can be used to verify noninvertibility of some knots and links. △ Less

Submitted 8 April, 2025; originally announced April 2025.

Comments: 24 pages, 5 figures

Reorienting quandle orbits

Authors: Lorenzo Traldi

Abstract: Motivated by knot theory, it is natural to define the orientation-reversal of a quandle orbit by inverting all the translations given by elements of that orbit. In this short note we observe that this natural notion is unsuited to medial quandles. Motivated by knot theory, it is natural to define the orientation-reversal of a quandle orbit by inverting all the translations given by elements of that orbit. In this short note we observe that this natural notion is unsuited to medial quandles. △ Less

Submitted 18 November, 2024; originally announced November 2024.

Comments: 4 pages, 1 figure. Prepublication version. Changes may be made before publication in Algebra Universalis

Peripheral elements in reduced Alexander modules: an addendum

Authors: Daniel S. Silver, Lorenzo Traldi

Abstract: We answer a question raised in ``Peripheral elements in reduced Alexander modules'' [J. Knot Theory Ramifications 31 (2022), 2250058]. We also correct a minor error in that paper. We answer a question raised in ``Peripheral elements in reduced Alexander modules'' [J. Knot Theory Ramifications 31 (2022), 2250058]. We also correct a minor error in that paper. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Comments: v1: prepublication version. Changes may be made before publication in the Journal of Knot Theory and its Ramifications

Multivariate Alexander quandles, VI. Metabelian groups and 2-component links

Authors: Lorenzo Traldi

Abstract: We prove two properties of the modules and quandles discussed in this series. First, the fundamental multivariate Alexander quandle $Q_A(L)$ is isomorphic to the natural image of the fundamental quandle in the metabelian quotient $G(L)/G(L)''$ of the link group. Second, the medial quandle of a classical 2-component link $L$ is determined by the reduced Alexander invariant of $L$. We prove two properties of the modules and quandles discussed in this series. First, the fundamental multivariate Alexander quandle $Q_A(L)$ is isomorphic to the natural image of the fundamental quandle in the metabelian quotient $G(L)/G(L)''$ of the link group. Second, the medial quandle of a classical 2-component link $L$ is determined by the reduced Alexander invariant of $L$. △ Less

Submitted 28 August, 2024; v1 submitted 21 August, 2024; originally announced August 2024.

Comments: v1: 11 pages, one figure. v2: minor edits

Core groups

Authors: Daniel S. Silver, Lorenzo Traldi, Susan G. Williams

Abstract: The core group of a classical link was introduced independently by A.J. Kelly in 1991 and M. Wada in 1992. It is a link invariant defined by a presentation involving the arcs and crossings of a diagram, related to Wirtinger's presentation of the fundamental group of a link complement. Two close relatives of the core group are defined by presentations involving regions rather than arcs; one of them… ▽ More The core group of a classical link was introduced independently by A.J. Kelly in 1991 and M. Wada in 1992. It is a link invariant defined by a presentation involving the arcs and crossings of a diagram, related to Wirtinger's presentation of the fundamental group of a link complement. Two close relatives of the core group are defined by presentations involving regions rather than arcs; one of them is related to Dehn's presentation of a link group. The definitions are extended to virtual link diagrams and properties of the resulting invariants are discussed. △ Less

Submitted 1 June, 2024; v1 submitted 3 November, 2023; originally announced November 2023.

Comments: v1: 20 pages, 7 figures. v2: final prepublication version. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

Multivariate Alexander quandles, V. Constructing the medial quandle of a link

Authors: Lorenzo Traldi

Abstract: We explain how the medial quandle of a classical or virtual link can be built from the peripheral structure of the reduced Alexander module. We explain how the medial quandle of a classical or virtual link can be built from the peripheral structure of the reduced Alexander module. △ Less

Submitted 3 September, 2024; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: v1: 32 pages, 6 figures. v2: minor improvements. v3: restriction to finite number of quandle orbits removed. v4: minor improvements in Section 7. v5: 33 pages, 6 figures. Final prepublication version. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

Peripheral elements in reduced Alexander modules

Authors: Lorenzo Traldi

Abstract: We discuss meridians and longitudes in reduced Alexander modules of classical and virtual links. When these elements are suitably defined, each link component will have many meridians, but only one longitude. Enhancing the reduced Alexander module by singling out these peripheral elements provides a significantly stronger link invariant. In particular, the enhanced module determines all linking nu… ▽ More We discuss meridians and longitudes in reduced Alexander modules of classical and virtual links. When these elements are suitably defined, each link component will have many meridians, but only one longitude. Enhancing the reduced Alexander module by singling out these peripheral elements provides a significantly stronger link invariant. In particular, the enhanced module determines all linking numbers in a link; in contrast, the module alone does not even detect how many linking numbers are $0$. △ Less

Submitted 20 July, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: v1: 19 pages, 9 figures. v2: example corrected. 20 pages, 9 figures. v3: 21 pages, 10 figures. Final prepublication version. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

A note on geometric duality in matroid theory and knot theory

Authors: Lorenzo Traldi

Abstract: 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 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. △ Less

Submitted 9 June, 2022; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: v1: 10 pages, 6 figures. v2: minor edits. v3: 11 pages, 6 figures. final prepublication version

MSC Class: 05C10

Linking numbers, quandles and groups

Authors: Lorenzo Traldi

Abstract: We introduce a quandle invariant of classical and virtual links, denoted $Q_{tc} (L)$. This quandle has the property that $Q_{tc} (L) \cong Q_{tc} (L')$ if and only if the components of $L$ and $L'$ can be indexed in such a way that $L=K_1 \cup \dots \cup K_μ$, $L'=K'_1 \cup \dots \cup K'_μ$ and for each index $i$, there is a multiplier $ε_i \in \{-1,1\}$ that connects virtual linking numbers over… ▽ More We introduce a quandle invariant of classical and virtual links, denoted $Q_{tc} (L)$. This quandle has the property that $Q_{tc} (L) \cong Q_{tc} (L')$ if and only if the components of $L$ and $L'$ can be indexed in such a way that $L=K_1 \cup \dots \cup K_μ$, $L'=K'_1 \cup \dots \cup K'_μ$ and for each index $i$, there is a multiplier $ε_i \in \{-1,1\}$ that connects virtual linking numbers over $K_i$ in $L$ to virtual linking numbers over $K'_i$ in $L'$: $\ell_{j/i}(K_i,K_j)= ε_i \ell_{j/i}(K'_i,K'_j)$ for all $j \neq i$. We also extend to virtual links a classical theorem of Chen, which relates linking numbers to the nilpotent quotient $G(L)/G(L)_3$. △ Less

Submitted 2 August, 2021; v1 submitted 23 February, 2021; originally announced February 2021.

Comments: v1: 15 pages, 4 figures. v2: minor improvements. v3: final prepublication version. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

Matroids that classify forests

Authors: Lorenzo Traldi

Abstract: Elementary arguments show that a tree or forest is determined (up to isomorphism) by binary matroids defined using the adjacency matrix. Elementary arguments show that a tree or forest is determined (up to isomorphism) by binary matroids defined using the adjacency matrix. △ Less

Submitted 27 October, 2020; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: v1: 19 pages. v2: 19 pages. Minor improvements

Multivariate Alexander quandles, IV. The medial quandle of a link

Authors: Lorenzo Traldi

Abstract: Joyce observed that the Alexander invariant and the medial quandle of a classical knot are equivalent to each other, as invariants. In the present paper, we discuss the rather complicated extension of Joyce's observation to several different medial quandles and reduced (one-variable) Alexander modules associated with classical links. The theme is that for links, medial quandles provide stronger in… ▽ More Joyce observed that the Alexander invariant and the medial quandle of a classical knot are equivalent to each other, as invariants. In the present paper, we discuss the rather complicated extension of Joyce's observation to several different medial quandles and reduced (one-variable) Alexander modules associated with classical links. The theme is that for links, medial quandles provide stronger invariants than reduced Alexander modules. △ Less

Submitted 2 December, 2021; v1 submitted 24 November, 2019; originally announced November 2019.

Comments: v1: 33 pages, 7 figures. v2: minor edits. v3: 43 pages, 9 figures. major revision, including corrected interpretation of results of Joyce. v4: minor edits

A Characterization of Circle Graphs in Terms of Total Unimodularity

Authors: Robert Brijder, Lorenzo Traldi

Abstract: A graph $G$ has an associated multimatroid $\mathcal{Z}_3(G)$, which is equivalent to the isotropic system of $G$ studied by Bouchet. In previous work it was shown that $G$ is a circle graph if and only if for every field $\mathbb F$, the rank function of $\mathcal{Z}_3(G)$ can be extended to the rank function of an $\mathbb F$-representable matroid. In the present paper we strengthen this result… ▽ More A graph $G$ has an associated multimatroid $\mathcal{Z}_3(G)$, which is equivalent to the isotropic system of $G$ studied by Bouchet. In previous work it was shown that $G$ is a circle graph if and only if for every field $\mathbb F$, the rank function of $\mathcal{Z}_3(G)$ can be extended to the rank function of an $\mathbb F$-representable matroid. In the present paper we strengthen this result using a multimatroid analogue of total unimodularity. As a consequence we obtain a characterization of matroid planarity in terms of this total-unimodularity analogue. △ Less

Submitted 5 October, 2021; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 26 pages, 6 figures

Multivariate Alexander quandles, III. Sublinks

Authors: Lorenzo Traldi

Abstract: If $L$ is a classical link then the multivariate Alexander quandle, $Q_A(L)$, is a substructure of the multivariate Alexander module, $M_A(L)$. In the first paper of this series we showed that if two links $L$ and $L'$ have $Q_A(L) \cong Q_A(L')$, then after an appropriate re-indexing of the components of $L$ and $L'$, there will be a module isomorphism $M_A(L) \cong M_A(L')$ of a particular type,… ▽ More If $L$ is a classical link then the multivariate Alexander quandle, $Q_A(L)$, is a substructure of the multivariate Alexander module, $M_A(L)$. In the first paper of this series we showed that if two links $L$ and $L'$ have $Q_A(L) \cong Q_A(L')$, then after an appropriate re-indexing of the components of $L$ and $L'$, there will be a module isomorphism $M_A(L) \cong M_A(L')$ of a particular type, which we call a"Crowell equivalence." In the present paper we show that $Q_A(L)$ (up to quandle isomorphism) is a strictly stronger link invariant than $M_A(L)$ (up to re-indexing and Crowell equivalence). This result follows from the fact that $Q_A(L)$ determines the $Q_A$ quandles of all the sublinks of $L$, up to quandle isomorphisms. △ Less

Submitted 11 November, 2019; v1 submitted 20 May, 2019; originally announced May 2019.

Comments: v1: 15 pages, 4 figures. v2: minor edits. v3: 16 pages, 4 figures. minor edits. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

Multivariate Alexander quandles, II. The involutory medial quandle of a link (corrected)

Authors: Lorenzo Traldi

Abstract: 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 th… ▽ More 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')$. △ Less

Submitted 31 December, 2020; v1 submitted 27 February, 2019; originally announced February 2019.

Comments: v1: 21 pages, 2 figures. v2: 28 pages, 2 figures. v3: 29 pages, 2 figures. v4: 30 pages, 2 figures. v5: 38 pages, 4 figures. major revision. v6: 38 pages, 4 figures. v7: 38 pages, 4 figures. final prepublication version. v8: 50 pages, 10 figures. major revision, including corrected interpretation of results of Joyce misquoted in v1 - v7. v9: final prepublication version of corrected paper

Multivariate Alexander quandles, I. The module sequence of a link

Authors: Lorenzo Traldi

Abstract: The multivariate Alexander module of a link L has several subsets that admit quandle operations defined using the module operations. One of them, the fundamental multivariate Alexander quandle, determines the link module sequence of L. The multivariate Alexander module of a link L has several subsets that admit quandle operations defined using the module operations. One of them, the fundamental multivariate Alexander quandle, determines the link module sequence of L. △ Less

Submitted 27 May, 2019; v1 submitted 16 November, 2018; originally announced November 2018.

Comments: v1: 17 pages, 4 figures. v2: more details regarding standard Alexander quandles. 21 pages, 6 figures. v3: title changed to reflect sequel. v4: 22 pages, 6 figures. reference to third paper added

MSC Class: 57M25

Goeritz and Seifert Matrices from Dehn Presentations

Authors: Daniel S. Silver, Lorenzo Traldi, Susan G. Williams

Abstract: The Goeritz matrix of a link is obtained from the Jacobian matrix of a modified Dehn presentation associated to a diagram using Fox's free differential calculus. When the diagram is special the Seifert matrix can also be determined from the presentation. The Goeritz matrix of a link is obtained from the Jacobian matrix of a modified Dehn presentation associated to a diagram using Fox's free differential calculus. When the diagram is special the Seifert matrix can also be determined from the presentation. △ Less

Submitted 30 August, 2018; originally announced August 2018.

Comments: 13 pages, 6 figures

Multivariate Alexander colorings

Authors: Lorenzo Traldi

Abstract: We extend the notion of link colorings with values in an Alexander quandle to link colorings with values in a module $M$ over the Laurent polynomial ring $Λ_μ=\mathbb{Z}[t_1^{\pm1},\dots,t_μ^{\pm1}]$. If $D$ is a diagram of a link $L$ with $μ$ components, then the colorings of $D$ with values in $M$ form a $Λ_μ$-module $\mathrm{Color}_A(D,M)$. Extending a result of Inoue [Kodai Math.\ J.\ 33 (2010… ▽ More We extend the notion of link colorings with values in an Alexander quandle to link colorings with values in a module $M$ over the Laurent polynomial ring $Λ_μ=\mathbb{Z}[t_1^{\pm1},\dots,t_μ^{\pm1}]$. If $D$ is a diagram of a link $L$ with $μ$ components, then the colorings of $D$ with values in $M$ form a $Λ_μ$-module $\mathrm{Color}_A(D,M)$. Extending a result of Inoue [Kodai Math.\ J.\ 33 (2010), 116-122], we show that $\mathrm{Color}_A(D,M)$ is isomorphic to the module of $Λ_μ$-linear maps from the Alexander module of $L$ to $M$. In particular, suppose $M$ is a field and $\varphi:Λ_μ \to M$ is a homomorphism of rings with unity. Then $\varphi$ defines a $Λ_μ$-module structure on $M$, which we denote $M_\varphi$. We show that the dimension of $\mathrm{Color}_A(D,M_\varphi)$ as a vector space over $M$ is determined by the images under $\varphi$ of the elementary ideals of $L$. This result applies in the special case of Fox tricolorings, which correspond to $M=GF(3)$ and $\varphi(t_i) \equiv-1$. Examples show that even in this special case, the higher Alexander polynomials do not suffice to determine $|\mathrm{Color}_A(D,M_\varphi)|$; this observation corrects erroneous statements of Inoue [J. Knot Theory Ramifications 10 (2001), 813-821; op. cit.]. △ Less

Submitted 3 September, 2018; v1 submitted 6 May, 2018; originally announced May 2018.

Comments: v1: 11 pages, 3 figures. v2: 13 pages, 4 figures. v3: 13 pages, 4 figures. v4: 14 pages, 4 figures. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

MSC Class: 57M25

Journal ref: Journal of Knot Theory and its Ramifications 27 (2018), article 1850076

A note on Dehn colorings and invariant factors

Authors: Derek A. Smith, Lorenzo Traldi, William Watkins

Abstract: If $A$ is an abelian group and $φ$ is an integer, let $A(φ)$ be the subgroup of $A$ consisting of elements $a \in A$ such that $φ\cdot a=0$. We prove that if $D$ is a diagram of a classical link $L$ and $0=φ_0,φ_1,\dots,φ_{n-1}$ are the invariant factors of an adjusted Goeritz matrix of $D$, then the group $\mathcal{D}_{A}(D)$ of Dehn colorings of $D$ with values in $A$ is isomorphic to the direct… ▽ More If $A$ is an abelian group and $φ$ is an integer, let $A(φ)$ be the subgroup of $A$ consisting of elements $a \in A$ such that $φ\cdot a=0$. We prove that if $D$ is a diagram of a classical link $L$ and $0=φ_0,φ_1,\dots,φ_{n-1}$ are the invariant factors of an adjusted Goeritz matrix of $D$, then the group $\mathcal{D}_{A}(D)$ of Dehn colorings of $D$ with values in $A$ is isomorphic to the direct product of $A$ and $A=A(φ_{0}),A(φ_1),\dots,A(φ_{n-1})$. It follows that the Dehn coloring groups of $L$ are isomorphic to those of a connected sum of torus links $T_{(2,φ_1)} \text{ }\# \text{ } \cdots \text{ } \# \text{ } T_{(2,φ_{n-1})}$. △ Less

Submitted 3 September, 2018; v1 submitted 8 April, 2018; originally announced April 2018.

Comments: v1: 10 pages, 4 figures. v2: 9 pages, 3 figures. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

MSC Class: 57M25

Journal ref: Journal of Knot Theory and its Ramifications 27 (2018), article 1871003

Link mutations and Goeritz matrices

Authors: Lorenzo Traldi

Abstract: 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. 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. △ Less

Submitted 5 February, 2020; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: v1: 25 pages, 21 figures v2: 25 pages, 21 figures. minor improvements in exposition v3: 25 pages, 21 figures. minor improvements in exposition. v4: 27 pages, 22 figures. several improvements

Planarity, duality and Laplacian congruence

Authors: Derek A. Smith, Lorenzo Traldi, William Watkins

Abstract: We discuss the connections tying Laplacian matrices to abstract duality and planarity of graphs. We discuss the connections tying Laplacian matrices to abstract duality and planarity of graphs. △ Less

Submitted 2 August, 2022; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: v1: 20 pages, 3 figures. v2: 21 pages, 3 figures. minor corrections and improvements. v3: 23 pages, 3 figures. final prepublication version

Journal ref: Journal of Combinatorial Mathematics and Combinatorial Computing 113 (2020), 299-321

A Characterization of Circle Graphs in Terms of Multimatroid Representations

Authors: Robert Brijder, Lorenzo Traldi

Abstract: 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)]$… ▽ More 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. △ Less

Submitted 19 September, 2019; v1 submitted 17 March, 2017; originally announced March 2017.

Comments: 35 pages, 4 figures

Journal ref: Electron. J. Combin. 27 (2020), #P1.25

Link colorings and the Goeritz matrix

Authors: Lorenzo Traldi

Abstract: We discuss the connection between colorings of a link diagram and the Goeritz matrix. We discuss the connection between colorings of a link diagram and the Goeritz matrix. △ Less

Submitted 8 June, 2017; v1 submitted 16 January, 2017; originally announced January 2017.

Comments: v1: 16 pages, 6 figures. v2: minor corrections and improvements. 18 pages, 7 figures. v3: 19 pages, 7 figures. v4: 19 pages, 7 figures. Final prepublication version. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

Journal ref: Journal of Knot Theory and Its Ramifications Vol. 26, No. 8 (2017) 1750045 (19 pages)

Circuit partitions and signed interlacement in 4-regular graphs

Authors: Lorenzo Traldi

Abstract: Let $F$ be a 4-regular graph. Each circuit partition $P$ of $F$ has a corresponding touch-graph $Tch(P)$; the circuits in $P$ correspond to vertices of $Tch(P)$, and the vertices of $F$ correspond to edges of $Tch(P)$. We discuss the connection between modified versions of the interlacement matrix of an Euler system of $F$ and the cycle space of $Tch(P)$, over $GF(2)$ and $\mathbb{R}$. Let $F$ be a 4-regular graph. Each circuit partition $P$ of $F$ has a corresponding touch-graph $Tch(P)$; the circuits in $P$ correspond to vertices of $Tch(P)$, and the vertices of $F$ correspond to edges of $Tch(P)$. We discuss the connection between modified versions of the interlacement matrix of an Euler system of $F$ and the cycle space of $Tch(P)$, over $GF(2)$ and $\mathbb{R}$. △ Less

Submitted 8 May, 2024; v1 submitted 14 July, 2016; originally announced July 2016.

Comments: v1: 26 pages. v2: 26 pages; many small improvements. v3: 27 pages; minor corrections and changes in notation. v4: 28 pages, 3 figures; minor improvements. v5: 28 pages, 3 figures; minor improvements. v6: 28 pages, 3 figures; minor improvements. v7: 28 pages, 3 figures; updated references. v8: 25 pages, 4 figures. Further changes may be made before publication in Contrib. Discrete Math

Isotropic matroids III: Connectivity

Authors: Lorenzo Traldi, Robert Brijder

Abstract: The isotropic matroid $M[IAS(G)]$ of a graph $G$ is a binary matroid, which is equivalent to the isotropic system introduced by Bouchet. In this paper we discuss four notions of connectivity related to isotropic matroids and isotropic systems. We show that the isotropic system connectivity defined by Bouchet is equivalent to vertical connectivity of $M[IAS(G)]$, and if $G$ has at least four vertic… ▽ More The isotropic matroid $M[IAS(G)]$ of a graph $G$ is a binary matroid, which is equivalent to the isotropic system introduced by Bouchet. In this paper we discuss four notions of connectivity related to isotropic matroids and isotropic systems. We show that the isotropic system connectivity defined by Bouchet is equivalent to vertical connectivity of $M[IAS(G)]$, and if $G$ has at least four vertices, then $M[IAS(G)]$ is vertically 5-connected if and only if $G$ is prime (in the sense of Cunningham's split decomposition). We also show that $M[IAS(G)]$ is $3$-connected if and only if $G$ is connected and has neither a pendant vertex nor a pair of twin vertices. Our most interesting theorem is that if $G$ has $n\geq7$ vertices then $M[IAS(G)]$ is not vertically $n$-connected. This abstract-seeming result is equivalent to the more concrete assertion that $G$ is locally equivalent to a graph with a vertex of degree $<\frac{n-1}{2}$. △ Less

Submitted 30 June, 2017; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: 26 pages, 2 figures

MSC Class: 05C31

Journal ref: The Electronic Journal of Combinatorics 24(2), #P2.49 (2017)

Fourientation activities and the Tutte polynomial

Authors: Spencer Backman, Sam Hopkins, Lorenzo Traldi

Abstract: A fourientation of a graph $G$ is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. We may naturally view fourientations as a mixture of subgraphs and graph orientations where unoriented and bioriented edges play the role of absent and present subgraph edges, respectively. Building on work of Backman and Hopkins (2015), we sho… ▽ More A fourientation of a graph $G$ is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. We may naturally view fourientations as a mixture of subgraphs and graph orientations where unoriented and bioriented edges play the role of absent and present subgraph edges, respectively. Building on work of Backman and Hopkins (2015), we show that given a linear order and a reference orientation of the edge set, one can define activities for fourientations of $G$ which allow for a new 12 variable expansion of the Tutte polynomial $T_G$. Our formula specializes to both the Las Vergnas (1984) orientation activites expansion of the Tutte polynomial and the generalized activities expansion of Gordon and Traldi (1990). △ Less

Submitted 3 July, 2017; v1 submitted 6 December, 2015; originally announced December 2015.

Comments: 46 pages, 3 figures

MSC Class: 05C31; 05A19

Journal ref: European Journal of Combinatorics 67, 40-60 (2018)

Notes on a theorem of Naji

Authors: Lorenzo Traldi

Abstract: We present a new proof of an algebraic characterization of circle graphs due to W. Naji. For bipartite graphs, Naji's theorem is equivalent to an algebraic characterization of planar matroids due to J. Geelen and B. Gerards. Naji's theorem also yields an algebraic characterization of permutation graphs. We present a new proof of an algebraic characterization of circle graphs due to W. Naji. For bipartite graphs, Naji's theorem is equivalent to an algebraic characterization of planar matroids due to J. Geelen and B. Gerards. Naji's theorem also yields an algebraic characterization of permutation graphs. △ Less

Submitted 28 January, 2016; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: v1: 22 pages, no figure. v2: minor improvements. 23 pages, no figure v3: minor improvements. 23 pages, no figure v4: substantial improvements reflecting reader's suggestions. 32 pages, no figure

Journal ref: Discrete Math. 340 (2017), 3217-3234

Isotropic matroids II: Circle graphs

Authors: Robert Brijder, Lorenzo Traldi

Abstract: We present several characterizations of circle graphs, which follow from Bouchet's circle graph obstructions theorem. We present several characterizations of circle graphs, which follow from Bouchet's circle graph obstructions theorem. △ Less

Submitted 19 October, 2016; v1 submitted 16 April, 2015; originally announced April 2015.

Comments: 39 pages, 16 figures

MSC Class: 05C31

Journal ref: Electron. J. Combin. 23 (2016) #P4.2

Splitting cubic circle graphs

Authors: Lorenzo Traldi

Abstract: 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. 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. △ Less

Submitted 5 April, 2015; originally announced April 2015.

Comments: 18 pages, 15 figures

Journal ref: Discussiones Mathematicae Graph Theory 36 (2016) 723-741

Isotropic matroids I: Multimatroids and neighborhoods

Authors: Robert Brijder, Lorenzo Traldi

Abstract: 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… ▽ More 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. △ Less

Submitted 19 October, 2016; v1 submitted 15 March, 2015; originally announced March 2015.

Comments: 41 pages, 3 figures

MSC Class: 05C31

Journal ref: Electron. J. Combin. 23 (2016) #P4.1

The transition matroid of a 4-regular graph: an introduction

Authors: Lorenzo Traldi

Abstract: 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. 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. △ Less

Submitted 11 March, 2015; v1 submitted 30 July, 2013; originally announced July 2013.

Comments: v1: 29 pages, 9 figures. v2: minor corrections. v3: 30 pages, 9 figures. v4: 31 pages, 11 figures. v5: 34 pages, 11 figures v6: 42 pages, 19 figures . The definition of balanced mutation is corrected, and the discussion of touch-graphs is expanded. v7: 43 pages, 19 figures. Further changes may be made before publication in the European Journal of Combinatorics

Journal ref: European J. Combinatorics 50 (2015), 180-207

Binary matroids and local complementation

Authors: Lorenzo Traldi

Abstract: 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. 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. △ Less

Submitted 8 November, 2014; v1 submitted 21 January, 2013; originally announced January 2013.

Comments: This article supersedes arXiv:1301.0293. v2: 26 pages, 2 figures. v3 - v5: 31 pages, 2 figures v6: Final prepublication version

MSC Class: 05C50

Journal ref: European Journal of Combinatorics 45 (2015), 21-40

Interlace polynomials and Tutte polynomials

Authors: Lorenzo Traldi

Abstract: 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) 56… ▽ More 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)). △ Less

Submitted 27 January, 2013; v1 submitted 2 January, 2013; originally announced January 2013.

Comments: This article has been superseded by arXiv:1301.4946

MSC Class: 05C50

Interlacement in 4-regular graphs: a new approach using nonsymmetric matrices

Authors: Lorenzo Traldi

Abstract: 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… ▽ More 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. △ Less

Submitted 20 September, 2012; v1 submitted 2 April, 2012; originally announced April 2012.

Comments: v1: 15 pages, 6 figures v2: minor corrections v3: 14 pages, 4 figures. Examples have been replaced with a more detailed discussion of relationship with earlier results

Journal ref: Contributions to Discrete Mathematics 9 (2014), 85-97

The adjacency matroid of a graph

Authors: Robert Brijder, Hendrik Jan Hoogeboom, Lorenzo Traldi

Abstract: 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 matroi… ▽ More 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]. △ Less

Submitted 20 November, 2012; v1 submitted 27 July, 2011; originally announced July 2011.

Comments: v1: 19 pages, 1 figure. v2: 20 pages, 1 figure. v3:29 pages, no figures. v3 includes an account of the relationship between the adjacency matroid of a graph and the delta-matroid of a graph. v4: 30 pages, 1 figure. v5: 31 pages, 1 figure. v6: 38 pages, 3 figures. v6 includes a discussion of the duality between graphic matroids and adjacency matroids of looped circle graphs

Journal ref: Electron. J. Combin. 20 (3) (2013), #P27

On the linear algebra of local complementation

Authors: Lorenzo Traldi

Abstract: 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. 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. △ Less

Submitted 26 June, 2011; v1 submitted 6 January, 2011; originally announced January 2011.

Comments: 22 pages, 5 figures. v2 includes two new results and several minor corrections. v3 includes minor corrections and updated references. v4 has 24 pages and 6 figures; it includes new examples and many modest corrections and revisions. Further revisions may be made before publication in Linear Algebra and its Applications

MSC Class: 05C50

On the interlace polynomials

Authors: Lorenzo Traldi

Abstract: 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; Comb… ▽ More 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. △ Less

Submitted 20 September, 2012; v1 submitted 31 July, 2010; originally announced August 2010.

Comments: v7: 37 pages, 10 figures. Many corrections and improvements have been made since the first version was posted. Further changes may be made before publication in JCTB

MSC Class: 05C50

A bracket polynomial for graphs, IV. Undirected Euler circuits, graph-links and multiply marked graphs

Authors: Lorenzo Traldi

Abstract: 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… ▽ More 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. △ Less

Submitted 1 July, 2010; v1 submitted 8 March, 2010; originally announced March 2010.

Comments: v2: 32 pages, 12 figures. v3: 36 pages, 16 figures. A significant error involving the writhe is corrected in v3. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

MSC Class: 57M25; 05C50

A bracket polynomial for graphs. III. Vertex weights

Authors: Lorenzo Traldi

Abstract: In earlier work the Kauffman bracket polynomial was extended to an invariant of marked graphs, i.e., looped graphs whose vertices have been partitioned into two classes (marked and not marked). The marked-graph bracket polynomial is readily modified to handle graphs with weighted vertices. We present formulas that simplify the computation of this weighted bracket for graphs that contain twin ver… ▽ More In earlier work the Kauffman bracket polynomial was extended to an invariant of marked graphs, i.e., looped graphs whose vertices have been partitioned into two classes (marked and not marked). The marked-graph bracket polynomial is readily modified to handle graphs with weighted vertices. We present formulas that simplify the computation of this weighted bracket for graphs that contain twin vertices or are constructed using graph composition, and we show that graph composition corresponds to the construction of a link diagram from tangles. △ Less

Submitted 16 November, 2009; v1 submitted 29 May, 2009; originally announced May 2009.

Comments: 30 pages, 14 figures. Versions v2 and v3 include corrections, new references to the literature and changes in notation. Further changes may be made before publication in the Journal of Knot Theory and its Ramifications

MSC Class: 57M25; 05C50

Binary nullity, Euler circuits and interlace polynomials

Authors: Lorenzo Traldi

Abstract: A theorem of Cohn and Lempel [J. Combin. Theory Ser. A 13 (1972), 83-89] gives an equality relating the number of circuits in a directed circuit partition of a 2-in, 2-out digraph to the GF(2)-nullity of an associated matrix. This equality is essentially equivalent to the relationship between directed circuit partitions of 2-in, 2-out digraphs and vertex-nullity interlace polynomials of interlac… ▽ More A theorem of Cohn and Lempel [J. Combin. Theory Ser. A 13 (1972), 83-89] gives an equality relating the number of circuits in a directed circuit partition of a 2-in, 2-out digraph to the GF(2)-nullity of an associated matrix. This equality is essentially equivalent to the relationship between directed circuit partitions of 2-in, 2-out digraphs and vertex-nullity interlace polynomials of interlace graphs. We present an extension of the Cohn-Lempel equality that describes arbitrary circuit partitions in (undirected) 4-regular graphs. The extended equality incorporates topological results that have been of use in knot theory, and it implies that if H is obtained from an interlace graph by attaching loops at some vertices then the vertex-nullity interlace polynomial $q_{N}(H)$ is essentially the generating function for certain circuit partitions of an associated 4-regular graph. △ Less

Submitted 31 December, 2009; v1 submitted 25 March, 2009; originally announced March 2009.

Comments: 8 pages (v1); 10 pages (v2). Further changes may be made before publication in the European Journal of Combinatorics

MSC Class: 05C50

A bracket polynomial for graphs. II. Links, Euler circuits and marked graphs

Authors: Lorenzo Traldi

Abstract: Let $D$ be an oriented classical or virtual link diagram with directed universe $\vec{U}$. Let $C$ denote a set of directed Euler circuits, one in each connected component of $U$. There is then an associated looped interlacement graph $L(D,C)$ whose construction involves very little geometric information about the way $D$ is drawn in the plane; consequently $L(D,C)$ is different from other combi… ▽ More Let $D$ be an oriented classical or virtual link diagram with directed universe $\vec{U}$. Let $C$ denote a set of directed Euler circuits, one in each connected component of $U$. There is then an associated looped interlacement graph $L(D,C)$ whose construction involves very little geometric information about the way $D$ is drawn in the plane; consequently $L(D,C)$ is different from other combinatorial structures associated with classical link diagrams, like the checkerboard graph, which can be difficult to extend to arbitrary virtual links. $L(D,C)$ is determined by three things: the structure of $\vec{U}$ as a 2-in, 2-out digraph, the distinction between crossings that make a positive contribution to the writhe and those that make a negative contribution, and the relationship between $C$ and the directed circuits in $\vec{U}$ arising from the link components; this relationship is indicated by marking the vertices where $C$ does not follow the incident link component(s). We introduce a bracket polynomial for arbitrary marked graphs, defined using either a formula involving matrix nullities or a recursion involving the local complement and pivot operations; the marked-graph bracket of $L(D,C)$ is the same as the Kauffman bracket of $D$. This provides a unified combinatorial description of the Jones polynomial that applies seamlessly to both classical and non-classical virtual links. △ Less

Submitted 4 March, 2009; v1 submitted 11 January, 2009; originally announced January 2009.

Comments: 43 pages, 14 figures. Revisions may be made before publication in the Journal of Knot Theory and its Ramifications

MSC Class: 57M25; 05C50

A bracket polynomial for graphs

Authors: L. Traldi, L. Zulli

Abstract: A knot diagram has an associated looped interlacement graph, obtained from the intersection graph of the Gauss diagram by attaching loops to the vertices that correspond to negative crossings. This construction suggests an extension of the Kauffman bracket to an invariant of looped graphs, and an extension of Reidemeister equivalence to an equivalence relation on looped graphs. The graph bracket… ▽ More A knot diagram has an associated looped interlacement graph, obtained from the intersection graph of the Gauss diagram by attaching loops to the vertices that correspond to negative crossings. This construction suggests an extension of the Kauffman bracket to an invariant of looped graphs, and an extension of Reidemeister equivalence to an equivalence relation on looped graphs. The graph bracket polynomial can be defined recursively using the same pivot and local complementation operations used to define the interlace polynomial, and it gives rise to a graph Jones polynomial that is invariant under the graph Reidemeister moves. △ Less

Submitted 14 January, 2009; v1 submitted 25 August, 2008; originally announced August 2008.

Comments: 26 pages, 10 figures Slight further revisions will be made before publication in the Journal of Knot Theory and its Ramifications

MSC Class: 57M25

Weighted interlace polynomials

Authors: Lorenzo Traldi

Abstract: The interlace polynomials introduced by Arratia, Bollobas and Sorkin extend to invariants of graphs with vertex weights, and these weighted interlace polynomials have several novel properties. One novel property is a version of the fundamental three-term formula q(G)=q(G-a)+q(G^{ab}-b)+((x-1)^{2}-1)q(G^{ab}-a-b) that lacks the last term. It follows that interlace polynomial computations can be r… ▽ More The interlace polynomials introduced by Arratia, Bollobas and Sorkin extend to invariants of graphs with vertex weights, and these weighted interlace polynomials have several novel properties. One novel property is a version of the fundamental three-term formula q(G)=q(G-a)+q(G^{ab}-b)+((x-1)^{2}-1)q(G^{ab}-a-b) that lacks the last term. It follows that interlace polynomial computations can be represented by binary trees rather than mixed binary-ternary trees. Binary computation trees provide a description of $q(G)$ that is analogous to the activities description of the Tutte polynomial. If $G$ is a tree or forest then these "algorithmic activities" are associated with a certain kind of independent set in $G$. Three other novel properties are weighted pendant-twin reductions, which involve removing certain kinds of vertices from a graph and adjusting the weights of the remaining vertices in such a way that the interlace polynomials are unchanged. These reductions allow for smaller computation trees as they eliminate some branches. If a graph can be completely analyzed using pendant-twin reductions then its interlace polynomial can be calculated in polynomial time. An intuitively pleasing property is that graphs which can be constructed through graph substitutions have vertex-weighted interlace polynomials which can be obtained through algebraic substitutions. △ Less

Submitted 30 June, 2009; v1 submitted 13 August, 2008; originally announced August 2008.

Comments: 11 pages (v1); 20 pages (v2); 27 pages (v3); 26 pages (v4). Further changes may be made before publication in Combinatorics, Probability and Computing

MSC Class: 05C50

On the realization of double occurrence words

Authors: Blerta Shtylla, Lorenzo Traldi, Louis Zulli

Abstract: Let S be a double occurrence word, and let M_S be the word's interlacement matrix, regarded as a matrix over GF(2). Gauss addressed the question of which double occurrence words are realizable by generic closed curves in the plane. We reformulate answers given by Rosenstiehl and by de Fraysseix and Ossona de Mendez to give new graph-theoretic and algebraic characterizations of realizable words.… ▽ More Let S be a double occurrence word, and let M_S be the word's interlacement matrix, regarded as a matrix over GF(2). Gauss addressed the question of which double occurrence words are realizable by generic closed curves in the plane. We reformulate answers given by Rosenstiehl and by de Fraysseix and Ossona de Mendez to give new graph-theoretic and algebraic characterizations of realizable words. Our algebraic characterization is especially pleasing: S is realizable if and only if there exists a diagonal matrix D_S such that M_S+D_S is idempotent over GF(2). △ Less

Submitted 18 September, 2007; originally announced September 2007.

Comments: 4 pages, 1 figure

MSC Class: 05C50; 15A33