title: A Framework for Exploring Nuclear Physics Sensitivity in Numerical Simulations

abstract: We describe the AMReX-Astrophysics framework for exploring the sensitivity of astrophysical simulations to the details of a nuclear reaction network, including the number of nuclei, choice of reaction rates, and approximations used. This is explored by modeling a simple detonation with the Castro simulation code. The entire simulation methodology is open-source and GPU-enabled.


title: Parabolicity of invariant Surfaces

abstract: We present a clear and practical way to characterize the parabolicity of a complete immersed surface that is invariant with respect to a Killing vector field of the ambient space.


title: The $2\times 2$-upper triangular matrix algebra and its generalized polynomial identities

abstract: Let $UT_2$ be the algebra of $2\times 2$ upper triangular matrices over a field $F$ of characteristic zero. Here we study the generalized polynomial identities of $UT_2$, i.e., identical relations holding for $UT_2$ regarded as $UT_2$-algebra. We determine a set of two generators of the $T_{UT_2}$-ideal of generalized polynomial identities of $UT_2$ and compute the exact values of the corresponding sequence of generalized codimensions. Moreover, we give a complete description of the space of multilinear generalized identities in $n$ variables in the language of Young diagrams through the representation theory of the symmetric group $S_n$. Finally, we prove that, unlike in the ordinary case, the generalized variety of $UT_2$-algebras generated by $UT_2$ has no almost polynomial growth; nevertheless, we exhibit two distinct generalized varieties of almost polynomial growth.


title: Low-complexity Linear Multicast Beamforming for Cache-aided MIMO Communications

abstract: A practical and scalable multicast beamformer design in multi-input multi-output~(MIMO) coded caching~(CC) systems is introduced in this paper. The proposed approach allows multicast transmission to multiple groups with partially overlapping user sets using receiver dimensions to distinguish between different group-specific streams. Additionally, it provides flexibility in accommodating various parameter configurations of the MIMO-CC setup and overcomes practical limitations, such as the requirement to use successive interference cancellation~(SIC) at the receiver, while achieving the same degrees-of-freedom~(DoF). To evaluate the proposed scheme, we define the symmetric rate as the sum rate of the partially overlapping streams received per user, comprising a linear multistream multicast transmission vector and the linear minimum mean square error~(LMMSE) receiver. The resulting non-convex symmetric rate maximization problem is solved using alternative optimization and successive convex approximation~(SCA). Moreover, a fast iterative Lagrangian-based algorithm is developed, significantly reducing the computational overhead compared to previous designs. The effectiveness of our proposed method is demonstrated by extensive simulations.


title: A note on generation and descent for derived categories of noncommutative schemes

abstract: This work demonstrates classical generation is preserved by the derived pushforward along the canonical morphism of a noncommutative scheme to its underlying scheme. There are intriguing examples illustrating this phenomenon, particularly from noncommutative resolutions, categorical resolutions, and homological projective duality. Additionally, we establish that the Krull dimension of a variety over a field is a lower bound for the Rouquier dimension of the bounded derived category associated with a noncommutative scheme on it. This is an extension of a classical result of Rouquier to the noncommutative context.


title: Tests of no-hair theorem with binary black-hole coalescences

abstract: Test of the no-hair theorem is the primary target with gravitational waves from binary black holes. In this Letter, we analyze gravitational-wave data from the LIGO-Virgo-KAGRA detection of binary black-hole mergers using the PSI_FD model, which is a non-general relativity full waveform template for arbitrary axisymmetric black holes. By analyzing two high signal-noise-ratio events, GW150914 and GW200129, the no-hair theorem is tested at a significance level of 95%, which is the best constraint until now. Especially, we find a significant deviation from the Kerr black hole in GW200129. More events and further analysis are needed to validate this deviation.


abstract: We study GIT stability of divisors in products of projective spaces. We first construct a finite set of one-parameter subgroups sufficient to determine the stability of the GIT quotient. In addition, we characterise all maximal orbits of not stable and strictly semistable pairs, as well as minimal closed orbits of strictly semistable pairs. This characterisation is applied to classify the GIT quotient of threefolds of bidegree (1,2) and bidegree (4,4) curves in a quadric surface, via singularities, which are in turn used to obtain an explicit description of the K-moduli space of family 2.25 of Fano threefolds, and the K-moduli wall-crossing of log Fano pairs.


title: Are Vision Transformers More Data Hungry Than Newborn Visual Systems?

abstract: Vision transformers (ViTs) are top performing models on many computer vision benchmarks and can accurately predict human behavior on object recognition tasks. However, researchers question the value of using ViTs as models of biological learning because ViTs are thought to be more data hungry than brains, with ViTs requiring more training data to reach similar levels of performance. To test this assumption, we directly compared the learning abilities of ViTs and animals, by performing parallel controlled rearing experiments on ViTs and newborn chicks. We first raised chicks in impoverished visual environments containing a single object, then simulated the training data available in those environments by building virtual animal chambers in a video game engine. We recorded the first-person images acquired by agents moving through the virtual chambers and used those images to train self supervised ViTs that leverage time as a teaching signal, akin to biological visual systems. When ViTs were trained through the eyes of newborn chicks, the ViTs solved the same view invariant object recognition tasks as the chicks. Thus, ViTs were not more data hungry than newborn visual systems: both learned view invariant object representations in impoverished visual environments. The flexible and generic attention based learning mechanism in ViTs combined with the embodied data streams available to newborn animals appears sufficient to drive the development of animal-like object recognition.


title: Modeling of SCADA and PMU Measurement Chains

abstract: In this document, the supervisory control and data acquisition (SCADA) and phasor measurement unit (PMU) measurement chain modeling will be studied, where the measurement error sources of each component in the SCADA and PMU measurement chains and the reasons leading to measurement errors exhibiting non-zero-mean, non-Gaussian, and time-varying statistical characteristic are summarized and analyzed. This document provides a few equations, figures, and discussions about the details of the SCADA and PMU measurement error chain modeling, which are intended to facilitate the understanding of how the measurement errors are designed for each component in the SCADA and PMU measurement chains. The measurement chain models described here are also used for synthesizing measurement errors with realistic characteristics in simulation cases to test the developed algorithms or methodologies.


title: A Review of Password-less User Authentication Schemes

abstract: Since the demise of the password was predicted in 2004, different attempts in industry and academia have been made to create an alternative for the use of passwords in authentication, without compromising on security and user experience. This review examines password-less authentication schemes that have been proposed since after the death knell was placed on passwords in 2004. We start with a brief discussion of the requirements of authentication systems and then identify various password-less authentication proposals to date. We then evaluate the truly password-less and practical schemes using a framework that examines authentication credentials based on their impact on user experience, overall security, and ease of deployment. The findings of this review observe a difficulty in balancing security with a user experience compared to that of passwords in new password-less schemes, providing the opportunity for new applied research to leverage existing knowledge and combine technologies and techniques in innovative ways that can address this imbalance.


title: MATLAB-based general approach for square-root extended-unscented and fifth-degree cubature Kalman filtering methods

abstract: A stable square-root approach has been recently proposed for the unscented Kalman filter (UKF) and fifth-degree cubature Kalman filter (5D-CKF) as well as for the mixed-type methods consisting of the extended Kalman filter (EKF) time update and the UKF/5D-CKF measurement update steps. The mixed-type estimators provide a good balance in trading between estimation accuracy and computational demand because of the EKF moment differential equations involved. The key benefit is a consolidation of reliable state mean and error covariance propagation by using delicate discretization error control while solving the EKF moment differential equations and an accurate measurement update according to the advanced UKF and/or 5D-CKF filtering strategies. Meanwhile the drawback of the previously proposed estimators is an utilization of sophisticated numerical integration scheme with the built-in discretization error control that is, in fact, a complicated and computationally costly tool. In contrast, we design here the mixed-type methods that keep the same estimation quality but reduce a computational time significantly. The novel estimators elegantly utilize any MATLAB-based numerical integration scheme developed for solving ordinary differential equations (ODEs) with the required accuracy tolerance pre-defined by users. In summary, a simplicity of the suggested estimators, their numerical robustness with respect to roundoff due to the square-root form utilized as well as their estimation accuracy due to the MATLAB ODEs solvers with discretization error control involved are the attractive features of the novel estimators. The numerical experiments are provided for illustrating a performance of the suggested methods in comparison with the existing ones.


title: A complex-projected Rayleigh quotient iteration for targeting interior eigenvalues

abstract: We introduce a new Projected Rayleigh Quotient Iteration aimed at improving the convergence behaviour of classic Rayleigh Quotient iteration (RQI) by incorporating approximate information about the target eigenvector at each step. While classic RQI exhibits local cubic convergence for Hermitian matrices, its global behaviour can be unpredictable, whereby it may converge to an eigenvalue far away from the target, even when started with accurate initial conditions. This problem is exacerbated when the eigenvalues are closely spaced. The key idea of the new algorithm is at each step to add a complex-valued projection to the original matrix (that depends on the current eigenvector approximation), such that the unwanted eigenvalues are lifted into the complex plane while the target stays close to the real line, thereby increasing the spacing between the target eigenvalue and the rest of the spectrum. Making better use of the eigenvector approximation leads to more robust convergence behaviour and the new method converges reliably to the correct target eigenpair for a significantly wider range of initial vectors than does classic RQI. We prove that the method converges locally cubically and we present several numerical examples demonstrating the improved global convergence behaviour. In particular, we apply it to compute eigenvalues in a band-gap spectrum of a Sturm-Liouville operator used to model photonic crystal fibres, where the target and unwanted eigenvalues are closely spaced. The examples show that the new method converges to the desired eigenpair even when the eigenvalue spacing is very small, often succeeding when classic RQI fails.


title: GRB 231115A: a nearby Magnetar Giant Flare or a cosmic Short Gamma-Ray Burst?

