K. Zhao

collaborators

5 papers

math.CO2026

On zero-sum problems over metacyclic groups $C_{n} ⋊_{s} C_{2}$

Jun Seok Oh, SÃ¡vio Ribas, Kevin Zhao +1

Let $G$ be a finite group. A finite collection of elements from $G$ , where the order is disregarded and repetitions are allowed, is said to be a product-one sequence if its element…

math.AC2026

On separating sets of polynomial invariants of finite abelian group actions

Barna Schefler, Kevin Zhao, Qinghai Zhong

Let $G$ be a finite group acting on a finite dimensional complex vector space $V$ via linear transformations. Let $C [V]^{G}$ be the algebra of polynomials that are invariant…

math.CO2025

On zero-sum subsequences in a finite abelian group of length not exceeding a given number

Kevin Zhao

Let $G$ be an additive finite abelian group and let $k \in [exp (G), D (G) - 1]$ be a positive integer. Denote by $s_{\leq k} (G)$ the smallest positive integer $l\in \…

math.AC2025

On the separating Noether number of finite abelian groups

Barna Schefler, Kevin Zhao, Qinghai Zhong

The separating Noether number $I^_{sep}^{2} (G)$ of a finite group $G$ is the minimal positive integer $d$ such that for every finite $G$ -module $V$ there is a separating set c…

cs.HC2025

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

Christine Lee, David Porfirio, Xinyu Jessica Wang +2

Automated planning is traditionally the domain of experts, utilized in fields like manufacturing and healthcare with the aid of expert planning tools. Recent advancements in LLMs h…

On zero-sum problems over metacyclic groups Cn​⋊s​C2​

On separating sets of polynomial invariants of finite abelian group actions

On zero-sum subsequences in a finite abelian group of length not exceeding a given number

On the separating Noether number of finite abelian groups

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

On zero-sum problems over metacyclic groups $C_{n} ⋊_{s} C_{2}$