title: The importance of stretching rate in achieving true stress relaxation in the elasto-capillary thinning of dilute solutions

abstract: This work focuses on inferring the molecular state of the polymer chain required to induce elasto-capillary stress relaxation and the accurate measure of the polymer relaxation time in uniaxial stretching of dilute polymer solutions. This work is facilitated by the discovery that constant velocity applied at early times leads to initial constant extension rate before reaching the Rayleigh-Plateau instability. Such constant rate experiments are used to correlate initial stretching kinematics with the thinning dynamics in the elasto-capillary Regime. We show that there is a minimum initial strain-rate required to induce rate independent elastic effects. Below the minimum extension rate, insufficient stretching of the chain is observed before capillary instability, such that the polymer stress is comparable to the capillary stress at long times and true stress relaxation is not achieved. Above the minimum strain-rate, the chain reaches a critical stretch before instability, such that during the unstable filament thinning the polymer stress is significantly larger than the capillary stress and true stress relaxation is observed. Using a single relaxation mode Oldroyd-B model, we show that the the minimum strain rate leads to a required initial stretch of the chain before reaching the Rayleigh Plateau limit. Along with the accurate measure of relaxation time, this work introduces a characteristic dimensionless group, called the stretchability factor, that can be used to quantitatively compare different materials based on the overall material deformation/kinematic behavior, not just the relaxation time. Overall, these results demonstrate a useful methodology to study the stretching of dilute solutions using a constant velocity stretching scheme.


title: On the Microlocal Regularity of the Gevrey Vectors for second order partial differential operators with non negative characteristic form of first kind

abstract: We study the microlocal regularity of the analytic/Gevrey vectors for the following class of second order partial differential equations \begin{align*} P(x,D) = \sum_{\ell,j=1}^{n} a_{\ell,j}(x) D_{\ell} D_{j} + \sum_{\ell=1}^{n} i b_{\ell}(x) D_{\ell} +c(x), \end{align*} where $a_{\ell,j}(x) = a_{j,\ell}(x)$, $b_{\ell}(x)$, $\ell,j \in \lbrace 1,\dots,\, n\rbrace$, are real valued real Gevrey functions of order $s$ and $c(x)$ is a Gevrey function of order $s$, $s \geq 1$, on $\Omega$ open neighborhood of the origin in $\mathbb{R}^{n}$. Thus providing a microlocal version of a result due to M. Derridj in "Gevrey regularity of Gevrey vectors of second order partial differential operators with non negative characteristic form", Complex Anal. Synerg. $\mathbf{6}$, 10 (2020), https://doi.org/10.1007/s40627-020-00047-8.


title: Boundary geometry controls topological defect transitions that determine lumen nucleation in embryonic development

abstract: Topological defects determine the collective properties of anisotropic materials. How their configurations are controlled is not well understood however, especially in 3D, where bulk-surface coupling can render the geometry of confining boundaries relevant. This is particularly important in living matter, where 2D topological defects have been linked to essential biological functions, whereas the role of 3D defects is unclear. Motivated by multicellular systems interacting with extracellular boundaries, we consider a polar fluid confined within curved boundaries imposing weak surface anchoring. We report a novel charge-preserving transition between different defect configurations, controlled by the boundary shape, and invariant to changes in the material parameters. We test if this geometry-driven transition occurs in confined multicellular systems and investigate the biological role of 3D polar defects in the mouse epiblast -- an embryonic tissue consisting of apico-basally polarised cells. We find that fluid-filled lumina -- structures essential for subsequent embryonic development -- tend to form near defect positions of polar fluids in embryo-like confinement geometries. Moreover, by experimentally perturbing embryo shape beyond the transition point, we trigger the formation of additional lumen nucleation sites at the predicted position. Thus, our work reveals how boundary geometry controls polar defects, and how embryos use this mechanism for shape-dependent lumen formation. Because this defect control principle is independent of specific material properties, we expect it to apply universally to systems with orientational order.


title: On the geometric phase and its role in the design of elastic topological materials

abstract: The geometric phase provides important mathematical insights to understand the occurrence and evolution of the dynamic response in a diverse spectrum of systems ranging from quantum to classical mechanics. While the concept of geometric phase, which is an additional phase factor occurring in dynamical systems, holds the same meaning across different fields of application, its use and interpretation can acquire important nuances specific to the system of interest. In recent years, the development of the concept of quantum topological materials and its extension to classical mechanical systems have renewed the interest in the study of the geometric phase. This study reviews the concept of geometric phase and discusses, by means of either established or original results, its role in the design of elastic materials. Concepts of differential geometry and topology are put forward to provide a theoretical understanding of the geometric phase and its connection to the physical properties of the system. Then, the concept of geometric phase is applied to different types of elastic waveguides to explain how either topologically trivial or non-trivial behavior can emerge based on a proper geometric design of the waveguide.


title: Controlled-Joint Remote Implementation of Operators and its Possible Generalization

abstract: The existing notion of the shared entangled state-assisted remote preparation of unitary operator (equivalently the existing notion of quantum remote control) using local operation and classical communication is generalized to a scenario where under the control of a supervisor two users can jointly implement arbitrary unitaries (one unknown unitary operation by each or equivalently a single unitary decomposed into two unitaries of the same dimension and given to two users) on an unknown quantum state available with a geographically separated user. It is explicitly shown that the task can be performed using a four-qubit hyperentangled state, which is entangled simultaneously in both spatial and polarization degrees of freedom of photons. The proposed protocol which can be viewed as primitive for distributed photonic quantum computing is further generalized to the case that drops the restrictions on the number of controllers and the number of parties performing unitaries and allows both the numbers to be arbitrary. It is also shown that all the existing variants of quantum remote control schemes can be obtained as special cases of the present scheme.


title: Phase diagram of the $J_1$-$J_2$ quantum Heisenberg model for arbitrary spin

abstract: We use the spin functional renormalization group to investigate the $J_1$-$J_2$ quantum Heisenberg model on a square lattice. By incorporating sum rules associated with the fixed length of the spin operators as well as the nontrivial quantum dynamics implied by the spin algebra, we are able to compute the ground state phase diagram for arbitrary spin $S$, including the quantum paramagnetic phase at strong frustration. Our prediction for the extent of this paramagnetic region for $ S = 1/2 $ agrees well with other approaches that are computationally more expensive. We find that the quantum paramagnetic phase disappears for $ S \gtrsim 5 $ due to the suppression of quantum fluctuations with increasing $S$.


title: Dynamic computerized tomography using inexact models and motion estimation

abstract: Reconstructing a dynamic object with affine motion in computerized tomography (CT) leads to motion artifacts if the motion is not taken into account. In most cases, the actual motion is neither known nor can be determined easily. As a consequence, the respective model that describes CT is incomplete. The iterative RESESOP-Kaczmarz method can - under certain conditions and by exploiting the modeling error - reconstruct dynamic objects at different time points even if the exact motion is unknown. However, the method is very time-consuming. To speed the reconstruction process up and obtain better results, we combine the following three steps: 1. RESESOP-Kacmarz with only a few iterations is implemented to reconstruct the object at different time points. 2. The motion is estimated via landmark detection, e.g. using deep learning. 3. The estimated motion is integrated into the reconstruction process, allowing the use of dynamic filtered backprojection. We give a short review of all methods involved and present numerical results as a proof of principle.


title: SOTOPIA-$\pi$: Interactive Learning of Socially Intelligent Language Agents

abstract: Humans learn social skills through both imitation and social interaction. This social learning process is largely understudied by existing research on building language agents. Motivated by this gap, we propose an interactive learning method, SOTOPIA-$\pi$, improving the social intelligence of language agents. This method leverages behavior cloning and self-reinforcement training on filtered social interaction data according to large language model (LLM) ratings. We show that our training method allows a 7B LLM to reach the social goal completion ability of an expert model (GPT-4-based agent), while improving the safety of language agents and maintaining general QA ability on the MMLU benchmark. We also find that this training paradigm uncovers some difficulties in LLM-based evaluation of social intelligence: LLM-based evaluators overestimate the abilities of the language agents trained specifically for social interaction.


title: DIFFTACTILE: A Physics-based Differentiable Tactile Simulator for Contact-rich Robotic Manipulation

abstract: We introduce DIFFTACTILE, a physics-based differentiable tactile simulation system designed to enhance robotic manipulation with dense and physically accurate tactile feedback. In contrast to prior tactile simulators which primarily focus on manipulating rigid bodies and often rely on simplified approximations to model stress and deformations of materials in contact, DIFFTACTILE emphasizes physics-based contact modeling with high fidelity, supporting simulations of diverse contact modes and interactions with objects possessing a wide range of material properties. Our system incorporates several key components, including a Finite Element Method (FEM)-based soft body model for simulating the sensing elastomer, a multi-material simulator for modeling diverse object types (such as elastic, elastoplastic, cables) under manipulation, a penalty-based contact model for handling contact dynamics. The differentiable nature of our system facilitates gradient-based optimization for both 1) refining physical properties in simulation using real-world data, hence narrowing the sim-to-real gap and 2) efficient learning of tactile-assisted grasping and contact-rich manipulation skills. Additionally, we introduce a method to infer the optical response of our tactile sensor to contact using an efficient pixel-based neural module. We anticipate that DIFFTACTILE will serve as a useful platform for studying contact-rich manipulations, leveraging the benefits of dense tactile feedback and differentiable physics. Code and supplementary materials are available at the project website https://difftactile.github.io/.


title: A too-many dwarf galaxy satellites problem in the M83 group

