title: Nonparametric FBST for Validating Linear Models

abstract: The Full Bayesian Significance Test (FBST) possesses many desirable aspects, such as not requiring a non-zero prior probability for hypotheses while also producing a measure of evidence for $H_0$. Still, few attempts have been made to bring the FBST to nonparametric settings, with the main drawback being the need to obtain the highest posterior density (HPD) in a function space. In this work, we use Gaussian processes to provide an analytically tractable FBST for hypotheses of the type $$ H_0: g(\boldsymbol{x}) = \boldsymbol{b}(\boldsymbol{x})\boldsymbol{\beta}, \quad \forall \boldsymbol{x} \in \mathcal{X}, \quad \boldsymbol{\beta} \in \mathbb{R}^k, $$ where $g(\cdot)$ is the regression function, $\boldsymbol{b}(\cdot)$ is a vector of linearly independent linear functions -- such as $\boldsymbol{b}(\boldsymbol{x}) = \boldsymbol{x}'$ -- and $\mathcal{X}$ is the covariates' domain. We also make use of pragmatic hypotheses to verify if the adherence of linear models may be approximately instead of exactly true, allowing for the inclusion of valuable information such as measurement errors and utility judgments. This contribution extends the theory of the FBST, allowing its application in nonparametric settings and providing a procedure that easily tests if linear models are adequate for the data and that can automatically perform variable selection.


title: Automated radiotherapy treatment planning guided by GPT-4Vision

abstract: Radiotherapy treatment planning is a time-consuming and potentially subjective process that requires the iterative adjustment of model parameters to balance multiple conflicting objectives. Recent advancements in large foundation models offer promising avenues for addressing the challenges in planning and clinical decision-making. This study introduces GPT-RadPlan, a fully automated treatment planning framework that harnesses prior radiation oncology knowledge encoded in multi-modal large language models, such as GPT-4Vision (GPT-4V) from OpenAI. GPT-RadPlan is made aware of planning protocols as context and acts as an expert human planner, capable of guiding a treatment planning process. Via in-context learning, we incorporate clinical protocols for various disease sites as prompts to enable GPT-4V to acquire treatment planning domain knowledge. The resulting GPT-RadPlan agent is integrated into our in-house inverse treatment planning system through an API. The efficacy of the automated planning system is showcased using multiple prostate and head & neck cancer cases, where we compared GPT-RadPlan results to clinical plans. In all cases, GPT-RadPlan either outperformed or matched the clinical plans, demonstrating superior target coverage and organ-at-risk sparing. Consistently satisfying the dosimetric objectives in the clinical protocol, GPT-RadPlan represents the first multimodal large language model agent that mimics the behaviors of human planners in radiation oncology clinics, achieving remarkable results in automating the treatment planning process without the need for additional training.


title: Multi-Model Predictive Attitude Control of Quadrotors

abstract: This paper introduces a new multi-model predictive control (MMPC) method for quadrotor attitude control with performance nearly on par with nonlinear model predictive control (NMPC) and computational efficiency similar to linear model predictive control (LMPC). Conventional NMPC, while effective, is computationally intensive, especially for attitude control that needs a high refresh rate. Conversely, LMPC offers computational advantages but suffers from poor performance and local stability. Our approach relies on multiple linear models of attitude dynamics, each accompanied by a linear model predictive controller, dynamically switching between them given flight conditions. We leverage gap metric analysis to minimize the number of models required to accurately predict the vehicle behavior in various conditions and incorporate a soft switching mechanism to ensure system stability during controller transitions. Our results show that with just 15 models, the vehicle attitude can be accurately controlled across various set points. Comparative evaluations with existing controllers such as incremental nonlinear dynamic inversion, sliding mode control, LMPC, and NMPC reveal that our approach closely matches the effectiveness of NMPC, outperforming other methods, with a running time comparable to LMPC.


title: Pade: A code for protoplanetary disk turbulence based on Pade differencing

abstract: The Pade code has been developed to treat hydrodynamic turbulence in protoplanetary disks. It solves the compressible equations of motion in cylindrical coordinates. Derivatives are computed using non-diffusive and conservative fourth-order Pade differencing, which has higher resolving power compared to both dissipative shock-capturing schemes used in most astrophysics codes, as well as non-diffusive central finite-difference schemes of the same order. The fourth-order Runge-Kutta method is used for time stepping. A previously reported error-corrected Fargo approach is used to reduce the time step constraint imposed by rapid Keplerian advection. Artificial bulk viscosity is used when shock-capturing is required. Tests for correctness and scaling with respect to the number of processors are presented. Finally, efforts to improve efficiency and accuracy are suggested.

categories: astro-ph.EP astro-ph.IM astro-ph.SR physics.flu-dyn


title: Catastrophic-risk-aware reinforcement learning with extreme-value-theory-based policy gradients

abstract: This paper tackles the problem of mitigating catastrophic risk (which is risk with very low frequency but very high severity) in the context of a sequential decision making process. This problem is particularly challenging due to the scarcity of observations in the far tail of the distribution of cumulative costs (negative rewards). A policy gradient algorithm is developed, that we call POTPG. It is based on approximations of the tail risk derived from extreme value theory. Numerical experiments highlight the out-performance of our method over common benchmarks, relying on the empirical distribution. An application to financial risk management, more precisely to the dynamic hedging of a financial option, is presented.


title: MOUNTAINEER: Topology-Driven Visual Analytics for Comparing Local Explanations

abstract: With the increasing use of black-box Machine Learning (ML) techniques in critical applications, there is a growing demand for methods that can provide transparency and accountability for model predictions. As a result, a large number of local explainability methods for black-box models have been developed and popularized. However, machine learning explanations are still hard to evaluate and compare due to the high dimensionality, heterogeneous representations, varying scales, and stochastic nature of some of these methods. Topological Data Analysis (TDA) can be an effective method in this domain since it can be used to transform attributions into uniform graph representations, providing a common ground for comparison across different explanation methods. We present a novel topology-driven visual analytics tool, Mountaineer, that allows ML practitioners to interactively analyze and compare these representations by linking the topological graphs back to the original data distribution, model predictions, and feature attributions. Mountaineer facilitates rapid and iterative exploration of ML explanations, enabling experts to gain deeper insights into the explanation techniques, understand the underlying data distributions, and thus reach well-founded conclusions about model behavior. Furthermore, we demonstrate the utility of Mountaineer through two case studies using real-world data. In the first, we show how Mountaineer enabled us to compare black-box ML explanations and discern regions of and causes of disagreements between different explanations. In the second, we demonstrate how the tool can be used to compare and understand ML models themselves. Finally, we conducted interviews with three industry experts to help us evaluate our work.


title: Duplicated Steiner triple systems with self-orthogonal near resolutions

abstract: A Steiner triple system, STS$(v)$, is a family of $3$-subsets (blocks) of a set of $v$ elements such that any two elements occur together in precisely one block. A collection of triples consisting of two copies of each block of an STS is called a duplicated Steiner triple system, DSTS. A resolvable (or near resolvable) DSTS is called self-orthogonal if every pair of distinct classes in the resolution has at most one block in common. We provide several methods to construct self-orthogonal near resolvable DSTS and settle the existence of such designs for all values of $v$ with only four possible exceptions. This addresses a recent question of Bryant, Davies and Neubecker.


title: On the Multiplicity of Density Operator Representation

abstract: The density operator is usually defined starting from a set of kets in the Hilbert space and a probability distribution. From this definition it is easy to obtain a factorization of a given density operator, here called density factor (DF). The multiplicity and the variety of DFs is investigated using the tools of Matrix Analysis, arriving in particular to establish the DF with minimal size. The approach based on Matrix Analysis does not seem to be available elsewhere.


title: An Optimal Selection Problem Associated with the Poisson Process

abstract: Cowan and Zabczyk (1978) introduced a continuous-time generalisation of the secretary problem, where offers arrive at epochs of a homogeneous Poisson process. We expand their work to encompass the last-success problem under the Karamata-Stirling record profile. In this setting, the $k$th trial is a success with probability $p_k=\theta/(\theta+k-1)$ and parameter $\theta > 0$. In the best-choice setting ($\theta=1$), the myopic strategy is optimal, and the proof hinges on verifying the monotonicity of certain critical roots. We establish this crucial result in the last-success case by exploiting a connection to the sign of the derivative in the first parameter of a quotient of Kummer's hypergeometric functions. Furthermore, we address the case of inhomogeneous arrivals by employing a point process of success events. We illustrate this approach using an example that combines an inhomogeneous intensity function with a continuous-time success profile. Finally, we derive bounds and asymptotics of the critical roots, strengthening and improving the findings of Ciesielski and Zabczyk (1979).


title: BrowNNe: Brownian Nonlocal Neurons & Activation Functions

abstract: It is generally thought that the use of stochastic activation functions in deep learning architectures yield models with superior generalization abilities. However, a sufficiently rigorous statement and theoretical proof of this heuristic is lacking in the literature. In this paper, we provide several novel contributions to the literature in this regard. Defining a new notion of nonlocal directional derivative, we analyze its theoretical properties (existence and convergence). Second, using a probabilistic reformulation, we show that nonlocal derivatives are epsilon-sub gradients, and derive sample complexity results for convergence of stochastic gradient descent-like methods using nonlocal derivatives. Finally, using our analysis of the nonlocal gradient of Holder continuous functions, we observe that sample paths of Brownian motion admit nonlocal directional derivatives, and the nonlocal derivatives of Brownian motion are seen to be Gaussian processes with computable mean and standard deviation. Using the theory of nonlocal directional derivatives, we solve a highly nondifferentiable and nonconvex model problem of parameter estimation on image articulation manifolds. Using Brownian motion infused ReLU activation functions with the nonlocal gradient in place of the usual gradient during backpropagation, we also perform experiments on multiple well-studied deep learning architectures. Our experiments indicate the superior generalization capabilities of Brownian neural activation functions in low-training data regimes, where the use of stochastic neurons beats the deterministic ReLU counterpart.


