Showing 1–17 of 17 results for author: Naoi, K

EPCFormer: Expression Prompt Collaboration Transformer for Universal Referring Video Object Segmentation

Authors: Jiajun Chen, Jiacheng Lin, Zhiqiang Xiao, Haolong Fu, Ke Nai, Kailun Yang, Zhiyong Li

Abstract: Audio-guided Video Object Segmentation (A-VOS) and Referring Video Object Segmentation (R-VOS) are two highly-related tasks, which both aim to segment specific objects from video sequences according to user-provided expression prompts. However, due to the challenges in modeling representations for different modalities, contemporary methods struggle to strike a balance between interaction flexibili… ▽ More Audio-guided Video Object Segmentation (A-VOS) and Referring Video Object Segmentation (R-VOS) are two highly-related tasks, which both aim to segment specific objects from video sequences according to user-provided expression prompts. However, due to the challenges in modeling representations for different modalities, contemporary methods struggle to strike a balance between interaction flexibility and high-precision localization and segmentation. In this paper, we address this problem from two perspectives: the alignment representation of audio and text and the deep interaction among audio, text, and visual features. First, we propose a universal architecture, the Expression Prompt Collaboration Transformer, herein EPCFormer. Next, we propose an Expression Alignment (EA) mechanism for audio and text expressions. By introducing contrastive learning for audio and text expressions, the proposed EPCFormer realizes comprehension of the semantic equivalence between audio and text expressions denoting the same objects. Then, to facilitate deep interactions among audio, text, and video features, we introduce an Expression-Visual Attention (EVA) mechanism. The knowledge of video object segmentation in terms of the expression prompts can seamlessly transfer between the two tasks by deeply exploring complementary cues between text and audio. Experiments on well-recognized benchmarks demonstrate that our universal EPCFormer attains state-of-the-art results on both tasks. The source code of EPCFormer will be made publicly available at https://github.com/lab206/EPCFormer. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Comments: The source code will be made publicly available at https://github.com/lab206/EPCFormer

Strong duality Data of type $A$ and extended $T$-systems

Authors: Katsuyuki Naoi

Abstract: The extended $T$-systems are a number of short exact sequences in the category of finite-dimensional modules over the quantum affine algebras of types $A_n^{(1)}$ and $B_n^{(1)}$, introduced by Mukhin and Young as a generalization of the $T$-systems. In this paper we establish the extended $T$-systems for more general modules, which are constructed from an arbitrary strong duality datum of type… ▽ More The extended $T$-systems are a number of short exact sequences in the category of finite-dimensional modules over the quantum affine algebras of types $A_n^{(1)}$ and $B_n^{(1)}$, introduced by Mukhin and Young as a generalization of the $T$-systems. In this paper we establish the extended $T$-systems for more general modules, which are constructed from an arbitrary strong duality datum of type $A$. Our approach does not use the theory of $q$-characters, and so also provides a new proof to the original Mukhin-Young's extended $T$-systems. △ Less

Submitted 26 May, 2024; v1 submitted 24 May, 2023; originally announced May 2023.

Comments: 41 pages; corrected the proof of Proposition 4.1.3 (ver. 2); added some examples. This is the final version (ver.3)

MSC Class: 17B37; 81R50; 17B10

Journal ref: Transformation Groups (2024)

Effect of hirtisation on the roughness and fatigue performance of porous titanium lattice structures

Authors: Reece N. Oosterbeek, Gabriela Sirbu, Selma Hansal, Kenneth Nai, Jonathan R. T. Jeffers

Abstract: Additive manufacturing (AM) has enabled the fabrication of extremely complex components such as porous metallic lattices, which have applications in aerospace, automotive, and in particular biomedical devices. The fatigue resistance of these materials is currently an important limitation however, due to manufacturing defects such as semi-fused particles and weld lines. Here Hirtisation… ▽ More Additive manufacturing (AM) has enabled the fabrication of extremely complex components such as porous metallic lattices, which have applications in aerospace, automotive, and in particular biomedical devices. The fatigue resistance of these materials is currently an important limitation however, due to manufacturing defects such as semi-fused particles and weld lines. Here Hirtisation$^\circledR$ is used for post-processing of Ti-6Al-4V lattices, reducing the strut surface roughness (Sa) from 12 to 6 $μ$m, removing all visible semi-fused particles. The evenness of this treatment in lattices with $ρ/ρ_{s}$ up to 18.3% and treatment depth of 6.5 mm was assessed, finding no evidence of reduced effectiveness on internal surfaces. After normalising to quasi-static mechanical properties to account for material losses during hirtisation (34-37% reduction in strut diameter), the fatigue properties show a marked improvement due to the reduction in surface roughness. Normalised high cycle fatigue strength ($σ_{f,10^{6}}/σ_{y}$) increased from around 0.1 to 0.16-0.21 after hirtisation, an average increase of 80%. For orthopaedic implant devices where matching the stiffness of surrounding bone is crucial, the $σ_{f}/E$ ratio is a key metric. After hirtisation the $σ_{f}/E$ ratio increased by 90%, enabling design of stiffness matched implant materials with greater fatigue strength. This work demonstrates that hirtisation is an effective method for improving the surface roughness of porous lattice materials, thereby enhancing their fatigue performance. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Comments: 10 figures

