title: Self-organization in collisionless, high-$\beta$ turbulence

abstract: The MHD equations, as a collisional fluid model that remains in local thermodynamic equilibrium (LTE), have long been used to describe turbulence in myriad space and astrophysical plasmas. Yet, the vast majority of these plasmas, from the solar wind to the intracluster medium (ICM) of galaxy clusters, are only weakly collisional at best, meaning that significant deviations from LTE are not only possible but common. Recent studies have demonstrated that the kinetic physics inherent to this weakly collisional regime can fundamentally transform the evolution of such plasmas across a wide range of scales. Here we explore the consequences of pressure anisotropy and Larmor-scale instabilities for collisionless, $\beta \gg 1$ turbulence, focusing on the role of a self-organizational effect known as `magneto-immutability'. We describe this self-organization analytically through a high-$\beta$, reduced ordering of the CGL-MHD equations, finding that it is a robust inertial-range effect that dynamically suppresses magnetic-field-strength fluctuations, anisotropic-pressure stresses, and dissipation due to heat fluxes. As a result, the turbulent cascade of Alfv\'enic fluctuations continues below the putative viscous scale to form a robust, nearly conservative, MHD-like inertial range. These findings are confirmed numerically via Landau-fluid CGL-MHD turbulence simulations that employ a collisional closure to mimic the effects of microinstabilities. We find that microinstabilities occupy a small ($\sim 5\%$) volume-filling fraction of the plasma, even when the pressure anisotropy is driven strongly towards its instability thresholds. We discuss these results in the context of recent predictions for ion-versus-electron heating in low-luminosity accretion flows and observations implying suppressed viscosity in ICM turbulence.


title: On quotients of derivatives of $L$-functions inside the critical strip

abstract: In 2011, Gun, Murty and Rath studied non-vanishing and transcendental nature of special values of a varying class of $L$-functions and their derivatives. This led to a number of works by several authors in different set-ups including studying higher derivatives. However, all these works were focused around the central point of the critical strip. In this article, we extend the study to arbitrary points in the critical strip.


title: Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification

abstract: An inductive inference system for proving validity of formulas in the initial algebra $T_{\mathcal{E}}$ of an order-sorted equational theory $\mathcal{E}$ is presented. It has 20 inference rules, but only 9 of them require user interaction; the remaining 11 can be automated as simplification rules. In this way, a substantial fraction of the proof effort can be automated. The inference rules are based on advanced equational reasoning techniques, including: equationally defined equality predicates, narrowing, constructor variant unification, variant satisfiability, order-sorted congruence closure, contextual rewriting, ordered rewriting, and recursive path orderings. All these techniques work modulo axioms $B$, for $B$ any combination of associativity and/or commutativity and/or identity axioms. Most of these inference rules have already been implemented in Maude's NuITP inductive theorem prover.


title: What does the Knowledge Neuron Thesis Have to do with Knowledge?

abstract: We reassess the Knowledge Neuron (KN) Thesis: an interpretation of the mechanism underlying the ability of large language models to recall facts from a training corpus. This nascent thesis proposes that facts are recalled from the training corpus through the MLP weights in a manner resembling key-value memory, implying in effect that "knowledge" is stored in the network. Furthermore, by modifying the MLP modules, one can control the language model's generation of factual information. The plausibility of the KN thesis has been demonstrated by the success of KN-inspired model editing methods (Dai et al., 2022; Meng et al., 2022). We find that this thesis is, at best, an oversimplification. Not only have we found that we can edit the expression of certain linguistic phenomena using the same model editing methods but, through a more comprehensive evaluation, we have found that the KN thesis does not adequately explain the process of factual expression. While it is possible to argue that the MLP weights store complex patterns that are interpretable both syntactically and semantically, these patterns do not constitute "knowledge." To gain a more comprehensive understanding of the knowledge representation process, we must look beyond the MLP weights and explore recent models' complex layer structures and attention mechanisms.


title: Precision Enhancement in Sustained Visual Attention Training Platforms: Offline EEG Signal Analysis for Classifier Fine-Tuning

abstract: In this study, a novel open-source brain-computer interface (BCI) platform was developed to decode scalp electroencephalography (EEG) signals associated with sustained attention. The EEG signal collection was conducted using a wireless headset during a sustained visual attention task, where participants were instructed to discriminate between composite images superimposed with scenes and faces, responding only to the relevant subcategory while ignoring the irrelevant ones. Seven volunteers participated in this experiment. The data collected were subjected to analyses through event-related potential (ERP), Hilbert Transform, and Wavelet Transform to extract temporal and spectral features. For each participant, utilizing its extracted features, personalized Support Vector Machine (SVM) and Random Forest (RF) models with tuned hyperparameters were developed. The models aimed to decode the participant's attentional state towards the face and scene stimuli. The SVM models achieved a higher average accuracy of 80\% and an Area Under the Curve (AUC) of 0.86, while the RF models showed an average accuracy of 78\% and AUC of 0.8. This work suggests potential applications for the evaluation of visual attention and the development of closed-loop brainwave regulation systems in the future.


title: A Test of Spectroscopic Age Estimates of White Dwarfs using Wide WD+WD Binaries

abstract: White dwarf stars have been used for decades as precise and accurate age indicators. This work presents a test of the reliability of white dwarf total ages when spectroscopic observations are available. We conduct follow-up spectroscopy of 148 individual white dwarfs in widely separated double-white-dwarf (WD+WD) binaries. We supplement the sample with 264 previously published white dwarf spectra, as well as 1292 high-confidence white dwarf spectral types inferred from their Gaia XP spectra. We find that spectroscopic fits to optical spectra do not provide noticeable improvement to the age agreement among white dwarfs in wide WD+WD binaries. The median age agreement is $\approx$$1.5\sigma$ for both photometrically and spectroscopically determined total ages, for pairs of white dwarfs with each having a total age uncertaintiy $<$ 20\%. For DA white dwarfs, we further find that photometrically determined atmospheric parameters from spectral energy distribution fitting give better total age agreement ($1.0\sigma$, 0.2 Gyr, or 14\% of the binary's average total age) compared to spectroscopically determined parameters from Balmer-line fits (agreement of $1.5\sigma$, 0.3 Gyr, or 28\% of binary's average total age). We find further evidence of a significant merger fraction among wide WD+WD binaries: across multiple spectroscopically identified samples, roughly 20\% are inconsistent with a monotonically increasing initial-final mass relation. We recommend the acquisition of an identification spectrum to ensure the correct atmospheric models are used in photometric fits in order to determine the most accurate total age of a white dwarf star.


title: Meta-intransitive Systems of Independent Random Variables and Fractals

abstract: We construct meta-intransitive systems of independent random variables of any finite order from basic tuple of random variables which generalize intransitive dice. Under this construction, the equality of some linear functional is preserved, provided this equality hold for the basic variables. This scheme is also extended to infinite-order systems, which are shown to be fractals, and for which the similarity dimension can be evaluated. The problem of the upper bound for this dimension is posed.


title: Learning Robot Soccer from Egocentric Vision with Deep Reinforcement Learning

abstract: We apply multi-agent deep reinforcement learning (RL) to train end-to-end robot soccer policies with fully onboard computation and sensing via egocentric RGB vision. This setting reflects many challenges of real-world robotics, including active perception, agile full-body control, and long-horizon planning in a dynamic, partially-observable, multi-agent domain. We rely on large-scale, simulation-based data generation to obtain complex behaviors from egocentric vision which can be successfully transferred to physical robots using low-cost sensors. To achieve adequate visual realism, our simulation combines rigid-body physics with learned, realistic rendering via multiple Neural Radiance Fields (NeRFs). We combine teacher-based multi-agent RL and cross-experiment data reuse to enable the discovery of sophisticated soccer strategies. We analyze active-perception behaviors including object tracking and ball seeking that emerge when simply optimizing perception-agnostic soccer play. The agents display equivalent levels of performance and agility as policies with access to privileged, ground-truth state. To our knowledge, this paper constitutes a first demonstration of end-to-end training for multi-agent robot soccer, mapping raw pixel observations to joint-level actions, that can be deployed in the real world. Videos of the game-play and analyses can be seen on our website https://sites.google.com/view/vision-soccer .


title: Generalized Solution for Double-Porosity Flow through a Graded Excavation Damaged Zone

abstract: Prediction of flow to boreholes or excavations in fractured low-permeability rocks is important for resource extraction and disposal or sequestration activities. Analytical solutions for fluid pressure and flowrate, when available, are powerful, insightful, and efficient tools enabling parameter estimation and uncertainty quantification. A flexible porous media flow solution for arbitrary physical dimension is derived and extended to double porosity for converging radial flow when permeability and porosity decrease radially as a power law away from a borehole or opening. This distribution can arise from damage accumulation due to stress relief associated with drilling or mining. The single-porosity graded conductivity solution was initially found for heat conduction, the arbitrary dimension flow solution comes from hydrology, and the solution with both arbitrary dimension and graded permeability distribution appeared in reservoir engineering. These existing solutions are here combined and extended to two implementations of the double-porosity conceptual model, for both a simpler thin-film mass transfer and more physically realistic diffusion between fracture and matrix. This work presents a new specified-flowrate solution with wellbore storage for the simpler double-porosity model, and a new more physically realistic solution for any wellbore boundary condition. A new closed-form expression is derived for the matrix diffusion solution (applicable to both homogeneous and graded problems), improving on previous infinite series expressions.


title: On the thermodynamics of two-level Fermi and Bose nanosystems

abstract: Equations are obtained for the quantum distribution functions over discrete states in systems of non-interacting fermions and bosons with an arbitrary, including small, number of particles. The case of systems with two levels is considered in detail. The temperature dependences of entropy, heat capacities and pressure in two-level Fermi and Bose systems are calculated for various multiplicities of degeneracy of levels.


title: Extreme values of $L$-functions of newforms

abstract: In 2008, Soundararajan showed that there exists a normalized Hecke eigenform $f$ of weight $k$ and level one such that $$ L(1/2, f ) ~\geq~ \exp\Bigg( (1 + o(1)) \sqrt{\frac{2\log k}{\log\log k} }\Bigg) $$ for sufficiently large $k \equiv 0 \pmod{4}$. In this note, we show that for any $\epsilon>0$ and for all sufficiently large $k \equiv 0 \pmod{4}$, the number of normalized Hecke eigenforms of weight $k$ and level one for which $$ L(1/2, f ) ~\geq~ \exp\left(1.41\sqrt{ \frac{ \log k }{\log\log k} }\right) $$ is $\gg_{\epsilon} k^{1-\epsilon}$. For an odd fundamental discriminant $D$, let $B_{k}(|D|)$ be the set of all cuspidal normalized Hecke eigenforms of weight $k$ and level dividing $|D|$. When the real primitive Dirichlet character $\chi_D$ satisfies $\chi_D(-1)= i^k$, we investigate the number of $f \in B_{k}(|D|)$ for which $L(1/2, f \otimes \chi_D)$ takes extremal values.


title: CALRec: Contrastive Alignment of Generative LLMs For Sequential Recommendation

abstract: Traditional recommender systems such as matrix factorization methods rely on learning a shared dense embedding space to represent both items and user preferences. Sequence models such as RNN, GRUs, and, recently, Transformers have also excelled in the task of sequential recommendation. This task requires understanding the sequential structure present in users' historical interactions to predict the next item they may like. Building upon the success of Large Language Models (LLMs) in a variety of tasks, researchers have recently explored using LLMs that are pretrained on vast corpora of text for sequential recommendation. To use LLMs in sequential recommendations, both the history of user interactions and the model's prediction of the next item are expressed in text form. We propose CALRec, a two-stage LLM finetuning framework that finetunes a pretrained LLM in a two-tower fashion using a mixture of two contrastive losses and a language modeling loss: the LLM is first finetuned on a data mixture from multiple domains followed by another round of target domain finetuning. Our model significantly outperforms many state-of-the-art baselines (+37% in Recall@1 and +24% in NDCG@10) and systematic ablation studies reveal that (i) both stages of finetuning are crucial, and, when combined, we achieve improved performance, and (ii) contrastive alignment is effective among the target domains explored in our experiments.


title: How to generate all possible rational Wilf-Zeilberger forms?

abstract: Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for proving and discovering convergence acceleration formulas. This paper presents a structural description of all possible rational such forms, which can be viewed as an additive analog of the classical Ore-Sato theorem. Based on this analog, we show a structural decomposition of so-called multivariate hyperarithmetic terms, which extend multivariate hypergeometric terms to the additive setting.


title: Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles

abstract: Agreement protocols are crucial in various emerging applications, spanning from distributed (blockchains) oracles to fault-tolerant cyber-physical systems. In scenarios where sensor/oracle nodes measure a common source, maintaining output within the convex range of correct inputs, known as convex validity, is imperative. Present asynchronous convex agreement protocols employ either randomization, incurring substantial computation overhead, or approximate agreement techniques, leading to high $\mathcal{\tilde{O}}(n^3)$ communication for an $n$-node system. This paper introduces Delphi, a deterministic protocol with $\mathcal{\tilde{O}}(n^2)$ communication and minimal computation overhead. Delphi assumes that honest inputs are bounded, except with negligible probability, and integrates agreement primitives from literature with a novel weighted averaging technique. Experimental results highlight Delphi's superior performance, showcasing a significantly lower latency compared to state-of-the-art protocols. Specifically, for an $n=160$-node system, Delphi achieves an 8x and 3x improvement in latency within CPS and AWS environments, respectively.


title: Swimming efficiency in viscosity gradients

abstract: In this note, we study the effect of viscosity gradients on the energy dissipated by the motion of microswimmers and the associated efficiency of that motion. Using spheroidal squirmer model swimmers in weak linearly varying viscosity fields, we find that efficiency depends on whether they generate propulsion from the back (pushers) or the front (pullers). Pushers are faster and more efficient when moving down gradients but slower and less efficient moving up viscosity gradients, and the opposite is true for pullers. However, both pushers and pullers display negative viscotaxis, therefore pushers dynamically tend to the most efficient orientation while pullers the least. We also evaluate the effect of shape on power expenditure and efficiency when swimming in viscosity gradients and find that in general the change in both due to gradients monotonically decreases with increasing slenderness. This work shows how shape and gait play an important role in determining dynamics and efficiency in inhomogeneous environments, and demonstrating that both efficiency minimizing and maximizing stable dynamical states are possible.


title: Volume inequalities for flow polytopes of full directed acyclic graphs

abstract: Given a finite directed acyclic graph, the space of non-negative unit flows is a lattice polytope called the flow polytope of the graph. We consider the volumes of flow polytopes for directed acyclic graphs on $n+1$ vertices with a fixed degree sequence, with a focus on graphs having in- and out-degree two on every internal vertex. When the out-degree of the source is three and the number of vertices is fixed, we prove that there is an interchange operation on the edge set of these graphs that induces a partial order on the graphs isomorphic to a Boolean algebra. Further, we prove that as we move up through this partial order, the volumes of the corresponding flow polytopes weakly decrease. Finally, we show that each such graph is strongly planar and we provide an alternative interpretation of our results in the context of linear extensions for posets that are bipartite non-crossing trees.


title: Almost-idempotent quantum channels and approximate $C^*$-algebras

abstract: Let $\Phi$ be a unital completely positive map on the space of operators on some Hilbert space. We assume that $\Phi$ is almost idempotent, namely, $\|\Phi^2-\Phi\|_{\mathrm{cb}} \le\eta$, and construct a corresponding "$\varepsilon$-$C^*$ algebra" for $\varepsilon=O(\eta)$. This type of structure has the axioms of a unital $C^*$ algebra but the associativity and other axioms involving the multiplication and the unit hold up to $\varepsilon$. We further prove that any finite-dimensional $\varepsilon$-$C^*$ algebra is $O(\varepsilon)$-isomorphic to a genuine $C^*$ algebra. These bounds are universal, i.e.\ do not depend on the dimensionality or other parameters.


title: Bridging the Gap: A Study of AI-based Vulnerability Management between Industry and Academia

abstract: Recent research advances in Artificial Intelligence (AI) have yielded promising results for automated software vulnerability management. AI-based models are reported to greatly outperform traditional static analysis tools, indicating a substantial workload relief for security engineers. However, the industry remains very cautious and selective about integrating AI-based techniques into their security vulnerability management workflow. To understand the reasons, we conducted a discussion-based study, anchored in the authors' extensive industrial experience and keen observations, to uncover the gap between research and practice in this field. We empirically identified three main barriers preventing the industry from adopting academic models, namely, complicated requirements of scalability and prioritization, limited customization flexibility, and unclear financial implications. Meanwhile, research works are significantly impacted by the lack of extensive real-world security data and expertise. We proposed a set of future directions to help better understand industry expectations, improve the practical usability of AI-based security vulnerability research, and drive a synergistic relationship between industry and academia.


title: Internet of Paint (IoP): Channel Modeling and Capacity Analysis for Terahertz Electromagnetic Nanonetworks Embedded in Paint

abstract: This work opens a new chapter in the 100,000 year-old concept of paint, by leveraging innovations in nano-technology in the sub-THz frequency range. More specifically, the groundbreaking concept of Internet of Paint (IoP) is introduced along with a comprehensive channel model and a capacity analysis for nano-scale radios embedded in paint and communicating through paint. Nano-network devices, integrated within a paint medium, communicate via a multipath strategy, encompassing direct waves, reflections from interfaces, and lateral wave propagation. The evaluation incorporates three distinct paint types to assess path losses, received powers, and channel capacity. Analysis of path loss indicates a slight non-linear increase with both frequency and Line of Sight (LoS) distance between transceivers. Notably, paints with high refractive indexes result in the highest path loss. Moreover, burying transceivers at similar depths near the Air-Paint interface showcases promising performance of lateral waves with increasing LoS distance. Increasing paint layer depth leads to amplified attenuation, while total received power exhibits promising results when in close proximity to the Air-Paint interface but steeply declines with burial depth. Additionally, a substantial reduction in channel capacity is observed with LoS distance and burial depth, so transceivers need to be close together and in proximity of the A-P interface to communicate effectively. Comparing paint and air mediums, IoP demonstrates approximately two orders of magnitude reduction in channel capacity compared to air-based communication channels. This paper provides valuable insights into the potential of IoP communication within paint mediums and offers a foundation for further advancements in this emerging field.


title: FastLloyd: Federated, Accurate, Secure, and Tunable $k$-Means Clustering with Differential Privacy

abstract: We study the problem of privacy-preserving $k$-means clustering in the horizontally federated setting. Existing federated approaches using secure computation, suffer from substantial overheads and do not offer output privacy. At the same time, differentially private (DP) $k$-means algorithms assume a trusted central curator and do not extend to federated settings. Naively combining the secure and DP solutions results in a protocol with impractical overhead. Instead, our work provides enhancements to both the DP and secure computation components, resulting in a design that is faster, more private, and more accurate than previous work. By utilizing the computational DP model, we design a lightweight, secure aggregation-based approach that achieves four orders of magnitude speed-up over state-of-the-art related work. Furthermore, we not only maintain the utility of the state-of-the-art in the central model of DP, but we improve the utility further by taking advantage of constrained clustering techniques.


title: ROS2swarm - A ROS 2 Package for Swarm Robot Behaviors

abstract: Developing reusable software for mobile robots is still challenging. Even more so for swarm robots, despite the desired simplicity of the robot controllers. Prototyping and experimenting are difficult due to the multi-robot setting and often require robot-robot communication. Also, the diversity of swarm robot hardware platforms increases the need for hardware-independent software concepts. The main advantages of the commonly used robot software architecture ROS 2 are modularity and platform independence. We propose a new ROS 2 package, ROS2swarm, for applications of swarm robotics that provides a library of ready-to-use swarm behavioral primitives. We show the successful application of our approach on three different platforms, the TurtleBot3 Burger, the TurtleBot3 Waffle Pi, and the Jackal UGV, and with a set of different behavioral primitives, such as aggregation, dispersion, and collective decision-making. The proposed approach is easy to maintain, extendable, and has good potential for simplifying swarm robotics experiments in future applications.


title: Dynamic Single Facility Location under Cumulative Customer Demand

abstract: Dynamic facility location problems aim at placing one or more valuable resources over a planning horizon to meet customer demand. Existing literature commonly assumes that customer demand quantities are defined independently for each time period. In many planning contexts, however, unmet demand carries over to future time periods. Unmet demand at some time periods may therefore affect decisions of subsequent time periods. This work studies a novel location problem, where the decision maker relocates a single temporary facility over time to capture cumulative customer demand. We propose two mixed-integer programming models for this problem, and show that one of them has a tighter continuous relaxation and allows the representation of more general customer demand behaviour. We characterize the computational complexity for this problem, and analyze which problem characteristics result in NP-hardness. We then propose an exact branch-and-Benders-cut method, and show how optimality cuts can be computed efficiently through an analytical procedure. Computational experiments show that our method is approximately 30 times faster than solving the tighter formulation directly. Our results also quantify the benefit of accounting for cumulative customer demand within the optimization framework, since the corresponding planning solutions perform much better than those obtained by ignoring cumulative demand or employing myopic heuristics.


title: Stability in the Banach isometric conjecture and nearly monochromatic Finsler surfaces

abstract: The Banach isometric conjecture asserts that a normed space with all of its $k$-dimensional subspaces isometric, where $k\geq 2$, is Euclidean. The first case of $k=2$ is classical, established by Auerbach, Mazur and Ulam using an elegant topological argument. We refine their method to arrive at a stable version of their result: if all $2$-dimensional subspaces are almost isometric, then the space is almost Euclidean. Furthermore, we show that a $2$-dimensional surface, which is not a torus or a Klein bottle, equipped with a near-monochromatic Finsler metric, is approximately Riemannian. The stability is quantified explicitly using the Banach-Mazur distance.


title: Learning minimal volume uncertainty ellipsoids

abstract: We consider the problem of learning uncertainty regions for parameter estimation problems. The regions are ellipsoids that minimize the average volumes subject to a prescribed coverage probability. As expected, under the assumption of jointly Gaussian data, we prove that the optimal ellipsoid is centered around the conditional mean and shaped as the conditional covariance matrix. In more practical cases, we propose a differentiable optimization approach for approximately computing the optimal ellipsoids using a neural network with proper calibration. Compared to existing methods, our network requires less storage and less computations in inference time, leading to accurate yet smaller ellipsoids. We demonstrate these advantages on four real-world localization datasets.


title: Enhancing Ionic Conductivity of ceramic Na3Zr2Si2PO12 via NaI Substitution

abstract: The high ionic conducting sodium superionic conductor Na3Zr2Si2PO12 -NaI composites have been prepared successfully via solid state reaction route. As the NaI content increases, the ionic conductivity significantly changes. The composites with 4% NaI show a maximum ionic conductivity of ~ 3 x 10-4 {\Omega}-1cm-1 at 200oC which is one order of magnitude rise as compared to pristine sample. Further crystal structure and surface morphology also reveal the formation of a glassy phase due to the presence of Na-Si-P-O-I interaction.


title: On extreme values of quadratic twists of Dirichlet-type $L$-functions

abstract: In a recent work arXiv:2004.14450, it has been shown that $L$-functions associated with arbitrary non-zero cusp forms take large values at the central critical point. The goal of this note is to derive analogous results for twists of Dirichlet-type functions. More precisely, for an odd integer $q >1$, let $F$ be a non-zero $\mathbb{C}$-linear combination of primitive, complex, even Dirichlet characters of conductor $q$. We show that for any $\epsilon>0$ and sufficiently large $X$, there are $\gg X^{1-\epsilon}$ fundamental discriminants $8d$ with $X < d \leq 2X$ and ${(d, 2q)=1}$ such that ${|L(1/2, F \otimes \chi_{8d})| }$ is large.


title: Local existence of solutions to a nonlinear autonomous PDE model for population dynamics with nonlocal transport and competition

abstract: In this paper, we prove that a particular nondegenerate, nonlinear, autonomous parabolic partial differential equation with a nonlocal mass transfer admits the local existence of classical solutions. The equation was developed to qualitatively describe temporal changes in population densities over space through accounting for location desirability and fast, long-range travel. Beginning with sufficiently regular initial conditions, through smoothing the PDE and employing energy arguments, we obtain a sequence of approximators converging to a classical solution.


title: Energy Price and Workload Related Dispatching Rule: Balancing Energy and Production Logistics Costs

abstract: In response to the escalating need for sustainable manufacturing practices amid fluctuating energy prices, this study introduces a novel dispatching rule that integrates energy price and workload considerations with Material Requirement Planning (MRP) to optimize production logistics and energy costs. The dispatching rule effectively adjusts machine operational states, i.e. turn the machine on or off, based on current energy prices and workload. By developing a stochastic multi-item multi-stage job shop simulation model, this research evaluates the performance of the dispatching rule through a comprehensive full-factorial simulation. Findings indicate a significant enhancement in shop floor decision-making through reduced costs. Moreover, the analysis of the Pareto front reveals trade-offs between minimizing energy and production logistics costs, aiding decision-makers in selecting optimal configurations.


title: The Immersed Inextensible Interface Problem in 2D Stokes Flow

abstract: We study the dynamics of an inextensible, closed interface subject to bending forces and immersed in a two-dimensional and incompressible Stokes fluid. We formulate the problem as a boundary integral equation in terms of the tangent angle and demonstrate the well-posedness in suitable time-weighted spaces of the resulting nonlinear and nonlocal system. The solution is furthermore shown to be smooth for positive times. Numerical computations are performed to initiate the study of the long-time behavior of the interface.


title: Active flux methods for hyperbolic conservation laws -- flux vector splitting and bound-preservation: One-dimensional case

abstract: The active flux (AF) method is a compact high-order finite volume method that evolves cell averages and point values at cell interfaces independently. Within the method of lines framework, the point value can be updated based on Jacobian splitting (JS), incorporating the upwind idea. However, such JS-based AF methods encounter transonic issues for nonlinear problems due to inaccurate upwind direction estimation. This paper proposes to use flux vector splitting for the point value update, offering a natural and uniform remedy to the transonic issue. To improve robustness, this paper also develops bound-preserving (BP) AF methods for one-dimensional hyperbolic conservation laws. Two cases are considered: preservation of the maximum principle for the scalar case, and preservation of positive density and pressure for the compressible Euler equations. The update of the cell average in high-order AF methods is rewritten as a convex combination of using the original high-order fluxes and robust low-order (local Lax-Friedrichs or Rusanov) fluxes, and the desired bounds are enforced by choosing the right amount of low-order fluxes. A similar blending strategy is used for the point value update. Several challenging benchmark tests are conducted to verify the accuracy, BP properties, and shock-capturing ability of the methods.


title: Confusion concerning the extrapolated endpoint. When will it ever end?

abstract: In a paper on ``the Brownian motion analog of the well-known Milne problem in radiative transfer theory'' [\textit{J Stat Phys} 25 (1981) 569--82], Burschka and Titulaer reported: ``The value we find for this `Milne extrapolation length' is, in the appropriate dimensionless units, approximately twice the value found in the radiative transfer problem.'' A study by Ziff [\textit{J Stat Phys} 65 (1991) 1217--33], concerned with the absorption of particles executing a Rayleigh flight (randomly directed displacements of equal length $l$) by a black sphere of radius $R$, led to a value for the extrapolation length $\gamma$ about half as small as the benchmark result (for $R\gg l)$. The first discrepancy is shown to result from the disparity of the two length scales; the second, from the zero variance of the jump lengths. Ziff's finding that $\gamma$ is independent of $R$ for $0<l\leq 2R$, cannot be reconciled with studies based on the Lorentz-Boltzmann equation and the Klein-Kramers equation.


