title: Decentralized Coordination of Distributed Energy Resources through Local Energy Markets and Deep Reinforcement Learning

abstract: As the energy landscape evolves toward sustainability, the accelerating integration of distributed energy resources poses challenges to the operability and reliability of the electricity grid. One significant aspect of this issue is the notable increase in net load variability at the grid edge. Transactive energy, implemented through local energy markets, has recently garnered attention as a promising solution to address the grid challenges in the form of decentralized, indirect demand response on a community level. Given the nature of these challenges, model-free control approaches, such as deep reinforcement learning, show promise for the decentralized automation of participation within this context. Existing studies at the intersection of transactive energy and model-free control primarily focus on socioeconomic and self-consumption metrics, overlooking the crucial goal of reducing community-level net load variability. This study addresses this gap by training a set of deep reinforcement learning agents to automate end-user participation in ALEX, an economy-driven local energy market. In this setting, agents do not share information and only prioritize individual bill optimization. The study unveils a clear correlation between bill reduction and reduced net load variability in this setup. The impact on net load variability is assessed over various time horizons using metrics such as ramping rate, daily and monthly load factor, as well as daily average and total peak export and import on an open-source dataset. Agents are then benchmarked against several baselines, with their performance levels showing promising results, approaching those of a near-optimal dynamic programming benchmark.


title: Robotic deployment on construction sites: considerations for safety and productivity impact

abstract: Deploying mobile robots in construction sites to collaborate with workers or perform automated tasks such as surveillance and inspections carries the potential to greatly increase productivity, reduce human errors, and save costs. However ensuring human safety is a major concern, and the rough and dynamic construction environments pose multiple challenges for robot deployment. In this paper, we present the insights we obtained from our collaborations with construction companies in Canada and discuss our experiences deploying a semi-autonomous mobile robot in real construction scenarios.


title: A universal material model subroutine for soft matter systems

abstract: Soft materials play an integral part in many aspects of modern life including autonomy, sustainability, and human health, and their accurate modeling is critical to understand their unique properties and functions. Today's finite element analysis packages come with a set of pre-programmed material models, which may exhibit restricted validity in capturing the intricate mechanical behavior of these materials. Regrettably, incorporating a modified or novel material model in a finite element analysis package requires non-trivial in-depth knowledge of tensor algebra, continuum mechanics, and computer programming, making it a complex task that is prone to human error. Here we design a universal material subroutine, which automates the integration of novel constitutive models of varying complexity in non-linear finite element packages, with no additional analytical derivations and algorithmic implementations. We demonstrate the versatility of our approach to seamlessly integrate innovative constituent models from the material point to the structural level through a variety of soft matter case studies: a frontal impact to the brain; reconstructive surgery of the scalp; diastolic loading of arteries and the human heart; and the dynamic closing of the tricuspid valve. Our universal material subroutine empowers all users, not solely experts, to conduct reliable engineering analysis of soft matter systems. We envision that this framework will become an indispensable instrument for continued innovation and discovery within the soft matter community at large.


title: Detecting stellar flares in photometric data using hidden Markov models

abstract: We present a hidden Markov model (HMM) for discovering stellar flares in light curve data of stars. HMMs provide a framework to model time series data that are not stationary; they allow for systems to be in different states at different times and consider the probabilities that describe the switching dynamics between states. In the context of stellar flares discovery, we exploit the HMM framework by allowing the light curve of a star to be in one of three states at any given time step: Quiet, Firing, or Decaying. This three state HMM formulation is designed to enable straightforward identification of stellar flares, their duration, and associated uncertainty. This is crucial for estimating the flare's energy, and is useful for studies of stellar flare energy distributions. We combine our HMM with a celerite model that accounts for quasi periodic stellar oscillations. Through an injection recovery experiment, we demonstrate and evaluate the ability of our method to detect and characterize flares in stellar time series. We also show that the proposed HMM flags fainter and lower energy flares more easily than traditional sigma clipping methods. Lastly, we visually demonstrate that simultaneously conducting detrending and flare detection can mitigate biased estimations arising in multistage modelling approaches. Thus, this method paves a new way to calculating stellar flare energy. We conclude with an example application to one star observed by TESS, showing how the HMM compares with sigma clipping when using real data.


title: DeepFake-O-Meter v2.0: An Open Platform for DeepFake Detection

abstract: Deepfakes, as AI-generated media, have increasingly threatened media integrity and personal privacy with realistic yet fake digital content. In this work, we introduce an open-source and user-friendly online platform, DeepFake-O-Meter v2.0, that integrates state-of-the-art methods for detecting Deepfake images, videos, and audio. Built upon DeepFake-O-Meter v1.0, we have made significant upgrades and improvements in platform architecture design, including user interaction, detector integration, job balancing, and security management. The platform aims to offer everyday users a convenient service for analyzing DeepFake media using multiple state-of-the-art detection algorithms. It ensures secure and private delivery of the analysis results. Furthermore, it serves as an evaluation and benchmarking platform for researchers in digital media forensics to compare the performance of multiple algorithms on the same input. We have also conducted detailed usage analysis based on the collected data to gain deeper insights into our platform's statistics. This involves analyzing two-month trends in user activity and evaluating the processing efficiency of each detector.


title: Multiclass ROC

abstract: Model evaluation is of crucial importance in modern statistics application. The construction of ROC and calculation of AUC have been widely used for binary classification evaluation. Recent research generalizing the ROC/AUC analysis to multi-class classification has problems in at least one of the four areas: 1. failure to provide sensible plots 2. being sensitive to imbalanced data 3. unable to specify mis-classification cost and 4. unable to provide evaluation uncertainty quantification. Borrowing from a binomial matrix factorization model, we provide an evaluation metric summarizing the pair-wise multi-class True Positive Rate (TPR) and False Positive Rate (FPR) with one-dimensional vector representation. Visualization on the representation vector measures the relative speed of increment between TPR and FPR across all the classes pairs, which in turns provides a ROC plot for the multi-class counterpart. An integration over those factorized vector provides a binary AUC-equivalent summary on the classifier performance. Mis-clasification weights specification and bootstrapped confidence interval are also enabled to accommodate a variety of of evaluation criteria. To support our findings, we conducted extensive simulation studies and compared our method to the pair-wise averaged AUC statistics on benchmark datasets.


title: BACS: Background Aware Continual Semantic Segmentation

abstract: Semantic segmentation plays a crucial role in enabling comprehensive scene understanding for robotic systems. However, generating annotations is challenging, requiring labels for every pixel in an image. In scenarios like autonomous driving, there's a need to progressively incorporate new classes as the operating environment of the deployed agent becomes more complex. For enhanced annotation efficiency, ideally, only pixels belonging to new classes would be annotated. This approach is known as Continual Semantic Segmentation (CSS). Besides the common problem of classical catastrophic forgetting in the continual learning setting, CSS suffers from the inherent ambiguity of the background, a phenomenon we refer to as the "background shift'', since pixels labeled as background could correspond to future classes (forward background shift) or previous classes (backward background shift). As a result, continual learning approaches tend to fail. This paper proposes a Backward Background Shift Detector (BACS) to detect previously observed classes based on their distance in the latent space from the foreground centroids of previous steps. Moreover, we propose a modified version of the cross-entropy loss function, incorporating the BACS detector to down-weight background pixels associated with formerly observed classes. To combat catastrophic forgetting, we employ masked feature distillation alongside dark experience replay. Additionally, our approach includes a transformer decoder capable of adjusting to new classes without necessitating an additional classification head. We validate BACS's superior performance over existing state-of-the-art methods on standard CSS benchmarks.


title: Beyond Self-Consistency: Ensemble Reasoning Boosts Consistency and Accuracy of LLMs in Cancer Staging

abstract: Advances in large language models (LLMs) have encouraged their adoption in the healthcare domain where vital clinical information is often contained in unstructured notes. Cancer staging status is available in clinical reports, but it requires natural language processing to extract the status from the unstructured text. With the advance in clinical-oriented LLMs, it is promising to extract such status without extensive efforts in training the algorithms. Prompting approaches of the pre-trained LLMs that elicit a model's reasoning process, such as chain-of-thought, may help to improve the trustworthiness of the generated responses. Using self-consistency further improves model performance, but often results in inconsistent generations across the multiple reasoning paths. In this study, we propose an ensemble reasoning approach with the aim of improving the consistency of the model generations. Using an open access clinical large language model to determine the pathologic cancer stage from real-world pathology reports, we show that the ensemble reasoning approach is able to improve both the consistency and performance of the LLM in determining cancer stage, thereby demonstrating the potential to use these models in clinical or other domains where reliability and trustworthiness are critical.


title: Transformer Based Planning in the Observation Space with Applications to Trick Taking Card Games

abstract: Traditional search algorithms have issues when applied to games of imperfect information where the number of possible underlying states and trajectories are very large. This challenge is particularly evident in trick-taking card games. While state sampling techniques such as Perfect Information Monte Carlo (PIMC) search has shown success in these contexts, they still have major limitations. We present Generative Observation Monte Carlo Tree Search (GO-MCTS), which utilizes MCTS on observation sequences generated by a game specific model. This method performs the search within the observation space and advances the search using a model that depends solely on the agent's observations. Additionally, we demonstrate that transformers are well-suited as the generative model in this context, and we demonstrate a process for iteratively training the transformer via population-based self-play. The efficacy of GO-MCTS is demonstrated in various games of imperfect information, such as Hearts, Skat, and "The Crew: The Quest for Planet Nine," with promising results.


title: Observation of Momentum Space Josephson Effects

