title: The Role of Giant Impacts in Planet Formation

abstract: Planets are expected to conclude their growth through a series of giant impacts: energetic, global events that significantly alter planetary composition and evolution. Computer models and theory have elucidated the diverse outcomes of giant impacts in detail, improving our ability to interpret collision conditions from observations of their remnants. However, many open questions remain, as even the formation of the Moon, a widely suspected giant-impact product for which we have the most information, is still debated. We review giant-impact theory, the diverse nature of giant-impact outcomes, and the governing physical processes. We discuss the importance of computer simulations, informed by experiments, for accurately modeling the impact process. Finally, we outline how the application of probability theory and computational advancements can assist in inferring collision histories from observations, and we identify promising opportunities for advancing giant-impact theory in the future. $\bullet$ Giant impacts exhibit diverse possible outcomes leading to changes in planetary mass, composition, and thermal history depending on the conditions. $\bullet$ Improvements to computer simulation methodologies and new laboratory experiments provide critical insights into the detailed outcomes of giant impacts. $\bullet$ When colliding planets are similar in size, they can merge or escape one another with roughly equal probability, but with different effects on their resulting masses, densities, and orbits. $\bullet$ Different sequences of giant impacts can produce similar planets, encouraging the use of probability theory to evaluate distinct formation hypotheses.


title: The uniform existence time and Zero-Alpha limit problem of the Euler-Poincar\'e equations

abstract: We consider the Cauchy problem of the Euler-Poincar\'e equations in $\mathbb{R}^d$ with a varying dispersion parameter $\alpha$. Based on the convex entropy structure and the modified commutator estimates, we have proved that the Euler-Poincar\'e equations have a uniform existence time with respect to $\alpha$ in Sobolev spaces $H^s.$ Combined with the Bona-Simth method, we obtain convergence of the solutions to the Euler-Poincar\'e equations as $\alpha\to 0$ in the same space where the initial data are located.


title: Automated Approaches to Detect Self-Admitted Technical Debt: A Systematic Literature Review

abstract: Technical debt is a pervasive issue in software development, often arising from trade-offs made during development, which can impede software maintainability and hinder future development efforts. Self-admitted technical debt (SATD) refers to instances where developers explicitly acknowledge suboptimal code quality or design flaws in the codebase. Automated detection of SATD has emerged as a critical area of research, aiming to assist developers in identifying and addressing technical debt efficiently. However, the enormous variety of feature extraction approaches of NLP and algorithms employed in the literature often hinder researchers from trying to improve their performance. In light of this, this systematic literature review proposes a taxonomy of feature extraction techniques and ML/DL algorithms used in technical debt detection: its objective is to compare and benchmark their performance in the examined studies. We selected 53 articles that passed the quality evaluation of the systematic review. We then investigated in depth which feature extractions and algorithms were employed to identify technical debt in each software development activity. All approaches proposed in the analyzed studies were grouped into NLP, NLP+ML, and NLP+DL. This allows us to discuss the performance in three different ways. Overall, NLP+DL group consistently outperforms in precision and F1-score for all projects, and in all but one project for the recall metric. Regarding the feature extraction techniques, the PTE consistently achieves higher precision, recall, and F1-score for each project analyzed. Furthermore, TD types have been mappep to software development activities; this served to determine the best-performing feature extractions and algorithms for each development activity. Finally, based on the review results, we also identify implications that could be of concern to researchers and practitioners.


title: Towards a Unified Multimodal Reasoning Framework

abstract: Recent advancements in deep learning have led to the development of powerful language models (LMs) that excel in various tasks. Despite these achievements, there is still room for improvement, particularly in enhancing reasoning abilities and incorporating multimodal data. This report investigates the potential impact of combining Chain-of-Thought (CoT) reasoning and Visual Question Answering (VQA) techniques to improve LM's accuracy in solving multiple-choice questions. By employing TextVQA and ScienceQA datasets, we assessed the effectiveness of three text embedding methods and three visual embedding approaches. Our experiments aimed to fill the gap in current research by investigating the combined impact of CoT and VQA, contributing to the understanding of how these techniques can improve the reasoning capabilities of state-of-the-art models like GPT-4. Results from our experiments demonstrated the potential of these approaches in enhancing LM's reasoning and question-answering capabilities, providing insights for further research and development in the field, and paving the way for more accurate and reliable AI systems that can handle complex reasoning tasks across multiple modalities.


title: Extending Elman's Bound for GMRES

abstract: If the numerical range of a matrix is contained in the right half-plane, the GMRES algorithm for solving linear systems will make progress at every iteration. In his Ph.D. dissertation, Howard Elman derived a bound that guarantees convergence. When all eigenvalues are in the right half-plane but the numerical range contains the origin, GMRES need not make progress at every step, and Elman's bound does not apply. By solving a Lyapunov equation, one can construct an inner product in which the numerical range is contained in the right half-plane. One can bound GMRES (run in the standard Euclidean norm) by applying Elman's bound in this new inner product, at the cost of a multiplicative constant that characterizes the distortion caused by the change of inner product. Using Lyapunov inverse iteration, one can build a family of suitable inner products, trading off the location of the numerical range with the size of constant. This approach complements techniques recently proposed by Greenbaum and colleagues for eliminating the origin from the numerical range for GMRES convergence analysis.


title: Federated Q-Learning: Linear Regret Speedup with Low Communication Cost

abstract: In this paper, we consider federated reinforcement learning for tabular episodic Markov Decision Processes (MDP) where, under the coordination of a central server, multiple agents collaboratively explore the environment and learn an optimal policy without sharing their raw data. While linear speedup in the number of agents has been achieved for some metrics, such as convergence rate and sample complexity, in similar settings, it is unclear whether it is possible to design a model-free algorithm to achieve linear regret speedup with low communication cost. We propose two federated Q-Learning algorithms termed as FedQ-Hoeffding and FedQ-Bernstein, respectively, and show that the corresponding total regrets achieve a linear speedup compared with their single-agent counterparts when the time horizon is sufficiently large, while the communication cost scales logarithmically in the total number of time steps $T$. Those results rely on an event-triggered synchronization mechanism between the agents and the server, a novel step size selection when the server aggregates the local estimates of the state-action values to form the global estimates, and a set of new concentration inequalities to bound the sum of non-martingale differences. This is the first work showing that linear regret speedup and logarithmic communication cost can be achieved by model-free algorithms in federated reinforcement learning.


title: Coded Caching for Hierarchical Two-Layer Networks with Coded Placement

abstract: We consider two layered hierarchical coded caching problem introduced in Hierarchical coded caching, IEEE Trans. Inf. Theory, 2016, in which a server is connected to $K_1$ mirrors, and each mirror is connected to $K_2$ users. The mirrors and the users are equipped with the cache of size $M_1$ and $M_2$, respectively. We propose a hierarchical coded caching scheme with coded placements that perform better than the existing schemes. In order to ensure a fair comparison with existing schemes, we introduce the notion of composite rate, defined as $\overline{R}=R_1+K_1R_2$, which consists of the rate from server to mirrors $R_1$ and the rate from mirror to users $R_2$. The composite rate has not been discussed before in literature and it represents the total consumed bandwidth in the system. Therefore, it is more appropriate to consider the composite rate along with $R_1$ and $R_2$. For the proposed scheme, we show a trade-off between the global memory $\overline{M}=K_1M_1+K_1K_2M_2$ of the system and the composite rate. We compare the proposed scheme with the existing hierarchical coded caching schemes using the proposed parameter composite rate. Finally, we propose another scheme for the specific case of a single mirror, which performs better for this case.


title: Normalized solutions to Born-Infeld and quasilinear problems

abstract: The paper concerns the existence of normalized solutions to a large class of quasilinear problems, including the well-known Born-Infeld operator. In the mass subcritical cases, we study a global minimization problem and obtain a ground state solution for a $(2,q)$-type operator which implies the existence of solutions to the Born-Infeld problem. We also deal with the mass critical and mass supercritical cases for quasilinear problems involving the $(2,q)$-type operator.


title: QUBO Dual Bounds via SDP Plane Projection Method

abstract: In this paper, we present a new method to solve a certain type of Semidefinite Programming (SDP) problems. These types of SDPs naturally arise in the Quadratic Convex Reformulation (QCR) method and can be used to obtain dual bounds of Quadratic Unconstrained Binary Optimization (QUBO) problems. QUBO problems have recently become the focus of attention in the quantum computing and optimization communities as they are well suited to both gate-based and annealing-based quantum computers on one side, and can encompass an exceptional variety of combinatorial optimization problems on the other. Our new method can be easily warm-started, making it very effective when embedded into a branch-and-bound scheme and used to solve the QUBO problem to global optimality. We test our method in this setting and present computational results showing the effectiveness of our approach.


title: First experimental time-of-flight-based proton radiography using low gain avalanche diodes

abstract: Ion computed tomography (iCT) is an imaging modality for the direct determination of the relative stopping power (RSP) distribution within a patient's body. Usually, this is done by estimating the path and energy loss of ions traversing the scanned volume via a tracking system and a separate residual energy detector. This study, on the other hand, introduces the first experimental study of a novel iCT approach based on time-of-flight (TOF) measurements, the so-called Sandwich TOF-iCT concept, which in contrast to any other iCT system, does not require a residual energy detector for the RSP determination. A small TOF-iCT demonstrator was built based on low gain avalanche diodes (LGAD), which are 4D-tracking detectors that allow to simultaneously measure the particle position and time-of-arrival with a precision better than 100um and 100ps, respectively. Using this demonstrator, the material and energy-dependent TOF was measured for several homogeneous PMMA slabs in order to calibrate the acquired TOF against the corresponding water equivalent thickness (WET). With this calibration, two proton radiographs (pRad) of a small aluminium stair phantom were recorded at MedAustron using 83 and 100.4MeV protons. Due to the simplified WET calibration models used in this very first experimental study of this novel approach, the difference between the measured and theoretical WET ranged between 37.09 and 51.12%. Nevertheless, the first TOF-based pRad was successfully recorded showing that LGADs are suitable detector candidates for TOF-iCT. While the system parameters and WET estimation algorithms require further optimization, this work was an important first step to realize Sandwich TOF-iCT. Due to its compact and cost-efficient design, Sandwich TOF-iCT has the potential to make iCT more feasible and attractive for clinical application, which, eventually, could enhance the treatment planning quality.