STURE: Spatial-Temporal Mutual Representation Learning for Robust Data Association in Online Multi-Object Tracking

Authors: Haidong Wang, Zhiyong Li, Ya** Li, Ke Nai, Ming Wen

Abstract: Online multi-object tracking (MOT) is a longstanding task for computer vision and intelligent vehicle platform. At present, the main paradigm is tracking-by-detection, and the main difficulty of this paradigm is how to associate current candidate detections with historical tracklets. However, in the MOT scenarios, each historical tracklet is composed of an object sequence, while each candidate det… ▽ More Online multi-object tracking (MOT) is a longstanding task for computer vision and intelligent vehicle platform. At present, the main paradigm is tracking-by-detection, and the main difficulty of this paradigm is how to associate current candidate detections with historical tracklets. However, in the MOT scenarios, each historical tracklet is composed of an object sequence, while each candidate detection is just a flat image, which lacks temporal features of the object sequence. The feature difference between current candidate detections and historical tracklets makes the object association much harder. Therefore, we propose a Spatial-Temporal Mutual Representation Learning (STURE) approach which learns spatial-temporal representations between current candidate detections and historical sequences in a mutual representation space. For historical trackelets, the detection learning network is forced to match the representations of sequence learning network in a mutual representation space. The proposed approach is capable of extracting more distinguishing detection and sequence representations by using various designed losses in object association. As a result, spatial-temporal feature is learned mutually to reinforce the current detection features, and the feature difference can be relieved. To prove the robustness of the STURE, it is applied to the public MOT challenge benchmarks and performs well compared with various state-of-the-art online MOT trackers based on identity-preserving metrics. △ Less

Submitted 27 March, 2022; v1 submitted 18 January, 2022; originally announced January 2022.

Equivalence between module categories over quiver Hecke algebras and Hernandez-Leclerc's categories in general types

Authors: Katsuyuki Naoi

Abstract: We prove in full generality that the generalized quantum affine Schur-Weyl duality functor, introduced by Kang-Kashiwara-Kim, gives an equivalence between the category of finite-dimensional modules over a quiver Hecke algebra and a certain full subcategory of finite-dimensional modules over a quantum affine algebra which is a generalization of the Hernandez-Leclerc's category $\mathcal{C}_Q$. This… ▽ More We prove in full generality that the generalized quantum affine Schur-Weyl duality functor, introduced by Kang-Kashiwara-Kim, gives an equivalence between the category of finite-dimensional modules over a quiver Hecke algebra and a certain full subcategory of finite-dimensional modules over a quantum affine algebra which is a generalization of the Hernandez-Leclerc's category $\mathcal{C}_Q$. This was previously proved in untwisted $ADE$ types by Fujita using the geometry of quiver varieties, which is not applicable in general. Our proof is purely algebraic, and so can be extended uniformly to general types. △ Less

Submitted 12 July, 2021; v1 submitted 10 January, 2021; originally announced January 2021.

Comments: 40 pages, 1 figure, changed the title in version 3; changed the proof Proposition 5.2.5 completely, corrected unclear expressions and typos in version 2

MSC Class: 17B37; 81R50

Journal ref: Advances in Mathematics 389 (2021) 107916

Existence of Kirillov-Reshetikhin crystals for near adjoint nodes in exceptional types

Authors: Katsuyuki Naoi, Travis Scrimshaw

