Automorphism
A structure-preserving bijective map from a mathematical object to itself—an "internal symmetry" of the structure.
An automorphism is a structure-preserving map from a mathematical object to itself that is bijective (invertible). It's essentially an "internal symmetry" of the structure.
General Definition
For a ring , an automorphism must satisfy:
- (preserves addition)
- (preserves multiplication)
- is bijective (one-to-one and onto)
In Cyclotomic Rings (Lattice Crypto Context)
For the ring where , the automorphisms are specifically:
This means: replace every in the polynomial with , then reduce modulo .
Why It's Useful in Cryptography
- Key switching: Automorphisms let you transform ciphertexts encrypted under one key to ciphertexts under a related key
- Slot rotations: In packed RLWE (where one ciphertext encodes multiple plaintexts), automorphisms rotate the "slots"
- CDKS packing: Uses automorphisms to create "constructive interference" when merging LWE ciphertexts, ensuring values land in different coefficient positions rather than colliding
Intuition
Think of it as a "rearrangement" of the polynomial's coefficients according to a specific pattern—one that preserves all the algebraic relationships.
The set of all valid automorphisms forms the Galois group of the cyclotomic field, which for has exactly elements (all odd numbers from 1 to ).
Related Concepts
- LWE - Learning With Errors, the foundation of lattice cryptography
- LWE to RLWE Conversion - Uses automorphisms in the Field Trace operation
- CDKS Packing - Uses automorphisms for constructive interference when merging ciphertexts