title: Explicit decoders using quantum singular value transformation

abstract: Recovering quantum information from a noisy quantum system is one of the central challenges in quantum information science and fundamental physics. The key to this goal is explicitly constructing a decoder. In this paper, we provide two explicit decoding quantum circuits that are both capable of recovering quantum information when a decoupling condition is satisfied, i.e., when quantum information is in principle recoverable. The decoders are constructed by using the fixed-point amplitude amplification algorithm based on the quantum singular value transformation, which significantly extends an approach by Yoshida and Kitaev in a specific noise model to general situations. We also show that the proposed decoding circuits reduce the computational cost compared to a previously known explicit decoder. Our constructions not only show an intriguing intersection between decoders and quantum algorithms but also reveal the power of an algorithmic approach to recovering quantum information.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Composition and Merging of Assume-Guarantee Contracts Are Tensor Products

abstract: We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.


title: Domain walls in super Yang-Mills: worldvolume TQFTs and deconfinement from semiclassics on $\mathbb{R}^3\times\mathbb{S}^1$

abstract: This work studies domain walls between chirally-separated vacua in supersymmetric Yang-Mills theory (SYM) on $\mathbb{R}^3\times\mathbb{S}^1$ in the semiclassical limit. For all gauge groups we explicitly find the electric fluxes of all BPS domain walls and fully characterize the representation that they form under the global symmetry of SYM. We compute the characters of these representations formed by the semiclassical domain walls. We also compute these characters for the worldvolume TQFTs appearing in the literature for $SU(N)$ and $Sp(N)$ gauge groups. We find complete agreement between the two computations, providing thus a dynamical test of the proposed worldvolume TQFTs. We also propose a new worldvolume TQFT for $E_6$ domain walls, subjecting it to the same tests. Finally, we study deconfinement of quarks on domain walls for all gauge groups. We show that for all gauge groups confining strings (stable in the abelianized regime) can end on domain walls, regardless of whether or not the group has a center.


title: Estimating Non-Stabilizerness Dynamics Without Simulating It

abstract: We introduce the Iterative Clifford Circuit Renormalization (ICCR), a novel technique designed to efficiently handle the dynamics of non-stabilizerness (a.k.a. quantum magic) in generic quantum circuits. ICCR iteratively adjusts the starting circuit, transforming it into a Clifford circuit where all elements that can alter the non-stabilizerness, such as measurements or T gates, have been removed. In the process the initial state is renormalized in such a way that the new circuit outputs the same final state as the original one. This approach embeds the complex dynamics of non-stabilizerness in the flow of an effective initial state, enabling its efficient evaluation while avoiding the need for direct and computationally expensive simulation of the original circuit. The initial state renormalization can be computed explicitly using an approximation that can be systematically improved. We implement the ICCR algorithm to evaluate the non-stabilizerness dynamics for systems of size up to N = 1000. We validate our method by comparing it to tensor networks simulations. Finally, we employ the ICCR technique to study a magic purification circuit, where a measurement-induced transition is observed.


title: Knowledge Connectivity Requirements for Solving BFT Consensus with Unknown Participants and Fault Threshold (Extended Version)

abstract: Consensus stands as a fundamental building block for constructing reliable and fault-tolerant distributed services. The increasing demand for high-performance and scalable blockchain protocols has brought attention to solving consensus in scenarios where each participant joins the system knowing only a subset of participants. In such scenarios, the participants' initial knowledge about the existence of other participants can collectively be represented by a directed graph known as knowledge connectivity graph. The Byzantine Fault Tolerant Consensus with Unknown Participants (BFT-CUP) problem aims to solve consensus in those scenarios by identifying the necessary and sufficient conditions that the knowledge connectivity graphs must satisfy when a fault threshold is provided to all participants. This work extends BFT-CUP by eliminating the requirement to provide the fault threshold to the participants. We indeed address the problem of solving BFT consensus in settings where each participant initially knows a subset of participants, and although a fault threshold exists, no participant is provided with this information -- referred to as BFT Consensus with Unknown Participants and Fault Threshold (BFT-CUPFT). With this aim, we first demonstrate that the conditions for knowledge connectivity graphs identified by BFT-CUP are insufficient to solve BFT-CUPFT. Accordingly, we introduce a new type of knowledge connectivity graphs by determining the necessary and sufficient conditions they must satisfy to solve BFT-CUPFT. Furthermore, we design a protocol for solving BFT-CUPFT.


title: Hybrid Parallel Discrete Adjoints in SU2

abstract: The open-source multiphysics suite SU2 features discrete adjoints by means of operator overloading automatic differentiation (AD). While both primal and discrete adjoint solvers support MPI parallelism, hybrid parallelism using both MPI and OpenMP has only been introduced for the primal solvers so far. In this work, we enable hybrid parallel discrete adjoint solvers. Coupling SU2 with OpDiLib, an add-on for operator overloading AD tools that extends AD to OpenMP parallelism, marks a key step in this endeavour. We identify the affected parts of SU2's advanced AD workflow and discuss the required changes and their tradeoffs. Detailed performance studies compare MPI parallel and hybrid parallel discrete adjoints in terms of memory and runtime and unveil key performance characteristics. We showcase the effectiveness of performance optimizations and highlight perspectives for future improvements. At the same time, this study demonstrates the applicability of OpDiLib in a large code base and its scalability on large test cases, providing valuable insights for future applications both within and beyond SU2.


title: UnSegGNet: Unsupervised Image Segmentation using Graph Neural Networks