title: Enhanced Ferromagnetism in Monolayer Cr2Te3 via Topological Insulator Coupling

abstract: Exchange-coupled interfaces are pivotal in exploiting two-dimensional (2D) ferromagnetism. Due to the extraordinary correlations among charge, spin, orbital and lattice degrees of freedom, layered magnetic transition metal chalcogenides (TMCs) bode well for exotic topological phenomena. Here we report the realization of wafer-scale Cr2Te3 down to monolayer (ML) on insulating SrTiO3(111) substrates using molecular beam epitaxy. Robust ferromagnetism emerges in 2D Cr2Te3 ML with a Curie temperature TC = 17 K. Moreover, when Cr2Te3 is proximitized with topological insulator (TI) (Bi,Sb)2Te3, the magnetism becomes stronger -- for 1 ML, TC increases to 30 K, while for 2 ML it boosts from 65 K to 82 K. Our experiments and theory strongly indicate that the Bloembergen-Rowland interaction is likely a universal aspect of TC enhancement in TI-coupled magnetic heterostructures. The topological-surface-enhanced magnetism in 2D TMC enables further exchange coupling physics and quantum hybrid studies, including paving the way to realize interface-modulated topological electronics.


title: Spectrally Decomposed Diffusion Models for Generative Turbulence Recovery

abstract: We investigate the statistical recovery of missing physics and turbulent phenomena in fluid flows using generative machine learning. Here we develop a two-stage super-resolution method using spectral filtering to restore the high-wavenumber components of a Kolmogorov flow. We include a rigorous examination of generated samples through the lens of statistical turbulence. By extending the prior methods to a combined super-resolution and conditional high-wavenumber generation, we demonstrate turbulence recovery on a $8\times$ upsampling task, effectively doubling the range of recovered wavenumbers.


title: Accelerating Nonequilibrium Green functions simulations: the G1-G2 scheme and beyond

abstract: The theory of Nonequilibrium Green functions (NEGF) has seen a rapid development over the recent three decades. Applications include diverse correlated many-body systems in and out of equilibrium. Very good agreement with experiments and available exact theoretical results could be demonstrated if the proper selfenergy approximations were used. However, full two-time NEGF simulations are computationally costly, as they suffer from a cubic scaling of the computation time with the simulation duration. Recently we have introduced the G1-G2 scheme that exactly reformulates the Kadanoff-Baym ansatz with Hartree-Fock propagators (HF-GKBA) into time-local equations, allowing for a dramatic reduction of the scaling to time-linear scaling [Schluenzen et al., Phys. Rev. Lett. \textbf{124}, 076601 (2020)]. Remarkably, this scaling is achieved quickly, and also for high-level selfenergies, including the nonequilibrium $GW$ and $T$-matrix approximations [Joost et al., Phys. Rev. B \textbf{101}, 245101 (2020)]. Even the dynamically screened ladder approximation is now feasible [Joost et al., Phys. Rev. B \textbf{105}, 165155 (2022)], and also applications to electron-boson systems were demonstrated. Here we present an overview on recent results that were achieved with the G1--G2 scheme. We discuss problems and open questions and present further ideas how to overcome the current limitations of the scheme.We illustrate the G1--G2 scheme by presenting applying it to the excitation dynamics of Hubbard clusters, to optical excitation of graphene, and to charge transfer during stopping of ions by correlated materials.


title: Pressure-driven viscoelastic flow in axisymmetric geometries with application to the hyperbolic pipe

abstract: We investigate theoretically the steady incompressible viscoelastic flow in a rigid axisymmetric tube (cylindrical pipe) with varying cross-section. We use the Oldroyd-B viscoelastic constitutive equation to model the fluid viscoelasticity. First, we derive new exact results expressed in the form of general formulas: for the average pressure-drop through the pipe as a function of the wall shear rate and the viscoelastic axial normal extra-stress, for the viscoelastic extra-stress tensor at the axis of symmetry and the Trouton ratio of the fluid as function of the fluid velocity at the axis, and for the viscoelastic extra-stress tensor along the wall in terms of the tangential shear rate at the wall. We then proceed by exploiting the classic lubrication approximation, valid for small values of the square of the aspect ratio of the pipe, to simplify the original governing equations. The final equations are solved analytically using a regular perturbation scheme in terms of the Deborah number, De, up to eight order in De. For the specific case of a hyperbolic pipe, we reveal that the pressure-drop and the Trouton ratio (when reduced by their corresponding Newtonian values) can be recast in terms of a modified Deborah number, Dem, and the polymer viscosity ratio, {\eta}, only. Furthermore, we enhance the convergence and accuracy of the eight-order solutions by deriving transformed analytical formulas using Pad\'e diagonal approximants. The results show the decrease of the pressure drop and the enhancement of the Trouton ratio with increasing Dem and/or increasing {\eta}. Comparison of the transformed solutions with numerical simulations of the lubrication equations using pseudospectral methods shows excellent agreement between the results revealing the robustness, validity and efficiency of the theoretical methods and techniques developed in this work.


title: Combining support for hypotheses over heterogeneous studies with Bayesian Evidence Synthesis: A simulation study

abstract: Scientific claims gain credibility by replicability, especially if replication under different circumstances and varying designs yields equivalent results. Aggregating results over multiple studies is, however, not straightforward, and when the heterogeneity between studies increases, conventional methods such as (Bayesian) meta-analysis and Bayesian sequential updating become infeasible. *Bayesian Evidence Synthesis*, built upon the foundations of the Bayes factor, allows to aggregate support for conceptually similar hypotheses over studies, regardless of methodological differences. We assess the performance of Bayesian Evidence Synthesis over multiple effect and sample sizes, with a broad set of (inequality-constrained) hypotheses using Monte Carlo simulations, focusing explicitly on the complexity of the hypotheses under consideration. The simulations show that this method can evaluate complex (informative) hypotheses regardless of methodological differences between studies, and performs adequately if the set of studies considered has sufficient statistical power. Additionally, we pinpoint challenging conditions that can lead to unsatisfactory results, and provide suggestions on handling these situations. Ultimately, we show that Bayesian Evidence Synthesis is a promising tool that can be used when traditional research synthesis methods are not applicable due to insurmountable between-study heterogeneity.


title: Sparsity-Guided Holistic Explanation for LLMs with Interpretable Inference-Time Intervention

abstract: Large Language Models (LLMs) have achieved unprecedented breakthroughs in various natural language processing domains. However, the enigmatic ``black-box'' nature of LLMs remains a significant challenge for interpretability, hampering transparent and accountable applications. While past approaches, such as attention visualization, pivotal subnetwork extraction, and concept-based analyses, offer some insight, they often focus on either local or global explanations within a single dimension, occasionally falling short in providing comprehensive clarity. In response, we propose a novel methodology anchored in sparsity-guided techniques, aiming to provide a holistic interpretation of LLMs. Our framework, termed SparseCBM, innovatively integrates sparsity to elucidate three intertwined layers of interpretation: input, subnetwork, and concept levels. In addition, the newly introduced dimension of interpretable inference-time intervention facilitates dynamic adjustments to the model during deployment. Through rigorous empirical evaluations on real-world datasets, we demonstrate that SparseCBM delivers a profound understanding of LLM behaviors, setting it apart in both interpreting and ameliorating model inaccuracies. Codes are provided in supplements.


title: Two-Time Quantum Fluctuations Approach and its Relation to the Bethe--Salpeter Equation

abstract: Correlated quantum many-particle systems out of equilibrium are of high interest in many fields, including correlated solids, ultracold atoms or dense plasmas. Accurate theoretical description of these systems is challenging both, conceptionally and with respect to computational resources. We have recently presented a quantum fluctuations approach which is equivalent to the nonequilibrium $GW$ approximation [E. Schroedter \textit{et al.}, Cond. Matt. Phys. \textbf{25}, 23401 (2022)] that promises high accuracy at low computational cost. In a second publication [E. Schroedter \textit{et al.}, Phys. Rev. B \textbf{108}, 205109 (2023)], this approach was extended to the two-time exchange-correlation functions and the density response properties. Here, we analyze the properties of this approach in more detail. We demonstrate that the method is equivalent to the Bethe--Salpeter equation for the two-time exchange-correlation function when the generalized Kadanoff-Baym ansatz with Hartree-Fock propagators is applied.


title: Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design

abstract: This paper introduces Hardcaml, an embedded hardware design domain specific language (DSL) implemented in the OCaml programming language. Unlike high level synthesis (HLS), Hardcaml allows for low level control of the underlying hardware for maximum productivity, while abstracting away many of the tedious aspects of traditional hardware definition languages (HDLs) such as Verilog or VHDL. The richness of OCaml's type system combined with Hardcaml's fast circuit elaboration checks reduces the chance of user-introduced bugs and erroneous connections with features like custom type defining, type-safe parameterized modules and elaboration-time bit-width inference and validation. Hardcaml tooling emphasizes fast feedback through simulation, testing, and verification. It includes both a native OCaml cycle-accurate and an event-driven simulator. Unit tests can live in the source code and include digital ASCII waveforms representing the simulator's output. Hardcaml also provides tools for SAT proving and formal verification. Hardcaml is industrially proven, and has been used at Jane Street internally for many large FPGA designs. As a case study we highlight several aspects of our recent Hardcaml submission to the 2022 ZPrize cryptography competition which won 1st place in the FPGA track.


title: SODA: Protecting Proprietary Information in On-Device Machine Learning Models

