Showing 1–16 of 16 results for author: Ogawa, M

Shadow-complexity and trisection genus

Authors: Hironobu Naoe, Masaki Ogawa

Abstract: The shadow-complexity is an invariant of closed $4$-manifolds defined by using $2$-dimensional polyhedra called Turaev's shadows, which, roughly speaking, measures how complicated a $2$-skeleton of the $4$-manifold is. In this paper, we define a new version $\mathrm{sc}_{r}$ of shadow-complexity depending on an extra parameter $r\geq0$, and we investigate the relationship between this complexity a… ▽ More The shadow-complexity is an invariant of closed $4$-manifolds defined by using $2$-dimensional polyhedra called Turaev's shadows, which, roughly speaking, measures how complicated a $2$-skeleton of the $4$-manifold is. In this paper, we define a new version $\mathrm{sc}_{r}$ of shadow-complexity depending on an extra parameter $r\geq0$, and we investigate the relationship between this complexity and the trisection genus $g$. More explicitly, we prove an inequality $g(W) \leq 2+2\mathrm{sc}_{r}(W)$ for any closed $4$-manifold $W$ and any $r\geq1/2$. Moreover, we determine the exact values of $\mathrm{sc}_{1/2}$ for infinitely many $4$-manifolds, and also we classify all the closed $4$-manifolds with $\mathrm{sc}_{1/2}\leq1/2$. △ Less

Submitted 30 July, 2024; originally announced July 2024.

Comments: 27 pages, 18 figures

MSC Class: 57K41; 57Q15 (Primary) 57R65 (Secondary)

Nielsen equivalence and multisections of 4-manifolds

Authors: Tsukasa Isoshima, Masaki Ogawa

Abstract: Islambouli showed that there exist infinitely many 4-manifolds admitting non-isotopic trisections using a Nielsen equivalence, which can be used to construct non-isotopic Heegaard splittings. In this paper, we show that there exist infinitely many 4-manifolds admitting non-isotopic bisections in the same way. Moreover, we show that there exist infinitely many 4-manifolds admitting non-isotopic 4-s… ▽ More Islambouli showed that there exist infinitely many 4-manifolds admitting non-isotopic trisections using a Nielsen equivalence, which can be used to construct non-isotopic Heegaard splittings. In this paper, we show that there exist infinitely many 4-manifolds admitting non-isotopic bisections in the same way. Moreover, we show that there exist infinitely many 4-manifolds admitting non-isotopic 4-sections by considering the doubles of the bisections. △ Less

Submitted 3 September, 2024; v1 submitted 28 January, 2024; originally announced January 2024.

Comments: 14 pages, 3 figures

MSC Class: 57Q37; 57K40

Weinstein trisections of trivial surface bundles

Authors: Masaki Ogawa

Abstract: Weinstein trisection is a trisection of a symplectic 4-manifold whose 1-handlebodies are the Weinstein domain for the symplectic structure induced from an ambient manifold. Lambert-Cole, Meier, and Starkston showed that every closed symplectic 4-manifold admits a Weinstein trisection. In this paper, we construct a Weinstein trisection of $Σ_g\times Σ_h$. As a consequence of this construction, we c… ▽ More Weinstein trisection is a trisection of a symplectic 4-manifold whose 1-handlebodies are the Weinstein domain for the symplectic structure induced from an ambient manifold. Lambert-Cole, Meier, and Starkston showed that every closed symplectic 4-manifold admits a Weinstein trisection. In this paper, we construct a Weinstein trisection of $Σ_g\times Σ_h$. As a consequence of this construction, we construct a little explicit Weinstein trisection of $S^2\times S^2$. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 14pages, 4 figures. Comments welcome

MSC Class: 57K43; 57K33

Trisections induced by the Gluck surgery along certain spun knots

Authors: Tsukasa Isoshima, Masaki Ogawa