abstract: Dwarf galaxies in groups of galaxies provide excellent test cases for models of structure formation. This led to a so-called small-scale crisis, including the famous missing satellite and too-big-to-fail problems. It was suggested that these two problems are solved by the introduction of baryonic physics in cosmological simulations. We test for the nearby grand spiral M83 - a Milky Way sibling - whether its number of dwarf galaxy companions is compatible with today's $\Lambda$ + Cold Dark Matter model using two methods: with cosmological simulations that include baryons, as well as with theoretical predictions from the sub-halo mass function. By employing distance measurements we recover a list of confirmed dwarf galaxies within 330 kpc around M83 down to a magnitude of $M_V =-10$. We found that both the state-of-the-art hydrodynamical cosmological simulation Illustris-TNG50 and theoretical predictions agree with the number of confirmed satellites around M83 at the bright end of the luminosity function (>10$^8$ solar masses) but underestimate it at the faint end (down to 10$^6$ solar masses) at more than 3$\sigma$ and 5$\sigma$ levels, respectively. This indicates a too-many satellites problem in $\Lambda$CDM for M83. The actual degree of tension to cosmological models is underestimated, because the number of observed satellites is incomplete due to the high contamination of spurious stars and galactic cirrus.


title: Probabilistic Metaplasticity for Continual Learning with Memristors

abstract: Edge devices operating in dynamic environments critically need the ability to continually learn without catastrophic forgetting. The strict resource constraints in these devices pose a major challenge to achieve this, as continual learning entails memory and computational overhead. Crossbar architectures using memristor devices offer energy efficiency through compute-in-memory and hold promise to address this issue. However, memristors often exhibit low precision and high variability in conductance modulation, rendering them unsuitable for continual learning solutions that require precise modulation of weight magnitude for consolidation. Current approaches fall short to address this challenge directly and rely on auxiliary high-precision memory, leading to frequent memory access, high memory overhead, and energy dissipation. In this research, we propose probabilistic metaplasticity, which consolidates weights by modulating their update probability rather than magnitude. The proposed mechanism eliminates high-precision modification to weight magnitudes and, consequently, the need for auxiliary high-precision memory. We demonstrate the efficacy of the proposed mechanism by integrating probabilistic metaplasticity into a spiking network trained on an error threshold with low-precision memristor weights. Evaluations of two continual learning benchmarks show that probabilistic metaplasticity achieves state-of-the-art performance while consuming ~ 67% lower memory for additional parameters and up to two orders of magnitude lower energy during parameter updates compared to an auxiliary memory-based solution. The proposed model shows potential for energy-efficient continual learning with low-precision emerging devices.


title: Improved Trade-offs Between Amortization and Download Bandwidth for Linear HSS

abstract: A Homomorphic Secret Sharing (HSS) scheme is a secret-sharing scheme that shares a secret $x$ among $s$ servers, and additionally allows an output client to reconstruct some function $f(x)$ using information that can be locally computed by each server. A key parameter in HSS schemes is download rate, which quantifies how much information the output client needs to download from the servers. Often, download rate is improved by amortizing over $\ell$ instances of the problem, making $\ell$ also a key parameter of interest. Recent work (Fosli, Ishai, Kolobov, and Wootters 2022) established a limit on the download rate of linear HSS schemes for computing low-degree polynomials and constructed schemes that achieve this optimal download rate; their schemes required amortization over $\ell = \Omega(s \log(s))$ instances of the problem. Subsequent work (Blackwell and Wootters, 2023) completely characterized linear HSS schemes that achieve optimal download rate in terms of a coding-theoretic notion termed optimal labelweight codes. A consequence of this characterization was that $\ell = \Omega(s \log(s))$ is in fact necessary to achieve optimal download rate. In this paper, we characterize all linear HSS schemes, showing that schemes of any download rate are equivalent to a generalization of optimal labelweight codes. This equivalence is constructive and provides a way to obtain an explicit linear HSS scheme from any linear code. Using this characterization, we present explicit linear HSS schemes with slightly sub-optimal rate but with much improved amortization $\ell = O(s)$. Our constructions are based on algebraic geometry codes (specifically Hermitian codes and Goppa codes).


title: Interpreting 95 GeV di-photon/$b\bar{b}$ excesses as a lightest Higgs boson of the MRSSM

abstract: The Minimal R-symmetric Supersymmetric Standard Model (MRSSM) is a well motivated BSM model which can accommodate the observed 125 GeV Higgs boson in agreement with electroweak precision observables, in particular with the $W$ boson mass and $T$ parameter. In the 2016 paper we showed that the SM-like 125 GeV Higgs state can be also realised as the second-to-lightest scalar of the MRSSM, leaving room for another sub-100 GeV state. Motivated by the recent ATLAS and CMS observation of the di-photon excess at a mass of around 95 GeV we investigate the possibility whether this could be the lightest CP-even MRSSM scalar in a variation of our benchmarks presented in the 2016 work. We show that such a state can also simultaneously explain the excess in the $b\bar{b}$ final state observed around the same mass value at LEP. Due to the R-symmetric nature of the model, a light singlet-like Higgs state leads necessarily to a light bino-singlino Dirac dark matter candidate, which can give a correct relic density while evading current experimental bounds. Dark matter and LHC searches place further bounds on this scenario and point to parameter regions which are viable and of interest for the LHC Run III and upcoming dark matter experiments.


title: Historical Astronomical Diagrams Decomposition in Geometric Primitives

abstract: Automatically extracting the geometric content from the hundreds of thousands of diagrams drawn in historical manuscripts would enable historians to study the diffusion of astronomical knowledge on a global scale. However, state-of-the-art vectorization methods, often designed to tackle modern data, are not adapted to the complexity and diversity of historical astronomical diagrams. Our contribution is thus twofold. First, we introduce a unique dataset of 303 astronomical diagrams from diverse traditions, ranging from the XIIth to the XVIIIth century, annotated with more than 3000 line segments, circles and arcs. Second, we develop a model that builds on DINO-DETR to enable the prediction of multiple geometric primitives. We show that it can be trained solely on synthetic data and accurately predict primitives on our challenging dataset. Our approach widely improves over the LETR baseline, which is restricted to lines, by introducing a meaningful parametrization for multiple primitives, jointly training for detection and parameter refinement, using deformable attention and training on rich synthetic data. Our dataset and code are available on our webpage.


title: Isotope effects in supercooled H$_2$O and D$_2$O and a corresponding-states-like rescaling of the temperature and pressure

abstract: Water shows anomalous properties that are enhanced upon supercooling. The unusual behavior is observed in both H$_2$O and D$_2$O, however with different temperature dependences for the two isotopes. It is often noted that comparing the properties of the isotopes at two different temperatures (i.e., a temperature shift) approximately accounts for many of the observations with a temperature shift of 7.2 K in the temperature of maximum density being the most well-known example. However, the physical justification for such a shift is unclear. Motivated by recent work demonstrating a corresponding-states-like rescaling for water properties in three classical water models that all exhibit a liquid-liquid transition and critical point (B. Uralcan, et al., J. Chem. Phys. 150, 064503 (2019)), the applicability of this approach for reconciling the differences in temperature- and pressure-dependent thermodynamic properties of H$_2$O and D$_2$O is investigated here. Utilizing previously published data and equations-of-state for H$_2$O and D$_2$O, we show that the available data and models for these isotopes are consistent with such a low temperature correspondence. These observations provide support for the hypothesis that a liquid-liquid critical point, which is predicted to occur at low temperatures and high pressures, is the origin of many of water's anomalies.


title: Asymptotic polynomial approximation in the Bloch space

abstract: We investigate asymptotic polynomial approximation for a class of weighted Bloch functions in the unit disc. Our main result is a structural theorem on asymptotic polynomial approximation in the unit disc, in the flavor of the classical Plessner Theorem on asymptotic values of meromorphic functions. This provides the appropriate set up for studying metric and geometric properties of sets E on the unit circle for which the following simultaneous approximation phenomenon occurs: there exists analytic polynomials which converge uniformly to zero on E and to a non-zero function in the weighted Bloch norm. We offer a characterization completely within the realm of real-analysis, establish a connection to removable sets for analytic Sobolev functions in the complex plane, and provide several necessary conditions in terms of entropy, Hausdorff content and condenser capacity. Furthermore, we demonstrate two principal applications of our developments, which go in different directions. First, we shall deduce a rather subtle consequence in the theme of smooth approximation in de Branges-Rovnyak spaces. Secondly, we answer some questions that were raised almost a decade ago in the theory of Universal Taylor series.


title: Stabilizer Tensor Networks: universal quantum simulator on a basis of stabilizer states

abstract: Efficient simulation of quantum computers relies on understanding and exploiting the properties of quantum states. This is the case for methods such as tensor networks, based on entanglement, and the tableau formalism, which represents stabilizer states. In this work, we integrate these two approaches to present a generalization of the tableau formalism used for Clifford circuit simulation. We explicitly prove how to update our formalism with Clifford gates, non-Clifford gates, and measurements, enabling universal circuit simulation. We also discuss how the framework allows for efficient simulation of more states, raising some interesting questions on the representation power of tensor networks and the quantum properties of resources such as entanglement and magic, and support our claims with simulations.


title: Driving non-trivial quantum phases in conventional semiconductors with intense excitonic fields

abstract: Inducing novel quantum phases and topologies in materials using intense light fields is a key objective of modern condensed matter physics, but nonetheless faces significant experimental challenges. Alternately, theory predicts that in the dense limit, excitons - collective excitations composed of Coulomb-bound electron-hole pairs - could also drive exotic quantum phenomena. However, the direct observation of these phenomena requires the resolution of electronic structure in momentum space in the presence of excitons, which became possible only recently. Here, using time- and angle-resolved photoemission spectroscopy of an atomically thin semiconductor in the presence of a high-density of resonantly and coherently photoexcited excitons, we observe the Bardeen-Cooper-Schrieffer (BCS) excitonic state - analogous to the Cooper pairs of superconductivity. We see the valence band transform from a conventional paraboloid into a Mexican-hat like Bogoliubov dispersion - a hallmark of the excitonic insulator phase; and we observe the recently predicted giant exciton-driven Floquet effects. Our work realizes the promise that intense bosonic fields, other than photons, can also drive novel quantum phenomena and phases in materials.


title: Euclid: Testing photometric selection of emission-line galaxy targets

