VLDB 2026 Research / reviewers in the wild / expert
José Manuel Agüero Trejo
dblp:287/8251
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2024
0000-0001-9631-0326ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | How real is incomputability in physics?abstractA physical system is determined by a finite set of initial conditions and “laws” represented by equations. The system is computable if we can solve the equations in all instances using a “finite body of mathematical knowledge”. In this case, if the laws of the system can be coded into a computer program, then given the initial conditions of the system, one can compute the system's evolution. Are there incomputable physical systems? This question has been theoretically studied in the last 30–40 years. In this paper, we experimentally show for the first time the strong incomputability of a quantum experiment, namely the outputs of a quantum random number generator. Moreover, the experimental results are robust and statistically significant. José Manuel Agüero Trejo, Cristian S. Calude, Michael J. Dinneen, Arkady Fedorov, Anatoly Kulikov, Rohit Navarathna, Karl Svozil |
Theor. Comput. Sci. | 1 |
| 2021 | A new quantum random number generator certified by value indefiniteness
José Manuel Agüero Trejo, Cristian S. Calude |
Theor. Comput. Sci. | 1 |