We present a kinetic version of the Watanabe-Strogatz(WS) transform for vector models in this paper. From the generalized WS-transform, we obtain the cross-ratio type constant of motion functionals for kinetic vector models under suitable conditions. We present the sufficient and necessary conditions for the existence of the suggested constant of motion functional. As an application of the constant of motion functional, we provide the instability of bipolar states of the kinetic swarm sphere model. We also provide the WS-transform and constant of motion functional for non-identical kinetic vector models.

We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the graded module category of a quiver Hecke algebra $R$. When $v= \mathrm{id}$, $\mathscr{C}_{w,v}$ is the same as the monoidal category which provides a monoidal categorification of the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))_{\mathbb{Z}[q,q^{-1}]}$ given by Kang-Kashiwara-Kim-Oh. We show that the category $\mathscr{C}_{w,v}$ contains special determinantial modules $\mathsf{M}(w_{\le k}\Lambda, v_{\le k}\Lambda)$ for $k=1, \ldots, \ell(w)$, which commute with each other. When the quiver Hecke algebra $R$ is symmetric, we find a formula of the degree of $R$-matrices between the determinantial modules $\mathsf{M}(w_{\le k}\Lambda, v_{\le k}\Lambda)$. When it is of finite$ADE$ type, we further prove that there is an equivalence of categories between $\mathscr{C}_{w,v}$ and $\mathscr{C}_u$ for $w,u,v \in \mathsf{W}$ with $w = vu$ and $\ell(w) = \ell(v) + \ell(u)$.

The Mapper algorithm is a popular tool for visualization and data exploration in topological data analysis. We investigate an inverse problem for the Mapper algorithm: Given a dataset $X$ and a graph $G$, does there exist a set of Mapper parameters such that the output Mapper graph of $X$ is isomorphic to $G$? We provide constructions that affirmatively answer this question. Our results demonstrate that it is possible to engineer Mapper parameters to generate a desired graph.

We study the symmetric functions $g_{\mm,k}(x;q)$, introduced by Abreu and Nigro for a Hessenberg function $\mm$ and a positive integer $k$, which refine the chromatic symmetric function. Building on Hikita's recent breakthrough on the Stanley--Stembridge conjecture, we prove the $e$-positivity of $g_{\mm,k}(x;1)$, refining Hikita's result. We also provide a Schur expansion of the sum $\sum_{k=1}^n e_k(x) g_{\mm,n-k}(x;q)$ in terms of $P$-tableaux with 1 in the upper-left corner. We introduce a restricted version of the modular law as our main tool. Then, we show that any function satisfying the restricted modular law is determined by its values on disjoint unions of path graphs.

Let $U_q'(\mathfrak{g})$ be an arbitrary quantum affine algebra of either untwisted or twisted type, and let $\mathscr{C}_{\mathfrak{g}}^0$ be its Hernandez-Leclerc category. We denote by $\mathsf{B}$ the braid group determined by the simply-laced finite type Lie algebra $\mathsf{g}$ associated with $U_q'(\mathfrak{g})$. For any complete duality datum $\mathbb{D}$ and any sequence of simple roots of $\mathsf{g}$, we construct the corresponding affine cuspidal modules and affine determinantial modules and study their key properties including T-systems. Then, for any element $b$ of the positive braid monoid $\mathsf{B}^+$, we introduce a distinguished subcategory $\mathscr{C}_{\mathfrak{g}}^{\mathbb{D}}(b)$ of $\mathscr{C}_{\mathfrak{g}}^0$ categorifying the specialization of the bosonic extension $\widehat{\mathcal{A}}(b)$ at $q^{1/2}=1$ and investigate its properties including the categorical PBW structure. We finally prove that the subcategory $\mathscr{C}_{\mathfrak{g}}^{\mathbb{D}}(b)$ provides a monoidal categorification of the (quantum) cluster algebra $\widehat{\mathcal{A}}(b)$, which significantly generalizes the earlier monoidal categorification developed by the authors.

In this paper, we introduce a method of converting implicit equations to the usual forms of functions locally without differentiability. For a system of implicit equations which are equipped with continuous functions, if there are unique analytic implicit functions, that satisfies the system in some rectangle, then each analytic function is represented as a power series which is the weak-star limit of partial sums in the space of essentially bounded functions. We also provide numerical examples in order to demonstrate how the theoretical results in this article can be applied in practice and to show the effectiveness of the suggested approaches.

Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$, Hernandez and Leclerc (\cite{HL11}) introduced a tensor subcategory $\CC_Q$ of the category of finite-dimensional integrable $\uqpg$-modules and proved that the Grothendieck ring of $\CC_Q$ is isomorphic to $\C [N]$, the coordinate ring of the unipotent group $N$ associated with $\g_0$. We apply the generalized quantum affine Schur-Weyl duality introduced in \cite{KKK13} to construct an exact functor $\F$ from the category of finite-dimensional graded $R$-modules to the category $\CC_Q$, where $R$ denotes the symmetric quiver Hecke algebra associated to $\g_0$. We prove that the homomorphism induced by the functor $\F$ coincides with the homomorphism of Hernandez and Leclerc and show that the functor $\F$ sends the simple modules to the simple modules.

We construct a Hochschild-Kostant-Rosenberg-type quasi-isomorphism for the negative cyclic homology of the category of global matrix factorizations on a smooth separated scheme of finite type over a field. The map is explicit enough to yield a negative cyclic Chern character formula for global matrix factorizations. We also extend these results to the equivariant case of a finite group.

