SearcharxivSearch

arXiv subjects

Naoki Fujita

Publications and source records attributed to Naoki Fujita.

At least 19 recordsLinked to original sources

Polyptych lattices and marked chain-order polytopes

The theory of polyptych lattices is a framework to obtain a family of toric degenerations whose polytopes are related by piecewise-linear transformations. It can be regarded as a generalization of toric degenerations arising from cluster algebras. In this paper, we study polyptych lattices consisting of transfer maps for marked chain-order polytopes, and obtain a family of toric degenerations of a projective variety to marked chain-order polytopes for the Gelfand-Tsetlin poset. We also compute the Cox ring of this projective variety.

math.AG

Newton-Okounkov polytopes of Schubert varieties arising from cluster structures

The theory of Newton-Okounkov bodies is a generalization of that of Newton polytopes for toric varieties, and it gives a systematic method of constructing toric degenerations of projective varieties. In this paper, we study Newton-Okounkov bodies of Schubert varieties from the theory of cluster algebras. We construct Newton-Okounkov bodies using specific valuations which generalize extended g-vectors in cluster theory, and discuss how these bodies are related to string polytopes and Nakashima-Zelevinsky polytopes.

math.RT

On combinatorics of string polytopes in types $B$ and $C$

A string polytope is a rational convex polytope whose lattice points parametrize a highest weight crystal basis, which is obtained from a string cone by explicit affine inequalities depending on a highest weight. It also inherits geometric information of a flag variety such as toric degenerations, Newton-Okounkov bodies, mirror symmetry, Schubert calculus, and so on. In this paper, we study combinatorial properties of string polytopes in types $B$ and $C$ by giving an explicit description of string cones in these types which is analogous to Gleizer-Postnikov's description of string cones in type $A$. As an application, we characterize string polytopes in type $C$ which are unimodularly equivalent to the Gelfand-Tsetlin polytope in type $C$ for a specific highest weight.

math.CO

Newton-Okounkov polytopes of type $A$ flag varieties of small ranks arising from cluster structures

A flag variety is a smooth projective homogeneous variety. In this paper, we study Newton-Okounkov polytopes of the flag variety $Fl(\mathbb{C}^4)$ arising from its cluster structure. More precisely, we present defining inequalities of such Newton-Okounkov polytopes of $Fl(\mathbb{C}^4)$. Moreover, we classify these polytopes, establishing their equivalence under unimodular transformations.

math.AG

Combinatorics of semi-toric degenerations of Schubert varieties in type C

An approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Using the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced Kogan faces. The first named author introduced a generalization of reduced Kogan faces to symplectic Gelfand-Tsetlin polytopes using a semi-toric degeneration of a Schubert variety, and extended the result of Kiritchenko-Smirnov-Timorin to type C case. In this paper, we introduce a combinatorial model to this type C generalization using a kind of pipe dream with self-crossings. As an application, we prove that the type C generalization can be constructed by skew mitosis operators.

math.CO

Pairing optimization via statistics: Algebraic structure in pairing problems and its application to performance enhancement

Fully pairing all elements of a set while attempting to maximize the total benefit is a combinatorically difficult problem. Such pairing problems naturally appear in various situations in science, technology, economics, and other fields. In our previous study, we proposed an efficient method to infer the underlying compatibilities among the entities, under the constraint that only the total compatibility is observable. Furthermore, by transforming the pairing problem into a traveling salesman problem with a multi-layer architecture, a pairing optimization algorithm was successfully demonstrated to derive a high-total-compatibility pairing. However, there is substantial room for further performance enhancement by further exploiting the underlying mathematical properties. In this study, we prove the existence of algebraic structures in the pairing problem. We transform the initially estimated compatibility information into an equivalent form where the variance of the individual compatibilities is minimized. We then demonstrate that the total compatibility obtained when using the heuristic pairing algorithm on the transformed problem is significantly higher compared to the previous method. With this improved perspective on the pairing problem using fundamental mathematical properties, we can contribute to practical applications such as wireless communications beyond 5G, where efficient pairing is of critical importance.

cs.DS

Efficient Pairing in Unknown Environments: Minimal Observations and TSP-based Optimization

