title: On the Analysis of AoI-Reliability Tradeoff in Heterogeneous IIoT Networks

abstract: Age of information (AoI) and reliability are two critical metrics to support real-time applications in Industrial Internet of Things (IIoT). These metrics reflect different concepts of timely delivery of sensor information. Monitoring traffic serves to maintain fresh status updates, expressed in a low AoI, which is important for proper control and actuation actions. On the other hand, safety-critical information, e.g., emergency alarms, is generated sporadically and must be delivered with high reliability within a predefined deadline. In this work, we investigate the AoI-reliability trade-off in a real-time monitoring scenario that supports two traffic flows, namely AoI-oriented traffic and deadline-oriented traffic. Both traffic flows are transmitted to a central controller over an unreliable shared channel. We derive expressions of the average AoI for the AoI-oriented traffic and reliability, represented by Packet Loss Probability (PLP), for the deadline-oriented traffic using Discrete-Time Markov Chain (DTMC). We also conduct discrete-event simulations in MATLAB to validate the analytical results and evaluate the interaction between the two types of traffic flows. The results clearly demonstrate the tradeoff between the AoI and PLP in such heterogeneous IIoT networks and give insights on how to configure the network to achieve a target pair of AoI and PLP.


title: Vast TVB parameter space exploration: A Modular Framework for Accelerating the Multi-Scale Simulation of Human Brain Dynamics

abstract: Global neural dynamics emerge from multi-scale brain structures, with neurons communicating through synapses to form transiently communicating networks. Network activity arises from intercellular communication that depends on the structure of connectome tracts and local connection, intracellular signalling cascades, and the extracellular molecular milieu that regulate cellular properties. Multi-scale models of brain function have begun to directly link the emergence of global brain dynamics in conscious and unconscious brain states to microscopic changes at the level of cells. In particular, AdEx mean-field models representing statistical properties of local populations of neurons have been connected following human tractography data to represent multi-scale neural phenomena in simulations using The Virtual Brain (TVB). While mean-field models can be run on personal computers for short simulations, or in parallel on high-performance computing (HPC) architectures for longer simulations and parameter scans, the computational burden remains high and vast areas of the parameter space remain unexplored. In this work, we report that our TVB-HPC framework, a modular set of methods used here to implement the TVB-AdEx model for GPU and analyze emergent dynamics, notably accelerates simulations and substantially reduces computational resource requirements. The framework preserves the stability and robustness of the TVB-AdEx model, thus facilitating finer resolution exploration of vast parameter spaces as well as longer simulations previously near impossible to perform. Given that simulation and analysis toolkits are made public as open-source packages, our framework serves as a template onto which other models can be easily scripted and personalized datasets can be used for studies of inter-individual variability of parameters related to functional brain dynamics.


title: High-Quality Face Caricature via Style Translation

abstract: Caricature is an exaggerated form of artistic portraiture that accentuates unique yet subtle characteristics of human faces. Recently, advancements in deep end-to-end techniques have yielded encouraging outcomes in capturing both style and elevated exaggerations in creating face caricatures. Most of these approaches tend to produce cartoon-like results that could be more practical for real-world applications. In this study, we proposed a high-quality, unpaired face caricature method that is appropriate for use in the real world and uses computer vision techniques and GAN models. We attain the exaggeration of facial features and the stylization of appearance through a two-step process: Face caricature generation and face caricature projection. The face caricature generation step creates new caricature face datasets from real images and trains a generative model using the real and newly created caricature datasets. The Face caricature projection employs an encoder trained with real and caricature faces with the pretrained generator to project real and caricature faces. We perform an incremental facial exaggeration from the real image to the caricature faces using the encoder and generator's latent space. Our projection preserves the facial identity, attributes, and expressions from the input image. Also, it accounts for facial occlusions, such as reading glasses or sunglasses, to enhance the robustness of our model. Furthermore, we conducted a comprehensive comparison of our approach with various state-of-the-art face caricature methods, highlighting our process's distinctiveness and exceptional realism.


title: Non-deterministic linear thresholding systems reveal their deterministic origins

abstract: Linear thresholding systems have been used as a model of neural activation and have more recently been proposed as a model of gene activation. Deterministic linear thresholding systems can be turned into non-deterministic systems by the introduction of noise. Under mild conditions on the noise, we show that the deterministic model can be deduced from the probabilities of the non-deterministic model.


title: On (Sub)stochastic and Transient Weightings of Infinite Strong Digraphs

abstract: In the present paper, for a given (possibly, infinite) strongly connected digraph $\cal{D},$ we consider the class $\cal{S}_{<}({\cal D})$ of all truthly substochastic weightings of ${\cal D}$ (here, the word "truthly" means that there exists a vertex whose out-weight is strictly less than $1$). For a finite subdigraph $\cal{F}$ of $\cal{D}$ weighted by $S\in {\cal S}_{<}({\cal D}),$ let $\ell_{max}(\cal{F})$ be the length of its longest directed cycle and $\lambda_{S}(\cal{F})$ be the Perron root (spectral radius) of its weighted adjacency matrix. We prove that the infimum of $\ell_{max}(\cal{F})\bigl(1-\lambda_{S}(\cal{F})\bigr)$ taken over all $\cal{F}$ is positive for every $S\in \cal{S}_{<}({\cal D})$ if and only if $\cal{D}$ admits a finite cycle transversal. The result obtained provides general theorems on the set ${\cal T}({\cal D})$ of transient weightings of ${\cal D}.$ In particular, we present a theorem of alternatives for finite approximations to elements of ${\cal T}({\cal D})$ and simply reprove V. Cyr's criterion for ${\cal T}({\cal D})$ to be empty.


title: Learning principle and mathematical realization of the learning mechanism in the brain

abstract: While deep learning has achieved remarkable success, there is no clear explanation about why it works so well. In order to discuss this question quantitatively, we need a mathematical framework that explains what learning is in the first place. After several considerations, we succeeded in constructing a mathematical framework that can provide a unified understanding of all types of learning, including deep learning and learning in the brain. We call it learning principle, and it follows that all learning is equivalent to estimating the probability of input data. We not only derived this principle, but also mentioned its application to actual machine learning models. For example, we found that conventional supervised learning is equivalent to estimating conditional probabilities, and succeeded in making supervised learning more effective and generalized. We also proposed a new method of defining the values of estimated probability using differentiation, and showed that unsupervised learning can be performed on arbitrary dataset without any prior knowledge. Namely, this method is a general-purpose machine learning in the true sense. Moreover, we succeeded in describing the learning mechanism in the brain by considering the time evolution of a fully or partially connected model and applying this new method. The learning principle provides solutions to many unsolved problems in deep learning and cognitive neuroscience.

categories: cs.LG cs.AI cs.IT math.IT q-bio.NC stat.ML


title: Directed Evolution of Microorganisms for Engineered Living Materials

abstract: Microorganisms can create engineered materials with exquisite structures and living functionalities. Although synthetic biology tools to genetically manipulate microorganisms continue to expand, the bottom-up rational design of engineered living materials still relies on prior knowledge of genotype-phenotype links for the function of interest. Here, we utilize a high-throughput directed evolution platform to enhance the fitness of whole microorganisms under selection pressure and identify novel genetic pathways to program the functionalities of engineered living materials. Using Komagataeibacter sucrofermentans as a model cellulose-producing microorganism, we show that our droplet-based microfluidic platform enables the directed evolution of these bacteria towards a small number of cellulose overproducers from an initial pool of 40'000 random mutants. Sequencing of the evolved strains reveals an unexpected link between the cellulose-forming ability of the bacteria and a gene encoding a protease complex responsible for protein turnover in the cell. The ability to enhance the fitness of microorganisms towards specific phenotypes and to discover new genotype-phenotype links makes this high-throughput directed evolution platform a promising tool for the development of the next generation of engineered living materials.

categories: physics.bio-ph cond-mat.mtrl-sci cond-mat.soft q-bio.PE


title: Global existence of suitable weak solutions to the 3D chemotaxis-Navier-Stokes equations

abstract: In 2004, Dombrowski et al. showed that suspensions of aerobic bacteria often develop flows from the interplay of chemotaxis and buoyancy, which is described as the chemotaxis-Navier-Stokes model, and they observed self-concentration occurs as a turbulence by exhibiting transient, reconstituting, high-speed jets, which entrains nearby fluid to produce paired, oppositely signed vortices. In order to investigate the properties of these vortices (singular points), one approach is to follow the partial regularity theory of Caffarelli-Kohn-Nirenberg to study the singularity properties of suitable weak solutions. In this paper, we established the existence of suitable weak solution for the three dimensional chemotaxis-Navier-Stokes equations, where the main difficulty is to establish appropriate local energy inequalities.


title: A highly efficient finite volume method with a diffusion control parameter for hyperbolic problems

abstract: This article proposes a highly accurate and conservative method for hyperbolic systems using the finite volume approach. This innovative scheme constructs the intermediate states at the interfaces of the control volumes using the method of characteristics. The approach is simple to implement, generates entropic solutions, and avoids solving Riemann problems. A diffusion control parameter is introduced to increase the accuracy of the scheme. Numerical examples are presented for the Euler equation for an ideal gas. The results demonstrate the method's ability to capture contact discontinuity and shock wave profiles with high accuracy and low cost as well as its robustness.


title: Many-body physics-induced selection rules: application to Raman spectroscopy

abstract: Spectroscopic measurements in quantum systems are subject to selection rules, usually based on space-time symmetries, that allow or disallow transitions between states. In many-body systems, in addition to the single-particle states, there emerge new ones due to collective excitations of the system. Here we demonstrate the existence of a "fragile" selection rule that emerges as a manifestation of many-body effects and outlines the conditions for collective excitations to couple to a given spectroscopic probe beyond the usual symmetry considerations. As an example, we apply the rule to Raman spectroscopy of multiband superconductors and settle some unresolved features in experiments.


title: Rashba-splitting-induced topological flat band detected by anomalous resistance oscillations beyond the quantum limit in ZrTe$_5$

