6 citations · 11 across the 7 of their papers we have counts for
3 papers · 1 filter
The Complexity of Bisimilarity and Model Checking in Finitary Diagrams
Markus Bläser, Sagnik Dutta, Samuel Okyay
Inspired by the work of Dubut, Goubault, and Goubault-Larrecq (ICALP 2015) on natural homology, Dubut (RAMiCS 2020) introduces finitary diagrams and studies bisimilarity and diagra…
On the Principal Minor Expansion and Complexity of the Symmetrized Determinant
Sanyam Agarwal, Markus Bläser, Mridul Gupta
Barvinok introduced the symmetrized determinant ($\sdet$) as a \emph{non-commutative} analogue of the determinant. Intuitively, given a square matrix over an associative algebra, w…
Exponential lower bound via exponential sums
Somnath Bhattacharjee, Markus Bläser, Pranjal Dutta +1
Valiant's famous VP vs. VNP conjecture states that the symbolic permanent polynomial does not have polynomial-size algebraic circuits. However, the best upper bound on the size of…