Generating paired sequences with maximal compatibility from a given set is one of the most important challenges in various applications, including information and communication technologies. However, the number of possible pairings explodes in a double factorial order as a function of the number of entities, manifesting the difficulties of finding the optimal pairing that maximizes the overall reward. In the meantime, in real-world systems, such as user pairing in non-orthogonal multiple access (NOMA), pairing often needs to be conducted at high speed in dynamically changing environments; hence, efficient recognition of the environment and finding high reward pairings are highly demanded. In this paper, we demonstrate an efficient pairing algorithm to recognize compatibilities among elements as well as to find a pairing that yields a high total compatibility. The proposed pairing strategy consists of two phases. The first is the observation phase, where compatibility information among elements is obtained by only observing the sum of rewards. We show an efficient strategy that allows obtaining all compatibility information with minimal observations. The minimum number of observations under these conditions is also discussed, along with its mathematical proof. The second is the combination phase, by which a pairing with a large total reward is determined heuristically. We transform the pairing problem into a traveling salesman problem (TSP) in a three-layer graph structure, which we call Pairing-TSP. We demonstrate heuristic algorithms in solving the Pairing-TSP efficiently. This research is expected to be utilized in real-world applications such as NOMA, social networks, among others.

cs.DS

Semi-toric degenerations of Richardson varieties arising from cluster structures on flag varieties

A toric degeneration of an irreducible variety is a flat degeneration to an irreducible toric variety. In the case of a flag variety, its toric degeneration with desirable properties induces degenerations of Richardson varieties to unions of irreducible closed toric subvarieties, called semi-toric degenerations. For instance, Morier-Genoud proved that Caldero's toric degenerations arising from string polytopes have this property. Semi-toric degenerations are closely related to Schubert calculus. Indeed, Kogan-Miller constructed semi-toric degenerations of Schubert varieties from Knutson-Miller's semi-toric degenerations of matrix Schubert varieties which give a geometric proof of the pipe dream formula of Schubert polynomials. In this paper, we focus on a toric degeneration of a flag variety arising from a cluster structure, and prove that it induces semi-toric degenerations of Richardson varieties. Our semi-toric degeneration can be regarded as a generalization of Morier-Genoud's and Kogan-Miller's semi-toric degenerations.

math.AG

Newton-Okounkov polytopes of flag varieties and marked chain-order polytopes

Marked chain-order polytopes are convex polytopes constructed from a marked poset, which give a discrete family relating a marked order polytope with a marked chain polytope. In this paper, we consider the Gelfand-Tsetlin poset of type A, and realize the associated marked chain-order polytopes as Newton-Okounkov bodies of the flag variety. Our realization connects previous realizations of Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann-Vinberg polytopes as Newton-Okounkov bodies in a uniform way. As an application, we prove that the flag variety degenerates into the irreducible normal projective toric variety corresponding to a marked chain-order polytope. We also construct a specific basis of an irreducible highest weight representation which is naturally parametrized by the set of lattice points in a marked chain-order polytope.

math.AG

Newton-Okounkov bodies of flag varieties and combinatorial mutations

A Newton-Okounkov body is a convex body constructed from a projective variety with a globally generated line bundle and with a higher rank valuation on the function field, which gives a systematic method of constructing toric degenerations of projective varieties. Its combinatorial properties heavily depend on the choice of a valuation, and it is a fundamental problem to relate Newton-Okounkov bodies associated with different kinds of valuations. In this paper, we address this problem for flag varieties using the framework of combinatorial mutations which was introduced in the context of mirror symmetry for Fano manifolds. By applying iterated combinatorial mutations, we connect specific Newton-Okounkov bodies of flag varieties including string polytopes, Nakashima-Zelevinsky polytopes, and FFLV polytopes.

math.RT

Schubert calculus from polyhedral parametrizations of Demazure crystals

One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.

math.RT

Algebraic and geometric properties of flag Bott-Samelson varieties and applications to representations