abstract: Topological flat band, on which the kinetic energy of topological electrons is quenched, represents a platform for investigating the topological properties of correlated systems. Recent experimental studies on flattened electronic bands have mainly concentrated on 2-dimensional materials created by van der Waals heterostructure-based engineering. Here, we report the observation of a topological flat band formed by polar-distortion-assisted Rashba splitting in a 3-dimensional Dirac material ZrTe$_5$. The polar distortion and resulting Rashba splitting on the band are directly detected by torque magnetometry and the anomalous Hall effect, respectively. The local symmetry breaking further flattens the band, on which we observe resistance oscillations beyond the quantum limit. These oscillations follow the temperature dependence of the Lifshitz-Kosevich formula but are evenly distributed in B instead of 1/B in high magnetic fields. Furthermore, the cyclotron mass anomalously gets enhanced about 10$^2$ times at field ~20 T. These anomalous properties of oscillations originate from a topological flat band with quenched kinetic energy. The topological flat band, realized by polar-distortion-assisted Rashba splitting in the 3-dimensional Dirac system ZrTe$_5$, signifies an intrinsic platform without invoking moir\'e or order-stacking engineering, and also opens the door for studying topologically correlated phenomena beyond the dimensionality of two.


title: Loss-based Objective and Penalizing Priors for Model Selection Problems

abstract: Many Bayesian model selection problems, such as variable selection or cluster analysis, start by setting prior model probabilities on a structured model space. Based on a chosen loss function between models, model selection is often performed with a Bayes estimator that minimizes the posterior expected loss. The prior model probabilities and the choice of loss both highly affect the model selection results, especially for data with small sample sizes, and their proper calibration and careful reflection of no prior model preference are crucial in objective Bayesian analysis. We propose risk equilibrium priors as an objective choice for prior model probabilities that only depend on the model space and the choice of loss. Under the risk equilibrium priors, the Bayes action becomes indifferent before observing data, and the family of the risk equilibrium priors includes existing popular objective priors in Bayesian variable selection problems. We generalize the result to the elicitation of objective priors for Bayesian cluster analysis with Binder's loss. We also propose risk penalization priors, where the Bayes action chooses the simplest model before seeing data. The concept of risk equilibrium and penalization priors allows us to interpret prior properties in light of the effect of loss functions, and also provides new insight into the sensitivity of Bayes estimators under the same prior but different loss. We illustrate the proposed concepts with variable selection simulation studies and cluster analysis on a galaxy dataset.


title: MergeSFL: Split Federated Learning with Feature Merging and Batch Size Regulation

abstract: Recently, federated learning (FL) has emerged as a popular technique for edge AI to mine valuable knowledge in edge computing (EC) systems. To mitigate the computing/communication burden on resource-constrained workers and protect model privacy, split federated learning (SFL) has been released by integrating both data and model parallelism. Despite resource limitations, SFL still faces two other critical challenges in EC, i.e., statistical heterogeneity and system heterogeneity. To address these challenges, we propose a novel SFL framework, termed MergeSFL, by incorporating feature merging and batch size regulation in SFL. Concretely, feature merging aims to merge the features from workers into a mixed feature sequence, which is approximately equivalent to the features derived from IID data and is employed to promote model accuracy. While batch size regulation aims to assign diverse and suitable batch sizes for heterogeneous workers to improve training efficiency. Moreover, MergeSFL explores to jointly optimize these two strategies upon their coupled relationship to better enhance the performance of SFL. Extensive experiments are conducted on a physical platform with 80 NVIDIA Jetson edge devices, and the experimental results show that MergeSFL can improve the final model accuracy by 5.82% to 26.22%, with a speedup by about 1.74x to 4.14x, compared to the baselines.


title: REDS: Resource-Efficient Deep Subnetworks for Dynamic Resource Constraints

abstract: Deep models deployed on edge devices frequently encounter resource variability, which arises from fluctuating energy levels, timing constraints, or prioritization of other critical tasks within the system. State-of-the-art machine learning pipelines generate resource-agnostic models, not capable to adapt at runtime. In this work we introduce Resource-Efficient Deep Subnetworks (REDS) to tackle model adaptation to variable resources. In contrast to the state-of-the-art, REDS use structured sparsity constructively by exploiting permutation invariance of neurons, which allows for hardware-specific optimizations. Specifically, REDS achieve computational efficiency by (1) skipping sequential computational blocks identified by a novel iterative knapsack optimizer, and (2) leveraging simple math to re-arrange the order of operations in REDS computational graph to take advantage of the data cache. REDS support conventional deep networks frequently deployed on the edge and provide computational benefits even for small and simple networks. We evaluate REDS on seven benchmark architectures trained on the Visual Wake Words, Google Speech Commands, Fashion-MNIST and CIFAR10 datasets, and test on four off-the-shelf mobile and embedded hardware platforms. We provide a theoretical result and empirical evidence for REDS outstanding performance in terms of submodels' test set accuracy, and demonstrate an adaptation time in response to dynamic resource constraints of under 40$\mu$s, utilizing a 2-layer fully-connected network on Arduino Nano 33 BLE.


title: Fact-based Court Judgment Prediction

abstract: This extended abstract extends the research presented in "ILDC for CJPE: Indian Legal Documents Corpus for Court Judgment Prediction and Explanation" \cite{malik-etal-2021-ildc}, focusing on fact-based judgment prediction within the context of Indian legal documents. We introduce two distinct problem variations: one based solely on facts, and another combining facts with rulings from lower courts (RLC). Our research aims to enhance early-phase case outcome prediction, offering significant benefits to legal professionals and the general public. The results, however, indicated a performance decline compared to the original ILDC for CJPE study, even after implementing various weightage schemes in our DELSumm algorithm. Additionally, using only facts for legal judgment prediction with different transformer models yielded results inferior to the state-of-the-art outcomes reported in the "ILDC for CJPE" study.


title: Gradual Verification for Smart Contracts

abstract: Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external contracts, leading to substantial monetary losses. Traditional verification techniques fall short in providing comprehensive security assurances, especially against re-entrancy attacks, due to the unavailable implementations of external contracts. This paper introduces an incremental approach: gradual verification. We combine static and dynamic verification techniques to enhance security, guarantee soundness and flexibility, and optimize resource usage in smart contract interactions. By implementing a prototype for gradually verifying Algorand smart contracts via the pyTEAL language, we demonstrate the effectiveness of our approach, contributing to the safe and efficient execution of smart contracts.


title: Fuzzy Dark Matter Dynamics and the Quasiparticle Hypothesis

abstract: Dark matter may be composed of ultra-light bosons whose de Broglie wavelength in galaxies is of order 1 kpc. The standard model for this fuzzy dark matter (FDM) is a complex scalar field that obeys the Schr\"odinger-Poisson equations. The wavelike nature of FDM leads to fluctuations in the gravitational field that can pump energy into the stellar components of a galaxy. Heuristic arguments and theoretical analyses suggest that these fluctuations can be modelled by replacing FDM with a system of quasiparticles (QPs). We test this hypothesis by comparing self-consistent simulations of a Schr\"odinger field with those using a system of QPs in one spatial dimension. Simulations of pure FDM systems allow us to derive a phenomenological relation between the number of QPs that is required to model FDM with a given de Broglie wavelength. We also simulate systems of FDM and stars and find that the FDM pumps energy into the stars whether it is described by QPs or a Schr\"odinger field with the FDM adiabatically contracting and the stellar system adiabatically expanding. However, we find that QPs overestimate dynamical heating.


title: Durable, ultrathin, and antifouling polymer brush coating for efficient condensation heat transfer

abstract: Heat exchangers are made of metals because of their high heat conductivity and mechanical stability. Metal surfaces are inherently hydrophilic, leading to inefficient filmwise condensation. It is still a challenge to coat these metal surfaces with a durable, robust and thin hydrophobic layer, which is required for efficient dropwise condensation. Here, we report the non-structured and ultrathin (~6 nm) polydimethylsiloxane (PDMS) brushes on copper that sustain high-performing dropwise condensation in high supersaturation. Due to the flexible hydrophobic siloxane polymer chains, the coating has low resistance to drop sliding and excellent chemical stability. The PDMS brushes can sustain dropwise condensation for up to ~8 h during exposure to 111 {\deg}C saturated steam flowing at 3 m/s, with a 5-7 times higher heat transfer coefficient compared to filmwise condensation. The surface is self-cleaning and can reduce bacterial attachment by 99%. This low-cost, facile, fluorine-free, and scalable method is suitable for a great variety of condensation heat transfer applications.


title: "Energy transfers in surface wave-averaged equations"

abstract: Ocean surface gravity waves play an important role for the air-sea momentum fluxes and the upper ocean mixing, and knowledge of the sea state leads in general circulation models to improved estimates of the ocean energy budget and allows to incorporate surface wave impacts, such as Langmuir turbulence. However, including the Stokes drift, in phase-averaged equations for the Eulerian mean motion leads to an Eulerian energy budget which is physically difficult to interpret. In this note, we show that a Lagrangian energy budget allows for a closed energy budget, in which all terms connecting the different energy compartments correspond to well known energy transfer terms. We show that the so-called Coriolis-Stokes force does not lead to an energy transfer between surface gravity waves and oceanic mean motions as previously suggested. In an energy budget for the Lagrangian mean kinetic energy, the work done by the Coriolis-Stokes force does not contribute, and should be used to estimate the kinetic energy balance in the wave affected surface mixed layer. The Lagrangian energy budget is used to discuss an energetically consistent framework, which can be used to couple a general circulation ocean model to a surface wave model.


title: Unified Classification and Rejection: A One-versus-All Framework

