Showing 1–50 of 71 results for author: Motegi, K

Classification of generalized torsion elements of order two in 3-manifold groups

Authors: Keisuke Himeno, Kimihiko Motegi, Masakazu Teragaito

Abstract: Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the identity, then $g$ is called a generalized torsion element. The minimum number of conjugates in such a product is called the order of $g$. We will classify $3$-manifolds $M$, each of whose fundamental group has a generalized torsion element of order two. Furthermore, we will… ▽ More Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the identity, then $g$ is called a generalized torsion element. The minimum number of conjugates in such a product is called the order of $g$. We will classify $3$-manifolds $M$, each of whose fundamental group has a generalized torsion element of order two. Furthermore, we will classify such elements in $π_1(M)$. We also prove that $R$-group and $\overline{R}$-group coincide for $3$-manifold groups, and classify $3$-manifold groups which are $R$-groups (and hence $\overline{R}$-groups). △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 19 pages, 6 figures

MSC Class: 57K10

Tetrahedron equation and Schur functions

Authors: Shinsuke Iwao, Kohei Motegi, Ryo Ohkawa

Abstract: The tetrahedron equation introduced by Zamolodchikov is a three-dimensional generalization of the Yang-Baxter equation. Several types of solutions to the tetrahedron equation that have connections to quantum groups can be viewed as $q$-oscillator valued vertex models with matrix elements of the $L$-operators given by generators of the $q$-oscillator algebra acting on the Fock space. Using one of t… ▽ More The tetrahedron equation introduced by Zamolodchikov is a three-dimensional generalization of the Yang-Baxter equation. Several types of solutions to the tetrahedron equation that have connections to quantum groups can be viewed as $q$-oscillator valued vertex models with matrix elements of the $L$-operators given by generators of the $q$-oscillator algebra acting on the Fock space. Using one of the $q=0$-oscillator valued vertex models introduced by Bazhanov-Sergeev, we introduce a family of partition functions that admits an explicit algebraic presentation using Schur functions. Our construction is based on the three-dimensional realization of the Zamolodchikov-Faddeev algebra provided by Kuniba-Okado-Maruyama. Furthermore, we investigate an inhomogeneous generalization of the three-dimensional lattice model. We show that the inhomogeneous analog of (a certain subclass of) partition functions can be expressed as loop elementary symmetric functions. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Comments: 28 pages, 17 figures

MSC Class: 05E05; 16T25; 82B83

Algebraic formulas and Geometric derivation of Source Identities

Authors: Kohei Motegi, Ryo Ohkawa

Abstract: Source identities are fundamental identities between multivariable special functions. We give a geometric derivation of rational and trigonometric source identities. We also give a systematic derivation and extension of various determinant representations for source functions which appeared in previous literature as well as introducing the elliptic version of the determinants, and obtain identitie… ▽ More Source identities are fundamental identities between multivariable special functions. We give a geometric derivation of rational and trigonometric source identities. We also give a systematic derivation and extension of various determinant representations for source functions which appeared in previous literature as well as introducing the elliptic version of the determinants, and obtain identities between determinants. We also show several symmetrization formulas for the rational version. △ Less

Submitted 11 April, 2024; originally announced April 2024.

The stable crossing number of a twist family of knots and the satellite crossing number conjecture

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: Twisting a given knot $K$ about an unknotted circle $c$ a full $n \in \mathbb{N}$ times, we obtain a "twist family" of knots $\{ K_n \}$. Work of Kouno-Motegi-Shibuya implies that for a non-trivial twist family the crossing numbers $\{c(K_n)\}$ of the knots in a twist family grows unboundedly. However potentially this growth is rather slow and may never become monotonic. Nevertheless, based upon t… ▽ More Twisting a given knot $K$ about an unknotted circle $c$ a full $n \in \mathbb{N}$ times, we obtain a "twist family" of knots $\{ K_n \}$. Work of Kouno-Motegi-Shibuya implies that for a non-trivial twist family the crossing numbers $\{c(K_n)\}$ of the knots in a twist family grows unboundedly. However potentially this growth is rather slow and may never become monotonic. Nevertheless, based upon the apparent diagrams of a twist family of knots, one expects the growth should eventually be linear. Indeed we conjecture that if $η$ is the geometric wrap** number of $K$ about $c$, then the crossing number of $K_n$ grows like $n η(η-1)$ as $n \to \infty$. To formulate this, we introduce the "stable crossing number" of a twist family of knots and establish the conjecture for (i) coherent twist families where the geometric wrap** and algebraic winding of $K$ about $c$ agree and (ii) twist families with wrap** number $2$ subject to an additional condition. Using the lower bound on a knot's crossing number in terms of its genus via Yamada's braiding algorithm, we bound the stable crossing number from below using the growth of the genera of knots in a twist family. (This also prompts a discussion of the "stable braid index".) As an application, we prove that highly twisted satellite knots in a twist family where the companion is twisted as well satisfy the Satellite Crossing Number Conjecture. △ Less

Submitted 8 April, 2024; originally announced April 2024.

MSC Class: 57K10; 57K14

Free fermionic probability theory and K-theoretic Schubert calculus

Authors: Shinsuke Iwao, Kohei Motegi, Travis Scrimshaw

Abstract: For each of the four particle processes given by Dieker and Warren [arXiv:0707.1843], we show the $n$-step transition kernels are given by the (dual) (weak) refined symmetric Grothendieck functions up to a simple overall factor. We do so by encoding the particle dynamics as the basis of free fermions first introduced by the first author, which we translate into deformed Schur operators acting on p… ▽ More For each of the four particle processes given by Dieker and Warren [arXiv:0707.1843], we show the $n$-step transition kernels are given by the (dual) (weak) refined symmetric Grothendieck functions up to a simple overall factor. We do so by encoding the particle dynamics as the basis of free fermions first introduced by the first author, which we translate into deformed Schur operators acting on partitions. We provide a direct combinatorial proof of this relationship in each case, where the defining tableaux naturally describe the particle motions. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: 52 pages, 5 figures, 2 tables

MSC Class: 05E05; 60K35; 14M15; 82B23; 05A19; 60B20

Dehn filling and the knot group I: Realization Property

Authors: Tetsuya Ito, Kimihiko Motegi, Masakazu Teragaito