Abstract: We prove that, in types $E_{6,7,8}^{(1)}$, $F_4^{(1)}$ and $E_6^{(2)}$, every Kirillov--Reshetikhin module associated with the node adjacent to the adjoint one (near adjoint node) has a crystal pseudobase, by applying the criterion introduced by Kang et.al. In order to apply the criterion, we need to prove some statements concerning values of a bilinear form. We achieve this by using the global ba… ▽ More We prove that, in types $E_{6,7,8}^{(1)}$, $F_4^{(1)}$ and $E_6^{(2)}$, every Kirillov--Reshetikhin module associated with the node adjacent to the adjoint one (near adjoint node) has a crystal pseudobase, by applying the criterion introduced by Kang et.al. In order to apply the criterion, we need to prove some statements concerning values of a bilinear form. We achieve this by using the global bases of extremal weight modules. △ Less

Submitted 15 October, 2020; v1 submitted 27 March, 2019; originally announced March 2019.

Comments: 39 pages. In version 1 the main theorem is proved in type $E_6^{(1)}$ only, but in version 2 and 3 we generalize the result in types $E_{6,7,8}^{(1)}$, $F_4^{(1)}$ and $E_6^{(2)}$. In version 3, some minor corrections are made

MSC Class: 81R50; 17B37

Journal ref: J. Pure Appl. Algebra, 225(5) (2021) 106593

Existence of Kirillov-Reshetikhin crystals of type $G_2^{(1)}$ and $D_4^{(3)}$

Authors: Katsuyuki Naoi

Abstract: In this paper we prove that every Kirillov-Reshetikhin module of type $G_2^{(1)}$ and $D_4^{(3)}$ has a crystal pseudobase (crystal base modulo signs), by applying the criterion for the existence of a crystal pseudobase due to Kang et al. In this paper we prove that every Kirillov-Reshetikhin module of type $G_2^{(1)}$ and $D_4^{(3)}$ has a crystal pseudobase (crystal base modulo signs), by applying the criterion for the existence of a crystal pseudobase due to Kang et al. △ Less

Submitted 23 July, 2018; v1 submitted 31 October, 2017; originally announced October 2017.

Comments: 16 pages

MSC Class: 81R50; 17B37

Journal ref: J. Algebra 512 (2018): 47-65

Tensor products of Kirillov-Reshetikhin modules and fusion products

Authors: Katsuyuki Naoi

Abstract: We study the classical limit of a tensor product of Kirillov-Reshetikhin modules over a quantum loop algebra, and show that it is realized from the classical limits of the tensor factors using the notion of fusion products. In the process of the proof, we also give defining relations of the fusion product of the (graded) classical limits of Kirillov-Reshetikhin modules. We study the classical limit of a tensor product of Kirillov-Reshetikhin modules over a quantum loop algebra, and show that it is realized from the classical limits of the tensor factors using the notion of fusion products. In the process of the proof, we also give defining relations of the fusion product of the (graded) classical limits of Kirillov-Reshetikhin modules. △ Less

Submitted 21 April, 2016; v1 submitted 9 April, 2016; originally announced April 2016.

Comments: 32 pages, corrected typos

MSC Class: 17B10; 20G42

Journal ref: International Mathematics Research Notices 2017 (2017), issue 18, 5667-5709

Defining relations of fusion products and Schur positivity

Authors: Katsuyuki Naoi

Abstract: In this note we give defining relations of an $\mathfrak{sl}_{n+1}[t]$-module defined by the fusion product of simple $\mathfrak{sl}_{n+1}$-modules whose highest weights are multiples of a given fundamental weight. From this result we obtain a surjective homomorphism between two fusion products, which can be considered as a current algebra analog of Schur positivity. In this note we give defining relations of an $\mathfrak{sl}_{n+1}[t]$-module defined by the fusion product of simple $\mathfrak{sl}_{n+1}$-modules whose highest weights are multiples of a given fundamental weight. From this result we obtain a surjective homomorphism between two fusion products, which can be considered as a current algebra analog of Schur positivity. △ Less

Submitted 14 February, 2016; v1 submitted 1 April, 2015; originally announced April 2015.

Comments: 13 pages; added references

MSC Class: 17B10

Journal ref: Toyama Mathematical Journal 37 (2015): 87-106

Graded limits of minimal affinizations over the quantum loop algebra of type $G_2$

Authors: Jian-Rong Li, Katsuyuki Naoi