We prove that the localization of the monoidal category $\mathcal{C}_w$ is rigid, and the category $\mathcal{C}_{w,v}$ admits a localization via a real commuting family of central objects. Note that the localization of $\mathcal{C}_{w,v}$ categorifies the open Richardson variety.

We prove that the double branched cover of a twist-roll spun knot in $S^4$ is smoothly preserved when four twists are added, and that the double branched cover of a twist-roll spun knot connected sum with a trivial projective plane is preserved after two twists are added. As a consequence, we conclude that the members of a family of homotopy $\mathbb{CP}^2$s recently constructed by Miyazawa are each diffeomorphic to $\mathbb{CP}^2$. We also apply our techniques to show that the double branched covers of odd-twisted turned tori are all diffeomorphic to $S^2 \times S^2$, and show that a family of homotopy 4-spheres constructed by Juh\'asz and Powell are all diffeomorphic to $S^4$.

Recently, Kenyon and Wilson introduced Dyck tilings, which are certain tilings of the region between two Dyck paths. The enumeration of Dyck tilings is related with hook formulas for forests and the combinatorics of Hermite polynomials. The first goal of this work is to give an alternative point of view on Dyck tilings by making use of the weak order and the Bruhat order on permutations. Then we introduce two natural generalizations: $k$-Dyck tilings and symmetric Dyck tilings. We are led to consider Stirling permutations, and define an analog of the Bruhat order on them. We show that certain families of $k$-Dyck tilings are in bijection with intervals in this order. We also enumerate symmetric Dyck tilings.

In this paper we discuss the BFK type gluing formula for zeta-determinants of Laplacians with respect to the Robin boundary condition on a compact Riemannian manifold. As a special case, we discuss the gluing formula with respect to the Neumann boundary condition. We also compute the difference of two zeta-determinants with respect to the Robin and Dirichlet boundary conditions. We use this result to compute the zeta-determinant of a Laplacian on a cylinder when the Robin boundary condition is imposed, which extends a result in [25]. We also discuss the gluing formula more precisely when the product structure is given near a cutting hypersurface.

We present a kinetic version of the Watanabe-Strogatz(WS) transform for vector models in this paper. From the generalized WS-transform, we obtain the cross-ratio type constant of motion functionals for kinetic vector models under suitable conditions. We present the sufficient and necessary conditions for the existence of the suggested constant of motion functional. As an application of the constant of motion functional, we provide the instability of bipolar states of the kinetic swarm sphere model. We also provide the WS-transform and constant of motion functional for non-identical kinetic vector models.

Demands for software-defined vehicles (SDV) are rising and electric vehicles (EVs) are increasingly being equipped with powerful computers. This enables onboard AI systems to optimize charge-aware path optimization customized to reflect vehicle's current condition and environment. We present VEGA, a charge-aware EV navigation agent that plans over a charger-annotated road graph using Proximal Policy Optimization (PPO) with budgeted A* teacher-student guidance under state-of-charge (SoC) feasibility. VEGA consists of two modules. First, a physics-informed neural operator (PINO), trained on real vehicle speed and battery-power logs, uses recent vehicle speed logs to estimate aerodynamic drag, rolling resistance, mass, motor and regenerative-braking efficiencies, and auxiliary load by learning a vehicle-custom dynamics. Second, a Reinforcement Learning (RL) agent uses these dynamics to optimize a path with optimal charging stops and dwell times under SoC constraints. VEGA requires no additional sensors and uses only vehicle speed signals. It may serve as a virtual sensor for power and efficiency to potentially reduce EV cost. In evaluation on long routes like San Francisco to New York, VEGA's stops, dwell times, SoC management, and total travel time closely track Tesla Trip Planner while being slightly more conservative, presumably due to real vehicle conditions such as vehicle parameter drift due to deterioration. Although trained only in U.S. regions, VEGA was able to compute optimal charge-aware paths in France and Japan, demonstrating generalizability. It achieves practical integration of physics-informed learning and RL for EV eco-routing.

In this paper, the concept of coderivatives at infinity of set-valued mappings is introduced. Well-posedness properties at infinity of set-valued mappings as well as Mordukhovich's criterion at infinity are established. Fermat's rule at infinity in set-valued optimization is also provided. The obtained results, which give new information even in the classical cases of smooth single-valued mappings, provide complete characterizations of the properties under consideration in the setting at infinity of set-valued mappings.

We continue the study of realization of the prefundamental modules $L_{r,a}^{\pm}$, introduced by Hernandez and Jimbo, in terms of unipotent quantum coordinate rings as in [J-Kwon-Park, Int. Math. Res. Not., 2023]. We show that the ordinary character of $L_{r,a}^{\pm}$ is equal to that of the unipotent quantum coordinate ring $U_q^-(w_r)$ associated to fundamental $r$-th coweight. When $r$ is cominuscule, we prove that there exists a $U_q(\mathfrak{b})$-module structure on $U_q^-(w_r)$, which is isomorphic to $L_{r,a\eta_r}^\pm$ for some $\eta_r \in \mathbb{C}^\times$.

We develop the viscosity method for the homogenization of an obstacle problem with highly oscillating obstacles. The associated operator, in non-divergence form, is linear and elliptic with variable coefficients. We first construct a highly oscillating corrector, which captures the singular behavior of solutions near periodically distributed holes of critical size. We then prove the uniqueness of a critical value that encodes the coupled effects of oscillations in both the coefficients and the obstacles.