title: Estimating Contagion Mechanism in Global Equity Market with Time-Zone Effect

abstract: This paper proposes a time-zone vector autoregression (VAR) model to investigate comovements in the global financial market. Analyzing daily data from 36 national equity markets, we explore the subprime and European debt crises using static analysis and the COVID-19 crisis through a rolling window method. Our study of comovements using VAR coefficients reveals a resonance effect in the global system. Findings on densities and assortativities suggest the existence of the transmission mechanism in all periods and abnormal structural changes during the crises. Strength analysis uncovers the information transmission mechanism across continents over normal and turmoil periods and emphasizes specific stock markets' unique roles. We examine dynamic continent strengths to demonstrate the contagion mechanism in the global equity market over an extended period. Incorporating the time-zone effect significantly enhances the VAR model's interpretability. Signed networks provide more information on global equity markets and better identifies critical contagion patterns than unsigned networks.


title: The behaviour of the DC current density at the edge of electrodes

abstract: We study the complete electrode model boundary condition for second order elliptic PDE. A specific case of this is the PDE describing the electrostatic potential for a conductive body into which current is injected through electrodes that touch the boundary. We obtain the optimal description of the gradient of the electrostatic potential upon approach to the edge of the electrodes.


title: Invisible and Semi-invisible Decays of Bottom Baryons

abstract: The similar densities of dark matter and baryons in the universe imply that they might arise from the same ultraviolet model. The B-Mesogenesis, which assumes dark matter is charged under the baryon number, attempts to simultaneously explain the origin of baryon asymmetry and dark matter in the universe. In particular, the B-Mesogenesis might induce bottom-baryon decays into invisible or semi-invisible final states, which provide a distinctive signal for probing this scenario. In this work, we systematically study the invisible decays of bottom baryons into dark matters, and semi-invisible decays of bottom baryons into a meson or a photon together with a dark matter particle. In particular, the fully invisible decay can explore the stable particles in B-Mesogenesis. Some QCD-based frameworks are used to calculate the hadronic matrix elements under the B-Mesogenesis model. We estimate the constraints on the Wilson coefficients or the product of some new physics couplings with the Wilson coefficients by the semi-invisible and invisible decays of bottom baryons at future colliders.


title: Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration

abstract: Motivated by the post-disaster distribution system restoration problem, in this paper, we study the problem of synthesizing the optimal policy for a Markov Decision Process (MDP) from a sequence of goal sets. For each goal set, our aim is to both maximize the probability to reach and minimize the expected time to reach the goal set. The order of the goal sets represents their priority. In particular, our aim is to generate a policy that is optimal with respect to the first goal set, and it is optimal with respect to the second goal set among the policies that are optimal with respect to the first goal set and so on. To synthesize such a policy, we iteratively filter the applicable actions according to the goal sets. We illustrate the developed method over sample distribution systems and disaster scenarios.


title: Operators in the Internal Space and Locality

abstract: Realizations of the holographic correspondence in String/M theory typically involve spacetimes of the form $AdS \times Y$ where $Y$ is some internal space which geometrizes an internal symmetry of the dual field theory, hereafter referred to as an "$R$ symmetry". It has been speculated that areas of Ryu-Takayanagi surfaces anchored on the boundary of a subregion of $Y$, and smeared over the base space of the dual field theory, quantify entanglement of internal degrees of freedom. A natural candidate for the corresponding operators are linear combinations of operators with definite $R$ charge with coefficients given by the "spherical harmonics'' of the internal space: this is natural when the product spaces appear as IR geometries of higher dimensional AdS spaces. We study clustering properties of such operators both for pure $AdS \times Y$ and for flow geometries, where $AdS \times Y$ arises in the IR from a different spacetime in the UV, for example higher dimensional AdS or asymptotically flat spacetime. We show, in complete generality, that the two point functions of such operators separated along the internal space obey clustering properties at scales larger than the $AdS$ scale. For non-compact $Y$, this provides a notion of approximate locality. When $Y$ is compact, clustering happens only when the size of $Y$ is parametrically larger than the $AdS$ scale. This latter situation is realized in flow geometries where the product spaces arise in the IR from an asymptotically AdS geometry at UV, but not typically when they arise near black hole horizons in asymptotically flat spacetimes. We discuss the significance of this result for entanglement and comment on the role of color degrees of freedom.


title: Families of efficient low order processed composition methods

abstract: New families of composition methods with processing of order 4 and 6 are presented and analyzed. They are specifically designed to be used for the numerical integration of differential equations whose vector field is separated into three or more parts which are explicitly solvable. The new schemes are shown to be more efficient than previous state-of-the-art splitting methods.


title: JWST/NIRSpec and MIRI observations of an expanding, jet-driven bubble of warm H$_2$ in the radio galaxy 3C 326 N

abstract: The physical link between AGN activity and the suppression of star formation in their host galaxies is one of the major open questions of AGN feedback. The Spitzer space mission revealed a subset of nearby radio galaxies with unusually bright line emission from warm ($T\ge 100$ K) H$_2$, while typical star-formation tracers were exceptionally faint or undetected. We present JWST NIRSpec and MIRI IFU observations of 3C 326 N at z=0.09 and identify 19 ro-vibrational H$_2$ emission lines that probe hot ($T\sim 1000$ K) gas as well as the rotational lines of H$_2$ 0--0 S(3), S(5), and S(6) which probe most of the $2\times 10^9$ M$_\odot$ of warm H$_2$ in this galaxy. CO band heads show a stellar component consistent with a "slow-rotator", typical of a massive $3\times10^{11}$ M$_\odot$ galaxy, and provide us with a reliable redshift of $z=0.08979\pm 0.0003$. Extended line emission shows a bipolar bubble expanding through the molecular disk at velocities of up to 380 km s$^{-1}$, delineated by several bright clumps along the Northern outer rim, potentially from gas fragmentation. Throughout the disk, the H$_2$ is very broad, FWHM ~100-1300 km s$^{-1}$, and shows dual-component Gaussian line profiles. [FeII]$\lambda$1.644 and Pa$\alpha$ follow the same morphology, however [NeIII]$\lambda$15.56 is more symmetric about the nucleus. We show that the gas, with the exception of [NeIII]$\lambda$15.56, is predominantly heated by shocks driven by the radio jet and that the accompanying line broadening is sufficient to suppress star formation. We also compare the rotational and ro-vibrational lines, finding that the latter can be a good proxy to the global morphology and kinematic properties of the former in strongly turbulent environments. This enables studies of turbulence in galaxies at intermediate and high redshifts while most rotational lines are redshifted out of the MIRI bandpass for $z$>1.5.


title: On the well-posedness of some model arising in the mathematical biology

abstract: In the article we establish the global well-posedness in W^{1, 2, 2}(R\times R^{+}) of the integro-differential equation in the case of the anomalous diffusion when the one dimensional negative Laplace operator is raised to a fractional power in the presence of the transport term. The model is relevant to the cell population dynamics in the Mathematical Biology. Our proof relies on a fixed point technique.


title: Multi-way contingency tables with uniform margins

abstract: We study the problem of transforming a multi-way contingency table into an equivalent table with uniform margins and same dependence structure. Such a problem relates to recent developments in copula modeling for discrete random vectors. Here, we focus on three-way binary tables and show that, even in such a simple case, the situation is quite different than for two-way tables. Many more constraints are needed to ensure a unique solution to the problem. Therefore, the uniqueness of the transformed table is subject to arbitrary choices of the practitioner. We illustrate the theory through some examples, and conclude with a discussion on the topic and future research directions.


title: A Repository for Formal Contexts

abstract: Data is always at the center of the theoretical development and investigation of the applicability of formal concept analysis. It is therefore not surprising that a large number of data sets are repeatedly used in scholarly articles and software tools, acting as de facto standard data sets. However, the distribution of the data sets poses a problem for the sustainable development of the research field. There is a lack of a central location that provides and describes FCA data sets and links them to already known analysis results. This article analyses the current state of the dissemination of FCA data sets, presents the requirements for a central FCA repository, and highlights the challenges for this.


title: System and Method to Determine ME/CFS and Long COVID Disease Severity Using a Wearable Sensor

abstract: Objective: We present a simple parameter, calculated from a single wearable sensor, that can be used to objectively measure disease severity in people with myalgic encephalomyelitis/chronic fatigue syndrome (ME/CFS) or Long COVID. We call this parameter UpTime. Methods: Prior research has shown that the amount of time a person spends upright, defined as lower legs vertical with feet on the floor, correlates strongly with ME/CFS disease severity. We use a single commercial inertial measurement unit (IMU) attached to the ankle to calculate the percentage of time each day that a person spends upright (i.e., UpTime) and number of Steps/Day. As Long COVID shares symptoms with ME/CFS, we also apply this method to determine Long COVID disease severity. We performed a trial with 55 subjects broken into three cohorts, healthy controls, ME/CFS, and Long COVID. Subjects wore the IMU on their ankle for a period of 7 days. UpTime and Steps/Day were calculated each day and results compared between cohorts. Results: UpTime effectively distinguishes between healthy controls and subjects diagnosed with ME/CFS ($\mathbf{p = 0.00004}$) and between healthy controls and subjects diagnosed with Long COVID ($\mathbf{p = 0.01185}$). Steps/Day did distinguish between controls and subjects with ME/CFS ($\mathbf{p = 0.01}$) but did not distinguish between controls and subjects with Long COVID ($\mathbf{p = 0.3}$). Conclusion: UpTime is an objective measure of ME/CFS and Long COVID severity. UpTime can be used as an objective outcome measure in clinical research and treatment trials. Significance: Objective assessment of ME/CFS and Long COVID disease severity using UpTime could spur development of treatments by enabling the effect of those treatments to be easily measured.


title: Koala: Key frame-conditioned long video-LLM

