-
Roadmap for Molecular Benchmarks in Nonadiabatic Dynamics
Authors:
Léon E. Cigrang,
Basile F. E. Curchod,
Rebecca A. Ingle,
Aaron Kelly,
Jonathan R. Mannouch,
Davide Accomasso,
Alexander Alijah,
Mario Barbatti,
Wiem Chebbi,
Nađa Došlić,
Elliot C. Eklund,
Sebastian Fernandez-Alberti,
Antonia Freibert,
Leticia González,
Giovanni Granucci,
Federico J. Hernández,
Javier Hernández-Rodríguez,
Amber Jain,
Jiří Janoš,
Ivan Kassal,
Adam Kirrander,
Zhenggang Lan,
Henrik R. Larsson,
David Lauvergnat,
Brieuc Le Dé
, et al. (20 additional authors not shown)
Abstract:
Simulating the coupled electronic and nuclear response of a molecule to light excitation requires the application of nonadiabatic molecular dynamics. However, when faced with a specific photophysical or photochemical problem, selecting the most suitable theoretical approach from the wide array of available techniques is not a trivial task. The challenge is further complicated by the lack of system…
▽ More
Simulating the coupled electronic and nuclear response of a molecule to light excitation requires the application of nonadiabatic molecular dynamics. However, when faced with a specific photophysical or photochemical problem, selecting the most suitable theoretical approach from the wide array of available techniques is not a trivial task. The challenge is further complicated by the lack of systematic method comparisons and rigorous testing on realistic molecular systems. This absence of comprehensive molecular benchmarks remains a major obstacle to advances within the field of nonadiabatic molecular dynamics. A CECAM workshop, Standardizing Nonadiabatic Dynamics: Towards Common Benchmarks, was held in May 2024 to address this issue. This Perspective highlights the key challenges identified during the workshop in defining molecular benchmarks for nonadiabatic dynamics. Specifically, this work outlines some preliminary observations on essential components needed for simulations and proposes a roadmap aiming to establish, as an ultimate goal, a community-driven, standardized molecular benchmark set.
△ Less
Submitted 10 April, 2025; v1 submitted 20 February, 2025;
originally announced February 2025.
-
The effect of the electron's spin magnetic moment on quantum radiation in strong electromagnetic fields
Authors:
Louis A. Ingle,
Christopher D. Arran,
Matthew Oxley,
Tom G. Blackburn,
Sergey V. Bulanov,
Chris D. Murphy,
Christopher P. Ridgers
Abstract:
Ultra-intense laser pulses can create sufficiently strong fields to probe quantum electrodynamics effects in a novel regime. By colliding a 60 GeV electron bunch with a laser pulse focussed to the maximum achievable intensity of $10^{23}$ Wcm$^{-2}$, we can reach fields much stronger than the critical Schwinger field in the electron rest frame. When the ratio of these fields $χ_e\gg1$ we find that…
▽ More
Ultra-intense laser pulses can create sufficiently strong fields to probe quantum electrodynamics effects in a novel regime. By colliding a 60 GeV electron bunch with a laser pulse focussed to the maximum achievable intensity of $10^{23}$ Wcm$^{-2}$, we can reach fields much stronger than the critical Schwinger field in the electron rest frame. When the ratio of these fields $χ_e\gg1$ we find that the hard ($>25$ \thinspace GeV) radiation from the electron has a substantial contribution from spin-light. 33% more photons are produced above this energy due to spin-light, the radiation resulting from the acceleration of the electron's intrinsic magnetic moment. This increase in high-energy photons results in 14% more positrons produced with energy above $25$ GeV. Furthermore, the enhanced photon production due to spin-light results in a 46% increase in the electron recoil radiation reaction. These observable signatures provide a potential route to observing spin-light in the strongly quantum regime ($χ_e\gg1$) for the first time.
△ Less
Submitted 24 June, 2025; v1 submitted 14 February, 2025;
originally announced February 2025.
-
FoveaSPAD: Exploiting Depth Priors for Adaptive and Efficient Single-Photon 3D Imaging
Authors:
Justin Folden,
Atul Ingle,
Sanjeev J. Koppal
Abstract:
Fast, efficient, and accurate depth-sensing is important for safety-critical applications such as autonomous vehicles. Direct time-of-flight LiDAR has the potential to fulfill these demands, thanks to its ability to provide high-precision depth measurements at long standoff distances. While conventional LiDAR relies on avalanche photodiodes (APDs), single-photon avalanche diodes (SPADs) are an eme…
▽ More
Fast, efficient, and accurate depth-sensing is important for safety-critical applications such as autonomous vehicles. Direct time-of-flight LiDAR has the potential to fulfill these demands, thanks to its ability to provide high-precision depth measurements at long standoff distances. While conventional LiDAR relies on avalanche photodiodes (APDs), single-photon avalanche diodes (SPADs) are an emerging image-sensing technology that offer many advantages such as extreme sensitivity and time resolution. In this paper, we remove the key challenges to widespread adoption of SPAD-based LiDARs: their susceptibility to ambient light and the large amount of raw photon data that must be processed to obtain in-pixel depth estimates. We propose new algorithms and sensing policies that improve signal-to-noise ratio (SNR) and increase computing and memory efficiency for SPAD-based LiDARs. During capture, we use external signals to \emph{foveate}, i.e., guide how the SPAD system estimates scene depths. This foveated approach allows our method to ``zoom into'' the signal of interest, reducing the amount of raw photon data that needs to be stored and transferred from the SPAD sensor, while also improving resilience to ambient light. We show results both in simulation and also with real hardware emulation, with specific implementations achieving a 1548-fold reduction in memory usage, and our algorithms can be applied to newly available and future SPAD arrays.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Ultrafast Processes in 1,2-Dichloroethene measured with a Universal XUV probe
Authors:
Henry G. McGhee,
Henry J. Thompson,
James Thompson,
Yu Zhang,
Adam S. Wyatt,
Emma Springate,
Richard T. Chapman,
Daniel A. Horke,
Russell S. Minns,
Rebecca A. Ingle,
Michael A. Parkes
Abstract:
The presence of two chlorine atoms in 1,2-dichloroethene allows for isomerisation around the double bond. This isomerisation can lead to rich photochemistry. We present a time-resolved pump-probe photoelectron spectroscopy measurement on both the cis- and trans- isomers of 1,2-dichloroethene. A universal XUV probe of 22.3 eV is used allowing observation of photoelectrons formed anywhere on the pot…
▽ More
The presence of two chlorine atoms in 1,2-dichloroethene allows for isomerisation around the double bond. This isomerisation can lead to rich photochemistry. We present a time-resolved pump-probe photoelectron spectroscopy measurement on both the cis- and trans- isomers of 1,2-dichloroethene. A universal XUV probe of 22.3 eV is used allowing observation of photoelectrons formed anywhere on the potential energy surface, even from the ground-state or dissociation products. Following excitation with a 200 nm probe both ultrafast excited state dynamics and product formation are observed within the time resolution of the experiment. Excited state population begins to return to the ground state on an ultrafast time scale (< 70 fs) and population of products channels is observed on the same timescale. With the aid of ab initio calculations it is found that population transfer from the excited state is facilitated by vibrational modes involving C-C-H bends.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
-
Extensible Recursive Functions, Algebraically
Authors:
Alex Hubers,
Apoorv Ingle,
Andrew Marmaduke,
J. Garrett Morris
Abstract:
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features from subtyping to modular combination of case branches. Our goal is the modular combination of recursive types and of recursive functions over them. The most significant challenge is in recursive function calls, which may need to acc…
▽ More
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features from subtyping to modular combination of case branches. Our goal is the modular combination of recursive types and of recursive functions over them. The most significant challenge is in recursive function calls, which may need to account for new cases in a combined type. We introduce bounded algebras, Mendler-style descriptions of recursive functions in which recursive calls can happen at larger types, and show that they provide expressive recursion over extensible data types. We formalize our approach in R$ωμ$, a small extension of an existing row type theory with support for recursive terms and types, and mechanize the metatheory of R$ωμ$ via an embedding in Agda
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Photon Inhibition for Energy-Efficient Single-Photon Imaging
Authors:
Lucas J. Koerner,
Shantanu Gupta,
Atul Ingle,
Mohit Gupta
Abstract:
Single-photon cameras (SPCs) are emerging as sensors of choice for various challenging imaging applications. One class of SPCs based on the single-photon avalanche diode (SPAD) detects individual photons using an avalanche process; the raw photon data can then be processed to extract scene information under extremely low light, high dynamic range, and rapid motion. Yet, single-photon sensitivity i…
▽ More
Single-photon cameras (SPCs) are emerging as sensors of choice for various challenging imaging applications. One class of SPCs based on the single-photon avalanche diode (SPAD) detects individual photons using an avalanche process; the raw photon data can then be processed to extract scene information under extremely low light, high dynamic range, and rapid motion. Yet, single-photon sensitivity in SPADs comes at a cost -- each photon detection consumes more energy than that of a CMOS camera. This avalanche power significantly limits sensor resolution and could restrict widespread adoption of SPAD-based SPCs. We propose a computational-imaging approach called \emph{photon inhibition} to address this challenge. Photon inhibition strategically allocates detections in space and time based on downstream inference task goals and resource constraints. We develop lightweight, on-sensor computational inhibition policies that use past photon data to disable SPAD pixels in real-time, to select the most informative future photons. As case studies, we design policies tailored for image reconstruction and edge detection, and demonstrate, both via simulations and real SPC captured data, considerable reduction in photon detections (over 90\% of photons) while maintaining task performance metrics. Our work raises the question of ``which photons should be detected?'', and paves the way for future energy-efficient single-photon imaging.
△ Less
Submitted 26 September, 2024;
originally announced September 2024.
-
Single-Photon 3D Imaging with Equi-Depth Photon Histograms
Authors:
Kaustubh Sadekar,
David Maier,
Atul Ingle
Abstract:
Single-photon cameras present a promising avenue for high-resolution 3D imaging. They have ultra-high sensitivity -- down to individual photons -- and can record photon arrival times with extremely high (sub-nanosecond) resolution. Single-photon 3D cameras estimate the round-trip time of a laser pulse by forming equi-width (EW) histograms of detected photon timestamps. Acquiring and transferring s…
▽ More
Single-photon cameras present a promising avenue for high-resolution 3D imaging. They have ultra-high sensitivity -- down to individual photons -- and can record photon arrival times with extremely high (sub-nanosecond) resolution. Single-photon 3D cameras estimate the round-trip time of a laser pulse by forming equi-width (EW) histograms of detected photon timestamps. Acquiring and transferring such EW histograms requires high bandwidth and in-pixel memory, making SPCs less attractive in resource-constrained settings such as mobile devices and AR/VR headsets. In this work we propose a 3D sensing technique based on equi-depth (ED) histograms. ED histograms compress timestamp data more efficiently than EW histograms, reducing the bandwidth requirement. Moreover, to reduce the in-pixel memory requirement, we propose a lightweight algorithm to estimate ED histograms in an online fashion without explicitly storing the photon timestamps. This algorithm is amenable to future in-pixel implementations. We propose algorithms that process ED histograms to perform 3D computer-vision tasks of estimating scene distance maps and performing visual odometry under challenging conditions such as high ambient light. Our work paves the way towards lower bandwidth and reduced in-pixel memory requirements for SPCs, making them attractive for resource-constrained 3D vision applications. Project page: $\href{https://www.computational.camera/pedh}{https://www.computational.camera/pedh}$
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Monitoring the evolution of relative product populations at early times during a photochemical reaction
Authors:
Joao Pedro Figueira Nunes,
Lea Maria Ibele,
Shashank Pathak,
Andrew R. Attar,
Surjendu Bhattacharyya,
Rebecca Boll,
Kurtis Borne,
Martin Centurion,
Benjamin Erk,
Ming-Fu Lin,
Ruaridh J. G. Forbes,
Nate Goff,
Christopher S. Hansen,
Matthias Hoffmann,
David M. P. Holland,
Rebecca A. Ingle,
Duan Luo,
Sri Bhavya Muvva,
Alex Reid,
Arnaud Rouzée,
Artem Rudenko,
Sajib Kumar Saha,
Xiaozhe Shen,
Anbu Selvam Venkatachalam,
Xijie Wang
, et al. (9 additional authors not shown)
Abstract:
Identifying multiple rival reaction products and transient species formed during ultrafast photochemical reactions and determining their time-evolving relative populations are key steps towards understanding and predicting photochemical outcomes. Yet, most contemporary ultrafast studies struggle with clearly identifying and quantifying competing molecular structures/species amongst the emerging re…
▽ More
Identifying multiple rival reaction products and transient species formed during ultrafast photochemical reactions and determining their time-evolving relative populations are key steps towards understanding and predicting photochemical outcomes. Yet, most contemporary ultrafast studies struggle with clearly identifying and quantifying competing molecular structures/species amongst the emerging reaction products. Here, we show that mega-electronvolt ultrafast electron diffraction in combination with ab initio molecular dynamics calculations offer a powerful route to determining time-resolved populations of the various isomeric products formed after UV (266 nm) excitation of the five-membered heterocyclic molecule 2(5H)-thiophenone. This strategy provides experimental validation of the predicted high (~50%) yield of an episulfide isomer containing a strained 3-membered ring within ~1 ps of photoexcitation and highlights the rapidity of interconversion between the rival highly vibrationally excited photoproducts in their ground electronic state.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Panoramas from Photons
Authors:
Sacha Jungerman,
Atul Ingle,
Mohit Gupta
Abstract:
Scene reconstruction in the presence of high-speed motion and low illumination is important in many applications such as augmented and virtual reality, drone navigation, and autonomous robotics. Traditional motion estimation techniques fail in such conditions, suffering from too much blur in the presence of high-speed motion and strong noise in low-light conditions. Single-photon cameras have rece…
▽ More
Scene reconstruction in the presence of high-speed motion and low illumination is important in many applications such as augmented and virtual reality, drone navigation, and autonomous robotics. Traditional motion estimation techniques fail in such conditions, suffering from too much blur in the presence of high-speed motion and strong noise in low-light conditions. Single-photon cameras have recently emerged as a promising technology capable of capturing hundreds of thousands of photon frames per second thanks to their high speed and extreme sensitivity. Unfortunately, traditional computer vision techniques are not well suited for dealing with the binary-valued photon data captured by these cameras because these are corrupted by extreme Poisson noise. Here we present a method capable of estimating extreme scene motion under challenging conditions, such as low light or high dynamic range, from a sequence of high-speed image frames such as those captured by a single-photon camera. Our method relies on iteratively improving a motion estimate by grouping and aggregating frames after-the-fact, in a stratified manner. We demonstrate the creation of high-quality panoramas under fast motion and extremely low light, and super-resolution results using a custom single-photon camera prototype. For code and supplemental material see our $\href{https://wisionlab.com/project/panoramas-from-photons/}{\text{project webpage}}$.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Count-Free Single-Photon 3D Imaging with Race Logic
Authors:
Atul Ingle,
David Maier
Abstract:
Single-photon cameras (SPCs) have emerged as a promising technology for high-resolution 3D imaging. A single-photon 3D camera determines the round-trip time of a laser pulse by capturing the arrival of individual photons at each camera pixel. Constructing photon-timestamp histograms is a fundamental operation for a single-photon 3D camera. However, in-pixel histogram processing is computationally…
▽ More
Single-photon cameras (SPCs) have emerged as a promising technology for high-resolution 3D imaging. A single-photon 3D camera determines the round-trip time of a laser pulse by capturing the arrival of individual photons at each camera pixel. Constructing photon-timestamp histograms is a fundamental operation for a single-photon 3D camera. However, in-pixel histogram processing is computationally expensive and requires large amount of memory per pixel. Digitizing and transferring photon timestamps to an off-sensor histogramming module is bandwidth and power hungry. Here we present an online approach for distance estimation without explicitly storing photon counts. The two key ingredients of our approach are (a) processing photon streams using race logic, which maintains photon data in the time-delay domain, and (b) constructing count-free equi-depth histograms. Equi-depth histograms are a succinct representation for ``peaky'' distributions, such as those obtained by an SPC pixel from a laser pulse reflected by a surface. Our approach uses a binner element that converges on the median (or, more generally, to another quantile) of a distribution. We cascade multiple binners to form an equi-depth histogrammer that produces multi-bin histograms. Our evaluation shows that this method can provide an order of magnitude reduction in bandwidth and power consumption while maintaining similar distance reconstruction accuracy as conventional processing methods.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
3D Scene Inference from Transient Histograms
Authors:
Sacha Jungerman,
Atul Ingle,
Yin Li,
Mohit Gupta
Abstract:
Time-resolved image sensors that capture light at pico-to-nanosecond timescales were once limited to niche applications but are now rapidly becoming mainstream in consumer devices. We propose low-cost and low-power imaging modalities that capture scene information from minimal time-resolved image sensors with as few as one pixel. The key idea is to flood illuminate large scene patches (or the enti…
▽ More
Time-resolved image sensors that capture light at pico-to-nanosecond timescales were once limited to niche applications but are now rapidly becoming mainstream in consumer devices. We propose low-cost and low-power imaging modalities that capture scene information from minimal time-resolved image sensors with as few as one pixel. The key idea is to flood illuminate large scene patches (or the entire scene) with a pulsed light source and measure the time-resolved reflected light by integrating over the entire illuminated area. The one-dimensional measured temporal waveform, called \emph{transient}, encodes both distances and albedoes at all visible scene points and as such is an aggregate proxy for the scene's 3D geometry. We explore the viability and limitations of the transient waveforms by themselves for recovering scene information, and also when combined with traditional RGB cameras. We show that plane estimation can be performed from a single transient and that using only a few more it is possible to recover a depth map of the whole scene. We also show two proof-of-concept hardware prototypes that demonstrate the feasibility of our approach for compact, mobile, and budget-limited applications.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Computational Intelligence based Intrusion Detection Systems for Wireless Communication
Authors:
Abhishek Gupta,
Om Jee Pandey,
Mahendra Shukla,
Anjali Dadhich,
Samar Mathur,
Anup Ingle
Abstract:
The emerging trend of ubiquitous and pervasive computing aims at embedding everyday devices such as wristwatches, smart phones, home video systems, autofocus cameras, intelligent vehicles, musical instruments, kitchen appliances etc. with microprocessors and imparts them with wireless communication capability. This advanced computing paradigm, also known as the Internet of Things or cyber-physical…
▽ More
The emerging trend of ubiquitous and pervasive computing aims at embedding everyday devices such as wristwatches, smart phones, home video systems, autofocus cameras, intelligent vehicles, musical instruments, kitchen appliances etc. with microprocessors and imparts them with wireless communication capability. This advanced computing paradigm, also known as the Internet of Things or cyber-physical computing, leads internet and computing to appear everywhere and anywhere using any device and location. With maximum appreciation and due regards to the evolutionary arc, depth and scope of ceaseless internet utilities, it is equally necessary to envisage the security and data confidentiality challenges posed by the free and ubiquitous availability of internet. This paper analyses the role of computational intelligence techniques to design adaptive and cognitive intrusion detection systems that can efficiently detect malicious network activities and proposes novel three-tier architecture for designing intelligent intrusion detection systems for wireless networks.
△ Less
Submitted 22 April, 2021;
originally announced May 2021.
-
Passive Inter-Photon Imaging
Authors:
Atul Ingle,
Trevor Seets,
Mauro Buttafava,
Shantanu Gupta,
Alberto Tosi,
Mohit Gupta,
Andreas Velten
Abstract:
Digital camera pixels measure image intensities by converting incident light energy into an analog electrical current, and then digitizing it into a fixed-width binary representation. This direct measurement method, while conceptually simple, suffers from limited dynamic range and poor performance under extreme illumination -- electronic noise dominates under low illumination, and pixel full-well…
▽ More
Digital camera pixels measure image intensities by converting incident light energy into an analog electrical current, and then digitizing it into a fixed-width binary representation. This direct measurement method, while conceptually simple, suffers from limited dynamic range and poor performance under extreme illumination -- electronic noise dominates under low illumination, and pixel full-well capacity results in saturation under bright illumination. We propose a novel intensity cue based on measuring inter-photon timing, defined as the time delay between detection of successive photons. Based on the statistics of inter-photon times measured by a time-resolved single-photon sensor, we develop theory and algorithms for a scene brightness estimator which works over extreme dynamic range; we experimentally demonstrate imaging scenes with a dynamic range of over ten million to one. The proposed techniques, aided by the emergence of single-photon sensors such as single-photon avalanche diodes (SPADs) with picosecond timing resolution, will have implications for a wide range of imaging applications: robotics, consumer photography, astronomy, microscopy and biomedical imaging.
△ Less
Submitted 10 April, 2021; v1 submitted 31 March, 2021;
originally announced April 2021.
-
Motion Adaptive Deblurring with Single-Photon Cameras
Authors:
Trevor Seets,
Atul Ingle,
Martin Laurenzis,
Andreas Velten
Abstract:
Single-photon avalanche diodes (SPADs) are a rapidly developing image sensing technology with extreme low-light sensitivity and picosecond timing resolution. These unique capabilities have enabled SPADs to be used in applications like LiDAR, non-line-of-sight imaging and fluorescence microscopy that require imaging in photon-starved scenarios. In this work we harness these capabilities for dealing…
▽ More
Single-photon avalanche diodes (SPADs) are a rapidly developing image sensing technology with extreme low-light sensitivity and picosecond timing resolution. These unique capabilities have enabled SPADs to be used in applications like LiDAR, non-line-of-sight imaging and fluorescence microscopy that require imaging in photon-starved scenarios. In this work we harness these capabilities for dealing with motion blur in a passive imaging setting in low illumination conditions. Our key insight is that the data captured by a SPAD array camera can be represented as a 3D spatio-temporal tensor of photon detection events which can be integrated along arbitrary spatio-temporal trajectories with dynamically varying integration windows, depending on scene motion. We propose an algorithm that estimates pixel motion from photon timestamp data and dynamically adapts the integration windows to minimize motion blur. Our simulation results show the applicability of this algorithm to a variety of motion profiles including translation, rotation and local object motion. We also demonstrate the real-world feasibility of our method on data captured using a 32x32 SPAD camera.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Doming and spin cascade in Ferric Haems: Femtosecond X-ray Absorption and X-ray Emission Studies
Authors:
Camila Bacellar,
Dominik Kinschel,
Giulia F. Mancini,
Rebecca A. Ingle,
Jérémy Rouxel,
Oliviero Cannelli,
Claudio Cirelli,
Gregor Knopp,
Jakub Szlachetko,
Frederico A. Lima,
Samuel Menzi,
Georgios Pamfilidis,
Katharina Kubicek,
Dmitry Khakhulin,
Wojciech Gawelda,
Angel Rodriguez-Fernandez,
Mykola Biednov,
Christian Bressler,
Christopher A. Arrell,
Philip J. M. Johnson,
Christopher Milne,
Majed Chergui
Abstract:
The structure-function relationship is at the heart of biology and major protein deformations are correlated to specific functions. In the case of heme proteins, doming is associated with the respiratory function in hemoglobin and myoglobin, while ruffling has been correlated with electron transfer processes, such as in the case of Cytochrome c (Cyt c). The latter has indeed evolved to become an i…
▽ More
The structure-function relationship is at the heart of biology and major protein deformations are correlated to specific functions. In the case of heme proteins, doming is associated with the respiratory function in hemoglobin and myoglobin, while ruffling has been correlated with electron transfer processes, such as in the case of Cytochrome c (Cyt c). The latter has indeed evolved to become an important electron transfer protein in humans. In its ferrous form, it undergoes ligand release and doming upon photoexcitation, but its ferric form does not release the distal ligand, while the return to the ground state has been attributed to thermal relaxation. Here, by combining femtosecond Fe K-edge X-ray absorption near-edge structure (XANES) studies and femtosecond Fe Kalpha and Kbeta X-ray emission spectroscopy (XES), we demonstrate that the photocycle of ferric Cyt c is entirely due to a cascade among excited spin states of the Iron ion, causing the ferric heme to undergo doming, which we identify for the first time. We also argue that this pattern is common to all ferric haems, raising the question of the biological relevance of doming in such proteins.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
QuB: A Resource Aware Functional Programming Language
Authors:
Apoorv Ingle
Abstract:
Managing resources---file handles, database connections, etc.---is a hard problem. Debugging resource leaks and runtime errors due to resource mismanagement are difficult in evolving production code. Programming languages with static type systems are great tools to ensure erroneous code is detected at compile time. However, modern static type systems do little in the aspect of resource management…
▽ More
Managing resources---file handles, database connections, etc.---is a hard problem. Debugging resource leaks and runtime errors due to resource mismanagement are difficult in evolving production code. Programming languages with static type systems are great tools to ensure erroneous code is detected at compile time. However, modern static type systems do little in the aspect of resource management as resources are treated as normal values. We propose a type system, Qub, based on the logic of bunched implications (BI) which models resources as first class citizens. We distinguish two kinds of program objects---restricted and unrestricted---and two kinds of functions---sharing and separating. Our approach guarantees resource correctness without compromising existing functional abstractions.
△ Less
Submitted 20 December, 2019;
originally announced December 2019.
-
Tracking the Ultraviolet Photochemistry of Thiophenone During and Beyond the Initial Ultrafast Ring Opening
Authors:
Shashank Pathak,
Lea M. Ibele,
Rebecca Boll,
Carlo Callegari,
Alexander Demidovich,
Benjamin Erk,
Raimund Feifel,
Ruaridh Forbes,
Michele Di Fraia,
Luca Giannessi,
Christopher S. Hansen,
David M. P. Holland,
Rebecca A. Ingle,
Robert Mason,
Oksana Plekan,
Kevin C. Prince,
Arnaud Rouzée,
Richard J. Squibb,
Jan Tross,
Michael N. R. Ashfold,
Basile F. E. Curchod,
Daniel Rolles
Abstract:
Photoinduced isomerization reactions, including ring-opening reactions, lie at the heart of many processes in nature. The mechanisms of such reactions are determined by a delicate interplay of coupled electronic and nuclear dynamics unfolding on the femtosecond scale, followed by the slower redistribution of energy into different vibrational degrees of freedom. Here we apply time-resolved photoele…
▽ More
Photoinduced isomerization reactions, including ring-opening reactions, lie at the heart of many processes in nature. The mechanisms of such reactions are determined by a delicate interplay of coupled electronic and nuclear dynamics unfolding on the femtosecond scale, followed by the slower redistribution of energy into different vibrational degrees of freedom. Here we apply time-resolved photoelectron spectroscopy with a seeded extreme ultraviolet free electron laser to trace the ultrafast ring opening of gas phase thiophenone molecules following photoexcitation at 265 nm. When combined with cutting edge ab initio electronic structure and molecular dynamics calculations of both the excited and ground state molecules, the results provide unprecedented insights into both electronic and nuclear dynamics of this fundamental class of reactions. The initial ring opening and non-adiabatic coupling to the electronic ground state is shown to be driven by ballistic SC bond extension and to be complete within 350 femtoseconds. Theory and experiment also allow clear visualization of the rich ground-state dynamics involving formation of, and interconversion between, several ring opened isomers and the reformed cyclic structure, and fragmentation (CO loss) over much longer timescales.
△ Less
Submitted 14 March, 2020; v1 submitted 1 December, 2019;
originally announced December 2019.
-
Asynchronous Single-Photon 3D Imaging
Authors:
Anant Gupta,
Atul Ingle,
Mohit Gupta
Abstract:
Single-photon avalanche diodes (SPADs) are becoming popular in time-of-flight depth-ranging due to their unique ability to capture individual photons with picosecond timing resolution. However, ambient light (e.g., sunlight) incident on a SPAD-based 3D camera leads to severe non-linear distortions (pileup) in the measured waveform, resulting in large depth errors. We propose asynchronous single-ph…
▽ More
Single-photon avalanche diodes (SPADs) are becoming popular in time-of-flight depth-ranging due to their unique ability to capture individual photons with picosecond timing resolution. However, ambient light (e.g., sunlight) incident on a SPAD-based 3D camera leads to severe non-linear distortions (pileup) in the measured waveform, resulting in large depth errors. We propose asynchronous single-photon 3D imaging, a family of acquisition schemes to mitigate pileup during data acquisition itself. Asynchronous acquisition temporally misaligns SPAD measurement windows and the laser cycles through deterministically predefined or randomized offsets. Our key insight is that pileup distortions can be "averaged out" by choosing a sequence of offsets that span the entire depth range. We develop a generalized image formation model and perform theoretical analysis to explore the space of asynchronous acquisition schemes and design high-performance schemes. Our simulations and experiments demonstrate an improvement in depth accuracy of up to an order of magnitude as compared to the state-of-the-art, across a wide range of imaging scenarios, including those with high ambient flux.
△ Less
Submitted 18 August, 2019;
originally announced August 2019.
-
Photon-Flooded Single-Photon 3D Cameras
Authors:
Anant Gupta,
Atul Ingle,
Andreas Velten,
Mohit Gupta
Abstract:
Single photon avalanche diodes (SPADs) are starting to play a pivotal role in the development of photon-efficient, long-range LiDAR systems. However, due to non-linearities in their image formation model, a high photon flux (e.g., due to strong sunlight) leads to distortion of the incident temporal waveform, and potentially, large depth errors. Operating SPADs in low flux regimes can mitigate thes…
▽ More
Single photon avalanche diodes (SPADs) are starting to play a pivotal role in the development of photon-efficient, long-range LiDAR systems. However, due to non-linearities in their image formation model, a high photon flux (e.g., due to strong sunlight) leads to distortion of the incident temporal waveform, and potentially, large depth errors. Operating SPADs in low flux regimes can mitigate these distortions, but, often requires attenuating the signal and thus, results in low signal-to-noise ratio. In this paper, we address the following basic question: what is the optimal photon flux that a SPAD-based LiDAR should be operated in? We derive a closed form expression for the optimal flux, which is quasi-depth-invariant, and depends on the ambient light strength. The optimal flux is lower than what a SPAD typically measures in real world scenarios, but surprisingly, considerably higher than what is conventionally suggested for avoiding distortions. We propose a simple, adaptive approach for achieving the optimal flux by attenuating incident flux based on an estimate of ambient light strength. Using extensive simulations and a hardware prototype, we show that the optimal flux criterion holds for several depth estimators, under a wide range of illumination conditions.
△ Less
Submitted 29 April, 2019; v1 submitted 20 March, 2019;
originally announced March 2019.
-
High Flux Passive Imaging with Single-Photon Sensors
Authors:
Atul Ingle,
Andreas Velten,
Mohit Gupta
Abstract:
Single-photon avalanche diodes (SPADs) are an emerging technology with a unique capability of capturing individual photons with high timing precision. SPADs are being used in several active imaging systems (e.g., fluorescence lifetime microscopy and LiDAR), albeit mostly limited to low photon flux settings. We propose passive free-running SPAD (PF-SPAD) imaging, an imaging modality that uses SPADs…
▽ More
Single-photon avalanche diodes (SPADs) are an emerging technology with a unique capability of capturing individual photons with high timing precision. SPADs are being used in several active imaging systems (e.g., fluorescence lifetime microscopy and LiDAR), albeit mostly limited to low photon flux settings. We propose passive free-running SPAD (PF-SPAD) imaging, an imaging modality that uses SPADs for capturing 2D intensity images with unprecedented dynamic range under ambient lighting, without any active light source. Our key observation is that the precise inter-photon timing measured by a SPAD can be used for estimating scene brightness under ambient lighting conditions, even for very bright scenes. We develop a theoretical model for PF-SPAD imaging, and derive a scene brightness estimator based on the average time of darkness between successive photons detected by a PF-SPAD pixel. Our key insight is that due to the stochastic nature of photon arrivals, this estimator does not suffer from a hard saturation limit. Coupled with high sensitivity at low flux, this enables a PF-SPAD pixel to measure a wide range of scene brightness, from very low to very high, thereby achieving extreme dynamic range. We demonstrate an improvement of over 2 orders of magnitude over conventional sensors by imaging scenes spanning a dynamic range of 1,000,000:1.
△ Less
Submitted 23 April, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Reconstructing the Guitar: Blowing Bubbles with a Pulsar Bow Shock Back Flow
Authors:
Marten H. van Kerkwijk,
Ashleigh Ingle
Abstract:
The Guitar Nebula is an H-alpha nebula produced by the interaction of the relativistic wind of a very fast pulsar, PSR B2224+65, with the interstellar medium. It consists of a ram-pressure confined bow shock near its head and a series of semi-circular bubbles further behind, the two largest of which form the body of the Guitar. We present a scenario in which this peculiar morphology is due to in…
▽ More
The Guitar Nebula is an H-alpha nebula produced by the interaction of the relativistic wind of a very fast pulsar, PSR B2224+65, with the interstellar medium. It consists of a ram-pressure confined bow shock near its head and a series of semi-circular bubbles further behind, the two largest of which form the body of the Guitar. We present a scenario in which this peculiar morphology is due to instabilities in the back flow from the pulsar bow shock. From simulations, these back flows appear similar to jets and their kinetic energy is a large fraction of the total energy in the pulsar's relativistic wind. We suggest that, like jets, these flows become unstable some distance down-stream, leading to rapid dissipation of the kinetic energy into heat, and the formation of an expanding bubble. We show that in this scenario the sizes, velocities, and surface brightnesses of the bubbles depend mostly on observables, and that they match roughly what is seen for the Guitar. Similar instabilities may account for features seen in other bow shocks.
△ Less
Submitted 11 July, 2008;
originally announced July 2008.