abstract: There are two classes of gamma-ray transients with a duration shorter than 2 seconds. One consists of cosmic short Gamma-Ray Bursts (GRBs) taking place in the deep universe via the neutron star mergers, and the other is the magnetar giant flares (GFs) with energies of $\sim 10^{44}-10^{46}$ erg from ``nearby" galaxies. Though the magnetar GFs and the short GRBs have rather similar temporal and spectral properties, their energies ($E_{\rm \gamma,iso}$) are different by quite a few orders of magnitude and hence can be distinguished supposing the host galaxies have been robustly identified. The newly observed GRB 231115A has been widely discussed as a new GF event for its high probability of being associated with M82. Here we conduct a detailed analysis of its prompt emission observed by Fermi-GBM, and compare the parameters with existing observations. The prompt gamma-ray radiation properties of GRB 231115A, if associated with M82, nicely follow the $E_{\rm p,z}-E_{\gamma,\rm iso}$ relation of the GFs, where $E_{\rm p,z}$ is the peak energy of the gamma-ray spectrum after the redshift ($z$) correction. To be a short GRB, the reshift needs to be $\sim 1$. Though such a chance is low, the available X-ray/GeV observation upper limits are not stringent enough to further rule out this possibility. We have also discussed the prospect of convincingly establishing the magnetar origin of GRB 231115A-like events in the future.


title: Algorithms for mean-field variational inference via polyhedral optimization in the Wasserstein space

abstract: We develop a theory of finite-dimensional polyhedral subsets over the Wasserstein space and optimization of functionals over them via first-order methods. Our main application is to the problem of mean-field variational inference, which seeks to approximate a distribution $\pi$ over $\mathbb{R}^d$ by a product measure $\pi^\star$. When $\pi$ is strongly log-concave and log-smooth, we provide (1) approximation rates certifying that $\pi^\star$ is close to the minimizer $\pi^\star_\diamond$ of the KL divergence over a \emph{polyhedral} set $\mathcal{P}_\diamond$, and (2) an algorithm for minimizing $\text{KL}(\cdot\|\pi)$ over $\mathcal{P}_\diamond$ with accelerated complexity $O(\sqrt \kappa \log(\kappa d/\varepsilon^2))$, where $\kappa$ is the condition number of $\pi$.


title: A Kernel-Based Neural Network Test for High-dimensional Sequencing Data Analysis

abstract: The recent development of artificial intelligence (AI) technology, especially the advance of deep neural network (DNN) technology, has revolutionized many fields. While DNN plays a central role in modern AI technology, it has been rarely used in sequencing data analysis due to challenges brought by high-dimensional sequencing data (e.g., overfitting). Moreover, due to the complexity of neural networks and their unknown limiting distributions, building association tests on neural networks for genetic association analysis remains a great challenge. To address these challenges and fill the important gap of using AI in high-dimensional sequencing data analysis, we introduce a new kernel-based neural network (KNN) test for complex association analysis of sequencing data. The test is built on our previously developed KNN framework, which uses random effects to model the overall effects of high-dimensional genetic data and adopts kernel-based neural network structures to model complex genotype-phenotype relationships. Based on KNN, a Wald-type test is then introduced to evaluate the joint association of high-dimensional genetic data with a disease phenotype of interest, considering non-linear and non-additive effects (e.g., interaction effects). Through simulations, we demonstrated that our proposed method attained higher power compared to the sequence kernel association test (SKAT), especially in the presence of non-linear and interaction effects. Finally, we apply the methods to the whole genome sequencing (WGS) dataset from the Alzheimer's Disease Neuroimaging Initiative (ADNI) study, investigating new genes associated with the hippocampal volume change over time.


title: Checkpoint-based rollback recovery in session programming

abstract: To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions which led to an undesired state. To assist this task, session-based languages can be endowed with reversibility mechanisms. In this paper we propose a language enriched with programming facilities to commit session interactions, to roll back the computation to a previous commit point, and to abort the session. Rollbacks in our language always bring the system to previous visited states and a rollback cannot bring the system back to a point prior to the last commit. Programmers are relieved from the burden of ensuring that a rollback never restores a checkpoint imposed by a session participant different from the rollback requester. Such undesired situations are prevented at design-time (statically) by relying on a decidable compliance check at the type level, implemented in MAUDE. We show that the language satisfies error-freedom and progress of a session.


title: Expert-guided Bayesian Optimisation for Human-in-the-loop Experimental Design of Known Systems

abstract: Domain experts often possess valuable physical insights that are overlooked in fully automated decision-making processes such as Bayesian optimisation. In this article we apply high-throughput (batch) Bayesian optimisation alongside anthropological decision theory to enable domain experts to influence the selection of optimal experiments. Our methodology exploits the hypothesis that humans are better at making discrete choices than continuous ones and enables experts to influence critical early decisions. At each iteration we solve an augmented multi-objective optimisation problem across a number of alternate solutions, maximising both the sum of their utility function values and the determinant of their covariance matrix, equivalent to their total variability. By taking the solution at the knee point of the Pareto front, we return a set of alternate solutions at each iteration that have both high utility values and are reasonably distinct, from which the expert selects one for evaluation. We demonstrate that even in the case of an uninformed practitioner, our algorithm recovers the regret of standard Bayesian optimisation.


title: The Dual Pair $\mathrm{Aut}(C)\times F_{4}$ ($p$-adic case)

abstract: We study the local theta correspondence for dual pairs of the form $\mathrm{Aut}(C)\times F_{4}$ over a $p$-adic field, where $C$ is a composition algebra of dimension 2 or 4, by restricting the minimal representation of a group of type $E$. We investigate this restriction through the computation of maximal parabolic Jacquet modules and the Fourier-Jacobi functor. As a consequence of our results we prove a multiplicity one result for the $\mathrm{Spin}(9)$-invariant linear functionals of irreducible representations of $F_{4}$ and classify the $\mathrm{Spin}(9)$-distinguished representations.


title: Locally purified density operators for noisy quantum circuits

abstract: Simulating open quantum systems is essential for exploring novel quantum phenomena and evaluating noisy quantum circuits. In this Letter, we address the problem of whether mixed states generated from noisy quantum circuits can be efficiently represented by locally purified density operators (LPDOs). We present a mapping from LPDOs of $N$ qubits to projected entangled-pair states of size $2\times N$ and introduce a unified method for managing virtual and Kraus bonds, which is numerically validated by noisy random quantum circuits with depths up to $d=40$, using fidelity and entanglement entropy as accuracy measures. LPDO representation proves to be effective in describing mixed states in both quantum and classical regions but encounters significant challenges at the quantum-classical critical point, limiting its applicability to the quantum region exclusively. In contrast, the matrix product operator (MPO) successfully characterizes the entanglement trend throughout the simulation, while truncation in MPOs breaks the positivity condition required for a physical density matrix. This work advances our understanding of efficient mixed-state representation in open quantum systems and provides insights into the entanglement structure of noisy quantum circuits.


title: Exploring Error Bits for Memory Failure Prediction: An In-Depth Correlative Study

abstract: In large-scale datacenters, memory failure is a common cause of server crashes, with Uncorrectable Errors (UEs) being a major indicator of Dual Inline Memory Module (DIMM) defects. Existing approaches primarily focus on predicting UEs using Correctable Errors (CEs), without fully considering the information provided by error bits. However, error bit patterns have a strong correlation with the occurrence of UEs. In this paper, we present a comprehensive study on the correlation between CEs and UEs, specifically emphasizing the importance of spatio-temporal error bit information. Our analysis reveals a strong correlation between spatio-temporal error bits and UE occurrence. Through evaluations using real-world datasets, we demonstrate that our approach significantly improves prediction performance by 15% in F1-score compared to the state-of-the-art algorithms. Overall, our approach effectively reduces the number of virtual machine interruptions caused by UEs by approximately 59%.


title: Comparative study of quantum emitter fabrication in wide bandgap materials using localized electron irradiation

abstract: Quantum light sources are crucial foundational components for various quantum technology applications. With the rapid development of quantum technology, there has been a growing demand for materials with the capability of hosting quantum emitters. One such material platform uses fluorescent defects in hexagonal boron nitride (hBN) that can host deep sublevels within the bandgap. The localized electron irradiation has shown its effectiveness in generating deep sublevels to induce single emitters in hBN. The question is whether localized (electron beam) irradiation is a reliable tool for creating emitters in other wide bandgap materials and its uniqueness to hBN. Here, we investigate and compare the fabrication of quantum emitters in hBN and exfoliated muscovite mica flakes along with other 3D crystals, such as silicon carbide and gallium nitride, which are known to host quantum emitters. We used our primary fabrication technique of localized electron irradiation using a standard scanning electron microscope. To complement our experimental work, we employed density functional theory simulations to study the atomic structures of defects in mica. While our fabrication technique allows one to create hBN quantum emitters with a high yield and high single photon purity, it is unable to fabricate single emitters in the other solid-state crystals under investigation. This allows us to draw conclusions on the emitter fabrication mechanism in hBN, which could rely on activating pre-existing defects by charge state manipulation. Therefore, we provide an essential step toward the identification of hBN emitters and their formation process.


title: Continuum limit of the mobility edge and taste-degeneracy effects in high-temperature lattice QCD with staggered quarks

abstract: We study the effects of taste degeneracy on the continuum scaling of the localization properties of the staggered Dirac operator in high-temperature QCD using numerical simulations on the lattice, focusing in particular on the position of the mobility edge separating localized and delocalized modes at the low end of the spectrum. We find that, if the continuum limit is approached at fixed spatial volume, the restoration of taste symmetry leads to sizeable systematic effects on estimates for the mobility edge obtained from spectral statistics, which become larger and larger as the lattice spacing is decreased. Such systematics, however, are found to decrease if the volume is increased at fixed lattice spacing. We argue that spectral statistics estimate correctly the position of the mobility edge in the thermodynamic limit at fixed spacing, and support this with an independent numerical analysis based directly on the properties of the Dirac eigenvectors, that are unaffected by taste degeneracy. We then provide a theoretical argument justifying the exchange of the thermodynamic and continuum limits when studying localization. This allows us to use spectral statistics to determine the position of the mobility edge, and to obtain a controlled continuum extrapolation of the mobility edge for the first time.


