SearcharxivSearch

arXiv subjects

David De Wit

Publications and source records attributed to David De Wit.

14 recordsLinked to original sources

Infinitely many two-variable generalisations of the Alexander-Conway polynomial

We show that the Alexander-Conway polynomial Delta is obtainable via a particular one-variable reduction of each two-variable Links-Gould invariant LG^{m,1}, where m is a positive integer. Thus there exist infinitely many two-variable generalisations of Delta. This result is not obvious since in the reduction, the representation of the braid group generator used to define LG^{m,1} does not satisfy a second-order characteristic identity unless m=1. To demonstrate that the one-variable reduction of LG^{m,1} satisfies the defining skein relation of Delta, we evaluate the kernel of a quantum trace.

math.GT

Where the Links--Gould invariant first fails to distinguish nonmutant prime knots

It is known that the first two-variable Links--Gould quantum link invariant $LG\equiv LG^{2,1}$ is more powerful than the HOMFLYPT and Kauffman polynomials, in that it distinguishes all prime knots (including reflections) of up to 10 crossings. Here we report investigations which greatly expand the set of evaluations of $LG$ for prime knots. Through them, we show that the invariant is complete, modulo mutation, for all prime knots (including reflections) of up to 11 crossings, but fails to distinguish some nonmutant pairs of 12-crossing prime knots. As a byproduct, we classify the mutants within the prime knots of 11 and 12 crossings. In parallel, we learn that $LG$ distinguishes the chirality of all chiral prime knots of at most 12 crossings. We then demonstrate that every mutation-insensitive link invariant fails to distinguish the chirality of a number of 14-crossing prime knots. This provides 14-crossing examples of chiral prime knots whose chirality is undistinguished by $LG$.

math.GT

The 2-bridge knots of up to 16 crossings

For any given number of crossings $c$, there exists a formula to determine the number of 2-bridge knots of $c$ crossings, and indeed it is a simple matter to actually construct presentations of these knots. However, the determination of whether a given (prime) knot is a 2-bridge knot remains a nontrivial exercise, and we have no procedure to determine bridge numbers more generally. Herein, we identify the 2-bridge knots within the Hoste--Thistlethwaite--Weeks tables of prime knots of up to 16 crossings by an exhaustive search of a larger set of 2-bridge knots. As the unknot is the only knot with bridge number 1, this yields a lower bound of 3 for the bridge numbers of the remaining knots.

math.GT

Automatic Construction of Explicit R Matrices for the One-Parameter Families of Irreducible Typical Highest Weight (0|α) Representations of U_q[gl(m|n)]

We detail the automatic construction of R matrices corresponding to (the tensor products of) the (0|α) families of highest-weight representations of the quantum superalgebras U_q[gl(m|n)]. These representations are irreducible, contain a free complex parameter α, and are 2^{mn} dimensional. Our R matrices are actually (sparse) rank 4 tensors, containing a total of 2^{4mn} components, each of which is in general an algebraic expression in the two complex variables q and α. Although the constructions are straightforward, we describe them in full here, to fill a perceived gap in the literature. As the algorithms are generally impracticable for manual calculation, we have implemented the entire process in Mathematica; illustrating our results with U_q[gl(3|1)].

math.QA

An Infinite Suite of Links-Gould Invariants

This paper describes a method to obtain state model parameters for an infinite series of Links-Gould link invariants LG^{m,n}, based on quantum R matrices associated with the (\dot{0}_m | \dotα_n) representations of the quantum superalgebras U_q[gl(m|n)]. Explicit details of the state models for the cases n=1 and m=1,2,3,4 are supplied. Some evaluations of the new link invariants are provided, as are some of their gross properties.

math.GT

Link Invariants Associated with Gauge Equivalent Solutions of the Yang-Baxter Equation: the One-Parameter Family of Minimal Typical Representations of U_q[gl(2|1)]

In this paper we investigate the construction of state models for link invariants using representations of the braid group obtained from various gauge choices for a solution of the trigonometric Yang-Baxter equation. Our results show that it is possible to obtain invariants of regular isotopy (as defined by Kauffman) which may not be ambient isotopic. We illustrate our results with explicit computations using solutions of the trigonometric Yang-Baxter equation associated with the one-parameter family of minimal typical representations of the quantum superalgebra U_q[gl(2|1)]. We have implemented Mathematica code to evaluate the invariants for all prime knots up to 10 crossings.

math.GT

Four Easy Pieces - Explicit R Matrices from the (\dot{0}_m|α) Highest Weight Representations of U_q[gl(m|1)]

We provide explicit presentations of members of a suite of R matrices arising from the (\dot{0}_m|α) representations of the quantum superalgebras U_q[gl(m|1)]. Our algorithm constructs both trigonometric and quantum R matrices; all of which are graded, in that they solve a graded Yang-Baxter equation. This grading is easily removed, yielding R matrices that solve the usual Yang-Baxter equation. For m>2, the computations are impracticable for a human to perform, so we have implemented the entire process in Mathematica, and then performed the computations for m=1,2,3 and 4.

math.QA

Partitioning Sparse Graphs using the Second Eigenvector of their Graph Laplacian

