## Flowchart: Hierarchical Relationships Between Lemmas and Transformations
### Overview
The image depicts a hierarchical flowchart illustrating relationships between lemmas (9.5.5, 9.5.8, 9.5.10, 9.5.12) and transformations (automorphisms, search-to-decision, worst-to-average, hybrid-to-general). The structure shows bidirectional dependencies between two main branches: one focused on "RLWE" (Ring-LWE) and the other on "DRLWE" (Decisional Ring-LWE), with a bridging transformation labeled "Hybrid to general."
### Components/Axes
- **Nodes**:
- Top-left: `RLWE_{q,Ψ_α}` (Ring-LWE with parameters q, Ψ, α)
- Bottom-left: `q_i-RLWE_{q,Ψ_α}` (Indexed RLWE variant)
- Center-left: `WDRLWE_{q,Ψ_α}^i` (Worst-case Decisional RLWE)
- Top-right: `DRLWE_{q,γ_α}` (Decisional RLWE with parameter γ)
- Bottom-right: `DRLWE_{q,γ_α}^i` (Indexed Decisional RLWE)
- **Arrows**:
- Vertical arrows labeled with lemmas (9.5.5, 9.5.8, 9.5.10, 9.5.12)
- Horizontal arrows labeled with transformations:
- "Search to decision" (connects `q_i-RLWE` to `WDRLWE`)
- "Worst to average" (connects `WDRLWE` to `DRLWE^i`)
- "Hybrid to general" (bridges `DRLWE` and `RLWE` branches)
- **Text**: Lemmas and transformation labels are explicitly annotated.
### Detailed Analysis
1. **Left Branch (RLWE Focus)**:
- Starts at `RLWE_{q,Ψ_α}` (Lemma 9.5.5).
- Transforms via "Automorphisms" to `q_i-RLWE_{q,Ψ_α}`.
- Further evolves via "Search to decision" (Lemma 9.5.8) to `WDRLWE_{q,Ψ_α}^i`.
2. **Right Branch (DRLWE Focus)**:
- Starts at `DRLWE_{q,γ_α}` (Lemma 9.5.12).
- Transforms via "Hybrid to general" to `DRLWE_{q,γ_α}^i`.
- Further evolves via "Worst to average" (Lemma 9.5.10) to `DRLWE_{q,γ_α}^i`.
3. **Bridging Transformation**:
- "Hybrid to general" connects the two branches, suggesting a unifying framework between RLWE and DRLWE.
### Key Observations
- **Hierarchical Structure**: Lemmas 9.5.5 and 9.5.12 anchor the top of their respective branches, while 9.5.8 and 9.5.10 govern intermediate transformations.
- **Bidirectional Flow**: Arrows indicate both upward (e.g., Lemma 9.5.12) and downward (e.g., Lemma 9.5.5) dependencies.
- **Unifying Element**: "Hybrid to general" implies a synthesis of RLWE and DRLWE concepts.
### Interpretation
The flowchart demonstrates how cryptographic primitives (RLWE/DRLWE) are interrelated through mathematical transformations and lemma-driven proofs. The "Hybrid to general" label suggests that combining RLWE and DRLWE frameworks (via Lemma 9.5.12) enables generalization, while "Worst to average" (Lemma 9.5.10) bridges worst-case and average-case security reductions. This structure likely supports arguments for the security or efficiency of hybrid cryptographic schemes, emphasizing the interplay between automorphisms, search-to-decision reductions, and worst-case-to-average-case transitions.