title: Towards Causal Representations of Climate Model Data

abstract: Climate models, such as Earth system models (ESMs), are crucial for simulating future climate change based on projected Shared Socioeconomic Pathways (SSP) greenhouse gas emissions scenarios. While ESMs are sophisticated and invaluable, machine learning-based emulators trained on existing simulation data can project additional climate scenarios much faster and are computationally efficient. However, they often lack generalizability and interpretability. This work delves into the potential of causal representation learning, specifically the \emph{Causal Discovery with Single-parent Decoding} (CDSD) method, which could render climate model emulation efficient \textit{and} interpretable. We evaluate CDSD on multiple climate datasets, focusing on emissions, temperature, and precipitation. Our findings shed light on the challenges, limitations, and promise of using CDSD as a stepping stone towards more interpretable and robust climate model emulation.


title: Lessons from Usable ML Deployments and Application to Wind Turbine Monitoring

abstract: Through past experiences deploying what we call usable ML (one step beyond explainable ML, including both explanations and other augmenting information) to real-world domains, we have learned three key lessons. First, many organizations are beginning to hire people who we call ``bridges'' because they bridge the gap between ML developers and domain experts, and these people fill a valuable role in developing usable ML applications. Second, a configurable system that enables easily iterating on usable ML interfaces during collaborations with bridges is key. Finally, there is a need for continuous, in-deployment evaluations to quantify the real-world impact of usable ML. Throughout this paper, we apply these lessons to the task of wind turbine monitoring, an essential task in the renewable energy domain. Turbine engineers and data analysts must decide whether to perform costly in-person investigations on turbines to prevent potential cases of brakepad failure, and well-tuned usable ML interfaces can aid with this decision-making process. Through the applications of our lessons to this task, we hope to demonstrate the potential real-world impact of usable ML in the renewable energy domain.


title: Spectral Deconfounding for High-Dimensional Sparse Additive Models

abstract: Many high-dimensional data sets suffer from hidden confounding. When hidden confounders affect both the predictors and the response in a high-dimensional regression problem, standard methods lead to biased estimates. This paper substantially extends previous work on spectral deconfounding for high-dimensional linear models to the nonlinear setting and with this, establishes a proof of concept that spectral deconfounding is valid for general nonlinear models. Concretely, we propose an algorithm to estimate high-dimensional additive models in the presence of hidden dense confounding: arguably, this is a simple yet practically useful nonlinear scope. We prove consistency and convergence rates for our method and evaluate it on synthetic data and a genetic data set.


title: Skein and cluster algebras with coefficients for unpunctured surfaces

abstract: We propose a skein model for the quantum cluster algebras of surface type with coefficients. We introduce a skein algebra $\mathscr{S}_{\Sigma,\mathbb{W}}^{A}$ of a walled surface $(\Sigma,\mathbb{W})$, and prove that it has a quantum cluster structure. The walled surfaces naturally generalize the marked surfaces with multi-laminations, which have been used to describe the quantum cluster algebras of geometric type for marked surfaces by Fomin--Thurston [FT18]. Moreover, we give skein theoretic interpretation for some of quasi-homomorphisms [Fra16] between these quantum cluster algebras.


title: Constraints on non-local gravity from binary pulsars gravitational emission

abstract: Non-local theories of gravity are considered extended theories of gravity, meaning that when the non-local terms are canceled out, the limit of General Relativity (GR) is obtained. Several reasons have led us to consider this theory with increasing interest, but primarily non-locality emerges in a natural way as a side effect of the introduction of quantum corrections to GR, the purpose of which was to cure the singularity problem, both at astrophysical and cosmological level. In this paper we studied a peculiar case of the so called Deser-Woodard theory consisting in the addition of a non-local term to the Hilbert-Einstein lagrangian, and we derived for the first time contraints on the dimensionaless non-local parameter A by exploiting the predicted gravitational wave emission in three binary pulsars, namely PSR J1012+5307, PSR J0348+0432 and PSR $J1738+0333. We discovered that the instantaneous flux strongly depends on A and that the best constraints (0.12 < A < 0.16) come from PSR J1012+5307, for which the GR prediction is outside the observational ranges. However, since for PSR J1012 + 5307 scintillation is suspected, as emerged in a recent census by LOFAR, corruptions in pulsar timing could be hidden. We finally comment on the usability and reliability of this type of test for extended theories of gravity.


title: A look at the Kolmogorov complexity of finite groupoids and algebras

abstract: The incompressibility method is a counting argument in the framework of algorithmic complexity that permits discovering properties that are satisfied by most objects of a class. This paper gives a preliminary insight into Kolmogorov's complexity of groupoids and some algebras. The incompressibility method shows that almost all the groupoids are asymmetric and simple: Only trivial or constant homomorphisms are possible. However, highly random groupoids allow subgroupoids with interesting restrictions that reveal intrinsic structural properties. We also study the issue of the algebraic varieties and wonder which equational identities allow randomness.


title: Origin and Evolution of Jupiter's Trojan Asteroids

abstract: The origin of the Jupiter Trojan asteroids has long been a mystery. Dynamically, the population, which is considerably smaller than the main asteroid belt, librates around Jupiter's stable L4 and L5 Lagrange points, 60 deg ahead and behind Jupiter. It is thought that these bodies were captured into these orbits early in solar system history, but any capture mechanism must also explain why the Trojans have an excited inclination distribution, with some objects reaching inclinations of 35 deg. The Trojans themselves, individually and in aggregate, also have spectral and physical properties that appear consistent with many small bodies found in the outer solar system (e.g., irregular satellites, Kuiper belt objects). In this review, we assemble what is known about the Trojans and discuss various models for their origin and collisional evolution. It can be argued that the Trojans are unlikely to be captured planetesimals from the giant planet zone, but instead were once denizens of the primordial Kuiper belt, trapped by the events taking place during a giant planet instability. The Lucy mission to the Trojans is therefore well positioned to not only answer questions about these objects, but also about their place in planet formation and solar system evolution studies.


title: Two is enough: a flip on Bertrand through positive network effects

abstract: We discuss price competition when positive network effects are the only other factor in consumption choices. We show that partitioning consumers into two groups creates a rich enough interaction structure to induce negative marginal demand and produce pure price equilibria where both firms profit. The crucial condition is one group has centripetal influence while the other has centrifugal influence. The result is contrary to when positive network effects depend on a single aggregate variable and challenges the prevalent assumption that demand must be micro-founded on a distribution of consumer characteristics with specific properties, highlighting the importance of interaction structures in shaping market outcomes.


title: Bright Spectroscopic Binaries: III. Binary systems with orbital periods of P > 500 days

abstract: We present an analysis of nine bright spectroscopic binaries (HD 1585, HD 6613, HD 12390, HD 39923, HD 55201, HD 147430, HD 195543, HD 202699, HD 221643), which have orbital periods of P > 500 days. These well-separated binaries are the last stars of our sample that we observed with the TIGRE telescope obtaining intermediate-resolution spectra of R = 20,000. We applied the same method as described in our previous publication of this series. For the analysis of the radial velocity curves, we used the toolkit RadVel, which allowed us to determine all orbital parameters. Recently published orbital solutions of some systems from Gaia DR3 agree with our results. However, our solutions have much smaller uncertainties. We determined the basic stellar parameters of the primary stars with our automatic script using iSpec. The parameter determination allowed us to place all nine stars in the Hertzsprung-Russell diagram. We found that all stars have already evolved to the giant phase. A comparison with stellar evolution tracks of the Eggleton code was applied to determine the stellar masses and ages. As a result of our analysis, we were able to estimate the masses of the secondary stars and the orbital inclinations of the binary systems.


title: Semi-Supervised Health Index Monitoring with Feature Generation and Fusion

abstract: The Health Index (HI) is crucial for evaluating system health, aiding tasks like anomaly detection and predicting remaining useful life for systems demanding high safety and reliability. Tight monitoring is crucial for achieving high precision at a lower cost. Obtaining HI labels in real-world applications is often cost-prohibitive, requiring continuous, precise health measurements. Therefore, it is more convenient to leverage run-to failure datasets that may provide potential indications of machine wear condition, making it necessary to apply semi-supervised tools for HI construction. In this study, we adapt the Deep Semi-supervised Anomaly Detection (DeepSAD) method for HI construction. We use the DeepSAD embedding as a condition indicators to address interpretability challenges and sensitivity to system-specific factors. Then, we introduce a diversity loss to enrich condition indicators. We employ an alternating projection algorithm with isotonic constraints to transform the DeepSAD embedding into a normalized HI with an increasing trend. Validation on the PHME 2010 milling dataset, a recognized benchmark with ground truth HIs demonstrates meaningful HIs estimations. Our contributions create opportunities for more accessible and reliable HI estimation, particularly in cases where obtaining ground truth HI labels is unfeasible.


title: Multipole expansion at the level of the action in $d$-dimensions

