title: IoTSim-Osmosis-RES: Towards autonomic renewable energy-aware osmotic computing

abstract: Internet of Things systems exists in various areas of our everyday life. For example, sensors installed in smart cities and homes are processed in edge and cloud computing centres providing several benefits that improve our lives. The place of data processing is related to the required system response times -- processing data closer to its source results in a shorter system response time. The Osmotic Computing concept enables flexible deployment of data processing services and their possible movement, just like particles in the osmosis phenomenon move between regions of different densities. At the same time, the impact of complex computer architecture on the environment is increasingly being compensated by the use of renewable and low-carbon energy sources. However, the uncertainty of supplying green energy makes the management of Osmotic Computing demanding, and therefore their autonomy is desirable. In the paper, we present a framework enabling osmotic computing simulation based on renewable energy sources and autonomic osmotic agents, allowing the analysis of distributed management algorithms. We discuss the challenges posed to the framework and analyze various management algorithms for cooperating osmotic agents. In the evaluation we show that changing the adaptation logic of the osmotic agents, it is possible to increase the self-consumption of renewable energy sources or increase the usage of low emission ones.


title: BSDE-based stochastic control for optimal reinsurance in a dynamic contagion model

abstract: We investigate the optimal reinsurance problem in the risk model with jump clustering features introduced in [7]. This modeling framework is inspired by the concept initially proposed in [15], combining Hawkes and Cox processes with shot noise intensity models. Specifically, these processes describe self-exciting and externally excited jumps in the claim arrival intensity, respectively. The insurer aims to maximize the expected exponential utility of terminal wealth for general reinsurance contracts and reinsurance premiums. We discuss two different methodologies: the classical stochastic control approach based on the Hamilton-Jacobi-Bellman (HJB) equation and a backward stochastic differential equation (BSDE) approach. In a Markovian setting, differently from the classical HJB-approach, the BSDE method enables us to solve the problem without imposing any requirements for regularity on the associated value function. We provide a Verification Theorem in terms of a suitable BSDE driven by a two-dimensional marked point process and we prove an existence result relaying on the theory developed in [27] for stochastic Lipschitz generators. After discussing the optimal strategy for general reinsurance contracts and reinsurance premiums, we provide more explicit results in some relevant cases. Finally, we provide comparison results that highlight the heightened risk stemming from the self-exciting component in contrast to the externally-excited counterpart and discuss the monotonicity property of the value function.


title: AgentKit: Flow Engineering with Graphs, not Coding

abstract: We propose an intuitive LLM prompting framework (AgentKit) for multifunctional agents. AgentKit offers a unified framework for explicitly constructing a complex "thought process" from simple natural language prompts. The basic building block in AgentKit is a node, containing a natural language prompt for a specific subtask. The user then puts together chains of nodes, like stacking LEGO pieces. The chains of nodes can be designed to explicitly enforce a naturally structured "thought process". For example, for the task of writing a paper, one may start with the thought process of 1) identify a core message, 2) identify prior research gaps, etc. The nodes in AgentKit can be designed and combined in different ways to implement multiple advanced capabilities including on-the-fly hierarchical planning, reflection, and learning from interactions. In addition, due to the modular nature and the intuitive design to simulate explicit human thought process, a basic agent could be implemented as simple as a list of prompts for the subtasks and therefore could be designed and tuned by someone without any programming experience. Quantitatively, we show that agents designed through AgentKit achieve SOTA performance on WebShop and Crafter. These advances underscore AgentKit's potential in making LLM agents effective and accessible for a wider range of applications. https://github.com/holmeswww/AgentKit


title: Mesh Optimization for the Virtual Element Method: How Small Can an Agglomerated Mesh Become?

abstract: We present an optimization procedure for generic polygonal or polyhedral meshes, tailored for the Virtual Element Method (VEM). Once the local quality of the mesh elements is analyzed through a quality indicator specific to the VEM, groups of elements are agglomerated to optimize the global mesh quality. The resulting discretization is significantly lighter: we can remove up to 80$\%$ of the mesh elements, based on a user-set parameter, thus reducing the number of faces, edges, and vertices. This results in a drastic reduction of the total number of degrees of freedom associated with a discrete problem defined over the mesh with the VEM, in particular, for high-order formulations. We show how the VEM convergence rate is preserved in the optimized meshes, and the approximation errors are comparable with those obtained with the original ones. We observe that the optimization has a regularization effect over low-quality meshes, removing the most pathological elements. This regularization effect is evident in cases where the original meshes cause the VEM to diverge, while the optimized meshes lead to convergence. We conclude by showing how the optimization of a real CAD model can be used effectively in the simulation of a time-dependent problem.


title: Assessment of SDSS-Derived Galaxy Morphologies Using HST Imaging

abstract: The Sloan Digital Sky Survey (SDSS) was foundational to the study of galaxy evolution, having revealed the bimodality of galaxies and the relationship between their structure and star-forming activity. However, ground-based optical surveys like SDSS are limited in resolution and depth which may lead to biases or poor quality in the derived morphological properties, potentially impacting our understanding of how and why galaxies cease their star formation (quench). We use archival HST imaging of ~2,000 SDSS objects to assess the reliability of SDSS-derived morphologies, taking advantage of both SDSS statistical samples and of HST's superior resolution and sensitivity. Single Sersic fitting and bulge-disk decomposition is performed on HST images for direct comparison with SDSS results. Of the three catalogs of SDSS-derived morphologies considered, none are significantly more accurate than the others. For disk-dominated galaxies (n<2.5), global Sersic indices (n) from Meert et al. 2015 (M15) are preferred. For bulge-dominated galaxies (n>2.5), Simard et al. 2011 (S11) and M15 overestimate n by ~20%, and NYU-derived global n are preferred. Global R_eff from S11 are preferred, but overestimate R_eff for the largest galaxies by 0.1 dex. SDSS-derived single-component parameters are generally significantly more robust than SDSS-derived two-component parameters. The bulge Sersic index (n_bulge) cannot be reliably constrained from SDSS imaging. The bulge-to-total (B/T) ratio can be reliably inferred from SDSS for galaxies with SDSS B/T<0.6 provided that n_bulge=4 is enforced. The difference in global n between HST and SDSS depends strongly on B/T; an empirical correction based only on it accounts for most of the systematics in global n.


title: On the non-local problem for Boussinesq type fractional equation

abstract: In recent years, the Boussinesq type fractional partial differential equation has attracted much attentions of researchers for its practical importance. In this paper we study a non-local problem for the Boussinesq type equation $D_t^\alpha u(t)+A D_t^\alpha u(t)+\nu^2A u(t)=0,\,\, 0< t< T,\,\, 1<\alpha<2,$ where $D_t^\alpha$ is the Caputo fractional derivative and $A$ is abstract operator. In the classical case, i.e. at $\alpha=2$, this problem was studied earlier and an interesting effect was discovered: the well-posedness of the problem significantly depends on the length of the time interval and the parameter $\nu$. This note shows that for the case of a fractional equation there is no such effect: the problem is well-posed for any $T$ and $\nu$.


title: Randomly Pivoted Partial Cholesky: Random How?

abstract: We consider the problem of finding good low rank approximations of symmetric, positive-definite $A \in \mathbb{R}^{n \times n}$. Chen-Epperly-Tropp-Webber showed, among many other things, that the randomly pivoted partial Cholesky algorithm that chooses the $i-$th row with probability proportional to the diagonal entry $A_{ii}$ leads to a universal contraction of the trace norm (the Schatten 1-norm) in expectation for each step. We show that if one chooses the $i-$th row with likelihood proportional to $A_{ii}^2$ one obtains the same result in the Frobenius norm (the Schatten 2-norm). Implications for the greedy pivoting rule and pivot selection strategies are discussed.


title: Multi-resolution Rescored ByteTrack for Video Object Detection on Ultra-low-power Embedded Systems

abstract: This paper introduces Multi-Resolution Rescored Byte-Track (MR2-ByteTrack), a novel video object detection framework for ultra-low-power embedded processors. This method reduces the average compute load of an off-the-shelf Deep Neural Network (DNN) based object detector by up to 2.25$\times$ by alternating the processing of high-resolution images (320$\times$320 pixels) with multiple down-sized frames (192$\times$192 pixels). To tackle the accuracy degradation due to the reduced image input size, MR2-ByteTrack correlates the output detections over time using the ByteTrack tracker and corrects potential misclassification using a novel probabilistic Rescore algorithm. By interleaving two down-sized images for every high-resolution one as the input of different state-of-the-art DNN object detectors with our MR2-ByteTrack, we demonstrate an average accuracy increase of 2.16% and a latency reduction of 43% on the GAP9 microcontroller compared to a baseline frame-by-frame inference scheme using exclusively full-resolution images. Code available at: https://github.com/Bomps4/Multi_Resolution_Rescored_ByteTrack


title: Asymptotics For Local Solubility Of Diagonal Quadrics Over A Split Quadric Surface

abstract: We prove asymptotics for the density of everywhere locally soluble diagonal quadric surfaces parameterised by rational points on the split quadric surface $y_0y_1=y_2y_3$ which do not satisfy $-y_0y_1=\square$ nor $-y_0y_3=\square$.


title: Variational methods for solving high dimensional quantum systems

abstract: Variational methods are highly valuable computational tools for solving high-dimensional quantum systems. In this paper, we explore the effectiveness of three variational methods: the density matrix renormalization group (DMRG), Boltzmann machine learning, and the variational quantum eigensolver (VQE). We apply these methods to two different quantum systems: the fermi-Hubbard model in condensed matter physics and the Schwinger model in high energy physics. To facilitate the computations on quantum computers, we map each model to a spin 1/2 system using the Jordan-Wigner transformation. This transformation allows us to take advantage of the capabilities of quantum computing. We calculate the ground state of both quantum systems and compare the results obtained using the three variational methods. By doing so, we aim to demonstrate the power and effectiveness of these variational approaches in tackling complex quantum systems.


title: Microscopic solutions for vortex clustering in two-band type-1.5 superconductor

abstract: It has been proposed that two-band superconductors exhibit a distinct phase characterized by two correlation lengths, where one is smaller and the other larger than the magnetic field penetration length. This regime was coined type-1.5 superconductivity, with a number of unconventional properties, such as vortex clustering. However a fully microscopic solution for vortex clusters has remained challenging due to computational complexities beyond quasiclassical models. In this work, we present numerical solutions obtained in a fully self-consistent two-band Bogoliubov-de-Gennes model. We show the presence of discrepant correlation lengths leading to vortex clustering in two-band superconductors.


