title: The theory and applications of anticolimits

abstract: Colimits are a fundamental construction in category theory. They provide a way to construct new objects by gluing together existing objects that are related in some way. We introduce a complementary notion of anticolimits, which provide a way to decompose an object into a colimit of other objects. While anticolimits are not unique in general, we establish that in the presence of pullbacks, there is a "canonical" anticolimit which characterises the existence of other anticolimits. We also provide convenient techniques for computing anticolimits, by changing either the shape or ambient category. The main motivation for this work is the development of a new method, known as anticontraction, for constructing homotopies in the proof assistant homotopy.io for finitely presented $n$-categories. Anticontraction complements the existing contraction method and facilitates the construction of homotopies increasing the complexity of a term, enhancing the usability of the proof assistant. For example, it simplifies the naturality move and third Reidemeister move.


title: Dynamical Survival Analysis with Controlled Latent States

abstract: We consider the task of learning individual-specific intensities of counting processes from a set of static variables and irregularly sampled time series. We introduce a novel modelization approach in which the intensity is the solution to a controlled differential equation. We first design a neural estimator by building on neural controlled differential equations. In a second time, we show that our model can be linearized in the signature space under sufficient regularity conditions, yielding a signature-based estimator which we call CoxSig. We provide theoretical learning guarantees for both estimators, before showcasing the performance of our models on a vast array of simulated and real-world datasets from finance, predictive maintenance and food supply chain management.


title: Quantum propagating front and the edge of the Wigner function

abstract: In the first part of the article, we study one-dimensional noninteracting fermions in the continuum and in the presence of the repulsive inverse power law potential, with an emphasis on the Wigner function in the semiclassical limit. In this limit, the Wigner function exhibits an edge called the Fermi surf that depends only on the classical one-particle Hamiltonian. Around the Fermi surf, under a well-defined semiclassical limit, the Wigner function can be expressed in terms of Airy functions which yield a smooth matching between the two regions delimited by the Fermi surf. In the second part of the article, the system is prepared in the ground state of the inverse power law potential where only the left half line is filled with fermions. Then the potential is switched off, resulting in the emergence of a propagating quantum front. We show that the power law decay of the pre-quench potential that separates the left and right half systems leads to the emergence of the Airy kernel (well known in Random Matrix Theory) at the quantum front in the long-time limit. This also comes with anomalous diffusive spreading around the front.


title: Unprecedentedly large superconducting gap in HgBa$_2$Ca$_2$Cu$_3$O$_{8+\delta}$ with the highest $T_c$ at ambient pressure

abstract: In cuprate superconductors, the highest superconducting transition temperature $T_c$ is possessed by the HgBa$_2$Ca$_2$Cu$_3$O$_{8+\delta}$ (Hg-1223) system at ambient pressure, but the reason remains elusive. Here we report the scanning tunneling microscope measurements on the Hg-1223 single crystals with $T_c$ = 134 K. The observed superconducting gaps determined from the tunneling spectra can be categorized into two groups: the smaller gap $\Delta_1$ ranges from about 45 to 70 meV, while the larger gap $\Delta_2$ from about 65 to 98 meV. The observed unprecedentedly large gap value gives a straightforward explanation to the highest $T_c$ in the Hg-1223 system. The largest gap observed here is comparable to the magnetic superexchange energy and excludes any possibility of using phonon pictures to interpret the superconductivity. Interestingly, an extremely strong particle-hole asymmetry is observed in associating with a very robust coherence peak at the bias of the larger gap in the hole branch of the Bogoliubov dispersion. We propose that the observed asymmetry results from the interplay of a flat band (van Hove singularity) in the electronic spectrum and the large superconducting gap in the underdoped layer. This could be the main reason for the strong pairing, and significant enhancement of the density of states in the hole branch of the Bogoliubov band yielding strong phase coherence of Cooper pairs. A scenario based on a trilayer model with an interlayer coupling can give a reasonable explanation. Our results provide deep insight into understanding the mechanism of superconductivity in cuprate superconductors.


title: Assembling algorithm for Green's tensors and absorbing boundary conditions for Galbrun's equation in radial symmetry

abstract: Solar oscillations can be modeled by Galbrun's equation which describes Lagrangian wave displacement in a self-gravitating stratified medium. For spherically symmetric backgrounds, we construct an algorithm to compute efficiently and accurately the coefficients of the Green's tensor of the time-harmonic equation in vector spherical harmonic basis. With only two resolutions, our algorithm provides values of the kernels for all heights of source and receiver, and prescribes analytically the singularities of the kernels. We also derive absorbing boundary conditions (ABC) to model wave propagation in the atmosphere above the cut-off frequency. The construction of ABC, which contains varying gravity terms, is rendered difficult by the complex behavior of the solar potential in low atmosphere and for frequencies below the Lamb frequency. We carry out extensive numerical investigations to compare and evaluate the efficiency of the ABCs in capturing outgoing solutions. Finally, as an application towards helioseismology, we compute synthetic solar power spectra that contain pressure modes as well as internal-gravity (g-) and surface-gravity (f-) ridges which are missing in simpler approximations of the wave equation. For purpose of validation, the location of the ridges in the synthetic power spectra are compared with observed solar modes.


title: Shortcuts to adiabatic Thouless pumping

abstract: Thouless pumping, the quantized transport of particles in a cyclic adiabatic evolution, faces a challenge: slow driving may exceed the coherent time, while fast driving may break quantization. To address this dilemma, we propose to speed up Thouless pumping using shortcuts to adiabaticity. By using counterdiabatic theory, we analytically derive the controlled Hamiltonian for implementing dispersion-suppressed Thouless pumping beyond the adiabatic regime. Compared to traditional Thouless pumping methods, our fast topological pumping approach offers remarkable advantages. Firstly, it enables a substantial reduction of pumping time up to 11 orders of magnitude faster than the traditional approach. Secondly, our method effectively suppresses wavepacket diffusion, further enhancing its efficiency. Furthermore, we demonstrate the resilience of our protocol against moderate noise levels. Our study offers a practical and efficient method for achieving fast topological pumping beyond the adiabatic regime.


title: Casting manipulation of unknown string by robot arm

abstract: Casting manipulation has been studied to expand the robot's movable range. In this manipulation, the robot throws and reaches the end effector to a distant target. Usually, a special casting manipulator, which consists of rigid arm links and specific flexible linear objects, is constructed for an effective casting manipulation. However, the special manipulator cannot perform normal manipulations, such as picking and placing, grasping, and operating objects. We propose that the normal robot arm, which can perform normal tasks, picks up an unknown string in the surrounding environment and realizes casting manipulation with it. As the properties of the string are not provided in advance, it is crucial how to reflect it in casting manipulation. This is realized by the motion generation of the robot arm with the simulation of string movement, actual string manipulation by the robot arm, and string parameter estimation from the actual string movement. After repeating these three steps, the simulated string movement approximates the actual to realize casting manipulation with the unknown string. We confirmed the effectiveness of the proposed method through experiments. The try of this study will lead to enhancement of the performance of home service robot, exploration robot, rescue robot and entertainment robot.


title: Online Robot Navigation and Manipulation with Distilled Vision-Language Models

abstract: Autonomous robot navigation within the dynamic unknown environment is of crucial significance for mobile robotic applications including robot navigation in last-mile delivery and robot-enabled automated supplies in industrial and hospital delivery applications. Current solutions still suffer from limitations, such as the robot cannot recognize unknown objects in real-time and cannot navigate freely in a dynamic, narrow, and complex environment. We propose a complete software framework for autonomous robot perception and navigation within very dense obstacles and dense human crowds. First, we propose a framework that accurately detects and segments open-world object categories in a zero-shot manner, which overcomes the over-segmentation limitation of the current SAM model. Second, we proposed the distillation strategy to distill the knowledge to segment the free space of the walkway for robot navigation without the label. In the meantime, we design the trimming strategy that works collaboratively with distillation to enable lightweight inference to deploy the neural network on edge devices such as NVIDIA-TX2 or Xavier NX during autonomous navigation. Integrated into the robot navigation system, extensive experiments demonstrate that our proposed framework has achieved superior performance in terms of both accuracy and efficiency in robot scene perception and autonomous robot navigation.


title: On $2 \times 2$ MIMO Gaussian Channels with a Small Discrete-Time Peak-Power Constraint

abstract: A multi-input multi-output (MIMO) Gaussian channel with two transmit antennas and two receive antennas is studied that is subject to an input peak-power constraint. The capacity and the capacity-achieving input distribution are unknown in general. The problem is shown to be equivalent to a channel with an identity matrix but where the input lies inside and on an ellipse with principal axis length $r_p$ and minor axis length $r_m$. If $r_p \le \sqrt{2}$, then the capacity-achieving input has support on the ellipse. A sufficient condition is derived under which a two-point distribution is optimal. Finally, if $r_m < r_p \le \sqrt{2}$, then the capacity-achieving distribution is discrete.


title: Effective velocity and $L^\infty$-based well-posedness for incompressible fluids with odd viscosity

abstract: The present paper is concerned with the well-posedness theory for non-homogeneous incompressible fluids exhibiting odd (non-dissipative) viscosity effects. Differently from previous works, we consider here the full odd viscosity tensor. Similarly to the work of Bresch and Desjardins in compressible fluid mechanics, we identify the presence of an effective velocity in the system, linking the velocity field of the fluid and the gradient of a suitable function of the density. By use of this effective velocity, we propose a new formulation of the original system of equations, thus highlighting a strong similarity with the equations of the ideal magnetohydrodynamics. By taking advantage of the new formulation of the equations, we establish a local in time well-posedness theory in Besov spaces based on $L^\infty$ and prove a lower bound for the lifespan of the solutions implying ``asymptotically global'' existence: in the regime of small initial density variations, $\rho_0-1= O(\varepsilon)$ for small $\varepsilon>0$, the corresponding solution is defined up to some time $T_\varepsilon>0$ satisfying the property $T_\varepsilon\,\longrightarrow\,+\infty$ when $\varepsilon\to0^+$.