abstract: The growth of low-end hardware has led to a proliferation of machine learning-based services in edge applications. These applications gather contextual information about users and provide some services, such as personalized offers, through a machine learning (ML) model. A growing practice has been to deploy such ML models on the user's device to reduce latency, maintain user privacy, and minimize continuous reliance on a centralized source. However, deploying ML models on the user's edge device can leak proprietary information about the service provider. In this work, we investigate on-device ML models that are used to provide mobile services and demonstrate how simple attacks can leak proprietary information of the service provider. We show that different adversaries can easily exploit such models to maximize their profit and accomplish content theft. Motivated by the need to thwart such attacks, we present an end-to-end framework, SODA, for deploying and serving on edge devices while defending against adversarial usage. Our results demonstrate that SODA can detect adversarial usage with 89% accuracy in less than 50 queries with minimal impact on service performance, latency, and storage.


title: Latents2Semantics: Leveraging the Latent Space of Generative Models for Localized Style Manipulation of Face Images

abstract: With the metaverse slowly becoming a reality and given the rapid pace of developments toward the creation of digital humans, the need for a principled style editing pipeline for human faces is bound to increase manifold. We cater to this need by introducing the Latents2Semantics Autoencoder (L2SAE), a Generative Autoencoder model that facilitates highly localized editing of style attributes of several Regions of Interest (ROIs) in face images. The L2SAE learns separate latent representations for encoded images' structure and style information. Thus, allowing for structure-preserving style editing of the chosen ROIs. The encoded structure representation is a multichannel 2D tensor with reduced spatial dimensions, which captures both local and global structure properties. The style representation is a 1D tensor that captures global style attributes. In our framework, we slice the structure representation to build strong and disentangled correspondences with different ROIs. Consequentially, style editing of the chosen ROIs amounts to a simple combination of (a) the ROI-mask generated from the sliced structure representation and (b) the decoded image with global style changes, generated from the manipulated (using Gaussian noise) global style and unchanged structure tensor. Style editing sans additional human supervision is a significant win over SOTA style editing pipelines because most existing works require additional human effort (supervision) post-training for attributing semantic meaning to style edits. We also do away with iterative-optimization-based inversion or determining controllable latent directions post-training, which requires additional computationally expensive operations. We provide qualitative and quantitative results for the same over multiple applications, such as selective style editing and swapping using test images sampled from several datasets.


title: Constraining general multi-field inflation using the SPHEREx all-sky survey

abstract: We investigate how well the SPHEREx all-sky survey can constrain local primordial non-Gaussianity beyond the parameter $f_{\text{NL}}$ using galaxy power spectra. We forecast joint constraints on the parameters $f_{\text{NL}}$, $g_{\text{NL}}$ and $\tau_{\text{NL}}$ obtained assuming a simple two-field curvaton model of inflation. The parameters $f_{\text{NL}}$ and $g_{\text{NL}}$ characterise the squeezed limits of the primordial bispectrum and trispectrum respectively, and lead to a characteristic scale-dependence of the galaxy bias that increases out to arbitrarily large scales. Values of the parameter $\tau_{\text{NL}}> (\frac{6}{5}f_{\text{NL}})^{2}$ cause the galaxy power spectrum to have a stochastic component which also increases out to arbitrarily large scales. Our MCMC forecasts indicate that SPHEREx can provide joint constraints on any two of the three parameters $f_{\text{NL}}, \ g_{\text{NL}}$ and $\tau_{\text{NL}}$. Due to strong degeneracies among these parameters, measurements of the galaxy power spectra alone may not be sufficient to jointly constrain all three. Constraints on $f_{\text{NL}}, \ g_{\text{NL}}$ and $\tau_{\text{NL}}$ obtained from galaxy power spectrum observations depend on the modelling of underlying nuisance parameters. We study the robustness of our forecast constraints to modelling choices and note that even with relatively conservative modelling assumptions, SPHEREx galaxy power spectra can provide strong evidence of local non-Gaussianity, even if the particular values of $f_{\text{NL}}$ and $g_{\text{NL}}$ cannot be measured precisely.


title: Signatures of baryon junctions in semi-inclusive deep inelastic scattering

abstract: Local gauge invariance of the baryon wave function leads to the emergence of a baryon junction, where three (or $N$, in $SU(N)$ gauge theory) string operators merge. The existence of baryon junction dramatically affects the dynamics of baryon stopping at high energies, and the corresponding predictions are supported by the recent data from STAR Collaboration at the Relativistic Heavy Ion Collider. Here we outline the ways in which the baryon junctions can be tested in semi-inclusive deep inelasttic scattering at Jefferson Laboratory and the future Electron Ion Collider.


title: Towards Detecting Cascades of Biased Medical Claims on Twitter

abstract: Social media may disseminate medical claims that highlight misleading correlations between social identifiers and diseases due to not accounting for structural determinants of health. Our research aims to identify biased medical claims on Twitter and measure their spread. We propose a machine learning framework that uses two models in tandem: RoBERTa to detect medical claims and DistilBERT to classify bias. After identifying original biased medical claims, we conducted a retweet cascade analysis, computing their individual reach and rate of spread. Tweets containing biased claims were found to circulate faster and further than unbiased claims.


title: W4-Groups: Modeling the Who, What, When and Where of Group Behavior via Mobility Sensing

abstract: Human social interactions occur in group settings of varying sizes and locations, depending on the type of social activity. The ability to distinguish group formations based on their purposes transforms how group detection mechanisms function. Not only should such tools support the effective detection of serendipitous encounters, but they can derive categories of relation types among users. Determining who is involved, what activity is performed, and when and where the activity occurs are critical to understanding group processes in greater depth, including supporting goal-oriented applications (e.g., performance, productivity, and mental health) that require sensing social factors. In this work, we propose W4-Groups that captures the functional perspective of variability and repeatability when automatically constructing short-term and long-term groups via multiple data sources (e.g., WiFi and location check-in data). We design and implement W4-Groups to detect and extract all four group features who-what-when-where from the user's daily mobility patterns. We empirically evaluate the framework using two real-world WiFi datasets and a location check-in dataset, yielding an average of 92% overall accuracy, 96% precision, and 94% recall. Further, we supplement two case studies to demonstrate the application of W4-Groups for next-group activity prediction and analyzing changes in group behavior at a longitudinal scale, exemplifying short-term and long-term occurrences.


title: Have Learning Analytics Dashboards Lived Up to the Hype? A Systematic Review of Impact on Students' Achievement, Motivation, Participation and Attitude

abstract: While learning analytics dashboards (LADs) are the most common form of LA intervention, there is limited evidence regarding their impact on students learning outcomes. This systematic review synthesizes the findings of 38 research studies to investigate the impact of LADs on students' learning outcomes, encompassing achievement, participation, motivation, and attitudes. As we currently stand, there is no evidence to support the conclusion that LADs have lived up to the promise of improving academic achievement. Most studies reported negligible or small effects, with limited evidence from well-powered controlled experiments. Many studies merely compared users and non-users of LADs, confounding the dashboard effect with student engagement levels. Similarly, the impact of LADs on motivation and attitudes appeared modest, with only a few exceptions demonstrating significant effects. Small sample sizes in these studies highlight the need for larger-scale investigations to validate these findings. Notably, LADs showed a relatively substantial impact on student participation. Several studies reported medium to large effect sizes, suggesting that LADs can promote engagement and interaction in online learning environments. However, methodological shortcomings, such as reliance on traditional evaluation methods, self-selection bias, the assumption that access equates to usage, and a lack of standardized assessment tools, emerged as recurring issues. To advance the research line for LADs, researchers should use rigorous assessment methods and establish clear standards for evaluating learning constructs. Such efforts will advance our understanding of the potential of LADs to enhance learning outcomes and provide valuable insights for educators and researchers alike.


title: GroundVLP: Harnessing Zero-shot Visual Grounding from Vision-Language Pre-training and Open-Vocabulary Object Detection

abstract: Visual grounding, a crucial vision-language task involving the understanding of the visual context based on the query expression, necessitates the model to capture the interactions between objects, as well as various spatial and attribute information. However, the annotation data of visual grounding task is limited due to its time-consuming and labor-intensive annotation process, resulting in the trained models being constrained from generalizing its capability to a broader domain. To address this challenge, we propose GroundVLP, a simple yet effective zero-shot method that harnesses visual grounding ability from the existing models trained from image-text pairs and pure object detection data, both of which are more conveniently obtainable and offer a broader domain compared to visual grounding annotation data. GroundVLP proposes a fusion mechanism that combines the heatmap from GradCAM and the object proposals of open-vocabulary detectors. We demonstrate that the proposed method significantly outperforms other zero-shot methods on RefCOCO/+/g datasets, surpassing prior zero-shot state-of-the-art by approximately 28\% on the test split of RefCOCO and RefCOCO+. Furthermore, GroundVLP performs comparably to or even better than some non-VLP-based supervised models on the Flickr30k entities dataset. Our code is available at https://github.com/om-ai-lab/GroundVLP.


title: The nonholonomic bracket on contact mechanical systems

abstract: In this paper we study contact nonholonomic mechanical sys\-tems. We construct a general framework for non-holonomic constraints in contact geometry and, in this framework, we define different nonholonomic brackets using con\-venient \linebreak decompositions of the tangent bundle of the phase space. \linebreak Furthermore, we prove that all of them coincide. In particular, one the brackets is a natural extension of that defined by R.J. Eden, but now it is an almost Jacobi bracket since it is not satisfy the Leibniz rule.


title: Probabilistic Modeling for Sequences of Sets in Continuous-Time