title: Quality-Weighted Vendi Scores And Their Application To Diverse Experimental Design

abstract: Experimental design techniques such as active search and Bayesian optimization are widely used in the natural sciences for data collection and discovery. However, existing techniques tend to favor exploitation over exploration of the search space, which causes them to get stuck in local optima. This ``collapse" problem prevents experimental design algorithms from yielding diverse high-quality data. In this paper, we extend the Vendi scores -- a family of interpretable similarity-based diversity metrics -- to account for quality. We then leverage these quality-weighted Vendi scores to tackle experimental design problems across various applications, including drug discovery, materials discovery, and reinforcement learning. We found that quality-weighted Vendi scores allow us to construct policies for experimental design that flexibly balance quality and diversity, and ultimately assemble rich and diverse sets of high-performing data points. Our algorithms led to a 70%-170% increase in the number of effective discoveries compared to baselines.

categories: stat.ML cond-mat.mtrl-sci cs.LG q-bio.BM


title: Propagation of regularity for a class of systems of real vector fields on torus

abstract: We characterize the global hypoellipticity, almost hypoellipticity and solvability for a class of systems of real vector fields on the (n + 1)-dimensional torus as well as the same properties about the sum of squares associated to the system. The key result is a theorem about propagation of regularity for solutions of the system.