abstract: The momentum space Josephson effect describes the supercurrent flow between weakly coupled Bose-Einstein condensates (BECs) at two discrete momentum states. Here, we experimentally observe this exotic phenomenon using a BEC with Raman-induced spin-orbit coupling, where the tunneling between two local band minima is implemented by the momentum kick of an additional optical lattice. A sudden quench of the Raman detuning induces coherent spin-momentum oscillations of the BEC, which is analogous to the a.c. Josephson effect. We observe both plasma and regular Josephson oscillations in different parameter regimes. The experimental results agree well with the theoretical model and numerical simulation, and showcase the important role of nonlinear interactions. We also show that the measurement of the Josephson plasma frequency gives the Bogoliubov zero quasimomentum gap, which determines the mass of the corresponding pseudo-Goldstone mode, a long-sought phenomenon in particle physics. The observation of momentum space Josephson physics offers an exciting platform for quantum simulation and sensing utilizing momentum states as a synthetic degree.


title: Group cohesion and passive dynamics of a pair of inertial swimmers with three-dimensional hydrodynamic interactions

abstract: When swimming animals form cohesive groups, they can reap several benefits. Our understanding of collective animal motion has traditionally been driven by models based on phenomenological behavioral rules, but more recent work has highlighted the critical importance of hydrodynamic interactions among a group of inertial swimmers. To study how hydrodynamic interactions affect group cohesion, we develop a three-dimensional, inviscid, far-field model of a swimmer. In a group of two model swimmers, we observe several dynamical phases, including following, divergence, collision, and cohesion. Our results illustrate when cohesive groups can passively form through hydrodynamic interactions alone, and when other action is needed to maintain cohesion. We find that misalignment between swimmers makes passive cohesion less likely; nevertheless, it is possible for a cohesive group to form through passive hydrodynamic interactions alone. We also find that the geometry of swimmers critically affects the group dynamics due to its role in how swimmers sample the velocity gradient of the flow.


title: Motion-adaptive Separable Collaborative Filters for Blind Motion Deblurring

abstract: Eliminating image blur produced by various kinds of motion has been a challenging problem. Dominant approaches rely heavily on model capacity to remove blurring by reconstructing residual from blurry observation in feature space. These practices not only prevent the capture of spatially variable motion in the real world but also ignore the tailored handling of various motions in image space. In this paper, we propose a novel real-world deblurring filtering model called the Motion-adaptive Separable Collaborative (MISC) Filter. In particular, we use a motion estimation network to capture motion information from neighborhoods, thereby adaptively estimating spatially-variant motion flow, mask, kernels, weights, and offsets to obtain the MISC Filter. The MISC Filter first aligns the motion-induced blurring patterns to the motion middle along the predicted flow direction, and then collaboratively filters the aligned image through the predicted kernels, weights, and offsets to generate the output. This design can handle more generalized and complex motion in a spatially differentiated manner. Furthermore, we analyze the relationships between the motion estimation network and the residual reconstruction network. Extensive experiments on four widely used benchmarks demonstrate that our method provides an effective solution for real-world motion blur removal and achieves state-of-the-art performance. Code is available at https://github.com/ChengxuLiu/MISCFilter


title: Phase-Field Modeling of Fracture with Physics-Informed Deep Learning

abstract: We explore the potential of the deep Ritz method to learn complex fracture processes such as quasistatic crack nucleation, propagation, kinking, branching, and coalescence within the unified variational framework of phase-field modeling of brittle fracture. We elucidate the challenges related to the neural-network-based approximation of the energy landscape, and the ability of an optimization approach to reach the correct energy minimum, and we discuss the choices in the construction and training of the neural network which prove to be critical to accurately and efficiently capture all the relevant fracture phenomena. The developed method is applied to several benchmark problems and the results are shown to be in qualitative and quantitative agreement with the finite element solution. The robustness of the approach is tested by using neural networks with different initializations.


title: On the rectilinear crossing number of complete balanced multipartite graphs and layered graphs

abstract: A rectilinear drawing of a graph is a drawing of the graph in the plane in which the edges are drawn as straight-line segments. The rectilinear crossing number of a graph is the minimum number of pairs of edges that cross over all rectilinear drawings of the graph. Let $n \ge r$ be positive integers. The graph $K_n^r$, is the complete $r$-partite graph on $n$ vertices, in which every set of the partition has at least $\lfloor n/r \rfloor$ vertices. The layered graph, $L_n^r$, is an $r$-partite graph on $n$ vertices, in which for every $1\le i \le r-1$, all the vertices in the $i$-th partition are adjacent to all the vertices in the $(i+1)$-th partition. In this paper, we give upper bounds on the rectilinear crossing numbers of $K_n^r$ and~$L_n^r$.


title: Crowdsourcing public attitudes toward local services through the lens of Google Maps reviews: An urban density-based perspective

abstract: Understanding how urban density impacts public perceptions of urban service is important for informing livable, accessible, and equitable urban planning. Conventional methods such as surveys are limited by their sampling scope, time efficiency, and expense. On the other hand, crowdsourcing through online platforms presents an opportunity for decision-makers to tap into a user-generated source of information that is widely available and cost-effective. To demonstrate such potential, we collect Google Maps reviews for 23,906 points of interest (POIs) in Atlanta, Georgia. Next, we use the Bidirectional Encoder Representations from Transformers (BERT) model to classify reviewers' attitudes toward urban density and the Robustly Optimized BERT approach (RoBERTa) to compute sentiment. Finally, a partial least squares regression is fitted to examine the relationships between average sentiment and socio-spatial factors. The findings reveal areas in Atlanta with predominantly negative sentiments toward urban density and highlight the variation in sentiment distribution across different POIs. Further, the regression analysis reveals that minority and low-income communities often express more negative sentiments, and higher land use density exacerbates such negativity. This study introduces a novel data source and methodological framework that can be easily adapted to different regions, offering useful insights into public sentiment toward the built environment and shedding light on how planning policies can be designed to handle related challenges.


title: On the differentiation of integrals in measure spaces along filters: II

abstract: Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of the differentiation of integrals, one seeks to recapture $f$ from its Lebesgue transform. In previous work we showed that, in all known results, $f$ may be recaputed from its Lebesgue transform by means of a limiting process associated to an appropriate family of filters defined on the collection of all measurable subsets of $X$ of positive measure. The first result of the present work is that the existence of such a limiting process is equivalent to the existence of a Von Neumann-Maharam lifting of $X$. In the second result of this work we provide an independent argument that shows that the recourse to filters is a \textit{necessary consequence} of the requirement that the process of recapturing $f$ from its mean-values is associated to a \textit{natural transformation}, in the sense of category theory. This result essentially follows from the Yoneda lemma. As far as we know, this is the first instance of a significant interaction between category theory and the problem of the differentiation of integrals. In the Appendix we have proved, in a precise sense, that \textit{natural transformations fall within the general concept of homomorphism}. As far as we know, this is a novel conclusion: Although it is often said that natural transformations are homomorphisms of functors, this statement appears to be presented as a mere analogy, not in a precise technical sense. In order to achieve this result, we had to bring to the foreground a notion that is implicit in the subject but has remained hidden in the background, i.e., that of \textit{partial magma}.


title: Resource Slicing with Cross-Cell Coordination in Satellite-Terrestrial Integrated Networks

abstract: Satellite-terrestrial integrated networks (STIN) are envisioned as a promising architecture for ubiquitous network connections to support diversified services. In this paper, we propose a novel resource slicing scheme with cross-cell coordination in STIN to satisfy distinct service delay requirements and efficient resource usage. To address the challenges posed by spatiotemporal dynamics in service demands and satellite mobility, we formulate the resource slicing problem into a long-term optimization problem and propose a distributed resource slicing (DRS) scheme for scalable and flexible resource management across different cells. Specifically, a hybrid data-model co-driven approach is developed, including an asynchronous multi-agent reinforcement learning-based algorithm to determine the optimal satellite set serving each cell and a distributed optimization-based algorithm to make the resource reservation decisions for each slice. Simulation results demonstrate that the proposed scheme outperforms benchmark methods in terms of resource usage and delay performance.


title: Equivariant Imaging for Self-supervised Hyperspectral Image Inpainting

abstract: Hyperspectral imaging (HSI) is a key technology for earth observation, surveillance, medical imaging and diagnostics, astronomy and space exploration. The conventional technology for HSI in remote sensing applications is based on the push-broom scanning approach in which the camera records the spectral image of a stripe of the scene at a time, while the image is generated by the aggregation of measurements through time. In real-world airborne and spaceborne HSI instruments, some empty stripes would appear at certain locations, because platforms do not always maintain a constant programmed attitude, or have access to accurate digital elevation maps (DEM), and the travelling track is not necessarily aligned with the hyperspectral cameras at all times. This makes the enhancement of the acquired HS images from incomplete or corrupted observations an essential task. We introduce a novel HSI inpainting algorithm here, called Hyperspectral Equivariant Imaging (Hyper-EI). Hyper-EI is a self-supervised learning-based method which does not require training on extensive datasets or access to a pre-trained model. Experimental results show that the proposed method achieves state-of-the-art inpainting performance compared to the existing methods.


title: Single electron self-coherence and its wave/particle duality in the electron microscope

abstract: Intensities in high-resolution phase-contrast images from electron microscopes build up discretely in time by detecting single electrons. A wave description of pulse-like coherent-inelastic interaction of an electron with matter is detailed and verified. In perspective, the interaction time of any matter wave compares with the lifetime of a virtual particle of any elemental interaction, suggesting the present concept of coherent-inelastic interactions of matter waves might be generalizable.


title: CyberSecEval 2: A Wide-Ranging Cybersecurity Evaluation Suite for Large Language Models

abstract: Large language models (LLMs) introduce new security risks, but there are few comprehensive evaluation suites to measure and reduce these risks. We present BenchmarkName, a novel benchmark to quantify LLM security risks and capabilities. We introduce two new areas for testing: prompt injection and code interpreter abuse. We evaluated multiple state-of-the-art (SOTA) LLMs, including GPT-4, Mistral, Meta Llama 3 70B-Instruct, and Code Llama. Our results show that conditioning away risk of attack remains an unsolved problem; for example, all tested models showed between 26% and 41% successful prompt injection tests. We further introduce the safety-utility tradeoff: conditioning an LLM to reject unsafe prompts can cause the LLM to falsely reject answering benign prompts, which lowers utility. We propose quantifying this tradeoff using False Refusal Rate (FRR). As an illustration, we introduce a novel test set to quantify FRR for cyberattack helpfulness risk. We find many LLMs able to successfully comply with "borderline" benign requests while still rejecting most unsafe requests. Finally, we quantify the utility of LLMs for automating a core cybersecurity task, that of exploiting software vulnerabilities. This is important because the offensive capabilities of LLMs are of intense interest; we quantify this by creating novel test sets for four representative problems. We find that models with coding capabilities perform better than those without, but that further work is needed for LLMs to become proficient at exploit generation. Our code is open source and can be used to evaluate other LLMs.


title: Effects of dynamical dielectric screening on the excitonic spectrum of monolayer semiconductors

abstract: We present a new method to solve the dynamical Bethe-Salpeter Equation numerically. The method allows one to investigate the effects of dynamical dielectric screening on the spectral position of excitons in transition-metal dichalcogenide monolayers. The dynamics accounts for the response of optical phonons in the materials below and on top the monolayer to the electric field lines between the electron and hole of the exciton. The inclusion of this effect unravels the origin of a counterintuitive energy blueshift of the exciton resonance, observed recently in monolayer semiconductors that are supported on ionic crystals with large dielectric constants. A surprising result is that while energy renormalization of a free electron in the conduction band or a free hole in the valence band is controlled by the low-frequency dielectric constant, the bandgap energy introduces a phase between the photoexcited electron and hole, rendering contributions from the high-frequency dielectric constant also important when evaluating self-energies of the exciton components. As a result, bandgap renormalization of the exciton is not the sum of independent contributions from energy shifts of the conduction and valence bands. The theory correctly predicts the energy shifts of exciton resonances in various dielectric environments that embed two-dimensional semiconductors.


title: A national longitudinal dataset of skills taught in U.S. higher education curricula

abstract: Higher education plays a critical role in driving an innovative economy by equipping students with knowledge and skills demanded by the workforce. While researchers and practitioners have developed data systems to track detailed occupational skills, such as those established by the U.S. Department of Labor (DOL), much less effort has been made to document skill development in higher education at a similar granularity. Here, we fill this gap by presenting a longitudinal dataset of skills inferred from over three million course syllabi taught at nearly three thousand U.S. higher education institutions. To construct this dataset, we apply natural language processing to extract from course descriptions detailed workplace activities (DWAs) used by the DOL to describe occupations. We then aggregate these DWAs to create skill profiles for institutions and academic majors. Our dataset offers a large-scale representation of college-educated workers and their role in the economy. To showcase the utility of this dataset, we use it to 1) compare the similarity of skills taught and skills in the workforce according to the US Bureau of Labor Statistics, 2) estimate gender differences in acquired skills based on enrollment data, 3) depict temporal trends in the skills taught in social science curricula, and 4) connect college majors' skill distinctiveness to salary differences of graduates. Overall, this dataset can enable new research on the source of skills in the context of workforce development and provide actionable insights for shaping the future of higher education to meet evolving labor demands especially in the face of new technologies.


title: Full-Information Estimation For Hierarchical Data

abstract: The U.S. Census Bureau's 2020 Disclosure Avoidance System (DAS) bases its output on noisy measurements, which are population tabulations added to realizations of mean-zero random variables. These noisy measurements are observed in a set of hierarchical geographic units, e.g., the U.S. as a whole, states, counties, census tracts, and census blocks. The noisy measurements from the 2020 Redistricting Data File and Demographic and Housing Characteristics File statistical data products are now public. The purpose of this paper is to describe a method to leverage the hierarchical structure within these noisy measurements to compute confidence intervals for arbitrary tabulations and in arbitrary geographic entities composed of census blocks. This method is based on computing a weighted least squares estimator (WLS) and its variance matrix. Due to the high dimension of this estimator, this operation is not feasible using the standard approach, since this would require evaluating products with the inverse of a dense matrix with several billion (or even several trillion) rows and columns. In contrast, the approach we describe in this paper computes the required estimate and its variance with a time complexity and memory requirement that scales linearly in the number of census blocks.


title: Holding the Line: A Study of Writers' Attitudes on Co-creativity with AI

abstract: Generative AI has put many professional writers on the defensive; a major negotiation point of the recent Writers Guild of America's strike concerned use of AI. However, must AI threaten writers, their livelihoods or their creativity? And under what conditions, if any, might AI assistance be invited by different types of writers (from the amateur to the professional, from the screenwriter to the novelist)? To explore these questions, we conducted a qualitative study with 37 writers. We found that most writing occurs across five stages and within one of three modes; we additionally map openness to AI assistance to each intersecting stage-mode. We found that most writers were interested in AI assistance to some degree, but some writers felt drawing firm boundaries with an AI was key to their comfort using such systems. Designers can leverage these insights to build agency-respecting AI products for writers.


title: FoMo: A Proposal for a Multi-Season Dataset for Robot Navigation in For\^et Montmorency

abstract: In this paper, we propose the FoMo (For\^et Montmorency) dataset: a comprehensive, multi-season data collection. Located in the Montmorency Forest, Quebec, Canada, our dataset will capture a rich variety of sensory data over six distinct trajectories totaling 6 kilometers, repeated through different seasons to accumulate 42 kilometers of recorded data. The boreal forest environment increases the diversity of datasets for mobile robot navigation. This proposed dataset will feature a broad array of sensor modalities, including lidar, radar, and a navigation-grade Inertial Measurement Unit (IMU), against the backdrop of challenging boreal forest conditions. Notably, the FoMo dataset will be distinguished by its inclusion of seasonal variations, such as changes in tree canopy and snow depth up to 2 meters, presenting new challenges for robot navigation algorithms. Alongside, we will offer a centimeter-level accurate ground truth, obtained through Post Processed Kinematic (PPK) Global Navigation Satellite System (GNSS) correction, facilitating precise evaluation of odometry and localization algorithms. This work aims to spur advancements in autonomous navigation, enabling the development of robust algorithms capable of handling the dynamic, unstructured environments characteristic of boreal forests. With a public odometry and localization leaderboard and a dedicated software suite, we invite the robotics community to engage with the FoMo dataset by exploring new frontiers in robot navigation under extreme environmental variations. We seek feedback from the community based on this proposal to make the dataset as useful as possible. For further details and supplementary materials, please visit https://norlab-ulaval.github.io/FoMo-website/.


title: Infrared resonance-lattice device technology

abstract: We present subwavelength resonant lattices fashioned as nano- and microstructured films as a basis for a host of device concepts. Whereas the canonical physical properties are fully embodied in a one-dimensional periodic lattice, the final device constructs are often patterned in two-dimensionally-modulated films in which case we may refer to them as photonic crystal slabs, metamaterials, or metasurfaces. These surfaces can support lateral modes and localized field signatures with propagative and evanescent diffraction channels critically controlling the response. The governing principle of guided-mode, or lattice, resonance enables diverse spectral expressions such that a single-layer component can behave as a sensor, reflector, filter, or polarizer. This structural sparsity contrasts strongly with the venerable field of multi-layer thin-film optics that is basis for most optical components on the market today. The lattice resonance effect can be exploited in all major spectral regions with appropriate low-loss materials and fabrication resources. In this paper, we highlight resonant device technology and present our work on design, fabrication, and characterization of optical elements operating in the near-IR, mid-IR, and long-wave IR spectral regions. Examples of fabricated and tested devices include biological sensors, high-contrast-ratio polarizers, narrow-band notch filters, and wideband high reflectors.


title: Averages in optical coherence: resolving the Magyar and Mandel-Wolf paradox

abstract: The ubiquity of optical coherence arising from its importance in everything from astronomy to photovoltaics means that underlying assumptions such as stationarity and ergodicity can become implicit. When these assumptions become implicit, it can appear that two different averages are independent: the finite time averaging of a detector and the ensemble average of the optical field over multiple detections. One of the two types of averaging may even be ignored. We can observe coherence as an interference fringe pattern and learn properties of the field through both methods of averaging but the coherence will not be the same, as demonstrated by the Magyar and Mandel-Wolf paradox.


title: Monadic functors forgetful of (dis)inhibited actions

abstract: We prove a number of results of the following common flavor: for a category $\mathcal{C}$ of topological or uniform spaces with all manner of other properties of common interest (separation / completeness / compactness axioms), a group (or monoid) $\mathbb{G}$ equipped with various types of topological structure (topologies, uniformities) and the corresponding category $\mathcal{C}^{\mathbb{G}}$ of appropriately compatible $\mathbb{G}$-flows in $\mathcal{C}$, the forgetful functor $\mathcal{C}^{\mathbb{G}}\to \mathcal{C}$ is monadic. In all cases of interest the domain category $\mathcal{C}^{\mathbb{G}}$ is also cocomplete, so that results on adjunction lifts along monadic functors apply to provide equivariant completion and/or compactification functors. This recovers, unifies and generalizes a number of such results in the literature due to de Vries, Mart'yanov and others on existence of equivariant compactifications / completions and cocompleteness of flow categories.


title: Adaptive algorithms for low-latency cancellation of seismic Newtonian-noise at the Virgo gravitational-wave detector

abstract: A system was recently implemented in the Virgo detector to cancel noise in its data produced by seismic waves directly coupling with the suspended test masses through gravitational interaction. The data from seismometers are being filtered to produce a coherent estimate of the associated gravitational noise also known as Newtonian noise. The first implementation of the system uses a time-invariant (static) Wiener filter, which is the optimal filter for Newtonian-noise cancellation assuming that the noise is stationary. However, time variations in the form of transients and slow changes in correlations between sensors are possible and while time-variant filters are expected to cope with these variations better than a static Wiener filter, the question is what the limitations are of time-variant noise cancellation. In this study, we present a framework to study the performance limitations of time-variant noise cancellation filters and carry out a proof-of-concept with adaptive filters on seismic data at the Virgo site. We demonstrate that the adaptive filters, at least those with superior architecture, indeed significantly outperform the static Wiener filter with the residual noise remaining above the statistical error bound.


title: Generic low-atmosphere signatures of swirled-anemone jets

abstract: Solar jets are collimated plasma flows moving along magnetic field lines and accelerated at low altitude following magnetic reconnection. Several of them originate from anemone-shaped low-lying arcades and the most impulsive ones tend to be relatively wider and display untwisting motions. We aim to establish typical behaviours and observational signatures in the low atmosphere that can occur in response to the coronal development of such impulsive jets. We analysed an observed solar jet associated with a circular flare ribbon, using high-resolution observations from SST coordinated with IRIS and SDO. We related specifically identified features with those developing in a generic 3D line-tied numerical simulation of reconnection driven jets, performed with the ARMS code. We identified three features in the SST observations: the formation of a hook along the circular ribbon, the gradual widening of the jet through the apparent displacement of its kinked edge towards, and not away from the presumed reconnection site, and the falling back of some of the jet plasma towards a footpoint offset from that of the jet itself. The 3D numerical simulation naturally accounts for these features which were not imposed a priori. Our analyses allow to interpret them in the context of the 3D geometry of the asymmetric swirled anemone loops and their sequences of reconnection with ambient coronal loops. Given the relatively-simple conditions in which the observed jet occurred, together with the generic nature of the simulation that comprised minimum assumptions, we predict that the specific features that we identified and interpreted are probably typical of every impulsive jet


title: Insights from an experiment crowdsourcing data from thousands of US Amazon users: The importance of transparency, money, and data use

abstract: Data generated by users on digital platforms are a crucial resource for advocates and researchers interested in uncovering digital inequities, auditing algorithms, and understanding human behavior. Yet data access is often restricted. How can researchers both effectively and ethically collect user data? This paper shares an innovative approach to crowdsourcing user data to collect otherwise inaccessible Amazon purchase histories, spanning 5 years, from more than 5000 US users. We developed a data collection tool that prioritizes participant consent and includes an experimental study design. The design allows us to study multiple aspects of privacy perception and data sharing behavior. Experiment results (N=6325) reveal both monetary incentives and transparency can significantly increase data sharing. Age, race, education, and gender also played a role, where female and less-educated participants were more likely to share. Our study design enables a unique empirical evaluation of the "privacy paradox", where users claim to value their privacy more than they do in practice. We set up both real and hypothetical data sharing scenarios and find measurable similarities and differences in share rates across these contexts. For example, increasing monetary incentives had a 6 times higher impact on share rates in real scenarios. In addition, we study participants' opinions on how data should be used by various third parties, again finding demographics have a significant impact. Notably, the majority of participants disapproved of government agencies using purchase data yet the majority approved of use by researchers. Overall, our findings highlight the critical role that transparency, incentive design, and user demographics play in ethical data collection practices, and provide guidance for future researchers seeking to crowdsource user generated data.


title: Structure, short-range order, and phase stability of the Al$_x$CrFeCoNi high-entropy alloy: Insights from a perturbative, DFT-based analysis

abstract: We study the phase behaviour of the Al$_x$CrFeCoNi high-entropy alloy. Our approach is based on a perturbative analysis of the internal energy of the paramagnetic solid solution as evaluated within the Korringa-Kohn-Rostoker formulation of density functional theory, using the coherent potential approximation to average over disorder. Via application of a Landau-type linear response theory, we infer preferential chemical orderings directly. In addition, we recover a pairwise form of the alloy internal energy suitable for study via atomistic simulations, which in this work are performed using the nested sampling algorithm, which is well-suited for studying complex potential energy surfaces. When the underlying lattice is fcc, at low concentrations of Al, depending on the value of $x$, we predict either an $\mathrm{L}1_2$ or $\mathrm{D}0_{22}$ ordering emerging below approximately 1000 K. On the other hand, when the underlying lattice is bcc, consistent with experimental observations, we predict $\mathrm{B}2$ ordering temperatures higher than the melting temperature of the alloy, confirming that this ordered phase forms directly from the melt. For both fcc and bcc systems, chemical orderings are dominated by Al moving to one sublattice, Ni and Co the other, while Cr and Fe remain comparatively disordered. On the bcc lattice, our atomistic modelling suggests eventual decomposition into $\mathrm{B}2$ NiAl and Cr-rich phases. These results shed light on the fundamental physical origins of atomic ordering tendencies in these intriguing materials.


title: The Motivic and Etale Becker-Gottlieb transfer and splittings

abstract: In this paper, we establish the key properties of the motivic and \'etale Becker-Gottlieb transfer including compatibility with \'etale and Betti realization and show how to obtain various splittings using the transfer.


title: Open-Closed String Duality, Branes, and Topological Recursion

abstract: We consider matrix models exhibiting open-closed string duality in two-dimensional string theories with various amounts of supersymmetry. In particular, a relationship between matrix models in the $\beta = 2$ Wigner-Dyson class and models in the $(1 + 2\Gamma, 2)$ Altland-Zirnbauer class relates the perturbative solutions of the two systems' string equations. Point-like operator insertions in the closed string theory are mapped to the topological expansion of the free energy in the open string theory. We compute correlation functions of macroscopic loop operators and FZZT branes in a general topological gravity background. The relationship between the topological recursion of moduli space volumes and branes is discussed by analyzing the Virasoro conditions in the matrix models.


title: Atmospheric parameters and abundances of cool red giant stars

abstract: Understanding the atmospheric parameters of stars on the top of the RGB is essential to reveal the chemical composition of the Milky Way, as they can be used to probe the farthest parts of our Galaxy. Our goal is to determine the chemical composition of 21 RGB stars with $T_{\mathrm{eff}}<4200$K selected from the APOGEE-2 DR17 database using new observations carried out with the spectrograph mounted on the 1-m telescope of the Hungarian Piszk\'estet\H{o} Observatory and the SONG spectrograph (R=77000) on the Hertzsprung SONG telescope in the 4500$-$5800\r{A} wavelength range. This is the first time the spectrograph (R=18000) on the 1-m telescope at Piszk\'estet\H{o} Observatory was used to measure the abundances of stars. We created a new LTE spectral library using MARCS model atmospheres and SYNSPEC by including the line list of 23 molecules to determine atmospheric parameters ($T_{\mathrm{eff}}$, $\log g$, [Fe/H], [$\alpha$/Fe]) and abundances of Si, Ca, Ti, V, Cr, Mn, and Ni with FERRE. The resulting parameters were compared to that of APOGEE. We found a good agreement in general, the average difference is $-$11.2K in $T_{\mathrm{eff}}$, 0.11dex in $\log g$, 0.10dex in [Fe/H], and $-$0.01dex in [$\alpha$/Fe]. Our analysis successfully demonstrates the ability of the spectrograph at Piszk\'estet\H{o} Observatory to reliably measure the abundance of bright stars.


title: A Bayesian Hybrid Design with Borrowing from Historical Study

abstract: In early phase drug development of combination therapy, the primary objective is to preliminarily assess whether there is additive activity when a novel agent combined with an established monotherapy. Due to potential feasibility issues with a large randomized study, uncontrolled single-arm trials have been the mainstream approach in cancer clinical trials. However, such trials often present significant challenges in deciding whether to proceed to the next phase of development. A hybrid design, leveraging data from a completed historical clinical study of the monotherapy, offers a valuable option to enhance study efficiency and improve informed decision-making. Compared to traditional single-arm designs, the hybrid design may significantly enhance power by borrowing external information, enabling a more robust assessment of activity. The primary challenge of hybrid design lies in handling information borrowing. We introduce a Bayesian dynamic power prior (DPP) framework with three components of controlling amount of dynamic borrowing. The framework offers flexible study design options with explicit interpretation of borrowing, allowing customization according to specific needs. Furthermore, the posterior distribution in the proposed framework has a closed form, offering significant advantages in computational efficiency. The proposed framework's utility is demonstrated through simulations and a case study.


title: The benefits and costs of agglomeration: insights from economics and complexity

abstract: There are many benefits and costs that come from people and firms clustering together in space. Agglomeration economies, in particular, are the manifestation of centripetal forces that make larger cities disproportionately more wealthy than smaller cities, pulling together individuals and firms in close physical proximity. Measuring agglomeration economies, however, is not easy, and the identification of its causes is still debated. Such association of productivity with size can arise from interactions that are facilitated by cities ("positive externalities"), but also from more productive individuals moving in and sorting into large cities ("self-sorting"). Under certain circumstances, even pure randomness can generate increasing returns to scale. In this chapter, we discuss some of the empirical observations, models, measurement challenges, and open question associated with the phenomenon of agglomeration economies. Furthermore, we discuss the implications of urban complexity theory, and in particular urban scaling, for the literature in agglomeration economies.


title: When Computing follows Vehicles: Decentralized Mobility-Aware Resource Allocation for Edge-to-Cloud Continuum

