30 citations · 96 across the 22 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
quant-ph2024
An unholy trinity: TFNP, polynomial systems, and the quantum satisfiability problem
Marco Aldi, Sevag Gharibian, Dorian Rudolph
The theory of Total Function NP (TFNP) and its subclasses says that, even if one is promised an efficiently verifiable proof exists for a problem, finding this proof can be intract…
math.RA2024★ 1 cited
On the cohomology of Lie algebras associated with graphs
Marco Aldi, Andrew Butler, Jordan Gardiner +3
We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the thi…