title: Using Quality Attribute Scenarios for ML Model Test Case Generation

abstract: Testing of machine learning (ML) models is a known challenge identified by researchers and practitioners alike. Unfortunately, current practice for ML model testing prioritizes testing for model performance, while often neglecting the requirements and constraints of the ML-enabled system that integrates the model. This limited view of testing leads to failures during integration, deployment, and operations, contributing to the difficulties of moving models from development to production. This paper presents an approach based on quality attribute (QA) scenarios to elicit and define system- and model-relevant test cases for ML models. The QA-based approach described in this paper has been integrated into MLTE, a process and tool to support ML model test and evaluation. Feedback from users of MLTE highlights its effectiveness in testing beyond model performance and identifying failures early in the development process.


title: Laser induced $\mathcal{PT}$-symmetry breaking in the fluctuations of electronic fluids

abstract: Electronic fluids can display exciting dynamical properties. In particular, due to Landau damping, the collective modes spectrum of an electronic system with multipolar interactions is non-hermitian, and can present non-hermitian degeneracies called $\textit{exceptional points}$. In this work, we want to explore the dynamical properties of these degeneracies using laser control. We show that by using a light pulse, we can control the collective mode spectrum and tune a non-hermitian $\mathcal{PT}$ phase transition in which two exceptional points anhilate each other. At this transition, the gap closes with a cubic root signature, what defines a third order exceptional point.


title: FastEEC: Fast Evaluation of N-point Energy Correlators

abstract: Energy correlators characterize the asymptotic energy flow in scattering events produced at colliders, from which the microscopic physics of the scattering can be deduced. This view of collisions is akin to analyses of the Cosmic Microwave Background, and a range of promising phenomenological applications of energy correlators have been identified, including the study of hadronization, the deadcone effect, measuring $\alpha_s$ and the top quark mass. While $N$-point energy correlators are interesting to study for larger values of $N$, their evaluation is computationally intensive, scaling like $M^N/N!$, where $M$ is the number of particles. In this letter we develop a fast method for their evaluation, exploiting that correlations at a given angular scale are insensitive to effects at other (widely-separated) scales. For concreteness we focus on the projected energy correlator, which projects onto the largest separation between the $N$ directions. E.g.~for $N=7$ we find a speed up of up to four orders of magnitude, depending on the desired accuracy. We also consider the possibility of raising the energy to a power higher than one in the energy correlator, which has been proposed to reduce soft sensitivity, and further cuts back the required computation time. These higher-power correlators are not collinear safe, but as a byproduct our approach suggests a natural method to regularize them, such that they can be described using perturbation theory. This letter is accompanied by a public code that implements our method.


title: Large scale compressible turbulence in the ism of CSWA13, a star-Forming Lensed Galaxy at z = 1.87 with outflowing wind

abstract: Recently, an observational paper presented spatially resolved observations of a wind outflow in CSWA13, a gravitationally lensed Star-Forming galaxy at z = 1.87. The gravitational lensing allowed for a substantially improved spatial and kinematic resolution of the wind and of the nebular gas. In this paper we take advantage of the resolved data to test for the existence of turbulence and to study its nature. We derive the spatial structure functions of the residual nebular and wind velocities along the major axis of the galaxy. The structure functions, of both velocity fields, reveal a supersonic compressible large scale turbulence. The turbulent timescale corresponding to the largest scale is about 200 Myr, an order of magnitude larger than the estimated age of the wind and of the young stars. This implies that the turbulence in the ism formed well before the wind and the young stars. Given the large spatial scale of the turbulence, it is plausible that the source of the turbulence is a large scale one e.g. a merger or tidal event that triggered the formation of molecular clouds, in the cores of which the young stars formed. A steepening of the structure functions on the smaller scales provides an estimate of the effective depth along the line of sight of the turbulent layer. The latter turns out to be about 2kpc. S


title: Shape optimization problems involving nonlocal and nonlinear operators

abstract: In this research, we investigate a general shape optimization problem in which the state equation is expressed using a nonlocal and nonlinear operator. We prove the existence of a minimum point for a functional $F$ defined on the family of all 'quasi-open' subsets of a bounded open set $\Omega$ in $\mathbb{R}^n$. This is ensured under the condition that $F$ demonstrates decreasing behavior concerning set inclusion and is lower semicontinuous with respect to a suitable topology associated with the fractional $p$-Laplacian under Dirichlet boundary conditions. Moreover, we study the asymptotic behavior of the solutions when $s\to1$ and extend this result to the anisotropic case.


title: Anomalous Enhancement of the Electrocatalytic Hydrogen Evolution Reaction in AuPt Nanoclusters

abstract: Energy- and resource-efficient electrocatalytic water splitting is of paramount importance to enable sustainable hydrogen production. The best bulk catalyst for the hydrogen evolution reaction (HER), i.e., platinum, is one of the scarcest elements on Earth. The use of raw material for HER can be dramatically reduced by utilizing nanoclusters. In addition, nanoalloying can further improve the performance of these nanoclusters. In this paper, we present results for HER on nanometer-sized ligand-free AuPt nanoclusters grafted on carbon nanotubes. These results demonstrate excellent monodispersity and a significant reduction of the overpotential for the electrocatalytic HER. We utilize atomistic machine learning techniques to elucidate the atomic-scale origin of the synergistic effect between Pt and Au. We show that the presence of surface Au atoms, known to be poor HER catalysts, in a Pt(core)/AuPt(shell) nanocluster structure, drives an anomalous enhancement of the inherently high catalytic activity of Pt atoms.


title: Exploiting the packing-field route to craft custom time crystals

abstract: Time crystals are many-body systems that spontaneously break time-translation symmetry, and thus exhibit long-range spatiotemporal order and robust periodic motion. Recent results have demonstrated how to build time-crystal phases in driven diffusive fluids using an external packing field coupled to density fluctuations. Here we exploit this mechanism to engineer and control on-demand custom continuous time crystals characterized by an arbitrary number of rotating condensates, which can be further enhanced with higher-order modes. We elucidate the underlying critical point, as well as general properties of the condensates density profiles and velocities, demonstrating a scaling property of higher-order traveling condensates in terms of first-order ones. We illustrate our findings by solving the hydrodynamic equations for various paradigmatic driven diffusive systems, obtaining along the way a number of remarkable results, e.g. the possibility of explosive time crystal phases characterized by an abrupt, first-order-type transition. Overall, these results demonstrate the versatility and broad possibilities of this promising route to time crystals.


title: Exploring Fact Memorization and Style Imitation in LLMs Using QLoRA: An Experimental Study and Quality Assessment Methods

abstract: There are various methods for adapting LLMs to different domains. The most common methods are prompting, finetuning, and RAG. In this work, we explore the possibility of adapting a model using one of the PEFT methods - QLoRA. The experiment aims to simulate human responses based on their interviews. The simulation quality is assessed by comparing the quality of the style and the quality of the generated facts.


title: Defining a Reference Architecture for Edge Systems in Highly-Uncertain Environments

abstract: Increasing rate of progress in hardware and artificial intelligence (AI) solutions is enabling a range of software systems to be deployed closer to their users, increasing application of edge software system paradigms. Edge systems support scenarios in which computation is placed closer to where data is generated and needed, and provide benefits such as reduced latency, bandwidth optimization, and higher resiliency and availability. Users who operate in highly-uncertain and resource-constrained environments, such as first responders, law enforcement, and soldiers, can greatly benefit from edge systems to support timelier decision making. Unfortunately, understanding how different architecture approaches for edge systems impact priority quality concerns is largely neglected by industry and research, yet crucial for national and local safety, optimal resource utilization, and timely decision making. Much of industry is focused on the hardware and networking aspects of edge systems, with very little attention to the software that enables edge capabilities. This paper presents our work to fill this gap, defining a reference architecture for edge systems in highly-uncertain environments, and showing examples of how it has been implemented in practice.


title: Family of Exact and Inexact Quantum Speed Limits for Completely Positive and Trace-Preserving Dynamics

abstract: Traditional quantum speed limits formulated in density matrix space perform poorly for dynamics beyond unitary, as they are generally unattainable and fail to characterize the fastest possible dynamics. To address this, we derive two distinct quantum speed limits in Liouville space for Completely Positive and Trace-Preserving (CPTP) dynamics that outperform previous bounds. The first bound saturates for time-optimal CPTP dynamics, while the second bound is exact for all states and all CPTP dynamics. Our bounds have a clear physical and geometric interpretation arising from the uncertainty of superoperators and the geometry of quantum evolution in Liouville space. They can be regarded as the generalization of the Mandelstam-Tamm bound, providing uncertainty relations between time, energy, and dissipation for open quantum dynamics. Additionally, our bounds are significantly simpler to estimate and experimentally more feasible as they require to compute or measure the overlap of density matrices and the variance of the Liouvillian. We have also obtained the form of the Liouvillian, which generates the time-optimal (fastest) CPTP dynamics for given initial and final states. We give two important applications of our bounds. First, we show that the speed of evolution in Liouville space bounds the growth of the spectral form factor and Krylov complexity of states, which are crucial for studying information scrambling and quantum chaos. Second, using our bounds, we explain the Mpemba effect in non-equilibrium open quantum dynamics.


title: The Monge-Kantorovich problem on Wasserstein space

abstract: We consider the Monge-Kantorovich problem between two random measuress. More precisely, given probability measures $\mathbb{P}_1,\mathbb{P}_2\in\mathcal{P}(\mathcal{P}(M))$ on the space $\mathcal{P}(M)$ of probability measures on a smooth compact manifold, we study the optimal transport problem between $\mathbb{P}_1$ and $\mathbb{P}_2 $ where the cost function is given by the squared Wasserstein distance $W_2^2(\mu,\nu)$ between $\mu,\nu \in \mathcal{P}(M)$. Under appropriate assumptions on $\mathbb{P}_1$, we prove that there exists a unique optimal plan and that it takes the form of an optimal map. An extension of this result to cost functions of the form $h(W_2(\mu,\nu))$, for strictly convex and strictly increasing functions $h$, is also established. The proofs rely heavily on a recent result of Schiavo \cite{schiavo2020rademacher}, which establishes a version of Rademacher's theorem on Wasserstein space.


