Tejas Bhojraj

dblp:264/4961 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2025
0000-0002-8571-1826ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 first-author · 3 since 2021
YearPublicationVenuePosition
2025 von Neumann entropy and quantum algorithmic randomness
abstract
A state ρ = ( ρ n ) n = 1 ∞ is a sequence such that ρ n is a density matrix on n qubits . It formalizes the notion of an infinite sequence of qubits. The von Neumann entropy H ( d ) of a density matrix d is the Shannon entropy of its eigenvalue distribution. We show: (1) If ρ is a computable quantum Schnorr random state then lim n ⁡ [ H ( ρ n ) / n ] = 1 . (2) We define quantum s-tests for s ∈ [ 0 , 1 ] , show that lim inf n [ H ( ρ n ) / n ] ≥ { s : ρ is covered by a quantum s-test } for computable ρ and construct states where this inequality is an equality. (3) If ∃ c ∃ ∞ n H ( ρ n ) > n − c then ρ is strong quantum random. Strong quantum randomness is a randomness notion which implies quantum Schnorr randomness relativized to any oracle. (4) A computable state ( ρ n ) n = 1 ∞ is quantum Schnorr random iff the family of distributions of the ρ n 's is uniformly integrable. We show that the implications in (1) and (3) are strict.
Tejas Bhojraj
Theor. Comput. Sci.1
2021 Notions of indifference for genericity: Union sets and subsequence sets
abstract
Abstract A set $I$ is said to be a universal indifferent set for $1$-genericity if for every $1$-generic $G$ and for all $X \subseteq I$, $G \varDelta X$ is also $1$-generic. Miller (2013, The Journal of Symbolic Logic, 78, 113–138) showed that there is no infinite universal indifferent set for $1$-genericity. We introduce two variants (union and subsequence sets for $1$-genericity) of the notion of universal indifference and prove that there are no non-trivial universal sets for $1$-genericity with respect to these notions. In contrast, we show that there is a non-computable subsequence set for weak-$1$-genericity.
Tejas Bhojraj
J. Log. Comput.1
2021 Prefix-free quantum Kolmogorov complexity
Tejas Bhojraj
Theor. Comput. Sci.1