title: arcjetCV: an open-source software to analyze material ablation

abstract: arcjetCV is an open-source Python software designed to automate time-resolved measurements of heatshield material recession and recession rates from arcjet test video footage. This new automated and accessible capability greatly exceeds previous manual extraction methods, enabling rapid and detailed characterization of material recession for any sample with a profile video. arcjetCV automates the video segmentation process using machine learning models, including a one-dimensional (1D) Convolutional Neural Network (CNN) to infer the time-window of interest, a two-dimensional (2D) CNN for image and edge segmentation, and a Local Outlier Factor (LOF) for outlier filtering. A graphical user interface (GUI) simplifies the user experience and an application programming interface (API) allows users to call the core functions from scripts, enabling video batch processing. arcjetCV's capability to measure time-resolved recession in turn enables characterization of non-linear processes (shrinkage, swelling, melt flows, etc.), contributing to higher fidelity validation and improved modeling of heatshield material performance. The source code associated with this article can be found at https://github.com/magnus-haw/arcjetCV.


title: A VUV light source for enhanced production of metastable krypton and xenon beams

abstract: We demonstrate excitation of metastable krypton and xenon beams using a vacuum ultraviolet lamp and directly compare the performance of this method to metastable excitation based on a radiofrequency-driven plasma discharge. In our apparatus, lamp-based metastable excitation outperforms the plasma discharge across a wide range of beam flux values relevant for Atom Trap Trace Analysis (ATTA). Moreover, we do not observe significant degradation in lamp performance after over 160 hours of operation. We find that lamp-based excitation is particularly advantageous at the smallest and largest beam fluxes tested, demonstrating the utility of this approach both for improving krypton ATTA and for enabling the detection of radioactive xenon isotopes using ATTA. Finally, we demonstrate an additional enhancement to lamp-based metastable excitation efficiency and stability by applying an external magnetic field.


title: On monoid algebras having every nonempty subset of $\mathbb{N}_{\ge 2}$ as a length set

abstract: We construct monoid algebras which satisfy the ascending chain condition on principal ideals and which have the property that every nonempty subset of $\mathbb{N}_{\ge 2}$ occurs as a length set.


title: H$\alpha$ Reverberation Mapping from Broad-band Photometry of Dwarf Seyfert 1 Galaxy NGC 4395

abstract: NGC 4395 is a dwarf Seyfert 1 galaxy with a possible intermediate-mass black hole of several $\rm{10^4}$ solar masses in its center. As a well-studied object, its broad line region size has been measured via H$\rm{\alpha}$ time lag in numerous spectroscopic reverberation mapping (SRM) and narrow-band photometric reverberation mapping (PRM) campaigns. Here we present its H$\rm{\alpha}$ time lag measurement using broad-band photometric data, with the application of our newly-developed ICCF-Cut method as well as the JAVELIN and $\chi ^2$ methods. utilizing the minute-cadence multi-band light curves obtained from the $\rm{2}$m FTN and $\rm{10.4}$m GTC telescopes in recent works, we measured its H$\rm{\alpha}$ lag as approximately $40 \sim 90$ minutes from broad-band PRM. With the H$\rm{\alpha}$ emission line velocity dispersion, we calculated its central black hole mass as $\rm M_{\rm BH} = (8\pm4) \times 10^3\, M_{\rm \odot}$. These results are comparable with previous results obtained by narrow-band PRM and SRM, providing further support to an intermediate-mass black hole in NGC 4395. In addition, our study also validates the ICCF-Cut as an effective method for broad-band PRM, which holds the potential for widespread application in the era of large multi-epoch, high-cadence photometric surveys.


title: Runtime Analysis of Evolutionary Diversity Optimization on the Multi-objective (LeadingOnes, TrailingZeros) Problem

abstract: The diversity optimization is the class of optimization problems, in which we aim at finding a diverse set of good solutions. One of the frequently used approaches to solve such problems is to use evolutionary algorithms which evolve a desired diverse population. This approach is called evolutionary diversity optimization (EDO). In this paper, we analyse EDO on a 3-objective function LOTZ$_k$, which is a modification of the 2-objective benchmark function (LeadingOnes, TrailingZeros). We prove that the GSEMO computes a set of all Pareto-optimal solutions in $O(kn^3)$ expected iterations. We also analyze the runtime of the GSEMO$_D$ (a modification of the GSEMO for diversity optimization) until it finds a population with the best possible diversity for two different diversity measures, the total imbalance and the sorted imbalances vector. For the first measure we show that the GSEMO$_D$ optimizes it asymptotically faster than it finds a Pareto-optimal population, in $O(kn^2\log(n))$ expected iterations, and for the second measure we show an upper bound of $O(k^2n^3\log(n))$ expected iterations. We complement our theoretical analysis with an empirical study, which shows a very similar behavior for both diversity measures that is close to the theory predictions.


title: Elastic scattering of Laguerre-Gaussian electron packets on atoms

abstract: We explore elastic scattering of non-relativistic electrons in the form of standard Laguerre-Gaussian (sLG) and elegant Laguerre - Gaussian (eLG) packets on atomic targets in the generalized Born approximation and compare these results to the reference with Bessel-Gaussian (BG) packets. Scattering by hydrogen-like, iron, silver, and golden targets is considered. The incident electron carries a nonzero orbital angular momentum, while sLG and eLG packets have a definite radial quantum number n as well. In scattering of sLG and eLG wave packets by a macroscopic target sensitivity of the average cross section to the orbital angular momentum is observed, which is absent for BG packets. We highlight the opportunity to employ the differences in the experimental scattering results for the revelation of the properties of incident twisted electron wave packets


title: Runtime Verification and Field Testing for ROS-Based Robotic Systems

abstract: Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has emerged as a crucial discipline for building maintainable and reusable robotic systems. Robotics software engineering research has received increasing attention, fostering autonomy as a fundamental goal. However, robotics developers are still challenged trying to achieve this goal given that simulation is not able to deliver solutions to realistically emulate real-world phenomena. Robots also need to operate in unpredictable and uncontrollable environments, which require safe and trustworthy self-adaptation capabilities implemented in software. Typical techniques to address the challenges are runtime verification, field-based testing, and mitigation techniques that enable fail-safe solutions. However, there is no clear guidance to architect ROS-based systems to enable and facilitate runtime verification and field-based testing. This paper aims to fill in this gap by providing guidelines that can help developers and QA teams when developing, verifying or testing their robots in the field. These guidelines are carefully tailored to address the challenges and requirements of testing robotics systems in real-world scenarios. We conducted a literature review on studies addressing runtime verification and field-based testing for robotic systems, mined ROS-based application repositories, and validated the applicability, clarity, and usefulness via two questionnaires with 55 answers. We contribute 20 guidelines formulated for researchers and practitioners in robotic software engineering. Finally, we map our guidelines to open challenges thus far in runtime verification and field-based testing for ROS-based systems and, we outline promising research directions in the field.


title: A Data-Driven Representation for Sign Language Production

abstract: Phonetic representations are used when recording spoken languages, but no equivalent exists for recording signed languages. As a result, linguists have proposed several annotation systems that operate on the gloss or sub-unit level; however, these resources are notably irregular and scarce. Sign Language Production (SLP) aims to automatically translate spoken language sentences into continuous sequences of sign language. However, current state-of-the-art approaches rely on scarce linguistic resources to work. This has limited progress in the field. This paper introduces an innovative solution by transforming the continuous pose generation problem into a discrete sequence generation problem. Thus, overcoming the need for costly annotation. Although, if available, we leverage the additional information to enhance our approach. By applying Vector Quantisation (VQ) to sign language data, we first learn a codebook of short motions that can be combined to create a natural sequence of sign. Where each token in the codebook can be thought of as the lexicon of our representation. Then using a transformer we perform a translation from spoken language text to a sequence of codebook tokens. Each token can be directly mapped to a sequence of poses allowing the translation to be performed by a single network. Furthermore, we present a sign stitching method to effectively join tokens together. We evaluate on the RWTH-PHOENIX-Weather-2014T (PHOENIX14T) and the more challenging Meine DGS Annotated (mDGS) datasets. An extensive evaluation shows our approach outperforms previous methods, increasing the BLEU-1 back translation score by up to 72%.


title: Paraphrase and Solve: Exploring and Exploiting the Impact of Surface Form on Mathematical Reasoning in Large Language Models

abstract: This paper studies the relationship between the surface form of a mathematical problem and its solvability by large language models. We find that subtle alterations in the surface form can significantly impact the answer distribution and the solve rate, exposing the language model's lack of robustness and sensitivity to the surface form in reasoning through complex problems. To improve mathematical reasoning performance, we propose Self-Consistency-over-Paraphrases (SCoP), which diversifies reasoning paths from specific surface forms of the problem. We evaluate our approach on four mathematics reasoning benchmarks over three large language models and show that SCoP improves mathematical reasoning performance over vanilla self-consistency, particularly for problems initially deemed unsolvable. Finally, we provide additional experiments and discussion regarding problem difficulty and surface forms, including cross-model difficulty agreement and paraphrasing transferability, and Variance of Variations (VOV) for language model evaluation.


title: Solving the Yang-Baxter, tetrahedron and higher simplex equations using Clifford algebras

abstract: Bethe Ansatz was discoverd in 1932. Half a century later its algebraic structure was unearthed: Yang-Baxter equation was discovered, as well as its multidimensional generalizations [tetrahedron equation and $d$-simplex equations]. Here we describe a universal method to solve these equations using Clifford algebras. The Yang-Baxter equation ($d=2$), Zamalodchikov's tetrahedron equation ($d=3$) and the Bazhanov-Stroganov equation ($d=4$) are special cases. Our solutions form a linear space. This helps us to include spectral parameters. Potential applications are discussed.

categories: hep-th cond-mat.stat-mech math-ph math.MP quant-ph


title: Towards Coarse-to-Fine Evaluation of Inference Efficiency for Large Language Models