abstract: Long video question answering is a challenging task that involves recognizing short-term activities and reasoning about their fine-grained relationships. State-of-the-art video Large Language Models (vLLMs) hold promise as a viable solution due to their demonstrated emergent capabilities on new tasks. However, despite being trained on millions of short seconds-long videos, vLLMs are unable to understand minutes-long videos and accurately answer questions about them. To address this limitation, we propose a lightweight and self-supervised approach, Key frame-conditioned long video-LLM (Koala), that introduces learnable spatiotemporal queries to adapt pretrained vLLMs for generalizing to longer videos. Our approach introduces two new tokenizers that condition on visual tokens computed from sparse video key frames for understanding short and long video moments. We train our proposed approach on HowTo100M and demonstrate its effectiveness on zero-shot long video understanding benchmarks, where it outperforms state-of-the-art large models by 3 - 6% in absolute accuracy across all tasks. Surprisingly, we also empirically show that our approach not only helps a pretrained vLLM to understand long videos but also improves its accuracy on short-term action recognition.


title: Equivalence of multiset-based consequence relations

abstract: The pioneering work of Blok and J\'onsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, where consequence relations over all types of syntactic objects are put on an equal footing. However, the assumption that in a consequence relation the premises form merely a set, as opposed to a more complicated structure, is still retained. An attempt to extend this framework to account for inferentially substructural generalizations of consequence relations, where the premises have the structure of a finite multiset, was recently made by Cintula, Gil-F\'erez, Moraschini, and Paoli. In this paper, we develop a different inferentially substructural generalization of the work of Galatos and Tsinakis, where we instead assume that the premises have the structure of a set of finite multisets. This leads a somewhat smoother framework which, unlike that of Cintula et al., covers the original theory of Galatos and Tsinakis as a special case.


title: On existence of hyperinvariant subspaces for quasinilpotent operators with a nonsymmetry in the growth of the resolvent

abstract: Let $T$ be a quasinilpotent operator on a Banach space. Under assumptions of a certain nonsymmetry in the growth of the resolvent of $T$, it is proved that every operator in the commutant of $T$ is not unicellular. In particular, $T$ has nontrivial hyperinvariant subspaces. The proof is based on a modification of the reasoning of [S].


title: Levin's and Prucnal's theorems on Medvedev's logic of finite problems

abstract: The purpose of this note is to provide a transparent and unified retelling of both Skvortsov's proof of the structural completeness of Medvedev's logic of finite problems, which is a classical result originally due to Prucnal, and of Levin's proof that Medvedev's logic of finite problems is the largest extension of the (weak) Kreisel-Putnam logic with the disjunction property. Presenting both results together allows us to simplify their presentation, as they both hinge on the same lemma. There is no novel content in this note, its purpose is merely to present the material in a more accessible way.


title: Variational interacting particle systems and Vlasov equations

abstract: We consider optimization problems for interacting particle systems. We show that critical points solve a Vlasov equation, and that in general no minimizers exist despite continuity of the action functional. We prove an explicit representation of the relaxation of the action functional. We show convergence of N-particle minimizers to minimizers of the relaxed action, and finally characterize minimizers of dynamic interacting particle optimal transport problems as solutions to Hamilton-Jacobi-Bellman equations.


title: Assisting humans in complex comparisons: automated information comparison at scale

abstract: Generative Large Language Models enable efficient analytics across knowledge domains, rivalling human experts in information comparisons. However, the applications of LLMs for information comparisons face scalability challenges due to the difficulties in maintaining information across large contexts and overcoming model token limitations. To address these challenges, we developed the novel Abstractive Summarization \& Criteria-driven Comparison Endpoint (ASC$^2$End) system to automate information comparison at scale. Our system employs Semantic Text Similarity comparisons for generating evidence-supported analyses. We utilize proven data-handling strategies such as abstractive summarization and retrieval augmented generation to overcome token limitations and retain relevant information during model inference. Prompts were designed using zero-shot strategies to contextualize information for improved model reasoning. We evaluated abstractive summarization using ROUGE scoring and assessed the generated comparison quality using survey responses. Models evaluated on the ASC$^2$End system show desirable results providing insights on the expected performance of the system. ASC$^2$End is a novel system and tool that enables accurate, automated information comparison at scale across knowledge domains, overcoming limitations in context length and retrieval.


title: Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries

abstract: We describe a system called Qr-Hint that, given a (correct) target query Q* and a (wrong) working query Q, both expressed in SQL, provides actionable hints for the user to fix the working query so that it becomes semantically equivalent to the target. It is particularly useful in an educational setting, where novices can receive help from Qr-Hint without requiring extensive personal tutoring. Since there are many different ways to write a correct query, we do not want to base our hints completely on how Q* is written; instead, starting with the user's own working query, Qr-Hint purposefully guides the user through a sequence of steps that provably lead to a correct query, which will be equivalent to Q* but may still "look" quite different from it. Ideally, we would like Qr-Hint's hints to lead to the "smallest" possible corrections to Q. However, optimality is not always achievable in this case due to some foundational hurdles such as the undecidability of SQL query equivalence and the complexity of logic minimization. Nonetheless, by carefully decomposing and formulating the problems and developing principled solutions, we are able to provide provably correct and locally optimal hints through Qr-Hint. We show the effectiveness of Qr-Hint through quality and performance experiments as well as a user study in an educational setting.


title: Smoothing estimates for weakly nonlinear internal waves in a rotating ocean

abstract: In this paper we study the effect of rotation on nonlinear wave phenomena in weakly dispersive media modeled by the Korteweg-de Vries equation on the real line. It is well known that smoothing in the case of the KdV equation with periodic boundary conditions is a result of the presence of high frequency waves that weaken the nonlinearity through time averaging, \cite{bit}, \cite{et1}. High frequency interactions through normal form transformations can be thought of as adding a fast rotating term in certain toy PDE models that arrest the development of singularities, \cite{bit}. It is crucial for this phenomena that the zero Fourier mode can be removed due to the conservation of the mean. On the real line this mechanism breaks down as the resonance sets close to zero frequency are sizable and normal form transformations are not useful, \cite{imt}, and hence smoothing fails. The model we study is a perturbation of the KdV equation on a rotating frame of reference. A combination of a suitable normal form transformation along with the restricted norm method of Bourgain \cite{Bou2} implies smoothing on the real line.


title: Parameters of the tensor tetraquark $bb\overline{c}\overline{c}$

abstract: The mass and width of the tensor tetraquark $T=bb\overline{c}\overline{c}$ with spin-parity $J^{\mathrm{P}}=2^{+}$ are calculated in the context of the QCD sum rule method. The tetraquark $T$ is modeled as a diquark-antidiquark state built of components $b^{T}C\gamma _{\mu }b$ and $\overline{c}\gamma _{\nu }C\overline{c}^{T}$ with $C$ being the charge conjugation matrix. The mass $m=(12795\pm 90)~\mathrm{MeV}$ of the exotic tensor meson $T$ is found by means of the two-point sum rule approach. Its full width $\Gamma$ is evaluated by considering processes $T \to B_{c}^{-}B_{c}^{-}$, $ B_{c}^{-}B_{c}^{\ast -}$, and $B_{c}^{\ast -}B_{c}^{\ast -}$. Partial widths of these decays are computed by means of the three-point sum rule approach which is used to determine the strong couplings at relevant tetraquark-meson-meson vertices. Predictions obtained for the width $ \Gamma=(55.5 \pm 8.7)~\mathrm{MeV}$, as well as the mass of the tetraquark $ T $ can be useful in investigations of fully heavy four-quark mesons.


title: Gray-Box Nonlinear Feedback Optimization

abstract: Feedback optimization enables autonomous optimality seeking of a dynamical system through its closed-loop interconnection with iterative optimization algorithms. Among various iteration structures, model-based approaches require the input-output sensitivity of the system to construct gradients, whereas model-free approaches bypass this need by estimating gradients from real-time evaluations of the objective. These approaches own complementary benefits in sample efficiency and accuracy against model mismatch, i.e., errors of sensitivities. To achieve the best of both worlds, we propose gray-box feedback optimization controllers, featuring systematic incorporation of approximate sensitivities into model-free updates via adaptive convex combination. We quantify conditions on the accuracy of the sensitivities that render the gray-box approach preferable. We elucidate how the closed-loop performance is determined by the number of iterations, the problem dimension, and the cumulative effect of inaccurate sensitivities. The proposed controller contributes to a balanced closed-loop behavior, which retains provable sample efficiency and optimality guarantees for nonconvex problems. We further develop a running gray-box controller to handle constrained time-varying problems with changing objectives and steady-state maps.


title: Pixel-wise RL on Diffusion Models: Reinforcement Learning from Rich Feedback

abstract: Latent diffusion models are the state-of-the-art for synthetic image generation. To align these models with human preferences, training the models using reinforcement learning on human feedback is crucial. Black et. al 2024 introduced denoising diffusion policy optimisation (DDPO), which accounts for the iterative denoising nature of the generation by modelling it as a Markov chain with a final reward. As the reward is a single value that determines the model's performance on the entire image, the model has to navigate a very sparse reward landscape and so requires a large sample count. In this work, we extend the DDPO by presenting the Pixel-wise Policy Optimisation (PXPO) algorithm, which can take feedback for each pixel, providing a more nuanced reward to the model.


title: Why does the two-timescale Q-learning converge to different mean field solutions? A unified convergence analysis

abstract: We revisit the unified two-timescale Q-learning algorithm as initially introduced by Angiuli et al. \cite{angiuli2022unified}. This algorithm demonstrates efficacy in solving mean field game (MFG) and mean field control (MFC) problems, simply by tuning the ratio of two learning rates for mean field distribution and the Q-functions respectively. In this paper, we provide a comprehensive theoretical explanation of the algorithm's bifurcated numerical outcomes under fixed learning rates. We achieve this by establishing a diagram that correlates continuous-time mean field problems to their discrete-time Q-function counterparts, forming the basis of the algorithm. Our key contribution lies in the construction of a Lyapunov function integrating both mean field distribution and Q-function iterates. This Lyapunov function facilitates a unified convergence of the algorithm across the entire spectrum of learning rates, thus providing a cohesive framework for analysis.


title: Integrated Optimal Control for Fast Charging and Active Thermal Management of Lithium-Ion Batteries in Extreme Ambient Temperatures