abstract: Image segmentation, the process of partitioning an image into meaningful regions, plays a pivotal role in computer vision and medical imaging applications. Unsupervised segmentation, particularly in the absence of labeled data, remains a challenging task due to the inter-class similarity and variations in intensity and resolution. In this study, we extract high-level features of the input image using pretrained vision transformer. Subsequently, the proposed method leverages the underlying graph structures of the images, seeking to discover and delineate meaningful boundaries using graph neural networks and modularity based optimization criteria without relying on pre-labeled training data. Experimental results on benchmark datasets demonstrate the effectiveness and versatility of the proposed approach, showcasing competitive performance compared to the state-of-the-art unsupervised segmentation methods. This research contributes to the broader field of unsupervised medical imaging and computer vision by presenting an innovative methodology for image segmentation that aligns with real-world challenges. The proposed method holds promise for diverse applications, including medical imaging, remote sensing, and object recognition, where labeled data may be scarce or unavailable. The github repository of the code is available on [https://github.com/ksgr5566/unseggnet]


title: Large Language Models Show Human-like Social Desirability Biases in Survey Responses

abstract: As Large Language Models (LLMs) become widely used to model and simulate human behavior, understanding their biases becomes critical. We developed an experimental framework using Big Five personality surveys and uncovered a previously undetected social desirability bias in a wide range of LLMs. By systematically varying the number of questions LLMs were exposed to, we demonstrate their ability to infer when they are being evaluated. When personality evaluation is inferred, LLMs skew their scores towards the desirable ends of trait dimensions (i.e., increased extraversion, decreased neuroticism, etc). This bias exists in all tested models, including GPT-4/3.5, Claude 3, Llama 3, and PaLM-2. Bias levels appear to increase in more recent models, with GPT-4's survey responses changing by 1.20 (human) standard deviations and Llama 3's by 0.98 standard deviations-very large effects. This bias is robust to randomization of question order and paraphrasing. Reverse-coding all the questions decreases bias levels but does not eliminate them, suggesting that this effect cannot be attributed to acquiescence bias. Our findings reveal an emergent social desirability bias and suggest constraints on profiling LLMs with psychometric tests and on using LLMs as proxies for human participants.


title: A Mixture-of-Experts Approach to Few-Shot Task Transfer in Open-Ended Text Worlds

abstract: Open-ended worlds are those in which there are no pre-specified goals or environmental reward signal. As a consequence, an agent must know how to perform a multitude of tasks. However, when a new task is presented to an agent, we expect it to be able to reuse some of what it knows from previous tasks to rapidly learn that new task. We introduce a novel technique whereby policies for different a priori known tasks are combined into a Mixture-of-Experts model with an attention mechanism across a mix of frozen and unfrozen experts. The model learns when to attend to frozen task-specific experts when appropriate and learns new experts to handle novel situations. We work in an open-ended text-based environment in which the agent is tasked with behaving like different types of character roles and must rapidly learn behaviors associated with new character role types. We show that our agent both obtains more rewards in the zero-shot setting, and discovers these rewards with greater sample efficiency in the few-shot learning settings.


title: GdWN$_3$ is a Nitride Perovskite

abstract: Nitride perovskites $AB$N$_3$ are an emerging and highly under-explored class of materials that are of interest due to their intriguing calculated ferroelectric, optoelectronic, and other functional properties. Incorporating novel $A$-site cations is one strategy to tune and expand such properties; for example, Gd$^{3+}$ is compelling due to its large magnetic moment, potentially leading to multiferroic behavior. However, the theoretically predicted ground state of GdWN$_3$ is a non-perovskite monoclinic structure. Here, we experimentally show that GdWN$_3$ crystallizes in a perovskite structure. High-throughput combinatorial sputtering with activated nitrogen is employed to synthesize thin films of Gd$_{1-x}$W$_{x}$N$_{3-y}$ with low oxygen content within the bulk of the films. Ex-situ annealing crystallizes a polycrystalline perovskite phase in a narrow composition window near $x=1$. LeBail fits of synchrotron grazing incidence wide angle X-ray scattering data are consistent with a perovskite ground-state structure. New density functional theory calculations that included antiferromagnetic configurations confirm that the ground-state structure of GdWN$_3$ is a distorted $Pnma$ perovskite with antiferromagnetic ordering, in contrast to prior predictions. Initial property measurements find that GdWN$_3$ is paramagnetic down to $T=2$ K with antiferromagnetic correlations and that the absorption onset depends on cation stoichiometry. This work provides an important stepping stone towards the rapid expansion of the emerging family of nitride perovskites and towards our understanding of their potential multiferroic properties.


title: Supporting Physical Activity Behavior Change with LLM-Based Conversational Agents

abstract: Physical activity has significant benefits to health, yet large portions of the population remain physically inactive. Mobile health applications show promising potential for low-cost, scalable physical activity promotion, but existing approaches are often insufficiently personalized to a user's context and life circumstances. In this work, we explore the potential for large language model (LLM) based conversational agents to motivate physical activity behavior change. Through formative interviews with 12 health professionals and 10 non-experts, we identify design considerations and opportunities for LLM health coaching. We present GPTCoach, a chatbot that implements an evidence-based health coaching program, uses counseling strategies from motivational interviewing, and can query and visualize health data from a wearable through tool use. We evaluate GPTCoach as a technology probe in a user study with 16 participants. Through quantitive and qualitative analyses, we find promising evidence that GPTCoach can adhere to a health coaching program while adopting a facilitative, supportive, and non-judgmental tone. We find more variable support for GPTCoach's ability to proactively make use of data in ways that foster motivation and empowerment. We conclude with a discussion of our findings, implications for future research, as well as risks and limitations.


title: Global fit to $b \to c\tau\nu$ anomaly 2024 Spring breeze

abstract: Recently, several new experimental results of the test of lepton flavor universality (LFU) in $B\to D^{(\ast)}$ semi-leptonic decays were announced: the first result of $R_{D}$ from the LHCb Run 1 data, the first results of $R_{D}$ and $R_{D^\ast}$ from the LHCb Run 2 data, and the first result of $R_{D^\ast}$ from the Belle II collaboration. Including these new data, a global analysis still prefers the violation of the LFU between the tau and light leptons. A new world average of the data from the BaBar, LHCb, Belle, and Belle II collaborations is $R_{D} = 0.344 \pm 0.026$ and $R_{D^{\ast}} = 0.285 \pm 0.012$. Including this new data, we update a circumstance of the $b \to c \tau \overline\nu$ measurements and their implications for new physics (NP). Incorporating recent developments for the $B \to D^{(\ast)}$ form factors in the Standard Model (SM), we observe a $4.3 \sigma$ deviation from the SM prediction. Our updates also include; model-independent NP formulae for the related observables; and the global fittings of parameters for leptoquark scenarios as well as single NP operator scenarios. Furthermore, we show future potential to indirectly distinguish different NP scenarios with the use of the precise measurements of the polarization observables in $B\to D^{(\ast)}\tau \overline\nu$ at the Belle II and the high-$p_{\rm T}$ flavored-tail searches at the LHC. We also discuss an impact on the LFU violation in $\Upsilon \to l^+ l^-$.


title: A Minimalist Prompt for Zero-Shot Policy Learning

abstract: Transformer-based methods have exhibited significant generalization ability when prompted with target-domain demonstrations or example solutions during inference. Although demonstrations, as a way of task specification, can capture rich information that may be hard to specify by language, it remains unclear what information is extracted from the demonstrations to help generalization. Moreover, assuming access to demonstrations of an unseen task is impractical or unreasonable in many real-world scenarios, especially in robotics applications. These questions motivate us to explore what the minimally sufficient prompt could be to elicit the same level of generalization ability as the demonstrations. We study this problem in the contextural RL setting which allows for quantitative measurement of generalization and is commonly adopted by meta-RL and multi-task RL benchmarks. In this setting, the training and test Markov Decision Processes (MDPs) only differ in certain properties, which we refer to as task parameters. We show that conditioning a decision transformer on these task parameters alone can enable zero-shot generalization on par with or better than its demonstration-conditioned counterpart. This suggests that task parameters are essential for the generalization and DT models are trying to recover it from the demonstration prompt. To extract the remaining generalizable information from the supervision, we introduce an additional learnable prompt which is demonstrated to further boost zero-shot generalization across a range of robotic control, manipulation, and navigation benchmark tasks.


title: LLMs for XAI: Future Directions for Explaining Explanations

abstract: In response to the demand for Explainable Artificial Intelligence (XAI), we investigate the use of Large Language Models (LLMs) to transform ML explanations into natural, human-readable narratives. Rather than directly explaining ML models using LLMs, we focus on refining explanations computed using existing XAI algorithms. We outline several research directions, including defining evaluation metrics, prompt design, comparing LLM models, exploring further training methods, and integrating external data. Initial experiments and user study suggest that LLMs offer a promising way to enhance the interpretability and usability of XAI.


title: Driving down Poisson error can offset classification error in clinical tasks

abstract: Medical machine learning algorithms are typically evaluated based on accuracy vs. a clinician-defined ground truth, a reasonable initial choice since trained clinicians are usually better classifiers than ML models. However, this metric does not fully capture the actual clinical task: it neglects the fact that humans, even with perfect accuracy, are subject to non-trivial error from the Poisson statistics of rare events, because clinical protocols often specify a relatively small sample size. For example, to quantitate malaria on a thin blood film a clinician examines only 2000 red blood cells (0.0004 uL), which can yield large Poisson variation in the actual number of parasites present, so that a perfect human's count can differ substantially from the true average load. In contrast, an ML system may be less accurate on an object level, but it may also have the option to examine more blood (e.g. 0.1 uL, or 250x). Then while its parasite identification error is higher, the Poisson variability of its estimate is lower due to larger sample size. To qualify for clinical deployment, an ML system's performance must match current standard of care, typically a very demanding target. To achieve this, it may be possible to offset the ML system's lower accuracy by increasing its sample size to reduce Poisson error, and thus attain the same net clinical performance as a perfectly accurate human limited by smaller sample size. In this paper, we analyse the mathematics of the relationship between Poisson error, classification error, and total error. This mathematical toolkit enables teams optimizing ML systems to leverage a relative strength (larger sample sizes) to offset a relative weakness (classification accuracy). We illustrate the methods with two concrete examples: diagnosis and quantitation of malaria on blood films.


title: Nonreciprocity in transmission mode with planar structures for arbitrarily polarized light

abstract: Approaching thermodynamic limits in light harvesting requires enabling nonreciprocal thermal emission. The majority of previously reported nonreciprocal thermal emitters operate in reflection mode, following original proposals by M. Green and others. In these proposals, cascaded nonreciprocal junctions that re-direct each junction's emission towards a subsequent one are employed for efficient light-harvesting. Recently, simplified concepts have been proposed in solar photovoltaics and thermophotovoltaics that leverage the concept of tandem junctions to approach thermodynamic limits. In these simplified scenarios, polarization-independent nonreciprocal response in transmission mode is required. We propose a pattern-free heterostructure that enables such functionality, using a magneto-optical material embedded between two dissimilar dielectric layers.


title: HMT: Hierarchical Memory Transformer for Long Context Language Processing

abstract: Transformer-based large language models (LLM) have been widely used in language processing applications. However, most of them restrict the context window that permits the model to attend to every token in the inputs. Previous works in recurrent models can memorize past tokens to enable unlimited context and maintain effectiveness. However, they have "flat" memory architectures, which have limitations in selecting and filtering information. Since humans are good at learning and self-adjustment, we speculate that imitating brain memory hierarchy is beneficial for model memorization. We propose the Hierarchical Memory Transformer (HMT), a novel framework that enables and improves models' long-context processing ability by imitating human memorization behavior. Leveraging memory-augmented segment-level recurrence, we organize the memory hierarchy by preserving tokens from early input token segments, passing memory embeddings along the sequence, and recalling relevant information from history. Evaluating general language modeling (Wikitext-103, PG-19) and question-answering tasks (PubMedQA), we show that HMT steadily improves the long-context processing ability of context-constrained and long-context models. With an additional 0.5% - 2% of parameters, HMT can easily plug in and augment future LLMs to handle long context effectively. Our code is open-sourced on Github: https://github.com/OswaldHe/HMT-pytorch.


title: Deep Learning-Based Residual Useful Lifetime Prediction for Assets with Uncertain Failure Modes

abstract: Industrial prognostics focuses on utilizing degradation signals to forecast and continually update the residual useful life of complex engineering systems. However, existing prognostic models for systems with multiple failure modes face several challenges in real-world applications, including overlapping degradation signals from multiple components, the presence of unlabeled historical data, and the similarity of signals across different failure modes. To tackle these issues, this research introduces two prognostic models that integrate the mixture (log)-location-scale distribution with deep learning. This integration facilitates the modeling of overlapping degradation signals, eliminates the need for explicit failure mode identification, and utilizes deep learning to capture complex nonlinear relationships between degradation signals and residual useful lifetimes. Numerical studies validate the superior performance of these proposed models compared to existing methods.


title: Sufficient conditions for total positivity, compounds, and Dodgson condensation

abstract: A $n$-by-$n$ matrix is called totally positive ($TP$) if all its minors are positive and $TP_k$ if all of its $k$-by-$k$ submatrices are $TP$. For an arbitrary totally positive matrix or $TP_k$ matrix, we investigate if the $r$th compound ($1<r<n$) is in turn $TP$ or $TP_k$, and demonstrate a strong negative resolution in general. Focus is then shifted to Dodgson's algorithm for calculating the determinant of a generic matrix, and we analyze whether the associated condensed matrices are possibly totally positive or $TP_k$. We also show that all condensed matrices associated with a $TP$ Hankel matrix are $TP$.


title: Narrow-Path, Dynamic Walking Using Integrated Posture Manipulation and Thrust Vectoring

abstract: This research concentrates on enhancing the navigational capabilities of Northeastern Universitys Husky, a multi-modal quadrupedal robot, that can integrate posture manipulation and thrust vectoring, to traverse through narrow pathways such as walking over pipes and slacklining. The Husky is outfitted with thrusters designed to stabilize its body during dynamic walking over these narrow paths. The project involves modeling the robot using the HROM (Husky Reduced Order Model) and developing an optimal control framework. This framework is based on polynomial approximation of the HROM and a collocation approach to derive optimal thruster commands necessary for achieving dynamic walking on narrow paths. The effectiveness of the modeling and control design approach is validated through simulations conducted using Matlab.


title: Exact solution for heat transfer across the Sakiadis boundary layer

abstract: We consider the problem of convective heat transfer across the laminar boundary-layer induced by an isothermal moving surface in a Newtonian fluid. In previous work (Barlow, Reinberger, and Weinstein, 2024, \textit{Physics of Fluids}, \textbf{36} (031703), 1-3) an exact power series solution was provided for the hydrodynamic flow, often referred to as the Sakiadis boundary layer. Here, we utilize this expression to develop an exact solution for the associated thermal boundary layer as characterized by the Prandtl number ($\Pr$) and local Reynolds number along the surface. To extract the location-dependent heat-transfer coefficient (expressed in dimensionless form as the Nusselt number), the dimensionless temperature gradient at the wall is required; this gradient is solely a function of $\Pr$, and is expressed as an integral of the exact boundary layer flow solution. We find that the exact solution for the temperature gradient is computationally unstable at large $\Pr$, and a large $\Pr$ expansion for the temperature gradient is obtained using Laplace's method. A composite solution is obtained that is accurate to $O(10^{-10})$. Although divergent, the classical power series solution for the Sakiadis boundary layer -- expanded about the wall -- may be used to obtain all higher-order corrections in the asymptotic expansion. We show that this result is connected to the physics of large Prandtl number flows where the thickness of the hydrodynamic boundary layer is much larger than that of the thermal boundary layer. The present model is valid for all Prandtl numbers and attractive for ease of use.


title: Contribution of Coincidence Detection to Speech Segregation in Noisy Environments

abstract: This study introduces a biologically-inspired model designed to examine the role of coincidence detection cells in speech segregation tasks. The model consists of three stages: a time-domain cochlear model that generates instantaneous rates of auditory nerve fibers, coincidence detection cells that amplify neural activity synchronously with speech presence, and an optimal spectro-temporal speech presence estimator. A comparative analysis between speech estimation based on the firing rates of auditory nerve fibers and those of coincidence detection cells indicates that the neural representation of coincidence cells significantly reduces noise components, resulting in a more distinguishable representation of speech in noise. The proposed framework demonstrates the potential of brainstem nuclei processing in enhancing auditory skills. Moreover, this approach can be further tested in other sensory systems in general and within the auditory system in particular.


title: Hard Work Does Not Always Pay Off: Poisoning Attacks on Neural Architecture Search

abstract: In this paper, we study the robustness of "data-centric" approaches to finding neural network architectures (known as neural architecture search) to data distribution shifts. To audit this robustness, we present a data poisoning attack, when injected to the training data used for architecture search that can prevent the victim algorithm from finding an architecture with optimal accuracy. We first define the attack objective for crafting poisoning samples that can induce the victim to generate sub-optimal architectures. To this end, we weaponize existing search algorithms to generate adversarial architectures that serve as our objectives. We also present techniques that the attacker can use to significantly reduce the computational costs of crafting poisoning samples. In an extensive evaluation of our poisoning attack on a representative architecture search algorithm, we show its surprising robustness. Because our attack employs clean-label poisoning, we also evaluate its robustness against label noise. We find that random label-flipping is more effective in generating sub-optimal architectures than our clean-label attack. Our results suggests that care must be taken for the data this emerging approach uses, and future work is needed to develop robust algorithms.


title: Protocols to Code: Formal Verification of a Next-Generation Internet Router

abstract: We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wide security properties and low-level properties of its implementation. More precisely, we develop a series of protocol models by refinement in Isabelle/HOL and we use an automated program verifier to prove that the router's Go code satisfies memory safety, crash freedom, freedom from data races, and adheres to the protocol model. Both verification efforts are soundly linked together. Our work demonstrates the feasibility of coherently verifying a critical network component from high-level protocol models down to performance-optimized production code, developed by an independent team. In the process, we uncovered critical bugs in both the protocol and its implementation, which were confirmed by the code developers, and we strengthened the protocol's security properties. This paper explains our approach, summarizes the main results, and distills lessons for the design and implementation of verifiable systems, for the handling of continuous changes, and for the verification techniques and tools employed.


title: The Building Blocks of Consciousness

abstract: Consciousness is presented not as a unified and uniquely human characteristic, but rather as an emergent property of several building blocks, most of which are demonstrably present in other species. Each block has its own rationale under natural selection and could have arisen independently, and the jumps between blocks -- which culminate in consciousness -- are small enough to be evolutionarily plausible. One underappreciated block involves unconscious engram playback and discrimination, and plays a major role in brain storage optimization. This function is present in birds and nearly all mammals and is recognized by its side-effect: dreams.


title: A Nonhydrostatic and Mass Conserving Ground-to-Thermosphere Dynamical Core based on Specific Internal Energy

abstract: This paper presents the development of a deep-atmosphere, nonhydrostatic dynamical core (DyCore) targeted towards ground-thermosphere atmospheric prediction. This DyCore is based on a novel formulation of the specific internal energy equation (SIEE), which, unlike standard potential temperature formulations, is valid for variable composition atmospheres. Two versions of a SIEE are derived from basic principles. The first version, which uses a product-rule (PR) continuity equation, contains an additional compressible term and does not conserve mass. The second version, which does not use the product-rule (No-PR) in the continuity equation, contains two compressible terms and conserves mass to machine precision regardless of time truncation error. The pressure gradient and gravitational forces in the momentum balance equation are formulated in a manner appropriate for HA applications and the spectral element method (SEM) is used with Implicit-Explicit (IMEX) and Horizontally Explicit Vertically Implicit (HEVI) time-integration. These new equation sets were implemented in two U. S. Navy atmospheric models: the Nonhydrostatic Unified Model of the Atmosphere (NUMA) and the Navy Environmental Prediction sysTem Using a Nonhydrostatic Core (NEPTUNE). Numerical results using a nonhydrostatic and hydrostatic baroclinic instability, a balanced zonal flow, and HA mountain wave experiments are shown. These results are compared to existing deep-atmosphere dynamical cores, indicating that the proposed discretized IEE equation sets are viable next-generation ground-to-thermosphere DyCores.


title: Towards accurate spin-orbit splittings from relativistic multireference electronic structure theory

abstract: Most nonrelativistic electron correlation methods can be adapted to account for relativistic effects, as long as the relativistic molecular spinor integrals are available, from either a four-, two-, or one-component mean-field calculation. However, relativistic multireference correlation methods remain a relatively unexplored area, with mixed evidence regarding the improvements brought by perturbative treatments. We report, for the first time, the implementation of state-averaged four-component multireference perturbation theories to second and third order based on the driven similarity renormalization group (DSRG). With our methods, named 4c-SA-DSRG-MRPT2 and 3, we find that the dynamical correlation included on top of 4c-CASSCF references can significantly improve the spin-orbit splittings in p-block elements and potential energy surfaces when compared to 4c-CASSCF and 4c-CASPT2 results. We further show that 4c-DSRG-MRPT2 and 3 are applicable to these systems over a wide range of the flow parameter, with systematic improvement from second to third order in terms of both improved error statistics and reduced sensitivity with respect to the flow parameter.


title: Collaborative Design for Job-Seekers with Autism: A Conceptual Framework for Future Research

abstract: The success of employment is highly related to a job seeker's capability of communicating and collaborating with others. While leveraging one's network during the job-seeking process is intuitive to the neurotypical, this can be challenging for people with autism. Recent empirical findings have started to show how facilitating collaboration between people with autism and their social surroundings through new design can improve their chances of employment. This work aims to provide actionable guidelines and conceptual frameworks that future researchers and practitioners can apply to improve collaborative design for job-seekers with autism. Built upon the literature on past technological interventions built for supporting job-seekers with autism, we define three major research challenges of (1) communication support, (2) employment stage-wise support, and (3) group work support. For each challenge, we review the current state-of-the-art practices and possible future solutions. We then suggest future designs that can provide breakthroughs from the interdisciplinary lens of human-AI collaboration, health services, group work, accessibility computing, and natural language processing.


title: Believing Anthropomorphism: Examining the Role of Anthropomorphic Cues on Trust in Large Language Models

abstract: People now regularly interface with Large Language Models (LLMs) via speech and text (e.g., Bard) interfaces. However, little is known about the relationship between how users anthropomorphize an LLM system (i.e., ascribe human-like characteristics to a system) and how they trust the information the system provides. Participants (n=2,165; ranging in age from 18-90 from the United States) completed an online experiment, where they interacted with a pseudo-LLM that varied in modality (text only, speech + text) and grammatical person ("I" vs. "the system") in its responses. Results showed that the "speech + text" condition led to higher anthropomorphism of the system overall, as well as higher ratings of accuracy of the information the system provides. Additionally, the first-person pronoun ("I") led to higher information accuracy and reduced risk ratings, but only in one context. We discuss these findings for their implications for the design of responsible, human-generative AI experiences.


title: Scalable Learning of Segment-Level Traffic Congestion Functions

abstract: We propose and study a data-driven framework for identifying traffic congestion functions (numerical relationships between observations of macroscopic traffic variables) at global scale and segment-level granularity. In contrast to methods that estimate a separate set of parameters for each roadway, ours learns a single black-box function over all roadways in a metropolitan area. First, we pool traffic data from all segments into one dataset, combining static attributes with dynamic time-dependent features. Second, we train a feed-forward neural network on this dataset, which we can then use on any segment in the area. We evaluate how well our framework identifies congestion functions on observed segments and how it generalizes to unobserved segments and predicts segment attributes on a large dataset covering multiple cities worldwide. For identification error on observed segments, our single data-driven congestion function compares favorably to segment-specific model-based functions on highway roads, but has room to improve on arterial roads. For generalization, our approach shows strong performance across cities and road types: both on unobserved segments in the same city and on zero-shot transfer learning between cities. Finally, for predicting segment attributes, we find that our approach can approximate critical densities for individual segments using their static properties.


title: Simultaneous Many-Row Activation in Off-the-Shelf DRAM Chips: Experimental Characterization and Analysis

abstract: We experimentally analyze the computational capability of commercial off-the-shelf (COTS) DRAM chips and the robustness of these capabilities under various timing delays between DRAM commands, data patterns, temperature, and voltage levels. We extensively characterize 120 COTS DDR4 chips from two major manufacturers. We highlight four key results of our study. First, COTS DRAM chips are capable of 1) simultaneously activating up to 32 rows (i.e., simultaneous many-row activation), 2) executing a majority of X (MAJX) operation where X>3 (i.e., MAJ5, MAJ7, and MAJ9 operations), and 3) copying a DRAM row (concurrently) to up to 31 other DRAM rows, which we call Multi-RowCopy. Second, storing multiple copies of MAJX's input operands on all simultaneously activated rows drastically increases the success rate (i.e., the percentage of DRAM cells that correctly perform the computation) of the MAJX operation. For example, MAJ3 with 32-row activation (i.e., replicating each MAJ3's input operands 10 times) has a 30.81% higher average success rate than MAJ3 with 4-row activation (i.e., no replication). Third, data pattern affects the success rate of MAJX and Multi-RowCopy operations by 11.52% and 0.07% on average. Fourth, simultaneous many-row activation, MAJX, and Multi-RowCopy operations are highly resilient to temperature and voltage changes, with small success rate variations of at most 2.13% among all tested operations. We believe these empirical results demonstrate the promising potential of using DRAM as a computation substrate. To aid future research and development, we open-source our infrastructure at https://github.com/CMU-SAFARI/SiMRA-DRAM.