abstract: In real world, large language models (LLMs) can serve as the assistant to help users accomplish their jobs, and also support the development of advanced applications. For the wide application of LLMs, the inference efficiency is an essential concern, which has been widely studied in existing work, and numerous optimization algorithms and code libraries have been proposed to improve it. Nonetheless, users still find it challenging to compare the effectiveness of all the above methods and understand the underlying mechanisms. In this work, we perform a detailed coarse-to-fine analysis of the inference performance of various code libraries. To evaluate the overall effectiveness, we examine four usage scenarios within two practical applications. We further provide both theoretical and empirical fine-grained analyses of each module in the Transformer architecture. Our experiments yield comprehensive results that are invaluable for researchers to evaluate code libraries and improve inference strategies.


title: Mixing Time of Open Quantum Systems via Hypocoercivity

abstract: Understanding the mixing of open quantum systems is a fundamental problem in physics and quantum information science. Existing approaches for estimating the mixing time often rely on the spectral gap estimation of the Lindbladian generator, which can be challenging to obtain in practice. We propose a novel theoretical framework to estimate the mixing time of open quantum systems that treats the Hamiltonian and dissipative part separately, thus circumventing the need for a priori estimation of the spectral gap of the full Lindbladian generator. The technique is based on the construction of an energy functional inspired by the hypocoercivity of (classical) kinetic theory.


title: Testing Intersectingness of Uniform Families

abstract: A set family ${\cal F}$ is called intersecting if every two members of ${\cal F}$ intersect, and it is called uniform if all members of ${\cal F}$ share a common size. A uniform family ${\cal F} \subseteq \binom{[n]}{k}$ of $k$-subsets of $[n]$ is $\varepsilon$-far from intersecting if one has to remove more than $\varepsilon \cdot \binom{n}{k}$ of the sets of ${\cal F}$ to make it intersecting. We study the property testing problem that given query access to a uniform family ${\cal F} \subseteq \binom{[n]}{k}$, asks to distinguish between the case that ${\cal F}$ is intersecting and the case that it is $\varepsilon$-far from intersecting. We prove that for every fixed integer $r$, the problem admits a non-adaptive two-sided error tester with query complexity $O(\frac{\ln n}{\varepsilon})$ for $\varepsilon \geq \Omega( (\frac{k}{n})^r)$ and a non-adaptive one-sided error tester with query complexity $O(\frac{\ln k}{\varepsilon})$ for $\varepsilon \geq \Omega( (\frac{k^2}{n})^r)$. The query complexities are optimal up to the logarithmic terms. For $\varepsilon \geq \Omega( (\frac{k^2}{n})^2)$, we further provide a non-adaptive one-sided error tester with optimal query complexity of $O(\frac{1}{\varepsilon})$. Our findings show that the query complexity of the problem differs substantially from that of testing intersectingness of non-uniform families, studied recently by Chen, De, Li, Nadimpalli, and Servedio (ITCS, 2024).


title: Sky location of Massive Black Hole Binaries in the foreground of Galactic white dwarf binaries

abstract: Sky locating massive black hole binaries (MBHBs) from the foreground of double white dwarf (DWD) is essential for space-based gravitational wave (GW) detection. In an orbit period of the space crafts, there is an optimal orbital position of the GW detectors to observe GW sources, where the signal intensity is at its peak. From the model Q3-d, five MBHB sources are selected based on the optimal observation orbital positions of the GW detectors, which are associated with the orientation of the MBHB perpendicular to the detection arms. For two MBHB sources of lower intensity, luminosity distance uncertainties, $\Delta D_L$/$D_L$ at the 95$\%$ confidence level from the overlapping GW signals of MBHB and DWD sources, when employing wavelet decomposition and reconstruction methods, are improved by $\sim$ 2 times and $\sim$ 10 times. Besides, the angular resolutions $\Delta \Omega_s$ are also improved by a factor of $\sim$ 35 and $\sim$ 8. These results imply that we can obtain relatively high accuracy of quickly localizing MBHB from the overlapped GW signals with DWDs at the best observation orbit position. The luminosity distance uncertainties at the 95$\%$ confidence level for MBHB sources with the higher sign-noise ratio, have constraints on the precision of the Hubble constant.


title: Statistical methods to estimate the impact of gun policy on gun violence

abstract: Gun violence is a critical public health and safety concern in the United States. There is considerable variability in policy proposals meant to curb gun violence, ranging from increasing gun availability to deter potential assailants (e.g., concealed carry laws or arming school teachers) to restricting access to firearms (e.g., universal background checks or banning assault weapons). Many studies use state-level variation in the enactment of these policies in order to quantify their effect on gun violence. In this paper, we discuss the policy trial emulation framework for evaluating the impact of these policies, and show how to apply this framework to estimating impacts via difference-in-differences and synthetic controls when there is staggered adoption of policies across jurisdictions, estimating the impacts of right-to-carry laws on violent crime as a case study.


title: Oscillation of ergodic averages and other stochastic processes

abstract: For an ergodic map $T$ and a non-constant, real-valued $f \in L^1$, the ergodic averages $\mathbb{A}_N f(x) = \frac{1} {N} \sum_{n=1}^N f(T^n x)$ converge a.e., but the convergence is never monotone. Depending on particular properties of the function $f$, the averages $\mathbb{A}_N f(x)$ may or may not actually oscillate around the mean value infinitely often a.e. We will prove that a.e. oscillation around the mean is the generic behavior. That is, for a fixed ergodic $T$, the generic non-constant $f\in L^1$ has the averages $\mathbb{A}_N f(x)$ oscillating around the mean infinitely often for almost every $x$. We also consider oscillation for other stochastic processes like subsequences of the ergodic averages, convolution operators, weighted averages, uniform distribution and martingales. We will show that in general, in these settings oscillation around the limit infinitely often persists as the generic behavior.


title: Stage-IV Cosmic Shear with Modified Gravity and Model-independent Screening

abstract: We forecast constraints on minimal model-independent parametrisations of several Modified Gravity theories using mock Stage-IV cosmic shear data. We include nonlinear effects and screening, which ensures recovery of General Relativity on small scales. We introduce a power spectrum emulator to accelerate our analysis and evaluate the robustness of the growth index parametrisation with respect to two cosmologies: $\Lambda$CDM and the normal branch of the DGP model. We forecast the uncertainties on the growth index $\gamma$ to be of the order $\sim 10\%$. We find that our halo-model based screening approach demonstrates excellent performance, meeting the precision requirements of Stage-IV surveys. However, neglecting the screening transition results in biased predictions for cosmological parameters. We find that the screening transition shows significant degeneracy with baryonic feedback, requiring a much better understanding of baryonic physics for its detection. Massive neutrinos effects are less prominent and challenging to detect solely with cosmic shear data.


title: VC Theory for Inventory Policies

abstract: Advances in computational power and AI have increased interest in reinforcement learning approaches to inventory management. This paper provides a theoretical foundation for these approaches and investigates the benefits of restricting to policy structures that are well-established by decades of inventory theory. In particular, we prove generalization guarantees for learning several well-known classes of inventory policies, including base-stock and (s, S) policies, by leveraging the celebrated Vapnik-Chervonenkis (VC) theory. We apply the concepts of the Pseudo-dimension and Fat-shattering dimension from VC theory to determine the generalizability of inventory policies, that is, the difference between an inventory policy's performance on training data and its expected performance on unseen data. We focus on a classical setting without contexts, but allow for an arbitrary distribution over demand sequences and do not make any assumptions such as independence over time. We corroborate our supervised learning results using numerical simulations. Managerially, our theory and simulations translate to the following insights. First, there is a principle of "learning less is more" in inventory management: depending on the amount of data available, it may be beneficial to restrict oneself to a simpler, albeit suboptimal, class of inventory policies to minimize overfitting errors. Second, the number of parameters in a policy class may not be the correct measure of overfitting error: in fact, the class of policies defined by T time-varying base-stock levels exhibits a generalization error comparable to that of the two-parameter (s, S) policy class. Finally, our research suggests situations in which it could be beneficial to incorporate the concepts of base-stock and inventory position into black-box learning machines, instead of having these machines directly learn the order quantity actions.


title: Improved bounds and inference on optimal regimes

abstract: Point identification of causal effects requires strong assumptions that are unreasonable in many practical settings. However, informative bounds on these effects can often be derived under plausible assumptions. Even when these bounds are wide or cover null effects, they can guide practical decisions based on formal decision theoretic criteria. Here we derive new results on optimal treatment regimes in settings where the effect of interest is bounded. These results are driven by consideration of superoptimal regimes; we define regimes that leverage an individual's natural treatment value, which is typically ignored in the existing literature. We obtain (sharp) bounds for the value function of superoptimal regimes, and provide performance guarantees relative to conventional optimal regimes. As a case study, we consider a commonly studied Marginal Sensitivity Model and illustrate that the superoptimal regime can be identified when conventional optimal regimes are not. We similarly illustrate this property in an instrumental variable setting. Finally, we derive efficient estimators for upper and lower bounds on the superoptimal value in instrumental variable settings, building on recent results on covariate adjusted Balke-Pearl bounds. These estimators are applied to study the effect of prompt ICU admission on survival.


title: Event Cameras Meet SPADs for High-Speed, Low-Bandwidth Imaging

abstract: Traditional cameras face a trade-off between low-light performance and high-speed imaging: longer exposure times to capture sufficient light results in motion blur, whereas shorter exposures result in Poisson-corrupted noisy images. While burst photography techniques help mitigate this tradeoff, conventional cameras are fundamentally limited in their sensor noise characteristics. Event cameras and single-photon avalanche diode (SPAD) sensors have emerged as promising alternatives to conventional cameras due to their desirable properties. SPADs are capable of single-photon sensitivity with microsecond temporal resolution, and event cameras can measure brightness changes up to 1 MHz with low bandwidth requirements. We show that these properties are complementary, and can help achieve low-light, high-speed image reconstruction with low bandwidth requirements. We introduce a sensor fusion framework to combine SPADs with event cameras to improves the reconstruction of high-speed, low-light scenes while reducing the high bandwidth cost associated with using every SPAD frame. Our evaluation, on both synthetic and real sensor data, demonstrates significant enhancements ( > 5 dB PSNR) in reconstructing low-light scenes at high temporal resolution (100 kHz) compared to conventional cameras. Event-SPAD fusion shows great promise for real-world applications, such as robotics or medical imaging.


title: Central limit theorems for Green metrics on hyperbolic groups

