arXiv subjects

Keith Johnson

Publications and source records attributed to Keith Johnson.

9 recordsLinked to original sources

arXiv2025

Towards Better Health Conversations: The Benefits of Context-seeking

Navigating health questions can be daunting in the modern information landscape. Large language models (LLMs) may provide tailored, accessible information, but also risk being inaccurate, biased or misleading. We present insights from 4 mixed-methods studies (total N=163), examining how people interact with LLMs for their own health questions. Qualitative studies revealed the importance of context-seeking in conversational AIs to elicit specific details a person may not volunteer or know to share. Context-seeking by LLMs was valued by participants, even if it meant deferring an answer for several turns. Incorporating these insights, we developed a "Wayfinding AI" to proactively solicit context. In a randomized, blinded study, participants rated the Wayfinding AI as more helpful, relevant, and tailored to their concerns compared to a baseline AI. These results demonstrate the strong impact of proactive context-seeking on conversational dynamics, and suggest design patterns for conversational AI to help navigate health topics.

cs.HC↗

arXiv2025

Dual Prompting for Diverse Count-level PET Denoising

The to-be-denoised positron emission tomography (PET) volumes are inherent with diverse count levels, which imposes challenges for a unified model to tackle varied cases. In this work, we resort to the recently flourished prompt learning to achieve generalizable PET denoising with different count levels. Specifically, we propose dual prompts to guide the PET denoising in a divide-and-conquer manner, i.e., an explicitly count-level prompt to provide the specific prior information and an implicitly general denoising prompt to encode the essential PET denoising knowledge. Then, a novel prompt fusion module is developed to unify the heterogeneous prompts, followed by a prompt-feature interaction module to inject prompts into the features. The prompts are able to dynamically guide the noise-conditioned denoising process. Therefore, we are able to efficiently train a unified denoising model for various count levels, and deploy it to different cases with personalized prompts. We evaluated on 1940 low-count PET 3D volumes with uniformly randomly selected 13-22\% fractions of events from 97 $^{18}$F-MK6240 tau PET studies. It shows our dual prompting can largely improve the performance with informed count-level and outperform the count-conditional model.

eess.IV↗

arXiv2024

Verifying Solutions to Semantics-Guided Synthesis Problems

Semantics-Guided Synthesis (SemGuS) provides a framework to specify synthesis problems in a solver-agnostic and domain-agnostic way, by allowing a user to provide both the syntax and semantics of the language in which the desired program should be synthesized. Because synthesis and verification are closely intertwined, the SemGuS framework raises the problem of how to verify programs in a solver and domain-agnostic way. We prove that the problem of verifying whether a program is a valid solution to a SemGuS problem can be reduced to proving validity of a query in the `CLP calculus, a fixed-point logic that generalizes Constrained Horn Clauses and co-Constrained Horn Clauses. Our encoding into `CLP allows us to further classify the SemGuS verification problems into ones that are reducible to validity of (i) first-order-logic formulas, (ii) Constrained Horn Clauses, (iii) co-Constrained Horn Clauses, and (iv) `CLP queries. Furthermore, our encoding shines light on some limitations of the SemGuS framework, such as its inability to model nondeterminism and reactive synthesis. We thus propose a modification to SemGuS that makes it more expressive, and for which verifying solutions is exactly equivalent to proving validity of a query in the `CLP calculus. Our implementation of SemGuS verifiers based on the above encoding can verify instances that were not even encodable in previous work. Furthermore, we use our SemGuS verifiers within an enumeration-based SemGuS solver to correctly synthesize solutions to SemGuS problems that no previous SemGuS synthesizer could solve.

cs.PL↗

arXiv2023

Nanoparticle Unification of Dark Matter and Dark Energy? Cancellation of the Vacuum Catastrophe

