Practical post-quantum signature schemes from isomorphism problems of trilinear forms

G Tang, DH Duong, A Joux, T Plantard, Y Qiao… - … conference on the …, 2022 - Springer
In this paper, we propose a practical signature scheme based on the alternating trilinear
form equivalence problem. Our scheme is inspired by the Goldreich-Micali-Wigderson's zero …

On p-Group Isomorphism: Search-to-Decision, Counting-to-Decision, and Nilpotency Class Reductions via Tensors

JA Grochow, Y Qiao - ACM Transactions on Computation Theory, 2024 - dl.acm.org
In this article, we study some classical complexity-theoretic questions regarding Group
Isomorphism (GpI). We focus on p-groups (groups of prime power order) with odd p, which …

Algorithms based on*-algebras, and their applications to isomorphism of polynomials with one secret, group isomorphism, and polynomial identity testing

G Ivanyos, Y Qiao - SIAM Journal on Computing, 2019 - SIAM
We consider two basic algorithmic problems concerning tuples of (skew-) symmetric
matrices. The first problem asks us to decide, given two tuples of (skew-) symmetric matrices …

On the Weisfeiler-Leman dimension of finite groups

J Brachter, P Schweitzer - Proceedings of the 35th Annual ACM/IEEE …, 2020 - dl.acm.org
In comparison to graphs, combinatorial methods for the isomorphism problem of finite
groups are less developed than algebraic ones. To be able to investigate the descriptive …

Incorporating Weisfeiler-Leman into algorithms for group isomorphism

PA Brooksbank, JA Grochow, Y Li, Y Qiao… - arXiv preprint arXiv …, 2019 - arxiv.org
In this paper we combine many of the standard and more recent algebraic techniques for
testing isomorphism of finite groups (GpI) with combinatorial techniques that have typically …

A unifying method for the design of algorithms canonizing combinatorial objects

P Schweitzer, D Wiebking - Proceedings of the 51st Annual ACM …, 2019 - dl.acm.org
We devise a unified framework for the design of canonization algorithms. Using hereditarily
finite sets, we define a general notion of combinatorial objects that includes graphs …

Algorithms for group isomorphism via group extensions and cohomology

JA Grochow, Y Qiao - SIAM Journal on Computing, 2017 - SIAM
The isomorphism problem for finite groups of order n (GpI) has long been known to be
solvable in n^\logn+O(1) time, but only recently were polynomial-time algorithms designed …

Wildness for tensors

V Futorny, JA Grochow, VV Sergeichuk - Linear Algebra and its Applications, 2019 - Elsevier
In representation theory, a classification problem is called wild if it contains the problem of
classifying matrix pairs up to simultaneous similarity. The latter problem is considered …

Improved algorithms for alternating matrix space isometry: From theory to practice

PA Brooksbank, Y Li, Y Qiao… - 28th Annual European …, 2020 - drops.dagstuhl.de
Motivated by testing isomorphism of p-groups, we study the alternating matrix space
isometry problem (AltMatSpIso), which asks to decide whether two m-dimensional …

Count-Free Weisfeiler--Leman and Group Isomorphism

NA Collins, M Levet - arXiv preprint arXiv:2212.11247, 2022 - arxiv.org
We investigate the power of counting in\textsc {Group Isomorphism}. We first leverage the
count-free variant of the Weisfeiler--Leman Version I algorithm for groups (Brachter & …