title: Time-dependent Aharonov-Bohm type topological effects on dipoles

abstract: Exploring the time-dependent characteristics of AB-type effects holds significant importance in contemporary physics and its practical applications. Here, we delve into the investigation of time-dependent topological effects emerging in AB-type experimental setups. We first analyze the topological effects on magnetic dipoles moving in closed trajectories around the time-varying magnetic field source solenoid, then on electrical dipoles around a time-varying electric field source in 2+1 dimensions without any approximation. Last, we discuss the characteristics of the topological effects by considering the identity and dualities between phases from an integrated perspective.


title: Bilinear Fronsdal currents in the $AdS_{4}$ higher-spin theory

abstract: We analyse higher-spin theory with general coupling constant $\eta$ at the second order, focusing on the gauge non-invariant vertices $\Upsilon(\omega,\omega)$, $\Upsilon(\Omega,\omega,C)$ and $\Upsilon(\omega,C)$, that are shown to generate nontrivial currents in the Fronsdal equations. Explicit expressions for the currents are found in the frame-like formalism counterpart of the TT gauge worked out in the paper. The nonlinear higher-spin theory is shown to generate all types of Metsaev's currents with the coupling constants manifestly expressed via the complex coupling constant $\eta$ of the higher-spin theory. It is shown that all currents in the higher-spin theory are conformal in the TT gauge except for those bilinear in the higher-spin gauge fields $\omega$.