abstract: Neural marked temporal point processes have been a valuable addition to the existing toolbox of statistical parametric models for continuous-time event data. These models are useful for sequences where each event is associated with a single item (a single type of event or a "mark") -- but such models are not suited for the practical situation where each event is associated with a set of items. In this work, we develop a general framework for modeling set-valued data in continuous-time, compatible with any intensity-based recurrent neural point process model. In addition, we develop inference methods that can use such models to answer probabilistic queries such as "the probability of item $A$ being observed before item $B$," conditioned on sequence history. Computing exact answers for such queries is generally intractable for neural models due to both the continuous-time nature of the problem setting and the combinatorially-large space of potential outcomes for each event. To address this, we develop a class of importance sampling methods for querying with set-based sequences and demonstrate orders-of-magnitude improvements in efficiency over direct sampling via systematic experiments with four real-world datasets. We also illustrate how to use this framework to perform model selection using likelihoods that do not involve one-step-ahead prediction.


title: Information-seeking polynomial NARX model-predictive control through expected free energy minimization

abstract: We propose an adaptive model-predictive controller that balances driving the system to a goal state and seeking system observations that are informative with respect to the parameters of a nonlinear autoregressive exogenous model. The controller's objective function is derived from an expected free energy functional and contains information-theoretic terms expressing uncertainty over model parameters and output predictions. Experiments illustrate how parameter uncertainty affects the control objective and evaluate the proposed controller for a pendulum swing-up task.


title: Optimal noisy entanglement testing for ranging and communication

abstract: Given a quantum system $S$ entangled with another system $I$, the entanglement testing problem arises, prompting the identification of the system $S$ within a set of $m \ge 2$ identical systems. This scenario serves as a model for the measurement task encountered in quantum ranging and entanglement-assisted communication [Phys. Rev. Lett. 126, 240501, (2021)]. In this context, the optimal measurement approach typically involves joint measurements on all $m+1$ systems. However, we demonstrate that this is not the case when the subsystems containing system $S$ are subjected to entanglement-breaking noise. Our approach utilizes the recently developed measurement technique of correlation-to-displacement conversion. We present a structured design for the entanglement testing measurement, implementable with local operations and classical communications (LOCC) on the $m+1$ systems. Furthermore, we prove that this measurement approach achieves optimality in terms of error probability asymptotically under noisy conditions. When applied to quantum illumination, our measurement design enables optimal ranging in scenarios with low signal brightness and high levels of noise. Similarly, when applied to entanglement-assisted classical communication, the measurement design leads to a significant relative advantage in communication rates, particularly in scenarios with low signal brightness.


title: Hierarchical Multigrid Ansatz for Variational Quantum Algorithms

abstract: Quantum computing is an emerging topic in engineering that promises to enhance supercomputing using fundamental physics. In the near term, the best candidate algorithms for achieving this advantage are variational quantum algorithms (VQAs). We design and numerically evaluate a novel ansatz for VQAs, focusing in particular on the variational quantum eigensolver (VQE). As our ansatz is inspired by classical multigrid hierarchy methods, we call it "multigrid'' ansatz. The multigrid ansatz creates a parameterized quantum circuit for a quantum problem on $n$ qubits by successively building and optimizing circuits for smaller qubit counts $j < n$, reusing optimized parameter values as initial solutions to next level hierarchy at $j+1$. We show through numerical simulation that the multigrid ansatz outperforms the standard hardware-efficient ansatz in terms of solution quality for the Laplacian eigensolver as well as for a large class of combinatorial optimization problems with specific examples for MaxCut and Maximum $k$-Satisfiability. Our studies establish the multi-grid ansatz as a viable candidate for many VQAs and in particular present a promising alternative to the QAOA approach for combinatorial optimization problems.


title: Explaining Differences in Voting Patterns Across Voting Domains Using Hierarchical Bayesian Models

abstract: Spatial voting models of legislators' preferences are used in political science to test theories about their voting behavior. These models posit that legislators' ideologies as well as the ideologies reflected in votes for and against a bill or measure exist as points in some low dimensional space, and that legislators vote for positions that are close to their own ideologies. Bayesian spatial voting models have been developed to test sharp hypotheses about whether a legislator's revealed ideal point differs for two distinct sets of bills. This project extends such a model to identify covariates that explain whether legislators exhibit such differences in ideal points. We use our method to examine voting behavior on procedural versus final passage votes in the U.S. house of representatives for the 93rd through 113th congresses. The analysis provides evidence that legislators in the minority party as well as legislators with a moderate constituency are more likely to have different ideal points for procedural versus final passage votes.


title: Large planets may not form fractionally large moons

abstract: One of the unique aspects of Earth is that it has a fractionally large Moon, which is thought to have formed from a Moon-forming disk generated by a giant impact. The Moon stabilizes the Earth's spin axis at least by several degrees and contributes to Earth's stable climate. Given that impacts are common during planet formation, exomoons, which are moons around planets in extrasolar systems, should be common as well, but no exomoon has been confirmed. Here we propose that an initially vapor-rich moon-forming disk is not capable of forming a large moon because growing moonlets, which are building blocks of a moon, experience strong gas drag and quickly fall toward the planet. Our impact simulations show that terrestrial and icy planets that are larger than $\sim 1.3-1.6 R_\oplus$ produce entirely vapor disks, which fail to form a large moon. This indicates that (1) our model supports the Moon-formation models that produce vapor-poor disks and (2) rocky and icy exoplanets whose radii are smaller than $\sim 1.6 R_\oplus$ are ideal candidates for hosting fractionally large exomoons.


title: One-loop five-parton amplitudes in the NMRK limit

abstract: We analyse the real part of one-loop five-parton amplitudes in the next-to-multi-Regge kinematic (NMRK) limit, to leading power, and to finite order in the dimensional regularisation parameter. To leading logarithmic (LL) accuracy, it is known that five-parton amplitudes in this limit are given to all-orders by a single factorised expression, in which the pair of partons which are not well-separated in rapidity are described by a two-parton emission vertex. In this study, we investigate the one-loop amplitudes at next-to-leading logarithmic (NLL) accuracy, and find that is has a more complex structure. In particular, it is found that the purely gluonic amplitudes are compatible with an analogous factorisation of individual colour structures. From the one-loop amplitudes we extract one-loop two-parton emission vertices, which are functions of a subset of the momenta of the amplitude. In the multi-Regge kinematic (MRK) limit, the vertices themselves factorise into the known one-loop single-parton emission vertices and Lipatov vertex, with rapidity dependence governed by the one-loop gluon Regge trajectory, as required by compatibility with the known MRK limit of amplitudes. The one-loop two-parton emission vertices are necessary ingredients for the construction of the next-to-next-to leading order (NNLO) jet impact factors in the BFKL framework.


title: Multi-groups

abstract: In the present paper we define homogeneous algebraic systems. Particular cases of these systems are: semigroup (monoid, group) system. These algebraic systems were studied by J. Loday, A. Zhuchok, T. Pirashvili, N. Koreshkov. Quandle systems were introduced and studied by V. Bardakov, D. Fedoseev, V. Turaev. We construct some group systems on the set of square matrices over a field $\Bbbk$. Also we define rack system on the set $V \times G$, where $V$ is a vector space of dimension $n$ over $\Bbbk$, $G$ is a subgroup of $GL_n(\Bbbk)$.Finally, we find connection between skew braces and dimonoids.


title: Leptogenesis, Dark Matter and Gravitational Waves from Discrete Symmetry Breaking

abstract: We analyse a model that connects the neutrino sector and the dark sector of the universe via a mediator $\Phi$, stabilised by a discrete $Z_4$ symmetry that breaks to a remnant $Z_2$ upon $\Phi$ acquiring a non-zero vacuum expectation value ($v_\phi$). The model accounts for the observed baryon asymmetry of the universe via additional contributions to the canonical Type-I leptogenesis. The $Z_4$ symmetry breaking scale ($v_\phi$) in the model not only establishes a connection between the neutrino sector and the dark sector, but could also lead to gravitational wave signals that are within the reach of current and future experimental sensitivities.


title: Unusual magnetism of the axion-insulator candidate Eu$_5$In$_2$Sb$_6$

abstract: Eu$_5$In$_2$Sb$_6$ is a member of a family of orthorhombic nonsymmorphic rare-earth intermetallics that combines large localized magnetic moments and itinerant exchange with a low carrier density and perpendicular glide planes. This may result in special topological crystalline (wallpaper fermion) or axion insulating phases. Recent studies of Eu$_5$In$_2$Sb$_6$ single crystals have revealed colossal negative magnetoresistance and multiple magnetic phase transitions. Here, we clarify this ordering process using neutron scattering, resonant elastic X-ray scattering, muon spin-rotation, and magnetometry. The nonsymmorphic and multisite character of Eu$_5$In$_2$Sb$_6$ results in coplanar noncollinear magnetic structure with an Ising-like net magnetization along the $a$ axis. A reordering transition, attributable to competing ferro- and antiferromagnetic couplings, manifests as the onset of a second commensurate Fourier component. In the absence of spatially resolved probes, the experimental evidence for this low-temperature state can be interpreted either as an unusual double-$q$ structure or in a phase separation scenario. The net magnetization produces variable anisotropic hysteretic effects which also couple to charge transport. The implied potential for functional domain physics and topological transport suggests that this structural family may be a promising platform to implement concepts of topological antiferromagnetic spintronics.


title: Deep Learning for Efficient GWAS Feature Selection

abstract: Genome-Wide Association Studies (GWAS) face unique challenges in the era of big genomics data, particularly when dealing with ultra-high-dimensional datasets where the number of genetic features significantly exceeds the available samples. This paper introduces an extension to the feature selection methodology proposed by Mirzaei et al. (2020), specifically tailored to tackle the intricacies associated with ultra-high-dimensional GWAS data. Our extended approach enhances the original method by introducing a Frobenius norm penalty into the student network, augmenting its capacity to adapt to scenarios characterized by a multitude of features and limited samples. Operating seamlessly in both supervised and unsupervised settings, our method employs two key neural networks. The first leverages an autoencoder or supervised autoencoder for dimension reduction, extracting salient features from the ultra-high-dimensional genomic data. The second network, a regularized feed-forward model with a single hidden layer, is designed for precise feature selection. The introduction of the Frobenius norm penalty in the student network significantly boosts the method's resilience to the challenges posed by ultra-high-dimensional GWAS datasets. Experimental results showcase the efficacy of our approach in feature selection for GWAS data. The method not only handles the inherent complexities of ultra-high-dimensional settings but also demonstrates superior adaptability to the nuanced structures present in genomics data. The flexibility and versatility of our proposed methodology are underscored by its successful performance across a spectrum of experiments.