Abstract: Each $r$--Dehn filling of the exterior $E(K)$ of a knot $K$ in $S^3$ produces a $3$--manifold $K(r)$, and induces an epimorphism from the knot group $G(K) = π_1(E(K))$ to $π_1(K(r))$, which trivializes elements in its kernel. To each element $g \in G(K)$, consider all the non-trivial Dehn fillings and assign $\mathcal{S}_K(g) = \{ r \in \mathbb{Q} \mid \textrm{$r… ▽ More Each $r$--Dehn filling of the exterior $E(K)$ of a knot $K$ in $S^3$ produces a $3$--manifold $K(r)$, and induces an epimorphism from the knot group $G(K) = π_1(E(K))$ to $π_1(K(r))$, which trivializes elements in its kernel. To each element $g \in G(K)$, consider all the non-trivial Dehn fillings and assign $\mathcal{S}_K(g) = \{ r \in \mathbb{Q} \mid \textrm{$r$--Dehn filling trivializes}\ g \}$ $\subset \mathbb{Q}$. {\it Which subsets of $\mathbb{Q}$ can occur as $\mathcal{S}_K(g)$?} Property P concerns this question and gives a fundamental result which asserts that the emptyset can be realized by $\mathcal{S}_K(μ)$ for the meridian $μ$ of $K$. Suppose that $K$ is a hyperbolic knot. Then $\mathcal{S}_K(g)$ is known to be finite for all non-trivial elements $g \in G(K)$. We prove that generically, for instance, if $K$ has no exceptional surgery, then any finite (possibly empty) family of slopes $\mathcal{R} = \{ r_1, . . . , r_n \}$ can be realized by $\mathcal{S}_K(g)$ for some element $g \in G(K)$. Furthermore, there are infinitely many, mutually non-conjugate such elements, each of which is not conjugate to any power of $g$. We also provide an example showing that the above realization property does not hold unconditionally. △ Less

Submitted 15 March, 2024; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 41 pages, 2 figures. v3 focuses on hyperbolic knots and improves main results. The title and exposition are also changed

MSC Class: 57M05; 57K10; 57K30; 57M07; 20F65

Free-fermions and canonical Grothendieck polynomials

Authors: Shinsuke Iwao, Kohei Motegi, Travis Scrimshaw

Abstract: We give a presentation of refined (dual) canonical Grothendieck polynomials and their skew versions using free-fermions. Using this, we derive a number of identities, including the skew Cauchy identities, branching rules, expansion formulas, and integral formulas. We give a presentation of refined (dual) canonical Grothendieck polynomials and their skew versions using free-fermions. Using this, we derive a number of identities, including the skew Cauchy identities, branching rules, expansion formulas, and integral formulas. △ Less

Submitted 2 November, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: 30 pages; v2 corrected typos and other minor changes

MSC Class: 05E05; 82B23; 14M15; 05A19

Yang-Baxter algebra, higher rank partition functions and $K$-theoretic Gysin map for partial flag bundles

Authors: Kohei Motegi

Abstract: We investigate the $K$-theoretic Gysin map for type $A$ partial flag bundles from the viewpoint of integrability. We introduce several types of partition functions for one version of $q=0$ degeneration of $U_q(\widehat{sl_n})$ vertex models on rectangular grids which differ by boundary conditions and sizes, and can be viewed as Grothendieck classes of the Grothendieck group of a nonsingular variet… ▽ More We investigate the $K$-theoretic Gysin map for type $A$ partial flag bundles from the viewpoint of integrability. We introduce several types of partition functions for one version of $q=0$ degeneration of $U_q(\widehat{sl_n})$ vertex models on rectangular grids which differ by boundary conditions and sizes, and can be viewed as Grothendieck classes of the Grothendieck group of a nonsingular variety and partial flag bundles. By deriving multiple commutation relations for the $q=0$ $U_q(\widehat{sl_n})$ Yang-Baxter algebra and combining with the description of the $K$-theoretic Gysin map for partial flag bundles using symmetrizing operators, we show that the $K$-theoretic Gysin map of the first type of partition functions on a rectangular grid is given by the second type whose boundary conditions on one side are reversed from the first type. This generalizes the author's previous result from Grassmann bundles to partial flag bundles. We also discuss the inhomogenous version of the partition functions and applications to the $K$-theoretic Gysin map. △ Less

Submitted 20 October, 2022; v1 submitted 8 October, 2022; originally announced October 2022.

Comments: 28 pages

Generalized torsion, unique root property and Baumslag--Solitar relation for knot groups

Authors: Keisuke Himeno, Kimihiko Motegi, Masakazu Teragaito

Abstract: Let $G$ be a group. If an equation $x^n = y^n$ in $G$ implies $x = y$ for any elements $x$ and $y$, then $G$ is called an $R$--group. It is completely understood which knot groups are $R$--groups. Fay and Walls introduced $\bar{R}$--group in which the normalizer and the centralizer of an isolator of $\langle x \rangle$ coincide for any non-trivial element $x$. It is known that $\bar{R}$--groups an… ▽ More Let $G$ be a group. If an equation $x^n = y^n$ in $G$ implies $x = y$ for any elements $x$ and $y$, then $G$ is called an $R$--group. It is completely understood which knot groups are $R$--groups. Fay and Walls introduced $\bar{R}$--group in which the normalizer and the centralizer of an isolator of $\langle x \rangle$ coincide for any non-trivial element $x$. It is known that $\bar{R}$--groups and $R$--groups share many interesting properties and $\bar{R}$--groups are necessarily $R$--groups. However, in general, the converse does not hold. We will prove that these classes are the same for knot groups. In the course of the proof, we will determine knot groups with generalized torsion of order two. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Comments: 10 pages

MSC Class: 57M05; 57K10; 57M07; 20F19; 20F38; 20F60; 20F65; 06F15

The Strong Slope Conjecture and crossing numbers for Mazur doubles of knots

Authors: Kenneth L. Baker, Kimihiko Motegi, Toshie Takata

Abstract: The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that Mazur doubles of knot… ▽ More The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that Mazur doubles of knots satisfy the Strong Slope Conjecture if the original knot does. Consequently, any knot obtained by a finite sequence of cabling, untwisted w--generalized Whitehead doublings with w > 0, connected sums and Mazur doublings of B--adequate knots or torus knots satisfies the Strong Slope Conjecture. On the other hand, it may be worth mentioning that under these hypotheses, if there exists a knot with a Jones slope less than -1/4, then its Mazur double would either provide a counterexample to the Strong Slope Conjecture or have a Jones surface that is unrelated to any Jones surface of the knot. Following work of Kalfagianni and Lee, we also use our results to show that the Mazur double of an adequate knot K with trivial writhe has crossing number either 9c(K)+2 or 9c(K)+3. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Comments: 47 pages. arXiv admin note: text overlap with arXiv:1811.11673

MSC Class: 57K10; 57K14; 57K16; 57K30

Generalized torsion for hyperbolic $3$--manifold groups with arbitrary large rank

Authors: Tetsuya Ito, Kimihiko Motegi, Masakazu Teragaito

Abstract: Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the trivial element, then $g$ is called a generalized torsion element. To the best of our knowledge, we have no hyperbolic $3$--manifold groups with generalized torsion elements whose rank is explicitly known to be greater than two. The aim of this short note is to demonstrate t… ▽ More Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the trivial element, then $g$ is called a generalized torsion element. To the best of our knowledge, we have no hyperbolic $3$--manifold groups with generalized torsion elements whose rank is explicitly known to be greater than two. The aim of this short note is to demonstrate that for a given integer $n > 1$ there are infinitely many closed hyperbolic $3$--manifolds $M_n$ which enjoy the property: (i) the Heegaard genus of $M_n$ is $n$, (ii) the rank of the fundamental group of $M_n$ is $n$, and (ii) the fundamental group of $M_n$ has a generalized torsion element. Furthermore, we may choose $M_n$ as homology lens spaces and so that the order of the generalized torsion element is arbitrarily large. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Comments: 5 pages, 2 figures

Generalized torsion for knots with arbitrarily high genus

Authors: Kimihiko Motegi, Masakazu Teragaito

Abstract: In a group, a non-trivial element is called a generalized torsion element if some non-empty finite product of its conjugates equals to the identity. We say that a knot has generalized torsion if its knot group admits such an element. For a (2, 2q+1)-torus knot K, we demonstrate that there are infinitely many unknots c such that p-twisting K about c yields a twist family, which consists of hyperbol… ▽ More In a group, a non-trivial element is called a generalized torsion element if some non-empty finite product of its conjugates equals to the identity. We say that a knot has generalized torsion if its knot group admits such an element. For a (2, 2q+1)-torus knot K, we demonstrate that there are infinitely many unknots c such that p-twisting K about c yields a twist family, which consists of hyperbolic knots with generalized torsion whenever |p| > 3. This gives a new infinite class of hyperbolic knots having generalized torsion. In particular, each class contains knots with arbitrarily high genus. We also show that some twisted torus knots, including the (-2, 3, 7)-pretzel knot, have generalized torsion. Since generalized torsion is an obstruction for having bi-order, these knots have non-bi-orderable knot groups. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 14 pages, 14 figures

Refined dual Grothendieck polynomials, integrability, and the Schur measure

Authors: Kohei Motegi, Travis Scrimshaw

Abstract: We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendie… ▽ More We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula. △ Less

Submitted 29 December, 2020; originally announced December 2020.

Comments: 55 pages, 5 tables

MSC Class: 05E05; 82B23; 14M15; 05A19; 60B20

Generalized torsion and Dehn filling

Authors: Tetsuya Ito, Kimihiko Motegi, Masakazu Teragaito

Abstract: A generalized torsion element is a non-trivial element such that some non-empty finite product of its conjugates is the identity. We construct a generalized torsion element of the fundamental group of a 3-manifold obtained by Dehn surgery along a knot in the 3-sphere. A generalized torsion element is a non-trivial element such that some non-empty finite product of its conjugates is the identity. We construct a generalized torsion element of the fundamental group of a 3-manifold obtained by Dehn surgery along a knot in the 3-sphere. △ Less

Submitted 2 September, 2020; v1 submitted 31 August, 2020; originally announced September 2020.

Comments: 15 pages, 9 figures. We fixed the problem in figures

MSC Class: 57K10; 57M05; 20F05

Integrable models and $K$-theoretic pushforward of Grothendieck classes

Authors: Kohei Motegi

Abstract: We show that a multiple commutation relation of the Yang-Baxter algebra of integrable lattice models derived by Shigechi and Uchiyama can be used to connect two types of Grothendieck classes by the $K$-theoretic pushforward from the Grothendieck group of Grassmann bundles to the Grothendieck group of a nonsingular variety. Using the commutation relation, we show that two types of partition functio… ▽ More We show that a multiple commutation relation of the Yang-Baxter algebra of integrable lattice models derived by Shigechi and Uchiyama can be used to connect two types of Grothendieck classes by the $K$-theoretic pushforward from the Grothendieck group of Grassmann bundles to the Grothendieck group of a nonsingular variety. Using the commutation relation, we show that two types of partition functions of an integrable five-vertex model, which can be explicitly described using skew Grothendieck polynomials, and can be viewed as Grothendieck classes, are directly connected by the $K$-theoretic pushforward. We show that special cases of the pushforward formula which correspond to the nonskew version are also special cases of the formulas derived by Buch. We also present a skew generalization of an identity for the Grothendieck polynomials by Guo and Sun, which is an extension of the one for Schur polynomials by Fehér, Némethi and Rimányi. We also show an application of the pushforward formula and derive an integration formula for the Grothendieck polynomials. △ Less

Submitted 3 August, 2021; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: 41 pages

Journal ref: Nuclear Physics B, 971 (2021), 115513

A class of partition functions associated with $E_{τ,η}(gl_3)$ by Izergin-Korepin analysis

Authors: Kohei Motegi

Abstract: Recently, a class of partition functions associated with higher rank rational and trigonometric integrable models were introduced by Foda and Manabe. We use the dynamical $R$-matrix of the elliptic quantum group $E_{τ,η}(gl_3)$ to introduce an elliptic analogue of the partition functions associated with $E_{τ,η}(gl_3)$. We investigate the partition functions of Foda-Manabe type by develo** a nes… ▽ More Recently, a class of partition functions associated with higher rank rational and trigonometric integrable models were introduced by Foda and Manabe. We use the dynamical $R$-matrix of the elliptic quantum group $E_{τ,η}(gl_3)$ to introduce an elliptic analogue of the partition functions associated with $E_{τ,η}(gl_3)$. We investigate the partition functions of Foda-Manabe type by develo** a nested version of the elliptic Izergin-Korepin analysis, and present the explicit forms as symmetrization of multivariable elliptic functions. We show that special cases are essentially the elliptic weights functions introduced in the works by Rimányi-Tarasov-Varchenko, Konno, Felder-Rimányi-Varchenko. △ Less

Submitted 14 February, 2020; v1 submitted 15 September, 2019; originally announced September 2019.

Comments: 36 pages, connections with elliptic weight functions by Rimányi-Tarasov-Varchenko, Konno, Felder-Rimányi-Varchenko added

Journal ref: Journal of Mathematical Physics, 61 (2020), 053507

Integrability approach to Feher-Nemethi-Rimanyi-Guo-Sun type identities for factorial Grothendieck polynomials

Authors: Kohei Motegi

Abstract: Recently, Guo and Sun derived an identity for factorial Grothendieck polynomials which is a generalization of the one for Schur polynomials by Fehér, Némethi and Rimányi. We analyze the identity from the point of view of quantum integrability, based on the correspondence between the wavefunctions of a five-vertex model and the Grothendieck polynomials. We give another proof using the quantum inver… ▽ More Recently, Guo and Sun derived an identity for factorial Grothendieck polynomials which is a generalization of the one for Schur polynomials by Fehér, Némethi and Rimányi. We analyze the identity from the point of view of quantum integrability, based on the correspondence between the wavefunctions of a five-vertex model and the Grothendieck polynomials. We give another proof using the quantum inverse scattering method. We also apply the same idea and technique to derive an identity for factorial Grothendieck polynomials for rectangular Young diagrams. Combining with the Guo-Sun identity, we get a duality formula. We also discuss a $q$-deformation of the Guo-Sun identity. △ Less

Submitted 26 March, 2020; v1 submitted 5 September, 2019; originally announced September 2019.

Comments: 21 pages

Journal ref: Nucl. Phys. B 954 (2020) 114998

A duality formula between elliptic determinants

Authors: Kohei Motegi

Abstract: We prove a duality formula between two elliptic determinants. We present a proof which is a variant of the Izergin-Korepin method which is a method originally introduced to analyze and compute partition functions of integrable lattice models. We prove a duality formula between two elliptic determinants. We present a proof which is a variant of the Izergin-Korepin method which is a method originally introduced to analyze and compute partition functions of integrable lattice models. △ Less

Submitted 4 January, 2019; originally announced January 2019.

Comments: 20 pages

The Strong Slope Conjecture for twisted generalized Whitehead doubles

Authors: Kenneth L. Baker, Kimihiko Motegi, Toshie Takata

Abstract: The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that twisted, generalized… ▽ More The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that twisted, generalized Whitehead doubles of a knot satisfies the Slope Conjecture and the Strong Slope Conjecture if the original knot does. Additionally, we provide a proof that there are Whitehead doubles which are not adequate. △ Less

Submitted 22 October, 2019; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: This version has been accepted for publication in Quantum Topology. We restructured results and presentation to focus on the maximum degree of colored Jones polynomial for improved exposition and clarity. A cancellation error is also corrected. The changes mainly impact sections 1 and 2

MSC Class: 57M25; 57M27

Generalized torsion and decomposition of 3-manifolds

Authors: Tetsuya Ito, Kimihiko Motegi, Masakazu Teragaito

Abstract: A nontrivial element in a group is a generalized torsion element if some nonempty finite product of its conjugates is the identity. We prove that any generalized torsion element in a free product of torsion-free groups is conjugate to a generalized torsion element in some factor group. This implies that the fundamental group of a compact orientable $3$-manifold $M$ has a generalized torsion elemen… ▽ More A nontrivial element in a group is a generalized torsion element if some nonempty finite product of its conjugates is the identity. We prove that any generalized torsion element in a free product of torsion-free groups is conjugate to a generalized torsion element in some factor group. This implies that the fundamental group of a compact orientable $3$-manifold $M$ has a generalized torsion element if and only if the fundamental group of some prime factor of $M$ has a generalized torsion element. On the other hand, we demonstrate that there are infinitely many toroidal $3$-manifolds whose fundamental group has a generalized torsion element, while the fundamental group of each decomposing piece has no such elements. △ Less

Submitted 19 November, 2018; originally announced November 2018.

Comments: 10 pages, 2 Figures

MSC Class: 57M05; 20E06 (Primary)m 06F15; 20F60 (Secondary)

Quantum inverse scattering method and generalizations of symplectic Schur functions and Whittaker functions

Authors: Kohei Motegi, Kazumitsu Sakai, Satoshi Watanabe

Abstract: We introduce generalizations of type $C$ and $B$ ice models which were recently introduced by Ivanov and Brubaker-Bump-Chinta-Gunnells, and study in detail the partition functions of the models by using the quantum inverse scattering method. We compute the explicit forms of the wavefunctions and their duals by using the Izergin-Korepin technique, which can be applied to both models. For type $C$ i… ▽ More We introduce generalizations of type $C$ and $B$ ice models which were recently introduced by Ivanov and Brubaker-Bump-Chinta-Gunnells, and study in detail the partition functions of the models by using the quantum inverse scattering method. We compute the explicit forms of the wavefunctions and their duals by using the Izergin-Korepin technique, which can be applied to both models. For type $C$ ice, we show the wavefunctions are expressed using generalizations of the symplectic Schur functions. This gives a generalization of the correspondence by Ivanov. For type $B$ ice, we prove that the exact expressions of the wavefunctions are given by generalizations of the Whittaker functions introduced by Bump-Friedberg-Hoffstein. The special case is the correspondence conjectured by Brubaker-Bump-Chinta-Gunnells. We also show the factorized forms for the domain wall boundary partition functions for both models. As a consequence of the studies of the partition functions, we obtain dual Cauchy formulas for the generalized symplectic Schur functions and the generalized Whittaker functions. △ Less

Submitted 19 December, 2019; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: 47 pages, references added

Journal ref: J. Geom. Phys. 149 (2020) 103571

The strong slope conjecture for cablings and connected sums

Authors: Kenneth L Baker, Kimihiko Motegi, Toshie Takata

Abstract: We show that, under some technical conditions, the Strong Slope Conjecture proposed by Kalfagianni and Tran is closed under connect sums and cabling. As an application, we establish the Strong Slope Conjecture for graph knots. We show that, under some technical conditions, the Strong Slope Conjecture proposed by Kalfagianni and Tran is closed under connect sums and cabling. As an application, we establish the Strong Slope Conjecture for graph knots. △ Less

Submitted 23 December, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: Title change. Updated terminology, discussions, and proofs

A Unified Framework for Efficient Estimation of General Treatment Models

Authors: Chunrong Ai, Oliver Linton, Kaiji Motegi, Zheng Zhang

Abstract: This paper presents a weighted optimization framework that unifies the binary,multi-valued, continuous, as well as mixture of discrete and continuous treatment, under the unconfounded treatment assignment. With a general loss function, the framework includes the average, quantile and asymmetric least squares causal effect of treatment as special cases. For this general framework, we first derive t… ▽ More This paper presents a weighted optimization framework that unifies the binary,multi-valued, continuous, as well as mixture of discrete and continuous treatment, under the unconfounded treatment assignment. With a general loss function, the framework includes the average, quantile and asymmetric least squares causal effect of treatment as special cases. For this general framework, we first derive the semiparametric efficiency bound for the causal effect of treatment, extending the existing bound results to a wider class of models. We then propose a generalized optimization estimation for the causal effect with weights estimated by solving an expanding set of equations. Under some sufficient conditions, we establish consistency and asymptotic normality of the proposed estimator of the causal effect and show that the estimator attains our semiparametric efficiency bound, thereby extending the existing literature on efficient estimation of causal effect to a wider class of applications. Finally, we discuss etimation of some causal effect functionals such as the treatment effect curve and the average outcome. To evaluate the finite sample performance of the proposed procedure, we conduct a small scale simulation study and find that the proposed estimation has practical value. To illustrate the applicability of the procedure, we revisit the literature on campaign advertise and campaign contributions. Unlike the existing procedures which produce mixed results, we find no evidence of campaign advertise on campaign contribution. △ Less

Submitted 16 August, 2018; v1 submitted 14 August, 2018; originally announced August 2018.

Elliptic free-fermion model with OS boundary and elliptic Pfaffians

Authors: Kohei Motegi

Abstract: We introduce and study a class of partition functions of an elliptic free-fermionic face model. We study the partition functions with a triangular boundary using the off-diagonal $K$-matrix at the boundary (OS boundary), which was introduced by Kuperberg as a class of variants of the domain wall boundary partition functions. We find explicit forms of the partition functions with OS boundary using… ▽ More We introduce and study a class of partition functions of an elliptic free-fermionic face model. We study the partition functions with a triangular boundary using the off-diagonal $K$-matrix at the boundary (OS boundary), which was introduced by Kuperberg as a class of variants of the domain wall boundary partition functions. We find explicit forms of the partition functions with OS boundary using elliptic Pfaffians. We find two expressions based on two versions of Korepin's method, and we obtain an identity between two elliptic Pfaffians as a corollary. △ Less

Submitted 8 October, 2018; v1 submitted 3 June, 2018; originally announced June 2018.

Comments: 23 pages, 8 figures

Journal ref: Lett. Math. Phys. (2019) 109: 923-943

Scalar products of the elliptic Felderhof model and elliptic Cauchy formula

Authors: Kohei Motegi

Abstract: We analyze the scalar products of the elliptic Felderhof model introduced by Foda-Wheeler-Zuparic as an elliptic extension of the trigonometric face-type Felderhof model by Deguchi-Akutsu. We derive the determinant formula for the scalar products by applying the Izergin-Korepin technique developed by Wheeler to investigate the scalar products of integrable lattice models. By combining the determin… ▽ More We analyze the scalar products of the elliptic Felderhof model introduced by Foda-Wheeler-Zuparic as an elliptic extension of the trigonometric face-type Felderhof model by Deguchi-Akutsu. We derive the determinant formula for the scalar products by applying the Izergin-Korepin technique developed by Wheeler to investigate the scalar products of integrable lattice models. By combining the determinant formula for the scalar products with the recently-developed Izergin-Korepin technique to analyze the wavefunctions, we derive a Cauchy formula for elliptic Schur functions. △ Less

Submitted 19 August, 2018; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: 32 pages

Journal ref: Journal of Geometry and Physics 134 (2018) 58-76

Izergin-Korepin analysis on the wavefunctions of the $U_q(sl_2)$ six-vertex model with reflecting end

Authors: Kohei Motegi

Abstract: We extend the recently developed Izergin-Korepin analysis on the wavefunctions of the $U_q(sl_2)$ six-vertex model to the reflecting boundary conditions. Based on the Izergin-Korepin analysis, we determine the exact forms of the symmetric functions which represent the wavefunctions and its dual. Comparison of the symmetric functions with the coordinate Bethe ansatz wavefunctions for the open XXZ c… ▽ More We extend the recently developed Izergin-Korepin analysis on the wavefunctions of the $U_q(sl_2)$ six-vertex model to the reflecting boundary conditions. Based on the Izergin-Korepin analysis, we determine the exact forms of the symmetric functions which represent the wavefunctions and its dual. Comparison of the symmetric functions with the coordinate Bethe ansatz wavefunctions for the open XXZ chain by Alcaraz-Barber-Batchelor-Baxter-Quispel is also made. As an application, we derive algebraic identities for the symmetric functions by combining the results with the determinant formula of the domain wall boundary partition function of the six-vertex model with reflecting end. △ Less

Submitted 24 November, 2018; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: 27 pages, 6 figures

Journal ref: Ann. Inst. Henri Poincare Comb. Phys. Interact. 7, 165-202, 2020

Seifert vs slice genera of knots in twist families and a characterization of braid axes

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n) \to 1$ as $n \to \infty$, then either the winding n… ▽ More Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n) \to 1$ as $n \to \infty$, then either the winding number of $K$ about $c$ is zero or the winding number equals the wrap** number. As a key application, if $\{K_n\}$ or the mirror twist family $\{\overline{K_n}\}$ contains infinitely many tight fibered knots, then the latter must occur. We further develop this to show that $c$ is a braid axis of $K$ if and only if both $\{K_n\}$ and $\{\overline{K_n}\}$ each contain infinitely many tight fibered knots. We also give a necessary and sufficient condition for $\{ K_n \}$ to contain infinitely many L-space knots, and show (modulo a conjecture) that satellite L-space knots are braided satellites. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 34 pages, 12 figures

