1: \begin{abstract}

2: Let $\Omega$ be a finite set of finitary operation symbols

3: and let $\cl V$ be a nontrivial variety of

4: $\Omega$-algebras. Assume that for some set

5: $\Gamma\subseteq\Omega$ of group operation symbols, all

6: $\Omega$-algebras in $\cl V$ are groups under the operations

7: associated with the symbols in~$\Gamma$. In other words,

8: $\cl V$ is assumed to be a nontrivial variety of expanded

9: groups. In particular, $\cl V$ can be a nontrivial variety

10: of groups or rings. Our main result is that there are no

11: post-quantum weakly pseudo-free families in $\cl V$, even in

12: the worst-case setting and/or the black-box model. In this

13: paper, we restrict ourselves to families $(H_d\st d\in D)$

14: of computational and black-box $\Omega$-algebras (where

15: $D\subseteq\B^*$) such that for every $d\in D$, each element

16: of $H_d$ is represented by a unique bit string of length

17: polynomial in the length of~$d$. We use straight-line

18: programs to represent nontrivial relations between elements

19: of $\Omega$-algebras in our main result. Note that under

20: certain conditions, this result depends on the

21: classification of finite simple groups. Also, we define and

22: study some types of weak pseudo-freeness for families of

23: computational and black-box $\Omega$-algebras.

24: 

25: \medskip

26: 

27: \textbf{Keywords:}~\keywords.

28: \end{abstract}

29: