6 papers
Removing Online Exponential Net Search from Solovay-Kitaev
Henrique Ennes, Clément Maria
The Solovay-Kitaev algorithm describes how to approximate, to arbitrary precision, a matrix in the special unitary group SU(d) using any fixed universal gate set. Although the algo…
Compressed data structures for Heegaard splittings
Henrique Ennes, Clément Maria
Heegaard splittings provide a natural representation of closed 3-manifolds by gluing two handlebodies along a common surface. These splittings can be equivalently given by two fini…
Variational Quantum Brushes
Jui-Ting Lu, Henrique Ennes, Chih-Kang Huang +1
Quantum brushes are computational arts software introduced by Ferreira et al (2025) that leverage quantum behavior to generate novel artistic effects. In this outreach paper, we in…
LieDetect: Detection of representation orbits of compact Lie groups from point clouds
Henrique Ennes, Raphaël Tinarrage
We suggest a new algorithm to estimate representations of compact Lie groups from finite samples of their orbits. Different from other reported techniques, our method allows the re…
Hardness of computation of quantum invariants on 3-manifolds with restricted topology
Henrique Ennes, Clément Maria
Quantum invariants in low dimensional topology offer a wide variety of valuable invariants of knots and 3-manifolds, presented by explicit formulas that are readily computable. The…
Empirical analysis of binding precedent efficiency in Brazilian Supreme Court via case classification
Raphaël Tinarrage, Henrique Ennes, Lucas Resck +3
Binding precedents (súmulas vinculantes) constitute a juridical instrument unique to the Brazilian legal system and whose objectives include the protection of the Federal Supreme…