Abstract: The aim of this paper is to study the graded limits of minimal affinizations over the quantum loop algebra of type $G_2$. We show that the graded limits are isomorphic to multiple generalizations of Demazure modules, and obtain defining relations of them. As an application, we obtain a polyhedral multiplicity formula for the decomposition of minimal affinizations of type $G_2$ as a… ▽ More The aim of this paper is to study the graded limits of minimal affinizations over the quantum loop algebra of type $G_2$. We show that the graded limits are isomorphic to multiple generalizations of Demazure modules, and obtain defining relations of them. As an application, we obtain a polyhedral multiplicity formula for the decomposition of minimal affinizations of type $G_2$ as a $U_q(\mathfrak{g})$-module, by showing the corresponding formula for the graded limits. △ Less

Submitted 16 July, 2015; v1 submitted 7 March, 2015; originally announced March 2015.

MSC Class: 17B37; 17B10; 17B67

Journal ref: Algebras and Representation Theory August 2016, Volume 19, Issue 4, pp 957--973

Graded Limits of Minimal Affinizations in Type D

Authors: Katsuyuki Naoi

Abstract: We study the graded limits of minimal affinizations over a quantum loop algebra of type D in the regular case. We show that the graded limits are isomorphic to multiple generalizations of Demazure modules, and also give their defining relations. As a corollary we obtain a character formula for the minimal affinizations in terms of Demazure operators, and a multiplicity formula for a special class… ▽ More We study the graded limits of minimal affinizations over a quantum loop algebra of type D in the regular case. We show that the graded limits are isomorphic to multiple generalizations of Demazure modules, and also give their defining relations. As a corollary we obtain a character formula for the minimal affinizations in terms of Demazure operators, and a multiplicity formula for a special class of the minimal affinizations. △ Less

Submitted 20 April, 2014; v1 submitted 20 October, 2013; originally announced October 2013.

MSC Class: 20G42; 17B37; 17B10

Journal ref: SIGMA 10 (2014), 047, 20 pages

Demazure modules and graded limits of minimal affinizations

Authors: Katsuyuki Naoi

Abstract: For a minimal affinization over a quantum loop algebra of type BC, we provide a character formula in terms of Demazure operators and multiplicities in terms of crystal bases. We also provide a simple formula for the limit of characters. These are achieved by verifying that its graded limit (a variant of a classical limit) is isomorphic to some multiple generalization of a Demazure module, and by d… ▽ More For a minimal affinization over a quantum loop algebra of type BC, we provide a character formula in terms of Demazure operators and multiplicities in terms of crystal bases. We also provide a simple formula for the limit of characters. These are achieved by verifying that its graded limit (a variant of a classical limit) is isomorphic to some multiple generalization of a Demazure module, and by determining the defining relations of the graded limit. △ Less

Submitted 20 April, 2014; v1 submitted 30 September, 2012; originally announced October 2012.

Comments: 30 pages, added Section 4.4: Example

MSC Class: 20G42; 17B37; 17B10

Journal ref: Representation Theory 17 (2013):524-556

Fusion products of Kirillov-Reshetikhin modules and the X = M conjecture

Authors: Katsuyuki Naoi

Abstract: In this article, we show in the ADE case that the fusion product of Kirillov-Reshetikhin modules for a current algebra, whose character is expressed in terms of fermionic forms, can be constructed from one-dimensional modules by using Joseph functors. As a consequence, we obtain some identity between fermionic forms and Demazure operators. Since the same identity is also known to hold for one-dime… ▽ More In this article, we show in the ADE case that the fusion product of Kirillov-Reshetikhin modules for a current algebra, whose character is expressed in terms of fermionic forms, can be constructed from one-dimensional modules by using Joseph functors. As a consequence, we obtain some identity between fermionic forms and Demazure operators. Since the same identity is also known to hold for one-dimensional sums of nonexceptional type, we can show from these results the X = M conjecture for type $A_n^{(1)}$ and $D_n^{(1)}$. △ Less

Submitted 31 October, 2011; v1 submitted 12 September, 2011; originally announced September 2011.

Comments: 27 pages, added references and corrected typos

MSC Class: 17B10; 17B65; 05E15; 81R10

Journal ref: Advances in Mathematics 231 no.3-4 (2012):1546-1571

Demazure crystals and tensor products of perfect Kirillov-Reshetikhin crystals with various levels

Authors: Katsuyuki Naoi