title: Schr\"odinger Unitary Cellular Automata

abstract: We propose a class of cellular automata for the Hamiltonian of a free particle. It is based on a two-step unitary evolution operator in discrete time and space. Various experiments with one and two-dimensional cellular automata are used to analyze 1) phase velocities of plane waves, 2) dispersion and group velocities of wavepackets, 3) energy levels of infinite potential wells and harmonic oscillators, and 4) interference from double-slit diffraction. Some of the differences between their known (analytical) results and the cellular-automata approximations are intriguing.


title: CS-Bench: A Comprehensive Benchmark for Large Language Models towards Computer Science Mastery

abstract: Computer Science (CS) stands as a testament to the intricacies of human intelligence, profoundly advancing the development of artificial intelligence and modern society. However, the current community of large language models (LLMs) overly focuses on benchmarks for analyzing specific foundational skills (e.g. mathematics and code generation), neglecting an all-round evaluation of the computer science field. To bridge this gap, we introduce CS-Bench, the first bilingual (Chinese-English) benchmark dedicated to evaluating the performance of LLMs in computer science. CS-Bench comprises approximately 5K meticulously curated test samples, covering 26 subfields across 4 key areas of computer science, encompassing various task forms and divisions of knowledge and reasoning. Utilizing CS-Bench, we conduct a comprehensive evaluation of over 30 mainstream LLMs, revealing the relationship between CS performance and model scales. We also quantitatively analyze the reasons for failures in existing LLMs and highlight directions for improvements, including knowledge supplementation and CS-specific reasoning. Further cross-capability experiments show a high correlation between LLMs' capabilities in computer science and their abilities in mathematics and coding. Moreover, expert LLMs specialized in mathematics and coding also demonstrate strong performances in several CS subfields. Looking ahead, we envision CS-Bench serving as a cornerstone for LLM applications in the CS field and paving new avenues in assessing LLMs' diverse reasoning capabilities. The CS-Bench data and evaluation code are available at https://github.com/csbench/csbench.


title: Composition Tracking for Collisions Between Differentiated Bodies in REBOUND

abstract: Previous research suggests that impacts between planetary embryos and planetesimals during the late stages of planet formation can often determine the percentages of core and mantle material that compose the newly formed planets in a system. Previous studies have attempted to include the composition-changing effects of these collisions in N-body simulations of planet formation, often as post-processing codes. In this paper, we present the Differentiated Body Composition Tracker, a new post-processing tool that uses collisional data collected from the N-body integrator REBOUND to determine the amount of core and mantle material that is transferred between colliding objects and the resulting fragments during an impact. We demonstrate how this code works using the data from 50 REBOUND simulations of planet formation and explore how the parameters in the code affect the core mass fractions of the remaining objects from these simulations. We then investigate how non-uniform distributions of core material across an initial disc affect the final core mass fractions of planets. Under ideal conditions, we find that a combination of giant impacts and planetary embryos enriched in core material could create some of the iron-rich planets that have been discovered.


title: FireBench: A High-fidelity Ensemble Simulation Framework for Exploring Wildfire Behavior and Data-driven Modeling

abstract: Background. Wildfire research uses ensemble methods to analyze fire behaviors and assess uncertainties. Nonetheless, current research methods are either confined to simple models or complex simulations with limits. Modern computing tools could allow for efficient, high-fidelity ensemble simulations. Aims. This study proposes a high-fidelity ensemble wildfire simulation framework for studying wildfire behavior, ML tasks, fire-risk assessment, and uncertainty analysis. Methods. In this research, we present a simulation framework that integrates the Swirl-Fire large-eddy simulation tool for wildfire predictions with the Vizier optimization platform for automated run-time management of ensemble simulations and large-scale batch processing. All simulations are executed on tensor-processing units to enhance computational efficiency. Key results. A dataset of 117 simulations is created, each with 1.35 billion mesh points. The simulations are compared to existing experimental data and show good agreement in terms of fire rate of spread. Computations are done for fire acceleration, mean rate of spread, and fireline intensity. Conclusions. Strong coupling between these 2 parameters are observed for the fire spread and intermittency. A critical Froude number that delineates fires from plume-driven to convection-driven is identified and confirmed with literature observations. Implications. The ensemble simulation framework is efficient in facilitating parametric wildfire studies.


title: Jet Flavour Tagging at FCC-ee with a Transformer-based Neural Network: DeepJetTransformer

abstract: Jet flavour tagging is crucial in experimental high-energy physics. A tagging algorithm, \texttt{DeepJetTransformer}, is presented, which exploits a transformer-based neural network that is substantially faster to train. The \texttt{DeepJetTransformer} network uses information from particle flow-style objects and secondary vertex reconstruction as is standard for $b$- and $c$-jet identification supplemented by additional information, such as reconstructed V$^0$s and $K^{\pm}/\pi^{\pm}$ discrimination, typically not included in tagging algorithms at the LHC. The model is trained as a multiclassifier to identify all quark flavours separately and performs excellently in identifying $b$- and $c$-jets. An $s$-tagging efficiency of $40\%$ can be achieved with a $10\%$ $ud$-jet background efficiency. The impact of including V$^0$s and $K^{\pm}/\pi^{\pm}$ discrimination is presented. The network is applied on exclusive $Z \to q\bar{q}$ samples to examine the physics potential and is shown to isolate $Z \to s\bar{s}$ events. Assuming all other backgrounds can be efficiently rejected, a $5\sigma$ discovery significance for $Z \to s\bar{s}$ can be achieved with an integrated luminosity of $60~\text{nb}^{-1}$, corresponding to less than a second of the FCC-ee run plan at the $Z$ resonance.


title: MEMO-QCD: Quantum Density Estimation through Memetic Optimisation for Quantum Circuit Design

abstract: This paper presents a strategy for efficient quantum circuit design for density estimation. The strategy is based on a quantum-inspired algorithm for density estimation and a circuit optimisation routine based on memetic algorithms. The model maps a training dataset to a quantum state represented by a density matrix through a quantum feature map. This training state encodes the probability distribution of the dataset in a quantum state, such that the density of a new sample can be estimated by projecting its corresponding quantum state onto the training state. We propose the application of a memetic algorithm to find the architecture and parameters of a variational quantum circuit that implements the quantum feature map, along with a variational learning strategy to prepare the training state. Demonstrations of the proposed strategy show an accurate approximation of the Gaussian kernel density estimation method through shallow quantum circuits illustrating the feasibility of the algorithm for near-term quantum hardware.


title: More Extreme Limits of Manifolds with Positive Scalar Curvature

abstract: In this article, we extend the example constructed in the paper by Sormani-Tian-Wang to build new examples that satisfy the assumptions of the conjecture by Gromov. Each of these new examples of sequence converges to a limit space with infinitely many poles in $\mathbb{S}^2$. These examples can be used to test various notions of weak scalar curvature.


title: Intelligent Multi-View Test Time Augmentation

abstract: In this study, we introduce an intelligent Test Time Augmentation (TTA) algorithm designed to enhance the robustness and accuracy of image classification models against viewpoint variations. Unlike traditional TTA methods that indiscriminately apply augmentations, our approach intelligently selects optimal augmentations based on predictive uncertainty metrics. This selection is achieved via a two-stage process: the first stage identifies the optimal augmentation for each class by evaluating uncertainty levels, while the second stage implements an uncertainty threshold to determine when applying TTA would be advantageous. This methodological advancement ensures that augmentations contribute to classification more effectively than a uniform application across the dataset. Experimental validation across several datasets and neural network architectures validates our approach, yielding an average accuracy improvement of 1.73% over methods that use single-view images. This research underscores the potential of adaptive, uncertainty-aware TTA in improving the robustness of image classification in the presence of viewpoint variations, paving the way for further exploration into intelligent augmentation strategies.


title: Limiting behaviour of Branching Processes and Online Social Networks

abstract: The literature considers multi-type Markov branching processes (BPs), where the offspring distribution depends only on the living (current) population. We analyse the total-current population-dependent BPs where the offspring distribution can also depend on the total (dead and living) population. Such a generalization is inspired by the need to accurately model content propagation over online social networks (OSNs). The key question investigated is the time-asymptotic proportion of the populations, which translates to the proportional visibility of the posts on the OSN. We provide the answer using a stochastic approximation (SA) technique, which has not been used in the existing BP literature. The analysis is derived using a non-trivial autonomous measurable ODE. Interestingly, we prove the possibility of a new limiting behaviour for the stochastic trajectory, named as hovering around. Such a result is not just new to the theory of BPs but also to the SA based literature. Later, we explore three new variants of BPs: (i) any living individual of a population can attack and acquire the living individuals of the other population, in addition to producing its offspring; (ii) the individuals can die due to abnormal circumstances, and not just at the completion of their lifetimes; (iii) the expected number of offspring decreases as the total-population increases, leading to the saturation of the total-population. Such variants aid in analysing unexplored aspects of content propagation over OSNs: (i) competition in advertisement posts for similar products; (ii) controlling fake-post propagation, while not affecting the sharing of real-post; (iii) impact of re-forwarding the posts. We also designed and analysed a participation (mean-field) game where the OSN lures the users with a reward-based scheme to provide their opinion about the actuality of the post (fake or real).


title: Approximating Maximum Matching Requires Almost Quadratic Time