abstract: This paper presents an integrated control strategy for fast charging and active thermal management of Lithium-ion batteries in extreme ambient temperatures. A control-oriented thermal-NDC (nonlinear double-capacitor) battery model is proposed to describe the electrical and thermal dynamics, accounting for the impact from both an active thermal source and ambient temperature. A state-feedback model predictive control algorithm is then developed for integrated fast charging and active thermal management. Numerical experiments validate the algorithm under extreme temperatures, showing that the proposed algorithm can energy-efficiently adjust the battery temperature to enhance fast charging. Additionally, an output-feedback model predictive control algorithm with an extended Kalman filter is proposed for battery charging when states are partially measurable. Numerical experiments validate the effectiveness under extreme temperatures.


title: 12-dimensional Lie Algebra of Entangled Spin Fields

abstract: In this paper was proved (i) the equivalence of Dirac equation for mass $\mathsf{m}$ with two entangled Proca fields of mass $\mathsf{2m}$ and (ii) is proposed an equation and (iii) an 12-dimensional Lie algebra for the entangled spin fields.


title: Prompt Public Large Language Models to Synthesize Data for Private On-device Applications

abstract: Pre-training on public data is an effective method to improve the performance for federated learning (FL) with differential privacy (DP). This paper investigates how large language models (LLMs) trained on public data can improve the quality of pre-training data for the on-device language models trained with DP and FL. We carefully design LLM prompts to filter and transform existing public data, and generate new data to resemble the real user data distribution. The model pre-trained on our synthetic dataset achieves relative improvement of 19.0% and 22.8% in next word prediction accuracy compared to the baseline model pre-trained on a standard public dataset, when evaluated over the real user data in Gboard (Google Keyboard, a production mobile keyboard application). Furthermore, our method achieves evaluation accuracy better than or comparable to the baseline during the DP FL fine-tuning over millions of mobile devices, and our final model outperforms the baseline in production A/B testing. Our experiments demonstrate the strengths of LLMs in synthesizing data close to the private distribution even without accessing the private data, and also suggest future research directions to further reduce the distribution gap.


title: Deciphering Political Entity Sentiment in News with Large Language Models: Zero-Shot and Few-Shot Strategies

abstract: Sentiment analysis plays a pivotal role in understanding public opinion, particularly in the political domain where the portrayal of entities in news articles influences public perception. In this paper, we investigate the effectiveness of Large Language Models (LLMs) in predicting entity-specific sentiment from political news articles. Leveraging zero-shot and few-shot strategies, we explore the capability of LLMs to discern sentiment towards political entities in news content. Employing a chain-of-thought (COT) approach augmented with rationale in few-shot in-context learning, we assess whether this method enhances sentiment prediction accuracy. Our evaluation on sentiment-labeled datasets demonstrates that LLMs, outperform fine-tuned BERT models in capturing entity-specific sentiment. We find that learning in-context significantly improves model performance, while the self-consistency mechanism enhances consistency in sentiment prediction. Despite the promising results, we observe inconsistencies in the effectiveness of the COT prompting method. Overall, our findings underscore the potential of LLMs in entity-centric sentiment analysis within the political news domain and highlight the importance of suitable prompting strategies and model architectures.


title: From an obliquely falling rod in a viscous fluid to the motion of suspended magnetic bead chains that are driven by a gradient magnetic field and that make an arbitrary angle with the magnetic force vector: A Stokes flow study

abstract: In view of the growing role of magnetic particles under magnetic field influence in medical and other applications, and perforce the bead chaining, it is important to understand more generally the chain dynamics. As is well known, in the presence of a magnetic field, magnetic beads tend to form chains that are aligned with the magnetic field vector. In addition, if there is a magnetic field gradient, there will be a magnetic force acting on this chain. The main goal of the present research is to study the motion of a magnetic bead chain that makes an arbitrary angle with the magnetic force vector in the Stokes flow limit, that is, in the limit of zero Reynolds number. We used the public-domain computer program HYDRO++ to calculate the mobility matrix, which relates the magnetic force acting on the chain to the velocity of the chain, for a chain of N beads making an arbitrary angle with the magnetic force vector. Because of the presence of off-diagonal elements of the mobility matrix, as the chain is drawn in the direction of the magnetic force, it is also deflected to the side. We derived analytic solutions for this motion. Also, for bead chains moving in directions both parallel and perpendicular to their lengths, we fit three-parameter functions to solutions from HYDRO++. We found the fits to be excellent. Combining these results with the analytic solutions, we obtained expressions for the velocity components for the bead chains that provide excellent fits to HYDRO++ solutions for arbitrary angles. Finally, we apply the methodology used for the bead chain studies to the study of an obliquely falling rod in a viscous fluid and derive analytic solutions for the velocity components of the obliquely falling rod.


title: Idea-2-3D: Collaborative LMM Agents Enable 3D Model Generation from Interleaved Multimodal Inputs

abstract: In this paper, we pursue a novel 3D AIGC setting: generating 3D content from IDEAs. The definition of an IDEA is the composition of multimodal inputs including text, image, and 3D models. To our knowledge, this challenging and appealing 3D AIGC setting has not been studied before. We propose the novel framework called Idea-2-3D to achieve this goal, which consists of three agents based upon large multimodel models (LMMs) and several existing algorithmic tools for them to invoke. Specifically, these three LMM-based agents are prompted to do the jobs of prompt generation, model selection and feedback reflection. They work in a cycle that involves both mutual collaboration and criticism. Note that this cycle is done in a fully automatic manner, without any human intervention. The framework then outputs a text prompt to generate 3D models that well align with input IDEAs. We show impressive 3D AIGC results that are beyond any previous methods can achieve. For quantitative comparisons, we construct caption-based baselines using a whole bunch of state-of-the-art 3D AIGC models and demonstrate Idea-2-3D out-performs significantly. In 94.2% of cases, Idea-2-3D meets users' requirements, marking a degree of match between IDEA and 3D models that is 2.3 times higher than baselines. Moreover, in 93.5% of the cases, users agreed that Idea-2-3D was better than baselines. Codes, data and models will made publicly available.


title: Modular curves $X_1(n)$ as moduli spaces of point arrangements and applications

abstract: For a complex elliptic curve $E$ and a point $p$ of order $n$ on it, the images of the points $p_k=kp$ under the Weierstrass embedding of $E$ into $\mathbb{C}\mathbb{P}^2$ are collinear if and only if the sum of indices is divisible by $n$. Thus, it provides a realization of a certain matroid. We study this matroid in detail and prove that its realization space is isomorphic (over $\mathbb{C}$) to the modular curve $X_1(n)$, provided $n\geq 10$, which also provides an integral model of $X_1(n)$. In the process, we find a connection to the classical Ceva and B\"or\"oczky examples of special point and line configurations. We also discuss the situation for smaller values of $n$.


title: Uformer: A UNet-Transformer fused robust end-to-end deep learning framework for real-time denoising of lung sounds

abstract: Objective: Lung auscultation is a valuable tool in diagnosing and monitoring various respiratory diseases. However, lung sounds (LS) are significantly affected by numerous sources of contamination, especially when recorded in real-world clinical settings. Conventional denoising models prove impractical for LS denoising, primarily owing to spectral overlap complexities arising from diverse noise sources. To address this issue, we propose a specialized deep-learning model (Uformer) for lung sound denoising. Methods: The proposed Uformer model is constituted of three modules: a Convolutional Neural Network (CNN) encoder module, dedicated to extracting latent features; a Transformer encoder module, employed to further enhance the encoding of unique LS features and effectively capture intricate long-range dependencies; and a CNN decoder module, employed to generate the denoised signals. An ablation study was performed in order to find the most optimal architecture. Results: The performance of the proposed Uformer model was evaluated on lung sounds induced with different types of synthetic and real-world noises. Lung sound signals of -12 dB to 15 dB signal-to-noise ratio (SNR) were considered in testing experiments. The proposed model showed an average SNR improvement of 16.51 dB when evaluated with -12 dB LS signals. Our end-to-end model, with an average SNR improvement of 19.31 dB, outperforms the existing model when evaluated with ambient noise and fewer parameters. Conclusion: Based on the qualitative and quantitative findings in this study, it can be stated that Uformer is robust and generalized to be used in assisting the monitoring of respiratory conditions.


title: A Comprehensive Study on Ziv-Zakai Lower Bounds on the MMSE

abstract: This paper explores Bayesian lower bounds on the minimum mean squared error (MMSE) that belong to the Ziv-Zakai (ZZ) family. The ZZ technique relies on connecting the bound to an M-ary hypothesis testing problem. Three versions of the ZZ bound (ZZB) exist: the first relies on the so-called valley-filling function (VFF), the second omits the VFF, and the third, i.e., the single-point ZZB (SZZB), uses a single point maximization. The first part of this paper provides the most general version of the bounds. First, it is shown that these bounds hold without any assumption on the distribution of the estimand. Second, the SZZB bound is extended to an M-ary setting and a version of it for the multivariate case is provided. In the second part, general properties of the bounds are provided. First, it is shown that all the bounds tensorize. Second, a complete characterization of the high-noise asymptotic is provided, which is used to argue about the tightness of the bounds. Third, the low-noise asymptotic is provided for mixed-input distributions and Gaussian additive noise channels. Specifically, in the low-noise, it is shown that the SZZB is not always tight. In the third part, the tightness of the bounds is evaluated. First, it is shown that in the low-noise regime the ZZB bound without the VFF is tight for mixed-input distributions and Gaussian additive noise channels. Second, for discrete inputs, the ZZB with the VFF is shown to be always sub-optimal, and equal to zero without the VFF. Third, unlike for the ZZB, an example is shown for which the SZZB is tight to the MMSE for discrete inputs. Fourth, sufficient and necessary conditions for the tightness of the bounds are provided. Finally, some examples are shown in which the bounds in the ZZ family outperform other well-known Bayesian bounds, i.e., the Cram\'er-Rao bound and the maximum entropy bound.


title: Is Intersubjectivity Proven? A Reply to Khrennikov and to QBists

abstract: In two recent papers Khrennikov uses what he calls Ozawa intersubjectivity theorem to claim that intersubjectivity is necessarily verified in quantum mechanics and to criticize QBism and more generally all interpretations that are perspectival. In agreement with two previous QBist papers, I explain here why Khrennikov proof is not valid but in contrast with one of these papers, I criticize the way intersubjectivity is dealt with in QBism.


