Klein Tunneling of Light in Fiber Bragg Gratings

A photonic analogue of Klein tunneling (KT), that is, of the exotic property of relativistic electrons to pass a large repulsive and sharp potential step, is proposed for pulse propagation in a nonuniform fiber Bragg grating with an embedded chirped region. KT can be simply observed as the opening of a transmission window inside the grating stop band, provided that the impressed chirp is realized over a length of the order of the analogue of the Compton wavelength.

Higher-Order Rewriting and Partial Evaluation

We demonstrate the usefulness of higher-order rewriting techniques for specializing programs, i.e., for partial evaluation. More precisely, we demonstrate how casting program specializers as combinatory reduction systems (CRSs) makes it possible to formalize the corresponding program transformations as meta-reductions, i.e., reductions in the internal "substitution calculus." For partial-evaluation problems, this means that instead of having to prove on a case-by-case basis that one's "two-level functions" operate properly, one can concisely formalize them as a combinatory reduction system and obtain as a corollary that static reduction does not go wrong and yields a well-formed residual program.<br />We have found that the CRS substitution calculus provides an adequate expressive power to formalize partial evaluation: it provides sufficient termination strength while avoiding the need for additional restrictions such as types that would complicate the description unnecessarily (for our purpose). We also review the benefits and penalties entailed by more expressive higher-order formalisms. In addition, partial evaluation provides a number of examples of higher-order rewriting where being higher order is a central (rather than an occasional or merely exotic) property. We illustrate this by demonstrating how standard but non-trivial partial-evaluation examples are<br />handled with higher-order rewriting.