abstract: Multi-object spectroscopic galaxy surveys typically make use of photometric and colour criteria to select targets. Conversely, the Euclid NISP slitless spectrograph will record spectra for every source over its field of view. Slitless spectroscopy has the advantage of avoiding defining a priori a galaxy sample, but at the price of making the selection function harder to quantify. The Euclid Wide Survey aims at building robust statistical samples of emission-line galaxies with fluxes in the Halpha-NII complex brighter than 2e-16 erg/s/cm^2 and within 0.9<z<1.8. At faint fluxes, we expect significant contamination by wrongly measured redshifts, either due to emission-line misidentification or noise fluctuations, with the consequence of reducing the purity of the final samples. This can be significantly improved by exploiting Euclid photometric information to identify emission-line galaxies over the redshifts of interest. To this goal, we compare and quantify the performance of six machine-learning classification algorithms. We consider the case when only Euclid photometric and morphological measurements are used and when these are supplemented by ground-based photometric data. We train and test the classifiers on two mock galaxy samples, the EL-COSMOS and Euclid Flagship2 catalogues. Dense neural networks and support vector classifiers obtain the best performance, with comparable results in terms of the adopted metrics. When training on Euclid photometry alone, these can remove 87% of the sources that are fainter than the nominal flux limit or lie outside the range 0.9<z<1.8, a figure that increases to 97% when ground-based photometry is included. These results show how by using the photometric information available to Euclid it will be possible to efficiently identify and discard spurious interlopers, allowing us to build robust spectroscopic samples for cosmological investigations.


title: The q-ary Gilbert-Varshamov bound can be improved for all but finitely many positive integers q

abstract: For any positive integer $q\geq 2$ and any real number $\delta\in(0,1)$, let $\alpha_q(n,\delta n)$ denote the maximum size of a subset of $\mathbb{Z}_q^n$ with minimum Hamming distance at least $\delta n$, where $\mathbb{Z}_q=\{0,1,\dotsc,q-1\}$ and $n\in\mathbb{N}$. The asymptotic rate function is defined by $ R_q(\delta) = \limsup_{n\rightarrow\infty}\frac{1}{n}\log_q\alpha_q(n,\delta n).$ The famous $q$-ary asymptotic Gilbert-Varshamov bound, obtained in the 1950s, states that \[ R_q(\delta) \geq 1 - \delta\log_q(q-1)-\delta\log_q\frac{1}{\delta}-(1-\delta)\log_q\frac{1}{1-\delta} \stackrel{\mathrm{def}}{=}R_\mathrm{GV}(\delta,q) \] for all positive integers $q\geq 2$ and $0<\delta<1-q^{-1}$. In the case that $q$ is an even power of a prime with $q\geq 49$, the $q$-ary Gilbert-Varshamov bound was firstly improved by using algebraic geometry codes in the works of Tsfasman, Vladut, and Zink and of Ihara in the 1980s. These algebraic geometry codes have been modified to improve the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(\delta,q)$ at a specific tangent point $\delta=\delta_0\in (0,1)$ of the curve $R_\mathrm{GV}(\delta,q)$ for each given integer $q\geq 46$. However, the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(\delta,q)$ at $\delta=1/2$, i.e., $R_\mathrm{GV}(1/2,q)$, remains the largest known lower bound of $R_q(1/2)$ for infinitely many positive integers $q$ which is a generic prime and which is a generic non-prime-power integer. In this paper, by using codes from geometry of numbers introduced by Lenstra in the 1980s, we prove that the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(\delta,q)$ with $\delta\in(0,1)$ can be improved for all but finitely many positive integers $q$. It is shown that the growth defined by $\eta(\delta)= \liminf_{q\rightarrow\infty}\frac{1}{\log q}\log[1-\delta-R_q(\delta)]^{-1}$ for every $\delta\in(0,1)$ has actually a nontrivial lower bound.


title: Ambient Diffusion Posterior Sampling: Solving Inverse Problems with Diffusion Models trained on Corrupted Data

abstract: We provide a framework for solving inverse problems with diffusion models learned from linearly corrupted data. Our method, Ambient Diffusion Posterior Sampling (A-DPS), leverages a generative model pre-trained on one type of corruption (e.g. image inpainting) to perform posterior sampling conditioned on measurements from a potentially different forward process (e.g. image blurring). We test the efficacy of our approach on standard natural image datasets (CelebA, FFHQ, and AFHQ) and we show that A-DPS can sometimes outperform models trained on clean data for several image restoration tasks in both speed and performance. We further extend the Ambient Diffusion framework to train MRI models with access only to Fourier subsampled multi-coil MRI measurements at various acceleration factors (R=2, 4, 6, 8). We again observe that models trained on highly subsampled data are better priors for solving inverse problems in the high acceleration regime than models trained on fully sampled data. We open-source our code and the trained Ambient Diffusion MRI models: https://github.com/utcsilab/ambient-diffusion-mri .


title: Efficient and practical Hamiltonian simulation from time-dependent product formulas

abstract: In this work we propose an approach for implementing time-evolution of a quantum system using product formulas. The quantum algorithms we develop have provably better scaling (in terms of gate complexity and circuit depth) than a naive application of well-known Trotter formulas, for systems where the evolution is determined by a Hamiltonian with different energy scales (i.e., one part is "large" and another part is "small"). Our algorithms generate a decomposition of the evolution operator into a product of simple unitaries that are directly implementable on a quantum computer. Although the theoretical scaling is suboptimal compared with state-of-the-art algorithms (e.g., quantum signal processing), the performance of the algorithms we propose is highly competitive in practice. We illustrate this via extensive numerical simulations for several models. For instance, in the strong-field regime of the 1D transverse-field Ising model, our algorithms achieve an improvement of one order of magnitude in both the system size and evolution time that can be simulated with a fixed budget of 1000 arbitrary 2-qubit gates, compared with standard Trotter formulas.


title: Strengthening Multimodal Large Language Model with Bootstrapped Preference Optimization

abstract: Multimodal Large Language Models (MLLMs) excel in generating responses based on visual inputs. However, they often suffer from a bias towards generating responses similar to their pretraining corpus, overshadowing the importance of visual information. We treat this bias as a "preference" for pretraining statistics, which hinders the model's grounding in visual input. To mitigate this issue, we propose Bootstrapped Preference Optimization (BPO), which conducts preference learning with datasets containing negative responses bootstrapped from the model itself. Specifically, we propose the following two strategies: 1) using distorted image inputs to the MLLM for eliciting responses that contain signified pretraining bias; 2) leveraging text-based LLM to explicitly inject erroneous but common elements into the original response. Those undesirable responses are paired with original annotated responses from the datasets to construct the preference dataset, which is subsequently utilized to perform preference learning. Our approach effectively suppresses pretrained LLM bias, enabling enhanced grounding in visual inputs. Extensive experimentation demonstrates significant performance improvements across multiple benchmarks, advancing the state-of-the-art in multimodal conversational systems.


title: Fault Localization in a Microfabricated Surface Ion Trap using Diamond Nitrogen-Vacancy Center Magnetometry

abstract: As quantum computing hardware becomes more complex with ongoing design innovations and growing capabilities, the quantum computing community needs increasingly powerful techniques for fabrication failure root-cause analysis. This is especially true for trapped-ion quantum computing. As trapped-ion quantum computing aims to scale to thousands of ions, the electrode numbers are growing to several hundred with likely integrated-photonic components also adding to the electrical and fabrication complexity, making faults even harder to locate. In this work, we used a high-resolution quantum magnetic imaging technique, based on nitrogen-vacancy (NV) centers in diamond, to investigate short-circuit faults in an ion trap chip. We imaged currents from these short-circuit faults to ground and compared to intentionally-created faults, finding that the root-cause of the faults was failures in the on-chip trench capacitors. This work, where we exploited the performance advantages of a quantum magnetic sensing technique to troubleshoot a piece of quantum computing hardware, is a unique example of the evolving synergy between emerging quantum technologies to achieve capabilities that were previously inaccessible.


title: Molecular pentaquarks with hidden charm and double strangeness

abstract: We analyze theoretically the coupled-channel meson-baryon interaction with global flavor $\bar c c s s n$ and $\bar c c s s s$, where mesons are pseudoscalars or vectors and baryons have $J ^P=1/2^+$ or $3/2^+$. The aim is to explore whether the nonlinear dynamics inherent in the unitarization process within coupled channels can dynamically generate double- and triple-strange pentaquark-type states ($P_{css}$ and $P_{csss}$ respectively), for which there is no experimental evidence to date. We evaluate the s-wave scattering matrix by implementing unitarity in coupled channels, using potential kernels obtained from t-channel vector meson exchange. The required $PPV$ and $VVV$ vertices are obtained from Lagrangians derived through appropriate extensions of the local hidden gauge symmetry approach to the charm sector, while capitalizing on the symmetry of the spin and flavor wave function to evaluate the $BBV$ vertex. We find four different poles in the double strange sector, some of them degenerate in spin. For the triple-strange channel we find the meson-baryon interaction insufficient to generate a bound or resonance state through the unitary coupled-channel dynamics.


title: GaussCtrl: Multi-View Consistent Text-Driven 3D Gaussian Splatting Editing

abstract: We propose GaussCtrl, a text-driven method to edit a 3D scene reconstructed by the 3D Gaussian Splatting (3DGS). Our method first renders a collection of images by using the 3DGS and edits them by using a pre-trained 2D diffusion model (ControlNet) based on the input prompt, which is then used to optimise the 3D model. Our key contribution is multi-view consistent editing, which enables editing all images together instead of iteratively editing one image while updating the 3D model as in previous works. It leads to faster editing as well as higher visual quality. This is achieved by the two terms: (a) depth-conditioned editing that enforces geometric consistency across multi-view images by leveraging naturally consistent depth maps. (b) attention-based latent code alignment that unifies the appearance of edited images by conditioning their editing to several reference views through self and cross-view attention between images' latent representations. Experiments demonstrate that our method achieves faster editing and better visual results than previous state-of-the-art methods.


title: Light-driven interlayer propagation of collective-mode excitations in layered superconductors