abstract: Classifying patterns of known classes and rejecting ambiguous and novel (also called as out-of-distribution (OOD)) inputs are involved in open world pattern recognition. Deep neural network models usually excel in closed-set classification while performing poorly in rejecting OOD. To tackle this problem, numerous methods have been designed to perform open set recognition (OSR) or OOD rejection/detection tasks. Previous methods mostly take post-training score transformation or hybrid models to ensure low scores on OOD inputs while separating known classes. In this paper, we attempt to build a unified framework for building open set classifiers for both classification and OOD rejection. We formulate the open set recognition of $ K $-known-class as a $ (K + 1) $-class classification problem with model trained on known-class samples only. By decomposing the $ K $-class problem into $ K $ one-versus-all (OVA) binary classification tasks and binding some parameters, we show that combining the scores of OVA classifiers can give $ (K + 1) $-class posterior probabilities, which enables classification and OOD rejection in a unified framework. To maintain the closed-set classification accuracy of the OVA trained classifier, we propose a hybrid training strategy combining OVA loss and multi-class cross-entropy loss. We implement the OVA framework and hybrid training strategy on the recently proposed convolutional prototype network. Experiments on popular OSR and OOD detection datasets demonstrate that the proposed framework, using a single multi-class classifier, yields competitive performance in closed-set classification, OOD detection, and misclassification detection.


title: Uncertainty Estimation in Multi-Agent Distributed Learning

abstract: Traditionally, IoT edge devices have been perceived primarily as low-power components with limited capabilities for autonomous operations. Yet, with emerging advancements in embedded AI hardware design, a foundational shift paves the way for future possibilities. Thus, the aim of the KDT NEUROKIT2E project is to establish a new open-source framework to further facilitate AI applications on edge devices by developing new methods in quantization, pruning-aware training, and sparsification. These innovations hold the potential to expand the functional range of such devices considerably, enabling them to manage complex Machine Learning (ML) tasks utilizing local resources and laying the groundwork for innovative learning approaches. In the context of 6G's transformative potential, distributed learning among independent agents emerges as a pivotal application, attributed to 6G networks' support for ultra-reliable low-latency communication, enhanced data rates, and advanced edge computing capabilities. Our research focuses on the mechanisms and methodologies that allow edge network-enabled agents to engage in collaborative learning in distributed environments. Particularly, one of the key issues within distributed collaborative learning is determining the degree of confidence in the learning results, considering the spatio-temporal locality of data sets perceived by independent agents.


title: Improvements in charged lepton and photon propagation for the software PROPOSAL

abstract: Accurate particle simulations are essential for the next generation of experiments in astroparticle physics. The Monte Carlo simulation library PROPOSAL is a flexible tool to efficiently propagate high-energy leptons and photons through large volumes of media, for example in the context of underground observatories. It is written as a C++ library, including a Python interface. In this paper, the most recent updates of PROPOSAL are described, including the addition of electron, positron, and photon propagation, for which new interaction types have been implemented. This allows the usage of PROPOSAL to simulate electromagnetic particle cascades, for example in the context of air shower simulations. The precision of the propagation has been improved by including rare interaction processes, new photonuclear parametrizations, deflections in stochastic interactions, and the possibility of propagating in inhomogeneous density distributions. Additional technical improvements regarding the interpolation routine and the propagation algorithm are described.


title: Irregular Fibonacci Conformal Blocks

abstract: This work studies Liouville conformal blocks of irregular type with the insertion of at least one level-$3$ degenerate field admitting a Fibonacci fusion rule. We algebraically derive the corresponding third-order BPZ equations for regular blocks and their modifications when a rank one irregular operator is inserted. Employing Lefschetz thimbles as integration cycles, we then successively proceed to construct integral representations and prove that they satisfy the corresponding BPZ equations. Finally, we show that taking a semiclassical limit, these integral representations can be expressed in terms of Heun functions and have correct leading behaviors consistent with conformal weights and fusion rules.


title: Experimental determination of axion signal power of dish antennas and dielectric haloscopes using the reciprocity approach

abstract: The reciprocity approach is a powerful method to determine the expected signal power of axion haloscopes in a model-independent way. Especially for open and broadband setups like the MADMAX dielectric haloscope the sensitivity to the axion field is difficult to calibrate since they do not allow discrete eigenmode analysis and are optically too large to fully simulate. The central idea of the reciprocity approach is to measure a reflection-induced test field in the setup instead of trying to simulate the axion-induced field. In this article, the reciprocity approach is used to determine the expected signal power of a dish antenna and a minimal dielectric haloscope directly from measurements. The results match expectations from simulation but also include important systematic effects that are too difficult to simulate. In particular, the effect of antenna standing waves and higher order mode perturbations can be quantified for the first time in a dielectric haloscope.


title: Upgrade of Belle II Vertex Detector with CMOS Pixel Technology

abstract: The Belle II experiment at KEK in Japan considers upgrading its vertex detector system to address the challenges posed by high background levels caused by the increased luminosity of the SuperKEKB collider. One proposal for upgrading the vertex detector aims to install a 5-layer all monolithic pixel vertex detector based on fully depleted CMOS sensors in 2027. The new system will use the OBELIX MAPS chips to improve background robustness and reduce occupancy levels through small and fast pixels. This causes better track finding, especially for low transverse momenta tracks. This text will focus on the predecessor of the OBELIX sensor, the TJ-Monopix2, presenting laboratory and test beam results on pixel response, efficiency, and spatial resolution.


title: Applying Large Language Models to Power Systems: Potential Security Threats

abstract: Applying large language models (LLMs) to modern power systems presents a promising avenue for enhancing decision-making and operational efficiency. However, this action may also incur potential security threats, which have not been fully recognized so far. To this end, this article analyzes potential threats incurred by applying LLMs to power systems, emphasizing the need for urgent research and development of countermeasures.


title: On the tensor product of enriched $\infty$-categories

abstract: We show that the tensor product of $\infty$-categories enriched in a suitable monoidal $\infty$-category preserves colimits in each variable, fixing a mistake in an earlier paper of Gepner and the author. We also prove that essentially surjective and fully faithful functors form a factorization system on enriched $\infty$-categories, and that the tensor product and internal hom are compatible with this.


title: Model-based aberration corrected microscopy inside a glass tube

abstract: Microscope objectives achieve near diffraction-limited performance only when used under the conditions they are designed for. In non-standard geometries, such as thick cover slips or curved surfaces, severe aberrations arise, inevitably impairing high-resolution imaging. Correcting such large aberrations using standard adaptive optics can be challenging: existing solutions are either not suited for strong aberrations, or require extensive feedback measurements, consequently taking a significant portion of the photon budget. We demonstrate that it is possible to pre-compute the corrections needed for high-resolution imaging inside a glass tube based on a priori information only. Our ray-tracing based method achieved over an order of magnitude increase in image contrast without the need for a feedback signal.


title: On the maximum $A_{\alpha}$-spectral radius of unicyclic and bicyclic graphs with fixed girth or fixed number of pendant vertices

abstract: For a connected graph $G$, let $A(G)$ be the adjacency matrix of $G$ and $D(G)$ be the diagonal matrix of the degrees of the vertices in $G$. The $A_{\alpha}$-matrix of $G$ is defined as \begin{align*} A_\alpha (G) = \alpha D(G) + (1-\alpha) A(G) \quad \text{for any $\alpha \in [0,1]$}. \end{align*} The largest eigenvalue of $A_{\alpha}(G)$ is called the $A_{\alpha}$-spectral radius of $G$. In this article, we characterize the graphs with maximum $A_{\alpha}$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with fixed girth $g$. Also, we identify the unique graphs with maximum $A_{\alpha}$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with $k$ pendant vertices.


title: A Bounded Regret Strategy for Linear Dynamics with Unknown Control

abstract: We consider a simple linear control problem in which a single parameter $b$, describing the effect of the control variable, is unknown and must be learned. We work in the setting of agnostic control: we allow $b$ to be any real number and we do not assume that we have a prior belief about $b$. For any fixed time horizon, we produce a strategy whose expected cost is within a constant factor of the best possible.


title: Direct observations of general geothermal convection in deep Mediterranean waters

abstract: Like elsewhere in the deep-sea, life in the deep Mediterranean depends on turbulent exchange across the stable vertical density stratification for supply of nutrients and oxygen. Commonly modelled, turbulent exchange is inversely proportional to the stratification rate. However, this proportionality depends on the particular turbulence type, whether it is driven by vertical current differences (shear) or by buoyancy (convection). While shear-turbulence is well observed in stratified seas, direct observations of convection-turbulence are limited. In this paper, high-resolution moored temperature observations show that Mediterranean Sea waters are not stagnant in the lower 109 m above the seafloor at 2480 m, although variations are in the range of only 0.0001-0.001 degrC. In winter, convection-turbulence is regularly observed. Fortnightly averaged spectra show a collapse to the inertial-subrange scaling of dominant shear-turbulence for data from about 100 m above the seafloor, and to the buoyancy-subrange scaling of dominant convection-turbulence at about 10 m above the seafloor. Time-depth images reveal details of convection-turbulence driven from below, which is considered primarily due to general geothermal heating through the Earth crust not related to volcanic vents. When its observation is not masked by (sub-)mesoscale eddies that advect warmer waters from above, the geothermal heat flux matches the deep-sea turbulence dissipation rate, if in the calculations a mixing efficiency of 0.5 is taken typical for natural convection, integration is over 250 m above the seafloor as confirmed from shipborne CTD, and if maximum 2-m-scale buoyancy frequency replaces its 100-m-scale mean equivalent.


title: The GUAPOS project: G31.41+0.31 Unbiased ALMA sPectral Observational Survey. IV. Phosphorus-bearing molecules and their relation with shock tracers

