Showing 201–250 of 914 results for author: Lee, E

Acylindricity of the action of right-angled Artin groups on extension graphs

Authors: Eon-Kyung Lee, Sang-Jin Lee

Abstract: The action of a right-angled Artin group on its extension graph is known to be acylindrical because the cardinality of the so-called $r$-quasi-stabilizer of a pair of distant points is bounded above by a function of $r$. The known upper bound of the cardinality is an exponential function of $r$. In this paper we show that the $r$-quasi-stabilizer is a subset of a cyclic group and its cardinality i… ▽ More The action of a right-angled Artin group on its extension graph is known to be acylindrical because the cardinality of the so-called $r$-quasi-stabilizer of a pair of distant points is bounded above by a function of $r$. The known upper bound of the cardinality is an exponential function of $r$. In this paper we show that the $r$-quasi-stabilizer is a subset of a cyclic group and its cardinality is bounded above by a linear function of $r$. This is done by exploring lattice theoretic properties of group elements, studying prefixes of powers and extending the uniqueness of quasi-roots from word length to star length. We also improve the known lower bound for the minimal asymptotic translation length of a right angled Artin group on its extension graph. △ Less

Submitted 5 December, 2022; originally announced December 2022.

MSC Class: 20F36; 20F65

Journal ref: International Journal of Algebra and Computation 33 (2023) 1217-1267

Discovering the mesoscale for chains of conflict

Authors: Niraj Kushwaha, Edward D. Lee

Abstract: Conflicts, like many social processes, are related events that span multiple scales in time, from the instantaneous to multi-year developments, and in space, from one neighborhood to continents. Yet, there is little systematic work on connecting the multiple scales, formal treatment of causality between events, and measures of uncertainty for how events are related to one another. We develop a met… ▽ More Conflicts, like many social processes, are related events that span multiple scales in time, from the instantaneous to multi-year developments, and in space, from one neighborhood to continents. Yet, there is little systematic work on connecting the multiple scales, formal treatment of causality between events, and measures of uncertainty for how events are related to one another. We develop a method for extracting related chains of events that addresses these limitations with armed conflict. Our method explicitly accounts for an adjustable spatial and temporal scale of interaction for clustering individual events from a detailed data set, the Armed Conflict Event & Location Data Project. With it, we discover a mesoscale ranging from a week to a few months and from tens to a few hundred kilometers, where long-range correlations and nontrivial dynamics relating conflict events emerge. Importantly, clusters in the mesoscale, while extracted only from conflict statistics, are identifiable with causal mechanism cited in field studies. We leverage our technique to identify zones of causal interaction around conflict hotspots that naturally incorporate uncertainties. Thus, we show how a systematic, data-driven procedure extracts social objects for study, providing a scope for scrutinizing and predicting conflict amongst other processes. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: 17 pages

Search for subsolar-mass black hole binaries in the second part of Advanced LIGO's and Advanced Virgo's third observing run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R. Abbott, H. Abe, F. Acernese, K. Ackley, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi, C. Alléné, A. Allocca, P. A. Altin , et al. (1680 additional authors not shown)

Abstract: We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate t… ▽ More We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate the sensitivity of our search over the entirety of Advanced LIGO's and Advanced Virgo's third observing run, and present the most stringent limits to date on the merger rate of binary black holes with at least one subsolar-mass component. We use the upper limits to constrain two fiducial scenarios that could produce subsolar-mass black holes: primordial black holes (PBH) and a model of dissipative dark matter. The PBH model uses recent prescriptions for the merger rate of PBH binaries that include a rate suppression factor to effectively account for PBH early binary disruptions. If the PBHs are monochromatically distributed, we can exclude a dark matter fraction in PBHs $f_\mathrm{PBH} \gtrsim 0.6$ (at 90% confidence) in the probed subsolar-mass range. However, if we allow for broad PBH mass distributions we are unable to rule out $f_\mathrm{PBH} = 1$. For the dissipative model, where the dark matter has chemistry that allows a small fraction to cool and collapse into black holes, we find an upper bound $f_{\mathrm{DBH}} < 10^{-5}$ on the fraction of atomic dark matter collapsed into black holes. △ Less

Submitted 26 January, 2024; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: https://dcc.ligo.org/P2200139

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, mapping, exploration, and point-goal navigation. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Comments: ECCV 2022

Development of a Modular Real-time Shared-control System for a Smart Wheelchair

Authors: Vaishanth Ramaraj, Atharva Paralikar, Eung Joo Lee, Syed Muhammad Anwar, Reza Monfaredi

Abstract: In this paper, we propose a modular navigation system that can be mounted on a regular powered wheelchair to assist disabled children and the elderly with autonomous mobility and shared-control features. The lack of independent mobility drastically affects an individual's mental and physical health making them feel less self-reliant, especially children with Cerebral Palsy and limited cognitive sk… ▽ More In this paper, we propose a modular navigation system that can be mounted on a regular powered wheelchair to assist disabled children and the elderly with autonomous mobility and shared-control features. The lack of independent mobility drastically affects an individual's mental and physical health making them feel less self-reliant, especially children with Cerebral Palsy and limited cognitive skills. To address this problem, we propose a comparatively inexpensive and modular system that uses a stereo camera to perform tasks such as path planning, obstacle avoidance, and collision detection in environments with narrow corridors. We avoid any major changes to the hardware of the wheelchair for an easy installation by replacing wheel encoders with a stereo camera for visual odometry. An open source software package, the Real-Time Appearance Based Mapping package, running on top of the Robot Operating System (ROS) allows us to perform visual SLAM that allows mapping and localizing itself in the environment. The path planning is performed by the move base package provided by ROS, which quickly and efficiently computes the path trajectory for the wheelchair. In this work, we present the design and development of the system along with its significant functionalities. Further, we report experimental results from a Gazebo simulation and real-world scenarios to prove the effectiveness of our proposed system with a compact form factor and a single stereo camera. △ Less

Submitted 26 November, 2022; originally announced November 2022.

MSC Class: 68T40 ACM Class: J.7

Removal of Hot Saturns in Mass-Radius Plane by Runaway Mass Loss

Authors: Daniel P. Thorngren, Eve J. Lee, Eric D. Lopez

Abstract: The hot Saturn population exhibits a boundary in mass-radius space, such that no planets are observed at a density less than $\sim$0.1 g cm$^{-3}$. Yet, planet interior structure models can readily construct such objects as the natural result of radius inflation. Here, we investigate the role XUV-driven mass-loss plays in sculpting the density boundary by constructing interior structure models tha… ▽ More The hot Saturn population exhibits a boundary in mass-radius space, such that no planets are observed at a density less than $\sim$0.1 g cm$^{-3}$. Yet, planet interior structure models can readily construct such objects as the natural result of radius inflation. Here, we investigate the role XUV-driven mass-loss plays in sculpting the density boundary by constructing interior structure models that include radius inflation, photoevaporative mass loss and a simple prescription of Roche lobe overflow. We demonstrate that planets puffier than $\sim$0.1 g cm$^{-3}$ experience a runaway mass loss caused by adiabatic radius expansion as the gas layer is stripped away, providing a good explanation of the observed edge in mass-radius space. The process is also visible in the radius-period and mass-period spaces, though smaller, high-bulk-metallicity planets can still survive at short periods, preserving a partial record of the population distribution at formation. △ Less

Submitted 8 March, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: 11 pages, 5 figures, Accepted to ApJ Letters. This revision includes the effect of orbital evolution resulting from Roche lobe overflow; the overall conclusions are the same

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.

Comments: 18 pages, one table, comments welcome!

MSC Class: 11N32; 11N35; 11N36

Photochemically-produced SO$_2$ in the atmosphere of WASP-39b

Authors: Shang-Min Tsai, Elspeth K. H. Lee, Diana Powell, Peter Gao, Xi Zhang, Julianne Moses, Eric Hébrard, Olivia Venot, Vivien Parmentier, Sean Jordan, Renyu Hu, Munazza K. Alam, Lili Alderson, Natalie M. Batalha, Jacob L. Bean, Björn Benneke, Carver J. Bierson, Ryan P. Brady, Ludmila Carone, Aarynn L. Carter, Katy L. Chubb, Julie Inglis, Jérémy Leconte, Mercedes Lopez-Morales, Yamila Miguel , et al. (60 additional authors not shown)