title: Active Generation Network of Human Skeleton for Action Recognition

abstract: Data generation is a data augmentation technique for enhancing the generalization ability for skeleton-based human action recognition. Most existing data generation methods face challenges to ensure the temporal consistency of the dynamic information for action. In addition, the data generated by these methods lack diversity when only a few training samples are available. To solve those problems, We propose a novel active generative network (AGN), which can adaptively learn various action categories by motion style transfer to generate new actions when the data for a particular action is only a single sample or few samples. The AGN consists of an action generation network and an uncertainty metric network. The former, with ST-GCN as the Backbone, can implicitly learn the morphological features of the target action while preserving the category features of the source action. The latter guides generating actions. Specifically, an action recognition model generates prediction vectors for each action, which is then scored using an uncertainty metric. Finally, UMN provides the uncertainty sampling basis for the generated actions.


title: Coherent $\gamma^*$-nucleus scattering and coherent nuclear states

abstract: In the context of a McLerran-Venugopalan (MV) model for a large nucleus, coherent scattering of a virtual photon on that nucleus is evaluated in the $A_-=0$ gauge, the gauge appropriate for the target nucleus. The evaluation of the scattering in $A_-=0$ gauge is very intricate compared to the usual $A_+=0$ gauge evaluation natural for the scattering process, but has the advantage of directly giving the scattering in terms of a partonic description of the nucleus. In the limit where a tagged forward jet puts the dipole-nucleus scattering in the saturation regime the coherent reactions are equal to the inelastic reactions. In terms of the nuclear wave function the coherent reactions come from color singlet and zero total transverse momentum quark-antiquark pairs in the wave function and in the saturation regime the nuclear wave function is a coherent state for these pairs. In the saturation region half of all quarks (or antiquarks) come from zero momentum and color charge pairs.


title: Hanbury Brown and Twiss interference of electrons in free space from independent needle tip sources

abstract: We investigate two-electron interference in free space using two laser-triggered needle tips as independent electron sources, a fermionic realisation of the landmark Hanbury Brown and Twiss interferometer. We calculate the two-electron interference pattern in a quantum path formalism taking into account the fermionic nature and the spin configuration of the electrons. We also estimate the Coulomb repulsion in the setup in a semiclassical approach. We find that antibunching resulting from Pauli's exclusion principle and repulsion stemming from the Coulomb interaction can be clearly distinguished.


title: Copula-based Estimation of Continuous Sources for a Class of Constrained Rate-Distortion-Functions

abstract: We present a new method to estimate the rate-distortion-perception function in the perfect realism regime (PR-RDPF), for multivariate continuous sources subject to a single-letter average distortion constraint. The proposed approach is not only able to solve the specific problem but also two related problems: the entropic optimal transport (EOT) and the output-constrained rate-distortion function (OC-RDF), of which the PR-RDPF represents a special case. Using copula distributions, we show that the OC-RDF can be cast as an I-projection problem on a convex set, based on which we develop a parametric solution of the optimal projection proving that its parameters can be estimated, up to an arbitrary precision, via the solution of a convex program. Subsequently, we propose an iterative scheme via gradient methods to estimate the convex program. Lastly, we characterize a Shannon lower bound (SLB) for the PR-RDPF under a mean squared error (MSE) distortion constraint. We support our theoretical findings with numerical examples by assessing the estimation performance of our iterative scheme using the PR-RDPF with the obtained SLB for various sources.


title: Team game adaptive dynamics

abstract: Adaptive dynamics describes a deterministic approximation of the evolution of scalar- and function-valued traits. Applying it to the team game developed by Menden-Deuer and Rowlett [Menden-Deuer & Rowlett 2019], we constructed an evolutionary process in the game. We also refined the adaptive dynamics framework itself to a new level of mathamatical rigor. In our analysis, we demonstrated the existence of solutions to the adaptive dynamics for the team game and determined their regularity. Moreover, we identified all stationary solutions and proved that these are precisely the Nash equilibria of the team game. Numerical examples are provided to highlight the main characteristics of the dynamics. The linearity of the team game results in unstable dynamics; non-stationary solutions oscillate and perturbations of the stationary solutions do not shrink. Instead, a linear type of branching may occur. We finally discuss how to experimentally validate these results. Due to the abstract nature of the team game, our results could be applied to derive implications and predictions in several fields including biology, sports, and finance.


title: Coexistence of low and high spin states in La$_{18}$Co$_{28}$Pb$_{3}$

abstract: The electronic structure and magnetic properties of a newly predicted stable ternary compound La$_{18}$Co$_{28}$Pb$_{3}$ are studied using electronic structure analysis. The ground state of this compound is ferromagnetic, with three positions of nonequivalent magnetic Co atoms. A strong dependence of magnetic properties on volume shows that this system is situated near the point of magnetic instability. A coexistence of high- and low-spin ferromagnetic states as a function of volume near equilibrium was discovered. A corresponding spin tunneling splitting was estimated. The stability of the theoretically predicted magnetic ground state was tested by varying the Hubbard parameter. The thermal spin fluctuations were added to estimate the paramagnetic moment and a Curie temperature. The necessity of experimental verification of the obtained results is emphasized.


title: NNOSE: Nearest Neighbor Occupational Skill Extraction

abstract: The labor market is changing rapidly, prompting increased interest in the automatic extraction of occupational skills from text. With the advent of English benchmark job description datasets, there is a need for systems that handle their diversity well. We tackle the complexity in occupational skill datasets tasks -- combining and leveraging multiple datasets for skill extraction, to identify rarely observed skills within a dataset, and overcoming the scarcity of skills across datasets. In particular, we investigate the retrieval-augmentation of language models, employing an external datastore for retrieving similar skills in a dataset-unifying manner. Our proposed method, \textbf{N}earest \textbf{N}eighbor \textbf{O}ccupational \textbf{S}kill \textbf{E}xtraction (NNOSE) effectively leverages multiple datasets by retrieving neighboring skills from other datasets in the datastore. This improves skill extraction \emph{without} additional fine-tuning. Crucially, we observe a performance gain in predicting infrequent patterns, with substantial gains of up to 30\% span-F1 in cross-dataset settings.


title: StrokeNUWA: Tokenizing Strokes for Vector Graphic Synthesis

abstract: To leverage LLMs for visual synthesis, traditional methods convert raster image information into discrete grid tokens through specialized visual modules, while disrupting the model's ability to capture the true semantic representation of visual scenes. This paper posits that an alternative representation of images, vector graphics, can effectively surmount this limitation by enabling a more natural and semantically coherent segmentation of the image information. Thus, we introduce StrokeNUWA, a pioneering work exploring a better visual representation ''stroke tokens'' on vector graphics, which is inherently visual semantics rich, naturally compatible with LLMs, and highly compressed. Equipped with stroke tokens, StrokeNUWA can significantly surpass traditional LLM-based and optimization-based methods across various metrics in the vector graphic generation task. Besides, StrokeNUWA achieves up to a 94x speedup in inference over the speed of prior methods with an exceptional SVG code compression ratio of 6.9%.


title: Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions

abstract: In the literature, there are many results about permutation polynomials over finite fields. However, very few permutations of vector spaces are constructed although it has been shown that permutations of vector spaces have many applications in cryptography, especially in constructing permutations with low differential and boomerang uniformities. In this paper, motivated by the butterfly structure \cite{perrin2016cryptanalysis} and the work of Qu and Li \cite{qu2023}, we investigate rotatable permutations from $\gf_{2^m}^3$ to itself with $d$-homogenous functions. Based on the theory of equations of low degree, the resultant of polynomials, and some skills of exponential sums, we construct five infinite classes of $3$-homogeneous rotatable permutations from $\gf_{2^m}^3$ to itself, where $m$ is odd. Moreover, we demonstrate that the corresponding permutation polynomials of $\gf_{2^{3m}}$ of our newly constructed permutations of $\gf_{2^m}^3$ are QM-inequivalent to the known ones.


title: Traffic estimation in unobserved network locations using data-driven macroscopic models

abstract: This paper leverages macroscopic models and multi-source spatiotemporal data collected from automatic traffic counters and probe vehicles to accurately estimate traffic flow and travel time in links where these measurements are unavailable. This problem is critical in transportation planning applications where the sensor coverage is low and the planned interventions have network-wide impacts. The proposed model, named the Macroscopic Traffic Estimator (MaTE), can perform network-wide estimations of traffic flow and travel time only using the set of observed measurements of these quantities. Because MaTE is grounded in macroscopic flow theory, all parameters and variables are interpretable. The estimated traffic flow satisfies fundamental flow conservation constraints and exhibits an increasing monotonic relationship with the estimated travel time. Using logit-based stochastic traffic assignment as the principle for routing flow behavior makes the model fully differentiable with respect to the model parameters. This property facilitates the application of computational graphs to learn parameters from vast amounts of spatiotemporal data. We also integrate neural networks and polynomial kernel functions to capture link flow interactions and enrich the mapping of traffic flows into travel times. MaTE also adds a destination choice model and a trip generation model that uses historical data on the number of trips generated by location. Experiments on synthetic data show that the model can accurately estimate travel time and traffic flow in out-of-sample links. Results obtained using real-world multi-source data from a large-scale transportation network suggest that MaTE outperforms data-driven benchmarks, especially in travel time estimation. The estimated parameters of MaTE are also informative about the hourly change in travel demand and supply characteristics of the transportation network.


title: Heavy flavour hadron production in relativistic heavy ion collisions at RHIC and LHC in EPOS4HQ