Laboratory creation of stable magic-number protonated water nanoclusters from amorphous water-ice under simulated astrophysical conditions suggests the possible ejection of such nanoparticles from ubiquitous amorphous water-ice-covered cosmic dust to interstellar space. The quantum properties of these quintessential nanoparticles introduce a tantalizing prospect that bridges the origins of dark matter and dark energy. The quantum-entangled diffuse Rydberg electronic states inherent to cosmic water nanoclusters make them plausible candidates for baryonic dark matter. Moreover, they exhibit the capacity to absorb, through the microscopic dynamical Casimir effect, virtual photons originating from zero-point-energy vacuum fluctuations occurring above the water-nanocluster vibrational frequency cutoff. This selective interaction leaves only vacuum fluctuations below these frequencies with gravitational significance, cancelling the vacuum-energy catastrophe and yielding a shared genesis for dark matter and dark energy. These findings coalesce into a cosmological framework depicting a cyclic universe, with cosmic water nanoclusters constituting a quintessence scalar field, instead of adhering to the multiverse concept based on cosmic inflation theory. Recent observations of CMB birefringence support this quintessence.

physics.gen-ph↗

arXiv2022

Birefringent Rydberg Dark Matter from Cosmic Dust

Water nanoclusters ejected to space from abundant amorphous water-ice-coated cosmic dust have been proposed to constitute Rydberg baryonic dark matter. This phenomenological model is now qualitatively supported by several recent observations: the laboratory-generated ejection of water nanoclusters from amorphous water-ice; the absence of dark matter in Galaxy NGC 1052-DF2; a recent study of dark matter in distant galaxies reporting the direct interaction of dark matter with galactic baryonic matter; the bullet cluster; and the birefringence of the cosmic microwave background. A link between Rydberg dark matter and dark energy and its relevance to quintessence are reviewed. The use of the James Webb Space Telescope to test this model further is suggested.

hep-ph↗

arXiv2020

Cosmology, astrobiology, and the RNA world. Just add quintessential water

Water nanoclusters ejected into interstellar space from abundant amorphous ice-coated cosmic dust offer a hypothetical scenario connecting major mysteries of our universe: dark matter, dark energy, cosmology, astrobiology, and the RNA world. Cosmic water nanoclusters also exhibit the dipole-moment anisotropy prerequisite to their birefringence property, which may explain recent CMB birefringence data possibly supporting quintessence.

physics.chem-ph↗

arXiv2009

Water Buckyball Terahertz Vibrations in Physics, Chemistry, Biology, and Cosmology

Pentagonal dodecahedral buckyball-like water clusters and arrays thereof are shown from first-principles electronic-structure calculations to possess unique terahertz vibrational modes in the 1-6 THz range, corresponding to oxygen-oxygen-oxygen bending and twisting surface distortions of the clusters. In their excited electronic states these water clusters constitute a form of Rydberg matter. Applications to Physics, Chemistry, Biology, and Cosmology are described.

physics.atm-clus↗

arXiv2009

Water Vapor: An Extraordinary Terahertz Wave Source under Optical Excitation

In modern terahertz (THz) sensing and imaging spectroscopy, water is considered a nemesis to be avoided due to strong absorption in the THz frequency range. Here we report the first experimental demonstration and theoretical implications of using femtosecond laser pulses to generate intense broadband THz emission from water vapor. When we focused an intense laser pulse in water vapor contained in a gas cell or injected from a gas jet nozzle, an extraordinarily strong THz field from optically excited water vapor is observed. Water vapor has more than 50% greater THz generation efficiency than dry nitrogen. It had previously been assumed that the nonlinear generation of THz waves in this manner primarily involves a free-electron plasma, but we show that the molecular structure plays an essential role in the process. In particular, we found that THz wave generation from H2O vapor is significantly stronger than that from D2O vapor. Vibronic activities of water cluster ions, occurring naturally in water vapor, may possibly contribute to the observed isotope effect along with rovibrational contributions from the predominant monomers.

physics.optics↗

arXiv1998

"Water Buckyballs" Chemical, Catalytic, and Cosmic Implications

Possible chemical, catalytic, and cosmic roles of charged pentagonal dodecahedral water clusters having "buckyball-like" symmetry are discussed on the basis of electronic and vibronic theory and experiment. The electronic structure in conjunction with the dynamic Jahn-Teller effect is argued to make water buckyballs catalysts and oxygenates for fuel combustion and active agents in biological systems. The broad electronic and unique low-frequency vibronic spectra of water buckyballs may explain certain diffuse interstellar bands, far-infrared, ultraviolet, and x-ray cosmic background radiation, and some "missing cosmic baryonic matter". The relevance of water buckyballs to the properties of liquid and supercritical water concludes the paper.

physics.atm-clus↗