Showing 1–10 of 10 results for author: Shan, J

Generalized derivations of $ω$-Lie algebras

Authors: Yin Chen, Shan Ren, Jiawen Shan, Runxuan Zhang

Abstract: This article explores the structure theory of compatible generalized derivations of finite-dimensional $ω$-Lie algebras over a field $\mathbb{K}$. We prove that any compatible quasiderivation of an $ω$-Lie algebra can be embedded as a compatible derivation into a larger $ω$-Lie algebra, refining the general result established by Leger and Luks in 2000 for finite-dimensional nonassociative algebras… ▽ More This article explores the structure theory of compatible generalized derivations of finite-dimensional $ω$-Lie algebras over a field $\mathbb{K}$. We prove that any compatible quasiderivation of an $ω$-Lie algebra can be embedded as a compatible derivation into a larger $ω$-Lie algebra, refining the general result established by Leger and Luks in 2000 for finite-dimensional nonassociative algebras. We also provide an approach to explicitly compute (compatible) generalized derivations and quasiderivations for all $3$-dimensional non-Lie complex $ω$-Lie algebras. △ Less

Submitted 14 April, 2025; v1 submitted 14 March, 2025; originally announced March 2025.

Comments: To appear in J. Algebra Appl. (2026) 2650206 (16 pages)

MSC Class: 17B40

The $L_{p}$ Gaussian Minkowski problem for $C$-pseudo-cones

Authors: Junjie Shan, Wenchuan Hu

Abstract: The $L_{p}$ Gaussian Minkowski problem for $C$-pseudo-cones is studied in this paper, and the existence and uniqueness results are established. This extends our previous work on the Minkowski problem for $C$-pseudo-cones with respect to the Gaussian surface area measure ($p=1$) and the Gaussian cone measure ($p=0$). The $L_{p}$ Gaussian Minkowski problem for $C$-pseudo-cones is studied in this paper, and the existence and uniqueness results are established. This extends our previous work on the Minkowski problem for $C$-pseudo-cones with respect to the Gaussian surface area measure ($p=1$) and the Gaussian cone measure ($p=0$). △ Less

Submitted 2 March, 2025; originally announced March 2025.

The Gaussian log-Minkowski problem for C-pseudo-cones

Authors: Junjie Shan, Wenchuan Hu

Abstract: The existence of solutions to the Gaussian logarithmic Minkowski problem for C-pseudo-cones is established in this paper. In addition, the non-uniqueness of solutions to the problem is demonstrated. The existence of solutions to the Gaussian logarithmic Minkowski problem for C-pseudo-cones is established in this paper. In addition, the non-uniqueness of solutions to the problem is demonstrated. △ Less

Submitted 27 February, 2025; v1 submitted 14 February, 2025; originally announced February 2025.

Comments: The reason for this withdrawal is that the content of this article has been merged with another article I previously submitted to arXiv (arXiv ID: 2501.16449). The merged version of the two articles has been significantly revised and expanded, and it now represents a more comprehensive and complete work

The Gaussian Minkowski-type problems for $C$-pseudo-cones

Authors: Junjie Shan, Wenchuan Hu, Wenxue Xu

Abstract: The Gaussian surface area measure and the Gaussian cone measure for $C$-pseudo-cones are introduced and their corresponding Gaussian Minkowski problem and Gaussian log-Minkowski problem are proposed, respectively. The existence and uniqueness of solutions to these problems for $C$-pseudo-cones are established. The Gaussian surface area measure and the Gaussian cone measure for $C$-pseudo-cones are introduced and their corresponding Gaussian Minkowski problem and Gaussian log-Minkowski problem are proposed, respectively. The existence and uniqueness of solutions to these problems for $C$-pseudo-cones are established. △ Less

Submitted 9 April, 2025; v1 submitted 27 January, 2025; originally announced January 2025.

Comments: Minor revisions were made to improve terminology consistency, mathematical clarity, and grammar

Multiplicity of powers of path ideals of a line graph

Authors: Jiawen Shan, Zexin Wang, Dancheng Lu

Abstract: Let $S=K[x_1,\ldots,x_n]$ and let $I$ be the $t$-path ideal of the line graph $L_n$ with $n$-vertices. It is shown that the set of associated prime ideals of $I^s$ is equal to the set of minimal prime ideals of $I$ for all $s\geq 1$, and we provide an explicit description of these prime ideals. Additionally, as the main contribution of this paper, we derive an explicit formula for the multiplicity… ▽ More Let $S=K[x_1,\ldots,x_n]$ and let $I$ be the $t$-path ideal of the line graph $L_n$ with $n$-vertices. It is shown that the set of associated prime ideals of $I^s$ is equal to the set of minimal prime ideals of $I$ for all $s\geq 1$, and we provide an explicit description of these prime ideals. Additionally, as the main contribution of this paper, we derive an explicit formula for the multiplicity of $S/I^s$ for all $s\geq 1$, revealing that it is a polynomial in $s$ from the beginning. △ Less

Submitted 9 June, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: 16 pages

MSC Class: 13C70; 13H10; 05E40

On the Rees algebras of $t$-path ideals of cycles

Authors: Oleksandra Gasanova, Jürgen Herzog, Jiawen Shan