abstract: The transformation of smart mobility is unprecedented--Autonomous, shared and electric connected vehicles, along with the urgent need to meet ambitious net-zero targets by shifting to low-carbon transport modalities result in new traffic patterns and requirements for real-time computation at large-scale, for instance, augmented reality applications. The cloud computing paradigm can neither respond to such low-latency requirements nor adapt resource allocation to such dynamic spatio-temporal service requests. This paper addresses this grand challenge by introducing a novel decentralized optimization framework for mobility-aware edge-to-cloud resource allocation, service offloading, provisioning and load-balancing. In contrast to related work, this framework comes with superior efficiency and cost-effectiveness under evaluation in real-world traffic settings and mobility datasets. This breakthrough capability of 'computing follows vehicles' proves able to reduce utilization variance by more than 40 times, while preventing service deadline violations by 14%-34%.


title: Improving nuclear magnetic resonance and electron spin resonance thermometry with size reduction of superparamagnetic iron oxide nanoparticles

abstract: Thermometry based on magnetic resonance has been extensively studied due to its important application in biomedical imaging. In our previous work, we showed that the spin-spin relaxation time (T2) of nuclear magnetic resonance (NMR) in water is a highly sensitive thermometer as T2 scales with the highly temperature-sensitive self-diffusion constant of water. In this work, in addition to temperature dependent self-diffusion constant of a fluid, we utilize the temperature dependent magnetization of 4 nm SPIONs to improve T2 sensitivity (4.96) by 1.4 times over self-diffusion (3.48) alone in hexane between 248 K and 333 K. To extend the application of NMR T2 thermometry to engineering systems, we also investigate the temperature dependence of T2 in mineral oil (Thermo Scientific, J62592), which exhibits remarkably high sensitivity (11.62) between 273 K and 353 K. This result implies that applications of NMR T2 thermometry in heat transfer fluids are promising. NMR thermometry, however, is generally not applicable to solids. Therefore, we also evaluate the potential of electron spin resonance (ESR) thermometry with SPIONs in solids between 100 K and 290 K, for potential temperature monitoring in biomedical and engineering applications. The size and concentration effects on ESR signals are studied systematically, and our results show that the temperature dependent linewidth follows a T^-2 law for 4 nm SPIONs, while the concentration of SPIONs has no impact on the temperature dependence of the ESR linewidth. The linewidth at room temperature at 9.4 GHz is 10.5 mT. Combining our NMR and ESR results, we find that to obtain higher temperature sensitivity in a magnetic resonance technique using SPIONs, SPION with a small magnetic moment, i.e., a small volume and reduced magnetization, are beneficial.


title: Denoising Sphere-Valued Data by Relaxed Total Variation Regularization

abstract: Circle- and sphere-valued data play a significant role in inverse problems like magnetic resonance phase imaging and radar interferometry, in the analysis of directional information, and in color restoration tasks. In this paper, we aim to restore $(d-1)$-sphere-valued signals exploiting the classical anisotropic total variation on the surrounding $d$-dimensional Euclidean space. For this, we propose a novel variational formulation, whose data fidelity is based on inner products instead of the usually employed squared norms. Convexifying the resulting non-convex problem and using ADMM, we derive an efficient and fast numerical denoiser. In the special case of binary (0-sphere-valued) signals, the relaxation is provable tight, i.e. the relaxed solution can be used to construct a solution of the original non-convex problem. Moreover, the tightness can be numerically observed for barcode and QR code denoising as well as in higher dimensional experiments like the color restoration using hue and chromaticity and the recovery of SO(3)-valued signals.


abstract: Conditional Neural Processes (CNPs) constitute a family of probabilistic models that harness the flexibility of neural networks to parameterize stochastic processes. Their capability to furnish well-calibrated predictions, combined with simple maximum-likelihood training, has established them as appealing solutions for addressing various learning problems, with a particular emphasis on meta-learning. A prominent member of this family, Convolutional Conditional Neural Processes (ConvCNPs), utilizes convolution to explicitly introduce translation equivariance as an inductive bias. However, ConvCNP's reliance on local discrete kernels in its convolution layers can pose challenges in capturing long-range dependencies and complex patterns within the data, especially when dealing with limited and irregularly sampled observations from a new task. Building on the successes of Fourier neural operators (FNOs) for approximating the solution operators of parametric partial differential equations (PDEs), we propose Spectral Convolutional Conditional Neural Processes (SConvCNPs), a new addition to the NPs family that allows for more efficient representation of functions in the frequency domain.


title: Quasi-interpolators with application to postprocessing in finite element methods

abstract: We design quasi-interpolation operators based on piecewise polynomial weight functions of degree less than or equal to $p$ that map into the space of continuous piecewise polynomials of degree less than or equal to $p+1$. We show that the operators have optimal approximation properties, i.e., of order $p+2$. This can be exploited to enhance the accuracy of finite element approximations provided that they are sufficiently close to the orthogonal projection of the exact solution on the space of piecewise polynomials of degree less than or equal to $p$. Such a condition is met by various numerical schemes, e.g., mixed finite element methods and discontinuous Petrov--Galerkin methods. Contrary to well-established postprocessing techniques which also require this or a similar closeness property, our proposed method delivers a conforming postprocessed solution that does not rely on discrete approximations of derivatives nor local versions of the underlying PDE. In addition, we introduce a second family of quasi-interpolation operators that are based on piecewise constant weight functions, which can be used, e.g., to postprocess solutions of hybridizable discontinuous Galerkin methods. Another application of our proposed operators is the definition of projection operators bounded in Sobolev spaces with negative indices. Numerical examples demonstrate the effectiveness of our approach.


title: TANQ-Sim: Tensorcore Accelerated Noisy Quantum System Simulation via QIR on Perlmutter HPC

abstract: Although there have been remarkable advances in quantum computing (QC), it remains crucial to simulate quantum programs using classical large-scale parallel computing systems to validate quantum algorithms, comprehend the impact of noise, and develop resilient quantum applications. This is particularly important for bridging the gap between near-term noisy-intermediate-scale-quantum (NISQ) computing and future fault-tolerant quantum computing (FTQC). Nevertheless, current simulation methods either lack the capability to simulate noise, or simulate with excessive computational costs, or do not scale out effectively. In this paper, we propose TANQ-Sim, a full-scale density matrix based simulator designed to simulate practical deep circuits with both coherent and non-coherent noise. To address the significant computational cost associated with such simulations, we propose a new density-matrix simulation approach that enables TANQ-Sim to leverage the latest double-precision tensorcores (DPTCs) in NVIDIA Ampere and Hopper GPUs. To the best of our knowledge, this is the first application of double-precision tensorcores for non-AI/ML workloads. To optimize performance, we also propose specific gate fusion techniques for density matrix simulation. For scaling, we rely on the advanced GPU-side communication library NVSHMEM and propose effective optimization methods for enhancing communication efficiency. Evaluations on the NERSC Perlmutter supercomputer demonstrate the functionality, performance, and scalability of the simulator. We also present three case studies to showcase the practical usage of TANQ-Sim, including teleportation, entanglement distillation, and Ising simulation. TANQ-Sim will be released on GitHub.


title: Unlocking Robust Segmentation Across All Age Groups via Continual Learning

abstract: Most deep learning models in medical imaging are trained on adult data with unclear performance on pediatric images. In this work, we aim to address this challenge in the context of automated anatomy segmentation in whole-body Computed Tomography (CT). We evaluate the performance of CT organ segmentation algorithms trained on adult data when applied to pediatric CT volumes and identify substantial age-dependent underperformance. We subsequently propose and evaluate strategies, including data augmentation and continual learning approaches, to achieve good segmentation accuracy across all age groups. Our best-performing model, trained using continual learning, achieves high segmentation accuracy on both adult and pediatric data (Dice scores of 0.90 and 0.84 respectively).


title: Quantum Advantage and CSP Complexity

abstract: Information-processing tasks modelled by homomorphisms between relational structures can witness quantum advantage when entanglement is used as a computational resource. We prove that the occurrence of quantum advantage is determined by the same type of algebraic structure (known as a minion) that captures the polymorphism identities of CSPs and, thus, CSP complexity. We investigate the connection between the minion of quantum advantage and other known minions controlling CSP tractability and width. In this way, we make use of complexity results from the algebraic theory of CSPs to characterise the occurrence of quantum advantage in the case of graphs, and to obtain new necessary and sufficient conditions in the case of arbitrary relational structures.


title: Casimir effect of a rough membrane in an Aether-like Lorentz-violating scenario

abstract: We explore the Casimir effect of a rough membrane within the framework of theories that break Lorentz symmetry. We consider two constant Aether vectors: one timelike and other spacelike, simultaneously. We employ an appropriate change of coordinates such that the membrane assumes a completely flat border and the remaining terms associated with the roughness are considered as part of the potential. Quantum fluctuations are induced by a scalar quantum field subject to Dirichlet boundary conditions. The spectrum is obtained through perturbation theory and regularized using the $\zeta$--function method. We provide an explicit example of a membrane with periodic boundaries. The presence of Aether vectors has a significant impact on the dominant term of the Casimir effect, while roughness only affects the secondary terms. Additionally, we examine the finite-temperature case.


title: Thermo-elastodynamics of finitely-strained multipolar viscous solids with an energy-controlled stress

abstract: The thermodynamical model of viscoelastic deformable solids at finite strains with Kelvin-Voigt rheology with a higher-order viscosity (using the concept of multipolar materials) is formulated in a fully Eulerian way in rates. Assumptions used in this paper allow for a physically justified free energy leading to non-negative entropy that satisfies the 3rd law of thermodynamics, i.e. entropy vanishes at zero temperature, and energy-controlled stress. This last attribute is used advantageously to prove the existence and a certain regularity of weak solutions by a simplified Faedo-Galerkin semi-discretization, based on estimates obtained from the total-energy and the mechanical-energy balances. Some examples that model neo-Hookean-type materials are presented, too.


