Showing 1–50 of 344 results for author: Chung, K

XToM: Exploring the Multilingual Theory of Mind for Large Language Models

Authors: Chunkit Chan, Yauwai Yim, Hongchuan Zeng, Zhiying Zou, Xinyuan Cheng, Zhifan Sun, Zheye Deng, Kawai Chung, Yuzhuo Ao, Yixiang Fan, Cheng Jiayang, Ercong Nie, Ginny Y. Wong, Helmut Schmid, Hinrich Schütze, Simon See, Yangqiu Song

Abstract: Theory of Mind (ToM), the ability to infer mental states in others, is pivotal for human social cognition. Existing evaluations of ToM in LLMs are largely limited to English, neglecting the linguistic diversity that shapes human cognition. This limitation raises a critical question: can LLMs exhibit Multilingual Theory of Mind, which is the capacity to reason about mental states across diverse lin… ▽ More Theory of Mind (ToM), the ability to infer mental states in others, is pivotal for human social cognition. Existing evaluations of ToM in LLMs are largely limited to English, neglecting the linguistic diversity that shapes human cognition. This limitation raises a critical question: can LLMs exhibit Multilingual Theory of Mind, which is the capacity to reason about mental states across diverse linguistic contexts? To address this gap, we present XToM, a rigorously validated multilingual benchmark that evaluates ToM across five languages and incorporates diverse, contextually rich task scenarios. Using XToM, we systematically evaluate LLMs (e.g., DeepSeek R1), revealing a pronounced dissonance: while models excel in multilingual language understanding, their ToM performance varies across languages. Our findings expose limitations in LLMs' ability to replicate human-like mentalizing across linguistic contexts. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Black hole spectroscopy: from theory to experiment

Authors: Emanuele Berti, Vitor Cardoso, Gregorio Carullo, Jahed Abedi, Niayesh Afshordi, Simone Albanesi, Vishal Baibhav, Swetha Bhagwat, José Luis Blázquez-Salcedo, Béatrice Bonga, Bruno Bucciotti, Giada Caneva Santoro, Pablo A. Cano, Collin Capano, Mark Ho-Yeuk Cheung, Cecilia Chirenti, Gregory B. Cook, Adrian Ka-Wai Chung, Marina De Amicis, Kyriakos Destounis, Oscar J. C. Dias, Walter Del Pozzo, Francisco Duque, Will M. Farr, Eliot Finch , et al. (43 additional authors not shown)

Abstract: The "ringdown" radiation emitted by oscillating black holes has great scientific potential. By carefully predicting the frequencies and amplitudes of black hole quasinormal modes and comparing them with gravitational-wave data from compact binary mergers we can advance our understanding of the two-body problem in general relativity, verify the predictions of the theory in the regime of strong and… ▽ More The "ringdown" radiation emitted by oscillating black holes has great scientific potential. By carefully predicting the frequencies and amplitudes of black hole quasinormal modes and comparing them with gravitational-wave data from compact binary mergers we can advance our understanding of the two-body problem in general relativity, verify the predictions of the theory in the regime of strong and dynamical gravitational fields, and search for physics beyond the Standard Model or new gravitational degrees of freedom. We summarize the state of the art in our understanding of black hole quasinormal modes in general relativity and modified gravity, their excitation, and the modeling of ringdown waveforms. We also review the status of LIGO-Virgo-KAGRA ringdown observations, data analysis techniques, and the bright prospects of the field in the era of LISA and next-generation ground-based gravitational-wave detectors. △ Less

Submitted 29 May, 2025; originally announced May 2025.

Comments: 316 pages, 80 figures

An AI-driven framework for the prediction of personalised health response to air pollution

Authors: Nazanin Zounemat Kermani, Sadjad Naderi, Claire H. Dilliway, Claire E. Heaney, Shrreya Behll, Boyang Chen, Hisham Abubakar-Waziri, Alexandra E. Porter, Marc Chadeau-Hyam, Fangxin Fang, Ian M. Adcock, Kian Fan Chung, Christopher C. Pain

Abstract: Air pollution poses a significant threat to public health, causing or exacerbating many respiratory and cardiovascular diseases. In addition, climate change is bringing about more extreme weather events such as wildfires and heatwaves, which can increase levels of pollution and worsen the effects of pollution exposure. Recent advances in personal sensing have transformed the collection of behaviou… ▽ More Air pollution poses a significant threat to public health, causing or exacerbating many respiratory and cardiovascular diseases. In addition, climate change is bringing about more extreme weather events such as wildfires and heatwaves, which can increase levels of pollution and worsen the effects of pollution exposure. Recent advances in personal sensing have transformed the collection of behavioural and physiological data, leading to the potential for new improvements in healthcare. We wish to capitalise on this data, alongside new capabilities in AI for making time series predictions, in order to monitor and predict health outcomes for an individual. Thus, we present a novel workflow for predicting personalised health responses to pollution by integrating physiological data from wearable fitness devices with real-time environmental exposures. The data is collected from various sources in a secure and ethical manner, and is used to train an AI model to predict individual health responses to pollution exposure within a cloud-based, modular framework. We demonstrate that the AI model -- an Adversarial Autoencoder neural network in this case -- accurately reconstructs time-dependent health signals and captures nonlinear responses to pollution. Transfer learning is applied using data from a personal smartwatch, which increases the generalisation abilities of the AI model and illustrates the adaptability of the approach to real-world, user-generated data. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: Kermani and Naderi share first authorship. 20 pages, 6 figures and 1 table

Quartic curves in the quintic del Pezzo threefold

Authors: Kiryong Chung, Jaehyun Kim, Jeong-Seop Kim

Abstract: In this paper, we prove that the Hilbert scheme $\mathbf{H}_4(X_5)$ of rational quartic curves on the quintic del Pezzo threefold $X_5$ is isomorphic to a Grassmannian bundle over the Hilbert scheme of lines on $X_5$. In particular, $\mathbf{H}_4(X_5)$ is smooth and irreducible. Our approach builds upon the geometry of rational quartic curves on $X_5$ studied by Fanelli-Gruson-Perrin in their work… ▽ More In this paper, we prove that the Hilbert scheme $\mathbf{H}_4(X_5)$ of rational quartic curves on the quintic del Pezzo threefold $X_5$ is isomorphic to a Grassmannian bundle over the Hilbert scheme of lines on $X_5$. In particular, $\mathbf{H}_4(X_5)$ is smooth and irreducible. Our approach builds upon the geometry of rational quartic curves on $X_5$ studied by Fanelli-Gruson-Perrin in their work on the moduli space of stable maps to $X_5$. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Rapid Vapor-Assisted Solution Process of Metal-Organic Chalcogenides for High-Performance Light-Emitting Diodes

Authors: Sang-Hyun Chin, Daseul Lee, Donggyu Lee, Kwanghyun Chung, Eunjong Yoo, Tong-Il Kim, Su Hwan Lee, Sang Woo Bae, Young-Hoon Kim, Yeonjin Yi

Abstract: Metal-organic chalcogenides (MOCs), robust crystalline assemblies composed of coinage metals, chalcogens and organic ligands, are typically synthesized via prolonged, high temperature tarnishing of vacuum-deposited metal films with organochalcogen precursors. The prolonged exposure to high temperatures and the necessity for direct vacuum deposition of silver can induce damage to the underlying fil… ▽ More Metal-organic chalcogenides (MOCs), robust crystalline assemblies composed of coinage metals, chalcogens and organic ligands, are typically synthesized via prolonged, high temperature tarnishing of vacuum-deposited metal films with organochalcogen precursors. The prolonged exposure to high temperatures and the necessity for direct vacuum deposition of silver can induce damage to the underlying films, posing significant challenges to the fabrication of optoelectronic devices, despite their cost-effectiveness and chemical robustness. This study introduces vapor-assisted solution processing, a novel chemical vapor deposition method, enabling remarkably rapid fabrication of luminescent MOC films. Furthermore, the first MOC-based light-emitting diodes (MOCLEDs) are realized, achieving an external quantum efficiency (EQE) approaching 0.1% and electroluminescence peaking at 633 nm. These results highlight the potential of MOCs as next-generation emitters for displays and solid-state lighting. This work offers a promising fabrication strategy and insights for advancing MOCLEDs and expanding their optoelectronic potential. △ Less

Submitted 25 March, 2025; originally announced March 2025.

Comments: 23 pages with 3 figures and Supporting info

From Density to Void: Why Brain Networks Fail to Reveal Complex Higher-Order Structures

Authors: Moo K. Chung, Anass B. El-Yaagoubi, Anqi Qiu, Hernando Ombao

Abstract: In brain network analysis using resting-state fMRI, there is growing interest in modeling higher-order interactions beyond simple pairwise connectivity via persistent homology. Despite the promise of these advanced topological tools, robust and consistently observed higher-order interactions over time remain elusive. In this study, we investigate why conventional analyses often fail to reveal comp… ▽ More In brain network analysis using resting-state fMRI, there is growing interest in modeling higher-order interactions beyond simple pairwise connectivity via persistent homology. Despite the promise of these advanced topological tools, robust and consistently observed higher-order interactions over time remain elusive. In this study, we investigate why conventional analyses often fail to reveal complex higher-order structures - such as interactions involving four or more nodes - and explore whether such interactions truly exist in functional brain networks. We utilize a simplicial complex framework often used in persistent homology to address this question. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Quasinormal mode frequencies and gravitational perturbations of spinning black holes in modified gravity through METRICS: The dynamical Chern-Simons gravity case

Authors: Adrian Ka-Wai Chung, Kelvin Ka-Ho Lam, Nicolas Yunes