title: Present and future of CosmoLattice

abstract: We discuss the present state and planned updates of CosmoLattice, a cutting-edge code for lattice simulations of non-linear dynamics of scalar-gauge field theories in an expanding background. We first review current capabilities of the code, including the simulation of interacting singlet scalars and of Abelian and non-Abelian scalar-gauge theories. We also comment on new features recently implemented, such as the simulation of gravitational waves from scalar and gauge fields. Secondly, we discuss new extensions of CosmoLattice that we plan to release publicly. On the one hand, we comment on new physics modules, which include axion-gauge interactions $\phi F \widetilde{F}$, non-minimal gravitational couplings $\phi^2 R$, creation and evolution of cosmic defect networks, and magneto-hydro-dynamics (MHD). On the other hand, we discuss new technical features, including evolvers for non-canonical interactions, arbitrary initial conditions, simulations in 2+1 dimensions, and higher accuracy spatial derivatives.


title: The S-PLUS Transient Extension Program: Imaging Pipeline, Transient Identification, and Survey Optimization for Multi-Messenger Astronomy

abstract: We present the S-PLUS Transient Extension Program (STEP): a supernova and fast transient survey conducted in the southern hemisphere using data from the Southern Photometric Local Universe Survey (S-PLUS) Main Survey and the T80-South telescope. Transient astrophysical phenomena have a range of interest that goes through different fields of astrophysics and cosmology. With the detection of an electromagnetic counterpart to the gravitational wave (GW) event GW170817 from a binary neutron stars merger, new techniques and resources to study fast astrophysical transients in the multi-messenger context have increased. In this paper, we present the STEP overview, the SN follow-up data obtained, data reduction, analysis of new transients and deep learning algorithms to optimize transient candidate selection. Additionally, we present prospects and optimized strategy for the search of Gravitational Wave counterparts in the current LIGO/Virgo/Kagra observational run (O4) in the context of T80-South telescope.


title: The State of Documentation Practices of Third-party Machine Learning Models and Datasets

abstract: Model stores offer third-party ML models and datasets for easy project integration, minimizing coding efforts. One might hope to find detailed specifications of these models and datasets in the documentation, leveraging documentation standards such as model and dataset cards. In this study, we use statistical analysis and hybrid card sorting to assess the state of the practice of documenting model cards and dataset cards in one of the largest model stores in use today--Hugging Face (HF). Our findings show that only 21,902 models (39.62\%) and 1,925 datasets (28.48\%) have documentation. Furthermore, we observe inconsistency in ethics and transparency-related documentation for ML models and datasets.


title: Deformable 3D Gaussian Splatting for Animatable Human Avatars

abstract: Recent advances in neural radiance fields enable novel view synthesis of photo-realistic images in dynamic settings, which can be applied to scenarios with human animation. Commonly used implicit backbones to establish accurate models, however, require many input views and additional annotations such as human masks, UV maps and depth maps. In this work, we propose ParDy-Human (Parameterized Dynamic Human Avatar), a fully explicit approach to construct a digital avatar from as little as a single monocular sequence. ParDy-Human introduces parameter-driven dynamics into 3D Gaussian Splatting where 3D Gaussians are deformed by a human pose model to animate the avatar. Our method is composed of two parts: A first module that deforms canonical 3D Gaussians according to SMPL vertices and a consecutive module that further takes their designed joint encodings and predicts per Gaussian deformations to deal with dynamics beyond SMPL vertex deformations. Images are then synthesized by a rasterizer. ParDy-Human constitutes an explicit model for realistic dynamic human avatars which requires significantly fewer training views and images. Our avatars learning is free of additional annotations such as masks and can be trained with variable backgrounds while inferring full-resolution images efficiently even on consumer hardware. We provide experimental evidence to show that ParDy-Human outperforms state-of-the-art methods on ZJU-MoCap and THUman4.0 datasets both quantitatively and visually.


title: Monte Carlo Study of Agent-Based Blume-Capel Model for Political Depolarization

abstract: In this paper, using Monte Carlo simulations we show that the Blume-Capel model gives rise to the social depolarization. This model borrowed from statistical physics uses the continuous Ising spin varying from -1 to 1 passing by zero to express the political stance of an individual going from ultra-left (-1) to ultra-right (+1). The particularity of the Blume-Capel model is the existence of a $D$-term which favors the state of spin zero which is a neutral stance. We consider the political system of the USA where voters affiliate with two political groups: Democrats or Republicans, or are independent. Each group is composed of a large number of interacting members of the same stance. We represent the general political ambiance (or degree of social turmoil) with a temperature $T$ similar to thermal agitation in statistical physics. When three groups interact with each other, their stances can get closer or further from each other, depending on the nature of their inter-group interactions. We study the dynamics of such variations as functions of the value of the $D$-term of each group. We show that the polarization decreases with increasing $D$. We outline the important role of $T$ in these dynamics. These MC results are in excellent agreement with the mean-field treatment of the same model.


title: $\beta$ symmetry in type II Supergravities

abstract: A non geometric sector of the duality group emerging in Kaluza-Klein reductions is realized as an effective symmetry in the low energy action of uncompactified type II theories. This is achieved by extending the so called $\beta$ symmetry of the universal NS-NS sector to the R-R sector of type IIA, IIB and massive type IIA.


title: Feeding plankton to whales: high-redshift supermassive black holes from tiny black hole explosions

abstract: Recent observations of the high-redshift universe have uncovered a significant number of active galactic nuclei, implying that supermassive black holes (SMBHs) would have to have been formed at much earlier times than expected. Direct collapse of metal-free gas clouds to SMBHs after recombination could help explain the early formation of SMBHs, but this scenario is stymied by the fragmentation of the clouds due to efficient molecular hydrogen cooling. We show that a subdominant population of tiny, evaporating primordial black holes, with significant clustering in some gas clouds, can heat the gas sufficiently so that molecular hydrogen is not formed, and direct collapse to to black holes is possible even at high redshifts.


title: A universal approximation theorem for nonlinear resistive networks

abstract: Resistor networks have recently had a surge of interest as substrates for energy-efficient self-learning machines. This work studies the computational capabilities of these resistor networks. We show that electrical networks composed of voltage sources, linear resistors, diodes and voltage-controlled voltage sources (VCVS) can implement any continuous functions. To prove it, we assume that the circuit elements are ideal and that the conductances of variable resistors and the amplification factors of the VCVS's can take arbitrary values -- arbitrarily small or arbitrarily large. The constructive nature of our proof could also inform the design of such self-learning electrical networks.


title: Joint Self-Supervised and Supervised Contrastive Learning for Multimodal MRI Data: Towards Predicting Abnormal Neurodevelopment

abstract: The integration of different imaging modalities, such as structural, diffusion tensor, and functional magnetic resonance imaging, with deep learning models has yielded promising outcomes in discerning phenotypic characteristics and enhancing disease diagnosis. The development of such a technique hinges on the efficient fusion of heterogeneous multimodal features, which initially reside within distinct representation spaces. Naively fusing the multimodal features does not adequately capture the complementary information and could even produce redundancy. In this work, we present a novel joint self-supervised and supervised contrastive learning method to learn the robust latent feature representation from multimodal MRI data, allowing the projection of heterogeneous features into a shared common space, and thereby amalgamating both complementary and analogous information across various modalities and among similar subjects. We performed a comparative analysis between our proposed method and alternative deep multimodal learning approaches. Through extensive experiments on two independent datasets, the results demonstrated that our method is significantly superior to several other deep multimodal learning methods in predicting abnormal neurodevelopment. Our method has the capability to facilitate computer-aided diagnosis within clinical practice, harnessing the power of multimodal data.


title: Exact finite-time correlation functions for multi-terminal setups: Connecting theoretical frameworks for quantum transport and thermodynamics

abstract: Transport in open quantum systems can be explored through various theoretical frameworks, including the quantum master equation, scattering matrix, and Heisenberg equation of motion. The choice of framework depends on factors such as the presence of interactions, the coupling strength between the system and environment, and whether the focus is on steady-state or transient regimes. Existing literature treats these frameworks independently, lacking a unified perspective. Our work addresses this gap by clarifying the role and status of these approaches using a minimal single-level quantum dot model in a two-terminal setup under voltage and temperature biases. We derive analytical expressions for particle and energy currents and their fluctuations in both steady-state and transient regimes. Exact results from the Heisenberg equation are shown to align with scattering matrix and master equation approaches within their respective validity regimes. Crucially, we establish a protocol for the weak-coupling limit, bridging the applicability of master equations at weak-coupling with Heisenberg or scattering matrix approaches at arbitrary coupling strength.


title: Optimal form of time-local non-Lindblad master equations

abstract: Time-local quantum master equations that describe open quantum systems beyond the limit of ultraweak system-bath coupling are often not of Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) form. Prominent examples are the Redfield equation approximating general open quantum systems and the Hu-Paz-Zhang equation exactly describing a damped harmonic oscillator. Here, we show that not only the former, but also the latter can be brought to pseudo-Lindblad form, with a dissipator that resembles that of a GKSL equation, except for the fact that some of the terms have negative weights. Moreover, we systematically investigate transformations that leave the dissipator of pseudo-Lindblad equations unchanged, while changing the relative weight between its positive and negative terms. These can be used to minimize the weights of the negative terms, which is optimal both for the convergence of a recently developed quantum-trajectory unraveling of pseudo-Lindblad equations as well as for the truncation of the negative terms to obtain a GKSL equation.


