Showing 1–47 of 47 results for author: Ishikawa, M

Twist spun knots of twist spun knots of classical knots

Authors: Mizuki Fukuda, Masaharu Ishikawa

Abstract: A $k$-twist spun knot is an $n+1$-dimensional knot in the $n+3$-dimensional sphere which is obtained from an $n$-dimensional knot in the $n+2$-dimensional sphere by applying an operation called a $k$-twist-spinning. This construction was introduced by Zeeman in 1965. In this paper, we show that the $m_2$-twist-spinning of the $m_1$-twist-spinning of a classical knot is a trivial $3$-knot in $S^5$… ▽ More A $k$-twist spun knot is an $n+1$-dimensional knot in the $n+3$-dimensional sphere which is obtained from an $n$-dimensional knot in the $n+2$-dimensional sphere by applying an operation called a $k$-twist-spinning. This construction was introduced by Zeeman in 1965. In this paper, we show that the $m_2$-twist-spinning of the $m_1$-twist-spinning of a classical knot is a trivial $3$-knot in $S^5$ if $\gcd(m_1,m_2)=1$. We also give a sufficient condition for the $m_2$-twist-spinning of the $m_1$-twist-spinning of a classical knot to be non-trivial. △ Less

Submitted 1 September, 2024; originally announced September 2024.

Comments: 9 pages, 3 figures

MSC Class: 57K45 (Primary) 57M05; 57M10; 57M60 (Secondary)

Non-isomorphic Cayley Graphs with Same Random Walk Distributions

Authors: Masao Ishikawa, Fumihiko Nakano, Taizo Sadahiro

Abstract: We construct an infinite family of triples (G,S1, S2) each consisting of a group G and a pair (S1, S2) of distinct subsets of G with the following properties. i The two Cayley graphs Cay(G, S1) and Cay(G,S2) are non-isomorphic. ii The distributions of the simple random walks on Cay(G,S1) and Cay(G,S2) are the same if one takes an appropriate correspondence between the two vertex sets at each step.… ▽ More We construct an infinite family of triples (G,S1, S2) each consisting of a group G and a pair (S1, S2) of distinct subsets of G with the following properties. i The two Cayley graphs Cay(G, S1) and Cay(G,S2) are non-isomorphic. ii The distributions of the simple random walks on Cay(G,S1) and Cay(G,S2) are the same if one takes an appropriate correspondence between the two vertex sets at each step. iii The spectral set of Cay(G, Si) is decomposed into a disjoint union of two subsets A and B_i of the equal size which satisfies B1 = -B2. △ Less

Submitted 6 May, 2025; v1 submitted 3 August, 2024; originally announced August 2024.

MSC Class: 05C81

Atypical values at infinity of real polynomial maps with $2$-dimensional fibers

Authors: Masaharu Ishikawa, Tat-Thang Nguyen

Abstract: We characterize atypical values at infinity of a real polynomial function of three variables by a certain sum of indices of the gradient vector field of the function restricted to a sphere with a sufficiently large radius. This is an analogy of a result of Coste and de la Puente for real polynomial functions with two variables. We also give a characterization of atypical values at infinity of a re… ▽ More We characterize atypical values at infinity of a real polynomial function of three variables by a certain sum of indices of the gradient vector field of the function restricted to a sphere with a sufficiently large radius. This is an analogy of a result of Coste and de la Puente for real polynomial functions with two variables. We also give a characterization of atypical values at infinity of a real polynomial map whose regular fibers are $2$-dimensional surfaces. △ Less

Submitted 10 July, 2024; v1 submitted 19 April, 2024; originally announced April 2024.

Comments: 18 pages, 6 figures

MSC Class: Primary 58K15; Secondary 14D06; 55R10; 58K05

Combinatorial cusp count and clover invariants

Authors: Sebastian Baader, Masaharu Ishikawa

Abstract: We construct efficient topological cobordisms between torus links and large connected sums of trefoil knots. As an application, we show that the signature invariant $σ_ω$ at $ω=ζ_6$ takes essentially minimal values on torus links among all concordance homomorphisms with the same normalisation on the trefoil knot. We construct efficient topological cobordisms between torus links and large connected sums of trefoil knots. As an application, we show that the signature invariant $σ_ω$ at $ω=ζ_6$ takes essentially minimal values on torus links among all concordance homomorphisms with the same normalisation on the trefoil knot. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 10 pages, 2 figures, comments welcome!

MSC Class: 57K10; 14B05

Non-integral boundary slopes of alternating knots

Authors: Masaharu Ishikawa, Thomas W. Mattman, Koya Shimokawa

Abstract: We show, for every positive integer $n$, there is an alternating knot having a boundary slope with denominator $n$. We make use of Kabaya's method for boundary slopes and the layered solid torus construction introduced by Jaco and Rubinstein and further developed by Howie et al. We show, for every positive integer $n$, there is an alternating knot having a boundary slope with denominator $n$. We make use of Kabaya's method for boundary slopes and the layered solid torus construction introduced by Jaco and Rubinstein and further developed by Howie et al. △ Less

Submitted 5 September, 2023; originally announced September 2023.

Comments: 18 pages, 5 figures, 12 tables

MSC Class: Primary: 57K10; Secondary: 57K32

Positive flow-spines and contact 3-manifolds, II

Authors: Ippei Ishii, Masaharu Ishikawa, Yuya Koda, Hironobu Naoe

Abstract: This paper corresponds to Section 8 of arXiv:1912.05774v3 [math.GT]. The contents until Section 7 are published in Annali di Matematica Pura ed Applicata as a separate paper. In that paper, it is proved that for any positive flow-spine P of a closed, oriented 3-manifold M, there exists a unique contact structure supported by P up to isotopy. In particular, this defines a map from the set of isotop… ▽ More This paper corresponds to Section 8 of arXiv:1912.05774v3 [math.GT]. The contents until Section 7 are published in Annali di Matematica Pura ed Applicata as a separate paper. In that paper, it is proved that for any positive flow-spine P of a closed, oriented 3-manifold M, there exists a unique contact structure supported by P up to isotopy. In particular, this defines a map from the set of isotopy classes of positive flow-spines of M to the set of isotopy classes of contact structures on M. In this paper, we show that this map is surjective. As a corollary, we show that any flow-spine can be deformed to a positive flow-spine by applying first and second regular moves successively. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Comments: 17 pages and 22 figures. This paper covers Section 8 of the preprint arXiv:1912.05774v3 [math.GT]. The part until Section 7 is covered in arXiv:1912.05774v4 [math.GT] as a separate paper

