-
$K$-theoretic computation of the Atiyah(-Patodi)-Singer index of lattice Dirac operators
Authors:
Shoto Aoki,
Hidenori Fukaya,
Mikio Furuta,
Shinichiroh Matsuo,
Tetsuya Onogi,
Satoshi Yamaguchi
Abstract:
We show that the Wilson Dirac operator in lattice gauge theory can be identified as a mathematical object in $K$-theory and that its associated spectral flow is equal to the index. In comparison to the standard lattice Dirac operator index, our formulation does not require the Ginsparg-Wilson relation and has broader applicability to systems with boundaries and to the mod-two version of the indice…
▽ More
We show that the Wilson Dirac operator in lattice gauge theory can be identified as a mathematical object in $K$-theory and that its associated spectral flow is equal to the index. In comparison to the standard lattice Dirac operator index, our formulation does not require the Ginsparg-Wilson relation and has broader applicability to systems with boundaries and to the mod-two version of the indices in general dimensions. We numerically verify that the $K$ and $KO$ group formulas reproduce the known index theorems in continuum theory. We examine the Atiyah-Singer index on a flat two-dimensional torus and, for the first time, demonstrate that the Atiyah-Patodi-Singer index with nontrivial curved boundaries, as well as the mod-two versions, can be computed on a lattice.
△ Less
Submitted 7 July, 2025; v1 submitted 31 March, 2025;
originally announced March 2025.
-
$η$ invariant of massive Wilson Dirac operator and the index
Authors:
Shoto Aoki,
Hidenori Fukaya,
Mikio Furuta,
Shinichiroh Matsuo,
Tetsuya Onogi,
Satoshi Yamaguchi
Abstract:
We revisit the lattice index theorem in the perspective of $K$-theory. The standard definition given by the overlap Dirac operator equals to the $η$ invariant of the Wilson Dirac operator with a negative mass. This equality is not coincidental but reflects a mathematically profound significance known as the suspension isomorphism of $K$-groups. Specifically, we identify the Wilson Dirac operator a…
▽ More
We revisit the lattice index theorem in the perspective of $K$-theory. The standard definition given by the overlap Dirac operator equals to the $η$ invariant of the Wilson Dirac operator with a negative mass. This equality is not coincidental but reflects a mathematically profound significance known as the suspension isomorphism of $K$-groups. Specifically, we identify the Wilson Dirac operator as an element of the $K^1$ group, which is characterized by the $η$-invariant. Furthermore, we prove that, at sufficiently small but finite lattice spacings, this $η$-invariant equals to the index of the continuum Dirac operator. Our results indicate that the Ginsparg-Wilson relation and the associated exact chiral symmetry are not essential for understanding gauge field topology in lattice gauge theory.
△ Less
Submitted 27 January, 2025; v1 submitted 6 January, 2025;
originally announced January 2025.
-
An Ising Machine Formulation for Design Updates in Topology Optimization of Flow Channels
Authors:
Yudai Suzuki,
Shiori Aoki,
Fabian Key,
Katsuhiro Endo,
Yoshiki Matsuda,
Shu Tanaka,
Marek Behr,
Mayu Muramatsu
Abstract:
Topology optimization is an essential tool in computational engineering, for example, to improve the design and efficiency of flow channels. At the same time, Ising machines, including digital or quantum annealers, have been used as efficient solvers for combinatorial optimization problems. Beyond combinatorial optimization, recent works have demonstrated applicability to other engineering tasks b…
▽ More
Topology optimization is an essential tool in computational engineering, for example, to improve the design and efficiency of flow channels. At the same time, Ising machines, including digital or quantum annealers, have been used as efficient solvers for combinatorial optimization problems. Beyond combinatorial optimization, recent works have demonstrated applicability to other engineering tasks by tailoring corresponding problem formulations. In this study, we present a novel Ising machine formulation for computing design updates during topology optimization with the goal of minimizing dissipation energy in flow channels. We explore the potential of this approach to improve the efficiency and performance of the optimization process. To this end, we conduct experiments to study the impact of various factors within the novel formulation. Additionally, we compare it to a classical method using the number of optimization steps and the final values of the objective function as indicators of the time intensity of the optimization and the performance of the resulting designs, respectively. Our findings show that the proposed update strategy can accelerate the topology optimization process while producing comparable designs. However, it tends to be less exploratory, which may lead to lower performance of the designs. These results highlight the potential of incorporating Ising formulations for optimization tasks but also show their limitations when used to compute design updates in an iterative optimization process. In conclusion, this work provides an efficient alternative for design updates in topology optimization and enhances the understanding of integrating Ising machine formulations in engineering optimization.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
The index of lattice Dirac operators and $K$-theory
Authors:
Shoto Aoki,
Hidenori Fukaya,
Mikio Furuta,
Shinichiroh Matsuo,
Tetsuya Onogi,
Satoshi Yamaguchi
Abstract:
We mathematically show an equality between the index of a Dirac operator on a flat continuum torus and the $η$ invariant of a lattice Dirac operator known as the Wilson Dirac operator with a negative mass when the lattice spacing is sufficiently small. Unlike the standard approach, our formulation using $K$-theory does not require modified chiral symmetry on the lattice. We prove that a one-parame…
▽ More
We mathematically show an equality between the index of a Dirac operator on a flat continuum torus and the $η$ invariant of a lattice Dirac operator known as the Wilson Dirac operator with a negative mass when the lattice spacing is sufficiently small. Unlike the standard approach, our formulation using $K$-theory does not require modified chiral symmetry on the lattice. We prove that a one-parameter family of continuum massive Dirac operators and the corresponding Wilson Dirac operators belong to the same equivalence class of the $K^1$ group at a finite lattice spacing. Their indices, which are evaluated by the spectral flow or equivalently by the $η$ invariant at a finite mass, are proved to be equal.
△ Less
Submitted 2 June, 2025; v1 submitted 24 July, 2024;
originally announced July 2024.
-
Use of indicator functions to enumerate cross-array designs without direct product structure
Authors:
Satoshi Aoki,
Masayuki Noro
Abstract:
Use of polynomial indicator functions to enumerate fractional factorial designs with given properties is first introduced by Fontana, Pistone and Rogantin (2000) for two-level factors, and generalized by Aoki (2019) for multi-level factors. In this paper, we apply this theory to enumerate cross-array designs. For the experiments of several control factors and noise factors, use of the cross-array…
▽ More
Use of polynomial indicator functions to enumerate fractional factorial designs with given properties is first introduced by Fontana, Pistone and Rogantin (2000) for two-level factors, and generalized by Aoki (2019) for multi-level factors. In this paper, we apply this theory to enumerate cross-array designs. For the experiments of several control factors and noise factors, use of the cross-array designs with direct product structure is widespread as an effective robust strategy in Taguchi method. In this paper, we relax this direct product structure to reduce the size of the designs. We obtain 24-runs cross-array designs without direct product structure with some desirable properties for 6 control factors and 3 noise factors, each with two-levels, instead of 32-runs design that is widely used.
△ Less
Submitted 24 October, 2022; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Algebra of Hyperbolic Band Theory under Magnetic Field
Authors:
Kazuki Ikeda,
Yoshiyuki Matsuki,
Shoto Aoki
Abstract:
We explore algebras associated with the hyperbolic band theory under a magnetic field for the first time. We define the magnetic Fuchsian group associated with a higher genus Riemann surface. By imposing the magnetic boundary conditions for the hyperbolic Bloch states, we construct the hyperbolic magnetic Bloch states and investigate their energy spectrum. We give a connection between such magneti…
▽ More
We explore algebras associated with the hyperbolic band theory under a magnetic field for the first time. We define the magnetic Fuchsian group associated with a higher genus Riemann surface. By imposing the magnetic boundary conditions for the hyperbolic Bloch states, we construct the hyperbolic magnetic Bloch states and investigate their energy spectrum. We give a connection between such magnetic Bloch states and automorphic forms. Our theory is a general extension of the conventional algebra associated with the band theory defined on a Euclidean lattice/space into that of the band theory on a general hyperbolic lattice/Riemann surface.
△ Less
Submitted 29 May, 2023; v1 submitted 22 July, 2021;
originally announced July 2021.
-
Hyperbolic Band Theory under Magnetic Field and Dirac Cones on a Higher Genus Surface
Authors:
Kazuki Ikeda,
Shoto Aoki,
Yoshiyuki Matsuki
Abstract:
We explore the hyperbolic band theory under a magnetic field for the first time. Our theory is a general extension of the conventional band theory defined on a Euclidean lattice into the band theory on a general hyperbolic lattice/Riemann surface. Our methods and results can be confirmed experimentally by circuit quantum electrodynamics (cQED), which enables us to create novel materials in a hyper…
▽ More
We explore the hyperbolic band theory under a magnetic field for the first time. Our theory is a general extension of the conventional band theory defined on a Euclidean lattice into the band theory on a general hyperbolic lattice/Riemann surface. Our methods and results can be confirmed experimentally by circuit quantum electrodynamics (cQED), which enables us to create novel materials in a hyperbolic space. To investigate the band structures, we construct directly the hyperbolic magnetic Bloch states and find that they form Dirac cones on a coordinate neighborhood, by which they can be regarded as a global quantum gravity solution detectable in a laboratory. Besides this is the first explicit example of a massless Dirac state on a higher genus surface. Moreover we show that the energy spectrum exhibits an unusual fractal structure refracting the negative curvature, when plotted as a function of a magnetic flux.
△ Less
Submitted 23 July, 2021; v1 submitted 27 April, 2021;
originally announced April 2021.
-
Characterizations of indicator functions and contrast representations of fractional factorial designs with multi-level factors
Authors:
Satoshi Aoki
Abstract:
A polynomial indicator function of designs is first introduced by Fontana, Pistone and Rogantin (2000) for two-level designs. They give the structure of the indicator function of two-level designs, especially from the viewpoints of the orthogonality of the designs. Based on these structure, they use the indicator functions to classify all the orthogonal fractional factorial designs with given size…
▽ More
A polynomial indicator function of designs is first introduced by Fontana, Pistone and Rogantin (2000) for two-level designs. They give the structure of the indicator function of two-level designs, especially from the viewpoints of the orthogonality of the designs. Based on these structure, they use the indicator functions to classify all the orthogonal fractional factorial designs with given sizes using computational algebraic software. In this paper, generalizing the results on two-level designs, the structure of the indicator functions for multi-level designs is derived. We give a system of algebraic equations for the coefficients of indicator functions of fractional factorial designs with given orthogonality. We also give another representation of the indicator function, a contrast representation, which reflects the size and the orthogonality of the corresponding design directly. The contrast representation is determined by a contrast matrix, and does not depend on the level-coding, which is one of the advantages of it. We use these results to classify orthogonal $2^3\times 3$ designs with strength $2$ and orthogonal $2^4\times 3$ designs with strength $3$ by computational algebraic software.
△ Less
Submitted 14 February, 2019; v1 submitted 19 October, 2018;
originally announced October 2018.
-
An introduction to computational algebraic statistics
Authors:
Satoshi Aoki
Abstract:
In this paper, we introduce the fundamental notion of a Markov basis, which is one of the first connections between commutative algebra and statistics. The notion of a Markov basis is first introduced by Diaconis and Sturmfels (1998) for conditional testing problems on contingency tables by Markov chain Monte Carlo methods. In this method, we make use of a connected Markov chain over the given con…
▽ More
In this paper, we introduce the fundamental notion of a Markov basis, which is one of the first connections between commutative algebra and statistics. The notion of a Markov basis is first introduced by Diaconis and Sturmfels (1998) for conditional testing problems on contingency tables by Markov chain Monte Carlo methods. In this method, we make use of a connected Markov chain over the given conditional sample space to estimate the P-values numerically for various conditional tests. A Markov basis plays an importance role in this arguments, because it guarantees the connectivity of the chain, which is needed for unbiasedness of the estimate, for arbitrary conditional sample space. As another important point, a Markov basis is characterized as generators of the well-specified toric ideals of polynomial rings. This connection between commutative algebra and statistics is the main result of Diaconis and Sturmfels (1998). After this first paper, a Markov basis is studied intensively by many researchers both in commutative algebra and statistics, which yields an attractive field called computational algebraic statistics. In this paper, we give a review of the Markov chain Monte Carlo methods for contingency tables and Markov bases, with some fundamental examples. We also give some computational examples by algebraic software Macaulay2 and statistical software R. Readers can also find theoretical details of the problems considered in this paper and various results on the structure and examples of Markov bases in Aoki, Hara and Takemura (2012).
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Markov chain Monte Carlo methods for the Box-Behnken designs and centrally symmetric configurations
Authors:
Satoshi Aoki,
Takayuki Hibi,
Hidefumi Ohsugi
Abstract:
We consider Markov chain Monte Carlo methods for calculating conditional p values of statistical models for count data arising in Box-Behnken designs. The statistical model we consider is a discrete version of the first-order model in the response surface methodology. For our models, the Markov basis, a key notion to construct a connected Markov chain on a given sample space, is characterized as g…
▽ More
We consider Markov chain Monte Carlo methods for calculating conditional p values of statistical models for count data arising in Box-Behnken designs. The statistical model we consider is a discrete version of the first-order model in the response surface methodology. For our models, the Markov basis, a key notion to construct a connected Markov chain on a given sample space, is characterized as generators of the toric ideals for the centrally symmetric configurations of root system D_n. We show the structure of the Groebner bases for these cases. A numerical example for an imaginary data set is given.
△ Less
Submitted 8 February, 2015;
originally announced February 2015.
-
Markov chain Monte Carlo methods for the regular two-level fractional factorial designs and cut ideals
Authors:
Satoshi Aoki,
Takayuki Hibi,
Hidefumi Ohsugi
Abstract:
It is known that a Markov basis of the binary graph model of a graph $G$ corresponds to a set of binomial generators of cut ideals $I_{\widehat{G}}$ of the suspension $\widehat{G}$ of $G$. In this paper, we give another application of cut ideals to statistics. We show that a set of binomial generators of cut ideals is a Markov basis of some regular two-level fractional factorial design. As applica…
▽ More
It is known that a Markov basis of the binary graph model of a graph $G$ corresponds to a set of binomial generators of cut ideals $I_{\widehat{G}}$ of the suspension $\widehat{G}$ of $G$. In this paper, we give another application of cut ideals to statistics. We show that a set of binomial generators of cut ideals is a Markov basis of some regular two-level fractional factorial design. As application, we give a Markov basis of degree 2 for designs defined by at most two relations.
△ Less
Submitted 12 February, 2013;
originally announced February 2013.
-
Minimal Markov basis for tests of main effect models for $2^{p-1}$ fractional factorial designs of resolution $p$
Authors:
Satoshi Aoki
Abstract:
We consider conditional exact tests of factor effects in designed experiments for discrete response variables. Similarly to the analysis of contingency tables, Markov chain Monte Carlo methods can be used for performing exact tests, especially when large-sample approximations of the null distributions are poor and the enumeration of the conditional sample space is infeasible. To construct a connec…
▽ More
We consider conditional exact tests of factor effects in designed experiments for discrete response variables. Similarly to the analysis of contingency tables, Markov chain Monte Carlo methods can be used for performing exact tests, especially when large-sample approximations of the null distributions are poor and the enumeration of the conditional sample space is infeasible. To construct a connected Markov chain over the appropriate sample space, a common approach is to compute a Markov basis. Theoretically, a Markov basis can be characterized as a generator of a well-specified toric ideal in a polynomial ring and is computed by computational algebraic softwares. However, the computation of a Markov basis sometimes becomes infeasible even for problems of moderate sizes. In this paper, we obtain the closed form expression of minimal Markov bases for the main effect models of $2^{p-1}$ fractional factorial designs of resolution $p$.
△ Less
Submitted 12 March, 2014; v1 submitted 11 February, 2013;
originally announced February 2013.
-
Running Markov chain without Markov basis
Authors:
Hisayuki Hara,
Satoshi Aoki,
Akimichi Takemura
Abstract:
The methodology of Markov basis initiated by Diaconis and Sturmfels(1998) stimulated active research on Markov bases for more than ten years. It also motivated improvements of algorithms for Grobner basis computation for toric ideals, such as those implemented in 4ti2. However at present explicit forms of Markov bases are known only for some relatively simple models, such as the decomposable model…
▽ More
The methodology of Markov basis initiated by Diaconis and Sturmfels(1998) stimulated active research on Markov bases for more than ten years. It also motivated improvements of algorithms for Grobner basis computation for toric ideals, such as those implemented in 4ti2. However at present explicit forms of Markov bases are known only for some relatively simple models, such as the decomposable models of contingency tables. Furthermore general algorithms for Markov bases computation often fail to produce Markov bases even for moderate-sized models in a practical amount of time. Hence so far we could not perform exact tests based on Markov basis methodology for many important practical problems.
In this article we propose to use lattice bases for performing exact tests, in the case where Markov bases are not known. Computation of lattice bases is much easier than that of Markov bases. With many examples we show that the approach with lattice bases is practical. We also check that its performance is comparable to Markov bases for the problems where Markov bases are known.
△ Less
Submitted 31 August, 2011;
originally announced September 2011.
-
Some characterizations of affinely full-dimensional factorial designs
Authors:
Satoshi Aoki,
Akimichi Takemura
Abstract:
A new class of two-level non-regular fractional factorial designs is defined. We call this class an {\it affinely full-dimensional factorial design}, meaning that design points in the design of this class are not contained in any affine hyperplane in the vector space over $\mathbb{F}_2$. The property of the indicator function for this class is also clarified. A fractional factorial design in thi…
▽ More
A new class of two-level non-regular fractional factorial designs is defined. We call this class an {\it affinely full-dimensional factorial design}, meaning that design points in the design of this class are not contained in any affine hyperplane in the vector space over $\mathbb{F}_2$. The property of the indicator function for this class is also clarified. A fractional factorial design in this class has a desirable property that parameters of the main effect model are simultaneously identifiable. We investigate the property of this class from the viewpoint of $D$-optimality. In particular, for the saturated designs, the $D$-optimal design is chosen from this class for the run sizes $r \equiv 5,6,7$ (mod 8).
△ Less
Submitted 30 November, 2008;
originally announced December 2008.
-
Perturbation method for determining the group of invariance of hierarchical models
Authors:
Tomonari Sei,
Satoshi Aoki,
Akimichi Takemura
Abstract:
We propose a perturbation method for determining the (largest) group of invariance of a toric ideal defined in Aoki and Takemura [2008a]. In the perturbation method, we investigate how a generic element in the row space of the configuration defining a toric ideal is mapped by a permutation of the indeterminates. Compared to the proof in Aoki and Takemura [2008a] which was based on stabilizers of…
▽ More
We propose a perturbation method for determining the (largest) group of invariance of a toric ideal defined in Aoki and Takemura [2008a]. In the perturbation method, we investigate how a generic element in the row space of the configuration defining a toric ideal is mapped by a permutation of the indeterminates. Compared to the proof in Aoki and Takemura [2008a] which was based on stabilizers of a subset of indeterminates, the perturbation method gives a much simpler proof of the group of invariance. In particular, we determine the group of invariance for a general hierarchical model of contingency tables in statistics, under the assumption that the numbers of the levels of the factors are generic. We prove that it is a wreath product indexed by a poset related to the intersection poset of the maximal interaction effects of the model.
△ Less
Submitted 25 March, 2009; v1 submitted 20 August, 2008;
originally announced August 2008.
-
Groebner bases of nested configurations
Authors:
Satoshi Aoki,
Takayuki Hibi,
Hidefumi Ohsugi,
Akimichi Takemura
Abstract:
In this paper we introduce a new and large family of configurations whose toric ideals possess quadratic Groebner bases. As an application, a generalization of algebras of Segre-Veronese type will be studied.
In this paper we introduce a new and large family of configurations whose toric ideals possess quadratic Groebner bases. As an application, a generalization of algebras of Segre-Veronese type will be studied.
△ Less
Submitted 7 January, 2008;
originally announced January 2008.
-
Markov basis and Groebner basis of Segre-Veronese configuration for testing independence in group-wise selections
Authors:
Satoshi Aoki,
Takayuki Hibi,
Hidefumi Ohsugi,
Akimichi Takemura
Abstract:
We consider testing independence in group-wise selections with some restrictions on combinations of choices. We present models for frequency data of selections for which it is easy to perform conditional tests by Markov chain Monte Carlo (MCMC) methods. When the restrictions on the combinations can be described in terms of a Segre-Veronese configuration, an explicit form of a Gröbner basis consi…
▽ More
We consider testing independence in group-wise selections with some restrictions on combinations of choices. We present models for frequency data of selections for which it is easy to perform conditional tests by Markov chain Monte Carlo (MCMC) methods. When the restrictions on the combinations can be described in terms of a Segre-Veronese configuration, an explicit form of a Gröbner basis consisting of moves of degree two is readily available for performing a Markov chain. We illustrate our setting with the National Center Test for university entrance examinations in Japan. We also apply our method to testing independence hypotheses involving genotypes at more than one locus or haplotypes of alleles on the same chromosome.
△ Less
Submitted 5 February, 2008; v1 submitted 9 April, 2007;
originally announced April 2007.
-
Minimal and minimal invariant Markov bases of decomposable models for contingency tables
Authors:
Hisayuki Hara,
Satoshi Aoki,
Akimichi Takemura
Abstract:
We study Markov bases of decomposable graphical models consisting of primitive moves (i.e., square-free moves of degree two) by determining the structure of fibers of sample size two. We show that the number of elements of fibers of sample size two are powers of two and we characterize primitive moves in Markov bases in terms of connected components of induced subgraphs of the independence graph…
▽ More
We study Markov bases of decomposable graphical models consisting of primitive moves (i.e., square-free moves of degree two) by determining the structure of fibers of sample size two. We show that the number of elements of fibers of sample size two are powers of two and we characterize primitive moves in Markov bases in terms of connected components of induced subgraphs of the independence graph of a hierarchical model. This allows us to derive a complete description of minimal Markov bases and minimal invariant Markov bases for decomposable models.
△ Less
Submitted 23 February, 2010; v1 submitted 15 January, 2007;
originally announced January 2007.
-
Markov chain Monte Carlo tests for designed experiments
Authors:
Satoshi Aoki,
Akimichi Takemura
Abstract:
We consider conditional exact tests of factor effects in designed experiments for discrete response variables. Similarly to the analysis of contingency tables, a Markov chain Monte Carlo method can be used for performing exact tests, when large-sample approximations are poor and the enumeration of the conditional sample space is infeasible. For designed experiments with a single observation for…
▽ More
We consider conditional exact tests of factor effects in designed experiments for discrete response variables. Similarly to the analysis of contingency tables, a Markov chain Monte Carlo method can be used for performing exact tests, when large-sample approximations are poor and the enumeration of the conditional sample space is infeasible. For designed experiments with a single observation for each run, we formulate log-linear or logistic models and consider a connected Markov chain over an appropriate sample space. In particular, we investigate fractional factorial designs with $2^{p-q}$ runs, noting correspondences to the models for $2^{p-q}$ contingency tables.
△ Less
Submitted 15 November, 2006;
originally announced November 2006.
-
Indispensable monomials of toric ideals and Markov bases
Authors:
Satoshi Aoki,
Akimichi Takemura,
Ruriko Yoshida
Abstract:
Extending the notion of indispensable binomials of a toric ideal, we define indispensable monomials of a toric ideal and establish some of their properties. They are useful for searching indispensable binomials of a toric ideal and for proving the existence or non-existence of a unique minimal system of binomials generators of a toric ideal. Some examples of indispensable monomials from statisti…
▽ More
Extending the notion of indispensable binomials of a toric ideal, we define indispensable monomials of a toric ideal and establish some of their properties. They are useful for searching indispensable binomials of a toric ideal and for proving the existence or non-existence of a unique minimal system of binomials generators of a toric ideal. Some examples of indispensable monomials from statistical models for contingency tables are given.
△ Less
Submitted 6 March, 2006; v1 submitted 11 November, 2005;
originally announced November 2005.