title: Electromagnetic Transient Model of Cryptocurrency Mining Loads for Low-Voltage Ride Through Assessment in Transmission Grids

abstract: In this paper, we developed an Electromagnetic Transient (EMT) model tailored for large cryptocurrency mining loads to understand the cross-interaction of these loads with the electric grid. The load model has been built using Electromagnetic Transients Program (EMTP) software. We have cross-validated the performance of the EMT model of the load with commercial application-specific integrated circuit miners, typically used by large-scale mining facilities, by comparing their low-voltage ride-through (LVRT) capabilities. Subsequently, LVRT capabilities of the large-scale miners have been tested against various fault scenarios both within the miner's remote facility as well as at one of the distant buses of the interconnected grid. The significance of this model lies in its scalability to accommodate larger blocks of mining loads and its seamless integration into a larger electric grid.


title: Refining GPT-3 Embeddings with a Siamese Structure for Technical Post Duplicate Detection

abstract: One goal of technical online communities is to help developers find the right answer in one place. A single question can be asked in different ways with different wordings, leading to the existence of duplicate posts on technical forums. The question of how to discover and link duplicate posts has garnered the attention of both developer communities and researchers. For example, Stack Overflow adopts a voting-based mechanism to mark and close duplicate posts. However, addressing these constantly emerging duplicate posts in a timely manner continues to pose challenges. Therefore, various approaches have been proposed to detect duplicate posts on technical forum posts automatically. The existing methods suffer from limitations either due to their reliance on handcrafted similarity metrics which can not sufficiently capture the semantics of posts, or their lack of supervision to improve the performance. Additionally, the efficiency of these methods is hindered by their dependence on pair-wise feature generation, which can be impractical for large amount of data. In this work, we attempt to employ and refine the GPT-3 embeddings for the duplicate detection task. We assume that the GPT-3 embeddings can accurately represent the semantics of the posts. In addition, by training a Siamese-based network based on the GPT-3 embeddings, we obtain a latent embedding that accurately captures the duplicate relation in technical forum posts. Our experiment on a benchmark dataset confirms the effectiveness of our approach and demonstrates superior performance compared to baseline methods. When applied to the dataset we constructed with a recent Stack Overflow dump, our approach attains a Top-1, Top-5, and Top-30 accuracy of 23.1%, 43.9%, and 68.9%, respectively. With a manual study, we confirm our approach's potential of finding unlabelled duplicates on technical forums.


title: Dynamical Facilitation Governs the Equilibration Dynamics of Glasses

abstract: Convincing evidence of domain growth in the heating of ultrastable glasses suggests that the equilibration dynamics of super-cooled liquids could be driven by a nucleation and growth mechanism. We investigate this possibility by simulating the equilibration dynamics of a model glass during both heating and cooling between poorly and well-annealed states. Though we do observe the growth of domains during heating, we find that domains are absent during cooling. This absence is inconsistent with classical nucleation theory. By comparing the equilibration dynamics of our glass with that of two models with kinetic constraints, we demonstrate that dynamical facilitation generically leads to heating driven by domain growth and cooling without domains. Our results provide strong evidence that dynamical facilitation, not nucleation and interfacial-tension-driven domain growth, is the driving mechanism for the equilibration dynamics of glass-formers.


title: Consistent, multidimensional differential histogramming and summary statistics with YODA 2

abstract: Histogramming is often taken for granted, but the power and compactness of partially aggregated, multidimensional summary statistics, and their fundamental connection to differential and integral calculus make them formidable statistical objects, especially when very large data volumes are involved. But expressing these concepts robustly and efficiently in high-dimensional parameter spaces and for large data samples is a highly non-trivial challenge -- doubly so if the resulting library is to remain usable by scientists as opposed to software engineers. In this paper we summarise the core principles required for consistent generalised histogramming, and use them to motivate the design principles and implementation mechanics of the re-engineered YODA histogramming library, a key component of physics data-model comparison and statistical interpretation in collider physics.


title: Independence in the Home: A Wearable Interface for a Person with Quadriplegia to Teleoperate a Mobile Manipulator

abstract: Teleoperation of mobile manipulators within a home environment can significantly enhance the independence of individuals with severe motor impairments, allowing them to regain the ability to perform self-care and household tasks. There is a critical need for novel teleoperation interfaces to offer effective alternatives for individuals with impairments who may encounter challenges in using existing interfaces due to physical limitations. In this work, we iterate on one such interface, HAT (Head-Worn Assistive Teleoperation), an inertial-based wearable integrated into any head-worn garment. We evaluate HAT through a 7-day in-home study with Henry Evans, a non-speaking individual with quadriplegia who has participated extensively in assistive robotics studies. We additionally evaluate HAT with a proposed shared control method for mobile manipulators termed Driver Assistance and demonstrate how the interface generalizes to other physical devices and contexts. Our results show that HAT is a strong teleoperation interface across key metrics including efficiency, errors, learning curve, and workload. Code and videos are located on our project website.


title: Engineering Plateau Phase Transition in Quantum Anomalous Hall Multilayers

abstract: The plateau phase transition in quantum anomalous Hall (QAH) insulators corresponds to a quantum state wherein a single magnetic domain gives way to multiple magnetic domains and then re-converges back to a single magnetic domain. The layer structure of the sample provides an external knob for adjusting the Chern number C of the QAH insulators. Here, we employ molecular beam epitaxy (MBE) to grow magnetic topological insulator (TI) multilayers with an asymmetric layer structure and realize the magnetic field-driven plateau phase transition between two QAH states with odd Chern number change {\Delta}C. In multilayer structures with C=+-1 and C=+-2 QAH states, we find two characteristic power-law behaviors between temperature and the scaling variables on the magnetic field at transition points. The critical exponents extracted for the plateau phase transitions with {\Delta}C=1 and {\Delta}C=3 in QAH insulators are found to be nearly identical, specifically, k1~0.390+-0.021 and k2~0.388+-0.015, respectively. We construct a four-layer Chalker-Coddington network model to understand the consistent critical exponents for the plateau phase transitions with {\Delta}C=1 and {\Delta}C=3. This work will motivate further investigations into the critical behaviors of plateau phase transitions with different {\Delta}C in QAH insulators and provide new opportunities for the development of QAH chiral edge current-based electronic and spintronic devices.


title: Scalable Volume Visualization for Big Scientific Data Modeled by Functional Approximation

abstract: Considering the challenges posed by the space and time complexities in handling extensive scientific volumetric data, various data representations have been developed for the analysis of large-scale scientific data. Multivariate functional approximation (MFA) is an innovative data model designed to tackle substantial challenges in scientific data analysis. It computes values and derivatives with high-order accuracy throughout the spatial domain, mitigating artifacts associated with zero- or first-order interpolation. However, the slow query time through MFA makes it less suitable for interactively visualizing a large MFA model. In this work, we develop the first scalable interactive volume visualization pipeline, MFA-DVV, for the MFA model encoded from large-scale datasets. Our method achieves low input latency through distributed architecture, and its performance can be further enhanced by utilizing a compressed MFA model while still maintaining a high-quality rendering result for scientific datasets. We conduct comprehensive experiments to show that MFA-DVV can decrease the input latency and achieve superior visualization results for big scientific data compared with existing approaches.


title: Frequency-Dependent Superconducting States From the Two-Time Linear Response Theory: Application To Sr$_2$RuO$_4$

abstract: We investigate the possible superconducting instabilities of strongly correlated electron materials using a generalization of linear response theory to external pairing fields depending on frequency. We compute a pairing susceptibility depending on two times, allowing us to capture dynamical pairing and in particular odd-frequency solutions. We first benchmark this method on the attractive one-band Hubbard model and then consider the superconductivity of strontium ruthenate Sr$_2$RuO$_4$ within single-site dynamical mean-field theory, hence restricting ourselves to pairing states which are momentum independent in the orbital basis. The symmetry of the superconducting order parameter of this material is still debated, and local odd-frequency states have been proposed to explain some experimental discrepancies. In the temperature range studied, we find that the leading eigenvectors are odd-frequency intra-orbital spin-triplet states, while the eigenvectors with the highest predicted transition temperature correspond to even-frequency intra-orbital spin-singlet states. The latter include a state with $d$-wave symmetry when expressed in the band basis.


title: Spectral signature of high-order photon processes mediated by Cooper-pair pairing

abstract: Inducing interactions between individual photons is essential for applications in photonic quantum information processing and fundamental research on many-body photon states. A field that is well suited to combine strong interactions and low losses is microwave quantum optics with superconducting circuits. Photons are typically stored in an $LC$ circuit, and interactions appear when the circuit is shunted by a Josephson tunnel junction. Importantly, the zero-point fluctuations of the superconducting phase across the junction control the strength and order of the induced interactions. Superconducting circuits have almost exclusively operated in the regime where phase fluctuations are smaller than unity, and two-photon interactions, known as the Kerr effect, dominate. In this experiment, we shunt a high-impedance $LC$ oscillator by a dipole that only allows pairs of Cooper pairs to tunnel. Phase fluctuations, which are effectively doubled by this pairing, reach the value of 3.4. In this regime of extreme fluctuations, we observe transition frequencies that shift non-monotonically as we climb the anharmonic ladder. From this spectroscopic measurement, we extract two-, three- and four-photon interaction energies of comparable amplitude, and all exceeding the photon loss rate. This work explores a new regime of high-order photon interactions in microwave quantum optics, with applications ranging from multi-photon quantum logic to the study of highly correlated microwave radiation.


title: FeMnNiAlCr High Entropy Alloys with High-Efficiency Surface Oxide Solar Absorbers for Concentrating Solar Power Systems

