title: Information-driven Affordance Discovery for Efficient Robotic Manipulation

abstract: Robotic affordances, providing information about what actions can be taken in a given situation, can aid robotic manipulation. However, learning about affordances requires expensive large annotated datasets of interactions or demonstrations. In this work, we argue that well-directed interactions with the environment can mitigate this problem and propose an information-based measure to augment the agent's objective and accelerate the affordance discovery process. We provide a theoretical justification of our approach and we empirically validate the approach both in simulation and real-world tasks. Our method, which we dub IDA, enables the efficient discovery of visual affordances for several action primitives, such as grasping, stacking objects, or opening drawers, strongly improving data efficiency in simulation, and it allows us to learn grasping affordances in a small number of interactions, on a real-world setup with a UFACTORY XArm 6 robot arm.


title: On the Gromov width of complements of Lagrangian tori

abstract: An integral product Lagrangian torus in the standard symplectic $\mathbb{C}^2$ is defined to be a subset $\{ \pi|z_1|^2 = k, \, \pi|z_2|^2 =l \}$ with $k,l \in \mathbb{N}$. Let $\mathcal{L}$ be the union of all integral product Lagrangian tori. We compute the Gromov width of complements $B(R) \setminus \mathcal{L}$ for some small $R$, where $B(R)$ denotes the round ball of capacity $R$.


title: Extremes of interpolation scales of Banach spaces

abstract: M. Daher gave conditions so that the spheres of the spaces in the interior of a complex interpolation scale are uniformly homeomorphic. We look for sufficient conditions for the validity of this result and related ones on the extremes of the scale, with applications to uniform homeomorphism between spheres of Banach spaces and the sphere of $\ell_2$.


title: Tunable linear-optical phase amplification

abstract: We combine lossless, phase-only transformations with fully-transmitting linear-optical scatterers to define the principle of linear-optical phase amplification. This enables a physical phase shift $\phi$ to be nonlinearly mapped to a new space $\gamma(\phi)$ using linear optics, resulting in a completely general and enhanced phase shifter that can replace any standard one. A particular phase amplifier is experimentally realized, allowing the phase enhancement parameter $d\gamma/d\phi$ to be continuously tuned. Placing this enhanced phase shifter in one arm of a Mach-Zehnder interferometer led to an intensity-phase slope more than twenty times steeper than what can be obtained with its unamplified counterpart.


title: Outlier Gradient Analysis: Efficiently Improving Deep Learning Model Performance via Hessian-Free Influence Functions

abstract: Influence functions offer a robust framework for assessing the impact of each training data sample on model predictions, serving as a prominent tool in data-centric learning. Despite their widespread use in various tasks, the strong convexity assumption on the model and the computational cost associated with calculating the inverse of the Hessian matrix pose constraints, particularly when analyzing large deep models. This paper focuses on a classical data-centric scenario--trimming detrimental samples--and addresses both challenges within a unified framework. Specifically, we establish an equivalence transformation between identifying detrimental training samples via influence functions and outlier gradient detection. This transformation not only presents a straightforward and Hessian-free formulation but also provides profound insights into the role of the gradient in sample impact. Moreover, it relaxes the convexity assumption of influence functions, extending their applicability to non-convex deep models. Through systematic empirical evaluations, we first validate the correctness of our proposed outlier gradient analysis on synthetic datasets and then demonstrate its effectiveness in detecting mislabeled samples in vision models, selecting data samples for improving performance of transformer models for natural language processing, and identifying influential samples for fine-tuned Large Language Models.


title: AI-Driven Frameworks for Enhancing Data Quality in Big Data Ecosystems: Error_Detection, Correction, and Metadata Integration

abstract: The widespread adoption of big data has ushered in a new era of data-driven decision-making, transforming numerous industries and sectors. However, the efficacy of these decisions hinges on the quality of the underlying data. Poor data quality can result in inaccurate analyses and deceptive conclusions. Managing the vast volume, velocity, and variety of data sources presents significant challenges, heightening the importance of addressing big data quality issues. While there has been increased attention from both academia and industry, current approaches often lack comprehensiveness and universality. They tend to focus on limited metrics, neglecting other dimensions of data quality. Moreover, existing methods are often context-specific, limiting their applicability across different domains. There is a clear need for intelligent, automated approaches leveraging artificial intelligence (AI) for advanced data quality corrections. To bridge these gaps, this Ph.D. thesis proposes a novel set of interconnected frameworks aimed at enhancing big data quality comprehensively. Firstly, we introduce new quality metrics and a weighted scoring system for precise data quality assessment. Secondly, we present a generic framework for detecting various quality anomalies using AI models. Thirdly, we propose an innovative framework for correcting detected anomalies through predictive modeling. Additionally, we address metadata quality enhancement within big data ecosystems. These frameworks are rigorously tested on diverse datasets, demonstrating their efficacy in improving big data quality. Finally, the thesis concludes with insights and suggestions for future research directions.


title: Nonlinear Schr\"odinger-Poisson systems in dimension two: the zero mass case

abstract: We provide an existence result for a Schr\"odinger-Poisson system in gradient form, set in the whole plane, in the case of zero mass. Since the setting is limiting for the Sobolev embedding, we admit nonlinearities with subcritical or critical growth in the sense of Trudinger-Moser. In particular, the absence of the mass term requires a nonstandard functional framework, based on homogeneous Sobolev spaces. These features, combined with the logarithmic behaviour of the kernel of the Poisson equation, make the analysis delicate, since standard variational tools cannot be applied. The system is solved by considering the corresponding logarithmic Choquard equation. We prove the existence of a mountain pass-type solution via a careful analysis on specific Cerami sequences, whose boundedness is achieved by exploiting an appropriate functional, obtained by evaluating the energy functional on particular paths.


title: Non-projective Bell state measurements

abstract: The Bell state measurement (BSM) is the projection of two qubits onto four orthogonal maximally entangled states. Here, we first propose how to appropriately define more general BSMs, that have more than four possible outcomes, and then study whether they exist in quantum theory. We observe that non-projective BSMs can be defined in a systematic way in terms of equiangular tight frames of maximally entangled states, i.e.~a set of maximally entangled states, where every pair is equally, and in a sense maximally, distinguishable. We show that there exists a five-outcome BSM through an explicit construction, and find that it admits a simple geometric representation. Then, we prove that there exists no larger BSM on two qubits by showing that no six-outcome BSM is possible. We also determine the most distinguishable set of six equiangular maximally entangled states and show that it falls only somewhat short of forming a valid quantum measurement. Finally, we study the non-projective BSM in the contexts of both local state discrimination and entanglement-assisted quantum communication. Our results put forward natural forms of non-projective joint measurements and provide insight on the geometry of entangled quantum states.


title: Investigating Personalized Driving Behaviors in Dilemma Zones: Analysis and Prediction of Stop-or-Go Decisions

abstract: Dilemma zones at signalized intersections present a commonly occurring but unsolved challenge for both drivers and traffic operators. Onsets of the yellow lights prompt varied responses from different drivers: some may brake abruptly, compromising the ride comfort, while others may accelerate, increasing the risk of red-light violations and potential safety hazards. Such diversity in drivers' stop-or-go decisions may result from not only surrounding traffic conditions, but also personalized driving behaviors. To this end, identifying personalized driving behaviors and integrating them into advanced driver assistance systems (ADAS) to mitigate the dilemma zone problem presents an intriguing scientific question. In this study, we employ a game engine-based (i.e., CARLA-enabled) driving simulator to collect high-resolution vehicle trajectories, incoming traffic signal phase and timing information, and stop-or-go decisions from four subject drivers in various scenarios. This approach allows us to analyze personalized driving behaviors in dilemma zones and develop a Personalized Transformer Encoder to predict individual drivers' stop-or-go decisions. The results show that the Personalized Transformer Encoder improves the accuracy of predicting driver decision-making in the dilemma zone by 3.7% to 12.6% compared to the Generic Transformer Encoder, and by 16.8% to 21.6% over the binary logistic regression model.


title: Non-locality and Spillover Effects of Residential Flood Damage on Community Recovery: Insights from High-resolution Flood Claim and Mobility Data

abstract: Examining the relationship between vulnerability of the built environment and community recovery is crucial for understanding disaster resilience. Yet, this relationship is rather neglected in the existing literature due to previous limitations in the availability of empirical datasets needed for such analysis. In this study, we combine fine-resolution flood damage claims data (composed of both insured and uninsured losses) and human mobility data (composed of millions of movement trajectories) during the 2017 Hurricane Harvey in Harris County, Texas, to specify the extent to which vulnerability of the built environment (i.e., flood property damage) affects community recovery (based on the speed of human mobility recovery) locally and regionally. We examine this relationship using a spatial lag, spatial reach, and spatial decay models to measure the extent of spillover effects of residential damage on community recovery. The findings show that: first, the severity of residential damage significantly affects the speed of community recovery. A greater extent of residential damage suppresses community recovery not only locally but also in the surrounding areas. Second, the spatial spillover effect of residential damage on community recovery speed decays with distance from the highly damaged areas. Third, spatial areas display heterogeneous spatial decay coefficients, which are associated with urban structure features such as the density of points-of-interest facilities and roads. These findings provide a novel data-driven characterization of the spatial diffusion of residential flood damage effects on community recovery and move us closer to a better understanding of complex spatial processes that shape community resilience to hazards. This study also provides valuable insights for emergency managers and public officials seeking to mitigate the non-local effects of residential damage.


title: Rethinking Data Shapley for Data Selection Tasks: Misleads and Merits

abstract: Data Shapley provides a principled approach to data valuation and plays a crucial role in data-centric machine learning (ML) research. Data selection is considered a standard application of Data Shapley. However, its data selection performance has shown to be inconsistent across settings in the literature. This study aims to deepen our understanding of this phenomenon. We introduce a hypothesis testing framework and show that Data Shapley's performance can be no better than random selection without specific constraints on utility functions. We identify a class of utility functions, monotonically transformed modular functions, within which Data Shapley optimally selects data. Based on this insight, we propose a heuristic for predicting Data Shapley's effectiveness in data selection tasks. Our experiments corroborate these findings, adding new insights into when Data Shapley may or may not succeed.