abstract: Employing the recently developed EPOS4HQ event generator, we study the production of different heavy-flavor mesons in relativistic heavy-ion collisions at RHIC and LHC energies. The transverse momentum spectra, yield ratio, nuclear modification factor, and elliptic flow can be well described in the EPOS4HQ framework. We furthermore analyze the processes which modify these observables as compared to $pp$ collisions and are at the origin of the experimentally determined nuclear modification factor $R_{AA}$.


title: Local integrals of motion in dipole-conserving models with Hilbert space fragmentation

abstract: Hilbert space fragmentation is an ergodicity breaking phenomenon, in which Hamiltonian shatters into exponentially many dynamically disconnected sectors. In many fragmented systems, these sectors can be labelled by statistically localized integrals of motion, which are nonlocal operators. We study the paradigmatic nearest-neighbor pair hopping (PH) model exhibiting the so-called strong fragmentation. We show that this model hosts local integrals of motion (LIOMs), which correspond to frozen density modes with long wavelengths. The latter modes become subdiffusive when longer-range pair hoppings are allowed. Finally, we make a connection with a tilted (Stark) chain. Contrary to the dipole-conserving effective models, the tilted chain is shown to support either Hamiltonian or dipole moment as an LIOM. Numerical results are obtained from a numerical algorithm, in which finding LIOMs is reduced to the data compression problem.


title: Deep Learning-Driven Approach for Handwritten Chinese Character Classification

abstract: Handwritten character recognition (HCR) is a challenging problem for machine learning researchers. Unlike printed text data, handwritten character datasets have more variation due to human-introduced bias. With numerous unique character classes present, some data, such as Logographic Scripts or Sino-Korean character sequences, bring new complications to the HCR problem. The classification task on such datasets requires the model to learn high-complexity details of the images that share similar features. With recent advances in computational resource availability and further computer vision theory development, some research teams have effectively addressed the arising challenges. Although known for achieving high accuracy while keeping the number of parameters small, many common approaches are still not generalizable and use dataset-specific solutions to achieve better results. Due to complex structure, existing methods frequently prevent the solutions from gaining popularity. This paper proposes a highly scalable approach for detailed character image classification by introducing the model architecture, data preprocessing steps, and testing design instructions. We also perform experiments to compare the performance of our method with that of existing ones to show the improvements achieved.


title: MT-Ranker: Reference-free machine translation evaluation by inter-system ranking

abstract: Traditionally, Machine Translation (MT) Evaluation has been treated as a regression problem -- producing an absolute translation-quality score. This approach has two limitations: i) the scores lack interpretability, and human annotators struggle with giving consistent scores; ii) most scoring methods are based on (reference, translation) pairs, limiting their applicability in real-world scenarios where references are absent. In practice, we often care about whether a new MT system is better or worse than some competitors. In addition, reference-free MT evaluation is increasingly practical and necessary. Unfortunately, these two practical considerations have yet to be jointly explored. In this work, we formulate the reference-free MT evaluation into a pairwise ranking problem. Given the source sentence and a pair of translations, our system predicts which translation is better. In addition to proposing this new formulation, we further show that this new paradigm can demonstrate superior correlation with human judgments by merely using indirect supervision from natural language inference and weak supervision from our synthetic data. In the context of reference-free evaluation, MT-Ranker, trained without any human annotations, achieves state-of-the-art results on the WMT Shared Metrics Task benchmarks DARR20, MQM20, and MQM21. On a more challenging benchmark, ACES, which contains fine-grained evaluation criteria such as addition, omission, and mistranslation errors, MT-Ranker marks state-of-the-art against reference-free as well as reference-based baselines.


title: The Influence of Presentation and Performance on User Satisfaction

abstract: The effectiveness of an IR system is gauged not just by its ability to retrieve relevant results but also by how it presents these results to users; an engaging presentation often correlates with increased user satisfaction. While existing research has delved into the link between user satisfaction, IR performance metrics, and presentation, these aspects have typically been investigated in isolation. Our research aims to bridge this gap by examining the relationship between query performance, presentation and user satisfaction. For our analysis, we conducted a between-subjects experiment comparing the effectiveness of various result card layouts for an ad-hoc news search interface. Drawing data from the TREC WaPo 2018 collection, we centered our study on four specific topics. Within each of these topics, we assessed six distinct queries with varying nDCG values. Our study involved 164 participants who were exposed to one of five distinct layouts containing result cards, such as "title'', "title+image'', or "title+image+summary''. Our findings indicate that while nDCG is a strong predictor of user satisfaction at the query level, there exists no linear relationship between the performance of the query, presentation of results and user satisfaction. However, when considering the total gain on the initial result page, we observed that presentation does play a significant role in user satisfaction (at the query level) for certain layouts with result cards such as, title+image or title+image+summary. Our results also suggest that the layout differences have complex and multifaceted impacts on satisfaction. We demonstrate the capacity to equalize user satisfaction levels between queries of varying performance by changing how results are presented. This emphasizes the necessity to harmonize both performance and presentation in IR systems, considering users' diverse preferences.


title: Curvature Operators on K\"{a}hler Manifolds

abstract: We prove that there exist K\"{a}hler manifolds that are not homotopy equivalent to a quotient of complex hyperbolic space but which admit a Riemannian metric with nonpositive curvature operator. This shows that K\"{a}hler manifolds do not satisfy the same type of rigidity with respect to the curvature operator as quaternionic hyperbolic and Cayley hyperbolic manifolds and are thus more similar to real hyperbolic manifolds in this setting. Along the way we also calculate explicit values for the eigenvalues of the curvature operator with respect to the standard complex hyperbolic metric.


title: Linear stability analysis of the Couette flow for the 2D Euler-Poisson system

abstract: This paper is concerned with the linear stability analysis for the Couette flow of the Euler-Poisson system for both ionic fluid and electronic fluid in the domain $\bb{T}\times\bb{R}$. We establish the upper and lower bounds of the linearized solutions of the Euler-Poisson system near Couette flow. In particular, the inviscid damping for the solenoidal component of the velocity is obtained.


title: Bridging the gap between cutting-edge science and school: non-formal education in high-energy physics

abstract: We report mainly on the global flagship outreach activity in particle physics: the International Particle Physics Masterclasses. It is illustrated on the example of Slovakia and the Czech Republic. The Masterclasses are described and their long-term impact is studied with the help of a survey among former participants. The positive effect of Masterclasses in shifting the attitude towards science is shown. We also discuss the modification of Masterclasses for a pandemic situation. Finally, we present CASCADE projects as a way to foster the interest in a field which has been strongly enhanced by previous experience, e.g., at Masterclasses.


title: H-SynEx: Using synthetic images and ultra-high resolution ex vivo MRI for hypothalamus subregion segmentation

abstract: Purpose: To develop a method for automated segmentation of hypothalamus subregions informed by ultra-high resolution ex vivo magnetic resonance images (MRI), which generalizes across MRI sequences and resolutions without retraining. Materials and Methods: We trained our deep learning method, H-synEx, with synthetic images derived from label maps built from ultra-high resolution ex vivo MRI scans, which enables finer-grained manual segmentation when compared with 1mm isometric in vivo images. We validated this retrospective study using 1535 in vivo images from six datasets and six MRI sequences. The quantitative evaluation used the Dice Coefficient (DC) and Average Hausdorff distance (AVD). Statistical analysis compared hypothalamic subregion volumes in controls, Alzheimer's disease (AD), and behavioral variant frontotemporal dementia (bvFTD) subjects using the area under the curve (AUC) and Wilcoxon rank sum test. Results: H-SynEx can segment the hypothalamus across various MRI sequences, encompassing FLAIR sequences with significant slice spacing (5mm). Using hypothalamic volumes on T1w images to distinguish control from AD and bvFTD patients, we observed AUC values of 0.74 and 0.79 respectively. Additionally, AUC=0.66 was found for volume variation on FLAIR scans when comparing control and non-patients. Conclusion: Our results show that H-SynEx successfully leverages information from ultra-high resolution scans to segment in vivo from different MRI sequences such as T1w, T2w, PD, qT1, FA, and FLAIR. We also found that our automated segmentation was able to discriminate controls versus patients on FLAIR images with 5mm spacing. H-SynEx is openly available at https://github.com/liviamarodrigues/hsynex.


title: The size of the Sun

abstract: Why does the Sun have a radius around 696000~km? We will see in this article that dimensional arguments can be used to understand the size of the Sun and of a few other things along the way. These arguments are not new and can be found scattered in textbooks. They are presented here in a succinct way in order to better confront the kinematic and mechanical viewpoints on size. We derive and compare a number of expressions for the size of the Sun and relate large and small scales. We hope that such presentation will be useful to students, instructors and researchers alike.


title: Two Regimes of Asymptotic Fall-off of a Massive Scalar Field in the Schwarzschild-de Sitter Spacetime

abstract: The decay behavior of a massless scalar field in the Schwarzschild-de Sitter spacetime is well-known to follow an exponential law at asymptotically late times $t \rightarrow \infty$. In contrast, a massive scalar field in the asymptotically flat Schwarzschild background exhibits a decay with oscillatory (sinusoidal) tails enveloped by a power law. We demonstrate that the asymptotic decay of a massive scalar field in the Schwarzschild-de Sitter spacetime is exponential. Specifically, if $\mu M \gg 1$, where $\mu$ and $M$ represent the mass of the field and the black hole, respectively, the exponential decay is also oscillatory. Conversely, in the regime of small $\mu M$, the decay is purely exponential without oscillations. This distinction in decay regimes underscores the fact that, for asymptotically de Sitter spacetimes, a particular branch of quasinormal modes, instead of a "tail", governs the decay at asymptotically late times. There are two branches of quasinormal modes for the Schwarzschild-de Sitter spacetime: the modes of an asymptotically flat black hole corrected by a non-zero $\Lambda$-term, and the modes of an empty de Sitter spacetime corrected by the presence of a black hole. We show that the latter branch is responsible for the asymptotic decay. When $\mu M$ is small, the modes of pure de Sitter spacetime are purely imaginary (non-oscillatory), while at intermediate and large $\mu M$ they have both real and imaginary parts, what produces the two pictures of the asymptotic decay. In addition, we show that the asymptotic decay of charged and higher dimensional black hole is also exponential.