title: Joint effective equidistribution of partial lattices in positive characteristic

abstract: Let $\nu$ be a place of a global function field $K$ over a finite field, with associated affine function ring $R_\nu$ and completion $K_\nu$, and let $1 \leq \mathfrak{m}<\textbf{d}$. The aim of this paper is to prove an effective triple joint equidistribution result for primitive partial $R_\nu$-lattices $\Lambda$ of rank $\mathfrak{m}$ in $K_\nu^{\;\textbf{d}}$ as their covolume tends to infinity: of their $K_\nu$-linear span $V_\Lambda$ in the rank-$\mathfrak{m}$ Grassmannian space of $K_\nu^{\;\textbf{d}}$; of their shape in the modular quotient by $\operatorname{PGL}_\mathfrak{m}(R_\nu)$ of the Bruhat-Tits buildings of $\operatorname{PGL}_\mathfrak{m}(K_\nu)$; and of the shape of $\Lambda^\perp$ in the similar quotient for $\operatorname{PGL}_{\textbf{d}-\mathfrak{m}}(K_\nu)$, where $\Lambda^\perp$ is the orthogonal partial $R_\nu$-lattice of rank $\textbf{d}-\mathfrak{m}$ in the dual space of $K_\nu^{\;\textbf{d}}$. The main tools are a new refined $\text{LU}$ decomposition by blocks of elements of $\operatorname{SL}_\textbf{d}(K_\nu)$, techniques of Gorodnik and Nevo for counting integral points in well-rounded families of subsets of algebraic groups, and computations of volumes of various homogeneous spaces associated with partial $R_\nu$-lattices.


title: A Fine-grained Classification of Subquadratic Patterns for Subgraph Listing and Friends

abstract: In an $m$-edge host graph $G$, all triangles can be listed in time $O(m^{1.5})$ [Itai, Rodeh '78], and all $k$-cycles can be listed in time $O(m^{2-1/{\lceil k/2 \rceil}} + t)$ where $t$ is the output size [Alon, Yuster, Zwick '97]. These classic results also hold for the colored problem variant, where the nodes of the host graph $G$ are colored by nodes in the pattern graph $H$, and we are only interested in subgraphs of $G$ that are isomorphic to the pattern $H$ and respect the colors. We study the problem of listing all $H$-subgraphs in the colored setting, for fixed pattern graphs $H$. As our main result, we determine all pattern graphs $H$ such that all $H$-subgraphs can be listed in subquadratic time $O(m^{2-\varepsilon} + t)$, where $t$ is the output size. Moreover, for each such subquadratic pattern $H$ we determine the smallest exponent $c(H)$ such that all $H$-subgraphs can be listed in time $O(m^{c(H)} + t)$. This is a vast generalization of the classic results on triangles and cycles. To prove this result, we design new listing algorithms and prove conditional lower bounds based on standard hypotheses from fine-grained complexity theory. In our algorithms, we use a new ingredient that we call hyper-degree splitting, where we split tuples of nodes into high degree and low degree depending on their number of common neighbors. We also show the same results for two related problems: finding an $H$-subgraph of minimum total edge-weight in time $O(m^{c(H)})$, and enumerating all $H$-subgraphs in $O(m^{c(H)})$ preprocessing time and constant delay. Again we determine all pattern graphs $H$ that have complexity $c(H) < 2$, and for each such subquadratic pattern we determine the optimal complexity $c(H)$.


title: Enhanced Deep Potential Model for Fast and Accurate Molecular Dynamics; Application to the Hydrated Electron

abstract: In molecular simulations, neural network force fields aim at achieving \emph{ab initio} accuracy with reduced computational cost. This work introduces enhancements to the Deep Potential network architecture, integrating a message-passing framework and a new lightweight implementation with various improvements. Our model achieves accuracy on par with leading machine learning force fields and offers significant speed advantages, making it well-suited for large-scale, accuracy-sensitive systems. We also introduce a new iterative model for Wannier center prediction, allowing us to keep track of electron positions in simulations of general insulating systems. We apply our model to study the solvated electron in bulk water, an ostensibly simple system that is actually quite challenging to represent with neural networks. Our trained model is not only accurate, but can also transfer to larger systems. Our simulation confirms the cavity model, where the electron's localized state is observed to be stable. Through an extensive run, we accurately determine various structural and dynamical properties of the solvated electron.


title: Rankin--Cohen Type Differential Operators on Hermitian Modular Forms

abstract: We construct Rankin-Cohen type differential operators on Hermitian modular forms of signature $(n,n)$. The bilinear differential operators given here specialize to the original Rankin-Cohen operators in the case $n=1$, and more generally satisfy some analogous properties, including uniqueness. Our approach builds on previous work by Eholzer-Ibukiyama in the case of Siegel modular forms, together with results of Kashiwara-Vergne on the representation theory of unitary groups.


title: Strong interactions between integrated microresonators and alkali atomic vapors: towards single-atom, single-photon operation

abstract: Cavity quantum electrodynamics (cQED), the interaction of a two-level system with a high quality factor (Q) cavity, is a foundational building block in different architectures for quantum computation, communication, and metrology. The strong interaction between the atom and the cavity enables single photon operation which is required for quantum gates and sources. Cold atoms, quantum dots, and color centers in crystals are amongst the systems that have shown single photon operations, but they require significant physical infrastructure. Atomic vapors, on the other hand, require limited experimental infrastructure and are hence much easier to deploy outside a laboratory, but they produce an ensemble of moving atoms that results in short interaction times involving multiple atoms, which can hamper quantum operations. A solution to this issue can be found in nanophotonic cavities, where light-matter interaction is enhanced and the volume of operation is small, so that fast single-atom, single-photon operations are enabled. In this work, we study the interaction of an atomically-clad microring resonator (ACMRR) with different-sized ensembles of Rb atoms. We demonstrate strong coupling between an ensemble of ~50 atoms interacting with a high-quality factor (Q > 4 x 10^5) ACMRR, yielding a many-atom cooperativity C ~ 5.5. We continue to observe signatures of atom-photon interaction for a few (< 3) atoms, for which we observe saturation at the level of one intracavity photon. Further development of our platform, which includes integrated thermo-optic heaters to enable cavity tuning and stabilization, should enable the observation of interactions between single photons and single atoms.


title: Surface Brightness Fluctuations in Two SPT clusters: a Pilot Study

abstract: Studies of surface brightness fluctuations in the intracluster medium (ICM) present an indirect probe of turbulent properties such as the turbulent velocities, injection scales, and the slope of the power spectrum of fluctuations towards smaller scales. With the advancement of Sunyaev-Zel'dovich (SZ) studies and surveys relative to X-ray observations, we seek to investigate surface brightness fluctuations in a sample of SPT-SZ clusters which also have archival \textit{XMM-Newton} data. Here we present a pilot study of two typical clusters in that sample: SPT-CLJ0232-4421 and SPT-CLJ0638-5358. We infer injection scales larger than 500 kpc in both clusters and Mach numbers $\approx 0.5$ in SPT-CLJ0232-4421 and Mach numbers $\approx 0.6 - 1.6$ in SPT-CLJ0638-5358, which has a known shock. We find hydrostatic bias values for $M_{500}$ less than 0.2 for SPT-CLJ0232-4421 and less than 0.1 for SPT-CLJ0638-5358. These results show the importance to assess its quantitative values via a detailed multiwavelength approach and suggest that the drivers of turbulence may occur at quite larger scales.


title: The Origin and Evolution of Information Handling

abstract: A major challenge when describing the origin of life is to explain "how instructional information control systems emerge naturally and spontaneously from mere molecular dynamics". So far, no one has clarified how information control emerged ab initio and how primitive control mechanisms in life might have evolved, becoming increasingly refined. Based on recent experimental results showing that chemical computation does not require the presence of life-related chemistry, we elucidate the origin and early evolution of information handling by chemical automata, from information processing (computation) to information storage (memory) and information transmission (communication) and later digital messengers, covering at the same time its syntactic, semantic and pragmatic flavors. In contrast to other theories that assume the existence of initial complex structures, our representation starts from trivial self-replicators whose interaction leads to the arising of more powerful molecular machines. By describing precisely the primordial transitions in chemistry-based computation, our framework is capable of explaining the above-mentioned gaps and can be translated to other models of computation, which allow us to explore biological phenomena at multiple spatial and temporal scales. Being compatible with the free energy principle, we have developed a computational enactivist theoretical framework that could be able to describe from the origin of life to higher-level cognition, as if it were a purely constructivist narrative. At the end of our manuscript, we propose some ways to extend our ideas, including experimental validation of our theory (both in vitro and in silico).

categories: physics.bio-ph cs.IT cs.NE math.IT nlin.AO q-bio.PE


title: Compositional Estimation of Lipschitz Constants for Deep Neural Networks

abstract: The Lipschitz constant plays a crucial role in certifying the robustness of neural networks to input perturbations and adversarial attacks, as well as the stability and safety of systems with neural network controllers. Therefore, estimation of tight bounds on the Lipschitz constant of neural networks is a well-studied topic. However, typical approaches involve solving a large matrix verification problem, the computational cost of which grows significantly for deeper networks. In this letter, we provide a compositional approach to estimate Lipschitz constants for deep feedforward neural networks by obtaining an exact decomposition of the large matrix verification problem into smaller sub-problems. We further obtain a closed-form solution that applies to most common neural network activation functions, which will enable rapid robustness and stability certificates for neural networks deployed in online control settings. Finally, we demonstrate through numerical experiments that our approach provides a steep reduction in computation time while yielding Lipschitz bounds that are very close to those achieved by state-of-the-art approaches.


title: ClickDiffusion: Harnessing LLMs for Interactive Precise Image Editing