abstract: Recently, the first author and Tanaka obtained a large deviation principle comparing two Green metrics on a non-elementary hyperbolic group $\Gamma$ associated to finitely supported, admissable probability measures. The aim of this article is to prove the corresponding central limit theorem. Furthermore, our results apply to various other metrics including length functions associated to Anosov representations and to group actions on hyperbolic metric spaces. In the particular case that $\Gamma$ is the fundamental group of a closed hyperbolic manifold our work provides a statistical characterisation for the hitting measure of a finitely supported random walk being in the same class as the Lebesgue measure.


title: Dark matter, black holes, and gravitational waves

abstract: The formation and growth of black holes can strongly influence the distribution of dark matter around them. I discuss here the different types of dark matter overdensities around black holes, including dark matter cusps, spikes, mounds, crests, and gravitational atoms. I then review recent results on the evolution of a black holes binary in presence of dark matter, focusing on the energy transfer between binary and dark matter induced by dynamical friction. Finally, I present the prospects for studying dark matter with gravitational wave observations, and argue that future interferometers might be able to detect and characterise dark matter overdensities around black holes.


title: Frameworking for a Community-led Feminist Ethics

abstract: This paper introduces a relational perspective on ethics within the context of Feminist Digital Civics and community-led design. Ethics work in HCI has primarily focused on prescriptive machine ethics and bioethics principles rather than people. In response, we advocate for a community-led, processual approach to ethics, acknowledging power dynamics and local contexts. We thus propose a multidimensional adaptive model for ethics in HCI design, integrating an intersectional feminist ethical lens. This framework embraces feminist epistemologies, methods, and methodologies, fostering a reflexive practice. By weaving together situated knowledges, standpoint theory, intersectionality, participatory methods, and care ethics, our approach offers a holistic foundation for ethics in HCI, aiming to advance community-led practices and enrich the discourse surrounding ethics within this field.


title: Embedding Privacy in Computational Social Science and Artificial Intelligence Research

abstract: Privacy is a human right. It ensures that individuals are free to engage in discussions, participate in groups, and form relationships online or offline without fear of their data being inappropriately harvested, analyzed, or otherwise used to harm them. Preserving privacy has emerged as a critical factor in research, particularly in the computational social science (CSS), artificial intelligence (AI) and data science domains, given their reliance on individuals' data for novel insights. The increasing use of advanced computational models stands to exacerbate privacy concerns because, if inappropriately used, they can quickly infringe privacy rights and lead to adverse effects for individuals -- especially vulnerable groups -- and society. We have already witnessed a host of privacy issues emerge with the advent of large language models (LLMs), such as ChatGPT, which further demonstrate the importance of embedding privacy from the start. This article contributes to the field by discussing the role of privacy and the issues that researchers working in CSS, AI, data science and related domains are likely to face. It then presents several key considerations for researchers to ensure participant privacy is best preserved in their research design, data collection and use, analysis, and dissemination of research results.


title: Exciton-Phonon Coupling in Single Band-Gap Engineered ZnCdSe-Dot/CdS-Rod Nanocrystals

abstract: Exciton-phonon coupling limits the homogeneous emission linewidth of nanocrystals. Hence, a full understanding of it is crucial. In this work, we statistically investigate exciton-phonon coupling by performing single-particle spectroscopy on Zn$_{1-x}$Cd$_{x}$Se/CdS dot-in-rod nanocrystals at cryogenic temperatures ($T\approx 10~\rm{K}$). In situ cation exchange enables us to analyze different band alignments and thereby different charge-carrier distributions. We find that the relative intensities of the longitudinal optical S- and Se-type phonon replicas correlate with the charge-carrier distribution. Our experimental findings are complemented with quantum mechanical calculations within the effective mass approximation that hint at the relevance of surface charges.


title: High-order meshless global stability analysis of Taylor-Couette flows in complex domains

abstract: Recently, meshless methods have become popular in numerically solving partial differential equations and have been employed to solve equations governing fluid flows, heat transfer, and species transport. In the present study, a numerical solver is developed employing the meshless framework to efficiently compute the hydrodynamic stability of fluid flows in complex geometries. The developed method is tested on two cases of Taylor-Couette flows. The concentric case represents the parallel flow assumption incorporated in the Orr-Sommerfeld model and the eccentric Taylor-Couette flow incorporates a non-parallel base flow with separation bubbles. The method was validated against earlier works by Marcus [1], Oikawa et al. [2], Leclercq et al. [3], and Mittal et al. [4]. The results for the two cases and the effectiveness of the method are discussed in detail. The method is then applied to Taylor-Couette flow in an elliptical enclosure and the stability of the flow is investigated.

categories: physics.flu-dyn math-ph math.MP physics.comp-ph


title: A central limit theorem for partially distinguishable bosons

abstract: The quantum central limit theorem derived by Cushen and Hudson provides the foundations for understanding how subsystems of large bosonic systems evolving unitarily do reach equilibrium. It finds important applications in the context of quantum interferometry, for example, with photons. A practical feature of current photonic experiments, however, is that photons carry their own internal degrees of freedom pertaining to, e.g., the polarization or spatiotemporal mode they occupy, which makes them partially distinguishable. The ensuing deviation from ideal indistinguishability is well known to have observable consequences, for example in relation with boson bunching, but an understanding of its role in bosonic equilibration phenomena is still missing. Here, we generalize the Cushen-Hudson quantum central limit theorem to encompass scenarios with partial distinguishability, implying an asymptotic convergence of the subsystem's reduced state towards a multimode Gaussian state defined over the internal degrees of freedom. While these asymptotic internal states may not be directly accessible, we show that particle number distributions carry important signatures of distinguishability, which may be used to diagnose experimental imperfections in large boson sampling experiments.


title: Disentangled Cascaded Graph Convolution Networks for Multi-Behavior Recommendation

abstract: Multi-behavioral recommender systems have emerged as a solution to address data sparsity and cold-start issues by incorporating auxiliary behaviors alongside target behaviors. However, existing models struggle to accurately capture varying user preferences across different behaviors and fail to account for diverse item preferences within behaviors. Various user preference factors (such as price or quality) entangled in the behavior may lead to sub-optimization problems. Furthermore, these models overlook the personalized nature of user behavioral preferences by employing uniform transformation networks for all users and items. To tackle these challenges, we propose the Disentangled Cascaded Graph Convolutional Network (Disen-CGCN), a novel multi-behavior recommendation model. Disen-CGCN employs disentangled representation techniques to effectively separate factors within user and item representations, ensuring their independence. In addition, it incorporates a multi-behavioral meta-network, enabling personalized feature transformation across user and item behaviors. Furthermore, an attention mechanism captures user preferences for different item factors within each behavior. By leveraging attention weights, we aggregate user and item embeddings separately for each behavior, computing preference scores that predict overall user preferences for items. Our evaluation on benchmark datasets demonstrates the superiority of Disen-CGCN over state-of-the-art models, showcasing an average performance improvement of 7.07% and 9.00% on respective datasets. These results highlight Disen-CGCN's ability to effectively leverage multi-behavioral data, leading to more accurate recommendations.


title: Equitably allocating wildfire resilience investments for power grids: The curse of aggregation and vulnerability indices

abstract: Wildfires ignited by power systems infrastructure are among the most destructive wildfires; hence some utility companies in wildfire-prone regions have pursued a proactive policy of emergency power shutoffs. These shutoffs, while mitigating the risk of disastrous ignition events, result in power outages that could negatively impacts vulnerable communities. In this paper, we consider how to equitably allocate funds to underground and effectively de-risk power lines in transmission networks. We explore the impact of the 2021 White House resource allocation policy called the Justice40 initiative, which states that 40% of the benefits of federally-funded climate-related investments should go to socially vulnerable communities. The definition of what constitutes a vulnerable community varies by organization, and we consider two major recently proposed vulnerability indices: the Justice40 index created under the 2021 White House and the Social Vulnerability Index (SVI) developed by the Center for Disease Control and Prevention (CDC). We show that allocating budget according to these two indices fails to reduce power outages for indigenous communities and those subject to high wildfire ignition risk using a high-fidelity synthetic power grid dataset that matches the key features of the Texas transmission system. We discuss how aggregation of communities and "one size fits all" vulnerability indices might be the reasons for the misalignment between the goals of vulnerability indices and their realized impact in this particular case study. We provide a method of achieving an equitable investment plan by adding group-level protections on percentage of load that is shed across each population group of interest.


title: Planar random motions in a vortex

abstract: We study a planar random motion $\big(X(t),Y(t)\big)$ with orthogonal directions which can turn clockwise, counterclockwise and reverse its direction each with a different probability. The support of the process is given by a time-varying square and the singular distributions on the boundary and the diagonals of the square are obtained. In the interior of the support, we study the hydrodynamic limit of the distribution. We then investigate the time $T(t)$ spent by the process moving vertically and the joint distribution of $\big(T(t),Y(t)\big)$. We prove that, in the hydrodynamic limit, the process $\big(X(t),Y(t)\big)$ spends half the time moving vertically.


title: Uncertainty estimation and anomaly detection in chiral effective field theory studies of key nuclear electroweak processes

abstract: Chiral effective field theory ($\chi$EFT) is a powerful tool for studying electroweak processes in nuclei. I discuss $\chi$EFT calculations of three key nuclear electroweak processes: primordial deuterium production, proton-proton fusion, and magnetic dipole excitations of $^{48}\mathrm{Ca}$. This article showcases $\chi$EFT's ability to quantify theory uncertainties at the appropriate level of rigor for addressing the different precision demands of these three processes.


title: Fresh view of the hot brown dwarf HD 984 B through high-resolution spectroscopy