title: A Novel Method for Calculating Deflection Angle with Finite-Distance Correction

abstract: In recent study in Ref.[7] (arXiv: 2401.12525), we have introduced a method aimed at calculating the weak-field asymptotic deflection angle. This method offers an efficient computational approach that avoids the complexities of integration and cumbersome iterative procedures typically associated with deflection angle calculations. In the present paper, we expand upon this method to encompass finite-distance deflection scenarios, wherein it is postulated that both the distances from the source to the lens and from the observer to the lens are finite. Importantly, this extension naturally encompasses the case of a lens in asymptotically non-flat spacetime. As an illustrative example, we apply this method to compute the gravitational deflection angle of massive particles in Kerr spacetime while accounting for the effects of finite distance.


title: Joint Semantic Communication and Target Sensing for 6G Communication System

abstract: This paper investigates the secure resource allocation for a downlink integrated sensing and communication system with multiple legal users and potential eavesdroppers. In the considered model, the base station (BS) simultaneously transmits sensing and communication signals through beamforming design, where the sensing signals can be viewed as artificial noise to enhance the security of communication signals. To further enhance the security in the semantic layer, the semantic information is extracted from the original information before transmission. The user side can only successfully recover the received information with the help of the knowledge base shared with the BS, which is stored in advance. Our aim is to maximize the sum semantic secrecy rate of all users while maintaining the minimum quality of service for each user and guaranteeing overall sensing performance. To solve this sum semantic secrecy rate maximization problem, an iterative algorithm is proposed using the alternating optimization method. The simulation results demonstrate the superiority of the proposed algorithm in terms of secure semantic communication and reliable detection.


title: Evaluation in Neural Style Transfer: A Review

abstract: The field of Neural Style Transfer (NST) has witnessed remarkable progress in the past few years, with approaches being able to synthesize artistic and photorealistic images and videos of exceptional quality. To evaluate such results, a diverse landscape of evaluation methods and metrics is used, including authors' opinions based on side-by-side comparisons, human evaluation studies that quantify the subjective judgements of participants, and a multitude of quantitative computational metrics which objectively assess the different aspects of an algorithm's performance. However, there is no consensus regarding the most suitable and effective evaluation procedure that can guarantee the reliability of the results. In this review, we provide an in-depth analysis of existing evaluation techniques, identify the inconsistencies and limitations of current evaluation methods, and give recommendations for standardized evaluation practices. We believe that the development of a robust evaluation framework will not only enable more meaningful and fairer comparisons among NST methods but will also enhance the comprehension and interpretation of research findings in the field.


title: Nonparametric covariate hypothesis tests for the cure rate in mixture cure models

abstract: In lifetime data, like cancer studies, theremay be long term survivors, which lead to heavy censoring at the end of the follow-up period. Since a standard survival model is not appropriate to handle these data, a cure model is needed. In the literature, covariate hypothesis tests for cure models are limited to parametric and semiparametric methods.We fill this important gap by proposing a nonparametric covariate hypothesis test for the probability of cure in mixture cure models. A bootstrap method is proposed to approximate the null distribution of the test statistic. The procedure can be applied to any type of covariate, and could be extended to the multivariate setting. Its efficiency is evaluated in a Monte Carlo simulation study. Finally, the method is applied to a colorectal cancer dataset.


title: Self-consistent sharp interface theory of active condensate dynamics

abstract: Biomolecular condensates help organize the cell cytoplasm and nucleoplasm into spatial compartments with different chemical compositions. A key feature of such compositional patterning is the local enrichment of enzymatically active biomolecules which, after transient binding via molecular interactions, catalyze reactions among their substrates. Thereby, biomolecular condensates provide a spatial template for non-uniform concentration profiles of substrates. In turn, the concentration profiles of substrates, and their molecular interactions with enzymes, drive enzyme fluxes which can enable novel non-equilibrium dynamics. To analyze this generic class of systems, with a current focus on self-propelled droplet motion, we here develop a self-consistent sharp interface theory. In our theory, we diverge from the usual bottom-up approach, which involves calculating the dynamics of concentration profiles based on a given chemical potential gradient. Instead, reminiscent of control theory, we take the reverse approach by deriving the chemical potential profile and enzyme fluxes required to maintain a desired condensate form and dynamics. The chemical potential profile and currents of enzymes come with a corresponding power dissipation rate, which allows us to derive a thermodynamic consistency criterion for the passive part of the system (here, reciprocal enzyme-enzyme interactions). As a first use case of our theory, we study the role of reciprocal interactions, where the transport of substrates due to reactions and diffusion is, in part, compensated by redistribution due to molecular interactions. More generally, our theory applies to mass-conserved active matter systems with moving phase boundaries.


title: On the Mod-6 Town Rules

abstract: This note presents an upper bound of $1.252 n$ on the size of a set system that satisfies the mod-6 town rules. Under these rules the sizes of the sets are not congruent to $0\bmod 6$ while the sizes of all pairwise intersections are congruent to $ 0\bmod 6$.


title: n-dimensional non-commutative GUP quantization and application to the Bianchi I model

abstract: We analyse a n-dimensional Generalized Uncertainty Principle (GUP) quantization framework, characterized by a non-commutative nature of the configurational variables. First, we identify a set of states which are maximally localized only along a single direction, at the expense of being less localized in all the other ones. Subsequently, in order to recover information about localization on the whole configuration space, we use the only state of the theory which exhibits maximal localization simultaneously in every direction to construct a satisfactory quasi-position representation, by virtue of a suitable translational operator. The resultant quantum framework is then applied to model the dynamics of the Bianchi I cosmology. The corresponding Wheeler-DeWitt equation is reduced to Schr\"odinger dynamics for the two anisotropy degrees of freedom, using a WKB representation for the volume-like variable of the Universe, in accordance with the Vilenkin scenario. The main result of our cosmological implementation of the constructed quantum theory demonstrates how the dynamics of a wave packet peaked at some point in the configuration space represented in the quasi-position variables, favours as the most probable configuration exactly the initial one for a relatively long time, if compared with the ordinary quantum theory. This preference arises from the distinct behavioral dynamics exhibited by wave packets in the two quantum theories.


title: Momentum Matching for 2D-3D Heterogeneous Ohmic van der Waals Contact

abstract: Construction of ohmic contact is a long-standing challenge encountered by two-dimensional (2D) device fabrication and integration. van der Waals contacts, as a new solution for 2D contact construction, can effectively eliminate issues, such as Fermi-level pining and formation of Schottky barrier. Nevertheless, current research primarily considers energy band alignment, while ignoring the transverse momentum conservation of charge carriers during the quantum tunneling across the van der Waals contacts. In this study, by comparing the IV characteristics and tunneling spectra of graphene-silicon tunneling junctions with various interfacial transverse momentum distribution, we demonstrate the importance of charge carrier momentum in constructing high-performance 2D contact. Further, by conditioning the van der Waals contacts and minimizing the momentum mismatch, we successfully enhanced the quantum tunneling current with more than three orders of magnitude and obtain ohmic-like contact. Our study provide and effective method for the construction of direction 2D-3D contact with low resistance and can potentially benefit the heterogeneous of integration of 2D materials in post-CMOS architectures.


title: Identifying Quality Mersenne Twister Streams For Parallel Stochastic Simulations

abstract: The Mersenne Twister (MT) is a pseudo-random number generator (PRNG) widely used in High Performance Computing for parallel stochastic simulations. We aim to assess the quality of common parallelization techniques used to generate large streams of MT pseudo-random numbers. We compare three techniques: sequence splitting, random spacing and MT indexed sequence. The TestU01 Big Crush battery is used to evaluate the quality of 4096 streams for each technique on three different hardware configurations. Surprisingly, all techniques exhibited almost 30% of defects with no technique showing better quality than the others. While all 106 Big Crush tests showed failures, the failure rate was limited to a small number of tests (maximum of 6 tests failed per stream, resulting in over 94% success rate). Thanks to 33 CPU years, high-quality streams identified are given. They can be used for sensitive parallel simulations such as nuclear medicine and precise high-energy physics applications.


title: Quantum error mitigation and correction mediated by Yang-Baxter equation and artificial neural network

abstract: Quantum computing shows great potential, but errors pose a significant challenge. This study explores new strategies for mitigating quantum errors using artificial neural networks (ANN) and the Yang-Baxter equation (YBE). Unlike traditional error correction methods, which are computationally intensive, we investigate artificial error mitigation. The manuscript introduces the basics of quantum error sources and explores the potential of using classical computation for error mitigation. The Yang-Baxter equation plays a crucial role, allowing us to compress time dynamics simulations into constant-depth circuits. By introducing controlled noise through the YBE, we enhance the dataset for error mitigation. We train an ANN model on partial data from quantum simulations, demonstrating its effectiveness in correcting errors in time-evolving quantum states.

categories: quant-ph cond-mat.soft cs.LG physics.comp-ph


title: A Bearing-Angle Approach for Unknown Target Motion Analysis Based on Visual Measurements

