Andrew Mendelsohn
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Andrew Mendelsohn has a total of 15 co-authors. Here are the top co-authors by number of shared publications:
- Cong Ling
Department of Electrical and Electronic Engineering, Imperial College London, London, U.K.
10 shared publications - Christian Porter
Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom
3 shared publications - James W. Larrick
Panorama Research Institute, Sunnyvale, CA 94089, USA
2 shared publications Charles Grover
Flare Network
1 shared publication- Charles Grover
Imperial College London, London, UK
1 shared publication - Jasmine W Larrick
Panorama Research Institute, Sunnyvale, California, United States;
1 shared publication
Latest Publications
- Open Access
- 7 July 2025
- Published by International Association for Cryptologic Research in IACR Communications in Cryptology
- Vol. 2 (2)
On the Security of Group Ring Learning with Errors
We propose a dimension-reducing transformation on Group Ring Learning with Errors (GRLWE) samples. We exhibit an efficiently computable isomorphism which takes samples defined over the group rings used in the construction of GRLWE to twice as many samples defined over matrix rings, in half the dimension. This is done by composing two maps: the first map is a transformation showing that the group rings used are orders in central simple algebras, and the second map takes the obtained central simple algebra to a matrix ring. When combined with lattice reduction on the resulting matrix samples, this gives an attack on the GRLWE problem. We extend this attack to other groups proposed for cryptographic use by the creators of GRLWE, and display some numerical results quantifying the effects of the transformation, using the `Lattice Estimator'. We then give a family of groups from which GRLWE-style group rings can be constructed which are immune to our attack, namely the generalized quaternion groups. Finally, we discuss the merits and vulnerabilities of a number of different forms of structured LWE.
- 7 July 2025
- Published by International Association for Cryptologic Research in IACR Communications in Cryptology
- Vol. 2 (2)
Open AccessOn the Security of Group Ring Learning with Errors
We propose a dimension-reducing transformation on Group Ring Learning with Errors (GRLWE) samples. We exhibit an efficiently computable isomorphism which takes samples defined over the group rings used in the construction of GRLWE to twice as many samples defined over matrix rings, in half the dimension. This is done by composing two maps: the first map is a transformation showing that the group rings used are orders in central simple algebras, and the second map takes the obtained central simple algebra to a matrix ring. When combined with lattice reduction on the resulting matrix samples, this gives an attack on the GRLWE problem. We extend this attack to other groups proposed for cryptographic use by the creators of GRLWE, and display some numerical results quantifying the effects of the transformation, using the `Lattice Estimator'. We then give a family of groups from which GRLWE-style group rings can be constructed which are immune to our attack, namely the generalized quaternion groups. Finally, we discuss the merits and vulnerabilities of a number of different forms of structured LWE.
- 19 February 2025
- Published by Springer Nature
- p. 175-205
Algebraic Equipage for Learning with Errors in Cyclic Division Algebras
- 19 February 2025
- Published by Springer Nature
- p. 175-205
Algebraic Equipage for Learning with Errors in Cyclic Division Algebras
- Open Access
- 13 January 2025
- Published by International Association for Cryptologic Research in IACR Communications in Cryptology
- Vol. 1 (4)
Learning with Errors from Nonassociative Algebras
We construct a provably-secure structured variant of Learning with Errors (LWE) using nonassociative cyclic division algebras, assuming the hardness of worst-case structured lattice problems, for which we are able to give a full search-to-decision reduction, improving upon the construction of Grover et al. named `Cyclic Learning with Errors' (CLWE). We are thus able to create structured LWE over cyclic algebras without any restriction on the size of secret spaces, which was required for CLWE as a result of its restricted security proof. We reduce the shortest independent vectors problem in ideal lattices, obtained from ideals in orders of such algebras, to the decision variant of LWE defined for nonassociative CDAs. We believe this variant has greater security and greater freedom with parameter choices than CLWE, and greater asymptotic efficiency of multiplication than module LWE. Our reduction requires new results in the ideal theory of such nonassociative algebras, which may be of independent interest. We then adapt an LPR-like PKE scheme to hold for nonassociative spaces, and discuss the efficiency and security of our construction, showing that it is immune to certain subfield attacks. Finally, we give example parameters to construct algebras for cryptographic use.
- 13 January 2025
- Published by International Association for Cryptologic Research in IACR Communications in Cryptology
- Vol. 1 (4)
Open AccessLearning with Errors from Nonassociative Algebras
We construct a provably-secure structured variant of Learning with Errors (LWE) using nonassociative cyclic division algebras, assuming the hardness of worst-case structured lattice problems, for which we are able to give a full search-to-decision reduction, improving upon the construction of Grover et al. named `Cyclic Learning with Errors' (CLWE). We are thus able to create structured LWE over cyclic algebras without any restriction on the size of secret spaces, which was required for CLWE as a result of its restricted security proof. We reduce the shortest independent vectors problem in ideal lattices, obtained from ideals in orders of such algebras, to the decision variant of LWE defined for nonassociative CDAs. We believe this variant has greater security and greater freedom with parameter choices than CLWE, and greater asymptotic efficiency of multiplication than module LWE. Our reduction requires new results in the ideal theory of such nonassociative algebras, which may be of independent interest. We then adapt an LPR-like PKE scheme to hold for nonassociative spaces, and discuss the efficiency and security of our construction, showing that it is immune to certain subfield attacks. Finally, we give example parameters to construct algebras for cryptographic use.
- 13 December 2024
- Published by Springer Nature
- p. 329-358
On the Spinor Genus and the Distinguishing Lattice Isomorphism Problem
- 13 December 2024
- Published by Springer Nature
- p. 329-358
On the Spinor Genus and the Distinguishing Lattice Isomorphism Problem
- 8 June 2024
- Published by World Scientific Pub Co Pte Ltd in International Journal of Number Theory
- Vol. 20 (08) , 2059-2068
An upper bound on the number of classes of perfect unary forms in totally real number fields
Let K be a totally real number field of degree n over [ ], with discriminant and regulator [ ], respectively. In this paper, using a similar method to van Woerden, we prove that the number of classes of perfect unary forms, up to equivalence and scaling, can be bounded above by [ ], where [ ] is the discriminant of the field K, [ ] is the additive Hermite–Humbert constant over positive-definite unary forms for K and [ ] is the covering radius of the log-unit lattice. In particular, when K is Galois over [ ] and n is a prime number, the number of homothety classes of unary forms is upper bounded by [ ], where [ ] is the regulator of K. Moreover, if K is a maximal totally real subfield of a cyclotomic field, the number of homothety classes of perfect unary forms is upper bounded by [ ].
- 8 June 2024
- Published by World Scientific Pub Co Pte Ltd in International Journal of Number Theory
- Vol. 20 (08) , 2059-2068
An upper bound on the number of classes of perfect unary forms in totally real number fields
Let K be a totally real number field of degree n over [ ], with discriminant and regulator [ ], respectively. In this paper, using a similar method to van Woerden, we prove that the number of classes of perfect unary forms, up to equivalence and scaling, can be bounded above by [ ], where [ ] is the discriminant of the field K, [ ] is the additive Hermite–Humbert constant over positive-definite unary forms for K and [ ] is the covering radius of the log-unit lattice. In particular, when K is Galois over [ ] and n is a prime number, the number of homothety classes of unary forms is upper bounded by [ ], where [ ] is the regulator of K. Moreover, if K is a maximal totally real subfield of a cyclotomic field, the number of homothety classes of perfect unary forms is upper bounded by [ ].
- 1 January 2024
- Published by American Institute of Mathematical Sciences (AIMS) in Advances in Mathematics of Communications
- Vol. 18 (2) , 410-424
Fractional non-norm elements for division algebras, and an application to Cyclic Learning with Errors
Given a cyclotomic field $ K $ and a finite Galois extension $ L $, we discuss the construction of unit-magnitude elements in $ K $ which are not in the image of the field norm map $ N_{L/K}(L^\times) $. We observe that the construction of Elia, Sethuraman, and Kumar extends to all cyclotomic fields whose rings of integers are a principal ideal domain, a fact we have not seen appear elsewhere in the literature. We then prove a number of lemmas concerning non-norm elements, and extend the above results to hold for arbitrary cyclotomic ground fields. We give examples of towers of fields and corresponding non-norm elements in both instances. Finally, we apply this to cryptography, defining a novel variant of Learning with Errors, defined over cyclic division algebras with fractional unit-magnitude non-norm elements, and reduce lattice problems defined over ideals in maximal orders in such algebras to the search problem for this form of LWE.- 1 January 2024
- Published by American Institute of Mathematical Sciences (AIMS) in Advances in Mathematics of Communications
- Vol. 18 (2) , 410-424
Fractional non-norm elements for division algebras, and an application to Cyclic Learning with Errors
Given a cyclotomic field $ K $ and a finite Galois extension $ L $, we discuss the construction of unit-magnitude elements in $ K $ which are not in the image of the field norm map $ N_{L/K}(L^\times) $. We observe that the construction of Elia, Sethuraman, and Kumar extends to all cyclotomic fields whose rings of integers are a principal ideal domain, a fact we have not seen appear elsewhere in the literature. We then prove a number of lemmas concerning non-norm elements, and extend the above results to hold for arbitrary cyclotomic ground fields. We give examples of towers of fields and corresponding non-norm elements in both instances. Finally, we apply this to cryptography, defining a novel variant of Learning with Errors, defined over cyclic division algebras with fractional unit-magnitude non-norm elements, and reduce lattice problems defined over ideals in maximal orders in such algebras to the search problem for this form of LWE.- 4 December 2023
- Published by Springer Nature
- p. 199-219
Middle-Products of Skew Polynomials and Learning with Errors
- 4 December 2023
- Published by Springer Nature
- p. 199-219
Middle-Products of Skew Polynomials and Learning with Errors
- Open Access
A Note On Square-free Commuting Probabilities of Finite Rings
It is shown that the commuting probability of a finite ring cannot be a fraction with square-free denominator, resolving a conjecture of Buckley and MacHale.
Open AccessA Note On Square-free Commuting Probabilities of Finite Rings
It is shown that the commuting probability of a finite ring cannot be a fraction with square-free denominator, resolving a conjecture of Buckley and MacHale.
- 10 August 2023
- Published by Springer Nature
- p. 256-290
NTRU in Quaternion Algebras of Bounded Discriminant
- 10 August 2023
- Published by Springer Nature
- p. 256-290
NTRU in Quaternion Algebras of Bounded Discriminant
- Open Access
Sum-Product Bounds & an Inequality for the Kissing Number in Dimension 16
We obtain an inequality for the kissing number in 16 dimensions. We do this by generalising a sum-product bound of Solymosi and Wong for quaternions to a semialgebra in dimension 16. In particular, we obtain the inequality $$k_{16}\geq \frac{\sum_{x \in \mathcal{R}}\left|\mathcal{S}_{x}\right|}{\left|\bigcup_{x \in \mathcal{R}} \mathcal{S}_{x}\right|}-1,$$ where $k_{16}$ is the 16-dimensional kissing number, and $S_x$ and $\mathcal{R}$ are sets defined below. Along the way we also obtain a sum-product bound for subsets of the octonions which are closed under taking inverses, using a similar strategy to that used for the quaternions. We use the fact that the kissing number in eight dimensions is 240 to achieve the result. Namely, we obtain the bound $$\operatorname{max}(|\mathcal{A}+\mathcal{A}|,|\mathcal{A}\mathcal{A}|)\geq \frac{|\mathcal{A}|^{4/3}}{(1928\cdot\lceil \operatorname{log}|\mathcal{A}|\rceil)^{1/3}},$$ where $\mathcal{A}$ is a finite set of octonions such that if $x\in\mathcal{A}$, $x^{-1}\in\mathcal{A}$ also.Open AccessSum-Product Bounds & an Inequality for the Kissing Number in Dimension 16
We obtain an inequality for the kissing number in 16 dimensions. We do this by generalising a sum-product bound of Solymosi and Wong for quaternions to a semialgebra in dimension 16. In particular, we obtain the inequality $$k_{16}\geq \frac{\sum_{x \in \mathcal{R}}\left|\mathcal{S}_{x}\right|}{\left|\bigcup_{x \in \mathcal{R}} \mathcal{S}_{x}\right|}-1,$$ where $k_{16}$ is the 16-dimensional kissing number, and $S_x$ and $\mathcal{R}$ are sets defined below. Along the way we also obtain a sum-product bound for subsets of the octonions which are closed under taking inverses, using a similar strategy to that used for the quaternions. We use the fact that the kissing number in eight dimensions is 240 to achieve the result. Namely, we obtain the bound $$\operatorname{max}(|\mathcal{A}+\mathcal{A}|,|\mathcal{A}\mathcal{A}|)\geq \frac{|\mathcal{A}|^{4/3}}{(1928\cdot\lceil \operatorname{log}|\mathcal{A}|\rceil)^{1/3}},$$ where $\mathcal{A}$ is a finite set of octonions such that if $x\in\mathcal{A}$, $x^{-1}\in\mathcal{A}$ also.