abstract: Superconductors exhibit a nonlinear interaction with an applied light, which can resonantly excite the collective amplitude (Higgs) mode. Here we study light-induced dynamics of layered superconductors, where each layer is coupled to adjacent layers via the Josephson coupling and the first few layers near the surface are driven by an in-plane-polarized light. We study the system under the assumption that the interlayer Coulomb interactions are sufficiently screened out and that the phase-difference mode becomes available in the low-energy regime. We find that interlayer transport is induced via excitations of the collective amplitude and phase-difference modes, even when the applied electric field is parallel to the planes. We provide analytic calculations as well as numerical simulations of the real-time dynamics, and investigate the influence on the light-induced interlayer Josephson current and intralayer third-harmonic generation.


title: Torsion pairs, t-structures, and co-t-structures for completions of discrete cluster categories

abstract: We give a classification of torsion pairs, t-structures, and co-t-structures in the Paquette-Yildirim completion of the Igusa-Todorov discrete cluster category. We prove that the aisles of t-structures and co-t-structures are in bijection with non-crossing partitions enriched with some additional data. We also observe that recollements exist in the completion and we classify them.


title: Interface Design Beyond Epitaxy: Oxide Heterostructures Comprising Symmetry-forbidden Interfaces

abstract: Epitaxial growth of thin-film heterostructures is generally considered the most successful procedure to obtain interfaces of excellent structural and electronic quality between three-dimensional materials. However, these interfaces can only join material systems with crystal lattices of matching symmetries and lattice constants. We present a novel category of interfaces, the fabrication of which is membrane-based and does not require epitaxial growth. These interfaces therefore overcome limitations imposed by epitaxy. Leveraging the additional degrees of freedom gained, we demonstrate atomically clean interfaces between three-fold symmetric sapphire and four-fold symmetric SrTiO3. Atomic-resolution imaging reveals structurally well-defined interfaces with a novel moir\'e-type reconstruction.


title: ILCiteR: Evidence-grounded Interpretable Local Citation Recommendation

abstract: Existing Machine Learning approaches for local citation recommendation directly map or translate a query, which is typically a claim or an entity mention, to citation-worthy research papers. Within such a formulation, it is challenging to pinpoint why one should cite a specific research paper for a particular query, leading to limited recommendation interpretability. To alleviate this, we introduce the evidence-grounded local citation recommendation task, where the target latent space comprises evidence spans for recommending specific papers. Using a distantly-supervised evidence retrieval and multi-step re-ranking framework, our proposed system, ILCiteR, recommends papers to cite for a query grounded on similar evidence spans extracted from the existing research literature. Unlike past formulations that simply output recommendations, ILCiteR retrieves ranked lists of evidence span and recommended paper pairs. Secondly, previously proposed neural models for citation recommendation require expensive training on massive labeled data, ideally after every significant update to the pool of candidate papers. In contrast, ILCiteR relies solely on distant supervision from a dynamic evidence database and pre-trained Transformer-based Language Models without any model training. We contribute a novel dataset for the evidence-grounded local citation recommendation task and demonstrate the efficacy of our proposed conditional neural rank-ensembling approach for re-ranking evidence spans.


title: Improving Acoustic Word Embeddings through Correspondence Training of Self-supervised Speech Representations

abstract: Acoustic word embeddings (AWEs) are vector representations of spoken words. An effective method for obtaining AWEs is the Correspondence Auto-Encoder (CAE). In the past, the CAE method has been associated with traditional MFCC features. Representations obtained from self-supervised learning (SSL)-based speech models such as HuBERT, Wav2vec2, etc., are outperforming MFCC in many downstream tasks. However, they have not been well studied in the context of learning AWEs. This work explores the effectiveness of CAE with SSL-based speech representations to obtain improved AWEs. Additionally, the capabilities of SSL-based speech models are explored in cross-lingual scenarios for obtaining AWEs. Experiments are conducted on five languages: Polish, Portuguese, Spanish, French, and English. HuBERT-based CAE model achieves the best results for word discrimination in all languages, despite Hu-BERT being pre-trained on English only. Also, the HuBERT-based CAE model works well in cross-lingual settings. It outperforms MFCC-based CAE models trained on the target languages when trained on one source language and tested on target languages.


title: The Garden of Forking Paths: Observing Dynamic Parameters Distribution in Large Language Models

abstract: A substantial gap persists in understanding the reasons behind the exceptional performance of the Transformer architecture in NLP. A particularly unexplored area involves the mechanistic description of how the distribution of parameters evolves over time during training. In this work we suggest that looking at the time evolution of the statistic distribution of model parameters, and specifically at bifurcation effects, can help understanding the model quality, potentially reducing training costs and evaluation efforts and empirically showing the reasons behind the effectiveness of weights sparsification.

categories: cs.CL cond-mat.dis-nn cond-mat.stat-mech cs.AI


title: Acoustic Side Channel Attack on Keyboards Based on Typing Patterns

abstract: Acoustic side-channel attacks on keyboards can bypass security measures in many systems that use keyboards as one of the input devices. These attacks aim to reveal users' sensitive information by targeting the sounds made by their keyboards as they type. Most existing approaches in this field ignore the negative impacts of typing patterns and environmental noise in their results. This paper seeks to address these shortcomings by proposing an applicable method that takes into account the user's typing pattern in a realistic environment. Our method achieved an average success rate of 43% across all our case studies when considering real-world scenarios.


title: Learning How to Strategically Disclose Information

abstract: Strategic information disclosure, in its simplest form, considers a game between an information provider (sender) who has access to some private information that an information receiver is interested in. While the receiver takes an action that affects the utilities of both players, the sender can design information (or modify beliefs) of the receiver through signal commitment, hence posing a Stackelberg game. However, obtaining a Stackelberg equilibrium for this game traditionally requires the sender to have access to the receiver's objective. In this work, we consider an online version of information design where a sender interacts with a receiver of an unknown type who is adversarially chosen at each round. Restricting attention to Gaussian prior and quadratic costs for the sender and the receiver, we show that $\mathcal{O}(\sqrt{T})$ regret is achievable with full information feedback, where $T$ is the total number of interactions between the sender and the receiver. Further, we propose a novel parametrization that allows the sender to achieve $\mathcal{O}(\sqrt{T})$ regret for a general convex utility function. We then consider the Bayesian Persuasion problem with an additional cost term in the objective function, which penalizes signaling policies that are more informative and obtain $\mathcal{O}(\log(T))$ regret. Finally, we establish a sublinear regret bound for the partial information feedback setting and provide simulations to support our theoretical results.

categories: cs.GT cs.IT cs.LG cs.SY eess.SY math.IT math.OC


title: Multichannel quantum defect theory of strontium bound Rydberg states

abstract: Newly calculated multichannel quantum defect theory parameters and channel fractions are presented for the singlet and triplet S, P and D series and singlet F series of strontium. These results correct those reported in Vaillant C L, Jones M P A and Potvliege R M 2014 J. Phys. B: At. Mol. Opt. Phys. 47 155001.


title: Steering LLMs Towards Unbiased Responses: A Causality-Guided Debiasing Framework

abstract: Large language models (LLMs) can easily generate biased and discriminative responses. As LLMs tap into consequential decision-making (e.g., hiring and healthcare), it is of crucial importance to develop strategies to mitigate these biases. This paper focuses on social bias, tackling the association between demographic information and LLM outputs. We propose a causality-guided debiasing framework that utilizes causal understandings of (1) the data-generating process of the training corpus fed to LLMs, and (2) the internal reasoning process of LLM inference, to guide the design of prompts for debiasing LLM outputs through selection mechanisms. Our framework unifies existing de-biasing prompting approaches such as inhibitive instructions and in-context contrastive examples, and sheds light on new ways of debiasing by encouraging bias-free reasoning. Our strong empirical performance on real-world datasets demonstrates that our framework provides principled guidelines on debiasing LLM outputs even with only the black-box access.


title: GTP before ATP: The energy currency at the origin of genes

abstract: Life is an exergonic chemical reaction. Many individual reactions in metabolism entail slightly endergonic processes that are coupled to free energy release, typically as ATP hydrolysis, in order to go forward. ATP is almost always supplied by the rotor-stator ATP synthetase (the ATPase), which harnesses chemiosmotic ion gradients. Because the ATPase is a protein, it arose after the ribosome did. Here we address two questions using comparative physiology: What was the energy currency of metabolism before the origin of the ATPase? How (and why) did ATP come to be the universal energy currency? About 27 percent of a cell's energy budget is consumed as GTP during translation. The universality of GTP-dependence in ribosome function indicates that GTP was the ancestral energy currency of protein synthesis. The use of GTP in translation and ATP in small molecule synthesis are conserved across all lineages, representing energetic compartments that arose in the last universal common ancestor, LUCA.


title: Boundary controllability for a fourth order degenerate parabolic equation with a singular potential

abstract: In this paper, we prove the null controllability of a one-dimensional fourth-order degenerate parabolic equation with a singular potential. Here, we analyze cases where boundary control conditions are applied at the left endpoint. We utilize a spectral decomposition involving Bessel functions and their zeros in a convenient weighted Sobolev space for a degenerate parabolic operator with specific boundary conditions. We establish the well-posedness of the system using semigroup operator theory. Subsequently, we employ the moment method by Fattorini and Russell to obtain an upper estimate of the cost of controllability. Additionally, we derive a lower estimate of the cost of controllability using a representation theorem for analytic functions of exponential type.


title: iCONTRA: Toward Thematic Collection Design Via Interactive Concept Transfer

abstract: Creating thematic collections in industries demands innovative designs and cohesive concepts. Designers may face challenges in maintaining thematic consistency when drawing inspiration from existing objects, landscapes, or artifacts. While AI-powered graphic design tools offer help, they often fail to generate cohesive sets based on specific thematic concepts. In response, we introduce iCONTRA, an interactive CONcept TRAnsfer system. With a user-friendly interface, iCONTRA enables both experienced designers and novices to effortlessly explore creative design concepts and efficiently generate thematic collections. We also propose a zero-shot image editing algorithm, eliminating the need for fine-tuning models, which gradually integrates information from initial objects, ensuring consistency in the generation process without influencing the background. A pilot study suggests iCONTRA's potential to reduce designers' efforts. Experimental results demonstrate its effectiveness in producing consistent and high-quality object concept transfers. iCONTRA stands as a promising tool for innovation and creative exploration in thematic collection design. The source code will be available at: https://github.com/vdkhoi20/iCONTRA.


title: Poisson suspensions without roots

abstract: We construct rigid Poisson suspensions without roots. The discrete rational component in spectrum of an ergodic automorphism S prevents some roots from existing. If S is tensorly multiplied by an ergodic automorphism of the space with a sigma-finite measure, discrete spectrum disappears in this product, but like the smile of Cheshire Cat, the memory of it can remain in the form of the absence of roots. In additional conditions, this effect is inherited by the Poisson suspension over the above product. Starting from this idea, but without using the tensor product, we describe simple rank-one constructions for which the Poisson suspensions are rigid and have no roots.


title: Real-time 3D semantic occupancy prediction for autonomous vehicles using memory-efficient sparse convolution

abstract: In autonomous vehicles, understanding the surrounding 3D environment of the ego vehicle in real-time is essential. A compact way to represent scenes while encoding geometric distances and semantic object information is via 3D semantic occupancy maps. State of the art 3D mapping methods leverage transformers with cross-attention mechanisms to elevate 2D vision-centric camera features into the 3D domain. However, these methods encounter significant challenges in real-time applications due to their high computational demands during inference. This limitation is particularly problematic in autonomous vehicles, where GPU resources must be shared with other tasks such as localization and planning. In this paper, we introduce an approach that extracts features from front-view 2D camera images and LiDAR scans, then employs a sparse convolution network (Minkowski Engine), for 3D semantic occupancy prediction. Given that outdoor scenes in autonomous driving scenarios are inherently sparse, the utilization of sparse convolution is particularly apt. By jointly solving the problems of 3D scene completion of sparse scenes and 3D semantic segmentation, we provide a more efficient learning framework suitable for real-time applications in autonomous vehicles. We also demonstrate competitive accuracy on the nuScenes dataset.


title: Clinically Feasible Diffusion Reconstruction for Highly-Accelerated Cardiac Cine MRI

abstract: The currently limited quality of accelerated cardiac cine reconstruction may potentially be improved by the emerging diffusion models, but the clinically unacceptable long processing time poses a challenge. We aim to develop a clinically feasible diffusion-model-based reconstruction pipeline to improve the image quality of cine MRI. A multi-in multi-out diffusion enhancement model together with fast inference strategies were developed to be used in conjunction with a reconstruction model. The diffusion reconstruction reduced spatial and temporal blurring in prospectively undersampled clinical data, as validated by experts inspection. The 1.5s per video processing time enabled the approach to be applied in clinical scenarios.


title: Neural reproducing kernel Banach spaces and representer theorems for deep networks

abstract: Studying the function spaces defined by neural networks helps to understand the corresponding learning models and their inductive bias. While in some limits neural networks correspond to function spaces that are reproducing kernel Hilbert spaces, these regimes do not capture the properties of the networks used in practice. In contrast, in this paper we show that deep neural networks define suitable reproducing kernel Banach spaces. These spaces are equipped with norms that enforce a form of sparsity, enabling them to adapt to potential latent structures within the input data and their representations. In particular, leveraging the theory of reproducing kernel Banach spaces, combined with variational results, we derive representer theorems that justify the finite architectures commonly employed in applications. Our study extends analogous results for shallow networks and can be seen as a step towards considering more practically plausible neural architectures.


title: Cyclotomic Factors and LRS-Degeneracy

abstract: We present three new, practical algorithms for polynomials in $\mathbb{Z}[x]$: one to test if a polynomial is cyclotomic, one to determine which cyclotomic polynomials are factors, and one to determine whether the given polynomial is LRS-degenerate. A polynomial is ``LRS-degenerate'' iff it has two distinct roots $\alpha, \beta$ such that $\beta = \zeta \alpha$ for some root of unity $\zeta$. All three algorithms are based on ``intelligent brute force''. The first two produce the indexes of the cyclotomic polynomials; the third produces a list of degeneracy orders. The algorithms are implemented in CoCoALib.


title: A local model for the optical energy and momentum transfer in dielectric media and the microscopic origin of Abraham's force density

abstract: We report on the continuity equations for linear momentum and energy associated to a recently introduced electromagnetic formulation based on classical dipolar sources [Eur. Phys. J. Plus 138, 1034 (2023)]. When connected to the mass-polariton quasi-particle dynamics, these equations provide a consistent microscopic description of the local optical energy and momentum transfer inside dielectric media, called microscopic mass-polariton formulation. This procedure also unveils the true microscopic origin of the long-known Abraham optical force density as an interplay between induced dipoles and mechanical stresses generated within the material.


title: Invalid proxies and volatility changes

abstract: When in proxy-SVARs the covariance matrix of VAR disturbances is subject to exogenous, permanent, nonrecurring breaks that generate target impulse response functions (IRFs) that change across volatility regimes, even strong, exogenous external instruments can result in inconsistent estimates of the dynamic causal effects of interest if the breaks are not properly accounted for. In such cases, it is essential to explicitly incorporate the shifts in unconditional volatility in order to point-identify the target structural shocks and possibly restore consistency. We demonstrate that, under a necessary and sufficient rank condition that leverages moments implied by changes in volatility, the target IRFs can be point-identified and consistently estimated. Importantly, standard asymptotic inference remains valid in this context despite (i) the covariance between the proxies and the instrumented structural shocks being local-to-zero, as in Staiger and Stock (1997), and (ii) the potential failure of instrument exogeneity. We introduce a novel identification strategy that appropriately combines external instruments with "informative" changes in volatility, thus obviating the need to assume proxy relevance and exogeneity in estimation. We illustrate the effectiveness of the suggested method by revisiting a fiscal proxy-SVAR previously estimated in the literature, complementing the fiscal instruments with information derived from the massive reduction in volatility observed in the transition from the Great Inflation to the Great Moderation regimes.


title: Sticky-threshold diffusions, local time approximation and parameter estimation

abstract: We study a class of high frequency path functionals of a diffusion with a singular threshold, including the case of a sticky-reflection, and establish convergence to the local time. These functionals are built upon a test function and a normalizing sequence. This advances existing results on sticky, oscillating (regime-switching) and skew or reflecting diffusions in several directions. First, it considers any normalizing sequence that diverges slower than $n$. Second, it establishes the result for a sticky-oscillating-skew (SOS) threshold. Based on this, and an approximation of the occupation time, we devise consistent skew and stickiness parameter estimators.


title: DAM: Dynamic Adapter Merging for Continual Video QA Learning

abstract: We present a parameter-efficient method for continual video question-answering (VidQA) learning. Our method, named DAM, uses the proposed Dynamic Adapter Merging to (i) mitigate catastrophic forgetting, (ii) enable efficient adaptation to continually arriving datasets, (iii) handle inputs from unknown datasets during inference, and (iv) enable knowledge sharing across similar dataset domains. Given a set of continually streaming VidQA datasets, we sequentially train dataset-specific adapters for each dataset while freezing the parameters of a large pretrained video-language backbone. During inference, given a video-question sample from an unknown domain, our method first uses the proposed non-parametric router function to compute a probability for each adapter, reflecting how relevant that adapter is to the current video-question input instance. Subsequently, the proposed dynamic adapter merging scheme aggregates all the adapter weights into a new adapter instance tailored for that particular test sample to compute the final VidQA prediction, mitigating the impact of inaccurate router predictions and facilitating knowledge sharing across domains. Our DAM model outperforms prior state-of-the-art continual learning approaches by 9.1% while exhibiting 1.9% less forgetting on 6 VidQA datasets spanning various domains. We further extend DAM to continual image classification and image QA and outperform prior methods by a large margin. The code is publicly available at: https://github.com/klauscc/DAM


title: Point-variety incidences, unit distances and Zarankiewicz's problem for algebraic graphs

abstract: In this paper we study the number of incidences between $m$ points and $n$ varieties in $\mathbb{F}^d$, where $\mathbb{F}$ is an arbitrary field, assuming the incidence graph contains no copy of $K_{s,s}$. We also consider the analogous problem for algebraically defined graphs and unit distance graphs. First, we prove that if $\mathcal{P}$ is a set of $m$ points and $\mathcal{V}$ is a set of $n$ varieties in $\mathbb{F}^{D}$, each of dimension $d$ and degree at most $\Delta$, and in addition the incidence graph is $K_{s,s}$-free, then the number of incidences satisfies $I(\mathcal{P}, \mathcal{V})\leq O_{d,\Delta, s}(m^{\frac{d}{d+1}} n+m)$. This bound is tight when $s,\Delta$ are sufficiently large with respect to $d$, with an appropriate choice of $\mathbb{F}=\mathbb{F}(m,n)$. We give two proofs of this upper bound, one based on the framework of the induced Tur\'an problems and the other based on VC-dimension theory. In the second proof, we extend the celebrated result of R\'onyai, Babai and Ganapathy on the number of zero-patterns of polynomials to the context of varieties, which might be of independent interest. We also resolve the problem of finding the maximum number of unit distances which can be spanned by a set of $n$ points $\mathcal{P}$ in $\mathbb{F^d}$ whose unit-distance graph is $K_{s, s}$-free, showing that it is $\Theta_{d,s}(n^{2-\frac{1}{\lceil d/2\rceil +1}})$. Finally, we obtain tight bounds on the maximum number of edges of a $K_{s, s}$-free algebraic graph defined over a finite field, thus resolving the Zarankiewicz problem for this class of graphs.


title: Efficient Combinatorial Optimization via Heat Diffusion