title: Thermodynamic Insights into Polyelectrolyte Complexation: A Theoretical Framework

abstract: In this study, we propose a theoretical framework to investigate the interactions between flexible polymer chains, specifically polyelectrolytes (PEs). By calculating the system's free energy while considering position-dependent mutual interactions and chain conformations, we gain insights into the local dielectricity as PEs overlap. Our analysis reveals that the thermodynamic drive for complex coacervation is influenced by factors such as the number of ions bound to the polymer backbone and the entropy associated with free ions, challenging earlier assumptions about the relationship between entropy gain and electrostatic temperature. We demonstrate that global thermodynamic behavior is strongly influenced by local factors like dielectric constant, providing clarity on discrepancies between experimental and computational studies. Additionally, we found that entropy gain is inversely proportional to the local dielectric constant, assuming a constant electrostatic temperature. Our findings highlight the importance of considering polymer-specific parameters when exploring the thermodynamic behavior of charged polymer complexation.


title: Exploring Entanglement Spectrum and Phase Diagram in multi-electron Quantum Dot Chains

abstract: We investigate the entanglement properties in semiconductor quantum dot systems modeled by extended Hubbard model, focusing on the impact of potential energy variations and electron interactions within a four-site quantum dot spin chain. Our study explores local and pairwise entanglement across configurations with electron counts N=4 and N=6, under different potential energy settings. By adjusting the potential energy in specific dots and examining the entanglement across various interaction regimes, we identify significant variations in the ground states of quantum dots. Our results reveal that local potential modifications lead to notable redistributions of electron configurations, significantly affecting the entanglement properties. These changes are depicted in phase diagrams that show entanglement dependencies on interaction strengths and potential energy adjustments, highlighting complex entanglement dynamics and phase transitions triggered by inter-dot interactions.