MSC Class: Primary 57M25; 57M27; Secondary 57R17; 57R58

Nontrivial elements in a knot group which are trivialized by Dehn fillings

Authors: Tetsuya Ito, Kimihiko Motegi, Masakazu Teragaito

Abstract: Let K be a nontrivial knot in the 3-sphere with the exterior E(K), and u in G(K), the fundamental group of E(K), a slope element represented by an essential simple closed curve on the boundary of E(K). Since the normal closure of u in G(K) coincides with that of the inverse of u, and u and its inverse u correspond to a slope r, a rational number or 1/0, we write << r >> = << u >>. The normal closu… ▽ More Let K be a nontrivial knot in the 3-sphere with the exterior E(K), and u in G(K), the fundamental group of E(K), a slope element represented by an essential simple closed curve on the boundary of E(K). Since the normal closure of u in G(K) coincides with that of the inverse of u, and u and its inverse u correspond to a slope r, a rational number or 1/0, we write << r >> = << u >>. The normal closure << u >> describes elements which are trivialized by r-Dehn filling of E(K). In this article, we prove that << r_1 >> =<< r_2 >> if and only if r_1 = r_2, and for a given finite family of slopes S = {r_1, ..., r_n}, the intersection of << r_1 >> , << r_2>>, ..., and << r_n >> contains infinitely many elements except when K is a (p, q)-torus knot and pq belongs to S. We also investigate inclusion relation among normal closures of slope elements. △ Less