abstract: In this paper we study the multipole expansion of the long-wavelength effective action for radiative sources in ($d$+1) spacetime dimensions. We present detailed expressions for the multipole moments for the case of scalar-, electromagnetic-, and (linearized) gravitational-wave emission. For electromagnetism and gravity, we derive expressions for the odd-parity, magnetic-type moments as SO($d$) duals of the ones traditionally used in the literature. The $d$-dimensional case features a novel set of `Weyl-type' moments, coupling to the spatial part of the Weyl tensor, which are absent in three dimensions. Agreement is found in the overlap with previous known results, notably in the $d \to 3$ limit. Due to its reliance on dimensional regularization, the results presented here play a crucial role for the further development of the Effective Field Theory approach to gravitational dynamics, and in particular for the computation of the gravitational-wave flux, starting at the third post-Newtonian order.


title: Can a Tabula Recta provide security in the XXI century?

abstract: In the not so unlikely scenario of total compromise of computers accessible to a group of users, they might be tempted to resort to human-computable paper-and-pencil cryptographic methods aided by a classic Tabula Recta, which helps to perform addition and subtraction directly with letters. But do these classic algorithms, or some new ones using the same simple tools, have any chance against computer-aided cryptanalysis? In this paper I discuss how some human-computable algorithms can indeed afford sufficient security in this situation, drawing conclusions from computer-based statistical analysis. Three kinds of algorithms are discussed: those that concentrate entropy from shared text sources, stream ciphers based on arithmetic of non-binary spaces, and hash-like algorithms that may be used to generate a password from a challenge text.


title: Replica analysis of overfitting in regression models for time to event data: the impact of censoring

abstract: We use statistical mechanics techniques, viz. the replica method, to model the effect of censoring on overfitting in Cox's proportional hazards model, the dominant regression method for time-to-event data. In the overfitting regime, Maximum Likelihood parameter estimators are known to be biased already for small values of the ratio of the number of covariates over the number of samples. The inclusion of censoring was avoided in previous overfitting analyses for mathematical convenience, but is vital to make any theory applicable to real-world medical data, where censoring is ubiquitous. Upon constructing efficient algorithms for solving the new (and more complex) RS equations and comparing the solutions with numerical simulation data, we find excellent agreement, even for large censoring rates. We then address the practical problem of using the theory to correct the biased ML estimators {without} knowledge of the data-generating distribution. This is achieved via a novel numerical algorithm that self-consistently approximates all relevant parameters of the data generating distribution while simultaneously solving the RS equations. We investigate numerically the statistics of the corrected estimators, and show that the proposed new algorithm indeed succeeds in removing the bias of the ML estimators, for both the association parameters and for the cumulative hazard.


title: Attention-enhanced neural differential equations for physics-informed deep learning of ion transport

abstract: Species transport models typically combine partial differential equations (PDEs) with relations from hindered transport theory to quantify electromigrative, convective, and diffusive transport through complex nanoporous systems; however, these formulations are frequently substantial simplifications of the governing dynamics, leading to the poor generalization performance of PDE-based models. Given the growing interest in deep learning methods for the physical sciences, we develop a machine learning-based approach to characterize ion transport across nanoporous membranes. Our proposed framework centers around attention-enhanced neural differential equations that incorporate electroneutrality-based inductive biases to improve generalization performance relative to conventional PDE-based methods. In addition, we study the role of the attention mechanism in illuminating physically-meaningful ion-pairing relationships across diverse mixture compositions. Further, we investigate the importance of pre-training on simulated data from PDE-based models, as well as the performance benefits from hard vs. soft inductive biases. Our results indicate that physics-informed deep learning solutions can outperform their classical PDE-based counterparts and provide promising avenues for modelling complex transport phenomena across diverse applications.


title: Experimental Insights Towards Explainable and Interpretable Pedestrian Crossing Prediction

abstract: In the context of autonomous driving, pedestrian crossing prediction is a key component for improving road safety. Presently, the focus of these predictions extends beyond achieving trustworthy results; it is shifting towards the explainability and interpretability of these predictions. This research introduces a novel neuro-symbolic approach that combines deep learning and fuzzy logic for an explainable and interpretable pedestrian crossing prediction. We have developed an explainable predictor (ExPedCross), which utilizes a set of explainable features and employs a fuzzy inference system to predict whether the pedestrian will cross or not. Our approach was evaluated on both the PIE and JAAD datasets. The results offer experimental insights into achieving explainability and interpretability in the pedestrian crossing prediction task. Furthermore, the testing results yield a set of guidelines and recommendations regarding the process of dataset selection, feature selection, and explainability.


title: Toward autocorrection of chemical process flowsheets using large language models

abstract: The process engineering domain widely uses Process Flow Diagrams (PFDs) and Process and Instrumentation Diagrams (P&IDs) to represent process flows and equipment configurations. However, the P&IDs and PFDs, hereafter called flowsheets, can contain errors causing safety hazards, inefficient operation, and unnecessary expenses. Correcting and verifying flowsheets is a tedious, manual process. We propose a novel generative AI methodology for automatically identifying errors in flowsheets and suggesting corrections to the user, i.e., autocorrecting flowsheets. Inspired by the breakthrough of Large Language Models (LLMs) for grammatical autocorrection of human language, we investigate LLMs for the autocorrection of flowsheets. The input to the model is a potentially erroneous flowsheet and the output of the model are suggestions for a corrected flowsheet. We train our autocorrection model on a synthetic dataset in a supervised manner. The model achieves a top-1 accuracy of 80% and a top-5 accuracy of 84% on an independent test dataset of synthetically generated flowsheets. The results suggest that the model can learn to autocorrect the synthetic flowsheets. We envision that flowsheet autocorrection will become a useful tool for chemical engineers.


title: Unified theory on V-states structures for active scalar equations

abstract: This paper revolves around the existence of V-states close to Rankine vortices for active scalar equations with completely monotone kernels. This allows to unify various results on this topic related to geophysical flows. A key ingredient is a new factorization formula for the spectrum using a universal function which is independent of the model. This function admits several interesting properties allowing to track the spectrum distribution.


title: Local regularity for solutions to quasi-linear singular parabolic equations with anisotropic weights

abstract: This paper develops a concise procedure for the study on local behavior of solutions to anisotropically weighted quasi-linear singular parabolic equations of $p$-Laplacian type, which is realized by improving the energy inequalities and applying intrinsic scaling factor to the De Giorgi truncation method. In particular, it also presents a new proof for local H\"{o}lder continuity of the solution in the unweighted case.


title: Geometric and topological rigidity of pinched submanifolds

abstract: We investigate the geometry and topology of compact submanifolds of arbitrary codimension in space forms satisfying a certain pinching condition involving the length of the second fundamental form and the mean curvature. We prove that this pinching condition either forces homology to vanish in a range of intermediate dimensions, or completely determines the submanifold up to congruence. The results are sharp and extend previous results due to several authors without imposing any further assumption on the mean curvature.


title: A Dynamic Network for Efficient Point Cloud Registration

abstract: For the point cloud registration task, a significant challenge arises from non-overlapping points that consume extensive computational resources while negatively affecting registration accuracy. In this paper, we introduce a dynamic approach, widely utilized to improve network efficiency in computer vision tasks, to the point cloud registration task. We employ an iterative registration process on point cloud data multiple times to identify regions where matching points cluster, ultimately enabling us to remove noisy points. Specifically, we begin with deep global sampling to perform coarse global registration. Subsequently, we employ the proposed refined node proposal module to further narrow down the registration region and perform local registration. Furthermore, we utilize a spatial consistency-based classifier to evaluate the results of each registration stage. The model terminates once it reaches sufficient confidence, avoiding unnecessary computations. Extended experiments demonstrate that our model significantly reduces time consumption compared to other methods with similar results, achieving a speed improvement of over 41% on indoor dataset (3DMatch) and 33% on outdoor datasets (KITTI) while maintaining competitive registration recall requirements.


title: Towards More Practical Group Activity Detection: A New Benchmark and Model

abstract: Group activity detection (GAD) is the task of identifying members of each group and classifying the activity of the group at the same time in a video. While GAD has been studied recently, there is still much room for improvement in both dataset and methodology due to their limited capability to address practical GAD scenarios. To resolve these issues, we first present a new dataset, dubbed Caf\'e. Unlike existing datasets, Caf\'e is constructed primarily for GAD and presents more practical evaluation scenarios and metrics, as well as being large-scale and providing rich annotations. Along with the dataset, we propose a new GAD model that deals with an unknown number of groups and latent group members efficiently and effectively. We evaluated our model on three datasets including Caf\'e, where it outperformed previous work in terms of both accuracy and inference speed. Both our dataset and code base will be open to the public to promote future research on GAD.


title: Vanishing codegree Tur\'{a}n density implies vanishing uniform Tur\'{a}n density

abstract: For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Tur\'{a}n density $\pi_{\mathrm{co}}(F)$ is the infimum over all $\alpha$ such that any $n$-vertex $k$-graph $H$ with every $(k-1)$-subset of $V(H)$ contained in at least $\alpha n$ edges has a copy of $F$. The uniform Tur\'{a}n density $\pi_{\therefore}(F)$ is the supremum over all $d$ such that there are infinitely many $F$-free $k$-graphs $H$ satisfying that any linear-size subhypergraph of $H$ has edge density at least $d$. Falgas-Ravry, Pikhurko, Vaughan and Volec [J. London Math. Soc., 2023] asked whether for every $3$-graph $F$, $\pi_{\therefore}(F)\leq\pi_{\mathrm{co}}(F)$. We provide a positive answer to this question provided that $\pi_{\mathrm{co}}(F)=0$. Our proof relies on a random geometric construction and a new formulation of the characterization of $3$-graphs with vanishing uniform Tur\'{a}n density due to Reiher, R{\"o}dl and Schacht [J. London Math. Soc., 2018]. Along the way, we answer a question of Falgas-Ravry, Pikhurko, Vaughan and Volec about subhypergraphs with linear minimum codegree in uniformly dense hypergraphs in the negative.


title: PULSAR: Simultaneous Many-Row Activation for Reliable and High-Performance Computing in Off-the-Shelf DRAM Chips

abstract: Data movement between the processor and the main memory is a first-order obstacle against improving performance and energy efficiency in modern systems. To address this obstacle, Processing-using-Memory (PuM) is a promising approach where bulk-bitwise operations are performed leveraging intrinsic analog properties within the DRAM array and massive parallelism across DRAM columns. Unfortunately, 1) modern off-the-shelf DRAM chips do not officially support PuM operations, and 2) existing techniques of performing PuM operations on off-the-shelf DRAM chips suffer from two key limitations. First, these techniques have low success rates, i.e., only a small fraction of DRAM columns can correctly execute PuM operations because they operate beyond manufacturer-recommended timing constraints, causing these operations to be highly susceptible to noise and process variation. Second, these techniques have limited compute primitives, preventing them from fully leveraging parallelism across DRAM columns and thus hindering their performance benefits. We propose PULSAR, a new technique to enable high-success-rate and high-performance PuM operations in off-the-shelf DRAM chips. PULSAR leverages our new observation that a carefully crafted sequence of DRAM commands simultaneously activates up to 32 DRAM rows. PULSAR overcomes the limitations of existing techniques by 1) replicating the input data to improve the success rate and 2) enabling new bulk bitwise operations (e.g., many-input majority, Multi-RowInit, and Bulk-Write) to improve the performance. Our analysis on 120 off-the-shelf DDR4 chips from two major manufacturers shows that PULSAR achieves a 24.18% higher success rate and 121% higher performance over seven arithmetic-logic operations compared to FracDRAM, a state-of-the-art off-the-shelf DRAM-based PuM technique.


title: Divergence-Free Flux Globalization Based Well-Balanced Path-Conservative Central-Upwind Schemes for Rotating Shallow Water Magnetohydrodynamics

abstract: We develop a new second-order flux globalization based path-conservative central-upwind (PCCU) scheme for rotating shallow water magnetohydrodynamic equations. The new scheme is designed not only to maintain the divergence-free constraint of the magnetic field at the discrete level but also to satisfy the well-balanced (WB) property by exactly preserving some physically relevant steady states of the underlying system. The locally divergence-free constraint of the magnetic field is enforced by following the method recently introduced in [A. Chertock, A. Kurganov, M. Redle, and K. Wu, ArXiv preprint (2022), arXiv:2212.02682]: we consider a Godunov-Powell modified version of the studied system, introduce additional equations by spatially differentiating the magnetic field equations, and modify the reconstruction procedures for magnetic field variables. The WB property is ensured by implementing a flux globalization approach within the PCCU scheme, leading to a method capable of preserving both still- and moving-water equilibria exactly. In addition to provably achieving both the WB and divergence-free properties, the new method is implemented on an unstaggered grid and does not require any (approximate) Riemann problem solvers. The performance of the proposed method is demonstrated in several numerical experiments that confirm the lack of spurious oscillations, robustness, and high resolution of the obtained results.


title: Zero Trust for Cyber Resilience

abstract: The increased connectivity and potential insider threats make traditional network defense vulnerable. Instead of assuming that everything behind the security perimeter is safe, the zero-trust security model verifies every incoming request before granting access. This chapter draws attention to the cyber resilience within the zero-trust model. We introduce the evolution from traditional perimeter-based security to zero trust and discuss their difference. Two key elements of the zero-trust engine are trust evaluation (TE) and policy engine (PE). We introduce the design of the two components and discuss how their interplay would contribute to cyber resilience. Dynamic game theory and learning are applied as quantitative approaches to achieve automated zero-trust cyber resilience. Several case studies and implementations are introduced to illustrate the benefits of such a security model.


title: Rational dagger categories

abstract: The notion of abelian category is an elegant distillation of the fundamental properties of the category of abelian groups, comprising a few simple axioms about products and kernels. Whilst the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps are not abelian, they satisfy almost all of the axioms. Heunen's notion of Hilbert category is an attempt at adapting the abelian-category axioms to capture instead the essence of these categories of Hilbert spaces. The key idea is to encode adjoints with a dagger: an identity-on-objects involutive contravariant endofunctor. One limitation is the symmetric monoidal structure, which is used to construct additive inverses of morphisms; such additional structure is not needed for the analagous result about abelian categories, and it excludes non-commutative examples like the dagger category of quaternionic Hilbert spaces. This article introduces the notion of rational dagger category, a successor to the notion of Hilbert category whose theory is closer to that of abelian categories. In particular, a monoidal product is not required. They are named for their enrichment in the category of rational vector spaces. Whilst the dagger categories of real, complex, and quaternionic Hilbert spaces are the motivating examples, others include the dagger categories of finite-dimensional inner-product modules over a partially semiordered involutive division ring and of self-dual Hilbert modules over a W*-algebra. Also introduced are the notion of orthogonally complemented dagger category, whose axioms capture the connection between orthogonal complements and coproducts, and generalisations of the notions of dagger monomorphism and dagger product, called dagger section and orthogonal product, which play an important role in the theory of both orthogonally complemented and rational dagger categories.


title: Last passage percolation and limit theorems in Barak-Erd\H{o}s directed random graphs and related models

abstract: We consider directed random graphs, the prototype of which being the Barak-Erd\H{o}s graph $\overrightarrow G(\mathbb Z, p)$, and study the way that long (or heavy, if weights are present) paths grow. This is done by relating the graphs to certain particle systems that we call Infinite Bin Models (IBM). A number of limit theorems are shown. The goal of this paper is to present results along with techniques that have been used in this area. In the case of $\overrightarrow G(\mathbb Z, p)$ the last passage percolation constant $C(p)$ is studied in great detail. It is shown that $C(p)$ is analytic for $p>0$, has an interesting asymptotic expansion at $p=1$ and that $C(p)/p$ converges to $e$ like $1/(\log p)^2$ as $p \to 0$. The paper includes the study of IBMs as models on their own as well as their connections to stochastic models of branching processes in continuous or discrete time with selection. Several proofs herein are new or simplified versions of published ones. Regenerative techniques are used where possible, exhibiting random sets of vertices over which the graphs regenerate. When edges have random weights we show how the last passage percolation constants behave and when central limit theorems exist. When the underlying vertex set is partially ordered, new phenomena occur, e.g., there are relations with last passage Brownian percolation. We also look at weights that may possibly take negative values and study in detail some special cases that require combinatorial/graph theoretic techniques that exhibit some interesting non-differentiability properties of the last passage percolation constant. We also explain how to approach the problem of estimation of last passage percolation constants by means of perfect simulation.


title: Asymptotics of immaculate line bundles on smooth toric Deligne-Mumford stacks

abstract: A line bundle is immaculate if its cohomology vanishes in every dimension. We give a criterion for when a smooth toric Deligne-Mumford stack has infinitely many immaculate line bundles. This answers positively a question of Borisov and Wang. As a byproduct, we describe the asymptotic behaviour of the collection of immaculate line bundles.


title: On the Photon-Fermion Vertex

abstract: The QED Dyson-Schwinger equation for the photon-fermion one-particle irreducible Green function, the photon-fermion vertex, is investigated using a Ball-Chiu description for its longitudinal part, together with the K{\i}z{\i}lersu-Reenders-Pennington basis for its transverse part. Exact expressions for all the transverse form factors are derived from the vertex Dyson-Schwinger equation. Furthermore, feeding the Dyson-Schwinger equation with a simplified vertex that goes beyond the perturbative solution, some of the results of the one-loop perturbative calculation are recovered in a more general framework. The approach allows also exact results for the on-shell vertex, that encode the anomalous magnetic and electric fermion couplings, and for its soft photon limit. The investigation of the chiral limit of the photon-fermion vertex shows that a limited number of transverse form factors are required, a result that, once more, is in good agreement with a one-loop calculation for QED but that appears in a more general framework. The results derived for the photon-fermion vertex can be extended easily to the quark-gluon vertex after proper modifications.


title: Electrical tuning of the magnetic properties of 2D magnets: the case of ${\rm Cr}_2{\rm Ge}_2{\rm Te}_6$

abstract: Motivated by growing interest in atomically-thin van der Waals magnetic materials, we present an {\it ab initio} theoretical study of the dependence of their magnetic properties on the electron/hole density $\rho$ induced via the electrical field effect. By focusing on the case of monolayer ${\rm Cr}_2{\rm Ge}_2{\rm Te}_6$ (a prototypical 2D Ising ferromagnet) and employing a hybrid functional, we first study the dependence of the gap and effective mass on the carrier concentration $\rho$. We then investigate the robustness of magnetism by studying the dependencies of the exchange couplings and magneto-crystalline anisotropy energy (MAE) on $\rho$. In agreement with experimental results, we find that magnetism displays a bipolar electrically-tunable character, which is, however, much more robust for hole ($\rho>0$) rather than electron ($\rho<0$) doping. Indeed, the MAE vanishes for an electron density $\rho\approx - 7.5 \times 10^{13}~{\rm e} \times {\rm cm}^{-2}$, signalling the failure of a localized description based on a Heisenberg-type anisotropic spin Hamiltonian. This is in agreement with the rapid increase of the coupling between fourth-neighbor atoms with increasing electron density.


title: Compensation of front-end and modulation delays in phase and ranging measurements for time-delay interferometry

abstract: In the context of the Laser Interferometer Space Antenna (LISA), the laser subsystems exhibit frequency fluctuations that introduce significant levels of noise into the measurements, surpassing the gravitational wave signal by several orders of magnitude. Mitigation is achieved via time-shifting individual measurements in a data processing step known as time-delay interferometry (TDI). The suppression performance of TDI relies on accurate knowledge and consideration of the delays experienced by the interfering lasers. While considerable efforts have been dedicated to the accurate determination of inter-spacecraft ranging delays, the sources for onboard delays have been either neglected or assumed to be known. Contrary to these assumptions, analog delays of the phasemeter front end and the laser modulator are not only large but also prone to change with temperature and heterodyne frequency. This motivates our proposal for a novel method enabling a calibration of these delays on-ground and in-space, based on minimal functional additions to the receiver architecture. Specifically, we establish a set of calibration measurements and elucidate how these measurements are utilized in data processing, leading to the mitigation of the delays in the TDI Michelson variables. Following a performance analysis of the calibration measurements, proposed calibration scheme is assessed through numerical simulations. We find that in the absence of the calibration scheme, the assumed drifts of the analog delays increase residual laser noise at high frequencies of the LISA measurement band. A single, on-ground calibration of the analog delays leads to an improvement by roughly one order of magnitude, while re-calibration in space may improve performance by yet another order of magnitude. Towards lower frequencies, ranging error is always found to be the limiting factor for which countermeasures are discussed.


title: Propagation of Gravitational Waves in a Dynamical Wormhole Background for Two-scalar Einstein-Gauss-Bonnet Theory

abstract: In this work, we propose a model of Einstein--Gauss-Bonnet gravity coupled with two scalar fields. The two scalar fields are considered to be ``frozen'' or they become non-dynamical by employing appropriate constraints in terms of Lagrange multiplier fields. We show that, even in the case that the arbitrary spherically symmetric spacetime is dynamical, we can construct a model where the wormhole spacetime is a stable solution in this framework. We especially concentrate on the model reproducing the dynamical wormhole, where the wormhole appears in a finite-time interval. We investigate the propagation of the gravitational wave in the wormhole spacetime background and we show that the propagation speed is different from that of light $\to$ light in general, and there is a difference in the speeds between the incoming propagating wave and the outgoing propagating gravitational wave.


title: On Matrices Arising in Finite Field Hypergeometric Functions

abstract: Lehmer constructs four classes of matrices constructed from roots of unity for which the characteristic polynomials and the $k$-th powers can be determined explicitly. Here we study a class of matrices which arise naturally in transformation formulas of finite field hypergeometric functions and whose entries are roots of unity and zeroes. We determine the characteristic polynomial, eigenvalues, eigenvectors, and $k$-th powers of these matrices. In particular, the eigenvalues are natural systems of products of Jacobi sums.


title: Inexact linear solves in the low-rank ADI iteration for large Sylvester equations

abstract: We consider the low-rank alternating directions implicit (ADI) iteration for approximately solving large-scale algebraic Sylvester equations. Inside every iteration step of this iterative process a pair of linear systems of equations has to be solved. We investigate the situation when those inner linear systems are solved inexactly by an iterative methods such as, for example, preconditioned Krylov subspace methods. The main contribution of this work are thresholds for the required accuracies regarding the inner linear systems which dictate when the employed inner Krylov subspace methods can be safely terminated. The goal is to save computational effort by solving the inner linear system as inaccurate as possible without endangering the functionality of the low-rank Sylvester-ADI method. Ideally, the inexact ADI method mimics the convergence behaviour of the more expensive exact ADI method, where the linear systems are solved directly. Alongside the theoretical results, also strategies for an actual practical implementation of the stopping criteria are developed. Numerical experiments confirm the effectiveness of the proposed strategies.


title: Safe Stabilization with Model Uncertainties: A Universal Formula with Gaussian Process Learning

abstract: A combination of control Lyapunov functions (CLFs) and control barrier functions (CBFs) forms an efficient framework for addressing control challenges in safe stabilization. In our previous research, we developed an analytical control strategy, namely the universal formula, that incorporates CLF and CBF conditions for safe stabilization. However, successful implementation of this universal formula relies on an accurate model, as any mismatch between the model and the actual system can compromise stability and safety. In this paper, we propose a new universal formula that leverages Gaussian processes (GPs) learning to address safe stabilization in the presence of model uncertainty. By utilizing the results related to bounded learning errors, we achieve a high probability of stability and safety guarantees with the proposed universal formula. Additionally, we introduce a probabilistic compatibility condition to evaluate conflicts between the modified CLF and CBF conditions with GP learning results. In cases where compatibility assumptions fail and control system limits are present, we propose a modified universal formula that relaxes stability constraints and a projection-based method accommodating control limits. We illustrate the effectiveness of our approach through a simulation of adaptive cruise control (ACC), highlighting its potential for practical applications in real-world scenarios.


title: Effective mass and field-reinforced superconductivity in uranium compounds

abstract: A theory of strong coupling superconductivity in uranium compounds has been developed, based on electron-electron interaction through magnetic fluctuations described by frequency-dependent magnetic susceptibility. The magnetic field dependence of the electron effective mass is expressed through the field dependence of the magnetic susceptibility components. It is shown that the intensity of triplet pairing, and hence the critical temperature of the transition to the superconducting state, is also determined by the field-dependent susceptibility. The results are discussed in relation to the properties of ferromagnetic uranium compounds URhGe and UCoGe, as well as the recently discovered UTe2.


title: Quantum spin probe of single charge dynamics

abstract: Electronic defects in semiconductors form the basis for many emerging quantum technologies. Understanding defect spin and charge dynamics in solid state platforms is crucial to developing these building blocks, but many defect centers are difficult to access at the single-particle level due to the lack of sensitive readout techniques. A method for probing optically inactive spin defects would reveal semiconductor physics at the atomic scale and advance the study of new quantum systems. We exploit the intrinsic correlation between the charge and spin states of defect centers to measure defect charge populations and dynamics through the steady-state spin population, read-out at the single-defect level with a nearby optically active qubit. We directly measure ionization and charge relaxation of single dark defects in diamond, effects we do not have access to with traditional coherence-based quantum sensing. These spin resonance-based methods generalize to other solid state defect systems in relevant materials.


title: The local geometry of idempotent Schur multipliers

abstract: A Schur multiplier is a linear map on matrices which acts on its entries by multiplication with some function, called the symbol. We consider idempotent Schur multipliers, whose symbols are indicator functions of smooth Euclidean domains. Given $1<p\neq 2<\infty$, we provide a local characterization (under some mild transversality condition) for the boundedness on Schatten $p$-classes of Schur idempotents in terms of a lax notion of boundary flatness. We prove in particular that all Schur idempotents are modeled on a single fundamental example: the triangular projection. As an application, we fully characterize the local $L_p$-boundedness of smooth Fourier idempotents on connected Lie groups. They are all modeled on one of three fundamental examples: the classical Hilbert transform, and two new examples of Hilbert transforms that we call affine and projective. Our results in this paper are vast noncommutative generalizations of Fefferman's celebrated ball multiplier theorem. They confirm the intuition that Schur multipliers share profound similarities with Euclidean Fourier multipliers |even in the lack of a Fourier transform connection| and complete, for Lie groups, a longstanding search of Fourier $L_p$-idempotents.


title: BenchLMM: Benchmarking Cross-style Visual Capability of Large Multimodal Models

abstract: Large Multimodal Models (LMMs) such as GPT-4V and LLaVA have shown remarkable capabilities in visual reasoning with common image styles. However, their robustness against diverse style shifts, crucial for practical applications, remains largely unexplored. In this paper, we propose a new benchmark, BenchLMM, to assess the robustness of LMMs against three different styles: artistic image style, imaging sensor style, and application style, where each style has five sub-styles. Utilizing BenchLMM, we comprehensively evaluate state-of-the-art LMMs and reveal: 1) LMMs generally suffer performance degradation when working with other styles; 2) An LMM performs better than another model in common style does not guarantee its superior performance in other styles; 3) LMMs' reasoning capability can be enhanced by prompting LMMs to predict the style first, based on which we propose a versatile and training-free method for improving LMMs; 4) An intelligent LMM is expected to interpret the causes of its errors when facing stylistic variations. We hope that our benchmark and analysis can shed new light on developing more intelligent and versatile LMMs.


title: Perspectives from Naive Participants and Experienced Social Science Researchers on Addressing Embodiment in a Virtual Cyberball Task

abstract: We describe the design of an immersive virtual Cyberball task that included avatar customization, and user feedback on this design. We first created a prototype of an avatar customization template and added it to a Cyberball prototype built in the Unity3D game engine. Then, we conducted in-depth user testing and feedback sessions with 15 Cyberball stakeholders: five naive participants with no prior knowledge of Cyberball and ten experienced researchers with extensive experience using the Cyberball paradigm. We report the divergent perspectives of the two groups on the following design insights; designing for intuitive use, inclusivity, and realistic experiences versus minimalism. Participant responses shed light on how system design problems may contribute to or perpetuate negative experiences when customizing avatars. They also demonstrate the value of considering multiple stakeholders' feedback in the design process for virtual reality, presenting a more comprehensive view in designing future Cyberball prototypes and interactive systems for social science research.


title: Madgraph5_aMC@NLO on GPUs and vector CPUs Experience with the first alpha release

abstract: Madgraph5_aMC@NLO is one of the most-frequently used Monte-Carlo event generators at the LHC, and an important consumer of compute resources. The software has been reengineered to maintain the overall look and feel of the user interface while speeding up event generation on CPUs and GPUs. The most computationally intensive part, the calculation of "matrix elements", is offloaded to new implementations optimised for GPUs and for CPU vector instructions, using event-level data parallelism. We present the work to support accelerated leading-order QCD processes, and discuss how this work is going to be released to Madgraph5_aMC@NLO's users.


title: Ultra hypercyclicity

abstract: Recently, new topological properties that an operator acting on a topological vector space can have were introduced: strong hypercyclicity and hypermixing. We introduce a new property called ultra hypercyclicity, and we compare it to the other common topological properties, including the new ones. For the family of weighted backward shifts on $c_0$ and $\ell^p$, we characterize ultra hypercyclicity in terms of the weight sequence, and frame the open question of whether or not there exists a strongly hypercyclic weighted backward shift which is not ultra hypercyclic in terms of properties that the weight sequence has.


title: A complexity measure in natural time analysis identifying the accumulation of stresses before major earthquakes

abstract: Here we suggest a new procedure through which one can identify when the accumulation of stresses before major earthquakes (EQs) (of magnitude M 8.2 or larger) occurs. By analyzing the seismicity in the frame of natural time, which is a new concept of time introduced in 2001, we study the evolution of the fluctuations of the entropy change of seismicity under time reversal for various scales of different length i (number of events). We find that anomalous intersections between scales of different lengths i are observed upon approaching an extraordinary major EQ occurrence. The investigation is presented for the seismicity in Japan since 1984 including the M9 Tohoku EQ on 11 March 2011, which is the largest EQ ever recorded there.


title: Concept Drift Adaptation in Text Stream Mining Settings: A Comprehensive Review

abstract: Due to the advent and increase in the popularity of the Internet, people have been producing and disseminating textual data in several ways, such as reviews, social media posts, and news articles. As a result, numerous researchers have been working on discovering patterns in textual data, especially because social media posts function as social sensors, indicating peoples' opinions, interests, etc. However, most tasks regarding natural language processing are addressed using traditional machine learning methods and static datasets. This setting can lead to several problems, such as an outdated dataset, which may not correspond to reality, and an outdated model, which has its performance degrading over time. Concept drift is another aspect that emphasizes these issues, which corresponds to data distribution and pattern changes. In a text stream scenario, it is even more challenging due to its characteristics, such as the high speed and data arriving sequentially. In addition, models for this type of scenario must adhere to the constraints mentioned above while learning from the stream by storing texts for a limited time and consuming low memory. In this study, we performed a systematic literature review regarding concept drift adaptation in text stream scenarios. Considering well-defined criteria, we selected 40 papers to unravel aspects such as text drift categories, types of text drift detection, model update mechanism, the addressed stream mining tasks, types of text representations, and text representation update mechanism. In addition, we discussed drift visualization and simulation and listed real-world datasets used in the selected papers. Therefore, this paper comprehensively reviews the concept drift adaptation in text stream mining scenarios.


title: HeadGaS: Real-Time Animatable Head Avatars via 3D Gaussian Splatting

abstract: 3D head animation has seen major quality and runtime improvements over the last few years, particularly empowered by the advances in differentiable rendering and neural radiance fields. Real-time rendering is a highly desirable goal for real-world applications. We propose HeadGaS, the first model to use 3D Gaussian Splats (3DGS) for 3D head reconstruction and animation. In this paper we introduce a hybrid model that extends the explicit representation from 3DGS with a base of learnable latent features, which can be linearly blended with low-dimensional parameters from parametric head models to obtain expression-dependent final color and opacity values. We demonstrate that HeadGaS delivers state-of-the-art results in real-time inference frame rates, which surpasses baselines by up to ~2dB, while accelerating rendering speed by over x10.


title: Miniaturized Double-Wing Delta-E Effect Sensors

abstract: Magnetoelastic composites are integral elements of sensors and actuators utilizing magnetostriction for their functionality. Their sensitivity typically scales with the saturation magnetostriction and inversely with magnetic anisotropy. However, this makes the devices prone to minuscule residual anisotropic stress from the fabrication process, impairing their performance and reproducibility, hence limiting their suitability for arrays. This study presents a shadow mask deposition technology combined with a free-free magnetoelectric microresonator design intended to minimize residual stress and inhomogeneity in the magnetoelastic layer. Resonators are experimentally and theoretically analyzed regarding local stress anisotropy, magnetic anisotropy, and the {\Delta}E effect in several resonance modes. Further, the sensitivity is analyzed in the example of {\Delta}E-effect sensors. The results demonstrate a device-to-device variation of the resonance frequency < 0.2 % with sensitivities comparable with macroscopic {\Delta}E-effect sensors. The reproducibility is drastically improved over previous magnetoelastic device arrays. This development marks a step forward in the reproducibility and homogeneity of magnetoelastic resonators and contributes to the feasibility of large-scale, integrated sensor arrays.


title: Large deviation principles for singular Riesz-type diffusive flows

abstract: We combine hydrodynamic and modulated energy techniques to study the large deviations of systems of particles with pairwise singular repulsive interactions and additive noise. In particular, we consider periodic Riesz interactions indexed by parameter $\mathbf{s}\in[0,d-2)$ for $d\geq 3$ on the torus. When $\mathbf{s}=0$, that is, when the interaction potential is logarithmic, we establish a full LDP for the empirical trajectories of the particles given sufficiently strong convergence of the initial conditions. When $\mathbf{s}\in(0,d-2)$, we give an LDP upper bound and partial lower bounds. Additionally, we show a local LDP holds in a stronger distance.


title: E-values, Multiple Testing and Beyond

abstract: We discover a connection between the Benjamini-Hochberg (BH) procedure and the recently proposed e-BH procedure [Wang and Ramdas, 2022] with a suitably defined set of e-values. This insight extends to a generalized version of the BH procedure and the model-free multiple testing procedure in Barber and Cand\`es [2015] (BC) with a general form of rejection rules. The connection provides an effective way of developing new multiple testing procedures by aggregating or assembling e-values resulting from the BH and BC procedures and their use in different subsets of the data. In particular, we propose new multiple testing methodologies in three applications, including a hybrid approach that integrates the BH and BC procedures, a multiple testing procedure aimed at ensuring a new notion of fairness by controlling both the group-wise and overall false discovery rates (FDR), and a structure adaptive multiple testing procedure that can incorporate external covariate information to boost detection power. One notable feature of the proposed methods is that we use a data-dependent approach for assigning weights to e-values, significantly enhancing the efficiency of the resulting e-BH procedure. The construction of the weights is non-trivial and is motivated by the leave-one-out analysis for the BH and BC procedures. In theory, we prove that the proposed e-BH procedures with data-dependent weights in the three applications ensure finite sample FDR control. Furthermore, we demonstrate the efficiency of the proposed methods through numerical studies in the three applications.


title: Uncovering Patterns of Participant-Invariant Influence in Networks

abstract: In this paper, we explore the nature of influence in a network. The concept of participant-invariant influence is derived from an influence matrix M specifically designed to explore this phenomenon. Through nonnegative matrix factorization approximation, we managed to extract a participant-invariant matrix H representing a shared pattern that all participants must obey. The acquired H is highly field-related and can be further utilized to cluster factual networks. Our discovery of the unveiled participant-independent influence within network dynamics opens up new avenues for further research on network behavior and its implications.


title: Resonant versus non-resonant spin readout of a nitrogen-vacancy center in diamond under cryogenic conditions

abstract: The last decade has seen an explosive growth in the use of color centers for metrology applications, the paradigm example arguably being the nitrogen-vacancy (NV) center in diamond. Here, we focus on the regime of cryogenic temperatures and examine the impact of spin-selective, narrow-band laser excitation on NV readout. Specifically, we demonstrate a more than four-fold improvement in sensitivity compared to that possible with non-resonant (green) illumination, largely due to a boost in readout contrast and integrated photon count. We also leverage nuclear spin relaxation under resonant excitation to polarize the 14N host, which we then prove beneficial for spin magnetometry. These results open opportunities in the application of NV sensing to the investigation of condensed matter systems, particularly those exhibiting superconducting, magnetic, or topological phases selectively present at low temperatures.


title: Deep Learning Segmentation of Spiral Arms and Bars

abstract: We present the first deep learning model for segmenting galactic spiral arms and bars. In a blinded assessment by expert astronomers, our predicted spiral arm masks are preferred over both current automated methods (99% of evaluations) and our original volunteer labels (79% of evaluations). Experts rated our spiral arm masks as `mostly good' to `perfect' in 89% of evaluations. Bar lengths trivially derived from our predicted bar masks are in excellent agreement with a dedicated crowdsourcing project. The pixelwise precision of our masks, previously impossible at scale, will underpin new research into how spiral arms and bars evolve.