title: Extreme electron-photon interaction in perovskite glass

abstract: The interaction of light with solids can be dramatically enhanced owing to electron-photon momentum matching. This mechanism is driven by either quantum confinement or long-range structural correlations in media with crystal-liquid duality. In this paper, we address a new strategy based on both phenomena for enhancement of the light-matter interaction in a direct bandgap semiconductor - lead halide perovskite CsPbBr$_3$ - by using electric pulse-driven structural disorder. The disordered (glassy) state allows the generation of confined photons, and the formation of an electronic continuum of static/dynamic defect states across the forbidden gap (Urbach bridge). Both mechanisms underlie photon-momentum-enabled electronic Raman scattering (ERS) and single-photon anti-Stokes photoluminescence (PL) under sub-band pump. PL/ERS blinking is discussed to be associated with thermal fluctuations of cross-linked [PbBr$_6$]$^{4-}$ octahedra. Time-delayed synchronization of PL/ERS blinking causes enhanced spontaneous emission at room temperature. Our findings indicate the role of photon momentum in enhanced light-matter interactions in disordered and nanostructured solids.


title: Zero-consistency root emulation for unprivileged container image build

abstract: Do Linux distribution package managers need the privileged operations they request to actually happen? Apparently not, at least for building container images for HPC applications. We use this observation to implement a root emulation mode using a Linux seccomp filter that intercepts some privileged system calls, does nothing, and returns success to the calling program. This approach provides no consistency whatsoever but appears sufficient to build all Dockerfiles we examined, simplifying fully-unprivileged workflows needed for HPC application containers.


title: Electron-mirror duality and thermality

abstract: Classical electromagnetic radiation from moving point charges is foundational, but the thermal dynamics responsible for classical acceleration temperature are poorly understood. We investigate the thermal properties of classical electromagnetic radiation in the context of the correspondence between accelerated electrons and moving mirrors, focusing on three trajectories with asymptotically infinite (Davies-Fulling), asymptotically zero (Walker-Davies), and eternally uniform acceleration. The latter two are argued not to be thermal, while the former is found to emit thermal photons with a temperature that depends on the electron's speed. Thermal radiation from the mirror reveals a zero-jerk condition.


title: When Are Combinations of Humans and AI Useful?

abstract: Inspired by the increasing use of AI to augment humans, researchers have studied human-AI systems involving different tasks, systems, and populations. Despite such a large body of work, we lack a broad conceptual understanding of when combinations of humans and AI are better than either alone. Here, we addressed this question by conducting a meta-analysis of over 100 recent experimental studies reporting over 300 effect sizes. First, we found that, on average, human-AI combinations performed significantly worse than the best of humans or AI alone. Second, we found performance losses in tasks that involved making decisions and significantly greater gains in tasks that involved creating content. Finally, when humans outperformed AI alone, we found performance gains in the combination, but when the AI outperformed humans alone we found losses. These findings highlight the heterogeneity of the effects of human-AI collaboration and point to promising avenues for improving human-AI systems.


title: A Mixture of Experts Approach to 3D Human Motion Prediction

abstract: This project addresses the challenge of human motion prediction, a critical area for applications such as au- tonomous vehicle movement detection. Previous works have emphasized the need for low inference times to provide real time performance for applications like these. Our primary objective is to critically evaluate existing model ar- chitectures, identifying their advantages and opportunities for improvement by replicating the state-of-the-art (SOTA) Spatio-Temporal Transformer model as best as possible given computational con- straints. These models have surpassed the limitations of RNN-based models and have demonstrated the ability to generate plausible motion sequences over both short and long term horizons through the use of spatio-temporal rep- resentations. We also propose a novel architecture to ad- dress challenges of real time inference speed by incorpo- rating a Mixture of Experts (MoE) block within the Spatial- Temporal (ST) attention layer. The particular variation that is used is Soft MoE, a fully-differentiable sparse Transformer that has shown promising ability to enable larger model capacity at lower inference cost. We make out code publicly available at https://github.com/edshieh/motionprediction


title: Learning Low-dimensional Latent Dynamics from High-dimensional Observations: Non-asymptotics and Lower Bounds

abstract: In this paper, we focus on learning a linear time-invariant (LTI) model with low-dimensional latent variables but high-dimensional observations. We provide an algorithm that recovers the high-dimensional features, i.e. column space of the observer, embeds the data into low dimensions and learns the low-dimensional model parameters. Our algorithm enjoys a sample complexity guarantee of order $\tilde{\mathcal{O}}(n/\epsilon^2)$, where $n$ is the observation dimension. We further establish a fundamental lower bound indicating this complexity bound is optimal up to logarithmic factors and dimension-independent constants. We show that this inevitable linear factor of $n$ is due to the learning error of the observer's column space in the presence of high-dimensional noises. Extending our results, we consider a meta-learning problem inspired by various real-world applications, where the observer column space can be collectively learned from datasets of multiple LTI systems. An end-to-end algorithm is then proposed, facilitating learning LTI systems from a meta-dataset which breaks the sample complexity lower bound in certain scenarios.


title: Astrosat view of GX 339-4 during the peak of the recent outburst

abstract: We present the spectral and timing analyses of \textit{AstroSat} observations of the Black Hole X-ray Binary GX 339-4 when the source was close the peak of the outburst in 2024. We find that both the spectral and timing variability of the source is indicative of it in its steep power law (SPL) state during the observations. We used phenomenological and physical models to understand the physics and geometry of accretion during this spectral state of the source. Spectral fits indicate the presence of an accretion disc with a temperature of $kT\sim$0.82 keV and a hot corona with a spectral index of $\sim$2.2 along with a significant contribution from iron line emission from the accretion disc. Strong QPOs were detected at $\sim$4.6 Hz in the Power Density Spectra of the source along with a harmonics feature. Time and phase lag at the QPO frequency are studied and we find a hard lag at the QPO frequency and at the same time a soft lag at the harmonic frequency. We estimate the spin of the black hole and it was found that $a = 0.99 \pm 0.003$. The height of the coronal region is estimated to be about 2.5 $R_{g}$, which is found to be similar to that observed during the previous outbursts of the source. We attempt to discuss the possible physical scenario for the observed spectral and timing features exhibited by the source.