MSC Class: 57M50 (Primary) 37C27; 57M25; 57Q15 (Secondary)

Distinguishing 2-knots admitting circle actions by fundamental groups

Authors: Mizuki Fukuda, Masaharu Ishikawa

Abstract: A 2-sphere embedded in the 4-sphere invariant under a circle action is called a branched twist spin. A branched twist spin is constructed from a 1-knot in the 3-sphere and a pair of coprime integers uniquely. In this paper, we study, for each pair of coprime integers, if two different 1-knots yield the same branched twist spin, and prove that such a pair of 1-knots does not exist in most cases. Fu… ▽ More A 2-sphere embedded in the 4-sphere invariant under a circle action is called a branched twist spin. A branched twist spin is constructed from a 1-knot in the 3-sphere and a pair of coprime integers uniquely. In this paper, we study, for each pair of coprime integers, if two different 1-knots yield the same branched twist spin, and prove that such a pair of 1-knots does not exist in most cases. Fundamental groups of 3-orbifolds of cyclic type are obtained as quotient groups of the fundamental groups of the complements of branched twist spins. We use these groups for distinguishing branched twist spins. △ Less

Submitted 27 July, 2024; v1 submitted 13 April, 2023; originally announced April 2023.

Comments: 9 pages

MSC Class: 57Q45 (Primary) 57M05; 57M10; 57M27 (Secondary)

Relative homotopy groups and Serre fibrations for polynomial maps

Authors: Masaharu Ishikawa, Tat Thang Nguyen

Abstract: Let $f$ be a polynomial map from $\mathbb R^m$ to $\mathbb R^n$ with $m>n>0$ and $t_0$ be a regular value of $f$. For a small open ball $D_{t_0}$ centered at $t_0$, we show that the map $f:f^{-1}(D_{t_0})\to D_{t_0}$ is a Serre fibration if and only if $f$ is a Serre fibration over a finite number of certain simple arcs starting at $t_0$. We characterize the fibration… ▽ More Let $f$ be a polynomial map from $\mathbb R^m$ to $\mathbb R^n$ with $m>n>0$ and $t_0$ be a regular value of $f$. For a small open ball $D_{t_0}$ centered at $t_0$, we show that the map $f:f^{-1}(D_{t_0})\to D_{t_0}$ is a Serre fibration if and only if $f$ is a Serre fibration over a finite number of certain simple arcs starting at $t_0$. We characterize the fibration $f:f^{-1}(D_{t_0})\to D_{t_0}$ by relative homotopy groups defined for these arcs and use it to prove the assertion. △ Less

Submitted 7 November, 2023; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: 17 pages, 3 figures

MSC Class: Primary 58K15; Secondary 14D06; 55R10; 58K05

Presentation of the fundamental groups of complements of shadows

Authors: Masaharu Ishikawa, Yuya Koda, Hironobu Naoe

Abstract: A shadowed polyhedron is a simple polyhedron equipped with half integers on regions, called gleams, which represents a compact, oriented, smooth 4-manifold. The polyhedron is embedded in the 4-manifold and it is called a shadow of that manifold. A subpolyhedron of a shadow represents a possibly singular subsurface in the 4-manifold. In this paper, we focus on contractible shadows obtained from the… ▽ More A shadowed polyhedron is a simple polyhedron equipped with half integers on regions, called gleams, which represents a compact, oriented, smooth 4-manifold. The polyhedron is embedded in the 4-manifold and it is called a shadow of that manifold. A subpolyhedron of a shadow represents a possibly singular subsurface in the 4-manifold. In this paper, we focus on contractible shadows obtained from the unit disk by attaching annuli along generically immersed closed curves on the disk. In this case, the 4-manifold is always a 4-ball. Milnor fibers of plane curve singularities and complexified real line arrangements can be represented in this way. We give a presentation of the fundamental group of the complement of a subpolyhedron of such a shadow in the 4-ball. The method is very similar to the Wirtinger presentation of links in knot theory. △ Less

Submitted 10 July, 2022; v1 submitted 5 October, 2021; originally announced October 2021.

Comments: 25 pages, 20 figures

MSC Class: 32S55 (Primary) 32S30; 57M05; 52C35 (Secondary)

Minor summation formula of hyperpfaffians and Selberg integrals

Authors: Masao Ishikawa, Jiang Zeng

Abstract: In the previous paper (J. Combin. Theory Ser. A, 120, 2013, 1263--1284) H. Tagawa and the two authors proposed an algebraic method to compute certain Pfaffians whose form resemble to Hankel determinants associated with moment sequences of the classical orthogonal polynomials. At the end of the paper they offered several conjectures. In this work we employ a completely different method to evaluate… ▽ More In the previous paper (J. Combin. Theory Ser. A, 120, 2013, 1263--1284) H. Tagawa and the two authors proposed an algebraic method to compute certain Pfaffians whose form resemble to Hankel determinants associated with moment sequences of the classical orthogonal polynomials. At the end of the paper they offered several conjectures. In this work we employ a completely different method to evaluate this type of Pfaffians. The idea is to apply certain de Bruijn type formula and convert the evaluation of the Pfaffians to the certain Selberg type integrals. This approach works not only for Pfaffians but also for hyperpfaffians. Hence it enables us to establish much more generalized identities than those conjectured in the previous paper. We also investigate some Pfaffians related to classical $q$-orthogonal polynomials. △ Less

Submitted 20 October, 2022; v1 submitted 22 August, 2020; originally announced August 2020.

S-stable foliations on flow-spines with transverse Reeb flow

Authors: Shin Handa, Masaharu Ishikawa

Abstract: The notion of S-stability of foliations on branched simple polyhedrons is introduced by R. Benedetti and C. Petronio in the study of characteristic foliations of contact structures on 3-manifolds. We additionally assume that the 1-form $β$ defining a foliation on a branched simple polyhedron $P$ satisfies $dβ>0$, which means that the foliation is a characteristic foliation of a contact form whose… ▽ More The notion of S-stability of foliations on branched simple polyhedrons is introduced by R. Benedetti and C. Petronio in the study of characteristic foliations of contact structures on 3-manifolds. We additionally assume that the 1-form $β$ defining a foliation on a branched simple polyhedron $P$ satisfies $dβ>0$, which means that the foliation is a characteristic foliation of a contact form whose Reeb flow is transverse to $P$. In this paper, we show that if there exists a 1-form $β$ on $P$ with $dβ>0$ then we can find a 1-form with the same property and additionally being S-stable. We then prove that the number of simple tangency points of an S-stable foliation on a positive or negative flow-spine is at least 2 and give a recipe for constructing a characteristic foliation of a 1-form $β$ with $dβ>0$ on the abalone. △ Less