Abstract: Gay and Meier asked whether or not a trisection diagram obtained by the Gluck twist on a spun or a twist spun 2-knot obtained from some method is standard. In this paper, we depict the trisection diagrams explicitly when the 2- knot is the spun $(2n + 1, -2)$-torus knot, where $n\geq1$, and show that the trisection diagram is standard when $n = 1$. Moreover, we introduce a notion of homologically… ▽ More Gay and Meier asked whether or not a trisection diagram obtained by the Gluck twist on a spun or a twist spun 2-knot obtained from some method is standard. In this paper, we depict the trisection diagrams explicitly when the 2- knot is the spun $(2n + 1, -2)$-torus knot, where $n\geq1$, and show that the trisection diagram is standard when $n = 1$. Moreover, we introduce a notion of homologically standard for trisection diagrams and show that the trisection diagram is homologically standard for all $n$. △ Less

Submitted 24 November, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: Comments are welcome!

MSC Class: 57K40; 57R65

Existence of Firth's modified estimates in binomial regression models

Authors: Mitsunori Ogawa, Yui Tomo

Abstract: In logistic regression modeling, Firth's modified estimator is widely used to address the issue of data separation, which results in the nonexistence of the maximum likelihood estimate. Firth's modified estimator can be formulated as a penalized maximum likelihood estimator in which Jeffreys' prior is adopted as the penalty term. Despite its widespread use in practice, the formal verification of t… ▽ More In logistic regression modeling, Firth's modified estimator is widely used to address the issue of data separation, which results in the nonexistence of the maximum likelihood estimate. Firth's modified estimator can be formulated as a penalized maximum likelihood estimator in which Jeffreys' prior is adopted as the penalty term. Despite its widespread use in practice, the formal verification of the corresponding estimate's existence has not been established. In this study, we establish the existence theorem of Firth's modified estimate in binomial logistic regression models, assuming only the full column rankness of the design matrix. We also discuss other binomial regression models obtained through alternating link functions and prove the existence of similar penalized maximum likelihood estimates for such models. △ Less

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

Some lower bounds for the Kirby-Thompson invariant

Authors: Nobutaka Asano, Hironobu Naoe, Masaki Ogawa

Abstract: Kirby and Thompson introduced a non-negative integer-valued invariant, called the Kirby-Thompson invariant, of a $4$-manifold using trisections. In this paper, we give some lower bounds for the Kirby-Thompson invariant of certain $4$-manifolds. As an application, we determine the Kirby-Thompson invariant of the spin of $L(2,1)$, which is the first example of a $4$-manifold with non-trivial Kirby-T… ▽ More Kirby and Thompson introduced a non-negative integer-valued invariant, called the Kirby-Thompson invariant, of a $4$-manifold using trisections. In this paper, we give some lower bounds for the Kirby-Thompson invariant of certain $4$-manifolds. As an application, we determine the Kirby-Thompson invariant of the spin of $L(2,1)$, which is the first example of a $4$-manifold with non-trivial Kirby-Thompson invariant. We also show that there exist $4$-manifolds with arbitrarily large Kirby-Thompson invariant. △ Less

Submitted 25 February, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: 20 pages, 6 figures

MSC Class: 57K41; 57R65

Stable equivalence of handlebody decompositions whose partitions are multibranched surfaces

Authors: Masaki Ogawa

Abstract: In this paper, we consider decompositions of closed orientable 3-manifolds with more than 3 handlebodies, where the union of intersections of handlebodies is a multibranched surface. We define stabilization operations for such decompositions and show the stable equivalence. In this paper, we consider decompositions of closed orientable 3-manifolds with more than 3 handlebodies, where the union of intersections of handlebodies is a multibranched surface. We define stabilization operations for such decompositions and show the stable equivalence. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Comments: Comments are welcome!

MSC Class: 57N35; 57Q35

Handlebody decompositions of 3-manifolds and polycontinuous patterns

Authors: Naoki Sakata, Ryosuke Mishina, Masaki Ogawa, Kai Ishihara, Yuya Koda, Makoto Ozawa, Koya Shimokawa