Abstract: Photochemistry is a fundamental process of planetary atmospheres that regulates the atmospheric composition and stability. However, no unambiguous photochemical products have been detected in exoplanet atmospheres to date. Recent observations from the JWST Transiting Exoplanet Early Release Science Program found a spectral absorption feature at 4.05 $μみゅー$m arising from SO$_2$ in the atmosphere of WA… ▽ More Photochemistry is a fundamental process of planetary atmospheres that regulates the atmospheric composition and stability. However, no unambiguous photochemical products have been detected in exoplanet atmospheres to date. Recent observations from the JWST Transiting Exoplanet Early Release Science Program found a spectral absorption feature at 4.05 $μみゅー$m arising from SO$_2$ in the atmosphere of WASP-39b. WASP-39b is a 1.27-Jupiter-radii, Saturn-mass (0.28 M$_J$) gas giant exoplanet orbiting a Sun-like star with an equilibrium temperature of $\sim$1100 K. The most plausible way of generating SO$_2$ in such an atmosphere is through photochemical processes. Here we show that the SO$_2$ distribution computed by a suite of photochemical models robustly explains the 4.05 $μみゅー$m spectral feature identified by JWST transmission observations with NIRSpec PRISM (2.7$σしぐま$) and G395H (4.5$σしぐま$). SO$_2$ is produced by successive oxidation of sulphur radicals freed when hydrogen sulphide (H$_2$S) is destroyed. The sensitivity of the SO$_2$ feature to the enrichment of the atmosphere by heavy elements (metallicity) suggests that it can be used as a tracer of atmospheric properties, with WASP-39b exhibiting an inferred metallicity of $\sim$10$\times$ solar. We further point out that SO$_2$ also shows observable features at ultraviolet and thermal infrared wavelengths not available from the existing observations. △ Less

Submitted 24 March, 2023; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 39 pages, 14 figures, accepted to be published in Nature

Early Release Science of the Exoplanet WASP-39b with JWST NIRSpec G395H

Authors: Lili Alderson, Hannah R. Wakeford, Munazza K. Alam, Natasha E. Batalha, Joshua D. Lothringer, Jea Adams Redai, Saugata Barat, Jonathan Brande, Mario Damiano, Tansu Daylan, Néstor Espinoza, Laura Flagg, Jayesh M. Goyal, David Grant, Renyu Hu, Julie Inglis, Elspeth K. H. Lee, Thomas Mikal-Evans, Lakeisha Ramos-Rosado, Pierre-Alexis Roy, Nicole L. Wallack, Natalie M. Batalha, Jacob L. Bean, Björn Benneke, Zachory K. Berta-Thompson , et al. (67 additional authors not shown)

Abstract: Measuring the abundances of carbon and oxygen in exoplanet atmospheres is considered a crucial avenue for unlocking the formation and evolution of exoplanetary systems. Access to an exoplanet's chemical inventory requires high-precision observations, often inferred from individual molecular detections with low-resolution space-based and high-resolution ground-based facilities. Here we report the m… ▽ More Measuring the abundances of carbon and oxygen in exoplanet atmospheres is considered a crucial avenue for unlocking the formation and evolution of exoplanetary systems. Access to an exoplanet's chemical inventory requires high-precision observations, often inferred from individual molecular detections with low-resolution space-based and high-resolution ground-based facilities. Here we report the medium-resolution (R$\sim$600) transmission spectrum of an exoplanet atmosphere between 3-5 $μみゅー$m covering multiple absorption features for the Saturn-mass exoplanet WASP-39b, obtained with JWST NIRSpec G395H. Our observations achieve 1.46x photon precision, providing an average transit depth uncertainty of 221 ppm per spectroscopic bin, and present minimal impacts from systematic effects. We detect significant absorption from CO$_2$ (28.5$σしぐま$) and H$_2$O (21.5$σしぐま$), and identify SO$_2$ as the source of absorption at 4.1 $μみゅー$m (4.8$σしぐま$). Best-fit atmospheric models range between 3 and 10x solar metallicity, with sub-solar to solar C/O ratios. These results, including the detection of SO$_2$, underscore the importance of characterising the chemistry in exoplanet atmospheres, and showcase NIRSpec G395H as an excellent mode for time series observations over this critical wavelength range. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 44 pages, 11 figures, 3 tables. Resubmitted after revision to Nature

A Local Search-Based Approach for Set Covering

Authors: Anupam Gupta, Euiwoong Lee, Jason Li