title: N-Way Frequency Beamsplitter for Quantum Photonics

abstract: Optical networks are the leading platform for the transfer of information due to their low loss and ability to scale to many information channels using optical frequency modes. To fully leverage the quantum properties of light in this platform, it is desired to manipulate higher-dimensional superpositions by orchestrating linear, beamsplitter-type interactions between several channels simultaneously. We propose a method of achieving simultaneous, all-to-all coupling between N optical frequency modes via N-way Bragg-scattering four-wave mixing. By exploiting the frequency degree of freedom, additional modes can be multiplexed in an interaction medium of fixed volume and loss, avoiding the introduction of excess noise. We generalize the theory of the frequency-encoded two-mode interaction to N modes under this four-wave mixing approach and experimentally verify the quantum nature of this scheme by demonstrating three-way multiphoton interference. The two input photons are shared among three frequency modes and display interference differing from that of two classical (coherent-state) inputs. These results show the potential of our approach for the scalability of photonic quantum information processing to general N-mode systems in the frequency domain.


title: What is Sentiment Meant to Mean to Language Models?

abstract: Sentiment analysis is one of the most widely used techniques in text analysis. Recent advancements with Large Language Models have made it more accurate and accessible than ever, allowing researchers to classify text with only a plain English prompt. However, "sentiment" entails a wide variety of concepts depending on the domain and tools used. It has been used to mean emotion, opinions, market movements, or simply a general ``good-bad'' dimension. This raises a question: What exactly are language models doing when prompted to label documents by sentiment? This paper first overviews how sentiment is defined across different contexts, highlighting that it is a confounded measurement construct in that it entails multiple variables, such as emotional valence and opinion, without disentangling them. I then test three language models across two data sets with prompts requesting sentiment, valence, and stance classification. I find that sentiment labels most strongly correlate with valence labels. I further find that classification improves when researchers more precisely specify their dimension of interest rather than using the less well-defined concept of sentiment. I conclude by encouraging researchers to move beyond "sentiment" when feasible and use a more precise measurement construct.


title: Violation of Hod's Conjecture and Probing it with Optical properties of a 5-D black hole in Einstein Gauss-Bonnet Bumblebee theory of gravity

abstract: In this work, the quasinormal modes of a $5$-D black hole in Einstein Gauss-Bonnet Bumblebee theory of gravity have been investigated with the help of the Pad\'e averaged higher order WKB approximation method and the validity of Hod's conjecture has been studied. It is found that the presence of Lorentz symmetry breaking due to the Bumblebee field favours Hod's conjecture. But in the case of the Gauss-Bonnet term, an increase in the coupling parameter increases the chances of violation of Hod's conjecture. We further investigated the optical properties of the black hole {\it viz.}, shadow and emission rate. It is found that a black hole with a lower lifetime favours Hod's conjecture.


title: Natural Policy Gradient and Actor Critic Methods for Constrained Multi-Task Reinforcement Learning

abstract: Multi-task reinforcement learning (RL) aims to find a single policy that effectively solves multiple tasks at the same time. This paper presents a constrained formulation for multi-task RL where the goal is to maximize the average performance of the policy across tasks subject to bounds on the performance in each task. We consider solving this problem both in the centralized setting, where information for all tasks is accessible to a single server, and in the decentralized setting, where a network of agents, each given one task and observing local information, cooperate to find the solution of the globally constrained objective using local communication. We first propose a primal-dual algorithm that provably converges to the globally optimal solution of this constrained formulation under exact gradient evaluations. When the gradient is unknown, we further develop a sampled-based actor-critic algorithm that finds the optimal policy using online samples of state, action, and reward. Finally, we study the extension of the algorithm to the linear function approximation setting.


title: A variable diffusivity fractional Laplacian

abstract: In this paper we analyze the existence, uniqueness and regularity of the solution to the generalized, variable diffusivity, fractional Laplace equation on the unit disk in $\mathbb{R}^{2}$. For $\alpha$ the order of the differential operator, our results show that for the symmetric, positive definite, diffusivity matrix, $K(\mathbf{x})$, satisfying $\lambda_{m} \mathbf{v}^{T} \mathbf{v} \le \mathbf{v}^{T} K(\mathbf{x}) \mathbf{v} \le \lambda_{M} \mathbf{v}^{T} \mathbf{v}$, for all $\mathbf{v} \in \mathbb{R}^{2}$, $\mathbf{x} \in \Omega$, with $\lambda_{M} < \frac{\sqrt{\alpha (2 + \alpha)}}{(2 - \alpha)} \lambda_{m}$, the problem has a unique solution. The regularity of the solution is given in an appropriately weighted Sobolev space in terms of the regularity of the right hand side function and $K(\mathbf{x})$.


title: Controlled Query Evaluation through Epistemic Dependencies

abstract: In this paper, we propose the use of epistemic dependencies to express data protection policies in Controlled Query Evaluation (CQE), which is a form of confidentiality-preserving query answering over ontologies and databases. The resulting policy language goes significantly beyond those proposed in the literature on CQE so far, allowing for very rich and practically interesting forms of data protection rules. We show the expressive abilities of our framework and study the data complexity of CQE for (unions of) conjunctive queries when ontologies are specified in the Description Logic DL-Lite_R. Interestingly, while we show that the problem is in general intractable, we prove tractability for the case of acyclic epistemic dependencies by providing a suitable query rewriting algorithm. The latter result paves the way towards the implementation and practical application of this new approach to CQE.


title: Distance estimate method for Asymptotic Giant Branch stars using Infrared Spectral Energy Distributions

abstract: We present a method to estimate distances to Asymptotic Giant Branch (AGB) stars in the Galaxy, using spectral energy distributions (SEDs) in the near- and mid-infrared. By assuming that a given set of source properties (initial mass, stellar temperature, composition, and evolutionary stage) will provide a typical SED shape and brightness, sources are color-matched to a distance-calibrated template and thereafter scaled to extract the distance. The method is tested by comparing the distances obtained to those estimated from Very Long Baseline Interferometry or Gaia parallax measurements, yielding a strong correlation in both cases. Additional templates are formed by constructing a source sample likely to be close to the Galactic center, and thus with a common, typical distance for calibration of the templates. These first results provide statistical distance estimates to a set of almost 15,000 Milky Way AGB stars belonging to the Bulge Asymmetries and Dynamical Evolution (BAaDE) survey, with typical distance errors of $\pm 35$%. With these statistical distances a map of the intermediate-age population of stars traced by AGBs is formed, and a clear bar structure can be discerned, consistent with the previously reported inclination angle of 30$^\circ$ to the GC-Sun direction vector. These results motivate deeper studies of the AGB population to tease out the intermediate-age stellar distribution throughout the Galaxy, as well as determining statistical properties of the AGB population luminosity and mass-loss rate distributions.


title: Asymmetric drift in MaNGA: Mass and radially-dependent stratification rates in galaxy disks

abstract: We measure the age-velocity relationship from the lag between ionized gas and stellar tangential speeds in ~500 nearby disk galaxies from MaNGA in SDSS-IV. Selected galaxies are kinematically axisymmetric. Velocity lags are asymmetric drift, seen in the Milky Way's (MW) solar neighborhood and other Local Group galaxies; their amplitude correlates with stellar population age. The trend is qualitatively consistent in rate (d(sigma)/dt) with a simple power-law model where sigma is proportional to t^b that explains the dynamical phase-space stratification in the solar neighborhood. The model is generalized based on disk dynamical times to other radii and other galaxies. We find in-plane radial stratification parameters sigma_(0,r} (dispersion of the youngest populations) in the range of 10-40 km/s and 0.2<b_r<0.5 for MaNGA galaxies. Overall b_r increases with galaxy mass, decreases with radius for galaxies above 10.4 dex (M_solar) in stellar mass, but is ~constant with radius at lower mass. The measurement scatter indicates the stratification model is too simple to capture the complexity seen in the data, unsurprising given the many possible astrophysical processes that may lead to stellar population dynamical stratification. Nonetheless, the data show dynamical stratification is broadly present in the galaxy population, with systematic trends in mass and density. The amplitude of the asymmetric drift signal is larger for the MaNGA sample than the MW, and better represented in the mean by what is observed in the disks of M31 and M33. Either typical disks have higher surface-density or, more likely, are dynamically hotter (hence thicker) than the MW.


title: Uncertainty Quantification and Propagation in Atomistic Machine Learning

