1. A computer program product embodied on a non-transitory computer readable medium for deterministically simulating light transport, comprising: computer code for enumerating, using one of a predetermined rectangular order and a predetermined diagonal order, all pairs of non-negative integers, wherein each of the pairs of non-negative integers includes: a first non-negative integer that is an index to a deterministic point sequence of query points, and a second non-negative integer that is an index to a deterministic point sequence of photons; for each of the enumerated pairs of non-negative integers, computer code for identifying an associated pair of a query point and a photon by: identifying a query point in the deterministic point sequence of query points that is indexed by the first non-negative integer of the pair of non-negative integers, wherein the query point determines a region and a radius of the determined region is defined based on an initial radius and using a number n of photons emitted from a light source for locally estimating radiance or estimating functionals within finite bounds, and identifying a photon in the deterministic point sequence of photons that is indexed by the second non-negative integer of the pair of non-negative integers, wherein the photon intersects the region determined by the query point; for each of the query points in the deterministic point sequence of query points, computer code for identifying photons in the deterministic point sequence of photons within the region determined by the query point; and computer code for computing an illumination value for each of the query points using each of the photons within the region determined by the query point using the pairs of query points and photons and at least one transport property at the query point; wherein the computer program product is operable such that each of the pairs of non-negative integers are enumerated between two sequences of non-negative integers using the predetermined order, such that each of the pairs of non-negative integers includes the first non-negative integer from a first one of the sequences of non-negative integers and the second non-negative integer from a second one of the sequences of non-negative integers.