abstract: We study algorithms for estimating the size of maximum matching. This problem has been subject to extensive research. For $n$-vertex graphs, Bhattacharya, Kiss, and Saranurak [FOCS'23] (BKS) showed that an estimate that is within $\varepsilon n$ of the optimal solution can be achieved in $n^{2-\Omega_\varepsilon(1)}$ time, where $n$ is the number of vertices. While this is subquadratic in $n$ for any fixed $\varepsilon > 0$, it gets closer and closer to the trivial $\Theta(n^2)$ time algorithm that reads the entire input as $\varepsilon$ is made smaller and smaller. In this work, we close this gap and show that the algorithm of BKS is close to optimal. In particular, we prove that for any fixed $\delta > 0$, there is another fixed $\varepsilon = \varepsilon(\delta) > 0$ such that estimating the size of maximum matching within an additive error of $\varepsilon n$ requires $\Omega(n^{2-\delta})$ time in the adjacency list model.


title: Whispering in the dark: faint X-ray emission from black holes with OB star companions

abstract: Context. Recent astrometric and spectroscopic surveys of OB stars have revealed a few stellar-mass black holes (BHs) with orbital periods as low as 10 days. No X-ray counterpart has been detected, due to the absence of a radiatively efficient accretion disk around the BH. Yet, dissipative processes in the hot, dilute and strongly magnetized plasma around the BH (so-called BH corona) can still lead to non-thermal X-ray emission (e.g. synchrotron). Aims. We determine the X-ray luminosity distribution from BH+OB star binaries up to orbital periods of a few thousand days. Methods. We use detailed binary evolution models computed with MESA for initial primary masses of 10-90 $M_{\odot}$ and orbital periods from 1-3000 d. The X-ray luminosity is computed for a broad range of radiative efficiencies. Results. We show that particle acceleration through magnetic reconnection can heat the BH corona. A substantial fraction of the gravitational potential energy from the accreted plasma is converted into non-thermal X-ray emission. Our population synthesis analysis predicts at least 28 (up to 72) BH+OB star binaries in the Large Magellanic Cloud (LMC) to produce X-ray luminosity above 10$^{31}$ erg$\,$s$^{-1}$, observable through focused Chandra observations. We identify a population of SB1 systems in the LMC and HD96670 in the Milky Way comprising O stars with unseen companions of masses above 2.3 $M_{\odot}$ that aligns well with our predictions. The predicted luminosities of the OB companions to these X-ray-emitting BHs are 10$^{4.5-5.5}$ $L_{\odot}$. Conclusions. These results make the case for long-time exposure in X-rays of the stellar-mass BH candidates identified around OB stars. It will constrain the underlying population of X-ray-faint BHs, the evolution from single to double degenerate binaries, and the progenitors of gravitational wave mergers. (Abridged)


title: Optimizing the auxetic behavior of anisotropic laminates

abstract: Anisotropic laminates with a negative Poisson's ratio for at least some directions are called auxetic. In this paper, we consider the conditions for optimizing the auxeticity of an orthotropic laminate, namely: for a laminate composed by a given material, (i) how to obtain the lowest, i.e. the highest negative, Poisson's ratio and (ii) how to maximize the auxetic zone, i.e. the set of directions where the Poisson's ratio is negative. It is shown that in both the cases the optimal solution is found on the boundary of the feasible domain and in particular that it can be obtained using angle-ply sequences of identical layers. The polar method with dimensionless moduli is employed for representing the anisotropic behavior of the laminate, which allows, on the one hand, to reduce the dimensionality of the problem and, on the other hand, to have an effective mathematical representation of anisotropy by dimensionless invariants.


title: Language Model Council: Benchmarking Foundation Models on Highly Subjective Tasks by Consensus

abstract: The rapid advancement of Large Language Models (LLMs) necessitates robust and challenging benchmarks. Leaderboards like Chatbot Arena rank LLMs based on how well their responses align with human preferences. However, many tasks such as those related to emotional intelligence, creative writing, or persuasiveness, are highly subjective and often lack majoritarian human agreement. Judges may have irreconcilable disagreements about what constitutes a better response. To address the challenge of ranking LLMs on highly subjective tasks, we propose a novel benchmarking framework, the Language Model Council (LMC). The LMC operates through a democratic process to: 1) formulate a test set through equal participation, 2) administer the test among council members, and 3) evaluate responses as a collective jury. We deploy a council of 20 newest LLMs on an open-ended emotional intelligence task: responding to interpersonal dilemmas. Our results show that the LMC produces rankings that are more separable, robust, and less biased than those from any individual LLM judge, and is more consistent with a human-established leaderboard compared to other benchmarks.


title: Canard explosions in turbulent thermo-fluid systems

abstract: A sudden transition to a state of high amplitude limit cycle oscillations is catastrophic in a thermo-fluid system. Conventionally, upon varying the control parameter, a sudden transition is observed as an abrupt jump in the amplitude of the fluctuations in these systems. In contrast, we present an experimental discovery of a canard explosion in a turbulent reactive flow system where we observe a continuous bifurcation with a rapid rise in the amplitude of the fluctuations within a narrow range of control parameters. The observed transition is facilitated via a state of bursting, consisting of the epochs of large amplitude periodic oscillations amidst the epochs of low amplitude periodic oscillations. The amplitude of the bursts is higher than the amplitude of the bursts of intermittency state in a conventional gradual transition, as reported in turbulent reactive flow systems. During the bursting state, we observe that temperature fluctuations of exhaust gas vary at a slower time scale in correlation with the amplitude envelope of the bursts. We also present a phenomenological model for thermoacoustic systems to describe the observed canard explosion. Using the model, we explain that the large amplitude bursts occur due to the slow-fast dynamics at the bifurcation regime of the canard explosion.


title: A Refinement of the McCreight-Meyer Union Theorem

abstract: Using properties of Blum complexity measures and certain complexity class operators, we exhibit a total computable and non-decreasing function $t_{\mathsf{poly}}$ such that for all $k$, $\Sigma_k\mathsf{P} = \Sigma_k\mathsf{TIME}(t_{\mathsf{poly}})$, $\mathsf{BPP} = \mathsf{BPTIME}(t_{\mathsf{poly}})$, $\mathsf{RP} = \mathsf{RTIME}(t_{\mathsf{poly}})$, $\mathsf{UP} = \mathsf{UTIME}(t_{\mathsf{poly}})$, $\mathsf{PP} = \mathsf{PTIME}(t_{\mathsf{poly}})$, $\mathsf{Mod}_k\mathsf{P} = \mathsf{Mod}_k\mathsf{TIME}(t_{\mathsf{poly}})$, $\mathsf{PSPACE} = \mathsf{DSPACE}(t_{\mathsf{poly}})$, and so forth. A similar statement holds for any collection of language classes, provided that each class is definable by applying a certain complexity class operator to some Blum complexity class.


title: Mental intervention in quantum scattering of ions without violating conservation laws

abstract: There have been several proposals in the past that mind might influence matter by exploiting the randomness of quantum events. Here, calculations are presented how mental selection of quantum mechanical scattering directions of ions in the axon hillock of neuronal cells could influence diffusion and initiate an action potential. Only a few thousand ions would need to be affected. No conservation laws are violated, but a momentary and very small local decrease of temperature should occur, consistent with a quantum mechanically possible but extremely improbable evolution. An estimate of the concurrent violation of the second law of thermodynamics is presented. Some thoughts are given to how this hypothesized mental intervention could be tested.


title: Interpolation in Weighted Projective Spaces

abstract: Over an algebraically closed field, the $\textit{double point interpolation}$ problem asks for the vector space dimension of the projective hypersurfaces of degree $d$ singular at a given set of points. After being open for 90 years, a series of papers by J. Alexander and A. Hirschowitz in 1992--1995 settled this question in what is referred to as the Alexander-Hirschowitz theorem. In this paper we primarily use commutative algebra to lay the groundwork necessary to prove analogous statements in the $\textit{weighted projective space}$, a natural generalization of the projective space. We show the Hilbert function of general simple points in any $n$-dimensional weighted projective space exhibits the expected behavior. We give an inductive procedure for weighted projective space, similar to that originally due to A. Terracini from 1915, to demonstrate an example of a weighted projective plane where the analogue of the Alexander-Hirschowitz theorem holds without exceptions. We further adapt Terracini's lemma regarding secant varieties to give an interpolation bound for an infinite family of weighted projective planes.


title: FakeInversion: Learning to Detect Images from Unseen Text-to-Image Models by Inverting Stable Diffusion

abstract: Due to the high potential for abuse of GenAI systems, the task of detecting synthetic images has recently become of great interest to the research community. Unfortunately, existing image-space detectors quickly become obsolete as new high-fidelity text-to-image models are developed at blinding speed. In this work, we propose a new synthetic image detector that uses features obtained by inverting an open-source pre-trained Stable Diffusion model. We show that these inversion features enable our detector to generalize well to unseen generators of high visual fidelity (e.g., DALL-E 3) even when the detector is trained only on lower fidelity fake images generated via Stable Diffusion. This detector achieves new state-of-the-art across multiple training and evaluation setups. Moreover, we introduce a new challenging evaluation protocol that uses reverse image search to mitigate stylistic and thematic biases in the detector evaluation. We show that the resulting evaluation scores align well with detectors' in-the-wild performance, and release these datasets as public benchmarks for future research.


title: GRU-Net for breast histopathology image segmentation

abstract: Breast cancer is a major global health concern. Pathologists face challenges in analyzing complex features from pathological images, which is a time-consuming and labor-intensive task. Therefore, efficient computer-based diagnostic tools are needed for early detection and treatment planning. This paper presents a modified version of MultiResU-Net for histopathology image segmentation, which is selected as the backbone for its ability to analyze and segment complex features at multiple scales and ensure effective feature flow via skip connections. The modified version also utilizes the Gaussian distribution-based Attention Module (GdAM) to incorporate histopathology-relevant text information in a Gaussian distribution. The sampled features from the Gaussian text feature-guided distribution highlight specific spatial regions based on prior knowledge. Finally, using the Controlled Dense Residual Block (CDRB) on skip connections of MultiResU-Net, the information is transferred from the encoder layers to the decoder layers in a controlled manner using a scaling parameter derived from the extracted spatial features. We validate our approach on two diverse breast cancer histopathology image datasets: TNBC and MonuSeg, demonstrating superior segmentation performance compared to state-of-the-art methods. The code for our proposed model is available on https://github.com/AyushRoy2001/GRU-Net.