Submitted 23 March, 2019; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: 22 pages, 1 figure, the title is changed, accepted for publication by Int. Math. Res. Not. IMRN

MSC Class: Primary 57M25; 57M05; Secondary 20F05

Elliptic supersymmetric integrable model and multivariable elliptic functions

Authors: Kohei Motegi

Abstract: We investigate the elliptic integrable model introduced by Deguchi and Martin, which is an elliptic extension of the Perk-Schultz model. We introduce and study a class of partition functions of the elliptic model by using the Izergin-Korepin analysis. We show that the partition functions are expressed as a product of elliptic factors and elliptic Schur-type symmetric functions. This result resembl… ▽ More We investigate the elliptic integrable model introduced by Deguchi and Martin, which is an elliptic extension of the Perk-Schultz model. We introduce and study a class of partition functions of the elliptic model by using the Izergin-Korepin analysis. We show that the partition functions are expressed as a product of elliptic factors and elliptic Schur-type symmetric functions. This result resembles the recent works by number theorists in which the correspondence between the partition functions of trigonometric models and the product of the deformed Vandermonde determinant and Schur functions were established. △ Less

Submitted 25 October, 2017; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: 27 pages, 9 figures

Journal ref: Prog. Theor. Exp. Phys. 2017, 123A01

Izergin-Korepin analysis on the projected wavefunctions of the generalized free-fermion model