abstract: Combinatorial optimization problems are widespread but inherently challenging due to their discrete nature.The primary limitation of existing methods is that they can only access a small fraction of the solution space at each iteration, resulting in limited efficiency for searching the global optimal. To overcome this challenge, diverging from conventional efforts of expanding the solver's search scope, we focus on enabling information to actively propagate to the solver through heat diffusion. By transforming the target function while preserving its optima, heat diffusion facilitates information flow from distant regions to the solver, providing more efficient navigation. Utilizing heat diffusion, we propose a framework for solving general combinatorial optimization problems. The proposed methodology demonstrates superior performance across a range of the most challenging and widely encountered combinatorial optimizations. Echoing recent advancements in harnessing thermodynamics for generative artificial intelligence, our study further reveals its significant potential in advancing combinatorial optimization.


title: Spatiotemporal Diffusion Model with Paired Sampling for Accelerated Cardiac Cine MRI

abstract: Current deep learning reconstruction for accelerated cardiac cine MRI suffers from spatial and temporal blurring. We aim to improve image sharpness and motion delineation for cine MRI under high undersampling rates. A spatiotemporal diffusion enhancement model conditional on an existing deep learning reconstruction along with a novel paired sampling strategy was developed. The diffusion model provided sharper tissue boundaries and clearer motion than the original reconstruction in experts evaluation on clinical data. The innovative paired sampling strategy substantially reduced artificial noises in the generative results.


title: Observational tests in scale invariance I: galaxy clusters and rotation of galaxies

abstract: Galaxy velocities in clusters, rotation curves of galaxies, and "vertical" oscillations in the Milky Way currently show too high velocities with respect to the masses thought to be involved. While these velocity excesses are currently interpreted as the consequence of dark matter, it can also be naturally explained as a consequence of scale invariant theory, which rests on a very simple first principle: the addition of a new fundamental symmetry. In the present work, the case of scale invariance, present in General Relativity and Maxwell equations for the empty space without charge and current, is considered. Cosmological models predict a rapid decrease of these effects with increasing mean density up to the critical density, where they totally disappear. Starting from the scale invariant geodesic equation by Dirac (1973), for which a demonstration by an action principle is presented, a modified Newton equation is derived. The solutions of this equation are applied to clusters of galaxies, galactic rotation at different redshifts and "vertical" motions in the Milky Way. In this new framework, the convergence of theoretical predictions and observations, in different gravitational systems, epochs, mass range and spatial scales, opens interesting perspectives that deserve to be explored further.


title: MIM4D: Masked Modeling with Multi-View Video for Autonomous Driving Representation Learning

abstract: Learning robust and scalable visual representations from massive multi-view video data remains a challenge in computer vision and autonomous driving. Existing pre-training methods either rely on expensive supervised learning with 3D annotations, limiting the scalability, or focus on single-frame or monocular inputs, neglecting the temporal information. We propose MIM4D, a novel pre-training paradigm based on dual masked image modeling (MIM). MIM4D leverages both spatial and temporal relations by training on masked multi-view video inputs. It constructs pseudo-3D features using continuous scene flow and projects them onto 2D plane for supervision. To address the lack of dense 3D supervision, MIM4D reconstruct pixels by employing 3D volumetric differentiable rendering to learn geometric representations. We demonstrate that MIM4D achieves state-of-the-art performance on the nuScenes dataset for visual representation learning in autonomous driving. It significantly improves existing methods on multiple downstream tasks, including BEV segmentation (8.7% IoU), 3D object detection (3.5% mAP), and HD map construction (1.4% mAP). Our work offers a new choice for learning representation at scale in autonomous driving. Code and models are released at https://github.com/hustvl/MIM4D


title: Segmentation of Knee Bones for Osteoarthritis Assessment: A Comparative Analysis of Supervised, Few-Shot, and Zero-Shot Learning Approaches

abstract: Knee osteoarthritis is a degenerative joint disease that induces chronic pain and disability. Bone morphological analysis is a promising tool to understand the mechanical aspect of this disorder. This study proposes a 2D bone morphological analysis using manually segmented bones to explore morphological features related to distinct pain conditions. Furthermore, six semantic segmentation algorithms are assessed for extracting femur and tibia bones from X-ray images. Our analysis reveals that the morphology of the femur undergoes significant changes in instances where pain worsens. Conversely, improvements in pain may not manifest pronounced alterations in bone shape. The few-shot-learning-based algorithm, UniverSeg, demonstrated superior segmentation results with Dice scores of 99.69% for femur and 99.60% for tibia. Regarding pain condition classification, the zero-shot-learning-based algorithm, CP-SAM, achieved the highest accuracy at 66% among all models. UniverSeg is recommended for automatic knee bone segmentation, while SAM models show potential with prompt encoder modifications for optimized outcomes. These findings highlight the effectiveness of few-shot learning for semantic segmentation and the potential of zero-shot learning in enhancing classification models for knee osteoarthritis diagnosis.


title: Multi-axis inertial sensing with 2D arrays of Bose Einstein Condensates

abstract: Atom interferometers are an exquisite measurement tool for inertial forces. However, they are commonly limited to one single sensitive axis, allowing high-precision multi-dimensional sensing only through subsequent or postcorrected measurements. Here, we introduce a novel 2D-array-arrangement of Bose-Einstein Condensates (BEC) initialized utilizing time-averaged optical potentials for simultaneous multi-axis inertial sensing. Deploying a 3 x 3 BEC array covering 1.6 mm^2, we perform measurements of angular velocity and acceleration of a rotating reference mirror, as well as a linear acceleration, e.g., induced by gravity, gradients, and higher order derivatives. We anticipate increased sensitivity of our method in interferometers with large scale factors in long-baseline or satellite atom interferometry. Our work paves the way for simple high-precision multi-axis inertial sensing and we envision further applications, e.g., for three-dimensional wave front characterization.


title: Simple and Scalable Strategies to Continually Pre-train Large Language Models

abstract: Large language models (LLMs) are routinely pre-trained on billions of tokens, only to start the process over again once new data becomes available. A much more efficient solution is to continually pre-train these models, saving significant compute compared to re-training. However, the distribution shift induced by new data typically results in degraded performance on previous data or poor adaptation to the new data. In this work, we show that a simple and scalable combination of learning rate (LR) re-warming, LR re-decaying, and replay of previous data is sufficient to match the performance of fully re-training from scratch on all available data, as measured by the final loss and the average score on several language model (LM) evaluation benchmarks. Specifically, we show this for a weak but realistic distribution shift between two commonly used LLM pre-training datasets (English$\rightarrow$English) and a stronger distribution shift (English$\rightarrow$German) at the $405$M parameter model scale with large dataset sizes (hundreds of billions of tokens). Selecting the weak but realistic shift for larger-scale experiments, we also find that our continual learning strategies match the re-training baseline for a 10B parameter LLM. Our results demonstrate that LLMs can be successfully updated via simple and scalable continual learning strategies, matching the re-training baseline using only a fraction of the compute. Finally, inspired by previous work, we propose alternatives to the cosine learning rate schedule that help circumvent forgetting induced by LR re-warming and that are not bound to a fixed token budget.


title: VLOGGER: Multimodal Diffusion for Embodied Avatar Synthesis

abstract: We propose VLOGGER, a method for audio-driven human video generation from a single input image of a person, which builds on the success of recent generative diffusion models. Our method consists of 1) a stochastic human-to-3d-motion diffusion model, and 2) a novel diffusion-based architecture that augments text-to-image models with both spatial and temporal controls. This supports the generation of high quality video of variable length, easily controllable through high-level representations of human faces and bodies. In contrast to previous work, our method does not require training for each person, does not rely on face detection and cropping, generates the complete image (not just the face or the lips), and considers a broad spectrum of scenarios (e.g. visible torso or diverse subject identities) that are critical to correctly synthesize humans who communicate. We also curate MENTOR, a new and diverse dataset with 3d pose and expression annotations, one order of magnitude larger than previous ones (800,000 identities) and with dynamic gestures, on which we train and ablate our main technical contributions. VLOGGER outperforms state-of-the-art methods in three public benchmarks, considering image quality, identity preservation and temporal consistency while also generating upper-body gestures. We analyze the performance of VLOGGER with respect to multiple diversity metrics, showing that our architectural choices and the use of MENTOR benefit training a fair and unbiased model at scale. Finally we show applications in video editing and personalization.


title: An Analytic Description of Electron Thermalization in Kilonovae Ejecta

abstract: A simple analytic description is provided of the rate of energy deposition by $\beta$-decay electrons in the homologously expanding radioactive plasma ejected in neutron star mergers, valid for a wide range of ejecta parameters -- initial entropy, electron fraction $\{s_0,Y_e\}$ and density $\rho t^3$. The formulae are derived using detailed numerical calculations following the time-dependent composition and $\beta$-decay emission spectra (including the effect of delayed deposition). The deposition efficiency depends mainly on $\rho t^3$ and only weakly on $\{s_0,Y_e\}$. The time $t_e$ at which the ratio between the rates of electron energy deposition and energy production drops to $1-e^{-1}$, is given by $t_e=t_{0e}\Big(\frac{\rho t^3}{0.5(\rho t^3)_0}\Big)^a$, where $(\rho t^3)_0=\frac{0.05M_{\odot}}{4\pi(0.2c)^3}$, $t_{0e}(s_0,Y_e)\approx17$ days and $0.4\le a(s_0,Y_e)\le0.5$. The fractional uncertainty in $t_e$ due to nuclear physics uncertainties is $\approx10\%$. The result $a\le0.5$ reflects the fact that the characteristic $\beta$-decay electron energies do not decrease with time (largely due to "inverted decay chains" in which a slowly-decaying isotope decays to a rapidly-decaying isotope with higher end-point energy). We provide an analytic approximation for the time-dependent electron energy deposition rate, reproducing the numerical results to better than $50\%$ (typically $<30\%$, well within the energy production rate uncertainty due to nuclear physics uncertainties) over a 3-4 orders-of-magnitude deposition rate decrease with time. Our results may be easily incorporated in calculations of kilonovae light curves (with general density and composition structures), eliminating the need to numerically follow the time-dependent electron spectra. Identifying $t_e$, e.g. in the bolometric light curve, will constrain the (properly averaged) ejecta $\rho t^3$.


