PRAMs over integers do not compute maxflow efficiently - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2018

PRAMs over integers do not compute maxflow efficiently

Thomas Seiller

Résumé

Finding lower bounds in complexity theory has proven to be an extremely difficult task. In this article, we analyze two proofs of complexity lower bound: Ben-Or's proof of minimal height of algebraic computational trees deciding certain problems and Mulmuley's proof that restricted Parallel Random Access Machines (prams) over integers can not decide P-complete problems efficiently. We present the aforementioned models of computation in a framework inspired by dynamical systems and models of linear logic : graphings. This interpretation allows to connect the classical proofs to topological entropy, an invariant of these systems; to devise an algebraic formulation of parallelism of computational models; and finally to strengthen Mulmuley's result by separating the geometrical insights of the proof from the ones related to the computation and blending these with Ben-Or's proof. Looking forward, the interpretation of algebraic complexity theory as dynamical system might shed a new light on research programs such as Geometric Complexity Theory.
Fichier principal
Vignette du fichier
main.pdf (1.19 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01921942 , version 1 (14-11-2018)
hal-01921942 , version 2 (23-01-2021)
hal-01921942 , version 3 (07-11-2022)
hal-01921942 , version 4 (10-02-2023)
hal-01921942 , version 5 (16-04-2024)
hal-01921942 , version 6 (14-10-2024)
hal-01921942 , version 7 (17-10-2024)

Identifiants

  • HAL Id : hal-01921942 , version 1

Citer

Luc Pellissier, Thomas Seiller. PRAMs over integers do not compute maxflow efficiently. 2018. ⟨hal-01921942v1⟩
626 Consultations
237 Téléchargements

Partager

More