abstract: High entropy alloys (HEAs) have attracted substantial interest in recent years. Thus far, most investigations have focused on their applications as structural materials rather than functional materials. In this paper, we show that FeMnNiAlCr HEAs can potentially be applied as both a structural and functional material for high-efficiency concentrated solar thermal power (CSP) systems working at >700 degrees C. The HEA itself would be used in high-temperature tubing to carry working fluids, while its surface oxide would act as a high-efficiency solar thermal absorber. These HEAs have demonstrated yield strengths 2-3x greater than that of stainless steel at 700 degrees C and a creep lifetime >800 h at 700 degrees C under a typical CSP tubing mechanical load of 35 MPa. Their Mn-rich surface oxides maintain a high optical-to-thermal conversion efficiency of ~87% under 1000x solar concentration for 20 simulated day-night thermal cycles between 750 degrees C and environmental temperature. These HEAs have also sustained immersion in unpurified bromide molten salts for 14 days at 750{\deg}C with <2% weight loss, in contrast to 70% weight loss from a 316 stainless steel reference. The simultaneous achievement of promising mechanical, optical, and thermochemical properties in this FeMnNiAlCr system opens the door to new applications of HEAs in solar energy harvesting.


title: X-ray Circular Dichroism measured by cross-polarization X-ray Transient Grating

abstract: Measuring natural circular dichroism in the X-ray regime to extract stereochemical information from chiral molecules in solution remains a challenge. This is primarily due to technical limitations of the existing synchrotron sources. It hinders access to measurements of local chirality by exploiting core hole electronic transitions. In response to this challenge, we propose an alternative approach: utilizing XFEL-based cross-polarization X-ray Transient Grating (XTG). This method provides an indirect means to measure X-ray Circular Dichroism (XCD). Notably, our findings reveal that the signal only emerges once the excited cores have undergone dephasing through relaxation. XTG is now routinely measured in the XUV regime, and has recently been made available for hard X-rays. Free electron lasers now offer polarization controls and XTG can be extended to various polarization states for the two pump beams, making XCD measured by XTG feasible at the current state of the art.


title: On elementary cellular automata asymptotic (a)synchronism sensitivity and complexity

abstract: Among the fundamental questions in computer science is that of the impact of synchronism/asynchronism on computations, which has been addressed in various fields of the discipline: in programming, in networking, in concurrence theory, in artificial learning, etc. In this paper, we tackle this question from a standpoint which mixes discrete dynamical system theory and computational complexity, by highlighting that the chosen way of making local computations can have a drastic influence on the performed global computation itself. To do so, we study how distinct update schedules may fundamentally change the asymptotic behaviors of finite dynamical systems, by analyzing in particular their limit cycle maximal period. For the message itself to be general and impacting enough, we choose to focus on a ``simple'' computational model which prevents underlying systems from having too many intrinsic degrees of freedom, namely elementary cellular automata. More precisely, for elementary cellular automata rules which are neither too simple nor too complex (the problem should be meaningless for both), we show that update schedule changes can lead to significant computational complexity jumps (from constant to superpolynomial ones) in terms of their temporal asymptotes.


title: Invariance-based Inference in High-Dimensional Regression with Finite-Sample Guarantees

abstract: In this paper, we develop invariance-based procedures for testing and inference in high-dimensional regression models. These procedures, also known as randomization tests, provide several important advantages. First, for the global null hypothesis of significance, our test is valid in finite samples. It is also simple to implement and comes with finite-sample guarantees on statistical power. Remarkably, despite its simplicity, this testing idea has escaped the attention of earlier analytical work, which mainly concentrated on complex high-dimensional asymptotic methods. Under an additional assumption of Gaussian design, we show that this test also achieves the minimax optimal rate against certain nonsparse alternatives, a type of result that is rare in the literature. Second, for partial null hypotheses, we propose residual-based tests and derive theoretical conditions for their validity. These tests can be made powerful by constructing the test statistic in a way that, first, selects the important covariates (e.g., through Lasso) and then orthogonalizes the nuisance parameters. We illustrate our results through extensive simulations and applied examples. One consistent finding is that the strong finite-sample guarantees associated with our procedures result in added robustness when it comes to handling multicollinearity and heavy-tailed covariates.


title: Density functional theory beyond the Born-Oppenheimer approximation: Exact mapping onto an electronically non-interacting Kohn-Sham molecule