abstract: Vision-based estimation of the motion of a moving target is usually formulated as a bearing-only estimation problem where the visual measurement is modeled as a bearing vector. Although the bearing-only approach has been studied for decades, a fundamental limitation of this approach is that it requires extra lateral motion of the observer to enhance the target's observability. Unfortunately, the extra lateral motion conflicts with the desired motion of the observer in many tasks. It is well-known that, once a target has been detected in an image, a bounding box that surrounds the target can be obtained. Surprisingly, this common visual measurement especially its size information has not been well explored up to now. In this paper, we propose a new bearing-angle approach to estimate the motion of a target by modeling its image bounding box as bearing-angle measurements. Both theoretical analysis and experimental results show that this approach can significantly enhance the observability without relying on additional lateral motion of the observer. The benefit of the bearing-angle approach comes with no additional cost because a bounding box is a standard output of object detection algorithms. The approach simply exploits the information that has not been fully exploited in the past. No additional sensing devices or special detection algorithms are required.


title: Explainable data-driven modeling via mixture of experts: towards effective blending of grey and black-box models

abstract: Traditional models grounded in first principles often struggle with accuracy as the system's complexity increases. Conversely, machine learning approaches, while powerful, face challenges in interpretability and in handling physical constraints. Efforts to combine these models often often stumble upon difficulties in finding a balance between accuracy and complexity. To address these issues, we propose a comprehensive framework based on a "mixture of experts" rationale. This approach enables the data-based fusion of diverse local models, leveraging the full potential of first-principle-based priors. Our solution allows independent training of experts, drawing on techniques from both machine learning and system identification, and it supports both collaborative and competitive learning paradigms. To enhance interpretability, we penalize abrupt variations in the expert's combination. Experimental results validate the effectiveness of our approach in producing an interpretable combination of models closely resembling the target phenomena.


title: The topological structure of isolated points in the space of $\mathbb{Z}^d$-shifts

abstract: R.Pavlov and S.Schmieding provided recently some synthetic results about generic $\mathbb{Z}$-shifts, which rely mainly on an original theorem stating that isolated points form a residual set in the space of $\mathbb{Z}$-shifts such that all other residual set must contain it. As a direction for further research, they pointed towards genericity in the space of $\mathbb{G}$-shifts, where $\mathbb{G}$ is a finitely generated group. In the present text, we approach this for the case of $\mathbb{Z}^d$-shifts, where $d \ge 2$. As it is usual, multidimensional dynamical systems are much more difficult to understand. Provided the result of R.Pavlov and S.Schmieding, it is natural to begin with a better understanding of isolated points. We prove here a characterization of such points in the space of $\mathbb{Z}^d$-shifts, in terms of the natural notion of maximal subsystems which we also introduce in this article. From this characterization we recover the one of R.Pavlov and S.Schmieding's. We also prove a series of results which exploit this notion. In particular some transitivity-like properties can be related to the number of maximal subsystems. Furthermore, on the contrary of dimension one, the set of isolated shifts is not residual. We also prove that the Cantor-Bendixson rank of the space of $\mathbb{Z}^d$-shifts is infinite when $d > 1$, while it is equal to one when $d=1$.


title: PlantoGraphy: Incorporating Iterative Design Process into Generative Artificial Intelligence for Landscape Rendering

abstract: Landscape renderings are realistic images of landscape sites, allowing stakeholders to perceive better and evaluate design ideas. While recent advances in Generative Artificial Intelligence (GAI) enable automated generation of landscape renderings, the end-to-end methods are not compatible with common design processes, leading to insufficient alignment with design idealizations and limited cohesion of iterative landscape design. Informed by a formative study for comprehending design requirements, we present PlantoGraphy, an iterative design system that allows for interactive configuration of GAI models to accommodate human-centered design practice. A two-stage pipeline is incorporated: first, concretization module transforms conceptual ideas into concrete scene layouts with a domain-oriented large language model; and second, illustration module converts scene layouts into realistic landscape renderings using a fine-tuned low-rank adaptation diffusion model. PlantoGraphy has undergone a series of performance evaluations and user studies, demonstrating its effectiveness in landscape rendering generation and the high recognition of its interactive functionality.


title: Physical Priors Augmented Event-Based 3D Reconstruction

abstract: 3D neural implicit representations play a significant component in many robotic applications. However, reconstructing neural radiance fields (NeRF) from realistic event data remains a challenge due to the sparsities and the lack of information when only event streams are available. In this paper, we utilize motion, geometry, and density priors behind event data to impose strong physical constraints to augment NeRF training. The proposed novel pipeline can directly benefit from those priors to reconstruct 3D scenes without additional inputs. Moreover, we present a novel density-guided patch-based sampling strategy for robust and efficient learning, which not only accelerates training procedures but also conduces to expressions of local geometries. More importantly, we establish the first large dataset for event-based 3D reconstruction, which contains 101 objects with various materials and geometries, along with the groundtruth of images and depth maps for all camera viewpoints, which significantly facilitates other research in the related fields. The code and dataset will be publicly available at https://github.com/Mercerai/PAEv3d.


title: Study of Applicability of Simple Closed Loop Input Impedance Model for Grid-Tie Inverters

abstract: In recent years the need for DC distribution buses has increased considerably. As it can be noticed in the transport for example the distribution systems of the more electric aircrafts, ships, or electric cars. Given the complexities of the systems presented above, the need to use more and more switched power converters has arisen. The main problem of the connection of multiple controlled switched converters acting as source and load is the degradation of stability that occurs on the DC distribution bus due to the converter interactions. To study the stability in the distribution bus there are some wellestablished criteria. These criteria require knowledge of the input impedance of the converters that act as load and the output impedance of the equipment that acts as source. In order to reduce the complexity of obtaining the input impedance a model based on a controlled converter acting as a constant power load (CPL) is commonly used. This article studies the accuracy of this model for a commonly used topology in distribution systems nowadays, Two Level Voltage Source Converter (2L-VSC), studying different scenarios that make the model become inaccurate.


title: Unsupervised Discovery of Steerable Factors When Graph Deep Generative Models Are Entangled

abstract: Deep generative models (DGMs) have been widely developed for graph data. However, much less investigation has been carried out on understanding the latent space of such pretrained graph DGMs. These understandings possess the potential to provide constructive guidelines for crucial tasks, such as graph controllable generation. Thus in this work, we are interested in studying this problem and propose GraphCG, a method for the unsupervised discovery of steerable factors in the latent space of pretrained graph DGMs. We first examine the representation space of three pretrained graph DGMs with six disentanglement metrics, and we observe that the pretrained representation space is entangled. Motivated by this observation, GraphCG learns the steerable factors via maximizing the mutual information between semantic-rich directions, where the controlled graph moving along the same direction will share the same steerable factors. We quantitatively verify that GraphCG outperforms four competitive baselines on two graph DGMs pretrained on two molecule datasets. Additionally, we qualitatively illustrate seven steerable factors learned by GraphCG on five pretrained DGMs over five graph datasets, including two for molecules and three for point clouds.


title: Spectral Co-Distillation for Personalized Federated Learning

abstract: Personalized federated learning (PFL) has been widely investigated to address the challenge of data heterogeneity, especially when a single generic model is inadequate in satisfying the diverse performance requirements of local clients simultaneously. Existing PFL methods are inherently based on the idea that the relations between the generic global and personalized local models are captured by the similarity of model weights. Such a similarity is primarily based on either partitioning the model architecture into generic versus personalized components, or modeling client relationships via model weights. To better capture similar (yet distinct) generic versus personalized model representations, we propose \textit{spectral distillation}, a novel distillation method based on model spectrum information. Building upon spectral distillation, we also introduce a co-distillation framework that establishes a two-way bridge between generic and personalized model training. Moreover, to utilize the local idle time in conventional PFL, we propose a wait-free local training protocol. Through extensive experiments on multiple datasets over diverse heterogeneous data settings, we demonstrate the outperformance and efficacy of our proposed spectral co-distillation method, as well as our wait-free training protocol.


title: Characterising resource management performance in Kubernetes

abstract: A key challenge for supporting elastic behaviour in cloud systems is to achieve a good performance in automated (de-)provisioning and scheduling of computing resources. One of the key aspects that can be significant is the overheads associated with deploying, terminating and maintaining resources. Therefore, due to their lower start up and termination overhead, containers are rapidly replacing Virtual Machines (VMs) in many cloud deployments, as the computation instance of choice. In this paper, we analyse the performance of Kubernetes achieved through a Petri net-based performance model. Kubernetes is a container management system for a distributed cluster environment. Our model can be characterised using data from a Kubernetes deployment, and can be exploited for supporting capacity planning and designing Kubernetes-based elastic applications.


title: Loss-Cone Stabilization in Rotating Mirrors: Thresholds and Thermodynamics

abstract: In the limit of sufficiently fast rotation, rotating mirror traps are known to be stable against the loss-cone modes associated with conventional (non-rotating) mirrors. This paper calculates how quickly a mirror configuration must rotate in order for several of these modes to be stabilized (in particular, the high-frequency convective loss cone, drift cyclotron loss cone, and Dory-Guest-Harris modes). Commonalities in the stabilization conditions for these modes then motivate a modified formulation of the Gardner free energy and diffusively accessible free energy to be used for systems in which the important modes have wave vectors that are orthogonal or nearly orthogonal to the magnetic field, as well as a modification to include the effects of a loss region in phase space.


title: Personalized Differential Privacy for Ridge Regression

abstract: The increased application of machine learning (ML) in sensitive domains requires protecting the training data through privacy frameworks, such as differential privacy (DP). DP requires to specify a uniform privacy level $\varepsilon$ that expresses the maximum privacy loss that each data point in the entire dataset is willing to tolerate. Yet, in practice, different data points often have different privacy requirements. Having to set one uniform privacy level is usually too restrictive, often forcing a learner to guarantee the stringent privacy requirement, at a large cost to accuracy. To overcome this limitation, we introduce our novel Personalized-DP Output Perturbation method (PDP-OP) that enables to train Ridge regression models with individual per data point privacy levels. We provide rigorous privacy proofs for our PDP-OP as well as accuracy guarantees for the resulting model. This work is the first to provide such theoretical accuracy guarantees when it comes to personalized DP in machine learning, whereas previous work only provided empirical evaluations. We empirically evaluate PDP-OP on synthetic and real datasets and with diverse privacy distributions. We show that by enabling each data point to specify their own privacy requirement, we can significantly improve the privacy-accuracy trade-offs in DP. We also show that PDP-OP outperforms the personalized privacy techniques of Jorgensen et al. (2015).