title: Limit points of (signless) Laplacian spectral radii of linear trees

abstract: We study limit points of the spectral radii of Laplacian matrices of graphs. We adapted the method used by J. B. Shearer in 1989, devised to prove the density of adjacency limit points of caterpillars, to Laplacian limit points. We show that this fails, in the sense that there is an interval for which the method produces no limit points. Then we generalize the method to Laplacian limit points of linear trees and prove that it generates a larger set of limit points. The results of this manuscript may provide important tools for proving the density of Laplacian limit points in $[4.38+, \infty)$.


title: Binding groups for algebraic dynamics

abstract: A binding group theorem is proved in the context of quantifier-free internality to the fixed field in difference-closed fields of characteristic zero. This is articulated as a statement about the birational geometry of isotrivial algebraic dynamical systems, and more generally isotrivial $\sigma$-varieties. It asserts that if $(V,\phi)$ is an isotrivial $\sigma$-variety then a certain subgroup of the group of birational transformations of $V$, namely those that preserve all the relations between $(V,\phi)$ and the trivial dynamics on the affine line, is in fact an algebraic group. Several application are given including new special cases of the Zariski Dense Orbit Conjecture and the Dixmier-Moeglin Equivalence Problem in algebraic dynamics, as well as finiteness results about the existence of nonconstant invariant rational functions on cartesian powers of $\sigma$-varieties. These applications give algebraic-dynamical analogues of recent results in differential-algebraic geometry.


title: Selective Fine-tuning on LLM-labeled Data May Reduce Reliance on Human Annotation: A Case Study Using Schedule-of-Event Table Detection

abstract: Large Language Models (LLMs) have demonstrated their efficacy across a broad spectrum of tasks in healthcare applications. However, often LLMs need to be fine-tuned on task-specific expert annotated data to achieve optimal performance, which can be expensive and time consuming. In this study, we fine-tune PaLM-2 with parameter efficient fine-tuning (PEFT) using noisy labels obtained from gemini-pro 1.0 for the detection of Schedule-of-Event (SoE) tables, which specify care plan in clinical trial protocols. We introduce a filtering mechanism to select high-confidence labels for this table classification task, thereby reducing the noise in the auto-generated labels. We show that fine-tuned PaLM-2 with those labels achieves performance that exceeds the gemini-pro 1.0 and other LLMs. Furthermore, its performance is close to a PaLM-2 fine-tuned on labels obtained from non-expert annotators. Our results show that leveraging LLM-generated labels through powerful models like gemini-pro can potentially serve as a viable strategy for improving LLM performance through fine-tuning in specialized tasks, particularly in domains where expert annotations are scarce, expensive, or time-consuming to obtain.


title: Amenable actions of real and $p$-adic algebraic groups

abstract: Let $K$ be a locally compact field of characteristic 0. Let $G$ be a linear algebraic group defined over $K$, acting algebraically on an algebraic variety $V$. We prove that the action of $G(K)$ (the group of $K$-rational points of $G$) on $V(K)$ is topologically amenable, if and only if all points stabilizers in $G(K)$ are solvable-by-compact. This follows by combining a result by Borel-Serre \cite{BoSe} with the following fact: let $G$ be a second countable locally compact group acting continuously on a second countable locally compact space $Y$. If the action $G\curvearrowright Y$ is smooth (i.e. the Borel structure on $G\backslash Y$ is countably separated), then topological amenability of $G\curvearrowright Y$ is equivalent to amenability of all point stabilizers in $G$.


title: Boundary conditions and electromagnetic effects on the phase transition of a zero spin bosonic system

abstract: In the following paper, we will study a charged scalar field under an electromagnetic external field taking into account the spatial confining of the system. We shall use the Coleman-Weinberg method in one-loop approximation to obtain the effective potential of the model in the proper time representation. Through generalized Matsubara formalism, we applied several kinds of boundary conditions on the frontier of the system. The regularization of the model is performed by a scheme independent of the external electromagnetic applied field. The model presents phase transition and we carry out its analysis by the free energy density functional of the bosonic system. The findings show magnetic catalysis, electric catalysis, and inverse electric catalysis phenomena, all of them depending on the thickness of the system.


title: First-principles Investigation into the Heterostructures and Moir\'e Bilayers of Transition Metal Dichalcogenides (TMDCs)

abstract: Layered two-dimensional (2D) materials, particularly MX$_2$ transition metal dichalcogenides (TMDCs), where M represents Mo or W and X is S, Se, or Te, exhibit unique properties when configured into hetero- and homo-bilayers with diverse stacking arrangements. This study emphasizes the impact of "magic angles" in twisted homobilayers that lead to transformative Moir\'e patterns, crucial for manipulating material properties. Our computational analysis of heterostructures covered 30 combinations from six MX$_2$ types, revealing that both the materials' choice and stacking significantly affect stability and band gap energy (E$_g$). Notably, the MoTe$_2$/WSe$_2$ heterostructure with a 60$^{\circ}$ twist demonstrates a direct E$_g$, underscoring its potential in novel applications. In homobilayers, both fully relaxed and low-strain scenarios were examined across various stackings and twists. We found that optimal bilayers' E$_g$ is highly dependent on stacking alignment. Particularly, 1T-MoS$_2$, WS$_2$, and WSe$_2$ can exhibit direct or indirect E$_g$ under specific twisted conditions, with 1T-MoS$_2$ showing a capability to transition between semiconductor and conductor states. Specific "magic angles" at 17.9$^{\circ}$ and 42.1$^{\circ}$ in twisted WS$_2$ and WSe$_2$ bilayers form symmetrical Moir\'e patterns, enabling fine-tuning of E$_g$ through angle adjustments and influencing electronic band flatness. Compared to monolayers, these TMDC bilayers display enhanced stability, which can be strategically adjusted. The use of controlled twisted angles in these bilayers emerges as a powerful tool in materials engineering, offering precise control over various electronic properties.


title: A trustless society? A political look at the blockchain vision

abstract: A lot of business and research effort currently deals with the so called decentralised ledger technology blockchain. Putting it to use carries the tempting promise to make the intermediaries of social interactions superfluous and furthermore keep secure track of all interactions. Currently intermediaries such as banks and notaries are necessary and must be trusted, which creates great dependencies, as the financial crisis of 2008 painfully demonstrated. Especially banks and notaries are said to become dispensable as a result of using the blockchain. But in real-world applications of the blockchain, the power of central actors does not dissolve, it only shifts to new, democratically illegitimate, uncontrolled or even uncontrollable power centers. As interesting as the blockchain technically is, it doesn't efficiently solve any real-world problem and is no substitute for traditional political processes or democratic regulation of power. Research efforts investigating the blockchain should be halted.


title: Secure Storage using Maximally Recoverable Locally Repairable Codes

abstract: This paper considers data secrecy in distributed storage systems (DSSs) using maximally recoverable locally repairable codes (MR-LRCs). Conventional MR-LRCs are in general not secure against eavesdroppers who can observe the transmitted data during a global repair operation. This work enables nonzero secrecy dimension of DSSs encoded by MR-LRCs through a new repair framework. The key idea is to associate each local group with a central processing unit (CPU), which aggregates and transmits the contribution from the intact nodes of their group to the CPU of a group needing a global repair. The aggregation is enabled by so-called local polynomials that can be generated independently in each group. Two different schemes -- direct repair and forwarded repair -- are considered, and their secrecy dimension using MR-LRCs is derived. Positive secrecy dimension is enabled for several parameter regimes.


title: Complex Permittivity Characterization of Low-Loss Dielectric Slabs at Sub-THz

abstract: This manuscript presents a novel method for characterizing the permittivities of low-loss dielectric slabs in sub-terahertz (sub-THz) frequencies, specifically above 100 GHz using a quasi-optical system. The algorithm is introduced with detailed derivations, and the measurement sensitivity is analyzed through simulations. Subsequently, the method's validity is established via simulations, demonstrating high accuracy (error 0.1% for the loss tangent) for a 30 mm thick plate material and relatively lower accuracy (error <5% for the loss tangent) for a 6 mm thick plate material. Notably, this accuracy surpasses that of the approach presented in [1] when the same window width is used to extract signals. Furthermore, a comparison between the permittivities of plexiglass with a 30 mm thickness characterized by the proposed method and the approach in [1] reveals a maximum difference in the dielectric constant of 0.011 and in loss tangent of 0.00071 from 140 to 220 GHz. Finally, the relative complex permittivities of plexiglass at 142.86 GHz obtained by both methods are compared with the reference values provided in [2], exhibiting differences of 0.06 in the dielectric constant.


title: OzDES Reverberation Mapping Program: Stacking analysis with H$\beta$, Mg II and C IV

abstract: Reverberation mapping is the leading technique used to measure direct black hole masses outside of the local Universe. Additionally, reverberation measurements calibrate secondary mass-scaling relations used to estimate single-epoch virial black hole masses. The Australian Dark Energy Survey (OzDES) conducted one of the first multi-object reverberation mapping surveys, monitoring 735 AGN up to $z\sim4$, over 6 years. The limited temporal coverage of the OzDES data has hindered recovery of individual measurements for some classes of sources, particularly those with shorter reverberation lags or lags that fall within campaign season gaps. To alleviate this limitation, we perform a stacking analysis of the cross-correlation functions of sources with similar intrinsic properties to recover average composite reverberation lags. This analysis leads to the recovery of average lags in each redshift-luminosity bin across our sample. We present the average lags recovered for the H$\beta$, Mg II and C IV samples, as well as multi-line measurements for redshift bins where two lines are accessible. The stacking analysis is consistent with the Radius-Luminosity relations for each line. Our results for the H$\beta$ sample demonstrate that stacking has the potential to improve upon constraints on the $R-L$ relation, which have been derived only from individual source measurements until now.