abstract: Context. High-resolution spectroscopy has the potential to drive a better understanding of the atmospheric composition, physics, and dynamics of young exoplanets and brown dwarfs, bringing clear insights into the formation channel of individual objects. Aims. Using the Keck Planet Imager and Characterizer (KPIC; R = 35,000), we aim to characterize a young brown dwarf HD 984 B. By measuring its C/O and 12CO/13CO ratios, we expect to gain new knowledge about its origin by confirming the difference in the formation pathways between brown dwarfs and super-Jupiters. Methods. We analysed the KPIC high-resolution spectrum (2.29-2.49 {\mu}m) of HD 984 B using an atmospheric retrieval framework based on nested sampling and petitRADTRANS, using both clear and cloudy models. Results. Using our best-fit model, we find C/O = 0.50+0.01-0.01 (0.01 is the statistical error) for HD 984 B which agrees with that of its host star within 1{\sigma} (0.40+0.20-0.20). We also retrieve an isotopolog 12CO/13CO ratio of 98+20-25 in its atmosphere, which is similar to that of the Sun. In addition, HD 984 B has a substellar metallicity with [Fe/H] = -0.62+0.02-0.02. Finally, we find that most of the retrieved parameters are independent of our choice of retrieval model. Conclusions. From our measured C/O and 12CO/13CO, the favored formation mechanism of HD 984 B seems to be via gravitational collapse or disk instability and not core accretion, which is a favored formation mechanism for giant exoplanets with m < 13 MJup and semimajor axis between 10 and 100 au. However, with only a few brown dwarfs with a measured 12CO/13CO ratio, similar analyses using high-resolution spectroscopy will become essential in order to determine planet formation processes more precisely.


title: On effective constructions of existentially closed groups

abstract: Existentially closed groups are, informally, groups that contain solutions to every consistent finite system of equations and inequations. They were introduced in 1951 in an algebraic context and subsequent research elucidated deep connections with group theory and computability theory. We continue this investigation, with particular emphasis on illuminating the relationship with computability theory. In particular, we show that existentially closed groups can be built at the level of the halting problem and that this is optimal. Moreover, using the the theory of the enumeration degrees and some work of Martin Ziegler in computable group theory, we show that the previous result relativises in a somewhat subtle way. We then tease apart the complexity contributed by ``global'' and ``local'' structure, showing that the finitely generated subgroups have complexity at the level of the PA degrees. Finally, we investigate the computability-theoretic complexity of omitting the non-principal quantifier-free types from a list of types, from which we obtain an upper bound on the complexity of building two existentially closed groups that are ``as different as possible''.


title: JointViT: Modeling Oxygen Saturation Levels with Joint Supervision on Long-Tailed OCTA

abstract: The oxygen saturation level in the blood (SaO2) is crucial for health, particularly in relation to sleep-related breathing disorders. However, continuous monitoring of SaO2 is time-consuming and highly variable depending on patients' conditions. Recently, optical coherence tomography angiography (OCTA) has shown promising development in rapidly and effectively screening eye-related lesions, offering the potential for diagnosing sleep-related disorders. To bridge this gap, our paper presents three key contributions. Firstly, we propose JointViT, a novel model based on the Vision Transformer architecture, incorporating a joint loss function for supervision. Secondly, we introduce a balancing augmentation technique during data preprocessing to improve the model's performance, particularly on the long-tail distribution within the OCTA dataset. Lastly, through comprehensive experiments on the OCTA dataset, our proposed method significantly outperforms other state-of-the-art methods, achieving improvements of up to 12.28% in overall accuracy. This advancement lays the groundwork for the future utilization of OCTA in diagnosing sleep-related disorders. See project website https://steve-zeyu-zhang.github.io/JointViT


title: A Comparison of Traditional and Deep Learning Methods for Parameter Estimation of the Ornstein-Uhlenbeck Process

abstract: We consider the Ornstein-Uhlenbeck (OU) process, a stochastic process widely used in finance, physics, and biology. Parameter estimation of the OU process is a challenging problem. Thus, we review traditional tracking methods and compare them with novel applications of deep learning to estimate the parameters of the OU process. We use a multi-layer perceptron to estimate the parameters of the OU process and compare its performance with traditional parameter estimation methods, such as the Kalman filter and maximum likelihood estimation. We find that the multi-layer perceptron can accurately estimate the parameters of the OU process given a large dataset of observed trajectories and, on average, outperforms traditional parameter estimation methods.


title: A global analysis of $\pi^0$, $K_S^0$ and $\eta$ fragmentation functions with BESIII data

abstract: In this research, we conduct a global QCD analysis of fragmentation functions (FFs) for neutral pions ($\pi^0$), neutral kaons ($K_S^0$), and eta mesons ($\eta$), utilizing world data of single inclusive hadron production in $e^+e^-$ annihilation involving the most recent BESIII data with low collision energy, to test the operational region of QCD collinear factorization for single inclusive hadron production. We found that the QCD-based analysis at next-to-next-to leading order in perturbative QCD with parameterized higher-twist effects can explain both existing high-energy world data and the BESIII new measurements, while the latter cannot be explained with existing FFs extracted with high-energy data. To investigate the higher-twist contributions to this discrepancy, a direct functional approach is employed, providing testing framework for characterizing the experimental results over a wide range of energy scales, from low to high, thus extending the classical theoretical models to the BESIII domain.


title: Efficient anisotropic Migdal-Eliashberg calculations with the Intermediate Representation basis and Wannier interpolation

abstract: In this study, we combine the ab initio Migdal-Eliashberg approach with the intermediate representation for the Green's function, enabling accurate and efficient calculations of the momentum-dependent superconducting gap function while fully considering the effect of the Coulomb retardation. Unlike the conventional scheme that relies on a uniform sampling across Matsubara frequencies - demanding hundreds to thousands of points - the intermediate representation works with fewer than 100 sampled Matsubara Green's functions. The developed methodology is applied to investigate the superconducting properties of three representative low-temperature elemental metals: aluminum (Al), lead (Pb), and niobium (Nb). The results demonstrate the power and reliability of our computational technique to accurately solve the ab initio anisotropic Migdal-Eliashberg equations even at extremely low temperatures, below 1 Kelvin.


title: The distribution on permutations induced by a random parking function

abstract: A parking function on $[n]$ creates a permutation in $S_n$ via the order in which the $n$ cars appear in the $n$ parking spaces. Placing the uniform probability measure on the set of parking functions on $[n]$ induces a probability measure on $S_n$. We initiate a study of some properties of this distribution. Let $P_n^{\text{park}}$ denote this distribution on $S_n$ and let $P_n$ denote the uniform distribution on $S_n$. In particular, we obtain an explicit formula for $P_n^{\text{park}}(\sigma)$ for all $\sigma\in S_n$. Then we show that for all but an asymptotically $P_n$-negligible set of permutations, one has $P_n^{\text{park}}(\sigma)\in\left(\frac{(2-\epsilon)^n}{(n+1)^{n-1}},\frac{(2+\epsilon)^n}{(n+1)^{n-1}}\right)$. However, this accounts for only an exponentially small part of the $P_n^{\text{park}}$-probability. We also obtain an explicit formula for $P_n^{\text{park}}(\sigma^{-1}_{n-j+1}=i_1,\sigma^{-1}_{n-j+2}=i_2,\cdots, \sigma^{-1}_n=i_j)$, the probability that the last $j$ cars park in positions $i_1,\cdots, i_j$ respectively, and show that the $j$-dimensional random vector $(n+1-\sigma^{-1}_{n-j+l}, n+1-\sigma^{-1}_{n-j+2},\cdots, n+1-\sigma^{-1}_{n})$ under $P_n^{\text{park}}$ converges in distribution to a random vector $(\sum_{r=1}^jX_r,\sum_{r=2}^j X_r,\cdots, X_{j-1}+X_j,X_j)$, where $\{X_r\}_{r=1}^j$ are IID with the Borel distribution. We then show that in fact for $j_n=o(n^\frac16)$, the final $j_n$ cars will park in increasing order with probability approaching 1 as $n\to\infty$. We also obtain an explicit formula for the expected value of the left-to-right maximum statistic $X_n^{\text{LR-max}}$, which counts the total number of left-to-right maxima in a permutation, and show that $E_n^{\text{park}}X_n^{\text{LR-max}}$ grows approximately on the order $n^\frac12$.


title: Theory of paraxial optical Skyrmions

abstract: Vector light beams, characterised by a spatially varying polarisation, can exhibit localised structures reminiscent of the Skyrmions familiar from the study of magnetic media. We present a theory of such Skyrmions within paraxial optics, exploiting mathematical analogies with the study of superfluids, especially the A phase of superfluid $\textrm{He}^3$. The key feature is the Skyrmion field which, together with the underlying Skyrmion vector potential, determines the properties of the Skyrmions and, more generally, the polarisation structure of every paraxial vector beam. In addition to structures with integer Skyrmion number we find polarisation patterns with non-integer Skyrmion number; these seem to have no analogue in other fields of physics.


title: Pack of LLMs: Model Fusion at Test-Time via Perplexity Optimization

abstract: Fusing knowledge from multiple Large Language Models (LLMs) can combine their diverse strengths to achieve improved performance on a given task. However, current fusion approaches either rely on learning-based fusers that do not generalize to new LLMs, or do not take into account how well each LLM understands the input. In this work, we study LLM fusion at test-time, which enables leveraging knowledge from arbitrary user-specified LLMs during inference. We introduce Pack of LLMs (PackLLM), an effective method for test-time fusion that leverages each LLM's expertise, given an input prompt. PackLLM performs model fusion by solving an optimization problem for determining each LLM's importance, so that perplexity over the input prompt is minimized. First, our simple PackLLM-sim variant validates that perplexity is a good indicator for measuring each LLM's expertise. Second, our PackLLM-opt variant approximately solves the perplexity minimization problem via a greedy algorithm. The derived importance weights are used to combine the LLMs during inference. We conduct experiments with over 100 total LLMs on a diverse set of tasks. Experimental results show that (i) perplexity is a reliable measure for LLM fusion, (ii) PackLLM outperforms test-time fusion baselines by 1.89% accuracy points, and (iii) PackLLM can leverage new LLMs to improve performance over learning-based fusion approaches by 3.92-11.94% accuracy points.


title: Select and Reorder: A Novel Approach for Neural Sign Language Production

abstract: Sign languages, often categorised as low-resource languages, face significant challenges in achieving accurate translation due to the scarcity of parallel annotated datasets. This paper introduces Select and Reorder (S&R), a novel approach that addresses data scarcity by breaking down the translation process into two distinct steps: Gloss Selection (GS) and Gloss Reordering (GR). Our method leverages large spoken language models and the substantial lexical overlap between source spoken languages and target sign languages to establish an initial alignment. Both steps make use of Non-AutoRegressive (NAR) decoding for reduced computation and faster inference speeds. Through this disentanglement of tasks, we achieve state-of-the-art BLEU and Rouge scores on the Meine DGS Annotated (mDGS) dataset, demonstrating a substantial BLUE-1 improvement of 37.88% in Text to Gloss (T2G) Translation. This innovative approach paves the way for more effective translation models for sign languages, even in resource-constrained settings.


