Searcharxiv⌕ Search

arXiv subjects

Hiroaki Terao

Publications and source records attributed to Hiroaki Terao.

At least 19 recordsLinked to original sources
arXiv2022

Extended dynamic mode decomposition with dictionary learning using neural ordinary differential equations

Nonlinear phenomena can be analyzed via linear techniques using operator-theoretic approaches. Data-driven method called the extended dynamic mode decomposition (EDMD) and its variants, which approximate the Koopman operator associated with the nonlinear phenomena, have been rapidly developing by incorporating machine learning methods. Neural ordinary differential equations (NODEs), which are a neural network equipped with a continuum of layers, and have high parameter and memory efficiencies, have been proposed. In this paper, we propose an algorithm to perform EDMD using NODEs. NODEs are used to find a parameter-efficient dictionary which provides a good finite-dimensional approximation of the Koopman operator. We show the superiority of the parameter efficiency of the proposed method through numerical experiments.

cs.LG↗
arXiv2020

On $A_1^2$ restrictions of Weyl arrangements

Let $\mathcal{A}$ be a Weyl arrangement in an $\ell$-dimensional Euclidean space. The freeness of restrictions of $\mathcal{A}$ was first settled by a case-by-case method by Orlik and the second author (1993), and later by a uniform argument by Douglass (1999). Prior to this, Orlik and Solomon (1983) had completely determined the exponents of these arrangements by exhaustion. A classical result due to Orlik, Solomon and the second author (1986), asserts that the exponents of any $A_1$ restriction, i.e., the restriction of $\mathcal{A}$ to a hyperplane, are given by $\{m_1,\ldots, m_{\ell-1}\}$, where $\exp(\mathcal{A})=\{m_1,\ldots, m_{\ell}\}$ with $m_1 \le \cdots\le m_{\ell}$. As a next step towards conceptual understanding of the restriction exponents we will investigate the $A_1^2$ restrictions, i.e., the restrictions of $\mathcal{A}$ to the subspaces of type $A_1^2$. In this paper, we give a combinatorial description of the exponents and describe bases for the modules of derivations of the $A_1^2$ restrictions in terms of the classical notion of related roots by Kostant (1955).

math.CO↗
arXiv2018

Multiple addition, deletion and restriction theorems for hyperplane arrangements

In the study of free arrangements, the most useful result to construct/check free arrangements is the addition-deletion theorem. Recently, the multiple version of the addition theorem is proved, called the multiple addition theorem (MAT) to prove the ideal-free theorem. The aim of this article is to give the deletion version of MAT, the multiple deletion theorem (MDT). Also, we can generalize MAT from the viewpoint of our new proof. Moreover, we introduce their restriction version, a multiple restriction theorem (MRT). Applications of them including the combinatorial freeness of the extended Catalan arrangements are given.

math.CO↗
arXiv2017

Canonical systems of basic invariants for unitary reflection groups

It has been known that there exists a canonical system for every finite real reflection group. The first and the third authors obtained an explicit formula for a canonical system in the previous paper. In this article, we first define canonical systems for the finite unitary reflection groups, and then prove their existence. Our proof does not depend on the classification of unitary reflection groups. Furthermore, we give an explicit formula for a canonical system for every unitary reflection group.

math.AC↗
arXiv2015

Free filtrations of affine Weyl arrangements and the ideal-Shi arrangements

In this article we prove that the ideal-Shi arrangements are free central arrangements of hyperplanes satisfying the dual-partition formula. Then it immediately follows that there exists a saturated free filtration of the cone of any affine Weyl arrangement such that each filter is a free subarrangement satisfying the dual-partition formula. This generalizes the main result in \cite{ABCHT} which affirmatively settled a conjecture by Sommers and Tymoczko \cite{SomTym}.

math.CO↗
arXiv2014

Logarithmic vector fields for quasihomogeneous curve configurations in P^2

Let A be a union of smooth plane curves C_i, such that each singular point of A is quasihomogeneous. We prove that if C is a smooth curve such that each singular point of A U C is also quasihomogeneous, then there is an elementary modification of rank two bundles, which relates the O_{P^2} module Der(log A) of vector fields on P^2 tangent to A to the module Der(log A U C). This yields an inductive tool for studying the splitting of the bundles Der(log A) and Der(log A U C), depending on the geometry of the divisor A|_C on C.

math.AG↗
arXiv2014

The freeness of ideal subarrangements of Weyl arrangements

A Weyl arrangement is the arrangement defined by the root system of a finite Weyl group. When a set of positive roots is an ideal in the root poset, we call the corresponding arrangement an ideal subarrangement. Our main theorem asserts that any ideal subarrangement is a free arrangement and that its exponents are given by the dual partition of the height distribution, which was conjectured by Sommers-Tymoczko. In particular, when an ideal subarrangement is equal to the entire Weyl arrangement, our main theorem yields the celebrated formula by Shapiro, Steinberg, Kostant, and Macdonald. Our proof of the main theorem heavily depends on the theory of free arrangements and thus greatly differs from the earlier proofs of the formula.

math.CO↗
arXiv2012

Simple-root bases for Shi arrangements

In his affirmative answer to the Edelman-Reiner conjecture, Yoshinaga proved that the logarithmic derivation modules of the cones of the extended Shi arrangements are free modules. However, all we know about the bases is their existence and degrees. In this article, we introduce two distinguished bases for the modules. More specifically, we will define and study the simple-root basis plus (SRB+) and the simple-root basis minus (SRB-) when a primitive derivation is fixed. They have remarkable properties relevant to the simple roots and those properties characterize the bases.

math.CO↗
arXiv2011

