#TheoreticalCS
A new study shows Kikuchi‑hierarchy spectral algorithms meet the optimal λ ≥ Θ_r(1) n^{-r/4} ℓ^{1/2‑r/4} bound for Tensor PCA, eliminating the √log n factor. Read more: https://getnews.me/sharp-trade-off-for-tensor-pca-via-kikuchi-matrix-bounds/ #tensorpca #kikuchihierarchy #theoreticalcs
October 6, 2025 at 9:56 AM
Update: we now have a full line-up for the 2 Inspirational and 6 Rising Star talks at our pre #FOCS2025 "Celebration of #TheoreticalCS" event at 🇦🇺 #USyd!

More info (and free registration): sites.google.com/view/celebra...

Travel support (deadline ⏰ Sep 19 AoE): sites.google.com/view/celebra...
September 15, 2025 at 1:54 PM
This matters because it deepens our grasp of foundational principles, enabling more robust algorithms and formal verification methods. It shifts how we approach problem-solving and system design in computer science. #TheoreticalCS #FutureTech
September 9, 2025 at 9:57 AM
“The Gödelian Constraint on Epistemic Freedom (GCEF)”
A topological theory of embedded cognition, simulation occlusion, and unsolvable problems.

Read the paper → zenodo.org/record/15875...

#epistemology #cognition #theoreticalCS #AIalignment #philosophy #complexity #simulation #embeddedagency
Gödelian Constraint on Epistemic Freedom (GCEF): A Topological Theory of Embedded Cognition and Epistemic Singularities
This preprint proposes the Gödelian Constraint on Epistemic Freedom (GCEF), a unifying theoretical framework for understanding why certain problems across mathematics, cognition, physics, and artifici...
zenodo.org
July 17, 2025 at 12:58 AM
This proof shows a dramatic theoretical compression in memory needed for computation. From t/log(t) bits down to roughly sqrt(t). Groundbreaking for theoretical computer science. #TheoreticalCS 2/5
July 1, 2025 at 4:00 AM
First post on 🦋 network. Greetings everyone. If you are interested in #machinelearning #deeplearning #dynamicalsystems #appliedmath #theoreticalcs, let's connect.
November 27, 2024 at 11:15 AM