title: Perils of current DAO governance

abstract: DAO Governance is currently broken. We survey the state of the art and find worrying conclusions. Vote buying, vote selling and coercion are easy. The wealthy rule, decentralisation is a myth. Hostile take-overs are incentivised. Ballot secrecy is non-existent or short lived, despite being a human right. Verifiablity is achieved at the expense of privacy. These privacy concerns are highlighted with case study analyses of Vocdoni's governance protocol. This work presents two contributions: firstly a review of current DAO governance protocols, and secondly, an illustration of their vulnerabilities, showcasing the privacy and security threats these entail.


title: End-to-End Argument Mining as Augmented Natural Language Generation

abstract: Argument Mining (AM) is a crucial aspect of computational argumentation, which deals with the identification and extraction of Argumentative Components (ACs) and their corresponding Argumentative Relations (ARs). Most prior works have solved these problems by dividing them into multiple subtasks. And the available end-to-end setups are mostly based on the dependency parsing approach. This work proposes a unified end-to-end framework based on a generative paradigm, in which the argumentative structures are framed into label-augmented text, called Augmented Natural Language (ANL). Additionally, we explore the role of different types of markers in solving AM tasks. Through different marker-based fine-tuning strategies, we present an extensive study by integrating marker knowledge into our generative model. The proposed framework achieves competitive results to the state-of-the-art (SoTA) model and outperforms several baselines.


title: Reversing the Forget-Retain Objectives: An Efficient LLM Unlearning Framework from Logit Difference

abstract: As Large Language Models (LLMs) demonstrate extensive capability in learning from documents, LLM unlearning becomes an increasingly important research area to address concerns of LLMs in terms of privacy, copyright, etc. A conventional LLM unlearning task typically involves two goals: (1) The target LLM should forget the knowledge in the specified forget documents, and (2) it should retain the other knowledge that the LLM possesses, for which we assume access to a small number of retain documents. To achieve both goals, a mainstream class of LLM unlearning methods introduces an optimization framework with a combination of two objectives - maximizing the prediction loss on the forget documents while minimizing that on the retain documents, which suffers from two challenges, degenerated output and catastrophic forgetting. In this paper, we propose a novel unlearning framework called Unlearning from Logit Difference (ULD), which introduces an assistant LLM that aims to achieve the opposite of the unlearning goals: remembering the forget documents and forgetting the retain knowledge. ULD then derives the unlearned LLM by computing the logit difference between the target and the assistant LLMs. We show that such reversed objectives would naturally resolve both aforementioned challenges while significantly improving the training efficiency. Extensive experiments demonstrate that our method efficiently achieves the intended forgetting while preserving the LLM's overall capabilities, reducing training time by more than threefold. Notably, our method loses 0% of model utility on the ToFU benchmark, whereas baseline methods may sacrifice 17% of utility on average to achieve comparable forget quality. Our code will be publicly available at https://github.com/UCSB-NLP-Chang/ULD.


title: Integral representation and approximation of L-functions associated to Hecke cusp eigenforms

abstract: We derive a family of approximations for L-functions of Hecke cusp eigenforms, according to a recipe first described by Matiyasevich for the Riemann xi function. We show that these approximations converge to the true L-function, and along the way we demonstrate error formulas which may be used to investigate analytic properties of the L-function and its derivatives. Together with the Euler product expansion of the L-function, the family of approximations also encodes some of the key features of the L-function such as its functional equation. Finally, we derive via Mellin transforms a convolution-type formula which leads to precise error bounds in terms of the incomplete gamma function. This formula can be interpreted as an alternative definition for the approximation and sheds light on Matiyasevich's procedure.


title: Fixed hooks in arbitrary columns

abstract: In a paper by the author, Hemmer, Hopkins, and Keith the concept of a fixed point in a sequence was applied to the sequence of first column hook lengths of a partition. In this paper we generalize this notion to fixed hook lengths in an arbitrary column of a partition. We establish combinatorial connections between these fixed hooks and colored partitions that have interesting gap and mex-like conditions. Additionally, we obtain several generating functions for hook lengths of a given fixedness by hook length or part size in unrestricted partitions as well as some classical restrictions such as odd and distinct partitions.


title: LayeredDoc: Domain Adaptive Document Restoration with a Layer Separation Approach

abstract: The rapid evolution of intelligent document processing systems demands robust solutions that adapt to diverse domains without extensive retraining. Traditional methods often falter with variable document types, leading to poor performance. To overcome these limitations, this paper introduces a text-graphic layer separation approach that enhances domain adaptability in document image restoration (DIR) systems. We propose LayeredDoc, which utilizes two layers of information: the first targets coarse-grained graphic components, while the second refines machine-printed textual content. This hierarchical DIR framework dynamically adjusts to the characteristics of the input document, facilitating effective domain adaptation. We evaluated our approach both qualitatively and quantitatively using a new real-world dataset, LayeredDocDB, developed for this study. Initially trained on a synthetically generated dataset, our model demonstrates strong generalization capabilities for the DIR task, offering a promising solution for handling variability in real-world data. Our code is accessible on GitHub.


title: Technical requirements flow-down for the concept design of the novel 50-meter Atacama Large Aperture Submm Telescope (AtLAST)

abstract: The Atacama Large Aperture Submm Telescope (AtLAST) is a concept for a novel 50-meter class single-dish telescope operating at sub-millimeter and millimeter wavelengths (30-950 GHz). The telescope will provide an unprecedentedly wide field of view (FoV) of 1-2 degree diameter with a large receiver cabin housing six major instruments in Nasmyth and Cassegrain positions. The high observing frequencies, combined with the scanning operation movements with up to 3 deg/second, place high demands on the accuracy and stability of the optical and structural components. The design features the introduction of a rocking chair type mount with an iso-statically decoupled main reflector backup structure and an active main reflector surface with a high precision metrology system. The planned site location is in the Chilean Atacama Desert at approximately 5050 meters above sea level, near Llano de Chajnantor. This paper gives an overview of the optical, structural, and mechanical design concepts. It explains the flow-down from key science requirements to technical design decisions as well as showing design analogies from other existing large radio, (sub-)mm, and optical telescopes.


title: Observation of Declination Dependence in the Cosmic Ray Energy Spectrum

abstract: We report on an observation of the difference between northern and southern skies of the ultrahigh energy cosmic ray energy spectrum with a significance of ${\sim}8\sigma$. We use measurements from the two largest experiments$\unicode{x2014}$the Telescope Array observing the northern hemisphere and the Pierre Auger Observatory viewing the southern hemisphere. Since the comparison of two measurements from different observatories introduces the issue of possible systematic differences between detectors and analyses, we validate the methodology of the comparison by examining the region of the sky where the apertures of the two observatories overlap. Although the spectra differ in this region, we find that there is only a $1.8\sigma$ difference between the spectrum measurements when anisotropic regions are removed and a fiducial cut in the aperture is applied.


title: Some applications of canonical metrics to Landau-Ginzburg models