Abstract: In the Set Cover problem, we are given a set system with each set having a weight, and we want to find a collection of sets that cover the universe, whilst having low total weight. There are several approaches known (based on greedy approaches, relax-and-round, and dual-fitting) that achieve a $H_k \approx \ln k + O(1)$ approximation for this problem, where the size of each set is bounded by $k$.… ▽ More In the Set Cover problem, we are given a set system with each set having a weight, and we want to find a collection of sets that cover the universe, whilst having low total weight. There are several approaches known (based on greedy approaches, relax-and-round, and dual-fitting) that achieve a $H_k \approx \ln k + O(1)$ approximation for this problem, where the size of each set is bounded by $k$. Moreover, getting a $\ln k - O(\ln \ln k)$ approximation is hard. Where does the truth lie? Can we close the gap between the upper and lower bounds? An improvement would be particularly interesting for small values of $k$, which are often used in reductions between Set Cover and other combinatorial optimization problems. We consider a non-oblivious local-search approach: to the best of our knowledge this gives the first $H_k$-approximation for Set Cover using an approach based on local-search. Our proof fits in one page, and gives a integrality gap result as well. Refining our approach by considering larger moves and an optimized potential function gives an $(H_k - Ωおめが(\log^2 k)/k)$-approximation, improving on the previous bound of $(H_k - Ωおめが(1/k^8))$ (\emph{R.\ Hassin and A.\ Levin, SICOMP '05}) based on a modified greedy algorithm. △ Less

Submitted 8 November, 2022; originally announced November 2022.

Comments: To appear in SOSA '23

CAMEMBERT: A Mini-Neptunes GCM Intercomparison, Protocol Version 1.0. A CUISINES Model Intercomparison Project

Authors: Duncan A. Christie, Elspeth K. H. Lee, Hamish Innes, Pascal A. Noti, Benjamin Charnay, Thomas J. Fauchez, Nathan J. Mayne, Russell Deitrick, Feng Ding, Jennifer J. Greco, Mark Hammond, Isaac Malsky, Avi Mandell, Emily Rauscher, Michael T. Roman, Denis E. Sergeev, Linda Sohl, Maria E. Steinrueck, Martin Turbet, Eric T. Wolf, Maria Zamyatina, Ludmila Carone

Abstract: With an increased focus on the observing and modelling of mini-Neptunes, there comes a need to better understand the tools we use to model their atmospheres. In this paper, we present the protocol for the CAMEMBERT (Comparing Atmospheric Models of Extrasolar Mini-neptunes Building and Envisioning Retrievals and Transits) project, an intercomparison of general circulation models (GCMs) used by the… ▽ More With an increased focus on the observing and modelling of mini-Neptunes, there comes a need to better understand the tools we use to model their atmospheres. In this paper, we present the protocol for the CAMEMBERT (Comparing Atmospheric Models of Extrasolar Mini-neptunes Building and Envisioning Retrievals and Transits) project, an intercomparison of general circulation models (GCMs) used by the exoplanetary science community to simulate the atmospheres of mini-Neptunes. We focus on two targets well studied both observationally and theoretically with planned JWST Cycle 1 observations: the warm GJ~1214b and the cooler K2-18b. For each target, we consider a temperature-forced case, a clear sky dual-grey radiative transfer case, and a clear sky multi band radiative transfer case, covering a range of complexities and configurations where we know differences exist between GCMs in the literature. This paper presents all the details necessary to participate in the intercomparison, with the intention of presenting the results in future papers. Currently, there are eight GCMs participating (ExoCAM, Exo-FMS, FMS PCM, Generic PCM, MITgcm, RM-GCM, THOR, and the UM), and membership in the project remains open. Those interested in participating are invited to contact the authors. △ Less

Submitted 8 November, 2022; originally announced November 2022.

Comments: Accepted to PSJ

Spatial distribution and determinants of childhood vaccination refusal in the United States

Authors: Bokgyeong Kang, Sandra Goldlust, Elizabeth C. Lee, John Hughes, Shweta Bansal, Murali Haran

Abstract: Parental refusal and delay of childhood vaccination has increased in recent years in the United States. This phenomenon challenges maintenance of herd immunity and increases the risk of outbreaks of vaccine-preventable diseases. We examine US county-level vaccine refusal for patients under five years of age collected during the period 2012--2015 from an administrative healthcare dataset. We model… ▽ More Parental refusal and delay of childhood vaccination has increased in recent years in the United States. This phenomenon challenges maintenance of herd immunity and increases the risk of outbreaks of vaccine-preventable diseases. We examine US county-level vaccine refusal for patients under five years of age collected during the period 2012--2015 from an administrative healthcare dataset. We model these data with a Bayesian zero-inflated negative binomial regression model to capture social and political processes that are associated with vaccine refusal, as well as factors that affect our measurement of vaccine refusal.Our work highlights fine-scale socio-demographic characteristics associated with vaccine refusal nationally, finds that spatial clustering in refusal can be explained by such factors, and has the potential to aid in the development of targeted public health strategies for optimizing vaccine uptake. △ Less

Submitted 15 March, 2023; v1 submitted 7 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.

Comments: 8 pages, 4 figures, published in Journal of Low Temperature Physics (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 mapping 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 mapping 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.

Comments: 7 pages, 5 figures

On the Joint Evolution Problem for a Scalar Field and its Singularity

Authors: Aditya Agashe, Ethan Lee, A. Shadi Tahvildar-Zadeh

Abstract: In the classical electrodynamics of point charges in vacuum, the electromagnetic field, and therefore the Lorentz force, is ill-defined at the locations of the charges. Kiessling resolved this problem by using the momentum balance between the field and the particles, extracting an equation for the force that is well-defined where the charges are located, so long as the field momentum density is lo… ▽ More In the classical electrodynamics of point charges in vacuum, the electromagnetic field, and therefore the Lorentz force, is ill-defined at the locations of the charges. Kiessling resolved this problem by using the momentum balance between the field and the particles, extracting an equation for the force that is well-defined where the charges are located, so long as the field momentum density is locally integrable in a neighborhood of the charges. In this paper, we examine the effects of such a force by analyzing a simplified model in one space dimension. We study the joint evolution of a massless scalar field together with its singularity, which we identify with the trajectory of a particle. The static solution arises in the presence of no incoming radiation, in which case the particle remains at rest forever. We will prove the stability of the static solution for particles with positive bare mass by showing that a pulse of incoming radiation that is compactly supported away from the point charge will result in the particle eventually coming back to rest. We will also prove the nonlinear instability of the static solution for particles with negative bare mass by showing that an incoming radiation with arbitrarily small amplitude will cause the particle to reach the speed of light in finite time. We conclude by discussing modifications to this simple model that could make it more realistic. △ Less

Submitted 21 January, 2023; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 22 pages, 5 figures

MSC Class: 78A35; 35A21; 70S10

Journal ref: Involve 17 (2024) 163-182

Spectral Clustering-aware Learning of Embeddings for Speaker Diarisation

Authors: Evonne P. C. Lee, Guangzhi Sun, Chao Zhang, Philip C. Woodland

Abstract: In speaker diarisation, speaker embedding extraction models often suffer from the mismatch between their training loss functions and the speaker clustering method. In this paper, we propose the method of spectral clustering-aware learning of embeddings (SCALE) to address the mismatch. Specifically, besides an angular prototype cal (AP) loss, SCALE uses a novel affinity matrix loss which directly m… ▽ More In speaker diarisation, speaker embedding extraction models often suffer from the mismatch between their training loss functions and the speaker clustering method. In this paper, we propose the method of spectral clustering-aware learning of embeddings (SCALE) to address the mismatch. Specifically, besides an angular prototype cal (AP) loss, SCALE uses a novel affinity matrix loss which directly minimises the error between the affinity matrix estimated from speaker embeddings and the reference. SCALE also includes p-percentile thresholding and Gaussian blur as two important hyper-parameters for spectral clustering in training. Experiments on the AMI dataset showed that speaker embeddings obtained with SCALE achieved over 50% relative speaker error rate reductions using oracle segmentation, and over 30% relative diarisation error rate reductions using automatic segmentation when compared to a strong baseline with the AP-loss-based speaker embeddings. △ Less

Submitted 14 March, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: To appear in ICASSP 2023, 5 pages

The Mantis Network IV: A titanium cold-trap on the ultra-hot Jupiter WASP-121 b

Authors: H. J. Hoeijmakers, D. Kitzmann, B. M. Morris, B. Prinoth, N. Borsato, B. Thorsbro, L. Pino, E. K. H. Lee, C. Akın, J. V. Seidel, J. L. Birkby, R. Allart, K. Heng

Abstract: Observations of WASP-121 b have suggested an under-abundance of titanium and titanium-oxide from its terminator region. In this study, we aim to determine whether this depletion is global by investigating the day-side emission spectrum. We analyse 8 epochs of high-resolution spectra obtained with ESPRESSO, targeting orbital phases when the day-side is in view. We use a cross-correlation method to… ▽ More Observations of WASP-121 b have suggested an under-abundance of titanium and titanium-oxide from its terminator region. In this study, we aim to determine whether this depletion is global by investigating the day-side emission spectrum. We analyse 8 epochs of high-resolution spectra obtained with ESPRESSO, targeting orbital phases when the day-side is in view. We use a cross-correlation method to search for various atoms, TiO and VO and compare to models. We constrain the velocities and phase-function of the emission signal using a Bayesian framework. We report significant detections of Ca I, V I, Cr I, Mn I, Fe I, Co I and Ni I, but not T i or TiO. Models containing Ti are unable to reproduce the data. The detected signals are consistent with the known orbital and systemic velocities and with peak emission originating from the sub-stellar point. We find that Ti is depleted from regions of the atmosphere where transmission and emission spectroscopy are sensitive. We interpret this as evidence for the night-side condensation of titanium, preventing it from being mixed back into the upper layers of the atmosphere elsewhere on the planet. Species with lower condensation temperatures are unaffected, implying sharp chemical transitions exist between ultra-hot Jupiters that have slight differences in temperature or dynamical properties. As TiO can act as a strong source of stratospheric heating, cold-trapping creates a coupling between the thermal structures on the day-side and night-side, and thus condensation chemistry needs to be included in global circulation models. Observed elemental abundances in hot Jupiters are not reliably representative of bulk abundances unless night-side condensation is accounted for or the planet is hot enough to avoid night-side cold-traps entirely. Planetary rotation may significantly lower the apparent orbital velocity of emission signals. △ Less

Submitted 16 January, 2024; v1 submitted 23 October, 2022; originally announced October 2022.

Comments: 23 pages, submitted to A\&A on September 13, 2022, accepted on October 6, 2023

The Mantis Network II: Examining the 3D high-resolution observable properties of the UHJs WASP-121b and WASP-189b through GCM modelling

Authors: Elspeth K. H. Lee, Bibiana Prinoth, Daniel Kitzmann, Shang-Min Tsai, Jens Hoeijmakers, Nicholas W. Borsato, Kevin Heng

Abstract: The atmospheres of ultra hot Jupiters (UHJs) are prime targets for the detection of molecules and atoms at both low and high spectral resolution. We study the atmospheres of the UHJs WASP-121b and WASP-189b by performing 3D general circulation models (GCMs) of these planets using high temperature correlated-k opacity schemes with ultra-violet (UV) absorbing species included. The GCM results are th… ▽ More The atmospheres of ultra hot Jupiters (UHJs) are prime targets for the detection of molecules and atoms at both low and high spectral resolution. We study the atmospheres of the UHJs WASP-121b and WASP-189b by performing 3D general circulation models (GCMs) of these planets using high temperature correlated-k opacity schemes with ultra-violet (UV) absorbing species included. The GCM results are then post-processed at low and high spectral resolutions and compared to available data. The high resolution results are cross-correlated with molecular and atomic templates to produce mock molecular detections. Our GCM models produce similar temperature-pressure (T-p) structure trends to previous 1D radiative-convective equilibrium models of UHJs. Furthermore, the inclusion of UV opacities greatly shapes the thermal and dynamical properties of the high-altitude, low-pressure regions of the UHJ atmospheres, with sharp T-p inversions due to the absorption of UV light. This suggests that optical wavelength, high-resolution observations probe a dynamically distinct upper atmospheric region, rather than the deeper jet forming layers. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Comments: MNRAS accepted: 8 August 2022, published 11 August 2022

Journal ref: Monthly Notices of the Royal Astronomical Society, Volume 517, Issue 1, November 2022, Pages 240 256

Scalable Bayesian Transformed Gaussian Processes

Authors: Xinran Zhu, Leo Huang, Cameron Ibrahim, Eric Hans Lee, David Bindel

Abstract: The Bayesian transformed Gaussian process (BTG) model, proposed by Kedem and Oliviera, is a fully Bayesian counterpart to the warped Gaussian process (WGP) and marginalizes out a joint prior over input warping and kernel hyperparameters. This fully Bayesian treatment of hyperparameters often provides more accurate regression estimates and superior uncertainty propagation, but is prohibitively expe… ▽ More The Bayesian transformed Gaussian process (BTG) model, proposed by Kedem and Oliviera, is a fully Bayesian counterpart to the warped Gaussian process (WGP) and marginalizes out a joint prior over input warping and kernel hyperparameters. This fully Bayesian treatment of hyperparameters often provides more accurate regression estimates and superior uncertainty propagation, but is prohibitively expensive. The BTG posterior predictive distribution, itself estimated through high-dimensional integration, must be inverted in order to perform model prediction. To make the Bayesian approach practical and comparable in speed to maximum-likelihood estimation (MLE), we propose principled and fast techniques for computing with BTG. Our framework uses doubly sparse quadrature rules, tight quantile bounds, and rank-one matrix algebra to enable both fast model prediction and model selection. These scalable methods allow us to regress over higher-dimensional datasets and apply BTG with layered transformations that greatly improve its expressibility. We demonstrate that BTG achieves superior empirical performance over MLE-based models. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Search for gravitational-wave transients associated with magnetar bursts in Advanced LIGO and Advanced Virgo data from the third observing run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R. Abbott, H. Abe, F. Acernese, K. Ackley, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi, A. Allocca, P. A. Altin , et al. (1645 additional authors not shown)

Abstract: Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bu… ▽ More Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bursts come from two magnetars, SGR 1935$+$2154 and Swift J1818.0$-$1607. We also include three other electromagnetic burst events detected by Fermi GBM which were identified as likely coming from one or more magnetars, but they have no association with a known magnetar. No magnetar giant flares were detected during the analysis period. We find no evidence of gravitational waves associated with any of these 16 bursts. We place upper bounds on the root-sum-square of the integrated gravitational-wave strain that reach $2.2 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at 100 Hzへるつ for the short-duration search and $8.7 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at $450$ Hz for the long-duration search, given a detection efficiency of 50%. For a ringdown signal at 1590 Hzへるつ targeted by the short-duration search the limit is set to $1.8 \times 10^{-22}$ $/\sqrt{\text{Hz}}$. Using the estimated distance to each magnetar, we derive upper bounds on the emitted gravitational-wave energy of $3.2 \times 10^{43}$ erg ($7.3 \times 10^{43}$ erg) for SGR 1935$+$2154 and $8.2 \times 10^{42}$ erg ($2.8 \times 10^{43}$ erg) for Swift J1818.0$-$1607, for the short-duration (long-duration) search. Assuming isotropic emission of electromagnetic radiation of the burst fluences, we constrain the ratio of gravitational-wave energy to electromagnetic energy for bursts from SGR 1935$+$2154 with available fluence information. The lowest of these ratios is $3 \times 10^3$. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: 30 pages with appendices, 5 figures, 10 tables

Report number: LIGO-P2100387

Information consumption and size in firms

Authors: Edward D. Lee, Alan P. Kwan, Rudolf Hanel, Anjali Bhatt, Frank Neffke

Abstract: Social and biological collectives need to exchange information to persist and to function. This happens across internal networks, whose structure represents static channels through which information flows. Less studied is the quantity and variety of information transmitted. We characterize a part of the information flow, the information going into organizations, primarily business firms. We measur… ▽ More Social and biological collectives need to exchange information to persist and to function. This happens across internal networks, whose structure represents static channels through which information flows. Less studied is the quantity and variety of information transmitted. We characterize a part of the information flow, the information going into organizations, primarily business firms. We measure what firms read using a data set of hundreds of millions of records of news articles accessed by employees across millions of firms. We measure and relate quantitatively three essential aspects: reading volume, reading variety, and firm size. First we compare volume with firm size, showing that firms grow sublinearly with the volume of their reading. The scaling means that inequality in information volume exaggerates the classic Zipf's law inequality in firm size, pointing to an economy of scale in information consumption. Then, by connecting variety and volume, we show that the firms vary in their reading habits to a limited degree. Firms above a certain size become repetitive readers, consistent with the sudden onset of a coordination cost between teams, not individual employees. Finally, we relate information variety to size to show that large firms tend to increase investments in existing areas of interest instead of divesting from them to move to new areas. We argue that this reflects structural constraints in growth. The results indicate how information consumption reflects the role of internal structure, beyond individual employees, analogous to information processing in other social and biological systems. △ Less

Submitted 17 December, 2023; v1 submitted 13 October, 2022; originally announced October 2022.

Joule spectroscopy of hybrid superconductor-semiconductor nanodevices

Authors: Angel Ibabe, Mario Gomez, Gorm O. Steffensen, Thomas Kanne, Jesper Nygard, Alfredo Levy Yeyati, Eduardo J. H. Lee

Abstract: Hybrid superconductor-semiconductor devices offer highly tunable platforms, potentially suitable for quantum technology applications, that have been intensively studied in the past decade. Here we establish that measurements of the superconductor-to-normal transition originating from Joule heating provide a powerful spectroscopical tool to characterize such hybrid devices. Concretely, we apply thi… ▽ More Hybrid superconductor-semiconductor devices offer highly tunable platforms, potentially suitable for quantum technology applications, that have been intensively studied in the past decade. Here we establish that measurements of the superconductor-to-normal transition originating from Joule heating provide a powerful spectroscopical tool to characterize such hybrid devices. Concretely, we apply this technique to junctions in full-shell Al-InAs nanowires in the Little-Parks regime and obtain detailed information of each lead independently and in a single measurement, including differences in the superconducting coherence lengths of the leads, inhomogeneous covering of the epitaxial shell, and the inverse superconducting proximity effect; all-in-all constituting a unique fingerprint of each device and highlighting the large variability present in these systems. Besides the practical uses, our work also underscores the importance of heating in hybrid devices, an effect that is often overlooked. △ Less

Submitted 2 October, 2022; originally announced October 2022.

Journal ref: Nat Commun 14, 2873 (2023)

The shape of non-graviton operators for $SU(2)$

Authors: Sunjin Choi, Seok Kim, Eunwoo Lee, Jaemo Park

Abstract: The BPS spectrum of AdS/CFT exhibits multi-gravitons at low energies, while having black hole states at higher energies. This can be studied concretely in AdS$_5$/CFT$_4$ in terms of classical cohomologies, even in the quantum regimes at finite $1/N$. Recently, Chang and Lin found a threshold for non-graviton states in the $SU(2)$ maximal super-Yang-Mills theory. We explicitly construct and presen… ▽ More The BPS spectrum of AdS/CFT exhibits multi-gravitons at low energies, while having black hole states at higher energies. This can be studied concretely in AdS$_5$/CFT$_4$ in terms of classical cohomologies, even in the quantum regimes at finite $1/N$. Recently, Chang and Lin found a threshold for non-graviton states in the $SU(2)$ maximal super-Yang-Mills theory. We explicitly construct and present this threshold cohomology. △ Less

Submitted 1 July, 2024; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 8 pages

Report number: KIAS-P22052

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.

Comments: 7 pages, 10 figures

Learning Model Predictive Controllers with Real-Time Attention for Real-World Navigation

Authors: Xuesu Xiao, Tingnan Zhang, Krzysztof Choromanski, Edward Lee, Anthony Francis, Jake Varley, Stephen Tu, Sumeet Singh, Peng Xu, Fei Xia, Sven Mikael Persson, Dmitry Kalashnikov, Leila Takayama, Roy Frostig, Jie Tan, Carolina Parada, Vikas Sindhwani

Abstract: Despite decades of research, existing navigation systems still face real-world challenges when deployed in the wild, e.g., in cluttered home environments or in human-occupied public spaces. To address this, we present a new class of implicit control policies combining the benefits of imitation learning with the robust handling of system constraints from Model Predictive Control (MPC). Our approach… ▽ More Despite decades of research, existing navigation systems still face real-world challenges when deployed in the wild, e.g., in cluttered home environments or in human-occupied public spaces. To address this, we present a new class of implicit control policies combining the benefits of imitation learning with the robust handling of system constraints from Model Predictive Control (MPC). Our approach, called Performer-MPC, uses a learned cost function parameterized by vision context embeddings provided by Performers -- a low-rank implicit-attention Transformer. We jointly train the cost function and construct the controller relying on it, effectively solving end-to-end the corresponding bi-level optimization problem. We show that the resulting policy improves standard MPC performance by leveraging a few expert demonstrations of the desired navigation behavior in different challenging real-world scenarios. Compared with a standard MPC policy, Performer-MPC achieves >40% better goal reached in cluttered environments and >65% better on social metrics when navigating around humans. △ Less

Submitted 23 September, 2022; v1 submitted 22 September, 2022; originally announced September 2022.

Tab2vox: CNN-Based Multivariate Multilevel Demand Forecasting Framework by Tabular-To-Voxel Image Conversion

Authors: Euna Lee, Myungwoo Nam, Hongchul Lee

Abstract: Since demand is influenced by a wide variety of causes, it is necessary to decompose the explana-tory variables into different levels, extract their relationships effectively, and reflect them in the forecast. In particular, this contextual information can be very useful in demand forecasting with large demand volatility or intermittent demand patterns. Convolutional neural networks (CNNs) have be… ▽ More Since demand is influenced by a wide variety of causes, it is necessary to decompose the explana-tory variables into different levels, extract their relationships effectively, and reflect them in the forecast. In particular, this contextual information can be very useful in demand forecasting with large demand volatility or intermittent demand patterns. Convolutional neural networks (CNNs) have been successfully used in many fields where important information in data is represented by images. CNNs are powerful because they accept samples as images and use adjacent voxel sets to integrate multi-dimensional important information and learn important features. On the other hand, although the demand-forecasting model has been improved, the input data is still limited in its tabular form and is not suitable for CNN modeling. In this study, we propose a Tab2vox neural architecture search (NAS) model as a method to convert a high-dimensional tabular sam-ple into a well-formed 3D voxel image and use it in a 3D CNN network. For each image repre-sentation, the 3D CNN forecasting model proposed from the Tab2vox framework showed supe-rior performance, compared to the existing time series and machine learning techniques using tabular data, and the latest image transformation studies. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Gesture2Path: Imitation Learning for Gesture-aware Navigation

Authors: Catie Cuan, Edward Lee, Emre Fisher, Anthony Francis, Leila Takayama, Tingnan Zhang, Alexander Toshev, Sören Pirk

Abstract: As robots increasingly enter human-centered environments, they must not only be able to navigate safely around humans, but also adhere to complex social norms. Humans often rely on non-verbal communication through gestures and facial expressions when navigating around other people, especially in densely occupied spaces. Consequently, robots also need to be able to interpret gestures as part of sol… ▽ More As robots increasingly enter human-centered environments, they must not only be able to navigate safely around humans, but also adhere to complex social norms. Humans often rely on non-verbal communication through gestures and facial expressions when navigating around other people, especially in densely occupied spaces. Consequently, robots also need to be able to interpret gestures as part of solving social navigation tasks. To this end, we present Gesture2Path, a novel social navigation approach that combines image-based imitation learning with model-predictive control. Gestures are interpreted based on a neural network that operates on streams of images, while we use a state-of-the-art model predictive control algorithm to solve point-to-point navigation tasks. We deploy our method on real robots and showcase the effectiveness of our approach for the four gestures-navigation scenarios: left/right, follow me, and make a circle. Our experiments indicate that our method is able to successfully interpret complex human gestures and to use them as a signal to generate socially compliant trajectories for navigation tasks. We validated our method based on in-situ ratings of participants interacting with the robots. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 8 pages, 12 figures

Distribution of a second-class particle's position in the two-species ASEP with a special initial configuration

Authors: Eunghyun Lee, Zhanibek Tokebayev

Abstract: In this paper, we consider the two-species asymmetric simple exclusion process consisting of $N-1$ first-class particles and one second-class particle. We assume that the second-class particle is the rightmost particle at t=0. We provide an alternative method to Tracy and Widom's method in [J. Phys. A, 42, 425002, (2009)] to find the probability distribution of the second-class particle's position… ▽ More In this paper, we consider the two-species asymmetric simple exclusion process consisting of $N-1$ first-class particles and one second-class particle. We assume that the second-class particle is the rightmost particle at t=0. We provide an alternative method to Tracy and Widom's method in [J. Phys. A, 42, 425002, (2009)] to find the probability distribution of the second-class particle's position. △ Less

Submitted 16 March, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: Published version (to appear in Journal of Statistical Physics)

Model-based cross-correlation search for gravitational waves from the low-mass X-ray binary Scorpius X-1 in LIGO O3 data

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R. Abbott, H. Abe, F. Acernese, K. Ackley, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi, C. Alléné, A. Allocca, P. A. Altin , et al. (1670 additional authors not shown)

Abstract: We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to bala… ▽ More We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to balance sensitivity with computing cost. The search covered a range of gravitational-wave frequencies from 25Hzへるつ to 1600Hzへるつ, as well as ranges in orbital speed, frequency and phase determined from observational constraints. No significant detection candidates were found, and upper limits were set as a function of frequency. The most stringent limits, between 100Hzへるつ and 200Hzへるつ, correspond to an amplitude h0 of about 1e-25 when marginalized isotropically over the unknown inclination angle of the neutron star's rotation axis, or less than 4e-26 assuming the optimal orientation. The sensitivity of this search is now probing amplitudes predicted by models of torque balance equilibrium. For the usual conservative model assuming accretion at the surface of the neutron star, our isotropically-marginalized upper limits are close to the predicted amplitude from about 70Hzへるつ to 100Hzへるつ; the limits assuming the neutron star spin is aligned with the most likely orbital angular momentum are below the conservative torque balance predictions from 40Hzへるつ to 200Hzへるつ. Assuming a broader range of accretion models, our direct limits on gravitational-wave amplitude delve into the relevant parameter space over a wide range of frequencies, to 500Hzへるつ or more. △ Less

Submitted 2 January, 2023; v1 submitted 6 September, 2022; originally announced September 2022.

Comments: 19 pages, Open Access Journal PDF

Report number: LIGO-P2100110-v13

Journal ref: The Astrophysical Journal Letters, 941, L30 (2022)

Optimizing quantum circuit parameters via SDP

Authors: Eunou Lee

Abstract: In recent years, parameterized quantum circuits have become a major tool to design quantum algorithms for optimization problems. The challenge in fully taking advantage of a given family of parameterized circuits lies in finding a good set of parameters in a non-convex landscape that can grow exponentially to the number of parameters. We introduce a new framework for optimizing parameterized qua… ▽ More In recent years, parameterized quantum circuits have become a major tool to design quantum algorithms for optimization problems. The challenge in fully taking advantage of a given family of parameterized circuits lies in finding a good set of parameters in a non-convex landscape that can grow exponentially to the number of parameters. We introduce a new framework for optimizing parameterized quantum circuits: round SDP solutions to circuit parameters. Within this framework, we propose an algorithm that produces approximate solutions for a quantum optimization problem called Quantum Max Cut. The rounding algorithm runs in polynomial time to the number of parameters regardless of the underlying interaction graph. The resulting 0.562-approximation algorithm for generic instances of Quantum Max Cut improves on the previously known best algorithms, which give approximation ratios of less than 0.54. △ Less

Submitted 1 September, 2022; originally announced September 2022.

Outsourcing Memory Through Niche Construction

Authors: Edward D. Lee, Jessica C. Flack, David C. Krakauer

Abstract: Adaptation to changing environments is a universal feature of life and can involve the organism modifying itself in response to the environment as well as actively modifying the environment to control selection pressures. The latter case couples the organism to environment. Then, how quickly should the organism change in response to the environment? We formulate this question in terms of how memor… ▽ More Adaptation to changing environments is a universal feature of life and can involve the organism modifying itself in response to the environment as well as actively modifying the environment to control selection pressures. The latter case couples the organism to environment. Then, how quickly should the organism change in response to the environment? We formulate this question in terms of how memory duration scales with environmental rate of change when there are trade-offs in remembering vs. forgetting. We derive a universal scaling law for optimal memory duration, taking into account memory precision as well as two components of environmental volatility, bias and stability. We find sublinear scaling with any amount of environmental volatility. We use a memory complexity measure to explore the strategic conditions (game dynamics) favoring actively reducing environmental volatility -- outsourcing memory through niche construction -- over investing in neural tissue. We predict stabilizing niche construction will evolve when neural tissue is costly, the environment is variable, and it is beneficial to be able to encode a rich repertoire of environmental states. △ Less

Submitted 7 January, 2023; v1 submitted 1 September, 2022; originally announced September 2022.

Fitting Metrics and Ultrametrics with Minimum Disagreements

Authors: Vincent Cohen-Addad, Chenglin Fan, Euiwoong Lee, Arnaud de Mesmay

Abstract: Given $x \in (\mathbb{R}_{\geq 0})^{\binom{[n]}{2}}$ recording pairwise distances, the METRIC VIOLATION DISTANCE (MVD) problem asks to compute the $\ell_0$ distance between $x$ and the metric cone; i.e., modify the minimum number of entries of $x$ to make it a metric. Due to its large number of applications in various data analysis and optimization tasks, this problem has been actively studied rec… ▽ More Given $x \in (\mathbb{R}_{\geq 0})^{\binom{[n]}{2}}$ recording pairwise distances, the METRIC VIOLATION DISTANCE (MVD) problem asks to compute the $\ell_0$ distance between $x$ and the metric cone; i.e., modify the minimum number of entries of $x$ to make it a metric. Due to its large number of applications in various data analysis and optimization tasks, this problem has been actively studied recently. We present an $O(\log n)$-approximation algorithm for MVD, exponentially improving the previous best approximation ratio of $O(OPT^{1/3})$ of Fan et al. [ SODA, 2018]. Furthermore, a major strength of our algorithm is its simplicity and running time. We also study the related problem of ULTRAMETRIC VIOLATION DISTANCE (UMVD), where the goal is to compute the $\ell_0$ distance to the cone of ultrametrics, and achieve a constant factor approximation algorithm. The UMVD can be regarded as an extension of the problem of fitting ultrametrics studied by Ailon and Charikar [SIAM J. Computing, 2011] and by Cohen-Addad et al. [FOCS, 2021] from $\ell_1$ norm to $\ell_0$ norm. We show that this problem can be favorably interpreted as an instance of Correlation Clustering with an additional hierarchical structure, which we solve using a new $O(1)$-approximation algorithm for correlation clustering that has the structural property that it outputs a refinement of the optimum clusters. An algorithm satisfying such a property can be considered of independent interest. We also provide an $O(\log n \log \log n)$ approximation algorithm for weighted instances. Finally, we investigate the complementary version of these problems where one aims at choosing a maximum number of entries of $x$ forming an (ultra-)metric. In stark contrast with the minimization versions, we prove that these maximization versions are hard to approximate within any constant factor assuming the Unique Games Conjecture. △ Less

Submitted 29 August, 2022; originally announced August 2022.

Comments: To appear at FOCS 2022 (Full version)

Identification of carbon dioxide in an exoplanet atmosphere

Authors: The JWST Transiting Exoplanet Community Early Release Science Team, Eva-Maria Ahrer, Lili Alderson, Natalie M. Batalha, Natasha E. Batalha, Jacob L. Bean, Thomas G. Beatty, Taylor J. Bell, Björn Benneke, Zachory K. Berta-Thompson, Aarynn L. Carter, Ian J. M. Crossfield, Néstor Espinoza, Adina D. Feinstein, Jonathan J. Fortney, Neale P. Gibson, Jayesh M. Goyal, Eliza M. -R. Kempton, James Kirk, Laura Kreidberg, Mercedes López-Morales, Michael R. Line, Joshua D. Lothringer, Sarah E. Moran, Sagnick Mukherjee , et al. (107 additional authors not shown)

Abstract: Carbon dioxide (CO2) is a key chemical species that is found in a wide range of planetary atmospheres. In the context of exoplanets, CO2 is an indicator of the metal enrichment (i.e., elements heavier than helium, also called "metallicity"), and thus formation processes of the primary atmospheres of hot gas giants. It is also one of the most promising species to detect in the secondary atmospheres… ▽ More Carbon dioxide (CO2) is a key chemical species that is found in a wide range of planetary atmospheres. In the context of exoplanets, CO2 is an indicator of the metal enrichment (i.e., elements heavier than helium, also called "metallicity"), and thus formation processes of the primary atmospheres of hot gas giants. It is also one of the most promising species to detect in the secondary atmospheres of terrestrial exoplanets. Previous photometric measurements of transiting planets with the Spitzer Space Telescope have given hints of the presence of CO2 but have not yielded definitive detections due to the lack of unambiguous spectroscopic identification. Here we present the detection of CO2 in the atmosphere of the gas giant exoplanet WASP-39b from transmission spectroscopy observations obtained with JWST as part of the Early Release Science Program (ERS). The data used in this study span 3.0 to 5.5 μみゅーm in wavelength and show a prominent CO2 absorption feature at 4.3 μみゅーm (26σしぐま significance). The overall spectrum is well matched by one-dimensional, 10x solar metallicity models that assume radiative-convective-thermochemical equilibrium and have moderate cloud opacity. These models predict that the atmosphere should have water, carbon monoxide, and hydrogen sulfide in addition to CO2, but little methane. Furthermore, we also tentatively detect a small absorption feature near 4.0 μみゅーm that is not reproduced by these models. △ Less

Submitted 24 August, 2022; originally announced August 2022.

Comments: 27 pages, 6 figures, Accepted for publication in Nature, data and models available at https://doi.10.5281/zenodo.6959427

Copula-based analysis of the generalized friendship paradox in clustered networks

Authors: Hang-Hyun Jo, Eun Lee, Young-Ho Eom

Abstract: A heterogeneous structure of social networks induces various intriguing phenomena. One of them is the friendship paradox, which states that on average your friends have more friends than you do. Its generalization, called the generalized friendship paradox (GFP), states that on average your friends have higher attributes than yours. Despite successful demonstrations of the GFP by empirical analyse… ▽ More A heterogeneous structure of social networks induces various intriguing phenomena. One of them is the friendship paradox, which states that on average your friends have more friends than you do. Its generalization, called the generalized friendship paradox (GFP), states that on average your friends have higher attributes than yours. Despite successful demonstrations of the GFP by empirical analyses and numerical simulations, analytical, rigorous understanding of the GFP has been largely unexplored. Recently, an analytical solution for the probability that the GFP holds for an individual in a network with correlated attributes was obtained using the copula method but by assuming a locally tree structure of the underlying network [Jo~et~al., Physical Review E~\textbf{104}, 054301 (2021)]. Considering the abundant triangles in most social networks, we employ a vine copula method to incorporate the attribute correlation structure between neighbors of a focal individual in addition to the correlation between the focal individual and its neighbors. Our analytical approach helps us rigorously understand the GFP in more general networks such as clustered networks and other related interesting phenomena in social networks. △ Less

Submitted 8 December, 2022; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 9 pages, 3 figures. arXiv admin note: text overlap with arXiv:2107.05838

New explicit bounds for Mertens function and the reciprocal of the Riemann zeta-function

Authors: Ethan S. Lee, Nicol Leong

Abstract: In this paper, we establish new explicit bounds for the Mertens function $M(x)$. In particular, we compare $M(x)$ against a short-sum over the non-trivial zeros of the Riemann zeta-function $ζぜーた(s)$, whose difference we can bound using recent computations and explicit bounds for the reciprocal of $ζぜーた(s)$. Using this relationship, we are able to prove explicit versions of… ▽ More In this paper, we establish new explicit bounds for the Mertens function $M(x)$. In particular, we compare $M(x)$ against a short-sum over the non-trivial zeros of the Riemann zeta-function $ζぜーた(s)$, whose difference we can bound using recent computations and explicit bounds for the reciprocal of $ζぜーた(s)$. Using this relationship, we are able to prove explicit versions of $M(x) \ll x\exp\left(-ηいーた_1 \sqrt{\log{x}}\right)$ and $M(x) \ll x\exp\left(-ηいーた_2 (\log{x})^{3/5} (\log\log{x})^{-1/5}\right)$ for some $ηいーた_i > 0$. Our bounds with the latter form are the first explicit results of their kind. In the process of proving these, we establish another novel result, namely explicit bounds of the form $1/ζぜーた(σしぐま+ it) \ll (\log{t})^{2/3} (\log\log{t})^{1/4}$. △ Less

Submitted 25 July, 2024; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: We have built upon, extended, and improved every aspect of the previously withdrawn paper, while avoiding recent analytic tools that have been revealed to contain errors. Our new results are quantitatively and asymptotically sharper than other (current) results in the literature. As always, any comments are welcomed with open arms!

MSC Class: 11Y35; 11Y60; 11A25; 11M06; 11M26

An induced annual modulation signature in COSINE-100 data by DAMA/LIBRA's analysis method

Authors: G. Adhikari, N. Carlin, J. J. Choi, S. Choi, A. C. Ezeribe, L. E. Franca, C. Ha, I. S. Hahn, S. J. Hollick, E. J. Jeon, J. H. Jo, H. W. Joo, W. G. Kang, M. Kauer, B. H. Kim, H. J. Kim, J. Kim, K. W. Kim, S. H. Kim, S. K. Kim, W. K. Kim, Y. D. Kim, Y. H. Kim, Y. J. Ko, D. H. Lee , et al. (32 additional authors not shown)

Abstract: The DAMA/LIBRA collaboration has reported the observation of an annual modulation in the event rate that has been attributed to dark matter interactions over the last two decades. However, even though tremendous efforts to detect similar dark matter interactions were pursued, no definitive evidence has been observed to corroborate the DAMA/LIBRA signal. Many studies assuming various dark matter mo… ▽ More The DAMA/LIBRA collaboration has reported the observation of an annual modulation in the event rate that has been attributed to dark matter interactions over the last two decades. However, even though tremendous efforts to detect similar dark matter interactions were pursued, no definitive evidence has been observed to corroborate the DAMA/LIBRA signal. Many studies assuming various dark matter models have attempted to reconcile DAMA/LIBRA's modulation signals and null results from other experiments, however no clear conclusion can be drawn. Apart from the dark matter hypothesis, several studies have examined the possibility that the modulation is induced by variations in their detector's environment or their specific analysis methods. In particular, a recent study presents a possible cause of the annual modulation from an analysis method adopted by the DAMA/LIBRA experiment in which the observed annual modulation could be reproduced by a slowly varying time-dependent background. Here, we study the COSINE-100 data using an analysis method similar to the one adopted by the DAMA/LIBRA experiment and observe a significant annual modulation, although the modulation phase is almost opposite to that of the DAMA/LIBRA data. Assuming the same background composition for COSINE-100 and DAMA/LIBRA, simulated experiments for the DAMA/LIBRA without dark matter signals also provide significant annual modulation with an amplitude similar to DAMA/LIBRA with opposite phase. Even though this observation does not explain the DAMA/LIBRA's results directly, this interesting phenomenon motivates deeper studies of the time-dependent DAMA/LIBRA background data. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Journal ref: Sci. Rep. 13, 4676 (2023)

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.

Correlation Clustering with Sherali-Adams

Authors: Vincent Cohen-Addad, Euiwoong Lee, Alantha Newman

Abstract: Given a complete graph $G = (V, E)$ where each edge is labeled $+$ or $-$, the Correlation Clustering problem asks to partition $V$ into clusters to minimize the number of $+$edges between different clusters plus the number of $-$edges within the same cluster. Correlation Clustering has been used to model a large number of clustering problems in practice, making it one of the most widely studied c… ▽ More Given a complete graph $G = (V, E)$ where each edge is labeled $+$ or $-$, the Correlation Clustering problem asks to partition $V$ into clusters to minimize the number of $+$edges between different clusters plus the number of $-$edges within the same cluster. Correlation Clustering has been used to model a large number of clustering problems in practice, making it one of the most widely studied clustering formulations. The approximability of Correlation Clustering has been actively investigated [BBC04, CGW05, ACN08], culminating in a $2.06$-approximation algorithm [CMSY15], based on rounding the standard LP relaxation. Since the integrality gap for this formulation is 2, it has remained a major open question to determine if the approximation factor of 2 can be reached, or even breached. In this paper, we answer this question affirmatively by showing that there exists a $(1.994 + εいぷしろん)$-approximation algorithm based on $O(1/εいぷしろん^2$) rounds of the Sherali-Adams hierarchy. In order to round a solution to the Sherali-Adams relaxation, we adapt the {\em correlated rounding} originally developed for CSPs [BRS11, GS11, RT12]. With this tool, we reach an approximation ratio of $2+εいぷしろん$ for Correlation Clustering. To breach this ratio, we go beyond the traditional triangle-based analysis by employing a global charging scheme that amortizes the total cost of the rounding across different triangles. △ Less

Submitted 3 May, 2023; v1 submitted 22 July, 2022; originally announced July 2022.

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems

Authors: Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee

Abstract: Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of unintended behavior is high. The coordination mechanism between the components in these frameworks, however, gives rise to nondeterminism, where factors such as communication timing can lead to arbitrary ordering in the han… ▽ More Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of unintended behavior is high. The coordination mechanism between the components in these frameworks, however, gives rise to nondeterminism, where factors such as communication timing can lead to arbitrary ordering in the handling of messages. In this paper, we demonstrate the significance of this problem in an open-source full-stack autonomous driving software, Autoware.Auto 1.0, which relies on ROS 2. We give an alternative: Xronos, an open-source framework for distributed embedded systems that has a novel coordination strategy with predictable properties under clearly stated assumptions. If these assumptions are violated, Xronos provides for application-specific fault handlers to be invoked. We port Autoware.Auto to Xronos and show that it avoids the identified problems with manageable cost in end-to-end latency. Furthermore, we compare the maximum throughput of Xronos to ROS 2 and MQTT using microbenchmarks under different settings, including on three different hardware configurations, and find that it can match or exceed those frameworks in terms of throughput. △ Less

Submitted 19 July, 2022; originally announced July 2022.

A multi-simulation study of relativistic SZ temperature scalings in galaxy clusters and groups

Authors: Elizabeth Lee, Dhayaa Anbajagane, Priyanka Singh, Jens Chluba, Daisuke Nagai, Scott T. Kay, Weiguang Cui, Klaus Dolag, Gustavo Yepes

Abstract: The Sunyaev-Zeldovich (SZ) effect is a powerful tool in modern cosmology. With future observations promising ever improving SZ measurements, the relativistic corrections to the SZ signals from galaxy groups and clusters are increasingly relevant. As such, it is important to understand the differences between three temperature measures: (a) the average relativistic SZ (rSZ) temperature, (b) the mas… ▽ More The Sunyaev-Zeldovich (SZ) effect is a powerful tool in modern cosmology. With future observations promising ever improving SZ measurements, the relativistic corrections to the SZ signals from galaxy groups and clusters are increasingly relevant. As such, it is important to understand the differences between three temperature measures: (a) the average relativistic SZ (rSZ) temperature, (b) the mass-weighted temperature relevant for the thermal SZ (tSZ) effect, and (c) the X-ray spectroscopic temperature. In this work, we compare these cluster temperatures, as predicted by the {\sc Bahamas} \& {\sc Macsis}, {\sc Illustris-TNG}, {\sc Magneticum}, and {\sc The Three Hundred Project} simulations. Despite the wide range of simulation parameters, we find the SZ temperatures are consistent across the simulations. We estimate a $\simeq 10\%$ level correction from rSZ to clusters with $Y\simeq10^{-4}$~Mpc$^{-2}$. Our analysis confirms a systematic offset between the three temperature measures; with the rSZ temperature $\simeq 20\%$ larger than the other measures, and diverging further at higher redshifts. We demonstrate that these measures depart from simple self-similar evolution and explore how they vary with the defined radius of haloes. We investigate how different feedback prescriptions and resolution affect the observed temperatures, and discover the SZ temperatures are rather insensitive to these details. The agreement between simulations indicates an exciting avenue for observational and theoretical exploration, determining the extent of relativistic SZ corrections. We provide multiple simulation-based fits to the scaling relations for use in future SZ modelling. △ Less

Submitted 26 September, 2022; v1 submitted 12 July, 2022; originally announced July 2022.

Comments: Accepted by MNRAS

From giant gravitons to black holes

Authors: Sunjin Choi, Seok Kim, Eunwoo Lee, Jehyun Lee

Abstract: We study AdS$_5$ black holes from a recently suggested giant graviton expansion formula for the index of $U(N)$ maximal super-Yang-Mills theory. We compute the large $N$ entropy at fixed charges and giant graviton numbers $n_I$ by a saddle point analysis, and further maximize it in $n_I$. This agrees with the dual black hole entropy in the small black hole limit. To get black holes at general size… ▽ More We study AdS$_5$ black holes from a recently suggested giant graviton expansion formula for the index of $U(N)$ maximal super-Yang-Mills theory. We compute the large $N$ entropy at fixed charges and giant graviton numbers $n_I$ by a saddle point analysis, and further maximize it in $n_I$. This agrees with the dual black hole entropy in the small black hole limit. To get black holes at general sizes, one should note that various giant graviton indices cancel because gauge theory does not suffer from a Hagedorn-like pathology by an infinite baryonic tower. With one assumption on the mechanism of this cancellation, we account for the dual black hole entropy at general sizes. We interpret our results as analytic continuations of the large $N$ free energies of SCFTs, and based on it compute the entropies of AdS$_{4,7}$ black holes from M5, M2 giant gravitons. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Comments: 27 pages, 4 figures

Report number: KIAS-P22048, SNUTP22-001

Breaching the 2 LMP Approximation Barrier for Facility Location with Applications to k-Median

Authors: Vincent Cohen-Addad, Fabrizio Grandoni, Euiwoong Lee, Chris Schwiegelshohn

Abstract: The Uncapacitated Facility Location (UFL) problem is one of the most fundamental clustering problems: Given a set of clients $C$ and a set of facilities $F$ in a metric space $(C \cup F, dist)$ with facility costs $open : F \to \mathbb{R}^+$, the goal is to find a set of facilities $S \subseteq F$ to minimize the sum of the opening cost $open(S)$ and the connection cost… ▽ More The Uncapacitated Facility Location (UFL) problem is one of the most fundamental clustering problems: Given a set of clients $C$ and a set of facilities $F$ in a metric space $(C \cup F, dist)$ with facility costs $open : F \to \mathbb{R}^+$, the goal is to find a set of facilities $S \subseteq F$ to minimize the sum of the opening cost $open(S)$ and the connection cost $d(S) := \sum_{p \in C} \min_{c \in S} dist(p, c)$. An algorithm for UFL is called a Lagrangian Multiplier Preserving (LMP) $αあるふぁ$ approximation if it outputs a solution $S\subseteq F$ satisfying $open(S) + d(S) \leq open(S^*) + αあるふぁd(S^*)$ for any $S^* \subseteq F$. The best-known LMP approximation ratio for UFL is at most $2$ by the JMS algorithm of Jain, Mahdian, and Saberi based on the Dual-Fitting technique. We present a (slightly) improved LMP approximation algorithm for UFL. This is achieved by combining the Dual-Fitting technique with Local Search, another popular technique to address clustering problems. From a conceptual viewpoint, our result gives a theoretical evidence that local search can be enhanced so as to avoid bad local optima by choosing the initial feasible solution with LP-based techniques. Using the framework of bipoint solutions, our result directly implies a (slightly) improved approximation for the $k$-Median problem from 2.6742 to 2.67059. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Comments: 55 pages

Scoped Capabilities for Polymorphic Effects

Authors: Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Brachthäuser, Ondřej Lhoták

Abstract: Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CCsubBox, a calculus where such captured variables are succinctly represented in types, and show it can be used to safely implement effects and effect polymorphism via scoped capabilities. We… ▽ More Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CCsubBox, a calculus where such captured variables are succinctly represented in types, and show it can be used to safely implement effects and effect polymorphism via scoped capabilities. We discuss how the decision to track captured variables guides key aspects of the calculus, and show that CCsubBox admits simple and intuitive types for common data structures and their typical usage patterns. We demonstrate how these ideas can be used to guide the implementation of capture checking in a practical programming language. △ Less

Submitted 22 July, 2022; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: 39 pages

Retro-RL: Reinforcing Nominal Controller With Deep Reinforcement Learning for Tilting-Rotor Drones

Authors: I Made Aswin Nahrendra, Christian Tirtawardhana, Byeongho Yu, Eungchang Mason Lee, Hyun Myung

Abstract: Studies that broaden drone applications into complex tasks require a stable control framework. Recently, deep reinforcement learning (RL) algorithms have been exploited in many studies for robot control to accomplish complex tasks. Unfortunately, deep RL algorithms might not be suitable for being deployed directly into a real-world robot platform due to the difficulty in interpreting the learned p… ▽ More Studies that broaden drone applications into complex tasks require a stable control framework. Recently, deep reinforcement learning (RL) algorithms have been exploited in many studies for robot control to accomplish complex tasks. Unfortunately, deep RL algorithms might not be suitable for being deployed directly into a real-world robot platform due to the difficulty in interpreting the learned policy and lack of stability guarantee, especially for a complex task such as a wall-climbing drone. This paper proposes a novel hybrid architecture that reinforces a nominal controller with a robust policy learned using a model-free deep RL algorithm. The proposed architecture employs an uncertainty-aware control mixer to preserve guaranteed stability of a nominal controller while using the extended robust performance of the learned policy. The policy is trained in a simulated environment with thousands of domain randomizations to achieve robust performance over diverse uncertainties. The performance of the proposed method was verified through real-world experiments and then compared with a conventional controller and the state-of-the-art learning-based controller trained with a vanilla deep RL algorithm. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Comments: 8 pages, RA-L accepted

Uniqueness of quasi-roots in right-angled Artin Groups

Authors: Eon-Kyung Lee, Sang-Jin Lee

Abstract: We introduce the notion of quasi-roots and study their uniqueness in right-angled Artin groups. We introduce the notion of quasi-roots and study their uniqueness in right-angled Artin groups. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Comments: published version in Journal of the Korean Mathematical Society

MSC Class: 20F36; 20F65

Journal ref: Journal of the Korean Mathematical Society 59 (2022) 717-731

Noise subtraction from KAGRA O3GK data using Independent Component Analysis

Authors: KAGRA collaboration, H. Abe, T. Akutsu, M. Ando, A. Araya, N. Aritomi, H. Asada, Y. Aso, S. Bae, Y. Bae, R. Bajpai, K. Cannon, Z. Cao, E. Capocasa, M. Chan, C. Chen, D. Chen, K. Chen, Y. Chen, C-Y. Chiang, Y-K. Chu, S. Eguchi, M. Eisenmann, Y. Enomoto, R. Flaminio , et al. (178 additional authors not shown)

Abstract: In April 2020, KAGRA conducted its first science observation in combination with the GEO~600 detector (O3GK) for two weeks. According to the noise budget estimation, suspension control noise in the low frequency band and acoustic noise in the middle frequency band are identified as the dominant contribution. In this study, we show that such noise can be reduced in offline data analysis by utilizin… ▽ More In April 2020, KAGRA conducted its first science observation in combination with the GEO~600 detector (O3GK) for two weeks. According to the noise budget estimation, suspension control noise in the low frequency band and acoustic noise in the middle frequency band are identified as the dominant contribution. In this study, we show that such noise can be reduced in offline data analysis by utilizing a method called Independent Component Analysis (ICA). Here the ICA model is extended from the one studied in iKAGRA data analysis by incorporating frequency dependence while linearity and stationarity of the couplings are still assumed. By using optimal witness sensors, those two dominant contributions are mitigated in the real observational data. We also analyze the stability of the transfer functions for whole two weeks data in order to investigate how the current subtraction method can be practically used in gravitational wave search. △ Less

Submitted 12 June, 2022; originally announced June 2022.

Comments: 26 pages, 10 figures

Report number: JGW-P2214018, RESCEU-5/22

TRAVEL: Traversable Ground and Above-Ground Object Segmentation Using Graph Representation of 3D LiDAR Scans

Authors: Minho Oh, Euigon Jung, Hyungtae Lim, Wonho Song, Sumin Hu, Eungchang Mason Lee, Junghee Park, Jaekyung Kim, Jangwoo Lee, Hyun Myung

Abstract: Perception of traversable regions and objects of interest from a 3D point cloud is one of the critical tasks in autonomous navigation. A ground vehicle needs to look for traversable terrains that are explorable by wheels. Then, to make safe navigation decisions, the segmentation of objects positioned on those terrains has to be followed up. However, over-segmentation and under-segmentation can neg… ▽ More Perception of traversable regions and objects of interest from a 3D point cloud is one of the critical tasks in autonomous navigation. A ground vehicle needs to look for traversable terrains that are explorable by wheels. Then, to make safe navigation decisions, the segmentation of objects positioned on those terrains has to be followed up. However, over-segmentation and under-segmentation can negatively influence such navigation decisions. To that end, we propose TRAVEL, which performs traversable ground detection and object clustering simultaneously using the graph representation of a 3D point cloud. To segment the traversable ground, a point cloud is encoded into a graph structure, tri-grid field, which treats each tri-grid as a node. Then, the traversable regions are searched and redefined by examining local convexity and concavity of edges that connect nodes. On the other hand, our above-ground object segmentation employs a graph structure by representing a group of horizontally neighboring 3D points in a spherical-projection space as a node and vertical/horizontal relationship between nodes as an edge. Fully leveraging the node-edge structure, the above-ground segmentation ensures real-time operation and mitigates over-segmentation. Through experiments using simulations, urban scenes, and our own datasets, we have demonstrated that our proposed traversable ground segmentation algorithm outperforms other state-of-the-art methods in terms of the conventional metrics and that our newly proposed evaluation metrics are meaningful for assessing the above-ground segmentation. We will make the code and our own dataset available to public at https://github.com/url-kaist/TRAVEL. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Comments: RA-L accepted

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.

Comments: 11 pages

MSC Class: 11M06; 11R42; 11M99; 11S40

Establishing Dust Rings and Forming Planets Within Them

Authors: Eve J. Lee, J. R. Fuentes, Philip F. Hopkins

Abstract: Radio images of protoplanetary disks demonstrate that dust grains tend to organize themselves into rings. These rings may be a consequence of dust trapping within gas pressure maxima wherein the local high dust-to-gas ratio is expected to trigger the formation of planetesimals and eventually planets. We revisit the behavior of dust near gas pressure perturbations enforced by a planet in two-dimens… ▽ More Radio images of protoplanetary disks demonstrate that dust grains tend to organize themselves into rings. These rings may be a consequence of dust trapping within gas pressure maxima wherein the local high dust-to-gas ratio is expected to trigger the formation of planetesimals and eventually planets. We revisit the behavior of dust near gas pressure perturbations enforced by a planet in two-dimensional, shearing box simulations. While dust grains collect into generally long-lived rings, particles with small Stokes parameter $τたう_s < 0.1$ tend to advect out of the ring within a few drift timescales. Scaled to the properties of ALMA disks, we find that rings composed of larger particles ($τたう_s \geq 0.1$) can nucleate a dust clump massive enough to trigger pebble accretion which proceeds to ingest the entire dust ring well within $\sim$1 Myr. To ensure the survival of the dust rings, we favor a non-planetary origin and typical grain size $τたう_s \lesssim 0.05$--0.1. Planet-driven rings may still be possible but if so we would expect the orbital distance of the dust rings to be larger for older systems. △ Less

Submitted 24 August, 2022; v1 submitted 2 June, 2022; originally announced June 2022.

Comments: To appear in ApJ. Paper refocused to forcing by a planet

Subconvexity of twisted Shintani zeta functions

Authors: Robert Hough, Eun Hye Lee

Abstract: Previously the authors proved subconvexity of Shintani's zeta function enumerating class numbers of binary cubic forms. Here we return to prove subconvexity of the Maass form twisted version. Previously the authors proved subconvexity of Shintani's zeta function enumerating class numbers of binary cubic forms. Here we return to prove subconvexity of the Maass form twisted version. △ Less

Submitted 2 June, 2022; originally announced June 2022.