Arrangements stable under the Coxeter groups

Let B be a real hyperplane arrangement which is stable under the action of a Coxeter group W. Then B acts naturally on the set of chambers of B. We assume that B is disjoint from the Coxeter arrangement A=A(W) of W. In this paper, we show that the W-orbits of the set of chambers of B are in one-to-one correspondence with the chambers of C=A\cup B which are contained in an arbitrarily fixed chamber of A. From this fact, we find that the number of W-orbits of the set of chambers of B is given by the number of chambers of C divided by the order of W. We will also study the set of chambers of C which are contained in a chamber b of B. We prove that the cardinality of this set is equal to the order of the isotropy subgroup W_b of b. We illustrate these results with some examples, and solve an open problem in Kamiya, Takemura and Terao [Ranking patterns of unfolding models of codimension one, Adv. in Appl. Math. (2010)] by using our results.

math.CO↗
arXiv2011

The Shi arrangements and the Bernoulli polynomials

The braid arrangement is the Coxeter arrangement of the type $A_\ell$. The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the braid arrangement and their parallel translations. In this paper, we give an explicit basis construction for the derivation module of the cone over the Shi arrangement. The essential ingredient of our recipe is the Bernoulli polynomials.

math.CO↗
arXiv2010

The freeness of Shi-Catalan arrangements

Let $W$ be a finite Weyl group and $\A$ be the corresponding Weyl arrangement. A deformation of $\A$ is an affine arrangement which is obtained by adding to each hyperplane $H\in\A$ several parallel translations of $H$ by the positive root (and its integer multiples) perpendicular to $H$. We say that a deformation is $W$-equivariant if the number of parallel hyperplanes of each hyperplane $H\in \A$ depends only on the $W$-orbit of $H$. We prove that the conings of the $W$-equivariant deformations are free arrangements under a Shi-Catalan condition and give a formula for the number of chambers. This generalizes Yoshinaga's theorem conjectured by Edelman-Reiner.

math.CO↗
arXiv2010

Equivariant multiplicities of Coxeter arrangements and invariant bases

Let $\A$ be an irreducible Coxeter arrangement and $W$ be its Coxeter group. Then $W$ naturally acts on $\A$. A multiplicity $\bfm : \A\rightarrow \Z$ is said to be equivariant when $\bfm$ is constant on each $W$-orbit of $\A$. In this article, we prove that the multi-derivation module $D(\A, \bfm)$ is a free module whenever $\bfm$ is equivariant by explicitly constructing a basis, which generalizes the main theorem of \cite{T02}. The main tool is a primitive derivation and its covariant derivative. Moreover, we show that the $W$-invariant part $D(\A, \bfm)^{W}$ for any multiplicity $\bfm$ is a free module over the $W$-invariant subring.

math.CO↗
arXiv2010

Ranking patterns of unfolding models of codimension one

We consider the problem of counting the number of possible sets of rankings (called ranking patterns) generated by unfolding models of codimension one. We express the ranking patterns as slices of the braid arrangement and show that all braid slices, including those not associated with unfolding models, are in one-to-one correspondence with the chambers of an arrangement. By identifying those which are associated with unfolding models, we find the number of ranking patterns. We also give an upper bound for the number of ranking patterns when the difference by a permutation of objects is ignored.

math.CO↗
arXiv2009

Primitive filtrations of the modules of invariant logarithmic forms of Coxeter arrangements

We define {\bf primitive derivations} for Coxeter arrangements which may not be irreducible. Using those derivations, we introduce the {\bf primitive filtrations} of the module of invariant logarithmic differential forms for an arbitrary Coxeter arrangement with an arbitrary multiplicity. In particular, when the Coxeter arrangement is irreducible with a constant multiplicity, the primitive filtration has already been studied, which generalizes the Hodge filtration introduced by K. Saito.

math.CO↗
arXiv2009

A primitive derivation and logarithmic differential forms of Coxeter arrangements

Let $W$ be a finite irreducible real reflection group, which is a Coxeter group. We explicitly construct a basis for the module of differential 1-forms with logarithmic poles along the Coxeter arrangement by using a primitive derivation. As a consequence, we extend the Hodge filtration, indexed by nonnegative integers, into a filtration indexed by all integers. This filtration coincides with the filtration by the order of poles. The results are translated into the derivation case.

math.CO↗
arXiv2008

Totally free arrangements of hyperplanes

A central arrangement $\A$ of hyperplanes in an $\ell$-dimensional vector space $V$ is said to be {\it totally free} if a multiarrangement $(\A, m)$ is free for any multiplicity $ m : \A\to \Z_{> 0}$. It has been known that $\A$ is totally free whenever $\ell \le 2$. In this article, we will prove that there does not exist any totally free arrangement other than the obvious ones, that is, a product of one-dimensional arrangements and two-dimensional ones.

math.AC↗
arXiv2008

Periodicity of non-central integral arrangements modulo positive integers

An integral coefficient matrix determines an integral arrangement of hyperplanes in R^m. After modulo q reduction, the same matrix determines an arrangement A_q of "hyperplanes" in Z^m. In the special case of central arrangements, Kamiya, Takemura and Terao [J. Algebraic Combin., to appear] showed that the cardinality of the complement of A_q in Z_q^m is a quasi-polynomial in q. Moreover, they proved in the central case that the intersection lattice of A_q is periodic from some q on. The present paper generalizes these results to the case of non-central arrangements. The paper also studies the arrangement B_m^{[0,a]} of Athanasiadis [J. Algebraic Combin. Vol.10 (1999), 207-225] to illustrate our results.

math.CO↗