title: Energy and temperature dependencies for electron-induced sputtering from H$_2$O-ice: Implications for the icy Galilean moons

abstract: To better assess the role that electrons play in exosphere production on icy-rich bodies, we measured the total and O$_2$ sputtering yields from H$_2$O-ice for electrons with energies between 0.75 and 10 keV and temperatures between 15 and 124.5 K. We find that both total and O$_2$ yields increase with decreasing energy over our studied range, increase rapidly at temperatures above 60 K, and that the relative amount of H$_2$O in the sputtered flux decreases quickly with increasing energy. Combining our data with other electron data in literature, we show that the accuracy of a widely used sputtering model can be improved significantly for electrons by adjusting some of the intrinsic parameter values. Applying our results to Europa, we estimate that electrons contribute to the production of the O$_2$ exosphere equally to all ion types combined. In contrast, sputtering of O$_2$ from Ganymede and Callisto appears to be dominated by irradiating ions, though electrons still likely contribute a non-negligible amount. While our estimates could be further refined by examining the importance of spatial variations in electron flux, we conclude that, at the very least, electrons seem to be important for exosphere production on icy surfaces and should be included in future modeling efforts.


title: Bounds and Dualities of Type II Little String Theories

abstract: We explore the symmetry structure of Type II Little String Theories and their T-dualities. We construct these theories both from the bottom-up perspective starting with seed Superconformal Field Theories, and from the top-down using F-/M-theory. By exploiting anomaly inflow and unitarity of the LST worldsheet theory, we derive strong conditions on the possible 6D bulk theories and their flavor algebras. These constraints continue to apply if gravity is coupled to the theory. We also study the higher form symmetry structure of these theories and show how they get exchanged under T-duality. Finally, we comment on seemingly consistent bottom-up Little String Theories that cannot be constructed from the top-down approach.


title: Sequence Compression Speeds Up Credit Assignment in Reinforcement Learning

abstract: Temporal credit assignment in reinforcement learning is challenging due to delayed and stochastic outcomes. Monte Carlo targets can bridge long delays between action and consequence but lead to high-variance targets due to stochasticity. Temporal difference (TD) learning uses bootstrapping to overcome variance but introduces a bias that can only be corrected through many iterations. TD($\lambda$) provides a mechanism to navigate this bias-variance tradeoff smoothly. Appropriately selecting $\lambda$ can significantly improve performance. Here, we propose Chunked-TD, which uses predicted probabilities of transitions from a model for computing $\lambda$-return targets. Unlike other model-based solutions to credit assignment, Chunked-TD is less vulnerable to model inaccuracies. Our approach is motivated by the principle of history compression and 'chunks' trajectories for conventional TD learning. Chunking with learned world models compresses near-deterministic regions of the environment-policy interaction to speed up credit assignment while still bootstrapping when necessary. We propose algorithms that can be implemented online and show that they solve some problems much faster than conventional TD($\lambda$).


title: Scalable Amortized GPLVMs for Single Cell Transcriptomics Data

abstract: Dimensionality reduction is crucial for analyzing large-scale single-cell RNA-seq data. Gaussian Process Latent Variable Models (GPLVMs) offer an interpretable dimensionality reduction method, but current scalable models lack effectiveness in clustering cell types. We introduce an improved model, the amortized stochastic variational Bayesian GPLVM (BGPLVM), tailored for single-cell RNA-seq with specialized encoder, kernel, and likelihood designs. This model matches the performance of the leading single-cell variational inference (scVI) approach on synthetic and real-world COVID datasets and effectively incorporates cell-cycle and batch information to reveal more interpretable latent structures as we demonstrate on an innate immunity dataset.


title: Efficient Radiation Treatment Planning based on Voxel Importance

abstract: Optimization is a time-consuming part of radiation treatment planning. We propose to reduce the optimization problem by only using a representative subset of informative voxels. This way, we improve planning efficiency while maintaining or enhancing the plan quality. To reduce the computational complexity of the optimization problem, we propose to subsample the set of voxels via importance sampling. We derive a sampling distribution based on an importance score that we obtain from pre-solving an easy optimization problem involving a simplified probing objective. By solving a reduced version of the original optimization problem using this subset, we effectively reduce the problem's size and computational demands while accounting for regions in which satisfactory dose deliveries are challenging. In contrast to other stochastic (sub-)sampling methods, our technique only requires a single sampling step to define a reduced optimization problem. This problem can be efficiently solved using established solvers. Empirical experiments on open benchmark data highlight substantially reduced optimization times, up to 50 times faster than the original ones, for intensity-modulated radiation therapy (IMRT), all while upholding plan quality comparable to traditional methods. Our approach has the potential to significantly accelerate radiation treatment planning by addressing its inherent computational challenges. We reduce the treatment planning time by reducing the size of the optimization problem rather than improving the optimization method. Our efforts are thus complementary to much of the previous developments.


title: High Fidelity Artificial Quantum Thermal State Generation using Encoded Coherent States

abstract: Quantum steganography is a powerful method for information security where communications between a sender and receiver are disguised as naturally occurring noise in a channel. We encoded the phase and amplitude of weak coherent laser states such that a third party monitoring the communications channel, measuring the flow of optical states through the channel, would see an amalgamation of states indistinguishable from thermal noise light. Using quantum state tomography, we experimentally reconstructed the density matrices for artificially engineered thermal states and spontaneous emission from an optical amplifier and verified a state fidelity F>0.98 when compared with theoretical thermal states.


title: Trio-ViT: Post-Training Quantization and Acceleration for Softmax-Free Efficient Vision Transformer

abstract: Motivated by the huge success of Transformers in the field of natural language processing (NLP), Vision Transformers (ViTs) have been rapidly developed and achieved remarkable performance in various computer vision tasks. However, their huge model sizes and intensive computations hinder ViTs' deployment on embedded devices, calling for effective model compression methods, such as quantization. Unfortunately, due to the existence of hardware-unfriendly and quantization-sensitive non-linear operations, particularly {Softmax}, it is non-trivial to completely quantize all operations in ViTs, yielding either significant accuracy drops or non-negligible hardware costs. In response to challenges associated with \textit{standard ViTs}, we focus our attention towards the quantization and acceleration for \textit{efficient ViTs}, which not only eliminate the troublesome Softmax but also integrate linear attention with low computational complexity, and propose \emph{Trio-ViT} accordingly. Specifically, at the algorithm level, we develop a {tailored post-training quantization engine} taking the unique activation distributions of Softmax-free efficient ViTs into full consideration, aiming to boost quantization accuracy. Furthermore, at the hardware level, we build an accelerator dedicated to the specific Convolution-Transformer hybrid architecture of efficient ViTs, thereby enhancing hardware efficiency. Extensive experimental results consistently prove the effectiveness of our Trio-ViT framework. {Particularly, we can gain up to $\uparrow$$\mathbf{7.2}\times$ and $\uparrow$$\mathbf{14.6}\times$ FPS under comparable accuracy over state-of-the-art ViT accelerators, as well as $\uparrow$$\mathbf{5.9}\times$ and $\uparrow$$\mathbf{2.0}\times$ DSP efficiency.} Codes will be released publicly upon acceptance.


title: sqlelf: a SQL-centric Approach to ELF Analysis

abstract: The exploration and understanding of Executable and Linkable Format (ELF) objects underpin various critical activities in computer systems, from debugging to reverse engineering. Traditional UNIX tooling like readelf, nm, and objdump have served the community reliably over the years. However, as the complexity and scale of software projects has grown, there arises a need for more intuitive, flexible, and powerful methods to investigate ELF objects. In this paper, we introduce sqlelf, an innovative tool that empowers users to probe ELF objects through the expressive power of SQL. By modeling ELF objects as relational databases, sqlelf offers the following advantages over conventional methods. Our evaluations demonstrate that sqlelf not only provides more nuanced and comprehensive insights into ELF objects but also significantly reduces the effort and time traditionally required for ELF exploration tasks


title: BadFusion: 2D-Oriented Backdoor Attacks against 3D Object Detection

abstract: 3D object detection plays an important role in autonomous driving; however, its vulnerability to backdoor attacks has become evident. By injecting ''triggers'' to poison the training dataset, backdoor attacks manipulate the detector's prediction for inputs containing these triggers. Existing backdoor attacks against 3D object detection primarily poison 3D LiDAR signals, where large-sized 3D triggers are injected to ensure their visibility within the sparse 3D space, rendering them easy to detect and impractical in real-world scenarios. In this paper, we delve into the robustness of 3D object detection, exploring a new backdoor attack surface through 2D cameras. Given the prevalent adoption of camera and LiDAR signal fusion for high-fidelity 3D perception, we investigate the latent potential of camera signals to disrupt the process. Although the dense nature of camera signals enables the use of nearly imperceptible small-sized triggers to mislead 2D object detection, realizing 2D-oriented backdoor attacks against 3D object detection is non-trivial. The primary challenge emerges from the fusion process that transforms camera signals into a 3D space, compromising the association with the 2D trigger to the target output. To tackle this issue, we propose an innovative 2D-oriented backdoor attack against LiDAR-camera fusion methods for 3D object detection, named BadFusion, for preserving trigger effectiveness throughout the entire fusion process. The evaluation demonstrates the effectiveness of BadFusion, achieving a significantly higher attack success rate compared to existing 2D-oriented attacks.


title: Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games

abstract: We present version 2.0 of the Partial Exploration Tool (PET), a tool for verification of probabilistic systems. We extend the previous version by adding support for stochastic games, based on a recent unified framework for sound value iteration algorithms. Thereby, PET2 is the first tool implementing a sound and efficient approach for solving stochastic games with objectives of the type reachability/safety and mean payoff. We complement this approach by developing and implementing a partial-exploration based variant for all three objectives. Our experimental evaluation shows that PET2 offers the most efficient partial-exploration based algorithm and is the most viable tool on SGs, even outperforming unsound tools.


