Source author record

Mitsuhiro Miyazaki

Mitsuhiro Miyazaki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

Gorenstein on the punctured spectrum and nearly Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph

In this paper, we give a criterion of the nearly Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph: the Ehrhart ring of the stable set polytope of an h-perfect graph $G$ with connected components $G^{(1)}, \ldots, G^{(\ell)}$ is nearly Gorenstein if and only if (1) for each $i$, the Ehrhart ring of the stable set polytope of $G^{(i)}$ is Gorenstein and (2) $|ω(G^{(i)})-ω(G^{(j)})|\leq 1$ for any $i$ and $j$, where $ω(G^{(i)})$ is the clique number of $G^{(i)}$. We also show that the Segre product of Cohen-Macaulay graded rings with linear non-zerodivisor which are Gorenstein on the punctured spectrum is also Gorenstein on the punctured spectrum if all but one rings are standard graded.

preprint2020arXiv

Non-Gorenstein loci of Ehrhart rings of chain and order polytopes

Let $P$ be a finite poset, $K$ a field, and $O(P)$ (resp. $C(P)$) the order (resp. chain) polytope of $P$. We study the non-Gorenstein locus of $E_K[O(P)]$ (resp. $E_K[C(P)]$), the Ehrhart ring of $O(P)$ (resp. $C(P)$) over $K$, which are each normal toric rings associated $P$. In particular, we show that the dimension of non-Gorenstein loci of $E_K[O(P)]$ and $E_K[C(P)]$ are the same. Further, we show that $E_K[C(P)]$ is nearly Gorenstein if and only if $P$ is the disjoint union of pure posets $P_1, \ldots, P_s$ with $|\mathrm{rank} P_i-\mathrm{rank} P_j|\leq 1$ for any $i$ and $j$.

preprint2020arXiv

On the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph

In this paper, we give a criterion of the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph: the Ehrhart ring of the stable set polytope of an h-perfect graph $G$ is Gorenstein if and only if (1) sizes of maximal cliques are constant (say $n$) and (2) (a) $n=1$, (b) $n=2$ and there is no odd cycle without chord and length at least 7 or (c) $n\geq 3$ and there is no odd cycle without chord and length at least 5.

preprint2015arXiv

Typical ranks for 3-tensors, nonsingular bilinear maps and determinantal ideals

Let $m,n\geq 3$, $(m-1)(n-1)+2\leq p\leq mn$, and $u=mn-p$. The set $\mathbb{R}^{u\times n\times m}$ of all real tensors with size $u\times n\times m$ is one to one corresponding to the set of bilinear maps $\mathbb{R}^m\times \mathbb{R}^n\to \mathbb{R}^u$. We show that $\mathbb{R}^{m\times n\times p}$ has plural typical ranks $p$ and $p+1$ if and only if there exists a nonsingular bilinear map $\mathbb{R}^m\times\mathbb{R}^n\to\mathbb{R}^{u}$. We show that there is a dense open subset $\mathscr{O}$ of $\mathbb{R}^{u\times n\times m}$ such that for any $Y\in\mathscr{O}$, the ideal of maximal minors of a matrix defined by $Y$ in a certain way is a prime ideal and the real radical of that is the irrelevant maximal ideal if that is not a real prime ideal. Further, we show that there is a dense open subset $\mathscr{T}$ of $\mathbb{R}^{ n\times p \times m}$ and continuous surjective open maps $ν\colon\mathscr{O}\to\mathbb{R}^{u\times p}$ and $σ\colon\mathscr{T}\to\mathbb{R}^{u\times p}$, where $\mathbb{R}^{u \times p}$ is the set of $u\times p$ matrices with entries in $\mathbb{R}$, such that if $ν(Y)=σ(T)$, then $\mathrm{rank} T=p$ if and only if the ideal of maximal minors of the matrix defined by $Y$ is a real prime ideal.

preprint2014arXiv

$G$-prime and $G$-primary $G$-ideals on $G$-schemes

Let $G$ be a flat finite-type group scheme over a scheme $S$, and $X$ a noetherian $S$-scheme on which $G$-acts. We define and study $G$-prime and $G$-primary $G$-ideals on $X$ and study their basic properties. In particular, we prove the existence of minimal $G$-primary decomposition and the well-definedness of $G$-associated $G$-primes. We also prove a generalization of Matijevic-Roberts type theorem. In particular, we prove Matijevic-Roberts type theorem on graded rings for $F$-regular and $F$-rational properties.

preprint2013arXiv

Action of special linear groups to the tensor of indeterminates, classical invariants of binary forms and hyperdeterminant

In this paper, we study the ring of invariants under the action of SL(m,K)\times SL(n,K) and SL(m,K)\times SL(n,K)\times SL(2,K) on the 3-dimensional array of indeterminates of form m\times n\times 2, where K is an infinite field. And we show that if m=n\geq 2, then the ring of SL(n,K)\times SL(n,K)-invariants is generated by n+1 algebraically independent elements over K and the action of SL(2,K) on that ring is identical with the one defined in the classical invariant theory of binary forms. We also reveal the ring of SL(m,K)\times SL(n,K)-invariants and SL(m,K)\times SL(n,K)\times SL(2,K)-invariants completely in the case where m\neq n.