Partitioning a graph into three pieces, with two of them large and connected, and the third a small ``separator'' set, is useful for improving the performance of a number of combinatorial algorithms. This is done using the second eigenvector of a matrix defined solely in terms of the incidence matrix, called the graph Laplacian. For sparse graphs, the eigenvector can be efficiently computed using the Lanczos algorithm. This graph partitioning algorithm is extended to provide a complete hierarchical subdivision of the graph. The method has been implemented and numerical results obtained both for simple test problems and for several grid graphs.

math.NA

Gauß Cubature for the Surface of the Unit Sphere

Gauß cubature (multidimensional numerical integration) rules are the natural generalisation of the 1D Gauß rules. They are optimal in the sense that they exactly integrate polynomials of as high a degree as possible for a particular number of points (function evaluations). For smooth integrands, they are accurate, computationally efficient formulae. The construction of the points and weights of a Gauß rule requires the solution of a system of moment equations. In 1D, this system can be converted to a linear system, and a unique solution is obtained, for which the points lie within the region of integration, and the weights are all positive. These properties help ensure numerical stability, and we describe the rules as `good'. In the multidimensional case, the moment equations are nonlinear algebraic equations, and a solution is not guaranteed to even exist, let alone be good. The size and degree of the system grow with the degree of the desired cubature rule. Analytic solution generally becomes impossible as the degree of the polynomial equations to be solved goes beyond 4, and numerical approximations are required. The uncertainty of the existence of solutions, coupled with the size and degree of the system makes the problem daunting for numerical methods. The construction of Gauß rules for (fully symmetric) $n$-dimensional regions is easily specialised to the case of $U_3$, the unit sphere in 3D. Despite the problems described above, for degrees up to 17, good Gauß rules for $U_3$ have been constructed/discovered.

math.NA

Geometrically Graded h-p Quadrature Applied to the Complex Boundary Integral Equation Method for the Dirichlet Problem with Corner Singularities

Boundary integral methods for the solution of boundary value PDEs are an alternative to `interior' methods, such as finite difference and finite element methods. They are attractive on domains with corners, particularly when the solution has singularities at these corners. In these cases, interior methods can become excessively expensive, as they require a finely discretised 2D mesh in the vicinity of corners, whilst boundary integral methods typically require a mesh discretised in only one dimension, that of arc length. Consider the Dirichlet problem. Traditional boundary integral methods applied to problems with corner singularities involve a (real) boundary integral equation with a kernel containing a logarithmic singularity. This is both tedious to code and computationally inefficient. The CBIEM is different in that it involves a complex boundary integral equation with a smooth kernel. The boundary integral equation is approximated using a collocation technique, and the interior solution is then approximated using a discretisation of Cauchy's integral formula, combined with singularity subtraction. A high order quadrature rule is required for the solution of the integral equation. Typical corner singularities are of square root type, and a `geometrically graded h-p' composite quadrature rule is used. This yields efficient, high order solution of the integral equation, and thence the Dirichlet problem. Implementation and experimental results in \textsc{matlab} code are presented.

math.NA

Automatic Evaluation of the Links-Gould Invariant for all Prime Knots of up to 10 Crossings

This paper describes a method for the automatic evaluation of the Links-Gould two-variable polynomial link invariant (LG) for any link, given only a braid presentation. This method is currently feasible for the evaluation of LG for links for which we have a braid presentation of string index at most 5. Data are presented for the invariant, for all prime knots of up to 10 crossings and various other links. LG distinguishes between these links, and also detects the chirality of those that are chiral. In this sense, it is more sensitive than the well-known two-variable HOMFLY and Kauffman polynomials. When applied to examples which defeat the HOMFLY invariant, interestingly, LG `almost' fails. The automatic method is in fact applicable to the evaluation of any such state sum invariant for which an appropriate R matrix and cap and cup matrices have been determined.

math.GT

The Links-Gould Invariant

The ``Links-Gould invariant'' is a two-variable Laurent polynomial invariant of oriented (1,1) tangles, which is derived from the representation of the braid generator associated with the one-parameter family of four dimensional representations with highest weights (0,0|a) of the quantum superalgebra U_q[gl(2|1)]. We use an abstract tensor state model to evaluate the invariant, as per the construction of the bracket polynomial state model used by Louis Kauffman to derive the Jones polynomial. This model facilitates both computation and theoretical exploration. Our family of representations has a two-variable quantum R matrix (unique up to orthogonal transformations). Choosing this R matrix to yield the representation of the braid generator ensures that our polynomial invariant will also have two variables. We construct this R matrix from first principles. We have evaluated the invariant for several critical link examples and numerous other links of special forms. Throughout, the assistance of Mathematica has been invoked. We observe that the Links-Gould invariant is distinct from the two-variable HOMFLY polynomial in that it detects the chirality of some links where the HOMFLY fails. Notably, it does not distinguish inverses, which is not surprising as we are able to demonstrate that no invariant of this type should be able to distinguish between inverses. It also does not distinguish between mutants.

math.GT

The Links-Gould Invariant of Links

We introduce and study in detail an invariant of (1,1) tangles. This invariant, derived from a family of four dimensional representations of the quantum superalgebra U_q[gl(2|1)], will be referred to as the Links-Gould invariant. We find that our invariant is distinct from the Jones, HOMFLY and Kauffman polynomials (detecting chirality of some links where these invariants fail), and that it does not distinguish mutants or inverses. The method of evaluation is based on an abstract tensor state model for the invariant that is quite useful for computation as well as theoretical exploration.

math.GT