Submitted 27 May, 2020; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: 19 pages, 16 figures; Introduction and examples are revised

MSC Class: 57M50 (Primary) 57M20; 57M25 (Secondary)

Positive flow-spines and contact 3-manifolds

Authors: Ippei Ishii, Masaharu Ishikawa, Yuya Koda, Hironobu Naoe

Abstract: A flow-spine of a 3-manifold is a spine admitting a flow that is transverse to the spine, where the flow in the complement of the spine is diffeomorphic to a constant flow in an open ball. We say that a contact structure on a closed, connected, oriented 3-manifold is supported by a flow-spine if it has a contact form whose Reeb flow is a flow of the flow-spine. It is known by Thurston and Winkelnk… ▽ More A flow-spine of a 3-manifold is a spine admitting a flow that is transverse to the spine, where the flow in the complement of the spine is diffeomorphic to a constant flow in an open ball. We say that a contact structure on a closed, connected, oriented 3-manifold is supported by a flow-spine if it has a contact form whose Reeb flow is a flow of the flow-spine. It is known by Thurston and Winkelnkemper that any open book decomposition of a closed oriented 3-manifold supports a contact structure. In this paper, we introduce a notion of positivity for flow-spines and prove that any positive flow-spine of a closed, connected, oriented 3-manifold supports a contact structure uniquely up to isotopy. The positivity condition is critical to the existence of the unique, supported contact structure, which is also proved in the paper. △ Less

Submitted 1 April, 2023; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: Comments: 38 pages and 25 figures. To be published in Annali di Matematica Pura ed Applicata (1923 -). This paper covers until Section 7 of the previous version arXiv:1912.05774v3 [math.GT]. The contents of the remaining sections will be covered in a separate paper

MSC Class: 57M50 (Primary) 37C27; 57M25; 57Q15 (Secondary)

Alternating knots with large boundary slope diameter

Authors: Masaharu Ishikawa, Thomas W. Mattman, Kazuya Namiki, Koya Shimokawa

Abstract: We show that, for an alternating knot, the ratio of the diameter of the set of boundary slopes to the crossing number can be arbitrarily large. We show that, for an alternating knot, the ratio of the diameter of the set of boundary slopes to the crossing number can be arbitrarily large. △ Less

Submitted 19 November, 2019; originally announced November 2019.

Comments: 10 pages, 9 figures

MSC Class: 57M25

Milnor fibration, A'Campo's divide and Turaev's shadow

Authors: Masaharu Ishikawa, Hironobu Naoe

Abstract: We give a method for constructing a shadowed polyhedron from a divide. The 4-manifold reconstructed from a shadowed polyhedron admits the structure of a Lefschetz fibration if it satisfies a certain property, which we call the LF-property. We will show that the shadowed polyhedron constructed from a divide satisfies this property and the Lefschetz fibration of this polyhedron is isomorphic to the… ▽ More We give a method for constructing a shadowed polyhedron from a divide. The 4-manifold reconstructed from a shadowed polyhedron admits the structure of a Lefschetz fibration if it satisfies a certain property, which we call the LF-property. We will show that the shadowed polyhedron constructed from a divide satisfies this property and the Lefschetz fibration of this polyhedron is isomorphic to the Lefschetz fibration of the divide. Furthermore, applying the same technique to certain free divides we will show that the links of those free divides are fibered with positive monodromy. △ Less

Submitted 11 May, 2020; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: 17 pages, 13 figures. Some terminology is changed

MSC Class: 32S55 (Primary) 32S30; 57M20 (Secondary)

Determinant structure for tau-function of holonomic deformation of linear differential equations

Authors: Masao Ishikawa, Toshiyuki Mano, Teruhisa Tsuda

Abstract: In our previous works, a relationship between Hermite's two approximation problems and Schlesinger transformations of linear differential equations has been clarified. In this paper, we study tau-functions associated with holonomic deformations of linear differential equations by using Hermite's two approximation problems. As a result, we present a determinant formula for the ratio of tau-function… ▽ More In our previous works, a relationship between Hermite's two approximation problems and Schlesinger transformations of linear differential equations has been clarified. In this paper, we study tau-functions associated with holonomic deformations of linear differential equations by using Hermite's two approximation problems. As a result, we present a determinant formula for the ratio of tau-functions (tau-quotient). △ Less

Submitted 19 June, 2018; v1 submitted 26 June, 2017; originally announced June 2017.

Comments: 24 pages

Virtual unknotting numbers of certain virtual torus knots

Authors: Masaharu Ishikawa, Hirokazu Yanagi

Abstract: The virtual unknotting number of a virtual knot is the minimal number of crossing changes that makes the virtual knot to be the unknot, which is defined only for virtual knots virtually homotopic to the unknot. We focus on the virtual knot obtained from the standard (p,q)-torus knot diagram by replacing all crossings on one overstrand into virtual crossings and prove that its virtual unknotting nu… ▽ More The virtual unknotting number of a virtual knot is the minimal number of crossing changes that makes the virtual knot to be the unknot, which is defined only for virtual knots virtually homotopic to the unknot. We focus on the virtual knot obtained from the standard (p,q)-torus knot diagram by replacing all crossings on one overstrand into virtual crossings and prove that its virtual unknotting number is equal to the unknotting number of the $(p,q)$-torus knot, i.e. it is (p-1)(q-1)/2. △ Less

Submitted 15 January, 2017; originally announced January 2017.

Comments: 14 pages, 8 figures

MSC Class: Primary 57M25; Secondary 57M27

The bifurcation set of a real polynomial function of two variables and Newton polygons of singularities at infinity

Authors: Masaharu Ishikawa, Tat Thang Nguyen, Tien Son Pham

Abstract: In this paper, we determine the bifurcation set of a real polynomial function of two variables for non-degenerate case in the sense of Newton polygons by using a toric compactification. We also count the number of singular phenomena at infinity, called "cleaving" and "vanishing" in the same setting. Finally, we give an upper bound of the number of elements in the bifurcation set in terms of its Ne… ▽ More In this paper, we determine the bifurcation set of a real polynomial function of two variables for non-degenerate case in the sense of Newton polygons by using a toric compactification. We also count the number of singular phenomena at infinity, called "cleaving" and "vanishing" in the same setting. Finally, we give an upper bound of the number of elements in the bifurcation set in terms of its Newton polygon. To obtain the upper bound, we apply toric modifications to the singularities at infinity successively. △ Less