preprint2013arXiv

Rank of tensors with size 2 x ... x 2

We study an upper bound of ranks of $n$-tensors with size $2\times\cdots\times2$ over the complex and real number field. We characterize a $2\times 2\times 2$ tensor with rank 3 by using the Cayley's hyperdeterminant and some function. Then we see another proof of Brylinski's result that the maximal rank of $2\times2\times2\times2$ complex tensors is 4. We state supporting evidence of the claim that 5 is a typical rank of $2\times2\times2\times2$ real tensors. Recall that Kong and Jiang show that the maximal rank of $2\times2\times2\times2$ real tensors is less than or equal to 5. The maximal rank of $2\times2\times2\times2$ complex (resp. real) tensors gives an upper bound of the maximal rank of $2\times\cdots\times 2$ complex (resp. real) tensors.

preprint2013arXiv

Upper bound of typical ranks of m x n x ((m-1)n-1) tensors over the real number field

Let $3\leq m\leq n$. We study typical ranks of $m\times n\times ((m-1)n-1)$ tensors over the real number field. The number $(m-1)n-1$ is a minimal typical rank of $m\times n\times ((m-1)n-1)$ tensors over the real number field. We show that a typical rank of $m\times n\times ((m-1)n-1)$ tensors over the real number field is less than or equal to $(m-1)n$ and in particular, $m\times n\times ((m-1)n-1)$ tensors over the real number field has two typical ranks $(m-1)n-1, (m-1)n$ if $m\leq ρ(n)$, where $ρ$ is the Hurwitz-Radon function defined as $ρ(n)=2^b+8c$ for nonnegative integers $a,b,c$ such that $n=(2a+1)2^{b+4c}$ and $0\leq b<4$.

preprint2012arXiv

Typical rank of $m\times n\times (m-1)n$ tensors with $3\leq m\leq n$ over the real number field

Tensor type data are used recently in various application fields, and then a typical rank is important. Let $3\leq m\leq n$. We study typical ranks of $m\times n\times (m-1)n$ tensors over the real number field. Let $ρ$ be the Hurwitz-Radon function defined as $ρ(n)=2^b+8c$ for nonnegative integers $a,b,c$ such that $n=(2a+1)2^{b+4c}$ and $0\leq b<4$. If $m \leq ρ(n)$, then the set of $m\times n\times (m-1)n$ tensors has two typical ranks $(m-1)n,(m-1)n+1$. In this paper, we show that the converse is also true: if $m > ρ(n)$, then the set of $m\times n\times (m-1)n$ tensors has only one typical rank $(m-1)n$.

preprint2012arXiv

Typical ranks of certain 3-tensors and absolutely full column rank tensors

In this paper, we study typical ranks of 3-tensors and show that there are plural typical ranks for m\times n\times p tensors over R in the following cases: (1) 3\leq m\leq ρ(n) and (m-1)(n-1)+1\leq p\leq (m-1)n, where ρ is the Hurwitz-Radon function, (2) m=3, n\equiv 3\pmod 4 and p=2n-1, (3) m=4, n\equiv 2\pmod 4, n\geq 6 and p=3n-2, (4) m=6, n\equiv 4\pmod 8, n\geq 12 and p=5n-4. (5) m=10, n\equiv 24\pmod{32} and p=9n-8.

preprint2010arXiv

Perfect type of n-tensors

In various application fields, tensor type data are used recently and then a typical rank is important. Although there may be more than one typical ranks over the real number field, a generic rank over the complex number field is the minimum number of them. The set of $n$-tensors of type $p_1\times p_2\times\cdots\times p_n$ is called perfect, if it has a typical rank $\max(p_1,\ldots,p_n)$. In this paper, we determine perfect types of $n$-tensor.

preprint2010arXiv

Tests of Non-Equivalence among Absolutely Nonsingular Tensors through Geometric Invariants

4x4x3 absolutely nonsingular tensors are characterized by their determinant polynomial. Non-quivalence among absolutely nonsingular tensors with respect to a class of linear transformations, which do not chage the tensor rank,is studied. It is shown theoretically that affine geometric invariants of the constant surface of a determinant polynomial is useful to discriminate non-equivalence among absolutely nonsingular tensors. Also numerical caluculations are presented and these invariants are shown to be useful indeed. For the caluculation of invarinats by 20-spherical design is also commented. We showed that an algebraic problem in tensor data analysis can be attacked by an affine geometric method.

preprint2008arXiv

About the maximal rank of 3-tensors over the real and the complex number field

High dimensional array data, tensor data, is becoming important in recent days. Then maximal rank of tensors is important in theory and applications. In this paper we consider the maximal rank of 3 tensors. It can be attacked from various viewpoints, however, we trace the method of Atkinson-Stephens(1979) and Atkinson-Lloyd(1980). They treated the problem in the complex field, and we will present various bounds over the real field by proving several lemmas and propositions, which is real counterparts of their results.