abstract: It is known that a given smooth del Pezzo surface or Fano threefold $X$ admits a choice of log Calabi-Yau compactified mirror toric Landau-Ginzburg model (with respect to certain fixed K\"ahler classes and Gorenstein toric degenerations). Here we consider the problem of constructing a corresponding map $\Theta$ from a domain in the complexified K\"ahler cone of $X$ to a well-defined, separated moduli space $\mathfrak{M}$ of polarised manifolds endowed with a canonical metric. We prove a complete result for del Pezzos and a partial result for some special Fano threefolds. The construction uses some fundamental results in the theory of constant scalar curvature K\"ahler metrics. As a consequence $\mathfrak{M}$ parametrises $K$-stable manifolds and the domain of $\Theta$ is endowed with the pullback of a Weil-Petersson form.


title: Percolation with random one-dimensional reinforcements

abstract: We study inhomogeneous Bernoulli bond percolation on the graph $G \times \mathbb{Z}$, where $G$ is a connected quasi-transitive graph. The inhomogeneity is introduced through a random region $R$ around the origin axis $\{0\}\times\mathbb{Z}$, where each edge in $R$ is open with probability $q$ and all other edges are open with probability $p$. When the region $R$ is defined by stacking or overlapping boxes with random radii centered along the origin axis, we derive conditions on the moments of the radii, based on the growth properties of $G$, so that for any subcritical $p$ and any $q<1$, the non-percolative phase persists.


title: Perfect Matchings and Essential Spanning Forests in Hyperbolic Double Circle Packings

abstract: We investigate perfect matchings and essential spanning forests in planar hyperbolic graphs. Using the double circle packing for a pair of dual graphs, we relate the inverse of the weighted adjacency matrix to the difference of Green's functions plus an explicit harmonic Dirichlet function. We prove that the infinite-volume Gibbs measure obtained from approximations by finite domains with exactly two convex white corners converging to two distinct points along the boundary is extremal, yet not invariant with respect to a finite-orbit subgroup of the automorphism group. We then prove that the variance of the height difference of two i.i.d.~uniformly weighted perfect matchings under the boundary condition above, or the Temperley boundary condition on a transitive nonamenable planar graph is always finite; in contrast to the 2D uniformly weighted dimer model on a transitive amenable planar graph with Temperley boundary conditions as proved in \cite{RK01,KOS06}, where the variance of height difference grows in the order of $\log n$, with $n$ being the graph distance to the boundary. This also implies that a.s.~each point is surronded by finitely many cycles in the symmetric difference of two i.i.d.~perfect matchings, also in contrast to the 2D Euclidean case.


title: Enhancing Path Selections with Interference Graphs in Multihop Relay Wireless Networks

abstract: The multihop relay wireless networks have gained traction due to the emergence of Reconfigurable Intelligent Surfaces (RISs) which can be used as relays in high frequency range wireless network, including THz or mmWave. To select paths in these networks, the transmission performance plays the key network in these networks. In this paper, we enhance and greatly simplify the path selection in multihop relay RIS enabled wireless networks with what we refer to as interference graphs. Interference graphs are created based on SNR model, conical and cylindrical beam shapes in the transmission and the related interference model. Once created, they can be simply and efficiently used to select valid paths, without overestimation of the effect of interference. The results show that decreased ordering of conflict selections in the graphs yields the best results, as compared to conservative approach that tolerates no interference.


title: Satellite Drag Analysis During the May 2024 Geomagnetic Storm

abstract: Between May 10-12, 2024, Earth saw its largest geomagnetic storm in over 20 years. Since the last major storm in 2003, the population of satellites in low Earth orbit has surged following the commercialization of space services and the ongoing establishment of proliferated LEO constellations. In this note, we investigate the various impacts of the geomagnetic storm on satellite operations. A forecast performance assessment of the geomagnetic index ap shows that the magnitude and duration of the storm were poorly predicted, even one day in advance. Total mass density enhancements in the thermosphere are identified by tracking satellite drag decay characteristics. A history of two-line element (TLE) data from the entire NORAD catalog in LEO is used to observe large-scale trends. Better understanding how geomagnetic storms impact satellite operations is critical for maintaining satellite safety and ensuring long-term robust sustainability in LEO.


title: A thermodynamic approach to adhesion and deformation of DNA-bound droplets

abstract: Here we derive and experimentally test a free energy functional that captures the adhesion of DNA-coated emulsion droplets. Generalizing previous approaches, the theory combines important energetic and entropic effects of microscopic DNA mechanics and droplet elasticity. It simultaneously predicts adhesion size, morphology, and binder concentration as a function of experimental control parameters. Notably, droplets transition from undeformed binding to flat droplet interfaces at a characteristic DNA coverage. These equilibrium predictions agree quantitatively with experiments on droplet-substrate and droplet-droplet binding, revealing a weak effective binding strength of $3.7\pm0.3\text{k}_{\text{B}}\text{T}$ owing to entropic costs. Our results open the path to rich design strategies for making colloidal architectures.


title: Self-Supervised Speech Representations are More Phonetic than Semantic

abstract: Self-supervised speech models (S3Ms) have become an effective backbone for speech applications. Various analyses suggest that S3Ms encode linguistic properties. In this work, we seek a more fine-grained analysis of the word-level linguistic properties encoded in S3Ms. Specifically, we curate a novel dataset of near homophone (phonetically similar) and synonym (semantically similar) word pairs and measure the similarities between S3M word representation pairs. Our study reveals that S3M representations consistently and significantly exhibit more phonetic than semantic similarity. Further, we question whether widely used intent classification datasets such as Fluent Speech Commands and Snips Smartlights are adequate for measuring semantic abilities. Our simple baseline, using only the word identity, surpasses S3M-based models. This corroborates our findings and suggests that high scores on these datasets do not necessarily guarantee the presence of semantic content.


title: Proton-air interactions at ultra-high energies in muon-depleted air showers with different depths

abstract: The hardness of the energy spectrum of neutral pions produced in proton-air interactions at ultra-high energies, above $10^{18}$ eV, is constrained by the steepness of the shower-to-shower distribution of the number of muons in muon-depleted extensive air showers. In this work, we find that this steepness, quantified by the parameter $\Lambda_\mu$, evolves with the depth of the shower maximum, $X_{\max}$, assuming a universal value for shallow showers and an enhanced dependence on the high-energy hadronic interaction model for deep showers. We show that Xmax probes the so-called hadronic activity of the first interaction, thus allowing direct access to the energy spectrum of neutral pions in different regions of the kinematic phase space of the first interaction. We verify that the unbiased measurement of $\Lambda_\mu$ is possible for realistic mass composition expectations. Finally, we infer that the statistical precision in $\Lambda_\mu$ required to distinguish between hadronic interaction models can be achieved in current extensive air shower detectors, given their resolution and exposure.


title: On the extension problems for three 33-stem homotopy groups and unstable matrix Toda brackets

abstract: This paper first tackles the extension problems for the far-unsatble homotopy groups $\pi_{39}(S^{6})$, $\pi_{40}(S^{7})$, and $\pi_{41}(S^{8})$ localized at 2, the puzzles having remained unsolved for forty-five years. Then we give an unstable approach of the May-Lawrences matrix Toda bracket, which becomes a useful tool for the theory of determinations of unstable homotopy groups.


title: The SDSS-V Black Hole Mapper Reverberation Mapping Project: CIV BAL Acceleration in the Quasar SBS 1408+544

abstract: We present the results of an investigation of a highly variable CIV broad absorption-line feature in the quasar SBS 1408+544 (z=2.337) that shows a significant shift in velocity over time. This source was observed as a part of the Sloan Digital Sky Survey Reverberation Mapping Project and the SDSS-V Black Hole Mapper Reverberation Mapping Project, and has been included in two previous studies, both of which identified significant variability in a high-velocity CIV broad absorption line (BAL) on timescales of just a few days in the quasar rest frame. Using ~130 spectra acquired over eight years of spectroscopic monitoring with SDSS, we have determined that this BAL is not only varying in strength, but is also systematically shifting to higher velocities. Using cross-correlation methods, we measure the velocity shifts (and corresponding acceleration) of the BAL on a wide range of timescales, measuring an overall velocity shift of delta v = -683 (+89, -84) km s-1 over the 8-year monitoring period. This corresponds to an average rest-frame acceleration of a=1.04 (+0.14, -0.13) cm s-2, though the magnitude of the acceleration on shorter timescales is not constant throughout. We place our measurements in the context of BAL-acceleration models and examine various possible causes of the observed velocity shift.


title: Emotion Manipulation Through Music -- A Deep Learning Interactive Visual Approach

abstract: Music evokes emotion in many people. We introduce a novel way to manipulate the emotional content of a song using AI tools. Our goal is to achieve the desired emotion while leaving the original melody as intact as possible. For this, we create an interactive pipeline capable of shifting an input song into a diametrically opposed emotion and visualize this result through Russel's Circumplex model. Our approach is a proof-of-concept for Semantic Manipulation of Music, a novel field aimed at modifying the emotional content of existing music. We design a deep learning model able to assess the accuracy of our modifications to key, SoundFont instrumentation, and other musical features. The accuracy of our model is in-line with the current state of the art techniques on the 4Q Emotion dataset. With further refinement, this research may contribute to on-demand custom music generation, the automated remixing of existing work, and music playlists tuned for emotional progression.


title: A Sublinear Algorithm for Approximate Shortest Paths in Large Networks

abstract: Computing distances and finding shortest paths in massive real-world networks is a fundamental algorithmic task in network analysis. There are two main approaches to solving this task. On one hand are traversal-based algorithms like bidirectional breadth-first search (BiBFS) with no preprocessing step and slow individual distance inquiries. On the other hand are indexing-based approaches, which maintain a large index. This allows for answering individual inquiries very fast; however, index creation is prohibitively expensive. We seek to bridge these two extremes: quickly answer distance inquiries without the need for costly preprocessing. In this work, we propose a new algorithm and data structure, WormHole, for approximate shortest path computations. WormHole leverages structural properties of social networks to build a sublinearly sized index, drawing upon the explicit core-periphery decomposition of Ben-Eliezer et al. Empirically, the preprocessing time of WormHole improves upon index-based solutions by orders of magnitude, and individual inquiries are consistently much faster than in BiBFS. The acceleration comes at the cost of a minor accuracy trade-off. Nonetheless, our empirical evidence demonstrates that WormHole accurately answers essentially all inquiries within a maximum additive error of 2. We complement these empirical results with provable theoretical guarantees, showing that WormHole requires $n^{o(1)}$ node queries per distance inquiry in random power-law networks. In contrast, any approach without a preprocessing step requires $n^{\Omega(1)}$ queries for the same task. WormHole does not require reading the whole graph. Unlike the vast majority of index-based algorithms, it returns paths, not just distances. For faster inquiry times, it can be combined effectively with other index-based solutions, by running them only on the sublinear core.


title: FSBI: Deepfakes Detection with Frequency Enhanced Self-Blended Images

abstract: Advances in deepfake research have led to the creation of almost perfect manipulations undetectable by human eyes and some deepfakes detection tools. Recently, several techniques have been proposed to differentiate deepfakes from realistic images and videos. This paper introduces a Frequency Enhanced Self-Blended Images (FSBI) approach for deepfakes detection. This proposed approach utilizes Discrete Wavelet Transforms (DWT) to extract discriminative features from the self-blended images (SBI) to be used for training a convolutional network architecture model. The SBIs blend the image with itself by introducing several forgery artifacts in a copy of the image before blending it. This prevents the classifier from overfitting specific artifacts by learning more generic representations. These blended images are then fed into the frequency features extractor to detect artifacts that can not be detected easily in the time domain. The proposed approach has been evaluated on FF++ and Celeb-DF datasets and the obtained results outperformed the state-of-the-art techniques with the cross-dataset evaluation protocol.


title: Safety-Driven Battery Charging: A Fisher Information-guided Adaptive MPC with Real-time Parameter Identification

abstract: Lithium-ion (Li-ion) batteries are ubiquitous in modern energy storage systems, highlighting the critical need to comprehend and optimize their performance. Yet, battery models often exhibit poor parameter identifiability which hinders the development of effective battery management strategies and impacts their overall performance, longevity, and safety. This manuscript explores the integration of Fisher Information (FI) theory with Model Predictive Control (MPC) for battery charging. The study addresses the inherent hurdles in accurately estimating battery model parameters due to nonlinear dynamics and uncertainty. Our proposed method aims to ensure safe battery charging and enhance real-time parameter estimation capabilities by leveraging adaptive control strategies guided by FI metrics. Simulation results underscore the effectiveness of our approach in mitigating parameter identifiability issues, offering promising solutions for improving the control of batteries during safe charging process.


title: Time-MMD: A New Multi-Domain Multimodal Dataset for Time Series Analysis

abstract: Time series data are ubiquitous across a wide range of real-world domains. While real-world time series analysis (TSA) requires human experts to integrate numerical series data with multimodal domain-specific knowledge, most existing TSA models rely solely on numerical data, overlooking the significance of information beyond numerical series. This oversight is due to the untapped potential of textual series data and the absence of a comprehensive, high-quality multimodal dataset. To overcome this obstacle, we introduce Time-MMD, the first multi-domain, multimodal time series dataset covering 9 primary data domains. Time-MMD ensures fine-grained modality alignment, eliminates data contamination, and provides high usability. Additionally, we develop MM-TSFlib, the first multimodal time-series forecasting (TSF) library, seamlessly pipelining multimodal TSF evaluations based on Time-MMD for in-depth analyses. Extensive experiments conducted on Time-MMD through MM-TSFlib demonstrate significant performance enhancements by extending unimodal TSF to multimodality, evidenced by over 15% mean squared error reduction in general, and up to 40% in domains with rich textual data. More importantly, our datasets and library revolutionize broader applications, impacts, research topics to advance TSA. The dataset and library are available at https://github.com/AdityaLab/Time-MMD and https://github.com/AdityaLab/MM-TSFlib.


title: Empirical Evidence That There Is No Such Thing As A Validated Prediction Model

abstract: Background: External validations are essential to assess clinical prediction models (CPMs) before deployment. Apart from model misspecification, differences in patient population and other factors influence a model's AUC (c-statistic). We aimed to quantify variation in AUCs across external validation studies and adjust expectations of a model's performance in a new setting. Methods: The Tufts-PACE CPM Registry contains CPMs for cardiovascular disease prognosis. We analyzed the AUCs of 469 CPMs with a total of 1,603 external validations. For each CPM, we performed a random effects meta-analysis to estimate the between-study standard deviation $\tau$ among the AUCs. Since the majority of these meta-analyses has only a handful of validations, this leads to very poor estimates of $\tau$. So, we estimated a log normal distribution of $\tau$ across all CPMs and used this as an empirical prior. We compared this empirical Bayesian approach with frequentist meta-analyses using cross-validation. Results: The 469 CPMs had a median of 2 external validations (IQR: [1-3]). The estimated distribution of $\tau$ had a mean of 0.055 and a standard deviation of 0.015. If $\tau$ = 0.05, the 95% prediction interval for the AUC in a new setting is at least +/- 0.1, regardless of the number of validations. Frequentist methods underestimate the uncertainty about the AUC in a new setting. Accounting for $\tau$ in a Bayesian approach achieved near nominal coverage. Conclusion: Due to large heterogeneity among the validated AUC values of a CPM, there is great irreducible uncertainty in predicting the AUC in a new setting. This uncertainty is underestimated by existing methods. The proposed empirical Bayes approach addresses this problem which merits wide application in judging the validity of prediction models.


title: Hochschild homology for log schemes

abstract: We extend the notions of Hochschild and cyclic homology to morphisms from algebraic spaces to algebraic stacks. Using this, we obtain generalizations to log schemes in the sense of Fontaine and Illusie of these homology theories.


title: The neutron-star merger delay-time distribution, r-process "knees", and the metal budget of the Galaxy

abstract: For a sample of 18 recycled millisecond pulsars (rMSPs) that are in double neutron star (DNS) systems, and 42 rMSPs that are not in DNS pairs, we analyze the distributions of the characteristic age, $\tau_c$, and the time until merger of the double systems, $\tau_{\rm gw}$. Based on the $\tau_c$ distribution of non-DNS rMSPs, we argue that $\tau_c$ is a reasonable estimator of true pulsar age and that rMSPs are active as pulsars for a long (~Hubble) time. Among the DNSs there is an excess of young systems (small $\tau_c$) with short life expectancy (small $\tau_{\rm gw}$) compared to model expectations for the distributions of $\tau_c$ and $\tau_{\rm gw}$ if, at birth, DNSs have a delay-time distribution (DTD) of the form $t^{-1}$ (expected generically for close binaries), or for that matter, from expectations from any single power-law DTD. A two-population DNS model solves the problem: the data are best fit by the combination of a "fast" population with DTD going as $t^{-1.9\pm0.4}$, and a "slow" population of DNSs, with DTD proportional to $t^{-1.1\pm0.15}$. The fast population can be equivalently represented by a DTD with an exponential cutoff beyond t~300 Myr. The fast population completely dominates, by a factor A~10-100, the numbers of DNSs that merge within a Hubble time, and that presumably lead to short gamma-ray bursts and kilonova explosions. With a simple, empirically based, chemical-evolution calculation, we show that the fast/steep kilonova DTD, convolved with the measured star-formation history of the Milky Way's thick-disk population, naturally reproduces the "knee" structure seen in abundance-ratio diagrams of thick-disk stars, for europium and two other r-process elements. As a corollary we show, based again solely on empirical input, that the Milky Way is nearly a "closed box" that has retained at least ~70-90% of the metals produced over the Galaxy's lifetime.


title: Chemical Timescale Effects on Detonation Convergence

abstract: Numerical simulations of detonation-containing flows have emerged as crucial tools for designing next-generation power and propulsion devices. As these tools mature, it is important for the combustion community to properly understand and isolate grid resolution effects when simulating detonations. To this end, this work provides a comprehensive analysis of the numerical convergence of unsteady detonation simulations, with focus on isolating the impacts of chemical timescale modifications on convergence characteristics in the context of operator splitting. With the aid of an adaptive mesh refinement based flow solver, the convergence analysis is conducted using two kinetics configurations: (1) a simplified three-step model mechanism, in which chemical timescales in the detonation are modified by adjusting activation energies, and (2) a detailed hydrogen mechanism, in which chemical timescales are adjusted through ambient pressure modifications. The convergence of unsteady self-sustained detonations in one-dimensional channels is then analyzed with reference to steady-state theoretical baseline solutions using these mechanisms. The goal of the analysis is to provide a detailed comparison of the effects of grid resolution on both macroscopic (peak pressures and detonation wave speeds) and microscopic (detonation wave structure) quantities of interest, drawing connections between the deviations from steady-state baselines and minimum chemical timescales. This work uncovers resolution-dependent unsteady detonation regimes, and highlights the important role played by not only the chemical timescales, but also the ratio between chemical and induction timescales in the detonation wave structure on simulation convergence properties.


title: Coupled Ocean-Atmosphere Dynamics in a Machine Learning Earth System Model

abstract: Seasonal climate forecasts are socioeconomically important for managing the impacts of extreme weather events and for planning in sectors like agriculture and energy. Climate predictability on seasonal timescales is tied to boundary effects of the ocean on the atmosphere and coupled interactions in the ocean-atmosphere system. We present the Ocean-linked-atmosphere (Ola) model, a high-resolution (0.25{\deg}) Artificial Intelligence/ Machine Learning (AI/ML) coupled earth-system model which separately models the ocean and atmosphere dynamics using an autoregressive Spherical Fourier Neural Operator architecture, with a view towards enabling fast, accurate, large ensemble forecasts on the seasonal timescale. We find that Ola exhibits learned characteristics of ocean-atmosphere coupled dynamics including tropical oceanic waves with appropriate phase speeds, and an internally generated El Ni\~no/Southern Oscillation (ENSO) having realistic amplitude, geographic structure, and vertical structure within the ocean mixed layer. We present initial evidence of skill in forecasting the ENSO which compares favorably to the SPEAR model of the Geophysical Fluid Dynamics Laboratory.


title: Unraveling Code-Mixing Patterns in Migration Discourse: Automated Detection and Analysis of Online Conversations on Reddit

abstract: The surge in global migration patterns underscores the imperative of integrating migrants seamlessly into host communities, necessitating inclusive and trustworthy public services. Despite the Nordic countries' robust public sector infrastructure, recent immigrants often encounter barriers to accessing these services, exacerbating social disparities and eroding trust. Addressing digital inequalities and linguistic diversity is paramount in this endeavor. This paper explores the utilization of code-mixing, a communication strategy prevalent among multilingual speakers, in migration-related discourse on social media platforms such as Reddit. We present Ensemble Learning for Multilingual Identification of Code-mixed Texts (ELMICT), a novel approach designed to automatically detect code-mixed messages in migration-related discussions. Leveraging ensemble learning techniques for combining multiple tokenizers' outputs and pre-trained language models, ELMICT demonstrates high performance (with F1 more than 0.95) in identifying code-mixing across various languages and contexts, particularly in cross-lingual zero-shot conditions (with avg. F1 more than 0.70). Moreover, the utilization of ELMICT helps to analyze the prevalence of code-mixing in migration-related threads compared to other thematic categories on Reddit, shedding light on the topics of concern to migrant communities. Our findings reveal insights into the communicative strategies employed by migrants on social media platforms, offering implications for the development of inclusive digital public services and conversational systems. By addressing the research questions posed in this study, we contribute to the understanding of linguistic diversity in migration discourse and pave the way for more effective tools for building trust in multicultural societies.


title: Unveiling Incomplete Modality Brain Tumor Segmentation: Leveraging Masked Predicted Auto-Encoder and Divergence Learning

abstract: Brain tumor segmentation remains a significant challenge, particularly in the context of multi-modal magnetic resonance imaging (MRI) where missing modality images are common in clinical settings, leading to reduced segmentation accuracy. To address this issue, we propose a novel strategy, which is called masked predicted pre-training, enabling robust feature learning from incomplete modality data. Additionally, in the fine-tuning phase, we utilize a knowledge distillation technique to align features between complete and missing modality data, simultaneously enhancing model robustness. Notably, we leverage the Holder pseudo-divergence instead of the KLD for distillation loss, offering improve mathematical interpretability and properties. Extensive experiments on the BRATS2018 and BRATS2020 datasets demonstrate significant performance enhancements compared to existing state-of-the-art methods.


title: The turbulent life of NGC 4696 as told by its globular cluster system

abstract: In this work we perform the photometric analysis of the globular cluster system (GCS) of the giant elliptical NGC4696, which is the brightest member of Centaurus, a rich and dynamically young galaxy cluster. We obtained deep Magellan 6.5 m/MegaCam (g', r', i') photometry, with which we identified a sample of 3818 stellar clusters around NGC4696 that were analyzed in the context of possible interactions and its assembly history. After carefully modeling and subtracting the galaxy light, we used selection criteria based on the shape, colors, and magnitudes to identify GC candidates. We find a number of features that indicate a disturbed GCS that points toward a complex evolution with other neighboring members of Centaurus. Formally, two subpopulations could be found at (g'-i')_0 = 0.763 $\pm$ 0.004 and (g'-i')_0=1.012 $\pm$ 0.004. Moreover, the color distribution does not show the presence of a significant blue tilt, but it presents a trend with the radius, where at small galactocentric distances a unimodal distribution is preferable to a bimodal one, suggesting the presence of an intermediate GC population. Besides the color distribution, the metallicity distribution also shows a bimodal trend, with peaks at [Fe/H]=-1.363 $\pm$ 0.010 and [Fe/H]=-0.488 $\pm$ 0.012. The radial density profiles show different slopes for the blue and red populations and the azimuthal distributions are well fitted by an asymmetrical sinusoidal function, with peaks projecting toward two nearby galaxies, NGC4696B and NGC4709, indicating past interactions among these three galaxies. Finally, we derived a GC specific frequency of S_N=6.8 $\pm$ 0.9, in good agreement with the values obtained for other giant ellipticals and with previously estimated S_N of NGC4696. All these results point toward a complex GCS, strongly influenced by the interaction history of NGC4696 with the other galaxies of the Centaurus cluster.


title: Towards Integrating Personal Knowledge into Test-Time Predictions

abstract: Machine learning (ML) models can make decisions based on large amounts of data, but they can be missing personal knowledge available to human users about whom predictions are made. For example, a model trained to predict psychiatric outcomes may know nothing about a patient's social support system, and social support may look different for different patients. In this work, we introduce the problem of human feature integration, which provides a way to incorporate important personal-knowledge from users without domain expertise into ML predictions. We characterize this problem through illustrative user stories and comparisons to existing approaches; we formally describe this problem in a way that paves the ground for future technical solutions; and we provide a proof-of-concept study of a simple version of a solution to this problem in a semi-realistic setting.


title: A Game Between Two Identical Dubins Cars: Evading a Conic Sensor in Minimum Time

abstract: A fundamental task in mobile robotics is keeping an intelligent agent under surveillance with an autonomous robot as it travels in the environment. This work studies a version of that problem involving one of the most popular vehicle platforms in robotics. In particular, we consider two identical Dubins cars moving on a plane without obstacles. One of them plays as the pursuer, and it is equipped with a limited field-of-view detection region modeled as a semi-infinite cone with its apex at the pursuer's position. The pursuer aims to maintain the other Dubins car, which plays as the evader, as much time as possible inside its detection region. On the contrary, the evader wants to escape as soon as possible. In this work, employing differential game theory, we find the time-optimal motion strategies near the game's end. The analysis of those trajectories reveals the existence of at least two singular surfaces: a Transition Surface and an Evader's Universal Surface. We also found that the barrier's standard construction produces a surface that partially lies outside the playing space and fails to define a closed region, implying that an additional procedure is required to determine all configurations where the evader escapes.


title: Conditional Similarity Triplets Enable Covariate-Informed Representations of Single-Cell Data

abstract: Single-cell technologies enable comprehensive profiling of diverse immune cell-types through the measurement of multiple genes or proteins per cell. In order to translate data from immune profiling assays into powerful diagnostics, machine learning approaches are used to compute per-sample immunological summaries, or featurizations that can be used as inputs to models for outcomes of interest. Current supervised learning approaches for computing per-sample representations are optimized based only on the outcome variable to be predicted and do not take into account clinically-relevant covariates that are likely to also be measured. Here we expand the optimization problem to also take into account such additional patient covariates to directly inform the learned per-sample representations. To do this, we introduce CytoCoSet, a set-based encoding method, which formulates a loss function with an additional triplet term penalizing samples with similar covariates from having disparate embedding results in per-sample representations. Overall, incorporating clinical covariates leads to improved prediction of clinical phenotypes.


title: Finite subgroups of the profinite completion of good groups

abstract: Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of $G$ and those of its profinite completion $\hat{G}$. Moreover, we prove that the centralizers and normalizers in $\hat{G}$ of finite $p$-subgroups of $G$ are the closures of the respective centralizers and normalizers in $G$. With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of $G$. In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of $3$-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).


title: Adaptively Implicit Advection for Atmospheric Flows

abstract: Implicit time-stepping for advection is applied locally in space and time where Courant numbers are large, but standard explicit time-stepping is used for the remaining solution which is typically the majority. This adaptively implicit advection scheme facilitates efficient and robust integrations with long time-steps while having negligible impact on the overall accuracy, and achieving monotonicity and local conservation on general meshes. A novel and important aspect for the efficiency of the approach is that only one linear solver iteration is needed for each advection solve. The implementation in this paper uses a second-order Runge-Kutta implicit/explicit time-stepping in combination with a second/third-order finite volume spatial discretisation. We demonstrate the adaptively implicit advection in the context of deformational flow advection on the sphere and a fully compressible model for atmospheric flows. Tracers are advected over the poles of latitude-longitude grids with very large Courant numbers and through hexagonal and cubed-sphere meshes with the same algorithm. Buoyant flow simulations with strong local updrafts also benefit from adaptively implicit advection. Stably stratified flow simulations require a stable combination of implicit treatment of gravity and acoustic waves as well as advection in order to achieve long stable time-steps.


title: ML-SUPERB 2.0: Benchmarking Multilingual Speech Models Across Modeling Constraints, Languages, and Datasets

abstract: ML-SUPERB evaluates self-supervised learning (SSL) models on the tasks of language identification and automatic speech recognition (ASR). This benchmark treats the models as feature extractors and uses a single shallow downstream model, which can be fine-tuned for a downstream task. However, real-world use cases may require different configurations. This paper presents ML-SUPERB~2.0, which is a new benchmark for evaluating pre-trained SSL and supervised speech models across downstream models, fine-tuning setups, and efficient model adaptation approaches. We find performance improvements over the setup of ML-SUPERB. However, performance depends on the downstream model design. Also, we find large performance differences between languages and datasets, suggesting the need for more targeted approaches to improve multilingual ASR performance.


title: Operational Calculus for the 1st Level General Fractional Derivatives and its Applications

abstract: The 1st level General Fractional Derivatives (GFDs) combine in one definition the GFDs of the Riemann-Liouville type and the regularized GFDs (or the GFDs of the Caputo type) that have been recently introduced and actively studied in the Fractional Calculus literature. In this paper, we first construct an operational calculus of Mikusi\'nski type for the 1st level GFDs. In particular, it includes the operational calculi for the GFDs of the Riemann-Liouville type and for the regularized GFDs as its particular cases. In the second part of the paper, this calculus is applied for derivation of the closed form solution formulas to the initial-value problems for the linear fractional differential equations with the 1st level GFDs.


title: The Steinitz Realization Problem

abstract: Let $K$ be a number field and let $n \in \mathbb{Z}_{>1}$. The Steinitz realization problem asks: does every element of the ideal class group of $K$ occur as the Steinitz class of a degree $n$ extension of $K$? In this article, we give an affirmative answer to the Steinitz realization problem for all $n$ and $K$.


title: Toward Fully-End-to-End Listened Speech Decoding from EEG Signals

abstract: Speech decoding from EEG signals is a challenging task, where brain activity is modeled to estimate salient characteristics of acoustic stimuli. We propose FESDE, a novel framework for Fully-End-to-end Speech Decoding from EEG signals. Our approach aims to directly reconstruct listened speech waveforms given EEG signals, where no intermediate acoustic feature processing step is required. The proposed method consists of an EEG module and a speech module along with a connector. The EEG module learns to better represent EEG signals, while the speech module generates speech waveforms from model representations. The connector learns to bridge the distributions of the latent spaces of EEG and speech. The proposed framework is both simple and efficient, by allowing single-step inference, and outperforms prior works on objective metrics. A fine-grained phoneme analysis is conducted to unveil model characteristics of speech decoding. The source code is available here: github.com/lee-jhwn/fesde.


title: ODIN: Identifying Protoclusters and Cosmic Filaments Traced by Ly$\alpha$-emitting Galaxies

abstract: To understand the formation and evolution of massive cosmic structures, studying them at high redshift, in the epoch when they formed the majority of their mass is essential. The One-hundred-deg$^2$ DECam Imaging in Narrowbands (ODIN) survey is undertaking the widest-area narrowband program to date, to use Ly$\alpha$-emitting galaxies (LAEs) to trace the large-scale structure (LSS) of the Universe at three cosmic epochs. In this work, we present results at $z$ = 3.1 based on early ODIN data in the COSMOS field. We identify and characterize protoclusters and cosmic filaments using multiple methods and discuss their strengths and weaknesses. We then compare our observations against the IllustrisTNG suite of cosmological hydrodynamical simulations. The two are in excellent agreement, with a similar number and angular size of structures identified above a specified density threshold. We are able to recover the simulated protoclusters with $\log$(M$_{z=0}$/$M_\odot$) $\gtrsim$ 14.4 in $\sim$ 60\% of the cases. With these objects we show that the descendant masses of the protoclusters in our sample can be estimated purely based on our 2D measurements, finding a median $z$ = 0 mass of $\sim10^{14.5}$M$_\odot$. The lack of information on the radial extent of each protocluster introduces a $\sim$0.4~dex uncertainty in its descendant mass. Finally, we show that the recovery of the cosmic web in the vicinity of protoclusters is both efficient and accurate. The similarity of our observations and the simulations imply that our structure selection is likewise robust and efficient, demonstrating that LAEs are reliable tracers of the LSS.


title: PETSc/TAO Developments for Early Exascale Systems

abstract: The Portable Extensible Toolkit for Scientific Computation (PETSc) library provides scalable solvers for nonlinear time-dependent differential and algebraic equations and for numerical optimization via the Toolkit for Advanced Optimization (TAO). PETSc is used in dozens of scientific fields and is an important building block for many simulation codes. During the U.S. Department of Energy's Exascale Computing Project, the PETSc team has made substantial efforts to enable efficient utilization of the massive fine-grain parallelism present within exascale compute nodes and to enable performance portability across exascale architectures. We recap some of the challenges that designers of numerical libraries face in such an endeavor, and then discuss the many developments we have made, which include the addition of new GPU backends, features supporting efficient on-device matrix assembly, better support for asynchronicity and GPU kernel concurrency, and new communication infrastructure. We evaluate the performance of these developments on some pre-exascale systems as well the early exascale systems Frontier and Aurora, using compute kernel, communication layer, solver, and mini-application benchmark studies, and then close with a few observations drawn from our experiences on the tension between portable performance and other goals of numerical libraries.


title: Optimized Dual-Volumes for Tetrahedral Meshes

abstract: Constructing well-behaved Laplacian and mass matrices is essential for tetrahedral mesh processing. Unfortunately, the \emph{de facto} standard linear finite elements exhibit bias on tetrahedralized regular grids, motivating the development of finite-volume methods. In this paper, we place existing methods into a common construction, showing how their differences amount to the choice of simplex centers. These choices lead to satisfaction or breakdown of important properties: continuity with respect to vertex positions, positive semi-definiteness of the implied Dirichlet energy, positivity of the mass matrix, and unbiased-ness on regular grids. Based on this analysis, we propose a new method for constructing dual-volumes which explicitly satisfy all of these properties via convex optimization.


title: LLM-Craft: Robotic Crafting of Elasto-Plastic Objects with Large Language Models

abstract: When humans create sculptures, we are able to reason about how geometrically we need to alter the clay state to reach our target goal. We are not computing point-wise similarity metrics, or reasoning about low-level positioning of our tools, but instead determining the higher-level changes that need to be made. In this work, we propose LLM-Craft, a novel pipeline that leverages large language models (LLMs) to iteratively reason about and generate deformation-based crafting action sequences. We simplify and couple the state and action representations to further encourage shape-based reasoning. To the best of our knowledge, LLM-Craft is the first system successfully leveraging LLMs for complex deformable object interactions. Through our experiments, we demonstrate that with the LLM-Craft framework, LLMs are able to successfully reason about the deformation behavior of elasto-plastic objects. Furthermore, we find that LLM-Craft is able to successfully create a set of simple letter shapes. Finally, we explore extending the framework to reaching more ambiguous semantic goals, such as "thinner" or "bumpy". For videos please see our website: https://sites.google.com/andrew.cmu.edu/llmcraft.


title: MOTI$\mathcal{VE}$: A Drug-Target Interaction Graph For Inductive Link Prediction

abstract: Drug-target interaction (DTI) prediction is crucial for identifying new therapeutics and detecting mechanisms of action. While structure-based methods accurately model physical interactions between a drug and its protein target, cell-based assays such as Cell Painting can better capture complex DTI interactions. This paper introduces MOTI$\mathcal{VE}$, a Morphological cOmpound Target Interaction Graph dataset that comprises Cell Painting features for $11,000$ genes and $3,600$ compounds along with their relationships extracted from seven publicly available databases. We provide random, cold-source (new drugs), and cold-target (new genes) data splits to enable rigorous evaluation under realistic use cases. Our benchmark results show that graph neural networks that use Cell Painting features consistently outperform those that learn from graph structure alone, feature-based models, and topological heuristics. MOTI$\mathcal{VE}$ accelerates both graph ML research and drug discovery by promoting the development of more reliable DTI prediction models. MOTI$\mathcal{VE}$ resources are available at https://github.com/carpenter-singh-lab/motive.


title: Adaptive Nonlinear Model Predictive Control for a Real-World Labyrinth Game

abstract: We present a nonlinear non-convex model predictive control approach to solving a real-world labyrinth game. We introduce adaptive nonlinear constraints, representing the non-convex obstacles within the labyrinth. Our method splits the computation-heavy optimization problem into two layers; first, a high-level model predictive controller which incorporates the full problem formulation and finds pseudo-global optimal trajectories at a low frequency. Secondly, a low-level model predictive controller that receives a reduced, computationally optimized version of the optimization problem to follow the given high-level path in real-time. Further, a map of the labyrinth surface irregularities is learned. Our controller is able to handle the major disturbances and model inaccuracies encountered on the labyrinth and outperforms other classical control methods.


title: How to Distinguish AI-Generated Images from Authentic Photographs

abstract: The high level of photorealism in state-of-the-art diffusion models like Midjourney, Stable Diffusion, and Firefly makes it difficult for untrained humans to distinguish between real photographs and AI-generated images. To address this problem, we designed a guide to help readers develop a more critical eye toward identifying artifacts, inconsistencies, and implausibilities that often appear in AI-generated images. The guide is organized into five categories of artifacts and implausibilities: anatomical, stylistic, functional, violations of physics, and sociocultural. For this guide, we generated 138 images with diffusion models, curated 9 images from social media, and curated 42 real photographs. These images showcase the kinds of cues that prompt suspicion towards the possibility an image is AI-generated and why it is often difficult to draw conclusions about an image's provenance without any context beyond the pixels in an image. Human-perceptible artifacts are not always present in AI-generated images, but this guide reveals artifacts and implausibilities that often emerge. By drawing attention to these kinds of artifacts and implausibilities, we aim to better equip people to distinguish AI-generated images from real photographs in the future.


title: Large-scale spin-orbit photonic circuits in two dimensions

abstract: Photonic circuits, optical platforms that connect input and output modes according to a specific map, serve as effective optical processors for both classical and quantum states of light. The number of optical elements typically scales with that of processed modes, leading to a direct correlation between system size, circuit complexity, and optical losses. Here we present a photonic circuit technology implementing large-scale unitary maps, linking a single input to hundreds of output modes in a two-dimensional compact layout. The map corresponds to the outcome of a quantum walk of structured photons, realized experimentally through light propagation in three liquid-crystal metasurfaces, having the local orientation of optic axes artificially engineered in a complex pattern. Theoretically, the walk length and the number of connected modes can be arbitrary, keeping optical losses constant. The patterns can be designed to accurately replicate multiple unitary maps. We also discuss limited reconfigurability by adjusting the overall birefringence and the relative displacement of the three optical elements. These results lay the basis for the design of low-loss photonic circuits that target a broader range of unitary maps, primarily for manipulating multi-photon states in genuinely quantum regimes.


title: BaSeNet: A Learning-based Mobile Manipulator Base Pose Sequence Planning for Pickup Tasks

abstract: In many applications, a mobile manipulator robot is required to grasp a set of objects distributed in space. This may not be feasible from a single base pose and the robot must plan the sequence of base poses for grasping all objects, minimizing the total navigation and grasping time. This is a Combinatorial Optimization problem that can be solved using exact methods, which provide optimal solutions but are computationally expensive, or approximate methods, which offer computationally efficient but sub-optimal solutions. Recent studies have shown that learning-based methods can solve Combinatorial Optimization problems, providing near-optimal and computationally efficient solutions. In this work, we present BASENET - a learning-based approach to plan the sequence of base poses for the robot to grasp all the objects in the scene. We propose a Reinforcement Learning based solution that learns the base poses for grasping individual objects and the sequence in which the objects should be grasped to minimize the total navigation and grasping costs using Layered Learning. As the problem has a varying number of states and actions, we represent states and actions as a graph and use Graph Neural Networks for learning. We show that the proposed method can produce comparable solutions to exact and approximate methods with significantly less computation time.


title: Large Stepsize Gradient Descent for Non-Homogeneous Two-Layer Networks: Margin Improvement and Fast Optimization

abstract: The typical training of neural networks using large stepsize gradient descent (GD) under the logistic loss often involves two distinct phases, where the empirical risk oscillates in the first phase but decreases monotonically in the second phase. We investigate this phenomenon in two-layer networks that satisfy a near-homogeneity condition. We show that the second phase begins once the empirical risk falls below a certain threshold, dependent on the stepsize. Additionally, we show that the normalized margin grows nearly monotonically in the second phase, demonstrating an implicit bias of GD in training non-homogeneous predictors. If the dataset is linearly separable and the derivative of the activation function is bounded away from zero, we show that the average empirical risk decreases, implying that the first phase must stop in finite steps. Finally, we demonstrate that by choosing a suitably large stepsize, GD that undergoes this phase transition is more efficient than GD that monotonically decreases the risk. Our analysis applies to networks of any width, beyond the well-known neural tangent kernel and mean-field regimes.


title: Interacting holes in a gated WSe$_2$ quantum channel: valley correlations and zigzag Wigner crystal

abstract: We present a theory of interacting valence holes in a gate-defined one-dimensional quantum channel in a single layer of a transition metal dichalcogenide material WSe$_2$. Based on a microscopic atomistic tight-binding model and Hartree-Fock and exact configuration-interaction tools we demonstrate the possibility of symmetry-broken valley polarized states for strongly interacting holes. The interplay between interactions, perpendicular magnetic field, and the lateral confinement asymmetry together with the strong Rashba spin-orbit coupling present in WSe$_2$ material is analyzed, and its impact on valley polarization is discussed. For weaker interactions, an investigation of the pair correlation function reveals a valley-antiferromagnetic phase. For low hole densities, a formation of a zigzag Wigner crystal phase is predicted. The impact of various hole liquid phases on transport in a high mobility quasi-one dimensional channel is discussed.