CRAWLER

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: Tamara

codes/quantum/qubits/stabilizer/qldpc/other_product/dlv.yml

@@ -15,7 +15,7 @@ description: |
   Member of a family of codes constructed using cubical chain complexes, which are \(t\)-order extensions of the complexes underlying expander codes (\(t=1\)) and expander lifted-product codes (\(t=2\)).
 
   For \(t=4\), assuming a conjecture about random linear maps, there exists a quantum locally testable family with linear dimension and inverse poly-logarithmic relative distance and soundness.
-  Applying weight reduction yields \hyperref[topic:asymptotics]{order} \(\Omega(1/\text{polylog}n)\) soundness, distance, and dimension, but \hyperref[topic:asymptotics]{order} \(\Theta(n)\) locality \cite[Table 4]{arxiv:2309.05541}.
+  Applying weight reduction yields \hyperref[topic:asymptotics]{order} \(\Omega(1/\text{polylog}n)\) soundness, \(\Omega(n/\text{polylog}n)\) distance and dimension, and constant locality \cite[Table 4]{arxiv:2309.05541}.
   Applying distance amplification and soundness amplification yields asymptotically constant soundness, \hyperref[topic:asymptotics]{order} \(\Theta(n)\) distance, \hyperref[topic:asymptotics]{order} \(\Theta(n)\) dimension, but poly-logarithmic locality \cite[Table 4]{arxiv:2309.05541}.
 
 
@@ -33,5 +33,7 @@ relations:
 _meta:
   # Change log - most recent first
   changelog:
+    - user_id: GitHubCopilot
+      date: '2026-05-22'
     - user_id: VictorVAlbert
       date: '2024-02-13'

users/users_db.yml

@@ -104,6 +104,10 @@
 - user_id: AdamWills
   name: 'Adam Wills'
   gscholaruser: hyatxQ4AAAAJ
+
+- user_id: GitHubCopilot
+  name: 'GitHub Copilot'
+  githubusername: Copilot
 
 - user_id: BenjaminBrown
   name: 'Benjamin J. Brown'