Authors: Kohei Motegi

Abstract: We apply the Izergin-Korepin analysis to the study of the projected wavefunctions of the generalized free-fermion model. We introduce a generalization of the $L$-operator of the six-vertex model by Bump-Brubaker-Friedberg and Bump-McNamara-Nakasuji. We make the Izergin-Korepin analysis to characterize the projected wavefunctions and show that they can be expressed as a product of factors and certa… ▽ More We apply the Izergin-Korepin analysis to the study of the projected wavefunctions of the generalized free-fermion model. We introduce a generalization of the $L$-operator of the six-vertex model by Bump-Brubaker-Friedberg and Bump-McNamara-Nakasuji. We make the Izergin-Korepin analysis to characterize the projected wavefunctions and show that they can be expressed as a product of factors and certain symmetric functions which generalizes the factorial Schur functions. This result can be seen as a generalization of the Tokuyama formula for the factorial Schur functions. △ Less

Submitted 20 June, 2017; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: 18 pages, 3 figures

Journal ref: Advances in Mathematical Physics, Volume 2017 (2017), Article ID 7563781

Symmetric functions and wavefunctions of the six-vertex model by Izergin-Korepin analysis

Authors: Kohei Motegi

Abstract: We analyze wavefunctions of the six-vertex model by extending the Izergin-Korepin analysis on the domain wall boundary partition functions. We particularly focus on the case with triangular boundary. By using the $U_q(sl_2)$ $R$-matrix and a special class of the triangular $K$-matrix, we first introduce an analogue of the wavefunctions of the integrable six-vertex model with triangular boundary. W… ▽ More We analyze wavefunctions of the six-vertex model by extending the Izergin-Korepin analysis on the domain wall boundary partition functions. We particularly focus on the case with triangular boundary. By using the $U_q(sl_2)$ $R$-matrix and a special class of the triangular $K$-matrix, we first introduce an analogue of the wavefunctions of the integrable six-vertex model with triangular boundary. We first give a characterization of the wavefunctions by extending our recent work of the Izergin-Korepin analysis of the domain wall boundary partition function with triangular boundary, and then determine the explicit form of the symmetric functions representing the wavefunctions by showing that it satisfies all the required properties. We also illustrate the Izergin-Korepin analysis for the case of ordinary wavefunctions as it is the basic case. △ Less

Submitted 28 March, 2017; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: v2, 31 pages, 14 figures, contents enlarged and title changed. arXiv admin note: text overlap with arXiv:1703.06250

Domain wall boundary partition function of the six-vertex model with triangular boundary

Authors: Kohei Motegi

Abstract: We introduce and study the domain wall boundary partition function of the integrable six-vertex model with triangular boundary. We first formulate the domain wall boundary partition function with triangular boundary by using the $U_q(sl_2)$ $R$-matrix and a special class of the triangular $K$-matrix. By using its graphical representation, we make the Izergin-Korepin analysis with the help of the Y… ▽ More We introduce and study the domain wall boundary partition function of the integrable six-vertex model with triangular boundary. We first formulate the domain wall boundary partition function with triangular boundary by using the $U_q(sl_2)$ $R$-matrix and a special class of the triangular $K$-matrix. By using its graphical representation, we make the Izergin-Korepin analysis with the help of the Yang-Baxter relation and the reflection equation to give a characterization of the partition function. The explict form of the symmetric function representing the partition function is presented by showing that it satisfies all the required properties. △ Less

Submitted 6 June, 2017; v1 submitted 18 March, 2017; originally announced March 2017.