title: Integration with respect to the Lefschetz number

abstract: We develop a theory of integration with respect to the Lefschetz number in the context of o-minimal structures containing the semilinear sets. We prove several results and we apply the theory to the field of object detection using sensors.


title: Rare Galaxy Classes Identified In Foundation Model Representations

abstract: We identify rare and visually distinctive galaxy populations by searching for structure within the learned representations of pretrained models. We show that these representations arrange galaxies by appearance in patterns beyond those needed to predict the pretraining labels. We design a clustering approach to isolate specific local patterns, revealing groups of galaxies with rare and scientifically-interesting morphologies.


title: Accretion processes onto black holes: theoretical problems, observational constraints

abstract: We shortly summarize the standard current knowledge on the structure of the accretion flow onto black holes in galactic binary systems and in active galactic nuclei. We stress the similarities and differences between the two types of systems, and we highlight the complementarity of the data caused by these differences. We highlight some new developments and list the unsolved problems.


title: Realistic Scatterer Based Adversarial Attacks on SAR Image Classifiers

abstract: Adversarial attacks have highlighted the vulnerability of classifiers based on machine learning for Synthetic Aperture Radar (SAR) Automatic Target Recognition (ATR) tasks. An adversarial attack perturbs SAR images of on-ground targets such that the classifiers are misled into making incorrect predictions. However, many existing attacking techniques rely on arbitrary manipulation of SAR images while overlooking the feasibility of executing the attacks on real-world SAR imagery. Instead, adversarial attacks should be able to be implemented by physical actions, for example, placing additional false objects as scatterers around the on-ground target to perturb the SAR image and fool the SAR ATR. In this paper, we propose the On-Target Scatterer Attack (OTSA), a scatterer-based physical adversarial attack. To ensure the feasibility of its physical execution, we enforce a constraint on the positioning of the scatterers. Specifically, we restrict the scatterers to be placed only on the target instead of in the shadow regions or the background. To achieve this, we introduce a positioning score based on Gaussian kernels and formulate an optimization problem for our OTSA attack. Using a gradient ascent method to solve the optimization problem, the OTSA can generate a vector of parameters describing the positions, shapes, sizes and amplitudes of the scatterers to guide the physical execution of the attack that will mislead SAR image classifiers. The experimental results show that our attack obtains significantly higher success rates under the positioning constraint compared with the existing method.