abstract: The astrochemistry of the important biogenic element phosphorus (P) is still poorly understood, but observational evidence indicates that P-bearing molecules are likely associated with shocks. We study P-bearing molecules, as well as some shock tracers, towards one of the chemically richest hot molecular core, G31.41+0.31, in the framework of the project "G31.41+0.31 Unbiased ALMA sPectral Observational Survey" (GUAPOS), observed with the Atacama Large Millimeter Array (ALMA). We have observed the molecules PN, PO, SO, SO2, SiO, and SiS, through their rotational lines in the spectral range 84.05-115.91 GHz, covered by the GUAPOS project. PN is clearly detected while PO is tentatively detected. The PN emission arises from two regions southwest of the hot core peak, "1" and "2", and is undetected or tentatively detected towards the hot core peak. the PN and SiO lines are very similar both in spatial emission morphology and spectral shape. Region "1" is in part overlapping with the hot core and it is warmer than region "2", which is well separated from the hot core and located along the outflows identified in previous studies. The column density ratio SiO/PN remains constant in regions "1" and "2", while SO/PN, SiS/PN, and SO2/PN decrease by about an order of magnitude from region "1" to region "2", indicating that SiO and PN have a common origin even in regions with different physical conditions. Our study firmly confirms previous observational evidence that PN emission is tightly associated with SiO and it is likely a product of shock-chemistry, as the lack of a clear detection of PN towards the hot-core allows to rule out relevant formation pathways in hot gas. We propose the PN emitting region "2" as a new astrophysical laboratory for shock-chemistry studies


title: An Erd\H{o}s-Stone type result for high-order spectra of graphs

abstract: Erd\H{o}s-Stone Theorem is a well-known result in extremal graph theory which determines the asymptotic behaviour of maximum number of edges in an $n$-vertex $H$-free graph. In 2009, Nikiforov gave a spectral version of Erd\H{o}s-Stone Theorem. In this paper, we obtain a tensor's spectral version of Erd\H{o}s-Stone Theorem.


title: Note on Disjoint Cycles in Multipartite Tournaments

abstract: In 1981, Bermond and Thomassen conjectured that for any positive integer $k$, every digraph with minimum out-degree at least $2k-1$ admits $k$ vertex-disjoint directed cycles. In this short paper, we verify the Bermond-Thomassen conjecture for triangle-free multipartite tournaments and 3-partite tournaments. Furthermore, we characterize 3-partite tournaments with minimum out-degree at least $2k-1$ ($k\geq 2$) such that in each set of $k$ vertex-disjoint directed cycles, every cycle has the same length.


title: Global well-posedness of one-dimensional cubic fractional nonlinear Schr\"odinger equations in negative Sobolev spaces

abstract: We study the Cauchy problem for the cubic fractional nonlinear Schr\"odinger equation (fNLS) on the real line and on the circle. In particular, we prove global well-posedness of the cubic fNLS with all orders of dispersion higher than the usual Schr\"odinger equation in negative Sobolev spaces. On the real line, our well-posedness result is sharp in the sense that a contraction argument does not work below the threshold regularity. On the circle, due to ill-posedness of the cubic fNLS in negative Sobolev spaces, we study the renormalized cubic fNLS. In order to overcome the failure of local uniform continuity of the solution map in negative Sobolev spaces, by applying a gauge transform and partially iterating the Duhamel formulation, we study the resulting equation with a cubic-quintic nonlinearity. In proving uniqueness, we present full details justifying the use of the normal form reduction for rough solutions, which seem to be missing from the existing literature. Our well-posedness result on the circle extends those in Miyaji-Tsutsumi (2018) and Oh-Wang (2018) to the endpoint regularity.


title: A Novel Dynamic Event-triggered Mechanism for Dynamic Average Consensus

abstract: This paper studies a challenging issue introduced in a recent survey, namely designing a distributed event-based scheme to solve the dynamic average consensus (DAC) problem. First, a robust adaptive distributed event-based DAC algorithm is designed without imposing specific initialization criteria to perform estimation task under intermittent communication. Second, a novel adaptive distributed dynamic event-triggered mechanism is proposed to determine the triggering time when neighboring agents broadcast information to each other. Compared to the existing event-triggered mechanisms, the novelty of the proposed dynamic event-triggered mechanism lies in that it guarantees the existence of a positive and uniform minimum inter-event interval without sacrificing any accuracy of the estimation, which is much more practical than only ensuring the exclusion of the Zeno behavior or the boundedness of the estimation error. Third, a composite adaptive law is developed to update the adaptive gain employed in the distributed event-based DAC algorithm and dynamic event-triggered mechanism. Using the composite adaptive update law, the distributed event-based solution proposed in our work is implemented without requiring any global information. Finally, numerical simulations are provided to illustrate the effectiveness of the theoretical results.


title: MRGazer: Decoding Eye Gaze Points from Functional Magnetic Resonance Imaging in Individual Space

abstract: Eye-tracking research has proven valuable in understanding numerous cognitive functions. Recently, Frey et al. provided an exciting deep learning method for learning eye movements from fMRI data. However, it needed to co-register fMRI into standard space to obtain eyeballs masks, and thus required additional templates and was time consuming. To resolve this issue, in this paper, we propose a framework named MRGazer for predicting eye gaze points from fMRI in individual space. The MRGazer consisted of eyeballs extraction module and a residual network-based eye gaze prediction. Compared to the previous method, the proposed framework skips the fMRI co-registration step, simplifies the processing protocol and achieves end-to-end eye gaze regression. The proposed method achieved superior performance in a variety of eye movement tasks than the co-registration-based method, and delivered objective results within a shorter time (~ 0.02 Seconds for each volume) than prior method (~0.3 Seconds for each volume).


title: Large Language Model as a Policy Teacher for Training Reinforcement Learning Agents

abstract: Recent studies have uncovered the potential of Large Language Models (LLMs) in addressing complex sequential decision-making tasks through the provision of high-level instructions. However, LLM-based agents lack specialization in tackling specific target problems, particularly in real-time dynamic environments. Additionally, deploying an LLM-based agent in practical scenarios can be both costly and time-consuming. On the other hand, reinforcement learning (RL) approaches train agents that specialize in the target task but often suffer from low sampling efficiency and high exploration costs. In this paper, we introduce a novel framework that addresses these challenges by training a smaller, specialized student RL agent using instructions from an LLM-based teacher agent. By incorporating the guidance from the teacher agent, the student agent can distill the prior knowledge of the LLM into its own model. Consequently, the student agent can be trained with significantly less data. Moreover, through further training with environment feedback, the student agent surpasses the capabilities of its teacher for completing the target task. We conducted experiments on challenging MiniGrid and Habitat environments, specifically designed for embodied AI research, to evaluate the effectiveness of our framework. The results clearly demonstrate that our approach achieves superior performance compared to strong baseline methods. Our code is available at https://github.com/ZJLAB-AMMI/LLM4Teach.


title: An Empirical Study of Uncertainty Estimation Techniques for Detecting Drift in Data Streams

abstract: In safety-critical domains such as autonomous driving and medical diagnosis, the reliability of machine learning models is crucial. One significant challenge to reliability is concept drift, which can cause model deterioration over time. Traditionally, drift detectors rely on true labels, which are often scarce and costly. This study conducts a comprehensive empirical evaluation of using uncertainty values as substitutes for error rates in detecting drifts, aiming to alleviate the reliance on labeled post-deployment data. We examine five uncertainty estimation methods in conjunction with the ADWIN detector across seven real-world datasets. Our results reveal that while the SWAG method exhibits superior calibration, the overall accuracy in detecting drifts is not notably impacted by the choice of uncertainty estimation method, with even the most basic method demonstrating competitive performance. These findings offer valuable insights into the practical applicability of uncertainty-based drift detection in real-world, safety-critical applications.


title: A Study of Cunningham Bounds through Rogue Primes

abstract: If $p$ is prime, a sequence of prime numbers $\{p, 2p+1, 4p+3,...,2^{n-1}(p+1)-1\}$ is called a Cunningham chain. These are finite sequences of prime numbers, for which each element but the last is a Sophie Germain prime. It is conjectured that there are arbitrarily large such Cunningham chains, and these chains form an essential part of the study of Sophie Germain primes. In this paper, we aim to significantly improve existing bounds for the length of Cunningham chains by considering their behaviour in the framework of what we will define as $\textit{rogueness}$.


title: Thermal Pair Production from Photon-Photon Collision: Breit-Wheeler Process at Finite Temperature

abstract: In this paper we examine the pair production through the Breit-Wheeler process $\gamma~\gamma \to e^+ e^-$ in a thermal background. We compute the thermal contribution to the Breit-Wheeler differential cross section within the thermofield dynamics formalism. We evaluate in details the cross section for this process, which possess a surprisingly simple expression valid for any temperature $\beta$, from which we discuss some physically relevant aspects. We also consider the high temperature regime of the cross section in order to have a better understanding about its thermal behavior.


title: Moon-type theorems on circuits in strongly connected tournaments of order $N$ and diameter $D$

abstract: Let $T$ be a strongly connected tournament of order $n\ge 4$ whose diameter does not exceed $d\ge 3.$ Denote by $c_{\ell}(T)$ the number of circuits of length $\ell$ in $T.$ In our recent paper, we construct a strongly connected tournament $T_{d,n}$ of order $n$ with diameter $d$ and conjecture that $c_{\ell}(T)\ge c_{\ell}(T_{d,n})$ for any $\ell=3,...,n.$ In particular, for $d=n-1,$ this inequality is true and yields the known Moon (lower) bound $c_{\ell}(T)\ge n-\ell+1.$ Moreover, we suggest that if $n+3\le 2d,$ then for any given $\ell$ taken in the range $n-d+3,...,d,$ the equality $c_{\ell}(T)=c_{\ell}(T_{d,n})$ implies that $T$ is isomorphic to $T_{d,n}$ or its converse $T_{d,n}^{-}.$ For $d=n-1,$ the corresponding particular statement is nothing else than Las Vergnas' theorem. Recently, we have confirmed the posed conjecture for the case $d=n-2.$ In the present paper, we show that it is also true for $d=n-3.$


title: Point Projection Mapping System for Tracking, Registering, Labeling and Validating Optical Tissue Measurements

abstract: Validation of newly developed optical tissue sensing techniques for tumor detection during cancer surgery requires an accurate correlation with histological results. Additionally, such accurate correlation facilitates precise data labeling for developing high-performance machine-learning tissue classification models. In this paper, a newly developed Point Projection Mapping system will be introduced, which allows non-destructive tracking of the measurement locations on tissue specimens. Additionally, a framework for accurate registration, validation, and labeling with histopathology results is proposed and validated on a case study. The proposed framework provides a more robust and accurate method for tracking and validation of optical tissue sensing techniques, which saves time and resources compared to conventional techniques available.