title: Purity for Perfectoidness

abstract: There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits of semi-stable affine schemes. In fact, we established a valuative criterion for such an algebra being perfectoid, saying that it suffices to check the perfectoidness of the stalks of the associated Riemann-Zariski space. Combining with Gabber-Ramero's computation of differentials of valuation rings, we obtain a differential criterion for perfectoidness. We also establish a purity result for perfectoidness when the limit preserves generic points of the special fibres. As an application to limits of smooth $p$-adic varieties (on the generic point), assuming either the poly-stable modification conjecture or working only with curves, we prove that stalk-wise perfectoidness implies vanishing of the higher completed \'etale cohomology groups of the smooth varieties, which is inspired by Scholze's vanishing for Shimura varieties. Moreover, we give an explicit description of the completed \'etale cohomology group in the top degree in terms of the colimit of Zariski cohomology groups of the structural sheaves.


title: A variable star population in the open cluster NGC\,6819 observed by the Kepler spacecraft

abstract: We present the list of variable stars we found in the \kep\ superstamp data covering approximately nine arcminutes from the central region of NGC6819. This is a continuation of our work presented by Sanjayan et al.(2022a). We classified the variable stars based on the variability type and we established their cluster membership based on the available Gaia Data Release 3 astrometry. Our search revealed 385 variable stars but only 128 were found to be cluster members. In the case of eclipsing and contact binaries we calculated the mid-times of eclipses and derived ephemerides. We searched for eclipse timing variation using the observed minus calculated diagrams. Only five objects show significant orbital period variation. We used isochrones calculated within the MESA Isochrones and Stellar Tracks project and derived the average age (2.54 Gyr), average distance (2.3 kpc) and iron content [Fe/H] = -0.01(2), of NGC6819. We confirm this distance by the one derived from Gaia astrometry of the cluster members with membership probabilities greater than 0.9.


title: Measurized Discounted Markov Decision Processes

abstract: In this paper, we build a framework that facilitates the analysis of discounted infinite horizon Markov Decision Processes (MDPs) by visualizing them as deterministic processes where the states are probability measures on the original state space and the actions are stochastic kernels on the original action space. We provide a simple general algebraic approach to lifting any MDP to this space of measures; we call this to measurize the original stochastic MDP. We show that measurized MDPs are in fact a generalization of stochastic MDPs, thus the measurized framework can be deployed without loss of fidelity. Lifting an MDP can be convenient because the measurized framework enables constraints and value function approximations that are not easily available from the standard MDP setting. For instance, one can add restrictions or build approximations based on moments, quantiles, risk measures, etc. Moreover, since the measurized counterpart to any MDP is deterministic, the measurized optimality equations trade the complexity of dealing with the expected value function that appears in the stochastic optimality equations with a more complex state space.


title: ContextQ: Generated Questions to Support Meaningful Parent-Child Dialogue While Co-Reading

abstract: Much of early literacy education happens at home with caretakers reading books to young children. Prior research demonstrates how having dialogue with children during co-reading can develop critical reading readiness skills, but most adult readers are unsure if and how to lead effective conversations. We present ContextQ, a tablet-based reading application to unobtrusively present auto-generated dialogic questions to caretakers to support this dialogic reading practice. An ablation study demonstrates how our method of encoding educator expertise into the question generation pipeline can produce high-quality output; and through a user study with 12 parent-child dyads (child age: 4-6), we demonstrate that this system can serve as a guide for parents in leading contextually meaningful dialogue, leading to significantly more conversational turns from both the parent and the child and deeper conversations with connections to the child's everyday life.


title: SVan: A Mobile Hub as a Field Robotics Development and Deployment Platform