title: MonoOcc: Digging into Monocular Semantic Occupancy Prediction

abstract: Monocular Semantic Occupancy Prediction aims to infer the complete 3D geometry and semantic information of scenes from only 2D images. It has garnered significant attention, particularly due to its potential to enhance the 3D perception of autonomous vehicles. However, existing methods rely on a complex cascaded framework with relatively limited information to restore 3D scenes, including a dependency on supervision solely on the whole network's output, single-frame input, and the utilization of a small backbone. These challenges, in turn, hinder the optimization of the framework and yield inferior prediction results, particularly concerning smaller and long-tailed objects. To address these issues, we propose MonoOcc. In particular, we (i) improve the monocular occupancy prediction framework by proposing an auxiliary semantic loss as supervision to the shallow layers of the framework and an image-conditioned cross-attention module to refine voxel features with visual clues, and (ii) employ a distillation module that transfers temporal information and richer knowledge from a larger image backbone to the monocular semantic occupancy prediction framework with low cost of hardware. With these advantages, our method yields state-of-the-art performance on the camera-based SemanticKITTI Scene Completion benchmark. Codes and models can be accessed at https://github.com/ucaszyp/MonoOcc


title: On the eigenvalues of the harmonic oscillator with a Gaussian perturbation

abstract: We test the analytical expressions for the first two eigenvalues of the harmonic oscillator with a Gaussian perturbation proposed recently. Our numerical eigenvalues show that those expressions are valid in an interval of the coupling parameter that is greater than the one estimated by the authors. We also calculate critical values of the coupling parameter and several exceptional points in the complex plane.


title: 3DFIRES: Few Image 3D REconstruction for Scenes with Hidden Surface

abstract: This paper introduces 3DFIRES, a novel system for scene-level 3D reconstruction from posed images. Designed to work with as few as one view, 3DFIRES reconstructs the complete geometry of unseen scenes, including hidden surfaces. With multiple view inputs, our method produces full reconstruction within all camera frustums. A key feature of our approach is the fusion of multi-view information at the feature level, enabling the production of coherent and comprehensive 3D reconstruction. We train our system on non-watertight scans from large-scale real scene dataset. We show it matches the efficacy of single-view reconstruction methods with only one input and surpasses existing techniques in both quantitative and qualitative measures for sparse-view 3D reconstruction.


title: The thermalization of $\gamma$-rays in radioactive expanding ejecta: A simple model and its application for Kilonovae and Ia SNe

abstract: A semi-analytic approximation is derived for the time-dependent fraction $f_\gamma(t)$ of the energy deposited by radioactive decay $\gamma$-rays in a homologously expanding plasma of general structure. An analytic approximation is given for spherically symmetric plasma distributions. Applied to Kilonovae (KNe) associated with neutron stars mergers and Type Ia supernovae, our semi-analytic and analytic approximations reproduce, with a few percent and 10% accuracy, respectively, the energy deposition rates, $\dot{Q}_\text{dep}$, obtained in numeric Monte Carlo calculations. The time $t_\gamma$ beyond which $\gamma$-ray deposition is inefficient is determined by an effective frequency-independent $\gamma$-ray opacity $\kappa_{\gamma,\text{eff}}$, $t_\gamma = \sqrt{\kappa_{\gamma,\text{eff}}\langle\Sigma\rangle t^2}$, where $\langle\Sigma\rangle\propto t^{-2}$ is the average plasma column density. For $\beta$-decay dominated energy release, $\kappa_{\gamma,\text{eff}}$ is typically close to the effective Compton scattering opacity, $\kappa_{\gamma,\text{eff}} \approx 0.025~{\rm {cm}^{2}\,g^{-1}}$ with a weak dependence on composition. For KNe, $\kappa_{\gamma,\text{eff}}$ depends mainly on the initial electron fraction $Y_e$, $\kappa_{\gamma,\text{eff}} \approx 0.03(0.05)~{\rm {cm}^{2}\,g^{-1}}$ for $Y_e \gtrsim (\lesssim) 0.25$ (in contrast with earlier work that found $\kappa_{\gamma,\text{eff}}$ larger by 1-2 orders of magnitude for low $Y_e$), and is insensitive to the (large) nuclear physics uncertainties. Determining $t_\gamma$ from observations will therefore measure the ejecta $\langle\Sigma\rangle t^2$, providing a stringent test of models. For $\langle\Sigma\rangle t^2=2\times10^{11}~{\rm g\,{cm}^{-2}\,s^2}$, a typical value expected for KNe, $t_\gamma\approx1$ d.


title: FastMAC: Stochastic Spectral Sampling of Correspondence Graph

abstract: 3D correspondence, i.e., a pair of 3D points, is a fundamental concept in computer vision. A set of 3D correspondences, when equipped with compatibility edges, forms a correspondence graph. This graph is a critical component in several state-of-the-art 3D point cloud registration approaches, e.g., the one based on maximal cliques (MAC). However, its properties have not been well understood. So we present the first study that introduces graph signal processing into the domain of correspondence graph. We exploit the generalized degree signal on correspondence graph and pursue sampling strategies that preserve high-frequency components of this signal. To address time-consuming singular value decomposition in deterministic sampling, we resort to a stochastic approximate sampling strategy. As such, the core of our method is the stochastic spectral sampling of correspondence graph. As an application, we build a complete 3D registration algorithm termed as FastMAC, that reaches real-time speed while leading to little to none performance drop. Through extensive experiments, we validate that FastMAC works for both indoor and outdoor benchmarks. For example, FastMAC can accelerate MAC by 80 times while maintaining high registration success rate on KITTI. Codes are publicly available at https://github.com/Forrest-110/FastMAC.


title: Pathfinding of Digital False Information Diffusion by Conformal Field Theory and Feynman's Green's Function: Multiple Analysis Considering Stress Energy Tensor and Symmetry of Virasoro Operators

abstract: This study delves into the application of Conformal Field Theory (CFT) to understand information diffusion within digital media and its broader social implications. Focusing on the digital native generation, vulnerable to misinformation and data privacy issues, the research highlights the urgency of addressing psychological health in the digital realm. By leveraging CFT's analytical power, particularly in tracing information flows and assessing the impact of misinformation, the study offers novel insights into the dynamics of digital communication. It proposes a model for predicting and analyzing the spread of biased content, emphasizing the need for improved information literacy and personal data protection. This paper explores the concept of infinitesimal conformal transformations using the Virasoro operator, forming a conformal transformation group. In the examination of multiple analytical methods, the approach to quantitatively analyze cases that are likely to expose the risk of spreading filter bubbles such as negative information, rumors, and fake news is to incorporate a two-dimensional conformal field theory approach using the Ward-Takahashi identity and path integral with trace anomalies and metric are introduced. Trace anomalies and metrics were introduced. A trace anomaly refers to the spread of information in an unexpected way, usually indicating anomalous behavior or hidden dynamics in the system. Metric variation hypothesized and analyzed how diffusion characteristics, such as the rate and pattern of information diffusion, vary over time.


title: Delay-independent dual-rate PID controller for a packetbased Networked Control System

abstract: In this paper, a novel delay-independent control structure for a networked control system (NCS) is proposed, where packet-based control strategies with predictor-based and dual-rate control techniques are integrated. The control solution is able to cope with some networked communication problems such as time-varying delays, packet dropouts and packet disorder. In addition, the proposed approach enables to reduce network load, and usage of connected devices, while maintaining a satisfactory control performance. As a delayindependent control solution, no network-induced delay measurement is needed for controller implementation. In addition, the control scheme is applicable to open-loop unstable plants. Control system stability is ensured in terms of linear matrix inequalities (LMIs). Simulation results show the main benefits of the control approach, which are experimentally validated by means of a Cartesian-robot-based test-bed platform.


title: Veagle: Advancements in Multimodal Representation Learning

abstract: Lately, researchers in artificial intelligence have been really interested in how language and vision come together, giving rise to the development of multimodal models that aim to seamlessly integrate textual and visual information. Multimodal models, an extension of Large Language Models (LLMs), have exhibited remarkable capabilities in addressing a diverse array of tasks, ranging from image captioning and visual question answering (VQA) to visual grounding. While these models have showcased significant advancements, challenges persist in accurately interpreting images and answering the question, a common occurrence in real-world scenarios. This paper introduces a novel approach to enhance the multimodal capabilities of existing models. In response to the limitations observed in current Vision Language Models (VLMs) and Multimodal Large Language Models (MLLMs), our proposed model Veagle, incorporates a unique mechanism inspired by the successes and insights of previous works. Veagle leverages a dynamic mechanism to project encoded visual information directly into the language model. This dynamic approach allows for a more nuanced understanding of intricate details present in visual contexts. To validate the effectiveness of Veagle, we conduct comprehensive experiments on benchmark datasets, emphasizing tasks such as visual question answering and image understanding. Our results indicate a improvement of 5-6 \% in performance, with Veagle outperforming existing models by a notable margin. The outcomes underscore the model's versatility and applicability beyond traditional benchmarks.


title: Discussion of Loop Expansion and Introduction of Series Cutting Functions to Local Potential Approximation: Complexity Analysis Using Green's Functions, Cutting Of Nth-Order Social Interactions For Progressive Safety

abstract: In this study, we focus on the aforementioned paper, "Examination Kubo-Matsubara Green's Function Of The Edwards-Anderson Model: Extreme Value Information Flow Of Nth-Order Interpolated Extrapolation Of Zero Phenomena Using The Replica Method (2024)". This paper also applies theoretical physics methods to better understand the filter bubble phenomenon, focusing in particular on loop expansions and truncation functions. Using the loop expansion method, the complexity of social interactions during the occurrence of filter bubbles will be discussed in order to introduce series, express mathematically, and evaluate the impact of these interactions. We analyze the interactions between agents and their time evolution using a variety of Green's functions, including delayed Green's functions, advanced Green's functions, and causal Green's functions, to capture the dynamic response of the system through local potential approximations. In addition, we apply truncation functions and truncation techniques to ensure incremental safety and evaluate the long-term stability of the system. This approach will enable a better understanding of the mechanisms of filter bubble generation and dissolution, and discuss insights into their prevention and management. This research explores the possibilities of applying theoretical physics frameworks to social science problems and examines methods for analyzing the complex dynamics of information flow and opinion formation in digital society.This paper is partially an attempt to utilize "Generative AI" and was written with educational intent. There are currently no plans for it to become a peer-reviewed paper.