title: Use of two Public Distributed Ledgers to track the money of an economy

abstract: A tool to improve the effectiveness and the efficiency of public spending is proposed here. In the 19th century banknotes had a serial number. However, in modern days the use of digital transactions that do not use physical currency has opened the possibility to digitally track almost each cent of the economy. In this article a serial number or tracking number for each cent, pence or any other monetary unit of the economy is proposed. Then, almost all cents can be tracked by recording the transactions in a public distributed ledger, rather than recording the amount of the transaction, the information recorded in the block of the transaction is the actual serial number or tracking number for each cent that changes ownership. In order to keep the privacy of the transaction, only generic identification of private companies and individuals are recorded along with generic information about the concept of transaction, the region and the date/time. A secondary public distributed ledger whose blocks are identified by a hash reference that is recorded in the bank statement available to the payer and the payee allows for checking the accuracy of the first public distributed ledger by comparing the transactions made in one day, one region and one type of concept. However, the transactions made or received by the government are recorded with a much higher level of detail in the first ledger and a higher level of disclosure in the second ledger. The result is a tool that is able to accurately track public spending, to keep privacy of individuals and companies and to make statistical analysis and experiments or real tests in the economy of a country. This tool has the potential to assist public policymakers in demonstrating the societal benefits resulting from their policies, thereby enabling more informed decision-making for future policy endeavours.


title: Anomalous Long-Distance Coherence in Critically-Driven Cavity Magnonics

abstract: Developing quantum networks necessitates coherently connecting distant systems via remote strong coupling. Here, we demonstrate long-distance coherence in cavity magnonics operating in the linear regime. By locally setting the cavity near critical coupling with travelling photons, non-local magnon-photon coherence is established via strong coupling over a 2-meter distance. We observe two anomalies in this long-distance coherence: first, the coupling strength oscillates twice the period of conventional photon-mediated couplings; second, clear mode splitting is observed within the cavity linewidth. Both effects cannot be explained by conventional coupled-mode theory, which reveal the tip of an iceberg of photon-mediated coupling in systems under critical driving. Our work shows the potential of using critical phenomena for harnessing long-distance coherence in distributed systems.


title: Action Contextualization: Adaptive Task Planning and Action Tuning using Large Language Models

abstract: Large Language Models (LLMs) present a promising frontier in robotic task planning by leveraging extensive human knowledge. Nevertheless, the current literature often overlooks the critical aspects of adaptability and error correction within robotic systems. This work aims to overcome this limitation by enabling robots to modify their motion strategies and select the most suitable task plans based on the context. We introduce a novel framework termed action contextualization, aimed at tailoring robot actions to the precise requirements of specific tasks, thereby enhancing adaptability through applying LLM-derived contextual insights. Our proposed motion metrics guarantee the feasibility and efficiency of adjusted motions, which evaluate robot performance and eliminate planning redundancies. Moreover, our framework supports online feedback between the robot and the LLM, enabling immediate modifications to the task plans and corrections of errors. Our framework has achieved an overall success rate of 81.25% through extensive validation. Finally, integrated with dynamic system (DS)-based robot controllers, the robotic arm-hand system demonstrates its proficiency in autonomously executing LLM-generated motion plans for sequential table-clearing tasks, rectifying errors without human intervention, and completing tasks, showcasing robustness against external disturbances. Our proposed framework features the potential to be integrated with modular control approaches, significantly enhancing robots' adaptability and autonomy in sequential task execution.


title: Heterogeneous Subgraph Transformer for Fake News Detection

abstract: Fake news is pervasive on social media, inflicting substantial harm on public discourse and societal well-being. We investigate the explicit structural information and textual features of news pieces by constructing a heterogeneous graph concerning the relations among news topics, entities, and content. Through our study, we reveal that fake news can be effectively detected in terms of the atypical heterogeneous subgraphs centered on them, which encapsulate the essential semantics and intricate relations between news elements. However, suffering from the heterogeneity, exploring such heterogeneous subgraphs remains an open problem. To bridge the gap, this work proposes a heterogeneous subgraph transformer (HeteroSGT) to exploit subgraphs in our constructed heterogeneous graph. In HeteroSGT, we first employ a pre-trained language model to derive both word-level and sentence-level semantics. Then the random walk with restart (RWR) is applied to extract subgraphs centered on each news, which are further fed to our proposed subgraph Transformer to quantify the authenticity. Extensive experiments on five real-world datasets demonstrate the superior performance of HeteroSGT over five baselines. Further case and ablation studies validate our motivation and demonstrate that performance improvement stems from our specially designed components.


title: On multidimensional generalization of binary search

abstract: This work generalizes the binary search problem to a $d$-dimensional domain $S_1\times\cdots\times S_d$, where $S_i=\{0, 1, \ldots,n_i-1\}$ and $d\geq 1$, in the following way. Given $(t_1,\ldots,t_d)$, the target element to be found, the result of a comparison of a selected element $(x_1,\ldots,x_d)$ is the sequence of inequalities each stating that either $t_i < x_i$ or $t_i>x_i$, for $i\in\{1,\ldots,d\}$, for which at least one is correct, and the algorithm does not know the coordinate $i$ on which the correct direction to the target is given. Among other cases, we show asymptotically almost matching lower and upper bounds of the query complexity to be in $\Omega(n^{d-1}/d)$ and $O(n^d)$ for the case of $n_i=n$. In particular, for fixed $d$ these bounds asymptotically do match. This problem is equivalent to the classical binary search in case of one dimension and shows interesting differences for higher dimensions. For example, if one would impose that each of the $d$ inequalities is correct, then the search can be completed in $\log_2\max\{n_1,\ldots,n_d\}$ queries. In an intermediate model when the algorithm knows which one of the inequalities is correct the sufficient number of queries is $\log_2(n_1\cdot\ldots\cdot n_d)$. The latter follows from a graph search model proposed by Emamjomeh-Zadeh et al. [STOC 2016].


title: Privacy-Preserving Debiasing using Data Augmentation and Machine Unlearning

abstract: Data augmentation is widely used to mitigate data bias in the training dataset. However, data augmentation exposes machine learning models to privacy attacks, such as membership inference attacks. In this paper, we propose an effective combination of data augmentation and machine unlearning, which can reduce data bias while providing a provable defense against known attacks. Specifically, we maintain the fairness of the trained model with diffusion-based data augmentation, and then utilize multi-shard unlearning to remove identifying information of original data from the ML model for protection against privacy attacks. Experimental evaluation across diverse datasets demonstrates that our approach can achieve significant improvements in bias reduction as well as robustness against state-of-the-art privacy attacks.


title: Automatic BLAS Offloading on Unified Memory Architecture: A Study on NVIDIA Grace-Hopper

abstract: Porting codes to GPU often requires major efforts. While several tools exist for automatically offload numerical libraries such as BLAS and LAPACK, they often prove impractical due to the high cost of mandatory data transfer. The new unified memory architecture in NVIDIA Grace-Hopper allows high bandwidth cache-coherent memory access of all memory from both CPU and GPU, potentially eliminating bottleneck faced in conventional architecture. This breakthrough opens up new avenues for application development and porting strategies. In this study, we introduce a new tool for automatic BLAS offload, the tool leverages the high speed cache coherent NVLink C2C interconnect in Grace-Hopper, and enables performant GPU offload for BLAS heavy applications with no code changes or recompilation. The tool was tested on two quantum chemistry or physics codes, great performance benefits were observed.


title: Equivariant Algebraic K-Theory and Derived completions II: the case of Equivariant Homotopy K-Theory and Equivariant K-Theory

abstract: In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness conditions that are required in such theorems to be too restrictive. Then he made a conjecture on the existence of a completion theorem for equivariant Algebraic G-theory, for actions of linear algebraic groups on schemes that holds without any of the strong finiteness conditions that are required in such theorems proven by him. In an earlier work by the first two authors, we solved this conjecture by providing a derived completion theorem for equivariant G-theory. In the present paper, we provide a similar derived completion theorem for the homotopy Algebraic K-theory of equivariant perfect complexes, on schemes that need not be regular. Our solution is broad enough to allow actions by all linear algebraic groups, irrespective of whether they are connected or not, and acting on any normal quasi-projective scheme of finite type over a field, irrespective of whether they are regular or projective. This allows us therefore to consider the Equivariant Homotopy Algebraic K-Theory of large classes of varieties like all toric varieties (for the action of a torus) and all spherical varieties (for the action of a reductive group). With finite coefficients invertible in the base fields, we are also able to obtain such derived completion theorems for equivariant algebraic K-theory but with respect to actions of diagonalizable group schemes. These enable us to obtain a wide range of applications, several of which are also explored.


title: Network-Level Analysis of Integrated Sensing and Communication Using Stochastic Geometry

abstract: To meet the demands of densely deploying communication and sensing devices in the next generation of wireless networks, integrated sensing and communication (ISAC) technology is employed to alleviate spectrum scarcity, while stochastic geometry (SG) serves as a tool for low-complexity performance evaluation. To assess network-level performance, there is a natural interaction between ISAC technology and the SG method. From ISAC network perspective, we illustrate how to leverage SG analytical framework to evaluate ISAC network performance by introducing point process distributions and stochastic fading channel models. From SG framework perspective, we summarize the unique performance metrics and research objectives of ISAC networks, thereby extending the scope of SG research in the field of wireless communications. Additionally, considering the limited discussion in the existing SG-based ISAC works in terms of distribution and channel modeling, a case study is designed to exploit topology and channel fading awareness to provide relevant network insights.