abstract: As robotics becomes increasingly vital for environmental protection, there is a growing need for effective deployment methods that match the pace of robotics innovation. Current strategies often fall short, leaving a gap between the potential of robotics and their practical application in the field. Addressing this challenge, we introduce a mobile hub concept designed to provide the necessary infrastructure and support for deploying a diverse, multi-domain robot team effectively. This paper presents the development and insights into `SVAN' (Synchronous Team-Robot Van), a prototype of our mobile hub concept. We delve into the mechanical construction and software setup of SVAN, offering a comprehensive overview of its capabilities and design considerations. Further, we discuss the hardware specifications and share valuable lessons learned during the prototype's development and deployment. In addition to this paper, an accepted video complements our exploration by depicting SVAN in its envisioned role as an environmental guardian, highlighting its potential in ecological monitoring and preservation. Furthermore, our discussion is enriched by referencing a previously accepted paper detailing a novel methodology for continuous UAV mission cycling enabled by a mobile hub like SVAN. These accompanying works underscore our contribution towards addressing the existing gaps in robot deployment strategies, presenting a scalable and efficient framework to overcome operational challenges in environmental robotics.


title: Enhancing O-RAN Security: Evasion Attacks and Robust Defenses for Graph Reinforcement Learning-based Connection Management

abstract: Adversarial machine learning, focused on studying various attacks and defenses on machine learning (ML) models, is rapidly gaining importance as ML is increasingly being adopted for optimizing wireless systems such as Open Radio Access Networks (O-RAN). A comprehensive modeling of the security threats and the demonstration of adversarial attacks and defenses on practical AI based O-RAN systems is still in its nascent stages. We begin by conducting threat modeling to pinpoint attack surfaces in O-RAN using an ML-based Connection management application (xApp) as an example. The xApp uses a Graph Neural Network trained using Deep Reinforcement Learning and achieves on average 54% improvement in the coverage rate measured as the 5th percentile user data rates. We then formulate and demonstrate evasion attacks that degrade the coverage rates by as much as 50% through injecting bounded noise at different threat surfaces including the open wireless medium itself. Crucially, we also compare and contrast the effectiveness of such attacks on the ML-based xApp and a non-ML based heuristic. We finally develop and demonstrate robust training-based defenses against the challenging physical/jamming-based attacks and show a 15% improvement in the coverage rates when compared to employing no defense over a range of noise budgets


title: Out-of-Distribution Adaptation in Offline RL: Counterfactual Reasoning via Causal Normalizing Flows

abstract: Despite notable successes of Reinforcement Learning (RL), the prevalent use of an online learning paradigm prevents its widespread adoption, especially in hazardous or costly scenarios. Offline RL has emerged as an alternative solution, learning from pre-collected static datasets. However, this offline learning introduces a new challenge known as distributional shift, degrading the performance when the policy is evaluated on scenarios that are Out-Of-Distribution (OOD) from the training dataset. Most existing offline RL resolves this issue by regularizing policy learning within the information supported by the given dataset. However, such regularization overlooks the potential for high-reward regions that may exist beyond the dataset. This motivates exploring novel offline learning techniques that can make improvements beyond the data support without compromising policy performance, potentially by learning causation (cause-and-effect) instead of correlation from the dataset. In this paper, we propose the MOOD-CRL (Model-based Offline OOD-Adapting Causal RL) algorithm, which aims to address the challenge of extrapolation for offline policy training through causal inference instead of policy-regularizing methods. Specifically, Causal Normalizing Flow (CNF) is developed to learn the transition and reward functions for data generation and augmentation in offline policy evaluation and training. Based on the data-invariant, physics-based qualitative causal graph and the observational data, we develop a novel learning scheme for CNF to learn the quantitative structural causal model. As a result, CNF gains predictive and counterfactual reasoning capabilities for sequential decision-making tasks, revealing a high potential for OOD adaptation. Our CNF-based offline RL approach is validated through empirical evaluations, outperforming model-free and model-based methods by a significant margin.


title: Large Effects of Small Cues: Priming Selfish Economic Decisions

abstract: Many experimental studies report that economics students tend to act more selfishly than students of other disciplines, a finding that received widespread public and professional attention. Two main explanations that the existing literature offers for the differences found in the behavior between economists and noneconomists are the selection effect, and the indoctrination effect. We offer an alternative, novel explanation. We argue that these differences can be explained by differences in the interpretation of the context. We test this hypothesis by conducting two social dilemma experiments in the US and Israel with participants from both economics and non-economics majors. In the experiments, participants face a tradeoff between profit maximization, that is the market norm and workers welfare, that is the social norm. We use priming to manipulate the cues that the participants receive before they make their decision. We find that when participants receive cues signaling that the decision has an economic context, both economics and non-economics students tend to maximize profits. When the participants receive cues emphasizing social norms, on the other hand, both economics and non-economics students are less likely to maximize profits. We conclude that some of the differences found between the decisions of economics and non-economics students can be explained by contextual cues.


title: MVDiff: Scalable and Flexible Multi-View Diffusion for 3D Object Reconstruction from Single-View

abstract: Generating consistent multiple views for 3D reconstruction tasks is still a challenge to existing image-to-3D diffusion models. Generally, incorporating 3D representations into diffusion model decrease the model's speed as well as generalizability and quality. This paper proposes a general framework to generate consistent multi-view images from single image or leveraging scene representation transformer and view-conditioned diffusion model. In the model, we introduce epipolar geometry constraints and multi-view attention to enforce 3D consistency. From as few as one image input, our model is able to generate 3D meshes surpassing baselines methods in evaluation metrics, including PSNR, SSIM and LPIPS.


title: Quasi-positive curvature and vanishing theorems

abstract: In this paper, we consider mixed curvature $\mathcal{C}_{a,b}$, which is a convex combination of Ricci curvature and holomorphic sectional curvature introduced by Chu-Lee-Tam. We prove that if a compact complex manifold M admits a K\"{a}hler metric with quasi-positive mixed curvature and $3a+2b\geq0$, then it is projective. If $a,b\geq0$, then M is rationally connected. As a corollary, the same result holds for k-Ricci curvature. We also show that any compact K\"{a}hler manifold with quasi-positive 2-scalar curvature is projective. Lastly, we generalize the result to the Hermitian case. In particular, any compact Hermitian threefold with quasi-positive real bisectional curvature have vanishing Hodge number $h^{2,0}$. Furthermore, if it is K\"{a}hlerian, it is projective.


title: Quantum sensing in the fractional Fourier domain

abstract: Certain quantum sensing protocols rely on qubits that are initialized, coherently driven in the presence of a stimulus to be measured, then read out. Most widely employed pulse sequences used to drive sensing qubits act locally in either the time or frequency domain. We introduce a generalized set of sequences that effect a measurement in any fractional Fourier domain, i.e. along a linear trajectory of arbitrary angle through the time-frequency plane. Using an ensemble of nitrogen-vacancy centers we experimentally demonstrate advantages in sensing signals with time-varying spectra.


title: Symmetries of the cyclic nerve

abstract: We undertake a systematic study of the Hochschild homology, i.e. (the geometric realization of) the cyclic nerve, of $(\infty,1)$-categories (and more generally of category-objects in an $\infty$-category), as a version of factorization homology. In order to do this, we codify $(\infty,1)$-categories in terms of quiver representations in them. By examining a universal instance of such Hochschild homology, we explicitly identify its natural symmetries, and construct a non-stable version of the cyclotomic trace map. Along the way we give a unified account of the cyclic, paracyclic, and epicyclic categories. We also prove that this gives a combinatorial description of the $n=1$ case of factorization homology as presented in [AFR18], which parametrizes $(\infty,1)$-categories by solidly 1-framed stratified spaces.


title: With or Without Permission: Site-Specific Augmented Reality for Social Justice

abstract: Movements for social change are often tied to a particular locale. This makes Augmented Reality (AR), which changes how people perceive their surroundings, a promising technology for social justice. Site-specific AR empowers activists to re-tell the story of a place, with or without permission of its owner. It has been used, for example, to reveal hidden histories, re-imagine problematic monuments, and celebrate minority cultures. However, challenges remain concerning technological ownership and accessibility, scalability, sustainability, and navigating collaborations with marginalized communities and across disciplinary boundaries. This half-day workshop at CHI 2024 seeks to bring together an interdisciplinary group of activists, computer scientists, designers, media scholars, and more to identify opportunities and challenges across domains. To anchor the discussion, participants will each share one example of an artifact used in speculating, designing, and/or delivering site-specific AR experiences. This collection of artifacts will inaugurate an interactive database that can inspire a new wave of activists to leverage AR for social justice.


title: Modeling and performance analysis of Implicit Electric Field Conjugation with two deformable mirrors applied to the Roman Coronagraph

abstract: High-order wavefront sensing and control (HOWFSC) is key to create a dark hole region within the coronagraphic image plane where high contrasts are achieved. The Roman Coronagraph is expected to perform its HOWFSC with a ground-in-the-loop scheme due to the computational complexity of the Electric Field Conjugation (EFC) algorithm. This scheme provides the flexibility to alter the HOWFSC algorithm for given science objectives. The baseline HOWFSC scheme involves running EFC while observing a bright star such as {\zeta} Puppis to create the initial dark hole followed by a slew to the science target. The new implicit EFC (iEFC) algorithm removes the optical diffraction model from the controller, making the final contrast independent of model accuracy. While previously demonstrated with a single DM, iEFC is extended to two deformable mirror systems in order to create annular dark holes. The algorithm is then applied to the Wide-Field-of-View Shaped Pupil Coronagraph (SPC-WFOV) mode designed for the Roman Space Telescope using end-to-end physical optics models. Initial monochromatic simulations demonstrate the efficacy of iEFC as well as the optimal choice of modes for the SPC-WFOV instrument. Further simulations with a 3.6% wavefront control bandpass and a broader 10% bandpass then demonstrate that iEFC can be used in broadband scenarios to achieve contrasts below 1E-8 with Roman. Finally, an EMCCD model is implemented to estimate calibration times and predict the controller's performance. Here, 1E-8 contrasts are achieved with a calibration time of about 6.8 hours assuming the reference star is {\zeta} Puppis. The results here indicate that iEFC can be a valid HOWFSC method that can mitigate the risk of model errors associated with space-borne coronagraphs, but to maximize iEFC performance, lengthy calibration times will be required to mitigate the noise accumulated during calibration.


title: Multi-Mode Array Filtering of Resonance Fluorescence

abstract: We present a novel frequency-filtering method for measuring and calculating frequency-filtered photon-correlations. This novel method is a cavity-based system we call the multi-mode array filter, which consists of an array of tunable single-mode cavities that are equally spaced in frequency. By introducing a mode-dependent phase modulation, we produce a near rectangular frequency response, allowing us to increase the filter bandwidth -- and thus the temporal response -- without sacrificing frequency isolation. We model the frequency filtering using a cascaded quantum open systems approach which completely neglects any back-action of the filter onto the source system. This allows us to derive a closed set of operator moment equations for source and filter system operators, thus providing an extremely efficient method to calculate frequency-filtered first- and second-order correlation functions. We demonstrate this novel filtering method by applying it to a resonantly driven two-level atom. We present examples of frequency-filtered power spectra to demonstrate the improved frequency isolation of the multi-mode array filter over the single-mode filter. We then present results for the single-mode and multi-mode-array filtered second-order auto- and cross-correlation functions. These are compared against expressions derived in the secular approximation. The improved frequency isolation of the multi-mode array filter allows us to investigate new regimes of frequency-filtered photon correlations, such as two-photon leapfrog processes, and the effect of vanishing bandwidth on filtered auto-correlation functions.


title: OmniActions: Predicting Digital Actions in Response to Real-World Multimodal Sensory Inputs with LLMs

abstract: The progression to "Pervasive Augmented Reality" envisions easy access to multimodal information continuously. However, in many everyday scenarios, users are occupied physically, cognitively or socially. This may increase the friction to act upon the multimodal information that users encounter in the world. To reduce such friction, future interactive interfaces should intelligently provide quick access to digital actions based on users' context. To explore the range of possible digital actions, we conducted a diary study that required participants to capture and share the media that they intended to perform actions on (e.g., images or audio), along with their desired actions and other contextual information. Using this data, we generated a holistic design space of digital follow-up actions that could be performed in response to different types of multimodal sensory inputs. We then designed OmniActions, a pipeline powered by large language models (LLMs) that processes multimodal sensory inputs and predicts follow-up actions on the target information grounded in the derived design space. Using the empirical data collected in the diary study, we performed quantitative evaluations on three variations of LLM techniques (intent classification, in-context learning and finetuning) and identified the most effective technique for our task. Additionally, as an instantiation of the pipeline, we developed an interactive prototype and reported preliminary user feedback about how people perceive and react to the action predictions and its errors.


title: Quantum fluctuation theorem in a curved spacetime

abstract: The interplay between thermodynamics, general relativity and quantum mechanics has long intrigued researchers. Recently, important advances have been obtained in thermodynamics, mainly regarding its application to the quantum domain through fluctuation theorems. In this letter, we apply Fermi normal coordinates to report a fully general relativistic detailed quantum fluctuation theorem based on the two point measurement scheme. We demonstrate how the spacetime curvature can produce entropy in a localized quantum system moving in a general spacetime. The example of a quantum harmonic oscillator living in an expanding universe is presented. This result implies that entropy production is strongly observer dependent and deeply connects the arrow of time with the causal structure of the spacetime.


title: Unified Locational Differential Privacy Framework

abstract: Aggregating statistics over geographical regions is important for many applications, such as analyzing income, election results, and disease spread. However, the sensitive nature of this data necessitates strong privacy protections to safeguard individuals. In this work, we present a unified locational differential privacy (DP) framework to enable private aggregation of various data types, including one-hot encoded, boolean, float, and integer arrays, over geographical regions. Our framework employs local DP mechanisms such as randomized response, the exponential mechanism, and the Gaussian mechanism. We evaluate our approach on four datasets representing significant location data aggregation scenarios. Results demonstrate the utility of our framework in providing formal DP guarantees while enabling geographical data analysis.


title: Transformer models classify random numbers

abstract: Random numbers are incredibly important in a variety of fields, and the need for their validation remains important. A Quantum Random Number Generator (QRNG) can theoretically generate truly random numbers however this does not remove the need to thoroughly test their randomness. Generally, the task of validating random numbers has been delegated to different statistical tests such as the tests from the NIST Statistical Test Suite (STS) which are often slow and only perform one task at a time. Our work presents a deep learning model that utilizes the transformer architecture to encode some of the tests from the NIST STS in a single model that also runs much faster. This model performs multi-label classification on these tests and outputs the probability of passing each statistical test that it encodes. We perform a thorough hyper-parameter optimization to converge on the best possible model and as a result, achieve a high degree of accuracy with a sample f1 score of above 0.9.


title: A 65nm 36nJ/Decision Bio-inspired Temporal-Sparsity-Aware Digital Keyword Spotting IC with 0.6V Near-Threshold SRAM

abstract: This paper introduces, to the best of the authors' knowledge, the first fine-grained temporal sparsity-aware keyword spotting (KWS) IC leveraging temporal similarities between neighboring feature vectors extracted from input frames and network hidden states, eliminating unnecessary operations and memory accesses. This KWS IC, featuring a bio-inspired delta-gated recurrent neural network ({\Delta}RNN) classifier, achieves an 11-class Google Speech Command Dataset (GSCD) KWS accuracy of 90.5% and energy consumption of 36nJ/decision. At 87% temporal sparsity, computing latency and energy per inference are reduced by 2.4$\times$/3.4$\times$, respectively. The 65nm design occupies 0.78mm$^2$ and features two additional blocks, a compact 0.084mm$^2$ digital infinite-impulse-response (IIR)-based band-pass filter (BPF) audio feature extractor (FEx) and a 24kB 0.6V near-Vth weight SRAM with 6.6$\times$ lower read power compared to the standard SRAM.


title: A Puzzle About General Covariance and Gauge

abstract: We consider two simple criteria for when a physical theory should be said to be "generally covariant", and we argue that these criteria are not met by Yang-Mills theory, even on geometric formulations of that theory. The reason, we show, is that the bundles encountered in Yang-Mills theory are not natural bundles; instead, they are gauge-natural. We then show how these observations relate to previous arguments about the significance of solder forms in assessing disanalogies between general relativity and Yang-Mills theory. We conclude by suggesting that general covariance is really about functoriality.


title: Charged lepton-flavor violating constraints to non-unitarity in the Linear Seesaw scheme

abstract: We analyze the non-unitary effects in the linear seesaw mechanism using the current constraints and future sensitivity of the charged Lepton Flavor Violation (cLFV) processes. We perform a random scan confronting the non-unitary parameters with the limits to the cLFV processes. We show our results for the normal and inverted ordering of the oscillation data. We also discuss the equivalence of different parametrizations of the non-unitary mixing matrix and show our results in terms of the different parameterizations. We found that the stronger restrictions in the non-unitary parameter space come from rare muon decay searches.


title: Deterministic Expander Routing: Faster and More Versatile

abstract: We consider the expander routing problem formulated by Ghaffari, Kuhn, and Su (PODC 2017), where the goal is to route all the tokens to their destinations given that each vertex is the source and the destination of at most $\deg(v)$ tokens. They developed $\textit{randomized algorithms}$ that solve this problem in $\text{poly}(\phi^{-1}) \cdot 2^{O(\sqrt{\log n \log \log n})}$ rounds in the $\textsf{CONGEST}$ model, where $\phi$ is the conductance of the graph. Later, Ghaffari and Li (DISC 2018) gave an improved algorithm. However, both algorithms are randomized, which means that all the resulting applications are also randomized. Recently, Chang and Saranurak (FOCS 2020) gave a deterministic algorithm that solves an expander routing instance in $2^{O(\log^{2/3} n \cdot \log^{1/3} \log n)}$ rounds. The deterministic algorithm is less efficient and does not allow preprocessing/query tradeoffs, which precludes the de-randomization of algorithms that require this feature, such as the $k$-clique enumeration algorithm in general graphs. The main contribution of our work is a new deterministic expander routing algorithm that not only matches the randomized bound of [GKS 2017] but also allows preprocessing/query tradeoffs. Our algorithm solves a single instance of routing query in $2^{{O}(\sqrt{\log n \cdot \log \log n})}$ rounds. Our algorithm achieves the following preprocessing and query tradeoffs: For $0 < \epsilon < 1$, we can answer every routing query in $\log^{O(1/\epsilon)} n$ rounds at the cost of a $(n^{O(\epsilon)} + \log^{O(1/\epsilon)} n)$-round preprocessing procedure. Combining this with the approach of Censor-Hillel, Leitersdorf, and Vulakh (PODC 2022), we obtain a near-optimal $\tilde{O}(n^{1-2/k})$-round deterministic algorithm for $k$-clique enumeration in general graphs, improving the previous state-of-the-art $n^{1-2/k+o(1)}$.


title: Stability of traveling waves in non-cooperative systems with nonlocal dispersal of equal diffusivities

abstract: In this work, we first prove a stability theorem for traveling waves in a class of non-cooperative reaction-diffusion systems with nonlocal dispersal of equal diffusivities. Our stability criterion is in the sense that the initial perturbation is such that a suitable weighted relative entropy function is bounded and integrable. Then we apply our main theorem to derive the stability of traveling waves for some specific examples of non-cooperative systems arising in ecology and epidemiology.


title: A Primer on the Analysis of Randomized Experiments and a Survey of some Recent Advances

abstract: The past two decades have witnessed a surge of new research in the analysis of randomized experiments. The emergence of this literature may seem surprising given the widespread use and long history of experiments as the "gold standard" in program evaluation, but this body of work has revealed many subtle aspects of randomized experiments that may have been previously unappreciated. This article provides an overview of some of these topics, primarily focused on stratification, regression adjustment, and cluster randomization.


title: Federated Graph Condensation with Information Bottleneck Principles

abstract: Graph condensation, which reduces the size of a large-scale graph by synthesizing a small-scale condensed graph as its substitution, has immediately benefited various graph learning tasks. However, existing graph condensation methods rely on centralized data storage, which is unfeasible for real-world decentralized data distribution, and overlook data holders' privacy-preserving requirements. To bridge the gap, we propose and study the novel problem of federated graph condensation for graph neural networks (GNNs). Specifically, we first propose a general framework for federated graph condensation, in which we decouple the typical gradient matching process for graph condensation into client-side gradient calculation and server-side gradient matching. In this way, the burdensome computation cost in client-side is largely alleviated. Besides, our empirical studies show that under the federated setting, the condensed graph will consistently leak data membership privacy, i.e., the condensed graph during the federated training can be utilized to steal the training data under the membership inference attacks (MIA). To tackle this issue, we innovatively incorporate information bottleneck principles into the federated graph condensation, which only needs to extract partial node features in one local pre-training step and utilize the features during federated training. Extensive experiments on real-world datasets demonstrate that our framework can consistently protect membership privacy during training. Meanwhile, it also achieves comparable and even superior performance against existing centralized graph condensation and federated graph learning methods.


title: A Thin Film Lithium Niobate Near-Infrared Platform for Multiplexing Quantum Nodes

abstract: Practical quantum networks will require quantum nodes consisting of many memory qubits. This in turn will increase the complexity of the photonic circuits needed to control each qubit and will require strategies to multiplex memories and overcome the inhomogeneous distribution of their transition frequencies. Integrated photonics operating at visible to near-infrared (VNIR) wavelength range, compatible with the transition frequencies of leading quantum memory systems, can provide solutions to these needs. In this work, we realize a VNIR thin-film lithium niobate (TFLN) integrated photonics platform with the key components to meet these requirements. These include low-loss couplers ($<$ 1 dB/facet), switches ($>$ 20 dB extinction), and high-bandwidth electro-optic modulators ($>$ 50 GHz). With these devices we demonstrate high-efficiency and CW-compatible frequency shifting ($>$ 50 $\%$ efficiency at 15 GHz), as well as simultaneous laser amplitude and frequency control through a nested modulator structure. Finally, we highlight an architecture for multiplexing quantum memories using the demonstrated TFLN components, and outline how this platform can enable a 2-order of magnitude improvement in entanglement rates over single memory nodes. Our results demonstrate that TFLN can meet the necessary performance and scalability benchmarks to enable large-scale quantum nodes.


title: Digital Twin Calibration for Biological System-of-Systems: Cell Culture Manufacturing Process

abstract: Biomanufacturing innovation relies on an efficient design of experiments (DoE) to optimize processes and product quality. Traditional DoE methods, ignoring the underlying bioprocessing mechanisms, often suffer from a lack of interpretability and sample efficiency. This limitation motivates us to create a new optimal learning approach that can guide a sequential DoEs for digital twin model calibration. In this study, we consider a multi-scale mechanistic model for cell culture process, also known as Biological Systems-of-Systems (Bio-SoS), as our digital twin. This model with modular design, composed of sub-models, allows us to integrate data across various production processes. To calibrate the Bio-SoS digital twin, we evaluate the mean squared error of model prediction and develop a computational approach to quantify the impact of parameter estimation error of individual sub-models on the prediction accuracy of digital twin, which can guide sample-efficient and interpretable DoEs.


title: VLBA Astrometry of the Galactic Double Neutron Stars PSR J0509+3801 and PSR J1930-1852: A Preliminary Transverse Velocity Distribution of Double Neutron Stars and Its Implications

abstract: The mergers of double neutron stars (DNSs) systems are believed to drive the majority of short $\gamma$-ray bursts (SGRBs), while also serving as production sites of heavy r-process elements. Despite being key to i) confirming the nature of the extragalactic SGRBs, ii) addressing the poorly-understood r-process enrichment in the ultra-faint dwarf galaxies (UFDGs), and iii) probing the formation process of DNS systems, the space velocity distribution of DNSs is still poorly constrained due to the small number of DNSs with well-determined astrometry. In this work, we determine new proper motions and parallaxes of two Galactic DNSs -- PSR J0509+3801 and PSR J1930-1852, using the Very Long Baseline Array, and estimate the transverse velocities $v_\perp$ of all the 11 isolated Galactic DNSs having proper motion measurements in a consistent manner. Our correlation analysis reveals that the DNS $v_\perp$ is tentatively correlated with three parameters: spin period, orbital eccentricity, and companion mass. With the preliminary $v_\perp$ distribution, we obtain the following findings. Firstly, the refined $v_\perp$ distribution is confirmed to agree with the observed displacements of the localized SGRBs from their host galaxy birth sites. Secondly, we estimate that around 11% and 25% of DNSs remain gravitationally bound to UFDGs with escape velocities of 15$\mathrm{~km~s^{-1}}$ and 25$\mathrm{~km~s^{-1}}$, respectively. Hence, the retained DNSs might indeed be responsible for the r-process enrichment confirmed so far in a few UFDGs. Finally, we discuss how a future ensemble of astrometrically determined DNSs may probe the multimodality of the $v_\perp$ distribution.


title: Motivating Users to Attend to Privacy: A Theory-Driven Design Study

abstract: In modern technology environments, raising users' privacy awareness is crucial. Existing efforts largely focused on privacy policy presentation and failed to systematically address a radical challenge of user motivation for initiating privacy awareness. Leveraging the Protection Motivation Theory (PMT), we proposed design ideas and categories dedicated to motivating users to engage with privacy-related information. Using these design ideas, we created a conceptual prototype, enhancing the current App Store product page. Results from an online experiment and follow-up interviews showed that our design effectively motivated participants to attend to privacy issues, raising both the threat appraisal and coping appraisal, two main factors in PMT. Our work indicated that effective design should consider combining PMT components, calibrating information content, and integrating other design elements, such as visual cues and user familiarity. Overall, our study contributes valuable design considerations driven by the PMT to amplify the motivational aspect of privacy communication.


title: Robust Optimization for Spot Scanning Proton Therapy based on Dose-Linear Energy Transfer (LET) Volume Constraints

abstract: Purpose: Historically, spot scanning proton therapy (SSPT) treatment planning utilizes dose volume constraints and linear-energy-transfer (LET) volume constraints separately to balance tumor control and organs-at-risk (OARs) protection. We propose a novel dose-LET volume constraint (DLVC)-based robust optimization (DLVCRO) method for SSPT in treating prostate cancer to obtain a desirable joint dose and LET distribution to minimize adverse events (AEs). Methods: DLVCRO treats DLVC as soft constraints controlling the joint distribution of dose and LET. Ten prostate cancer patients were included with rectum and bladder as OARs. DLVCRO was compared with the conventional robust optimization (RO) method using the worst-case analysis method. Besides the dose-volume histogram (DVH) indices, the analogous LETVH and extra-biological-dose (xBD)-volume histogram indices were also used. The Wilcoxon signed rank test was used to measure statistical significance. Results: In nominal scenario, DLVCRO significantly improved dose, LET and xBD distributions to protect OARs (rectum: V70Gy: 3.07\% vs. 2.90\%, p = .0063, RO vs. DLVCRO; $\text{LET}_{\max}$ (keV/um): 11.53 vs. 9.44, p = .0101; $\text{xBD}_{\max}$ (Gy$\cdot$keV/um): 420.55 vs. 398.79, p = .0086; bladder: V65Gy: 4.82\% vs. 4.61\%, p = .0032; $\text{LET}_{\max}$ 8.97 vs. 7.51, p = .0047; $\text{xBD}_{\max}$ 490.11 vs. 476.71, p = .0641). The physical dose distributions in targets are comparable (D2%: 98.57\% vs. 98.39\%; p = .0805; CTV D2% - D98%: 7.10\% vs. 7.75\%, p = .4624). In the worst-case scenario, DLVCRO robustly enhanced OAR while maintaining the similar plan robustness in target dose coverage and homogeneity. Conclusion: DLVCRO upgrades 2D DVH-based to 3D DLVH-based treatment planning to adjust dose/LET distributions simultaneously and robustly. DLVCRO is potentially a powerful tool to improve patient outcomes in SSPT.


title: KV Cache is 1 Bit Per Channel: Efficient Large Language Model Inference with Coupled Quantization

abstract: Efficient deployment of Large Language Models (LLMs) requires batching multiple requests together to improve throughput. As the batch size, context length, or model size increases, the size of the key and value (KV) cache can quickly become the main contributor to GPU memory usage and the bottleneck of inference latency. Quantization has emerged as an effective technique for KV cache compression, but existing methods still fail at very low bit widths. We observe that distinct channels of a key/value activation embedding are highly inter-dependent, and the joint entropy of multiple channels grows at a slower rate than the sum of their marginal entropies. Based on this insight, we propose Coupled Quantization (CQ), which couples multiple key/value channels together to exploit their inter-dependency and encode the activations in a more information-efficient manner. Extensive experiments reveal that CQ outperforms or is competitive with existing baselines in preserving model quality. Furthermore, we demonstrate that CQ can preserve model quality with KV cache quantized down to 1-bit.


title: Unlearning Backdoor Attacks through Gradient-Based Model Pruning

abstract: In the era of increasing concerns over cybersecurity threats, defending against backdoor attacks is paramount in ensuring the integrity and reliability of machine learning models. However, many existing approaches require substantial amounts of data for effective mitigation, posing significant challenges in practical deployment. To address this, we propose a novel approach to counter backdoor attacks by treating their mitigation as an unlearning task. We tackle this challenge through a targeted model pruning strategy, leveraging unlearning loss gradients to identify and eliminate backdoor elements within the model. Built on solid theoretical insights, our approach offers simplicity and effectiveness, rendering it well-suited for scenarios with limited data availability. Our methodology includes formulating a suitable unlearning loss and devising a model-pruning technique tailored for convolutional neural networks. Comprehensive evaluations demonstrate the efficacy of our proposed approach compared to state-of-the-art approaches, particularly in realistic data settings.


title: A Design Method of an Ultra-Wideband and Easy-to-Array Magic-T: A 6-14 GHz Scaled Model for a mm/submm Camera

abstract: We established a design method for a Magic-T with a single-layer dielectric/metal structure suitable for both wideband and multi-element applications for millimeter and submillimeter wave imaging observations. The design method was applied to a Magic-T with a coupled-line, stubs, and single-stage impedance transformers in a frequency-scaled model (6-14 GHz) that is relatively easy to demonstrate through manufacturing and evaluation. The major problem is that using the conventional perfect matching condition for a coupled-line alone produces an impractically large width coplanar coupled-line (CPCL) to satisfy the desired bandwidth ratio. In our study, by removing this constraint and optimizing impedances utilizing a circuit simulator with high computation speed, we found a solution with a $\sim$ 180 $\rm \mu$m wide CPCL, which is approximately an order of magnitude smaller than the conventional analytical solution. Furthermore, considering the effect of transition discontinuities in the transmission lines, we optimized the line length and obtained a design solution with return loss < -20 dB, amplitude imbalance < 0.1 dB, and phase imbalance < 0.5$^\circ$ from 6.1 GHz to 14.1 GHz.


title: A Roadmap for Multilingual, Multimodal Domain Independent Deception Detection

abstract: Deception, a prevalent aspect of human communication, has undergone a significant transformation in the digital age. With the globalization of online interactions, individuals are communicating in multiple languages and mixing languages on social media, with varied data becoming available in each language and dialect. At the same time, the techniques for detecting deception are similar across the board. Recent studies have shown the possibility of the existence of universal linguistic cues to deception across domains within the English language; however, the existence of such cues in other languages remains unknown. Furthermore, the practical task of deception detection in low-resource languages is not a well-studied problem due to the lack of labeled data. Another dimension of deception is multimodality. For example, a picture with an altered caption in fake news or disinformation may exist. This paper calls for a comprehensive investigation into the complexities of deceptive language across linguistic boundaries and modalities within the realm of computer security and natural language processing and the possibility of using multilingual transformer models and labeled data in various languages to universally address the task of deception detection.


title: Classification of two and three dimensional complete gradient Yamabe solitons

abstract: In this paper, we completely classify nontrivial nonflat three dimensional complete shrinking and steady gradient Yamabe solitons without any assumptions. We also give examples of complete expanding gradient Yamabe solitons. Furthermore, we give a proof of the classification of nontrivial two dimensional complete gradient Yamabe solitons without any assumptions.


title: Stochastic simulation of binary annihilation reactions within q-analysis formalism

abstract: Although Gillespie's algorithm is justified under a set of axioms based on the assumption of homogeneity of the system, many chemical systems deviate from this assumption, as is the case for reactions taking place in low-mobility media. Using instead the generalized q formalism, we propose a new stochastic simulation algorithm by redefining the probability with which a mu reaction occurs between t + tao and t + tao + delta tao as P(tao q, mu) = a mu exp q(-a0 tao q), taking into account the separation of the natural exponential by the q parameter. Our algorithm has been implemented in the study of binary annihilation reactions, demonstrating a wider amplitude within the range of established physicochemical reactions, being the stochastic Gillespie scheme and the classical deterministic approach, particular cases of this new proposal. The effect of the nonextensivity parameter, q, on the reaction rate is analyzed and its relationship with the reaction order, n, and the heterogeneity parameter, h, is determined for two different reactant concentrations in the annihilation reaction. Different behaviors of these parameters are observed for the two types of samples, especially as q moves away from 1, confirming that quasi-second order reactions occur when reactant concentrations are similar and quasi-first order reactions when they are different. Empirical expressions between the classical reaction order and the degree of heterogeneity are proposed. The results obtained allow us to associate the behavior of sub and supra Arrhenius kinetics reported in other different reactions with the degree of non-extensiveness of the reaction.


title: An Electronically Tunable 28-34 GHz 2-D Steerable Leaky Wave Antenna

abstract: In this paper, a 2-D beam steering mm-wave antenna based on the leaky wave configuration is presented. Microstrip leaky wave antennas are known to exhibit beam rotation by changing the frequency. In this work, the microstrip leaky wave antenna is adopted and co-integrated with electronically tunable board components that periodically load the antenna. By independent control of variable capacitors and diodes, single-frequency 2-D beam steering across the bandwidth is achieved. The proposed antenna is fabricated in Rogers printed circuit board technologies and the simulation results exhibit a peak realized gain of 8 dBi, radiation bandwidth of 28-34 GHz, radiation efficiency of more than 80%, and more than 90$^\circ$ and 70$^\circ$ of beam rotation in the $\phi$ and $\theta$ directions.


title: NeurDB: An AI-powered Autonomous Data System

abstract: In the wake of rapid advancements in artificial intelligence (AI), we stand on the brink of a transformative leap in data systems. The imminent fusion of AI and DB (AIxDB) promises a new generation of data systems, which will relieve the burden on end-users across all industry sectors by featuring AI-enhanced functionalities, such as personalized and automated in-database AI-powered analytics, self-driving capabilities for improved system performance, etc. In this paper, we explore the evolution of data systems with a focus on deepening the fusion of AI and DB. We present NeurDB, our next-generation data system designed to fully embrace AI design in each major system component and provide in-database AI-powered analytics. We outline the conceptual and architectural overview of NeurDB, discuss its design choices and key components, and report its current development and future plan.


title: Einstein-Grisaru-Zanon gravity

abstract: The leading $(\alpha')^3$-correction to the gravitational low-energy effective action of closed (type II) superstring theory in four-spacetime dimensions defines the Einstein-Grisaru-Zanon gravity action that is applied for a calculation of the leading corrections to the Schwarzschild solution and the Hubble function in the Friedmann-Lemaitre-Robertson-Walker universe, in the first order with respect to the effective string-generated coupling. The solutions found are compared to the corresponding solutions in the Einstein-Bel-Robinson gravity that also modifies the Einstein gravity by the terms quartic in the spacetime curvature. We consider the black hole shadows in the Einstein-Grisaru-Zanon gravity theory and derive the upper bound on the string coupling parameter from the Hawking temperature of a black hole.


title: Generalized Nash equilibrium problems with quasi-linear constraints

abstract: We study generalized Nash equilibrium problems (GNEPs) such that objectives are polynomial functions, and each player's constraints are linear in their own strategy. For such GNEPs, the KKT sets can be represented as unions of simpler sets by Carath\'{e}odory's theorem. We give a convenient representation for KKT sets using partial Lagrange multiplier expressions. This produces a set of branch polynomial optimization problems, which can be efficiently solved by Moment-SOS relaxations. By doing this, we can compute all generalized Nash equilibria or detect their nonexistence. Numerical experiments are also provided to demonstrate the computational efficiency.


title: Codexity: Secure AI-assisted Code Generation

abstract: Despite the impressive performance of Large Language Models (LLMs) in software development activities, recent studies show the concern of introducing vulnerabilities into software codebase by AI programming assistants (e.g., Copilot, CodeWhisperer). In this work, we present Codexity, a security-focused code generation framework integrated with five LLMs. Codexity leverages the feedback of static analysis tools such as Infer and CppCheck to mitigate security vulnerabilities in LLM-generated programs. Our evaluation in a real-world benchmark with 751 automatically generated vulnerable subjects demonstrates Codexity can prevent 60% of the vulnerabilities being exposed to the software developer.


title: MSene: A new large family of two-dimensional transition metal sulfide with MXene structure

abstract: In this work, we theoretically report a new large family of two-dimensional (2D) transition metal sulfides $M$$_{2}$S with MXene structure in 2H and 1T phases, which we name as MSene. Twenty-four out of fifty-eight MSenes are proved to be stable. Notably, this family includes twelve superconducting (SC) materials, seven SC topological metals (SCTMs), four charge density wave (CDW) materials, and five magnetic materials including one ferromagnetic (FM) and four antiferromagnetic (AFM) materials. For example, 2H-Mo$_{2}$S is a SCTM which exhibits SC critical temperature ($T_{c}$) of 10.2 K and nontrivial topological properties; 1T-Hf$_{2}$S is a CDW material with the CDW originating from electron-phonon coupling. The CDW can be suppressed by compressive strain, leading to the emergence of superconductivity; 2H-Cr$_{2}$S and 1T-Mn$_{2}$S show FM and AFM properties, respectively. Thus, the new large family we predicted shows rich physical properties and significantly expands the repertoire of 2D materials. It serves as a novel platform for investigating the competition or coexistence of multiple orders such as SC, CDW, FM, AFM and topological orders in 2D materials.


title: Unicorn: U-Net for Sea Ice Forecasting with Convolutional Neural Ordinary Differential Equations

abstract: Sea ice at the North Pole is vital to global climate dynamics. However, accurately forecasting sea ice poses a significant challenge due to the intricate interaction among multiple variables. Leveraging the capability to integrate multiple inputs and powerful performances seamlessly, many studies have turned to neural networks for sea ice forecasting. This paper introduces a novel deep architecture named Unicorn, designed to forecast weekly sea ice. Our model integrates multiple time series images within its architecture to enhance its forecasting performance. Moreover, we incorporate a bottleneck layer within the U-Net architecture, serving as neural ordinary differential equations with convolution operations, to capture the spatiotemporal dynamics of latent variables. Through real data analysis with datasets spanning from 1998 to 2021, our proposed model demonstrates significant improvements over state-of-the-art models in the sea ice concentration forecasting task. It achieves an average MAE improvement of 12% compared to benchmark models. Additionally, our method outperforms existing approaches in sea ice extent forecasting, achieving a classification performance improvement of approximately 18%. These experimental results show the superiority of our proposed model.


title: Shape optimization for high efficiency metasurfaces: theory and implementation

abstract: Complex non-local behavior makes designing high efficiency and multifunctional metasurfaces a significant challenge. While using libraries of meta-atoms provide a simple and fast implementation methodology, pillar to pillar interaction often imposes performance limitations. On the other extreme, inverse design based on topology optimization leverages non-local coupling to achieve high efficiency, but leads to complex and difficult to fabricate structures. In this paper, we demonstrate numerically and experimentally a shape optimization method that enables high efficiency metasurfaces while providing direct control of the structure complexity. The proposed method provides a path towards manufacturability of inverse-designed high efficiency metasurfaces.


title: Incorporating changeable attitudes toward vaccination into an SIR infectious disease model

abstract: We develop a mechanistic model that classifies individuals both in terms of epidemiological status (SIR) and vaccination attitude (willing or unwilling), with the goal of discovering how disease spread is influenced by changing opinions about vaccination. Analysis of the model identifies existence and stability criteria for both disease-free and endemic disease equilibria. The analytical results, supported by numerical simulations, show that attitude changes induced by disease prevalence can destabilize endemic disease equilibria, resulting in limit cycles.


title: CleanGraph: Human-in-the-loop Knowledge Graph Refinement and Completion

abstract: This paper presents CleanGraph, an interactive web-based tool designed to facilitate the refinement and completion of knowledge graphs. Maintaining the reliability of knowledge graphs, which are grounded in high-quality and error-free facts, is crucial for real-world applications such as question-answering and information retrieval systems. These graphs are often automatically assembled from textual sources by extracting semantic triples via information extraction. However, assuring the quality of these extracted triples, especially when dealing with large or low-quality datasets, can pose a significant challenge and adversely affect the performance of downstream applications. CleanGraph allows users to perform Create, Read, Update, and Delete (CRUD) operations on their graphs, as well as apply models in the form of plugins for graph refinement and completion tasks. These functionalities enable users to enhance the integrity and reliability of their graph data. A demonstration of CleanGraph and its source code can be accessed at https://github.com/nlp-tlp/CleanGraph under the MIT License.


title: Assessing observational constraints on dark energy

abstract: Observational constraints on time-varying dark energy ({\it e.g.}, quintessence) are commonly presented on a $w_0$-$w_a$ plot that assumes the equation of state of dark energy strictly satisfies $w(z)= w_0+ w_a z/(1+z)$ as a function of the redshift $z$. Recent observations favor a sector of the $w_0$-$w_a$ plane in which $w_0 > -1$ and $w_0+w_a< -1$, suggesting that the equation of state underwent a transition from violating the null energy condition (NEC) at large $z$ to obeying it at small $z$. In this paper, we demonstrate that this impression is misleading by showing that simple quintessence models satisfying the NEC for all $z$ predict an observational preference for the same sector. We also find that quintessence models that best fit observational data can predict a value for the dark energy equation of state at present that is significantly different from the best-fit value of $w_0$ obtained assuming the parameterization above. In addition, the analysis reveals an approximate degeneracy of the $w_0$-$w_a$ parameterization that explains the eccentricity and orientation of the likelihood contours presented in recent observational studies.


title: When frieze patterns meet Y-systems: Y-frieze patterns

abstract: We give an elementary account of the notion of Y-frieze patterns, explain some of their properties, and reveal their connection with Coxeter's frieze patterns.


title: Roadside Units Assisted Localized Automated Vehicle Maneuvering: An Offline Reinforcement Learning Approach

abstract: Traffic intersections present significant challenges for the safe and efficient maneuvering of connected and automated vehicles (CAVs). This research proposes an innovative roadside unit (RSU)-assisted cooperative maneuvering system aimed at enhancing road safety and traveling efficiency at intersections for CAVs. We utilize RSUs for real-time traffic data acquisition and train an offline reinforcement learning (RL) algorithm based on human driving data. Evaluation results obtained from hardware-in-loop autonomous driving simulations show that our approach employing the twin delayed deep deterministic policy gradient and behavior cloning (TD3+BC), achieves performance comparable to state-of-the-art autonomous driving systems in terms of safety measures while significantly enhancing travel efficiency by up to 17.38% in intersection areas. This paper makes a pivotal contribution to the field of intelligent transportation systems, presenting a breakthrough solution for improving urban traffic flow and safety at intersections.


title: Zero order meromorphic solutions of $q$-difference equations of Malmquist type

abstract: We consider the first order $q$-difference equation \begin{equation}\tag{\dag} f(qz)^n=R(z,f), \end{equation} where $q\not=0,1$ is a constant and $R(z,f)$ is rational in both arguments. When $|q|\not=1$, we show that, if $(\dag)$ has a zero order transcendental meromorphic solution, then $(\dag)$ reduces to a $q$-difference linear or Riccati equation, or to an equation that can be transformed to a $q$-difference Riccati equation. In the autonomous case, explicit meromorphic solutions of $(\dag)$ are presented. Given that $(\dag)$ can be transformed into a difference equation, we proceed to discuss the growth of the composite function $f(\omega(z))$, where $\omega(z)$ is an entire function satisfying $\omega(z+1)=q\omega(z)$, and demonstrate how the proposed difference Painlev\'e property, as discussed in the literature, applies for $q$-difference equations.


title: On a convergence of positive continuous additive functionals in terms of their smooth measures

abstract: A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric on the space of measures of finite energy integrals and show some structures of the metric. Then, we show the compactness and give some examples of positive continuous additive functionals that the convergence holds in terms of the associated smooth measures.


title: The stringy scaling loop expansion and stringy scaling violation

abstract: We propose a systematic approximation scheme to calculate general $n$-point $HSSA$ of open bosonic string theory. This stringy scaling loop expansion contains finite number of vacuum diagram terms at each loop order of scattering energy due to a vacuum diagram contraint and a topological graph constraint. In addition, we calculate coefficient and give the vacuum diagram representation and its Feynman rules for each term in the expansion of the $HSSA$. As an application to extending our previous calculation of $n$-point leading order stringy scaling behavior of $HSSA$, we explicitly calculate some examples of $4$-point next to leading order stringy scaling violation terms.


title: Long Context Alignment with Short Instructions and Synthesized Positions

abstract: Effectively handling instructions with extremely long context remains a challenge for Large Language Models (LLMs), typically necessitating high-quality long data and substantial computational resources. This paper introduces Step-Skipping Alignment (SkipAlign), a new technique designed to enhance the long-context capabilities of LLMs in the phase of alignment without the need for additional efforts beyond training with original data length. SkipAlign is developed on the premise that long-range dependencies are fundamental to enhancing an LLM's capacity of long context. Departing from merely expanding the length of input samples, SkipAlign synthesizes long-range dependencies from the aspect of positions indices. This is achieved by the strategic insertion of skipped positions within instruction-following samples, which utilizes the semantic structure of the data to effectively expand the context. Through extensive experiments on base models with a variety of context window sizes, SkipAlign demonstrates its effectiveness across a spectrum of long-context tasks. Particularly noteworthy is that with a careful selection of the base model and alignment datasets, SkipAlign with only 6B parameters achieves it's best performance and comparable with strong baselines like GPT-3.5-Turbo-16K on LongBench.


title: Remark on neutrino oscillations

abstract: The oscillations of ultra-relativistic neutrinos are realized by the propagation of assumed zero-mass on-shell neutrinos with the speed of light in vacuum combined with the phase modulation by the small mass term $\exp[-i(m^{2}_{\nu_{k}}/2|\vec{p}|)\tau]$ with a time parameter $\tau$. This picture is realized in the first quantization by the mass expansion and in field theory by the use of $\delta(x^{0}-y^{0}-\tau) \langle 0|T^{\star}\nu_{L k}(x)\overline{\nu_{L k}(y)}|0\rangle$ with the neutrino mass eigenstates $\nu_{L k}$ and a finite positive $\tau$ after the contour integral of the propagating neutrino energies. By noting that the conventional detectors are insensitive to neutrino masses, the measured energy-momenta of the initial and final states with assumed zero-mass neutrinos are conserved. The propagating neutrinos preserve the three-momentum in this sense but the energies of the massive neutrinos are conserved up to uncertainty relations and thus leading to oscillations. Conceptual complications in the case of Majorana neutrinos due to the charge conjugation in $d=4$ are also discussed.


title: Analytical Interaction Potential for Lennard-Jones Rods

abstract: An analytical form has been derived using Ostrogradski's integration method for the interaction between two thin rods of finite lengths in arbitrary relative configurations in a 3-dimensional space, each treated as a line of material points interacting through the Lennard-Jones 12-6 potential. Simplified analytical forms for coplanar, parallel, and collinear rods are also derived. Exact expressions for the force and torque between the rods are obtained. Similar results for a point particle interacting with a thin rod are provided. These interaction potentials can be widely used for analytical descriptions and computational modeling of systems involving rod-like objects such as liquid crystals, colloids, polymers, elongated viruses and bacteria, and filamentous materials including carbon nanotubes, nanowires, biological filaments, and their bundles.


title: Collaborative Intelligence in Sequential Experiments: A Human-in-the-Loop Framework for Drug Discovery

abstract: Drug discovery is a complex process that involves sequentially screening and examining a vast array of molecules to identify those with the target properties. This process, also referred to as sequential experimentation, faces challenges due to the vast search space, the rarity of target molecules, and constraints imposed by limited data and experimental budgets. To address these challenges, we introduce a human-in-the-loop framework for sequential experiments in drug discovery. This collaborative approach combines human expert knowledge with deep learning algorithms, enhancing the discovery of target molecules within a specified experimental budget. The proposed algorithm processes experimental data to recommend both promising molecules and those that could improve its performance to human experts. Human experts retain the final decision-making authority based on these recommendations and their domain expertise, including the ability to override algorithmic recommendations. We applied our method to drug discovery tasks using real-world data and found that it consistently outperforms all baseline methods, including those which rely solely on human or algorithmic input. This demonstrates the complementarity between human experts and the algorithm. Our results provide key insights into the levels of humans' domain knowledge, the importance of meta-knowledge, and effective work delegation strategies. Our findings suggest that such a framework can significantly accelerate the development of new vaccines and drugs by leveraging the best of both human and artificial intelligence.


title: Predictive Modeling with Temporal Graphical Representation on Electronic Health Records

abstract: Deep learning-based predictive models, leveraging Electronic Health Records (EHR), are receiving increasing attention in healthcare. An effective representation of a patient's EHR should hierarchically encompass both the temporal relationships between historical visits and medical events, and the inherent structural information within these elements. Existing patient representation methods can be roughly categorized into sequential representation and graphical representation. The sequential representation methods focus only on the temporal relationships among longitudinal visits. On the other hand, the graphical representation approaches, while adept at extracting the graph-structured relationships between various medical events, fall short in effectively integrate temporal information. To capture both types of information, we model a patient's EHR as a novel temporal heterogeneous graph. This graph includes historical visits nodes and medical events nodes. It propagates structured information from medical event nodes to visit nodes and utilizes time-aware visit nodes to capture changes in the patient's health status. Furthermore, we introduce a novel temporal graph transformer (TRANS) that integrates temporal edge features, global positional encoding, and local structural encoding into heterogeneous graph convolution, capturing both temporal and structural information. We validate the effectiveness of TRANS through extensive experiments on three real-world datasets. The results show that our proposed approach achieves state-of-the-art performance.


title: Integrated Lennard-Jones Potential between a Sphere and a Thin Rod

abstract: A compact analytical form is derived via an integration approach for the interaction between a sphere and a thin rod of both finite and infinite lengths, with each object treated as a continuous medium of materials points interacting by the Lennard-Jones 12-6 potential. Expressions for the resultant forces and torques are obtained. Various asymptotic limits of the analytical sphere-rod potential are discussed.


title: Role of Sensing and Computer Vision in 6G Wireless Communications

abstract: Recently, we are witnessing the remarkable progress and widespread adoption of sensing technologies in autonomous driving, robotics, and metaverse. Considering the rapid advancement of computer vision (CV) technology to analyze the sensing information, we anticipate a proliferation of wireless applications exploiting the sensing and CV technologies in 6G. In this article, we provide a holistic overview of the sensing and CV-aided wireless communications (SVWC) framework for 6G. By analyzing the high-resolution sensing information through the powerful CV techniques, SVWC can quickly and accurately understand the wireless environments and then perform the wireless tasks. To demonstrate the efficacy of SVWC, we design the whole process of SVWC including the sensing dataset collection, DL model training, and execution of realistic wireless tasks. From the numerical evaluations on 6G communication scenarios, we show that SVWC achieves considerable performance gains over the conventional 5G systems in terms of positioning accuracy, data rate, and access latency.


title: Association between centrality and flourishing trait: analyzing student co-occurrence networks drawn from dining activities

abstract: Comprehending the association between social capabilities and individual psychological traits is paramount for educational administrators. Presently, many studies heavily depend on online questionnaires and self-reported data, while analysis of the connection between offline social networks and mental health status remains scarce. By leveraging a public dataset encompassing on-campus dining activities over 21 weeks, we establish student co-occurrence networks and closely observe the changes in network topology over time. Empirical analysis shows that the node centralities of the student co-occurrence networks exhibit significantly positive correlation with the enhancement of the flourishing trait within the field of mental well-being. Our findings offer potential guidance for assisting students in maintaining a positive mental health status.


title: Probing the spectrum of the magnetar 4U 0142+61 with JWST

abstract: JWST observed the magnetar 4U 0142+61 with the MIRI and NIRCam instruments within a 77 min time interval on 2022 September 20-21. The low-resolution MIRI spectrum and NIRCam photometry show that the spectrum in the wavelength range 1.4-11 $\mu$m range can be satisfactorily described by an absorbed power-law model, $f_{\nu}\propto \nu^{-\alpha}$, with a spectral slope $\alpha =0.96\pm0.02$, interstellar extinction $A_V= 3.9\pm0.2$, and normalization $f_0 = 59.4\pm 0.5$ $\mu$Jy at $\lambda = 8$ $\mu$m. These observations do not support the passive disk model proposed by Wang et al. (2006), based on the Spitzer photometry, which was interpreted as evidence for a fallback disk from debris formed during the supernova explosion. We suggest a nonthermal origin for this emission and source variability as the most likely cause of discrepancies between the JWST data and other IR-optical observing campaigns. However, we cannot firmly exclude the presence of a large disk with a different dependence of the effective disk temperature on distance from the magnetar. Comparison with the power-law fit to the hard X-ray spectrum above 10 keV, measured by NuSTAR contemporaneously with JWST, shows that the X-ray spectrum is significantly harder. This may imply that the X-ray and IR nonthermal emission come from different sites in the magnetosphere of the magnetar.


title: The Fault in Our Recommendations: On the Perils of Optimizing the Measurable

abstract: Recommendation systems are widespread, and through customized recommendations, promise to match users with options they will like. To that end, data on engagement is collected and used. Most recommendation systems are ranking-based, where they rank and recommend items based on their predicted engagement. However, the engagement signals are often only a crude proxy for utility, as data on the latter is rarely collected or available. This paper explores the following question: By optimizing for measurable proxies, are recommendation systems at risk of significantly under-delivering on utility? If so, how can one improve utility which is seldom measured? To study these questions, we introduce a model of repeated user consumption in which, at each interaction, users select between an outside option and the best option from a recommendation set. Our model accounts for user heterogeneity, with the majority preferring ``popular'' content, and a minority favoring ``niche'' content. The system initially lacks knowledge of individual user preferences but can learn them through observations of users' choices over time. Our theoretical and numerical analysis demonstrate that optimizing for engagement can lead to significant utility losses. Instead, we propose a utility-aware policy that initially recommends a mix of popular and niche content. As the platform becomes more forward-looking, our utility-aware policy achieves the best of both worlds: near-optimal utility and near-optimal engagement simultaneously. Our study elucidates an important feature of recommendation systems; given the ability to suggest multiple items, one can perform significant exploration without incurring significant reductions in engagement. By recommending high-risk, high-reward items alongside popular items, systems can enhance discovery of high utility items without significantly affecting engagement.