title: First Radial Excitations of Mesons and Diquarks in a Contact Interaction

abstract: We present a calculation for the masses of the first radially excited states of forty mesons and diquarks made up of $u,d,s,c$ and $b$ quarks, including states that contain one or both heavy quarks. To this end, we employ a combined analysis of the Bethe-Salpeter and Schwinger-Dyson equations within a self-consistent and symmetry preserving vector-vector contact interaction. The same set of parameters describe ground and excited states of mesons and their diquark partners. The wave-function of the first radial excitation contains a zero whose location is correlated with an additional parameter $d_F$ which is a function of dressed quark masses. Our results satisfy the equal spacing rules given by the Gell-Mann Okubo mass relations. Wherever possible, we make comparisons of our findings with known experimental observations as well as theoretical predictions of several other models and approaches including lattice quantum chromodynamics, finding a very good agreement. We report predictions for a multitude of radial excitations not yet observed in experiments.


title: Nonlinear integrated optical resonators for optical fibre data recovery

abstract: We apply in simulation a reservoir computer based on evanescently coupled GaAs microrings for real-time compensation of a nonlinear distortion of a 50 Gbaud 16-QAM signal with the launch power up to 12 dBm in a standard single-mode optical fibre. We clearly evidence the crucial role of fast nonlinear response in enabling all-optical signal recovery in real time. With our system we are able to reduce the signal error rate below the forward error correction limit for a 20 km fibre and 12 dBm launch power.


title: Impact of current limiters and fast voltage boosters in grid-forming VSC-based generators on transient stability

abstract: Transient stability is a complex phenomenon presented in multi-machine and multi-converter systems, and it is still considered a key limiting factor for stressed power systems. The increasing integration of non-synchronous generation further emphasises the need to address the challenges of improving the transient stability faced by these power systems. Several studies have focused on developing control strategies for GFM-VSCs to improve transient stability. These strategies include the use of current limiting algorithms and/or control of active/reactive power injections. This paper investigates the impact of fast voltage boosters (FVBs) and hybrid current limiters (HCLs) on transient stability of power systems with 100% grid-forming VSC-based generators. Short-circuit simulations and critical clearing time analysis are performed to evaluate the effectiveness of HCLs and FVBs in improving transient stability. The simulation results demonstrate the effectiveness of these approaches in avoiding the loss of synchronism. This research contributes to the current studies on transient stability in power systems and provides valuable insights into the potential of HCLs and FVBs as effective approaches to improve system stability.


title: Fluorescent Graphene Quantum Dots-Enhanced Machine Learning for Accurate Detection and Quantification of Hg2+ and Fe3+ in Real Water Samples

abstract: Selective, accurate, fast, and with minimal usage of instrumentation has become paramount nowadays in areas of environmental monitoring. Here, we chemically modified fluorescent graphene quantum dots (GQDs) and trained a Machine Learning (ML) algorithm for the selective quantification of Hg2+ and Fe3+ ions present within real water samples. The probe is obtained by an electrosynthesis of CVD graphene in the presence of urea, followed by the functionalization with 1-nitroso-2-naphthol (NN). The functionalization with NN moieties dramatically improve selectivity and sensitivity toward Hg2+ and Fe3+, as demonstrated by LODs as low as 0.001 mg L-1 and 0.003 mg L-1; respectively. Time-dependent density-functional theory (TD-DFT) reveals that the NN molecules within the GQDs are responsible of the florescence emission of the probe. The emission spectra profiles exhibited distinct characteristics between Hg2+ and Fe3+ enabling the ML model to precisely quantify and differentiate between both analytes present in natural and drinking waters. The ML results were further validated by measurements via cold vapor-atomic fluorescence spectroscopy and UV-vis spectroscopy. The efficiency of the ML model eliminates the necessity of extensive training values and validations, making it a reliable tool for precisely quantifying the presence of Fe and Hg ions in real water samples.


title: Can Perplexity Reflect Large Language Model's Ability in Long Text Understanding?

abstract: Recent studies have shown that Large Language Models (LLMs) have the potential to process extremely long text. Many works only evaluate LLMs' long-text processing ability on the language modeling task, with perplexity (PPL) as the evaluation metric. However, in our study, we find that there is no correlation between PPL and LLMs' long-text understanding ability. Besides, PPL may only reflect the model's ability to model local information instead of catching long-range dependency. Therefore, only using PPL to prove the model could process long text is inappropriate. The local focus feature of PPL could also explain some existing phenomena, such as the great extrapolation ability of the position method ALiBi. When evaluating a model's ability in long text, we might pay more attention to PPL's limitation and avoid overly relying on it.


title: Human Skin Permittivity Characterization for Mobile Handset Evaluation at Sub-THz

abstract: This manuscript proposes a method for characterizing the complex permittivity of the human finger skin based on an open-ended waveguide covered with a thin dielectric sheet at sub-terahertz frequencies. The measurement system is initially analyzed through full-wave simulations with a detailed finger model. Next, the model is simplified by replacing the finger with an infinite sheet of human skin to calculate the forward electromagnetic problem related to the permittivity characterization. Following this, a radial basis network is employed to train the inverse problem solver. Finally, the complex permittivities of finger skins are characterized for 10 volunteers. The variations in complex relative permittivity across different individuals and skin regions are analyzed, revealing a deviation of $<\pm 1.5$ for both the dielectric constants and loss factors across 140 to 220 GHz. Repeated measurements at the same location on the finger demonstrate good repeatability with a relative estimation uncertainty $<\pm 1.5\%$.


title: Transforming the Bootstrap: Using Transformers to Compute Scattering Amplitudes in Planar N = 4 Super Yang-Mills Theory

abstract: We pursue the use of deep learning methods to improve state-of-the-art computations in theoretical high-energy physics. Planar N = 4 Super Yang-Mills theory is a close cousin to the theory that describes Higgs boson production at the Large Hadron Collider; its scattering amplitudes are large mathematical expressions containing integer coefficients. In this paper, we apply Transformers to predict these coefficients. The problem can be formulated in a language-like representation amenable to standard cross-entropy training objectives. We design two related experiments and show that the model achieves high accuracy (> 98%) on both tasks. Our work shows that Transformers can be applied successfully to problems in theoretical physics that require exact solutions.


title: The geometry of consumer preference aggregation

abstract: We revisit a classical question of how individual consumer preferences and incomes shape aggregate behavior. We develop a method that applies to populations with homothetic preferences and reduces the hard problem of aggregation to simply computing a weighted average in the space of logarithmic expenditure functions. We apply the method to identify aggregation-invariant preference domains, characterize aggregate preferences from common domains like linear or Leontief, and describe indecomposable preferences that do not correspond to the aggregate behavior of any non-trivial population. Applications include robust welfare analysis, information design, discrete choice models, pseudo-market mechanisms, and preference identification.


title: Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow

abstract: Optimal Power Flow (OPF) is a valuable tool for power system operators, but it is a difficult problem to solve for large systems. Machine Learning (ML) algorithms, especially Neural Networks-based (NN) optimization proxies, have emerged as a promising new tool for solving OPF, by estimating the OPF solution much faster than traditional methods. However, these ML algorithms act as black boxes, and it is hard to assess their worst-case performance across the entire range of possible inputs than an OPF can have. Previous work has proposed a mixed-integer programming-based methodology to quantify the worst-case violations caused by a NN trained to estimate the OPF solution, throughout the entire input domain. This approach, however, does not scale well to large power systems and more complex NN models. This paper addresses these issues by proposing a scalable algorithm to compute worst-case violations of NN proxies used for approximating large power systems within a reasonable time limit. This will help build trust in ML models to be deployed in large industry-scale power grids.


title: Combined topological and spatial constraints are required to capture the structure of neural connectomes

abstract: Volumetric brain reconstructions provide an unprecedented opportunity to gain insights into the complex connectivity patterns of neurons in an increasing number of organisms. Here, we model and quantify the complexity of the resulting neural connectomes in the fruit fly, mouse, and human and unveil a simple set of shared organizing principles across these organisms. To put the connectomes in a physical context, we also construct contactomes, the network of neurons in physical contact in each organism. With these, we establish that physical constraints -- either given by pairwise distances or the contactome -- play a crucial role in shaping the network structure. For example, neuron positions are highly optimal in terms of distance from their neighbors. However, spatial constraints alone cannot capture the network topology, including the broad degree distribution. Conversely, the degree sequence alone is insufficient to recover the spatial structure. We resolve this apparent conflict by formulating scalable maximum entropy models, incorporating both types of constraints. The resulting generative models have predictive power beyond the input data, as they capture several additional biological and network characteristics, like synaptic weights and graphlet statistics.


title: Collective modes in an unconventional superconductor with $j=3/2$ fermions

abstract: The $j = 3/2$ fermions in cubic crystals or cold atomic gases can form Cooper pairs in both singlet ($J = 0$) and unconventional quintet ($J = 2$) $s$-wave states. Our study utilizes analytical field theory to examine fluctuations in these states within the framework of the Luttinger-Kohn model. We investigate how collective modes evolve with varying spin-orbit coupling (SOC) strength. In the singlet state, quintet Bardasis-Schrieffer modes soften at a finite wavevector, hinting at Fulde-Ferrell-Larkin-Ovchinnikov physics. In the quintet state, we identify additional gapless and gapped modes originating from the partially broken symmetry due to SOC. Our results can be readily detected using current experimental techniques.


title: Bayesian Optimization of Sample Entropy Hyperparameters for Short Time Series