Abstract: We present the first precise calculations of the gravitational quasinormal-mode (QNM) frequencies for spinning black holes with dimensionless angular momenta $J/M^2 := a \lesssim 0.75$ in dynamical Chern-Simons gravity. Using the \textit{Metric pErTuRbations wIth speCtral methodS} (METRICS) framework, we compute the QNM frequencies of both axial and polar metric perturbations, focusing on the… ▽ More We present the first precise calculations of the gravitational quasinormal-mode (QNM) frequencies for spinning black holes with dimensionless angular momenta $J/M^2 := a \lesssim 0.75$ in dynamical Chern-Simons gravity. Using the \textit{Metric pErTuRbations wIth speCtral methodS} (METRICS) framework, we compute the QNM frequencies of both axial and polar metric perturbations, focusing on the $nl m = 022$, $033$, and $032$ modes. The METRICS frequencies for the 022 mode achieve numerical uncertainties $\lesssim 10^{-4}$ when $0 \leq a \leq 0.5$ and $\lesssim 10^{-3}$ for $0.5 \leq a \leq 0.75$, without decoupling or simplifying the linearized field equations. We also derive optimal fitting polynomials to enable efficient and accurate evaluations of the leading-order frequency shifts in these modes. The METRICS frequencies and fitting expressions are a robust and indispensable step toward enabling gravitational-wave ringdown tests of dynamical Chern-Simons gravity. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Comments: 17 pages of main text, 11 figures, 7 tables

The Stochastic Siren: Astrophysical Gravitational-Wave Background Measurements of the Hubble Constant

Authors: Bryce Cousins, Kristen Schumacher, Adrian Ka-Wai Chung, Colm Talbot, Thomas Callister, Daniel E. Holz, Nicolás Yunes

Abstract: Gravitational waves from individually resolved compact object mergers can be used as standard sirens, offering a novel self-calibrating precision probe of cosmology. While the standard siren method has been well-explored, the gravitational-wave background arising from unresolved mergers offers a novel alternative to probing cosmology. We demonstrate that the combination of resolved binary black ho… ▽ More Gravitational waves from individually resolved compact object mergers can be used as standard sirens, offering a novel self-calibrating precision probe of cosmology. While the standard siren method has been well-explored, the gravitational-wave background arising from unresolved mergers offers a novel alternative to probing cosmology. We demonstrate that the combination of resolved binary black hole mergers with the unresolved signals composing the stochastic gravitational-wave background can be used to measure cosmological parameters, including the Hubble constant, $H_0$. We apply this ``stochastic siren'' method to existing gravitational-wave data and find that including the current non-detection of the background increases the accuracy at which $H_0$ can be measured, relative to using resolved mergers alone. We also provide projections for upcoming detectors to highlight their ability to probe cosmology with the background. With the anticipated detection of the astrophysical gravitational-wave background, the stochastic siren approach can be expected to improve future standard siren cosmological measurements. △ Less

Submitted 3 March, 2025; originally announced March 2025.

Rapid low-temperature synthesis of graphene-coated SiC substrates for remote and van der Waals epitaxy

Authors: Se H. Kim, Hanjoo Lee, Dong Gwan Kim, Donghan Kim, Seugki Kim, Hyunho Yang, Yunsu Jang, Jangho Yoon, Hyunsoo Kim, Seoyong Ha, ByoungTak Lee, Jung-Hee Lee, Roy Byung Kyu Chung, Hongsik Park, Sungkyu Kim, Tae Hoon Lee, Hyun S. Kum

Abstract: Non-conventional epitaxial techniques, such as van der Waals epitaxy (vdWE) and remote epitaxy, have attracted substantial attention in the semiconductor research community for their capability to repeatedly produce high-quality free-standing films from a single mother wafer. Successful implementation of these epitaxial techniques depends on creating a robust, uniform two-dimensional (2D) material… ▽ More Non-conventional epitaxial techniques, such as van der Waals epitaxy (vdWE) and remote epitaxy, have attracted substantial attention in the semiconductor research community for their capability to repeatedly produce high-quality free-standing films from a single mother wafer. Successful implementation of these epitaxial techniques depends on creating a robust, uniform two-dimensional (2D) material surface. The conventional method for fabricating graphene on silicon carbide (SiC) is high-temperature graphitization. However, the extremely high temperature required for silicon sublimation (typically above 1500 °C) causes step-bunching of the SiC surface, forming non-uniform multilayer graphene stripes and an unfavorable surface morphology for epitaxial growth. Here, we developed a wafer-scale graphitization technique that allows fast synthesis of single-crystalline graphene at ultra-low temperatures by metal-assisted graphitization (MAG). We found annealing conditions that enable SiC dissociation while avoiding silicide formation, producing uniform single-crystalline graphene while maintaining the surface morphology of the substrate. The graphene thickness can be controlled by varying the metal thickness or annealing temperature, enabling remote epitaxy or vdWE. We successfully produced freestanding single-crystalline III-N (AlN, GaN) films on graphene/SiC via the 2D material-based layer transfer technique. Our results show that low-temperature graphene synthesis via MAG offers a promising route to producing large-scale ultra-wide bandgap free-standing crystalline membranes. △ Less

Submitted 20 May, 2025; v1 submitted 24 February, 2025; originally announced February 2025.

Topological Time Frequency Analysis of Functional Brain Signals

Authors: Moo K. Chung, Aaron F. Struck

Abstract: We present a novel topological framework for analyzing functional brain signals using time-frequency analysis. By integrating persistent homology with time-frequency representations, we capture multi-scale topological features that characterize the dynamic behavior of brain activity. This approach identifies 0D (connected components) and 1D (loops) topological structures in the signal's time-frequ… ▽ More We present a novel topological framework for analyzing functional brain signals using time-frequency analysis. By integrating persistent homology with time-frequency representations, we capture multi-scale topological features that characterize the dynamic behavior of brain activity. This approach identifies 0D (connected components) and 1D (loops) topological structures in the signal's time-frequency domain, enabling robust extraction of features invariant to noise and temporal misalignments. The proposed method is demonstrated on resting-state functional magnetic resonance imaging (fMRI) data, showcasing its ability to discern critical topological patterns and provide insights into functional connectivity. This topological approach opens new avenues for analyzing complex brain signals, offering potential applications in neuroscience and clinical diagnostics. △ Less

Submitted 21 April, 2025; v1 submitted 9 February, 2025; originally announced February 2025.

Comments: Accepted for publication in IEEE EMBC 2025 conference. It will be indexed by IEEE later

Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis

Authors: Long Kiu Chung, Shreyas Kousik

Abstract: Even though neural networks are being increasingly deployed in safety-critical control applications, it remains difficult to enforce constraints on their output, meaning that it is hard to guarantee safety in such settings. While many existing methods seek to verify a neural network's satisfaction of safety constraints, few address how to correct an unsafe network. The handful of works that extrac… ▽ More Even though neural networks are being increasingly deployed in safety-critical control applications, it remains difficult to enforce constraints on their output, meaning that it is hard to guarantee safety in such settings. While many existing methods seek to verify a neural network's satisfaction of safety constraints, few address how to correct an unsafe network. The handful of works that extract a training signal from verification cannot handle non-convex sets, and are either conservative or slow. To begin addressing these challenges, this work proposes a neural network training method that can encourage the exact image of a non-convex input set for a neural network with rectified linear unit (ReLU) nonlinearities to avoid a non-convex unsafe region. This is accomplished by reachability analysis with scaled hybrid zonotopes, a modification of the existing hybrid zonotope set representation that enables parameterized scaling of non-convex polytopic sets with a differentiable collision check via mixed-integer linear programs (MILPs). The proposed method was shown to be effective and fast for networks with up to 240 neurons, with the computational complexity dominated by inverse operations on matrices that scale linearly in size with the number of neurons and complexity of input and unsafe sets. We demonstrate the practicality of our method by training a forward-invariant neural network controller for a non-convex input set to an affine system, as well as generating safe reach-avoid plans for a black-box dynamical system. △ Less

Submitted 31 March, 2025; v1 submitted 22 January, 2025; originally announced January 2025.

Comments: 8 pages, 3 figures

Rational quartic curves in the Mukai-Umemura variety

Authors: Kiryong Chung, Jaehyun Kim, Jeong-Seop Kim

Abstract: Let $X$ be the Fano threefold of index one, degree $22$, and $\mathrm{Pic}(X)\cong\mathbb{Z}$. Such a threefold $X$ can be realized by a regular zero section $\mathbf{s}$ of $(\bigwedge^2\mathcal{F}^{*})^{\oplus 3}$ over Grassmannian variety $\mathrm{Gr}(3,V)$, $\dim V=7$ with the universal subbundle $\mathcal{F}$. When the section $\mathbf{s}$ is given by the net of the $\mathrm{SL}_2$-invariant… ▽ More Let $X$ be the Fano threefold of index one, degree $22$, and $\mathrm{Pic}(X)\cong\mathbb{Z}$. Such a threefold $X$ can be realized by a regular zero section $\mathbf{s}$ of $(\bigwedge^2\mathcal{F}^{*})^{\oplus 3}$ over Grassmannian variety $\mathrm{Gr}(3,V)$, $\dim V=7$ with the universal subbundle $\mathcal{F}$. When the section $\mathbf{s}$ is given by the net of the $\mathrm{SL}_2$-invariant skew forms, we call it by the Mukai-Umemura (MU) variety. In this paper, we prove that the Hilbert scheme of rational quartic curves in the MU-variety is smooth and compute its Poincaré polynomial by applying the Białynicki-Birula's theorem. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: 23 pages, 2 figures

Colossal optical anisotropy in wide-bandgap semiconductor CuAlO2

Authors: Baekjune Kang, Junhee Shin, Myeongjun Kang, Uksam Choi, Uihyeon Seo, Kunook Chung, Jong Mok Ok, Hosub Jin, Changhee Sohn

Abstract: Colossal optical anisotropy in the entire visible spectrum is crucial for advanced photonic applications, enabling precise light manipulation without optical loss across a broad spectral range. Here, we demonstrate that CuAlO2 exhibits colossal optical anisotropy and transparency across the visible spectrum, enabled by its unique three-dimensional O-Cu-O dumbbell structure and two-dimensionally co… ▽ More Colossal optical anisotropy in the entire visible spectrum is crucial for advanced photonic applications, enabling precise light manipulation without optical loss across a broad spectral range. Here, we demonstrate that CuAlO2 exhibits colossal optical anisotropy and transparency across the visible spectrum, enabled by its unique three-dimensional O-Cu-O dumbbell structure and two-dimensionally confined excitons. Using mm-sized single crystals, we independently measured ab-plane and c-axis optical properties, revealing maximum birefringence (= 3.67) and linear dichroism (= 5.21), the highest reported to date. CuAlO2 retains birefringence over 0.5 throughout the entire visible range and possesses a wide direct bandgap of 3.71 eV, surpassing the birefringence of commercial anisotropic crystals transparent in the visible spectrum. From the two-dimensional screened hydrogen model and first-principles calculations, we demonstrate that the colossal anisotropy arises from a unique excitonic Cu d-p transition confined to the atomic-thick layer. This colossal optical anisotropy and transparency across the entire visible spectrum makes CuAlO2 a promising candidate for future photonic technologies. △ Less