title: Let the LLMs Talk: Simulating Human-to-Human Conversational QA via Zero-Shot LLM-to-LLM Interactions

abstract: Conversational question-answering (CQA) systems aim to create interactive search systems that effectively retrieve information by interacting with users. To replicate human-to-human conversations, existing work uses human annotators to play the roles of the questioner (student) and the answerer (teacher). Despite its effectiveness, challenges exist as human annotation is time-consuming, inconsistent, and not scalable. To address this issue and investigate the applicability of large language models (LLMs) in CQA simulation, we propose a simulation framework that employs zero-shot learner LLMs for simulating teacher-student interactions. Our framework involves two LLMs interacting on a specific topic, with the first LLM acting as a student, generating questions to explore a given search topic. The second LLM plays the role of a teacher by answering questions and is equipped with additional information, including a text on the given topic. We implement both the student and teacher by zero-shot prompting the GPT-4 model. To assess the effectiveness of LLMs in simulating CQA interactions and understand the disparities between LLM- and human-generated conversations, we evaluate the simulated data from various perspectives. We begin by evaluating the teacher's performance through both automatic and human assessment. Next, we evaluate the performance of the student, analyzing and comparing the disparities between questions generated by the LLM and those generated by humans. Furthermore, we conduct extensive analyses to thoroughly examine the LLM performance by benchmarking state-of-the-art reading comprehension models on both datasets. Our results reveal that the teacher LLM generates lengthier answers that tend to be more accurate and complete. The student LLM generates more diverse questions, covering more aspects of a given topic.


