Blog
Mean Field Games of Control and Cryptocurrency Mining
This paper studies Mean Field Games (MFGs) in which agent dynamics are given by jump processes of controlled intensity, with mean-field interaction via the controls and affecting the jump intensities. We establish the existence of MFG equilibria in a general discrete-time setting,...
Estimates of Rotation Periods for Jupiter Trojans with the Zwicky Transient Facility Photometric Lightcurves
We present new rotational period estimates for 216 Jupiter Trojans using photometric data from the Zwicky Transient Facility (ZTF), including 80 Trojans with previously unknown periods. Our analysis reveals rotation periods ranging from 4.6 hours to 447.8 hours. These results support the...
Transition from positive to negative photoconductivity in AlGaN/GaN quantum-well heterostructures
The AlGaN/GaN quantum-well heterostructures typically exhibit a positive photoconductivity (PPC) during the light illumination. Surprisingly, we found that introducing the GaN/AlN superlattice (SL) back barrier into N-polar AlGaN/GaN quantum-well heterostructures induces a transition in these heterostructures from PPC to negativie photoconductivity (NPC)...
Scale-dependent alignment in compressible magnetohydrodynamic turbulence
Using $10,\!080^3$ grid simulations, we analyze scale-dependent alignment in driven, compressible, no net-flux magnetohydrodynamic turbulence. The plasma self-organizes into localized, strongly aligned regions. Alignment spans all primitive variables and their curls. Contrary to incompressible theory, velocity-magnetic alignment scales as $\theta(\lambda) \sim \lambda^{1/8}$,...
Interpretable Deep Learning for Polar Mechanistic Reaction Prediction
Accurately predicting chemical reactions is essential for driving innovation in synthetic chemistry, with broad applications in medicine, manufacturing, and agriculture. At the same time, reaction prediction is a complex problem which can be both time-consuming and resource-intensive for chemists to solve. Deep...
Explicit Ensemble Mean Clock Synchronization for Optimal Atomic Time Scale Generation
This paper presents a novel theoretical framework for atomic time scale generation, called explicit ensemble mean synchronization, which unifies clock synchronization and time scale generation within a control-theoretic paradigm. By exploiting an observable canonical decomposition of a standard atomic clock ensemble model,...
RiskNet: Interaction-Aware Risk Forecasting for Autonomous Driving in Long-Tail Scenarios
Ensuring the safety of autonomous vehicles (AVs) in long-tail scenarios remains a critical challenge, particularly under high uncertainty and complex multi-agent interactions. To address this, we propose RiskNet, an interaction-aware risk forecasting framework, which integrates deterministic risk modeling with probabilistic behavior prediction...
VLM-based Prompts as the Optimal Assistant for Unpaired Histopathology Virtual Staining
In histopathology, tissue sections are typically stained using common H&E staining or special stains (MAS, PAS, PASM, etc.) to clearly visualize specific tissue structures. The rapid advancement of deep learning offers an effective solution for generating virtually stained images, significantly reducing the...
Do It For Me vs. Do It With Me: Investigating User Perceptions of Different Paradigms of Automation in Copilots for Feature-Rich Software
Large Language Model (LLM)-based in-application assistants, or copilots, can automate software tasks, but users often prefer learning by doing, raising questions about the optimal level of automation for an effective user experience. We investigated two automation paradigms by designing and implementing a...
Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
Formal verification of software and compilers has been used to rule out large classes of security-critical issues, but risk of unintentional information leakage has received much less consideration. It is a key requirement for formal specifications to leave some details of a...