abstract: This work presents an alternative, general, and in-principle exact extension of electronic Kohn-Sham density functional theory (KS-DFT) to the fully quantum-mechanical molecular problem. Unlike in existing multi-component or exact-factorization-based DFTs of electrons and nuclei, both nuclear and electronic densities are mapped onto a fictitious electronically non-interacting molecule (referred to as KS molecule), where the electrons still interact with the nuclei. Moreover, in the present molecular KS-DFT, no assumption is made about the mathematical form (exactly factorized or not) of the molecular wavefunction. By expanding the KS molecular wavefunction \`a la Born-Huang, we obtain a self-consistent set of "KS beyond Born-Oppenheimer" electronic equations coupled to nuclear equations that describe nuclei interacting among themselves and with non-interacting electrons. An exact adiabatic connection formula is derived for the Hartree-exchange-correlation energy of the electrons within the molecule and, on that basis, a practical adiabatic density-functional approximation is proposed and discussed.


title: Learning Rich Rankings

abstract: Although the foundations of ranking are well established, the ranking literature has primarily been focused on simple, unimodal models, e.g. the Mallows and Plackett-Luce models, that define distributions centered around a single total ordering. Explicit mixture models have provided some tools for modelling multimodal ranking data, though learning such models from data is often difficult. In this work, we contribute a contextual repeated selection (CRS) model that leverages recent advances in choice modeling to bring a natural multimodality and richness to the rankings space. We provide rigorous theoretical guarantees for maximum likelihood estimation under the model through structure-dependent tail risk and expected risk bounds. As a by-product, we also furnish the first tight bounds on the expected risk of maximum likelihood estimators for the multinomial logit (MNL) choice model and the Plackett-Luce (PL) ranking model, as well as the first tail risk bound on the PL ranking model. The CRS model significantly outperforms existing methods for modeling real world ranking data in a variety of settings, from racing to rank choice voting.


title: Towards a neutrino-limited dark matter search with crystalline xenon

abstract: Experiments searching for weakly interacting massive particle dark matter are now detecting background events from solar neutrino-electron scattering. However, the dominant background in state-of-the-art experiments such as LZ and XENONnT is beta decays from radon contamination. In spite of careful detector material screening, radon progenitor atoms are ubiquitous and long-lived, and radon is extremely soluble in liquid xenon. We propose a change of phase and demonstrate that crystalline xenon offers more than a factor x500 exclusion against radon ingress, compared with the liquid state. This level of radon exclusion would allow crystallized versions of existing experiments to probe spin-independent cross sections near 1e-47 cm2 in roughly 11 years, as opposed to the 35~years required otherwise.


title: What Are the Causes of Super Activity of Solar Active Regions?

abstract: Flare productivity varies among solar active regions (ARs). This study analyzed 20 ARs of contrasting sunspot areas and flare productivities to understand the super flare productivity of certain ARs. We used the flare index (FI) as an indicator of flare activity. We examined the pattern of morphological evolution of magnetic features. Further, we derived a set of magnetic feature parameters to quantitatively characterize ARs. Our study found that the correlation coefficient is the highest (r = 0.78) between FI and the length of the strong gradient polarity inversion line (SgPIL), while the coefficient is the lowest (r = 0.14) between FI and the total unsigned magnetic flux. For the selected ARs, this study also found that the super flare productive ARs have SgPILs (R value) longer (greater) than 50 Mm (4.5). These results suggest that flare productivity is mainly controlled by the size of the subregion that comprises close interaction of opposite magnetic polarities and is weakly correlated with the size of the whole ARs. Further, even though magnetic flux emergence is important, this study shows that it alone is insufficient to increase flare productivity. New emergence can drive either the interaction of like or opposite magnetic polarities of nonconjugate pairs (i.e., polarities not from the same bipole). In the former case, the magnetic configuration remains simple, and flare productivity would be low. In the latter case, the convergence of opposite magnetic fluxes of nonconjugate pairs results in a magnetic configuration with long SgPIL and an increase in flare productivity.


title: Automated forest inventory: analysis of high-density airborne LiDAR point clouds with 3D deep learning

abstract: Detailed forest inventories are critical for sustainable and flexible management of forest resources, to conserve various ecosystem services. Modern airborne laser scanners deliver high-density point clouds with great potential for fine-scale forest inventory and analysis, but automatically partitioning those point clouds into meaningful entities like individual trees or tree components remains a challenge. The present study aims to fill this gap and introduces a deep learning framework, termed ForAINet, that is able to perform such a segmentation across diverse forest types and geographic regions. From the segmented data, we then derive relevant biophysical parameters of individual trees as well as stands. The system has been tested on FOR-Instance, a dataset of point clouds that have been acquired in five different countries using surveying drones. The segmentation back-end achieves over 85% F-score for individual trees, respectively over 73% mean IoU across five semantic categories: ground, low vegetation, stems, live branches and dead branches. Building on the segmentation results our pipeline then densely calculates biophysical features of each individual tree (height, crown diameter, crown volume, DBH, and location) and properties per stand (digital terrain model and stand density). Especially crown-related features are in most cases retrieved with high accuracy, whereas the estimates for DBH and location are less reliable, due to the airborne scanning setup.


title: Cross-Slot Metal-Mesh Bandpass Filters for Far-Infrared Astronomy

abstract: The far-infrared (IR) region is rich with information needed to characterize interstellar dust and to investigate the cold outer planets of the solar system and their icy moons. The proposed sub-orbital observatory the Balloon Experiment for Galactic INfrared Science (BEGINS) will utilize cryogenic instruments to map spectral energy distributions (SEDs) of interstellar dust in the Cygnus molecular cloud complex. A future high priority flagship mission Uranus Orbiter and Probe carrying a net flux radiometer (NFR) will study the in situ heat flux of the icy giants atmosphere to 10 bar pressure. These instruments require far-IR filters to define the instrument spectral bandwidths. Our ultimate goal is to define the instrument bands of BEGINS and the NFR with linear-variable filters (LVFs) and discrete-variable filters (DVFs). The LVFs and DVFs will be made of metal mesh band-pass filters (MMBF) comprised of a 100 nm thick gold film with cross-shaped slots of varying sizes along a silicon (Si) substrate with cyclic olefin copolymer (COC) anti-reflection (AR) coatings. We present our progress towards LVFs and DVFs with simulated and measured transmission of a room temperature, non-AR coated, single-band 44 $\mu$m MMBF filter. We have successfully fabricated, measured, and modeled a non-AR coated, room temperature 44 $\mu$m MMBF. The transmission at room temperature and non-AR coated was measured to be 27\% with a resolving power of 11. When COC-AR coated on both sides the transmission is expected to increase to 69\% with a resolving power of 10.


title: HyperMix: Out-of-Distribution Detection and Classification in Few-Shot Settings

abstract: Out-of-distribution (OOD) detection is an important topic for real-world machine learning systems, but settings with limited in-distribution samples have been underexplored. Such few-shot OOD settings are challenging, as models have scarce opportunities to learn the data distribution before being tasked with identifying OOD samples. Indeed, we demonstrate that recent state-of-the-art OOD methods fail to outperform simple baselines in the few-shot setting. We thus propose a hypernetwork framework called HyperMix, using Mixup on the generated classifier parameters, as well as a natural out-of-episode outlier exposure technique that does not require an additional outlier dataset. We conduct experiments on CIFAR-FS and MiniImageNet, significantly outperforming other OOD methods in the few-shot regime.


title: On the Existence of Seedless Condensers: Exploring the Terrain

abstract: We prove several new results for seedless condensers in the context of three related classes of sources: Non-Oblivious Symbol Fixing (NOSF) sources, one-sided NOSF (oNOSF) sources [AORSV, EUROCRYPT'20], and adversarial Chor-Goldreich (aCG) source [DMOZ, STOC'23]. We think of these sources as a sequence of random variables $\mathbf{X}=\mathbf{X}_1,\dots,\mathbf{X}_\ell$ on $\ell$ symbols where at least $g$ out of these $\ell$ symbols are "good" (i.e., have some min-entropy requirement), denoted as a $(g,\ell)$-source, and the remaining "bad" $\ell-g$ symbols may adversarially depend on these $g$ good blocks. The difference between each of these sources is realized by restrictions on the power of the adversary. Prior to our work, the only known seedless condenser upper or lower bound in these settings is due to [DMOZ, STOC'23], where they explicitly construct a seedless condenser for a restricted subset of $(g,\ell)$-aCG sources. We show: 1) oNOSF sources a) When $g\leq\ell/2$, we prove that condensing with error 0.99 above rate $\frac{1}{\lfloor \ell/g \rfloor}$ is impossible. In fact, we show that this is tight. b) For $g> \ell/2$, we show the existence of excellent condensers for uniform oNOSF sources. In addition, we show the existence of similar condensers for oNOSF sources with only logarithmic min-entropy. 2) aCG sources a) We observe that uniform aCG sources are equivalent to uniform oNOSF sources and consequently inherit the same results. b) We show that one cannot condense beyond the min-entropy gap of each block or condense low min-entropy CG sources above rate $1/2$. 3) NOSF sources a) We show that condensing with constant error above rate $\frac{g}{\ell}$ is impossible for uniform NOSF sources for any $g$ and $\ell$, thus ruling out the possibility of any non-trivial condensing. This shows a distinction between NOSF sources and oNOSF sources.


title: Adaptive Domain Inference Attack

abstract: As deep neural networks are increasingly deployed in sensitive application domains, such as healthcare and security, it's necessary to understand what kind of sensitive information can be inferred from these models. Existing model-targeted attacks all assume the attacker has known the application domain or training data distribution, which plays an essential role in successful attacks. Can removing the domain information from model APIs protect models from these attacks? This paper studies this critical problem. Unfortunately, even with minimal knowledge, i.e., accessing the model as an unnamed function without leaking the meaning of input and output, the proposed adaptive domain inference attack (ADI) can still successfully estimate relevant subsets of training data. We show that the extracted relevant data can significantly improve, for instance, the performance of model-inversion attacks. Specifically, the ADI method utilizes a concept hierarchy built on top of a large collection of available public and private datasets and a novel algorithm to adaptively tune the likelihood of leaf concepts showing up in the unseen training data. The ADI attack not only extracts partial training data at the concept level, but also converges fast and requires much fewer target-model accesses than another domain inference attack, GDI.


title: From Weak to Strong Coupling: Quasi-BIC Metasurfaces for Mid-infrared Light-Matter Interactions

abstract: Resonant metasurfaces present extraordinary subwavelength light trapping capabilities, which have been critical to the development of high-performance biochemical sensors and surface-enhanced spectroscopy techniques. To date, metasurface-enhanced light-matter interactions in the mid-infrared region have been primarily leveraged in the weak coupling regime. Nevertheless, the strong coupling regime, characterized by the hybrid light-matter states - polaritons, has not been fully explored. Specifically, metasurfaces made from low-loss dielectric resonators underpinned by the bound states in the continuum (BIC) are well suited for quantum coherent energy exchange between their high-Q open cavities and molecules' resonant transitions. This paper delves into the light-matter interactions in metasurface cavities generated by quasi-BIC resonances at mid-infrared frequencies. We thoroughly investigate the material and cavity parameters that define the boundaries between weak and strong coupling. Our findings underscore the transformative potential of dielectric metasurfaces to harness vibrational strong coupling for applications such as cavity polaritonic chemistry, modulation of chemical reactivity with light, and highly sensitive molecular spectroscopy.


title: Change Point Detection of Events in Molecular Simulations using dupin

abstract: Particle tracking is commonly used to study time-dependent behavior in many different types of physical and chemical systems involving constituents that span many length scales, including atoms, molecules, nanoparticles, granular particles, and even larger objects. Behaviors of interest studied using particle tracking information include thermodynamic phase transitions, structural transitions, protein folding, and crystallization. A common challenge in studies of these systems involves change detection. Change point detection discerns when a temporal signal undergoes a change in distribution. These changes can be local or global, instantaneous or prolonged, obvious or subtle. Moreover, system-wide changes marking an interesting physical or chemical phenomenon (e.g. crystallization of a liquid) are often preceded by events (e.g. pre-nucleation clusters) that are localized and can occur anywhere at anytime in the system. For these reasons, detecting events in particle trajectories generated by molecular simulation is challenging and typically accomplished via ad hoc solutions unique to the behavior and system under study. Consequently, methods for event detection lack generality, and those used in one field are not easily used by scientists in other fields. Here we present a new Python-based tool, dupin, that allows for universal event detection from particle trajectory data irrespective of the system details. dupin works by creating a signal representing the simulation and partitioning the signal based on events (changes within the trajectory). This approach allows for studies where manual annotating of event boundaries would require a prohibitive amount of time. Furthermore, dupin can serve as a tool in automated and reproducible workflows. We demonstrate the application of dupin using two examples and discuss its applicability to a wider class of problems.


title: A Note on Stability in Asynchronous Stochastic Approximation without Communication Delays

abstract: In this paper, we study asynchronous stochastic approximation algorithms without communication delays. Our main contribution is a stability proof for these algorithms that extends a method of Borkar and Meyn by accommodating more general noise conditions. We also derive convergence results from this stability result and discuss their application in important average-reward reinforcement learning problems.


title: Origins of complexity in the rheology of Soft Earth suspensions

abstract: When wet soil becomes fully saturated by intense rainfall, or is shaken by an earthquake, it may fluidize catastrophically. Sand-rich slurries are treated as granular suspensions, where failure is related to an unjamming transition and friction is controlled by particle concentration and pore pressure. Mud flows are modeled as complex fluids akin to gels, where yielding and shear-thinning behaviors arise from inter-particle attraction and clustering. Here we show that the full range of complex flow behaviors previously reported for natural debris flows - dense slurries of soil and water - can be reproduced with suspensions made only of water, sand and clay. Going from sand-rich to clay-rich suspensions, we observe a continuous transition from brittle (Coulomb-like) to ductile (perfect plastic) yielding that is characterized by (i) a decrease in the stress drop associated with yielding, (ii) an increase in the shear-thinning exponent from zero to 1/2, and (iii) a decrease in the normal force. We propose a general constitutive relation for soil suspensions, with a particle rearrangement time that is controlled by yield stress. Our experimental results are supported by models for yielding of idealized amorphous solids, suggesting that the paradigm of non-equilibrium phase transitions can help to understand and even predict complex behaviors of Soft Earth suspensions.


title: Lexicographic shellability of sects

abstract: In this paper, we show that the Bruhat order on the sects of the symmetric space of type $AIII$ are lexicographically shellable. Our proof proceeds from a description of these posets as rook placements in an arbitrary partition shape which allows us to extend an $EL$-labelling of the rook monoid given by Can to an arbitrary sect. As a special case, our result implies that the Bruhat order on matrix Schubert varieties is lexicographically shellable.


title: Two Steps Forward and One Step Back: The Right to Opt-out of Sale under CPRA

abstract: The California Privacy Rights Act (CPRA) was a ballot initiative that revised the California Consumer Privacy Act (CCPA). Although often framed as expanding and enhancing privacy rights, a close analysis of textual revisions -- both changes from the earlier law and changes from earlier drafts of the CPRA guidelines -- suggest that the reality might be more nuanced. In this work, we identify three textual revisions that have potential to negatively impact the right to opt-out of sale under CPRA and evaluate the effect of these textual revisions using (1) a large-scale longitudinal measurement study of 25,000 websites over twelve months and (2) an experimental user study with 775 participants recruited through Prolific. We find that all revisions negatively impacted the usability, scope, and visibility of the right to opt-out of sale. Our results provide the first comprehensive evaluation of the impact of CPRA on Internet privacy. They also emphasize the importance of continued evaluation of legal requirements as guidelines and case law evolve after a law goes into effect.