Submitted 8 August, 2016; originally announced August 2016.

Comments: 22 pages, 9 figures

MSC Class: Primary: 32S20; Secondary: 32S15; 32S30

Construction of spines of two-bridge link complements and upper bounds of their Matveev complexities

Authors: Masaharu Ishikawa, Keisuke Nemoto

Abstract: We give upper bounds of the Matveev complexities of two-bridge link complements by constructing their spines explicitly. In particular, we determine the complexities for an infinite sequence of two-bridge links corresponding to the continued fractions of the form [2,1,...,1,2]. We also give upper bounds for the 3-manifolds obtained as meridian-cyclic branched coverings of the 3-sphere along two-br… ▽ More We give upper bounds of the Matveev complexities of two-bridge link complements by constructing their spines explicitly. In particular, we determine the complexities for an infinite sequence of two-bridge links corresponding to the continued fractions of the form [2,1,...,1,2]. We also give upper bounds for the 3-manifolds obtained as meridian-cyclic branched coverings of the 3-sphere along two-bridge links. △ Less

Submitted 12 March, 2015; originally announced March 2015.

Comments: 14 pages, 11 figures

MSC Class: 57M25; 57M27; 57M50

On linear deformations of Brieskorn singularities of two variables into generic maps

Authors: Kazumasa Inaba, Masaharu Ishikawa, Masayuki Kawashima, Tat Thang Nguyen

Abstract: In this paper, we study deformations of Brieskorn polynomials of two variables obtained by adding linear terms consisting of the conjugates of complex variables and prove that the deformed polynomial maps have only indefinite fold and cusp singularities in general. We then estimate the number of cusps appearing in such a deformation. As a corollary, we show that a deformation of a complex Morse si… ▽ More In this paper, we study deformations of Brieskorn polynomials of two variables obtained by adding linear terms consisting of the conjugates of complex variables and prove that the deformed polynomial maps have only indefinite fold and cusp singularities in general. We then estimate the number of cusps appearing in such a deformation. As a corollary, we show that a deformation of a complex Morse singularity with real linear terms has only indefinite folds and cusps in general and the number of cusps is 3. △ Less

Submitted 11 January, 2016; v1 submitted 30 November, 2014; originally announced December 2014.

Comments: 25 pages, 3 figures

MSC Class: 57R45; 58C27; 14B05

Stable maps and branched shadows of 3-manifolds

Authors: Masaharu Ishikawa, Yuya Koda

Abstract: Turaev's shadow can be seen locally as the Stein factorization of a stable map. In this paper, we define the notion of stable map complexity for a compact orientable 3-manifold bounded by (possibly empty) tori counting, with some weights, the minimal number of singular fibers of codimension 2 of stable maps into the real plane, and prove that this number equals the minimal number of vertices of it… ▽ More Turaev's shadow can be seen locally as the Stein factorization of a stable map. In this paper, we define the notion of stable map complexity for a compact orientable 3-manifold bounded by (possibly empty) tori counting, with some weights, the minimal number of singular fibers of codimension 2 of stable maps into the real plane, and prove that this number equals the minimal number of vertices of its branched shadows. In consequence, we give a complete characterization of hyperbolic links in the 3-sphere whose exteriors have stable map complexity 1 in terms of Dehn surgeries, and also give an observation concerning the coincidence of the stable map complexity and shadow complexity using estimations of hyperbolic volumes. △ Less

Submitted 3 March, 2014; originally announced March 2014.

Comments: 45 pages, 45 figures

MSC Class: 57R45; 57M27; 57N70; 58K15

A one-parameter generalization of Pfaffians

Authors: Theresia Eisenkölbl, Masao Ishikawa, Jiang Zeng

Abstract: In analogy to the definition of the lambda-determinant, we define a one-parameter deformation of the Dodgson condensation formula for Pfaffians. We prove that the resulting rational function is a polynomial with weights given by the crossings and nestings of perfect matchings and prove several identities and closed-form evaluations. In analogy to the definition of the lambda-determinant, we define a one-parameter deformation of the Dodgson condensation formula for Pfaffians. We prove that the resulting rational function is a polynomial with weights given by the crossings and nestings of perfect matchings and prove several identities and closed-form evaluations. △ Less

Submitted 26 November, 2013; originally announced November 2013.

Comments: 12 pages, 6 figures

MSC Class: 05A05 (Primary) 05A19; 05A15 (Secondary)

(q,t)-hook formula for Birds and Banners

Authors: Masao Ishikawa

Abstract: We study Okada's conjecture on $(q,t)$-hook formula of general $d$-complete posets. Proctor classified $d$-complete posets into 15 irreducible ones. We try to give a case-by-case proof of Okada's $(q,t)$-hook formula conjecture using the symmetric functions. Here we give a proof of the conjecture for birds and banners, in which we use Gasper's identity for VWP-series ${}_{12}W_{11}$. We study Okada's conjecture on $(q,t)$-hook formula of general $d$-complete posets. Proctor classified $d$-complete posets into 15 irreducible ones. We try to give a case-by-case proof of Okada's $(q,t)$-hook formula conjecture using the symmetric functions. Here we give a proof of the conjecture for birds and banners, in which we use Gasper's identity for VWP-series ${}_{12}W_{11}$. △ Less

Submitted 8 February, 2013; originally announced February 2013.

Comments: 27 pages, 7 figures. arXiv admin note: text overlap with arXiv:0909.0086, arXiv:0905.4033, arXiv:math/0511333, arXiv:0708.1193 by other authors

A quadratic formula for basic hypergeometric series related to Askey-Wilson polynomials

Authors: Victor J. W. Guo, Masao Ishikawa, Hiroyuki Tagawa, Jiang Zeng

Abstract: We prove a general quadratic formula for basic hypergeometric series, from which simple proofs of several recent determinant and Pfaffian formulas are obtained. A special case of the quadratic formula is actually related to a Gram determinant formula for Askey-Wilson polynomials. We also show how to derive a recent double-sum formula for the moments of Askey-Wilson polynomials from Newton's interp… ▽ More We prove a general quadratic formula for basic hypergeometric series, from which simple proofs of several recent determinant and Pfaffian formulas are obtained. A special case of the quadratic formula is actually related to a Gram determinant formula for Askey-Wilson polynomials. We also show how to derive a recent double-sum formula for the moments of Askey-Wilson polynomials from Newton's interpolation formula. △ Less

Submitted 12 August, 2013; v1 submitted 9 December, 2012; originally announced December 2012.