abstract: Quantifying the complexity and irregularity of time series data is a primary pursuit across various data-scientific disciplines. Sample entropy (SampEn) is a widely adopted metric for this purpose, but its reliability is sensitive to the choice of its hyperparameters, the embedding dimension $(m)$ and the similarity radius $(r)$, especially for short-duration signals. This paper presents a novel methodology that addresses this challenge. We introduce a Bayesian optimization framework, integrated with a bootstrap-based variance estimator tailored for short signals, to simultaneously and optimally select the values of $m$ and $r$ for reliable SampEn estimation. Through validation on synthetic signal experiments, our approach outperformed existing benchmarks. It achieved a 60 to 90% reduction in relative error for estimating SampEn variance and a 22 to 45% decrease in relative mean squared error for SampEn estimation itself ($p \leq 0.043$). Applying our method to publicly available short-signal benchmarks yielded promising results. Unlike existing competitors, our approach was the only one to successfully identify known entropy differences across all signal sets ($p \leq 0.042$). Additionally, we introduce "EristroPy," an open-source Python package that implements our proposed optimization framework for SampEn hyperparameter selection. This work holds potential for applications where accurate estimation of entropy from short-duration signals is paramount.


title: Thermal Dark Photon Dark Matter, Coscattering, and Long-lived ALPs

abstract: We study thermal freeze-out in the \textit{dark axion portal} - an axion coupling to the dark photon and photon - considering the dark photon as the lightest stable particle, thereby a dark matter candidate. We pay special attention to the coscattering regime, founding viable DM scenarios fulfilling the correct relic abundance. Furthermore, we explore the prospects of having the axion as a long-lived particle, possibly to be observed at the LHC and future detectors.


title: A specialisation theorem for Lang-N\'eron groups

abstract: We show that, for a polarised smooth projective variety $B \hookrightarrow \mathbb{P}^n_k$ of dimension $\geq 2$ over an infinite field $k$ and an abelian variety $A$ over the function field of $B$, there exists a dense Zariski open set of smooth geometrically connected hyperplane sections $h$ of $B$ such that $A$ has good reduction at $h$ and the specialisation homomorphism of Lang-N\'eron groups at $h$ is injective (up to a finite $p$-group in positive characteristic $p$). This gives a positive answer to a conjecture of the first author, which is used to deduce a negative definiteness result on his refined height pairing. This also sheds a new light on N\'eron's specialisation theorem.


title: AB-Type Dual-Phase High-Entropy Alloys as Negative Electrode of Ni-MH Batteries: Impact of Interphases on Electrochemical Performance

abstract: High-entropy alloys (HEAs) and their corresponding high-entropy hydrides are new potential candidates for negative electrode materials of nickel-metal hydride (Ni-MH) batteries. This study investigates the cyclic electrochemical hydrogen storage performance of two AB-type HEAs (A: hydride-forming elements, B: non-hydride-forming elements) in Ni-MH batteries. TiV2ZrCrMnFeNi with a dual-phase structure shows a fast activation and a low charge transfer impedance with a discharge capacity of 150 mAhg-1, while TiV1.5Zr1.5CrMnFeNi with a single phase shows a slow activation and a capacity of only 60 mAhg-1. The better electrochemical performance of TiV2ZrCrMnFeNi was attributed to its higher vanadium/zirconium ratio and abundant interphase boundaries, which act as hydrogen paths and heterogeneous hydride nucleation sites. These results suggest the high potential of dual-phase HEAs as new active electrode materials for Ni-MH batteries.


title: Rethinking Efficient and Effective Point-based Networks for Event Camera Classification and Regression: EventMamba

abstract: Event cameras, drawing inspiration from biological systems, efficiently detect changes in ambient light with low latency and high dynamic range while consuming minimal power. The most current approach to processing event data often involves converting it into frame-based representations, which is well-established in traditional vision. However, this approach neglects the sparsity of event data, loses fine-grained temporal information during the transformation process, and increases the computational burden, making it ineffective for characterizing event camera properties. In contrast, Point Cloud is a popular representation for 3D processing and is better suited to match the sparse and asynchronous nature of the event camera. Nevertheless, despite the theoretical compatibility of point-based methods with event cameras, the results show a performance gap that is not yet satisfactory compared to frame-based methods. In order to bridge the performance gap, we propose EventMamba, an efficient and effective Point Cloud framework that achieves competitive results even compared to the state-of-the-art (SOTA) frame-based method in both classification and regression tasks. This notable accomplishment is facilitated by our rethinking of the distinction between Event Cloud and Point Cloud, emphasizing effective temporal information extraction through optimized network structures. Specifically, EventMamba leverages temporal aggregation and State Space Model (SSM) based Mamba boasting enhanced temporal information extraction capabilities. Through a hierarchical structure, EventMamba is adept at abstracting local and global spatial features and implicit and explicit temporal features. By adhering to the lightweight design principle, EventMamba delivers impressive results with minimal computational resource utilization, demonstrating its efficiency and effectiveness.


title: Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution

abstract: One of the main bottlenecks of blockchains is smart contract execution. To increase throughput, modern blockchains try to execute transactions in parallel. Unfortunately, however, common blockchain use cases introduce read-write conflicts between transactions, forcing sequentiality. We propose RapidLane, an extension for parallel execution engines that allows the engine to capture computations in conflicting parts of transactions and defer their execution until a later time, sometimes optimistically predicting execution results. This technique, coupled with support for a new construct for smart contract languages, allows one to turn certain sequential workloads into parallelizable ones. We integrated RapidLane into Block-STM, a state-of-the-art parallel execution engine used by several blockchains in production, and deployed it on the Aptos blockchain. Our evaluation shows that on commonly contended workloads, such as peer-to-peer transfers with a single fee payer and NFT minting, RapidLane yields up to $12\times$ more throughput.


title: On Kainen's conjectures on surface crossing numbers

abstract: In 1972, Kainen proved a general lower bound on the crossing number of a graph in a closed surface and conjectured that this bound is tight when the graph is either a complete graph or a complete bipartite graph, and the surface is of genus close to the minimum genus of that graph. Prior to the present work, these conjectures were known to be true only for small cases and when the conjectures predict a crossing number of 0, i.e., when a triangular or quadrangular embedding was already known. We show that Kainen's conjectures are true except for the three graphs $K_9$, $K_{3,5}$, and $K_{5,5}$. We also prove nonorientable analogues of these conjectures, where the only exceptions to the general formulas are $K_7$ and $K_8$.


title: Gradient Flow Based Phase-Field Modeling Using Separable Neural Networks

