arXiv research

New $p$-colorable subgroup derived from Thompson's group.

A {\em balanced} spatial graph has an integer weight on each edge, so that the directed sum of the weights at each vertex is zero. We describe the Alexander module and polynomial for balanced spatial graphs (originally due to Kinoshita \cite{ki}), and examine their behavior under some common operations on the graph. We…

Researchers study chirality in a specific type of torus-covering link.

The paper finds minimum Dehn colors for knots and defines useful graphs for coloring.

We prove the Kauffman-Harary Conjecture, posed in 1999: given a reduced, alternating diagram D of a knot with prime determinant p, every non-trivial Fox p-coloring of D will assign different colors to different arcs.

For each odd prime p, and for each non-split link admitting non-trivial p-colorings, we prove that the maximum number of Fox colors is p. We also prove that we can assemble a non-trivial p-coloring with any number of colors, from the minimum to the maximum number of colors. Furthermore, for any rational link, we prove …

Let $K\subset S^3$ be a Fox $p$-colored knot and assume $K$ bounds a locally flat surface $S\subset B^4$ over which the given $p$-coloring extends. This coloring of $S$ induces a dihedral branched cover $X\to S^4$. Its branching set is a closed surface embedded in $S^4$ locally flatly away from one singularity whose li…

The pair (K,r) consisting of a knot K and a surjective map r from the knot group onto a dihedral group is said to be a p-colored knot. D. Moskovich conjectured that for any odd prime p there are exactly p equivalence classes of p-colored knots up to surgery along unknots in the kernel of the coloring. We show that ther…

We determine p-colorability of the paradromic rings. These rings arise by generalizing the well-known experiment of bisecting a Mobius strip. Instead of joining the ends with a single half twist, use $m$ twists, and, rather than bisecting ($n = 2$), cut the strip into $n$ sections. We call the resulting collection of t…

Kjuchukova's $Ξ_p$ invariant gives a ribbon obstruction for Fox $p$-colored knots. The invariant is derived from dihedral branched covers of 4-manifolds, and is needed to calculate the signatures of these covers, when singularities on the branching sets are present. In this note, we give an algorithm for evaluating $Ξ_…

In 1999, Kauffman-Harary conjectured that every non-trivial Fox $p$-coloring of a reduced, alternating knot diagram with prime determinant $p$ is heterogeneous. Ten years later this conjecture was proved by W. Mattman and P. Solis. Mathew Williamson generalized this conjecture to alternating virtual knots and proved it…

A torus-covering $T^2$-knot is a surface-knot of genus one determined from a pair of commutative braids. For a torus-covering $T^2$-knot $F$, we determine the number of irreducible metabelian $SU(2)$-representations of the knot group of $F$ in terms of the knot determinant of $F$. It is similar to the result due to Lin…

Dihedral linking invariant uses knot colorings to distinguish knots.

The paper proves a generalized Kauffman-Harary conjecture for prime determinant links.

We generalize the notion of biquandles to psyquandles and use these to define invariants of oriented singular links and pseudolinks. In addition to psyquandle counting invariants, we introduce Alexander psyquandles and corresponding invariants such as Alexander psyquandle polynomials and Alexander-Gröbner psyquandle in…

An algorithm determines knot colorability and determinants from petal projections.

Pseudodiagrams are diagrams of knots where some information about which strand goes over/under at certain crossings may be missing. Pseudoknots are equivalence classes of pseudodiagrams, with equivalence defined by a class of Reidemeister-type moves. In this paper, we introduce two natural extensions of classical knot …

The Kauffman-Harary conjecture states that for any reduced alternating diagram K of a knot with a prime determinant p, every non-trivial Fox p-coloring of K assigns different colors to its arcs. We generalize the conjecture by stating it in terms of homology of the double cover of S^3 branched along a link. In this way…

In this paper we first investigate minimal sufficient sets of colors for p=11 and 13. For odd prime p and any p-colorable link L with non-zero determinant, we give alternative proofs of mincol_p L \geq 5 for p \geq 11 and mincol_p L \geq 6 for p \geq 17. We elaborate on equivalence classes of sets of distinct colors (o…

Algorithms compute invariants of 4-manifolds as branched covers.

In this article we present the following new fact for prime p=11. For knots 6_2 and 7_2, mincol_{11} 6_2 = 5 = mincol_{11} 7_2, along with the following feature. There is a pair of diagrams, one for 6_2 and the other one for 7_2, each of them admitting only non-trivial 11-colorings using 5 colors, but neither of them a…

Random walks on braid groups are transient, with specific closure properties for certain braids.

In this paper, we compute the subgroup distortion of all finitely generated subgroups of all finitely generated 3-manifold groups, and the subgroup distortion in this case can only be linear, quadratic, exponential and double exponential. It turns out that the subgroup distortion of a subgroup of a 3-manifold group is …

Regular subgroups of SL3(R) are identified and ruled out.

New knots found with same determinant but no symmetric relation.

Study on braid group quotients by congruence subgroups.

The paper explores geometric finiteness in mapping class groups and constructs new examples of these subgroups.

Proposes a new method for finding non-redundant, standout subgroups in numeric datasets.

Proves Congruence Subgroup Property for two types of groups.

New method constructs non-quasiconvex subgroups in hyperbolic groups.

Characterizes knotted subgroups of Lie groups and provides examples.

Study subgroups of pro-$p$ PD^3 groups, finding specific conditions.

No hyperbolic group can have an infinite chain of free subgroups of fixed rank.

Robust subgroup discovery finds non-redundant, statistically significant subgroups.

Sparse GFA identifies disease factors in FTD subgroups.

Let $N$ be at least 4. We prove that every injective homomorphism from the Torelli subgroup into $Out(F_N)$ differs from the inclusion by a conjugation in $Out(F_N)$. This applies more generally to the following subgroups: every finite-index subgroup of $Out(F_N)$ (recovering a theorem of Farb and Handel); every subgro…

New lattices in higher dimensions have dense surface subgroups.

For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor defined stability and proved stability is equivalent to convex cocompactness in mapping class …

A new algorithm COVA-FC improves subgroup-fair clustering efficiency.

We associate cube complexes called completions to each subgroup of a right-angled Coxeter group (RACG). A completion characterizes many properties of the subgroup such as whether it is quasiconvex, normal, finite-index or torsion-free. We use completions to show that reflection subgroups are quasiconvex, as are one-end…

Study answers arithmeticity question for normal subgroup of lattices.

We show that, in an Artin-Tits group of spherical type, the intersection of two parabolic subgroups is a parabolic subgroup. Moreover, we show that the set of parabolic subgroups forms a lattice with respect to inclusion. This extends to all Artin-Tits groups of spherical type a result that was previously known for bra…

Characterizes groups arising as fixed subgroups of RAAG automorphisms.

Researchers determine the rational abelianization of a subgroup of mapping class groups.

The paper disproves the existence of certain subgroups with nontrivial rational abelianization.

Enhances stability ranges for Torelli and congruence subgroup homologies.

Example found of subgroup not a lattice in product of Lie groups

Study confined subgroups in groups with contracting elements, showing their growth rate is strictly greater than half of the ambient growth rate.