Comments: 12 pages, to appear in Proceedings of the American Mathmatical Society

MSC Class: Primary 33C45; 33D45; Secondary 05A19

A generalization of the Mehta-Wang determinant and Askey-Wilson polynomials

Authors: Masao Ishikawa, Hiroyuki Tagawa, Jiang Zeng

Abstract: Motivated by the Gaussian symplectic ensemble, Mehta and Wang evaluated the $n$ by $n$ determinant $\det((a+j-i)Γ(b+j+i))$ in 2000. When $a=0$, Ciucu and Krattenthaler computed the associated Pfaffian $\Pf((j-i)Γ(b+j+i))$ with an application to the two dimensional dimer system in 2011. Recently we have generalized the latter Pfaffian formula with a $q$-analogue by replacing the Gamma function by t… ▽ More Motivated by the Gaussian symplectic ensemble, Mehta and Wang evaluated the $n$ by $n$ determinant $\det((a+j-i)Γ(b+j+i))$ in 2000. When $a=0$, Ciucu and Krattenthaler computed the associated Pfaffian $\Pf((j-i)Γ(b+j+i))$ with an application to the two dimensional dimer system in 2011. Recently we have generalized the latter Pfaffian formula with a $q$-analogue by replacing the Gamma function by the moment sequence of the little $q$-Jacobi polynomials. On the other hand, Nishizawa has found a $q$-analogue of the Mehta--Wang formula. Our purpose is to generalize both the Mehta-Wang and Nishizawa formulae by using the moment sequence of the little $q$-Jacobi polynomials. It turns out that the corresponding determinant can be evaluated explicitly in terms of the Askey-Wilson polynomials. △ Less

Submitted 18 October, 2012; originally announced October 2012.

Comments: 25 pages

MSC Class: 05A30

Zeilberger's Holonomic Ansatz for Pfaffians

Authors: Masao Ishikawa, Christoph Koutschan

Abstract: A variation of Zeilberger's holonomic ansatz for symbolic determinant evaluations is proposed which is tailored to deal with Pfaffians. The method is also applicable to determinants of skew-symmetric matrices, for which the original approach does not work. As Zeilberger's approach is based on the Laplace expansion (cofactor expansion) of the determinant, we derive our approach from the cofactor ex… ▽ More A variation of Zeilberger's holonomic ansatz for symbolic determinant evaluations is proposed which is tailored to deal with Pfaffians. The method is also applicable to determinants of skew-symmetric matrices, for which the original approach does not work. As Zeilberger's approach is based on the Laplace expansion (cofactor expansion) of the determinant, we derive our approach from the cofactor expansion of the Pfaffian. To demonstrate the power of our method, we prove, using computer algebra algorithms, some conjectures proposed in the paper "Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants" by Ishikawa, Tagawa, and Zeng. A minor summation formula related to partitions and Motzkin paths follows as a corollary. △ Less

Submitted 16 May, 2012; v1 submitted 25 January, 2012; originally announced January 2012.

Comments: 7 pages, final version for the ISSAC proceedings; Proceedings of ISSAC 2012

ACM Class: G.2.1; G.4

Tangle sums and factorization of A-polynomials

Authors: Masaharu Ishikawa, Thomas W. Mattman, Koya Shimokawa

Abstract: We show that there exist infinitely many examples of pairs of knots, K_1 and K_2, that have no epimorphism $π_1(S^3\setminus K_1) \to π_1(S^3\setminus K_2)$ preserving peripheral structure although their A-polynomials have the factorization $A_{K_2}(L,M) \mid A_{K_1}(L,M)$. Our construction accounts for most of the known factorizations of this form for knots with 10 or fewer crossings. In particul… ▽ More We show that there exist infinitely many examples of pairs of knots, K_1 and K_2, that have no epimorphism $π_1(S^3\setminus K_1) \to π_1(S^3\setminus K_2)$ preserving peripheral structure although their A-polynomials have the factorization $A_{K_2}(L,M) \mid A_{K_1}(L,M)$. Our construction accounts for most of the known factorizations of this form for knots with 10 or fewer crossings. In particular, we conclude that while an epimorphism will lead to a factorization of A-polynomials, the converse generally fails. △ Less

Submitted 13 July, 2011; originally announced July 2011.

Comments: 11 pages, 4 figures

MSC Class: 57M25

A Compound Determinant Identity for Rectangular Matrices

Authors: Masao Ishikawa, Masahiko Ito, Soichi Okada

Abstract: A compound determinant identity for minors of rectangular matrices is established. As an application, we derive Vandermonde type determinant formulae for classical group characters. A compound determinant identity for minors of rectangular matrices is established. As an application, we derive Vandermonde type determinant formulae for classical group characters. △ Less

Submitted 15 June, 2011; originally announced June 2011.

Comments: 22 pages

MSC Class: 15A15 (Primary) 06A07; 05E05; 05E15; 05A17 (Secondary)

Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants

Authors: Masao Ishikawa, Hiroyuki Tagawa, Jiang Zeng

Abstract: Motivated by the Hankel determinant evaluation of moment sequences, we study a kind of Pfaffian analogue evaluation. We prove an LU-decomposition analogue for skew-symmetric matrices, called Pfaffian decomposition. We then apply this formula to evaluate Pfaffians related to some moment sequences of classical orthogonal polynomials. In particular we obtain a product formula for a kind of q-Catalan… ▽ More Motivated by the Hankel determinant evaluation of moment sequences, we study a kind of Pfaffian analogue evaluation. We prove an LU-decomposition analogue for skew-symmetric matrices, called Pfaffian decomposition. We then apply this formula to evaluate Pfaffians related to some moment sequences of classical orthogonal polynomials. In particular we obtain a product formula for a kind of q-Catalan Pfaffians. We also establish a connection between our Pfaffian formulas and certain weighted enumeration of shifted reverse plane partitions. △ Less

Submitted 26 November, 2010; originally announced November 2010.

Comments: 33 pages

A q-analogue of Catalan Hankel determinants

Authors: Masao Ishikawa, Hiroyuki Tagawa, Jiang Zeng