abstract: Machine learning (ML) offers promising new approaches to tackle complex problems and has been increasingly adopted in chemical and materials sciences. Broadly speaking, ML models employ generic mathematical functions and attempt to learn essential physics and chemistry from a large amount of data. Consequently, because of the lack of physical or chemical principles in the functional form, the reliability of the predictions is oftentimes not guaranteed, particularly for data far out of distribution. It is critical to quantify the uncertainty in model predictions and understand how the uncertainty propagates to downstream chemical and materials applications. Herein, we review and categorize existing uncertainty quantification (UQ) methods for atomistic ML under a united framework of probabilistic modeling with the aim of elucidating the similarities and differences between them. We also discuss performance metrics to evaluate the calibration, precision, accuracy, and efficiency of the UQ methods and techniques for model recalibration. In addition, we discuss uncertainty propagation (UP) in widely used simulation techniques in chemical and materials science, such as molecular dynamics and microkinetic modeling. We also provide remarks on the challenges and future opportunities of UQ and UP in atomistic ML.


title: Finite Sample Analysis and Bounds of Generalization Error of Gradient Descent in In-Context Linear Regression

abstract: Recent studies show that transformer-based architectures emulate gradient descent during a forward pass, contributing to in-context learning capabilities - an ability where the model adapts to new tasks based on a sequence of prompt examples without being explicitly trained or fine tuned to do so. This work investigates the generalization properties of a single step of gradient descent in the context of linear regression with well-specified models. A random design setting is considered and analytical expressions are derived for the statistical properties and bounds of generalization error in a non-asymptotic (finite sample) setting. These expressions are notable for avoiding arbitrary constants, and thus offer robust quantitative information and scaling relationships. These results are contrasted with those from classical least squares regression (for which analogous finite sample bounds are also derived), shedding light on systematic and noise components, as well as optimal step sizes. Additionally, identities involving high-order products of Gaussian random matrices are presented as a byproduct of the analysis.


title: Knowledge Graph Extension by Entity Type Recognition

abstract: Knowledge graphs have emerged as a sophisticated advancement and refinement of semantic networks, and their deployment is one of the critical methodologies in contemporary artificial intelligence. The construction of knowledge graphs is a multifaceted process involving various techniques, where researchers aim to extract the knowledge from existing resources for the construction since building from scratch entails significant labor and time costs. However, due to the pervasive issue of heterogeneity, the description diversity across different knowledge graphs can lead to mismatches between concepts, thereby impacting the efficacy of knowledge extraction. This Ph.D. study focuses on automatic knowledge graph extension, i.e., properly extending the reference knowledge graph by extracting and integrating concepts from one or more candidate knowledge graphs. We propose a novel knowledge graph extension framework based on entity type recognition. The framework aims to achieve high-quality knowledge extraction by aligning the schemas and entities across different knowledge graphs, thereby enhancing the performance of the extension. This paper elucidates three major contributions: (i) we propose an entity type recognition method exploiting machine learning and property-based similarities to enhance knowledge extraction; (ii) we introduce a set of assessment metrics to validate the quality of the extended knowledge graphs; (iii) we develop a platform for knowledge graph acquisition, management, and extension to benefit knowledge engineers practically. Our evaluation comprehensively demonstrated the feasibility and effectiveness of the proposed extension framework and its functionalities through quantitative experiments and case studies.


title: Triboelectric Pixels as building blocks for microscale and large area integration of drop energy harvesters

abstract: The ultimate step towards the exploitation of water as a clean and renewable energy source addresses the energies stored in the low frequencies of liquid flows, which demands flexible solutions to adapt to multiple scenarios, from raindrops to waves, including water moving in pipelines and microdevices. Thus, harvesting low-frequency flows is a young concept compared to solar and wind powers, where triboelectric nanogenerators have been revealed as the most promising relevant actors. However, despite widespread attempts by researchers, the drop energy harvesters' output power is still low, mainly because of the limitations in candidates endowed with ideal triboelectric and wetting properties and also the non-optimal and centimetre-scale device architecture that prevents the conversion of the complete kinetic energy of impinging drops. Herein, we disclose a microscale triboelectric nanogenerator that can harvest a high density of electrical power from drops through a single, submillisecond, long-lasting step. The mechanism relies on an instantaneous electrical capacitance variation owing to the high-speed contact of the drops with the electrodes' active area. We discuss the role of the precharged effect of the triboelectric surface in the time characteristic of the conversion event. The capacitive and microscale structure of the device is endowed with a small form factor that allows for the production of densely packed arrays. The proposed architecture can be adjusted to different liquids and scales and is compatible with a variety of triboelectric surfaces, including flexible, transparent, and thin-film approaches.


title: Discovery of merging twin quasars at z = 6.05

abstract: We report the discovery of two quasars at a redshift of $z$ = 6.05, in the process of merging. They were serendipitously discovered from the deep multi-band imaging data collected by the Hyper Suprime-Cam (HSC) Subaru Strategic Program survey. The quasars, HSC $J$121503.42$-$014858.7 (C1) and HSC $J$121503.55$-$014859.3 (C2), both have luminous ($>$10$^{43}$ erg s$^{-1}$) Ly$\alpha$ emission with a clear broad component (full width at half maximum $>$1000 km s$^{-1}$). The rest-frame ultraviolet (UV) absolute magnitudes are $M_{1450} = -23.106 \pm 0.017$ (C1) and $-22.662 \pm 0.024$ (C2). Our crude estimates of the black hole masses provide $\log (M_{\rm BH}/M_\odot) = 8.1 \pm 0.3$ in both sources. The two quasars are separated by 12 kpc in projected proper distance, bridged by a structure in the rest-UV light suggesting that they are undergoing a merger. This pair is one of the most distant merging quasars reported to date, providing crucial insight into galaxy and black hole build-up in the hierarchical structure formation scenario. A companion paper will present the gas and dust properties captured by Atacama Large Millimeter/submillimeter Array observations, which provide additional evidence for and detailed measurements of the merger and also demonstrate that the two sources are not gravitationally-lensed images of a single quasar.


title: ProFLingo: A Fingerprinting-based Intellectual Property Protection Scheme for Large Language Models

abstract: Large language models (LLMs) have attracted significant attention in recent years. Due to their "Large" nature, training LLMs from scratch consumes immense computational resources. Since several major players in the artificial intelligence (AI) field have open-sourced their original LLMs, an increasing number of individual researchers and smaller companies are able to build derivative LLMs based on these open-sourced models at much lower costs. However, this practice opens up possibilities for unauthorized use or reproduction that may not comply with licensing agreements, and fine-tuning can change the model's behavior, thus complicating the determination of model ownership. Current intellectual property (IP) protection schemes for LLMs are either designed for white-box settings or require additional modifications to the original model, which restricts their use in real-world settings. In this paper, we propose ProFLingo, a black-box fingerprinting-based IP protection scheme for LLMs. ProFLingo generates queries that elicit specific responses from an original model, thereby establishing unique fingerprints. Our scheme assesses the effectiveness of these queries on a suspect model to determine whether it has been derived from the original model. ProFLingo offers a non-invasive approach, which neither requires knowledge of the suspect model nor modifications to the base model or its training process. To the best of our knowledge, our method represents the first black-box fingerprinting technique for IP protection for LLMs. Our source code and generated queries are available at: https://github.com/hengvt/ProFLingo.


title: Markov State Model Approach to Simulate Self-Assembly

abstract: Computational modeling of assembly is challenging for many systems because their timescales vastly exceed those accessible to simulations. This article describes the MultiMSM, which is a general framework that uses Markov state models (MSMs) to enable simulating self-assembly and self-organization on timescales that are orders of magnitude longer than those accessible to brute force dynamics simulations. In contrast to previous MSM approaches to simulating assembly, the framework describes simultaneous assembly of many clusters and the consequent depletion of free subunits or other small oligomers. The algorithm accounts for changes in transition rates as concentrations of monomers and intermediates evolve over the course of the reaction. Using two model systems, we show that the MultiMSM accurately predicts the concentrations of the full ensemble of intermediates on the long timescales required for reactions to reach equilibrium. Importantly, after constructing a MultiMSM for one system concentration, a wide range of other concentrations can be simulated without any further sampling. This capability allows for orders of magnitude additional speed up. In addition, the method enables highly efficient calculation of quantities such as free energy profiles, nucleation timescales, flux along the ensemble of assembly pathways, and entropy production rates. Identifying contributions of individual transitions to entropy production rates reveals sources of kinetic traps. The method is broadly applicable to systems with equilibrium or nonequilibrium dynamics, and is trivially parallelizable and thus highly scalable.


title: Merging gas-rich galaxies that harbor low-luminosity twin quasars at z = 6.05: a promising progenitor of the most luminous quasars

abstract: We present ALMA [CII] 158 $\mu$m line and underlying far-infrared continuum emission observations ($0''.57 \times 0''.46$ resolution) toward a quasar-quasar pair system recently discovered at $z = 6.05$ (Matsuoka et al. 2024). The quasar nuclei (C1 and C2) are very faint ($M_{\rm 1450} \gtrsim -23$ mag), but we detect very bright [CII] emission bridging the 12 kpc between the two objects and extending beyond them (total luminosity $L_{\rm [CII]} \simeq 6 \times 10^9~L_\odot$). The total star formation rate of the system is $\sim 100$ to 550 $M_\odot$ yr$^{-1}$, with a [CII]-based total gas mass of $\sim 10^{11}~M_\odot$. The dynamical masses of the two galaxies are large ($\sim 9 \times 10^{10}~M_\odot$ for C1 and $\sim 5 \times 10^{10}~M_\odot$ for C2). There is a smooth velocity gradient in [CII], indicating that these quasars are a tidally interacting system. We identified a dynamically distinct, fast [CII] component around C1. Detailed inspection of the line spectrum reveals the presence of a broad wing component, which we interpret as the indication of fast outflows with a velocity of $\sim 600$ km s$^{-1}$. The expected mass loading factor of the outflows, after accounting for multiphase gas, would be $\gtrsim 3-8$, as expected for an AGN-driven outflow. Hydrodynamic simulations in the literature predicted that this pair will evolve to a luminous ($M_{\rm 1450} \lesssim -26$ mag), starbursting ($\gtrsim 1000~M_\odot$ yr$^{-1}$) quasar after coalescence, one of the most extreme populations in the early universe.