title: Sharp estimates for biorthogonal families to exponential functions associated to complex sequences without gap conditions

abstract: The general goal of this work is to obtain upper and lower bounds for the $L^2$-norm of biorthogonal families to complex exponential functions associated to sequences $\{ \Lambda_k \}_{k \ge 1} \subset \mathbb C$ which satisfy appropriate assumptions but without imposing a gap condition on the elements of the sequence. As a consequence, we also present new results on the cost of the boundary null controllability of two parabolic systems at time $T > 0$: a phase-field system and a parabolic system whose generator has eigenvalues that accumulate. In the latter case, the behavior of the control cost when $T$ goes to zero depends strongly on the accumulation parameter of the eigenvalue sequence.


title: Enhanced Sound Event Localization and Detection in Real 360-degree audio-visual soundscapes

abstract: This technical report details our work towards building an enhanced audio-visual sound event localization and detection (SELD) network. We build on top of the audio-only SELDnet23 model and adapt it to be audio-visual by merging both audio and video information prior to the gated recurrent unit (GRU) of the audio-only network. Our model leverages YOLO and DETIC object detectors. We also build a framework that implements audio-visual data augmentation and audio-visual synthetic data generation. We deliver an audio-visual SELDnet system that outperforms the existing audio-visual SELD baseline.


title: Diagonals and Block-Ordered Relations

abstract: More than 70 years ago, Jaques Riguet suggested the existence of an ``analogie frappante'' (striking analogy) between so-called ``relations de Ferrers'' and a class of difunctional relations, members of which we call ``diagonals''. Inspired by his suggestion, we formulate an ``analogie frappante'' linking the notion of a block-ordered relation and the notion of the diagonal of a relation. We formulate several novel properties of the core/index of a diagonal, and use these properties to rephrase our ``analogie frappante''. Loosely speaking, we show that a block-ordered relation is a provisional ordering up to isomorphism and reduction to its core. (Our theorems make this informal statement precise.) Unlike Riguet (and others who follow his example), we avoid almost entirely the use of nested complements to express and reason about properties of these notions: we use factors (aka residuals) instead. The only (and inevitable) exception to this is to show that our definition of a ``staircase'' relation is equivalent to Riguet's definition of a ``relation de Ferrers''. Our ``analogie frappante'' also makes it obvious that a ``staircase'' relation is not necessarily block-ordered, in spite of the mental picture of such a relation presented by Riguet.


title: Estimating the strong coupling from $\tau$ decay using accelerating series convergence

abstract: We apply the Euler transformation to accelerate the convergence of the QCD perturbative series with the aim to determine the strong coupling $\alpha_s$ in terms of the total $\tau$-decay rate $r_\tau$. The variation of the result with the order of the QCD perturbation theory is small and comparable with the uncertainties of $r_\tau$. We also present an estimate of a range of the yet unknown 5th and 6th order coefficients $k_5$ and $k_6$ of the Adler function.


title: Evolution of magnetic field of the Quasar 1604+159 at pc scale

abstract: We have analyzed the total intensity, spectral index, linear polarization, and RM distributions at pc scale for the quasar 1604+159. The source was observed in 2002 and 2020 with the VLBA. Combining the MOJAVE results, we studied the evolution of the magnetic field. We detected a core-jet structure. The jet extends to a distance of ~25 mas. The jet shape varies slightly with time. We divided the source structure into the central region and the jet region. In the jet region, we find the polarized emission varies with time. The flatter spectral index values and EVPA direction indicate the possible existence of shocks, contributing to the variation. In the central region, the derived core shift index k_r values indicate that the core in 2002 is close to the equipartition case while deviating from it in 2020. The measured magnetic field strength in 2020 is two orders of magnitude lower than that in 2002. We detected transverse RM gradients, evidence of a helical magnetic field, in the core. At 15 GHz, in the place close to the jet base, the polarization direction changes significantly with time from perpendicular to parallel to the jet direction. The evolution of RM and magnetic field structure are potential reasons for the observed polarization change. The core |RM| in 2020 increases with frequency following a power law with index a = 2.7, suggesting a fast electron density fall-off in the medium with distance from the jet base.


title: A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion

abstract: Singing voice conversion (SVC) automates song covers by converting one singer's singing voice into another target singer's singing voice with the original lyrics and melody. However, it raises serious concerns about copyright and civil right infringements to multiple entities. This work proposes SongBsAb, the first proactive approach to mitigate unauthorized SVC-based illegal song covers. SongBsAb introduces human-imperceptible perturbations to singing voices before releasing them, so that when they are used, the generation process of SVC will be interfered, resulting in unexpected singing voices. SongBsAb features a dual prevention effect by causing both (singer) identity disruption and lyric disruption, namely, the SVC-covered singing voice neither imitates the target singer nor preserves the original lyrics. To improve the imperceptibility of perturbations, we refine a psychoacoustic model-based loss with the backing track as an additional masker, a unique accompanying element for singing voices compared to ordinary speech voices. To enhance the transferability, we propose to utilize a frame-level interaction reduction-based loss. We demonstrate the prevention effectiveness, utility, and robustness of SongBsAb on three SVC models and two datasets using both objective and human study-based subjective metrics. Our work fosters an emerging research direction for mitigating illegal automated song covers.


title: Wrist movement classification for adaptive mobile phone based rehabilitation of children with motor skill impairments

abstract: Rehabilitation exercises performed by children with cerebral palsy are tedious and repetitive. To make them more engaging, we propose to use an exergame approach, where an adaptive application can help the child remain stimulated and interested during exercises. In this paper, we describe how the mobile phone sensors can be used to classify wrist movements of the user during the rehabilitation exercises to detect if the user is performing the correct exercise and illustrate the use of our approach in an actual mobile phone application. We also show how an adaptive difficulty system was added to the application to allow the system to adjust to the user. We present experimental results from a pilot with healthy subjects that were constrained to simulate restricted wrist movements, as well as from tests with a target group of children with cerebral palsy. Our results show that wrist movement classification is successfully achieved and results in improved interactions.


title: Billiards, Checkers, and Quadratic Reciprocity

abstract: We indulge in what mathematicians call frivolous activities. In Arithmetic Billiards, a ball is bouncing around in a rectangle. In Parity Checkers we place checkers on a checkerboard under certain parity constraints. Both activities turn out to capture the division of congruence classes modulo a prime into squares and non-squares, allowing fairly simple proofs of the celebrated Law of Quadratic Reciprocity. Since the activities are analyzed somewhat in parallel we don't obtain two independent proofs. But Franz Lemmermeyer's online list of reciprocity proofs already contains well over three hundred items, which seems enough anyway.


title: Systematically Assessing the Security Risks of AI/ML-enabled Connected Healthcare Systems

abstract: The adoption of machine-learning-enabled systems in the healthcare domain is on the rise. While the use of ML in healthcare has several benefits, it also expands the threat surface of medical systems. We show that the use of ML in medical systems, particularly connected systems that involve interfacing the ML engine with multiple peripheral devices, has security risks that might cause life-threatening damage to a patient's health in case of adversarial interventions. These new risks arise due to security vulnerabilities in the peripheral devices and communication channels. We present a case study where we demonstrate an attack on an ML-enabled blood glucose monitoring system by introducing adversarial data points during inference. We show that an adversary can achieve this by exploiting a known vulnerability in the Bluetooth communication channel connecting the glucose meter with the ML-enabled app. We further show that state-of-the-art risk assessment techniques are not adequate for identifying and assessing these new risks. Our study highlights the need for novel risk analysis methods for analyzing the security of AI-enabled connected health devices.


title: Partial Identification of Binary Choice Models with Misreported Outcomes

abstract: This paper provides partial identification of various binary choice models with misreported dependent variables. We propose two distinct approaches by exploiting different instrumental variables respectively. In the first approach, the instrument is assumed to only affect the true dependent variable but not misreporting probabilities. The second approach uses an instrument that influences misreporting probabilities monotonically while having no effect on the true dependent variable. Moreover, we derive identification results under additional restrictions on misreporting, including bounded/monotone misreporting probabilities. We use simulations to demonstrate the robust performance of our approaches, and apply the method to study educational attainment.


title: Nuclear scattering via quantum computing

abstract: We propose a hybrid quantum-classical framework to solve the elastic scattering phase shift of two well-bound nuclei in an uncoupled channel. Within this framework, we develop a many-body formalism in which the continuum scattering states of the two colliding nuclei are regulated by a weak external harmonic oscillator potential with varying strength. Based on our formalism, we propose an approach to compute the eigenenergies of the low-lying scattering states of the relative motion of the colliding nuclei as a function of the oscillator strength of the confining potential. Utilizing the modified effective range expansion, we extrapolate the elastic scattering phase shift of the colliding nuclei from these eigenenergies to the limit when the external potential vanishes. In our hybrid approach, we leverage the advantage of quantum computing to solve for these eigenenergies from a set of many-nucleon Hamiltonian eigenvalue problems. These eigenenergies are inputs to classical computers to obtain the phase shift. We demonstrate our framework with two simple problems, where we implement the rodeo algorithm to solve the relevant eigenenergies with the IBM Qiskit quantum simulator. The results of both the spectra and the elastic scattering phase shifts agree well with other theoretical results.


title: Large Language Model Evaluation via Matrix Entropy