title: Continuum And Line Emission From Accretion Shocks at T Tauri Stars I. Correlations With Shock Parameters

abstract: Fourteen models are calculated with the shock velocity ranging from 200 to 330 km s$^{-1}$ and pre-shock hydrogen nucleon density ranging from $2.5\times 10^{12}$ to $4\times 10^{13}$ cm$^{-3}$. Among them the summed emergent flux of all spectral lines accounts for about 0.1-0.3 of the total veiling flux. The hydrogen Balmer continuum accounts for 0.17-0.1, while a nearly constant fraction close to 0.5 comes from emission produced by the stellar atmosphere. The main results derived from the veiling continuum energy distributions are two strong correlations: 1) the Balmer jump (BJ) increases as $F_K$, the shock kinetic energy flux, decreases; 2) at a fixed fraction of surface coverage by accretion shocks $r_{\lambda}$, the ratio of veiling to photospheric continuum flux at wavelength $\lambda$, decreases as $F_K$ decreases. Using the BJ - $F_K$ and $r_{4500}$ - $F_K$ relations, the observed excess continua of 10 T Tauri stars are modelled. For BP Tau and 3 Orion stars our accretion luminosities are higher than published values by a factor of a few. For the 6 Chamaeleon I stars our observed accretion luminosities are about 27 - 78\% higher than corresponding published values. Comparison of model results on the HeI $\lambda$5876$~$flux with observed data indicates that, while those stars with dominant $\lambda$5876$~$narrow components can be readily accounted for by the calculated models, those with much stronger broad components cannot, and suggests that for the latter objects the bulk of their excess continua at 5876$~$do not originate from accretion shocks.


title: Physics Informed Machine Learning (PIML) methods for estimating the remaining useful lifetime (RUL) of aircraft engines

abstract: This paper is aimed at using the newly developing field of physics informed machine learning (PIML) to develop models for predicting the remaining useful lifetime (RUL) aircraft engines. We consider the well-known benchmark NASA Commercial Modular Aero-Propulsion System Simulation (C-MAPSS) data as the main data for this paper, which consists of sensor outputs in a variety of different operating modes. C-MAPSS is a well-studied dataset with much existing work in the literature that address RUL prediction with classical and deep learning methods. In the absence of published empirical physical laws governing the C-MAPSS data, our approach first uses stochastic methods to estimate the governing physics models from the noisy time series data. In our approach, we model the various sensor readings as being governed by stochastic differential equations, and we estimate the corresponding transition density mean and variance functions of the underlying processes. We then augment LSTM (long-short term memory) models with the learned mean and variance functions during training and inferencing. Our PIML based approach is different from previous methods, and we use the data to first learn the physics. Our results indicate that PIML discovery and solutions methods are well suited for this problem and outperform previous data-only deep learning methods for this data set and task. Moreover, the framework developed herein is flexible, and can be adapted to other situations (other sensor modalities or combined multi-physics environments), including cases where the underlying physics is only partially observed or known.


title: Optimization of Trajectories for Machine Learning Training in Robot Accuracy Modeling

abstract: Recently, machine learning (ML) methods have been developed for increasing the accuracy of robot mechanisms. Complex mechanical issues such as non-linear friction, backlash, flexibility of structure transmission elements can cause these errors and they are hard to model. ML requires training data and the above mechanical phenomena are highly dependent on position of the robot in the workspace and also on its velocity, especially near zero velocity in both directions where non-linearities such as Streibek and Coulomb friction are most pronounced. It is well known that success of ML methods depends on amount of training data and it is expensive/time consuming to collect data from physical robot motion. We therefore address the problem of searching for trajectories in the 6D space of positions and velocities which collect the most information in the least amount of time. This reduces to a special case of the traveling-salesman problem in that the robot must be programmed to visit sampled points in the position-velocity phase space most efficiently. Two goals of this work are 1) Computationally study the difficulty of the TSP in this application by applying it to X, Y, Z motion in 3D space (6D phase space) and 2) assess the effectiveness of an extremely simple Nearest Neighbor search algorithm compared to random sampling of the search space. Results confirm that Nearest Neighbor heuristic searching produces significantly better trajectories than random sampling in this application.


title: On the 96-well plate coverglass tilt and curvature suppression in 96-camera imaging system

abstract: The 96-eyes instrument is capable of computational extended depth of focus (eDOF) of up to +/- 30 micrometer in the phase channel, and conventional depth of field (DOF) of +/- 5 micrometer in the fluorescence channel. However, it requires minimal plate-to-plate cover glass depth variation to function. Plate depths are measured using a third-party plate scanner (Opera Phenix) grouped by plate types (Greiner UV-Star, Cell-Star, and Eppendorf meniscus-free). The two-dimensional (2D) depth dataset is aggregated through principal component analysis to obtain the top eight dominating 2D surface deformation modes. More than 90% of the variation can be explained by the plate's absolute depth and tilt (Pitch, Gradient-Y, and Gradient-X), followed by (~= 2%) the cover glass's curvature (Curve-Y and Curve-XY). Plate-to-plate average depth and tilt variations are suppressed by a customized kinematic mount anchoring the plate's cover glass at the instrument's imaging plane. The plate's average curvature is compensated by manually aligning all 96-eyes microscope objective lenses to track the plate's surface; an one-off calibration procedure aided by the backlash-free piezo-flexure z-stage. Design validation is conducted in silico, with the proof of concept experiment conducted on the 96-eyes with new mounting bracket retrofits.


title: Compaction during fragmentation and bouncing produces realistic dust grain porosities in protoplanetary discs

abstract: Context: In protoplanetary discs, micron-sized dust grows to form millimetre- to centimetre-sized pebbles but encounters several barriers during its evolution. Collisional fragmentation and radial drift impede further dust growth to planetesimal size. Fluffy grains have been hypothesised to solve these problems. While porosity leads to faster grain growth, the implied porosity values obtained from previous simulations were larger than suggested by observations. Aims: In this paper, we study the influence of porosity on dust evolution taking into account growth, bouncing, fragmentation, compaction, rotational disruption and snow lines, in order to understand their impact on dust evolution. Methods: We develop a module for porosity evolution for the 3D Smoothed Particle Hydrodynamics (SPH) code Phantom that accounts for dust growth and fragmentation. This mono-disperse model is integrated into both a 1D code and the 3D code to capture the overall evolution of dust and gas. Results: We show that porosity helps dust growth and leads to the formation of larger solids than when considering compact grains, as predicted by previous work. Our simulations taking into account compaction during fragmentation show that large millimetre grains are still formed, but are 10 to 100 times more compact. Thus, mm sizes with typical filling factors of ~0.1 match the values measured on comets or via polarimetric observations of protoplanetary discs.


title: Marrying Compressed Sensing and Deep Signal Separation

abstract: Blind signal separation (BSS) is an important and challenging signal processing task. Given an observed signal which is a superposition of a collection of unknown (hidden/latent) signals, BSS aims at recovering the separate, underlying signals from only the observed mixed signal. As an underdetermined problem, BSS is notoriously difficult to solve in general, and modern deep learning has provided engineers with an effective set of tools to solve this problem. For example, autoencoders learn a low-dimensional hidden encoding of the input data which can then be used to perform signal separation. In real-time systems, a common bottleneck is the transmission of data (communications) to a central command in order to await decisions. Bandwidth limits dictate the frequency and resolution of the data being transmitted. To overcome this, compressed sensing (CS) technology allows for the direct acquisition of compressed data with a near optimal reconstruction guarantee. This paper addresses the question: can compressive acquisition be combined with deep learning for BSS to provide a complete acquire-separate-predict pipeline? In other words, the aim is to perform BSS on a compressively acquired signal directly without ever having to decompress the signal. We consider image data (MNIST and E-MNIST) and show how our compressive autoencoder approach solves the problem of compressive BSS. We also provide some theoretical insights into the problem.


title: Design of a Modular GaN-based Three-Phase Three-Level ANPC Inverter

abstract: This paper presents the design of an 800 V 11 kVA three-level three-phase active neutral point clamped inverter, utilizing 650 V gallium nitride enhancement-mode high-electron-mobility transistors, to evaluate its feasibility in electric traction systems. The modular approach of the presented power converter design is detailed discussed and the different printed circuit boards composing the power converter are presented, together with critical design issues. The paper includes the gate driver design, as well as the thermal analysis and parasitics extraction using ANSYS Q3D. Extractor.


title: Shortcomings of LLMs for Low-Resource Translation: Retrieval and Understanding are Both the Problem

abstract: This work investigates the in-context learning abilities of pretrained large language models (LLMs) when instructed to translate text from a low-resource language into a high-resource language as part of an automated machine translation pipeline. We conduct a set of experiments translating Southern Quechua to Spanish and examine the informativity of various types of information retrieved from a constrained database of digitized pedagogical materials (dictionaries and grammar lessons) and parallel corpora. Using both automatic and human evaluation of model output, we conduct ablation studies that manipulate (1) context type (morpheme translations, grammar descriptions, and corpus examples), (2) retrieval methods (automated vs. manual), and (3) model type. Our results suggest that even relatively small LLMs are capable of utilizing prompt context for zero-shot low-resource translation when provided a minimally sufficient amount of relevant linguistic information. However, the variable effects of prompt type, retrieval method, model type, and language-specific factors highlight the limitations of using even the best LLMs as translation systems for the majority of the world's 7,000+ languages and their speakers.


title: Deducibility in the full Lambek calculus with weakening is HAck-complete