Abstract: In this paper we shall survey the various methods of evaluating Hankel determinants and as an illustration we evaluate some Hankel determinants of a q-analogue of Catalan numbers. Here we consider $\frac{(aq;q)_{n}}{(abq^{2};q)_{n}}$ as a q-analogue of Catalan numbers $C_{n}=\frac1{n+1}\binom{2n}{n}$, which is known as the moments of the little q-Jacobi polynomials. We also give several proofs of… ▽ More In this paper we shall survey the various methods of evaluating Hankel determinants and as an illustration we evaluate some Hankel determinants of a q-analogue of Catalan numbers. Here we consider $\frac{(aq;q)_{n}}{(abq^{2};q)_{n}}$ as a q-analogue of Catalan numbers $C_{n}=\frac1{n+1}\binom{2n}{n}$, which is known as the moments of the little q-Jacobi polynomials. We also give several proofs of this q-analogue, in which we use lattice paths, the orthogonal polynomials, or the basic hypergeometric series. We also consider a q-analogue of Schröder Hankel determinants, and give a new proof of Moztkin Hankel determinants using an addition formula for ${}_2F_{1}$. △ Less

Submitted 12 October, 2010; v1 submitted 10 September, 2010; originally announced September 2010.

Comments: 17 pages

MSC Class: 05A30; 05A10; 05E35; 15E15; 33D15

Journal ref: RIMS Kôkyûroku Bessatsu, B11 (2009), 19--42

Compatible contact structures of fibered positively-twisted graph multilinks in the 3-sphere

Authors: Masaharu Ishikawa

Abstract: We study compatible contact structures of fibered, positively-twisted graph multilinks in the 3-sphere and prove that the contact structure of such a multilink is tight if and only if the orientations of its link components are all consistent with or all opposite to the orientation of the fibers of the Seifert fibrations of that graph multilink. As a corollary, we show that the compatible contact… ▽ More We study compatible contact structures of fibered, positively-twisted graph multilinks in the 3-sphere and prove that the contact structure of such a multilink is tight if and only if the orientations of its link components are all consistent with or all opposite to the orientation of the fibers of the Seifert fibrations of that graph multilink. As a corollary, we show that the compatible contact structures of the Milnor fibrations of real analytic germs of the form (f\bar g,O) are always overtwisted. △ Less

Submitted 23 June, 2010; originally announced June 2010.

Comments: 22 pages, 12 figures

MSC Class: 57M25

Legendrian framings for two-bridge links

Authors: Sebastian Baader, Masaharu Ishikawa

Abstract: We define the Thurston-Bennequin polytope of a two-component link as the convex hull of all pairs of integers that arise as framings of a Legendrian representative. The main result of this paper is a description of the Thurston-Bennequin polytope for two-bridge links. As an application, we construct non-quasipositive surfaces in $\R^3$ all whose sub-annuli are quasipositive. We define the Thurston-Bennequin polytope of a two-component link as the convex hull of all pairs of integers that arise as framings of a Legendrian representative. The main result of this paper is a description of the Thurston-Bennequin polytope for two-bridge links. As an application, we construct non-quasipositive surfaces in $\R^3$ all whose sub-annuli are quasipositive. △ Less

Submitted 2 October, 2009; originally announced October 2009.

Comments: 8 pages, 7 figures

MSC Class: 57M25

Compatible contact structures of fibered Seifert links in homology 3-spheres

Authors: Masaharu Ishikawa

Abstract: We study compatible contact structures of fibered Seifert multilinks in homology 3-spheres and especially give a necessary and sufficient condition for the contact structure to be tight in the case where the Seifert fibration is positively twisted. As a corollary we determine the strongly quasipositivity of fibered Seifert links in the 3-sphere. We also study the compatible contact structures of c… ▽ More We study compatible contact structures of fibered Seifert multilinks in homology 3-spheres and especially give a necessary and sufficient condition for the contact structure to be tight in the case where the Seifert fibration is positively twisted. As a corollary we determine the strongly quasipositivity of fibered Seifert links in the 3-sphere. We also study the compatible contact structures of cablings along links in any 3-manifolds. △ Less

Submitted 29 November, 2010; v1 submitted 5 April, 2009; originally announced April 2009.

Comments: 32 pages, 23 figures

MSC Class: 57M50

Finite surgeries on three-tangle pretzel knots

Authors: D. Futer, M. Ishikawa, Y. Kabaya, T. Mattman, K. Shimokawa

Abstract: We classify Dehn surgeries on (p,q,r) pretzel knots that result in a manifold of finite fundamental group. The only hyperbolic pretzel knots that admit non-trivial finite surgeries are (-2,3,7) and (-2,3,9). Agol and Lackenby's 6-theorem reduces the argument to knots with small indices p,q,r. We treat these using the Culler-Shalen norm of the SL(2,C)-character variety. In particular, we introduc… ▽ More We classify Dehn surgeries on (p,q,r) pretzel knots that result in a manifold of finite fundamental group. The only hyperbolic pretzel knots that admit non-trivial finite surgeries are (-2,3,7) and (-2,3,9). Agol and Lackenby's 6-theorem reduces the argument to knots with small indices p,q,r. We treat these using the Culler-Shalen norm of the SL(2,C)-character variety. In particular, we introduce new techniques for demonstrating that boundary slopes are detected by the character variety. △ Less

Submitted 27 March, 2009; v1 submitted 24 September, 2008; originally announced September 2008.

Comments: 18 pages, 15 figures v2 - minor revisions throughout

MSC Class: 57M25; 57M05; 57M50

Journal ref: Algebr. Geom. Topol. 9 (2009) 743-771

A binomial-coefficient identity arising from the middle discrete series of SU(2,2)

Authors: Takahiro Hayata, Masao Ishikawa

Abstract: The aim of this paper is to give an elementary proof of certain identities on binomials and state an answer to Remark 8.2 in Takahiro Hayata, Harutaka Koseki, and Takayuki Oda, Matrix coefficients of the middle discrete series of SU(2,2), J. Funct. Anal. 185 (2001), 297-341. The aim of this paper is to give an elementary proof of certain identities on binomials and state an answer to Remark 8.2 in Takahiro Hayata, Harutaka Koseki, and Takayuki Oda, Matrix coefficients of the middle discrete series of SU(2,2), J. Funct. Anal. 185 (2001), 297-341. △ Less

Submitted 8 May, 2008; v1 submitted 24 April, 2008; originally announced April 2008.

Comments: 7 pages

MSC Class: 05A10 (Primary); 05A19; 22E40; 33C05 (Secondary)

Legendrian graphs and quasipositive diagrams

Authors: Sebastian Baader, Masaharu Ishikawa