Abstract: In this paper, we study a tensor product of perfect Kirillov-Reshetikhin crystals (KR crystals for short) whose levels are not necessarily equal. We show that, by tensoring with a certain highest weight element, such a crystal becomes isomorphic as a full subgraph to a certain disjoint union of Demazure crystals contained in a tensor product of highest weight crystals. Moreover, we show that this… ▽ More In this paper, we study a tensor product of perfect Kirillov-Reshetikhin crystals (KR crystals for short) whose levels are not necessarily equal. We show that, by tensoring with a certain highest weight element, such a crystal becomes isomorphic as a full subgraph to a certain disjoint union of Demazure crystals contained in a tensor product of highest weight crystals. Moreover, we show that this isomorphism preserves their gradings, where the grading on the tensor product of KR crystals is given by the energy function, and that on the other side is given by the minus of the action of the degree operator. △ Less

Submitted 10 July, 2013; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: 27 pages, gave the explicit value of the constant $C_B$ in the main theorem

MSC Class: 81R50; 81R10

Journal ref: J. Algebra 374 (2013):1-26

Loewy series of Weyl modules and the Poincaré polynomials of quiver varieties

Authors: Ryosuke Kodera, Katsuyuki Naoi

Abstract: We prove that a Weyl module for the current Lie algebra associated with a simple Lie algebra of type $ADE$ is rigid, that is, it has a unique Loewy series. Further we use this result to prove that the grading on a Weyl module defined by the degree of currents coincides with another grading which comes from the degree of the homology group of the quiver variety. As a corollary we obtain a formula f… ▽ More We prove that a Weyl module for the current Lie algebra associated with a simple Lie algebra of type $ADE$ is rigid, that is, it has a unique Loewy series. Further we use this result to prove that the grading on a Weyl module defined by the degree of currents coincides with another grading which comes from the degree of the homology group of the quiver variety. As a corollary we obtain a formula for the Poincaré polynomials of quiver varieties of type $ADE$ in terms of the energy functions defined on the crystals for tensor products of level-zero fundamental representations of the corresponding quantum affine algebras. △ Less

Submitted 22 March, 2011; originally announced March 2011.

Comments: 20 pages

Weyl modules, Demazure modules and finite crystals for non-simply laced type

Authors: Katsuyuki Naoi

Abstract: We show that every Weyl module for a current algebra has a filtration whose successive quotients are isomorphic to Demazure modules, and that the path model for a tensor product of level zero fundamental representations is isomorphic to a disjoint union of Demazure crystals. Moreover, we show that the Demazure modules appearing in these two objects coincide exactly. Though these results have been… ▽ More We show that every Weyl module for a current algebra has a filtration whose successive quotients are isomorphic to Demazure modules, and that the path model for a tensor product of level zero fundamental representations is isomorphic to a disjoint union of Demazure crystals. Moreover, we show that the Demazure modules appearing in these two objects coincide exactly. Though these results have been previously known in the simply laced case, they are new in the non-simply laced case. △ Less

Submitted 17 October, 2011; v1 submitted 25 December, 2010; originally announced December 2010.

Comments: 54pages, added references, corrected typos and unclear expressions

MSC Class: 17B65; 17B37

Journal ref: Advances in Mathematics 229 no.2 (2012):875-934

Multiloop Lie algebras and the construction of extended affine Lie algebras

Authors: Katsuyuki Naoi

Abstract: It is known that a multiloop Lie algebra, which constructed using multiloop realization, can be a Lie torus if the given multiloop Lie algebra satisfies several conditions, and it is also known that a family of extended affine Lie algebras (EALAs) are obtained from a Lie torus. In many cases, however, even if a given multiloop Lie algebra does not satisfy these conditions, we can also construct a… ▽ More It is known that a multiloop Lie algebra, which constructed using multiloop realization, can be a Lie torus if the given multiloop Lie algebra satisfies several conditions, and it is also known that a family of extended affine Lie algebras (EALAs) are obtained from a Lie torus. In many cases, however, even if a given multiloop Lie algebra does not satisfy these conditions, we can also construct a family of EALAs from it. In this paper, we study this construction, and prove that two families of EALAs constructed from two multiloop Lie algebras coincide up to isomorphisms as EALAs if and only if two multiloop Lie algebras are "support-isomorphic". Also, we give a necessary and sufficient condition for two multiloop Lie algebras to be support-isomorphic. △ Less

Submitted 11 July, 2013; v1 submitted 13 July, 2008; originally announced July 2008.

Comments: 31 pages, corrected typos, added references

MSC Class: 17B65; 17B70

Journal ref: J. Algebra 323 no.8 (2010):2103-2129