title: Constrained Reinforcement Learning for Adaptive Controller Synchronization in Distributed SDN

abstract: In software-defined networking (SDN), the implementation of distributed SDN controllers, with each controller responsible for managing a specific sub-network or domain, plays a critical role in achieving a balance between centralized control, scalability, reliability, and network efficiency. These controllers must be synchronized to maintain a logically centralized view of the entire network. While there are various approaches for synchronizing distributed SDN controllers, most tend to prioritize goals such as optimization of communication latency or load balancing, often neglecting to address both the aspects simultaneously. This limitation becomes particularly significant when considering applications like Augmented and Virtual Reality (AR/VR), which demand constrained network latencies and substantial computational resources. Additionally, many existing studies in this field predominantly rely on value-based reinforcement learning (RL) methods, overlooking the potential advantages offered by state-of-the-art policy-based RL algorithms. To bridge this gap, our work focuses on examining deep reinforcement learning (DRL) techniques, encompassing both value-based and policy-based methods, to guarantee an upper latency threshold for AR/VR task offloading within SDN environments, while selecting the most cost-effective servers for AR/VR task offloading. Our evaluation results indicate that while value-based methods excel in optimizing individual network metrics such as latency or load balancing, policy-based approaches exhibit greater robustness in adapting to sudden network changes or reconfiguration.


title: Leveraging Chat-Based Large Vision Language Models for Multimodal Out-Of-Context Detection

abstract: Out-of-context (OOC) detection is a challenging task involving identifying images and texts that are irrelevant to the context in which they are presented. Large vision-language models (LVLMs) are effective at various tasks, including image classification and text generation. However, the extent of their proficiency in multimodal OOC detection tasks is unclear. In this paper, we investigate the ability of LVLMs to detect multimodal OOC and show that these models cannot achieve high accuracy on OOC detection tasks without fine-tuning. However, we demonstrate that fine-tuning LVLMs on multimodal OOC datasets can further improve their OOC detection accuracy. To evaluate the performance of LVLMs on OOC detection tasks, we fine-tune MiniGPT-4 on the NewsCLIPpings dataset, a large dataset of multimodal OOC. Our results show that fine-tuning MiniGPT-4 on the NewsCLIPpings dataset significantly improves the OOC detection accuracy in this dataset. This suggests that fine-tuning can significantly improve the performance of LVLMs on OOC detection tasks.


title: Alya towards Exascale: Optimal OpenACC Performance of the Navier-Stokes Finite Element Assembly on GPUs

abstract: This paper addresses the challenge of providing portable and highly efficient code structures for CPU and GPU architectures. We choose the assembly of the right-hand term in the incompressible flow module of the High-Performance Computational Mechanics code Alya, which is one of the two CFD codes in the Unified European Benchmark Suite. Starting from an efficient CPU-code and a related OpenACC-port for GPUs we successively investigate performance potentials arising from code specialization, algorithmic restructuring and low-level optimizations. We demonstrate that only the combination of these different dimensions of runtime optimization unveils the full performance potential on the GPU and CPU. Roofline-based performance modelling is applied in this process and we demonstrate the need to investigate new optimization strategies if a classical roofline limit such as memory bandwidth utilization is achieved, rather than stopping the process. The final unified OpenACC-based implementation boosts performance by more than 50x on an NVIDIA A100 GPU (achieving approximately 2.5 TF/s FP64) and a further factor of 5x for an Intel Icelake based CPU-node (achieving approximately 1.0 TF/s FP64). The insights gained in our manual approach lays ground implementing unified but still highly efficient code structures for related kernels in Alya and other applications. These can be realized by manual coding or automatic code generation frameworks.


title: Faster Projected GAN: Towards Faster Few-Shot Image Generation

abstract: In order to solve the problems of long training time, large consumption of computing resources and huge parameter amount of GAN network in image generation, this paper proposes an improved GAN network model, which is named Faster Projected GAN, based on Projected GAN. The proposed network is mainly focuses on the improvement of generator of Projected GAN. By introducing depth separable convolution (DSC), the number of parameters of the Projected GAN is reduced, the training speed is accelerated, and memory is saved. Experimental results show that on ffhq-1k, art-painting, Landscape and other few-shot image datasets, a 20% speed increase and a 15% memory saving are achieved. At the same time, FID loss is less or no loss, and the amount of model parameters is better controlled. At the same time, significant training speed improvement has been achieved in the small sample image generation task of special scenes such as earthquake scenes with few public datasets.


title: Modules over linear spaces admitting a multiplicative basis

abstract: We study the structure of certain modules $V$ over linear spaces $W$ with restrictions neither on the dimensions nor on the base field $\mathbb F$. A basis $\mathfrak B = \{v_i\}_{i\in I}$ of $V$ is called multiplicative respect to the basis $\mathfrak B' = \{w_j\}_{j \in J}$ of $W$ if for any $i \in I, j \in J$ we have either $v_iw_j = 0$ or $0 \neq v_iw_j \in \mathbb Fv_k$ for some $k \in I$. We show that if $V$ admits a multiplicative basis then it decomposes as the direct sum $V=\bigoplus_k V_k$ of well-described submodules admitting each one a multiplicative basis. Also the minimality of $V$ is characterized in terms of the multiplicative basis and it is shown that the above direct sum is by means of the family of its minimal submodules, admitting each one a multiplicative basis.


title: 5 Year Update to the Next Steps in Quantum Computing

abstract: It has been 5 years since the Computing Community Consortium (CCC) Workshop on Next Steps in Quantum Computing, and significant progress has been made in closing the gap between useful quantum algorithms and quantum hardware. Yet much remains to be done, in particular in terms of mitigating errors and moving towards error-corrected machines. As we begin to transition from the Noisy-Intermediate Scale Quantum (NISQ) era to a future of fault-tolerant machines, now is an opportune time to reflect on how to apply what we have learned thus far and what research needs to be done to realize computational advantage with quantum machines.


title: Time-Quantitatively Nonblocking Supervisory Control of Timed Discrete-Event Systems

abstract: Recently we proposed an automaton property of quantitative nonblockingness in supervisory control of discrete-event systems, which quantifies the standard nonblocking property by capturing the practical requirement that all tasks be completed within a bounded number of steps. However, in practice tasks may be further required to be completed in specific time; this requirement cannot be fulfilled by the quantitatively nonblocking supervisor. To meet this new requirement, in this paper we introduce the concept of time-quantitative nonblockingness, which extends the concept of quantitative nonblockingness from untimed discrete-event systems (DES) to timed DES. This property requires that each task must be completed within a bounded time. Accordingly, we formulate a new time-quantitatively nonblocking supervisory control problem of TDES, and characterize its solvability in terms of a new concept of time-quantitative language completability. It is proved that there exists a unique supremal time-quantitatively completable sublanguage of a given language, and we develop an automaton-based algorithm to compute the supremal sublanguage. Finally, we present an approach to compute a maximally permissive supervisory control solution to the new time-quantitative nonblocking supervisory control problem.


title: Procedural terrain generation with style transfer

abstract: In this study we introduce a new technique for the generation of terrain maps, exploiting a combination of procedural generation and Neural Style Transfer. We consider our approach to be a viable alternative to competing generative models, with our technique achieving greater versatility, lower hardware requirements and greater integration in the creative process of designers and developers. Our method involves generating procedural noise maps using either multi-layered smoothed Gaussian noise or the Perlin algorithm. We then employ an enhanced Neural Style transfer technique, drawing style from real-world height maps. This fusion of algorithmic generation and neural processing holds the potential to produce terrains that are not only diverse but also closely aligned with the morphological characteristics of real-world landscapes, with our process yielding consistent terrain structures with low computational cost and offering the capability to create customized maps. Numerical evaluations further validate our model's enhanced ability to accurately replicate terrain morphology, surpassing traditional procedural methods.


title: Image-Text Out-Of-Context Detection Using Synthetic Multimodal Misinformation

abstract: Misinformation has become a major challenge in the era of increasing digital information, requiring the development of effective detection methods. We have investigated a novel approach to Out-Of-Context detection (OOCD) that uses synthetic data generation. We created a dataset specifically designed for OOCD and developed an efficient detector for accurate classification. Our experimental findings validate the use of synthetic data generation and demonstrate its efficacy in addressing the data limitations associated with OOCD. The dataset and detector should serve as valuable resources for future research and the development of robust misinformation detection systems.


title: Product Calculus and Stokes Theorem

abstract: In this paper the analogy between differential forms arising from integrals in additive calculus and forms arising from the integrals in product calculus is investigated. It is found that with an appropriate definition of scalar multiplication and vector addition a set of vector spaces can be constructed analogous to what is found in exterior calculus. A product differential is defined which allows for the product derivative version of closed and exact forms. The product differential also allows for a product integral version of Stokes theorem (for scalar functions).


title: On finite group scheme-theoretical categories, II

abstract: Let $\mathcal{C}:=\mathcal{C}(G,\omega,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as defined by the first author. For any indecomposable exact module category over $\mathcal{C}$, we classify its simple objects and provide an expression for their projective covers, in terms of double cosets and projective representations of certain closed subgroup schemes of $G$. This upgrades a result of Ostrik for group-theoretical fusion categories in characteristic $0$, and generalizes our previous work for the case $\omega=1$. As a byproduct, we describe the simples and indecomposable projectives of $\mathcal{C}$. Finally, we apply our results to describe the blocks of the center of ${\rm Coh}(G,\omega)$.