Abstract: In this paper we clarify the relationship between ribbon surfaces of Legendrian graphs and quasipositive diagrams by using certain fence diagrams. As an application, we give an alternative proof of a theorem concerning a relationship between quasipositive fiber surfaces and contact structures on the 3-sphere. We also answer a question of L. Rudolph concerning moves of quasipositive diagrams. In this paper we clarify the relationship between ribbon surfaces of Legendrian graphs and quasipositive diagrams by using certain fence diagrams. As an application, we give an alternative proof of a theorem concerning a relationship between quasipositive fiber surfaces and contact structures on the 3-sphere. We also answer a question of L. Rudolph concerning moves of quasipositive diagrams. △ Less

Submitted 21 September, 2006; originally announced September 2006.

Comments: 17 pages, 19 figures

MSC Class: 57M25

On refined enumerations of totally symmetric self-complementary plane partitions II

Authors: Masao Ishikawa

Abstract: In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. W… ▽ More In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. We also give a determinantal formula for the general conjecture (Conjecture 6), but this determinant is still hard to evaluate. In this paper we introduce two new classes of domino plane partitions, one has the same cardinality as the set of half-turn symmetric alternating sign matrices and the other has the same cardinality as the set of vertically symmetric alternating sign matrices. △ Less

Submitted 6 June, 2006; v1 submitted 3 June, 2006; originally announced June 2006.

Comments: 29 pages

MSC Class: 05A15; 05A17; 05E05; 05E10

Statistics on Ordered Partitions of Sets and q-Stirling Numbers

Authors: Masao Ishikawa, Anisse Kasraoui, Jiang Zeng

Abstract: An ordered partition of [n]:={1,2,..., n} is a sequence of its disjoint subsets whose union is [n]. The number of ordered partitions of [n] with k blocks is k!S(n,k), where S(n,k) is the Stirling number of second kind. In this paper we prove some refinements of this formula by showing that the generating function of some statistics on the set of ordered partitions of [n] with k blocks is a natur… ▽ More An ordered partition of [n]:={1,2,..., n} is a sequence of its disjoint subsets whose union is [n]. The number of ordered partitions of [n] with k blocks is k!S(n,k), where S(n,k) is the Stirling number of second kind. In this paper we prove some refinements of this formula by showing that the generating function of some statistics on the set of ordered partitions of [n] with k blocks is a natural $q$-analogue of k!S(n,k). In particular, we prove several conjectures of Steingrímsson. To this end, we construct a mapping from ordered partitions to walks in some digraphs and then, thanks to transfer-matrix method, we determine the corresponding generating functions by determinantal computations. △ Less

Submitted 6 June, 2006; v1 submitted 15 May, 2006; originally announced May 2006.

Comments: 29 pages

MSC Class: Primary 05A18; Secondary 05A15; 05A30

On refined enumerations of totally symmetric self-complementary plane partitions I

Authors: Masao Ishikawa

Abstract: In this paper we give Pfaffian expressions and constant term identities for the enumeration problems presented by Mills, Robbins and Rumsey (``Self-complementary totally symmetric plane partitions'' J. Combin. Theory Ser. A, 42, 277--292), concerning the totally symmetric self-complementary plane partitions (TSSCPPs). We also present some new conjectures and give Pfaffian expressions for them. In this paper we give Pfaffian expressions and constant term identities for the enumeration problems presented by Mills, Robbins and Rumsey (``Self-complementary totally symmetric plane partitions'' J. Combin. Theory Ser. A, 42, 277--292), concerning the totally symmetric self-complementary plane partitions (TSSCPPs). We also present some new conjectures and give Pfaffian expressions for them. △ Less

Submitted 12 June, 2006; v1 submitted 3 February, 2006; originally announced February 2006.

Comments: 39 pages, 2 figures

MSC Class: 05A15; 05A17; 05E05; 05E10

The Andrews-Stanley partition function and Al-Salam-Chihara polynomials

Authors: Masao Ishikawa, Jiang Zeng

Abstract: We show that the sum of the four parameter weights over all ordinary or strict partitions with parts each less than or equal to a given integer $N$ is expressed by the Al-Salam Chihara polynomials. This weight is a generalization of the Andrews-Stanley partition function. As a corollary we prove C. Boulet's results when the sum runs over all ordinary or strict partitions. In the last section we… ▽ More We show that the sum of the four parameter weights over all ordinary or strict partitions with parts each less than or equal to a given integer $N$ is expressed by the Al-Salam Chihara polynomials. This weight is a generalization of the Andrews-Stanley partition function. As a corollary we prove C. Boulet's results when the sum runs over all ordinary or strict partitions. In the last section we study the weighted sum of Schur's $P$-functions and $Q$-functions, where the sum runs over all strict partitions. △ Less

Submitted 9 June, 2006; v1 submitted 8 June, 2005; originally announced June 2005.

Comments: 25 pages

MSC Class: 05E05 (Primary) 05A17; 05A30; 05E35; 33D15; 33D45 (Secondary)

Generalizations of Cauchy's Determinant and Schur's Pfaffian

Authors: Masao Ishikawa, Soichi Okada, Hiroyuki Tagawa, Jiang Zeng

Abstract: We present several generalizations of Cauchy's determinant and Schur's Pfaffian by considering matrices whose entries involve some generalized Vandermonde determinants. Special cases of our formulae include previuos formulae due to S.Okada and T. Sundquist. As an application, we give a relation for the Littlewood--Richardson coefficients involving a rectangular partition. We present several generalizations of Cauchy's determinant and Schur's Pfaffian by considering matrices whose entries involve some generalized Vandermonde determinants. Special cases of our formulae include previuos formulae due to S.Okada and T. Sundquist. As an application, we give a relation for the Littlewood--Richardson coefficients involving a rectangular partition. △ Less

Submitted 4 September, 2005; v1 submitted 12 November, 2004; originally announced November 2004.

Comments: 26 pages

MSC Class: 05A15; 05E05; 15A15

Journal ref: Adv. in Appl. Math. 36 (2006) 251 - 287

A Pfaffian-Hafnian analogue of Borchardt's identity

Authors: Masao Ishikawa, Hiroyuki Kawamuko, Soichi Okada

Abstract: We present an identity which can be regarded as a Pfaffian-Hafnian analogue of Borchardt's identity and as a generalization of Schur's identity. We give a proof using the complex analysis. We present an identity which can be regarded as a Pfaffian-Hafnian analogue of Borchardt's identity and as a generalization of Schur's identity. We give a proof using the complex analysis. △ Less

Submitted 31 August, 2004; v1 submitted 26 August, 2004; originally announced August 2004.

Comments: 7 pages

MSC Class: 05A10; 05A19; 05E05; 05E15

Journal ref: Electron. J. Combin. 12(1), (2005) #N9

Minor summation formula and a proof of Stanley's open problem