title: An economically-consistent discrete choice model with flexible utility specification based on artificial neural networks

abstract: Random utility maximisation (RUM) models are one of the cornerstones of discrete choice modelling. However, specifying the utility function of RUM models is not straightforward and has a considerable impact on the resulting interpretable outcomes and welfare measures. In this paper, we propose a new discrete choice model based on artificial neural networks (ANNs) named "Alternative-Specific and Shared weights Neural Network (ASS-NN)", which provides a further balance between flexible utility approximation from the data and consistency with two assumptions: RUM theory and fungibility of money (i.e., "one euro is one euro"). Therefore, the ASS-NN can derive economically-consistent outcomes, such as marginal utilities or willingness to pay, without explicitly specifying the utility functional form. Using a Monte Carlo experiment and empirical data from the Swissmetro dataset, we show that ASS-NN outperforms (in terms of goodness of fit) conventional multinomial logit (MNL) models under different utility specifications. Furthermore, we show how the ASS-NN is used to derive marginal utilities and willingness to pay measures.


title: Equivariant Algebraic K-Theory and Derived completions III: Applications

abstract: In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to establish in great generality both for equivariant G-theory and equivariant homotopy K-theory with respect to actions of linear algebraic groups on normal quasi-projective schemes over a given field. We show such Riemann-Roch theorems apply to all toric and spherical varieties. We also obtain Lefschetz-Riemann-Roch theorems involving the fixed point schemes with respect to actions of diagonalizable group schemes. We also show the existence of certain spectral sequences that compute the homotopy groups of the derived completions of equivariant G-theory starting with equivariant Borel-Moore motivic cohomology.


title: Chow trace of 1-motives and the Lang-N\'eron groups

abstract: We show that in the case of primary field extensions, the extension of scalars of Deligne $1$-motives admits a left adjoint, called Chow image, and a right adjoint, called Chow trace. This generalizes Chow's results on abelian varieties. Then we study the Chow trace in the framework of Voevodsky's triangulated categories of (\'etale) motives. With respect to the $1$-motivic $t$-structure on the category of Voevodsky's homological $1$-motives, the zero-th direct image of an abelian variety is given by the Chow trace, and the first direct image is the $0$-motive defined by the (geometric) Lang-N\'eron group.


title: Quadratic Pseudostable Hodge Integrals and Mumford's Relations

abstract: This paper studies the relationship between quadratic Hodge classes on moduli spaces of pseudostable and stable curves given by the contraction morphism $\mathcal{T}.$ While Mumford relations do not hold in the pseudostable case, we show that one can express the (pullback via $\mathcal{T}$ of the) Chern classes of $\mathbb{E}\oplus \mathbb{E}^\vee$ solely in terms of descendants and strata classes. We organize the combinatorial structure of the pullback of products of two pseudostable $\lambda$ classes and obtain an explicit comparison of arbitrary pseudostable and stable quadratic Hodge integrals.


title: Lattice Surgery for Dummies

abstract: Quantum error correction (QEC) plays a crucial role in correcting noise and paving the way for fault-tolerant quantum computing. This field has seen significant advancements, with new quantum error correction codes emerging regularly to address errors effectively. Among these, topological codes, particularly surface codes, stand out for their low error thresholds and feasibility for implementation in large-scale quantum computers. However, these codes are restricted to encoding a single qubit. Lattice surgery is crucial for enabling interactions among multiple encoded qubits or between the lattices of a surface code, ensuring that its sophisticated error-correcting features are maintained without significantly increasing the operational overhead. Lattice surgery is pivotal for scaling QECCs across more extensive quantum systems. Despite its critical importance, comprehending lattice surgery is challenging due to its inherent complexity, demanding a deep understanding of intricate quantum physics and mathematical concepts. This paper endeavors to demystify lattice surgery, making it accessible to those without a profound background in quantum physics or mathematics. This work explores surface codes, introduces the basics of lattice surgery, and demonstrates its application in building quantum gates and emulating multi-qubit circuits.


title: Hybrid Quantum Tabu Search for Solving the Vehicle Routing Problem

abstract: There has never been a more exciting time for the future of quantum computing than now. Near-term quantum computing usage is now the next XPRIZE. With that challenge in mind we have explored a new approach as a hybrid quantum-classical algorithm for solving NP-Hard optimization problems. We have focused on the classic problem of the Capacitated Vehicle Routing Problem (CVRP) because of its real-world industry applications. Heuristics are often employed to solve this problem because it is difficult. In addition, meta-heuristic algorithms have proven to be capable of finding reasonable solutions to optimization problems like the CVRP. Recent research has shown that quantum-only and hybrid quantum/classical approaches to solving the CVRP are possible. Where quantum approaches are usually limited to minimal optimization problems, hybrid approaches have been able to solve more significant problems. Still, the hybrid approaches often need help finding solutions as good as their classical counterparts. In our proposed approach, we created a hybrid quantum/classical metaheuristic algorithm capable of finding the best-known solution to a classic CVRP problem. Our experimental results show that our proposed algorithm often outperforms other hybrid approaches.


title: Scalable Bayesian Image-on-Scalar Regression for Population-Scale Neuroimaging Data Analysis

abstract: Bayesian Image-on-Scalar Regression (ISR) offers significant advantages for neuroimaging data analysis, including flexibility and the ability to quantify uncertainty. However, its application to large-scale imaging datasets, such as found in the UK Biobank, is hindered by the computational demands of traditional posterior computation methods, as well as the challenge of individual-specific brain masks that deviate from the common mask typically used in standard ISR approaches. To address these challenges, we introduce a novel Bayesian ISR model that is scalable and accommodates inconsistent brain masks across subjects in large-scale imaging studies. Our model leverages Gaussian process priors and integrates salience area indicators to facilitate ISR. We develop a cutting-edge scalable posterior computation algorithm that employs stochastic gradient Langevin dynamics coupled with memory mapping techniques, ensuring that computation time scales linearly with subsample size and memory usage is constrained only by the batch size. Our approach uniquely enables direct spatial posterior inferences on brain activation regions. The efficacy of our method is demonstrated through simulations and analysis of the UK Biobank task fMRI data, encompassing 38,639 subjects and over 120,000 voxels per image, showing that it can achieve a speed increase of 4 to 11 times and enhance statistical power by 8% to 18% compared to traditional Gibbs sampling with zero-imputation in various simulation scenarios.


title: Strong-lensing and kinematic analysis of CASSOWARY 31: can strong lensing constrain the masses of multi-plane lenses?

abstract: We present a mass measurement for the secondary lens along the line of sight (LoS) in the multi-plane strong lens modeling of the group-scale lens CASSOWARY 31 (CSWA 31). The secondary lens at redshift $z = 1.49$ is a spiral galaxy well aligned along the LoS with the main lens at $z = 0.683$. Using the MUSE integral-field spectroscopy of this spiral galaxy, we measure its rotation velocities and determine the mass from the gas kinematics. We compare the mass estimation of the secondary lens from the lensing models to the mass measurement from kinematics, finding that the predictions from strong lensing tend to be higher. By introducing an additional lens plane at $z = 1.36$ for an overdensity known to be present, we find a mass of $\simeq 10^{10}$ M$_\odot$ enclosed within 3.3 kpc from the centroid of the spiral galaxy, approaching the estimate from kinematics. This shows that secondary-lens mass measurements from multiple-plane modeling are affected by systematic uncertainties from the degeneracies between lens planes and the complex LoS structure. Conducting a detailed analysis of the LoS structures is therefore essential to improve the mass measurement of the secondary lens.


title: Wheelchair Maneuvering with a Single-Spherical-Wheeled Balancing Mobile Manipulator

abstract: In this work, we present a control framework to effectively maneuver wheelchairs with a dynamically stable mobile manipulator. Wheelchairs are a type of nonholonomic cart system, maneuvering such systems with mobile manipulators (MM) is challenging mostly due to the following reasons: 1) These systems feature nonholonomic constraints and considerably varying inertial parameters that require online identification and adaptation. 2) These systems are widely used in human-centered environments, which demand the MM to operate in potentially crowded spaces while ensuring compliance for safe physical human-robot interaction (pHRI). We propose a control framework that plans whole-body motion based on quasi-static analysis to maneuver heavy nonholonomic carts while maintaining overall compliance. We validated our approach experimentally by maneuvering a wheelchair with a bimanual mobile manipulator, the CMU ballbot. The experiments demonstrate the proposed framework is able to track desired wheelchair velocity with loads varying from 11.8 kg to 79.4 kg at a maximum linear velocity of 0.45 m/s and angular velocity of 0.3 rad/s. Furthermore, we verified that the proposed method can generate human-like motion smoothness of the wheelchair while ensuring safe interactions with the environment.


title: STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases

abstract: Answering real-world complex queries, such as complex product search, often requires accurate retrieval from semi-structured knowledge bases that involve blend of unstructured (e.g., textual descriptions of products) and structured (e.g., entity relations of products) information. However, previous works have mostly studied textual and relational retrieval tasks as separate topics. To address the gap, we develop STARK, a large-scale Semi-structure retrieval benchmark on Textual and Relational K nowledge Bases. Our benchmark covers three domains/datasets: product search, academic paper search, and queries in precision medicine. We design a novel pipeline to synthesize realistic user queries that integrate diverse relational information and complex textual properties, together with their ground-truth answers (items). We conduct rigorous human evaluation to validate the quality of our synthesized queries. We further enhance the benchmark with high-quality human-generated queries to provide an authentic reference. STARK serves as a comprehensive testbed for evaluating the performance of retrieval systems driven by large language models (LLMs). Our experiments suggest that STARK presents significant challenges to the current retrieval and LLM systems, indicating the demand for building more capable retrieval systems. The benchmark data and code are available on https://github.com/snap-stanford/stark.