title: Pruning-Based Extraction of Descriptions from Probabilistic Circuits

abstract: Concept learning is a general task with applications in various domains. As a motivating example we consider the application of music playlist generation, where a playlist is represented as a concept (e.g., `relaxing music') rather than as a fixed collection of songs. In this work we use a probabilistic circuit to learn a concept from positively labelled and unlabelled examples. While these circuits form an attractive tractable model for this task, it is challenging for a domain expert to inspect and analyse them, which impedes their use within certain applications. We propose to resolve this by converting a learned probabilistic circuit into a logic-based discriminative model that covers the high density regions of the circuit. That is, those regions the circuit classifies as certainly being part of the learned concept. As part of this approach we present two contributions: PUTPUT, an algorithm to prune low density regions from a probabilistic circuit while considering both the F1-score and a newly proposed description length that we call aggregated entropy. Our experiments demonstrate the effectiveness of our approach in providing discriminative models, outperforming competitors on the music playlist generation task and similar datasets.


title: Analyzing the Evolution and Maintenance of ML Models on Hugging Face

abstract: Hugging Face (HF) has established itself as a crucial platform for the development and sharing of machine learning (ML) models. This repository mining study, which delves into more than 380,000 models using data gathered via the HF Hub API, aims to explore the community engagement, evolution, and maintenance around models hosted on HF, aspects that have yet to be comprehensively explored in the literature. We first examine the overall growth and popularity of HF, uncovering trends in ML domains, framework usage, authors grouping and the evolution of tags and datasets used. Through text analysis of model card descriptions, we also seek to identify prevalent themes and insights within the developer community. Our investigation further extends to the maintenance aspects of models, where we evaluate the maintenance status of ML models, classify commit messages into various categories (corrective, perfective, and adaptive), analyze the evolution across development stages of commits metrics and introduce a new classification system that estimates the maintenance status of models based on multiple attributes. This study aims to provide valuable insights about ML model maintenance and evolution that could inform future model development strategies on platforms like HF.


title: Confidant: Customizing Transformer-based LLMs via Collaborative Edge Training

abstract: Transformer-based large language models (LLMs) have demonstrated impressive capabilities in a variety of natural language processing (NLP) tasks. Nonetheless, it is challenging to deploy and fine-tune LLMs on mobile edge devices with limited computing, memory, and energy budgets. In this paper, we propose Confidant, a multi-backend collaborative training framework for customizing state-of-the-art LLMs on commodity mobile devices like smartphones. Confidant partitions an LLM into several sub-models so that each fits into a mobile device's memory. A pipeline parallel training mechanism is further developed to ensure fast and efficient distributed training. In addition, we propose a novel backend scheduler to allocate different attention heads to heterogeneous compute hardware, including mobile CPU and GPUs, to maximize the compute resource utilization on each edge device. Our preliminary experimental results show that Confidant achieves at most 45.3% memory reduction and 8.03x inference speedup in practical settings.


title: Recent progress on Langlands reciprocity for $\mathrm{GL}_n$: Shimura varieties and beyond

abstract: The goal of these lecture notes is to survey progress on the global Langlands reciprocity conjecture for $\mathrm{GL}_n$ over number fields from the last decade and a half. We highlight results and conjectures on Shimura varieties and more general locally symmetric spaces, with a view towards the Calegari-Geraghty method to prove modularity lifting theorems beyond the classical setting of Taylor-Wiles.


title: Efficient Spatial Dataset Search over Multiple Data Sources

abstract: In this paper, we investigate a novel spatial dataset search paradigm over multiple spatial data sources, which enables users to conduct join and union searches seamlessly. Specifically, we define two search problems called Maximum Intersection Query (MIQ) and Maximum Coverage Query with a Connection constraint (MCQC). To address these problems, we propose a unified Multi-source Spatial Dataset Search (MSDS) framework. In MSDS, we design a multi-layer index to accelerate the MIQ and MCQC. In addition, we prove that the MCQC is NP-hard and design two greedy algorithms to solve the problem. To deal with the constant update of spatial datasets in each data source, we design a dynamic index updating strategy and optimize search algorithms to reduce communication costs and improve search efficiency. We evaluate the efficiency of MSDS on five real-world data sources, and the experimental results show that our framework is able to achieve a significant reduction in running time and communication cost.


title: LucidDreamer: Domain-free Generation of 3D Gaussian Splatting Scenes

abstract: With the widespread usage of VR devices and contents, demands for 3D scene generation techniques become more popular. Existing 3D scene generation models, however, limit the target scene to specific domain, primarily due to their training strategies using 3D scan dataset that is far from the real-world. To address such limitation, we propose LucidDreamer, a domain-free scene generation pipeline by fully leveraging the power of existing large-scale diffusion-based generative model. Our LucidDreamer has two alternate steps: Dreaming and Alignment. First, to generate multi-view consistent images from inputs, we set the point cloud as a geometrical guideline for each image generation. Specifically, we project a portion of point cloud to the desired view and provide the projection as a guidance for inpainting using the generative model. The inpainted images are lifted to 3D space with estimated depth maps, composing a new points. Second, to aggregate the new points into the 3D scene, we propose an aligning algorithm which harmoniously integrates the portions of newly generated 3D scenes. The finally obtained 3D scene serves as initial points for optimizing Gaussian splats. LucidDreamer produces Gaussian splats that are highly-detailed compared to the previous 3D scene generation methods, with no constraint on domain of the target scene. Project page: https://luciddreamer-cvlab.github.io/


title: SegVol: Universal and Interactive Volumetric Medical Image Segmentation

abstract: Precise image segmentation provides clinical study with instructive information. Despite the remarkable progress achieved in medical image segmentation, there is still an absence of 3D foundation segmentation model that can segment a wide range of anatomical categories with easy user interaction. In this paper, we propose a 3D foundation segmentation model, named SegVol, supporting universal and interactive volumetric medical image segmentation. By scaling up training data to 90K unlabeled Computed Tomography (CT) volumes and 6K labeled CT volumes, this foundation model supports the segmentation of over 200 anatomical categories using semantic and spatial prompts. Extensive experiments on 10 internal validation tasks and 18 external validation tasks verify that SegVol outperforms the state of the art by a large margin. Through its capacity to provide precise volumetric segmentation across various anatomical categories, SegVol has the potential to accelerate advancements in medical imaging diagnosis and facilitate treatment optimization. The model and code are publicly available at: https://github.com/BAAI-DCAI/SegVol.


title: Numerical Approximation of Optimal Convex Shapes in $\mathbb{R}^3$

abstract: In the optimization of convex domains under a PDE constraint numerical difficulties arise in the approximation of convex domains in $\mathbb{R}^3$. Previous research used a restriction to rotationally symmetric domains to reduce shape optimization problems to a two-dimensional setting. In the current research, two approaches for the approximation in $\mathbb{R}^3$ are considered. First, a notion of discrete convexity allows for a nearly convex approximation with polyhedral domains. An alternative approach is based on the recent observation that higher order finite elements can approximate convex functions conformally. As a second approach these results are used to approximate optimal convex domains with isoparametric convex domains. The proposed algorithms were tested on shape optimization problems constrained by a Poisson equation and both algorithms achieved similar results.


title: SystemC Model of Power Side-Channel Attacks Against AI Accelerators: Superstition or not?

abstract: As training artificial intelligence (AI) models is a lengthy and hence costly process, leakage of such a model's internal parameters is highly undesirable. In the case of AI accelerators, side-channel information leakage opens up the threat scenario of extracting the internal secrets of pre-trained models. Therefore, sufficiently elaborate methods for design verification as well as fault and security evaluation at the electronic system level are in demand. In this paper, we propose estimating information leakage from the early design steps of AI accelerators to aid in a more robust architectural design. We first introduce the threat scenario before diving into SystemC as a standard method for early design evaluation and how this can be applied to threat modeling. We present two successful side-channel attack methods executed via SystemC-based power modeling: correlation power analysis and template attack, both leading to total information leakage. The presented models are verified against an industry-standard netlist-level power estimation to prove general feasibility and determine accuracy. Consequently, we explore the impact of additive noise in our simulation to establish indicators for early threat evaluation. The presented approach is again validated via a model-vs-netlist comparison, showing high accuracy of the achieved results. This work hence is a solid step towards fast attack deployment and, subsequently, the design of attack-resilient AI accelerators.


title: The photospheres of the hottest fastest stars in the Galaxy

abstract: We perform nonlocal thermodynamic equilibrium (NLTE) model atmosphere analyses of the three hottest hypervelocity stars (space velocities between $\approx$ 1500-2800 km s$^{-1}$) known to date, which were recently discovered spectroscopically and identified as runaways from Type Ia supernovae. The hottest of the three (J0546$+$0836, effective temperature $T_\mathrm{eff}$ = 95,000 $\pm$ 15,000 K, surface gravity log g = $5.5 \pm 0.5$) has an oxygen-dominated atmosphere with a significant amount of carbon (C = $0.10 \pm 0.05$, O = $0.90 \pm 0.05$, mass fractions). Its mixed absorption+emission line spectrum exhibits photospheric absorption lines from O V and O VI as well as O III and O IV emission lines that are formed in a radiation-driven wind with a mass-loss rate of the order of $10^{-8}$ $M_\odot$ yr$^{-1}$. Spectroscopically, J0546$+$0836 is a [WC]-PG1159 transition-type pre-white dwarf. The second object (J0927$-$6335) is a PG1159-type white dwarf with a pure absorption-line spectrum dominated by C III/C IV and O III/O IV. We find $T_\mathrm{eff}$ = 60,000 $\pm$ 5000 K, log g = $7.0 \pm 0.5$, and a carbon- and oxygen-dominated atmosphere with C = $0.47 \pm 0.25$, O = $0.48 \pm 0.25$, and possibly a minute amount of helium (He = $0.05 \pm 0.05$). Comparison with post-AGB evolutionary tracks suggests a mass of $M\approx0.5$ $M_\odot$ for both objects, if such tracks can safely be applied to these stars. We find the third object (J1332$-$3541) to be a relatively massive ($M=0.89 M_\odot$) hydrogen-rich (DAO) white dwarf with $T_\mathrm{eff}$ = 65,657 $\pm$ 2390 K, log g = $8.38 \pm 0.08$, and abundances H = $0.65 \pm 0.04$ and He = $0.35 \pm 0.04$. We discuss our results in the context of the "dynamically driven double-degenerate double-detonation" (D$^6$) scenario proposed for the origin of these stars.


title: Conflict Management in the Near-RT-RIC of Open RAN: A Game Theoretic Approach

abstract: Open Radio Access Network (RAN) was introduced recently to incorporate intelligence and openness into the upcoming generation of RAN. Open RAN offers standardized interfaces and the capacity to accommodate network applications from external vendors through extensible applications (xApps), which enhance network management flexibility. The Near-Real-Time Radio Intelligent Controller (Near-RT-RIC) employs specialized and intelligent xApps for achieving time-critical optimization objectives, but conflicts may arise due to different vendors' xApps modifying the same parameters or indirectly affecting each others' performance. A standardized Conflict Management System (CMS) is absent in most of the popular Open RAN architectures including the most prominent O-RAN Alliance architecture. To address this, we propose a CMS with independent controllers for conflict detection and mitigation between xApps in the Near-RT-RIC. We utilize cooperative bargain game theory, including Nash Social Welfare Function (NSWF) and the Equal Gains (EG) solution, to find optimal configurations for conflicting parameters. Experimental results demonstrate the effectiveness of the proposed Conflict Management Controller (CMC) in balancing conflicting parameters and mitigating adverse impacts in the Near-RT-RIC on a theoretical example scenario.


title: Performance Analysis Of Binaural Signal Matching (BSM) in the Time-Frequency Domain

abstract: The capture and reproduction of spatial audio is becoming increasingly popular, with the mushrooming of applications in teleconferencing, entertainment and virtual reality. Many binaural reproduction methods have been developed and studied extensively for spherical and other specially designed arrays. However, the recent increased popularity of wearable and mobile arrays requires the development of binaural reproduction methods for these arrays. One such method is binaural signal matching (BSM). However, to date this method has only been investigated with fixed matched filters designed for long audio recordings. With the aim of making the BSM method more adaptive to dynamic environments, this paper analyzes BSM with a parameterized sound-field in the time-frequency domain. The paper presents results of implementing the BSM method on a sound-field that was decomposed into its direct and reverberant components, and compares this implementation with the BSM computed for the entire sound-field, to compare performance for binaural reproduction of reverberant speech in a simulated environment.


title: Simultaneous uniqueness and numerical inversion for an inverse problem in the time-domain diffuse optical tomography with fluorescence

abstract: In this work, an inverse problem on the determination of multiple coefficients arising from the time-domain diffuse optical tomography with fluorescence (DOT-FDOT) is investigated. We simultaneously recover the distribution of background absorption coefficient, photon diffusion coefficient as well as the fluorescence absorption in biological tissue by the time-dependent boundary measurements. We build the uniqueness theorem of this multiple coefficients simultaneous inverse problem. After that, the numerical inversions are considered. We introduce an accelerated Landweber iterative algorithm and give several numerical examples illustrating the performance of the proposed inversion schemes.


title: On the pointwise existence of Cauchy $\rm{P.V.}$ integrals

abstract: The Riemann-Hilbert (RH) approach, whose origins can be traced back to Riemann's PhD thesis, is well known to be far-reaching. It provides a general framework for expressing solutions of integrable problems such as ODEs or PDEs. Its generalization concerning monodromy groups of Fuchsian systems is one of Hilbert's 23 problems. In this paper we extend a basic result in scalar RH theory, the Sokhotski-Plemelj formula. Classically, this formula is derived under assumptions of H\"older continuity, although it also holds true under weaker, Dini, continuity conditions. Dini continuity is still too restrictive. We prove the Sokhotski-Plemelj formula under weaker assumptions, namely continuity at a point and an $L^1$ condition. Furthermore, we provide sufficient conditions for the existence of the Cauchy $\rm{P.V.}$ integral which are in a precise sense also necessary: weakening them runs into obstructions of a mathematical foundations nature.


title: Thermodynamics of the spin-1/2 Heisenberg antiferromagnet on the star lattice

abstract: Using a combination of quantum Monte Carlo simulations in adapted cluster bases, the finite temperature Lanczos method, and an effective Hamiltonian approach, we explore the thermodynamic properties of the spin-1/2 Heisenberg antiferromagnet on the star lattice. We consider various parameter regimes on this strongly frustrated Archimedean lattice, including the case of homogeneous couplings as well as the distinct parameter regimes of dominant vs. weak dimer coupling. For the latter case, we explore the quantum phase diagram in the presence of inhomogeneous trimer couplings, preserving inversion symmetry. We compare the efficiency of different cluster decoupling schemes for the quantum Monte Carlo simulations in terms of the sign problem, contrast the thermodynamic properties to those of other strongly frustrated quantum magnets, such as the kagome lattice model, and comment on previous results from tensor-network calculations regarding a valence bond crystal phase in the regime of weak dimer coupling. Finally, we relate our results to recently reported experimental findings on a Cu-based quantum magnetic spin-1/2 compound with an underlying star lattice structure.


title: Belief identification by proxy

abstract: It is well known that individual beliefs cannot be identified using traditional choice data, unless we exogenously assume state-independent utilities. In this paper, I propose a novel methodology that solves this long-standing identification problem in a simple way. This method relies on the extending the state space by introducing a proxy, for which the agent has no stakes conditional on the original state space. The latter allows us to identify the agent's conditional beliefs about the proxy given each state realization, which in turn suffices for indirectly identifying her beliefs about the original state space. This approach is analogous to the one of instrumental variables in econometrics. Similarly to instrumental variables, the appeal of this method comes from the flexibility in selecting a proxy.


title: Site-selective doublon-holon dynamics in a pumped one-dimensional Hubbard superlattice with staggered Coulomb interactions

abstract: Doublon-holon dynamics is investigated in a pumped one-dimensional Hubbard model with a staggered on?site Coulomb interaction at half-filling. When the system parameters are set to be in the Mott insulating regime the equilibrium sublattice density of states exhibits several characteristic peaks, corresponding to the lower and upper Hubbard bands as well as hybridization bands. We study the linear absorption spectrum and find two main peaks characterizing the photon frequencies which excite the ground state to an excited state. For a system driven by a laser pulse with general intensity and frequency, both the energy absorption and the doublon-holon dynamics exhibit distinct behaviors as a function of laser amplitude and frequency. Single-photon processes are observed at low laser intensity where the energy is absorbed for resonance laser frequencies. For strong laser intensity multi-photon induced dynamics are observed in the system, which are confirmed by an evaluation of the Loschmidt amplitude. The contribution of multi-photon processes to site-specific double occupancy is also characterized by the generalized Loschmidt amplitude. The site-selective doublon-holon dynamics are observed in both the one and multi-photon processes and the site-selective behavior is explained within a quasiparticle picture. Our study suggests strategies to optically engineer the doublon-holon dynamics in one dimensional strongly correlated many-body systems.


title: Status and Prospects of the PandaX-III Experiment

abstract: The PandaX-III experiment searches the neutrinoless double beta decay of $^{136}$Xe with a high-pressure xenon gaseous time projection chamber~(TPC). Thermal-bonding Micromegas modules are used for charge collection. Benefitting from the excellent energy resolution and imaging capability, the background rate can be significantly suppressed through the topological information of events. The technology is successfully demonstrated by a prototype detector. The final detector has been constructed. In this paper, we will report the status of the PandaX-III experiment, including the construction and commissioning of the final detector, and the Micromegas-based TPC performance test in the prototype detector.


title: Spatial Audio and Individualized HRTFs using a Convolutional Neural Network (CNN)

abstract: Spatial audio and 3-Dimensional sound rendering techniques play a pivotal and essential role in immersive audio experiences. Head-Related Transfer Functions (HRTFs) are acoustic filters which represent how sound interacts with an individual's unique head and ears anatomy. The use of HRTFs compliant to the subjects anatomical traits is crucial to ensure a personalized and unique spatial experience. This work proposes the implementation of an HRTF individualization method based on anthropometric features automatically extracted from ear images using a Convolutional Neural Network (CNN). Firstly, a CNN is implemented and tested to assess the performance of machine learning on positioning landmarks on ear images. The I-BUG dataset, containing ear images with corresponding 55 landmarks, was used to train and test the neural network. Subsequently, 12 relevant landmarks were selected to correspond to 7 specific anthropometric measurements established by the HUTUBS database. These landmarks serve as a reference for distance computation in pixels in order to retrieve the anthropometric measurements from the ear images. Once the 7 distances in pixels are extracted from the ear image, they are converted in centimetres using conversion factors, a best match method vector is implemented computing the Euclidean distance for each set in a database of 116 ears with their corresponding 7 anthropometric measurements provided by the HUTUBS database. The closest match of anthropometry can be identified and the corresponding set of HRTFs can be obtained for personnalized use. The method is evaluated in its validity instead of the accuracy of the results. The conceptual scope of each stage has been verified and substantiated to function correctly. The various steps and the available elements in the process are reviewed and challenged to define a greater algorithm entity designed for the desired task.


title: Depth-Regularized Optimization for 3D Gaussian Splatting in Few-Shot Images

abstract: In this paper, we present a method to optimize Gaussian splatting with a limited number of images while avoiding overfitting. Representing a 3D scene by combining numerous Gaussian splats has yielded outstanding visual quality. However, it tends to overfit the training views when only a small number of images are available. To address this issue, we introduce a dense depth map as a geometry guide to mitigate overfitting. We obtained the depth map using a pre-trained monocular depth estimation model and aligning the scale and offset using sparse COLMAP feature points. The adjusted depth aids in the color-based optimization of 3D Gaussian splatting, mitigating floating artifacts, and ensuring adherence to geometric constraints. We verify the proposed method on the NeRF-LLFF dataset with varying numbers of few images. Our approach demonstrates robust geometry compared to the original method that relies solely on images. Project page: robot0321.github.io/DepthRegGS


title: Wetting and Strain Engineering of 2D Materials on Nanopatterned Substrates

abstract: The fascinating realm of strain engineering and wetting transitions in two-dimensional (2D) materials takes place when placed on a two-dimensional array of nanopillars or one-dimensional rectangular grated substrates. Our investigation encompasses a diverse set of atomically thin 2D materials, including transition metal dichalcogenides, hexagonal boron nitride, and graphene, with a keen focus on the impact of van der Waals adhesion energies to the substrate on the wetting/dewetting behavior on nanopatterned substrates. We find a critical aspect ratio of the nanopillar or grating heights to the period of the pattern when the wetting/dewetting transition occurs. Furthermore, energy hysteresis analysis reveals dynamic detachment and re-engagement events during height adjustments, shedding light on energy barriers of 2D monolayer transferred on patterned substrates. Our findings offer avenues for strain engineering in 2D materials, leading to promising prospects for future technological applications.


title: Isotropic spin and inverse spin Hall effect in epitaxial (111)-oriented Pt/Co bilayers

abstract: The spin-to-charge current interconversion in bilayers composed of ferromagnetic and nonmagnetic layers with strong spin-orbit coupling has garnered considerable attention due to its exceptional potential in advancing spintronics devices for data storage and logic applications. Platinum (Pt) stands out as one of the most effective materials for generating spin current. While the spin conversion efficiency is isotropic in polycrystalline Pt samples, an ongoing debate persists regarding its dependence on the crystalline direction in single crystalline samples. In this study, we aim to comprehensively evaluate the in-plane anisotropy of spin-charge interconversion using an array of complementary Spin Hall and inverse Spin Hall techniques with both incoherent and coherent excitation. Specifically, we investigate the spin-to-charge interconversion in epitaxial, (111)-oriented, Co/Pt bilayers with low surface roughness, as resulted from x-ray experiments. By varying the thickness of the Pt layer, we gain insights into the spin-charge interconversion in epitaxial Pt and highlight the effects of the interfaces. Our results demonstrate an isotropic behavior within the limits of our detection uncertainty. This finding significantly enhances our understanding of spin conversion in one of the most relevant systems in spintronics and paves the way for future research in this field.


title: Curvature of the energy per particle in neutron stars

abstract: Neutron stars (NSs) serve as laboratories for probing strongly interacting matter at the most extreme densities. Their inner cores are expected to be dense enough to host deconfined quark matter. Utilizing state-of-the-art theoretical and multi-messenger constraints, we statistically determine the bulk properties of dense NS matter. We show that the speed of sound can be expressed in terms of the slope and curvature of the energy per particle. We demonstrate that the restoration of conformal symmetry requires changing the sign of the curvature of the bulk energy per particle as a function of energy density. Furthermore, we find that such a sign change is closely related to the peak in the speed of sound. We argue that the curvature of the energy per particle may serve as an approximate order parameter that signifies the onset of strongly coupled conformal matter in the NS core.


title: Condensed Matter Systems Exposed to Radiation: Multiscale Theory, Simulations, and Experiment

abstract: This paper reviews the new highly interdisciplinary research field studying the behavior of condensed matter systems exposed to radiation. The paper highlights several relevant examples of recent advances in the field and provides a roadmap for the development of the field in the next decade. Condensed matter systems exposed to radiation may have very different natures, being inorganic, organic or biological, finite or infinite, be composed of many different molecular species or materials, existing in different phases (solid, liquid, gaseous or plasma) and operating under different thermodynamic conditions. The essential and novel element of this research is that, despite the vast diversity of such systems, many of the key phenomena related to the behavior of irradiated systems (such as radiation-induced damage, mechanisms of damage repair and control, radiation protection, etc.) are very similar and can be understood based on the same fundamental theoretical principles and computational approaches. One of the essential features of the aforementioned phenomena concerns their multiscale nature as the manifestation of the radiation-induced effects occurring at different spatial and temporal scales ranging from the atomic to the macroscopic. The multiscale nature of the effects and similarity of their manifestation in systems of different origins necessarily brings together different disciplines, such as physics, chemistry, biology, materials and nano-science, and biomedical research, demonstrating numerous interlinks and commonalities between them. This research field is highly relevant to many novel and emerging technologies and medical applications.

categories: physics.chem-ph cond-mat.mes-hall physics.atom-ph physics.bio-ph physics.plasm-ph


title: Explicit height estimates for CM curves of genus 2

abstract: In this paper we make explicit the constants of Habegger and Pazuki's work from 2017 on bounding the discriminant of cyclic Galois CM fields corresponding to genus 2 curves with CM by them and potentially good reduction outside a predefined set of primes. We also simplify some of the arguments.


title: Animatable 3D Gaussians for High-fidelity Synthesis of Human Motions

abstract: We present a novel animatable 3D Gaussian model for rendering high-fidelity free-view human motions in real time. Compared to existing NeRF-based methods, the model owns better capability in synthesizing high-frequency details without the jittering problem across video frames. The core of our model is a novel augmented 3D Gaussian representation, which attaches each Gaussian with a learnable code. The learnable code serves as a pose-dependent appearance embedding for refining the erroneous appearance caused by geometric transformation of Gaussians, based on which an appearance refinement model is learned to produce residual Gaussian properties to match the appearance in target pose. To force the Gaussians to learn the foreground human only without background interference, we further design a novel alpha loss to explicitly constrain the Gaussians within the human body. We also propose to jointly optimize the human joint parameters to improve the appearance accuracy. The animatable 3D Gaussian model can be learned with shallow MLPs, so new human motions can be synthesized in real time (66 fps on avarage). Experiments show that our model has superior performance over NeRF-based methods.


title: Triple-sinusoid hedgehog lattice in a centrosymmetric Kondo metal

abstract: Superposed symmetry-equivalent magnetic ordering wave vectors can lead to topologically non-trivial spin textures, such as magnetic skyrmions and hedgehogs, and give rise to novel quantum phenomena due to fictitious magnetic fields associated with a non-zero Berry curvature of these spin textures. To date, all known spin textures are constructed through the superposition of multiple spiral orders, where spins vary in directions with constant amplitude. Recent theoretical studies have suggested that multiple sinusoidal orders, where collinear spins vary in amplitude, can construct distinct topological spin textures regarding chirality properties. However, such textures have yet to be experimentally realised. In this work, we report the observation of a zero-field magnetic hedgehog lattice from a superposition of triple sinusoidal wave vectors in the magnetically frustrated Kondo lattice CePtAl4Ge2. Notably, we also observe the emergence of anomalous electrical and thermodynamic behaviours near the field-induced transition from the zero-field topological hedgehog lattice to a non-topological sinusoidal state. These observations highlight the role of Kondo coupling in stabilising the zero-field hedgehog state in the Kondo lattice and warrant an expedited search for other topological magnetic structures coupled with Kondo coupling.


title: Zig-zag dynamics in a Stern-Gerlach spin measurement

abstract: The one-century-old Stern-Gerlach setup is paradigmatic for a quantum measurement. We visualize the electron trajectories following the Bohmian zig-zag dynamics. This dynamics was developed in order to deal with the fundamentally massless nature of particles (with mass emerging from the Brout-Englert-Higgs mechanism). The corresponding trajectories exhibit a stochastic zig-zagging, as the result of the coupling between left- and right-handed chiral Weyl states. This zig-zagging persists in the nonrelativistic limit, which will be considered here, and which is described by the Pauli equation for a nonuniform external magnetic field. Our results clarify the different meanings of ``spin'' as a property of the wave function and as a random variable in the Stern-Gerlach setup, and they illustrate the notion of effective collapse. We also examine the case of an EPR-pair. By letting one of the entangled particles pass through a Stern-Gerlach device, the nonlocal influence (action-at-a-distance) on the other particle is manifest in its trajectory, e.g. by initiating its zig-zagging.


title: Lozenge Tilings of a Hexagon and q-Racah Ensembles

abstract: We study the limiting behavior of random lozenge tilings of the hexagon with a q-Racah weight as the size of the hexagon grows large. Based on the asymptotic behavior of the recurrence coefficients of the q-Racah polynomials, we give a new proof for the fact that that the height function for a random tiling concentrates near a deterministic limit shape and that the global fluctuations are described by the Gaussian Free Field. These results were recently proved using (dynamic) loop equation techniques. In this paper we extend the recurrence coefficient approach that was developed for (dynamic) orthogonal polynomial ensembles to the setting of q-orthogonal polynomials. An interesting feature is that the complex structure is easily found from the limiting behavior of the (explicitly known) recurrence coefficients. A particular motivation for studying this model is that the variational characterization of the limiting height function has an inhomogeneous term. The study of the regularity properties of the minimizer for general variation problems with such inhomogeuous terms is a challenging open problem. We show that, in a general setup, the variational problem gives rise to a natural complex structure that is associated to the same Beltrami equation as in the homogeneous situation. We also derive a relation between the complex structure and the complex slope. In case of the q-Racah weighting of lozenge tilings of the hexagon, our representation of the limit shape and their fluctuations in terms of the recurrence coefficients allows us to verify this relation explicitly.


title: Fppf-descent for condensed animated rings

abstract: In this paper, we define "animated affinoid algebras" and prove some basic properties of them. Then we generalize the result of the previous paper of the author and the result of Lucas Mann (fppf-descent for discrete rings or affinoid algebras) to discrete animated rings or animated affinoid algebras.


title: CompenHR: Efficient Full Compensation for High-resolution Projector

abstract: Full projector compensation is a practical task of projector-camera systems. It aims to find a projector input image, named compensation image, such that when projected it cancels the geometric and photometric distortions due to the physical environment and hardware. State-of-the-art methods use deep learning to address this problem and show promising performance for low-resolution setups. However, directly applying deep learning to high-resolution setups is impractical due to the long training time and high memory cost. To address this issue, this paper proposes a practical full compensation solution. Firstly, we design an attention-based grid refinement network to improve geometric correction quality. Secondly, we integrate a novel sampling scheme into an end-to-end compensation network to alleviate computation and introduce attention blocks to preserve key features. Finally, we construct a benchmark dataset for high-resolution projector full compensation. In experiments, our method demonstrates clear advantages in both efficiency and quality.


title: Assessing the Unobserved: Enhancing Causal Inference in Sociology with Sensitivity Analysis

abstract: Explaining social events is a primary objective of applied data-driven sociology. To achieve that objective, many sociologists use statistical causal inference to identify causality using observational studies research context where the analyst does not control the data generating process. However, it is often challenging in observation studies to satisfy the unmeasured confounding assumption, namely, that there is no lurking third variable affecting the causal relationship of interest. In this article, we develop a framework enabling sociologists to employ a different strategy to enhance the quality of observational studies. Our framework builds on a surprisingly simple statistical approach, sensitivity analysis: a thought-experimental framework where the analyst imagines a lever, which they can pull for probing a variety of theoretically driven statistical magnitudes of posited unmeasured confounding which in turn distorts the causal effect of interest. By pulling that lever, the analyst can identify how strong an unmeasured confounder must be to wash away the estimated causal effect. Although each sensitivity analysis method requires its own assumptions, this sort of post-hoc analysis provides underutilized tools to bound causal quantities. Extending Lundberg et al, we develop a five-step approach to how applied sociological research can incorporate sensitivity analysis, empowering scholars to rejuvenate causal inference in observational studies.


title: Bayesian inference of a new Mallows model for characterising symptom sequences applied in primary progressive aphasia

abstract: Machine learning models offer the potential to understand diverse datasets in a data-driven way, powering insights into individual disease experiences and ensuring equitable healthcare. In this study, we explore Bayesian inference for characterising symptom sequences, and the associated modelling challenges. We adapted the Mallows model to account for partial rankings and right-censored data, employing custom MCMC fitting. Our evaluation, encompassing synthetic data and a primary progressive aphasia dataset, highlights the model's efficacy in revealing mean orderings and estimating ranking variance. This holds the potential to enhance clinical comprehension of symptom occurrence. However, our work encounters limitations concerning model scalability and small dataset sizes.


title: Improving tensor regression by optimal model averaging

abstract: Tensors have broad applications in neuroimaging, data mining, digital marketing, etc. CANDECOMP/PARAFAC (CP) tensor decomposition can effectively reduce the number of parameters to gain dimensionality-reduction and thus plays a key role in tensor regression. However, in CP decomposition, there is uncertainty which rank to use. In this article, we develop a model averaging method to handle this uncertainty by weighting the estimators from candidate tensor regression models with different ranks. When all candidate models are misspecified, we prove that the model averaging estimator is asymptotically optimal. When correct models are included in the candidate models, we prove the consistency of parameters and the convergence of the model averaging weight. Simulations and empirical studies illustrate that the proposed method has superiority over the competition methods and has promising applications.


title: Revisiting Machine Learning based Test Case Prioritization for Continuous Integration

abstract: To alleviate the cost of regression testing in continuous integration (CI), a large number of machine learning-based (ML-based) test case prioritization techniques have been proposed. However, it is yet unknown how they perform under the same experimental setup, because they are evaluated on different datasets with different metrics. To bridge this gap, we conduct the first comprehensive study on these ML-based techniques in this paper. We investigate the performance of 11 representative ML-based prioritization techniques for CI on 11 open-source subjects and obtain a series of findings. For example, the performance of the techniques changes across CI cycles, mainly resulting from the changing amount of training data, instead of code evolution and test removal/addition. Based on the findings, we give some actionable suggestions on enhancing the effectiveness of ML-based techniques, e.g., pretraining a prioritization technique with cross-subject data to get it thoroughly trained and then finetuning it with within-subject data dramatically improves its performance. In particular, the pretrained MART achieves state-of-the-art performance, producing the optimal sequence on 80% subjects, while the existing best technique, the original MART, only produces the optimal sequence on 50% subjects.


title: From Images to Connections: Can DQN with GNNs learn the Strategic Game of Hex?

abstract: The gameplay of strategic board games such as chess, Go and Hex is often characterized by combinatorial, relational structures -- capturing distinct interactions and non-local patterns -- and not just images. Nonetheless, most common self-play reinforcement learning (RL) approaches simply approximate policy and value functions using convolutional neural networks (CNN). A key feature of CNNs is their relational inductive bias towards locality and translational invariance. In contrast, graph neural networks (GNN) can encode more complicated and distinct relational structures. Hence, we investigate the crucial question: Can GNNs, with their ability to encode complex connections, replace CNNs in self-play reinforcement learning? To this end, we do a comparison with Hex -- an abstract yet strategically rich board game -- serving as our experimental platform. Our findings reveal that GNNs excel at dealing with long range dependency situations in game states and are less prone to overfitting, but also showing a reduced proficiency in discerning local patterns. This suggests a potential paradigm shift, signaling the use of game-specific structures to reshape self-play reinforcement learning.


title: Coherent sheaves on surfaces, COHAs and deformed $W_{1+\infty}$-algebras

abstract: We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical bundle, this COHA is isomorphic to the enveloping algebra of deformed trigonometric $W_{1+\infty}$-algebra associated to the ring $H^*(S,\mathbb{Q})$. We also define a double of this COHA, show that it acts on the homology of various moduli stacks of sheaves on $S$ and explicitly describe this action on the products of tautological classes. Examples include Hilbert schemes of points on surfaces, the moduli stack of Higgs bundles on a smooth projective curve and the moduli stack of $1$-dimensional sheaves on a $K3$ surface in an ample class. The double COHA is shown to contain Nakajima's Heisenberg algebra, as well as a copy of the Virasoro algebra.


title: Comprehensive Survey: Biometric User Authentication Application, Evaluation, and Discussion

abstract: This paper conducts an extensive review of biometric user authentication literature, addressing three primary research questions: (1) commonly used biometric traits and their suitability for specific applications, (2) performance factors such as security, convenience, and robustness, and potential countermeasures against cyberattacks, and (3) factors affecting biometric system accuracy and po-tential improvements. Our analysis delves into physiological and behavioral traits, exploring their pros and cons. We discuss factors influencing biometric system effectiveness and highlight areas for enhancement. Our study differs from previous surveys by extensively examining biometric traits, exploring various application domains, and analyzing measures to mitigate cyberattacks. This paper aims to inform researchers and practitioners about the biometric authentication landscape and guide future advancements.


title: Reproducible image-based profiling with Pycytominer

abstract: Technological advances in high-throughput microscopy have facilitated the acquisition of cell images at a rapid pace, and data pipelines can now extract and process thousands of image-based features from microscopy images. These features represent valuable single-cell phenotypes that contain information about cell state and biological processes. The use of these features for biological discovery is known as image-based or morphological profiling. However, these raw features need processing before use and image-based profiling lacks scalable and reproducible open-source software. Inconsistent processing across studies makes it difficult to compare datasets and processing steps, further delaying the development of optimal pipelines, methods, and analyses. To address these issues, we present Pycytominer, an open-source software package with a vibrant community that establishes an image-based profiling standard. Pycytominer has a simple, user-friendly Application Programming Interface (API) that implements image-based profiling functions for processing high-dimensional morphological features extracted from microscopy images of cells. Establishing Pycytominer as a standard image-based profiling toolkit ensures consistent data processing pipelines with data provenance, therefore minimizing potential inconsistencies and enabling researchers to confidently derive accurate conclusions and discover novel insights from their data, thus driving progress in our field.


title: Liouville theorem for quasilinear elliptic equations in $\mathbb R^N$

abstract: We prove Liouville theorem for the equation $\Delta_m v + v^p + M |\nabla v|^{q}= 0$ in a domain $\Omega\subset\mathbb R^n$, with $M\in \mathbb{R}$ in the critical and subcritical case. As a natural extension of our recent work \cite{MWZ}, the proof is based on an integral identity and Young's inequality.


title: Simulation of universal optical logic gates under energy sharing collisions of Manakov solitons and fulfillment of practical optical logic criteria

abstract: The universal optical logic gates, namely NAND and NOR gates, have been theoretically simulated by employing the energy sharing collision of bright optical solitons in the Manakov system, governing pulse propagation in a highly birefringent fiber. Further, we also realize the two input optical logic gates such as AND, OR, XOR, XNOR for completeness of our scheme. Interestingly, our idea behind the simulation naturally satisfies all the criteria for practical optical logic which in turn displays the strength and versatility of our theoretical simulation of universal optical logic gates. Hence, our approach paves the way for the experimentalists to create a new avenue in this direction if the energy sharing collisions of Manakov solitons are experimentally realized in the future.


title: Moduli of K3 families over $\mathbb{P}^1$, cycle spaces of IHS period domains, and deformations of complex-hyperk\"ahler metrics

abstract: In the spirit of the classical theory for K3 surfaces, we construct a Hausdorff fine moduli space for families of marked K3 surfaces over smooth rational curves in the K3 period domain. This moduli space admits an \'etale holomorphic map to the parameter space for such rational curves, which assumes the role of a period space for this moduli problem. Over an open subset containing all twistor cycles, we construct a family of such families that is a universal small deformation for every twistor family. Finally, small deformations of K3 twistor families are shown to induce complex-hyperk\"ahler metrics on members of the families via the original complex version of Penrose's Non-linear Graviton construction. This answers a question posed independently by Fels--Huckleberry--Wolf and Looijenga. Generalizations to higher-dimensional irreducible holomorphic-symplectic manifolds are studied throughout.