abstract: Recently, researchers have proposed powerful systems for generating and manipulating images using natural language instructions. However, it is difficult to precisely specify many common classes of image transformations with text alone. For example, a user may wish to change the location and breed of a particular dog in an image with several similar dogs. This task is quite difficult with natural language alone, and would require a user to write a laboriously complex prompt that both disambiguates the target dog and describes the destination. We propose ClickDiffusion, a system for precise image manipulation and generation that combines natural language instructions with visual feedback provided by the user through a direct manipulation interface. We demonstrate that by serializing both an image and a multi-modal instruction into a textual representation it is possible to leverage LLMs to perform precise transformations of the layout and appearance of an image. Code available at https://github.com/poloclub/ClickDiffusion.


title: LOSS-SLAM: Lightweight Open-Set Semantic Simultaneous Localization and Mapping

abstract: Enabling robots to understand the world in terms of objects is a critical building block towards higher level autonomy. The success of foundation models in vision has created the ability to segment and identify nearly all objects in the world. However, utilizing such objects to localize the robot and build an open-set semantic map of the world remains an open research question. In this work, a system of identifying, localizing, and encoding objects is tightly coupled with probabilistic graphical models for performing open-set semantic simultaneous localization and mapping (SLAM). Results are presented demonstrating that the proposed lightweight object encoding can be used to perform more accurate object-based SLAM than existing open-set methods, closed-set methods, and geometric methods while incurring a lower computational overhead than existing open-set mapping methods.


title: Evidence for universal flow and characteristics of early time thermalization in a scalar field model for heavy ion collisions

abstract: We study numerically the evolution of an expanding strongly self-coupled real scalar field. We use a conformally invariant action that gives a traceless energy-momentum tensor and is better suited to model the early time behaviour of a system such as QCD, whose action is also conformally invariant.We consider asymmetric initial conditions and observe that when the system is initialized with non-zero spatial eccentricity, the eccentricity decreases and the elliptic flow coefficient increases. We look at a measure of transverse pressure asymmetry that has been shown to behave similarly to the elliptic flow coefficient in hydrodynamic systems and show that in our system their behaviour is strikingly similar. We show that the derivative of the transverse velocity is proportional to the gradient of the energy in Milne coordinates and argue that this result means that transverse velocity initially develops in the same way that it does in hydrodynamic systems. We conclude that some aspects of the early onset of hydrodynamic behaviour that has been observed in quark-gluon plasmas are seen in our numerical simulation of strongly coupled scalar fields.


title: Improved Constraints on Mergers with SZ, Hydrodynamical simulations, Optical, and X-ray (ICM-SHOX). Paper II: Galaxy cluster sample overview

abstract: Galaxy cluster mergers are representative of a wide range of physics, making them an excellent probe of the properties of dark matter and the ionized plasma of the intracluster medium. To date, most studies have focused on mergers occurring in the plane of the sky, where morphological features can be readily identified. To allow study of mergers with arbitrary orientation, we have assembled multi-probe data for the eight-cluster ICM-SHOX sample sensitive to both morphology and line of sight velocity. The first ICM-SHOX paper (Silich+2023) provided an overview of our methodology applied to one member of the sample, MACS J0018.5+1626, in order to constrain its merger geometry. That work resulted in an exciting new discovery of a velocity space decoupling of its gas and dark matter distributions. In this work, we describe the availability and quality of multi-probe data for the full ICM-SHOX galaxy cluster sample. These datasets will form the observational basis of an upcoming full ICM-SHOX galaxy cluster sample analysis.


title: Powers of Edge Ideals of Graphs with Minimal Cellular Resolutions

abstract: Let $G$ be a connected graph and let $I(G)$ denote its edge ideal. We classify when $I(G)^n$, for $n \ge 1$, admits a minimal Lyubeznik resolution. We also give a characterization for when $I(G)^n$ is bridge-friendly, which, in turn, implies that $I(G)^n$ has a minimal Barile-Macchia cellular resolution.


title: Classification properties for some ternary structures

abstract: We provide a model-theoretic classification of the countable homogeneous $\mathbf{H}_4$-free 3-hypertournament studied by Cherlin, Hubi\v{c}ka, Kone\v{c}n\'y, and Ne\v{s}et\v{r}il. Our main result is that the theory of this structure is $\mathrm{SOP}_3$, $\mathrm{TP}_2$, and $\mathrm{NSOP}_4$. We offer two proofs of this fact: one is a direct proof, and the other employs part of the abstract machinery recently developed by Mutchnik.


title: Lower Bounds on Density for Topologically Nontrivial Minimal Cones up to Dimension Six

abstract: We prove lower bounds on the density of regular minimal cones of dimension less than seven provided the complements of the cones are topologically nontrivial.


title: Evidence for charge mediated coupling in Fe-Ga/PMN-PT composite multiferroic

abstract: We present an experimental study of the magnetoelectric coupling (MEC) in the Fe-Ga/PMN-PT thin film multiferroic composite by means of x-ray magnetic circular dichroism (XMCD) and ferromagnetic resonance (FMR). Our measurements show evidence for a charge mediated coupling mechanism, suggested by the asymmetric magnetic remanence (M$_{rem}$) behaviour under opposite electric fields ($\pm$ E) and the asymmetric resonance field (H$_r$) in the FMR measurements. Also, the FMR measurements reveal a perpendicular magnetic anisotropy (PMA), that can be related to an interface charge effect. and it is tunable by E field. Ab initio calculations support the existence of a charge mediated coupling at the Fe-Ga/PMN-PT interface.


title: Sharding Distributed Databases: A Critical Review

abstract: This article examines the significant challenges encountered in implementing sharding within distributed replication systems. It identifies the impediments of achieving consensus among large participant sets, leading to scalability, throughput, and performance limitations. These issues primarily arise due to the message complexity inherent in consensus mechanisms. In response, we investigate the potential of sharding to mitigate these challenges, analyzing current implementations within distributed replication systems. Additionally, we offer a comprehensive review of replication systems, encompassing both classical distributed databases as well as Distributed Ledger Technologies (DLTs) employing sharding techniques. Through this analysis, the article aims to provide insights into addressing the scalability and performance concerns in distributed replication systems.


title: Reconfigurable and Scalable Honeynet for Cyber-Physical Systems

abstract: Industrial Control Systems (ICS) constitute the backbone of contemporary industrial operations, ranging from modest heating, ventilation, and air conditioning systems to expansive national power grids. Given their pivotal role in critical infrastructure, there has been a concerted effort to enhance security measures and deepen our comprehension of potential cyber threats within this domain. To address these challenges, numerous implementations of Honeypots and Honeynets intended to detect and understand attacks have been employed for ICS. This approach diverges from conventional methods by focusing on making a scalable and reconfigurable honeynet for cyber-physical systems. It will also automatically generate attacks on the honeynet to test and validate it. With the development of a scalable and reconfigurable Honeynet and automatic attack generation tools, it is also expected that the system will serve as a basis for producing datasets for training algorithms for detecting and classifying attacks in cyber-physical honeynets.


title: "It is okay to be uncommon": Quantizing Sound Event Detection Networks on Hardware Accelerators with Uncommon Sub-Byte Support

abstract: If our noise-canceling headphones can understand our audio environments, they can then inform us of important sound events, tune equalization based on the types of content we listen to, and dynamically adjust noise cancellation parameters based on audio scenes to further reduce distraction. However, running multiple audio understanding models on headphones with a limited energy budget and on-chip memory remains a challenging task. In this work, we identify a new class of neural network accelerators (e.g., NE16 on GAP9) that allows network weights to be quantized to different common (e.g., 8 bits) and uncommon bit-widths (e.g., 3 bits). We then applied a differentiable neural architecture search to search over the optimal bit-widths of a network on two different sound event detection tasks with potentially different requirements on quantization and prediction granularity (i.e., classification vs. embeddings for few-shot learning). We further evaluated our quantized models on actual hardware, showing that we reduce memory usage, inference latency, and energy consumption by an average of 62%, 46%, and 61% respectively compared to 8-bit models while maintaining floating point performance. Our work sheds light on the benefits of such accelerators on sound event detection tasks when combined with an appropriate search method.


title: Geometric Burn Control For Tokamaks

abstract: A new burn control scheme for tokamaks is described where the total fusion power is controlled by adjusting the plasma volume fraction that is packed into power dense regions. In an example spherical tokamak burning plasma, by modifying the plasma edge squareness the total fusion power is doubled at almost constant total plasma volume and fusion power density. Therefore, increased plasma squareness could be extremely beneficial to a fusion reactor and squareness control could be desirable for power load balancing. Experiments have observed the impact of increased edge squareness on modified core plasma volume, highlighting the practical relevance of this approach.


title: Mining Potentially Explanatory Patterns via Partial Solutions

abstract: Genetic Algorithms have established their capability for solving many complex optimization problems. Even as good solutions are produced, the user's understanding of a problem is not necessarily improved, which can lead to a lack of confidence in the results. To mitigate this issue, explainability aims to give insight to the user by presenting them with the knowledge obtained by the algorithm. In this paper we introduce Partial Solutions in order to improve the explainability of solutions to combinatorial optimization problems. Partial Solutions represent beneficial traits found by analyzing a population, and are presented to the user for explainability, but also provide an explicit model from which new solutions can be generated. We present an algorithm that assembles a collection of Partial Solutions chosen to strike a balance between high fitness, simplicity and atomicity. Experiments with standard benchmarks show that the proposed algorithm is able to find Partial Solutions which improve explainability at reasonable computational cost without affecting search performance.


title: Finding Fibonacci in the Hyperbolic Plane

abstract: We use a combinatorial approximation of the hyperbolic plane to investigate properties of hyperbolic geometry such as exponential growth of perimeter and area of disks, and the linear isoperimetric inequality. This calculations give a surprising link to Fibonacci numbers.


title: Field-dependent Magnons in a Honeycomb Antiferromagnet CoTiO$_3$