abstract: Large language models (LLMs) have revolutionized the field of natural language processing, extending their strong capabilities into multi-modal domains. Thus, it is vital to define proper and diversified metrics for the evaluation of LLMs. In this paper, we introduce matrix entropy, a novel metric rooted in information theory and geometry principles to quantify the data compression proficiency in LLMs. It reflects the model's ability to extract relevant information and eliminate unnecessary elements, thereby providing insight into the language model's intrinsic capability. Specifically, we demonstrate its applicability in both single-modal (language) and multi-modal settings. For language models, our findings reveal that the matrix entropy of representations follows a scaling law type reduction when the model scales up, serving as a complement to the traditional loss scaling law. For the multi-modal setting, we also propose an evaluation method based on matrix entropy for assessing alignment quality and we find that modern large multi-modal models exhibit great alignment performance.


title: Realization of unitary representations of the Lorentz group on de Sitter space

abstract: This paper builds on our previous work in which we showed that, for all connected semisimple linear Lie groups $G$ acting on a non-compactly causal symmetric space $M = G/H$, every irreducible unitary representation of $G$ can be realized by boundary value maps of holomorphic extensions in distributional sections of a vector bundle over $M$. In the present paper we discuss this procedure for the connected Lorentz group $G = SO_{1,d}(R)_e$ acting on de Sitter space $M = dS^d$. We show in particular that the previously constructed nets of real subspaces satisfy the locality condition. Following ideas of Bros and Moschella from the 1990's, we show that the matrix-valued spherical function that corresponds to our extension process extends analytically to a large domain $G_C^{cut}$ in the complexified group $G_C = \SO_{1,d}(C)$, which for $d = 1$ specializes to the complex cut plane $C \setminus (-\infinity, 0]$. A number of special situations is discussed specifically: (a) The case $d = 1$, which closely corresponds to standard subspaces in Hilbert spaces, (b) the case of scalar-valued functions, which for $d > 2$ is the case of spherical representations, for which we also describe the jump singularities of the holomorphic extensions on the cut in de Sitter space, (c) the case $d = 3$, where we obtain rather explicit formulas for the matrix-valued spherical functions.


title: Incipient nematicity from electron flat bands in a kagome metal

abstract: Engineering new quantum phases requires fine tuning of the electronic, orbital, spin, and lattice degrees of freedom. To this end, the kagome lattice with flat bands has garnered great attention by hosting various topological and correlated phases, when the flat band is at the Fermi level. Here we discover unconventional nematiciy in kagome metal CoSn, where flat bands are fully occupied below the Fermi level. Thermodynamic, dilatometry, resonant X-ray scattering, inelastic neutron scattering, Larmor diffraction, and thermoelectric measurements consistently hint at rotational symmetry-breaking and nematic order that is pronounced only near T=225 K. These observations, principally the nematic's finite temperature stability -- incipience -- can be explained by a phenomenological model which reveals that thermally excited flat bands promote symmetry breaking at a characteristic temperature. Our work shows that thermal fluctuations, which are typically detrimental for correlated electron phases, can induce new ordered states of matter, avoiding the requirements for fine tuning of electronic bands.


title: The inner disk rim of HD 163296: linking radiative hydrostatic models with infrared interferometry

abstract: Previous studies of the protoplanetary disk HD 163296 revealed that the morphology of its sub-au infrared emission encompasses the terminal sublimation front of dust grains, referred to as the inner rim, but also extends into the (supposedly) dust-free region within it. Here, we present a set of radiative hydrostatic simulations of the inner rim in order to assess how much the rim alone can contribute to the observed interferometric visibilities $V$, half-light radii $R_{\mathrm{hl}}$, and fractional disk fluxes $\mathcal{F}$ in the wavelength range $1.5$--$13\,\mu\mathrm{m}$. In our set of models, we regulate the cooling efficiency of the disk via the boundary condition for radiation diffusion and we also modify the shape of the sublimation front. We find that when the cooling efficiency is reduced, the infrared photosphere at the rim becomes hotter, leading to an increase of $R_{\mathrm{hl}}$ sufficient to match the observations. However, the near-infrared disk flux is typically too low ($\mathcal{F}\simeq0.25$ at $1.5\,\mu\mathrm{m}$), resulting in H-band visibility curves located above the observed data. We show that the match to the H-band observations up to moderate baselines can be improved when a wall-shaped rather than curved sublimation front is considered. Nevertheless, our model visibilities always exhibit a bounce at long baselines, which is not observed, confirming the need for additional emission interior to the rim. In summary, our study illustrates how the temperature structure and geometry of the inner rim needs to change in order to boost the rim's infrared emission.


title: Test for high-dimensional mean vectors via the weighted $L_2$-norm

abstract: In this paper, we propose a novel approach to test the equality of high-dimensional mean vectors of several populations via the weighted $L_2$-norm. We establish the asymptotic normality of the test statistics under the null hypothesis. We also explain theoretically why our test statistics can be highly useful in weakly dense cases when the nonzero signal in mean vectors is present. Furthermore, we compare the proposed test with existing tests using simulation results, demonstrating that the weighted $L_2$-norm-based test statistic exhibits favorable properties in terms of both size and power.


title: Integrable Holographic Defect CFTs

abstract: We review a class of integrable, supersymmetric defect conformal field theories which have holographic duals in the form of probe brane models. Our main examples are defect versions of N=4 SYM and ABJM theory, both involving a domain wall with Nahm pole boundary conditions, and the case of a 't Hooft line embedded in N=4 SYM. The field theory defect respectively the probe D-brane can be described as an integrable boundary state of the integrable system underlying the AdS/CFT correspondence.


title: Moment-Tensor-Based Constant-Potential Modeling of Electrical Double Layers

abstract: Constant-potential molecular dynamics (MD) simulations are indispensable for understanding the capacitance, structure, and dynamics of electrical double layers (EDLs) at the atomistic level. However, the classical constant-potential method, relying on the so-called 'floating charges' to keep electrode equipotential, overlooks quantum effects on the electrode and always underestimates EDL capacitance for typical electrochemical systems featuring metal electrodes in aqueous electrolytes. Here, we propose a universal theoretical framework as moment-tensor-based constant potential method (mCPM) to capture electronic structure variations with electric moments. For EDLs at Au(111) electrodes, mCPM-based MD reveals bell-shaped capacitance curves in magnitude and shape both quantitatively consistent with experiments. It further unveils the potential-dependent local electric fields, agreeing with experimental observations of redshift vibration of interfacial water under negative polarization and predicting a blueshift under positive polarization, and identifies geometry dependence of two time scales during EDL formation.


title: Dependency-Aware Online Caching

abstract: We consider a variant of the online caching problem where the items exhibit dependencies among each other: an item can reside in the cache only if all its dependent items are also in the cache. The dependency relations can form any directed acyclic graph. These requirements arise e.g., in systems such as CacheFlow (SOSR 2016) that cache forwarding rules for packet classification in IP-based communication networks. First, we present an optimal randomized online caching algorithm which accounts for dependencies among the items. Our randomized algorithm is $O( \log k)$-competitive, where $k$ is the size of the cache, meaning that our algorithm never incurs the cost of $O(\log k)$ times higher than even an optimal algorithm that knows the future input sequence. Second, we consider the bypassing model, where requests can be served at a fixed price without fetching the item and its dependencies into the cache -- a variant of caching with dependencies introduced by Bienkowski et al. at SPAA 2017. For this setting, we give an $O( \sqrt{k \cdot \log k})$-competitive algorithm, which significantly improves the best known competitiveness. We conduct a small case study, to find out that our algorithm incurs on average 2x lower cost.


title: Large data existence of global-in-time strong solutions to the incompressible Navier-Stokes equations in high space dimensions

abstract: We study the existence of strong solutions to the initial value problem for the incompressible Navier-Stokes equations in $\mathbb{R}^N, N\geq 3$. Our investigation shows that local in-time classical solutions do not develop singularity as long as the initial velocity lies in $(L^2(\mathbb{R}^N))^N\cap (L^\infty(\mathbb{R}^N))^N$.


title: Entropy and curvature: beyond the Peres-Tetali conjecture

abstract: We study Markov chains with non-negative sectional curvature on finite metric spaces. Neither reversibility, nor the restriction to a particular combinatorial distance are imposed. In this level of generality, we prove that a 1-step contraction in the Wasserstein distance implies a 1-step contraction in relative entropy, by the same amount. Our result substantially strengthens a recent breakthrough of the second author, and has the advantage of being applicable to arbitrary scales. This leads to a time-varying refinement of the standard Modified Log-Sobolev Inequality (MLSI), which allows us to leverage the well-acknowledged fact that curvature improves at large scales. We illustrate this principle with several applications, including birth and death chains, colored exclusion processes, permutation walks, Gibbs samplers for high-temperature spin systems, and attractive zero-range dynamics. In particular, we prove a MLSI with constant equal to the minimal rate increment for the mean-field zero-range process, thereby answering a long-standing question.


title: Optical Tactile Sensing for Aerial Multi-Contact Interaction: Design, Integration, and Evaluation

abstract: Distributed tactile sensing for multi-force detection is crucial for various aerial robot interaction tasks. However, current contact sensing solutions on drones only exploit single end-effector sensors and cannot provide distributed multi-contact sensing. Designed to be easily mounted at the bottom of a drone, we propose an optical tactile sensor that features a large and curved soft sensing surface, a hollow structure and a new illumination system. Even when spaced only 2 cm apart, multiple contacts can be detected simultaneously using our software pipeline, which provides real-world quantities of 3D contact locations (mm) and 3D force vectors (N), with an accuracy of 1.5 mm and 0.17 N respectively. We demonstrate the sensor's applicability and reliability onboard and in real-time with two demos related to i) the estimation of the compliance of different perches and subsequent re-alignment and landing on the stiffer one, and ii) the mapping of sparse obstacles. The implementation of our distributed tactile sensor represents a significant step towards attaining the full potential of drones as versatile robots capable of interacting with and navigating within complex environments.