title: Unsupervised Video Domain Adaptation with Masked Pre-Training and Collaborative Self-Training

abstract: In this work, we tackle the problem of unsupervised domain adaptation (UDA) for video action recognition. Our approach, which we call UNITE, uses an image teacher model to adapt a video student model to the target domain. UNITE first employs self-supervised pre-training to promote discriminative feature learning on target domain videos using a teacher-guided masked distillation objective. We then perform self-training on masked target data, using the video student model and image teacher model together to generate improved pseudolabels for unlabeled target videos. Our self-training process successfully leverages the strengths of both models to achieve strong transfer performance across domains. We evaluate our approach on multiple video domain adaptation benchmarks and observe significant improvements upon previously reported results.


title: A Sparsity Approach to Scheduling and Control of Networked Systems

abstract: We study the design of scheduling logic and control logic for networked control systems (NCSs) where plants communicate with their remotely located controllers over a shared band-limited communication network. Due to a limited capacity of the network, only a subset of the plants can exchange information with their controllers at any instant of time and the remaining plants operate in open-loop. Our key contribution is a new algorithm that co-designs (a) an allocation scheme of the communication network among the plants (scheduling logic) and (b) the control inputs for the plants accessing the network (control logic) under which given non-zero initial states are steered to zero in a given time horizon for all the plants in the NCS. Sparse optimization is the primary apparatus for our analysis. We also provide sufficient conditions on the plant dynamics, capacity of the communication network and the given time horizon that lead to a numerically tractable implementation of our algorithm. A numerical experiment is presented to demonstrate the proposed results.