title: Generating functional of correlators of twist-$2$ operators in $\mathcal{N} = 1$ SUSY Yang-Mills theory, II

abstract: The present paper is the second installment, where we compute the generating functional of correlators of collinear twist-$2$ operators that enter the components of unbalanced superfields -- i.e., superfields with an unequal number of dotted and undotted indices in their spinor representation -- in $\mathcal{N} = 1$ SUSY SU($N$) YM theory in Minkowskian and Euclidean space-time, in the conformal limit and renormalization-group improved form, and to the leading and next-to-leading order in the large-$N$ expansion. The corresponding generating functional of correlators of balanced superfields has been worked out in the first installment. Hence, our large-$N$ calculation sets strong ultraviolet asymptotic constraints on the nonperturbative solution of large-$N$ $\mathcal{N} = 1$ SUSY YM theory that may be a pivotal guide for the search of such a solution.


title: Spectrum of Primordial Gravitational Waves in Presence of a Cosmic String

abstract: In this paper we consider an inflating universe with long straight cosmic string along z-axis. We show that the effect of cosmic string can be taken as a perturbation on the background of FRW metric. Then by doing cosmological perturbations on this inflating cosmic string background, we find linearized Einstein field equations. We show that at leading order (ignoring the mixing terms of cosmic string perturbations with gravitational tensor perturbations), the cosmic string appears as an inhomogeneous term on the right hand side of wave equation of tensor perturbations . Then by finding analytical solution of the wave equation for slow-roll inflation, we show how it effects on the spectrum of primordial gravitational waves.


title: Sources of low-frequency $\delta^{18}$O variability in coastal ice cores from Dronning Maud Land

abstract: The low-frequency variability of the $\delta^{18}$O recorded in ice cores (FK17 and TIR18) recently drilled at two different locations in Dronning Maud Land (Antarctica), is investigated using multi-taper spectral method and singular spectrum analysis. Multiple dominant peaks emerge in these records with periods between 3 and 20 years. The two sites show distinct spectral signatures, despite their relative proximity in space (about 100 km apart), suggesting that different processes are involved in generating the variability at these two sites. In order to clarify which processes are acting on $\delta^{18}$O at these two locations, the impact of several climate indices as well as sea ice area is investigated using a causal method, known as the Liang-Kleeman rate of information transfer. The analysis of the origin of this low-frequency variability from external sources reveals that El Ni\~no-Southern Oscillation (ENSO), the Pacific Decadal Oscillation (PDO), the Southern Annular Mode (SAM), the Dipole Mode Index (DMI) and the sea ice area display important causal influences on $\delta^{18}$O at FK17. For TIR18, the main influences are from ENSO, PDO, DMI, the sea ice area, and the Atlantic Multidecadal Oscillation (AMO), revealing the complexity of the interactions in Dronning Maud Land. The two locations share several drivers, but also show local specificities potentially linked to ocean proximity and differences in air mass trajectories. The implication of these findings on the low-frequency variability in the two ice cores is discussed.


title: Semantic Scaling: Bayesian Ideal Point Estimates with Large Language Models

abstract: This paper introduces "Semantic Scaling," a novel method for ideal point estimation from text. I leverage large language models to classify documents based on their expressed stances and extract survey-like data. I then use item response theory to scale subjects from these data. Semantic Scaling significantly improves on existing text-based scaling methods, and allows researchers to explicitly define the ideological dimensions they measure. This represents the first scaling approach that allows such flexibility outside of survey instruments and opens new avenues of inquiry for populations difficult to survey. Additionally, it works with documents of varying length, and produces valid estimates of both mass and elite ideology. I demonstrate that the method can differentiate between policy preferences and in-group/out-group affect. Among the public, Semantic Scaling out-preforms Tweetscores according to human judgement; in Congress, it recaptures the first dimension DW-NOMINATE while allowing for greater flexibility in resolving construct validity challenges.


title: From quantum difference equation to Dubrovin connection of affine type A quiver varieties

abstract: This is the continuation of the article \cite{Z23}. In this article we will give a detailed analysis of the quantum difference equation of the equivariant $K$-theory of the affine type $A$ quiver varieties. We will give a good representation of the quantum difference operator $\mathbf{M}_{\mathcal{L}}(z)$ such that the monodromy operator $\mathbf{B}_{\mathbf{m}}(z)$in the formula can be written in the $U_{q}(\mathfrak{sl}_2)$-form or in the $U_{q}(\hat{\mathfrak{gl}}_1)$-form. We also give the detailed analysis of the connection matrix for the quantum difference equation in the nodal limit $p\rightarrow0$. Using these two results, we prove that the degeneration limit of the quantum difference equation is the Dubrovin connection for the quantum cohomology of the affine type $A$ quiver varieties, and the monodromy representation for the Dubrovin connection is generated by the monodromy operators $\mathbf{B}_{\mathbf{m}}$.


title: Nonlinear magnetic sensing with hybrid nitrogen-vacancy/magnon systems

abstract: Magnetic sensing beyond linear regime could broaden the frequency range of detectable magnetic fields, which is crucial to various microwave and quantum applications. Recently, nonlinear interactions in diamond nitrogen-vacancy (NV) centers, one of the most extensively studied quantum magnetic sensors, are proposed to realize magnetic sensing across arbitrary frequencies. In this work, we enhance these capabilities by exploiting the nonlinear spin dynamics in hybrid systems of NV centers and ferri- or ferro-magnetic (FM) thin films. We study the frequency mixing effect in the hybrid NV/magnon systems, and demonstrate that the introduction of FM not only amplifies the intensity of nonlinear resonance signals that are intrinsic to NV spins, but also enables novel frequency mixings through parametric pumping and nonlinear magnon scattering effects. The discovery and understanding of the magnetic nonlinearities in hybrid NV/magnon systems position them as a prime candidate for magnetic sensing with a broad frequency range and high tunablity, particularly meaningful for nanoscale, dynamical, and non-invasive materials characterization.


title: Generalizing Orthogonalization for Models with Non-Linearities

abstract: The complexity of black-box algorithms can lead to various challenges, including the introduction of biases. These biases present immediate risks in the algorithms' application. It was, for instance, shown that neural networks can deduce racial information solely from a patient's X-ray scan, a task beyond the capability of medical experts. If this fact is not known to the medical expert, automatic decision-making based on this algorithm could lead to prescribing a treatment (purely) based on racial information. While current methodologies allow for the "orthogonalization" or "normalization" of neural networks with respect to such information, existing approaches are grounded in linear models. Our paper advances the discourse by introducing corrections for non-linearities such as ReLU activations. Our approach also encompasses scalar and tensor-valued predictions, facilitating its integration into neural network architectures. Through extensive experiments, we validate our method's effectiveness in safeguarding sensitive data in generalized linear models, normalizing convolutional neural networks for metadata, and rectifying pre-existing embeddings for undesired attributes.


title: SSI4IoT: Unlocking the Potential of IoT Tailored Self-Sovereign Identity

abstract: The emerging Self-Sovereign Identity (SSI) techniques, such as Decentralized Identifiers (DIDs) and Verifiable Credentials (VCs), move control of digital identity from conventional identity providers to individuals and lay down the foundation for people, organizations, and things establishing rich digital relationship. The existing applications of SSI mainly focus on creating person-to-person and person-to-service relationships, whereas person-to-device and device-to-device interactions have been largely overlooked. In this paper, we close this gap by identifying a number of key challenges of applying SSI to the Internet of Things (IoT) and providing a comprehensive taxonomy and usage of VCs in the IoT context with respect to their validity period, trust and interoperability level, and scope of usage. The life-cycle management of VCs as well as various optimization techniques for realizing SSI in IoT environments are also addressed in great detail. This work is a noteworthy step towards massive adoption of SSI for securing existing and future IoT applications in practice.


title: A Hybrid Monte Carlo and Deep Learning Approach for Fast and Generic Photon Beam Dose Calculation

abstract: Dosimetry is an essential tool to provide the best and safest radio-therapies to a patient. In this field, Monte-Carlo simulations are considered to be the golden standard for predicting accurately the deposited dose in the body. Such methods are very time-consuming and simpler dose calculation engines, like dose kernel approaches, were created for cases where a fast estimation is necessary. In those approaches, dose distribution maps (or dose kernel) are learned for simple beams geometry, then, a combination of numerous kernels is used to simulate more complex beams. However, those methods often lack personalization and oversimplify the human body, especially for the secondary interactions dose deposition. In this article, we explore the possibility of learning the dose kernel using convolutional neural networks to improve their accuracy towards each different human body. We also highlight the limits of such approaches.


title: Continuous Learned Primal Dual

abstract: Neural ordinary differential equations (Neural ODEs) propose the idea that a sequence of layers in a neural network is just a discretisation of an ODE, and thus can instead be directly modelled by a parameterised ODE. This idea has had resounding success in the deep learning literature, with direct or indirect influence in many state of the art ideas, such as diffusion models or time dependant models. Recently, a continuous version of the U-net architecture has been proposed, showing increased performance over its discrete counterpart in many imaging applications and wrapped with theoretical guarantees around its performance and robustness. In this work, we explore the use of Neural ODEs for learned inverse problems, in particular with the well-known Learned Primal Dual algorithm, and apply it to computed tomography (CT) reconstruction.


title: Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights

abstract: Turn-based discounted-sum games are two-player zero-sum games played on finite directed graphs. The vertices of the graph are partitioned between player 1 and player 2. Plays are infinite walks on the graph where the next vertex is decided by a player that owns the current vertex. Each edge is assigned an integer weight and the payoff of a play is the discounted-sum of the weights of the play. The goal of player 1 is to maximize the discounted-sum payoff against the adversarial player 2. These games lie in NP and coNP and are among the rare combinatorial problems that belong to this complexity class and the existence of a polynomial-time algorithm is a major open question. Since breaking the general exponential barrier has been a challenging problem, faster parameterized algorithms have been considered. If the discount factor is expressed in unary, then discounted-sum games can be solved in polynomial time. However, if the discount factor is arbitrary (or expressed in binary), but the weights are in unary, none of the existing approaches yield a sub-exponential bound. Our main result is a new analysis technique for a classical algorithm (namely, the strategy iteration algorithm) that present a new runtime bound which is $n^{O ( W^{1/4} \sqrt{n} )}$, for game graphs with $n$ vertices and maximum absolute weight of at most $W$. In particular, our result yields a deterministic sub-exponential bound for games with weights that are constant or represented in unary.


title: A Network Simulation of OTC Markets with Multiple Agents

abstract: We present a novel agent-based approach to simulating an over-the-counter (OTC) financial market in which trades are intermediated solely by market makers and agent visibility is constrained to a network topology. Dynamics, such as changes in price, result from agent-level interactions that ubiquitously occur via market maker agents acting as liquidity providers. Two additional agents are considered: trend investors use a deep convolutional neural network paired with a deep Q-learning framework to inform trading decisions by analysing price history; and value investors use a static price-target to determine their trade directions and sizes. We demonstrate that our novel inclusion of a network topology with market makers facilitates explorations into various market structures. First, we present the model and an overview of its mechanics. Second, we validate our findings via comparison to the real-world: we demonstrate a fat-tailed distribution of price changes, auto-correlated volatility, a skew negatively correlated to market maker positioning, predictable price-history patterns and more. Finally, we demonstrate that our network-based model can lend insights into the effect of market-structure on price-action. For example, we show that markets with sparsely connected intermediaries can have a critical point of fragmentation, beyond which the market forms distinct clusters and arbitrage becomes rapidly possible between the prices of different market makers. A discussion is provided on future work that would be beneficial.


title: Proximal Curriculum with Task Correlations for Deep Reinforcement Learning

abstract: Curriculum design for reinforcement learning (RL) can speed up an agent's learning process and help it learn to perform well on complex tasks. However, existing techniques typically require domain-specific hyperparameter tuning, involve expensive optimization procedures for task selection, or are suitable only for specific learning objectives. In this work, we consider curriculum design in contextual multi-task settings where the agent's final performance is measured w.r.t. a target distribution over complex tasks. We base our curriculum design on the Zone of Proximal Development concept, which has proven to be effective in accelerating the learning process of RL agents for uniform distribution over all tasks. We propose a novel curriculum, ProCuRL-Target, that effectively balances the need for selecting tasks that are not too difficult for the agent while progressing the agent's learning toward the target distribution via leveraging task correlations. We theoretically justify the task selection strategy of ProCuRL-Target by analyzing a simple learning setting with REINFORCE learner model. Our experimental results across various domains with challenging target task distributions affirm the effectiveness of our curriculum strategy over state-of-the-art baselines in accelerating the training process of deep RL agents.


title: Solar Neutrinos in Cryogenic Detectors

abstract: Coherent elastic neutrino-nucleus scattering (CE$\nu$NS) poses an irreducible background in the search for dark matter-nucleus elastic scatterings, which is commonly known as the neutrino floor. As direct dark matter search experiments keep improving their sensitivity into so far unexplored regions, they face the challenge of approaching this neutrino floor. A precise description of the CE$\nu$NS signal is therefore crucial for the description of backgrounds for future DM searches. In this work we discuss the scenario of detecting neutrinos in low-threshold, high-exposure cryogenic solid state experiments optimized for the search of low-mass dark matter. The energy range considered is completely dominated by solar neutrinos. In absence of any dark matter events, we treat solar neutrinos as the main signal of interest. We show that sensitivity to the flux of neutrinos from different production mechanisms can be achieved. In particular we investigate the sensitivity to the flux of pp and $^{7}$Be neutrinos, as well as CNO neutrinos. Furthermore, we investigate the sensitivity to dark matter signals in the presence of a solar neutrino background for different experimental scenarios, which are defined by three parameters: the target material, the energy threshold and the exposure. We show that experiments with thresholds of $\mathcal{O}$(eV) and exposures of $\mathcal{O}$(tonne-years), using CaWO$_{4}$ or Al$_{2}$O$_{3}$ targets, have discovery potential for dark matter interaction cross sections in the neutrino floor.


title: The Stagger Code for Accurate and Efficient, Radiation-Coupled MHD Simulations

abstract: We describe the Stagger Code for simulations of magneto-hydrodynamic (MHD) systems. This is a modular code with a variety of physics modules that will let the user run simulations of deep stellar atmospheres, sunspot formation, stellar chromospheres and coronae, proto-stellar disks, star formation from giant molecular clouds and even galaxy formation. The Stagger Code is efficiently and highly parallelizable, enabling such simulations with large ranges of both spatial and temporal scales. We, describe the methodology of the code, and present the most important of the physics modules, as well as its input and output variables. We show results of a number of standard MHD tests to enable comparison with other, similar codes. In addition, we provide an overview of tests that have been carried out against solar observations, ranging from spectral line shapes, spectral flux distribution, limb darkening, intensity and velocity distributions of granulation, to seismic power-spectra and the excitation of p modes. The Stagger Code has proven to be a high fidelity code with a large range of uses.


title: Hierarchically Decentralized Heterogeneous Multi-Robot Task Allocation System

abstract: With plans to send humans to the Moon and further, the supply of resources like oxygen, water, fuel, etc., can be satiated by performing In-Situ Resource Utilization (ISRU), where resources from the extra-terrestrial body are extracted to be utilized. These ISRU missions can be carried out by a Multi-Robot System (MRS). In this research, a high-level auction- based Multi-Robot Task Allocation (MRTA) system is developed for coordinating tasks amongst multiple robots with distinct capabilities. A hierarchical decentralized coordination architecture is implemented in this research to allocate the tasks amongst the robots for achieving intentional cooperation in the Multi-Robot System (MRS). 3 different policies are formulated that govern how robots should act in the multiple auction situations of the auction-based task allocation system proposed in this research, and their performance is evaluated in a 2D simulation called pyrobosim using ROS2. The decentralized coordination architecture and the auction-based MRTA make the MRS highly scalable, reliable, flexible, and robust.


title: A Survey of Few-Shot Learning for Biomedical Time Series

abstract: Advancements in wearable sensor technologies and the digitization of medical records have contributed to the unprecedented ubiquity of biomedical time series data. Data-driven models have tremendous potential to assist clinical diagnosis and improve patient care by improving long-term monitoring capabilities, facilitating early disease detection and intervention, as well as promoting personalized healthcare delivery. However, accessing extensively labeled datasets to train data-hungry deep learning models encounters many barriers, such as long-tail distribution of rare diseases, cost of annotation, privacy and security concerns, data-sharing regulations, and ethical considerations. An emerging approach to overcome the scarcity of labeled data is to augment AI methods with human-like capabilities to leverage past experiences to learn new tasks with limited examples, called few-shot learning. This survey provides a comprehensive review and comparison of few-shot learning methods for biomedical time series applications. The clinical benefits and limitations of such methods are discussed in relation to traditional data-driven approaches. This paper aims to provide insights into the current landscape of few-shot learning for biomedical time series and its implications for future research and applications.


title: Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms

abstract: We study two-player zero-sum concurrent stochastic games with finite state and action space played for an infinite number of steps. In every step, the two players simultaneously and independently choose an action. Given the current state and the chosen actions, the next state is obtained according to a stochastic transition function. An objective is a measurable function on plays (or infinite trajectories) of the game, and the value for an objective is the maximal expectation that the player can guarantee against the adversarial player. We consider: (a) stateful-discounted objectives, which are similar to the classical discounted-sum objectives, but states are associated with different discount factors rather than a single discount factor; and (b) parity objectives, which are a canonical representation for $\omega$-regular objectives. For stateful-discounted objectives, given an ordering of the discount factors, the limit value is the limit of the value of the stateful-discounted objectives, as the discount factors approach zero according to the given order. The computational problem we consider is the approximation of the value within an arbitrary additive error. The above problem is known to be in EXPSPACE for the limit value of stateful-discounted objectives and in PSPACE for parity objectives. The best-known algorithms for both the above problems are at least exponential time, with an exponential dependence on the number of states and actions. Our main results for the value approximation problem for the limit value of stateful-discounted objectives and parity objectives are as follows: (a) we establish TFNP[NP] complexity; and (b) we present algorithms that improve the dependency on the number of actions in the exponent from linear to logarithmic. In particular, if the number of states is constant, our algorithms run in polynomial time.


title: Stable Distributed Online Feedback Optimization for Distribution System Voltage Regulation

abstract: We investigate the distributed voltage regulation problem in distribution systems employing online feedback optimization and short-range communication between physical neighbours. We show that a two-metric approach can be unstable. As a remedy, we propose a nested feedback optimization strategy. Simulation results reveal that while the two-metric approach fails to regulate voltages, the proposed approach achieves even less voltage limit violations than its centralized counterpart.


title: Modelling Sampling Distributions of Test Statistics with Autograd

abstract: Simulation-based inference methods that feature correct conditional coverage of confidence sets based on observations that have been compressed to a scalar test statistic require accurate modelling of either the p-value function or the cumulative distribution function (cdf) of the test statistic. If the model of the cdf, which is typically a deep neural network, is a function of the test statistic then the derivative of the neural network with respect to the test statistic furnishes an approximation of the sampling distribution of the test statistic. We explore whether this approach to modelling conditional 1-dimensional sampling distributions is a viable alternative to the probability density-ratio method, also known as the likelihood-ratio trick. Relatively simple, yet effective, neural network models are used whose predictive uncertainty is quantified through a variety of methods.


title: On the $N_c$-insensitivity of QCD$_{2A}$