Abstract: We introduce the concept of a handlebody decomposition of a 3-manifold, a generalization of a Heegaard splitting, or a trisection. We show that two handlebody decompositions of a closed orientable 3-manifold are stably equivalent. As an application to materials science, we consider a mathematical model of polycontinuous patterns and discuss a topological study of microphase separation of a block c… ▽ More We introduce the concept of a handlebody decomposition of a 3-manifold, a generalization of a Heegaard splitting, or a trisection. We show that two handlebody decompositions of a closed orientable 3-manifold are stably equivalent. As an application to materials science, we consider a mathematical model of polycontinuous patterns and discuss a topological study of microphase separation of a block copolymer melt. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Comments: 29 pages, 52 figures

MSC Class: 57K30 (Primary) 57Z15 (Secondary)

Trisections with Kirby-Thompson length 2

Authors: Masaki Ogawa

Abstract: Kirby and Thompson introduced a length of a trisection. They also defined the length of a 4-manifold as the minimum of length among all lengths of trisection of a 4-manifold. In this paper, we consider trisections whose Kirby-Thompson length is 2. Kirby and Thompson conjectured that length 2 trisection is a trisection of 4-manifold with length 0. We shall prove this conjecture in this paper. Kirby and Thompson introduced a length of a trisection. They also defined the length of a 4-manifold as the minimum of length among all lengths of trisection of a 4-manifold. In this paper, we consider trisections whose Kirby-Thompson length is 2. Kirby and Thompson conjectured that length 2 trisection is a trisection of 4-manifold with length 0. We shall prove this conjecture in this paper. △ Less

Submitted 17 August, 2022; v1 submitted 18 December, 2021; originally announced December 2021.

Comments: 14 pages, 9 figures. Comments are welcome!

MSC Class: 57Q37; 57R65

On the magic square C*-algebra of size 4

Authors: Takeshi Katsura, Masahito Ogawa, Airi Takeuchi

Abstract: In this paper, we investigate the structure of the magic square C*-algebra $A(4)$ of size 4. We show that a certain twisted crossed product of $A(4)$ is isomorphic to the homogeneous C*-algebra $M_4(C(\mathbb{R} P^3))$. Using this result, we show that $A(4)$ is isomorphic to the fixed point algebra of $M_4(C(\mathbb{R} P^3))$ by a certain action. From this concrete realization of $A(4)$, we comput… ▽ More In this paper, we investigate the structure of the magic square C*-algebra $A(4)$ of size 4. We show that a certain twisted crossed product of $A(4)$ is isomorphic to the homogeneous C*-algebra $M_4(C(\mathbb{R} P^3))$. Using this result, we show that $A(4)$ is isomorphic to the fixed point algebra of $M_4(C(\mathbb{R} P^3))$ by a certain action. From this concrete realization of $A(4)$, we compute the K-groups of $A(4)$ and their generators. △ Less

Submitted 11 October, 2021; originally announced October 2021.

MSC Class: Primary 46L05; Secondary 46L55; 46L80

Decompositions of the 3-sphere and lens spaces with three handlebodies

Authors: Yasuyoshi Ito, Masaki Ogawa

Abstract: In this paper, we consider decompositions of 3-manifolds with three handlebodies. We classify such decompositions of the 3-sphere and lens spaces with small genera. These decompositions admit operations called stabilizations. We also determine whether these decompositions are stabilized. In this paper, we consider decompositions of 3-manifolds with three handlebodies. We classify such decompositions of the 3-sphere and lens spaces with small genera. These decompositions admit operations called stabilizations. We also determine whether these decompositions are stabilized. △ Less

Submitted 9 May, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: 39 pages, 14 figures

MSC Class: 57N10

Markov degree of configurations defined by fibers of a configuration

Authors: Takayuki Koyama, Mitsunori Ogawa, Akimichi Takemura

