arXiv subjects

Kota Takeuchi

Publications and source records attributed to Kota Takeuchi.

6 recordsLinked to original sources

arXiv2025

Classification of $T^2/Z_m$ orbifold boundary conditions in $SO(N)$ gauge theories

We generally classify the equivalence classes of the $T^2/Z_m$ $(m=2,3,4,6)$ orbifold boundary conditions (BCs) for the $SO(N)$ gauge group. Higher-dimensional gauge theories are defined by gauge groups, matter field contents, and the BCs. The numerous patterns of the BCs are classified into the finite equivalence classes, each of which consists of the physically equivalent BCs. In this paper, we reconstruct the canonical forms of the BCs for the $SO(N)$ gauge group through the ``re-orthogonalization method." All the possible equivalent relations between the canonical forms are examined by using the trace conservation laws. The number of the equivalence classes in each orbifold model is obtained.

hep-th↗

arXiv2024

Trace conservation laws in $T^2/Z_m$ orbifold gauge theories

Gauge theory compactified on an orbifold is defined by gauge symmetry, matter contents, and boundary conditions. There are equivalence classes (ECs), each of which consists of physically equivalent boundary conditions. We propose the powerful necessary conditions, trace conservation laws (TCLs), which achieve a sufficient classification of ECs in U(N) and SU(N) gauge theories on $T^2/Z_m$ orbifolds $(m=2,3,4,6)$. The TCLs yield the equivalent relations between the diagonal boundary conditions without relying on an explicit form of gauge transformations. The TCLs also show the existence of off-diagonal ECs, which consist only of off-diagonal matrices, on $T^2/Z_4$ and $T^2/Z_6$. After the sufficient classification, the exact numbers of ECs are obtained.

hep-th↗

arXiv2024

New classification method for Equivalence Classes on $S^1/Z_2$ and $T^2/Z_3$ Orbifolds

In five- and six-dimensional $U(N)$ and $SU(N)$ gauge theories compactified on $S^1/Z_2$ and $T^2/Z_3$ orbifolds, we propose a new method to classify the equivalence classes (ECs) of boundary conditions (BCs) wihtout depending on the structure of gauge transformations. Some of the BCs are connected through gauge transformations and constitute ECs, each of which contains physically equivalent BCs. Previous methods for classifying ECs have been used specific gauge transformations. In this paper, we show that a geometric property of orbifolds significantly narrows down the possibilities of connecting BCs and completes the classification of ECs.

hep-th↗

arXiv2023

Approach to the arbitrariness problem of boundary conditions in $S^1/Z_2$ brane-world models

We study the arbitrariness of boundary conditions (BCs) on $S^1/Z_2$ brane-world models with the gauge group $U(N)$. The BCs are chosen independently on the branes and the bulk in this model. There are numerous choices for BCs in general, but some of the BCs are connected through gauge transformations. We show that the equivalent relations are obtained on the UV-brane without relying on specific transformation parameters. There is no other equivalent relation on the UV-brane. On the other hand, we find that a gauge transformation with a kink connects all the BCs on the bulk and IR-brane. It means that the arbitrariness of BCs is completely solved on the bulk and the IR-brane except for the UV-brane.

hep-th↗

arXiv2020

On the number of independent orders

We investigate a model theoretic invariant $κ_{srd}^m(T)$, which was introduced by Shelah in his famous book, and prove that $κ_{srd}^m(T)$ is sub-additive. When $κ_{srd}^m(T)$ is infinite, this gives the equality $κ^m_{srd}(T)=κ^1_{srd}(T)$, answering a question by Shelah. We apply the same proof method to analyze another invariant $κ^m_{ird}(T)$, and show that it is also sub-additive, improving a result in the book.

math.LO↗

arXiv2014

On n-dependence

In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < \omega$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, $n$-dependence corresponds to the inability to encode a random $(n+1)$-partite $(n+1)$-hypergraph with a definable edge relation. Most importantly, we characterize $n$-dependence by counting $\varphi$-types over finite sets (generalizing Sauer-Shelah lemma and answering a question of Shelah) and in terms of the collapse of random ordered $(n+1)$-hypergraph indiscernibles down to order-indiscernibles (which implies that the failure of $n$-dependence is always witnessed by a formula in a single free variable).

math.LO↗