Example Abstract

نویسندگان

  • Tim Raybould
  • Vassili Fedotov
  • Nikitas Papasimakis
  • Ian Young
  • Nikolay Zheludev
چکیده

We report on the study of the time-space localized solutions to Maxwell’s equations with toroidal topology that have intriguing properties and interact with interfaces and nanostructures in a peculiar fashion. The ‘Focused Doughnut’ (FD) pulse is an exact, finite-energy electromagnetic perturbation with a uniquespatio-temporal structure that is toroidal in character (Fig. 1) [1]. In contrast to conventional electromagnetic pulses, theFD pulse exists purely in a single-cycle form with 3-dimensional, polynomial energy localisation. The single-cyclenature of the pulse results in an ultra-broadband pulse spectrum. Moreover, the spatial dependence of the pulse isinseparable from its temporal dependence. In addition, the toroidal topology of the pulse gives rise to significantlongitudinal field components at the pulse centre aligned parallel to the axis of propagation, which has been shown tohave potential for particle acceleration [1]. Although the FD pulse has remained a theoretical curiosity since their firstprediction [1,2], successful experimental realisation could lead to its use in a variety of applications, such asmicroscopy, communications, directed energy transfer, spectroscopy and particle trapping and acceleration. A furtherpoint of interest is the topological similarities between the FD pulse and the near-field configuration of the toroidaldipole – a burgeoning field in electrodynamics [3]. As such, here we present the comprehensive study of the FD pulse,utilising finite-element modelling for the first time to examine the properties and propagation dynamics of these pulses(Fig. 2).The complex field topology of the FD pulse, encompassing transverse and longitudinal fields and space-timenon-separability, is expected to result in unique light-matter interactions [1]. We provide a full evaluation of thetransformations the pulse undergoes when interacting with dielectric and metallic interfaces. This has revealed theintriguing behaviour of both the TE and TM pulses under reflection, with respect to the reversal of the azimuthal andradial field components. Furthermore, the interactions of FDs with small dielectric and plasmonic particles areconsidered, where the broadband nature and complex field topology of the pulses is expected to play a significant rolein mode excitation. Possible experimental realisations of these complex electromagnetic perturbations resulting fromthe theoretical/computational treatment presented here will be discussed. References[1] R. W. Hellwarth and P. Nouchi, “Focused one-cycle electromagnetic pulses”, Phys. Rev. E. 54, 889 (1996).[2] R. W. Ziolkowski, “Localised transmission of electromagnetic energy”, Phys. Rev. A, 39, 2005 (1989).[3] T. Kaelberer et al, “Toroidal dipolar response in a metamaterial”, Science , 330, 1510 (2010).Fig. 1. Illustration of the field topology and focusingproperties of the TE FD pulse. The pulse propagatesalong the z direction.Fig. 2. TheEx (a) andHz (b) fields of the TE FD pulsefrom finite element modelling (normalised to peakvalue). The parameter q1 gives the effectivewavelength.Focal region Effective wavelengthHρ,z Eθxzy

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Sum Formula for Maximal Abstract Monotonicity and Abstract Rockafellar’s Surjectivity Theorem

In this paper, we present an example in which the sum of two maximal abstract monotone operators is maximal. Also, we shall show that the necessary condition for Rockafellar’s surjectivity which was obtained in ([19], Theorem 4.3) can be sufficient.

متن کامل

Lecture 6. Abstract Interpretation

Domain: Interval Abstract Semantics: the ExampleSemantics: the Example I Abstract values: +, -, 0 I Abstract operations: I Sound: the signedness properties preserve in the abstract domain See the extension of the Prof. Alex Aiken’s example

متن کامل

Counter-Example Guided Program Verification

This paper presents a novel counter-example guided abstraction refinement algorithm for the automatic verification of concurrent programs. Our algorithm proceeds in different steps. It first constructs an abstraction of the original program by slicing away a given subset of variables. Then, it uses an external model checker as a backend tool to analyze the correctness of the abstract program. I...

متن کامل

Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)

Most applications of the abstract interpretation framework[2] have been for analyzing functional programs use functions on abstract values to approximate functions, thus assuming that functions may be called at all arguments. When the abstract domain is finite, this approach can easily be generalized to higher order functional languages as shown for example by [1]. In practice this leads to com...

متن کامل

Foundations of Abstract Interpretation

Semantics Similar to concrete semantics:  A complete lattice (L#, ≤) as the domain for abstract elements  A monotone function F# corresponding to the concrete function F  Then the abstract semantics is the least fixed point of F#, lfp F# If F# “correctly approximates” F, then lfp F# “correctly approximates” lfp F. An Example Abstract Domain for Values of Variables How to relate the two?  Co...

متن کامل

Static Program Analysis Foundations of Abstract Interpretation

Semantics Similar to concrete semantics:  A complete lattice (L#, ≤) as the domain for abstract elements  A monotone function F# corresponding to the concrete function F  Then the abstract semantics is the least fixed point of F#, lfp F# If F# “correctly approximates” F, then lfp F# “correctly approximates” lfp F. Fixpoint Transfer Theorem Local Correctness Global Correctness An Example Abst...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014