abstract: We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of fast-growing complexity classes). Provability was already known to be PSPACE-complete. We prove that deducibility is HAck-complete even for the multiplicative fragment. Lower bounds are proved via a novel reduction from reachability in lossy channel systems and the upper bounds are obtained by combining structural proof theory (forward proof search over sequent calculi) and well-quasi-order theory (length theorems for Higman's Lemma).


title: Benchmarking Uncertainty Quantification Methods for Large Language Models with LM-Polygraph

abstract: Uncertainty quantification (UQ) is becoming increasingly recognized as a critical component of applications that rely on machine learning (ML). The rapid proliferation of large language models (LLMs) has stimulated researchers to seek efficient and effective approaches to UQ in text generation tasks, as in addition to their emerging capabilities, these models have introduced new challenges for building safe applications. As with other ML models, LLMs are prone to make incorrect predictions, ``hallucinate'' by fabricating claims, or simply generate low-quality output for a given input. UQ is a key element in dealing with these challenges. However research to date on UQ methods for LLMs has been fragmented, with disparate evaluation methods. In this work, we tackle this issue by introducing a novel benchmark that implements a collection of state-of-the-art UQ baselines, and provides an environment for controllable and consistent evaluation of novel techniques by researchers in various text generation tasks. Our benchmark also supports the assessment of confidence normalization methods in terms of their ability to provide interpretable scores. Using our benchmark, we conduct a large-scale empirical investigation of UQ and normalization techniques across nine tasks and shed light on the most promising approaches.


title: The Hermitian Killing form and root counting of complex polynomials with conjugate variables

abstract: Inspired by the work about solutions of a system of real polynomial equations done by Hermite, this paper introduces a Hermitian form, which encodes information about solutions of a system of complex polynomial equations with conjugate variables. Adopting the presented object, a new general bound for the number of solutions of an harmonic polynomial equation is proved.


title: Embedded multi-boson exchange: A step beyond quantum cluster theories

abstract: We introduce a diagrammatic multi-scale approach to the Hubbard model based on the interaction-irreducible (multi-boson) vertex of a small cluster embedded in a self-consistent medium. The vertex captures short-ranged correlations up to the length scale of the cluster, while long-ranged correlations are recovered from a set of diagrammatic equations for the Hedin three-leg vertex. By virtue of the crossing symmetry, the Fierz decoupling ambiguity of the Hubbard interaction is resolved exactly. Our benchmarks for the half-filled Hubbard model on the square lattice are in very good agreement with numerically exact diagrammatic Monte Carlo simulations.


title: A High-Throughput and Data-Driven Computational Framework for Novel Quantum Materials

abstract: Two-dimensional layered materials, such as transition metal dichalcogenides (TMDs), possess intrinsic van der Waals gap at the layer interface allowing for remarkable tunability of the optoelectronic features via external intercalation of foreign guests such as atoms, ions, or molecules. Herein, we introduce a high-throughput, data-driven computational framework for the design of novel quantum materials derived from intercalating planar conjugated organic molecules into bilayer transition metal dichalcogenides and dioxides. By combining first-principles methods, material informatics, and machine learning, we characterize the energetic and mechanical stability of this new class of materials and identify the fifty (50) most stable hybrid materials from a vast configurational space comprising $\sim 10^5$ materials, employing intercalation energy as the screening criterion.


title: On generic properties of nilpotent algebras

abstract: We study general nilpotent algebras. The results obtained are new even for the classical algebras, such as associative or Lie algebras. We single out certain generic properties of finite-dimensional algebras, mostly over infinite fields. The notion of being generic in the class of $n$-generated algebras of an arbitrary primitive class of $c$-nilpotent algebras appears naturally in the following way. On the set of the isomorphism classes of such algebras one can introduce the structure of an algebraic variety. As a result, the subsets are endowed with the dimensions as algebraic varieties. A subset $Y$ of a set $X$ of lesser dimension can be viewed as negligible in $X$. For example, if $n\gg c$, we determine that an automorphism group of a generic algebra $P$ consists of the automorphisms, which are scalar modulo $P^2$. Generic ideals are in $I(P)$, the annihilator of $P$. In the case of classical nilpotent algebras as above, the generic algebras are graded by the degrees with respect to some generating sets.


title: Quasi-Monte Carlo Radiative Transfer

abstract: We consider an alternative to the Monte Carlo method for dust continuous radiative transfer simulations: the Quasi-Monte Carlo method. We briefly discuss what it is, its history, and possible implementations. We compare the Monte Carlo method with four pseudo-random number generators and five Quasi-Monte Carlo implementations using different low-discrepancy sequences and the Hammersley set. For the comparison, we study different test matter geometries and problems. We present comparison results for single scatterings of radiation from a point source, multiple scatterings of radiation from a point source, and single scatterings of radiation from a spherical star. In all cases, Quasi-Monte Carlo shows better convergence than Monte Carlo. In several test cases, the gain in computation time to achieve a fixed error value reached 40 times. We obtained ten times speed up in many of the considered tests.

categories: astro-ph.SR astro-ph.GA astro-ph.HE astro-ph.IM


title: Good things come in three: Generating SO Post Titles with Pre-Trained Models, Self Improvement and Post Ranking

abstract: Stack Overflow is a prominent Q and A forum, supporting developers in seeking suitable resources on programming-related matters. Having high-quality question titles is an effective means to attract developers' attention. Unfortunately, this is often underestimated, leaving room for improvement. Research has been conducted, predominantly leveraging pre-trained models to generate titles from code snippets and problem descriptions. Yet, getting high-quality titles is still a challenging task, attributed to both the quality of the input data (e.g., containing noise and ambiguity) and inherent constraints in sequence generation models. In this paper, we present FILLER as a solution to generating Stack Overflow post titles using a fine-tuned language model with self-improvement and post ranking. Our study focuses on enhancing pre-trained language models for generating titles for Stack Overflow posts, employing a training and subsequent fine-tuning paradigm for these models. To this end, we integrate the model's predictions into the training process, enabling it to learn from its errors, thereby lessening the effects of exposure bias. Moreover, we apply a post-ranking method to produce a variety of sample candidates, subsequently selecting the most suitable one. To evaluate FILLER, we perform experiments using benchmark datasets, and the empirical findings indicate that our model provides high-quality recommendations. Moreover, it significantly outperforms all the baselines, including Code2Que, SOTitle, CCBERT, M3NSCT5, and GPT3.5-turbo. A user study also shows that FILLER provides more relevant titles, with respect to SOTitle and GPT3.5-turbo.


title: Text-based Transfer Function Design for Semantic Volume Rendering

abstract: Transfer function design is crucial in volume rendering, as it directly influences the visual representation and interpretation of volumetric data. However, creating effective transfer functions that align with users' visual objectives is often challenging due to the complex parameter space and the semantic gap between transfer function values and features of interest within the volume. In this work, we propose a novel approach that leverages recent advancements in language-vision models to bridge this semantic gap. By employing a fully differentiable rendering pipeline and an image-based loss function guided by language descriptions, our method generates transfer functions that yield volume-rendered images closely matching the user's intent. We demonstrate the effectiveness of our approach in creating meaningful transfer functions from simple descriptions, empowering users to intuitively express their desired visual outcomes with minimal effort. This advancement streamlines the transfer function design process and makes volume rendering more accessible to a wider range of users.


title: DataFreeShield: Defending Adversarial Attacks without Training Data

abstract: Recent advances in adversarial robustness rely on an abundant set of training data, where using external or additional datasets has become a common setting. However, in real life, the training data is often kept private for security and privacy issues, while only the pretrained weight is available to the public. In such scenarios, existing methods that assume accessibility to the original data become inapplicable. Thus we investigate the pivotal problem of data-free adversarial robustness, where we try to achieve adversarial robustness without accessing any real data. Through a preliminary study, we highlight the severity of the problem by showing that robustness without the original dataset is difficult to achieve, even with similar domain datasets. To address this issue, we propose DataFreeShield, which tackles the problem from two perspectives: surrogate dataset generation and adversarial training using the generated data. Through extensive validation, we show that DataFreeShield outperforms baselines, demonstrating that the proposed method sets the first entirely data-free solution for the adversarial robustness problem.


title: Simple Games on Complex Networks

abstract: The relationship between topology and dynamics of complex systems has motivated continuing interest from the scientific community. In the present work, we address this interesting topic from the perspective of simple games, involving two teams playing according to a small set of simple rules, taking place on four types of complex networks. Starting from a minimalist game, characterized by full symmetry always leading to ties, four other games are described in progressive order of complexity, taking into account the presence of neighbors as well as strategies. Each of these five games, as well as their specific changes when implemented in four types of networks, are studied in terms of statistics of the total duration of the game as well as the number of victories and ties, with several interesting results that substantiate, in some cases, the importance of the network topology on the respective dynamics. As a subsidiary result, the visualization of relationships between the data elements in terms of coincidence similarity networks allowed a more complete and direct interpretation of the obtained results.


title: Low-Temperature Synthesis of Stable CaZn$_2$P$_2$ Zintl Phosphide Thin Films as Candidate Top Absorbers

abstract: The development of tandem photovoltaics and photoelectrochemical solar cells requires new absorber materials with band gaps in the range of ~1.5-2.3 eV, for use in the top cell paired with a narrower-gap bottom cell. An outstanding challenge is finding materials with suitable optoelectronic and defect properties, good operational stability, and synthesis conditions that preserve underlying device layers. This study demonstrates the Zintl phosphide compound CaZn$_2$P$_2$ as a compelling candidate semiconductor for these applications. We prepare phase pure, 500 nm-thick CaZn$_2$P$_2$ thin films using a scalable reactive sputter deposition process at growth temperatures as low as 100 {\deg}C, which is desirable for device integration. UV-vis spectroscopy shows that CaZn$_2$P$_2$ films exhibit an optical absorptivity of ~10$^4$ cm$^-$$^1$ at ~1.95 eV direct band gap. Room-temperature photoluminescence (PL) measurements show near-band-edge optical emission, and time-resolved microwave conductivity (TRMC) measurements indicate a photoexcited carrier lifetime of ~30 ns. CaZn$_2$P$_2$ is highly stable in both ambient conditions and moisture, as evidenced by PL and TRMC measurements. Experimental data are supported by first-principles calculations, which indicate the absence of low-formation-energy, deep intrinsic defects. Overall, our study should motivate future work integrating this potential top cell absorber material into tandem solar cells.


title: Root Cause Analysis of Anomalies in 5G RAN Using Graph Neural Network and Transformer

abstract: The emergence of 5G technology marks a significant milestone in developing telecommunication networks, enabling exciting new applications such as augmented reality and self-driving vehicles. However, these improvements bring an increased management complexity and a special concern in dealing with failures, as the applications 5G intends to support heavily rely on high network performance and low latency. Thus, automatic self-healing solutions have become effective in dealing with this requirement, allowing a learning-based system to automatically detect anomalies and perform Root Cause Analysis (RCA). However, there are inherent challenges to the implementation of such intelligent systems. First, there is a lack of suitable data for anomaly detection and RCA, as labelled data for failure scenarios is uncommon. Secondly, current intelligent solutions are tailored to LTE networks and do not fully capture the spatio-temporal characteristics present in the data. Considering this, we utilize a calibrated simulator, Simu5G, and generate open-source data for normal and failure scenarios. Using this data, we propose Simba, a state-of-the-art approach for anomaly detection and root cause analysis in 5G Radio Access Networks (RANs). We leverage Graph Neural Networks to capture spatial relationships while a Transformer model is used to learn the temporal dependencies of the data. We implement a prototype of Simba and evaluate it over multiple failures. The outcomes are compared against existing solutions to confirm the superiority of Simba.


title: Low Fidelity Visuo-Tactile Pretraining Improves Vision-Only Manipulation Performance

abstract: Tactile perception is a critical component of solving real-world manipulation tasks, but tactile sensors for manipulation have barriers to use such as fragility and cost. In this work, we engage a robust, low-cost tactile sensor, BeadSight, as an alternative to precise pre-calibrated sensors for a pretraining approach to manipulation. We show that tactile pretraining, even with a low-fidelity sensor as BeadSight, can improve an imitation learning agent's performance on complex manipulation tasks. We demonstrate this method against a baseline USB cable plugging task, previously achieved with a much higher precision GelSight sensor as the tactile input to pretraining. Our best BeadSight pretrained visuo-tactile agent completed the task with 70\% accuracy compared to 85\% for the best GelSight pretrained visuo-tactile agent, with vision-only inference for both.


title: Electroweak Corrections and EFT Operators in $W^+W^-$ production at the LHC

abstract: We investigate the impact of electroweak corrections and Effective Field Theory operators on $W^+W^-$ production at the Large Hadron Collider (LHC). Utilising the Standard Model Effective Field Theory (SMEFT) framework, we extend the Standard Model by incorporating higher-dimensional operators to encapsulate potential new physics effects. These operators allow for a model-independent approach to data interpretation, essential for probing beyond the Standard Model physics. We generate pseudo data at the next-to-leading order in Quantum Chromodynamics and include approximate electroweak corrections. Our analysis focuses on the interplay between these corrections and SMEFT operators at leading order. The inclusion of electroweak corrections is crucial as they can counteract the effects predicted by SMEFT operators, necessitating precise theoretical and experimental handling. By examining $pp \to W^+W^-$ production, a process sensitive to the electroweak symmetry-breaking mechanism, we demonstrate the importance of these corrections in isolating and interpreting new physics signatures. Our results highlight the significant role of electroweak corrections in enhancing the interpretative power of LHC data and in obtaining reliable constraints on new physics interactions.


title: Integrated optical wave analyzer using the discrete fractional Fourier transform

abstract: Within the expansive domain of optical sciences, achieving the precise characterization of light beams stands as a fundamental pursuit, pivotal for various applications, including telecommunications and imaging technologies. This study introduces an innovative methodology aimed at reconstructing the Wigner distribution function of optical signals; a crucial tool in comprehending the time-frequency behavior exhibited by these signals. The proposed approach integrates two robust mathematical tools: the discrete realization of fractional Fourier transform, and the propagator of the quantum harmonic oscillator in waveguide arrays. This integration offers a direct and efficient method for characterizing optical signals by reconstructing their Wigner distribution function in the scope of integrated optics. We provide evidence of how having knowledge of the signal propagation amid the phase-space reconstruction, has desirable advantages in respect to only knowing the signal state.


title: It is not "B\'ezout's identity"

abstract: Given two non-zero integers $a$ and $b$ there exist integers $m$ and $n$ for which $am-bn =(a,b)$. An increasing number of mathematicians have been calling this `B\'ezout's identity', some encouraged by finding "identit\'e de B\'ezout" in Bourbaki's \emph{'El\'ements de math\'ematique}. Moreover the observation that if $\gcd(a,b)=1$ then this is an `if and only if' condition, is sometimes called the "Bachet-B\'ezout theorem". However this is all in Euclid's work from around 300 B.C., when his writings are interpreted in context. So why does he not get credit? Some authors learned the name "B\'ezout's identity" and have perhaps not consulted Euclid, so copied the misattribution. Others, like some Nicolas Bourbaki collaborators, have perhaps browsed Euclid's results, but in a form written for the modern mathematician, and missed out on what he really did (though certainly others, such as Weil, did not). In this article we will carefully explain what Euclid's arguments are and what his approach was. We will also share Kowalski's guess as to the reasons behind Bourbaki's misnomer. To appreciate Euclid, you need to read his work in context: Lengths are the central object of study to the geometer Euclid, though he brilliantly developed the theory of the numbers that measured those lengths. Today's mathematicians read his number theory results as being about abstract numbers not measurements. However the correct interpretation changes how these results are perceived; Euclid's proofs make clear Euclid's intentions. These misperceptions reflect recent discussions about difficulties faced by indigenous people when learning mathematics. We discuss how some indigenous groups may learn numbers in certain practical contexts, not as abstract entities, and struggle when curricula assume that we all share abstract numbers as a basic, primary fully-absorbed working tool.


title: Taming 3DGS: High-Quality Radiance Fields with Limited Resources

abstract: 3D Gaussian Splatting (3DGS) has transformed novel-view synthesis with its fast, interpretable, and high-fidelity rendering. However, its resource requirements limit its usability. Especially on constrained devices, training performance degrades quickly and often cannot complete due to excessive memory consumption of the model. The method converges with an indefinite number of Gaussians -- many of them redundant -- making rendering unnecessarily slow and preventing its usage in downstream tasks that expect fixed-size inputs. To address these issues, we tackle the challenges of training and rendering 3DGS models on a budget. We use a guided, purely constructive densification process that steers densification toward Gaussians that raise the reconstruction quality. Model size continuously increases in a controlled manner towards an exact budget, using score-based densification of Gaussians with training-time priors that measure their contribution. We further address training speed obstacles: following a careful analysis of 3DGS' original pipeline, we derive faster, numerically equivalent solutions for gradient computation and attribute updates, including an alternative parallelization for efficient backpropagation. We also propose quality-preserving approximations where suitable to reduce training time even further. Taken together, these enhancements yield a robust, scalable solution with reduced training times, lower compute and memory requirements, and high quality. Our evaluation shows that in a budgeted setting, we obtain competitive quality metrics with 3DGS while achieving a 4--5x reduction in both model size and training time. With more generous budgets, our measured quality surpasses theirs. These advances open the door for novel-view synthesis in constrained environments, e.g., mobile devices.


title: Discontinuous Galerkin schemes for hyperbolic systems in non-conservative variables: quasi-conservative formulation with subcell finite volume corrections

abstract: We present a novel quasi-conservative arbitrary high order accurate ADER discontinuous Galerkin (DG) method allowing to efficiently use a non-conservative form of the considered partial differential system, so that the governing equations can be solved directly in the most physically relevant set of variables. This is particularly interesting for multi-material flows with moving interfaces and steep, large magnitude contact discontinuities, as well as in presence of highly non-linear thermodynamics. However, the non-conservative formulation of course introduces a conservation error which would normally lead to a wrong approximation of shock waves. Hence, from the theoretical point of view, we give a formal definition of the conservation defect of non-conservative schemes and we analyze this defect providing a local quasi-conservation condition, which allows us to prove a modified Lax-Wendroff theorem. Then, to deal with shock waves in practice, we exploit the framework of the so-called a posteriori subcell finite volume (FV) limiter, so that, in troubled cells appropriately detected, we can incorporate a local conservation correction. Our corrected FV update entirely removes the local conservation defect, allowing, at least formally, to fit in the hypotheses of the proposed modified Lax-Wendroff theorem. Here, the shock-triggered troubled cells are detected by combining physical admissibility criteria, a discrete maximum principle and a shock sensor inspired by Lagrangian hydrodynamics. To prove the capabilities of our novel approach, first, we show that we are able to recover the same results given by conservative schemes on classical benchmarks for the single-fluid Euler equations. We then conclude by showing the improved reliability of our scheme on the multi-fluid Euler system on examples like the interaction of a shock with a helium bubble.


title: Contact forms on SL(2p)

abstract: When p is greater than 1, any left invariant Pfaffian forms on the simple Lie group SL(2p) are not contact forms. In this paper, we give a contact form on this Lie group which is invariant by the subgroup SO(2p).


title: VigilEye -- Artificial Intelligence-based Real-time Driver Drowsiness Detection

abstract: This study presents a novel driver drowsiness detection system that combines deep learning techniques with the OpenCV framework. The system utilises facial landmarks extracted from the driver's face as input to Convolutional Neural Networks trained to recognise drowsiness patterns. The integration of OpenCV enables real-time video processing, making the system suitable for practical implementation. Extensive experiments on a diverse dataset demonstrate high accuracy, sensitivity, and specificity in detecting drowsiness. The proposed system has the potential to enhance road safety by providing timely alerts to prevent accidents caused by driver fatigue. This research contributes to advancing real-time driver monitoring systems and has implications for automotive safety and intelligent transportation systems. The successful application of deep learning techniques in this context opens up new avenues for future research in driver monitoring and vehicle safety. The implementation code for the paper is available at https://github.com/LUFFY7001/Driver-s-Drowsiness-Detection.


title: Generating Music with Structure Using Self-Similarity as Attention

abstract: Despite the innovations in deep learning and generative AI, creating long term structure as well as the layers of repeated structure common in musical works remains an open challenge in music generation. We propose an attention layer that uses a novel approach applying user-supplied self-similarity matrices to previous time steps, and demonstrate it in our Similarity Incentivized Neural Generator (SING) system, a deep learning autonomous music generation system with two layers. The first is a vanilla Long Short Term Memory layer, and the second is the proposed attention layer. During generation, this attention mechanism imposes a suggested structure from a template piece on the generated music. We train SING on the MAESTRO dataset using a novel variable batching method, and compare its performance to the same model without the attention mechanism. The addition of our proposed attention mechanism significantly improves the network's ability to replicate specific structures, and it performs better on an unseen test set than a model without the attention mechanism.


title: Testing the Feasibility of Linear Programs with Bandit Feedback

abstract: While the recent literature has seen a surge in the study of constrained bandit problems, all existing methods for these begin by assuming the feasibility of the underlying problem. We initiate the study of testing such feasibility assumptions, and in particular address the problem in the linear bandit setting, thus characterising the costs of feasibility testing for an unknown linear program using bandit feedback. Concretely, we test if $\exists x: Ax \ge 0$ for an unknown $A \in \mathbb{R}^{m \times d}$, by playing a sequence of actions $x_t\in \mathbb{R}^d$, and observing $Ax_t + \mathrm{noise}$ in response. By identifying the hypothesis as determining the sign of the value of a minimax game, we construct a novel test based on low-regret algorithms and a nonasymptotic law of iterated logarithms. We prove that this test is reliable, and adapts to the `signal level,' $\Gamma,$ of any instance, with mean sample costs scaling as $\widetilde{O}(d^2/\Gamma^2)$. We complement this by a minimax lower bound of $\Omega(d/\Gamma^2)$ for sample costs of reliable tests, dominating prior asymptotic lower bounds by capturing the dependence on $d$, and thus elucidating a basic insight missing in the extant literature on such problems.


title: Efficient Human Pose Estimation: Leveraging Advanced Techniques with MediaPipe

abstract: This study presents significant enhancements in human pose estimation using the MediaPipe framework. The research focuses on improving accuracy, computational efficiency, and real-time processing capabilities by comprehensively optimising the underlying algorithms. Novel modifications are introduced that substantially enhance pose estimation accuracy across challenging scenarios, such as dynamic movements and partial occlusions. The improved framework is benchmarked against traditional models, demonstrating considerable precision and computational speed gains. The advancements have wide-ranging applications in augmented reality, sports analytics, and healthcare, enabling more immersive experiences, refined performance analysis, and advanced patient monitoring. The study also explores the integration of these enhancements within mobile and embedded systems, addressing the need for computational efficiency and broader accessibility. The implications of this research set a new benchmark for real-time human pose estimation technologies and pave the way for future innovations in the field. The implementation code for the paper is available at https://github.com/avhixd/Human_pose_estimation.


title: Machine Learning Materials Properties with Accurate Predictions, Uncertainty Estimates, Domain Guidance, and Persistent Online Accessibility

abstract: One compelling vision of the future of materials discovery and design involves the use of machine learning (ML) models to predict materials properties and then rapidly find materials tailored for specific applications. However, realizing this vision requires both providing detailed uncertainty quantification (model prediction errors and domain of applicability) and making models readily usable. At present, it is common practice in the community to assess ML model performance only in terms of prediction accuracy (e.g., mean absolute error), while neglecting detailed uncertainty quantification and robust model accessibility and usability. Here, we demonstrate a practical method for realizing both uncertainty and accessibility features with a large set of models. We develop random forest ML models for 33 materials properties spanning an array of data sources (computational and experimental) and property types (electrical, mechanical, thermodynamic, etc.). All models have calibrated ensemble error bars to quantify prediction uncertainty and domain of applicability guidance enabled by kernel-density-estimate-based feature distance measures. All data and models are publicly hosted on the Garden-AI infrastructure, which provides an easy-to-use, persistent interface for model dissemination that permits models to be invoked with only a few lines of Python code. We demonstrate the power of this approach by using our models to conduct a fully ML-based materials discovery exercise to search for new stable, highly active perovskite oxide catalyst materials.


title: Photonics-integrated terahertz transmission lines

abstract: Modern communication and sensing technologies rely on connecting the optical domain with the microwave domain. Terahertz technologies, spanning increased frequencies from 100 GHz to 10 THz, are critical for providing larger bandwidths and faster switching capabilities. Despite progress in high-frequency electronic sources and detectors, these technologies lack a direct link to the optical domain, and face challenges with increasing frequencies (> 1 THz). Nonlinear processes, such as optical rectification, offer potential solutions for terahertz generation but are currently limited to discrete components based on bulk nonlinear crystals, missing out miniaturisation opportunities from integration of optical circuits with terahertz ones. We address this challenge by integrating phase-matched terahertz transmission lines with photonic circuits in a single hybrid architecture on the thin-film lithium niobate~(TFLN) platform. This design demonstrates phase-matched, broadband terahertz emission spanning four octaves (200 GHz to 3.5 THz) through broadband down-conversion of optical signals at telecommunication wavelengths. The micron-sized transmission lines provide terahertz field confinement with minimal radiative loss, enabling compact THz cavities embedded in integrated photonic circuits. This integration is crucial for leveraging photonics' advantages in low-noise, low-loss, and high-speed operations for terahertz generation. Our platform can readily be integrated with other mature photonics components, such as electro-optic modulators, frequency comb sources, or femtosecond sources to pave the way for compact, power-efficient, and frequency-agile broadband sources with applications in telecommunications, spectroscopy, quantum electrodynamics and optical computing.


title: GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables

abstract: This article presents GenSQL, a probabilistic programming system for querying probabilistic generative models of database tables. By augmenting SQL with only a few key primitives for querying probabilistic models, GenSQL enables complex Bayesian inference workflows to be concisely implemented. GenSQL's query planner rests on a unified programmatic interface for interacting with probabilistic models of tabular data, which makes it possible to use models written in a variety of probabilistic programming languages that are tailored to specific workflows. Probabilistic models may be automatically learned via probabilistic program synthesis, hand-designed, or a combination of both. GenSQL is formalized using a novel type system and denotational semantics, which together enable us to establish proofs that precisely characterize its soundness guarantees. We evaluate our system on two case real-world studies -- an anomaly detection in clinical trials and conditional synthetic data generation for a virtual wet lab -- and show that GenSQL more accurately captures the complexity of the data as compared to common baselines. We also show that the declarative syntax in GenSQL is more concise and less error-prone as compared to several alternatives. Finally, GenSQL delivers a 1.7-6.8x speedup compared to its closest competitor on a representative benchmark set and runs in comparable time to hand-written code, in part due to its reusable optimizations and code specialization.


title: Circular Polarization of Simulated Images of Black Holes

abstract: Models of the resolved Event Horizon Telescope (EHT) sources Sgr A* and M87* are constrained by observations at multiple wavelengths, resolutions, polarizations, and time cadences. In this paper we compare unresolved circular polarization (CP) measurements to a library of models, where each model is characterized by a distribution of CP over time. In the library we vary the spin of the black hole, the magnetic field strength at the horizon (i.e. both SANE and MAD models), the observer inclination, a parameter for the maximum ion-electron temperature ratio assuming a thermal plasma, and the direction of the magnetic field dipole moment. We find that ALMA observations of Sgr A* are inconsistent with all edge-on ($i = 90^\circ$) models. Restricting attention to the magnetically arrested disk (MAD) models favored by earlier EHT studies of Sgr A*, we find that only models with magnetic dipole moment pointing away from the observer are consistent with ALMA data. We also note that in 26 of the 27 passing MAD models the accretion flow rotates clockwise on the sky. We provide a table of the mean and standard deviation of the CP distributions for all model parameters along with their trends.


title: Ultrasensitive acoustic graphene plasmons in a graphene-transition metal dichalcogenide heterostructure: strong plasmon-phonon coupling and wavelength sensitivity enhanced by a metal screen

abstract: Acoustic plasmons in graphene exhibit strong confinement induced by a proximate metal surface and hybridize with phonons of transition metal dichalcogenides (TMDs) when these materials are combined in a van der Waals heterostructure, thus forming screened graphene plasmon-phonon polaritons (SGPPPs), a type of acoustic mode. While SGPPPs are shown to be very sensitive to the dielectric properties of the environment, enhancing the SGPPPs coupling strength in realistic heterostructures is still challenging. Here we employ the quantum electrostatic heterostructure model, which builds upon the density functional theory calculations for monolayers, to show that the use of a metal as a substrate for graphene-TMD heterostructures (i) vigorously enhances the coupling strength between acoustic plasmons and the TMD phonons, and (ii) markedly improves the sensitivity of the plasmon wavelength on the structural details of the host platform in real space, thus allowing one to use the effect of environmental screening on acoustic plasmons to probe the structure and composition of a van der Waals heterostructure down to the monolayer resolution.


title: ProBE: Proportioning Privacy Budget for Complex Exploratory Decision Support

abstract: This paper studies privacy in the context of complex decision support queries composed of multiple conditions on different aggregate statistics combined using disjunction and conjunction operators. Utility requirements for such queries necessitate the need for private mechanisms that guarantee a bound on the false negative and false positive errors. This paper formally defines complex decision support queries and their accuracy requirements, and provides algorithms that proportion the existing budget to optimally minimize privacy loss while supporting a bounded guarantee on the accuracy. Our experimental results on multiple real-life datasets show that our algorithms successfully maintain such utility guarantees, while also minimizing privacy loss.


title: Adaptive Self-Supervised Consistency-Guided Diffusion Model for Accelerated MRI Reconstruction

abstract: Purpose: To propose a self-supervised deep learning-based compressed sensing MRI (DL-based CS-MRI) method named "Adaptive Self-Supervised Consistency Guided Diffusion Model (ASSCGD)" to accelerate data acquisition without requiring fully sampled datasets. Materials and Methods: We used the fastMRI multi-coil brain axial T2-weighted (T2-w) dataset from 1,376 cases and single-coil brain quantitative magnetization prepared 2 rapid acquisition gradient echoes (MP2RAGE) T1 maps from 318 cases to train and test our model. Robustness against domain shift was evaluated using two out-of-distribution (OOD) datasets: multi-coil brain axial postcontrast T1 -weighted (T1c) dataset from 50 cases and axial T1-weighted (T1-w) dataset from 50 patients. Data were retrospectively subsampled at acceleration rates R in {2x, 4x, 8x}. ASSCGD partitions a random sampling pattern into two disjoint sets, ensuring data consistency during training. We compared our method with ReconFormer Transformer and SS-MRI, assessing performance using normalized mean squared error (NMSE), peak signal-to-noise ratio (PSNR), and structural similarity index (SSIM). Statistical tests included one-way analysis of variance (ANOVA) and multi-comparison Tukey's Honesty Significant Difference (HSD) tests. Results: ASSCGD preserved fine structures and brain abnormalities visually better than comparative methods at R = 8x for both multi-coil and single-coil datasets. It achieved the lowest NMSE at R in {4x, 8x}, and the highest PSNR and SSIM values at all acceleration rates for the multi-coil dataset. Similar trends were observed for the single-coil dataset, though SSIM values were comparable to ReconFormer at R in {2x, 8x}. These results were further confirmed by the voxel-wise correlation scatter plots. OOD results showed significant (p << 10^-5 ) improvements in undersampled image quality after reconstruction.


title: FIRST: Faster Improved Listwise Reranking with Single Token Decoding

abstract: Large Language Models (LLMs) have significantly advanced the field of information retrieval, particularly for reranking. Listwise LLM rerankers have showcased superior performance and generalizability compared to existing supervised approaches. However, conventional listwise LLM reranking methods lack efficiency as they provide ranking output in the form of a generated ordered sequence of candidate passage identifiers. Further, they are trained with the typical language modeling objective, which treats all ranking errors uniformly--potentially at the cost of misranking highly relevant passages. Addressing these limitations, we introduce FIRST, a novel listwise LLM reranking approach leveraging the output logits of the first generated identifier to directly obtain a ranked ordering of the candidates. Further, we incorporate a learning-to-rank loss during training, prioritizing ranking accuracy for the more relevant passages. Empirical results demonstrate that FIRST accelerates inference by 50% while maintaining a robust ranking performance with gains across the BEIR benchmark. Finally, to illustrate the practical effectiveness of listwise LLM rerankers, we investigate their application in providing relevance feedback for retrievers during inference. Our results show that LLM rerankers can provide a stronger distillation signal compared to cross-encoders, yielding substantial improvements in retriever recall after relevance feedback.


title: TorchSpatial: A Location Encoding Framework and Benchmark for Spatial Representation Learning

abstract: Spatial representation learning (SRL) aims at learning general-purpose neural network representations from various types of spatial data (e.g., points, polylines, polygons, networks, images, etc.) in their native formats. Learning good spatial representations is a fundamental problem for various downstream applications such as species distribution modeling, weather forecasting, trajectory generation, geographic question answering, etc. Even though SRL has become the foundation of almost all geospatial artificial intelligence (GeoAI) research, we have not yet seen significant efforts to develop an extensive deep learning framework and benchmark to support SRL model development and evaluation. To fill this gap, we propose TorchSpatial, a learning framework and benchmark for location (point) encoding, which is one of the most fundamental data types of spatial representation learning. TorchSpatial contains three key components: 1) a unified location encoding framework that consolidates 15 commonly recognized location encoders, ensuring scalability and reproducibility of the implementations; 2) the LocBench benchmark tasks encompassing 7 geo-aware image classification and 4 geo-aware image regression datasets; 3) a comprehensive suite of evaluation metrics to quantify geo-aware models' overall performance as well as their geographic bias, with a novel Geo-Bias Score metric. Finally, we provide a detailed analysis and insights into the model performance and geographic bias of different location encoders. We believe TorchSpatial will foster future advancement of spatial representation learning and spatial fairness in GeoAI research. The TorchSpatial model framework, LocBench, and Geo-Bias Score evaluation framework are available at https://github.com/seai-lab/TorchSpatial.


title: Contextual Sprint Classification in Soccer Based on Deep Learning

abstract: The analysis of high-intensity runs (or sprints) in soccer has long been a topic of interest for sports science researchers and practitioners. In particular, recent studies suggested contextualizing sprints based on their tactical purposes to better understand the physical-tactical requirements of modern match-play. However, they have a limitation in scalability, as human experts have to manually classify hundreds of sprints for every match. To address this challenge, this paper proposes a deep learning framework for automatically classifying sprints in soccer into contextual categories. The proposed model covers the permutation-invariant and sequential nature of multi-agent trajectories in soccer by deploying Set Transformers and a bidirectional GRU. We train the model with category labels made through the collaboration of human annotators and a rule-based classifier. Experimental results show that our model classifies sprints in the test dataset into 15 categories with the accuracy of 77.65%, implying the potential of the proposed framework for facilitating the integrated analysis of soccer sprints at scale.


title: Excitonic Bose-polarons in electron-hole bilayers

abstract: Bose polarons are mobile impurities dressed by density fluctuations of a surrounding degenerate Bose gas. These many-body objects have been realized in ultracold atomic gasses and become a subject of intensive studies. In this work, we show that excitons in electron-hole bilayers offer new opportunities for exploring polarons in strongly interacting, highly tunable bosonic systems. We found that Bose polarons are formed by spatially direct excitons immersed in degenerate Bose gases of spatially indirect excitons (IXs). We detected both attractive and repulsive Bose polarons by measuring photoluminescence excitation spectra. We controlled the density of IX Bose gas by optical excitation and observed an enhancement of the energy splitting between attractive and repulsive Bose polarons with increasing IX density, in agreement with our theoretical calculations.


title: The Stochastic Occupation Kernel Method for System Identification

abstract: The method of occupation kernels has been used to learn ordinary differential equations from data in a non-parametric way. We propose a two-step method for learning the drift and diffusion of a stochastic differential equation given snapshots of the process. In the first step, we learn the drift by applying the occupation kernel algorithm to the expected value of the process. In the second step, we learn the diffusion given the drift using a semi-definite program. Specifically, we learn the diffusion squared as a non-negative function in a RKHS associated with the square of a kernel. We present examples and simulations.


title: Matching Problems to Solutions: An Explainable Way of Solving Machine Learning Problems

abstract: Domain experts from all fields are called upon, working with data scientists, to explore the use of ML techniques to solve their problems. Starting from a domain problem/question, ML-based problem-solving typically involves three steps: (1) formulating the business problem (problem domain) as a data analysis problem (solution domain), (2) sketching a high-level ML-based solution pattern, given the domain requirements and the properties of the available data, and (3) designing and refining the different components of the solution pattern. There has to be a substantial body of ML problem solving knowledge that ML researchers agree on, and that ML practitioners routinely apply to solve the most common problems. Our work deals with capturing this body of knowledge, and embodying it in a ML problem solving workbench to helps domain specialists who are not ML experts to explore the ML solution space. This paper focuses on: 1) the representation of domain problems, ML problems, and the main ML solution artefacts, and 2) a heuristic matching function that helps identify the ML algorithm family that is most appropriate for the domain problem at hand, given the domain (expert) requirements, and the characteristics of the training data. We review related work and outline our strategy for validating the workbench


title: Depinning, Melting and Sliding of Generalized Wigner Crystals in Moire Systems

abstract: We numerically examine the depinning, sliding, and melting of commensurate and incommensurate Wigner crystals on two-dimensional hexagonal periodic substrates near fillings of 1/3, 1/2, and 2/3 to model the dynamics of generalized Wigner crystals in moire heterostructures. At low temperatures where thermal fluctuations are irrelevant, for commensurate fillings we find a strongly pinned state that depins into a sliding crystal, while at incommensurate fillings, the depinning threshold is strongly reduced. For fillings below 1/2, the depinning occurs in a two-step process. Above the first depinning threshold, there is an extended range of drives where the conduction occurs via the sliding of anti-kinks along the charge stripes, followed by a second threshold where all of the charges begin to slide. At finite temperatures, the external driving reduces the effective melting temperature at commensurate fillings and enhances creep at incommensurate fillings. We show that depinning into different sliding states, such as moving fluids or moving crystals, produces nonlinear features in the transport curves. We also show that transport is asymmetric on either side of a commensurate filling due to the different dynamics for interstitials versus holes in the commensurate structure. A variety of sliding states should be accessible for generalized Wigner crystals at finite temperatures even for low drives. If experiments can realize sliding dynamics in moire systems, it would open a new class of commensurate and incommensurate phases for study. Additionally, the sliding dynamics and anti-kink flow could provide new functionalities for charge transport in moire heterostructures.


title: Flat Posterior Does Matter For Bayesian Transfer Learning

abstract: The large-scale pre-trained neural network has achieved notable success in enhancing performance for downstream tasks. Another promising approach for generalization is Bayesian Neural Network (BNN), which integrates Bayesian methods into neural network architectures, offering advantages such as Bayesian Model averaging (BMA) and uncertainty quantification. Despite these benefits, transfer learning for BNNs has not been widely investigated and shows limited improvement. We hypothesize that this issue arises from the inability to find flat minima, which is crucial for generalization performance. To address this, we evaluate the sharpness of BNNs in various settings, revealing their insufficiency in seeking flat minima and the influence of flatness on BMA performance. Therefore, we propose Sharpness-aware Bayesian Model Averaging (SA-BMA), a Bayesian-fitting flat posterior seeking optimizer integrated with Bayesian transfer learning. SA-BMA calculates the divergence between posteriors in the parameter space, aligning with the nature of BNNs, and serves as a generalized version of existing sharpness-aware optimizers. We validate that SA-BMA improves generalization performance in few-shot classification and distribution shift scenarios by ensuring flatness.


title: Brain states analysis of EEG data distinguishes Multiple Sclerosis

abstract: Background: The treatment of multiple sclerosis implies, beside protecting the body, the preserving of mental functions, considering how adverse cognitive decay affects quality of life. However a cognitive assessment is nowadays still realized with neuro-psychological tests without monitoring cognition on objective neurobiological grounds whereas the ongoing neural activity is in fact readily observable and readable. Objective: The proposed method deciphers electrical brain states which as multi-dimensional cognetoms discriminate quantitatively normal from pathological patterns in the EEG signal. Methods: Baseline recordings from a prior EEG study of 93 subjects, 37 with MS, were analyzed. Spectral bands served to compute cognetoms and categorize subsequent feature combination sets. Results: Using cognetoms and spectral bands, a cross-sectional comparison separated patients from controls with a precision of 82\% while using bands alone arrived at 64\%. A few feature combinations were identified to drive this distinction. Conclusions: Brain states analysis distinguishes successfully controls from patients with MS. Our results imply that this data-driven cross-sectional comparison of EEG data may complement customary diagnostic methods in neurology and psychiatry. However, thinking ahead in terms of quantitative monitoring of disease time course and treatment efficacy, we hope having established the analytic principles applicable to longitudinal clinical studies.


title: Generalized Type II Fusion of Cluster States

abstract: Measurement based quantum computation is a quantum computing paradigm, that employs single-qubit measurements performed on an entangled resource state in the form of a cluster state. A basic ingredient in the construction of the resource state is the type II fusion procedure, which connects two cluster states. We generalize the type II fusion procedure by generalizing the fusion matrix, and classify the resulting final states, which also include cluster states up to single-qubit rotations. We prove that the probability for the success of the generalized type II fusion is bounded by fifty percent, and classify all the possibilities to saturate the bound. We analyze the enhancement of the fusion success probability above the fifty percent bound, by the reduction of the entanglement entropy of the fusion link. We prove that the only states, that can be obtained with hundred percent probability of success, are product states.


title: Identification and Estimation of Causal Effects in High-Frequency Event Studies

abstract: We provide precise conditions for nonparametric identification of causal effects by high-frequency event study regressions, which have been used widely in the recent macroeconomics, financial economics and political economy literatures. The high-frequency event study method regresses changes in an outcome variable on a measure of unexpected changes in a policy variable in a narrow time window around an event or a policy announcement (e.g., a 30-minute window around an FOMC announcement). We show that, contrary to popular belief, the narrow size of the window is not sufficient for identification. Rather, the population regression coefficient identifies a causal estimand when (i) the effect of the policy shock on the outcome does not depend on the other shocks (separability) and (ii) the surprise component of the news or event dominates all other shocks that are present in the event window (relative exogeneity). Technically, the latter condition requires the policy shock to have infinite variance in the event window. Under these conditions, we establish the causal meaning of the event study estimand corresponding to the regression coefficient and the consistency and asymptotic normality of the event study estimator. Notably, this standard linear regression estimator is robust to general forms of nonlinearity. We apply our results to Nakamura and Steinsson's (2018a) analysis of the real economic effects of monetary policy, providing a simple empirical procedure to analyze the extent to which the standard event study estimator adequately estimates causal effects of interest.


title: PI-Whisper: An Adaptive and Incremental ASR Framework for Diverse and Evolving Speaker Characteristics

abstract: As edge-based automatic speech recognition (ASR) technologies become increasingly prevalent for the development of intelligent and personalized assistants, three important challenges must be addressed for these resource-constrained ASR models, i.e., adaptivity, incrementality, and inclusivity. We propose a novel ASR framework, PI-Whisper, in this work and show how it can improve an ASR's recognition capabilities adaptively by identifying different speakers' characteristics in real-time, how such an adaption can be performed incrementally without repetitive retraining, and how it can improve the equity and fairness for diverse speaker groups. More impressively, our proposed PI-Whisper framework attains all of these nice properties while still achieving state-of-the-art accuracy with up to 13.7% reduction of the word error rate (WER) with linear scalability with respect to computing resources.


title: CARE: a Benchmark Suite for the Classification and Retrieval of Enzymes

abstract: Enzymes are important proteins that catalyze chemical reactions. In recent years, machine learning methods have emerged to predict enzyme function from sequence; however, there are no standardized benchmarks to evaluate these methods. We introduce CARE, a benchmark and dataset suite for the Classification And Retrieval of Enzymes (CARE). CARE centers on two tasks: (1) classification of a protein sequence by its enzyme commission (EC) number and (2) retrieval of an EC number given a chemical reaction. For each task, we design train-test splits to evaluate different kinds of out-of-distribution generalization that are relevant to real use cases. For the classification task, we provide baselines for state-of-the-art methods. Because the retrieval task has not been previously formalized, we propose a method called Contrastive Reaction-EnzymE Pretraining (CREEP) as one of the first baselines for this task. CARE is available at https://github.com/jsunn-y/CARE/.


title: Lieb-Robinson bounds in the continuum via localized frames

abstract: We study the dynamics of interacting fermions in the continuum. Our approach uses the concept of lattice-localized frames, which we introduce here. We first prove a Lieb-Robinson bound that is valid for a general class of local interactions, which implies the existence of the dynamics at the level of the CAR algebra. We then turn to the physical situation relevant to the (fractional) quantum Hall effect, namely the quasi-free second quantized Landau Hamiltonian to which electron-electron interactions can be added.


title: Fluxon transmission measurements of engineered long Josephson junctions for efficient computing

abstract: Single-Flux Quantum (SFQ) digital logic is typically both energy efficient and fast, but the logic that uses reversibility provides the most extreme method for improving efficiency. We are studying engineered long Josephson junctions (LJJs) that are components for future ballistic logic gates within a logic family named Reversible Fluxon Logic (RFL). Therein, the bit states are represented by two possible polarities of an SFQ. Here we test engineered LJJs with component JJ critical currents of 7.5uA and a Josephson penetration depth of approximately 2.4 unit cells. In our study, the SFQ rest energy in the Long JJ is determined to be 47zJ (regardless of bit state). The LJJs were tested in two environments, at 4.2K in a helium dunk probe (DP) and 3.5K in a cryogen-free refrigerator (CFR). The on-chip circuit consists of three parts in sequence: an SFQ launcher, the LJJ under test, and a detector that uses biased 20uA JJs. Data show that SFQ detection events are synchronous with SFQ launch events in both setups, indicating possible ballistic SFQ transmission in the LJJs. The jitter of the events in the CFR setup indicates that we are limited by signal filtering in our CFR setup and by noise in the DP setup.


title: Preventing Finite-Time Blowup in a Constrained Potential for Reaction-Diffusion Equations

abstract: We examine stochastic reaction-diffusion equations of the form $\frac{\partial u}{\partial t} = \mathcal{A} u(t,x) + f(u(t,x)) + \sigma(u(t,x))\dot{W}(t,x)$ and provide sufficient conditions on the reaction term and multiplicative noise term that guarantees solutions never explode in finite time.


title: Large Language Models have Intrinsic Self-Correction Ability

abstract: Large language models (LLMs) have attracted significant attention for their remarkable abilities in various natural language processing tasks, but they suffer from hallucinations that will cause performance degradation. One promising solution to improve the LLMs' performance is to ask LLMs to revise their answer after generation, a technique known as self-correction. Among the two types of self-correction, intrinsic self-correction is considered a promising direction because it does not utilize external knowledge. However, recent works doubt the validity of LLM's ability to conduct intrinsic self-correction. In this paper, we present a novel perspective on the intrinsic self-correction capabilities of LLMs through theoretical analyses and empirical experiments. In addition, we identify two critical factors for successful self-correction: zero temperature and fair prompts. Leveraging these factors, we demonstrate that intrinsic self-correction ability is exhibited across multiple existing LLMs. Our findings offer insights into the fundamental theories underlying the self-correction behavior of LLMs and remark on the importance of unbiased prompts and zero temperature settings in harnessing their full potential.


title: CFD-DEM study of mixing in a monodispersed solid-liquid fluidized bed

abstract: In this work, we assess the internal dynamics of particles in liquid-solid fluidized beds using an unresolved CFD-DEM model. We use the Nearest Neighbors Method (NNM) and the mixing index based on the principal component analysis proposed by Doucet et al. [1] to quantify the bed mixing for several flow regimes and particle properties. Discussions on the advantages and drawbacks of each method are provided. Using results for several inlet flow rates, we show that the dimensionless mixing time reaches a plateau and does not increase significantly with the inlet velocity. The principal component analysis shows that the studied fluidized bed has no preferential mixing component. Additionally, we show that, except for the sliding friction coefficient, the collision properties have almost negligible influence on the mixing behavior.


title: Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery

abstract: We propose CoNSAL (Combining Neural networks and Symbolic regression for Analytical Lyapunov function) to construct analytical Lyapunov functions for nonlinear dynamic systems. This framework contains a neural Lyapunov function and a symbolic regression component, where symbolic regression is applied to distill the neural network to precise analytical forms. Our approach utilizes symbolic regression not only as a tool for translation but also as a means to uncover counterexamples. This procedure terminates when no counterexamples are found in the analytical formulation. Compared with previous results, our algorithm directly produces an analytical form of the Lyapunov function with improved interpretability in both the learning process and the final results. We apply our algorithm to 2-D inverted pendulum, path following, Van Der Pol Oscillator, 3-D trig dynamics, 4-D rotating wheel pendulum, 6-D 3-bus power system, and demonstrate that our algorithm successfully finds their valid Lyapunov functions.


title: Inferring Pluggable Types with Machine Learning

abstract: Pluggable type systems allow programmers to extend the type system of a programming language to enforce semantic properties defined by the programmer. Pluggable type systems are difficult to deploy in legacy codebases because they require programmers to write type annotations manually. This paper investigates how to use machine learning to infer type qualifiers automatically. We propose a novel representation, NaP-AST, that encodes minimal dataflow hints for the effective inference of type qualifiers. We evaluate several model architectures for inferring type qualifiers, including Graph Transformer Network, Graph Convolutional Network and Large Language Model. We further validated these models by applying them to 12 open-source programs from a prior evaluation of the NullAway pluggable typechecker, lowering warnings in all but one unannotated project. We discovered that GTN shows the best performance, with a recall of .89 and precision of 0.6. Furthermore, we conduct a study to estimate the number of Java classes needed for good performance of the trained model. For our feasibility study, performance improved around 16k classes, and deteriorated due to overfitting around 22k classes.


title: Open-vocabulary Pick and Place via Patch-level Semantic Maps

abstract: Controlling robots through natural language instructions in open-vocabulary scenarios is pivotal for enhancing human-robot collaboration and complex robot behavior synthesis. However, achieving this capability poses significant challenges due to the need for a system that can generalize from limited data to a wide range of tasks and environments. Existing methods rely on large, costly datasets and struggle with generalization. This paper introduces Grounded Equivariant Manipulation (GEM), a novel approach that leverages the generative capabilities of pre-trained vision-language models and geometric symmetries to facilitate few-shot and zero-shot learning for open-vocabulary robot manipulation tasks. Our experiments demonstrate GEM's high sample efficiency and superior generalization across diverse pick-and-place tasks in both simulation and real-world experiments, showcasing its ability to adapt to novel instructions and unseen objects with minimal data requirements. GEM advances a significant step forward in the domain of language-conditioned robot control, bridging the gap between semantic understanding and action generation in robotic systems.


title: Oscillation Frequencies of Moderately Rotating Delta Scuti Stars: Asymmetric Mode Splittings Due to Non-spherical Distortion

abstract: We find that the observed pressure-mode rotational splittings of slowly/moderately rotating Delta Scuti stars and Beta Cephei stars mostly have a positive asymmetry. That is, the left frequency spacing is larger than the right spacing in the dipole mode splitting triplets and the $l=2$ mode splitting multiplets (considering $m=1, 0, -1$ modes only). This is in agreement with the second-order perturbative effect of the rotational non-spherical distortion: both the prograde and retrograde modes have their frequencies shifted towards lower values relative to the $m=0$ modes. We thus study the rotational perturbation both in the first and second order, as well as the near-degeneracy mode coupling effect in MESA models representing Delta Scuti stars. For faster rotators, the near-degeneracy mode coupling between the nearest radial and quadrupole modes can significantly shift the $m=0$ modes, reduce the splitting asymmetry, and even change its sign. We find the theoretical splitting asymmetry from the second-order non-spherical distortion is larger than observed asymmetry. To facilitate future detections, we predict correlations between splitting asymmetry, splitting amplitude, and pulsation frequency. We also discuss additional factors that can influence splitting asymmetry, including embedded magnetic fields, resonant mode coupling, and binarity.


title: Iterative Service-Learning: A Computing-Based Case-study Applied to Small Rural Organizations

abstract: This paper describes the iterative use of service learning to develop, review, and improve computing-based artifacts. It is well-known that computing students benefit from service-learning experiences as do the community partners. It is also well-known that computing artifacts rarely function well long-term without versioning and updates. Service-learning projects are often one-time engagements, completed by single teams of students over the course of a semester course. This limits the benefit for community partners that do not have the expertise or resources to review and update a project on their own. Over several years, teams of undergraduate students in a capstone course created tailored social media plans for numerous small rural organizations. The projects were required to meet client specific needs, with identified audiences, measurable goals, and strategies and tactics to reach the identified goals. This paper builds on previously results for 60 projects conducted over several years. Nine clients were selected to participate in the iterative follow-up process, where new student teams conducted client interviews, reviewed the initial plans, and analyzed metrics from the current strategies and tactics to provide updated, improved artifacts. Using ABET learning objectives as a basis, clients reviewed the student teams and artifacts. This longitudinal study discusses the impact of this intervention to increase implementation and sustained use rates of computing artifacts developed through service learning. Both students and clients reported high satisfaction levels, and clients were particularly satisfied with the iterative improvement process. This research demonstrates an innovative practice for creating and maintaining computing artifacts through iterative service learning, while addressing the resource constraints of small organizations.


title: Calibrated Forecasting and Persuasion

abstract: How should an expert send forecasts to maximize her utility subject to passing a calibration test? We consider a dynamic game where an expert sends probabilistic forecasts to a decision maker. The decision maker uses a calibration test based on past outcomes to verify the expert's forecasts. We characterize the optimal forecasting strategy by reducing the dynamic game to a static persuasion problem. A distribution of forecasts is implementable by a calibrated strategy if and only if it is a mean-preserving contraction of the distribution of conditionals (honest forecasts). We characterize the value of information by comparing what an informed and uninformed expert can attain. Moreover, we consider a decision maker who uses regret minimization, instead of the calibration test, to take actions. We show that the expert can achieve the same payoff against a regret minimizer as under the calibration test, and in some instances, she can achieve strictly more.


title: Dyna-5G: A Dynamic, Flexible, and Self-Organizing 5G Network for M2M Ecosystems

abstract: In this work, we present Dyna-5G, a dynamic, self-organizing 5G New Radio (5G-NR) network designed for massive Machine-to-Machine (M2M) networks. Traditional 5G NR networks, characterized by their centralized architecture, face challenges in supporting applications that require dynamic, decentralized communication, such as autonomous vehicles and drone swarms for emergency responses. These scenarios often suffer from the centralized model's single point of failure, undermining the reliability required in critical and fully autonomous applications. Dyna-5G addresses these challenges by allowing each device in the network to function as either part of the Radio Access Network (RAN) and Core Network, or as User Equipment (UE), thus maintaining network functionality even when conventional infrastructure components are compromised. Dyna-5G has built-in mechanisms carefully designed specifically for M2M networks, such as failure-recovery and ad-hoc entry and exit. We demonstrate the performance and feasibility of Dyna-5G using a custom-built testbed that simulates real-world missions, demonstrating our network's robustness, adaptability, and failure recovery capabilities. The results indicate that our entire 5G network model can fully re-organize in 6 seconds at maximum, without compromising the mission.


title: Background results for robust minmax control of linear dynamical systems

abstract: The purpose of this note is to summarize the arguments required to derive the results appearing in robust minmax control of linear dynamical systems using a quadratic stage cost. The main results required in robust minmax control are Corollary 19 and Proposition 20. Moreover, the solution to the trust-region problem given in Proposition 15 and Lemma 16 may be of more general interest.


title: Parity-Odd Power Spectra: Concise Statistics for Cosmological Parity Violation

abstract: We introduce the Parity-Odd Power (POP) spectra, a novel set of observables for probing parity violation in cosmological $N$-point statistics. POP spectra are derived from composite fields obtained by applying nonlinear transformations, involving also gradients, curls, and filtering functions, to a scalar field. This compresses the parity-odd trispectrum into a power spectrum. These new statistics offer several advantages: they are computationally fast to construct, estimating their covariance is less demanding compared to estimating that of the full parity-odd trispectrum, and they are simple to model theoretically. We measure the POP spectra on simulations of a scalar field with a specific parity-odd trispectrum shape. We compare these measurements to semi-analytic theoretical calculations and find agreement. We also explore extensions and generalizations of these parity-odd observables.


title: Local Exact Controllability to Stationary Solutions of a Semilinear Parabolic Equation

abstract: This paper establishes the local exact controllability of the quasilinear porous media equation with Dirichlet boundary condition.\\ Consider the equation $$\begin{aligned} &y_t - \Delta a(y) = mu+f \text{ on } Q\\ &y(0)=y_0,\ y \mid_{\Sigma} = 0 \end{aligned}$$ on the $n+1$-dimensional cylinder $Q = \Omega \times (0, T)$ with lateral boundary $\Sigma = \partial \Omega \times (0, T)$. The exact controllability in finite time is proved when $\|y_0 - y_s\|_{W^{1, n}_0(\Omega) \cap C(\overline \Omega)}$ is sufficiently small, $n > 1$, for every stationary solution $y_s$ such that $a(y_s) \in W^{2, q}(\Omega)$, where $q>n$. It is assumed that $\Omega$ is a bounded open set with $C^2$ boundary and that $a \in C^2(\mathbb R)$, $a'>0$.