-
The error in the prime number theorem in short intervals
Authors:
Ethan Simpson Lee
Abstract:
Using a new smoothing argument, we establish explicit versions of the prime number theorem in short intervals and consider the limiting behaviour of this result.
Using a new smoothing argument, we establish explicit versions of the prime number theorem in short intervals and consider the limiting behaviour of this result.
△ Less
Submitted 9 April, 2024; v1 submitted 18 March, 2024;
originally announced March 2024.
-
Sharper bounds for the error in the prime number theorem assuming the Riemann Hypothesis
Authors:
Ethan Simpson Lee,
Paweł Nosal
Abstract:
Assuming the Riemann Hypothesis, we combine powerful theoretical methods, computational techniques, and the latest explicit knowledge on the zeros of the Riemann zeta-function to prove $$|ψ(x) - x| \leq \frac{\sqrt{x}\log{x}(\log{x} - \log\log{x})}{8π}$$ for all $x\geq 401\,211\,790$, where $ψ(x)$ is the Chebyshev $ψ$-function. These bounds for the error term in the prime number theorem refine cla…
▽ More
Assuming the Riemann Hypothesis, we combine powerful theoretical methods, computational techniques, and the latest explicit knowledge on the zeros of the Riemann zeta-function to prove $$|ψ(x) - x| \leq \frac{\sqrt{x}\log{x}(\log{x} - \log\log{x})}{8π}$$ for all $x\geq 401\,211\,790$, where $ψ(x)$ is the Chebyshev $ψ$-function. These bounds for the error term in the prime number theorem refine classical results from Schoenfeld. We also demonstrate how our results can be used to refine bounds for other prime counting functions, which have broad applications throughout the literature.
△ Less
Submitted 6 February, 2024; v1 submitted 9 December, 2023;
originally announced December 2023.
-
J-Net: Improved U-Net for Terahertz Image Super-Resolution
Authors:
Woon-Ha Yeo,
Seung-Hwan Jung,
Seung Jae Oh,
Inhee Maeng,
Eui Su Lee,
Han-Cheol Ryu
Abstract:
Terahertz (THz) waves are electromagnetic waves in the 0.1 to 10 THz frequency range, and THz imaging is utilized in a range of applications, including security inspections, biomedical fields, and the non-destructive examination of materials. However, THz images have low resolution due to the long wavelength of THz waves. Therefore, improving the resolution of THz images is one of the current hot…
▽ More
Terahertz (THz) waves are electromagnetic waves in the 0.1 to 10 THz frequency range, and THz imaging is utilized in a range of applications, including security inspections, biomedical fields, and the non-destructive examination of materials. However, THz images have low resolution due to the long wavelength of THz waves. Therefore, improving the resolution of THz images is one of the current hot research topics. We propose a novel network architecture called J-Net which is improved version of U-Net to solve the THz image super-resolution. It employs the simple baseline blocks which can extract low resolution (LR) image features and learn the map** of LR images to highresolution (HR) images efficiently. All training was conducted using the DIV2K+Flickr2K dataset, and we employed the peak signal-to-noise ratio (PSNR) for quantitative comparison. In our comparisons with other THz image super-resolution methods, JNet achieved a PSNR of 32.52 dB, surpassing other techniques by more than 1 dB. J-Net also demonstrates superior performance on real THz images compared to other methods. Experiments show that the proposed J-Net achieves better PSNR and visual improvement compared with other THz image super-resolution methods.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Exploring Thermal Transport in Electrochemical Energy Storage Systems Utilizing Two-Dimensional Materials: Prospects and Hurdles
Authors:
Dibakar Datta,
Eon Soo Lee
Abstract:
Two-dimensional materials and their heterostructures have enormous applications in Electrochemical Energy Storage Systems (EESS) such as batteries. A comprehensive and solid understanding of these materials' thermal transport and mechanism is essential for the practical design of EESS. Experiments have challenges in providing improved control and characterization of complex structures, especially…
▽ More
Two-dimensional materials and their heterostructures have enormous applications in Electrochemical Energy Storage Systems (EESS) such as batteries. A comprehensive and solid understanding of these materials' thermal transport and mechanism is essential for the practical design of EESS. Experiments have challenges in providing improved control and characterization of complex structures, especially for low dimensional materials. Theoretical and simulation tools such as first-principles calculations, boltzmann transport equations, molecular dynamics simulations, lattice dynamics simulation, and non-equilibrium Green's function provide reliable predictions of thermal conductivity and physical insights to understand the underlying thermal transport mechanism in materials. However, doing these calculations require high computational resources. The development of new materials synthesis technology and fast-growing demand for rapid and accurate prediction of physical properties require novel computational approaches. The machine learning (ML) method provides a promising solution to address such needs. This review details the recent development in atomistic/molecular studies and ML of thermal transport in EESS. The paper also addresses the latest significant experimental advances. However, designing the best low-dimensional materials-based heterostructures is like a multivariate optimization problem. For example, a particular heterostructure may be suitable for thermal transport but can have lower mechanical strength/stability. For bi/multilayer structures, the interlayer distance may influence the thermal transport properties and interlayer strength. Therefore, the last part addresses the future research direction in low-dimensional materials-based heterostructure design for thermal transport in EESS.
△ Less
Submitted 5 September, 2023;
originally announced October 2023.
-
Calibrating Panoramic Depth Estimation for Practical Localization and Map**
Authors:
Junho Kim,
Eun Sun Lee,
Young Min Kim
Abstract:
The absolute depth values of surrounding environments provide crucial cues for various assistive technologies, such as localization, navigation, and 3D structure estimation. We propose that accurate depth estimated from panoramic images can serve as a powerful and light-weight input for a wide range of downstream tasks requiring 3D information. While panoramic images can easily capture the surroun…
▽ More
The absolute depth values of surrounding environments provide crucial cues for various assistive technologies, such as localization, navigation, and 3D structure estimation. We propose that accurate depth estimated from panoramic images can serve as a powerful and light-weight input for a wide range of downstream tasks requiring 3D information. While panoramic images can easily capture the surrounding context from commodity devices, the estimated depth shares the limitations of conventional image-based depth estimation; the performance deteriorates under large domain shifts and the absolute values are still ambiguous to infer from 2D observations. By taking advantage of the holistic view, we mitigate such effects in a self-supervised way and fine-tune the network with geometric consistency during the test phase. Specifically, we construct a 3D point cloud from the current depth prediction and project the point cloud at various viewpoints or apply stretches on the current input image to generate synthetic panoramas. Then we minimize the discrepancy of the 3D structure estimated from synthetic images without collecting additional data. We empirically evaluate our method in robot navigation and map-free localization where our method shows large performance enhancements. Our calibration method can therefore widen the applicability under various external conditions, serving as a key component for practical panorama-based machine vision systems. Code is available through the following link: \url{https://github.com/82magnolia/panoramic-depth-calibration}.
△ Less
Submitted 2 February, 2024; v1 submitted 27 August, 2023;
originally announced August 2023.
-
On the constants in Mertens' theorems for primes in arithmetic progressions
Authors:
Daniel Keliher,
Ethan Simpson Lee
Abstract:
A 1976 result from Norton may be used to give an asymptotic (but not explicit) description of the constant in Mertens' second theorem for primes in arithmetic progressions. Assuming the Generalized Riemann Hypothesis, we give an effective description of Norton's observation.
A 1976 result from Norton may be used to give an asymptotic (but not explicit) description of the constant in Mertens' second theorem for primes in arithmetic progressions. Assuming the Generalized Riemann Hypothesis, we give an effective description of Norton's observation.
△ Less
Submitted 24 May, 2024; v1 submitted 16 June, 2023;
originally announced June 2023.
-
The prime number theorem for primes in arithmetic progressions at large values
Authors:
Ethan S. Lee
Abstract:
Assuming the Riemann hypothesis, we prove the latest explicit version of the prime number theorem for short intervals. Using this result, and assuming the generalised Riemann hypothesis for Dirichlet $L$-functions is true, we then establish explicit formulae for $ψ(x,χ)$, $θ(x,χ)$, and an explicit version of the prime number theorem for primes in arithmetic progressions that hold for general modul…
▽ More
Assuming the Riemann hypothesis, we prove the latest explicit version of the prime number theorem for short intervals. Using this result, and assuming the generalised Riemann hypothesis for Dirichlet $L$-functions is true, we then establish explicit formulae for $ψ(x,χ)$, $θ(x,χ)$, and an explicit version of the prime number theorem for primes in arithmetic progressions that hold for general moduli $q\geq 3$. Finally, we restrict our attention to $q\leq 10\,000$ and use an exact computation to refine these results.
△ Less
Submitted 9 March, 2023; v1 submitted 31 January, 2023;
originally announced January 2023.
-
Graph Neural Networks for Decentralized Multi-Agent Perimeter Defense
Authors:
Elijah S. Lee,
Lifeng Zhou,
Alejandro Ribeiro,
Vijay Kumar
Abstract:
In this work, we study the problem of decentralized multi-agent perimeter defense that asks for computing actions for defenders with local perceptions and communications to maximize the capture of intruders. One major challenge for practical implementations is to make perimeter defense strategies scalable for large-scale problem instances. To this end, we leverage graph neural networks (GNNs) to d…
▽ More
In this work, we study the problem of decentralized multi-agent perimeter defense that asks for computing actions for defenders with local perceptions and communications to maximize the capture of intruders. One major challenge for practical implementations is to make perimeter defense strategies scalable for large-scale problem instances. To this end, we leverage graph neural networks (GNNs) to develop an imitation learning framework that learns a map** from defenders' local perceptions and their communication graph to their actions. The proposed GNN-based learning network is trained by imitating a centralized expert algorithm such that the learned actions are close to that generated by the expert algorithm. We demonstrate that our proposed network performs closer to the expert algorithm and is superior to other baseline algorithms by capturing more intruders. Our GNN-based network is trained at a small scale and can be generalized to large-scale cases. We run perimeter defense games in scenarios with different team sizes and configurations to demonstrate the performance of the learned network.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
MoDA: Map style transfer for self-supervised Domain Adaptation of embodied agents
Authors:
Eun Sun Lee,
Junho Kim,
SangWon Park,
Young Min Kim
Abstract:
We propose a domain adaptation method, MoDA, which adapts a pretrained embodied agent to a new, noisy environment without ground-truth supervision. Map-based memory provides important contextual information for visual navigation, and exhibits unique spatial structure mainly composed of flat walls and rectangular obstacles. Our adaptation approach encourages the inherent regularities on the estimat…
▽ More
We propose a domain adaptation method, MoDA, which adapts a pretrained embodied agent to a new, noisy environment without ground-truth supervision. Map-based memory provides important contextual information for visual navigation, and exhibits unique spatial structure mainly composed of flat walls and rectangular obstacles. Our adaptation approach encourages the inherent regularities on the estimated maps to guide the agent to overcome the prevalent domain discrepancy in a novel environment. Specifically, we propose an efficient learning curriculum to handle the visual and dynamics corruptions in an online manner, self-supervised with pseudo clean maps generated by style transfer networks. Because the map-based representation provides spatial knowledge for the agent's policy, our formulation can deploy the pretrained policy networks from simulators in a new setting. We evaluate MoDA in various practical scenarios and show that our proposed method quickly enhances the agent's performance in downstream tasks including localization, map**, exploration, and point-goal navigation.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Explicit upper bounds for the number of primes simultaneously representable by any set of irreducible polynomials
Authors:
Matteo Bordignon,
Ethan Simpson Lee
Abstract:
Using an explicit version of Selberg's upper sieve, we obtain explicit upper bounds for the number of $n\leq x$ such that a non-empty set of irreducible polynomials $F_i(n)$ with integer coefficients are simultaneously prime; this set can contain as many polynomials as desired. To demonstrate, we present computations for some irreducible polynomials and obtain an explicit upper bound for the numbe…
▽ More
Using an explicit version of Selberg's upper sieve, we obtain explicit upper bounds for the number of $n\leq x$ such that a non-empty set of irreducible polynomials $F_i(n)$ with integer coefficients are simultaneously prime; this set can contain as many polynomials as desired. To demonstrate, we present computations for some irreducible polynomials and obtain an explicit upper bound for the number of Sophie Germain primes up to $x$, which have practical applications in cryptography.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
Status and performance of the AMoRE-I experiment on neutrinoless double beta decay
Authors:
H. B. Kim,
D. H. Ha,
E. J. Jeon,
J. A. Jeon,
H. S. Jo,
C. S. Kang,
W. G. Kang,
H. S. Kim,
S. C. Kim,
S. G. Kim,
S. K. Kim,
S. R. Kim,
W. T. Kim,
Y. D. Kim,
Y. H. Kim,
D. H. Kwon,
E. S. Lee,
H. J. Lee,
H. S. Lee,
J. S. Lee,
M. H. Lee,
S. W. Lee,
Y. C. Lee,
D. S. Leonard,
H. S. Lim
, et al. (10 additional authors not shown)
Abstract:
AMoRE is an international project to search for the neutrinoless double beta decay of $^{100}$Mo using a detection technology consisting of magnetic microcalorimeters (MMCs) and molybdenum-based scintillating crystals. Data collection has begun for the current AMORE-I phase of the project, an upgrade from the previous pilot phase. AMoRE-I employs thirteen $^\mathrm{48depl.}$Ca$^{100}$MoO$_4$ cryst…
▽ More
AMoRE is an international project to search for the neutrinoless double beta decay of $^{100}$Mo using a detection technology consisting of magnetic microcalorimeters (MMCs) and molybdenum-based scintillating crystals. Data collection has begun for the current AMORE-I phase of the project, an upgrade from the previous pilot phase. AMoRE-I employs thirteen $^\mathrm{48depl.}$Ca$^{100}$MoO$_4$ crystals and five Li$_2$$^{100}$MoO$_4$ crystals for a total crystal mass of 6.2 kg. Each detector module contains a scintillating crystal with two MMC channels for heat and light detection. We report the present status of the experiment and the performance of the detector modules.
△ Less
Submitted 5 November, 2022;
originally announced November 2022.
-
Learning Decentralized Strategies for a Perimeter Defense Game with Graph Neural Networks
Authors:
Elijah S. Lee,
Lifeng Zhou,
Alejandro Ribeiro,
Vijay Kumar
Abstract:
We consider the problem of finding decentralized strategies for multi-agent perimeter defense games. In this work, we design a graph neural network-based learning framework to learn a map** from defenders' local perceptions and the communication graph to defenders' actions such that the learned actions are close to that generated by a centralized expert algorithm. We demonstrate that our propose…
▽ More
We consider the problem of finding decentralized strategies for multi-agent perimeter defense games. In this work, we design a graph neural network-based learning framework to learn a map** from defenders' local perceptions and the communication graph to defenders' actions such that the learned actions are close to that generated by a centralized expert algorithm. We demonstrate that our proposed networks stay closer to the expert policy and are superior to other baseline algorithms by capturing more intruders. Our GNN-based networks are trained at a small scale and can generalize to large scales. To validate our results, we run perimeter defense games in scenarios with different team sizes and initial configurations to evaluate the performance of the learned networks.
△ Less
Submitted 24 September, 2022;
originally announced November 2022.
-
Vision-based Perimeter Defense via Multiview Pose Estimation
Authors:
Elijah S. Lee,
Giuseppe Loianno,
Dinesh Jayaraman,
Vijay Kumar
Abstract:
Previous studies in the perimeter defense game have largely focused on the fully observable setting where the true player states are known to all players. However, this is unrealistic for practical implementation since defenders may have to perceive the intruders and estimate their states. In this work, we study the perimeter defense game in a photo-realistic simulator and the real world, requirin…
▽ More
Previous studies in the perimeter defense game have largely focused on the fully observable setting where the true player states are known to all players. However, this is unrealistic for practical implementation since defenders may have to perceive the intruders and estimate their states. In this work, we study the perimeter defense game in a photo-realistic simulator and the real world, requiring defenders to estimate intruder states from vision. We train a deep machine learning-based system for intruder pose detection with domain randomization that aggregates multiple views to reduce state estimation errors and adapt the defensive strategy to account for this. We newly introduce performance metrics to evaluate the vision-based perimeter defense. Through extensive experiments, we show that our approach improves state estimation, and eventually, perimeter defense performance in both 1-defender-vs-1-intruder games, and 2-defenders-vs-1-intruder games.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Explicit bounds on the summatory function of the Möbius function using the Perron formula
Authors:
Ethan S. Lee,
Nicol Leong
Abstract:
We use Perron formula arguments to establish explicit versions of $M(x) \ll x$ and $M(x) \ll x\exp(-c_2\sqrt{\log{x}})$, where $M(x)$ is the Mertens function. Moreover, we use these bounds in a method from Schoenfeld to refine estimates of the form $M(x) \ll x/(\log{x})^{k}$. In particular, we establish $|M(x)| \leq 1.52159\,x/(\log{x})^{2}$ for $x>1$, which is sharp.
We use Perron formula arguments to establish explicit versions of $M(x) \ll x$ and $M(x) \ll x\exp(-c_2\sqrt{\log{x}})$, where $M(x)$ is the Mertens function. Moreover, we use these bounds in a method from Schoenfeld to refine estimates of the form $M(x) \ll x/(\log{x})^{k}$. In particular, we establish $|M(x)| \leq 1.52159\,x/(\log{x})^{2}$ for $x>1$, which is sharp.
△ Less
Submitted 31 May, 2023; v1 submitted 12 August, 2022;
originally announced August 2022.
-
Self-supervised Multi-modal Training from Uncurated Image and Reports Enables Zero-shot Oversight Artificial Intelligence in Radiology
Authors:
Sangjoon Park,
Eun Sun Lee,
Kyung Sook Shin,
Jeong Eun Lee,
Jong Chul Ye
Abstract:
Oversight AI is an emerging concept in radiology where the AI forms a symbiosis with radiologists by continuously supporting radiologists in their decision-making. Recent advances in vision-language models sheds a light on the long-standing problems of the oversight AI by the understanding both visual and textual concepts and their semantic correspondences. However, there have been limited success…
▽ More
Oversight AI is an emerging concept in radiology where the AI forms a symbiosis with radiologists by continuously supporting radiologists in their decision-making. Recent advances in vision-language models sheds a light on the long-standing problems of the oversight AI by the understanding both visual and textual concepts and their semantic correspondences. However, there have been limited successes in the application of vision-language models in the medical domain, as the current vision-language models and learning strategies for photographic images and captions call for the web-scale data corpus of image and text pairs which was not often feasible in the medical domain. To address this, here we present a model dubbed Medical Cross-attention Vision-Language model (Medical X-VL), leveraging the key components to be tailored for the medical domain. Our medical X-VL model is based on the following components: self-supervised uni-modal models in medical domain and fusion encoder to bridge them, momentum distillation, sentence-wise contrastive learning for medical reports, and the sentence similarity-adjusted hard negative mining. We experimentally demonstrated that our model enables various zero-shot tasks for oversight AI, ranging from the zero-shot classification to zero-shot error correction. Our model outperformed the current state-of-the-art models in two different medical image database, suggesting the novel clinical usage of our oversight AI model for monitoring human errors. Our method was especially successful in the data-limited setting, which is frequently encountered in the clinics, suggesting the potential widespread applicability in medical domain.
△ Less
Submitted 12 April, 2023; v1 submitted 10 August, 2022;
originally announced August 2022.
-
The error term in the truncated Perron formula for the logarithm of an $L$-function
Authors:
Stephan Ramon Garcia,
Jeffrey Lagarias,
Ethan Simpson Lee
Abstract:
We improve upon the traditional error term in the truncated Perron formula for the logarithm of an $L$-function. All our constants are explicit.
We improve upon the traditional error term in the truncated Perron formula for the logarithm of an $L$-function. All our constants are explicit.
△ Less
Submitted 20 February, 2023; v1 submitted 3 June, 2022;
originally announced June 2022.
-
MR Image Denoising and Super-Resolution Using Regularized Reverse Diffusion
Authors:
Hyung** Chung,
Eun Sun Lee,
Jong Chul Ye
Abstract:
Patient scans from MRI often suffer from noise, which hampers the diagnostic capability of such images. As a method to mitigate such artifact, denoising is largely studied both within the medical imaging community and beyond the community as a general subject. However, recent deep neural network-based approaches mostly rely on the minimum mean squared error (MMSE) estimates, which tend to produce…
▽ More
Patient scans from MRI often suffer from noise, which hampers the diagnostic capability of such images. As a method to mitigate such artifact, denoising is largely studied both within the medical imaging community and beyond the community as a general subject. However, recent deep neural network-based approaches mostly rely on the minimum mean squared error (MMSE) estimates, which tend to produce a blurred output. Moreover, such models suffer when deployed in real-world sitautions: out-of-distribution data, and complex noise distributions that deviate from the usual parametric noise models. In this work, we propose a new denoising method based on score-based reverse diffusion sampling, which overcomes all the aforementioned drawbacks. Our network, trained only with coronal knee scans, excels even on out-of-distribution in vivo liver MRI data, contaminated with complex mixture of noise. Even more, we propose a method to enhance the resolution of the denoised image with the same network. With extensive experiments, we show that our method establishes state-of-the-art performance, while having desirable properties which prior MMSE denoisers did not have: flexibly choosing the extent of denoising, and quantifying uncertainty.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
On the number of integral ideals in a number field
Authors:
Ethan Simpson Lee
Abstract:
We update Sunley's explicit estimate for the ideal-counting function, which is the number of integral ideals of bounded norm in a number field.
We update Sunley's explicit estimate for the ideal-counting function, which is the number of integral ideals of bounded norm in a number field.
△ Less
Submitted 4 September, 2023; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Tunable Image Quality Control of 3-D Ultrasound using Switchable CycleGAN
Authors:
Jaeyoung Huh,
Shujaat Khan,
Sung** Choi,
Dongkuk Shin,
Eun Sun Lee,
Jong Chul Ye
Abstract:
In contrast to 2-D ultrasound (US) for uniaxial plane imaging, a 3-D US imaging system can visualize a volume along three axial planes. This allows for a full view of the anatomy, which is useful for gynecological (GYN) and obstetrical (OB) applications. Unfortunately, the 3-D US has an inherent limitation in resolution compared to the 2-D US. In the case of 3-D US with a 3-D mechanical probe, for…
▽ More
In contrast to 2-D ultrasound (US) for uniaxial plane imaging, a 3-D US imaging system can visualize a volume along three axial planes. This allows for a full view of the anatomy, which is useful for gynecological (GYN) and obstetrical (OB) applications. Unfortunately, the 3-D US has an inherent limitation in resolution compared to the 2-D US. In the case of 3-D US with a 3-D mechanical probe, for example, the image quality is comparable along the beam direction, but significant deterioration in image quality is often observed in the other two axial image planes. To address this, here we propose a novel unsupervised deep learning approach to improve 3-D US image quality. In particular, using {\em unmatched} high-quality 2-D US images as a reference, we trained a recently proposed switchable CycleGAN architecture so that every map** plane in 3-D US can learn the image quality of 2-D US images. Thanks to the switchable architecture, our network can also provide real-time control of image enhancement level based on user preference, which is ideal for a user-centric scanner setup. Extensive experiments with clinical evaluation confirm that our method offers significantly improved image quality as well user-friendly flexibility.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Mertens' Third Theorem for Number Fields: A New Proof, Cramér's Inequality, Oscillations, and Bias
Authors:
Shehzad Hathi,
Ethan S. Lee
Abstract:
The first result of our article is another proof of Mertens' third theorem in the number field setting, which generalises a method of Hardy. The second result concerns the sign of the error term in Mertens' third theorem. Diamond and Pintz showed that the error term in the classical case changes sign infinitely often and in our article, we establish this result for number fields assuming a reasona…
▽ More
The first result of our article is another proof of Mertens' third theorem in the number field setting, which generalises a method of Hardy. The second result concerns the sign of the error term in Mertens' third theorem. Diamond and Pintz showed that the error term in the classical case changes sign infinitely often and in our article, we establish this result for number fields assuming a reasonable technical condition. In order to do so, we needed to prove Cramér's inequality for number fields, which is interesting in its own right. Lamzouri built upon Diamond and Pintz's work to prove the existence of the logarithmic density of the set of real numbers $x \ge 2$ such that the error term in Mertens' third theorem is positive, so the third result of our article generalises Lamzouri's results for number fields. We also include numerical investigations for the number fields $\mathbb{Q}(\sqrt{5})$ and $\mathbb{Q}(\sqrt{13})$, building upon similar work done by Rubinstein and Sarnak in the classical case.
△ Less
Submitted 17 September, 2022; v1 submitted 3 December, 2021;
originally announced December 2021.
-
Self-Supervised Domain Adaptation for Visual Navigation with Global Map Consistency
Authors:
Eun Sun Lee,
Junho Kim,
Young Min Kim
Abstract:
We propose a light-weight, self-supervised adaptation for a visual navigation agent to generalize to unseen environment. Given an embodied agent trained in a noiseless environment, our objective is to transfer the agent to a noisy environment where actuation and odometry sensor noise is present. Our method encourages the agent to maximize the consistency between the global maps generated at differ…
▽ More
We propose a light-weight, self-supervised adaptation for a visual navigation agent to generalize to unseen environment. Given an embodied agent trained in a noiseless environment, our objective is to transfer the agent to a noisy environment where actuation and odometry sensor noise is present. Our method encourages the agent to maximize the consistency between the global maps generated at different time steps in a round-trip trajectory. The proposed task is completely self-supervised, not requiring any supervision from ground-truth pose data or explicit noise model. In addition, optimization of the task objective is extremely light-weight, as training terminates within a few minutes on a commodity GPU. Our experiments show that the proposed task helps the agent to successfully transfer to new, noisy environments. The transferred agent exhibits improved localization and map** accuracy, further leading to enhanced performance in downstream visual navigation tasks. Moreover, we demonstrate test-time adaptation with our self-supervised task to show its potential applicability in real-world deployment.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
SGoLAM: Simultaneous Goal Localization and Map** for Multi-Object Goal Navigation
Authors:
Junho Kim,
Eun Sun Lee,
Mingi Lee,
Donsu Zhang,
Young Min Kim
Abstract:
We present SGoLAM, short for simultaneous goal localization and map**, which is a simple and efficient algorithm for Multi-Object Goal navigation. Given an agent equipped with an RGB-D camera and a GPS/Compass sensor, our objective is to have the agent navigate to a sequence of target objects in realistic 3D environments. Our pipeline fully leverages the strength of classical approaches for visu…
▽ More
We present SGoLAM, short for simultaneous goal localization and map**, which is a simple and efficient algorithm for Multi-Object Goal navigation. Given an agent equipped with an RGB-D camera and a GPS/Compass sensor, our objective is to have the agent navigate to a sequence of target objects in realistic 3D environments. Our pipeline fully leverages the strength of classical approaches for visual navigation, by decomposing the problem into two key components: map** and goal localization. The map** module converts the depth observations into an occupancy map, and the goal localization module marks the locations of goal objects. The agent's policy is determined using the information provided by the two modules: if a current goal is found, plan towards the goal and otherwise, perform exploration. As our approach does not require any training of neural networks, it could be used in an off-the-shelf manner, and amenable for fast generalization in new, unseen environments. Nonetheless, our approach performs on par with the state-of-the-art learning-based approaches. SGoLAM is ranked 2nd in the CVPR 2021 MultiON (Multi-Object Goal Navigation) challenge. We have made our code publicly available at \emph{https://github.com/eunsunlee/SGoLAM}.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Infrastructure Node-based Vehicle Localization for Autonomous Driving
Authors:
Elijah S. Lee,
Ankit Vora,
Armin Parchami,
Punarjay Chakravarty,
Gaurav Pandey,
Vijay Kumar
Abstract:
Vehicle localization is essential for autonomous vehicle (AV) navigation and Advanced Driver Assistance Systems (ADAS). Accurate vehicle localization is often achieved via expensive inertial navigation systems or by employing compute-intensive vision processing (LiDAR/camera) to augment the low-cost and noisy inertial sensors. Here we have developed a framework for fusing the information obtained…
▽ More
Vehicle localization is essential for autonomous vehicle (AV) navigation and Advanced Driver Assistance Systems (ADAS). Accurate vehicle localization is often achieved via expensive inertial navigation systems or by employing compute-intensive vision processing (LiDAR/camera) to augment the low-cost and noisy inertial sensors. Here we have developed a framework for fusing the information obtained from a smart infrastructure node (ix-node) with the autonomous vehicles on-board localization engine to estimate the robust and accurate pose of the ego-vehicle even with cheap inertial sensors. A smart ix-node is typically used to augment the perception capability of an autonomous vehicle, especially when the onboard perception sensors of AVs are blocked by the dynamic and static objects in the environment thereby making them ineffectual. In this work, we utilize this perception output from an ix-node to increase the localization accuracy of the AV. The fusion of ix-node perception output with the vehicle's low-cost inertial sensors allows us to perform reliable vehicle localization without the need for relying on expensive inertial navigation systems or compute-intensive vision processing onboard the AVs. The proposed approach has been tested on real-world datasets collected from a test track in Ann Arbor, Michigan. Detailed analysis of the experimental results shows that incorporating ix-node data improves localization performance.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
Defending a Perimeter from a Ground Intruder Using an Aerial Defender: Theory and Practice
Authors:
Elijah S. Lee,
Daigo Shishika,
Giuseppe Loianno,
Vijay Kumar
Abstract:
The perimeter defense game has received interest in recent years as a variant of the pursuit-evasion game. A number of previous works have solved this game to obtain the optimal strategies for defender and intruder, but the derived theory considers the players as point particles with first-order assumptions. In this work, we aim to apply the theory derived from the perimeter defense problem to rob…
▽ More
The perimeter defense game has received interest in recent years as a variant of the pursuit-evasion game. A number of previous works have solved this game to obtain the optimal strategies for defender and intruder, but the derived theory considers the players as point particles with first-order assumptions. In this work, we aim to apply the theory derived from the perimeter defense problem to robots with realistic models of actuation and sensing and observe performance discrepancy in relaxing the first-order assumptions. In particular, we focus on the hemisphere perimeter defense problem where a ground intruder tries to reach the base of a hemisphere while an aerial defender constrained to move on the hemisphere aims to capture the intruder. The transition from theory to practice is detailed, and the designed system is simulated in Gazebo. Two metrics for parametric analysis and comparative study are proposed to evaluate the performance discrepancy.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Active Perception with Neural Networks
Authors:
Elijah S. Lee
Abstract:
Active perception has been employed in many domains, particularly in the field of robotics. The idea of active perception is to utilize the input data to predict the next action that can help robots to improve their performance. The main challenge lies in understanding the input data to be coupled with the action, and gathering meaningful information of the environment in an efficient way is neces…
▽ More
Active perception has been employed in many domains, particularly in the field of robotics. The idea of active perception is to utilize the input data to predict the next action that can help robots to improve their performance. The main challenge lies in understanding the input data to be coupled with the action, and gathering meaningful information of the environment in an efficient way is necessary and desired. With recent developments of neural networks, interpreting the perceived data has become possible at the semantic level, and real-time interpretation based on deep learning has enabled the efficient closing of the perception-action loop. This report highlights recent progress in employing active perception based on neural networks for single and multi-agent systems.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
Explicit Interval Estimates for Prime Numbers
Authors:
Michaela Cully-Hugill,
Ethan S. Lee
Abstract:
Using a smoothing function and recent knowledge on the zeros of the Riemann zeta-function, we compute pairs of $(Δ,x_0)$ such that for all $x \geq x_0$ there exists at least one prime in the interval $(x(1 - Δ^{-1}), x]$.
Using a smoothing function and recent knowledge on the zeros of the Riemann zeta-function, we compute pairs of $(Δ,x_0)$ such that for all $x \geq x_0$ there exists at least one prime in the interval $(x(1 - Δ^{-1}), x]$.
△ Less
Submitted 13 September, 2022; v1 submitted 10 March, 2021;
originally announced March 2021.
-
Explicit estimates for Artin $L$-functions: Duke's short-sum theorem and Dedekind Zeta Residues
Authors:
Stephan Ramon Garcia,
Ethan Simpson Lee
Abstract:
Under GRH, we establish a version of Duke's short-sum theorem for entire Artin $L$-functions. This yields corresponding bounds for residues of Dedekind zeta functions. All numerical constants in this work are explicit.
Under GRH, we establish a version of Duke's short-sum theorem for entire Artin $L$-functions. This yields corresponding bounds for residues of Dedekind zeta functions. All numerical constants in this work are explicit.
△ Less
Submitted 12 November, 2021; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Perimeter-defense Game between Aerial Defender and Ground Intruder
Authors:
Elijah S. Lee,
Daigo Shishika,
Vijay Kumar
Abstract:
We study a variant of pursuit-evasion game in the context of perimeter defense. In this problem, the intruder aims to reach the base plane of a hemisphere without being captured by the defender, while the defender tries to capture the intruder. The perimeter-defense game was previously studied under the assumption that the defender moves on a circle. We extend the problem to the case where the def…
▽ More
We study a variant of pursuit-evasion game in the context of perimeter defense. In this problem, the intruder aims to reach the base plane of a hemisphere without being captured by the defender, while the defender tries to capture the intruder. The perimeter-defense game was previously studied under the assumption that the defender moves on a circle. We extend the problem to the case where the defender moves on a hemisphere. To solve this problem, we analyze the strategies based on the breaching point at which the intruder tries to reach the target and predict the goal position, defined as optimal breaching point, that is achieved by the optimal strategies on both players. We provide the barrier that divides the state space into defender-winning and intruder-winning regions and prove that the optimal strategies for both players are to move towards the optimal breaching point. Simulation results are presented to demonstrate that the optimality of the game is given as a Nash equilibrium.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
An effective analytic formula for the number of distinct irreducible factors of a polynomial
Authors:
Stephan Ramon Garcia,
Ethan Simpson Lee,
Josh Suh,
Jiahui Yu
Abstract:
We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb{Z}[x]$. We use an explicit version of Mertens' theorem for number fields to estimate a related sum over rational primes. For a given $f \in \mathbb{Z}[x]$, our result yields a finite list of primes that certifies the number of distinct irreducible factors…
▽ More
We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb{Z}[x]$. We use an explicit version of Mertens' theorem for number fields to estimate a related sum over rational primes. For a given $f \in \mathbb{Z}[x]$, our result yields a finite list of primes that certifies the number of distinct irreducible factors of $f$.
△ Less
Submitted 9 December, 2020; v1 submitted 5 December, 2020;
originally announced December 2020.
-
Unconditional Explicit Mertens' Theorems for Number Fields and Dedekind Zeta Residue Bounds
Authors:
Stephan Ramon Garcia,
Ethan Simpson Lee
Abstract:
We obtain unconditional, effective number-field analogues of the three Mertens' theorems, all with explicit constants and valid for $x\geq 2$. Our error terms are explicitly bounded in terms of the degree and discriminant of the number field. To this end, we provide unconditional bounds, with explicit constants, for the residue of the corresponding Dedekind zeta function at $s=1$.
We obtain unconditional, effective number-field analogues of the three Mertens' theorems, all with explicit constants and valid for $x\geq 2$. Our error terms are explicitly bounded in terms of the degree and discriminant of the number field. To this end, we provide unconditional bounds, with explicit constants, for the residue of the corresponding Dedekind zeta function at $s=1$.
△ Less
Submitted 11 March, 2021; v1 submitted 20 July, 2020;
originally announced July 2020.
-
Explicit Mertens' Theorems for Number Fields
Authors:
Stephan Ramon Garcia,
Ethan Simpson Lee
Abstract:
Assuming the Generalized Riemann Hypothesis we obtain uniform, effective number-field analogues of Mertens' theorems.
Assuming the Generalized Riemann Hypothesis we obtain uniform, effective number-field analogues of Mertens' theorems.
△ Less
Submitted 6 April, 2021; v1 submitted 5 June, 2020;
originally announced June 2020.
-
Additive Representations of Natural Numbers
Authors:
Forrest J. Francis,
Ethan S. Lee
Abstract:
Every natural number greater than two may be written as the sum of a prime and a square-free number. We establish several generalisations of this, by placing divisibility conditions on the square-free number.
Every natural number greater than two may be written as the sum of a prime and a square-free number. We establish several generalisations of this, by placing divisibility conditions on the square-free number.
△ Less
Submitted 10 November, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
On an explicit zero-free region for the Dedekind zeta-function
Authors:
Ethan S. Lee
Abstract:
We establish new explicit zero-free regions for the Dedekind zeta-function. Two key elements of our proof are a non-negative, even, trigonometric polynomial and explicit upper bounds for the explicit formula of the so-called differenced logarithmic derivative of the Dedekind zeta-function. The improvements we establish over the last result of this kind come from two sources. First, our computation…
▽ More
We establish new explicit zero-free regions for the Dedekind zeta-function. Two key elements of our proof are a non-negative, even, trigonometric polynomial and explicit upper bounds for the explicit formula of the so-called differenced logarithmic derivative of the Dedekind zeta-function. The improvements we establish over the last result of this kind come from two sources. First, our computations use a polynomial which has been optimised by simulated annealing for a similar problem. Second, we establish sharper upper bounds for the aforementioned explicit formula.
△ Less
Submitted 17 December, 2020; v1 submitted 13 February, 2020;
originally announced February 2020.
-
SLOAM: Semantic Lidar Odometry and Map** for Forest Inventory
Authors:
Steven W. Chen,
Guilherme V. Nardari,
Elijah S. Lee,
Chao Qu,
Xu Liu,
Roseli A. F. Romero,
Vijay Kumar
Abstract:
This paper describes an end-to-end pipeline for tree diameter estimation based on semantic segmentation and lidar odometry and map**. Accurate map** of this type of environment is challenging since the ground and the trees are surrounded by leaves, thorns and vines, and the sensor typically experiences extreme motion. We propose a semantic feature based pose optimization that simultaneously re…
▽ More
This paper describes an end-to-end pipeline for tree diameter estimation based on semantic segmentation and lidar odometry and map**. Accurate map** of this type of environment is challenging since the ground and the trees are surrounded by leaves, thorns and vines, and the sensor typically experiences extreme motion. We propose a semantic feature based pose optimization that simultaneously refines the tree models while estimating the robot pose. The pipeline utilizes a custom virtual reality tool for labeling 3D scans that is used to train a semantic segmentation network. The masked point cloud is used to compute a trellis graph that identifies individual instances and extracts relevant features that are used by the SLAM module. We show that traditional lidar and image based methods fail in the forest environment on both Unmanned Aerial Vehicle (UAV) and hand-carry systems, while our method is more robust, scalable, and automatically generates tree diameter estimations.
△ Less
Submitted 29 December, 2019;
originally announced December 2019.
-
Tip enhanced IR imaging with sub-10 nm resolution and hypersensitivity
Authors:
Jian Li,
Junghoon Jahng,
Jie Pang,
William Morrison,
** Li,
Eun Seong Lee,
**g-Juan Xu,
Hong-Yuan Chen,
Xing-Hua Xia
Abstract:
IR spectroscopy has been widely used for chemical identification and quantitative analysis of reactions occurring in a specific time and space domains by measuring an average signal of the entire system1. Achieving IR measurements with nanometer-scale spatial resolution is highly desirable to obtain a detailed understanding of the composition, structure and function of interfaces2-5. The challenge…
▽ More
IR spectroscopy has been widely used for chemical identification and quantitative analysis of reactions occurring in a specific time and space domains by measuring an average signal of the entire system1. Achieving IR measurements with nanometer-scale spatial resolution is highly desirable to obtain a detailed understanding of the composition, structure and function of interfaces2-5. The challenges in IR nanoscopy yet exist owing to the small molecular cross section and pristine optical diffraction limit. Although atomic force microscopy (AFM) based techniques, such as scattering-type scanning near-field optical microscopy and photothermal-induced resonance microscopy (PTIR), can acquire IR spectroscopy in a few tens of nanometer scale resolution6-9, IR measurements with monolayer level sensitivity remains elusive and can only be realized under critical conditions10,11. Herein, we demonstrate sub-10 nm spatial resolution sampling a volume of ~360 molecules with a strong field enhancement at the sample-tip junction by implementing noble metal substrates (Au, Ag, Pt) in photo-induced force microscopy (PiFM). This technique shows versatility and robustness of PiFM, and is promising for application in interfacial studies with hypersensitivity and super spatial resolution.
△ Less
Submitted 30 September, 2019;
originally announced September 2019.
-
Mine Tunnel Exploration using Multiple Quadrupedal Robots
Authors:
Ian D. Miller,
Fernando Cladera,
Anthony Cowley,
Shreyas S. Shivakumar,
Elijah S. Lee,
Laura Jarin-Lipschitz,
Akhilesh Bhat,
Neil Rodrigues,
Alex Zhou,
Avraham Cohen,
Adarsh Kulkarni,
James Laney,
Camillo Jose Taylor,
Vijay Kumar
Abstract:
Robotic exploration of underground environments is a particularly challenging problem due to communication, endurance, and traversability constraints which necessitate high degrees of autonomy and agility. These challenges are further exacerbated by the need to minimize human intervention for practical applications. While legged robots have the ability to traverse extremely challenging terrain, th…
▽ More
Robotic exploration of underground environments is a particularly challenging problem due to communication, endurance, and traversability constraints which necessitate high degrees of autonomy and agility. These challenges are further exacerbated by the need to minimize human intervention for practical applications. While legged robots have the ability to traverse extremely challenging terrain, they also engender new challenges for planning, estimation, and control. In this work, we describe a fully autonomous system for multi-robot mine exploration and map** using legged quadrupeds, as well as a distributed database mesh networking system for reporting data. In addition, we show results from the DARPA Subterranean Challenge (SubT) Tunnel Circuit demonstrating localization of artifacts after traversals of hundreds of meters. These experiments describe fully autonomous exploration of an unknown Global Navigation Satellite System (GNSS)-denied environment undertaken by legged robots.
△ Less
Submitted 3 February, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
MAVNet: an Effective Semantic Segmentation Micro-Network for MAV-based Tasks
Authors:
Ty Nguyen,
Shreyas S. Shivakumar,
Ian D. Miller,
James Keller,
Elijah S. Lee,
Alex Zhou,
Tolga Ozaslan,
Giuseppe Loianno,
Joseph H. Harwood,
Jennifer Wozencraft,
Camillo J. Taylor,
Vijay Kumar
Abstract:
Real-time semantic image segmentation on platforms subject to size, weight and power (SWaP) constraints is a key area of interest for air surveillance and inspection. In this work, we propose MAVNet: a small, light-weight, deep neural network for real-time semantic segmentation on micro Aerial Vehicles (MAVs). MAVNet, inspired by ERFNet, features 400 times fewer parameters and achieves comparable…
▽ More
Real-time semantic image segmentation on platforms subject to size, weight and power (SWaP) constraints is a key area of interest for air surveillance and inspection. In this work, we propose MAVNet: a small, light-weight, deep neural network for real-time semantic segmentation on micro Aerial Vehicles (MAVs). MAVNet, inspired by ERFNet, features 400 times fewer parameters and achieves comparable performance with some reference models in empirical experiments. Our model achieves a trade-off between speed and accuracy, achieving up to 48 FPS on an NVIDIA 1080Ti and 9 FPS on the NVIDIA Jetson Xavier when processing high resolution imagery. Additionally, we provide two novel datasets that represent challenges in semantic segmentation for real-time MAV tracking and infrastructure inspection tasks and verify MAVNet on these datasets. Our algorithm and datasets are made publicly available.
△ Less
Submitted 8 June, 2019; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Particle-in-cell and weak turbulence simulations of plasma emission
Authors:
Sang-Yun Lee,
L. F. Ziebell,
P. H. Yoon,
R. Gaelzer,
E. S. Lee
Abstract:
The plasma emission process, which is the mechanism for solar type II and type III radio bursts phenomena, is studied by means of particle-in-cell and weak turbulence simulation methods. By plasma emission, it is meant as a loose description of a series of processes, starting from the solar flare associated electron beam exciting Langmuir and ion-acoustic turbulence, and subsequent partial convers…
▽ More
The plasma emission process, which is the mechanism for solar type II and type III radio bursts phenomena, is studied by means of particle-in-cell and weak turbulence simulation methods. By plasma emission, it is meant as a loose description of a series of processes, starting from the solar flare associated electron beam exciting Langmuir and ion-acoustic turbulence, and subsequent partial conversion of beam energy into the radiation energy by nonlinear processes. Particle-in-cell (PIC) simulation is rigorous but the method is computationally intense, and it is difficult to diagnose the results. Numerical solution of equations of weak turbulence (WT) theory, termed WT simulation, on the other hand, is efficient and naturally lends itself to diagnostics since various terms in the equation can be turned on or off. Nevertheless, WT theory is based upon a number of assumptions. It is, therefore, desirable to compare the two methods, which is carried out for the first time in the present paper with numerical solutions of the complete set of equations of the WT theory and with two-dimensional electromagnetic PIC simulation. Upon making quantitative comparisons it is found that WT theory is largely valid, although some discrepancies are also found. The present study also indicates that it requires large computational resources in order to accurately simulate the radiation emission processes, especially for low electron beam speeds. Findings from the present paper thus imply that both methods may be useful for the study of solar radio emissions as they are complementary.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Nanoscale spectroscopic studies of two different physical origins of the tip-enhanced force: dipole and thermal
Authors:
Junghoon Jahng,
Sung Park,
Will A. Morrison,
Hyuksang Kwon,
Derek Nowak,
Eric O. Potma,
Eun Seong Lee
Abstract:
When light illuminates the junction formed between a sharp metal tip and a sample, different mechanisms can con-tribute to the measured photo-induced force simultaneously. Of particular interest are the instantaneous force be-tween the induced dipoles in the tip and in the sample and the force related to thermal heating of the junction. A key difference between these two force mechanisms is their…
▽ More
When light illuminates the junction formed between a sharp metal tip and a sample, different mechanisms can con-tribute to the measured photo-induced force simultaneously. Of particular interest are the instantaneous force be-tween the induced dipoles in the tip and in the sample and the force related to thermal heating of the junction. A key difference between these two force mechanisms is their spectral behaviors. The magnitude of the thermal response follows a dissipative Lorentzian lineshape, which measures the heat exchange between light and matter, while the induced dipole response exhibits a dispersive spectrum and relates to the real part of the material polarizability. Be-cause the two interactions are sometimes comparable in magnitude, the origin of the nanoscale chemical selectivity in the recently developed photo-induced force microscopy (PiFM) is often unclear. Here, we demonstrate theoretically and experimentally how light absorption followed by nanoscale thermal expansion generates a photo-induced force in PiFM. Furthermore, we explain how this thermal force can be distinguished from the induced dipole force by tuning the relaxation time of samples. Our analysis presented here helps the interpretation of nanoscale chemical measure-ments of heterogeneous materials and sheds light on the nature of light-matter coupling in van der Waals materials.
△ Less
Submitted 7 March, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.
-
An endomorphism of the Khovanov invariant
Authors:
Eun Soo Lee
Abstract:
We construct an endomorphism of the Khovanov invariant to prove H-thinness and pairing phenomena of the invariants for alternating links. As a consequence, it follows that the Khovanov invariant of an oriented nonsplit alternating link is determined by its Jones polynomial, signature, and the linking numbers of its components.
We construct an endomorphism of the Khovanov invariant to prove H-thinness and pairing phenomena of the invariants for alternating links. As a consequence, it follows that the Khovanov invariant of an oriented nonsplit alternating link is determined by its Jones polynomial, signature, and the linking numbers of its components.
△ Less
Submitted 28 October, 2004; v1 submitted 14 October, 2002;
originally announced October 2002.
-
The support of the Khovanov's invariants for alternating knots
Authors:
Eun Soo Lee
Abstract:
In this article, we prove the conjecture of Bar-Natan, Garoufalidis, and Khovanov's on the support of the Khovanov's invariants for alternating knots.
In this article, we prove the conjecture of Bar-Natan, Garoufalidis, and Khovanov's on the support of the Khovanov's invariants for alternating knots.
△ Less
Submitted 11 January, 2002;
originally announced January 2002.
-
Quantum coherence and interaction-free measurements
Authors:
S. Potting,
E. S. Lee,
W. Schmitt,
I. Rumyantsev,
B. Mohring,
P. Meystre
Abstract:
We investigate the extent to which ``interaction-free'' measurements perturb the state of quantum systems. We show that the absence of energy exchange during the measurement is not a sufficient criterion to preserve that state, as the quantum system is subject to measurement dependent decoherence. While it is possible in general to design interaction-free measurement schemes that do preserve tha…
▽ More
We investigate the extent to which ``interaction-free'' measurements perturb the state of quantum systems. We show that the absence of energy exchange during the measurement is not a sufficient criterion to preserve that state, as the quantum system is subject to measurement dependent decoherence. While it is possible in general to design interaction-free measurement schemes that do preserve that state, the requirement of quantum coherence preservation rapidly leads to a very low efficiency. Our results, which have a simple interpretation in terms of ``which-way'' arguments, open up the way to novel quantum non-demolition techniques.
△ Less
Submitted 5 July, 2000;
originally announced July 2000.
-
Dark states of dressed Bose-Einstein condensates
Authors:
E. S. Lee,
C. Geckeler,
J. Heurich,
A. Gupta,
Kit-Iu Cheong,
S. Secrest,
P. Meystre
Abstract:
We combine the ideas of dressed Bose-Einstein condensates, where an intracavity optical field allows one to design coupled, multicomponent condensates, and of dark states of quantum systems, to generate a full quantum entanglement between two matter waves and two optical waves. While the matter waves are macroscopically populated, the two optical modes share a single photon. As such, this system…
▽ More
We combine the ideas of dressed Bose-Einstein condensates, where an intracavity optical field allows one to design coupled, multicomponent condensates, and of dark states of quantum systems, to generate a full quantum entanglement between two matter waves and two optical waves. While the matter waves are macroscopically populated, the two optical modes share a single photon. As such, this system offers a way to influence the behaviour of a macroscopic quantum system via a microscopic ``knob''.
△ Less
Submitted 18 May, 1999;
originally announced May 1999.