title: MIND: Multi-Task Incremental Network Distillation

abstract: The recent surge of pervasive devices that generate dynamic data streams has underscored the necessity for learning systems to adapt continually to data distributional shifts. To tackle this challenge, the research community has put forth a spectrum of methodologies, including the demanding pursuit of class-incremental learning without replay data. In this study, we present MIND, a parameter isolation method that aims to significantly enhance the performance of replay-free solutions and achieve state-of-the-art results on several widely studied datasets. Our approach introduces two main contributions: two alternative distillation procedures that significantly improve the efficiency of MIND increasing the accumulated knowledge of each sub-network, and the optimization of the BachNorm layers across tasks inside the sub-networks. Overall, MIND outperforms all the state-of-the-art methods for rehearsal-free Class-Incremental learning (with an increment in classification accuracy of approx. +6% on CIFAR-100/10 and +10% on TinyImageNet/10) reaching up to approx. +40% accuracy in Domain-Incremental scenarios. Moreover, we ablated each contribution to demonstrate its impact on performance improvement. Our results showcase the superior performance of MIND indicating its potential for addressing the challenges posed by Class-incremental and Domain-Incremental learning in resource-constrained environments.


title: PMUT-Powered Photoacoustic Detection: Revolutionizing Microfluidic Concentration Measurements

abstract: This report introduces a novel optofluidic platform based on piezo-MEMS technology, capable of identifying subtle variations in the fluid concentration. The system utilizes piezoelectric micromachined ultrasound transducers (PMUTs) as receivers to capture sound waves produced by nanosecond photoacoustic (PA) pulses emanating from a fluid target housed in PDMS microchannels. Additionally, a dedicated low-noise single-channel amplifier has been developed to extract the minute analog voltage signals from the PMUTs, given the inherently weak ultrasound signals generated by fluid targets. The PMUTs' proficiency in detecting changes in fluid concentration under both static and time-varying conditions has been documented and verified, confirming the platform's efficacy in monitoring fluid concentrations.


title: Multimodal Prompt Perceiver: Empower Adaptiveness, Generalizability and Fidelity for All-in-One Image Restoration

abstract: Despite substantial progress, all-in-one image restoration (IR) grapples with persistent challenges in handling intricate real-world degradations. This paper introduces MPerceiver: a novel multimodal prompt learning approach that harnesses Stable Diffusion (SD) priors to enhance adaptiveness, generalizability and fidelity for all-in-one image restoration. Specifically, we develop a dual-branch module to master two types of SD prompts: textual for holistic representation and visual for multiscale detail representation. Both prompts are dynamically adjusted by degradation predictions from the CLIP image encoder, enabling adaptive responses to diverse unknown degradations. Moreover, a plug-in detail refinement module improves restoration fidelity via direct encoder-to-decoder information transformation. To assess our method, MPerceiver is trained on 9 tasks for all-in-one IR and outperforms state-of-the-art task-specific methods across most tasks. Post multitask pre-training, MPerceiver attains a generalized representation in low-level vision, exhibiting remarkable zero-shot and few-shot capabilities in unseen tasks. Extensive experiments on 16 IR tasks underscore the superiority of MPerceiver in terms of adaptiveness, generalizability and fidelity.


title: Fine-grained Controllable Video Generation via Object Appearance and Context

abstract: Text-to-video generation has shown promising results. However, by taking only natural languages as input, users often face difficulties in providing detailed information to precisely control the model's output. In this work, we propose fine-grained controllable video generation (FACTOR) to achieve detailed control. Specifically, FACTOR aims to control objects' appearances and context, including their location and category, in conjunction with the text prompt. To achieve detailed control, we propose a unified framework to jointly inject control signals into the existing text-to-video model. Our model consists of a joint encoder and adaptive cross-attention layers. By optimizing the encoder and the inserted layer, we adapt the model to generate videos that are aligned with both text prompts and fine-grained control. Compared to existing methods relying on dense control signals such as edge maps, we provide a more intuitive and user-friendly interface to allow object-level fine-grained control. Our method achieves controllability of object appearances without finetuning, which reduces the per-subject optimization efforts for the users. Extensive experiments on standard benchmark datasets and user-provided inputs validate that our model obtains a 70% improvement in controllability metrics over competitive baselines.


title: A Dynamic Model for Managing Volunteer Engagement

abstract: Non-profit organizations that provide food, shelter, and other services to people in need, rely on volunteers to deliver their services. Unlike paid labor, non-profit organizations have less control over unpaid volunteers' schedules, efforts, and reliability. However, these organizations can invest in volunteer engagement activities to ensure a steady and adequate supply of volunteer labor. We study a key operational question of how a non-profit organization can manage its volunteer workforce capacity to ensure consistent provision of services. In particular, we formulate a multiclass queueing network model to characterize the optimal engagement activities for the non-profit organization to minimize the costs of enhancing volunteer engagement, while maximizing productive work done by volunteers. Because this problem appears intractable, we formulate an approximating Brownian control problem in the heavy traffic limit and study the dynamic control of that system. Our solution is a nested threshold policy with explicit congestion thresholds that indicate when the non-profit should optimally pursue various types of volunteer engagement activities. A numerical example calibrated using data from a large food bank shows that our dynamic policy for deploying engagement activities can significantly reduce the food bank's total annual cost of its volunteer operations while still maintaining almost the same level of social impact. This improvement in performance does not require any additional resources - it only requires that the food bank strategically deploy its engagement activities based on the number of volunteers signed up to work volunteer shifts.


title: Cyber Insurance for Cyber Resilience

abstract: Cyber insurance is a complementary mechanism to further reduce the financial impact on the systems after their effort in defending against cyber attacks and implementing resilience mechanism to maintain the system-level operator even though the attacker is already in the system. This chapter presents a review of the quantitative cyber insurance design framework that takes into account the incentives as well as the perceptual aspects of multiple parties. The design framework builds on the correlation between state-of-the-art attacker vectors and defense mechanisms. In particular, we propose the notion of residual risks to characterize the goal of cyber insurance design. By elaborating the insurer's observations necessary for the modeling of the cyber insurance contract, we make comparison between the design strategies of the insurer under scenarios with different monitoring rules. These distinct but practical scenarios give rise to the concept of the intensity of the moral hazard issue. Using the modern techniques in quantifying the risk preferences of individuals, we link the economic impacts of perception manipulation with moral hazard. With the joint design of cyber insurance design and risk perceptions, cyber resilience can be enhanced under mild assumptions on the monitoring of insurees' actions. Finally, we discuss possible extensions on the cyber insurance design framework to more sophisticated settings and the regulations to strengthen the cyber insurance markets.