We introduce the notion of flag Bott-Samelson variety as a generalization of Bott-Samelson variety and flag variety. Using a birational morphism from an appropriate Bott-Samelson variety to a flag Bott-Samelson variety, we compute Newton-Okounkov bodies of flag Bott-Samelson varieties as generalized string polytopes, which are applied to give polyhedral expressions for irreducible decompositions of tensor products of $G$-modules. Furthermore, we show that flag Bott-Samelson varieties are degenerated into flag Bott manifolds with higher rank torus actions, and find the Duistermaat-Heckman measures of the moment map images of flag Bott-Samelson varieties with the torus action together with invariant closed $2$-forms.

math.AG

Fano and weak Fano Hessenberg varieties

Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti-canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.

math.AG

Polyhedral realizations of crystal bases and convex-geometric Demazure operators

The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a toric degeneration. In this paper, we prove that a specific class of this polytope is given by Kiritchenko's Demazure operators on polytopes. This implies that polytopes in this class are all lattice polytopes. As an application, we give a sufficient condition for the corresponding toric variety to be Gorenstein Fano.

math.AG

Geometry of regular Hessenberg varieties

Let $\mathfrak{g}$ be a complex semisimple Lie algebra. For a regular element $x$ in $\mathfrak{g}$ and a Hessenberg space $H\subseteq \mathfrak{g}$, we consider a regular Hessenberg variety $X(x,H)$ in the flag variety associated with $\mathfrak{g}$. We take a Hessenberg space so that $X(x,H)$ is irreducible, and show that the higher cohomology groups of the structure sheaf of $X(x,H)$ vanish. We also study the flat family of regular Hessenberg varieties, and prove that the scheme-theoretic fibers over the closed points are reduced. We include applications of these results as well.

math.AG

A comparison of Newton-Okounkov polytopes of Schubert varieties

A Newton-Okounkov body is a convex body constructed from a polarized variety with a valuation on its function field. Kaveh (resp., the first author and Naito) proved that the Newton-Okounkov body of a Schubert variety associated with a specific valuation is identical to the Littelmann string polytope (resp., the Nakashima-Zelevinsky polyhedral realization) of a Demazure crystal. These specific valuations are defined algebraically to be the highest term valuations with respect to certain local coordinate systems on a Bott-Samelson variety. Another class of valuations, which is geometrically natural, arises from some sequence of subvarieties of a polarized variety. In this paper, we show that the highest term valuation used by Kaveh (resp., by the first author and Naito) and the valuation coming from a sequence of specific subvarieties of the Schubert variety are identical on a perfect basis with some positivity properties. The existence of such a perfect basis follows from a categorification of the negative part of the quantized enveloping algebra. As a corollary, we prove that the associated Newton-Okounkov bodies coincide through an explicit affine transformation.

math.AG

Folding procedure for Newton-Okounkov polytopes of Schubert varieties

The theory of Newton-Okounkov polytopes is a generalization of that of Newton polytopes for toric varieties, and it gives a systematic method of constructing toric degenerations of a projective variety. In the case of Schubert varieties, their Newton-Okounkov polytopes are deeply connected with representation theory. Indeed, Littelmann's string polytopes and Nakashima-Zelevinsky's polyhedral realizations are obtained as Newton-Okounkov polytopes of Schubert varieties. In this paper, we apply the folding procedure to a Newton-Okounkov polytope of a Schubert variety, which relates Newton-Okounkov polytopes of Schubert varieties of different types. As an application of this result, we obtain a new interpretation of Kashiwara's similarity of crystal bases.

math.AG

Khovanskii bases of Cox-Nagata rings and tropical geometry

The Cox ring of a del Pezzo surface of degree 3 has a distinguished set of 27 minimal generators. We investigate conditions under which the initial forms of these generators generate the initial algebra of this Cox ring. Sturmfels and Xu provide a classification in the case of degree 4 del Pezzo surfaces by subdividing the tropical Grassmannian $\operatorname{TGr}(2,\mathbb{Q}^5)$. After providing the necessary background on Cox-Nagata rings and Khovanskii bases, we review the classification obtained by Sturmfels and Xu. Then we describe our classification problem in the degree 3 case and its connections to tropical geometry. In particular, we show that two natural candidates, $\operatorname{TGr}(3,\mathbb{Q}^6)$ and the Naruki fan, are insufficient to carry out the classification.

math.AG