abstract: The $L^2$ gradient flow of the Ginzburg-Landau free energy functional leads to the Allen Cahn equation that is widely used for modeling phase separation. Machine learning methods for solving the Allen-Cahn equation in its strong form suffer from inaccuracies in collocation techniques, errors in computing higher-order spatial derivatives through automatic differentiation, and the large system size required by the space-time approach. To overcome these limitations, we propose a separable neural network-based approximation of the phase field in a minimizing movement scheme to solve the aforementioned gradient flow problem. At each time step, the separable neural network is used to approximate the phase field in space through a low-rank tensor decomposition thereby accelerating the derivative calculations. The minimizing movement scheme naturally allows for the use of Gauss quadrature technique to compute the functional. A `$tanh$' transformation is applied on the neural network-predicted phase field to strictly bounds the solutions within the values of the two phases. For this transformation, a theoretical guarantee for energy stability of the minimizing movement scheme is established. Our results suggest that bounding the solution through this transformation is the key to effectively model sharp interfaces through separable neural network. The proposed method outperforms the state-of-the-art machine learning methods for phase separation problems and is an order of magnitude faster than the finite element method.


title: A discontinuous Galerkin scheme for elliptic equations on extremely stretched grids

abstract: Discontinuous Galerkin (DG) methods for solving elliptic equations are gaining popularity in the computational physics community for their high-order spectral convergence and their potential for parallelization on computing clusters. However, problems in numerical relativity with extremely stretched grids, such as initial data problems for binary black holes that impose boundary conditions at large distances from the black holes, have proven challenging for DG methods. To alleviate this problem we have developed a primal DG scheme that is generically applicable to a large class of elliptic equations, including problems on curved and extremely stretched grids. The DG scheme accommodates two widely used initial data formulations in numerical relativity, namely the puncture formulation and the extended conformal thin-sandwich (XCTS) formulation. We find that our DG scheme is able to stretch the grid by a factor of $\sim 10^9$ and hence allows to impose boundary conditions at large distances. The scheme converges exponentially with resolution both for the smooth XCTS problem and for the non-smooth puncture problem. With this method we are able to generate high-quality initial data for binary black hole problems using a parallelizable DG scheme. The code is publicly available in the open-source SpECTRE numerical relativity code.


title: Secure Distributed Matrix Multiplication with Precomputation

abstract: We consider the problem of secure distributed matrix multiplication in which a user wishes to compute the product of two matrices with the assistance of honest but curious servers. We show how to construct polynomial schemes for the outer product partitioning which take advantage of the user's ability to precompute, and provide bounds for our technique. We show that precomputation allows for a reduction in the order of the time complexity for the cases where the number of colluding servers is a fixed percentage of the number of servers. Furthermore, with precomputation, any percentage (less than 100%) of collusions can be tolerated, compared to the upper limit of 50% for the case without precomputation.


title: Pentagram maps over rings, Grassmannians, and skewers

abstract: The pentagram map is a discrete dynamical system on planar polygons. By definition, the image of a polygon $P$ under the pentagram map is the polygon $P'$ whose vertices are the intersection points of consecutive shortest diagonals of $P$. The pentagram map was introduced by R. Schwartz in 1992, and is now one of the most renowned discrete integrable systems. Several authors proposed generalizations of the pentagram map to other geometries, in particular to Grassmannians, where the role of points and lines is played by higher-dimensional subspaces, as well to skewer geometry, where both points and lines are affine lines in the three-dimensional Euclidean space. In the present paper, we develop a common framework for these kinds of generalizations. Specifically, we show that those maps can be viewed as pentagram maps in the projective plane over an appropriate ring. In general, those rings need not be division rings or commutative. We show that the Grassmannian pentagram map corresponds to the ring of matrices, while the skewer map is the pentagram map over the ring of dual numbers. Furthermore, we prove that the pentagram map remains integrable for any stably finite ground ring $R$.


title: Modelling the random spreading of fake news through a two-dimensional time-inhomogeneous birth-death process

abstract: We consider a two-dimensional time-inhomogeneous birth-death process to model the time-evolution of fake news in a population. The two components of the process represent, respectively, (i) the number of individuals (say spreaders) who know the rumor and intend to spread it, and (ii) the number of individuals (say inactives) who have forgotten the rumor previously received. We employ the probability generating function-based approach to obtain the moments and the covariance of the two-dimensional process. We also analyze a new adimensional index to study the correlation between the two components. Some special cases are considered in which both the expected numbers of spreaders and inactives are equal to suitable sigmoidal curves, which are often adopted in modelling growth phenomena. Finally, we provide an application based on real data related to the diffusion of fake news, in which the optimal choice of the sigmoidal curve that fit the datasets is based on the minimization of the mean square error and of the relative absolute error.\


title: Demystifying Behavior-Based Malware Detection at Endpoints

abstract: Machine learning is widely used for malware detection in practice. Prior behavior-based detectors most commonly rely on traces of programs executed in controlled sandboxes. However, sandbox traces are unavailable to the last line of defense offered by security vendors: malware detection at endpoints. A detector at endpoints consumes the traces of programs running on real-world hosts, as sandbox analysis might introduce intolerable delays. Despite their success in the sandboxes, research hints at potential challenges for ML methods at endpoints, e.g., highly variable malware behaviors. Nonetheless, the impact of these challenges on existing approaches and how their excellent sandbox performance translates to the endpoint scenario remain unquantified. We present the first measurement study of the performance of ML-based malware detectors at real-world endpoints. Leveraging a dataset of sandbox traces and a dataset of in-the-wild program traces; we evaluate two scenarios where the endpoint detector was trained on (i) sandbox traces (convenient and accessible); and (ii) endpoint traces (less accessible due to needing to collect telemetry data). This allows us to identify a wide gap between prior methods' sandbox-based detection performance--over 90%--and endpoint performances--below 20% and 50% in (i) and (ii), respectively. We pinpoint and characterize the challenges contributing to this gap, such as label noise, behavior variability, or sandbox evasion. To close this gap, we propose that yield a relative improvement of 5-30% over the baselines. Our evidence suggests that applying detectors trained on sandbox data to endpoint detection -- scenario (i) -- is challenging. The most promising direction is training detectors on endpoint data -- scenario (ii) -- which marks a departure from widespread practice. We implement a leaderboard for realistic detector evaluations to promote research.


title: Cooperative Route Guidance and Flow Control for Mixed Road Networks Comprising Expressway and Arterial Network

abstract: Facing the congestion challenges of mixed road networks comprising expressways and arterial road networks, traditional control solutions fall short. To effectively alleviate traffic congestion in mixed road networks, it is crucial to clear the interaction between expressways and arterial networks and achieve orderly coordination between them. This study employs the multi-class cell transmission model (CTM) combined with the macroscopic fundamental diagram (MFD) to model the traffic dynamics of expressway systems and arterial subregions, enabling vehicle path tracking across these two systems. Consequently, a comprehensive traffic transmission model suitable for mixed road networks has been integrated. Utilizing the SUMO software, a simulation platform for the mixed road network is established, and the average trip lengths within the model have been calibrated. Based on the proposed traffic model, this study constructs a route guidance model for mixed road networks and develops an integrated model predictive control (MPC) strategy that merges route guidance, perimeter control, and ramp metering to address the challenges of mixed road networks' traffic flow control. A case study of a scenario in which a bidirectional expressway connects two subregions is conducted, and the results validate the effectiveness of the proposed cooperative guidance and control (CGC) method in reducing overall congestion in mixed road networks.


title: Quantum Secure Anonymous Communication Networks

abstract: Anonymous communication networks (ACNs) enable Internet browsing in a way that prevents the accessed content from being traced back to the user. This allows a high level of privacy, protecting individuals from being tracked by advertisers or governments, for example. The Tor network, a prominent example of such a network, uses a layered encryption scheme to encapsulate data packets, using Tor nodes to obscure the routing process before the packets enter the public Internet. While Tor is capable of providing substantial privacy, its encryption relies on schemes, such as RSA and Diffie-Hellman for distributing symmetric keys, which are vulnerable to quantum computing attacks and are currently in the process of being phased out. To overcome the threat, we propose a quantum-resistant alternative to RSA and Diffie-Hellman for distributing symmetric keys, namely, quantum key distribution (QKD). Standard QKD networks depend on trusted nodes to relay keys across long distances, however, reliance on trusted nodes in the quantum network does not meet the criteria necessary for establishing a Tor circuit in the ACN. We address this issue by developing a protocol and network architecture that integrates QKD without the need for trusted nodes, thus meeting the requirements of the Tor network and creating a quantum-secure anonymous communication network.


title: Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection

abstract: Compiling programs to an instruction set architecture (ISA) requires a set of rewrite rules that map patterns consisting of compiler instructions to patterns consisting of ISA instructions. We synthesize such rules by constructing SMT queries, whose solutions represent two functionally equivalent programs. These two programs are interpreted as an instruction selection rewrite rule. Existing work is limited to single-instruction ISA patterns, whereas our solution does not have that restriction. Furthermore, we address inefficiencies of existing work by developing two optimized algorithms. The first only generates unique rules by preventing synthesis of duplicate and composite rules. The second only generates lowest-cost rules by preventing synthesis of higher-cost rules. We evaluate our algorithms on multiple ISAs. Without our optimizations, the vast majority of synthesized rewrite rules are either duplicates, composites, or higher cost. Our optimizations result in synthesis speed-ups of up to 768x and 4004x for the two algorithms.


title: Enhanced Multimodal Content Moderation of Children's Videos using Audiovisual Fusion

abstract: Due to the rise in video content creation targeted towards children, there is a need for robust content moderation schemes for video hosting platforms. A video that is visually benign may include audio content that is inappropriate for young children while being impossible to detect with a unimodal content moderation system. Popular video hosting platforms for children such as YouTube Kids still publish videos which contain audio content that is not conducive to a child's healthy behavioral and physical development. A robust classification of malicious videos requires audio representations in addition to video features. However, recent content moderation approaches rarely employ multimodal architectures that explicitly consider non-speech audio cues. To address this, we present an efficient adaptation of CLIP (Contrastive Language-Image Pre-training) that can leverage contextual audio cues for enhanced content moderation. We incorporate 1) the audio modality and 2) prompt learning, while keeping the backbone modules of each modality frozen. We conduct our experiments on a multimodal version of the MOB (Malicious or Benign) dataset in supervised and few-shot settings.


title: Narrative to Trajectory (N2T+): Extracting Routes of Life or Death from Human Trafficking Text Corpora

abstract: Climate change and political unrest in certain regions of the world are imposing extreme hardship on many communities and are forcing millions of vulnerable populations to abandon their homelands and seek refuge in safer lands. As international laws are not fully set to deal with the migration crisis, people are relying on networks of exploiting smugglers to escape the devastation in order to live in stability. During the smuggling journey, migrants can become victims of human trafficking if they fail to pay the smuggler and may be forced into coerced labor. Government agencies and anti-trafficking organizations try to identify the trafficking routes based on stories of survivors in order to gain knowledge and help prevent such crimes. In this paper, we propose a system called Narrative to Trajectory (N2T+), which extracts trajectories of trafficking routes. N2T+ uses Data Science and Natural Language Processing techniques to analyze trafficking narratives, automatically extract relevant location names, disambiguate possible name ambiguities, and plot the trafficking route on a map. In a comparative evaluation we show that the proposed multi-dimensional approach offers significantly higher geolocation detection than other state of the art techniques.


title: Creating Geospatial Trajectories from Human Trafficking Text Corpora

abstract: Human trafficking is a crime that affects the lives of millions of people across the globe. Traffickers exploit the victims through forced labor, involuntary sex, or organ harvesting. Migrant smuggling could also be seen as a form of human trafficking when the migrant fails to pay the smuggler and is forced into coerced activities. Several news agencies and anti-trafficking organizations have reported trafficking survivor stories that include the names of locations visited along the trafficking route. Identifying such routes can provide knowledge that is essential to preventing such heinous crimes. In this paper we propose a Narrative to Trajectory (N2T) information extraction system that analyzes reported narratives, extracts relevant information through the use of Natural Language Processing (NLP) techniques, and applies geospatial augmentation in order to automatically plot trajectories of human trafficking routes. We evaluate N2T on human trafficking text corpora and demonstrate that our approach of utilizing data preprocessing and augmenting database techniques with NLP libraries outperforms existing geolocation detection methods.


title: Finite-Length Analysis of Wiretap Codes using Universal Hash Functions

abstract: This paper investigates the relation between the second-order coding rate, where the second-order turns out to be strictly larger than $\sqrt{n}$, and the mutual information as the leaked information for a fixed error probability by using wiretap codes constructed by universal$_2$ hash functions. We first generalize the upper bound on $\epsilon$-smooth max information in \cite{tyagi} and use it in our analysis where we adopt the method in \cite{hayashi-tan}, which uses universal hashing for compressing a source and making it secure from another correlated source, and apply it to the wiretap channel. We prove first- and second-order achievability results by assuming that the conjecture we state holds true.