abstract: The spectrum of two-dimensional adjoint QCD is surprisingly insensitive to the number of colors $N_c$ of its gauge group. It is argued that the cancellation of finite $N_c$ terms is rather natural and a consequence of the singularity structure of the theory. In short, there are no finite $N_c$ contraction terms, hence there cannot be any finite $N_c$ singular terms, since the former are necessary to guarantee well-behaved principal value integrals. We evaluate and categorize the matrix elements of the theory's light-cone Hamiltonian to show how terms emerging from finite $N_c$ contributions to the anti-commutator cancel against contributions from the purely finite $N_c$ term of the Hamiltonian. The cancellation is not complete; finite terms survive and modify the spectrum, as is known from numerical work. Additionally we show that several parton-number changing finite $N_c$ matrix elements vanish. In particular, there is only one trace-diagonal finite $N_c$ correction. It seems therefore that considering matrix elements rather than individual contributions can provide substantial simplifications when computing the spectrum of a theory with a large symmetry group.


title: Software Fairness Debt

abstract: As software systems continue to play a significant role in modern society, ensuring their fairness has become a critical concern in software engineering. Motivated by this scenario, this paper focused on exploring the multifaceted nature of bias in software systems, aiming to provide a comprehensive understanding of its origins, manifestations, and impacts. Through a scoping study, we identified the primary causes of fairness deficiency in software development and highlighted their adverse effects on individuals and communities, including instances of discrimination and the perpetuation of inequalities. Our investigation culminated in the introduction of the concept of software fairness debt, which complements the notions of technical and social debt, encapsulating the accumulation of biases in software engineering practices while emphasizing the societal ramifications of bias embedded within software systems. Our study contributes to a deeper understanding of fairness in software engineering and paves the way for the development of more equitable and socially responsible software systems.


title: On finite-dimensional smoothed-particle Hamiltonian reductions of the Vlasov equation

abstract: The inclusion of spatial smoothing in finite-dimensional particle-based Hamiltonian reductions of the Vlasov equation are considered. In the context of the Vlasov-Poisson equation (and other mean-field Lie-Poisson systems), smoothing amounts to a convolutive regularization of the Hamiltonian. This regularization may be interpreted as a change of the inner product structure used to identify the dual space in the Lie-Poisson Hamiltonian formulation. In particular, the shape function used for spatial smoothing may be identified as the kernel function of a reproducing kernel Hilbert space whose inner product is used to define the Lie-Poisson Hamiltonian structure. It is likewise possible to introduce smoothing in the Vlasov-Maxwell system, but in this case the Poisson bracket must be modified rather than the Hamiltonian. The smoothing applied to the Vlasov-Maxwell system is incorporated by inserting smoothing in the map from canonical to kinematic coordinates. In the filtered system, the Lorentz force law and the current, the two terms coupling the Vlasov equation with Maxwell's equations, are spatially smoothed.


title: Investigating the Generalizability of Assistive Robots Models over Various Tasks

abstract: In the domain of assistive robotics, the significance of effective modeling is well acknowledged. Prior research has primarily focused on enhancing model accuracy or involved the collection of extensive, often impractical amounts of data. While improving individual model accuracy is beneficial, it necessitates constant remodeling for each new task and user interaction. In this paper, we investigate the generalizability of different modeling methods. We focus on constructing the dynamic model of an assistive exoskeleton using six data-driven regression algorithms. Six tasks are considered in our experiments, including horizontal, vertical, diagonal from left leg to the right eye and the opposite, as well as eating and pushing. We constructed thirty-six unique models applying different regression methods to data gathered from each task. Each trained model's performance was evaluated in a cross-validation scenario, utilizing five folds for each dataset. These trained models are then tested on the other tasks that the model is not trained with. Finally the models in our study are assessed in terms of generalizability. Results show the superior generalizability of the task model performed along the horizontal plane, and decision tree based algorithms.


title: Artificial-Intelligence-Driven Shot Reduction in Quantum Measurement

abstract: Variational Quantum Eigensolver (VQE) provides a powerful solution for approximating molecular ground state energies by combining quantum circuits and classical computers. However, estimating probabilistic outcomes on quantum hardware requires repeated measurements (shots), incurring significant costs as accuracy increases. Optimizing shot allocation is thus critical for improving the efficiency of VQE. Current strategies rely heavily on hand-crafted heuristics requiring extensive expert knowledge. This paper proposes a reinforcement learning (RL) based approach that automatically learns shot assignment policies to minimize total measurement shots while achieving convergence to the minimum of the energy expectation in VQE. The RL agent assigns measurement shots across VQE optimization iterations based on the progress of the optimization. This approach reduces VQE's dependence on static heuristics and human expertise. When the RL-enabled VQE is applied to a small molecule, a shot reduction policy is learned. The policy demonstrates transferability across systems and compatibility with other wavefunction ansatzes. In addition to these specific findings, this work highlights the potential of RL for automatically discovering efficient and scalable quantum optimization strategies.


title: Chemical disorder effects on the Gilbert damping of FeCo alloys

abstract: The impact of the local chemical environment on the Gilbert damping in the binary alloy Fe$_{100-x}$Co$_{x}$ is investigated, using computations based on density functional theory. By varying the alloy composition x as well as Fe/Co atom positions we reveal that the effective damping of the alloy is highly sensitive to the nearest neighbor environment, especially to the amount of Co and the average distance between Co-Co atoms at nearest neighbor sites. Both lead to a significant local increase (up to an order of magnitude) of the effective Gilbert damping, originating mainly from variations of the density of states at the Fermi energy. In a global perspective (i.e., making a configuration average for a real material), those differences in damping are masked by statistical averages. When low-temperature explicit atomistic dynamics simulations are performed, the impact of short-range disorder on local dynamics is observed to also alter the overall relaxation rate. Our results illustrate the possibility of local chemical engineering of the Gilbert damping, which may stimulate the study of new ways to tune and control materials aiming for spintronics applications.


title: Design of Fuzzy Logic Parameter Tuners for Upper-Limb Assistive Robots

abstract: Assistive Exoskeleton Robots are helping restore functions to people suffering from underlying medical conditions. These robots require precise tuning of hyper-parameters to feel natural to the user. The device hyper-parameters often need to be re-tuned from task to task, which can be tedious and require expert knowledge. To address this issue, we develop a set of fuzzy logic controllers that can dynamically tune robot gain parameters to adapt its sensitivity to the user's intention determined from muscle activation. The designed fuzzy controllers benefit from a set of expert-defined rules and do not rely on extensive amounts of training data. We evaluate the designed controllers with three different tasks and compare our results against the manually tuned system. Our preliminary results show that our controllers reduce the amount of fighting between the device and the human, measured using a set of pressure sensors.


title: Galois Correspondence for Partial Groupoid Actions

abstract: We prove a Galois correspondence theorem for groupoids acting orthogonally and partially on commutative rings. We also consider partial actions that are not orthogonal, presenting two correspondences in this case: one for strongly Galois partial groupoid actions and one for global groupoid actions (without restriction). Some examples are illustrated.


title: Prediction techniques for dynamic imaging with online primal-dual methods

abstract: Online optimisation facilitates the solution of dynamic inverse problems, such as image stabilisation, fluid flow monitoring, and dynamic medical imaging. In this paper, we improve upon previous work on predictive online primal-dual methods on two fronts. Firstly, we provide a more concise analysis that symmetrises previously unsymmetric regret bounds, and relaxes previous restrictive conditions on the dual predictor. Secondly, based on the latter, we develop several improved dual predictors. We numerically demonstrate their efficacy in image stabilisation and dynamic positron emission tomography.


title: Multimatrix variate distributions

abstract: A new family of distributions indexed by the class of matrix variate contoured elliptically distribution is proposed as an extension of some bimatrix variate distributions. The termed \emph{multimatrix variate distributions} open new perspectives for the classical distribution theory, usually based on probabilistic independent models and preferred untested fitting laws. Most of the multimatrix models here derived are invariant under the spherical family, a fact that solves the testing and prior knowledge of the underlying distributions and elucidates the statistical methodology in contrasts with some weakness of current studies as copulas. The paper also includes a number of diverse special cases, properties and generalisations. The new joint distributions allows several unthinkable combinations for copulas, such as scalars, vectors and matrices, all of them adjustable to the required models of the experts. The proposed joint distributions are also easily computable, then several applications are plausible. In particular, an exhaustive example in molecular docking on SARS-CoV-2 presents the results on matrix dependent samples.


title: DRAMScope: Uncovering DRAM Microarchitecture and Characteristics by Issuing Memory Commands

abstract: The demand for precise information on DRAM microarchitectures and error characteristics has surged, driven by the need to explore processing in memory, enhance reliability, and mitigate security vulnerability. Nonetheless, DRAM manufacturers have disclosed only a limited amount of information, making it difficult to find specific information on their DRAM microarchitectures. This paper addresses this gap by presenting more rigorous findings on the microarchitectures of commodity DRAM chips and their impacts on the characteristics of activate-induced bitflips (AIBs), such as RowHammer and RowPress. The previous studies have also attempted to understand the DRAM microarchitectures and associated behaviors, but we have found some of their results to be misled by inaccurate address mapping and internal data swizzling, or lack of a deeper understanding of the modern DRAM cell structure. For accurate and efficient reverse-engineering, we use three tools: AIBs, retention time test, and RowCopy, which can be cross-validated. With these three tools, we first take a macroscopic view of modern DRAM chips to uncover the size, structure, and operation of their subarrays, memory array tiles (MATs), and rows. Then, we analyze AIB characteristics based on the microscopic view of the DRAM microarchitecture, such as 6F^2 cell layout, through which we rectify misunderstandings regarding AIBs and discover a new data pattern that accelerates AIBs. Lastly, based on our findings at both macroscopic and microscopic levels, we identify previously unknown AIB vulnerabilities and propose a simple yet effective protection solution.