Abstract: We consider a series of configurations defined by fibers of a given base configuration. We prove that Markov degree of the configurations is bounded from above by the Markov complexity of the base configuration. As important examples of base configurations we consider incidence matrices of graphs and study the maximum Markov degree of configurations defined by fibers of the incidence matrices. In… ▽ More We consider a series of configurations defined by fibers of a given base configuration. We prove that Markov degree of the configurations is bounded from above by the Markov complexity of the base configuration. As important examples of base configurations we consider incidence matrices of graphs and study the maximum Markov degree of configurations defined by fibers of the incidence matrices. In particular we give a proof that the Markov degree for two-way transportation polytopes is three. △ Less

Submitted 25 July, 2014; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 28 pages

MSC Class: 05B20

Markov degree of the Birkhoff model

Authors: Takashi Yamaguchi, Mitsunori Ogawa, Akimichi Takemura

Abstract: We prove the conjecture by Diaconis and Eriksson (2006) that the Markov degree of the Birkhoff model is three. In fact, we prove the conjecture in a generalization of the Birkhoff model, where each voter is asked to rank a fixed number, say r, of candidates among all candidates. We also give an exhaustive characterization of Markov bases for small r. We prove the conjecture by Diaconis and Eriksson (2006) that the Markov degree of the Birkhoff model is three. In fact, we prove the conjecture in a generalization of the Birkhoff model, where each voter is asked to rank a fixed number, say r, of candidates among all candidates. We also give an exhaustive characterization of Markov bases for small r. △ Less

Submitted 18 November, 2013; v1 submitted 3 April, 2013; originally announced April 2013.

MSC Class: 62H17

Journal ref: Journal of Algebraic Combinatorics, 40 (2014) pp. 293-311

Markov Bases for Typical Block Effect Models of Two-way Contingency Tables

Authors: Mitsunori Ogawa, Akimichi Takemura

Abstract: Markov basis for statistical model of contingency tables gives a useful tool for performing the conditional test of the model via Markov chain Monte Carlo method. In this paper we derive explicit forms of Markov bases for change point models and block diagonal effect models, which are typical block-wise effect models of two-way contingency tables, and perform conditional tests with some real data… ▽ More Markov basis for statistical model of contingency tables gives a useful tool for performing the conditional test of the model via Markov chain Monte Carlo method. In this paper we derive explicit forms of Markov bases for change point models and block diagonal effect models, which are typical block-wise effect models of two-way contingency tables, and perform conditional tests with some real data sets. △ Less

Submitted 19 December, 2011; originally announced December 2011.

Comments: 16 pages

MSC Class: 62H17

Journal ref: Journal of Multivariate Analysis 112 (2012) 219--229

Graver basis for an undirected graph and its application to testing the beta model of random graphs

Authors: Mitsunori Ogawa, Hisayuki Hara, Akimichi Takemura

Abstract: In this paper we give an explicit and algorithmic description of Graver basis for the toric ideal associated with a simple undirected graph and apply the basis for testing the beta model of random graphs by Markov chain Monte Carlo method. In this paper we give an explicit and algorithmic description of Graver basis for the toric ideal associated with a simple undirected graph and apply the basis for testing the beta model of random graphs by Markov chain Monte Carlo method. △ Less

Submitted 30 November, 2011; v1 submitted 13 February, 2011; originally announced February 2011.

MSC Class: 05C80; 62H17

Journal ref: Annals of the Institute of Statistical Mathematics 65 (2013) 191-212

A sufficient condition for pseudointegrable systems with weak mixing property

Authors: Minoru Ogawa

Abstract: We present a sufficient condition that a pseudointegrable system has weak mixing property. The result is derived from Veech's weak mixing theorem for interval exhange [Veech, W.A. Amer.J.Math. {\bf 106}, 1331 (1984)]. We also present an example whose weak mixing property can be proved by the result. We present a sufficient condition that a pseudointegrable system has weak mixing property. The result is derived from Veech's weak mixing theorem for interval exhange [Veech, W.A. Amer.J.Math. {\bf 106}, 1331 (1984)]. We also present an example whose weak mixing property can be proved by the result. △ Less

Submitted 12 October, 2004; originally announced October 2004.

Comments: 11 pages, 2 figures