title: GAISSALabel: A tool for energy labeling of ML models

abstract: Background: The increasing environmental impact of Information Technologies, particularly in Machine Learning (ML), highlights the need for sustainable practices in software engineering. The escalating complexity and energy consumption of ML models need tools for assessing and improving their energy efficiency. Goal: This paper introduces GAISSALabel, a web-based tool designed to evaluate and label the energy efficiency of ML models. Method: GAISSALabel is a technology transfer development from a former research on energy efficiency classification of ML, consisting of a holistic tool for assessing both the training and inference phases of ML models, considering various metrics such as power draw, model size efficiency, CO2e emissions and more. Results: GAISSALabel offers a labeling system for energy efficiency, akin to labels on consumer appliances, making it accessible to ML stakeholders of varying backgrounds. The tool's adaptability allows for customization in the proposed labeling system, ensuring its relevance in the rapidly evolving ML field. Conclusions: GAISSALabel represents a significant step forward in sustainable software engineering, offering a solution for balancing high-performance ML models with environmental impacts. The tool's effectiveness and market relevance will be further assessed through planned evaluations using the Technology Acceptance Model.


title: An Open Software Suite for Event-Based Video

abstract: While traditional video representations are organized around discrete image frames, event-based video is a new paradigm that forgoes image frames altogether. Rather, pixel samples are temporally asynchronous and independent of one another. Until now, researchers have lacked a cohesive software framework for exploring the representation, compression, and applications of event-based video. I present the AD$\Delta$ER software suite to fill this gap. This framework includes utilities for transcoding framed and multimodal event-based video sources to a common representation, rate control mechanisms, lossy compression, application support, and an interactive GUI for transcoding and playback. In this paper, I describe these various software components and their usage.


title: Nonparametric incidence estimation and bootstrap bandwidth selection in mixture cure models

abstract: A completely nonparametric method for the estimation of mixture cure models is proposed. A nonparametric estimator of the incidence is extensively studied and a nonparametric estimator of the latency is presented. These estimators, which are based on the Beran estimator of the conditional survival function, are proved to be the local maximum likelihood estimators. An i.i.d. representation is obtained for the nonparametric incidence estimator. As a consequence, an asymptotically optimal bandwidth is found. Moreover, a bootstrap bandwidth selection method for the nonparametric incidence estimator is proposed. The introduced nonparametric estimators are compared with existing semiparametric approaches in a simulation study, in which the performance of the bootstrap bandwidth selector is also assessed. Finally, the method is applied to a database of colorectal cancer from the University Hospital of A Coru\~na (CHUAC).


title: Flocking by turning away

abstract: Flocking, as paradigmatically exemplified by birds, is the coherent collective motion of active agents. As originally conceived, flocking emerges through alignment interactions between the agents. Here, we report that flocking can also emerge through interactions that turn agents away from each other. Combining simulations, kinetic theory, and experiments, we demonstrate this mechanism of flocking in self-propelled Janus colloids with stronger repulsion on the front than on the rear. The polar state is stable because particles achieve a compromise between turning away from left and right neighbors. Unlike for alignment interactions, the emergence of polar order from turn-away interactions requires particle repulsion. At high concentration, repulsion produces flocking Wigner crystals. Whereas repulsion often leads to motility-induced phase separation of active particles, here it combines with turn-away torques to produce flocking. Therefore, our findings bridge the classes of aligning and non-aligning active matter. Our results could help to reconcile the observations that cells can flock despite turning away from each other via contact inhibition of locomotion. Overall, our work shows that flocking is a very robust phenomenon that arises even when the orientational interactions would seem to prevent it.


title: Real-time Contact State Estimation in Shape Control of Deformable Linear Objects under Small Environmental Constraints

abstract: Controlling the shape of deformable linear objects using robots and constraints provided by environmental fixtures has diverse industrial applications. In order to establish robust contacts with these fixtures, accurate estimation of the contact state is essential for preventing and rectifying potential anomalies. However, this task is challenging due to the small sizes of fixtures, the requirement for real-time performances, and the infinite degrees of freedom of the deformable linear objects. In this paper, we propose a real-time approach for estimating both contact establishment and subsequent changes by leveraging the dependency between the applied and detected contact force on the deformable linear objects. We seamlessly integrate this method into the robot control loop and achieve an adaptive shape control framework which avoids, detects and corrects anomalies automatically. Real-world experiments validate the robustness and effectiveness of our contact estimation approach across various scenarios, significantly increasing the success rate of shape control processes.


title: Cell spheroid viscoelasticity is deformation-dependent

abstract: Tissue surface tension influences cell sorting and tissue fusion. Earlier mechanical studies suggest that multicellular spheroids actively reinforce their surface tension with applied force. Here we study this open question through high-throughput microfluidic micropipette aspiration measurements on cell spheroids to identify the role of force duration and cell contractility. We find that larger spheroid deformations lead to faster cellular retraction once the pressure is released, regardless of the applied force and cellular contractility. These new insights demonstrate that spheroid viscoelasticity is deformation-dependent and challenge whether surface tension truly reinforces.


title: Collapsing massive stars and their EM transients

abstract: We investigate the fate of a collapsing stellar core, which is the final state of evolution of a massive, rotating star of a Wolf-Rayet type. Such stars explode as type I b/c supernovae, which have been observed in association with long gamma ray bursts (GRBs). The core of the star is potentially forming a black hole, which is embedded in a dense, rotating, and possibly highly magnetized envelope. We study the process of collapse using General Relativistic MHD simulations, and we account for the growth of the black hole mass and its spin, as well as related evolution of the spacetime metric. We find that some particular configurations of the initial black hole spin, the content of angular momentum in the stellar core, and the magnetic field configuration and its strength, are favored for producing a bright electromagnetic transient (i.e., a gamma ray burst). On the other hand, most of the typical configurations studied in our models do not lead to a transient electromagnetic explosion and will end up in a direct collapse, accompanied by some residual variability induced by changing accretion rate. We also study the role of self-gravity in the stellar core and quantify the relative strength of the interfacial instabilities, such as Self-Gravity Interfacial (SGI) instability and Rayleigh-Taylor (RT), which may account for the production of an inhomogeneous structure, including spikes and bubbles, through the inner radii of the collapsing core (inside $\sim 200~r_{g}$). %Furthermore, we investigate the axisymmetric modes of gravitational instability based on the generalized Toomre parameter. We find that in self-gravitating collapsars the RT modes cannot grow efficiently. We also conclude that transonic shocks are formed in the collapsing envelope, but they are weaker in magnetized stars.


title: CHoKI-based MPC for blood glucose regulation in Artificial Pancreas

abstract: This work presents a Model Predictive Control (MPC) for the artificial pancreas, which is able to autonomously manage basal insulin injections in type 1 diabetic patients. Specifically, the MPC goal is to maintain the patients' blood glucose level inside the safe range of 70-180 mg/dL, acting on the insulin amount and respecting all the imposed constraints, taking into consideration also the Insulin On Board (IOB), to avoid excess of insulin infusion. MPC uses a model to make predictions of the system behaviour. In this work, due to the complexity of the diabetes disease that complicates the identification of a general physiological model, a data-driven learning method is employed instead. The Componentwise H\"{o}lder Kinky Inference (CHoKI) method is adopted, to have a customized controller for each patient. For the data collection phase and also to test the proposed controller, the virtual patients of the FDA-accepted UVA/Padova simulator are exploited. The proposed MPC is also tested on a modified version of the simulator, that takes into consideration also the variability of the insulin sensitivity. The final results are satisfying since the proposed controller reduces the time in hypoglycemia (which is more dangerous) if compared to the outcome obtained with the standard constant basal insulin therapy provided by the simulator, satisfying also the time in range requirements and avoiding long-term hyperglycemia events.


title: Chirality-Induced Selectivity of Phonon Angular Momenta in Chiral Quartz Crystals

abstract: A generation, propagation, and transfer of phonon angular momenta are examined on thermal transport in chiral insulative and diamagnetic crystals of $\alpha$-quartz. We found that thermally-driven phonons carry chirality-dependent angular momenta in the quartz crystals and they could be extracted from the quartz as a spin signal. Namely, chirality-induced selectivity of phonon angular momenta is realized in the chiral quartz. We argue that chiral phonons available in chiral materials could be a key element in triggering or enhancing chirality-induced spin selectivity with robust spin polarization and long-range spin transport found in various chiral materials.


title: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

abstract: Modern SMT solvers, such as Z3, offer user-controllable strategies, enabling users to tailor solving strategies for their unique set of instances, thus dramatically enhancing solver performance for their use case. However, this approach of strategy customization presents a significant challenge: handcrafting an optimized strategy for a class of SMT instances remains a complex and demanding task for both solver developers and users alike. In this paper, we address this problem of automatic SMT strategy synthesis via a novel Monte Carlo Tree Search (MCTS) based method. Our method treats strategy synthesis as a sequential decision-making process, whose search tree corresponds to the strategy space, and employs MCTS to navigate this vast search space. The key innovations that enable our method to identify effective strategies, while keeping costs low, are the ideas of layered and staged MCTS search. These novel heuristics allow for a deeper and more efficient exploration of the strategy space, enabling us to synthesize more effective strategies than the default ones in state-of-the-art (SOTA) SMT solvers. We implement our method, dubbed Z3alpha, as part of the Z3 SMT solver. Through extensive evaluations across six important SMT logics, Z3alpha demonstrates superior performance compared to the SOTA synthesis tool FastSMT, the default Z3 solver, and the CVC5 solver on most benchmarks. Remarkably, on a challenging QF_BV benchmark set, Z3alpha solves 42.7% more instances than the default strategy in the Z3 SMT solver.