Comments: Superceded by the forthcoming updated version of arXiv:1703.07924

Dual wavefunction of the symplectic ice

Authors: Kohei Motegi

Abstract: The wavefunction of the free-fermion six-vertex model was found to give a natural realization of the Tokuyama combinatorial formula for the Schur polynomials by Bump-Brubaker-Friedberg. Recently, we studied the correspondence between the dual version of the wavefunction and the Schur polynomials, which gave rise to another combinatorial formula. In this paper, we extend the analysis to the reflect… ▽ More The wavefunction of the free-fermion six-vertex model was found to give a natural realization of the Tokuyama combinatorial formula for the Schur polynomials by Bump-Brubaker-Friedberg. Recently, we studied the correspondence between the dual version of the wavefunction and the Schur polynomials, which gave rise to another combinatorial formula. In this paper, we extend the analysis to the reflecting boundary condition, and show the exact correspondence between the dual wavefunction and the symplectic Schur functions. This gives a dual version of the integrable model realization of the symplectic Schur functions by Ivanov. We also generalize to the correspondence between the wavefunction, the dual wavefunction of the six-vertex model and the factorial symplectic Schur functions by the inhomogeneous generalization of the model. △ Less

Submitted 3 March, 2017; originally announced March 2017.

Comments: 31 pages, 12 figures

Journal ref: Reports on Mathematical Physics 80 (2017) 391-414

Generalized torsion elements and bi-orderability of 3-manifold groups

Authors: Kimihiko Motegi, Masakazu Teragaito

Abstract: It is known that a bi-orderable group has no generalized torsion element, but the converse does not hold in general. We conjecture that the converse holds for the fundamental groups of 3-manifolds, and verify the conjecture for non-hyperbolic, geometric 3-manifolds. We also confirm the conjecture for some infinite families of closed hyperbolic 3-manifolds. In the course of the proof, we prove that… ▽ More It is known that a bi-orderable group has no generalized torsion element, but the converse does not hold in general. We conjecture that the converse holds for the fundamental groups of 3-manifolds, and verify the conjecture for non-hyperbolic, geometric 3-manifolds. We also confirm the conjecture for some infinite families of closed hyperbolic 3-manifolds. In the course of the proof, we prove that each standard generator of the Fibonacci group F(2,m) (m>2) is a generalized torsion element. △ Less

Submitted 14 September, 2016; v1 submitted 29 August, 2016; originally announced August 2016.

Comments: 14 pages, no figure

MSC Class: 57M25; 57M05; 06F15; 20F05; 20F60

Journal ref: Can. Math. Bull. 60 (2017) 830-844

Combinatorial properties of symmetric polynomials from integrable vertex models in finite lattice

Authors: Kohei Motegi

Abstract: We introduce and study several combinatorial properties of a class of symmetric polynomials from the point of view of integrable vertex models in finite lattice. We introduce the $L$-operator related with the $U_q(sl_2)$ $R$-matrix, and construct the wavefunctions and their duals. We prove the exact correspondence between the wavefunctions and symmetric polynomials which is a quantum group deforma… ▽ More We introduce and study several combinatorial properties of a class of symmetric polynomials from the point of view of integrable vertex models in finite lattice. We introduce the $L$-operator related with the $U_q(sl_2)$ $R$-matrix, and construct the wavefunctions and their duals. We prove the exact correspondence between the wavefunctions and symmetric polynomials which is a quantum group deformation of the Grothendieck polynomials. This is proved by combining the matrix product method and an analysis on the domain wall boundary partition functions. As applications of the correspondence between the wavefunctions and symmetric polynomials, we derive several properties of the symmetric polynomials such as the determinant pairing formulas and the branching formulas by analyzing the domain wall boundary partition functions and the matrix elements of the $B$-operators. △ Less

Submitted 17 September, 2017; v1 submitted 7 August, 2016; originally announced August 2016.

Comments: 34 pages, 12 figures

Journal ref: Journal of Mathematical Physics 58, 091703 (2017)

Dual wavefunction of the Felderhof model

Authors: Kohei Motegi

Abstract: We study the Felderhof free-fermion six-vertex model, whose wavefunction recently turned out to possess rich combinatorial structure of the Schur polynomials. We investigate the dual version of the wavefunction in this paper, which seems to be a harder object to analyze. We evaluate the dual wavefunction in two ways. First, we give the exact correspondence between the dual wavefunction and the Sch… ▽ More We study the Felderhof free-fermion six-vertex model, whose wavefunction recently turned out to possess rich combinatorial structure of the Schur polynomials. We investigate the dual version of the wavefunction in this paper, which seems to be a harder object to analyze. We evaluate the dual wavefunction in two ways. First, we give the exact correspondence between the dual wavefunction and the Schur polynomials, for which two proofs are given. Next, we make a microscopic analysis and express the dual wavefunction in terms of strict Gelfand-Tsetlin pattern. As a consequence of these two ways of evaluation of the dual wavefunction, we obtain a dual version of the Tokuyama combinatorial formula for the Schur polynomials. We also give a generalization of the correspondence between the dual wavefunction of the Felderhof model and the factorial Schur polynomials. △ Less

Submitted 1 July, 2016; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: 27 pages, 7 figures

Journal ref: Lett. Math. Phys. 1235-1263 (107) 2017

A Max-Correlation White Noise Test for Weakly Dependent Time Series

Authors: Jonathan B. Hill, Kaiji Motegi

Abstract: This paper presents a bootstrapped p-value white noise test based on the maximum correlation, for a time series that may be weakly dependent under the null hypothesis. The time series may be prefiltered residuals. The test statistic is a normalized weighted maximum sample correlation, where the maximum lag increases at a rate slower than the sample size. We only require uncorrelatedness under the… ▽ More This paper presents a bootstrapped p-value white noise test based on the maximum correlation, for a time series that may be weakly dependent under the null hypothesis. The time series may be prefiltered residuals. The test statistic is a normalized weighted maximum sample correlation, where the maximum lag increases at a rate slower than the sample size. We only require uncorrelatedness under the null hypothesis, along with a moment contraction dependence property that includes mixing and non-mixing sequences. We show Shao's (2011) dependent wild bootstrap is valid for a much larger class of processes than originally considered. It is also valid for residuals from a general class of parametric models as long as the bootstrap is applied to a first order expansion of the sample correlation. We prove the bootstrap validity without exploiting extreme value theory (standard in the literature) or recent Gaussian approximation theory. Finally, we extend Escanciano and Lobato's (2009) automatic maximum lag selection to our setting with an unbounded choice set, and find it works strikingly well in controlled experiments. Our proposed test achieves accurate size under various white noise null hypotheses and high power under various alternative hypotheses including distant serial dependence. △ Less

Submitted 5 August, 2019; v1 submitted 12 February, 2016; originally announced February 2016.

MSC Class: 62J07; 62F03; 62F40

Journal ref: Econom. Theory 36 (2020) 907-960

Non-characterizing slopes for hyperbolic knots

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: A non-trivial slope $r$ on a knot $K$ in $S^3$ is called a characterizing slope if whenever the result of $r$-surgery on a knot $K'$ is orientation preservingly homeomorphic to the result of $r$-surgery on $K$, then $K'$ is isotopic to $K$. Ni and Zhang ask: for any hyperbolic knot $K$, is a slope $r = p/q$ with $|p| + |q|$ sufficiently large a characterizing slope? In this article we answer this… ▽ More A non-trivial slope $r$ on a knot $K$ in $S^3$ is called a characterizing slope if whenever the result of $r$-surgery on a knot $K'$ is orientation preservingly homeomorphic to the result of $r$-surgery on $K$, then $K'$ is isotopic to $K$. Ni and Zhang ask: for any hyperbolic knot $K$, is a slope $r = p/q$ with $|p| + |q|$ sufficiently large a characterizing slope? In this article we answer this question in the negative by demonstrating that there is a hyperbolic knot $K$ in $S^3$ which has infinitely many non-characterizing slopes. As the simplest known example, the hyperbolic knot $8_6$ has no integral characterizing slopes. △ Less