title: The B\'ar\'any-Kalai conjecture for certain families of polytopes

abstract: B\'ar\'any and Kalai conjectured the following generalization of Tverberg's theorem: if $f$ is a linear function from an $m$-dimensional polytope $P$ to $\mathbb{R}^d$ and $m \ge (d + 1)(r - 1)$, then there are $r$ pairwise disjoint faces of $P$ whose images have a point in common. We show that the conjecture holds for cross polytopes, cyclic polytopes, and more generally for $(d+1)$-neighborly polytopes. Moreover, we show that for cross polytopes, the conjecture holds if the map $f$ is assumed to be continuous (but not necessarily linear), and we give a lower bound on the number of sets of $r$ pairwise disjoint faces whose images under $f$ intersect. We also show that the conjecture holds for all polytopes when $d=1$ and $f$ is assumed to be continuous. Finally, when $r$ is prime or large enough with respect to $d$, we prove that there exists a constant $c=c(d,r)$, depending only on $d$ and $r$, such that the conjecture holds (with continuous functions) for the polytope obtained by taking $c$ subdivisions of $P$.


title: Decomposing and Editing Predictions by Modeling Model Computation

abstract: How does the internal computation of a machine learning model transform inputs into predictions? In this paper, we introduce a task called component modeling that aims to address this question. The goal of component modeling is to decompose an ML model's prediction in terms of its components -- simple functions (e.g., convolution filters, attention heads) that are the "building blocks" of model computation. We focus on a special case of this task, component attribution, where the goal is to estimate the counterfactual impact of individual components on a given prediction. We then present COAR, a scalable algorithm for estimating component attributions; we demonstrate its effectiveness across models, datasets, and modalities. Finally, we show that component attributions estimated with COAR directly enable model editing across five tasks, namely: fixing model errors, ``forgetting'' specific classes, boosting subpopulation robustness, localizing backdoor attacks, and improving robustness to typographic attacks. We provide code for COAR at https://github.com/MadryLab/modelcomponents .


title: Constructing heat kernels on infinite graphs

abstract: Let $G$ be an infinite, edge- and vertex-weighted graph with certain reasonable restrictions. We construct the heat kernel of the associated Laplacian using an adaptation of the parametrix approach due to Minakshisundaram-Pleijel in the setting of Riemannian geometry. This is partly motivated by the wish to relate the heat kernels of a graph and a subgraph, or of a domain and a discretization of it. As an application, assuming that the graph is locally finite, we express the heat kernel $H_G(x,y;t)$ as a Taylor series with the lead term being $a(x,y)t^r$, where $r$ is the combinatorial distance between $x$ and $y$ and $a(x,y)$ depends (explicitly) upon edge and vertex weights. In the case $G$ is the regular $(q+1)$-tree with $q\geq 1$, our construction reproves different explicit formulas due to Chung-Yau and to Chinta-Jorgenson-Karlsson. Assuming uniform boundedness of the combinatorial vertex degree, we show that a dilated Gaussian depending on any distance metric on $G$, which is uniformly bounded from below can be taken as a parametrix in our construction. Our work extends in part the recent articles [LNY21, CJKS23] in that the graphs are infinite and weighted.


title: FedPFT: Federated Proxy Fine-Tuning of Foundation Models

abstract: Adapting Foundation Models (FMs) for downstream tasks through Federated Learning (FL) emerges a promising strategy for protecting data privacy and valuable FMs. Existing methods fine-tune FM by allocating sub-FM to clients in FL, however, leading to suboptimal performance due to insufficient tuning and inevitable error accumulations of gradients. In this paper, we propose Federated Proxy Fine-Tuning (FedPFT), a novel method enhancing FMs adaptation in downstream tasks through FL by two key modules. First, the sub-FM construction module employs a layer-wise compression approach, facilitating comprehensive FM fine-tuning across all layers by emphasizing those crucial neurons. Second, the sub-FM alignment module conducts a two-step distillations-layer-level and neuron-level-before and during FL fine-tuning respectively, to reduce error of gradient by accurately aligning sub-FM with FM under theoretical guarantees. Experimental results on seven commonly used datasets (i.e., four text and three vision) demonstrate the superiority of FedPFT.


title: SSDiff: Spatial-spectral Integrated Diffusion Model for Remote Sensing Pansharpening

abstract: Pansharpening is a significant image fusion technique that merges the spatial content and spectral characteristics of remote sensing images to generate high-resolution multispectral images. Recently, denoising diffusion probabilistic models have been gradually applied to visual tasks, enhancing controllable image generation through low-rank adaptation (LoRA). In this paper, we introduce a spatial-spectral integrated diffusion model for the remote sensing pansharpening task, called SSDiff, which considers the pansharpening process as the fusion process of spatial and spectral components from the perspective of subspace decomposition. Specifically, SSDiff utilizes spatial and spectral branches to learn spatial details and spectral features separately, then employs a designed alternating projection fusion module (APFM) to accomplish the fusion. Furthermore, we propose a frequency modulation inter-branch module (FMIM) to modulate the frequency distribution between branches. The two components of SSDiff can perform favorably against the APFM when utilizing a LoRA-like branch-wise alternative fine-tuning method. It refines SSDiff to capture component-discriminating features more sufficiently. Finally, extensive experiments on four commonly used datasets, i.e., WorldView-3, WorldView-2, GaoFen-2, and QuickBird, demonstrate the superiority of SSDiff both visually and quantitatively. The code will be made open source after possible acceptance.


title: GenFighter: A Generative and Evolutive Textual Attack Removal

abstract: Adversarial attacks pose significant challenges to deep neural networks (DNNs) such as Transformer models in natural language processing (NLP). This paper introduces a novel defense strategy, called GenFighter, which enhances adversarial robustness by learning and reasoning on the training classification distribution. GenFighter identifies potentially malicious instances deviating from the distribution, transforms them into semantically equivalent instances aligned with the training data, and employs ensemble techniques for a unified and robust response. By conducting extensive experiments, we show that GenFighter outperforms state-of-the-art defenses in accuracy under attack and attack success rate metrics. Additionally, it requires a high number of queries per attack, making the attack more challenging in real scenarios. The ablation study shows that our approach integrates transfer learning, a generative/evolutive procedure, and an ensemble method, providing an effective defense against NLP adversarial attacks.


title: Evaluating Span Extraction in Generative Paradigm: A Reflection on Aspect-Based Sentiment Analysis

abstract: In the era of rapid evolution of generative language models within the realm of natural language processing, there is an imperative call to revisit and reformulate evaluation methodologies, especially in the domain of aspect-based sentiment analysis (ABSA). This paper addresses the emerging challenges introduced by the generative paradigm, which has moderately blurred traditional boundaries between understanding and generation tasks. Building upon prevailing practices in the field, we analyze the advantages and shortcomings associated with the prevalent ABSA evaluation paradigms. Through an in-depth examination, supplemented by illustrative examples, we highlight the intricacies involved in aligning generative outputs with other evaluative metrics, specifically those derived from other tasks, including question answering. While we steer clear of advocating for a singular and definitive metric, our contribution lies in paving the path for a comprehensive guideline tailored for ABSA evaluations in this generative paradigm. In this position paper, we aim to provide practitioners with profound reflections, offering insights and directions that can aid in navigating this evolving landscape, ensuring evaluations that are both accurate and reflective of generative capabilities.


title: Bremsstrahlung Radiation Power in Fusion Plasmas Revisited: Towards Accurate Analytical Fitting

abstract: In fusion plasmas, where electron temperatures $T_e$ range from keV to hundreds of keV, Bremsstrahlung radiation constitutes a significant energy loss mechanism. While various thermal average fitting formulas exist in the literature, their accuracy is limited, particularly for $T_e \leq 20$ keV with error $>10\%$. Additionally, non-relativistic fitting formulas become invalid for $T_e \geq 50$ keV. The accurate calculation of Bremsstrahlung radiation is important for fusion gain study, especially of advanced fuels fusion. In this work, we develop new but still simple fitting formulas that are valid for electron temperatures ranging from small ($\lesssim0.1$ keV) to extreme relativistic range, with errors of less than 1\% even for high atomic number ions (e.g., $Z=30$), which could be sufficient for fusion plasma applications. Both electron-ion (e-i) and electron-electron (e-e) Bremsstrahlung radiations are considered. Both polynomial fitting with truncated ($t=k_BT_e/m_ec^2\leq10$) and one-fit-all formulas are provided. Additionally, we offer fitting formulas for e-i and e-e specifically for electron energies, which could prove useful in non-Maxwellian Bremsstrahlung radiation studies.


title: Carbon- and Oxygen-rich stars in MaStar: identification and classification

abstract: Carbon- and Oxygen-rich stars populating the Thermally-Pulsing Asymptotic Giant Branch (TP-AGB) phase of stellar evolution are relevant contributors to the spectra of ~1 Gyr old populations. Atmosphere models for these types are uncertain, due to complex molecules and mass-loss effects. Empirical spectra are then crucial, but samples are small due to the short (~3 Myr) TP-AGB lifetime. Here we exploit the vastness of the MaNGA Stellar library MaStar (~60,000 spectra) to identify C,O-rich type stars. We define an optical colour selection with cuts of (g-r)>2 and (g-i)<1.55(g-r)-0.07, calibrated with known C- and O- rich spectra. This identifies C-,O-rich stars along clean, separated sequences. An analogue selection is found in V,R,I bands. Our equation identifies C- and O-rich spectra with predictive performance metric F1-scores of 0.72 and 0.74 (over 1), respectively. We finally identify 41 C- and 87 O-rich type AGB stars in MaStar, 5 and 49 of which do not have a SIMBAD counterpart. We also detect a sample of non-AGB, dwarf C-stars. We further design a fitting procedure to classify the spectra into broad spectral types, by using as fitting templates empirical C and O-rich spectra. We find remarkably good fits for the majority of candidates and categorise them into C- and O-rich bins following existing classifications, which correlate to effective temperature. Our selection models can be applied to large photometric surveys (e.g. Euclid, Rubin). The classified spectra will facilitate future evolutionary population synthesis models.


title: A Lean Simulation Framework for Stress Testing IoT Cloud Systems