Submitted 17 December, 2024; originally announced December 2024.

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs

Authors: Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai

Abstract: We present a verifier of quantum programs called AutoQ 2.0. Quantum programs extend quantum circuits (the domain of AutoQ 1.0) by classical control flow constructs, which enable users to describe advanced quantum algorithms in a formal and precise manner. The extension is highly non-trivial, as we needed to tackle both theoretical challenges (such as the treatment of measurement, the normalization… ▽ More We present a verifier of quantum programs called AutoQ 2.0. Quantum programs extend quantum circuits (the domain of AutoQ 1.0) by classical control flow constructs, which enable users to describe advanced quantum algorithms in a formal and precise manner. The extension is highly non-trivial, as we needed to tackle both theoretical challenges (such as the treatment of measurement, the normalization problem, and lifting techniques for verification of classical programs with loops to the quantum world), and engineering issues (such as extending the input format with a~support for specifying loop invariants). We have successfully used AutoQ 2.0 to verify two types of advanced quantum programs that cannot be expressed using only quantum circuits: the \emph{repeat-until-success} (RUS) algorithm and the weak-measurement-based version of Grover's search algorithm. AutoQ 2.0 can efficiently verify all our benchmarks: all RUS algorithms were verified instantly and, for the weak-measurement-based version of Grover's search, we were able to handle the case of 100 qubits in $\sim$20 minutes. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: regular tool paper submitted to TACAS 2025

Complexity Theory for Quantum Promise Problems

Authors: Nai-Hui Chia, Kai-Min Chung, Tzu-Hsiang Huang, Jhih-Wei Shih

Abstract: We begin by establishing structural results for several fundamental quantum complexity classes: p/mBQP, p/mQ(C)MA, $\text{p/mQSZK}_{\text{hv}}$, p/mQIP, p/mBQP/qpoly, p/mBQP/poly, and p/mPSPACE. This includes identifying complete problems, as well as proving containment and separation results among these classes. Here, p/mC denotes the corresponding quantum promise complexity class with pure (p) o… ▽ More We begin by establishing structural results for several fundamental quantum complexity classes: p/mBQP, p/mQ(C)MA, $\text{p/mQSZK}_{\text{hv}}$, p/mQIP, p/mBQP/qpoly, p/mBQP/poly, and p/mPSPACE. This includes identifying complete problems, as well as proving containment and separation results among these classes. Here, p/mC denotes the corresponding quantum promise complexity class with pure (p) or mixed (m) quantum input states for any classical complexity class C. Surprisingly, our findings uncover relationships that diverge from their classical analogues -- specifically, we show unconditionally that p/mQIP$\neq$p/mPSPACE and p/mBQP/qpoly$\neq$p/mBQP/poly. This starkly contrasts the classical setting, where QIP$=$PSPACE and separations such as BQP/qpoly$\neq$BQP/poly are only known relative to oracles. For applications, we address interesting questions in quantum cryptography, quantum property testing, and unitary synthesis using this new framework. In particular, we show the first unconditional secure auxiliary-input quantum commitment with statistical hiding, solving an open question in [Qia24,MNY24], and demonstrate the first pure quantum state property testing problem that only needs exponentially fewer samples and runtime in the interactive model than the single-party model, which is analogous to Chiesa and Gur [CG18] studying interactive mode for distribution testing. Also, our works offer new insights into Impagliazzo's five worlds view. Roughly, by substituting classical complexity classes in Pessiland, Heuristica, and Algorithmica with mBQP and mQCMA or $\text{mQSZK}_\text{hv}$, we establish a natural connection between quantum cryptography and quantum promise complexity theory. △ Less

Submitted 6 April, 2025; v1 submitted 6 November, 2024; originally announced November 2024.

Comments: (v2)Add the new separation results of pBQP/poly and pBQP/qpoly, and the unconditionally secure auxiliary-input quantum commitment with statistical hiding and computational binding (v1)79 pages, 3 figures

Mapping the Phase Diagram of a Frustrated Magnet: Degeneracies, Flat Bands, and Canting Cycles on the Pyrochlore Lattice

Authors: Kristian Tyn Kai Chung

Abstract: We map the complete classical phase diagram of the spin Hamiltonian describing pyrochlore rare-earth magnets with all symmetry-allowed nearest-neighbor bond-dependent anisotropic two-spin interactions. We provide a simple derivation of the organization of spins into tensor degrees of freedom describing the multipole moments of a tetrahedron, whose components correspond to irreducible representatio… ▽ More We map the complete classical phase diagram of the spin Hamiltonian describing pyrochlore rare-earth magnets with all symmetry-allowed nearest-neighbor bond-dependent anisotropic two-spin interactions. We provide a simple derivation of the organization of spins into tensor degrees of freedom describing the multipole moments of a tetrahedron, whose components correspond to irreducible representations (irreps) of the tetrahedral symmetry group $T_d$. By parameterizing the Hamiltonian directly in terms of the energies of the individual irreps, we perform an exhaustive search of all possible irrep degeneracies which may host stable classical spin liquids. Doing so reveals four one-parameter families of models along which three phases are degenerate, all four of which merge at the Heisenberg antiferromagnet and its dual, and we give a complete three-dimensional picture of the phase diagram showing all of the phases and their intersections. The appearance of two copies of a single irrep implies an extra degenerate locus which pierces the phase boundaries at special points, yielding two additional isolated triple points. We demonstrate that one-parameter families of Hamiltonians are characterized by a topological invariant describing how the ground state spin configuration winds when adiabatically transported around this degenerate locus, analogous to a "diabolical locus". We provide a comprehensive catalog of all flat band degeneracies in the phase diagram and discuss the mechanisms that may allow for or impede the realization of a variety of classical spin liquids described by tensor gauge fields exhibiting pinch line singularities and concomitant four-fold pinch points. Lastly, we provide a list of all cases where three irreps are degenerate above the ground state, which may lead to interesting features in the spin wave spectrum within each ordered phase. △ Less

Submitted 5 November, 2024; originally announced November 2024.

Comments: 37 pages, 14 figures, 6 tables

Bayesian Search of Massive Scalar Fields from LIGO-Virgo-KAGRA Binaries

Authors: Yiqi Xie, Adrian Ka-Wai Chung, Thomas P. Sotiriou, Nicolás Yunes

Abstract: Massive scalar fields are promising candidates to address many unresolved problems in fundamental physics. We report the first model-agnostic Bayesian search of massive scalar fields in LIGO/Virgo/KAGRA gravitational-wave data. We find no evidence for such fields and place the most stringent upper limits on their coupling for scalar masses $\lesssim 2\times10^{-12}\,{\rm eV}$. We exemplify the str… ▽ More Massive scalar fields are promising candidates to address many unresolved problems in fundamental physics. We report the first model-agnostic Bayesian search of massive scalar fields in LIGO/Virgo/KAGRA gravitational-wave data. We find no evidence for such fields and place the most stringent upper limits on their coupling for scalar masses $\lesssim 2\times10^{-12}\,{\rm eV}$. We exemplify the strength of these bounds by applying them to massive scalar-Gauss-Bonnet gravity, finding the tightest constraints on the coupling constant to date, $\sqrt{α_{\rm GB}}\lesssim 1\,{\rm km}$ for scalar masses $\lesssim 10^{-13}\,{\rm eV}$ to 90% confidence. △ Less

Submitted 20 May, 2025; v1 submitted 18 October, 2024; originally announced October 2024.

Comments: 9+11 pages, 8 figures, text and references updated with correction to a mistake in the previous analysis, v2 matches the version published in PRL

Journal ref: Phys. Rev. Lett. 134, 191402 (2025)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability

Authors: Long Kiu Chung, Wonsuhk Jung, Srivatsank Pullabhotla, Parth Shinde, Yadu Sunil, Saihari Kota, Luis Felipe Wolf Batista, Cédric Pradalier, Shreyas Kousik

Abstract: In the classical reach-avoid problem, autonomous mobile robots are tasked to reach a goal while avoiding obstacles. However, it is difficult to provide guarantees on the robot's performance when the obstacles form a narrow gap and the robot is a black-box (i.e. the dynamics are not known analytically, but interacting with the system is cheap). To address this challenge, this paper presents NeuralP… ▽ More In the classical reach-avoid problem, autonomous mobile robots are tasked to reach a goal while avoiding obstacles. However, it is difficult to provide guarantees on the robot's performance when the obstacles form a narrow gap and the robot is a black-box (i.e. the dynamics are not known analytically, but interacting with the system is cheap). To address this challenge, this paper presents NeuralPARC. The method extends the authors' prior Piecewise Affine Reach-avoid Computation (PARC) method to systems modeled by rectified linear unit (ReLU) neural networks, which are trained to represent parameterized trajectory data demonstrated by the robot. NeuralPARC computes the reachable set of the network while accounting for modeling error, and returns a set of states and parameters with which the black-box system is guaranteed to reach the goal and avoid obstacles. NeuralPARC is shown to outperform PARC, generating provably-safe extreme vehicle drift parking maneuvers in simulations and in real life on a model car, as well as enabling safety on an autonomous surface vehicle (ASV) subjected to large disturbances and controlled by a deep reinforcement learning (RL) policy. △ Less

Submitted 3 March, 2025; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: This work has been submitted for possible publication

The Black-Box Simulation Barrier Persists in a Fully Quantum World

Authors: Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Jiahui Liu

Abstract: Zero-Knowledge (ZK) protocols have been intensely studied due to their fundamental importance and versatility. However, quantum information's inherent differences significantly alter the landscape, necessitating a re-examination of ZK designs. A crucial aspect is round complexity, linked to $\textit{simulation}$, which forms the foundation of ZK definition and security proofs. In the… ▽ More Zero-Knowledge (ZK) protocols have been intensely studied due to their fundamental importance and versatility. However, quantum information's inherent differences significantly alter the landscape, necessitating a re-examination of ZK designs. A crucial aspect is round complexity, linked to $\textit{simulation}$, which forms the foundation of ZK definition and security proofs. In the $\textit{post-quantum}$ setting, where honest parties and channels are classical but adversaries quantum, Chia et al. [FOCS'21] showed constant-round $\textit{black-box-simulatable}$ ZK arguments (BBZK) for $\mathbf{NP}$ are impossible unless $\mathbf{NP} \subseteq \mathbf{BQP}$. But this problem remains open when all parties and communication are quantum. Indeed, this problem interests the broader theory of quantum computing. Investigating how quantum power alters tasks like the $\textit{unconditional}$ security of QKD and incorporating OT in MiniQCrypt has been crucial. Moreover, quantum communication has enabled round compression for commitments and interactive arguments. Along this line, understanding if quantum computing could fundamentally change ZK protocols is vital. We resolved this problem by proving that only languages in $\mathbf{BQP}$ admit constant-round $\textit{fully-quantum}$ BBZK. This result holds significant implications. Firstly, it illuminates the nature of quantum zero-knowledge and provides valuable insights for designing future protocols in the quantum realm. Secondly, it relates ZK round complexity with the intriguing problem of $\mathbf{BQP}$ vs $\mathbf{QMA}$, which is out of the reach of previous analogue impossibility results in the classical or post-quantum setting. Lastly, it justifies the need for the $\textit{non-black-box}$ simulation techniques or the relaxed security notions employed in existing constant-round fully-quantum BBZK protocols. △ Less

Submitted 4 April, 2025; v1 submitted 10 September, 2024; originally announced September 2024.

Topological Analysis of Seizure-Induced Changes in Brain Hierarchy Through Effective Connectivity

Authors: Anass B. El-Yaagoubi, Moo K. Chung, Hernando Ombao

Abstract: Traditional Topological Data Analysis (TDA) methods, such as Persistent Homology (PH), rely on distance measures (e.g., cross-correlation, partial correlation, coherence, and partial coherence) that are symmetric by definition. While useful for studying topological patterns in functional brain connectivity, the main limitation of these methods is their inability to capture the directional dynamics… ▽ More Traditional Topological Data Analysis (TDA) methods, such as Persistent Homology (PH), rely on distance measures (e.g., cross-correlation, partial correlation, coherence, and partial coherence) that are symmetric by definition. While useful for studying topological patterns in functional brain connectivity, the main limitation of these methods is their inability to capture the directional dynamics - which is crucial for understanding effective brain connectivity. We propose the Causality-Based Topological Ranking (CBTR) method, which integrates Causal Inference (CI) to assess effective brain connectivity with Hodge Decomposition (HD) to rank brain regions based on their mutual influence. Our simulations confirm that the CBTR method accurately and consistently identifies hierarchical structures in multivariate time series data. Moreover, this method effectively identifies brain regions showing the most significant interaction changes with other regions during seizures using electroencephalogram (EEG) data. These results provide novel insights into the brain's hierarchical organization and illuminate the impact of seizures on its dynamics. △ Less

Submitted 18 July, 2024; originally announced July 2024.

Swift-BAT GUANO follow-up of gravitational-wave triggers in the third LIGO-Virgo-KAGRA observing run

Authors: Gayathri Raman, Samuele Ronchini, James Delaunay, Aaron Tohuvavohu, Jamie A. Kennea, Tyler Parsotan, Elena Ambrosi, Maria Grazia Bernardini, Sergio Campana, Giancarlo Cusumano, Antonino D'Ai, Paolo D'Avanzo, Valerio D'Elia, Massimiliano De Pasquale, Simone Dichiara, Phil Evans, Dieter Hartmann, Paul Kuin, Andrea Melandri, Paul O'Brien, Julian P. Osborne, Kim Page, David M. Palmer, Boris Sbarufatti, Gianpiero Tagliaferri , et al. (1797 additional authors not shown)

Abstract: We present results from a search for X-ray/gamma-ray counterparts of gravitational-wave (GW) candidates from the third observing run (O3) of the LIGO-Virgo-KAGRA (LVK) network using the Swift Burst Alert Telescope (Swift-BAT). The search includes 636 GW candidates received in low latency, 86 of which have been confirmed by the offline analysis and included in the third cumulative Gravitational-Wav… ▽ More We present results from a search for X-ray/gamma-ray counterparts of gravitational-wave (GW) candidates from the third observing run (O3) of the LIGO-Virgo-KAGRA (LVK) network using the Swift Burst Alert Telescope (Swift-BAT). The search includes 636 GW candidates received in low latency, 86 of which have been confirmed by the offline analysis and included in the third cumulative Gravitational-Wave Transient Catalogs (GWTC-3). Targeted searches were carried out on the entire GW sample using the maximum--likelihood NITRATES pipeline on the BAT data made available via the GUANO infrastructure. We do not detect any significant electromagnetic emission that is temporally and spatially coincident with any of the GW candidates. We report flux upper limits in the 15-350 keV band as a function of sky position for all the catalog candidates. For GW candidates where the Swift-BAT false alarm rate is less than 10$^{-3}$ Hz, we compute the GW--BAT joint false alarm rate. Finally, the derived Swift-BAT upper limits are used to infer constraints on the putative electromagnetic emission associated with binary black hole mergers. △ Less

Submitted 27 March, 2025; v1 submitted 13 July, 2024; originally announced July 2024.

Comments: Update to version accepted for publication in ApJ. 50 pages, 10 figures, 4 tables

Journal ref: ApJ, Volume 980, 2025, 207

Cactus: Towards Psychological Counseling Conversations using Cognitive Behavioral Theory

Authors: Suyeon Lee, Sunghwan Kim, Minju Kim, Dongjin Kang, Dongil Yang, Harim Kim, Minseok Kang, Dayi Jung, Min Hee Kim, Seungbeen Lee, Kyoung-Mee Chung, Youngjae Yu, Dongha Lee, Jinyoung Yeo

Abstract: Recently, the demand for psychological counseling has significantly increased as more individuals express concerns about their mental health. This surge has accelerated efforts to improve the accessibility of counseling by using large language models (LLMs) as counselors. To ensure client privacy, training open-source LLMs faces a key challenge: the absence of realistic counseling datasets. To add… ▽ More Recently, the demand for psychological counseling has significantly increased as more individuals express concerns about their mental health. This surge has accelerated efforts to improve the accessibility of counseling by using large language models (LLMs) as counselors. To ensure client privacy, training open-source LLMs faces a key challenge: the absence of realistic counseling datasets. To address this, we introduce Cactus, a multi-turn dialogue dataset that emulates real-life interactions using the goal-oriented and structured approach of Cognitive Behavioral Therapy (CBT). We create a diverse and realistic dataset by designing clients with varied, specific personas, and having counselors systematically apply CBT techniques in their interactions. To assess the quality of our data, we benchmark against established psychological criteria used to evaluate real counseling sessions, ensuring alignment with expert evaluations. Experimental results demonstrate that Camel, a model trained with Cactus, outperforms other models in counseling skills, highlighting its effectiveness and potential as a counseling agent. We make our data, model, and code publicly available. △ Less

Submitted 6 October, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: Published at EMNLP 2024 Findings

Quasi-normal mode frequencies and gravitational perturbations of black holes with any subextremal spin in modified gravity through METRICS: the scalar-Gauss-Bonnet gravity case

Authors: Adrian Ka-Wai Chung, Nicolas Yunes

Abstract: The gravitational waves emitted in the ringdown phase of binary black-hole coalescence are a unique probe of strong gravity. Understanding how deviations from general relativity affect the ringdown phase of black holes, however, is extremely challenging, as it requires solving highly-coupled and sometimes higher-order partial differential equations. We here extend a novel approach, \textit{Metric… ▽ More The gravitational waves emitted in the ringdown phase of binary black-hole coalescence are a unique probe of strong gravity. Understanding how deviations from general relativity affect the ringdown phase of black holes, however, is extremely challenging, as it requires solving highly-coupled and sometimes higher-order partial differential equations. We here extend a novel approach, \textit{Metric pErTuRbations wIth speCtral methodS} (METRICS), to study the metric perturbations and the quasinormal mode frequencies of ringing black holes in modified gravity. We first derive the asymptotic behavior of metric perturbations at the event horizon and spatial infinity for rotating black holes beyond general relativity. We then extend the eigenvalue-perturbation theory approach of METRICS to allow us to compute the leading-order modified gravity corrections to the quasinormal-mode frequencies and metric perturbations. We apply METRICS to rotating black holes in scalar-Gauss-Bonnet gravity. Without decoupling or simplifying the linearized field equations in this theory, we compute the leading-order corrections to the quasinormal frequencies of the axial and polar perturbations of the $nlm = 022$, 021 and 033 modes of black holes of $a \leq 0.85$. The numerical accuracy of the METRICS frequencies is $\leq 10^{-5}$ for $a \leq 0.6$, $\lesssim 10^{-4}$ for $0.6 < a \leq 0.7 $, and $\lesssim 10^{-2}$ for $0.7 < a \leq 0.85 $ for all modes studied. We fit the frequencies as a polynomial in spin, whose coefficients (up to second order in spin) are consistent with those obtained in previous slow-rotating approximations. These results are the first accurate computations of the gravitational quasinormal-mode frequencies of rapidly rotating black holes (of $a \sim 0.85$) in scalar-Gauss-Bonnet gravity. △ Less

Submitted 7 September, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: Matched the published version; abstract trimmed, please refer to the PDF for the full abstract; 24 pages, 8 figures, 6 tables

Ringing out General Relativity: Quasi-normal mode frequencies for black holes of any spin in modified gravity

Authors: Adrian Ka-Wai Chung, Nicolas Yunes

Abstract: After black holes collide, the remnant settles to a stationary state by emitting gravitational waves. Once non-linearities subside, these ringdown waves are dominated by exponentially-damped sinusoids, or quasinormal modes. We develop a general method using perturbative spectral expansions to calculate the quasinormal-mode frequencies and damping times in a wide class of modified gravity theories… ▽ More After black holes collide, the remnant settles to a stationary state by emitting gravitational waves. Once non-linearities subside, these ringdown waves are dominated by exponentially-damped sinusoids, or quasinormal modes. We develop a general method using perturbative spectral expansions to calculate the quasinormal-mode frequencies and damping times in a wide class of modified gravity theories for black holes with any subextremal spin. We apply this method to scalar-Gauss-Bonnet gravity to show its accuracy, thus enabling robust ringdown tests with gravitational wave data. △ Less

Submitted 1 November, 2024; v1 submitted 20 May, 2024; originally announced May 2024.

Comments: 5 pages, 2 figures; matched the version published by Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 133, 181401 (2024)

Topological Embedding of Human Brain Networks with Applications to Dynamics of Temporal Lobe Epilepsy

Authors: Moo K. Chung, Ji Bi Che, Veena A. Nair, Camille Garcia Ramos, Jedidiah Ray Mathis, Vivek Prabhakaran, Elizabeth Meyerand, Bruce P. Hermann, Jeffrey R. Binder, Aaron F. Struck

Abstract: We introduce a novel, data-driven topological data analysis (TDA) approach for embedding brain networks into a lower-dimensional space in quantifying the dynamics of temporal lobe epilepsy (TLE) obtained from resting-state functional magnetic resonance imaging (rs-fMRI). This embedding facilitates the orthogonal projection of 0D and 1D topological features, allowing for the visualization and model… ▽ More We introduce a novel, data-driven topological data analysis (TDA) approach for embedding brain networks into a lower-dimensional space in quantifying the dynamics of temporal lobe epilepsy (TLE) obtained from resting-state functional magnetic resonance imaging (rs-fMRI). This embedding facilitates the orthogonal projection of 0D and 1D topological features, allowing for the visualization and modeling of the dynamics of functional human brain networks in a resting state. We then quantify the topological disparities between networks to determine the coordinates for embedding. This framework enables us to conduct a coherent statistical inference within the embedded space. Our results indicate that brain network topology in TLE patients exhibits increased rigidity in 0D topology but more rapid flections compared to that of normal controls in 1D topology. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Higgs Phases and Boundary Criticality

Authors: Kristian Tyn Kai Chung, Rafael Flores-Calderón, Rafael C. Torres, Pedro Ribeiro, Sergej Moroz, Paul McClarty

Abstract: Motivated by recent work connecting Higgs phases to symmetry protected topological (SPT) phases, we investigate the interplay of gauge redundancy and global symmetry in lattice gauge theories with Higgs fields in the presence of a boundary. The core conceptual point is that a global symmetry associated to a Higgs field, which is pure-gauge in a closed system, acts physically at the boundary under… ▽ More Motivated by recent work connecting Higgs phases to symmetry protected topological (SPT) phases, we investigate the interplay of gauge redundancy and global symmetry in lattice gauge theories with Higgs fields in the presence of a boundary. The core conceptual point is that a global symmetry associated to a Higgs field, which is pure-gauge in a closed system, acts physically at the boundary under boundary conditions which allow electric flux to escape the system. We demonstrate in both Abelian and non-Abelian models that this symmetry is spontaneously broken in the Higgs regime, implying the presence of gapless edge modes. Starting with the U(1) Abelian Higgs model in 4D, we demonstrate a boundary phase transition in the 3D XY universality class separating the bulk Higgs and confining regimes. Varying the boundary coupling while preserving the symmetries shifts the location of the boundary phase transition. We then consider non-Abelian gauge theories with fundamental and group-valued Higgs matter, and identify the analogous non-Abelian global symmetry acting on the boundary generated by the total color charge. For SU($N$) gauge theory with fundamental Higgs matter we argue for a boundary phase transition in the O($2N$) universality class, verified numerically for $N=2,3$. For group-valued Higgs matter, the boundary theory is a principal chiral model exhibiting chiral symmetry breaking. We further demonstrate this mechanism in theories with higher-form Higgs fields. We show how the higher-form matter symmetry acts at the boundary and can spontaneously break, exhibiting a boundary confinement-deconfinement transition. We also study the electric-magnetic dual theory, demonstrating a dual magnetic defect condensation transition at the boundary. We discuss some implications and extensions of these findings and what they may imply for the relation between Higgs and SPT phases. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 33 pages, 12 figures, 1 table

Does SAM dream of EIG? Characterizing Interactive Segmenter Performance using Expected Information Gain

Authors: Kuan-I Chung, Daniel Moyer

Abstract: We introduce an assessment procedure for interactive segmentation models. Based on concepts from Bayesian Experimental Design, the procedure measures a model's understanding of point prompts and their correspondence with the desired segmentation mask. We show that Oracle Dice index measurements are insensitive or even misleading in measuring this property. We demonstrate the use of the proposed pr… ▽ More We introduce an assessment procedure for interactive segmentation models. Based on concepts from Bayesian Experimental Design, the procedure measures a model's understanding of point prompts and their correspondence with the desired segmentation mask. We show that Oracle Dice index measurements are insensitive or even misleading in measuring this property. We demonstrate the use of the proposed procedure on three interactive segmentation models and subsets of two large image segmentation datasets. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Guided-Mutation Genetic Algorithm for Mobile IoT Network Relay

Authors: Gyupil Kam, Kiseop Chung

Abstract: The Internet of Things (IoT) is a communication scheme which allows various objects to exchange several types of information, enabling functions such as home automation, production management, healthcare, etc. In addition, energy-harvesting (EH) technology is considered for IoT environment in order to reduce the need for management and enhance maintainability. Moreover, since environments consider… ▽ More The Internet of Things (IoT) is a communication scheme which allows various objects to exchange several types of information, enabling functions such as home automation, production management, healthcare, etc. In addition, energy-harvesting (EH) technology is considered for IoT environment in order to reduce the need for management and enhance maintainability. Moreover, since environments considering outdoor elements such as pedestrians, vehicles and drones have been on the rise recently, it is important to consider mobility when designing an IoT network management scheme. However, calculating the optimal relaying topology is considered as an NP-hard problem, and finishing computation for mobility environment before the channel status changes is important to prevent delayed calculation results. In this article, our objective is to calculate a sub-optimal relaying topology for stationary and mobile system within reasonable computation time. To achieve our objective, we validate an iterative balancing time slot allocation algorithm introduced in the previous study, and propose a guided-mutation genetic algorithm (GMGA) that modulates the mutation rate based on the channel status for rational exploration. Additionally, we propose a mobility-aware iterative relaying topology algorithm, which calculates relaying topology in a mobility environment using an inheritance of the sub-optimal relaying topology calculations. Simulation results verify that our proposed scheme effectively solves formulated IoT network problems compared to other conventional schemes, and also effectively handles IoT environments including mobility in terms of minimum rate budget and computation time. △ Less

Submitted 25 July, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

Comments: 15 pages, 8 figures; this work has been accepted for publication in IEEE Access. Accepted 24 July 2024

Heat Transfer Coefficients of Moving Particle Beds from Flow-Dependent Particle Bed Thermal Conductivity and Near-Wall Resistance

Authors: Sarath R. Adapa, Xintong Zhang, Tianshi Feng, Ka Man Chung, Kevin J. Albrecht, Clifford K. Ho, Dimitri A. Madden, Renkun Chen

Abstract: Determination of heat transfer coefficients for flowing packed particle beds is essential to the design of particle heat exchangers, and other thermal processes. While such dense granular flows fall into the well-known plug-flow regime, the discrete nature of granular materials alters the thermal transport processes in both the near-wall and bulk regions of flowing particle beds from their station… ▽ More Determination of heat transfer coefficients for flowing packed particle beds is essential to the design of particle heat exchangers, and other thermal processes. While such dense granular flows fall into the well-known plug-flow regime, the discrete nature of granular materials alters the thermal transport processes in both the near-wall and bulk regions of flowing particle beds from their stationary counterparts. As a result, heat transfer correlations based on the stationary particle bed thermal conductivity could be inadequate for flowing particles in a heat exchanger. Earlier works have achieved reasonable agreement with experiments by treating granular media as a plug-flow continuum with a near-wall thermal resistance in series. However, the properties of the continuum were often obtained from measurements on stationary beds owing to the difficulty of flowing bed measurements. In this work, it was found that the properties of a stationary bed are highly sensitive to the method of particle packing and there is a decrease in the particle bed thermal conductivity and increase in the near-wall thermal resistance, measured as an effective air gap thickness, on the onset of particle flow. These variations in the thermophysical properties of stationary and flowing particle beds can lead to errors in heat transfer coefficient calculations. Therefore, the heat transfer coefficients for granular flows were calculated using experimentally determined flowing particle bed thermal conductivity and near-wall air gap for ceramic particles -CARBOCP40/100(275 um), HSP40/70(404um) and HSP16/30(956um); at velocities of 5-15mms-1; and temperatures of 300-650C. The thermal conductivity and air gap values for CP40/100 and HSP40/70 were further used to calculate heat transfer coefficients across different particle bed temperatures and velocities for different parallel-plate heat exchanger dimensions. △ Less

Submitted 20 September, 2024; v1 submitted 28 March, 2024; originally announced March 2024.

Advancing Graph Neural Networks with HL-HGAT: A Hodge-Laplacian and Attention Mechanism Approach for Heterogeneous Graph-Structured Data

Authors: Jinghan Huang, Qiufeng Chen, Yijun Bian, Pengli Zhu, Nanguang Chen, Moo K. Chung, Anqi Qiu

Abstract: Graph neural networks (GNNs) have proven effective in capturing relationships among nodes in a graph. This study introduces a novel perspective by considering a graph as a simplicial complex, encompassing nodes, edges, triangles, and $k$-simplices, enabling the definition of graph-structured data on any $k$-simplices. Our contribution is the Hodge-Laplacian heterogeneous graph attention network (H… ▽ More Graph neural networks (GNNs) have proven effective in capturing relationships among nodes in a graph. This study introduces a novel perspective by considering a graph as a simplicial complex, encompassing nodes, edges, triangles, and $k$-simplices, enabling the definition of graph-structured data on any $k$-simplices. Our contribution is the Hodge-Laplacian heterogeneous graph attention network (HL-HGAT), designed to learn heterogeneous signal representations across $k$-simplices. The HL-HGAT incorporates three key components: HL convolutional filters (HL-filters), simplicial projection (SP), and simplicial attention pooling (SAP) operators, applied to $k$-simplices. HL-filters leverage the unique topology of $k$-simplices encoded by the Hodge-Laplacian (HL) operator, operating within the spectral domain of the $k$-th HL operator. To address computation challenges, we introduce a polynomial approximation for HL-filters, exhibiting spatial localization properties. Additionally, we propose a pooling operator to coarsen $k$-simplices, combining features through simplicial attention mechanisms of self-attention and cross-attention via transformers and SP operators, capturing topological interconnections across multiple dimensions of simplices. The HL-HGAT is comprehensively evaluated across diverse graph applications, including NP-hard problems, graph multi-label and classification challenges, and graph regression tasks in logistics, computer vision, biology, chemistry, and neuroscience. The results demonstrate the model's efficacy and versatility in handling a wide range of graph-based scenarios. △ Less

Submitted 22 April, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Ultralight vector dark matter search using data from the KAGRA O3GK run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, H. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi , et al. (1778 additional authors not shown)

Abstract: Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we prese… ▽ More Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for $U(1)_{B-L}$ gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the $U(1)_{B-L}$ gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 20 pages, 5 figures

Report number: LIGO-P2300250

On Central Primitives for Quantum Cryptography with Classical Communication

Authors: Kai-Min Chung, Eli Goldin, Matthew Gray

Abstract: Recent work has introduced the "Quantum-Computation Classical-Communication" (QCCC) (Chung et. al.) setting for cryptography. There has been some evidence that One Way Puzzles (OWPuzz) are the natural central cryptographic primitive for this setting (Khurana and Tomer). For a primitive to be considered central it should have several characteristics. It should be well behaved (which for this paper… ▽ More Recent work has introduced the "Quantum-Computation Classical-Communication" (QCCC) (Chung et. al.) setting for cryptography. There has been some evidence that One Way Puzzles (OWPuzz) are the natural central cryptographic primitive for this setting (Khurana and Tomer). For a primitive to be considered central it should have several characteristics. It should be well behaved (which for this paper we will think of as having amplification, combiners, and universal constructions); it should be implied by a wide variety of other primitives; and it should be equivalent to some class of useful primitives. We present combiners, correctness and security amplification, and a universal construction for OWPuzz. Our proof of security amplification uses a new and cleaner version construction of EFI from OWPuzz (in comparison to the result of Khurana and Tomer) that generalizes to weak OWPuzz and is the most technically involved section of the paper. It was previously known that OWPuzz are implied by other primitives of interest including commitments, symmetric key encryption, one way state generators (OWSG), and therefore pseudorandom states (PRS). However we are able to rule out OWPuzz's equivalence to many of these primitives by showing a black box separation between general OWPuzz and a restricted class of OWPuzz (those with efficient verification, which we call EV-OWPuzz). We then show that EV-OWPuzz are also implied by most of these primitives, which separates them from OWPuzz as well. This separation also separates extending PRS from highly compressing PRS answering an open question of Ananth et. al. △ Less

Submitted 28 June, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

Comments: Accepted to CRYPTO 2024

COCOA: CBT-based Conversational Counseling Agent using Memory Specialized in Cognitive Distortions and Dynamic Prompt

Authors: Suyeon Lee, Jieun Kang, Harim Kim, Kyoung-Mee Chung, Dongha Lee, Jinyoung Yeo

Abstract: The demand for conversational agents that provide mental health care is consistently increasing. In this work, we develop a psychological counseling agent, referred to as CoCoA, that applies Cognitive Behavioral Therapy (CBT) techniques to identify and address cognitive distortions inherent in the client's statements. Specifically, we construct a memory system to efficiently manage information nec… ▽ More The demand for conversational agents that provide mental health care is consistently increasing. In this work, we develop a psychological counseling agent, referred to as CoCoA, that applies Cognitive Behavioral Therapy (CBT) techniques to identify and address cognitive distortions inherent in the client's statements. Specifically, we construct a memory system to efficiently manage information necessary for counseling while extracting high-level insights about the client from their utterances. Additionally, to ensure that the counseling agent generates appropriate responses, we introduce dynamic prompting to flexibly apply CBT techniques and facilitate the appropriate retrieval of information. We conducted dialogues between CoCoA and characters from Character.ai, creating a dataset for evaluation. Then, we asked GPT to evaluate the constructed counseling dataset, and our model demonstrated a statistically significant difference from other models. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 4 pages, 2 figures

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation

Authors: Long Kiu Chung, Wonsuhk Jung, Chuizheng Kong, Shreyas Kousik

Abstract: Autonomous mobile robots must maintain safety, but should not sacrifice performance, leading to the classical reach-avoid problem: find a trajectory that is guaranteed to reach a goal and avoid obstacles. This paper addresses the near danger case, also known as a narrow gap, where the agent starts near the goal, but must navigate through tight obstacles that block its path. The proposed method bui… ▽ More Autonomous mobile robots must maintain safety, but should not sacrifice performance, leading to the classical reach-avoid problem: find a trajectory that is guaranteed to reach a goal and avoid obstacles. This paper addresses the near danger case, also known as a narrow gap, where the agent starts near the goal, but must navigate through tight obstacles that block its path. The proposed method builds off the common approach of using a simplified planning model to generate plans, which are then tracked using a high-fidelity tracking model and controller. Existing approaches use reachability analysis to overapproximate the error between these models and ensure safety, but doing so introduces numerical approximation error conservativeness that prevents goal-reaching. The present work instead proposes a Piecewise Affine Reach-avoid Computation (PARC) method to tightly approximate the reachable set of the planning model. PARC significantly reduces conservativeness through a careful choice of the planning model and set representation, along with an effective approach to handling time-varying tracking errors. The utility of this method is demonstrated through extensive numerical experiments in which PARC outperforms state-of-the-art reach avoid methods in near-danger goal reaching. Furthermore, in a simulated demonstration, PARC enables the generation of provably-safe extreme vehicle dynamics drift parking maneuvers. A preliminary hardware demo on a TurtleBot3 also validates the method. △ Less

Submitted 28 May, 2024; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: The first two authors contributed equally to the work. This work has been submitted for possible publication

Incorporating Zero-Probability Constraints to Device-Independent Randomness Expansion

Authors: Chun-Yu Chen, Kai-Siang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Yeong-Cherng Liang, Gelo Noel M. Tabia

Abstract: One of the distinguishing features of quantum theory is that its measurement outcomes are usually unpredictable or, equivalently, random. Moreover, this randomness is certifiable with minimal assumptions in the so-called device-independent (DI) paradigm, where a device's behavior does not need to be presupposed but can be verified through the statistics it produces. In this work, we explore variou… ▽ More One of the distinguishing features of quantum theory is that its measurement outcomes are usually unpredictable or, equivalently, random. Moreover, this randomness is certifiable with minimal assumptions in the so-called device-independent (DI) paradigm, where a device's behavior does not need to be presupposed but can be verified through the statistics it produces. In this work, we explore various forms of randomness that are certifiable in this setting, where two users can perform two binary-outcome measurements on their shared entangled state. In this case, even though the Clauser-Horne-Shimony-Holt (CHSH) Bell-inequality violation is a pre-requisite for the generation of DI certifiable randomness, the CHSH value alone does not generally give a tight bound on the certifiable randomness. Here, we determine the certifiable randomness when zero-probability constraints are incorporated into the task of DI randomness expansion for the standard local and global randomness and the so-called "blind" randomness. Asymptotically, we observe consistent improvements in the amount of DI certifiable randomness (of all kinds) as we increase the number zero constraints for a wide range of given CHSH Bell violations. However, if we further optimize over the allowed CHSH values, then benefits of these additional constraints over the standard CHSH-based protocol are only found in the case of global and blind randomness. In contrast, in the regimes of finite data, these zero constraints only give a slight improvement in the local randomness rate when compared with all existing protocols. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 8+7 pages, 3 figures, 2 tables

Spectral Topological Data Analysis of Brain Signals

Authors: Anass B. El-Yaagoubi, Shuhao Jiao, Moo K. Chung, Hernando Ombao

Abstract: Topological data analysis (TDA) has become a powerful approach over the last twenty years, mainly due to its ability to capture the shape and the geometry inherent in the data. Persistence homology, which is a particular tool in TDA, has been demonstrated to be successful in analyzing functional brain connectivity. One limitation of standard approaches is that they use arbitrarily chosen threshold… ▽ More Topological data analysis (TDA) has become a powerful approach over the last twenty years, mainly due to its ability to capture the shape and the geometry inherent in the data. Persistence homology, which is a particular tool in TDA, has been demonstrated to be successful in analyzing functional brain connectivity. One limitation of standard approaches is that they use arbitrarily chosen threshold values for analyzing connectivity matrices. To overcome this weakness, TDA provides a filtration of the weighted brain network across a range of threshold values. However, current analyses of the topological structure of functional brain connectivity primarily rely on overly simplistic connectivity measures, such as the Pearson orrelation. These measures do not provide information about the specific oscillators that drive dependence within the brain network. Here, we develop a frequency-specific approach that utilizes coherence, a measure of dependence in the spectral domain, to evaluate the functional connectivity of the brain. Our approach, the spectral TDA (STDA), has the ability to capture more nuanced and detailed information about the underlying brain networks. The proposed STDA method leads to a novel topological summary, the spectral landscape, which is a 2D-generalization of the persistence landscape. Using the novel spectral landscape, we analyze the EEG brain connectivity of patients with attention deficit hyperactivity disorder (ADHD) and shed light on the frequency-specific differences in the topology of brain connectivity between the controls and ADHD patients. △ Less

Submitted 1 December, 2023; originally announced January 2024.

Comments: 28 pages, 23 figures

Bayes3D: fast learning and inference in structured generative models of 3D objects and scenes

Authors: Nishad Gothoskar, Matin Ghavami, Eric Li, Aidan Curtis, Michael Noseworthy, Karen Chung, Brian Patton, William T. Freeman, Joshua B. Tenenbaum, Mirko Klukas, Vikash K. Mansinghka

Abstract: Robots cannot yet match humans' ability to rapidly learn the shapes of novel 3D objects and recognize them robustly despite clutter and occlusion. We present Bayes3D, an uncertainty-aware perception system for structured 3D scenes, that reports accurate posterior uncertainty over 3D object shape, pose, and scene composition in the presence of clutter and occlusion. Bayes3D delivers these capabilit… ▽ More Robots cannot yet match humans' ability to rapidly learn the shapes of novel 3D objects and recognize them robustly despite clutter and occlusion. We present Bayes3D, an uncertainty-aware perception system for structured 3D scenes, that reports accurate posterior uncertainty over 3D object shape, pose, and scene composition in the presence of clutter and occlusion. Bayes3D delivers these capabilities via a novel hierarchical Bayesian model for 3D scenes and a GPU-accelerated coarse-to-fine sequential Monte Carlo algorithm. Quantitative experiments show that Bayes3D can learn 3D models of novel objects from just a handful of views, recognizing them more robustly and with orders of magnitude less training data than neural baselines, and tracking 3D objects faster than real time on a single GPU. We also demonstrate that Bayes3D learns complex 3D object models and accurately infers 3D scene composition when used on a Panda robot in a tabletop scenario. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Spectral method for metric perturbations of black holes: Kerr background case in general relativity

Authors: Adrian Ka-Wai Chung, Pratik Wagle, Nicolas Yunes

Abstract: We present a novel approach, $\textit{Metric pErTuRbations wIth speCtral methodS}$ (METRICS), to calculate the gravitational metric perturbations and the quasinormal-mode frequencies of rotating black holes of any spin without decoupling the linearized field equations. We demonstrate the method by applying it to perturbations of Kerr black holes of any spin, simultaneously solving all ten lineariz… ▽ More We present a novel approach, $\textit{Metric pErTuRbations wIth speCtral methodS}$ (METRICS), to calculate the gravitational metric perturbations and the quasinormal-mode frequencies of rotating black holes of any spin without decoupling the linearized field equations. We demonstrate the method by applying it to perturbations of Kerr black holes of any spin, simultaneously solving all ten linearized Einstein equations in the Regge-Wheeler gauge through purely algebraic methods and computing the fundamental (co-rotating) quadrupole mode frequency at various spins. We moreover show that the METRICS approach is accurate and precise, yielding (i) quasinormal mode frequencies that agree with Leaver's, continuous-fraction solution with a relative fractional error smaller than $10^{-5}$ for all dimensionless spins below up to 0.95, and (ii) metric perturbations that lead to Teukolsky functions that also agree with Leaver's solution with mismatches below $1\%$ for all spins below 0.9. By not requiring the decoupling or the angular separation of the linearized field equations, the METRICS approach has the potential to be straightforwardly adapted for the computation of the quasinormal-mode frequencies of rotating black holes of any spin beyond general relativity or in the presence of matter. △ Less

Submitted 3 March, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: 24 pages of main text, 12 figures, match the published version

Journal ref: Phys. Rev. D 109, 044072 (2024)

Micromechanical Origin of Heat Transfer to Granular Flow

Authors: Xintong Zhang, Sarath Adapa, Tianshi Feng, Jian Zeng, Ka Man Chung, Clifford Ho, Kevin Albrecht, Renkun Chen

Abstract: Heat transfer to a granular flow is comprised of two resistances in series: near the wall and within the bulk particle bed, neither of which is well understood due to the lack of experimental probes to separate their respective contribution. Here, we use a frequency modulated photothermal technique to separately quantify the thermal resistances in the near-wall and the bulk bed regions of particle… ▽ More Heat transfer to a granular flow is comprised of two resistances in series: near the wall and within the bulk particle bed, neither of which is well understood due to the lack of experimental probes to separate their respective contribution. Here, we use a frequency modulated photothermal technique to separately quantify the thermal resistances in the near-wall and the bulk bed regions of particles in flowing states. Compared to the stationary state, the flowing leads to a higher near-wall resistance and a lower thermal conductivity of bulk beds. Coupled with discrete element method simulation, we show that the near-wall resistance can be explained by particle diffusion in granular flows. △ Less

Submitted 28 May, 2024; v1 submitted 19 November, 2023; originally announced November 2023.

Comments: 15 pages, 5 figures

2-Form U(1) Spin Liquids: Classical Model and Quantum Aspects

Authors: Kristian Tyn Kai Chung, Michel J. P. Gingras

Abstract: We introduce a novel geometrically frustrated classical Ising model, dubbed the "spin vorticity model", whose ground state manifold is a novel classical spin liquid, a "2-form Coulomb phase". We study the thermodynamics of this model both analytically and numerically, exposing the presence of algebraically decaying correlations and demonstrating an extensive ground state entropy, and give a compre… ▽ More We introduce a novel geometrically frustrated classical Ising model, dubbed the "spin vorticity model", whose ground state manifold is a novel classical spin liquid, a "2-form Coulomb phase". We study the thermodynamics of this model both analytically and numerically, exposing the presence of algebraically decaying correlations and demonstrating an extensive ground state entropy, and give a comprehensive account of its ground state properties and excitations. Each classical ground state may be decomposed into collections of closed 2-dimensional membranes, supporting fractionalized string excitations attached to the boundaries of open membranes. At finite temperature, the model can then be described as a gas of closed strings in a background of fluctuating membranes. We demonstrate that the emergent gauge structure of the low-temperature phase is naturally captured in the formalism of 2-form electrodynamics, which describes 1-dimensional charged strings coupled to a rank-2 anti-symmetric gauge field. After establishing the classical spin vorticity model, we consider perturbing it with quantum exchange interactions, from which we derive an effective membrane exchange model of the quantum dynamics of these membranes, which maps to a frustrated 2-form U(1) lattice gauge theory. We show the existence of a fine-tuned Rokhsar-Kivelson point where the quantum ground state is an equal weight superposition of all classical ground state configurations. We further demonstrate how to quantize the string excitations, by coupling a 1-form string field to the emergent 2-form U(1) gauge field, thus mapping a quantum spin model to a 2-form gauge-Higgs model. We discuss the stability of the gapless deconfined phase of this gauge theory and the possibility of realizing a novel class of phases of quantum matter: 2-form U(1) quantum spin liquids. △ Less

Submitted 14 March, 2025; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 44 pages, 19 figures, 1 table

Journal ref: Phys. Rev. B 111, 064417 (2025)

Thermal Conductivity Measurement Using Modulated Photothermal Radiometry for Nitrate and Chloride Molten Salts

Authors: Ka Man Chung, Tianshi Feng, Jian Zeng, Sarath Reddy Adapa, Xintong Zhang, Andrew Z. Zhao, Ye Zhang, Peiwen Li, Youyang Zhao, Javier E. Garay, Renkun Chen

Abstract: Molten salts are being used or explored for thermal energy storage and conversion systems in concentrating solar power and nuclear power plants. Thermal conductivity of molten salts is an important thermophysical property dictating the performance and cost of these systems, but its accurate measurement has been challenging, as evidenced by wide scattering of existing data in literature. The corros… ▽ More Molten salts are being used or explored for thermal energy storage and conversion systems in concentrating solar power and nuclear power plants. Thermal conductivity of molten salts is an important thermophysical property dictating the performance and cost of these systems, but its accurate measurement has been challenging, as evidenced by wide scattering of existing data in literature. The corrosive and conducting nature of these fluids also leads to time consuming sample preparation processes of many contact-based measurements. Here, we report the measurement of thermal conductivity of molten salts using a modulated photothermal radiometry (MPR) technique, which is a laser-based, non-contact, frequency-domain method adopted for molten salts for the first time. By unitizing the advantages of front side sensing of frequency-domain measurements and the vertical holder orientation, the technique can minimize the natural convection and salt creeping effects, thus yielding accurate molten salt thermal conductivity. The MPR technique is first calibrated using standard molten materials including paraffin wax and sulfur. It is then applied on measuring pure nitrate salts ($NaNO_3$ and $KNO_3$), solar salt ($NaNO_3-KNO_3$ mixture), and chloride salt ($NaCl-KCl-MgCl_2$). The measurement results are compared with data from literature, especially those obtained from laser flash analysis (LFA). Our results demonstrate that the MPR is a convenient and reliable technique of measuring thermal conductivity of molten salts. Accurate thermal conductivity data of molten salts will be valuable in developing the next-generation high-temperature thermal energy storage and conversion systems. △ Less

Submitted 31 August, 2023; originally announced September 2023.

In-situ Thermophysical Measurement of Flowing Molten Chloride Salt Using Modulated Photothermal Radiometry

Authors: Ka Man Chung, Ye Zhang, Jian Zeng, Fouad Haddad, Sarath Reddy Adapa, Tianshi Feng, Peiwen Li, Renkun Chen

Abstract: Molten salts are a leading candidate for high-temperature heat transfer fluids (HTFs) for thermal energy storage and conversion systems in concentrated solar power (CSP) and nuclear energy power plants. The ability to probe molten salt thermal transport properties in both stationary and flowing status is important for the evaluation of their heat transfer performance under realistic operational co… ▽ More Molten salts are a leading candidate for high-temperature heat transfer fluids (HTFs) for thermal energy storage and conversion systems in concentrated solar power (CSP) and nuclear energy power plants. The ability to probe molten salt thermal transport properties in both stationary and flowing status is important for the evaluation of their heat transfer performance under realistic operational conditions, including the temperature range and potential degradation due to corrosion and contamination. However, accurate thermal transport properties are usually challenging to obtain even for stagnant molten salts due to different sources of errors from convection, radiation, and corrosion, let alone flowing ones. To the best of authors' knowledge, there is no available in-situ technique for measuring flowing molten salt thermal conductivity. Here, we report the first in-situ flowing molten salt thermal conductivity measurement using modulated photothermal radiometry (MPR). We could successfully perform the first in-situ thermal conductivity measurement of flowing molten $NaCl-KCl-MgCl_2$ in the typical operating temperature (520 and 580 $^oC$) with flow velocities ranging from around 0.3 to 1.0 $m$$s^-1$. The relative change of the molten salt thermal conductivity was measured. Gnielinski's correlation was also used to estimate the heat transfer coefficient h of the flowing $NaCl-KCl-MgCl_2$ in the given experimental condition. The work showed the potential of the MPR technique serving as an in-situ diagnostics tool to evaluate the heat transfer performance of flowing molten salts and other high-temperature HTFs. △ Less

Submitted 31 August, 2023; originally announced September 2023.

A Joint Fermi-GBM and Swift-BAT Analysis of Gravitational-Wave Candidates from the Third Gravitational-wave Observing Run

Authors: C. Fletcher, J. Wood, R. Hamburg, P. Veres, C. M. Hui, E. Bissaldi, M. S. Briggs, E. Burns, W. H. Cleveland, M. M. Giles, A. Goldstein, B. A. Hristov, D. Kocevski, S. Lesage, B. Mailyan, C. Malacaria, S. Poolakkil, A. von Kienlin, C. A. Wilson-Hodge, The Fermi Gamma-ray Burst Monitor Team, M. Crnogorčević, J. DeLaunay, A. Tohuvavohu, R. Caputo, S. B. Cenko , et al. (1674 additional authors not shown)

Abstract: We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses,… ▽ More We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses, the Targeted Search and the Untargeted Search, we investigate whether there are any coincident GRBs associated with the GWs. We also search the Swift-BAT rate data around the GW times to determine whether a GRB counterpart is present. No counterparts are found. Using both the Fermi-GBM Targeted Search and the Swift-BAT search, we calculate flux upper limits and present joint upper limits on the gamma-ray luminosity of each GW. Given these limits, we constrain theoretical models for the emission of gamma-rays from binary black hole mergers. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Search for Eccentric Black Hole Coalescences during the Third Observing Run of LIGO and Virgo

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

Abstract: Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effect… ▽ More Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effects of eccentricity. Here, we present observational results for a waveform-independent search sensitive to eccentric black hole coalescences, covering the third observing run (O3) of the LIGO and Virgo detectors. We identified no new high-significance candidates beyond those that were already identified with searches focusing on quasi-circular binaries. We determine the sensitivity of our search to high-mass (total mass $M>70$ $M_\odot$) binaries covering eccentricities up to 0.3 at 15 Hz orbital frequency, and use this to compare model predictions to search results. Assuming all detections are indeed quasi-circular, for our fiducial population model, we place an upper limit for the merger rate density of high-mass binaries with eccentricities $0 < e \leq 0.3$ at $0.33$ Gpc$^{-3}$ yr$^{-1}$ at 90\% confidence level. △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: 24 pages, 5 figures

Report number: LIGO-P2300080

A Novel Lockable Spring-loaded Prismatic Spine to Support Agile Quadrupedal Locomotion

Authors: Keran Ye, Kenneth Chung, Konstantinos Karydis

Abstract: This paper introduces a way to systematically investigate the effect of compliant prismatic spines in quadrupedal robot locomotion. We develop a novel spring-loaded lockable spine module, together with a new Spinal Compliance-Integrated Quadruped (SCIQ) platform for both empirical and numerical research. Individual spine tests reveal beneficial spinal characteristics like a degressive spring, and… ▽ More This paper introduces a way to systematically investigate the effect of compliant prismatic spines in quadrupedal robot locomotion. We develop a novel spring-loaded lockable spine module, together with a new Spinal Compliance-Integrated Quadruped (SCIQ) platform for both empirical and numerical research. Individual spine tests reveal beneficial spinal characteristics like a degressive spring, and validate the efficacy of a proposed compact locking/unlocking mechanism for the spine. Benchmark vertical jumping and landing tests with our robot show comparable jumping performance between the rigid and compliant spines. An observed advantage of the compliant spine module is that it can alleviate more challenging landing conditions by absorbing impact energy and dissipating the remainder via feet slipping through much in cat-like stretching fashion. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: To appear in 2023 IEEE IROS

Sulcal Pattern Matching with the Wasserstein Distance

Authors: Zijian Chen, Soumya Das, Moo K. Chung

Abstract: We present the unified computational framework for modeling the sulcal patterns of human brain obtained from the magnetic resonance images. The Wasserstein distance is used to align the sulcal patterns nonlinearly. These patterns are topologically different across subjects making the pattern matching a challenge. We work out the mathematical details and develop the gradient descent algorithms for… ▽ More We present the unified computational framework for modeling the sulcal patterns of human brain obtained from the magnetic resonance images. The Wasserstein distance is used to align the sulcal patterns nonlinearly. These patterns are topologically different across subjects making the pattern matching a challenge. We work out the mathematical details and develop the gradient descent algorithms for estimating the deformation field. We further quantify the image registration performance. This method is applied in identifying the differences between male and female sulcal patterns. △ Less

Submitted 1 July, 2023; originally announced July 2023.

Comments: In press in IEEE ISBI

On the Impossibility of General Parallel Fast-forwarding of Hamiltonian Simulation

Authors: Nai-Hui Chia, Kai-Min Chung, Yao-Ching Hsieh, Han-Hsuan Lin, Yao-Ting Lin, Yu-Ching Shen

Abstract: Hamiltonian simulation is one of the most important problems in the field of quantum computing. There have been extended efforts on designing algorithms for faster simulation, and the evolution time $T$ for the simulation turns out to largely affect algorithm runtime. While there are some specific types of Hamiltonians that can be fast-forwarded, i.e., simulated within time $o(T)$, for large enoug… ▽ More Hamiltonian simulation is one of the most important problems in the field of quantum computing. There have been extended efforts on designing algorithms for faster simulation, and the evolution time $T$ for the simulation turns out to largely affect algorithm runtime. While there are some specific types of Hamiltonians that can be fast-forwarded, i.e., simulated within time $o(T)$, for large enough classes of Hamiltonians (e.g., all local/sparse Hamiltonians), existing simulation algorithms require running time at least linear in the evolution time $T$. On the other hand, while there exist lower bounds of $Ω(T)$ circuit size for some large classes of Hamiltonian, these lower bounds do not rule out the possibilities of Hamiltonian simulation with large but "low-depth" circuits by running things in parallel. Therefore, it is intriguing whether we can achieve fast Hamiltonian simulation with the power of parallelism. In this work, we give a negative result for the above open problem, showing that sparse Hamiltonians and (geometrically) local Hamiltonians cannot be parallelly fast-forwarded. In the oracle model, we prove that there are time-independent sparse Hamiltonians that cannot be simulated via an oracle circuit of depth $o(T)$. In the plain model, relying on the random oracle heuristic, we show that there exist time-independent local Hamiltonians and time-dependent geometrically local Hamiltonians that cannot be simulated via an oracle circuit of depth $o(T/n^c)$, where the Hamiltonians act on $n$-qubits, and $c$ is a constant. △ Less

Submitted 21 May, 2023; originally announced May 2023.

Comments: 44 pages, 7 figures

Conics in quintic del Pezzo varieties

Authors: Kiryong Chung, Sanghyeon Lee

Abstract: The smooth quintic del Pezzo variety $Y$ is well-known to be obtained as a linear sections of the Grassmannian variety $\mathrm{Gr}(2,5)$ under the Plücker embedding into $\mathbb{P}^{9}$. Through a local computation, we show the Hilbert scheme of conics in $Y$ for $\text{dim} Y \ge 3$ can be obtained from a certain Grassmannian bundle by a single blowing up/down transformation. The smooth quintic del Pezzo variety $Y$ is well-known to be obtained as a linear sections of the Grassmannian variety $\mathrm{Gr}(2,5)$ under the Plücker embedding into $\mathbb{P}^{9}$. Through a local computation, we show the Hilbert scheme of conics in $Y$ for $\text{dim} Y \ge 3$ can be obtained from a certain Grassmannian bundle by a single blowing up/down transformation. △ Less

Submitted 14 May, 2023; originally announced May 2023.

Untargeted Bayesian search of anisotropic gravitational-wave backgrounds through the analytical marginalization of the posterior

Authors: Adrian Ka-Wai Chung, Nicolas Yunes

Abstract: We develop a method to perform an untargeted Bayesian search for anisotropic gravitational-wave backgrounds that can efficiently and accurately reconstruct the background intensity map. Our method employs an analytic marginalization of the posterior of the spherical-harmonic components of the intensity map, without assuming the background possesses any specific angular structure. The key idea is t… ▽ More We develop a method to perform an untargeted Bayesian search for anisotropic gravitational-wave backgrounds that can efficiently and accurately reconstruct the background intensity map. Our method employs an analytic marginalization of the posterior of the spherical-harmonic components of the intensity map, without assuming the background possesses any specific angular structure. The key idea is that the likelihood function of the spherical-harmonic components is a multivariate Gaussian when the intensity map is expressed as a linear combination of the spherical-harmonic components and the noise is stationary and Gaussian. If a uniform and wide prior of these spherical-harmonic components is prescribed, the marginalized posterior and the Bayes factor can be well approximated by a high-dimensional Gaussian integral. The analytical marginalization allows us to regard the spherical-harmonic components of the intensity map of the background as free parameters, and to construct their individual marginalized posterior distribution in a reasonable time, even though many spherical-harmonic components are required. The marginalized posteriors can, in turn, be used to accurately construct the intensity map of the background. By applying our method to mock data, we show that we can recover precisely the angular structures of various simulated anisotropic backgrounds, without assuming prior knowledge of the relation between the spherical-harmonic components predicted by a given model. Our method allows us to bypass the time-consuming numerical sampling of a high-dimensional posterior, leading to a more model-independent and untargeted Bayesian measurement of the angular structures of the gravitational-wave background. △ Less

Submitted 30 August, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: Match the published version

Journal ref: Phys. Rev. D 108, 043032 (2023)

Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network

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: Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated… ▽ More Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated signals from strong lensing by 1) performing targeted searches for subthreshold signals, 2) calculating the degree of overlap amongst the intrinsic parameters and sky location of pairs of signals, 3) comparing the similarities of the spectrograms amongst pairs of signals, and 4) performing dual-signal Bayesian analysis that takes into account selection effects and astrophysical knowledge. We also search for distortions to the gravitational waveform caused by 1) frequency-independent phase shifts in strongly lensed images, and 2) frequency-dependent modulation of the amplitude and phase due to point masses. None of these searches yields significant evidence for lensing. Finally, we use the non-detection of gravitational-wave lensing to constrain the lensing rate based on the latest merger-rate estimates and the fraction of dark matter composed of compact objects. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 28 pages, 11 figures

Report number: LIGO-P2200031