On Learning and Testing Dynamic Environments On Testing Dynamic Environments Oded Goldreich, Weizmann Institute Dana Ron, Tel Aviv University

Testing – A quick reminder ? Let OBJ be an object.  Given query access to OBJ and approximation parameter (0,1], a Testing Algorithm for a (prespecified) property P should accept if OBJ has P and reject if OBJ is -far from having P. Distance is normalized Hamming and algorithm should succeed with high constant probability (whp).

Testing Dynamic Environments - Informal The object, environment ENV, can change with time.  time 0  time 1 Properties of dynamic environments: change is according to a prespecified local rule R (initial configuration may be constrained) Given query access to ENV during time steps 0,…,T, testing algorithm should accept whp if ENV evolved according to R and reject whp if -far from such an evolution. Restrictions on algorithm: (1) Cannot go back in time (2) Number of queries should be sublinear in each time step.

Testing Dynamic Environments - Formalized Consider environments [n]d ENV(j,i1,…,id) is state of location (i1,…,id) in environment at time j. Evolution is local: ENV(j,i1,…,id) is determined by {ENV(j-1,i1+s1,…,id+sd)}, s1,…,sd  {-1,0,+1} . j-1 i-1 i i+1 V() j i On input (n,d,T,), algorithm asks queries (j,i1,…,id) and gets V(ENV(j,i1,…,id)) where V:’ is viewing function: V()’ is visible part of state . Time conforming: Algorithm cannot query (j,i1,…,id) after (j’,i’1,…,i’d) if j < j’.

Testing Dynamic Environments - Formalized Consider environments [n]d (mainly d  {1,2,3}) ENV(j,i1,…,id) is state of location (i1,…,id) in environment at time j. Evolution is local: ENV(j,i1,…,id) is determined by {ENV(j-1,i1+s1,…,id+sd)}, s1,…,sd  {-1,0,+1} . On input (n,d,T,), algorithm asks queries (j,i1,…,id) and gets V(ENV(j,i1,…,id)) where V:’ is viewing function: V()’ is visible part of state . Algorithm must be time conforming: cannot query (j,i1,…,id) after (j’,i’1,…,i’d) if j > j’. If ENV evolves from ENV0=ENV(0,*) in times 1,…,T according to rule R, then alg should accept whp, and if V(ENV) is -far from V(ENV’) for any such ENV’, then alg should reject whp. Temporal query complexity: Algorithm should perform o(nd) queries per time j.

Our Results Separation and Hardness Results: Time conformity can have a big (exponential) price. Adaptivity can give a big (exponential) benefit Testing may be as hard as learning (a learning algorithm should construct -close approximation of V(ENV)). Testing (with sublinear query complexity) may be computationally hard Specific Positive Results: Linear rules have sublinear query (and time) complexity. Environments of moving objects have sublinear query (and time) complexity.

Environments of Moving Objects Consider environments in which initially a subset of the locations are occupied by objects (“basic creatures”). Each object either wants to move right , or to move left , or to stand in place. These, as well as empty location are states of environment. At each time step, each object moves according to its trajectory, unless the new location is occupied, in which case it stops moving.

Environments of Moving Objects - Results We give a testing algorithm whose (total) query complexity and running time are poly(1/). The algorithm has two-sided error. This is unavoidable if complexity independent of n: We prove that any one-sided error algorithm must perform (log n) queries (if non-adaptive, as our algorithm is, then (n1/2) ) The algorithm performs a series of sub-tests (all but one have one-sided error, i.e., cause rejection based on “hard evidence”, and one has two-sided error since based on “statistical evidence”) The analysis has a contrapositive structure: Prove that if environment passes all sub-tests with constant probability, then close to legal environment.

Moving Objects – Some ideas and difficulties I First high-level idea that comes to mind: Uniformly select locations in ENV0 and for each that contains an object, check that it “behaves as it should” (approximately) in future time steps. If ENV0(i) = , must have ENVj(i) = for all j If ENV0(i) = , must have ENVj(i+j) = for every j  st(i), where st(i) is stopping location of object. Analogous statement for ENV0(i) = as well as for ENVT(i) = : ENVj(i) = for j  st(i) j1 j1 j2 j2 T j3

Moving Objects – Some ideas and difficulties II Note: If not time conforming then could find st(i) exactly by binary search. Since time conforming, can find st(i) approximately. Refer to this sub-test as “non-interruptible movement check”: Sample along diagonals and columns of “time x space” matrix to approximate st(i) for sampled i‘s (or find evidence for illegal environment, and reject). “For the same price” can perform “non crossing check”

Moving Objects – Some ideas and difficulties III At this point, if did not reject, “know” (with high confidence) that: “(almost) all objects move/stand in an (almost) non-interruptible way, (almost) without crossing each other” Source of two-sided error But, what is the relation between the moving and standing objects? Once a moving object stops, it should become a standing object. Perform a “matching of movement and standing check”. Use estimated times where sampled moving objects stopped moving and estimated times in which standing objects started to stand.

Moving Objects – Some ideas and difficulties IV At this point, if did not reject, “know” (with high confidence) that close to an environment in which objects move, then stop and stand without interruptions and crossings. But, objects can’t just stop at their whim, there should be a reason for stopping (i.e., another object blocking their way). Perform “non-spaced standing check”. Roughly speaking, between certain pairs of object standing at time T, must have standing objects between them.

Open Problems Price of time conformity when state is fully visible (viewing function V is identity) Benefit of adaptivity when state is fully visible Testing linear rules in polylog(n) (we show O(n) for <d, e.g., for d=1 binary field, get O(n0.8)). Extending the moving objects result to higher dimensions Extending the moving objects result to more complex (but natural) movement rules Sparse versions of moving objects (we have some results)

Thanks