Submitted 8 January, 2016; originally announced January 2016.

Comments: 13 pages, 7 figures

MSC Class: 57M25

Journal ref: Algebr. Geom. Topol. 18 (2018) 1461-1480

Partition functions of integrable lattice models and combinatorics of symmetric polynomials

Authors: Kohei Motegi, Kazumitsu Sakai, Satoshi Watanabe

Abstract: We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials suc… ▽ More We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic Schur functions. △ Less

Submitted 24 December, 2015; originally announced December 2015.

Comments: 21 pages, submitted to RIMS Kokyuroku Bessatsu

Tight fibered knots and band sums

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: We give a short proof that if a non-trivial band sum of two knots results in a tight fibered knot, then the band sum is a connected sum. In particular, this means that any prime knot obtained by a non-trivial band sum is not tight fibered. Since a positive L-space knot is tight fibered, a non-trivial band sum never yields an L-space knot. Consequently, any knot obtained by a non-trivial band sum c… ▽ More We give a short proof that if a non-trivial band sum of two knots results in a tight fibered knot, then the band sum is a connected sum. In particular, this means that any prime knot obtained by a non-trivial band sum is not tight fibered. Since a positive L-space knot is tight fibered, a non-trivial band sum never yields an L-space knot. Consequently, any knot obtained by a non-trivial band sum cannot admit a finite surgery. For context, we exhibit two examples of non-trivial band sums of tight fibered knots producing prime knots: one is fibered but not tight, and the other is strongly quasipositive but not fibered. △ Less

Submitted 31 August, 2015; originally announced September 2015.

Comments: 8 pages, 6 figures

MSC Class: 57M25; 57M27

Quantum integrable combinatorics of Schur polynomials

Authors: Kohei Motegi, Kazumitsu Sakai

Abstract: We examine and present new combinatorics for the Schur polynomials from the viewpoint of quantum integrability. We introduce and analyze an integrable six-vertex model which can be viewed as a certain degeneration model from a t-deformed boson model. By a detailed analysis of the wavefunction from the quantum inverse scattering method, we present a novel combinatorial formula which expresses the S… ▽ More We examine and present new combinatorics for the Schur polynomials from the viewpoint of quantum integrability. We introduce and analyze an integrable six-vertex model which can be viewed as a certain degeneration model from a t-deformed boson model. By a detailed analysis of the wavefunction from the quantum inverse scattering method, we present a novel combinatorial formula which expresses the Schur polynomials by using an additional parameter, which is in the same sense but different from the Tokuyama formula. We also give an algebraic analytic proof for the Cauchy identity and make applications of the domain wall boundary partition functions to the enumeration of alternating sign matrices. △ Less

Submitted 24 July, 2015; originally announced July 2015.

Comments: 27 pages

Twist families of L-space knots, their genera, and Seifert surgeries

Authors: Kenneth L. Baker, Kimihiko Motegi

Abstract: Conjecturally, there are only finitely many Heegaard Floer L-space knots in $S^3$ of a given genus. We examine this conjecture for twist families of knots $\{K_n\}$ obtained by twisting a knot $K$ in $S^3$ along an unknot $c$ in terms of the linking number $ω$ between $K$ and $c$. We establish the conjecture in case of $|ω| \neq 1$, prove that $\{K_n\}$ contains at most three L-space knots if… ▽ More Conjecturally, there are only finitely many Heegaard Floer L-space knots in $S^3$ of a given genus. We examine this conjecture for twist families of knots $\{K_n\}$ obtained by twisting a knot $K$ in $S^3$ along an unknot $c$ in terms of the linking number $ω$ between $K$ and $c$. We establish the conjecture in case of $|ω| \neq 1$, prove that $\{K_n\}$ contains at most three L-space knots if $ω= 0$, and address the case where $|ω| = 1$ under an additional hypothesis about Seifert surgeries. To that end, we characterize a twisting circle $c$ for which $\{ (K_n, r_n) \}$ contains at least ten Seifert surgeries. We also pose a few questions about the nature of twist families of L-space knots, their expressions as closures of positive (or negative) braids, and their wrap** about the twisting circle. △ Less

Submitted 28 April, 2017; v1 submitted 14 June, 2015; originally announced June 2015.

Comments: In addition to addressing typos, V2 restructures, expands, and corrects parts of V1 and incorporates comments of referees. Accepted by Comm. Anal. Geom

MSC Class: 57M25; 57M27

The slope conjecture for graph knots

Authors: Kimihiko Motegi, Toshie Takata

Abstract: The slope conjecture proposed by Garoufalidis asserts that the Jones slopes given by the sequence of degrees of the colored Jones polynomials are boundary slopes. We verify the slope conjecture for graph knots, i.e. knots whose Gromov volume vanish. The slope conjecture proposed by Garoufalidis asserts that the Jones slopes given by the sequence of degrees of the colored Jones polynomials are boundary slopes. We verify the slope conjecture for graph knots, i.e. knots whose Gromov volume vanish. △ Less

Submitted 30 January, 2015; v1 submitted 6 January, 2015; originally announced January 2015.

Comments: We found a gap in the proof of Lemma 3.1 in the last version (1501.01105v2). This lemma is replaced by Proposition 3.2 in [Kalfagianni and Tran; Knot cabling and the degree of the colored Jones polynomial (1501.01574v1)]. The title of the paper is also changed

MSC Class: 57M25; 57M27

Hyperbolic, L-space knots and exceptional Dehn surgeries

Authors: Kimihiko Motegi, Kazushige Tohki

Abstract: A knot in the 3-sphere is called an L--space knot if it admits a nontrivial Dehn surgery yielding an L--space. Like torus knots and Berge knots, many L--space knots admit also a Seifert fibered surgery. We give a concrete example of a hyperbolic, L-space knot which has no exceptional surgeries, in particular, no Seifert fibered surgeries. A knot in the 3-sphere is called an L--space knot if it admits a nontrivial Dehn surgery yielding an L--space. Like torus knots and Berge knots, many L--space knots admit also a Seifert fibered surgery. We give a concrete example of a hyperbolic, L-space knot which has no exceptional surgeries, in particular, no Seifert fibered surgeries. △ Less

Submitted 15 October, 2014; originally announced October 2014.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:1202.4211

MSC Class: 57M25; 57M27; 57M50

Nonstandard representations of type C affine Hecke algebra from K-operators

Authors: Kohei Motegi

Abstract: We construct nonstandard finite-dimensional representations of type C affine Hecke algebra from the viewpoint of quantum integrable models. There exists two classes of nonstandard solutions to the Yang-Baxter equation called the Cremmer-Gervais and Jordanian R-matrices. These R-matrices also satisfy the Hecke-relation, thus can be used to construct nonstandard finite-dimensional representations of… ▽ More We construct nonstandard finite-dimensional representations of type C affine Hecke algebra from the viewpoint of quantum integrable models. There exists two classes of nonstandard solutions to the Yang-Baxter equation called the Cremmer-Gervais and Jordanian R-matrices. These R-matrices also satisfy the Hecke-relation, thus can be used to construct nonstandard finite-dimensional representations of type A affine Hecke algebra. We construct the corresponding nonstandard representations for type C affine Hecke algebra by explicitly constructing solutions to the reflection equation under the Hecke relation. We achieve this by taking the finite-dimensional representations and deBaxterizing the K-operators acting on the infinite-dimensional function space, taking advantage of the fact that the Cremmer-Gervais and Jordanian R-matrices can be obtained from the R-operator. △ Less