abstract: The Internet of Things connects a plethora of smart devices globally across various applications like smart cities, autonomous vehicles and health monitoring. Simulation plays a key role in the testing of IoT systems, noting that field testing of a complete IoT product may be infeasible or prohibitively expensive. This paper addresses a specific yet important need in simulation-based testing for IoT: Stress testing of cloud systems. Existing stress testing solutions for IoT demand significant computational resources, making them ill-suited and costly. We propose a lean simulation framework designed for IoT cloud stress testing which enables efficient simulation of a large array of IoT and edge devices that communicate with the cloud. To facilitate simulation construction for practitioners, we develop a domain-specific language (DSL), named IoTECS, for generating simulators from model-based specifications. We provide the syntax and semantics of IoTECS and implement IoTECS using Xtext and Xtend. We assess simulators generated from IoTECS specifications for stress testing two real-world systems: a cloud-based IoT monitoring system and an IoT-connected vehicle system. Our empirical results indicate that simulators created using IoTECS: (1)achieve best performance when configured with Docker containerization; (2)effectively assess the service capacity of our case-study systems, and (3)outperform industrial stress-testing baseline tools, JMeter and Locust, by a factor of 3.5 in terms of the number of IoT and edge devices they can simulate using identical hardware resources. To gain initial insights about the usefulness of IoTECS in practice, we interviewed two engineers from our industry partner who have firsthand experience with IoTECS. Feedback from these interviews suggests that IoTECS is effective in stress testing IoT cloud systems, saving significant time and effort.


title: Ordinal Maximin Guarantees for Group Fair Division

abstract: We investigate fairness in the allocation of indivisible items among groups of agents using the notion of maximin share (MMS). While previous work has shown that no nontrivial multiplicative MMS approximation can be guaranteed in this setting for general group sizes, we demonstrate that ordinal relaxations are much more useful. For example, we show that if $n$ agents are distributed equally across $g$ groups, there exists a $1$-out-of-$k$ MMS allocation for $k = O(g\log(n/g))$, while if all but a constant number of agents are in the same group, we obtain $k = O(\log n/\log \log n)$. We also establish the tightness of these bounds and provide non-asymptotic results for the case of two groups.


title: Reduction of dust radial drift by turbulence in protoplanetary disks

abstract: Dust particles in protoplanetary disks, lacking support from pressure, rotate at velocities exceeding those of the surrounding gas. Consequently, they experience a head-wind from the gas that drives them toward the central star. Radial drift occurs on timescales much shorter than those inferred from disk observations or those required for dust to aggregate and form planets. Additionally, turbulence is often assumed to amplify the radial drift of dust in planet-forming disks when modeled through an effective viscous transport. However, the local interactions between turbulent eddies and particles are known to be significantly more intricate than in a viscous fluid. Our objective is to elucidate and characterize the dynamic effects of Keplerian turbulence on the mean radial and azimuthal velocities of dust particles. We employ 2D shearing-box incompressible simulations of the gas, which is maintained in a developed turbulent state while rotating at a sub-Keplerian speed. Dust is modeled as Lagrangian particles set at a Keplerian velocity, therefore experiencing a radial force toward the star through drag. Turbulent eddies are found to reduce the radial drift, while simultaneously enhancing the azimuthal velocities of small particles. This dynamic behavior arises from the modification of dust trajectories due to turbulent eddies.


title: Strategic Network Inspection with Location-Specific Detection Capabilities

abstract: We consider a two-person network inspection game, in which a defender positions a limited number of detectors to detect multiple attacks caused by an attacker. We assume that detection is imperfect, and each detector location is associated with a probability of detecting attacks within its set of monitored network components. The objective of the defender (resp. attacker) is to minimize (resp. maximize) the expected number of undetected attacks. To compute Nash Equilibria (NE) for this large-scale zero-sum game, we formulate a linear program with a small number of constraints, which we solve via column generation. We provide an exact mixed-integer program for the pricing problem, which entails computing a defender's pure best response, and leverage its supermodular structure to derive two efficient approaches to obtain approximate NE with theoretical guarantees: A column generation and a multiplicative weights update (MWU) algorithm with approximate best responses. To address the computational challenges posed by combinatorial attacker strategies, each iteration of our MWU algorithm requires computing a projection under the unnormalized relative entropy. We provide a closed-form solution and a linear-time algorithm for the projection problem. Our computational results in real-world gas distribution networks illustrate the performance and scalability of our solution approaches.


title: Steiner trees with infinitely many terminals on the sides of an angle

abstract: The Euclidean Steiner problem is the problem of finding a set $St$, with the shortest length, such that $St \cup A$ is connected, where $A$ is a given set in a Euclidean space. The solutions $St$ to the Steiner problem will be called Steiner sets while the set $A$ will be called input. Since every Steiner set is acyclic we call it Steiner tree in the case when it is connected. We say that a Steiner tree is indecomposable if it does not contain any Steiner tree for a subset of the input. We are interested in finding the Steiner set when the input consists of infinitely many points distributed on two lines. In particular we would like to find a configuration which gives an indecomposable Steiner tree. We consider a self-similar input, namely the set $A_{\alpha,\lambda}$ of points with coordinates $(\lambda^{k-1}\cos \alpha,$ $\pm \lambda^{k-1}\sin \alpha)$, where $\lambda>0$ and $\alpha>0$ are small fixed values. These points are distributed on the two sides of an angle of size $2\alpha$ in such a way that the distances from the points to the vertex of the angle are in a geometric progression. To our surprise, we show that in this case the solutions to the Steiner problem for $A_{\alpha,\lambda}$, when $\alpha$ and $\lambda$ are small enough, are always decomposable trees. More precisely, any Steiner tree for $A_{\alpha,\lambda}$ is a countable union of Steiner trees, each one connecting 5 points from the input. By considering only a finite number of components we obtain many solutions to the Steiner problem for finite sets composed of $4k+1$ points distributed on the two lines ($2k+1$ on a line and $2k$ on the other line). These solutions are very similar to the ladders of Chung and Graham.


title: On some determinants arising from quadratic residues

abstract: Let $p>3$ be a prime, and let $d\in\mathbb Z$ with $p\nmid d$. For the determinants $$S_m(d,p)=\det\left[(i^2+dj^2)^{m}\right]_{1\leqslant i,j \leqslant (p-1)/2}\ \ \left(\frac{p-1}2\leqslant m\leqslant p-1\right),$$ Sun recently determined $S_m(d,p)$ modulo $p$ when $m\in\{p-2,p-3\}$ and $(\frac {-d}p)=-1$. In this paper, we obtain $S_{p-2}(d,p)$ modulo $p$ in the remaining case $(\frac{-d}p)=1$, and determine the Legendre symbols $(\frac{S_{p-3}\,(d,p)}p)$ and $(\frac{S_{p-4}\,(d,p)}p)$ in some special cases.


title: Borel transforms of functions from a parameterized family of Hilbert spaces of entire functions

abstract: We introduce a continuous scale of Hilbert spaces of entire functions $P_\beta (D)$ for a bounded convex domain $D$ on the complex plane. For the parameters $\beta \in (\frac 12;\frac 32)$ a complete description of the spaces of Borel transforms of functions from $P_\beta (D)$ is given.


title: Resolved properties of a luminous "hinge clump" in the compact group of galaxies NGC\,6845

abstract: We study the properties of one of the most luminous hinge clumps, located on the compact group of galaxies NGC6845. Using IFS from GMOS/Gemini, complemented with archival MUSE data, we obtain oxygen abundances, ages, star formation rates, velocity fields and we also performed a single stellar populations modeling to understand the SFH of the hinge clump localized in NGC6845. We found that the hinge clump sits in a tail, having a SFR of 3.4$M_{\odot}yr^{-1}$, which is comparable with a few other extreme cases, e.g., the star clusters in the Antennae galaxy and other reported hinge clumps in the literature. In fact, this clump represents ~15\% of total SFR of NGC6845A. Large-scale modeling of the observed velocity field of NGC6845A rules out the scenario on which this hinge clump was a satellite galaxy. Indeed, its kinematics is compatible with the galactic disk of NGC6845A. Its abundance, mean value of 0.4Z$_{\odot}$, is also consistent with the metallicity gradient of the galaxy. Our analysis, suggest that the hinge clump is formed by multiple stellar populations instead of a single burst, thus having a large range of ages. We found that central clump is encompassed by a ring-like structure, suggesting that the ring-like structure represents a second-generation of star formation. In addition, the analysis of the diagnostic diagram indicates that this central region can also be being ionized by shock from stellar and supernovae winds. Finally, the derived SFR density $\Sigma=9.7M_{\odot}yr^{-1}kpc^{-2}$ of the central clump, place it in starburst regime, where gas inflows should provide gas to maintain the star formation. This work shows a resolved example of an extreme localized starburst in a compact group of galaxies.


title: Modular resurgent structures

abstract: The theory of resurgence uniquely associates a factorially divergent formal power series with a collection of non-perturbative, exponential-type corrections paired with a set of complex numbers, known as Stokes constants. When the Borel plane displays a single infinite tower of singularities, the secondary resurgent series are trivial, and the Stokes constants are coefficients of an $L$-function, a rich analytic number-theoretic fabric underlies the resurgent structure of the asymptotic series. We propose a new paradigm of modular resurgence that focuses on the role of the Stokes constants and the interplay of the $q$-series acting as their generating functions with the corresponding $L$-functions. Guided by two pivotal examples arising from topological string theory and the theory of Maass cusp forms, we introduce the notion of modular resurgent series, which we conjecture to have specific summability properties as well as to be closely related to quantum modular forms.


title: Euclid view of dusty star forming galaxies at z>~1.5 detected in wide area submillimetre surveys