Authors: Masao Ishikawa

Abstract: In the open problem session of the FPSAC'03, R.P.Stanley gave an open problem. The purpose of this paper is to give a proof of this open problem. At the end of this paper we present certain corollaries involving the Big Schur functions and some polynomials arising from the Macdonald polynomials, which generalize Stanley's open problem. In the open problem session of the FPSAC'03, R.P.Stanley gave an open problem. The purpose of this paper is to give a proof of this open problem. At the end of this paper we present certain corollaries involving the Big Schur functions and some polynomials arising from the Macdonald polynomials, which generalize Stanley's open problem. △ Less

Submitted 9 October, 2005; v1 submitted 16 August, 2004; originally announced August 2004.

Comments: 20 pages

MSC Class: 05E05; 05E10; 05E19

On the Thurston-Bennequin invariant of graph divide links

Authors: Masaharu Ishikawa

Abstract: In the present paper we determine the Thurston-Bennequin invariant of graph divide links, which include all closed positive braids, all divide links and certain negative twist knots. As a corollary of this and a result of P. Lisca and A.I. Stipsicz, we prove that the 3-manifold obtained from the 3-sphere by Dehn surgery along a non-trivial graph divide knot K with coefficient r carries positive,… ▽ More In the present paper we determine the Thurston-Bennequin invariant of graph divide links, which include all closed positive braids, all divide links and certain negative twist knots. As a corollary of this and a result of P. Lisca and A.I. Stipsicz, we prove that the 3-manifold obtained from the 3-sphere by Dehn surgery along a non-trivial graph divide knot K with coefficient r carries positive, tight contact structures for every r except the Thurston-Bennequin invariant of K. △ Less

Submitted 18 June, 2004; v1 submitted 16 June, 2004; originally announced June 2004.

Comments: 8 pages, 8 figures

MSC Class: 57M25 (Primary) 57R17; 57M50 (Secondary)

Stein fillable 3-manifolds admit positive open book decompositions along arbitrary links

Authors: Masaharu Ishikawa

Abstract: It is known by A. Loi and R. Piergallini that a closed, oriented, smooth 3-manifold is Stein fillable if and only if it has a positive open book decomposition. In the present paper we will show that for every link L in a Stein fillable 3-manifold there exists an additional knot L' to L such that the union of the links L and L' is the binding of a positive open book decomposition of the Stein fil… ▽ More It is known by A. Loi and R. Piergallini that a closed, oriented, smooth 3-manifold is Stein fillable if and only if it has a positive open book decomposition. In the present paper we will show that for every link L in a Stein fillable 3-manifold there exists an additional knot L' to L such that the union of the links L and L' is the binding of a positive open book decomposition of the Stein fillable 3-manifold. To prove the assertion, we will use the divide, which is a generalization of real morsification theory of complex plane curve singularities, and 2-handle attachings along Legendrian curves. △ Less

Submitted 17 February, 2004; originally announced February 2004.

Comments: 17 pages, 9 figures

MSC Class: 57M50; 55R25

A generalization of Kawanaka's identity for Hall-Littlewood polynomials and applications

Authors: M. Ishikawa, F. Jouhet, J. Zeng

Abstract: An infinite summation formula of Hall-Littlewood polynomials due to Kawanaka is generalized to a finite summation formula, which implies, as applications, twelve multiple q-identities of Rogers-Ramanujan type. An infinite summation formula of Hall-Littlewood polynomials due to Kawanaka is generalized to a finite summation formula, which implies, as applications, twelve multiple q-identities of Rogers-Ramanujan type. △ Less

Submitted 20 June, 2006; v1 submitted 20 January, 2004; originally announced January 2004.

Comments: 21 pages

Applications of Minor Summation Formula III, Plucker Relations, Lattice Paths and Pfaffian Identities

Authors: Masao Ishikawa, Masato Wakayama

Abstract: The initial purpose of this paper is to provide a combinatorial proof of the minor summation formula of Pfaffians based on the lattice path method. There we related Plücker relations with the minor summation formula of Pfaffians to simplify its proof by lattice paths. The second aim is to find a various applications of the minor summation formula. First we studied a variant of the Sundquist form… ▽ More The initial purpose of this paper is to provide a combinatorial proof of the minor summation formula of Pfaffians based on the lattice path method. There we related Plücker relations with the minor summation formula of Pfaffians to simplify its proof by lattice paths. The second aim is to find a various applications of the minor summation formula. First we studied a variant of the Sundquist formula established in J. Alg. Combin. {\bf 5} (1996). Next we gave a simple proof of Kawanaka's formula concerning a $q$-series identity involving Schur functions in Osaka J. Math. {\bf 36} (1999). We also establish a certain identity similar to the Kawanaka formula, and give a combinatorial proof of the determinant version of his formula in Osaka J. Math. {\bf 38} (2001). △ Less

Submitted 5 June, 2005; v1 submitted 18 December, 2003; originally announced December 2003.

Comments: 39 pages, LaTeX; typos corrected

MSC Class: 05E05 (Primary); 05E10; 05A30 (Secondly)

Journal ref: J. Combin. Theory Ser. A. 113, (2006) 113-155

Exceptional surgery and boundary slopes

Authors: Masaharu Ishikawa, Thomas W. Mattman, Koya Shimokawa

Abstract: Let X be a norm curve in the SL(2,C)-character variety of a knot exterior M. Let t = || b || / || a || be the ratio of the Culler-Shalen norms of two distinct non-zero classes a, b in H_1(\partial M, Z). We demonstrate that either X has exactly two associated strict boundary slopes \pm t, or else there are strict boundary slopes r_1 and r_2 with |r_1| > t and |r_2| < t. As a consequence, we show… ▽ More Let X be a norm curve in the SL(2,C)-character variety of a knot exterior M. Let t = || b || / || a || be the ratio of the Culler-Shalen norms of two distinct non-zero classes a, b in H_1(\partial M, Z). We demonstrate that either X has exactly two associated strict boundary slopes \pm t, or else there are strict boundary slopes r_1 and r_2 with |r_1| > t and |r_2| < t. As a consequence, we show that there are strict boundary slopes near cyclic, finite, and Seifert slopes. We also prove that the diameter of the set of strict boundary slopes can be bounded below using the Culler-Shalen norm of those slopes. △ Less

Submitted 8 December, 2003; v1 submitted 8 November, 2002; originally announced November 2002.

Comments: 12 pages, 1 figure. Version 2 - minor revisions; corrected typos etc

MSC Class: 57M25; 57R65