Submitted 5 July, 2015; v1 submitted 31 August, 2014; originally announced September 2014.

Comments: v2, 22 pages

Journal ref: Lett. Math. Phys. (2015) 105:1165-1192

Seifert fibered surgeries on strongly invertible knots without primitive/Seifert positions

Authors: Mario Eudave-Munoz, Edgar Jasso, Katura Miyazaki, Kimihiko Motegi

Abstract: We find an infinite family of Seifert fibered surgeries on strongly invertible knots which do not have primitive/Seifert positions. Each member of the family is obtained from a trefoil knot after alternate twists along a pair of seiferters for a Seifert fibered surgery on a trefoil knot. We find an infinite family of Seifert fibered surgeries on strongly invertible knots which do not have primitive/Seifert positions. Each member of the family is obtained from a trefoil knot after alternate twists along a pair of seiferters for a Seifert fibered surgery on a trefoil knot. △ Less

Submitted 21 July, 2014; originally announced July 2014.

Comments: To appear in Topology Appl

MSC Class: 57M25; 57M50; 57N10

Neighbors of Seifert surgeries on a trefoil knot in the Seifert Surgery Network

Authors: Arnaud Deruelle, Katura Miyazaki, Kimihiko Motegi

Abstract: A Seifert surgery is a pair (K, m) of a knot K in the 3-sphere and an integer m such that m-Dehn surgery on K results in a Seifert fiber space allowed to contain fibers of index zero. Twisting K along a trivial knot called a seiferter for (K, m) yields Seifert surgeries. We study Seifert surgeries obtained from those on a trefoil knot by twisting along their seiferters. Although Seifert surgeries… ▽ More A Seifert surgery is a pair (K, m) of a knot K in the 3-sphere and an integer m such that m-Dehn surgery on K results in a Seifert fiber space allowed to contain fibers of index zero. Twisting K along a trivial knot called a seiferter for (K, m) yields Seifert surgeries. We study Seifert surgeries obtained from those on a trefoil knot by twisting along their seiferters. Although Seifert surgeries on a trefoil knot are the most basic ones, this family is rich in variety. For any m which is not -2 it contains a successive triple of Seifert surgeries (K, m), (K, m +1), (K, m +2) on a hyperbolic knot K, e.g. 17-, 18-, 19-surgeries on the (-2, 3, 7) pretzel knot. It contains infinitely many Seifert surgeries on strongly invertible hyperbolic knots none of which arises from the primitive/Seifert-fibered construction, e.g. (-1)-surgery on the (3, -3, -3) pretzel knot. △ Less

Submitted 2 July, 2014; originally announced July 2014.

Comments: To appear in Bol. Soc. Mat. Mexicana

MSC Class: 57M25; 57M50; 57N10

L-space surgery and twisting operation

Authors: Kimihiko Motegi

Abstract: A knot in the 3-sphere is called an L-space knot if it admits a nontrivial Dehn surgery yielding an L-space, i.e. a rational homology 3-sphere with the smallest possible Heegaard Floer homology. Given a knot K, take an unknotted circle c and twist K n times along c to obtain a twist family { K_n }. We give a sufficient condition for { K_n } to contain infinitely many L-space knots. As an applicati… ▽ More A knot in the 3-sphere is called an L-space knot if it admits a nontrivial Dehn surgery yielding an L-space, i.e. a rational homology 3-sphere with the smallest possible Heegaard Floer homology. Given a knot K, take an unknotted circle c and twist K n times along c to obtain a twist family { K_n }. We give a sufficient condition for { K_n } to contain infinitely many L-space knots. As an application we show that for each torus knot and each hyperbolic Berge knot K, we can take c so that the twist family { K_n } contains infinitely many hyperbolic L-space knots. We also demonstrate that there is a twist family of hyperbolic L-space knots each member of which has tunnel number greater than one. △ Less

Submitted 16 September, 2015; v1 submitted 26 May, 2014; originally announced May 2014.

Comments: The final version, accepted for publication by Algebr. Geom. Topol

MSC Class: 57M25; 57M27

Journal ref: Algebr. Geom. Topol. 16 (2016) 1727-1772

Networking Seifert Surgeries on Knots III

Authors: Arnaud Deruelle, Katura Miyazaki, Kimihiko Motegi

Abstract: How do Seifert surgeries on hyperbolic knots arise from those on torus knots? We approach this question from a networking viewpoint. The Seifert Surgery Network is a 1-dimensional complex whose vertices correspond to Seifert surgeries; two vertices are connected by an edge if one Seifert surgery is obtained from the other by a single twist along a trivial knot called a seiferter or along an annulu… ▽ More How do Seifert surgeries on hyperbolic knots arise from those on torus knots? We approach this question from a networking viewpoint. The Seifert Surgery Network is a 1-dimensional complex whose vertices correspond to Seifert surgeries; two vertices are connected by an edge if one Seifert surgery is obtained from the other by a single twist along a trivial knot called a seiferter or along an annulus cobounded by seiferters. Successive twists along a "hyperbolic seiferter" or a "hyperbolic annular pair" produce infinitely many Seifert surgeries on hyperbolic knots. In this paper, we investigate Seifert surgeries on torus knots which have hyperbolic seiferters or hyperbolic annular pairs, and obtain results suggesting that such surgeries are restricted. △ Less

Submitted 27 November, 2013; originally announced November 2013.

Comments: To appear in Algebr. Geom. Topol

MSC Class: Primary 57M25; 57M50 Secondary 57N10

Journal ref: Algebr. Geom. Topol. 14 (2014) 2065-2101

K-theoretic boson-fermion correspondence and melting crystals

Authors: Kohei Motegi, Kazumitsu Sakai

Abstract: We study non-Hermitian integrable fermion and boson systems from the perspectives of Grothendieck polynomials. The models considered in this article are the five-vertex model as a fermion system and the non-Hermitian phase model as a boson system. Both of the models are characterized by the different solutions satisfying the same Yang-Baxter relation. From our previous works on the identification… ▽ More We study non-Hermitian integrable fermion and boson systems from the perspectives of Grothendieck polynomials. The models considered in this article are the five-vertex model as a fermion system and the non-Hermitian phase model as a boson system. Both of the models are characterized by the different solutions satisfying the same Yang-Baxter relation. From our previous works on the identification between the wavefunctions of the five-vertex model and Grothendieck polynomials, we introduce skew Grothendieck polynomials, and derive the addition theorem among them. Using these relations, we derive the wavefunctions of the non-Hermitian phase model as a determinant form which can also be expressed as the Grothendieck polynomials. Namely, we establish a K-theoretic boson-fermion correspondence at the level of wavefunctions. As a by-product, the partition function of the statistical mechanical model of a 3D melting crystal is exactly calculated by use of the scalar products of the wavefunctions of the phase model. The resultant expression can be regarded as a K-theoretic generalization of the MacMahon function describing the generating function of the plane partitions, which interpolates the generating functions of two-dimensional and three-dimensional Young diagrams. △ Less

Submitted 9 September, 2014; v1 submitted 23 November, 2013; originally announced November 2013.

Comments: v4, 31 pages, 14 figures

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 445202