title: The Instruction Hierarchy: Training LLMs to Prioritize Privileged Instructions

abstract: Today's LLMs are susceptible to prompt injections, jailbreaks, and other attacks that allow adversaries to overwrite a model's original instructions with their own malicious prompts. In this work, we argue that one of the primary vulnerabilities underlying these attacks is that LLMs often consider system prompts (e.g., text from an application developer) to be the same priority as text from untrusted users and third parties. To address this, we propose an instruction hierarchy that explicitly defines how models should behave when instructions of different priorities conflict. We then propose a data generation method to demonstrate this hierarchical instruction following behavior, which teaches LLMs to selectively ignore lower-privileged instructions. We apply this method to GPT-3.5, showing that it drastically increases robustness -- even for attack types not seen during training -- while imposing minimal degradations on standard capabilities.


title: Generic doubling of rectangular pegs

abstract: In this paper, we prove a multiplicity result for rectangular pegs that there is a generic class of smooth Jordan curves in which every curve admits two geometrically distinct similar inscribed rectangles with aspect angle in $(0,\frac{\pi}{2})$, based on the a priori existence result of rectangular peg by Greene and Lobb, in which the rectangular peg problem is translated into finding intersection points of two Lagrangian tori. The key insights are certain generic geometric transversality of the two tori, and the correspondence between the intersection points and the inscribed rectangles. We present two distinct proofs: one involves the Lagrangian Floer homology, and the other is differential topological in nature which employs a novel computation formula for the algebraic intersection number. In Appendix B, written jointly with Urs Frauenfelder, we provide the detailed derivation of this computation formula.


title: Laser cooling $^{88}$Sr to microkelvin temperature with an integrated-photonics system

abstract: We report on experiments generating a magneto-optical trap (MOT) of 88-strontium ($^{88}$Sr) atoms at microkelvin temperature, using integrated-photonics devices. With metasurface optics integrated on a fused-silica substrate, we generate six-beam, circularly polarized, counter-propagating MOTs on the blue broad-line, 461 nm, and red narrow-line, 689 nm, Sr cooling transitions without bulk optics. By use of a diverging beam configuration, we create up to 10 mm diameter MOT beams at the trapping location. To frequency stabilize and linewidth narrow the cooling lasers, we use fiber-packaged, integrated nonlinear waveguides to spectrally broaden a frequency comb. The ultra-coherent supercontinuum of the waveguides covers 650 nm to 2500 nm, enabling phase locks of the cooling lasers to hertz level linewidth. Our work highlights the possibility to simplify the preparation of an ultracold 88Sr gas for an optical-lattice clock with photonic devices. By implementing a timing sequence for control of the MOT lasers and the quadrupole magnetic-field gradient, we collect atoms directly from a thermal beam into the blue MOT and continuously cool into a red MOT with dynamic detuning and intensity control. There, the red MOT temperature is as low as $2~{\mu}$K and the overall transfer efficiency up to 16%. We characterize this sequence, including an intermediate red MOT with modulated detuning. Our experiments demonstrate an integrated photonics system capable of cooling alkaline-earth gases to microkelvin temperature with sufficient transfer efficiencies for adoption in scalable optical clocks and quantum sensors.


title: Long-term forecasts of statewide travel demand patterns using large-scale mobile phone GPS data: A case study of Indiana

abstract: The growth in availability of large-scale GPS mobility data from mobile devices has the potential to aid traditional travel demand models (TDMs) such as the four-step planning model, but those processing methods are not commonly used in practice. In this study, we show the application of trip generation and trip distribution modeling using GPS data from smartphones in the state of Indiana. This involves extracting trip segments from the data and inferring the phone users' home locations, adjusting for data representativeness, and using a data-driven travel time-based cost function for the trip distribution model. The trip generation and interchange patterns in the state are modeled for 2025, 2035, and 2045. Employment sectors like industry and retail are observed to influence trip making behavior more than other sectors. The travel growth is predicted to be mostly concentrated in the suburban regions, with a small decline in the urban cores. Further, although the majority of the growth in trip flows over the years is expected to come from the corridors between the major urban centers of the state, relative interzonal trip flow growth will likely be uniformly spread throughout the state. We also validate our results with the forecasts of two travel demand models, finding a difference of 5-15% in overall trip counts. Our GPS data-based demand model will contribute towards augmenting the conventional statewide travel demand model developed by the state and regional planning agencies.


title: Nematicity of a Magnetic Helix

abstract: A system that possesses translational symmetry but breaks orientational symmetry is known as a nematic phase. While there are many examples of nematic phases in a wide range of contexts, such as in liquid crystals, complex oxides, and superconductors, of particular interest is the magnetic analogue, where the spin, charge, and orbital degrees of freedom of the electron are intertwined. The difficulty of spin nematics is the unambiguous realization and characterization of the phase. Here we present an entirely new type of magnetic nematic phase, which replaces the basis of individual spins with magnetic helices. The helical basis allows for the direct measurement of the order parameters with soft X-ray scattering and a thorough characterization of the nematic phase and its thermodynamic transitions. We discover two distinct nematic phases with unique spatio-temporal correlation signatures. Using coherent X-ray methods, we find that near the phase boundary between the two nematic phases, fluctuations coexist on the timescale of both seconds and sub-nanoseconds. Additionally, we have determined that the fluctuations occur simultaneously with a reorientation of the magnetic helices, indicating that there is spontaneous symmetry breaking and new degrees of freedom become available. Our results provide a novel framework for characterizing exotic phases and the phenomena presented can be mapped onto a broad class of physical systems.


title: Ultra-high frequency gravitational waves from cosmic strings with friction

abstract: We include the effect of the frictional force caused by interactions between cosmic strings and the particles of the background plasma in the computation of the stochastic gravitational wave background generated by cosmic string loops. Although our results show that friction leads to a partial suppression of the emission of gravitational radiation by cosmic string loops, we also find that loop production is very intense in the early stages of the Kibble regime. We show that, in many instances, this leads to a prominent signature of friction in the ultra-high frequency range of the spectrum, in the form of a secondary peak. The signature of friction is not only sensitive to cosmic string properties, but also to the initial conditions of the network and its surroundings. A detection of this signature would then allow us to extract information about the physics of the early universe that cannot be uncovered when probing the rest of the stochastic gravitational wave background spectrum.


title: Time-dependent Stellar Flare Models of Deep Atmospheric Heating

abstract: Optical flares have been observed from magnetically active stars for many decades; unsurprisingly, the spectra and temporal evolution are complicated. For example, the shortcomings of optically thin, static slab models have long been recognized when confronted with the observations. A less incorrect -- but equally simple -- phenomenological $T \approx 9000$ K blackbody model has instead been widely adopted in the absence of realistic (i.e., observationally-tested) time-dependent, atmospheric models that are readily available. We use the RADYN code to calculate a grid of 1D radiative-hydrodynamic stellar flare models that are driven by short pulses of electron-beam heating. The flare heating rates in the low atmosphere vary over many orders of magnitude in the grid, and we show that the models with high-energy electron beams compare well to the global trends in flux ratios from impulsive-phase stellar flare, optical spectra. The models also match detailed spectral line shape properties. We find that the pressure broadening and optical depths account for the broad components of the hydrogen Balmer $\gamma$ lines in a powerful flare with echelle spectra. The self-consistent formation of the wings and nearby continuum level provide insight into how high-energy electron beam heating evolves from the impulsive to the gradual decay phase in white-light stellar flares. The grid is publicly available, and we discuss possible applications.


title: Machine Learning-Guided Design of Non-Reciprocal and Asymmetric Elastic Chiral Metamaterials

abstract: There has been significant recent interest in the mechanics community to design structures that can either violate reciprocity, or exhibit elastic asymmetry or odd elasticity. While these properties are highly desirable to enable mechanical metamaterials to exhibit novel wave propagation phenomena, it remains an open question as to how to design passive structures that exhibit both significant non-reciprocity and elastic asymmetry. In this paper, we first define several design spaces for chiral metamaterials leveraging specific design parameters, including the ligament contact angles, the ligament shape, and circle radius. Having defined the design spaces, we then leverage machine learning approaches, and specifically Bayesian optimization, to determine optimally performing designs within each design space satisfying maximal non-reciprocity or stiffness asymmetry. Finally, we perform multi-objective optimization by determining the Pareto optimum and find chiral metamaterials that simultaneously exhibit high non-reciprocity and stiffness asymmetry. Our analysis of the underlying mechanisms reveals that chiral metamaterials that can display multiple different contact states under loading in different directions are able to simultaneously exhibit both high non-reciprocity and stiffness asymmetry. Overall, this work demonstrates the effectiveness of employing ML to bring insights to a novel domain with limited prior information, and more generally will pave the way for metamaterials with unique properties and functionality in directing and guiding mechanical wave energy.


title: Robustness and Accuracy in Pipelined Bi-Conjugate Gradient Stabilized Method: A Comparative Study

abstract: In this article, we propose an accuracy-assuring technique for finding a solution for unsymmetric linear systems. Such problems are related to different areas such as image processing, computer vision, and computational fluid dynamics. Parallel implementation of Krylov subspace methods speeds up finding approximate solutions for linear systems. In this context, the refined approach in pipelined BiCGStab enhances scalability on distributed memory machines, yielding to substantial speed improvements compared to the standard BiCGStab method. However, it's worth noting that the pipelined BiCGStab algorithm sacrifices some accuracy, which is stabilized with the residual replacement technique. This paper aims to address this issue by employing the ExBLAS-based reproducible approach. We validate the idea on a set of matrices from the SuiteSparse Matrix Collection.