abstract: We investigate the constraints provided by the Euclid space observatory on the physical properties of dusty star forming galaxies (DSFGs) at z>~1.5 detected in wide area sub millimetre surveys with Herschel. We adopt a physical model for the high z progenitors of spheroidal galaxies, which form the bulk of the DSFGs at z>~1.5. We improve the model by combining the output of the equations of the model with a formalism for the spectral energy distribution(SED). After optimising the SED parameters to reproduce the measured infrared luminosity function and the number counts of DSFGs, we simulated a sample of DSFGs over 100 sq deg and then applied a 5 sigma detection limit of 37 mJy at 250 microns. We estimated the redshifts from the Euclid data and then fitted the Euclid and Herschel photometry with the code CIGALE to extract the physicsl parameters. We found that 100 % of the Herschel galaxies are detected in all 4 Euclid bands above 3 sigma. For 87% of the sources the accuracy on 1+z is better than 15%. The sample comprises mostly massive log(Mstar/Msun)~10.5-12.9, highly star forming, log(SFR/Msun/yr)~1.5-4, dusty, log(Mdust/Msun)~7.5-9.9, galaxies. The measured stellar mass have a dispersion of 0.19 dex around the true value, thus showing that Euclid will provide reliable stellar mass estimates for the majority of the bright DSFGs at z>~1.5 detected by Herschel. We also explored the effect of complementing the Euclid photometry with that from Vera C. Rubin Observatory/LSST.


title: A Bayesian level-set inversion method for simultaneous reconstruction of absorption and diffusion coefficients in diffuse optical tomography

abstract: In this article, we propose a non-parametric Bayesian level-set method for simultaneous reconstruction of piecewise constant diffusion and absorption coefficients in diffuse optical tomography (DOT). We show that the Bayesian formulation of the corresponding inverse problem is well-posed and the posterior measure as a solution to the inverse problem satisfies a Lipschitz estimate with respect to the measured data in terms of Hellinger distance. We reduce the problem to a shape-reconstruction problem and use level-set priors for the parameters of interest. We demonstrate the efficacy of the proposed method using numerical simulations by performing reconstructions of the original phantom using two reconstruction methods. Posing the inverse problem in a Bayesian paradigm allows us to do statistical inference for the parameters of interest whereby we are able to quantify the uncertainty in the reconstructions for both the methods. This illustrates a key advantage of Bayesian methods over traditional algorithms.


title: Quantifying Multilingual Performance of Large Language Models Across Languages

abstract: The development of Large Language Models (LLMs) relies on extensive text corpora, which are often unevenly distributed across languages. This imbalance results in LLMs performing significantly better on high-resource languages like English, German, and French, while their capabilities in low-resource languages remain inadequate. Currently, there is a lack of quantitative methods to evaluate the performance of LLMs in these low-resource languages. To address this gap, we propose the Language Ranker, an intrinsic metric designed to benchmark and rank languages based on LLM performance using internal representations. By comparing the LLM's internal representation of various languages against a baseline derived from English, we can assess the model's multilingual capabilities in a robust and language-agnostic manner. Our analysis reveals that high-resource languages exhibit higher similarity scores with English, demonstrating superior performance, while low-resource languages show lower similarity scores, underscoring the effectiveness of our metric in assessing language-specific capabilities. Besides, the experiments show that there is a strong correlation between the LLM's performance in different languages and the proportion of those languages in its pre-training corpus. These insights underscore the efficacy of the Language Ranker as a tool for evaluating LLM performance across different languages, particularly those with limited resources.


title: Predicting Long-horizon Futures by Conditioning on Geometry and Time

abstract: Our work explores the task of generating future sensor observations conditioned on the past. We are motivated by `predictive coding' concepts from neuroscience as well as robotic applications such as self-driving vehicles. Predictive video modeling is challenging because the future may be multi-modal and learning at scale remains computationally expensive for video processing. To address both challenges, our key insight is to leverage the large-scale pretraining of image diffusion models which can handle multi-modality. We repurpose image models for video prediction by conditioning on new frame timestamps. Such models can be trained with videos of both static and dynamic scenes. To allow them to be trained with modestly-sized datasets, we introduce invariances by factoring out illumination and texture by forcing the model to predict (pseudo) depth, readily obtained for in-the-wild videos via off-the-shelf monocular depth networks. In fact, we show that simply modifying networks to predict grayscale pixels already improves the accuracy of video prediction. Given the extra controllability with timestamp conditioning, we propose sampling schedules that work better than the traditional autoregressive and hierarchical sampling strategies. Motivated by probabilistic metrics from the object forecasting literature, we create a benchmark for video prediction on a diverse set of videos spanning indoor and outdoor scenes and a large vocabulary of objects. Our experiments illustrate the effectiveness of learning to condition on timestamps, and show the importance of predicting the future with invariant modalities.


title: The Reliability of Type Ia Supernovae Delay Time Distributions Recovered from Galaxy Star Formation Histories

abstract: We present a numerical analysis investigating the reliability of type Ia supernova (SN~Ia) delay-time distributions recovered from individual host galaxy star-formation histories. We utilize star-formation histories of mock samples of galaxies generated from the IllustrisTNG simulation at two redshifts to recover delay-time distributions. The delay-time distributions are constructed through piecewise constants as opposed to typically employed parametric forms such as power-laws or Gaussian or skew/log-normal functions. The SN~Ia delay-time distributions are recovered through a Markov Chain Monte Carlo exploration of the likelihood space by comparing the expected SN Ia rate within each mock galaxy to the observed rate. We show that a reduced representative sample of \emph{non-host} galaxies is sufficient to reliably recover delay-time distributions while simultaneously reducing the computational load. We also highlight a potential systematic between recovered delay-time distributions and the mass-weighted ages of the underlying host galaxy stellar population.


title: Hierarchical storage management in user space for neuroimaging applications

abstract: Neuroimaging open-data initiatives have led to increased availability of large scientific datasets. While these datasets are shifting the processing bottleneck from compute-intensive to data-intensive, current standardized analysis tools have yet to adopt strategies that mitigate the costs associated with large data transfers. A major challenge in adapting neuroimaging applications for data-intensive processing is that they must be entirely rewritten. To facilitate data management for standardized neuroimaging tools, we developed Sea, a library that intercepts and redirects application read and write calls to minimize data transfer time. In this paper, we investigate the performance of Sea on three preprocessing pipelines implemented using standard toolboxes (FSL, SPM and AFNI), using three neuroimaging datasets of different sizes (OpenNeuro's ds001545, PREVENT-AD and the HCP dataset) on two high-performance computing clusters. Our results demonstrate that Sea provides large speedups (up to 32X) when the shared file system's (e.g. Lustre) performance is deteriorated. When the shared file system is not overburdened by other users, performance is unaffected by Sea, suggesting that Sea's overhead is minimal even in cases where its benefits are limited. Overall, Sea is beneficial, even when performance gain is minimal, as it can be used to limit the number of files created on parallel file systems.


title: Spatio-Temporal Motion Retargeting for Quadruped Robots

abstract: This work introduces a motion retargeting approach for legged robots, which aims to create motion controllers that imitate the fine behavior of animals. Our approach, namely spatio-temporal motion retargeting (STMR), guides imitation learning procedures by transferring motion from source to target, effectively bridging the morphological disparities by ensuring the feasibility of imitation on the target system. Our STMR method comprises two components: spatial motion retargeting (SMR) and temporal motion retargeting (TMR). On the one hand, SMR tackles motion retargeting at the kinematic level by generating kinematically feasible whole-body motions from keypoint trajectories. On the other hand, TMR aims to retarget motion at the dynamic level by optimizing motion in the temporal domain. We showcase the effectiveness of our method in facilitating Imitation Learning (IL) for complex animal movements through a series of simulation and hardware experiments. In these experiments, our STMR method successfully tailored complex animal motions from various media, including video captured by a hand-held camera, to fit the morphology and physical properties of the target robots. This enabled RL policy training for precise motion tracking, while baseline methods struggled with highly dynamic motion involving flying phases. Moreover, we validated that the control policy can successfully imitate six different motions in two quadruped robots with different dimensions and physical properties in real-world settings.


title: Conversion of twistedness from light to atoms

abstract: We develop a simple model and propose a scheme that allows the production of twisted atoms in free space using the absorption of twisted photons by a bound electron. We show that in the inelastic collision of a photon and an atom, the twisted state of the photon is transferred to the center-of-mass state, so that the projection of the orbital momentum of the atom becomes $m_\gamma-\Delta m_e$. We also show that, depending on the experimental conditions, the twistedness of the photon is either transferred to the atomic center-of-mass quantum state or modifies the selection rule for the bound electron transition. Proposed scheme is general and enables complex shaping of the atomic wavefront.


title: Bogomolov property for certain infinite non-Galois extensions

abstract: For an algebraic number $\alpha$, let $h(\alpha)$ denote its logarithmic Weil height. In 2002, Bombieri and Zannier obtained lower bounds for Weil height for totally $p$-adic extensions of $\mathbb{Q}$, i.e., infinite Galois extension over $\mathbb{Q}$ with finite local degree over a rational prime $p$. In this paper, we formulate and prove the non-Galois analogue of this result. In particular, it leads to a $p$-adic equidistribution result i.e., if a positive proportion of conjugates of $\alpha\in\overline{\mathbb{Q}}$ lie in a finite local extension $K_{v}/\mathbb{Q}_p$, then we obtain absolute lower bound for $h(\alpha)$. We also undertake the analoguous problem for canonical height of an elliptic curve $E/K$ and obtain explicit lower bounds for them on certain non-Galois infinite extensions.


title: The Terwilliger algebras of doubly regular tournaments

abstract: The Terwilliger algebras of asymmetric association schemes of rank $3$, whose nonidentity relations correspond to doubly regular tournaments, are shown to have thin irreducible modules, and to always be of dimension $4k+9$ for some positive integer $k$. It is determined that asymmetric rank $3$ association schemes of order up to $23$ are determined up to combinatorial isomorphism by the list of their complex Terwilliger algebras at each vertex, but this no longer true at order $27$. To distinguish order $27$ asymmetric rank $3$ association schemes, it is shown using computer calculations that the list of rational Terwilliger algebras at each vertex will suffice.


title: Note on factorization categories

abstract: We fill in what we consider as a gap in the construction of the factorizable Satake functor in the constructible setting in arXiv:1608.00284 and arXiv:1708.07205. To do so, we summarize four different constructions of factorization sheaves of categories on the Ran space and establish some relations between them. We also generalize to some extent the Drinfeld-Plucker formalism from arXiv:1708.07205, arXiv:2310.0638.


title: Introduction to stability conditions and its relation to the $K(\pi,1)$ conjecture for Artin groups

abstract: We give a brief introduction to the relationship between Bridgeland stability conditions and the $K(\pi,1)$ conjecture for Artin groups. These notes have been written as pre-reading for the MFO mini-workshop 2405a: Artin groups meet triangulated categories.