abstract: We report field-dependent high-resolution inelastic neutron scattering (INS) measurements on the honeycomb lattice magnet, CoTiO$_3$, to study the evolution of its magnon excitations across a spin reorientation transition driven by an in-plane magnetic field. By carrying out elastic neutron scattering in a magnetic field, we show that the sample transitions from a collinear antiferromagnetic state with multiple magnetic domains at a low field to a mono-domain state with a canted magnetic structure at a high field. Concurrent with this transition, we observed significant changes in both the energy and the width of the zone center magnon peak. The observed width change is argued to be consistent with an unusual zero-field state with extended domain walls. On the other hand, the magnon spectra near the $\mathbf{K}$ point of the Brillouin zone boundary are found to be largely insensitive to the changes in the ordered moment directions and the domain configuration. We argue that this observation is difficult to explain within the framework of the bond-dependent model proposed in a recent INS study [Elliot \textit{et\,al}, Nat. Commun., \textbf{12}, 3936 (2021)]. Our study therefore calls for alternative explanations for the observed $\mathbf{K}$-point gap in CoTiO$_3$.


title: Adaptive Power Flow Approximations with Second-Order Sensitivity Insights

abstract: The power flow equations are fundamental to power system planning, analysis, and control. However, the inherent non-linearity and non-convexity of these equations present formidable obstacles in problem-solving processes. To mitigate these challenges, recent research has proposed adaptive power flow linearizations that aim to achieve accuracy over wide operating ranges. The accuracy of these approximations inherently depends on the curvature of the power flow equations within these ranges, which necessitates looking at second-order sensitivities. In this paper, we leverage second-order sensitivities to both analyze and improve power flow approximations. We evaluate the curvature across broad operational ranges and subsequently utilize this information to inform the computation of various sampling-based power flow approximation techniques. Additionally, we leverage second-order sensitivities to guide the development of rational approximations that yield linear constraints in optimization problems. This approach is extended to enhance accuracy beyond the limitations of linear functions across varied operational scenarios.


title: Increased LLM Vulnerabilities from Fine-tuning and Quantization

abstract: Large Language Models (LLMs) have become very popular and have found use cases in many domains, such as chatbots, auto-task completion agents, and much more. However, LLMs are vulnerable to different types of attacks, such as jailbreaking, prompt injection attacks, and privacy leakage attacks. Foundational LLMs undergo adversarial and alignment training to learn not to generate malicious and toxic content. For specialized use cases, these foundational LLMs are subjected to fine-tuning or quantization for better performance and efficiency. We examine the impact of downstream tasks such as fine-tuning and quantization on LLM vulnerability. We test foundation models like Mistral, Llama, MosaicML, and their fine-tuned versions. Our research shows that fine-tuning and quantization reduces jailbreak resistance significantly, leading to increased LLM vulnerabilities. Finally, we demonstrate the utility of external guardrails in reducing LLM vulnerabilities.


title: Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers

abstract: Deriving formal bounds on the expressivity of transformers, as well as studying transformers that are constructed to implement known algorithms, are both effective methods for better understanding the computational power of transformers. Towards both ends, we introduce the temporal counting logic $\textbf{K}_\text{t}$[#] alongside the RASP variant $\textbf{C-RASP}$. We show they are equivalent to each other, and that together they are the best-known lower bound on the formal expressivity of future-masked soft attention transformers with unbounded input size. We prove this by showing all $\textbf{K}_\text{t}$[#] formulas can be compiled into these transformers. As a case study, we demonstrate on paper how to use $\textbf{C-RASP}$ to construct simple transformer language models that, using greedy decoding, can only generate sentences that have given properties formally specified in $\textbf{K}_\text{t}$[#].


title: Analyzing Participants' Engagement during Online Meetings Using Unsupervised Remote Photoplethysmography with Behavioral Features

abstract: Engagement measurement finds application in healthcare, education, services. The use of physiological and behavioral features is viable, but the impracticality of traditional physiological measurement arises due to the need for contact sensors. We demonstrate the feasibility of unsupervised remote photoplethysmography (rPPG) as an alternative for contact sensors in deriving heart rate variability (HRV) features, then fusing these with behavioral features to measure engagement in online group meetings. Firstly, a unique Engagement Dataset of online interactions among social workers is collected with granular engagement labels, offering insight into virtual meeting dynamics. Secondly, a pre-trained rPPG model is customized to reconstruct rPPG signals from video meetings in an unsupervised manner, enabling the calculation of HRV features. Thirdly, the feasibility of estimating engagement from HRV features using short observation windows, with a notable enhancement when using longer observation windows of two to four minutes, is demonstrated. Fourthly, the effectiveness of behavioral cues is evaluated when fused with physiological data, which further enhances engagement estimation performance. An accuracy of 94% is achieved when only HRV features are used, eliminating the need for contact sensors or ground truth signals; use of behavioral cues raises the accuracy to 96%. Facial analysis offers precise engagement measurement, beneficial for future applications.


title: A Critique of Du's "A Polynomial-Time Algorithm for 3-SAT

abstract: In this paper, we examine the claims made by the paper "A polynomial-time algorithm for 3-SAT" by Lizhi Du. The paper claims to provide a polynomial-time algorithm for solving the NP-complete problem 3-SAT. In examining the paper's argument, we find a flaw in one of the main sections of its algorithm. We argue that this flaw causes the paper's algorithm to incorrectly decide that an infinite family of satisfiable 3-CNF boolean formulas are not satisfiable. Therefore, the paper does not establish that P = NP.


title: Chemical mass-action systems as analog computers: implementing arithmetic computations at specified speed

abstract: Recent technological advances allow us to view chemical mass-action systems as analog computers. In this context, the inputs to a computation are encoded as initial values of certain chemical species while the outputs are the limiting values of other chemical species. In this paper, we design chemical systems that carry out the elementary arithmetic computations of: identification, inversion, $m$th roots (for $m \ge 2$), addition, multiplication, absolute difference, rectified subtraction over non-negative real numbers, and partial real inversion over real numbers. We prove that these ``elementary modules'' have a speed of computation that is independent of the inputs to the computation. Moreover, we prove that finite sequences of such elementary modules, running in parallel, can carry out composite arithmetic over real numbers, also at a rate that is independent of inputs. Furthermore, we show that the speed of a composite computation is precisely the speed of the slowest elementary step. Specifically, the scale of the composite computation, i.e. the number of elementary steps involved in the composite, does not affect the overall asymptotic speed -- a feature of the parallel computing nature of our algorithm. Our proofs require the careful mathematical analysis of certain non-autonomous systems, and we believe this analysis will be useful in different areas of applied mathematics, dynamical systems, and the theory of computation. We close with a discussion on future research directions, including numerous important open theoretical questions pertaining to the field of computation with reaction networks.


title: Generating Synthetic Ground Truth Distributions for Multi-step Trajectory Prediction using Probabilistic Composite B\'ezier Curves

abstract: An appropriate data basis grants one of the most important aspects for training and evaluating probabilistic trajectory prediction models based on neural networks. In this regard, a common shortcoming of current benchmark datasets is their limitation to sets of sample trajectories and a lack of actual ground truth distributions, which prevents the use of more expressive error metrics, such as the Wasserstein distance for model evaluation. Towards this end, this paper proposes a novel approach to synthetic dataset generation based on composite probabilistic B\'ezier curves, which is capable of generating ground truth data in terms of probability distributions over full trajectories. This allows the calculation of arbitrary posterior distributions. The paper showcases an exemplary trajectory prediction model evaluation using generated ground truth distribution data.


title: Bayesian Methods for Modeling Cumulative Exposure to Extensive Environmental Health Hazards

abstract: Measuring the impact of an environmental point source exposure on the risk of disease, like cancer or childhood asthma, is well-developed. Modeling how an environmental health hazard that is extensive in space, like a wastewater canal, is not. We propose a novel Bayesian generative semiparametric model for characterizing the cumulative spatial exposure to an environmental health hazard that is not well-represented by a single point in space. The model couples a dose-response model with a log-Gaussian Cox process integrated against a distance kernel with an unknown length-scale. We show that this model is a well-defined Bayesian inverse model, namely that the posterior exists under a Gaussian process prior for the log-intensity of exposure, and that a simple integral approximation adequately controls the computational error. We quantify the finite-sample properties and the computational tractability of the discretization scheme in a simulation study. Finally, we apply the model to survey data on household risk of childhood diarrheal illness from exposure to a system of wastewater canals in Mezquital Valley, Mexico.


title: Longitudinal Targeted Minimum Loss-based Estimation with Temporal-Difference Heterogeneous Transformer

abstract: We propose Deep Longitudinal Targeted Minimum Loss-based Estimation (Deep LTMLE), a novel approach to estimate the counterfactual mean of outcome under dynamic treatment policies in longitudinal problem settings. Our approach utilizes a transformer architecture with heterogeneous type embedding trained using temporal-difference learning. After obtaining an initial estimate using the transformer, following the targeted minimum loss-based likelihood estimation (TMLE) framework, we statistically corrected for the bias commonly associated with machine learning algorithms. Furthermore, our method also facilitates statistical inference by enabling the provision of 95% confidence intervals grounded in asymptotic statistical theory. Simulation results demonstrate our method's superior performance over existing approaches, particularly in complex, long time-horizon scenarios. It remains effective in small-sample, short-duration contexts, matching the performance of asymptotically efficient estimators. To demonstrate our method in practice, we applied our method to estimate counterfactual mean outcomes for standard versus intensive blood pressure management strategies in a real-world cardiovascular epidemiology cohort study.


title: On the extension of positive maps to Haagerup non-commutative $L^p$-spaces

abstract: Let $M$ be a von Neumann algebra, let $\varphi$ be a normal faithful state on $M$ and let $L^p(M,\varphi)$ be the associated Haagerup non-commutative $L^p$-spaces, for $1\leq p\leq\infty$. Let $D\in L^1(M,\varphi)$ be the density of $\varphi$. Given a positive map $T\colon M\to M$ such that $\varphi\circ T\leq C_1\varphi$ for some $C_1\geq 0$, we study the boundedness of the $L^p$-extension $T_{p,\theta}\colon D^{\frac{1-\theta}{p}} M D^{\frac{\theta}{p}}\to L^p(M,\varphi)$ which maps $D^{\frac{1-\theta}{p}} x D^{\frac{\theta}{p}}$ to $D^{\frac{1-\theta}{p}} T(x) D^{\frac{\theta}{p}}$ for all $x\in M$. Haagerup-Junge-Xu showed that $T_{p,\frac12}$ is always bounded and left open the question whether $T_{p,\theta}$ is bounded for $\theta\not=\frac12$. We show that for any $1\leq p<2$ and any $\theta\in [0,2^{-1}(1-\sqrt{p-1})]\cup[2^{-1}(1+\sqrt{p-1}), 1]$, there exists a completely positive $T$ such that $T_{p,\theta}$ is unbounded. We also show that if $T$ is $2$-positive, then $T_{p,\theta}$ is bounded provided that $p\geq 2$ or $1\leq p<2$ and $\theta\in[1-p/2,p/2]$.


title: Comparative Image Alignment for Multiple Telescopes: ALMA, IRIS, SDO

abstract: This paper introduces a method for aligning solar observations from different telescopes. We utilized helioprojective coordinates from the Solar Dynamics Observatory (SDO) as a reference to align images from ALMA and IRIS. The alignment is based on correlation analysis, employing both the Pearson Correlation Coefficient (PCC) and the Structural Similarity Index (SSIM) for assessing data correlations. PCC was preferred for its effectiveness with diverse datasets and its computational efficiency compared to SSIM. The alignment demonstrated less than 1.0\,arcsec variation in average centers between the two methods, ensuring consistent results. We illustrate this method using ALMA observations, labeled D06 in the Solar ALMA Science Archive (SALSA), as a case study.


title: On a result by Baillon, Bruck, and Reich

abstract: It is well known that the iterates of an averaged nonexpansive mapping may only converge weakly to fixed point. A celebrated result by Baillon, Bruck, and Reich from 1978 yields strong convergence in the presence of linearity. In this paper, we extend this result to allow for flexible relaxation parameters. Examples are also provided to illustrate the results.


title: Low-Rank Robust Subspace Tensor Clustering for Metro Passenger Flow Modeling

abstract: Tensor clustering has become an important topic, specifically in spatio-temporal modeling, due to its ability to cluster spatial modes (e.g., stations or road segments) and temporal modes (e.g., time of the day or day of the week). Our motivating example is from subway passenger flow modeling, where similarities between stations are commonly found. However, the challenges lie in the innate high-dimensionality of tensors and also the potential existence of anomalies. This is because the three tasks, i.e., dimension reduction, clustering, and anomaly decomposition, are inter-correlated to each other, and treating them in a separate manner will render a suboptimal performance. Thus, in this work, we design a tensor-based subspace clustering and anomaly decomposition technique for simultaneously outlier-robust dimension reduction and clustering for high-dimensional tensors. To achieve this, a novel low-rank robust subspace clustering decomposition model is proposed by combining Tucker decomposition, sparse anomaly decomposition, and subspace clustering. An effective algorithm based on Block Coordinate Descent is proposed to update the parameters. Prudent experiments prove the effectiveness of the proposed framework via the simulation study, with a gain of +25% clustering accuracy than benchmark methods in a hard case. The interrelations of the three tasks are also analyzed via ablation studies, validating the interrelation assumption. Moreover, a case study in the station clustering based on real passenger flow data is conducted, with quite valuable insights discovered.


title: A Ground Mobile Robot for Autonomous Terrestrial Laser Scanning-Based Field Phenotyping

abstract: Traditional field phenotyping methods are often manual, time-consuming, and destructive, posing a challenge for breeding progress. To address this bottleneck, robotics and automation technologies offer efficient sensing tools to monitor field evolution and crop development throughout the season. This study aimed to develop an autonomous ground robotic system for LiDAR-based field phenotyping in plant breeding trials. A Husky platform was equipped with a high-resolution three-dimensional (3D) laser scanner to collect in-field terrestrial laser scanning (TLS) data without human intervention. To automate the TLS process, a 3D ray casting analysis was implemented for optimal TLS site planning, and a route optimization algorithm was utilized to minimize travel distance during data collection. The platform was deployed in two cotton breeding fields for evaluation, where it autonomously collected TLS data. The system provided accurate pose information through RTK-GNSS positioning and sensor fusion techniques, with average errors of less than 0.6 cm for location and 0.38$^{\circ}$ for heading. The achieved localization accuracy allowed point cloud registration with mean point errors of approximately 2 cm, comparable to traditional TLS methods that rely on artificial targets and manual sensor deployment. This work presents an autonomous phenotyping platform that facilitates the quantitative assessment of plant traits under field conditions of both large agricultural fields and small breeding trials to contribute to the advancement of plant phenomics and breeding programs.


title: Dynamic Switch Layers For Unsupervised Learning

abstract: On-device machine learning (ODML) enables intelligent applications on resource-constrained devices. However, power consumption poses a major challenge, forcing a trade-off between model accuracy and power efficiency that often limits model complexity. The previously established Gated Compression (GC) layers offer a solution, enabling power efficiency without sacrificing model performance by selectively gating samples that lack signals of interest. However, their reliance on ground truth labels limits GC layers to supervised tasks. This work introduces the Dynamic Switch Layer (DSL), extending the benefits of GC layers to unsupervised learning scenarios, and maintaining power efficiency without the need for labeled data. The DSL builds upon the GC architecture, leveraging a dynamic pathway selection, and adapting model complexity in response to the innate structure of the data. We integrate the DSL into the SoundStream architecture and demonstrate that by routing up to 80% of samples through a lightweight pass we achieve a 12.3x reduction in the amount of computation performed and a 20.9x reduction in model size. This reduces the on-device inference latency by up to 26.5% and improves power efficiency by up to 21.4% without impacting model performance.


title: Optimality-based reward learning with applications to toxicology

abstract: In toxicology research, experiments are often conducted to determine the effect of toxicant exposure on the behavior of mice, where mice are randomized to receive the toxicant or not. In particular, in fixed interval experiments, one provides a mouse reinforcers (e.g., a food pellet), contingent upon some action taken by the mouse (e.g., a press of a lever), but the reinforcers are only provided after fixed time intervals. Often, to analyze fixed interval experiments, one specifies and then estimates the conditional state-action distribution (e.g., using an ANOVA). This existing approach, which in the reinforcement learning framework would be called modeling the mouse's "behavioral policy," is sensitive to misspecification. It is likely that any model for the behavioral policy is misspecified; a mapping from a mouse's exposure to their actions can be highly complex. In this work, we avoid specifying the behavioral policy by instead learning the mouse's reward function. Specifying a reward function is as challenging as specifying a behavioral policy, but we propose a novel approach that incorporates knowledge of the optimal behavior, which is often known to the experimenter, to avoid specifying the reward function itself. In particular, we define the reward as a divergence of the mouse's actions from optimality, where the representations of the action and optimality can be arbitrarily complex. The parameters of the reward function then serve as a measure of the mouse's tolerance for divergence from optimality, which is a novel summary of the impact of the exposure. The parameter itself is scalar, and the proposed objective function is differentiable, allowing us to benefit from typical results on consistency of parametric estimators while making very few assumptions.


title: Meshfree finite difference solution of homogeneous Dirichlet problems of the fractional Laplacian

abstract: A so-called grid-overlay finite difference method (GoFD) was proposed recently for the numerical solution of homogeneous Dirichlet boundary value problems of the fractional Laplacian on arbitrary bounded domains. It was shown to have advantages of both finite difference and finite element methods, including its efficient implementation through the fast Fourier transform and ability to work for complex domains and with mesh adaptation. The purpose of this work is to study GoFD in a meshfree setting, a key to which is to construct the data transfer matrix from a given point cloud to a uniform grid. Two approaches are proposed, one based on the moving least squares fitting and the other based on the Delaunay triangulation and piecewise linear interpolation. Numerical results obtained for examples with convex and concave domains and various types of point clouds are presented. They show that both approaches lead to comparable results. Moreover, the resulting meshfree GoFD converges at a similar order as GoFD with unstructured meshes and finite element approximation as the number of points in the cloud increases. Furthermore, numerical results show that the method is robust to random perturbations in the location of the points.


title: A novel section-section potential for short-range interactions between plane beams

abstract: We derive a novel formulation for the interaction potential between deformable fibers due to short-range fields arising from intermolecular forces. The formulation improves the existing section-section interaction potential law for in-plane beams by considering an offset between interacting cross sections. The new law is asymptotically consistent, which is particularly beneficial for computationally demanding scenarios involving short-range interactions like van der Waals and steric forces. The formulation is implemented within a framework of rotation-free Bernoulli-Euler beams utilizing the isogeometric paradigm. The improved accuracy of the novel law is confirmed through thorough numerical studies. We apply the developed formulation to investigate the complex behavior observed during peeling and pull-off of elastic fibers interacting via the Lennard-Jones potential.


title: Boosted four-top production at the LHC : a window to Randall-Sundrum or extended color symmetry

abstract: Scenarios seeking to address the issue of electroweak symmetry breaking often have heavy colored gauge bosons coupling preferentially to the top quark. Considering the bulk Randall-Sundrum as a typical example, we consider the prospects of the first Kaluza-Klein mode ($G^{(1)}$) of the gluon being produced at the LHC in association with a $t \bar{t}$ pair. The enhanced coupling not only dictates that the dominant decay mode would be to a $t \bar{t}$ pair, but also to a very large $G^{(1)}$ width, necessitating the use of a renormalised $G^{(1)}$ propagator. This, alongwith the presence of large backgrounds (specially $t \bar{t} j j$), renders a conventional cut-based analysis ineffective, yielding only marginal significances of only around 2$\sigma$. The use of Machine Learning (ML) techniques alleviates this problem to a great extent. In particular, the use of Artificial Neural Networks helps us identify the most discriminating observables, thereby allowing a significance in excess of 4$\sigma$ for $G^{(1)}$ masses of $\sim$ 4 TeV.


title: On the linearization of analytic diffeomorphisms of the torus

abstract: We provide an arithmetic condition weaker then the Bryuno condition for which it is possible to apply a KAM scheme in dimension greater then one. The KAM scheme will be provided in the setting of linearization of analytic diffeomorphisms of the torus that are close to a rotation.


title: Engineering quantum states with neutral atoms

abstract: Aquila, an analog quantum simulation platform developed by QuEra Computing, supports control of the position and coherent evolution of up to 256 neutral atoms. This study details novel experimental protocols designed for analog quantum simulators that generate Bell state entanglement far away from the blockade regime, construct a Z2 state with a defect induced by an ancilla, and optimize the driving fields schedule to prepare excited states with enhanced fidelity. We additionally evaluate the effectiveness of readout error mitigation techniques in improving the fidelity of measurement results. All experiments were executed on Aquila from QuEra and facilitated by the AWS Braket interface. Our experimental results closely align with theoretical predictions and numerical simulations. The insights gained from this study showcase Aquila's capabilities in handling complex quantum simulations and computations, and also pave the way for new avenues of research in quantum information processing and physics that employ programmable analog hardware platforms.


title: QCD Predictions for Meson Electromagnetic Form Factors at High Momenta: Testing Factorization in Exclusive Processes

abstract: We report the first lattice QCD computation of pion and kaon electromagnetic form factors, $F_M(Q^2)$, at large momentum transfer up to 10 and 28 $\mathrm{GeV}^2$, respectively. Utilizing physical masses and two fine lattices, we achieve good agreement with JLab experimental results at $Q^2 \lesssim 4~\mathrm{GeV}^2$. For $Q^2 \gtrsim 4~\mathrm{GeV}^2$, our results provide $\textit{ab-initio}$ QCD benchmarks for the forthcoming experiments at JLab 12 GeV and future electron-ion colliders. We also test the QCD collinear factorization framework utilizing our high-$Q^2$ form factors at next-to-next-to-leading order in perturbation theory, which relates the form factors to the leading Fock-state meson distribution amplitudes. Comparisons with independent lattice QCD calculations using the same framework demonstrate, within estimated uncertainties, the universality of these nonperturbative quantities.


title: Ups and downs: Copepods reverse the near-body flow to cruise in the water column

abstract: Copepods participate in large-scale diel vertical migrations (DVM) as primary consumers in marine ecosystems. Given that they are negatively buoyant, gravity facilitates their downward cruising but impedes their upward relocation. In principle, overcoming this retarding force using drag-based propulsion during upward swimming incurs extra energy costs that neutrally buoyant or gravity-assisted downward swimmers fundamentally avoid. This added power requirement seemingly renders upward swimming disproportionally less efficient than downward swimming. However, we found a compensatory mechanism enhancing thrust in upward-swimming copepods. Using experimentally derived velocity and pressure fields, we observed that copepods pull water to the anterior, generating sub-ambient pressure gradients when cruising upwards, thereby inducing an upstream suction force to complement the thrust produced by the legs. Contrary to expectations that drag forces always dominate the leg recovery phase, the results show that the upstream suction generates net thrust for about a third of the recovery stroke. Such a suction-thrust mechanism promotes cost-effective swimming in larger animals like fish and jellyfish. However, it has never been reported at small scales. We compare these results with downward-swimming copepods that push rather than pull on water and demonstrate they do not benefit from thrust-enhancing suction effects during the recovery stroke. Instead, downward cruisers leverage gravitational effects to swim faster. `Puller' and `pusher' behaviors are driven by alterations of the leg kinematics, indicating a response to the body orientation rather than a fixed organism trait. These results offer insights into an essential swimming mechanism that can inform us about the role of mesozooplankton in driving biogenic hydrodynamic transport and its effects on marine biogeochemistry.


title: OLIMPO: a Balloon-Borne SZE Imager to Probe ICM Dynamics and the WHIM

abstract: OLIMPO is a proposed Antarctic balloon-borne Sunyaev-Zel'dovich effect (SZE) imager to study gas dynamics associated with structure formation along with the properties of the warm-hot intergalactic medium (WHIM) residing in the connective filaments. During a 25 day flight OLIMPO will image a total of 10 z~0.05 galaxy clusters and 8 bridges at 145, 250, 365, and 460 GHz at an angular resolution of 1.0'-3.3'. The maps will be significantly deeper than those planned from CMB-S4 and CCAT-P, and will have excellent fidelity to the large angular scales of our low-z targets, which are difficult to probe from the ground. In combination with X-ray data from eROSITA and XRISM we will transform our current static view of galaxy clusters into a full dynamic picture by measuring the internal intra-cluster medium (ICM) velocity structure with the kinematic SZE, X-ray spectroscopy, and the power spectrum of ICM fluctuations. Radio observations from ASKAP and MeerKAT will be used to better understand the connection between ICM turbulence and shocks with the relativistic plasma. Beyond the cluster boundary, we will combine thermal SZE maps from OLIMPO with X-ray imaging from eROSITA to measure the thermodynamics of the WHIM residing in filaments, providing a better understanding of its properties and its contribution to the total baryon budget.


title: Sample size planning for estimating the global win probability with assurance and precision

abstract: Most clinical trials conducted in drug development contain multiple endpoints in order to collectively assess the intended effects of the drug on various disease characteristics. Focusing on the estimation of the global win probability, defined as the average win probability (WinP) across endpoints that a treated participant would have a better outcome than a control participant, we propose a closed-form sample size formula incorporating pre-specified precision and assurance, with precision denoted by the lower limit of confidence interval and assurance denoted by the probability of achieving that lower limit. We make use of the equivalence of the WinP and the area under the receiver operating characteristic curve (AUC) and adapt a formula originally developed for the difference between two AUCs to handle the global WinP. Unequal variance is allowed. Simulation results suggest that the method performs very well. We illustrate the proposed formula using a Parkinson's disease clinical trial design example.


title: Admittance Control for Adaptive Remote Center of Motion in Robotic Laparoscopic Surgery

abstract: In laparoscopic robot-assisted minimally invasive surgery, the kinematic control of the robot is subject to the remote center of motion (RCM) constraint at the port of entry (e.g., trocar) into the patient's body. During surgery, after the instrument is inserted through the trocar, intrinsic physiological movements such as the patient's heartbeat, breathing process, and/or other purposeful body repositioning may deviate the position of the port of entry. This can cause a conflict between the registered RCM and the moved port of entry. To mitigate this conflict, we seek to utilize the interaction forces at the RCM. We develop a novel framework that integrates admittance control into a redundancy resolution method for the RCM kinematic constraint. Using the force/torque sensory feedback at the base of the instrument driving mechanism (IDM), the proposed framework estimates the forces at RCM, rejects forces applied on other locations along the instrument, and uses them in the admittance controller. In this paper, we report analysis from kinematic simulations to validate the proposed framework. In addition, a hardware platform has been completed, and future work is planned for experimental validation.


title: Evaluating COVID-19 Surveillance Testing Strategies at Colorado School of Mines: A Stochastic Modeling Approach

abstract: This study introduces a stochastic model of COVID-19 transmission tailored to the Colorado School of Mines campus and evaluates surveillance testing strategies within a university context. Enhancing the conventional SEIR framework with stochastic transitions, our model accounts for the unique characteristics of disease spread in a residential college, including specific states for testing, quarantine, and isolation. Employing an approximate Bayesian computation (ABC) method for parameter estimation, we navigate the complexities inherent in stochastic models, enabling an accurate fit of the model with the campus case data. We then studied our model under the estimated parameters to evaluate the efficacy of different testing policies that could be implemented on a university campus. This framework not only advances understanding of COVID-19 dynamics on the Mines campus but serves as a blueprint for comparable settings, providing insights for informed strategies against infectious diseases.


title: A moving mesh finite element method for Bernoulli free boundary problems

abstract: A moving mesh finite element method is studied for the numerical solution of Bernoulli free boundary problems. The method is based on the pseudo-transient continuation with which a moving boundary problem is constructed and its steady-state solution is taken as the solution of the underlying Bernoulli free boundary problem. The moving boundary problem is solved in a split manner at each time step: the moving boundary is updated with the Euler scheme, the interior mesh points are moved using a moving mesh method, and the corresponding initial-boundary value problem is solved using the linear finite element method. The method can take full advantages of both the pseudo-transient continuation and the moving mesh method. Particularly, it is able to move the mesh, free of tangling, to fit the varying domain for a variety of geometries no matter if they are convex or concave. Moreover, it is convergent towards steady state for a broad class of free boundary problems and initial guesses of the free boundary. Numerical examples for Bernoulli free boundary problems with constant and non-constant Bernoulli conditions and for nonlinear free boundary problems are presented to demonstrate the accuracy and robustness of the method and its ability to deal with various geometries and nonlinearities.


title: Hybrid Force Motion Control with Estimated Surface Normal for Manufacturing Applications

abstract: This paper proposes a hybrid force-motion framework that utilizes real-time surface normal updates. The surface normal is estimated via a novel method that leverages force sensing measurements and velocity commands to compensate the friction bias. This approach is critical for robust execution of precision force-controlled tasks in manufacturing, such as thermoplastic tape replacement that traces surfaces or paths on a workpiece subject to uncertainties deviated from the model. We formulated the proposed method and implemented the framework in ROS2 environment. The approach was validated using kinematic simulations and a hardware platform. Specifically, we demonstrated the approach on a 7-DoF manipulator equipped with a force/torque sensor at the end-effector.


title: The NES Video-Music Database: A Dataset of Symbolic Video Game Music Paired with Gameplay Videos

abstract: Neural models are one of the most popular approaches for music generation, yet there aren't standard large datasets tailored for learning music directly from game data. To address this research gap, we introduce a novel dataset named NES-VMDB, containing 98,940 gameplay videos from 389 NES games, each paired with its original soundtrack in symbolic format (MIDI). NES-VMDB is built upon the Nintendo Entertainment System Music Database (NES-MDB), encompassing 5,278 music pieces from 397 NES games. Our approach involves collecting long-play videos for 389 games of the original dataset, slicing them into 15-second-long clips, and extracting the audio from each clip. Subsequently, we apply an audio fingerprinting algorithm (similar to Shazam) to automatically identify the corresponding piece in the NES-MDB dataset. Additionally, we introduce a baseline method based on the Controllable Music Transformer to generate NES music conditioned on gameplay clips. We evaluated this approach with objective metrics, and the results showed that the conditional CMT improves musical structural quality when compared to its unconditional counterpart. Moreover, we used a neural classifier to predict the game genre of the generated pieces. Results showed that the CMT generator can learn correlations between gameplay videos and game genres, but further research has to be conducted to achieve human-level performance.