Abstract: In this paper we explore certain properties of the Rees algebra of $I_t(C_n)$, the $t$-path ideal of an $n$-cycle. Our main focus is on the cases when such ideals are of fiber type. In this paper we explore certain properties of the Rees algebra of $I_t(C_n)$, the $t$-path ideal of an $n$-cycle. Our main focus is on the cases when such ideals are of fiber type. △ Less

Submitted 29 November, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: 23 pages

Regularity of powers of path ideals of line graphs

Authors: Jiawen Shan, Dancheng Lu

Abstract: Let $L_n$ be a line graph with $n$ vertices and let $I$ be its $t$-path ideal. It is shown that $I^s$ has a linear resolution for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $I^s$ has linear quotients for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $t\leq n\leq 2t$. In addition, we present an explicit formula for the regularity of $I^s$ for all… ▽ More Let $L_n$ be a line graph with $n$ vertices and let $I$ be its $t$-path ideal. It is shown that $I^s$ has a linear resolution for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $I^s$ has linear quotients for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $t\leq n\leq 2t$. In addition, we present an explicit formula for the regularity of $I^s$ for all $s\geq 1$. It turns out it is linear in $s$ from the very beginning. △ Less

Submitted 9 June, 2024; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: 10 pages to appear in Communications in Algebra

MSC Class: Primary 13A02; 05E40; Secondary 06D50

Hardware-Efficient Mixed-Precision CP Tensor Decomposition

Authors: Zi Yang, Junnan Shan, Zheng Zhang

Abstract: Tensor decomposition has been widely used in machine learning and high-volume data analysis. However, large-scale tensor factorization often consumes huge memory and computing cost. Meanwhile, modernized computing hardware such as tensor processing units (TPU) and Tensor Core GPU has opened a new window of hardware-efficient computing via mixed- or low-precision arithmetic representations. In this… ▽ More Tensor decomposition has been widely used in machine learning and high-volume data analysis. However, large-scale tensor factorization often consumes huge memory and computing cost. Meanwhile, modernized computing hardware such as tensor processing units (TPU) and Tensor Core GPU has opened a new window of hardware-efficient computing via mixed- or low-precision arithmetic representations. In this paper, we exploit the low-precision representation of tensor factorization, and propose a mixed-precision block stochastic gradient descent (SGD) method to reduce the costs of CP tensor decomposition. Our method achieves robust and fast convergence via a two-stage optimization, i.e., SignSGD followed by mixed-precision SGD. Detailed theoretical analysis is provided to prove the convergence of the proposed mixed-precision algorithm. Numerical experiments on both synthetic and realistic tensor data sets show the superior efficiency of our mixed-precision algorithm compared to full-precision CP decomposition. This work can remarkably reduce the memory, computing and energy cost on resource-constraint edge computing devices. We demonstrate this benefit via an FPGA prototype. △ Less

Submitted 8 September, 2022; originally announced September 2022.

Poisson Yang-Baxter equations and $\mathcal{O}$-operators of Poisson superalgebras

Authors: Jiawen Shan, Runxuan Zhang

Abstract: We investigate connections between $\mathcal {O}$-operators of Poisson superalgebras and skew-symmetric solutions of the Poisson Yang-Baxter equation (PYBE). We prove that a skew-symmetric solution of the PYBE on a Poisson superalgebra can be interpreted as an $\mathcal {O}$-operator associated to the co-regular representation. We show that this connection can be enhanced with symplectic forms whe… ▽ More We investigate connections between $\mathcal {O}$-operators of Poisson superalgebras and skew-symmetric solutions of the Poisson Yang-Baxter equation (PYBE). We prove that a skew-symmetric solution of the PYBE on a Poisson superalgebra can be interpreted as an $\mathcal {O}$-operator associated to the co-regular representation. We show that this connection can be enhanced with symplectic forms when considering non-degenerate skew-symmetric solutions. We also show that $\mathcal {O}$-operators associated to a general representation could give skew-symmetric solutions of the PYBE in certain semi-direct product of Poisson superalgebras. △ Less

Submitted 28 March, 2025; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: The proof of Theorem 4.7 is incomplete

A special case of Postnikov-Shapiro conjecture

Authors: Jimmy Jianyun Shan

Abstract: For a graph $G$, Postnikov-Shapiro \cite{PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the graded Betti numbers are equal. When $G=K_{n+1}^{l,k}$ is the complete graph on the vertices $\{0,1,\cdots, n\}$ with the edges $e_{i, j},$ $i, j\neq 0,$ of multipli… ▽ More For a graph $G$, Postnikov-Shapiro \cite{PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the graded Betti numbers are equal. When $G=K_{n+1}^{l,k}$ is the complete graph on the vertices $\{0,1,\cdots, n\}$ with the edges $e_{i, j},$ $i, j\neq 0,$ of multiplicity $k$ and the edges $e_{0, i}$ of multiplicity $l,$ for two non-negative integers $k$ and $l,$ they gave an explicit formula for the graded Betti numbers of $I_G,$ which are conjecturally the same for $J_G.$ We prove this conjecture in the case $n=3,$ which was also conjectured by Schenck \cite{S04}. △ Less

Submitted 14 February, 2014; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: The new version proves the 3 variable case, but the general case is open. Comments and suggestions are welcome! arXiv admin note: text overlap with arXiv:math/0301153 by other authors

MSC Class: 05E40